Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | -51 | 1800.28 | 1800.23 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_1.opb |
| MD5SUM | 3262a45f0e59552e467da6c31a32418a |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -69 |
| Best CPU time to get the best result obtained on this benchmark | 1800.22 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -70 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 109 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75586 |
| Sum of products size (including duplicates) | 151172 |
| Number of different products | 37793 |
| Sum of products size | 75586 |
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-3450647-1307104991.opb>
0.19/0.21 c original problem has 38793 variables (38793 bin, 0 int, 0 impl, 0 cont) and 39793 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) 37793 del vars, 2000 del conss, 0 add conss, 37793 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 151172 impls, 0 clqs
0.89/0.98 c (round 2) 37793 del vars, 2000 del conss, 0 add conss, 37793 chg bounds, 0 chg sides, 0 chg coeffs, 37793 upgd conss, 226758 impls, 0 clqs
1.10/1.19 c (1.2s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.19 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.10/1.19 c presolving (3 rounds):
1.10/1.19 c 37793 deleted vars, 2000 deleted constraints, 0 added constraints, 37793 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.19 c 226758 implications, 0 cliques
1.10/1.19 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37793 constraints
1.10/1.19 c 37793 constraints of type <logicor>
1.10/1.19 c transformed objective value is always integral (scale: 1)
1.10/1.19 c Presolving Time: 0.85
1.10/1.19 c - non default parameters ----------------------------------------------------------------------
1.10/1.19 c # SCIP version 2.0.1.5
1.10/1.19 c
1.10/1.19 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.19 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.19 c conflict/interconss = 0
1.10/1.19 c
1.10/1.19 c # should binary conflicts be preferred?
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c conflict/preferbinary = TRUE
1.10/1.19 c
1.10/1.19 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.19 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.19 c constraints/agelimit = 1
1.10/1.19 c
1.10/1.19 c # should enforcement of pseudo solution be disabled?
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c constraints/disableenfops = TRUE
1.10/1.19 c
1.10/1.19 c # frequency for displaying node information lines
1.10/1.19 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.19 c display/freq = 10000
1.10/1.19 c
1.10/1.19 c # maximal time in seconds to run
1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.19 c limits/time = 1800
1.10/1.19 c
1.10/1.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.19 c limits/memory = 13950
1.10/1.19 c
1.10/1.19 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.19 c # [type: int, range: [1,2], default: 1]
1.10/1.19 c timing/clocktype = 2
1.10/1.19 c
1.10/1.19 c # belongs reading time to solving time?
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c timing/reading = TRUE
1.10/1.19 c
1.10/1.19 c # should presolving try to simplify inequalities
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c constraints/linear/simplifyinequalities = TRUE
1.10/1.19 c
1.10/1.19 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c constraints/indicator/addCouplingCons = TRUE
1.10/1.19 c
1.10/1.19 c # should presolving try to simplify knapsacks
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.19 c
1.10/1.19 c -----------------------------------------------------------------------------------------------
1.10/1.19 c start solving
1.10/1.19 c
1.59/1.67 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.67 c t 1.7s| 1 | 0 | 1004 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.69/1.71 o -1
1.69/1.71 c R 1.7s| 1 | 0 | 1004 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.69/1.75 o -2
1.69/1.75 c s 1.7s| 1 | 0 | 1004 | - | 121M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.49/2.54 c 2.5s| 1 | 0 | 1273 | - | 121M| 0 | 986 |1000 | 37k|1000 | 37k| 11 | 0 | 0 |-4.930000e+02 |-2.000000e+00 | 99.59%
2.49/2.55 o -51
2.49/2.55 c b 2.5s| 1 | 0 | 1273 | - | 121M| 0 | 986 |1000 | 37k|1000 | 37k| 11 | 0 | 0 |-4.930000e+02 |-5.100000e+01 | 89.66%
3.31/3.41 c 3.4s| 1 | 0 | 1594 | - | 121M| 0 | 979 |1000 | 37k|1000 | 37k| 18 | 0 | 0 |-4.895000e+02 |-5.100000e+01 | 89.58%
4.19/4.27 c 4.3s| 1 | 0 | 1929 | - | 121M| 0 | 970 |1000 | 37k|1000 | 37k| 27 | 0 | 0 |-4.850000e+02 |-5.100000e+01 | 89.48%
5.19/5.29 c 5.3s| 1 | 0 | 2323 | - | 121M| 0 | 959 |1000 | 37k|1000 | 37k| 40 | 0 | 0 |-4.795000e+02 |-5.100000e+01 | 89.36%
6.20/6.22 c 6.2s| 1 | 0 | 2677 | - | 121M| 0 | 952 |1000 | 37k|1000 | 37k| 50 | 0 | 0 |-4.760000e+02 |-5.100000e+01 | 89.29%
7.19/7.28 c 7.3s| 1 | 0 | 3011 | - | 122M| 0 | 947 |1000 | 37k|1000 | 37k| 60 | 0 | 0 |-4.727500e+02 |-5.100000e+01 | 89.21%
8.49/8.59 c 8.6s| 1 | 0 | 3643 | - | 122M| 0 | 936 |1000 | 37k|1000 | 37k| 72 | 0 | 0 |-4.680000e+02 |-5.100000e+01 | 89.10%
10.09/10.17 c 10.2s| 1 | 0 | 4403 | - | 123M| 0 | 929 |1000 | 37k|1000 | 37k| 85 | 0 | 0 |-4.645000e+02 |-5.100000e+01 | 89.02%
11.29/11.32 c 11.3s| 1 | 0 | 4709 | - | 123M| 0 | 922 |1000 | 37k|1000 | 37k| 96 | 0 | 0 |-4.610000e+02 |-5.100000e+01 | 88.94%
12.79/12.88 c 12.9s| 1 | 0 | 5492 | - | 124M| 0 | 919 |1000 | 37k|1000 | 37k| 105 | 0 | 0 |-4.580000e+02 |-5.100000e+01 | 88.86%
14.79/14.80 c 14.8s| 1 | 0 | 7134 | - | 124M| 0 | 909 |1000 | 37k|1000 |1832 | 123 | 0 | 0 |-4.530000e+02 |-5.100000e+01 | 88.74%
15.19/15.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.19/15.21 c 15.2s| 1 | 0 | 9099 | - | 124M| 0 | 883 |1000 | 37k|1000 |1843 | 134 | 0 | 0 |-4.495000e+02 |-5.100000e+01 | 88.65%
15.51/15.58 c 15.6s| 1 | 0 | 10185 | - | 125M| 0 | 888 |1000 | 37k|1000 |2581 | 872 | 0 | 0 |-4.485000e+02 |-5.100000e+01 | 88.63%
15.99/16.07 c 16.1s| 1 | 0 | 11943 | - | 125M| 0 | 882 |1000 | 37k|1000 |3076 |1367 | 0 | 0 |-4.435000e+02 |-5.100000e+01 | 88.50%
16.19/16.28 c 16.3s| 1 | 0 | 12193 | - | 125M| 0 | 867 |1000 | 37k|1000 |3298 |1589 | 0 | 0 |-4.415000e+02 |-5.100000e+01 | 88.45%
16.51/16.61 c 16.6s| 1 | 0 | 13292 | - | 125M| 0 | 878 |1000 | 37k|1000 |3777 |2068 | 0 | 0 |-4.390000e+02 |-5.100000e+01 | 88.38%
17.00/17.01 c 17.0s| 1 | 0 | 14679 | - | 126M| 0 | 867 |1000 | 37k|1000 |3295 |2207 | 0 | 0 |-4.355000e+02 |-5.100000e+01 | 88.29%
17.19/17.22 c 17.2s| 1 | 0 | 15092 | - | 126M| 0 | 872 |1000 | 37k|1000 |3415 |2327 | 0 | 0 |-4.345000e+02 |-5.100000e+01 | 88.26%
17.50/17.54 c 17.5s| 1 | 0 | 16339 | - | 126M| 0 | 855 |1000 | 37k|1000 |3870 |2782 | 0 | 0 |-4.325000e+02 |-5.100000e+01 | 88.21%
17.79/17.86 c 17.9s| 1 | 0 | 17222 | - | 126M| 0 | 855 |1000 | 37k|1000 |4137 |3049 | 0 | 0 |-4.315000e+02 |-5.100000e+01 | 88.18%
18.09/18.16 c 18.2s| 1 | 0 | 18051 | - | 126M| 0 | 856 |1000 | 37k|1000 |4395 |3307 | 0 | 0 |-4.288333e+02 |-5.100000e+01 | 88.11%
18.59/18.62 c 18.6s| 1 | 0 | 20372 | - | 126M| 0 | 860 |1000 | 37k|1000 |4462 |3374 | 0 | 0 |-4.277500e+02 |-5.100000e+01 | 88.08%
19.09/19.17 c 19.2s| 1 | 0 | 22928 | - | 127M| 0 | 905 |1000 | 37k|1000 |3578 |3491 | 0 | 0 |-4.264440e+02 |-5.100000e+01 | 88.04%
19.99/20.03 c 20.0s| 1 | 0 | 23040 | - | 127M| 0 | 857 |1000 | 37k|1000 |5578 |5491 | 0 | 0 |-4.263729e+02 |-5.100000e+01 | 88.04%
20.39/20.43 c 20.4s| 1 | 0 | 24297 | - | 127M| 0 | 846 |1000 | 37k|1000 |5589 |5502 | 0 | 0 |-4.240000e+02 |-5.100000e+01 | 87.97%
20.69/20.70 c 20.7s| 1 | 0 | 24867 | - | 127M| 0 | 844 |1000 | 37k|1000 |5653 |5566 | 0 | 0 |-4.210000e+02 |-5.100000e+01 | 87.89%
21.09/21.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.09/21.12 c 21.1s| 1 | 0 | 26251 | - | 128M| 0 | 839 |1000 | 37k|1000 |5664 |5577 | 0 | 0 |-4.192500e+02 |-5.100000e+01 | 87.84%
21.59/21.65 c 21.6s| 1 | 0 | 28239 | - | 128M| 0 | 835 |1000 | 37k|1000 |5842 |5755 | 0 | 0 |-4.170000e+02 |-5.100000e+01 | 87.77%
21.89/21.95 c 22.0s| 1 | 0 | 29197 | - | 128M| 0 | 826 |1000 | 37k|1000 |3962 |5832 | 0 | 0 |-4.150000e+02 |-5.100000e+01 | 87.71%
22.19/22.22 c 22.2s| 1 | 0 | 30044 | - | 128M| 0 | 826 |1000 | 37k|1000 |4120 |5990 | 0 | 0 |-4.122500e+02 |-5.100000e+01 | 87.63%
22.49/22.59 c 22.6s| 1 | 0 | 31142 | - | 129M| 0 | 817 |1000 | 37k|1000 |4726 |6596 | 0 | 0 |-4.097500e+02 |-5.100000e+01 | 87.55%
22.89/22.99 c 23.0s| 1 | 0 | 32324 | - | 129M| 0 | 808 |1000 | 37k|1000 |5642 |7512 | 0 | 0 |-4.070000e+02 |-5.100000e+01 | 87.47%
23.59/23.65 c 23.6s| 1 | 0 | 35670 | - | 129M| 0 | 873 |1000 | 37k|1000 |5824 |7694 | 0 | 0 |-4.045915e+02 |-5.100000e+01 | 87.39%
24.59/24.69 c 24.7s| 1 | 0 | 35884 | - | 129M| 0 | 808 |1000 | 37k|1000 |7824 |9694 | 0 | 0 |-4.040000e+02 |-5.100000e+01 | 87.38%
24.89/24.95 c 25.0s| 1 | 0 | 36230 | - | 130M| 0 | 806 |1000 | 37k|1000 |6917 |9704 | 0 | 0 |-4.030000e+02 |-5.100000e+01 | 87.34%
25.31/25.37 c 25.4s| 1 | 0 | 37272 | - | 130M| 0 | 798 |1000 | 37k|1000 |6926 |9713 | 0 | 0 |-4.015000e+02 |-5.100000e+01 | 87.30%
25.59/25.68 c 25.7s| 1 | 0 | 38088 | - | 130M| 0 | 803 |1000 | 37k|1000 |7088 |9875 | 0 | 0 |-3.992500e+02 |-5.100000e+01 | 87.23%
26.09/26.13 c 26.1s| 1 | 0 | 39242 | - | 130M| 0 | 793 |1000 | 37k|1000 |7142 |9929 | 0 | 0 |-3.975000e+02 |-5.100000e+01 | 87.17%
26.41/26.51 c 26.5s| 1 | 0 | 40281 | - | 130M| 0 | 793 |1000 | 37k|1000 |7204 |9991 | 0 | 0 |-3.957500e+02 |-5.100000e+01 | 87.11%
26.89/26.99 c 27.0s| 1 | 0 | 41565 | - | 130M| 0 | 795 |1000 | 37k|1000 |7385 | 10k| 0 | 0 |-3.947500e+02 |-5.100000e+01 | 87.08%
27.19/27.30 c 27.3s| 1 | 0 | 42278 | - | 130M| 0 | 783 |1000 | 37k|1000 |6306 | 10k| 0 | 0 |-3.930000e+02 |-5.100000e+01 | 87.02%
27.62/27.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.62/27.67 c 27.7s| 1 | 0 | 43552 | - | 130M| 0 | 779 |1000 | 37k|1000 |6489 | 10k| 0 | 0 |-3.905000e+02 |-5.100000e+01 | 86.94%
28.09/28.15 c 28.1s| 1 | 0 | 45175 | - | 130M| 0 | 803 |1000 | 37k|1000 |6720 | 10k| 0 | 0 |-3.894231e+02 |-5.100000e+01 | 86.90%
28.60/28.71 c 28.7s| 1 | 0 | 46722 | - | 131M| 0 | 788 |1000 | 37k|1000 |7447 | 11k| 0 | 0 |-3.878333e+02 |-5.100000e+01 | 86.85%
28.99/29.08 c 29.1s| 1 | 0 | 47351 | - | 132M| 0 | 771 |1000 | 37k|1000 |7904 | 11k| 0 | 0 |-3.865000e+02 |-5.100000e+01 | 86.80%
29.49/29.51 c 29.5s| 1 | 0 | 48451 | - | 132M| 0 | 782 |1000 | 37k|1000 |7970 | 11k| 0 | 0 |-3.847500e+02 |-5.100000e+01 | 86.74%
29.99/30.01 c 30.0s| 1 | 0 | 49920 | - | 132M| 0 | 764 |1000 | 37k|1000 |6774 | 12k| 0 | 0 |-3.830000e+02 |-5.100000e+01 | 86.68%
30.60/30.69 c 30.7s| 1 | 0 | 52322 | - | 132M| 0 | 799 |1000 | 37k|1000 |6829 | 12k| 0 | 0 |-3.808333e+02 |-5.100000e+01 | 86.61%
31.20/31.28 c 31.3s| 1 | 0 | 54110 | - | 132M| 0 | 776 |1000 | 37k|1000 |7169 | 12k| 0 | 0 |-3.787500e+02 |-5.100000e+01 | 86.53%
31.69/31.76 c 31.8s| 1 | 0 | 55630 | - | 132M| 0 | 779 |1000 | 37k|1000 |7220 | 12k| 0 | 0 |-3.770625e+02 |-5.100000e+01 | 86.47%
32.19/32.28 c 32.3s| 1 | 0 | 57112 | - | 133M| 0 | 750 |1000 | 37k|1000 |7471 | 12k| 0 | 0 |-3.750000e+02 |-5.100000e+01 | 86.40%
32.80/32.81 c 32.8s| 1 | 0 | 58679 | - | 133M| 0 | 772 |1000 | 37k|1000 |7481 | 12k| 0 | 0 |-3.739167e+02 |-5.100000e+01 | 86.36%
33.49/33.59 c 33.6s| 1 | 0 | 60879 | - | 134M| 0 | 772 |1000 | 37k|1000 |7022 | 13k| 0 | 0 |-3.718000e+02 |-5.100000e+01 | 86.28%
33.99/34.01 c 34.0s| 1 | 0 | 61528 | - | 134M| 0 | 753 |1000 | 37k|1000 |7517 | 13k| 0 | 0 |-3.712500e+02 |-5.100000e+01 | 86.26%
34.39/34.46 c 34.5s| 1 | 0 | 62556 | - | 135M| 0 | 768 |1000 | 37k|1000 |7531 | 13k| 0 | 0 |-3.696250e+02 |-5.100000e+01 | 86.20%
34.99/35.05 c 35.0s| 1 | 0 | 64333 | - | 135M| 0 | 756 |1000 | 37k|1000 |7547 | 13k| 0 | 0 |-3.682500e+02 |-5.100000e+01 | 86.15%
35.49/35.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.49/35.50 c 35.5s| 1 | 0 | 65704 | - | 135M| 0 | 743 |1000 | 37k|1000 |7559 | 13k| 0 | 0 |-3.673000e+02 |-5.100000e+01 | 86.11%
36.09/36.18 c 36.2s| 1 | 0 | 67716 | - | 136M| 0 | 773 |1000 | 37k|1000 |7667 | 13k| 0 | 0 |-3.666250e+02 |-5.100000e+01 | 86.09%
36.59/36.65 c 36.6s| 1 | 0 | 69103 | - | 136M| 0 | 729 |1000 | 37k|1000 |6671 | 14k| 0 | 0 |-3.650000e+02 |-5.100000e+01 | 86.03%
36.99/37.06 c 37.1s| 1 | 0 | 70142 | - | 136M| 0 | 732 |1000 | 37k|1000 |6722 | 14k| 0 | 0 |-3.645000e+02 |-5.100000e+01 | 86.01%
37.52/37.55 c 37.5s| 1 | 0 | 71342 | - | 137M| 0 | 734 |1000 | 37k|1000 |6732 | 14k| 0 | 0 |-3.640000e+02 |-5.100000e+01 | 85.99%
37.89/37.94 c 37.9s| 1 | 0 | 72315 | - | 137M| 0 | 738 |1000 | 37k|1000 |6794 | 14k| 0 | 0 |-3.620000e+02 |-5.100000e+01 | 85.91%
38.39/38.41 c 38.4s| 1 | 0 | 73706 | - | 138M| 0 | 719 |1000 | 37k|1000 |6806 | 14k| 0 | 0 |-3.605000e+02 |-5.100000e+01 | 85.85%
39.29/39.30 c 39.3s| 1 | 0 | 76820 | - | 138M| 0 | 742 |1000 | 37k|1000 |6859 | 14k| 0 | 0 |-3.596250e+02 |-5.100000e+01 | 85.82%
39.71/39.73 c 39.7s| 1 | 0 | 77963 | - | 138M| 0 | 715 |1000 | 37k|1000 |6249 | 14k| 0 | 0 |-3.585000e+02 |-5.100000e+01 | 85.77%
40.39/40.46 c 40.5s| 1 | 0 | 80570 | - | 139M| 0 | 790 |1000 | 37k|1000 |6307 | 14k| 0 | 0 |-3.572636e+02 |-5.100000e+01 | 85.72%
41.50/41.52 c 41.5s| 1 | 0 | 83632 | - | 139M| 0 | 758 |1000 | 37k|1000 |6847 | 15k| 0 | 0 |-3.559286e+02 |-5.100000e+01 | 85.67%
42.19/42.25 c 42.2s| 1 | 0 | 85677 | - | 140M| 0 | 786 |1000 | 37k|1000 |7134 | 15k| 0 | 0 |-3.551923e+02 |-5.100000e+01 | 85.64%
43.19/43.24 c 43.2s| 1 | 0 | 89234 | - | 141M| 0 | 762 |1000 | 37k|1000 |7316 | 15k| 0 | 0 |-3.526250e+02 |-5.100000e+01 | 85.54%
44.19/44.23 c 44.2s| 1 | 0 | 92397 | - | 142M| 0 | 812 |1000 | 37k|1000 |7399 | 15k| 0 | 0 |-3.515735e+02 |-5.100000e+01 | 85.49%
45.69/45.75 c 45.7s| 1 | 0 | 96757 | - | 143M| 0 | 722 |1000 | 37k|1000 |7203 | 15k| 0 | 0 |-3.485000e+02 |-5.100000e+01 | 85.37%
46.49/46.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.49/46.52 c 46.5s| 1 | 0 | 99189 | - | 143M| 0 | 715 |1000 | 37k|1000 |7215 | 15k| 0 | 0 |-3.465000e+02 |-5.100000e+01 | 85.28%
46.79/46.85 c 46.9s| 1 | 0 | 99866 | - | 143M| 0 | 727 |1000 | 37k|1000 |7365 | 16k| 0 | 0 |-3.460000e+02 |-5.100000e+01 | 85.26%
48.09/48.12 c 48.1s| 1 | 0 |104584 | - | 144M| 0 | 771 |1000 | 37k|1000 |7414 | 16k| 0 | 0 |-3.454800e+02 |-5.100000e+01 | 85.24%
49.29/49.36 c 49.4s| 1 | 0 |108085 | - | 145M| 0 | 743 |1000 | 37k|1000 |7668 | 16k| 0 | 0 |-3.439136e+02 |-5.100000e+01 | 85.17%
50.39/50.42 c 50.4s| 1 | 0 |111099 | - | 146M| 0 | 830 |1000 | 37k|1000 |7685 | 16k| 0 | 0 |-3.430312e+02 |-5.100000e+01 | 85.13%
51.00/51.07 c 51.1s| 1 | 0 |111317 | - | 147M| 0 | 740 |1000 | 37k|1000 |9009 | 18k| 0 | 0 |-3.430000e+02 |-5.100000e+01 | 85.13%
51.89/51.92 c 51.9s| 1 | 0 |113394 | - | 148M| 0 | 765 |1000 | 37k|1000 |9019 | 18k| 0 | 0 |-3.427773e+02 |-5.100000e+01 | 85.12%
52.80/52.90 c 52.9s| 1 | 0 |115421 | - | 150M| 0 | 771 |1000 | 37k|1000 |9038 | 18k| 0 | 0 |-3.410500e+02 |-5.100000e+01 | 85.05%
53.69/53.78 c 53.8s| 1 | 0 |117461 | - | 151M| 0 | 775 |1000 | 37k|1000 |9115 | 18k| 0 | 0 |-3.402898e+02 |-5.100000e+01 | 85.01%
55.11/55.17 c 55.2s| 1 | 0 |120925 | - | 151M| 0 | 786 |1000 | 37k|1000 |9191 | 18k| 0 | 0 |-3.381792e+02 |-5.100000e+01 | 84.92%
55.99/56.03 c 56.0s| 1 | 0 |122557 | - | 154M| 0 | 783 |1000 | 37k|1000 |9303 | 18k| 0 | 0 |-3.372734e+02 |-5.100000e+01 | 84.88%
56.79/56.85 c 56.8s| 1 | 0 |124310 | - | 156M| 0 | 794 |1000 | 37k|1000 |8664 | 18k| 0 | 0 |-3.362207e+02 |-5.100000e+01 | 84.83%
57.69/57.72 c 57.7s| 1 | 0 |125655 | - | 156M| 0 | 784 |1000 | 37k|1000 |8678 | 18k| 0 | 0 |-3.354596e+02 |-5.100000e+01 | 84.80%
58.70/58.78 c 58.8s| 1 | 0 |127760 | - | 157M| 0 | 805 |1000 | 37k|1000 |8733 | 18k| 0 | 0 |-3.348669e+02 |-5.100000e+01 | 84.77%
59.79/59.89 c 59.9s| 1 | 0 |129990 | - | 158M| 0 | 776 |1000 | 37k|1000 |8833 | 18k| 0 | 0 |-3.336225e+02 |-5.100000e+01 | 84.71%
60.79/60.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.79/60.82 c 60.8s| 1 | 0 |131765 | - | 161M| 0 | 806 |1000 | 37k|1000 |8845 | 19k| 0 | 0 |-3.329600e+02 |-5.100000e+01 | 84.68%
62.30/62.38 c 62.4s| 1 | 0 |134720 | - | 161M| 0 | 809 |1000 | 37k|1000 |8937 | 19k| 0 | 0 |-3.313175e+02 |-5.100000e+01 | 84.61%
63.81/63.83 c 63.8s| 1 | 0 |137500 | - | 161M| 0 | 802 |1000 | 37k|1000 |7419 | 19k| 0 | 0 |-3.296130e+02 |-5.100000e+01 | 84.53%
64.49/64.51 c 64.5s| 1 | 0 |138562 | - | 162M| 0 | 808 |1000 | 37k|1000 |7482 | 19k| 0 | 0 |-3.288760e+02 |-5.100000e+01 | 84.49%
65.80/65.84 c 65.8s| 1 | 0 |141632 | - | 165M| 0 | 803 |1000 | 37k|1000 |7497 | 19k| 0 | 0 |-3.275824e+02 |-5.100000e+01 | 84.43%
67.10/67.18 c 67.2s| 1 | 0 |144973 | - | 167M| 0 | 793 |1000 | 37k|1000 |7599 | 19k| 0 | 0 |-3.263133e+02 |-5.100000e+01 | 84.37%
68.60/68.62 c 68.6s| 1 | 0 |148244 | - | 168M| 0 | 797 |1000 | 37k|1000 |7744 | 19k| 0 | 0 |-3.252644e+02 |-5.100000e+01 | 84.32%
69.89/69.91 c 69.9s| 1 | 0 |150301 | - | 168M| 0 | 806 |1000 | 37k|1000 |7813 | 19k| 0 | 0 |-3.243800e+02 |-5.100000e+01 | 84.28%
71.09/71.18 c 71.2s| 1 | 0 |152230 | - | 168M| 0 | 812 |1000 | 37k|1000 |7533 | 19k| 0 | 0 |-3.236603e+02 |-5.100000e+01 | 84.24%
72.89/72.90 c 72.9s| 1 | 0 |156006 | - | 168M| 0 | 818 |1000 | 37k|1000 |7565 | 19k| 0 | 0 |-3.223483e+02 |-5.100000e+01 | 84.18%
74.39/74.50 c 74.5s| 1 | 0 |158843 | - | 168M| 0 | 811 |1000 | 37k|1000 |7719 | 19k| 0 | 0 |-3.212006e+02 |-5.100000e+01 | 84.12%
76.39/76.45 c 76.4s| 1 | 0 |163010 | - | 168M| 0 | 814 |1000 | 37k|1000 |7863 | 19k| 0 | 0 |-3.191280e+02 |-5.100000e+01 | 84.02%
77.99/78.09 c 78.1s| 1 | 0 |166122 | - | 169M| 0 | 817 |1000 | 37k|1000 |7975 | 20k| 0 | 0 |-3.180643e+02 |-5.100000e+01 | 83.97%
79.21/79.23 c 79.2s| 1 | 0 |168069 | - | 169M| 0 | 825 |1000 | 37k|1000 |7994 | 20k| 0 | 0 |-3.173293e+02 |-5.100000e+01 | 83.93%
80.79/80.88 c 80.9s| 1 | 0 |170624 | - | 169M| 0 | 822 |1000 | 37k|1000 |7781 | 20k| 0 | 0 |-3.168132e+02 |-5.100000e+01 | 83.90%
82.79/82.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.79/82.87 c 82.9s| 1 | 0 |173996 | - | 169M| 0 | 808 |1000 | 37k|1000 |7939 | 20k| 0 | 0 |-3.161543e+02 |-5.100000e+01 | 83.87%
84.59/84.68 c 84.7s| 1 | 0 |177276 | - | 169M| 0 | 832 |1000 | 37k|1000 |8010 | 20k| 0 | 0 |-3.150790e+02 |-5.100000e+01 | 83.81%
86.79/86.88 c 86.9s| 1 | 0 |180710 | - | 169M| 0 | 828 |1000 | 37k|1000 |8046 | 20k| 0 | 0 |-3.141073e+02 |-5.100000e+01 | 83.76%
88.69/88.79 c 88.8s| 1 | 0 |183871 | - | 169M| 0 | 819 |1000 | 37k|1000 |8116 | 20k| 0 | 0 |-3.131565e+02 |-5.100000e+01 | 83.71%
90.99/91.06 c 91.1s| 1 | 0 |187790 | - | 169M| 0 | 814 |1000 | 37k|1000 |8234 | 20k| 0 | 0 |-3.124964e+02 |-5.100000e+01 | 83.68%
92.89/92.97 c 93.0s| 1 | 0 |190991 | - | 169M| 0 | 822 |1000 | 37k|1000 |7889 | 20k| 0 | 0 |-3.116884e+02 |-5.100000e+01 | 83.64%
95.10/95.15 c 95.2s| 1 | 0 |194594 | - | 168M| 0 | 829 |1000 | 37k|1000 |7959 | 20k| 0 | 0 |-3.105935e+02 |-5.100000e+01 | 83.58%
96.99/97.08 c 97.1s| 1 | 0 |197710 | - | 167M| 0 | 834 |1000 | 37k|1000 |8052 | 20k| 0 | 0 |-3.093903e+02 |-5.100000e+01 | 83.52%
98.59/98.62 c 98.6s| 1 | 0 |199417 | - | 167M| 0 | 838 |1000 | 37k|1000 |8078 | 20k| 0 | 0 |-3.087396e+02 |-5.100000e+01 | 83.48%
101.59/101.67 c 102s| 1 | 0 |204986 | - | 167M| 0 | 830 |1000 | 37k|1000 |8247 | 21k| 0 | 0 |-3.074535e+02 |-5.100000e+01 | 83.41%
104.40/104.48 c 104s| 1 | 0 |210026 | - | 167M| 0 | 836 |1000 | 37k|1000 |8409 | 21k| 0 | 0 |-3.063190e+02 |-5.100000e+01 | 83.35%
106.99/107.02 c 107s| 1 | 0 |213772 | - | 167M| 0 | 841 |1000 | 37k|1000 |8089 | 21k| 0 | 0 |-3.053543e+02 |-5.100000e+01 | 83.30%
109.01/109.03 c 109s| 1 | 0 |216231 | - | 167M| 0 | 823 |1000 | 37k|1000 |8199 | 21k| 0 | 0 |-3.047484e+02 |-5.100000e+01 | 83.26%
111.40/111.46 c 111s| 1 | 0 |220363 | - | 167M| 0 | 840 |1000 | 37k|1000 |8249 | 21k| 0 | 0 |-3.039634e+02 |-5.100000e+01 | 83.22%
113.70/113.72 c 114s| 1 | 0 |223282 | - | 167M| 0 | 835 |1000 | 37k|1000 |8313 | 21k| 0 | 0 |-3.034248e+02 |-5.100000e+01 | 83.19%
115.62/115.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.62/115.63 c 116s| 1 | 0 |225765 | - | 167M| 0 | 845 |1000 | 37k|1000 |8323 | 21k| 0 | 0 |-3.029423e+02 |-5.100000e+01 | 83.17%
118.29/118.37 c 118s| 1 | 0 |229830 | - | 167M| 0 | 854 |1000 | 37k|1000 |8550 | 21k| 0 | 0 |-3.019722e+02 |-5.100000e+01 | 83.11%
121.30/121.30 c 121s| 1 | 0 |234931 | - | 167M| 0 | 842 |1000 | 37k|1000 |8355 | 21k| 0 | 0 |-3.012693e+02 |-5.100000e+01 | 83.07%
124.09/124.16 c 124s| 1 | 0 |239190 | - | 167M| 0 | 837 |1000 | 37k|1000 |8467 | 21k| 0 | 0 |-2.999519e+02 |-5.100000e+01 | 83.00%
126.20/126.21 c 126s| 1 | 0 |241446 | - | 167M| 0 | 831 |1000 | 37k|1000 |8484 | 21k| 0 | 0 |-2.991585e+02 |-5.100000e+01 | 82.95%
128.59/128.68 c 129s| 1 | 0 |245069 | - | 167M| 0 | 841 |1000 | 37k|1000 |8515 | 21k| 0 | 0 |-2.978312e+02 |-5.100000e+01 | 82.88%
131.10/131.14 c 131s| 1 | 0 |248711 | - | 167M| 0 | 845 |1000 | 37k|1000 |8600 | 22k| 0 | 0 |-2.966709e+02 |-5.100000e+01 | 82.81%
135.31/135.36 c 135s| 1 | 0 |256432 | - | 166M| 0 | 832 |1000 | 37k|1000 |8671 | 22k| 0 | 0 |-2.946122e+02 |-5.100000e+01 | 82.69%
139.00/139.00 c 139s| 1 | 0 |263351 | - | 166M| 0 | 832 |1000 | 37k|1000 |8424 | 22k| 0 | 0 |-2.939162e+02 |-5.100000e+01 | 82.65%
141.09/141.17 c 141s| 1 | 0 |266288 | - | 166M| 0 | 835 |1000 | 37k|1000 |8460 | 22k| 0 | 0 |-2.931785e+02 |-5.100000e+01 | 82.60%
143.30/143.30 c 143s| 1 | 0 |269069 | - | 166M| 0 | 844 |1000 | 37k|1000 |8478 | 22k| 0 | 0 |-2.925805e+02 |-5.100000e+01 | 82.57%
145.80/145.88 c 146s| 1 | 0 |272961 | - | 165M| 0 | 852 |1000 | 37k|1000 |8493 | 22k| 0 | 0 |-2.917215e+02 |-5.100000e+01 | 82.52%
149.00/149.08 c 149s| 1 | 0 |278088 | - | 165M| 0 | 843 |1000 | 37k|1000 |8607 | 22k| 0 | 0 |-2.905950e+02 |-5.100000e+01 | 82.45%
151.00/151.05 c 151s| 1 | 0 |280097 | - | 165M| 0 | 856 |1000 | 37k|1000 |8638 | 22k| 0 | 0 |-2.900360e+02 |-5.100000e+01 | 82.42%
153.59/153.66 c 154s| 1 | 0 |282952 | - | 165M| 0 | 849 |1000 | 37k|1000 |8397 | 22k| 0 | 0 |-2.892590e+02 |-5.100000e+01 | 82.37%
156.60/156.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.60/156.67 c 157s| 1 | 0 |287325 | - | 165M| 0 | 855 |1000 | 37k|1000 |8429 | 22k| 0 | 0 |-2.885703e+02 |-5.100000e+01 | 82.33%
159.29/159.34 c 159s| 1 | 0 |290117 | - | 164M| 0 | 871 |1000 | 37k|1000 |8491 | 22k| 0 | 0 |-2.879788e+02 |-5.100000e+01 | 82.29%
163.00/163.03 c 163s| 1 | 0 |294790 | - | 164M| 0 | 873 |1000 | 37k|1000 |8579 | 22k| 0 | 0 |-2.874490e+02 |-5.100000e+01 | 82.26%
167.10/167.16 c 167s| 1 | 0 |300616 | - | 164M| 0 | 886 |1000 | 37k|1000 |8618 | 22k| 0 | 0 |-2.864572e+02 |-5.100000e+01 | 82.20%
171.09/171.19 c 171s| 1 | 0 |303734 | - | 164M| 0 | 867 |1000 | 37k|1000 |8899 | 22k| 0 | 0 |-2.858821e+02 |-5.100000e+01 | 82.16%
175.30/175.39 c 175s| 1 | 0 |309289 | - | 164M| 0 | 879 |1000 | 37k|1000 |8760 | 22k| 0 | 0 |-2.849322e+02 |-5.100000e+01 | 82.10%
179.00/179.00 c 179s| 1 | 0 |312953 | - | 164M| 0 | 877 |1000 | 37k|1000 |8798 | 23k| 0 | 0 |-2.839931e+02 |-5.100000e+01 | 82.04%
182.80/182.82 c 183s| 1 | 0 |316384 | - | 164M| 0 | 882 |1000 | 37k|1000 |8872 | 23k| 0 | 0 |-2.834942e+02 |-5.100000e+01 | 82.01%
186.70/186.78 c 187s| 1 | 0 |320076 | - | 164M| 0 | 885 |1000 | 37k|1000 |8937 | 23k| 0 | 0 |-2.828176e+02 |-5.100000e+01 | 81.97%
190.70/190.78 c 191s| 1 | 0 |323216 | - | 164M| 0 | 880 |1000 | 37k|1000 |8995 | 23k| 0 | 0 |-2.821484e+02 |-5.100000e+01 | 81.92%
195.40/195.42 c 195s| 1 | 0 |328815 | - | 164M| 0 | 872 |1000 | 37k|1000 |9034 | 23k| 0 | 0 |-2.812143e+02 |-5.100000e+01 | 81.86%
201.19/201.30 c 201s| 1 | 0 |337459 | - | 163M| 0 | 870 |1000 | 37k|1000 |8971 | 23k| 0 | 0 |-2.797464e+02 |-5.100000e+01 | 81.77%
204.90/204.94 c 205s| 1 | 0 |340517 | - | 163M| 0 | 874 |1000 | 37k|1000 |9027 | 23k| 0 | 0 |-2.789439e+02 |-5.100000e+01 | 81.72%
208.89/208.94 c 209s| 1 | 0 |344943 | - | 163M| 0 | 869 |1000 | 37k|1000 |9051 | 23k| 0 | 0 |-2.780387e+02 |-5.100000e+01 | 81.66%
211.90/211.94 c 212s| 1 | 0 |347554 | - | 163M| 0 | 872 |1000 | 37k|1000 |9061 | 23k| 0 | 0 |-2.772952e+02 |-5.100000e+01 | 81.61%
216.60/216.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.60/216.63 c 217s| 1 | 0 |354021 | - | 163M| 0 | 869 |1000 | 37k|1000 |9095 | 23k| 0 | 0 |-2.762110e+02 |-5.100000e+01 | 81.54%
220.50/220.56 c 221s| 1 | 0 |357791 | - | 162M| 0 | 874 |1000 | 37k|1000 |9153 | 23k| 0 | 0 |-2.754529e+02 |-5.100000e+01 | 81.49%
225.30/225.33 c 225s| 1 | 0 |362929 | - | 162M| 0 | 888 |1000 | 37k|1000 |8931 | 23k| 0 | 0 |-2.741887e+02 |-5.100000e+01 | 81.40%
229.50/229.57 c 230s| 1 | 0 |366920 | - | 162M| 0 | 881 |1000 | 37k|1000 |9009 | 23k| 0 | 0 |-2.736242e+02 |-5.100000e+01 | 81.36%
234.50/234.56 c 235s| 1 | 0 |372623 | - | 162M| 0 | 889 |1000 | 37k|1000 |9093 | 23k| 0 | 0 |-2.726440e+02 |-5.100000e+01 | 81.29%
239.70/239.79 c 240s| 1 | 0 |378026 | - | 162M| 0 | 892 |1000 | 37k|1000 |9154 | 23k| 0 | 0 |-2.720824e+02 |-5.100000e+01 | 81.26%
245.20/245.30 c 245s| 1 | 0 |383808 | - | 162M| 0 | 888 |1000 | 37k|1000 |9231 | 23k| 0 | 0 |-2.715538e+02 |-5.100000e+01 | 81.22%
249.59/249.68 c 250s| 1 | 0 |387273 | - | 161M| 0 | 889 |1000 | 37k|1000 |9277 | 23k| 0 | 0 |-2.709284e+02 |-5.100000e+01 | 81.18%
255.40/255.41 c 255s| 1 | 0 |394126 | - | 160M| 0 | 890 |1000 | 37k|1000 |9155 | 23k| 0 | 0 |-2.703724e+02 |-5.100000e+01 | 81.14%
261.50/261.56 c 262s| 1 | 0 |400970 | - | 160M| 0 | 902 |1000 | 37k|1000 |9245 | 24k| 0 | 0 |-2.695664e+02 |-5.100000e+01 | 81.08%
266.70/266.75 c 267s| 1 | 0 |405434 | - | 160M| 0 | 897 |1000 | 37k|1000 |9373 | 24k| 0 | 0 |-2.688199e+02 |-5.100000e+01 | 81.03%
271.40/271.41 c 271s| 1 | 0 |409145 | - | 160M| 0 | 909 |1000 | 37k|1000 |9419 | 24k| 0 | 0 |-2.682850e+02 |-5.100000e+01 | 80.99%
276.40/276.41 c 276s| 1 | 0 |412765 | - | 159M| 0 | 914 |1000 | 37k|1000 |9502 | 24k| 0 | 0 |-2.678173e+02 |-5.100000e+01 | 80.96%
281.10/281.11 c 281s| 1 | 0 |415835 | - | 159M| 0 | 905 |1000 | 37k|1000 |9529 | 24k| 0 | 0 |-2.673538e+02 |-5.100000e+01 | 80.92%
286.01/286.05 c 286s| 1 | 0 |419671 | - | 159M| 0 | 917 |1000 | 37k|1000 |9377 | 24k| 0 | 0 |-2.669119e+02 |-5.100000e+01 | 80.89%
290.70/290.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.70/290.71 c 291s| 1 | 0 |422395 | - | 158M| 0 | 912 |1000 | 37k|1000 |9439 | 24k| 0 | 0 |-2.664324e+02 |-5.100000e+01 | 80.86%
295.92/295.99 c 296s| 1 | 0 |426622 | - | 158M| 0 | 918 |1000 | 37k|1000 |9491 | 24k| 0 | 0 |-2.659336e+02 |-5.100000e+01 | 80.82%
300.60/300.63 c 301s| 1 | 0 |429631 | - | 157M| 0 | 923 |1000 | 37k|1000 |9583 | 24k| 0 | 0 |-2.655387e+02 |-5.100000e+01 | 80.79%
305.30/305.38 c 305s| 1 | 0 |432307 | - | 157M| 0 | 925 |1000 | 37k|1000 |9618 | 24k| 0 | 0 |-2.650685e+02 |-5.100000e+01 | 80.76%
309.80/309.86 c 310s| 1 | 0 |434507 | - | 157M| 0 | 924 |1000 | 37k|1000 |9685 | 24k| 0 | 0 |-2.647653e+02 |-5.100000e+01 | 80.74%
316.30/316.39 c 316s| 1 | 0 |441204 | - | 156M| 0 | 921 |1000 | 37k|1000 |9515 | 24k| 0 | 0 |-2.641286e+02 |-5.100000e+01 | 80.69%
321.70/321.78 c 322s| 1 | 0 |445387 | - | 156M| 0 | 924 |1000 | 37k|1000 |9548 | 24k| 0 | 0 |-2.635438e+02 |-5.100000e+01 | 80.65%
327.20/327.28 c 327s| 1 | 0 |449387 | - | 155M| 0 | 925 |1000 | 37k|1000 |9631 | 24k| 0 | 0 |-2.630944e+02 |-5.100000e+01 | 80.62%
332.10/332.20 c 332s| 1 | 0 |452419 | - | 154M| 0 | 919 |1000 | 37k|1000 |9682 | 24k| 0 | 0 |-2.626962e+02 |-5.100000e+01 | 80.59%
337.00/337.04 c 337s| 1 | 0 |455131 | - | 153M| 0 | 935 |1000 | 37k|1000 |9711 | 24k| 0 | 0 |-2.623618e+02 |-5.100000e+01 | 80.56%
342.81/342.84 c 343s| 1 | 0 |460077 | - | 153M| 0 | 934 |1000 | 37k|1000 |9749 | 24k| 0 | 0 |-2.618560e+02 |-5.100000e+01 | 80.52%
347.80/347.85 c 348s| 1 | 0 |463045 | - | 152M| 0 | 933 |1000 | 37k|1000 |9648 | 24k| 0 | 0 |-2.615799e+02 |-5.100000e+01 | 80.50%
353.40/353.42 c 353s| 1 | 0 |467042 | - | 152M| 0 | 921 |1000 | 37k|1000 |9663 | 24k| 0 | 0 |-2.610651e+02 |-5.100000e+01 | 80.46%
358.50/358.52 c 359s| 1 | 0 |470227 | - | 152M| 0 | 924 |1000 | 37k|1000 |9724 | 25k| 0 | 0 |-2.607119e+02 |-5.100000e+01 | 80.44%
362.91/362.97 c 363s| 1 | 0 |472094 | - | 151M| 0 | 924 |1000 | 37k|1000 |9748 | 25k| 0 | 0 |-2.604713e+02 |-5.100000e+01 | 80.42%
368.40/368.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.40/368.48 c 368s| 1 | 0 |475722 | - | 150M| 0 | 933 |1000 | 37k|1000 |9773 | 25k| 0 | 0 |-2.599834e+02 |-5.100000e+01 | 80.38%
372.92/373.01 c 373s| 1 | 0 |477389 | - | 149M| 0 | 938 |1000 | 37k|1000 |9832 | 25k| 0 | 0 |-2.597173e+02 |-5.100000e+01 | 80.36%
378.80/378.82 c 379s| 1 | 0 |481318 | - | 149M| 0 | 936 |1000 | 37k|1000 |9676 | 25k| 0 | 0 |-2.594089e+02 |-5.100000e+01 | 80.34%
384.02/384.06 c 384s| 1 | 0 |484637 | - | 148M| 0 | 932 |1000 | 37k|1000 |9712 | 25k| 0 | 0 |-2.590521e+02 |-5.100000e+01 | 80.31%
389.10/389.13 c 389s| 1 | 0 |487705 | - | 146M| 0 | 939 |1000 | 37k|1000 |9744 | 25k| 0 | 0 |-2.587738e+02 |-5.100000e+01 | 80.29%
393.50/393.50 c 393s| 1 | 0 |489121 | - | 145M| 0 | 931 |1000 | 37k|1000 |9773 | 25k| 0 | 0 |-2.586055e+02 |-5.100000e+01 | 80.28%
399.42/399.42 c 399s| 1 | 0 |493679 | - | 145M| 0 | 941 |1000 | 37k|1000 |9798 | 25k| 0 | 0 |-2.582115e+02 |-5.100000e+01 | 80.25%
404.93/404.92 c 405s| 1 | 0 |497272 | - | 143M| 0 | 946 |1000 | 37k|1000 |9828 | 25k| 0 | 0 |-2.578125e+02 |-5.100000e+01 | 80.22%
409.70/409.79 c 410s| 1 | 0 |499300 | - | 141M| 0 | 951 |1000 | 37k|1000 |9782 | 25k| 0 | 0 |-2.575202e+02 |-5.100000e+01 | 80.20%
415.61/415.67 c 416s| 1 | 0 |503352 | - | 141M| 0 | 952 |1000 | 37k|1000 |9823 | 25k| 0 | 0 |-2.570097e+02 |-5.100000e+01 | 80.16%
420.61/420.61 c 421s| 1 | 0 |505753 | - | 139M| 0 | 950 |1000 | 37k|1000 |9862 | 25k| 0 | 0 |-2.567145e+02 |-5.100000e+01 | 80.13%
425.60/425.66 c 426s| 1 | 0 |508176 | - | 138M| 0 | 942 |1000 | 37k|1000 |9885 | 25k| 0 | 0 |-2.564282e+02 |-5.100000e+01 | 80.11%
430.12/430.18 c 430s| 1 | 0 |509606 | - | 135M| 0 | 949 |1000 | 37k|1000 |9919 | 25k| 0 | 0 |-2.561818e+02 |-5.100000e+01 | 80.09%
435.50/435.53 c 436s| 1 | 0 |512309 | - | 135M| 0 | 954 |1000 | 37k|1000 |9948 | 25k| 0 | 0 |-2.558555e+02 |-5.100000e+01 | 80.07%
440.50/440.57 c 441s| 1 | 0 |514298 | - | 134M| 0 | 954 |1000 | 37k|1000 |9880 | 25k| 0 | 0 |-2.556380e+02 |-5.100000e+01 | 80.05%
445.21/445.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.21/445.28 c 445s| 1 | 0 |515982 | - | 134M| 0 | 951 |1000 | 37k|1000 |9895 | 25k| 0 | 0 |-2.553660e+02 |-5.100000e+01 | 80.03%
450.21/450.23 c 450s| 1 | 0 |518178 | - | 130M| 0 | 960 |1000 | 37k|1000 |9928 | 25k| 0 | 0 |-2.550923e+02 |-5.100000e+01 | 80.01%
454.80/454.84 c 455s| 1 | 0 |519533 | - | 129M| 0 | 955 |1000 | 37k|1000 |9957 | 25k| 0 | 0 |-2.548405e+02 |-5.100000e+01 | 79.99%
459.61/459.69 c 460s| 1 | 0 |521157 | - | 128M| 0 | 961 |1000 | 37k|1000 |9979 | 25k| 0 | 0 |-2.546736e+02 |-5.100000e+01 | 79.97%
464.61/464.69 c 465s| 1 | 0 |523235 | - | 128M| 0 | 950 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.544203e+02 |-5.100000e+01 | 79.95%
469.41/469.46 c 469s| 1 | 0 |524684 | - | 128M| 0 | 967 |1000 | 37k|1000 |9897 | 25k| 0 | 0 |-2.542549e+02 |-5.100000e+01 | 79.94%
473.91/473.92 c 474s| 1 | 0 |525564 | - | 128M| 0 | 968 |1000 | 37k|1000 |9915 | 25k| 0 | 0 |-2.540833e+02 |-5.100000e+01 | 79.93%
478.91/478.90 c 479s| 1 | 0 |527371 | - | 128M| 0 | 967 |1000 | 37k|1000 |9930 | 25k| 0 | 0 |-2.538658e+02 |-5.100000e+01 | 79.91%
483.60/483.64 c 484s| 1 | 0 |528759 | - | 128M| 0 | 974 |1000 | 37k|1000 |9949 | 25k| 0 | 0 |-2.536489e+02 |-5.100000e+01 | 79.89%
488.30/488.37 c 488s| 1 | 0 |530102 | - | 128M| 0 | 973 |1000 | 37k|1000 |9964 | 25k| 0 | 0 |-2.534590e+02 |-5.100000e+01 | 79.88%
492.71/492.71 c 493s| 1 | 0 |530897 | - | 127M| 0 | 973 |1000 | 37k|1000 |9989 | 25k| 0 | 0 |-2.533341e+02 |-5.100000e+01 | 79.87%
497.41/497.48 c 497s| 1 | 0 |532228 | - | 127M| 0 | 973 |1000 | 37k|1000 |9905 | 25k| 0 | 0 |-2.531613e+02 |-5.100000e+01 | 79.85%
502.51/502.58 c 503s| 1 | 0 |534140 | - | 127M| 0 | 972 |1000 | 37k|1000 |9926 | 25k| 0 | 0 |-2.529006e+02 |-5.100000e+01 | 79.83%
507.23/507.29 c 507s| 1 | 0 |535307 | - | 127M| 0 | 977 |1000 | 37k|1000 |9944 | 25k| 0 | 0 |-2.526790e+02 |-5.100000e+01 | 79.82%
511.90/511.99 c 512s| 1 | 0 |536638 | - | 127M| 0 | 978 |1000 | 37k|1000 |9955 | 25k| 0 | 0 |-2.524575e+02 |-5.100000e+01 | 79.80%
516.71/516.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.71/516.74 c 517s| 1 | 0 |537858 | - | 127M| 0 | 977 |1000 | 37k|1000 |9968 | 25k| 0 | 0 |-2.522353e+02 |-5.100000e+01 | 79.78%
521.61/521.69 c 522s| 1 | 0 |539483 | - | 127M| 0 | 979 |1000 | 37k|1000 |9989 | 25k| 0 | 0 |-2.520340e+02 |-5.100000e+01 | 79.76%
526.60/526.67 c 527s| 1 | 0 |541185 | - | 127M| 0 | 975 |1000 | 37k|1000 |9920 | 25k| 0 | 0 |-2.517482e+02 |-5.100000e+01 | 79.74%
530.81/530.87 c 531s| 1 | 0 |541684 | - | 127M| 0 | 981 |1000 | 37k|1000 |9929 | 25k| 0 | 0 |-2.516868e+02 |-5.100000e+01 | 79.74%
535.83/535.88 c 536s| 1 | 0 |543404 | - | 127M| 0 | 975 |1000 | 37k|1000 |9941 | 25k| 0 | 0 |-2.514415e+02 |-5.100000e+01 | 79.72%
540.41/540.42 c 540s| 1 | 0 |544340 | - | 127M| 0 | 978 |1000 | 37k|1000 |9960 | 25k| 0 | 0 |-2.513358e+02 |-5.100000e+01 | 79.71%
545.62/545.64 c 546s| 1 | 0 |546236 | - | 127M| 0 | 981 |1000 | 37k|1000 |9981 | 25k| 0 | 0 |-2.511886e+02 |-5.100000e+01 | 79.70%
550.41/550.49 c 550s| 1 | 0 |547672 | - | 127M| 0 | 981 |1000 | 37k|1000 |9999 | 26k| 0 | 0 |-2.510135e+02 |-5.100000e+01 | 79.68%
555.31/555.37 c 555s| 1 | 0 |548956 | - | 127M| 0 | 976 |1000 | 37k|1000 |9961 | 26k| 0 | 0 |-2.507646e+02 |-5.100000e+01 | 79.66%
560.41/560.45 c 560s| 1 | 0 |550683 | - | 127M| 0 | 978 |1000 | 37k|1000 |9974 | 26k| 0 | 0 |-2.505009e+02 |-5.100000e+01 | 79.64%
565.21/565.23 c 565s| 1 | 0 |551720 | - | 127M| 0 | 975 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.503356e+02 |-5.100000e+01 | 79.63%
569.93/569.94 c 570s| 1 | 0 |552828 | - | 127M| 0 | 981 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.502600e+02 |-5.100000e+01 | 79.62%
574.33/574.39 c 574s| 1 | 0 |553490 | - | 127M| 0 | 981 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.501940e+02 |-5.100000e+01 | 79.62%
579.11/579.15 c 579s| 1 | 0 |554577 | - | 127M| 0 | 982 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.499813e+02 |-5.100000e+01 | 79.60%
584.01/584.02 c 584s| 1 | 0 |555734 | - | 127M| 0 | 980 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.497965e+02 |-5.100000e+01 | 79.58%
588.63/588.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
588.63/588.68 c 589s| 1 | 0 |556759 | - | 127M| 0 | 977 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.496802e+02 |-5.100000e+01 | 79.57%
593.11/593.18 c 593s| 1 | 0 |557454 | - | 127M| 0 | 985 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.495477e+02 |-5.100000e+01 | 79.56%
598.01/598.06 c 598s| 1 | 0 |558882 | - | 127M| 0 | 985 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.493040e+02 |-5.100000e+01 | 79.54%
603.01/603.04 c 603s| 1 | 0 |560139 | - | 127M| 0 | 983 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.491502e+02 |-5.100000e+01 | 79.53%
607.71/607.77 c 608s| 1 | 0 |561159 | - | 127M| 0 | 987 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.490390e+02 |-5.100000e+01 | 79.52%
612.51/612.57 c 613s| 1 | 0 |562145 | - | 127M| 0 | 988 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.489166e+02 |-5.100000e+01 | 79.51%
617.24/617.24 c 617s| 1 | 0 |563263 | - | 127M| 0 | 982 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.487644e+02 |-5.100000e+01 | 79.50%
622.01/622.08 c 622s| 1 | 0 |564499 | - | 127M| 0 | 979 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.485710e+02 |-5.100000e+01 | 79.48%
626.31/626.38 c 626s| 1 | 0 |564848 | - | 127M| 0 | 980 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.485404e+02 |-5.100000e+01 | 79.48%
631.21/631.25 c 631s| 1 | 0 |566126 | - | 127M| 0 | 990 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.484099e+02 |-5.100000e+01 | 79.47%
636.11/636.17 c 636s| 1 | 0 |567311 | - | 126M| 0 | 984 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.483105e+02 |-5.100000e+01 | 79.46%
641.21/641.21 c 641s| 1 | 0 |568517 | - | 126M| 0 | 980 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.481429e+02 |-5.100000e+01 | 79.45%
646.21/646.20 c 646s| 1 | 0 |570082 | - | 126M| 0 | 985 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.479639e+02 |-5.100000e+01 | 79.43%
651.11/651.12 c 651s| 1 | 0 |571271 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.479025e+02 |-5.100000e+01 | 79.43%
655.73/655.77 c 656s| 1 | 0 |572188 | - | 126M| 0 | 990 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.478229e+02 |-5.100000e+01 | 79.42%
660.81/660.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.81/660.85 c 661s| 1 | 0 |573583 | - | 126M| 0 | 989 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.476679e+02 |-5.100000e+01 | 79.41%
665.52/665.60 c 666s| 1 | 0 |574453 | - | 126M| 0 | 990 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.475508e+02 |-5.100000e+01 | 79.40%
671.71/671.75 c 672s| 1 | 0 |577210 | - | 126M| 0 | 991 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.472920e+02 |-5.100000e+01 | 79.38%
676.71/676.75 c 677s| 1 | 0 |578347 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.471472e+02 |-5.100000e+01 | 79.36%
681.32/681.35 c 681s| 1 | 0 |578887 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.471003e+02 |-5.100000e+01 | 79.36%
686.21/686.27 c 686s| 1 | 0 |579781 | - | 126M| 0 | 995 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.470025e+02 |-5.100000e+01 | 79.35%
691.81/691.89 c 692s| 1 | 0 |581765 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.468039e+02 |-5.100000e+01 | 79.34%
696.81/696.85 c 697s| 1 | 0 |582783 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.467064e+02 |-5.100000e+01 | 79.33%
701.83/701.89 c 702s| 1 | 0 |583967 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.465666e+02 |-5.100000e+01 | 79.32%
706.61/706.69 c 707s| 1 | 0 |584988 | - | 126M| 0 | 989 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.464407e+02 |-5.100000e+01 | 79.31%
711.42/711.43 c 711s| 1 | 0 |585712 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.463414e+02 |-5.100000e+01 | 79.30%
716.24/716.25 c 716s| 1 | 0 |586440 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.462159e+02 |-5.100000e+01 | 79.29%
720.91/720.90 c 721s| 1 | 0 |586899 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.461651e+02 |-5.100000e+01 | 79.28%
725.61/725.66 c 726s| 1 | 0 |587429 | - | 126M| 0 | 993 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.460757e+02 |-5.100000e+01 | 79.27%
730.62/730.61 c 731s| 1 | 0 |588268 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.459685e+02 |-5.100000e+01 | 79.27%
735.11/735.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.11/735.16 c 735s| 1 | 0 |588774 | - | 126M| 0 | 995 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.458846e+02 |-5.100000e+01 | 79.26%
740.01/740.02 c 740s| 1 | 0 |589823 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.457281e+02 |-5.100000e+01 | 79.25%
745.11/745.15 c 745s| 1 | 0 |590989 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.456072e+02 |-5.100000e+01 | 79.24%
750.41/750.46 c 750s| 1 | 0 |592361 | - | 126M| 0 | 992 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.454539e+02 |-5.100000e+01 | 79.22%
755.73/755.78 c 756s| 1 | 0 |593785 | - | 126M| 0 | 997 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.452772e+02 |-5.100000e+01 | 79.21%
761.11/761.13 c 761s| 1 | 0 |595052 | - | 126M| 0 | 997 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.451490e+02 |-5.100000e+01 | 79.20%
765.81/765.85 c 766s| 1 | 0 |595833 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.450664e+02 |-5.100000e+01 | 79.19%
770.41/770.40 c 770s| 1 | 0 |596297 | - | 126M| 0 | 997 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.450313e+02 |-5.100000e+01 | 79.19%
775.41/775.46 c 775s| 1 | 0 |597153 | - | 126M| 0 | 997 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.449180e+02 |-5.100000e+01 | 79.18%
780.41/780.49 c 780s| 1 | 0 |597897 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.448537e+02 |-5.100000e+01 | 79.17%
785.21/785.29 c 785s| 1 | 0 |598451 | - | 126M| 0 | 994 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.447953e+02 |-5.100000e+01 | 79.17%
790.31/790.37 c 790s| 1 | 0 |599352 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.447190e+02 |-5.100000e+01 | 79.16%
795.02/795.06 c 795s| 1 | 0 |599920 | - | 126M| 0 | 995 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.446586e+02 |-5.100000e+01 | 79.15%
800.32/800.31 c 800s| 1 | 0 |600907 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.444936e+02 |-5.100000e+01 | 79.14%
805.02/805.02 c 805s| 1 | 0 |601445 | - | 126M| 0 | 996 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.444422e+02 |-5.100000e+01 | 79.14%
809.92/809.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.92/809.98 c 810s| 1 | 0 |602427 | - | 126M| 0 | 997 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.443579e+02 |-5.100000e+01 | 79.13%
814.82/814.80 c 815s| 1 | 0 |602956 | - | 126M| 0 | 995 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.443116e+02 |-5.100000e+01 | 79.13%
819.72/819.75 c 820s| 1 | 0 |603700 | - | 126M| 0 | 997 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.442498e+02 |-5.100000e+01 | 79.12%
824.62/824.70 c 825s| 1 | 0 |604462 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.441698e+02 |-5.100000e+01 | 79.11%
830.12/830.15 c 830s| 1 | 0 |605869 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.440520e+02 |-5.100000e+01 | 79.10%
834.82/834.80 c 835s| 1 | 0 |606268 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.440072e+02 |-5.100000e+01 | 79.10%
839.62/839.66 c 840s| 1 | 0 |607088 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.439226e+02 |-5.100000e+01 | 79.09%
844.52/844.52 c 845s| 1 | 0 |607850 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.438358e+02 |-5.100000e+01 | 79.08%
849.61/849.66 c 850s| 1 | 0 |608969 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.437036e+02 |-5.100000e+01 | 79.07%
854.42/854.44 c 854s| 1 | 0 |609798 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.436148e+02 |-5.100000e+01 | 79.07%
859.14/859.15 c 859s| 1 | 0 |610325 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.435741e+02 |-5.100000e+01 | 79.06%
863.92/863.97 c 864s| 1 | 0 |610930 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.435388e+02 |-5.100000e+01 | 79.06%
868.82/868.83 c 869s| 1 | 0 |611652 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.434859e+02 |-5.100000e+01 | 79.05%
873.81/873.82 c 874s| 1 | 0 |612479 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.433962e+02 |-5.100000e+01 | 79.05%
878.93/879.00 c 879s| 1 | 0 |613309 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.433464e+02 |-5.100000e+01 | 79.04%
883.72/883.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.72/883.71 c 884s| 1 | 0 |613880 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.433021e+02 |-5.100000e+01 | 79.04%
888.72/888.74 c 889s| 1 | 0 |614862 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.432403e+02 |-5.100000e+01 | 79.03%
893.72/893.76 c 894s| 1 | 0 |615760 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.431526e+02 |-5.100000e+01 | 79.03%
898.31/898.37 c 898s| 1 | 0 |616084 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.431304e+02 |-5.100000e+01 | 79.02%
903.24/903.27 c 903s| 1 | 0 |616617 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.430879e+02 |-5.100000e+01 | 79.02%
908.32/908.33 c 908s| 1 | 0 |617422 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.430290e+02 |-5.100000e+01 | 79.01%
913.14/913.16 c 913s| 1 | 0 |618138 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.429756e+02 |-5.100000e+01 | 79.01%
918.02/918.09 c 918s| 1 | 0 |619154 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.428918e+02 |-5.100000e+01 | 79.00%
922.72/922.75 c 923s| 1 | 0 |619743 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.428579e+02 |-5.100000e+01 | 79.00%
928.12/928.13 c 928s| 1 | 0 |621082 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.427725e+02 |-5.100000e+01 | 78.99%
933.02/933.06 c 933s| 1 | 0 |621793 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.427237e+02 |-5.100000e+01 | 78.99%
938.33/938.37 c 938s| 1 | 0 |622894 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.426757e+02 |-5.100000e+01 | 78.98%
943.42/943.47 c 943s| 1 | 0 |623798 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.426219e+02 |-5.100000e+01 | 78.98%
948.52/948.54 c 949s| 1 | 0 |624641 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.425751e+02 |-5.100000e+01 | 78.98%
953.92/953.99 c 954s| 1 | 0 |626027 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.424303e+02 |-5.100000e+01 | 78.96%
959.24/959.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.24/959.27 c 959s| 1 | 0 |627215 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.423651e+02 |-5.100000e+01 | 78.96%
964.85/964.85 c 965s| 1 | 0 |628931 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.422785e+02 |-5.100000e+01 | 78.95%
969.92/969.98 c 970s| 1 | 0 |629863 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.422145e+02 |-5.100000e+01 | 78.94%
974.82/974.86 c 975s| 1 | 0 |630706 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.421706e+02 |-5.100000e+01 | 78.94%
979.52/979.58 c 980s| 1 | 0 |631136 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.421477e+02 |-5.100000e+01 | 78.94%
984.53/984.57 c 985s| 1 | 0 |631904 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.420999e+02 |-5.100000e+01 | 78.93%
989.63/989.67 c 990s| 1 | 0 |632879 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.420333e+02 |-5.100000e+01 | 78.93%
994.92/994.99 c 995s| 1 | 0 |634169 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.419475e+02 |-5.100000e+01 | 78.92%
999.72/999.77 c 1000s| 1 | 0 |634727 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.419133e+02 |-5.100000e+01 | 78.92%
1004.82/1004.89 c 1005s| 1 | 0 |635682 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.418598e+02 |-5.100000e+01 | 78.91%
1009.83/1009.87 c 1010s| 1 | 0 |636439 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.418268e+02 |-5.100000e+01 | 78.91%
1014.92/1014.91 c 1015s| 1 | 0 |637459 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.417902e+02 |-5.100000e+01 | 78.91%
1019.92/1019.91 c 1020s| 1 | 0 |638302 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.417518e+02 |-5.100000e+01 | 78.90%
1024.82/1024.88 c 1025s| 1 | 0 |639256 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.417109e+02 |-5.100000e+01 | 78.90%
1029.63/1029.70 c 1030s| 1 | 0 |640003 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.416772e+02 |-5.100000e+01 | 78.90%
1034.62/1034.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1034.62/1034.66 c 1035s| 1 | 0 |641125 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.416378e+02 |-5.100000e+01 | 78.89%
1039.83/1039.85 c 1040s| 1 | 0 |642156 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.415955e+02 |-5.100000e+01 | 78.89%
1044.72/1044.70 c 1045s| 1 | 0 |642879 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.415635e+02 |-5.100000e+01 | 78.89%
1049.44/1049.47 c 1049s| 1 | 0 |643465 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.415439e+02 |-5.100000e+01 | 78.89%
1054.23/1054.28 c 1054s| 1 | 0 |644155 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.415238e+02 |-5.100000e+01 | 78.88%
1059.13/1059.14 c 1059s| 1 | 0 |644954 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.415006e+02 |-5.100000e+01 | 78.88%
1064.23/1064.23 c 1064s| 1 | 0 |646304 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.414585e+02 |-5.100000e+01 | 78.88%
1069.02/1069.06 c 1069s| 1 | 0 |647028 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.414420e+02 |-5.100000e+01 | 78.88%
1074.03/1074.05 c 1074s| 1 | 0 |648062 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.414125e+02 |-5.100000e+01 | 78.87%
1078.92/1078.93 c 1079s| 1 | 0 |648951 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.413754e+02 |-5.100000e+01 | 78.87%
1083.54/1083.57 c 1084s| 1 | 0 |649375 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.413603e+02 |-5.100000e+01 | 78.87%
1088.43/1088.47 c 1088s| 1 | 0 |650248 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.413365e+02 |-5.100000e+01 | 78.87%
1093.02/1093.09 c 1093s| 1 | 0 |650666 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.413203e+02 |-5.100000e+01 | 78.87%
1098.12/1098.14 c 1098s| 1 | 0 |651595 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.412951e+02 |-5.100000e+01 | 78.86%
1103.12/1103.10 c 1103s| 1 | 0 |652503 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.412682e+02 |-5.100000e+01 | 78.86%
1107.74/1107.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1107.74/1107.77 c 1108s| 1 | 0 |653140 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.412430e+02 |-5.100000e+01 | 78.86%
1112.25/1112.25 c 1112s| 1 | 0 |653530 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.412338e+02 |-5.100000e+01 | 78.86%
1117.23/1117.24 c 1117s| 1 | 0 |654582 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.412148e+02 |-5.100000e+01 | 78.86%
1121.82/1121.86 c 1122s| 1 | 0 |655154 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.411941e+02 |-5.100000e+01 | 78.86%
1126.54/1126.60 c 1127s| 1 | 0 |655897 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.411631e+02 |-5.100000e+01 | 78.85%
1131.63/1131.60 c 1132s| 1 | 0 |656946 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.411425e+02 |-5.100000e+01 | 78.85%
1136.34/1136.33 c 1136s| 1 | 0 |657694 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.411140e+02 |-5.100000e+01 | 78.85%
1141.12/1141.10 c 1141s| 1 | 0 |658308 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.410894e+02 |-5.100000e+01 | 78.85%
1146.02/1146.00 c 1146s| 1 | 0 |659415 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.410604e+02 |-5.100000e+01 | 78.84%
1150.64/1150.71 c 1151s| 1 | 0 |660240 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.410397e+02 |-5.100000e+01 | 78.84%
1155.52/1155.54 c 1156s| 1 | 0 |661085 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.410180e+02 |-5.100000e+01 | 78.84%
1160.02/1160.00 c 1160s| 1 | 0 |661547 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.410075e+02 |-5.100000e+01 | 78.84%
1164.53/1164.58 c 1165s| 1 | 0 |662142 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.409934e+02 |-5.100000e+01 | 78.84%
1169.34/1169.42 c 1169s| 1 | 0 |663199 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.409721e+02 |-5.100000e+01 | 78.84%
1174.03/1174.07 c 1174s| 1 | 0 |663839 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.409608e+02 |-5.100000e+01 | 78.83%
1178.92/1178.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1178.92/1178.90 c 1179s| 1 | 0 |664661 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.409468e+02 |-5.100000e+01 | 78.83%
1183.42/1183.49 c 1183s| 1 | 0 |665286 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.409330e+02 |-5.100000e+01 | 78.83%
1188.33/1188.34 c 1188s| 1 | 0 |666175 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.409135e+02 |-5.100000e+01 | 78.83%
1192.92/1192.98 c 1193s| 1 | 0 |667042 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.408926e+02 |-5.100000e+01 | 78.83%
1197.63/1197.69 c 1198s| 1 | 0 |668016 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.408781e+02 |-5.100000e+01 | 78.83%
1202.34/1202.42 c 1202s| 1 | 0 |668896 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.408665e+02 |-5.100000e+01 | 78.83%
1207.13/1207.19 c 1207s| 1 | 0 |669958 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.408527e+02 |-5.100000e+01 | 78.83%
1211.83/1211.87 c 1212s| 1 | 0 |670771 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.408406e+02 |-5.100000e+01 | 78.82%
1216.33/1216.37 c 1216s| 1 | 0 |671603 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.408289e+02 |-5.100000e+01 | 78.82%
1220.83/1220.83 c 1221s| 1 | 0 |672369 | - | 126M| 0 |1000 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.408205e+02 |-5.100000e+01 | 78.82%
1225.13/1225.14 c 1225s| 1 | 0 |672768 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.408154e+02 |-5.100000e+01 | 78.82%
1229.63/1229.61 c 1230s| 1 | 0 |673441 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.408058e+02 |-5.100000e+01 | 78.82%
1234.13/1234.19 c 1234s| 1 | 0 |674281 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.407957e+02 |-5.100000e+01 | 78.82%
1238.64/1238.67 c 1239s| 1 | 0 |674854 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.407889e+02 |-5.100000e+01 | 78.82%
1243.04/1243.06 c 1243s| 1 | 0 |675529 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.407826e+02 |-5.100000e+01 | 78.82%
1247.55/1247.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1247.55/1247.59 c 1248s| 1 | 0 |676491 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.407770e+02 |-5.100000e+01 | 78.82%
1251.84/1251.90 c 1252s| 1 | 0 |677173 | - | 126M| 0 | 998 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.407740e+02 |-5.100000e+01 | 78.82%
1256.24/1256.30 c 1256s| 1 | 0 |677884 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.407694e+02 |-5.100000e+01 | 78.82%
1260.53/1260.58 c 1261s| 1 | 0 |678433 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.407663e+02 |-5.100000e+01 | 78.82%
1286.33/1286.31 c 1286s| 1 | 2 |678433 | - | 126M| 0 | 999 |1000 | 37k|1000 | 10k| 27k| 0 | 36 |-2.407663e+02 |-5.100000e+01 | 78.82%
1800.06/1800.02 c
1800.06/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.02 c Solving Time (sec) : 1800.02
1800.06/1800.02 c Solving Nodes : 292
1800.06/1800.02 c Primal Bound : -5.10000000000000e+01 (64 solutions)
1800.06/1800.02 c Dual Bound : -2.40204285382367e+02
1800.06/1800.02 c Gap : 78.77 %
1800.06/1800.07 s SATISFIABLE
1800.06/1800.07 v x1000 x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.06/1800.07 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.06/1800.07 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.06/1800.07 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1800.06/1800.07 v -x916 -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895
1800.06/1800.07 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1800.06/1800.07 v -x874 -x873 -x872 -x871 -x870 -x869 x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1800.06/1800.07 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1800.06/1800.07 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1800.06/1800.07 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1800.06/1800.07 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1800.06/1800.07 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1800.06/1800.07 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1800.06/1800.07 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1800.06/1800.07 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1800.06/1800.07 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
1800.06/1800.07 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 x648 -x647 -x646 -x645
1800.06/1800.07 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1800.06/1800.07 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1800.06/1800.07 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1800.06/1800.07 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
1800.06/1800.07 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1800.06/1800.07 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1800.06/1800.07 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1800.06/1800.07 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1800.06/1800.07 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
1800.06/1800.07 v x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1800.06/1800.07 v -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415
1800.06/1800.07 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394
1800.06/1800.07 v -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
1800.06/1800.07 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1800.06/1800.07 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1800.06/1800.07 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1800.06/1800.07 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1800.06/1800.07 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
1800.06/1800.07 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 x248 x247
1800.06/1800.07 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 x232 -x231 -x230 -x229 -x228 -x227 -x226
1800.06/1800.07 v x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1800.06/1800.07 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1800.06/1800.07 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1800.06/1800.07 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1800.06/1800.07 v -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1800.06/1800.07 v -x120 -x119 -x118 x117 -x116 x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99
1800.06/1800.07 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 x74
1800.06/1800.07 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 x48
1800.06/1800.07 v -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 x24 -x23 -x22
1800.06/1800.07 v x21 -x20 -x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 x7 -x6 x5 x4 x3 x2 x1
1800.06/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.07 c Total Time : 1800.02
1800.06/1800.07 c solving : 1800.02
1800.06/1800.07 c presolving : 0.85 (included in solving)
1800.06/1800.07 c reading : 0.21 (included in solving)
1800.06/1800.07 c Original Problem :
1800.06/1800.07 c Problem name : HOME/instance-3450647-1307104991.opb
1800.06/1800.07 c Variables : 38793 (38793 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.07 c Constraints : 39793 initial, 39793 maximal
1800.06/1800.07 c Presolved Problem :
1800.06/1800.07 c Problem name : t_HOME/instance-3450647-1307104991.opb
1800.06/1800.07 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.07 c Constraints : 37793 initial, 37793 maximal
1800.06/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.06/1800.07 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.07 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.07 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.07 c probing : 0.20 0 0 0 0 0 0 0 0 0
1800.06/1800.07 c and : 0.37 0 0 0 0 0 0 0 0 0
1800.06/1800.07 c linear : 0.10 37793 0 0 37793 0 1000 0 0 0
1800.06/1800.07 c logicor : 0.06 0 0 0 0 0 0 0 0 0
1800.06/1800.07 c pseudoboolean : 0.03 0 0 0 0 0 1000 0 0 0
1800.06/1800.07 c root node : - 0 - - 0 - - - - -
1800.06/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.06/1800.07 c integral : 0 0 0 292 0 7099 0 0 0 0 0 584
1800.06/1800.07 c logicor : 37793 360 1189 0 0 7095 0 0 13951 36017 0 0
1800.06/1800.07 c countsols : 0 0 0 0 0 66 0 0 0 0 0 0
1800.06/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.06/1800.07 c integral : 205.31 0.00 0.00 205.30 0.00 0.01 0.00
1800.06/1800.07 c logicor : 4.90 3.05 0.63 0.00 0.00 1.23 0.00
1800.06/1800.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.07 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.06/1800.07 c vbounds : 0 0 0 0
1800.06/1800.07 c rootredcost : 0 0 0 0
1800.06/1800.07 c pseudoobj : 7816 0 0 0
1800.06/1800.07 c Propagator Timings : TotalTime Propagate Resprop
1800.06/1800.07 c vbounds : 0.00 0.00 0.00
1800.06/1800.07 c rootredcost : 0.00 0.00 0.00
1800.06/1800.07 c pseudoobj : 0.13 0.13 0.00
1800.06/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.07 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.07 c applied globally : - - - 0 0.0 - - -
1800.06/1800.07 c applied locally : - - - 0 0.0 - - -
1800.06/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.07 c cut pool : 0.96 359 - - 5451 - (maximal pool size: 18711)
1800.06/1800.07 c redcost : 0.01 651 0 0 0 0
1800.06/1800.07 c impliedbounds : 0.49 358 0 0 30673 0
1800.06/1800.07 c intobj : 0.00 0 0 0 0 0
1800.06/1800.07 c gomory : 900.51 357 0 0 78818 0
1800.06/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.07 c closecuts : 0.00 0 0 0 0 0
1800.06/1800.07 c strongcg : 1.68 20 0 0 10000 0
1800.06/1800.07 c cmir : 1.50 10 0 0 0 0
1800.06/1800.07 c flowcover : 1.41 10 0 0 0 0
1800.06/1800.07 c clique : 15.49 357 0 0 3337 0
1800.06/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.07 c mcf : 0.06 1 0 0 0 0
1800.06/1800.07 c oddcycle : 0.00 0 0 0 0 0
1800.06/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.07 c Pricers : Time Calls Vars
1800.06/1800.07 c problem variables: 0.00 0 0
1800.06/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.07 c relpscost : 205.30 292 0 0 0 0 584
1800.06/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.07 c inference : 0.00 0 0 0 0 0 0
1800.06/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.07 c random : 0.00 0 0 0 0 0 0
1800.06/1800.07 c Primal Heuristics : Time Calls Found
1800.06/1800.07 c LP solutions : 0.00 - 0
1800.06/1800.07 c pseudo solutions : 0.00 - 0
1800.06/1800.07 c oneopt : 0.01 2 1
1800.06/1800.07 c crossover : 0.17 1 0
1800.06/1800.07 c objpscostdiving : 37.36 2 2
1800.06/1800.07 c rootsoldiving : 7.23 4 0
1800.06/1800.07 c fracdiving : 20.52 11 0
1800.06/1800.07 c veclendiving : 20.95 16 0
1800.06/1800.07 c trivial : 0.05 2 1
1800.06/1800.07 c shiftandpropagate: 0.00 0 0
1800.06/1800.07 c simplerounding : 1.35 652 58
1800.06/1800.07 c zirounding : 0.14 292 0
1800.06/1800.07 c rounding : 13.59 652 1
1800.06/1800.07 c shifting : 9.99 399 1
1800.06/1800.07 c intshifting : 0.00 0 0
1800.06/1800.07 c twoopt : 0.00 0 0
1800.06/1800.07 c fixandinfer : 0.00 0 0
1800.06/1800.07 c feaspump : 0.00 0 0
1800.06/1800.07 c clique : 0.00 0 0
1800.06/1800.07 c coefdiving : 18.95 12 0
1800.06/1800.07 c pscostdiving : 19.69 12 0
1800.06/1800.07 c intdiving : 0.00 0 0
1800.06/1800.07 c actconsdiving : 0.00 0 0
1800.06/1800.07 c linesearchdiving : 19.81 11 0
1800.06/1800.07 c guideddiving : 17.98 12 0
1800.06/1800.07 c octane : 0.00 0 0
1800.06/1800.07 c rens : 0.07 0 0
1800.06/1800.07 c rins : 0.00 0 0
1800.06/1800.07 c localbranching : 0.00 0 0
1800.06/1800.07 c mutation : 0.00 0 0
1800.06/1800.07 c dins : 0.00 0 0
1800.06/1800.07 c vbounds : 0.00 0 0
1800.06/1800.07 c undercover : 0.02 1 0
1800.06/1800.07 c subnlp : 0.00 0 0
1800.06/1800.07 c trysol : 0.00 0 0
1800.06/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.07 c primal LP : 1.07 0 0 0.00 0.00
1800.06/1800.07 c dual LP : 474.72 652 1714241 2629.20 3611.04
1800.06/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.07 c diving/probing LP: 159.35 6365 1292156 203.01 8108.70
1800.06/1800.07 c strong branching : 205.24 1425 996619 699.38 4855.93
1800.06/1800.07 c (at root node) : - 36 36000 1000.00 -
1800.06/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.07 c B&B Tree :
1800.06/1800.07 c number of runs : 1
1800.06/1800.07 c nodes : 292
1800.06/1800.07 c nodes (total) : 292
1800.06/1800.07 c nodes left : 293
1800.06/1800.07 c max depth : 35
1800.06/1800.07 c max depth (total): 35
1800.06/1800.07 c backtracks : 88 (30.1%)
1800.06/1800.07 c delayed cutoffs : 0
1800.06/1800.07 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.06/1800.07 c avg switch length: 3.94
1800.06/1800.07 c switching time : 0.18
1800.06/1800.07 c Solution :
1800.06/1800.07 c Solutions found : 64 (4 improvements)
1800.06/1800.07 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.38 seconds, depth 0, found by <trivial>)
1800.06/1800.07 c Primal Bound : -5.10000000000000e+01 (in run 1, after 1 nodes, 2.54 seconds, depth 0, found by <oneopt>)
1800.06/1800.07 c Dual Bound : -2.40204285382367e+02
1800.06/1800.07 c Gap : 78.77 %
1800.06/1800.07 c Root Dual Bound : -2.40766296513356e+02
1800.06/1800.07 c Root Iterations : 678433
1800.24/1800.22 c Time complete: 1800.27.
OK -51
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-3450647-1307104991/watcher-3450647-1307104991 -o /tmp/evaluation-result-3450647-1307104991/solver-3450647-1307104991 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450647-1307104991.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.00 2/575 24823 /proc/meminfo: memFree=23458872/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=16520 CPUtime=0.01 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 3134 0 0 0 1 0 0 0 25 0 1 0 822096879 16916480 3088 33554432000 4194304 9163163 140736950291024 18446744073709551615 4338896 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24823/statm: 4130 3088 415 1214 0 2912 0 [startup+0.103657 s] /proc/loadavg: 2.00 2.02 2.00 2/575 24823 /proc/meminfo: memFree=23458872/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=42124 CPUtime=0.1 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 9521 0 0 0 9 1 0 0 25 0 1 0 822096879 43134976 9475 33554432000 4194304 9163163 140736950291024 18446744073709551615 4437392 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24823/statm: 10531 9475 415 1214 0 9313 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 42124 [startup+0.200638 s] /proc/loadavg: 2.00 2.02 2.00 2/575 24823 /proc/meminfo: memFree=23458872/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=59376 CPUtime=0.19 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 13810 0 0 0 18 1 0 0 25 0 1 0 822096879 60801024 13764 33554432000 4194304 9163163 140736950291024 18446744073709551615 5313491 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24823/statm: 14844 13764 415 1214 0 13626 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 59376 [startup+0.300631 s] /proc/loadavg: 2.00 2.02 2.00 2/575 24823 /proc/meminfo: memFree=23458872/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=109932 CPUtime=0.29 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 26601 0 0 0 27 2 0 0 25 0 1 0 822096879 112570368 26287 33554432000 4194304 9163163 140736950291024 18446744073709551615 4497192 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 27483 26287 453 1214 0 26265 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 109932 [startup+0.700547 s] /proc/loadavg: 2.00 2.02 2.00 2/575 24823 /proc/meminfo: memFree=23458872/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=144188 CPUtime=0.69 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 34279 0 0 0 66 3 0 0 25 0 1 0 822096879 147648512 33965 33554432000 4194304 9163163 140736950291024 18446744073709551615 8041849 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 36047 33965 505 1214 0 34829 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 144188 [startup+1.5004 s] /proc/loadavg: 2.00 2.02 2.00 3/576 24824 /proc/meminfo: memFree=23312420/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=207500 CPUtime=1.49 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 51463 0 0 0 144 5 0 0 18 0 1 0 822096879 212480000 48367 33554432000 4194304 9163163 140736950291024 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 51875 48367 811 1214 0 50657 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 207500 [startup+3.1011 s] /proc/loadavg: 2.00 2.02 2.00 3/576 24824 /proc/meminfo: memFree=23257000/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=213128 CPUtime=3.09 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 55297 0 0 0 302 7 0 0 21 0 1 0 822096879 218243072 50799 33554432000 4194304 9163163 140736950291024 18446744073709551615 6213864 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 53282 50799 789 1214 0 52064 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 213128 [startup+6.30052 s] /proc/loadavg: 2.00 2.02 2.00 3/576 24824 /proc/meminfo: memFree=23251856/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=217192 CPUtime=6.3 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 57009 0 0 0 621 9 0 0 25 0 1 0 822096879 222404608 52495 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 54298 52495 775 1214 0 53080 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 217192 [startup+12.7004 s] /proc/loadavg: 2.00 2.02 2.00 3/576 24824 /proc/meminfo: memFree=23239856/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=231460 CPUtime=12.69 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 60744 0 0 0 1258 11 0 0 25 0 1 0 822096879 237015040 55803 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 57865 55803 1058 1214 0 56647 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 231460 [startup+25.501 s] /proc/loadavg: 2.07 2.03 2.00 3/576 24824 /proc/meminfo: memFree=23231188/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=233852 CPUtime=25.49 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 61892 0 0 0 2522 27 0 0 25 0 1 0 822096879 239464448 56586 33554432000 4194304 9163163 140736950291024 18446744073709551615 6213913 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 58463 56586 693 1214 0 57245 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 233852 [startup+51.1003 s] /proc/loadavg: 2.04 2.03 2.00 3/576 24825 /proc/meminfo: memFree=23207628/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=257172 CPUtime=51.1 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 67213 0 0 0 5048 62 0 0 25 0 1 0 822096879 263344128 61725 33554432000 4194304 9163163 140736950291024 18446744073709551615 4684068 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 64293 61725 698 1214 0 63075 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 257172 [startup+102.301 s] /proc/loadavg: 2.02 2.02 2.00 3/576 24827 /proc/meminfo: memFree=23178256/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=279144 CPUtime=102.31 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73137 0 0 0 10119 112 0 0 25 0 1 0 822096879 285843456 67333 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69786 67333 715 1214 0 68568 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 279144 [startup+162.301 s] /proc/loadavg: 2.13 2.05 2.01 3/576 24828 /proc/meminfo: memFree=23169124/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=279144 CPUtime=162.29 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73141 0 0 0 16065 164 0 0 25 0 1 0 822096879 285843456 67337 33554432000 4194304 9163163 140736950291024 18446744073709551615 7390508 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69786 67337 715 1214 0 68568 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 279144 [startup+222.321 s] /proc/loadavg: 2.10 2.05 2.01 3/576 24830 /proc/meminfo: memFree=23163572/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=279144 CPUtime=222.32 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73141 0 0 0 22020 212 0 0 25 0 1 0 822096879 285843456 67337 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69786 67337 715 1214 0 68568 0 Current children cumulated CPU time (s) 222.32 Current children cumulated vsize (KiB) 279144 [startup+282.3 s] /proc/loadavg: 2.04 2.04 2.00 3/576 24831 /proc/meminfo: memFree=23156684/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=279144 CPUtime=282.3 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73146 0 0 0 27973 257 0 0 25 0 1 0 822096879 285843456 67342 33554432000 4194304 9163163 140736950291024 18446744073709551615 6611600 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69786 67342 715 1214 0 68568 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 279144 [startup+342.301 s] /proc/loadavg: 2.01 2.03 2.00 3/576 24833 /proc/meminfo: memFree=23147672/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=279144 CPUtime=342.3 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73146 0 0 0 33932 298 0 0 25 0 1 0 822096879 285843456 67342 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69786 67342 715 1214 0 68568 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 279144 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.00 3/576 24835 /proc/meminfo: memFree=23143480/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=280616 CPUtime=402.3 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73146 0 0 0 39899 331 0 0 25 0 1 0 822096879 287350784 67342 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 70154 67342 715 1214 0 68936 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 280616 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/576 24836 /proc/meminfo: memFree=23135740/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=280616 CPUtime=462.31 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73146 0 0 0 45867 364 0 0 25 0 1 0 822096879 287350784 67342 33554432000 4194304 9163163 140736950291024 18446744073709551615 6674399 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 70154 67342 715 1214 0 68936 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 280616 [startup+522.3 s] /proc/loadavg: 2.16 2.05 2.01 3/576 24838 /proc/meminfo: memFree=23124096/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=280616 CPUtime=522.3 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73146 0 0 0 51839 391 0 0 25 0 1 0 822096879 287350784 67342 33554432000 4194304 9163163 140736950291024 18446744073709551615 6611600 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 70154 67342 715 1214 0 68936 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 280616 [startup+582.3 s] /proc/loadavg: 2.13 2.05 2.01 3/576 24839 /proc/meminfo: memFree=23115476/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=281372 CPUtime=582.31 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73327 0 0 0 57815 416 0 0 25 0 1 0 822096879 288124928 67523 33554432000 4194304 9163163 140736950291024 18446744073709551615 6674399 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 70343 67523 715 1214 0 69125 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 281372 [startup+642.3 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 2.03 2.04 2.00 3/576 24877 /proc/meminfo: memFree=23240060/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=281372 CPUtime=942.32 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73327 0 0 0 93649 583 0 0 25 0 1 0 822096879 288124928 67523 33554432000 4194304 9163163 140736950291024 18446744073709551615 7051368 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 70343 67523 715 1214 0 69125 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 281372 [startup+1002.3 s] /proc/loadavg: 2.01 2.03 2.00 3/576 24879 /proc/meminfo: memFree=23232068/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=281372 CPUtime=1002.32 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73327 0 0 0 99624 608 0 0 25 0 1 0 822096879 288124928 67523 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 70343 67523 715 1214 0 69125 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 281372 [startup+1062.3 s] /proc/loadavg: 2.00 2.03 2.00 3/576 24880 /proc/meminfo: memFree=23215912/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=281372 CPUtime=1062.32 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73327 0 0 0 105596 636 0 0 25 0 1 0 822096879 288124928 67523 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 70343 67523 715 1214 0 69125 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 281372 [startup+1122.3 s] /proc/loadavg: 2.08 2.05 2.01 3/576 24891 /proc/meminfo: memFree=23204364/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=281372 CPUtime=1122.32 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73327 0 0 0 111570 662 0 0 25 0 1 0 822096879 288124928 67523 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 70343 67523 715 1214 0 69125 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 281372 [startup+1182.3 s] /proc/loadavg: 2.07 2.05 2.01 3/576 24892 /proc/meminfo: memFree=23187332/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=281372 CPUtime=1182.33 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73327 0 0 0 117546 687 0 0 25 0 1 0 822096879 288124928 67523 33554432000 4194304 9163163 140736950291024 18446744073709551615 8045547 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 70343 67523 715 1214 0 69125 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 281372 [startup+1242.3 s] /proc/loadavg: 2.02 2.04 2.00 3/576 24894 /proc/meminfo: memFree=23178096/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=281372 CPUtime=1242.32 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 73327 0 0 0 123517 715 0 0 25 0 1 0 822096879 288124928 67523 33554432000 4194304 9163163 140736950291024 18446744073709551615 6611985 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 70343 67523 715 1214 0 69125 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 281372 [startup+1302.3 s] /proc/loadavg: 2.01 2.03 2.00 3/576 24899 /proc/meminfo: memFree=23166180/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=279268 CPUtime=1302.33 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 78883 0 0 0 129474 759 0 0 25 0 1 0 822096879 285970432 67050 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69817 67050 735 1214 0 68599 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 279268 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/576 24900 /proc/meminfo: memFree=23157552/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=279268 CPUtime=1362.34 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 78883 0 0 0 135358 876 0 0 25 0 1 0 822096879 285970432 67050 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69817 67050 735 1214 0 68599 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 279268 [startup+1422.3 s] /proc/loadavg: 2.07 2.05 2.01 3/576 24902 /proc/meminfo: memFree=23152416/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=279268 CPUtime=1422.35 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 78888 0 0 0 141200 1035 0 0 25 0 1 0 822096879 285970432 67055 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69817 67055 740 1214 0 68599 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 279268 [startup+1482.3 s] /proc/loadavg: 2.06 2.05 2.01 3/576 24903 /proc/meminfo: memFree=23142448/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=279268 CPUtime=1482.34 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 78888 0 0 0 147049 1185 0 0 25 0 1 0 822096879 285970432 67055 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69817 67055 740 1214 0 68599 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 279268 [startup+1542.32 s] /proc/loadavg: 2.02 2.04 2.00 3/576 24905 /proc/meminfo: memFree=23135104/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=279268 CPUtime=1542.36 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 78890 0 0 0 152885 1351 0 0 25 0 1 0 822096879 285970432 67057 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69817 67057 740 1214 0 68599 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 279268 [startup+1602.3 s] /proc/loadavg: 2.00 2.03 2.00 3/576 24907 /proc/meminfo: memFree=23125744/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=279268 CPUtime=1602.34 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 78890 0 0 0 158727 1507 0 0 25 0 1 0 822096879 285970432 67057 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69817 67057 740 1214 0 68599 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 279268 [startup+1662.3 s] /proc/loadavg: 2.11 2.05 2.01 3/576 24908 /proc/meminfo: memFree=23119860/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=279268 CPUtime=1662.34 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 78890 0 0 0 164560 1674 0 0 25 0 1 0 822096879 285970432 67057 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69817 67057 740 1214 0 68599 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 279268 [startup+1722.3 s] /proc/loadavg: 2.09 2.06 2.01 3/576 24910 /proc/meminfo: memFree=23114224/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=277748 CPUtime=1722.34 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 89372 0 0 0 170392 1842 0 0 25 0 1 0 822096879 284413952 66714 33554432000 4194304 9163163 140736950291024 18446744073709551615 7225331 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69437 66714 747 1214 0 68219 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 277748 [startup+1782.3 s] /proc/loadavg: 2.03 2.04 2.00 3/576 24911 /proc/meminfo: memFree=23107360/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=277748 CPUtime=1782.34 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 89372 0 0 0 176209 2025 0 0 25 0 1 0 822096879 284413952 66714 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69437 66714 747 1214 0 68219 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 277748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.04 2.00 3/576 24912 /proc/meminfo: memFree=23105116/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=277748 CPUtime=1800.06 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 89372 0 0 0 177933 2073 0 0 25 0 1 0 822096879 284413952 66714 33554432000 4194304 9163163 140736950291024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24823/statm: 69437 66714 747 1214 0 68219 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 277748 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.12 s] /proc/loadavg: 2.02 2.04 2.00 3/576 24912 /proc/meminfo: memFree=23105116/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=277748 CPUtime=1800.16 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 89375 0 0 0 177943 2073 0 0 25 0 1 0 822096879 284413952 66717 33554432000 4194304 9163163 140736950291024 18446744073709551615 6555744 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24823/statm: 69437 66717 750 1214 0 68219 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 277748 [startup+1800.2 s] /proc/loadavg: 2.02 2.04 2.00 3/576 24912 /proc/meminfo: memFree=23105116/32951124 swapFree=58940260/67111528 [pid=24823] ppid=24821 vsize=237476 CPUtime=1800.24 cores=1,3,5,7 /proc/24823/stat : 24823 (scip-2.0.1.4b.l) R 24821 24823 23203 0 -1 4202496 89375 0 0 0 177951 2073 0 0 25 0 1 0 822096879 243175424 57743 33554432000 4194304 9163163 140736950291024 18446744073709551615 6918290 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24823/statm: 59369 57743 750 1214 0 58151 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 237476 Child status: 0 Real time (s): 1800.23 CPU time (s): 1800.28 CPU user time (s): 1779.53 CPU system time (s): 20.7498 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 320996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.53 system time used= 20.7498 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89377 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= 2640 runsolver used 9.66153 second user time and 23.9144 second system time The end
Begin job on node139 at 2011-06-03 14:43:11 IDJOB=3450647 IDBENCH=48171 IDSOLVER=1948 FILE ID=node139/3450647-1307104991 RUNJOBID= node139-1307093003-23222 PBS_JOBID= 13497985 Free space on /tmp= 73452 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_1.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450647-1307104991/watcher-3450647-1307104991 -o /tmp/evaluation-result-3450647-1307104991/solver-3450647-1307104991 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450647-1307104991.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3262a45f0e59552e467da6c31a32418a RANDOM SEED=243114209 node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5321.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23459028 kB Buffers: 241672 kB Cached: 598344 kB SwapCached: 3628 kB Active: 8702896 kB Inactive: 486748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23459028 kB SwapTotal: 67111528 kB SwapFree: 58940260 kB Dirty: 12864 kB Writeback: 0 kB AnonPages: 8348008 kB Mapped: 35860 kB Slab: 152332 kB PageTables: 78604 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 171034940 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73440 MiB End job on node139 at 2011-06-03 15:13:14