Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.16 | 1800.6 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_5.opb |
MD5SUM | 0aee483b23f7a5b1d2af91be543c550b |
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 | -115 |
Best CPU time to get the best result obtained on this benchmark | 1800.17 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -143 |
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) | 63180 |
Sum of products size (including duplicates) | 126360 |
Number of different products | 31590 |
Sum of products size | 63180 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702657-1278573101.opb. 0.00/0.00 c Instance file HOME/instance-2702657-1278573101.opb 0.00/0.00 c File size is 2903103 bytes. 0.59/0.60 c Highest Coefficient sum: 2000 0.59/0.60 c ============================[ Problem Statistics ]============================= 0.59/0.60 c | | 0.59/0.60 c | Parsing time: 0.59 s | 0.59/0.60 c | Number Variables: 33590 | 0.59/0.60 c | Number Clauses: 32590 | 0.59/0.60 c | Number Cardinality: 2002 | 0.59/0.60 c | Number PB Constraints: 31590 | 1.19/1.25 c ============================[ Search Statistics ]============================== 1.19/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.25 c =============================================================================== 1.19/1.25 c | 0 | 33590 66182 258720 | 22060 0 nan | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.34 c New solution: 0 1.29/1.34 o 0 1.29/1.34 c Elapsed CPU time: 1.3128 s Remaining CPU time: 178.687 s 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 33590 66183 259720 | 22061 0 nan | 0.000 % | 1.39/1.49 c =============================================================================== 1.39/1.49 c New solution: -1 1.39/1.49 o -1 1.39/1.49 c Elapsed CPU time: 1.46478 s Remaining CPU time: 178.535 s 1.39/1.49 c =============================================================================== 1.39/1.49 c | 1 | 33590 66184 260720 | 22061 1 1006 | 0.000 % | 1.49/1.55 c =============================================================================== 1.49/1.55 c New solution: -2 1.49/1.55 o -2 1.49/1.55 c Elapsed CPU time: 1.52077 s Remaining CPU time: 178.479 s 1.49/1.55 c =============================================================================== 1.49/1.55 c | 1 | 33590 66185 261720 | 22061 1 1006 | 0.000 % | 1.59/1.61 c =============================================================================== 1.59/1.61 c New solution: -3 1.59/1.61 o -3 1.59/1.61 c Elapsed CPU time: 1.57676 s Remaining CPU time: 178.423 s 1.59/1.61 c =============================================================================== 1.59/1.61 c | 1 | 33590 66186 262720 | 22062 1 1006 | 0.000 % | 1.59/1.67 c =============================================================================== 1.59/1.67 c New solution: -4 1.59/1.67 o -4 1.59/1.67 c Elapsed CPU time: 1.63275 s Remaining CPU time: 178.367 s 1.59/1.67 c =============================================================================== 1.59/1.67 c | 1 | 33590 66187 263720 | 22062 1 1006 | 0.000 % | 1.69/1.73 c =============================================================================== 1.69/1.73 c New solution: -5 1.69/1.73 o -5 1.69/1.73 c Elapsed CPU time: 1.69274 s Remaining CPU time: 178.307 s 1.69/1.73 c =============================================================================== 1.69/1.73 c | 6 | 33590 66188 264720 | 22062 6 1828 | 0.000 % | 1.69/1.79 c =============================================================================== 1.69/1.79 c New solution: -6 1.69/1.79 o -6 1.69/1.79 c Elapsed CPU time: 1.74873 s Remaining CPU time: 178.251 s 1.69/1.79 c =============================================================================== 1.69/1.79 c | 7 | 33590 66189 265720 | 22063 7 1567 | 0.000 % | 1.79/1.85 c =============================================================================== 1.79/1.85 c New solution: -7 1.79/1.85 o -7 1.79/1.85 c Elapsed CPU time: 1.80872 s Remaining CPU time: 178.191 s 1.79/1.85 c =============================================================================== 1.79/1.85 c | 8 | 33590 66190 266720 | 22063 8 1372 | 0.000 % | 1.89/1.91 c =============================================================================== 1.89/1.91 c New solution: -8 1.89/1.91 o -8 1.89/1.91 c Elapsed CPU time: 1.86572 s Remaining CPU time: 178.134 s 1.89/1.91 c =============================================================================== 1.89/1.91 c | 8 | 33590 66191 267720 | 22063 8 1372 | 0.000 % | 1.89/1.97 c =============================================================================== 1.89/1.97 c New solution: -9 1.89/1.97 o -9 1.89/1.97 c Elapsed CPU time: 1.92471 s Remaining CPU time: 178.075 s 1.89/1.97 c =============================================================================== 1.89/1.97 c | 8 | 33590 66192 268720 | 22064 8 1372 | 0.000 % | 1.99/2.03 c =============================================================================== 1.99/2.03 c New solution: -10 1.99/2.03 o -10 1.99/2.03 c Elapsed CPU time: 1.9837 s Remaining CPU time: 178.016 s 1.99/2.03 c =============================================================================== 1.99/2.03 c | 9 | 33590 66193 269720 | 22064 9 1219 | 0.000 % | 2.09/2.10 c =============================================================================== 2.09/2.10 c New solution: -11 2.09/2.10 o -11 2.09/2.10 c Elapsed CPU time: 2.04269 s Remaining CPU time: 177.957 s 2.09/2.10 c =============================================================================== 2.09/2.10 c | 9 | 33590 66194 270720 | 22064 9 1219 | 0.000 % | 2.09/2.16 c =============================================================================== 2.09/2.16 c New solution: -12 2.09/2.16 o -12 2.09/2.16 c Elapsed CPU time: 2.10368 s Remaining CPU time: 177.896 s 2.09/2.16 c =============================================================================== 2.09/2.16 c | 10 | 33590 66195 271720 | 22065 10 1197 | 0.000 % | 2.29/2.31 c | 110 | 33590 66195 271720 | 24271 110 1909 | 0.000 % | 2.39/2.46 c | 260 | 33590 66195 271720 | 26698 260 1951 | 0.000 % | 2.59/2.66 c | 485 | 33590 66195 271720 | 29368 485 1965 | 0.000 % | 2.89/2.97 c | 822 | 33590 66195 271720 | 32305 822 1972 | 0.000 % | 2.99/3.03 c =============================================================================== 2.99/3.03 c New solution: -13 2.99/3.03 o -13 2.99/3.03 c Elapsed CPU time: 2.95755 s Remaining CPU time: 177.042 s 2.99/3.03 c =============================================================================== 2.99/3.03 c | 824 | 33590 66196 272720 | 22065 824 1968 | 0.000 % | 3.09/3.10 c =============================================================================== 3.09/3.10 c New solution: -14 3.09/3.10 o -14 3.09/3.10 c Elapsed CPU time: 3.02754 s Remaining CPU time: 176.972 s 3.09/3.10 c =============================================================================== 3.09/3.10 c | 835 | 33590 66197 273720 | 22065 835 1951 | 0.000 % | 3.20/3.23 c | 935 | 33590 66197 273720 | 24272 935 1954 | 0.000 % | 3.39/3.40 c | 1085 | 33590 66197 273720 | 26699 1085 1958 | 0.000 % | 3.49/3.59 c | 1310 | 33590 66197 273720 | 29369 1310 1961 | 0.000 % | 3.89/3.96 c | 1647 | 33590 66197 273720 | 32306 1647 1965 | 0.000 % | 3.99/4.02 c =============================================================================== 3.99/4.02 c New solution: -15 3.99/4.02 o -15 3.99/4.02 c Elapsed CPU time: 3.9274 s Remaining CPU time: 176.073 s 3.99/4.02 c =============================================================================== 3.99/4.02 c | 1652 | 33590 66198 274720 | 22066 1652 1961 | 0.000 % | 4.09/4.15 c | 1752 | 33590 66198 274720 | 24272 1752 1962 | 0.000 % | 4.29/4.32 c | 1902 | 33590 66198 274720 | 26699 1902 1963 | 0.000 % | 4.49/4.53 c | 2127 | 33590 66198 274720 | 29369 2127 1964 | 0.000 % | 4.89/4.92 c | 2464 | 33590 66198 274720 | 32306 2464 1965 | 0.000 % | 5.29/5.37 c | 2970 | 33590 66198 274720 | 35537 2970 1967 | 0.000 % | 5.40/5.49 c =============================================================================== 5.40/5.49 c New solution: -16 5.40/5.49 o -16 5.40/5.49 c Elapsed CPU time: 5.35919 s Remaining CPU time: 174.641 s 5.40/5.49 c =============================================================================== 5.40/5.49 c | 3021 | 33590 66199 275720 | 22066 3021 1964 | 0.000 % | 5.59/5.63 c | 3121 | 33590 66199 275720 | 24272 3121 1965 | 0.000 % | 5.79/5.80 c | 3271 | 33590 66199 275720 | 26700 3271 1965 | 0.000 % | 6.09/6.17 c | 3496 | 33590 66199 275720 | 29370 3496 1960 | 0.000 % | 6.39/6.47 c | 3833 | 33590 66199 275720 | 32307 3833 1961 | 0.000 % | 6.50/6.58 c =============================================================================== 6.50/6.58 c New solution: -17 6.50/6.58 o -17 6.50/6.58 c Elapsed CPU time: 6.43902 s Remaining CPU time: 173.561 s 6.50/6.58 c =============================================================================== 6.50/6.58 c | 3869 | 33590 66200 276720 | 22066 3869 1961 | 0.000 % | 6.69/6.74 c | 3969 | 33590 66200 276720 | 24273 3969 1961 | 0.000 % | 6.89/6.91 c | 4119 | 33590 66200 276720 | 26700 4119 1962 | 0.000 % | 7.09/7.14 c | 4344 | 33590 66200 276720 | 29370 4344 1962 | 0.000 % | 7.39/7.48 c | 4681 | 33590 66200 276720 | 32307 4681 1963 | 0.000 % | 7.49/7.56 c =============================================================================== 7.49/7.56 c New solution: -18 7.49/7.56 o -18 7.49/7.56 c Elapsed CPU time: 7.39387 s Remaining CPU time: 172.606 s 7.49/7.56 c =============================================================================== 7.49/7.56 c | 4684 | 33590 66201 277720 | 22067 4684 1963 | 0.000 % | 7.60/7.69 c | 4784 | 33590 66201 277720 | 24273 4784 1963 | 0.000 % | 7.79/7.86 c | 4934 | 33590 66201 277720 | 26701 4934 1963 | 0.000 % | 7.99/8.09 c | 5159 | 33590 66201 277720 | 29371 5159 1963 | 0.000 % | 8.49/8.54 c | 5496 | 33590 66201 277720 | 32308 5496 1964 | 0.000 % | 8.59/8.63 c =============================================================================== 8.59/8.63 c New solution: -19 8.59/8.63 o -19 8.59/8.63 c Elapsed CPU time: 8.44372 s Remaining CPU time: 171.556 s 8.59/8.63 c =============================================================================== 8.59/8.63 c | 5514 | 33590 66202 278720 | 22067 5514 1960 | 0.000 % | 8.69/8.78 c | 5614 | 33590 66202 278720 | 24274 5614 1960 | 0.000 % | 8.88/8.95 c | 5764 | 33590 66202 278720 | 26701 5764 1961 | 0.000 % | 9.09/9.18 c | 5989 | 33590 66202 278720 | 29371 5989 1961 | 0.000 % | 9.58/9.65 c | 6326 | 33590 66202 278720 | 32308 6326 1962 | 0.000 % | 9.69/9.74 c =============================================================================== 9.69/9.74 c New solution: -20 9.69/9.74 o -20 9.69/9.74 c Elapsed CPU time: 9.53855 s Remaining CPU time: 170.461 s 9.69/9.74 c =============================================================================== 9.69/9.74 c | 6346 | 33590 66203 279720 | 22067 6346 1958 | 0.000 % | 9.80/9.88 c | 6446 | 33590 66203 279720 | 24274 6446 1958 | 0.000 % | 9.99/10.08 c | 6596 | 33590 66203 279720 | 26701 6596 1958 | 0.000 % | 10.28/10.32 c | 6821 | 33590 66203 279720 | 29372 6821 1959 | 0.000 % | 10.59/10.64 c | 7158 | 33590 66203 279720 | 32309 7158 1959 | 0.000 % | 10.69/10.72 c =============================================================================== 10.69/10.72 c New solution: -21 10.69/10.72 o -21 10.69/10.72 c Elapsed CPU time: 10.5074 s Remaining CPU time: 169.493 s 10.69/10.72 c =============================================================================== 10.69/10.72 c | 7163 | 33590 66204 280720 | 22068 7163 1958 | 0.000 % | 10.78/10.87 c | 7263 | 33590 66204 280720 | 24274 7263 1958 | 0.000 % | 11.00/11.04 c | 7413 | 33590 66204 280720 | 26702 7413 1958 | 0.000 % | 11.19/11.29 c | 7638 | 33590 66204 280720 | 29372 7638 1958 | 0.000 % | 11.59/11.63 c | 7975 | 33590 66204 280720 | 32309 7975 1958 | 0.000 % | 11.99/12.08 c | 8481 | 33590 66204 280720 | 35540 8481 1958 | 0.000 % | 12.89/12.91 c | 9240 | 33590 66204 280720 | 39094 9240 1956 | 0.000 % | 14.09/14.10 c | 10379 | 33590 66204 280720 | 43004 10379 1957 | 0.000 % | 14.20/14.22 c =============================================================================== 14.20/14.22 c New solution: -22 14.20/14.22 o -22 14.20/14.22 c Elapsed CPU time: 13.9499 s Remaining CPU time: 166.05 s 14.20/14.22 c =============================================================================== 14.20/14.22 c | 10429 | 33590 66205 281720 | 22068 10429 1953 | 0.000 % | 14.38/14.41 c | 10529 | 33590 66205 281720 | 24275 10529 1953 | 0.000 % | 14.59/14.61 c | 10679 | 33590 66205 281720 | 26702 10679 1953 | 0.000 % | 14.79/14.82 c | 10904 | 33590 66205 281720 | 29372 10904 1952 | 0.000 % | 15.39/15.49 c | 11241 | 33590 66205 281720 | 32310 11241 1951 | 0.000 % | 16.08/16.11 c | 11747 | 33590 66205 281720 | 35541 11747 1951 | 0.000 % | 16.88/16.93 c | 12506 | 33590 66205 281720 | 39095 12506 1951 | 0.000 % | 18.28/18.31 c | 13645 | 33590 66205 281720 | 43004 13645 1951 | 0.000 % | 18.39/18.43 c =============================================================================== 18.39/18.43 c New solution: -23 18.39/18.43 o -23 18.39/18.43 c Elapsed CPU time: 18.1062 s Remaining CPU time: 161.894 s 18.39/18.43 c =============================================================================== 18.39/18.43 c | 13677 | 33590 66206 282720 | 22068 13677 1949 | 0.000 % | 18.59/18.60 c | 13777 | 33590 66206 282720 | 24275 13777 1949 | 0.000 % | 18.79/18.84 c | 13927 | 33590 66206 282720 | 26703 13927 1949 | 0.000 % | 19.09/19.13 c | 14152 | 33590 66206 282720 | 29373 14152 1949 | 0.000 % | 19.39/19.49 c | 14489 | 33590 66206 282720 | 32310 14489 1949 | 0.000 % | 20.09/20.17 c | 14995 | 33590 66206 282720 | 35541 14995 1950 | 0.000 % | 20.98/21.00 c | 15754 | 33590 66206 282720 | 39095 15754 1947 | 0.000 % | 22.38/22.40 c | 16893 | 33590 66206 282720 | 43005 16893 1948 | 0.000 % | 22.49/22.52 c =============================================================================== 22.49/22.52 c New solution: -24 22.49/22.52 o -24 22.49/22.52 c Elapsed CPU time: 22.1516 s Remaining CPU time: 157.848 s 22.49/22.52 c =============================================================================== 22.49/22.52 c | 16935 | 33590 66207 283720 | 22069 16935 1946 | 0.000 % | 22.68/22.75 c | 17035 | 33590 66207 283720 | 24275 17035 1946 | 0.000 % | 22.88/22.95 c | 17185 | 33590 66207 283720 | 26703 17185 1946 | 0.000 % | 23.19/23.21 c | 17410 | 33590 66207 283720 | 29373 17410 1946 | 0.000 % | 23.58/23.63 c | 17747 | 33590 66207 283720 | 32311 17747 1946 | 0.000 % | 24.19/24.24 c | 18253 | 33590 66207 283720 | 35542 18253 1947 | 0.000 % | 24.99/25.06 c | 19013 | 33590 66207 283720 | 39096 19013 1947 | 0.000 % | 25.09/25.14 c =============================================================================== 25.09/25.14 c New solution: -25 25.09/25.14 o -25 25.09/25.14 c Elapsed CPU time: 24.7342 s Remaining CPU time: 155.266 s 25.09/25.14 c =============================================================================== 25.09/25.14 c | 19014 | 33590 66208 284720 | 22069 19014 1947 | 0.000 % | 25.19/25.30 c | 19114 | 33590 66208 284720 | 24276 19114 1947 | 0.000 % | 25.38/25.49 c | 19264 | 33590 66208 284720 | 26703 19264 1947 | 0.000 % | 25.79/25.83 c | 19489 | 33590 66208 284720 | 29374 19489 1947 | 0.000 % | 26.08/26.19 c | 19826 | 33590 66208 284720 | 32311 19826 1948 | 0.000 % | 26.29/26.31 c =============================================================================== 26.29/26.31 c New solution: -26 26.29/26.31 o -26 26.29/26.31 c Elapsed CPU time: 25.8811 s Remaining CPU time: 154.119 s 26.29/26.31 c =============================================================================== 26.29/26.31 c | 19856 | 33590 66209 285720 | 22069 19856 1946 | 0.000 % | 26.39/26.47 c | 19956 | 33590 66209 285720 | 24276 19956 1946 | 0.000 % | 26.68/26.71 c | 20106 | 33590 66209 285720 | 26704 20106 1946 | 0.000 % | 26.88/26.93 c | 20331 | 33590 66209 285720 | 29374 20331 1946 | 0.000 % | 27.39/27.42 c | 20668 | 33590 66209 285720 | 32312 20668 1946 | 0.000 % | 27.98/28.04 c | 21174 | 33590 66209 285720 | 35543 21174 1946 | 0.000 % | 28.08/28.13 c =============================================================================== 28.08/28.13 c New solution: -27 28.08/28.13 o -27 28.08/28.13 c Elapsed CPU time: 27.6818 s Remaining CPU time: 152.318 s 28.08/28.13 c =============================================================================== 28.08/28.13 c | 21185 | 33590 66210 286720 | 22070 21185 1946 | 0.000 % | 28.29/28.33 c | 21285 | 33590 66210 286720 | 24277 21285 1946 | 0.000 % | 28.49/28.53 c | 21435 | 33590 66210 286720 | 26704 21435 1946 | 0.000 % | 28.99/29.01 c | 21660 | 33590 66210 286720 | 29375 21660 1946 | 0.000 % | 29.38/29.43 c | 21997 | 33590 66210 286720 | 32312 21997 1946 | 0.000 % | 29.48/29.55 c =============================================================================== 29.48/29.55 c New solution: -28 29.48/29.55 o -28 29.48/29.55 c Elapsed CPU time: 29.0756 s Remaining CPU time: 150.924 s 29.48/29.55 c =============================================================================== 29.48/29.55 c | 22034 | 33590 66211 287720 | 22070 22034 1944 | 0.000 % | 29.69/29.72 c | 22134 | 33590 66211 287720 | 24277 22134 1944 | 0.000 % | 29.88/29.93 c | 22284 | 33590 66211 287720 | 26705 22284 1944 | 0.000 % | 30.19/30.20 c | 22509 | 33590 66211 287720 | 29375 22509 1944 | 0.000 % | 30.49/30.58 c | 22846 | 33590 66211 287720 | 32313 22846 1944 | 0.000 % | 31.08/31.10 c | 23352 | 33590 66211 287720 | 35544 23352 1945 | 0.000 % | 31.79/31.87 c | 24111 | 33590 66211 287720 | 39098 24111 1943 | 0.000 % | 32.99/33.07 c | 25251 | 33590 66211 287720 | 43008 25251 1944 | 0.000 % | 33.18/33.24 c =============================================================================== 33.18/33.24 c New solution: -29 33.18/33.24 o -29 33.18/33.24 c Elapsed CPU time: 32.723 s Remaining CPU time: 147.277 s 33.18/33.24 c =============================================================================== 33.18/33.24 c | 25327 | 33590 66212 288720 | 22070 25327 1941 | 0.000 % | 33.39/33.48 c | 25427 | 33590 66212 288720 | 24277 10938 1928 | 0.000 % | 33.58/33.67 c | 25577 | 33590 66212 288720 | 26705 11088 1928 | 0.000 % | 33.88/33.94 c | 25802 | 33590 66212 288720 | 29376 11313 1928 | 0.000 % | 34.28/34.34 c | 26139 | 33590 66212 288720 | 32313 11650 1929 | 0.000 % | 34.78/34.86 c | 26645 | 33590 66212 288720 | 35545 12156 1930 | 0.000 % | 35.58/35.67 c | 27404 | 33590 66212 288720 | 39099 12915 1929 | 0.000 % | 36.88/36.98 c | 28543 | 33590 66212 288720 | 43009 14054 1931 | 0.000 % | 37.08/37.14 c =============================================================================== 37.08/37.14 c New solution: -30 37.08/37.14 o -30 37.08/37.14 c Elapsed CPU time: 36.5624 s Remaining CPU time: 143.438 s 37.08/37.14 c =============================================================================== 37.08/37.14 c | 28605 | 33590 66213 289720 | 22071 14116 1926 | 0.000 % | 37.28/37.37 c | 28705 | 33590 66213 289720 | 24278 14216 1926 | 0.000 % | 37.58/37.60 c | 28855 | 33590 66213 289720 | 26705 14366 1926 | 0.000 % | 37.88/37.92 c | 29080 | 33590 66213 289720 | 29376 14591 1926 | 0.000 % | 38.29/38.37 c | 29417 | 33590 66213 289720 | 32314 14928 1927 | 0.000 % | 38.98/39.05 c | 29924 | 33590 66213 289720 | 35545 15435 1895 | 0.000 % | 40.28/40.32 c | 30683 | 33590 66213 289720 | 39100 16194 1898 | 0.000 % | 40.38/40.48 c =============================================================================== 40.38/40.48 c New solution: -31 40.38/40.48 o -31 40.38/40.48 c Elapsed CPU time: 39.8719 s Remaining CPU time: 140.128 s 40.38/40.48 c =============================================================================== 40.38/40.48 c | 30745 | 33590 66214 290720 | 22071 16256 1894 | 0.000 % | 40.59/40.67 c | 30845 | 33590 66214 290720 | 24278 16356 1894 | 0.000 % | 40.78/40.89 c | 30995 | 33590 66214 290720 | 26706 16506 1895 | 0.000 % | 41.08/41.18 c | 31220 | 33590 66214 290720 | 29376 16731 1895 | 0.000 % | 41.48/41.57 c | 31557 | 33590 66214 290720 | 32314 17068 1896 | 0.000 % | 42.08/42.15 c | 32064 | 33590 66214 290720 | 35546 17575 1898 | 0.000 % | 42.18/42.26 c =============================================================================== 42.18/42.26 c New solution: -32 42.18/42.26 o -32 42.18/42.26 c Elapsed CPU time: 41.6397 s Remaining CPU time: 138.36 s 42.18/42.26 c =============================================================================== 42.18/42.26 c | 32087 | 33590 66215 291720 | 22071 17598 1896 | 0.000 % | 42.38/42.44 c | 32187 | 33590 66215 291720 | 24278 17698 1897 | 0.000 % | 42.58/42.67 c | 32337 | 33590 66215 291720 | 26706 17848 1897 | 0.000 % | 42.89/42.99 c | 32562 | 33590 66215 291720 | 29377 18073 1898 | 0.000 % | 43.78/43.81 c | 32899 | 33590 66215 291720 | 32315 18410 1898 | 0.000 % | 44.28/44.36 c | 33405 | 33590 66215 291720 | 35546 18916 1899 | 0.000 % | 45.18/45.28 c | 34164 | 33590 66215 291720 | 39101 19675 1901 | 0.000 % | 45.28/45.39 c =============================================================================== 45.28/45.39 c New solution: -33 45.28/45.39 o -33 45.28/45.39 c Elapsed CPU time: 44.7322 s Remaining CPU time: 135.268 s 45.28/45.39 c =============================================================================== 45.28/45.39 c | 34179 | 33590 66216 292720 | 22072 19690 1900 | 0.000 % | 45.48/45.55 c | 34279 | 33590 66216 292720 | 24279 19790 1900 | 0.000 % | 45.68/45.77 c | 34429 | 33590 66216 292720 | 26707 19940 1901 | 0.000 % | 45.98/46.09 c | 34654 | 33590 66216 292720 | 29377 20165 1901 | 0.000 % | 46.38/46.46 c | 34991 | 33590 66216 292720 | 32315 20502 1902 | 0.000 % | 46.58/46.65 c =============================================================================== 46.58/46.65 c New solution: -34 46.58/46.65 o -34 46.58/46.65 c Elapsed CPU time: 45.965 s Remaining CPU time: 134.035 s 46.58/46.65 c =============================================================================== 46.58/46.65 c | 35063 | 33590 66217 293720 | 22072 20574 1898 | 0.000 % | 46.78/46.85 c | 35163 | 33590 66217 293720 | 24279 20674 1898 | 0.000 % | 46.98/47.08 c | 35313 | 33590 66217 293720 | 26707 20824 1899 | 0.000 % | 47.28/47.39 c | 35538 | 33590 66217 293720 | 29378 21049 1899 | 0.000 % | 47.68/47.77 c | 35875 | 33590 66217 293720 | 32316 21386 1900 | 0.000 % | 48.29/48.35 c | 36381 | 33590 66217 293720 | 35547 21892 1901 | 0.000 % | 48.48/48.56 c =============================================================================== 48.48/48.56 c New solution: -35 48.48/48.56 o -35 48.48/48.56 c Elapsed CPU time: 47.8407 s Remaining CPU time: 132.159 s 48.48/48.56 c =============================================================================== 48.48/48.56 c | 36470 | 33590 66218 294720 | 22072 21981 1896 | 0.000 % | 48.68/48.76 c | 36570 | 33590 66218 294720 | 24279 22081 1896 | 0.000 % | 48.88/49.00 c | 36720 | 33590 66218 294720 | 26707 22231 1896 | 0.000 % | 49.18/49.29 c | 36945 | 33590 66218 294720 | 29378 22456 1897 | 0.000 % | 49.68/49.70 c | 37282 | 33590 66218 294720 | 32316 22793 1898 | 0.000 % | 50.28/50.30 c | 37788 | 33590 66218 294720 | 35548 23299 1899 | 0.000 % | 50.49/50.51 c =============================================================================== 50.49/50.51 c New solution: -36 50.49/50.51 o -36 50.49/50.51 c Elapsed CPU time: 49.7644 s Remaining CPU time: 130.236 s 50.49/50.51 c =============================================================================== 50.49/50.51 c | 37875 | 33590 66219 295720 | 22073 23386 1894 | 0.000 % | 50.78/50.80 c | 37975 | 33590 66219 295720 | 24280 10834 1853 | 0.000 % | 50.98/51.03 c | 38125 | 33590 66219 295720 | 26708 10984 1854 | 0.000 % | 51.28/51.34 c | 38350 | 33590 66219 295720 | 29379 11209 1856 | 0.000 % | 51.68/51.77 c | 38687 | 33590 66219 295720 | 32317 11546 1858 | 0.000 % | 52.08/52.19 c =============================================================================== 52.08/52.19 c New solution: -37 52.08/52.19 o -37 52.08/52.19 c Elapsed CPU time: 51.4302 s Remaining CPU time: 128.57 s 52.08/52.19 c =============================================================================== 52.08/52.19 c | 38922 | 33590 66220 296720 | 22073 11781 1839 | 0.000 % | 52.28/52.38 c | 39022 | 33590 66220 296720 | 24280 11881 1840 | 0.000 % | 52.58/52.61 c | 39172 | 33590 66220 296720 | 26708 12031 1841 | 0.000 % | 52.78/52.88 c | 39397 | 33590 66220 296720 | 29379 12256 1843 | 0.000 % | 53.18/53.29 c | 39734 | 33590 66220 296720 | 32317 12593 1845 | 0.000 % | 53.68/53.75 c =============================================================================== 53.68/53.75 c New solution: -38 53.68/53.75 o -38 53.68/53.75 c Elapsed CPU time: 52.9689 s Remaining CPU time: 127.031 s 53.68/53.75 c =============================================================================== 53.68/53.75 c | 39989 | 33590 66221 297720 | 22073 12848 1826 | 0.000 % | 53.88/53.94 c | 40090 | 33590 66221 297720 | 24281 12949 1827 | 0.000 % | 54.07/54.17 c | 40240 | 33590 66221 297720 | 26709 13099 1829 | 0.000 % | 54.38/54.44 c | 40465 | 33590 66221 297720 | 29380 13324 1830 | 0.000 % | 54.77/54.87 c | 40802 | 33590 66221 297720 | 32318 13661 1832 | 0.000 % | 55.38/55.42 c | 41308 | 33590 66221 297720 | 35549 14167 1835 | 0.000 % | 56.18/56.25 c | 42067 | 33590 66221 297720 | 39104 14926 1841 | 0.000 % | 56.48/56.54 c =============================================================================== 56.48/56.54 c New solution: -39 56.48/56.54 o -39 56.48/56.54 c Elapsed CPU time: 55.7055 s Remaining CPU time: 124.294 s 56.48/56.54 c =============================================================================== 56.48/56.54 c | 42209 | 33590 66222 298720 | 22074 15068 1831 | 0.000 % | 56.68/56.73 c | 42309 | 33590 66222 298720 | 24281 15168 1831 | 0.000 % | 56.87/56.93 c | 42459 | 33590 66222 298720 | 26709 15318 1832 | 0.000 % | 57.09/57.19 c | 42684 | 33590 66222 298720 | 29380 15543 1834 | 0.000 % | 57.48/57.58 c | 43021 | 33590 66222 298720 | 32318 15880 1835 | 0.000 % | 58.07/58.17 c | 43527 | 33590 66222 298720 | 35550 16386 1839 | 0.000 % | 58.98/59.08 c | 44286 | 33590 66222 298720 | 39105 17145 1843 | 0.000 % | 59.17/59.29 c =============================================================================== 59.17/59.29 c New solution: -40 59.17/59.29 o -40 59.17/59.29 c Elapsed CPU time: 58.4251 s Remaining CPU time: 121.575 s 59.17/59.29 c =============================================================================== 59.17/59.29 c | 44370 | 33590 66223 299720 | 22074 17229 1838 | 0.000 % | 59.39/59.48 c | 44470 | 33590 66223 299720 | 24281 17329 1839 | 0.000 % | 59.68/59.72 c | 44620 | 33590 66223 299720 | 26709 17479 1839 | 0.000 % | 59.97/60.03 c | 44845 | 33590 66223 299720 | 29380 17704 1841 | 0.000 % | 60.38/60.46 c | 45182 | 33590 66223 299720 | 32319 18041 1842 | 0.000 % | 60.97/61.00 c | 45688 | 33590 66223 299720 | 35550 18547 1845 | 0.000 % | 61.98/62.04 c =============================================================================== 61.98/62.04 c New solution: -41 61.98/62.04 o -41 61.98/62.04 c Elapsed CPU time: 61.1397 s Remaining CPU time: 118.86 s 61.98/62.04 c =============================================================================== 61.98/62.04 c | 46297 | 33590 66224 300720 | 22074 19156 1816 | 0.000 % | 62.18/62.26 c | 46397 | 33590 66224 300720 | 24282 19256 1816 | 0.000 % | 62.47/62.50 c | 46547 | 33590 66224 300720 | 26710 19406 1817 | 0.000 % | 62.78/62.82 c | 46772 | 33590 66224 300720 | 29381 19631 1818 | 0.000 % | 63.18/63.25 c | 47109 | 33590 66224 300720 | 32319 19968 1820 | 0.000 % | 63.78/63.86 c | 47615 | 33590 66224 300720 | 35551 20474 1823 | 0.000 % | 64.37/64.47 c =============================================================================== 64.37/64.47 c New solution: -42 64.37/64.47 o -42 64.37/64.47 c Elapsed CPU time: 63.5463 s Remaining CPU time: 116.454 s 64.37/64.47 c =============================================================================== 64.37/64.47 c | 47957 | 33590 66225 301720 | 22075 20816 1807 | 0.000 % | 64.58/64.68 c | 48057 | 33590 66225 301720 | 24282 20916 1807 | 0.000 % | 64.78/64.89 c | 48207 | 33590 66225 301720 | 26710 21066 1808 | 0.000 % | 65.07/65.18 c | 48432 | 33590 66225 301720 | 29381 21291 1809 | 0.000 % | 65.57/65.66 c | 48769 | 33590 66225 301720 | 32320 21628 1810 | 0.000 % | 66.27/66.31 c | 49275 | 33590 66225 301720 | 35552 22134 1813 | 0.000 % | 67.08/67.19 c | 50035 | 33590 66225 301720 | 39107 22894 1817 | 0.000 % | 67.37/67.41 c =============================================================================== 67.37/67.41 c New solution: -43 67.37/67.41 o -43 67.37/67.41 c Elapsed CPU time: 66.4469 s Remaining CPU time: 113.553 s 67.37/67.41 c =============================================================================== 67.37/67.41 c | 50118 | 33590 66226 302720 | 22075 22977 1813 | 0.000 % | 67.58/67.63 c | 50218 | 33590 66226 302720 | 24282 10768 1781 | 0.000 % | 67.78/67.85 c | 50368 | 33590 66226 302720 | 26711 10918 1783 | 0.000 % | 68.08/68.14 c | 50593 | 33590 66226 302720 | 29382 11143 1786 | 0.000 % | 68.47/68.57 c | 50930 | 33590 66226 302720 | 32320 11480 1790 | 0.000 % | 68.97/69.10 c | 51436 | 33590 66226 302720 | 35552 11986 1796 | 0.000 % | 69.58/69.60 c =============================================================================== 69.58/69.60 c New solution: -44 69.58/69.60 o -44 69.58/69.60 c Elapsed CPU time: 68.6216 s Remaining CPU time: 111.378 s 69.58/69.60 c =============================================================================== 69.58/69.60 c | 51703 | 33590 66227 303720 | 22075 12253 1774 | 0.000 % | 69.78/69.83 c | 51803 | 33590 66227 303720 | 24283 12353 1775 | 0.000 % | 69.97/70.04 c | 51953 | 33590 66227 303720 | 26711 12503 1777 | 0.000 % | 70.28/70.33 c | 52178 | 33590 66227 303720 | 29382 12728 1780 | 0.000 % | 70.67/70.77 c | 52515 | 33590 66227 303720 | 32320 13065 1783 | 0.000 % | 71.38/71.43 c | 53022 | 33590 66227 303720 | 35553 13572 1789 | 0.000 % | 71.97/72.04 c =============================================================================== 71.97/72.04 c New solution: -45 71.97/72.04 o -45 71.97/72.04 c Elapsed CPU time: 71.0332 s Remaining CPU time: 108.967 s 71.97/72.04 c =============================================================================== 71.97/72.04 c | 53335 | 33590 66228 304720 | 22076 13885 1768 | 0.000 % | 72.18/72.25 c | 53435 | 33590 66228 304720 | 24283 13985 1769 | 0.000 % | 72.37/72.46 c | 53585 | 33590 66228 304720 | 26711 14135 1770 | 0.000 % | 72.67/72.75 c | 53810 | 33590 66228 304720 | 29383 14360 1773 | 0.000 % | 73.07/73.16 c | 54147 | 33590 66228 304720 | 32321 14697 1777 | 0.000 % | 73.58/73.69 c | 54653 | 33590 66228 304720 | 35553 15203 1782 | 0.000 % | 74.97/75.03 c | 55413 | 33590 66228 304720 | 39108 15963 1738 | 0.000 % | 77.47/77.57 c | 56552 | 33590 66228 304720 | 43019 17102 1751 | 0.000 % | 80.57/80.63 c | 58261 | 33590 66228 304720 | 47321 18811 1677 | 0.000 % | 85.38/85.46 c | 60826 | 33590 66228 304720 | 52054 21376 1707 | 0.000 % | 91.37/91.46 c | 64670 | 33590 66228 304720 | 57259 25220 1741 | 0.000 % | 102.36/102.43 c | 70436 | 33590 66228 304720 | 62985 30986 1773 | 0.000 % | 116.36/116.42 c | 79085 | 33590 66228 304720 | 69283 39635 1809 | 0.000 % | 117.46/117.56 c =============================================================================== 117.46/117.56 c New solution: -46 117.46/117.56 o -46 117.46/117.56 c Elapsed CPU time: 116.211 s Remaining CPU time: 63.7887 s 117.46/117.56 c =============================================================================== 117.46/117.56 c | 79678 | 33590 66229 305720 | 22076 40228 1795 | 0.000 % | 117.76/117.89 c | 79778 | 33590 66229 305720 | 24283 11431 1875 | 0.000 % | 118.06/118.14 c | 79928 | 33590 66229 305720 | 26712 11581 1876 | 0.000 % | 118.47/118.52 c | 80153 | 33590 66229 305720 | 29383 11806 1875 | 0.000 % | 118.86/118.98 c | 80490 | 33590 66229 305720 | 32321 12143 1875 | 0.000 % | 119.57/119.62 c | 80996 | 33590 66229 305720 | 35554 12649 1877 | 0.000 % | 120.97/121.01 c | 81756 | 33590 66229 305720 | 39109 13409 1822 | 0.000 % | 122.86/122.93 c | 82895 | 33590 66229 305720 | 43020 14548 1830 | 0.000 % | 125.47/125.53 c | 84603 | 33590 66229 305720 | 47322 16256 1841 | 0.000 % | 126.86/126.90 c =============================================================================== 126.86/126.90 c New solution: -47 126.86/126.90 o -47 126.86/126.90 c Elapsed CPU time: 125.453 s Remaining CPU time: 54.5471 s 126.86/126.90 c =============================================================================== 126.86/126.90 c | 85321 | 33590 66230 306720 | 22076 16974 1801 | 0.000 % | 127.06/127.11 c | 85421 | 33590 66230 306720 | 24284 17074 1802 | 0.000 % | 127.26/127.37 c | 85571 | 33590 66230 306720 | 26712 17224 1802 | 0.000 % | 127.66/127.70 c | 85796 | 33590 66230 306720 | 29384 17449 1802 | 0.000 % | 128.26/128.31 c | 86133 | 33590 66230 306720 | 32322 17786 1802 | 0.000 % | 128.86/128.97 c | 86639 | 33590 66230 306720 | 35554 18292 1805 | 0.000 % | 129.96/130.02 c | 87398 | 33590 66230 306720 | 39110 19051 1809 | 0.000 % | 131.26/131.38 c | 88537 | 33590 66230 306720 | 43021 20190 1815 | 0.000 % | 134.36/134.49 c | 90245 | 33590 66230 306720 | 47323 21898 1746 | 0.000 % | 139.45/139.58 c | 92807 | 33590 66230 306720 | 52055 24460 1764 | 0.000 % | 139.86/139.94 c =============================================================================== 139.86/139.94 c New solution: -48 139.86/139.94 o -48 139.86/139.94 c Elapsed CPU time: 138.402 s Remaining CPU time: 41.598 s 139.86/139.94 c =============================================================================== 139.86/139.94 c | 92957 | 33590 66231 307720 | 22077 24610 1758 | 0.000 % | 140.15/140.22 c | 93057 | 33590 66231 307720 | 24284 10942 1669 | 0.000 % | 140.36/140.45 c | 93207 | 33590 66231 307720 | 26713 11092 1672 | 0.000 % | 140.66/140.75 c | 93432 | 33590 66231 307720 | 29384 11317 1677 | 0.000 % | 141.06/141.15 c | 93769 | 33590 66231 307720 | 32322 11654 1683 | 0.000 % | 141.76/141.87 c | 94275 | 33590 66231 307720 | 35555 12160 1694 | 0.000 % | 142.76/142.85 c | 95034 | 33590 66231 307720 | 39110 12919 1707 | 0.000 % | 144.15/144.28 c | 96173 | 33590 66231 307720 | 43021 14058 1725 | 0.000 % | 146.05/146.16 c | 97882 | 33590 66231 307720 | 47324 15767 1746 | 0.000 % | 149.35/149.48 c | 100444 | 33590 66231 307720 | 52056 18329 1772 | 0.000 % | 154.05/154.15 c | 104288 | 33590 66231 307720 | 57262 22173 1800 | 0.000 % | 162.66/162.75 c | 110054 | 33590 66231 307720 | 62988 27939 1820 | 0.000 % | 179.25/179.36 c | 118703 | 33590 66231 307720 | 69287 36588 1838 | 0.000 % | 181.84/181.91 c There are 0 assigned variables. 0 in cost function. 182.35/182.46 c core #1 182.35/182.46 c 182.35/182.46 c 182.35/182.46 c Core size: 2001 Core Weight: 1 Total Weight: -999 182.35/182.46 c 182.35/182.46 c 182.35/182.46 c ============================[ Search Statistics ]============================== 182.35/182.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.35/182.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.35/182.46 c =============================================================================== 182.35/182.46 c | 0 | 34590 67437 311332 | 22479 0 nan | 0.000 % | 184.05/184.12 c | 100 | 34590 67437 311332 | 24726 100 427 | 0.116 % | 186.35/186.46 c | 250 | 34590 67437 311332 | 27199 250 392 | 0.205 % | 190.54/190.66 c | 475 | 34519 67437 311332 | 29919 473 329 | 0.205 % | 195.65/195.76 c | 812 | 34449 67437 311332 | 32911 809 311 | 2.807 % | 195.95/196.03 c =============================================================================== 196.25/196.39 c core #2 196.25/196.39 c 196.25/196.39 c 196.25/196.39 c Core size: 708 Core Weight: 1 Total Weight: -998 196.25/196.39 c 196.25/196.39 c 196.25/196.39 c ============================[ Search Statistics ]============================== 196.25/196.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.25/196.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.25/196.39 c =============================================================================== 196.25/196.39 c | 0 | 35269 67479 312811 | 22493 0 nan | 0.000 % | 198.14/198.22 c | 100 | 35269 67479 312811 | 24742 100 871 | 0.000 % | 200.44/200.50 c | 250 | 35269 67479 312811 | 27216 250 949 | 0.000 % | 203.94/204.08 c | 475 | 35269 67479 312811 | 29938 475 715 | 0.000 % | 209.34/209.48 c | 812 | 35268 67479 312811 | 32932 811 696 | 0.003 % | 215.34/215.40 c | 1318 | 35268 67479 312811 | 36225 1317 716 | 0.003 % | 225.04/225.19 c | 2077 | 35268 67479 312811 | 39847 2076 728 | 0.003 % | 238.73/238.83 c | 3216 | 35268 67479 312811 | 43832 3215 736 | 0.003 % | 260.32/260.48 c | 4924 | 35211 67479 312811 | 48215 4900 738 | 0.315 % | 288.92/289.09 c | 7487 | 35126 67479 312811 | 53037 7323 744 | 0.564 % | 339.51/339.69 c | 11331 | 34911 67479 312811 | 58341 11061 765 | 1.015 % | 413.59/413.78 c | 17155 | 34724 67479 312811 | 64175 16487 764 | 1.630 % | 529.66/529.88 c | 25804 | 34114 67479 312811 | 70592 24128 796 | 3.431 % | 721.32/721.56 c | 38778 | 34034 67479 312811 | 77651 37102 820 | 7.287 % | 981.55/981.80 c | 58240 | 32236 67479 312811 | 85417 53532 832 | 9.195 % | 1065.93/1066.28 c =============================================================================== 1069.73/1070.07 c core #3 1069.73/1070.07 c 1069.73/1070.07 c 1069.73/1070.07 c Core size: 1413 Core Weight: 1 Total Weight: -997 1069.73/1070.07 c 1069.73/1070.07 c 1069.73/1070.07 c ============================[ Search Statistics ]============================== 1069.73/1070.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1069.73/1070.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1069.73/1070.07 c =============================================================================== 1069.73/1070.07 c | 0 | 36269 67818 315769 | 22606 0 nan | 0.000 % | 1072.03/1072.37 c | 100 | 36269 67818 315769 | 24866 100 1151 | 0.000 % | 1075.83/1076.11 c | 250 | 36269 67818 315769 | 27353 250 995 | 0.000 % | 1078.23/1078.52 c | 475 | 36269 67818 315769 | 30088 475 868 | 0.000 % | 1087.02/1087.38 c | 1142 | 36269 67818 315769 | 33097 1142 1050 | 0.000 % | 1093.82/1094.13 c | 1648 | 36269 67818 315769 | 36407 1648 1048 | 0.000 % | 1105.92/1106.26 c | 2518 | 36269 67818 315769 | 40047 2518 1077 | 0.000 % | 1116.82/1117.18 c | 3657 | 36269 67818 315769 | 44052 3657 1098 | 0.000 % | 1137.81/1138.10 c | 5365 | 36269 67818 315769 | 48457 5365 1085 | 0.000 % | 1175.70/1176.03 c | 7927 | 36269 67818 315769 | 53303 7927 1092 | 0.000 % | 1223.29/1223.60 c | 11771 | 36269 67818 315769 | 58634 11771 1133 | 0.000 % | 1308.58/1308.97 c | 17537 | 36269 67818 315769 | 64497 17537 1122 | 0.000 % | 1426.84/1427.21 c | 26186 | 36240 67818 315769 | 70947 26170 1140 | 0.080 % | 1596.50/1596.99 c | 39160 | 36240 67818 315769 | 78042 39144 1155 | 0.080 % |
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-2702657-1278573101/watcher-2702657-1278573101 -o /tmp/evaluation-result-2702657-1278573101/solver-2702657-1278573101 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702657-1278573101.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.95 0.49 0.52 3/106 31266 /proc/meminfo: memFree=1639280/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=5920 CPUtime=0 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 1 0 25523210 6062080 330 1992294400 134512640 135752675 4291883440 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 1480 330 137 303 0 466 0 [startup+0.094006 s] /proc/loadavg: 0.95 0.49 0.52 3/106 31266 /proc/meminfo: memFree=1639280/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=11312 CPUtime=0.08 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 1709 0 0 0 8 0 0 0 23 0 1 0 25523210 11583488 1627 1992294400 134512640 135752675 4291883440 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 2828 1627 223 303 0 1814 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11312 [startup+0.101006 s] /proc/loadavg: 0.95 0.49 0.52 3/106 31266 /proc/meminfo: memFree=1639280/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=11312 CPUtime=0.09 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 1746 0 0 0 9 0 0 0 23 0 1 0 25523210 11583488 1664 1992294400 134512640 135752675 4291883440 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 2828 1664 230 303 0 1814 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11312 [startup+0.301023 s] /proc/loadavg: 0.95 0.49 0.52 3/106 31266 /proc/meminfo: memFree=1639280/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=15256 CPUtime=0.29 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 2875 0 0 0 28 1 0 0 23 0 1 0 25523210 15622144 2760 1992294400 134512640 135752675 4291883440 18446744073709551615 134569171 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 3814 2760 479 303 0 2800 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15256 [startup+0.70106 s] /proc/loadavg: 0.95 0.49 0.52 3/106 31266 /proc/meminfo: memFree=1639280/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=23416 CPUtime=0.69 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 5933 0 0 0 67 2 0 0 25 0 1 0 25523210 23977984 5012 1992294400 134512640 135752675 4291883440 18446744073709551615 134524221 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 5854 5012 142 303 0 5549 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23416 [startup+1.50113 s] /proc/loadavg: 0.95 0.49 0.52 2/107 31268 /proc/meminfo: memFree=1617200/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=23944 CPUtime=1.49 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 6743 0 0 0 146 3 0 0 25 0 1 0 25523210 24518656 5226 1992294400 134512640 135752675 4291883440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 5986 5226 144 303 0 5681 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23944 [startup+3.10128 s] /proc/loadavg: 0.95 0.50 0.52 2/107 31268 /proc/meminfo: memFree=1618192/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=26188 CPUtime=3.09 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 7291 0 0 0 302 7 0 0 25 0 1 0 25523210 26816512 5774 1992294400 134512640 135752675 4291883440 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 6547 5774 145 303 0 6242 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26188 [startup+6.30157 s] /proc/loadavg: 0.95 0.50 0.52 2/107 31268 /proc/meminfo: memFree=1600088/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=47492 CPUtime=6.29 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 12627 0 0 0 615 14 0 0 25 0 1 0 25523210 48631808 11110 1992294400 134512640 135752675 4291883440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 11873 11110 145 303 0 11568 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47492 [startup+12.7012 s] /proc/loadavg: 1.04 0.53 0.53 2/107 31268 /proc/meminfo: memFree=1558300/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=89448 CPUtime=12.68 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 23098 0 0 0 1244 24 0 0 25 0 1 0 25523210 91594752 21581 1992294400 134512640 135752675 4291883440 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 22362 21581 145 303 0 22057 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 89448 [startup+25.5013 s] /proc/loadavg: 1.03 0.55 0.54 2/107 31268 /proc/meminfo: memFree=1475468/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=169032 CPUtime=25.49 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 42988 0 0 0 2508 41 0 0 25 0 1 0 25523210 173088768 41471 1992294400 134512640 135752675 4291883440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 42258 41471 145 303 0 41953 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 169032 [startup+51.1017 s] /proc/loadavg: 1.02 0.58 0.55 2/107 31269 /proc/meminfo: memFree=1332124/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=312344 CPUtime=51.08 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 78813 0 0 0 5034 74 0 0 25 0 1 0 25523210 319840256 77296 1992294400 134512640 135752675 4291883440 18446744073709551615 134639168 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 78086 77296 145 303 0 77781 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 312344 [startup+102.308 s] /proc/loadavg: 1.05 0.66 0.58 2/107 31270 /proc/meminfo: memFree=1099252/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=542780 CPUtime=102.27 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 136426 0 0 0 10106 121 0 0 25 0 1 0 25523210 555806720 134909 1992294400 134512640 135752675 4291883440 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 135695 134909 145 303 0 135390 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 542780 [startup+162.302 s] /proc/loadavg: 1.05 0.74 0.61 2/107 31272 /proc/meminfo: memFree=811448/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=831988 CPUtime=162.25 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 208741 0 0 0 16054 171 0 0 25 0 1 0 25523210 851955712 207224 1992294400 134512640 135752675 4291883440 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 207997 207224 145 303 0 207692 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 831988 [startup+222.301 s] /proc/loadavg: 1.05 0.80 0.63 2/107 31273 /proc/meminfo: memFree=722664/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=916552 CPUtime=222.23 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 231454 0 0 0 22035 188 0 0 25 0 1 0 25523210 938549248 228622 1992294400 134512640 135752675 4291883440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 229138 228622 146 303 0 228833 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 916552 [startup+282.302 s] /proc/loadavg: 1.10 0.86 0.66 2/107 31275 /proc/meminfo: memFree=722540/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=916552 CPUtime=282.23 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 231454 0 0 0 28030 193 0 0 25 0 1 0 25523210 938549248 228622 1992294400 134512640 135752675 4291883440 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 229138 228622 146 303 0 228833 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 916552 [startup+342.3 s] /proc/loadavg: 1.04 0.88 0.68 2/107 31277 /proc/meminfo: memFree=722540/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=916552 CPUtime=342.21 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 231454 0 0 0 34026 195 0 0 25 0 1 0 25523210 938549248 228622 1992294400 134512640 135752675 4291883440 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 229138 228622 146 303 0 228833 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 916552 [startup+402.301 s] /proc/loadavg: 1.01 0.90 0.70 2/107 31278 /proc/meminfo: memFree=722416/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=916552 CPUtime=402.19 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 231454 0 0 0 40021 198 0 0 25 0 1 0 25523210 938549248 228622 1992294400 134512640 135752675 4291883440 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 229138 228622 146 303 0 228833 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 916552 [startup+462.301 s] /proc/loadavg: 1.00 0.92 0.72 2/107 31283 /proc/meminfo: memFree=721796/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=916552 CPUtime=462.17 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 231454 0 0 0 46017 200 0 0 25 0 1 0 25523210 938549248 228622 1992294400 134512640 135752675 4291883440 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 229138 228622 146 303 0 228833 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 916552 [startup+522.301 s] /proc/loadavg: 1.00 0.93 0.73 2/107 31284 /proc/meminfo: memFree=721920/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=916552 CPUtime=522.16 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 231454 0 0 0 52013 203 0 0 25 0 1 0 25523210 938549248 228622 1992294400 134512640 135752675 4291883440 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 229138 228622 146 303 0 228833 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 916552 [startup+582.301 s] /proc/loadavg: 1.00 0.94 0.74 2/107 31286 /proc/meminfo: memFree=721920/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=916552 CPUtime=582.15 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 231454 0 0 0 58008 207 0 0 25 0 1 0 25523210 938549248 228622 1992294400 134512640 135752675 4291883440 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 229138 228622 146 303 0 228833 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 916552 [startup+642.301 s] /proc/loadavg: 1.00 0.95 0.75 2/107 31288 /proc/meminfo: memFree=721920/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=916552 CPUtime=642.14 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 231454 0 0 0 64005 209 0 0 25 0 1 0 25523210 938549248 228622 1992294400 134512640 135752675 4291883440 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 229138 228622 146 303 0 228833 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 916552 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.97 0.80 2/107 31294 /proc/meminfo: memFree=716340/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=922948 CPUtime=882.08 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 233042 0 0 0 87988 220 0 0 25 0 1 0 25523210 945098752 230210 1992294400 134512640 135752675 4291883440 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 230737 230210 146 303 0 230432 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 922948 [startup+942.301 s] /proc/loadavg: 1.00 0.97 0.81 2/107 31296 /proc/meminfo: memFree=695260/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=944372 CPUtime=942.06 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 238394 0 0 0 93980 226 0 0 25 0 1 0 25523210 967036928 235562 1992294400 134512640 135752675 4291883440 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 236093 235562 146 303 0 235788 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 944372 [startup+1002.3 s] /proc/loadavg: 1.00 0.97 0.82 2/107 31297 /proc/meminfo: memFree=672568/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=966808 CPUtime=1002.05 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 244018 0 0 0 99972 233 0 0 25 0 1 0 25523210 990011392 241186 1992294400 134512640 135752675 4291883440 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 241702 241186 146 303 0 241397 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 966808 [startup+1062.3 s] /proc/loadavg: 1.00 0.97 0.83 2/107 31299 /proc/meminfo: memFree=647272/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=992260 CPUtime=1062.03 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 250381 0 0 0 105962 241 0 0 25 0 1 0 25523210 1016074240 247549 1992294400 134512640 135752675 4291883440 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 248065 247549 146 303 0 247760 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 992260 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.83 2/107 31300 /proc/meminfo: memFree=636484/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1003228 CPUtime=1122.02 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 253109 0 0 0 111957 245 0 0 25 0 1 0 25523210 1027305472 250135 1992294400 134512640 135752675 4291883440 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 250807 250135 146 303 0 250502 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 1003228 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.84 2/107 31302 /proc/meminfo: memFree=636360/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1003228 CPUtime=1182 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 253109 0 0 0 117951 249 0 0 25 0 1 0 25523210 1027305472 250135 1992294400 134512640 135752675 4291883440 18446744073709551615 135204801 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 250807 250135 146 303 0 250502 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1003228 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.85 2/107 31304 /proc/meminfo: memFree=636112/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1003228 CPUtime=1241.99 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 253109 0 0 0 123947 252 0 0 25 0 1 0 25523210 1027305472 250135 1992294400 134512640 135752675 4291883440 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 250807 250135 146 303 0 250502 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1003228 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.85 2/107 31305 /proc/meminfo: memFree=635988/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1003228 CPUtime=1301.98 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 253109 0 0 0 129943 255 0 0 25 0 1 0 25523210 1027305472 250135 1992294400 134512640 135752675 4291883440 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 250807 250135 146 303 0 250502 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1003228 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.86 3/107 31307 /proc/meminfo: memFree=635988/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1003228 CPUtime=1361.95 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 253109 0 0 0 135938 257 0 0 25 0 1 0 25523210 1027305472 250135 1992294400 134512640 135752675 4291883440 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 250807 250135 146 303 0 250502 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1003228 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.86 2/107 31308 /proc/meminfo: memFree=635988/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1003228 CPUtime=1421.95 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 253109 0 0 0 141936 259 0 0 25 0 1 0 25523210 1027305472 250135 1992294400 134512640 135752675 4291883440 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 250807 250135 146 303 0 250502 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1003228 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.87 2/107 31310 /proc/meminfo: memFree=635988/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1003228 CPUtime=1481.93 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 253109 0 0 0 147929 264 0 0 25 0 1 0 25523210 1027305472 250135 1992294400 134512640 135752675 4291883440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 250807 250135 146 303 0 250502 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1003228 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.87 2/107 31312 /proc/meminfo: memFree=635988/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1003228 CPUtime=1541.91 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 253109 0 0 0 153924 267 0 0 25 0 1 0 25523210 1027305472 250135 1992294400 134512640 135752675 4291883440 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 250807 250135 146 303 0 250502 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1003228 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.88 2/107 31313 /proc/meminfo: memFree=635864/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1003228 CPUtime=1601.9 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 253109 0 0 0 159919 271 0 0 25 0 1 0 25523210 1027305472 250135 1992294400 134512640 135752675 4291883440 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 250807 250135 146 303 0 250502 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1003228 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.89 2/107 31315 /proc/meminfo: memFree=635864/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1003228 CPUtime=1661.88 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 253109 0 0 0 165915 273 0 0 25 0 1 0 25523210 1027305472 250135 1992294400 134512640 135752675 4291883440 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 250807 250135 146 303 0 250502 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1003228 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.89 2/107 31316 /proc/meminfo: memFree=635740/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1003228 CPUtime=1721.87 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 253109 0 0 0 171909 278 0 0 25 0 1 0 25523210 1027305472 250135 1992294400 134512640 135752675 4291883440 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 250807 250135 146 303 0 250502 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1003228 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.90 2/107 31318 /proc/meminfo: memFree=624084/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1015232 CPUtime=1781.86 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 256112 0 0 0 177903 283 0 0 25 0 1 0 25523210 1039597568 253138 1992294400 134512640 135752675 4291883440 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 253808 253138 146 303 0 253503 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1015232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.97 0.90 2/107 31318 /proc/meminfo: memFree=615404/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1023728 CPUtime=1800.05 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 258240 0 0 0 179721 284 0 0 25 0 1 0 25523210 1048297472 255266 1992294400 134512640 135752675 4291883440 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 255932 255266 146 303 0 255627 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1023728 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: 1.00 0.97 0.90 2/107 31318 /proc/meminfo: memFree=615404/2059040 swapFree=4155928/4192956 [pid=31266] ppid=31264 vsize=1023728 CPUtime=1800.05 /proc/31266/stat : 31266 (wbo1.4b) R 31264 31266 31188 0 -1 4202496 258240 0 0 0 179721 284 0 0 25 0 1 0 25523210 1048297472 255266 1992294400 134512640 135752675 4291883440 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31266/statm: 255932 255266 146 303 0 255627 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1023728 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.6 CPU time (s): 1800.16 CPU user time (s): 1797.22 CPU system time (s): 2.94355 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 1023728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.22 system time used= 2.94355 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 258240 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 22461 runsolver used 3.13452 second user time and 8.36273 second system time The end
Begin job on node014 at 2010-07-08 09:11:41 IDJOB=2702657 IDBENCH=48263 IDSOLVER=1190 FILE ID=node014/2702657-1278573101 PBS_JOBID= 11240102 Free space on /tmp= 62572 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_5.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-2702657-1278573101/watcher-2702657-1278573101 -o /tmp/evaluation-result-2702657-1278573101/solver-2702657-1278573101 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702657-1278573101.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0aee483b23f7a5b1d2af91be543c550b RANDOM SEED=1218464106 node014.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.246 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.49 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.246 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1642164 kB Buffers: 85856 kB Cached: 229356 kB SwapCached: 2392 kB Active: 160104 kB Inactive: 180800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1642164 kB SwapTotal: 4192956 kB SwapFree: 4155928 kB Dirty: 3504 kB Writeback: 0 kB AnonPages: 23372 kB Mapped: 13012 kB Slab: 54024 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180240 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-2702657-1278573101.opb Free space on /tmp at the end= 62568 MiB End job on node014 at 2010-07-08 09:41:45