Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 117 | 1800.1 | 1800.82 |
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.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432535-1177944624/instance-432535-1177944624.opb 0.00/0.00 c File size is 109193 bytes. 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: 13020 Watch. Lit: 8251 0.00/0.02 c Obj. Vars: 168 (6.10022 % of total variables) 0.00/0.07 c Pre-processing Time: 0.067 s 4.79/4.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.88 c 0 1794 234 8661 37 6030 17322 0 0 0.07 4.79/4.88 c 101 1794 335 13788 41 7033 19055 101 1364 0.07 4.79/4.88 c 251 1794 485 22923 47 7557 20961 251 2885 0.09 4.79/4.88 c 476 1794 710 31978 45 7933 23058 476 4407 0.11 4.79/4.88 c 814 1794 1048 41361 39 8603 25364 814 5985 0.14 4.79/4.88 c 1322 1794 1556 51001 32 9628 27901 1322 7385 0.18 4.79/4.88 c 2085 1794 2319 70031 30 11160 30692 2085 8545 0.24 4.79/4.88 c 3233 1794 3467 117069 33 13689 33762 3233 8737 0.37 4.79/4.88 c 4954 1793 5188 173042 33 17165 37139 4954 7704 0.64 4.79/4.88 c 7539 1793 7773 244803 31 22301 40853 7539 6578 1.15 4.79/4.88 c 11420 1793 11654 359038 30 30080 44939 11420 5920 1.93 4.79/4.88 c 17242 1793 17476 517119 29 41715 49433 17242 4941 3.49 4.79/4.88 o 120 4.882 133.45/133.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 133.45/133.52 c 22695 1793 22930 973398 42 52889 17560 22696 4647 4.88 133.45/133.52 c 22796 1793 9119 574424 62 25164 19317 8885 4496 5.07 133.45/133.52 c 23046 1793 9369 582210 62 25586 21249 9135 4508 5.11 133.45/133.52 c 23522 1793 9845 593553 60 26511 23374 9611 4524 5.20 133.45/133.52 c 24335 1793 10658 618119 57 28166 25712 10424 4527 5.38 133.45/133.52 c 25655 1793 11978 688234 57 30929 28284 11744 4569 5.61 133.45/133.52 c 27736 1793 14059 764879 54 35169 31113 13825 4480 6.19 133.45/133.52 c 30961 1793 17284 904355 52 41570 34225 17050 4480 6.91 133.45/133.52 c 35897 1793 22220 1118253 50 51442 37648 21986 3550 10.11 133.45/133.52 c 43404 1793 29727 1590305 53 66555 41413 29493 3728 11.64 133.45/133.52 c 54767 1793 41090 2353407 57 89217 45555 40856 2942 18.61 133.45/133.52 c 71911 1793 23557 1575923 66 54155 50111 23323 2356 30.52 133.45/133.52 c 97736 1793 49382 2758547 55 105843 55123 49148 2001 48.84 133.45/133.52 c 136568 1793 44131 2245767 50 95252 60636 43897 1367 99.84 133.45/133.52 o 119 133.473 293.99/294.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 293.99/294.17 c 174794 1793 33540 1784748 53 74205 17560 33306 1309 133.47 293.99/294.17 c 174894 1793 9118 604395 66 25231 19317 8884 1300 134.48 293.99/294.17 c 175144 1793 9368 618112 65 25698 21249 9134 1301 134.52 293.99/294.17 c 175619 1793 9843 640152 65 26638 23374 9609 1305 134.56 293.99/294.17 c 176433 1793 10657 696665 65 28347 25712 10423 1309 134.69 293.99/294.17 c 177753 1793 11977 748881 62 30893 28284 11743 1317 134.94 293.99/294.17 c 179836 1793 14060 860839 61 35009 31113 13826 1330 135.17 293.99/294.17 c 183059 1793 17283 1014180 58 41415 34225 17049 1347 135.87 293.99/294.17 c 187995 1793 22219 1304066 58 51293 37648 21985 1374 136.76 293.99/294.17 c 195501 1793 29725 1591972 53 66371 41413 29491 1403 139.33 293.99/294.17 c 206863 1793 41087 2139265 52 89063 45555 40853 1440 143.56 293.99/294.17 c 224007 1793 24188 1733124 71 55323 50111 23954 1441 155.35 293.99/294.17 c 249826 1793 50007 3115048 62 106978 55123 49773 1379 181.10 293.99/294.17 c 288660 1793 45070 2970975 65 97029 60636 44836 1362 211.83 293.99/294.17 c 347013 1793 53454 3562429 66 113974 66700 53220 1303 266.23 293.99/294.17 o 118 294.073 369.57/369.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 369.57/369.74 c 378101 1793 28528 2328759 81 64199 17560 28294 1285 294.07 369.57/369.74 c 378202 1793 9120 726828 79 25315 19317 8886 1283 294.62 369.57/369.74 c 378454 1793 9372 732631 78 25717 21249 9138 1284 294.65 369.57/369.74 c 378929 1793 9847 742236 75 26671 23374 9613 1285 294.72 369.57/369.74 c 379744 1793 10662 757729 71 28328 25712 10428 1288 294.83 369.57/369.74 c 381064 1793 11982 827976 69 30963 28284 11748 1291 295.01 369.57/369.74 c 383145 1793 14063 890887 63 35059 31113 13829 1296 295.51 369.57/369.74 c 386368 1793 17286 971966 56 41533 34225 17052 1303 296.42 369.57/369.74 c 391304 1793 22222 1264815 56 51340 37648 21988 1315 297.39 369.57/369.74 c 398811 1793 29729 1747206 58 66347 41413 29495 1332 299.20 369.57/369.74 c 410172 1793 41090 2497003 60 89036 45555 40856 1345 304.75 369.57/369.74 c 427316 1793 22512 1643518 73 51901 50111 22278 1348 316.94 369.57/369.74 c 453139 1793 48335 2721043 56 103617 55123 48101 1388 326.25 369.57/369.74 c 491971 1793 43232 2081524 48 93367 60636 42998 1344 365.81 369.57/369.74 o 117 369.612 1800.07/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.80 c 499903 1793 51165 2903430 56 109362 17560 50931 1352 369.61 1800.07/1800.80 c 500003 1793 9119 861685 94 25209 19317 8885 1348 370.87 1800.07/1800.80 c 500254 1793 9370 870508 92 25709 21249 9136 1348 370.91 1800.07/1800.80 c 500729 1793 9845 891567 90 26624 23374 9611 1349 371.00 1800.07/1800.80 c 501543 1793 10659 933771 87 28353 25712 10425 1351 371.10 1800.07/1800.80 c 502863 1793 11979 963845 80 30939 28284 11745 1354 371.26 1800.07/1800.80 c 504944 1793 14060 1050509 74 35134 31113 13826 1358 371.63 1800.07/1800.80 c 508167 1793 17283 1177552 68 41585 34225 17049 1364 372.35 1800.07/1800.80 c 513104 1793 22220 1408732 63 51435 37648 21986 1373 373.68 1800.07/1800.80 c 520610 1793 29726 1761566 59 66419 41413 29492 1377 377.89 1800.07/1800.80 c 531972 1792 41088 2185092 53 89227 45555 40854 1372 387.52 1800.07/1800.80 c 549117 1792 23521 1112118 47 54056 50111 23287 1390 394.89 1800.07/1800.80 c 574936 1792 49340 2761393 55 105580 55123 49106 1383 415.45 1800.07/1800.80 c 613769 1792 43809 2173920 49 94570 60636 43575 1325 462.90 1800.07/1800.80 c 672121 1792 51488 4747044 92 109992 66700 51254 1267 530.22 1800.07/1800.80 c 759754 1792 27128 1354400 49 61228 73371 26894 883 860.35 1800.07/1800.80 c 891307 1792 32489 2173357 66 71932 80709 32255 686 1298.37 1800.07/1800.80 c Caught signal: 15 1800.07/1800.80 v -x848 x860 -x861 -x862 -x863 x864 x865 x866 x867 -x868 -x869 x881 x882 -x883 x884 x885 -x886 x887 x888 x889 -x890 -x902 -x903 1800.07/1800.80 v -x904 -x905 x906 x907 x908 -x909 -x910 -x911 x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x955 -x956 -x957 -x958 1800.07/1800.80 v x959 x960 -x961 -x962 -x963 -x964 x976 x977 -x978 -x979 -x980 -x981 x982 x983 -x984 -x985 -x997 -x998 -x999 x1000 -x1001 -x1002 1800.07/1800.80 v -x1003 -x1004 -x1005 x1006 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1039 x1040 x1041 -x1042 1800.07/1800.80 v -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 x1068 x1069 -x1081 -x1082 1800.07/1800.80 v -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 1800.07/1800.80 v x1123 -x1124 -x1125 -x1126 -x1127 x1128 x1129 -x1130 -x1131 -x1132 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1800.07/1800.80 v x1163 -x1164 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 1800.07/1800.80 v x1203 -x1204 -x1205 -x1206 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x912 1800.07/1800.80 v -x913 -x914 -x915 -x916 -x917 x918 -x919 x920 -x921 -x922 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.07/1800.80 v -x1142 -x1143 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2150 -x2151 -x2152 -x2153 1800.07/1800.80 v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2271 -x2272 -x2273 -x2274 x2275 -x2276 x2277 x2278 -x2279 -x2280 -x2281 1800.07/1800.80 v -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2513 -x2514 -x2515 x2516 -x2517 x2518 x2519 1800.07/1800.80 v x2520 x2521 -x2522 -x2523 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 x2642 x2643 -x2644 -x12 -x13 -x14 -x15 1800.07/1800.80 v -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x254 x255 x256 -x257 1800.07/1800.80 v x258 x259 x260 -x261 -x262 -x263 -x264 x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x496 -x497 -x498 -x499 1800.07/1800.80 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x738 -x739 -x740 1800.07/1800.80 v -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x870 x871 1800.07/1800.80 v x872 x873 x874 x875 -x876 -x877 x878 x879 -x880 -x891 -x892 -x893 x894 x895 x896 x897 -x898 x899 x900 -x901 -x923 -x924 -x925 1800.07/1800.80 v -x926 x927 x928 -x929 -x930 -x931 x932 -x933 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x965 -x966 1800.07/1800.80 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x1007 1800.07/1800.80 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 1800.07/1800.80 v -x1035 -x1036 -x1037 -x1038 -x1049 x1050 -x1051 x1052 -x1053 -x1054 x1055 -x1056 x1057 -x1058 -x1059 -x1070 x1071 x1072 1800.07/1800.80 v x1073 x1074 -x1075 -x1076 -x1077 x1078 x1079 -x1080 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 1800.07/1800.80 v -x1101 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1144 -x1145 -x1146 -x1147 -x1148 1800.07/1800.80 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.07/1800.80 v -x1186 -x1187 -x1188 -x1189 x1190 x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1800.07/1800.80 v -x1214 -x1215 -x1216 -x1217 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1469 x1470 1800.07/1800.80 v x1471 x1472 x1473 x1474 x1475 x1476 x1477 -x1478 -x1479 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 1800.07/1800.80 v -x1659 -x1660 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x2007 -x2008 -x2009 -x2010 1800.07/1800.80 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.07/1800.80 v -x2028 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 1800.07/1800.80 v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 1800.07/1800.80 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1800.07/1800.80 v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 1800.07/1800.80 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 x2114 x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1800.07/1800.80 v x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 1800.07/1800.80 v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1800.07/1800.80 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 x2184 x2185 x2186 x2187 1800.07/1800.80 v x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 1800.07/1800.80 v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 1800.07/1800.80 v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 1800.07/1800.80 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 x2250 x2251 x2252 x2253 -x2254 x2255 x2256 x2257 -x2258 -x2259 1800.07/1800.80 v x2260 x2261 x2262 x2263 x2264 x2265 -x2266 x2267 -x2268 -x2269 -x2270 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.07/1800.80 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.07/1800.80 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1800.07/1800.80 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 x2338 x2339 x2340 1800.07/1800.80 v x2341 -x2342 x2343 x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 1800.07/1800.80 v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 1800.07/1800.80 v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2403 1800.07/1800.80 v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 x2416 x2417 x2418 x2419 x2420 x2421 1800.07/1800.80 v x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1800.07/1800.80 v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 1800.07/1800.80 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1800.07/1800.80 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 x2482 x2483 x2484 x2485 x2486 x2487 x2488 -x2489 -x2490 x2491 1800.07/1800.80 v x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1800.07/1800.80 v -x2510 -x2511 -x2512 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.07/1800.80 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1800.07/1800.80 v -x2555 -x2556 -x2557 x2558 x2559 x2560 x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 x2568 x2569 x2570 x2571 x2572 -x2573 1800.07/1800.80 v -x2574 -x2575 x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 1800.07/1800.80 v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1800.07/1800.80 v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 1800.07/1800.80 v x2626 -x2627 -x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1800.07/1800.80 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1800.07/1800.80 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1800.07/1800.80 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1800.07/1800.80 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 x2713 x2714 x2715 x2716 x2717 -x2718 x2719 x2720 -x2721 -x2722 -x2723 -x2724 1800.07/1800.80 v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 1800.07/1800.80 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x23 -x24 -x25 -x26 -x27 -x28 1800.07/1800.80 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 1800.07/1800.80 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 1800.07/1800.80 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 1800.07/1800.80 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.07/1800.80 v -x129 -x130 -x131 -x132 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 1800.07/1800.80 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1800.07/1800.80 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 1800.07/1800.80 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 1800.07/1800.80 v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 1800.07/1800.80 v -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 1800.07/1800.80 v x277 x278 -x279 x280 x281 -x282 x283 x284 x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 1800.07/1800.80 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1800.07/1800.80 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1800.07/1800.80 v -x341 x342 x343 x344 -x345 x346 -x347 -x348 -x349 x350 x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1800.07/1800.80 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 1800.07/1800.80 v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 1800.07/1800.80 v -x416 -x417 -x418 -x419 -x420 x421 x422 x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 1800.07/1800.80 v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 1800.07/1800.80 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 1800.07/1800.80 v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x507 -x508 -x509 -x510 1800.07/1800.80 v x511 -x512 x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1800.07/1800.80 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 1800.07/1800.80 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 1800.07/1800.80 v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 1800.07/1800.80 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1800.07/1800.80 v -x616 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 1800.07/1800.80 v -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 1800.07/1800.80 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 1800.07/1800.80 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 1800.07/1800.80 v -x711 -x712 -x713 -x714 -x715 x716 x717 -x718 x719 x720 x721 x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 1800.07/1800.80 v -x733 -x734 -x735 -x736 -x737 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1800.07/1800.80 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1800.07/1800.80 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1800.07/1800.80 v -x807 -x808 -x809 -x810 -x811 x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1800.07/1800.80 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x1225 1800.07/1800.80 v -x1226 -x1227 x1228 -x1229 -x1230 x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.07/1800.80 v -x1244 -x1245 -x1246 x1247 x1248 -x1249 x1250 x1251 x1252 x1253 -x1254 x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 1800.07/1800.80 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1290 1800.07/1800.80 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 x1306 x1307 -x1308 1800.07/1800.80 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 x1324 x1325 -x1326 1800.07/1800.80 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 1800.07/1800.80 v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 x1360 x1361 1800.07/1800.80 v -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 x1375 x1376 -x1377 x1378 -x1379 1800.07/1800.80 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 x1396 x1397 1800.07/1800.80 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 x1414 x1415 1800.07/1800.80 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.07/1800.80 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.07/1800.80 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 1800.07/1800.80 v x1467 x1468 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 x1495 1800.07/1800.80 v x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 x1512 x1513 1800.07/1800.80 v -x1514 -x1515 -x1516 -x1517 -x1518 x1519 x1520 x1521 -x1522 x1523 x1524 x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 1800.07/1800.80 v -x1532 x1533 -x1534 -x1535 x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.07/1800.80 v x1550 -x1551 -x1552 x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1800.07/1800.80 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 x1580 x1581 -x1582 -x1583 -x1584 -x1585 1800.07/1800.80 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1800.07/1800.80 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1800.07/1800.80 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 x1631 x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 x1639 1800.07/1800.80 v x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1661 -x1662 x1663 -x1664 -x1665 x1666 x1667 -x1668 1800.07/1800.80 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1800.07/1800.80 v -x1686 -x1687 -x1688 -x1689 x1690 x1691 -x1692 x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 1800.07/1800.80 v -x1704 -x1705 -x1706 -x1707 -x1708 x1709 x1710 -x1711 x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1800.07/1800.80 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 x1729 -x1730 x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 x1738 -x1739 1800.07/1800.80 v -x1740 x1741 x1742 -x1743 x1744 -x1745 x1746 x1747 x1748 x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1800.07/1800.80 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 1800.07/1800.80 v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 1800.07/1800.80 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 1800.07/1800.80 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1800.07/1800.80 v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1854 -x1855 1800.07/1800.80 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.07/1800.80 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.07/1800.80 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.07/1800.80 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 x1920 x1921 -x1922 -x1923 -x1924 1800.07/1800.80 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1800.07/1800.80 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 1800.07/1800.80 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.07/1800.80 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.07/1800.80 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 1800.07/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.80 c 71 1065870 83923 1306073 66538 3963352 66304 592 1800.09 1800.07/1800.80 c Objective: 117 1800.07/1800.80 s SATISFIABLE 1800.07/1800.80 c Total time: 1800.09 s
OK 117
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-432535-1177944624 -o ROOT/results/node3/solver-432535-1177944624 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432535-1177944624/instance-432535-1177944624.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.97 0.82 3/77 23515 /proc/meminfo: memFree=1754336/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=11844 CPUtime=0 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 270500203 12128256 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 2961 335 280 324 0 2004 0 [startup+0.0741259 s] /proc/loadavg: 0.92 0.97 0.82 3/77 23515 /proc/meminfo: memFree=1754336/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=4860 CPUtime=0.06 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 646 0 0 0 6 0 0 0 18 0 1 0 270500203 4976640 589 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11357655 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 1215 589 309 324 0 285 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4860 [startup+0.101129 s] /proc/loadavg: 0.92 0.97 0.82 3/77 23515 /proc/meminfo: memFree=1754336/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=4860 CPUtime=0.09 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 657 0 0 0 9 0 0 0 18 0 1 0 270500203 4976640 600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 1215 600 309 324 0 285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4860 [startup+0.301162 s] /proc/loadavg: 0.92 0.97 0.82 3/77 23515 /proc/meminfo: memFree=1754336/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=5912 CPUtime=0.29 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 904 0 0 0 29 0 0 0 19 0 1 0 270500203 6053888 847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 1478 847 310 324 0 548 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5912 [startup+0.701225 s] /proc/loadavg: 0.92 0.97 0.82 3/77 23515 /proc/meminfo: memFree=1754336/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=7356 CPUtime=0.69 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 1279 0 0 0 68 1 0 0 23 0 1 0 270500203 7532544 1222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 1839 1222 310 324 0 909 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7356 [startup+1.50236 s] /proc/loadavg: 0.92 0.97 0.82 2/78 23516 /proc/meminfo: memFree=1749784/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=9200 CPUtime=1.49 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 1735 0 0 0 148 1 0 0 25 0 1 0 270500203 9420800 1678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 2300 1678 310 324 0 1370 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9200 [startup+3.10161 s] /proc/loadavg: 0.92 0.97 0.82 2/78 23516 /proc/meminfo: memFree=1747160/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=12324 CPUtime=3.09 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 2523 0 0 0 308 1 0 0 25 0 1 0 270500203 12619776 2466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 3081 2466 310 324 0 2151 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12324 [startup+6.30113 s] /proc/loadavg: 0.93 0.97 0.82 2/78 23516 /proc/meminfo: memFree=1737944/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=19596 CPUtime=6.29 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 4338 0 0 0 627 2 0 0 25 0 1 0 270500203 20066304 4281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 4899 4281 311 324 0 3969 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19596 [startup+12.7012 s] /proc/loadavg: 0.93 0.97 0.82 2/78 23516 /proc/meminfo: memFree=1728600/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=29472 CPUtime=12.68 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 6788 0 0 0 1265 3 0 0 25 0 1 0 270500203 30179328 6731 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 7368 6731 311 324 0 6438 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29472 [startup+25.5012 s] /proc/loadavg: 0.95 0.97 0.82 2/78 23516 /proc/meminfo: memFree=1713880/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=43616 CPUtime=25.48 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 10379 0 0 0 2542 6 0 0 25 0 1 0 270500203 44662784 10275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 10904 10275 311 324 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43616 [startup+51.1013 s] /proc/loadavg: 0.96 0.97 0.82 2/78 23516 /proc/meminfo: memFree=1711384/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=46612 CPUtime=51.07 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 11121 0 0 0 5100 7 0 0 25 0 1 0 270500203 47730688 11017 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11366050 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 11653 11017 311 324 0 10723 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 46612 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.83 2/78 23516 /proc/meminfo: memFree=1707160/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=50268 CPUtime=102.25 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 12114 0 0 0 10217 8 0 0 25 0 1 0 270500203 51474432 11954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 12567 11954 311 324 0 11637 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 50268 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.83 2/78 23516 /proc/meminfo: memFree=1706776/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=50680 CPUtime=162.23 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 12278 0 0 0 16214 9 0 0 25 0 1 0 270500203 51896320 12057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 12670 12057 311 324 0 11740 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 50680 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.84 2/78 23516 /proc/meminfo: memFree=1697048/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=60380 CPUtime=222.21 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 14802 0 0 0 22210 11 0 0 25 0 1 0 270500203 61829120 14464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 15095 14464 311 324 0 14165 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 60380 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.84 2/78 23516 /proc/meminfo: memFree=1686488/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=70884 CPUtime=282.19 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 17497 0 0 0 28206 13 0 0 25 0 1 0 270500203 72585216 17092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 17721 17092 311 324 0 16791 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 70884 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.85 2/78 23516 /proc/meminfo: memFree=1686488/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=70884 CPUtime=342.18 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 17497 0 0 0 34204 14 0 0 25 0 1 0 270500203 72585216 17092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 17721 17092 311 324 0 16791 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 70884 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.86 2/78 23516 /proc/meminfo: memFree=1686488/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=70884 CPUtime=402.15 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 17497 0 0 0 40201 14 0 0 25 0 1 0 270500203 72585216 17092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 17721 17092 311 324 0 16791 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 70884 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.86 2/78 23516 /proc/meminfo: memFree=1686680/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=70884 CPUtime=462.13 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 17497 0 0 0 46199 14 0 0 25 0 1 0 270500203 72585216 17092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 17721 17092 311 324 0 16791 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 70884 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.87 2/78 23516 /proc/meminfo: memFree=1686680/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=70884 CPUtime=522.11 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 17497 0 0 0 52196 15 0 0 25 0 1 0 270500203 72585216 17092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 17721 17092 311 324 0 16791 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 70884 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.87 2/78 23516 /proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88800 CPUtime=582.09 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22056 0 0 0 58189 20 0 0 25 0 1 0 270500203 90931200 21584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22200 21584 311 324 0 21270 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 88800 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.88 2/84 23588 /proc/meminfo: memFree=1667432/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88800 CPUtime=642.04 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22056 0 0 0 64183 21 0 0 25 0 1 0 270500203 90931200 21584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22200 21584 311 324 0 21270 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 88800 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.23 1.04 0.92 2/78 23714 /proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88800 CPUtime=821.91 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22056 0 0 0 82169 22 0 0 25 0 1 0 270500203 90931200 21584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22200 21584 311 324 0 21270 0 Current children cumulated CPU time (s) 821.91 Current children cumulated vsize (KiB) 88800 [startup+882.301 s] /proc/loadavg: 1.08 1.03 0.92 2/78 23714 /proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88800 CPUtime=881.88 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22056 0 0 0 88166 22 0 0 25 0 1 0 270500203 90931200 21584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22200 21584 311 324 0 21270 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 88800 [startup+942.302 s] /proc/loadavg: 1.03 1.02 0.92 2/78 23714 /proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88800 CPUtime=941.87 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22056 0 0 0 94164 23 0 0 25 0 1 0 270500203 90931200 21584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22200 21584 311 324 0 21270 0 Current children cumulated CPU time (s) 941.87 Current children cumulated vsize (KiB) 88800 [startup+1002.3 s] /proc/loadavg: 1.01 1.01 0.92 2/78 23714 /proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88828 CPUtime=1001.84 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22063 0 0 0 100161 23 0 0 25 0 1 0 270500203 90959872 21591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22207 21591 311 324 0 21277 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 88828 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 0.92 2/78 23714 /proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88828 CPUtime=1061.83 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22063 0 0 0 106159 24 0 0 25 0 1 0 270500203 90959872 21591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11357935 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22207 21591 311 324 0 21277 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 88828 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23714 /proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88828 CPUtime=1121.81 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22063 0 0 0 112157 24 0 0 25 0 1 0 270500203 90959872 21591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22207 21591 311 324 0 21277 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 88828 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23714 /proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88828 CPUtime=1181.79 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22063 0 0 0 118154 25 0 0 25 0 1 0 270500203 90959872 21591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22207 21591 311 324 0 21277 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 88828 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23714 /proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88828 CPUtime=1241.76 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22063 0 0 0 124151 25 0 0 25 0 1 0 270500203 90959872 21591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22207 21591 311 324 0 21277 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 88828 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23714 /proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88828 CPUtime=1301.75 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22063 0 0 0 130149 26 0 0 25 0 1 0 270500203 90959872 21591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22207 21591 311 324 0 21277 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 88828 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23714 /proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88844 CPUtime=1361.72 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22067 0 0 0 136146 26 0 0 25 0 1 0 270500203 90976256 21595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22211 21595 311 324 0 21281 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 88844 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23714 /proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88860 CPUtime=1421.71 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 142144 27 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22215 21599 311 324 0 21285 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 88860 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23714 /proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88860 CPUtime=1481.68 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 148141 27 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22215 21599 311 324 0 21285 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 88860 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23714 /proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88860 CPUtime=1541.66 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 154138 28 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22215 21599 311 324 0 21285 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 88860 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23714 /proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88860 CPUtime=1601.64 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 160136 28 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22215 21599 311 324 0 21285 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 88860 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23714 /proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88860 CPUtime=1661.62 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 166133 29 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22215 21599 311 324 0 21285 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 88860 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23714 /proc/meminfo: memFree=1668568/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88860 CPUtime=1721.59 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 172130 29 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22215 21599 311 324 0 21285 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 88860 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23714 /proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88860 CPUtime=1781.58 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 178128 30 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11355441 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22215 21599 311 324 0 21285 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 88860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23714 /proc/meminfo: memFree=1668632/2055920 swapFree=4138948/4192956 [pid=23515] ppid=23513 vsize=88860 CPUtime=1800.07 /proc/23515/stat : 23515 (bsolo3.0.17) R 23513 23515 23354 0 -1 4194304 22071 0 0 0 179977 30 0 0 25 0 1 0 270500203 90992640 21599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23515/statm: 22215 21599 311 324 0 21285 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 88860 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.82 CPU time (s): 1800.1 CPU user time (s): 1799.78 CPU system time (s): 0.32295 CPU usage (%): 99.96 Max. virtual memory (cumulated for all children) (KiB): 89068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.32295 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22075 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= 13 involuntary context switches= 37070 runsolver used 1.45378 second user time and 3.9104 second system time The end
Begin job on node3 on Mon Apr 30 14:50:25 UTC 2007 IDJOB= 432535 IDBENCH= 1524 IDSOLVER= 199 FILE ID= node3/432535-1177944624 PBS_JOBID= 4727672 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 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.17 -m1800 /tmp/evaluation/432535-1177944624/instance-432535-1177944624.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-432535-1177944624 -o ROOT/results/node3/solver-432535-1177944624 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432535-1177944624/instance-432535-1177944624.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= f81823d3f3bf1b9e5d936e06c7f51a9c RANDOM SEED= 406849738 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1754680 kB Buffers: 39836 kB Cached: 167872 kB SwapCached: 17168 kB Active: 113988 kB Inactive: 117048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1754680 kB SwapTotal: 4192956 kB SwapFree: 4138948 kB Dirty: 6708 kB Writeback: 0 kB Mapped: 30040 kB Slab: 55672 kB Committed_AS: 6270740 kB PageTables: 1780 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= 66558 MiB End job on node3 on Mon Apr 30 15:20:28 UTC 2007