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 | -94 | 1795.73 | 1796.37 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_5.opb |
| MD5SUM | 54b0d54e7a8a81cee8fd7c7c85a68b83 |
| 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 | -122 |
| 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) | 31590 |
| Sum of products size (including duplicates) | 63180 |
| Number of different products | 15795 |
| Sum of products size | 31590 |
0.09/0.18 c SCIP version 1.1.0.7 0.09/0.18 c LP-Solver Clp 1.8.2 0.09/0.18 c user parameter file <scip.set> not found - using default parameters 0.09/0.18 c read problem <HOME/instance-1870395-1245201476.opb> 0.09/0.18 c original problem has 16795 variables (16795 bin, 0 int, 0 impl, 0 cont) and 16795 constraints 0.29/0.34 c start presolving problem 0.29/0.34 c presolving: 0.69/0.77 c (round 1) 15795 del vars, 1000 del conss, 15795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63180 impls, 0 clqs 1.49/1.52 c (1.1s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 1.49/1.52 c (1.1s) probing aborted: 100/100 successive totally useless probings 1.49/1.52 c presolving (2 rounds): 1.49/1.52 c 15795 deleted vars, 1000 deleted constraints, 15795 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 1.49/1.52 c 94770 implications, 0 cliques 1.49/1.52 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15795 constraints 1.49/1.52 c 15795 constraints of type <and> 1.49/1.52 c transformed objective value is always integral (scale: 1) 1.49/1.52 c Presolving Time: 1.05 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.89/1.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.89/1.90 c 1.5s| 1 | 0 | 1043 | 59M| 0 |1000 |1000 | 15k| 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | -- | Inf 1.89/1.93 o -91 1.89/1.93 c R 1.5s| 1 | 0 | 1043 | 59M| 0 |1000 |1000 | 15k| 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-9.100000e+01 | 81.80% 2.69/2.77 c 2.3s| 1 | 0 | 1173 | 59M| 0 | 989 |1000 | 15k| 15k|1000 | 15k| 11 | 0 | 0 |-4.945000e+02 |-9.100000e+01 | 81.60% 3.39/3.49 c 3.0s| 1 | 0 | 1226 | 59M| 0 | 985 |1000 | 15k| 15k|1000 | 15k| 19 | 0 | 0 |-4.925000e+02 |-9.100000e+01 | 81.52% 4.39/4.41 c 4.0s| 1 | 0 | 1360 | 59M| 0 | 980 |1000 | 15k| 15k|1000 | 15k| 26 | 0 | 0 |-4.900000e+02 |-9.100000e+01 | 81.43% 5.09/5.14 c 4.7s| 1 | 0 | 1431 | 59M| 0 | 976 |1000 | 15k| 15k|1000 | 15k| 34 | 0 | 0 |-4.880000e+02 |-9.100000e+01 | 81.35% 6.39/6.44 c 6.0s| 1 | 0 | 1706 | 59M| 0 | 968 |1000 | 15k| 15k|1000 | 15k| 46 | 0 | 0 |-4.840000e+02 |-9.100000e+01 | 81.20% 7.49/7.53 c 7.0s| 1 | 0 | 1865 | 59M| 0 | 964 |1000 | 15k| 15k|1000 | 15k| 51 | 0 | 0 |-4.820000e+02 |-9.100000e+01 | 81.12% 7.49/7.55 o -92 7.49/7.55 c R 7.1s| 1 | 0 | 1865 | 59M| 0 | 964 |1000 | 15k| 15k|1000 | 15k| 51 | 0 | 0 |-4.820000e+02 |-9.200000e+01 | 80.91% 8.79/8.88 c 8.4s| 1 | 0 | 2090 | 59M| 0 | 960 |1000 | 15k| 15k|1000 | 15k| 57 | 0 | 0 |-4.800000e+02 |-9.200000e+01 | 80.83% 10.38/10.45 c 9.9s| 1 | 0 | 2345 | 59M| 0 | 955 |1000 | 15k| 15k|1000 | 15k| 66 | 0 | 0 |-4.775000e+02 |-9.200000e+01 | 80.73% 12.39/12.44 c 11.9s| 1 | 0 | 2606 | 60M| 0 | 953 |1000 | 15k| 15k|1000 | 15k| 77 | 0 | 0 |-4.765000e+02 |-9.200000e+01 | 80.69% 12.39/12.46 o -94 12.39/12.46 c R12.0s| 1 | 0 | 2606 | 60M| 0 | 953 |1000 | 15k| 15k|1000 | 15k| 77 | 0 | 0 |-4.765000e+02 |-9.400000e+01 | 80.27% 15.19/15.27 c 14.8s| 1 | 0 | 3123 | 60M| 0 | 950 |1000 | 15k| 15k|1000 | 15k| 84 | 0 | 0 |-4.750000e+02 |-9.400000e+01 | 80.21% 17.98/18.09 c 17.6s| 1 | 0 | 3804 | 60M| 0 | 947 |1000 | 15k| 15k|1000 |1345 | 91 | 0 | 0 |-4.730000e+02 |-9.400000e+01 | 80.13% 18.38/18.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 18.38/18.45 c 17.9s| 1 | 0 | 4142 | 61M| 0 | 914 |1000 | 15k| 15k|1000 |1356 | 102 | 0 | 0 |-4.715000e+02 |-9.400000e+01 | 80.06% 19.18/19.23 c 18.7s| 1 | 0 | 4826 | 61M| 0 | 925 |1000 | 15k| 15k|1000 |1759 | 505 | 0 | 0 |-4.695000e+02 |-9.400000e+01 | 79.98% 19.98/20.02 c 19.5s| 1 | 0 | 5740 | 61M| 0 | 923 |1000 | 15k| 15k|1000 |2062 | 808 | 0 | 0 |-4.670000e+02 |-9.400000e+01 | 79.87% 20.89/20.99 c 20.4s| 1 | 0 | 6563 | 61M| 0 | 924 |1000 | 15k| 15k|1000 |2592 |1338 | 0 | 0 |-4.640000e+02 |-9.400000e+01 | 79.74% 21.68/21.76 c 21.2s| 1 | 0 | 7529 | 61M| 0 | 921 |1000 | 15k| 15k|1000 |2676 |1422 | 0 | 0 |-4.625000e+02 |-9.400000e+01 | 79.68% 22.48/22.58 c 22.0s| 1 | 0 | 8197 | 61M| 0 | 920 |1000 | 15k| 15k|1000 |2344 |1472 | 0 | 0 |-4.620000e+02 |-9.400000e+01 | 79.65% 23.68/23.76 c 23.2s| 1 | 0 | 9273 | 62M| 0 | 909 |1000 | 15k| 15k|1000 |2418 |1546 | 0 | 0 |-4.615000e+02 |-9.400000e+01 | 79.63% 24.49/24.55 c 24.0s| 1 | 0 | 10020 | 62M| 0 | 921 |1000 | 15k| 15k|1000 |2613 |1741 | 0 | 0 |-4.605000e+02 |-9.400000e+01 | 79.59% 25.39/25.42 c 24.9s| 1 | 0 | 10871 | 62M| 0 | 914 |1000 | 15k| 15k|1000 |2622 |1750 | 0 | 0 |-4.590000e+02 |-9.400000e+01 | 79.52% 26.49/26.58 c 26.0s| 1 | 0 | 12252 | 62M| 0 | 963 |1000 | 15k| 15k|1000 |2679 |1807 | 0 | 0 |-4.570288e+02 |-9.400000e+01 | 79.43% 29.18/29.28 c 28.7s| 1 | 0 | 12919 | 62M| 0 | 913 |1000 | 15k| 15k|1000 |4679 |3807 | 0 | 0 |-4.565000e+02 |-9.400000e+01 | 79.41% 30.08/30.15 c 29.6s| 1 | 0 | 13546 | 62M| 0 | 910 |1000 | 15k| 15k|1000 |4151 |3816 | 0 | 0 |-4.550000e+02 |-9.400000e+01 | 79.34% 31.08/31.18 c 30.6s| 1 | 0 | 14445 | 62M| 0 | 902 |1000 | 15k| 15k|1000 |4161 |3826 | 0 | 0 |-4.540000e+02 |-9.400000e+01 | 79.30% 32.18/32.25 c 31.7s| 1 | 0 | 15635 | 62M| 0 | 905 |1000 | 15k| 15k|1000 |4249 |3914 | 0 | 0 |-4.520000e+02 |-9.400000e+01 | 79.20% 33.67/33.73 c 33.1s| 1 | 0 | 17154 | 62M| 0 | 892 |1000 | 15k| 15k|1000 |4326 |3991 | 0 | 0 |-4.500000e+02 |-9.400000e+01 | 79.11% 35.28/35.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 35.28/35.34 c 34.7s| 1 | 0 | 18673 | 62M| 0 | 888 |1000 | 15k| 15k|1000 |4420 |4085 | 0 | 0 |-4.490000e+02 |-9.400000e+01 | 79.06% 36.88/36.99 c 36.4s| 1 | 0 | 20405 | 63M| 0 | 905 |1000 | 15k| 15k|1000 |4554 |4219 | 0 | 0 |-4.467500e+02 |-9.400000e+01 | 78.96% 38.58/38.68 c 38.0s| 1 | 0 | 21834 | 63M| 0 | 896 |1000 | 15k| 15k|1000 |3444 |4350 | 0 | 0 |-4.455000e+02 |-9.400000e+01 | 78.90% 40.38/40.45 c 39.8s| 1 | 0 | 23915 | 63M| 0 | 891 |1000 | 15k| 15k|1000 |3531 |4437 | 0 | 0 |-4.445000e+02 |-9.400000e+01 | 78.85% 41.98/42.00 c 41.4s| 1 | 0 | 25247 | 64M| 0 | 884 |1000 | 15k| 15k|1000 |4560 |5466 | 0 | 0 |-4.415000e+02 |-9.400000e+01 | 78.71% 44.08/44.17 c 43.5s| 1 | 0 | 27340 | 64M| 0 | 873 |1000 | 15k| 15k|1000 |4618 |5524 | 0 | 0 |-4.395000e+02 |-9.400000e+01 | 78.61% 45.88/45.96 c 45.3s| 1 | 0 | 28910 | 64M| 0 | 884 |1000 | 15k| 15k|1000 |4694 |5600 | 0 | 0 |-4.383514e+02 |-9.400000e+01 | 78.56% 46.47/46.58 c 45.9s| 1 | 0 | 29396 | 64M| 0 | 870 |1000 | 15k| 15k|1000 |4823 |5729 | 0 | 0 |-4.375000e+02 |-9.400000e+01 | 78.51% 47.77/47.85 c 47.2s| 1 | 0 | 30428 | 64M| 0 | 859 |1000 | 15k| 15k|1000 |4598 |5845 | 0 | 0 |-4.355000e+02 |-9.400000e+01 | 78.42% 49.57/49.64 c 49.0s| 1 | 0 | 31976 | 64M| 0 | 867 |1000 | 15k| 15k|1000 |4736 |5983 | 0 | 0 |-4.335000e+02 |-9.400000e+01 | 78.32% 51.48/51.54 c 50.9s| 1 | 0 | 33435 | 64M| 0 | 860 |1000 | 15k| 15k|1000 |4746 |5993 | 0 | 0 |-4.328333e+02 |-9.400000e+01 | 78.28% 53.37/53.46 c 52.8s| 1 | 0 | 35033 | 65M| 0 | 877 |1000 | 15k| 15k|1000 |4821 |6068 | 0 | 0 |-4.320000e+02 |-9.400000e+01 | 78.24% 55.97/56.02 c 55.3s| 1 | 0 | 36624 | 65M| 0 | 864 |1000 | 15k| 15k|1000 |4855 |6102 | 0 | 0 |-4.310000e+02 |-9.400000e+01 | 78.19% 59.17/59.20 c 58.5s| 1 | 0 | 38671 | 65M| 0 | 862 |1000 | 15k| 15k|1000 |4864 |6111 | 0 | 0 |-4.305000e+02 |-9.400000e+01 | 78.16% 62.57/62.61 c 61.9s| 1 | 0 | 41310 | 65M| 0 | 860 |1000 | 15k| 15k|1000 |3525 |6122 | 0 | 0 |-4.285000e+02 |-9.400000e+01 | 78.06% 64.67/64.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 64.67/64.78 c 64.0s| 1 | 0 | 43370 | 65M| 0 | 852 |1000 | 15k| 15k|1000 |3574 |6171 | 0 | 0 |-4.265000e+02 |-9.400000e+01 | 77.96% 65.87/65.94 c 65.2s| 1 | 0 | 44342 | 65M| 0 | 841 |1000 | 15k| 15k|1000 |3650 |6247 | 0 | 0 |-4.255000e+02 |-9.400000e+01 | 77.91% 67.17/67.26 c 66.5s| 1 | 0 | 45817 | 65M| 0 | 839 |1000 | 15k| 15k|1000 |3779 |6376 | 0 | 0 |-4.235000e+02 |-9.400000e+01 | 77.80% 69.17/69.29 c 68.5s| 1 | 0 | 47611 | 66M| 0 | 829 |1000 | 15k| 15k|1000 |3875 |6472 | 0 | 0 |-4.225000e+02 |-9.400000e+01 | 77.75% 71.77/71.87 c 71.1s| 1 | 0 | 49781 | 66M| 0 | 863 |1000 | 15k| 15k|1000 |4095 |6692 | 0 | 0 |-4.213750e+02 |-9.400000e+01 | 77.69% 73.57/73.66 c 72.9s| 1 | 0 | 51211 | 66M| 0 | 850 |1000 | 15k| 15k|1000 |3931 |7135 | 0 | 0 |-4.190000e+02 |-9.400000e+01 | 77.57% 74.96/75.03 c 74.2s| 1 | 0 | 52482 | 66M| 0 | 826 |1000 | 15k| 15k|1000 |4035 |7239 | 0 | 0 |-4.170000e+02 |-9.400000e+01 | 77.46% 76.76/76.83 c 76.0s| 1 | 0 | 54080 | 67M| 0 | 831 |1000 | 15k| 15k|1000 |4144 |7348 | 0 | 0 |-4.155000e+02 |-9.400000e+01 | 77.38% 78.46/78.50 c 77.7s| 1 | 0 | 55525 | 67M| 0 | 840 |1000 | 15k| 15k|1000 |4154 |7358 | 0 | 0 |-4.145000e+02 |-9.400000e+01 | 77.32% 80.56/80.63 c 79.8s| 1 | 0 | 57480 | 67M| 0 | 845 |1000 | 15k| 15k|1000 |4223 |7427 | 0 | 0 |-4.129000e+02 |-9.400000e+01 | 77.23% 81.96/82.04 c 81.2s| 1 | 0 | 58721 | 68M| 0 | 822 |1000 | 15k| 15k|1000 |4430 |7634 | 0 | 0 |-4.110000e+02 |-9.400000e+01 | 77.13% 84.46/84.55 c 83.8s| 1 | 0 | 60583 | 68M| 0 | 822 |1000 | 15k| 15k|1000 |4118 |7645 | 0 | 0 |-4.105000e+02 |-9.400000e+01 | 77.10% 86.55/86.68 c 85.9s| 1 | 0 | 62387 | 68M| 0 | 831 |1000 | 15k| 15k|1000 |4128 |7655 | 0 | 0 |-4.100000e+02 |-9.400000e+01 | 77.07% 88.07/88.13 c 87.3s| 1 | 0 | 63549 | 68M| 0 | 818 |1000 | 15k| 15k|1000 |4139 |7666 | 0 | 0 |-4.100000e+02 |-9.400000e+01 | 77.07% 90.66/90.79 c 90.0s| 1 | 0 | 65879 | 68M| 0 | 817 |1000 | 15k| 15k|1000 |4254 |7781 | 0 | 0 |-4.090000e+02 |-9.400000e+01 | 77.02% 93.46/93.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 93.46/93.52 c 92.7s| 1 | 0 | 68387 | 68M| 0 | 815 |1000 | 15k| 15k|1000 |4283 |7810 | 0 | 0 |-4.080000e+02 |-9.400000e+01 | 76.96% 96.25/96.32 c 95.5s| 1 | 0 | 70415 | 68M| 0 | 809 |1000 | 15k| 15k|1000 |4317 |7844 | 0 | 0 |-4.070000e+02 |-9.400000e+01 | 76.90% 99.06/99.10 c 98.2s| 1 | 0 | 72011 | 68M| 0 | 802 |1000 | 15k| 15k|1000 |3521 |7922 | 0 | 0 |-4.060000e+02 |-9.400000e+01 | 76.85% 101.66/101.76 c 101s| 1 | 0 | 74507 | 68M| 0 | 836 |1000 | 15k| 15k|1000 |3637 |8038 | 0 | 0 |-4.055000e+02 |-9.400000e+01 | 76.82% 104.56/104.64 c 104s| 1 | 0 | 76730 | 69M| 0 | 814 |1000 | 15k| 15k|1000 |3871 |8272 | 0 | 0 |-4.045000e+02 |-9.400000e+01 | 76.76% 106.85/106.95 c 106s| 1 | 0 | 78944 | 69M| 0 | 832 |1000 | 15k| 15k|1000 |3949 |8350 | 0 | 0 |-4.036667e+02 |-9.400000e+01 | 76.71% 108.45/108.57 c 108s| 1 | 0 | 80617 | 70M| 0 | 865 |1000 | 15k| 15k|1000 |4135 |8536 | 0 | 0 |-4.013261e+02 |-9.400000e+01 | 76.58% 111.85/111.96 c 111s| 1 | 0 | 83296 | 70M| 0 | 833 |1000 | 15k| 15k|1000 |4482 |8883 | 0 | 0 |-3.993125e+02 |-9.400000e+01 | 76.46% 113.45/113.56 c 113s| 1 | 0 | 84646 | 70M| 0 | 798 |1000 | 15k| 15k|1000 |4183 |8938 | 0 | 0 |-3.980000e+02 |-9.400000e+01 | 76.38% 115.65/115.75 c 115s| 1 | 0 | 86381 | 70M| 0 | 823 |1000 | 15k| 15k|1000 |4193 |8948 | 0 | 0 |-3.965000e+02 |-9.400000e+01 | 76.29% 118.25/118.36 c 117s| 1 | 0 | 88571 | 70M| 0 | 846 |1000 | 15k| 15k|1000 |4381 |9136 | 0 | 0 |-3.960000e+02 |-9.400000e+01 | 76.26% 120.95/121.06 c 120s| 1 | 0 | 90525 | 71M| 0 | 814 |1000 | 15k| 15k|1000 |4668 |9423 | 0 | 0 |-3.955000e+02 |-9.400000e+01 | 76.23% 124.74/124.84 c 124s| 1 | 0 | 93398 | 71M| 0 | 786 |1000 | 15k| 15k|1000 |4695 |9450 | 0 | 0 |-3.940000e+02 |-9.400000e+01 | 76.14% 127.75/127.87 c 127s| 1 | 0 | 96085 | 71M| 0 | 853 |1000 | 15k| 15k|1000 |4758 |9513 | 0 | 0 |-3.931400e+02 |-9.400000e+01 | 76.09% 129.45/129.58 c 129s| 1 | 0 | 97512 | 72M| 0 | 807 |1000 | 15k| 15k|1000 |4716 |9869 | 0 | 0 |-3.923500e+02 |-9.400000e+01 | 76.04% 131.74/131.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 131.74/131.89 c 131s| 1 | 0 | 99556 | 72M| 0 | 845 |1000 | 15k| 15k|1000 |4791 |9944 | 0 | 0 |-3.918750e+02 |-9.400000e+01 | 76.01% 135.15/135.28 c 134s| 1 | 0 |102235 | 72M| 0 | 852 |1000 | 15k| 15k|1000 |4822 |9975 | 0 | 0 |-3.909583e+02 |-9.400000e+01 | 75.96% 138.65/138.74 c 138s| 1 | 0 |104842 | 72M| 0 | 836 |1000 | 15k| 15k|1000 |4883 | 10k| 0 | 0 |-3.900625e+02 |-9.400000e+01 | 75.90% 140.04/140.20 c 139s| 1 | 0 |106145 | 73M| 0 | 833 |1000 | 15k| 15k|1000 |4984 | 10k| 0 | 0 |-3.891667e+02 |-9.400000e+01 | 75.85% 141.95/142.01 c 141s| 1 | 0 |107732 | 74M| 0 | 833 |1000 | 15k| 15k|1000 |5031 | 10k| 0 | 0 |-3.885606e+02 |-9.400000e+01 | 75.81% 143.44/143.53 c 142s| 1 | 0 |109183 | 75M| 0 | 814 |1000 | 15k| 15k|1000 |4471 | 10k| 0 | 0 |-3.879662e+02 |-9.400000e+01 | 75.77% 144.84/144.94 c 144s| 1 | 0 |110704 | 75M| 0 | 861 |1000 | 15k| 15k|1000 |4559 | 10k| 0 | 0 |-3.872778e+02 |-9.400000e+01 | 75.73% 146.04/146.11 c 145s| 1 | 0 |111627 | 75M| 0 | 798 |1000 | 15k| 15k|1000 |4803 | 10k| 0 | 0 |-3.860000e+02 |-9.400000e+01 | 75.65% 149.14/149.24 c 148s| 1 | 0 |113697 | 76M| 0 | 768 |1000 | 15k| 15k|1000 |4833 | 10k| 0 | 0 |-3.860000e+02 |-9.400000e+01 | 75.65% 152.54/152.68 c 152s| 1 | 0 |115907 | 76M| 0 | 829 |1000 | 15k| 15k|1000 |4880 | 10k| 0 | 0 |-3.847500e+02 |-9.400000e+01 | 75.57% 156.83/156.94 c 156s| 1 | 0 |118849 | 77M| 0 | 850 |1000 | 15k| 15k|1000 |4945 | 10k| 0 | 0 |-3.837500e+02 |-9.400000e+01 | 75.50% 160.53/160.70 c 160s| 1 | 0 |121392 | 79M| 0 | 855 |1000 | 15k| 15k|1000 |4467 | 10k| 0 | 0 |-3.822549e+02 |-9.400000e+01 | 75.41% 162.23/162.35 c 161s| 1 | 0 |122819 | 80M| 0 | 837 |1000 | 15k| 15k|1000 |4634 | 10k| 0 | 0 |-3.813333e+02 |-9.400000e+01 | 75.35% 164.03/164.19 c 163s| 1 | 0 |124408 | 82M| 0 | 893 |1000 | 15k| 15k|1000 |4700 | 11k| 0 | 0 |-3.808238e+02 |-9.400000e+01 | 75.32% 166.63/166.78 c 166s| 1 | 0 |126431 | 82M| 0 | 875 |1000 | 15k| 15k|1000 |4963 | 11k| 0 | 0 |-3.791731e+02 |-9.400000e+01 | 75.21% 168.13/168.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 168.13/168.29 c 167s| 1 | 0 |127677 | 83M| 0 | 876 |1000 | 15k| 15k|1000 |5023 | 11k| 0 | 0 |-3.787623e+02 |-9.400000e+01 | 75.18% 169.43/169.56 c 168s| 1 | 0 |128712 | 84M| 0 | 861 |1000 | 15k| 15k|1000 |5110 | 11k| 0 | 0 |-3.782078e+02 |-9.400000e+01 | 75.15% 171.83/172.00 c 171s| 1 | 0 |130439 | 85M| 0 | 877 |1000 | 15k| 15k|1000 |4759 | 11k| 0 | 0 |-3.775441e+02 |-9.400000e+01 | 75.10% 173.53/173.67 c 172s| 1 | 0 |131798 | 87M| 0 | 861 |1000 | 15k| 15k|1000 |4809 | 11k| 0 | 0 |-3.768000e+02 |-9.400000e+01 | 75.05% 175.83/175.96 c 175s| 1 | 0 |133672 | 90M| 0 | 888 |1000 | 15k| 15k|1000 |4826 | 11k| 0 | 0 |-3.763473e+02 |-9.400000e+01 | 75.02% 177.83/177.99 c 177s| 1 | 0 |135402 | 91M| 0 | 901 |1000 | 15k| 15k|1000 |4906 | 11k| 0 | 0 |-3.756314e+02 |-9.400000e+01 | 74.98% 179.93/180.06 c 179s| 1 | 0 |136847 | 93M| 0 | 879 |1000 | 15k| 15k|1000 |5021 | 11k| 0 | 0 |-3.752280e+02 |-9.400000e+01 | 74.95% 182.53/182.65 c 181s| 1 | 0 |138634 | 94M| 0 | 908 |1000 | 15k| 15k|1000 |5069 | 11k| 0 | 0 |-3.742368e+02 |-9.400000e+01 | 74.88% 185.12/185.22 c 184s| 1 | 0 |140409 | 96M| 0 | 877 |1000 | 15k| 15k|1000 |5028 | 11k| 0 | 0 |-3.732251e+02 |-9.400000e+01 | 74.81% 186.63/186.73 c 185s| 1 | 0 |141569 | 97M| 0 | 879 |1000 | 15k| 15k|1000 |5087 | 11k| 0 | 0 |-3.722632e+02 |-9.400000e+01 | 74.75% 188.62/188.72 c 187s| 1 | 0 |143309 | 98M| 0 | 904 |1000 | 15k| 15k|1000 |5111 | 12k| 0 | 0 |-3.708629e+02 |-9.400000e+01 | 74.65% 191.33/191.42 c 190s| 1 | 0 |145282 | 100M| 0 | 918 |1000 | 15k| 15k|1000 |5260 | 12k| 0 | 0 |-3.696554e+02 |-9.400000e+01 | 74.57% 193.83/194.00 c 193s| 1 | 0 |147526 | 103M| 0 | 925 |1000 | 15k| 15k|1000 |5407 | 12k| 0 | 0 |-3.685355e+02 |-9.400000e+01 | 74.49% 196.72/196.85 c 196s| 1 | 0 |149299 | 104M| 0 | 884 |1000 | 15k| 15k|1000 |5545 | 12k| 0 | 0 |-3.680915e+02 |-9.400000e+01 | 74.46% 199.92/200.02 c 199s| 1 | 0 |151357 | 105M| 0 | 897 |1000 | 15k| 15k|1000 |5292 | 12k| 0 | 0 |-3.672536e+02 |-9.400000e+01 | 74.40% 201.51/201.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 201.51/201.67 c 200s| 1 | 0 |152365 | 107M| 0 | 923 |1000 | 15k| 15k|1000 |5325 | 12k| 0 | 0 |-3.670533e+02 |-9.400000e+01 | 74.39% 204.32/204.46 c 203s| 1 | 0 |154146 | 108M| 0 | 903 |1000 | 15k| 15k|1000 |5382 | 12k| 0 | 0 |-3.661030e+02 |-9.400000e+01 | 74.32% 205.81/205.96 c 205s| 1 | 0 |155207 | 110M| 0 | 889 |1000 | 15k| 15k|1000 |5421 | 12k| 0 | 0 |-3.659992e+02 |-9.400000e+01 | 74.32% 208.32/208.45 c 207s| 1 | 0 |156807 | 110M| 0 | 922 |1000 | 15k| 15k|1000 |5470 | 12k| 0 | 0 |-3.654609e+02 |-9.400000e+01 | 74.28% 211.32/211.45 c 210s| 1 | 0 |159000 | 114M| 0 | 915 |1000 | 15k| 15k|1000 |5504 | 12k| 0 | 0 |-3.645147e+02 |-9.400000e+01 | 74.21% 214.41/214.52 c 213s| 1 | 0 |160292 | 114M| 0 | 898 |1000 | 15k| 15k|1000 |5274 | 12k| 0 | 0 |-3.639885e+02 |-9.400000e+01 | 74.18% 217.32/217.49 c 216s| 1 | 0 |162432 | 117M| 0 | 926 |1000 | 15k| 15k|1000 |5299 | 12k| 0 | 0 |-3.629819e+02 |-9.400000e+01 | 74.10% 220.72/220.80 c 219s| 1 | 0 |163859 | 117M| 0 | 944 |1000 | 15k| 15k|1000 |5403 | 12k| 0 | 0 |-3.622375e+02 |-9.400000e+01 | 74.05% 225.51/225.60 c 224s| 1 | 0 |166135 | 116M| 0 | 933 |1000 | 15k| 15k|1000 |5472 | 12k| 0 | 0 |-3.605483e+02 |-9.400000e+01 | 73.93% 229.20/229.36 c 228s| 1 | 0 |167671 | 116M| 0 | 927 |1000 | 15k| 15k|1000 |5544 | 13k| 0 | 0 |-3.599904e+02 |-9.400000e+01 | 73.89% 232.61/232.75 c 231s| 1 | 0 |169092 | 116M| 0 | 945 |1000 | 15k| 15k|1000 |5685 | 13k| 0 | 0 |-3.594263e+02 |-9.400000e+01 | 73.85% 237.40/237.56 c 236s| 1 | 0 |171220 | 116M| 0 | 955 |1000 | 15k| 15k|1000 |5446 | 13k| 0 | 0 |-3.587896e+02 |-9.400000e+01 | 73.80% 241.50/241.66 c 240s| 1 | 0 |172754 | 116M| 0 | 946 |1000 | 15k| 15k|1000 |5565 | 13k| 0 | 0 |-3.577585e+02 |-9.400000e+01 | 73.73% 246.31/246.40 c 245s| 1 | 0 |174883 | 116M| 0 | 945 |1000 | 15k| 15k|1000 |5645 | 13k| 0 | 0 |-3.564517e+02 |-9.400000e+01 | 73.63% 250.80/250.98 c 250s| 1 | 0 |176845 | 116M| 0 | 959 |1000 | 15k| 15k|1000 |5697 | 13k| 0 | 0 |-3.557860e+02 |-9.400000e+01 | 73.58% 256.00/256.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 256.00/256.12 c 255s| 1 | 0 |178893 | 116M| 0 | 958 |1000 | 15k| 15k|1000 |5766 | 13k| 0 | 0 |-3.550772e+02 |-9.400000e+01 | 73.53% 261.00/261.18 c 260s| 1 | 0 |180809 | 116M| 0 | 965 |1000 | 15k| 15k|1000 |5807 | 13k| 0 | 0 |-3.543754e+02 |-9.400000e+01 | 73.47% 267.80/267.97 c 267s| 1 | 0 |183097 | 116M| 0 | 959 |1000 | 15k| 15k|1000 |5632 | 13k| 0 | 0 |-3.537398e+02 |-9.400000e+01 | 73.43% 272.89/273.02 c 272s| 1 | 0 |184786 | 116M| 0 | 965 |1000 | 15k| 15k|1000 |5675 | 13k| 0 | 0 |-3.532526e+02 |-9.400000e+01 | 73.39% 278.69/278.86 c 277s| 1 | 0 |186870 | 116M| 0 | 966 |1000 | 15k| 15k|1000 |5721 | 13k| 0 | 0 |-3.520693e+02 |-9.400000e+01 | 73.30% 284.79/284.99 c 283s| 1 | 0 |189107 | 116M| 0 | 970 |1000 | 15k| 15k|1000 |5808 | 13k| 0 | 0 |-3.510106e+02 |-9.400000e+01 | 73.22% 291.29/291.48 c 290s| 1 | 0 |191352 | 116M| 0 | 979 |1000 | 15k| 15k|1000 |5857 | 13k| 0 | 0 |-3.497924e+02 |-9.400000e+01 | 73.13% 297.59/297.73 c 296s| 1 | 0 |193222 | 116M| 0 | 970 |1000 | 15k| 15k|1000 |5976 | 14k| 0 | 0 |-3.489988e+02 |-9.400000e+01 | 73.07% 304.59/304.79 c 303s| 1 | 0 |195508 | 115M| 0 | 966 |1000 | 15k| 15k|1000 |5735 | 14k| 0 | 0 |-3.482326e+02 |-9.400000e+01 | 73.01% 310.19/310.37 c 309s| 1 | 0 |197513 | 116M| 0 | 968 |1000 | 15k| 15k|1000 |5780 | 14k| 0 | 0 |-3.475459e+02 |-9.400000e+01 | 72.95% 316.18/316.40 c 315s| 1 | 0 |199413 | 116M| 0 | 966 |1000 | 15k| 15k|1000 |5872 | 14k| 0 | 0 |-3.467330e+02 |-9.400000e+01 | 72.89% 322.28/322.48 c 321s| 1 | 0 |201558 | 116M| 0 | 981 |1000 | 15k| 15k|1000 |5957 | 14k| 0 | 0 |-3.459603e+02 |-9.400000e+01 | 72.83% 329.58/329.72 c 328s| 1 | 0 |204139 | 116M| 0 | 981 |1000 | 15k| 15k|1000 |6002 | 14k| 0 | 0 |-3.447928e+02 |-9.400000e+01 | 72.74% 336.28/336.40 c 335s| 1 | 0 |206263 | 115M| 0 | 981 |1000 | 15k| 15k|1000 |6063 | 14k| 0 | 0 |-3.438547e+02 |-9.400000e+01 | 72.66% 342.67/342.88 c 341s| 1 | 0 |208019 | 115M| 0 | 983 |1000 | 15k| 15k|1000 |5943 | 14k| 0 | 0 |-3.433553e+02 |-9.400000e+01 | 72.62% 348.77/348.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 348.77/348.93 c 347s| 1 | 0 |209851 | 115M| 0 | 977 |1000 | 15k| 15k|1000 |5995 | 14k| 0 | 0 |-3.430072e+02 |-9.400000e+01 | 72.60% 354.66/354.82 c 353s| 1 | 0 |211528 | 115M| 0 | 972 |1000 | 15k| 15k|1000 |6010 | 14k| 0 | 0 |-3.425704e+02 |-9.400000e+01 | 72.56% 361.06/361.22 c 360s| 1 | 0 |213537 | 115M| 0 | 978 |1000 | 15k| 15k|1000 |6037 | 14k| 0 | 0 |-3.420749e+02 |-9.400000e+01 | 72.52% 367.96/368.13 c 366s| 1 | 0 |215741 | 115M| 0 | 984 |1000 | 15k| 15k|1000 |6085 | 14k| 0 | 0 |-3.414701e+02 |-9.400000e+01 | 72.47% 374.66/374.83 c 373s| 1 | 0 |217432 | 114M| 0 | 987 |1000 | 15k| 15k|1000 |6137 | 14k| 0 | 0 |-3.409036e+02 |-9.400000e+01 | 72.43% 382.95/383.17 c 381s| 1 | 0 |219688 | 114M| 0 | 989 |1000 | 15k| 15k|1000 |6033 | 14k| 0 | 0 |-3.397919e+02 |-9.400000e+01 | 72.34% 389.75/389.91 c 388s| 1 | 0 |221078 | 114M| 0 | 987 |1000 | 15k| 15k|1000 |6107 | 14k| 0 | 0 |-3.394033e+02 |-9.400000e+01 | 72.30% 397.15/397.38 c 396s| 1 | 0 |223089 | 114M| 0 | 990 |1000 | 15k| 15k|1000 |6140 | 14k| 0 | 0 |-3.385525e+02 |-9.400000e+01 | 72.23% 403.35/403.57 c 402s| 1 | 0 |224149 | 114M| 0 | 988 |1000 | 15k| 15k|1000 |6211 | 14k| 0 | 0 |-3.382762e+02 |-9.400000e+01 | 72.21% 411.25/411.46 c 410s| 1 | 0 |226153 | 114M| 0 | 993 |1000 | 15k| 15k|1000 |6245 | 14k| 0 | 0 |-3.375316e+02 |-9.400000e+01 | 72.15% 418.84/419.04 c 417s| 1 | 0 |228036 | 113M| 0 | 996 |1000 | 15k| 15k|1000 |6286 | 14k| 0 | 0 |-3.369867e+02 |-9.400000e+01 | 72.11% 426.34/426.54 c 425s| 1 | 0 |229240 | 113M| 0 | 994 |1000 | 15k| 15k|1000 |6175 | 15k| 0 | 0 |-3.366887e+02 |-9.400000e+01 | 72.08% 433.93/434.13 c 432s| 1 | 0 |231003 | 113M| 0 | 991 |1000 | 15k| 15k|1000 |6191 | 15k| 0 | 0 |-3.360738e+02 |-9.400000e+01 | 72.03% 441.73/441.95 c 440s| 1 | 0 |233066 | 113M| 0 | 990 |1000 | 15k| 15k|1000 |6233 | 15k| 0 | 0 |-3.355883e+02 |-9.400000e+01 | 71.99% 449.03/449.26 c 447s| 1 | 0 |234836 | 113M| 0 | 994 |1000 | 15k| 15k|1000 |6295 | 15k| 0 | 0 |-3.351583e+02 |-9.400000e+01 | 71.95% 456.73/456.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 456.73/456.91 c 455s| 1 | 0 |236665 | 113M| 0 | 990 |1000 | 15k| 15k|1000 |6324 | 15k| 0 | 0 |-3.347006e+02 |-9.400000e+01 | 71.92% 464.93/465.11 c 463s| 1 | 0 |238816 | 113M| 0 | 992 |1000 | 15k| 15k|1000 |6371 | 15k| 0 | 0 |-3.340722e+02 |-9.400000e+01 | 71.86% 472.93/473.17 c 471s| 1 | 0 |240424 | 112M| 0 | 993 |1000 | 15k| 15k|1000 |6283 | 15k| 0 | 0 |-3.336752e+02 |-9.400000e+01 | 71.83% 480.22/480.42 c 478s| 1 | 0 |241898 | 112M| 0 | 995 |1000 | 15k| 15k|1000 |6315 | 15k| 0 | 0 |-3.332705e+02 |-9.400000e+01 | 71.79% 487.82/488.07 c 486s| 1 | 0 |243295 | 112M| 0 | 994 |1000 | 15k| 15k|1000 |6343 | 15k| 0 | 0 |-3.329004e+02 |-9.400000e+01 | 71.76% 495.11/495.37 c 493s| 1 | 0 |244337 | 112M| 0 | 995 |1000 | 15k| 15k|1000 |6363 | 15k| 0 | 0 |-3.326306e+02 |-9.400000e+01 | 71.74% 502.61/502.82 c 501s| 1 | 0 |245467 | 112M| 0 | 995 |1000 | 15k| 15k|1000 |6399 | 15k| 0 | 0 |-3.323329e+02 |-9.400000e+01 | 71.72% 510.10/510.35 c 508s| 1 | 0 |246633 | 111M| 0 | 996 |1000 | 15k| 15k|1000 |6421 | 15k| 0 | 0 |-3.320736e+02 |-9.400000e+01 | 71.69% 518.60/518.82 c 517s| 1 | 0 |247861 | 111M| 0 | 996 |1000 | 15k| 15k|1000 |6374 | 15k| 0 | 0 |-3.315752e+02 |-9.400000e+01 | 71.65% 525.81/526.07 c 524s| 1 | 0 |248742 | 111M| 0 | 998 |1000 | 15k| 15k|1000 |6388 | 15k| 0 | 0 |-3.312220e+02 |-9.400000e+01 | 71.62% 533.00/533.25 c 531s| 1 | 0 |249656 | 111M| 0 | 997 |1000 | 15k| 15k|1000 |6409 | 15k| 0 | 0 |-3.309029e+02 |-9.400000e+01 | 71.59% 540.40/540.68 c 539s| 1 | 0 |250761 | 111M| 0 | 996 |1000 | 15k| 15k|1000 |6427 | 15k| 0 | 0 |-3.305227e+02 |-9.400000e+01 | 71.56% 547.39/547.67 c 546s| 1 | 0 |251643 | 111M| 0 | 997 |1000 | 15k| 15k|1000 |6444 | 15k| 0 | 0 |-3.302837e+02 |-9.400000e+01 | 71.54% 554.29/554.53 c 552s| 1 | 0 |252456 | 111M| 0 | 996 |1000 | 15k| 15k|1000 |6461 | 15k| 0 | 0 |-3.300148e+02 |-9.400000e+01 | 71.52% 562.49/562.77 c 561s| 1 | 0 |253711 | 111M| 0 | 995 |1000 | 15k| 15k|1000 |6379 | 15k| 0 | 0 |-3.296091e+02 |-9.400000e+01 | 71.48% 568.69/568.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 568.69/568.91 c 567s| 1 | 0 |254142 | 110M| 0 | 998 |1000 | 15k| 15k|1000 |6402 | 15k| 0 | 0 |-3.295228e+02 |-9.400000e+01 | 71.47% 575.68/575.91 c 574s| 1 | 0 |254983 | 110M| 0 | 997 |1000 | 15k| 15k|1000 |6414 | 15k| 0 | 0 |-3.292841e+02 |-9.400000e+01 | 71.45% 583.18/583.43 c 581s| 1 | 0 |256048 | 110M| 0 | 997 |1000 | 15k| 15k|1000 |6434 | 15k| 0 | 0 |-3.289868e+02 |-9.400000e+01 | 71.43% 590.58/590.80 c 589s| 1 | 0 |256928 | 109M| 0 | 998 |1000 | 15k| 15k|1000 |6455 | 15k| 0 | 0 |-3.286834e+02 |-9.400000e+01 | 71.40% 597.38/597.64 c 595s| 1 | 0 |257508 | 109M| 0 | 997 |1000 | 15k| 15k|1000 |6472 | 15k| 0 | 0 |-3.285559e+02 |-9.400000e+01 | 71.39% 605.78/606.03 c 604s| 1 | 0 |258568 | 109M| 0 | 998 |1000 | 15k| 15k|1000 |6418 | 15k| 0 | 0 |-3.281670e+02 |-9.400000e+01 | 71.36% 613.57/613.82 c 612s| 1 | 0 |259681 | 109M| 0 | 994 |1000 | 15k| 15k|1000 |6434 | 15k| 0 | 0 |-3.276819e+02 |-9.400000e+01 | 71.31% 620.57/620.88 c 619s| 1 | 0 |260535 | 109M| 0 | 995 |1000 | 15k| 15k|1000 |6453 | 15k| 0 | 0 |-3.273837e+02 |-9.400000e+01 | 71.29% 628.17/628.46 c 626s| 1 | 0 |261645 | 109M| 0 | 996 |1000 | 15k| 15k|1000 |6479 | 15k| 0 | 0 |-3.269640e+02 |-9.400000e+01 | 71.25% 635.26/635.57 c 633s| 1 | 0 |262646 | 109M| 0 | 997 |1000 | 15k| 15k|1000 |6493 | 15k| 0 | 0 |-3.267035e+02 |-9.400000e+01 | 71.23% 641.86/642.11 c 640s| 1 | 0 |263220 | 108M| 0 | 995 |1000 | 15k| 15k|1000 |6506 | 15k| 0 | 0 |-3.265132e+02 |-9.400000e+01 | 71.21% 649.05/649.32 c 647s| 1 | 0 |263848 | 108M| 0 | 996 |1000 | 15k| 15k|1000 |6481 | 15k| 0 | 0 |-3.263557e+02 |-9.400000e+01 | 71.20% 656.16/656.45 c 654s| 1 | 0 |264809 | 108M| 0 | 996 |1000 | 15k| 15k|1000 |6493 | 15k| 0 | 0 |-3.261148e+02 |-9.400000e+01 | 71.18% 663.16/663.43 c 661s| 1 | 0 |265545 | 107M| 0 | 996 |1000 | 15k| 15k|1000 |6509 | 15k| 0 | 0 |-3.259470e+02 |-9.400000e+01 | 71.16% 670.35/670.62 c 668s| 1 | 0 |266373 | 107M| 0 | 998 |1000 | 15k| 15k|1000 |6522 | 15k| 0 | 0 |-3.256905e+02 |-9.400000e+01 | 71.14% 677.55/677.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 677.55/677.80 c 675s| 1 | 0 |267236 | 105M| 0 | 997 |1000 | 15k| 15k|1000 |6537 | 15k| 0 | 0 |-3.254824e+02 |-9.400000e+01 | 71.12% 684.34/684.68 c 682s| 1 | 0 |267890 | 105M| 0 | 997 |1000 | 15k| 15k|1000 |6549 | 15k| 0 | 0 |-3.252312e+02 |-9.400000e+01 | 71.10% 692.34/692.63 c 690s| 1 | 0 |268821 | 105M| 0 | 996 |1000 | 15k| 15k|1000 |6499 | 15k| 0 | 0 |-3.249243e+02 |-9.400000e+01 | 71.07% 698.84/699.16 c 697s| 1 | 0 |269380 | 104M| 0 | 996 |1000 | 15k| 15k|1000 |6513 | 15k| 0 | 0 |-3.247191e+02 |-9.400000e+01 | 71.05% 705.64/705.99 c 703s| 1 | 0 |270113 | 104M| 0 | 995 |1000 | 15k| 15k|1000 |6527 | 15k| 0 | 0 |-3.245193e+02 |-9.400000e+01 | 71.03% 712.43/712.73 c 710s| 1 | 0 |270865 | 104M| 0 | 995 |1000 | 15k| 15k|1000 |6543 | 15k| 0 | 0 |-3.243426e+02 |-9.400000e+01 | 71.02% 718.94/719.27 c 717s| 1 | 0 |271527 | 103M| 0 |1000 |1000 | 15k| 15k|1000 |6562 | 15k| 0 | 0 |-3.241330e+02 |-9.400000e+01 | 71.00% 725.23/725.58 c 723s| 1 | 0 |271913 | 103M| 0 | 998 |1000 | 15k| 15k|1000 |6570 | 15k| 0 | 0 |-3.240279e+02 |-9.400000e+01 | 70.99% 732.23/732.57 c 730s| 1 | 0 |272348 | 102M| 0 | 997 |1000 | 15k| 15k|1000 |6537 | 15k| 0 | 0 |-3.239433e+02 |-9.400000e+01 | 70.98% 738.62/738.96 c 736s| 1 | 0 |272922 | 100M| 0 | 998 |1000 | 15k| 15k|1000 |6545 | 15k| 0 | 0 |-3.238170e+02 |-9.400000e+01 | 70.97% 745.02/745.34 c 743s| 1 | 0 |273496 | 98M| 0 | 998 |1000 | 15k| 15k|1000 |6561 | 15k| 0 | 0 |-3.237010e+02 |-9.400000e+01 | 70.96% 751.02/751.36 c 749s| 1 | 0 |273903 | 98M| 0 | 997 |1000 | 15k| 15k|1000 |6574 | 15k| 0 | 0 |-3.236307e+02 |-9.400000e+01 | 70.95% 757.22/757.56 c 755s| 1 | 0 |274341 | 97M| 0 | 999 |1000 | 15k| 15k|1000 |6582 | 15k| 0 | 0 |-3.235539e+02 |-9.400000e+01 | 70.95% 763.62/763.91 c 761s| 1 | 0 |274910 | 96M| 0 | 997 |1000 | 15k| 15k|1000 |6595 | 15k| 0 | 0 |-3.234261e+02 |-9.400000e+01 | 70.94% 770.31/770.66 c 768s| 1 | 0 |275477 | 95M| 0 | 967 |1000 | 15k| 15k|1000 |6567 | 15k| 0 | 0 |-3.233333e+02 |-9.400000e+01 | 70.93% 775.21/775.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 775.21/775.51 c 773s| 1 | 0 |275480 | 93M| 0 | 969 |1000 | 15k| 15k|1000 |6573 | 15k| 0 | 0 |-3.233333e+02 |-9.400000e+01 | 70.93% 780.61/780.99 c 778s| 1 | 0 |275996 | 90M| 0 | 997 |1000 | 15k| 15k|1000 |6574 | 15k| 0 | 0 |-3.232762e+02 |-9.400000e+01 | 70.92% 786.61/786.97 c 784s| 1 | 0 |276477 | 89M| 0 | 999 |1000 | 15k| 15k|1000 |6592 | 15k| 0 | 0 |-3.232265e+02 |-9.400000e+01 | 70.92% 792.81/793.16 c 790s| 1 | 0 |276996 | 87M| 0 | 998 |1000 | 15k| 15k|1000 |6605 | 15k| 0 | 0 |-3.231326e+02 |-9.400000e+01 | 70.91% 799.00/799.34 c 797s| 1 | 0 |277529 | 86M| 0 | 998 |1000 | 15k| 15k|1000 |6616 | 16k| 0 | 0 |-3.230753e+02 |-9.400000e+01 | 70.90% 805.50/805.87 c 803s| 1 | 0 |278048 | 84M| 0 | 998 |1000 | 15k| 15k|1000 |6554 | 16k| 0 | 0 |-3.230084e+02 |-9.400000e+01 | 70.90% 810.90/811.27 c 808s| 1 | 0 |278089 | 83M| 0 | 968 |1000 | 15k| 15k|1000 |6565 | 16k| 0 | 0 |-3.230000e+02 |-9.400000e+01 | 70.90% 816.10/816.46 c 814s| 1 | 0 |278091 | 82M| 0 | 969 |1000 | 15k| 15k|1000 |6566 | 16k| 0 | 0 |-3.230000e+02 |-9.400000e+01 | 70.90% 830.99/831.37 c 828s| 1 | 2 |278091 | 80M| 0 | 969 |1000 | 15k| 15k|1000 |6566 | 16k| 0 | 17 |-3.230000e+02 |-9.400000e+01 | 70.90% 1795.45/1796.14 c 1795.45/1796.14 c SCIP Status : solving was interrupted [time limit reached] 1795.45/1796.14 c Solving Time (sec) : 1791.00 1795.45/1796.14 c Solving Nodes : 203 1795.45/1796.14 c Primal Bound : -9.40000000000000e+01 (3 solutions) 1795.45/1796.14 c Dual Bound : -3.22248069569757e+02 1795.45/1796.14 c Gap : 70.83 % 1795.45/1796.17 c NODE 203 1795.45/1796.17 c DUAL BOUND -322.248 1795.45/1796.17 c PRIMAL BOUND -94 1795.45/1796.17 c GAP 0.708299 1795.45/1796.17 s SATISFIABLE 1795.45/1796.17 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 1795.45/1796.17 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 1795.45/1796.17 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 1795.45/1796.17 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 1795.45/1796.17 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 1795.45/1796.17 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 1795.45/1796.17 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 1795.45/1796.17 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 x838 -x837 -x836 -x835 -x834 -x833 1795.45/1796.17 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 1795.45/1796.17 v -x811 x810 -x809 -x808 -x807 -x806 -x805 x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 1795.45/1796.17 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 x772 -x771 -x770 1795.45/1796.17 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 1795.45/1796.17 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 1795.45/1796.17 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 1795.45/1796.17 v -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686 1795.45/1796.17 v -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 x669 -x668 -x667 x666 -x665 -x664 1795.45/1796.17 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 1795.45/1796.17 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 1795.45/1796.17 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 1795.45/1796.17 v -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 1795.45/1796.17 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 1795.45/1796.17 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 1795.45/1796.17 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 1795.45/1796.17 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 1795.45/1796.17 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 1795.45/1796.17 v -x475 -x474 -x473 -x472 x471 -x470 -x469 x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 1795.45/1796.17 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 1795.45/1796.17 v -x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 1795.45/1796.17 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 1795.45/1796.17 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 1795.45/1796.17 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 1795.45/1796.17 v -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 1795.45/1796.17 v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 -x307 1795.45/1796.17 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 1795.45/1796.17 v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 1795.45/1796.17 v -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 1795.45/1796.17 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 1795.45/1796.17 v -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 x212 -x211 x210 -x209 -x208 -x207 x206 -x205 x204 x203 -x202 -x201 1795.45/1796.17 v x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 x191 -x190 x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 1795.45/1796.17 v -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 x158 1795.45/1796.17 v -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 x137 -x136 1795.45/1796.17 v x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 1795.45/1796.17 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 1795.45/1796.17 v -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 1795.45/1796.17 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 1795.45/1796.17 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 1795.45/1796.17 v -x12 x11 -x10 -x9 x8 -x7 -x6 x5 -x4 x3 -x2 -x1 1795.45/1796.17 c SCIP Status : solving was interrupted [time limit reached] 1795.45/1796.17 c Solving Time : 1791.00 1795.45/1796.17 c Original Problem : 1795.45/1796.17 c Problem name : HOME/instance-1870395-1245201476.opb 1795.45/1796.17 c Variables : 16795 (16795 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.45/1796.17 c Constraints : 16795 initial, 16795 maximal 1795.45/1796.17 c Presolved Problem : 1795.45/1796.17 c Problem name : t_HOME/instance-1870395-1245201476.opb 1795.45/1796.17 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.45/1796.17 c Constraints : 15795 initial, 15795 maximal 1795.45/1796.17 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1795.45/1796.17 c trivial : 0.00 0 0 0 0 0 0 0 0 1795.45/1796.17 c dualfix : 0.00 0 0 0 0 0 0 0 0 1795.45/1796.17 c boundshift : 0.00 0 0 0 0 0 0 0 0 1795.45/1796.17 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1795.45/1796.17 c implics : 0.00 0 0 0 0 0 0 0 0 1795.45/1796.17 c probing : 0.57 0 0 0 0 0 0 0 0 1795.45/1796.17 c and : 0.32 0 0 0 0 0 0 0 0 1795.45/1796.17 c linear : 0.10 15795 0 0 15795 0 1000 0 0 1795.45/1796.17 c root node : - 0 - - 0 - - - - 1795.45/1796.17 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1795.45/1796.17 c integral : 0 0 0 203 0 0 0 0 0 406 1795.45/1796.17 c and : 15795 1110 6657 0 0 0 4678 240463 0 0 1795.45/1796.17 c countsols : 0 0 0 0 0 0 0 0 0 0 1795.45/1796.17 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1795.45/1796.17 c integral : 297.38 0.00 0.00 297.38 0.00 1795.45/1796.17 c and : 26.28 16.99 9.29 0.00 0.00 1795.45/1796.17 c countsols : 0.00 0.00 0.00 0.00 0.00 1795.45/1796.17 c Propagators : Time Calls Cutoffs DomReds 1795.45/1796.17 c rootredcost : 0.00 0 0 0 1795.45/1796.17 c pseudoobj : 0.28 6675 0 0 1795.45/1796.17 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1795.45/1796.17 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1795.45/1796.17 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1795.45/1796.17 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1795.45/1796.17 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1795.45/1796.17 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1795.45/1796.17 c applied globally : - - - 0 0.0 - - - 1795.45/1796.17 c applied locally : - - - 0 0.0 - - - 1795.45/1796.17 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1795.45/1796.17 c cut pool : 1.99 199 - - 3259 - (maximal pool size: 13046) 1795.45/1796.17 c redcost : 0.07 1110 0 0 0 0 1795.45/1796.17 c impliedbounds : 0.37 199 0 0 18657 0 1795.45/1796.17 c intobj : 0.00 0 0 0 0 0 1795.45/1796.17 c gomory : 441.04 199 0 0 65430 0 1795.45/1796.17 c strongcg : 2.36 20 0 0 10000 0 1795.45/1796.17 c cmir : 1.58 10 0 0 0 0 1795.45/1796.17 c flowcover : 1.30 10 0 0 0 0 1795.45/1796.17 c clique : 7.15 199 0 0 1658 0 1795.45/1796.17 c zerohalf : 0.00 0 0 0 0 0 1795.45/1796.17 c mcf : 0.05 1 0 0 0 0 1795.45/1796.17 c Pricers : Time Calls Vars 1795.45/1796.17 c problem variables: 0.00 0 0 1795.45/1796.17 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1795.45/1796.17 c relpscost : 297.38 203 0 0 0 0 406 1795.45/1796.17 c pscost : 0.00 0 0 0 0 0 0 1795.45/1796.17 c inference : 0.00 0 0 0 0 0 0 1795.45/1796.17 c mostinf : 0.00 0 0 0 0 0 0 1795.45/1796.17 c leastinf : 0.00 0 0 0 0 0 0 1795.45/1796.17 c fullstrong : 0.00 0 0 0 0 0 0 1795.45/1796.17 c allfullstrong : 0.00 0 0 0 0 0 0 1795.45/1796.17 c random : 0.00 0 0 0 0 0 0 1795.45/1796.17 c Primal Heuristics : Time Calls Found 1795.45/1796.17 c LP solutions : 0.00 - 0 1795.45/1796.17 c pseudo solutions : 0.00 - 0 1795.45/1796.17 c oneopt : 0.00 1 0 1795.45/1796.17 c linesearchdiving : 50.71 5 0 1795.45/1796.17 c guideddiving : 56.28 5 0 1795.45/1796.17 c simplerounding : 0.00 0 0 1795.45/1796.17 c rounding : 20.56 1199 3 1795.45/1796.17 c shifting : 3.46 149 0 1795.45/1796.17 c intshifting : 0.00 0 0 1795.45/1796.17 c fixandinfer : 0.00 0 0 1795.45/1796.17 c feaspump : 0.00 0 0 1795.45/1796.17 c coefdiving : 42.88 5 0 1795.45/1796.17 c pscostdiving : 54.91 4 0 1795.45/1796.17 c fracdiving : 47.41 5 0 1795.45/1796.17 c veclendiving : 45.60 4 0 1795.45/1796.17 c intdiving : 0.00 0 0 1795.45/1796.17 c actconsdiving : 0.00 0 0 1795.45/1796.17 c objpscostdiving : 14.93 2 0 1795.45/1796.17 c rootsoldiving : 6.26 7 0 1795.45/1796.17 c octane : 0.00 0 0 1795.45/1796.17 c rens : 0.01 0 0 1795.45/1796.17 c rins : 0.00 0 0 1795.45/1796.17 c localbranching : 0.00 0 0 1795.45/1796.17 c mutation : 0.00 0 0 1795.45/1796.17 c crossover : 0.00 0 0 1795.45/1796.17 c dins : 0.00 0 0 1795.45/1796.17 c LP : Time Calls Iterations Iter/call Iter/sec 1795.45/1796.17 c primal LP : 27.25 0 0 0.00 0.00 1795.45/1796.17 c dual LP : 639.46 1199 792381 660.87 1239.14 1795.45/1796.17 c barrier LP : 0.00 0 0 0.00 - 1795.45/1796.17 c diving/probing LP: 304.18 6463 789418 122.14 2595.23 1795.45/1796.17 c strong branching : 297.27 1037 502609 484.68 1690.75 1795.45/1796.17 c (at root node) : - 17 6597 388.06 - 1795.45/1796.17 c conflict analysis: 0.00 0 0 0.00 - 1795.45/1796.17 c B&B Tree : 1795.45/1796.17 c number of runs : 1 1795.45/1796.17 c nodes : 203 1795.45/1796.17 c nodes (total) : 203 1795.45/1796.17 c nodes left : 204 1795.45/1796.17 c max depth : 25 1795.45/1796.17 c max depth (total): 25 1795.45/1796.17 c backtracks : 63 (31.0%) 1795.45/1796.17 c delayed cutoffs : 0 1795.45/1796.17 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1795.45/1796.17 c avg switch length: 5.22 1795.45/1796.17 c switching time : 18.08 1795.45/1796.17 c Solution : 1795.45/1796.17 c Solutions found : 3 (3 improvements) 1795.45/1796.17 c Primal Bound : -9.40000000000000e+01 (in run 1, after 1 nodes, 11.94 seconds, depth 0, found by <rounding>) 1795.45/1796.17 c Dual Bound : -3.22248069569757e+02 1795.45/1796.17 c Gap : 70.83 % 1795.45/1796.17 c Root Dual Bound : -3.23000000000000e+02 1795.65/1796.37 c Time complete: 1795.72.
OK -94
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870395-1245201476/watcher-1870395-1245201476 -o /tmp/evaluation-result-1870395-1245201476/solver-1870395-1245201476 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870395-1245201476.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 7033 /proc/meminfo: memFree=1778744/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=5812 CPUtime=0 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 187741758 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/7033/statm: 1453 508 337 1256 0 192 0 [startup+0.105548 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7033 /proc/meminfo: memFree=1778744/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=23672 CPUtime=0.09 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 4906 0 0 0 8 1 0 0 18 0 1 0 187741758 24240128 4890 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0 /proc/7033/statm: 5918 4890 378 1256 0 4657 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23672 [startup+0.201564 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7033 /proc/meminfo: memFree=1778744/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=31600 CPUtime=0.19 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 7259 0 0 0 17 2 0 0 18 0 1 0 187741758 32358400 6889 1992294400 4194304 9342243 548682068736 18446744073709551615 8251447 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 7900 6889 408 1256 0 6639 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 31600 [startup+0.301582 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7033 /proc/meminfo: memFree=1778744/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=51608 CPUtime=0.29 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 12254 0 0 0 25 4 0 0 19 0 1 0 187741758 52846592 11884 1992294400 4194304 9342243 548682068736 18446744073709551615 4364560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 12902 11884 426 1256 0 11641 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 51608 [startup+0.701654 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7033 /proc/meminfo: memFree=1778744/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=61432 CPUtime=0.69 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 14498 0 0 0 56 13 0 0 22 0 1 0 187741758 62906368 14128 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 15358 14128 467 1256 0 14097 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 61432 [startup+1.5028 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1723888/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=61432 CPUtime=1.49 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 14514 0 0 0 127 22 0 0 25 0 1 0 187741758 62906368 14144 1992294400 4194304 9342243 548682068736 18446744073709551615 4903359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 15358 14144 475 1256 0 14097 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61432 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1690928/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=104016 CPUtime=3.09 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 24334 0 0 0 281 28 0 0 25 0 1 0 187741758 106512384 23053 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 26004 23053 641 1256 0 24743 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 104016 [startup+6.30167 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1685360/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=105388 CPUtime=6.29 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 25216 0 0 0 599 30 0 0 25 0 1 0 187741758 107917312 23935 1992294400 4194304 9342243 548682068736 18446744073709551615 5869974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 26347 23935 642 1256 0 25086 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 105388 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1678136/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=112960 CPUtime=12.69 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 27405 0 0 0 1235 34 0 0 25 0 1 0 187741758 115671040 25850 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 28240 25850 646 1256 0 26979 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 112960 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1656696/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=130708 CPUtime=25.48 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 33093 0 0 0 2510 38 0 0 25 0 1 0 187741758 133844992 31042 1992294400 4194304 9342243 548682068736 18446744073709551615 4898414 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 32677 31042 660 1256 0 31416 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 130708 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1654712/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=133724 CPUtime=51.08 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 44643 0 0 0 5059 49 0 0 25 0 1 0 187741758 136933376 31566 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 33431 31566 660 1256 0 32170 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 133724 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1651384/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=136912 CPUtime=102.26 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 58057 0 0 0 10160 66 0 0 25 0 1 0 187741758 140197888 32376 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 34228 32376 660 1256 0 32967 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 136912 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1632312/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=157556 CPUtime=162.23 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 90949 0 0 0 16129 94 0 0 25 0 1 0 187741758 161337344 37119 1992294400 4194304 9342243 548682068736 18446744073709551615 6978058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 39389 37119 660 1256 0 38128 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 157556 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1588536/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201140 CPUtime=222.21 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 106830 0 0 0 22109 112 0 0 25 0 1 0 187741758 205967360 48028 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50285 48028 660 1256 0 49024 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 201140 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1587448/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201528 CPUtime=282.19 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 107130 0 0 0 28095 124 0 0 25 0 1 0 187741758 206364672 48328 1992294400 4194304 9342243 548682068736 18446744073709551615 6040596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50382 48328 660 1256 0 49121 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 201528 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1586424/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201860 CPUtime=342.17 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 107308 0 0 0 34082 135 0 0 25 0 1 0 187741758 206704640 48506 1992294400 4194304 9342243 548682068736 18446744073709551615 5874826 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50465 48506 660 1256 0 49204 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 201860 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585848/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201860 CPUtime=402.15 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 107428 0 0 0 40067 148 0 0 25 0 1 0 187741758 206704640 48626 1992294400 4194304 9342243 548682068736 18446744073709551615 6938547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50465 48626 660 1256 0 49204 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 201860 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585784/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201860 CPUtime=462.13 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 107436 0 0 0 46054 159 0 0 25 0 1 0 187741758 206704640 48634 1992294400 4194304 9342243 548682068736 18446744073709551615 6341875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50465 48634 660 1256 0 49204 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 201860 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585656/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201860 CPUtime=522.11 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 107442 0 0 0 52042 169 0 0 25 0 1 0 187741758 206704640 48640 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50465 48640 660 1256 0 49204 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 201860 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585592/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201860 CPUtime=582.08 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 107454 0 0 0 58029 179 0 0 25 0 1 0 187741758 206704640 48652 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50465 48652 660 1256 0 49204 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 201860 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585976/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=204020 CPUtime=642.05 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 113641 0 0 0 64013 192 0 0 25 0 1 0 187741758 208916480 48506 1992294400 4194304 9342243 548682068736 18446744073709551615 4252216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 51005 48506 669 1256 0 49744 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 204020 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1586296/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=199428 CPUtime=1121.88 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142515 0 0 0 111889 299 0 0 25 0 1 0 187741758 204214272 48368 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 49857 48368 685 1256 0 48596 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 199428 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1586296/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=199620 CPUtime=1181.87 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142520 0 0 0 117877 310 0 0 25 0 1 0 187741758 204410880 48373 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 49905 48373 686 1256 0 48644 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 199620 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1586168/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=199620 CPUtime=1241.84 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142522 0 0 0 123860 324 0 0 25 0 1 0 187741758 204410880 48375 1992294400 4194304 9342243 548682068736 18446744073709551615 4903376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 49905 48375 686 1256 0 48644 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 199620 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1586104/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=199620 CPUtime=1301.82 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142533 0 0 0 129844 338 0 0 25 0 1 0 187741758 204410880 48386 1992294400 4194304 9342243 548682068736 18446744073709551615 6960602 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 49905 48386 686 1256 0 48644 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 199620 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1586040/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=199620 CPUtime=1361.8 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142535 0 0 0 135828 352 0 0 25 0 1 0 187741758 204410880 48388 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 49905 48388 686 1256 0 48644 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 199620 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585976/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201716 CPUtime=1421.79 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142545 0 0 0 141815 364 0 0 25 0 1 0 187741758 206557184 48398 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50429 48398 686 1256 0 49168 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 201716 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585912/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201716 CPUtime=1481.75 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142552 0 0 0 147800 375 0 0 25 0 1 0 187741758 206557184 48405 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50429 48405 686 1256 0 49168 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 201716 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585848/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201716 CPUtime=1541.74 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142556 0 0 0 153789 385 0 0 25 0 1 0 187741758 206557184 48409 1992294400 4194304 9342243 548682068736 18446744073709551615 6965691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50429 48409 686 1256 0 49168 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 201716 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585784/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201716 CPUtime=1601.71 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142561 0 0 0 159773 398 0 0 25 0 1 0 187741758 206557184 48414 1992294400 4194304 9342243 548682068736 18446744073709551615 6941176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50429 48414 686 1256 0 49168 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 201716 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585720/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=203736 CPUtime=1661.69 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142687 0 0 0 165758 411 0 0 25 0 1 0 187741758 208625664 48395 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50934 48395 686 1256 0 49673 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 203736 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585720/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201684 CPUtime=1721.67 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142747 0 0 0 171746 421 0 0 25 0 1 0 187741758 206524416 48410 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50421 48410 686 1256 0 49160 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 201684 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585720/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201684 CPUtime=1781.65 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142759 0 0 0 177735 430 0 0 25 0 1 0 187741758 206524416 48422 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50421 48422 686 1256 0 49160 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 201684 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585720/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201684 CPUtime=1784.95 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142759 0 0 0 178064 431 0 0 25 0 1 0 187741758 206524416 48422 1992294400 4194304 9342243 548682068736 18446744073709551615 6938543 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50421 48422 686 1256 0 49160 0 Current children cumulated CPU time (s) 1784.95 Current children cumulated vsize (KiB) 201684 [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585720/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201684 CPUtime=1791.35 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142760 0 0 0 178702 433 0 0 25 0 1 0 187741758 206524416 48423 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50421 48423 686 1256 0 49160 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 201684 [startup+1793.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585720/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201684 CPUtime=1792.95 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142761 0 0 0 178862 433 0 0 25 0 1 0 187741758 206524416 48424 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50421 48424 686 1256 0 49160 0 Current children cumulated CPU time (s) 1792.95 Current children cumulated vsize (KiB) 201684 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585720/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201684 CPUtime=1794.55 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142761 0 0 0 179022 433 0 0 25 0 1 0 187741758 206524416 48424 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50421 48424 686 1256 0 49160 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 201684 [startup+1796 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585720/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201684 CPUtime=1795.35 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142761 0 0 0 179102 433 0 0 25 0 1 0 187741758 206524416 48424 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7033/statm: 50421 48424 686 1256 0 49160 0 Current children cumulated CPU time (s) 1795.35 Current children cumulated vsize (KiB) 201684 [startup+1796.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1585720/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=201684 CPUtime=1795.55 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142762 0 0 0 179122 433 0 0 17 0 1 0 187741758 206524416 48425 1992294400 4194304 9342243 548682068736 18446744073709551615 5854336 0 0 4096 0 0 0 0 17 1 0 0 /proc/7033/statm: 50421 48425 687 1256 0 49160 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (KiB) 201684 [startup+1796.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7034 /proc/meminfo: memFree=1592568/2055920 swapFree=4182476/4192956 [pid=7033] ppid=7031 vsize=190556 CPUtime=1795.65 /proc/7033/stat : 7033 (pbscip.linux.x8) R 7031 7033 6663 0 -1 4194304 142765 0 0 0 179132 433 0 0 17 0 1 0 187741758 195129344 46663 1992294400 4194304 9342243 548682068736 18446744073709551615 4240663 0 0 4096 0 0 0 0 17 1 0 0 /proc/7033/statm: 47639 46663 690 1256 0 46378 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (KiB) 190556 Child status: 0 Real time (s): 1796.37 CPU time (s): 1795.73 CPU user time (s): 1791.36 CPU system time (s): 4.36334 CPU usage (%): 99.964 Max. virtual memory (cumulated for all children) (KiB): 211740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.36 system time used= 4.36334 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 142769 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= 10 involuntary context switches= 1776 runsolver used 1.36179 second user time and 3.66244 second system time The end
Begin job on node67 at 2009-06-17 03:17:56 IDJOB=1870395 IDBENCH=48196 IDSOLVER=684 FILE ID=node67/1870395-1245201476 PBS_JOBID= 9368330 Free space on /tmp= 66428 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_5.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-1870395-1245201476/watcher-1870395-1245201476 -o /tmp/evaluation-result-1870395-1245201476/solver-1870395-1245201476 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870395-1245201476.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 54b0d54e7a8a81cee8fd7c7c85a68b83 RANDOM SEED=320983569 node67.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.272 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.272 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: 1779160 kB Buffers: 35052 kB Cached: 178432 kB SwapCached: 4524 kB Active: 76588 kB Inactive: 144548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1779160 kB SwapTotal: 4192956 kB SwapFree: 4182476 kB Dirty: 12132 kB Writeback: 0 kB Mapped: 13444 kB Slab: 41596 kB Committed_AS: 114548 kB PageTables: 1440 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= 66416 MiB End job on node67 at 2009-06-17 03:47:52