Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | -49 | 1797.31 | 1797.26 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_5.opb |
| MD5SUM | 80b55b230959185abe8760f01da7fec8 |
| 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 | -71 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -81 |
| 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 | 60 |
| Maximum length of a constraint | 108 |
| 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) | 75288 |
| Sum of products size (including duplicates) | 150576 |
| Number of different products | 37644 |
| Sum of products size | 75288 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488618-1307784833.opb>
0.09/0.18 c original problem has 38644 variables (38644 bin, 0 int, 0 impl, 0 cont) and 39644 constraints
0.09/0.18 c problem read
0.09/0.18 c presolving settings loaded
0.39/0.40 o 0
0.39/0.40 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.40 c presolving:
0.79/0.84 c (round 1) 37644 del vars, 2000 del conss, 0 add conss, 37644 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150576 impls, 0 clqs
0.89/0.90 c (round 2) 37644 del vars, 2000 del conss, 0 add conss, 37644 chg bounds, 0 chg sides, 0 chg coeffs, 37644 upgd conss, 150576 impls, 0 clqs
1.19/1.26 c (1.3s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.19/1.26 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.19/1.26 c presolving (3 rounds):
1.19/1.26 c 37644 deleted vars, 2000 deleted constraints, 0 added constraints, 37644 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.19/1.26 c 225862 implications, 0 cliques
1.19/1.26 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37644 constraints
1.19/1.26 c 37644 constraints of type <setppc>
1.19/1.26 c transformed objective value is always integral (scale: 1)
1.19/1.26 c Presolving Time: 0.95
1.19/1.26 c - non default parameters ----------------------------------------------------------------------
1.19/1.26 c # SCIP version 2.0.1.5
1.19/1.26 c
1.19/1.26 c # frequency for displaying node information lines
1.19/1.26 c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.26 c display/freq = 10000
1.19/1.26 c
1.19/1.26 c # maximal time in seconds to run
1.19/1.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.26 c limits/time = 1797
1.19/1.26 c
1.19/1.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.26 c limits/memory = 13950
1.19/1.26 c
1.19/1.26 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.19/1.26 c # [type: int, range: [1,2], default: 1]
1.19/1.26 c timing/clocktype = 2
1.19/1.26 c
1.19/1.26 c # belongs reading time to solving time?
1.19/1.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.26 c timing/reading = TRUE
1.19/1.26 c
1.19/1.26 c # should presolving try to simplify inequalities
1.19/1.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.26 c constraints/linear/simplifyinequalities = TRUE
1.19/1.26 c
1.19/1.26 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.19/1.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.26 c constraints/indicator/addCouplingCons = TRUE
1.19/1.26 c
1.19/1.26 c # should presolving try to simplify knapsacks
1.19/1.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.26 c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.26 c
1.19/1.26 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.26 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.26 c separating/rapidlearning/freq = 0
1.19/1.26 c
1.19/1.26 c -----------------------------------------------------------------------------------------------
1.19/1.26 c start solving
1.19/1.26 c
1.69/1.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.75 c t 1.7s| 1 | 0 | 1015 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.69/1.78 o -1
1.69/1.78 c R 1.8s| 1 | 0 | 1015 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.79/1.82 o -2
1.79/1.82 c s 1.8s| 1 | 0 | 1015 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.39/2.44 c 2.4s| 1 | 0 | 1146 | - | 120M| 0 | 989 |1000 | 37k|1000 | 37k| 9 | 0 | 0 |-4.945000e+02 |-2.000000e+00 | 99.60%
2.39/2.45 o -49
2.39/2.45 c b 2.4s| 1 | 0 | 1146 | - | 120M| 0 | 989 |1000 | 37k|1000 | 37k| 9 | 0 | 0 |-4.945000e+02 |-4.900000e+01 | 90.09%
3.19/3.23 c 3.2s| 1 | 0 | 1404 | - | 120M| 0 | 979 |1000 | 37k|1000 | 37k| 18 | 0 | 0 |-4.895000e+02 |-4.900000e+01 | 89.99%
3.99/4.03 c 4.0s| 1 | 0 | 1582 | - | 120M| 0 | 974 |1000 | 37k|1000 | 37k| 24 | 0 | 0 |-4.870000e+02 |-4.900000e+01 | 89.94%
4.89/4.92 c 4.9s| 1 | 0 | 1859 | - | 120M| 0 | 969 |1000 | 37k|1000 | 37k| 29 | 0 | 0 |-4.845000e+02 |-4.900000e+01 | 89.89%
5.89/5.91 c 5.9s| 1 | 0 | 2259 | - | 120M| 0 | 962 |1000 | 37k|1000 | 37k| 36 | 0 | 0 |-4.810000e+02 |-4.900000e+01 | 89.81%
6.89/6.94 c 6.9s| 1 | 0 | 2697 | - | 120M| 0 | 954 |1000 | 37k|1000 | 37k| 49 | 0 | 0 |-4.770000e+02 |-4.900000e+01 | 89.73%
7.99/8.07 c 8.1s| 1 | 0 | 3218 | - | 120M| 0 | 948 |1000 | 37k|1000 | 37k| 57 | 0 | 0 |-4.740000e+02 |-4.900000e+01 | 89.66%
9.19/9.29 c 9.3s| 1 | 0 | 3725 | - | 120M| 0 | 939 |1000 | 37k|1000 | 37k| 66 | 0 | 0 |-4.695000e+02 |-4.900000e+01 | 89.56%
10.49/10.50 c 10.5s| 1 | 0 | 4203 | - | 120M| 0 | 931 |1000 | 37k|1000 | 37k| 77 | 0 | 0 |-4.655000e+02 |-4.900000e+01 | 89.47%
11.69/11.75 c 11.7s| 1 | 0 | 4746 | - | 121M| 0 | 925 |1000 | 37k|1000 | 37k| 87 | 0 | 0 |-4.617500e+02 |-4.900000e+01 | 89.39%
12.29/12.39 c 12.4s| 1 | 0 | 5045 | - | 121M| 0 | 916 |1000 | 37k|1000 |1872 | 97 | 0 | 0 |-4.580000e+02 |-4.900000e+01 | 89.30%
12.59/12.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.59/12.67 c 12.7s| 1 | 0 | 6226 | - | 121M| 0 | 900 |1000 | 37k|1000 |1885 | 110 | 0 | 0 |-4.532500e+02 |-4.900000e+01 | 89.19%
12.89/12.96 c 13.0s| 1 | 0 | 7395 | - | 121M| 0 | 895 |1000 | 37k|1000 |2115 | 340 | 0 | 0 |-4.515000e+02 |-4.900000e+01 | 89.15%
13.20/13.23 c 13.2s| 1 | 0 | 8292 | - | 121M| 0 | 896 |1000 | 37k|1000 |2354 | 579 | 0 | 0 |-4.490000e+02 |-4.900000e+01 | 89.09%
13.39/13.48 c 13.5s| 1 | 0 | 8938 | - | 121M| 0 | 909 |1000 | 37k|1000 |2421 | 646 | 0 | 0 |-4.482500e+02 |-4.900000e+01 | 89.07%
13.69/13.73 c 13.7s| 1 | 0 | 9124 | - | 122M| 0 | 896 |1000 | 37k|1000 |3661 |1886 | 0 | 0 |-4.476250e+02 |-4.900000e+01 | 89.05%
14.09/14.10 c 14.1s| 1 | 0 | 9967 | - | 122M| 0 | 884 |1000 | 37k|1000 |3145 |1944 | 0 | 0 |-4.460000e+02 |-4.900000e+01 | 89.01%
14.39/14.40 c 14.4s| 1 | 0 | 10688 | - | 122M| 0 | 884 |1000 | 37k|1000 |3393 |2192 | 0 | 0 |-4.427500e+02 |-4.900000e+01 | 88.93%
14.79/14.80 c 14.8s| 1 | 0 | 12568 | - | 123M| 0 | 884 |1000 | 37k|1000 |3526 |2325 | 0 | 0 |-4.402500e+02 |-4.900000e+01 | 88.87%
15.09/15.10 c 15.1s| 1 | 0 | 13203 | - | 123M| 0 | 904 |1000 | 37k|1000 |3710 |2509 | 0 | 0 |-4.386250e+02 |-4.900000e+01 | 88.83%
15.89/15.90 c 15.9s| 1 | 0 | 13521 | - | 124M| 0 | 876 |1000 | 37k|1000 |5710 |4509 | 0 | 0 |-4.380000e+02 |-4.900000e+01 | 88.81%
16.19/16.23 c 16.2s| 1 | 0 | 14495 | - | 125M| 0 | 869 |1000 | 37k|1000 |5721 |4520 | 0 | 0 |-4.360000e+02 |-4.900000e+01 | 88.76%
16.49/16.55 c 16.5s| 1 | 0 | 15315 | - | 125M| 0 | 863 |1000 | 37k|1000 |5261 |4700 | 0 | 0 |-4.335000e+02 |-4.900000e+01 | 88.70%
16.79/16.85 c 16.8s| 1 | 0 | 16198 | - | 125M| 0 | 862 |1000 | 37k|1000 |5400 |4839 | 0 | 0 |-4.297500e+02 |-4.900000e+01 | 88.60%
16.99/17.05 c 17.0s| 1 | 0 | 16550 | - | 125M| 0 | 854 |1000 | 37k|1000 |5485 |4924 | 0 | 0 |-4.280000e+02 |-4.900000e+01 | 88.55%
17.29/17.34 c 17.3s| 1 | 0 | 17703 | - | 125M| 0 | 852 |1000 | 37k|1000 |5542 |4981 | 0 | 0 |-4.260000e+02 |-4.900000e+01 | 88.50%
17.49/17.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.49/17.58 c 17.6s| 1 | 0 | 18053 | - | 125M| 0 | 844 |1000 | 37k|1000 |5553 |4992 | 0 | 0 |-4.247500e+02 |-4.900000e+01 | 88.46%
17.99/18.03 c 18.0s| 1 | 0 | 19918 | - | 125M| 0 | 845 |1000 | 37k|1000 |5838 |5277 | 0 | 0 |-4.216667e+02 |-4.900000e+01 | 88.38%
18.39/18.45 c 18.4s| 1 | 0 | 21313 | - | 125M| 0 | 844 |1000 | 37k|1000 |4050 |5453 | 0 | 0 |-4.197500e+02 |-4.900000e+01 | 88.33%
18.79/18.81 c 18.8s| 1 | 0 | 22236 | - | 126M| 0 | 844 |1000 | 37k|1000 |4890 |6293 | 0 | 0 |-4.170000e+02 |-4.900000e+01 | 88.25%
19.30/19.34 c 19.3s| 1 | 0 | 24693 | - | 127M| 0 | 867 |1000 | 37k|1000 |5513 |6916 | 0 | 0 |-4.142571e+02 |-4.900000e+01 | 88.17%
20.19/20.22 c 20.2s| 1 | 0 | 24817 | - | 127M| 0 | 828 |1000 | 37k|1000 |7513 |8916 | 0 | 0 |-4.140000e+02 |-4.900000e+01 | 88.16%
20.49/20.56 c 20.6s| 1 | 0 | 25534 | - | 127M| 0 | 825 |1000 | 37k|1000 |7520 |8923 | 0 | 0 |-4.122692e+02 |-4.900000e+01 | 88.11%
20.80/20.90 c 20.9s| 1 | 0 | 26301 | - | 127M| 0 | 820 |1000 | 37k|1000 |7528 |8931 | 0 | 0 |-4.110000e+02 |-4.900000e+01 | 88.08%
21.19/21.28 c 21.3s| 1 | 0 | 27335 | - | 127M| 0 | 817 |1000 | 37k|1000 |5054 |9002 | 0 | 0 |-4.080000e+02 |-4.900000e+01 | 87.99%
21.59/21.60 c 21.6s| 1 | 0 | 28263 | - | 127M| 0 | 813 |1000 | 37k|1000 |5216 |9164 | 0 | 0 |-4.070333e+02 |-4.900000e+01 | 87.96%
22.09/22.13 c 22.1s| 1 | 0 | 29917 | - | 128M| 0 | 813 |1000 | 37k|1000 |5664 |9612 | 0 | 0 |-4.050000e+02 |-4.900000e+01 | 87.90%
22.39/22.45 c 22.5s| 1 | 0 | 30678 | - | 128M| 0 | 810 |1000 | 37k|1000 |5794 |9742 | 0 | 0 |-4.025000e+02 |-4.900000e+01 | 87.83%
22.69/22.76 c 22.8s| 1 | 0 | 31414 | - | 128M| 0 | 801 |1000 | 37k|1000 |5879 |9827 | 0 | 0 |-4.005000e+02 |-4.900000e+01 | 87.77%
22.99/23.09 c 23.1s| 1 | 0 | 32018 | - | 129M| 0 | 791 |1000 | 37k|1000 |6004 |9952 | 0 | 0 |-3.990000e+02 |-4.900000e+01 | 87.72%
23.49/23.50 c 23.5s| 1 | 0 | 33164 | - | 129M| 0 | 797 |1000 | 37k|1000 |4249 | 10k| 0 | 0 |-3.975000e+02 |-4.900000e+01 | 87.67%
23.79/23.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.79/23.87 c 23.9s| 1 | 0 | 34643 | - | 129M| 0 | 793 |1000 | 37k|1000 |4358 | 10k| 0 | 0 |-3.960000e+02 |-4.900000e+01 | 87.63%
24.09/24.11 c 24.1s| 1 | 0 | 35301 | - | 129M| 0 | 780 |1000 | 37k|1000 |4424 | 10k| 0 | 0 |-3.950000e+02 |-4.900000e+01 | 87.59%
24.49/24.52 c 24.5s| 1 | 0 | 37099 | - | 130M| 0 | 782 |1000 | 37k|1000 |4752 | 10k| 0 | 0 |-3.930000e+02 |-4.900000e+01 | 87.53%
24.79/24.86 c 24.9s| 1 | 0 | 38080 | - | 130M| 0 | 805 |1000 | 37k|1000 |4865 | 10k| 0 | 0 |-3.923721e+02 |-4.900000e+01 | 87.51%
25.59/25.66 c 25.7s| 1 | 0 | 40181 | - | 131M| 0 | 775 |1000 | 37k|1000 |5897 | 11k| 0 | 0 |-3.895000e+02 |-4.900000e+01 | 87.42%
26.09/26.10 c 26.1s| 1 | 0 | 41165 | - | 131M| 0 | 762 |1000 | 37k|1000 |5109 | 11k| 0 | 0 |-3.870000e+02 |-4.900000e+01 | 87.34%
26.69/26.71 c 26.7s| 1 | 0 | 43664 | - | 131M| 0 | 752 |1000 | 37k|1000 |5434 | 12k| 0 | 0 |-3.830000e+02 |-4.900000e+01 | 87.21%
26.99/27.06 c 27.1s| 1 | 0 | 44691 | - | 131M| 0 | 755 |1000 | 37k|1000 |5820 | 12k| 0 | 0 |-3.785000e+02 |-4.900000e+01 | 87.05%
27.39/27.46 c 27.5s| 1 | 0 | 46418 | - | 131M| 0 | 759 |1000 | 37k|1000 |5878 | 12k| 0 | 0 |-3.765000e+02 |-4.900000e+01 | 86.99%
27.69/27.75 c 27.7s| 1 | 0 | 47092 | - | 131M| 0 | 773 |1000 | 37k|1000 |6129 | 12k| 0 | 0 |-3.760000e+02 |-4.900000e+01 | 86.97%
28.49/28.58 c 28.6s| 1 | 0 | 50522 | - | 132M| 0 | 822 |1000 | 37k|1000 |6306 | 13k| 0 | 0 |-3.748333e+02 |-4.900000e+01 | 86.93%
29.29/29.31 c 29.3s| 1 | 0 | 50875 | - | 132M| 0 | 752 |1000 | 37k|1000 |7518 | 15k| 0 | 0 |-3.745000e+02 |-4.900000e+01 | 86.92%
29.59/29.66 c 29.7s| 1 | 0 | 51579 | - | 132M| 0 | 752 |1000 | 37k|1000 |7526 | 15k| 0 | 0 |-3.730000e+02 |-4.900000e+01 | 86.86%
29.89/29.98 c 30.0s| 1 | 0 | 52064 | - | 132M| 0 | 757 |1000 | 37k|1000 |7597 | 15k| 0 | 0 |-3.720000e+02 |-4.900000e+01 | 86.83%
30.29/30.34 c 30.3s| 1 | 0 | 52750 | - | 132M| 0 | 742 |1000 | 37k|1000 |7656 | 15k| 0 | 0 |-3.710000e+02 |-4.900000e+01 | 86.79%
30.70/30.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.70/30.75 c 30.7s| 1 | 0 | 53513 | - | 132M| 0 | 738 |1000 | 37k|1000 |7665 | 15k| 0 | 0 |-3.700000e+02 |-4.900000e+01 | 86.76%
31.09/31.11 c 31.1s| 1 | 0 | 54333 | - | 133M| 0 | 755 |1000 | 37k|1000 |7717 | 15k| 0 | 0 |-3.687500e+02 |-4.900000e+01 | 86.71%
31.49/31.54 c 31.5s| 1 | 0 | 55168 | - | 133M| 0 | 731 |1000 | 37k|1000 |5822 | 15k| 0 | 0 |-3.665000e+02 |-4.900000e+01 | 86.63%
31.89/31.94 c 31.9s| 1 | 0 | 56267 | - | 133M| 0 | 714 |1000 | 37k|1000 |5871 | 15k| 0 | 0 |-3.650000e+02 |-4.900000e+01 | 86.58%
32.38/32.41 c 32.4s| 1 | 0 | 57710 | - | 133M| 0 | 737 |1000 | 37k|1000 |6298 | 16k| 0 | 0 |-3.635000e+02 |-4.900000e+01 | 86.52%
33.09/33.16 c 33.2s| 1 | 0 | 60523 | - | 134M| 0 | 728 |1000 | 37k|1000 |6446 | 16k| 0 | 0 |-3.615000e+02 |-4.900000e+01 | 86.45%
33.99/34.07 c 34.1s| 1 | 0 | 63732 | - | 134M| 0 | 743 |1000 | 37k|1000 |6507 | 16k| 0 | 0 |-3.600000e+02 |-4.900000e+01 | 86.39%
34.49/34.55 c 34.5s| 1 | 0 | 64800 | - | 134M| 0 | 723 |1000 | 37k|1000 |6735 | 16k| 0 | 0 |-3.595000e+02 |-4.900000e+01 | 86.37%
35.39/35.40 c 35.4s| 1 | 0 | 67296 | - | 135M| 0 | 711 |1000 | 37k|1000 |6079 | 16k| 0 | 0 |-3.585000e+02 |-4.900000e+01 | 86.33%
35.69/35.79 c 35.8s| 1 | 0 | 68311 | - | 135M| 0 | 718 |1000 | 37k|1000 |6223 | 16k| 0 | 0 |-3.575000e+02 |-4.900000e+01 | 86.29%
36.39/36.40 c 36.4s| 1 | 0 | 69840 | - | 135M| 0 | 717 |1000 | 37k|1000 |6764 | 17k| 0 | 0 |-3.565000e+02 |-4.900000e+01 | 86.26%
37.19/37.26 c 37.3s| 1 | 0 | 72269 | - | 136M| 0 | 755 |1000 | 37k|1000 |6884 | 17k| 0 | 0 |-3.558750e+02 |-4.900000e+01 | 86.23%
38.18/38.26 c 38.3s| 1 | 0 | 75473 | - | 136M| 0 | 737 |1000 | 37k|1000 |7591 | 18k| 0 | 0 |-3.540000e+02 |-4.900000e+01 | 86.16%
39.19/39.29 c 39.3s| 1 | 0 | 78556 | - | 137M| 0 | 711 |1000 | 37k|1000 |7738 | 18k| 0 | 0 |-3.512500e+02 |-4.900000e+01 | 86.05%
39.99/40.00 c 40.0s| 1 | 0 | 80312 | - | 137M| 0 | 715 |1000 | 37k|1000 |7198 | 18k| 0 | 0 |-3.498333e+02 |-4.900000e+01 | 85.99%
40.99/41.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.99/41.04 c 41.0s| 1 | 0 | 83613 | - | 137M| 0 | 737 |1000 | 37k|1000 |7287 | 18k| 0 | 0 |-3.477500e+02 |-4.900000e+01 | 85.91%
41.99/42.07 c 42.1s| 1 | 0 | 87256 | - | 137M| 0 | 725 |1000 | 37k|1000 |7455 | 18k| 0 | 0 |-3.462500e+02 |-4.900000e+01 | 85.85%
42.58/42.67 c 42.7s| 1 | 0 | 89079 | - | 137M| 0 | 684 |1000 | 37k|1000 |7784 | 18k| 0 | 0 |-3.450000e+02 |-4.900000e+01 | 85.80%
43.89/44.00 c 44.0s| 1 | 0 | 92682 | - | 138M| 0 | 754 |1000 | 37k|1000 |7929 | 18k| 0 | 0 |-3.435000e+02 |-4.900000e+01 | 85.74%
45.99/46.08 c 46.1s| 1 | 0 | 99995 | - | 139M| 0 | 676 |1000 | 37k|1000 |8357 | 19k| 0 | 0 |-3.420000e+02 |-4.900000e+01 | 85.67%
46.78/46.82 c 46.8s| 1 | 0 |102009 | - | 139M| 0 | 736 |1000 | 37k|1000 |7594 | 19k| 0 | 0 |-3.410714e+02 |-4.900000e+01 | 85.63%
47.78/47.81 c 47.8s| 1 | 0 |105224 | - | 139M| 0 | 680 |1000 | 37k|1000 |7688 | 19k| 0 | 0 |-3.400000e+02 |-4.900000e+01 | 85.59%
48.08/48.12 c 48.1s| 1 | 0 |105584 | - | 140M| 0 | 702 |1000 | 37k|1000 |7694 | 19k| 0 | 0 |-3.395000e+02 |-4.900000e+01 | 85.57%
48.99/49.00 c 49.0s| 1 | 0 |108115 | - | 140M| 0 | 694 |1000 | 37k|1000 |7741 | 19k| 0 | 0 |-3.387500e+02 |-4.900000e+01 | 85.54%
49.99/50.06 c 50.1s| 1 | 0 |111787 | - | 141M| 0 | 734 |1000 | 37k|1000 |7888 | 19k| 0 | 0 |-3.380000e+02 |-4.900000e+01 | 85.50%
52.58/52.63 c 52.6s| 1 | 0 |120024 | - | 141M| 0 | 743 |1000 | 37k|1000 |7990 | 19k| 0 | 0 |-3.366667e+02 |-4.900000e+01 | 85.45%
54.89/54.91 c 54.9s| 1 | 0 |127141 | - | 141M| 0 | 675 |1000 | 37k|1000 |7235 | 20k| 0 | 0 |-3.357500e+02 |-4.900000e+01 | 85.41%
55.58/55.68 c 55.7s| 1 | 0 |129322 | - | 141M| 0 | 732 |1000 | 37k|1000 |7246 | 20k| 0 | 0 |-3.351111e+02 |-4.900000e+01 | 85.38%
57.29/57.35 c 57.3s| 1 | 0 |133759 | - | 142M| 0 | 765 |1000 | 37k|1000 |7299 | 20k| 0 | 0 |-3.340379e+02 |-4.900000e+01 | 85.33%
58.89/58.96 c 59.0s| 1 | 0 |137910 | - | 142M| 0 | 796 |1000 | 37k|1000 |7498 | 20k| 0 | 0 |-3.319455e+02 |-4.900000e+01 | 85.24%
60.39/60.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.39/60.40 c 60.4s| 1 | 0 |141994 | - | 145M| 0 | 767 |1000 | 37k|1000 |8061 | 20k| 0 | 0 |-3.296875e+02 |-4.900000e+01 | 85.14%
61.59/61.61 c 61.6s| 1 | 0 |145608 | - | 146M| 0 | 724 |1000 | 37k|1000 |8147 | 20k| 0 | 0 |-3.283500e+02 |-4.900000e+01 | 85.08%
63.99/64.02 c 64.0s| 1 | 0 |153120 | - | 146M| 0 | 742 |1000 | 37k|1000 |7389 | 21k| 0 | 0 |-3.261894e+02 |-4.900000e+01 | 84.98%
64.79/64.89 c 64.9s| 1 | 0 |155072 | - | 148M| 0 | 742 |1000 | 37k|1000 |7493 | 21k| 0 | 0 |-3.253961e+02 |-4.900000e+01 | 84.94%
65.89/65.97 c 66.0s| 1 | 0 |157440 | - | 149M| 0 | 782 |1000 | 37k|1000 |7599 | 21k| 0 | 0 |-3.244079e+02 |-4.900000e+01 | 84.90%
67.18/67.25 c 67.2s| 1 | 0 |160186 | - | 150M| 0 | 762 |1000 | 37k|1000 |7684 | 21k| 0 | 0 |-3.232475e+02 |-4.900000e+01 | 84.84%
68.49/68.50 c 68.5s| 1 | 0 |162510 | - | 151M| 0 | 717 |1000 | 37k|1000 |7991 | 21k| 0 | 0 |-3.217500e+02 |-4.900000e+01 | 84.77%
69.99/70.02 c 70.0s| 1 | 0 |166467 | - | 152M| 0 | 761 |1000 | 37k|1000 |8039 | 21k| 0 | 0 |-3.206556e+02 |-4.900000e+01 | 84.72%
70.98/71.09 c 71.1s| 1 | 0 |168610 | - | 155M| 0 | 766 |1000 | 37k|1000 |7844 | 21k| 0 | 0 |-3.191147e+02 |-4.900000e+01 | 84.65%
72.19/72.24 c 72.2s| 1 | 0 |170680 | - | 156M| 0 | 794 |1000 | 37k|1000 |7905 | 21k| 0 | 0 |-3.183518e+02 |-4.900000e+01 | 84.61%
73.69/73.79 c 73.8s| 1 | 0 |173800 | - | 157M| 0 | 773 |1000 | 37k|1000 |8002 | 22k| 0 | 0 |-3.170904e+02 |-4.900000e+01 | 84.55%
74.98/75.03 c 75.0s| 1 | 0 |175534 | - | 157M| 0 | 777 |1000 | 37k|1000 |8039 | 22k| 0 | 0 |-3.167102e+02 |-4.900000e+01 | 84.53%
77.18/77.24 c 77.2s| 1 | 0 |180190 | - | 157M| 0 | 768 |1000 | 37k|1000 |8103 | 22k| 0 | 0 |-3.159636e+02 |-4.900000e+01 | 84.49%
78.78/78.82 c 78.8s| 1 | 0 |182882 | - | 157M| 0 | 787 |1000 | 37k|1000 |8114 | 22k| 0 | 0 |-3.149089e+02 |-4.900000e+01 | 84.44%
80.48/80.51 c 80.5s| 1 | 0 |185623 | - | 157M| 0 | 778 |1000 | 37k|1000 |7520 | 22k| 0 | 0 |-3.136876e+02 |-4.900000e+01 | 84.38%
81.79/81.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.79/81.86 c 81.9s| 1 | 0 |187646 | - | 157M| 0 | 798 |1000 | 37k|1000 |7592 | 22k| 0 | 0 |-3.128424e+02 |-4.900000e+01 | 84.34%
83.68/83.79 c 83.8s| 1 | 0 |190737 | - | 157M| 0 | 784 |1000 | 37k|1000 |7677 | 22k| 0 | 0 |-3.118109e+02 |-4.900000e+01 | 84.29%
85.29/85.38 c 85.4s| 1 | 0 |193519 | - | 157M| 0 | 782 |1000 | 37k|1000 |7778 | 22k| 0 | 0 |-3.106948e+02 |-4.900000e+01 | 84.23%
86.28/86.34 c 86.3s| 1 | 0 |195279 | - | 160M| 0 | 782 |1000 | 37k|1000 |7840 | 22k| 0 | 0 |-3.102333e+02 |-4.900000e+01 | 84.21%
88.29/88.33 c 88.3s| 1 | 0 |199259 | - | 160M| 0 | 772 |1000 | 37k|1000 |7928 | 22k| 0 | 0 |-3.087740e+02 |-4.900000e+01 | 84.13%
89.78/89.87 c 89.9s| 1 | 0 |201913 | - | 160M| 0 | 781 |1000 | 37k|1000 |7562 | 22k| 0 | 0 |-3.078545e+02 |-4.900000e+01 | 84.08%
91.49/91.58 c 91.6s| 1 | 0 |205049 | - | 160M| 0 | 840 |1000 | 37k|1000 |7611 | 22k| 0 | 0 |-3.069591e+02 |-4.900000e+01 | 84.04%
94.39/94.42 c 94.4s| 1 | 0 |206897 | - | 160M| 0 | 780 |1000 | 37k|1000 |8942 | 24k| 0 | 0 |-3.064299e+02 |-4.900000e+01 | 84.01%
96.58/96.61 c 96.6s| 1 | 0 |210164 | - | 160M| 0 | 770 |1000 | 37k|1000 |8959 | 24k| 0 | 0 |-3.057913e+02 |-4.900000e+01 | 83.98%
98.09/98.20 c 98.2s| 1 | 0 |212488 | - | 160M| 0 | 760 |1000 | 37k|1000 |9071 | 24k| 0 | 0 |-3.051145e+02 |-4.900000e+01 | 83.94%
99.48/99.57 c 99.6s| 1 | 0 |214136 | - | 162M| 0 | 775 |1000 | 37k|1000 |9081 | 24k| 0 | 0 |-3.046436e+02 |-4.900000e+01 | 83.92%
101.19/101.21 c 101s| 1 | 0 |216057 | - | 162M| 0 | 779 |1000 | 37k|1000 |8942 | 24k| 0 | 0 |-3.041768e+02 |-4.900000e+01 | 83.89%
102.58/102.65 c 103s| 1 | 0 |217648 | - | 162M| 0 | 793 |1000 | 37k|1000 |8993 | 24k| 0 | 0 |-3.037729e+02 |-4.900000e+01 | 83.87%
105.38/105.48 c 105s| 1 | 0 |221937 | - | 162M| 0 | 795 |1000 | 37k|1000 |9029 | 24k| 0 | 0 |-3.024048e+02 |-4.900000e+01 | 83.80%
107.69/107.72 c 108s| 1 | 0 |225212 | - | 162M| 0 | 792 |1000 | 37k|1000 |9109 | 24k| 0 | 0 |-3.009408e+02 |-4.900000e+01 | 83.72%
109.39/109.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.39/109.40 c 109s| 1 | 0 |226913 | - | 162M| 0 | 812 |1000 | 37k|1000 |9148 | 24k| 0 | 0 |-3.001110e+02 |-4.900000e+01 | 83.67%
111.88/111.90 c 112s| 1 | 0 |230021 | - | 161M| 0 | 820 |1000 | 37k|1000 |9215 | 24k| 0 | 0 |-2.992913e+02 |-4.900000e+01 | 83.63%
114.09/114.12 c 114s| 1 | 0 |232167 | - | 161M| 0 | 826 |1000 | 37k|1000 |8937 | 24k| 0 | 0 |-2.984762e+02 |-4.900000e+01 | 83.58%
117.70/117.77 c 118s| 1 | 0 |237882 | - | 161M| 0 | 821 |1000 | 37k|1000 |9064 | 24k| 0 | 0 |-2.973644e+02 |-4.900000e+01 | 83.52%
120.29/120.30 c 120s| 1 | 0 |240920 | - | 161M| 0 | 838 |1000 | 37k|1000 |9098 | 24k| 0 | 0 |-2.968536e+02 |-4.900000e+01 | 83.49%
124.19/124.27 c 124s| 1 | 0 |246475 | - | 161M| 0 | 831 |1000 | 37k|1000 |9153 | 24k| 0 | 0 |-2.951721e+02 |-4.900000e+01 | 83.40%
126.89/126.99 c 127s| 1 | 0 |249444 | - | 161M| 0 | 838 |1000 | 37k|1000 |9183 | 24k| 0 | 0 |-2.946167e+02 |-4.900000e+01 | 83.37%
129.38/129.40 c 129s| 1 | 0 |251121 | - | 161M| 0 | 840 |1000 | 37k|1000 |9272 | 25k| 0 | 0 |-2.939640e+02 |-4.900000e+01 | 83.33%
133.18/133.22 c 133s| 1 | 0 |256600 | - | 161M| 0 | 839 |1000 | 37k|1000 |9096 | 25k| 0 | 0 |-2.928154e+02 |-4.900000e+01 | 83.27%
135.88/135.90 c 136s| 1 | 0 |259050 | - | 161M| 0 | 842 |1000 | 37k|1000 |9165 | 25k| 0 | 0 |-2.923584e+02 |-4.900000e+01 | 83.24%
138.89/138.91 c 139s| 1 | 0 |262012 | - | 161M| 0 | 838 |1000 | 37k|1000 |9218 | 25k| 0 | 0 |-2.912738e+02 |-4.900000e+01 | 83.18%
142.78/142.82 c 143s| 1 | 0 |266604 | - | 161M| 0 | 850 |1000 | 37k|1000 |9233 | 25k| 0 | 0 |-2.906069e+02 |-4.900000e+01 | 83.14%
146.68/146.76 c 147s| 1 | 0 |270378 | - | 161M| 0 | 856 |1000 | 37k|1000 |9317 | 25k| 0 | 0 |-2.896533e+02 |-4.900000e+01 | 83.08%
150.59/150.63 c 151s| 1 | 0 |274280 | - | 160M| 0 | 860 |1000 | 37k|1000 |9434 | 25k| 0 | 0 |-2.888784e+02 |-4.900000e+01 | 83.04%
154.88/154.91 c 155s| 1 | 0 |278845 | - | 160M| 0 | 871 |1000 | 37k|1000 |9225 | 25k| 0 | 0 |-2.878317e+02 |-4.900000e+01 | 82.98%
159.89/159.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.89/159.92 c 160s| 1 | 0 |283206 | - | 160M| 0 | 871 |1000 | 37k|1000 |9300 | 25k| 0 | 0 |-2.870314e+02 |-4.900000e+01 | 82.93%
163.90/164.00 c 164s| 1 | 0 |286258 | - | 160M| 0 | 870 |1000 | 37k|1000 |9312 | 25k| 0 | 0 |-2.865449e+02 |-4.900000e+01 | 82.90%
167.99/168.01 c 168s| 1 | 0 |289651 | - | 160M| 0 | 869 |1000 | 37k|1000 |9363 | 25k| 0 | 0 |-2.857807e+02 |-4.900000e+01 | 82.85%
171.69/171.77 c 172s| 1 | 0 |292537 | - | 160M| 0 | 862 |1000 | 37k|1000 |9423 | 25k| 0 | 0 |-2.852122e+02 |-4.900000e+01 | 82.82%
175.89/175.97 c 176s| 1 | 0 |296059 | - | 159M| 0 | 872 |1000 | 37k|1000 |9445 | 25k| 0 | 0 |-2.843631e+02 |-4.900000e+01 | 82.77%
180.18/180.28 c 180s| 1 | 0 |298824 | - | 159M| 0 | 866 |1000 | 37k|1000 |9342 | 25k| 0 | 0 |-2.837587e+02 |-4.900000e+01 | 82.73%
184.48/184.51 c 185s| 1 | 0 |301836 | - | 159M| 0 | 869 |1000 | 37k|1000 |9408 | 25k| 0 | 0 |-2.830855e+02 |-4.900000e+01 | 82.69%
189.39/189.45 c 189s| 1 | 0 |305935 | - | 158M| 0 | 866 |1000 | 37k|1000 |9420 | 25k| 0 | 0 |-2.821365e+02 |-4.900000e+01 | 82.63%
193.89/193.97 c 194s| 1 | 0 |309266 | - | 158M| 0 | 873 |1000 | 37k|1000 |9553 | 25k| 0 | 0 |-2.813328e+02 |-4.900000e+01 | 82.58%
198.49/198.60 c 199s| 1 | 0 |312463 | - | 158M| 0 | 881 |1000 | 37k|1000 |9599 | 25k| 0 | 0 |-2.807370e+02 |-4.900000e+01 | 82.55%
204.09/204.14 c 204s| 1 | 0 |317357 | - | 157M| 0 | 878 |1000 | 37k|1000 |9641 | 26k| 0 | 0 |-2.799697e+02 |-4.900000e+01 | 82.50%
209.69/209.77 c 210s| 1 | 0 |322260 | - | 157M| 0 | 883 |1000 | 37k|1000 |9555 | 26k| 0 | 0 |-2.789543e+02 |-4.900000e+01 | 82.43%
215.59/215.66 c 216s| 1 | 0 |327544 | - | 157M| 0 | 868 |1000 | 37k|1000 |9673 | 26k| 0 | 0 |-2.779732e+02 |-4.900000e+01 | 82.37%
219.79/219.84 c 220s| 1 | 0 |330654 | - | 157M| 0 | 880 |1000 | 37k|1000 |9732 | 26k| 0 | 0 |-2.774130e+02 |-4.900000e+01 | 82.34%
226.29/226.30 c 226s| 1 | 0 |337782 | - | 157M| 0 | 890 |1000 | 37k|1000 |9787 | 26k| 0 | 0 |-2.765843e+02 |-4.900000e+01 | 82.28%
231.79/231.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.79/231.89 c 232s| 1 | 0 |342031 | - | 156M| 0 | 884 |1000 | 37k|1000 |9920 | 26k| 0 | 0 |-2.760939e+02 |-4.900000e+01 | 82.25%
236.78/236.85 c 237s| 1 | 0 |345393 | - | 156M| 0 | 890 |1000 | 37k|1000 |9961 | 26k| 0 | 0 |-2.752809e+02 |-4.900000e+01 | 82.20%
241.59/241.65 c 242s| 1 | 0 |348104 | - | 156M| 0 | 887 |1000 | 37k|1000 |9910 | 26k| 0 | 0 |-2.749193e+02 |-4.900000e+01 | 82.18%
246.89/246.95 c 247s| 1 | 0 |351915 | - | 156M| 0 | 892 |1000 | 37k|1000 |9943 | 26k| 0 | 0 |-2.741767e+02 |-4.900000e+01 | 82.13%
252.59/252.62 c 253s| 1 | 0 |355850 | - | 156M| 0 | 895 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.738180e+02 |-4.900000e+01 | 82.10%
258.99/259.09 c 259s| 1 | 0 |361431 | - | 156M| 0 | 895 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.728819e+02 |-4.900000e+01 | 82.04%
264.69/264.74 c 265s| 1 | 0 |365197 | - | 156M| 0 | 898 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.723206e+02 |-4.900000e+01 | 82.01%
270.09/270.15 c 270s| 1 | 0 |368311 | - | 155M| 0 | 902 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.717688e+02 |-4.900000e+01 | 81.97%
275.09/275.12 c 275s| 1 | 0 |370546 | - | 155M| 0 | 903 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.713503e+02 |-4.900000e+01 | 81.94%
280.79/280.83 c 281s| 1 | 0 |374347 | - | 155M| 0 | 899 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.709527e+02 |-4.900000e+01 | 81.92%
287.99/288.07 c 288s| 1 | 0 |381109 | - | 155M| 0 | 910 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.700723e+02 |-4.900000e+01 | 81.86%
293.99/294.03 c 294s| 1 | 0 |384990 | - | 155M| 0 | 911 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.695125e+02 |-4.900000e+01 | 81.82%
300.09/300.19 c 300s| 1 | 0 |388950 | - | 155M| 0 | 916 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.688345e+02 |-4.900000e+01 | 81.77%
305.99/306.06 c 306s| 1 | 0 |392282 | - | 154M| 0 | 917 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.682911e+02 |-4.900000e+01 | 81.74%
311.30/311.35 c 311s| 1 | 0 |394629 | - | 154M| 0 | 911 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.679578e+02 |-4.900000e+01 | 81.71%
316.80/316.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.80/316.82 c 317s| 1 | 0 |397601 | - | 154M| 0 | 918 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.673997e+02 |-4.900000e+01 | 81.68%
322.29/322.37 c 322s| 1 | 0 |400298 | - | 153M| 0 | 924 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.670642e+02 |-4.900000e+01 | 81.65%
327.80/327.81 c 328s| 1 | 0 |402605 | - | 153M| 0 | 927 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.666770e+02 |-4.900000e+01 | 81.63%
333.69/333.79 c 334s| 1 | 0 |405966 | - | 153M| 0 | 930 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.662376e+02 |-4.900000e+01 | 81.60%
339.09/339.19 c 339s| 1 | 0 |408388 | - | 153M| 0 | 930 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.659831e+02 |-4.900000e+01 | 81.58%
345.40/345.47 c 345s| 1 | 0 |412025 | - | 152M| 0 | 936 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.655959e+02 |-4.900000e+01 | 81.55%
351.39/351.48 c 351s| 1 | 0 |415325 | - | 152M| 0 | 928 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.651523e+02 |-4.900000e+01 | 81.52%
357.19/357.24 c 357s| 1 | 0 |418225 | - | 152M| 0 | 911 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.647239e+02 |-4.900000e+01 | 81.49%
362.69/362.75 c 363s| 1 | 0 |420829 | - | 152M| 0 | 911 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.642974e+02 |-4.900000e+01 | 81.46%
369.39/369.40 c 369s| 1 | 0 |425716 | - | 151M| 0 | 921 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.636010e+02 |-4.900000e+01 | 81.41%
375.39/375.43 c 375s| 1 | 0 |429061 | - | 151M| 0 | 925 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.631205e+02 |-4.900000e+01 | 81.38%
380.69/380.74 c 381s| 1 | 0 |430805 | - | 151M| 0 | 929 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.628946e+02 |-4.900000e+01 | 81.36%
386.10/386.18 c 386s| 1 | 0 |433005 | - | 150M| 0 | 923 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.624526e+02 |-4.900000e+01 | 81.33%
392.70/392.79 c 393s| 1 | 0 |437570 | - | 150M| 0 | 923 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.620362e+02 |-4.900000e+01 | 81.30%
398.59/398.68 c 399s| 1 | 0 |440497 | - | 150M| 0 | 918 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.615500e+02 |-4.900000e+01 | 81.27%
403.70/403.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.70/403.71 c 404s| 1 | 0 |441781 | - | 150M| 0 | 923 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.613420e+02 |-4.900000e+01 | 81.25%
409.70/409.76 c 410s| 1 | 0 |445093 | - | 149M| 0 | 927 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.609559e+02 |-4.900000e+01 | 81.22%
414.79/414.84 c 415s| 1 | 0 |446418 | - | 149M| 0 | 926 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.608195e+02 |-4.900000e+01 | 81.21%
420.70/420.79 c 421s| 1 | 0 |449445 | - | 148M| 0 | 923 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.605095e+02 |-4.900000e+01 | 81.19%
426.80/426.82 c 427s| 1 | 0 |452113 | - | 148M| 0 | 928 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.601629e+02 |-4.900000e+01 | 81.17%
432.30/432.34 c 432s| 1 | 0 |454066 | - | 147M| 0 | 928 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.599149e+02 |-4.900000e+01 | 81.15%
437.80/437.83 c 438s| 1 | 0 |456159 | - | 147M| 0 | 930 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.596667e+02 |-4.900000e+01 | 81.13%
443.60/443.66 c 444s| 1 | 0 |458783 | - | 147M| 0 | 935 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.593943e+02 |-4.900000e+01 | 81.11%
449.60/449.63 c 450s| 1 | 0 |461502 | - | 147M| 0 | 930 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.589938e+02 |-4.900000e+01 | 81.08%
454.99/455.07 c 455s| 1 | 0 |463382 | - | 147M| 0 | 932 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.587753e+02 |-4.900000e+01 | 81.06%
460.60/460.67 c 461s| 1 | 0 |465598 | - | 146M| 0 | 937 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.583978e+02 |-4.900000e+01 | 81.04%
466.20/466.26 c 466s| 1 | 0 |467591 | - | 145M| 0 | 940 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.581377e+02 |-4.900000e+01 | 81.02%
472.69/472.74 c 473s| 1 | 0 |471400 | - | 143M| 0 | 942 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.577840e+02 |-4.900000e+01 | 80.99%
478.30/478.40 c 478s| 1 | 0 |473298 | - | 142M| 0 | 941 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.575610e+02 |-4.900000e+01 | 80.98%
483.80/483.90 c 484s| 1 | 0 |474984 | - | 141M| 0 | 944 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.573894e+02 |-4.900000e+01 | 80.96%
490.30/490.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.30/490.39 c 490s| 1 | 0 |478388 | - | 140M| 0 | 946 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.571042e+02 |-4.900000e+01 | 80.94%
496.01/496.02 c 496s| 1 | 0 |480254 | - | 139M| 0 | 953 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.568829e+02 |-4.900000e+01 | 80.93%
501.20/501.20 c 501s| 1 | 0 |481222 | - | 137M| 0 | 950 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.567638e+02 |-4.900000e+01 | 80.92%
506.90/506.91 c 507s| 1 | 0 |483231 | - | 137M| 0 | 953 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.565812e+02 |-4.900000e+01 | 80.90%
512.19/512.21 c 512s| 1 | 0 |484289 | - | 136M| 0 | 955 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.564627e+02 |-4.900000e+01 | 80.89%
517.70/517.76 c 518s| 1 | 0 |485696 | - | 133M| 0 | 958 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.563124e+02 |-4.900000e+01 | 80.88%
523.51/523.55 c 524s| 1 | 0 |487570 | - | 132M| 0 | 960 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.560679e+02 |-4.900000e+01 | 80.86%
528.80/528.81 c 529s| 1 | 0 |488558 | - | 132M| 0 | 957 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.558982e+02 |-4.900000e+01 | 80.85%
534.30/534.39 c 534s| 1 | 0 |490332 | - | 131M| 0 | 963 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.556939e+02 |-4.900000e+01 | 80.84%
540.20/540.29 c 540s| 1 | 0 |492346 | - | 131M| 0 | 962 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.554512e+02 |-4.900000e+01 | 80.82%
546.00/546.02 c 546s| 1 | 0 |493814 | - | 131M| 0 | 966 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.552835e+02 |-4.900000e+01 | 80.81%
552.90/552.91 c 553s| 1 | 0 |497492 | - | 131M| 0 | 967 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.550399e+02 |-4.900000e+01 | 80.79%
558.60/558.61 c 559s| 1 | 0 |499277 | - | 131M| 0 | 963 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.547841e+02 |-4.900000e+01 | 80.77%
564.10/564.18 c 564s| 1 | 0 |500588 | - | 131M| 0 | 970 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.547429e+02 |-4.900000e+01 | 80.76%
569.51/569.57 c 570s| 1 | 0 |501646 | - | 131M| 0 | 963 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.546484e+02 |-4.900000e+01 | 80.76%
575.41/575.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.41/575.40 c 575s| 1 | 0 |503417 | - | 128M| 0 | 979 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.544117e+02 |-4.900000e+01 | 80.74%
580.70/580.73 c 581s| 1 | 0 |504238 | - | 128M| 0 | 974 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.542584e+02 |-4.900000e+01 | 80.73%
586.80/586.82 c 587s| 1 | 0 |506119 | - | 128M| 0 | 970 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.540315e+02 |-4.900000e+01 | 80.71%
592.30/592.31 c 592s| 1 | 0 |507478 | - | 128M| 0 | 976 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.538601e+02 |-4.900000e+01 | 80.70%
597.40/597.49 c 597s| 1 | 0 |508198 | - | 128M| 0 | 979 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.537544e+02 |-4.900000e+01 | 80.69%
603.31/603.35 c 603s| 1 | 0 |509783 | - | 128M| 0 | 973 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.535153e+02 |-4.900000e+01 | 80.67%
609.01/609.02 c 609s| 1 | 0 |510771 | - | 127M| 0 | 966 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.533554e+02 |-4.900000e+01 | 80.66%
614.50/614.53 c 615s| 1 | 0 |511802 | - | 126M| 0 | 967 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.532164e+02 |-4.900000e+01 | 80.65%
619.90/619.94 c 620s| 1 | 0 |512787 | - | 126M| 0 | 970 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.530436e+02 |-4.900000e+01 | 80.64%
625.50/625.58 c 626s| 1 | 0 |514102 | - | 126M| 0 | 970 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.528188e+02 |-4.900000e+01 | 80.62%
631.41/631.45 c 631s| 1 | 0 |515604 | - | 126M| 0 | 973 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.525582e+02 |-4.900000e+01 | 80.60%
637.40/637.44 c 637s| 1 | 0 |517158 | - | 126M| 0 | 968 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.522533e+02 |-4.900000e+01 | 80.58%
643.11/643.13 c 643s| 1 | 0 |518271 | - | 126M| 0 | 976 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.520893e+02 |-4.900000e+01 | 80.56%
648.80/648.80 c 649s| 1 | 0 |519611 | - | 126M| 0 | 978 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.518732e+02 |-4.900000e+01 | 80.55%
654.71/654.75 c 655s| 1 | 0 |521250 | - | 126M| 0 | 980 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.515920e+02 |-4.900000e+01 | 80.52%
660.31/660.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.31/660.31 c 660s| 1 | 0 |522383 | - | 126M| 0 | 975 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.514383e+02 |-4.900000e+01 | 80.51%
665.71/665.73 c 666s| 1 | 0 |523330 | - | 126M| 0 | 978 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.513251e+02 |-4.900000e+01 | 80.50%
671.21/671.22 c 671s| 1 | 0 |524452 | - | 126M| 0 | 982 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.511976e+02 |-4.900000e+01 | 80.49%
676.70/676.77 c 677s| 1 | 0 |525347 | - | 126M| 0 | 985 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.510659e+02 |-4.900000e+01 | 80.48%
682.90/682.99 c 683s| 1 | 0 |526953 | - | 126M| 0 | 985 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.508737e+02 |-4.900000e+01 | 80.47%
688.61/688.64 c 689s| 1 | 0 |527689 | - | 126M| 0 | 989 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.507618e+02 |-4.900000e+01 | 80.46%
694.30/694.32 c 694s| 1 | 0 |528774 | - | 126M| 0 | 989 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.506340e+02 |-4.900000e+01 | 80.45%
700.50/700.55 c 701s| 1 | 0 |530534 | - | 126M| 0 | 982 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.503170e+02 |-4.900000e+01 | 80.42%
706.81/706.83 c 707s| 1 | 0 |532405 | - | 126M| 0 | 988 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.501190e+02 |-4.900000e+01 | 80.41%
712.21/712.27 c 712s| 1 | 0 |533187 | - | 126M| 0 | 988 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.500061e+02 |-4.900000e+01 | 80.40%
717.91/717.98 c 718s| 1 | 0 |534258 | - | 126M| 0 | 987 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.498580e+02 |-4.900000e+01 | 80.39%
723.31/723.38 c 723s| 1 | 0 |534764 | - | 126M| 0 | 984 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.497778e+02 |-4.900000e+01 | 80.38%
729.00/729.04 c 729s| 1 | 0 |535811 | - | 126M| 0 | 987 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.496246e+02 |-4.900000e+01 | 80.37%
734.82/734.89 c 735s| 1 | 0 |536885 | - | 126M| 0 | 986 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.494450e+02 |-4.900000e+01 | 80.36%
740.81/740.86 c 741s| 1 | 0 |538087 | - | 126M| 0 | 986 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.493011e+02 |-4.900000e+01 | 80.35%
746.21/746.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
746.21/746.22 c 746s| 1 | 0 |538583 | - | 126M| 0 | 988 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.492426e+02 |-4.900000e+01 | 80.34%
752.11/752.12 c 752s| 1 | 0 |539600 | - | 126M| 0 | 990 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.490952e+02 |-4.900000e+01 | 80.33%
757.92/757.99 c 758s| 1 | 0 |540798 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.488969e+02 |-4.900000e+01 | 80.31%
763.42/763.48 c 763s| 1 | 0 |541428 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.487886e+02 |-4.900000e+01 | 80.30%
769.31/769.37 c 769s| 1 | 0 |542457 | - | 126M| 0 | 990 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.486516e+02 |-4.900000e+01 | 80.29%
775.31/775.36 c 775s| 1 | 0 |543948 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.483965e+02 |-4.900000e+01 | 80.27%
781.11/781.17 c 781s| 1 | 0 |544930 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.482859e+02 |-4.900000e+01 | 80.26%
787.31/787.32 c 787s| 1 | 0 |546362 | - | 126M| 0 | 995 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.481171e+02 |-4.900000e+01 | 80.25%
793.12/793.19 c 793s| 1 | 0 |547364 | - | 126M| 0 | 991 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.480353e+02 |-4.900000e+01 | 80.24%
798.80/798.81 c 799s| 1 | 0 |548188 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.479609e+02 |-4.900000e+01 | 80.24%
804.61/804.66 c 805s| 1 | 0 |549093 | - | 126M| 0 | 991 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.478265e+02 |-4.900000e+01 | 80.23%
810.31/810.33 c 810s| 1 | 0 |549935 | - | 126M| 0 | 995 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.477286e+02 |-4.900000e+01 | 80.22%
816.51/816.50 c 817s| 1 | 0 |551464 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.475497e+02 |-4.900000e+01 | 80.21%
822.82/822.88 c 823s| 1 | 0 |553050 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.473551e+02 |-4.900000e+01 | 80.19%
828.51/828.51 c 829s| 1 | 0 |553672 | - | 125M| 0 | 992 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.472963e+02 |-4.900000e+01 | 80.19%
834.51/834.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.51/834.56 c 835s| 1 | 0 |554742 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.471312e+02 |-4.900000e+01 | 80.17%
840.52/840.55 c 841s| 1 | 0 |556048 | - | 126M| 0 | 991 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.469445e+02 |-4.900000e+01 | 80.16%
846.51/846.57 c 847s| 1 | 0 |557109 | - | 126M| 0 | 995 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.468161e+02 |-4.900000e+01 | 80.15%
852.61/852.64 c 853s| 1 | 0 |558017 | - | 126M| 0 | 993 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.467202e+02 |-4.900000e+01 | 80.14%
858.71/858.71 c 859s| 1 | 0 |558983 | - | 125M| 0 | 993 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.466002e+02 |-4.900000e+01 | 80.13%
864.42/864.47 c 864s| 1 | 0 |559818 | - | 125M| 0 | 993 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.465136e+02 |-4.900000e+01 | 80.12%
870.12/870.15 c 870s| 1 | 0 |560704 | - | 125M| 0 | 995 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.463984e+02 |-4.900000e+01 | 80.11%
875.91/875.96 c 876s| 1 | 0 |561426 | - | 125M| 0 | 997 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.463144e+02 |-4.900000e+01 | 80.11%
881.71/881.77 c 882s| 1 | 0 |562256 | - | 125M| 0 | 994 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.462064e+02 |-4.900000e+01 | 80.10%
887.42/887.42 c 887s| 1 | 0 |562876 | - | 125M| 0 | 996 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.461490e+02 |-4.900000e+01 | 80.09%
893.22/893.25 c 893s| 1 | 0 |563695 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.460928e+02 |-4.900000e+01 | 80.09%
899.11/899.19 c 899s| 1 | 0 |564448 | - | 125M| 0 | 997 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.460140e+02 |-4.900000e+01 | 80.08%
904.81/904.82 c 905s| 1 | 0 |565061 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.459771e+02 |-4.900000e+01 | 80.08%
910.32/910.37 c 910s| 1 | 0 |565665 | - | 125M| 0 | 997 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.459165e+02 |-4.900000e+01 | 80.07%
917.01/917.06 c 917s| 1 | 0 |567399 | - | 125M| 0 | 995 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.457800e+02 |-4.900000e+01 | 80.06%
923.31/923.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.31/923.39 c 923s| 1 | 0 |568538 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.456127e+02 |-4.900000e+01 | 80.05%
929.22/929.26 c 929s| 1 | 0 |569299 | - | 125M| 0 | 997 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.455300e+02 |-4.900000e+01 | 80.04%
935.12/935.12 c 935s| 1 | 0 |570177 | - | 125M| 0 | 997 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.454055e+02 |-4.900000e+01 | 80.03%
940.81/940.83 c 941s| 1 | 0 |570871 | - | 125M| 0 | 997 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.453207e+02 |-4.900000e+01 | 80.03%
946.81/946.84 c 947s| 1 | 0 |572095 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.451892e+02 |-4.900000e+01 | 80.02%
952.91/952.92 c 953s| 1 | 0 |573056 | - | 125M| 0 | 997 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.450458e+02 |-4.900000e+01 | 80.00%
959.02/959.03 c 959s| 1 | 0 |574114 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.449310e+02 |-4.900000e+01 | 79.99%
965.12/965.11 c 965s| 1 | 0 |575126 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.448458e+02 |-4.900000e+01 | 79.99%
971.52/971.50 c 971s| 1 | 0 |576374 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.447332e+02 |-4.900000e+01 | 79.98%
977.01/977.00 c 977s| 1 | 0 |576731 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.447085e+02 |-4.900000e+01 | 79.98%
982.71/982.71 c 983s| 1 | 0 |577376 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.446105e+02 |-4.900000e+01 | 79.97%
989.01/989.05 c 989s| 1 | 0 |578671 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.444509e+02 |-4.900000e+01 | 79.96%
994.71/994.79 c 995s| 1 | 0 |579406 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.444025e+02 |-4.900000e+01 | 79.95%
1000.31/1000.39 c 1000s| 1 | 0 |579907 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.443620e+02 |-4.900000e+01 | 79.95%
1006.62/1006.61 c 1007s| 1 | 0 |580964 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.442850e+02 |-4.900000e+01 | 79.94%
1012.51/1012.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.51/1012.57 c 1013s| 1 | 0 |581928 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.441876e+02 |-4.900000e+01 | 79.93%
1018.71/1018.72 c 1019s| 1 | 0 |583088 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.440708e+02 |-4.900000e+01 | 79.92%
1024.82/1024.86 c 1025s| 1 | 0 |584247 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.439230e+02 |-4.900000e+01 | 79.91%
1030.62/1030.66 c 1031s| 1 | 0 |584937 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.438495e+02 |-4.900000e+01 | 79.91%
1036.42/1036.40 c 1036s| 1 | 0 |585499 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.438017e+02 |-4.900000e+01 | 79.90%
1042.62/1042.65 c 1043s| 1 | 0 |586394 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.437284e+02 |-4.900000e+01 | 79.90%
1048.42/1048.40 c 1048s| 1 | 0 |587148 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.436297e+02 |-4.900000e+01 | 79.89%
1054.12/1054.11 c 1054s| 1 | 0 |587628 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.436003e+02 |-4.900000e+01 | 79.89%
1059.82/1059.84 c 1060s| 1 | 0 |588230 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.435442e+02 |-4.900000e+01 | 79.88%
1065.52/1065.58 c 1066s| 1 | 0 |588712 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.435007e+02 |-4.900000e+01 | 79.88%
1071.72/1071.72 c 1072s| 1 | 0 |589535 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.434338e+02 |-4.900000e+01 | 79.87%
1077.82/1077.82 c 1078s| 1 | 0 |590315 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.433636e+02 |-4.900000e+01 | 79.87%
1083.52/1083.52 c 1084s| 1 | 0 |590687 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.433295e+02 |-4.900000e+01 | 79.86%
1089.62/1089.60 c 1090s| 1 | 0 |591584 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.432373e+02 |-4.900000e+01 | 79.86%
1095.82/1095.88 c 1096s| 1 | 0 |592591 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.431732e+02 |-4.900000e+01 | 79.85%
1102.73/1102.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.73/1102.71 c 1103s| 1 | 0 |594353 | - | 125M| 0 | 998 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.430526e+02 |-4.900000e+01 | 79.84%
1109.12/1109.17 c 1109s| 1 | 0 |595528 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.429916e+02 |-4.900000e+01 | 79.83%
1115.33/1115.33 c 1115s| 1 | 0 |596399 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.429276e+02 |-4.900000e+01 | 79.83%
1121.52/1121.53 c 1122s| 1 | 0 |597662 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.428304e+02 |-4.900000e+01 | 79.82%
1127.32/1127.31 c 1127s| 1 | 0 |598459 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.427634e+02 |-4.900000e+01 | 79.82%
1133.03/1133.06 c 1133s| 1 | 0 |599188 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.427258e+02 |-4.900000e+01 | 79.81%
1139.12/1139.17 c 1139s| 1 | 0 |600334 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.426769e+02 |-4.900000e+01 | 79.81%
1145.22/1145.22 c 1145s| 1 | 0 |601358 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.426056e+02 |-4.900000e+01 | 79.80%
1151.42/1151.42 c 1151s| 1 | 0 |602261 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.425527e+02 |-4.900000e+01 | 79.80%
1157.13/1157.20 c 1157s| 1 | 0 |602964 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.424968e+02 |-4.900000e+01 | 79.79%
1163.03/1163.02 c 1163s| 1 | 0 |603668 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.424289e+02 |-4.900000e+01 | 79.79%
1168.42/1168.44 c 1168s| 1 | 0 |603999 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.424172e+02 |-4.900000e+01 | 79.79%
1174.22/1174.22 c 1174s| 1 | 0 |604739 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.423753e+02 |-4.900000e+01 | 79.78%
1180.23/1180.25 c 1180s| 1 | 0 |605650 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.423447e+02 |-4.900000e+01 | 79.78%
1186.12/1186.19 c 1186s| 1 | 0 |606303 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.423269e+02 |-4.900000e+01 | 79.78%
1192.22/1192.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.22/1192.22 c 1192s| 1 | 0 |607278 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.422845e+02 |-4.900000e+01 | 79.78%
1197.93/1197.98 c 1198s| 1 | 0 |607981 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.422544e+02 |-4.900000e+01 | 79.77%
1203.62/1203.65 c 1204s| 1 | 0 |608624 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.422234e+02 |-4.900000e+01 | 79.77%
1209.42/1209.43 c 1209s| 1 | 0 |609337 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.421821e+02 |-4.900000e+01 | 79.77%
1215.33/1215.30 c 1215s| 1 | 0 |609986 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.421603e+02 |-4.900000e+01 | 79.77%
1221.53/1221.59 c 1222s| 1 | 0 |611062 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.421108e+02 |-4.900000e+01 | 79.76%
1227.63/1227.67 c 1228s| 1 | 0 |612080 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.420726e+02 |-4.900000e+01 | 79.76%
1233.52/1233.56 c 1234s| 1 | 0 |612948 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.420163e+02 |-4.900000e+01 | 79.75%
1239.42/1239.49 c 1239s| 1 | 0 |613803 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.419724e+02 |-4.900000e+01 | 79.75%
1245.62/1245.64 c 1246s| 1 | 0 |614951 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.419157e+02 |-4.900000e+01 | 79.75%
1251.83/1251.84 c 1252s| 1 | 0 |616363 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.418523e+02 |-4.900000e+01 | 79.74%
1258.02/1258.07 c 1258s| 1 | 0 |617621 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.417997e+02 |-4.900000e+01 | 79.74%
1264.03/1264.05 c 1264s| 1 | 0 |618554 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.417749e+02 |-4.900000e+01 | 79.73%
1269.62/1269.61 c 1270s| 1 | 0 |619036 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.417538e+02 |-4.900000e+01 | 79.73%
1275.73/1275.78 c 1276s| 1 | 0 |620106 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.416936e+02 |-4.900000e+01 | 79.73%
1281.43/1281.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.43/1281.49 c 1281s| 1 | 0 |620858 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.416625e+02 |-4.900000e+01 | 79.72%
1287.13/1287.20 c 1287s| 1 | 0 |621571 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.416333e+02 |-4.900000e+01 | 79.72%
1293.53/1293.57 c 1294s| 1 | 0 |623314 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.416015e+02 |-4.900000e+01 | 79.72%
1299.33/1299.37 c 1299s| 1 | 0 |624204 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.415710e+02 |-4.900000e+01 | 79.72%
1305.23/1305.20 c 1305s| 1 | 0 |625053 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.415427e+02 |-4.900000e+01 | 79.71%
1310.93/1310.96 c 1311s| 1 | 0 |625770 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.415244e+02 |-4.900000e+01 | 79.71%
1317.63/1317.65 c 1318s| 1 | 0 |627727 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.414691e+02 |-4.900000e+01 | 79.71%
1323.62/1323.61 c 1324s| 1 | 0 |628725 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.414342e+02 |-4.900000e+01 | 79.70%
1329.33/1329.31 c 1329s| 1 | 0 |629244 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.414118e+02 |-4.900000e+01 | 79.70%
1335.03/1335.04 c 1335s| 1 | 0 |629898 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.413875e+02 |-4.900000e+01 | 79.70%
1340.94/1340.90 c 1341s| 1 | 0 |630566 | - | 125M| 0 | 999 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.413611e+02 |-4.900000e+01 | 79.70%
1346.53/1346.56 c 1347s| 1 | 0 |631212 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.413433e+02 |-4.900000e+01 | 79.70%
1352.13/1352.16 c 1352s| 1 | 0 |631964 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.413247e+02 |-4.900000e+01 | 79.70%
1358.13/1358.12 c 1358s| 1 | 0 |632883 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.412974e+02 |-4.900000e+01 | 79.69%
1363.63/1363.67 c 1364s| 1 | 0 |633555 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.412802e+02 |-4.900000e+01 | 79.69%
1369.44/1369.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.44/1369.44 c 1369s| 1 | 0 |634754 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.412456e+02 |-4.900000e+01 | 79.69%
1375.13/1375.14 c 1375s| 1 | 0 |635669 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.412236e+02 |-4.900000e+01 | 79.69%
1380.63/1380.66 c 1381s| 1 | 0 |636321 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.412066e+02 |-4.900000e+01 | 79.69%
1386.23/1386.24 c 1386s| 1 | 0 |637126 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.411842e+02 |-4.900000e+01 | 79.68%
1392.03/1392.05 c 1392s| 1 | 0 |638028 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.411591e+02 |-4.900000e+01 | 79.68%
1398.34/1398.31 c 1398s| 1 | 0 |639733 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.411366e+02 |-4.900000e+01 | 79.68%
1403.73/1403.73 c 1404s| 1 | 0 |640355 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.411231e+02 |-4.900000e+01 | 79.68%
1409.33/1409.36 c 1409s| 1 | 0 |641066 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.411064e+02 |-4.900000e+01 | 79.68%
1414.73/1414.70 c 1415s| 1 | 0 |641301 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.411000e+02 |-4.900000e+01 | 79.68%
1420.33/1420.38 c 1420s| 1 | 0 |642206 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.410759e+02 |-4.900000e+01 | 79.67%
1425.84/1425.86 c 1426s| 1 | 0 |642814 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.410605e+02 |-4.900000e+01 | 79.67%
1431.24/1431.20 c 1431s| 1 | 0 |643408 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.410456e+02 |-4.900000e+01 | 79.67%
1436.64/1436.69 c 1437s| 1 | 0 |644271 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.410326e+02 |-4.900000e+01 | 79.67%
1442.13/1442.11 c 1442s| 1 | 0 |644851 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.410202e+02 |-4.900000e+01 | 79.67%
1447.74/1447.78 c 1448s| 1 | 0 |645953 | - | 125M| 0 |1000 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.410079e+02 |-4.900000e+01 | 79.67%
1453.04/1453.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.04/1453.07 c 1453s| 1 | 0 |646240 | - | 125M| 0 | 966 |1000 | 37k|1000 | 11k| 30k| 0 | 0 |-2.410000e+02 |-4.900000e+01 | 79.67%
1472.53/1472.56 c 1473s| 1 | 2 |646240 | - | 125M| 0 | 966 |1000 | 37k|1000 | 11k| 30k| 0 | 21 |-2.410000e+02 |-4.900000e+01 | 79.67%
1797.04/1797.01 c
1797.04/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.01 c Solving Time (sec) : 1797.01
1797.04/1797.01 c Solving Nodes : 102
1797.04/1797.01 c Primal Bound : -4.90000000000000e+01 (81 solutions)
1797.04/1797.01 c Dual Bound : -2.40800763576295e+02
1797.04/1797.01 c Gap : 79.65 %
1797.04/1797.06 s SATISFIABLE
1797.04/1797.06 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.04/1797.06 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.04/1797.06 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1797.04/1797.06 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1797.04/1797.06 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1797.04/1797.06 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875
1797.04/1797.06 v -x874 x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1797.04/1797.06 v -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1797.04/1797.06 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812
1797.04/1797.06 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1797.04/1797.06 v x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1797.04/1797.06 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1797.04/1797.06 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1797.04/1797.06 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1797.04/1797.06 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1797.04/1797.06 v -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1797.04/1797.06 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1797.04/1797.06 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1797.04/1797.06 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1797.04/1797.06 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1797.04/1797.06 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
1797.04/1797.06 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1797.04/1797.06 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1797.04/1797.06 v -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1797.04/1797.06 v x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1797.04/1797.06 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456
1797.04/1797.06 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1797.04/1797.06 v -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
1797.04/1797.06 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393
1797.04/1797.06 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1797.04/1797.06 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1797.04/1797.06 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1797.04/1797.06 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310
1797.04/1797.06 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1797.04/1797.06 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268
1797.04/1797.06 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1797.04/1797.06 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 x231 -x230 -x229 -x228 -x227 -x226
1797.04/1797.06 v -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.04/1797.06 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.04/1797.06 v -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.04/1797.06 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1797.04/1797.06 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1797.04/1797.06 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1797.04/1797.06 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74
1797.04/1797.06 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49
1797.04/1797.06 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 x29 -x28 -x27 x26 x25 -x24 -x23
1797.04/1797.06 v -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 x14 x13 -x12 x11 -x10 -x9 x8 x7 x6 x5 -x4 x3 x2 -x1
1797.04/1797.06 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.06 c Total Time : 1797.01
1797.04/1797.06 c solving : 1797.01
1797.04/1797.06 c presolving : 0.95 (included in solving)
1797.04/1797.06 c reading : 0.18 (included in solving)
1797.04/1797.06 c Original Problem :
1797.04/1797.06 c Problem name : HOME/instance-3488618-1307784833.opb
1797.04/1797.06 c Variables : 38644 (38644 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.06 c Constraints : 39644 initial, 39644 maximal
1797.04/1797.06 c Presolved Problem :
1797.04/1797.06 c Problem name : t_HOME/instance-3488618-1307784833.opb
1797.04/1797.06 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.06 c Constraints : 37644 initial, 37644 maximal
1797.04/1797.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.06 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c probing : 0.31 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c setppc : 0.04 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c and : 0.36 0 0 0 0 0 0 0 0 0
1797.04/1797.06 c linear : 0.10 37644 0 0 37644 0 1000 0 0 0
1797.04/1797.06 c pseudoboolean : 0.03 0 0 0 0 0 1000 0 0 0
1797.04/1797.06 c root node : - 0 - - 0 - - - - -
1797.04/1797.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.06 c integral : 0 0 0 101 0 2269 0 0 0 0 0 202
1797.04/1797.06 c setppc : 37644 358 2451 0 1 2265 0 0 4528 36810 0 0
1797.04/1797.06 c countsols : 0 0 0 0 1 83 0 0 0 0 0 0
1797.04/1797.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.06 c integral : 164.65 0.00 0.00 164.65 0.00 0.01 0.00
1797.04/1797.06 c setppc : 5.69 3.94 1.12 0.00 0.01 0.63 0.00
1797.04/1797.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.06 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.06 c vbounds : 0 0 0 0
1797.04/1797.06 c rootredcost : 0 0 0 0
1797.04/1797.06 c pseudoobj : 2712 0 0 0
1797.04/1797.06 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.06 c vbounds : 0.00 0.00 0.00
1797.04/1797.06 c rootredcost : 0.00 0.00 0.00
1797.04/1797.06 c pseudoobj : 0.05 0.05 0.00
1797.04/1797.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.06 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.06 c applied globally : - - - 0 0.0 - - -
1797.04/1797.06 c applied locally : - - - 0 0.0 - - -
1797.04/1797.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.06 c cut pool : 0.95 357 - - 6965 - (maximal pool size: 20813)
1797.04/1797.06 c redcost : 0.01 458 0 0 0 0
1797.04/1797.06 c impliedbounds : 0.47 356 0 0 36267 0
1797.04/1797.06 c intobj : 0.00 0 0 0 0 0
1797.04/1797.06 c gomory : 1083.89 355 0 0 78369 0
1797.04/1797.06 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.06 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.06 c strongcg : 1.66 20 0 0 10000 0
1797.04/1797.06 c cmir : 1.40 10 0 0 0 0
1797.04/1797.06 c flowcover : 1.25 10 0 0 0 0
1797.04/1797.06 c clique : 16.15 354 0 0 3300 0
1797.04/1797.06 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.06 c mcf : 0.02 1 0 0 0 0
1797.04/1797.06 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.06 c rapidlearning : 0.00 0 0 0 0 0
1797.04/1797.06 c Pricers : Time Calls Vars
1797.04/1797.06 c problem variables: 0.00 0 0
1797.04/1797.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.06 c relpscost : 164.65 101 0 0 0 0 202
1797.04/1797.06 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.06 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.06 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.06 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.06 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.06 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.06 c random : 0.00 0 0 0 0 0 0
1797.04/1797.06 c Primal Heuristics : Time Calls Found
1797.04/1797.06 c LP solutions : 0.00 - 0
1797.04/1797.06 c pseudo solutions : 0.00 - 0
1797.04/1797.06 c crossover : 0.00 0 0
1797.04/1797.06 c oneopt : 0.01 2 1
1797.04/1797.06 c veclendiving : 6.34 4 0
1797.04/1797.06 c guideddiving : 8.51 4 0
1797.04/1797.06 c fracdiving : 10.50 5 0
1797.04/1797.06 c trivial : 0.05 2 1
1797.04/1797.06 c shiftandpropagate: 0.00 0 0
1797.04/1797.06 c simplerounding : 1.34 458 68
1797.04/1797.06 c zirounding : 0.06 101 0
1797.04/1797.06 c rounding : 11.41 458 1
1797.04/1797.06 c shifting : 9.77 365 1
1797.04/1797.06 c intshifting : 0.00 0 0
1797.04/1797.06 c twoopt : 0.00 0 0
1797.04/1797.06 c fixandinfer : 0.00 0 0
1797.04/1797.06 c feaspump : 0.00 0 0
1797.04/1797.06 c clique : 0.00 0 0
1797.04/1797.06 c coefdiving : 12.25 5 0
1797.04/1797.06 c pscostdiving : 13.46 5 2
1797.04/1797.06 c intdiving : 0.00 0 0
1797.04/1797.06 c actconsdiving : 0.00 0 0
1797.04/1797.06 c objpscostdiving : 40.60 1 7
1797.04/1797.06 c rootsoldiving : 4.64 1 0
1797.04/1797.06 c linesearchdiving : 12.92 5 0
1797.04/1797.06 c octane : 0.00 0 0
1797.04/1797.06 c rens : 0.07 0 0
1797.04/1797.06 c rins : 0.00 0 0
1797.04/1797.06 c localbranching : 0.00 0 0
1797.04/1797.06 c mutation : 0.00 0 0
1797.04/1797.06 c dins : 0.00 0 0
1797.04/1797.06 c vbounds : 0.00 0 0
1797.04/1797.06 c undercover : 0.02 1 0
1797.04/1797.06 c subnlp : 0.00 0 0
1797.04/1797.06 c trysol : 0.00 0 0
1797.04/1797.06 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.06 c primal LP : 1.04 0 0 0.00 0.00
1797.04/1797.06 c dual LP : 383.86 459 973335 2120.56 2535.67
1797.04/1797.06 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.06 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.06 c diving/probing LP: 107.39 1981 817577 412.71 7612.92
1797.04/1797.06 c strong branching : 164.62 860 605413 703.97 3677.67
1797.04/1797.06 c (at root node) : - 21 20002 952.48 -
1797.04/1797.06 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.06 c B&B Tree :
1797.04/1797.06 c number of runs : 1
1797.04/1797.06 c nodes : 102
1797.04/1797.06 c nodes (total) : 102
1797.04/1797.06 c nodes left : 103
1797.04/1797.06 c max depth : 24
1797.04/1797.06 c max depth (total): 24
1797.04/1797.06 c backtracks : 30 (29.4%)
1797.04/1797.06 c delayed cutoffs : 0
1797.04/1797.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.06 c avg switch length: 3.32
1797.04/1797.06 c switching time : 0.11
1797.04/1797.06 c Solution :
1797.04/1797.06 c Solutions found : 81 (4 improvements)
1797.04/1797.06 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.35 seconds, depth 0, found by <trivial>)
1797.04/1797.06 c Primal Bound : -4.90000000000000e+01 (in run 1, after 1 nodes, 2.44 seconds, depth 0, found by <oneopt>)
1797.04/1797.06 c Dual Bound : -2.40800763576295e+02
1797.04/1797.06 c Gap : 79.65 %
1797.04/1797.06 c Root Dual Bound : -2.41000000000000e+02
1797.04/1797.06 c Root Iterations : 646240
1797.24/1797.25 c Time complete: 1797.3.
OK -49
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488618-1307784833/watcher-3488618-1307784833 -o /tmp/evaluation-result-3488618-1307784833/solver-3488618-1307784833 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488618-1307784833.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.97 1.68 3/171 13736 /proc/meminfo: memFree=31443612/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=10944 CPUtime=0 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 1782 0 0 0 0 0 0 0 25 0 1 0 870898947 11206656 1737 33554432000 4194304 9016284 140735936504080 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/13736/statm: 2736 1750 340 1178 0 1554 0 [startup+0.091606 s] /proc/loadavg: 2.00 1.97 1.68 3/171 13736 /proc/meminfo: memFree=31443612/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=41916 CPUtime=0.08 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 9485 0 0 0 7 1 0 0 25 0 1 0 870898947 42921984 9440 33554432000 4194304 9016284 140735936504080 18446744073709551615 4760856 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/13736/statm: 10479 9440 380 1178 0 9297 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 41916 [startup+0.100612 s] /proc/loadavg: 2.00 1.97 1.68 3/171 13736 /proc/meminfo: memFree=31443612/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=45924 CPUtime=0.09 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 10486 0 0 0 8 1 0 0 25 0 1 0 870898947 47026176 10441 33554432000 4194304 9016284 140735936504080 18446744073709551615 4459917 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/13736/statm: 11481 10441 380 1178 0 10299 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 45924 [startup+0.300571 s] /proc/loadavg: 2.00 1.97 1.68 3/171 13736 /proc/meminfo: memFree=31443612/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=116444 CPUtime=0.29 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 28212 0 0 0 27 2 0 0 25 0 1 0 870898947 119238656 28010 33554432000 4194304 9016284 140735936504080 18446744073709551615 4653440 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13736/statm: 29111 28010 437 1178 0 27929 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 116444 [startup+0.700531 s] /proc/loadavg: 2.00 1.97 1.68 3/171 13736 /proc/meminfo: memFree=31443612/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=145348 CPUtime=0.69 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 35264 0 0 0 66 3 0 0 25 0 1 0 870898947 148836352 34308 33554432000 4194304 9016284 140735936504080 18446744073709551615 6623302 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13736/statm: 36337 34308 480 1178 0 35155 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 145348 [startup+1.50034 s] /proc/loadavg: 2.00 1.97 1.68 3/175 13768 /proc/meminfo: memFree=31270840/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=203928 CPUtime=1.48 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 51089 0 0 0 144 4 0 0 18 0 1 0 870898947 208822272 47930 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13736/statm: 50982 47930 717 1178 0 49800 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 203928 [startup+3.10106 s] /proc/loadavg: 2.00 1.97 1.68 3/175 13768 /proc/meminfo: memFree=31218760/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=214980 CPUtime=3.09 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 56770 0 0 0 304 5 0 0 20 0 1 0 870898947 220139520 50813 33554432000 4194304 9016284 140735936504080 18446744073709551615 7180942 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13736/statm: 53745 50813 731 1178 0 52563 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 214980 [startup+6.30043 s] /proc/loadavg: 2.00 1.97 1.68 3/175 13806 /proc/meminfo: memFree=31158396/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=219008 CPUtime=6.29 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 57936 0 0 0 623 6 0 0 25 0 1 0 870898947 224264192 51979 33554432000 4194304 9016284 140735936504080 18446744073709551615 6259821 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13736/statm: 54752 51979 734 1178 0 53570 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 219008 [startup+12.7002 s] /proc/loadavg: 2.00 1.97 1.68 3/175 13806 /proc/meminfo: memFree=30918624/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=233728 CPUtime=12.69 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 61897 0 0 0 1261 8 0 0 25 0 1 0 870898947 239337472 55917 33554432000 4194304 9016284 140735936504080 18446744073709551615 4777280 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13736/statm: 58432 55917 711 1178 0 57250 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 233728 [startup+25.5008 s] /proc/loadavg: 2.00 1.97 1.68 3/175 13807 /proc/meminfo: memFree=30892732/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=233728 CPUtime=25.49 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 62243 0 0 0 2536 13 0 0 25 0 1 0 870898947 239337472 56225 33554432000 4194304 9016284 140735936504080 18446744073709551615 7180772 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 58432 56225 674 1178 0 57250 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 233728 [startup+51.101 s] /proc/loadavg: 2.00 1.97 1.69 3/175 13807 /proc/meminfo: memFree=30867832/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=245732 CPUtime=51.08 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 65590 0 0 0 5085 23 0 0 25 0 1 0 870898947 251629568 59317 33554432000 4194304 9016284 140735936504080 18446744073709551615 7180891 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 61433 59317 878 1178 0 60251 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 245732 [startup+102.306 s] /proc/loadavg: 2.00 1.97 1.71 3/175 13809 /proc/meminfo: memFree=30826728/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=273512 CPUtime=102.29 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 72820 0 0 0 10188 41 0 0 25 0 1 0 870898947 280076288 65952 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68378 65952 705 1178 0 67196 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 273512 [startup+162.301 s] /proc/loadavg: 2.00 1.97 1.72 3/175 13810 /proc/meminfo: memFree=30818268/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=273512 CPUtime=162.29 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73186 0 0 0 16172 57 0 0 25 0 1 0 870898947 280076288 66265 33554432000 4194304 9016284 140735936504080 18446744073709551615 6583469 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68378 66265 705 1178 0 67196 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 273512 [startup+222.301 s] /proc/loadavg: 2.00 1.97 1.74 3/175 13812 /proc/meminfo: memFree=30815444/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274976 CPUtime=222.29 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73187 0 0 0 22157 72 0 0 25 0 1 0 870898947 281575424 66266 33554432000 4194304 9016284 140735936504080 18446744073709551615 6520740 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68744 66266 705 1178 0 67562 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 274976 [startup+282.3 s] /proc/loadavg: 2.00 1.97 1.75 3/175 13813 /proc/meminfo: memFree=30766764/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274976 CPUtime=282.29 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73187 0 0 0 28146 83 0 0 25 0 1 0 870898947 281575424 66266 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68744 66266 705 1178 0 67562 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 274976 [startup+342.301 s] /proc/loadavg: 2.00 1.97 1.76 3/175 13815 /proc/meminfo: memFree=30766704/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274976 CPUtime=342.29 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73187 0 0 0 34133 96 0 0 25 0 1 0 870898947 281575424 66266 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68744 66266 705 1178 0 67562 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 274976 [startup+402.301 s] /proc/loadavg: 2.00 1.97 1.77 3/175 13817 /proc/meminfo: memFree=30766524/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274976 CPUtime=402.29 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73187 0 0 0 40119 110 0 0 25 0 1 0 870898947 281575424 66266 33554432000 4194304 9016284 140735936504080 18446744073709551615 7870493 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68744 66266 705 1178 0 67562 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 274976 [startup+462.3 s] /proc/loadavg: 2.00 1.97 1.78 3/175 13818 /proc/meminfo: memFree=30787040/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274976 CPUtime=462.29 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73187 0 0 0 46107 122 0 0 25 0 1 0 870898947 281575424 66266 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68744 66266 705 1178 0 67562 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 274976 [startup+522.301 s] /proc/loadavg: 2.00 1.97 1.80 3/175 13820 /proc/meminfo: memFree=30787216/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274976 CPUtime=522.3 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73187 0 0 0 52095 135 0 0 25 0 1 0 870898947 281575424 66266 33554432000 4194304 9016284 140735936504080 18446744073709551615 6390276 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68744 66266 705 1178 0 67562 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 274976 [startup+582.301 s] /proc/loadavg: 2.00 1.97 1.81 3/175 13822 /proc/meminfo: memFree=30786896/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274976 CPUtime=582.31 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73187 0 0 0 58084 147 0 0 25 0 1 0 870898947 281575424 66266 33554432000 4194304 9016284 140735936504080 18446744073709551615 7875499 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68744 66266 705 1178 0 67562 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 274976 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=30779328/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=276680 CPUtime=1122.32 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73611 0 0 0 111994 238 0 0 25 0 1 0 870898947 283320320 66690 33554432000 4194304 9016284 140735936504080 18446744073709551615 6924928 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 69170 66690 705 1178 0 67988 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 276680 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.88 3/175 13837 /proc/meminfo: memFree=30779392/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=276680 CPUtime=1182.33 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73611 0 0 0 117983 250 0 0 25 0 1 0 870898947 283320320 66690 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 69170 66690 705 1178 0 67988 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 276680 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.89 3/175 13839 /proc/meminfo: memFree=30778584/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=276680 CPUtime=1242.33 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73611 0 0 0 123973 260 0 0 25 0 1 0 870898947 283320320 66690 33554432000 4194304 9016284 140735936504080 18446744073709551615 6520767 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 69170 66690 705 1178 0 67988 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 276680 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.89 3/175 13841 /proc/meminfo: memFree=30778392/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=276680 CPUtime=1302.33 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73611 0 0 0 129962 271 0 0 25 0 1 0 870898947 283320320 66690 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 69170 66690 705 1178 0 67988 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 276680 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.90 3/175 13842 /proc/meminfo: memFree=30778332/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=276680 CPUtime=1362.33 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73611 0 0 0 135950 283 0 0 25 0 1 0 870898947 283320320 66690 33554432000 4194304 9016284 140735936504080 18446744073709551615 6520889 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 69170 66690 705 1178 0 67988 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 276680 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.90 3/175 13844 /proc/meminfo: memFree=30804796/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=276680 CPUtime=1422.34 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 73611 0 0 0 141942 292 0 0 25 0 1 0 870898947 283320320 66690 33554432000 4194304 9016284 140735936504080 18446744073709551615 6578633 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 69170 66690 705 1178 0 67988 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 276680 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/175 13846 /proc/meminfo: memFree=30804616/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274692 CPUtime=1482.33 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 78646 0 0 0 147928 305 0 0 25 0 1 0 870898947 281284608 66142 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68673 66142 721 1178 0 67491 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 274692 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 3/175 13847 /proc/meminfo: memFree=30804592/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274692 CPUtime=1542.34 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 78660 0 0 0 153890 344 0 0 25 0 1 0 870898947 281284608 66156 33554432000 4194304 9016284 140735936504080 18446744073709551615 7221251 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68673 66156 721 1178 0 67491 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 274692 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/175 13849 /proc/meminfo: memFree=30786920/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274692 CPUtime=1602.33 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 78666 0 0 0 159844 389 0 0 25 0 1 0 870898947 281284608 66162 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68673 66162 723 1178 0 67491 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 274692 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/175 13859 /proc/meminfo: memFree=30786376/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274692 CPUtime=1662.35 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 78666 0 0 0 165821 414 0 0 25 0 1 0 870898947 281284608 66162 33554432000 4194304 9016284 140735936504080 18446744073709551615 7158157 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68673 66162 723 1178 0 67491 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 274692 [startup+1722.3 s] /proc/loadavg: 2.05 2.01 1.91 3/175 13861 /proc/meminfo: memFree=30785100/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274692 CPUtime=1722.34 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 78697 0 0 0 171785 449 0 0 25 0 1 0 870898947 281284608 66193 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68673 66193 723 1178 0 67491 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 274692 [startup+1782.3 s] /proc/loadavg: 2.02 2.01 1.91 3/175 13863 /proc/meminfo: memFree=30784928/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274692 CPUtime=1782.34 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 78708 0 0 0 177742 492 0 0 25 0 1 0 870898947 281284608 66204 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68673 66204 723 1178 0 67491 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 274692 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.01 1.91 3/175 13863 /proc/meminfo: memFree=30784928/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274692 CPUtime=1785.54 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 78708 0 0 0 178059 495 0 0 25 0 1 0 870898947 281284608 66204 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68673 66204 723 1178 0 67491 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 274692 [startup+1791.91 s] /proc/loadavg: 2.01 2.01 1.91 3/175 13863 /proc/meminfo: memFree=30784912/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274692 CPUtime=1791.95 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 78708 0 0 0 178696 499 0 0 25 0 1 0 870898947 281284608 66204 33554432000 4194304 9016284 140735936504080 18446744073709551615 7218016 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68673 66204 723 1178 0 67491 0 Current children cumulated CPU time (s) 1791.95 Current children cumulated vsize (KiB) 274692 [startup+1795.1 s] /proc/loadavg: 2.01 2.01 1.91 3/175 13863 /proc/meminfo: memFree=30784788/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274692 CPUtime=1795.16 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 78708 0 0 0 179014 502 0 0 25 0 1 0 870898947 281284608 66204 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68673 66204 723 1178 0 67491 0 Current children cumulated CPU time (s) 1795.16 Current children cumulated vsize (KiB) 274692 [startup+1795.9 s] /proc/loadavg: 2.01 2.01 1.91 3/175 13863 /proc/meminfo: memFree=30784788/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274692 CPUtime=1795.95 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 78708 0 0 0 179093 502 0 0 25 0 1 0 870898947 281284608 66204 33554432000 4194304 9016284 140735936504080 18446744073709551615 7158208 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68673 66204 723 1178 0 67491 0 Current children cumulated CPU time (s) 1795.95 Current children cumulated vsize (KiB) 274692 [startup+1796.7 s] /proc/loadavg: 2.01 2.01 1.91 3/175 13863 /proc/meminfo: memFree=30784908/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=274692 CPUtime=1796.75 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 78708 0 0 0 179173 502 0 0 25 0 1 0 870898947 281284608 66204 33554432000 4194304 9016284 140735936504080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13736/statm: 68673 66204 723 1178 0 67491 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 274692 [startup+1797.1 s] /proc/loadavg: 2.01 2.01 1.91 3/175 13863 /proc/meminfo: memFree=30784908/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=273652 CPUtime=1797.14 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 78711 0 0 0 179212 502 0 0 25 0 1 0 870898947 280219648 65947 33554432000 4194304 9016284 140735936504080 18446744073709551615 6545696 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13736/statm: 68413 65947 726 1178 0 67231 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 273652 [startup+1797.2 s] /proc/loadavg: 2.01 2.01 1.91 3/175 13863 /proc/meminfo: memFree=30784908/32951124 swapFree=67064580/67111528 [pid=13736] ppid=13734 vsize=271080 CPUtime=1797.24 cores=0,2,4,6 /proc/13736/stat : 13736 (scip-2.0.1.4b_2) R 13734 13736 13556 0 -1 4202496 78711 0 0 0 179222 502 0 0 25 0 1 0 870898947 277585920 65328 33554432000 4194304 9016284 140735936504080 18446744073709551615 6817731 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13736/statm: 67770 65328 726 1178 0 66588 0 Current children cumulated CPU time (s) 1797.24 Current children cumulated vsize (KiB) 271080 Child status: 0 Real time (s): 1797.26 CPU time (s): 1797.31 CPU user time (s): 1792.28 CPU system time (s): 5.03723 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 287084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.28 system time used= 5.03723 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78716 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= 6 involuntary context switches= 4900 runsolver used 2.65759 second user time and 5.53416 second system time The end
Begin job on node141 at 2011-06-11 11:33:53 IDJOB=3488618 IDBENCH=48222 IDSOLVER=1979 FILE ID=node141/3488618-1307784833 RUNJOBID= node141-1307783035-13574 PBS_JOBID= 13550890 Free space on /tmp= 74080 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_5.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488618-1307784833/watcher-3488618-1307784833 -o /tmp/evaluation-result-3488618-1307784833/solver-3488618-1307784833 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488618-1307784833.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 80b55b230959185abe8760f01da7fec8 RANDOM SEED=432436460 node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5362.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31444040 kB Buffers: 256212 kB Cached: 1054492 kB SwapCached: 8728 kB Active: 514344 kB Inactive: 813568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31444040 kB SwapTotal: 67111528 kB SwapFree: 67064580 kB Dirty: 18696 kB Writeback: 0 kB AnonPages: 15296 kB Mapped: 10304 kB Slab: 114696 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 153268 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74060 MiB End job on node141 at 2011-06-11 12:03:51