Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -47 | 1798 | 1798.45 |
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: 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-1878193-1245199241.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.014 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.02 0.00/0.02 o -46 11.69/11.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.69/11.79 c 1 200 1247 4286 3 2585 1414 3 40 0.03 11.69/11.79 c 101 200 1347 19343 14 2785 1556 103 2657 0.04 11.69/11.79 c 352 200 1598 57161 35 3287 1712 354 4756 0.07 11.69/11.79 c 827 200 2073 128724 62 4237 1884 829 5783 0.14 11.69/11.79 c 1640 200 2886 251198 87 5863 2073 1642 5597 0.29 11.69/11.79 c 2961 200 4207 450742 107 8505 2281 2963 5534 0.54 11.69/11.79 c 5042 200 3741 380141 101 7528 2510 2497 5036 1.00 11.69/11.79 c 8266 200 4298 463371 107 8642 2762 3054 4569 1.81 11.69/11.79 c 13203 200 3639 363617 99 7324 3039 2395 4078 3.24 11.69/11.79 c 20709 200 5283 611223 115 10612 3343 4039 3581 5.78 11.69/11.79 c 32071 200 4304 463065 107 8654 3678 3060 3081 10.41 11.69/11.79 o -47 1797.95/1798.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.44 c 36599 200 5575 657331 117 11243 1414 4331 3104 11.79 1797.95/1798.44 c 36700 200 2053 125573 61 4153 1556 809 3086 11.89 1797.95/1798.44 c 36950 200 2303 162885 70 4653 1712 1059 3095 11.94 1797.95/1798.44 c 37425 200 2778 233996 84 5603 1884 1534 3114 12.02 1797.95/1798.44 c 38239 200 3592 355872 99 7231 2073 2348 3137 12.19 1797.95/1798.44 c 39559 200 2469 186747 75 4985 2281 1225 3175 12.46 1797.95/1798.44 c 41642 200 4552 498848 109 9151 2510 3308 3224 12.91 1797.95/1798.44 c 44865 200 2500 191497 76 5047 2762 1256 3264 13.74 1797.95/1798.44 c 49801 200 4642 512225 110 9331 3039 3398 3324 14.98 1797.95/1798.44 c 57307 200 3375 322360 95 6797 3343 2131 3291 17.41 1797.95/1798.44 c 68668 200 5506 639451 116 11059 3678 4262 3222 21.31 1797.95/1798.44 c 85812 200 3152 288500 91 6351 4046 1908 3134 27.38 1797.95/1798.44 c 111632 200 4948 557172 112 9943 4451 3704 2905 38.42 1797.95/1798.44 c 150466 200 3840 391261 101 7727 4897 2596 2655 56.66 1797.95/1798.44 c 208818 200 4353 468100 107 8753 5387 3109 2607 80.09 1797.95/1798.44 c 296451 200 5891 698557 118 11829 5926 4647 2344 126.42 1797.95/1798.44 c 428003 200 6450 781405 121 12947 6519 5206 2175 196.76 1797.95/1798.44 c 625437 200 8058 1022565 126 16163 7171 6814 1995 313.42 1797.95/1798.44 c 921689 200 4890 547714 112 9827 7889 3646 1720 535.78 1797.95/1798.44 c 1366171 200 5553 647331 116 11153 8678 4309 1645 830.49 1797.95/1798.44 c 2032999 200 6164 738867 119 12375 9546 4920 1492 1362.19 1797.95/1798.44 c Resources Exceeded 1797.95/1798.44 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.95/1798.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.44 c 33 2558297 261061 2902338 6541 795480 5297 1422 1798.00 1797.95/1798.44 c Objective: -47 1797.95/1798.44 s SATISFIABLE 1797.95/1798.44 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-1878193-1245199241/watcher-1878193-1245199241 -o /tmp/evaluation-result-1878193-1245199241/solver-1878193-1245199241 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878193-1245199241.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.97 0.98 3/65 6704 /proc/meminfo: memFree=1861968/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=10816 CPUtime=0 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 5836361 11075584 248 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 2704 248 175 640 0 2034 0 [startup+0.0487921 s] /proc/loadavg: 1.00 0.97 0.98 3/65 6704 /proc/meminfo: memFree=1861968/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=11644 CPUtime=0.04 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 531 0 0 0 4 0 0 0 20 0 1 0 5836361 11923456 489 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 2911 489 197 640 0 2267 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11644 [startup+0.102795 s] /proc/loadavg: 1.00 0.97 0.98 3/65 6704 /proc/meminfo: memFree=1861968/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=12344 CPUtime=0.09 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 705 0 0 0 9 0 0 0 20 0 1 0 5836361 12640256 663 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 3086 663 197 640 0 2442 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12344 [startup+0.301814 s] /proc/loadavg: 1.00 0.97 0.98 3/65 6704 /proc/meminfo: memFree=1861968/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=14564 CPUtime=0.29 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 1253 0 0 0 29 0 0 0 22 0 1 0 5836361 14913536 1211 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 3641 1212 197 640 0 2997 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14564 [startup+0.702851 s] /proc/loadavg: 1.00 0.97 0.98 3/65 6704 /proc/meminfo: memFree=1861968/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=18588 CPUtime=0.7 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 2260 0 0 0 69 1 0 0 25 0 1 0 5836361 19034112 2218 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 4647 2218 197 640 0 4003 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 18588 [startup+1.50193 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1853832/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=19060 CPUtime=1.49 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 2381 0 0 0 148 1 0 0 25 0 1 0 5836361 19517440 2339 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 4765 2339 197 640 0 4121 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19060 [startup+3.10108 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1852744/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=19528 CPUtime=3.08 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 2508 0 0 0 307 1 0 0 25 0 1 0 5836361 19996672 2466 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 4882 2466 197 640 0 4238 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19528 [startup+6.30138 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1852040/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=20712 CPUtime=6.29 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 2802 0 0 0 626 3 0 0 25 0 1 0 5836361 21209088 2760 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 5178 2760 197 640 0 4534 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20712 [startup+12.702 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1850704/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=21364 CPUtime=12.69 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 2973 0 0 0 1265 4 0 0 25 0 1 0 5836361 21876736 2931 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 5341 2931 197 640 0 4697 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21364 [startup+25.5012 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1850832/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=21288 CPUtime=25.49 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 2973 0 0 0 2541 8 0 0 25 0 1 0 5836361 21798912 2918 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 5322 2918 197 640 0 4678 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21288 [startup+51.1016 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1849424/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=22876 CPUtime=51.07 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 3354 0 0 0 5093 14 0 0 25 0 1 0 5836361 23425024 3299 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 5719 3299 197 640 0 5075 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22876 [startup+102.305 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1847440/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=24744 CPUtime=102.26 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 3833 0 0 0 10199 27 0 0 25 0 1 0 5836361 25337856 3778 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 6186 3778 197 640 0 5542 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 24744 [startup+162.302 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1846352/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=25888 CPUtime=162.25 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 4105 0 0 0 16184 41 0 0 25 0 1 0 5836361 26509312 4050 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 6472 4050 197 640 0 5828 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 25888 [startup+222.302 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1845136/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=27052 CPUtime=222.23 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 4400 0 0 0 22169 54 0 0 25 0 1 0 5836361 27701248 4345 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 6763 4345 197 640 0 6119 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 27052 [startup+282.301 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1845136/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=27052 CPUtime=282.22 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 4402 0 0 0 28155 67 0 0 25 0 1 0 5836361 27701248 4347 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 6763 4347 197 640 0 6119 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 27052 [startup+342.302 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1843792/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=28372 CPUtime=342.21 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 4735 0 0 0 34143 78 0 0 25 0 1 0 5836361 29052928 4680 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 7093 4680 197 640 0 6449 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 28372 [startup+402.302 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1843792/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=28372 CPUtime=402.19 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 4735 0 0 0 40130 89 0 0 25 0 1 0 5836361 29052928 4680 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 7093 4680 197 640 0 6449 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 28372 [startup+462.301 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1843792/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=28372 CPUtime=462.17 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 4735 0 0 0 46116 101 0 0 25 0 1 0 5836361 29052928 4680 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 7093 4680 197 640 0 6449 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 28372 [startup+522.303 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1843792/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=28372 CPUtime=522.16 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 4736 0 0 0 52105 111 0 0 25 0 1 0 5836361 29052928 4681 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 7093 4681 197 640 0 6449 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 28372 [startup+582.302 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1842320/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=29796 CPUtime=582.15 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5097 0 0 0 58091 124 0 0 25 0 1 0 5836361 30511104 5042 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 7449 5042 197 640 0 6805 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 29796 [startup+642.303 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6705 /proc/meminfo: memFree=1842320/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=29796 CPUtime=642.13 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5097 0 0 0 64077 136 0 0 25 0 1 0 5836361 30511104 5042 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 7449 5042 197 640 0 6805 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 29796 [startup+702.303 s] ################ # More data... # ################ /proc/meminfo: memFree=1840592/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=31412 CPUtime=1122.01 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5499 0 0 0 111971 230 0 0 25 0 1 0 5836361 32165888 5444 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 7853 5444 197 640 0 7209 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 31412 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6705 /proc/meminfo: memFree=1840592/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=31412 CPUtime=1181.99 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5499 0 0 0 117958 241 0 0 25 0 1 0 5836361 32165888 5444 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 7853 5444 197 640 0 7209 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 31412 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1840400/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=31412 CPUtime=1241.98 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5499 0 0 0 123946 252 0 0 25 0 1 0 5836361 32165888 5444 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 7853 5444 197 640 0 7209 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 31412 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1840400/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=31412 CPUtime=1301.97 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5499 0 0 0 129936 261 0 0 25 0 1 0 5836361 32165888 5444 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 7853 5444 197 640 0 7209 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 31412 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1840400/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=31412 CPUtime=1361.95 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5499 0 0 0 135922 273 0 0 25 0 1 0 5836361 32165888 5444 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 7853 5444 197 640 0 7209 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 31412 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838672/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1421.94 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5929 0 0 0 141907 287 0 0 25 0 1 0 5836361 33947648 5874 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5874 197 640 0 7644 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 33152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838608/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1481.93 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5929 0 0 0 147893 300 0 0 25 0 1 0 5836361 33947648 5874 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5874 197 640 0 7644 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 33152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838608/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1541.91 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5929 0 0 0 153880 311 0 0 25 0 1 0 5836361 33947648 5874 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5874 197 640 0 7644 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 33152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838672/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1601.89 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5934 0 0 0 159866 323 0 0 25 0 1 0 5836361 33947648 5879 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5879 197 640 0 7644 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 33152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838608/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1661.88 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5934 0 0 0 165854 334 0 0 25 0 1 0 5836361 33947648 5879 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5879 197 640 0 7644 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 33152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838608/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1721.87 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5935 0 0 0 171842 345 0 0 25 0 1 0 5836361 33947648 5880 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5880 197 640 0 7644 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 33152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838608/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1781.85 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5935 0 0 0 177830 355 0 0 25 0 1 0 5836361 33947648 5880 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5880 197 640 0 7644 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 33152 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838608/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1791.45 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5935 0 0 0 178788 357 0 0 25 0 1 0 5836361 33947648 5880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5880 197 640 0 7644 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 33152 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838608/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1794.65 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5935 0 0 0 179107 358 0 0 25 0 1 0 5836361 33947648 5880 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5880 197 640 0 7644 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 33152 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838608/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1796.25 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5935 0 0 0 179267 358 0 0 25 0 1 0 5836361 33947648 5880 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5880 197 640 0 7644 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 33152 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838608/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1797.04 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5935 0 0 0 179346 358 0 0 25 0 1 0 5836361 33947648 5880 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5880 197 640 0 7644 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 33152 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838608/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1797.44 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5935 0 0 0 179386 358 0 0 25 0 1 0 5836361 33947648 5880 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5880 197 640 0 7644 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (KiB) 33152 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838608/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1797.84 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5935 0 0 0 179426 358 0 0 25 0 1 0 5836361 33947648 5880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5880 197 640 0 7644 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 33152 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/66 6711 /proc/meminfo: memFree=1838608/2055920 swapFree=4192956/4192956 [pid=6704] ppid=6702 vsize=33152 CPUtime=1797.95 /proc/6704/stat : 6704 (bsolo) R 6702 6704 6090 0 -1 4194304 5935 0 0 0 179437 358 0 0 25 0 1 0 5836361 33947648 5880 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6704/statm: 8288 5880 197 640 0 7644 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 33152 Child status: 0 Real time (s): 1798.45 CPU time (s): 1798 CPU user time (s): 1794.42 CPU system time (s): 3.58845 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 33160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.42 system time used= 3.58845 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5937 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= 3 involuntary context switches= 3319 runsolver used 1.92371 second user time and 4.09438 second system time The end
Begin job on node8 at 2009-06-17 02:40:41 IDJOB=1878193 IDBENCH=48173 IDSOLVER=700 FILE ID=node8/1878193-1245199241 PBS_JOBID= 9368320 Free space on /tmp= 66288 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_3.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878193-1245199241/watcher-1878193-1245199241 -o /tmp/evaluation-result-1878193-1245199241/solver-1878193-1245199241 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878193-1245199241.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 60cf9918356073587dd2c65f46896dfb RANDOM SEED=1935897200 node8.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.236 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.236 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1862512 kB Buffers: 46692 kB Cached: 101480 kB SwapCached: 0 kB Active: 104544 kB Inactive: 57352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1862512 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3964 kB Writeback: 0 kB Mapped: 23496 kB Slab: 17276 kB Committed_AS: 81712 kB PageTables: 1376 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-1878193-1245199241.opb Free space on /tmp at the end= 66284 MiB End job on node8 at 2009-06-17 03:10:40