Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 39 | 1800.02 | 1800.5 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-vpm1.opb |
MD5SUM | 019e5a614038472d624f56ab4ecfb30e |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 39 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | NO |
Number of variables | 2754 |
Total number of constraints | 444 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 444 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 82 |
Number of terms in the objective function | 168 |
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 | 168 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 819200 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 4941871 |
Number of bits of the biggest sum of numbers | 23 |
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.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/350565-1176520669/instance-350565-1176520669.opb 0.00/0.00 c File size is 106651 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Highest Coefficient sum: 4.94187e+06 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.02 s 0.00/0.02 c Var: 2754 Constr: 486 0/0/486 Lit: 12852 Watch. Lit: 8083 0.00/0.02 c Obj. Vars: 168 (6.10022 % of total variables) 0.06/0.07 c Pre-processing Time: 0.068 s 100.16/100.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 100.16/100.27 c 0 1861 301 9230 30 6439 18460 0 0 0.07 100.16/100.27 c 101 1861 402 13814 34 7426 20307 101 1311 0.08 100.16/100.27 c 251 1861 552 20027 36 7922 22338 251 2820 0.09 100.16/100.27 c 476 1861 777 31189 40 8419 24572 476 4288 0.11 100.16/100.27 c 814 1861 1115 53986 48 9343 27030 814 5575 0.15 100.16/100.27 c 1322 1861 1623 75618 46 10293 29734 1322 6417 0.21 100.16/100.27 c 2086 1861 2387 108529 45 11810 32708 2086 6930 0.30 100.16/100.27 c 3232 1861 3533 204915 58 14224 35979 3232 7378 0.44 100.16/100.27 c 4953 1861 5254 305962 58 17614 39577 4953 6025 0.82 100.16/100.27 c 7538 1861 7839 487049 62 22967 43535 7538 6153 1.23 100.16/100.27 c 11418 1861 11719 772672 65 30638 47889 11418 3755 3.04 100.16/100.27 c 17243 1861 17544 1097653 62 42368 52678 17243 3129 5.51 100.16/100.27 c 25980 1861 26281 1572378 59 59869 57946 25980 3248 8.00 100.16/100.27 c 39094 1861 39395 2484997 63 86017 63741 39094 2003 19.51 100.16/100.27 c 58765 1861 59066 3518533 59 125274 70116 58765 1082 54.29 100.16/100.27 c 88275 1861 28959 1405998 48 64998 77128 28658 885 99.71 100.16/100.27 o 39 100.244 1799.92/1800.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.47 c 92052 1861 32737 1647780 50 72774 19460 32436 918 100.25 1799.92/1800.47 c 92152 1861 10132 549569 54 27582 21407 9831 902 102.13 1799.92/1800.47 c 92403 1861 10383 564409 54 28196 23548 10082 904 102.20 1799.92/1800.47 c 92878 1861 10858 576576 53 28903 25903 10557 908 102.25 1799.92/1800.47 c 93691 1861 11671 599417 51 30592 28494 11370 915 102.36 1799.92/1800.47 c 95011 1861 12991 639064 49 33230 31344 12690 926 102.56 1799.92/1800.47 c 97092 1861 15072 712784 47 37401 34479 14771 942 103.01 1799.92/1800.47 c 100315 1861 18295 933054 51 43954 37927 17994 968 103.56 1799.92/1800.47 c 105251 1861 23231 1228275 52 53617 41720 22930 1004 104.78 1799.92/1800.47 c 112757 1861 30737 1926855 62 68749 45893 30436 1049 107.42 1799.92/1800.47 c 124119 1861 42099 2808639 66 91442 50483 41798 1084 114.49 1799.92/1800.47 c 141263 1861 19148 942316 49 45535 55532 18847 1087 129.84 1799.92/1800.48 c 167082 1861 44967 2222644 49 97217 61086 44666 997 167.54 1799.92/1800.48 c 205916 1861 32993 3882660 117 73337 67195 32692 925 222.51 1799.92/1800.48 c 264268 1861 34364 1905952 55 75942 73915 34063 666 396.58 1799.92/1800.48 c 351904 1861 59620 5922995 99 126467 81307 59319 540 651.09 1799.92/1800.48 c 483457 1861 49325 2749070 55 105876 89438 49024 371 1299.81 1799.92/1800.48 c Resources Exceeded 1799.92/1800.48 v x2587 -x2588 x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 x2597 x2598 x2599 x2600 x2601 x2602 x2603 x2604 -x2605 1799.92/1800.48 v -x2606 x2607 x2608 -x2609 x2610 -x2611 -x2612 -x2613 x2614 -x2615 -x2616 -x2617 x2618 x2619 -x2620 -x2621 -x2622 -x2623 1799.92/1800.48 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 -x2641 1799.92/1800.48 v -x2642 -x2643 x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 1799.92/1800.48 v -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 x2669 x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 1799.92/1800.48 v -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 x2694 -x2695 1799.92/1800.48 v -x2696 -x2697 x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 x2713 1799.92/1800.48 v -x2714 -x2715 -x2716 -x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1799.92/1800.48 v -x2731 -x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 x2745 -x2746 -x2747 -x2748 1799.92/1800.48 v -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 1799.92/1800.48 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 1799.92/1800.48 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 1799.92/1800.48 v -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 1799.92/1800.48 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 1799.92/1800.48 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 x857 1799.92/1800.48 v -x858 -x859 -x860 -x861 x862 x863 x864 x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 1799.92/1800.48 v x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 1799.92/1800.48 v x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 x917 x918 -x919 -x920 x921 -x922 1799.92/1800.48 v -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 1799.92/1800.48 v -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 1799.92/1800.48 v x965 -x966 -x967 x968 -x969 x970 x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1799.92/1800.48 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1799.92/1800.48 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1799.92/1800.48 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1799.92/1800.48 v -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1799.92/1800.48 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1799.92/1800.48 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 1799.92/1800.48 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1799.92/1800.48 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1799.92/1800.48 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1799.92/1800.48 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1799.92/1800.48 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1799.92/1800.48 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1799.92/1800.48 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1799.92/1800.48 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1799.92/1800.48 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1799.92/1800.48 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1799.92/1800.48 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1799.92/1800.48 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1799.92/1800.48 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1799.92/1800.48 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1799.92/1800.48 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1799.92/1800.48 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1799.92/1800.48 v -x1364 -x1365 x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1799.92/1800.48 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1799.92/1800.48 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1799.92/1800.48 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1799.92/1800.48 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1799.92/1800.48 v x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1799.92/1800.48 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1799.92/1800.48 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 x1499 x1500 -x1501 x1502 x1503 1799.92/1800.48 v x1504 x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 1799.92/1800.48 v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 1799.92/1800.48 v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 1799.92/1800.48 v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 1799.92/1800.48 v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 1799.92/1800.48 v -x1590 -x1591 x1592 x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1799.92/1800.48 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 1799.92/1800.48 v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1799.92/1800.48 v -x1642 -x1643 -x1644 -x1645 -x1646 x1647 x1648 -x1649 x1650 -x1651 -x1652 -x1653 x1654 x1655 -x1656 x1657 x1658 -x1659 1799.92/1800.48 v x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 1799.92/1800.48 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1799.92/1800.48 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 1799.92/1800.48 v -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 1799.92/1800.48 v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 1799.92/1800.48 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1799.92/1800.48 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 1799.92/1800.48 v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 x1789 -x1790 x1791 x1792 x1793 -x1794 -x1795 -x1796 1799.92/1800.48 v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 1799.92/1800.48 v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 1799.92/1800.48 v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 1799.92/1800.48 v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 1799.92/1800.48 v -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 1799.92/1800.48 v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 1799.92/1800.48 v x1899 x1900 x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 1799.92/1800.48 v -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 1799.92/1800.48 v -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 1799.92/1800.48 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 x1966 x1967 x1968 1799.92/1800.48 v x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 1799.92/1800.48 v -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 1799.92/1800.48 v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 1799.92/1800.48 v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 1799.92/1800.48 v -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 1799.92/1800.48 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1799.92/1800.48 v x2071 -x2072 -x2073 x2074 x2075 x2076 x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1799.92/1800.48 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 1799.92/1800.48 v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 1799.92/1800.48 v -x2123 -x2124 -x2125 x2126 -x2127 -x2128 x2129 -x2130 x2131 x2132 x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1799.92/1800.48 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1799.92/1800.48 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1799.92/1800.48 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1799.92/1800.48 v -x2192 -x2193 x2194 x2195 -x2196 x2197 x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1799.92/1800.48 v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1799.92/1800.48 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1799.92/1800.48 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1799.92/1800.48 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 1799.92/1800.48 v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1799.92/1800.48 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1799.92/1800.48 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1799.92/1800.48 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 1799.92/1800.48 v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 1799.92/1800.48 v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1799.92/1800.48 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1799.92/1800.48 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 1799.92/1800.48 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 1799.92/1800.48 v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 1799.92/1800.48 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 1799.92/1800.48 v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 1799.92/1800.48 v x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 1799.92/1800.48 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 1799.92/1800.48 v -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 1799.92/1800.48 v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 1799.92/1800.48 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 1799.92/1800.48 v -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 1799.92/1800.48 v -x2586 -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 1799.92/1800.48 v -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 1799.92/1800.48 v -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 1799.92/1800.48 v x81 x82 x83 x84 x85 x86 x87 x88 x89 -x90 -x91 -x92 x93 -x94 -x95 x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1799.92/1800.48 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 x125 x126 -x127 -x128 1799.92/1800.48 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1799.92/1800.48 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1799.92/1800.48 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1799.92/1800.48 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1799.92/1800.48 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 x232 x233 1799.92/1800.48 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 x249 x250 -x251 -x252 -x253 -x254 1799.92/1800.48 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1799.92/1800.48 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 1799.92/1800.48 v -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 1799.92/1800.48 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 x334 x335 -x336 -x337 -x338 1799.92/1800.48 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1799.92/1800.48 v -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1799.92/1800.48 v -x381 x382 -x383 -x384 x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 1799.92/1800.48 v x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1799.92/1800.48 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 x434 -x435 x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 1799.92/1800.48 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 1799.92/1800.48 v -x465 -x466 -x467 -x468 -x469 -x470 x471 x472 -x473 x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1799.92/1800.48 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 1799.92/1800.48 v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1799.92/1800.48 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 x540 x541 -x542 -x543 -x544 -x545 x546 x547 -x548 x549 1799.92/1800.48 v x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1799.92/1800.48 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1799.92/1800.48 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1799.92/1800.48 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1799.92/1800.48 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 x652 x653 -x654 1799.92/1800.48 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 1799.92/1800.48 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1799.92/1800.48 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1799.92/1800.48 v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 1799.92/1800.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.48 c 32 623755 30989 733746 32458 1723855 32157 346 1800.00 1799.92/1800.48 c Objective: 39 1799.92/1800.48 s SATISFIABLE 1799.92/1800.48 c Total time: 1800 s
OK 39
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-350565-1176520669 -o ROOT/results/node19/solver-350565-1176520669 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350565-1176520669/instance-350565-1176520669.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.73 0.99 0.99 3/77 28329 /proc/meminfo: memFree=1602696/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=11844 CPUtime=0 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 99984267 12128256 337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 2961 337 282 324 0 2003 0 [startup+0.0642819 s] /proc/loadavg: 0.73 0.99 0.99 3/77 28329 /proc/meminfo: memFree=1602696/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=4852 CPUtime=0.06 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 645 0 0 0 6 0 0 0 18 0 1 0 99984267 4968448 586 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 1213 586 307 324 0 282 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4852 [startup+0.101287 s] /proc/loadavg: 0.73 0.99 0.99 3/77 28329 /proc/meminfo: memFree=1602696/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=4852 CPUtime=0.09 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 653 0 0 0 9 0 0 0 18 0 1 0 99984267 4968448 594 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 1213 594 311 324 0 282 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4852 [startup+0.301308 s] /proc/loadavg: 0.73 0.99 0.99 3/77 28329 /proc/meminfo: memFree=1602696/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=6156 CPUtime=0.29 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 969 0 0 0 29 0 0 0 19 0 1 0 99984267 6303744 910 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 1539 910 312 324 0 608 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6156 [startup+0.701351 s] /proc/loadavg: 0.73 0.99 0.99 3/77 28329 /proc/meminfo: memFree=1602696/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=8616 CPUtime=0.69 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 1579 0 0 0 69 0 0 0 22 0 1 0 99984267 8822784 1520 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 2154 1520 312 324 0 1223 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8616 [startup+1.50144 s] /proc/loadavg: 0.73 0.99 0.99 2/78 28330 /proc/meminfo: memFree=1596288/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=12384 CPUtime=1.49 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 2540 0 0 0 148 1 0 0 25 0 1 0 99984267 12681216 2481 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 3096 2481 312 324 0 2165 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12384 [startup+3.10161 s] /proc/loadavg: 0.73 0.99 0.99 2/78 28330 /proc/meminfo: memFree=1592192/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=15880 CPUtime=3.09 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 3387 0 0 0 308 1 0 0 25 0 1 0 99984267 16261120 3328 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 3970 3328 312 324 0 3039 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15880 [startup+6.30196 s] /proc/loadavg: 0.75 0.99 0.99 2/78 28330 /proc/meminfo: memFree=1585736/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=22512 CPUtime=6.29 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 5066 0 0 0 626 3 0 0 25 0 1 0 99984267 23052288 5007 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 5628 5007 312 324 0 4697 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22512 [startup+12.7017 s] /proc/loadavg: 0.77 0.99 0.99 2/78 28330 /proc/meminfo: memFree=1572488/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=34456 CPUtime=12.69 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 8058 0 0 0 1262 7 0 0 25 0 1 0 99984267 35282944 7999 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 8614 7999 312 324 0 7683 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34456 [startup+25.501 s] /proc/loadavg: 0.89 1.00 0.99 2/78 28330 /proc/meminfo: memFree=1560264/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=45864 CPUtime=25.48 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 10912 0 0 0 2538 10 0 0 25 0 1 0 99984267 46964736 10853 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 11466 10853 312 324 0 10535 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45864 [startup+51.1018 s] /proc/loadavg: 0.92 1.00 0.99 2/78 28330 /proc/meminfo: memFree=1550920/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=55304 CPUtime=51.08 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 13246 0 0 0 5092 16 0 0 25 0 1 0 99984267 56631296 13187 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 13826 13187 312 324 0 12895 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 55304 [startup+102.305 s] /proc/loadavg: 0.97 1.00 0.99 2/78 28330 /proc/meminfo: memFree=1540488/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=65420 CPUtime=102.27 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 15844 0 0 0 10202 25 0 0 25 0 1 0 99984267 66990080 15715 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 16355 15715 313 324 0 15424 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 65420 [startup+162.302 s] /proc/loadavg: 1.02 1.01 1.00 2/78 28330 /proc/meminfo: memFree=1540552/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=65420 CPUtime=162.25 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 15845 0 0 0 16190 35 0 0 25 0 1 0 99984267 66990080 15716 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 16355 15716 313 324 0 15424 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 65420 [startup+222.301 s] /proc/loadavg: 1.01 1.01 1.00 2/78 28330 /proc/meminfo: memFree=1540552/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=65404 CPUtime=222.24 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 15907 0 0 0 22181 43 0 0 25 0 1 0 99984267 66973696 15716 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7917052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 16351 15716 313 324 0 15420 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 65404 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28330 /proc/meminfo: memFree=1524424/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=81752 CPUtime=282.22 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 20013 0 0 0 28171 51 0 0 25 0 1 0 99984267 83714048 19822 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 20438 19822 313 324 0 19507 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 81752 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28330 /proc/meminfo: memFree=1518664/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=87172 CPUtime=342.2 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 21432 0 0 0 34164 56 0 0 25 0 1 0 99984267 89264128 21173 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 21793 21173 313 324 0 20862 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 87172 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28330 /proc/meminfo: memFree=1518728/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=87172 CPUtime=402.18 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 21432 0 0 0 40157 61 0 0 25 0 1 0 99984267 89264128 21173 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 21793 21173 313 324 0 20862 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 87172 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28330 /proc/meminfo: memFree=1518728/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=87188 CPUtime=462.16 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 21436 0 0 0 46150 66 0 0 25 0 1 0 99984267 89280512 21177 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 21797 21177 313 324 0 20866 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 87188 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28330 /proc/meminfo: memFree=1518792/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=87188 CPUtime=522.16 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 21436 0 0 0 52145 71 0 0 25 0 1 0 99984267 89280512 21177 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 21797 21177 313 324 0 20866 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 87188 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28330 /proc/meminfo: memFree=1518792/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=87188 CPUtime=582.14 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 21436 0 0 0 58140 74 0 0 25 0 1 0 99984267 89280512 21177 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 21797 21177 313 324 0 20866 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 87188 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28330 /proc/meminfo: memFree=1518792/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=87188 CPUtime=642.13 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 21436 0 0 0 64137 76 0 0 25 0 1 0 99984267 89280512 21177 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7601268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 21797 21177 313 324 0 20866 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 87188 ################ # More data... # ################ /proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106284 CPUtime=1121.99 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26275 0 0 0 112097 102 0 0 25 0 1 0 99984267 108834816 25934 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26571 25934 313 324 0 25640 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 106284 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499528/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106284 CPUtime=1181.98 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26275 0 0 0 118094 104 0 0 25 0 1 0 99984267 108834816 25934 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26571 25934 313 324 0 25640 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 106284 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499592/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106284 CPUtime=1241.96 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26275 0 0 0 124088 108 0 0 25 0 1 0 99984267 108834816 25934 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26571 25934 313 324 0 25640 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 106284 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499592/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106284 CPUtime=1301.95 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26275 0 0 0 130083 112 0 0 25 0 1 0 99984267 108834816 25934 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26571 25934 313 324 0 25640 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 106284 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499592/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1361.93 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 136074 119 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 106320 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499656/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1421.92 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 142068 124 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 106320 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499656/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1481.9 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 148062 128 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 106320 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499656/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1541.89 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 154058 131 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 106320 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1601.87 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 160054 133 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 106320 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1661.85 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 166051 134 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 106320 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499656/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1721.84 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 172047 137 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 106320 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1781.82 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 178043 139 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 106320 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1791.42 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179002 140 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 106320 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1794.62 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179322 140 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 106320 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1797.82 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179641 141 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 106320 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1798.62 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179721 141 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (KiB) 106320 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1799.42 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179801 141 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1799.42 Current children cumulated vsize (KiB) 106320 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1799.82 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179841 141 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1799.82 Current children cumulated vsize (KiB) 106320 [startup+1800.4 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28332 /proc/meminfo: memFree=1499720/2055920 swapFree=4192812/4192956 [pid=28329] ppid=28327 vsize=106320 CPUtime=1799.92 /proc/28329/stat : 28329 (bsolo3.0.16) R 28327 28329 28269 0 -1 4194304 26283 0 0 0 179851 141 0 0 25 0 1 0 99984267 108871680 25942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28329/statm: 26580 25942 313 324 0 25649 0 Current children cumulated CPU time (s) 1799.92 Current children cumulated vsize (KiB) 106320 Child status: 0 Real time (s): 1800.5 CPU time (s): 1800.02 CPU user time (s): 1798.59 CPU system time (s): 1.42778 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 106612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.59 system time used= 1.42778 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26284 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= 15 involuntary context switches= 2953 runsolver used 2.21466 second user time and 4.29335 second system time The end
Begin job on node19 on Sat Apr 14 03:17:49 UTC 2007 IDJOB= 350565 IDBENCH= 1514 IDSOLVER= 163 FILE ID= node19/350565-1176520669 PBS_JOBID= 4556713 Free space on /tmp= 66541 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350565-1176520669/instance-350565-1176520669.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-350565-1176520669 -o ROOT/results/node19/solver-350565-1176520669 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350565-1176520669/instance-350565-1176520669.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 019e5a614038472d624f56ab4ecfb30e RANDOM SEED= 426463502 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.213 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.213 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: 1603168 kB Buffers: 39228 kB Cached: 303220 kB SwapCached: 0 kB Active: 141008 kB Inactive: 255144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1603168 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4728 kB Writeback: 0 kB Mapped: 72600 kB Slab: 42144 kB Committed_AS: 2697316 kB PageTables: 1784 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66541 MiB End job on node19 on Sat Apr 14 03:47:49 UTC 2007