0.00/0.00 c SCIP version 2.0.1.4 [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-3485126-1307783256.opb>
0.00/0.06 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.19/0.26 o 0
0.19/0.26 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.26 c presolving:
0.59/0.68 c (round 1) 37643 del vars, 1000 del conss, 0 add conss, 37643 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150572 impls, 0 clqs
0.79/0.81 c (round 2) 37643 del vars, 1000 del conss, 0 add conss, 37643 chg bounds, 0 chg sides, 0 chg coeffs, 37643 upgd conss, 225858 impls, 0 clqs
0.89/0.99 c (1.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.99 c (1.0s) probing aborted: 100/100 successive totally useless probings
0.89/0.99 c presolving (3 rounds):
0.89/0.99 c 37643 deleted vars, 1000 deleted constraints, 0 added constraints, 37643 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.99 c 225858 implications, 0 cliques
0.89/0.99 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37643 constraints
0.89/0.99 c 37643 constraints of type <logicor>
0.89/0.99 c transformed objective value is always integral (scale: 1)
0.89/0.99 c Presolving Time: 0.92
0.89/0.99 c - non default parameters ----------------------------------------------------------------------
0.89/0.99 c # SCIP version 2.0.1.4
0.89/0.99 c
0.89/0.99 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.99 c conflict/interconss = 0
0.89/0.99 c
0.89/0.99 c # should binary conflicts be preferred?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c conflict/preferbinary = TRUE
0.89/0.99 c
0.89/0.99 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.99 c constraints/agelimit = 1
0.89/0.99 c
0.89/0.99 c # should enforcement of pseudo solution be disabled?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/disableenfops = TRUE
0.89/0.99 c
0.89/0.99 c # frequency for displaying node information lines
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.99 c display/freq = 10000
0.89/0.99 c
0.89/0.99 c # maximal time in seconds to run
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/time = 1797
0.89/0.99 c
0.89/0.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/memory = 13950
0.89/0.99 c
0.89/0.99 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.99 c # [type: int, range: [1,2], default: 1]
0.89/0.99 c timing/clocktype = 2
0.89/0.99 c
0.89/0.99 c # belongs reading time to solving time?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c timing/reading = TRUE
0.89/0.99 c
0.89/0.99 c # should presolving try to simplify inequalities
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/linear/simplifyinequalities = TRUE
0.89/0.99 c
0.89/0.99 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/indicator/addCouplingCons = TRUE
0.89/0.99 c
0.89/0.99 c # should presolving try to simplify knapsacks
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.99 c
0.89/0.99 c -----------------------------------------------------------------------------------------------
0.89/0.99 c start solving
0.89/0.99 c
1.39/1.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.49 c t 1.5s| 1 | 0 | 1018 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.49/1.53 o -1
1.49/1.53 c R 1.5s| 1 | 0 | 1018 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.49/1.57 o -2
1.49/1.57 c s 1.6s| 1 | 0 | 1018 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.09/2.20 c 2.2s| 1 | 0 | 1170 | - | 77M| 0 | 990 |1000 | 37k|1000 | 37k| 9 | 0 | 0 |-4.950000e+02 |-2.000000e+00 | 99.60%
2.19/2.21 o -49
2.19/2.21 c b 2.2s| 1 | 0 | 1170 | - | 77M| 0 | 990 |1000 | 37k|1000 | 37k| 9 | 0 | 0 |-4.950000e+02 |-4.900000e+01 | 90.10%
2.89/2.90 c 2.9s| 1 | 0 | 1326 | - | 77M| 0 | 978 |1000 | 37k|1000 | 37k| 19 | 0 | 0 |-4.890000e+02 |-4.900000e+01 | 89.98%
3.69/3.76 c 3.8s| 1 | 0 | 1569 | - | 77M| 0 | 969 |1000 | 37k|1000 | 37k| 29 | 0 | 0 |-4.845000e+02 |-4.900000e+01 | 89.89%
4.59/4.66 c 4.7s| 1 | 0 | 1848 | - | 77M| 0 | 966 |1000 | 37k|1000 | 37k| 36 | 0 | 0 |-4.830000e+02 |-4.900000e+01 | 89.86%
5.50/5.58 c 5.6s| 1 | 0 | 2141 | - | 77M| 0 | 957 |1000 | 37k|1000 | 37k| 46 | 0 | 0 |-4.785000e+02 |-4.900000e+01 | 89.76%
6.60/6.68 c 6.7s| 1 | 0 | 2574 | - | 77M| 0 | 946 |1000 | 37k|1000 | 37k| 56 | 0 | 0 |-4.730000e+02 |-4.900000e+01 | 89.64%
7.79/7.80 c 7.8s| 1 | 0 | 2931 | - | 77M| 0 | 943 |1000 | 37k|1000 | 37k| 63 | 0 | 0 |-4.705000e+02 |-4.900000e+01 | 89.59%
8.89/8.98 c 9.0s| 1 | 0 | 3347 | - | 78M| 0 | 937 |1000 | 37k|1000 | 37k| 72 | 0 | 0 |-4.680000e+02 |-4.900000e+01 | 89.53%
10.09/10.19 c 10.2s| 1 | 0 | 3776 | - | 78M| 0 | 933 |1000 | 37k|1000 | 37k| 82 | 0 | 0 |-4.655000e+02 |-4.900000e+01 | 89.47%
11.49/11.54 c 11.5s| 1 | 0 | 4303 | - | 79M| 0 | 929 |1000 | 37k|1000 | 37k| 89 | 0 | 0 |-4.630000e+02 |-4.900000e+01 | 89.42%
12.89/12.92 c 12.9s| 1 | 0 | 5343 | - | 79M| 0 | 916 |1000 | 37k|1000 |1751 | 105 | 0 | 0 |-4.575000e+02 |-4.900000e+01 | 89.29%
13.10/13.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.10/13.18 c 13.2s| 1 | 0 | 6015 | - | 79M| 0 | 907 |1000 | 37k|1000 |1766 | 120 | 0 | 0 |-4.562500e+02 |-4.900000e+01 | 89.26%
13.39/13.40 c 13.4s| 1 | 0 | 6471 | - | 80M| 0 | 893 |1000 | 37k|1000 |2124 | 478 | 0 | 0 |-4.545000e+02 |-4.900000e+01 | 89.22%
13.79/13.87 c 13.9s| 1 | 0 | 8267 | - | 80M| 0 | 898 |1000 | 37k|1000 |2659 |1013 | 0 | 0 |-4.510000e+02 |-4.900000e+01 | 89.14%
14.09/14.17 c 14.2s| 1 | 0 | 9104 | - | 80M| 0 | 896 |1000 | 37k|1000 |2770 |1124 | 0 | 0 |-4.487500e+02 |-4.900000e+01 | 89.08%
14.59/14.60 c 14.6s| 1 | 0 | 10026 | - | 81M| 0 | 890 |1000 | 37k|1000 |3684 |2038 | 0 | 0 |-4.450000e+02 |-4.900000e+01 | 88.99%
14.89/14.90 c 14.9s| 1 | 0 | 11070 | - | 81M| 0 | 884 |1000 | 37k|1000 |3133 |2044 | 0 | 0 |-4.430000e+02 |-4.900000e+01 | 88.94%
15.19/15.22 c 15.2s| 1 | 0 | 11767 | - | 81M| 0 | 876 |1000 | 37k|1000 |3207 |2118 | 0 | 0 |-4.410000e+02 |-4.900000e+01 | 88.89%
15.49/15.56 c 15.6s| 1 | 0 | 12529 | - | 81M| 0 | 853 |1000 | 37k|1000 |3414 |2325 | 0 | 0 |-4.375000e+02 |-4.900000e+01 | 88.80%
15.89/15.92 c 15.9s| 1 | 0 | 13586 | - | 82M| 0 | 861 |1000 | 37k|1000 |4143 |3054 | 0 | 0 |-4.345000e+02 |-4.900000e+01 | 88.72%
16.19/16.22 c 16.2s| 1 | 0 | 14605 | - | 82M| 0 | 859 |1000 | 37k|1000 |4359 |3270 | 0 | 0 |-4.325000e+02 |-4.900000e+01 | 88.67%
16.39/16.50 c 16.5s| 1 | 0 | 15431 | - | 82M| 0 | 856 |1000 | 37k|1000 |4531 |3442 | 0 | 0 |-4.310000e+02 |-4.900000e+01 | 88.63%
16.89/16.90 c 16.9s| 1 | 0 | 17326 | - | 82M| 0 | 897 |1000 | 37k|1000 |4183 |3679 | 0 | 0 |-4.291034e+02 |-4.900000e+01 | 88.58%
17.59/17.64 c 17.6s| 1 | 0 | 17729 | - | 82M| 0 | 859 |1000 | 37k|1000 |6183 |5679 | 0 | 0 |-4.280000e+02 |-4.900000e+01 | 88.55%
17.99/18.03 c 18.0s| 1 | 0 | 19163 | - | 82M| 0 | 848 |1000 | 37k|1000 |6348 |5844 | 0 | 0 |-4.251429e+02 |-4.900000e+01 | 88.47%
18.39/18.49 c 18.5s| 1 | 0 | 20749 | - | 83M| 0 | 839 |1000 | 37k|1000 |6468 |5964 | 0 | 0 |-4.209286e+02 |-4.900000e+01 | 88.36%
18.70/18.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.70/18.70 c 18.7s| 1 | 0 | 21112 | - | 83M| 0 | 843 |1000 | 37k|1000 |6638 |6134 | 0 | 0 |-4.201429e+02 |-4.900000e+01 | 88.34%
18.99/19.00 c 19.0s| 1 | 0 | 21910 | - | 83M| 0 | 837 |1000 | 37k|1000 |6733 |6229 | 0 | 0 |-4.186250e+02 |-4.900000e+01 | 88.30%
19.39/19.43 c 19.4s| 1 | 0 | 23557 | - | 83M| 0 | 835 |1000 | 37k|1000 |4873 |6283 | 0 | 0 |-4.166786e+02 |-4.900000e+01 | 88.24%
19.69/19.74 c 19.7s| 1 | 0 | 24457 | - | 83M| 0 | 822 |1000 | 37k|1000 |5381 |6791 | 0 | 0 |-4.142857e+02 |-4.900000e+01 | 88.17%
20.00/20.04 c 20.0s| 1 | 0 | 25565 | - | 83M| 0 | 821 |1000 | 37k|1000 |5600 |7010 | 0 | 0 |-4.130000e+02 |-4.900000e+01 | 88.14%
20.29/20.36 c 20.4s| 1 | 0 | 26694 | - | 84M| 0 | 827 |1000 | 37k|1000 |5938 |7348 | 0 | 0 |-4.110000e+02 |-4.900000e+01 | 88.08%
20.69/20.79 c 20.8s| 1 | 0 | 28533 | - | 84M| 0 | 823 |1000 | 37k|1000 |5949 |7359 | 0 | 0 |-4.099167e+02 |-4.900000e+01 | 88.05%
21.29/21.35 c 21.4s| 1 | 0 | 30243 | - | 84M| 0 | 815 |1000 | 37k|1000 |6463 |7873 | 0 | 0 |-4.080000e+02 |-4.900000e+01 | 87.99%
21.89/21.92 c 21.9s| 1 | 0 | 32049 | - | 84M| 0 | 834 |1000 | 37k|1000 |5086 |8118 | 0 | 0 |-4.066000e+02 |-4.900000e+01 | 87.95%
22.49/22.58 c 22.6s| 1 | 0 | 34665 | - | 85M| 0 | 822 |1000 | 37k|1000 |5241 |8273 | 0 | 0 |-4.040000e+02 |-4.900000e+01 | 87.87%
23.20/23.29 c 23.3s| 1 | 0 | 37608 | - | 85M| 0 | 827 |1000 | 37k|1000 |5701 |8733 | 0 | 0 |-4.015455e+02 |-4.900000e+01 | 87.80%
23.69/23.73 c 23.7s| 1 | 0 | 38240 | - | 86M| 0 | 796 |1000 | 37k|1000 |6790 |9822 | 0 | 0 |-3.990000e+02 |-4.900000e+01 | 87.72%
24.10/24.17 c 24.2s| 1 | 0 | 39743 | - | 86M| 0 | 793 |1000 | 37k|1000 |6859 |9891 | 0 | 0 |-3.967500e+02 |-4.900000e+01 | 87.65%
24.89/24.93 c 24.9s| 1 | 0 | 42955 | - | 86M| 0 | 787 |1000 | 37k|1000 |6957 |9989 | 0 | 0 |-3.945000e+02 |-4.900000e+01 | 87.58%
25.29/25.30 c 25.3s| 1 | 0 | 44085 | - | 86M| 0 | 782 |1000 | 37k|1000 |5777 | 10k| 0 | 0 |-3.930000e+02 |-4.900000e+01 | 87.53%
25.69/25.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.69/25.71 c 25.7s| 1 | 0 | 45666 | - | 86M| 0 | 777 |1000 | 37k|1000 |5891 | 10k| 0 | 0 |-3.910000e+02 |-4.900000e+01 | 87.47%
26.89/26.95 c 26.9s| 1 | 0 | 51034 | - | 87M| 0 | 841 |1000 | 37k|1000 |6269 | 10k| 0 | 0 |-3.900714e+02 |-4.900000e+01 | 87.44%
27.69/27.70 c 27.7s| 1 | 0 | 51400 | - | 87M| 0 | 795 |1000 | 37k|1000 |8269 | 12k| 0 | 0 |-3.900000e+02 |-4.900000e+01 | 87.44%
28.09/28.18 c 28.2s| 1 | 0 | 52740 | - | 87M| 0 | 779 |1000 | 37k|1000 |8408 | 12k| 0 | 0 |-3.880000e+02 |-4.900000e+01 | 87.37%
28.60/28.68 c 28.7s| 1 | 0 | 54289 | - | 88M| 0 | 775 |1000 | 37k|1000 |8419 | 12k| 0 | 0 |-3.865761e+02 |-4.900000e+01 | 87.32%
29.79/29.81 c 29.8s| 1 | 0 | 57547 | - | 88M| 0 | 787 |1000 | 37k|1000 |6760 | 12k| 0 | 0 |-3.850000e+02 |-4.900000e+01 | 87.27%
30.19/30.22 c 30.2s| 1 | 0 | 58512 | - | 88M| 0 | 776 |1000 | 37k|1000 |6889 | 12k| 0 | 0 |-3.832500e+02 |-4.900000e+01 | 87.21%
30.80/30.89 c 30.9s| 1 | 0 | 60699 | - | 88M| 0 | 763 |1000 | 37k|1000 |7112 | 13k| 0 | 0 |-3.810000e+02 |-4.900000e+01 | 87.14%
31.59/31.62 c 31.6s| 1 | 0 | 62989 | - | 89M| 0 | 750 |1000 | 37k|1000 |7169 | 13k| 0 | 0 |-3.785000e+02 |-4.900000e+01 | 87.05%
32.10/32.11 c 32.1s| 1 | 0 | 64189 | - | 89M| 0 | 755 |1000 | 37k|1000 |7541 | 13k| 0 | 0 |-3.770000e+02 |-4.900000e+01 | 87.00%
32.50/32.56 c 32.6s| 1 | 0 | 65265 | - | 90M| 0 | 752 |1000 | 37k|1000 |7549 | 13k| 0 | 0 |-3.760000e+02 |-4.900000e+01 | 86.97%
32.70/32.79 c 32.8s| 1 | 0 | 65503 | - | 90M| 0 | 758 |1000 | 37k|1000 |5840 | 13k| 0 | 0 |-3.760000e+02 |-4.900000e+01 | 86.97%
33.49/33.55 c 33.6s| 1 | 0 | 66952 | - | 90M| 0 | 773 |1000 | 37k|1000 |5844 | 13k| 0 | 0 |-3.752500e+02 |-4.900000e+01 | 86.94%
33.99/34.01 c 34.0s| 1 | 0 | 68241 | - | 91M| 0 | 750 |1000 | 37k|1000 |6216 | 13k| 0 | 0 |-3.742857e+02 |-4.900000e+01 | 86.91%
34.29/34.39 c 34.4s| 1 | 0 | 69215 | - | 91M| 0 | 743 |1000 | 37k|1000 |6529 | 14k| 0 | 0 |-3.725000e+02 |-4.900000e+01 | 86.85%
34.90/34.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.90/34.92 c 34.9s| 1 | 0 | 70814 | - | 91M| 0 | 738 |1000 | 37k|1000 |6583 | 14k| 0 | 0 |-3.700000e+02 |-4.900000e+01 | 86.76%
35.29/35.33 c 35.3s| 1 | 0 | 71926 | - | 91M| 0 | 732 |1000 | 37k|1000 |6658 | 14k| 0 | 0 |-3.680000e+02 |-4.900000e+01 | 86.68%
35.59/35.60 c 35.6s| 1 | 0 | 72372 | - | 91M| 0 | 732 |1000 | 37k|1000 |6131 | 14k| 0 | 0 |-3.675000e+02 |-4.900000e+01 | 86.67%
36.50/36.51 c 36.5s| 1 | 0 | 75490 | - | 92M| 0 | 727 |1000 | 37k|1000 |6228 | 14k| 0 | 0 |-3.665000e+02 |-4.900000e+01 | 86.63%
36.99/37.09 c 37.1s| 1 | 0 | 77640 | - | 92M| 0 | 761 |1000 | 37k|1000 |6388 | 14k| 0 | 0 |-3.650000e+02 |-4.900000e+01 | 86.58%
37.30/37.40 c 37.4s| 1 | 0 | 78205 | - | 92M| 0 | 723 |1000 | 37k|1000 |6970 | 15k| 0 | 0 |-3.645000e+02 |-4.900000e+01 | 86.56%
37.89/37.95 c 38.0s| 1 | 0 | 79781 | - | 93M| 0 | 725 |1000 | 37k|1000 |7126 | 15k| 0 | 0 |-3.635000e+02 |-4.900000e+01 | 86.52%
39.29/39.33 c 39.3s| 1 | 0 | 85826 | - | 93M| 0 | 717 |1000 | 37k|1000 |7182 | 15k| 0 | 0 |-3.615000e+02 |-4.900000e+01 | 86.45%
39.90/39.98 c 40.0s| 1 | 0 | 87470 | - | 93M| 0 | 754 |1000 | 37k|1000 |6532 | 15k| 0 | 0 |-3.605000e+02 |-4.900000e+01 | 86.41%
41.29/41.33 c 41.3s| 1 | 0 | 92286 | - | 94M| 0 | 803 |1000 | 37k|1000 |6636 | 15k| 0 | 0 |-3.598143e+02 |-4.900000e+01 | 86.38%
41.80/41.85 c 41.8s| 1 | 0 | 93034 | - | 95M| 0 | 717 |1000 | 37k|1000 |8636 | 17k| 0 | 0 |-3.595000e+02 |-4.900000e+01 | 86.37%
42.19/42.24 c 42.2s| 1 | 0 | 93718 | - | 95M| 0 | 742 |1000 | 37k|1000 |8701 | 17k| 0 | 0 |-3.590000e+02 |-4.900000e+01 | 86.35%
42.79/42.86 c 42.9s| 1 | 0 | 95046 | - | 96M| 0 | 736 |1000 | 37k|1000 |8715 | 17k| 0 | 0 |-3.585000e+02 |-4.900000e+01 | 86.33%
43.90/43.97 c 44.0s| 1 | 0 | 98153 | - | 97M| 0 | 776 |1000 | 37k|1000 |8727 | 17k| 0 | 0 |-3.576923e+02 |-4.900000e+01 | 86.30%
44.39/44.41 c 44.4s| 1 | 0 | 98835 | - | 97M| 0 | 769 |1000 | 37k|1000 |8003 | 17k| 0 | 0 |-3.560938e+02 |-4.900000e+01 | 86.24%
45.00/45.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.00/45.05 c 45.0s| 1 | 0 |100164 | - | 98M| 0 | 771 |1000 | 37k|1000 |8018 | 17k| 0 | 0 |-3.550875e+02 |-4.900000e+01 | 86.20%
45.79/45.89 c 45.9s| 1 | 0 |102149 | - | 99M| 0 | 771 |1000 | 37k|1000 |8069 | 17k| 0 | 0 |-3.521071e+02 |-4.900000e+01 | 86.08%
46.49/46.52 c 46.5s| 1 | 0 |103388 | - | 99M| 0 | 712 |1000 | 37k|1000 |8227 | 18k| 0 | 0 |-3.512500e+02 |-4.900000e+01 | 86.05%
47.09/47.12 c 47.1s| 1 | 0 |104959 | - | 100M| 0 | 721 |1000 | 37k|1000 |8235 | 18k| 0 | 0 |-3.507500e+02 |-4.900000e+01 | 86.03%
47.80/47.81 c 47.8s| 1 | 0 |106713 | - | 100M| 0 | 730 |1000 | 37k|1000 |8246 | 18k| 0 | 0 |-3.491250e+02 |-4.900000e+01 | 85.96%
48.30/48.33 c 48.3s| 1 | 0 |107864 | - | 101M| 0 | 736 |1000 | 37k|1000 |6893 | 18k| 0 | 0 |-3.488143e+02 |-4.900000e+01 | 85.95%
48.90/48.91 c 48.9s| 1 | 0 |109661 | - | 101M| 0 | 760 |1000 | 37k|1000 |6954 | 18k| 0 | 0 |-3.478190e+02 |-4.900000e+01 | 85.91%
49.59/49.61 c 49.6s| 1 | 0 |111633 | - | 103M| 0 | 700 |1000 | 37k|1000 |7149 | 18k| 0 | 0 |-3.467317e+02 |-4.900000e+01 | 85.87%
50.29/50.34 c 50.3s| 1 | 0 |113633 | - | 103M| 0 | 717 |1000 | 37k|1000 |7201 | 18k| 0 | 0 |-3.452500e+02 |-4.900000e+01 | 85.81%
50.79/50.87 c 50.9s| 1 | 0 |115006 | - | 104M| 0 | 699 |1000 | 37k|1000 |7212 | 18k| 0 | 0 |-3.448750e+02 |-4.900000e+01 | 85.79%
52.80/52.88 c 52.9s| 1 | 0 |121753 | - | 104M| 0 | 809 |1000 | 37k|1000 |7227 | 18k| 0 | 0 |-3.438221e+02 |-4.900000e+01 | 85.75%
54.59/54.67 c 54.7s| 1 | 0 |126036 | - | 106M| 0 | 781 |1000 | 37k|1000 |7697 | 19k| 0 | 0 |-3.417073e+02 |-4.900000e+01 | 85.66%
55.60/55.60 c 55.6s| 1 | 0 |128318 | - | 108M| 0 | 764 |1000 | 37k|1000 |7713 | 19k| 0 | 0 |-3.401964e+02 |-4.900000e+01 | 85.60%
56.29/56.30 c 56.3s| 1 | 0 |129715 | - | 111M| 0 | 763 |1000 | 37k|1000 |7792 | 19k| 0 | 0 |-3.393750e+02 |-4.900000e+01 | 85.56%
56.99/57.06 c 57.1s| 1 | 0 |131161 | - | 112M| 0 | 769 |1000 | 37k|1000 |7806 | 19k| 0 | 0 |-3.386911e+02 |-4.900000e+01 | 85.53%
58.30/58.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.30/58.33 c 58.3s| 1 | 0 |134664 | - | 112M| 0 | 731 |1000 | 37k|1000 |7939 | 19k| 0 | 0 |-3.370000e+02 |-4.900000e+01 | 85.46%
61.09/61.12 c 61.1s| 1 | 0 |143416 | - | 113M| 0 | 771 |1000 | 37k|1000 |8034 | 19k| 0 | 0 |-3.350952e+02 |-4.900000e+01 | 85.38%
62.60/62.70 c 62.7s| 1 | 0 |147033 | - | 115M| 0 | 785 |1000 | 37k|1000 |7812 | 19k| 0 | 0 |-3.332759e+02 |-4.900000e+01 | 85.30%
64.19/64.21 c 64.2s| 1 | 0 |151257 | - | 115M| 0 | 759 |1000 | 37k|1000 |7852 | 19k| 0 | 0 |-3.309271e+02 |-4.900000e+01 | 85.19%
65.30/65.31 c 65.3s| 1 | 0 |153935 | - | 117M| 0 | 759 |1000 | 37k|1000 |7992 | 19k| 0 | 0 |-3.298376e+02 |-4.900000e+01 | 85.14%
67.19/67.21 c 67.2s| 1 | 0 |159674 | - | 119M| 0 | 777 |1000 | 37k|1000 |8065 | 19k| 0 | 0 |-3.278170e+02 |-4.900000e+01 | 85.05%
68.49/68.52 c 68.5s| 1 | 0 |162836 | - | 122M| 0 | 791 |1000 | 37k|1000 |8173 | 19k| 0 | 0 |-3.268603e+02 |-4.900000e+01 | 85.01%
69.80/69.85 c 69.9s| 1 | 0 |165695 | - | 123M| 0 | 780 |1000 | 37k|1000 |8252 | 19k| 0 | 0 |-3.254922e+02 |-4.900000e+01 | 84.95%
71.09/71.14 c 71.1s| 1 | 0 |168565 | - | 125M| 0 | 786 |1000 | 37k|1000 |7909 | 19k| 0 | 0 |-3.249125e+02 |-4.900000e+01 | 84.92%
72.10/72.19 c 72.2s| 1 | 0 |170889 | - | 125M| 0 | 794 |1000 | 37k|1000 |7948 | 20k| 0 | 0 |-3.243156e+02 |-4.900000e+01 | 84.89%
73.49/73.50 c 73.5s| 1 | 0 |173958 | - | 126M| 0 | 793 |1000 | 37k|1000 |8065 | 20k| 0 | 0 |-3.231721e+02 |-4.900000e+01 | 84.84%
74.70/74.71 c 74.7s| 1 | 0 |176770 | - | 127M| 0 | 800 |1000 | 37k|1000 |8170 | 20k| 0 | 0 |-3.226517e+02 |-4.900000e+01 | 84.81%
76.89/76.91 c 76.9s| 1 | 0 |181383 | - | 127M| 0 | 791 |1000 | 37k|1000 |8316 | 20k| 0 | 0 |-3.211472e+02 |-4.900000e+01 | 84.74%
78.10/78.13 c 78.1s| 1 | 0 |184397 | - | 129M| 0 | 816 |1000 | 37k|1000 |8355 | 20k| 0 | 0 |-3.204690e+02 |-4.900000e+01 | 84.71%
80.49/80.52 c 80.5s| 1 | 0 |189023 | - | 130M| 0 | 798 |1000 | 37k|1000 |8252 | 20k| 0 | 0 |-3.190619e+02 |-4.900000e+01 | 84.64%
82.30/82.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.30/82.36 c 82.4s| 1 | 0 |192547 | - | 130M| 0 | 825 |1000 | 37k|1000 |8372 | 20k| 0 | 0 |-3.183709e+02 |-4.900000e+01 | 84.61%
84.20/84.21 c 84.2s| 1 | 0 |195403 | - | 130M| 0 | 816 |1000 | 37k|1000 |8491 | 20k| 0 | 0 |-3.173462e+02 |-4.900000e+01 | 84.56%
85.90/85.95 c 86.0s| 1 | 0 |198007 | - | 130M| 0 | 807 |1000 | 37k|1000 |8564 | 20k| 0 | 0 |-3.161020e+02 |-4.900000e+01 | 84.50%
87.90/87.97 c 88.0s| 1 | 0 |201674 | - | 130M| 0 | 809 |1000 | 37k|1000 |8584 | 20k| 0 | 0 |-3.149258e+02 |-4.900000e+01 | 84.44%
89.79/89.83 c 89.8s| 1 | 0 |205125 | - | 130M| 0 | 825 |1000 | 37k|1000 |8714 | 21k| 0 | 0 |-3.131213e+02 |-4.900000e+01 | 84.35%
91.90/91.97 c 92.0s| 1 | 0 |208703 | - | 130M| 0 | 814 |1000 | 37k|1000 |8586 | 21k| 0 | 0 |-3.116167e+02 |-4.900000e+01 | 84.28%
94.09/94.12 c 94.1s| 1 | 0 |212935 | - | 130M| 0 | 815 |1000 | 37k|1000 |8619 | 21k| 0 | 0 |-3.104860e+02 |-4.900000e+01 | 84.22%
95.70/95.80 c 95.8s| 1 | 0 |215421 | - | 130M| 0 | 836 |1000 | 37k|1000 |8813 | 21k| 0 | 0 |-3.101348e+02 |-4.900000e+01 | 84.20%
97.69/97.74 c 97.7s| 1 | 0 |218210 | - | 129M| 0 | 842 |1000 | 37k|1000 |8828 | 21k| 0 | 0 |-3.092516e+02 |-4.900000e+01 | 84.16%
100.20/100.25 c 100s| 1 | 0 |222065 | - | 129M| 0 | 842 |1000 | 37k|1000 |8915 | 21k| 0 | 0 |-3.087601e+02 |-4.900000e+01 | 84.13%
102.59/102.67 c 103s| 1 | 0 |225418 | - | 129M| 0 | 841 |1000 | 37k|1000 |8970 | 21k| 0 | 0 |-3.077706e+02 |-4.900000e+01 | 84.08%
105.10/105.11 c 105s| 1 | 0 |229412 | - | 128M| 0 | 838 |1000 | 37k|1000 |8610 | 21k| 0 | 0 |-3.068137e+02 |-4.900000e+01 | 84.03%
107.39/107.40 c 107s| 1 | 0 |233277 | - | 128M| 0 | 845 |1000 | 37k|1000 |8676 | 21k| 0 | 0 |-3.058655e+02 |-4.900000e+01 | 83.98%
109.49/109.54 c 110s| 1 | 0 |235980 | - | 128M| 0 | 841 |1000 | 37k|1000 |8881 | 21k| 0 | 0 |-3.049656e+02 |-4.900000e+01 | 83.93%
111.50/111.50 c 112s| 1 | 0 |238946 | - | 128M| 0 | 826 |1000 | 37k|1000 |8981 | 21k| 0 | 0 |-3.038122e+02 |-4.900000e+01 | 83.87%
113.30/113.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.30/113.35 c 113s| 1 | 0 |240962 | - | 128M| 0 | 832 |1000 | 37k|1000 |9094 | 22k| 0 | 0 |-3.032631e+02 |-4.900000e+01 | 83.84%
116.09/116.15 c 116s| 1 | 0 |245898 | - | 128M| 0 | 829 |1000 | 37k|1000 |9134 | 22k| 0 | 0 |-3.014220e+02 |-4.900000e+01 | 83.74%
119.80/119.83 c 120s| 1 | 0 |252568 | - | 128M| 0 | 817 |1000 | 37k|1000 |8880 | 22k| 0 | 0 |-2.995047e+02 |-4.900000e+01 | 83.64%
122.50/122.57 c 123s| 1 | 0 |257828 | - | 128M| 0 | 825 |1000 | 37k|1000 |8957 | 22k| 0 | 0 |-2.981502e+02 |-4.900000e+01 | 83.57%
124.49/124.58 c 125s| 1 | 0 |260688 | - | 128M| 0 | 818 |1000 | 37k|1000 |9045 | 22k| 0 | 0 |-2.970503e+02 |-4.900000e+01 | 83.50%
126.40/126.43 c 126s| 1 | 0 |263409 | - | 128M| 0 | 837 |1000 | 37k|1000 |9082 | 22k| 0 | 0 |-2.964174e+02 |-4.900000e+01 | 83.47%
129.09/129.15 c 129s| 1 | 0 |267478 | - | 128M| 0 | 841 |1000 | 37k|1000 |9145 | 22k| 0 | 0 |-2.956703e+02 |-4.900000e+01 | 83.43%
132.00/132.00 c 132s| 1 | 0 |270744 | - | 128M| 0 | 851 |1000 | 37k|1000 |9444 | 22k| 0 | 0 |-2.947427e+02 |-4.900000e+01 | 83.38%
135.20/135.21 c 135s| 1 | 0 |274390 | - | 128M| 0 | 845 |1000 | 37k|1000 |9302 | 22k| 0 | 0 |-2.941933e+02 |-4.900000e+01 | 83.34%
139.19/139.29 c 139s| 1 | 0 |280642 | - | 128M| 0 | 849 |1000 | 37k|1000 |9332 | 22k| 0 | 0 |-2.933762e+02 |-4.900000e+01 | 83.30%
143.00/143.09 c 143s| 1 | 0 |285402 | - | 128M| 0 | 846 |1000 | 37k|1000 |9448 | 23k| 0 | 0 |-2.922452e+02 |-4.900000e+01 | 83.23%
145.80/145.86 c 146s| 1 | 0 |288622 | - | 128M| 0 | 849 |1000 | 37k|1000 |9487 | 23k| 0 | 0 |-2.916409e+02 |-4.900000e+01 | 83.20%
149.30/149.38 c 149s| 1 | 0 |292977 | - | 128M| 0 | 851 |1000 | 37k|1000 |9497 | 23k| 0 | 0 |-2.912137e+02 |-4.900000e+01 | 83.17%
152.40/152.40 c 152s| 1 | 0 |296343 | - | 127M| 0 | 857 |1000 | 37k|1000 |9572 | 23k| 0 | 0 |-2.906478e+02 |-4.900000e+01 | 83.14%
157.10/157.16 c 157s| 1 | 0 |303740 | - | 127M| 0 | 867 |1000 | 37k|1000 |9429 | 23k| 0 | 0 |-2.895729e+02 |-4.900000e+01 | 83.08%
160.19/160.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.19/160.21 c 160s| 1 | 0 |305755 | - | 127M| 0 | 858 |1000 | 37k|1000 |9501 | 23k| 0 | 0 |-2.891378e+02 |-4.900000e+01 | 83.05%
164.00/164.09 c 164s| 1 | 0 |310183 | - | 127M| 0 | 866 |1000 | 37k|1000 |9629 | 23k| 0 | 0 |-2.885017e+02 |-4.900000e+01 | 83.02%
167.40/167.41 c 167s| 1 | 0 |313093 | - | 127M| 0 | 866 |1000 | 37k|1000 |9640 | 23k| 0 | 0 |-2.879406e+02 |-4.900000e+01 | 82.98%
171.39/171.49 c 171s| 1 | 0 |317688 | - | 127M| 0 | 861 |1000 | 37k|1000 |9719 | 23k| 0 | 0 |-2.861289e+02 |-4.900000e+01 | 82.87%
174.60/174.63 c 175s| 1 | 0 |321145 | - | 126M| 0 | 855 |1000 | 37k|1000 |9803 | 23k| 0 | 0 |-2.854395e+02 |-4.900000e+01 | 82.83%
177.60/177.64 c 178s| 1 | 0 |323991 | - | 126M| 0 | 865 |1000 | 37k|1000 |9499 | 23k| 0 | 0 |-2.847876e+02 |-4.900000e+01 | 82.79%
182.00/182.08 c 182s| 1 | 0 |329441 | - | 126M| 0 | 853 |1000 | 37k|1000 |9542 | 23k| 0 | 0 |-2.835605e+02 |-4.900000e+01 | 82.72%
187.49/187.55 c 188s| 1 | 0 |338163 | - | 126M| 0 | 864 |1000 | 37k|1000 |9662 | 23k| 0 | 0 |-2.822933e+02 |-4.900000e+01 | 82.64%
191.50/191.54 c 192s| 1 | 0 |341226 | - | 126M| 0 | 867 |1000 | 37k|1000 |9763 | 23k| 0 | 0 |-2.818199e+02 |-4.900000e+01 | 82.61%
195.20/195.21 c 195s| 1 | 0 |344039 | - | 126M| 0 | 876 |1000 | 37k|1000 |9804 | 23k| 0 | 0 |-2.808764e+02 |-4.900000e+01 | 82.55%
199.29/199.31 c 199s| 1 | 0 |347067 | - | 125M| 0 | 882 |1000 | 37k|1000 |9816 | 23k| 0 | 0 |-2.803186e+02 |-4.900000e+01 | 82.52%
205.80/205.88 c 206s| 1 | 0 |355867 | - | 125M| 0 | 883 |1000 | 37k|1000 |9654 | 24k| 0 | 0 |-2.792720e+02 |-4.900000e+01 | 82.45%
210.10/210.14 c 210s| 1 | 0 |358806 | - | 125M| 0 | 880 |1000 | 37k|1000 |9706 | 24k| 0 | 0 |-2.785931e+02 |-4.900000e+01 | 82.41%
214.50/214.58 c 215s| 1 | 0 |361963 | - | 125M| 0 | 887 |1000 | 37k|1000 |9722 | 24k| 0 | 0 |-2.779090e+02 |-4.900000e+01 | 82.37%
219.80/219.86 c 220s| 1 | 0 |366878 | - | 125M| 0 | 895 |1000 | 37k|1000 |9792 | 24k| 0 | 0 |-2.771263e+02 |-4.900000e+01 | 82.32%
225.09/225.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.09/225.14 c 225s| 1 | 0 |371564 | - | 124M| 0 | 896 |1000 | 37k|1000 |9895 | 24k| 0 | 0 |-2.763544e+02 |-4.900000e+01 | 82.27%
231.01/231.03 c 231s| 1 | 0 |377670 | - | 124M| 0 | 899 |1000 | 37k|1000 |9960 | 24k| 0 | 0 |-2.756408e+02 |-4.900000e+01 | 82.22%
236.00/236.02 c 236s| 1 | 0 |381481 | - | 123M| 0 | 889 |1000 | 37k|1000 |9878 | 24k| 0 | 0 |-2.749984e+02 |-4.900000e+01 | 82.18%
241.80/241.82 c 242s| 1 | 0 |387770 | - | 123M| 0 | 898 |1000 | 37k|1000 |9915 | 24k| 0 | 0 |-2.742800e+02 |-4.900000e+01 | 82.14%
246.50/246.52 c 247s| 1 | 0 |391054 | - | 123M| 0 | 898 |1000 | 37k|1000 |9963 | 24k| 0 | 0 |-2.737769e+02 |-4.900000e+01 | 82.10%
251.90/251.93 c 252s| 1 | 0 |395692 | - | 123M| 0 | 910 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.728007e+02 |-4.900000e+01 | 82.04%
257.31/257.34 c 257s| 1 | 0 |399786 | - | 122M| 0 | 897 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.722099e+02 |-4.900000e+01 | 82.00%
263.60/263.62 c 264s| 1 | 0 |406275 | - | 122M| 0 | 896 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.709060e+02 |-4.900000e+01 | 81.91%
269.00/269.03 c 269s| 1 | 0 |410798 | - | 122M| 0 | 908 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.703192e+02 |-4.900000e+01 | 81.87%
274.30/274.33 c 274s| 1 | 0 |414618 | - | 121M| 0 | 909 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.697678e+02 |-4.900000e+01 | 81.84%
279.31/279.38 c 279s| 1 | 0 |417665 | - | 121M| 0 | 919 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.691035e+02 |-4.900000e+01 | 81.79%
284.20/284.20 c 284s| 1 | 0 |420422 | - | 121M| 0 | 919 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.684362e+02 |-4.900000e+01 | 81.75%
290.10/290.19 c 290s| 1 | 0 |425103 | - | 121M| 0 | 928 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.678207e+02 |-4.900000e+01 | 81.70%
295.30/295.34 c 295s| 1 | 0 |428124 | - | 121M| 0 | 925 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.674762e+02 |-4.900000e+01 | 81.68%
300.41/300.48 c 300s| 1 | 0 |430962 | - | 120M| 0 | 930 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.670932e+02 |-4.900000e+01 | 81.65%
306.00/306.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.00/306.06 c 306s| 1 | 0 |434764 | - | 120M| 0 | 931 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.663620e+02 |-4.900000e+01 | 81.60%
311.60/311.65 c 312s| 1 | 0 |438504 | - | 120M| 0 | 929 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.658751e+02 |-4.900000e+01 | 81.57%
316.60/316.60 c 317s| 1 | 0 |440729 | - | 119M| 0 | 924 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.655561e+02 |-4.900000e+01 | 81.55%
322.21/322.25 c 322s| 1 | 0 |444714 | - | 119M| 0 | 924 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.649956e+02 |-4.900000e+01 | 81.51%
327.40/327.42 c 327s| 1 | 0 |447387 | - | 119M| 0 | 931 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.645376e+02 |-4.900000e+01 | 81.48%
332.51/332.59 c 333s| 1 | 0 |449774 | - | 119M| 0 | 931 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.642432e+02 |-4.900000e+01 | 81.46%
337.10/337.15 c 337s| 1 | 0 |451146 | - | 118M| 0 | 930 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.640497e+02 |-4.900000e+01 | 81.44%
342.01/342.02 c 342s| 1 | 0 |452945 | - | 118M| 0 | 938 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.638551e+02 |-4.900000e+01 | 81.43%
347.40/347.50 c 347s| 1 | 0 |455857 | - | 117M| 0 | 940 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.633968e+02 |-4.900000e+01 | 81.40%
352.71/352.74 c 353s| 1 | 0 |458437 | - | 116M| 0 | 929 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.629886e+02 |-4.900000e+01 | 81.37%
358.10/358.14 c 358s| 1 | 0 |461157 | - | 116M| 0 | 938 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.625586e+02 |-4.900000e+01 | 81.34%
363.41/363.43 c 363s| 1 | 0 |463862 | - | 115M| 0 | 942 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.623322e+02 |-4.900000e+01 | 81.32%
368.31/368.38 c 368s| 1 | 0 |465971 | - | 114M| 0 | 930 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.621421e+02 |-4.900000e+01 | 81.31%
373.40/373.49 c 373s| 1 | 0 |468203 | - | 114M| 0 | 922 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.618046e+02 |-4.900000e+01 | 81.28%
378.61/378.60 c 379s| 1 | 0 |470695 | - | 113M| 0 | 924 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.615158e+02 |-4.900000e+01 | 81.26%
383.41/383.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.41/383.42 c 383s| 1 | 0 |472275 | - | 113M| 0 | 937 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.613394e+02 |-4.900000e+01 | 81.25%
388.21/388.26 c 388s| 1 | 0 |473948 | - | 112M| 0 | 938 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.610586e+02 |-4.900000e+01 | 81.23%
393.41/393.42 c 393s| 1 | 0 |476018 | - | 112M| 0 | 942 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.607377e+02 |-4.900000e+01 | 81.21%
398.60/398.62 c 399s| 1 | 0 |478490 | - | 111M| 0 | 941 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.603718e+02 |-4.900000e+01 | 81.18%
404.11/404.14 c 404s| 1 | 0 |481437 | - | 110M| 0 | 946 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.600390e+02 |-4.900000e+01 | 81.16%
409.21/409.26 c 409s| 1 | 0 |483599 | - | 109M| 0 | 940 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.598056e+02 |-4.900000e+01 | 81.14%
414.11/414.14 c 414s| 1 | 0 |485220 | - | 109M| 0 | 947 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.595566e+02 |-4.900000e+01 | 81.12%
419.01/419.04 c 419s| 1 | 0 |486664 | - | 108M| 0 | 949 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.593774e+02 |-4.900000e+01 | 81.11%
424.30/424.38 c 424s| 1 | 0 |488675 | - | 106M| 0 | 948 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.591971e+02 |-4.900000e+01 | 81.10%
429.01/429.09 c 429s| 1 | 0 |489787 | - | 105M| 0 | 943 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.590312e+02 |-4.900000e+01 | 81.08%
434.30/434.30 c 434s| 1 | 0 |491808 | - | 102M| 0 | 946 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.587376e+02 |-4.900000e+01 | 81.06%
439.40/439.41 c 439s| 1 | 0 |493616 | - | 101M| 0 | 947 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.585821e+02 |-4.900000e+01 | 81.05%
445.01/445.06 c 445s| 1 | 0 |496396 | - | 101M| 0 | 956 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.581204e+02 |-4.900000e+01 | 81.02%
450.11/450.20 c 450s| 1 | 0 |498090 | - | 100M| 0 | 956 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.579335e+02 |-4.900000e+01 | 81.00%
454.91/454.97 c 455s| 1 | 0 |499295 | - | 98M| 0 | 955 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.578269e+02 |-4.900000e+01 | 81.00%
460.91/460.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.91/460.97 c 461s| 1 | 0 |502541 | - | 97M| 0 | 956 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.574100e+02 |-4.900000e+01 | 80.96%
466.91/466.92 c 467s| 1 | 0 |505724 | - | 96M| 0 | 949 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.570946e+02 |-4.900000e+01 | 80.94%
472.71/472.73 c 473s| 1 | 0 |509099 | - | 93M| 0 | 952 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.568874e+02 |-4.900000e+01 | 80.93%
477.91/477.93 c 478s| 1 | 0 |510995 | - | 91M| 0 | 959 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.566295e+02 |-4.900000e+01 | 80.91%
482.61/482.64 c 483s| 1 | 0 |511938 | - | 90M| 0 | 961 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.564929e+02 |-4.900000e+01 | 80.90%
487.90/487.95 c 488s| 1 | 0 |513805 | - | 88M| 0 | 963 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.563279e+02 |-4.900000e+01 | 80.88%
493.11/493.12 c 493s| 1 | 0 |515638 | - | 87M| 0 | 964 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.561492e+02 |-4.900000e+01 | 80.87%
498.01/498.03 c 498s| 1 | 0 |516941 | - | 87M| 0 | 956 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.559470e+02 |-4.900000e+01 | 80.86%
502.81/502.85 c 503s| 1 | 0 |518091 | - | 86M| 0 | 962 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.558094e+02 |-4.900000e+01 | 80.85%
508.31/508.31 c 508s| 1 | 0 |520497 | - | 86M| 0 | 964 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.556082e+02 |-4.900000e+01 | 80.83%
513.61/513.61 c 514s| 1 | 0 |522336 | - | 84M| 0 | 958 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.552866e+02 |-4.900000e+01 | 80.81%
519.01/519.06 c 519s| 1 | 0 |524384 | - | 83M| 0 | 964 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.549694e+02 |-4.900000e+01 | 80.78%
523.91/523.95 c 524s| 1 | 0 |525650 | - | 83M| 0 | 958 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.548153e+02 |-4.900000e+01 | 80.77%
529.41/529.47 c 529s| 1 | 0 |527761 | - | 83M| 0 | 964 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.544606e+02 |-4.900000e+01 | 80.74%
535.01/535.02 c 535s| 1 | 0 |530061 | - | 83M| 0 | 962 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.541856e+02 |-4.900000e+01 | 80.72%
540.21/540.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.21/540.25 c 540s| 1 | 0 |531622 | - | 83M| 0 | 968 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.540394e+02 |-4.900000e+01 | 80.71%
545.61/545.62 c 546s| 1 | 0 |533372 | - | 83M| 0 | 965 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.538626e+02 |-4.900000e+01 | 80.70%
550.91/550.98 c 551s| 1 | 0 |534954 | - | 83M| 0 | 970 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.536544e+02 |-4.900000e+01 | 80.68%
556.31/556.32 c 556s| 1 | 0 |536848 | - | 83M| 0 | 975 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.534243e+02 |-4.900000e+01 | 80.66%
561.21/561.28 c 561s| 1 | 0 |537927 | - | 83M| 0 | 978 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.532710e+02 |-4.900000e+01 | 80.65%
566.21/566.29 c 566s| 1 | 0 |539188 | - | 83M| 0 | 978 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.531309e+02 |-4.900000e+01 | 80.64%
571.61/571.68 c 572s| 1 | 0 |540562 | - | 83M| 0 | 976 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.529139e+02 |-4.900000e+01 | 80.63%
576.42/576.49 c 576s| 1 | 0 |541364 | - | 83M| 0 | 975 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.528342e+02 |-4.900000e+01 | 80.62%
581.82/581.89 c 582s| 1 | 0 |542970 | - | 83M| 0 | 978 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.526475e+02 |-4.900000e+01 | 80.61%
586.81/586.84 c 587s| 1 | 0 |544016 | - | 83M| 0 | 980 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.525003e+02 |-4.900000e+01 | 80.59%
591.91/591.91 c 592s| 1 | 0 |545178 | - | 83M| 0 | 981 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.522544e+02 |-4.900000e+01 | 80.58%
597.32/597.36 c 597s| 1 | 0 |546720 | - | 83M| 0 | 983 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.520895e+02 |-4.900000e+01 | 80.56%
602.51/602.52 c 603s| 1 | 0 |547873 | - | 83M| 0 | 980 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.519373e+02 |-4.900000e+01 | 80.55%
607.82/607.83 c 608s| 1 | 0 |549529 | - | 82M| 0 | 984 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.516498e+02 |-4.900000e+01 | 80.53%
612.72/612.73 c 613s| 1 | 0 |550320 | - | 82M| 0 | 982 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.515502e+02 |-4.900000e+01 | 80.52%
617.71/617.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.71/617.76 c 618s| 1 | 0 |551656 | - | 82M| 0 | 981 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.514423e+02 |-4.900000e+01 | 80.51%
622.81/622.85 c 623s| 1 | 0 |552762 | - | 82M| 0 | 985 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.512888e+02 |-4.900000e+01 | 80.50%
628.21/628.27 c 628s| 1 | 0 |554283 | - | 82M| 0 | 988 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.510971e+02 |-4.900000e+01 | 80.49%
633.61/633.68 c 634s| 1 | 0 |555840 | - | 82M| 0 | 989 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.509229e+02 |-4.900000e+01 | 80.47%
638.81/638.82 c 639s| 1 | 0 |556928 | - | 82M| 0 | 987 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.507804e+02 |-4.900000e+01 | 80.46%
643.92/643.94 c 644s| 1 | 0 |557881 | - | 82M| 0 | 992 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.506543e+02 |-4.900000e+01 | 80.45%
648.81/648.87 c 649s| 1 | 0 |558762 | - | 82M| 0 | 990 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.505005e+02 |-4.900000e+01 | 80.44%
653.72/653.77 c 654s| 1 | 0 |559465 | - | 82M| 0 | 993 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.504271e+02 |-4.900000e+01 | 80.43%
659.02/659.09 c 659s| 1 | 0 |561051 | - | 82M| 0 | 989 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.502153e+02 |-4.900000e+01 | 80.42%
664.81/664.81 c 665s| 1 | 0 |562858 | - | 82M| 0 | 993 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.500455e+02 |-4.900000e+01 | 80.40%
669.72/669.77 c 670s| 1 | 0 |563618 | - | 82M| 0 | 994 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.499562e+02 |-4.900000e+01 | 80.40%
675.12/675.17 c 675s| 1 | 0 |564704 | - | 82M| 0 | 995 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.498091e+02 |-4.900000e+01 | 80.39%
679.91/679.93 c 680s| 1 | 0 |565136 | - | 82M| 0 | 991 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.497713e+02 |-4.900000e+01 | 80.38%
684.92/684.98 c 685s| 1 | 0 |565999 | - | 82M| 0 | 993 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.496492e+02 |-4.900000e+01 | 80.37%
689.92/689.94 c 690s| 1 | 0 |566707 | - | 82M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.495680e+02 |-4.900000e+01 | 80.37%
695.02/695.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
695.02/695.06 c 695s| 1 | 0 |567663 | - | 82M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.494318e+02 |-4.900000e+01 | 80.36%
700.02/700.00 c 700s| 1 | 0 |568494 | - | 82M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.493311e+02 |-4.900000e+01 | 80.35%
705.32/705.33 c 705s| 1 | 0 |569518 | - | 82M| 0 | 995 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.491841e+02 |-4.900000e+01 | 80.34%
710.12/710.12 c 710s| 1 | 0 |570091 | - | 82M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.491285e+02 |-4.900000e+01 | 80.33%
715.22/715.22 c 715s| 1 | 0 |570900 | - | 82M| 0 | 996 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.490096e+02 |-4.900000e+01 | 80.32%
720.42/720.43 c 720s| 1 | 0 |571792 | - | 82M| 0 | 993 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.488653e+02 |-4.900000e+01 | 80.31%
725.52/725.51 c 726s| 1 | 0 |572648 | - | 82M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.488068e+02 |-4.900000e+01 | 80.31%
730.81/730.89 c 731s| 1 | 0 |574009 | - | 82M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.485993e+02 |-4.900000e+01 | 80.29%
736.21/736.26 c 736s| 1 | 0 |575119 | - | 82M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.484456e+02 |-4.900000e+01 | 80.28%
741.72/741.79 c 742s| 1 | 0 |576673 | - | 82M| 0 | 993 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.483079e+02 |-4.900000e+01 | 80.27%
747.61/747.62 c 748s| 1 | 0 |578273 | - | 82M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.480828e+02 |-4.900000e+01 | 80.25%
753.11/753.11 c 753s| 1 | 0 |579494 | - | 82M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.479141e+02 |-4.900000e+01 | 80.24%
758.42/758.46 c 758s| 1 | 0 |580297 | - | 82M| 0 | 995 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.478403e+02 |-4.900000e+01 | 80.23%
763.92/763.91 c 764s| 1 | 0 |581303 | - | 82M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.477045e+02 |-4.900000e+01 | 80.22%
769.52/769.56 c 770s| 1 | 0 |582568 | - | 82M| 0 | 996 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.475454e+02 |-4.900000e+01 | 80.21%
774.82/774.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
774.82/774.82 c 775s| 1 | 0 |583619 | - | 82M| 0 | 995 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.473915e+02 |-4.900000e+01 | 80.19%
779.92/779.98 c 780s| 1 | 0 |584285 | - | 82M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.473235e+02 |-4.900000e+01 | 80.19%
785.11/785.16 c 785s| 1 | 0 |585107 | - | 82M| 0 | 996 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.472443e+02 |-4.900000e+01 | 80.18%
790.42/790.44 c 790s| 1 | 0 |586172 | - | 82M| 0 | 996 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.471023e+02 |-4.900000e+01 | 80.17%
795.52/795.55 c 796s| 1 | 0 |586660 | - | 82M| 0 | 996 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.470313e+02 |-4.900000e+01 | 80.16%
800.62/800.68 c 801s| 1 | 0 |587456 | - | 82M| 0 | 996 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.469833e+02 |-4.900000e+01 | 80.16%
806.22/806.26 c 806s| 1 | 0 |588961 | - | 82M| 0 | 995 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.468373e+02 |-4.900000e+01 | 80.15%
811.61/811.70 c 812s| 1 | 0 |589999 | - | 82M| 0 | 995 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.467301e+02 |-4.900000e+01 | 80.14%
817.02/817.03 c 817s| 1 | 0 |590916 | - | 82M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.465984e+02 |-4.900000e+01 | 80.13%
822.32/822.39 c 822s| 1 | 0 |591757 | - | 82M| 0 | 996 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.464743e+02 |-4.900000e+01 | 80.12%
827.61/827.61 c 828s| 1 | 0 |592337 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.464124e+02 |-4.900000e+01 | 80.11%
833.02/833.03 c 833s| 1 | 0 |593060 | - | 82M| 0 | 997 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.463214e+02 |-4.900000e+01 | 80.11%
838.32/838.32 c 838s| 1 | 0 |593972 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.462115e+02 |-4.900000e+01 | 80.10%
843.63/843.61 c 844s| 1 | 0 |594703 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.461080e+02 |-4.900000e+01 | 80.09%
848.82/848.88 c 849s| 1 | 0 |595485 | - | 82M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.460158e+02 |-4.900000e+01 | 80.08%
854.22/854.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.22/854.27 c 854s| 1 | 0 |596372 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.458854e+02 |-4.900000e+01 | 80.07%
859.62/859.62 c 860s| 1 | 0 |597135 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.457910e+02 |-4.900000e+01 | 80.06%
865.42/865.42 c 865s| 1 | 0 |598452 | - | 82M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.455697e+02 |-4.900000e+01 | 80.05%
871.42/871.43 c 871s| 1 | 0 |600437 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.454133e+02 |-4.900000e+01 | 80.03%
877.02/877.01 c 877s| 1 | 0 |601724 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.452695e+02 |-4.900000e+01 | 80.02%
882.52/882.53 c 883s| 1 | 0 |602798 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.452010e+02 |-4.900000e+01 | 80.02%
887.82/887.83 c 888s| 1 | 0 |603640 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.451427e+02 |-4.900000e+01 | 80.01%
893.23/893.25 c 893s| 1 | 0 |604467 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.450365e+02 |-4.900000e+01 | 80.00%
898.82/898.82 c 899s| 1 | 0 |605504 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.449629e+02 |-4.900000e+01 | 80.00%
904.32/904.38 c 904s| 1 | 0 |606614 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.448314e+02 |-4.900000e+01 | 79.99%
909.32/909.30 c 909s| 1 | 0 |607071 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.447936e+02 |-4.900000e+01 | 79.98%
914.42/914.43 c 914s| 1 | 0 |607507 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.447487e+02 |-4.900000e+01 | 79.98%
919.72/919.80 c 920s| 1 | 0 |608498 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.446606e+02 |-4.900000e+01 | 79.97%
924.92/924.92 c 925s| 1 | 0 |608924 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.446356e+02 |-4.900000e+01 | 79.97%
930.13/930.16 c 930s| 1 | 0 |609473 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.446097e+02 |-4.900000e+01 | 79.97%
935.42/935.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.42/935.43 c 935s| 1 | 0 |610230 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.445620e+02 |-4.900000e+01 | 79.96%
940.82/940.87 c 941s| 1 | 0 |611262 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.444807e+02 |-4.900000e+01 | 79.96%
946.43/946.42 c 946s| 1 | 0 |612258 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.443989e+02 |-4.900000e+01 | 79.95%
951.82/951.82 c 952s| 1 | 0 |613070 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.443406e+02 |-4.900000e+01 | 79.95%
957.32/957.31 c 957s| 1 | 0 |613835 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.442583e+02 |-4.900000e+01 | 79.94%
962.62/962.66 c 963s| 1 | 0 |614622 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.441959e+02 |-4.900000e+01 | 79.93%
968.03/968.02 c 968s| 1 | 0 |615659 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.441223e+02 |-4.900000e+01 | 79.93%
973.43/973.43 c 973s| 1 | 0 |616405 | - | 82M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.440632e+02 |-4.900000e+01 | 79.92%
978.93/978.99 c 979s| 1 | 0 |617492 | - | 82M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.439773e+02 |-4.900000e+01 | 79.92%
984.12/984.17 c 984s| 1 | 0 |618033 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.439415e+02 |-4.900000e+01 | 79.91%
989.63/989.62 c 990s| 1 | 0 |618877 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.438373e+02 |-4.900000e+01 | 79.90%
994.92/994.99 c 995s| 1 | 0 |619504 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.437771e+02 |-4.900000e+01 | 79.90%
1000.23/1000.25 c 1000s| 1 | 0 |620135 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.437330e+02 |-4.900000e+01 | 79.90%
1005.52/1005.53 c 1006s| 1 | 0 |620769 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.436731e+02 |-4.900000e+01 | 79.89%
1011.23/1011.25 c 1011s| 1 | 0 |622048 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.435636e+02 |-4.900000e+01 | 79.88%
1016.53/1016.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1016.53/1016.55 c 1017s| 1 | 0 |622738 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.435106e+02 |-4.900000e+01 | 79.88%
1022.13/1022.18 c 1022s| 1 | 0 |623745 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.434402e+02 |-4.900000e+01 | 79.87%
1027.44/1027.44 c 1027s| 1 | 0 |624281 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.434197e+02 |-4.900000e+01 | 79.87%
1032.72/1032.71 c 1033s| 1 | 0 |625017 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.433759e+02 |-4.900000e+01 | 79.87%
1038.03/1038.01 c 1038s| 1 | 0 |625734 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.433268e+02 |-4.900000e+01 | 79.86%
1043.52/1043.57 c 1044s| 1 | 0 |626835 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.432864e+02 |-4.900000e+01 | 79.86%
1048.83/1048.87 c 1049s| 1 | 0 |627736 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.432553e+02 |-4.900000e+01 | 79.86%
1054.53/1054.51 c 1055s| 1 | 0 |628761 | - | 82M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.431993e+02 |-4.900000e+01 | 79.85%
1060.23/1060.28 c 1060s| 1 | 0 |629874 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.431347e+02 |-4.900000e+01 | 79.85%
1066.13/1066.20 c 1066s| 1 | 0 |631514 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.430796e+02 |-4.900000e+01 | 79.84%
1071.44/1071.47 c 1071s| 1 | 0 |632104 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.430432e+02 |-4.900000e+01 | 79.84%
1076.53/1076.56 c 1077s| 1 | 0 |632710 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.430112e+02 |-4.900000e+01 | 79.84%
1081.93/1081.94 c 1082s| 1 | 0 |633472 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.429740e+02 |-4.900000e+01 | 79.83%
1087.23/1087.21 c 1087s| 1 | 0 |634051 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.429486e+02 |-4.900000e+01 | 79.83%
1092.83/1092.88 c 1093s| 1 | 0 |635072 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.429055e+02 |-4.900000e+01 | 79.83%
1098.53/1098.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.53/1098.58 c 1099s| 1 | 0 |636491 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.428390e+02 |-4.900000e+01 | 79.82%
1104.03/1104.00 c 1104s| 1 | 0 |637269 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.427980e+02 |-4.900000e+01 | 79.82%
1109.53/1109.60 c 1110s| 1 | 0 |638331 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.427565e+02 |-4.900000e+01 | 79.82%
1114.73/1114.79 c 1115s| 1 | 0 |638812 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.427277e+02 |-4.900000e+01 | 79.81%
1120.03/1120.09 c 1120s| 1 | 0 |639546 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.426909e+02 |-4.900000e+01 | 79.81%
1125.53/1125.54 c 1126s| 1 | 0 |640375 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.426509e+02 |-4.900000e+01 | 79.81%
1130.93/1130.96 c 1131s| 1 | 0 |641467 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.426074e+02 |-4.900000e+01 | 79.80%
1136.43/1136.48 c 1136s| 1 | 0 |642282 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.425778e+02 |-4.900000e+01 | 79.80%
1141.63/1141.60 c 1142s| 1 | 0 |642770 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.425600e+02 |-4.900000e+01 | 79.80%
1147.03/1147.03 c 1147s| 1 | 0 |643920 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.425327e+02 |-4.900000e+01 | 79.80%
1152.53/1152.54 c 1153s| 1 | 0 |644798 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.425015e+02 |-4.900000e+01 | 79.79%
1158.13/1158.16 c 1158s| 1 | 0 |646103 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.424646e+02 |-4.900000e+01 | 79.79%
1163.03/1163.09 c 1163s| 1 | 0 |646575 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.424485e+02 |-4.900000e+01 | 79.79%
1168.53/1168.59 c 1169s| 1 | 0 |647444 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.424290e+02 |-4.900000e+01 | 79.79%
1174.13/1174.18 c 1174s| 1 | 0 |648556 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.423969e+02 |-4.900000e+01 | 79.79%
1179.73/1179.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.73/1179.79 c 1180s| 1 | 0 |649941 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.423752e+02 |-4.900000e+01 | 79.78%
1185.23/1185.29 c 1185s| 1 | 0 |650885 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.423477e+02 |-4.900000e+01 | 79.78%
1190.63/1190.69 c 1191s| 1 | 0 |651949 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.423205e+02 |-4.900000e+01 | 79.78%
1195.93/1195.92 c 1196s| 1 | 0 |652768 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.422984e+02 |-4.900000e+01 | 79.78%
1201.43/1201.44 c 1201s| 1 | 0 |653903 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.422746e+02 |-4.900000e+01 | 79.78%
1206.83/1206.82 c 1207s| 1 | 0 |654922 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.422578e+02 |-4.900000e+01 | 79.77%
1212.43/1212.41 c 1212s| 1 | 0 |656246 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.422254e+02 |-4.900000e+01 | 79.77%
1217.53/1217.50 c 1218s| 1 | 0 |656852 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421996e+02 |-4.900000e+01 | 79.77%
1222.73/1222.79 c 1223s| 1 | 0 |657649 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421745e+02 |-4.900000e+01 | 79.77%
1227.73/1227.70 c 1228s| 1 | 0 |658164 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421624e+02 |-4.900000e+01 | 79.77%
1232.94/1233.00 c 1233s| 1 | 0 |658968 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421494e+02 |-4.900000e+01 | 79.76%
1238.13/1238.13 c 1238s| 1 | 0 |659740 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421334e+02 |-4.900000e+01 | 79.76%
1243.44/1243.40 c 1243s| 1 | 0 |660719 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421100e+02 |-4.900000e+01 | 79.76%
1248.44/1248.45 c 1248s| 1 | 0 |661293 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420944e+02 |-4.900000e+01 | 79.76%
1253.73/1253.70 c 1254s| 1 | 0 |662079 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420762e+02 |-4.900000e+01 | 79.76%
1258.83/1258.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1258.83/1258.81 c 1259s| 1 | 0 |663089 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420582e+02 |-4.900000e+01 | 79.76%
1263.74/1263.79 c 1264s| 1 | 0 |663710 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420452e+02 |-4.900000e+01 | 79.76%
1269.44/1269.41 c 1269s| 1 | 0 |665553 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420285e+02 |-4.900000e+01 | 79.75%
1274.43/1274.41 c 1274s| 1 | 0 |666236 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420196e+02 |-4.900000e+01 | 79.75%
1279.54/1279.51 c 1280s| 1 | 0 |666887 | - | 82M| 0 | 967 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420000e+02 |-4.900000e+01 | 79.75%
1295.54/1295.59 c 1296s| 1 | 2 |666887 | - | 82M| 0 | 967 |1000 | 37k|1000 | 11k| 28k| 0 | 18 |-2.420000e+02 |-4.900000e+01 | 79.75%
1797.06/1797.01 c
1797.06/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.06/1797.01 c Solving Time (sec) : 1797.01
1797.06/1797.01 c Solving Nodes : 259
1797.06/1797.01 c Primal Bound : -4.90000000000000e+01 (83 solutions)
1797.06/1797.01 c Dual Bound : -2.39534304257940e+02
1797.06/1797.01 c Gap : 79.54 %
1797.06/1797.01 s SATISFIABLE
1797.06/1797.01 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.06/1797.01 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.06/1797.01 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1797.06/1797.01 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1797.06/1797.01 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896
1797.06/1797.01 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1797.06/1797.01 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1797.06/1797.01 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1797.06/1797.01 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1797.06/1797.01 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
1797.06/1797.01 v -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 -x770
1797.06/1797.01 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750
1797.06/1797.01 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729
1797.06/1797.01 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
1797.06/1797.01 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1797.06/1797.01 v x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
1797.06/1797.01 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645
1797.06/1797.01 v -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1797.06/1797.01 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1797.06/1797.01 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1797.06/1797.01 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562
1797.06/1797.01 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541
1797.06/1797.01 v -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
1797.06/1797.01 v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499
1797.06/1797.01 v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478
1797.06/1797.01 v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
1797.06/1797.01 v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1797.06/1797.01 v x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415
1797.06/1797.01 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394
1797.06/1797.01 v -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
1797.06/1797.01 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1797.06/1797.01 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1797.06/1797.01 v -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1797.06/1797.01 v -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1797.06/1797.01 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 x268
1797.06/1797.01 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247
1797.06/1797.01 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.06/1797.01 v -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.06/1797.01 v x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184
1797.06/1797.01 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.06/1797.01 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142
1797.06/1797.01 v -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1797.06/1797.01 v -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 x103 -x102 -x101 -x100 -x99
1797.06/1797.01 v -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.06/1797.01 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.06/1797.01 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.06/1797.01 v x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 x13 -x12 -x11 x10 -x9 x8 x7 x6 -x5 x4 -x3 x2 x1
1797.06/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.06/1797.01 c Total Time : 1797.01
1797.06/1797.01 c solving : 1797.01
1797.06/1797.01 c presolving : 0.92 (included in solving)
1797.06/1797.01 c reading : 0.06 (included in solving)
1797.06/1797.01 c Original Problem :
1797.06/1797.01 c Problem name : HOME/instance-3485126-1307783256.opb
1797.06/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.06/1797.01 c Constraints : 1000 initial, 1000 maximal
1797.06/1797.01 c Presolved Problem :
1797.06/1797.01 c Problem name : t_HOME/instance-3485126-1307783256.opb
1797.06/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.06/1797.01 c Constraints : 37643 initial, 37643 maximal
1797.06/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.06/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c probing : 0.16 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c and : 0.37 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c linear : 0.10 37643 0 0 37643 0 1000 0 0 0
1797.06/1797.01 c logicor : 0.06 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c root node : - 0 - - 0 - - - - -
1797.06/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.06/1797.01 c integral : 0 0 0 258 0 5006 0 0 0 0 0 516
1797.06/1797.01 c logicor : 37643 347 1093 0 0 5002 0 0 13057 32463 0 0
1797.06/1797.01 c countsols : 0 0 0 0 0 85 0 0 0 0 0 0
1797.06/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.06/1797.01 c integral : 191.12 0.00 0.00 191.11 0.00 0.01 0.00
1797.06/1797.01 c logicor : 5.23 2.92 0.50 0.00 0.00 1.81 0.00
1797.06/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.06/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.06/1797.01 c vbounds : 0 0 0 0
1797.06/1797.01 c rootredcost : 0 0 0 0
1797.06/1797.01 c pseudoobj : 5989 0 0 0
1797.06/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.06/1797.01 c vbounds : 0.00 0.00 0.00
1797.06/1797.01 c rootredcost : 0.00 0.00 0.00
1797.06/1797.01 c pseudoobj : 0.10 0.10 0.00
1797.06/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.06/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.06/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.06/1797.01 c applied globally : - - - 0 0.0 - - -
1797.06/1797.01 c applied locally : - - - 0 0.0 - - -
1797.06/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.06/1797.01 c cut pool : 1.10 346 - - 5241 - (maximal pool size: 18530)
1797.06/1797.01 c redcost : 0.01 604 0 0 0 0
1797.06/1797.01 c impliedbounds : 0.40 345 0 0 27889 0
1797.06/1797.01 c intobj : 0.00 0 0 0 0 0
1797.06/1797.01 c gomory : 927.87 344 0 0 77838 0
1797.06/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.06/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.06/1797.01 c strongcg : 1.73 20 0 0 10000 0
1797.06/1797.01 c cmir : 1.50 10 0 0 0 0
1797.06/1797.01 c flowcover : 1.37 10 0 0 0 0
1797.06/1797.01 c clique : 14.21 344 0 0 3223 0
1797.06/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.06/1797.01 c mcf : 0.03 1 0 0 0 0
1797.06/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.06/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.06/1797.01 c Pricers : Time Calls Vars
1797.06/1797.01 c problem variables: 0.00 0 0
1797.06/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.06/1797.01 c relpscost : 191.11 258 0 0 0 0 516
1797.06/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.06/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.06/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.06/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.06/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.06/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.06/1797.01 c random : 0.00 0 0 0 0 0 0
1797.06/1797.01 c Primal Heuristics : Time Calls Found
1797.06/1797.01 c LP solutions : 0.00 - 0
1797.06/1797.01 c pseudo solutions : 0.00 - 0
1797.06/1797.01 c intshifting : 0.00 0 0
1797.06/1797.01 c feaspump : 0.00 0 0
1797.06/1797.01 c oneopt : 0.01 2 1
1797.06/1797.01 c guideddiving : 18.50 10 0
1797.06/1797.01 c coefdiving : 22.78 11 3
1797.06/1797.01 c pscostdiving : 19.73 11 0
1797.06/1797.01 c trivial : 0.02 2 1
1797.06/1797.01 c shiftandpropagate: 0.00 0 0
1797.06/1797.01 c simplerounding : 0.54 604 67
1797.06/1797.01 c zirounding : 0.12 258 0
1797.06/1797.01 c rounding : 12.23 604 1
1797.06/1797.01 c shifting : 9.06 372 1
1797.06/1797.01 c twoopt : 0.00 0 0
1797.06/1797.01 c fixandinfer : 0.00 0 0
1797.06/1797.01 c clique : 0.00 0 0
1797.06/1797.01 c fracdiving : 19.17 11 0
1797.06/1797.01 c veclendiving : 15.91 11 5
1797.06/1797.01 c intdiving : 0.00 0 0
1797.06/1797.01 c actconsdiving : 0.00 0 0
1797.06/1797.01 c objpscostdiving : 26.58 1 0
1797.06/1797.01 c rootsoldiving : 6.45 4 0
1797.06/1797.01 c linesearchdiving : 22.09 11 4
1797.06/1797.01 c octane : 0.00 0 0
1797.06/1797.01 c rens : 0.01 0 0
1797.06/1797.01 c rins : 0.00 0 0
1797.06/1797.01 c localbranching : 0.00 0 0
1797.06/1797.01 c mutation : 0.00 0 0
1797.06/1797.01 c crossover : 0.02 1 0
1797.06/1797.01 c dins : 0.00 0 0
1797.06/1797.01 c vbounds : 0.00 0 0
1797.06/1797.01 c undercover : 0.00 0 0
1797.06/1797.01 c subnlp : 0.00 0 0
1797.06/1797.01 c trysol : 0.00 0 0
1797.06/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.06/1797.01 c primal LP : 0.95 0 0 0.00 0.00
1797.06/1797.01 c dual LP : 475.81 605 1655860 2736.96 3480.06
1797.06/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.06/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.06/1797.01 c diving/probing LP: 148.28 4631 1215600 262.49 8197.91
1797.06/1797.01 c strong branching : 191.05 1263 946666 749.54 4954.98
1797.06/1797.01 c (at root node) : - 18 16004 889.11 -
1797.06/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.06/1797.01 c B&B Tree :
1797.06/1797.01 c number of runs : 1
1797.06/1797.01 c nodes : 259
1797.06/1797.01 c nodes (total) : 259
1797.06/1797.01 c nodes left : 260
1797.06/1797.01 c max depth : 42
1797.06/1797.01 c max depth (total): 42
1797.06/1797.01 c backtracks : 70 (27.0%)
1797.06/1797.01 c delayed cutoffs : 0
1797.06/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.06/1797.01 c avg switch length: 3.82
1797.06/1797.01 c switching time : 0.13
1797.06/1797.01 c Solution :
1797.06/1797.01 c Solutions found : 83 (4 improvements)
1797.06/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.24 seconds, depth 0, found by <trivial>)
1797.06/1797.01 c Primal Bound : -4.90000000000000e+01 (in run 1, after 1 nodes, 2.20 seconds, depth 0, found by <oneopt>)
1797.06/1797.01 c Dual Bound : -2.39534304257940e+02
1797.06/1797.01 c Gap : 79.54 %
1797.06/1797.01 c Root Dual Bound : -2.42000000000000e+02
1797.06/1797.01 c Root Iterations : 666887
1797.15/1797.10 c Time complete: 1797.16.
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-3485126-1307783256/watcher-3485126-1307783256 -o /tmp/evaluation-result-3485126-1307783256/solver-3485126-1307783256 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485126-1307783256.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: 1.10 1.48 1.78 2/174 6443
/proc/meminfo: memFree=30796320/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=10700 CPUtime=0 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 1682 0 0 0 0 0 0 0 18 0 1 0 968556112 10956800 1637 33554432000 4194304 8979876 140737408828160 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6443/statm: 2675 1637 367 1169 0 1502 0
[startup+0.00752508 s]
/proc/loadavg: 1.10 1.48 1.78 2/174 6443
/proc/meminfo: memFree=30796320/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=10980 CPUtime=0 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 1742 0 0 0 0 0 0 0 18 0 1 0 968556112 11243520 1697 33554432000 4194304 8979876 140737408828160 18446744073709551615 4446960 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6443/statm: 2745 1697 367 1169 0 1572 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10980
[startup+0.100541 s]
/proc/loadavg: 1.10 1.48 1.78 2/174 6443
/proc/meminfo: memFree=30796320/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=38532 CPUtime=0.09 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 8392 0 0 0 9 0 0 0 18 0 1 0 968556112 39456768 8347 33554432000 4194304 8979876 140737408828160 18446744073709551615 6779042 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 9633 8347 456 1169 0 8460 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38532
[startup+0.300504 s]
/proc/loadavg: 1.10 1.48 1.78 2/174 6443
/proc/meminfo: memFree=30796320/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=92976 CPUtime=0.29 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 21806 0 0 0 28 1 0 0 18 0 1 0 968556112 95207424 21285 33554432000 4194304 8979876 140737408828160 18446744073709551615 7836048 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 23244 21285 480 1169 0 22071 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92976
[startup+0.700428 s]
/proc/loadavg: 1.10 1.48 1.78 2/174 6443
/proc/meminfo: memFree=30796320/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=101596 CPUtime=0.69 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 26301 0 0 0 67 2 0 0 18 0 1 0 968556112 104034304 23431 33554432000 4194304 8979876 140737408828160 18446744073709551615 7813282 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 25399 23431 501 1169 0 24226 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101596
[startup+1.50031 s]
/proc/loadavg: 1.10 1.48 1.78 3/175 6444
/proc/meminfo: memFree=30631912/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=170836 CPUtime=1.49 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 44329 0 0 0 145 4 0 0 18 0 1 0 968556112 174936064 39350 33554432000 4194304 8979876 140737408828160 18446744073709551615 5887222 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 42709 39350 662 1169 0 41536 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 170836
[startup+3.10099 s]
/proc/loadavg: 1.10 1.48 1.78 3/175 6444
/proc/meminfo: memFree=30568764/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=170836 CPUtime=3.09 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 45461 0 0 0 305 4 0 0 21 0 1 0 968556112 174936064 40314 33554432000 4194304 8979876 140737408828160 18446744073709551615 6888511 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 42709 40314 668 1169 0 41536 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 170836
[startup+6.30041 s]
/proc/loadavg: 1.17 1.49 1.78 3/175 6444
/proc/meminfo: memFree=30557508/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=176040 CPUtime=6.29 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 46942 0 0 0 624 5 0 0 25 0 1 0 968556112 180264960 41791 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 44010 41791 666 1169 0 42837 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 176040
[startup+12.7002 s]
/proc/loadavg: 1.24 1.49 1.78 3/175 6444
/proc/meminfo: memFree=30526332/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=193604 CPUtime=12.69 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 51585 0 0 0 1262 7 0 0 25 0 1 0 968556112 198250496 46266 33554432000 4194304 8979876 140737408828160 18446744073709551615 6820752 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 48401 46266 684 1169 0 47228 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 193604
[startup+25.5008 s]
/proc/loadavg: 1.41 1.52 1.78 3/175 6445
/proc/meminfo: memFree=30516912/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=193604 CPUtime=25.49 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 51656 0 0 0 2535 14 0 0 25 0 1 0 968556112 198250496 46309 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 48401 46309 656 1169 0 47228 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 193604
[startup+51.1011 s]
/proc/loadavg: 1.61 1.56 1.79 3/175 6445
/proc/meminfo: memFree=30484020/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=210156 CPUtime=51.1 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 55485 0 0 0 5083 27 0 0 25 0 1 0 968556112 215199744 50138 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 52539 50138 657 1169 0 51366 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 210156
[startup+102.307 s]
/proc/loadavg: 1.87 1.64 1.80 3/175 6447
/proc/meminfo: memFree=30425072/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=247764 CPUtime=102.3 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 64599 0 0 0 10181 49 0 0 25 0 1 0 968556112 253710336 58973 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 61941 58973 818 1169 0 60768 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 247764
[startup+162.3 s]
/proc/loadavg: 1.95 1.70 1.81 3/175 6448
/proc/meminfo: memFree=30424204/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=247764 CPUtime=162.29 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 64868 0 0 0 16162 67 0 0 25 0 1 0 968556112 253710336 59165 33554432000 4194304 8979876 140737408828160 18446744073709551615 7046487 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 61941 59165 831 1169 0 60768 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 247764
[startup+222.3 s]
/proc/loadavg: 1.98 1.75 1.82 3/175 6450
/proc/meminfo: memFree=30424156/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=247764 CPUtime=222.29 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 64883 0 0 0 22147 82 0 0 25 0 1 0 968556112 253710336 59167 33554432000 4194304 8979876 140737408828160 18446744073709551615 6601192 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 61941 59167 818 1169 0 60768 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 247764
[startup+282.301 s]
/proc/loadavg: 1.99 1.79 1.83 3/175 6452
/proc/meminfo: memFree=30424096/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=247764 CPUtime=282.3 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 64883 0 0 0 28131 99 0 0 25 0 1 0 968556112 253710336 59167 33554432000 4194304 8979876 140737408828160 18446744073709551615 4297880 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 61941 59167 818 1169 0 60768 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 247764
[startup+342.301 s]
/proc/loadavg: 2.04 1.84 1.84 3/175 6453
/proc/meminfo: memFree=30423420/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=249228 CPUtime=342.3 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 65095 0 0 0 34116 114 0 0 25 0 1 0 968556112 255209472 59338 33554432000 4194304 8979876 140737408828160 18446744073709551615 6603577 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 62307 59338 818 1169 0 61134 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 249228
[startup+402.301 s]
/proc/loadavg: 2.01 1.87 1.85 3/175 6455
/proc/meminfo: memFree=30422008/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=249228 CPUtime=402.31 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 65441 0 0 0 40102 129 0 0 25 0 1 0 968556112 255209472 59550 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 62307 59550 691 1169 0 61134 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 249228
[startup+462.301 s]
/proc/loadavg: 2.00 1.89 1.85 3/175 6456
/proc/meminfo: memFree=30421932/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=249228 CPUtime=462.31 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 65473 0 0 0 46089 142 0 0 25 0 1 0 968556112 255209472 59550 33554432000 4194304 8979876 140737408828160 18446744073709551615 6601243 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 62307 59550 659 1169 0 61134 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 249228
[startup+522.3 s]
/proc/loadavg: 2.00 1.91 1.86 3/175 6458
/proc/meminfo: memFree=30421744/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=249228 CPUtime=522.31 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 65473 0 0 0 52074 157 0 0 25 0 1 0 968556112 255209472 59550 33554432000 4194304 8979876 140737408828160 18446744073709551615 6543876 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 62307 59550 659 1169 0 61134 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 249228
[startup+582.3 s]
/proc/loadavg: 2.00 1.92 1.86 3/175 6460
/proc/meminfo: memFree=30421800/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=249228 CPUtime=582.31 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 65473 0 0 0 58062 169 0 0 25 0 1 0 968556112 255209472 59550 33554432000 4194304 8979876 140737408828160 18446744073709551615 7226379 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 62307 59550 659 1169 0 61134 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 249228
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30419240/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=249228 CPUtime=1062.32 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 65473 0 0 0 105972 260 0 0 25 0 1 0 968556112 255209472 59550 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 62307 59550 659 1169 0 61134 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 249228
[startup+1122.3 s]
/proc/loadavg: 2.08 1.99 1.91 3/175 6474
/proc/meminfo: memFree=30419064/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=249228 CPUtime=1122.33 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 65473 0 0 0 111960 273 0 0 25 0 1 0 968556112 255209472 59550 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 62307 59550 659 1169 0 61134 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 249228
[startup+1182.3 s]
/proc/loadavg: 2.03 1.99 1.91 3/175 6476
/proc/meminfo: memFree=30419120/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=249228 CPUtime=1182.33 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 65473 0 0 0 117950 283 0 0 25 0 1 0 968556112 255209472 59550 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 62307 59550 659 1169 0 61134 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 249228
[startup+1242.3 s]
/proc/loadavg: 2.01 1.99 1.91 3/175 6477
/proc/meminfo: memFree=30418932/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=249228 CPUtime=1242.33 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 65473 0 0 0 123937 296 0 0 25 0 1 0 968556112 255209472 59550 33554432000 4194304 8979876 140737408828160 18446744073709551615 7226379 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 62307 59550 659 1169 0 61134 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 249228
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/175 6479
/proc/meminfo: memFree=30418624/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1302.34 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66573 0 0 0 129924 310 0 0 25 0 1 0 968556112 259350528 60634 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60634 677 1169 0 62145 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 253272
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/175 6480
/proc/meminfo: memFree=30418728/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1362.34 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66573 0 0 0 135886 348 0 0 25 0 1 0 968556112 259350528 60634 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60634 677 1169 0 62145 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 253272
[startup+1422.31 s]
/proc/loadavg: 2.03 2.00 1.92 3/175 6482
/proc/meminfo: memFree=30418940/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1422.34 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66578 0 0 0 141822 412 0 0 25 0 1 0 968556112 259350528 60639 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60639 682 1169 0 62145 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 253272
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/175 6484
/proc/meminfo: memFree=30418784/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1482.34 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66578 0 0 0 147777 457 0 0 25 0 1 0 968556112 259350528 60639 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60639 682 1169 0 62145 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 253272
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 6485
/proc/meminfo: memFree=30418860/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1542.35 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66578 0 0 0 153728 507 0 0 25 0 1 0 968556112 259350528 60639 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60639 682 1169 0 62145 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 253272
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 6487
/proc/meminfo: memFree=30418956/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1602.35 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66578 0 0 0 159678 557 0 0 25 0 1 0 968556112 259350528 60639 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60639 682 1169 0 62145 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 253272
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 6488
/proc/meminfo: memFree=30419296/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1662.35 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66578 0 0 0 165621 614 0 0 25 0 1 0 968556112 259350528 60639 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60639 682 1169 0 62145 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 253272
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 6490
/proc/meminfo: memFree=30412568/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1722.35 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66595 0 0 0 171566 669 0 0 25 0 1 0 968556112 259350528 60656 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60656 699 1169 0 62145 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 253272
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 6492
/proc/meminfo: memFree=30411664/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1782.35 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66595 0 0 0 177512 723 0 0 25 0 1 0 968556112 259350528 60656 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60656 699 1169 0 62145 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 253272
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 6492
/proc/meminfo: memFree=30411664/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1785.55 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66595 0 0 0 177829 726 0 0 25 0 1 0 968556112 259350528 60656 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60656 699 1169 0 62145 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 253272
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 6492
/proc/meminfo: memFree=30411524/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1791.96 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66595 0 0 0 178464 732 0 0 25 0 1 0 968556112 259350528 60656 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60656 699 1169 0 62145 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 253272
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 6492
/proc/meminfo: memFree=30411524/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1795.16 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66595 0 0 0 178782 734 0 0 25 0 1 0 968556112 259350528 60656 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60656 699 1169 0 62145 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 253272
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 6492
/proc/meminfo: memFree=30411524/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1795.95 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66595 0 0 0 178860 735 0 0 25 0 1 0 968556112 259350528 60656 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60656 699 1169 0 62145 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 253272
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 6492
/proc/meminfo: memFree=30411524/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=253272 CPUtime=1796.75 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66595 0 0 0 178939 736 0 0 25 0 1 0 968556112 259350528 60656 33554432000 4194304 8979876 140737408828160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6443/statm: 63318 60656 699 1169 0 62145 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 253272
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 6492
/proc/meminfo: memFree=30411524/32951124 swapFree=67062556/67111528
[pid=6443] ppid=6441 vsize=197328 CPUtime=1797.15 cores=0,2,4,6
/proc/6443/stat : 6443 (scip-2.0.1.4_2.) R 6441 6443 5721 0 -1 4202496 66599 0 0 0 178978 737 0 0 18 0 1 0 968556112 202063872 47894 33554432000 4194304 8979876 140737408828160 18446744073709551615 4447316 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6443/statm: 49332 47637 703 1169 0 48159 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 197328
Child status: 0
Real time (s): 1797.11
CPU time (s): 1797.17
CPU user time (s): 1789.79
CPU system time (s): 7.38188
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 253272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.79
system time used= 7.38188
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 2676
runsolver used 2.78758 second user time and 5.40018 second system time
The end