Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -42 | 1798.27 | 1798.8 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb |
MD5SUM | 20471e978018d28aed0ca16c46de4e3d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -42 |
Best CPU time to get the best result obtained on this benchmark | 1798.27 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -51 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94226 |
Number of constraints which are clauses | 94226 |
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.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-1878472-1245167056.opb 0.00/0.00 c File size is 2294904 bytes. 0.29/0.30 c Highest Coefficient sum: 1272 0.29/0.30 c Parsing was ok!! 0.29/0.30 c Total parsing time: 0.301 s 0.29/0.33 c Var: 1272 Constr: 94226 94226/0/0 Lit: 188452 Watch. Lit: 188452 0.29/0.33 c Obj. Vars: 1272 (100 % of total variables) 2.89/2.98 c Pre-processing Time: 2.979 s 2.89/2.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.98 c 0 1272 94226 188452 2 188452 31408 0 0 2.98 2.89/2.98 c Switching off lower bounding mode. 2.89/2.99 o -36 2.99/3.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.02 c 0 1272 94227 189724 2 188490 32408 1 0 3.00 2.99/3.02 o -37 3.19/3.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.24 c 26 1272 94254 223054 2 188581 32408 28 8 3.02 3.19/3.24 c 127 1272 94355 347409 3 188783 35649 129 40 3.11 3.19/3.24 o -38 3.29/3.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.33 c 299 1272 94528 560667 5 189167 32408 302 92 3.24 3.29/3.33 c 399 1272 94628 683754 7 189367 35649 402 119 3.33 3.29/3.33 o -39 652.89/653.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 652.89/653.17 c 399 1272 94629 685026 7 189408 32408 403 119 3.34 652.89/653.17 c 499 1272 94729 808013 8 189608 35649 503 145 3.43 652.89/653.17 c 749 1272 94979 1115079 11 190108 39214 753 203 3.67 652.89/653.17 c 1224 1272 95454 1698840 17 191058 43136 1228 295 4.14 652.89/653.17 c 2037 1272 96267 2698673 28 192684 47450 2041 398 5.12 652.89/653.17 c 3357 1272 97587 4321082 44 195324 52196 3361 509 6.59 652.89/653.17 c 5438 1272 99668 6878023 69 199486 57416 5442 576 9.44 652.89/653.17 c 8661 1272 102891 10838659 105 205932 63158 8665 578 14.97 652.89/653.17 c 13597 1272 107827 16903354 156 215804 69474 13601 500 27.14 652.89/653.17 c 21104 1272 115334 26128247 226 230818 76422 21108 459 45.91 652.89/653.17 c 32466 1272 126696 40093403 316 253542 84065 32470 352 92.05 652.89/653.17 c 49612 1272 143842 61164291 425 287834 92472 49616 285 173.75 652.89/653.17 c 75431 1272 169661 92904287 547 339472 101720 75435 197 381.05 652.89/653.17 c 114263 1272 117813 29174455 247 235665 111893 23587 176 646.65 652.89/653.17 o -40 716.78/717.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 716.78/717.07 c 117554 1272 121105 33222525 274 242289 32408 26879 180 652.98 716.78/717.07 c 117654 1272 121205 33345387 275 242489 35649 26979 180 653.25 716.78/717.07 c 117905 1272 121456 33653643 277 242991 39214 27230 180 653.73 716.78/717.07 c 118380 1272 121931 34237214 280 243941 43136 27705 180 654.39 716.78/717.07 c 119193 1272 122744 35235224 287 245567 47450 28518 181 655.76 716.78/717.07 c 120516 1272 124067 36860512 297 248213 52196 29841 182 659.74 716.78/717.07 c 122598 1272 126149 39416218 312 252377 57416 31923 183 667.99 716.78/717.07 c 125821 1272 129372 43373836 335 258823 63158 35146 186 674.98 716.78/717.07 c 130758 1272 134309 49434266 368 268697 69474 40083 190 687.79 716.78/717.07 c 138264 1272 141815 58650826 413 283709 76422 47589 193 714.71 716.78/717.07 o -41 801.06/801.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 801.06/801.30 c 139274 1272 142826 59892457 419 285772 32408 48600 194 716.87 801.06/801.30 c 139374 1272 105869 14483402 136 211779 35649 11643 184 754.34 801.06/801.30 c 139624 1272 106119 14789996 139 212279 39214 11893 185 754.69 801.06/801.30 c 140099 1272 106594 15372915 144 213229 43136 12368 185 755.33 801.06/801.30 c 140913 1272 107408 16372027 152 214857 47450 13182 186 756.37 801.06/801.30 c 142234 1272 108729 17992993 165 217499 52196 14503 187 758.71 801.06/801.30 c 144316 1272 110811 20548357 185 221663 57416 16585 189 762.35 801.06/801.30 c 147540 1272 114035 24504575 214 228111 63158 19809 192 768.27 801.06/801.30 c 152476 1272 118971 30559684 256 237983 69474 24745 194 784.91 801.06/801.30 o -42 1797.96/1798.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.53 c 158666 1272 125162 38154533 304 250407 32408 30936 198 801.07 1797.96/1798.53 c 158766 1272 125262 38277118 305 250607 35649 31036 198 801.39 1797.96/1798.53 c 159016 1272 125512 38583672 307 251107 39214 31286 198 801.78 1797.96/1798.53 c 159492 1272 125988 39167429 310 252059 43136 31762 198 802.53 1797.96/1798.53 c 160305 1272 126801 40163798 316 253685 47450 32575 199 803.98 1797.96/1798.53 c 161625 1272 128121 41782066 326 256325 52196 33895 200 806.57 1797.96/1798.53 c 163708 1272 130204 44335928 340 260491 57416 35978 201 810.81 1797.96/1798.53 c 166931 1272 133427 48287168 361 266937 63158 39201 202 823.83 1797.96/1798.53 c 171867 1272 138363 54336440 392 276809 69474 44137 202 848.52 1797.96/1798.53 c 179374 1272 145870 63535887 435 291823 76422 51644 205 871.42 1797.96/1798.53 c 190736 1272 157232 77468209 492 314547 84065 63006 206 922.46 1797.96/1798.53 c 207881 1272 174377 98484314 564 348837 92472 80151 206 1007.27 1797.96/1798.53 c 233701 1272 118695 30179390 254 237432 101720 24469 190 1225.08 1797.96/1798.53 c 272533 1272 157527 77786950 493 315096 111893 63301 191 1426.14 1797.96/1798.53 c Resources Exceeded 1797.96/1798.53 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.96/1798.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.53 c 52 310487 27931 346504 195481 124312591 101255 172 1798.01 1797.96/1798.53 c Objective: -42 1797.96/1798.53 s SATISFIABLE 1797.96/1798.53 c Total time: 1798.01 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-1878472-1245167056/watcher-1878472-1245167056 -o /tmp/evaluation-result-1878472-1245167056/solver-1878472-1245167056 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878472-1245167056.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.99 0.98 0.99 3/64 7951 /proc/meminfo: memFree=1800384/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=12968 CPUtime=0 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 184302785 13279232 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 3242 245 174 640 0 2037 0 [startup+0.00875598 s] /proc/loadavg: 0.99 0.98 0.99 3/64 7951 /proc/meminfo: memFree=1800384/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=13104 CPUtime=0 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 184302785 13418496 283 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 3276 284 181 640 0 2071 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13104 [startup+0.101765 s] /proc/loadavg: 0.99 0.98 0.99 3/64 7951 /proc/meminfo: memFree=1800384/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=15992 CPUtime=0.09 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 1189 0 0 0 9 0 0 0 18 0 1 0 184302785 16375808 1173 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 3998 1174 352 640 0 2793 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15992 [startup+0.301787 s] /proc/loadavg: 0.99 0.98 0.99 3/64 7951 /proc/meminfo: memFree=1800384/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=22044 CPUtime=0.29 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 3091 0 0 0 29 0 0 0 19 0 1 0 184302785 22573056 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 134520635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 5511 3075 727 640 0 4306 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22044 [startup+0.701831 s] /proc/loadavg: 0.99 0.98 0.99 3/64 7951 /proc/meminfo: memFree=1800384/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=27468 CPUtime=0.69 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 5017 0 0 0 67 2 0 0 22 0 1 0 184302785 28127232 4440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 6867 4440 190 640 0 6223 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27468 [startup+1.50192 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7952 /proc/meminfo: memFree=1783352/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=27468 CPUtime=1.49 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 5017 0 0 0 144 5 0 0 25 0 1 0 184302785 28127232 4440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 6867 4440 190 640 0 6223 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27468 [startup+3.10109 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7952 /proc/meminfo: memFree=1783224/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=26392 CPUtime=3.09 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 6180 0 0 0 299 10 0 0 25 0 1 0 184302785 27025408 4183 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 6598 4183 196 640 0 5954 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26392 [startup+6.30144 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7952 /proc/meminfo: memFree=1749248/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=73680 CPUtime=6.29 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 17992 0 0 0 614 15 0 0 25 0 1 0 184302785 75448320 15995 1992294400 134512640 137136520 4294956256 18446744073709551615 134572237 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 18420 15995 196 640 0 17776 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 73680 [startup+12.7011 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7952 /proc/meminfo: memFree=1671296/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=145252 CPUtime=12.69 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 35901 0 0 0 1246 23 0 0 25 0 1 0 184302785 148738048 33904 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 36313 33904 196 640 0 35669 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 145252 [startup+25.5015 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7952 /proc/meminfo: memFree=1579904/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=231456 CPUtime=25.48 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 57455 0 0 0 2514 34 0 0 25 0 1 0 184302785 237010944 55458 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 57864 55458 196 640 0 57220 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 231456 [startup+51.1013 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7952 /proc/meminfo: memFree=1420480/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=392420 CPUtime=51.07 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 97686 0 0 0 5052 55 0 0 25 0 1 0 184302785 401838080 95689 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 98105 95689 196 640 0 97461 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 392420 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7952 /proc/meminfo: memFree=1217216/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=592572 CPUtime=102.26 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 147726 0 0 0 10145 81 0 0 25 0 1 0 184302785 606793728 145729 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 148143 145729 196 640 0 147499 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 592572 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7952 /proc/meminfo: memFree=1036160/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=774612 CPUtime=162.24 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 193237 0 0 0 16117 107 0 0 25 0 1 0 184302785 793202688 191240 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 193653 191240 196 640 0 193009 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 774612 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7952 /proc/meminfo: memFree=874624/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=934488 CPUtime=222.22 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 233206 0 0 0 22092 130 0 0 25 0 1 0 184302785 956915712 231209 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 233622 231209 196 640 0 232978 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 934488 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7952 /proc/meminfo: memFree=771968/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1038952 CPUtime=282.2 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 259318 0 0 0 28073 147 0 0 25 0 1 0 184302785 1063886848 257321 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 259738 257321 196 640 0 259094 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 1038952 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7952 /proc/meminfo: memFree=662592/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1145992 CPUtime=342.19 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 286082 0 0 0 34055 164 0 0 25 0 1 0 184302785 1173495808 284085 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 286498 284085 196 640 0 285854 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1145992 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7952 /proc/meminfo: memFree=486976/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1324364 CPUtime=402.17 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 330675 0 0 0 40028 189 0 0 25 0 1 0 184302785 1356148736 328678 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 331091 328678 196 640 0 330447 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1324364 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7952 /proc/meminfo: memFree=296064/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1513612 CPUtime=462.15 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 377984 0 0 0 46000 215 0 0 25 0 1 0 184302785 1549938688 375987 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 378403 375987 196 640 0 377759 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 1513612 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7954 /proc/meminfo: memFree=164032/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1643220 CPUtime=522.13 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 51980 233 0 0 25 0 1 0 184302785 1682657280 408397 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410805 408397 196 640 0 410161 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1643220 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7954 /proc/meminfo: memFree=164032/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1643220 CPUtime=582.11 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 57978 233 0 0 25 0 1 0 184302785 1682657280 408397 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410805 408397 196 640 0 410161 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 1643220 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7954 /proc/meminfo: memFree=164032/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1643220 CPUtime=642.1 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 63973 237 0 0 25 0 1 0 184302785 1682657280 408397 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410805 408397 196 640 0 410161 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1643220 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=165120/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1641976 CPUtime=1061.97 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 105933 264 0 0 25 0 1 0 184302785 1681383424 408091 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410494 408091 196 640 0 409850 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1641976 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7960 /proc/meminfo: memFree=165120/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1641976 CPUtime=1121.95 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 111931 264 0 0 25 0 1 0 184302785 1681383424 408091 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410494 408091 196 640 0 409850 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1641976 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7960 /proc/meminfo: memFree=165120/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1641976 CPUtime=1181.94 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 117928 266 0 0 25 0 1 0 184302785 1681383424 408091 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410494 408091 196 640 0 409850 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1641976 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7960 /proc/meminfo: memFree=166016/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1241.93 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 123923 270 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1640808 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7960 /proc/meminfo: memFree=166016/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1301.91 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 129918 273 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1640808 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7960 /proc/meminfo: memFree=166016/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1361.89 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 135912 277 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1640808 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7960 /proc/meminfo: memFree=166016/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1421.88 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 141909 279 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1640808 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7960 /proc/meminfo: memFree=166080/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1481.86 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 147903 283 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1640808 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7960 /proc/meminfo: memFree=166080/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1541.83 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 153898 285 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1640808 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7960 /proc/meminfo: memFree=166080/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1601.81 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 159893 288 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1640808 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7960 /proc/meminfo: memFree=166016/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1661.81 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 165890 291 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1640808 [startup+1722.3 s] /proc/loadavg: 1.03 1.00 1.00 2/65 7960 /proc/meminfo: memFree=166016/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1721.79 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 171887 292 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1640808 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 7960 /proc/meminfo: memFree=165952/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1781.77 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 177884 293 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1640808 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.01 1.00 1.00 2/65 7960 /proc/meminfo: memFree=165952/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1791.37 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 178844 293 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 1640808 [startup+1795.1 s] /proc/loadavg: 1.01 1.00 1.00 2/65 7960 /proc/meminfo: memFree=165952/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1794.56 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 179163 293 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 1640808 [startup+1796.7 s] /proc/loadavg: 1.01 1.00 1.00 2/65 7960 /proc/meminfo: memFree=165952/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1796.16 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 179323 293 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 1640808 [startup+1797.5 s] /proc/loadavg: 1.01 1.00 1.00 2/65 7960 /proc/meminfo: memFree=165952/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1796.96 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 179403 293 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 1640808 [startup+1798.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 7960 /proc/meminfo: memFree=165952/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=1640808 CPUtime=1797.76 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194304 410495 0 0 0 179483 293 0 0 25 0 1 0 184302785 1680187392 407799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 410202 407799 196 640 0 409558 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 1640808 [startup+1798.7 s] /proc/loadavg: 1.01 1.00 1.00 2/65 7960 /proc/meminfo: memFree=165952/2055920 swapFree=4191900/4192956 [pid=7951] ppid=7949 vsize=0 CPUtime=1798.17 /proc/7951/stat : 7951 (bsolo) R 7949 7951 7665 0 -1 4194308 410497 0 0 0 179507 310 0 0 25 0 1 0 184302785 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7951/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.17 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.8 CPU time (s): 1798.27 CPU user time (s): 1795.07 CPU system time (s): 3.19751 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 1643624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.07 system time used= 3.19751 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 410497 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= 3231 runsolver used 1.36379 second user time and 3.9344 second system time The end
Begin job on node37 at 2009-06-16 17:44:16 IDJOB=1878472 IDBENCH=2258 IDSOLVER=700 FILE ID=node37/1878472-1245167056 PBS_JOBID= 9363832 Free space on /tmp= 66164 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878472-1245167056/watcher-1878472-1245167056 -o /tmp/evaluation-result-1878472-1245167056/solver-1878472-1245167056 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878472-1245167056.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d RANDOM SEED=1293777772 node37.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.232 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.232 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: 1800928 kB Buffers: 45068 kB Cached: 131200 kB SwapCached: 260 kB Active: 45976 kB Inactive: 143612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800928 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 6180 kB Writeback: 0 kB Mapped: 21812 kB Slab: 51524 kB Committed_AS: 161864 kB PageTables: 1380 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-1878472-1245167056.opb Free space on /tmp at the end= 66160 MiB End job on node37 at 2009-06-16 18:14:15