Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -40 | 1798.12 | 1798.68 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb |
MD5SUM | 1a88750537364c45876077f809191628 |
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 | 1800.1 |
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 | 94308 |
Number of constraints which are clauses | 94308 |
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-2656609-1276502179.opb 0.00/0.00 c File size is 2301477 bytes. 0.29/0.37 c Highest Coefficient sum: 1272 0.29/0.37 c Parsing was ok!! 0.29/0.37 c Total parsing time: 0.371 s 0.39/0.40 c Var: 1272 Constr: 94308 94308/0/0 Lit: 188616 Watch. Lit: 188616 0.39/0.40 c Obj. Vars: 1272 (100 % of total variables) 3.20/3.23 c Pre-processing Time: 3.232 s 3.20/3.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.24 c 0 1272 94308 188616 2 188616 31436 0 0 3.23 3.20/3.24 c Switching off lower bounding mode. 3.20/3.25 o -35 3.20/3.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.25 c 0 1272 94309 189888 2 188653 32436 1 0 3.25 3.20/3.25 o -36 3.99/4.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.08 c 1 1272 94311 192395 2 188693 32436 3 0 3.26 3.99/4.08 c 101 1272 94424 331541 3 188919 35680 116 29 3.48 3.99/4.08 c 351 1272 94691 660694 6 189453 39249 383 86 4.06 3.99/4.08 o -37 3.99/4.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.09 c 358 1272 94700 671818 7 189508 32436 392 87 4.09 3.99/4.09 o -38 8.70/8.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.70/8.72 c 358 1272 94701 673090 7 189548 32436 393 87 4.10 8.70/8.72 c 459 1272 94810 807190 8 189766 35680 502 106 4.32 8.70/8.72 c 709 1272 95087 1147870 12 190320 39249 779 144 4.89 8.70/8.72 c 1185 1272 95615 1797420 18 191376 43174 1307 192 6.16 8.70/8.72 c 1999 1272 96516 2905594 30 193178 47492 2208 232 8.61 8.70/8.72 o -39 20.08/20.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.08/20.13 c 2041 1272 96562 2962216 30 193309 32436 2254 233 8.73 20.08/20.13 c 2142 1272 96676 3102243 32 193537 35680 2368 238 8.98 20.08/20.13 c 2393 1272 96952 3441378 35 194089 39249 2644 247 9.66 20.08/20.13 c 2868 1272 97480 4090158 41 195145 43174 3172 262 10.93 20.08/20.13 c 3681 1272 98369 5182661 52 196923 47492 4061 276 13.33 20.08/20.13 c 5002 1272 99871 7026910 70 199927 52242 5563 284 17.56 20.08/20.13 o -40 1797.93/1798.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.58 c 5725 1272 100670 8008922 79 201565 32436 6362 284 20.13 1797.93/1798.58 c 5826 1272 100779 8142783 80 201783 35680 6471 284 20.46 1797.93/1798.58 c 6076 1272 101052 8478042 83 202329 39249 6744 286 21.23 1797.93/1798.58 c 6551 1272 101579 9125041 89 203383 43174 7271 284 23.06 1797.93/1798.58 c 7364 1272 102474 10223953 99 205173 47492 8166 275 26.71 1797.93/1798.58 c 8685 1272 103928 12008328 115 208081 52242 9620 279 31.12 1797.93/1798.58 c 10767 1272 106224 14827759 139 212673 57467 11916 259 41.49 1797.93/1798.58 c 13990 1272 109861 19291746 175 219947 63214 15553 248 56.36 1797.93/1798.58 c 18926 1272 115405 26093111 226 231035 69536 21097 231 81.80 1797.93/1798.58 c 26432 1272 123681 36252963 293 247587 76490 29373 195 134.93 1797.93/1798.58 c 37793 1272 136285 51713093 379 272832 84140 41977 163 231.07 1797.93/1798.58 c 54937 1272 155833 75689873 485 311966 92555 61525 147 371.49 1797.93/1798.58 c Reducing formula size due to memory constraints 1797.93/1798.58 c Memory Limit: 1000.00 MB Used: 1009.02 MB 1797.93/1798.58 c 80756 1272 132993 47614491 358 266097 130290 38685 123 655.31 1797.93/1798.58 c Reducing formula size due to memory constraints 1797.93/1798.58 c Memory Limit: 1000.00 MB Used: 1003.47 MB 1797.93/1798.58 c 119588 1272 125090 37948352 303 250220 130121 30782 115 1036.94 1797.93/1798.58 c Reducing formula size due to memory constraints 1797.93/1798.58 c Memory Limit: 1000.00 MB Used: 1001.07 MB 1797.93/1798.58 c 177940 1272 138169 54042167 391 276378 129909 43861 102 1738.54 1797.93/1798.58 c Resources Exceeded 1797.93/1798.58 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.93/1798.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.58 c 31 184746 19036 209745 145807 63416256 51499 102 1798.02 1797.93/1798.58 c Objective: -40 1797.93/1798.58 s SATISFIABLE 1797.93/1798.58 c Total time: 1798.02 s
OK -40
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656609-1276502179/watcher-2656609-1276502179 -o /tmp/evaluation-result-2656609-1276502179/solver-2656609-1276502179 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656609-1276502179.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 29216 /proc/meminfo: memFree=1720080/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=13180 CPUtime=0 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 23874267 13496320 278 1992294400 134512640 137138936 4289475920 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 3295 278 177 642 0 2089 0 [startup+0.0241 s] /proc/loadavg: 0.92 0.98 1.06 3/106 29216 /proc/meminfo: memFree=1720080/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=13592 CPUtime=0.02 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 475 0 0 0 2 0 0 0 22 0 1 0 23874267 13918208 393 1992294400 134512640 137138936 4289475920 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 3398 394 198 642 0 2192 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13592 [startup+0.101106 s] /proc/loadavg: 0.92 0.98 1.06 3/106 29216 /proc/meminfo: memFree=1720080/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=15380 CPUtime=0.09 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 1045 0 0 0 9 0 0 0 22 0 1 0 23874267 15749120 963 1992294400 134512640 137138936 4289475920 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 3845 963 308 642 0 2639 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15380 [startup+0.301126 s] /proc/loadavg: 0.92 0.98 1.06 3/106 29216 /proc/meminfo: memFree=1720080/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=20468 CPUtime=0.29 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 2606 0 0 0 28 1 0 0 22 0 1 0 23874267 20959232 2524 1992294400 134512640 137138936 4289475920 18446744073709551615 134518667 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 5117 2524 613 642 0 3911 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20468 [startup+0.701164 s] /proc/loadavg: 0.92 0.98 1.06 3/106 29216 /proc/meminfo: memFree=1720080/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=27552 CPUtime=0.69 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 5085 0 0 0 67 2 0 0 23 0 1 0 23874267 28213248 4441 1992294400 134512640 137138936 4289475920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 6888 4441 185 642 0 6244 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27552 [startup+1.50124 s] /proc/loadavg: 0.92 0.98 1.06 2/107 29217 /proc/meminfo: memFree=1702960/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=27552 CPUtime=1.49 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 5085 0 0 0 143 6 0 0 25 0 1 0 23874267 28213248 4441 1992294400 134512640 137138936 4289475920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 6888 4441 185 642 0 6244 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27552 [startup+3.10039 s] /proc/loadavg: 0.92 0.98 1.06 2/107 29217 /proc/meminfo: memFree=1702712/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=27552 CPUtime=3.09 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 5085 0 0 0 298 11 0 0 25 0 1 0 23874267 28213248 4441 1992294400 134512640 137138936 4289475920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 6888 4441 185 642 0 6244 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27552 [startup+6.3007 s] /proc/loadavg: 0.93 0.98 1.06 2/107 29217 /proc/meminfo: memFree=1689568/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=46172 CPUtime=6.29 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 11176 0 0 0 615 14 0 0 25 0 1 0 23874267 47280128 9110 1992294400 134512640 137138936 4289475920 18446744073709551615 136504035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 11543 9110 192 642 0 10899 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46172 [startup+12.7003 s] /proc/loadavg: 0.93 0.98 1.06 2/107 29217 /proc/meminfo: memFree=1648772/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=85104 CPUtime=12.69 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 20902 0 0 0 1250 19 0 0 25 0 1 0 23874267 87146496 18836 1992294400 134512640 137138936 4289475920 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 21276 18836 192 642 0 20632 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 85104 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 1.06 2/107 29217 /proc/meminfo: memFree=1582432/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=148476 CPUtime=25.49 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 36750 0 0 0 2521 28 0 0 25 0 1 0 23874267 152039424 34684 1992294400 134512640 137138936 4289475920 18446744073709551615 134607584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 37119 34684 192 642 0 36475 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 148476 [startup+51.101 s] /proc/loadavg: 0.96 0.98 1.06 2/107 29219 /proc/meminfo: memFree=1480628/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=250772 CPUtime=51.07 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 62319 0 0 0 5066 41 0 0 25 0 1 0 23874267 256790528 60253 1992294400 134512640 137138936 4289475920 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 62693 60253 192 642 0 62049 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 250772 [startup+102.309 s] /proc/loadavg: 0.98 0.98 1.05 2/107 29219 /proc/meminfo: memFree=1315584/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=413916 CPUtime=102.27 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 103107 0 0 0 10163 64 0 0 25 0 1 0 23874267 423849984 101041 1992294400 134512640 137138936 4289475920 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 103479 101041 192 642 0 102835 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 413916 [startup+162.302 s] /proc/loadavg: 0.99 0.98 1.05 2/107 29221 /proc/meminfo: memFree=1176828/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=553572 CPUtime=162.24 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 138027 0 0 0 16139 85 0 0 25 0 1 0 23874267 566857728 135961 1992294400 134512640 137138936 4289475920 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 138393 135961 192 642 0 137749 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 553572 [startup+222.301 s] /proc/loadavg: 0.99 0.98 1.04 2/107 29223 /proc/meminfo: memFree=1061260/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=667724 CPUtime=222.23 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 166560 0 0 0 22117 106 0 0 25 0 1 0 23874267 683749376 164494 1992294400 134512640 137138936 4289475920 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 166931 164494 192 642 0 166287 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 667724 [startup+282.301 s] /proc/loadavg: 0.99 0.98 1.03 2/107 29225 /proc/meminfo: memFree=911344/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=818892 CPUtime=282.19 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 204350 0 0 0 28088 131 0 0 25 0 1 0 23874267 838545408 202284 1992294400 134512640 137138936 4289475920 18446744073709551615 134551808 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/29216/statm: 204723 202284 192 642 0 204079 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 818892 [startup+342.301 s] /proc/loadavg: 0.99 0.98 1.03 2/107 29236 /proc/meminfo: memFree=788832/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=939632 CPUtime=342.16 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 234544 0 0 0 34066 150 0 0 25 0 1 0 23874267 962183168 232478 1992294400 134512640 137138936 4289475920 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 234908 232478 192 642 0 234264 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 939632 [startup+402.302 s] /proc/loadavg: 0.99 0.98 1.02 2/107 29236 /proc/meminfo: memFree=686036/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1042476 CPUtime=402.15 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260258 0 0 0 40046 169 0 0 25 0 1 0 23874267 1067495424 258192 1992294400 134512640 137138936 4289475920 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260619 258192 192 642 0 259975 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 1042476 [startup+462.301 s] /proc/loadavg: 0.99 0.98 1.02 2/107 29238 /proc/meminfo: memFree=682812/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1044672 CPUtime=462.13 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 46041 172 0 0 25 0 1 0 23874267 1069744128 258729 1992294400 134512640 137138936 4289475920 18446744073709551615 134545191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 261168 258729 192 642 0 260524 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 1044672 [startup+522.301 s] /proc/loadavg: 0.99 0.98 1.01 2/107 29240 /proc/meminfo: memFree=682688/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1044672 CPUtime=522.11 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 52035 176 0 0 25 0 1 0 23874267 1069744128 258729 1992294400 134512640 137138936 4289475920 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 261168 258729 192 642 0 260524 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 1044672 [startup+582.301 s] /proc/loadavg: 0.99 0.98 1.01 2/107 29242 /proc/meminfo: memFree=682688/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1044672 CPUtime=582.1 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 58031 179 0 0 25 0 1 0 23874267 1069744128 258729 1992294400 134512640 137138936 4289475920 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 261168 258729 192 642 0 260524 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 1044672 [startup+642.302 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29244 /proc/meminfo: memFree=682564/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1044672 CPUtime=642.09 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 64027 182 0 0 25 0 1 0 23874267 1069744128 258729 1992294400 134512640 137138936 4289475920 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 261168 258729 192 642 0 260524 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 1044672 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=683060/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1121.94 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 111985 209 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134533425 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1043588 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29258 /proc/meminfo: memFree=683060/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1181.92 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 117980 212 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134551701 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1043588 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29260 /proc/meminfo: memFree=682936/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1241.9 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 123975 215 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1043588 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29260 /proc/meminfo: memFree=682812/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1301.88 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 129971 217 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134539695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1043588 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29262 /proc/meminfo: memFree=682812/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1361.86 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 135966 220 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1043588 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29264 /proc/meminfo: memFree=682936/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1421.85 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 141963 222 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134607815 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1043588 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29266 /proc/meminfo: memFree=682936/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1481.83 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 147957 226 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1043588 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29268 /proc/meminfo: memFree=682812/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1541.8 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 153951 229 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1043588 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29268 /proc/meminfo: memFree=682812/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1601.79 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 159948 231 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1043588 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29270 /proc/meminfo: memFree=682812/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1661.77 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 165944 233 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1043588 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29272 /proc/meminfo: memFree=682812/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1721.75 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 171939 236 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134603210 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1043588 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29274 /proc/meminfo: memFree=682564/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1781.73 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 177935 238 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1043588 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29274 /proc/meminfo: memFree=682564/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1791.33 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 178895 238 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1791.33 Current children cumulated vsize (KiB) 1043588 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29274 /proc/meminfo: memFree=682564/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1794.54 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 179215 239 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 1043588 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29274 /proc/meminfo: memFree=682564/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1796.13 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 179374 239 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134598928 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1796.13 Current children cumulated vsize (KiB) 1043588 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29274 /proc/meminfo: memFree=682564/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1796.93 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 179454 239 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134618206 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1796.93 Current children cumulated vsize (KiB) 1043588 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29274 /proc/meminfo: memFree=682564/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1797.73 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 179534 239 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134573854 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (KiB) 1043588 [startup+1798.51 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29274 /proc/meminfo: memFree=682564/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=1043588 CPUtime=1797.93 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202496 260859 0 0 0 179554 239 0 0 25 0 1 0 23874267 1068634112 258474 1992294400 134512640 137138936 4289475920 18446744073709551615 134599709 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29216/statm: 260897 258474 192 642 0 260253 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 1043588 [startup+1798.6 s] /proc/loadavg: 0.99 0.98 1.00 2/107 29274 /proc/meminfo: memFree=682564/2059040 swapFree=4140228/4192956 [pid=29216] ppid=29214 vsize=0 CPUtime=1798.03 /proc/29216/stat : 29216 (bsolo_pb10) R 29214 29216 28605 0 -1 4202500 260860 0 0 0 179562 241 0 0 25 0 1 0 23874267 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/29216/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.68 CPU time (s): 1798.12 CPU user time (s): 1795.62 CPU system time (s): 2.49762 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 1044672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.62 system time used= 2.49762 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 260860 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= 7891 runsolver used 3.03154 second user time and 8.43172 second system time The end
Begin job on node018 at 2010-06-14 09:56:19 IDJOB=2656609 IDBENCH=2256 IDSOLVER=1162 FILE ID=node018/2656609-1276502179 PBS_JOBID= 11173399 Free space on /tmp= 62368 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-4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656609-1276502179/watcher-2656609-1276502179 -o /tmp/evaluation-result-2656609-1276502179/solver-2656609-1276502179 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656609-1276502179.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1a88750537364c45876077f809191628 RANDOM SEED=1086380790 node018.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.248 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.49 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.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1720608 kB Buffers: 119440 kB Cached: 127168 kB SwapCached: 5768 kB Active: 102716 kB Inactive: 156428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1720608 kB SwapTotal: 4192956 kB SwapFree: 4140228 kB Dirty: 6144 kB Writeback: 0 kB AnonPages: 11004 kB Mapped: 12832 kB Slab: 57604 kB PageTables: 3928 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180812 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= 62364 MiB End job on node018 at 2010-06-14 10:26:18