0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450653-1307105222.opb>
0.08/0.09 c original problem has 16796 variables (16796 bin, 0 int, 0 impl, 0 cont) and 17796 constraints
0.08/0.09 c problem read
0.08/0.09 c presolving settings loaded
0.09/0.18 o 0
0.09/0.18 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.18 c presolving:
0.29/0.32 c (round 1) 15796 del vars, 2000 del conss, 0 add conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63184 impls, 0 clqs
0.29/0.37 c (round 2) 15796 del vars, 2000 del conss, 0 add conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 15796 upgd conss, 94776 impls, 0 clqs
0.39/0.41 c (0.4s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.41 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.41 c presolving (3 rounds):
0.39/0.41 c 15796 deleted vars, 2000 deleted constraints, 0 added constraints, 15796 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.41 c 94776 implications, 0 cliques
0.39/0.41 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15796 constraints
0.39/0.41 c 15796 constraints of type <logicor>
0.39/0.41 c transformed objective value is always integral (scale: 1)
0.39/0.41 c Presolving Time: 0.26
0.39/0.41 c - non default parameters ----------------------------------------------------------------------
0.39/0.41 c # SCIP version 2.0.1.5
0.39/0.41 c
0.39/0.41 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c conflict/interconss = 0
0.39/0.41 c
0.39/0.41 c # should binary conflicts be preferred?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c conflict/preferbinary = TRUE
0.39/0.41 c
0.39/0.41 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c constraints/agelimit = 1
0.39/0.41 c
0.39/0.41 c # should enforcement of pseudo solution be disabled?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/disableenfops = TRUE
0.39/0.41 c
0.39/0.41 c # frequency for displaying node information lines
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.41 c display/freq = 10000
0.39/0.41 c
0.39/0.41 c # maximal time in seconds to run
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/time = 1800
0.39/0.41 c
0.39/0.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/memory = 13950
0.39/0.41 c
0.39/0.41 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.41 c # [type: int, range: [1,2], default: 1]
0.39/0.41 c timing/clocktype = 2
0.39/0.41 c
0.39/0.41 c # belongs reading time to solving time?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c timing/reading = TRUE
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify inequalities
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/linear/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/indicator/addCouplingCons = TRUE
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify knapsacks
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c -----------------------------------------------------------------------------------------------
0.39/0.41 c start solving
0.39/0.41 c
0.59/0.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.63 c t 0.6s| 1 | 0 | 1043 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.59/0.66 o -1
0.59/0.66 c R 0.7s| 1 | 0 | 1043 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
0.69/0.70 o -2
0.69/0.70 c s 0.7s| 1 | 0 | 1043 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
0.89/0.98 c 1.0s| 1 | 0 | 1217 | - | 53M| 0 | 988 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.940000e+02 |-2.000000e+00 | 99.60%
0.89/0.99 o -98
0.89/0.99 c b 1.0s| 1 | 0 | 1217 | - | 53M| 0 | 988 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.940000e+02 |-9.800000e+01 | 80.16%
1.29/1.34 c 1.3s| 1 | 0 | 1489 | - | 53M| 0 | 981 |1000 | 15k|1000 | 15k| 25 | 0 | 0 |-4.900000e+02 |-9.800000e+01 | 80.00%
1.59/1.65 c 1.6s| 1 | 0 | 1585 | - | 53M| 0 | 975 |1000 | 15k|1000 | 15k| 36 | 0 | 0 |-4.875000e+02 |-9.800000e+01 | 79.90%
1.99/2.01 c 2.0s| 1 | 0 | 1847 | - | 53M| 0 | 970 |1000 | 15k|1000 | 15k| 46 | 0 | 0 |-4.842500e+02 |-9.800000e+01 | 79.76%
2.29/2.35 c 2.4s| 1 | 0 | 2017 | - | 53M| 0 | 963 |1000 | 15k|1000 | 15k| 58 | 0 | 0 |-4.807500e+02 |-9.800000e+01 | 79.62%
2.69/2.71 c 2.7s| 1 | 0 | 2238 | - | 53M| 0 | 955 |1000 | 15k|1000 | 15k| 72 | 0 | 0 |-4.775000e+02 |-9.800000e+01 | 79.48%
3.09/3.12 c 3.1s| 1 | 0 | 2537 | - | 53M| 0 | 947 |1000 | 15k|1000 | 15k| 85 | 0 | 0 |-4.735000e+02 |-9.800000e+01 | 79.30%
3.79/3.85 c 3.8s| 1 | 0 | 3673 | - | 53M| 0 | 942 |1000 | 15k|1000 | 15k| 101 | 0 | 0 |-4.697500e+02 |-9.800000e+01 | 79.14%
4.41/4.45 c 4.5s| 1 | 0 | 4413 | - | 53M| 0 | 934 |1000 | 15k|1000 | 15k| 114 | 0 | 0 |-4.657500e+02 |-9.800000e+01 | 78.96%
4.99/5.01 c 5.0s| 1 | 0 | 5074 | - | 53M| 0 | 927 |1000 | 15k|1000 | 15k| 127 | 0 | 0 |-4.622500e+02 |-9.800000e+01 | 78.80%
5.40/5.51 c 5.5s| 1 | 0 | 5624 | - | 53M| 0 | 925 |1000 | 15k|1000 |1657 | 139 | 0 | 0 |-4.602500e+02 |-9.800000e+01 | 78.71%
5.79/5.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.79/5.86 c 5.9s| 1 | 0 | 7559 | - | 54M| 0 | 910 |1000 | 15k|1000 |1666 | 148 | 0 | 0 |-4.592500e+02 |-9.800000e+01 | 78.66%
6.20/6.24 c 6.2s| 1 | 0 | 9044 | - | 55M| 0 | 913 |1000 | 15k|1000 |2346 | 828 | 0 | 0 |-4.585000e+02 |-9.800000e+01 | 78.63%
6.69/6.75 c 6.8s| 1 | 0 | 12085 | - | 55M| 0 | 917 |1000 | 15k|1000 |2417 | 899 | 0 | 0 |-4.578000e+02 |-9.800000e+01 | 78.59%
7.19/7.29 c 7.3s| 1 | 0 | 14351 | - | 56M| 0 | 917 |1000 | 15k|1000 |3017 |1499 | 0 | 0 |-4.555000e+02 |-9.800000e+01 | 78.49%
7.60/7.66 c 7.7s| 1 | 0 | 15584 | - | 57M| 0 | 898 |1000 | 15k|1000 |3053 |1535 | 0 | 0 |-4.540000e+02 |-9.800000e+01 | 78.41%
7.99/8.03 c 8.0s| 1 | 0 | 16935 | - | 57M| 0 | 904 |1000 | 15k|1000 |2673 |1646 | 0 | 0 |-4.525000e+02 |-9.800000e+01 | 78.34%
8.29/8.35 c 8.3s| 1 | 0 | 18105 | - | 57M| 0 | 894 |1000 | 15k|1000 |2754 |1727 | 0 | 0 |-4.512500e+02 |-9.800000e+01 | 78.28%
8.59/8.70 c 8.7s| 1 | 0 | 18730 | - | 58M| 0 | 901 |1000 | 15k|1000 |3101 |2074 | 0 | 0 |-4.502394e+02 |-9.800000e+01 | 78.23%
8.99/9.07 c 9.1s| 1 | 0 | 20268 | - | 58M| 0 | 916 |1000 | 15k|1000 |3211 |2184 | 0 | 0 |-4.496792e+02 |-9.800000e+01 | 78.21%
9.49/9.57 c 9.6s| 1 | 0 | 22085 | - | 59M| 0 | 904 |1000 | 15k|1000 |3499 |2472 | 0 | 0 |-4.478093e+02 |-9.800000e+01 | 78.12%
10.09/10.11 c 10.1s| 1 | 0 | 24169 | - | 60M| 0 | 897 |1000 | 15k|1000 |3820 |2793 | 0 | 0 |-4.455000e+02 |-9.800000e+01 | 78.00%
10.39/10.44 c 10.4s| 1 | 0 | 25193 | - | 61M| 0 | 897 |1000 | 15k|1000 |3122 |2897 | 0 | 0 |-4.447500e+02 |-9.800000e+01 | 77.97%
10.59/10.65 c 10.6s| 1 | 0 | 25787 | - | 61M| 0 | 900 |1000 | 15k|1000 |3159 |2934 | 0 | 0 |-4.440000e+02 |-9.800000e+01 | 77.93%
11.10/11.13 c 11.1s| 1 | 0 | 28054 | - | 61M| 0 | 884 |1000 | 15k|1000 |3295 |3070 | 0 | 0 |-4.415000e+02 |-9.800000e+01 | 77.80%
11.29/11.35 c 11.3s| 1 | 0 | 28438 | - | 61M| 0 | 887 |1000 | 15k|1000 |3503 |3278 | 0 | 0 |-4.410000e+02 |-9.800000e+01 | 77.78%
12.11/12.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.11/12.14 c 12.1s| 1 | 0 | 33137 | - | 62M| 0 | 935 |1000 | 15k|1000 |3542 |3317 | 0 | 0 |-4.405870e+02 |-9.800000e+01 | 77.76%
12.79/12.86 c 12.9s| 1 | 0 | 33228 | - | 63M| 0 | 881 |1000 | 15k|1000 |5542 |5317 | 0 | 0 |-4.405000e+02 |-9.800000e+01 | 77.75%
13.20/13.23 c 13.2s| 1 | 0 | 34325 | - | 65M| 0 | 882 |1000 | 15k|1000 |4276 |5327 | 0 | 0 |-4.385000e+02 |-9.800000e+01 | 77.65%
13.49/13.52 c 13.5s| 1 | 0 | 35097 | - | 65M| 0 | 874 |1000 | 15k|1000 |4352 |5403 | 0 | 0 |-4.375000e+02 |-9.800000e+01 | 77.60%
13.99/14.05 c 14.0s| 1 | 0 | 36867 | - | 65M| 0 | 861 |1000 | 15k|1000 |4392 |5443 | 0 | 0 |-4.370000e+02 |-9.800000e+01 | 77.57%
14.49/14.57 c 14.6s| 1 | 0 | 38581 | - | 65M| 0 | 871 |1000 | 15k|1000 |4553 |5604 | 0 | 0 |-4.355000e+02 |-9.800000e+01 | 77.50%
14.99/15.06 c 15.1s| 1 | 0 | 40444 | - | 66M| 0 | 885 |1000 | 15k|1000 |4700 |5751 | 0 | 0 |-4.345000e+02 |-9.800000e+01 | 77.45%
15.69/15.79 c 15.8s| 1 | 0 | 43585 | - | 66M| 0 | 858 |1000 | 15k|1000 |4743 |5794 | 0 | 0 |-4.317500e+02 |-9.800000e+01 | 77.30%
15.99/16.09 c 16.1s| 1 | 0 | 44526 | - | 67M| 0 | 858 |1000 | 15k|1000 |3696 |5950 | 0 | 0 |-4.302500e+02 |-9.800000e+01 | 77.22%
16.29/16.41 c 16.4s| 1 | 0 | 45820 | - | 67M| 0 | 881 |1000 | 15k|1000 |3777 |6031 | 0 | 0 |-4.292000e+02 |-9.800000e+01 | 77.17%
16.89/16.90 c 16.9s| 1 | 0 | 47857 | - | 67M| 0 | 857 |1000 | 15k|1000 |4263 |6517 | 0 | 0 |-4.280000e+02 |-9.800000e+01 | 77.10%
17.09/17.17 c 17.2s| 1 | 0 | 48730 | - | 67M| 0 | 855 |1000 | 15k|1000 |4339 |6593 | 0 | 0 |-4.265000e+02 |-9.800000e+01 | 77.02%
17.61/17.66 c 17.7s| 1 | 0 | 50888 | - | 68M| 0 | 842 |1000 | 15k|1000 |4405 |6659 | 0 | 0 |-4.238333e+02 |-9.800000e+01 | 76.88%
17.99/18.02 c 18.0s| 1 | 0 | 52423 | - | 68M| 0 | 841 |1000 | 15k|1000 |4613 |6867 | 0 | 0 |-4.230000e+02 |-9.800000e+01 | 76.83%
18.19/18.24 c 18.2s| 1 | 0 | 52841 | - | 68M| 0 | 841 |1000 | 15k|1000 |2777 |7062 | 0 | 0 |-4.220000e+02 |-9.800000e+01 | 76.78%
18.71/18.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.71/18.77 c 18.8s| 1 | 0 | 55805 | - | 69M| 0 | 802 |1000 | 15k|1000 |2889 |7174 | 0 | 0 |-4.210000e+02 |-9.800000e+01 | 76.72%
19.49/19.52 c 19.5s| 1 | 0 | 59994 | - | 69M| 0 | 906 |1000 | 15k|1000 |3388 |7673 | 0 | 0 |-4.198173e+02 |-9.800000e+01 | 76.66%
19.99/20.03 c 20.0s| 1 | 0 | 60777 | - | 69M| 0 | 837 |1000 | 15k|1000 |5388 |9673 | 0 | 0 |-4.185000e+02 |-9.800000e+01 | 76.58%
20.30/20.30 c 20.3s| 1 | 0 | 61359 | - | 69M| 0 | 848 |1000 | 15k|1000 |5400 |9685 | 0 | 0 |-4.175000e+02 |-9.800000e+01 | 76.53%
20.69/20.76 c 20.8s| 1 | 0 | 62605 | - | 72M| 0 | 834 |1000 | 15k|1000 |5432 |9717 | 0 | 0 |-4.170000e+02 |-9.800000e+01 | 76.50%
21.39/21.41 c 21.4s| 1 | 0 | 65294 | - | 72M| 0 | 852 |1000 | 15k|1000 |4356 |9729 | 0 | 0 |-4.157500e+02 |-9.800000e+01 | 76.43%
21.90/21.98 c 22.0s| 1 | 0 | 68218 | - | 72M| 0 | 820 |1000 | 15k|1000 |4417 |9790 | 0 | 0 |-4.150000e+02 |-9.800000e+01 | 76.39%
22.59/22.65 c 22.6s| 1 | 0 | 71138 | - | 73M| 0 | 829 |1000 | 15k|1000 |4653 | 10k| 0 | 0 |-4.140000e+02 |-9.800000e+01 | 76.33%
23.11/23.14 c 23.1s| 1 | 0 | 73018 | - | 73M| 0 | 826 |1000 | 15k|1000 |4687 | 10k| 0 | 0 |-4.122857e+02 |-9.800000e+01 | 76.23%
23.80/23.82 c 23.8s| 1 | 0 | 76156 | - | 73M| 0 | 819 |1000 | 15k|1000 |4786 | 10k| 0 | 0 |-4.115000e+02 |-9.800000e+01 | 76.18%
24.21/24.28 c 24.3s| 1 | 0 | 77952 | - | 73M| 0 | 849 |1000 | 15k|1000 |4833 | 10k| 0 | 0 |-4.101818e+02 |-9.800000e+01 | 76.11%
25.09/25.19 c 25.2s| 1 | 0 | 81527 | - | 74M| 0 | 825 |1000 | 15k|1000 |4006 | 10k| 0 | 0 |-4.080000e+02 |-9.800000e+01 | 75.98%
25.59/25.61 c 25.6s| 1 | 0 | 83262 | - | 74M| 0 | 860 |1000 | 15k|1000 |4044 | 10k| 0 | 0 |-4.069500e+02 |-9.800000e+01 | 75.92%
26.09/26.10 c 26.1s| 1 | 0 | 84803 | - | 76M| 0 | 834 |1000 | 15k|1000 |4358 | 10k| 0 | 0 |-4.060000e+02 |-9.800000e+01 | 75.86%
26.41/26.47 c 26.5s| 1 | 0 | 85941 | - | 77M| 0 | 831 |1000 | 15k|1000 |4476 | 10k| 0 | 0 |-4.051667e+02 |-9.800000e+01 | 75.81%
27.00/27.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.00/27.04 c 27.0s| 1 | 0 | 88018 | - | 78M| 0 | 837 |1000 | 15k|1000 |4606 | 10k| 0 | 0 |-4.044444e+02 |-9.800000e+01 | 75.77%
27.51/27.57 c 27.6s| 1 | 0 | 90080 | - | 78M| 0 | 858 |1000 | 15k|1000 |4676 | 11k| 0 | 0 |-4.039205e+02 |-9.800000e+01 | 75.74%
28.29/28.35 c 28.4s| 1 | 0 | 92368 | - | 80M| 0 | 890 |1000 | 15k|1000 |4260 | 11k| 0 | 0 |-4.032066e+02 |-9.800000e+01 | 75.69%
29.39/29.42 c 29.4s| 1 | 0 | 95312 | - | 80M| 0 | 895 |1000 | 15k|1000 |4392 | 11k| 0 | 0 |-4.024638e+02 |-9.800000e+01 | 75.65%
30.59/30.69 c 30.7s| 1 | 0 | 98840 | - | 80M| 0 | 837 |1000 | 15k|1000 |4748 | 11k| 0 | 0 |-4.007698e+02 |-9.800000e+01 | 75.55%
31.49/31.54 c 31.5s| 1 | 0 |101515 | - | 81M| 0 | 847 |1000 | 15k|1000 |4881 | 11k| 0 | 0 |-3.999069e+02 |-9.800000e+01 | 75.49%
32.19/32.28 c 32.3s| 1 | 0 |103568 | - | 82M| 0 | 874 |1000 | 15k|1000 |4893 | 11k| 0 | 0 |-3.992625e+02 |-9.800000e+01 | 75.45%
32.69/32.74 c 32.7s| 1 | 0 |104706 | - | 83M| 0 | 847 |1000 | 15k|1000 |4903 | 11k| 0 | 0 |-3.986667e+02 |-9.800000e+01 | 75.42%
33.49/33.52 c 33.5s| 1 | 0 |107276 | - | 83M| 0 | 862 |1000 | 15k|1000 |4423 | 11k| 0 | 0 |-3.975506e+02 |-9.800000e+01 | 75.35%
34.59/34.63 c 34.6s| 1 | 0 |111036 | - | 84M| 0 | 850 |1000 | 15k|1000 |4543 | 11k| 0 | 0 |-3.965000e+02 |-9.800000e+01 | 75.28%
35.39/35.47 c 35.5s| 1 | 0 |113908 | - | 84M| 0 | 840 |1000 | 15k|1000 |4731 | 12k| 0 | 0 |-3.950000e+02 |-9.800000e+01 | 75.19%
36.09/36.19 c 36.2s| 1 | 0 |115892 | - | 85M| 0 | 826 |1000 | 15k|1000 |4860 | 12k| 0 | 0 |-3.945000e+02 |-9.800000e+01 | 75.16%
37.79/37.84 c 37.8s| 1 | 0 |122875 | - | 87M| 0 | 824 |1000 | 15k|1000 |4904 | 12k| 0 | 0 |-3.940901e+02 |-9.800000e+01 | 75.13%
38.59/38.68 c 38.7s| 1 | 0 |126176 | - | 88M| 0 | 833 |1000 | 15k|1000 |5016 | 12k| 0 | 0 |-3.934690e+02 |-9.800000e+01 | 75.09%
39.79/39.87 c 39.9s| 1 | 0 |130172 | - | 89M| 0 | 836 |1000 | 15k|1000 |4627 | 12k| 0 | 0 |-3.930153e+02 |-9.800000e+01 | 75.06%
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 |134021 | - | 89M| 0 | 895 |1000 | 15k|1000 |4760 | 12k| 0 | 0 |-3.919013e+02 |-9.800000e+01 | 74.99%
42.39/42.48 c 42.5s| 1 | 0 |137753 | - | 89M| 0 | 811 |1000 | 15k|1000 |5182 | 13k| 0 | 0 |-3.901250e+02 |-9.800000e+01 | 74.88%
43.59/43.67 c 43.7s| 1 | 0 |141338 | - | 91M| 0 | 841 |1000 | 15k|1000 |5197 | 13k| 0 | 0 |-3.885455e+02 |-9.800000e+01 | 74.78%
44.39/44.41 c 44.4s| 1 | 0 |143596 | - | 92M| 0 | 820 |1000 | 15k|1000 |5236 | 13k| 0 | 0 |-3.875000e+02 |-9.800000e+01 | 74.71%
45.00/45.02 c 45.0s| 1 | 0 |145464 | - | 92M| 0 | 781 |1000 | 15k|1000 |5246 | 13k| 0 | 0 |-3.870000e+02 |-9.800000e+01 | 74.68%
45.79/45.88 c 45.9s| 1 | 0 |148568 | - | 93M| 0 | 774 |1000 | 15k|1000 |4931 | 13k| 0 | 0 |-3.863889e+02 |-9.800000e+01 | 74.64%
46.59/46.65 c 46.6s| 1 | 0 |151228 | - | 96M| 0 | 802 |1000 | 15k|1000 |4958 | 13k| 0 | 0 |-3.858063e+02 |-9.800000e+01 | 74.60%
47.20/47.28 c 47.3s| 1 | 0 |153494 | - | 97M| 0 | 828 |1000 | 15k|1000 |4998 | 13k| 0 | 0 |-3.852455e+02 |-9.800000e+01 | 74.56%
47.99/48.01 c 48.0s| 1 | 0 |155377 | - | 97M| 0 | 857 |1000 | 15k|1000 |5022 | 13k| 0 | 0 |-3.849086e+02 |-9.800000e+01 | 74.54%
48.79/48.89 c 48.9s| 1 | 0 |158026 | - | 100M| 0 | 905 |1000 | 15k|1000 |5094 | 13k| 0 | 0 |-3.839536e+02 |-9.800000e+01 | 74.48%
49.99/50.09 c 50.1s| 1 | 0 |160298 | - | 100M| 0 | 851 |1000 | 15k|1000 |5379 | 13k| 0 | 0 |-3.835859e+02 |-9.800000e+01 | 74.45%
51.09/51.12 c 51.1s| 1 | 0 |163279 | - | 103M| 0 | 858 |1000 | 15k|1000 |4910 | 13k| 0 | 0 |-3.828896e+02 |-9.800000e+01 | 74.41%
51.89/51.93 c 51.9s| 1 | 0 |165255 | - | 104M| 0 | 875 |1000 | 15k|1000 |4934 | 13k| 0 | 0 |-3.821844e+02 |-9.800000e+01 | 74.36%
52.99/53.06 c 53.1s| 1 | 0 |168613 | - | 104M| 0 | 861 |1000 | 15k|1000 |5031 | 13k| 0 | 0 |-3.810496e+02 |-9.800000e+01 | 74.28%
53.80/53.84 c 53.8s| 1 | 0 |170790 | - | 106M| 0 | 873 |1000 | 15k|1000 |5118 | 13k| 0 | 0 |-3.802444e+02 |-9.800000e+01 | 74.23%
54.89/54.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.89/54.97 c 55.0s| 1 | 0 |172747 | - | 106M| 0 | 872 |1000 | 15k|1000 |5259 | 13k| 0 | 0 |-3.794062e+02 |-9.800000e+01 | 74.17%
55.79/55.89 c 55.9s| 1 | 0 |175775 | - | 107M| 0 | 872 |1000 | 15k|1000 |5292 | 14k| 0 | 0 |-3.788284e+02 |-9.800000e+01 | 74.13%
56.99/57.07 c 57.1s| 1 | 0 |177825 | - | 108M| 0 | 880 |1000 | 15k|1000 |5183 | 14k| 0 | 0 |-3.784478e+02 |-9.800000e+01 | 74.10%
58.59/58.61 c 58.6s| 1 | 0 |181845 | - | 108M| 0 | 901 |1000 | 15k|1000 |5246 | 14k| 0 | 0 |-3.778954e+02 |-9.800000e+01 | 74.07%
60.40/60.42 c 60.4s| 1 | 0 |185870 | - | 108M| 0 | 919 |1000 | 15k|1000 |5331 | 14k| 0 | 0 |-3.772302e+02 |-9.800000e+01 | 74.02%
62.09/62.15 c 62.2s| 1 | 0 |190284 | - | 110M| 0 | 888 |1000 | 15k|1000 |5477 | 14k| 0 | 0 |-3.764500e+02 |-9.800000e+01 | 73.97%
64.09/64.19 c 64.2s| 1 | 0 |194229 | - | 112M| 0 | 897 |1000 | 15k|1000 |5500 | 14k| 0 | 0 |-3.754952e+02 |-9.800000e+01 | 73.90%
65.70/65.70 c 65.7s| 1 | 0 |196602 | - | 112M| 0 | 907 |1000 | 15k|1000 |5510 | 14k| 0 | 0 |-3.747505e+02 |-9.800000e+01 | 73.85%
67.39/67.40 c 67.4s| 1 | 0 |199871 | - | 113M| 0 | 927 |1000 | 15k|1000 |5289 | 14k| 0 | 0 |-3.737701e+02 |-9.800000e+01 | 73.78%
69.79/69.87 c 69.9s| 1 | 0 |206030 | - | 113M| 0 | 956 |1000 | 15k|1000 |5367 | 14k| 0 | 0 |-3.717621e+02 |-9.800000e+01 | 73.64%
71.80/71.88 c 71.9s| 1 | 0 |208526 | - | 114M| 0 | 918 |1000 | 15k|1000 |6074 | 15k| 0 | 0 |-3.710156e+02 |-9.800000e+01 | 73.59%
72.29/72.34 c 72.3s| 1 | 0 |209273 | - | 115M| 0 | 926 |1000 | 15k|1000 |6092 | 15k| 0 | 0 |-3.697715e+02 |-9.800000e+01 | 73.50%
73.79/73.82 c 73.8s| 1 | 0 |210953 | - | 115M| 0 | 931 |1000 | 15k|1000 |6104 | 15k| 0 | 0 |-3.687025e+02 |-9.800000e+01 | 73.42%
75.19/75.28 c 75.3s| 1 | 0 |212741 | - | 115M| 0 | 939 |1000 | 15k|1000 |6167 | 15k| 0 | 0 |-3.681038e+02 |-9.800000e+01 | 73.38%
77.01/77.08 c 77.1s| 1 | 0 |215093 | - | 116M| 0 | 933 |1000 | 15k|1000 |5959 | 15k| 0 | 0 |-3.675046e+02 |-9.800000e+01 | 73.33%
78.69/78.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.69/78.73 c 78.7s| 1 | 0 |217482 | - | 116M| 0 | 937 |1000 | 15k|1000 |5982 | 15k| 0 | 0 |-3.665362e+02 |-9.800000e+01 | 73.26%
80.59/80.70 c 80.7s| 1 | 0 |220930 | - | 116M| 0 | 925 |1000 | 15k|1000 |6100 | 15k| 0 | 0 |-3.658504e+02 |-9.800000e+01 | 73.21%
82.51/82.59 c 82.6s| 1 | 0 |223534 | - | 116M| 0 | 934 |1000 | 15k|1000 |6134 | 15k| 0 | 0 |-3.653438e+02 |-9.800000e+01 | 73.18%
84.60/84.65 c 84.7s| 1 | 0 |226590 | - | 116M| 0 | 927 |1000 | 15k|1000 |6153 | 15k| 0 | 0 |-3.646398e+02 |-9.800000e+01 | 73.12%
86.69/86.74 c 86.7s| 1 | 0 |229873 | - | 116M| 0 | 946 |1000 | 15k|1000 |6177 | 15k| 0 | 0 |-3.637567e+02 |-9.800000e+01 | 73.06%
89.29/89.37 c 89.4s| 1 | 0 |234427 | - | 116M| 0 | 942 |1000 | 15k|1000 |5783 | 15k| 0 | 0 |-3.630350e+02 |-9.800000e+01 | 73.01%
91.39/91.44 c 91.4s| 1 | 0 |237497 | - | 116M| 0 | 942 |1000 | 15k|1000 |5816 | 15k| 0 | 0 |-3.621481e+02 |-9.800000e+01 | 72.94%
93.69/93.75 c 93.8s| 1 | 0 |241114 | - | 116M| 0 | 949 |1000 | 15k|1000 |5890 | 15k| 0 | 0 |-3.614663e+02 |-9.800000e+01 | 72.89%
95.99/96.07 c 96.1s| 1 | 0 |244460 | - | 116M| 0 | 947 |1000 | 15k|1000 |5938 | 15k| 0 | 0 |-3.609628e+02 |-9.800000e+01 | 72.85%
97.90/97.93 c 97.9s| 1 | 0 |246360 | - | 116M| 0 | 953 |1000 | 15k|1000 |5972 | 15k| 0 | 0 |-3.604100e+02 |-9.800000e+01 | 72.81%
100.59/100.64 c 101s| 1 | 0 |250956 | - | 116M| 0 | 959 |1000 | 15k|1000 |5995 | 15k| 0 | 0 |-3.591594e+02 |-9.800000e+01 | 72.71%
102.70/102.79 c 103s| 1 | 0 |253234 | - | 115M| 0 | 958 |1000 | 15k|1000 |5854 | 15k| 0 | 0 |-3.583448e+02 |-9.800000e+01 | 72.65%
104.99/105.09 c 105s| 1 | 0 |256671 | - | 115M| 0 | 953 |1000 | 15k|1000 |5909 | 15k| 0 | 0 |-3.570303e+02 |-9.800000e+01 | 72.55%
107.09/107.11 c 107s| 1 | 0 |258814 | - | 115M| 0 | 959 |1000 | 15k|1000 |5977 | 15k| 0 | 0 |-3.566020e+02 |-9.800000e+01 | 72.52%
109.39/109.45 c 109s| 1 | 0 |261830 | - | 114M| 0 | 963 |1000 | 15k|1000 |6033 | 16k| 0 | 0 |-3.557794e+02 |-9.800000e+01 | 72.45%
111.49/111.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.49/111.53 c 112s| 1 | 0 |263810 | - | 113M| 0 | 969 |1000 | 15k|1000 |6059 | 16k| 0 | 0 |-3.549827e+02 |-9.800000e+01 | 72.39%
114.00/114.00 c 114s| 1 | 0 |267190 | - | 113M| 0 | 971 |1000 | 15k|1000 |6157 | 16k| 0 | 0 |-3.542948e+02 |-9.800000e+01 | 72.34%
116.39/116.48 c 116s| 1 | 0 |270088 | - | 113M| 0 | 974 |1000 | 15k|1000 |6092 | 16k| 0 | 0 |-3.536899e+02 |-9.800000e+01 | 72.29%
118.81/118.86 c 119s| 1 | 0 |272635 | - | 112M| 0 | 976 |1000 | 15k|1000 |6160 | 16k| 0 | 0 |-3.532897e+02 |-9.800000e+01 | 72.26%
122.00/122.05 c 122s| 1 | 0 |277543 | - | 112M| 0 | 978 |1000 | 15k|1000 |6232 | 16k| 0 | 0 |-3.522740e+02 |-9.800000e+01 | 72.18%
124.69/124.72 c 125s| 1 | 0 |281294 | - | 112M| 0 | 974 |1000 | 15k|1000 |6262 | 16k| 0 | 0 |-3.516419e+02 |-9.800000e+01 | 72.13%
127.19/127.29 c 127s| 1 | 0 |284343 | - | 111M| 0 | 978 |1000 | 15k|1000 |6315 | 16k| 0 | 0 |-3.508174e+02 |-9.800000e+01 | 72.07%
129.90/129.99 c 130s| 1 | 0 |288124 | - | 110M| 0 | 985 |1000 | 15k|1000 |6342 | 16k| 0 | 0 |-3.499589e+02 |-9.800000e+01 | 72.00%
132.89/132.95 c 133s| 1 | 0 |292423 | - | 110M| 0 | 976 |1000 | 15k|1000 |6308 | 16k| 0 | 0 |-3.490513e+02 |-9.800000e+01 | 71.92%
135.39/135.46 c 135s| 1 | 0 |295151 | - | 110M| 0 | 981 |1000 | 15k|1000 |6334 | 16k| 0 | 0 |-3.480433e+02 |-9.800000e+01 | 71.84%
138.00/138.05 c 138s| 1 | 0 |298295 | - | 110M| 0 | 978 |1000 | 15k|1000 |6368 | 16k| 0 | 0 |-3.470858e+02 |-9.800000e+01 | 71.76%
140.89/140.97 c 141s| 1 | 0 |302189 | - | 109M| 0 | 977 |1000 | 15k|1000 |6433 | 16k| 0 | 0 |-3.461065e+02 |-9.800000e+01 | 71.69%
143.60/143.68 c 144s| 1 | 0 |305216 | - | 109M| 0 | 978 |1000 | 15k|1000 |6456 | 16k| 0 | 0 |-3.453890e+02 |-9.800000e+01 | 71.63%
145.89/145.98 c 146s| 1 | 0 |306864 | - | 108M| 0 | 992 |1000 | 15k|1000 |6489 | 16k| 0 | 0 |-3.449765e+02 |-9.800000e+01 | 71.59%
149.19/149.24 c 149s| 1 | 0 |311504 | - | 107M| 0 | 984 |1000 | 15k|1000 |6405 | 16k| 0 | 0 |-3.440191e+02 |-9.800000e+01 | 71.51%
153.79/153.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.79/153.82 c 154s| 1 | 0 |320997 | - | 107M| 0 | 991 |1000 | 15k|1000 |6445 | 16k| 0 | 0 |-3.429156e+02 |-9.800000e+01 | 71.42%
156.29/156.36 c 156s| 1 | 0 |323058 | - | 107M| 0 | 987 |1000 | 15k|1000 |6528 | 16k| 0 | 0 |-3.426617e+02 |-9.800000e+01 | 71.40%
159.09/159.11 c 159s| 1 | 0 |326281 | - | 107M| 0 | 981 |1000 | 15k|1000 |6554 | 16k| 0 | 0 |-3.420929e+02 |-9.800000e+01 | 71.35%
162.29/162.35 c 162s| 1 | 0 |330596 | - | 106M| 0 | 984 |1000 | 15k|1000 |6586 | 16k| 0 | 0 |-3.411953e+02 |-9.800000e+01 | 71.28%
165.49/165.57 c 166s| 1 | 0 |334863 | - | 106M| 0 | 981 |1000 | 15k|1000 |6630 | 17k| 0 | 0 |-3.400007e+02 |-9.800000e+01 | 71.18%
168.59/168.61 c 169s| 1 | 0 |338317 | - | 106M| 0 | 991 |1000 | 15k|1000 |6586 | 17k| 0 | 0 |-3.391605e+02 |-9.800000e+01 | 71.11%
171.39/171.42 c 171s| 1 | 0 |340943 | - | 106M| 0 | 990 |1000 | 15k|1000 |6647 | 17k| 0 | 0 |-3.386625e+02 |-9.800000e+01 | 71.06%
174.29/174.36 c 174s| 1 | 0 |344107 | - | 106M| 0 | 992 |1000 | 15k|1000 |6697 | 17k| 0 | 0 |-3.382093e+02 |-9.800000e+01 | 71.02%
177.20/177.25 c 177s| 1 | 0 |346483 | - | 105M| 0 | 993 |1000 | 15k|1000 |6745 | 17k| 0 | 0 |-3.377332e+02 |-9.800000e+01 | 70.98%
179.90/179.90 c 180s| 1 | 0 |348232 | - | 105M| 0 | 991 |1000 | 15k|1000 |6786 | 17k| 0 | 0 |-3.374834e+02 |-9.800000e+01 | 70.96%
182.50/182.55 c 183s| 1 | 0 |349760 | - | 105M| 0 | 992 |1000 | 15k|1000 |6807 | 17k| 0 | 0 |-3.371345e+02 |-9.800000e+01 | 70.93%
185.59/185.62 c 186s| 1 | 0 |352733 | - | 104M| 0 | 991 |1000 | 15k|1000 |6729 | 17k| 0 | 0 |-3.362935e+02 |-9.800000e+01 | 70.86%
188.60/188.61 c 189s| 1 | 0 |355648 | - | 104M| 0 | 989 |1000 | 15k|1000 |6757 | 17k| 0 | 0 |-3.356963e+02 |-9.800000e+01 | 70.81%
191.31/191.37 c 191s| 1 | 0 |357706 | - | 104M| 0 | 993 |1000 | 15k|1000 |6790 | 17k| 0 | 0 |-3.353612e+02 |-9.800000e+01 | 70.78%
194.61/194.64 c 195s| 1 | 0 |361081 | - | 104M| 0 | 991 |1000 | 15k|1000 |6824 | 17k| 0 | 0 |-3.347295e+02 |-9.800000e+01 | 70.72%
197.60/197.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.60/197.69 c 198s| 1 | 0 |363932 | - | 101M| 0 | 991 |1000 | 15k|1000 |6858 | 17k| 0 | 0 |-3.342408e+02 |-9.800000e+01 | 70.68%
201.31/201.40 c 201s| 1 | 0 |368451 | - | 101M| 0 | 991 |1000 | 15k|1000 |6881 | 17k| 0 | 0 |-3.337662e+02 |-9.800000e+01 | 70.64%
203.89/203.97 c 204s| 1 | 0 |369433 | - | 101M| 0 | 994 |1000 | 15k|1000 |6806 | 17k| 0 | 0 |-3.336706e+02 |-9.800000e+01 | 70.63%
207.10/207.14 c 207s| 1 | 0 |372475 | - | 101M| 0 | 994 |1000 | 15k|1000 |6821 | 17k| 0 | 0 |-3.331287e+02 |-9.800000e+01 | 70.58%
209.69/209.77 c 210s| 1 | 0 |373690 | - | 100M| 0 | 995 |1000 | 15k|1000 |6843 | 17k| 0 | 0 |-3.329242e+02 |-9.800000e+01 | 70.56%
212.50/212.51 c 213s| 1 | 0 |375017 | - | 100M| 0 | 996 |1000 | 15k|1000 |6864 | 17k| 0 | 0 |-3.325644e+02 |-9.800000e+01 | 70.53%
215.19/215.22 c 215s| 1 | 0 |376401 | - | 100M| 0 | 996 |1000 | 15k|1000 |6873 | 17k| 0 | 0 |-3.323487e+02 |-9.800000e+01 | 70.51%
218.09/218.14 c 218s| 1 | 0 |378187 | - | 99M| 0 | 995 |1000 | 15k|1000 |6901 | 17k| 0 | 0 |-3.317956e+02 |-9.800000e+01 | 70.46%
221.30/221.32 c 221s| 1 | 0 |380625 | - | 99M| 0 | 995 |1000 | 15k|1000 |6835 | 17k| 0 | 0 |-3.313201e+02 |-9.800000e+01 | 70.42%
224.20/224.28 c 224s| 1 | 0 |382789 | - | 97M| 0 | 994 |1000 | 15k|1000 |6854 | 17k| 0 | 0 |-3.310589e+02 |-9.800000e+01 | 70.40%
227.19/227.20 c 227s| 1 | 0 |384471 | - | 96M| 0 | 995 |1000 | 15k|1000 |6881 | 17k| 0 | 0 |-3.307292e+02 |-9.800000e+01 | 70.37%
229.69/229.72 c 230s| 1 | 0 |385124 | - | 96M| 0 | 997 |1000 | 15k|1000 |6903 | 17k| 0 | 0 |-3.305427e+02 |-9.800000e+01 | 70.35%
232.59/232.70 c 233s| 1 | 0 |387064 | - | 96M| 0 | 997 |1000 | 15k|1000 |6920 | 17k| 0 | 0 |-3.301443e+02 |-9.800000e+01 | 70.32%
235.59/235.69 c 236s| 1 | 0 |388989 | - | 95M| 0 | 995 |1000 | 15k|1000 |6939 | 17k| 0 | 0 |-3.297956e+02 |-9.800000e+01 | 70.28%
238.50/238.52 c 239s| 1 | 0 |390555 | - | 95M| 0 | 995 |1000 | 15k|1000 |6871 | 17k| 0 | 0 |-3.293791e+02 |-9.800000e+01 | 70.25%
241.10/241.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.10/241.16 c 241s| 1 | 0 |391559 | - | 94M| 0 | 997 |1000 | 15k|1000 |6896 | 17k| 0 | 0 |-3.291575e+02 |-9.800000e+01 | 70.23%
244.11/244.16 c 244s| 1 | 0 |393922 | - | 94M| 0 | 998 |1000 | 15k|1000 |6913 | 17k| 0 | 0 |-3.287882e+02 |-9.800000e+01 | 70.19%
247.00/247.02 c 247s| 1 | 0 |395644 | - | 92M| 0 | 998 |1000 | 15k|1000 |6932 | 17k| 0 | 0 |-3.283845e+02 |-9.800000e+01 | 70.16%
249.71/249.76 c 250s| 1 | 0 |396832 | - | 92M| 0 | 992 |1000 | 15k|1000 |6949 | 17k| 0 | 0 |-3.279005e+02 |-9.800000e+01 | 70.11%
252.60/252.65 c 253s| 1 | 0 |398340 | - | 91M| 0 | 995 |1000 | 15k|1000 |6968 | 17k| 0 | 0 |-3.275694e+02 |-9.800000e+01 | 70.08%
255.30/255.34 c 255s| 1 | 0 |399406 | - | 90M| 0 | 995 |1000 | 15k|1000 |6929 | 17k| 0 | 0 |-3.272186e+02 |-9.800000e+01 | 70.05%
257.89/257.94 c 258s| 1 | 0 |400234 | - | 90M| 0 | 995 |1000 | 15k|1000 |6949 | 17k| 0 | 0 |-3.270668e+02 |-9.800000e+01 | 70.04%
260.60/260.69 c 261s| 1 | 0 |401492 | - | 90M| 0 | 996 |1000 | 15k|1000 |6966 | 17k| 0 | 0 |-3.268021e+02 |-9.800000e+01 | 70.01%
263.60/263.66 c 264s| 1 | 0 |403219 | - | 89M| 0 | 996 |1000 | 15k|1000 |6991 | 17k| 0 | 0 |-3.264777e+02 |-9.800000e+01 | 69.98%
266.39/266.45 c 266s| 1 | 0 |404460 | - | 86M| 0 | 998 |1000 | 15k|1000 |7007 | 17k| 0 | 0 |-3.262559e+02 |-9.800000e+01 | 69.96%
269.09/269.16 c 269s| 1 | 0 |405385 | - | 86M| 0 | 997 |1000 | 15k|1000 |7019 | 17k| 0 | 0 |-3.260152e+02 |-9.800000e+01 | 69.94%
271.80/271.84 c 272s| 1 | 0 |406385 | - | 85M| 0 | 997 |1000 | 15k|1000 |6994 | 17k| 0 | 0 |-3.258322e+02 |-9.800000e+01 | 69.92%
274.30/274.36 c 274s| 1 | 0 |407165 | - | 85M| 0 | 997 |1000 | 15k|1000 |7009 | 17k| 0 | 0 |-3.256671e+02 |-9.800000e+01 | 69.91%
276.90/276.92 c 277s| 1 | 0 |407961 | - | 84M| 0 | 996 |1000 | 15k|1000 |7021 | 18k| 0 | 0 |-3.255159e+02 |-9.800000e+01 | 69.89%
279.49/279.55 c 280s| 1 | 0 |409002 | - | 83M| 0 | 996 |1000 | 15k|1000 |7036 | 18k| 0 | 0 |-3.253712e+02 |-9.800000e+01 | 69.88%
282.30/282.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.30/282.31 c 282s| 1 | 0 |410291 | - | 82M| 0 | 996 |1000 | 15k|1000 |7049 | 18k| 0 | 0 |-3.250558e+02 |-9.800000e+01 | 69.85%
285.10/285.12 c 285s| 1 | 0 |411582 | - | 82M| 0 | 997 |1000 | 15k|1000 |7063 | 18k| 0 | 0 |-3.248405e+02 |-9.800000e+01 | 69.83%
287.80/287.86 c 288s| 1 | 0 |412603 | - | 81M| 0 | 999 |1000 | 15k|1000 |7029 | 18k| 0 | 0 |-3.247106e+02 |-9.800000e+01 | 69.82%
290.42/290.41 c 290s| 1 | 0 |413276 | - | 77M| 0 | 999 |1000 | 15k|1000 |7042 | 18k| 0 | 0 |-3.245813e+02 |-9.800000e+01 | 69.81%
293.00/293.04 c 293s| 1 | 0 |414128 | - | 77M| 0 | 997 |1000 | 15k|1000 |7055 | 18k| 0 | 0 |-3.244298e+02 |-9.800000e+01 | 69.79%
295.60/295.60 c 296s| 1 | 0 |414892 | - | 76M| 0 | 997 |1000 | 15k|1000 |7067 | 18k| 0 | 0 |-3.243491e+02 |-9.800000e+01 | 69.79%
298.20/298.22 c 298s| 1 | 0 |415947 | - | 74M| 0 | 998 |1000 | 15k|1000 |7078 | 18k| 0 | 0 |-3.242328e+02 |-9.800000e+01 | 69.77%
300.89/300.90 c 301s| 1 | 0 |416876 | - | 74M| 0 | 998 |1000 | 15k|1000 |7089 | 18k| 0 | 0 |-3.241493e+02 |-9.800000e+01 | 69.77%
303.62/303.68 c 304s| 1 | 0 |418148 | - | 71M| 0 |1000 |1000 | 15k|1000 |7046 | 18k| 0 | 0 |-3.240028e+02 |-9.800000e+01 | 69.75%
306.10/306.10 c 306s| 1 | 0 |418382 | - | 70M| 0 | 999 |1000 | 15k|1000 |7057 | 18k| 0 | 0 |-3.239791e+02 |-9.800000e+01 | 69.75%
308.60/308.67 c 309s| 1 | 0 |419174 | - | 70M| 0 | 998 |1000 | 15k|1000 |7069 | 18k| 0 | 0 |-3.238882e+02 |-9.800000e+01 | 69.74%
311.40/311.49 c 311s| 1 | 0 |420690 | - | 68M| 0 | 998 |1000 | 15k|1000 |7078 | 18k| 0 | 0 |-3.237812e+02 |-9.800000e+01 | 69.73%
314.10/314.12 c 314s| 1 | 0 |421593 | - | 68M| 0 | 997 |1000 | 15k|1000 |7091 | 18k| 0 | 0 |-3.236652e+02 |-9.800000e+01 | 69.72%
316.71/316.77 c 317s| 1 | 0 |422519 | - | 67M| 0 | 999 |1000 | 15k|1000 |7107 | 18k| 0 | 0 |-3.235521e+02 |-9.800000e+01 | 69.71%
319.50/319.53 c 320s| 1 | 0 |423696 | - | 66M| 0 | 999 |1000 | 15k|1000 |7068 | 18k| 0 | 0 |-3.233693e+02 |-9.800000e+01 | 69.69%
322.21/322.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.21/322.24 c 322s| 1 | 0 |425101 | - | 66M| 0 | 998 |1000 | 15k|1000 |7082 | 18k| 0 | 0 |-3.232443e+02 |-9.800000e+01 | 69.68%
325.10/325.14 c 325s| 1 | 0 |426802 | - | 66M| 0 | 999 |1000 | 15k|1000 |7097 | 18k| 0 | 0 |-3.230339e+02 |-9.800000e+01 | 69.66%
327.49/327.59 c 328s| 1 | 0 |427318 | - | 64M| 0 |1000 |1000 | 15k|1000 |7107 | 18k| 0 | 0 |-3.229678e+02 |-9.800000e+01 | 69.66%
330.10/330.13 c 330s| 1 | 0 |428164 | - | 62M| 0 | 999 |1000 | 15k|1000 |7118 | 18k| 0 | 0 |-3.228959e+02 |-9.800000e+01 | 69.65%
332.79/332.84 c 333s| 1 | 0 |429427 | - | 62M| 0 |1000 |1000 | 15k|1000 |7135 | 18k| 0 | 0 |-3.228244e+02 |-9.800000e+01 | 69.64%
335.30/335.35 c 335s| 1 | 0 |430144 | - | 61M| 0 |1000 |1000 | 15k|1000 |7116 | 18k| 0 | 0 |-3.227899e+02 |-9.800000e+01 | 69.64%
337.61/337.70 c 338s| 1 | 0 |430564 | - | 61M| 0 | 999 |1000 | 15k|1000 |7125 | 18k| 0 | 0 |-3.227688e+02 |-9.800000e+01 | 69.64%
339.99/340.07 c 340s| 1 | 0 |431150 | - | 61M| 0 | 998 |1000 | 15k|1000 |7136 | 18k| 0 | 0 |-3.227337e+02 |-9.800000e+01 | 69.63%
342.50/342.54 c 343s| 1 | 0 |431843 | - | 59M| 0 | 999 |1000 | 15k|1000 |7144 | 18k| 0 | 0 |-3.226700e+02 |-9.800000e+01 | 69.63%
344.70/344.74 c 345s| 1 | 0 |431863 | - | 59M| 0 | 966 |1000 | 15k|1000 |7162 | 18k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
346.69/346.78 c 347s| 1 | 0 |431865 | - | 59M| 0 | 967 |1000 | 15k|1000 |7164 | 18k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
348.80/348.81 c 349s| 1 | 0 |431866 | - | 59M| 0 | 967 |1000 | 15k|1000 |7095 | 18k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
356.42/356.46 c 356s| 1 | 2 |431866 | - | 59M| 0 | 967 |1000 | 15k|1000 |7095 | 18k| 0 | 18 |-3.226667e+02 |-9.800000e+01 | 69.63%
1046.14/1046.18 c 1046s| 10000 | 10001 | 5130k| 469.9 | 78M| 62 | 412 |1000 | 15k|1000 |1770 |1077k| 0 |4469 |-3.195508e+02 |-9.800000e+01 | 69.33%
1482.85/1482.86 c 1483s| 20000 | 20001 | 8834k| 420.1 | 95M| 72 | 3 |1000 | 15k|1000 |1000 |2113k| 0 |6097 |-3.189337e+02 |-9.800000e+01 | 69.27%
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 27785
1800.05/1800.00 c Primal Bound : -9.80000000000000e+01 (513 solutions)
1800.05/1800.00 c Dual Bound : -3.18484633737984e+02
1800.05/1800.00 c Gap : 69.23 %
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450653-1307105222/watcher-3450653-1307105222 -o /tmp/evaluation-result-3450653-1307105222/solver-3450653-1307105222 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450653-1307105222.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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 2.01 2.00 2/498 21739
/proc/meminfo: memFree=26370760/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=14524 CPUtime=0 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 2642 0 0 0 0 0 0 0 25 0 1 0 900752905 14872576 2596 33554432000 4194304 9163163 140736025723008 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21739/statm: 3631 2596 415 1214 0 2413 0
[startup+0.0888511 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 21739
/proc/meminfo: memFree=26370760/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=33432 CPUtime=0.08 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 7345 0 0 0 7 1 0 0 25 0 1 0 900752905 34234368 7299 33554432000 4194304 9163163 140736025723008 18446744073709551615 5334821 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21739/statm: 8358 7299 415 1214 0 7140 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 33432
[startup+0.100831 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 21739
/proc/meminfo: memFree=26370760/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=39232 CPUtime=0.09 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 8723 0 0 0 8 1 0 0 25 0 1 0 900752905 40173568 8676 33554432000 4194304 9163163 140736025723008 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 9808 8677 447 1214 0 8590 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39232
[startup+0.300812 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 21739
/proc/meminfo: memFree=26370760/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=72924 CPUtime=0.29 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 17083 0 0 0 27 2 0 0 25 0 1 0 900752905 74674176 16683 33554432000 4194304 9163163 140736025723008 18446744073709551615 4352424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 18231 16683 526 1214 0 17013 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72924
[startup+0.700732 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 21739
/proc/meminfo: memFree=26370760/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=99868 CPUtime=0.69 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 25498 0 0 0 66 3 0 0 25 0 1 0 900752905 102264832 23124 33554432000 4194304 9163163 140736025723008 18446744073709551615 7447680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 24967 23124 747 1214 0 23749 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99868
[startup+1.50058 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21740
/proc/meminfo: memFree=26278744/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=102468 CPUtime=1.49 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 28444 0 0 0 145 4 0 0 25 0 1 0 900752905 104927232 23809 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 25617 23809 750 1214 0 24399 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102468
[startup+3.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21740
/proc/meminfo: memFree=26274660/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=107596 CPUtime=3.09 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 29801 0 0 0 304 5 0 0 25 0 1 0 900752905 110178304 25157 33554432000 4194304 9163163 140736025723008 18446744073709551615 7345670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 26899 25157 827 1214 0 25681 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107596
[startup+6.3007 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21740
/proc/meminfo: memFree=26263924/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=113896 CPUtime=6.29 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 31982 0 0 0 620 9 0 0 25 0 1 0 900752905 116629504 27174 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 28474 27174 708 1214 0 27256 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113896
[startup+12.7005 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21740
/proc/meminfo: memFree=26238616/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=138096 CPUtime=12.69 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 38051 0 0 0 1246 23 0 0 25 0 1 0 900752905 141410304 33098 33554432000 4194304 9163163 140736025723008 18446744073709551615 6653089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 34524 33098 746 1214 0 33306 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 138096
[startup+25.5011 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21741
/proc/meminfo: memFree=26231680/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=146224 CPUtime=25.49 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 39876 0 0 0 2504 45 0 0 25 0 1 0 900752905 149733376 34812 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 36556 34812 707 1214 0 35338 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 146224
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21741
/proc/meminfo: memFree=26194460/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=186000 CPUtime=51.09 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 49329 0 0 0 5020 89 0 0 25 0 1 0 900752905 190464000 44115 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 46500 44115 708 1214 0 45282 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 186000
[startup+102.319 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 21743
/proc/meminfo: memFree=26169132/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=208588 CPUtime=102.31 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 55487 0 0 0 10084 147 0 0 25 0 1 0 900752905 213594112 50110 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 52147 50110 785 1214 0 50929 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 208588
[startup+162.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/499 21744
/proc/meminfo: memFree=26168096/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=208588 CPUtime=162.29 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 55507 0 0 0 16023 206 0 0 25 0 1 0 900752905 213594112 50128 33554432000 4194304 9163163 140736025723008 18446744073709551615 7346176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 52147 50128 783 1214 0 50929 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 208588
[startup+222.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/499 21746
/proc/meminfo: memFree=26169916/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=208588 CPUtime=222.29 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 55521 0 0 0 21977 252 0 0 25 0 1 0 900752905 213594112 50137 33554432000 4194304 9163163 140736025723008 18446744073709551615 6674577 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 52147 50137 778 1214 0 50929 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 208588
[startup+282.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/499 21748
/proc/meminfo: memFree=26170744/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=208588 CPUtime=282.3 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 55535 0 0 0 27941 289 0 0 25 0 1 0 900752905 213594112 50143 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 52147 50143 770 1214 0 50929 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 208588
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 21749
/proc/meminfo: memFree=26170672/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=208588 CPUtime=342.3 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 55539 0 0 0 33903 327 0 0 25 0 1 0 900752905 213594112 50147 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 52147 50147 770 1214 0 50929 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 208588
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/499 21751
/proc/meminfo: memFree=26168516/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=209160 CPUtime=402.3 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 56806 0 0 0 39738 492 0 0 25 0 1 0 900752905 214179840 50357 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 52290 50357 727 1214 0 51072 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 209160
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/499 21752
/proc/meminfo: memFree=26169096/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=209160 CPUtime=462.3 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 56822 0 0 0 45535 695 0 0 25 0 1 0 900752905 214179840 50372 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 52290 50372 729 1214 0 51072 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 209160
[startup+522.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 21754
/proc/meminfo: memFree=26169680/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=207752 CPUtime=522.3 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 62514 0 0 0 51324 906 0 0 25 0 1 0 900752905 212738048 50034 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 51938 50034 736 1214 0 50720 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 207752
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21756
/proc/meminfo: memFree=26170392/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=207752 CPUtime=582.31 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 66200 0 0 0 57112 1119 0 0 25 0 1 0 900752905 212738048 50038 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 51938 50038 736 1214 0 50720 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 207752
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/499 21762
/proc/meminfo: memFree=26171960/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=207752 CPUtime=822.31 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 74925 0 0 0 80208 2023 0 0 25 0 1 0 900752905 212738048 50053 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 51938 50053 736 1214 0 50720 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 207752
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21773
/proc/meminfo: memFree=26172020/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=208504 CPUtime=882.32 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 81117 0 0 0 85979 2253 0 0 25 0 1 0 900752905 213508096 50207 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 52126 50207 736 1214 0 50908 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 208504
[startup+942.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/499 21774
/proc/meminfo: memFree=26171616/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=209552 CPUtime=942.32 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 81391 0 0 0 91745 2487 0 0 25 0 1 0 900752905 214581248 50481 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 52388 50481 736 1214 0 51170 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 209552
[startup+1002.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/499 21776
/proc/meminfo: memFree=26168740/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=212248 CPUtime=1002.32 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 88391 0 0 0 97507 2725 0 0 25 0 1 0 900752905 217341952 51175 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 53062 51175 736 1214 0 51844 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 212248
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 21777
/proc/meminfo: memFree=26166592/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=215092 CPUtime=1062.32 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 89095 0 0 0 103275 2957 0 0 25 0 1 0 900752905 220254208 51877 33554432000 4194304 9163163 140736025723008 18446744073709551615 5845466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 53773 51877 736 1214 0 52555 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 215092
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21779
/proc/meminfo: memFree=26163332/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=218796 CPUtime=1122.33 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 90050 0 0 0 109026 3207 0 0 25 0 1 0 900752905 224047104 52832 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 54699 52832 736 1214 0 53481 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 218796
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21780
/proc/meminfo: memFree=26160572/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=220652 CPUtime=1182.32 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 90444 0 0 0 114791 3441 0 0 25 0 1 0 900752905 225947648 53226 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 55163 53226 736 1214 0 53945 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 220652
[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/499 21782
/proc/meminfo: memFree=26156580/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=224284 CPUtime=1242.32 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 91417 0 0 0 120550 3682 0 0 25 0 1 0 900752905 229666816 54191 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 56071 54191 736 1214 0 54853 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 224284
[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/499 21784
/proc/meminfo: memFree=26154312/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=224636 CPUtime=1302.34 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 91535 0 0 0 126315 3919 0 0 25 0 1 0 900752905 230027264 54309 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 56159 54309 736 1214 0 54941 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 224636
[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/499 21840
/proc/meminfo: memFree=26251960/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=228800 CPUtime=1362.33 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 92558 0 0 0 132072 4161 0 0 25 0 1 0 900752905 234291200 55319 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 57200 55319 736 1214 0 55982 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 228800
[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 21842
/proc/meminfo: memFree=26229152/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=231520 CPUtime=1422.35 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 93302 0 0 0 137833 4402 0 0 25 0 1 0 900752905 237076480 56044 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 57880 56044 736 1214 0 56662 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 231520
[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 21844
/proc/meminfo: memFree=26225896/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=234972 CPUtime=1482.33 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 94183 0 0 0 143592 4641 0 0 25 0 1 0 900752905 240611328 56892 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 58743 56892 736 1214 0 57525 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 234972
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/499 21845
/proc/meminfo: memFree=26225476/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=237072 CPUtime=1542.33 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 94698 0 0 0 149360 4873 0 0 25 0 1 0 900752905 242761728 57407 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 59268 57407 736 1214 0 58050 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 237072
[startup+1602.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/499 21847
/proc/meminfo: memFree=26221952/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=240656 CPUtime=1602.34 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 95625 0 0 0 155114 5120 0 0 25 0 1 0 900752905 246431744 58329 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 60164 58329 736 1214 0 58946 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 240656
[startup+1662.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/499 21848
/proc/meminfo: memFree=26214352/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=245728 CPUtime=1662.34 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 96842 0 0 0 160868 5366 0 0 25 0 1 0 900752905 251625472 59515 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 61432 59515 736 1214 0 60214 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 245728
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/499 21850
/proc/meminfo: memFree=26212104/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=247824 CPUtime=1722.34 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 97485 0 0 0 166628 5606 0 0 25 0 1 0 900752905 253771776 60153 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 61956 60153 736 1214 0 60738 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 247824
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/499 21852
/proc/meminfo: memFree=26206992/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=251672 CPUtime=1782.34 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 98462 0 0 0 172394 5840 0 0 25 0 1 0 900752905 257712128 61114 33554432000 4194304 9163163 140736025723008 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21739/statm: 62918 61114 736 1214 0 61700 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 251672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.04 2.00 3/499 21852
/proc/meminfo: memFree=26207844/32950928 swapFree=34421304/67111528
[pid=21739] ppid=21737 vsize=251956 CPUtime=1800.06 cores=1,3,5,7
/proc/21739/stat : 21739 (scip-2.0.1.4b.l) R 21737 21739 20254 0 -1 4202496 98538 0 0 0 174093 5913 0 0 25 0 1 0 900752905 258002944 61190 33554432000 4194304 9163163 140736025723008 18446744073709551615 4693093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21739/statm: 62989 61190 736 1214 0 61771 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 251956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1740.94
CPU system time (s): 59.143
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 251956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1740.94
system time used= 59.143
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98538
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= 5
involuntary context switches= 20834
runsolver used 8.49271 second user time and 20.6339 second system time
The end