Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -42 | 1798.11 | 1798.72 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb |
MD5SUM | 1925793f412227c60146f261684ef7c1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -43 |
Best CPU time to get the best result obtained on this benchmark | 1792.77 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94127 |
Number of constraints which are clauses | 94127 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1272 |
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 | 1272 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1272 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656653-1276501445.opb 0.00/0.00 c File size is 2298381 bytes. 0.29/0.36 c Highest Coefficient sum: 1272 0.29/0.36 c Parsing was ok!! 0.29/0.36 c Total parsing time: 0.367 s 0.29/0.40 c Var: 1272 Constr: 94127 94127/0/0 Lit: 188254 Watch. Lit: 188254 0.29/0.40 c Obj. Vars: 1272 (100 % of total variables) 3.09/3.19 c Pre-processing Time: 3.197 s 3.20/3.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.20 c 0 1272 94127 188254 2 188254 31375 0 0 3.20 3.20/3.20 c Switching off lower bounding mode. 3.20/3.21 o -37 3.20/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.22 c 0 1272 94128 189526 2 188293 32375 1 0 3.22 3.20/3.22 o -38 4.30/4.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.30/4.35 c 1 1272 94130 192029 2 188335 32375 3 0 3.23 4.30/4.35 c 101 1272 94246 334643 3 188567 35613 119 29 3.44 4.30/4.35 c 352 1272 94515 665604 7 189105 39175 388 87 4.02 4.30/4.35 o -39 4.79/4.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.88 c 493 1272 94668 853893 9 189450 32375 541 113 4.36 4.79/4.88 c 593 1272 94778 989052 10 189670 35613 651 129 4.59 4.79/4.88 o -40 1049.33/1049.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1049.33/1049.78 c 708 1272 94910 1151243 12 189974 32375 783 144 4.89 1049.33/1049.78 c 809 1272 95023 1290018 13 190200 35613 896 157 5.13 1049.33/1049.78 c 1059 1272 95299 1628960 17 190752 39175 1172 183 5.76 1049.33/1049.78 c 1534 1272 95823 2272071 23 191800 43093 1696 220 6.95 1049.33/1049.78 c 2347 1272 96720 3373575 34 193594 47403 2593 253 9.28 1049.33/1049.78 c 3667 1272 98198 5188052 52 196550 52144 4071 271 13.50 1049.33/1049.78 c 5750 1272 100551 8075518 80 201256 57359 6424 270 21.27 1049.33/1049.78 c 8973 1272 104168 12514660 120 208490 63095 10041 266 33.72 1049.33/1049.78 c 13910 1272 109652 19246686 175 219458 69405 15525 245 56.70 1049.33/1049.78 c 21417 1272 118069 29574714 250 236329 76346 23942 222 96.34 1049.33/1049.78 c 32779 1272 130702 45073052 344 261669 83981 36575 173 189.09 1049.33/1049.78 c 49923 1272 149910 68614636 457 300159 92380 55783 141 353.46 1049.33/1049.78 c Reducing formula size due to memory constraints 1049.33/1049.78 c Memory Limit: 1000.00 MB Used: 1005.09 MB 1049.33/1049.78 c 75742 1272 127090 40626768 319 254220 129703 32963 135 561.04 1049.33/1049.78 c Reducing formula size due to memory constraints 1049.33/1049.78 c Memory Limit: 1000.00 MB Used: 1007.39 MB 1049.33/1049.78 c 114574 1272 119415 31187381 261 238978 129897 25288 114 997.53 1049.33/1049.78 o -41 1070.42/1070.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1070.42/1070.84 c 122882 1272 128831 42730727 331 257888 32375 34704 117 1049.42 1070.42/1070.84 c 122982 1272 106881 15818112 147 213877 35613 12754 116 1051.66 1070.42/1070.84 c 123232 1272 107163 16163989 150 214441 39175 13036 117 1052.89 1070.42/1070.84 c 123707 1272 107689 16809168 156 215493 43093 13562 117 1054.66 1070.42/1070.84 c 124521 1272 108587 17910906 164 217289 47403 14460 117 1057.60 1070.42/1070.84 c 125841 1272 110007 19653768 178 220129 52144 15880 118 1063.08 1070.42/1070.84 o -42 1797.98/1798.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.61 c 127516 1272 111857 21923080 195 223871 32375 17730 119 1070.48 1797.98/1798.61 c 127616 1272 111967 22057962 197 224091 35613 17840 119 1070.91 1797.98/1798.61 c 127867 1272 112236 22387831 199 224629 39175 18109 119 1072.42 1797.98/1798.61 c 128344 1272 112764 23035050 204 225685 43093 18637 119 1074.24 1797.98/1798.61 c 129157 1272 113658 24130744 212 227473 47403 19531 119 1077.36 1797.98/1798.61 c 130477 1272 115159 25968556 225 230475 52144 21032 120 1083.22 1797.98/1798.61 c 132558 1272 117487 28821096 245 235131 57359 23360 121 1093.33 1797.98/1798.61 c 135781 1272 121131 33281725 274 242419 63095 27004 122 1108.40 1797.98/1798.61 c 140717 1272 126609 39992156 315 253375 69405 32482 122 1146.03 1797.98/1798.61 c 148224 1272 134982 50243803 372 270121 76346 40855 123 1201.34 1797.98/1798.61 c 159586 1272 147673 65791555 445 295543 83981 53546 124 1286.83 1797.98/1798.61 c Reducing formula size due to memory constraints 1797.98/1798.61 c Memory Limit: 1000.00 MB Used: 1013.98 MB 1797.98/1798.61 c 176730 1272 114909 25635263 223 229899 129970 20782 123 1429.90 1797.98/1798.61 c 202551 1272 143485 60638449 422 287051 142968 49358 122 1650.96 1797.98/1798.61 c Reducing formula size due to memory constraints 1797.98/1798.61 c Memory Limit: 1000.00 MB Used: 1015.86 MB 1797.98/1798.61 c Resources Exceeded 1797.98/1798.61 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1797.98/1798.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.61 c 39 217268 19437 242237 107449 16507835 13322 120 1798.00 1797.98/1798.61 c Objective: -42 1797.98/1798.61 s SATISFIABLE 1797.98/1798.61 c Total time: 1798 s
OK -42
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656653-1276501445/watcher-2656653-1276501445 -o /tmp/evaluation-result-2656653-1276501445/solver-2656653-1276501445 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656653-1276501445.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 1.06 3/106 30641 /proc/meminfo: memFree=1788592/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=13180 CPUtime=0 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 355 0 0 0 0 0 0 0 18 0 1 0 25746055 13496320 273 1992294400 134512640 137138936 4288685472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 3295 273 176 642 0 2089 0 [startup+0.0234469 s] /proc/loadavg: 0.92 0.98 1.06 3/106 30641 /proc/meminfo: memFree=1788592/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=13592 CPUtime=0.02 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 472 0 0 0 2 0 0 0 18 0 1 0 25746055 13918208 390 1992294400 134512640 137138936 4288685472 18446744073709551615 136528619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 3398 390 198 642 0 2192 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13592 [startup+0.10146 s] /proc/loadavg: 0.92 0.98 1.06 3/106 30641 /proc/meminfo: memFree=1788592/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=15384 CPUtime=0.09 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 1055 0 0 0 9 0 0 0 18 0 1 0 25746055 15753216 973 1992294400 134512640 137138936 4288685472 18446744073709551615 134516163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 3846 973 310 642 0 2640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15384 [startup+0.301497 s] /proc/loadavg: 0.92 0.98 1.06 3/106 30641 /proc/meminfo: memFree=1788592/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=20472 CPUtime=0.29 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 2639 0 0 0 28 1 0 0 18 0 1 0 25746055 20963328 2557 1992294400 134512640 137138936 4288685472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 5118 2557 620 642 0 3912 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20472 [startup+0.701567 s] /proc/loadavg: 0.92 0.98 1.06 3/106 30641 /proc/meminfo: memFree=1788592/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=27544 CPUtime=0.69 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 5076 0 0 0 66 3 0 0 18 0 1 0 25746055 28205056 4432 1992294400 134512640 137138936 4288685472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 6886 4432 185 642 0 6242 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27544 [startup+1.50171 s] /proc/loadavg: 0.92 0.98 1.06 2/107 30642 /proc/meminfo: memFree=1771472/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=27544 CPUtime=1.49 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 5076 0 0 0 144 5 0 0 19 0 1 0 25746055 28205056 4432 1992294400 134512640 137138936 4288685472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 6886 4432 185 642 0 6242 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27544 [startup+3.101 s] /proc/loadavg: 0.92 0.98 1.06 2/107 30642 /proc/meminfo: memFree=1770976/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=27544 CPUtime=3.09 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 5076 0 0 0 299 10 0 0 23 0 1 0 25746055 28205056 4432 1992294400 134512640 137138936 4288685472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 6886 4432 185 642 0 6242 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27544 [startup+6.30157 s] /proc/loadavg: 0.93 0.98 1.06 2/107 30642 /proc/meminfo: memFree=1757956/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=46936 CPUtime=6.29 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 11360 0 0 0 616 13 0 0 25 0 1 0 25746055 48062464 9298 1992294400 134512640 137138936 4288685472 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 11734 9298 192 642 0 11090 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46936 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 1.05 2/107 30642 /proc/meminfo: memFree=1717408/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=84552 CPUtime=12.68 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 20770 0 0 0 1250 18 0 0 25 0 1 0 25746055 86581248 18708 1992294400 134512640 137138936 4288685472 18446744073709551615 136511128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 21138 18708 192 642 0 20494 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 84552 [startup+25.501 s] /proc/loadavg: 0.95 0.98 1.05 2/107 30642 /proc/meminfo: memFree=1651192/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=148488 CPUtime=25.49 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 36754 0 0 0 2523 26 0 0 25 0 1 0 25746055 152051712 34692 1992294400 134512640 137138936 4288685472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 37122 34692 192 642 0 36478 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 148488 [startup+51.1006 s] /proc/loadavg: 0.96 0.98 1.05 2/107 30644 /proc/meminfo: memFree=1548024/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=252064 CPUtime=51.08 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 62647 0 0 0 5070 38 0 0 25 0 1 0 25746055 258113536 60585 1992294400 134512640 137138936 4288685472 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 63016 60585 192 642 0 62372 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 252064 [startup+102.309 s] /proc/loadavg: 0.98 0.98 1.05 2/107 30644 /proc/meminfo: memFree=1376284/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=421768 CPUtime=102.27 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 105073 0 0 0 10165 62 0 0 25 0 1 0 25746055 431890432 103011 1992294400 134512640 137138936 4288685472 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 105442 103011 192 642 0 104798 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 421768 [startup+162.3 s] /proc/loadavg: 0.99 0.98 1.04 2/107 30646 /proc/meminfo: memFree=1242364/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=556336 CPUtime=162.24 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 138711 0 0 0 16142 82 0 0 25 0 1 0 25746055 569688064 136649 1992294400 134512640 137138936 4288685472 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 139084 136649 192 642 0 138440 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 556336 [startup+222.301 s] /proc/loadavg: 0.99 0.98 1.03 2/107 30648 /proc/meminfo: memFree=1123448/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=674244 CPUtime=222.22 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 168180 0 0 0 22121 101 0 0 25 0 1 0 25746055 690425856 166118 1992294400 134512640 137138936 4288685472 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 168561 166118 192 642 0 167917 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 674244 [startup+282.302 s] /proc/loadavg: 0.99 0.98 1.03 2/107 30650 /proc/meminfo: memFree=1022884/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=774852 CPUtime=282.19 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 193348 0 0 0 28101 118 0 0 25 0 1 0 25746055 793448448 191286 1992294400 134512640 137138936 4288685472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 193713 191286 192 642 0 193069 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 774852 [startup+342.302 s] /proc/loadavg: 0.99 0.98 1.02 2/107 30652 /proc/meminfo: memFree=915500/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=881712 CPUtime=342.18 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 220055 0 0 0 34081 137 0 0 25 0 1 0 25746055 902873088 217993 1992294400 134512640 137138936 4288685472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 220428 217993 192 642 0 219784 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 881712 [startup+402.301 s] /proc/loadavg: 0.99 0.98 1.02 2/107 30652 /proc/meminfo: memFree=781456/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1016856 CPUtime=402.16 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 253849 0 0 0 40056 160 0 0 25 0 1 0 25746055 1041260544 251787 1992294400 134512640 137138936 4288685472 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 254214 251787 192 642 0 253570 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 1016856 [startup+462.301 s] /proc/loadavg: 1.11 1.02 1.02 2/107 30654 /proc/meminfo: memFree=755540/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1040588 CPUtime=462.14 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 259847 0 0 0 46045 169 0 0 25 0 1 0 25746055 1065562112 257721 1992294400 134512640 137138936 4288685472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 260147 257721 192 642 0 259503 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 1040588 [startup+522.301 s] /proc/loadavg: 1.11 1.03 1.02 2/107 30656 /proc/meminfo: memFree=755416/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1040588 CPUtime=522.12 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 259847 0 0 0 52039 173 0 0 25 0 1 0 25746055 1065562112 257721 1992294400 134512640 137138936 4288685472 18446744073709551615 134618331 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 260147 257721 192 642 0 259503 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 1040588 [startup+582.301 s] /proc/loadavg: 1.11 1.04 1.02 2/107 30658 /proc/meminfo: memFree=755416/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1040588 CPUtime=582.1 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 259847 0 0 0 58031 179 0 0 25 0 1 0 25746055 1065562112 257721 1992294400 134512640 137138936 4288685472 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 260147 257721 192 642 0 259503 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 1040588 [startup+642.301 s] /proc/loadavg: 1.10 1.04 1.02 2/107 30660 /proc/meminfo: memFree=755416/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1040588 CPUtime=642.08 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 259847 0 0 0 64025 183 0 0 25 0 1 0 25746055 1065562112 257721 1992294400 134512640 137138936 4288685472 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 260147 257721 192 642 0 259503 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 1040588 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=750704/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1044164 CPUtime=1061.92 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 260808 0 0 0 105987 205 0 0 25 0 1 0 25746055 1069223936 258618 1992294400 134512640 137138936 4288685472 18446744073709551615 136504274 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 261041 258618 192 642 0 260397 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1044164 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.01 2/107 30681 /proc/meminfo: memFree=750704/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1044164 CPUtime=1121.9 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 260808 0 0 0 111981 209 0 0 25 0 1 0 25746055 1069223936 258618 1992294400 134512640 137138936 4288685472 18446744073709551615 134551166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 261041 258618 192 642 0 260397 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 1044164 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30683 /proc/meminfo: memFree=750704/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1044164 CPUtime=1181.88 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 260808 0 0 0 117975 213 0 0 25 0 1 0 25746055 1069223936 258618 1992294400 134512640 137138936 4288685472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 261041 258618 192 642 0 260397 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1044164 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30685 /proc/meminfo: memFree=750704/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1044164 CPUtime=1241.87 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 260808 0 0 0 123968 219 0 0 25 0 1 0 25746055 1069223936 258618 1992294400 134512640 137138936 4288685472 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 261041 258618 192 642 0 260397 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1044164 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30685 /proc/meminfo: memFree=750704/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1044164 CPUtime=1301.86 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 260808 0 0 0 129962 224 0 0 25 0 1 0 25746055 1069223936 258618 1992294400 134512640 137138936 4288685472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 261041 258618 192 642 0 260397 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1044164 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30687 /proc/meminfo: memFree=750704/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1044164 CPUtime=1361.83 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 260808 0 0 0 135955 228 0 0 25 0 1 0 25746055 1069223936 258618 1992294400 134512640 137138936 4288685472 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 261041 258618 192 642 0 260397 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1044164 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30689 /proc/meminfo: memFree=743760/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1051720 CPUtime=1421.81 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 262665 0 0 0 141948 233 0 0 25 0 1 0 25746055 1076961280 260475 1992294400 134512640 137138936 4288685472 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 262930 260475 192 642 0 262286 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1051720 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30691 /proc/meminfo: memFree=743760/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1051720 CPUtime=1481.78 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 262665 0 0 0 147939 239 0 0 25 0 1 0 25746055 1076961280 260475 1992294400 134512640 137138936 4288685472 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 262930 260475 192 642 0 262286 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1051720 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30693 /proc/meminfo: memFree=743760/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1051720 CPUtime=1541.76 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 262665 0 0 0 153933 243 0 0 25 0 1 0 25746055 1076961280 260475 1992294400 134512640 137138936 4288685472 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 262930 260475 192 642 0 262286 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1051720 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30693 /proc/meminfo: memFree=743760/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1051720 CPUtime=1601.74 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 262665 0 0 0 159927 247 0 0 25 0 1 0 25746055 1076961280 260475 1992294400 134512640 137138936 4288685472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 262930 260475 192 642 0 262286 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1051720 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30695 /proc/meminfo: memFree=743760/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1051720 CPUtime=1661.72 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 262665 0 0 0 165922 250 0 0 25 0 1 0 25746055 1076961280 260475 1992294400 134512640 137138936 4288685472 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 262930 260475 192 642 0 262286 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 1051720 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30697 /proc/meminfo: memFree=743760/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1051720 CPUtime=1721.7 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 262665 0 0 0 171916 254 0 0 25 0 1 0 25746055 1076961280 260475 1992294400 134512640 137138936 4288685472 18446744073709551615 134618927 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 262930 260475 192 642 0 262286 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1051720 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30699 /proc/meminfo: memFree=743760/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1051720 CPUtime=1781.68 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 262665 0 0 0 177910 258 0 0 25 0 1 0 25746055 1076961280 260475 1992294400 134512640 137138936 4288685472 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 262930 260475 192 642 0 262286 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1051720 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30701 /proc/meminfo: memFree=742768/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1052120 CPUtime=1791.29 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 262845 0 0 0 178870 259 0 0 25 0 1 0 25746055 1077370880 260590 1992294400 134512640 137138936 4288685472 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 263030 260590 192 642 0 262386 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 1052120 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30702 /proc/meminfo: memFree=742644/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1052120 CPUtime=1794.49 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 262845 0 0 0 179190 259 0 0 25 0 1 0 25746055 1077370880 260590 1992294400 134512640 137138936 4288685472 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 263030 260590 192 642 0 262386 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 1052120 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30702 /proc/meminfo: memFree=742644/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1052120 CPUtime=1796.08 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 262845 0 0 0 179349 259 0 0 25 0 1 0 25746055 1077370880 260590 1992294400 134512640 137138936 4288685472 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 263030 260590 192 642 0 262386 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (KiB) 1052120 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30702 /proc/meminfo: memFree=742644/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1052120 CPUtime=1796.88 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 262845 0 0 0 179429 259 0 0 25 0 1 0 25746055 1077370880 260590 1992294400 134512640 137138936 4288685472 18446744073709551615 134551026 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 263030 260590 192 642 0 262386 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 1052120 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30702 /proc/meminfo: memFree=742644/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=1052120 CPUtime=1797.68 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202496 262845 0 0 0 179509 259 0 0 25 0 1 0 25746055 1077370880 260590 1992294400 134512640 137138936 4288685472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30641/statm: 263030 260590 192 642 0 262386 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (KiB) 1052120 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30702 /proc/meminfo: memFree=742644/2059040 swapFree=4136716/4192956 [pid=30641] ppid=30639 vsize=0 CPUtime=1798.08 /proc/30641/stat : 30641 (bsolo_pb10) R 30639 30641 30540 0 -1 4202500 262846 0 0 0 179540 268 0 0 25 0 1 0 25746055 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/30641/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.08 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.72 CPU time (s): 1798.11 CPU user time (s): 1795.41 CPU system time (s): 2.69859 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 1052380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.41 system time used= 2.69859 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 262846 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 4582 runsolver used 2.87256 second user time and 8.58569 second system time The end
Begin job on node012 at 2010-06-14 09:44:05 IDJOB=2656653 IDBENCH=2255 IDSOLVER=1162 FILE ID=node012/2656653-1276501445 PBS_JOBID= 11173412 Free space on /tmp= 62504 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656653-1276501445/watcher-2656653-1276501445 -o /tmp/evaluation-result-2656653-1276501445/solver-2656653-1276501445 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656653-1276501445.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1925793f412227c60146f261684ef7c1 RANDOM SEED=471743538 node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1789120 kB Buffers: 79796 kB Cached: 110396 kB SwapCached: 9404 kB Active: 108496 kB Inactive: 94172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1789120 kB SwapTotal: 4192956 kB SwapFree: 4136716 kB Dirty: 6120 kB Writeback: 0 kB AnonPages: 10852 kB Mapped: 9172 kB Slab: 45472 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182180 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62500 MiB End job on node012 at 2010-06-14 10:14:04