Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.06 | 1800.51 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb |
MD5SUM | f7a477da8fbb23e2742430438fb68c46 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 5.51816 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 55066 |
Total number of constraints | 160619 |
Number of constraints which are clauses | 156587 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 4032 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 67 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 256 |
Number of bits of the biggest sum of numbers | 9 |
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.43 c PB-wave - v2 0.00/0.43 c command line = ./PB-wave 0.00/0.43 c seed = 36153380 0.00/0.43 c cutoff = 1000000 0.00/0.43 c tries = 1000000 0.00/0.43 c heuristic = c best, noise 50 / 100 0.00/0.43 #var 55066 #con 160619 0.00/0.43 mode is SAT 0.00/0.43 c tail starts after flip = 165198 0.00/0.43 c numatom = 55066, numclause = 160619, numliterals = 415589 0.00/0.43 c wff read in 0.00/0.43 c 0.00/0.43 c lowest final avg noise noise total avg mean mean 0.00/0.43 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.43 c this this this this this this success success until std 0.00/0.43 c try try try try try try rate tries assign dev 0.00/0.43 c 7.69/7.75 c 2063 2102 3308.25 963.52 3.43 1000000 0 14.99/15.06 c 2214 2461 3323.16 897.98 3.70 1000000 0 22.28/22.36 c 2096 2331 3311.31 910.95 3.63 1000000 0 29.69/29.73 c 2268 2470 3310.74 944.99 3.50 1000000 0 36.98/37.07 c 2219 2617 3397.66 913.06 3.72 1000000 0 44.28/44.34 c 2187 2308 3252.06 909.09 3.58 1000000 0 51.58/51.64 c 2074 2324 3296.39 925.86 3.56 1000000 0 58.87/58.92 c 2184 2280 3411.18 1001.88 3.40 1000000 0 66.17/66.23 c 2084 2473 3333.42 965.03 3.45 1000000 0 73.47/73.51 c 2057 2395 3324.47 974.02 3.41 1000000 0 80.77/80.83 c 2292 2394 3343.37 906.07 3.69 1000000 0 87.97/88.06 c 2173 2287 3343.54 1032.90 3.24 1000000 0 95.26/95.35 c 2107 2297 3287.60 960.07 3.42 1000000 0 102.66/102.70 c 2181 2214 3371.11 973.79 3.46 1000000 0 109.97/110.04 c 2265 2475 3461.99 870.91 3.98 1000000 0 117.26/117.38 c 2207 2378 3374.89 949.61 3.55 1000000 0 124.56/124.67 c 2154 2487 3346.56 911.26 3.67 1000000 0 131.86/131.96 c 2062 2396 3343.23 965.49 3.46 1000000 0 139.15/139.25 c 2057 2077 3361.89 964.32 3.49 1000000 0 146.55/146.62 c 2171 2322 3284.09 932.20 3.52 1000000 0 153.75/153.89 c 2157 2372 3297.89 887.09 3.72 1000000 0 161.15/161.27 c 2096 2381 3472.26 1023.30 3.39 1000000 0 168.44/168.57 c 2065 2435 3322.25 1014.58 3.27 1000000 0 175.85/175.90 c 2143 2323 3325.79 946.73 3.51 1000000 0 183.04/183.14 c 2043 2302 3313.96 977.78 3.39 1000000 0 190.25/190.40 c 2183 2375 3305.06 924.92 3.57 1000000 0 197.54/197.69 c 2176 2507 3344.79 1001.96 3.34 1000000 0 204.84/204.99 c 2233 2484 3397.70 955.79 3.55 1000000 0 212.14/212.29 c 2172 2368 3368.35 967.88 3.48 1000000 0 219.33/219.48 c 2150 2456 3239.62 934.98 3.46 1000000 0 226.73/226.81 c 2075 2192 3281.90 935.04 3.51 1000000 0 234.03/234.10 c 2077 2422 3284.18 955.35 3.44 1000000 0 241.23/241.31 c 2104 2237 3296.74 986.84 3.34 1000000 0 248.53/248.63 c 2231 2492 3355.98 908.57 3.69 1000000 0 255.92/256.01 c 2027 2283 3383.15 943.51 3.59 1000000 0 263.22/263.35 c 2051 2213 3321.00 976.98 3.40 1000000 0 270.53/270.67 c 2137 2225 3437.64 1004.07 3.42 1000000 0 277.92/278.01 c 2205 2443 3363.15 906.21 3.71 1000000 0 285.21/285.37 c 2081 2253 3376.27 929.36 3.63 1000000 0 292.52/292.67 c 2251 2633 3357.80 932.65 3.60 1000000 0 299.81/299.94 c 2158 2436 3356.61 959.33 3.50 1000000 0 307.11/307.21 c 2016 2424 3274.49 970.81 3.37 1000000 0 314.31/314.44 c 2157 2319 3282.07 944.00 3.48 1000000 0 321.51/321.69 c 2109 2270 3272.39 952.40 3.44 1000000 0 328.90/329.03 c 2179 2550 3382.77 920.28 3.68 1000000 0 336.20/336.33 c 2181 2383 3361.01 958.61 3.51 1000000 0 343.50/343.66 c 2193 2448 3422.31 960.22 3.56 1000000 0 350.81/350.95 c 2200 2320 3319.70 950.28 3.49 1000000 0 358.00/358.19 c 2033 2313 3242.85 975.83 3.32 1000000 0 365.40/365.58 c 2343 2485 3468.82 929.99 3.73 1000000 0 372.70/372.87 c 2196 2439 3323.02 904.65 3.67 1000000 0 379.99/380.18 c 2128 2358 3343.38 994.20 3.36 1000000 0 387.29/387.45 c 2164 2464 3396.65 983.45 3.45 1000000 0 394.59/394.79 c 2128 2343 3336.33 1079.62 3.09 1000000 0 401.99/402.12 c 2048 2352 3425.34 966.88 3.54 1000000 0 409.28/409.41 c 2058 2191 3342.04 997.18 3.35 1000000 0 416.48/416.67 c 2051 2306 3283.02 992.36 3.31 1000000 0 423.78/423.92 c 2157 2334 3343.05 992.68 3.37 1000000 0 431.09/431.28 c 2199 2244 3367.78 965.97 3.49 1000000 0 438.38/438.56 c 2116 2367 3339.78 990.36 3.37 1000000 0 445.68/445.85 c 2223 2340 3290.14 971.23 3.39 1000000 0 453.08/453.26 c 2042 2057 3325.77 984.40 3.38 1000000 0 460.37/460.58 c 2177 2525 3279.94 951.00 3.45 1000000 0 467.67/467.89 c 2151 2331 3327.88 986.56 3.37 1000000 0 474.97/475.12 c 2132 2251 3327.20 945.33 3.52 1000000 0 482.17/482.36 c 1999 2040 3261.12 1065.08 3.06 1000000 0 489.56/489.72 c 2055 2244 3344.77 1008.45 3.32 1000000 0 496.86/497.05 c 2278 2614 3375.08 932.51 3.62 1000000 0 504.06/504.26 c 2148 2375 3278.56 974.73 3.36 1000000 0 511.46/511.63 c 2154 2433 3392.97 971.26 3.49 1000000 0 518.66/518.86 c 2148 2393 3396.29 996.87 3.41 1000000 0 525.96/526.15 c 2209 2372 3371.62 931.13 3.62 1000000 0 533.26/533.46 c 2061 2209 3287.86 992.90 3.31 1000000 0 540.65/540.81 c 2128 2239 3308.39 980.69 3.37 1000000 0 547.95/548.10 c 2279 2423 3319.23 950.03 3.49 1000000 0 555.26/555.47 c 2071 2182 3353.23 1019.65 3.29 1000000 0 562.55/562.78 c 2008 2196 3281.79 967.75 3.39 1000000 0 569.84/570.06 c 2092 2227 3316.73 987.83 3.36 1000000 0 577.14/577.38 c 2150 2252 3273.39 991.94 3.30 1000000 0 584.44/584.65 c 2005 2229 3308.33 1007.14 3.28 1000000 0 591.74/591.97 c 2338 2564 3441.65 893.75 3.85 1000000 0 599.04/599.25 c 2102 2301 3329.64 980.56 3.40 1000000 0 606.34/606.57 c 2180 2486 3316.17 965.03 3.44 1000000 0 613.64/613.89 c 2203 2353 3321.65 879.37 3.78 1000000 0 621.03/621.23 c 2144 2236 3343.86 978.62 3.42 1000000 0 628.43/628.64 c 2173 2338 3471.16 998.66 3.48 1000000 0 635.83/636.02 c 2300 2521 3533.13 961.22 3.68 1000000 0 643.13/643.34 c 2201 2427 3494.74 1099.59 3.18 1000000 0 650.43/650.66 c 2081 2541 3361.05 1038.36 3.24 1000000 0 657.72/657.99 c 2053 2273 3359.68 1022.25 3.29 1000000 0 665.12/665.31 c 2228 2348 3379.22 889.42 3.80 1000000 0 672.42/672.61 c 2110 2267 3344.19 1033.75 3.23 1000000 0 679.62/679.88 c 2186 2383 3220.17 910.74 3.54 1000000 0 687.01/687.28 c 2231 2329 3401.69 1017.88 3.34 1000000 0 694.41/694.63 c 2134 2353 3386.47 970.35 3.49 1000000 0 701.62/701.85 c 2085 2274 3256.52 925.08 3.52 1000000 0 709.01/709.21 c 2177 2575 3392.28 971.13 3.49 1000000 0 716.31/716.53 c 2176 2316 3340.13 955.58 3.50 1000000 0 723.61/723.84 c 2130 2520 3293.99 963.39 3.42 1000000 0 730.90/731.11 c 2027 2292 3318.83 955.40 3.47 1000000 0 738.10/738.39 c 2283 2461 3333.67 850.00 3.92 1000000 0 745.40/745.66 c 1972 2219 3377.67 1018.00 3.32 1000000 0 752.80/753.00 c 2256 2326 3395.48 955.97 3.55 1000000 0 760.00/760.27 c 2166 2207 3336.98 1006.98 3.31 1000000 0 767.40/767.63 c 2187 2313 3444.73 1014.56 3.40 1000000 0 774.69/774.91 c 1968 2233 3349.65 1033.32 3.24 1000000 0 781.99/782.23 c 2045 2242 3345.91 1033.01 3.24 1000000 0 789.29/789.54 c 2260 2350 3355.72 939.31 3.57 1000000 0 796.59/796.84 c 2238 2387 3305.62 899.63 3.67 1000000 0 803.79/804.08 c 2155 2330 3194.43 938.88 3.40 1000000 0 810.98/811.30 c 2121 2374 3354.51 986.38 3.40 1000000 0 818.28/818.56 c 2088 2264 3321.03 989.34 3.36 1000000 0 825.58/825.85 c 2115 2266 3304.15 939.13 3.52 1000000 0 832.88/833.18 c 2097 2160 3325.23 929.09 3.58 1000000 0 840.18/840.49 c 2078 2387 3415.24 1033.08 3.31 1000000 0 847.57/847.84 c 2150 2209 3436.31 964.47 3.56 1000000 0 854.87/855.10 c 2042 2214 3328.90 909.23 3.66 1000000 0 862.18/862.47 c 2099 2552 3381.46 1038.17 3.26 1000000 0 869.47/869.74 c 2210 2410 3423.37 964.59 3.55 1000000 0 876.77/877.02 c 2138 2535 3448.71 1006.49 3.43 1000000 0 884.07/884.32 c 2110 2293 3311.92 972.57 3.41 1000000 0 891.36/891.61 c 2027 2434 3341.47 1008.54 3.31 1000000 0 898.56/898.87 c 2121 2134 3303.59 956.90 3.45 1000000 0 905.96/906.21 c 2081 2357 3312.86 970.85 3.41 1000000 0 913.16/913.49 c 2110 2456 3370.35 974.60 3.46 1000000 0 920.46/920.75 c 2172 2270 3315.61 939.14 3.53 1000000 0 927.85/928.10 c 2207 2322 3334.40 1028.06 3.24 1000000 0 935.15/935.50 c 2218 2389 3449.87 974.96 3.54 1000000 0 942.46/942.74 c 2213 2359 3390.57 966.92 3.51 1000000 0 949.65/949.98 c 2061 2364 3265.23 1014.42 3.22 1000000 0 956.94/957.29 c 2104 2268 3313.08 953.20 3.48 1000000 0 964.35/964.70 c 2402 2540 3489.33 942.59 3.70 1000000 0 971.74/972.01 c 2146 2392 3328.51 925.19 3.60 1000000 0 979.04/979.31 c 2089 2295 3330.71 982.14 3.39 1000000 0 986.34/986.66 c 2237 2470 3320.54 935.96 3.55 1000000 0 993.73/994.03 c 2262 2600 3400.54 920.44 3.69 1000000 0 1001.13/1001.41 c 1998 2266 3368.55 1046.31 3.22 1000000 0 1008.44/1008.71 c 2082 2391 3373.51 1048.86 3.22 1000000 0 1015.73/1016.03 c 2246 2406 3405.89 979.89 3.48 1000000 0 1022.93/1023.28 c 2143 2241 3301.38 989.30 3.34 1000000 0 1030.33/1030.60 c 1996 2103 3286.82 978.76 3.36 1000000 0 1037.62/1037.92 c 2095 2286 3448.66 1011.12 3.41 1000000 0 1044.92/1045.28 c 2035 2464 3356.46 957.66 3.50 1000000 0 1052.33/1052.61 c 2131 2384 3395.89 914.19 3.71 1000000 0 1059.52/1059.84 c 2112 2166 3301.09 1033.36 3.19 1000000 0 1066.82/1067.18 c 2268 2438 3516.10 982.61 3.58 1000000 0 1074.11/1074.46 c 2132 2321 3357.99 912.45 3.68 1000000 0 1081.41/1081.79 c 2187 2385 3359.55 953.81 3.52 1000000 0 1088.72/1089.08 c 2012 2337 3307.00 984.48 3.36 1000000 0 1096.11/1096.40 c 2073 2399 3299.67 878.32 3.76 1000000 0 1103.41/1103.73 c 2217 2270 3304.40 937.03 3.53 1000000 0 1110.71/1111.09 c 2255 2445 3397.52 965.47 3.52 1000000 0 1118.10/1118.40 c 2121 2469 3363.88 989.37 3.40 1000000 0 1125.40/1125.76 c 2051 2248 3320.33 945.07 3.51 1000000 0 1132.71/1133.09 c 2299 2551 3536.82 900.71 3.93 1000000 0 1140.10/1140.47 c 2234 2468 3401.69 956.78 3.56 1000000 0 1147.40/1147.76 c 2170 2335 3372.93 965.08 3.49 1000000 0 1154.70/1155.08 c 2320 2445 3291.77 893.69 3.68 1000000 0 1161.99/1162.32 c 1983 2331 3225.06 1020.44 3.16 1000000 0 1169.29/1169.69 c 2130 2295 3365.65 981.04 3.43 1000000 0 1176.60/1176.98 c 2045 2098 3265.70 922.23 3.54 1000000 0 1183.89/1184.29 c 2081 2203 3264.20 976.01 3.34 1000000 0 1191.39/1191.70 c 2231 2415 3409.66 948.99 3.59 1000000 0 1198.59/1198.95 c 2116 2219 3339.07 963.49 3.47 1000000 0 1205.88/1206.23 c 2072 2147 3259.04 965.54 3.38 1000000 0 1213.28/1213.62 c 2078 2101 3374.48 924.56 3.65 1000000 0 1220.59/1220.96 c 2325 2531 3411.19 958.88 3.56 1000000 0 1227.88/1228.23 c 2090 2346 3235.61 932.03 3.47 1000000 0 1235.17/1235.51 c 2134 2373 3404.24 1016.05 3.35 1000000 0 1242.37/1242.76 c 2200 2415 3325.87 923.77 3.60 1000000 0 1249.77/1250.10 c 2141 2504 3348.37 1034.23 3.24 1000000 0 1257.07/1257.45 c 2315 2320 3458.57 943.96 3.66 1000000 0 1264.37/1264.77 c 2230 2301 3388.94 938.02 3.61 1000000 0 1271.77/1272.11 c 2323 2512 3463.09 926.49 3.74 1000000 0 1278.97/1279.36 c 2088 2412 3236.22 934.83 3.46 1000000 0 1286.26/1286.62 c 2166 2300 3348.55 971.67 3.45 1000000 0 1293.56/1293.97 c 2081 2333 3399.66 1004.17 3.39 1000000 0 1300.87/1301.24 c 2082 2358 3273.93 985.75 3.32 1000000 0 1308.16/1308.54 c 2084 2324 3288.01 975.83 3.37 1000000 0 1315.56/1315.93 c 2141 2554 3412.43 1034.19 3.30 1000000 0 1322.86/1323.22 c 2123 2320 3351.59 911.74 3.68 1000000 0 1330.15/1330.50 c 2102 2276 3241.81 960.91 3.37 1000000 0 1337.45/1337.83 c 2027 2189 3297.60 953.72 3.46 1000000 0 1344.65/1345.07 c 2111 2111 3339.48 904.50 3.69 1000000 0 1351.95/1352.34 c 2011 2140 3303.25 1032.31 3.20 1000000 0 1359.25/1359.60 c 2265 2552 3293.37 916.74 3.59 1000000 0 1366.54/1366.90 c 2064 2262 3344.56 975.13 3.43 1000000 0 1373.84/1374.20 c 1954 2121 3330.41 1024.54 3.25 1000000 0 1381.04/1381.41 c 2161 2509 3281.99 955.44 3.44 1000000 0 1388.23/1388.68 c 2074 2134 3371.28 958.75 3.52 1000000 0 1395.63/1396.01 c 2123 2405 3372.23 962.79 3.50 1000000 0 1402.83/1403.29 c 2062 2217 3274.90 1025.46 3.19 1000000 0 1410.23/1410.63 c 2105 2157 3315.65 955.04 3.47 1000000 0 1417.44/1417.88 c 2081 2252 3288.63 905.70 3.63 1000000 0 1424.73/1425.14 c 2175 2265 3267.92 1026.13 3.18 1000000 0 1432.12/1432.50 c 2154 2453 3351.38 1022.21 3.28 1000000 0 1439.43/1439.84 c 2173 2361 3439.99 964.58 3.57 1000000 0 1446.72/1447.16 c 2130 2615 3422.13 965.27 3.55 1000000 0 1454.12/1454.50 c 2204 2285 3349.37 1021.97 3.28 1000000 0 1461.42/1461.88 c 2032 2396 3406.13 928.67 3.67 1000000 0 1468.71/1469.16 c 2197 2617 3356.89 978.82 3.43 1000000 0 1476.01/1476.41 c 2147 2276 3338.74 966.97 3.45 1000000 0 1483.31/1483.70 c 1997 2070 3249.59 978.20 3.32 1000000 0 1490.61/1491.05 c 2221 2608 3418.65 952.28 3.59 1000000 0 1498.01/1498.40 c 2143 2467 3273.44 912.23 3.59 1000000 0 1505.21/1505.67 c 2250 2408 3394.32 984.36 3.45 1000000 0 1512.50/1512.97 c 2100 2339 3338.76 1016.06 3.29 1000000 0 1519.81/1520.21 c 2049 2196 3178.56 974.85 3.26 1000000 0 1527.10/1527.51 c 2087 2250 3334.77 1037.22 3.22 1000000 0 1534.40/1534.88 c 1999 2210 3322.52 996.54 3.33 1000000 0 1541.70/1542.18 c 2104 2421 3341.00 1020.27 3.27 1000000 0 1549.09/1549.52 c 2234 2366 3394.58 967.19 3.51 1000000 0 1556.39/1556.81 c 2198 2343 3353.89 918.30 3.65 1000000 0 1563.70/1564.11 c 2098 2213 3348.37 958.31 3.49 1000000 0 1570.99/1571.49 c 2261 2393 3386.24 968.14 3.50 1000000 0 1578.39/1578.85 c 2067 2243 3401.50 923.40 3.68 1000000 0 1585.69/1586.14 c 2054 2270 3206.53 976.34 3.28 1000000 0 1592.98/1593.46 c 2137 2273 3295.39 952.43 3.46 1000000 0 1600.28/1600.74 c 2110 2415 3325.52 948.06 3.51 1000000 0 1607.58/1608.06 c 2120 2311 3278.42 938.00 3.50 1000000 0 1614.88/1615.38 c 2160 2421 3304.17 956.78 3.45 1000000 0 1622.18/1622.65 c 2092 2313 3279.25 975.60 3.36 1000000 0 1629.47/1629.95 c 1942 2060 3289.87 968.79 3.40 1000000 0 1636.77/1637.27 c 2294 2453 3463.58 955.75 3.62 1000000 0 1644.17/1644.61 c 2165 2491 3288.33 968.25 3.40 1000000 0 1651.37/1651.84 c 2102 2258 3307.16 952.54 3.47 1000000 0 1658.77/1659.20 c 2189 2388 3426.87 1035.53 3.31 1000000 0 1665.97/1666.50 c 2192 2337 3430.36 1021.54 3.36 1000000 0 1673.26/1673.78 c 2199 2346 3366.68 979.92 3.44 1000000 0 1680.56/1681.04 c 2238 2390 3388.72 945.55 3.58 1000000 0 1687.86/1688.35 c 2133 2277 3347.15 910.78 3.68 1000000 0 1695.16/1695.65 c 2171 2455 3322.52 981.84 3.38 1000000 0 1702.46/1702.97 c 2133 2298 3295.25 913.79 3.61 1000000 0 1709.75/1710.20 c 2028 2204 3291.94 993.96 3.31 1000000 0 1717.05/1717.51 c 2198 2516 3401.20 981.08 3.47 1000000 0 1724.36/1724.84 c 2203 2359 3286.42 932.21 3.53 1000000 0 1731.65/1732.12 c 1996 2254 3232.04 1019.99 3.17 1000000 0 1738.95/1739.44 c 2094 2367 3329.68 976.35 3.41 1000000 0 1746.25/1746.71 c 2093 2155 3255.18 1001.00 3.25 1000000 0 1753.54/1754.07 c 2134 2239 3372.42 978.78 3.45 1000000 0 1760.94/1761.40 c 2168 2329 3408.61 960.33 3.55 1000000 0 1768.25/1768.72 c 2197 2318 3317.31 929.42 3.57 1000000 0 1775.44/1776.00 c 2255 2369 3340.56 926.55 3.61 1000000 0 1782.73/1783.29 c 2292 2545 3330.28 922.72 3.61 1000000 0 1790.13/1790.63 c 2187 2331 3381.08 942.64 3.59 1000000 0 1797.43/1797.93 c 2201 2367 3368.83 971.18 3.47 1000000 0 1800.04/1800.51 HOME/run: line 2: 11670 Terminated ./PB-wave < $1
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669892-1276611491/watcher-2669892-1276611491 -o /tmp/evaluation-result-2669892-1276611491/solver-2669892-1276611491 -C 1800 -W 2000 -M 1800 run HOME/instance-2669892-1276611491.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.03 1.00 3/106 11669 /proc/meminfo: memFree=1410380/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [startup+0.061004 s] /proc/loadavg: 1.00 1.03 1.00 3/106 11669 /proc/meminfo: memFree=1410380/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.102007 s] /proc/loadavg: 1.00 1.03 1.00 3/106 11669 /proc/meminfo: memFree=1410380/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.302026 s] /proc/loadavg: 1.00 1.03 1.00 3/106 11669 /proc/meminfo: memFree=1410380/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701065 s] /proc/loadavg: 1.00 1.03 1.00 3/106 11669 /proc/meminfo: memFree=1410380/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50114 s] /proc/loadavg: 1.00 1.03 1.00 2/108 11671 /proc/meminfo: memFree=1397220/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1.49 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3304 0 0 0 148 1 0 0 25 0 1 0 2440111 41422848 3234 1992294400 134512640 135071400 4292882640 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3234 61 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.1013 s] /proc/loadavg: 1.00 1.03 1.00 2/108 11671 /proc/meminfo: memFree=1396848/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=3.09 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3305 0 0 0 308 1 0 0 25 0 1 0 2440111 41422848 3235 1992294400 134512640 135071400 4292882640 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3235 62 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30161 s] /proc/loadavg: 1.00 1.03 1.00 2/108 11671 /proc/meminfo: memFree=1396724/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=6.29 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3305 0 0 0 628 1 0 0 25 0 1 0 2440111 41422848 3235 1992294400 134512640 135071400 4292882640 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3235 62 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7012 s] /proc/loadavg: 1.00 1.03 1.00 2/108 11673 /proc/meminfo: memFree=1396724/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=12.69 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3313 0 0 0 1268 1 0 0 25 0 1 0 2440111 41422848 3243 1992294400 134512640 135071400 4292882640 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3243 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5015 s] /proc/loadavg: 1.00 1.03 1.00 2/108 11673 /proc/meminfo: memFree=1396724/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=25.48 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3313 0 0 0 2547 1 0 0 25 0 1 0 2440111 41422848 3243 1992294400 134512640 135071400 4292882640 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3243 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1019 s] /proc/loadavg: 1.00 1.02 1.00 2/108 11673 /proc/meminfo: memFree=1396724/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=51.07 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3313 0 0 0 5106 1 0 0 25 0 1 0 2440111 41422848 3243 1992294400 134512640 135071400 4292882640 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3243 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.00 1.02 1.00 2/108 11675 /proc/meminfo: memFree=1396476/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=102.27 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3313 0 0 0 10226 1 0 0 25 0 1 0 2440111 41422848 3243 1992294400 134512640 135071400 4292882640 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3243 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/108 11677 /proc/meminfo: memFree=1396352/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=162.25 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3313 0 0 0 16224 1 0 0 25 0 1 0 2440111 41422848 3243 1992294400 134512640 135071400 4292882640 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3243 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/108 11677 /proc/meminfo: memFree=1396352/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=222.23 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3313 0 0 0 22222 1 0 0 25 0 1 0 2440111 41422848 3243 1992294400 134512640 135071400 4292882640 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3243 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11679 /proc/meminfo: memFree=1396352/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=282.22 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3313 0 0 0 28221 1 0 0 25 0 1 0 2440111 41422848 3243 1992294400 134512640 135071400 4292882640 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3243 69 137 0 9974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49152 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11681 /proc/meminfo: memFree=1396228/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=342.2 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3313 0 0 0 34219 1 0 0 25 0 1 0 2440111 41422848 3243 1992294400 134512640 135071400 4292882640 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3243 69 137 0 9974 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11683 /proc/meminfo: memFree=1396104/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=402.19 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3313 0 0 0 40218 1 0 0 25 0 1 0 2440111 41422848 3243 1992294400 134512640 135071400 4292882640 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3243 69 137 0 9974 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ [pid=11670] ppid=11669 vsize=40452 CPUtime=1122 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 112199 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11706 /proc/meminfo: memFree=1394864/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1181.99 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 118198 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11708 /proc/meminfo: memFree=1394492/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1241.97 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 124196 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11710 /proc/meminfo: memFree=1394368/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1301.97 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 130196 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11712 /proc/meminfo: memFree=1394368/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1361.94 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 136193 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11712 /proc/meminfo: memFree=1394368/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1421.93 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 142192 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11714 /proc/meminfo: memFree=1394244/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1481.91 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 148190 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11716 /proc/meminfo: memFree=1394244/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1541.9 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 154189 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11718 /proc/meminfo: memFree=1394120/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1601.88 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 160187 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11720 /proc/meminfo: memFree=1393996/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1661.87 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 166186 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134526314 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11720 /proc/meminfo: memFree=1393872/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1721.85 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 172184 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11722 /proc/meminfo: memFree=1393624/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1781.83 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 178182 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11722 /proc/meminfo: memFree=1393624/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1800.04 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 180003 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11722 /proc/meminfo: memFree=1393624/2059040 swapFree=4192956/4192956 [pid=11669] ppid=11667 vsize=8700 CPUtime=0 /proc/11669/stat : 11669 (run) S 11667 11669 11183 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 2440111 8908800 244 1992294400 4194304 4922060 140734448988064 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11669/statm: 2175 244 204 178 0 68 0 [pid=11670] ppid=11669 vsize=40452 CPUtime=1800.04 /proc/11670/stat : 11670 (PB-wave) R 11669 11669 11183 0 -1 4202496 3314 0 0 0 180003 1 0 0 25 0 1 0 2440111 41422848 3244 1992294400 134512640 135071400 4292882640 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11670/statm: 10113 3244 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1800.03 CPU system time (s): 0.022996 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.022996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3687 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= 3 involuntary context switches= 4753 runsolver used 3.14952 second user time and 8.35473 second system time The end
Begin job on node056 at 2010-06-15 16:18:12 IDJOB=2669892 IDBENCH=1494 IDSOLVER=1171 FILE ID=node056/2669892-1276611491 PBS_JOBID= 11172262 Free space on /tmp= 98632 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669892-1276611491/watcher-2669892-1276611491 -o /tmp/evaluation-result-2669892-1276611491/solver-2669892-1276611491 -C 1800 -W 2000 -M 1800 run HOME/instance-2669892-1276611491.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f7a477da8fbb23e2742430438fb68c46 RANDOM SEED=837366360 node056.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1410784 kB Buffers: 67828 kB Cached: 439524 kB SwapCached: 0 kB Active: 223708 kB Inactive: 342916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1410784 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5700 kB Writeback: 52 kB AnonPages: 59112 kB Mapped: 15356 kB Slab: 59680 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179700 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 98632 MiB End job on node056 at 2010-06-15 16:48:12