0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450690-1307107578.opb>
0.19/0.21 c original problem has 38742 variables (38742 bin, 0 int, 0 impl, 0 cont) and 39742 constraints
0.19/0.21 c problem read
0.19/0.21 c presolving settings loaded
0.39/0.43 o 0
0.39/0.43 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.43 c presolving:
0.79/0.88 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.98 c (round 2) 37742 del vars, 2000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 37742 upgd conss, 226452 impls, 0 clqs
1.19/1.20 c (1.2s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.19/1.20 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.19/1.20 c presolving (3 rounds):
1.19/1.20 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.20 c 226452 implications, 0 cliques
1.19/1.20 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37742 constraints
1.19/1.20 c 37742 constraints of type <logicor>
1.19/1.20 c transformed objective value is always integral (scale: 1)
1.19/1.20 c Presolving Time: 0.86
1.19/1.20 c - non default parameters ----------------------------------------------------------------------
1.19/1.20 c # SCIP version 2.0.1.5
1.19/1.20 c
1.19/1.20 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.19/1.20 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.20 c conflict/interconss = 0
1.19/1.20 c
1.19/1.20 c # should binary conflicts be preferred?
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c conflict/preferbinary = TRUE
1.19/1.20 c
1.19/1.20 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.19/1.20 c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.20 c constraints/agelimit = 1
1.19/1.20 c
1.19/1.20 c # should enforcement of pseudo solution be disabled?
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c constraints/disableenfops = TRUE
1.19/1.20 c
1.19/1.20 c # frequency for displaying node information lines
1.19/1.20 c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.20 c display/freq = 10000
1.19/1.20 c
1.19/1.20 c # maximal time in seconds to run
1.19/1.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.20 c limits/time = 1800
1.19/1.20 c
1.19/1.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.20 c limits/memory = 13950
1.19/1.20 c
1.19/1.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.19/1.20 c # [type: int, range: [1,2], default: 1]
1.19/1.20 c timing/clocktype = 2
1.19/1.20 c
1.19/1.20 c # belongs reading time to solving time?
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c timing/reading = TRUE
1.19/1.20 c
1.19/1.20 c # should presolving try to simplify inequalities
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c constraints/linear/simplifyinequalities = TRUE
1.19/1.20 c
1.19/1.20 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c constraints/indicator/addCouplingCons = TRUE
1.19/1.20 c
1.19/1.20 c # should presolving try to simplify knapsacks
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.20 c
1.19/1.20 c -----------------------------------------------------------------------------------------------
1.19/1.20 c start solving
1.19/1.20 c
1.59/1.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.69 c t 1.7s| 1 | 0 | 1014 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.69/1.73 o -1
1.69/1.73 c R 1.7s| 1 | 0 | 1014 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.69/1.77 o -2
1.69/1.77 c s 1.8s| 1 | 0 | 1014 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.39/2.47 c 2.5s| 1 | 0 | 1272 | - | 121M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-2.000000e+00 | 99.60%
2.39/2.48 o -53
2.39/2.48 c b 2.5s| 1 | 0 | 1272 | - | 121M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-5.300000e+01 | 89.27%
3.09/3.15 c 3.2s| 1 | 0 | 1421 | - | 121M| 0 | 977 |1000 | 37k|1000 | 37k| 19 | 0 | 0 |-4.885000e+02 |-5.300000e+01 | 89.15%
3.89/3.92 c 3.9s| 1 | 0 | 1668 | - | 121M| 0 | 968 |1000 | 37k|1000 | 37k| 28 | 0 | 0 |-4.840000e+02 |-5.300000e+01 | 89.05%
4.69/4.78 c 4.8s| 1 | 0 | 1895 | - | 121M| 0 | 959 |1000 | 37k|1000 | 37k| 35 | 0 | 0 |-4.795000e+02 |-5.300000e+01 | 88.95%
5.59/5.68 c 5.7s| 1 | 0 | 2236 | - | 121M| 0 | 951 |1000 | 37k|1000 | 37k| 42 | 0 | 0 |-4.755000e+02 |-5.300000e+01 | 88.85%
6.69/6.72 c 6.7s| 1 | 0 | 2632 | - | 121M| 0 | 944 |1000 | 37k|1000 | 37k| 51 | 0 | 0 |-4.715000e+02 |-5.300000e+01 | 88.76%
7.71/7.78 c 7.8s| 1 | 0 | 3115 | - | 121M| 0 | 936 |1000 | 37k|1000 | 37k| 62 | 0 | 0 |-4.680000e+02 |-5.300000e+01 | 88.68%
9.09/9.12 c 9.1s| 1 | 0 | 3810 | - | 122M| 0 | 929 |1000 | 37k|1000 | 37k| 76 | 0 | 0 |-4.635000e+02 |-5.300000e+01 | 88.57%
10.69/10.72 c 10.7s| 1 | 0 | 4860 | - | 122M| 0 | 919 |1000 | 37k|1000 | 37k| 86 | 0 | 0 |-4.595000e+02 |-5.300000e+01 | 88.47%
12.39/12.40 c 12.4s| 1 | 0 | 5853 | - | 122M| 0 | 906 |1000 | 37k|1000 | 37k| 102 | 0 | 0 |-4.530000e+02 |-5.300000e+01 | 88.30%
13.89/13.92 c 13.9s| 1 | 0 | 7066 | - | 123M| 0 | 903 |1000 | 37k|1000 |1781 | 114 | 0 | 0 |-4.514000e+02 |-5.300000e+01 | 88.26%
14.09/14.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.09/14.15 c 14.1s| 1 | 0 | 7654 | - | 123M| 0 | 889 |1000 | 37k|1000 |1792 | 125 | 0 | 0 |-4.485000e+02 |-5.300000e+01 | 88.18%
14.39/14.45 c 14.4s| 1 | 0 | 8365 | - | 123M| 0 | 895 |1000 | 37k|1000 |2043 | 376 | 0 | 0 |-4.475000e+02 |-5.300000e+01 | 88.16%
14.99/15.06 c 15.1s| 1 | 0 | 11228 | - | 124M| 0 | 877 |1000 | 37k|1000 |2213 | 546 | 0 | 0 |-4.442500e+02 |-5.300000e+01 | 88.07%
15.49/15.59 c 15.6s| 1 | 0 | 12010 | - | 126M| 0 | 881 |1000 | 37k|1000 |3213 |1546 | 0 | 0 |-4.416667e+02 |-5.300000e+01 | 88.00%
15.89/15.98 c 16.0s| 1 | 0 | 13342 | - | 126M| 0 | 874 |1000 | 37k|1000 |3518 |1851 | 0 | 0 |-4.400000e+02 |-5.300000e+01 | 87.95%
16.41/16.46 c 16.5s| 1 | 0 | 14385 | - | 127M| 0 | 881 |1000 | 37k|1000 |3298 |2072 | 0 | 0 |-4.386667e+02 |-5.300000e+01 | 87.92%
16.80/16.86 c 16.9s| 1 | 0 | 15357 | - | 127M| 0 | 875 |1000 | 37k|1000 |3652 |2426 | 0 | 0 |-4.370000e+02 |-5.300000e+01 | 87.87%
17.39/17.48 c 17.5s| 1 | 0 | 17504 | - | 127M| 0 | 883 |1000 | 37k|1000 |4027 |2801 | 0 | 0 |-4.345000e+02 |-5.300000e+01 | 87.80%
17.99/18.03 c 18.0s| 1 | 0 | 19075 | - | 128M| 0 | 854 |1000 | 37k|1000 |4207 |2981 | 0 | 0 |-4.315000e+02 |-5.300000e+01 | 87.72%
18.39/18.48 c 18.5s| 1 | 0 | 20749 | - | 128M| 0 | 859 |1000 | 37k|1000 |4517 |3291 | 0 | 0 |-4.300000e+02 |-5.300000e+01 | 87.67%
18.99/19.02 c 19.0s| 1 | 0 | 23035 | - | 128M| 0 | 903 |1000 | 37k|1000 |4695 |3469 | 0 | 0 |-4.277500e+02 |-5.300000e+01 | 87.61%
19.81/19.85 c 19.8s| 1 | 0 | 23164 | - | 128M| 0 | 855 |1000 | 37k|1000 |6131 |5469 | 0 | 0 |-4.275000e+02 |-5.300000e+01 | 87.60%
20.09/20.14 c 20.1s| 1 | 0 | 23795 | - | 128M| 0 | 847 |1000 | 37k|1000 |6140 |5478 | 0 | 0 |-4.240000e+02 |-5.300000e+01 | 87.50%
20.39/20.47 c 20.5s| 1 | 0 | 24493 | - | 129M| 0 | 844 |1000 | 37k|1000 |6340 |5678 | 0 | 0 |-4.220000e+02 |-5.300000e+01 | 87.44%
20.69/20.72 c 20.7s| 1 | 0 | 24973 | - | 129M| 0 | 848 |1000 | 37k|1000 |6395 |5733 | 0 | 0 |-4.207500e+02 |-5.300000e+01 | 87.40%
21.00/21.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.00/21.03 c 21.0s| 1 | 0 | 25666 | - | 129M| 0 | 821 |1000 | 37k|1000 |6723 |6061 | 0 | 0 |-4.170000e+02 |-5.300000e+01 | 87.29%
21.49/21.54 c 21.5s| 1 | 0 | 27210 | - | 129M| 0 | 824 |1000 | 37k|1000 |7195 |6533 | 0 | 0 |-4.150000e+02 |-5.300000e+01 | 87.23%
21.90/21.95 c 21.9s| 1 | 0 | 28094 | - | 130M| 0 | 823 |1000 | 37k|1000 |4891 |6778 | 0 | 0 |-4.115000e+02 |-5.300000e+01 | 87.12%
22.29/22.33 c 22.3s| 1 | 0 | 29416 | - | 130M| 0 | 818 |1000 | 37k|1000 |5016 |6903 | 0 | 0 |-4.100000e+02 |-5.300000e+01 | 87.07%
22.69/22.78 c 22.8s| 1 | 0 | 30984 | - | 130M| 0 | 811 |1000 | 37k|1000 |5372 |7259 | 0 | 0 |-4.077500e+02 |-5.300000e+01 | 87.00%
23.29/23.32 c 23.3s| 1 | 0 | 33213 | - | 131M| 0 | 819 |1000 | 37k|1000 |5631 |7518 | 0 | 0 |-4.047500e+02 |-5.300000e+01 | 86.91%
23.69/23.70 c 23.7s| 1 | 0 | 33536 | - | 132M| 0 | 808 |1000 | 37k|1000 |7393 |9280 | 0 | 0 |-4.040000e+02 |-5.300000e+01 | 86.88%
23.99/24.01 c 24.0s| 1 | 0 | 34302 | - | 132M| 0 | 803 |1000 | 37k|1000 |7400 |9287 | 0 | 0 |-4.025000e+02 |-5.300000e+01 | 86.83%
24.29/24.36 c 24.4s| 1 | 0 | 35212 | - | 132M| 0 | 800 |1000 | 37k|1000 |6399 |9357 | 0 | 0 |-4.000000e+02 |-5.300000e+01 | 86.75%
24.60/24.65 c 24.7s| 1 | 0 | 35991 | - | 132M| 0 | 802 |1000 | 37k|1000 |6406 |9364 | 0 | 0 |-3.987500e+02 |-5.300000e+01 | 86.71%
24.99/25.04 c 25.0s| 1 | 0 | 37080 | - | 132M| 0 | 783 |1000 | 37k|1000 |6647 |9605 | 0 | 0 |-3.960000e+02 |-5.300000e+01 | 86.62%
25.30/25.36 c 25.4s| 1 | 0 | 38073 | - | 132M| 0 | 787 |1000 | 37k|1000 |6923 |9881 | 0 | 0 |-3.945000e+02 |-5.300000e+01 | 86.57%
25.89/25.92 c 25.9s| 1 | 0 | 40485 | - | 132M| 0 | 845 |1000 | 37k|1000 |6978 |9936 | 0 | 0 |-3.907917e+02 |-5.300000e+01 | 86.44%
26.41/26.46 c 26.5s| 1 | 0 | 40619 | - | 132M| 0 | 781 |1000 | 37k|1000 |8978 | 11k| 0 | 0 |-3.905000e+02 |-5.300000e+01 | 86.43%
26.79/26.87 c 26.9s| 1 | 0 | 41539 | - | 133M| 0 | 773 |1000 | 37k|1000 |7379 | 11k| 0 | 0 |-3.885000e+02 |-5.300000e+01 | 86.36%
27.09/27.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.09/27.18 c 27.2s| 1 | 0 | 42019 | - | 133M| 0 | 783 |1000 | 37k|1000 |7484 | 12k| 0 | 0 |-3.880000e+02 |-5.300000e+01 | 86.34%
27.59/27.64 c 27.6s| 1 | 0 | 43198 | - | 133M| 0 | 768 |1000 | 37k|1000 |7500 | 12k| 0 | 0 |-3.860000e+02 |-5.300000e+01 | 86.27%
27.89/27.93 c 27.9s| 1 | 0 | 43705 | - | 133M| 0 | 773 |1000 | 37k|1000 |7625 | 12k| 0 | 0 |-3.855000e+02 |-5.300000e+01 | 86.25%
28.29/28.38 c 28.4s| 1 | 0 | 44886 | - | 134M| 0 | 768 |1000 | 37k|1000 |7753 | 12k| 0 | 0 |-3.845000e+02 |-5.300000e+01 | 86.22%
28.61/28.67 c 28.7s| 1 | 0 | 45525 | - | 134M| 0 | 770 |1000 | 37k|1000 |7860 | 12k| 0 | 0 |-3.830000e+02 |-5.300000e+01 | 86.16%
29.00/29.01 c 29.0s| 1 | 0 | 46272 | - | 134M| 0 | 756 |1000 | 37k|1000 |5873 | 12k| 0 | 0 |-3.810000e+02 |-5.300000e+01 | 86.09%
29.29/29.37 c 29.4s| 1 | 0 | 47501 | - | 134M| 0 | 753 |1000 | 37k|1000 |6050 | 12k| 0 | 0 |-3.780000e+02 |-5.300000e+01 | 85.98%
29.60/29.65 c 29.6s| 1 | 0 | 48419 | - | 134M| 0 | 743 |1000 | 37k|1000 |6189 | 12k| 0 | 0 |-3.765000e+02 |-5.300000e+01 | 85.92%
29.79/29.88 c 29.9s| 1 | 0 | 48850 | - | 134M| 0 | 770 |1000 | 37k|1000 |6443 | 13k| 0 | 0 |-3.755000e+02 |-5.300000e+01 | 85.89%
30.29/30.39 c 30.4s| 1 | 0 | 50519 | - | 134M| 0 | 733 |1000 | 37k|1000 |6797 | 13k| 0 | 0 |-3.725000e+02 |-5.300000e+01 | 85.77%
30.59/30.65 c 30.6s| 1 | 0 | 50961 | - | 135M| 0 | 744 |1000 | 37k|1000 |7105 | 13k| 0 | 0 |-3.720000e+02 |-5.300000e+01 | 85.75%
30.87/30.95 c 30.9s| 1 | 0 | 51517 | - | 135M| 0 | 741 |1000 | 37k|1000 |6535 | 13k| 0 | 0 |-3.715000e+02 |-5.300000e+01 | 85.73%
31.48/31.54 c 31.5s| 1 | 0 | 53278 | - | 136M| 0 | 742 |1000 | 37k|1000 |6595 | 13k| 0 | 0 |-3.705000e+02 |-5.300000e+01 | 85.70%
32.17/32.21 c 32.2s| 1 | 0 | 55768 | - | 136M| 0 | 744 |1000 | 37k|1000 |6606 | 13k| 0 | 0 |-3.693333e+02 |-5.300000e+01 | 85.65%
32.89/32.94 c 32.9s| 1 | 0 | 58666 | - | 136M| 0 | 823 |1000 | 37k|1000 |6920 | 14k| 0 | 0 |-3.685435e+02 |-5.300000e+01 | 85.62%
33.68/33.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.68/33.72 c 33.7s| 1 | 0 | 59129 | - | 136M| 0 | 774 |1000 | 37k|1000 |8920 | 16k| 0 | 0 |-3.680000e+02 |-5.300000e+01 | 85.60%
34.27/34.39 c 34.4s| 1 | 0 | 61034 | - | 136M| 0 | 750 |1000 | 37k|1000 |8931 | 16k| 0 | 0 |-3.660000e+02 |-5.300000e+01 | 85.52%
34.78/34.80 c 34.8s| 1 | 0 | 61981 | - | 136M| 0 | 742 |1000 | 37k|1000 |8354 | 16k| 0 | 0 |-3.657500e+02 |-5.300000e+01 | 85.51%
35.67/35.76 c 35.8s| 1 | 0 | 64852 | - | 137M| 0 | 734 |1000 | 37k|1000 |8365 | 16k| 0 | 0 |-3.645000e+02 |-5.300000e+01 | 85.46%
36.67/36.71 c 36.7s| 1 | 0 | 67275 | - | 137M| 0 | 738 |1000 | 37k|1000 |8485 | 16k| 0 | 0 |-3.630000e+02 |-5.300000e+01 | 85.40%
37.58/37.61 c 37.6s| 1 | 0 | 70003 | - | 138M| 0 | 754 |1000 | 37k|1000 |8633 | 16k| 0 | 0 |-3.614000e+02 |-5.300000e+01 | 85.33%
37.88/37.94 c 37.9s| 1 | 0 | 70547 | - | 138M| 0 | 750 |1000 | 37k|1000 |8748 | 16k| 0 | 0 |-3.600000e+02 |-5.300000e+01 | 85.28%
38.28/38.31 c 38.3s| 1 | 0 | 71394 | - | 138M| 0 | 726 |1000 | 37k|1000 |8796 | 16k| 0 | 0 |-3.582500e+02 |-5.300000e+01 | 85.21%
38.77/38.87 c 38.9s| 1 | 0 | 72761 | - | 139M| 0 | 733 |1000 | 37k|1000 |8289 | 16k| 0 | 0 |-3.575000e+02 |-5.300000e+01 | 85.17%
39.38/39.50 c 39.5s| 1 | 0 | 73918 | - | 139M| 0 | 718 |1000 | 37k|1000 |8392 | 16k| 0 | 0 |-3.570000e+02 |-5.300000e+01 | 85.15%
40.18/40.28 c 40.3s| 1 | 0 | 76075 | - | 140M| 0 | 770 |1000 | 37k|1000 |8404 | 16k| 0 | 0 |-3.562500e+02 |-5.300000e+01 | 85.12%
41.58/41.65 c 41.6s| 1 | 0 | 79795 | - | 140M| 0 | 764 |1000 | 37k|1000 |8605 | 17k| 0 | 0 |-3.555882e+02 |-5.300000e+01 | 85.10%
42.79/42.86 c 42.9s| 1 | 0 | 82811 | - | 142M| 0 | 781 |1000 | 37k|1000 |8687 | 17k| 0 | 0 |-3.534916e+02 |-5.300000e+01 | 85.01%
43.78/43.85 c 43.8s| 1 | 0 | 84906 | - | 143M| 0 | 760 |1000 | 37k|1000 |8968 | 17k| 0 | 0 |-3.519500e+02 |-5.300000e+01 | 84.94%
44.28/44.40 c 44.4s| 1 | 0 | 86049 | - | 143M| 0 | 753 |1000 | 37k|1000 |8600 | 17k| 0 | 0 |-3.513125e+02 |-5.300000e+01 | 84.91%
45.09/45.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.09/45.13 c 45.1s| 1 | 0 | 88085 | - | 144M| 0 | 697 |1000 | 37k|1000 |8752 | 17k| 0 | 0 |-3.485000e+02 |-5.300000e+01 | 84.79%
46.09/46.12 c 46.1s| 1 | 0 | 91268 | - | 144M| 0 | 748 |1000 | 37k|1000 |8765 | 17k| 0 | 0 |-3.467083e+02 |-5.300000e+01 | 84.71%
46.68/46.76 c 46.8s| 1 | 0 | 92796 | - | 145M| 0 | 749 |1000 | 37k|1000 |8941 | 17k| 0 | 0 |-3.459286e+02 |-5.300000e+01 | 84.68%
47.57/47.66 c 47.7s| 1 | 0 | 95164 | - | 146M| 0 | 745 |1000 | 37k|1000 |9137 | 18k| 0 | 0 |-3.450538e+02 |-5.300000e+01 | 84.64%
48.48/48.55 c 48.5s| 1 | 0 | 97355 | - | 147M| 0 | 750 |1000 | 37k|1000 |9230 | 18k| 0 | 0 |-3.436429e+02 |-5.300000e+01 | 84.58%
49.57/49.66 c 49.7s| 1 | 0 |100139 | - | 148M| 0 | 726 |1000 | 37k|1000 |8960 | 18k| 0 | 0 |-3.427500e+02 |-5.300000e+01 | 84.54%
49.98/50.05 c 50.0s| 1 | 0 |100651 | - | 149M| 0 | 752 |1000 | 37k|1000 |9048 | 18k| 0 | 0 |-3.424272e+02 |-5.300000e+01 | 84.52%
51.07/51.18 c 51.2s| 1 | 0 |103466 | - | 150M| 0 | 723 |1000 | 37k|1000 |9166 | 18k| 0 | 0 |-3.418333e+02 |-5.300000e+01 | 84.50%
52.38/52.41 c 52.4s| 1 | 0 |106936 | - | 150M| 0 | 701 |1000 | 37k|1000 |9273 | 18k| 0 | 0 |-3.401250e+02 |-5.300000e+01 | 84.42%
53.37/53.40 c 53.4s| 1 | 0 |109238 | - | 151M| 0 | 758 |1000 | 37k|1000 |9379 | 18k| 0 | 0 |-3.388625e+02 |-5.300000e+01 | 84.36%
54.28/54.35 c 54.3s| 1 | 0 |111287 | - | 153M| 0 | 755 |1000 | 37k|1000 |9396 | 18k| 0 | 0 |-3.373173e+02 |-5.300000e+01 | 84.29%
57.58/57.64 c 57.6s| 1 | 0 |119131 | - | 154M| 0 | 784 |1000 | 37k|1000 |8862 | 18k| 0 | 0 |-3.351944e+02 |-5.300000e+01 | 84.19%
58.88/58.90 c 58.9s| 1 | 0 |122562 | - | 156M| 0 | 744 |1000 | 37k|1000 |9261 | 19k| 0 | 0 |-3.340312e+02 |-5.300000e+01 | 84.13%
59.98/60.08 c 60.1s| 1 | 0 |125528 | - | 158M| 0 | 745 |1000 | 37k|1000 |9316 | 19k| 0 | 0 |-3.320870e+02 |-5.300000e+01 | 84.04%
61.07/61.19 c 61.2s| 1 | 0 |128281 | - | 159M| 0 | 752 |1000 | 37k|1000 |9527 | 19k| 0 | 0 |-3.313630e+02 |-5.300000e+01 | 84.01%
62.59/62.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.59/62.71 c 62.7s| 1 | 0 |131542 | - | 160M| 0 | 731 |1000 | 37k|1000 |9574 | 19k| 0 | 0 |-3.301604e+02 |-5.300000e+01 | 83.95%
63.69/63.77 c 63.8s| 1 | 0 |133572 | - | 160M| 0 | 779 |1000 | 37k|1000 |9623 | 19k| 0 | 0 |-3.292855e+02 |-5.300000e+01 | 83.90%
65.57/65.68 c 65.7s| 1 | 0 |137286 | - | 161M| 0 | 773 |1000 | 37k|1000 |9187 | 19k| 0 | 0 |-3.281381e+02 |-5.300000e+01 | 83.85%
66.88/66.99 c 67.0s| 1 | 0 |139661 | - | 161M| 0 | 780 |1000 | 37k|1000 |9332 | 19k| 0 | 0 |-3.270828e+02 |-5.300000e+01 | 83.80%
67.97/68.11 c 68.1s| 1 | 0 |141665 | - | 161M| 0 | 768 |1000 | 37k|1000 |9349 | 19k| 0 | 0 |-3.264833e+02 |-5.300000e+01 | 83.77%
69.88/69.98 c 70.0s| 1 | 0 |145415 | - | 162M| 0 | 771 |1000 | 37k|1000 |9435 | 19k| 0 | 0 |-3.246764e+02 |-5.300000e+01 | 83.68%
70.77/70.86 c 70.9s| 1 | 0 |146944 | - | 162M| 0 | 746 |1000 | 37k|1000 |9598 | 20k| 0 | 0 |-3.234093e+02 |-5.300000e+01 | 83.61%
71.57/71.66 c 71.7s| 1 | 0 |148610 | - | 164M| 0 | 750 |1000 | 37k|1000 |9729 | 20k| 0 | 0 |-3.224896e+02 |-5.300000e+01 | 83.57%
72.59/72.63 c 72.6s| 1 | 0 |150622 | - | 166M| 0 | 750 |1000 | 37k|1000 |9416 | 20k| 0 | 0 |-3.213427e+02 |-5.300000e+01 | 83.51%
73.78/73.88 c 73.9s| 1 | 0 |153052 | - | 167M| 0 | 769 |1000 | 37k|1000 |9463 | 20k| 0 | 0 |-3.196914e+02 |-5.300000e+01 | 83.42%
74.58/74.65 c 74.7s| 1 | 0 |154474 | - | 168M| 0 | 769 |1000 | 37k|1000 |9671 | 20k| 0 | 0 |-3.188648e+02 |-5.300000e+01 | 83.38%
76.08/76.11 c 76.1s| 1 | 0 |157397 | - | 171M| 0 | 786 |1000 | 37k|1000 |9698 | 20k| 0 | 0 |-3.172071e+02 |-5.300000e+01 | 83.29%
76.99/77.06 c 77.1s| 1 | 0 |159043 | - | 173M| 0 | 794 |1000 | 37k|1000 |9874 | 20k| 0 | 0 |-3.168457e+02 |-5.300000e+01 | 83.27%
78.47/78.51 c 78.5s| 1 | 0 |160729 | - | 173M| 0 | 794 |1000 | 37k|1000 |9962 | 20k| 0 | 0 |-3.154119e+02 |-5.300000e+01 | 83.20%
79.77/79.81 c 79.8s| 1 | 0 |162434 | - | 173M| 0 | 782 |1000 | 37k|1000 |9714 | 21k| 0 | 0 |-3.149890e+02 |-5.300000e+01 | 83.17%
81.17/81.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.17/81.22 c 81.2s| 1 | 0 |165208 | - | 176M| 0 | 789 |1000 | 37k|1000 |9766 | 21k| 0 | 0 |-3.137626e+02 |-5.300000e+01 | 83.11%
82.49/82.51 c 82.5s| 1 | 0 |167052 | - | 176M| 0 | 807 |1000 | 37k|1000 |9815 | 21k| 0 | 0 |-3.130303e+02 |-5.300000e+01 | 83.07%
85.97/86.01 c 86.0s| 1 | 0 |173769 | - | 176M| 0 | 802 |1000 | 37k|1000 |9928 | 21k| 0 | 0 |-3.110622e+02 |-5.300000e+01 | 82.96%
87.89/87.96 c 88.0s| 1 | 0 |177048 | - | 176M| 0 | 809 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-3.101210e+02 |-5.300000e+01 | 82.91%
89.97/90.07 c 90.1s| 1 | 0 |180291 | - | 176M| 0 | 802 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-3.090452e+02 |-5.300000e+01 | 82.85%
91.98/92.03 c 92.0s| 1 | 0 |183099 | - | 176M| 0 | 796 |1000 | 37k|1000 |9683 | 21k| 0 | 0 |-3.081590e+02 |-5.300000e+01 | 82.80%
93.39/93.51 c 93.5s| 1 | 0 |185326 | - | 176M| 0 | 793 |1000 | 37k|1000 |9698 | 21k| 0 | 0 |-3.076010e+02 |-5.300000e+01 | 82.77%
95.07/95.17 c 95.2s| 1 | 0 |187813 | - | 176M| 0 | 801 |1000 | 37k|1000 |9902 | 21k| 0 | 0 |-3.068169e+02 |-5.300000e+01 | 82.73%
96.69/96.78 c 96.8s| 1 | 0 |189997 | - | 176M| 0 | 810 |1000 | 37k|1000 |9943 | 21k| 0 | 0 |-3.060470e+02 |-5.300000e+01 | 82.68%
99.57/99.64 c 99.6s| 1 | 0 |194514 | - | 176M| 0 | 821 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-3.050001e+02 |-5.300000e+01 | 82.62%
102.19/102.31 c 102s| 1 | 0 |198266 | - | 175M| 0 | 825 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-3.037245e+02 |-5.300000e+01 | 82.55%
104.78/104.88 c 105s| 1 | 0 |202031 | - | 175M| 0 | 817 |1000 | 37k|1000 |9926 | 22k| 0 | 0 |-3.028072e+02 |-5.300000e+01 | 82.50%
108.18/108.28 c 108s| 1 | 0 |208030 | - | 175M| 0 | 828 |1000 | 37k|1000 |9941 | 22k| 0 | 0 |-3.019358e+02 |-5.300000e+01 | 82.45%
111.38/111.49 c 111s| 1 | 0 |212620 | - | 174M| 0 | 824 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-3.005875e+02 |-5.300000e+01 | 82.37%
113.48/113.52 c 114s| 1 | 0 |215267 | - | 174M| 0 | 825 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.997368e+02 |-5.300000e+01 | 82.32%
116.98/117.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.98/117.00 c 117s| 1 | 0 |221066 | - | 174M| 0 | 841 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.988295e+02 |-5.300000e+01 | 82.26%
120.68/120.77 c 121s| 1 | 0 |226555 | - | 173M| 0 | 842 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.979954e+02 |-5.300000e+01 | 82.21%
123.88/123.94 c 124s| 1 | 0 |230812 | - | 173M| 0 | 848 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.972366e+02 |-5.300000e+01 | 82.17%
126.58/126.60 c 127s| 1 | 0 |233811 | - | 173M| 0 | 851 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.967591e+02 |-5.300000e+01 | 82.14%
129.28/129.34 c 129s| 1 | 0 |236148 | - | 173M| 0 | 848 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.964208e+02 |-5.300000e+01 | 82.12%
132.18/132.26 c 132s| 1 | 0 |239908 | - | 172M| 0 | 835 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.957793e+02 |-5.300000e+01 | 82.08%
135.38/135.44 c 135s| 1 | 0 |244317 | - | 172M| 0 | 842 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.951273e+02 |-5.300000e+01 | 82.04%
138.27/138.37 c 138s| 1 | 0 |247791 | - | 172M| 0 | 852 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.943636e+02 |-5.300000e+01 | 82.00%
142.08/142.10 c 142s| 1 | 0 |251635 | - | 172M| 0 | 853 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.936507e+02 |-5.300000e+01 | 81.95%
145.57/145.68 c 146s| 1 | 0 |255589 | - | 172M| 0 | 852 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.931328e+02 |-5.300000e+01 | 81.92%
149.77/149.83 c 150s| 1 | 0 |260890 | - | 172M| 0 | 864 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.925228e+02 |-5.300000e+01 | 81.88%
154.07/154.18 c 154s| 1 | 0 |266204 | - | 172M| 0 | 860 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.916450e+02 |-5.300000e+01 | 81.83%
158.40/158.41 c 158s| 1 | 0 |271083 | - | 172M| 0 | 864 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.905045e+02 |-5.300000e+01 | 81.76%
162.58/162.71 c 163s| 1 | 0 |276383 | - | 171M| 0 | 857 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.895744e+02 |-5.300000e+01 | 81.70%
166.28/166.31 c 166s| 1 | 0 |280581 | - | 171M| 0 | 861 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.885822e+02 |-5.300000e+01 | 81.63%
169.68/169.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.68/169.71 c 170s| 1 | 0 |283949 | - | 171M| 0 | 866 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.882566e+02 |-5.300000e+01 | 81.61%
174.08/174.10 c 174s| 1 | 0 |288569 | - | 170M| 0 | 882 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.873776e+02 |-5.300000e+01 | 81.56%
178.09/178.16 c 178s| 1 | 0 |291770 | - | 170M| 0 | 875 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.866141e+02 |-5.300000e+01 | 81.51%
183.28/183.37 c 183s| 1 | 0 |296359 | - | 170M| 0 | 879 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.855953e+02 |-5.300000e+01 | 81.44%
188.09/188.12 c 188s| 1 | 0 |300797 | - | 170M| 0 | 884 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.846779e+02 |-5.300000e+01 | 81.38%
192.18/192.24 c 192s| 1 | 0 |303869 | - | 170M| 0 | 878 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.841295e+02 |-5.300000e+01 | 81.35%
196.38/196.45 c 196s| 1 | 0 |308154 | - | 170M| 0 | 887 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.832456e+02 |-5.300000e+01 | 81.29%
201.38/201.48 c 201s| 1 | 0 |313533 | - | 170M| 0 | 871 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.825851e+02 |-5.300000e+01 | 81.24%
206.18/206.23 c 206s| 1 | 0 |318398 | - | 170M| 0 | 892 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.818631e+02 |-5.300000e+01 | 81.20%
212.08/212.12 c 212s| 1 | 0 |324056 | - | 170M| 0 | 884 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.803988e+02 |-5.300000e+01 | 81.10%
217.08/217.14 c 217s| 1 | 0 |327895 | - | 169M| 0 | 896 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.796172e+02 |-5.300000e+01 | 81.05%
222.09/222.15 c 222s| 1 | 0 |330838 | - | 169M| 0 | 900 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.790499e+02 |-5.300000e+01 | 81.01%
226.68/226.71 c 227s| 1 | 0 |333376 | - | 169M| 0 | 898 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.782508e+02 |-5.300000e+01 | 80.95%
231.99/232.07 c 232s| 1 | 0 |337821 | - | 169M| 0 | 891 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.772299e+02 |-5.300000e+01 | 80.88%
236.58/236.61 c 237s| 1 | 0 |339934 | - | 168M| 0 | 897 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.768113e+02 |-5.300000e+01 | 80.85%
242.00/242.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.00/242.06 c 242s| 1 | 0 |343924 | - | 168M| 0 | 891 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.760243e+02 |-5.300000e+01 | 80.80%
248.88/248.98 c 249s| 1 | 0 |351447 | - | 168M| 0 | 899 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.751019e+02 |-5.300000e+01 | 80.73%
255.10/255.21 c 255s| 1 | 0 |356025 | - | 168M| 0 | 900 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.742349e+02 |-5.300000e+01 | 80.67%
260.38/260.48 c 260s| 1 | 0 |359597 | - | 168M| 0 | 892 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.737320e+02 |-5.300000e+01 | 80.64%
265.68/265.71 c 266s| 1 | 0 |362884 | - | 168M| 0 | 897 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.729423e+02 |-5.300000e+01 | 80.58%
270.60/270.61 c 271s| 1 | 0 |365254 | - | 168M| 0 | 900 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.725199e+02 |-5.300000e+01 | 80.55%
276.38/276.45 c 276s| 1 | 0 |369538 | - | 168M| 0 | 914 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.718985e+02 |-5.300000e+01 | 80.51%
282.08/282.16 c 282s| 1 | 0 |373263 | - | 168M| 0 | 907 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.711765e+02 |-5.300000e+01 | 80.46%
287.78/287.88 c 288s| 1 | 0 |376710 | - | 167M| 0 | 899 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.705872e+02 |-5.300000e+01 | 80.41%
293.28/293.39 c 293s| 1 | 0 |379827 | - | 166M| 0 | 901 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.700294e+02 |-5.300000e+01 | 80.37%
299.39/299.42 c 299s| 1 | 0 |383641 | - | 166M| 0 | 905 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.693672e+02 |-5.300000e+01 | 80.32%
305.28/305.38 c 305s| 1 | 0 |387473 | - | 166M| 0 | 904 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.686694e+02 |-5.300000e+01 | 80.27%
312.19/312.27 c 312s| 1 | 0 |393073 | - | 166M| 0 | 902 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.677642e+02 |-5.300000e+01 | 80.21%
318.18/318.24 c 318s| 1 | 0 |396632 | - | 166M| 0 | 904 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.672215e+02 |-5.300000e+01 | 80.17%
323.78/323.84 c 324s| 1 | 0 |399216 | - | 165M| 0 | 910 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.668990e+02 |-5.300000e+01 | 80.14%
329.78/329.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.78/329.86 c 330s| 1 | 0 |402563 | - | 165M| 0 | 905 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.663213e+02 |-5.300000e+01 | 80.10%
336.78/336.87 c 337s| 1 | 0 |408038 | - | 165M| 0 | 907 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.655588e+02 |-5.300000e+01 | 80.04%
343.48/343.51 c 344s| 1 | 0 |412625 | - | 164M| 0 | 907 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.649260e+02 |-5.300000e+01 | 79.99%
349.28/349.39 c 349s| 1 | 0 |415994 | - | 164M| 0 | 915 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.645018e+02 |-5.300000e+01 | 79.96%
355.58/355.61 c 356s| 1 | 0 |420147 | - | 164M| 0 | 917 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.640332e+02 |-5.300000e+01 | 79.93%
360.80/360.88 c 361s| 1 | 0 |422102 | - | 163M| 0 | 921 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.638535e+02 |-5.300000e+01 | 79.91%
365.89/365.97 c 366s| 1 | 0 |423737 | - | 163M| 0 | 919 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.636921e+02 |-5.300000e+01 | 79.90%
371.98/372.02 c 372s| 1 | 0 |427444 | - | 163M| 0 | 913 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.633321e+02 |-5.300000e+01 | 79.87%
378.59/378.63 c 379s| 1 | 0 |431942 | - | 161M| 0 | 920 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.627624e+02 |-5.300000e+01 | 79.83%
385.78/385.89 c 386s| 1 | 0 |437406 | - | 160M| 0 | 920 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.621888e+02 |-5.300000e+01 | 79.79%
391.89/391.95 c 392s| 1 | 0 |440470 | - | 160M| 0 | 922 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.616875e+02 |-5.300000e+01 | 79.75%
397.69/397.71 c 398s| 1 | 0 |443207 | - | 159M| 0 | 925 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.613050e+02 |-5.300000e+01 | 79.72%
404.59/404.61 c 405s| 1 | 0 |448048 | - | 159M| 0 | 933 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.605215e+02 |-5.300000e+01 | 79.66%
411.08/411.12 c 411s| 1 | 0 |452156 | - | 158M| 0 | 932 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.600043e+02 |-5.300000e+01 | 79.62%
416.90/416.95 c 417s| 1 | 0 |454840 | - | 158M| 0 | 926 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.595410e+02 |-5.300000e+01 | 79.58%
422.40/422.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.40/422.47 c 422s| 1 | 0 |456898 | - | 157M| 0 | 934 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.592342e+02 |-5.300000e+01 | 79.56%
428.19/428.27 c 428s| 1 | 0 |459115 | - | 156M| 0 | 940 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.589225e+02 |-5.300000e+01 | 79.53%
434.19/434.25 c 434s| 1 | 0 |461659 | - | 155M| 0 | 939 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.586144e+02 |-5.300000e+01 | 79.51%
439.78/439.87 c 440s| 1 | 0 |463799 | - | 154M| 0 | 942 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.583590e+02 |-5.300000e+01 | 79.49%
445.50/445.52 c 446s| 1 | 0 |466198 | - | 154M| 0 | 943 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.581228e+02 |-5.300000e+01 | 79.47%
450.78/450.87 c 451s| 1 | 0 |467993 | - | 153M| 0 | 938 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.578809e+02 |-5.300000e+01 | 79.45%
456.69/456.70 c 457s| 1 | 0 |470452 | - | 153M| 0 | 948 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.575098e+02 |-5.300000e+01 | 79.42%
462.08/462.19 c 462s| 1 | 0 |472191 | - | 151M| 0 | 948 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.572944e+02 |-5.300000e+01 | 79.40%
468.50/468.54 c 469s| 1 | 0 |475426 | - | 149M| 0 | 945 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.567556e+02 |-5.300000e+01 | 79.36%
474.59/474.68 c 475s| 1 | 0 |478689 | - | 148M| 0 | 944 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.564248e+02 |-5.300000e+01 | 79.33%
481.08/481.19 c 481s| 1 | 0 |481980 | - | 146M| 0 | 951 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.558059e+02 |-5.300000e+01 | 79.28%
486.69/486.77 c 487s| 1 | 0 |483826 | - | 145M| 0 | 950 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.555762e+02 |-5.300000e+01 | 79.26%
492.49/492.58 c 493s| 1 | 0 |485966 | - | 144M| 0 | 948 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.553378e+02 |-5.300000e+01 | 79.24%
499.68/499.70 c 500s| 1 | 0 |490043 | - | 143M| 0 | 952 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.550986e+02 |-5.300000e+01 | 79.22%
505.90/505.97 c 506s| 1 | 0 |492715 | - | 143M| 0 | 960 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.546067e+02 |-5.300000e+01 | 79.18%
511.69/511.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.69/511.78 c 512s| 1 | 0 |494779 | - | 143M| 0 | 958 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.543337e+02 |-5.300000e+01 | 79.16%
517.18/517.24 c 517s| 1 | 0 |496235 | - | 142M| 0 | 961 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.541812e+02 |-5.300000e+01 | 79.15%
522.68/522.78 c 523s| 1 | 0 |497703 | - | 142M| 0 | 967 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.540499e+02 |-5.300000e+01 | 79.14%
528.39/528.44 c 528s| 1 | 0 |499438 | - | 141M| 0 | 968 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.539104e+02 |-5.300000e+01 | 79.13%
533.99/534.09 c 534s| 1 | 0 |501051 | - | 139M| 0 | 968 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.536866e+02 |-5.300000e+01 | 79.11%
539.59/539.67 c 540s| 1 | 0 |502300 | - | 138M| 0 | 966 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.535159e+02 |-5.300000e+01 | 79.09%
545.08/545.14 c 545s| 1 | 0 |503794 | - | 137M| 0 | 967 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.532954e+02 |-5.300000e+01 | 79.08%
550.59/550.66 c 551s| 1 | 0 |505252 | - | 135M| 0 | 973 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.531415e+02 |-5.300000e+01 | 79.06%
556.09/556.15 c 556s| 1 | 0 |506654 | - | 133M| 0 | 974 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.530146e+02 |-5.300000e+01 | 79.05%
561.79/561.80 c 562s| 1 | 0 |508092 | - | 130M| 0 | 970 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.528015e+02 |-5.300000e+01 | 79.03%
567.39/567.46 c 567s| 1 | 0 |509616 | - | 130M| 0 | 973 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.526202e+02 |-5.300000e+01 | 79.02%
572.89/572.95 c 573s| 1 | 0 |510819 | - | 130M| 0 | 973 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.524706e+02 |-5.300000e+01 | 79.01%
578.50/578.61 c 579s| 1 | 0 |512297 | - | 128M| 0 | 970 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.522650e+02 |-5.300000e+01 | 78.99%
584.99/585.02 c 585s| 1 | 0 |515000 | - | 128M| 0 | 975 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.520249e+02 |-5.300000e+01 | 78.97%
590.39/590.45 c 590s| 1 | 0 |516178 | - | 128M| 0 | 970 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.518067e+02 |-5.300000e+01 | 78.95%
596.10/596.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.10/596.18 c 596s| 1 | 0 |517706 | - | 127M| 0 | 980 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.516521e+02 |-5.300000e+01 | 78.94%
601.99/602.04 c 602s| 1 | 0 |519293 | - | 127M| 0 | 978 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.514424e+02 |-5.300000e+01 | 78.92%
607.49/607.57 c 608s| 1 | 0 |520456 | - | 127M| 0 | 977 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.512628e+02 |-5.300000e+01 | 78.91%
613.19/613.26 c 613s| 1 | 0 |522047 | - | 127M| 0 | 977 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.510119e+02 |-5.300000e+01 | 78.89%
618.79/618.88 c 619s| 1 | 0 |523277 | - | 127M| 0 | 976 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.508499e+02 |-5.300000e+01 | 78.87%
624.39/624.47 c 624s| 1 | 0 |524436 | - | 127M| 0 | 980 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.506981e+02 |-5.300000e+01 | 78.86%
629.89/629.96 c 630s| 1 | 0 |525630 | - | 127M| 0 | 983 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.505991e+02 |-5.300000e+01 | 78.85%
635.29/635.38 c 635s| 1 | 0 |526365 | - | 127M| 0 | 985 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.505346e+02 |-5.300000e+01 | 78.85%
641.21/641.28 c 641s| 1 | 0 |528011 | - | 127M| 0 | 981 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.503506e+02 |-5.300000e+01 | 78.83%
646.99/647.04 c 647s| 1 | 0 |529502 | - | 127M| 0 | 985 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.501718e+02 |-5.300000e+01 | 78.81%
652.49/652.54 c 653s| 1 | 0 |530449 | - | 127M| 0 | 987 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.500508e+02 |-5.300000e+01 | 78.80%
657.89/657.91 c 658s| 1 | 0 |531258 | - | 127M| 0 | 983 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.499359e+02 |-5.300000e+01 | 78.79%
663.89/663.92 c 664s| 1 | 0 |533064 | - | 127M| 0 | 982 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.496571e+02 |-5.300000e+01 | 78.77%
669.59/669.68 c 670s| 1 | 0 |534455 | - | 127M| 0 | 980 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.494386e+02 |-5.300000e+01 | 78.75%
675.31/675.32 c 675s| 1 | 0 |535538 | - | 127M| 0 | 984 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.492506e+02 |-5.300000e+01 | 78.74%
680.29/680.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
680.29/680.36 c 680s| 1 | 0 |536002 | - | 127M| 0 | 987 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.491807e+02 |-5.300000e+01 | 78.73%
685.69/685.73 c 686s| 1 | 0 |536829 | - | 127M| 0 | 983 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.490687e+02 |-5.300000e+01 | 78.72%
691.50/691.58 c 692s| 1 | 0 |538339 | - | 127M| 0 | 986 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.489620e+02 |-5.300000e+01 | 78.71%
696.99/697.05 c 697s| 1 | 0 |539193 | - | 127M| 0 | 986 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.488716e+02 |-5.300000e+01 | 78.70%
702.49/702.51 c 703s| 1 | 0 |539977 | - | 127M| 0 | 985 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.487790e+02 |-5.300000e+01 | 78.70%
708.99/709.03 c 709s| 1 | 0 |542114 | - | 127M| 0 | 987 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.485620e+02 |-5.300000e+01 | 78.68%
714.39/714.47 c 714s| 1 | 0 |542993 | - | 127M| 0 | 987 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.484671e+02 |-5.300000e+01 | 78.67%
720.19/720.28 c 720s| 1 | 0 |544367 | - | 127M| 0 | 990 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.482908e+02 |-5.300000e+01 | 78.65%
726.19/726.22 c 726s| 1 | 0 |545861 | - | 127M| 0 | 990 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.481361e+02 |-5.300000e+01 | 78.64%
731.41/731.44 c 731s| 1 | 0 |546309 | - | 127M| 0 | 990 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.480863e+02 |-5.300000e+01 | 78.64%
737.19/737.26 c 737s| 1 | 0 |547396 | - | 127M| 0 | 992 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.479646e+02 |-5.300000e+01 | 78.63%
742.99/743.05 c 743s| 1 | 0 |548632 | - | 127M| 0 | 991 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.478546e+02 |-5.300000e+01 | 78.62%
748.69/748.77 c 749s| 1 | 0 |549785 | - | 127M| 0 | 994 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.477291e+02 |-5.300000e+01 | 78.61%
754.29/754.34 c 754s| 1 | 0 |550639 | - | 127M| 0 | 996 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.475966e+02 |-5.300000e+01 | 78.59%
760.00/760.04 c 760s| 1 | 0 |551483 | - | 127M| 0 | 995 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.474418e+02 |-5.300000e+01 | 78.58%
765.70/765.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.70/765.78 c 766s| 1 | 0 |552390 | - | 127M| 0 | 994 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.473559e+02 |-5.300000e+01 | 78.57%
771.29/771.33 c 771s| 1 | 0 |553093 | - | 127M| 0 | 995 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.472601e+02 |-5.300000e+01 | 78.57%
776.61/776.61 c 777s| 1 | 0 |553594 | - | 127M| 0 | 996 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.472173e+02 |-5.300000e+01 | 78.56%
782.19/782.26 c 782s| 1 | 0 |554559 | - | 127M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.471565e+02 |-5.300000e+01 | 78.56%
787.79/787.82 c 788s| 1 | 0 |555192 | - | 127M| 0 | 997 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.470897e+02 |-5.300000e+01 | 78.55%
793.10/793.19 c 793s| 1 | 0 |555669 | - | 127M| 0 | 997 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.470185e+02 |-5.300000e+01 | 78.54%
798.61/798.62 c 799s| 1 | 0 |556189 | - | 127M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.469763e+02 |-5.300000e+01 | 78.54%
804.20/804.27 c 804s| 1 | 0 |556964 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.468447e+02 |-5.300000e+01 | 78.53%
810.29/810.39 c 810s| 1 | 0 |558223 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.466840e+02 |-5.300000e+01 | 78.52%
815.90/815.94 c 816s| 1 | 0 |558840 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.465712e+02 |-5.300000e+01 | 78.51%
821.90/821.97 c 822s| 1 | 0 |560080 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.464164e+02 |-5.300000e+01 | 78.49%
827.39/827.42 c 827s| 1 | 0 |560603 | - | 127M| 0 |1000 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.463258e+02 |-5.300000e+01 | 78.48%
832.89/832.91 c 833s| 1 | 0 |561318 | - | 127M| 0 | 999 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.462551e+02 |-5.300000e+01 | 78.48%
838.39/838.41 c 838s| 1 | 0 |561784 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.461935e+02 |-5.300000e+01 | 78.47%
843.89/843.94 c 844s| 1 | 0 |562272 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.461424e+02 |-5.300000e+01 | 78.47%
849.30/849.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.30/849.31 c 849s| 1 | 0 |562726 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.460906e+02 |-5.300000e+01 | 78.46%
854.61/854.62 c 855s| 1 | 0 |563294 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.460290e+02 |-5.300000e+01 | 78.46%
860.11/860.16 c 860s| 1 | 0 |564008 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.459322e+02 |-5.300000e+01 | 78.45%
865.89/865.98 c 866s| 1 | 0 |564977 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.458247e+02 |-5.300000e+01 | 78.44%
871.60/871.62 c 872s| 1 | 0 |565620 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.457611e+02 |-5.300000e+01 | 78.43%
877.29/877.33 c 877s| 1 | 0 |566191 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.456902e+02 |-5.300000e+01 | 78.43%
882.69/882.73 c 883s| 1 | 0 |566569 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.456423e+02 |-5.300000e+01 | 78.42%
888.39/888.40 c 888s| 1 | 0 |567199 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.455768e+02 |-5.300000e+01 | 78.42%
894.00/894.02 c 894s| 1 | 0 |567957 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.455056e+02 |-5.300000e+01 | 78.41%
900.09/900.18 c 900s| 1 | 0 |569183 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.453470e+02 |-5.300000e+01 | 78.40%
905.79/905.86 c 906s| 1 | 0 |569802 | - | 126M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.452742e+02 |-5.300000e+01 | 78.39%
911.99/912.06 c 912s| 1 | 0 |571372 | - | 126M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.451808e+02 |-5.300000e+01 | 78.38%
917.50/917.51 c 918s| 1 | 0 |572078 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.450955e+02 |-5.300000e+01 | 78.38%
923.10/923.18 c 923s| 1 | 0 |572740 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.449866e+02 |-5.300000e+01 | 78.37%
928.60/928.68 c 929s| 1 | 0 |573161 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.449426e+02 |-5.300000e+01 | 78.36%
934.29/934.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.29/934.37 c 934s| 1 | 0 |573926 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.448580e+02 |-5.300000e+01 | 78.35%
940.10/940.10 c 940s| 1 | 0 |574563 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.448132e+02 |-5.300000e+01 | 78.35%
946.20/946.20 c 946s| 1 | 0 |575609 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.447328e+02 |-5.300000e+01 | 78.34%
951.69/951.72 c 952s| 1 | 0 |576249 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.446864e+02 |-5.300000e+01 | 78.34%
957.69/957.71 c 958s| 1 | 0 |577162 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.446331e+02 |-5.300000e+01 | 78.33%
963.51/963.51 c 964s| 1 | 0 |577993 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.445352e+02 |-5.300000e+01 | 78.33%
969.11/969.20 c 969s| 1 | 0 |578761 | - | 126M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.444986e+02 |-5.300000e+01 | 78.32%
975.00/975.05 c 975s| 1 | 0 |579658 | - | 126M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.444216e+02 |-5.300000e+01 | 78.32%
980.70/980.79 c 981s| 1 | 0 |580346 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.443472e+02 |-5.300000e+01 | 78.31%
986.00/986.06 c 986s| 1 | 0 |580698 | - | 126M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.443202e+02 |-5.300000e+01 | 78.31%
992.21/992.22 c 992s| 1 | 0 |581920 | - | 126M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.441792e+02 |-5.300000e+01 | 78.29%
997.61/997.68 c 998s| 1 | 0 |582329 | - | 126M| 0 | 997 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.441472e+02 |-5.300000e+01 | 78.29%
1003.70/1003.73 c 1004s| 1 | 0 |583544 | - | 126M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.440807e+02 |-5.300000e+01 | 78.29%
1009.60/1009.70 c 1010s| 1 | 0 |584490 | - | 126M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.439995e+02 |-5.300000e+01 | 78.28%
1015.90/1015.97 c 1016s| 1 | 0 |585696 | - | 126M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.439071e+02 |-5.300000e+01 | 78.27%
1021.70/1021.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.70/1021.80 c 1022s| 1 | 0 |586558 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.438515e+02 |-5.300000e+01 | 78.27%
1027.50/1027.59 c 1028s| 1 | 0 |587532 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.437921e+02 |-5.300000e+01 | 78.26%
1033.50/1033.59 c 1034s| 1 | 0 |588459 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.437214e+02 |-5.300000e+01 | 78.25%
1039.20/1039.26 c 1039s| 1 | 0 |589080 | - | 126M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.436690e+02 |-5.300000e+01 | 78.25%
1045.10/1045.16 c 1045s| 1 | 0 |590116 | - | 126M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.435951e+02 |-5.300000e+01 | 78.24%
1051.10/1051.17 c 1051s| 1 | 0 |591317 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.435287e+02 |-5.300000e+01 | 78.24%
1057.01/1057.09 c 1057s| 1 | 0 |592436 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.434564e+02 |-5.300000e+01 | 78.23%
1062.89/1062.91 c 1063s| 1 | 0 |593391 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.433828e+02 |-5.300000e+01 | 78.22%
1068.90/1068.98 c 1069s| 1 | 0 |594689 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.433059e+02 |-5.300000e+01 | 78.22%
1074.90/1074.98 c 1075s| 1 | 0 |595627 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.432284e+02 |-5.300000e+01 | 78.21%
1080.80/1080.88 c 1081s| 1 | 0 |596575 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.431658e+02 |-5.300000e+01 | 78.20%
1087.82/1087.86 c 1088s| 1 | 0 |598832 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.430573e+02 |-5.300000e+01 | 78.19%
1093.50/1093.51 c 1094s| 1 | 0 |599544 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.430031e+02 |-5.300000e+01 | 78.19%
1099.40/1099.41 c 1099s| 1 | 0 |600344 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.429564e+02 |-5.300000e+01 | 78.19%
1105.30/1105.32 c 1105s| 1 | 0 |601146 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.428950e+02 |-5.300000e+01 | 78.18%
1111.10/1111.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.10/1111.18 c 1111s| 1 | 0 |601867 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.428492e+02 |-5.300000e+01 | 78.18%
1116.90/1116.97 c 1117s| 1 | 0 |602591 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.427773e+02 |-5.300000e+01 | 78.17%
1122.90/1122.92 c 1123s| 1 | 0 |603489 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.427363e+02 |-5.300000e+01 | 78.17%
1128.52/1128.56 c 1129s| 1 | 0 |604204 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.426825e+02 |-5.300000e+01 | 78.16%
1134.51/1134.55 c 1135s| 1 | 0 |605129 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.426031e+02 |-5.300000e+01 | 78.15%
1140.61/1140.63 c 1141s| 1 | 0 |606244 | - | 126M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.425183e+02 |-5.300000e+01 | 78.15%
1146.40/1146.48 c 1146s| 1 | 0 |606992 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.424643e+02 |-5.300000e+01 | 78.14%
1152.50/1152.57 c 1153s| 1 | 0 |607909 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.424116e+02 |-5.300000e+01 | 78.14%
1158.60/1158.61 c 1159s| 1 | 0 |608810 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.423745e+02 |-5.300000e+01 | 78.13%
1164.50/1164.57 c 1165s| 1 | 0 |609712 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.423340e+02 |-5.300000e+01 | 78.13%
1170.41/1170.44 c 1170s| 1 | 0 |610563 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.422887e+02 |-5.300000e+01 | 78.13%
1176.30/1176.33 c 1176s| 1 | 0 |611458 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.422460e+02 |-5.300000e+01 | 78.12%
1181.80/1181.88 c 1182s| 1 | 0 |612084 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.422080e+02 |-5.300000e+01 | 78.12%
1187.81/1187.85 c 1188s| 1 | 0 |613024 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.421529e+02 |-5.300000e+01 | 78.11%
1194.20/1194.21 c 1194s| 1 | 0 |614394 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.420955e+02 |-5.300000e+01 | 78.11%
1199.90/1199.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.90/1199.98 c 1200s| 1 | 0 |615344 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.420481e+02 |-5.300000e+01 | 78.10%
1205.90/1205.97 c 1206s| 1 | 0 |616506 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.420014e+02 |-5.300000e+01 | 78.10%
1211.50/1211.53 c 1212s| 1 | 0 |617050 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.419722e+02 |-5.300000e+01 | 78.10%
1217.41/1217.46 c 1217s| 1 | 0 |617864 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.419403e+02 |-5.300000e+01 | 78.09%
1223.01/1223.00 c 1223s| 1 | 0 |618467 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.419283e+02 |-5.300000e+01 | 78.09%
1228.50/1228.61 c 1229s| 1 | 0 |619101 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.419019e+02 |-5.300000e+01 | 78.09%
1234.11/1234.17 c 1234s| 1 | 0 |619868 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.418658e+02 |-5.300000e+01 | 78.09%
1239.62/1239.71 c 1240s| 1 | 0 |620292 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.418506e+02 |-5.300000e+01 | 78.09%
1245.51/1245.56 c 1246s| 1 | 0 |621147 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.418210e+02 |-5.300000e+01 | 78.08%
1251.20/1251.26 c 1251s| 1 | 0 |621951 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.417893e+02 |-5.300000e+01 | 78.08%
1256.71/1256.71 c 1257s| 1 | 0 |622302 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.417795e+02 |-5.300000e+01 | 78.08%
1262.30/1262.34 c 1262s| 1 | 0 |622988 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.417544e+02 |-5.300000e+01 | 78.08%
1268.41/1268.47 c 1268s| 1 | 0 |624658 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.417064e+02 |-5.300000e+01 | 78.07%
1274.21/1274.24 c 1274s| 1 | 0 |625530 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416829e+02 |-5.300000e+01 | 78.07%
1279.80/1279.80 c 1280s| 1 | 0 |626167 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416709e+02 |-5.300000e+01 | 78.07%
1285.31/1285.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.31/1285.34 c 1285s| 1 | 0 |626799 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416541e+02 |-5.300000e+01 | 78.07%
1291.11/1291.10 c 1291s| 1 | 0 |627753 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416210e+02 |-5.300000e+01 | 78.06%
1296.71/1296.81 c 1297s| 1 | 0 |628659 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416020e+02 |-5.300000e+01 | 78.06%
1302.20/1302.22 c 1302s| 1 | 0 |629301 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.415869e+02 |-5.300000e+01 | 78.06%
1307.92/1307.98 c 1308s| 1 | 0 |630268 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.415520e+02 |-5.300000e+01 | 78.06%
1313.42/1313.48 c 1313s| 1 | 0 |631048 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.415336e+02 |-5.300000e+01 | 78.06%
1319.00/1319.04 c 1319s| 1 | 0 |631728 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.415136e+02 |-5.300000e+01 | 78.06%
1324.91/1324.94 c 1325s| 1 | 0 |632798 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.414817e+02 |-5.300000e+01 | 78.05%
1330.51/1330.57 c 1331s| 1 | 0 |633530 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.414624e+02 |-5.300000e+01 | 78.05%
1336.10/1336.12 c 1336s| 1 | 0 |634300 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.414367e+02 |-5.300000e+01 | 78.05%
1341.41/1341.45 c 1341s| 1 | 0 |634902 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.414240e+02 |-5.300000e+01 | 78.05%
1346.91/1346.96 c 1347s| 1 | 0 |635636 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.414101e+02 |-5.300000e+01 | 78.05%
1352.51/1352.58 c 1353s| 1 | 0 |636419 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.413844e+02 |-5.300000e+01 | 78.04%
1358.42/1358.48 c 1358s| 1 | 0 |637673 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.413410e+02 |-5.300000e+01 | 78.04%
1364.02/1364.02 c 1364s| 1 | 0 |638445 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.413220e+02 |-5.300000e+01 | 78.04%
1369.43/1369.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.43/1369.46 c 1369s| 1 | 0 |639253 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.413048e+02 |-5.300000e+01 | 78.04%
1374.71/1374.78 c 1375s| 1 | 0 |639793 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412970e+02 |-5.300000e+01 | 78.04%
1380.42/1380.42 c 1380s| 1 | 0 |640965 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412734e+02 |-5.300000e+01 | 78.03%
1385.93/1386.00 c 1386s| 1 | 0 |641617 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412560e+02 |-5.300000e+01 | 78.03%
1391.52/1391.51 c 1392s| 1 | 0 |642228 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412446e+02 |-5.300000e+01 | 78.03%
1397.31/1397.34 c 1397s| 1 | 0 |643466 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412235e+02 |-5.300000e+01 | 78.03%
1402.52/1402.57 c 1403s| 1 | 0 |644002 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412148e+02 |-5.300000e+01 | 78.03%
1407.71/1407.73 c 1408s| 1 | 0 |644373 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412073e+02 |-5.300000e+01 | 78.03%
1413.01/1413.03 c 1413s| 1 | 0 |644863 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411982e+02 |-5.300000e+01 | 78.03%
1418.30/1418.37 c 1418s| 1 | 0 |645218 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411924e+02 |-5.300000e+01 | 78.03%
1423.71/1423.77 c 1424s| 1 | 0 |645847 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411811e+02 |-5.300000e+01 | 78.02%
1429.71/1429.72 c 1430s| 1 | 0 |647123 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411693e+02 |-5.300000e+01 | 78.02%
1435.21/1435.25 c 1435s| 1 | 0 |647815 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411576e+02 |-5.300000e+01 | 78.02%
1441.02/1441.09 c 1441s| 1 | 0 |648962 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411455e+02 |-5.300000e+01 | 78.02%
1446.42/1446.45 c 1446s| 1 | 0 |649417 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411388e+02 |-5.300000e+01 | 78.02%
1451.61/1451.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.61/1451.66 c 1452s| 1 | 0 |649773 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411347e+02 |-5.300000e+01 | 78.02%
1457.00/1457.00 c 1457s| 1 | 0 |650439 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411277e+02 |-5.300000e+01 | 78.02%
1462.31/1462.30 c 1462s| 1 | 0 |650955 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411212e+02 |-5.300000e+01 | 78.02%
1467.51/1467.56 c 1468s| 1 | 0 |651483 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411139e+02 |-5.300000e+01 | 78.02%
1472.61/1472.67 c 1473s| 1 | 0 |651992 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411037e+02 |-5.300000e+01 | 78.02%
1477.71/1477.73 c 1478s| 1 | 0 |652425 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410988e+02 |-5.300000e+01 | 78.02%
1482.91/1482.99 c 1483s| 1 | 0 |653027 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410920e+02 |-5.300000e+01 | 78.02%
1488.33/1488.36 c 1488s| 1 | 0 |653810 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410864e+02 |-5.300000e+01 | 78.02%
1493.61/1493.62 c 1494s| 1 | 0 |654370 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410819e+02 |-5.300000e+01 | 78.02%
1498.71/1498.71 c 1499s| 1 | 0 |654671 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410793e+02 |-5.300000e+01 | 78.02%
1503.81/1503.80 c 1504s| 1 | 0 |655151 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410753e+02 |-5.300000e+01 | 78.02%
1509.01/1509.04 c 1509s| 1 | 0 |655689 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410690e+02 |-5.300000e+01 | 78.01%
1531.31/1531.36 c 1531s| 1 | 2 |655689 | - | 126M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 29 |-2.410690e+02 |-5.300000e+01 | 78.01%
1800.03/1800.05 c
1800.03/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.05 c Solving Time (sec) : 1800.05
1800.03/1800.05 c Solving Nodes : 84
1800.03/1800.05 c Primal Bound : -5.30000000000000e+01 (79 solutions)
1800.03/1800.05 c Dual Bound : -2.40691240497838e+02
1800.03/1800.05 c Gap : 77.98 %
1800.03/1800.10 s SATISFIABLE
1800.03/1800.10 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.03/1800.10 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.03/1800.10 v -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.03/1800.10 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.03/1800.10 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1800.03/1800.10 v -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1800.03/1800.10 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1800.03/1800.10 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833
1800.03/1800.10 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1800.03/1800.10 v -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1800.03/1800.10 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770
1800.03/1800.10 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1800.03/1800.10 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1800.03/1800.10 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707
1800.03/1800.10 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1800.03/1800.10 v -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1800.03/1800.10 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1800.03/1800.10 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1800.03/1800.10 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602
1800.03/1800.10 v -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
1800.03/1800.10 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
1800.03/1800.10 v -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
1800.03/1800.10 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 x520 -x519 -x518
1800.03/1800.10 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
1800.03/1800.10 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
1800.03/1800.10 v -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455
1800.03/1800.10 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
1800.03/1800.10 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
1800.03/1800.10 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1800.03/1800.10 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1800.03/1800.10 v -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351
1800.03/1800.10 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1800.03/1800.10 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1800.03/1800.10 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1800.03/1800.10 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1800.03/1800.10 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1800.03/1800.10 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1800.03/1800.10 v -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1800.03/1800.10 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1800.03/1800.10 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 x165 -x164 -x163 -x162
1800.03/1800.10 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 x144 -x143 -x142 -x141
1800.03/1800.10 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1800.03/1800.10 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1800.03/1800.10 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
1800.03/1800.10 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
1800.03/1800.10 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
1800.03/1800.10 v -x21 -x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 x3 x2 x1
1800.03/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.10 c Total Time : 1800.05
1800.03/1800.10 c solving : 1800.05
1800.03/1800.10 c presolving : 0.86 (included in solving)
1800.03/1800.10 c reading : 0.21 (included in solving)
1800.03/1800.10 c Original Problem :
1800.03/1800.10 c Problem name : HOME/instance-3450690-1307107578.opb
1800.03/1800.10 c Variables : 38742 (38742 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.10 c Constraints : 39742 initial, 39742 maximal
1800.03/1800.10 c Presolved Problem :
1800.03/1800.10 c Problem name : t_HOME/instance-3450690-1307107578.opb
1800.03/1800.10 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.10 c Constraints : 37742 initial, 37742 maximal
1800.03/1800.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.10 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.10 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.10 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.10 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.10 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.10 c probing : 0.20 0 0 0 0 0 0 0 0 0
1800.03/1800.10 c and : 0.37 0 0 0 0 0 0 0 0 0
1800.03/1800.10 c linear : 0.10 37742 0 0 37742 0 1000 0 0 0
1800.03/1800.10 c logicor : 0.06 0 0 0 0 0 0 0 0 0
1800.03/1800.10 c pseudoboolean : 0.03 0 0 0 0 0 1000 0 0 0
1800.03/1800.10 c root node : - 0 - - 0 - - - - -
1800.03/1800.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.10 c integral : 0 0 0 84 0 2349 0 0 0 0 0 168
1800.03/1800.10 c logicor : 37742 368 502 0 0 2345 0 0 2955 35197 0 0
1800.03/1800.10 c countsols : 0 0 0 0 0 81 0 0 0 0 0 0
1800.03/1800.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.10 c integral : 137.98 0.00 0.00 137.98 0.00 0.00 0.00
1800.03/1800.10 c logicor : 4.50 3.11 0.29 0.00 0.00 1.10 0.00
1800.03/1800.10 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.10 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.10 c vbounds : 0 0 0 0
1800.03/1800.10 c rootredcost : 0 0 0 0
1800.03/1800.10 c pseudoobj : 3416 0 0 0
1800.03/1800.10 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.10 c vbounds : 0.00 0.00 0.00
1800.03/1800.10 c rootredcost : 0.00 0.00 0.00
1800.03/1800.10 c pseudoobj : 0.06 0.06 0.00
1800.03/1800.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.10 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.10 c applied globally : - - - 0 0.0 - - -
1800.03/1800.10 c applied locally : - - - 0 0.0 - - -
1800.03/1800.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.10 c cut pool : 1.13 367 - - 6042 - (maximal pool size: 17734)
1800.03/1800.10 c redcost : 0.01 451 0 0 0 0
1800.03/1800.10 c impliedbounds : 0.49 365 0 0 26855 0
1800.03/1800.10 c intobj : 0.00 0 0 0 0 0
1800.03/1800.10 c gomory : 1117.21 364 0 0 78311 0
1800.03/1800.10 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.10 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.10 c strongcg : 1.82 20 0 0 10000 0
1800.03/1800.10 c cmir : 1.35 10 0 0 0 0
1800.03/1800.10 c flowcover : 1.23 10 0 0 0 0
1800.03/1800.10 c clique : 16.94 364 0 0 3391 0
1800.03/1800.10 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.10 c mcf : 0.02 1 0 0 0 0
1800.03/1800.10 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.10 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.10 c Pricers : Time Calls Vars
1800.03/1800.10 c problem variables: 0.00 0 0
1800.03/1800.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.10 c relpscost : 137.98 84 0 0 0 0 168
1800.03/1800.10 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.10 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.10 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.10 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.10 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.10 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.10 c random : 0.00 0 0 0 0 0 0
1800.03/1800.10 c Primal Heuristics : Time Calls Found
1800.03/1800.10 c LP solutions : 0.00 - 0
1800.03/1800.10 c pseudo solutions : 0.00 - 0
1800.03/1800.10 c crossover : 0.00 0 0
1800.03/1800.10 c oneopt : 0.01 2 1
1800.03/1800.10 c linesearchdiving : 12.70 4 2
1800.03/1800.10 c fracdiving : 11.70 4 1
1800.03/1800.10 c veclendiving : 15.87 5 10
1800.03/1800.10 c rootsoldiving : 6.33 3 0
1800.03/1800.10 c trivial : 0.05 2 1
1800.03/1800.10 c shiftandpropagate: 0.00 0 0
1800.03/1800.10 c simplerounding : 1.30 452 62
1800.03/1800.10 c zirounding : 0.05 84 0
1800.03/1800.10 c rounding : 11.13 452 1
1800.03/1800.10 c shifting : 9.83 372 1
1800.03/1800.10 c intshifting : 0.00 0 0
1800.03/1800.10 c twoopt : 0.00 0 0
1800.03/1800.10 c fixandinfer : 0.00 0 0
1800.03/1800.10 c feaspump : 0.00 0 0
1800.03/1800.10 c clique : 0.00 0 0
1800.03/1800.10 c coefdiving : 8.44 4 0
1800.03/1800.10 c pscostdiving : 14.00 5 0
1800.03/1800.10 c intdiving : 0.00 0 0
1800.03/1800.10 c actconsdiving : 0.00 0 0
1800.03/1800.10 c objpscostdiving : 29.83 1 0
1800.03/1800.10 c guideddiving : 13.94 5 0
1800.03/1800.10 c octane : 0.00 0 0
1800.03/1800.10 c rens : 0.07 0 0
1800.03/1800.10 c rins : 0.00 0 0
1800.03/1800.10 c localbranching : 0.00 0 0
1800.03/1800.10 c mutation : 0.00 0 0
1800.03/1800.10 c dins : 0.00 0 0
1800.03/1800.10 c vbounds : 0.00 0 0
1800.03/1800.10 c undercover : 0.02 1 0
1800.03/1800.10 c subnlp : 0.00 0 0
1800.03/1800.10 c trysol : 0.00 0 0
1800.03/1800.10 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.10 c primal LP : 1.24 0 0 0.00 0.00
1800.03/1800.10 c dual LP : 376.90 452 885485 1959.04 2349.37
1800.03/1800.10 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.10 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.10 c diving/probing LP: 110.96 2750 884669 321.70 7972.66
1800.03/1800.10 c strong branching : 137.95 773 578066 747.82 4190.32
1800.03/1800.10 c (at root node) : - 29 29000 1000.00 -
1800.03/1800.10 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.10 c B&B Tree :
1800.03/1800.10 c number of runs : 1
1800.03/1800.10 c nodes : 84
1800.03/1800.10 c nodes (total) : 84
1800.03/1800.10 c nodes left : 85
1800.03/1800.10 c max depth : 27
1800.03/1800.10 c max depth (total): 27
1800.03/1800.10 c backtracks : 31 (36.9%)
1800.03/1800.10 c delayed cutoffs : 0
1800.03/1800.10 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.10 c avg switch length: 3.88
1800.03/1800.10 c switching time : 0.07
1800.03/1800.10 c Solution :
1800.03/1800.10 c Solutions found : 79 (4 improvements)
1800.03/1800.10 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.38 seconds, depth 0, found by <trivial>)
1800.03/1800.10 c Primal Bound : -5.30000000000000e+01 (in run 1, after 1 nodes, 2.47 seconds, depth 0, found by <oneopt>)
1800.03/1800.10 c Dual Bound : -2.40691240497838e+02
1800.03/1800.10 c Gap : 77.98 %
1800.03/1800.10 c Root Dual Bound : -2.41068967851250e+02
1800.03/1800.10 c Root Iterations : 655689
1800.21/1800.25 c Time complete: 1800.28.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450690-1307107578/watcher-3450690-1307107578 -o /tmp/evaluation-result-3450690-1307107578/solver-3450690-1307107578 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450690-1307107578.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.99 1.99 2/400 30347
/proc/meminfo: memFree=29924172/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=16508 CPUtime=0.01 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 3141 0 0 0 1 0 0 0 25 0 1 0 822357598 16904192 3095 33554432000 4194304 9163163 140734296849728 18446744073709551615 6923183 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30347/statm: 4127 3095 415 1214 0 2909 0
[startup+0.0995511 s]
/proc/loadavg: 1.92 1.99 1.99 2/400 30347
/proc/meminfo: memFree=29924172/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=42020 CPUtime=0.09 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 9506 0 0 0 8 1 0 0 25 0 1 0 822357598 43028480 9460 33554432000 4194304 9163163 140734296849728 18446744073709551615 4402932 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30347/statm: 10505 9460 415 1214 0 9287 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42020
[startup+0.100549 s]
/proc/loadavg: 1.92 1.99 1.99 2/400 30347
/proc/meminfo: memFree=29924172/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=42020 CPUtime=0.09 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 9511 0 0 0 8 1 0 0 25 0 1 0 822357598 43028480 9465 33554432000 4194304 9163163 140734296849728 18446744073709551615 7962274 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30347/statm: 10505 9465 415 1214 0 9287 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42020
[startup+0.300514 s]
/proc/loadavg: 1.92 1.99 1.99 2/400 30347
/proc/meminfo: memFree=29924172/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=110080 CPUtime=0.29 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 26637 0 0 0 26 3 0 0 25 0 1 0 822357598 112721920 26323 33554432000 4194304 9163163 140734296849728 18446744073709551615 4217457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 27520 26323 453 1214 0 26302 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 110080
[startup+0.700444 s]
/proc/loadavg: 1.92 1.99 1.99 2/400 30347
/proc/meminfo: memFree=29924172/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=143928 CPUtime=0.69 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 34211 0 0 0 65 4 0 0 25 0 1 0 822357598 147382272 33897 33554432000 4194304 9163163 140734296849728 18446744073709551615 8041849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 35982 33897 505 1214 0 34764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 143928
[startup+1.50024 s]
/proc/loadavg: 1.92 1.99 1.99 3/401 30348
/proc/meminfo: memFree=29778836/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=205376 CPUtime=1.49 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 51059 0 0 0 143 6 0 0 25 0 1 0 822357598 210305024 48036 33554432000 4194304 9163163 140734296849728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 51344 48036 801 1214 0 50126 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 205376
[startup+3.101 s]
/proc/loadavg: 1.92 1.99 1.99 3/401 30348
/proc/meminfo: memFree=29725512/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=212808 CPUtime=3.09 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 56387 0 0 0 301 8 0 0 25 0 1 0 822357598 217915392 50671 33554432000 4194304 9163163 140734296849728 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 53202 50671 760 1214 0 51984 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 212808
[startup+6.30038 s]
/proc/loadavg: 1.93 1.99 1.99 3/401 30348
/proc/meminfo: memFree=29721344/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=214272 CPUtime=6.29 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 56654 0 0 0 620 9 0 0 25 0 1 0 822357598 219414528 50938 33554432000 4194304 9163163 140734296849728 18446744073709551615 6455872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 53568 50938 762 1214 0 52350 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 214272
[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.99 3/401 30349
/proc/meminfo: memFree=29711572/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=224212 CPUtime=12.69 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 58940 0 0 0 1258 11 0 0 25 0 1 0 822357598 229593088 53209 33554432000 4194304 9163163 140734296849728 18446744073709551615 8045618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 56053 53209 747 1214 0 54835 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 224212
[startup+25.501 s]
/proc/loadavg: 1.95 1.99 1.99 3/401 30349
/proc/meminfo: memFree=29697760/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=235300 CPUtime=25.49 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 62363 0 0 0 2526 23 0 0 25 0 1 0 822357598 240947200 56577 33554432000 4194304 9163163 140734296849728 18446744073709551615 7225331 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 58825 56577 696 1214 0 57607 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 235300
[startup+51.1004 s]
/proc/loadavg: 2.03 2.01 2.00 3/401 30350
/proc/meminfo: memFree=29680764/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=255292 CPUtime=51.07 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 66987 0 0 0 5061 46 0 0 25 0 1 0 822357598 261419008 60943 33554432000 4194304 9163163 140734296849728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 63823 60943 694 1214 0 62605 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 255292
[startup+102.315 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 30351
/proc/meminfo: memFree=29641908/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=288144 CPUtime=102.29 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75411 0 0 0 10147 82 0 0 25 0 1 0 822357598 295059456 69241 33554432000 4194304 9163163 140734296849728 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72036 69241 694 1214 0 70818 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 288144
[startup+162.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 30353
/proc/meminfo: memFree=29637632/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=288144 CPUtime=162.28 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75412 0 0 0 16112 116 0 0 25 0 1 0 822357598 295059456 69242 33554432000 4194304 9163163 140734296849728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72036 69242 694 1214 0 70818 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 288144
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 30354
/proc/meminfo: memFree=29635464/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291172 CPUtime=222.28 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75835 0 0 0 22082 146 0 0 25 0 1 0 822357598 298160128 69665 33554432000 4194304 9163163 140734296849728 18446744073709551615 7447691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72793 69665 694 1214 0 71575 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 291172
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 30356
/proc/meminfo: memFree=29633544/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291172 CPUtime=282.28 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75836 0 0 0 28051 177 0 0 25 0 1 0 822357598 298160128 69666 33554432000 4194304 9163163 140734296849728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72793 69666 694 1214 0 71575 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 291172
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30357
/proc/meminfo: memFree=29631976/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=342.29 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75947 0 0 0 34026 203 0 0 25 0 1 0 822357598 298323968 69777 33554432000 4194304 9163163 140734296849728 18446744073709551615 7348358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69777 694 1214 0 71615 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 291332
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30359
/proc/meminfo: memFree=29630508/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=402.28 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75962 0 0 0 39994 234 0 0 25 0 1 0 822357598 298323968 69792 33554432000 4194304 9163163 140734296849728 18446744073709551615 7394712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69792 694 1214 0 71615 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 291332
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30361
/proc/meminfo: memFree=29625964/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=462.28 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75962 0 0 0 45965 263 0 0 25 0 1 0 822357598 298323968 69792 33554432000 4194304 9163163 140734296849728 18446744073709551615 6674712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69792 694 1214 0 71615 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 291332
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30362
/proc/meminfo: memFree=29621540/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=522.28 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75962 0 0 0 51938 290 0 0 25 0 1 0 822357598 298323968 69792 33554432000 4194304 9163163 140734296849728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69792 694 1214 0 71615 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 291332
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30364
/proc/meminfo: memFree=29619092/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=582.29 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75962 0 0 0 57911 318 0 0 25 0 1 0 822357598 298323968 69792 33554432000 4194304 9163163 140734296849728 18446744073709551615 6669454 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69792 694 1214 0 71615 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 291332
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30400
/proc/meminfo: memFree=29766884/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=882.29 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75962 0 0 0 87783 446 0 0 25 0 1 0 822357598 298323968 69792 33554432000 4194304 9163163 140734296849728 18446744073709551615 6674514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69792 694 1214 0 71615 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 291332
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30401
/proc/meminfo: memFree=29757232/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=942.3 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75962 0 0 0 93760 470 0 0 25 0 1 0 822357598 298323968 69792 33554432000 4194304 9163163 140734296849728 18446744073709551615 6675797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69792 694 1214 0 71615 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 291332
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30403
/proc/meminfo: memFree=29747956/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=1002.3 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75962 0 0 0 99734 496 0 0 25 0 1 0 822357598 298323968 69792 33554432000 4194304 9163163 140734296849728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69792 694 1214 0 71615 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 291332
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30405
/proc/meminfo: memFree=29740700/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=1062.3 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75962 0 0 0 105709 521 0 0 25 0 1 0 822357598 298323968 69792 33554432000 4194304 9163163 140734296849728 18446744073709551615 7346248 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69792 694 1214 0 71615 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 291332
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30406
/proc/meminfo: memFree=29732792/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=1122.3 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75962 0 0 0 111687 543 0 0 25 0 1 0 822357598 298323968 69792 33554432000 4194304 9163163 140734296849728 18446744073709551615 7348149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69792 694 1214 0 71615 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 291332
[startup+1182.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/401 30408
/proc/meminfo: memFree=29726500/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=1182.3 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75963 0 0 0 117663 567 0 0 25 0 1 0 822357598 298323968 69793 33554432000 4194304 9163163 140734296849728 18446744073709551615 6668722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69793 694 1214 0 71615 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 291332
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 30409
/proc/meminfo: memFree=29716604/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=1242.3 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75963 0 0 0 123638 592 0 0 25 0 1 0 822357598 298323968 69793 33554432000 4194304 9163163 140734296849728 18446744073709551615 7447779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69793 694 1214 0 71615 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 291332
[startup+1302.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/401 30411
/proc/meminfo: memFree=29710208/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=1302.32 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75963 0 0 0 129614 618 0 0 25 0 1 0 822357598 298323968 69793 33554432000 4194304 9163163 140734296849728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69793 694 1214 0 71615 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 291332
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 30413
/proc/meminfo: memFree=29699440/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=1362.31 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75963 0 0 0 135589 642 0 0 25 0 1 0 822357598 298323968 69793 33554432000 4194304 9163163 140734296849728 18446744073709551615 6674791 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69793 694 1214 0 71615 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 291332
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 30414
/proc/meminfo: memFree=29694184/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=1422.32 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75963 0 0 0 141566 666 0 0 25 0 1 0 822357598 298323968 69793 33554432000 4194304 9163163 140734296849728 18446744073709551615 6674577 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69793 694 1214 0 71615 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 291332
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30416
/proc/meminfo: memFree=29689776/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291332 CPUtime=1482.31 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 75963 0 0 0 147540 691 0 0 25 0 1 0 822357598 298323968 69793 33554432000 4194304 9163163 140734296849728 18446744073709551615 6674542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72833 69793 694 1214 0 71615 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 291332
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30417
/proc/meminfo: memFree=29679524/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291380 CPUtime=1542.31 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 80895 0 0 0 153505 726 0 0 25 0 1 0 822357598 298373120 69534 33554432000 4194304 9163163 140734296849728 18446744073709551615 7390783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72845 69534 714 1214 0 71627 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 291380
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30419
/proc/meminfo: memFree=29671524/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291380 CPUtime=1602.31 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 80895 0 0 0 159393 838 0 0 25 0 1 0 822357598 298373120 69534 33554432000 4194304 9163163 140734296849728 18446744073709551615 7390368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72845 69534 714 1214 0 71627 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 291380
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30421
/proc/meminfo: memFree=29664040/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291380 CPUtime=1662.31 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 80900 0 0 0 165217 1014 0 0 25 0 1 0 822357598 298373120 69539 33554432000 4194304 9163163 140734296849728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72845 69539 719 1214 0 71627 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 291380
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/401 30422
/proc/meminfo: memFree=29656180/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291380 CPUtime=1722.31 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 80901 0 0 0 171077 1154 0 0 25 0 1 0 822357598 298373120 69540 33554432000 4194304 9163163 140734296849728 18446744073709551615 7346217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72845 69540 719 1214 0 71627 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 291380
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/401 30424
/proc/meminfo: memFree=29644240/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291380 CPUtime=1782.32 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 80901 0 0 0 176922 1310 0 0 25 0 1 0 822357598 298373120 69540 33554432000 4194304 9163163 140734296849728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72845 69540 719 1214 0 71627 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 291380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 30424
/proc/meminfo: memFree=29642864/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=291380 CPUtime=1800.03 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 80901 0 0 0 178642 1361 0 0 25 0 1 0 822357598 298373120 69540 33554432000 4194304 9163163 140734296849728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30347/statm: 72845 69540 719 1214 0 71627 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 291380
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 30424
/proc/meminfo: memFree=29642864/32950904 swapFree=56615552/67111528
[pid=30347] ppid=30345 vsize=289832 CPUtime=1800.21 cores=1,3,5,7
/proc/30347/stat : 30347 (scip-2.0.1.4b.l) R 30345 30347 27067 0 -1 4202496 80904 0 0 0 178660 1361 0 0 25 0 1 0 822357598 296787968 69180 33554432000 4194304 9163163 140734296849728 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30347/statm: 72458 69180 722 1214 0 71240 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 289832
Child status: 0
Real time (s): 1800.26
CPU time (s): 1800.28
CPU user time (s): 1786.65
CPU system time (s): 13.6309
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 299016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.65
system time used= 13.6309
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80906
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 21576
runsolver used 6.71198 second user time and 16.0496 second system time
The end