Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -44 | 1798.1 | 1798.64 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb |
MD5SUM | 62a6bdf0e089cd0b8a79007277394096 |
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.05 |
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 | 109401 |
Number of constraints which are clauses | 109401 |
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-2656476-1276496018.opb 0.00/0.00 c File size is 2678526 bytes. 0.39/0.43 c Highest Coefficient sum: 1400 0.39/0.43 c Parsing was ok!! 0.39/0.43 c Total parsing time: 0.431 s 0.39/0.47 c Var: 1400 Constr: 109401 109401/0/0 Lit: 218802 Watch. Lit: 218802 0.39/0.47 c Obj. Vars: 1400 (100 % of total variables) 3.78/3.87 c Pre-processing Time: 3.864 s 3.78/3.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.78/3.87 c 0 1400 109401 218802 2 218802 36467 0 0 3.86 3.78/3.87 c Switching off lower bounding mode. 3.78/3.89 o -40 3.89/3.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.90 c 0 1400 109402 220202 2 218844 37467 1 0 3.89 3.89/3.90 o -41 5.99/6.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.04 c 1 1400 109404 222961 2 218889 37467 3 0 3.90 5.99/6.04 c 102 1400 109515 373308 3 219111 41214 114 24 4.13 5.99/6.04 c 352 1400 109792 748488 6 219665 45336 391 74 4.75 5.99/6.04 c 828 1400 110311 1451728 13 220703 49870 910 137 6.03 5.99/6.04 o -42 8.29/8.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.29/8.30 c 828 1400 110312 1453128 13 220747 37467 911 137 6.04 8.29/8.30 c 929 1400 110422 1602073 14 220967 41214 1021 147 6.30 8.29/8.30 c 1180 1400 110702 1981041 17 221527 45336 1301 169 6.96 8.29/8.30 c 1655 1400 111233 2699580 24 222589 49870 1832 199 8.28 8.29/8.30 o -43 9.68/9.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.68/9.78 c 1657 1400 111236 2703691 24 222638 37467 1835 199 8.30 9.68/9.78 c 1757 1400 111349 2856559 25 222864 41214 1948 205 8.56 9.68/9.78 c 2007 1400 111625 3229893 28 223416 45336 2224 216 9.25 9.68/9.78 o -44 1797.96/1798.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.53 c 2192 1400 111830 3507380 31 223870 37467 2429 224 9.78 1797.96/1798.53 c 2292 1400 111943 3660107 32 224096 41214 2542 227 10.07 1797.96/1798.53 c 2542 1400 112227 4043908 36 224664 45336 2826 234 10.84 1797.96/1798.53 c 3018 1400 112758 4761498 42 225726 49870 3357 244 12.34 1797.96/1798.53 c 3832 1400 113645 5960336 52 227500 54858 4244 256 14.92 1797.96/1798.53 c 5152 1400 115100 7927062 68 230410 60344 5699 263 19.55 1797.96/1798.53 c 7234 1400 117424 11067654 94 235058 66379 8023 257 28.05 1797.96/1798.53 c 10457 1400 120968 15854948 131 242146 73017 11567 249 41.90 1797.96/1798.53 c 15393 1400 126297 23060472 182 252804 80319 16896 233 66.04 1797.96/1798.53 c 22899 1400 134727 34449272 255 269664 88351 25326 204 111.91 1797.96/1798.53 c 34260 1400 147402 51572466 349 295014 97187 38001 164 207.97 1797.96/1798.53 c 51404 1400 166589 77492070 465 333388 106906 57188 141 363.75 1797.96/1798.53 c Reducing formula size due to memory constraints 1797.96/1798.53 c Memory Limit: 1000.00 MB Used: 1009.97 MB 1797.96/1798.53 c 77223 1400 149834 54843645 366 299754 148284 40433 119 644.06 1797.96/1798.53 c Reducing formula size due to memory constraints 1797.96/1798.53 c Memory Limit: 1000.00 MB Used: 1018.84 MB 1797.96/1798.53 c 116056 1400 147859 52106306 352 295804 148482 38458 116 995.03 1797.96/1798.53 c Reducing formula size due to memory constraints 1797.96/1798.53 c Memory Limit: 1000.00 MB Used: 1017.64 MB 1797.96/1798.53 c 174408 1400 166239 77003644 463 332564 147938 56838 100 1741.37 1797.96/1798.53 c Reducing formula size due to memory constraints 1797.96/1798.53 c Memory Limit: 1000.00 MB Used: 1005.15 MB 1797.96/1798.53 c Resources Exceeded 1797.96/1798.53 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 -x627 -x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1 1797.96/1798.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.53 c 27 178342 12690 194600 125077 21390063 15676 99 1798.00 1797.96/1798.53 c Objective: -44 1797.96/1798.53 s SATISFIABLE 1797.96/1798.53 c Total time: 1798 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-2656476-1276496018/watcher-2656476-1276496018 -o /tmp/evaluation-result-2656476-1276496018/solver-2656476-1276496018 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656476-1276496018.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.03 1.01 1.08 3/106 27346 /proc/meminfo: memFree=1783040/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=13548 CPUtime=0 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 353 0 0 0 0 0 0 0 22 0 1 0 25203299 13873152 272 1992294400 134512640 137138936 4289061520 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 3387 273 175 642 0 2089 0 [startup+0.105989 s] /proc/loadavg: 1.03 1.01 1.08 3/106 27346 /proc/meminfo: memFree=1783040/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=15888 CPUtime=0.09 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 1094 0 0 0 9 0 0 0 22 0 1 0 25203299 16269312 1013 1992294400 134512640 137138936 4289061520 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 3972 1013 317 642 0 2674 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15888 [startup+0.202001 s] /proc/loadavg: 1.03 1.01 1.08 3/106 27346 /proc/meminfo: memFree=1783040/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=18360 CPUtime=0.19 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 1835 0 0 0 19 0 0 0 22 0 1 0 25203299 18800640 1754 1992294400 134512640 137138936 4289061520 18446744073709551615 134520741 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 4590 1754 462 642 0 3292 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 18360 [startup+0.302015 s] /proc/loadavg: 1.03 1.01 1.08 3/106 27346 /proc/meminfo: memFree=1783040/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=20836 CPUtime=0.29 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 2622 0 0 0 29 0 0 0 22 0 1 0 25203299 21336064 2541 1992294400 134512640 137138936 4289061520 18446744073709551615 136496530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 5209 2542 616 642 0 3911 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20836 [startup+0.701067 s] /proc/loadavg: 1.03 1.01 1.08 3/106 27346 /proc/meminfo: memFree=1783040/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=30292 CPUtime=0.69 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 5847 0 0 0 67 2 0 0 23 0 1 0 25203299 31019008 5112 1992294400 134512640 137138936 4289061520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 7573 5112 185 642 0 6929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30292 [startup+1.50117 s] /proc/loadavg: 1.03 1.01 1.08 2/107 27347 /proc/meminfo: memFree=1763192/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=30292 CPUtime=1.49 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 5847 0 0 0 145 4 0 0 25 0 1 0 25203299 31019008 5112 1992294400 134512640 137138936 4289061520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 7573 5112 185 642 0 6929 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30292 [startup+3.10138 s] /proc/loadavg: 1.03 1.01 1.08 2/107 27347 /proc/meminfo: memFree=1762944/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=30292 CPUtime=3.08 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 5847 0 0 0 299 9 0 0 25 0 1 0 25203299 31019008 5112 1992294400 134512640 137138936 4289061520 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 7573 5112 185 642 0 6929 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 30292 [startup+6.3008 s] /proc/loadavg: 1.02 1.01 1.08 2/107 27347 /proc/meminfo: memFree=1754016/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=44424 CPUtime=6.29 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 11076 0 0 0 615 14 0 0 25 0 1 0 25203299 45490176 8681 1992294400 134512640 137138936 4289061520 18446744073709551615 136501669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 11106 8681 192 642 0 10462 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44424 [startup+12.7006 s] /proc/loadavg: 1.02 1.01 1.08 2/107 27347 /proc/meminfo: memFree=1709376/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=87176 CPUtime=12.69 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 21765 0 0 0 1250 19 0 0 25 0 1 0 25203299 89268224 19370 1992294400 134512640 137138936 4289061520 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 21794 19370 192 642 0 21150 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 87176 [startup+25.5013 s] /proc/loadavg: 1.02 1.01 1.08 3/108 27352 /proc/meminfo: memFree=1613516/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=152956 CPUtime=25.48 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 38210 0 0 0 2520 28 0 0 25 0 1 0 25203299 156626944 35815 1992294400 134512640 137138936 4289061520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 38239 35815 192 642 0 37595 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 152956 [startup+51.1017 s] /proc/loadavg: 1.06 1.02 1.08 2/107 27352 /proc/meminfo: memFree=1528336/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=265624 CPUtime=51.07 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 66377 0 0 0 5063 44 0 0 25 0 1 0 25203299 271998976 63982 1992294400 134512640 137138936 4289061520 18446744073709551615 136520958 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 66406 63982 192 642 0 65762 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 265624 [startup+102.301 s] /proc/loadavg: 1.03 1.02 1.08 2/107 27354 /proc/meminfo: memFree=1351636/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=440448 CPUtime=102.26 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 110069 0 0 0 10158 68 0 0 25 0 1 0 25203299 451018752 107674 1992294400 134512640 137138936 4289061520 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 110112 107674 192 642 0 109468 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 440448 [startup+162.301 s] /proc/loadavg: 1.01 1.01 1.07 2/107 27354 /proc/meminfo: memFree=1191552/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=601120 CPUtime=162.23 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 150245 0 0 0 16128 95 0 0 25 0 1 0 25203299 615546880 147850 1992294400 134512640 137138936 4289061520 18446744073709551615 134542843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 150280 147850 192 642 0 149636 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 601120 [startup+222.309 s] /proc/loadavg: 1.00 1.01 1.07 2/107 27356 /proc/meminfo: memFree=1061724/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=730128 CPUtime=222.22 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 182491 0 0 0 22107 115 0 0 25 0 1 0 25203299 747651072 180096 1992294400 134512640 137138936 4289061520 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 182532 180096 192 642 0 181888 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 730128 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.06 2/107 27358 /proc/meminfo: memFree=921976/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=870856 CPUtime=282.2 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 217658 0 0 0 28084 136 0 0 25 0 1 0 25203299 891756544 215263 1992294400 134512640 137138936 4289061520 18446744073709551615 134551767 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 217714 215263 192 642 0 217070 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 870856 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.06 2/107 27360 /proc/meminfo: memFree=812608/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=978636 CPUtime=342.17 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 244625 0 0 0 34062 155 0 0 25 0 1 0 25203299 1002123264 242230 1992294400 134512640 137138936 4289061520 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 244659 242235 192 642 0 244015 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 978636 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.05 2/107 27362 /proc/meminfo: memFree=745028/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1045624 CPUtime=402.16 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 261431 0 0 0 40048 168 0 0 25 0 1 0 25203299 1070718976 258978 1992294400 134512640 137138936 4289061520 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 261406 258978 192 642 0 260762 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 1045624 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.04 2/107 27362 /proc/meminfo: memFree=745028/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1045624 CPUtime=462.14 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 261431 0 0 0 46042 172 0 0 25 0 1 0 25203299 1070718976 258978 1992294400 134512640 137138936 4289061520 18446744073709551615 136511201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 261406 258978 192 642 0 260762 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 1045624 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 27364 /proc/meminfo: memFree=744904/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1045624 CPUtime=522.13 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 261431 0 0 0 52038 175 0 0 25 0 1 0 25203299 1070718976 258978 1992294400 134512640 137138936 4289061520 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 261406 258978 192 642 0 260762 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1045624 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 27366 /proc/meminfo: memFree=744904/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1045624 CPUtime=582.1 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 261431 0 0 0 58032 178 0 0 25 0 1 0 25203299 1070718976 258978 1992294400 134512640 137138936 4289061520 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 261406 258978 192 642 0 260762 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 1045624 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 27368 /proc/meminfo: memFree=744780/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1045624 CPUtime=642.09 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 261431 0 0 0 64029 180 0 0 25 0 1 0 25203299 1070718976 258978 1992294400 134512640 137138936 4289061520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 261406 258978 192 642 0 260762 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 1045624 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=732876/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1061.97 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 105987 210 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1057240 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27380 /proc/meminfo: memFree=732876/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1121.95 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 111982 213 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1057240 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27382 /proc/meminfo: memFree=732752/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1181.93 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 117977 216 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1057240 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27384 /proc/meminfo: memFree=732504/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1241.91 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 123973 218 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1057240 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27386 /proc/meminfo: memFree=732380/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1301.9 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 129968 222 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1057240 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27386 /proc/meminfo: memFree=732380/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1361.88 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 135963 225 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1057240 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27388 /proc/meminfo: memFree=732380/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1421.87 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 141960 227 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1057240 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27390 /proc/meminfo: memFree=732380/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1481.85 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 147955 230 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1057240 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27392 /proc/meminfo: memFree=732256/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1541.84 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 153950 234 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1057240 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27394 /proc/meminfo: memFree=732256/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1601.81 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 159943 238 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1057240 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27394 /proc/meminfo: memFree=732256/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1661.8 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 165939 241 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1057240 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27396 /proc/meminfo: memFree=732132/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1721.78 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 171934 244 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1057240 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27398 /proc/meminfo: memFree=731884/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1781.76 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 177931 245 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1057240 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27398 /proc/meminfo: memFree=731884/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1791.47 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 178901 246 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 1057240 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27398 /proc/meminfo: memFree=731884/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1794.67 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 179221 246 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 1057240 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27398 /proc/meminfo: memFree=732008/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1796.26 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 179380 246 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134603126 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1796.26 Current children cumulated vsize (KiB) 1057240 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27398 /proc/meminfo: memFree=732008/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1797.06 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 179460 246 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 136500576 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (KiB) 1057240 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27398 /proc/meminfo: memFree=732008/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=1057240 CPUtime=1797.86 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202496 264377 0 0 0 179540 246 0 0 25 0 1 0 25203299 1082613760 261865 1992294400 134512640 137138936 4289061520 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27346/statm: 264310 261865 192 642 0 263666 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 1057240 [startup+1798.61 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27398 /proc/meminfo: memFree=732008/2059040 swapFree=4140260/4192956 [pid=27346] ppid=27344 vsize=0 CPUtime=1798.07 /proc/27346/stat : 27346 (bsolo_pb10) R 27344 27346 27236 0 -1 4202500 264378 0 0 0 179553 254 0 0 25 0 1 0 25203299 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/27346/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.07 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.64 CPU time (s): 1798.1 CPU user time (s): 1795.53 CPU system time (s): 2.57161 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 1057240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.53 system time used= 2.57161 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 264378 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= 5228 runsolver used 2.95455 second user time and 8.50471 second system time The end
Begin job on node013 at 2010-06-14 08:13:38 IDJOB=2656476 IDBENCH=2248 IDSOLVER=1162 FILE ID=node013/2656476-1276496018 PBS_JOBID= 11173406 Free space on /tmp= 62504 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-2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656476-1276496018/watcher-2656476-1276496018 -o /tmp/evaluation-result-2656476-1276496018/solver-2656476-1276496018 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656476-1276496018.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 62a6bdf0e089cd0b8a79007277394096 RANDOM SEED=93197425 node013.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.253 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.50 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1783568 kB Buffers: 89928 kB Cached: 105996 kB SwapCached: 5796 kB Active: 102108 kB Inactive: 106740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1783568 kB SwapTotal: 4192956 kB SwapFree: 4140260 kB Dirty: 6624 kB Writeback: 0 kB AnonPages: 11472 kB Mapped: 12840 kB Slab: 44904 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180084 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= 62500 MiB End job on node013 at 2010-06-14 08:43:37