Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -46 | 1798.3 | 1798.93 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb |
MD5SUM | f7a936a02ddf18c17dc27b7b53733ab1 |
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 | 1798.3 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126163 |
Number of constraints which are clauses | 126163 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1880029-1245236327.opb 0.00/0.00 c File size is 3113083 bytes. 0.39/0.41 c Highest Coefficient sum: 1534 0.39/0.41 c Parsing was ok!! 0.39/0.41 c Total parsing time: 0.408 s 0.39/0.45 c Var: 1534 Constr: 126163 126163/0/0 Lit: 252326 Watch. Lit: 252326 0.39/0.45 c Obj. Vars: 1534 (100 % of total variables) 4.58/4.68 c Pre-processing Time: 4.68 s 4.58/4.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.69 c 0 1534 126163 252326 2 252326 42054 0 0 4.68 4.58/4.69 c Switching off lower bounding mode. 4.69/4.70 o -42 4.69/4.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.72 c 0 1534 126164 253860 2 252370 43054 1 0 4.71 4.69/4.72 o -43 5.09/5.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.15 c 6 1534 126173 267384 2 252507 43054 10 1 4.73 5.09/5.15 c 107 1534 126366 557516 4 256066 47360 203 20 5.12 5.09/5.15 o -44 8.79/8.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.79/8.85 c 109 1534 126370 563554 4 254406 43054 207 21 5.16 8.79/8.85 c 212 1534 126565 856259 6 258153 47360 402 37 5.66 8.79/8.85 c 462 1534 127064 1604592 12 266100 52097 901 61 7.49 8.79/8.85 o -45 1778.16/1778.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1778.16/1778.85 c 604 1534 127344 2025513 15 267590 43054 1181 68 8.86 1778.16/1778.85 c 704 1534 127537 2315170 18 268860 47360 1374 69 10.19 1778.16/1778.85 c 954 1534 128021 3041330 23 277013 52097 1858 69 13.76 1778.16/1778.85 c 1429 1534 128961 4452088 34 291007 57307 2798 66 21.58 1778.16/1778.85 c 2242 1534 130567 6858930 52 313526 63038 4404 53 41.59 1778.16/1778.85 c 3562 1534 133200 10802848 81 349613 69342 7037 38 91.94 1778.16/1778.85 c 5643 1534 137330 16979077 123 400803 76277 11167 31 181.73 1778.16/1778.85 c 8867 1534 143718 26547778 184 475471 83905 17555 21 407.59 1778.16/1778.85 c 13805 1534 153558 41240914 268 593644 92296 27395 15 906.57 1778.16/1778.85 c 21311 1534 168511 63622712 377 769734 101526 42348 12 1741.14 1778.16/1778.85 o -46 1798.06/1798.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.06/1798.79 c 21507 1534 168903 64209049 380 662770 43054 42740 12 1778.24 1798.06/1798.79 c Resources Exceeded 1798.06/1798.80 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 1798.06/1798.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.06/1798.80 c 17 21575 1589 24080 169037 64409914 42874 11 1798.17 1798.06/1798.80 c Objective: -46 1798.06/1798.80 s SATISFIABLE 1798.06/1798.80 c Total time: 1798.17 s
OK -46
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880029-1245236327/watcher-1880029-1245236327 -o /tmp/evaluation-result-1880029-1245236327/solver-1880029-1245236327 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880029-1245236327.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.00 0.00 0.00 3/64 10637 /proc/meminfo: memFree=1738360/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=13772 CPUtime=0 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 191229089 14102528 247 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 3443 248 174 640 0 2038 0 [startup+0.082598 s] /proc/loadavg: 0.00 0.00 0.00 3/64 10637 /proc/meminfo: memFree=1738360/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=16244 CPUtime=0.07 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 1010 0 0 0 7 0 0 0 18 0 1 0 191229089 16633856 994 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 4061 994 318 640 0 2656 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 16244 [startup+0.1026 s] /proc/loadavg: 0.00 0.00 0.00 3/64 10637 /proc/meminfo: memFree=1738360/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=16796 CPUtime=0.09 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 1197 0 0 0 9 0 0 0 18 0 1 0 191229089 17199104 1181 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 4199 1181 354 640 0 2794 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16796 [startup+0.301633 s] /proc/loadavg: 0.00 0.00 0.00 3/64 10637 /proc/meminfo: memFree=1738360/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=22844 CPUtime=0.29 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 3062 0 0 0 28 1 0 0 19 0 1 0 191229089 23392256 3046 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 5711 3046 721 640 0 4306 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22844 [startup+0.701703 s] /proc/loadavg: 0.00 0.00 0.00 3/64 10637 /proc/meminfo: memFree=1738360/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=33212 CPUtime=0.69 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 6638 0 0 0 67 2 0 0 22 0 1 0 191229089 34009088 5861 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 8303 5861 190 640 0 7659 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33212 [startup+1.50184 s] /proc/loadavg: 0.00 0.00 0.00 2/65 10638 /proc/meminfo: memFree=1715504/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=33212 CPUtime=1.49 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 6638 0 0 0 145 4 0 0 25 0 1 0 191229089 34009088 5861 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 8303 5861 190 640 0 7659 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33212 [startup+3.10112 s] /proc/loadavg: 0.00 0.00 0.00 2/65 10638 /proc/meminfo: memFree=1715376/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=33212 CPUtime=3.09 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 6638 0 0 0 301 8 0 0 25 0 1 0 191229089 34009088 5861 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 8303 5861 190 640 0 7659 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33212 [startup+6.30167 s] /proc/loadavg: 0.08 0.02 0.01 2/65 10638 /proc/meminfo: memFree=1713136/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=41144 CPUtime=6.29 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 10556 0 0 0 615 14 0 0 25 0 1 0 191229089 42131456 7854 1992294400 134512640 137136520 4294956256 18446744073709551615 136518979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 10286 7854 196 640 0 9642 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41144 [startup+12.7018 s] /proc/loadavg: 0.15 0.03 0.01 2/65 10638 /proc/meminfo: memFree=1687408/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=62952 CPUtime=12.69 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 16014 0 0 0 1253 16 0 0 25 0 1 0 191229089 64462848 13312 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 15738 13312 196 640 0 15094 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 62952 [startup+25.502 s] /proc/loadavg: 0.34 0.08 0.02 2/65 10638 /proc/meminfo: memFree=1658032/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=90936 CPUtime=25.49 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 23025 0 0 0 2530 19 0 0 25 0 1 0 191229089 93118464 20323 1992294400 134512640 137136520 4294956256 18446744073709551615 134543959 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 22734 20323 197 640 0 22090 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 90936 [startup+51.1014 s] /proc/loadavg: 0.56 0.15 0.05 2/65 10638 /proc/meminfo: memFree=1623152/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=126136 CPUtime=51.07 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 31810 0 0 0 5084 23 0 0 25 0 1 0 191229089 129163264 29108 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 31534 29108 197 640 0 30890 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 126136 [startup+102.304 s] /proc/loadavg: 0.81 0.28 0.10 2/65 10638 /proc/meminfo: memFree=1574192/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=174192 CPUtime=102.26 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 43824 0 0 0 10198 28 0 0 25 0 1 0 191229089 178372608 41122 1992294400 134512640 137136520 4294956256 18446744073709551615 134539796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 43548 41122 197 640 0 42904 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 174192 [startup+162.302 s] /proc/loadavg: 0.93 0.41 0.15 2/65 10644 /proc/meminfo: memFree=1519144/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=229464 CPUtime=162.23 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 57644 0 0 0 16189 34 0 0 25 0 1 0 191229089 234971136 54942 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 57366 54942 197 640 0 56722 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 229464 [startup+222.302 s] /proc/loadavg: 0.97 0.51 0.20 2/65 10644 /proc/meminfo: memFree=1476520/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=271456 CPUtime=222.21 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 68163 0 0 0 22182 39 0 0 25 0 1 0 191229089 277970944 65461 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 67864 65461 197 640 0 67220 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 271456 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/65 10644 /proc/meminfo: memFree=1438952/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=309384 CPUtime=282.19 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 77637 0 0 0 28175 44 0 0 25 0 1 0 191229089 316809216 74935 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 77346 74935 197 640 0 76702 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 309384 [startup+342.302 s] /proc/loadavg: 0.99 0.67 0.29 2/65 10644 /proc/meminfo: memFree=1408040/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=339940 CPUtime=342.17 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 85262 0 0 0 34168 49 0 0 25 0 1 0 191229089 348098560 82560 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 84985 82560 197 640 0 84341 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 339940 [startup+402.302 s] /proc/loadavg: 0.99 0.73 0.33 2/65 10644 /proc/meminfo: memFree=1381096/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=367112 CPUtime=402.15 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 92071 0 0 0 40163 52 0 0 25 0 1 0 191229089 375922688 89369 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 91778 89369 197 640 0 91134 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 367112 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.37 2/65 10644 /proc/meminfo: memFree=1357808/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=390100 CPUtime=462.13 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 97804 0 0 0 46158 55 0 0 25 0 1 0 191229089 399462400 95102 1992294400 134512640 137136520 4294956256 18446744073709551615 136500562 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 97525 95102 197 640 0 96881 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 390100 [startup+522.302 s] /proc/loadavg: 1.07 0.83 0.41 2/65 10644 /proc/meminfo: memFree=1333936/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=414140 CPUtime=522.11 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 103831 0 0 0 52153 58 0 0 25 0 1 0 191229089 424079360 101129 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 103535 101129 197 640 0 102891 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 414140 [startup+582.302 s] /proc/loadavg: 1.02 0.86 0.45 2/65 10644 /proc/meminfo: memFree=1307760/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=439992 CPUtime=582.09 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 110285 0 0 0 58148 61 0 0 25 0 1 0 191229089 450551808 107583 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 109998 107583 197 640 0 109354 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 439992 [startup+642.301 s] /proc/loadavg: 1.01 0.88 0.48 2/65 10644 /proc/meminfo: memFree=1284656/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=462872 CPUtime=642.06 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 116014 0 0 0 64143 63 0 0 25 0 1 0 191229089 473980928 113312 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 115718 113312 197 640 0 115074 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 462872 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1122800/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=624816 CPUtime=1061.92 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 156500 0 0 0 106107 85 0 0 25 0 1 0 191229089 639811584 153798 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 156204 153798 197 640 0 155560 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 624816 [startup+1122.3 s] /proc/loadavg: 1.00 0.96 0.67 2/65 10644 /proc/meminfo: memFree=1098736/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=648684 CPUtime=1121.89 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 162450 0 0 0 112101 88 0 0 25 0 1 0 191229089 664252416 159748 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 162171 159748 197 640 0 161527 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 648684 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.69 2/65 10644 /proc/meminfo: memFree=1077616/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=670044 CPUtime=1181.88 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 167790 0 0 0 118096 92 0 0 25 0 1 0 191229089 686125056 165088 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 167511 165088 197 640 0 166867 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 670044 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.70 2/65 10644 /proc/meminfo: memFree=1056368/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=690976 CPUtime=1241.86 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 173036 0 0 0 124091 95 0 0 25 0 1 0 191229089 707559424 170334 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 172744 170334 197 640 0 172100 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 690976 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.72 2/65 10644 /proc/meminfo: memFree=1034224/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=712752 CPUtime=1301.84 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 178485 0 0 0 130086 98 0 0 25 0 1 0 191229089 729858048 175783 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 178188 175783 197 640 0 177544 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 712752 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/65 10644 /proc/meminfo: memFree=1013808/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=733292 CPUtime=1361.81 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 183611 0 0 0 136080 101 0 0 25 0 1 0 191229089 750891008 180909 1992294400 134512640 137136520 4294956256 18446744073709551615 134575569 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 183323 180909 197 640 0 182679 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 733292 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.75 2/65 10644 /proc/meminfo: memFree=993392/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=753468 CPUtime=1421.8 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 188663 0 0 0 142074 106 0 0 25 0 1 0 191229089 771551232 185961 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 188367 185961 197 640 0 187723 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 753468 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.76 2/65 10644 /proc/meminfo: memFree=974704/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=772156 CPUtime=1481.77 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 193335 0 0 0 148068 109 0 0 25 0 1 0 191229089 790687744 190633 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 193039 190633 197 640 0 192395 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 772156 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.77 2/65 10644 /proc/meminfo: memFree=958064/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=788772 CPUtime=1541.74 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 197472 0 0 0 154063 111 0 0 25 0 1 0 191229089 807702528 194770 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 197193 194770 197 640 0 196549 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 788772 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.78 2/65 10644 /proc/meminfo: memFree=939184/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=807712 CPUtime=1601.72 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 202224 0 0 0 160059 113 0 0 25 0 1 0 191229089 827097088 199522 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 201928 199522 197 640 0 201284 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 807712 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.79 2/65 10644 /proc/meminfo: memFree=921392/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=825320 CPUtime=1661.7 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 206626 0 0 0 166055 115 0 0 25 0 1 0 191229089 845127680 203924 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 206330 203924 197 640 0 205686 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 825320 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.81 2/65 10644 /proc/meminfo: memFree=903536/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=843340 CPUtime=1721.68 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 211130 0 0 0 172050 118 0 0 25 0 1 0 191229089 863580160 208428 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 210835 208428 197 640 0 210191 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 843340 [startup+1782.3 s] /proc/loadavg: 1.15 1.02 0.83 2/65 10644 /proc/meminfo: memFree=890224/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=856316 CPUtime=1781.66 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 214365 0 0 0 178046 120 0 0 25 0 1 0 191229089 876867584 211663 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 214079 211663 197 640 0 213435 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 856316 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.12 1.02 0.83 2/65 10644 /proc/meminfo: memFree=889008/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=857536 CPUtime=1791.26 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 214676 0 0 0 179006 120 0 0 25 0 1 0 191229089 878116864 211974 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 214384 211974 197 640 0 213740 0 Current children cumulated CPU time (s) 1791.26 Current children cumulated vsize (KiB) 857536 [startup+1795.1 s] /proc/loadavg: 1.11 1.02 0.83 2/65 10644 /proc/meminfo: memFree=888432/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=858128 CPUtime=1794.47 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 214819 0 0 0 179326 121 0 0 25 0 1 0 191229089 878723072 212117 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 214532 212117 197 640 0 213888 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 858128 [startup+1796.7 s] /proc/loadavg: 1.11 1.02 0.83 2/65 10644 /proc/meminfo: memFree=888176/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=858516 CPUtime=1796.06 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 214905 0 0 0 179485 121 0 0 25 0 1 0 191229089 879120384 212203 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 214629 212203 197 640 0 213985 0 Current children cumulated CPU time (s) 1796.06 Current children cumulated vsize (KiB) 858516 [startup+1798.3 s] /proc/loadavg: 1.11 1.02 0.83 2/65 10644 /proc/meminfo: memFree=887920/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=858736 CPUtime=1797.66 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 214972 0 0 0 179645 121 0 0 25 0 1 0 191229089 879345664 212270 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 214684 212270 197 640 0 214040 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 858736 [startup+1798.7 s] /proc/loadavg: 1.10 1.01 0.83 2/65 10644 /proc/meminfo: memFree=887792/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=858856 CPUtime=1798.06 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194304 214992 0 0 0 179685 121 0 0 25 0 1 0 191229089 879468544 212290 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 214714 212290 197 640 0 214070 0 Current children cumulated CPU time (s) 1798.06 Current children cumulated vsize (KiB) 858856 [startup+1798.9 s] /proc/loadavg: 1.10 1.01 0.83 2/65 10644 /proc/meminfo: memFree=887792/2055920 swapFree=4181252/4192956 [pid=10637] ppid=10635 vsize=0 CPUtime=1798.26 /proc/10637/stat : 10637 (bsolo) R 10635 10637 10594 0 -1 4194308 215003 0 0 0 179695 131 0 0 25 0 1 0 191229089 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10637/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.26 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.93 CPU time (s): 1798.3 CPU user time (s): 1796.96 CPU system time (s): 1.3448 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 858856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.96 system time used= 1.34479 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 215003 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= 2 involuntary context switches= 2396 runsolver used 1.52077 second user time and 3.46847 second system time The end
Begin job on node48 at 2009-06-17 12:58:47 IDJOB=1880029 IDBENCH=2268 IDSOLVER=701 FILE ID=node48/1880029-1245236327 PBS_JOBID= 9372292 Free space on /tmp= 66232 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880029-1245236327/watcher-1880029-1245236327 -o /tmp/evaluation-result-1880029-1245236327/solver-1880029-1245236327 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880029-1245236327.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f7a936a02ddf18c17dc27b7b53733ab1 RANDOM SEED=500213177 node48.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.270 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.270 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1738776 kB Buffers: 54960 kB Cached: 192396 kB SwapCached: 5468 kB Active: 100276 kB Inactive: 154864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1738776 kB SwapTotal: 4192956 kB SwapFree: 4181252 kB Dirty: 7212 kB Writeback: 0 kB Mapped: 13400 kB Slab: 47976 kB Committed_AS: 173756 kB PageTables: 1372 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880029-1245236327.opb Free space on /tmp at the end= 66228 MiB End job on node48 at 2009-06-17 13:28:46