Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -17 | 1798.02 | 1798.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_1.opb |
MD5SUM | 8c398fbb12ba7dbf676dd8375a76e0de |
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 | -27 |
Best CPU time to get the best result obtained on this benchmark | 1789.5 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
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) | 2496 |
Sum of products size (including duplicates) | 4992 |
Number of different products | 1248 |
Sum of products size | 2496 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2671070-1276717036.opb 0.00/0.00 c File size is 106648 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.017 s 0.00/0.02 c Var: 1448 Constr: 2798 1348/202/1248 Lit: 10584 Watch. Lit: 9138 0.00/0.02 c Obj. Vars: 100 (6.90608 % of total variables) 0.19/0.28 c Pre-processing Time: 0.281 s 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 1448 2798 10584 3 9138 19768 0 0 0.28 0.19/0.28 c Switching off lower bounding mode. 0.19/0.28 o -1 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 1448 2799 10684 3 9141 19834 1 0 0.28 0.19/0.28 o -2 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 3 1448 2803 11101 3 9151 19868 5 10 0.28 0.29/0.32 c 103 1448 2903 25650 8 9351 21855 105 325 0.32 0.29/0.32 o -3 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 116 1448 2917 27051 9 9382 19901 119 363 0.32 0.79/0.88 c 216 1448 3017 41743 13 9582 21892 219 613 0.35 0.79/0.88 c 466 1448 3267 75114 22 10082 24082 469 1139 0.41 0.79/0.88 c 941 1448 3742 146754 39 11032 26491 944 1650 0.57 0.79/0.88 c 1754 1448 4555 275190 60 12658 29141 1757 2120 0.83 0.79/0.88 o -15 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 1882 1448 4684 285800 61 12931 20301 1886 2141 0.88 0.79/0.89 o -16 74.46/74.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 74.46/74.56 c 1918 1448 4721 289662 61 13021 20334 1923 2140 0.90 74.46/74.56 c 2018 1448 4821 303609 62 13221 22368 2023 2174 0.93 74.46/74.56 c 2268 1448 5071 340122 67 13721 24605 2273 2268 1.00 74.46/74.56 c 2743 1448 5546 410103 73 14671 27066 2748 2429 1.13 74.46/74.56 c 3556 1448 6359 524598 82 16297 29773 3561 2563 1.39 74.46/74.56 c 4876 1448 7679 718126 93 18937 32751 4881 2699 1.81 74.46/74.56 c 6957 1448 9760 978712 100 23099 36027 6962 3058 2.27 74.46/74.56 c 10180 1448 12983 1317454 101 29545 39630 10185 3405 2.99 74.46/74.56 c 15116 1448 17919 1941060 108 39417 43594 15121 2970 5.09 74.46/74.56 c 22622 1448 25425 2736620 107 54429 47954 22627 2814 8.04 74.46/74.56 c 33983 1448 36786 4247556 115 77151 52750 33988 2350 14.46 74.46/74.56 c 51127 1448 53930 6563093 121 111439 58026 51132 1737 29.42 74.46/74.56 c 76946 1448 32228 4498730 139 68014 63829 29430 1041 73.86 74.46/74.56 o -17 1797.96/1798.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.54 c 77357 1448 32640 4530434 138 68855 20368 29842 1037 74.54 1797.96/1798.54 c 77457 1448 13083 1601852 122 29725 22405 10285 983 78.78 1797.96/1798.54 c 77707 1448 13333 1635879 122 30225 24646 10535 984 78.92 1797.96/1798.54 c 78182 1448 13808 1701335 123 31175 27111 11010 984 79.39 1797.96/1798.54 c 78995 1448 14621 1812780 123 32801 29823 11823 982 80.43 1797.96/1798.54 c 80315 1448 15941 2005413 125 35441 32806 13143 989 81.13 1797.96/1798.54 c 82396 1448 18022 2232643 123 39603 36087 15224 1005 81.95 1797.96/1798.54 c 85619 1448 21245 2559589 120 46049 39696 18447 1028 83.24 1797.96/1798.54 c 90555 1448 26181 3060325 116 55921 43666 23383 1057 85.64 1797.96/1798.54 c 98061 1448 33687 3822888 113 70933 48033 30889 1093 89.69 1797.96/1798.54 c 109422 1448 45048 4977672 110 93655 52837 42250 1117 97.94 1797.96/1798.54 c 126566 1448 19763 1941454 98 43085 58121 16965 1033 122.42 1797.96/1798.54 c 152385 1448 45582 5460467 119 94723 63934 42784 1095 139.11 1797.96/1798.54 c 191217 1448 31005 4390144 141 65569 70328 28207 857 223.06 1797.96/1798.54 c 249569 1448 29636 4319666 145 62831 77361 26838 758 329.20 1797.96/1798.54 c 337202 1448 50611 7848926 155 104781 85098 47813 682 494.39 1797.96/1798.54 c 468754 1448 33466 4725454 141 70491 93608 30668 590 794.25 1797.96/1798.54 c 666186 1448 65369 10387654 158 134297 102969 62571 548 1214.00 1797.96/1798.54 c Resources Exceeded 1797.96/1798.54 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 -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 -x1445 -x1446 -x1447 -x1448 -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 1797.96/1798.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.54 c 40 870150 191 876790 85375 12163661 82577 483 1798.00 1797.96/1798.54 c Objective: -17 1797.96/1798.54 s SATISFIABLE 1797.96/1798.54 c Total time: 1798 s
OK -17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671070-1276717036/watcher-2671070-1276717036 -o /tmp/evaluation-result-2671070-1276717036/solver-2671070-1276717036 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671070-1276717036.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 1.00 1.00 3/106 19556 /proc/meminfo: memFree=1811380/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=11032 CPUtime=0 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 339 0 0 0 0 0 0 0 19 0 1 0 12997387 11296768 258 1992294400 134512640 137138936 4292239776 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 2758 258 176 642 0 2087 0 [startup+0.081641 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19556 /proc/meminfo: memFree=1811380/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=11460 CPUtime=0.08 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 523 0 0 0 8 0 0 0 21 0 1 0 12997387 11735040 415 1992294400 134512640 137138936 4292239776 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 2865 415 184 642 0 2221 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11460 [startup+0.101643 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19556 /proc/meminfo: memFree=1811380/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=11460 CPUtime=0.1 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 523 0 0 0 10 0 0 0 21 0 1 0 12997387 11735040 415 1992294400 134512640 137138936 4292239776 18446744073709551615 136504373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 2865 415 184 642 0 2221 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11460 [startup+0.301664 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19556 /proc/meminfo: memFree=1811380/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=11592 CPUtime=0.29 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 575 0 0 0 29 0 0 0 21 0 1 0 12997387 11870208 467 1992294400 134512640 137138936 4292239776 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 2898 467 191 642 0 2254 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11592 [startup+0.701705 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19556 /proc/meminfo: memFree=1811380/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=14208 CPUtime=0.69 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 1214 0 0 0 69 0 0 0 22 0 1 0 12997387 14548992 1106 1992294400 134512640 137138936 4292239776 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 3552 1106 191 642 0 2908 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14208 [startup+1.50079 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19557 /proc/meminfo: memFree=1806040/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=19100 CPUtime=1.49 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 2431 0 0 0 148 1 0 0 25 0 1 0 12997387 19558400 2323 1992294400 134512640 137138936 4292239776 18446744073709551615 136504489 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 4775 2323 191 642 0 4131 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19100 [startup+3.10095 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19557 /proc/meminfo: memFree=1798352/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=29936 CPUtime=3.09 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 5163 0 0 0 306 3 0 0 25 0 1 0 12997387 30654464 5055 1992294400 134512640 137138936 4292239776 18446744073709551615 134575820 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 7484 5055 191 642 0 6840 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29936 [startup+6.30128 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19557 /proc/meminfo: memFree=1782232/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=42672 CPUtime=6.29 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 8342 0 0 0 622 7 0 0 25 0 1 0 12997387 43696128 8234 1992294400 134512640 137138936 4292239776 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 10668 8234 191 642 0 10024 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42672 [startup+12.7009 s] /proc/loadavg: 1.08 1.02 1.01 2/107 19557 /proc/meminfo: memFree=1759680/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=63752 CPUtime=12.69 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 13596 0 0 0 1257 12 0 0 25 0 1 0 12997387 65282048 13488 1992294400 134512640 137138936 4292239776 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 15938 13488 191 642 0 15294 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63752 [startup+25.5013 s] /proc/loadavg: 1.06 1.02 1.00 2/107 19557 /proc/meminfo: memFree=1730416/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=91636 CPUtime=25.48 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 20585 0 0 0 2527 21 0 0 25 0 1 0 12997387 93835264 20477 1992294400 134512640 137138936 4292239776 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 22909 20477 191 642 0 22265 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 91636 [startup+51.1019 s] /proc/loadavg: 1.04 1.01 1.00 2/107 19557 /proc/meminfo: memFree=1704748/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=116452 CPUtime=51.08 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 26845 0 0 0 5078 30 0 0 25 0 1 0 12997387 119246848 26679 1992294400 134512640 137138936 4292239776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 29113 26679 191 642 0 28469 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 116452 [startup+102.309 s] /proc/loadavg: 1.02 1.01 1.00 2/107 19559 /proc/meminfo: memFree=1704500/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=116452 CPUtime=102.26 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 26845 0 0 0 10186 40 0 0 25 0 1 0 12997387 119246848 26679 1992294400 134512640 137138936 4292239776 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 29113 26679 191 642 0 28469 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 116452 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19561 /proc/meminfo: memFree=1693836/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=129044 CPUtime=162.24 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 29987 0 0 0 16170 54 0 0 25 0 1 0 12997387 132141056 29821 1992294400 134512640 137138936 4292239776 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 32261 29821 191 642 0 31617 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 129044 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19563 /proc/meminfo: memFree=1690736/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=130240 CPUtime=222.22 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 30335 0 0 0 22166 56 0 0 25 0 1 0 12997387 133365760 30105 1992294400 134512640 137138936 4292239776 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 32560 30105 191 642 0 31916 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 130240 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19563 /proc/meminfo: memFree=1660976/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=159916 CPUtime=282.21 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 37846 0 0 0 28146 75 0 0 25 0 1 0 12997387 163753984 37546 1992294400 134512640 137138936 4292239776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 39979 37546 191 642 0 39335 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 159916 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19565 /proc/meminfo: memFree=1660852/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=159916 CPUtime=342.2 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 37846 0 0 0 34138 82 0 0 25 0 1 0 12997387 163753984 37546 1992294400 134512640 137138936 4292239776 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 39979 37546 191 642 0 39335 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 159916 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19567 /proc/meminfo: memFree=1660852/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=160576 CPUtime=402.18 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 38008 0 0 0 40124 94 0 0 25 0 1 0 12997387 164429824 37708 1992294400 134512640 137138936 4292239776 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 40144 37708 191 642 0 39500 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 160576 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19569 /proc/meminfo: memFree=1640640/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=180068 CPUtime=462.16 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 42963 0 0 0 46110 106 0 0 25 0 1 0 12997387 184389632 42586 1992294400 134512640 137138936 4292239776 18446744073709551615 134542922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 45017 42586 191 642 0 44373 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 180068 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19571 /proc/meminfo: memFree=1640516/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=180068 CPUtime=522.13 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 42963 0 0 0 52092 121 0 0 25 0 1 0 12997387 184389632 42586 1992294400 134512640 137138936 4292239776 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 45017 42586 191 642 0 44373 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 180068 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19571 /proc/meminfo: memFree=1628240/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=192412 CPUtime=582.12 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 46115 0 0 0 58080 132 0 0 25 0 1 0 12997387 197029888 45653 1992294400 134512640 137138936 4292239776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 48103 45653 191 642 0 47459 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 192412 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19573 /proc/meminfo: memFree=1628116/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=192412 CPUtime=642.11 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 46115 0 0 0 64073 138 0 0 25 0 1 0 12997387 197029888 45653 1992294400 134512640 137138936 4292239776 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 48103 45653 191 642 0 47459 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 192412 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1604928/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=215740 CPUtime=1061.98 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 52034 0 0 0 105990 208 0 0 25 0 1 0 12997387 220917760 51479 1992294400 134512640 137138936 4292239776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 53935 51479 191 642 0 53291 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 215740 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19587 /proc/meminfo: memFree=1604804/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=215740 CPUtime=1121.96 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 52034 0 0 0 111988 208 0 0 25 0 1 0 12997387 220917760 51479 1992294400 134512640 137138936 4292239776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 53935 51479 191 642 0 53291 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 215740 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19587 /proc/meminfo: memFree=1604680/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=215740 CPUtime=1181.94 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 52034 0 0 0 117976 218 0 0 25 0 1 0 12997387 220917760 51479 1992294400 134512640 137138936 4292239776 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 53935 51479 191 642 0 53291 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 215740 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19589 /proc/meminfo: memFree=1604432/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=215740 CPUtime=1241.92 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 52034 0 0 0 123962 230 0 0 25 0 1 0 12997387 220917760 51479 1992294400 134512640 137138936 4292239776 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 53935 51479 191 642 0 53291 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 215740 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19591 /proc/meminfo: memFree=1604308/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=215740 CPUtime=1301.91 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 52034 0 0 0 129953 238 0 0 25 0 1 0 12997387 220917760 51479 1992294400 134512640 137138936 4292239776 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 53935 51479 191 642 0 53291 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 215740 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19593 /proc/meminfo: memFree=1582236/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=238100 CPUtime=1361.89 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 57656 0 0 0 135939 250 0 0 25 0 1 0 12997387 243814400 57101 1992294400 134512640 137138936 4292239776 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 59525 57101 191 642 0 58881 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 238100 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19595 /proc/meminfo: memFree=1576780/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=242864 CPUtime=1421.88 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 58940 0 0 0 141936 252 0 0 25 0 1 0 12997387 248692736 58283 1992294400 134512640 137138936 4292239776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 60716 58283 191 642 0 60072 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 242864 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19604 /proc/meminfo: memFree=1576160/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=242864 CPUtime=1481.84 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 58940 0 0 0 147930 254 0 0 25 0 1 0 12997387 248692736 58283 1992294400 134512640 137138936 4292239776 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 60716 58283 191 642 0 60072 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 242864 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19606 /proc/meminfo: memFree=1576160/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=242864 CPUtime=1541.82 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 58940 0 0 0 153914 268 0 0 25 0 1 0 12997387 248692736 58283 1992294400 134512640 137138936 4292239776 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 60716 58283 191 642 0 60072 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 242864 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19608 /proc/meminfo: memFree=1576284/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=242864 CPUtime=1601.8 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 58940 0 0 0 159902 278 0 0 25 0 1 0 12997387 248692736 58283 1992294400 134512640 137138936 4292239776 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 60716 58283 191 642 0 60072 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 242864 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19610 /proc/meminfo: memFree=1576284/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=242864 CPUtime=1661.78 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 58940 0 0 0 165897 281 0 0 25 0 1 0 12997387 248692736 58283 1992294400 134512640 137138936 4292239776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 60716 58283 191 642 0 60072 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 242864 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19612 /proc/meminfo: memFree=1576284/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=242864 CPUtime=1721.77 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 58940 0 0 0 171887 290 0 0 25 0 1 0 12997387 248692736 58283 1992294400 134512640 137138936 4292239776 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 60716 58283 191 642 0 60072 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 242864 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19612 /proc/meminfo: memFree=1576160/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=242864 CPUtime=1781.75 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 58940 0 0 0 177874 301 0 0 25 0 1 0 12997387 248692736 58283 1992294400 134512640 137138936 4292239776 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 60716 58283 191 642 0 60072 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 242864 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19614 /proc/meminfo: memFree=1576284/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=242864 CPUtime=1791.35 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 58940 0 0 0 178833 302 0 0 25 0 1 0 12997387 248692736 58283 1992294400 134512640 137138936 4292239776 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 60716 58283 191 642 0 60072 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 242864 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19614 /proc/meminfo: memFree=1576284/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=242864 CPUtime=1794.56 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 58940 0 0 0 179153 303 0 0 25 0 1 0 12997387 248692736 58283 1992294400 134512640 137138936 4292239776 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 60716 58283 191 642 0 60072 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 242864 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19614 /proc/meminfo: memFree=1576284/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=242864 CPUtime=1796.15 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 58940 0 0 0 179312 303 0 0 25 0 1 0 12997387 248692736 58283 1992294400 134512640 137138936 4292239776 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 60716 58283 191 642 0 60072 0 Current children cumulated CPU time (s) 1796.15 Current children cumulated vsize (KiB) 242864 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19614 /proc/meminfo: memFree=1576284/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=242864 CPUtime=1796.94 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 58940 0 0 0 179391 303 0 0 25 0 1 0 12997387 248692736 58283 1992294400 134512640 137138936 4292239776 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 60716 58283 191 642 0 60072 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 242864 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19614 /proc/meminfo: memFree=1576284/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=242864 CPUtime=1797.74 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 58940 0 0 0 179471 303 0 0 25 0 1 0 12997387 248692736 58283 1992294400 134512640 137138936 4292239776 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 60716 58283 191 642 0 60072 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 242864 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 3/107 19614 /proc/meminfo: memFree=1576284/2059040 swapFree=4139796/4192956 [pid=19556] ppid=19554 vsize=242864 CPUtime=1797.96 /proc/19556/stat : 19556 (bsolo_pb10) R 19554 19556 19339 0 -1 4202496 58940 0 0 0 179492 304 0 0 25 0 1 0 12997387 248692736 58283 1992294400 134512640 137138936 4292239776 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19556/statm: 60716 58283 191 642 0 60072 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 242864 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.02 CPU user time (s): 1794.96 CPU system time (s): 3.06353 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 243272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.96 system time used= 3.06353 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58941 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= 3096 runsolver used 2.96555 second user time and 8.49471 second system time The end
Begin job on node083 at 2010-06-16 21:37:17 IDJOB=2671070 IDBENCH=48251 IDSOLVER=1163 FILE ID=node083/2671070-1276717036 PBS_JOBID= 11174166 Free space on /tmp= 62552 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671070-1276717036/watcher-2671070-1276717036 -o /tmp/evaluation-result-2671070-1276717036/solver-2671070-1276717036 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671070-1276717036.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de RANDOM SEED=1563959900 node083.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.262 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.52 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.262 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1812164 kB Buffers: 26136 kB Cached: 101816 kB SwapCached: 36572 kB Active: 87136 kB Inactive: 84060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1812164 kB SwapTotal: 4192956 kB SwapFree: 4139796 kB Dirty: 3988 kB Writeback: 12 kB AnonPages: 10780 kB Mapped: 12972 kB Slab: 53864 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182684 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671070-1276717036.opb Free space on /tmp at the end= 62548 MiB End job on node083 at 2010-06-16 22:07:15