Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.16 | 1800.79 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_1.opb |
MD5SUM | 02054528a722e9af7937139e87d0b5ac |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -114 |
Best CPU time to get the best result obtained on this benchmark | 1798.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -169 |
Optimality of the best value was proved | NO |
Number of variables | 2000 |
Total number of constraints | 3001 |
Number of constraints which are clauses | 1000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 63280 |
Sum of products size (including duplicates) | 126560 |
Number of different products | 31640 |
Sum of products size | 63280 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702641-1278572915.opb. 0.00/0.00 c Instance file HOME/instance-2702641-1278572915.opb 0.00/0.00 c File size is 2907531 bytes. 0.49/0.59 c Highest Coefficient sum: 2000 0.49/0.59 c ============================[ Problem Statistics ]============================= 0.49/0.59 c | | 0.49/0.59 c | Parsing time: 0.58 s | 0.49/0.59 c | Number Variables: 33640 | 0.49/0.59 c | Number Clauses: 32640 | 0.49/0.59 c | Number Cardinality: 2002 | 0.49/0.59 c | Number PB Constraints: 31640 | 1.19/1.24 c ============================[ Search Statistics ]============================== 1.19/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.24 c =============================================================================== 1.19/1.24 c | 0 | 33640 66282 259120 | 22094 0 nan | 0.000 % | 1.29/1.32 c =============================================================================== 1.29/1.32 c New solution: 0 1.29/1.32 o 0 1.29/1.32 c Elapsed CPU time: 1.2908 s Remaining CPU time: 178.709 s 1.29/1.32 c =============================================================================== 1.29/1.32 c | 0 | 33640 66283 260120 | 22094 0 nan | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.47 c New solution: -1 1.39/1.47 o -1 1.39/1.47 c Elapsed CPU time: 1.44378 s Remaining CPU time: 178.556 s 1.39/1.47 c =============================================================================== 1.39/1.47 c | 1 | 33640 66284 261120 | 22094 1 1006 | 0.000 % | 1.49/1.53 c =============================================================================== 1.49/1.53 c New solution: -2 1.49/1.53 o -2 1.49/1.53 c Elapsed CPU time: 1.50177 s Remaining CPU time: 178.498 s 1.49/1.53 c =============================================================================== 1.49/1.53 c | 1 | 33640 66285 262120 | 22095 1 1006 | 0.000 % | 1.49/1.59 c =============================================================================== 1.49/1.59 c New solution: -3 1.49/1.59 o -3 1.49/1.59 c Elapsed CPU time: 1.55876 s Remaining CPU time: 178.441 s 1.49/1.59 c =============================================================================== 1.49/1.59 c | 1 | 33640 66286 263120 | 22095 1 1006 | 0.000 % | 1.59/1.65 c =============================================================================== 1.59/1.65 c New solution: -4 1.59/1.65 o -4 1.59/1.65 c Elapsed CPU time: 1.61675 s Remaining CPU time: 178.383 s 1.59/1.65 c =============================================================================== 1.59/1.65 c | 1 | 33640 66287 264120 | 22095 1 1006 | 0.000 % | 1.69/1.71 c =============================================================================== 1.69/1.71 c New solution: -5 1.69/1.71 o -5 1.69/1.71 c Elapsed CPU time: 1.67274 s Remaining CPU time: 178.327 s 1.69/1.71 c =============================================================================== 1.69/1.71 c | 1 | 33640 66288 265120 | 22096 1 1006 | 0.000 % | 1.69/1.78 c =============================================================================== 1.69/1.78 c New solution: -6 1.69/1.78 o -6 1.69/1.78 c Elapsed CPU time: 1.73274 s Remaining CPU time: 178.267 s 1.69/1.78 c =============================================================================== 1.69/1.78 c | 7 | 33640 66289 266120 | 22096 7 1850 | 0.000 % | 1.79/1.84 c =============================================================================== 1.79/1.84 c New solution: -7 1.79/1.84 o -7 1.79/1.84 c Elapsed CPU time: 1.79073 s Remaining CPU time: 178.209 s 1.79/1.84 c =============================================================================== 1.79/1.84 c | 8 | 33640 66290 267120 | 22096 8 1619 | 0.000 % | 1.89/1.90 c =============================================================================== 1.89/1.90 c New solution: -8 1.89/1.90 o -8 1.89/1.90 c Elapsed CPU time: 1.84972 s Remaining CPU time: 178.15 s 1.89/1.90 c =============================================================================== 1.89/1.90 c | 10 | 33640 66291 268120 | 22097 10 1495 | 0.000 % | 1.99/2.02 c | 111 | 33640 66291 268120 | 24306 111 1942 | 0.000 % | 2.09/2.18 c | 261 | 33640 66291 268120 | 26737 261 1968 | 0.000 % | 2.29/2.39 c | 486 | 33640 66291 268120 | 29411 486 1977 | 0.000 % | 2.39/2.46 c =============================================================================== 2.39/2.46 c New solution: -9 2.39/2.46 o -9 2.39/2.46 c Elapsed CPU time: 2.40163 s Remaining CPU time: 177.598 s 2.39/2.46 c =============================================================================== 2.39/2.46 c | 495 | 33640 66292 269120 | 22097 495 1975 | 0.000 % | 2.49/2.59 c | 595 | 33640 66292 269120 | 24307 595 1977 | 0.000 % | 2.69/2.75 c | 745 | 33640 66292 269120 | 26737 745 1979 | 0.000 % | 2.99/3.01 c | 970 | 33640 66292 269120 | 29411 970 1981 | 0.000 % | 3.30/3.36 c | 1307 | 33640 66292 269120 | 32352 1307 1982 | 0.000 % | 3.39/3.43 c =============================================================================== 3.39/3.43 c New solution: -10 3.39/3.43 o -10 3.39/3.43 c Elapsed CPU time: 3.34149 s Remaining CPU time: 176.659 s 3.39/3.43 c =============================================================================== 3.39/3.43 c | 1307 | 33640 66293 270120 | 22097 1307 1982 | 0.000 % | 3.39/3.49 c =============================================================================== 3.39/3.49 c New solution: -11 3.39/3.49 o -11 3.39/3.49 c Elapsed CPU time: 3.40548 s Remaining CPU time: 176.595 s 3.39/3.49 c =============================================================================== 3.39/3.49 c | 1309 | 33640 66294 271120 | 22098 1309 1979 | 0.000 % | 3.49/3.56 c =============================================================================== 3.49/3.56 c New solution: -12 3.49/3.56 o -12 3.49/3.56 c Elapsed CPU time: 3.47047 s Remaining CPU time: 176.53 s 3.49/3.56 c =============================================================================== 3.49/3.56 c | 1309 | 33640 66295 272120 | 22098 1309 1979 | 0.000 % | 3.59/3.64 c =============================================================================== 3.59/3.64 c New solution: -13 3.59/3.64 o -13 3.59/3.64 c Elapsed CPU time: 3.55046 s Remaining CPU time: 176.45 s 3.59/3.64 c =============================================================================== 3.59/3.64 c | 1330 | 33640 66296 273120 | 22098 1330 1963 | 0.000 % | 3.79/3.82 c | 1431 | 33640 66296 273120 | 24308 1431 1964 | 0.000 % | 3.99/4.03 c | 1581 | 33640 66296 273120 | 26739 1581 1966 | 0.000 % | 4.19/4.24 c | 1806 | 33640 66296 273120 | 29413 1806 1961 | 0.000 % | 4.30/4.31 c =============================================================================== 4.30/4.31 c New solution: -14 4.30/4.31 o -14 4.30/4.31 c Elapsed CPU time: 4.20636 s Remaining CPU time: 175.794 s 4.30/4.31 c =============================================================================== 4.30/4.31 c | 1807 | 33640 66297 274120 | 22099 1807 1961 | 0.000 % | 4.40/4.43 c | 1907 | 33640 66297 274120 | 24308 1907 1962 | 0.000 % | 4.49/4.59 c | 2057 | 33640 66297 274120 | 26739 2057 1963 | 0.000 % | 4.79/4.80 c | 2282 | 33640 66297 274120 | 29413 2282 1965 | 0.000 % | 5.09/5.17 c | 2620 | 33640 66297 274120 | 32355 2620 1967 | 0.000 % | 5.19/5.24 c =============================================================================== 5.19/5.24 c New solution: -15 5.19/5.24 o -15 5.19/5.24 c Elapsed CPU time: 5.10522 s Remaining CPU time: 174.895 s 5.19/5.24 c =============================================================================== 5.19/5.24 c | 2620 | 33640 66298 275120 | 22099 2620 1967 | 0.000 % | 5.29/5.31 c =============================================================================== 5.29/5.31 c New solution: -16 5.29/5.31 o -16 5.29/5.31 c Elapsed CPU time: 5.17821 s Remaining CPU time: 174.822 s 5.29/5.31 c =============================================================================== 5.29/5.31 c | 2629 | 33640 66299 276120 | 22099 2629 1962 | 0.000 % | 5.40/5.46 c | 2729 | 33640 66299 276120 | 24309 2729 1963 | 0.000 % | 5.58/5.66 c | 2879 | 33640 66299 276120 | 26740 2879 1961 | 0.000 % | 5.79/5.89 c =============================================================================== 5.79/5.89 c New solution: -17 5.79/5.89 o -17 5.79/5.89 c Elapsed CPU time: 5.74413 s Remaining CPU time: 174.256 s 5.79/5.89 c =============================================================================== 5.79/5.89 c | 3052 | 33640 66300 277120 | 22100 3052 1959 | 0.000 % | 5.99/6.04 c | 3152 | 33640 66300 277120 | 24310 3152 1960 | 0.000 % | 6.19/6.23 c | 3302 | 33640 66300 277120 | 26741 3302 1961 | 0.000 % | 6.38/6.45 c | 3527 | 33640 66300 277120 | 29415 3527 1962 | 0.000 % | 6.69/6.74 c | 3865 | 33640 66300 277120 | 32356 3865 1955 | 0.000 % | 6.89/6.98 c =============================================================================== 6.89/6.98 c New solution: -18 6.89/6.98 o -18 6.89/6.98 c Elapsed CPU time: 6.81096 s Remaining CPU time: 173.189 s 6.89/6.98 c =============================================================================== 6.89/6.98 c | 4071 | 33640 66301 278120 | 22100 4071 1955 | 0.000 % | 7.08/7.11 c | 4171 | 33640 66301 278120 | 24310 4171 1956 | 0.000 % | 7.19/7.27 c | 4321 | 33640 66301 278120 | 26741 4321 1956 | 0.000 % | 7.48/7.51 c | 4546 | 33640 66301 278120 | 29415 4546 1955 | 0.000 % | 7.78/7.86 c | 4883 | 33640 66301 278120 | 32357 4883 1956 | 0.000 % | 8.29/8.38 c | 5390 | 33640 66301 278120 | 35592 5390 1955 | 0.000 % | 9.08/9.11 c | 6149 | 33640 66301 278120 | 39152 6149 1957 | 0.000 % | 10.39/10.44 c | 7288 | 33640 66301 278120 | 43067 7288 1960 | 0.000 % | 10.49/10.54 c =============================================================================== 10.49/10.54 c New solution: -19 10.49/10.54 o -19 10.49/10.54 c Elapsed CPU time: 10.3214 s Remaining CPU time: 169.679 s 10.49/10.54 c =============================================================================== 10.49/10.54 c | 7315 | 33640 66302 279120 | 22100 7315 1956 | 0.000 % | 10.69/10.71 c | 7415 | 33640 66302 279120 | 24310 7415 1956 | 0.000 % | 10.79/10.90 c | 7565 | 33640 66302 279120 | 26741 7565 1956 | 0.000 % | 11.09/11.18 c | 7790 | 33640 66302 279120 | 29415 7790 1956 | 0.000 % | 11.49/11.57 c | 8127 | 33640 66302 279120 | 32357 8127 1957 | 0.000 % | 12.10/12.16 c | 8633 | 33640 66302 279120 | 35593 8633 1956 | 0.000 % | 12.89/12.93 c | 9392 | 33640 66302 279120 | 39152 9392 1957 | 0.000 % | 14.09/14.14 c | 10532 | 33640 66302 279120 | 43067 10532 1957 | 0.000 % | 15.98/16.10 c | 12240 | 33640 66302 279120 | 47374 12240 1958 | 0.000 % | 18.89/18.95 c | 14803 | 33640 66302 279120 | 52112 14803 1941 | 0.000 % | 25.88/25.96 c | 18647 | 33640 66302 279120 | 57323 18647 1947 | 0.000 % | 25.98/26.05 c =============================================================================== 25.98/26.05 c New solution: -20 25.98/26.05 o -20 25.98/26.05 c Elapsed CPU time: 25.6641 s Remaining CPU time: 154.336 s 25.98/26.05 c =============================================================================== 25.98/26.05 c | 18652 | 33640 66303 280120 | 22101 18652 1947 | 0.000 % | 26.18/26.25 c | 18752 | 33640 66303 280120 | 24311 18752 1947 | 0.000 % | 26.38/26.49 c | 18902 | 33640 66303 280120 | 26742 18902 1947 | 0.000 % | 26.78/26.88 c | 19127 | 33640 66303 280120 | 29416 19127 1947 | 0.000 % | 27.18/27.28 c | 19464 | 33640 66303 280120 | 32358 19464 1947 | 0.000 % | 27.98/28.05 c | 19971 | 33640 66303 280120 | 35593 19971 1947 | 0.000 % | 28.78/28.89 c | 20730 | 33640 66303 280120 | 39153 20730 1946 | 0.000 % | 30.38/30.48 c | 21869 | 33640 66303 280120 | 43068 21869 1946 | 0.000 % | 32.38/32.48 c | 23578 | 33640 66303 280120 | 47375 23578 1946 | 0.000 % | 32.48/32.59 c =============================================================================== 32.48/32.59 c New solution: -21 32.48/32.59 o -21 32.48/32.59 c Elapsed CPU time: 32.1181 s Remaining CPU time: 147.882 s 32.48/32.59 c =============================================================================== 32.48/32.59 c | 23605 | 33640 66304 281120 | 22101 23605 1945 | 0.000 % | 32.68/32.79 c | 23705 | 33640 66304 281120 | 24311 10865 1933 | 0.000 % | 32.89/32.99 c | 23855 | 33640 66304 281120 | 26742 11015 1934 | 0.000 % | 33.18/33.22 c | 24080 | 33640 66304 281120 | 29416 11240 1934 | 0.000 % | 33.48/33.55 c | 24417 | 33640 66304 281120 | 32358 11577 1935 | 0.000 % | 34.28/34.30 c | 24923 | 33640 66304 281120 | 35594 12083 1934 | 0.000 % | 34.98/35.02 c | 25682 | 33640 66304 281120 | 39153 12842 1935 | 0.000 % | 36.29/36.34 c | 26821 | 33640 66304 281120 | 43069 13981 1938 | 0.000 % | 36.38/36.43 c =============================================================================== 36.38/36.43 c New solution: -22 36.38/36.43 o -22 36.38/36.43 c Elapsed CPU time: 35.9165 s Remaining CPU time: 144.083 s 36.38/36.43 c =============================================================================== 36.38/36.43 c | 26838 | 33640 66305 282120 | 22101 13998 1937 | 0.000 % | 36.57/36.62 c | 26938 | 33640 66305 282120 | 24311 14098 1937 | 0.000 % | 36.78/36.80 c | 27088 | 33640 66305 282120 | 26743 14248 1937 | 0.000 % | 36.98/37.06 c | 27313 | 33640 66305 282120 | 29417 14473 1937 | 0.000 % | 37.39/37.47 c | 27650 | 33640 66305 282120 | 32359 14810 1938 | 0.000 % | 37.88/37.94 c | 28156 | 33640 66305 282120 | 35594 15316 1939 | 0.000 % | 37.98/38.03 c =============================================================================== 37.98/38.03 c New solution: -23 37.98/38.03 o -23 37.98/38.03 c Elapsed CPU time: 37.4883 s Remaining CPU time: 142.512 s 37.98/38.03 c =============================================================================== 37.98/38.03 c | 28173 | 33640 66306 283120 | 22102 15333 1938 | 0.000 % | 38.17/38.22 c | 28273 | 33640 66306 283120 | 24312 15433 1938 | 0.000 % | 38.39/38.43 c | 28423 | 33640 66306 283120 | 26743 15583 1938 | 0.000 % | 38.68/38.74 c | 28648 | 33640 66306 283120 | 29417 15808 1938 | 0.000 % | 39.08/39.14 c | 28985 | 33640 66306 283120 | 32359 16145 1939 | 0.000 % | 39.18/39.24 c =============================================================================== 39.18/39.24 c New solution: -24 39.18/39.24 o -24 39.18/39.24 c Elapsed CPU time: 38.6741 s Remaining CPU time: 141.326 s 39.18/39.24 c =============================================================================== 39.18/39.24 c | 28991 | 33640 66307 284120 | 22102 16151 1939 | 0.000 % | 39.38/39.42 c | 29091 | 33640 66307 284120 | 24312 16251 1939 | 0.000 % | 39.59/39.63 c | 29241 | 33640 66307 284120 | 26743 16401 1939 | 0.000 % | 39.87/39.92 c | 29466 | 33640 66307 284120 | 29418 16626 1939 | 0.000 % | 40.28/40.34 c | 29803 | 33640 66307 284120 | 32360 16963 1940 | 0.000 % | 40.38/40.43 c =============================================================================== 40.38/40.43 c New solution: -25 40.38/40.43 o -25 40.38/40.43 c Elapsed CPU time: 39.8499 s Remaining CPU time: 140.15 s 40.38/40.43 c =============================================================================== 40.38/40.43 c | 29822 | 33640 66308 285120 | 22102 16982 1938 | 0.000 % | 40.58/40.61 c | 29922 | 33640 66308 285120 | 24312 17082 1938 | 0.000 % | 40.78/40.86 c | 30072 | 33640 66308 285120 | 26744 17232 1938 | 0.000 % | 41.08/41.10 c | 30297 | 33640 66308 285120 | 29418 17457 1938 | 0.000 % | 41.47/41.52 c | 30634 | 33640 66308 285120 | 32360 17794 1937 | 0.000 % | 41.98/42.03 c | 31140 | 33640 66308 285120 | 35596 18300 1938 | 0.000 % | 42.68/42.73 c | 31899 | 33640 66308 285120 | 39156 19059 1936 | 0.000 % | 43.88/43.94 c | 33038 | 33640 66308 285120 | 43071 20198 1933 | 0.000 % | 45.67/45.71 c | 34746 | 33640 66308 285120 | 47379 21906 1929 | 0.000 % | 49.07/49.15 c | 37308 | 33640 66308 285120 | 52116 24468 1922 | 0.000 % | 53.78/53.89 c | 41152 | 33640 66308 285120 | 57328 28312 1914 | 0.000 % | 62.47/62.59 c | 46918 | 33640 66308 285120 | 63061 34078 1904 | 0.000 % | 76.17/76.30 c | 55568 | 33640 66308 285120 | 69367 42728 1893 | 0.000 % | 99.96/100.04 c | 68542 | 33640 66308 285120 | 76304 55702 1882 | 0.000 % | 144.54/144.68 c | 88003 | 33640 66308 285120 | 83934 75163 1868 | 0.000 % | 181.53/181.60 c There are 0 assigned variables. 0 in cost function. 181.93/182.09 c core #1 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 2001 Core Weight: 1 Total Weight: -999 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c ============================[ Search Statistics ]============================== 181.93/182.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.09 c =============================================================================== 181.93/182.09 c | 0 | 34640 67358 288267 | 22452 0 nan | 0.000 % | 183.64/183.75 c | 100 | 34640 67358 288267 | 24697 100 414 | 0.130 % | 185.33/185.49 c | 250 | 34640 67358 288267 | 27167 250 480 | 0.217 % | 189.43/189.58 c | 475 | 34565 67358 288267 | 29884 473 371 | 0.702 % | 192.52/192.62 c | 812 | 34551 67358 288267 | 32872 810 443 | 0.794 % | 193.92/194.02 c =============================================================================== 194.22/194.30 c core #2 194.22/194.30 c 194.22/194.30 c 194.22/194.30 c Core size: 783 Core Weight: 1 Total Weight: -998 194.22/194.30 c 194.22/194.30 c 194.22/194.30 c ============================[ Search Statistics ]============================== 194.22/194.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.22/194.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.22/194.30 c =============================================================================== 194.22/194.30 c | 0 | 35378 67407 289887 | 22469 0 nan | 0.000 % | 195.92/196.01 c | 100 | 35378 67407 289887 | 24715 100 822 | 0.000 % | 198.12/198.27 c | 250 | 35378 67407 289887 | 27187 250 803 | 0.000 % | 201.42/201.51 c | 475 | 35378 67407 289887 | 29906 475 784 | 0.000 % | 204.72/204.87 c | 812 | 35378 67407 289887 | 32896 812 600 | 0.000 % | 212.42/212.56 c | 1550 | 35378 67407 289887 | 36186 1550 676 | 0.000 % | 222.21/222.37 c | 2309 | 35378 67407 289887 | 39805 2309 759 | 0.000 % | 236.11/236.29 c | 3448 | 35346 67407 289887 | 43785 3394 773 | 0.090 % | 256.70/256.83 c | 5156 | 35346 67407 289887 | 48164 5102 791 | 0.172 % | 287.69/287.88 c | 7718 | 35290 67407 289887 | 52980 7273 791 | 0.249 % | 333.19/333.33 c | 11562 | 35207 67407 289887 | 58278 10828 808 | 0.483 % | 413.84/414.06 c | 17328 | 35166 67407 289887 | 64106 16508 830 | 1.230 % | 522.51/522.80 c | 25977 | 35153 67407 289887 | 70517 25157 820 | 1.603 % | 654.27/654.56 c | 39003 | 34664 67407 289887 | 77569 38017 847 | 3.180 % | 845.89/846.28 c | 58464 | 34145 67407 289887 | 85325 54618 822 | 3.485 % | 1143.99/1144.48 c | 87657 | 33960 67407 289887 | 93858 83811 820 | 11.889 % | 1533.87/1534.40 c =============================================================================== 1538.16/1538.74 c core #3 1538.16/1538.74 c 1538.16/1538.74 c 1538.16/1538.74 c Core size: 1388 Core Weight: 1 Total Weight: -997 1538.16/1538.74 c 1538.16/1538.74 c 1538.16/1538.74 c ============================[ Search Statistics ]============================== 1538.16/1538.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 1538.16/1538.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1538.16/1538.74 c =============================================================================== 1538.16/1538.74 c | 0 | 36378 67967 293477 | 22655 0 nan | 0.000 % | 1540.46/1541.03 c | 100 | 36378 67967 293477 | 24921 100 1151 | 0.000 % | 1541.95/1542.57 c | 252 | 36378 67967 293477 | 27413 252 717 | 0.000 % | 1546.35/1546.98 c | 477 | 36378 67967 293477 | 30154 477 703 | 0.000 % | 1550.46/1551.03 c | 814 | 36378 67967 293477 | 33170 814 765 | 0.000 % | 1556.25/1556.84 c | 1320 | 36378 67967 293477 | 36487 1320 843 | 0.000 % | 1565.05/1565.66 c | 2079 | 36378 67967 293477 | 40135 2079 932 | 0.000 % | 1580.44/1581.00 c | 3218 | 36378 67967 293477 | 44149 3218 1002 | 0.000 % | 1602.14/1602.79 c | 4926 | 36378 67967 293477 | 48564 4926 1054 | 0.000 % | 1633.42/1634.06 c | 7488 | 36378 67967 293477 | 53420 7488 1076 | 0.000 % | 1680.50/1681.10 c | 11332 | 36378 67967 293477 | 58762 11332 1099 | 0.000 % | 1751.49/1752.13 c | 17098 | 36378 67967 293477 | 64639 17098 1125 | 0.000 % |
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-2702641-1278572915/watcher-2702641-1278572915 -o /tmp/evaluation-result-2702641-1278572915/solver-2702641-1278572915 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702641-1278572915.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: 0.00 0.08 0.43 3/106 27924 /proc/meminfo: memFree=1658392/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=5928 CPUtime=0 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 413 0 0 0 0 0 0 0 17 0 1 0 25505278 6070272 331 1992294400 134512640 135752675 4287923648 18446744073709551615 134564635 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 1482 332 137 303 0 467 0 [startup+0.0409631 s] /proc/loadavg: 0.00 0.08 0.43 3/106 27924 /proc/meminfo: memFree=1658392/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=8464 CPUtime=0.03 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 1017 0 0 0 3 0 0 0 19 0 1 0 25505278 8667136 935 1992294400 134512640 135752675 4287923648 18446744073709551615 134560774 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 2116 935 172 303 0 1101 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8464 [startup+0.100974 s] /proc/loadavg: 0.00 0.08 0.43 3/106 27924 /proc/meminfo: memFree=1658392/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=11320 CPUtime=0.09 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 1749 0 0 0 9 0 0 0 19 0 1 0 25505278 11591680 1667 1992294400 134512640 135752675 4287923648 18446744073709551615 134564751 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 2830 1667 231 303 0 1815 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11320 [startup+0.301013 s] /proc/loadavg: 0.00 0.08 0.43 3/106 27924 /proc/meminfo: memFree=1658392/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=15400 CPUtime=0.29 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 2899 0 0 0 29 0 0 0 19 0 1 0 25505278 15769600 2784 1992294400 134512640 135752675 4287923648 18446744073709551615 135221514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 3850 2785 484 303 0 2835 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15400 [startup+0.701091 s] /proc/loadavg: 0.00 0.08 0.43 3/106 27924 /proc/meminfo: memFree=1658392/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=23568 CPUtime=0.69 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 5973 0 0 0 67 2 0 0 19 0 1 0 25505278 24133632 5051 1992294400 134512640 135752675 4287923648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 5892 5052 142 303 0 5587 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23568 [startup+1.50125 s] /proc/loadavg: 0.00 0.08 0.43 2/107 27925 /proc/meminfo: memFree=1636436/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=24096 CPUtime=1.49 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 6754 0 0 0 146 3 0 0 21 0 1 0 25505278 24674304 5236 1992294400 134512640 135752675 4287923648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 6024 5236 144 303 0 5719 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24096 [startup+3.10056 s] /proc/loadavg: 0.08 0.09 0.44 2/107 27925 /proc/meminfo: memFree=1637428/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=27800 CPUtime=3.09 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 7697 0 0 0 301 8 0 0 19 0 1 0 25505278 28467200 6179 1992294400 134512640 135752675 4287923648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 6950 6179 145 303 0 6645 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27800 [startup+6.30119 s] /proc/loadavg: 0.08 0.09 0.44 2/107 27925 /proc/meminfo: memFree=1621556/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=45392 CPUtime=6.29 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 12094 0 0 0 614 15 0 0 19 0 1 0 25505278 46481408 10576 1992294400 134512640 135752675 4287923648 18446744073709551615 134638319 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 11348 10576 145 303 0 11043 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45392 [startup+12.7004 s] /proc/loadavg: 0.22 0.12 0.44 2/107 27925 /proc/meminfo: memFree=1576544/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=90528 CPUtime=12.69 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 23374 0 0 0 1244 25 0 0 25 0 1 0 25505278 92700672 21856 1992294400 134512640 135752675 4287923648 18446744073709551615 134638327 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 22632 21856 145 303 0 22327 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 90528 [startup+25.5009 s] /proc/loadavg: 0.34 0.15 0.45 2/107 27925 /proc/meminfo: memFree=1501896/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=161564 CPUtime=25.48 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 41112 0 0 0 2511 37 0 0 25 0 1 0 25505278 165441536 39594 1992294400 134512640 135752675 4287923648 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 40391 39594 145 303 0 40086 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 161564 [startup+51.101 s] /proc/loadavg: 0.56 0.22 0.46 2/107 27925 /proc/meminfo: memFree=1345160/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=320136 CPUtime=51.07 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 80780 0 0 0 5040 67 0 0 25 0 1 0 25505278 327819264 79262 1992294400 134512640 135752675 4287923648 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 80034 79262 145 303 0 79729 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 320136 [startup+102.309 s] /proc/loadavg: 0.82 0.35 0.49 2/107 27927 /proc/meminfo: memFree=1114644/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=546668 CPUtime=102.27 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 137389 0 0 0 10124 103 0 0 25 0 1 0 25505278 559788032 135871 1992294400 134512640 135752675 4287923648 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 136667 135871 145 303 0 136362 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 546668 [startup+162.301 s] /proc/loadavg: 0.93 0.45 0.52 2/107 27929 /proc/meminfo: memFree=916368/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=745704 CPUtime=162.24 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 187131 0 0 0 16085 139 0 0 25 0 1 0 25505278 763600896 185613 1992294400 134512640 135752675 4287923648 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 186426 185613 145 303 0 186121 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 745704 [startup+222.301 s] /proc/loadavg: 0.97 0.56 0.55 2/107 27931 /proc/meminfo: memFree=853252/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=222.21 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203737 0 0 0 22067 154 0 0 25 0 1 0 25505278 824786944 200810 1992294400 134512640 135752675 4287923648 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200810 146 303 0 201059 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 805456 [startup+282.3 s] /proc/loadavg: 0.99 0.63 0.57 2/107 27933 /proc/meminfo: memFree=853252/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=282.2 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203737 0 0 0 28062 158 0 0 25 0 1 0 25505278 824786944 200810 1992294400 134512640 135752675 4287923648 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200810 146 303 0 201059 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 805456 [startup+342.302 s] /proc/loadavg: 0.99 0.70 0.59 2/107 27933 /proc/meminfo: memFree=853128/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=342.18 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203737 0 0 0 34057 161 0 0 25 0 1 0 25505278 824786944 200810 1992294400 134512640 135752675 4287923648 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200810 146 303 0 201059 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 805456 [startup+402.302 s] /proc/loadavg: 0.99 0.75 0.62 2/107 27935 /proc/meminfo: memFree=853128/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=402.15 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203737 0 0 0 40052 163 0 0 25 0 1 0 25505278 824786944 200810 1992294400 134512640 135752675 4287923648 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200810 146 303 0 201059 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 805456 [startup+462.302 s] /proc/loadavg: 1.03 0.80 0.64 2/107 27937 /proc/meminfo: memFree=853128/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=462.13 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203738 0 0 0 46047 166 0 0 25 0 1 0 25505278 824786944 200811 1992294400 134512640 135752675 4287923648 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200811 146 303 0 201059 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 805456 [startup+522.301 s] /proc/loadavg: 1.01 0.84 0.66 2/107 27939 /proc/meminfo: memFree=853128/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=522.11 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203738 0 0 0 52041 170 0 0 25 0 1 0 25505278 824786944 200811 1992294400 134512640 135752675 4287923648 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200811 146 303 0 201059 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 805456 [startup+582.301 s] /proc/loadavg: 1.00 0.86 0.68 2/107 27941 /proc/meminfo: memFree=853128/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=582.09 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203738 0 0 0 58036 173 0 0 25 0 1 0 25505278 824786944 200811 1992294400 134512640 135752675 4287923648 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200811 146 303 0 201059 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 805456 [startup+642.302 s] /proc/loadavg: 1.00 0.89 0.70 2/107 27944 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=642.07 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203738 0 0 0 64032 175 0 0 25 0 1 0 25505278 824786944 200811 1992294400 134512640 135752675 4287923648 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200811 146 303 0 201059 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 805456 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.94 0.75 2/107 27952 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=881.98 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203739 0 0 0 88004 194 0 0 25 0 1 0 25505278 824786944 200812 1992294400 134512640 135752675 4287923648 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200812 146 303 0 201059 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 805456 [startup+942.301 s] /proc/loadavg: 1.00 0.95 0.76 2/107 27952 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=941.96 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203740 0 0 0 93996 200 0 0 25 0 1 0 25505278 824786944 200813 1992294400 134512640 135752675 4287923648 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200813 146 303 0 201059 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 805456 [startup+1002.3 s] /proc/loadavg: 1.00 0.95 0.78 2/107 27954 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1001.95 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203741 0 0 0 99991 204 0 0 25 0 1 0 25505278 824786944 200814 1992294400 134512640 135752675 4287923648 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200814 146 303 0 201059 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 805456 [startup+1062.3 s] /proc/loadavg: 1.00 0.96 0.79 2/107 27956 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1061.92 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203741 0 0 0 105984 208 0 0 25 0 1 0 25505278 824786944 200814 1992294400 134512640 135752675 4287923648 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200814 146 303 0 201059 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 805456 [startup+1122.3 s] /proc/loadavg: 1.00 0.96 0.80 2/107 27958 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1121.9 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203742 0 0 0 111979 211 0 0 25 0 1 0 25505278 824786944 200815 1992294400 134512640 135752675 4287923648 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200815 146 303 0 201059 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 805456 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.81 2/107 27960 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1181.88 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203742 0 0 0 117972 216 0 0 25 0 1 0 25505278 824786944 200815 1992294400 134512640 135752675 4287923648 18446744073709551615 134638143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200815 146 303 0 201059 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 805456 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.82 2/107 27960 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1241.86 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203745 0 0 0 123967 219 0 0 25 0 1 0 25505278 824786944 200818 1992294400 134512640 135752675 4287923648 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200818 146 303 0 201059 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 805456 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.83 2/107 27962 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1301.85 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203746 0 0 0 129962 223 0 0 25 0 1 0 25505278 824786944 200819 1992294400 134512640 135752675 4287923648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200819 146 303 0 201059 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 805456 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.83 2/107 27964 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1361.82 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203751 0 0 0 135955 227 0 0 25 0 1 0 25505278 824786944 200824 1992294400 134512640 135752675 4287923648 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200824 146 303 0 201059 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 805456 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.84 2/107 27966 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1421.81 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203752 0 0 0 141949 232 0 0 25 0 1 0 25505278 824786944 200825 1992294400 134512640 135752675 4287923648 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200825 146 303 0 201059 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 805456 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.84 2/107 27968 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1481.77 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203752 0 0 0 147941 236 0 0 25 0 1 0 25505278 824786944 200825 1992294400 134512640 135752675 4287923648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200825 146 303 0 201059 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 805456 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.85 2/107 27968 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1541.75 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203757 0 0 0 153936 239 0 0 25 0 1 0 25505278 824786944 200830 1992294400 134512640 135752675 4287923648 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200830 146 303 0 201059 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 805456 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.86 2/107 27970 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1601.73 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203757 0 0 0 159930 243 0 0 25 0 1 0 25505278 824786944 200830 1992294400 134512640 135752675 4287923648 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200830 146 303 0 201059 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 805456 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.86 2/107 27972 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1661.71 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203757 0 0 0 165923 248 0 0 25 0 1 0 25505278 824786944 200830 1992294400 134512640 135752675 4287923648 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200830 146 303 0 201059 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 805456 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.87 2/107 27974 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1721.69 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203757 0 0 0 171915 254 0 0 25 0 1 0 25505278 824786944 200830 1992294400 134512640 135752675 4287923648 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200830 146 303 0 201059 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 805456 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.87 2/107 27976 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1781.67 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203757 0 0 0 177908 259 0 0 25 0 1 0 25505278 824786944 200830 1992294400 134512640 135752675 4287923648 18446744073709551615 134605463 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200830 146 303 0 201059 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 805456 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.97 0.88 2/107 27976 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1800.08 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203757 0 0 0 179748 260 0 0 25 0 1 0 25505278 824786944 200830 1992294400 134512640 135752675 4287923648 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200830 146 303 0 201059 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 805456 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.97 0.88 2/107 27976 /proc/meminfo: memFree=852384/2059040 swapFree=4147384/4192956 [pid=27924] ppid=27922 vsize=805456 CPUtime=1800.08 /proc/27924/stat : 27924 (wbo1.4b) R 27922 27924 27889 0 -1 4202496 203757 0 0 0 179748 260 0 0 25 0 1 0 25505278 824786944 200830 1992294400 134512640 135752675 4287923648 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27924/statm: 201364 200830 146 303 0 201059 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 805456 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.79 CPU time (s): 1800.16 CPU user time (s): 1797.48 CPU system time (s): 2.67959 CPU usage (%): 99.9652 Max. virtual memory (cumulated for all children) (KiB): 811660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.48 system time used= 2.67959 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 203757 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= 12 involuntary context switches= 20861 runsolver used 2.97955 second user time and 8.50571 second system time The end
Begin job on node006 at 2010-07-08 09:08:36 IDJOB=2702641 IDBENCH=48255 IDSOLVER=1190 FILE ID=node006/2702641-1278572915 PBS_JOBID= 11240109 Free space on /tmp= 62568 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702641-1278572915/watcher-2702641-1278572915 -o /tmp/evaluation-result-2702641-1278572915/solver-2702641-1278572915 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702641-1278572915.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 02054528a722e9af7937139e87d0b5ac RANDOM SEED=1106380042 node006.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.269 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.53 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.269 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1661276 kB Buffers: 76204 kB Cached: 227972 kB SwapCached: 4204 kB Active: 153248 kB Inactive: 169784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1661276 kB SwapTotal: 4192956 kB SwapFree: 4147384 kB Dirty: 3604 kB Writeback: 0 kB AnonPages: 15748 kB Mapped: 12112 kB Slab: 52668 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178740 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702641-1278572915.opb Free space on /tmp at the end= 62564 MiB End job on node006 at 2010-07-08 09:38:40