Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -44 | 1798.12 | 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 | -46 |
Best CPU time to get the best result obtained on this benchmark | 1790.22 |
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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656517-1276493727.opb 0.00/0.00 c File size is 2685249 bytes. 0.39/0.42 c Highest Coefficient sum: 1400 0.39/0.42 c Parsing was ok!! 0.39/0.42 c Total parsing time: 0.428 s 0.39/0.46 c Var: 1400 Constr: 109379 109379/0/0 Lit: 218758 Watch. Lit: 218758 0.39/0.46 c Obj. Vars: 1400 (100 % of total variables) 3.99/4.01 c Pre-processing Time: 4.013 s 3.99/4.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.02 c 0 1400 109379 218758 2 218758 36459 0 0 4.01 3.99/4.02 c Switching off lower bounding mode. 3.99/4.03 o -40 6.19/6.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.22 c 0 1400 109380 220158 2 218800 37459 1 0 4.04 6.19/6.22 c 101 1400 109489 368013 3 219018 41205 110 23 4.27 6.19/6.22 c 352 1400 109762 738312 6 219564 45326 383 71 4.92 6.19/6.22 c 828 1400 110297 1463275 13 220634 49859 918 133 6.19 6.19/6.22 o -41 222.93/223.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 222.93/223.09 c 838 1400 110309 1479575 13 220699 37459 930 134 6.22 222.93/223.09 c 938 1400 110418 1627257 14 220917 41205 1039 144 6.47 222.93/223.09 c 1189 1400 110704 2014510 18 221489 45326 1325 167 7.12 222.93/223.09 c 1664 1400 111226 2721675 24 222533 49859 1847 195 8.52 222.93/223.09 c 2477 1400 112110 3919874 34 224301 54845 2731 226 10.95 222.93/223.09 c 3797 1400 113591 5924862 52 227302 60330 4212 247 15.36 222.93/223.09 c 5878 1400 115880 9025220 77 231880 66364 6501 253 23.23 222.93/223.09 c 9101 1400 119462 13876875 116 239083 73001 10083 250 36.29 222.93/223.09 c 14037 1400 125003 21375759 171 250203 80302 15624 222 63.20 222.93/223.09 c 21543 1400 133280 32588348 244 266757 88333 23901 193 111.56 222.93/223.09 c 32905 1400 146028 49849823 341 292253 97167 36649 155 211.62 222.93/223.09 o -42 870.34/870.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 870.34/870.65 c 34685 1400 147957 52463750 354 296189 37459 38578 155 223.03 870.34/870.65 c 34786 1400 122000 17312006 141 244078 41205 12621 151 230.08 870.34/870.65 c 35036 1400 122279 17689647 144 244636 45326 12900 151 231.11 870.34/870.65 c 35512 1400 122803 18399110 149 245684 49859 13424 152 232.85 870.34/870.65 c 36325 1400 123724 19645042 158 247526 54845 14345 153 236.00 870.34/870.65 c 37645 1400 125199 21641394 172 250476 60330 15820 156 241.23 870.34/870.65 c 39726 1400 127486 24737863 194 255050 66364 18107 157 251.43 870.34/870.65 c 42949 1400 131063 29578909 225 262204 73001 21684 160 266.79 870.34/870.65 c 47885 1400 136559 37015493 271 273196 80302 27180 163 293.72 870.34/870.65 c 55391 1400 144990 48423923 333 290058 88333 35611 159 348.35 870.34/870.65 c 66752 1400 157711 65629228 416 315540 97167 48332 152 436.49 870.34/870.65 c Reducing formula size due to memory constraints 870.34/870.65 c Memory Limit: 1000.00 MB Used: 1003.27 MB 870.34/870.66 c 83896 1400 130875 29307865 223 261870 147860 21496 137 611.65 870.34/870.66 c 109716 1400 159462 67996896 426 319044 162647 50083 130 842.40 870.34/870.66 o -43 1110.49/1110.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1110.49/1110.81 c 113283 1400 163373 73290566 448 326948 37460 53994 130 870.42 1110.49/1110.81 c 113383 1400 122196 17567030 143 244474 41207 12817 128 883.46 1110.49/1110.81 c 113633 1400 122473 17941630 146 245028 45328 13094 128 884.51 1110.49/1110.81 c 114109 1400 122999 18653275 151 246080 49861 13620 128 886.46 1110.49/1110.81 c 114922 1400 123905 19878484 160 247892 54848 14526 129 890.07 1110.49/1110.81 c 116244 1400 125373 21864054 174 250828 60333 15994 129 896.92 1110.49/1110.81 c 118325 1400 127685 24991431 195 255452 66367 18306 130 905.65 1110.49/1110.81 c 121549 1400 131273 29844148 227 262628 73004 21894 131 921.44 1110.49/1110.81 c 126487 1400 136809 37326367 272 273700 80305 27430 133 950.86 1110.49/1110.81 c 133993 1400 145263 48754432 335 290608 88336 35884 134 994.29 1110.49/1110.81 c 145355 1400 157958 65918031 417 316038 97170 48579 134 1078.65 1110.49/1110.81 o -44 1797.98/1798.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.52 c 147175 1400 159995 68672469 429 320156 37460 50616 132 1110.51 1797.98/1798.52 c 147275 1400 122324 17721632 144 244732 41207 12945 128 1147.52 1797.98/1798.52 c 147526 1400 122599 18093354 147 245282 45328 13220 128 1148.58 1797.98/1798.52 c 148002 1400 123118 18795003 152 246320 49861 13739 128 1150.43 1797.98/1798.52 c 148815 1400 124006 19995167 161 248096 54848 14627 128 1153.62 1797.98/1798.52 c 150135 1400 125460 21960328 175 251004 60333 16081 129 1159.18 1797.98/1798.52 c 152216 1400 127799 25119738 196 255682 66367 18420 130 1167.82 1797.98/1798.52 c 155439 1400 131401 29987074 228 262886 73004 22022 131 1182.73 1797.98/1798.52 c 160375 1400 136981 37525775 273 274046 80305 27602 132 1208.00 1797.98/1798.52 c 167882 1400 145489 49015861 336 291062 88336 36110 132 1264.36 1797.98/1798.52 c 179243 1400 158044 65982861 417 316214 97170 48665 132 1352.49 1797.98/1798.52 c Reducing formula size due to memory constraints 1797.98/1798.52 c Memory Limit: 1000.00 MB Used: 1018.01 MB 1797.98/1798.52 c 196388 1400 130080 28203721 216 260204 147867 20701 130 1501.89 1797.98/1798.52 c 222208 1400 159329 67668573 424 318856 162654 49950 126 1762.45 1797.98/1798.52 c Resources Exceeded 1797.98/1798.52 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.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.52 c 52 227669 21823 256524 165517 76027269 56138 126 1798.01 1797.98/1798.52 c Objective: -44 1797.98/1798.52 s SATISFIABLE 1797.98/1798.52 c Total time: 1798.01 s
OK -44
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656517-1276493727/watcher-2656517-1276493727 -o /tmp/evaluation-result-2656517-1276493727/solver-2656517-1276493727 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656517-1276493727.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.06 3/106 27557 /proc/meminfo: memFree=1811116/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=13556 CPUtime=0 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 354 0 0 0 0 0 0 0 22 0 1 0 23028087 13881344 273 1992294400 134512640 137138936 4294668704 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 3389 274 176 642 0 2089 0 [startup+0.073168 s] /proc/loadavg: 1.00 1.00 1.06 3/106 27557 /proc/meminfo: memFree=1811116/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=15204 CPUtime=0.06 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 856 0 0 0 6 0 0 0 22 0 1 0 23028087 15568896 775 1992294400 134512640 137138936 4294668704 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 3801 776 271 642 0 2501 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 15204 [startup+0.101169 s] /proc/loadavg: 1.00 1.00 1.06 3/106 27557 /proc/meminfo: memFree=1811116/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=15760 CPUtime=0.09 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 1056 0 0 0 9 0 0 0 22 0 1 0 23028087 16138240 975 1992294400 134512640 137138936 4294668704 18446744073709551615 136296981 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 3940 975 310 642 0 2640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15760 [startup+0.301188 s] /proc/loadavg: 1.00 1.00 1.06 3/106 27557 /proc/meminfo: memFree=1811116/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=20844 CPUtime=0.29 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 2616 0 0 0 28 1 0 0 22 0 1 0 23028087 21344256 2535 1992294400 134512640 137138936 4294668704 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 5211 2535 616 642 0 3911 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20844 [startup+0.701217 s] /proc/loadavg: 1.00 1.00 1.06 3/106 27557 /proc/meminfo: memFree=1811116/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=30288 CPUtime=0.69 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 5848 0 0 0 67 2 0 0 23 0 1 0 23028087 31014912 5111 1992294400 134512640 137138936 4294668704 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 7572 5111 185 642 0 6928 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30288 [startup+1.50128 s] /proc/loadavg: 1.08 1.02 1.07 2/107 27558 /proc/meminfo: memFree=1791020/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=30288 CPUtime=1.49 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 5848 0 0 0 144 5 0 0 25 0 1 0 23028087 31014912 5111 1992294400 134512640 137138936 4294668704 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 7572 5111 185 642 0 6928 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30288 [startup+3.10141 s] /proc/loadavg: 1.08 1.02 1.07 2/107 27558 /proc/meminfo: memFree=1791020/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=30288 CPUtime=3.09 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 5848 0 0 0 299 10 0 0 25 0 1 0 23028087 31014912 5111 1992294400 134512640 137138936 4294668704 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 7572 5111 185 642 0 6928 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30288 [startup+6.30166 s] /proc/loadavg: 1.08 1.02 1.07 2/107 27558 /proc/meminfo: memFree=1784076/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=43504 CPUtime=6.29 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 10857 0 0 0 614 15 0 0 25 0 1 0 23028087 44548096 8444 1992294400 134512640 137138936 4294668704 18446744073709551615 136520986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 10876 8444 192 642 0 10232 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43504 [startup+12.7012 s] /proc/loadavg: 1.07 1.02 1.07 2/107 27558 /proc/meminfo: memFree=1740056/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=85524 CPUtime=12.69 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 21356 0 0 0 1249 20 0 0 25 0 1 0 23028087 87576576 18943 1992294400 134512640 137138936 4294668704 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 21381 18943 192 642 0 20737 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 85524 [startup+25.5002 s] /proc/loadavg: 1.06 1.01 1.07 2/107 27558 /proc/meminfo: memFree=1670492/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=152020 CPUtime=25.48 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 37994 0 0 0 2521 27 0 0 25 0 1 0 23028087 155668480 35581 1992294400 134512640 137138936 4294668704 18446744073709551615 134544869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 38005 35581 192 642 0 37361 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 152020 [startup+51.1002 s] /proc/loadavg: 1.03 1.01 1.06 2/107 27558 /proc/meminfo: memFree=1565588/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=257208 CPUtime=51.08 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 64290 0 0 0 5066 42 0 0 25 0 1 0 23028087 263380992 61877 1992294400 134512640 137138936 4294668704 18446744073709551615 136521011 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 64302 61877 192 642 0 63658 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 257208 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.06 2/107 27560 /proc/meminfo: memFree=1400916/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=419504 CPUtime=102.27 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 104846 0 0 0 10164 63 0 0 25 0 1 0 23028087 429572096 102433 1992294400 134512640 137138936 4294668704 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 104876 102433 192 642 0 104232 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 419504 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 27562 /proc/meminfo: memFree=1250876/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=570868 CPUtime=162.25 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 142700 0 0 0 16141 84 0 0 25 0 1 0 23028087 584568832 140287 1992294400 134512640 137138936 4294668704 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 142717 140287 192 642 0 142073 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 570868 [startup+222.301 s] /proc/loadavg: 1.04 1.01 1.05 2/107 27567 /proc/meminfo: memFree=1127496/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=692524 CPUtime=222.23 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 173117 0 0 0 22120 103 0 0 25 0 1 0 23028087 709144576 170704 1992294400 134512640 137138936 4294668704 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 173131 170704 192 642 0 172487 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 692524 [startup+282.301 s] /proc/loadavg: 1.01 1.01 1.05 2/107 27567 /proc/meminfo: memFree=1124768/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=694604 CPUtime=282.21 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 173671 0 0 0 28114 107 0 0 25 0 1 0 23028087 711274496 171220 1992294400 134512640 137138936 4294668704 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 173651 171220 192 642 0 173007 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 694604 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 27569 /proc/meminfo: memFree=1124768/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=694604 CPUtime=342.19 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 173671 0 0 0 34107 112 0 0 25 0 1 0 23028087 711274496 171220 1992294400 134512640 137138936 4294668704 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 173651 171220 192 642 0 173007 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 694604 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 27571 /proc/meminfo: memFree=1035488/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=785728 CPUtime=402.17 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 196459 0 0 0 40091 126 0 0 25 0 1 0 23028087 804585472 194008 1992294400 134512640 137138936 4294668704 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 196432 194008 192 642 0 195788 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 785728 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 27573 /proc/meminfo: memFree=885944/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=934040 CPUtime=462.16 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 233531 0 0 0 46069 147 0 0 25 0 1 0 23028087 956456960 231080 1992294400 134512640 137138936 4294668704 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 233510 231080 192 642 0 232866 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 934040 [startup+522.301 s] /proc/loadavg: 1.06 1.01 1.03 2/107 27575 /proc/meminfo: memFree=779800/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1038708 CPUtime=522.14 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 259763 0 0 0 52050 164 0 0 25 0 1 0 23028087 1063636992 257254 1992294400 134512640 137138936 4294668704 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 259677 257254 192 642 0 259033 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1038708 [startup+582.3 s] /proc/loadavg: 1.12 1.04 1.03 2/107 27575 /proc/meminfo: memFree=779676/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1038708 CPUtime=582.13 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 259763 0 0 0 58045 168 0 0 25 0 1 0 23028087 1063636992 257254 1992294400 134512640 137138936 4294668704 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 259677 257254 192 642 0 259033 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1038708 [startup+642.301 s] /proc/loadavg: 1.09 1.04 1.03 2/107 27577 /proc/meminfo: memFree=779676/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1038708 CPUtime=642.12 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 259763 0 0 0 64041 171 0 0 25 0 1 0 23028087 1063636992 257254 1992294400 134512640 137138936 4294668704 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 259677 257254 192 642 0 259033 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1038708 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=779304/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1038708 CPUtime=1121.98 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 259763 0 0 0 112000 198 0 0 25 0 1 0 23028087 1063636992 257254 1992294400 134512640 137138936 4294668704 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 259677 257254 192 642 0 259033 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1038708 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27591 /proc/meminfo: memFree=779180/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1038708 CPUtime=1181.97 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 259763 0 0 0 117997 200 0 0 25 0 1 0 23028087 1063636992 257254 1992294400 134512640 137138936 4294668704 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 259677 257254 192 642 0 259033 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1038708 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27593 /proc/meminfo: memFree=778932/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1038708 CPUtime=1241.95 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 259763 0 0 0 123990 205 0 0 25 0 1 0 23028087 1063636992 257254 1992294400 134512640 137138936 4294668704 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 259677 257254 192 642 0 259033 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1038708 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27595 /proc/meminfo: memFree=778932/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1038708 CPUtime=1301.94 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 259763 0 0 0 129985 209 0 0 25 0 1 0 23028087 1063636992 257254 1992294400 134512640 137138936 4294668704 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 259677 257254 192 642 0 259033 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1038708 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27597 /proc/meminfo: memFree=778932/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1038708 CPUtime=1361.92 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 259763 0 0 0 135980 212 0 0 25 0 1 0 23028087 1063636992 257254 1992294400 134512640 137138936 4294668704 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 259677 257254 192 642 0 259033 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1038708 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27599 /proc/meminfo: memFree=776824/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1041712 CPUtime=1421.9 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 260512 0 0 0 141975 215 0 0 25 0 1 0 23028087 1066713088 258003 1992294400 134512640 137138936 4294668704 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 260428 258003 192 642 0 259784 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1041712 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27599 /proc/meminfo: memFree=763432/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1054624 CPUtime=1481.89 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 263789 0 0 0 147969 220 0 0 25 0 1 0 23028087 1079934976 261221 1992294400 134512640 137138936 4294668704 18446744073709551615 134551261 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 263656 261221 192 642 0 263012 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1054624 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27610 /proc/meminfo: memFree=762688/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1054624 CPUtime=1541.85 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 263789 0 0 0 153960 225 0 0 25 0 1 0 23028087 1079934976 261221 1992294400 134512640 137138936 4294668704 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 263656 261221 192 642 0 263012 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1054624 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27612 /proc/meminfo: memFree=762688/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1054624 CPUtime=1601.83 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 263789 0 0 0 159955 228 0 0 25 0 1 0 23028087 1079934976 261221 1992294400 134512640 137138936 4294668704 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 263656 261221 192 642 0 263012 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1054624 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27614 /proc/meminfo: memFree=762812/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1054624 CPUtime=1661.82 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 263789 0 0 0 165951 231 0 0 25 0 1 0 23028087 1079934976 261221 1992294400 134512640 137138936 4294668704 18446744073709551615 134618473 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 263656 261221 192 642 0 263012 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1054624 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27616 /proc/meminfo: memFree=762812/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1054624 CPUtime=1721.8 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 263789 0 0 0 171947 233 0 0 25 0 1 0 23028087 1079934976 261221 1992294400 134512640 137138936 4294668704 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 263656 261221 192 642 0 263012 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1054624 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27616 /proc/meminfo: memFree=762688/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1054624 CPUtime=1781.78 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 263789 0 0 0 177942 236 0 0 25 0 1 0 23028087 1079934976 261221 1992294400 134512640 137138936 4294668704 18446744073709551615 134544869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 263656 261221 192 642 0 263012 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1054624 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27618 /proc/meminfo: memFree=762688/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1054624 CPUtime=1791.39 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 263789 0 0 0 178902 237 0 0 25 0 1 0 23028087 1079934976 261221 1992294400 134512640 137138936 4294668704 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 263656 261221 192 642 0 263012 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 1054624 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27618 /proc/meminfo: memFree=762688/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1054624 CPUtime=1794.59 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 263789 0 0 0 179222 237 0 0 25 0 1 0 23028087 1079934976 261221 1992294400 134512640 137138936 4294668704 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 263656 261221 192 642 0 263012 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 1054624 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27618 /proc/meminfo: memFree=762688/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1054624 CPUtime=1796.18 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 263789 0 0 0 179381 237 0 0 25 0 1 0 23028087 1079934976 261221 1992294400 134512640 137138936 4294668704 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 263656 261221 192 642 0 263012 0 Current children cumulated CPU time (s) 1796.18 Current children cumulated vsize (KiB) 1054624 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27618 /proc/meminfo: memFree=762688/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1054624 CPUtime=1796.98 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 263789 0 0 0 179461 237 0 0 25 0 1 0 23028087 1079934976 261221 1992294400 134512640 137138936 4294668704 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 263656 261221 192 642 0 263012 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (KiB) 1054624 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27618 /proc/meminfo: memFree=762688/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1054624 CPUtime=1797.78 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 263789 0 0 0 179541 237 0 0 25 0 1 0 23028087 1079934976 261221 1992294400 134512640 137138936 4294668704 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 263656 261221 192 642 0 263012 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 1054624 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27618 /proc/meminfo: memFree=762688/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=1054624 CPUtime=1797.98 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202496 263789 0 0 0 179561 237 0 0 25 0 1 0 23028087 1079934976 261221 1992294400 134512640 137138936 4294668704 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27557/statm: 263656 261221 192 642 0 263012 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 1054624 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27618 /proc/meminfo: memFree=762688/2059040 swapFree=4136648/4192956 [pid=27557] ppid=27555 vsize=0 CPUtime=1798.08 /proc/27557/stat : 27557 (bsolo_pb10) R 27555 27557 27456 0 -1 4202500 263790 0 0 0 179563 245 0 0 25 0 1 0 23028087 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/27557/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.08 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.63 CPU time (s): 1798.12 CPU user time (s): 1795.63 CPU system time (s): 2.48062 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 1054624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.64 system time used= 2.48062 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 263790 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 7241 runsolver used 3.15452 second user time and 8.30674 second system time The end
Begin job on node026 at 2010-06-14 07:35:27 IDJOB=2656517 IDBENCH=2245 IDSOLVER=1162 FILE ID=node026/2656517-1276493727 PBS_JOBID= 11173403 Free space on /tmp= 62516 MiB SOLVER NAME= bsolo 3.2 Card 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_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656517-1276493727/watcher-2656517-1276493727 -o /tmp/evaluation-result-2656517-1276493727/solver-2656517-1276493727 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656517-1276493727.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4c9dc9cf5c24873d3237c90ee1682632 RANDOM SEED=218411956 node026.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1811520 kB Buffers: 62796 kB Cached: 106328 kB SwapCached: 9544 kB Active: 107672 kB Inactive: 73916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1811520 kB SwapTotal: 4192956 kB SwapFree: 4136648 kB Dirty: 6504 kB Writeback: 20 kB AnonPages: 10816 kB Mapped: 9184 kB Slab: 44112 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181328 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62512 MiB End job on node026 at 2010-06-14 08:05:26