Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -45 | 1798.12 | 1798.6 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb |
MD5SUM | 2295cbab79cf702b6a93f1d0b8bae876 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -48 |
Best CPU time to get the best result obtained on this benchmark | 1800.18 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -58 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 125982 |
Number of constraints which are clauses | 125982 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1534 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656606-1276512297.opb 0.00/0.00 c File size is 3107816 bytes. 0.39/0.49 c Highest Coefficient sum: 1534 0.39/0.49 c Parsing was ok!! 0.39/0.49 c Total parsing time: 0.496 s 0.49/0.54 c Var: 1534 Constr: 125982 125982/0/0 Lit: 251964 Watch. Lit: 251964 0.49/0.54 c Obj. Vars: 1534 (100 % of total variables) 4.79/4.83 c Pre-processing Time: 4.832 s 4.79/4.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.84 c 0 1534 125982 251964 2 251964 41993 0 0 4.83 4.79/4.84 c Switching off lower bounding mode. 4.79/4.85 o -42 4.79/4.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.86 c 0 1534 125983 253498 2 252008 42993 1 0 4.86 4.79/4.86 o -43 4.79/4.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.88 c 2 1534 125986 258012 2 252057 42993 4 0 4.87 4.79/4.88 o -44 14.69/14.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.69/14.70 c 3 1534 125988 261035 2 252105 42993 6 0 4.88 14.69/14.70 c 103 1534 126095 420089 3 252319 47293 113 20 5.14 14.69/14.70 c 353 1534 126369 827241 6 252867 52023 387 60 5.83 14.69/14.70 c 829 1534 126882 1589602 12 253893 57226 900 115 7.18 14.69/14.70 c 1642 1534 127773 2912873 22 255675 62949 1791 168 9.72 14.69/14.70 c 2962 1534 129229 5076155 39 258587 69244 3247 204 14.47 14.69/14.70 o -45 1797.92/1798.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.49 c 3030 1534 129306 5190622 40 258786 42993 3324 206 14.71 1797.92/1798.49 c 3131 1534 129421 5361395 41 259016 47293 3439 208 15.02 1797.92/1798.49 c 3381 1534 129692 5763911 44 259558 52023 3710 213 15.81 1797.92/1798.49 c 3856 1534 130207 6528644 50 260588 57226 4225 220 17.47 1797.92/1798.49 c 4669 1534 131099 7853109 59 262372 62949 5117 230 20.28 1797.92/1798.49 c 5989 1534 132555 10014325 75 265284 69244 6573 236 25.37 1797.92/1798.49 c 8070 1534 134863 13440828 99 269900 76169 8881 237 33.94 1797.92/1798.49 c 11293 1534 138423 18725127 135 277020 83786 12441 232 48.59 1797.92/1798.49 c 16229 1534 143878 26822143 186 287930 92165 17896 214 75.61 1797.92/1798.49 c 23735 1534 152426 39503379 259 305026 101382 26444 196 120.91 1797.92/1798.49 c 35096 1534 165106 58304919 353 330386 111521 39124 174 201.34 1797.92/1798.49 c Reducing formula size due to memory constraints 1797.92/1798.49 c Memory Limit: 1000.00 MB Used: 1006.11 MB 1797.92/1798.49 c 52241 1534 143435 26148987 182 287068 167902 17453 145 359.37 1797.92/1798.49 c 78060 1534 172286 68912200 399 344971 184693 46304 121 643.78 1797.92/1798.49 c Reducing formula size due to memory constraints 1797.92/1798.49 c Memory Limit: 1000.00 MB Used: 1019.14 MB 1797.92/1798.49 c 116893 1534 174858 72716532 415 349804 168133 48876 101 1156.54 1797.92/1798.49 c Reducing formula size due to memory constraints 1797.92/1798.49 c Memory Limit: 1000.00 MB Used: 1007.21 MB 1797.92/1798.49 c Reducing formula size due to memory constraints 1797.92/1798.49 c Memory Limit: 1000.00 MB Used: 1017.95 MB 1797.92/1798.49 c Resources Exceeded 1797.92/1798.49 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1797.92/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.49 c 22 172603 16766 194302 155058 43338287 29076 95 1798.01 1797.92/1798.49 c Objective: -45 1797.92/1798.49 s SATISFIABLE 1797.92/1798.49 c Total time: 1798.01 s
OK -45
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656606-1276512297/watcher-2656606-1276512297 -o /tmp/evaluation-result-2656606-1276512297/solver-2656606-1276512297 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656606-1276512297.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 1.05 3/106 28314 /proc/meminfo: memFree=1816120/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=13968 CPUtime=0 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 359 0 0 0 0 0 0 0 15 0 1 0 26831464 14303232 278 1992294400 134512640 137138936 4288664016 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 3492 280 177 642 0 2089 0 [startup+0.028873 s] /proc/loadavg: 0.85 0.97 1.05 3/106 28314 /proc/meminfo: memFree=1816120/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=14516 CPUtime=0.02 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 516 0 0 0 2 0 0 0 15 0 1 0 26831464 14864384 435 1992294400 134512640 137138936 4288664016 18446744073709551615 134517545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 3629 435 206 642 0 2226 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14516 [startup+0.10088 s] /proc/loadavg: 0.85 0.97 1.05 3/106 28314 /proc/meminfo: memFree=1816120/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=16172 CPUtime=0.09 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 1057 0 0 0 9 0 0 0 18 0 1 0 26831464 16560128 976 1992294400 134512640 137138936 4288664016 18446744073709551615 136297162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 4043 976 310 642 0 2640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16172 [startup+0.300903 s] /proc/loadavg: 0.85 0.97 1.05 3/106 28314 /proc/meminfo: memFree=1816120/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=21120 CPUtime=0.29 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 2588 0 0 0 28 1 0 0 18 0 1 0 26831464 21626880 2507 1992294400 134512640 137138936 4288664016 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 5280 2508 611 642 0 3877 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21120 [startup+0.700947 s] /proc/loadavg: 0.85 0.97 1.05 3/106 28314 /proc/meminfo: memFree=1816120/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=29112 CPUtime=0.69 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 5670 0 0 0 68 1 0 0 18 0 1 0 26831464 29810688 4830 1992294400 134512640 137138936 4288664016 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 7278 4830 184 642 0 6634 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29112 [startup+1.50103 s] /proc/loadavg: 0.85 0.97 1.05 2/107 28315 /proc/meminfo: memFree=1793420/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=33120 CPUtime=1.49 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 6690 0 0 0 145 4 0 0 19 0 1 0 26831464 33914880 5850 1992294400 134512640 137138936 4288664016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 8280 5850 185 642 0 7636 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33120 [startup+3.10121 s] /proc/loadavg: 0.85 0.97 1.05 2/107 28315 /proc/meminfo: memFree=1793172/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=33120 CPUtime=3.09 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 6690 0 0 0 299 10 0 0 24 0 1 0 26831464 33914880 5850 1992294400 134512640 137138936 4288664016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 8280 5850 185 642 0 7636 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33120 [startup+6.30056 s] /proc/loadavg: 0.86 0.97 1.05 2/107 28315 /proc/meminfo: memFree=1792676/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=40200 CPUtime=6.29 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 10360 0 0 0 613 16 0 0 25 0 1 0 26831464 41164800 7598 1992294400 134512640 137138936 4288664016 18446744073709551615 134599772 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 10050 7598 192 642 0 9406 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 40200 [startup+12.7013 s] /proc/loadavg: 0.87 0.97 1.05 2/107 28315 /proc/meminfo: memFree=1748284/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=81908 CPUtime=12.69 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 20815 0 0 0 1248 21 0 0 25 0 1 0 26831464 83873792 18053 1992294400 134512640 137138936 4288664016 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 20477 18053 192 642 0 19833 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81908 [startup+25.5007 s] /proc/loadavg: 0.90 0.97 1.05 2/107 28315 /proc/meminfo: memFree=1673016/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=154516 CPUtime=25.49 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 38968 0 0 0 2520 29 0 0 25 0 1 0 26831464 158224384 36206 1992294400 134512640 137138936 4288664016 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 38629 36206 192 642 0 37985 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 154516 [startup+51.1015 s] /proc/loadavg: 0.93 0.97 1.05 2/107 28317 /proc/meminfo: memFree=1551744/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=276804 CPUtime=51.08 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 69531 0 0 0 5064 44 0 0 25 0 1 0 26831464 283447296 66769 1992294400 134512640 137138936 4288664016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 69201 66769 192 642 0 68557 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 276804 [startup+102.308 s] /proc/loadavg: 0.97 0.97 1.04 2/107 28317 /proc/meminfo: memFree=1355080/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=470588 CPUtime=102.27 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 117975 0 0 0 10156 71 0 0 25 0 1 0 26831464 481882112 115213 1992294400 134512640 137138936 4288664016 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 117647 115213 192 642 0 117003 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 470588 [startup+162.301 s] /proc/loadavg: 0.99 0.97 1.04 2/107 28319 /proc/meminfo: memFree=1163624/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=663364 CPUtime=162.24 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 166170 0 0 0 16125 99 0 0 25 0 1 0 26831464 679284736 163408 1992294400 134512640 137138936 4288664016 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 165841 163408 192 642 0 165197 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 663364 [startup+222.301 s] /proc/loadavg: 0.99 0.97 1.03 2/107 28321 /proc/meminfo: memFree=990768/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=834332 CPUtime=222.24 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 208908 0 0 0 22098 126 0 0 25 0 1 0 26831464 854355968 206146 1992294400 134512640 137138936 4288664016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 208583 206146 192 642 0 207939 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 834332 [startup+282.301 s] /proc/loadavg: 0.99 0.97 1.02 2/107 28323 /proc/meminfo: memFree=851888/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=974200 CPUtime=282.22 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 243883 0 0 0 28073 149 0 0 25 0 1 0 26831464 997580800 241121 1992294400 134512640 137138936 4288664016 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 243550 241121 192 642 0 242906 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 974200 [startup+342.301 s] /proc/loadavg: 0.99 0.97 1.02 2/107 28323 /proc/meminfo: memFree=782076/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1041748 CPUtime=342.2 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 260818 0 0 0 34058 162 0 0 25 0 1 0 26831464 1066749952 258003 1992294400 134512640 137138936 4288664016 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 260437 258003 192 642 0 259793 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1041748 [startup+402.301 s] /proc/loadavg: 0.99 0.97 1.01 2/107 28325 /proc/meminfo: memFree=782076/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1041748 CPUtime=402.18 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 260818 0 0 0 40053 165 0 0 25 0 1 0 26831464 1066749952 258003 1992294400 134512640 137138936 4288664016 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 260437 258003 192 642 0 259793 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1041748 [startup+462.301 s] /proc/loadavg: 0.99 0.97 1.01 2/107 28327 /proc/meminfo: memFree=781952/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1041748 CPUtime=462.17 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 260818 0 0 0 46048 169 0 0 25 0 1 0 26831464 1066749952 258003 1992294400 134512640 137138936 4288664016 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 260437 258003 192 642 0 259793 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1041748 [startup+522.302 s] /proc/loadavg: 0.99 0.97 1.00 2/107 28329 /proc/meminfo: memFree=781952/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1041748 CPUtime=522.16 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 260818 0 0 0 52043 173 0 0 25 0 1 0 26831464 1066749952 258003 1992294400 134512640 137138936 4288664016 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 260437 258003 192 642 0 259793 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1041748 [startup+582.301 s] /proc/loadavg: 0.99 0.97 1.00 2/107 28331 /proc/meminfo: memFree=781828/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1041748 CPUtime=582.14 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 260818 0 0 0 58038 176 0 0 25 0 1 0 26831464 1066749952 258003 1992294400 134512640 137138936 4288664016 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 260437 258003 192 642 0 259793 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1041748 [startup+642.301 s] /proc/loadavg: 0.99 0.97 1.00 2/107 28331 /proc/meminfo: memFree=781704/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1041748 CPUtime=642.13 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 260818 0 0 0 64035 178 0 0 25 0 1 0 26831464 1066749952 258003 1992294400 134512640 137138936 4288664016 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 260437 258003 192 642 0 259793 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1041748 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=766576/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1056048 CPUtime=1062 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264372 0 0 0 106000 200 0 0 25 0 1 0 26831464 1081393152 261557 1992294400 134512640 137138936 4288664016 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264012 261557 192 642 0 263368 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1056048 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 1.00 2/107 28354 /proc/meminfo: memFree=766576/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1056048 CPUtime=1121.99 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264372 0 0 0 111997 202 0 0 25 0 1 0 26831464 1081393152 261557 1992294400 134512640 137138936 4288664016 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264012 261557 192 642 0 263368 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1056048 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 1.00 2/107 28356 /proc/meminfo: memFree=766700/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1056048 CPUtime=1181.97 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264372 0 0 0 117993 204 0 0 25 0 1 0 26831464 1081393152 261557 1992294400 134512640 137138936 4288664016 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264012 261557 192 642 0 263368 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1056048 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 1.00 2/107 28356 /proc/meminfo: memFree=766700/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1056048 CPUtime=1241.95 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264372 0 0 0 123988 207 0 0 25 0 1 0 26831464 1081393152 261557 1992294400 134512640 137138936 4288664016 18446744073709551615 134576446 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264012 261557 192 642 0 263368 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1056048 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 1.00 2/107 28358 /proc/meminfo: memFree=766824/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1056048 CPUtime=1301.95 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264372 0 0 0 129984 211 0 0 25 0 1 0 26831464 1081393152 261557 1992294400 134512640 137138936 4288664016 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264012 261557 192 642 0 263368 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1056048 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 1.00 2/107 28360 /proc/meminfo: memFree=766824/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1056048 CPUtime=1361.93 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264372 0 0 0 135980 213 0 0 25 0 1 0 26831464 1081393152 261557 1992294400 134512640 137138936 4288664016 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264012 261557 192 642 0 263368 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1056048 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 1.00 2/107 28362 /proc/meminfo: memFree=766700/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1056048 CPUtime=1421.91 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264372 0 0 0 141976 215 0 0 25 0 1 0 26831464 1081393152 261557 1992294400 134512640 137138936 4288664016 18446744073709551615 134551092 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264012 261557 192 642 0 263368 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1056048 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 1.00 2/107 28364 /proc/meminfo: memFree=766700/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1056048 CPUtime=1481.89 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264372 0 0 0 147971 218 0 0 25 0 1 0 26831464 1081393152 261557 1992294400 134512640 137138936 4288664016 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264012 261557 192 642 0 263368 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1056048 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 1.00 2/107 28364 /proc/meminfo: memFree=766700/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1056048 CPUtime=1541.87 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264372 0 0 0 153967 220 0 0 25 0 1 0 26831464 1081393152 261557 1992294400 134512640 137138936 4288664016 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264012 261557 192 642 0 263368 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1056048 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 1.00 2/107 28366 /proc/meminfo: memFree=766700/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1056048 CPUtime=1601.86 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264372 0 0 0 159964 222 0 0 25 0 1 0 26831464 1081393152 261557 1992294400 134512640 137138936 4288664016 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264012 261557 192 642 0 263368 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1056048 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 1.00 2/107 28368 /proc/meminfo: memFree=764840/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1058496 CPUtime=1661.84 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264984 0 0 0 165960 224 0 0 25 0 1 0 26831464 1083899904 262169 1992294400 134512640 137138936 4288664016 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264624 262169 192 642 0 263980 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1058496 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 1.00 2/107 28370 /proc/meminfo: memFree=764716/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1058496 CPUtime=1721.83 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264984 0 0 0 171956 227 0 0 25 0 1 0 26831464 1083899904 262169 1992294400 134512640 137138936 4288664016 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264624 262169 192 642 0 263980 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1058496 [startup+1782.3 s] /proc/loadavg: 1.04 1.00 1.00 2/107 28375 /proc/meminfo: memFree=764344/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1058496 CPUtime=1781.82 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264984 0 0 0 177952 230 0 0 25 0 1 0 26831464 1083899904 262169 1992294400 134512640 137138936 4288664016 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264624 262169 192 642 0 263980 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1058496 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.04 1.00 1.00 2/107 28375 /proc/meminfo: memFree=764344/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1058496 CPUtime=1791.42 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264984 0 0 0 178912 230 0 0 25 0 1 0 26831464 1083899904 262169 1992294400 134512640 137138936 4288664016 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264624 262169 192 642 0 263980 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 1058496 [startup+1795.1 s] /proc/loadavg: 1.03 1.00 1.00 2/107 28375 /proc/meminfo: memFree=764344/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1058496 CPUtime=1794.62 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264984 0 0 0 179232 230 0 0 25 0 1 0 26831464 1083899904 262169 1992294400 134512640 137138936 4288664016 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264624 262169 192 642 0 263980 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 1058496 [startup+1796.7 s] /proc/loadavg: 1.03 1.00 1.00 2/107 28375 /proc/meminfo: memFree=764344/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1058496 CPUtime=1796.21 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264984 0 0 0 179391 230 0 0 25 0 1 0 26831464 1083899904 262169 1992294400 134512640 137138936 4288664016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264624 262169 192 642 0 263980 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 1058496 [startup+1797.5 s] /proc/loadavg: 1.03 1.00 1.00 2/107 28375 /proc/meminfo: memFree=764344/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1058496 CPUtime=1797.01 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264984 0 0 0 179471 230 0 0 25 0 1 0 26831464 1083899904 262169 1992294400 134512640 137138936 4288664016 18446744073709551615 134552304 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264624 262169 192 642 0 263980 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 1058496 [startup+1798.3 s] /proc/loadavg: 1.03 1.00 1.00 2/107 28375 /proc/meminfo: memFree=764344/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=1058496 CPUtime=1797.81 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202496 264984 0 0 0 179551 230 0 0 25 0 1 0 26831464 1083899904 262169 1992294400 134512640 137138936 4288664016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28314/statm: 264624 262169 192 642 0 263980 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 1058496 [startup+1798.51 s] /proc/loadavg: 1.03 1.00 1.00 2/107 28375 /proc/meminfo: memFree=764344/2059040 swapFree=4140228/4192956 [pid=28314] ppid=28312 vsize=0 CPUtime=1798.02 /proc/28314/stat : 28314 (bsolo_pb10) R 28312 28314 28289 0 -1 4202500 264985 0 0 0 179570 232 0 0 25 0 1 0 26831464 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/28314/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.6 CPU time (s): 1798.12 CPU user time (s): 1795.71 CPU system time (s): 2.41163 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 1058496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.71 system time used= 2.41163 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 264985 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= 4371 runsolver used 2.94555 second user time and 8.5217 second system time The end
Begin job on node009 at 2010-06-14 12:44:57 IDJOB=2656606 IDBENCH=2269 IDSOLVER=1162 FILE ID=node009/2656606-1276512297 PBS_JOBID= 11173431 Free space on /tmp= 62448 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656606-1276512297/watcher-2656606-1276512297 -o /tmp/evaluation-result-2656606-1276512297/solver-2656606-1276512297 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656606-1276512297.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2295cbab79cf702b6a93f1d0b8bae876 RANDOM SEED=904601428 node009.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.199 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.39 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.199 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1816772 kB Buffers: 57816 kB Cached: 106248 kB SwapCached: 5716 kB Active: 98772 kB Inactive: 77492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1816772 kB SwapTotal: 4192956 kB SwapFree: 4140228 kB Dirty: 7020 kB Writeback: 0 kB AnonPages: 10724 kB Mapped: 12828 kB Slab: 44092 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179808 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= 62444 MiB End job on node009 at 2010-06-14 13:14:56