Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -6 | 1798.03 | 1806.3 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_1.opb |
MD5SUM | e0d3a2bf2cd2b7e4b27d7033a7686e76 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -6 |
Best CPU time to get the best result obtained on this benchmark | 247.945 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -6 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2996 |
Sum of products size (including duplicates) | 5992 |
Number of different products | 1498 |
Sum of products size | 2996 |
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: Clause 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-1878270-1245208545.opb 0.00/0.00 c File size is 120403 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.016 s 0.00/0.02 c Var: 1598 Constr: 3148 1548/102/1498 Lit: 12284 Watch. Lit: 10688 0.00/0.02 c Obj. Vars: 50 (3.12891 % of total variables) 1.39/1.48 c Pre-processing Time: 1.484 s 1.39/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.48 c 0 1598 3148 12284 3 10688 40731 0 0 1.48 1.39/1.48 c Switching off lower bounding mode. 1.39/1.48 o -1 1.39/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.48 c 0 1598 3149 12334 3 10691 40765 1 0 1.49 1.39/1.48 o -2 1.39/1.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.50 c 2 1598 3152 12517 3 10699 40781 4 1 1.49 1.39/1.50 o -3 1.49/1.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.57 c 72 1598 3223 17193 5 10844 40798 75 48 1.50 1.49/1.57 c 172 1598 3323 24718 7 11044 44878 175 113 1.52 1.49/1.57 c 422 1598 3573 42696 11 11544 49366 425 271 1.56 1.49/1.57 o -4 1.59/1.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.60 c 512 1598 3664 47086 12 11730 40815 516 324 1.58 1.59/1.60 c 612 1598 3764 53927 14 11930 44897 616 384 1.59 1.59/1.60 o -5 374.19/375.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 374.19/375.30 c 697 1598 3850 59168 15 12107 40831 702 435 1.60 374.19/375.30 c 797 1598 3950 66280 16 12307 44915 802 491 1.62 374.19/375.30 c 1047 1598 4200 82219 19 12807 49407 1052 624 1.68 374.19/375.30 c 1522 1598 4675 116706 24 13757 54348 1527 869 1.75 374.19/375.30 c 2335 1598 5488 171330 31 15383 59783 2340 1255 1.86 374.19/375.30 c 3655 1598 6808 263307 38 18023 65762 3660 1707 2.14 374.19/375.30 c 5736 1598 8889 398445 44 22185 72339 5741 2178 2.63 374.19/375.30 c 8959 1598 12112 649896 53 28631 79573 8964 2500 3.58 374.19/375.30 c 13895 1598 17048 1010122 59 38503 87531 13900 2524 5.50 374.19/375.30 c 21402 1598 24555 1533766 62 53517 96285 21407 2271 9.42 374.19/375.30 c 32763 1598 35916 2424329 67 76239 105914 32768 1654 19.80 374.19/375.30 c 49907 1598 53060 3660936 68 110527 116506 49912 1148 43.44 374.19/375.30 c 75726 1598 78879 5695074 72 162165 128157 75731 886 85.47 374.19/375.30 c 114558 1598 117711 8161331 69 239829 140973 114563 513 222.88 374.19/375.30 o -6 1797.93/1806.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1806.27 c 137620 1598 140774 9775849 69 285961 40848 137626 367 374.20 1797.93/1806.27 c 137720 1598 15927 873371 54 36252 44933 12779 325 423.61 1797.93/1806.27 c 137970 1598 16177 886584 54 36752 49427 13029 325 423.75 1797.93/1806.27 c 138446 1598 16653 914406 54 37704 54370 13505 326 424.09 1797.93/1806.27 c 139259 1598 17466 960774 55 39330 59808 14318 328 424.51 1797.93/1806.27 c 140579 1598 18786 1054822 56 41970 65789 15638 330 425.64 1797.93/1806.27 c 142661 1598 20868 1208050 57 46134 72368 17720 333 427.27 1797.93/1806.27 c 145884 1598 24091 1457515 60 52580 79605 20943 339 430.25 1797.93/1806.27 c 150820 1598 29027 1816080 62 62452 87566 25879 346 435.88 1797.93/1806.27 c 158326 1598 36533 2224336 60 77464 96323 33385 355 445.54 1797.93/1806.27 c 169687 1598 47894 2980726 62 100186 105956 44746 365 464.68 1797.93/1806.27 c 186831 1598 65038 3984334 61 134474 116552 61890 376 495.64 1797.93/1806.27 c 212650 1598 90857 5737022 63 186112 128208 87709 372 570.65 1797.93/1806.27 c 251482 1598 129689 8211282 63 263776 141029 126541 342 735.21 1797.93/1806.27 c 309835 1598 58271 3548425 60 120940 155132 55123 326 950.29 1797.93/1806.27 c 397467 1598 145903 9117823 62 296204 170646 142755 298 1329.82 1797.93/1806.27 c Resources Exceeded 1797.93/1806.27 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 x29 -x30 -x31 -x32 -x33 x34 -x35 x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -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 -x96 -x97 -x98 -x99 -x100 1797.93/1806.27 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1806.27 c 37 503025 7063 526576 92304 5718767 89156 279 1798.00 1797.93/1806.27 c Objective: -6 1797.93/1806.27 s SATISFIABLE 1797.93/1806.27 c Total time: 1798 s
OK -6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878270-1245208545/watcher-1878270-1245208545 -o /tmp/evaluation-result-1878270-1245208545/solver-1878270-1245208545 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878270-1245208545.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.90 1.81 1.74 3/72 8601 /proc/meminfo: memFree=1645944/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=18644 CPUtime=0 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 188448558 19091456 243 1992294400 134512640 137136520 4294956256 18446744073709551615 134531343 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 4661 243 175 640 0 3987 0 [startup+0.096751 s] /proc/loadavg: 1.90 1.81 1.74 3/72 8601 /proc/meminfo: memFree=1645944/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=11532 CPUtime=0.09 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 506 0 0 0 9 0 0 0 18 0 1 0 188448558 11808768 460 1992294400 134512640 137136520 4294956256 18446744073709551615 134543570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 2883 460 189 640 0 2239 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11532 [startup+0.101747 s] /proc/loadavg: 1.90 1.81 1.74 3/72 8601 /proc/meminfo: memFree=1645944/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=11532 CPUtime=0.09 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 506 0 0 0 9 0 0 0 18 0 1 0 188448558 11808768 460 1992294400 134512640 137136520 4294956256 18446744073709551615 134545045 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 2883 460 189 640 0 2239 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11532 [startup+0.313786 s] /proc/loadavg: 1.90 1.81 1.74 3/72 8601 /proc/meminfo: memFree=1645944/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=11532 CPUtime=0.31 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 506 0 0 0 31 0 0 0 19 0 1 0 188448558 11808768 460 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 2883 460 189 640 0 2239 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 11532 [startup+0.706399 s] /proc/loadavg: 1.90 1.81 1.74 3/72 8601 /proc/meminfo: memFree=1645944/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=11532 CPUtime=0.7 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 506 0 0 0 70 0 0 0 23 0 1 0 188448558 11808768 460 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 2883 460 189 640 0 2239 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 11532 [startup+1.50197 s] /proc/loadavg: 1.90 1.81 1.74 3/73 8602 /proc/meminfo: memFree=1644976/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=11664 CPUtime=1.49 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 553 0 0 0 149 0 0 0 25 0 1 0 188448558 11943936 507 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 2916 507 197 640 0 2272 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11664 [startup+3.10623 s] /proc/loadavg: 1.83 1.79 1.73 2/73 8602 /proc/meminfo: memFree=1641328/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=18832 CPUtime=3.09 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 2346 0 0 0 307 2 0 0 25 0 1 0 188448558 19283968 2300 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 4708 2300 197 640 0 4064 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18832 [startup+6.30208 s] /proc/loadavg: 1.83 1.79 1.73 3/73 8602 /proc/meminfo: memFree=1630576/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=27392 CPUtime=6.29 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 4462 0 0 0 625 4 0 0 25 0 1 0 188448558 28049408 4416 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 6848 4416 197 640 0 6204 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27392 [startup+12.7018 s] /proc/loadavg: 1.76 1.78 1.73 2/73 8602 /proc/meminfo: memFree=1619504/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=37664 CPUtime=12.69 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 7037 0 0 0 1261 8 0 0 25 0 1 0 188448558 38567936 6991 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 9416 6991 197 640 0 8772 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37664 [startup+25.5018 s] /proc/loadavg: 1.74 1.77 1.72 2/73 8602 /proc/meminfo: memFree=1605488/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=50764 CPUtime=25.48 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 10322 0 0 0 2536 12 0 0 25 0 1 0 188448558 51982336 10276 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 12691 10276 197 640 0 12047 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50764 [startup+51.1019 s] /proc/loadavg: 1.98 1.82 1.74 4/73 8602 /proc/meminfo: memFree=1586480/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=70088 CPUtime=51.07 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 15138 0 0 0 5086 21 0 0 25 0 1 0 188448558 71770112 15092 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 17522 15092 197 640 0 16878 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 70088 [startup+102.306 s] /proc/loadavg: 2.11 1.87 1.76 4/73 8602 /proc/meminfo: memFree=1556464/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=99372 CPUtime=102.26 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 22481 0 0 0 10192 34 0 0 25 0 1 0 188448558 101756928 22435 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 24843 22435 197 640 0 24199 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 99372 [startup+162.302 s] /proc/loadavg: 1.72 1.80 1.74 3/73 8602 /proc/meminfo: memFree=1541808/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=114304 CPUtime=162.05 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 26207 0 0 0 16160 45 0 0 25 0 1 0 188448558 117047296 26161 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 28576 26161 197 640 0 27932 0 Current children cumulated CPU time (s) 162.05 Current children cumulated vsize (KiB) 114304 [startup+222.301 s] /proc/loadavg: 1.86 1.81 1.74 3/73 8602 /proc/meminfo: memFree=1527728/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=128156 CPUtime=222.02 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 29674 0 0 0 22150 52 0 0 25 0 1 0 188448558 131231744 29628 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 32039 29628 197 640 0 31395 0 Current children cumulated CPU time (s) 222.02 Current children cumulated vsize (KiB) 128156 [startup+282.312 s] /proc/loadavg: 1.57 1.74 1.72 3/73 8602 /proc/meminfo: memFree=1519600/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=136376 CPUtime=281.99 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 31716 0 0 0 28141 58 0 0 25 0 1 0 188448558 139649024 31670 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 34094 31670 197 640 0 33450 0 Current children cumulated CPU time (s) 281.99 Current children cumulated vsize (KiB) 136376 [startup+342.301 s] /proc/loadavg: 1.55 1.70 1.71 3/73 8602 /proc/meminfo: memFree=1510640/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=145328 CPUtime=341.47 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 33961 0 0 0 34078 69 0 0 25 0 1 0 188448558 148815872 33915 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 36332 33915 197 640 0 35688 0 Current children cumulated CPU time (s) 341.47 Current children cumulated vsize (KiB) 145328 [startup+402.301 s] /proc/loadavg: 1.39 1.63 1.68 4/73 8602 /proc/meminfo: memFree=1504240/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=151576 CPUtime=400.92 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 35648 0 0 0 40013 79 0 0 25 0 1 0 188448558 155213824 35467 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 37894 35467 197 640 0 37250 0 Current children cumulated CPU time (s) 400.92 Current children cumulated vsize (KiB) 151576 [startup+462.301 s] /proc/loadavg: 1.60 1.66 1.69 4/73 8602 /proc/meminfo: memFree=1504240/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=151576 CPUtime=460.39 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 35648 0 0 0 45948 91 0 0 25 0 1 0 188448558 155213824 35467 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 37894 35467 197 640 0 37250 0 Current children cumulated CPU time (s) 460.39 Current children cumulated vsize (KiB) 151576 [startup+522.301 s] /proc/loadavg: 1.41 1.59 1.66 2/73 8602 /proc/meminfo: memFree=1504240/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=151576 CPUtime=519.89 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 35648 0 0 0 51887 102 0 0 25 0 1 0 188448558 155213824 35467 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 37894 35467 197 640 0 37250 0 Current children cumulated CPU time (s) 519.89 Current children cumulated vsize (KiB) 151576 [startup+582.302 s] /proc/loadavg: 1.66 1.62 1.66 2/73 8602 /proc/meminfo: memFree=1504176/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=151576 CPUtime=579.11 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 35648 0 0 0 57788 123 0 0 25 0 1 0 188448558 155213824 35467 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 37894 35467 197 640 0 37250 0 Current children cumulated CPU time (s) 579.11 Current children cumulated vsize (KiB) 151576 [startup+642.301 s] /proc/loadavg: 1.99 1.72 1.69 4/73 8602 /proc/meminfo: memFree=1504240/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=151576 CPUtime=638.86 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 35648 0 0 0 63756 130 0 0 25 0 1 0 188448558 155213824 35467 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 37894 35467 197 640 0 37250 0 Current children cumulated CPU time (s) 638.86 Current children cumulated vsize (KiB) 151576 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1503856/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=151596 CPUtime=1177.48 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 35793 0 0 0 117562 186 0 0 25 0 1 0 188448558 155234304 35472 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 37899 35472 197 640 0 37255 0 Current children cumulated CPU time (s) 1177.48 Current children cumulated vsize (KiB) 151596 [startup+1242.3 s] /proc/loadavg: 1.73 1.70 1.68 2/73 8602 /proc/meminfo: memFree=1503856/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=151596 CPUtime=1237.12 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 35793 0 0 0 123518 194 0 0 25 0 1 0 188448558 155234304 35472 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 37899 35472 197 640 0 37255 0 Current children cumulated CPU time (s) 1237.12 Current children cumulated vsize (KiB) 151596 [startup+1302.3 s] /proc/loadavg: 1.59 1.68 1.68 2/73 8602 /proc/meminfo: memFree=1503856/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=151596 CPUtime=1296.54 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 35793 0 0 0 129449 205 0 0 25 0 1 0 188448558 155234304 35472 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8601/statm: 37899 35472 197 640 0 37255 0 Current children cumulated CPU time (s) 1296.54 Current children cumulated vsize (KiB) 151596 [startup+1362.3 s] /proc/loadavg: 1.37 1.60 1.65 3/73 8602 /proc/meminfo: memFree=1503920/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=151620 CPUtime=1355.87 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 35799 0 0 0 135369 218 0 0 25 0 1 0 188448558 155258880 35478 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 37905 35478 197 640 0 37261 0 Current children cumulated CPU time (s) 1355.87 Current children cumulated vsize (KiB) 151620 [startup+1422.31 s] /proc/loadavg: 1.54 1.60 1.64 4/73 8602 /proc/meminfo: memFree=1497008/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=158472 CPUtime=1415.43 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 37532 0 0 0 141313 230 0 0 25 0 1 0 188448558 162275328 37211 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 39618 37211 197 640 0 38974 0 Current children cumulated CPU time (s) 1415.43 Current children cumulated vsize (KiB) 158472 [startup+1482.3 s] /proc/loadavg: 1.75 1.64 1.65 4/73 8602 /proc/meminfo: memFree=1489648/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=165936 CPUtime=1475.27 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 39374 0 0 0 147291 236 0 0 25 0 1 0 188448558 169918464 39053 1992294400 134512640 137136520 4294956256 18446744073709551615 136294906 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 41484 39053 197 640 0 40840 0 Current children cumulated CPU time (s) 1475.27 Current children cumulated vsize (KiB) 165936 [startup+1542.3 s] /proc/loadavg: 1.74 1.66 1.65 3/73 8602 /proc/meminfo: memFree=1486384/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=169076 CPUtime=1534.99 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 40337 0 0 0 153259 240 0 0 25 0 1 0 188448558 173133824 39847 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 42269 39847 197 640 0 41625 0 Current children cumulated CPU time (s) 1534.99 Current children cumulated vsize (KiB) 169076 [startup+1602.3 s] /proc/loadavg: 1.71 1.64 1.64 3/73 8602 /proc/meminfo: memFree=1486384/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=169076 CPUtime=1594.97 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 40337 0 0 0 159254 243 0 0 25 0 1 0 188448558 173133824 39847 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 42269 39847 197 640 0 41625 0 Current children cumulated CPU time (s) 1594.97 Current children cumulated vsize (KiB) 169076 [startup+1662.3 s] /proc/loadavg: 1.66 1.65 1.64 4/73 8602 /proc/meminfo: memFree=1486384/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=169076 CPUtime=1654.74 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 40337 0 0 0 165223 251 0 0 25 0 1 0 188448558 173133824 39847 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 42269 39847 197 640 0 41625 0 Current children cumulated CPU time (s) 1654.74 Current children cumulated vsize (KiB) 169076 [startup+1722.3 s] /proc/loadavg: 1.68 1.63 1.63 4/73 8602 /proc/meminfo: memFree=1486384/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=169076 CPUtime=1714.37 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 40337 0 0 0 171171 266 0 0 25 0 1 0 188448558 173133824 39847 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 42269 39847 197 640 0 41625 0 Current children cumulated CPU time (s) 1714.37 Current children cumulated vsize (KiB) 169076 [startup+1782.3 s] /proc/loadavg: 1.76 1.67 1.64 3/73 8602 /proc/meminfo: memFree=1486320/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=169076 CPUtime=1774.03 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 40337 0 0 0 177131 272 0 0 25 0 1 0 188448558 173133824 39847 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 42269 39847 197 640 0 41625 0 Current children cumulated CPU time (s) 1774.03 Current children cumulated vsize (KiB) 169076 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.80 1.68 1.65 4/73 8602 /proc/meminfo: memFree=1486384/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=169076 CPUtime=1783.63 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 40337 0 0 0 178091 272 0 0 25 0 1 0 188448558 173133824 39847 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 42269 39847 197 640 0 41625 0 Current children cumulated CPU time (s) 1783.63 Current children cumulated vsize (KiB) 169076 [startup+1798.3 s] /proc/loadavg: 1.84 1.69 1.65 4/73 8602 /proc/meminfo: memFree=1486384/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=169076 CPUtime=1790.02 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 40337 0 0 0 178730 272 0 0 25 0 1 0 188448558 173133824 39847 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 42269 39847 197 640 0 41625 0 Current children cumulated CPU time (s) 1790.02 Current children cumulated vsize (KiB) 169076 [startup+1801.51 s] /proc/loadavg: 1.84 1.69 1.65 3/73 8602 /proc/meminfo: memFree=1486384/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=169076 CPUtime=1793.24 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 40337 0 0 0 179051 273 0 0 25 0 1 0 188448558 173133824 39847 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 42269 39847 197 640 0 41625 0 Current children cumulated CPU time (s) 1793.24 Current children cumulated vsize (KiB) 169076 [startup+1804.7 s] /proc/loadavg: 1.85 1.69 1.65 2/73 8602 /proc/meminfo: memFree=1486384/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=169076 CPUtime=1796.42 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 40337 0 0 0 179369 273 0 0 25 0 1 0 188448558 173133824 39847 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 42269 39847 197 640 0 41625 0 Current children cumulated CPU time (s) 1796.42 Current children cumulated vsize (KiB) 169076 [startup+1805.5 s] /proc/loadavg: 1.85 1.69 1.65 3/73 8602 /proc/meminfo: memFree=1486384/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=169076 CPUtime=1797.22 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 40337 0 0 0 179449 273 0 0 25 0 1 0 188448558 173133824 39847 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 42269 39847 197 640 0 41625 0 Current children cumulated CPU time (s) 1797.22 Current children cumulated vsize (KiB) 169076 [startup+1805.9 s] /proc/loadavg: 1.85 1.69 1.65 3/73 8602 /proc/meminfo: memFree=1486384/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=169076 CPUtime=1797.62 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 40337 0 0 0 179489 273 0 0 25 0 1 0 188448558 173133824 39847 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 42269 39847 197 640 0 41625 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 169076 [startup+1806.1 s] /proc/loadavg: 1.85 1.69 1.65 3/73 8602 /proc/meminfo: memFree=1486384/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=169076 CPUtime=1797.83 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 40337 0 0 0 179510 273 0 0 25 0 1 0 188448558 173133824 39847 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 42269 39847 197 640 0 41625 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 169076 [startup+1806.21 s] /proc/loadavg: 1.85 1.69 1.65 3/73 8602 /proc/meminfo: memFree=1486384/2055920 swapFree=4181748/4192956 [pid=8601] ppid=8599 vsize=169076 CPUtime=1797.93 /proc/8601/stat : 8601 (bsolo) R 8599 8601 8471 0 -1 4194304 40337 0 0 0 179520 273 0 0 25 0 1 0 188448558 173133824 39847 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8601/statm: 42269 39847 197 640 0 41625 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 169076 Child status: 0 Real time (s): 1806.3 CPU time (s): 1798.03 CPU user time (s): 1795.27 CPU system time (s): 2.76058 CPU usage (%): 99.542 Max. virtual memory (cumulated for all children) (KiB): 169752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.27 system time used= 2.76058 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40339 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= 27555 runsolver used 2.14967 second user time and 5.77112 second system time The end
Begin job on node69 at 2009-06-17 05:15:45 IDJOB=1878270 IDBENCH=48250 IDSOLVER=700 FILE ID=node69/1878270-1245208545 PBS_JOBID= 9368376 Free space on /tmp= 66492 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_1.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878270-1245208545/watcher-1878270-1245208545 -o /tmp/evaluation-result-1878270-1245208545/solver-1878270-1245208545 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878270-1245208545.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e0d3a2bf2cd2b7e4b27d7033a7686e76 RANDOM SEED=1644311225 node69.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.279 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.279 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: 1646616 kB Buffers: 57080 kB Cached: 246820 kB SwapCached: 6724 kB Active: 47524 kB Inactive: 283504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1646616 kB SwapTotal: 4192956 kB SwapFree: 4181748 kB Dirty: 3976 kB Writeback: 0 kB Mapped: 32780 kB Slab: 63256 kB Committed_AS: 600440 kB PageTables: 2140 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-1878270-1245208545.opb Free space on /tmp at the end= 66488 MiB End job on node69 at 2009-06-17 05:45:52