Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -17 | 1798.04 | 1798.79 |
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 | 1797 |
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.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-1878271-1245208648.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.013 s 0.00/0.01 c Var: 1448 Constr: 2798 1348/202/1248 Lit: 10584 Watch. Lit: 9138 0.00/0.01 c Obj. Vars: 100 (6.90608 % of total variables) 0.19/0.28 c Pre-processing Time: 0.278 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.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 3 1448 2803 11101 3 9151 19868 5 10 0.28 0.29/0.31 c 103 1448 2903 25650 8 9351 21855 105 329 0.31 0.29/0.31 o -3 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 116 1448 2917 27051 9 9382 19901 119 367 0.32 0.79/0.87 c 216 1448 3017 41743 13 9582 21892 219 618 0.35 0.79/0.87 c 466 1448 3267 75114 22 10082 24082 469 1147 0.41 0.79/0.87 c 941 1448 3742 146754 39 11032 26491 944 1659 0.57 0.79/0.87 c 1754 1448 4555 275190 60 12658 29141 1757 2128 0.82 0.79/0.87 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 2150 0.88 0.79/0.89 o -16 74.95/75.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 74.95/75.06 c 1918 1448 4721 289662 61 13021 20334 1923 2147 0.89 74.95/75.06 c 2018 1448 4821 303609 62 13221 22368 2023 2183 0.92 74.95/75.06 c 2268 1448 5071 340122 67 13721 24605 2273 2277 1.00 74.95/75.06 c 2743 1448 5546 410103 73 14671 27066 2748 2438 1.12 74.95/75.06 c 3556 1448 6359 524598 82 16297 29773 3561 2573 1.38 74.95/75.06 c 4876 1448 7679 718126 93 18937 32751 4881 2707 1.80 74.95/75.06 c 6957 1448 9760 978712 100 23099 36027 6962 3067 2.27 74.95/75.06 c 10180 1448 12983 1317454 101 29545 39630 10185 3416 2.98 74.95/75.06 c 15116 1448 17919 1941060 108 39417 43594 15121 2973 5.08 74.95/75.06 c 22622 1448 25425 2736620 107 54429 47954 22627 2817 8.03 74.95/75.06 c 33983 1448 36786 4247556 115 77151 52750 33988 2355 14.43 74.95/75.06 c 51127 1448 53930 6563093 121 111439 58026 51132 1734 29.47 74.95/75.06 c 76946 1448 32228 4498730 139 68014 63829 29430 1035 74.34 74.95/75.06 o -17 1797.94/1798.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.75 c 77357 1448 32640 4530434 138 68855 20368 29842 1030 75.03 1797.94/1798.75 c 77457 1448 13083 1601852 122 29725 22405 10285 977 79.25 1797.94/1798.75 c 77707 1448 13333 1635879 122 30225 24646 10535 978 79.39 1797.94/1798.75 c 78182 1448 13808 1701335 123 31175 27111 11010 978 79.87 1797.94/1798.75 c 78995 1448 14621 1812780 123 32801 29823 11823 976 80.92 1797.94/1798.75 c 80315 1448 15941 2005413 125 35441 32806 13143 983 81.64 1797.94/1798.75 c 82396 1448 18022 2232643 123 39603 36087 15224 999 82.46 1797.94/1798.75 c 85619 1448 21245 2559589 120 46049 39696 18447 1022 83.77 1797.94/1798.75 c 90555 1448 26181 3060325 116 55921 43666 23383 1050 86.19 1797.94/1798.75 c 98061 1448 33687 3822888 113 70933 48033 30889 1086 90.27 1797.94/1798.75 c 109422 1448 45048 4977672 110 93655 52837 42250 1110 98.53 1797.94/1798.75 c 126566 1448 19763 1941454 98 43085 58121 16965 1025 123.39 1797.94/1798.75 c 152385 1448 45582 5460467 119 94723 63934 42784 1086 140.23 1797.94/1798.75 c 191217 1448 31005 4390144 141 65569 70328 28207 851 224.53 1797.94/1798.75 c 249569 1448 29636 4319666 145 62831 77361 26838 753 331.07 1797.94/1798.75 c 337202 1448 50611 7848926 155 104781 85098 47813 678 496.90 1797.94/1798.75 c 468754 1448 33466 4725454 141 70491 93608 30668 587 797.40 1797.94/1798.75 c 666186 1448 65369 10387654 158 134297 102969 62571 546 1218.60 1797.94/1798.75 c Resources Exceeded 1797.94/1798.75 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.94/1798.75 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.75 c 40 867265 191 873904 82490 11810290 79692 482 1798.00 1797.94/1798.75 c Objective: -17 1797.94/1798.75 s SATISFIABLE 1797.94/1798.75 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-1878271-1245208648/watcher-1878271-1245208648 -o /tmp/evaluation-result-1878271-1245208648/solver-1878271-1245208648 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878271-1245208648.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5342 /proc/meminfo: memFree=1814192/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=10816 CPUtime=0 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 188464925 11075584 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 2704 242 175 640 0 2033 0 [startup+0.0294499 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5342 /proc/meminfo: memFree=1814192/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=11392 CPUtime=0.02 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 462 0 0 0 2 0 0 0 18 0 1 0 188464925 11665408 419 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 2848 419 189 640 0 2204 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11392 [startup+0.101457 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5342 /proc/meminfo: memFree=1814192/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=11392 CPUtime=0.09 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 462 0 0 0 9 0 0 0 18 0 1 0 188464925 11665408 419 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 2848 419 189 640 0 2204 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11392 [startup+0.301479 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5342 /proc/meminfo: memFree=1814192/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=11524 CPUtime=0.29 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 515 0 0 0 29 0 0 0 19 0 1 0 188464925 11800576 472 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 2881 472 197 640 0 2237 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11524 [startup+0.701521 s] /proc/loadavg: 0.99 0.97 0.98 3/64 5342 /proc/meminfo: memFree=1814192/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=14140 CPUtime=0.69 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 1158 0 0 0 69 0 0 0 23 0 1 0 188464925 14479360 1115 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 3535 1115 197 640 0 2891 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14140 [startup+1.50161 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1808744/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=19032 CPUtime=1.49 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 2376 0 0 0 148 1 0 0 25 0 1 0 188464925 19488768 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 4758 2333 197 640 0 4114 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19032 [startup+3.10178 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1801192/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=29868 CPUtime=3.08 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 5108 0 0 0 306 2 0 0 25 0 1 0 188464925 30584832 5065 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 7467 5065 197 640 0 6823 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 29868 [startup+6.30112 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1785064/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=42604 CPUtime=6.29 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 8285 0 0 0 624 5 0 0 25 0 1 0 188464925 43626496 8242 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 10651 8242 197 640 0 10007 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42604 [startup+12.7018 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1762616/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=63684 CPUtime=12.68 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 13554 0 0 0 1260 8 0 0 25 0 1 0 188464925 65212416 13511 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 15921 13511 197 640 0 15277 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 63684 [startup+25.5012 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1733432/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=91568 CPUtime=25.48 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 20508 0 0 0 2533 15 0 0 25 0 1 0 188464925 93765632 20465 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 22892 20465 197 640 0 22248 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 91568 [startup+51.1019 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1707832/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=116384 CPUtime=51.07 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 26785 0 0 0 5084 23 0 0 25 0 1 0 188464925 119177216 26684 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 29096 26684 197 640 0 28452 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 116384 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1707768/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=116384 CPUtime=102.25 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 26785 0 0 0 10195 30 0 0 25 0 1 0 188464925 119177216 26684 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 29096 26684 197 640 0 28452 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 116384 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1699832/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=126192 CPUtime=162.22 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 29232 0 0 0 16184 38 0 0 25 0 1 0 188464925 129220608 29131 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 31548 29131 197 640 0 30904 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 126192 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1694008/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=130172 CPUtime=222.2 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 30275 0 0 0 22179 41 0 0 25 0 1 0 188464925 133296128 30110 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 32543 30110 197 640 0 31899 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 130172 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1664184/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=159848 CPUtime=282.17 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 37786 0 0 0 28162 55 0 0 25 0 1 0 188464925 163684352 37551 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 39962 37551 197 640 0 39318 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 159848 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1664184/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=159848 CPUtime=342.15 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 37786 0 0 0 34156 59 0 0 25 0 1 0 188464925 163684352 37551 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 39962 37551 197 640 0 39318 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 159848 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1664184/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=159848 CPUtime=402.12 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 37786 0 0 0 40145 67 0 0 25 0 1 0 188464925 163684352 37551 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 39962 37551 197 640 0 39318 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 159848 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1643960/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=180000 CPUtime=462.1 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 42903 0 0 0 46135 75 0 0 25 0 1 0 188464925 184320000 42591 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 45000 42591 197 640 0 44356 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 180000 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1643896/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=180000 CPUtime=522.08 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 42903 0 0 0 52125 83 0 0 25 0 1 0 188464925 184320000 42591 1992294400 134512640 137136520 4294956256 18446744073709551615 136503524 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 45000 42591 197 640 0 44356 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 180000 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1631672/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=192344 CPUtime=582.05 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 46055 0 0 0 58115 90 0 0 25 0 1 0 188464925 196960256 45658 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 48086 45658 197 640 0 47442 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 192344 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1631608/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=192344 CPUtime=642.02 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 46055 0 0 0 64110 92 0 0 25 0 1 0 188464925 196960256 45658 1992294400 134512640 137136520 4294956256 18446744073709551615 134543939 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 48086 45658 197 640 0 47442 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 192344 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1608312/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=215672 CPUtime=1061.84 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 51974 0 0 0 106052 132 0 0 25 0 1 0 188464925 220848128 51484 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 53918 51484 197 640 0 53274 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 215672 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1608312/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=215672 CPUtime=1121.81 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 51974 0 0 0 112049 132 0 0 25 0 1 0 188464925 220848128 51484 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 53918 51484 197 640 0 53274 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 215672 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1608248/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=215672 CPUtime=1181.79 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 51974 0 0 0 118042 137 0 0 25 0 1 0 188464925 220848128 51484 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 53918 51484 197 640 0 53274 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 215672 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1608120/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=215672 CPUtime=1241.77 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 51974 0 0 0 124033 144 0 0 25 0 1 0 188464925 220848128 51484 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 53918 51484 197 640 0 53274 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 215672 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1608056/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=215672 CPUtime=1301.75 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 51974 0 0 0 130026 149 0 0 25 0 1 0 188464925 220848128 51484 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 53918 51484 197 640 0 53274 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 215672 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1587512/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=236444 CPUtime=1361.72 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 57188 0 0 0 136013 159 0 0 25 0 1 0 188464925 242118656 56698 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 59111 56698 197 640 0 58467 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 236444 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1580664/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=242796 CPUtime=1421.7 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 58880 0 0 0 142009 161 0 0 25 0 1 0 188464925 248623104 58288 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 60699 58288 197 640 0 60055 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 242796 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1580664/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=242796 CPUtime=1481.67 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 58880 0 0 0 148006 161 0 0 25 0 1 0 188464925 248623104 58288 1992294400 134512640 137136520 4294956256 18446744073709551615 136504219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 60699 58288 197 640 0 60055 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 242796 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1580600/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=242796 CPUtime=1541.65 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 58880 0 0 0 153996 169 0 0 25 0 1 0 188464925 248623104 58288 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 60699 58288 197 640 0 60055 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 242796 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1580664/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=242796 CPUtime=1601.63 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 58880 0 0 0 159988 175 0 0 25 0 1 0 188464925 248623104 58288 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 60699 58288 197 640 0 60055 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 242796 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1580664/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=242796 CPUtime=1661.6 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 58880 0 0 0 165982 178 0 0 25 0 1 0 188464925 248623104 58288 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 60699 58288 197 640 0 60055 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 242796 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1580664/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=242796 CPUtime=1721.57 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 58880 0 0 0 171975 182 0 0 25 0 1 0 188464925 248623104 58288 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 60699 58288 197 640 0 60055 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 242796 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1580536/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=242796 CPUtime=1781.55 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 58880 0 0 0 177967 188 0 0 25 0 1 0 188464925 248623104 58288 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 60699 58288 197 640 0 60055 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 242796 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1580536/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=242796 CPUtime=1791.15 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 58880 0 0 0 178926 189 0 0 25 0 1 0 188464925 248623104 58288 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 60699 58288 197 640 0 60055 0 Current children cumulated CPU time (s) 1791.15 Current children cumulated vsize (KiB) 242796 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1580536/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=242796 CPUtime=1794.34 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 58880 0 0 0 179245 189 0 0 25 0 1 0 188464925 248623104 58288 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 60699 58288 197 640 0 60055 0 Current children cumulated CPU time (s) 1794.34 Current children cumulated vsize (KiB) 242796 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1580536/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=242796 CPUtime=1795.94 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 58880 0 0 0 179405 189 0 0 25 0 1 0 188464925 248623104 58288 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 60699 58288 197 640 0 60055 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 242796 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1580536/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=242796 CPUtime=1796.74 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 58880 0 0 0 179485 189 0 0 25 0 1 0 188464925 248623104 58288 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 60699 58288 197 640 0 60055 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 242796 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1580536/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=242796 CPUtime=1797.54 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 58880 0 0 0 179565 189 0 0 25 0 1 0 188464925 248623104 58288 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 60699 58288 197 640 0 60055 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (KiB) 242796 [startup+1798.7 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5343 /proc/meminfo: memFree=1580536/2055920 swapFree=4181540/4192956 [pid=5342] ppid=5340 vsize=242796 CPUtime=1797.94 /proc/5342/stat : 5342 (bsolo) R 5340 5342 5205 0 -1 4194304 58880 0 0 0 179605 189 0 0 25 0 1 0 188464925 248623104 58288 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5342/statm: 60699 58288 197 640 0 60055 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 242796 Child status: 0 Real time (s): 1798.79 CPU time (s): 1798.04 CPU user time (s): 1796.11 CPU system time (s): 1.9397 CPU usage (%): 99.9583 Max. virtual memory (cumulated for all children) (KiB): 243204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.1 system time used= 1.93971 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58882 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= 6090 runsolver used 1.73374 second user time and 4.81527 second system time The end
Begin job on node19 at 2009-06-17 05:17:28 IDJOB=1878271 IDBENCH=48251 IDSOLVER=700 FILE ID=node19/1878271-1245208648 PBS_JOBID= 9368382 Free space on /tmp= 66160 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_1.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878271-1245208648/watcher-1878271-1245208648 -o /tmp/evaluation-result-1878271-1245208648/solver-1878271-1245208648 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878271-1245208648.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de RANDOM SEED=1446408537 node19.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.234 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.234 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: 1814800 kB Buffers: 49908 kB Cached: 125540 kB SwapCached: 6248 kB Active: 92184 kB Inactive: 92192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1814800 kB SwapTotal: 4192956 kB SwapFree: 4181540 kB Dirty: 3980 kB Writeback: 0 kB Mapped: 13636 kB Slab: 42716 kB Committed_AS: 205456 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878271-1245208648.opb Free space on /tmp at the end= 66156 MiB End job on node19 at 2009-06-17 05:47:27