0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488610-1307784819.opb>
0.09/0.18 c original problem has 38742 variables (38742 bin, 0 int, 0 impl, 0 cont) and 39742 constraints
0.09/0.18 c problem read
0.09/0.18 c presolving settings loaded
0.39/0.40 o 0
0.39/0.40 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.40 c presolving:
0.79/0.85 c (round 1) 37742 del vars, 2000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150968 impls, 0 clqs
0.89/0.91 c (round 2) 37742 del vars, 2000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 37742 upgd conss, 150968 impls, 0 clqs
1.19/1.27 c (1.3s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.19/1.27 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.19/1.27 c presolving (3 rounds):
1.19/1.27 c 37742 deleted vars, 2000 deleted constraints, 0 added constraints, 37742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.19/1.27 c 226450 implications, 0 cliques
1.19/1.27 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37742 constraints
1.19/1.27 c 37742 constraints of type <setppc>
1.19/1.27 c transformed objective value is always integral (scale: 1)
1.19/1.27 c Presolving Time: 0.96
1.19/1.27 c - non default parameters ----------------------------------------------------------------------
1.19/1.27 c # SCIP version 2.0.1.5
1.19/1.27 c
1.19/1.27 c # frequency for displaying node information lines
1.19/1.27 c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.27 c display/freq = 10000
1.19/1.27 c
1.19/1.27 c # maximal time in seconds to run
1.19/1.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.27 c limits/time = 1797
1.19/1.27 c
1.19/1.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.27 c limits/memory = 13950
1.19/1.27 c
1.19/1.27 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.19/1.27 c # [type: int, range: [1,2], default: 1]
1.19/1.27 c timing/clocktype = 2
1.19/1.27 c
1.19/1.27 c # belongs reading time to solving time?
1.19/1.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.27 c timing/reading = TRUE
1.19/1.27 c
1.19/1.27 c # should presolving try to simplify inequalities
1.19/1.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.27 c constraints/linear/simplifyinequalities = TRUE
1.19/1.27 c
1.19/1.27 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.19/1.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.27 c constraints/indicator/addCouplingCons = TRUE
1.19/1.27 c
1.19/1.27 c # should presolving try to simplify knapsacks
1.19/1.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.27 c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.27 c
1.19/1.27 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.27 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.27 c separating/rapidlearning/freq = 0
1.19/1.27 c
1.19/1.27 c -----------------------------------------------------------------------------------------------
1.19/1.27 c start solving
1.19/1.27 c
1.69/1.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.76 c t 1.8s| 1 | 0 | 1014 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.79/1.80 o -1
1.79/1.80 c R 1.8s| 1 | 0 | 1014 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.79/1.84 o -2
1.79/1.84 c s 1.8s| 1 | 0 | 1014 | - | 120M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.49/2.54 c 2.5s| 1 | 0 | 1272 | - | 120M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-2.000000e+00 | 99.60%
2.49/2.55 o -53
2.49/2.55 c b 2.5s| 1 | 0 | 1272 | - | 120M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-5.300000e+01 | 89.27%
3.19/3.22 c 3.2s| 1 | 0 | 1421 | - | 120M| 0 | 977 |1000 | 37k|1000 | 37k| 19 | 0 | 0 |-4.885000e+02 |-5.300000e+01 | 89.15%
3.99/4.00 c 4.0s| 1 | 0 | 1668 | - | 120M| 0 | 968 |1000 | 37k|1000 | 37k| 28 | 0 | 0 |-4.840000e+02 |-5.300000e+01 | 89.05%
4.89/4.94 c 4.9s| 1 | 0 | 1895 | - | 120M| 0 | 959 |1000 | 37k|1000 | 37k| 35 | 0 | 0 |-4.795000e+02 |-5.300000e+01 | 88.95%
5.89/5.94 c 5.9s| 1 | 0 | 2236 | - | 120M| 0 | 951 |1000 | 37k|1000 | 37k| 42 | 0 | 0 |-4.755000e+02 |-5.300000e+01 | 88.85%
7.09/7.11 c 7.1s| 1 | 0 | 2632 | - | 120M| 0 | 944 |1000 | 37k|1000 | 37k| 51 | 0 | 0 |-4.715000e+02 |-5.300000e+01 | 88.76%
8.18/8.29 c 8.3s| 1 | 0 | 3115 | - | 121M| 0 | 936 |1000 | 37k|1000 | 37k| 62 | 0 | 0 |-4.680000e+02 |-5.300000e+01 | 88.68%
9.69/9.75 c 9.7s| 1 | 0 | 3810 | - | 121M| 0 | 929 |1000 | 37k|1000 | 37k| 76 | 0 | 0 |-4.635000e+02 |-5.300000e+01 | 88.57%
11.49/11.50 c 11.5s| 1 | 0 | 4860 | - | 121M| 0 | 919 |1000 | 37k|1000 | 37k| 86 | 0 | 0 |-4.595000e+02 |-5.300000e+01 | 88.47%
13.19/13.29 c 13.3s| 1 | 0 | 5721 | - | 122M| 0 | 906 |1000 | 37k|1000 | 37k| 102 | 0 | 0 |-4.530000e+02 |-5.300000e+01 | 88.30%
14.39/14.44 c 14.4s| 1 | 0 | 6535 | - | 122M| 0 | 899 |1000 | 37k|1000 |1765 | 111 | 0 | 0 |-4.495000e+02 |-5.300000e+01 | 88.21%
14.59/14.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.59/14.67 c 14.7s| 1 | 0 | 7152 | - | 122M| 0 | 872 |1000 | 37k|1000 |1775 | 121 | 0 | 0 |-4.480000e+02 |-5.300000e+01 | 88.17%
14.99/15.06 c 15.1s| 1 | 0 | 7893 | - | 122M| 0 | 876 |1000 | 37k|1000 |2507 | 853 | 0 | 0 |-4.460000e+02 |-5.300000e+01 | 88.12%
15.40/15.46 c 15.5s| 1 | 0 | 8987 | - | 123M| 0 | 866 |1000 | 37k|1000 |3187 |1533 | 0 | 0 |-4.427500e+02 |-5.300000e+01 | 88.03%
15.79/15.82 c 15.8s| 1 | 0 | 9911 | - | 123M| 0 | 878 |1000 | 37k|1000 |3838 |2184 | 0 | 0 |-4.395000e+02 |-5.300000e+01 | 87.94%
16.09/16.17 c 16.2s| 1 | 0 | 10579 | - | 124M| 0 | 875 |1000 | 37k|1000 |4208 |2554 | 0 | 0 |-4.375000e+02 |-5.300000e+01 | 87.89%
16.39/16.48 c 16.5s| 1 | 0 | 11297 | - | 124M| 0 | 871 |1000 | 37k|1000 |3691 |2562 | 0 | 0 |-4.365000e+02 |-5.300000e+01 | 87.86%
16.78/16.87 c 16.9s| 1 | 0 | 12610 | - | 124M| 0 | 859 |1000 | 37k|1000 |3747 |2618 | 0 | 0 |-4.345000e+02 |-5.300000e+01 | 87.80%
17.19/17.25 c 17.2s| 1 | 0 | 13509 | - | 124M| 0 | 864 |1000 | 37k|1000 |4138 |3009 | 0 | 0 |-4.322500e+02 |-5.300000e+01 | 87.74%
17.79/17.87 c 17.9s| 1 | 0 | 15867 | - | 124M| 0 | 920 |1000 | 37k|1000 |4318 |3189 | 0 | 0 |-4.297980e+02 |-5.300000e+01 | 87.67%
18.69/18.72 c 18.7s| 1 | 0 | 15957 | - | 124M| 0 | 870 |1000 | 37k|1000 |6318 |5189 | 0 | 0 |-4.296667e+02 |-5.300000e+01 | 87.66%
19.08/19.14 c 19.1s| 1 | 0 | 16836 | - | 125M| 0 | 863 |1000 | 37k|1000 |6325 |5196 | 0 | 0 |-4.290000e+02 |-5.300000e+01 | 87.65%
19.48/19.58 c 19.6s| 1 | 0 | 17814 | - | 125M| 0 | 854 |1000 | 37k|1000 |5311 |5261 | 0 | 0 |-4.260000e+02 |-5.300000e+01 | 87.56%
19.79/19.89 c 19.9s| 1 | 0 | 18373 | - | 125M| 0 | 847 |1000 | 37k|1000 |5321 |5271 | 0 | 0 |-4.255000e+02 |-5.300000e+01 | 87.54%
20.49/20.52 c 20.5s| 1 | 0 | 20695 | - | 126M| 0 | 849 |1000 | 37k|1000 |5450 |5400 | 0 | 0 |-4.225000e+02 |-5.300000e+01 | 87.46%
21.18/21.23 c 21.2s| 1 | 0 | 22684 | - | 127M| 0 | 843 |1000 | 37k|1000 |6022 |5972 | 0 | 0 |-4.207500e+02 |-5.300000e+01 | 87.40%
21.99/22.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.99/22.04 c 22.0s| 1 | 0 | 26242 | - | 128M| 0 | 848 |1000 | 37k|1000 |6253 |6203 | 0 | 0 |-4.175417e+02 |-5.300000e+01 | 87.31%
22.29/22.38 c 22.4s| 1 | 0 | 26957 | - | 128M| 0 | 845 |1000 | 37k|1000 |6313 |6263 | 0 | 0 |-4.166250e+02 |-5.300000e+01 | 87.28%
23.00/23.07 c 23.1s| 1 | 0 | 29305 | - | 129M| 0 | 822 |1000 | 37k|1000 |4524 |6521 | 0 | 0 |-4.135000e+02 |-5.300000e+01 | 87.18%
23.39/23.40 c 23.4s| 1 | 0 | 29971 | - | 129M| 0 | 828 |1000 | 37k|1000 |4986 |6983 | 0 | 0 |-4.117500e+02 |-5.300000e+01 | 87.13%
23.79/23.83 c 23.8s| 1 | 0 | 31024 | - | 129M| 0 | 824 |1000 | 37k|1000 |4992 |6989 | 0 | 0 |-4.105000e+02 |-5.300000e+01 | 87.09%
24.29/24.39 c 24.4s| 1 | 0 | 33294 | - | 129M| 0 | 827 |1000 | 37k|1000 |5288 |7285 | 0 | 0 |-4.075000e+02 |-5.300000e+01 | 86.99%
24.79/24.80 c 24.8s| 1 | 0 | 34092 | - | 130M| 0 | 827 |1000 | 37k|1000 |5673 |7670 | 0 | 0 |-4.060000e+02 |-5.300000e+01 | 86.95%
25.20/25.27 c 25.3s| 1 | 0 | 35581 | - | 130M| 0 | 818 |1000 | 37k|1000 |5761 |7758 | 0 | 0 |-4.042500e+02 |-5.300000e+01 | 86.89%
25.89/25.94 c 25.9s| 1 | 0 | 38046 | - | 130M| 0 | 855 |1000 | 37k|1000 |5482 |8048 | 0 | 0 |-4.017143e+02 |-5.300000e+01 | 86.81%
26.48/26.54 c 26.5s| 1 | 0 | 38124 | - | 130M| 0 | 807 |1000 | 37k|1000 |7482 | 10k| 0 | 0 |-4.016250e+02 |-5.300000e+01 | 86.80%
26.99/27.01 c 27.0s| 1 | 0 | 39156 | - | 131M| 0 | 798 |1000 | 37k|1000 |7495 | 10k| 0 | 0 |-3.987500e+02 |-5.300000e+01 | 86.71%
27.40/27.45 c 27.4s| 1 | 0 | 40132 | - | 131M| 0 | 788 |1000 | 37k|1000 |7508 | 10k| 0 | 0 |-3.955000e+02 |-5.300000e+01 | 86.60%
27.79/27.84 c 27.8s| 1 | 0 | 40834 | - | 131M| 0 | 783 |1000 | 37k|1000 |7652 | 10k| 0 | 0 |-3.930000e+02 |-5.300000e+01 | 86.51%
28.09/28.14 c 28.1s| 1 | 0 | 41263 | - | 132M| 0 | 795 |1000 | 37k|1000 |7774 | 10k| 0 | 0 |-3.922500e+02 |-5.300000e+01 | 86.49%
28.69/28.73 c 28.7s| 1 | 0 | 42673 | - | 132M| 0 | 784 |1000 | 37k|1000 |6126 | 10k| 0 | 0 |-3.905000e+02 |-5.300000e+01 | 86.43%
29.09/29.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.09/29.18 c 29.2s| 1 | 0 | 43946 | - | 132M| 0 | 780 |1000 | 37k|1000 |6400 | 10k| 0 | 0 |-3.895000e+02 |-5.300000e+01 | 86.39%
29.59/29.68 c 29.7s| 1 | 0 | 45304 | - | 132M| 0 | 769 |1000 | 37k|1000 |6457 | 10k| 0 | 0 |-3.880000e+02 |-5.300000e+01 | 86.34%
29.88/29.96 c 30.0s| 1 | 0 | 45824 | - | 133M| 0 | 776 |1000 | 37k|1000 |6691 | 10k| 0 | 0 |-3.872500e+02 |-5.300000e+01 | 86.31%
30.19/30.22 c 30.2s| 1 | 0 | 46210 | - | 133M| 0 | 772 |1000 | 37k|1000 |6752 | 11k| 0 | 0 |-3.852500e+02 |-5.300000e+01 | 86.24%
30.89/30.90 c 30.9s| 1 | 0 | 48424 | - | 133M| 0 | 771 |1000 | 37k|1000 |6811 | 11k| 0 | 0 |-3.832500e+02 |-5.300000e+01 | 86.17%
31.09/31.16 c 31.2s| 1 | 0 | 48785 | - | 133M| 0 | 769 |1000 | 37k|1000 |5846 | 11k| 0 | 0 |-3.827500e+02 |-5.300000e+01 | 86.15%
31.69/31.80 c 31.8s| 1 | 0 | 50515 | - | 134M| 0 | 768 |1000 | 37k|1000 |6407 | 11k| 0 | 0 |-3.808750e+02 |-5.300000e+01 | 86.08%
32.49/32.54 c 32.5s| 1 | 0 | 52663 | - | 134M| 0 | 760 |1000 | 37k|1000 |7229 | 12k| 0 | 0 |-3.782500e+02 |-5.300000e+01 | 85.99%
33.28/33.36 c 33.4s| 1 | 0 | 54787 | - | 134M| 0 | 755 |1000 | 37k|1000 |7462 | 12k| 0 | 0 |-3.755000e+02 |-5.300000e+01 | 85.89%
34.39/34.41 c 34.4s| 1 | 0 | 57901 | - | 135M| 0 | 750 |1000 | 37k|1000 |7618 | 13k| 0 | 0 |-3.735000e+02 |-5.300000e+01 | 85.81%
34.98/35.08 c 35.1s| 1 | 0 | 59700 | - | 135M| 0 | 805 |1000 | 37k|1000 |7810 | 13k| 0 | 0 |-3.723158e+02 |-5.300000e+01 | 85.76%
35.38/35.49 c 35.5s| 1 | 0 | 60040 | - | 136M| 0 | 747 |1000 | 37k|1000 |8659 | 14k| 0 | 0 |-3.720000e+02 |-5.300000e+01 | 85.75%
35.79/35.80 c 35.8s| 1 | 0 | 60370 | - | 136M| 0 | 753 |1000 | 37k|1000 |8666 | 14k| 0 | 0 |-3.717500e+02 |-5.300000e+01 | 85.74%
36.49/36.53 c 36.5s| 1 | 0 | 62173 | - | 136M| 0 | 740 |1000 | 37k|1000 |8710 | 14k| 0 | 0 |-3.692500e+02 |-5.300000e+01 | 85.65%
37.18/37.23 c 37.2s| 1 | 0 | 63885 | - | 136M| 0 | 740 |1000 | 37k|1000 |8760 | 14k| 0 | 0 |-3.685000e+02 |-5.300000e+01 | 85.62%
37.78/37.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.78/37.84 c 37.8s| 1 | 0 | 65447 | - | 137M| 0 | 745 |1000 | 37k|1000 |8774 | 14k| 0 | 0 |-3.662500e+02 |-5.300000e+01 | 85.53%
38.59/38.62 c 38.6s| 1 | 0 | 67327 | - | 137M| 0 | 771 |1000 | 37k|1000 |8866 | 14k| 0 | 0 |-3.652500e+02 |-5.300000e+01 | 85.49%
39.99/40.07 c 40.1s| 1 | 0 | 71226 | - | 137M| 0 | 722 |1000 | 37k|1000 |7376 | 15k| 0 | 0 |-3.630000e+02 |-5.300000e+01 | 85.40%
40.99/41.06 c 41.1s| 1 | 0 | 74303 | - | 137M| 0 | 718 |1000 | 37k|1000 |7483 | 15k| 0 | 0 |-3.615000e+02 |-5.300000e+01 | 85.34%
41.39/41.43 c 41.4s| 1 | 0 | 75033 | - | 137M| 0 | 777 |1000 | 37k|1000 |7714 | 15k| 0 | 0 |-3.610000e+02 |-5.300000e+01 | 85.32%
43.79/43.83 c 43.8s| 1 | 0 | 82475 | - | 138M| 0 | 778 |1000 | 37k|1000 |7816 | 15k| 0 | 0 |-3.598125e+02 |-5.300000e+01 | 85.27%
44.88/44.96 c 45.0s| 1 | 0 | 85608 | - | 138M| 0 | 713 |1000 | 37k|1000 |8280 | 15k| 0 | 0 |-3.575000e+02 |-5.300000e+01 | 85.17%
45.69/45.72 c 45.7s| 1 | 0 | 87955 | - | 138M| 0 | 712 |1000 | 37k|1000 |8328 | 16k| 0 | 0 |-3.567500e+02 |-5.300000e+01 | 85.14%
46.09/46.16 c 46.2s| 1 | 0 | 88842 | - | 138M| 0 | 747 |1000 | 37k|1000 |6672 | 16k| 0 | 0 |-3.557500e+02 |-5.300000e+01 | 85.10%
46.38/46.48 c 46.5s| 1 | 0 | 89386 | - | 138M| 0 | 744 |1000 | 37k|1000 |6679 | 16k| 0 | 0 |-3.555000e+02 |-5.300000e+01 | 85.09%
47.08/47.12 c 47.1s| 1 | 0 | 91176 | - | 139M| 0 | 708 |1000 | 37k|1000 |6689 | 16k| 0 | 0 |-3.547500e+02 |-5.300000e+01 | 85.06%
47.99/48.02 c 48.0s| 1 | 0 | 94125 | - | 139M| 0 | 736 |1000 | 37k|1000 |6754 | 16k| 0 | 0 |-3.537500e+02 |-5.300000e+01 | 85.02%
48.89/48.98 c 49.0s| 1 | 0 | 96790 | - | 140M| 0 | 711 |1000 | 37k|1000 |6972 | 16k| 0 | 0 |-3.530000e+02 |-5.300000e+01 | 84.99%
49.39/49.45 c 49.4s| 1 | 0 | 97729 | - | 140M| 0 | 729 |1000 | 37k|1000 |6981 | 16k| 0 | 0 |-3.527500e+02 |-5.300000e+01 | 84.98%
51.59/51.62 c 51.6s| 1 | 0 |105093 | - | 142M| 0 | 752 |1000 | 37k|1000 |6571 | 16k| 0 | 0 |-3.518214e+02 |-5.300000e+01 | 84.94%
52.69/52.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.69/52.76 c 52.8s| 1 | 0 |108011 | - | 143M| 0 | 794 |1000 | 37k|1000 |7073 | 17k| 0 | 0 |-3.503333e+02 |-5.300000e+01 | 84.87%
53.48/53.59 c 53.6s| 1 | 0 |109543 | - | 145M| 0 | 740 |1000 | 37k|1000 |7511 | 17k| 0 | 0 |-3.494167e+02 |-5.300000e+01 | 84.83%
54.39/54.45 c 54.5s| 1 | 0 |111867 | - | 145M| 0 | 745 |1000 | 37k|1000 |7556 | 17k| 0 | 0 |-3.485000e+02 |-5.300000e+01 | 84.79%
55.19/55.27 c 55.3s| 1 | 0 |113958 | - | 147M| 0 | 743 |1000 | 37k|1000 |7651 | 17k| 0 | 0 |-3.472500e+02 |-5.300000e+01 | 84.74%
57.28/57.35 c 57.4s| 1 | 0 |120633 | - | 147M| 0 | 781 |1000 | 37k|1000 |7767 | 17k| 0 | 0 |-3.456280e+02 |-5.300000e+01 | 84.67%
58.19/58.26 c 58.3s| 1 | 0 |122354 | - | 149M| 0 | 803 |1000 | 37k|1000 |7528 | 17k| 0 | 0 |-3.449609e+02 |-5.300000e+01 | 84.64%
59.29/59.33 c 59.3s| 1 | 0 |124834 | - | 150M| 0 | 803 |1000 | 37k|1000 |7735 | 18k| 0 | 0 |-3.436803e+02 |-5.300000e+01 | 84.58%
60.29/60.32 c 60.3s| 1 | 0 |126862 | - | 152M| 0 | 771 |1000 | 37k|1000 |7939 | 18k| 0 | 0 |-3.426022e+02 |-5.300000e+01 | 84.53%
61.69/61.77 c 61.8s| 1 | 0 |129980 | - | 154M| 0 | 758 |1000 | 37k|1000 |8008 | 18k| 0 | 0 |-3.406667e+02 |-5.300000e+01 | 84.44%
62.48/62.51 c 62.5s| 1 | 0 |131364 | - | 154M| 0 | 744 |1000 | 37k|1000 |8048 | 18k| 0 | 0 |-3.400000e+02 |-5.300000e+01 | 84.41%
63.59/63.66 c 63.7s| 1 | 0 |133789 | - | 157M| 0 | 776 |1000 | 37k|1000 |8058 | 18k| 0 | 0 |-3.400000e+02 |-5.300000e+01 | 84.41%
65.49/65.57 c 65.6s| 1 | 0 |138893 | - | 158M| 0 | 733 |1000 | 37k|1000 |7218 | 18k| 0 | 0 |-3.390000e+02 |-5.300000e+01 | 84.37%
66.49/66.57 c 66.6s| 1 | 0 |141253 | - | 161M| 0 | 780 |1000 | 37k|1000 |7264 | 18k| 0 | 0 |-3.386667e+02 |-5.300000e+01 | 84.35%
68.29/68.38 c 68.4s| 1 | 0 |146458 | - | 162M| 0 | 796 |1000 | 37k|1000 |7381 | 18k| 0 | 0 |-3.369406e+02 |-5.300000e+01 | 84.27%
69.20/69.26 c 69.3s| 1 | 0 |147814 | - | 162M| 0 | 786 |1000 | 37k|1000 |7553 | 18k| 0 | 0 |-3.365550e+02 |-5.300000e+01 | 84.25%
71.59/71.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.59/71.69 c 71.7s| 1 | 0 |153950 | - | 163M| 0 | 786 |1000 | 37k|1000 |7725 | 19k| 0 | 0 |-3.341970e+02 |-5.300000e+01 | 84.14%
72.59/72.66 c 72.7s| 1 | 0 |155911 | - | 164M| 0 | 771 |1000 | 37k|1000 |7773 | 19k| 0 | 0 |-3.335450e+02 |-5.300000e+01 | 84.11%
73.89/73.96 c 74.0s| 1 | 0 |158828 | - | 166M| 0 | 762 |1000 | 37k|1000 |7148 | 19k| 0 | 0 |-3.325036e+02 |-5.300000e+01 | 84.06%
75.89/75.99 c 76.0s| 1 | 0 |163547 | - | 166M| 0 | 729 |1000 | 37k|1000 |7299 | 19k| 0 | 0 |-3.316662e+02 |-5.300000e+01 | 84.02%
76.69/76.70 c 76.7s| 1 | 0 |164871 | - | 166M| 0 | 779 |1000 | 37k|1000 |7428 | 19k| 0 | 0 |-3.310529e+02 |-5.300000e+01 | 83.99%
77.79/77.82 c 77.8s| 1 | 0 |166807 | - | 166M| 0 | 779 |1000 | 37k|1000 |7438 | 19k| 0 | 0 |-3.302328e+02 |-5.300000e+01 | 83.95%
79.09/79.14 c 79.1s| 1 | 0 |169454 | - | 166M| 0 | 774 |1000 | 37k|1000 |7521 | 19k| 0 | 0 |-3.292087e+02 |-5.300000e+01 | 83.90%
80.69/80.74 c 80.7s| 1 | 0 |172714 | - | 166M| 0 | 793 |1000 | 37k|1000 |7531 | 19k| 0 | 0 |-3.281873e+02 |-5.300000e+01 | 83.85%
82.28/82.31 c 82.3s| 1 | 0 |175702 | - | 166M| 0 | 799 |1000 | 37k|1000 |7346 | 19k| 0 | 0 |-3.269852e+02 |-5.300000e+01 | 83.79%
84.09/84.18 c 84.2s| 1 | 0 |180094 | - | 168M| 0 | 792 |1000 | 37k|1000 |7603 | 19k| 0 | 0 |-3.253061e+02 |-5.300000e+01 | 83.71%
85.49/85.53 c 85.5s| 1 | 0 |183268 | - | 170M| 0 | 797 |1000 | 37k|1000 |7718 | 19k| 0 | 0 |-3.243787e+02 |-5.300000e+01 | 83.66%
87.29/87.39 c 87.4s| 1 | 0 |187800 | - | 171M| 0 | 845 |1000 | 37k|1000 |7799 | 20k| 0 | 0 |-3.234249e+02 |-5.300000e+01 | 83.61%
90.68/90.74 c 90.7s| 1 | 0 |191778 | - | 171M| 0 | 803 |1000 | 37k|1000 |9028 | 21k| 0 | 0 |-3.217400e+02 |-5.300000e+01 | 83.53%
92.09/92.16 c 92.2s| 1 | 0 |194186 | - | 173M| 0 | 801 |1000 | 37k|1000 |9107 | 21k| 0 | 0 |-3.203889e+02 |-5.300000e+01 | 83.46%
93.49/93.55 c 93.5s| 1 | 0 |196589 | - | 173M| 0 | 819 |1000 | 37k|1000 |8559 | 21k| 0 | 0 |-3.195044e+02 |-5.300000e+01 | 83.41%
95.69/95.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.69/95.76 c 95.8s| 1 | 0 |200539 | - | 173M| 0 | 802 |1000 | 37k|1000 |8575 | 21k| 0 | 0 |-3.183088e+02 |-5.300000e+01 | 83.35%
97.80/97.83 c 97.8s| 1 | 0 |204288 | - | 173M| 0 | 816 |1000 | 37k|1000 |8592 | 21k| 0 | 0 |-3.170150e+02 |-5.300000e+01 | 83.28%
99.39/99.47 c 99.5s| 1 | 0 |207051 | - | 173M| 0 | 818 |1000 | 37k|1000 |8785 | 21k| 0 | 0 |-3.160634e+02 |-5.300000e+01 | 83.23%
101.69/101.77 c 102s| 1 | 0 |211508 | - | 173M| 0 | 793 |1000 | 37k|1000 |8826 | 21k| 0 | 0 |-3.146555e+02 |-5.300000e+01 | 83.16%
102.98/103.04 c 103s| 1 | 0 |213235 | - | 173M| 0 | 776 |1000 | 37k|1000 |8842 | 21k| 0 | 0 |-3.139266e+02 |-5.300000e+01 | 83.12%
104.59/104.63 c 105s| 1 | 0 |216219 | - | 176M| 0 | 801 |1000 | 37k|1000 |8541 | 21k| 0 | 0 |-3.130136e+02 |-5.300000e+01 | 83.07%
106.28/106.33 c 106s| 1 | 0 |218730 | - | 176M| 0 | 808 |1000 | 37k|1000 |8673 | 21k| 0 | 0 |-3.121966e+02 |-5.300000e+01 | 83.02%
107.70/107.72 c 108s| 1 | 0 |220591 | - | 175M| 0 | 814 |1000 | 37k|1000 |8709 | 21k| 0 | 0 |-3.108819e+02 |-5.300000e+01 | 82.95%
109.89/109.92 c 110s| 1 | 0 |223882 | - | 175M| 0 | 806 |1000 | 37k|1000 |8803 | 21k| 0 | 0 |-3.099057e+02 |-5.300000e+01 | 82.90%
111.69/111.76 c 112s| 1 | 0 |226916 | - | 175M| 0 | 802 |1000 | 37k|1000 |8815 | 21k| 0 | 0 |-3.087365e+02 |-5.300000e+01 | 82.83%
113.39/113.40 c 113s| 1 | 0 |229526 | - | 175M| 0 | 823 |1000 | 37k|1000 |8827 | 21k| 0 | 0 |-3.077060e+02 |-5.300000e+01 | 82.78%
115.79/115.86 c 116s| 1 | 0 |234040 | - | 175M| 0 | 832 |1000 | 37k|1000 |8015 | 21k| 0 | 0 |-3.063843e+02 |-5.300000e+01 | 82.70%
118.89/118.99 c 119s| 1 | 0 |240394 | - | 175M| 0 | 828 |1000 | 37k|1000 |8158 | 22k| 0 | 0 |-3.046199e+02 |-5.300000e+01 | 82.60%
122.29/122.37 c 122s| 1 | 0 |247462 | - | 175M| 0 | 804 |1000 | 37k|1000 |8264 | 22k| 0 | 0 |-3.026323e+02 |-5.300000e+01 | 82.49%
124.30/124.31 c 124s| 1 | 0 |250913 | - | 175M| 0 | 824 |1000 | 37k|1000 |8330 | 22k| 0 | 0 |-3.016477e+02 |-5.300000e+01 | 82.43%
126.69/126.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.69/126.70 c 127s| 1 | 0 |255995 | - | 175M| 0 | 826 |1000 | 37k|1000 |8430 | 22k| 0 | 0 |-3.007527e+02 |-5.300000e+01 | 82.38%
128.59/128.66 c 129s| 1 | 0 |259034 | - | 175M| 0 | 817 |1000 | 37k|1000 |8609 | 22k| 0 | 0 |-2.994029e+02 |-5.300000e+01 | 82.30%
130.99/131.02 c 131s| 1 | 0 |263390 | - | 175M| 0 | 826 |1000 | 37k|1000 |8415 | 22k| 0 | 0 |-2.982362e+02 |-5.300000e+01 | 82.23%
132.89/132.96 c 133s| 1 | 0 |266211 | - | 175M| 0 | 837 |1000 | 37k|1000 |8497 | 22k| 0 | 0 |-2.973081e+02 |-5.300000e+01 | 82.17%
135.19/135.25 c 135s| 1 | 0 |269381 | - | 175M| 0 | 829 |1000 | 37k|1000 |8685 | 22k| 0 | 0 |-2.960571e+02 |-5.300000e+01 | 82.10%
137.69/137.71 c 138s| 1 | 0 |273232 | - | 175M| 0 | 824 |1000 | 37k|1000 |8889 | 23k| 0 | 0 |-2.949569e+02 |-5.300000e+01 | 82.03%
139.60/139.65 c 140s| 1 | 0 |275958 | - | 174M| 0 | 830 |1000 | 37k|1000 |8908 | 23k| 0 | 0 |-2.943913e+02 |-5.300000e+01 | 82.00%
142.69/142.79 c 143s| 1 | 0 |280876 | - | 174M| 0 | 833 |1000 | 37k|1000 |8973 | 23k| 0 | 0 |-2.932033e+02 |-5.300000e+01 | 81.92%
145.79/145.85 c 146s| 1 | 0 |285430 | - | 174M| 0 | 824 |1000 | 37k|1000 |8668 | 23k| 0 | 0 |-2.920864e+02 |-5.300000e+01 | 81.85%
148.09/148.10 c 148s| 1 | 0 |288643 | - | 173M| 0 | 837 |1000 | 37k|1000 |8747 | 23k| 0 | 0 |-2.911429e+02 |-5.300000e+01 | 81.80%
150.19/150.29 c 150s| 1 | 0 |290828 | - | 173M| 0 | 840 |1000 | 37k|1000 |8812 | 23k| 0 | 0 |-2.906656e+02 |-5.300000e+01 | 81.77%
152.49/152.56 c 153s| 1 | 0 |293540 | - | 172M| 0 | 860 |1000 | 37k|1000 |8886 | 23k| 0 | 0 |-2.899507e+02 |-5.300000e+01 | 81.72%
154.68/154.73 c 155s| 1 | 0 |295153 | - | 172M| 0 | 860 |1000 | 37k|1000 |8989 | 23k| 0 | 0 |-2.895361e+02 |-5.300000e+01 | 81.69%
157.79/157.87 c 158s| 1 | 0 |298937 | - | 171M| 0 | 857 |1000 | 37k|1000 |9000 | 23k| 0 | 0 |-2.888412e+02 |-5.300000e+01 | 81.65%
162.09/162.16 c 162s| 1 | 0 |305150 | - | 171M| 0 | 857 |1000 | 37k|1000 |8572 | 23k| 0 | 0 |-2.880573e+02 |-5.300000e+01 | 81.60%
164.79/164.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.79/164.86 c 165s| 1 | 0 |308010 | - | 171M| 0 | 850 |1000 | 37k|1000 |8589 | 23k| 0 | 0 |-2.876036e+02 |-5.300000e+01 | 81.57%
167.49/167.58 c 168s| 1 | 0 |311168 | - | 170M| 0 | 870 |1000 | 37k|1000 |8618 | 23k| 0 | 0 |-2.869565e+02 |-5.300000e+01 | 81.53%
171.99/172.09 c 172s| 1 | 0 |316553 | - | 170M| 0 | 869 |1000 | 37k|1000 |8751 | 23k| 0 | 0 |-2.857153e+02 |-5.300000e+01 | 81.45%
176.39/176.44 c 176s| 1 | 0 |322611 | - | 170M| 0 | 872 |1000 | 37k|1000 |8790 | 24k| 0 | 0 |-2.844858e+02 |-5.300000e+01 | 81.37%
181.19/181.22 c 181s| 1 | 0 |328320 | - | 170M| 0 | 863 |1000 | 37k|1000 |8883 | 24k| 0 | 0 |-2.832713e+02 |-5.300000e+01 | 81.29%
184.39/184.47 c 184s| 1 | 0 |331456 | - | 170M| 0 | 866 |1000 | 37k|1000 |8669 | 24k| 0 | 0 |-2.827219e+02 |-5.300000e+01 | 81.25%
188.29/188.30 c 188s| 1 | 0 |335475 | - | 169M| 0 | 866 |1000 | 37k|1000 |8707 | 24k| 0 | 0 |-2.816263e+02 |-5.300000e+01 | 81.18%
192.50/192.50 c 193s| 1 | 0 |341665 | - | 169M| 0 | 867 |1000 | 37k|1000 |8807 | 24k| 0 | 0 |-2.806655e+02 |-5.300000e+01 | 81.12%
195.89/195.97 c 196s| 1 | 0 |344269 | - | 169M| 0 | 867 |1000 | 37k|1000 |8874 | 24k| 0 | 0 |-2.801370e+02 |-5.300000e+01 | 81.08%
199.69/199.73 c 200s| 1 | 0 |347845 | - | 169M| 0 | 871 |1000 | 37k|1000 |8929 | 24k| 0 | 0 |-2.793200e+02 |-5.300000e+01 | 81.03%
204.19/204.22 c 204s| 1 | 0 |352921 | - | 168M| 0 | 871 |1000 | 37k|1000 |8973 | 24k| 0 | 0 |-2.784344e+02 |-5.300000e+01 | 80.96%
208.09/208.15 c 208s| 1 | 0 |357820 | - | 168M| 0 | 872 |1000 | 37k|1000 |8899 | 24k| 0 | 0 |-2.774531e+02 |-5.300000e+01 | 80.90%
212.29/212.39 c 212s| 1 | 0 |362132 | - | 168M| 0 | 877 |1000 | 37k|1000 |8966 | 24k| 0 | 0 |-2.765782e+02 |-5.300000e+01 | 80.84%
216.49/216.51 c 217s| 1 | 0 |365734 | - | 168M| 0 | 871 |1000 | 37k|1000 |9059 | 24k| 0 | 0 |-2.757427e+02 |-5.300000e+01 | 80.78%
221.19/221.28 c 221s| 1 | 0 |370958 | - | 168M| 0 | 877 |1000 | 37k|1000 |9107 | 24k| 0 | 0 |-2.747720e+02 |-5.300000e+01 | 80.71%
227.09/227.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.09/227.11 c 227s| 1 | 0 |378972 | - | 168M| 0 | 891 |1000 | 37k|1000 |9202 | 24k| 0 | 0 |-2.738766e+02 |-5.300000e+01 | 80.65%
232.69/232.78 c 233s| 1 | 0 |385673 | - | 167M| 0 | 894 |1000 | 37k|1000 |9270 | 24k| 0 | 0 |-2.730260e+02 |-5.300000e+01 | 80.59%
236.40/236.44 c 236s| 1 | 0 |387366 | - | 167M| 0 | 894 |1000 | 37k|1000 |9107 | 25k| 0 | 0 |-2.728027e+02 |-5.300000e+01 | 80.57%
240.90/240.95 c 241s| 1 | 0 |391450 | - | 167M| 0 | 894 |1000 | 37k|1000 |9148 | 25k| 0 | 0 |-2.720651e+02 |-5.300000e+01 | 80.52%
244.69/244.73 c 245s| 1 | 0 |393549 | - | 167M| 0 | 890 |1000 | 37k|1000 |9171 | 25k| 0 | 0 |-2.715101e+02 |-5.300000e+01 | 80.48%
249.59/249.68 c 250s| 1 | 0 |398169 | - | 166M| 0 | 895 |1000 | 37k|1000 |9217 | 25k| 0 | 0 |-2.707289e+02 |-5.300000e+01 | 80.42%
254.00/254.07 c 254s| 1 | 0 |401344 | - | 166M| 0 | 894 |1000 | 37k|1000 |9279 | 25k| 0 | 0 |-2.702037e+02 |-5.300000e+01 | 80.39%
259.09/259.19 c 259s| 1 | 0 |406153 | - | 166M| 0 | 902 |1000 | 37k|1000 |9326 | 25k| 0 | 0 |-2.695234e+02 |-5.300000e+01 | 80.34%
264.69/264.79 c 265s| 1 | 0 |411736 | - | 166M| 0 | 899 |1000 | 37k|1000 |9212 | 25k| 0 | 0 |-2.685530e+02 |-5.300000e+01 | 80.26%
268.69/268.78 c 269s| 1 | 0 |413741 | - | 166M| 0 | 905 |1000 | 37k|1000 |9286 | 25k| 0 | 0 |-2.683561e+02 |-5.300000e+01 | 80.25%
272.69/272.78 c 273s| 1 | 0 |415718 | - | 166M| 0 | 905 |1000 | 37k|1000 |9310 | 25k| 0 | 0 |-2.681096e+02 |-5.300000e+01 | 80.23%
277.89/277.95 c 278s| 1 | 0 |420358 | - | 165M| 0 | 907 |1000 | 37k|1000 |9337 | 25k| 0 | 0 |-2.676320e+02 |-5.300000e+01 | 80.20%
282.29/282.39 c 282s| 1 | 0 |423038 | - | 165M| 0 | 911 |1000 | 37k|1000 |9402 | 25k| 0 | 0 |-2.672349e+02 |-5.300000e+01 | 80.17%
287.29/287.32 c 287s| 1 | 0 |426796 | - | 164M| 0 | 914 |1000 | 37k|1000 |9481 | 25k| 0 | 0 |-2.668202e+02 |-5.300000e+01 | 80.14%
292.30/292.39 c 292s| 1 | 0 |430390 | - | 164M| 0 | 915 |1000 | 37k|1000 |9355 | 25k| 0 | 0 |-2.662246e+02 |-5.300000e+01 | 80.09%
299.59/299.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
299.59/299.65 c 300s| 1 | 0 |439475 | - | 164M| 0 | 914 |1000 | 37k|1000 |9419 | 25k| 0 | 0 |-2.656145e+02 |-5.300000e+01 | 80.05%
304.29/304.31 c 304s| 1 | 0 |442448 | - | 164M| 0 | 910 |1000 | 37k|1000 |9459 | 25k| 0 | 0 |-2.651669e+02 |-5.300000e+01 | 80.01%
309.00/309.07 c 309s| 1 | 0 |445917 | - | 164M| 0 | 915 |1000 | 37k|1000 |9501 | 25k| 0 | 0 |-2.648158e+02 |-5.300000e+01 | 79.99%
313.70/313.70 c 314s| 1 | 0 |448347 | - | 164M| 0 | 913 |1000 | 37k|1000 |9571 | 25k| 0 | 0 |-2.645421e+02 |-5.300000e+01 | 79.97%
318.20/318.23 c 318s| 1 | 0 |450841 | - | 163M| 0 | 917 |1000 | 37k|1000 |9619 | 25k| 0 | 0 |-2.642702e+02 |-5.300000e+01 | 79.94%
324.29/324.38 c 324s| 1 | 0 |456889 | - | 163M| 0 | 908 |1000 | 37k|1000 |9463 | 25k| 0 | 0 |-2.635226e+02 |-5.300000e+01 | 79.89%
329.29/329.32 c 329s| 1 | 0 |460349 | - | 162M| 0 | 915 |1000 | 37k|1000 |9552 | 26k| 0 | 0 |-2.629556e+02 |-5.300000e+01 | 79.84%
334.30/334.36 c 334s| 1 | 0 |464048 | - | 162M| 0 | 908 |1000 | 37k|1000 |9599 | 26k| 0 | 0 |-2.626624e+02 |-5.300000e+01 | 79.82%
339.40/339.45 c 339s| 1 | 0 |467452 | - | 162M| 0 | 907 |1000 | 37k|1000 |9624 | 26k| 0 | 0 |-2.621619e+02 |-5.300000e+01 | 79.78%
344.99/345.03 c 345s| 1 | 0 |472227 | - | 162M| 0 | 930 |1000 | 37k|1000 |9662 | 26k| 0 | 0 |-2.615090e+02 |-5.300000e+01 | 79.73%
349.80/349.86 c 350s| 1 | 0 |474823 | - | 161M| 0 | 917 |1000 | 37k|1000 |9719 | 26k| 0 | 0 |-2.610670e+02 |-5.300000e+01 | 79.70%
355.30/355.37 c 355s| 1 | 0 |479373 | - | 160M| 0 | 924 |1000 | 37k|1000 |9601 | 26k| 0 | 0 |-2.606201e+02 |-5.300000e+01 | 79.66%
359.60/359.62 c 360s| 1 | 0 |481349 | - | 158M| 0 | 935 |1000 | 37k|1000 |9616 | 26k| 0 | 0 |-2.604146e+02 |-5.300000e+01 | 79.65%
364.00/364.02 c 364s| 1 | 0 |483394 | - | 157M| 0 | 935 |1000 | 37k|1000 |9638 | 26k| 0 | 0 |-2.601433e+02 |-5.300000e+01 | 79.63%
368.60/368.60 c 369s| 1 | 0 |485534 | - | 156M| 0 | 930 |1000 | 37k|1000 |9670 | 26k| 0 | 0 |-2.598433e+02 |-5.300000e+01 | 79.60%
374.09/374.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.09/374.12 c 374s| 1 | 0 |489802 | - | 155M| 0 | 939 |1000 | 37k|1000 |9717 | 26k| 0 | 0 |-2.590814e+02 |-5.300000e+01 | 79.54%
378.99/379.07 c 379s| 1 | 0 |492763 | - | 155M| 0 | 941 |1000 | 37k|1000 |9750 | 26k| 0 | 0 |-2.588427e+02 |-5.300000e+01 | 79.52%
383.49/383.58 c 384s| 1 | 0 |494655 | - | 153M| 0 | 940 |1000 | 37k|1000 |9605 | 26k| 0 | 0 |-2.586411e+02 |-5.300000e+01 | 79.51%
388.00/388.05 c 388s| 1 | 0 |496533 | - | 152M| 0 | 946 |1000 | 37k|1000 |9658 | 26k| 0 | 0 |-2.584234e+02 |-5.300000e+01 | 79.49%
392.90/392.93 c 393s| 1 | 0 |499061 | - | 150M| 0 | 934 |1000 | 37k|1000 |9684 | 26k| 0 | 0 |-2.580748e+02 |-5.300000e+01 | 79.46%
398.29/398.37 c 398s| 1 | 0 |503040 | - | 149M| 0 | 940 |1000 | 37k|1000 |9713 | 26k| 0 | 0 |-2.577191e+02 |-5.300000e+01 | 79.43%
403.89/403.95 c 404s| 1 | 0 |507030 | - | 148M| 0 | 940 |1000 | 37k|1000 |9749 | 26k| 0 | 0 |-2.572966e+02 |-5.300000e+01 | 79.40%
409.11/409.11 c 409s| 1 | 0 |509919 | - | 145M| 0 | 946 |1000 | 37k|1000 |9782 | 26k| 0 | 0 |-2.569674e+02 |-5.300000e+01 | 79.37%
413.70/413.72 c 414s| 1 | 0 |511569 | - | 144M| 0 | 943 |1000 | 37k|1000 |9678 | 26k| 0 | 0 |-2.568168e+02 |-5.300000e+01 | 79.36%
418.29/418.30 c 418s| 1 | 0 |513481 | - | 141M| 0 | 942 |1000 | 37k|1000 |9707 | 26k| 0 | 0 |-2.566348e+02 |-5.300000e+01 | 79.35%
422.99/423.01 c 423s| 1 | 0 |515717 | - | 140M| 0 | 946 |1000 | 37k|1000 |9746 | 26k| 0 | 0 |-2.563574e+02 |-5.300000e+01 | 79.33%
427.80/427.85 c 428s| 1 | 0 |517788 | - | 140M| 0 | 954 |1000 | 37k|1000 |9773 | 26k| 0 | 0 |-2.561035e+02 |-5.300000e+01 | 79.31%
432.69/432.75 c 433s| 1 | 0 |520300 | - | 140M| 0 | 944 |1000 | 37k|1000 |9794 | 26k| 0 | 0 |-2.557459e+02 |-5.300000e+01 | 79.28%
438.00/438.09 c 438s| 1 | 0 |523467 | - | 139M| 0 | 947 |1000 | 37k|1000 |9820 | 26k| 0 | 0 |-2.554036e+02 |-5.300000e+01 | 79.25%
442.20/442.27 c 442s| 1 | 0 |524343 | - | 137M| 0 | 948 |1000 | 37k|1000 |9712 | 26k| 0 | 0 |-2.552664e+02 |-5.300000e+01 | 79.24%
446.90/446.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.90/446.93 c 447s| 1 | 0 |526549 | - | 136M| 0 | 946 |1000 | 37k|1000 |9738 | 26k| 0 | 0 |-2.549102e+02 |-5.300000e+01 | 79.21%
451.30/451.32 c 451s| 1 | 0 |528024 | - | 136M| 0 | 948 |1000 | 37k|1000 |9761 | 26k| 0 | 0 |-2.547764e+02 |-5.300000e+01 | 79.20%
456.09/456.15 c 456s| 1 | 0 |530007 | - | 136M| 0 | 951 |1000 | 37k|1000 |9782 | 26k| 0 | 0 |-2.544858e+02 |-5.300000e+01 | 79.17%
461.10/461.10 c 461s| 1 | 0 |532247 | - | 136M| 0 | 946 |1000 | 37k|1000 |9811 | 26k| 0 | 0 |-2.541643e+02 |-5.300000e+01 | 79.15%
465.39/465.46 c 465s| 1 | 0 |533470 | - | 136M| 0 | 956 |1000 | 37k|1000 |9842 | 26k| 0 | 0 |-2.540040e+02 |-5.300000e+01 | 79.13%
469.89/469.99 c 470s| 1 | 0 |535031 | - | 136M| 0 | 960 |1000 | 37k|1000 |9755 | 26k| 0 | 0 |-2.538265e+02 |-5.300000e+01 | 79.12%
474.30/474.31 c 474s| 1 | 0 |536188 | - | 134M| 0 | 948 |1000 | 37k|1000 |9772 | 26k| 0 | 0 |-2.536456e+02 |-5.300000e+01 | 79.10%
479.40/479.49 c 479s| 1 | 0 |539033 | - | 132M| 0 | 955 |1000 | 37k|1000 |9803 | 27k| 0 | 0 |-2.533009e+02 |-5.300000e+01 | 79.08%
484.20/484.25 c 484s| 1 | 0 |540986 | - | 132M| 0 | 948 |1000 | 37k|1000 |9834 | 27k| 0 | 0 |-2.530550e+02 |-5.300000e+01 | 79.06%
488.40/488.47 c 488s| 1 | 0 |541902 | - | 132M| 0 | 958 |1000 | 37k|1000 |9867 | 27k| 0 | 0 |-2.529265e+02 |-5.300000e+01 | 79.05%
493.80/493.88 c 494s| 1 | 0 |545194 | - | 130M| 0 | 955 |1000 | 37k|1000 |9881 | 27k| 0 | 0 |-2.526061e+02 |-5.300000e+01 | 79.02%
498.90/498.95 c 499s| 1 | 0 |547703 | - | 130M| 0 | 961 |1000 | 37k|1000 |9834 | 27k| 0 | 0 |-2.524117e+02 |-5.300000e+01 | 79.00%
503.40/503.45 c 503s| 1 | 0 |548977 | - | 130M| 0 | 955 |1000 | 37k|1000 |9846 | 27k| 0 | 0 |-2.522497e+02 |-5.300000e+01 | 78.99%
507.90/507.98 c 508s| 1 | 0 |550291 | - | 130M| 0 | 963 |1000 | 37k|1000 |9857 | 27k| 0 | 0 |-2.520675e+02 |-5.300000e+01 | 78.97%
512.60/512.66 c 513s| 1 | 0 |551850 | - | 130M| 0 | 961 |1000 | 37k|1000 |9877 | 27k| 0 | 0 |-2.519055e+02 |-5.300000e+01 | 78.96%
516.70/516.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.70/516.72 c 517s| 1 | 0 |552357 | - | 130M| 0 | 956 |1000 | 37k|1000 |9893 | 27k| 0 | 0 |-2.518600e+02 |-5.300000e+01 | 78.96%
521.00/521.03 c 521s| 1 | 0 |553311 | - | 130M| 0 | 958 |1000 | 37k|1000 |9905 | 27k| 0 | 0 |-2.517443e+02 |-5.300000e+01 | 78.95%
525.30/525.35 c 525s| 1 | 0 |554152 | - | 127M| 0 | 965 |1000 | 37k|1000 |9839 | 27k| 0 | 0 |-2.516576e+02 |-5.300000e+01 | 78.94%
529.79/529.88 c 530s| 1 | 0 |555376 | - | 127M| 0 | 966 |1000 | 37k|1000 |9852 | 27k| 0 | 0 |-2.514918e+02 |-5.300000e+01 | 78.93%
534.30/534.30 c 534s| 1 | 0 |556490 | - | 127M| 0 | 971 |1000 | 37k|1000 |9879 | 27k| 0 | 0 |-2.513685e+02 |-5.300000e+01 | 78.92%
539.00/539.01 c 539s| 1 | 0 |557974 | - | 127M| 0 | 971 |1000 | 37k|1000 |9898 | 27k| 0 | 0 |-2.511806e+02 |-5.300000e+01 | 78.90%
543.50/543.56 c 544s| 1 | 0 |559049 | - | 127M| 0 | 967 |1000 | 37k|1000 |9920 | 27k| 0 | 0 |-2.509694e+02 |-5.300000e+01 | 78.88%
548.30/548.34 c 548s| 1 | 0 |560426 | - | 127M| 0 | 972 |1000 | 37k|1000 |9943 | 27k| 0 | 0 |-2.508030e+02 |-5.300000e+01 | 78.87%
553.20/553.23 c 553s| 1 | 0 |561922 | - | 126M| 0 | 975 |1000 | 37k|1000 |9886 | 27k| 0 | 0 |-2.505708e+02 |-5.300000e+01 | 78.85%
557.90/557.90 c 558s| 1 | 0 |563285 | - | 126M| 0 | 983 |1000 | 37k|1000 |9903 | 27k| 0 | 0 |-2.504322e+02 |-5.300000e+01 | 78.84%
562.20/562.26 c 562s| 1 | 0 |564027 | - | 126M| 0 | 979 |1000 | 37k|1000 |9917 | 27k| 0 | 0 |-2.503369e+02 |-5.300000e+01 | 78.83%
567.80/567.86 c 568s| 1 | 0 |566981 | - | 126M| 0 | 977 |1000 | 37k|1000 |9939 | 27k| 0 | 0 |-2.501233e+02 |-5.300000e+01 | 78.81%
572.40/572.49 c 572s| 1 | 0 |568144 | - | 126M| 0 | 979 |1000 | 37k|1000 |9957 | 27k| 0 | 0 |-2.499746e+02 |-5.300000e+01 | 78.80%
577.10/577.12 c 577s| 1 | 0 |569180 | - | 126M| 0 | 975 |1000 | 37k|1000 |9974 | 27k| 0 | 0 |-2.498288e+02 |-5.300000e+01 | 78.79%
581.70/581.75 c 582s| 1 | 0 |570118 | - | 126M| 0 | 984 |1000 | 37k|1000 |9943 | 27k| 0 | 0 |-2.496990e+02 |-5.300000e+01 | 78.77%
586.21/586.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.21/586.21 c 586s| 1 | 0 |570982 | - | 126M| 0 | 980 |1000 | 37k|1000 |9956 | 27k| 0 | 0 |-2.495860e+02 |-5.300000e+01 | 78.76%
590.80/590.89 c 591s| 1 | 0 |572090 | - | 126M| 0 | 981 |1000 | 37k|1000 |9976 | 27k| 0 | 0 |-2.494732e+02 |-5.300000e+01 | 78.76%
595.60/595.67 c 596s| 1 | 0 |573334 | - | 126M| 0 | 980 |1000 | 37k|1000 |9988 | 27k| 0 | 0 |-2.493359e+02 |-5.300000e+01 | 78.74%
600.20/600.20 c 600s| 1 | 0 |574220 | - | 126M| 0 | 979 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.491963e+02 |-5.300000e+01 | 78.73%
604.91/604.93 c 605s| 1 | 0 |575351 | - | 126M| 0 | 982 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.490068e+02 |-5.300000e+01 | 78.72%
609.40/609.48 c 609s| 1 | 0 |575970 | - | 126M| 0 | 979 |1000 | 37k|1000 |9968 | 27k| 0 | 0 |-2.489109e+02 |-5.300000e+01 | 78.71%
613.90/613.94 c 614s| 1 | 0 |576681 | - | 126M| 0 | 983 |1000 | 37k|1000 |9983 | 27k| 0 | 0 |-2.488024e+02 |-5.300000e+01 | 78.70%
618.60/618.61 c 619s| 1 | 0 |577684 | - | 126M| 0 | 980 |1000 | 37k|1000 |9993 | 27k| 0 | 0 |-2.486453e+02 |-5.300000e+01 | 78.68%
623.00/623.08 c 623s| 1 | 0 |578385 | - | 126M| 0 | 983 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.484723e+02 |-5.300000e+01 | 78.67%
628.01/628.03 c 628s| 1 | 0 |579932 | - | 126M| 0 | 982 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.483271e+02 |-5.300000e+01 | 78.66%
632.80/632.84 c 633s| 1 | 0 |580995 | - | 126M| 0 | 984 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.482222e+02 |-5.300000e+01 | 78.65%
638.01/638.00 c 638s| 1 | 0 |582707 | - | 126M| 0 | 989 |1000 | 37k|1000 |9979 | 27k| 0 | 0 |-2.480274e+02 |-5.300000e+01 | 78.63%
642.90/642.96 c 643s| 1 | 0 |584181 | - | 126M| 0 | 988 |1000 | 37k|1000 |9999 | 27k| 0 | 0 |-2.478335e+02 |-5.300000e+01 | 78.61%
647.80/647.82 c 648s| 1 | 0 |585218 | - | 126M| 0 | 989 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.477299e+02 |-5.300000e+01 | 78.61%
652.31/652.35 c 652s| 1 | 0 |585899 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.476588e+02 |-5.300000e+01 | 78.60%
657.40/657.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.40/657.43 c 657s| 1 | 0 |587305 | - | 126M| 0 | 989 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.474933e+02 |-5.300000e+01 | 78.59%
662.50/662.54 c 663s| 1 | 0 |588123 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.473913e+02 |-5.300000e+01 | 78.58%
667.40/667.41 c 667s| 1 | 0 |588667 | - | 126M| 0 | 991 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.473273e+02 |-5.300000e+01 | 78.57%
672.60/672.62 c 673s| 1 | 0 |589673 | - | 126M| 0 | 991 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.471891e+02 |-5.300000e+01 | 78.56%
677.90/677.90 c 678s| 1 | 0 |590789 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.470906e+02 |-5.300000e+01 | 78.55%
682.90/682.98 c 683s| 1 | 0 |591556 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.470110e+02 |-5.300000e+01 | 78.54%
688.20/688.20 c 688s| 1 | 0 |592616 | - | 126M| 0 | 991 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.469168e+02 |-5.300000e+01 | 78.54%
693.30/693.35 c 693s| 1 | 0 |593350 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.468366e+02 |-5.300000e+01 | 78.53%
698.41/698.48 c 698s| 1 | 0 |594003 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.467332e+02 |-5.300000e+01 | 78.52%
703.30/703.31 c 703s| 1 | 0 |594427 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.466732e+02 |-5.300000e+01 | 78.51%
708.20/708.24 c 708s| 1 | 0 |594883 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.466053e+02 |-5.300000e+01 | 78.51%
713.50/713.51 c 714s| 1 | 0 |595887 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.465213e+02 |-5.300000e+01 | 78.50%
718.91/718.90 c 719s| 1 | 0 |596835 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.464093e+02 |-5.300000e+01 | 78.49%
724.10/724.10 c 724s| 1 | 0 |597667 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.463202e+02 |-5.300000e+01 | 78.48%
729.31/729.37 c 729s| 1 | 0 |598572 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.462001e+02 |-5.300000e+01 | 78.47%
734.50/734.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.50/734.59 c 735s| 1 | 0 |599424 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.460944e+02 |-5.300000e+01 | 78.46%
739.80/739.84 c 740s| 1 | 0 |600187 | - | 126M| 0 | 997 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.460083e+02 |-5.300000e+01 | 78.46%
744.90/744.95 c 745s| 1 | 0 |600882 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.459280e+02 |-5.300000e+01 | 78.45%
750.11/750.20 c 750s| 1 | 0 |601636 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.458651e+02 |-5.300000e+01 | 78.44%
755.10/755.11 c 755s| 1 | 0 |602029 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.458160e+02 |-5.300000e+01 | 78.44%
760.11/760.19 c 760s| 1 | 0 |602599 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.457512e+02 |-5.300000e+01 | 78.43%
765.21/765.23 c 765s| 1 | 0 |603170 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.457016e+02 |-5.300000e+01 | 78.43%
770.20/770.26 c 770s| 1 | 0 |603694 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.456377e+02 |-5.300000e+01 | 78.42%
775.30/775.30 c 775s| 1 | 0 |604270 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.455872e+02 |-5.300000e+01 | 78.42%
780.40/780.40 c 780s| 1 | 0 |604953 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.455280e+02 |-5.300000e+01 | 78.41%
785.90/785.94 c 786s| 1 | 0 |606015 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.453705e+02 |-5.300000e+01 | 78.40%
791.61/791.62 c 792s| 1 | 0 |607168 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.452907e+02 |-5.300000e+01 | 78.39%
796.71/796.79 c 797s| 1 | 0 |607779 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.452096e+02 |-5.300000e+01 | 78.39%
802.10/802.11 c 802s| 1 | 0 |608492 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.451193e+02 |-5.300000e+01 | 78.38%
807.20/807.26 c 807s| 1 | 0 |609124 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.450530e+02 |-5.300000e+01 | 78.37%
812.30/812.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.30/812.34 c 812s| 1 | 0 |609684 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.450042e+02 |-5.300000e+01 | 78.37%
817.80/817.81 c 818s| 1 | 0 |610551 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.449318e+02 |-5.300000e+01 | 78.36%
822.91/822.94 c 823s| 1 | 0 |610886 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.448991e+02 |-5.300000e+01 | 78.36%
828.20/828.29 c 828s| 1 | 0 |611798 | - | 125M| 0 | 998 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.448061e+02 |-5.300000e+01 | 78.35%
834.00/834.08 c 834s| 1 | 0 |613149 | - | 125M| 0 | 997 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.446389e+02 |-5.300000e+01 | 78.34%
839.30/839.38 c 839s| 1 | 0 |614084 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.445187e+02 |-5.300000e+01 | 78.32%
844.51/844.51 c 845s| 1 | 0 |614713 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.444424e+02 |-5.300000e+01 | 78.32%
849.81/849.84 c 850s| 1 | 0 |615553 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.443738e+02 |-5.300000e+01 | 78.31%
855.10/855.17 c 855s| 1 | 0 |616248 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.443025e+02 |-5.300000e+01 | 78.31%
860.50/860.58 c 861s| 1 | 0 |617236 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.442012e+02 |-5.300000e+01 | 78.30%
866.00/866.09 c 866s| 1 | 0 |618221 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.440972e+02 |-5.300000e+01 | 78.29%
871.31/871.39 c 871s| 1 | 0 |618735 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.440486e+02 |-5.300000e+01 | 78.28%
876.61/876.65 c 877s| 1 | 0 |619443 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.439836e+02 |-5.300000e+01 | 78.28%
882.00/882.05 c 882s| 1 | 0 |620372 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.439116e+02 |-5.300000e+01 | 78.27%
887.20/887.29 c 887s| 1 | 0 |620978 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.438659e+02 |-5.300000e+01 | 78.27%
892.51/892.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.51/892.55 c 893s| 1 | 0 |621662 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.438201e+02 |-5.300000e+01 | 78.26%
898.20/898.20 c 898s| 1 | 0 |622711 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.437572e+02 |-5.300000e+01 | 78.26%
903.61/903.68 c 904s| 1 | 0 |623366 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.437030e+02 |-5.300000e+01 | 78.25%
909.41/909.47 c 909s| 1 | 0 |624719 | - | 125M| 0 | 999 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.435770e+02 |-5.300000e+01 | 78.24%
915.01/915.06 c 915s| 1 | 0 |625563 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.435067e+02 |-5.300000e+01 | 78.23%
920.41/920.47 c 920s| 1 | 0 |626292 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.434246e+02 |-5.300000e+01 | 78.23%
925.61/925.68 c 926s| 1 | 0 |626984 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.433636e+02 |-5.300000e+01 | 78.22%
930.90/930.97 c 931s| 1 | 0 |627719 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.433134e+02 |-5.300000e+01 | 78.22%
935.90/935.97 c 936s| 1 | 0 |628097 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.432892e+02 |-5.300000e+01 | 78.22%
941.51/941.58 c 942s| 1 | 0 |629279 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.432005e+02 |-5.300000e+01 | 78.21%
946.91/946.90 c 947s| 1 | 0 |629989 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.431325e+02 |-5.300000e+01 | 78.20%
952.51/952.51 c 953s| 1 | 0 |631017 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.430573e+02 |-5.300000e+01 | 78.19%
957.81/957.88 c 958s| 1 | 0 |631675 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.430026e+02 |-5.300000e+01 | 78.19%
963.21/963.25 c 963s| 1 | 0 |632321 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.429649e+02 |-5.300000e+01 | 78.19%
968.61/968.66 c 969s| 1 | 0 |633046 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.429186e+02 |-5.300000e+01 | 78.18%
973.91/973.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.91/973.99 c 974s| 1 | 0 |633933 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.428540e+02 |-5.300000e+01 | 78.18%
979.21/979.27 c 979s| 1 | 0 |634712 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.427955e+02 |-5.300000e+01 | 78.17%
984.80/984.81 c 985s| 1 | 0 |635620 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.427182e+02 |-5.300000e+01 | 78.16%
990.31/990.34 c 990s| 1 | 0 |636562 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.426595e+02 |-5.300000e+01 | 78.16%
995.61/995.64 c 996s| 1 | 0 |637209 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.426286e+02 |-5.300000e+01 | 78.16%
1001.30/1001.30 c 1001s| 1 | 0 |638382 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.425476e+02 |-5.300000e+01 | 78.15%
1006.81/1006.81 c 1007s| 1 | 0 |639251 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.424973e+02 |-5.300000e+01 | 78.14%
1012.50/1012.58 c 1013s| 1 | 0 |640311 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.424407e+02 |-5.300000e+01 | 78.14%
1018.10/1018.19 c 1018s| 1 | 0 |641191 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.424085e+02 |-5.300000e+01 | 78.14%
1023.21/1023.27 c 1023s| 1 | 0 |641706 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.423897e+02 |-5.300000e+01 | 78.13%
1028.81/1028.82 c 1029s| 1 | 0 |642699 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.423351e+02 |-5.300000e+01 | 78.13%
1034.21/1034.23 c 1034s| 1 | 0 |643580 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.422918e+02 |-5.300000e+01 | 78.13%
1039.51/1039.52 c 1040s| 1 | 0 |644291 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.422581e+02 |-5.300000e+01 | 78.12%
1045.51/1045.51 c 1046s| 1 | 0 |645736 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.422174e+02 |-5.300000e+01 | 78.12%
1050.91/1050.90 c 1051s| 1 | 0 |646613 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.421791e+02 |-5.300000e+01 | 78.12%
1056.31/1056.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.31/1056.31 c 1056s| 1 | 0 |647600 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.421263e+02 |-5.300000e+01 | 78.11%
1061.71/1061.73 c 1062s| 1 | 0 |648585 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.421070e+02 |-5.300000e+01 | 78.11%
1067.21/1067.23 c 1067s| 1 | 0 |649617 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.420698e+02 |-5.300000e+01 | 78.11%
1072.61/1072.63 c 1073s| 1 | 0 |650677 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.420330e+02 |-5.300000e+01 | 78.10%
1078.51/1078.57 c 1079s| 1 | 0 |652088 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.419734e+02 |-5.300000e+01 | 78.10%
1084.10/1084.15 c 1084s| 1 | 0 |652985 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.419372e+02 |-5.300000e+01 | 78.09%
1089.61/1089.64 c 1090s| 1 | 0 |654026 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.418996e+02 |-5.300000e+01 | 78.09%
1094.91/1094.91 c 1095s| 1 | 0 |654820 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.418692e+02 |-5.300000e+01 | 78.09%
1100.11/1100.11 c 1100s| 1 | 0 |655480 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.418473e+02 |-5.300000e+01 | 78.09%
1105.51/1105.51 c 1106s| 1 | 0 |656325 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.418177e+02 |-5.300000e+01 | 78.08%
1110.71/1110.72 c 1111s| 1 | 0 |656998 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.417886e+02 |-5.300000e+01 | 78.08%
1116.11/1116.10 c 1116s| 1 | 0 |658123 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.417477e+02 |-5.300000e+01 | 78.08%
1121.01/1121.03 c 1121s| 1 | 0 |658610 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.417309e+02 |-5.300000e+01 | 78.07%
1126.42/1126.40 c 1126s| 1 | 0 |659568 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.416945e+02 |-5.300000e+01 | 78.07%
1131.70/1131.73 c 1132s| 1 | 0 |660395 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.416627e+02 |-5.300000e+01 | 78.07%
1136.91/1136.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.91/1136.99 c 1137s| 1 | 0 |661301 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.416396e+02 |-5.300000e+01 | 78.07%
1142.21/1142.28 c 1142s| 1 | 0 |662224 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.416140e+02 |-5.300000e+01 | 78.06%
1147.41/1147.42 c 1147s| 1 | 0 |662899 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.415881e+02 |-5.300000e+01 | 78.06%
1152.61/1152.64 c 1153s| 1 | 0 |663760 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.415581e+02 |-5.300000e+01 | 78.06%
1157.91/1157.96 c 1158s| 1 | 0 |664665 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.415242e+02 |-5.300000e+01 | 78.06%
1163.41/1163.43 c 1163s| 1 | 0 |665776 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.415006e+02 |-5.300000e+01 | 78.05%
1168.51/1168.59 c 1169s| 1 | 0 |666657 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.414788e+02 |-5.300000e+01 | 78.05%
1173.72/1173.79 c 1174s| 1 | 0 |667599 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.414552e+02 |-5.300000e+01 | 78.05%
1178.91/1178.95 c 1179s| 1 | 0 |668421 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.414354e+02 |-5.300000e+01 | 78.05%
1184.01/1184.01 c 1184s| 1 | 0 |669074 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.414152e+02 |-5.300000e+01 | 78.05%
1189.01/1189.08 c 1189s| 1 | 0 |669789 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.413953e+02 |-5.300000e+01 | 78.04%
1194.11/1194.18 c 1194s| 1 | 0 |670599 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.413753e+02 |-5.300000e+01 | 78.04%
1199.21/1199.22 c 1199s| 1 | 0 |671335 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.413461e+02 |-5.300000e+01 | 78.04%
1204.11/1204.17 c 1204s| 1 | 0 |672069 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.413259e+02 |-5.300000e+01 | 78.04%
1209.01/1209.05 c 1209s| 1 | 0 |672478 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.413162e+02 |-5.300000e+01 | 78.04%
1214.01/1214.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1214.01/1214.07 c 1214s| 1 | 0 |673138 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412991e+02 |-5.300000e+01 | 78.04%
1219.31/1219.31 c 1219s| 1 | 0 |674150 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412789e+02 |-5.300000e+01 | 78.03%
1224.01/1224.00 c 1224s| 1 | 0 |674512 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412718e+02 |-5.300000e+01 | 78.03%
1229.11/1229.11 c 1229s| 1 | 0 |675446 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412502e+02 |-5.300000e+01 | 78.03%
1233.91/1233.99 c 1234s| 1 | 0 |675980 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412441e+02 |-5.300000e+01 | 78.03%
1238.91/1238.94 c 1239s| 1 | 0 |676671 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412247e+02 |-5.300000e+01 | 78.03%
1243.81/1243.82 c 1244s| 1 | 0 |677313 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412124e+02 |-5.300000e+01 | 78.03%
1248.71/1248.74 c 1249s| 1 | 0 |677803 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 28k| 0 | 0 |-2.412018e+02 |-5.300000e+01 | 78.03%
1253.81/1253.84 c 1254s| 1 | 0 |678633 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411841e+02 |-5.300000e+01 | 78.03%
1258.71/1258.74 c 1259s| 1 | 0 |679252 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411757e+02 |-5.300000e+01 | 78.02%
1263.81/1263.82 c 1264s| 1 | 0 |680410 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411622e+02 |-5.300000e+01 | 78.02%
1268.81/1268.87 c 1269s| 1 | 0 |681335 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411500e+02 |-5.300000e+01 | 78.02%
1273.91/1273.96 c 1274s| 1 | 0 |682277 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411410e+02 |-5.300000e+01 | 78.02%
1278.91/1278.94 c 1279s| 1 | 0 |683012 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411290e+02 |-5.300000e+01 | 78.02%
1283.81/1283.87 c 1284s| 1 | 0 |683872 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411193e+02 |-5.300000e+01 | 78.02%
1288.71/1288.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.71/1288.71 c 1289s| 1 | 0 |684613 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411094e+02 |-5.300000e+01 | 78.02%
1293.51/1293.51 c 1294s| 1 | 0 |685282 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.411034e+02 |-5.300000e+01 | 78.02%
1298.41/1298.41 c 1298s| 1 | 0 |686092 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410930e+02 |-5.300000e+01 | 78.02%
1303.11/1303.15 c 1303s| 1 | 0 |686548 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410871e+02 |-5.300000e+01 | 78.02%
1307.91/1307.92 c 1308s| 1 | 0 |687028 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410790e+02 |-5.300000e+01 | 78.02%
1312.40/1312.49 c 1312s| 1 | 0 |687318 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410757e+02 |-5.300000e+01 | 78.02%
1317.01/1317.03 c 1317s| 1 | 0 |687592 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410725e+02 |-5.300000e+01 | 78.01%
1321.81/1321.81 c 1322s| 1 | 0 |688004 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410688e+02 |-5.300000e+01 | 78.01%
1326.41/1326.43 c 1326s| 1 | 0 |688358 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410634e+02 |-5.300000e+01 | 78.01%
1331.01/1331.05 c 1331s| 1 | 0 |688699 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410597e+02 |-5.300000e+01 | 78.01%
1335.61/1335.63 c 1336s| 1 | 0 |688954 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410571e+02 |-5.300000e+01 | 78.01%
1340.11/1340.14 c 1340s| 1 | 0 |689098 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410560e+02 |-5.300000e+01 | 78.01%
1344.71/1344.71 c 1345s| 1 | 0 |689338 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 0 |-2.410545e+02 |-5.300000e+01 | 78.01%
1370.31/1370.31 c 1370s| 1 | 2 |689338 | - | 125M| 0 |1000 |1000 | 37k|1000 | 10k| 29k| 0 | 37 |-2.410545e+02 |-5.300000e+01 | 78.01%
1797.02/1797.02 c
1797.02/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.02 c Solving Time (sec) : 1797.02
1797.02/1797.02 c Solving Nodes : 154
1797.02/1797.02 c Primal Bound : -5.30000000000000e+01 (100 solutions)
1797.02/1797.02 c Dual Bound : -2.40480600396694e+02
1797.02/1797.02 c Gap : 77.96 %
1797.02/1797.07 s SATISFIABLE
1797.02/1797.07 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.02/1797.07 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.02/1797.07 v -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1797.02/1797.07 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1797.02/1797.07 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1797.02/1797.07 v -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1797.02/1797.07 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1797.02/1797.07 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833
1797.02/1797.07 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1797.02/1797.07 v -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1797.02/1797.07 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770
1797.02/1797.07 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1797.02/1797.07 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1797.02/1797.07 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707
1797.02/1797.07 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1797.02/1797.07 v -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1797.02/1797.07 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1797.02/1797.07 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1797.02/1797.07 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602
1797.02/1797.07 v -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
1797.02/1797.07 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
1797.02/1797.07 v -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
1797.02/1797.07 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 x520 -x519 -x518
1797.02/1797.07 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
1797.02/1797.07 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
1797.02/1797.07 v -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455
1797.02/1797.07 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
1797.02/1797.07 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
1797.02/1797.07 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1797.02/1797.07 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1797.02/1797.07 v -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351
1797.02/1797.07 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1797.02/1797.07 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1797.02/1797.07 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1797.02/1797.07 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1797.02/1797.07 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1797.02/1797.07 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.02/1797.07 v -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.02/1797.07 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.02/1797.07 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 x165 -x164 -x163 -x162
1797.02/1797.07 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 x144 -x143 -x142 -x141
1797.02/1797.07 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1797.02/1797.07 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1797.02/1797.07 v -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1797.02/1797.07 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 -x48 -x47
1797.02/1797.07 v -x46 -x45 x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22
1797.02/1797.07 v -x21 -x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 x3 x2 x1
1797.02/1797.07 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.07 c Total Time : 1797.02
1797.02/1797.07 c solving : 1797.02
1797.02/1797.07 c presolving : 0.96 (included in solving)
1797.02/1797.07 c reading : 0.18 (included in solving)
1797.02/1797.07 c Original Problem :
1797.02/1797.07 c Problem name : HOME/instance-3488610-1307784819.opb
1797.02/1797.07 c Variables : 38742 (38742 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.07 c Constraints : 39742 initial, 39742 maximal
1797.02/1797.07 c Presolved Problem :
1797.02/1797.07 c Problem name : t_HOME/instance-3488610-1307784819.opb
1797.02/1797.07 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.07 c Constraints : 37742 initial, 37742 maximal
1797.02/1797.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.07 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c probing : 0.32 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c setppc : 0.04 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c and : 0.37 0 0 0 0 0 0 0 0 0
1797.02/1797.07 c linear : 0.10 37742 0 0 37742 0 1000 0 0 0
1797.02/1797.07 c pseudoboolean : 0.03 0 0 0 0 0 1000 0 0 0
1797.02/1797.07 c root node : - 0 - - 0 - - - - -
1797.02/1797.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.07 c integral : 0 0 0 153 0 3994 0 0 0 0 0 306
1797.02/1797.07 c setppc : 37742 369 4662 0 1 3990 0 0 6974 33127 0 0
1797.02/1797.07 c countsols : 0 0 0 0 1 102 0 0 0 0 0 0
1797.02/1797.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.07 c integral : 191.71 0.00 0.00 191.70 0.00 0.01 0.00
1797.02/1797.07 c setppc : 10.11 4.03 2.64 0.00 0.01 3.43 0.00
1797.02/1797.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.07 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.07 c vbounds : 0 0 0 0
1797.02/1797.07 c rootredcost : 0 0 0 0
1797.02/1797.07 c pseudoobj : 4940 0 0 0
1797.02/1797.07 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.07 c vbounds : 0.00 0.00 0.00
1797.02/1797.07 c rootredcost : 0.00 0.00 0.00
1797.02/1797.07 c pseudoobj : 0.10 0.10 0.00
1797.02/1797.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.07 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.07 c applied globally : - - - 0 0.0 - - -
1797.02/1797.07 c applied locally : - - - 0 0.0 - - -
1797.02/1797.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.07 c cut pool : 1.17 368 - - 5332 - (maximal pool size: 19963)
1797.02/1797.07 c redcost : 0.01 521 0 0 0 0
1797.02/1797.07 c impliedbounds : 0.47 367 0 0 32641 0
1797.02/1797.07 c intobj : 0.00 0 0 0 0 0
1797.02/1797.07 c gomory : 978.96 366 0 0 78635 0
1797.02/1797.07 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.07 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.07 c strongcg : 1.78 20 0 0 10000 0
1797.02/1797.07 c cmir : 1.59 10 0 0 0 0
1797.02/1797.07 c flowcover : 1.47 10 0 0 0 0
1797.02/1797.07 c clique : 16.96 366 0 0 3421 0
1797.02/1797.07 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.07 c mcf : 0.02 1 0 0 0 0
1797.02/1797.07 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.07 c rapidlearning : 0.00 0 0 0 0 0
1797.02/1797.07 c Pricers : Time Calls Vars
1797.02/1797.07 c problem variables: 0.00 0 0
1797.02/1797.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.07 c relpscost : 191.70 153 0 0 0 0 306
1797.02/1797.07 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.07 c inference : 0.00 1 0 0 0 0 2
1797.02/1797.07 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.07 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.07 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.07 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.07 c random : 0.00 0 0 0 0 0 0
1797.02/1797.07 c Primal Heuristics : Time Calls Found
1797.02/1797.07 c LP solutions : 0.00 - 0
1797.02/1797.07 c pseudo solutions : 0.00 - 0
1797.02/1797.07 c crossover : 0.00 0 0
1797.02/1797.07 c oneopt : 0.01 2 1
1797.02/1797.07 c guideddiving : 15.35 7 1
1797.02/1797.07 c linesearchdiving : 17.82 7 2
1797.02/1797.07 c coefdiving : 15.39 8 2
1797.02/1797.07 c trivial : 0.05 2 1
1797.02/1797.07 c shiftandpropagate: 0.00 0 0
1797.02/1797.07 c simplerounding : 1.57 522 75
1797.02/1797.07 c zirounding : 0.09 153 0
1797.02/1797.07 c rounding : 12.23 522 1
1797.02/1797.07 c shifting : 9.94 381 1
1797.02/1797.07 c intshifting : 0.00 0 0
1797.02/1797.07 c twoopt : 0.00 0 0
1797.02/1797.07 c fixandinfer : 0.00 0 0
1797.02/1797.07 c feaspump : 0.00 0 0
1797.02/1797.07 c clique : 0.00 0 0
1797.02/1797.07 c pscostdiving : 19.98 8 3
1797.02/1797.07 c fracdiving : 18.49 8 1
1797.02/1797.07 c veclendiving : 28.72 8 12
1797.02/1797.07 c intdiving : 0.00 0 0
1797.02/1797.07 c actconsdiving : 0.00 0 0
1797.02/1797.07 c objpscostdiving : 39.67 1 0
1797.02/1797.07 c rootsoldiving : 5.23 3 0
1797.02/1797.07 c octane : 0.00 0 0
1797.02/1797.07 c rens : 0.07 0 0
1797.02/1797.07 c rins : 0.00 0 0
1797.02/1797.07 c localbranching : 0.00 0 0
1797.02/1797.07 c mutation : 0.00 0 0
1797.02/1797.07 c dins : 0.00 0 0
1797.02/1797.07 c vbounds : 0.00 0 0
1797.02/1797.07 c undercover : 0.02 1 0
1797.02/1797.07 c subnlp : 0.00 0 0
1797.02/1797.07 c trysol : 0.00 0 0
1797.02/1797.07 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.07 c primal LP : 1.04 0 0 0.00 0.00
1797.02/1797.07 c dual LP : 407.71 523 1215506 2324.10 2981.30
1797.02/1797.07 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.07 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.07 c diving/probing LP: 153.82 4003 1122228 280.35 7295.69
1797.02/1797.07 c strong branching : 191.66 1036 745385 719.48 3889.17
1797.02/1797.07 c (at root node) : - 37 37000 1000.00 -
1797.02/1797.07 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.07 c B&B Tree :
1797.02/1797.07 c number of runs : 1
1797.02/1797.07 c nodes : 154
1797.02/1797.07 c nodes (total) : 154
1797.02/1797.07 c nodes left : 155
1797.02/1797.07 c max depth : 38
1797.02/1797.07 c max depth (total): 38
1797.02/1797.07 c backtracks : 50 (32.5%)
1797.02/1797.07 c delayed cutoffs : 0
1797.02/1797.07 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.02/1797.07 c avg switch length: 5.39
1797.02/1797.07 c switching time : 0.16
1797.02/1797.07 c Solution :
1797.02/1797.07 c Solutions found : 100 (4 improvements)
1797.02/1797.07 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.35 seconds, depth 0, found by <trivial>)
1797.02/1797.07 c Primal Bound : -5.30000000000000e+01 (in run 1, after 1 nodes, 2.54 seconds, depth 0, found by <oneopt>)
1797.02/1797.07 c Dual Bound : -2.40480600396694e+02
1797.02/1797.07 c Gap : 77.96 %
1797.02/1797.07 c Root Dual Bound : -2.41054541334148e+02
1797.02/1797.07 c Root Iterations : 689338
1797.22/1797.26 c Time complete: 1797.28.
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-3488610-1307784819/watcher-3488610-1307784819 -o /tmp/evaluation-result-3488610-1307784819/solver-3488610-1307784819 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488610-1307784819.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 26154
/proc/meminfo: memFree=31005288/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=12696 CPUtime=0 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 2168 0 0 0 0 0 0 0 25 0 1 0 890079616 13000704 2122 33554432000 4194304 9016284 140736280660368 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26154/statm: 3174 2123 353 1178 0 1992 0
[startup+0.0556221 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 26154
/proc/meminfo: memFree=31005288/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=32324 CPUtime=0.05 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 7072 0 0 0 5 0 0 0 25 0 1 0 890079616 33099776 7026 33554432000 4194304 9016284 140736280660368 18446744073709551615 4875342 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26154/statm: 8081 7026 380 1178 0 6899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 32324
[startup+0.100608 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 26154
/proc/meminfo: memFree=31005288/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=45884 CPUtime=0.09 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 10474 0 0 0 9 0 0 0 25 0 1 0 890079616 46985216 10428 33554432000 4194304 9016284 140736280660368 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26154/statm: 11471 10428 380 1178 0 10289 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45884
[startup+0.300574 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 26154
/proc/meminfo: memFree=31005288/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=116540 CPUtime=0.29 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 28282 0 0 0 26 3 0 0 25 0 1 0 890079616 119336960 27969 33554432000 4194304 9016284 140736280660368 18446744073709551615 6816929 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26154/statm: 29135 27969 433 1178 0 27953 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 116540
[startup+0.700506 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 26154
/proc/meminfo: memFree=31005288/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=148416 CPUtime=0.69 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 35342 0 0 0 65 4 0 0 25 0 1 0 890079616 151977984 35029 33554432000 4194304 9016284 140736280660368 18446744073709551615 4445912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26154/statm: 37104 35029 480 1178 0 35922 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 148416
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26155
/proc/meminfo: memFree=30855636/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=205236 CPUtime=1.49 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 51019 0 0 0 144 5 0 0 25 0 1 0 890079616 210161664 48144 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26154/statm: 51309 48144 714 1178 0 50127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 205236
[startup+3.10102 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26155
/proc/meminfo: memFree=30802932/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=215304 CPUtime=3.09 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 56792 0 0 0 303 6 0 0 25 0 1 0 890079616 220471296 51163 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26154/statm: 53826 51163 760 1178 0 52644 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 215304
[startup+6.30047 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26155
/proc/meminfo: memFree=30795996/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=216488 CPUtime=6.29 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 57049 0 0 0 622 7 0 0 25 0 1 0 890079616 221683712 51419 33554432000 4194304 9016284 140736280660368 18446744073709551615 6922911 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 54122 51419 761 1178 0 52940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 216488
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26155
/proc/meminfo: memFree=30787820/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=221884 CPUtime=12.69 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 58552 0 0 0 1261 8 0 0 25 0 1 0 890079616 227209216 52902 33554432000 4194304 9016284 140736280660368 18446744073709551615 6971592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 55471 52902 742 1178 0 54289 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 221884
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26155
/proc/meminfo: memFree=30767964/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=231616 CPUtime=25.49 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 61492 0 0 0 2535 14 0 0 25 0 1 0 890079616 237174784 55772 33554432000 4194304 9016284 140736280660368 18446744073709551615 7080788 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 57904 55772 732 1178 0 56722 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 231616
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 1.96 3/178 26156
/proc/meminfo: memFree=30738316/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=248148 CPUtime=51.09 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 65769 0 0 0 5085 24 0 0 25 0 1 0 890079616 254103552 59703 33554432000 4194304 9016284 140736280660368 18446744073709551615 7191188 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 62037 59703 682 1178 0 60855 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 248148
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 26157
/proc/meminfo: memFree=30677856/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=288676 CPUtime=102.29 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75470 0 0 0 10187 42 0 0 25 0 1 0 890079616 295604224 69274 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26154/statm: 72169 69274 676 1178 0 70987 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 288676
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 26159
/proc/meminfo: memFree=30647628/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=290908 CPUtime=162.29 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75791 0 0 0 16167 62 0 0 25 0 1 0 890079616 297889792 69581 33554432000 4194304 9016284 140736280660368 18446744073709551615 7260912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26154/statm: 72727 69581 675 1178 0 71545 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 290908
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26161
/proc/meminfo: memFree=30612112/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=290908 CPUtime=222.29 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75791 0 0 0 22147 82 0 0 25 0 1 0 890079616 297889792 69581 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26154/statm: 72727 69581 675 1178 0 71545 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 290908
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26162
/proc/meminfo: memFree=30579812/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=290908 CPUtime=282.29 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75793 0 0 0 28129 100 0 0 25 0 1 0 890079616 297889792 69583 33554432000 4194304 9016284 140736280660368 18446744073709551615 7180528 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26154/statm: 72727 69583 675 1178 0 71545 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 290908
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26164
/proc/meminfo: memFree=30549364/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=290908 CPUtime=342.3 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75793 0 0 0 34112 118 0 0 25 0 1 0 890079616 297889792 69583 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26154/statm: 72727 69583 675 1178 0 71545 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 290908
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26165
/proc/meminfo: memFree=30512472/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=290908 CPUtime=402.3 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75793 0 0 0 40096 134 0 0 25 0 1 0 890079616 297889792 69583 33554432000 4194304 9016284 140736280660368 18446744073709551615 7178597 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26154/statm: 72727 69583 675 1178 0 71545 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 290908
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26167
/proc/meminfo: memFree=30482280/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=290908 CPUtime=462.3 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75793 0 0 0 46080 150 0 0 25 0 1 0 890079616 297889792 69583 33554432000 4194304 9016284 140736280660368 18446744073709551615 6583249 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26154/statm: 72727 69583 675 1178 0 71545 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 290908
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26169
/proc/meminfo: memFree=30442172/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=290908 CPUtime=522.3 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75827 0 0 0 52067 163 0 0 25 0 1 0 890079616 297889792 69617 33554432000 4194304 9016284 140736280660368 18446744073709551615 6520740 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26154/statm: 72727 69617 675 1178 0 71545 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 290908
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26170
/proc/meminfo: memFree=30409140/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=290908 CPUtime=582.3 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75835 0 0 0 58055 175 0 0 25 0 1 0 890079616 297889792 69625 33554432000 4194304 9016284 140736280660368 18446744073709551615 6578825 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26154/statm: 72727 69625 675 1178 0 71545 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 290908
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31280252/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=290908 CPUtime=1122.31 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75835 0 0 0 111949 282 0 0 25 0 1 0 890079616 297889792 69625 33554432000 4194304 9016284 140736280660368 18446744073709551615 6520800 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 72727 69625 675 1178 0 71545 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 290908
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26224
/proc/meminfo: memFree=31280192/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=290908 CPUtime=1182.31 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75835 0 0 0 117938 293 0 0 25 0 1 0 890079616 297889792 69625 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 72727 69625 675 1178 0 71545 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 290908
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26226
/proc/meminfo: memFree=31279844/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=290908 CPUtime=1242.31 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75835 0 0 0 123924 307 0 0 25 0 1 0 890079616 297889792 69625 33554432000 4194304 9016284 140736280660368 18446744073709551615 6583249 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 72727 69625 675 1178 0 71545 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 290908
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26227
/proc/meminfo: memFree=31279300/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=290908 CPUtime=1302.32 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 75835 0 0 0 129914 318 0 0 25 0 1 0 890079616 297889792 69625 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 72727 69625 675 1178 0 71545 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 290908
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26229
/proc/meminfo: memFree=31281236/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1362.31 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78902 0 0 0 135900 331 0 0 25 0 1 0 890079616 294879232 68957 33554432000 4194304 9016284 140736280660368 18446744073709551615 7181026 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 68957 686 1178 0 70810 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 287968
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26231
/proc/meminfo: memFree=31281308/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1422.32 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78907 0 0 0 141876 356 0 0 25 0 1 0 890079616 294879232 68962 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 68962 691 1178 0 70810 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 287968
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26232
/proc/meminfo: memFree=31281140/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1482.31 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78920 0 0 0 147842 389 0 0 25 0 1 0 890079616 294879232 68975 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 68975 691 1178 0 70810 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 287968
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 26234
/proc/meminfo: memFree=31281220/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1542.32 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78931 0 0 0 153796 436 0 0 25 0 1 0 890079616 294879232 68986 33554432000 4194304 9016284 140736280660368 18446744073709551615 5513174 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 68986 692 1178 0 70810 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 287968
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 26235
/proc/meminfo: memFree=31282052/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1602.32 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78952 0 0 0 159761 471 0 0 25 0 1 0 890079616 294879232 69007 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 69007 692 1178 0 70810 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 287968
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26246
/proc/meminfo: memFree=31279992/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1662.32 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 165719 513 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 69026 693 1178 0 70810 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 287968
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26248
/proc/meminfo: memFree=31279348/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1722.32 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 171680 552 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 69026 693 1178 0 70810 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 287968
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26249
/proc/meminfo: memFree=31283496/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1782.32 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 177636 596 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 69026 693 1178 0 70810 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 287968
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26249
/proc/meminfo: memFree=31280644/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1785.52 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 177955 597 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 69026 693 1178 0 70810 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 287968
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26249
/proc/meminfo: memFree=31280636/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1791.93 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 178590 603 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 69026 693 1178 0 70810 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 287968
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26249
/proc/meminfo: memFree=31280636/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1795.13 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 178908 605 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 69026 693 1178 0 70810 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 287968
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26249
/proc/meminfo: memFree=31280636/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1795.92 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 178987 605 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 69026 693 1178 0 70810 0
Current children cumulated CPU time (s) 1795.92
Current children cumulated vsize (KiB) 287968
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26250
/proc/meminfo: memFree=31280636/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1796.72 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78971 0 0 0 179066 606 0 0 25 0 1 0 890079616 294879232 69026 33554432000 4194304 9016284 140736280660368 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 69026 693 1178 0 70810 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 287968
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26250
/proc/meminfo: memFree=31280636/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=287968 CPUtime=1797.12 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78973 0 0 0 179105 607 0 0 25 0 1 0 890079616 294879232 69028 33554432000 4194304 9016284 140736280660368 18446744073709551615 6817680 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26154/statm: 71992 69028 695 1178 0 70810 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 287968
[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26250
/proc/meminfo: memFree=31280636/32951124 swapFree=67053176/67111528
[pid=26154] ppid=26152 vsize=286316 CPUtime=1797.22 cores=0,2,4,6
/proc/26154/stat : 26154 (scip-2.0.1.4b_2) R 26152 26154 19126 0 -1 4202496 78974 0 0 0 179115 607 0 0 25 0 1 0 890079616 293187584 68627 33554432000 4194304 9016284 140736280660368 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26154/statm: 71579 68627 696 1178 0 70397 0
Current children cumulated CPU time (s) 1797.22
Current children cumulated vsize (KiB) 286316
Child status: 0
Real time (s): 1797.26
CPU time (s): 1797.29
CPU user time (s): 1791.2
CPU system time (s): 6.09107
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 290908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.2
system time used= 6.09107
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78979
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= 19060
runsolver used 2.5996 second user time and 5.59715 second system time
The end