Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 49943 | 1798.26 | 1802.83 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb |
MD5SUM | c3720ea5d84e92b781414b36064971fe |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 48053 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 46478 |
Optimality of the best value was proved | NO |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 279536 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 279536 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.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: Generic Pseudo-Boolean 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-1879969-1245146810.opb 0.00/0.00 c File size is 913860 bytes. 0.09/0.12 c Highest Coefficient sum: 279536 0.09/0.12 c Parsing was ok!! 0.09/0.12 c Total parsing time: 0.118 s 0.09/0.12 c Var: 1344 Constr: 16376 8488/496/7392 Lit: 97904 Watch. Lit: 37360 0.09/0.12 c Obj. Vars: 448 (33.3333 % of total variables) 0.29/0.37 c Pre-processing Time: 0.369 s 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 0 1344 16376 97904 5 59536 165154 0 0 0.37 0.29/0.37 c Switching off lower bounding mode. 0.59/0.62 c 103 1344 16577 111170 6 63714 181670 201 254 0.41 0.59/0.62 c 254 1344 16877 132720 7 65493 199838 501 541 0.47 0.59/0.62 c 479 1344 17312 168966 9 69727 219822 936 821 0.58 0.59/0.62 o 57233 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 532 1344 17410 177310 10 70815 166050 1034 865 0.61 0.59/0.65 o 56774 1.17/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.17/1.26 c 576 1344 17496 186012 10 72791 166050 1120 883 0.65 1.17/1.26 c 679 1344 17697 224587 12 76138 182656 1321 849 0.80 1.17/1.26 c 932 1344 18189 314241 17 84700 200922 1813 804 1.16 1.17/1.26 o 55281 1.58/1.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.58/1.68 c 994 1344 18312 336240 18 87414 166050 1936 796 1.25 1.58/1.68 c 1097 1344 18514 378798 20 90478 182656 2138 766 1.43 1.58/1.68 o 55186 1.98/2.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.98/2.01 c 1229 1344 18771 421748 22 101520 166050 2395 737 1.67 1.98/2.01 c 1330 1344 18971 431935 22 98073 182656 2595 765 1.74 1.98/2.01 o 54832 3.17/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.17/3.22 c 1511 1344 19327 473258 24 102863 166050 2951 755 2.00 3.17/3.22 c 1612 1344 19518 502670 25 105807 182656 3142 730 2.21 3.17/3.22 c 1862 1344 20002 595062 29 110873 200922 3626 656 2.84 3.17/3.22 o 54772 4.35/4.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.35/4.48 c 2008 1344 20276 635734 31 118041 166050 3900 630 3.19 4.35/4.48 c 2108 1344 20476 654774 31 116578 182656 4100 628 3.35 4.35/4.48 c 2358 1344 20962 736016 35 126279 200922 4586 602 3.91 4.35/4.48 o 53068 4.85/4.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.85/4.99 c 2614 1344 21463 813542 37 134203 166050 5087 589 4.43 4.85/4.99 c 2714 1344 21659 833889 38 133264 182656 5283 576 4.70 4.85/4.99 o 51968 49.85/50.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.85/50.33 c 2805 1344 21836 855803 39 134870 166050 5460 567 4.94 49.85/50.33 c 2905 1344 22023 867948 39 132692 182656 5647 559 5.19 49.85/50.33 c 3155 1344 22500 918233 40 136706 200922 6124 523 6.03 49.85/50.33 c 3631 1344 23414 1132891 48 179930 221015 7038 439 8.27 49.85/50.33 c 4444 1344 25002 1473042 58 191147 243117 8626 352 12.61 49.85/50.33 c 5765 1344 27583 2216924 80 271068 267429 11207 260 22.16 49.85/50.33 c 7847 1344 31682 3506444 110 329576 294172 15306 180 43.38 49.85/50.33 o 51764 73.23/73.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 73.23/73.94 c 8495 1344 32948 3808204 115 343776 166050 16572 170 49.89 73.23/73.94 c 8597 1344 33147 3840745 115 327716 182656 16771 169 50.87 73.23/73.94 c 8848 1344 33635 3902238 116 320444 200922 17259 166 53.27 73.23/73.94 c 9323 1344 34572 4156175 120 362319 221015 18196 157 59.17 73.23/73.94 c 10136 1344 36164 4307853 119 355554 243117 19788 158 64.05 73.23/73.94 o 51470 492.58/494.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 492.58/494.21 c 10744 1344 37351 4655856 124 388762 166050 20975 146 73.29 492.58/494.21 c 10844 1344 37549 4674626 124 358246 182656 21173 145 74.32 492.58/494.21 c 11094 1344 38042 4764930 125 361462 200922 21666 142 77.66 492.58/494.21 c 11571 1344 38978 4984230 127 380368 221015 22602 137 84.34 492.58/494.21 c 12384 1344 40579 5342509 131 429199 243117 24203 130 94.71 492.58/494.21 c 13704 1344 43165 6072556 140 462741 267429 26789 117 116.39 492.58/494.21 c 15786 1344 47241 7311239 154 571041 294172 30865 99 159.29 492.58/494.21 c 19009 1344 53566 9613746 179 706355 323590 37190 76 249.66 492.58/494.21 c 23945 1344 63243 12562101 198 857204 355950 46867 58 407.55 492.58/494.21 o 50641 558.36/560.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 558.36/560.03 c 26449 1344 68183 13529095 198 831385 166050 51807 53 492.61 558.36/560.03 c 26553 1344 68383 13560720 198 805568 182656 52007 53 495.62 558.36/560.03 c 26806 1344 68871 13680743 198 833916 200922 52495 53 504.39 558.36/560.03 c 27282 1344 69802 13911344 199 843171 221015 53426 52 520.72 558.36/560.03 c 28095 1344 71408 14288335 200 856132 243117 55032 50 552.48 558.36/560.03 o 49943 1798.14/1802.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.14/1802.76 c 28238 1344 71691 14348954 200 860820 166050 55315 50 558.40 1798.14/1802.76 c 28338 1344 71887 14380524 200 835788 182656 55511 50 561.99 1798.14/1802.76 c 28592 1344 72387 14489227 200 822578 200922 56011 50 570.81 1798.14/1802.76 c 29067 1344 73314 14751799 201 882048 221015 56938 49 592.04 1798.14/1802.76 c 29881 1344 74911 15353145 204 922601 243117 58535 47 628.78 1798.14/1802.76 c 31202 1344 77507 16226808 209 975033 267429 61131 45 678.66 1798.14/1802.76 c 33283 1344 81590 17727274 217 1109635 294172 65214 42 775.15 1798.14/1802.76 c 36506 1344 87888 19987233 227 1301201 323590 71512 39 927.40 1798.14/1802.76 c 41442 1344 97520 23689946 242 1482425 355950 81144 33 1238.38 1798.14/1802.76 c 48948 1344 112208 29129602 259 1739911 391546 95832 27 1755.92 1798.14/1802.76 c Resources Exceeded 1798.14/1802.76 v -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 -x2 -x66 -x130 -x194 -x258 -x322 -x386 -x450 -x514 -x578 x642 -x706 -x770 -x834 -x3 -x67 -x131 -x195 -x259 -x323 -x387 -x451 x515 -x579 -x643 -x707 -x771 -x835 -x4 -x68 -x132 -x196 x260 -x324 -x388 -x452 -x516 -x580 -x644 -x708 -x772 -x836 x5 -x69 -x133 -x197 -x261 -x325 -x389 -x453 -x517 -x581 -x645 -x709 -x773 -x837 -x6 -x70 -x134 -x198 -x262 x326 -x390 -x454 -x518 -x582 -x646 -x710 -x774 -x838 -x7 -x71 -x135 -x199 -x263 -x327 -x391 -x455 -x519 -x583 -x647 -x711 -x775 x839 -x8 -x72 -x136 -x200 -x264 -x328 -x392 -x456 -x520 x584 -x648 -x712 -x776 -x840 -x9 -x73 -x137 -x201 -x265 -x329 -x393 -x457 -x521 -x585 -x649 -x713 x777 -x841 -x11 -x75 -x139 -x203 x267 -x331 -x395 -x459 -x523 -x587 -x651 -x715 -x779 -x843 -x12 -x76 -x140 -x204 -x268 x332 -x396 -x460 -x524 -x588 -x652 -x716 -x780 -x844 -x13 x77 -x141 -x205 -x269 -x333 -x397 -x461 -x525 -x589 -x653 -x717 -x781 -x845 -x14 -x78 x142 -x206 -x270 -x334 -x398 -x462 -x526 -x590 -x654 -x718 -x782 -x846 -x15 -x79 -x143 -x207 -x271 -x335 -x399 -x463 x527 -x591 -x655 -x719 -x783 -x847 x16 -x80 -x144 -x208 -x272 -x336 -x400 -x464 -x528 -x592 -x656 -x720 -x784 -x848 -x17 -x81 -x145 -x209 -x273 -x337 -x401 -x465 -x529 -x593 -x657 x721 -x785 -x849 -x18 -x82 -x146 -x210 -x274 -x338 -x402 -x466 -x530 -x594 -x658 -x722 -x786 x850 -x20 -x84 x148 -x212 -x276 -x340 -x404 -x468 -x532 -x596 -x660 -x724 -x788 -x852 -x21 -x85 -x149 -x213 -x277 x341 -x405 -x469 -x533 -x597 -x661 -x725 -x789 -x853 -x22 -x86 -x150 -x214 -x278 -x342 x406 -x470 -x534 -x598 -x662 -x726 -x790 -x854 -x23 -x87 -x151 -x215 -x279 -x343 -x407 -x471 -x535 x599 -x663 -x727 -x791 -x855 -x24 -x88 -x152 -x216 -x280 -x344 -x408 -x472 -x536 -x600 x664 -x728 -x792 -x856 -x25 -x89 -x153 -x217 -x281 -x345 -x409 x473 -x537 -x601 -x665 -x729 -x793 -x857 -x26 -x90 -x154 x218 -x282 -x346 -x410 -x474 -x538 -x602 -x666 -x730 -x794 -x858 -x27 -x91 -x155 -x219 -x283 -x347 -x411 -x475 -x539 -x603 -x667 -x731 x795 -x859 -x29 -x93 -x157 -x221 -x285 -x349 -x413 -x477 x541 -x605 -x669 -x733 -x797 -x861 -x30 -x94 -x158 -x222 -x286 -x350 -x414 -x478 -x542 x606 -x670 -x734 -x798 -x862 -x31 -x95 -x159 -x223 -x287 -x351 -x415 -x479 -x543 -x607 -x671 x735 -x799 -x863 -x32 -x96 -x160 -x224 -x288 -x352 -x416 -x480 -x544 -x608 -x672 -x736 -x800 x864 -x33 -x97 -x161 -x225 -x289 -x353 x417 -x481 -x545 -x609 -x673 -x737 -x801 -x865 -x34 -x98 -x162 -x226 -x290 -x354 -x418 -x482 -x546 x610 -x674 -x738 -x802 -x866 -x35 -x99 -x163 x227 -x291 -x355 -x419 -x483 -x547 -x611 -x675 -x739 -x803 -x867 -x36 -x100 -x164 -x228 -x292 -x356 -x420 -x484 -x548 -x612 x676 -x740 -x804 -x868 -x38 -x102 -x166 -x230 -x294 -x358 -x422 -x486 -x550 -x614 -x678 x742 -x806 -x870 -x39 -x103 -x167 -x231 x295 -x359 -x423 -x487 -x551 -x615 -x679 -x743 -x807 -x871 -x40 -x104 x168 -x232 -x296 -x360 -x424 -x488 -x552 -x616 -x680 -x744 -x808 -x872 -x41 -x105 -x169 x233 -x297 -x361 -x425 -x489 -x553 -x617 -x681 -x745 -x809 -x873 -x42 -x106 -x170 -x234 -x298 -x362 -x426 x490 -x554 -x618 -x682 -x746 -x810 -x874 x43 -x107 -x171 -x235 -x299 -x363 -x427 -x491 -x555 -x619 -x683 -x747 -x811 -x875 -x44 x108 -x172 -x236 -x300 -x364 -x428 -x492 -x556 -x620 -x684 -x748 -x812 -x876 -x45 -x109 -x173 -x237 -x301 -x365 -x429 -x493 -x557 -x621 -x685 -x749 -x813 x877 -x47 -x111 -x175 -x239 -x303 -x367 -x431 -x495 -x559 -x623 -x687 -x751 x815 -x879 -x48 -x112 -x176 -x240 -x304 -x368 -x432 -x496 x560 -x624 -x688 -x752 -x816 -x880 -x49 -x113 x177 -x241 -x305 -x369 -x433 -x497 -x561 -x625 -x689 -x753 -x817 -x881 -x50 -x114 -x178 -x242 -x306 -x370 x434 -x498 -x562 -x626 -x690 -x754 -x818 -x882 -x51 x115 -x179 -x243 -x307 -x371 -x435 -x499 -x563 -x627 -x691 -x755 -x819 -x883 x52 -x116 -x180 -x244 -x308 -x372 -x436 -x500 -x564 -x628 -x692 -x756 -x820 -x884 -x53 -x117 -x181 -x245 -x309 -x373 -x437 x501 -x565 -x629 -x693 -x757 -x821 -x885 -x54 -x118 -x182 -x246 -x310 -x374 -x438 -x502 -x566 -x630 x694 -x758 -x822 -x886 -x56 -x120 -x184 -x248 -x312 x376 -x440 -x504 -x568 -x632 -x696 -x760 -x824 -x888 -x57 x121 -x185 -x249 -x313 -x377 -x441 -x505 -x569 -x633 -x697 -x761 -x825 -x889 -x58 -x122 -x186 -x250 -x314 -x378 -x442 -x506 -x570 -x634 -x698 x762 -x826 -x890 -x59 -x123 -x187 -x251 -x315 -x379 -x443 x507 -x571 -x635 -x699 -x763 -x827 -x891 -x60 -x124 -x188 -x252 -x316 -x380 x444 -x508 -x572 -x636 -x700 -x764 -x828 -x892 -x61 -x125 -x189 -x253 -x317 -x381 -x445 -x509 -x573 -x637 -x701 -x765 x829 -x893 -x62 -x126 -x190 -x254 x318 -x382 -x446 -x510 -x574 -x638 -x702 -x766 -x830 -x894 -x63 -x127 -x191 x255 -x319 -x383 -x447 -x511 -x575 -x639 -x703 -x767 -x831 -x895 -x10 -x74 -x138 x202 -x266 -x330 x394 x458 -x522 x586 x650 x714 -x778 x842 x19 x83 -x147 x211 x275 -x339 -x403 x467 x531 -x595 -x659 -x723 x787 -x851 x28 x92 x156 -x220 x284 x348 x412 -x476 -x540 -x604 x668 -x732 -x796 -x860 x37 x101 -x165 -x229 -x293 x357 -x421 x485 x549 -x613 -x677 -x741 x805 x869 -x46 -x110 x174 -x238 x302 x366 x430 -x494 -x558 x622 x686 x750 -x814 -x878 -x55 -x119 -x183 x247 x311 -x375 -x439 -x503 x567 x631 -x695 x759 x823 x887 x64 -x128 x192 -x256 -x320 x384 -x448 -x512 x576 x640 x704 -x768 -x832 x896 -x1 x65 x129 x193 -x257 -x321 x385 x449 -x513 -x577 -x641 x705 x769 -x833 1798.14/1802.76 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.14/1802.76 c 55 49583 15638 155547 113465 29545428 97089 27 1798.19 1798.14/1802.76 c Objective: 49943 1798.14/1802.76 s SATISFIABLE 1798.14/1802.76 c Total time: 1798.19 s
OK 49943
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879969-1245146810/watcher-1879969-1245146810 -o /tmp/evaluation-result-1879969-1245146810/solver-1879969-1245146810 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879969-1245146810.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.98 2.01 1.83 3/73 14789 /proc/meminfo: memFree=325840/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=11612 CPUtime=0 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 271 0 0 0 0 0 0 0 20 0 1 0 182279997 11890688 255 1992294400 134512640 137136520 4294956256 18446744073709551615 134519899 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14789/statm: 2903 256 177 640 0 2035 0 [startup+0.070028 s] /proc/loadavg: 1.98 2.01 1.83 3/73 14789 /proc/meminfo: memFree=325840/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=13100 CPUtime=0.06 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 751 0 0 0 6 0 0 0 20 0 1 0 182279997 13414400 735 1992294400 134512640 137136520 4294956256 18446744073709551615 134517403 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14789/statm: 3275 735 298 640 0 2407 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13100 [startup+0.102033 s] /proc/loadavg: 1.98 2.01 1.83 3/73 14789 /proc/meminfo: memFree=325840/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=13640 CPUtime=0.09 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 947 0 0 0 9 0 0 0 20 0 1 0 182279997 13967360 931 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14789/statm: 3410 932 357 640 0 2542 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13640 [startup+0.302078 s] /proc/loadavg: 1.98 2.01 1.83 3/73 14789 /proc/meminfo: memFree=325840/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=16196 CPUtime=0.29 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 1863 0 0 0 28 1 0 0 22 0 1 0 182279997 16584704 1623 1992294400 134512640 137136520 4294956256 18446744073709551615 134540276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 4049 1623 191 640 0 3405 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16196 [startup+0.701154 s] /proc/loadavg: 1.98 2.01 1.83 3/73 14789 /proc/meminfo: memFree=325840/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=16304 CPUtime=0.69 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 2145 0 0 0 67 2 0 0 25 0 1 0 182279997 16695296 1672 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 4076 1672 197 640 0 3432 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16304 [startup+1.5013 s] /proc/loadavg: 1.91 1.99 1.83 2/74 14790 /proc/meminfo: memFree=318856/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=19256 CPUtime=1.48 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 2863 0 0 0 145 3 0 0 25 0 1 0 182279997 19718144 2390 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 4814 2390 197 640 0 4170 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19256 [startup+3.1016 s] /proc/loadavg: 1.91 1.99 1.83 3/74 14790 /proc/meminfo: memFree=315400/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=22800 CPUtime=3.07 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 3767 0 0 0 303 4 0 0 25 0 1 0 182279997 23347200 3294 1992294400 134512640 137136520 4294956256 18446744073709551615 134605427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 5700 3294 198 640 0 5056 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 22800 [startup+6.3012 s] /proc/loadavg: 1.91 1.99 1.83 3/74 14790 /proc/meminfo: memFree=309384/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=27612 CPUtime=6.23 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 4974 0 0 0 618 5 0 0 25 0 1 0 182279997 28274688 4501 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 6903 4501 198 640 0 6259 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 27612 [startup+12.7014 s] /proc/loadavg: 1.93 1.99 1.83 3/74 14790 /proc/meminfo: memFree=301064/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=35716 CPUtime=12.57 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 7000 0 0 0 1248 9 0 0 25 0 1 0 182279997 36573184 6527 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 8929 6527 198 640 0 8285 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 35716 [startup+25.5028 s] /proc/loadavg: 1.94 1.99 1.83 2/74 14790 /proc/meminfo: memFree=286152/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=50208 CPUtime=25.27 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 10600 0 0 0 2516 11 0 0 25 0 1 0 182279997 51412992 10127 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 12552 10127 198 640 0 11908 0 Current children cumulated CPU time (s) 25.27 Current children cumulated vsize (KiB) 50208 [startup+51.1026 s] /proc/loadavg: 2.12 2.03 1.84 2/74 14790 /proc/meminfo: memFree=266440/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=69872 CPUtime=50.65 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 15522 0 0 0 5047 18 0 0 25 0 1 0 182279997 71548928 15049 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 17468 15049 198 640 0 16824 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 69872 [startup+102.31 s] /proc/loadavg: 2.07 2.02 1.85 3/74 14790 /proc/meminfo: memFree=241928/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=94080 CPUtime=101.58 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 21592 0 0 0 10131 27 0 0 25 0 1 0 182279997 96337920 21119 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 23520 21119 198 640 0 22876 0 Current children cumulated CPU time (s) 101.58 Current children cumulated vsize (KiB) 94080 [startup+162.301 s] /proc/loadavg: 2.18 2.06 1.87 4/74 14790 /proc/meminfo: memFree=214856/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=121216 CPUtime=161.54 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 28362 0 0 0 16121 33 0 0 25 0 1 0 182279997 124125184 27889 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 30304 27889 198 640 0 29660 0 Current children cumulated CPU time (s) 161.54 Current children cumulated vsize (KiB) 121216 [startup+222.301 s] /proc/loadavg: 1.78 1.97 1.85 3/74 14790 /proc/meminfo: memFree=192200/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=143676 CPUtime=221.48 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 33967 0 0 0 22110 38 0 0 25 0 1 0 182279997 147124224 33494 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 35919 33494 198 640 0 35275 0 Current children cumulated CPU time (s) 221.48 Current children cumulated vsize (KiB) 143676 [startup+282.302 s] /proc/loadavg: 1.95 1.97 1.85 4/74 14790 /proc/meminfo: memFree=175048/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=160844 CPUtime=281.46 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 38279 0 0 0 28103 43 0 0 25 0 1 0 182279997 164704256 37806 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 40211 37806 198 640 0 39567 0 Current children cumulated CPU time (s) 281.46 Current children cumulated vsize (KiB) 160844 [startup+342.302 s] /proc/loadavg: 2.11 2.02 1.88 3/74 14790 /proc/meminfo: memFree=158472/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=177236 CPUtime=341.21 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 42358 0 0 0 34073 48 0 0 25 0 1 0 182279997 181489664 41885 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 44309 41885 198 640 0 43665 0 Current children cumulated CPU time (s) 341.21 Current children cumulated vsize (KiB) 177236 [startup+402.301 s] /proc/loadavg: 2.11 2.02 1.88 4/74 14790 /proc/meminfo: memFree=142792/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=193068 CPUtime=400.78 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 46339 0 0 0 40022 56 0 0 25 0 1 0 182279997 197701632 45866 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 48267 45866 198 640 0 47623 0 Current children cumulated CPU time (s) 400.78 Current children cumulated vsize (KiB) 193068 [startup+462.302 s] /proc/loadavg: 1.71 1.93 1.86 2/74 14790 /proc/meminfo: memFree=133512/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=202120 CPUtime=460.69 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 48597 0 0 0 46010 59 0 0 25 0 1 0 182279997 206970880 48124 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 50530 48124 198 640 0 49886 0 Current children cumulated CPU time (s) 460.69 Current children cumulated vsize (KiB) 202120 [startup+522.302 s] /proc/loadavg: 1.79 1.91 1.86 3/74 14790 /proc/meminfo: memFree=123592/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=212352 CPUtime=520.67 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 51157 0 0 0 52004 63 0 0 25 0 1 0 182279997 217448448 50684 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 53088 50684 198 640 0 52444 0 Current children cumulated CPU time (s) 520.67 Current children cumulated vsize (KiB) 212352 [startup+582.302 s] /proc/loadavg: 2.01 1.95 1.87 4/74 14790 /proc/meminfo: memFree=114312/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=221204 CPUtime=580.65 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 53372 0 0 0 58000 65 0 0 25 0 1 0 182279997 226512896 52899 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 55301 52899 198 640 0 54657 0 Current children cumulated CPU time (s) 580.65 Current children cumulated vsize (KiB) 221204 [startup+642.302 s] /proc/loadavg: 1.94 1.94 1.87 2/74 14790 /proc/meminfo: memFree=100808/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=234664 CPUtime=640.57 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 56738 0 0 0 63989 68 0 0 25 0 1 0 182279997 240295936 56265 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14789/statm: 58666 56265 198 640 0 58022 0 Current children cumulated CPU time (s) 640.57 Current children cumulated vsize (KiB) 234664 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=15880/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=331696 CPUtime=1119.4 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 80979 0 0 0 111841 99 0 0 25 0 1 0 182279997 339656704 80506 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 82924 80506 198 640 0 82280 0 Current children cumulated CPU time (s) 1119.4 Current children cumulated vsize (KiB) 331696 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 1.91 2/74 14790 /proc/meminfo: memFree=14984/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=343460 CPUtime=1179.36 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 83909 0 0 0 117834 102 0 0 25 0 1 0 182279997 351703040 83436 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 85865 83436 198 640 0 85221 0 Current children cumulated CPU time (s) 1179.36 Current children cumulated vsize (KiB) 343460 [startup+1242.3 s] /proc/loadavg: 2.11 2.03 1.93 3/74 14790 /proc/meminfo: memFree=15368/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=353592 CPUtime=1239.07 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 86463 0 0 0 123801 106 0 0 25 0 1 0 182279997 362078208 85990 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 88398 85990 198 640 0 87754 0 Current children cumulated CPU time (s) 1239.07 Current children cumulated vsize (KiB) 353592 [startup+1302.3 s] /proc/loadavg: 1.89 1.99 1.91 4/74 14790 /proc/meminfo: memFree=15752/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=362340 CPUtime=1298.68 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 88637 0 0 0 129759 109 0 0 25 0 1 0 182279997 371036160 88164 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14789/statm: 90585 88164 198 640 0 89941 0 Current children cumulated CPU time (s) 1298.68 Current children cumulated vsize (KiB) 362340 [startup+1362.3 s] /proc/loadavg: 1.96 1.99 1.91 4/74 14790 /proc/meminfo: memFree=16328/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=371092 CPUtime=1358.3 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 90831 0 0 0 135715 115 0 0 25 0 1 0 182279997 379998208 90358 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 92773 90358 198 640 0 92129 0 Current children cumulated CPU time (s) 1358.3 Current children cumulated vsize (KiB) 371092 [startup+1422.31 s] /proc/loadavg: 1.62 1.89 1.89 2/74 14790 /proc/meminfo: memFree=15624/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=382492 CPUtime=1418.14 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 93671 0 0 0 141695 119 0 0 25 0 1 0 182279997 391671808 93198 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 95623 93198 198 640 0 94979 0 Current children cumulated CPU time (s) 1418.14 Current children cumulated vsize (KiB) 382492 [startup+1482.3 s] /proc/loadavg: 1.96 1.91 1.89 3/74 14790 /proc/meminfo: memFree=15816/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=391404 CPUtime=1478.04 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 95914 0 0 0 147683 121 0 0 25 0 1 0 182279997 400797696 95441 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 97851 95441 198 640 0 97207 0 Current children cumulated CPU time (s) 1478.04 Current children cumulated vsize (KiB) 391404 [startup+1542.3 s] /proc/loadavg: 1.97 1.93 1.90 3/74 14790 /proc/meminfo: memFree=14984/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=399960 CPUtime=1538 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 98034 0 0 0 153677 123 0 0 25 0 1 0 182279997 409559040 97561 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 99990 97561 198 640 0 99346 0 Current children cumulated CPU time (s) 1538 Current children cumulated vsize (KiB) 399960 [startup+1602.3 s] /proc/loadavg: 1.89 1.91 1.89 4/74 14790 /proc/meminfo: memFree=15368/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=408792 CPUtime=1597.98 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 100249 0 0 0 159673 125 0 0 25 0 1 0 182279997 418603008 99776 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 102198 99776 198 640 0 101554 0 Current children cumulated CPU time (s) 1597.98 Current children cumulated vsize (KiB) 408792 [startup+1662.3 s] /proc/loadavg: 1.79 1.88 1.88 3/74 14790 /proc/meminfo: memFree=16264/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=417056 CPUtime=1657.95 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 102307 0 0 0 165669 126 0 0 25 0 1 0 182279997 427065344 101834 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 104264 101834 198 640 0 103620 0 Current children cumulated CPU time (s) 1657.95 Current children cumulated vsize (KiB) 417056 [startup+1722.31 s] /proc/loadavg: 1.70 1.83 1.87 2/74 14790 /proc/meminfo: memFree=15176/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=425940 CPUtime=1717.77 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 104534 0 0 0 171648 129 0 0 25 0 1 0 182279997 436162560 104061 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 106485 104061 198 640 0 105841 0 Current children cumulated CPU time (s) 1717.77 Current children cumulated vsize (KiB) 425940 [startup+1782.3 s] /proc/loadavg: 2.07 1.92 1.89 3/74 14790 /proc/meminfo: memFree=15368/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=433068 CPUtime=1777.73 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 106327 0 0 0 177642 131 0 0 25 0 1 0 182279997 443461632 105854 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 108267 105854 198 640 0 107623 0 Current children cumulated CPU time (s) 1777.73 Current children cumulated vsize (KiB) 433068 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.13 1.94 1.90 4/74 14790 /proc/meminfo: memFree=15304/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=434732 CPUtime=1787.35 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 106724 0 0 0 178603 132 0 0 25 0 1 0 182279997 445165568 106251 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 108683 106251 198 640 0 108039 0 Current children cumulated CPU time (s) 1787.35 Current children cumulated vsize (KiB) 434732 [startup+1798.3 s] /proc/loadavg: 2.04 1.92 1.89 4/74 14790 /proc/meminfo: memFree=16136/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=435516 CPUtime=1793.73 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 106932 0 0 0 179241 132 0 0 25 0 1 0 182279997 445968384 106459 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 108879 106459 198 640 0 108235 0 Current children cumulated CPU time (s) 1793.73 Current children cumulated vsize (KiB) 435516 [startup+1799.9 s] /proc/loadavg: 2.04 1.92 1.89 3/74 14790 /proc/meminfo: memFree=15816/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=435772 CPUtime=1795.33 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 106987 0 0 0 179401 132 0 0 25 0 1 0 182279997 446230528 106514 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 108943 106514 198 640 0 108299 0 Current children cumulated CPU time (s) 1795.33 Current children cumulated vsize (KiB) 435772 [startup+1801.5 s] /proc/loadavg: 2.04 1.92 1.90 2/74 14790 /proc/meminfo: memFree=15560/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=435900 CPUtime=1796.93 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 107046 0 0 0 179561 132 0 0 25 0 1 0 182279997 446361600 106573 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 108975 106573 198 640 0 108331 0 Current children cumulated CPU time (s) 1796.93 Current children cumulated vsize (KiB) 435900 [startup+1802.3 s] /proc/loadavg: 2.04 1.92 1.90 4/74 14790 /proc/meminfo: memFree=15496/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=436032 CPUtime=1797.72 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 107063 0 0 0 179640 132 0 0 25 0 1 0 182279997 446496768 106590 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 109008 106590 198 640 0 108364 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 436032 [startup+1802.71 s] /proc/loadavg: 2.04 1.92 1.90 4/74 14790 /proc/meminfo: memFree=15496/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=436032 CPUtime=1798.14 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194304 107073 0 0 0 179682 132 0 0 25 0 1 0 182279997 446496768 106600 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 109008 106600 198 640 0 108364 0 Current children cumulated CPU time (s) 1798.14 Current children cumulated vsize (KiB) 436032 [startup+1802.8 s] /proc/loadavg: 2.04 1.92 1.90 3/74 14790 /proc/meminfo: memFree=276936/2055920 swapFree=4192812/4192956 [pid=14789] ppid=14787 vsize=0 CPUtime=1798.23 /proc/14789/stat : 14789 (bsolo) R 14787 14789 14711 0 -1 4194308 107082 0 0 0 179686 137 0 0 25 0 1 0 182279997 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14789/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.23 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1802.83 CPU time (s): 1798.26 CPU user time (s): 1796.87 CPU system time (s): 1.39379 CPU usage (%): 99.7467 Max. virtual memory (cumulated for all children) (KiB): 436032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.87 system time used= 1.39379 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107082 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= 2 involuntary context switches= 13087 runsolver used 2.40663 second user time and 6.39103 second system time The end
Begin job on node81 at 2009-06-16 12:06:51 IDJOB=1879969 IDBENCH=2008 IDSOLVER=701 FILE ID=node81/1879969-1245146810 PBS_JOBID= 9363775 Free space on /tmp= 126776 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879969-1245146810/watcher-1879969-1245146810 -o /tmp/evaluation-result-1879969-1245146810/solver-1879969-1245146810 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879969-1245146810.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe RANDOM SEED=1165308713 node81.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.268 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.268 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: 326448 kB Buffers: 36144 kB Cached: 1590144 kB SwapCached: 0 kB Active: 897372 kB Inactive: 760620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 326448 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4832 kB Writeback: 0 kB Mapped: 43084 kB Slab: 56308 kB Committed_AS: 599460 kB PageTables: 2120 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-1879969-1245146810.opb Free space on /tmp at the end= 126772 MiB End job on node81 at 2009-06-16 12:36:54