Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -47 | 1798 | 1799 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_3.opb |
MD5SUM | 60cf9918356073587dd2c65f46896dfb |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -54 |
Best CPU time to get the best result obtained on this benchmark | 1800.2 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2488 |
Sum of products size (including duplicates) | 4976 |
Number of different products | 1244 |
Sum of products size | 2488 |
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: Cardinality Constraint 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-1876763-1245199236.opb 0.00/0.00 c File size is 102565 bytes. 0.00/0.01 c Highest Coefficient sum: 200 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 s 0.00/0.01 c Var: 1444 Constr: 2888 1444/200/1244 Lit: 12440 Watch. Lit: 8708 0.00/0.01 c Obj. Vars: 200 (13.8504 % of total variables) 0.00/0.02 c Pre-processing Time: 0.024 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 200 1244 3732 3 2488 414 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 0.00/0.02 o -45 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 200 1245 3932 3 2535 1414 1 0 0.03 0.00/0.02 o -46 701.10/701.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 701.10/701.50 c 1 200 1247 4286 3 2585 1414 3 40 0.03 701.10/701.50 c 101 200 1347 19343 14 2785 1556 103 1870 0.05 701.10/701.50 c 352 200 1598 57161 35 3287 1712 354 2728 0.13 701.10/701.50 c 827 200 2076 129165 62 4243 1884 832 2996 0.28 701.10/701.50 c 1640 200 2889 251639 87 5869 2073 1645 2907 0.56 701.10/701.50 c 2961 200 4210 451183 107 8511 2281 2966 2809 1.05 701.10/701.50 c 5042 200 3747 381018 101 7583 2510 2503 2620 1.92 701.10/701.50 c 8266 200 4321 466836 108 8732 2762 3077 2465 3.35 701.10/701.50 c 13202 200 3685 368791 100 7460 3039 2441 2314 5.71 701.10/701.50 c 20708 200 5367 623623 116 10780 3343 4123 2091 9.90 701.10/701.50 c 32070 200 4461 479402 107 9049 3678 3217 1955 16.40 701.10/701.50 c 49215 200 5444 632689 116 10934 4046 4200 1908 25.79 701.10/701.50 c 75035 200 3910 402864 103 7910 4451 2666 1794 41.83 701.10/701.50 c 113867 200 6598 781891 118 13275 4897 5354 1733 65.67 701.10/701.50 c 172219 200 7354 907792 123 14837 5387 6110 1639 105.04 701.10/701.50 c 259852 200 5202 599082 115 10450 5926 3958 1537 169.06 701.10/701.50 c 391405 200 6196 748282 120 12438 6519 4952 1497 261.46 701.10/701.50 c 588837 200 8429 1034877 122 16989 7171 7185 1388 424.13 701.10/701.50 c 885089 200 6592 765761 116 13295 7889 5348 1360 650.75 701.10/701.50 o -47 1797.90/1798.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.99 c 942881 200 5761 632720 109 11647 1414 4517 1344 701.12 1797.90/1798.99 c 942982 200 2055 116738 56 4157 1556 811 1344 701.21 1797.90/1798.99 c 943232 200 2305 154158 66 4657 1712 1061 1344 701.29 1797.90/1798.99 c 943707 200 2781 225415 81 5609 1884 1537 1345 701.45 1797.90/1798.99 c 944520 200 3595 347144 96 7237 2073 2351 1345 701.73 1797.90/1798.99 c 945840 200 2488 187192 75 5023 2281 1244 1346 702.28 1797.90/1798.99 c 947921 200 4578 496053 108 9288 2510 3334 1348 703.11 1797.90/1798.99 c 951145 200 2500 191248 76 5047 2762 1256 1350 704.49 1797.90/1798.99 c 956081 200 4647 511978 110 9341 3039 3403 1352 706.64 1797.90/1798.99 c 963587 200 3398 323220 95 6972 3343 2154 1356 710.42 1797.90/1798.99 c 974948 200 5572 641116 115 11191 3678 4328 1361 716.24 1797.90/1798.99 c 992093 200 3308 293517 88 6699 4046 2064 1367 725.63 1797.90/1798.99 c 1017912 200 5265 602116 114 10577 4451 4021 1375 739.80 1797.90/1798.99 c 1056745 200 4264 455360 106 8575 4897 3020 1387 761.78 1797.90/1798.99 c 1115098 200 5069 564821 111 10352 5387 3825 1389 802.69 1797.90/1798.99 c 1202731 200 6972 846698 121 14036 5926 5728 1388 865.93 1797.90/1798.99 c 1334284 200 8036 1002815 124 16163 6519 6792 1394 957.12 1797.90/1798.99 c 1531718 200 5838 678359 116 11723 7171 4594 1375 1113.58 1797.90/1798.99 c 1827970 200 9252 1198960 129 18639 7889 8008 1366 1337.58 1797.90/1798.99 c 2272452 200 6219 743898 119 12530 8678 4975 1326 1713.53 1797.90/1798.99 c Resources Exceeded 1797.90/1798.99 v x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 x93 -x94 -x95 x96 x97 -x98 x99 x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 x143 -x144 -x145 x146 -x147 -x148 x149 -x150 x151 -x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 x165 -x166 x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 1797.90/1798.99 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.99 c 40 2364736 260534 2709001 7062 804177 5818 1315 1798.00 1797.90/1798.99 c Objective: -47 1797.90/1798.99 s SATISFIABLE 1797.90/1798.99 c Total time: 1798 s
OK -47
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876763-1245199236/watcher-1876763-1245199236 -o /tmp/evaluation-result-1876763-1245199236/solver-1876763-1245199236 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876763-1245199236.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 0.99 3/64 5277 /proc/meminfo: memFree=1839712/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=10816 CPUtime=0 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 187516541 11075584 249 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 2704 249 175 640 0 2034 0 [startup+0.0107229 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5277 /proc/meminfo: memFree=1839712/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=10952 CPUtime=0 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 315 0 0 0 0 0 0 0 18 0 1 0 187516541 11214848 299 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 2738 300 186 640 0 2068 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10952 [startup+0.101736 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5277 /proc/meminfo: memFree=1839712/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=11744 CPUtime=0.09 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 573 0 0 0 9 0 0 0 18 0 1 0 187516541 12025856 531 1992294400 134512640 137136520 4294956256 18446744073709551615 136295682 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 2936 531 197 640 0 2292 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11744 [startup+0.301763 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5277 /proc/meminfo: memFree=1839712/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=13076 CPUtime=0.29 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 884 0 0 0 29 0 0 0 19 0 1 0 187516541 13389824 842 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 3269 842 197 640 0 2625 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13076 [startup+0.70182 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5277 /proc/meminfo: memFree=1839712/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=15288 CPUtime=0.69 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 1433 0 0 0 68 1 0 0 23 0 1 0 187516541 15654912 1391 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 3822 1391 197 640 0 3178 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15288 [startup+1.50193 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5278 /proc/meminfo: memFree=1833432/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=18560 CPUtime=1.49 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 2264 0 0 0 148 1 0 0 25 0 1 0 187516541 19005440 2222 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 4640 2222 197 640 0 3996 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18560 [startup+3.10116 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5278 /proc/meminfo: memFree=1831512/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=19024 CPUtime=3.09 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 2380 0 0 0 307 2 0 0 25 0 1 0 187516541 19480576 2338 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 4756 2338 198 640 0 4112 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19024 [startup+6.30161 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5278 /proc/meminfo: memFree=1830424/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=19488 CPUtime=6.29 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 2509 0 0 0 626 3 0 0 25 0 1 0 187516541 19955712 2467 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 4872 2467 198 640 0 4228 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19488 [startup+12.7015 s] /proc/loadavg: 0.94 0.98 0.99 2/65 5278 /proc/meminfo: memFree=1829288/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=20712 CPUtime=12.68 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 2797 0 0 0 1264 4 0 0 25 0 1 0 187516541 21209088 2755 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 5178 2755 198 640 0 4534 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20712 [startup+25.5023 s] /proc/loadavg: 0.95 0.98 0.99 2/65 5278 /proc/meminfo: memFree=1828712/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=21388 CPUtime=25.48 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 2974 0 0 0 2542 6 0 0 25 0 1 0 187516541 21901312 2932 1992294400 134512640 137136520 4294956256 18446744073709551615 136518854 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 5347 2932 198 640 0 4703 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21388 [startup+51.103 s] /proc/loadavg: 0.96 0.98 0.99 2/65 5278 /proc/meminfo: memFree=1827176/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=22948 CPUtime=51.07 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 3355 0 0 0 5096 11 0 0 25 0 1 0 187516541 23498752 3313 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 5737 3313 198 640 0 5093 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22948 [startup+102.306 s] /proc/loadavg: 1.06 1.00 1.00 2/65 5278 /proc/meminfo: memFree=1826152/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=23824 CPUtime=102.24 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 3587 0 0 0 10203 21 0 0 25 0 1 0 187516541 24395776 3545 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 5956 3545 198 640 0 5312 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 23824 [startup+162.303 s] /proc/loadavg: 1.12 1.03 1.01 2/65 5278 /proc/meminfo: memFree=1825192/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=24824 CPUtime=162.2 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 3836 0 0 0 16190 30 0 0 25 0 1 0 187516541 25419776 3794 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 6206 3794 198 640 0 5562 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 24824 [startup+222.302 s] /proc/loadavg: 1.11 1.04 1.01 2/65 5278 /proc/meminfo: memFree=1824040/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=25928 CPUtime=222.16 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 4113 0 0 0 22175 41 0 0 25 0 1 0 187516541 26550272 4071 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 6482 4071 198 640 0 5838 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 25928 [startup+282.303 s] /proc/loadavg: 1.04 1.03 1.00 2/65 5278 /proc/meminfo: memFree=1822824/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=27164 CPUtime=282.13 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 4420 0 0 0 28162 51 0 0 25 0 1 0 187516541 27815936 4378 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 6791 4378 198 640 0 6147 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 27164 [startup+342.301 s] /proc/loadavg: 1.01 1.02 1.00 2/65 5278 /proc/meminfo: memFree=1822760/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=27152 CPUtime=342.11 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 4421 0 0 0 34152 59 0 0 25 0 1 0 187516541 27803648 4379 1992294400 134512640 137136520 4294956256 18446744073709551615 134544587 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 6788 4379 198 640 0 6144 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 27152 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5278 /proc/meminfo: memFree=1822760/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=27120 CPUtime=402.08 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 4421 0 0 0 40139 69 0 0 25 0 1 0 187516541 27770880 4377 1992294400 134512640 137136520 4294956256 18446744073709551615 136502067 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 6780 4377 198 640 0 6136 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 27120 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5278 /proc/meminfo: memFree=1821480/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=28436 CPUtime=462.05 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 4770 0 0 0 46127 78 0 0 25 0 1 0 187516541 29118464 4705 1992294400 134512640 137136520 4294956256 18446744073709551615 136501974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5277/statm: 7109 4705 198 640 0 6465 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 28436 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5278 /proc/meminfo: memFree=1821480/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=28436 CPUtime=522.01 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 4770 0 0 0 52113 88 0 0 25 0 1 0 187516541 29118464 4705 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7109 4705 198 640 0 6465 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 28436 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5278 /proc/meminfo: memFree=1821480/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=28436 CPUtime=581.99 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 4770 0 0 0 58100 99 0 0 25 0 1 0 187516541 29118464 4705 1992294400 134512640 137136520 4294956256 18446744073709551615 136502560 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7109 4705 198 640 0 6465 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 28436 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5278 /proc/meminfo: memFree=1821480/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=28436 CPUtime=641.95 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 4770 0 0 0 64088 107 0 0 25 0 1 0 187516541 29118464 4705 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7109 4705 198 640 0 6465 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 28436 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1821032/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=28580 CPUtime=1061.71 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5098 0 0 0 105996 175 0 0 25 0 1 0 187516541 29265920 4742 1992294400 134512640 137136520 4294956256 18446744073709551615 136499604 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7145 4742 198 640 0 6501 0 Current children cumulated CPU time (s) 1061.71 Current children cumulated vsize (KiB) 28580 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5280 /proc/meminfo: memFree=1821032/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=28552 CPUtime=1121.69 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5098 0 0 0 111985 184 0 0 25 0 1 0 187516541 29237248 4735 1992294400 134512640 137136520 4294956256 18446744073709551615 134616725 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7138 4735 198 640 0 6494 0 Current children cumulated CPU time (s) 1121.69 Current children cumulated vsize (KiB) 28552 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5280 /proc/meminfo: memFree=1821096/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=28484 CPUtime=1181.64 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5098 0 0 0 117971 193 0 0 25 0 1 0 187516541 29167616 4718 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7121 4718 198 640 0 6477 0 Current children cumulated CPU time (s) 1181.64 Current children cumulated vsize (KiB) 28484 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1821024/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=28460 CPUtime=1241.6 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5098 0 0 0 123958 202 0 0 25 0 1 0 187516541 29143040 4712 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7115 4712 198 640 0 6471 0 Current children cumulated CPU time (s) 1241.6 Current children cumulated vsize (KiB) 28460 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1821152/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=28432 CPUtime=1301.57 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5098 0 0 0 129945 212 0 0 25 0 1 0 187516541 29114368 4705 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7108 4705 198 640 0 6464 0 Current children cumulated CPU time (s) 1301.57 Current children cumulated vsize (KiB) 28432 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1819936/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=29804 CPUtime=1361.53 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5437 0 0 0 135930 223 0 0 25 0 1 0 187516541 30519296 5033 1992294400 134512640 137136520 4294956256 18446744073709551615 134544010 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7451 5033 198 640 0 6807 0 Current children cumulated CPU time (s) 1361.53 Current children cumulated vsize (KiB) 29804 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1819872/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=29804 CPUtime=1421.52 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5447 0 0 0 141919 233 0 0 25 0 1 0 187516541 30519296 5043 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7451 5043 198 640 0 6807 0 Current children cumulated CPU time (s) 1421.52 Current children cumulated vsize (KiB) 29804 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1819872/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=29804 CPUtime=1481.49 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5447 0 0 0 147906 243 0 0 25 0 1 0 187516541 30519296 5043 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7451 5043 198 640 0 6807 0 Current children cumulated CPU time (s) 1481.49 Current children cumulated vsize (KiB) 29804 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1819944/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=29780 CPUtime=1541.45 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5447 0 0 0 153891 254 0 0 25 0 1 0 187516541 30494720 5042 1992294400 134512640 137136520 4294956256 18446744073709551615 134544001 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7445 5042 198 640 0 6801 0 Current children cumulated CPU time (s) 1541.45 Current children cumulated vsize (KiB) 29780 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1819944/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=29824 CPUtime=1601.41 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5448 0 0 0 159879 262 0 0 25 0 1 0 187516541 30539776 5043 1992294400 134512640 137136520 4294956256 18446744073709551615 134554417 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7456 5043 198 640 0 6812 0 Current children cumulated CPU time (s) 1601.41 Current children cumulated vsize (KiB) 29824 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1819944/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=29800 CPUtime=1661.38 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5448 0 0 0 165866 272 0 0 25 0 1 0 187516541 30515200 5043 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7450 5043 198 640 0 6806 0 Current children cumulated CPU time (s) 1661.38 Current children cumulated vsize (KiB) 29800 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1818472/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=31284 CPUtime=1721.35 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5831 0 0 0 171853 282 0 0 25 0 1 0 187516541 32034816 5405 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7821 5405 198 640 0 7177 0 Current children cumulated CPU time (s) 1721.35 Current children cumulated vsize (KiB) 31284 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1818216/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=31404 CPUtime=1781.3 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5866 0 0 0 177839 291 0 0 25 0 1 0 187516541 32157696 5440 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7851 5440 198 640 0 7207 0 Current children cumulated CPU time (s) 1781.3 Current children cumulated vsize (KiB) 31404 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1818216/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=31404 CPUtime=1790.9 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5866 0 0 0 178798 292 0 0 25 0 1 0 187516541 32157696 5440 1992294400 134512640 137136520 4294956256 18446744073709551615 134576626 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7851 5440 198 640 0 7207 0 Current children cumulated CPU time (s) 1790.9 Current children cumulated vsize (KiB) 31404 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1818216/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=31404 CPUtime=1794.1 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5866 0 0 0 179117 293 0 0 25 0 1 0 187516541 32157696 5440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7851 5440 198 640 0 7207 0 Current children cumulated CPU time (s) 1794.1 Current children cumulated vsize (KiB) 31404 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1818216/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=31404 CPUtime=1795.7 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5866 0 0 0 179277 293 0 0 25 0 1 0 187516541 32157696 5440 1992294400 134512640 137136520 4294956256 18446744073709551615 134544252 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7851 5440 198 640 0 7207 0 Current children cumulated CPU time (s) 1795.7 Current children cumulated vsize (KiB) 31404 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1818216/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=31404 CPUtime=1797.3 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5866 0 0 0 179436 294 0 0 25 0 1 0 187516541 32157696 5440 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7851 5440 198 640 0 7207 0 Current children cumulated CPU time (s) 1797.3 Current children cumulated vsize (KiB) 31404 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1818216/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=31404 CPUtime=1797.7 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5866 0 0 0 179476 294 0 0 25 0 1 0 187516541 32157696 5440 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7851 5440 198 640 0 7207 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (KiB) 31404 [startup+1798.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5286 /proc/meminfo: memFree=1818216/2055920 swapFree=4181384/4192956 [pid=5277] ppid=5275 vsize=31404 CPUtime=1797.9 /proc/5277/stat : 5277 (bsolo) R 5275 5277 5232 0 -1 4194304 5866 0 0 0 179496 294 0 0 25 0 1 0 187516541 32157696 5440 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5277/statm: 7851 5440 198 640 0 7207 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 31404 Child status: 0 Real time (s): 1799 CPU time (s): 1798 CPU user time (s): 1795.06 CPU system time (s): 2.94855 CPU usage (%): 99.9448 Max. virtual memory (cumulated for all children) (KiB): 31404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.06 system time used= 2.94855 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5868 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= 5 involuntary context switches= 6883 runsolver used 1.49577 second user time and 5.05323 second system time The end
Begin job on node49 at 2009-06-17 02:40:36 IDJOB=1876763 IDBENCH=48173 IDSOLVER=699 FILE ID=node49/1876763-1245199236 PBS_JOBID= 9368346 Free space on /tmp= 66028 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_3.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876763-1245199236/watcher-1876763-1245199236 -o /tmp/evaluation-result-1876763-1245199236/solver-1876763-1245199236 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876763-1245199236.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 60cf9918356073587dd2c65f46896dfb RANDOM SEED=1101538321 node49.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: 1840320 kB Buffers: 54848 kB Cached: 92756 kB SwapCached: 4580 kB Active: 53180 kB Inactive: 102408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1840320 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 4184 kB Writeback: 0 kB Mapped: 13708 kB Slab: 45836 kB Committed_AS: 182032 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876763-1245199236.opb Free space on /tmp at the end= 66024 MiB End job on node49 at 2009-06-17 03:10:35