Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.19 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_3.opb |
MD5SUM | d792065ec5adca4c7f7b540f15bc8ce9 |
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 | -116 |
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 | -149 |
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) | 63244 |
Sum of products size (including duplicates) | 126488 |
Number of different products | 31622 |
Sum of products size | 63244 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702629-1278572908.opb. 0.00/0.00 c Instance file HOME/instance-2702629-1278572908.opb 0.00/0.00 c File size is 2905907 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: 33622 | 0.49/0.59 c | Number Clauses: 32622 | 0.49/0.59 c | Number Cardinality: 2002 | 0.49/0.59 c | Number PB Constraints: 31622 | 1.19/1.23 c ============================[ Search Statistics ]============================== 1.19/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.23 c =============================================================================== 1.19/1.23 c | 0 | 33622 66246 258976 | 22082 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.2968 s Remaining CPU time: 178.703 s 1.29/1.32 c =============================================================================== 1.29/1.32 c | 0 | 33622 66247 259976 | 22082 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.44778 s Remaining CPU time: 178.552 s 1.39/1.47 c =============================================================================== 1.39/1.47 c | 1 | 33622 66248 260976 | 22082 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.50477 s Remaining CPU time: 178.495 s 1.49/1.53 c =============================================================================== 1.49/1.53 c | 1 | 33622 66249 261976 | 22083 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.56276 s Remaining CPU time: 178.437 s 1.49/1.59 c =============================================================================== 1.49/1.59 c | 1 | 33622 66250 262976 | 22083 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.61875 s Remaining CPU time: 178.381 s 1.59/1.65 c =============================================================================== 1.59/1.65 c | 1 | 33622 66251 263976 | 22083 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.67774 s Remaining CPU time: 178.322 s 1.69/1.71 c =============================================================================== 1.69/1.71 c | 6 | 33622 66252 264976 | 22084 6 1828 | 0.000 % | 1.69/1.77 c =============================================================================== 1.69/1.77 c New solution: -6 1.69/1.77 o -6 1.69/1.77 c Elapsed CPU time: 1.73474 s Remaining CPU time: 178.265 s 1.69/1.77 c =============================================================================== 1.69/1.77 c | 7 | 33622 66253 265976 | 22084 7 1567 | 0.000 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c New solution: -7 1.79/1.83 o -7 1.79/1.83 c Elapsed CPU time: 1.79373 s Remaining CPU time: 178.206 s 1.79/1.83 c =============================================================================== 1.79/1.83 c | 8 | 33622 66254 266976 | 22084 8 1496 | 0.000 % | 1.89/1.95 c | 108 | 33622 66254 266976 | 24293 108 1952 | 0.000 % | 2.09/2.11 c | 258 | 33622 66254 266976 | 26722 258 1973 | 0.000 % | 2.30/2.31 c | 483 | 33622 66254 266976 | 29394 483 1981 | 0.000 % | 2.59/2.65 c | 820 | 33622 66254 266976 | 32334 820 1984 | 0.000 % | 2.69/2.72 c =============================================================================== 2.69/2.72 c New solution: -8 2.69/2.72 o -8 2.69/2.72 c Elapsed CPU time: 2.66359 s Remaining CPU time: 177.336 s 2.69/2.72 c =============================================================================== 2.69/2.72 c | 820 | 33622 66255 267976 | 22085 820 1984 | 0.000 % | 2.69/2.78 c =============================================================================== 2.69/2.78 c New solution: -9 2.69/2.78 o -9 2.69/2.78 c Elapsed CPU time: 2.72659 s Remaining CPU time: 177.273 s 2.69/2.78 c =============================================================================== 2.69/2.78 c | 820 | 33622 66256 268976 | 22085 820 1984 | 0.000 % | 2.79/2.85 c =============================================================================== 2.79/2.85 c New solution: -10 2.79/2.85 o -10 2.79/2.85 c Elapsed CPU time: 2.79157 s Remaining CPU time: 177.208 s 2.79/2.85 c =============================================================================== 2.79/2.85 c | 820 | 33622 66257 269976 | 22085 820 1984 | 0.000 % | 2.89/2.91 c =============================================================================== 2.89/2.91 c New solution: -11 2.89/2.91 o -11 2.89/2.91 c Elapsed CPU time: 2.85357 s Remaining CPU time: 177.146 s 2.89/2.91 c =============================================================================== 2.89/2.91 c | 820 | 33622 66258 270976 | 22086 820 1984 | 0.000 % | 2.89/2.98 c =============================================================================== 2.89/2.98 c New solution: -12 2.89/2.98 o -12 2.89/2.98 c Elapsed CPU time: 2.91956 s Remaining CPU time: 177.08 s 2.89/2.98 c =============================================================================== 2.89/2.98 c | 820 | 33622 66259 271976 | 22086 820 1984 | 0.000 % | 2.99/3.04 c =============================================================================== 2.99/3.04 c New solution: -13 2.99/3.04 o -13 2.99/3.04 c Elapsed CPU time: 2.98155 s Remaining CPU time: 177.018 s 2.99/3.04 c =============================================================================== 2.99/3.04 c | 822 | 33622 66260 272976 | 22086 822 1980 | 0.000 % | 3.20/3.21 c | 922 | 33622 66260 272976 | 24295 922 1980 | 0.000 % | 3.39/3.41 c | 1072 | 33622 66260 272976 | 26724 1072 1980 | 0.000 % | 3.39/3.48 c =============================================================================== 3.39/3.48 c New solution: -14 3.39/3.48 o -14 3.39/3.48 c Elapsed CPU time: 3.39648 s Remaining CPU time: 176.604 s 3.39/3.48 c =============================================================================== 3.39/3.48 c | 1086 | 33622 66261 273976 | 22087 1086 1979 | 0.000 % | 3.59/3.61 c | 1186 | 33622 66261 273976 | 24295 1186 1979 | 0.000 % | 3.69/3.74 c | 1337 | 33622 66261 273976 | 26725 1337 1967 | 0.000 % | 3.99/4.01 c | 1562 | 33622 66261 273976 | 29397 1562 1967 | 0.000 % | 4.30/4.31 c | 1899 | 33622 66261 273976 | 32337 1899 1969 | 0.000 % | 4.69/4.79 c | 2405 | 33622 66261 273976 | 35571 2405 1972 | 0.000 % | 4.79/4.86 c =============================================================================== 4.79/4.86 c New solution: -15 4.79/4.86 o -15 4.79/4.86 c Elapsed CPU time: 4.76427 s Remaining CPU time: 175.236 s 4.79/4.86 c =============================================================================== 4.79/4.86 c | 2407 | 33622 66262 274976 | 22087 2407 1970 | 0.000 % | 4.99/5.01 c | 2507 | 33622 66262 274976 | 24296 2507 1971 | 0.000 % | 5.09/5.19 c | 2658 | 33622 66262 274976 | 26725 2658 1971 | 0.000 % | 5.40/5.49 c | 2883 | 33622 66262 274976 | 29398 2883 1972 | 0.000 % | 5.79/5.87 c | 3220 | 33622 66262 274976 | 32338 3220 1972 | 0.000 % | 5.89/5.95 c =============================================================================== 5.89/5.95 c New solution: -16 5.89/5.95 o -16 5.89/5.95 c Elapsed CPU time: 5.83111 s Remaining CPU time: 174.169 s 5.89/5.95 c =============================================================================== 5.89/5.95 c | 3225 | 33622 66263 275976 | 22087 3225 1969 | 0.000 % | 5.99/6.07 c | 3325 | 33622 66263 275976 | 24296 3325 1970 | 0.000 % | 6.19/6.25 c | 3475 | 33622 66263 275976 | 26726 3475 1970 | 0.000 % | 6.39/6.47 c | 3700 | 33622 66263 275976 | 29398 3700 1970 | 0.000 % | 6.79/6.89 c | 4037 | 33622 66263 275976 | 32338 4037 1966 | 0.000 % | 6.99/7.08 c =============================================================================== 6.99/7.08 c New solution: -17 6.99/7.08 o -17 6.99/7.08 c Elapsed CPU time: 6.93595 s Remaining CPU time: 173.064 s 6.99/7.08 c =============================================================================== 6.99/7.08 c | 4197 | 33622 66264 276976 | 22088 4197 1966 | 0.000 % | 7.18/7.22 c | 4297 | 33622 66264 276976 | 24296 4297 1966 | 0.000 % | 7.29/7.39 c | 4447 | 33622 66264 276976 | 26726 4447 1966 | 0.000 % | 7.60/7.61 c | 4672 | 33622 66264 276976 | 29399 4672 1963 | 0.000 % | 7.89/7.99 c | 5009 | 33622 66264 276976 | 32339 5009 1958 | 0.000 % | 8.39/8.44 c | 5515 | 33622 66264 276976 | 35572 5515 1955 | 0.000 % | 9.09/9.13 c | 6274 | 33622 66264 276976 | 39130 6274 1957 | 0.000 % | 9.19/9.21 c =============================================================================== 9.19/9.21 c New solution: -18 9.19/9.21 o -18 9.19/9.21 c Elapsed CPU time: 9.02263 s Remaining CPU time: 170.977 s 9.19/9.21 c =============================================================================== 9.19/9.21 c | 6280 | 33622 66265 277976 | 22088 6280 1956 | 0.000 % | 9.28/9.37 c | 6380 | 33622 66265 277976 | 24297 6380 1956 | 0.000 % | 9.49/9.55 c | 6530 | 33622 66265 277976 | 26726 6530 1956 | 0.000 % | 9.69/9.77 c | 6755 | 33622 66265 277976 | 29399 6755 1957 | 0.000 % | 10.19/10.26 c | 7092 | 33622 66265 277976 | 32339 7092 1958 | 0.000 % | 10.29/10.33 c =============================================================================== 10.29/10.33 c New solution: -19 10.29/10.33 o -19 10.29/10.33 c Elapsed CPU time: 10.1325 s Remaining CPU time: 169.868 s 10.29/10.33 c =============================================================================== 10.29/10.33 c | 7096 | 33622 66266 278976 | 22088 7096 1957 | 0.000 % | 10.39/10.41 c =============================================================================== 10.39/10.41 c New solution: -20 10.39/10.41 o -20 10.39/10.41 c Elapsed CPU time: 10.2084 s Remaining CPU time: 169.792 s 10.39/10.41 c =============================================================================== 10.39/10.41 c | 7100 | 33622 66267 279976 | 22089 7100 1956 | 0.000 % | 10.49/10.56 c | 7200 | 33622 66267 279976 | 24297 7200 1956 | 0.000 % | 10.69/10.79 c | 7351 | 33622 66267 279976 | 26727 7351 1956 | 0.000 % | 11.00/11.04 c | 7576 | 33622 66267 279976 | 29400 7576 1954 | 0.000 % | 11.39/11.40 c | 7913 | 33622 66267 279976 | 32340 7913 1954 | 0.000 % | 11.89/11.96 c | 8419 | 33622 66267 279976 | 35574 8419 1955 | 0.000 % | 12.69/12.71 c | 9178 | 33622 66267 279976 | 39132 9178 1955 | 0.000 % | 13.89/13.98 c | 10317 | 33622 66267 279976 | 43045 10317 1956 | 0.000 % | 14.09/14.10 c =============================================================================== 14.09/14.10 c New solution: -21 14.09/14.10 o -21 14.09/14.10 c Elapsed CPU time: 13.8549 s Remaining CPU time: 166.145 s 14.09/14.10 c =============================================================================== 14.09/14.10 c | 10370 | 33622 66268 280976 | 22089 10370 1951 | 0.000 % | 14.19/14.28 c | 10470 | 33622 66268 280976 | 24298 10470 1951 | 0.000 % | 14.39/14.49 c | 10620 | 33622 66268 280976 | 26728 10620 1952 | 0.000 % | 14.68/14.72 c | 10845 | 33622 66268 280976 | 29400 10845 1952 | 0.000 % | 14.99/15.08 c | 11182 | 33622 66268 280976 | 32340 11182 1953 | 0.000 % | 15.08/15.16 c =============================================================================== 15.08/15.16 c New solution: -22 15.08/15.17 o -22 15.08/15.17 c Elapsed CPU time: 14.8977 s Remaining CPU time: 165.102 s 15.08/15.17 c =============================================================================== 15.08/15.17 c | 11199 | 33622 66269 281976 | 22089 11199 1951 | 0.000 % | 15.30/15.33 c | 11299 | 33622 66269 281976 | 24298 11299 1951 | 0.000 % | 15.49/15.54 c | 11449 | 33622 66269 281976 | 26728 11449 1951 | 0.000 % | 15.78/15.85 c | 11674 | 33622 66269 281976 | 29401 11674 1951 | 0.000 % | 16.09/16.16 c | 12011 | 33622 66269 281976 | 32341 12011 1952 | 0.000 % | 16.19/16.25 c =============================================================================== 16.19/16.25 c New solution: -23 16.19/16.25 o -23 16.19/16.25 c Elapsed CPU time: 15.9626 s Remaining CPU time: 164.037 s 16.19/16.25 c =============================================================================== 16.19/16.25 c | 12030 | 33622 66270 282976 | 22090 12030 1950 | 0.000 % | 16.39/16.43 c | 12130 | 33622 66270 282976 | 24299 12130 1950 | 0.000 % | 16.58/16.65 c | 12280 | 33622 66270 282976 | 26728 12280 1950 | 0.000 % | 16.89/16.90 c | 12505 | 33622 66270 282976 | 29401 12505 1951 | 0.000 % | 17.29/17.34 c | 12842 | 33622 66270 282976 | 32341 12842 1951 | 0.000 % | 17.79/17.84 c | 13348 | 33622 66270 282976 | 35576 13348 1951 | 0.000 % | 18.59/18.69 c | 14108 | 33622 66270 282976 | 39133 14108 1952 | 0.000 % | 18.70/18.79 c =============================================================================== 18.70/18.79 c New solution: -24 18.70/18.79 o -24 18.70/18.79 c Elapsed CPU time: 18.4732 s Remaining CPU time: 161.527 s 18.70/18.79 c =============================================================================== 18.70/18.79 c | 14135 | 33622 66271 283976 | 22090 14135 1950 | 0.000 % | 18.89/18.98 c | 14236 | 33622 66271 283976 | 24299 14236 1950 | 0.000 % | 19.09/19.16 c | 14386 | 33622 66271 283976 | 26729 14386 1950 | 0.000 % | 19.39/19.40 c | 14611 | 33622 66271 283976 | 29402 14611 1950 | 0.000 % | 19.80/19.81 c | 14948 | 33622 66271 283976 | 32342 14948 1951 | 0.000 % | 19.88/19.91 c =============================================================================== 19.88/19.91 c New solution: -25 19.88/19.91 o -25 19.88/19.91 c Elapsed CPU time: 19.557 s Remaining CPU time: 160.443 s 19.88/19.91 c =============================================================================== 19.88/19.91 c | 14960 | 33622 66272 284976 | 22090 14960 1949 | 0.000 % | 20.08/20.10 c | 15060 | 33622 66272 284976 | 24299 15060 1949 | 0.000 % | 20.29/20.34 c | 15210 | 33622 66272 284976 | 26729 15210 1949 | 0.000 % | 20.58/20.68 c | 15435 | 33622 66272 284976 | 29402 15435 1949 | 0.000 % | 20.99/21.06 c | 15772 | 33622 66272 284976 | 32342 15772 1948 | 0.000 % | 21.59/21.67 c | 16278 | 33622 66272 284976 | 35577 16278 1948 | 0.000 % | 22.69/22.70 c | 17037 | 33622 66272 284976 | 39134 17037 1949 | 0.000 % | 22.78/22.81 c =============================================================================== 22.78/22.81 c New solution: -26 22.78/22.81 o -26 22.78/22.81 c Elapsed CPU time: 22.4236 s Remaining CPU time: 157.576 s 22.78/22.81 c =============================================================================== 22.78/22.81 c | 17071 | 33622 66273 285976 | 22091 17071 1946 | 0.000 % | 22.89/22.99 c | 17171 | 33622 66273 285976 | 24300 17171 1947 | 0.000 % | 23.19/23.25 c | 17321 | 33622 66273 285976 | 26730 17321 1947 | 0.000 % | 23.38/23.49 c | 17546 | 33622 66273 285976 | 29403 17546 1947 | 0.000 % | 23.79/23.87 c | 17884 | 33622 66273 285976 | 32343 17884 1947 | 0.000 % | 24.29/24.33 c | 18390 | 33622 66273 285976 | 35577 18390 1946 | 0.000 % | 24.39/24.48 c =============================================================================== 24.39/24.48 c New solution: -27 24.39/24.48 o -27 24.39/24.48 c Elapsed CPU time: 24.0543 s Remaining CPU time: 155.946 s 24.39/24.48 c =============================================================================== 24.39/24.48 c | 18413 | 33622 66274 286976 | 22091 18413 1945 | 0.000 % | 24.69/24.71 c | 18513 | 33622 66274 286976 | 24300 18513 1945 | 0.000 % | 24.89/24.91 c | 18663 | 33622 66274 286976 | 26730 18663 1945 | 0.000 % | 25.19/25.24 c | 18888 | 33622 66274 286976 | 29403 18888 1945 | 0.000 % | 25.48/25.59 c | 19225 | 33622 66274 286976 | 32343 19225 1945 | 0.000 % | 25.59/25.69 c =============================================================================== 25.59/25.69 c New solution: -28 25.59/25.69 o -28 25.59/25.69 c Elapsed CPU time: 25.2422 s Remaining CPU time: 154.758 s 25.59/25.69 c =============================================================================== 25.59/25.69 c | 19247 | 33622 66275 287976 | 22091 19247 1944 | 0.000 % | 25.78/25.85 c | 19347 | 33622 66275 287976 | 24300 19347 1944 | 0.000 % | 25.99/26.05 c | 19497 | 33622 66275 287976 | 26730 19497 1944 | 0.000 % | 26.29/26.38 c | 19722 | 33622 66275 287976 | 29404 19722 1944 | 0.000 % | 26.68/26.75 c | 20059 | 33622 66275 287976 | 32344 20059 1945 | 0.000 % | 26.79/26.85 c =============================================================================== 26.79/26.85 c New solution: -29 26.79/26.85 o -29 26.79/26.85 c Elapsed CPU time: 26.386 s Remaining CPU time: 153.614 s 26.79/26.85 c =============================================================================== 26.79/26.85 c | 20078 | 33622 66276 288976 | 22092 20078 1943 | 0.000 % | 26.98/27.03 c | 20178 | 33622 66276 288976 | 24301 20178 1943 | 0.000 % | 27.18/27.26 c | 20328 | 33622 66276 288976 | 26731 20328 1943 | 0.000 % | 27.49/27.55 c | 20553 | 33622 66276 288976 | 29404 20553 1943 | 0.000 % | 27.88/27.98 c | 20890 | 33622 66276 288976 | 32344 20890 1943 | 0.000 % | 28.49/28.52 c | 21396 | 33622 66276 288976 | 35579 21396 1944 | 0.000 % | 29.28/29.39 c | 22155 | 33622 66276 288976 | 39137 22155 1942 | 0.000 % | 30.69/30.71 c | 23294 | 33622 66276 288976 | 43051 23294 1941 | 0.000 % | 32.89/32.92 c | 25002 | 33622 66276 288976 | 47356 25002 1940 | 0.000 % | 36.58/36.68 c | 27564 | 33622 66276 288976 | 52091 27564 1942 | 0.000 % | 36.78/36.84 c =============================================================================== 36.78/36.84 c New solution: -30 36.78/36.84 o -30 36.78/36.84 c Elapsed CPU time: 36.2575 s Remaining CPU time: 143.743 s 36.78/36.84 c =============================================================================== 36.78/36.84 c | 27616 | 33622 66277 289976 | 22092 27616 1940 | 0.000 % | 36.98/37.06 c | 27716 | 33622 66277 289976 | 24301 10961 1930 | 0.000 % | 37.19/37.26 c | 27866 | 33622 66277 289976 | 26731 11111 1931 | 0.000 % | 37.48/37.52 c | 28091 | 33622 66277 289976 | 29404 11336 1931 | 0.000 % | 37.79/37.87 c | 28428 | 33622 66277 289976 | 32345 11673 1931 | 0.000 % | 38.29/38.36 c | 28934 | 33622 66277 289976 | 35579 12179 1932 | 0.000 % | 39.08/39.12 c | 29693 | 33622 66277 289976 | 39137 12938 1931 | 0.000 % | 40.18/40.20 c | 30832 | 33622 66277 289976 | 43051 14077 1933 | 0.000 % | 41.88/41.96 c | 32540 | 33622 66277 289976 | 47356 15785 1929 | 0.000 % | 45.18/45.21 c | 35102 | 33622 66277 289976 | 52092 18347 1927 | 0.000 % | 49.68/49.76 c | 38946 | 33622 66277 289976 | 57301 22191 1933 | 0.000 % | 49.88/49.90 c =============================================================================== 49.88/49.90 c New solution: -31 49.88/49.90 o -31 49.88/49.90 c Elapsed CPU time: 49.1785 s Remaining CPU time: 130.821 s 49.88/49.90 c =============================================================================== 49.88/49.90 c | 38985 | 33622 66278 290976 | 22092 22230 1931 | 0.000 % | 50.08/50.11 c | 39085 | 33622 66278 290976 | 24301 10781 1931 | 0.000 % | 50.28/50.32 c | 39235 | 33622 66278 290976 | 26732 10931 1931 | 0.000 % | 50.58/50.60 c | 39460 | 33622 66278 290976 | 29405 11156 1931 | 0.000 % | 50.88/50.99 c | 39798 | 33622 66278 290976 | 32345 11494 1932 | 0.000 % | 51.08/51.11 c =============================================================================== 51.08/51.11 c New solution: -32 51.08/51.11 o -32 51.08/51.11 c Elapsed CPU time: 50.3693 s Remaining CPU time: 129.631 s 51.08/51.11 c =============================================================================== 51.08/51.11 c | 39831 | 33622 66279 291976 | 22093 11527 1928 | 0.000 % | 51.18/51.29 c | 39931 | 33622 66279 291976 | 24302 11627 1928 | 0.000 % | 51.48/51.51 c | 40081 | 33622 66279 291976 | 26732 11777 1928 | 0.000 % | 51.78/51.80 c | 40306 | 33622 66279 291976 | 29405 12002 1929 | 0.000 % | 52.18/52.21 c | 40644 | 33622 66279 291976 | 32346 12340 1929 | 0.000 % | 52.28/52.34 c =============================================================================== 52.28/52.34 c New solution: -33 52.28/52.34 o -33 52.28/52.34 c Elapsed CPU time: 51.5782 s Remaining CPU time: 128.422 s 52.28/52.34 c =============================================================================== 52.28/52.34 c | 40681 | 33622 66280 292976 | 22093 12377 1926 | 0.000 % | 52.48/52.51 c | 40781 | 33622 66280 292976 | 24302 12477 1926 | 0.000 % | 52.78/52.81 c | 40931 | 33622 66280 292976 | 26732 12627 1926 | 0.000 % | 52.98/53.07 c | 41156 | 33622 66280 292976 | 29406 12852 1926 | 0.000 % | 53.38/53.43 c | 41493 | 33622 66280 292976 | 32346 13189 1927 | 0.000 % | 53.98/54.01 c | 41999 | 33622 66280 292976 | 35581 13695 1928 | 0.000 % | 54.18/54.26 c =============================================================================== 54.18/54.26 c New solution: -34 54.18/54.26 o -34 54.18/54.26 c Elapsed CPU time: 53.4649 s Remaining CPU time: 126.535 s 54.18/54.26 c =============================================================================== 54.18/54.26 c | 42136 | 33622 66281 293976 | 22093 13832 1917 | 0.000 % | 54.38/54.45 c | 42236 | 33622 66281 293976 | 24303 13932 1917 | 0.000 % | 54.58/54.65 c | 42386 | 33622 66281 293976 | 26733 14082 1917 | 0.000 % | 54.88/54.91 c | 42611 | 33622 66281 293976 | 29406 14307 1918 | 0.000 % | 55.18/55.24 c | 42948 | 33622 66281 293976 | 32347 14644 1918 | 0.000 % | 55.68/55.74 c | 43454 | 33622 66281 293976 | 35582 15150 1919 | 0.000 % | 56.38/56.49 c | 44213 | 33622 66281 293976 | 39140 15909 1920 | 0.000 % | 57.68/57.79 c | 45352 | 33622 66281 293976 | 43054 17048 1919 | 0.000 % | 59.48/59.53 c | 47060 | 33622 66281 293976 | 47359 18756 1919 | 0.000 % | 62.78/62.84 c | 49623 | 33622 66281 293976 | 52095 21319 1922 | 0.000 % | 67.68/67.79 c | 53467 | 33622 66281 293976 | 57305 25163 1918 | 0.000 % | 75.88/75.92 c | 59233 | 33622 66281 293976 | 63035 30929 1920 | 0.000 % | 89.87/89.90 c | 67882 | 33622 66281 293976 | 69339 39578 1926 | 0.000 % | 117.36/117.46 c | 80856 | 33622 66281 293976 | 76273 52552 1917 | 0.000 % | 169.65/169.79 c | 100317 | 33622 66281 293976 | 83900 72013 1924 | 0.000 % | 181.55/181.69 c There are 0 assigned variables. 0 in cost function. 182.15/182.20 c core #1 182.15/182.20 c 182.15/182.20 c 182.15/182.20 c Core size: 2001 Core Weight: 1 Total Weight: -999 182.15/182.20 c 182.15/182.20 c 182.15/182.20 c ============================[ Search Statistics ]============================== 182.15/182.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.15/182.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.15/182.20 c =============================================================================== 182.15/182.20 c | 0 | 34622 67350 297180 | 22450 0 nan | 0.000 % | 184.05/184.18 c | 100 | 34622 67350 297180 | 24695 100 320 | 0.133 % | 185.86/185.96 c | 250 | 34622 67350 297180 | 27164 250 424 | 0.217 % | 189.95/190.04 c | 475 | 34547 67350 297180 | 29880 473 345 | 0.217 % | 194.05/194.19 c | 812 | 34547 67350 297180 | 32869 810 348 | 0.217 % | 199.74/199.80 c =============================================================================== 200.05/200.12 c core #2 200.05/200.12 c 200.05/200.12 c 200.05/200.12 c Core size: 825 Core Weight: 1 Total Weight: -998 200.05/200.12 c 200.05/200.12 c 200.05/200.12 c ============================[ Search Statistics ]============================== 200.05/200.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.05/200.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.05/200.12 c =============================================================================== 200.05/200.12 c | 0 | 35427 67399 298933 | 22466 0 nan | 0.000 % | 201.84/201.90 c | 100 | 35427 67399 298933 | 24712 100 858 | 0.000 % | 204.45/204.51 c | 281 | 35427 67399 298933 | 27184 281 930 | 0.000 % | 207.35/207.50 c | 506 | 35427 67399 298933 | 29902 506 719 | 0.000 % | 211.45/211.59 c | 843 | 35427 67399 298933 | 32892 843 698 | 0.000 % | 216.74/216.85 c | 1349 | 35427 67399 298933 | 36182 1349 769 | 0.000 % | 227.24/227.34 c | 2108 | 35427 67399 298933 | 39800 2108 782 | 0.000 % | 240.34/240.48 c | 3247 | 35427 67399 298933 | 43780 3247 771 | 0.000 % | 260.74/260.88 c | 4955 | 35427 67399 298933 | 48158 4955 768 | 0.000 % | 292.43/292.59 c | 7608 | 35394 67399 298933 | 52974 7586 794 | 0.093 % | 346.61/346.72 c | 11452 | 35394 67399 298933 | 58271 11430 821 | 0.093 % | 421.10/421.26 c | 17218 | 35365 67399 298933 | 64099 17043 847 | 0.251 % | 529.56/529.78 c | 25867 | 35134 67399 298933 | 70508 24679 876 | 1.228 % | 690.43/690.63 c | 38841 | 35112 67399 298933 | 77559 37653 905 | 2.303 % | 924.38/924.69 c | 58329 | 34603 67399 298933 | 85315 55279 905 | 2.834 % | 1277.91/1278.24 c | 87554 | 34048 67399 298933 | 93847 83299 916 | 4.818 % | 1753.29/1753.73 c | 131343 | 32977 67399 298933 | 103232 38236 973 | 6.916 % |
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-2702629-1278572908/watcher-2702629-1278572908 -o /tmp/evaluation-result-2702629-1278572908/solver-2702629-1278572908 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702629-1278572908.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.01 0.28 3/107 2210 /proc/meminfo: memFree=1580296/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=5928 CPUtime=0 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 408 0 0 0 0 0 0 0 18 0 1 0 25502801 6070272 327 1992294400 134512640 135752675 4290180064 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 1482 327 136 303 0 467 0 [startup+0.0362219 s] /proc/loadavg: 0.00 0.01 0.28 3/107 2210 /proc/meminfo: memFree=1580296/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=8392 CPUtime=0.02 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 965 0 0 0 2 0 0 0 20 0 1 0 25502801 8593408 884 1992294400 134512640 135752675 4290180064 18446744073709551615 134609910 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 2098 884 167 303 0 1083 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8392 [startup+0.101227 s] /proc/loadavg: 0.00 0.01 0.28 3/107 2210 /proc/meminfo: memFree=1580296/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=11296 CPUtime=0.09 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 1751 0 0 0 9 0 0 0 20 0 1 0 25502801 11567104 1670 1992294400 134512640 135752675 4290180064 18446744073709551615 134574276 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 2824 1670 232 303 0 1809 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11296 [startup+0.301243 s] /proc/loadavg: 0.00 0.01 0.28 3/107 2210 /proc/meminfo: memFree=1580296/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=15400 CPUtime=0.29 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 2903 0 0 0 28 1 0 0 20 0 1 0 25502801 15769600 2789 1992294400 134512640 135752675 4290180064 18446744073709551615 134647816 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 3850 2789 485 303 0 2835 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15400 [startup+0.701275 s] /proc/loadavg: 0.00 0.01 0.28 3/107 2210 /proc/meminfo: memFree=1580296/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=23564 CPUtime=0.69 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 5977 0 0 0 67 2 0 0 21 0 1 0 25502801 24129536 5056 1992294400 134512640 135752675 4290180064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 5891 5056 142 303 0 5586 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23564 [startup+1.50134 s] /proc/loadavg: 0.00 0.01 0.28 2/108 2211 /proc/meminfo: memFree=1558340/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=24092 CPUtime=1.49 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 6752 0 0 0 146 3 0 0 23 0 1 0 25502801 24670208 5235 1992294400 134512640 135752675 4290180064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 6023 5235 144 303 0 5718 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24092 [startup+3.10147 s] /proc/loadavg: 0.00 0.01 0.28 2/108 2211 /proc/meminfo: memFree=1559332/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=26344 CPUtime=3.1 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 7334 0 0 0 303 7 0 0 25 0 1 0 25502801 26976256 5817 1992294400 134512640 135752675 4290180064 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 6586 5817 145 303 0 6281 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 26344 [startup+6.30072 s] /proc/loadavg: 0.08 0.03 0.28 2/108 2211 /proc/meminfo: memFree=1542220/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=46700 CPUtime=6.29 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 12436 0 0 0 616 13 0 0 25 0 1 0 25502801 47820800 10919 1992294400 134512640 135752675 4290180064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 11675 10919 145 303 0 11370 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46700 [startup+12.7012 s] /proc/loadavg: 0.15 0.05 0.28 2/108 2212 /proc/meminfo: memFree=1499192/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=90504 CPUtime=12.69 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 23367 0 0 0 1246 23 0 0 25 0 1 0 25502801 92676096 21850 1992294400 134512640 135752675 4290180064 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 22626 21850 145 303 0 22321 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 90504 [startup+25.5013 s] /proc/loadavg: 0.34 0.09 0.29 2/108 2212 /proc/meminfo: memFree=1417600/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=168124 CPUtime=25.48 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 42778 0 0 0 2505 43 0 0 25 0 1 0 25502801 172158976 41261 1992294400 134512640 135752675 4290180064 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 42031 41261 145 303 0 41726 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 168124 [startup+51.1013 s] /proc/loadavg: 0.56 0.16 0.31 2/108 2213 /proc/meminfo: memFree=1258508/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=328072 CPUtime=51.08 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 82758 0 0 0 5035 73 0 0 25 0 1 0 25502801 335945728 81241 1992294400 134512640 135752675 4290180064 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 82018 81241 145 303 0 81713 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 328072 [startup+102.308 s] /proc/loadavg: 0.81 0.29 0.34 2/108 2214 /proc/meminfo: memFree=989180/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=593632 CPUtime=102.28 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 149155 0 0 0 10111 117 0 0 25 0 1 0 25502801 607879168 147638 1992294400 134512640 135752675 4290180064 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 148408 147638 145 303 0 148103 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 593632 [startup+162.301 s] /proc/loadavg: 0.93 0.42 0.38 2/108 2216 /proc/meminfo: memFree=807396/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=776836 CPUtime=162.26 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 194927 0 0 0 16075 151 0 0 25 0 1 0 25502801 795480064 193410 1992294400 134512640 135752675 4290180064 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 194209 193410 145 303 0 193904 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 776836 [startup+222.301 s] /proc/loadavg: 0.97 0.52 0.42 2/108 2217 /proc/meminfo: memFree=744156/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=222.24 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211452 0 0 0 22058 166 0 0 25 0 1 0 25502801 856444928 208540 1992294400 134512640 135752675 4290180064 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208540 146 303 0 208788 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 836372 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.45 2/108 2219 /proc/meminfo: memFree=744156/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=282.23 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211453 0 0 0 28051 172 0 0 25 0 1 0 25502801 856444928 208541 1992294400 134512640 135752675 4290180064 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208541 146 303 0 208788 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 836372 [startup+342.302 s] /proc/loadavg: 0.99 0.67 0.48 2/108 2221 /proc/meminfo: memFree=744156/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=342.21 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211453 0 0 0 34047 174 0 0 25 0 1 0 25502801 856444928 208541 1992294400 134512640 135752675 4290180064 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208541 146 303 0 208788 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 836372 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.51 2/108 2224 /proc/meminfo: memFree=744156/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=402.2 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211455 0 0 0 40043 177 0 0 25 0 1 0 25502801 856444928 208543 1992294400 134512640 135752675 4290180064 18446744073709551615 134637858 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208543 146 303 0 208788 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 836372 [startup+462.301 s] /proc/loadavg: 0.99 0.78 0.54 2/108 2226 /proc/meminfo: memFree=744032/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=462.18 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211458 0 0 0 46038 180 0 0 25 0 1 0 25502801 856444928 208546 1992294400 134512640 135752675 4290180064 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208546 146 303 0 208788 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 836372 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.57 2/108 2227 /proc/meminfo: memFree=744032/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=522.17 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211458 0 0 0 52033 184 0 0 25 0 1 0 25502801 856444928 208546 1992294400 134512640 135752675 4290180064 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208546 146 303 0 208788 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 836372 [startup+582.301 s] /proc/loadavg: 0.99 0.85 0.59 2/108 2229 /proc/meminfo: memFree=743908/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=582.16 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211458 0 0 0 58029 187 0 0 25 0 1 0 25502801 856444928 208546 1992294400 134512640 135752675 4290180064 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208546 146 303 0 208788 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 836372 [startup+642.302 s] /proc/loadavg: 0.99 0.87 0.61 2/108 2234 /proc/meminfo: memFree=743288/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=642.15 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211458 0 0 0 64025 190 0 0 25 0 1 0 25502801 856444928 208546 1992294400 134512640 135752675 4290180064 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208546 146 303 0 208788 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 836372 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.93 0.69 2/108 2241 /proc/meminfo: memFree=743288/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=882.09 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211458 0 0 0 88003 206 0 0 25 0 1 0 25502801 856444928 208546 1992294400 134512640 135752675 4290180064 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208546 146 303 0 208788 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 836372 [startup+942.301 s] /proc/loadavg: 0.99 0.94 0.71 2/108 2243 /proc/meminfo: memFree=743288/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=942.07 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211458 0 0 0 93998 209 0 0 25 0 1 0 25502801 856444928 208546 1992294400 134512640 135752675 4290180064 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208546 146 303 0 208788 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 836372 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.72 2/108 2244 /proc/meminfo: memFree=743288/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=1002.06 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211458 0 0 0 99995 211 0 0 25 0 1 0 25502801 856444928 208546 1992294400 134512640 135752675 4290180064 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208546 146 303 0 208788 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 836372 [startup+1062.3 s] /proc/loadavg: 0.99 0.95 0.74 2/108 2246 /proc/meminfo: memFree=743288/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=1062.04 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211458 0 0 0 105988 216 0 0 25 0 1 0 25502801 856444928 208546 1992294400 134512640 135752675 4290180064 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208546 146 303 0 208788 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 836372 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.75 2/108 2247 /proc/meminfo: memFree=743288/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=1122.03 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211458 0 0 0 111983 220 0 0 25 0 1 0 25502801 856444928 208546 1992294400 134512640 135752675 4290180064 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208546 146 303 0 208788 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 836372 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.76 2/108 2249 /proc/meminfo: memFree=743288/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=1182.02 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211458 0 0 0 117977 225 0 0 25 0 1 0 25502801 856444928 208546 1992294400 134512640 135752675 4290180064 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208546 146 303 0 208788 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 836372 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.77 2/108 2251 /proc/meminfo: memFree=743288/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=1242 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211462 0 0 0 123970 230 0 0 25 0 1 0 25502801 856444928 208550 1992294400 134512640 135752675 4290180064 18446744073709551615 134640022 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208550 146 303 0 208788 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 836372 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.78 2/108 2252 /proc/meminfo: memFree=743164/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=1301.99 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211462 0 0 0 129966 233 0 0 25 0 1 0 25502801 856444928 208550 1992294400 134512640 135752675 4290180064 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208550 146 303 0 208788 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 836372 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.80 2/108 2259 /proc/meminfo: memFree=743164/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=836372 CPUtime=1361.98 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 211464 0 0 0 135961 237 0 0 25 0 1 0 25502801 856444928 208552 1992294400 134512640 135752675 4290180064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 209093 208552 146 303 0 208788 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 836372 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.81 2/108 2261 /proc/meminfo: memFree=726920/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=853084 CPUtime=1421.97 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 215674 0 0 0 141953 244 0 0 25 0 1 0 25502801 873558016 212762 1992294400 134512640 135752675 4290180064 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 213271 212762 146 303 0 212966 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 853084 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.82 2/108 2263 /proc/meminfo: memFree=694308/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=886204 CPUtime=1481.95 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 223951 0 0 0 147943 252 0 0 25 0 1 0 25502801 907472896 221039 1992294400 134512640 135752675 4290180064 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 221551 221039 146 303 0 221246 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 886204 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.82 2/108 2265 /proc/meminfo: memFree=661820/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=918288 CPUtime=1541.93 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 231943 0 0 0 153935 258 0 0 25 0 1 0 25502801 940326912 229031 1992294400 134512640 135752675 4290180064 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 229572 229031 146 303 0 229267 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 918288 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.83 2/108 2266 /proc/meminfo: memFree=629704/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=950640 CPUtime=1601.92 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 240037 0 0 0 159926 266 0 0 25 0 1 0 25502801 973455360 237125 1992294400 134512640 135752675 4290180064 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 237660 237125 146 303 0 237355 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 950640 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.84 2/108 2268 /proc/meminfo: memFree=594736/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=985196 CPUtime=1661.91 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 248673 0 0 0 165916 275 0 0 25 0 1 0 25502801 1008840704 245761 1992294400 134512640 135752675 4290180064 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 246299 245761 146 303 0 245994 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 985196 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.84 2/108 2269 /proc/meminfo: memFree=561008/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=1018948 CPUtime=1721.89 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 257117 0 0 0 171906 283 0 0 25 0 1 0 25502801 1043402752 254205 1992294400 134512640 135752675 4290180064 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 254737 254205 146 303 0 254432 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1018948 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.85 2/108 2271 /proc/meminfo: memFree=527776/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=1051600 CPUtime=1781.87 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 265295 0 0 0 177896 291 0 0 25 0 1 0 25502801 1076838400 262383 1992294400 134512640 135752675 4290180064 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 262900 262383 146 303 0 262595 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1051600 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.85 2/108 2271 /proc/meminfo: memFree=518104/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=1061160 CPUtime=1800.08 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 267690 0 0 0 179714 294 0 0 25 0 1 0 25502801 1086627840 264778 1992294400 134512640 135752675 4290180064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 265290 264778 146 303 0 264985 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1061160 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.85 2/108 2271 /proc/meminfo: memFree=518104/2059040 swapFree=4139464/4192956 [pid=2210] ppid=2208 vsize=1061160 CPUtime=1800.08 /proc/2210/stat : 2210 (wbo1.4b) R 2208 2210 2173 0 -1 4202496 267690 0 0 0 179714 294 0 0 25 0 1 0 25502801 1086627840 264778 1992294400 134512640 135752675 4290180064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2210/statm: 265290 264778 146 303 0 264985 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1061160 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.19 CPU user time (s): 1797.14 CPU system time (s): 3.04654 CPU usage (%): 99.9769 Max. virtual memory (cumulated for all children) (KiB): 1061160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.14 system time used= 3.04654 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267690 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= 11 involuntary context switches= 7090 runsolver used 3.10953 second user time and 8.38573 second system time The end
Begin job on node026 at 2010-07-08 09:08:29 IDJOB=2702629 IDBENCH=48249 IDSOLVER=1190 FILE ID=node026/2702629-1278572908 PBS_JOBID= 11240096 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_3.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-2702629-1278572908/watcher-2702629-1278572908 -o /tmp/evaluation-result-2702629-1278572908/solver-2702629-1278572908 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702629-1278572908.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d792065ec5adca4c7f7b540f15bc8ce9 RANDOM SEED=1710813928 node026.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.244 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.48 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.244 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: 1583180 kB Buffers: 77052 kB Cached: 290628 kB SwapCached: 10464 kB Active: 128412 kB Inactive: 256444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1583180 kB SwapTotal: 4192956 kB SwapFree: 4139464 kB Dirty: 3640 kB Writeback: 0 kB AnonPages: 11760 kB Mapped: 11940 kB Slab: 69004 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178944 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-2702629-1278572908.opb Free space on /tmp at the end= 62492 MiB End job on node026 at 2010-07-08 09:38:33