Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -33 | 182.286 | 182.332 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_2.opb |
MD5SUM | 5255c8da63867fe6fe080ca048384827 |
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 | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -48 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2492 |
Sum of products size (including duplicates) | 4984 |
Number of different products | 1246 |
Sum of products size | 2492 |
0.00/0.01 c wbo 1.4 beta - 20100517 0.00/0.01 c Parsing opb file format. File HOME/instance-2702500-1278568579.opb. 0.00/0.01 c Instance file HOME/instance-2702500-1278568579.opb 0.00/0.01 c File size is 102705 bytes. 0.00/0.01 c Highest Coefficient sum: 19 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1446 | 0.00/0.01 c | Number Clauses: 1246 | 0.00/0.01 c | Number Cardinality: 400 | 0.00/0.01 c | Number PB Constraints: 1246 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 200 2892 5946 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 200 0.00/0.02 o 200 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 200 2893 6146 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 199 0.00/0.02 o 199 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 200 2894 6346 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 198 0.00/0.02 o 198 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 200 2895 6546 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 197 0.00/0.02 o 197 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 200 2896 6746 | 5000 1 198 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 196 0.00/0.02 o 196 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 200 2897 6946 | 5000 1 198 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 195 0.00/0.02 o 195 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 2 | 200 2898 7146 | 5000 2 197 | 0.000 % | 0.02/0.02 c =============================================================================== 0.02/0.02 c New solution: 194 0.02/0.02 o 194 0.02/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.02/0.02 c =============================================================================== 0.02/0.02 c | 2 | 200 2899 7346 | 5000 2 197 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: 193 0.02/0.03 o 193 0.02/0.03 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 2 | 200 2900 7546 | 5000 2 197 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: 192 0.02/0.03 o 192 0.02/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 5 | 200 2901 7746 | 5000 5 195 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: 191 0.02/0.03 o 191 0.02/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 7 | 200 2902 7946 | 5000 7 194 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: 190 0.02/0.03 o 190 0.02/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 8 | 200 2903 8146 | 5000 8 194 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: 189 0.02/0.03 o 189 0.02/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 9 | 200 2904 8346 | 5000 9 193 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: 188 0.02/0.03 o 188 0.02/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 9 | 200 2905 8546 | 5000 9 193 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: 187 0.02/0.03 o 187 0.02/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 17 | 200 2906 8746 | 5000 17 191 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: 186 0.02/0.03 o 186 0.02/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 22 | 200 2907 8946 | 5000 22 190 | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 185 0.02/0.04 o 185 0.02/0.04 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 34 | 200 2908 9146 | 5000 34 189 | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 184 0.02/0.04 o 184 0.02/0.04 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 36 | 200 2909 9346 | 5000 36 189 | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 183 0.02/0.04 o 183 0.02/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 41 | 200 2910 9546 | 5000 41 189 | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 182 0.02/0.04 o 182 0.02/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 63 | 200 2911 9746 | 5000 63 187 | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 181 0.02/0.04 o 181 0.02/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 81 | 200 2912 9946 | 5000 81 186 | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: 180 0.02/0.05 o 180 0.02/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 127 | 200 2913 10146 | 5000 127 185 | 0.000 % | 0.02/0.06 c | 227 | 200 2913 10146 | 5500 227 183 | 86.169 % | 0.02/0.07 c | 377 | 200 2913 10146 | 6050 377 182 | 86.169 % | 0.02/0.10 c | 602 | 200 2913 10146 | 6655 602 182 | 86.169 % | 0.09/0.14 c | 941 | 200 2913 10146 | 7320 941 183 | 86.169 % | 0.19/0.21 c | 1449 | 200 2913 10146 | 8052 1449 183 | 86.169 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 179 0.19/0.22 o 179 0.19/0.22 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1500 | 200 2914 10346 | 5000 1500 183 | 86.169 % | 0.19/0.25 c | 1601 | 200 2914 10346 | 5500 1601 183 | 86.169 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 178 0.19/0.27 o 178 0.19/0.27 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 1739 | 200 2915 10546 | 5000 1739 183 | 86.169 % | 0.19/0.29 c | 1839 | 200 2915 10546 | 5500 1839 183 | 86.169 % | 0.29/0.31 c | 1990 | 200 2915 10546 | 6050 1990 182 | 86.169 % | 0.29/0.36 c | 2217 | 200 2915 10546 | 6655 2217 182 | 86.169 % | 0.39/0.44 c | 2554 | 200 2915 10546 | 7320 2554 182 | 86.169 % | 0.49/0.54 c | 3062 | 200 2915 10546 | 8052 3062 182 | 86.169 % | 0.69/0.72 c | 3822 | 200 2915 10546 | 8857 3822 182 | 86.169 % | 1.00/1.07 c | 4962 | 200 2915 10546 | 9743 4962 182 | 86.169 % | 1.49/1.55 c | 6672 | 200 2915 10546 | 10717 6672 181 | 86.169 % | 2.39/2.41 c | 9235 | 200 2915 10546 | 11789 9235 181 | 86.169 % | 2.69/2.75 c =============================================================================== 2.69/2.75 c New solution: 177 2.69/2.75 o 177 2.69/2.75 c Elapsed CPU time: 2.70559 s Remaining CPU time: 177.294 s 2.69/2.75 c =============================================================================== 2.69/2.75 c | 11213 | 200 2916 10746 | 5000 11213 180 | 86.169 % | 2.79/2.86 c | 11316 | 200 2916 10746 | 5500 5710 180 | 86.169 % | 2.89/2.91 c | 11466 | 200 2916 10746 | 6050 5860 180 | 86.169 % | 2.89/2.95 c | 11693 | 200 2916 10746 | 6655 6087 180 | 86.169 % | 2.89/2.99 c | 12031 | 200 2916 10746 | 7320 6425 180 | 86.169 % | 3.08/3.14 c | 12538 | 200 2916 10746 | 8052 6932 181 | 86.169 % | 3.39/3.45 c | 13298 | 200 2916 10746 | 8857 7692 180 | 86.169 % | 3.79/3.80 c =============================================================================== 3.79/3.80 c New solution: 176 3.79/3.80 o 176 3.79/3.80 c Elapsed CPU time: 3.74643 s Remaining CPU time: 176.254 s 3.79/3.80 c =============================================================================== 3.79/3.80 c | 14399 | 200 2917 10946 | 5000 8793 180 | 86.169 % | 3.89/3.92 c | 14500 | 200 2917 10946 | 5500 4498 181 | 86.169 % | 3.89/3.94 c | 14652 | 200 2917 10946 | 6050 4650 181 | 86.169 % | 3.89/3.98 c | 14878 | 200 2917 10946 | 6655 4876 180 | 86.169 % | 3.98/4.02 c | 15217 | 200 2917 10946 | 7320 5215 180 | 86.169 % | 3.98/4.04 c =============================================================================== 3.98/4.04 c New solution: 175 3.98/4.04 o 175 3.98/4.04 c Elapsed CPU time: 3.97839 s Remaining CPU time: 176.022 s 3.98/4.04 c =============================================================================== 3.98/4.04 c | 15304 | 200 2918 11146 | 5000 5302 180 | 86.169 % | 3.98/4.07 c | 15404 | 200 2918 11146 | 5500 5402 180 | 86.169 % | 4.09/4.11 c | 15556 | 200 2918 11146 | 6050 5554 180 | 86.169 % | 4.09/4.17 c | 15781 | 200 2918 11146 | 6655 5779 180 | 86.169 % | 4.19/4.23 c | 16118 | 200 2918 11146 | 7320 6116 180 | 86.169 % | 4.29/4.36 c | 16624 | 200 2918 11146 | 8052 6622 180 | 86.169 % | 4.49/4.56 c | 17384 | 200 2918 11146 | 8857 7382 180 | 86.169 % | 4.69/4.73 c =============================================================================== 4.69/4.73 c New solution: 174 4.69/4.73 o 174 4.69/4.73 c Elapsed CPU time: 4.65529 s Remaining CPU time: 175.345 s 4.69/4.73 c =============================================================================== 4.69/4.73 c | 18260 | 200 2919 11346 | 5000 8258 179 | 86.169 % | 4.79/4.80 c | 18360 | 200 2919 11346 | 5500 4229 178 | 86.169 % | 4.79/4.83 c | 18510 | 200 2919 11346 | 6050 4379 178 | 86.169 % | 4.79/4.87 c | 18736 | 200 2919 11346 | 6655 4605 178 | 86.169 % | 4.89/4.93 c | 19075 | 200 2919 11346 | 7320 4944 178 | 86.169 % | 4.99/5.04 c | 19582 | 200 2919 11346 | 8052 5451 178 | 86.169 % | 4.99/5.07 c =============================================================================== 4.99/5.07 c New solution: 173 4.99/5.07 o 173 4.99/5.07 c Elapsed CPU time: 4.99424 s Remaining CPU time: 175.006 s 4.99/5.07 c =============================================================================== 4.99/5.07 c | 19702 | 200 2920 11546 | 5000 5571 178 | 86.169 % | 5.08/5.10 c | 19802 | 200 2920 11546 | 5500 5671 178 | 86.169 % | 5.08/5.13 c | 19954 | 200 2920 11546 | 6050 5823 178 | 86.169 % | 5.08/5.18 c | 20180 | 200 2920 11546 | 6655 6049 178 | 86.169 % | 5.19/5.27 c | 20517 | 200 2920 11546 | 7320 6386 178 | 86.169 % | 5.40/5.41 c | 21024 | 200 2920 11546 | 8052 6893 178 | 86.169 % | 5.59/5.66 c | 21785 | 200 2920 11546 | 8857 7654 178 | 86.169 % | 6.08/6.10 c | 22925 | 200 2920 11546 | 9743 8794 178 | 86.169 % | 6.08/6.18 c =============================================================================== 6.08/6.18 c New solution: 172 6.08/6.18 o 172 6.08/6.18 c Elapsed CPU time: 6.09007 s Remaining CPU time: 173.91 s 6.08/6.18 c =============================================================================== 6.08/6.18 c | 23251 | 200 2921 11746 | 5000 9120 178 | 86.169 % | 6.18/6.26 c | 23351 | 200 2921 11746 | 5500 4660 178 | 86.169 % | 6.28/6.30 c | 23501 | 200 2921 11746 | 6050 4810 178 | 86.169 % | 6.28/6.36 c | 23727 | 200 2921 11746 | 6655 5036 178 | 86.169 % | 6.39/6.46 c | 24066 | 200 2921 11746 | 7320 5375 178 | 86.169 % | 6.50/6.60 c | 24573 | 200 2921 11746 | 8052 5882 177 | 86.169 % | 6.78/6.80 c | 25332 | 200 2921 11746 | 8857 6641 177 | 86.169 % | 7.09/7.19 c | 26472 | 200 2921 11746 | 9743 7781 177 | 86.169 % | 7.59/7.67 c | 28180 | 200 2921 11746 | 10717 9489 176 | 86.169 % | 7.59/7.70 c =============================================================================== 7.59/7.70 c New solution: 171 7.59/7.70 o 171 7.59/7.70 c Elapsed CPU time: 7.59185 s Remaining CPU time: 172.408 s 7.59/7.70 c =============================================================================== 7.59/7.70 c | 28279 | 200 2922 11946 | 5000 9588 176 | 86.169 % | 7.69/7.76 c | 28379 | 200 2922 11946 | 5500 4894 175 | 86.169 % | 7.79/7.81 c | 28529 | 200 2922 11946 | 6050 5044 175 | 86.169 % | 7.89/7.92 c | 28755 | 200 2922 11946 | 6655 5270 175 | 86.169 % | 7.99/8.05 c | 29092 | 200 2922 11946 | 7320 5607 175 | 86.169 % | 8.29/8.36 c | 29598 | 200 2922 11946 | 8052 6113 175 | 86.169 % | 8.58/8.63 c | 30357 | 200 2922 11946 | 8857 6872 175 | 86.169 % | 8.99/9.10 c | 31498 | 200 2922 11946 | 9743 8013 175 | 86.169 % | 9.98/10.04 c | 33206 | 200 2922 11946 | 10717 9721 175 | 86.169 % | 11.29/11.36 c | 35769 | 200 2922 11946 | 11789 6216 175 | 86.169 % | 12.49/12.50 c | 39614 | 200 2922 11946 | 12968 10061 174 | 86.169 % | 14.08/14.16 c | 45380 | 200 2922 11946 | 14265 8632 173 | 86.169 % | 16.59/16.63 c | 54029 | 200 2922 11946 | 15692 9441 173 | 86.169 % | 22.78/22.80 c | 67005 | 200 2922 11946 | 17261 13861 173 | 86.169 % | 28.28/28.38 c | 86467 | 200 2922 11946 | 18987 14644 172 | 86.169 % | 42.68/42.74 c | 115661 | 200 2922 11946 | 20886 13232 173 | 86.169 % | 59.78/59.88 c =============================================================================== 59.78/59.88 c New solution: 170 59.78/59.88 o 170 59.78/59.88 c Elapsed CPU time: 59.304 s Remaining CPU time: 120.696 s 59.78/59.88 c =============================================================================== 59.78/59.88 c | 152205 | 200 2923 12146 | 5000 14866 172 | 86.169 % | 59.98/60.08 c | 152305 | 200 2923 12146 | 5500 3817 172 | 86.169 % | 60.08/60.11 c | 152455 | 200 2923 12146 | 6050 3967 172 | 86.169 % | 60.08/60.15 c | 152681 | 200 2923 12146 | 6655 4193 172 | 86.169 % | 60.17/60.21 c | 153021 | 200 2923 12146 | 7320 4533 172 | 86.169 % | 60.27/60.31 c | 153527 | 200 2923 12146 | 8052 5039 173 | 86.169 % | 60.38/60.48 c | 154287 | 200 2923 12146 | 8857 5799 173 | 86.169 % | 60.57/60.69 c | 155427 | 200 2923 12146 | 9743 6939 173 | 86.169 % | 60.98/61.08 c | 157135 | 200 2923 12146 | 10717 8647 172 | 86.169 % | 61.48/61.60 c | 159700 | 200 2923 12146 | 11789 11212 172 | 86.169 % | 62.37/62.49 c | 163544 | 200 2923 12146 | 12968 8455 172 | 86.169 % | 63.57/63.67 c =============================================================================== 63.57/63.67 c New solution: 169 63.57/63.67 o 169 63.57/63.67 c Elapsed CPU time: 63.0454 s Remaining CPU time: 116.955 s 63.57/63.67 c =============================================================================== 63.57/63.67 c | 167353 | 200 2924 12346 | 5000 12264 172 | 86.169 % | 63.68/63.78 c | 167454 | 200 2924 12346 | 5500 6233 172 | 86.169 % | 63.78/63.83 c | 167604 | 200 2924 12346 | 6050 6383 172 | 86.169 % | 63.87/63.90 c | 167830 | 200 2924 12346 | 6655 6609 172 | 86.169 % | 63.97/64.00 c | 168167 | 200 2924 12346 | 7320 6946 172 | 86.169 % | 64.08/64.15 c | 168674 | 200 2924 12346 | 8052 7453 173 | 86.169 % | 64.27/64.36 c | 169433 | 200 2924 12346 | 8857 8212 173 | 86.169 % | 64.37/64.47 c =============================================================================== 64.37/64.47 c New solution: 168 64.37/64.47 o 168 64.37/64.47 c Elapsed CPU time: 63.8293 s Remaining CPU time: 116.171 s 64.37/64.47 c =============================================================================== 64.37/64.47 c | 169754 | 200 2925 12546 | 5000 8533 173 | 86.169 % | 64.47/64.53 c | 169856 | 200 2925 12546 | 5500 4369 174 | 86.169 % | 64.47/64.57 c | 170007 | 200 2925 12546 | 6050 4520 175 | 86.169 % | 64.57/64.63 c | 170232 | 200 2925 12546 | 6655 4745 176 | 86.169 % | 64.67/64.72 c | 170569 | 200 2925 12546 | 7320 5082 176 | 86.169 % | 64.78/64.84 c | 171076 | 200 2925 12546 | 8052 5589 176 | 86.169 % | 64.98/65.02 c | 171835 | 200 2925 12546 | 8857 6348 176 | 86.169 % | 65.17/65.29 c | 172975 | 200 2925 12546 | 9743 7488 175 | 86.169 % | 65.67/65.78 c | 174686 | 200 2925 12546 | 10717 9199 175 | 86.169 % | 66.58/66.65 c | 177248 | 200 2925 12546 | 11789 11761 174 | 86.169 % | 67.48/67.51 c | 181093 | 200 2925 12546 | 12968 9003 171 | 86.169 % | 68.87/68.94 c | 186860 | 200 2925 12546 | 14265 7579 170 | 86.169 % | 71.08/71.18 c | 195511 | 200 2925 12546 | 15692 8390 171 | 86.169 % | 76.68/76.71 c | 208486 | 200 2925 12546 | 17261 12811 171 | 86.169 % | 85.68/85.77 c | 227948 | 200 2925 12546 | 18987 13596 171 | 86.169 % | 99.97/100.00 c | 257140 | 200 2925 12546 | 20886 12187 170 | 86.169 % | 120.36/120.41 c | 300929 | 200 2925 12546 | 22974 21098 170 | 86.169 % | 150.06/150.10 c | 366613 | 200 2925 12546 | 25272 18660 170 | 86.169 % | 176.25/176.30 c =============================================================================== 176.25/176.30 c New solution: 167 176.25/176.30 o 167 176.25/176.30 c Elapsed CPU time: 174.648 s Remaining CPU time: 5.35155 s 176.25/176.30 c =============================================================================== 176.25/176.30 c | 433074 | 200 2926 12746 | 5000 21764 169 | 86.169 % | 176.45/176.59 c | 433174 | 200 2926 12746 | 5500 5415 170 | 86.169 % | 176.55/176.63 c | 433325 | 200 2926 12746 | 6050 5566 170 | 86.169 % | 176.65/176.74 c | 433552 | 200 2926 12746 | 6655 5793 171 | 86.169 % | 176.85/176.92 c | 433890 | 200 2926 12746 | 7320 6131 172 | 86.169 % | 176.95/177.08 c | 434396 | 200 2926 12746 | 8052 6637 173 | 86.169 % | 177.25/177.39 c | 435155 | 200 2926 12746 | 8857 7396 173 | 86.169 % | 177.75/177.84 c | 436296 | 200 2926 12746 | 9743 8537 175 | 86.169 % | 178.34/178.48 c | 438004 | 200 2926 12746 | 10717 10245 174 | 86.169 % | 179.26/179.38 c | 440566 | 200 2926 12746 | 11789 6740 174 | 86.169 % | 180.44/180.55 c | 444410 | 200 2926 12746 | 12968 10584 172 | 86.169 % | 181.75/181.85 c There are 1246 assigned variables. 0 in cost function. 182.15/182.29 c core #1 182.15/182.29 c #cores: 1 182.15/182.29 c Final Weight: 167 182.15/182.29 o 167 182.15/182.29 s OPTIMUM FOUND 182.15/182.29 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 x117 x118 x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 -x148 x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 182.15/182.29 c Total CPU time: 180.589 s
OK -33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702500-1278568579/watcher-2702500-1278568579 -o /tmp/evaluation-result-2702500-1278568579/solver-2702500-1278568579 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702500-1278568579.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.02 1.00 3/106 31079 /proc/meminfo: memFree=1686384/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=2964 CPUtime=0 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 345 0 0 0 0 0 0 0 19 0 1 0 25070413 3035136 264 1992294400 134512640 135751879 4294891056 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 741 264 145 303 0 410 0 [startup+0.029343 s] /proc/loadavg: 1.00 1.02 1.00 3/106 31079 /proc/meminfo: memFree=1686384/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=3264 CPUtime=0.02 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 486 0 0 0 2 0 0 0 19 0 1 0 25070413 3342336 379 1992294400 134512640 135751879 4294891056 18446744073709551615 134598944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 816 379 146 303 0 511 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3264 [startup+0.101349 s] /proc/loadavg: 1.00 1.02 1.00 3/106 31079 /proc/meminfo: memFree=1686384/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=3648 CPUtime=0.09 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 576 0 0 0 9 0 0 0 20 0 1 0 25070413 3735552 469 1992294400 134512640 135751879 4294891056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 912 469 147 303 0 607 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3648 [startup+0.301366 s] /proc/loadavg: 1.00 1.02 1.00 3/106 31079 /proc/meminfo: memFree=1686384/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=4676 CPUtime=0.29 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 848 0 0 0 29 0 0 0 20 0 1 0 25070413 4788224 741 1992294400 134512640 135751879 4294891056 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 1169 741 147 303 0 864 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4676 [startup+0.701402 s] /proc/loadavg: 1.00 1.02 1.00 3/106 31079 /proc/meminfo: memFree=1686384/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=6228 CPUtime=0.69 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 1227 0 0 0 68 1 0 0 20 0 1 0 25070413 6377472 1120 1992294400 134512640 135751879 4294891056 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 1557 1120 147 303 0 1252 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6228 [startup+1.50147 s] /proc/loadavg: 1.00 1.02 1.00 2/107 31080 /proc/meminfo: memFree=1681912/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=8288 CPUtime=1.49 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 1746 0 0 0 147 2 0 0 23 0 1 0 25070413 8486912 1639 1992294400 134512640 135751879 4294891056 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 2072 1639 147 303 0 1767 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8288 [startup+3.10062 s] /proc/loadavg: 1.00 1.02 1.00 2/107 31080 /proc/meminfo: memFree=1678936/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=13584 CPUtime=3.08 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 3069 0 0 0 304 4 0 0 25 0 1 0 25070413 13910016 2962 1992294400 134512640 135751879 4294891056 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 3396 2962 148 303 0 3091 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13584 [startup+6.30091 s] /proc/loadavg: 1.00 1.02 1.00 2/107 31080 /proc/meminfo: memFree=1668148/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=22580 CPUtime=6.28 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 5322 0 0 0 620 8 0 0 25 0 1 0 25070413 23121920 5215 1992294400 134512640 135751879 4294891056 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 5645 5215 148 303 0 5340 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 22580 [startup+12.7005 s] /proc/loadavg: 1.00 1.02 1.00 2/107 31080 /proc/meminfo: memFree=1654632/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=36240 CPUtime=12.68 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 8715 0 0 0 1253 15 0 0 25 0 1 0 25070413 37109760 8608 1992294400 134512640 135751879 4294891056 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 9060 8608 148 303 0 8755 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36240 [startup+25.5016 s] /proc/loadavg: 1.00 1.02 1.00 2/107 31080 /proc/meminfo: memFree=1625616/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=64060 CPUtime=25.49 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 15657 0 0 0 2521 28 0 0 25 0 1 0 25070413 65597440 15550 1992294400 134512640 135751879 4294891056 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 16015 15550 148 303 0 15710 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 64060 [startup+51.1009 s] /proc/loadavg: 1.00 1.01 1.00 2/107 31082 /proc/meminfo: memFree=1579612/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=110472 CPUtime=51.07 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 27248 0 0 0 5058 49 0 0 25 0 1 0 25070413 113123328 27141 1992294400 134512640 135751879 4294891056 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 27618 27141 148 303 0 27313 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 110472 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/107 31082 /proc/meminfo: memFree=1481032/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=207512 CPUtime=102.27 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 51490 0 0 0 10133 94 0 0 25 0 1 0 25070413 212492288 51383 1992294400 134512640 135751879 4294891056 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 51878 51383 148 303 0 51573 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 207512 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31084 /proc/meminfo: memFree=1373772/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=315480 CPUtime=162.25 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 78433 0 0 0 16075 150 0 0 25 0 1 0 25070413 323051520 78326 1992294400 134512640 135751879 4294891056 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 78870 78326 148 303 0 78565 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 315480 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31084 /proc/meminfo: memFree=1366084/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=323160 CPUtime=166.25 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 80373 0 0 0 16470 155 0 0 25 0 1 0 25070413 330915840 80266 1992294400 134512640 135751879 4294891056 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 80790 80266 148 303 0 80485 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 323160 [startup+172.709 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31084 /proc/meminfo: memFree=1354800/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=333668 CPUtime=172.65 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 82994 0 0 0 17107 158 0 0 25 0 1 0 25070413 341676032 82887 1992294400 134512640 135751879 4294891056 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 83417 82887 148 303 0 83112 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 333668 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31084 /proc/meminfo: memFree=1346120/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=344172 CPUtime=179.05 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 85613 0 0 0 17742 163 0 0 25 0 1 0 25070413 352432128 85506 1992294400 134512640 135751879 4294891056 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 86043 85506 148 303 0 85738 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 344172 [startup+180.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31084 /proc/meminfo: memFree=1341160/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=348140 CPUtime=180.64 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 86594 0 0 0 17900 164 0 0 25 0 1 0 25070413 356495360 86487 1992294400 134512640 135751879 4294891056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 87035 86487 148 303 0 86730 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 348140 [startup+181.508 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31084 /proc/meminfo: memFree=1338680/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=350196 CPUtime=181.46 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 87116 0 0 0 17980 166 0 0 25 0 1 0 25070413 358600704 87009 1992294400 134512640 135751879 4294891056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 87549 87009 148 303 0 87244 0 Current children cumulated CPU time (s) 181.46 Current children cumulated vsize (KiB) 350196 [startup+181.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31084 /proc/meminfo: memFree=1338680/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=350868 CPUtime=181.85 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202496 87273 0 0 0 18019 166 0 0 25 0 1 0 25070413 359288832 87166 1992294400 134512640 135751879 4294891056 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31079/statm: 87717 87166 149 303 0 87412 0 Current children cumulated CPU time (s) 181.85 Current children cumulated vsize (KiB) 350868 [startup+182.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31084 /proc/meminfo: memFree=1338680/2059040 swapFree=4138592/4192956 [pid=31079] ppid=31077 vsize=0 CPUtime=182.24 /proc/31079/stat : 31079 (wbo1.4b) R 31077 31079 30553 0 -1 4202500 87280 0 0 0 18058 166 0 0 25 0 1 0 25070413 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/31079/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 182.332 CPU time (s): 182.286 CPU user time (s): 180.589 CPU system time (s): 1.69774 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 350868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.589 system time used= 1.69774 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87280 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= 7 involuntary context switches= 279 runsolver used 0.295955 second user time and 0.876866 second system time The end
Begin job on node015 at 2010-07-08 07:56:19 IDJOB=2702500 IDBENCH=48185 IDSOLVER=1161 FILE ID=node015/2702500-1278568579 PBS_JOBID= 11239555 Free space on /tmp= 62584 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_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-2702500-1278568579/watcher-2702500-1278568579 -o /tmp/evaluation-result-2702500-1278568579/solver-2702500-1278568579 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702500-1278568579.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5255c8da63867fe6fe080ca048384827 RANDOM SEED=1304365092 node015.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.214 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.42 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.214 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: 1687532 kB Buffers: 67520 kB Cached: 212164 kB SwapCached: 9892 kB Active: 128808 kB Inactive: 168120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1687532 kB SwapTotal: 4192956 kB SwapFree: 4138592 kB Dirty: 2692 kB Writeback: 0 kB AnonPages: 13876 kB Mapped: 12012 kB Slab: 52732 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183080 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-2702500-1278568579.opb Free space on /tmp at the end= 62584 MiB End job on node015 at 2010-07-08 07:59:22