Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | SAT | -95 | 1794.37 | 1795.06 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_4.opb |
| MD5SUM | d847cf1d914db0ec942abd195c5092c7 |
| 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 | -123 |
| Best CPU time to get the best result obtained on this benchmark | 1800.49 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -124 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| 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 | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31592 |
| Sum of products size (including duplicates) | 63184 |
| Number of different products | 15796 |
| Sum of products size | 31592 |
0.09/0.19 c SCIP version 1.1.0.7 0.09/0.19 c LP-Solver Clp 1.8.2 0.09/0.19 c user parameter file <scip.set> not found - using default parameters 0.09/0.19 c read problem <HOME/instance-1870357-1245199527.opb> 0.09/0.19 c original problem has 16796 variables (16796 bin, 0 int, 0 impl, 0 cont) and 16796 constraints 0.29/0.35 c start presolving problem 0.29/0.35 c presolving: 0.69/0.78 c (round 1) 15796 del vars, 1000 del conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63184 impls, 0 clqs 1.49/1.51 c (1.1s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 1.49/1.51 c (1.1s) probing aborted: 100/100 successive totally useless probings 1.49/1.51 c presolving (2 rounds): 1.49/1.51 c 15796 deleted vars, 1000 deleted constraints, 15796 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 1.49/1.51 c 94776 implications, 0 cliques 1.49/1.51 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15796 constraints 1.49/1.51 c 15796 constraints of type <and> 1.49/1.51 c transformed objective value is always integral (scale: 1) 1.49/1.51 c Presolving Time: 1.03 1.49/1.52 c OPT-NLC 1.49/1.52 c ----------------------------------------------------------------------------------------------- 1.49/1.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.49/1.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.49/1.52 c limits/memory = c 1620 1.49/1.52 c # maximal time in seconds to run 1.49/1.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.49/1.52 c limits/time = c 1791 1.49/1.52 c # frequency for displaying node information lines 1.49/1.52 c # [type: int, range: [-1,2147483647], default: 100] 1.49/1.52 c display/freq = c 10000 1.49/1.52 c ----------------------------------------------------------------------------------------------- 1.49/1.52 c start solving problem 1.49/1.52 c 1.79/1.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.79/1.89 c 1.4s| 1 | 0 | 1047 | 59M| 0 |1000 |1000 | 15k| 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | -- | Inf 1.89/1.91 o -91 1.89/1.91 c R 1.5s| 1 | 0 | 1047 | 59M| 0 |1000 |1000 | 15k| 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-9.100000e+01 | 81.80% 2.69/2.74 c 2.3s| 1 | 0 | 1164 | 59M| 0 | 989 |1000 | 15k| 15k|1000 | 15k| 12 | 0 | 0 |-4.945000e+02 |-9.100000e+01 | 81.60% 3.49/3.57 c 3.1s| 1 | 0 | 1267 | 59M| 0 | 984 |1000 | 15k| 15k|1000 | 15k| 19 | 0 | 0 |-4.920000e+02 |-9.100000e+01 | 81.50% 3.49/3.59 o -93 3.49/3.59 c R 3.1s| 1 | 0 | 1267 | 59M| 0 | 984 |1000 | 15k| 15k|1000 | 15k| 19 | 0 | 0 |-4.920000e+02 |-9.300000e+01 | 81.10% 4.39/4.41 c 3.9s| 1 | 0 | 1360 | 59M| 0 | 981 |1000 | 15k| 15k|1000 | 15k| 26 | 0 | 0 |-4.905000e+02 |-9.300000e+01 | 81.04% 5.19/5.26 c 4.8s| 1 | 0 | 1472 | 59M| 0 | 976 |1000 | 15k| 15k|1000 | 15k| 34 | 0 | 0 |-4.872500e+02 |-9.300000e+01 | 80.91% 6.09/6.12 c 5.6s| 1 | 0 | 1562 | 59M| 0 | 972 |1000 | 15k| 15k|1000 | 15k| 41 | 0 | 0 |-4.852500e+02 |-9.300000e+01 | 80.83% 6.09/6.14 o -95 6.09/6.14 c R 5.7s| 1 | 0 | 1562 | 59M| 0 | 972 |1000 | 15k| 15k|1000 | 15k| 41 | 0 | 0 |-4.852500e+02 |-9.500000e+01 | 80.42% 7.09/7.14 c 6.6s| 1 | 0 | 1732 | 59M| 0 | 967 |1000 | 15k| 15k|1000 | 15k| 52 | 0 | 0 |-4.822500e+02 |-9.500000e+01 | 80.30% 8.29/8.36 c 7.9s| 1 | 0 | 1944 | 59M| 0 | 964 |1000 | 15k| 15k|1000 | 15k| 62 | 0 | 0 |-4.802500e+02 |-9.500000e+01 | 80.22% 9.99/10.02 c 9.5s| 1 | 0 | 2279 | 60M| 0 | 963 |1000 | 15k| 15k|1000 | 15k| 71 | 0 | 0 |-4.782500e+02 |-9.500000e+01 | 80.14% 12.19/12.20 c 11.7s| 1 | 0 | 2623 | 60M| 0 | 955 |1000 | 15k| 15k|1000 | 15k| 79 | 0 | 0 |-4.762500e+02 |-9.500000e+01 | 80.05% 14.29/14.35 c 13.8s| 1 | 0 | 2933 | 60M| 0 | 952 |1000 | 15k| 15k|1000 | 15k| 89 | 0 | 0 |-4.746250e+02 |-9.500000e+01 | 79.98% 16.59/16.64 c 16.1s| 1 | 0 | 3463 | 60M| 0 | 946 |1000 | 15k| 15k|1000 |1358 | 99 | 0 | 0 |-4.720000e+02 |-9.500000e+01 | 79.87% 16.99/17.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 16.99/17.03 c 16.5s| 1 | 0 | 3792 | 60M| 0 | 923 |1000 | 15k| 15k|1000 |1366 | 107 | 0 | 0 |-4.715000e+02 |-9.500000e+01 | 79.85% 17.59/17.62 c 17.1s| 1 | 0 | 4452 | 60M| 0 | 951 |1000 | 15k| 15k|1000 |1654 | 395 | 0 | 0 |-4.698000e+02 |-9.500000e+01 | 79.78% 18.28/18.34 c 17.8s| 1 | 0 | 5021 | 61M| 0 | 939 |1000 | 15k| 15k|1000 |2701 |1442 | 0 | 0 |-4.685000e+02 |-9.500000e+01 | 79.72% 18.98/19.08 c 18.5s| 1 | 0 | 5786 | 61M| 0 | 927 |1000 | 15k| 15k|1000 |2737 |1478 | 0 | 0 |-4.665000e+02 |-9.500000e+01 | 79.64% 20.19/20.22 c 19.7s| 1 | 0 | 6893 | 61M| 0 | 916 |1000 | 15k| 15k|1000 |2878 |1619 | 0 | 0 |-4.640000e+02 |-9.500000e+01 | 79.53% 20.98/21.08 c 20.5s| 1 | 0 | 7454 | 61M| 0 | 919 |1000 | 15k| 15k|1000 |2630 |1764 | 0 | 0 |-4.635000e+02 |-9.500000e+01 | 79.50% 22.38/22.48 c 21.9s| 1 | 0 | 8649 | 62M| 0 | 925 |1000 | 15k| 15k|1000 |2748 |1882 | 0 | 0 |-4.601667e+02 |-9.500000e+01 | 79.36% 23.49/23.51 c 22.9s| 1 | 0 | 9484 | 62M| 0 | 920 |1000 | 15k| 15k|1000 |3198 |2332 | 0 | 0 |-4.587500e+02 |-9.500000e+01 | 79.29% 24.28/24.35 c 23.8s| 1 | 0 | 10480 | 62M| 0 | 921 |1000 | 15k| 15k|1000 |3234 |2368 | 0 | 0 |-4.567500e+02 |-9.500000e+01 | 79.20% 25.48/25.58 c 25.0s| 1 | 0 | 11681 | 63M| 0 | 911 |1000 | 15k| 15k|1000 |3415 |2549 | 0 | 0 |-4.542500e+02 |-9.500000e+01 | 79.09% 26.88/26.94 c 26.4s| 1 | 0 | 12937 | 63M| 0 | 913 |1000 | 15k| 15k|1000 |3462 |2596 | 0 | 0 |-4.536250e+02 |-9.500000e+01 | 79.06% 28.28/28.33 c 27.8s| 1 | 0 | 14364 | 63M| 0 | 918 |1000 | 15k| 15k|1000 |3127 |2681 | 0 | 0 |-4.512500e+02 |-9.500000e+01 | 78.95% 29.08/29.10 c 28.5s| 1 | 0 | 15168 | 63M| 0 | 896 |1000 | 15k| 15k|1000 |3352 |2906 | 0 | 0 |-4.477500e+02 |-9.500000e+01 | 78.78% 29.98/30.06 c 29.5s| 1 | 0 | 16131 | 63M| 0 | 905 |1000 | 15k| 15k|1000 |3410 |2964 | 0 | 0 |-4.464167e+02 |-9.500000e+01 | 78.72% 31.48/31.52 c 30.9s| 1 | 0 | 17640 | 63M| 0 | 891 |1000 | 15k| 15k|1000 |3616 |3170 | 0 | 0 |-4.443750e+02 |-9.500000e+01 | 78.62% 32.78/32.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 32.78/32.80 c 32.2s| 1 | 0 | 18976 | 64M| 0 | 897 |1000 | 15k| 15k|1000 |3954 |3508 | 0 | 0 |-4.425000e+02 |-9.500000e+01 | 78.53% 33.78/33.88 c 33.3s| 1 | 0 | 20028 | 64M| 0 | 893 |1000 | 15k| 15k|1000 |4126 |3680 | 0 | 0 |-4.407500e+02 |-9.500000e+01 | 78.45% 35.88/35.95 c 35.3s| 1 | 0 | 21602 | 64M| 0 | 879 |1000 | 15k| 15k|1000 |2541 |3766 | 0 | 0 |-4.382500e+02 |-9.500000e+01 | 78.32% 36.78/36.80 c 36.2s| 1 | 0 | 22590 | 64M| 0 | 867 |1000 | 15k| 15k|1000 |2583 |3808 | 0 | 0 |-4.373750e+02 |-9.500000e+01 | 78.28% 37.98/38.07 c 37.5s| 1 | 0 | 24240 | 64M| 0 | 918 |1000 | 15k| 15k|1000 |2745 |3970 | 0 | 0 |-4.352315e+02 |-9.500000e+01 | 78.17% 39.58/39.64 c 39.0s| 1 | 0 | 24905 | 65M| 0 | 877 |1000 | 15k| 15k|1000 |4583 |5808 | 0 | 0 |-4.350000e+02 |-9.500000e+01 | 78.16% 41.58/41.61 c 41.0s| 1 | 0 | 26324 | 65M| 0 | 866 |1000 | 15k| 15k|1000 |4591 |5816 | 0 | 0 |-4.340000e+02 |-9.500000e+01 | 78.11% 43.08/43.16 c 42.5s| 1 | 0 | 27531 | 65M| 0 | 867 |1000 | 15k| 15k|1000 |4616 |5841 | 0 | 0 |-4.330000e+02 |-9.500000e+01 | 78.06% 44.47/44.53 c 43.9s| 1 | 0 | 28591 | 65M| 0 | 868 |1000 | 15k| 15k|1000 |3850 |5870 | 0 | 0 |-4.320000e+02 |-9.500000e+01 | 78.01% 46.48/46.55 c 45.9s| 1 | 0 | 30374 | 65M| 0 | 855 |1000 | 15k| 15k|1000 |3859 |5879 | 0 | 0 |-4.305000e+02 |-9.500000e+01 | 77.93% 48.38/48.50 c 47.9s| 1 | 0 | 32077 | 65M| 0 | 852 |1000 | 15k| 15k|1000 |3930 |5950 | 0 | 0 |-4.280000e+02 |-9.500000e+01 | 77.80% 49.48/49.50 c 48.9s| 1 | 0 | 32976 | 65M| 0 | 855 |1000 | 15k| 15k|1000 |3985 |6005 | 0 | 0 |-4.275000e+02 |-9.500000e+01 | 77.78% 51.37/51.47 c 50.8s| 1 | 0 | 34951 | 65M| 0 | 850 |1000 | 15k| 15k|1000 |3996 |6016 | 0 | 0 |-4.250000e+02 |-9.500000e+01 | 77.65% 53.47/53.58 c 52.9s| 1 | 0 | 36791 | 65M| 0 | 849 |1000 | 15k| 15k|1000 |4021 |6041 | 0 | 0 |-4.245000e+02 |-9.500000e+01 | 77.62% 55.37/55.48 c 54.8s| 1 | 0 | 38356 | 66M| 0 | 846 |1000 | 15k| 15k|1000 |2943 |6049 | 0 | 0 |-4.240000e+02 |-9.500000e+01 | 77.59% 56.27/56.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 56.27/56.34 c 55.7s| 1 | 0 | 39240 | 66M| 0 | 843 |1000 | 15k| 15k|1000 |2977 |6083 | 0 | 0 |-4.235000e+02 |-9.500000e+01 | 77.57% 57.67/57.71 c 57.1s| 1 | 0 | 40703 | 66M| 0 | 853 |1000 | 15k| 15k|1000 |3027 |6133 | 0 | 0 |-4.230000e+02 |-9.500000e+01 | 77.54% 58.77/58.83 c 58.2s| 1 | 0 | 41949 | 66M| 0 | 869 |1000 | 15k| 15k|1000 |3144 |6250 | 0 | 0 |-4.205714e+02 |-9.500000e+01 | 77.41% 60.27/60.40 c 59.7s| 1 | 0 | 43516 | 66M| 0 | 840 |1000 | 15k| 15k|1000 |3721 |6827 | 0 | 0 |-4.195000e+02 |-9.500000e+01 | 77.35% 61.17/61.23 c 60.6s| 1 | 0 | 44308 | 67M| 0 | 851 |1000 | 15k| 15k|1000 |3753 |6859 | 0 | 0 |-4.192162e+02 |-9.500000e+01 | 77.34% 61.97/62.06 c 61.4s| 1 | 0 | 45134 | 67M| 0 | 847 |1000 | 15k| 15k|1000 |2158 |6977 | 0 | 0 |-4.185000e+02 |-9.500000e+01 | 77.30% 63.07/63.14 c 62.5s| 1 | 0 | 46294 | 67M| 0 | 839 |1000 | 15k| 15k|1000 |2227 |7046 | 0 | 0 |-4.177500e+02 |-9.500000e+01 | 77.26% 64.06/64.16 c 63.5s| 1 | 0 | 47524 | 67M| 0 | 844 |1000 | 15k| 15k|1000 |2444 |7263 | 0 | 0 |-4.167500e+02 |-9.500000e+01 | 77.20% 64.87/64.95 c 64.3s| 1 | 0 | 48574 | 67M| 0 | 838 |1000 | 15k| 15k|1000 |2617 |7436 | 0 | 0 |-4.141667e+02 |-9.500000e+01 | 77.06% 65.87/65.97 c 65.3s| 1 | 0 | 49766 | 67M| 0 | 884 |1000 | 15k| 15k|1000 |2719 |7538 | 0 | 0 |-4.127857e+02 |-9.500000e+01 | 76.99% 67.16/67.24 c 66.5s| 1 | 0 | 50751 | 68M| 0 | 837 |1000 | 15k| 15k|1000 |3952 |8771 | 0 | 0 |-4.125000e+02 |-9.500000e+01 | 76.97% 68.36/68.46 c 67.8s| 1 | 0 | 51665 | 68M| 0 | 832 |1000 | 15k| 15k|1000 |3656 |8796 | 0 | 0 |-4.120000e+02 |-9.500000e+01 | 76.94% 70.36/70.42 c 69.7s| 1 | 0 | 53359 | 68M| 0 | 820 |1000 | 15k| 15k|1000 |3679 |8819 | 0 | 0 |-4.110000e+02 |-9.500000e+01 | 76.89% 71.76/71.89 c 71.2s| 1 | 0 | 54516 | 68M| 0 | 834 |1000 | 15k| 15k|1000 |3703 |8843 | 0 | 0 |-4.100000e+02 |-9.500000e+01 | 76.83% 73.16/73.29 c 72.6s| 1 | 0 | 55425 | 69M| 0 | 824 |1000 | 15k| 15k|1000 |3711 |8851 | 0 | 0 |-4.100000e+02 |-9.500000e+01 | 76.83% 74.96/75.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 74.96/75.08 c 74.4s| 1 | 0 | 56821 | 69M| 0 | 822 |1000 | 15k| 15k|1000 |3718 |8858 | 0 | 0 |-4.100000e+02 |-9.500000e+01 | 76.83% 76.67/76.80 c 76.1s| 1 | 0 | 58212 | 69M| 0 | 820 |1000 | 15k| 15k|1000 |3726 |8866 | 0 | 0 |-4.100000e+02 |-9.500000e+01 | 76.83% 78.76/78.84 c 78.1s| 1 | 0 | 59844 | 69M| 0 | 820 |1000 | 15k| 15k|1000 |2855 |8875 | 0 | 0 |-4.090000e+02 |-9.500000e+01 | 76.77% 79.56/79.66 c 79.0s| 1 | 0 | 60631 | 69M| 0 | 818 |1000 | 15k| 15k|1000 |2917 |8937 | 0 | 0 |-4.080000e+02 |-9.500000e+01 | 76.72% 81.46/81.59 c 80.9s| 1 | 0 | 62618 | 69M| 0 | 844 |1000 | 15k| 15k|1000 |3226 |9246 | 0 | 0 |-4.071000e+02 |-9.500000e+01 | 76.66% 82.76/82.81 c 82.1s| 1 | 0 | 64221 | 69M| 0 | 897 |1000 | 15k| 15k|1000 |3298 |9318 | 0 | 0 |-4.051761e+02 |-9.500000e+01 | 76.55% 86.26/86.38 c 85.7s| 1 | 0 | 65348 | 70M| 0 | 823 |1000 | 15k| 15k|1000 |5298 | 11k| 0 | 0 |-4.045000e+02 |-9.500000e+01 | 76.51% 87.46/87.58 c 86.9s| 1 | 0 | 66146 | 70M| 0 | 822 |1000 | 15k| 15k|1000 |5306 | 11k| 0 | 0 |-4.040000e+02 |-9.500000e+01 | 76.49% 89.66/89.77 c 89.0s| 1 | 0 | 67610 | 70M| 0 | 807 |1000 | 15k| 15k|1000 |4269 | 11k| 0 | 0 |-4.035000e+02 |-9.500000e+01 | 76.46% 91.16/91.26 c 90.5s| 1 | 0 | 69079 | 70M| 0 | 809 |1000 | 15k| 15k|1000 |4275 | 11k| 0 | 0 |-4.030000e+02 |-9.500000e+01 | 76.43% 92.95/93.06 c 92.3s| 1 | 0 | 70419 | 71M| 0 | 809 |1000 | 15k| 15k|1000 |4287 | 11k| 0 | 0 |-4.030000e+02 |-9.500000e+01 | 76.43% 95.66/95.74 c 95.0s| 1 | 0 | 72496 | 71M| 0 | 806 |1000 | 15k| 15k|1000 |4327 | 11k| 0 | 0 |-4.020000e+02 |-9.500000e+01 | 76.37% 98.25/98.33 c 97.6s| 1 | 0 | 74339 | 71M| 0 | 799 |1000 | 15k| 15k|1000 |4394 | 11k| 0 | 0 |-4.010000e+02 |-9.500000e+01 | 76.31% 100.35/100.48 c 99.7s| 1 | 0 | 75789 | 71M| 0 | 818 |1000 | 15k| 15k|1000 |4450 | 11k| 0 | 0 |-4.000000e+02 |-9.500000e+01 | 76.25% 104.25/104.38 c 104s| 1 | 0 | 78165 | 72M| 0 | 817 |1000 | 15k| 15k|1000 |4084 | 11k| 0 | 0 |-3.995000e+02 |-9.500000e+01 | 76.22% 107.15/107.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 107.15/107.27 c 107s| 1 | 0 | 80324 | 72M| 0 | 836 |1000 | 15k| 15k|1000 |4123 | 11k| 0 | 0 |-3.985000e+02 |-9.500000e+01 | 76.16% 110.44/110.59 c 110s| 1 | 0 | 82562 | 73M| 0 | 813 |1000 | 15k| 15k|1000 |4245 | 11k| 0 | 0 |-3.975000e+02 |-9.500000e+01 | 76.10% 113.44/113.59 c 113s| 1 | 0 | 84558 | 73M| 0 | 801 |1000 | 15k| 15k|1000 |4295 | 11k| 0 | 0 |-3.965000e+02 |-9.500000e+01 | 76.04% 115.45/115.55 c 115s| 1 | 0 | 85909 | 74M| 0 | 814 |1000 | 15k| 15k|1000 |4323 | 11k| 0 | 0 |-3.960000e+02 |-9.500000e+01 | 76.01% 118.75/118.88 c 118s| 1 | 0 | 88159 | 74M| 0 | 837 |1000 | 15k| 15k|1000 |4390 | 11k| 0 | 0 |-3.948333e+02 |-9.500000e+01 | 75.94% 120.55/120.63 c 120s| 1 | 0 | 89787 | 74M| 0 | 820 |1000 | 15k| 15k|1000 |3047 | 12k| 0 | 0 |-3.937000e+02 |-9.500000e+01 | 75.87% 123.84/123.95 c 123s| 1 | 0 | 92451 | 75M| 0 | 800 |1000 | 15k| 15k|1000 |3270 | 12k| 0 | 0 |-3.927500e+02 |-9.500000e+01 | 75.81% 125.93/126.01 c 125s| 1 | 0 | 94541 | 75M| 0 | 843 |1000 | 15k| 15k|1000 |3314 | 12k| 0 | 0 |-3.923750e+02 |-9.500000e+01 | 75.79% 130.53/130.67 c 130s| 1 | 0 | 98105 | 75M| 0 | 853 |1000 | 15k| 15k|1000 |3501 | 12k| 0 | 0 |-3.915595e+02 |-9.500000e+01 | 75.74% 132.24/132.30 c 131s| 1 | 0 | 99843 | 76M| 0 | 857 |1000 | 15k| 15k|1000 |3848 | 12k| 0 | 0 |-3.897500e+02 |-9.500000e+01 | 75.63% 133.84/133.97 c 133s| 1 | 0 |101441 | 77M| 0 | 888 |1000 | 15k| 15k|1000 |4131 | 13k| 0 | 0 |-3.889848e+02 |-9.500000e+01 | 75.58% 135.93/136.04 c 135s| 1 | 0 |103109 | 78M| 0 | 804 |1000 | 15k| 15k|1000 |4031 | 13k| 0 | 0 |-3.880000e+02 |-9.500000e+01 | 75.52% 139.23/139.39 c 139s| 1 | 0 |105833 | 78M| 0 | 825 |1000 | 15k| 15k|1000 |4077 | 13k| 0 | 0 |-3.872500e+02 |-9.500000e+01 | 75.47% 141.53/141.61 c 141s| 1 | 0 |107992 | 78M| 0 | 857 |1000 | 15k| 15k|1000 |4123 | 13k| 0 | 0 |-3.865556e+02 |-9.500000e+01 | 75.42% 142.93/143.08 c 142s| 1 | 0 |109539 | 78M| 0 | 853 |1000 | 15k| 15k|1000 |4210 | 13k| 0 | 0 |-3.853250e+02 |-9.500000e+01 | 75.35% 144.33/144.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 144.33/144.44 c 144s| 1 | 0 |110869 | 79M| 0 | 806 |1000 | 15k| 15k|1000 |4348 | 13k| 0 | 0 |-3.845000e+02 |-9.500000e+01 | 75.29% 146.23/146.34 c 146s| 1 | 0 |112538 | 80M| 0 | 860 |1000 | 15k| 15k|1000 |4381 | 13k| 0 | 0 |-3.839793e+02 |-9.500000e+01 | 75.26% 148.33/148.47 c 148s| 1 | 0 |114592 | 81M| 0 | 891 |1000 | 15k| 15k|1000 |4123 | 13k| 0 | 0 |-3.830000e+02 |-9.500000e+01 | 75.20% 150.73/150.83 c 150s| 1 | 0 |116494 | 82M| 0 | 877 |1000 | 15k| 15k|1000 |4341 | 14k| 0 | 0 |-3.825920e+02 |-9.500000e+01 | 75.17% 152.74/152.86 c 152s| 1 | 0 |118420 | 84M| 0 | 867 |1000 | 15k| 15k|1000 |4506 | 14k| 0 | 0 |-3.811825e+02 |-9.500000e+01 | 75.08% 154.63/154.79 c 154s| 1 | 0 |119975 | 86M| 0 | 887 |1000 | 15k| 15k|1000 |4543 | 14k| 0 | 0 |-3.805514e+02 |-9.500000e+01 | 75.04% 156.53/156.61 c 156s| 1 | 0 |121198 | 87M| 0 | 911 |1000 | 15k| 15k|1000 |4600 | 14k| 0 | 0 |-3.802812e+02 |-9.500000e+01 | 75.02% 158.82/158.94 c 158s| 1 | 0 |122728 | 87M| 0 | 859 |1000 | 15k| 15k|1000 |4673 | 14k| 0 | 0 |-3.798607e+02 |-9.500000e+01 | 74.99% 160.93/161.09 c 160s| 1 | 0 |124269 | 88M| 0 | 900 |1000 | 15k| 15k|1000 |4160 | 14k| 0 | 0 |-3.792500e+02 |-9.500000e+01 | 74.95% 163.42/163.55 c 163s| 1 | 0 |126145 | 89M| 0 | 900 |1000 | 15k| 15k|1000 |4243 | 14k| 0 | 0 |-3.785870e+02 |-9.500000e+01 | 74.91% 165.32/165.48 c 165s| 1 | 0 |127644 | 90M| 0 | 894 |1000 | 15k| 15k|1000 |4322 | 14k| 0 | 0 |-3.775435e+02 |-9.500000e+01 | 74.84% 167.73/167.85 c 167s| 1 | 0 |129569 | 94M| 0 | 922 |1000 | 15k| 15k|1000 |4390 | 14k| 0 | 0 |-3.764410e+02 |-9.500000e+01 | 74.76% 170.12/170.22 c 169s| 1 | 0 |131562 | 96M| 0 | 912 |1000 | 15k| 15k|1000 |4477 | 14k| 0 | 0 |-3.750234e+02 |-9.500000e+01 | 74.67% 172.02/172.14 c 171s| 1 | 0 |133070 | 98M| 0 | 923 |1000 | 15k| 15k|1000 |4548 | 14k| 0 | 0 |-3.744296e+02 |-9.500000e+01 | 74.63% 174.92/175.05 c 174s| 1 | 0 |134654 | 98M| 0 | 913 |1000 | 15k| 15k|1000 |4449 | 15k| 0 | 0 |-3.733096e+02 |-9.500000e+01 | 74.55% 177.12/177.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 177.12/177.28 c 176s| 1 | 0 |136213 | 100M| 0 | 934 |1000 | 15k| 15k|1000 |4528 | 15k| 0 | 0 |-3.724272e+02 |-9.500000e+01 | 74.49% 180.51/180.65 c 180s| 1 | 0 |138146 | 100M| 0 | 942 |1000 | 15k| 15k|1000 |4653 | 15k| 0 | 0 |-3.716037e+02 |-9.500000e+01 | 74.44% 183.71/183.89 c 183s| 1 | 0 |139929 | 100M| 0 | 921 |1000 | 15k| 15k|1000 |4822 | 15k| 0 | 0 |-3.703670e+02 |-9.500000e+01 | 74.35% 187.42/187.50 c 187s| 1 | 0 |142035 | 100M| 0 | 932 |1000 | 15k| 15k|1000 |4860 | 15k| 0 | 0 |-3.691896e+02 |-9.500000e+01 | 74.27% 191.01/191.17 c 190s| 1 | 0 |144059 | 100M| 0 | 946 |1000 | 15k| 15k|1000 |4890 | 15k| 0 | 0 |-3.681621e+02 |-9.500000e+01 | 74.20% 194.71/194.82 c 194s| 1 | 0 |145559 | 100M| 0 | 937 |1000 | 15k| 15k|1000 |4795 | 15k| 0 | 0 |-3.675093e+02 |-9.500000e+01 | 74.15% 197.41/197.56 c 197s| 1 | 0 |146850 | 100M| 0 | 941 |1000 | 15k| 15k|1000 |4859 | 15k| 0 | 0 |-3.667682e+02 |-9.500000e+01 | 74.10% 200.71/200.83 c 200s| 1 | 0 |148361 | 100M| 0 | 939 |1000 | 15k| 15k|1000 |4939 | 15k| 0 | 0 |-3.658333e+02 |-9.500000e+01 | 74.03% 204.42/204.59 c 204s| 1 | 0 |150334 | 100M| 0 | 953 |1000 | 15k| 15k|1000 |5027 | 15k| 0 | 0 |-3.648576e+02 |-9.500000e+01 | 73.96% 208.30/208.49 c 208s| 1 | 0 |152153 | 100M| 0 | 957 |1000 | 15k| 15k|1000 |5055 | 15k| 0 | 0 |-3.641084e+02 |-9.500000e+01 | 73.91% 212.21/212.38 c 211s| 1 | 0 |153554 | 100M| 0 | 961 |1000 | 15k| 15k|1000 |5122 | 15k| 0 | 0 |-3.632950e+02 |-9.500000e+01 | 73.85% 216.01/216.16 c 215s| 1 | 0 |154654 | 100M| 0 | 950 |1000 | 15k| 15k|1000 |4824 | 15k| 0 | 0 |-3.629158e+02 |-9.500000e+01 | 73.82% 219.50/219.68 c 219s| 1 | 0 |156140 | 100M| 0 | 949 |1000 | 15k| 15k|1000 |4859 | 16k| 0 | 0 |-3.623563e+02 |-9.500000e+01 | 73.78% 223.40/223.55 c 223s| 1 | 0 |157661 | 100M| 0 | 950 |1000 | 15k| 15k|1000 |5004 | 16k| 0 | 0 |-3.615036e+02 |-9.500000e+01 | 73.72% 227.30/227.49 c 226s| 1 | 0 |159391 | 100M| 0 | 947 |1000 | 15k| 15k|1000 |5060 | 16k| 0 | 0 |-3.607388e+02 |-9.500000e+01 | 73.67% 231.50/231.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 231.50/231.66 c 231s| 1 | 0 |161436 | 99M| 0 | 956 |1000 | 15k| 15k|1000 |5086 | 16k| 0 | 0 |-3.596168e+02 |-9.500000e+01 | 73.58% 235.00/235.18 c 234s| 1 | 0 |162464 | 99M| 0 | 954 |1000 | 15k| 15k|1000 |5126 | 16k| 0 | 0 |-3.592133e+02 |-9.500000e+01 | 73.55% 239.29/239.42 c 238s| 1 | 0 |163937 | 99M| 0 | 958 |1000 | 15k| 15k|1000 |4896 | 16k| 0 | 0 |-3.587991e+02 |-9.500000e+01 | 73.52% 243.40/243.53 c 243s| 1 | 0 |165716 | 99M| 0 | 960 |1000 | 15k| 15k|1000 |4968 | 16k| 0 | 0 |-3.578319e+02 |-9.500000e+01 | 73.45% 248.20/248.39 c 247s| 1 | 0 |167823 | 99M| 0 | 957 |1000 | 15k| 15k|1000 |5053 | 16k| 0 | 0 |-3.567558e+02 |-9.500000e+01 | 73.37% 252.39/252.58 c 252s| 1 | 0 |169225 | 98M| 0 | 963 |1000 | 15k| 15k|1000 |5130 | 16k| 0 | 0 |-3.563285e+02 |-9.500000e+01 | 73.34% 258.29/258.42 c 257s| 1 | 0 |171877 | 98M| 0 | 966 |1000 | 15k| 15k|1000 |5200 | 16k| 0 | 0 |-3.549550e+02 |-9.500000e+01 | 73.24% 263.48/263.60 c 263s| 1 | 0 |173553 | 98M| 0 | 967 |1000 | 15k| 15k|1000 |5370 | 16k| 0 | 0 |-3.543524e+02 |-9.500000e+01 | 73.19% 269.09/269.26 c 268s| 1 | 0 |175505 | 98M| 0 | 966 |1000 | 15k| 15k|1000 |5205 | 16k| 0 | 0 |-3.532366e+02 |-9.500000e+01 | 73.11% 273.98/274.12 c 273s| 1 | 0 |177044 | 98M| 0 | 969 |1000 | 15k| 15k|1000 |5228 | 16k| 0 | 0 |-3.524342e+02 |-9.500000e+01 | 73.04% 279.08/279.21 c 278s| 1 | 0 |178889 | 98M| 0 | 967 |1000 | 15k| 15k|1000 |5314 | 16k| 0 | 0 |-3.515845e+02 |-9.500000e+01 | 72.98% 284.38/284.52 c 283s| 1 | 0 |180699 | 98M| 0 | 977 |1000 | 15k| 15k|1000 |5404 | 17k| 0 | 0 |-3.507002e+02 |-9.500000e+01 | 72.91% 290.38/290.56 c 289s| 1 | 0 |182734 | 98M| 0 | 977 |1000 | 15k| 15k|1000 |5483 | 17k| 0 | 0 |-3.493801e+02 |-9.500000e+01 | 72.81% 296.78/296.94 c 296s| 1 | 0 |185007 | 97M| 0 | 979 |1000 | 15k| 15k|1000 |5556 | 17k| 0 | 0 |-3.484371e+02 |-9.500000e+01 | 72.74% 303.07/303.20 c 302s| 1 | 0 |186807 | 97M| 0 | 979 |1000 | 15k| 15k|1000 |5476 | 17k| 0 | 0 |-3.478858e+02 |-9.500000e+01 | 72.69% 308.77/308.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 308.77/308.91 c 308s| 1 | 0 |188533 | 97M| 0 | 977 |1000 | 15k| 15k|1000 |5510 | 17k| 0 | 0 |-3.473532e+02 |-9.500000e+01 | 72.65% 314.57/314.71 c 314s| 1 | 0 |190271 | 97M| 0 | 986 |1000 | 15k| 15k|1000 |5561 | 17k| 0 | 0 |-3.467101e+02 |-9.500000e+01 | 72.60% 320.76/320.93 c 320s| 1 | 0 |192083 | 97M| 0 | 982 |1000 | 15k| 15k|1000 |5655 | 17k| 0 | 0 |-3.460663e+02 |-9.500000e+01 | 72.55% 328.36/328.54 c 327s| 1 | 0 |194858 | 97M| 0 | 983 |1000 | 15k| 15k|1000 |5722 | 17k| 0 | 0 |-3.449440e+02 |-9.500000e+01 | 72.46% 335.37/335.58 c 334s| 1 | 0 |196963 | 97M| 0 | 981 |1000 | 15k| 15k|1000 |5784 | 17k| 0 | 0 |-3.439635e+02 |-9.500000e+01 | 72.38% 342.56/342.75 c 342s| 1 | 0 |198899 | 97M| 0 | 990 |1000 | 15k| 15k|1000 |5683 | 17k| 0 | 0 |-3.433998e+02 |-9.500000e+01 | 72.34% 349.55/349.72 c 348s| 1 | 0 |200927 | 97M| 0 | 989 |1000 | 15k| 15k|1000 |5719 | 17k| 0 | 0 |-3.425730e+02 |-9.500000e+01 | 72.27% 356.05/356.29 c 355s| 1 | 0 |202729 | 97M| 0 | 985 |1000 | 15k| 15k|1000 |5786 | 17k| 0 | 0 |-3.420952e+02 |-9.500000e+01 | 72.23% 362.85/363.02 c 362s| 1 | 0 |204559 | 97M| 0 | 994 |1000 | 15k| 15k|1000 |5822 | 17k| 0 | 0 |-3.415168e+02 |-9.500000e+01 | 72.18% 369.85/370.04 c 369s| 1 | 0 |206494 | 97M| 0 | 990 |1000 | 15k| 15k|1000 |5867 | 17k| 0 | 0 |-3.406925e+02 |-9.500000e+01 | 72.12% 376.84/377.08 c 376s| 1 | 0 |208306 | 97M| 0 | 987 |1000 | 15k| 15k|1000 |5901 | 17k| 0 | 0 |-3.401899e+02 |-9.500000e+01 | 72.07% 384.23/384.41 c 383s| 1 | 0 |210050 | 97M| 0 | 991 |1000 | 15k| 15k|1000 |5877 | 17k| 0 | 0 |-3.396437e+02 |-9.500000e+01 | 72.03% 391.23/391.42 c 390s| 1 | 0 |211754 | 96M| 0 | 992 |1000 | 15k| 15k|1000 |5892 | 17k| 0 | 0 |-3.389170e+02 |-9.500000e+01 | 71.97% 398.83/399.07 c 398s| 1 | 0 |213705 | 96M| 0 | 989 |1000 | 15k| 15k|1000 |5927 | 17k| 0 | 0 |-3.381514e+02 |-9.500000e+01 | 71.91% 405.73/405.94 c 405s| 1 | 0 |215310 | 96M| 0 | 991 |1000 | 15k| 15k|1000 |5974 | 17k| 0 | 0 |-3.376606e+02 |-9.500000e+01 | 71.87% 412.63/412.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 412.63/412.83 c 412s| 1 | 0 |216762 | 96M| 0 | 994 |1000 | 15k| 15k|1000 |6002 | 18k| 0 | 0 |-3.371212e+02 |-9.500000e+01 | 71.82% 419.93/420.10 c 419s| 1 | 0 |218602 | 95M| 0 | 995 |1000 | 15k| 15k|1000 |6024 | 18k| 0 | 0 |-3.365848e+02 |-9.500000e+01 | 71.78% 426.72/426.98 c 426s| 1 | 0 |219777 | 95M| 0 | 993 |1000 | 15k| 15k|1000 |5916 | 18k| 0 | 0 |-3.362761e+02 |-9.500000e+01 | 71.75% 433.61/433.89 c 433s| 1 | 0 |221495 | 95M| 0 | 994 |1000 | 15k| 15k|1000 |5951 | 18k| 0 | 0 |-3.356826e+02 |-9.500000e+01 | 71.70% 440.52/440.75 c 439s| 1 | 0 |223187 | 95M| 0 | 996 |1000 | 15k| 15k|1000 |5994 | 18k| 0 | 0 |-3.350998e+02 |-9.500000e+01 | 71.65% 447.11/447.31 c 446s| 1 | 0 |224560 | 95M| 0 | 995 |1000 | 15k| 15k|1000 |6031 | 18k| 0 | 0 |-3.347169e+02 |-9.500000e+01 | 71.62% 454.11/454.35 c 453s| 1 | 0 |226044 | 95M| 0 | 993 |1000 | 15k| 15k|1000 |6068 | 18k| 0 | 0 |-3.342705e+02 |-9.500000e+01 | 71.58% 461.10/461.37 c 460s| 1 | 0 |227543 | 95M| 0 | 995 |1000 | 15k| 15k|1000 |6096 | 18k| 0 | 0 |-3.338508e+02 |-9.500000e+01 | 71.54% 468.10/468.33 c 467s| 1 | 0 |228502 | 95M| 0 | 994 |1000 | 15k| 15k|1000 |6007 | 18k| 0 | 0 |-3.336175e+02 |-9.500000e+01 | 71.52% 475.20/475.40 c 474s| 1 | 0 |229977 | 94M| 0 | 996 |1000 | 15k| 15k|1000 |6026 | 18k| 0 | 0 |-3.330971e+02 |-9.500000e+01 | 71.48% 482.60/482.83 c 481s| 1 | 0 |231699 | 94M| 0 | 995 |1000 | 15k| 15k|1000 |6053 | 18k| 0 | 0 |-3.323187e+02 |-9.500000e+01 | 71.41% 489.79/490.07 c 489s| 1 | 0 |233193 | 94M| 0 | 995 |1000 | 15k| 15k|1000 |6095 | 18k| 0 | 0 |-3.318735e+02 |-9.500000e+01 | 71.37% 496.89/497.19 c 496s| 1 | 0 |234536 | 94M| 0 | 995 |1000 | 15k| 15k|1000 |6136 | 18k| 0 | 0 |-3.313793e+02 |-9.500000e+01 | 71.33% 503.09/503.30 c 502s| 1 | 0 |235242 | 94M| 0 | 993 |1000 | 15k| 15k|1000 |6165 | 18k| 0 | 0 |-3.312118e+02 |-9.500000e+01 | 71.32% 509.79/510.03 c 509s| 1 | 0 |235954 | 94M| 0 | 997 |1000 | 15k| 15k|1000 |6085 | 18k| 0 | 0 |-3.310273e+02 |-9.500000e+01 | 71.30% 516.39/516.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 516.39/516.66 c 515s| 1 | 0 |236901 | 94M| 0 | 998 |1000 | 15k| 15k|1000 |6098 | 18k| 0 | 0 |-3.307396e+02 |-9.500000e+01 | 71.28% 522.59/522.87 c 521s| 1 | 0 |237569 | 93M| 0 | 997 |1000 | 15k| 15k|1000 |6119 | 18k| 0 | 0 |-3.304988e+02 |-9.500000e+01 | 71.26% 528.98/529.20 c 528s| 1 | 0 |238314 | 93M| 0 | 997 |1000 | 15k| 15k|1000 |6151 | 18k| 0 | 0 |-3.303142e+02 |-9.500000e+01 | 71.24% 535.88/536.12 c 535s| 1 | 0 |239375 | 93M| 0 | 997 |1000 | 15k| 15k|1000 |6170 | 18k| 0 | 0 |-3.300354e+02 |-9.500000e+01 | 71.22% 542.48/542.70 c 541s| 1 | 0 |240087 | 93M| 0 | 996 |1000 | 15k| 15k|1000 |6197 | 18k| 0 | 0 |-3.297622e+02 |-9.500000e+01 | 71.19% 549.97/550.24 c 549s| 1 | 0 |240938 | 93M| 0 | 997 |1000 | 15k| 15k|1000 |6145 | 18k| 0 | 0 |-3.294868e+02 |-9.500000e+01 | 71.17% 557.17/557.45 c 556s| 1 | 0 |242137 | 93M| 0 | 999 |1000 | 15k| 15k|1000 |6160 | 18k| 0 | 0 |-3.290214e+02 |-9.500000e+01 | 71.13% 563.76/564.05 c 562s| 1 | 0 |242879 | 92M| 0 | 998 |1000 | 15k| 15k|1000 |6179 | 18k| 0 | 0 |-3.287919e+02 |-9.500000e+01 | 71.11% 570.66/570.99 c 569s| 1 | 0 |243892 | 92M| 0 | 999 |1000 | 15k| 15k|1000 |6197 | 18k| 0 | 0 |-3.284930e+02 |-9.500000e+01 | 71.08% 577.76/578.05 c 576s| 1 | 0 |244927 | 92M| 0 | 997 |1000 | 15k| 15k|1000 |6212 | 18k| 0 | 0 |-3.282240e+02 |-9.500000e+01 | 71.06% 584.15/584.42 c 583s| 1 | 0 |245566 | 92M| 0 | 997 |1000 | 15k| 15k|1000 |6228 | 18k| 0 | 0 |-3.280310e+02 |-9.500000e+01 | 71.04% 591.66/591.99 c 590s| 1 | 0 |246713 | 91M| 0 | 998 |1000 | 15k| 15k|1000 |6178 | 18k| 0 | 0 |-3.276854e+02 |-9.500000e+01 | 71.01% 598.35/598.61 c 597s| 1 | 0 |247654 | 91M| 0 | 998 |1000 | 15k| 15k|1000 |6192 | 18k| 0 | 0 |-3.274127e+02 |-9.500000e+01 | 70.98% 605.25/605.52 c 604s| 1 | 0 |248684 | 91M| 0 | 997 |1000 | 15k| 15k|1000 |6215 | 18k| 0 | 0 |-3.271484e+02 |-9.500000e+01 | 70.96% 611.55/611.85 c 610s| 1 | 0 |249424 | 90M| 0 | 998 |1000 | 15k| 15k|1000 |6232 | 18k| 0 | 0 |-3.269130e+02 |-9.500000e+01 | 70.94% 618.84/619.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 618.84/619.18 c 617s| 1 | 0 |250687 | 90M| 0 | 998 |1000 | 15k| 15k|1000 |6255 | 18k| 0 | 0 |-3.264999e+02 |-9.500000e+01 | 70.90% 625.44/625.71 c 624s| 1 | 0 |251484 | 89M| 0 | 998 |1000 | 15k| 15k|1000 |6272 | 18k| 0 | 0 |-3.262684e+02 |-9.500000e+01 | 70.88% 632.15/632.49 c 631s| 1 | 0 |252030 | 89M| 0 | 999 |1000 | 15k| 15k|1000 |6247 | 18k| 0 | 0 |-3.261469e+02 |-9.500000e+01 | 70.87% 638.43/638.78 c 637s| 1 | 0 |252705 | 88M| 0 | 996 |1000 | 15k| 15k|1000 |6262 | 18k| 0 | 0 |-3.259512e+02 |-9.500000e+01 | 70.85% 644.94/645.26 c 644s| 1 | 0 |253592 | 88M| 0 | 998 |1000 | 15k| 15k|1000 |6274 | 18k| 0 | 0 |-3.257032e+02 |-9.500000e+01 | 70.83% 651.23/651.50 c 650s| 1 | 0 |254233 | 88M| 0 | 999 |1000 | 15k| 15k|1000 |6294 | 18k| 0 | 0 |-3.255335e+02 |-9.500000e+01 | 70.82% 657.73/658.05 c 656s| 1 | 0 |255054 | 87M| 0 | 998 |1000 | 15k| 15k|1000 |6308 | 18k| 0 | 0 |-3.252609e+02 |-9.500000e+01 | 70.79% 664.03/664.36 c 663s| 1 | 0 |255740 | 87M| 0 | 996 |1000 | 15k| 15k|1000 |6324 | 18k| 0 | 0 |-3.250776e+02 |-9.500000e+01 | 70.78% 670.93/671.25 c 669s| 1 | 0 |256354 | 86M| 0 | 996 |1000 | 15k| 15k|1000 |6290 | 18k| 0 | 0 |-3.248930e+02 |-9.500000e+01 | 70.76% 677.02/677.31 c 676s| 1 | 0 |256798 | 86M| 0 | 997 |1000 | 15k| 15k|1000 |6308 | 18k| 0 | 0 |-3.247871e+02 |-9.500000e+01 | 70.75% 683.32/683.64 c 682s| 1 | 0 |257484 | 85M| 0 | 996 |1000 | 15k| 15k|1000 |6321 | 18k| 0 | 0 |-3.245838e+02 |-9.500000e+01 | 70.73% 689.62/689.98 c 688s| 1 | 0 |258263 | 85M| 0 | 996 |1000 | 15k| 15k|1000 |6340 | 18k| 0 | 0 |-3.243470e+02 |-9.500000e+01 | 70.71% 696.22/696.57 c 695s| 1 | 0 |258925 | 85M| 0 | 997 |1000 | 15k| 15k|1000 |6355 | 18k| 0 | 0 |-3.241232e+02 |-9.500000e+01 | 70.69% 702.42/702.79 c 701s| 1 | 0 |259478 | 84M| 0 | 998 |1000 | 15k| 15k|1000 |6369 | 18k| 0 | 0 |-3.240033e+02 |-9.500000e+01 | 70.68% 709.11/709.45 c 708s| 1 | 0 |260171 | 82M| 0 | 997 |1000 | 15k| 15k|1000 |6333 | 18k| 0 | 0 |-3.238535e+02 |-9.500000e+01 | 70.67% 715.01/715.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 715.01/715.37 c 714s| 1 | 0 |260636 | 81M| 0 | 997 |1000 | 15k| 15k|1000 |6344 | 18k| 0 | 0 |-3.237331e+02 |-9.500000e+01 | 70.65% 720.81/721.12 c 719s| 1 | 0 |261073 | 80M| 0 | 997 |1000 | 15k| 15k|1000 |6355 | 18k| 0 | 0 |-3.236723e+02 |-9.500000e+01 | 70.65% 726.50/726.85 c 725s| 1 | 0 |261570 | 78M| 0 | 996 |1000 | 15k| 15k|1000 |6368 | 18k| 0 | 0 |-3.235996e+02 |-9.500000e+01 | 70.64% 732.20/732.51 c 731s| 1 | 0 |262123 | 77M| 0 | 995 |1000 | 15k| 15k|1000 |6378 | 18k| 0 | 0 |-3.234754e+02 |-9.500000e+01 | 70.63% 737.90/738.27 c 736s| 1 | 0 |262701 | 77M| 0 | 997 |1000 | 15k| 15k|1000 |6392 | 19k| 0 | 0 |-3.233427e+02 |-9.500000e+01 | 70.62% 744.31/744.61 c 743s| 1 | 0 |263104 | 75M| 0 | 997 |1000 | 15k| 15k|1000 |6344 | 19k| 0 | 0 |-3.232948e+02 |-9.500000e+01 | 70.62% 749.99/750.35 c 748s| 1 | 0 |263645 | 74M| 0 | 999 |1000 | 15k| 15k|1000 |6355 | 19k| 0 | 0 |-3.231697e+02 |-9.500000e+01 | 70.60% 755.49/755.89 c 754s| 1 | 0 |263972 | 73M| 0 | 999 |1000 | 15k| 15k|1000 |6366 | 19k| 0 | 0 |-3.231211e+02 |-9.500000e+01 | 70.60% 761.19/761.50 c 760s| 1 | 0 |264453 | 69M| 0 | 999 |1000 | 15k| 15k|1000 |6376 | 19k| 0 | 0 |-3.230375e+02 |-9.500000e+01 | 70.59% 766.59/766.92 c 765s| 1 | 0 |264801 | 68M| 0 | 998 |1000 | 15k| 15k|1000 |6390 | 19k| 0 | 0 |-3.229873e+02 |-9.500000e+01 | 70.59% 772.39/772.79 c 771s| 1 | 0 |265421 | 66M| 0 | 996 |1000 | 15k| 15k|1000 |6405 | 19k| 0 | 0 |-3.228728e+02 |-9.500000e+01 | 70.58% 778.68/779.08 c 777s| 1 | 0 |265910 | 65M| 0 | 996 |1000 | 15k| 15k|1000 |6357 | 19k| 0 | 0 |-3.227859e+02 |-9.500000e+01 | 70.57% 784.08/784.46 c 782s| 1 | 0 |266323 | 64M| 0 | 999 |1000 | 15k| 15k|1000 |6371 | 19k| 0 | 0 |-3.227242e+02 |-9.500000e+01 | 70.56% 789.58/789.93 c 788s| 1 | 0 |266833 | 64M| 0 | 998 |1000 | 15k| 15k|1000 |6385 | 19k| 0 | 0 |-3.226835e+02 |-9.500000e+01 | 70.56% 794.47/794.82 c 793s| 1 | 0 |266938 | 64M| 0 | 967 |1000 | 15k| 15k|1000 |6394 | 19k| 0 | 0 |-3.226667e+02 |-9.500000e+01 | 70.56% 799.17/799.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 799.17/799.54 c 798s| 1 | 0 |266939 | 64M| 0 | 967 |1000 | 15k| 15k|1000 |6395 | 19k| 0 | 0 |-3.226667e+02 |-9.500000e+01 | 70.56% 818.67/819.00 c 817s| 1 | 2 |266939 | 64M| 0 | 967 |1000 | 15k| 15k|1000 |6395 | 19k| 0 | 26 |-3.226667e+02 |-9.500000e+01 | 70.56% 1794.11/1794.82 c 1794.11/1794.82 c SCIP Status : solving was interrupted [time limit reached] 1794.11/1794.82 c Solving Time (sec) : 1791.00 1794.11/1794.82 c Solving Nodes : 178 1794.11/1794.82 c Primal Bound : -9.50000000000000e+01 (3 solutions) 1794.11/1794.82 c Dual Bound : -3.20155678225898e+02 1794.11/1794.82 c Gap : 70.33 % 1794.11/1794.85 c NODE 178 1794.11/1794.85 c DUAL BOUND -320.156 1794.11/1794.85 c PRIMAL BOUND -95 1794.11/1794.85 c GAP 0.703269 1794.11/1794.85 s SATISFIABLE 1794.11/1794.85 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 1794.11/1794.85 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 1794.11/1794.85 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 1794.11/1794.85 v -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 x921 -x920 -x919 -x918 -x917 -x916 1794.11/1794.85 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896 x895 1794.11/1794.85 v -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 1794.11/1794.85 v x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 1794.11/1794.85 v x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 1794.11/1794.85 v -x831 -x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 1794.11/1794.85 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 1794.11/1794.85 v -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 1794.11/1794.85 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 1794.11/1794.85 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 -x730 -x729 -x728 -x727 1794.11/1794.85 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 1794.11/1794.85 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 x698 -x697 -x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 x688 -x687 x686 -x685 1794.11/1794.85 v -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 1794.11/1794.85 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 1794.11/1794.85 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 1794.11/1794.85 v -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 1794.11/1794.85 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 1794.11/1794.85 v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 1794.11/1794.85 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 x538 x537 1794.11/1794.85 v -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 1794.11/1794.85 v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 1794.11/1794.85 v -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 1794.11/1794.85 v -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 1794.11/1794.85 v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 1794.11/1794.85 v -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 1794.11/1794.85 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 1794.11/1794.85 v -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 1794.11/1794.85 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 1794.11/1794.85 v -x347 -x346 x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 1794.11/1794.85 v -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 1794.11/1794.85 v -x305 -x304 x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 1794.11/1794.85 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 1794.11/1794.85 v -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 1794.11/1794.85 v -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 1794.11/1794.85 v -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 1794.11/1794.85 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 x181 x180 -x179 1794.11/1794.85 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 1794.11/1794.85 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 1794.11/1794.85 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 1794.11/1794.85 v -x115 -x114 x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 x105 x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 1794.11/1794.85 v -x92 x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 x73 -x72 -x71 x70 -x69 -x68 x67 -x66 1794.11/1794.85 v -x65 x64 -x63 -x62 -x61 -x60 x59 -x58 x57 -x56 -x55 x54 x53 -x52 -x51 x50 -x49 -x48 -x47 x46 x45 -x44 -x43 -x42 -x41 -x40 1794.11/1794.85 v -x39 -x38 x37 x36 -x35 -x34 -x33 -x32 x31 -x30 x29 x28 x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 x16 x15 x14 -x13 x12 1794.11/1794.85 v -x11 x10 -x9 -x8 -x7 -x6 x5 x4 -x3 -x2 -x1 1794.11/1794.85 c SCIP Status : solving was interrupted [time limit reached] 1794.11/1794.85 c Solving Time : 1791.00 1794.11/1794.85 c Original Problem : 1794.11/1794.85 c Problem name : HOME/instance-1870357-1245199527.opb 1794.11/1794.85 c Variables : 16796 (16796 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.11/1794.85 c Constraints : 16796 initial, 16796 maximal 1794.11/1794.85 c Presolved Problem : 1794.11/1794.85 c Problem name : t_HOME/instance-1870357-1245199527.opb 1794.11/1794.85 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.11/1794.85 c Constraints : 15796 initial, 15796 maximal 1794.11/1794.85 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1794.11/1794.85 c trivial : 0.01 0 0 0 0 0 0 0 0 1794.11/1794.85 c dualfix : 0.00 0 0 0 0 0 0 0 0 1794.11/1794.85 c boundshift : 0.00 0 0 0 0 0 0 0 0 1794.11/1794.85 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1794.11/1794.85 c implics : 0.00 0 0 0 0 0 0 0 0 1794.11/1794.85 c probing : 0.56 0 0 0 0 0 0 0 0 1794.11/1794.85 c and : 0.31 0 0 0 0 0 0 0 0 1794.11/1794.85 c linear : 0.10 15796 0 0 15796 0 1000 0 0 1794.11/1794.85 c root node : - 0 - - 0 - - - - 1794.11/1794.85 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1794.11/1794.85 c integral : 0 0 0 177 0 0 0 0 0 354 1794.11/1794.85 c and : 15796 1016 6115 0 1 0 3539 193409 0 0 1794.11/1794.85 c countsols : 0 0 0 0 1 0 0 0 0 0 1794.11/1794.85 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1794.11/1794.85 c integral : 292.30 0.00 0.00 292.30 0.00 1794.11/1794.85 c and : 25.66 16.65 9.01 0.00 0.00 1794.11/1794.85 c countsols : 0.00 0.00 0.00 0.00 0.00 1794.11/1794.85 c Propagators : Time Calls Cutoffs DomReds 1794.11/1794.85 c rootredcost : 0.02 0 0 0 1794.11/1794.85 c pseudoobj : 0.32 6162 0 0 1794.11/1794.85 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1794.11/1794.85 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1794.11/1794.85 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1794.11/1794.85 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1794.11/1794.85 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1794.11/1794.85 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1794.11/1794.85 c applied globally : - - - 0 0.0 - - - 1794.11/1794.85 c applied locally : - - - 0 0.0 - - - 1794.11/1794.85 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1794.11/1794.85 c cut pool : 1.65 207 - - 5126 - (maximal pool size: 14895) 1794.11/1794.85 c redcost : 0.00 1016 0 0 0 0 1794.11/1794.85 c impliedbounds : 0.55 208 0 0 30215 0 1794.11/1794.85 c intobj : 0.00 0 0 0 0 0 1794.11/1794.85 c gomory : 445.49 205 0 0 67518 0 1794.11/1794.85 c strongcg : 2.38 20 0 0 10000 0 1794.11/1794.85 c cmir : 1.62 10 0 0 0 0 1794.11/1794.85 c flowcover : 1.39 10 0 0 0 0 1794.11/1794.85 c clique : 7.27 204 0 0 1734 0 1794.11/1794.85 c zerohalf : 0.00 0 0 0 0 0 1794.11/1794.85 c mcf : 0.04 1 0 0 0 0 1794.11/1794.85 c Pricers : Time Calls Vars 1794.11/1794.85 c problem variables: 0.00 0 0 1794.11/1794.85 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1794.11/1794.85 c relpscost : 292.30 177 0 0 0 0 354 1794.11/1794.85 c pscost : 0.00 0 0 0 0 0 0 1794.11/1794.85 c inference : 0.00 1 0 0 0 0 2 1794.11/1794.85 c mostinf : 0.00 0 0 0 0 0 0 1794.11/1794.85 c leastinf : 0.00 0 0 0 0 0 0 1794.11/1794.85 c fullstrong : 0.00 0 0 0 0 0 0 1794.11/1794.85 c allfullstrong : 0.00 0 0 0 0 0 0 1794.11/1794.85 c random : 0.00 0 0 0 0 0 0 1794.11/1794.85 c Primal Heuristics : Time Calls Found 1794.11/1794.85 c LP solutions : 0.00 - 0 1794.11/1794.85 c pseudo solutions : 0.00 - 0 1794.11/1794.85 c crossover : 0.00 0 0 1794.11/1794.85 c intshifting : 0.00 0 0 1794.11/1794.85 c feaspump : 0.00 0 0 1794.11/1794.85 c oneopt : 0.01 1 0 1794.11/1794.85 c guideddiving : 53.68 4 0 1794.11/1794.85 c simplerounding : 0.00 0 0 1794.11/1794.85 c rounding : 20.15 1098 3 1794.11/1794.85 c shifting : 3.32 133 0 1794.11/1794.85 c fixandinfer : 0.00 0 0 1794.11/1794.85 c coefdiving : 59.89 4 0 1794.11/1794.85 c pscostdiving : 56.34 3 0 1794.11/1794.85 c fracdiving : 54.03 4 0 1794.11/1794.85 c veclendiving : 51.88 3 0 1794.11/1794.85 c intdiving : 0.00 0 0 1794.11/1794.85 c actconsdiving : 0.00 0 0 1794.11/1794.85 c objpscostdiving : 28.02 2 0 1794.11/1794.85 c rootsoldiving : 7.03 6 0 1794.11/1794.85 c linesearchdiving : 50.56 5 0 1794.11/1794.85 c octane : 0.00 0 0 1794.11/1794.85 c rens : 0.01 0 0 1794.11/1794.85 c rins : 0.00 0 0 1794.11/1794.85 c localbranching : 0.00 0 0 1794.11/1794.85 c mutation : 0.00 0 0 1794.11/1794.85 c dins : 0.00 0 0 1794.11/1794.85 c LP : Time Calls Iterations Iter/call Iter/sec 1794.11/1794.85 c primal LP : 30.15 0 0 0.00 0.00 1794.11/1794.85 c dual LP : 595.33 1099 704238 640.80 1182.94 1794.11/1794.85 c barrier LP : 0.00 0 0 0.00 - 1794.11/1794.86 c diving/probing LP: 346.90 6417 856029 133.40 2467.65 1794.11/1794.86 c strong branching : 292.22 955 463942 485.80 1587.65 1794.11/1794.86 c (at root node) : - 26 9591 368.88 - 1794.11/1794.86 c conflict analysis: 0.00 0 0 0.00 - 1794.11/1794.86 c B&B Tree : 1794.11/1794.86 c number of runs : 1 1794.11/1794.86 c nodes : 178 1794.11/1794.86 c nodes (total) : 178 1794.11/1794.86 c nodes left : 179 1794.11/1794.86 c max depth : 41 1794.11/1794.86 c max depth (total): 41 1794.11/1794.86 c backtracks : 57 (32.0%) 1794.11/1794.86 c delayed cutoffs : 0 1794.11/1794.86 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1794.11/1794.86 c avg switch length: 3.33 1794.11/1794.86 c switching time : 21.39 1794.11/1794.86 c Solution : 1794.11/1794.86 c Solutions found : 3 (3 improvements) 1794.11/1794.86 c Primal Bound : -9.50000000000000e+01 (in run 1, after 1 nodes, 5.63 seconds, depth 0, found by <rounding>) 1794.11/1794.86 c Dual Bound : -3.20155678225898e+02 1794.11/1794.86 c Gap : 70.33 % 1794.11/1794.86 c Root Dual Bound : -3.22666666666666e+02 1794.30/1795.05 c Time complete: 1794.36.
OK -95
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870357-1245199527/watcher-1870357-1245199527 -o /tmp/evaluation-result-1870357-1245199527/solver-1870357-1245199527 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870357-1245199527.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.00 1.00 3/64 4946 /proc/meminfo: memFree=1822784/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=5812 CPUtime=0 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 515 0 0 0 0 0 0 0 18 0 1 0 187553412 5951488 499 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/4946/statm: 1453 500 332 1256 0 192 0 [startup+0.036508 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4946 /proc/meminfo: memFree=1822784/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=14908 CPUtime=0.02 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 2698 0 0 0 2 0 0 0 18 0 1 0 187553412 15265792 2682 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/4946/statm: 3727 2682 378 1256 0 2466 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14908 [startup+0.101521 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4946 /proc/meminfo: memFree=1822784/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=23684 CPUtime=0.09 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 4902 0 0 0 8 1 0 0 18 0 1 0 187553412 24252416 4886 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/4946/statm: 5921 4886 378 1256 0 4660 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23684 [startup+0.301562 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4946 /proc/meminfo: memFree=1822784/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=51712 CPUtime=0.29 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 12279 0 0 0 25 4 0 0 19 0 1 0 187553412 52953088 11909 1992294400 4194304 9342243 548682068736 18446744073709551615 4690080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 12928 11909 426 1256 0 11667 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 51712 [startup+0.701649 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4946 /proc/meminfo: memFree=1822784/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=61524 CPUtime=0.69 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 14520 0 0 0 56 13 0 0 22 0 1 0 187553412 63000576 14150 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 15381 14150 467 1256 0 14120 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 61524 [startup+1.50182 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4947 /proc/meminfo: memFree=1767800/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=61524 CPUtime=1.49 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 14536 0 0 0 126 23 0 0 25 0 1 0 187553412 63000576 14166 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 15381 14166 475 1256 0 14120 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61524 [startup+3.10116 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4947 /proc/meminfo: memFree=1734520/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=104476 CPUtime=3.09 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 24580 0 0 0 279 30 0 0 25 0 1 0 187553412 106983424 23124 1992294400 4194304 9342243 548682068736 18446744073709551615 5575803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 26119 23124 641 1256 0 24858 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 104476 [startup+6.30185 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4947 /proc/meminfo: memFree=1729848/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=105444 CPUtime=6.29 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 25379 0 0 0 596 33 0 0 25 0 1 0 187553412 107974656 23923 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 26361 23923 642 1256 0 25100 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 105444 [startup+12.7022 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4947 /proc/meminfo: memFree=1725440/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=110804 CPUtime=12.68 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 26455 0 0 0 1233 35 0 0 25 0 1 0 187553412 113463296 24748 1992294400 4194304 9342243 548682068736 18446744073709551615 5577527 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 27701 24748 646 1256 0 26440 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 110804 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4947 /proc/meminfo: memFree=1706368/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=124244 CPUtime=25.48 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 32585 0 0 0 2508 40 0 0 25 0 1 0 187553412 127225856 29661 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 31061 29661 659 1256 0 29800 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 124244 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4947 /proc/meminfo: memFree=1694912/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=136724 CPUtime=51.07 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 35456 0 0 0 5062 45 0 0 25 0 1 0 187553412 140005376 32532 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 34181 32532 659 1256 0 32920 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 136724 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4947 /proc/meminfo: memFree=1667840/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=164172 CPUtime=102.25 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 42199 0 0 0 10171 54 0 0 25 0 1 0 187553412 168112128 39275 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 41043 39275 659 1256 0 39782 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 164172 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4947 /proc/meminfo: memFree=1653952/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=178480 CPUtime=162.22 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 45699 0 0 0 16158 64 0 0 25 0 1 0 187553412 182763520 42775 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 44620 42775 659 1256 0 43359 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 178480 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4947 /proc/meminfo: memFree=1640576/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=192904 CPUtime=222.2 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 48980 0 0 0 22147 73 0 0 25 0 1 0 187553412 197533696 46056 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 48226 46056 659 1256 0 46965 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 192904 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4947 /proc/meminfo: memFree=1639808/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=192904 CPUtime=282.18 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 49173 0 0 0 28136 82 0 0 25 0 1 0 187553412 197533696 46249 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 48226 46249 659 1256 0 46965 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 192904 [startup+342.302 s] /proc/loadavg: 1.06 1.02 1.00 2/65 4947 /proc/meminfo: memFree=1639424/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=192904 CPUtime=342.16 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 49252 0 0 0 34126 90 0 0 25 0 1 0 187553412 197533696 46328 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 48226 46328 659 1256 0 46965 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 192904 [startup+402.302 s] /proc/loadavg: 1.02 1.01 1.00 2/65 4947 /proc/meminfo: memFree=1639296/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=192904 CPUtime=402.13 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 49283 0 0 0 40114 99 0 0 25 0 1 0 187553412 197533696 46359 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 48226 46359 659 1256 0 46965 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 192904 [startup+462.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 4949 /proc/meminfo: memFree=1639040/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=192904 CPUtime=462.1 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 49292 0 0 0 46104 106 0 0 25 0 1 0 187553412 197533696 46368 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 48226 46368 659 1256 0 46965 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 192904 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4949 /proc/meminfo: memFree=1639040/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=192904 CPUtime=522.09 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 49306 0 0 0 52095 114 0 0 25 0 1 0 187553412 197533696 46382 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 48226 46382 659 1256 0 46965 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 192904 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4949 /proc/meminfo: memFree=1639040/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=192904 CPUtime=582.06 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 49309 0 0 0 58083 123 0 0 25 0 1 0 187553412 197533696 46385 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 48226 46385 659 1256 0 46965 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 192904 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4949 /proc/meminfo: memFree=1638976/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=192904 CPUtime=642.04 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 49318 0 0 0 64073 131 0 0 25 0 1 0 187553412 197533696 46394 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 48226 46394 668 1256 0 46965 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 192904 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1640824/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=187540 CPUtime=1121.85 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51151 0 0 0 111983 202 0 0 25 0 1 0 187553412 192040960 45858 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 46885 45858 685 1256 0 45624 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 187540 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640952/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=187540 CPUtime=1181.83 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51153 0 0 0 117973 210 0 0 25 0 1 0 187553412 192040960 45860 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 46885 45860 686 1256 0 45624 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 187540 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640896/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=187540 CPUtime=1241.81 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51153 0 0 0 123963 218 0 0 25 0 1 0 187553412 192040960 45860 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 46885 45860 686 1256 0 45624 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 187540 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640832/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=187540 CPUtime=1301.79 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51163 0 0 0 129952 227 0 0 25 0 1 0 187553412 192040960 45870 1992294400 4194304 9342243 548682068736 18446744073709551615 4364201 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 46885 45870 686 1256 0 45624 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 187540 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640768/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=187540 CPUtime=1361.77 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51168 0 0 0 135940 237 0 0 25 0 1 0 187553412 192040960 45875 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 46885 45875 686 1256 0 45624 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 187540 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640768/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=187540 CPUtime=1421.74 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51168 0 0 0 141925 249 0 0 25 0 1 0 187553412 192040960 45875 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 46885 45875 686 1256 0 45624 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 187540 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640704/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=189504 CPUtime=1481.72 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51175 0 0 0 147913 259 0 0 25 0 1 0 187553412 194052096 45882 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 47376 45882 686 1256 0 46115 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 189504 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640640/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=189504 CPUtime=1541.7 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51180 0 0 0 153906 264 0 0 25 0 1 0 187553412 194052096 45887 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 47376 45887 686 1256 0 46115 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 189504 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640576/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=190556 CPUtime=1601.68 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51192 0 0 0 159897 271 0 0 25 0 1 0 187553412 195129344 45899 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 47639 45899 686 1256 0 46378 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 190556 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640256/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=192872 CPUtime=1661.66 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51255 0 0 0 165886 280 0 0 25 0 1 0 187553412 197500928 45962 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 48218 45962 686 1256 0 46957 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 192872 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640064/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=193012 CPUtime=1721.63 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51306 0 0 0 171876 287 0 0 25 0 1 0 187553412 197644288 46013 1992294400 4194304 9342243 548682068736 18446744073709551615 4289509 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 48253 46013 686 1256 0 46992 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 193012 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640512/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=192960 CPUtime=1781.61 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51497 0 0 0 177866 295 0 0 25 0 1 0 187553412 197591040 45899 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 48240 45899 686 1256 0 46979 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 192960 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640512/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=192960 CPUtime=1784.81 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51497 0 0 0 178186 295 0 0 25 0 1 0 187553412 197591040 45899 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 48240 45899 686 1256 0 46979 0 Current children cumulated CPU time (s) 1784.81 Current children cumulated vsize (KiB) 192960 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640512/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=195044 CPUtime=1791.21 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51738 0 0 0 178825 296 0 0 25 0 1 0 187553412 199725056 45903 1992294400 4194304 9342243 548682068736 18446744073709551615 5869938 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 48761 45903 686 1256 0 47500 0 Current children cumulated CPU time (s) 1791.21 Current children cumulated vsize (KiB) 195044 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640512/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=187540 CPUtime=1792.8 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51738 0 0 0 178984 296 0 0 25 0 1 0 187553412 192040960 45879 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 46885 45879 686 1256 0 45624 0 Current children cumulated CPU time (s) 1792.8 Current children cumulated vsize (KiB) 187540 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640512/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=187540 CPUtime=1793.6 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51738 0 0 0 179064 296 0 0 25 0 1 0 187553412 192040960 45879 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 46885 45879 686 1256 0 45624 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (KiB) 187540 [startup+1794.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640512/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=187540 CPUtime=1794.01 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51738 0 0 0 179104 297 0 0 25 0 1 0 187553412 192040960 45879 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4946/statm: 46885 45879 686 1256 0 45624 0 Current children cumulated CPU time (s) 1794.01 Current children cumulated vsize (KiB) 187540 [startup+1794.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640512/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=187540 CPUtime=1794.2 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51741 0 0 0 179123 297 0 0 25 0 1 0 187553412 192040960 45882 1992294400 4194304 9342243 548682068736 18446744073709551615 4237366 0 0 4096 0 0 0 0 17 1 0 0 /proc/4946/statm: 46885 45882 689 1256 0 45624 0 Current children cumulated CPU time (s) 1794.2 Current children cumulated vsize (KiB) 187540 [startup+1795 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4955 /proc/meminfo: memFree=1640512/2055920 swapFree=4192812/4192956 [pid=4946] ppid=4944 vsize=187540 CPUtime=1794.3 /proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 4520 0 -1 4194304 51742 0 0 0 179133 297 0 0 25 0 1 0 187553412 192040960 45883 1992294400 4194304 9342243 548682068736 18446744073709551615 5854311 0 0 4096 0 0 0 0 17 1 0 0 /proc/4946/statm: 46885 45883 690 1256 0 45624 0 Current children cumulated CPU time (s) 1794.3 Current children cumulated vsize (KiB) 187540 Child status: 0 Real time (s): 1795.06 CPU time (s): 1794.37 CPU user time (s): 1791.36 CPU system time (s): 3.00354 CPU usage (%): 99.9615 Max. virtual memory (cumulated for all children) (KiB): 196320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.36 system time used= 3.00354 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51746 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= 2 involuntary context switches= 1861 runsolver used 1.3398 second user time and 3.74043 second system time The end
Begin job on node10 at 2009-06-17 02:45:27 IDJOB=1870357 IDBENCH=48177 IDSOLVER=684 FILE ID=node10/1870357-1245199527 PBS_JOBID= 9368329 Free space on /tmp= 65988 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_4.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870357-1245199527/watcher-1870357-1245199527 -o /tmp/evaluation-result-1870357-1245199527/solver-1870357-1245199527 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870357-1245199527.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7 RANDOM SEED=1916062152 node10.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.263 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.263 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1823200 kB Buffers: 52228 kB Cached: 113692 kB SwapCached: 0 kB Active: 72316 kB Inactive: 107092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823200 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 12132 kB Writeback: 0 kB Mapped: 23232 kB Slab: 39376 kB Committed_AS: 196440 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 65976 MiB End job on node10 at 2009-06-17 03:15:22