Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.16 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_4.opb |
MD5SUM | 69a7dda5c80f9dda65f29fb6eb76eed7 |
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 | -50 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -53 |
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 | 21 |
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) | 2524 |
Sum of products size (including duplicates) | 5048 |
Number of different products | 1262 |
Sum of products size | 2524 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702557-1278570107.opb. 0.00/0.00 c Instance file HOME/instance-2702557-1278570107.opb 0.00/0.00 c File size is 103979 bytes. 0.00/0.01 c Highest Coefficient sum: 21 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 1462 | 0.00/0.01 c | Number Clauses: 1262 | 0.00/0.01 c | Number Cardinality: 400 | 0.00/0.01 c | Number PB Constraints: 1262 | 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 2924 6105 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 0 0.00/0.02 o 0 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 2925 6305 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -1 0.00/0.02 o -1 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 | 0 | 200 2926 6505 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -2 0.00/0.02 o -2 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 | 0 | 200 2927 6705 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -3 0.00/0.02 o -3 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 | 1 | 200 2928 6905 | 5000 1 198 | 0.000 % | 0.02/0.02 c =============================================================================== 0.02/0.02 c New solution: -4 0.02/0.02 o -4 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 | 1 | 200 2929 7105 | 5000 1 198 | 0.000 % | 0.02/0.02 c =============================================================================== 0.02/0.02 c New solution: -5 0.02/0.02 o -5 0.02/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.02/0.02 c =============================================================================== 0.02/0.02 c | 1 | 200 2930 7305 | 5000 1 198 | 0.000 % | 0.02/0.02 c =============================================================================== 0.02/0.02 c New solution: -6 0.02/0.02 o -6 0.02/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.02/0.02 c =============================================================================== 0.02/0.02 c | 1 | 200 2931 7505 | 5000 1 198 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -7 0.02/0.03 o -7 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 | 2 | 200 2932 7705 | 5000 2 196 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -8 0.02/0.03 o -8 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 | 19 | 200 2933 7905 | 5000 19 194 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -9 0.02/0.03 o -9 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 | 24 | 200 2934 8105 | 5000 24 193 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -10 0.02/0.03 o -10 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 | 32 | 200 2935 8305 | 5000 32 193 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -11 0.02/0.03 o -11 0.02/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 76 | 200 2936 8505 | 5000 76 192 | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: -12 0.02/0.04 o -12 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 | 99 | 200 2937 8705 | 5000 99 191 | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: -13 0.02/0.04 o -13 0.02/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 149 | 200 2938 8905 | 5000 149 191 | 0.000 % | 0.02/0.05 c | 250 | 200 2938 8905 | 5500 250 190 | 86.320 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: -14 0.02/0.05 o -14 0.02/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 257 | 200 2939 9105 | 5000 257 190 | 86.320 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: -15 0.02/0.06 o -15 0.02/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 313 | 200 2940 9305 | 5000 313 189 | 86.320 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c New solution: -16 0.02/0.07 o -16 0.02/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.02/0.07 c =============================================================================== 0.02/0.07 c | 398 | 200 2941 9505 | 5000 398 188 | 86.320 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c New solution: -17 0.02/0.07 o -17 0.02/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s 0.02/0.07 c =============================================================================== 0.02/0.07 c | 439 | 200 2942 9705 | 5000 439 188 | 86.320 % | 0.02/0.08 c | 539 | 200 2942 9705 | 5500 539 187 | 86.320 % | 0.02/0.09 c =============================================================================== 0.02/0.09 c New solution: -18 0.02/0.09 o -18 0.02/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s 0.02/0.09 c =============================================================================== 0.02/0.09 c | 594 | 200 2943 9905 | 5000 594 187 | 86.320 % | 0.09/0.11 c | 695 | 200 2943 9905 | 5500 695 187 | 86.320 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: -19 0.09/0.12 o -19 0.09/0.12 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 803 | 200 2944 10105 | 5000 803 186 | 86.320 % | 0.09/0.13 c | 904 | 200 2944 10105 | 5500 904 186 | 86.320 % | 0.09/0.15 c | 1055 | 200 2944 10105 | 6050 1055 186 | 86.320 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: -20 0.09/0.16 o -20 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 1139 | 200 2945 10305 | 5000 1139 186 | 86.320 % | 0.09/0.18 c | 1240 | 200 2945 10305 | 5500 1240 185 | 86.320 % | 0.19/0.21 c | 1391 | 200 2945 10305 | 6050 1391 185 | 86.320 % | 0.19/0.25 c | 1616 | 200 2945 10305 | 6655 1616 185 | 86.320 % | 0.29/0.32 c | 1953 | 200 2945 10305 | 7320 1953 184 | 86.320 % | 0.39/0.43 c | 2459 | 200 2945 10305 | 8052 2459 184 | 86.320 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: -21 0.49/0.51 o -21 0.49/0.51 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 2789 | 200 2946 10505 | 5000 2789 185 | 86.320 % | 0.49/0.52 c | 2892 | 200 2946 10505 | 5500 2892 185 | 86.320 % | 0.49/0.54 c | 3043 | 200 2946 10505 | 6050 3043 184 | 86.320 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: -22 0.49/0.56 o -22 0.49/0.56 c Elapsed CPU time: 0.548916 s Remaining CPU time: 179.451 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 3199 | 200 2947 10705 | 5000 3199 184 | 86.320 % | 0.49/0.59 c | 3300 | 200 2947 10705 | 5500 3300 184 | 86.320 % | 0.59/0.64 c | 3451 | 200 2947 10705 | 6050 3451 184 | 86.320 % | 0.70/0.72 c | 3677 | 200 2947 10705 | 6655 3677 184 | 86.320 % | 0.79/0.83 c | 4014 | 200 2947 10705 | 7320 4014 184 | 86.320 % | 0.89/1.00 c | 4520 | 200 2947 10705 | 8052 4520 184 | 86.320 % | 1.29/1.32 c | 5279 | 200 2947 10705 | 8857 5279 184 | 86.320 % | 1.79/1.83 c | 6419 | 200 2947 10705 | 9743 6419 185 | 86.320 % | 2.59/2.60 c | 8129 | 200 2947 10705 | 10717 8129 184 | 86.320 % | 3.69/3.72 c | 10693 | 200 2947 10705 | 11789 10693 183 | 86.320 % | 4.59/4.65 c =============================================================================== 4.59/4.65 c New solution: -23 4.59/4.65 o -23 4.59/4.65 c Elapsed CPU time: 4.6023 s Remaining CPU time: 175.398 s 4.59/4.65 c =============================================================================== 4.59/4.65 c | 11921 | 200 2948 10905 | 5000 11921 182 | 86.320 % | 4.69/4.72 c | 12022 | 200 2948 10905 | 5500 6062 180 | 86.320 % | 4.69/4.77 c | 12172 | 200 2948 10905 | 6050 6212 180 | 86.320 % | 4.79/4.81 c | 12399 | 200 2948 10905 | 6655 6439 180 | 86.320 % | 4.79/4.88 c | 12740 | 200 2948 10905 | 7320 6780 180 | 86.320 % | 4.89/4.98 c | 13247 | 200 2948 10905 | 8052 7287 180 | 86.320 % | 5.09/5.15 c | 14007 | 200 2948 10905 | 8857 8047 180 | 86.320 % | 5.39/5.49 c | 15147 | 200 2948 10905 | 9743 9187 179 | 86.320 % | 5.89/5.94 c =============================================================================== 5.89/5.94 c New solution: -24 5.89/5.94 o -24 5.89/5.94 c Elapsed CPU time: 5.86311 s Remaining CPU time: 174.137 s 5.89/5.94 c =============================================================================== 5.89/5.94 c | 16730 | 200 2949 11105 | 5000 10770 179 | 86.320 % | 5.99/6.02 c | 16830 | 200 2949 11105 | 5500 5485 178 | 86.320 % | 5.99/6.07 c | 16981 | 200 2949 11105 | 6050 5636 178 | 86.320 % | 6.09/6.14 c | 17206 | 200 2949 11105 | 6655 5861 178 | 86.320 % | 6.19/6.21 c | 17544 | 200 2949 11105 | 7320 6199 178 | 86.320 % | 6.29/6.34 c | 18050 | 200 2949 11105 | 8052 6705 178 | 86.320 % | 6.50/6.51 c | 18810 | 200 2949 11105 | 8857 7465 178 | 86.320 % | 6.89/6.98 c | 19949 | 200 2949 11105 | 9743 8604 178 | 86.320 % | 7.79/7.82 c | 21657 | 200 2949 11105 | 10717 10312 178 | 86.320 % | 8.49/8.51 c =============================================================================== 8.49/8.51 c New solution: -25 8.49/8.51 o -25 8.49/8.51 c Elapsed CPU time: 8.40772 s Remaining CPU time: 171.592 s 8.49/8.51 c =============================================================================== 8.49/8.51 c | 22900 | 200 2950 11305 | 5000 11555 178 | 86.320 % | 8.59/8.61 c | 23002 | 200 2950 11305 | 5500 5880 177 | 86.320 % | 8.59/8.65 c | 23153 | 200 2950 11305 | 6050 6031 177 | 86.320 % | 8.70/8.77 c | 23379 | 200 2950 11305 | 6655 6257 177 | 86.320 % | 8.80/8.85 c =============================================================================== 8.80/8.85 c New solution: -26 8.80/8.85 o -26 8.80/8.85 c Elapsed CPU time: 8.75267 s Remaining CPU time: 171.247 s 8.80/8.85 c =============================================================================== 8.80/8.85 c | 23567 | 200 2951 11505 | 5000 6445 177 | 86.320 % | 8.80/8.89 c | 23668 | 200 2951 11505 | 5500 3324 177 | 86.320 % | 8.89/8.92 c | 23819 | 200 2951 11505 | 6050 3475 177 | 86.320 % | 8.89/8.97 c | 24046 | 200 2951 11505 | 6655 3702 177 | 86.320 % | 8.99/9.02 c =============================================================================== 8.99/9.02 c New solution: -27 8.99/9.02 o -27 8.99/9.02 c Elapsed CPU time: 8.91864 s Remaining CPU time: 171.081 s 8.99/9.02 c =============================================================================== 8.99/9.02 c | 24255 | 200 2952 11705 | 5000 3911 177 | 86.320 % | 8.99/9.05 c | 24356 | 200 2952 11705 | 5500 4012 177 | 86.320 % | 9.09/9.10 c | 24506 | 200 2952 11705 | 6050 4162 177 | 86.320 % | 9.09/9.19 c | 24731 | 200 2952 11705 | 6655 4387 177 | 86.320 % | 9.29/9.30 c | 25068 | 200 2952 11705 | 7320 4724 177 | 86.320 % | 9.49/9.54 c | 25576 | 200 2952 11705 | 8052 5232 177 | 86.320 % | 9.79/9.86 c | 26336 | 200 2952 11705 | 8857 5992 177 | 86.320 % | 10.19/10.29 c | 27475 | 200 2952 11705 | 9743 7131 176 | 86.320 % | 11.19/11.24 c | 29183 | 200 2952 11705 | 10717 8839 176 | 86.320 % | 12.19/12.26 c | 31747 | 200 2952 11705 | 11789 11403 176 | 86.320 % | 13.19/13.24 c | 35591 | 200 2952 11705 | 12968 8634 175 | 86.320 % | 15.30/15.38 c =============================================================================== 15.30/15.38 c New solution: -28 15.30/15.38 o -28 15.30/15.38 c Elapsed CPU time: 15.2257 s Remaining CPU time: 164.774 s 15.30/15.38 c =============================================================================== 15.30/15.38 c | 40273 | 200 2953 11905 | 5000 13316 175 | 86.320 % | 15.49/15.59 c | 40374 | 200 2953 11905 | 5500 3430 175 | 86.320 % | 15.59/15.61 c | 40524 | 200 2953 11905 | 6050 3580 175 | 86.320 % | 15.59/15.65 c | 40750 | 200 2953 11905 | 6655 3806 175 | 86.320 % | 15.59/15.65 c =============================================================================== 15.59/15.65 c New solution: -29 15.59/15.65 o -29 15.59/15.65 c Elapsed CPU time: 15.4976 s Remaining CPU time: 164.502 s 15.59/15.65 c =============================================================================== 15.59/15.65 c | 40762 | 200 2954 12105 | 5000 3818 175 | 86.320 % | 15.59/15.68 c | 40864 | 200 2954 12105 | 5500 3920 175 | 86.320 % | 15.69/15.71 c | 41016 | 200 2954 12105 | 6050 4072 174 | 86.320 % | 15.69/15.76 c | 41241 | 200 2954 12105 | 6655 4297 174 | 86.320 % | 15.79/15.82 c | 41578 | 200 2954 12105 | 7320 4634 174 | 86.320 % | 15.88/15.91 c | 42086 | 200 2954 12105 | 8052 5142 174 | 86.320 % | 15.88/15.99 c =============================================================================== 15.88/15.99 c New solution: -30 15.88/15.99 o -30 15.88/15.99 c Elapsed CPU time: 15.8276 s Remaining CPU time: 164.172 s 15.88/15.99 c =============================================================================== 15.88/15.99 c | 42374 | 200 2955 12305 | 5000 5430 174 | 86.320 % | 15.98/16.04 c | 42474 | 200 2955 12305 | 5500 5530 174 | 86.320 % | 16.08/16.10 c | 42624 | 200 2955 12305 | 6050 5680 174 | 86.320 % | 16.19/16.21 c | 42851 | 200 2955 12305 | 6655 5907 174 | 86.320 % | 16.29/16.40 c | 43188 | 200 2955 12305 | 7320 6244 174 | 86.320 % | 16.59/16.63 c | 43695 | 200 2955 12305 | 8052 6751 174 | 86.320 % | 16.99/17.09 c | 44457 | 200 2955 12305 | 8857 7513 175 | 86.320 % | 17.38/17.40 c | 45597 | 200 2955 12305 | 9743 8653 174 | 86.320 % | 18.09/18.13 c | 47305 | 200 2955 12305 | 10717 10361 174 | 86.320 % | 19.18/19.28 c | 49868 | 200 2955 12305 | 11789 6851 173 | 86.320 % | 20.49/20.59 c | 53715 | 200 2955 12305 | 12968 10698 172 | 86.320 % | 22.29/22.31 c | 59481 | 200 2955 12305 | 14265 9264 171 | 86.320 % | 24.49/24.53 c | 68130 | 200 2955 12305 | 15692 10064 171 | 86.320 % | 30.28/30.35 c | 81105 | 200 2955 12305 | 17261 14478 172 | 86.320 % | 37.18/37.27 c | 100567 | 200 2955 12305 | 18987 15244 171 | 86.320 % | 50.08/50.16 c | 129762 | 200 2955 12305 | 20886 13807 173 | 86.320 % | 75.17/75.24 c | 173553 | 200 2955 12305 | 22974 11040 173 | 86.320 % | 103.67/103.78 c | 239238 | 200 2955 12305 | 25272 22182 173 | 86.320 % | 149.65/149.79 c | 337765 | 200 2955 12305 | 27799 25638 172 | 86.320 % | 171.85/171.94 c =============================================================================== 171.85/171.94 c New solution: -31 171.85/171.94 o -31 171.85/171.94 c Elapsed CPU time: 170.504 s Remaining CPU time: 9.49592 s 171.85/171.94 c =============================================================================== 171.85/171.94 c | 390116 | 200 2956 12505 | 5000 23145 171 | 86.320 % | 172.25/172.32 c | 390217 | 200 2956 12505 | 5500 5461 171 | 86.320 % | 172.25/172.35 c | 390368 | 200 2956 12505 | 6050 5612 171 | 86.320 % | 172.25/172.36 c =============================================================================== 172.25/172.36 c New solution: -32 172.25/172.36 o -32 172.25/172.36 c Elapsed CPU time: 170.926 s Remaining CPU time: 9.07398 s 172.25/172.36 c =============================================================================== 172.25/172.36 c | 390421 | 200 2957 12705 | 5000 5665 171 | 86.320 % | 172.35/172.40 c | 390522 | 200 2957 12705 | 5500 5766 171 | 86.320 % | 172.35/172.44 c | 390674 | 200 2957 12705 | 6050 5918 171 | 86.320 % | 172.44/172.51 c | 390900 | 200 2957 12705 | 6655 6144 172 | 86.320 % | 172.55/172.63 c | 391237 | 200 2957 12705 | 7320 6481 172 | 86.320 % | 172.75/172.88 c | 391744 | 200 2957 12705 | 8052 6988 173 | 86.320 % | 173.05/173.19 c | 392504 | 200 2957 12705 | 8857 7748 173 | 86.320 % | 173.55/173.62 c | 393644 | 200 2957 12705 | 9743 8888 173 | 86.320 % | 174.14/174.29 c | 395354 | 200 2957 12705 | 10717 10598 173 | 86.320 % | 175.04/175.19 c | 397918 | 200 2957 12705 | 11789 7088 173 | 86.320 % | 176.24/176.37 c | 401762 | 200 2957 12705 | 12968 10932 172 | 86.320 % | 178.54/178.63 c | 407529 | 200 2957 12705 | 14265 9502 170 | 86.320 % | 181.45/181.52 c There are 1262 assigned variables. 0 in cost function. 182.14/182.20 c core #1 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -199 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #2 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -198 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #3 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -197 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #4 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -196 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #5 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -195 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #6 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -194 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #7 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -193 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #8 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -192 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #9 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -191 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #10 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -190 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #11 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -189 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #12 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -188 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #13 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -187 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #14 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -186 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #15 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -185 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #16 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -184 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #17 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -183 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #18 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -182 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #19 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -181 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #20 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -180 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #21 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -179 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #22 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -178 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #23 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -177 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #24 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -176 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #25 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -175 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #26 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -174 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #27 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -173 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #28 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -172 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #29 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -171 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #30 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -170 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #31 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -169 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #32 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -168 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #33 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -167 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #34 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -166 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #35 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -165 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #36 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -164 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #37 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -163 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #38 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -162 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #39 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -161 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #40 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -160 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #41 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -159 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #42 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -158 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #43 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -157 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #44 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -156 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #45 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -155 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #46 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -154 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #47 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -153 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #48 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -152 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #49 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -151 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #50 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -150 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #51 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -149 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #52 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -148 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #53 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -147 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #54 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -146 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #55 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -145 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #56 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -144 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #57 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -143 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #58 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -142 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c core #59 182.14/182.20 c 182.14/182.20 c 182.14/182.20 c Core size: 3 Core Weight: 1 Total Weight: -141 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #60 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -140 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #61 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -139 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #62 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -138 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #63 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -137 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #64 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -136 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #65 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -135 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #66 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -134 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #67 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -133 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #68 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -132 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #69 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -131 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #70 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -130 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #71 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -129 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #72 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -128 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #73 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -127 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #74 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -126 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #75 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -125 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #76 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -124 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #77 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -123 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #78 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -122 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #79 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -121 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #80 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -120 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #81 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -119 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #82 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -118 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #83 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -117 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #84 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -116 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #85 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -115 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #86 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -114 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #87 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -113 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #88 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -112 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #89 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -111 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #90 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -110 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #91 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 3 Core Weight: 1 Total Weight: -109 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #92 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 7 Core Weight: 1 Total Weight: -108 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #93 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 7 Core Weight: 1 Total Weight: -107 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #94 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 7 Core Weight: 1 Total Weight: -106 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #95 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 7 Core Weight: 1 Total Weight: -105 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #96 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 11 Core Weight: 1 Total Weight: -104 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #97 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 7 Core Weight: 1 Total Weight: -103 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #98 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 7 Core Weight: 1 Total Weight: -102 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #99 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 7 Core Weight: 1 Total Weight: -101 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #100 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 22 Core Weight: 1 Total Weight: -100 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c core #101 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c Core size: 22 Core Weight: 1 Total Weight: -99 182.34/182.40 c 182.34/182.40 c 182.34/182.40 c ============================[ Search Statistics ]============================== 182.34/182.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.40 c =============================================================================== 182.34/182.40 c | 0 | 438 2858 9800 | 5000 0 nan | 0.000 % | 182.34/182.40 c =============================================================================== 182.34/182.41 c core #102 182.34/182.41 c 182.34/182.41 c 182.34/182.41 c Core size: 16 Core Weight: 1 Total Weight: -98 182.34/182.41 c 182.34/182.41 c 182.34/182.41 c ============================[ Search Statistics ]============================== 182.34/182.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.41 c =============================================================================== 182.34/182.41 c | 0 | 448 2859 9820 | 5000 0 nan | 0.000 % | 182.34/182.41 c =============================================================================== 182.34/182.42 c core #103 182.34/182.42 c 182.34/182.42 c 182.34/182.42 c Core size: 20 Core Weight: 1 Total Weight: -97 182.34/182.42 c 182.34/182.42 c 182.34/182.42 c ============================[ Search Statistics ]============================== 182.34/182.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.42 c =============================================================================== 182.34/182.42 c | 0 | 463 2860 9850 | 5000 0 nan | 0.000 % | 182.34/182.42 c =============================================================================== 182.34/182.43 c core #104 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 16 Core Weight: 1 Total Weight: -96 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c ============================[ Search Statistics ]============================== 182.34/182.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.43 c =============================================================================== 182.34/182.43 c | 0 | 473 2861 9870 | 5000 0 nan | 0.000 % | 182.34/182.43 c =============================================================================== 182.34/182.44 c core #105 182.34/182.44 c 182.34/182.44 c 182.34/182.44 c Core size: 16 Core Weight: 1 Total Weight: -95 182.34/182.44 c 182.34/182.44 c 182.34/182.44 c ============================[ Search Statistics ]============================== 182.34/182.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.44 c =============================================================================== 182.34/182.44 c | 0 | 487 2862 9898 | 5000 0 nan | 0.000 % | 182.34/182.45 c =============================================================================== 182.34/182.45 c core #106 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 19 Core Weight: 1 Total Weight: -94 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c ============================[ Search Statistics ]============================== 182.34/182.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.45 c =============================================================================== 182.34/182.45 c | 0 | 498 2863 9920 | 5000 0 nan | 0.000 % | 182.34/182.46 c =============================================================================== 182.34/182.47 c core #107 182.34/182.47 c 182.34/182.47 c 182.34/182.47 c Core size: 12 Core Weight: 1 Total Weight: -93 182.34/182.47 c 182.34/182.47 c 182.34/182.47 c ============================[ Search Statistics ]============================== 182.34/182.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.47 c =============================================================================== 182.34/182.47 c | 0 | 506 2864 9936 | 5000 0 nan | 0.000 % | 182.34/182.47 c =============================================================================== 182.34/182.48 c core #108 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c Core size: 20 Core Weight: 1 Total Weight: -92 182.34/182.48 c 182.34/182.48 c 182.34/182.48 c ============================[ Search Statistics ]============================== 182.34/182.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.48 c =============================================================================== 182.34/182.48 c | 0 | 518 2865 9960 | 5000 0 nan | 0.000 % | 182.34/182.48 c =============================================================================== 182.34/182.49 c core #109 182.34/182.49 c 182.34/182.49 c 182.34/182.49 c Core size: 14 Core Weight: 1 Total Weight: -91 182.34/182.49 c 182.34/182.49 c 182.34/182.49 c ============================[ Search Statistics ]============================== 182.34/182.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.49 c =============================================================================== 182.34/182.49 c | 0 | 526 2866 9976 | 5000 0 nan | 0.000 % | 182.34/182.50 c =============================================================================== 182.45/182.50 c core #110 182.45/182.50 c 182.45/182.50 c 182.45/182.50 c Core size: 24 Core Weight: 1 Total Weight: -90 182.45/182.50 c 182.45/182.50 c 182.45/182.50 c ============================[ Search Statistics ]============================== 182.45/182.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.50 c =============================================================================== 182.45/182.50 c | 0 | 545 2867 10014 | 5000 0 nan | 0.000 % | 182.45/182.51 c =============================================================================== 182.45/182.52 c core #111 182.45/182.52 c 182.45/182.52 c 182.45/182.52 c Core size: 15 Core Weight: 1 Total Weight: -89 182.45/182.52 c 182.45/182.52 c 182.45/182.52 c ============================[ Search Statistics ]============================== 182.45/182.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.52 c =============================================================================== 182.45/182.52 c | 0 | 555 2868 10034 | 5000 0 nan | 0.000 % | 182.45/182.52 c =============================================================================== 182.45/182.53 c core #112 182.45/182.53 c 182.45/182.53 c 182.45/182.53 c Core size: 20 Core Weight: 1 Total Weight: -88 182.45/182.53 c 182.45/182.53 c 182.45/182.53 c ============================[ Search Statistics ]============================== 182.45/182.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.53 c =============================================================================== 182.45/182.53 c | 0 | 567 2869 10058 | 5000 0 nan | 0.000 % | 182.45/182.53 c =============================================================================== 182.45/182.54 c core #113 182.45/182.54 c 182.45/182.54 c 182.45/182.54 c Core size: 22 Core Weight: 1 Total Weight: -87 182.45/182.54 c 182.45/182.54 c 182.45/182.54 c ============================[ Search Statistics ]============================== 182.45/182.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.54 c =============================================================================== 182.45/182.54 c | 0 | 581 2870 10086 | 5000 0 nan | 0.000 % | 182.45/182.54 c =============================================================================== 182.45/182.55 c core #114 182.45/182.55 c 182.45/182.55 c 182.45/182.55 c Core size: 28 Core Weight: 1 Total Weight: -86 182.45/182.55 c 182.45/182.55 c 182.45/182.55 c ============================[ Search Statistics ]============================== 182.45/182.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.55 c =============================================================================== 182.45/182.55 c | 0 | 595 2871 10114 | 5000 0 nan | 0.000 % | 182.45/182.55 c =============================================================================== 182.45/182.56 c core #115 182.45/182.56 c 182.45/182.56 c 182.45/182.56 c Core size: 32 Core Weight: 1 Total Weight: -85 182.45/182.56 c 182.45/182.56 c 182.45/182.56 c ============================[ Search Statistics ]============================== 182.45/182.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.56 c =============================================================================== 182.45/182.56 c | 0 | 615 2872 10154 | 5000 0 nan | 0.000 % | 182.45/182.58 c =============================================================================== 182.45/182.59 c core #116 182.45/182.59 c 182.45/182.59 c 182.45/182.59 c Core size: 44 Core Weight: 1 Total Weight: -84 182.45/182.59 c 182.45/182.59 c 182.45/182.59 c ============================[ Search Statistics ]============================== 182.45/182.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.59 c =============================================================================== 182.45/182.59 c | 0 | 658 2873 10240 | 5000 0 nan | 0.000 % | 182.55/182.61 c | 101 | 658 2873 10240 | 5500 101 10 | 65.729 % | 182.55/182.63 c =============================================================================== 182.55/182.64 c core #117 182.55/182.64 c 182.55/182.64 c 182.55/182.64 c Core size: 73 Core Weight: 1 Total Weight: -83 182.55/182.64 c 182.55/182.64 c 182.55/182.64 c ============================[ Search Statistics ]============================== 182.55/182.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.64 c =============================================================================== 182.55/182.64 c | 0 | 722 2874 10368 | 5000 0 nan | 0.000 % | 182.55/182.66 c | 100 | 722 2874 10368 | 5500 100 18 | 63.609 % | 182.55/182.68 c | 250 | 722 2874 10368 | 6050 250 17 | 63.609 % | 182.64/182.72 c | 475 | 722 2874 10368 | 6655 475 19 | 63.609 % | 182.64/182.78 c | 812 | 722 2874 10368 | 7320 812 18 | 63.609 % | 182.74/182.89 c | 1320 | 722 2874 10368 | 8052 1320 24 | 63.609 % | 182.94/183.06 c | 2079 | 722 2874 10368 | 8857 2079 26 | 63.609 % | 183.25/183.33 c | 3218 | 722 2874 10368 | 9743 3218 26 | 63.609 % | 183.35/183.45 c =============================================================================== 183.45/183.50 c core #118 183.45/183.50 c 183.45/183.50 c 183.45/183.50 c Core size: 110 Core Weight: 1 Total Weight: -82 183.45/183.50 c 183.45/183.50 c 183.45/183.50 c ============================[ Search Statistics ]============================== 183.45/183.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.45/183.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.45/183.50 c =============================================================================== 183.45/183.50 c | 0 | 806 2875 10536 | 5000 0 nan | 0.000 % | 183.45/183.53 c | 101 | 806 2875 10536 | 5500 101 12 | 61.025 % | 183.45/183.55 c | 251 | 806 2875 10536 | 6050 251 16 | 61.025 % | 183.45/183.59 c | 477 | 806 2875 10536 | 6655 477 23 | 61.025 % | 183.55/183.67 c | 814 | 806 2875 10536 | 7320 814 26 | 61.025 % | 183.65/183.77 c | 1320 | 806 2875 10536 | 8052 1320 27 | 61.025 % | 183.84/183.97 c | 2080 | 806 2875 10536 | 8857 2080 29 | 61.025 % | 184.04/184.18 c =============================================================================== 184.14/184.23 c core #119 184.14/184.23 c 184.14/184.23 c 184.14/184.23 c Core size: 106 Core Weight: 1 Total Weight: -81 184.14/184.23 c 184.14/184.23 c 184.14/184.23 c ============================[ Search Statistics ]============================== 184.14/184.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.23 c =============================================================================== 184.14/184.23 c | 0 | 894 2876 10712 | 5000 0 nan | 0.000 % | 184.14/184.25 c | 100 | 894 2876 10712 | 5500 100 36 | 58.534 % | 184.14/184.27 c | 250 | 894 2876 10712 | 6050 250 29 | 58.534 % | 184.25/184.32 c | 475 | 894 2876 10712 | 6655 475 28 | 58.534 % | 184.25/184.38 c | 816 | 894 2876 10712 | 7320 816 27 | 58.534 % | 184.34/184.49 c | 1322 | 894 2876 10712 | 8052 1322 31 | 58.534 % | 184.54/184.63 c | 2081 | 894 2876 10712 | 8857 2081 34 | 58.534 % | 184.85/184.92 c | 3221 | 894 2876 10712 | 9743 3221 35 | 58.534 % | 185.25/185.34 c | 4930 | 894 2876 10712 | 10717 4930 32 | 58.534 % | 186.15/186.21 c | 7494 | 894 2876 10712 | 11789 7494 31 | 58.534 % | 187.64/187.75 c | 11340 | 894 2876 10712 | 12968 11340 32 | 58.534 % | 189.85/189.96 c =============================================================================== 190.05/190.20 c core #120 190.05/190.20 c 190.05/190.20 c 190.05/190.20 c Core size: 134 Core Weight: 1 Total Weight: -80 190.05/190.20 c 190.05/190.20 c 190.05/190.20 c ============================[ Search Statistics ]============================== 190.05/190.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.05/190.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.05/190.20 c =============================================================================== 190.05/190.20 c | 0 | 1005 2877 10934 | 5000 0 nan | 0.000 % | 190.15/190.22 c | 102 | 1005 2877 10934 | 5500 102 39 | 55.668 % | 190.15/190.24 c | 253 | 1005 2877 10934 | 6050 253 49 | 55.668 % | 190.15/190.26 c | 478 | 1005 2877 10934 | 6655 478 49 | 55.668 % | 190.25/190.32 c | 816 | 1005 2877 10934 | 7320 816 50 | 55.668 % | 190.34/190.42 c | 1322 | 1005 2877 10934 | 8052 1322 55 | 55.668 % | 190.44/190.58 c | 2084 | 1005 2877 10934 | 8857 2084 62 | 55.668 % | 190.74/190.89 c | 3226 | 1005 2877 10934 | 9743 3226 66 | 55.668 % | 191.25/191.33 c | 4935 | 1005 2877 10934 | 10717 4935 73 | 55.668 % | 192.24/192.34 c | 7498 | 1005 2877 10934 | 11789 7498 78 | 55.668 % | 193.94/194.00 c | 11346 | 1005 2877 10934 | 12968 11346 77 | 55.668 % | 196.45/196.56 c | 17113 | 1005 2877 10934 | 14265 9934 68 | 55.668 % | 200.34/200.41 c | 25769 | 1005 2877 10934 | 15692 10715 64 | 55.668 % | 207.94/208.07 c | 38744 | 1004 2877 10934 | 17261 15141 61 | 55.712 % | 208.63/208.73 c =============================================================================== 209.14/209.20 c core #121 209.14/209.20 c 209.14/209.20 c 209.14/209.20 c Core size: 157 Core Weight: 1 Total Weight: -79 209.14/209.20 c 209.14/209.20 c 209.14/209.20 c ============================[ Search Statistics ]============================== 209.14/209.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.14/209.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.14/209.20 c =============================================================================== 209.14/209.20 c | 0 | 1127 2878 11178 | 5000 0 nan | 0.000 % | 209.14/209.23 c | 101 | 1127 2878 11178 | 5500 101 35 | 52.825 % | 209.14/209.25 c | 253 | 1127 2878 11178 | 6050 253 31 | 52.825 % | 209.14/209.29 c | 478 | 1127 2878 11178 | 6655 478 45 | 52.825 % | 209.24/209.34 c | 817 | 1127 2878 11178 | 7320 817 52 | 52.825 % | 209.33/209.45 c | 1325 | 1127 2878 11178 | 8052 1325 54 | 52.825 % | 209.54/209.62 c | 2088 | 1127 2878 11178 | 8857 2088 61 | 52.825 % | 209.74/209.85 c | 3227 | 1127 2878 11178 | 9743 3227 66 | 52.825 % | 210.24/210.34 c | 4938 | 1127 2878 11178 | 10717 4938 67 | 52.825 % | 211.33/211.44 c | 7500 | 1127 2878 11178 | 11789 7500 74 | 52.825 % | 213.14/213.21 c | 11348 | 1127 2878 11178 | 12968 11348 78 | 52.825 % | 215.94/216.00 c | 17115 | 1127 2878 11178 | 14265 9932 79 | 52.825 % | 221.04/221.17 c | 25764 | 1127 2878 11178 | 15692 10756 78 | 52.825 % | 228.63/228.77 c | 38739 | 1127 2878 11178 | 17261 15199 75 | 52.825 % | 237.23/237.35 c | 58202 | 1127 2878 11178 | 18987 15994 70 | 52.825 % | 255.14/255.27 c | 87394 | 1127 2878 11178 | 20886 14572 83 | 52.825 % | 284.62/284.76 c | 131184 | 1127 2878 11178 | 22974 13670 88 | 52.825 % | 350.90/351.03 c | 196869 | 1127 2878 11178 | 25272 18146 99 | 52.825 % | 457.87/458.07 c | 295397 | 1126 2878 11178 | 27799 21704 97 | 52.867 % | 586.54/586.72 c =============================================================================== 595.84/596.08 c core #122 595.84/596.08 c 595.84/596.08 c 595.84/596.08 c Core size: 146 Core Weight: 1 Total Weight: -78 595.84/596.08 c 595.84/596.08 c 595.84/596.08 c ============================[ Search Statistics ]============================== 595.84/596.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 595.84/596.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 595.84/596.08 c =============================================================================== 595.84/596.08 c | 0 | 1272 2879 11468 | 5000 0 nan | 0.000 % | 595.95/596.17 c | 100 | 1272 2879 11468 | 5500 100 64 | 49.803 % | 595.95/596.20 c | 251 | 1272 2879 11468 | 6050 251 50 | 49.803 % | 596.05/596.26 c | 476 | 1272 2879 11468 | 6655 476 46 | 49.803 % | 596.14/596.33 c | 813 | 1272 2879 11468 | 7320 813 49 | 49.803 % | 596.24/596.43 c | 1319 | 1272 2879 11468 | 8052 1319 50 | 49.803 % | 596.44/596.62 c | 2078 | 1272 2879 11468 | 8857 2078 60 | 49.803 % | 596.74/596.90 c | 3217 | 1272 2879 11468 | 9743 3217 73 | 49.803 % | 597.24/597.41 c | 4927 | 1272 2879 11468 | 10717 4927 87 | 49.803 % | 598.03/598.30 c | 7489 | 1272 2879 11468 | 11789 7489 94 | 49.803 % | 599.84/600.08 c | 11333 | 1272 2879 11468 | 12968 11333 95 | 49.803 % | 603.33/603.59 c | 17099 | 1272 2879 11468 | 14265 9860 111 | 49.803 % | 609.94/610.14 c | 25753 | 1272 2879 11468 | 15692 10704 132 | 49.803 % | 619.33/619.50 c | 38727 | 1272 2879 11468 | 17261 15113 118 | 49.803 % | 637.92/638.13 c | 58189 | 1272 2879 11468 | 18987 15942 126 | 49.803 % | 664.71/665.00 c | 87381 | 1272 2879 11468 | 20886 14572 129 | 49.803 % | 709.71/709.92 c | 131172 | 1272 2879 11468 | 22974 13725 136 | 49.803 % | 792.49/792.70 c | 196856 | 1272 2879 11468 | 25272 18453 151 | 49.803 % | 918.35/918.66 c | 295383 | 1272 2879 11468 | 27799 22813 174 | 49.803 % | 1069.52/1069.85 c | 443172 | 1272 2879 11468 | 30579 26014 129 | 49.803 % | 1301.56/1301.99 c | 664856 | 1272 2879 11468 | 33637 31514 126 | 49.803 % | 1675.66/1676.19 c | 997382 | 1272 2879 11468 | 37001 33727 140 | 49.803 % |
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-2702557-1278570107/watcher-2702557-1278570107 -o /tmp/evaluation-result-2702557-1278570107/solver-2702557-1278570107 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702557-1278570107.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.01 1.01 1.00 3/106 31680 /proc/meminfo: memFree=1537108/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=2960 CPUtime=0 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 25217887 3031040 256 1992294400 134512640 135752675 4294927184 18446744073709551615 134565480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 740 256 139 303 0 409 0 [startup+0.027255 s] /proc/loadavg: 1.01 1.01 1.00 3/106 31680 /proc/meminfo: memFree=1537108/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=3256 CPUtime=0.02 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 486 0 0 0 2 0 0 0 20 0 1 0 25217887 3334144 378 1992294400 134512640 135752675 4294927184 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 814 378 144 303 0 509 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3256 [startup+0.101264 s] /proc/loadavg: 1.01 1.01 1.00 3/106 31680 /proc/meminfo: memFree=1537108/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=3640 CPUtime=0.09 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 586 0 0 0 9 0 0 0 20 0 1 0 25217887 3727360 478 1992294400 134512640 135752675 4294927184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 910 478 145 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.301285 s] /proc/loadavg: 1.01 1.01 1.00 3/106 31680 /proc/meminfo: memFree=1537108/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=4668 CPUtime=0.29 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 844 0 0 0 28 1 0 0 20 0 1 0 25217887 4780032 736 1992294400 134512640 135752675 4294927184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 1167 736 145 303 0 862 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4668 [startup+0.701327 s] /proc/loadavg: 1.01 1.01 1.00 3/106 31680 /proc/meminfo: memFree=1537108/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=6208 CPUtime=0.7 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 1220 0 0 0 68 2 0 0 21 0 1 0 25217887 6356992 1112 1992294400 134512640 135752675 4294927184 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 1552 1112 145 303 0 1247 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 6208 [startup+1.50141 s] /proc/loadavg: 1.01 1.01 1.00 2/107 31681 /proc/meminfo: memFree=1532760/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=8016 CPUtime=1.5 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 1667 0 0 0 147 3 0 0 23 0 1 0 25217887 8208384 1559 1992294400 134512640 135752675 4294927184 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 2004 1559 145 303 0 1699 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 8016 [startup+3.10058 s] /proc/loadavg: 1.01 1.01 1.00 2/107 31681 /proc/meminfo: memFree=1530528/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=11244 CPUtime=3.09 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 2478 0 0 0 305 4 0 0 25 0 1 0 25217887 11513856 2370 1992294400 134512640 135752675 4294927184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 2811 2370 145 303 0 2506 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11244 [startup+6.30093 s] /proc/loadavg: 1.01 1.00 1.00 2/107 31681 /proc/meminfo: memFree=1523832/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=18092 CPUtime=6.29 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 4186 0 0 0 621 8 0 0 25 0 1 0 25217887 18526208 4078 1992294400 134512640 135752675 4294927184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 4523 4078 145 303 0 4218 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18092 [startup+12.7006 s] /proc/loadavg: 1.01 1.00 1.00 2/107 31681 /proc/meminfo: memFree=1510688/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=30892 CPUtime=12.69 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 7369 0 0 0 1256 13 0 0 25 0 1 0 25217887 31633408 7261 1992294400 134512640 135752675 4294927184 18446744073709551615 134603218 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 7723 7261 145 303 0 7418 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30892 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31681 /proc/meminfo: memFree=1479564/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=60196 CPUtime=25.49 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 14683 0 0 0 2524 25 0 0 25 0 1 0 25217887 61640704 14575 1992294400 134512640 135752675 4294927184 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 15049 14575 145 303 0 14744 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60196 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31681 /proc/meminfo: memFree=1432444/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=107988 CPUtime=51.08 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 26602 0 0 0 5063 45 0 0 25 0 1 0 25217887 110579712 26494 1992294400 134512640 135752675 4294927184 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 26997 26494 145 303 0 26692 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 107988 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31683 /proc/meminfo: memFree=1350480/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=188932 CPUtime=102.27 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 46815 0 0 0 10143 84 0 0 25 0 1 0 25217887 193466368 46707 1992294400 134512640 135752675 4294927184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 47233 46708 145 303 0 46928 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 188932 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31685 /proc/meminfo: memFree=1247436/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=292448 CPUtime=162.25 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 72649 0 0 0 16093 132 0 0 25 0 1 0 25217887 299466752 72541 1992294400 134512640 135752675 4294927184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 73112 72541 145 303 0 72807 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 292448 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31687 /proc/meminfo: memFree=1199324/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=339284 CPUtime=222.23 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 84522 0 0 0 22043 180 0 0 25 0 1 0 25217887 347426816 84385 1992294400 134512640 135752675 4294927184 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 84821 84385 146 303 0 84516 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 339284 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31687 /proc/meminfo: memFree=1160636/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=378204 CPUtime=282.21 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 94241 0 0 0 28002 219 0 0 25 0 1 0 25217887 387280896 94104 1992294400 134512640 135752675 4294927184 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 94551 94104 146 303 0 94246 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 378204 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31689 /proc/meminfo: memFree=1129264/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=409420 CPUtime=342.21 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 102005 0 0 0 33973 248 0 0 25 0 1 0 25217887 419246080 101868 1992294400 134512640 135752675 4294927184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 102355 101868 146 303 0 102050 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 409420 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31691 /proc/meminfo: memFree=1101364/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=437444 CPUtime=402.19 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 108987 0 0 0 39944 275 0 0 25 0 1 0 25217887 447942656 108850 1992294400 134512640 135752675 4294927184 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 109361 108850 146 303 0 109056 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 437444 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31693 /proc/meminfo: memFree=1077928/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=460712 CPUtime=462.18 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 114786 0 0 0 45918 300 0 0 25 0 1 0 25217887 471769088 114649 1992294400 134512640 135752675 4294927184 18446744073709551615 134611609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 115178 114649 146 303 0 114873 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 460712 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31695 /proc/meminfo: memFree=1053996/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=485024 CPUtime=522.15 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 120834 0 0 0 51892 323 0 0 25 0 1 0 25217887 496664576 120697 1992294400 134512640 135752675 4294927184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 121256 120697 146 303 0 120951 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 485024 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31695 /proc/meminfo: memFree=1027956/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=510652 CPUtime=582.14 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 127232 0 0 0 57866 348 0 0 25 0 1 0 25217887 522907648 127095 1992294400 134512640 135752675 4294927184 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 127663 127095 146 303 0 127358 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 510652 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31697 /proc/meminfo: memFree=1013448/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=524540 CPUtime=642.13 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 130834 0 0 0 63835 378 0 0 25 0 1 0 25217887 537128960 130697 1992294400 134512640 135752675 4294927184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 131135 130697 146 303 0 130830 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 524540 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31703 /proc/meminfo: memFree=878040/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=659728 CPUtime=882.07 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 164587 0 0 0 87722 485 0 0 25 0 1 0 25217887 675561472 164450 1992294400 134512640 135752675 4294927184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 164932 164450 146 303 0 164627 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 659728 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31705 /proc/meminfo: memFree=840964/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=697268 CPUtime=942.05 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 173963 0 0 0 93690 515 0 0 25 0 1 0 25217887 714002432 173826 1992294400 134512640 135752675 4294927184 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 174317 173826 146 303 0 174012 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 697268 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31707 /proc/meminfo: memFree=803888/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=733968 CPUtime=1002.03 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 183119 0 0 0 99659 544 0 0 25 0 1 0 25217887 751583232 182982 1992294400 134512640 135752675 4294927184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 183492 182982 146 303 0 183187 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 733968 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31709 /proc/meminfo: memFree=766440/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=771872 CPUtime=1062.02 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 192557 0 0 0 105627 575 0 0 25 0 1 0 25217887 790396928 192420 1992294400 134512640 135752675 4294927184 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 192968 192420 146 303 0 192663 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 771872 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31711 /proc/meminfo: memFree=727504/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=810216 CPUtime=1122.01 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 202149 0 0 0 111595 606 0 0 25 0 1 0 25217887 829661184 202012 1992294400 134512640 135752675 4294927184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 202554 202012 146 303 0 202249 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 810216 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31711 /proc/meminfo: memFree=691296/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=846988 CPUtime=1181.99 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 211334 0 0 0 117560 639 0 0 25 0 1 0 25217887 867315712 211197 1992294400 134512640 135752675 4294927184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 211747 211197 146 303 0 211442 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 846988 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31713 /proc/meminfo: memFree=650500/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=887288 CPUtime=1241.97 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 221398 0 0 0 123528 669 0 0 25 0 1 0 25217887 908582912 221261 1992294400 134512640 135752675 4294927184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 221822 221261 146 303 0 221517 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 887288 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31715 /proc/meminfo: memFree=615284/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=921936 CPUtime=1301.96 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 230036 0 0 0 129496 700 0 0 25 0 1 0 25217887 944062464 229899 1992294400 134512640 135752675 4294927184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 230484 229899 146 303 0 230179 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 921936 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31717 /proc/meminfo: memFree=575852/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=961812 CPUtime=1361.94 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 239995 0 0 0 135462 732 0 0 25 0 1 0 25217887 984895488 239858 1992294400 134512640 135752675 4294927184 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 240453 239858 146 303 0 240148 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 961812 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31719 /proc/meminfo: memFree=542372/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=995060 CPUtime=1421.93 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 248274 0 0 0 141437 756 0 0 25 0 1 0 25217887 1018941440 248137 1992294400 134512640 135752675 4294927184 18446744073709551615 134611767 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 248765 248137 146 303 0 248460 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 995060 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31719 /proc/meminfo: memFree=499220/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=1038564 CPUtime=1481.91 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 259161 0 0 0 147398 793 0 0 25 0 1 0 25217887 1063489536 259024 1992294400 134512640 135752675 4294927184 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 259641 259024 146 303 0 259336 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1038564 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31721 /proc/meminfo: memFree=453216/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=1084148 CPUtime=1541.9 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 270547 0 0 0 153365 825 0 0 25 0 1 0 25217887 1110167552 270410 1992294400 134512640 135752675 4294927184 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 271037 270410 146 303 0 270732 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1084148 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31723 /proc/meminfo: memFree=417008/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=1120584 CPUtime=1601.88 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 279634 0 0 0 159334 854 0 0 25 0 1 0 25217887 1147478016 279497 1992294400 134512640 135752675 4294927184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 280146 279497 146 303 0 279841 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1120584 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31725 /proc/meminfo: memFree=380180/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=1157200 CPUtime=1661.86 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 288774 0 0 0 165302 884 0 0 25 0 1 0 25217887 1184972800 288637 1992294400 134512640 135752675 4294927184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 289300 288637 146 303 0 288995 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1157200 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31727 /proc/meminfo: memFree=346824/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=1190908 CPUtime=1721.84 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 297223 0 0 0 171274 910 0 0 25 0 1 0 25217887 1219489792 297086 1992294400 134512640 135752675 4294927184 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 297727 297086 146 303 0 297422 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1190908 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31727 /proc/meminfo: memFree=313964/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=1223096 CPUtime=1781.83 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 305242 0 0 0 177248 935 0 0 25 0 1 0 25217887 1252450304 305105 1992294400 134512640 135752675 4294927184 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 305774 305105 146 303 0 305469 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1223096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31729 /proc/meminfo: memFree=303300/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=1233536 CPUtime=1800.03 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4202496 307839 0 0 0 179061 942 0 0 25 0 1 0 25217887 1263140864 307702 1992294400 134512640 135752675 4294927184 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31680/statm: 308384 307702 146 303 0 308079 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1233536 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 31730 /proc/meminfo: memFree=1381348/2059040 swapFree=4165016/4192956 [pid=31680] ppid=31678 vsize=0 CPUtime=1800.14 /proc/31680/stat : 31680 (wbo1.4b) R 31678 31680 31021 0 -1 4203524 307839 0 0 0 179061 953 0 0 25 0 1 0 25217887 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/31680/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.62 CPU time (s): 1800.16 CPU user time (s): 1790.61 CPU system time (s): 9.54255 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 1233536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.61 system time used= 9.54255 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 307839 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17 involuntary context switches= 952 runsolver used 2.94255 second user time and 8.5617 second system time The end
Begin job on node047 at 2010-07-08 08:21:47 IDJOB=2702557 IDBENCH=48213 IDSOLVER=1190 FILE ID=node047/2702557-1278570107 PBS_JOBID= 11239566 Free space on /tmp= 62492 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_4.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-2702557-1278570107/watcher-2702557-1278570107 -o /tmp/evaluation-result-2702557-1278570107/solver-2702557-1278570107 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702557-1278570107.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 69a7dda5c80f9dda65f29fb6eb76eed7 RANDOM SEED=367210259 node047.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.248 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.248 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1538132 kB Buffers: 87828 kB Cached: 309424 kB SwapCached: 1388 kB Active: 181948 kB Inactive: 248560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1538132 kB SwapTotal: 4192956 kB SwapFree: 4165016 kB Dirty: 2616 kB Writeback: 0 kB AnonPages: 31900 kB Mapped: 13424 kB Slab: 68456 kB PageTables: 4224 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179384 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-2702557-1278570107.opb Free space on /tmp at the end= 62492 MiB End job on node047 at 2010-07-08 08:51:50