Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 117 | 1800.02 | 1800.63 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-vpm2.opb |
MD5SUM | f81823d3f3bf1b9e5d936e06c7f51a9c |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 117 |
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 | 117 |
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 | 84 |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 504 |
Number of bits of the sum of numbers in the objective function | 9 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/347854-1176522917/instance-347854-1176522917.opb 0.00/0.01 c File size is 109193 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.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Highest Coefficient sum: 4.94187e+06 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.021 s 0.00/0.03 c Var: 2754 Constr: 486 0/0/486 Lit: 13020 Watch. Lit: 8251 0.00/0.03 c Obj. Vars: 168 (6.10022 % of total variables) 0.00/0.07 c Pre-processing Time: 0.067 s 4.88/4.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.88/4.90 c 0 1794 234 8661 37 6030 17322 0 0 0.07 4.88/4.90 c 101 1794 335 13788 41 7033 19055 101 1346 0.07 4.88/4.90 c 251 1794 485 22923 47 7557 20961 251 2820 0.09 4.88/4.90 c 476 1794 710 31978 45 7933 23058 476 4288 0.11 4.88/4.90 c 814 1794 1048 41361 39 8603 25364 814 5856 0.14 4.88/4.90 c 1322 1794 1556 51001 32 9628 27901 1322 7184 0.18 4.88/4.90 c 2085 1794 2319 70031 30 11160 30692 2085 8306 0.25 4.88/4.90 c 3233 1794 3467 117069 33 13689 33762 3233 8507 0.38 4.88/4.90 c 4954 1793 5188 173042 33 17165 37139 4954 7574 0.65 4.88/4.90 c 7539 1793 7773 244803 31 22301 40853 7539 6515 1.16 4.88/4.90 c 11420 1793 11654 359038 30 30080 44939 11420 5874 1.94 4.88/4.90 c 17242 1793 17476 517119 29 41715 49433 17242 4915 3.51 4.88/4.90 o 120 4.892 133.95/134.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 133.95/134.01 c 22695 1793 22930 973398 42 52889 17560 22696 4638 4.89 133.95/134.01 c 22796 1793 9119 574424 62 25164 19317 8885 4488 5.08 133.95/134.01 c 23046 1793 9369 582210 62 25586 21249 9135 4499 5.12 133.95/134.01 c 23522 1793 9845 593553 60 26511 23374 9611 4515 5.21 133.95/134.01 c 24335 1793 10658 618119 57 28166 25712 10424 4519 5.38 133.95/134.01 c 25655 1793 11978 688234 57 30929 28284 11744 4561 5.62 133.95/134.01 c 27736 1793 14059 764879 54 35169 31113 13825 4472 6.20 133.95/134.01 c 30961 1793 17284 904355 52 41570 34225 17050 4475 6.92 133.95/134.01 c 35897 1793 22220 1118253 50 51442 37648 21986 3554 10.10 133.95/134.01 c 43404 1793 29727 1590305 53 66555 41413 29493 3728 11.64 133.95/134.01 c 54767 1793 41090 2353407 57 89217 45555 40856 2925 18.72 133.95/134.01 c 71911 1793 23557 1575923 66 54155 50111 23323 2348 30.61 133.95/134.01 c 97736 1793 49382 2758547 55 105843 55123 49148 1992 49.05 133.95/134.01 c 136568 1793 44131 2245767 50 95252 60636 43897 1362 100.25 133.95/134.01 o 119 133.967 295.19/295.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 295.19/295.34 c 174794 1793 33540 1784748 53 74205 17560 33306 1304 133.97 295.19/295.34 c 174894 1793 9118 604395 66 25231 19317 8884 1295 134.99 295.19/295.34 c 175144 1793 9368 618112 65 25698 21249 9134 1297 135.03 295.19/295.34 c 175619 1793 9843 640152 65 26638 23374 9609 1300 135.07 295.19/295.34 c 176433 1793 10657 696665 65 28347 25712 10423 1304 135.21 295.19/295.34 c 177753 1793 11977 748881 62 30893 28284 11743 1312 135.46 295.19/295.34 c 179836 1793 14060 860839 61 35009 31113 13826 1325 135.70 295.19/295.34 c 183059 1793 17283 1014180 58 41415 34225 17049 1341 136.41 295.19/295.34 c 187995 1793 22219 1304066 58 51293 37648 21985 1369 137.31 295.19/295.34 c 195501 1793 29725 1591972 53 66371 41413 29491 1397 139.91 295.19/295.34 c 206863 1793 41087 2139265 52 89063 45555 40853 1434 144.16 295.19/295.34 c 224007 1793 24188 1733124 71 55323 50111 23954 1436 155.98 295.19/295.34 c 249826 1793 50007 3115048 62 106978 55123 49773 1373 181.84 295.19/295.34 c 288660 1793 45070 2970975 65 97029 60636 44836 1356 212.72 295.19/295.34 c 347013 1793 53454 3562429 66 113974 66700 53220 1297 267.38 295.19/295.34 o 118 295.247 371.11/371.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 371.11/371.32 c 378101 1793 28528 2328759 81 64199 17560 28294 1280 295.25 371.11/371.32 c 378202 1793 9120 726828 79 25315 19317 8886 1278 295.81 371.11/371.32 c 378454 1793 9372 732631 78 25717 21249 9138 1279 295.84 371.11/371.32 c 378929 1793 9847 742236 75 26671 23374 9613 1280 295.90 371.11/371.32 c 379744 1793 10662 757729 71 28328 25712 10428 1282 296.02 371.11/371.32 c 381064 1793 11982 827976 69 30963 28284 11748 1286 296.20 371.11/371.32 c 383145 1793 14063 890887 63 35059 31113 13829 1291 296.70 371.11/371.32 c 386368 1793 17286 971966 56 41533 34225 17052 1298 297.63 371.11/371.32 c 391304 1793 22222 1264815 56 51340 37648 21988 1310 298.62 371.11/371.32 c 398811 1793 29729 1747206 58 66347 41413 29495 1327 300.45 371.11/371.32 c 410172 1793 41090 2497003 60 89036 45555 40856 1340 306.02 371.11/371.32 c 427316 1793 22512 1643518 73 51901 50111 22278 1342 318.25 371.11/371.32 c 453139 1793 48335 2721043 56 103617 55123 48101 1383 327.63 371.11/371.32 c 491971 1793 43232 2081524 48 93367 60636 42998 1339 367.36 371.11/371.32 o 117 371.144 1799.99/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.99/1800.60 c 499903 1793 51165 2903430 56 109362 17560 50931 1346 371.14 1799.99/1800.60 c 500003 1793 9119 861685 94 25209 19317 8885 1342 372.39 1799.99/1800.60 c 500254 1793 9370 870508 92 25709 21249 9136 1343 372.43 1799.99/1800.60 c 500729 1793 9845 891567 90 26624 23374 9611 1344 372.52 1799.99/1800.60 c 501543 1793 10659 933771 87 28353 25712 10425 1345 372.63 1799.99/1800.60 c 502863 1793 11979 963845 80 30939 28284 11745 1348 372.79 1799.99/1800.60 c 504944 1793 14060 1050509 74 35134 31113 13826 1353 373.17 1799.99/1800.60 c 508167 1793 17283 1177552 68 41585 34225 17049 1359 373.90 1799.99/1800.60 c 513104 1793 22220 1408732 63 51435 37648 21986 1367 375.25 1799.99/1800.60 c 520610 1793 29726 1761566 59 66419 41413 29492 1371 379.52 1799.99/1800.60 c 531972 1792 41088 2185092 53 89227 45555 40854 1366 389.16 1799.99/1800.60 c 549117 1792 23521 1112118 47 54056 50111 23287 1384 396.57 1799.99/1800.60 c 574936 1792 49340 2761393 55 105580 55123 49106 1377 417.24 1799.99/1800.60 c 613769 1792 43809 2173920 49 94570 60636 43575 1320 464.92 1799.99/1800.60 c 672121 1792 51488 4747044 92 109992 66700 51254 1262 532.31 1799.99/1800.60 c 759754 1792 27128 1354400 49 61228 73371 26894 879 863.41 1799.99/1800.60 c 891307 1792 32489 2173357 66 71932 80709 32255 684 1302.46 1799.99/1800.60 c Resources Exceeded 1799.99/1800.60 v -x848 x860 -x861 -x862 -x863 x864 x865 x866 x867 -x868 -x869 x881 x882 -x883 x884 x885 -x886 x887 x888 x889 -x890 -x902 -x903 1799.99/1800.60 v -x904 -x905 x906 x907 x908 -x909 -x910 -x911 x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x955 -x956 -x957 -x958 1799.99/1800.60 v x959 x960 -x961 -x962 -x963 -x964 x976 x977 -x978 -x979 -x980 -x981 x982 x983 -x984 -x985 -x997 -x998 -x999 x1000 -x1001 -x1002 1799.99/1800.60 v -x1003 -x1004 -x1005 x1006 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1039 x1040 x1041 -x1042 1799.99/1800.60 v -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 x1068 x1069 -x1081 -x1082 1799.99/1800.60 v -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 1799.99/1800.60 v x1123 -x1124 -x1125 -x1126 -x1127 x1128 x1129 -x1130 -x1131 -x1132 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1799.99/1800.60 v x1163 -x1164 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 1799.99/1800.60 v x1203 -x1204 -x1205 -x1206 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x912 1799.99/1800.60 v -x913 -x914 -x915 -x916 -x917 x918 -x919 x920 -x921 -x922 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1799.99/1800.60 v -x1142 -x1143 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2150 -x2151 -x2152 -x2153 1799.99/1800.60 v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2271 -x2272 -x2273 -x2274 x2275 -x2276 x2277 x2278 -x2279 -x2280 -x2281 1799.99/1800.60 v -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2513 -x2514 -x2515 x2516 -x2517 x2518 x2519 1799.99/1800.60 v x2520 x2521 -x2522 -x2523 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 x2642 x2643 -x2644 -x12 -x13 -x14 -x15 1799.99/1800.60 v -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x254 x255 x256 -x257 1799.99/1800.60 v x258 x259 x260 -x261 -x262 -x263 -x264 x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x496 -x497 -x498 -x499 1799.99/1800.60 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x738 -x739 -x740 1799.99/1800.60 v -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x870 x871 1799.99/1800.60 v x872 x873 x874 x875 -x876 -x877 x878 x879 -x880 -x891 -x892 -x893 x894 x895 x896 x897 -x898 x899 x900 -x901 -x923 -x924 -x925 1799.99/1800.60 v -x926 x927 x928 -x929 -x930 -x931 x932 -x933 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x965 -x966 1799.99/1800.60 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x1007 1799.99/1800.60 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 1799.99/1800.60 v -x1035 -x1036 -x1037 -x1038 -x1049 x1050 -x1051 x1052 -x1053 -x1054 x1055 -x1056 x1057 -x1058 -x1059 -x1070 x1071 x1072 1799.99/1800.60 v x1073 x1074 -x1075 -x1076 -x1077 x1078 x1079 -x1080 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 1799.99/1800.60 v -x1101 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1144 -x1145 -x1146 -x1147 -x1148 1799.99/1800.60 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1799.99/1800.60 v -x1186 -x1187 -x1188 -x1189 x1190 x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1799.99/1800.60 v -x1214 -x1215 -x1216 -x1217 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1469 x1470 1799.99/1800.60 v x1471 x1472 x1473 x1474 x1475 x1476 x1477 -x1478 -x1479 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 1799.99/1800.60 v -x1659 -x1660 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x2007 -x2008 -x2009 -x2010 1799.99/1800.60 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1799.99/1800.60 v -x2028 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 1799.99/1800.60 v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 1799.99/1800.60 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1799.99/1800.60 v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 1799.99/1800.60 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 x2114 x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1799.99/1800.60 v x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 1799.99/1800.60 v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1799.99/1800.60 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 x2184 x2185 x2186 x2187 1799.99/1800.60 v x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 1799.99/1800.60 v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 1799.99/1800.60 v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 1799.99/1800.60 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 x2250 x2251 x2252 x2253 -x2254 x2255 x2256 x2257 -x2258 -x2259 1799.99/1800.60 v x2260 x2261 x2262 x2263 x2264 x2265 -x2266 x2267 -x2268 -x2269 -x2270 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1799.99/1800.60 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1799.99/1800.60 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1799.99/1800.60 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 x2338 x2339 x2340 1799.99/1800.60 v x2341 -x2342 x2343 x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 1799.99/1800.60 v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 1799.99/1800.60 v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2403 1799.99/1800.60 v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 x2416 x2417 x2418 x2419 x2420 x2421 1799.99/1800.60 v x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1799.99/1800.60 v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 1799.99/1800.60 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1799.99/1800.60 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 x2482 x2483 x2484 x2485 x2486 x2487 x2488 -x2489 -x2490 x2491 1799.99/1800.60 v x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1799.99/1800.60 v -x2510 -x2511 -x2512 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1799.99/1800.60 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1799.99/1800.60 v -x2555 -x2556 -x2557 x2558 x2559 x2560 x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 x2568 x2569 x2570 x2571 x2572 -x2573 1799.99/1800.60 v -x2574 -x2575 x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 1799.99/1800.60 v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1799.99/1800.60 v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 1799.99/1800.60 v x2626 -x2627 -x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1799.99/1800.60 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1799.99/1800.60 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1799.99/1800.60 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1799.99/1800.60 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 x2713 x2714 x2715 x2716 x2717 -x2718 x2719 x2720 -x2721 -x2722 -x2723 -x2724 1799.99/1800.60 v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 1799.99/1800.60 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x23 -x24 -x25 -x26 -x27 -x28 1799.99/1800.60 v -x29 -x30 x31 x32 -x33 x34 x35 x36 x37 x38 x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1799.99/1800.60 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1799.99/1800.60 v -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.99/1800.60 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1799.99/1800.60 v -x129 -x130 -x131 -x132 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 1799.99/1800.60 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1799.99/1800.60 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 1799.99/1800.60 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 1799.99/1800.60 v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 1799.99/1800.60 v -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 1799.99/1800.60 v x277 x278 -x279 x280 x281 -x282 x283 x284 x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 1799.99/1800.60 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1799.99/1800.60 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1799.99/1800.60 v -x341 x342 x343 x344 -x345 x346 -x347 -x348 -x349 x350 x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1799.99/1800.60 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 1799.99/1800.60 v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 1799.99/1800.60 v -x416 -x417 -x418 -x419 -x420 x421 x422 x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 1799.99/1800.60 v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 1799.99/1800.60 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 1799.99/1800.60 v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x507 -x508 -x509 -x510 1799.99/1800.60 v x511 -x512 x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1799.99/1800.60 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 1799.99/1800.60 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 1799.99/1800.60 v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 1799.99/1800.60 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1799.99/1800.60 v -x616 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 1799.99/1800.60 v -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 1799.99/1800.60 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 1799.99/1800.60 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 1799.99/1800.60 v -x711 -x712 -x713 -x714 -x715 x716 x717 -x718 x719 x720 x721 x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 1799.99/1800.60 v -x733 -x734 -x735 -x736 -x737 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1799.99/1800.60 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1799.99/1800.60 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1799.99/1800.60 v -x807 -x808 -x809 -x810 -x811 x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1799.99/1800.60 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x1225 1799.99/1800.60 v -x1226 -x1227 x1228 -x1229 -x1230 x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1799.99/1800.60 v -x1244 -x1245 -x1246 x1247 x1248 -x1249 x1250 x1251 x1252 x1253 -x1254 x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 1799.99/1800.60 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1290 1799.99/1800.60 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 x1306 x1307 -x1308 1799.99/1800.60 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 x1324 x1325 -x1326 1799.99/1800.60 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 1799.99/1800.60 v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 x1360 x1361 1799.99/1800.60 v -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 x1375 x1376 -x1377 x1378 -x1379 1799.99/1800.60 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 x1396 x1397 1799.99/1800.60 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 x1414 x1415 1799.99/1800.60 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1799.99/1800.60 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1799.99/1800.60 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 1799.99/1800.60 v x1467 x1468 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 x1495 1799.99/1800.60 v x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 x1512 x1513 1799.99/1800.60 v -x1514 -x1515 -x1516 -x1517 -x1518 x1519 x1520 x1521 -x1522 x1523 x1524 x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 1799.99/1800.60 v -x1532 x1533 -x1534 -x1535 x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1799.99/1800.60 v x1550 -x1551 -x1552 x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1799.99/1800.60 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 x1580 x1581 -x1582 -x1583 -x1584 -x1585 1799.99/1800.60 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1799.99/1800.60 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1799.99/1800.60 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 x1631 x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 x1639 1799.99/1800.60 v x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1661 -x1662 x1663 -x1664 -x1665 x1666 x1667 -x1668 1799.99/1800.60 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1799.99/1800.60 v -x1686 -x1687 -x1688 -x1689 x1690 x1691 -x1692 x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 1799.99/1800.60 v -x1704 -x1705 -x1706 -x1707 -x1708 x1709 x1710 -x1711 x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1799.99/1800.60 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 x1729 -x1730 x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 x1738 -x1739 1799.99/1800.60 v -x1740 x1741 x1742 -x1743 x1744 -x1745 x1746 x1747 x1748 x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1799.99/1800.60 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 1799.99/1800.60 v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 1799.99/1800.60 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 1799.99/1800.60 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1799.99/1800.60 v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1854 -x1855 1799.99/1800.60 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1799.99/1800.60 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1799.99/1800.60 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1799.99/1800.60 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 x1920 x1921 -x1922 -x1923 -x1924 1799.99/1800.60 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1799.99/1800.60 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 1799.99/1800.60 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1799.99/1800.60 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1799.99/1800.60 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 1799.99/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.61 c 71 1064203 83911 1304373 64871 3868414 64637 591 1800.00 1799.99/1800.61 c Objective: 117 1799.99/1800.61 s SATISFIABLE 1799.99/1800.61 c Total time: 1800 s
OK 117
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-347854-1176522917 -o ROOT/results/node14/solver-347854-1176522917 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/347854-1176522917/instance-347854-1176522917.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.92 0.98 0.99 3/77 15050 /proc/meminfo: memFree=1939336/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=3780 CPUtime=0 /proc/15050/stat : 15050 (bsolo3.0.16) D 15048 15050 14925 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 100209468 3870720 155 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/15050/statm: 945 223 196 324 0 14 0 [startup+0.089663 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15050 /proc/meminfo: memFree=1939336/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=4860 CPUtime=0.07 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 647 0 3 0 7 0 0 0 18 0 1 0 100209468 4976640 591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 1215 591 311 324 0 284 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4860 [startup+0.101664 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15050 /proc/meminfo: memFree=1939336/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=4860 CPUtime=0.08 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 647 0 3 0 8 0 0 0 18 0 1 0 100209468 4976640 591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 1215 591 311 324 0 284 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4860 [startup+0.301683 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15050 /proc/meminfo: memFree=1939336/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=5912 CPUtime=0.28 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 892 0 3 0 28 0 0 0 19 0 1 0 100209468 6053888 836 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 1478 836 312 324 0 547 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5912 [startup+0.701721 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15050 /proc/meminfo: memFree=1939336/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=7356 CPUtime=0.68 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 1271 0 3 0 68 0 0 0 23 0 1 0 100209468 7532544 1215 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 1839 1215 312 324 0 908 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7356 [startup+1.5018 s] /proc/loadavg: 0.92 0.98 0.99 2/78 15051 /proc/meminfo: memFree=1934016/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=9196 CPUtime=1.48 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 1714 0 3 0 147 1 0 0 25 0 1 0 100209468 9416704 1658 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 2299 1658 312 324 0 1368 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9196 [startup+3.10195 s] /proc/loadavg: 0.92 0.98 0.99 2/78 15051 /proc/meminfo: memFree=1931392/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=12324 CPUtime=3.08 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 2507 0 3 0 306 2 0 0 25 0 1 0 100209468 12619776 2451 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 3081 2451 312 324 0 2150 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 12324 [startup+6.30125 s] /proc/loadavg: 0.93 0.98 0.99 2/78 15051 /proc/meminfo: memFree=1922368/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=19596 CPUtime=6.29 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 4339 0 3 0 624 5 0 0 25 0 1 0 100209468 20066304 4283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 4899 4283 313 324 0 3968 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19596 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 2/78 15051 /proc/meminfo: memFree=1913088/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=29472 CPUtime=12.68 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 6787 0 3 0 1260 8 0 0 25 0 1 0 100209468 30179328 6731 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 7368 6731 313 324 0 6437 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29472 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/78 15051 /proc/meminfo: memFree=1898304/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=43616 CPUtime=25.48 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 10380 0 3 0 2535 13 0 0 25 0 1 0 100209468 44662784 10277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 10904 10277 313 324 0 9973 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43616 [startup+51.1025 s] /proc/loadavg: 0.96 0.98 0.99 2/78 15051 /proc/meminfo: memFree=1896000/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=46480 CPUtime=51.07 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 11094 0 3 0 5088 19 0 0 25 0 1 0 100209468 47595520 10991 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550969 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 11620 10991 313 324 0 10689 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 46480 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 15051 /proc/meminfo: memFree=1891584/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=50268 CPUtime=102.25 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 12115 0 3 0 10198 27 0 0 25 0 1 0 100209468 51474432 11956 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 12567 11956 313 324 0 11636 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 50268 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15051 /proc/meminfo: memFree=1891136/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=50680 CPUtime=162.24 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 12279 0 3 0 16183 41 0 0 25 0 1 0 100209468 51896320 12059 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 12670 12059 313 324 0 11739 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 50680 [startup+222.303 s] /proc/loadavg: 0.99 0.98 0.99 3/78 15051 /proc/meminfo: memFree=1881408/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=60380 CPUtime=222.22 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 14803 0 3 0 22168 54 0 0 25 0 1 0 100209468 61829120 14466 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 15095 14466 313 324 0 14164 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 60380 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15051 /proc/meminfo: memFree=1870784/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=70884 CPUtime=282.21 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 17498 0 3 0 28155 66 0 0 25 0 1 0 100209468 72585216 17094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 17721 17094 313 324 0 16790 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 70884 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15051 /proc/meminfo: memFree=1870784/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=70884 CPUtime=342.18 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 17498 0 3 0 34141 77 0 0 25 0 1 0 100209468 72585216 17094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 17721 17094 313 324 0 16790 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 70884 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1870328/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=70884 CPUtime=402.06 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 17498 0 3 0 40117 89 0 0 25 0 1 0 100209468 72585216 17094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 17721 17094 313 324 0 16790 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 70884 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1870336/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=70884 CPUtime=462.04 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 17498 0 3 0 46107 97 0 0 25 0 1 0 100209468 72585216 17094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160036204 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 17721 17094 313 324 0 16790 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 70884 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1870336/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=70884 CPUtime=522.03 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 17498 0 3 0 52099 104 0 0 25 0 1 0 100209468 72585216 17094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 17721 17094 313 324 0 16790 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 70884 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1852160/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88800 CPUtime=582.02 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22057 0 3 0 58089 113 0 0 25 0 1 0 100209468 90931200 21586 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22200 21586 313 324 0 21269 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 88800 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1852160/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88800 CPUtime=642 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22057 0 3 0 64084 116 0 0 25 0 1 0 100209468 90931200 21586 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22200 21586 313 324 0 21269 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 88800 ################ # More data... # ################ /proc/meminfo: memFree=1851776/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88828 CPUtime=1121.87 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22064 0 3 0 112041 146 0 0 25 0 1 0 100209468 90959872 21593 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7360040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22207 21593 313 324 0 21276 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 88828 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1851712/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88828 CPUtime=1181.85 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22064 0 3 0 118036 149 0 0 25 0 1 0 100209468 90959872 21593 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22207 21593 313 324 0 21276 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 88828 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1851520/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88828 CPUtime=1241.84 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22064 0 3 0 124031 153 0 0 25 0 1 0 100209468 90959872 21593 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22207 21593 313 324 0 21276 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 88828 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1851392/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88828 CPUtime=1301.82 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22064 0 3 0 130026 156 0 0 25 0 1 0 100209468 90959872 21593 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22207 21593 313 324 0 21276 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 88828 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1851328/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88840 CPUtime=1361.81 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22067 0 3 0 136018 163 0 0 25 0 1 0 100209468 90972160 21596 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22210 21596 313 324 0 21279 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 88840 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1851264/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1421.79 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 142013 166 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 88860 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1851264/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1481.77 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 148005 172 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 88860 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1851200/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1541.75 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 154001 174 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 88860 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1851136/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1601.74 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 159996 178 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 88860 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1851008/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1661.72 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 165991 181 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 88860 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1850944/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1721.71 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 171985 186 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 88860 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1781.69 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 177979 190 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 88860 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1791.29 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 178939 190 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 88860 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1794.49 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 179258 191 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 88860 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1797.69 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 179578 191 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (KiB) 88860 [startup+1799.9 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1799.29 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 179738 191 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1799.29 Current children cumulated vsize (KiB) 88860 [startup+1800.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1799.69 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 179778 191 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (KiB) 88860 [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1799.89 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 179798 191 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1799.89 Current children cumulated vsize (KiB) 88860 [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15249 /proc/meminfo: memFree=1850752/2055920 swapFree=4149088/4192956 [pid=15050] ppid=15048 vsize=88860 CPUtime=1799.99 /proc/15050/stat : 15050 (bsolo3.0.16) R 15048 15050 14925 0 -1 4194304 22072 0 3 0 179808 191 0 0 25 0 1 0 100209468 90992640 21601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15050/statm: 22215 21601 313 324 0 21284 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 88860 Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.02 CPU user time (s): 1798.09 CPU system time (s): 1.92671 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 89068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.09 system time used= 1.92671 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22073 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18 involuntary context switches= 2542 runsolver used 2.13967 second user time and 4.38333 second system time The end
Begin job on node14 on Sat Apr 14 03:55:17 UTC 2007 IDJOB= 347854 IDBENCH= 1524 IDSOLVER= 163 FILE ID= node14/347854-1176522917 PBS_JOBID= 4556724 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/347854-1176522917/instance-347854-1176522917.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-347854-1176522917 -o ROOT/results/node14/solver-347854-1176522917 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/347854-1176522917/instance-347854-1176522917.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= f81823d3f3bf1b9e5d936e06c7f51a9c RANDOM SEED= 691209897 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1939744 kB Buffers: 8008 kB Cached: 47660 kB SwapCached: 11380 kB Active: 49032 kB Inactive: 29932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1939744 kB SwapTotal: 4192956 kB SwapFree: 4149088 kB Dirty: 4512 kB Writeback: 0 kB Mapped: 29380 kB Slab: 22736 kB Committed_AS: 4456580 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= 66557 MiB End job on node14 on Sat Apr 14 04:25:18 UTC 2007