Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -43 | 1798.2 | 1799.04 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb |
MD5SUM | 4c9dc9cf5c24873d3237c90ee1682632 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109379 |
Number of constraints which are clauses | 109379 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1400 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1400 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1400 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.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-1879936-1245236325.opb 0.00/0.00 c File size is 2685249 bytes. 0.30/0.32 c Highest Coefficient sum: 1400 0.30/0.32 c Parsing was ok!! 0.30/0.32 c Total parsing time: 0.327 s 0.30/0.36 c Var: 1400 Constr: 109379 109379/0/0 Lit: 218758 Watch. Lit: 218758 0.30/0.36 c Obj. Vars: 1400 (100 % of total variables) 3.79/3.82 c Pre-processing Time: 3.823 s 3.79/3.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.83 c 0 1400 109379 218758 2 218758 36459 0 0 3.82 3.79/3.83 c Switching off lower bounding mode. 3.79/3.84 o -40 3.99/4.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.05 c 0 1400 109380 220158 2 218800 37459 1 0 3.85 3.99/4.05 o -41 137.11/137.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 137.11/137.20 c 65 1400 109501 386134 3 220955 37459 122 16 4.05 137.11/137.20 c 165 1400 109694 650223 5 223547 41205 315 36 4.49 137.11/137.20 c 415 1400 110185 1321939 11 231299 45326 806 69 5.96 137.11/137.20 c 891 1400 111130 2612807 23 243628 49859 1751 81 10.93 137.11/137.20 c 1704 1400 112727 4798187 42 265475 54845 3348 67 25.24 137.11/137.20 c 3025 1400 115360 8397885 72 298901 60330 5981 48 61.97 137.11/137.20 c 5108 1400 119481 14035841 117 347343 66364 10102 37 135.44 137.11/137.20 o -42 1407.92/1408.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1407.92/1408.65 c 5119 1400 119502 14064660 117 316453 37459 10123 37 137.13 1407.92/1408.65 c 5220 1400 119693 14325787 119 318325 41205 10314 36 142.51 1407.92/1408.65 c 5470 1400 120189 15005184 124 325736 45326 10810 34 157.54 1407.92/1408.65 c 5945 1400 121133 16295706 134 339690 49859 11754 32 182.18 1407.92/1408.65 c 6758 1400 122751 18506871 150 358733 54845 13372 31 217.55 1407.92/1408.65 c 8079 1400 125382 22102715 176 391416 60330 16003 27 288.60 1407.92/1408.65 c 10160 1400 129541 27784064 214 437080 66364 20162 21 475.68 1407.92/1408.65 c 13384 1400 135958 36550387 268 507772 73001 26579 18 722.34 1407.92/1408.65 c 18320 1400 145823 50033025 343 623718 80302 36444 13 1327.87 1407.92/1408.65 o -43 1798.05/1798.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.05/1798.93 c 18994 1400 147171 51870379 352 570484 37459 37792 13 1407.99 1798.05/1798.93 c 19094 1400 128305 26070532 203 390945 41205 18926 12 1472.01 1798.05/1798.93 c 19344 1400 128802 26748152 207 398008 45326 19423 12 1491.98 1798.05/1798.93 c 19819 1400 129750 28043066 216 411339 49859 20371 13 1523.91 1798.05/1798.93 c 20633 1400 131377 30267493 230 433797 54845 21998 13 1584.80 1798.05/1798.93 c 21955 1400 133929 33750559 252 460729 60330 24550 12 1713.49 1798.05/1798.93 c Resources Exceeded 1798.05/1798.93 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 1798.05/1798.93 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.05/1798.93 c 23 22895 1667 25547 135794 36299737 26415 12 1798.09 1798.05/1798.93 c Objective: -43 1798.05/1798.93 s SATISFIABLE 1798.05/1798.93 c Total time: 1798.09 s
OK -43
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879936-1245236325/watcher-1879936-1245236325 -o /tmp/evaluation-result-1879936-1245236325/solver-1879936-1245236325 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879936-1245236325.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 12011 /proc/meminfo: memFree=1841528/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=13352 CPUtime=0 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 191229251 13672448 253 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 3338 254 176 640 0 2038 0 [startup+0.028657 s] /proc/loadavg: 0.00 0.00 0.00 3/64 12011 /proc/meminfo: memFree=1841528/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=14176 CPUtime=0.02 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 514 0 0 0 2 0 0 0 18 0 1 0 191229251 14516224 498 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 3544 498 221 640 0 2244 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14176 [startup+0.10167 s] /proc/loadavg: 0.00 0.00 0.00 3/64 12011 /proc/meminfo: memFree=1841528/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=16648 CPUtime=0.09 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 1263 0 0 0 9 0 0 0 18 0 1 0 191229251 17047552 1247 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 4162 1247 367 640 0 2862 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16648 [startup+0.301706 s] /proc/loadavg: 0.00 0.00 0.00 3/64 12011 /proc/meminfo: memFree=1841528/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=23116 CPUtime=0.3 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 3295 0 0 0 29 1 0 0 19 0 1 0 191229251 23670784 3279 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 5779 3280 768 640 0 4479 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 23116 [startup+0.701778 s] /proc/loadavg: 0.00 0.00 0.00 3/64 12011 /proc/meminfo: memFree=1841528/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=30220 CPUtime=0.7 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 5787 0 0 0 67 3 0 0 23 0 1 0 191229251 30945280 5115 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 7555 5115 190 640 0 6911 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 30220 [startup+1.50193 s] /proc/loadavg: 0.00 0.00 0.00 2/65 12012 /proc/meminfo: memFree=1821744/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=30220 CPUtime=1.49 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 5787 0 0 0 144 5 0 0 25 0 1 0 191229251 30945280 5115 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 7555 5115 190 640 0 6911 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30220 [startup+3.10122 s] /proc/loadavg: 0.00 0.00 0.00 2/65 12012 /proc/meminfo: memFree=1821616/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=30220 CPUtime=3.09 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 5787 0 0 0 301 8 0 0 25 0 1 0 191229251 30945280 5115 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 7555 5115 190 640 0 6911 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30220 [startup+6.3018 s] /proc/loadavg: 0.08 0.02 0.01 2/65 12012 /proc/meminfo: memFree=1813360/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=42444 CPUtime=6.29 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 10539 0 0 0 616 13 0 0 25 0 1 0 191229251 43462656 8191 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 10611 8193 197 640 0 9967 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42444 [startup+12.702 s] /proc/loadavg: 0.15 0.03 0.01 2/65 12012 /proc/meminfo: memFree=1791920/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=61312 CPUtime=12.69 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 15261 0 0 0 1254 15 0 0 25 0 1 0 191229251 62783488 12913 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 15328 12913 197 640 0 14684 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61312 [startup+25.5013 s] /proc/loadavg: 0.34 0.08 0.02 2/65 12012 /proc/meminfo: memFree=1765488/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=86240 CPUtime=25.49 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 21478 0 0 0 2531 18 0 0 25 0 1 0 191229251 88309760 19130 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 21560 19130 197 640 0 20916 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 86240 [startup+51.102 s] /proc/loadavg: 0.56 0.15 0.05 2/65 12012 /proc/meminfo: memFree=1729776/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=122468 CPUtime=51.07 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 30553 0 0 0 5084 23 0 0 25 0 1 0 191229251 125407232 28205 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 30617 28205 197 640 0 29973 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 122468 [startup+102.306 s] /proc/loadavg: 0.81 0.28 0.10 2/65 12012 /proc/meminfo: memFree=1673968/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=177432 CPUtime=102.25 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 44289 0 0 0 10194 31 0 0 25 0 1 0 191229251 181690368 41941 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 44358 41941 197 640 0 43714 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 177432 [startup+162.301 s] /proc/loadavg: 0.93 0.41 0.15 2/65 12018 /proc/meminfo: memFree=1631024/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=220840 CPUtime=162.21 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 55127 0 0 0 16185 36 0 0 25 0 1 0 191229251 226140160 52779 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 55210 52779 197 640 0 54566 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 220840 [startup+222.301 s] /proc/loadavg: 0.97 0.51 0.20 2/65 12018 /proc/meminfo: memFree=1586416/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=264928 CPUtime=222.18 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 66171 0 0 0 22176 42 0 0 25 0 1 0 191229251 271286272 63823 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 66232 63823 197 640 0 65588 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 264928 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/65 12018 /proc/meminfo: memFree=1545776/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=305872 CPUtime=282.15 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 76389 0 0 0 28168 47 0 0 25 0 1 0 191229251 313212928 74041 1992294400 134512640 137136520 4294956256 18446744073709551615 134543875 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 76468 74041 197 640 0 75824 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 305872 [startup+342.302 s] /proc/loadavg: 0.99 0.67 0.29 2/65 12018 /proc/meminfo: memFree=1521712/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=329328 CPUtime=342.13 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 82274 0 0 0 34162 51 0 0 25 0 1 0 191229251 337231872 79926 1992294400 134512640 137136520 4294956256 18446744073709551615 134544135 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 82332 79926 197 640 0 81688 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 329328 [startup+402.303 s] /proc/loadavg: 0.99 0.73 0.33 2/65 12018 /proc/meminfo: memFree=1496752/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=354540 CPUtime=402.1 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 88562 0 0 0 40156 54 0 0 25 0 1 0 191229251 363048960 86214 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12011/statm: 88635 86214 197 640 0 87991 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 354540 [startup+462.302 s] /proc/loadavg: 0.99 0.77 0.37 2/65 12018 /proc/meminfo: memFree=1472240/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=378684 CPUtime=462.05 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 94599 0 0 0 46148 57 0 0 25 0 1 0 191229251 387772416 92251 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 94671 92251 197 640 0 94027 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 378684 [startup+522.302 s] /proc/loadavg: 0.99 0.81 0.41 2/65 12018 /proc/meminfo: memFree=1447024/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=404128 CPUtime=522.03 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 100961 0 0 0 52143 60 0 0 25 0 1 0 191229251 413827072 98613 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 101032 98613 197 640 0 100388 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 404128 [startup+582.302 s] /proc/loadavg: 0.99 0.84 0.44 2/65 12018 /proc/meminfo: memFree=1420528/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=430340 CPUtime=582 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 107528 0 0 0 58137 63 0 0 25 0 1 0 191229251 440668160 105180 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12011/statm: 107585 105180 197 640 0 106941 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 430340 [startup+642.302 s] /proc/loadavg: 0.99 0.87 0.47 2/65 12018 /proc/meminfo: memFree=1389872/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=460728 CPUtime=641.98 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 115126 0 0 0 64130 68 0 0 25 0 1 0 191229251 471785472 112778 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 115182 112778 197 640 0 114538 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 460728 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1234416/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=615648 CPUtime=1121.75 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 153837 0 0 0 112087 88 0 0 25 0 1 0 191229251 630423552 151489 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 153912 151489 197 640 0 153268 0 Current children cumulated CPU time (s) 1121.75 Current children cumulated vsize (KiB) 615648 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.68 2/65 12018 /proc/meminfo: memFree=1217456/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=632716 CPUtime=1181.73 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 158120 0 0 0 118082 91 0 0 25 0 1 0 191229251 647901184 155772 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 158179 155772 197 640 0 157535 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 632716 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.70 2/65 12018 /proc/meminfo: memFree=1201520/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=648596 CPUtime=1241.69 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 162073 0 0 0 124077 92 0 0 25 0 1 0 191229251 664162304 159725 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 162149 159725 197 640 0 161505 0 Current children cumulated CPU time (s) 1241.69 Current children cumulated vsize (KiB) 648596 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/65 12018 /proc/meminfo: memFree=1185456/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=664428 CPUtime=1301.67 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 166039 0 0 0 130073 94 0 0 25 0 1 0 191229251 680374272 163691 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 166107 163691 197 640 0 165463 0 Current children cumulated CPU time (s) 1301.67 Current children cumulated vsize (KiB) 664428 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.73 2/65 12018 /proc/meminfo: memFree=1169456/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=680568 CPUtime=1361.64 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 170082 0 0 0 136069 95 0 0 25 0 1 0 191229251 696901632 167734 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 170142 167734 197 640 0 169498 0 Current children cumulated CPU time (s) 1361.64 Current children cumulated vsize (KiB) 680568 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.75 2/65 12018 /proc/meminfo: memFree=1154992/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=694688 CPUtime=1421.62 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 142065 97 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 173672 171248 197 640 0 173028 0 Current children cumulated CPU time (s) 1421.62 Current children cumulated vsize (KiB) 694688 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.76 2/65 12018 /proc/meminfo: memFree=1154928/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=694688 CPUtime=1481.58 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 148061 97 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 173672 171248 197 640 0 173028 0 Current children cumulated CPU time (s) 1481.58 Current children cumulated vsize (KiB) 694688 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.77 2/65 12018 /proc/meminfo: memFree=1154928/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=694688 CPUtime=1541.56 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 154058 98 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 173672 171248 197 640 0 173028 0 Current children cumulated CPU time (s) 1541.56 Current children cumulated vsize (KiB) 694688 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.78 2/65 12018 /proc/meminfo: memFree=1154864/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=694688 CPUtime=1601.54 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 160056 98 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 173672 171248 197 640 0 173028 0 Current children cumulated CPU time (s) 1601.54 Current children cumulated vsize (KiB) 694688 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.79 2/65 12018 /proc/meminfo: memFree=1154864/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=694688 CPUtime=1661.51 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 166053 98 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 173672 171248 197 640 0 173028 0 Current children cumulated CPU time (s) 1661.51 Current children cumulated vsize (KiB) 694688 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.80 2/65 12018 /proc/meminfo: memFree=1154864/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=694688 CPUtime=1721.49 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 172050 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 173672 171248 197 640 0 173028 0 Current children cumulated CPU time (s) 1721.49 Current children cumulated vsize (KiB) 694688 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/65 12018 /proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=694688 CPUtime=1781.46 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 178047 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 173672 171248 197 640 0 173028 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (KiB) 694688 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.82 2/65 12018 /proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=694688 CPUtime=1791.06 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 179007 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 173672 171248 197 640 0 173028 0 Current children cumulated CPU time (s) 1791.06 Current children cumulated vsize (KiB) 694688 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.82 2/65 12018 /proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=694688 CPUtime=1794.26 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 179327 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 173672 171248 197 640 0 173028 0 Current children cumulated CPU time (s) 1794.26 Current children cumulated vsize (KiB) 694688 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.82 2/65 12018 /proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=694688 CPUtime=1795.85 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 179486 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134605495 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 173672 171248 197 640 0 173028 0 Current children cumulated CPU time (s) 1795.85 Current children cumulated vsize (KiB) 694688 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.82 2/65 12018 /proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=694688 CPUtime=1797.45 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 179646 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 173672 171248 197 640 0 173028 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (KiB) 694688 [startup+1798.7 s] /proc/loadavg: 0.99 0.97 0.82 2/65 12018 /proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=694688 CPUtime=1797.85 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 179686 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 173672 171248 197 640 0 173028 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 694688 [startup+1798.9 s] /proc/loadavg: 0.99 0.97 0.82 2/65 12018 /proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=694688 CPUtime=1798.05 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 179706 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 173672 171248 197 640 0 173028 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 694688 [startup+1799 s] /proc/loadavg: 0.99 0.97 0.82 2/65 12018 /proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956 [pid=12011] ppid=12009 vsize=0 CPUtime=1798.15 /proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194308 173635 0 0 0 179709 106 0 0 25 0 1 0 191229251 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12011/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.15 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1799.04 CPU time (s): 1798.2 CPU user time (s): 1797.1 CPU system time (s): 1.10083 CPU usage (%): 99.9532 Max. virtual memory (cumulated for all children) (KiB): 694836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.1 system time used= 1.10083 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 173635 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= 7036 runsolver used 1.9557 second user time and 4.5933 second system time The end
Begin job on node44 at 2009-06-17 12:58:45 IDJOB=1879936 IDBENCH=2245 IDSOLVER=701 FILE ID=node44/1879936-1245236325 PBS_JOBID= 9372295 Free space on /tmp= 65920 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879936-1245236325/watcher-1879936-1245236325 -o /tmp/evaluation-result-1879936-1245236325/solver-1879936-1245236325 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879936-1245236325.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4c9dc9cf5c24873d3237c90ee1682632 RANDOM SEED=500213177 node44.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.263 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.263 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: 1842008 kB Buffers: 19780 kB Cached: 109008 kB SwapCached: 5172 kB Active: 21924 kB Inactive: 114924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1842008 kB SwapTotal: 4192956 kB SwapFree: 4181856 kB Dirty: 6788 kB Writeback: 0 kB Mapped: 13868 kB Slab: 63088 kB Committed_AS: 200784 kB PageTables: 1384 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-1879936-1245236325.opb Free space on /tmp at the end= 65916 MiB End job on node44 at 2009-06-17 13:28:45