Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.01 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_2.opb |
MD5SUM | 24465d104818b01999b811ba346c3d8e |
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 | -113 |
Best CPU time to get the best result obtained on this benchmark | 1798.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -152 |
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) | 63088 |
Sum of products size (including duplicates) | 126176 |
Number of different products | 31544 |
Sum of products size | 63088 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702669-1278574290.opb. 0.00/0.00 c Instance file HOME/instance-2702669-1278574290.opb 0.00/0.00 c File size is 2898833 bytes. 0.49/0.56 c Highest Coefficient sum: 2000 0.49/0.56 c ============================[ Problem Statistics ]============================= 0.49/0.56 c | | 0.49/0.56 c | Parsing time: 0.55 s | 0.49/0.56 c | Number Variables: 33544 | 0.49/0.56 c | Number Clauses: 32544 | 0.49/0.56 c | Number Cardinality: 2002 | 0.49/0.56 c | Number PB Constraints: 31544 | 1.09/1.17 c ============================[ Search Statistics ]============================== 1.09/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.17 c =============================================================================== 1.09/1.17 c | 0 | 33544 66090 258352 | 22030 0 nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c New solution: 0 1.19/1.25 o 0 1.19/1.25 c Elapsed CPU time: 1.22181 s Remaining CPU time: 178.778 s 1.19/1.25 c =============================================================================== 1.19/1.25 c | 0 | 33544 66091 259352 | 22030 0 nan | 0.000 % | 1.28/1.39 c =============================================================================== 1.28/1.39 c New solution: -1 1.28/1.39 o -1 1.28/1.39 c Elapsed CPU time: 1.36579 s Remaining CPU time: 178.634 s 1.28/1.39 c =============================================================================== 1.28/1.39 c | 1 | 33544 66092 260352 | 22030 1 1006 | 0.000 % | 1.39/1.45 c =============================================================================== 1.39/1.45 c New solution: -2 1.39/1.45 o -2 1.39/1.45 c Elapsed CPU time: 1.42078 s Remaining CPU time: 178.579 s 1.39/1.45 c =============================================================================== 1.39/1.45 c | 1 | 33544 66093 261352 | 22031 1 1006 | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.51 c New solution: -3 1.49/1.51 o -3 1.49/1.51 c Elapsed CPU time: 1.47378 s Remaining CPU time: 178.526 s 1.49/1.51 c =============================================================================== 1.49/1.51 c | 1 | 33544 66094 262352 | 22031 1 1006 | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.56 c New solution: -4 1.49/1.56 o -4 1.49/1.56 c Elapsed CPU time: 1.53077 s Remaining CPU time: 178.469 s 1.49/1.56 c =============================================================================== 1.49/1.56 c | 1 | 33544 66095 263352 | 22031 1 1006 | 0.000 % | 1.59/1.63 c =============================================================================== 1.59/1.63 c New solution: -5 1.59/1.63 o -5 1.59/1.63 c Elapsed CPU time: 1.58976 s Remaining CPU time: 178.41 s 1.59/1.63 c =============================================================================== 1.59/1.63 c | 11 | 33544 66096 264352 | 22032 11 1902 | 0.000 % | 1.59/1.68 c =============================================================================== 1.59/1.68 c New solution: -6 1.59/1.68 o -6 1.59/1.68 c Elapsed CPU time: 1.64675 s Remaining CPU time: 178.353 s 1.59/1.68 c =============================================================================== 1.59/1.68 c | 11 | 33544 66097 265352 | 22032 11 1902 | 0.000 % | 1.68/1.74 c =============================================================================== 1.68/1.74 c New solution: -7 1.68/1.74 o -7 1.68/1.74 c Elapsed CPU time: 1.70474 s Remaining CPU time: 178.295 s 1.68/1.74 c =============================================================================== 1.68/1.74 c | 12 | 33544 66098 266352 | 22032 12 1744 | 0.000 % | 1.79/1.80 c =============================================================================== 1.79/1.80 c New solution: -8 1.79/1.80 o -8 1.79/1.80 c Elapsed CPU time: 1.76273 s Remaining CPU time: 178.237 s 1.79/1.80 c =============================================================================== 1.79/1.80 c | 13 | 33544 66099 267352 | 22033 13 1610 | 0.000 % | 1.79/1.86 c =============================================================================== 1.79/1.86 c New solution: -9 1.79/1.86 o -9 1.79/1.86 c Elapsed CPU time: 1.82172 s Remaining CPU time: 178.178 s 1.79/1.86 c =============================================================================== 1.79/1.86 c | 15 | 33544 66100 268352 | 22033 15 1462 | 0.000 % | 1.89/1.98 c | 116 | 33544 66100 268352 | 24236 116 1917 | 0.000 % | 2.09/2.12 c | 266 | 33544 66100 268352 | 26660 266 1956 | 0.000 % | 2.29/2.32 c | 491 | 33544 66100 268352 | 29326 491 1970 | 0.000 % | 2.59/2.64 c | 828 | 33544 66100 268352 | 32259 828 1977 | 0.000 % | 2.69/2.70 c =============================================================================== 2.69/2.70 c New solution: -10 2.69/2.70 o -10 2.69/2.70 c Elapsed CPU time: 2.6536 s Remaining CPU time: 177.346 s 2.69/2.70 c =============================================================================== 2.69/2.70 c | 829 | 33544 66101 269352 | 22033 829 1974 | 0.000 % | 2.69/2.77 c =============================================================================== 2.69/2.77 c New solution: -11 2.69/2.77 o -11 2.69/2.77 c Elapsed CPU time: 2.71759 s Remaining CPU time: 177.282 s 2.69/2.77 c =============================================================================== 2.69/2.77 c | 834 | 33544 66102 270352 | 22034 834 1967 | 0.000 % | 2.79/2.88 c | 934 | 33544 66102 270352 | 24237 934 1968 | 0.000 % | 2.99/3.03 c | 1084 | 33544 66102 270352 | 26661 1084 1967 | 0.000 % | 2.99/3.09 c =============================================================================== 2.99/3.09 c New solution: -12 2.99/3.09 o -12 2.99/3.09 c Elapsed CPU time: 3.03554 s Remaining CPU time: 176.964 s 2.99/3.09 c =============================================================================== 2.99/3.09 c | 1084 | 33544 66103 271352 | 22034 1084 1967 | 0.000 % | 3.20/3.21 c | 1184 | 33544 66103 271352 | 24237 1184 1968 | 0.000 % | 3.30/3.37 c | 1334 | 33544 66103 271352 | 26661 1334 1970 | 0.000 % | 3.49/3.56 c | 1559 | 33544 66103 271352 | 29327 1559 1972 | 0.000 % | 3.79/3.84 c | 1897 | 33544 66103 271352 | 32260 1897 1973 | 0.000 % | 3.89/3.90 c =============================================================================== 3.89/3.90 c New solution: -13 3.89/3.90 o -13 3.89/3.90 c Elapsed CPU time: 3.82242 s Remaining CPU time: 176.178 s 3.89/3.90 c =============================================================================== 3.89/3.90 c | 1897 | 33544 66104 272352 | 22034 1897 1973 | 0.000 % | 3.99/4.02 c | 1997 | 33544 66104 272352 | 24238 1997 1969 | 0.000 % | 4.09/4.18 c =============================================================================== 4.09/4.18 c New solution: -14 4.09/4.18 o -14 4.09/4.18 c Elapsed CPU time: 4.09838 s Remaining CPU time: 175.902 s 4.09/4.18 c =============================================================================== 4.09/4.18 c | 2109 | 33544 66105 273352 | 22035 2109 1968 | 0.000 % | 4.19/4.30 c | 2209 | 33544 66105 273352 | 24238 2209 1968 | 0.000 % | 4.40/4.45 c | 2359 | 33544 66105 273352 | 26662 2359 1969 | 0.000 % | 4.59/4.66 c | 2584 | 33544 66105 273352 | 29328 2584 1970 | 0.000 % | 4.89/4.94 c | 2921 | 33544 66105 273352 | 32261 2921 1969 | 0.000 % | 4.99/5.01 c =============================================================================== 4.99/5.01 c New solution: -15 4.99/5.01 o -15 4.99/5.01 c Elapsed CPU time: 4.90925 s Remaining CPU time: 175.091 s 4.99/5.01 c =============================================================================== 4.99/5.01 c | 2932 | 33544 66106 274352 | 22035 2932 1969 | 0.000 % | 5.09/5.13 c | 3032 | 33544 66106 274352 | 24238 3032 1969 | 0.000 % | 5.19/5.27 c | 3183 | 33544 66106 274352 | 26662 3183 1969 | 0.000 % | 5.50/5.52 c | 3408 | 33544 66106 274352 | 29329 3408 1970 | 0.000 % | 5.69/5.71 c =============================================================================== 5.69/5.71 c New solution: -16 5.69/5.71 o -16 5.69/5.71 c Elapsed CPU time: 5.59215 s Remaining CPU time: 174.408 s 5.69/5.71 c =============================================================================== 5.69/5.71 c | 3593 | 33544 66107 275352 | 22035 3593 1968 | 0.000 % | 5.79/5.84 c | 3693 | 33544 66107 275352 | 24239 3693 1968 | 0.000 % | 5.99/6.02 c | 3843 | 33544 66107 275352 | 26663 3843 1968 | 0.000 % | 6.19/6.25 c | 4068 | 33544 66107 275352 | 29329 4068 1967 | 0.000 % | 6.39/6.40 c =============================================================================== 6.39/6.40 c New solution: -17 6.39/6.40 o -17 6.39/6.40 c Elapsed CPU time: 6.27904 s Remaining CPU time: 173.721 s 6.39/6.40 c =============================================================================== 6.39/6.40 c | 4208 | 33544 66108 276352 | 22036 4208 1965 | 0.000 % | 6.49/6.55 c | 4308 | 33544 66108 276352 | 24239 4308 1966 | 0.000 % | 6.69/6.70 c | 4459 | 33544 66108 276352 | 26663 4459 1966 | 0.000 % | 6.79/6.89 c | 4684 | 33544 66108 276352 | 29329 4684 1962 | 0.000 % | 7.19/7.23 c | 5021 | 33544 66108 276352 | 32262 5021 1963 | 0.000 % | 7.59/7.69 c | 5527 | 33544 66108 276352 | 35489 5527 1964 | 0.000 % | 7.70/7.76 c =============================================================================== 7.70/7.76 c New solution: -18 7.70/7.76 o -18 7.70/7.76 c Elapsed CPU time: 7.61284 s Remaining CPU time: 172.387 s 7.70/7.76 c =============================================================================== 7.70/7.76 c | 5528 | 33544 66109 277352 | 22036 5528 1963 | 0.000 % | 7.79/7.83 c =============================================================================== 7.79/7.83 c New solution: -19 7.79/7.83 o -19 7.79/7.83 c Elapsed CPU time: 7.67583 s Remaining CPU time: 172.324 s 7.79/7.83 c =============================================================================== 7.79/7.83 c | 5528 | 33544 66110 278352 | 22036 5528 1963 | 0.000 % | 7.89/7.90 c =============================================================================== 7.89/7.90 c New solution: -20 7.89/7.90 o -20 7.89/7.90 c Elapsed CPU time: 7.75182 s Remaining CPU time: 172.248 s 7.89/7.90 c =============================================================================== 7.89/7.90 c | 5544 | 33544 66111 279352 | 22037 5544 1960 | 0.000 % | 7.99/8.04 c | 5644 | 33544 66111 279352 | 24240 5644 1960 | 0.000 % | 8.19/8.21 c =============================================================================== 8.19/8.21 c New solution: -21 8.19/8.21 o -21 8.19/8.21 c Elapsed CPU time: 8.05177 s Remaining CPU time: 171.948 s 8.19/8.21 c =============================================================================== 8.19/8.21 c | 5760 | 33544 66112 280352 | 22037 5760 1959 | 0.000 % | 8.28/8.33 c | 5860 | 33544 66112 280352 | 24241 5860 1958 | 0.000 % | 8.49/8.54 c | 6010 | 33544 66112 280352 | 26665 6010 1958 | 0.000 % | 8.89/8.91 c | 6235 | 33544 66112 280352 | 29331 6235 1956 | 0.000 % | 9.19/9.26 c | 6572 | 33544 66112 280352 | 32264 6572 1956 | 0.000 % | 9.69/9.76 c | 7078 | 33544 66112 280352 | 35491 7078 1955 | 0.000 % | 10.39/10.45 c | 7837 | 33544 66112 280352 | 39040 7837 1954 | 0.000 % | 11.49/11.56 c | 8976 | 33544 66112 280352 | 42944 8976 1956 | 0.000 % | 13.09/13.17 c | 10684 | 33544 66112 280352 | 47238 10684 1959 | 0.000 % | 13.29/13.31 c =============================================================================== 13.29/13.31 c New solution: -22 13.29/13.31 o -22 13.29/13.31 c Elapsed CPU time: 13.101 s Remaining CPU time: 166.899 s 13.29/13.31 c =============================================================================== 13.29/13.31 c | 10759 | 33544 66113 281352 | 22037 10759 1952 | 0.000 % | 13.39/13.47 c | 10859 | 33544 66113 281352 | 24241 10859 1952 | 0.000 % | 13.59/13.67 c | 11009 | 33544 66113 281352 | 26665 11009 1952 | 0.000 % | 13.79/13.89 c | 11234 | 33544 66113 281352 | 29332 11234 1952 | 0.000 % | 14.19/14.22 c | 11571 | 33544 66113 281352 | 32265 11571 1951 | 0.000 % | 14.69/14.72 c | 12077 | 33544 66113 281352 | 35491 12077 1952 | 0.000 % | 15.40/15.49 c | 12836 | 33544 66113 281352 | 39041 12836 1952 | 0.000 % | 16.59/16.63 c | 13975 | 33544 66113 281352 | 42945 13975 1953 | 0.000 % | 18.59/18.61 c | 15683 | 33544 66113 281352 | 47239 15683 1954 | 0.000 % | 21.48/21.59 c | 18245 | 33544 66113 281352 | 51963 18245 1956 | 0.000 % | 26.68/26.72 c | 22089 | 33544 66113 281352 | 57160 22089 1958 | 0.000 % | 26.78/26.82 c =============================================================================== 26.78/26.82 c New solution: -23 26.78/26.82 o -23 26.78/26.82 c Elapsed CPU time: 26.466 s Remaining CPU time: 153.534 s 26.78/26.82 c =============================================================================== 26.78/26.82 c | 22092 | 33544 66114 282352 | 22038 22092 1958 | 0.000 % | 26.99/27.01 c | 22192 | 33544 66114 282352 | 24241 10790 1963 | 0.000 % | 27.18/27.21 c | 22342 | 33544 66114 282352 | 26665 10940 1963 | 0.000 % | 27.38/27.48 c | 22567 | 33544 66114 282352 | 29332 11165 1963 | 0.000 % | 27.78/27.86 c | 22904 | 33544 66114 282352 | 32265 11502 1961 | 0.000 % | 28.38/28.45 c | 23410 | 33544 66114 282352 | 35492 12008 1961 | 0.000 % | 28.78/28.88 c =============================================================================== 28.78/28.88 c New solution: -24 28.78/28.88 o -24 28.78/28.88 c Elapsed CPU time: 28.4987 s Remaining CPU time: 151.501 s 28.78/28.88 c =============================================================================== 28.78/28.88 c | 23631 | 33544 66115 283352 | 22038 12229 1961 | 0.000 % | 28.98/29.06 c | 23731 | 33544 66115 283352 | 24242 12329 1961 | 0.000 % | 29.19/29.28 c | 23881 | 33544 66115 283352 | 26666 12479 1961 | 0.000 % | 29.48/29.55 c | 24106 | 33544 66115 283352 | 29333 12704 1960 | 0.000 % | 29.98/30.02 c | 24443 | 33544 66115 283352 | 32266 13041 1961 | 0.000 % | 30.59/30.60 c | 24949 | 33544 66115 283352 | 35492 13547 1961 | 0.000 % | 31.48/31.50 c | 25708 | 33544 66115 283352 | 39042 14306 1961 | 0.000 % | 31.58/31.60 c =============================================================================== 31.58/31.60 c New solution: -25 31.58/31.60 o -25 31.58/31.60 c Elapsed CPU time: 31.1773 s Remaining CPU time: 148.823 s 31.58/31.60 c =============================================================================== 31.58/31.60 c | 25732 | 33544 66116 284352 | 22038 14330 1959 | 0.000 % | 31.78/31.80 c | 25832 | 33544 66116 284352 | 24242 14430 1959 | 0.000 % | 31.88/31.98 c | 25982 | 33544 66116 284352 | 26666 14580 1959 | 0.000 % | 32.17/32.22 c | 26207 | 33544 66116 284352 | 29333 14805 1959 | 0.000 % | 32.58/32.62 c | 26544 | 33544 66116 284352 | 32266 15142 1959 | 0.000 % | 32.68/32.77 c =============================================================================== 32.68/32.77 c New solution: -26 32.68/32.77 o -26 32.68/32.77 c Elapsed CPU time: 32.3361 s Remaining CPU time: 147.664 s 32.68/32.77 c =============================================================================== 32.68/32.77 c | 26603 | 33544 66117 285352 | 22039 15201 1955 | 0.000 % | 32.88/32.94 c | 26703 | 33544 66117 285352 | 24242 15301 1955 | 0.000 % | 33.07/33.14 c | 26853 | 33544 66117 285352 | 26667 15451 1955 | 0.000 % | 33.28/33.40 c | 27078 | 33544 66117 285352 | 29333 15676 1955 | 0.000 % | 33.77/33.82 c | 27415 | 33544 66117 285352 | 32267 16013 1955 | 0.000 % | 33.87/33.92 c =============================================================================== 33.87/33.92 c New solution: -27 33.87/33.92 o -27 33.87/33.92 c Elapsed CPU time: 33.4649 s Remaining CPU time: 146.535 s 33.87/33.92 c =============================================================================== 33.87/33.92 c | 27424 | 33544 66118 286352 | 22039 16022 1954 | 0.000 % | 33.98/34.09 c | 27524 | 33544 66118 286352 | 24243 16122 1954 | 0.000 % | 34.28/34.32 c | 27674 | 33544 66118 286352 | 26667 16272 1954 | 0.000 % | 34.58/34.62 c | 27899 | 33544 66118 286352 | 29334 16497 1954 | 0.000 % | 34.88/34.94 c | 28236 | 33544 66118 286352 | 32267 16834 1955 | 0.000 % | 34.97/35.09 c =============================================================================== 34.97/35.09 c New solution: -28 34.97/35.09 o -28 34.97/35.09 c Elapsed CPU time: 34.6167 s Remaining CPU time: 145.383 s 34.97/35.09 c =============================================================================== 34.97/35.09 c | 28279 | 33544 66119 287352 | 22039 16877 1951 | 0.000 % | 35.18/35.24 c | 28379 | 33544 66119 287352 | 24243 16977 1951 | 0.000 % | 35.37/35.41 c | 28529 | 33544 66119 287352 | 26667 17127 1951 | 0.000 % | 35.57/35.65 c | 28754 | 33544 66119 287352 | 29334 17352 1951 | 0.000 % | 35.97/36.02 c | 29091 | 33544 66119 287352 | 32268 17689 1951 | 0.000 % | 36.47/36.54 c | 29597 | 33544 66119 287352 | 35495 18195 1951 | 0.000 % | 36.58/36.65 c =============================================================================== 36.58/36.65 c New solution: -29 36.58/36.65 o -29 36.58/36.65 c Elapsed CPU time: 36.1575 s Remaining CPU time: 143.842 s 36.58/36.65 c =============================================================================== 36.58/36.65 c | 29626 | 33544 66120 288352 | 22040 18224 1949 | 0.000 % | 36.77/36.82 c | 29726 | 33544 66120 288352 | 24244 18324 1949 | 0.000 % | 36.97/37.03 c | 29876 | 33544 66120 288352 | 26668 18474 1949 | 0.000 % | 37.28/37.31 c | 30101 | 33544 66120 288352 | 29335 18699 1949 | 0.000 % | 37.57/37.69 c | 30438 | 33544 66120 288352 | 32268 19036 1949 | 0.000 % | 37.77/37.83 c =============================================================================== 37.77/37.83 c New solution: -30 37.77/37.83 o -30 37.77/37.83 c Elapsed CPU time: 37.3113 s Remaining CPU time: 142.689 s 37.77/37.83 c =============================================================================== 37.77/37.83 c | 30497 | 33544 66121 289352 | 22040 19095 1945 | 0.000 % | 37.97/38.01 c | 30597 | 33544 66121 289352 | 24244 19195 1945 | 0.000 % | 38.07/38.19 c | 30747 | 33544 66121 289352 | 26668 19345 1945 | 0.000 % | 38.38/38.47 c | 30972 | 33544 66121 289352 | 29335 19570 1946 | 0.000 % | 38.77/38.80 c | 31309 | 33544 66121 289352 | 32269 19907 1946 | 0.000 % | 38.88/38.95 c =============================================================================== 38.88/38.95 c New solution: -31 38.88/38.95 o -31 38.88/38.95 c Elapsed CPU time: 38.4162 s Remaining CPU time: 141.584 s 38.88/38.95 c =============================================================================== 38.88/38.95 c | 31364 | 33544 66122 290352 | 22040 19962 1942 | 0.000 % | 39.08/39.13 c | 31464 | 33544 66122 290352 | 24244 20062 1942 | 0.000 % | 39.28/39.33 c | 31614 | 33544 66122 290352 | 26669 20212 1942 | 0.000 % | 39.48/39.60 c | 31839 | 33544 66122 290352 | 29336 20437 1942 | 0.000 % | 39.97/40.00 c | 32177 | 33544 66122 290352 | 32269 20775 1943 | 0.000 % | 40.58/40.60 c | 32683 | 33544 66122 290352 | 35496 21281 1943 | 0.000 % | 40.77/40.87 c =============================================================================== 40.77/40.87 c New solution: -32 40.77/40.87 o -32 40.77/40.87 c Elapsed CPU time: 40.3199 s Remaining CPU time: 139.68 s 40.77/40.87 c =============================================================================== 40.77/40.87 c | 32835 | 33544 66123 291352 | 22041 21433 1935 | 0.000 % | 40.97/41.04 c | 32935 | 33544 66123 291352 | 24245 21533 1935 | 0.000 % | 41.18/41.24 c | 33085 | 33544 66123 291352 | 26669 21683 1935 | 0.000 % | 41.48/41.53 c | 33310 | 33544 66123 291352 | 29336 21908 1936 | 0.000 % | 41.87/41.92 c | 33648 | 33544 66123 291352 | 32270 22246 1936 | 0.000 % | 42.37/42.48 c | 34154 | 33544 66123 291352 | 35497 22752 1936 | 0.000 % | 42.57/42.67 c =============================================================================== 42.57/42.67 c New solution: -33 42.57/42.67 o -33 42.57/42.67 c Elapsed CPU time: 42.0966 s Remaining CPU time: 137.903 s 42.57/42.67 c =============================================================================== 42.57/42.67 c | 34236 | 33544 66124 292352 | 22041 22834 1932 | 0.000 % | 42.87/42.93 c | 34336 | 33544 66124 292352 | 24245 10795 1898 | 0.000 % | 43.08/43.15 c | 34486 | 33544 66124 292352 | 26670 10945 1898 | 0.000 % | 43.37/43.41 c | 34711 | 33544 66124 292352 | 29337 11170 1899 | 0.000 % | 43.67/43.79 c | 35048 | 33544 66124 292352 | 32270 11507 1901 | 0.000 % | 43.98/44.01 c =============================================================================== 43.98/44.01 c New solution: -34 43.98/44.01 o -34 43.98/44.01 c Elapsed CPU time: 43.4144 s Remaining CPU time: 136.586 s 43.98/44.01 c =============================================================================== 43.98/44.01 c | 35145 | 33544 66125 293352 | 22041 11604 1892 | 0.000 % | 44.07/44.19 c | 35245 | 33544 66125 293352 | 24245 11704 1892 | 0.000 % | 44.37/44.41 c | 35395 | 33544 66125 293352 | 26670 11854 1893 | 0.000 % | 44.57/44.69 c | 35620 | 33544 66125 293352 | 29337 12079 1894 | 0.000 % | 44.97/45.07 c | 35957 | 33544 66125 293352 | 32271 12416 1895 | 0.000 % | 45.37/45.42 c =============================================================================== 45.37/45.42 c New solution: -35 45.37/45.42 o -35 45.37/45.42 c Elapsed CPU time: 44.8142 s Remaining CPU time: 135.186 s 45.37/45.42 c =============================================================================== 45.37/45.42 c | 36159 | 33544 66126 294352 | 22042 12618 1879 | 0.000 % | 45.47/45.59 c | 36259 | 33544 66126 294352 | 24246 12718 1880 | 0.000 % | 45.67/45.76 c | 36409 | 33544 66126 294352 | 26670 12868 1880 | 0.000 % | 45.97/46.02 c | 36634 | 33544 66126 294352 | 29337 13093 1881 | 0.000 % | 46.37/46.40 c | 36971 | 33544 66126 294352 | 32271 13430 1882 | 0.000 % | 46.77/46.86 c | 37477 | 33544 66126 294352 | 35498 13936 1884 | 0.000 % | 47.47/47.59 c | 38237 | 33544 66126 294352 | 39048 14696 1886 | 0.000 % | 48.57/48.63 c | 39376 | 33544 66126 294352 | 42953 15835 1891 | 0.000 % | 48.87/48.91 c =============================================================================== 48.87/48.91 c New solution: -36 48.87/48.91 o -36 48.87/48.91 c Elapsed CPU time: 48.2507 s Remaining CPU time: 131.749 s 48.87/48.91 c =============================================================================== 48.87/48.91 c | 39518 | 33544 66127 295352 | 22042 15977 1882 | 0.000 % | 49.07/49.11 c | 39618 | 33544 66127 295352 | 24246 16077 1882 | 0.000 % | 49.27/49.33 c | 39768 | 33544 66127 295352 | 26671 16227 1882 | 0.000 % | 49.57/49.61 c | 39993 | 33544 66127 295352 | 29338 16452 1883 | 0.000 % | 49.97/50.01 c | 40330 | 33544 66127 295352 | 32272 16789 1885 | 0.000 % | 50.17/50.25 c =============================================================================== 50.17/50.25 c New solution: -37 50.17/50.25 o -37 50.17/50.25 c Elapsed CPU time: 49.5735 s Remaining CPU time: 130.427 s 50.17/50.25 c =============================================================================== 50.17/50.25 c | 40446 | 33544 66128 296352 | 22042 16905 1877 | 0.000 % | 50.37/50.42 c | 40546 | 33544 66128 296352 | 24246 17005 1878 | 0.000 % | 50.57/50.64 c | 40696 | 33544 66128 296352 | 26671 17155 1878 | 0.000 % | 50.87/50.90 c | 40921 | 33544 66128 296352 | 29338 17380 1879 | 0.000 % | 51.27/51.30 c | 41258 | 33544 66128 296352 | 32272 17717 1880 | 0.000 % | 51.77/51.82 c | 41764 | 33544 66128 296352 | 35499 18223 1881 | 0.000 % | 52.57/52.67 c | 42523 | 33544 66128 296352 | 39049 18982 1884 | 0.000 % | 53.17/53.26 c =============================================================================== 53.17/53.26 c New solution: -38 53.17/53.26 o -38 53.17/53.26 c Elapsed CPU time: 52.545 s Remaining CPU time: 127.455 s 53.17/53.26 c =============================================================================== 53.17/53.26 c | 42883 | 33544 66129 297352 | 22043 19342 1866 | 0.000 % | 53.37/53.45 c | 42983 | 33544 66129 297352 | 24247 19442 1866 | 0.000 % | 53.57/53.64 c | 43133 | 33544 66129 297352 | 26672 19592 1867 | 0.000 % | 53.77/53.89 c | 43358 | 33544 66129 297352 | 29339 19817 1868 | 0.000 % | 54.16/54.27 c | 43695 | 33544 66129 297352 | 32273 20154 1869 | 0.000 % | 54.77/54.81 c | 44201 | 33544 66129 297352 | 35500 20660 1871 | 0.000 % | 54.97/55.02 c =============================================================================== 54.97/55.02 c New solution: -39 54.97/55.02 o -39 54.97/55.02 c Elapsed CPU time: 54.2797 s Remaining CPU time: 125.72 s 54.97/55.02 c =============================================================================== 54.97/55.02 c | 44286 | 33544 66130 298352 | 22043 20745 1866 | 0.000 % | 55.17/55.24 c | 44386 | 33544 66130 298352 | 24247 20845 1866 | 0.000 % | 55.37/55.48 c | 44536 | 33544 66130 298352 | 26672 20995 1866 | 0.000 % | 55.66/55.77 c | 44761 | 33544 66130 298352 | 29339 21220 1867 | 0.000 % | 56.07/56.15 c | 45098 | 33544 66130 298352 | 32273 21557 1868 | 0.000 % | 56.57/56.64 c | 45604 | 33544 66130 298352 | 35501 22063 1870 | 0.000 % | 56.87/56.93 c =============================================================================== 56.87/56.93 c New solution: -40 56.87/56.93 o -40 56.87/56.93 c Elapsed CPU time: 56.1565 s Remaining CPU time: 123.844 s 56.87/56.93 c =============================================================================== 56.87/56.93 c | 45753 | 33544 66131 299352 | 22043 22212 1863 | 0.000 % | 57.07/57.14 c | 45853 | 33544 66131 299352 | 24248 10719 1826 | 0.000 % | 57.27/57.32 c | 46003 | 33544 66131 299352 | 26672 10869 1828 | 0.000 % | 57.47/57.57 c | 46228 | 33544 66131 299352 | 29340 11094 1830 | 0.000 % | 57.87/57.93 c | 46565 | 33544 66131 299352 | 32274 11431 1833 | 0.000 % | 58.37/58.44 c | 47071 | 33544 66131 299352 | 35501 11937 1838 | 0.000 % | 58.97/59.08 c | 47830 | 33544 66131 299352 | 39051 12696 1844 | 0.000 % | 59.38/59.48 c =============================================================================== 59.38/59.48 c New solution: -41 59.38/59.48 o -41 59.38/59.48 c Elapsed CPU time: 58.6801 s Remaining CPU time: 121.32 s 59.38/59.48 c =============================================================================== 59.38/59.48 c | 48041 | 33544 66132 300352 | 22044 12907 1828 | 0.000 % | 59.57/59.67 c | 48141 | 33544 66132 300352 | 24248 13007 1829 | 0.000 % | 59.77/59.87 c | 48291 | 33544 66132 300352 | 26673 13157 1830 | 0.000 % | 60.07/60.13 c | 48516 | 33544 66132 300352 | 29340 13382 1832 | 0.000 % | 60.47/60.51 c | 48853 | 33544 66132 300352 | 32274 13719 1834 | 0.000 % | 61.17/61.29 c | 49359 | 33544 66132 300352 | 35502 14225 1801 | 0.000 % | 62.77/62.86 c | 50119 | 33544 66132 300352 | 39052 14985 1807 | 0.000 % | 63.27/63.30 c =============================================================================== 63.27/63.30 c New solution: -42 63.27/63.30 o -42 63.27/63.30 c Elapsed CPU time: 62.4645 s Remaining CPU time: 117.535 s 63.27/63.30 c =============================================================================== 63.27/63.30 c | 50348 | 33544 66133 301352 | 22044 15214 1794 | 0.000 % | 63.37/63.49 c | 50448 | 33544 66133 301352 | 24248 15314 1794 | 0.000 % | 63.57/63.69 c | 50598 | 33544 66133 301352 | 26673 15464 1796 | 0.000 % | 63.86/63.96 c | 50823 | 33544 66133 301352 | 29341 15689 1798 | 0.000 % | 64.27/64.33 c | 51160 | 33544 66133 301352 | 32275 16026 1800 | 0.000 % | 64.76/64.90 c | 51666 | 33544 66133 301352 | 35502 16532 1804 | 0.000 % | 65.77/65.86 c | 52425 | 33544 66133 301352 | 39052 17291 1810 | 0.000 % | 67.56/67.62 c | 53565 | 33544 66133 301352 | 42958 18431 1754 | 0.000 % | 71.06/71.15 c | 55273 | 33544 66133 301352 | 47253 20139 1769 | 0.000 % | 72.07/72.13 c =============================================================================== 72.07/72.13 c New solution: -43 72.07/72.13 o -43 72.07/72.13 c Elapsed CPU time: 71.2222 s Remaining CPU time: 108.778 s 72.07/72.13 c =============================================================================== 72.07/72.13 c | 55812 | 33544 66134 302352 | 22044 20678 1747 | 0.000 % | 72.26/72.33 c | 55912 | 33544 66134 302352 | 24249 20778 1748 | 0.000 % | 72.46/72.55 c | 56062 | 33544 66134 302352 | 26674 20928 1749 | 0.000 % | 72.77/72.86 c | 56287 | 33544 66134 302352 | 29341 21153 1751 | 0.000 % | 73.16/73.29 c | 56624 | 33544 66134 302352 | 32275 21490 1754 | 0.000 % | 73.87/73.90 c | 57131 | 33544 66134 302352 | 35503 21997 1758 | 0.000 % | 74.56/74.64 c =============================================================================== 74.56/74.64 c New solution: -44 74.56/74.64 o -44 74.56/74.64 c Elapsed CPU time: 73.7048 s Remaining CPU time: 106.295 s 74.56/74.64 c =============================================================================== 74.56/74.64 c | 57558 | 33544 66135 303352 | 22045 22424 1742 | 0.000 % | 74.77/74.88 c | 57659 | 33544 66135 303352 | 24249 10808 1638 | 0.000 % | 74.96/75.09 c | 57809 | 33544 66135 303352 | 26674 10958 1642 | 0.000 % | 75.27/75.37 c | 58034 | 33544 66135 303352 | 29341 11183 1648 | 0.000 % | 75.77/75.84 c | 58371 | 33544 66135 303352 | 32276 11520 1654 | 0.000 % | 76.57/76.60 c | 58877 | 33544 66135 303352 | 35503 12026 1658 | 0.000 % | 77.26/77.38 c | 59636 | 33544 66135 303352 | 39054 12785 1674 | 0.000 % | 79.07/79.20 c | 60775 | 33544 66135 303352 | 42959 13924 1613 | 0.000 % | 81.56/81.66 c | 62484 | 33544 66135 303352 | 47255 15633 1647 | 0.000 % | 85.56/85.63 c | 65047 | 33544 66135 303352 | 51980 18196 1548 | 0.000 % | 91.86/91.95 c | 68892 | 33544 66135 303352 | 57179 22041 1615 | 0.000 % | 92.27/92.34 c =============================================================================== 92.27/92.34 c New solution: -45 92.27/92.34 o -45 92.27/92.34 c Elapsed CPU time: 91.2951 s Remaining CPU time: 88.7049 s 92.27/92.34 c =============================================================================== 92.27/92.34 c | 69016 | 33544 66136 304352 | 22045 22165 1609 | 0.000 % | 92.46/92.56 c | 69116 | 33544 66136 304352 | 24249 10754 1562 | 0.000 % | 92.66/92.79 c | 69266 | 33544 66136 304352 | 26674 10904 1567 | 0.000 % | 93.06/93.11 c | 69491 | 33544 66136 304352 | 29342 11129 1574 | 0.000 % | 93.47/93.54 c | 69828 | 33544 66136 304352 | 32276 11466 1584 | 0.000 % | 94.36/94.47 c | 70335 | 33544 66136 304352 | 35504 11973 1555 | 0.000 % | 95.36/95.46 c | 71095 | 33544 66136 304352 | 39054 12733 1577 | 0.000 % | 97.25/97.37 c | 72235 | 33544 66136 304352 | 42960 13873 1523 | 0.000 % | 100.96/101.04 c | 73943 | 33544 66136 304352 | 47256 15581 1567 | 0.000 % | 105.36/105.41 c | 76505 | 33544 66136 304352 | 51981 18143 1478 | 0.000 % | 114.05/114.17 c | 80350 | 33544 66136 304352 | 57179 21988 1557 | 0.000 % | 125.25/125.34 c | 86116 | 33544 66136 304352 | 62897 27754 1622 | 0.000 % | 146.26/146.35 c | 94765 | 33544 66136 304352 | 69187 36403 1641 | 0.000 % | 175.95/176.06 c | 107739 | 33544 66136 304352 | 76106 49377 1718 | 0.000 % | 181.45/181.54 c There are 0 assigned variables. 0 in cost function. 181.94/182.05 c core #1 181.94/182.05 c 181.94/182.05 c 181.94/182.05 c Core size: 2001 Core Weight: 1 Total Weight: -999 181.94/182.05 c 181.94/182.05 c 181.94/182.05 c ============================[ Search Statistics ]============================== 181.94/182.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.05 c =============================================================================== 181.94/182.05 c | 0 | 34544 67471 308354 | 22490 0 nan | 0.000 % | 183.84/183.99 c | 100 | 34544 67471 308354 | 24739 100 326 | 0.124 % | 186.54/186.62 c | 250 | 34544 67471 308354 | 27213 250 299 | 0.211 % | 190.54/190.65 c | 475 | 34471 67471 308354 | 29934 473 276 | 0.211 % | 193.23/193.37 c | 812 | 34471 67471 308354 | 32928 810 391 | 0.211 % | 194.23/194.36 c =============================================================================== 194.54/194.68 c core #2 194.54/194.68 c 194.54/194.68 c 194.54/194.68 c Core size: 798 Core Weight: 1 Total Weight: -998 194.54/194.68 c 194.54/194.68 c 194.54/194.68 c ============================[ Search Statistics ]============================== 194.54/194.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.54/194.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.54/194.68 c =============================================================================== 194.54/194.68 c | 0 | 35315 67508 310003 | 22502 0 nan | 0.000 % | 196.33/196.47 c | 100 | 35315 67508 310003 | 24752 100 832 | 0.000 % | 198.83/198.93 c | 250 | 35315 67508 310003 | 27228 250 788 | 0.000 % | 201.73/201.88 c | 475 | 35315 67508 310003 | 29951 475 699 | 0.000 % | 206.74/206.88 c | 812 | 35315 67508 310003 | 32946 812 705 | 0.000 % | 213.13/213.22 c | 1320 | 35315 67508 310003 | 36240 1320 741 | 0.000 % | 222.02/222.16 c | 2079 | 35315 67508 310003 | 39864 2079 753 | 0.000 % | 234.12/234.25 c | 3218 | 35315 67508 310003 | 43851 3218 791 | 0.000 % | 257.12/257.26 c | 4926 | 35287 67508 310003 | 48236 4829 808 | 0.079 % | 289.01/289.11 c | 7566 | 35258 67508 310003 | 53060 7446 808 | 0.161 % | 339.50/339.60 c | 11410 | 35258 67508 310003 | 58366 11290 814 | 0.161 % | 409.38/409.59 c | 17176 | 35255 67508 310003 | 64202 17056 836 | 0.320 % | 510.65/510.80 c | 25825 | 35193 67508 310003 | 70623 25652 839 | 0.722 % | 658.91/659.18 c | 38799 | 34811 67508 310003 | 77685 37174 867 | 3.474 % | 909.25/909.54 c | 58260 | 33288 67508 310003 | 85453 53027 900 | 6.000 % | 1272.15/1272.57 c | 87452 | 33212 67508 310003 | 93999 82219 899 | 10.593 % | 1650.86/1651.31 c =============================================================================== 1656.06/1656.58 c core #3 1656.06/1656.58 c 1656.06/1656.58 c 1656.06/1656.58 c Core size: 1137 Core Weight: 1 Total Weight: -997 1656.06/1656.58 c 1656.06/1656.58 c 1656.06/1656.58 c ============================[ Search Statistics ]============================== 1656.06/1656.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1656.06/1656.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1656.06/1656.58 c =============================================================================== 1656.06/1656.58 c | 0 | 36315 68056 313515 | 22685 0 nan | 0.000 % | 1658.16/1658.69 c | 100 | 36315 68056 313515 | 24953 100 1210 | 0.000 % | 1661.45/1661.94 c | 250 | 36315 68056 313515 | 27449 250 813 | 0.000 % | 1665.76/1666.26 c | 475 | 36315 68056 313515 | 30194 475 829 | 0.000 % | 1669.95/1670.40 c | 812 | 36315 68056 313515 | 33213 812 896 | 0.000 % | 1676.95/1677.46 c | 1318 | 36315 68056 313515 | 36534 1318 928 | 0.000 % | 1686.55/1687.09 c | 2077 | 36315 68056 313515 | 40188 2077 1007 | 0.000 % | 1700.16/1700.62 c | 3279 | 36315 68056 313515 | 44207 3279 1076 | 0.000 % | 1717.44/1717.94 c | 4987 | 36315 68056 313515 | 48628 4987 1113 | 0.000 % | 1748.83/1749.31 c | 7549 | 36315 68056 313515 | 53490 7549 1097 | 0.000 % | 1794.32/1794.82 c | 11393 | 36315 68056 313515 | 58839 11393 1094 | 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-2702669-1278574290/watcher-2702669-1278574290 -o /tmp/evaluation-result-2702669-1278574290/solver-2702669-1278574290 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702669-1278574290.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.05 1.01 0.85 3/105 426 /proc/meminfo: memFree=1882360/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=5540 CPUtime=0 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 312 0 0 0 0 0 0 0 21 0 1 0 25637296 5672960 231 1992294400 134512640 135752675 4293738400 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 1385 231 132 303 0 372 0 [startup+0.0770721 s] /proc/loadavg: 1.05 1.01 0.85 3/105 426 /proc/meminfo: memFree=1882360/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=10420 CPUtime=0.07 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 1523 0 0 0 7 0 0 0 23 0 1 0 25637296 10670080 1442 1992294400 134512640 135752675 4293738400 18446744073709551615 134610399 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 2605 1443 213 303 0 1592 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10420 [startup+0.102074 s] /proc/loadavg: 1.05 1.01 0.85 3/105 426 /proc/meminfo: memFree=1882360/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=11448 CPUtime=0.09 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 1787 0 0 0 9 0 0 0 23 0 1 0 25637296 11722752 1706 1992294400 134512640 135752675 4293738400 18446744073709551615 134574269 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 2862 1707 239 303 0 1849 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11448 [startup+0.301096 s] /proc/loadavg: 1.05 1.01 0.85 3/105 426 /proc/meminfo: memFree=1882360/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=15680 CPUtime=0.29 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 3000 0 0 0 29 0 0 0 23 0 1 0 25637296 16056320 2886 1992294400 134512640 135752675 4293738400 18446744073709551615 134561246 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 3920 2886 507 303 0 2907 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15680 [startup+0.700139 s] /proc/loadavg: 1.05 1.01 0.85 3/105 426 /proc/meminfo: memFree=1882360/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=24332 CPUtime=0.69 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 6153 0 0 0 67 2 0 0 25 0 1 0 25637296 24915968 5234 1992294400 134512640 135752675 4293738400 18446744073709551615 134595040 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 6083 5234 142 303 0 5778 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24332 [startup+1.50022 s] /proc/loadavg: 1.05 1.01 0.85 2/106 427 /proc/meminfo: memFree=1860156/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=23936 CPUtime=1.49 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 6737 0 0 0 146 3 0 0 25 0 1 0 25637296 24510464 5222 1992294400 134512640 135752675 4293738400 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 5984 5222 144 303 0 5679 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23936 [startup+3.10139 s] /proc/loadavg: 1.05 1.01 0.85 2/106 427 /proc/meminfo: memFree=1861396/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=28168 CPUtime=3.09 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 7768 0 0 0 303 6 0 0 25 0 1 0 25637296 28844032 6253 1992294400 134512640 135752675 4293738400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 7042 6253 145 303 0 6737 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28168 [startup+6.30173 s] /proc/loadavg: 1.05 1.01 0.85 2/106 427 /proc/meminfo: memFree=1840812/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=51176 CPUtime=6.29 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 13532 0 0 0 617 12 0 0 25 0 1 0 25637296 52404224 12017 1992294400 134512640 135752675 4293738400 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 12794 12019 145 303 0 12489 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51176 [startup+12.7014 s] /proc/loadavg: 1.04 1.01 0.85 2/106 427 /proc/meminfo: memFree=1792948/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=98908 CPUtime=12.68 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 25450 0 0 0 1248 20 0 0 25 0 1 0 25637296 101281792 23935 1992294400 134512640 135752675 4293738400 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 24727 23935 145 303 0 24422 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 98908 [startup+25.5018 s] /proc/loadavg: 1.03 1.01 0.85 2/106 428 /proc/meminfo: memFree=1702180/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=185232 CPUtime=25.48 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 47045 0 0 0 2515 33 0 0 25 0 1 0 25637296 189677568 45530 1992294400 134512640 135752675 4293738400 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 46308 45530 145 303 0 46003 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 185232 [startup+51.1014 s] /proc/loadavg: 1.02 1.01 0.85 2/106 429 /proc/meminfo: memFree=1553256/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=335936 CPUtime=51.07 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 84725 0 0 0 5040 67 0 0 25 0 1 0 25637296 343998464 83210 1992294400 134512640 135752675 4293738400 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 83984 83210 145 303 0 83679 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 335936 [startup+102.309 s] /proc/loadavg: 1.01 1.00 0.85 2/106 430 /proc/meminfo: memFree=1327700/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=557288 CPUtime=102.26 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 140059 0 0 0 10117 109 0 0 25 0 1 0 25637296 570662912 138544 1992294400 134512640 135752675 4293738400 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 139322 138544 145 303 0 139017 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 557288 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.86 2/106 431 /proc/meminfo: memFree=1131904/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=754956 CPUtime=162.24 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 189455 0 0 0 16086 138 0 0 25 0 1 0 25637296 773074944 187940 1992294400 134512640 135752675 4293738400 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 188739 187940 145 303 0 188434 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 754956 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.87 2/106 433 /proc/meminfo: memFree=1059860/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=822676 CPUtime=222.23 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207969 0 0 0 22073 150 0 0 25 0 1 0 25637296 842420224 205139 1992294400 134512640 135752675 4293738400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 205669 205139 146 303 0 205364 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 822676 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.87 2/106 435 /proc/meminfo: memFree=1059860/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=822676 CPUtime=282.21 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207969 0 0 0 28068 153 0 0 25 0 1 0 25637296 842420224 205139 1992294400 134512640 135752675 4293738400 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 205669 205139 146 303 0 205364 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 822676 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.88 2/106 437 /proc/meminfo: memFree=1059860/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=822676 CPUtime=342.19 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207969 0 0 0 34063 156 0 0 25 0 1 0 25637296 842420224 205139 1992294400 134512640 135752675 4293738400 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 205669 205139 146 303 0 205364 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 822676 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.88 2/106 438 /proc/meminfo: memFree=1059736/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=822676 CPUtime=402.17 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207969 0 0 0 40059 158 0 0 25 0 1 0 25637296 842420224 205139 1992294400 134512640 135752675 4293738400 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 205669 205139 146 303 0 205364 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 822676 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.89 2/106 439 /proc/meminfo: memFree=1059736/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=822676 CPUtime=462.16 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207970 0 0 0 46055 161 0 0 25 0 1 0 25637296 842420224 205140 1992294400 134512640 135752675 4293738400 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 205669 205140 146 303 0 205364 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 822676 [startup+522.301 s] /proc/loadavg: 1.03 1.01 0.90 2/106 441 /proc/meminfo: memFree=1059736/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=822676 CPUtime=522.14 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207978 0 0 0 52049 165 0 0 25 0 1 0 25637296 842420224 205148 1992294400 134512640 135752675 4293738400 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 205669 205148 146 303 0 205364 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 822676 [startup+582.301 s] /proc/loadavg: 1.07 1.02 0.91 2/106 443 /proc/meminfo: memFree=1059736/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=822676 CPUtime=582.13 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207978 0 0 0 58045 168 0 0 25 0 1 0 25637296 842420224 205148 1992294400 134512640 135752675 4293738400 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 205669 205148 146 303 0 205364 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 822676 [startup+642.301 s] /proc/loadavg: 1.07 1.03 0.92 2/106 445 /proc/meminfo: memFree=1059736/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=822676 CPUtime=642.12 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207978 0 0 0 64042 170 0 0 25 0 1 0 25637296 842420224 205148 1992294400 134512640 135752675 4293738400 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 205669 205148 146 303 0 205364 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 822676 [startup+702.301 s] ################ # More data... # ################ /proc/loadavg: 1.03 1.05 0.97 2/106 460 /proc/meminfo: memFree=936604/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=946148 CPUtime=1181.97 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 238826 0 0 0 117987 210 0 0 25 0 1 0 25637296 968855552 235996 1992294400 134512640 135752675 4293738400 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 236537 235996 146 303 0 236232 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 946148 [startup+1242.3 s] /proc/loadavg: 1.01 1.04 0.97 2/106 462 /proc/meminfo: memFree=914036/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=968080 CPUtime=1241.96 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 244291 0 0 0 123979 217 0 0 25 0 1 0 25637296 991313920 241461 1992294400 134512640 135752675 4293738400 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 242020 241461 146 303 0 241715 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 968080 [startup+1302.3 s] /proc/loadavg: 1.00 1.03 0.97 2/106 463 /proc/meminfo: memFree=884772/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=997184 CPUtime=1301.95 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 251579 0 0 0 129970 225 0 0 25 0 1 0 25637296 1021116416 248749 1992294400 134512640 135752675 4293738400 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 249296 248749 146 303 0 248991 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 997184 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 0.97 2/106 464 /proc/meminfo: memFree=857864/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=1024180 CPUtime=1361.94 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 258328 0 0 0 135960 234 0 0 25 0 1 0 25637296 1048760320 255498 1992294400 134512640 135752675 4293738400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 256045 255498 146 303 0 255740 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1024180 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 0.97 2/106 466 /proc/meminfo: memFree=832568/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=1049504 CPUtime=1421.92 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 264625 0 0 0 141952 240 0 0 25 0 1 0 25637296 1074692096 261795 1992294400 134512640 135752675 4293738400 18446744073709551615 134638767 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 262376 261795 146 303 0 262071 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1049504 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 0.97 2/106 468 /proc/meminfo: memFree=807892/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=1074396 CPUtime=1481.9 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 270835 0 0 0 147942 248 0 0 25 0 1 0 25637296 1100181504 268005 1992294400 134512640 135752675 4293738400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 268599 268005 146 303 0 268294 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1074396 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 0.97 2/106 470 /proc/meminfo: memFree=779992/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=1101960 CPUtime=1541.88 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 277743 0 0 0 153935 253 0 0 25 0 1 0 25637296 1128407040 274913 1992294400 134512640 135752675 4293738400 18446744073709551615 134638024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 275490 274913 146 303 0 275185 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1101960 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/106 471 /proc/meminfo: memFree=750480/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=1131816 CPUtime=1601.87 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 285209 0 0 0 159923 264 0 0 25 0 1 0 25637296 1158979584 282379 1992294400 134512640 135752675 4293738400 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 282954 282379 146 303 0 282649 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1131816 [startup+1662.3 s] /proc/loadavg: 1.07 1.03 0.98 2/106 472 /proc/meminfo: memFree=719976/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=1161868 CPUtime=1661.86 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 292842 0 0 0 165914 272 0 0 25 0 1 0 25637296 1189752832 289768 1992294400 134512640 135752675 4293738400 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 290467 289768 146 303 0 290162 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1161868 [startup+1722.3 s] /proc/loadavg: 1.02 1.02 0.98 2/106 474 /proc/meminfo: memFree=719852/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=1161868 CPUtime=1721.84 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 292843 0 0 0 171908 276 0 0 25 0 1 0 25637296 1189752832 289769 1992294400 134512640 135752675 4293738400 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 290467 289769 146 303 0 290162 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1161868 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 0.98 2/106 485 /proc/meminfo: memFree=718984/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=1161868 CPUtime=1781.81 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 292852 0 0 0 177901 280 0 0 25 0 1 0 25637296 1189752832 289778 1992294400 134512640 135752675 4293738400 18446744073709551615 134643582 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 290467 289778 146 303 0 290162 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1161868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.01 0.98 2/106 485 /proc/meminfo: memFree=719108/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=1161868 CPUtime=1800.01 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 292852 0 0 0 179719 282 0 0 25 0 1 0 25637296 1189752832 289778 1992294400 134512640 135752675 4293738400 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 290467 289778 146 303 0 290162 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1161868 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.01 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1800.01 s) to the 'lost time'. [startup+1800.5 s] /proc/loadavg: 1.00 1.01 0.98 2/106 485 /proc/meminfo: memFree=719108/2059040 swapFree=4136936/4192956 [pid=426] ppid=424 vsize=1161868 CPUtime=1800.01 /proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 292852 0 0 0 179719 282 0 0 25 0 1 0 25637296 1189752832 289778 1992294400 134512640 135752675 4293738400 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/426/statm: 290467 289778 146 303 0 290162 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1161868 [startup+1800.61 s] /proc/loadavg: 1.00 1.01 0.98 2/107 486 /proc/meminfo: memFree=1879400/2059040 swapFree=4136936/4192956 [pid=426] ppid=-1 vsize=0 CPUtime=0 /proc/426/stat : -- couldn't open stat file --/proc/426/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.01 0.98 2/107 486 /proc/meminfo: memFree=1879400/2059040 swapFree=4136936/4192956 [pid=426] ppid=-1 vsize=0 CPUtime=0 /proc/426/stat : -- couldn't open stat file --/proc/426/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 426 and gives # childrusage.ru_utime.tv_sec=1797 # childrusage.ru_utime.tv_usec=197784 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=930554 # CPU time returned by wait4() is 1800.13 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.01 # lost CPU user time (s): 1797.19 # lost CPU system time (s): 2.82 Real time (s): 1800.61 CPU time (s): 1800.01 CPU user time (s): 1797.19 CPU system time (s): 2.82 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 1162412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.2 system time used= 2.93055 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 292852 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= 17 involuntary context switches= 3357 runsolver used 2.6326 second user time and 8.86065 second system time The end
Begin job on node082 at 2010-07-08 09:31:30 IDJOB=2702669 IDBENCH=48269 IDSOLVER=1190 FILE ID=node082/2702669-1278574290 PBS_JOBID= 11240066 Free space on /tmp= 62400 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_2.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-2702669-1278574290/watcher-2702669-1278574290 -o /tmp/evaluation-result-2702669-1278574290/solver-2702669-1278574290 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702669-1278574290.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 24465d104818b01999b811ba346c3d8e RANDOM SEED=1080049398 node082.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.260 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.52 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.260 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1885244 kB Buffers: 15060 kB Cached: 82492 kB SwapCached: 9316 kB Active: 86320 kB Inactive: 24364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1885244 kB SwapTotal: 4192956 kB SwapFree: 4136936 kB Dirty: 3648 kB Writeback: 12 kB AnonPages: 11548 kB Mapped: 8436 kB Slab: 41284 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178984 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702669-1278574290.opb Free space on /tmp at the end= 62392 MiB End job on node082 at 2010-07-08 10:01:34