Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 20 | 1800.02 | 1800.56 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb |
MD5SUM | 1a5dd226c84aa8cc751cd6025cf57c5b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 8.91564 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | YES |
Number of variables | 3100 |
Total number of constraints | 120 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3100 |
Biggest coefficient in the objective function | 4599 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 526310 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 526310 |
Number of bits of the biggest sum of numbers | 20 |
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 c Time Limit set via PBTIMEOUT to 1800 0.05 c INFO: OSL Context initialized. 0.12 c Initial problem consists of 3100 variables and 140 constraints. 0.13 c Switching on LPR. 0.13 c No problem reductions applied in OPT. instance. 0.13 c preprocess terminated. Elapsed time: 0.077 0.13 c After prepocess the problem consists of 1454 variables and 140 constraints. 0.23 c Initial Lower Bound: 14 0.47 o 20 0.47 c NEW SOLUTION FOUND: 20 @ 0.405 5.72 c Restart #1 #Var: 1454 LB: 14 @ 5.65 19.53 c Restart #2 #Var: 1454 LB: 14 @ 19.452 35.41 c Restart #3 #Var: 1454 LB: 14 @ 35.326 61.29 c Restart #4 #Var: 1454 LB: 14 @ 61.201 83.53 c Restart #5 #Var: 1454 LB: 14 @ 83.442 114.06 c Restart #6 #Var: 1454 LB: 14 @ 113.96 164.51 c Restart #7 #Var: 1454 LB: 14 @ 164.4 204.76 c Restart #8 #Var: 1454 LB: 14 @ 204.64 290.97 c Restart #9 #Var: 1454 LB: 14 @ 290.82 374.34 c Restart #10 #Var: 1454 LB: 14 @ 374.18 443.99 c Restart #11 #Var: 1454 LB: 14 @ 443.8 526.13 c Restart #12 #Var: 1454 LB: 14 @ 525.93 616.48 c Restart #13 #Var: 1454 LB: 14 @ 616.26 728.46 c Restart #14 #Var: 1454 LB: 14 @ 728.2 853.85 c Restart #15 #Var: 1454 LB: 14 @ 853.56 948.75 c Restart #16 #Var: 1454 LB: 14 @ 948.44 1061.25 c Restart #17 #Var: 1454 LB: 14 @ 1060.9 1212.19 c Restart #18 #Var: 1454 LB: 14 @ 1211.8 1318.23 c Restart #19 #Var: 1454 LB: 14 @ 1317.8 1426.18 c Restart #20 #Var: 1454 LB: 14 @ 1425.7 1554.51 c Restart #21 #Var: 1454 LB: 14 @ 1554 1716.71 c Restart #22 #Var: 1454 LB: 14 @ 1716.2 1800.54 s SATISFIABLE 1800.54 c Cost: 20 1800.54 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.54 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.54 v -x55 -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1800.54 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1800.54 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1800.54 v -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 1800.54 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353 1800.54 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1800.54 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.54 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.54 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1800.54 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1800.54 v -x2039 -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.54 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 1800.54 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1800.54 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 1800.54 v -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 1800.54 v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 1800.54 v -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 1800.54 v -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 1800.54 v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 1800.54 v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1800.54 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 1800.54 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 1800.54 v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 1800.54 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 1800.54 v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 1800.54 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 1800.54 v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 1800.54 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.54 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.54 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.54 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.54 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.54 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.54 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.54 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.54 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.54 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.54 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 1800.54 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.54 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.54 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.54 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 1800.54 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1800.54 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1800.54 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1800.54 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1800.54 v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1800.54 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1800.54 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 1800.54 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1800.54 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1800.54 v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1800.54 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 1800.54 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 1800.54 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 1800.54 v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 1800.54 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1800.54 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1800.54 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1800.54 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1800.54 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1800.54 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1800.54 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1800.54 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1800.54 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1800.54 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1800.54 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1800.54 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1800.54 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 1800.54 v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 1800.54 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 1800.54 v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1800.54 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 1800.54 v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 1800.54 v -x1350 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.54 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1800.54 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.54 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.54 v x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1800.54 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1800.54 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1800.54 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1800.54 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.54 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.54 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.54 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1800.54 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1800.54 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.54 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1800.54 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1800.54 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1800.54 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 1800.54 v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 1800.54 v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 1800.54 v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 1800.54 v -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 1800.54 v -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 1800.54 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 1800.54 v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 1800.54 v x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 1800.54 v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 1800.54 v -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 1800.54 v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 1800.54 v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 1800.54 v -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1800.54 v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 1800.54 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 1800.54 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1800.54 v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 1800.54 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1800.54 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 1800.54 v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 1800.54 v -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 1800.54 v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 1800.54 v -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 1800.54 v -x2137 -x2138 -x2139 -x2140 -x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 1800.54 v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 1800.54 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 1800.54 v -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 1800.54 v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 1800.54 v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 1800.54 v -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 1800.54 v -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 1800.54 v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 1800.54 v -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 1800.54 v -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 1800.54 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 1800.54 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1800.54 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 1800.54 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 1800.54 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1800.54 v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 1800.54 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1800.54 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1800.54 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1800.54 v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 1800.54 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1800.54 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 1800.54 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1800.54 v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 1800.54 v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1800.54 v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 1800.54 v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 1800.54 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 1800.54 v -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 1800.54 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 1800.54 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 1800.54 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 1800.54 v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 1800.54 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 1800.54 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 1800.54 v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1800.54 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1800.54 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 1800.54 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 1800.54 v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 1800.54 v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 1800.54 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 1800.54 v -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 1800.54 v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 1800.54 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 x2975 -x2976 -x2977 -x2978 1800.54 v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 1800.54 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 x3002 -x3013 -x3024 -x3035 -x3046 -x3057 -x3068 -x3079 -x3090 x3003 -x3004 -x3005 1800.54 v -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 1800.54 v -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 1800.54 v -x3043 x3044 -x3045 -x3047 -x3048 x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3058 -x3059 -x3060 -x3061 x3062 1800.54 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3080 -x3081 1800.54 v -x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.54 v x3100 1800.55 c Exit Code: 10 1800.55 c Total time: 1800 s
OK 20
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-39801-1149249695 -o ROOT/results/node46/solver-39801-1149249695 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node46/39801-1149249695/instance-39801-1149249695.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.09 1.02 0.93 2/64 28980 /proc/meminfo: memFree=1594304/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=4616 CPUtime=0 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 199 0 0 0 0 0 0 0 18 0 1 0 105126308 4726784 169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 1154 176 134 55 0 46 0 [startup+10.0027 s] /proc/loadavg: 1.08 1.02 0.93 2/64 28980 /proc/meminfo: memFree=1583048/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=13676 CPUtime=9.92 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 14454 0 8 0 986 6 0 0 25 0 1 0 105126308 14004224 2723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159221225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 3419 2723 429 55 0 2311 0 Current children cumulated CPU time (s) 9.92 Current children cumulated vsize (Kb) 13676 [startup+20.0097 s] /proc/loadavg: 1.07 1.01 0.93 2/64 28980 /proc/meminfo: memFree=1582984/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=13676 CPUtime=19.93 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 15462 0 8 0 1986 7 0 0 25 0 1 0 105126308 14004224 2723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159299229 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 3419 2723 429 55 0 2311 0 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 13676 [startup+30.0158 s] /proc/loadavg: 1.06 1.01 0.93 2/64 28980 /proc/meminfo: memFree=1583048/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=13676 CPUtime=29.93 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 15493 0 8 0 2985 8 0 0 25 0 1 0 105126308 14004224 2723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 3419 2723 429 55 0 2311 0 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 13676 [startup+40.0218 s] /proc/loadavg: 1.05 1.01 0.93 2/64 28980 /proc/meminfo: memFree=1583048/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=13676 CPUtime=39.94 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 25928 0 8 0 3982 12 0 0 25 0 1 0 105126308 14004224 2725 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160022650 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 3419 2725 431 55 0 2311 0 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 13676 [startup+50.0279 s] /proc/loadavg: 1.04 1.01 0.93 2/64 28980 /proc/meminfo: memFree=1582664/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=14116 CPUtime=49.94 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 67885 0 8 0 4965 29 0 0 25 0 1 0 105126308 14454784 2835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684546 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 3529 2835 431 55 0 2421 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 14116 [startup+60.034 s] /proc/loadavg: 1.03 1.01 0.93 2/64 28980 /proc/meminfo: memFree=1582152/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=14616 CPUtime=59.94 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 78558 0 8 0 5960 34 0 0 25 0 1 0 105126308 14966784 2960 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 3654 2960 431 55 0 2546 0 Current children cumulated CPU time (s) 59.94 Current children cumulated vsize (Kb) 14616 [startup+70.04 s] /proc/loadavg: 1.03 1.01 0.93 2/64 28980 /proc/meminfo: memFree=1581384/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=15860 CPUtime=69.95 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 99412 0 8 0 6951 44 0 0 25 0 1 0 105126308 16240640 3203 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 3965 3203 431 55 0 2857 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 15860 [startup+80.0461 s] /proc/loadavg: 1.02 1.01 0.93 2/64 28980 /proc/meminfo: memFree=1579784/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=16988 CPUtime=79.95 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 113099 0 8 0 7945 50 0 0 25 0 1 0 105126308 17395712 3553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 4247 3553 431 55 0 3139 0 Current children cumulated CPU time (s) 79.95 Current children cumulated vsize (Kb) 16988 [startup+90.0522 s] /proc/loadavg: 1.02 1.01 0.93 2/64 28980 /proc/meminfo: memFree=1579784/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=16988 CPUtime=89.95 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 113099 0 8 0 8944 51 0 0 25 0 1 0 105126308 17395712 3553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 4247 3553 431 55 0 3139 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 16988 [startup+100.058 s] /proc/loadavg: 1.02 1.01 0.93 2/64 28980 /proc/meminfo: memFree=1579784/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=16988 CPUtime=99.96 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 113099 0 8 0 9945 51 0 0 25 0 1 0 105126308 17395712 3553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 4247 3553 431 55 0 3139 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 16988 [startup+110.064 s] /proc/loadavg: 1.01 1.01 0.93 2/64 28980 /proc/meminfo: memFree=1579848/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=16988 CPUtime=109.96 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 113099 0 8 0 10944 52 0 0 25 0 1 0 105126308 17395712 3553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 4247 3553 431 55 0 3139 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 16988 [startup+120.07 s] /proc/loadavg: 1.01 1.00 0.93 2/64 28980 /proc/meminfo: memFree=1579848/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=16988 CPUtime=119.96 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 114035 0 8 0 11944 52 0 0 25 0 1 0 105126308 17395712 3553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160277905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 4247 3553 431 55 0 3139 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 16988 [startup+130.076 s] /proc/loadavg: 1.01 1.00 0.93 2/64 28980 /proc/meminfo: memFree=1579848/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=16988 CPUtime=129.97 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 114036 0 8 0 12944 53 0 0 25 0 1 0 105126308 17395712 3554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 4247 3554 432 55 0 3139 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 16988 [startup+140.082 s] /proc/loadavg: 1.01 1.00 0.93 2/64 28980 /proc/meminfo: memFree=1579272/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=17656 CPUtime=139.96 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 120029 0 8 0 13941 55 0 0 25 0 1 0 105126308 18079744 3708 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 4414 3708 434 55 0 3306 0 Current children cumulated CPU time (s) 139.96 Current children cumulated vsize (Kb) 17656 [startup+150.089 s] /proc/loadavg: 1.00 1.00 0.93 2/64 28982 /proc/meminfo: memFree=1579784/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=16988 CPUtime=149.97 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 124542 0 8 0 14940 57 0 0 25 0 1 0 105126308 17395712 3556 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 4247 3556 434 55 0 3139 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 16988 [startup+160.096 s] /proc/loadavg: 1.00 1.00 0.93 2/64 28982 /proc/meminfo: memFree=1579784/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=16988 CPUtime=159.98 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 127625 0 8 0 15939 59 0 0 25 0 1 0 105126308 17395712 3556 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 4247 3556 434 55 0 3139 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 16988 [startup+170.102 s] /proc/loadavg: 1.00 1.00 0.93 2/64 28982 /proc/meminfo: memFree=1579592/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=17156 CPUtime=169.98 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 133659 0 8 0 16936 62 0 0 25 0 1 0 105126308 17567744 3598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 4289 3598 434 55 0 3181 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 17156 [startup+180.108 s] /proc/loadavg: 1.00 1.00 0.93 2/64 28982 /proc/meminfo: memFree=1579592/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=17156 CPUtime=179.98 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 133876 0 8 0 17936 62 0 0 25 0 1 0 105126308 17567744 3598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536031 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 4289 3598 434 55 0 3181 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 17156 [startup+190.114 s] /proc/loadavg: 1.00 1.00 0.93 2/64 28982 /proc/meminfo: memFree=1579592/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=17156 CPUtime=189.99 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 133876 0 8 0 18936 63 0 0 25 0 1 0 105126308 17567744 3598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 4289 3598 434 55 0 3181 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 17156 [startup+200.12 s] /proc/loadavg: 1.00 1.00 0.93 2/64 28982 /proc/meminfo: memFree=1579592/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=17156 CPUtime=199.99 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 133876 0 8 0 19935 64 0 0 25 0 1 0 105126308 17567744 3598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 4289 3598 434 55 0 3181 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 17156 [startup+210.126 s] /proc/loadavg: 1.00 1.00 0.93 2/64 28982 /proc/meminfo: memFree=1579464/2055920 swapFree=4183160/4192956 ################ # More data... # ################ /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 25184 [startup+1771.06 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1770.53 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 176811 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1770.53 Current children cumulated vsize (Kb) 25184 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1780.53 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 177811 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158433092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 25184 [startup+1782.07 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1781.53 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 177911 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159842337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 25184 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1782.54 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 178012 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 25184 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1783.54 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 178112 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 25184 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1784.55 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 178213 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 25184 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1785.55 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 178313 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 25184 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1786.55 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 178413 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 25184 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1787.56 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 178514 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159301948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1787.56 Current children cumulated vsize (Kb) 25184 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1788.56 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 178614 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 25184 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1789.57 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 178715 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 25184 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1790.57 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 178815 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160181746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 25184 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1791.58 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 178916 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 25184 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1792.58 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 179016 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 25184 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1793.59 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 179117 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12141904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 25184 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1794.59 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 179217 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 25184 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1795.59 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 179317 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 25184 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1796.6 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 179418 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 25184 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1797.6 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 179518 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 25184 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1798.61 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 179619 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548246 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 25184 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 0.94 2/64 28982 /proc/meminfo: memFree=1571528/2055920 swapFree=4183160/4192956 [pid=28980] ppid=28978 vsize=25184 CPUtime=1799.61 /proc/28980/stat : 28980 (bsolo) R 28978 28980 28934 0 -1 0 447080 0 8 0 179719 242 0 0 25 0 1 0 105126308 25788416 5614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28980/statm: 6296 5614 443 55 0 5188 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 25184 Child status: 10 Real time (s): 1800.56 CPU time (s): 1800.02 CPU user time (s): 1797.58 CPU system time (s): 2.43363 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (Kb): 25764
Begin job on node46 on Fri Jun 2 12:01:35 UTC 2006 FILE ID= 39801-1149249695 PBS_JOBID= 298018 BENCH NAME= ROOT/tmp/node46/39801-1149249695/instance-39801-1149249695.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node46/39801-1149249695/instance-39801-1149249695.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-39801-1149249695 -o ROOT/results/node46/solver-39801-1149249695 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node46/39801-1149249695/instance-39801-1149249695.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 1a5dd226c84aa8cc751cd6025cf57c5b RANDOM SEED= 808000698 /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.223 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.223 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: 1594704 kB Buffers: 19820 kB Cached: 371808 kB SwapCached: 4064 kB Active: 31468 kB Inactive: 369112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1594704 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 168 kB Writeback: 0 kB Mapped: 15064 kB Slab: 46660 kB Committed_AS: 216176 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node46 on Fri Jun 2 12:31:35 UTC 2006