Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT (TO) | -44 | 1800.17 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb |
MD5SUM | 98c81efbf429745622d6705fab70d2ee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -45 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
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 | 109601 |
Number of constraints which are clauses | 109601 |
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-2656463-1276495196.opb 0.00/0.00 c File size is 2693045 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.425 s 0.39/0.46 c Var: 1400 Constr: 109601 109601/0/0 Lit: 219202 Watch. Lit: 219202 0.39/0.46 c Obj. Vars: 1400 (100 % of total variables) 4.09/4.11 c Pre-processing Time: 4.107 s 4.09/4.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.11 c 0 1400 109601 219202 2 219202 36533 0 0 4.11 4.09/4.11 c Switching off lower bounding mode. 4.09/4.13 o -37 4.09/4.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.14 c 0 1400 109602 220602 2 219241 37533 1 0 4.13 4.09/4.14 o -38 4.40/4.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.42 c 4 1400 109607 227442 2 219289 37533 6 0 4.15 4.40/4.42 c 105 1400 109724 386179 3 219523 41287 123 23 4.40 4.40/4.42 o -39 13.48/13.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.48/13.52 c 111 1400 109731 395736 3 219576 37533 130 25 4.42 13.48/13.52 c 212 1400 109839 542355 4 219792 41287 238 45 4.67 13.48/13.52 c 462 1400 110115 916836 8 220344 45416 514 86 5.33 13.48/13.52 c 937 1400 110649 1640412 14 221412 49958 1048 139 6.73 13.48/13.52 c 1751 1400 111526 2830763 25 223166 54954 1925 190 9.18 13.48/13.52 c 3072 1400 112955 4769766 42 226024 60450 3354 227 13.48 13.48/13.52 o -40 13.79/13.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.79/13.86 c 3083 1400 112967 4786107 42 226088 37533 3366 227 13.53 13.79/13.86 c 3183 1400 113076 4933869 43 226306 41287 3475 230 13.82 13.79/13.86 o -41 14.99/15.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.99/15.07 c 3195 1400 113090 4952891 43 226375 37533 3489 230 13.87 14.99/15.07 c 3295 1400 113196 5096452 45 226587 41287 3595 231 14.22 14.99/15.07 c 3546 1400 113477 5477204 48 227149 45416 3876 235 15.04 14.99/15.07 o -42 15.59/15.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.59/15.63 c 3551 1400 113483 5485384 48 227203 37533 3882 235 15.07 15.59/15.63 c 3651 1400 113594 5635624 49 227425 41287 3993 236 15.43 15.59/15.63 o -43 1086.55/1086.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1086.55/1086.99 c 3699 1400 113650 5711475 50 227580 37533 4049 236 15.63 1086.55/1086.99 c 3800 1400 113757 5856303 51 227794 41287 4156 238 15.95 1086.55/1086.99 c 4050 1400 114045 6245371 54 228370 45416 4444 241 16.75 1086.55/1086.99 c 4526 1400 114579 6967503 60 229438 49958 4978 241 18.77 1086.55/1086.99 c 5339 1400 115508 8223919 71 231296 54954 5907 243 21.97 1086.55/1086.99 c 6659 1400 116993 10230681 87 234266 60450 7392 233 28.46 1086.55/1086.99 c 8741 1400 119295 13343871 111 238870 66496 9694 234 37.31 1086.55/1086.99 c 11964 1400 122861 18165674 147 246002 73146 13260 229 52.20 1086.55/1086.99 c 16900 1400 128229 25427091 198 256778 80461 18628 206 81.81 1086.55/1086.99 c 24406 1400 136650 36810681 269 273660 88508 27049 195 125.14 1086.55/1086.99 c 35767 1400 149498 54167957 362 299356 97359 39897 165 216.38 1086.55/1086.99 c 52912 1400 168675 80054253 474 337750 107095 59074 138 381.92 1086.55/1086.99 c Reducing formula size due to memory constraints 1086.55/1086.99 c Memory Limit: 1000.00 MB Used: 1013.49 MB 1086.55/1086.99 c 78732 1400 151250 56512465 373 302618 148470 41649 112 699.07 1086.55/1086.99 c Reducing formula size due to memory constraints 1086.55/1086.99 c Memory Limit: 1000.00 MB Used: 1008.85 MB 1086.55/1086.99 c 117564 1400 149434 53997351 361 298992 148666 39833 109 1075.92 1086.55/1086.99 o -44 1800.05/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.61 c 118781 1400 150789 55829680 370 301746 37533 41188 109 1086.66 1800.05/1800.61 c 118882 1400 122472 17586462 143 244988 41287 12871 108 1091.35 1800.05/1800.61 c 119132 1400 122747 17958134 146 245538 45416 13146 109 1092.52 1800.05/1800.61 c 119608 1400 123275 18671314 151 246594 49958 13674 109 1094.72 1800.05/1800.61 c 120421 1400 124176 19888723 160 248396 54954 14575 109 1098.21 1800.05/1800.61 c 121741 1400 125667 21902815 174 251378 60450 16066 110 1104.15 1800.05/1800.61 c 123822 1400 127939 24973807 195 255922 66496 18338 111 1112.56 1800.05/1800.61 c 127045 1400 131572 29880218 227 263188 73146 21971 112 1127.17 1800.05/1800.61 c 131982 1400 137037 37262655 271 274118 80461 27436 114 1152.72 1800.05/1800.61 c 139488 1400 145316 48449541 333 290718 88508 35715 116 1200.38 1800.05/1800.61 c 150849 1400 158100 65718507 415 316286 97359 48499 115 1301.26 1800.05/1800.61 c Reducing formula size due to memory constraints 1800.05/1800.61 c Memory Limit: 1000.00 MB Used: 1006.26 MB 1800.05/1800.61 c 167994 1400 131668 30031667 228 263421 148435 22067 111 1503.08 1800.05/1800.61 c 193813 1400 160393 68783912 428 321135 163279 50792 112 1726.99 1800.05/1800.61 c Reducing formula size due to memory constraints 1800.05/1800.61 c Memory Limit: 1000.00 MB Used: 1007.74 MB 1800.05/1800.61 c Caught signal: 15 1800.05/1800.61 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 1800.05/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.61 c 43 201068 17586 224209 153676 59705231 44075 111 1800.07 1800.05/1800.61 c Objective: -44 1800.05/1800.61 s SATISFIABLE 1800.05/1800.61 c Total time: 1800.07 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-2656463-1276495196/watcher-2656463-1276495196 -o /tmp/evaluation-result-2656463-1276495196/solver-2656463-1276495196 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656463-1276495196.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.07 3/106 27667 /proc/meminfo: memFree=1728380/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=13564 CPUtime=0 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 356 0 0 0 0 0 0 0 18 0 1 0 25123527 13889536 274 1992294400 134512640 137138936 4292631136 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 3391 274 176 642 0 2089 0 [startup+0.0228529 s] /proc/loadavg: 1.00 1.00 1.07 3/106 27667 /proc/meminfo: memFree=1728380/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=13976 CPUtime=0.02 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 473 0 0 0 2 0 0 0 18 0 1 0 25123527 14311424 391 1992294400 134512640 137138936 4292631136 18446744073709551615 134519475 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 3494 391 198 642 0 2192 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13976 [startup+0.10186 s] /proc/loadavg: 1.00 1.00 1.07 3/106 27667 /proc/meminfo: memFree=1728380/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=15900 CPUtime=0.09 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 1071 0 0 0 9 0 0 0 20 0 1 0 25123527 16281600 989 1992294400 134512640 137138936 4292631136 18446744073709551615 134519403 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 3975 989 313 642 0 2673 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15900 [startup+0.301878 s] /proc/loadavg: 1.00 1.00 1.07 3/106 27667 /proc/meminfo: memFree=1728380/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=20988 CPUtime=0.29 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 2661 0 0 0 29 0 0 0 20 0 1 0 25123527 21491712 2579 1992294400 134512640 137138936 4292631136 18446744073709551615 134531572 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 5247 2579 625 642 0 3945 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20988 [startup+0.701916 s] /proc/loadavg: 1.00 1.00 1.07 3/106 27667 /proc/meminfo: memFree=1728380/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=30324 CPUtime=0.69 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 5861 0 0 0 67 2 0 0 21 0 1 0 25123527 31051776 5121 1992294400 134512640 137138936 4292631136 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 7581 5121 185 642 0 6937 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30324 [startup+1.50199 s] /proc/loadavg: 1.00 1.00 1.07 2/107 27668 /proc/meminfo: memFree=1708408/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=30324 CPUtime=1.5 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 5861 0 0 0 145 5 0 0 23 0 1 0 25123527 31051776 5121 1992294400 134512640 137138936 4292631136 18446744073709551615 134540179 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 7581 5121 185 642 0 6937 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 30324 [startup+3.10114 s] /proc/loadavg: 1.00 1.00 1.07 2/107 27668 /proc/meminfo: memFree=1707912/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=30324 CPUtime=3.09 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 5861 0 0 0 300 9 0 0 25 0 1 0 25123527 31051776 5121 1992294400 134512640 137138936 4292631136 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 7581 5121 185 642 0 6937 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30324 [startup+6.30145 s] /proc/loadavg: 1.00 1.00 1.07 2/107 27668 /proc/meminfo: memFree=1701960/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=42280 CPUtime=6.29 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 10559 0 0 0 614 15 0 0 25 0 1 0 25123527 43294720 8141 1992294400 134512640 137138936 4292631136 18446744073709551615 136505158 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 10570 8142 192 642 0 9926 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42280 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.07 2/107 27668 /proc/meminfo: memFree=1660916/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=80692 CPUtime=12.69 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 20166 0 0 0 1248 21 0 0 25 0 1 0 25123527 82628608 17748 1992294400 134512640 137138936 4292631136 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 20173 17748 192 642 0 19529 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 80692 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.06 2/107 27668 /proc/meminfo: memFree=1595072/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=144196 CPUtime=25.48 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 36040 0 0 0 2518 30 0 0 25 0 1 0 25123527 147656704 33622 1992294400 134512640 137138936 4292631136 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 36049 33622 192 642 0 35405 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 144196 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.06 2/107 27670 /proc/meminfo: memFree=1487688/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=252384 CPUtime=51.08 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 63091 0 0 0 5064 44 0 0 25 0 1 0 25123527 258441216 60673 1992294400 134512640 137138936 4292631136 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 63096 60673 192 642 0 62452 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 252384 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.06 2/107 27679 /proc/meminfo: memFree=1306648/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=431152 CPUtime=102.25 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 107779 0 0 0 10155 70 0 0 25 0 1 0 25123527 441499648 105361 1992294400 134512640 137138936 4292631136 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 107788 105361 192 642 0 107144 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 431152 [startup+162.301 s] /proc/loadavg: 1.03 1.01 1.06 2/107 27681 /proc/meminfo: memFree=1133048/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=605848 CPUtime=162.22 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 151451 0 0 0 16127 95 0 0 25 0 1 0 25123527 620388352 149033 1992294400 134512640 137138936 4292631136 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 151462 149033 192 642 0 150818 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 605848 [startup+222.301 s] /proc/loadavg: 1.01 1.01 1.05 2/107 27683 /proc/meminfo: memFree=1002972/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=734400 CPUtime=222.21 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 183590 0 0 0 22105 116 0 0 25 0 1 0 25123527 752025600 181172 1992294400 134512640 137138936 4292631136 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 183600 181172 192 642 0 182956 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 734400 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.04 2/107 27685 /proc/meminfo: memFree=867564/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=870236 CPUtime=282.19 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 217535 0 0 0 28080 139 0 0 25 0 1 0 25123527 891121664 215117 1992294400 134512640 137138936 4292631136 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 217559 215117 192 642 0 216915 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 870236 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 27687 /proc/meminfo: memFree=755096/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=981612 CPUtime=342.18 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 245398 0 0 0 34058 160 0 0 25 0 1 0 25123527 1005170688 242980 1992294400 134512640 137138936 4292631136 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 245403 242980 192 642 0 244759 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 981612 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 27687 /proc/meminfo: memFree=686648/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1049268 CPUtime=402.16 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 40046 170 0 0 25 0 1 0 25123527 1074450432 259882 1992294400 134512640 137138936 4292631136 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262317 259882 192 642 0 261673 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 1049268 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.03 2/107 27689 /proc/meminfo: memFree=686524/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1049268 CPUtime=462.14 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 46043 171 0 0 25 0 1 0 25123527 1074450432 259882 1992294400 134512640 137138936 4292631136 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262317 259882 192 642 0 261673 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 1049268 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.02 2/107 27691 /proc/meminfo: memFree=686524/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1049268 CPUtime=522.12 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 52036 176 0 0 25 0 1 0 25123527 1074450432 259882 1992294400 134512640 137138936 4292631136 18446744073709551615 134573839 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262317 259882 192 642 0 261673 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 1049268 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 27693 /proc/meminfo: memFree=686400/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1049268 CPUtime=582.11 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 58031 180 0 0 25 0 1 0 25123527 1074450432 259882 1992294400 134512640 137138936 4292631136 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262317 259882 192 642 0 261673 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 1049268 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.01 2/107 27695 /proc/meminfo: memFree=686400/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1049268 CPUtime=642.1 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 64028 182 0 0 25 0 1 0 25123527 1074450432 259882 1992294400 134512640 137138936 4292631136 18446744073709551615 134573856 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262317 259882 192 642 0 261673 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1049268 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27704 /proc/meminfo: memFree=685780/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1048800 CPUtime=882.01 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 88005 196 0 0 25 0 1 0 25123527 1073971200 259777 1992294400 134512640 137138936 4292631136 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262200 259777 192 642 0 261556 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 1048800 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27704 /proc/meminfo: memFree=685780/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1048800 CPUtime=941.99 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 93999 200 0 0 25 0 1 0 25123527 1073971200 259777 1992294400 134512640 137138936 4292631136 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262200 259777 192 642 0 261556 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 1048800 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27706 /proc/meminfo: memFree=685780/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1048800 CPUtime=1001.97 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 99994 203 0 0 25 0 1 0 25123527 1073971200 259777 1992294400 134512640 137138936 4292631136 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262200 259777 192 642 0 261556 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 1048800 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27708 /proc/meminfo: memFree=685780/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1048800 CPUtime=1061.95 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 105989 206 0 0 25 0 1 0 25123527 1073971200 259777 1992294400 134512640 137138936 4292631136 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262200 259777 192 642 0 261556 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 1048800 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27710 /proc/meminfo: memFree=686276/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1048212 CPUtime=1121.94 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 111985 209 0 0 25 0 1 0 25123527 1073369088 259630 1992294400 134512640 137138936 4292631136 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262053 259630 192 642 0 261409 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1048212 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27712 /proc/meminfo: memFree=686400/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1048212 CPUtime=1181.92 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 117978 214 0 0 25 0 1 0 25123527 1073369088 259630 1992294400 134512640 137138936 4292631136 18446744073709551615 136504404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262053 259630 192 642 0 261409 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1048212 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27712 /proc/meminfo: memFree=686400/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1048212 CPUtime=1241.9 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 123972 218 0 0 25 0 1 0 25123527 1073369088 259630 1992294400 134512640 137138936 4292631136 18446744073709551615 134603230 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262053 259630 192 642 0 261409 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1048212 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27714 /proc/meminfo: memFree=686400/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1048212 CPUtime=1301.89 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 129968 221 0 0 25 0 1 0 25123527 1073369088 259630 1992294400 134512640 137138936 4292631136 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262053 259630 192 642 0 261409 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1048212 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27716 /proc/meminfo: memFree=686400/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1048212 CPUtime=1361.87 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 135962 225 0 0 25 0 1 0 25123527 1073369088 259630 1992294400 134512640 137138936 4292631136 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 262053 259630 192 642 0 261409 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1048212 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27718 /proc/meminfo: memFree=687144/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1047404 CPUtime=1421.86 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 141960 226 0 0 25 0 1 0 25123527 1072541696 259428 1992294400 134512640 137138936 4292631136 18446744073709551615 134577898 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 261851 259428 192 642 0 261207 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1047404 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27720 /proc/meminfo: memFree=687268/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1047404 CPUtime=1481.84 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 147955 229 0 0 25 0 1 0 25123527 1072541696 259428 1992294400 134512640 137138936 4292631136 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 261851 259428 192 642 0 261207 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1047404 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27722 /proc/meminfo: memFree=687640/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1047008 CPUtime=1541.82 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 153948 234 0 0 25 0 1 0 25123527 1072136192 259329 1992294400 134512640 137138936 4292631136 18446744073709551615 134618245 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 261752 259329 192 642 0 261108 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1047008 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27722 /proc/meminfo: memFree=687640/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1047008 CPUtime=1601.8 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 159942 238 0 0 25 0 1 0 25123527 1072136192 259329 1992294400 134512640 137138936 4292631136 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 261752 259329 192 642 0 261108 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1047008 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27724 /proc/meminfo: memFree=687640/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1047008 CPUtime=1661.78 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 165937 241 0 0 25 0 1 0 25123527 1072136192 259329 1992294400 134512640 137138936 4292631136 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 261752 259329 192 642 0 261108 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1047008 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27726 /proc/meminfo: memFree=687516/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1047008 CPUtime=1721.76 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 171932 244 0 0 25 0 1 0 25123527 1072136192 259329 1992294400 134512640 137138936 4292631136 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 261752 259329 192 642 0 261108 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1047008 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27728 /proc/meminfo: memFree=687268/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1047008 CPUtime=1781.74 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 177926 248 0 0 25 0 1 0 25123527 1072136192 259329 1992294400 134512640 137138936 4292631136 18446744073709551615 136504280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 261752 259329 192 642 0 261108 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1047008 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27728 /proc/meminfo: memFree=687392/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=1047008 CPUtime=1800.05 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202496 262358 0 0 0 179757 248 0 0 25 0 1 0 25123527 1072136192 259329 1992294400 134512640 137138936 4292631136 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27667/statm: 261752 259329 192 642 0 261108 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1047008 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27728 /proc/meminfo: memFree=687392/2059040 swapFree=4140388/4192956 [pid=27667] ppid=27665 vsize=0 CPUtime=1800.15 /proc/27667/stat : 27667 (bsolo_pb10) R 27665 27667 27369 0 -1 4202500 262359 0 0 0 179757 258 0 0 25 0 1 0 25123527 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/27667/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.72 CPU time (s): 1800.17 CPU user time (s): 1797.58 CPU system time (s): 2.5926 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 1049500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.58 system time used= 2.5926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 262359 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= 25645 runsolver used 3.03354 second user time and 8.45172 second system time The end
Begin job on node004 at 2010-06-14 07:59:57 IDJOB=2656463 IDBENCH=2247 IDSOLVER=1162 FILE ID=node004/2656463-1276495196 PBS_JOBID= 11173400 Free space on /tmp= 62548 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-5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656463-1276495196/watcher-2656463-1276495196 -o /tmp/evaluation-result-2656463-1276495196/solver-2656463-1276495196 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656463-1276495196.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee RANDOM SEED=1732210863 node004.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1728784 kB Buffers: 101012 kB Cached: 147140 kB SwapCached: 6684 kB Active: 105624 kB Inactive: 156088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1728784 kB SwapTotal: 4192956 kB SwapFree: 4140388 kB Dirty: 6508 kB Writeback: 0 kB AnonPages: 11296 kB Mapped: 13004 kB Slab: 46696 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182328 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= 62544 MiB End job on node004 at 2010-06-14 08:29:59