| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PBS 4.1L | ? (TO) | 1800.58 | 1801.23 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.b.opb |
| MD5SUM | 0b80319f4195f1e1329c2c4b63b416b0 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 45 |
| Best CPU time to get the best result obtained on this benchmark | 1800.7 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 45 |
| Optimality of the best value was proved | NO |
| Number of variables | 5203 |
| Total number of constraints | 19637 |
| Number of constraints which are clauses | 19637 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 360 |
| Number of terms in the objective function | 5203 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 5203 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 5203 |
| Number of bits of the biggest sum of numbers | 13 |
| 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 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node20/50516-1154095238/instance-50516-1154095238.opb ...... 3.51 c done parsing opb. 3.51 o 5037 3.63 o 5024 3.74 o 5023 3.86 o 5022 3.97 o 5020 4.09 o 5019 4.20 o 5018 4.32 o 5017 4.43 o 5016 4.55 o 5015 4.66 o 5014 4.78 o 5013 4.89 o 5012 5.01 o 5011 5.12 o 5010 5.24 o 5009 5.35 o 5008 5.47 o 5007 5.58 o 5006 5.70 o 5005 5.81 o 5004 5.93 o 5003 6.04 o 5002 6.15 o 5001 6.27 o 5000 6.38 o 4999 6.50 o 4998 6.61 o 4997 6.73 o 4996 6.84 o 4995 6.95 o 4994 7.07 o 4993 7.18 o 4992 7.30 o 4991 7.41 o 4990 7.53 o 4989 7.64 o 4988 7.75 o 4987 7.87 o 4986 7.98 o 4985 8.10 o 4984 8.21 o 4983 8.32 o 4982 8.44 o 4981 8.57 o 4980 8.69 o 4979 8.81 o 4978 8.94 o 4977 9.06 o 4976 9.18 o 4975 9.31 o 4974 9.43 o 4973 9.55 o 4972 9.68 o 4971 9.80 o 4970 9.92 o 4969 10.05 o 4968 10.17 o 4967 10.29 o 4966 10.42 o 4965 10.54 o 4964 10.66 o 4963 10.78 o 4962 10.91 o 4961 11.03 o 4960 11.15 o 4959 11.27 o 4958 11.40 o 4957 11.52 o 4956 11.64 o 4955 11.77 o 4954 11.89 o 4953 12.01 o 4952 12.13 o 4951 12.26 o 4950 12.38 o 4949 12.50 o 4948 12.62 o 4947 12.75 o 4946 12.87 o 4945 12.99 o 4944 13.11 o 4943 13.23 o 4942 13.36 o 4941 13.48 o 4940 13.60 o 4939 13.72 o 4938 13.84 o 4937 13.96 o 4936 14.09 o 4935 14.21 o 4934 14.33 o 4933 14.45 o 4932 14.57 o 4931 14.69 o 4930 14.81 o 4929 14.93 o 4928 15.05 o 4927 15.17 o 4926 15.29 o 4925 15.41 o 4924 15.53 o 4923 15.66 o 4922 15.78 o 4921 15.90 o 4920 16.02 o 4919 16.14 o 4918 16.26 o 4917 16.38 o 4916 16.50 o 4915 16.62 o 4914 16.74 o 4913 16.86 o 4912 16.98 o 4911 17.10 o 4910 17.22 o 4909 17.34 o 4908 17.46 o 4907 17.58 o 4906 17.70 o 4905 17.82 o 4904 17.95 o 4903 18.07 o 4902 18.19 o 4901 18.31 o 4900 18.43 o 4899 18.55 o 4898 18.67 o 4897 18.79 o 4896 18.91 o 4895 19.03 o 4894 19.15 o 4893 19.27 o 4892 19.39 o 4891 19.51 o 4890 19.63 o 4889 19.75 o 4888 19.87 o 4887 19.99 o 4886 20.11 o 4885 20.23 o 4884 20.35 o 4883 20.47 o 4882 20.58 o 4881 20.70 o 4880 20.82 o 4879 20.94 o 4878 21.06 o 4877 21.18 o 4876 21.30 o 4875 21.42 o 4874 21.54 o 4873 21.66 o 4872 21.78 o 4871 21.90 o 4870 22.02 o 4869 22.14 o 4868 22.26 o 4867 22.38 o 4866 22.50 o 4865 22.62 o 4864 22.74 o 4863 22.86 o 4862 22.98 o 4861 23.09 o 4533 23.19 o 4532 23.30 o 4531 23.41 o 4529 23.52 o 4528 23.62 o 4523 23.73 o 4522 23.84 o 4504 23.94 o 4503 24.05 o 4502 24.15 o 4496 24.25 o 4495 24.36 o 4494 24.46 o 4493 24.57 o 4492 24.67 o 4491 24.78 o 4490 24.88 o 4489 24.98 o 4488 25.09 o 4487 25.19 o 4486 25.30 o 4485 25.40 o 4484 25.51 o 4483 25.61 o 4482 25.71 o 4481 25.82 o 4480 25.93 o 4479 26.03 o 4478 26.14 o 4477 26.25 o 4476 26.35 o 4475 26.46 o 4474 26.56 o 4473 26.67 o 4472 26.77 o 4471 26.88 o 4470 26.98 o 4469 27.08 o 4468 27.19 o 4467 27.29 o 4466 27.39 o 4094 27.49 o 4090 27.58 o 4078 27.68 o 4077 27.78 o 4076 27.88 o 4067 27.97 o 4066 28.07 o 4065 28.16 o 4064 28.26 o 4063 28.36 o 4062 28.46 o 4061 28.57 o 4060 28.67 o 4059 28.77 o 4058 28.88 o 4057 28.98 o 4056 29.09 o 4055 29.20 o 4054 29.30 o 4053 29.40 o 4052 29.51 o 4051 29.61 o 4040 29.71 o 4039 29.82 o 4038 29.92 o 4037 30.03 o 4036 30.13 o 4035 30.23 o 4034 30.34 o 4033 30.44 o 4032 30.54 o 4031 30.65 o 4030 30.75 o 4029 30.85 o 4028 30.96 o 4027 31.06 o 4026 31.17 o 4025 31.27 o 4024 31.37 o 4023 31.47 o 4022 31.58 o 4021 31.68 o 4020 31.78 o 4019 31.89 o 4018 31.99 o 4017 32.11 o 4016 32.22 o 4015 32.32 o 4014 32.42 o 4013 32.52 o 4012 32.63 o 4011 32.73 o 4010 32.83 o 4009 32.94 o 4008 33.04 o 4007 33.14 o 4006 33.24 o 4005 33.35 o 4004 33.45 o 4003 33.55 o 4002 33.66 o 4001 33.76 o 4000 33.86 o 3999 33.96 o 3998 34.07 o 3997 34.17 o 3996 34.27 o 3995 34.37 o 3994 34.47 o 3993 34.58 o 3992 34.68 o 3991 34.78 o 3990 34.88 o 3989 34.98 o 3988 35.08 o 3987 35.19 o 3986 35.29 o 3985 35.39 o 3984 35.49 o 3983 35.59 o 3982 35.69 o 3981 35.79 o 3874 35.89 o 3873 35.99 o 3872 36.09 o 3849 36.19 o 3848 36.29 o 3847 36.38 o 3846 36.48 o 3845 36.58 o 3844 36.68 o 3843 36.77 o 3842 36.87 o 3841 36.97 o 3840 37.07 o 3791 37.16 o 3790 37.26 o 3789 37.36 o 3788 37.45 o 3787 37.55 o 3786 37.65 o 3785 37.74 o 3784 37.84 o 3783 37.93 o 3782 38.03 o 3781 38.14 o 3780 38.23 o 3779 38.33 o 3778 38.42 o 3777 38.52 o 3776 38.62 o 3775 38.71 o 3774 38.81 o 3773 38.91 o 3772 39.00 o 3771 39.10 o 3770 39.19 o 3769 39.29 o 3768 39.38 o 3767 39.48 o 3766 39.57 o 3765 39.67 o 3764 39.76 o 3619 39.86 o 3594 39.95 o 3593 40.04 o 3592 40.13 o 3581 40.22 o 3580 40.31 o 3579 40.40 o 3578 40.49 o 3577 40.58 o 3576 40.67 o 3575 40.76 o 3574 40.85 o 3558 40.94 o 3557 41.03 o 3556 41.12 o 3555 41.21 o 3554 41.30 o 3553 41.39 o 3552 41.48 o 3551 41.57 o 3550 41.66 o 3549 41.75 o 3548 41.84 o 3547 41.93 o 3546 42.02 o 3545 42.11 o 3539 42.20 o 3538 42.29 o 3537 42.38 o 3536 42.46 o 3535 42.55 o 3534 42.64 o 3533 42.73 o 3532 42.82 o 3531 42.91 o 3530 43.00 o 3529 43.09 o 3528 43.18 o 3527 43.27 o 3526 43.36 o 3525 43.44 o 2909 43.51 o 2864 43.59 o 2863 43.67 o 2862 43.74 o 2861 43.82 o 2860 43.89 o 2859 43.97 o 2849 44.04 o 2848 44.12 o 2847 44.20 o 2846 44.28 o 2845 44.35 o 2844 44.42 o 2843 44.50 o 2842 44.57 o 2841 44.64 o 2840 44.72 o 2839 44.79 o 2838 44.86 o 2826 44.94 o 2825 45.01 o 2824 45.08 o 2823 45.16 o 2822 45.23 o 2821 45.30 o 2820 45.37 o 2819 45.45 o 2818 45.52 o 2817 45.59 o 2816 45.66 o 2815 45.73 o 2814 45.81 o 2813 45.88 o 2812 45.95 o 2811 46.02 o 2810 46.10 o 2809 46.17 o 2808 46.24 o 2807 46.31 o 2806 46.38 o 2805 46.46 o 2614 46.53 o 2613 46.60 o 2589 46.68 o 2588 46.75 o 2587 46.82 o 2586 46.90 o 2585 46.97 o 2584 47.04 o 2583 47.11 o 2552 47.20 o 2551 47.27 o 2550 47.34 o 2549 47.42 o 2548 47.49 o 2547 47.56 o 2546 47.63 o 2545 47.71 o 2544 47.78 o 2543 47.85 o 2542 47.92 o 2541 47.99 o 2540 48.06 o 2525 48.14 o 2524 48.21 o 2523 48.28 o 2522 48.35 o 2521 48.42 o 2520 48.49 o 2519 48.56 o 2518 48.63 o 2517 48.70 o 2516 48.77 o 2515 48.84 o 2514 48.91 o 2513 48.98 o 2512 49.05 o 2511 49.12 o 2510 49.19 o 2509 49.26 o 2508 49.34 o 2507 49.41 o 2506 49.48 o 2505 49.55 o 2504 49.62 o 2503 49.69 o 2502 49.77 o 2501 49.84 o 2500 49.91 o 2499 49.98 o 2498 50.05 o 2497 50.12 o 2496 50.20 o 2495 50.27 o 2494 50.33 o 2493 50.40 o 2492 50.46 o 2491 50.53 o 2490 50.60 o 2489 50.66 o 2488 50.73 o 2487 50.79 o 2486 50.86 o 2485 50.92 o 2484 50.99 o 2483 51.06 o 2482 51.12 o 2481 51.19 o 2480 51.25 o 2479 51.32 o 2478 51.38 o 2477 51.45 o 2476 51.51 o 2475 51.58 o 2474 51.64 o 2473 51.71 o 2472 51.77 o 2471 51.84 o 2470 51.90 o 2469 51.97 o 2468 52.03 o 2467 52.10 o 2466 52.16 o 2465 52.23 o 2464 52.29 o 2463 52.36 o 2462 52.42 o 2461 52.49 o 2460 52.56 o 2459 52.62 o 2458 52.69 o 2457 52.76 o 2456 52.83 o 2455 52.90 o 2454 52.97 o 2453 53.03 o 2452 53.10 o 2451 53.17 o 2450 53.24 o 2449 53.31 o 2448 53.38 o 2447 53.45 o 2446 53.52 o 2445 53.59 o 2444 53.66 o 2443 53.73 o 2442 53.80 o 2441 53.87 o 2440 53.94 o 2439 54.00 o 2438 54.07 o 2437 54.14 o 2436 54.21 o 2435 54.27 o 2434 54.34 o 2433 54.41 o 2432 54.48 o 2431 54.54 o 2430 54.61 o 2429 54.68 o 2428 54.75 o 2427 54.82 o 2426 54.89 o 2425 54.95 o 2424 55.02 o 2423 55.09 o 2422 55.16 o 2421 55.22 o 2420 55.29 o 2419 55.36 o 2418 55.43 o 2417 55.49 o 2416 55.56 o 2415 55.63 o 2414 55.69 o 2413 55.76 o 2412 55.83 o 2411 55.90 o 2410 55.97 o 2409 56.03 o 2408 56.10 o 2407 56.17 o 2406 56.24 o 2405 56.30 o 2404 56.37 o 2403 56.44 o 2402 56.51 o 2401 56.57 o 2400 56.64 o 2399 56.71 o 2398 56.77 o 2397 56.84 o 2396 56.91 o 2395 56.98 o 2394 57.04 o 2393 57.11 o 2392 57.18 o 2391 57.24 o 2390 57.31 o 2389 57.38 o 2388 57.44 o 2387 57.51 o 2386 57.58 o 2385 57.64 o 2384 57.71 o 2383 57.77 o 2382 57.84 o 2381 57.90 o 2380 57.97 o 2379 58.04 o 2378 58.10 o 2377 58.17 o 2376 58.24 o 2375 58.30 o 2374 58.37 o 2373 58.44 o 2372 58.50 o 2371 58.57 o 2370 58.64 o 2369 58.70 o 2368 58.77 o 2367 58.83 o 2366 58.90 o 2365 58.97 o 2364 59.03 o 2363 59.10 o 2362 59.16 o 2361 59.23 o 2360 59.29 o 2359 59.36 o 2358 59.43 o 2357 59.49 o 2356 59.56 o 2355 59.62 o 2354 59.69 o 2353 59.75 o 2352 59.82 o 2351 59.88 o 2350 59.95 o 2349 60.02 o 2348 60.08 o 2347 60.15 o 2346 60.21 o 2345 60.28 o 2344 60.34 o 2343 60.41 o 2342 60.47 o 2341 60.54 o 2340 60.60 o 2339 60.67 o 2338 60.73 o 2337 60.80 o 2336 60.86 o 2335 60.93 o 2334 60.99 o 2333 61.06 o 2332 61.12 o 2331 61.19 o 2330 61.25 o 2329 61.32 o 2328 61.38 o 2327 61.45 o 2326 61.51 o 2325 61.58 o 2324 61.64 o 2323 61.71 o 2322 61.77 o 2321 61.84 o 2320 61.90 o 2319 61.97 o 2318 62.03 o 2317 62.10 o 2316 62.16 o 2315 62.23 o 2314 62.29 o 2313 62.36 o 2312 62.42 o 2311 62.49 o 2310 62.55 o 2309 62.62 o 2308 62.68 o 2307 62.75 o 2306 62.81 o 2305 62.87 o 2304 62.94 o 2303 63.00 o 2302 63.07 o 2301 63.13 o 2300 63.20 o 2299 63.26 o 2298 63.32 o 2297 63.39 o 2296 63.45 o 2295 63.52 o 2294 63.58 o 2293 63.64 o 2292 63.71 o 2291 63.77 o 2290 63.84 o 2289 63.90 o 2288 63.96 o 2287 64.03 o 2286 64.09 o 2285 64.16 o 2284 64.22 o 2283 64.29 o 2282 64.35 o 2281 64.41 o 2280 64.48 o 2279 64.54 o 2278 64.61 o 2277 64.67 o 2276 64.74 o 2275 64.80 o 2274 64.86 o 2273 64.93 o 2272 64.99 o 2271 65.06 o 2270 65.12 o 2269 65.18 o 2268 65.25 o 2267 65.31 o 2266 65.38 o 2265 65.44 o 2264 65.51 o 2263 65.57 o 2262 65.63 o 2261 65.70 o 2260 65.76 o 2259 65.82 o 2258 65.89 o 2257 65.95 o 2256 66.01 o 2255 66.08 o 2254 66.14 o 2253 66.21 o 2252 66.27 o 2251 66.34 o 2250 66.40 o 2249 66.46 o 2248 66.53 o 2247 66.59 o 2246 66.65 o 2245 66.72 o 2244 66.78 o 2243 66.84 o 2242 66.91 o 2241 66.97 o 2240 67.03 o 2239 67.10 o 2238 67.16 o 2237 67.22 o 2236 67.29 o 2235 67.35 o 2234 67.41 o 2233 67.47 o 2232 67.54 o 2231 67.60 o 2230 67.66 o 2229 67.73 o 2228 67.79 o 2227 67.85 o 2226 67.92 o 2225 67.98 o 2224 68.04 o 2223 68.11 o 2222 68.17 o 2221 68.23 o 2220 68.29 o 2219 68.36 o 2218 68.42 o 2217 68.48 o 2216 68.55 o 2215 68.61 o 2214 68.67 o 2213 68.74 o 2212 68.80 o 2211 68.86 o 2210 68.92 o 2209 68.98 o 2208 69.05 o 2207 69.11 o 2206 69.17 o 2205 69.24 o 2204 69.30 o 2203 69.36 o 2202 69.42 o 2201 69.49 o 2200 69.55 o 2199 69.61 o 2198 69.67 o 2197 69.74 o 2196 69.80 o 2195 69.86 o 2194 69.92 o 2193 69.99 o 2192 70.05 o 2191 70.11 o 2190 70.17 o 2189 70.23 o 2188 70.30 o 2187 70.36 o 2186 70.42 o 2185 70.48 o 2184 70.54 o 2183 70.61 o 2182 70.67 o 2181 70.73 o 2180 70.79 o 2179 70.85 o 2178 70.92 o 2177 70.98 o 2176 71.04 o 2175 71.10 o 2174 71.17 o 2173 71.23 o 2172 71.29 o 2171 71.35 o 2170 71.42 o 2169 71.48 o 2168 71.54 o 2167 71.60 o 2166 71.66 o 2165 71.72 o 2164 71.78 o 2163 71.85 o 2162 71.91 o 2161 71.97 o 2160 72.03 o 2159 72.09 o 2158 72.15 o 2157 72.21 o 2156 72.27 o 2155 72.34 o 2154 72.40 o 2153 72.46 o 2152 72.52 o 2151 72.58 o 2150 72.64 o 2149 72.70 o 2148 72.77 o 2147 72.83 o 2146 72.89 o 2145 72.95 o 2144 73.01 o 2143 73.07 o 2142 73.13 o 2141 73.19 o 2140 73.25 o 2139 73.32 o 2138 73.38 o 2137 73.44 o 2136 73.50 o 2135 73.56 o 2134 73.62 o 2133 73.68 o 2132 73.75 o 2131 73.81 o 2130 73.87 o 2129 73.93 o 2128 73.99 o 2127 74.05 o 2126 74.11 o 2125 74.17 o 2124 74.23 o 2123 74.29 o 2122 74.35 o 2121 74.41 o 2120 74.47 o 2119 74.53 o 2118 74.59 o 2117 74.65 o 2116 74.71 o 2115 74.77 o 2114 74.83 o 2113 74.89 o 2112 74.95 o 2111 75.01 o 2110 75.07 o 2109 75.13 o 2108 75.19 o 2107 75.25 o 2106 75.31 o 2105 75.37 o 2104 75.43 o 2103 75.49 o 2102 75.55 o 2101 75.61 o 2100 75.67 o 2099 75.73 o 2098 75.79 o 2097 75.85 o 2096 75.91 o 2095 75.97 o 2094 76.03 o 2093 76.09 o 2092 76.15 o 2091 76.21 o 2090 76.27 o 2089 76.33 o 2088 76.39 o 2087 76.45 o 2086 76.51 o 2085 76.57 o 2084 76.63 o 2083 76.69 o 2082 76.75 o 2081 76.81 o 2080 76.87 o 2079 76.93 o 2078 76.99 o 2077 77.05 o 2076 77.11 o 2075 77.17 o 2074 77.23 o 2073 77.29 o 2072 77.35 o 2071 77.41 o 2070 77.47 o 2069 77.52 o 2068 77.58 o 2067 77.64 o 2066 77.70 o 2065 77.76 o 2064 77.82 o 2063 77.88 o 2062 77.94 o 2061 78.00 o 2060 78.06 o 2059 78.12 o 2058 78.18 o 2057 78.24 o 2056 78.30 o 2055 78.36 o 2054 78.42 o 2053 78.47 o 2052 78.53 o 2051 78.59 o 2050 78.65 o 2049 78.71 o 2048 78.77 o 2047 78.83 o 2046 78.89 o 2045 78.95 o 2044 79.01 o 2043 79.06 o 2042 79.12 o 2041 79.18 o 2040 79.24 o 2039 79.30 o 2038 79.36 o 2037 79.42 o 2036 79.48 o 2035 79.53 o 2034 79.59 o 2033 79.65 o 2032 79.71 o 2031 79.77 o 2030 79.83 o 2029 79.89 o 2028 79.95 o 2027 80.00 o 2026 80.06 o 2025 80.12 o 2024 80.18 o 2023 80.24 o 2022 80.30 o 2021 80.35 o 2020 80.41 o 2019 80.47 o 2018 80.53 o 2017 80.59 o 2016 80.65 o 2015 80.71 o 2014 80.76 o 2013 80.82 o 2012 80.88 o 2011 80.94 o 2010 81.00 o 2009 81.05 o 2008 81.11 o 2007 81.17 o 2006 81.23 o 2005 81.29 o 2004 81.34 o 2003 81.40 o 2002 81.46 o 2001 81.52 o 2000 81.57 o 1999 81.63 o 1998 81.69 o 1997 81.75 o 1996 81.81 o 1995 81.86 o 1994 81.92 o 1993 81.98 o 1992 82.03 o 1991 82.09 o 1990 82.15 o 1989 82.21 o 1988 82.26 o 1987 82.32 o 1986 82.38 o 1985 82.43 o 1984 82.49 o 1983 82.55 o 1982 82.61 o 1981 82.66 o 1980 82.72 o 1979 82.78 o 1978 82.83 o 1977 82.89 o 1976 82.95 o 1975 83.00 o 1974 83.06 o 1973 83.12 o 1972 83.17 o 1971 83.23 o 1970 83.29 o 1969 83.34 o 1968 83.40 o 1967 83.46 o 1966 83.51 o 1965 83.57 o 1964 83.63 o 1963 83.68 o 1962 83.74 o 1961 83.80 o 1960 83.85 o 1959 83.91 o 1958 83.97 o 1957 84.03 o 1956 84.08 o 1955 84.14 o 1954 84.20 o 1953 84.25 o 1952 84.31 o 1951 84.37 o 1950 84.42 o 1949 84.48 o 1948 84.54 o 1947 84.60 o 1946 84.65 o 1945 84.71 o 1944 84.77 o 1943 84.82 o 1942 84.88 o 1941 84.94 o 1940 84.99 o 1939 85.05 o 1938 85.10 o 1937 85.16 o 1936 85.22 o 1935 85.27 o 1934 85.33 o 1933 85.39 o 1932 85.44 o 1931 85.50 o 1930 85.56 o 1929 85.61 o 1928 85.67 o 1927 85.72 o 1926 85.78 o 1925 85.84 o 1924 85.89 o 1923 85.95 o 1922 86.00 o 1921 86.06 o 1920 86.12 o 1919 86.17 o 1918 86.23 o 1917 86.28 o 1916 86.34 o 1915 86.40 o 1914 86.45 o 1913 86.51 o 1912 86.56 o 1911 86.62 o 1910 86.67 o 1909 86.73 o 1908 86.78 o 1907 86.84 o 1906 86.90 o 1905 86.95 o 1904 87.01 o 1903 87.06 o 1902 87.12 o 1901 87.18 o 1900 87.23 o 1899 87.29 o 1898 87.34 o 1897 87.40 o 1896 87.46 o 1895 87.51 o 1894 87.57 o 1893 87.62 o 1892 87.68 o 1891 87.73 o 1890 87.79 o 1889 87.84 o 1888 87.90 o 1887 87.95 o 1886 88.01 o 1885 88.07 o 1884 88.12 o 1883 88.18 o 1882 88.23 o 1881 88.29 o 1880 88.34 o 1879 88.40 o 1878 88.46 o 1877 88.51 o 1876 88.57 o 1875 88.62 o 1874 88.68 o 1873 88.73 o 1872 88.79 o 1871 88.84 o 1870 88.90 o 1869 88.95 o 1868 89.01 o 1867 89.06 o 1866 89.12 o 1865 89.17 o 1864 89.23 o 1863 89.28 o 1862 89.34 o 1861 89.39 o 1860 89.45 o 1859 89.50 o 1858 89.56 o 1857 89.61 o 1856 89.67 o 1855 89.72 o 1854 89.78 o 1853 89.83 o 1852 89.89 o 1851 89.94 o 1850 89.99 o 1849 90.05 o 1848 90.10 o 1847 90.16 o 1846 90.21 o 1845 90.27 o 1844 90.32 o 1843 90.38 o 1842 90.43 o 1841 90.48 o 1840 90.54 o 1839 90.59 o 1838 90.65 o 1837 90.70 o 1836 90.76 o 1835 90.81 o 1834 90.86 o 1833 90.92 o 1832 90.97 o 1831 91.03 o 1830 91.08 o 1829 91.14 o 1828 91.19 o 1827 91.24 o 1826 91.30 o 1825 91.35 o 1824 91.41 o 1823 91.46 o 1822 91.51 o 1821 91.57 o 1820 91.62 o 1819 91.68 o 1818 91.73 o 1817 91.78 o 1816 91.84 o 1815 91.89 o 1814 91.94 o 1813 92.00 o 1812 92.05 o 1811 92.10 o 1810 92.16 o 1809 92.21 o 1808 92.27 o 1807 92.32 o 1806 92.37 o 1805 92.43 o 1804 92.48 o 1803 92.53 o 1802 92.59 o 1801 92.64 o 1800 92.69 o 1799 92.75 o 1798 92.80 o 1797 92.85 o 1796 92.90 o 1795 92.96 o 1794 93.01 o 1793 93.06 o 1792 93.12 o 1791 93.17 o 1790 93.22 o 1789 93.27 o 1788 93.33 o 1787 93.38 o 1786 93.43 o 1785 93.48 o 1784 93.54 o 1783 93.59 o 1782 93.64 o 1781 93.70 o 1780 93.75 o 1779 93.80 o 1778 93.85 o 1777 93.91 o 1776 93.96 o 1775 94.01 o 1774 94.06 o 1773 94.12 o 1772 94.17 o 1771 94.22 o 1770 94.27 o 1769 94.32 o 1768 94.38 o 1767 94.43 o 1766 94.48 o 1765 94.53 o 1764 94.58 o 1763 94.64 o 1762 94.69 o 1761 94.74 o 1760 94.79 o 1759 94.84 o 1758 94.90 o 1757 94.95 o 1756 95.00 o 1755 95.05 o 1754 95.10 o 1753 95.16 o 1752 95.21 o 1751 95.26 o 1750 95.31 o 1749 95.37 o 1748 95.42 o 1747 95.47 o 1746 95.52 o 1745 95.57 o 1744 95.62 o 1743 95.67 o 1742 95.72 o 1741 95.78 o 1740 95.83 o 1739 95.88 o 1738 95.93 o 1737 95.98 o 1736 96.03 o 1735 96.09 o 1734 96.14 o 1733 96.19 o 1732 96.24 o 1731 96.29 o 1730 96.34 o 1729 96.40 o 1728 96.45 o 1727 96.50 o 1726 96.55 o 1725 96.60 o 1724 96.65 o 1723 96.70 o 1722 96.76 o 1721 96.81 o 1720 96.86 o 1719 96.91 o 1718 96.96 o 1717 97.01 o 1716 97.06 o 1715 97.11 o 1714 97.17 o 1713 97.22 o 1712 97.27 o 1711 97.32 o 1710 97.37 o 1709 97.42 o 1708 97.47 o 1707 97.52 o 1706 97.57 o 1705 97.63 o 1704 97.68 o 1703 97.73 o 1702 97.78 o 1701 97.83 o 1700 97.88 o 1699 97.93 o 1698 97.98 o 1697 98.03 o 1696 98.09 o 1695 98.14 o 1694 98.19 o 1693 98.24 o 1692 98.29 o 1691 98.34 o 1690 98.39 o 1689 98.44 o 1688 98.49 o 1687 98.54 o 1686 98.60 o 1685 98.65 o 1684 98.70 o 1683 98.75 o 1682 98.80 o 1681 98.85 o 1680 98.90 o 1679 98.95 o 1678 99.00 o 1677 99.05 o 1676 99.10 o 1675 99.15 o 1674 99.20 o 1673 99.25 o 1672 99.30 o 1671 99.35 o 1670 99.40 o 1669 99.46 o 1668 99.51 o 1667 99.56 o 1666 99.61 o 1665 99.66 o 1664 99.71 o 1663 99.76 o 1662 99.81 o 1661 99.86 o 1660 99.91 o 1659 99.96 o 1658 100.01 o 1657 100.06 o 1656 100.11 o 1655 100.16 o 1654 100.21 o 1653 100.26 o 1652 100.31 o 1651 100.36 o 1650 100.41 o 1649 100.46 o 1648 100.51 o 1647 100.56 o 1646 100.61 o 1645 100.66 o 1644 100.71 o 1643 100.76 o 1642 100.80 o 1641 100.85 o 1640 100.90 o 1639 100.95 o 1638 101.00 o 1637 101.05 o 1636 101.10 o 1635 101.15 o 1634 101.20 o 1633 101.25 o 1632 101.30 o 1631 101.35 o 1630 101.40 o 1629 101.45 o 1628 101.50 o 1627 101.55 o 1626 101.59 o 1625 101.64 o 1624 101.69 o 1623 101.74 o 1622 101.79 o 1621 101.84 o 1620 101.89 o 1619 101.94 o 1618 101.99 o 1617 102.04 o 1616 102.09 o 1615 102.14 o 1614 102.18 o 1613 102.23 o 1612 102.28 o 1611 102.33 o 1610 102.38 o 1609 102.43 o 1608 102.48 o 1607 102.53 o 1606 102.58 o 1605 102.63 o 1604 102.67 o 1603 102.72 o 1602 102.77 o 1601 102.82 o 1600 102.87 o 1599 102.92 o 1598 102.96 o 1597 103.01 o 1596 103.06 o 1595 103.11 o 1594 103.16 o 1593 103.20 o 1592 103.25 o 1591 103.30 o 1590 103.35 o 1589 103.40 o 1588 103.44 o 1587 103.49 o 1586 103.54 o 1585 103.59 o 1584 103.64 o 1583 103.68 o 1582 103.73 o 1581 103.78 o 1580 103.83 o 1579 103.88 o 1578 103.92 o 1577 103.97 o 1576 104.02 o 1575 104.07 o 1574 104.12 o 1573 104.17 o 1572 104.21 o 1571 104.26 o 1570 104.31 o 1569 104.36 o 1568 104.41 o 1567 104.45 o 1566 104.50 o 1565 104.55 o 1564 104.59 o 1563 104.64 o 1562 104.69 o 1561 104.74 o 1560 104.78 o 1559 104.83 o 1558 104.88 o 1557 104.93 o 1556 104.97 o 1555 105.02 o 1554 105.07 o 1553 105.11 o 1552 105.16 o 1551 105.21 o 1550 105.26 o 1549 105.30 o 1548 105.35 o 1547 105.40 o 1546 105.45 o 1545 105.49 o 1544 105.54 o 1543 105.59 o 1542 105.64 o 1541 105.68 o 1540 105.73 o 1539 105.78 o 1538 105.82 o 1537 105.87 o 1536 105.92 o 1535 105.96 o 1534 106.01 o 1533 106.06 o 1532 106.10 o 1531 106.15 o 1530 106.20 o 1529 106.24 o 1528 106.29 o 1527 106.34 o 1526 106.38 o 1525 106.43 o 1524 106.48 o 1523 106.52 o 1522 106.57 o 1521 106.61 o 1520 106.66 o 1519 106.71 o 1518 106.75 o 1517 106.80 o 1516 106.85 o 1515 106.89 o 1514 106.94 o 1513 106.99 o 1512 107.03 o 1511 107.08 o 1510 107.12 o 1509 107.17 o 1508 107.22 o 1507 107.26 o 1506 107.31 o 1505 107.35 o 1504 107.40 o 1503 107.45 o 1502 107.49 o 1501 107.54 o 1500 107.58 o 1499 107.63 o 1498 107.67 o 1497 107.72 o 1496 107.76 o 1495 107.81 o 1494 107.86 o 1493 107.90 o 1492 107.95 o 1491 107.99 o 1490 108.04 o 1489 108.09 o 1488 108.13 o 1487 108.18 o 1486 108.22 o 1485 108.27 o 1484 108.31 o 1483 108.36 o 1482 108.40 o 1481 108.50 o 1480 108.55 o 1479 108.60 o 1478 108.64 o 1477 108.69 o 1476 108.74 o 1475 108.78 o 1474 108.83 o 1473 108.87 o 1472 108.92 o 1471 108.96 o 1470 109.01 o 1469 109.05 o 1468 109.10 o 1467 109.14 o 1466 109.19 o 1465 109.24 o 1464 109.28 o 1463 109.33 o 1462 109.37 o 1461 109.42 o 1460 109.46 o 1459 109.51 o 1458 109.55 o 1457 109.60 o 1456 109.64 o 1455 109.69 o 1454 109.73 o 1453 109.78 o 1452 109.82 o 1451 109.87 o 1450 109.91 o 1449 109.96 o 1448 110.00 o 1447 110.05 o 1446 110.09 o 1445 110.13 o 1444 110.18 o 1443 110.22 o 1442 110.27 o 1441 110.32 o 1440 110.36 o 1439 110.41 o 1438 110.45 o 1437 110.50 o 1436 110.54 o 1435 110.59 o 1434 110.63 o 1433 110.68 o 1432 110.72 o 1431 110.77 o 1430 110.81 o 1429 110.86 o 1428 110.90 o 1427 110.95 o 1426 110.99 o 1425 111.04 o 1424 111.08 o 1423 111.13 o 1422 111.17 o 1421 111.22 o 1420 111.26 o 1419 111.31 o 1418 111.35 o 1417 111.40 o 1416 111.44 o 1415 111.49 o 1414 111.53 o 1413 111.58 o 1412 111.62 o 1411 111.66 o 1410 111.71 o 1409 111.80 o 1408 111.85 o 1407 111.90 o 1406 111.94 o 1405 111.98 o 1404 112.03 o 1403 112.07 o 1402 112.12 o 1401 112.16 o 1400 112.21 o 1399 112.25 o 1398 112.29 o 1397 112.34 o 1396 112.38 o 1395 112.43 o 1394 112.47 o 1393 112.52 o 1392 112.56 o 1391 112.61 o 1390 112.65 o 1389 112.70 o 1388 112.74 o 1387 112.79 o 1386 112.83 o 1385 112.87 o 1384 112.92 o 1383 112.96 o 1382 113.06 o 1381 113.11 o 1380 113.16 o 1379 113.20 o 1378 113.24 o 1377 113.29 o 1376 113.33 o 1375 113.37 o 1374 113.41 o 1373 113.46 o 1372 113.50 o 1371 113.54 o 1370 113.59 o 1369 113.63 o 1368 113.67 o 1367 113.72 o 1366 113.76 o 1365 113.80 o 1364 113.85 o 1363 113.89 o 1362 113.93 o 1361 113.98 o 1360 114.02 o 1359 114.06 o 1358 114.11 o 1357 114.15 o 1356 114.19 o 1355 114.24 o 1354 114.28 o 1353 114.32 o 1352 114.37 o 1351 114.41 o 1350 114.45 o 1349 114.54 o 1348 114.64 o 1347 114.69 o 1253 114.73 o 1252 114.77 o 1251 114.81 o 1239 114.85 o 1238 114.90 o 1237 114.94 o 1236 114.98 o 1235 115.02 o 1234 115.06 o 1233 115.10 o 1232 115.14 o 1231 115.18 o 1230 115.22 o 1229 115.26 o 1228 115.30 o 1227 115.34 o 1226 115.38 o 1225 115.42 o 1224 115.46 o 1223 115.50 o 1222 115.54 o 1221 115.57 o 1220 115.61 o 1219 115.69 o 1218 115.74 o 1217 115.78 o 1216 115.86 o 1215 115.91 o 1214 115.95 o 1213 115.99 o 1212 116.03 o 1211 116.07 o 1210 116.12 o 1209 116.16 o 1208 116.20 o 1207 116.24 o 1206 116.28 o 1205 116.32 o 1204 116.36 o 1203 116.40 o 1202 116.44 o 1201 116.48 o 1200 116.52 o 1199 116.55 o 1198 116.59 o 1197 116.63 o 1196 116.67 o 1195 116.71 o 1194 116.75 o 1193 116.84 o 1192 116.89 o 825 116.92 o 805 116.95 o 804 116.99 o 803 117.02 o 802 117.05 o 801 117.08 o 776 117.11 o 775 117.14 o 774 117.17 o 773
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node20/watcher-50516-1154095238 -o ROOT/results/node20/solver-50516-1154095238 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node20/50516-1154095238/instance-50516-1154095238.opb 781652873 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 26034 /proc/meminfo: memFree=1518184/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=1888 CPUtime=0 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 156384274 1933312 132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 472 134 90 232 0 237 0 [startup+10.0033 s] /proc/loadavg: 0.93 0.98 0.99 2/64 26034 /proc/meminfo: memFree=1507432/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=19704 CPUtime=9.99 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 2993 0 0 0 979 20 0 0 25 0 1 0 156384274 20176896 2822 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 4926 2822 107 232 0 4691 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 19704 [startup+20.0096 s] /proc/loadavg: 0.94 0.98 0.99 2/64 26034 /proc/meminfo: memFree=1507688/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=19704 CPUtime=19.99 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 2997 0 0 0 1951 48 0 0 25 0 1 0 156384274 20176896 2826 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 4926 2826 107 232 0 4691 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 19704 [startup+30.0158 s] /proc/loadavg: 0.95 0.98 0.99 2/70 26108 /proc/meminfo: memFree=1506552/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=19836 CPUtime=29.98 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 3013 0 0 0 2917 81 0 0 25 0 1 0 156384274 20312064 2842 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 4959 2842 107 232 0 4724 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 19836 [startup+40.022 s] /proc/loadavg: 0.96 0.98 0.99 2/70 26168 /proc/meminfo: memFree=1506280/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=19968 CPUtime=39.96 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 3069 0 0 0 3880 116 0 0 25 0 1 0 156384274 20447232 2898 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 4992 2898 107 232 0 4757 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 19968 [startup+50.0292 s] /proc/loadavg: 0.96 0.98 0.99 2/70 26216 /proc/meminfo: memFree=1502120/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=24196 CPUtime=49.93 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 4106 0 0 0 4835 158 0 0 25 0 1 0 156384274 24776704 3935 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 6049 3935 107 232 0 5814 0 Current children cumulated CPU time (s) 49.93 Current children cumulated vsize (Kb) 24196 [startup+60.0364 s] /proc/loadavg: 0.97 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1501984/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=25516 CPUtime=59.92 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 4435 0 0 0 5789 203 0 0 25 0 1 0 156384274 26128384 4264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 6379 4264 107 232 0 6144 0 Current children cumulated CPU time (s) 59.92 Current children cumulated vsize (Kb) 25516 [startup+70.0437 s] /proc/loadavg: 0.97 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1501352/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=26044 CPUtime=69.93 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 4595 0 0 0 6745 248 0 0 25 0 1 0 156384274 26669056 4424 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 6511 4424 107 232 0 6276 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 26044 [startup+80.0499 s] /proc/loadavg: 0.98 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1500520/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=26844 CPUtime=79.92 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 4798 0 0 0 7703 289 0 0 25 0 1 0 156384274 27488256 4627 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 6711 4627 107 232 0 6476 0 Current children cumulated CPU time (s) 79.92 Current children cumulated vsize (Kb) 26844 [startup+90.0561 s] /proc/loadavg: 0.98 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1499368/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=28076 CPUtime=89.92 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 5083 0 0 0 8652 340 0 0 25 0 1 0 156384274 28749824 4912 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 7019 4912 107 232 0 6784 0 Current children cumulated CPU time (s) 89.92 Current children cumulated vsize (Kb) 28076 [startup+100.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1498152/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=29296 CPUtime=99.93 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 5384 0 0 0 9608 385 0 0 25 0 1 0 156384274 29999104 5213 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 7324 5213 107 232 0 7089 0 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 29296 [startup+110.069 s] /proc/loadavg: 0.98 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1496616/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=30976 CPUtime=109.92 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 5757 0 0 0 10565 427 0 0 25 0 1 0 156384274 31719424 5586 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 7744 5586 108 232 0 7509 0 Current children cumulated CPU time (s) 109.92 Current children cumulated vsize (Kb) 30976 [startup+120.075 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1494952/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=32536 CPUtime=119.92 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 6177 0 0 0 11525 467 0 0 25 0 1 0 156384274 33316864 6006 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 8134 6006 108 232 0 7899 0 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 32536 [startup+130.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1493736/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=32536 CPUtime=129.92 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 6484 0 0 0 12525 467 0 0 25 0 1 0 156384274 33316864 6313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 8134 6313 108 232 0 7899 0 Current children cumulated CPU time (s) 129.92 Current children cumulated vsize (Kb) 32536 [startup+140.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1492456/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=32536 CPUtime=139.93 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 6798 0 0 0 13525 468 0 0 25 0 1 0 156384274 33316864 6627 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 8134 6627 108 232 0 7899 0 Current children cumulated CPU time (s) 139.93 Current children cumulated vsize (Kb) 32536 [startup+150.093 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1491304/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=32536 CPUtime=149.93 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 7083 0 0 0 14525 468 0 0 25 0 1 0 156384274 33316864 6912 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 8134 6912 108 232 0 7899 0 Current children cumulated CPU time (s) 149.93 Current children cumulated vsize (Kb) 32536 [startup+160.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1490088/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=32536 CPUtime=159.94 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 7380 0 0 0 15526 468 0 0 25 0 1 0 156384274 33316864 7209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 8134 7209 108 232 0 7899 0 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 32536 [startup+170.106 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1488808/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=32536 CPUtime=169.94 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 7701 0 0 0 16526 468 0 0 25 0 1 0 156384274 33316864 7530 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 8134 7530 108 232 0 7899 0 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 32536 [startup+180.112 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1487400/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=48920 CPUtime=179.94 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 8050 0 0 0 17526 468 0 0 25 0 1 0 156384274 50094080 7879 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 12230 7879 108 232 0 11995 0 Current children cumulated CPU time (s) 179.94 Current children cumulated vsize (Kb) 48920 [startup+190.118 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1485928/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=48920 CPUtime=189.94 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 8428 0 0 0 18526 468 0 0 25 0 1 0 156384274 50094080 8257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563477 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 12230 8257 108 232 0 11995 0 Current children cumulated CPU time (s) 189.94 Current children cumulated vsize (Kb) 48920 [startup+200.124 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26232 /proc/meminfo: memFree=1484200/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=48920 CPUtime=199.94 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 8857 0 0 0 19526 468 0 0 25 0 1 0 156384274 50094080 8686 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 12230 8686 108 232 0 11995 0 Current children cumulated CPU time (s) 199.94 Current children cumulated vsize (Kb) 48920 [startup+210.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 26232 ################ # More data... # ################ /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19285 0 0 0 177571 574 0 0 25 0 1 0 156384274 91312128 18921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563511 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18921 108 232 0 22058 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 89172 [startup+1783.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1782.46 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19285 0 0 0 177672 574 0 0 25 0 1 0 156384274 91312128 18921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18921 108 232 0 22058 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 89172 [startup+1784.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1783.46 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19285 0 0 0 177772 574 0 0 25 0 1 0 156384274 91312128 18921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18921 108 232 0 22058 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 89172 [startup+1785.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1784.47 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19285 0 0 0 177873 574 0 0 25 0 1 0 156384274 91312128 18921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18921 108 232 0 22058 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 89172 [startup+1786.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1785.47 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19285 0 0 0 177973 574 0 0 25 0 1 0 156384274 91312128 18921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18921 108 232 0 22058 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 89172 [startup+1787.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1786.48 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19285 0 0 0 178074 574 0 0 25 0 1 0 156384274 91312128 18921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18921 108 232 0 22058 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 89172 [startup+1788.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1787.48 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19285 0 0 0 178174 574 0 0 25 0 1 0 156384274 91312128 18921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18921 108 232 0 22058 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 89172 [startup+1789.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1788.49 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19285 0 0 0 178275 574 0 0 25 0 1 0 156384274 91312128 18921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18921 108 232 0 22058 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 89172 [startup+1790.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1789.49 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19285 0 0 0 178375 574 0 0 25 0 1 0 156384274 91312128 18921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18921 108 232 0 22058 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 89172 [startup+1791.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1790.49 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19285 0 0 0 178475 574 0 0 25 0 1 0 156384274 91312128 18921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18921 108 232 0 22058 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 89172 [startup+1792.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1791.5 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19285 0 0 0 178576 574 0 0 25 0 1 0 156384274 91312128 18921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18921 108 232 0 22058 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 89172 [startup+1793.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1792.5 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19285 0 0 0 178676 574 0 0 25 0 1 0 156384274 91312128 18921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18921 108 232 0 22058 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 89172 [startup+1794.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1793.51 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19285 0 0 0 178777 574 0 0 25 0 1 0 156384274 91312128 18921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549336 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18921 108 232 0 22058 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 89172 [startup+1795.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1794.51 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19286 0 0 0 178877 574 0 0 25 0 1 0 156384274 91312128 18922 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18922 108 232 0 22058 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 89172 [startup+1796.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1795.52 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19286 0 0 0 178978 574 0 0 25 0 1 0 156384274 91312128 18922 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18922 108 232 0 22058 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 89172 [startup+1797.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1796.52 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19286 0 0 0 179078 574 0 0 25 0 1 0 156384274 91312128 18922 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18922 108 232 0 22058 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 89172 [startup+1798.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1797.53 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19286 0 0 0 179179 574 0 0 25 0 1 0 156384274 91312128 18922 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18922 108 232 0 22058 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 89172 [startup+1799.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1798.53 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19286 0 0 0 179279 574 0 0 25 0 1 0 156384274 91312128 18922 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18922 108 232 0 22058 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 89172 [startup+1800.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1799.54 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19286 0 0 0 179380 574 0 0 25 0 1 0 156384274 91312128 18922 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18922 108 232 0 22058 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 89172 [startup+1801.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1800.54 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19286 0 0 0 179480 574 0 0 25 0 1 0 156384274 91312128 18922 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549211 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18922 108 232 0 22058 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 89172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26232 /proc/meminfo: memFree=1443112/2055920 swapFree=4183448/4192956 [pid=26034] ppid=26032 vsize=89172 CPUtime=1800.55 /proc/26034/stat : 26034 (PBS4L) R 26032 26034 25985 0 -1 4194304 19286 0 0 0 179481 574 0 0 25 0 1 0 156384274 91312128 18922 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/26034/statm: 22293 18922 108 232 0 22058 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 89172 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.23 CPU time (s): 1800.58 CPU user time (s): 1794.81 CPU system time (s): 5.76412 CPU usage (%): 99.9637 Max. virtual memory (cumulated for all children) (Kb): 89172 The end
Begin job on node20 on Fri Jul 28 14:00:38 UTC 2006 FILE ID= 50516-1154095238 PBS_JOBID= 885878 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node20/50516-1154095238/instance-50516-1154095238.opb 781652873 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-50516-1154095238 -o ROOT/results/node20/solver-50516-1154095238 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node20/50516-1154095238/instance-50516-1154095238.opb 781652873 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0 RANDOM SEED= 781652873 TIMEOUT= 1800 seconds /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.239 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.239 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: 1518392 kB Buffers: 27984 kB Cached: 444536 kB SwapCached: 3412 kB Active: 54428 kB Inactive: 426776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1518392 kB SwapTotal: 4192956 kB SwapFree: 4183448 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14740 kB Slab: 42400 kB Committed_AS: 623228 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node20 on Fri Jul 28 14:30:39 UTC 2006