Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | -30 | 1797.53 | 1797.49 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_2.opb |
| MD5SUM | 4a1dc018d8373d1119ec5a7a226f506e |
| 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 | -30 |
| Best CPU time to get the best result obtained on this benchmark | 1797.53 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -29 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| 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 | 200 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 44 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6220 |
| Sum of products size (including duplicates) | 12440 |
| Number of different products | 3110 |
| Sum of products size | 6220 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485151-1307784651.opb>
0.00/0.01 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.00/0.05 c (round 1) 3110 del vars, 200 del conss, 0 add conss, 3110 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12440 impls, 0 clqs
0.05/0.07 c (round 2) 3110 del vars, 200 del conss, 0 add conss, 3110 chg bounds, 0 chg sides, 0 chg coeffs, 3110 upgd conss, 18660 impls, 0 clqs
0.05/0.09 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.05/0.09 c presolving (3 rounds):
0.05/0.09 c 3110 deleted vars, 200 deleted constraints, 0 added constraints, 3110 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.09 c 18660 implications, 0 cliques
0.05/0.09 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3110 constraints
0.05/0.09 c 3110 constraints of type <logicor>
0.05/0.09 c transformed objective value is always integral (scale: 1)
0.05/0.09 c Presolving Time: 0.08
0.05/0.09 c - non default parameters ----------------------------------------------------------------------
0.05/0.09 c # SCIP version 2.0.1.4
0.05/0.09 c
0.05/0.09 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.05/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.09 c conflict/interconss = 0
0.05/0.09 c
0.05/0.09 c # should binary conflicts be preferred?
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c conflict/preferbinary = TRUE
0.05/0.09 c
0.05/0.09 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.05/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.09 c constraints/agelimit = 1
0.05/0.09 c
0.05/0.09 c # should enforcement of pseudo solution be disabled?
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c constraints/disableenfops = TRUE
0.05/0.09 c
0.05/0.09 c # frequency for displaying node information lines
0.05/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.09 c display/freq = 10000
0.05/0.09 c
0.05/0.09 c # maximal time in seconds to run
0.05/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.09 c limits/time = 1797
0.05/0.09 c
0.05/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.09 c limits/memory = 13950
0.05/0.09 c
0.05/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.05/0.09 c # [type: int, range: [1,2], default: 1]
0.05/0.09 c timing/clocktype = 2
0.05/0.09 c
0.05/0.09 c # belongs reading time to solving time?
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c timing/reading = TRUE
0.05/0.09 c
0.05/0.09 c # should presolving try to simplify inequalities
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c constraints/linear/simplifyinequalities = TRUE
0.05/0.09 c
0.05/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c constraints/indicator/addCouplingCons = TRUE
0.05/0.09 c
0.05/0.09 c # should presolving try to simplify knapsacks
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.09 c
0.05/0.09 c -----------------------------------------------------------------------------------------------
0.05/0.09 c start solving
0.05/0.09 c
0.08/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.11 c t 0.1s| 1 | 0 | 205 | - |6892k| 0 | 200 | 200 |3110 | 200 |3110 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.08/0.11 o -1
0.08/0.11 c R 0.1s| 1 | 0 | 205 | - |6895k| 0 | 200 | 200 |3110 | 200 |3110 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.08/0.11 o -2
0.08/0.11 c s 0.1s| 1 | 0 | 205 | - |6897k| 0 | 200 | 200 |3110 | 200 |3110 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.08/0.15 c 0.1s| 1 | 0 | 271 | - |6904k| 0 | 193 | 200 |3110 | 200 |3117 | 7 | 0 | 0 |-9.650000e+01 |-2.000000e+00 | 97.93%
0.08/0.15 o -19
0.08/0.15 c b 0.1s| 1 | 0 | 271 | - |6909k| 0 | 193 | 200 |3110 | 200 |3117 | 7 | 0 | 0 |-9.650000e+01 |-1.900000e+01 | 80.31%
0.19/0.20 c 0.2s| 1 | 0 | 345 | - |6913k| 0 | 186 | 200 |3110 | 200 |3124 | 14 | 0 | 0 |-9.300000e+01 |-1.900000e+01 | 79.57%
0.19/0.28 c 0.3s| 1 | 0 | 417 | - |6925k| 0 | 179 | 200 |3110 | 200 |3131 | 21 | 0 | 0 |-8.950000e+01 |-1.900000e+01 | 78.77%
0.29/0.35 c 0.4s| 1 | 0 | 515 | - |6937k| 0 | 173 | 200 |3110 | 200 |3139 | 29 | 0 | 0 |-8.650000e+01 |-1.900000e+01 | 78.03%
0.39/0.42 c 0.4s| 1 | 0 | 646 | - |6953k| 0 | 165 | 200 |3110 | 200 |3149 | 39 | 0 | 0 |-8.250000e+01 |-1.900000e+01 | 76.97%
0.49/0.50 c 0.5s| 1 | 0 | 865 | - |6958k| 0 | 160 | 200 |3110 | 200 |3155 | 45 | 0 | 0 |-8.000000e+01 |-1.900000e+01 | 76.25%
0.49/0.59 c 0.6s| 1 | 0 | 1060 | - |6973k| 0 | 160 | 200 |3110 | 200 |3164 | 54 | 0 | 0 |-7.875000e+01 |-1.900000e+01 | 75.87%
0.59/0.69 c 0.7s| 1 | 0 | 1258 | - |7169k| 0 | 155 | 200 |3110 | 200 |3173 | 63 | 0 | 0 |-7.650000e+01 |-1.900000e+01 | 75.16%
0.79/0.80 c 0.8s| 1 | 0 | 1578 | - |7345k| 0 | 153 | 200 |3110 | 200 |3187 | 77 | 0 | 0 |-7.425000e+01 |-1.900000e+01 | 74.41%
0.89/0.90 c 0.9s| 1 | 0 | 1868 | - |7387k| 0 | 145 | 200 |3110 | 200 |3198 | 88 | 0 | 0 |-7.100000e+01 |-1.900000e+01 | 73.24%
0.89/1.00 c 1.0s| 1 | 0 | 2165 | - |7490k| 0 | 137 | 200 |3110 | 200 | 488 | 95 | 0 | 0 |-6.850000e+01 |-1.900000e+01 | 72.26%
0.99/1.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.02 c 1.0s| 1 | 0 | 2343 | - |7495k| 0 | 165 | 200 |3110 | 200 | 493 | 100 | 0 | 0 |-6.770833e+01 |-1.900000e+01 | 71.94%
0.99/1.09 c 1.1s| 1 | 0 | 2675 | - |7789k| 0 | 158 | 200 |3110 | 200 | 730 | 337 | 0 | 0 |-6.600000e+01 |-1.900000e+01 | 71.21%
1.09/1.15 c 1.1s| 1 | 0 | 2964 | - |7845k| 0 | 124 | 200 |3110 | 200 | 802 | 409 | 0 | 0 |-6.400000e+01 |-1.900000e+01 | 70.31%
1.09/1.17 c 1.2s| 1 | 0 | 3120 | - |7866k| 0 | 151 | 200 |3110 | 200 | 834 | 441 | 0 | 0 |-6.300000e+01 |-1.900000e+01 | 69.84%
1.19/1.23 c 1.2s| 1 | 0 | 3247 | - |7953k| 0 | 141 | 200 |3110 | 200 | 902 | 509 | 0 | 0 |-6.200000e+01 |-1.900000e+01 | 69.35%
1.29/1.34 c 1.3s| 1 | 0 | 3616 | - |9134k| 0 | 150 | 200 |3110 | 200 | 727 | 533 | 0 | 0 |-6.190000e+01 |-1.900000e+01 | 69.31%
1.39/1.40 c 1.4s| 1 | 0 | 3960 | - |9299k| 0 | 156 | 200 |3110 | 200 | 762 | 568 | 0 | 0 |-6.063333e+01 |-1.900000e+01 | 68.66%
1.39/1.47 c 1.5s| 1 | 0 | 4291 | - |9394k| 0 | 156 | 200 |3110 | 200 | 805 | 611 | 0 | 0 |-5.977451e+01 |-1.900000e+01 | 68.21%
1.49/1.56 c 1.6s| 1 | 0 | 4616 | - | 10M| 0 | 154 | 200 |3110 | 200 | 928 | 734 | 0 | 0 |-5.897143e+01 |-1.900000e+01 | 67.78%
1.59/1.64 c 1.6s| 1 | 0 | 5198 | - | 10M| 0 | 165 | 200 |3110 | 200 | 983 | 789 | 0 | 0 |-5.783840e+01 |-1.900000e+01 | 67.15%
1.69/1.71 c 1.7s| 1 | 0 | 5339 | - | 10M| 0 | 166 | 200 |3110 | 200 |1067 | 873 | 0 | 0 |-5.763088e+01 |-1.900000e+01 | 67.03%
1.69/1.77 c 1.8s| 1 | 0 | 5544 | - | 10M| 0 | 163 | 200 |3110 | 200 | 722 | 903 | 0 | 0 |-5.738674e+01 |-1.900000e+01 | 66.89%
1.79/1.83 c 1.8s| 1 | 0 | 5918 | - | 10M| 0 | 171 | 200 |3110 | 200 | 753 | 934 | 0 | 0 |-5.664853e+01 |-1.900000e+01 | 66.46%
1.89/1.91 c 1.9s| 1 | 0 | 6332 | - | 10M| 0 | 172 | 200 |3110 | 200 | 799 | 980 | 0 | 0 |-5.543315e+01 |-1.900000e+01 | 65.72%
1.89/1.97 c 2.0s| 1 | 0 | 6495 | - | 11M| 0 | 174 | 200 |3110 | 200 | 848 |1029 | 0 | 0 |-5.525097e+01 |-1.900000e+01 | 65.61%
1.99/2.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.03 c 2.0s| 1 | 0 | 6810 | - | 11M| 0 | 179 | 200 |3110 | 200 | 882 |1063 | 0 | 0 |-5.471310e+01 |-1.900000e+01 | 65.27%
2.10/2.11 c 2.1s| 1 | 0 | 7108 | - | 11M| 0 | 181 | 200 |3110 | 200 | 917 |1098 | 0 | 0 |-5.439732e+01 |-1.900000e+01 | 65.07%
2.10/2.18 c 2.2s| 1 | 0 | 7341 | - | 11M| 0 | 178 | 200 |3110 | 200 | 718 |1119 | 0 | 0 |-5.411935e+01 |-1.900000e+01 | 64.89%
2.20/2.24 c 2.2s| 1 | 0 | 7566 | - | 11M| 0 | 176 | 200 |3110 | 200 | 738 |1139 | 0 | 0 |-5.386472e+01 |-1.900000e+01 | 64.73%
2.20/2.29 c 2.3s| 1 | 0 | 7752 | - | 11M| 0 | 180 | 200 |3110 | 200 | 755 |1156 | 0 | 0 |-5.359135e+01 |-1.900000e+01 | 64.55%
2.29/2.36 c 2.4s| 1 | 0 | 8047 | - | 11M| 0 | 181 | 200 |3110 | 200 | 782 |1183 | 0 | 0 |-5.312159e+01 |-1.900000e+01 | 64.23%
2.39/2.43 c 2.4s| 1 | 0 | 8317 | - | 11M| 0 | 179 | 200 |3110 | 200 | 800 |1201 | 0 | 0 |-5.288112e+01 |-1.900000e+01 | 64.07%
2.39/2.48 c 2.5s| 1 | 0 | 8449 | - | 11M| 0 | 187 | 200 |3110 | 200 | 813 |1214 | 0 | 0 |-5.272142e+01 |-1.900000e+01 | 63.96%
2.49/2.55 c 2.5s| 1 | 0 | 8600 | - | 11M| 0 | 192 | 200 |3110 | 200 | 511 |1227 | 0 | 0 |-5.251039e+01 |-1.900000e+01 | 63.82%
2.49/2.58 c 2.6s| 1 | 0 | 8694 | - | 11M| 0 | 188 | 200 |3110 | 200 | 521 |1237 | 0 | 0 |-5.234896e+01 |-1.900000e+01 | 63.71%
2.59/2.63 c 2.6s| 1 | 0 | 8853 | - | 11M| 0 | 188 | 200 |3110 | 200 | 536 |1252 | 0 | 0 |-5.200002e+01 |-1.900000e+01 | 63.46%
2.59/2.67 c 2.7s| 1 | 0 | 8995 | - | 11M| 0 | 190 | 200 |3110 | 200 | 553 |1269 | 0 | 0 |-5.183716e+01 |-1.900000e+01 | 63.35%
2.69/2.72 c 2.7s| 1 | 0 | 9173 | - | 11M| 0 | 188 | 200 |3110 | 200 | 569 |1285 | 0 | 0 |-5.149588e+01 |-1.900000e+01 | 63.10%
2.69/2.76 c 2.8s| 1 | 0 | 9311 | - | 11M| 0 | 189 | 200 |3110 | 200 | 580 |1296 | 0 | 0 |-5.131064e+01 |-1.900000e+01 | 62.97%
2.79/2.81 c 2.8s| 1 | 0 | 9452 | - | 11M| 0 | 190 | 200 |3110 | 200 | 447 |1306 | 0 | 0 |-5.108558e+01 |-1.900000e+01 | 62.81%
2.79/2.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.79/2.85 c 2.8s| 1 | 0 | 9535 | - | 11M| 0 | 191 | 200 |3110 | 200 | 456 |1315 | 0 | 0 |-5.099167e+01 |-1.900000e+01 | 62.74%
2.79/2.88 c 2.9s| 1 | 0 | 9628 | - | 11M| 0 | 193 | 200 |3110 | 200 | 470 |1329 | 0 | 0 |-5.092333e+01 |-1.900000e+01 | 62.69%
2.89/2.92 c 2.9s| 1 | 0 | 9751 | - | 11M| 0 | 195 | 200 |3110 | 200 | 480 |1339 | 0 | 0 |-5.084489e+01 |-1.900000e+01 | 62.63%
2.89/2.96 c 3.0s| 1 | 0 | 9851 | - | 11M| 0 | 195 | 200 |3110 | 200 | 488 |1347 | 0 | 0 |-5.066945e+01 |-1.900000e+01 | 62.50%
2.99/3.00 c 3.0s| 1 | 0 | 9905 | - | 11M| 0 | 198 | 200 |3110 | 200 | 496 |1355 | 0 | 0 |-5.060882e+01 |-1.900000e+01 | 62.46%
2.99/3.05 c 3.0s| 1 | 0 | 9992 | - | 11M| 0 | 198 | 200 |3110 | 200 | 426 |1360 | 0 | 0 |-5.054871e+01 |-1.900000e+01 | 62.41%
2.99/3.08 c 3.1s| 1 | 0 | 10062 | - | 11M| 0 | 197 | 200 |3110 | 200 | 433 |1367 | 0 | 0 |-5.049518e+01 |-1.900000e+01 | 62.37%
3.09/3.13 c 3.1s| 1 | 0 | 10193 | - | 11M| 0 | 199 | 200 |3110 | 200 | 441 |1375 | 0 | 0 |-5.030053e+01 |-1.900000e+01 | 62.23%
3.09/3.17 c 3.2s| 1 | 0 | 10380 | - | 11M| 0 | 199 | 200 |3110 | 200 | 452 |1386 | 0 | 0 |-5.011509e+01 |-1.900000e+01 | 62.09%
3.20/3.21 c 3.2s| 1 | 0 | 10535 | - | 11M| 0 | 198 | 200 |3110 | 200 | 464 |1398 | 0 | 0 |-5.001507e+01 |-1.900000e+01 | 62.01%
3.20/3.25 c 3.3s| 1 | 0 | 10613 | - | 11M| 0 | 199 | 200 |3110 | 200 | 475 |1409 | 0 | 0 |-4.992939e+01 |-1.900000e+01 | 61.95%
3.30/3.30 c 3.3s| 1 | 0 | 10734 | - | 11M| 0 | 199 | 200 |3110 | 200 | 428 |1416 | 0 | 0 |-4.980295e+01 |-1.900000e+01 | 61.85%
3.30/3.34 c 3.3s| 1 | 0 | 10784 | - | 11M| 0 | 200 | 200 |3110 | 200 | 434 |1422 | 0 | 0 |-4.976784e+01 |-1.900000e+01 | 61.82%
3.30/3.38 c 3.4s| 1 | 0 | 10865 | - | 11M| 0 | 200 | 200 |3110 | 200 | 443 |1431 | 0 | 0 |-4.969522e+01 |-1.900000e+01 | 61.77%
3.39/3.42 c 3.4s| 1 | 0 | 10957 | - | 11M| 0 | 200 | 200 |3110 | 200 | 454 |1442 | 0 | 0 |-4.962900e+01 |-1.900000e+01 | 61.72%
3.39/3.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.47 c 3.5s| 1 | 0 | 11075 | - | 11M| 0 | 199 | 200 |3110 | 200 | 461 |1449 | 0 | 0 |-4.955299e+01 |-1.900000e+01 | 61.66%
3.49/3.51 c 3.5s| 1 | 0 | 11142 | - | 11M| 0 | 199 | 200 |3110 | 200 | 469 |1457 | 0 | 0 |-4.950942e+01 |-1.900000e+01 | 61.62%
3.49/3.55 c 3.6s| 1 | 0 | 11255 | - | 11M| 0 | 198 | 200 |3110 | 200 | 441 |1465 | 0 | 0 |-4.942866e+01 |-1.900000e+01 | 61.56%
3.49/3.59 c 3.6s| 1 | 0 | 11299 | - | 11M| 0 | 199 | 200 |3110 | 200 | 451 |1475 | 0 | 0 |-4.941600e+01 |-1.900000e+01 | 61.55%
3.59/3.63 c 3.6s| 1 | 0 | 11417 | - | 11M| 0 | 199 | 200 |3110 | 200 | 457 |1481 | 0 | 0 |-4.937508e+01 |-1.900000e+01 | 61.52%
3.59/3.68 c 3.7s| 1 | 0 | 11499 | - | 11M| 0 | 199 | 200 |3110 | 200 | 469 |1493 | 0 | 0 |-4.933453e+01 |-1.900000e+01 | 61.49%
3.69/3.72 c 3.7s| 1 | 0 | 11595 | - | 11M| 0 | 199 | 200 |3110 | 200 | 477 |1501 | 0 | 0 |-4.929694e+01 |-1.900000e+01 | 61.46%
3.69/3.76 c 3.8s| 1 | 0 | 11659 | - | 11M| 0 | 200 | 200 |3110 | 200 | 486 |1510 | 0 | 0 |-4.926409e+01 |-1.900000e+01 | 61.43%
3.79/3.80 c 3.8s| 1 | 0 | 11724 | - | 11M| 0 | 200 | 200 |3110 | 200 | 435 |1517 | 0 | 0 |-4.924396e+01 |-1.900000e+01 | 61.42%
3.79/3.83 c 3.8s| 1 | 0 | 11784 | - | 11M| 0 | 200 | 200 |3110 | 200 | 443 |1525 | 0 | 0 |-4.922933e+01 |-1.900000e+01 | 61.41%
3.79/3.87 c 3.9s| 1 | 0 | 11827 | - | 11M| 0 | 200 | 200 |3110 | 200 | 450 |1532 | 0 | 0 |-4.921356e+01 |-1.900000e+01 | 61.39%
3.89/3.90 c 3.9s| 1 | 0 | 11851 | - | 11M| 0 | 200 | 200 |3110 | 200 | 456 |1538 | 0 | 0 |-4.920991e+01 |-1.900000e+01 | 61.39%
3.89/3.94 c 3.9s| 1 | 0 | 11880 | - | 11M| 0 | 200 | 200 |3110 | 200 | 462 |1544 | 0 | 0 |-4.920597e+01 |-1.900000e+01 | 61.39%
3.89/3.97 c 4.0s| 1 | 0 | 11895 | - | 11M| 0 | 200 | 200 |3110 | 200 | 464 |1546 | 0 | 0 |-4.920491e+01 |-1.900000e+01 | 61.39%
3.99/4.01 c 4.0s| 1 | 0 | 11919 | - | 11M| 0 | 200 | 200 |3110 | 200 | 410 |1548 | 0 | 0 |-4.920397e+01 |-1.900000e+01 | 61.39%
4.99/5.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.99/5.06 c 5.1s| 1 | 2 | 11919 | - | 11M| 0 | 200 | 200 |3110 | 200 | 410 |1548 | 0 | 22 |-4.920397e+01 |-1.900000e+01 | 61.39%
5.89/5.98 o -20
5.89/5.98 c R 6.0s| 16 | 15 | 13100 | 78.7 | 11M| 15 | 20 | 200 |3110 | 200 | 235 |1614 | 0 | 292 |-4.873795e+01 |-2.000000e+01 | 58.96%
5.89/5.98 o -25
5.89/5.98 c * 6.0s| 17 | 16 | 13104 | 74.1 | 11M| 16 | - | 200 |3110 | 200 | 228 |1614 | 0 | 312 |-4.873795e+01 |-2.500000e+01 | 48.71%
6.50/6.60 o -26
6.50/6.60 c * 6.6s| 59 | 41 | 14654 | 47.2 | 11M| 21 | - | 200 |3110 | 200 | 234 |1909 | 0 | 803 |-4.873795e+01 |-2.600000e+01 | 46.65%
20.89/20.96 o -27
20.89/20.96 c *21.0s| 9214 | 5113 |330558 | 34.6 | 17M| 49 | - | 200 |3110 | 200 | 237 | 114k| 0 |1650 |-4.556250e+01 |-2.700000e+01 | 40.74%
21.79/21.90 c 21.9s| 10000 | 5497 |353323 | 34.1 | 17M| 49 | 31 | 200 |3110 | 200 | 225 | 123k| 0 |1686 |-4.540533e+01 |-2.700000e+01 | 40.54%
31.29/31.31 c 31.3s| 20000 | 9039 |578623 | 28.3 | 22M| 56 | 31 | 200 |3110 | 200 | 212 | 230k| 0 |2334 |-4.478125e+01 |-2.700000e+01 | 39.71%
40.19/40.26 c 40.3s| 30000 | 12347 |790560 | 26.0 | 26M| 56 | - | 200 |3110 | 200 | 237 | 330k| 0 |2839 |-4.437224e+01 |-2.700000e+01 | 39.15%
48.49/48.55 c 48.6s| 40000 | 15323 |991806 | 24.5 | 30M| 61 | 38 | 200 |3110 | 200 | 230 | 431k| 0 |3253 |-4.412500e+01 |-2.700000e+01 | 38.81%
56.29/56.30 c 56.3s| 50000 | 17753 | 1174k| 23.2 | 33M| 69 | 61 | 200 |3110 | 200 | 253 | 528k| 0 |3644 |-4.392857e+01 |-2.700000e+01 | 38.54%
63.89/63.97 c 64.0s| 60000 | 20181 | 1356k| 22.4 | 36M| 69 | 32 | 200 |3110 | 200 | 220 | 621k| 0 |3946 |-4.376126e+01 |-2.700000e+01 | 38.30%
71.50/71.57 c 71.6s| 70000 | 22641 | 1534k| 21.8 | 39M| 69 | 24 | 200 |3110 | 200 | 220 | 714k| 0 |4265 |-4.360000e+01 |-2.700000e+01 | 38.07%
78.89/78.94 c 78.9s| 80000 | 24975 | 1709k| 21.2 | 42M| 69 | - | 200 |3110 | 200 | 239 | 806k| 0 |4521 |-4.346429e+01 |-2.700000e+01 | 37.88%
86.39/86.46 c 86.5s| 90000 | 27363 | 1885k| 20.8 | 45M| 69 | - | 200 |3110 | 200 | 215 | 897k| 0 |4799 |-4.333333e+01 |-2.700000e+01 | 37.69%
93.79/93.80 c 93.8s|100000 | 29637 | 2060k| 20.5 | 48M| 69 | - | 200 |3110 | 200 | 237 | 989k| 0 |5072 |-4.321212e+01 |-2.700000e+01 | 37.52%
101.10/101.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.10/101.11 c 101s|110000 | 32047 | 2235k| 20.2 | 52M| 73 | 33 | 200 |3110 | 200 | 237 |1079k| 0 |5328 |-4.307895e+01 |-2.700000e+01 | 37.32%
108.49/108.55 c 109s|120000 | 34357 | 2413k| 20.0 | 55M| 73 | 20 | 200 |3110 | 200 | 200 |1169k| 0 |5539 |-4.292857e+01 |-2.700000e+01 | 37.10%
111.10/111.15 o -28
111.10/111.15 c * 111s|123440 | 28077 | 2474k| 19.9 | 48M| 80 | - | 200 |3110 | 200 | 238 |1201k| 0 |5637 |-4.288657e+01 |-2.800000e+01 | 34.71%
115.59/115.69 c 116s|130000 | 29059 | 2578k| 19.7 | 49M| 80 | 55 | 200 |3110 | 200 | 224 |1257k| 0 |5823 |-4.280000e+01 |-2.800000e+01 | 34.58%
122.49/122.57 c 123s|140000 | 30593 | 2738k| 19.5 | 52M| 80 | 30 | 200 |3110 | 200 | 213 |1344k| 0 |6006 |-4.268171e+01 |-2.800000e+01 | 34.40%
129.39/129.49 c 129s|150000 | 32129 | 2899k| 19.3 | 54M| 80 | 18 | 200 |3110 | 200 | 220 |1431k| 0 |6249 |-4.256627e+01 |-2.800000e+01 | 34.22%
136.30/136.37 c 136s|160000 | 33611 | 3060k| 19.1 | 56M| 80 | - | 200 |3110 | 200 | 233 |1518k| 0 |6447 |-4.250000e+01 |-2.800000e+01 | 34.12%
143.20/143.27 c 143s|170000 | 35071 | 3221k| 18.9 | 58M| 80 | 5 | 200 |3110 | 200 | 217 |1604k| 0 |6642 |-4.238889e+01 |-2.800000e+01 | 33.94%
149.79/149.83 c 150s|180000 | 36455 | 3374k| 18.7 | 60M| 82 | 49 | 200 |3110 | 200 | 246 |1691k| 0 |6838 |-4.232117e+01 |-2.800000e+01 | 33.84%
156.49/156.52 c 157s|190000 | 37969 | 3530k| 18.5 | 62M| 82 | 47 | 200 |3110 | 200 | 233 |1777k| 0 |7007 |-4.224194e+01 |-2.800000e+01 | 33.72%
163.19/163.21 c 163s|200000 | 39393 | 3688k| 18.4 | 64M| 82 | - | 200 |3110 | 200 | 212 |1864k| 0 |7190 |-4.215152e+01 |-2.800000e+01 | 33.57%
169.90/169.90 c 170s|210000 | 40809 | 3844k| 18.3 | 67M| 82 | 19 | 200 |3110 | 200 | 224 |1950k| 0 |7374 |-4.208451e+01 |-2.800000e+01 | 33.47%
176.59/176.63 c 177s|220000 | 42293 | 4000k| 18.1 | 69M| 82 | 44 | 200 |3110 | 200 | 242 |2037k| 0 |7548 |-4.200000e+01 |-2.800000e+01 | 33.33%
183.20/183.27 c 183s|230000 | 43797 | 4155k| 18.0 | 71M| 82 | - | 200 |3110 | 200 | 209 |2121k| 0 |7687 |-4.196053e+01 |-2.800000e+01 | 33.27%
190.09/190.13 c 190s|240000 | 45405 | 4318k| 17.9 | 73M| 82 | - | 200 |3110 | 200 | 240 |2206k| 0 |7867 |-4.188000e+01 |-2.800000e+01 | 33.14%
196.70/196.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.70/196.71 c 197s|250000 | 46851 | 4471k| 17.8 | 75M| 82 | 11 | 200 |3110 | 200 | 216 |2291k| 0 |7990 |-4.180000e+01 |-2.800000e+01 | 33.01%
203.20/203.25 c 203s|260000 | 48229 | 4625k| 17.7 | 77M| 82 | 18 | 200 |3110 | 200 | 229 |2376k| 0 |8166 |-4.175000e+01 |-2.800000e+01 | 32.93%
209.89/209.90 c 210s|270000 | 49623 | 4781k| 17.7 | 79M| 82 | - | 200 |3110 | 200 | 241 |2461k| 0 |8344 |-4.166667e+01 |-2.800000e+01 | 32.80%
216.60/216.62 c 217s|280000 | 51199 | 4939k| 17.6 | 81M| 82 | 37 | 200 |3110 | 200 | 214 |2547k| 0 |8473 |-4.160000e+01 |-2.800000e+01 | 32.69%
223.00/223.01 c 223s|290000 | 52553 | 5088k| 17.5 | 83M| 82 | - | 200 |3110 | 200 | 212 |2630k| 0 |8620 |-4.153846e+01 |-2.800000e+01 | 32.59%
229.60/229.62 c 230s|300000 | 54007 | 5243k| 17.4 | 85M| 82 | 35 | 200 |3110 | 200 | 221 |2715k| 0 |8748 |-4.150000e+01 |-2.800000e+01 | 32.53%
236.10/236.19 c 236s|310000 | 55431 | 5397k| 17.4 | 88M| 82 | 14 | 200 |3110 | 200 | 229 |2799k| 0 |8894 |-4.140789e+01 |-2.800000e+01 | 32.38%
242.59/242.67 c 243s|320000 | 56817 | 5549k| 17.3 | 90M| 82 | - | 200 |3110 | 200 | 243 |2885k| 0 |9032 |-4.134483e+01 |-2.800000e+01 | 32.28%
249.00/249.07 c 249s|330000 | 58181 | 5699k| 17.2 | 92M| 82 | 24 | 200 |3110 | 200 | 232 |2968k| 0 |9160 |-4.130769e+01 |-2.800000e+01 | 32.22%
255.50/255.55 c 256s|340000 | 59593 | 5852k| 17.2 | 94M| 82 | - | 200 |3110 | 200 | 249 |3051k| 0 |9338 |-4.123077e+01 |-2.800000e+01 | 32.09%
261.89/261.91 c 262s|350000 | 60897 | 6002k| 17.1 | 95M| 82 | 24 | 200 |3110 | 200 | 215 |3135k| 0 |9427 |-4.116667e+01 |-2.800000e+01 | 31.98%
268.30/268.36 c 268s|360000 | 62227 | 6152k| 17.1 | 97M| 82 | 27 | 200 |3110 | 200 | 218 |3222k| 0 |9596 |-4.109091e+01 |-2.800000e+01 | 31.86%
274.80/274.83 c 275s|370000 | 63593 | 6303k| 17.0 | 99M| 82 | 52 | 200 |3110 | 200 | 254 |3307k| 0 |9709 |-4.100000e+01 |-2.800000e+01 | 31.71%
281.20/281.25 c 281s|380000 | 64937 | 6453k| 17.0 | 101M| 82 | 50 | 200 |3110 | 200 | 246 |3390k| 0 |9858 |-4.100000e+01 |-2.800000e+01 | 31.71%
287.80/287.81 c 288s|390000 | 66279 | 6608k| 16.9 | 103M| 82 | 12 | 200 |3110 | 200 | 219 |3476k| 0 | 10k|-4.098077e+01 |-2.800000e+01 | 31.68%
294.09/294.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.09/294.15 c 294s|400000 | 67595 | 6755k| 16.9 | 105M| 82 | 49 | 200 |3110 | 200 | 258 |3558k| 0 | 10k|-4.090909e+01 |-2.800000e+01 | 31.56%
300.50/300.51 c 301s|410000 | 68909 | 6904k| 16.8 | 107M| 82 | 44 | 200 |3110 | 200 | 229 |3640k| 0 | 10k|-4.086111e+01 |-2.800000e+01 | 31.48%
306.80/306.88 c 307s|420000 | 70247 | 7052k| 16.8 | 109M| 82 | 46 | 200 |3110 | 200 | 223 |3722k| 0 | 10k|-4.080000e+01 |-2.800000e+01 | 31.37%
313.20/313.25 c 313s|430000 | 71505 | 7202k| 16.7 | 111M| 82 | - | 200 |3110 | 200 | 218 |3807k| 0 | 10k|-4.075000e+01 |-2.800000e+01 | 31.29%
319.60/319.60 c 320s|440000 | 72793 | 7349k| 16.7 | 113M| 82 | - | 200 |3110 | 200 | 217 |3890k| 0 | 10k|-4.071429e+01 |-2.800000e+01 | 31.23%
325.80/325.88 c 326s|450000 | 73973 | 7494k| 16.6 | 115M| 82 | 46 | 200 |3110 | 200 | 231 |3976k| 0 | 10k|-4.066667e+01 |-2.800000e+01 | 31.15%
332.10/332.17 c 332s|460000 | 75327 | 7643k| 16.6 | 116M| 82 | - | 200 |3110 | 200 | 235 |4059k| 0 | 10k|-4.062500e+01 |-2.800000e+01 | 31.08%
338.50/338.50 c 339s|470000 | 76577 | 7789k| 16.5 | 118M| 82 | 28 | 200 |3110 | 200 | 220 |4143k| 0 | 11k|-4.057143e+01 |-2.800000e+01 | 30.99%
344.80/344.86 c 345s|480000 | 77851 | 7937k| 16.5 | 120M| 82 | 43 | 200 |3110 | 200 | 213 |4227k| 0 | 11k|-4.050000e+01 |-2.800000e+01 | 30.86%
350.99/351.09 c 351s|490000 | 79025 | 8081k| 16.5 | 122M| 82 | - | 200 |3110 | 200 | 217 |4310k| 0 | 11k|-4.050000e+01 |-2.800000e+01 | 30.86%
357.40/357.44 c 357s|500000 | 80281 | 8228k| 16.4 | 124M| 82 | 33 | 200 |3110 | 200 | 218 |4395k| 0 | 11k|-4.045455e+01 |-2.800000e+01 | 30.79%
363.80/363.80 c 364s|510000 | 81543 | 8375k| 16.4 | 126M| 82 | 36 | 200 |3110 | 200 | 229 |4480k| 0 | 11k|-4.040000e+01 |-2.800000e+01 | 30.69%
370.00/370.02 c 370s|520000 | 82745 | 8518k| 16.4 | 127M| 82 | - | 200 |3110 | 200 | 214 |4564k| 0 | 11k|-4.035294e+01 |-2.800000e+01 | 30.61%
376.30/376.31 c 376s|530000 | 84001 | 8664k| 16.3 | 129M| 82 | 52 | 200 |3110 | 200 | 257 |4649k| 0 | 11k|-4.033333e+01 |-2.800000e+01 | 30.58%
382.50/382.59 c 383s|540000 | 85189 | 8808k| 16.3 | 131M| 82 | 48 | 200 |3110 | 200 | 245 |4732k| 0 | 11k|-4.026667e+01 |-2.800000e+01 | 30.46%
388.79/388.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.79/388.84 c 389s|550000 | 86397 | 8951k| 16.3 | 133M| 82 | 81 | 200 |3110 | 200 | 253 |4817k| 0 | 11k|-4.024503e+01 |-2.800000e+01 | 30.43%
394.91/394.92 c 395s|560000 | 87515 | 9091k| 16.2 | 134M| 82 | - | 200 |3110 | 200 | 222 |4898k| 0 | 12k|-4.018750e+01 |-2.800000e+01 | 30.33%
401.20/401.23 c 401s|570000 | 88713 | 9237k| 16.2 | 136M| 82 | 42 | 200 |3110 | 200 | 224 |4982k| 0 | 12k|-4.014167e+01 |-2.800000e+01 | 30.25%
407.40/407.45 c 407s|580000 | 89825 | 9380k| 16.2 | 138M| 82 | 32 | 200 |3110 | 200 | 220 |5066k| 0 | 12k|-4.008108e+01 |-2.800000e+01 | 30.14%
413.51/413.53 c 414s|590000 | 90987 | 9519k| 16.1 | 139M| 82 | 45 | 200 |3110 | 200 | 236 |5146k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
419.80/419.84 c 420s|600000 | 92283 | 9665k| 16.1 | 141M| 82 | - | 200 |3110 | 200 | 217 |5232k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
426.00/426.03 c 426s|610000 | 93561 | 9808k| 16.1 | 143M| 82 | 43 | 200 |3110 | 200 | 222 |5314k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
430.70/430.71 o -29
430.70/430.71 c * 431s|617533 | 78662 | 9916k| 16.0 | 123M| 82 | - | 200 |3110 | 200 | 231 |5378k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
432.31/432.36 c 432s|620000 | 78883 | 9952k| 16.0 | 123M| 82 | - | 200 |3110 | 200 | 213 |5399k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
438.50/438.56 c 439s|630000 | 79763 | 10094k| 16.0 | 125M| 82 | 33 | 200 |3110 | 200 | 238 |5485k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
444.70/444.71 c 445s|640000 | 80635 | 10233k| 16.0 | 126M| 82 | 73 | 200 |3110 | 200 | 239 |5568k| 0 | 12k|-3.992857e+01 |-2.900000e+01 | 27.37%
450.70/450.77 c 451s|650000 | 81397 | 10370k| 15.9 | 127M| 82 | - | 200 |3110 | 200 | 210 |5653k| 0 | 12k|-3.988235e+01 |-2.900000e+01 | 27.29%
456.80/456.83 c 457s|660000 | 82223 | 10509k| 15.9 | 129M| 86 | - | 200 |3110 | 200 | 234 |5736k| 0 | 13k|-3.984615e+01 |-2.900000e+01 | 27.22%
462.90/462.93 c 463s|670000 | 83079 | 10648k| 15.9 | 130M| 86 | - | 200 |3110 | 200 | 233 |5819k| 0 | 13k|-3.980000e+01 |-2.900000e+01 | 27.14%
468.90/468.94 c 469s|680000 | 83867 | 10784k| 15.8 | 131M| 86 | - | 200 |3110 | 200 | 222 |5903k| 0 | 13k|-3.975758e+01 |-2.900000e+01 | 27.06%
474.90/474.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.90/474.91 c 475s|690000 | 84663 | 10919k| 15.8 | 133M| 86 | - | 200 |3110 | 200 | 200 |5985k| 0 | 13k|-3.975000e+01 |-2.900000e+01 | 27.04%
481.00/481.09 c 481s|700000 | 85491 | 11060k| 15.8 | 134M| 86 | - | 200 |3110 | 200 | 242 |6071k| 0 | 13k|-3.970732e+01 |-2.900000e+01 | 26.97%
487.10/487.15 c 487s|710000 | 86303 | 11196k| 15.8 | 135M| 86 | - | 200 |3110 | 200 | 212 |6155k| 0 | 13k|-3.966667e+01 |-2.900000e+01 | 26.89%
493.20/493.23 c 493s|720000 | 87161 | 11334k| 15.7 | 137M| 86 | 33 | 200 |3110 | 200 | 230 |6239k| 0 | 13k|-3.966667e+01 |-2.900000e+01 | 26.89%
499.20/499.25 c 499s|730000 | 87971 | 11471k| 15.7 | 138M| 86 | 35 | 200 |3110 | 200 | 215 |6322k| 0 | 13k|-3.962500e+01 |-2.900000e+01 | 26.81%
505.20/505.26 c 505s|740000 | 88683 | 11607k| 15.7 | 139M| 86 | 24 | 200 |3110 | 200 | 213 |6408k| 0 | 13k|-3.960000e+01 |-2.900000e+01 | 26.77%
511.40/511.40 c 511s|750000 | 89515 | 11747k| 15.6 | 140M| 86 | 16 | 200 |3110 | 200 | 200 |6493k| 0 | 13k|-3.953846e+01 |-2.900000e+01 | 26.65%
517.41/517.44 c 517s|760000 | 90251 | 11882k| 15.6 | 142M| 86 | - | 200 |3110 | 200 | 236 |6576k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
523.31/523.40 c 523s|770000 | 91033 | 12018k| 15.6 | 143M| 86 | - | 200 |3110 | 200 | 241 |6660k| 0 | 14k|-3.950000e+01 |-2.900000e+01 | 26.58%
529.30/529.38 c 529s|780000 | 91801 | 12154k| 15.6 | 144M| 86 | 20 | 200 |3110 | 200 | 219 |6745k| 0 | 14k|-3.950000e+01 |-2.900000e+01 | 26.58%
535.41/535.40 c 535s|790000 | 92581 | 12291k| 15.5 | 145M| 86 | 4 | 200 |3110 | 200 | 218 |6828k| 0 | 14k|-3.948276e+01 |-2.900000e+01 | 26.55%
541.40/541.48 c 541s|800000 | 93443 | 12429k| 15.5 | 147M| 86 | 54 | 200 |3110 | 200 | 243 |6912k| 0 | 14k|-3.942424e+01 |-2.900000e+01 | 26.44%
547.40/547.49 c 547s|810000 | 94173 | 12564k| 15.5 | 148M| 86 | 60 | 200 |3110 | 200 | 213 |6996k| 0 | 14k|-3.938710e+01 |-2.900000e+01 | 26.37%
553.51/553.52 c 554s|820000 | 94903 | 12700k| 15.5 | 149M| 86 | - | 200 |3110 | 200 | 228 |7077k| 0 | 14k|-3.933333e+01 |-2.900000e+01 | 26.27%
559.60/559.61 c 560s|830000 | 95709 | 12835k| 15.5 | 151M| 86 | - | 200 |3110 | 200 | 221 |7159k| 0 | 14k|-3.933333e+01 |-2.900000e+01 | 26.27%
565.61/565.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.61/565.65 c 566s|840000 | 96353 | 12970k| 15.4 | 152M| 86 | - | 200 |3110 | 200 | 215 |7245k| 0 | 14k|-3.928916e+01 |-2.900000e+01 | 26.19%
571.50/571.56 c 572s|850000 | 97079 | 13104k| 15.4 | 153M| 86 | 31 | 200 |3110 | 200 | 223 |7327k| 0 | 14k|-3.925000e+01 |-2.900000e+01 | 26.11%
577.40/577.50 c 577s|860000 | 97797 | 13238k| 15.4 | 154M| 86 | - | 200 |3110 | 200 | 217 |7411k| 0 | 14k|-3.925000e+01 |-2.900000e+01 | 26.11%
583.40/583.40 c 583s|870000 | 98535 | 13372k| 15.4 | 155M| 86 | 55 | 200 |3110 | 200 | 246 |7495k| 0 | 14k|-3.920000e+01 |-2.900000e+01 | 26.02%
589.20/589.29 c 589s|880000 | 99171 | 13504k| 15.3 | 156M| 86 | - | 200 |3110 | 200 | 238 |7579k| 0 | 15k|-3.916667e+01 |-2.900000e+01 | 25.96%
595.20/595.23 c 595s|890000 | 99895 | 13639k| 15.3 | 157M| 88 | 31 | 200 |3110 | 200 | 215 |7664k| 0 | 15k|-3.914286e+01 |-2.900000e+01 | 25.91%
601.10/601.14 c 601s|900000 |100601 | 13772k| 15.3 | 159M| 89 | 38 | 200 |3110 | 200 | 216 |7746k| 0 | 15k|-3.911111e+01 |-2.900000e+01 | 25.85%
607.00/607.09 c 607s|910000 |101329 | 13905k| 15.3 | 160M| 89 | - | 200 |3110 | 200 | 240 |7828k| 0 | 15k|-3.904762e+01 |-2.900000e+01 | 25.73%
612.90/612.97 c 613s|920000 |101937 | 14036k| 15.2 | 161M| 89 | 31 | 200 |3110 | 200 | 213 |7910k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
618.90/618.91 c 619s|930000 |102601 | 14169k| 15.2 | 162M| 89 | - | 200 |3110 | 200 | 230 |7994k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
624.81/624.85 c 625s|940000 |103327 | 14301k| 15.2 | 163M| 89 | 24 | 200 |3110 | 200 | 228 |8077k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
630.80/630.82 c 631s|950000 |103993 | 14437k| 15.2 | 164M| 91 | 6 | 200 |3110 | 200 | 229 |8161k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
636.70/636.73 c 637s|960000 |104633 | 14569k| 15.2 | 165M| 91 | - | 200 |3110 | 200 | 228 |8244k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
642.61/642.65 c 643s|970000 |105265 | 14703k| 15.1 | 166M| 91 | - | 200 |3110 | 200 | 256 |8331k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
648.41/648.45 c 648s|980000 |105897 | 14833k| 15.1 | 167M| 91 | - | 200 |3110 | 200 | 245 |8413k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
654.20/654.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.20/654.28 c 654s|990000 |106481 | 14964k| 15.1 | 168M| 91 | - | 200 |3110 | 200 | 224 |8495k| 0 | 15k|-3.897674e+01 |-2.900000e+01 | 25.60%
660.10/660.16 c 660s| 1000k|107141 | 15096k| 15.1 | 169M| 91 | - | 200 |3110 | 200 | 225 |8579k| 0 | 15k|-3.891765e+01 |-2.900000e+01 | 25.48%
665.90/665.98 c 666s| 1010k|107755 | 15226k| 15.1 | 171M| 91 | 42 | 200 |3110 | 200 | 226 |8661k| 0 | 16k|-3.887500e+01 |-2.900000e+01 | 25.40%
671.80/671.85 c 672s| 1020k|108387 | 15357k| 15.0 | 172M| 91 | - | 200 |3110 | 200 | 226 |8741k| 0 | 16k|-3.884733e+01 |-2.900000e+01 | 25.35%
677.70/677.70 c 678s| 1030k|109025 | 15486k| 15.0 | 173M| 91 | - | 200 |3110 | 200 | 215 |8820k| 0 | 16k|-3.883333e+01 |-2.900000e+01 | 25.32%
683.40/683.44 c 683s| 1040k|109565 | 15612k| 15.0 | 174M| 91 | 13 | 200 |3110 | 200 | 200 |8902k| 0 | 16k|-3.880000e+01 |-2.900000e+01 | 25.26%
689.21/689.21 c 689s| 1050k|110133 | 15741k| 15.0 | 174M| 91 | 19 | 200 |3110 | 200 | 200 |8983k| 0 | 16k|-3.876889e+01 |-2.900000e+01 | 25.20%
695.01/695.00 c 695s| 1060k|110677 | 15870k| 15.0 | 175M| 91 | 35 | 200 |3110 | 200 | 231 |9063k| 0 | 16k|-3.875000e+01 |-2.900000e+01 | 25.16%
700.81/700.81 c 701s| 1070k|111281 | 16000k| 14.9 | 176M| 91 | 19 | 200 |3110 | 200 | 223 |9146k| 0 | 16k|-3.872603e+01 |-2.900000e+01 | 25.11%
706.51/706.53 c 707s| 1080k|111887 | 16126k| 14.9 | 177M| 91 | 58 | 200 |3110 | 200 | 229 |9226k| 0 | 16k|-3.868966e+01 |-2.900000e+01 | 25.04%
712.30/712.35 c 712s| 1090k|112521 | 16255k| 14.9 | 178M| 91 | - | 200 |3110 | 200 | 213 |9308k| 0 | 16k|-3.866667e+01 |-2.900000e+01 | 25.00%
718.11/718.12 c 718s| 1100k|113143 | 16383k| 14.9 | 180M| 91 | 78 | 200 |3110 | 200 | 261 |9389k| 0 | 16k|-3.866667e+01 |-2.900000e+01 | 25.00%
724.01/724.05 c 724s| 1110k|113755 | 16514k| 14.9 | 181M| 91 | - | 200 |3110 | 200 | 247 |9469k| 0 | 16k|-3.864286e+01 |-2.900000e+01 | 24.95%
729.80/729.88 c 730s| 1120k|114355 | 16642k| 14.8 | 182M| 91 | 17 | 200 |3110 | 200 | 222 |9550k| 0 | 16k|-3.860000e+01 |-2.900000e+01 | 24.87%
735.51/735.58 c 736s| 1130k|114899 | 16768k| 14.8 | 182M| 91 | 43 | 200 |3110 | 200 | 217 |9632k| 0 | 16k|-3.860000e+01 |-2.900000e+01 | 24.87%
741.31/741.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.31/741.31 c 741s| 1140k|115417 | 16894k| 14.8 | 183M| 91 | 59 | 200 |3110 | 200 | 247 |9712k| 0 | 16k|-3.855556e+01 |-2.900000e+01 | 24.78%
747.01/747.06 c 747s| 1150k|115925 | 17022k| 14.8 | 184M| 91 | 55 | 200 |3110 | 200 | 242 |9794k| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
752.71/752.74 c 753s| 1160k|116419 | 17148k| 14.8 | 185M| 91 | 10 | 200 |3110 | 200 | 211 |9874k| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
758.40/758.42 c 758s| 1170k|116923 | 17273k| 14.8 | 186M| 91 | 13 | 200 |3110 | 200 | 212 |9954k| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
764.11/764.18 c 764s| 1180k|117467 | 17400k| 14.7 | 187M| 91 | - | 200 |3110 | 200 | 228 | 10M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
769.91/769.97 c 770s| 1190k|118013 | 17527k| 14.7 | 188M| 91 | 46 | 200 |3110 | 200 | 223 | 10M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
775.70/775.74 c 776s| 1200k|118623 | 17653k| 14.7 | 189M| 91 | - | 200 |3110 | 200 | 233 | 10M| 0 | 17k|-3.850000e+01 |-2.900000e+01 | 24.68%
781.41/781.48 c 781s| 1210k|119113 | 17779k| 14.7 | 190M| 91 | 52 | 200 |3110 | 200 | 212 | 10M| 0 | 17k|-3.844444e+01 |-2.900000e+01 | 24.57%
787.21/787.21 c 787s| 1220k|119627 | 17906k| 14.7 | 191M| 91 | - | 200 |3110 | 200 | 220 | 10M| 0 | 17k|-3.840000e+01 |-2.900000e+01 | 24.48%
792.91/792.92 c 793s| 1230k|120147 | 18030k| 14.6 | 192M| 91 | - | 200 |3110 | 200 | 211 | 10M| 0 | 17k|-3.838235e+01 |-2.900000e+01 | 24.44%
795.91/795.98 o -30
795.91/795.98 c * 796s| 1235k| 96747 | 18095k| 14.6 | 157M| 91 | - | 200 |3110 | 200 | 246 | 10M| 0 | 17k|-3.836667e+01 |-3.000000e+01 | 21.81%
798.81/798.83 c 799s| 1240k| 96895 | 18158k| 14.6 | 158M| 91 | - | 200 |3110 | 200 | 221 | 10M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
804.40/804.48 c 804s| 1250k| 97083 | 18278k| 14.6 | 158M| 91 | - | 200 |3110 | 200 | 224 | 10M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
810.11/810.15 c 810s| 1260k| 97385 | 18403k| 14.6 | 159M| 91 | - | 200 |3110 | 200 | 229 | 10M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
815.90/815.90 c 816s| 1270k| 97591 | 18524k| 14.6 | 159M| 91 | - | 200 |3110 | 200 | 213 | 10M| 0 | 17k|-3.830556e+01 |-3.000000e+01 | 21.68%
821.62/821.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.62/821.66 c 822s| 1280k| 97845 | 18647k| 14.6 | 160M| 91 | - | 200 |3110 | 200 | 228 | 10M| 0 | 17k|-3.828125e+01 |-3.000000e+01 | 21.63%
827.22/827.24 c 827s| 1290k| 98035 | 18767k| 14.5 | 160M| 91 | 11 | 200 |3110 | 200 | 200 | 10M| 0 | 18k|-3.825000e+01 |-3.000000e+01 | 21.57%
832.81/832.82 c 833s| 1300k| 98239 | 18888k| 14.5 | 161M| 91 | - | 200 |3110 | 200 | 227 | 11M| 0 | 18k|-3.825000e+01 |-3.000000e+01 | 21.57%
838.41/838.40 c 838s| 1310k| 98491 | 19008k| 14.5 | 162M| 91 | 5 | 200 |3110 | 200 | 200 | 11M| 0 | 18k|-3.822222e+01 |-3.000000e+01 | 21.51%
844.01/844.04 c 844s| 1320k| 98711 | 19129k| 14.5 | 162M| 91 | - | 200 |3110 | 200 | 215 | 11M| 0 | 18k|-3.820000e+01 |-3.000000e+01 | 21.47%
849.71/849.74 c 850s| 1330k| 98877 | 19252k| 14.5 | 162M| 91 | 55 | 200 |3110 | 200 | 219 | 11M| 0 | 18k|-3.818519e+01 |-3.000000e+01 | 21.44%
855.30/855.38 c 855s| 1340k| 99023 | 19371k| 14.4 | 163M| 92 | - | 200 |3110 | 200 | 216 | 11M| 0 | 18k|-3.816667e+01 |-3.000000e+01 | 21.40%
861.01/861.06 c 861s| 1350k| 99245 | 19490k| 14.4 | 163M| 92 | - | 200 |3110 | 200 | 221 | 11M| 0 | 18k|-3.814286e+01 |-3.000000e+01 | 21.35%
866.71/866.74 c 867s| 1360k| 99511 | 19613k| 14.4 | 164M| 92 | 45 | 200 |3110 | 200 | 224 | 11M| 0 | 18k|-3.811111e+01 |-3.000000e+01 | 21.28%
872.31/872.32 c 872s| 1370k| 99745 | 19733k| 14.4 | 164M| 92 | 19 | 200 |3110 | 200 | 200 | 11M| 0 | 18k|-3.808333e+01 |-3.000000e+01 | 21.23%
877.91/877.93 c 878s| 1380k| 99905 | 19854k| 14.4 | 165M| 92 | - | 200 |3110 | 200 | 231 | 11M| 0 | 18k|-3.803846e+01 |-3.000000e+01 | 21.13%
883.51/883.58 c 884s| 1390k|100069 | 19976k| 14.4 | 165M| 94 | - | 200 |3110 | 200 | 218 | 11M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
889.20/889.23 c 889s| 1400k|100369 | 20098k| 14.3 | 166M| 94 | 62 | 200 |3110 | 200 | 236 | 11M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
894.81/894.83 c 895s| 1410k|100643 | 20218k| 14.3 | 167M| 94 | 44 | 200 |3110 | 200 | 228 | 11M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
900.51/900.55 c 901s| 1420k|100841 | 20338k| 14.3 | 167M| 94 | - | 200 |3110 | 200 | 270 | 11M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
906.11/906.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
906.11/906.11 c 906s| 1430k|101069 | 20457k| 14.3 | 168M| 94 | - | 200 |3110 | 200 | 238 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
911.61/911.69 c 912s| 1440k|101307 | 20576k| 14.3 | 168M| 94 | 60 | 200 |3110 | 200 | 244 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
917.21/917.26 c 917s| 1450k|101521 | 20696k| 14.3 | 169M| 94 | 43 | 200 |3110 | 200 | 211 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
922.92/922.92 c 923s| 1460k|101777 | 20818k| 14.3 | 169M| 94 | - | 200 |3110 | 200 | 250 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
928.51/928.55 c 929s| 1470k|102039 | 20937k| 14.2 | 170M| 94 | - | 200 |3110 | 200 | 242 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
934.11/934.12 c 934s| 1480k|102257 | 21055k| 14.2 | 170M| 94 | 42 | 200 |3110 | 200 | 214 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
939.81/939.83 c 940s| 1490k|102503 | 21176k| 14.2 | 171M| 94 | 35 | 200 |3110 | 200 | 224 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
945.41/945.48 c 945s| 1500k|102695 | 21296k| 14.2 | 171M| 94 | - | 200 |3110 | 200 | 227 | 12M| 0 | 19k|-3.795238e+01 |-3.000000e+01 | 20.95%
950.92/950.95 c 951s| 1510k|102859 | 21412k| 14.2 | 172M| 94 | 23 | 200 |3110 | 200 | 200 | 12M| 0 | 19k|-3.791667e+01 |-3.000000e+01 | 20.88%
956.41/956.46 c 956s| 1520k|103033 | 21529k| 14.2 | 172M| 94 | 3 | 200 |3110 | 200 | 208 | 12M| 0 | 19k|-3.788889e+01 |-3.000000e+01 | 20.82%
961.81/961.88 c 962s| 1530k|103179 | 21644k| 14.1 | 172M| 94 | 54 | 200 |3110 | 200 | 212 | 12M| 0 | 19k|-3.787500e+01 |-3.000000e+01 | 20.79%
967.41/967.43 c 967s| 1540k|103405 | 21761k| 14.1 | 173M| 94 | 6 | 200 |3110 | 200 | 218 | 12M| 0 | 19k|-3.785714e+01 |-3.000000e+01 | 20.75%
973.01/973.06 c 973s| 1550k|103603 | 21877k| 14.1 | 173M| 94 | 5 | 200 |3110 | 200 | 200 | 13M| 0 | 19k|-3.783333e+01 |-3.000000e+01 | 20.70%
978.62/978.62 c 979s| 1560k|103813 | 21995k| 14.1 | 174M| 94 | - | 200 |3110 | 200 | 211 | 13M| 0 | 19k|-3.780000e+01 |-3.000000e+01 | 20.63%
984.02/984.09 c 984s| 1570k|103963 | 22109k| 14.1 | 174M| 94 | - | 200 |3110 | 200 | 200 | 13M| 0 | 19k|-3.780000e+01 |-3.000000e+01 | 20.63%
989.51/989.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.51/989.56 c 990s| 1580k|104089 | 22222k| 14.1 | 175M| 94 | - | 200 |3110 | 200 | 200 | 13M| 0 | 19k|-3.776923e+01 |-3.000000e+01 | 20.57%
995.01/995.08 c 995s| 1590k|104317 | 22341k| 14.0 | 175M| 94 | 28 | 200 |3110 | 200 | 213 | 13M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
1000.51/1000.54 c 1001s| 1600k|104533 | 22456k| 14.0 | 176M| 94 | - | 200 |3110 | 200 | 223 | 13M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
1006.01/1006.05 c 1006s| 1610k|104641 | 22570k| 14.0 | 176M| 94 | 51 | 200 |3110 | 200 | 231 | 13M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
1011.51/1011.54 c 1012s| 1620k|104763 | 22684k| 14.0 | 176M| 94 | 64 | 200 |3110 | 200 | 258 | 13M| 0 | 19k|-3.772727e+01 |-3.000000e+01 | 20.48%
1017.01/1017.06 c 1017s| 1630k|104993 | 22801k| 14.0 | 177M| 94 | 27 | 200 |3110 | 200 | 225 | 13M| 0 | 19k|-3.770000e+01 |-3.000000e+01 | 20.42%
1022.51/1022.50 c 1023s| 1640k|105133 | 22916k| 14.0 | 177M| 94 | - | 200 |3110 | 200 | 212 | 13M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
1028.01/1028.01 c 1028s| 1650k|105319 | 23032k| 14.0 | 178M| 94 | 22 | 200 |3110 | 200 | 210 | 13M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
1033.41/1033.43 c 1033s| 1660k|105495 | 23146k| 13.9 | 178M| 94 | - | 200 |3110 | 200 | 213 | 13M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
1038.81/1038.83 c 1039s| 1670k|105615 | 23257k| 13.9 | 178M| 94 | 36 | 200 |3110 | 200 | 200 | 13M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
1044.41/1044.41 c 1044s| 1680k|105779 | 23372k| 13.9 | 179M| 94 | 5 | 200 |3110 | 200 | 200 | 14M| 0 | 20k|-3.762500e+01 |-3.000000e+01 | 20.27%
1049.81/1049.83 c 1050s| 1690k|105973 | 23486k| 13.9 | 179M| 94 | 4 | 200 |3110 | 200 | 211 | 14M| 0 | 20k|-3.760000e+01 |-3.000000e+01 | 20.21%
1055.21/1055.22 c 1055s| 1700k|106095 | 23598k| 13.9 | 179M| 94 | 30 | 200 |3110 | 200 | 200 | 14M| 0 | 20k|-3.760000e+01 |-3.000000e+01 | 20.21%
1060.62/1060.65 c 1061s| 1710k|106237 | 23711k| 13.9 | 180M| 94 | 53 | 200 |3110 | 200 | 200 | 14M| 0 | 20k|-3.757143e+01 |-3.000000e+01 | 20.15%
1066.12/1066.10 c 1066s| 1720k|106371 | 23826k| 13.8 | 180M| 94 | - | 200 |3110 | 200 | 242 | 14M| 0 | 20k|-3.755556e+01 |-3.000000e+01 | 20.12%
1071.61/1071.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.61/1071.61 c 1072s| 1730k|106467 | 23937k| 13.8 | 181M| 94 | 69 | 200 |3110 | 200 | 256 | 14M| 0 | 20k|-3.751724e+01 |-3.000000e+01 | 20.04%
1077.02/1077.05 c 1077s| 1740k|106683 | 24050k| 13.8 | 181M| 94 | - | 200 |3110 | 200 | 214 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1082.42/1082.46 c 1082s| 1750k|106791 | 24163k| 13.8 | 181M| 94 | - | 200 |3110 | 200 | 246 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1087.71/1087.78 c 1088s| 1760k|106933 | 24273k| 13.8 | 182M| 94 | 38 | 200 |3110 | 200 | 211 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1093.22/1093.22 c 1093s| 1770k|107093 | 24387k| 13.8 | 182M| 94 | - | 200 |3110 | 200 | 219 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1098.52/1098.57 c 1099s| 1780k|107223 | 24497k| 13.8 | 182M| 94 | - | 200 |3110 | 200 | 233 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1104.01/1104.06 c 1104s| 1790k|107349 | 24608k| 13.7 | 183M| 94 | 3 | 200 |3110 | 200 | 216 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1109.41/1109.47 c 1109s| 1800k|107421 | 24721k| 13.7 | 183M| 94 | 33 | 200 |3110 | 200 | 227 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1114.71/1114.76 c 1115s| 1810k|107545 | 24830k| 13.7 | 183M| 94 | 3 | 200 |3110 | 200 | 215 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
1120.12/1120.15 c 1120s| 1820k|107711 | 24943k| 13.7 | 184M| 94 | 19 | 200 |3110 | 200 | 213 | 15M| 0 | 20k|-3.747727e+01 |-3.000000e+01 | 19.95%
1125.52/1125.53 c 1126s| 1830k|107795 | 25053k| 13.7 | 184M| 94 | 18 | 200 |3110 | 200 | 219 | 15M| 0 | 21k|-3.744444e+01 |-3.000000e+01 | 19.88%
1131.01/1131.00 c 1131s| 1840k|107959 | 25165k| 13.7 | 184M| 94 | - | 200 |3110 | 200 | 240 | 15M| 0 | 21k|-3.741176e+01 |-3.000000e+01 | 19.81%
1136.32/1136.38 c 1136s| 1850k|108095 | 25274k| 13.7 | 185M| 99 | - | 200 |3110 | 200 | 225 | 15M| 0 | 21k|-3.740000e+01 |-3.000000e+01 | 19.79%
1141.73/1141.72 c 1142s| 1860k|108173 | 25385k| 13.6 | 185M| 99 | - | 200 |3110 | 200 | 261 | 15M| 0 | 21k|-3.737500e+01 |-3.000000e+01 | 19.73%
1147.12/1147.11 c 1147s| 1870k|108325 | 25497k| 13.6 | 185M| 99 | - | 200 |3110 | 200 | 239 | 15M| 0 | 21k|-3.734375e+01 |-3.000000e+01 | 19.67%
1152.42/1152.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.42/1152.48 c 1152s| 1880k|108457 | 25609k| 13.6 | 186M| 99 | - | 200 |3110 | 200 | 211 | 15M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1157.72/1157.78 c 1158s| 1890k|108511 | 25717k| 13.6 | 186M| 99 | - | 200 |3110 | 200 | 230 | 15M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1163.21/1163.25 c 1163s| 1900k|108657 | 25827k| 13.6 | 186M| 99 | - | 200 |3110 | 200 | 260 | 15M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1168.52/1168.59 c 1169s| 1910k|108719 | 25937k| 13.6 | 187M| 99 | - | 200 |3110 | 200 | 230 | 15M| 0 | 21k|-3.731507e+01 |-3.000000e+01 | 19.60%
1173.92/1173.92 c 1174s| 1920k|108785 | 26046k| 13.6 | 187M| 99 | - | 200 |3110 | 200 | 212 | 15M| 0 | 21k|-3.729412e+01 |-3.000000e+01 | 19.56%
1179.32/1179.32 c 1179s| 1930k|108857 | 26157k| 13.5 | 187M| 99 | - | 200 |3110 | 200 | 239 | 15M| 0 | 21k|-3.726923e+01 |-3.000000e+01 | 19.50%
1184.62/1184.62 c 1185s| 1940k|108905 | 26267k| 13.5 | 187M| 101 | 27 | 200 |3110 | 200 | 217 | 15M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1190.02/1190.01 c 1190s| 1950k|108967 | 26376k| 13.5 | 188M| 101 | - | 200 |3110 | 200 | 226 | 16M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1195.32/1195.37 c 1195s| 1960k|109047 | 26485k| 13.5 | 188M| 101 | 45 | 200 |3110 | 200 | 215 | 16M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1200.61/1200.60 c 1201s| 1970k|109169 | 26593k| 13.5 | 188M| 101 | 28 | 200 |3110 | 200 | 216 | 16M| 0 | 21k|-3.723333e+01 |-3.000000e+01 | 19.43%
1205.91/1205.93 c 1206s| 1980k|109259 | 26703k| 13.5 | 189M| 101 | - | 200 |3110 | 200 | 200 | 16M| 0 | 21k|-3.720833e+01 |-3.000000e+01 | 19.37%
1211.22/1211.21 c 1211s| 1990k|109327 | 26810k| 13.5 | 189M| 101 | - | 200 |3110 | 200 | 237 | 16M| 0 | 21k|-3.720000e+01 |-3.000000e+01 | 19.35%
1216.52/1216.50 c 1217s| 2000k|109377 | 26917k| 13.5 | 189M| 101 | 62 | 200 |3110 | 200 | 247 | 16M| 0 | 21k|-3.718182e+01 |-3.000000e+01 | 19.32%
1221.81/1221.89 c 1222s| 2010k|109435 | 27024k| 13.4 | 189M| 101 | 43 | 200 |3110 | 200 | 213 | 16M| 0 | 21k|-3.716667e+01 |-3.000000e+01 | 19.28%
1227.12/1227.14 c 1227s| 2020k|109441 | 27131k| 13.4 | 189M| 101 | - | 200 |3110 | 200 | 249 | 16M| 0 | 21k|-3.715000e+01 |-3.000000e+01 | 19.25%
1232.42/1232.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.42/1232.43 c 1232s| 2030k|109511 | 27240k| 13.4 | 190M| 101 | - | 200 |3110 | 200 | 219 | 16M| 0 | 21k|-3.712500e+01 |-3.000000e+01 | 19.19%
1237.72/1237.73 c 1238s| 2040k|109531 | 27347k| 13.4 | 190M| 101 | 11 | 200 |3110 | 200 | 214 | 16M| 0 | 22k|-3.711111e+01 |-3.000000e+01 | 19.16%
1242.93/1242.96 c 1243s| 2050k|109533 | 27453k| 13.4 | 190M| 101 | 27 | 200 |3110 | 200 | 214 | 16M| 0 | 22k|-3.709091e+01 |-3.000000e+01 | 19.12%
1248.31/1248.32 c 1248s| 2060k|109573 | 27558k| 13.4 | 190M| 101 | - | 200 |3110 | 200 | 200 | 16M| 0 | 22k|-3.706667e+01 |-3.000000e+01 | 19.06%
1253.62/1253.62 c 1254s| 2070k|109639 | 27667k| 13.4 | 191M| 101 | 25 | 200 |3110 | 200 | 212 | 16M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1258.92/1258.92 c 1259s| 2080k|109685 | 27777k| 13.3 | 191M| 101 | - | 200 |3110 | 200 | 214 | 16M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1264.12/1264.19 c 1264s| 2090k|109801 | 27885k| 13.3 | 191M| 101 | - | 200 |3110 | 200 | 200 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1269.42/1269.41 c 1269s| 2100k|109859 | 27992k| 13.3 | 191M| 101 | 35 | 200 |3110 | 200 | 215 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1274.71/1274.76 c 1275s| 2110k|109899 | 28098k| 13.3 | 192M| 101 | 32 | 200 |3110 | 200 | 225 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1279.92/1279.94 c 1280s| 2120k|109939 | 28204k| 13.3 | 192M| 101 | - | 200 |3110 | 200 | 230 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1285.02/1285.09 c 1285s| 2130k|110027 | 28308k| 13.3 | 192M| 101 | - | 200 |3110 | 200 | 234 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1290.23/1290.25 c 1290s| 2140k|110069 | 28413k| 13.3 | 192M| 101 | 26 | 200 |3110 | 200 | 200 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1295.52/1295.57 c 1296s| 2150k|110189 | 28521k| 13.3 | 193M| 101 | 29 | 200 |3110 | 200 | 200 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1300.92/1300.92 c 1301s| 2160k|110249 | 28627k| 13.2 | 193M| 101 | 17 | 200 |3110 | 200 | 212 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1306.12/1306.11 c 1306s| 2170k|110331 | 28733k| 13.2 | 193M| 101 | - | 200 |3110 | 200 | 200 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1311.22/1311.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1311.22/1311.25 c 1311s| 2180k|110395 | 28838k| 13.2 | 193M| 101 | - | 200 |3110 | 200 | 213 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1316.32/1316.38 c 1316s| 2190k|110431 | 28942k| 13.2 | 193M| 101 | 43 | 200 |3110 | 200 | 211 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1321.52/1321.58 c 1322s| 2200k|110509 | 29048k| 13.2 | 194M| 101 | - | 200 |3110 | 200 | 214 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1326.92/1326.94 c 1327s| 2210k|110641 | 29155k| 13.2 | 194M| 101 | 7 | 200 |3110 | 200 | 211 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1332.12/1332.14 c 1332s| 2220k|110759 | 29263k| 13.2 | 194M| 101 | 29 | 200 |3110 | 200 | 226 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1337.32/1337.36 c 1337s| 2230k|110835 | 29370k| 13.2 | 195M| 101 | 24 | 200 |3110 | 200 | 213 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1342.52/1342.56 c 1343s| 2240k|110949 | 29476k| 13.2 | 195M| 101 | 4 | 200 |3110 | 200 | 233 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1347.82/1347.80 c 1348s| 2250k|110969 | 29582k| 13.1 | 195M| 101 | 10 | 200 |3110 | 200 | 200 | 18M| 0 | 22k|-3.696154e+01 |-3.000000e+01 | 18.83%
1353.12/1353.11 c 1353s| 2260k|110981 | 29686k| 13.1 | 195M| 101 | - | 200 |3110 | 200 | 240 | 18M| 0 | 22k|-3.693333e+01 |-3.000000e+01 | 18.77%
1358.22/1358.27 c 1358s| 2270k|111003 | 29791k| 13.1 | 195M| 101 | 5 | 200 |3110 | 200 | 213 | 18M| 0 | 23k|-3.691549e+01 |-3.000000e+01 | 18.73%
1363.32/1363.39 c 1363s| 2280k|110993 | 29894k| 13.1 | 196M| 101 | - | 200 |3110 | 200 | 238 | 18M| 0 | 23k|-3.689474e+01 |-3.000000e+01 | 18.69%
1368.53/1368.54 c 1369s| 2290k|111059 | 30000k| 13.1 | 196M| 101 | - | 200 |3110 | 200 | 217 | 18M| 0 | 23k|-3.687500e+01 |-3.000000e+01 | 18.64%
1373.82/1373.80 c 1374s| 2300k|111153 | 30104k| 13.1 | 196M| 101 | 57 | 200 |3110 | 200 | 255 | 18M| 0 | 23k|-3.685882e+01 |-3.000000e+01 | 18.61%
1379.02/1379.09 c 1379s| 2310k|111137 | 30210k| 13.1 | 196M| 101 | - | 200 |3110 | 200 | 234 | 18M| 0 | 23k|-3.684615e+01 |-3.000000e+01 | 18.58%
1384.22/1384.28 c 1384s| 2320k|111243 | 30316k| 13.1 | 196M| 101 | - | 200 |3110 | 200 | 233 | 18M| 0 | 23k|-3.683333e+01 |-3.000000e+01 | 18.55%
1389.43/1389.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.43/1389.42 c 1389s| 2330k|111289 | 30419k| 13.1 | 197M| 101 | 10 | 200 |3110 | 200 | 219 | 18M| 0 | 23k|-3.683333e+01 |-3.000000e+01 | 18.55%
1394.52/1394.52 c 1395s| 2340k|111359 | 30522k| 13.0 | 197M| 101 | - | 200 |3110 | 200 | 225 | 18M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1399.82/1399.80 c 1400s| 2350k|111411 | 30627k| 13.0 | 197M| 101 | 13 | 200 |3110 | 200 | 225 | 18M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1404.93/1404.97 c 1405s| 2360k|111461 | 30730k| 13.0 | 197M| 101 | 43 | 200 |3110 | 200 | 228 | 18M| 0 | 23k|-3.677778e+01 |-3.000000e+01 | 18.43%
1410.13/1410.15 c 1410s| 2370k|111503 | 30834k| 13.0 | 198M| 101 | - | 200 |3110 | 200 | 237 | 19M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1415.22/1415.22 c 1415s| 2380k|111511 | 30937k| 13.0 | 198M| 101 | - | 200 |3110 | 200 | 239 | 19M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1420.32/1420.37 c 1420s| 2390k|111555 | 31039k| 13.0 | 198M| 101 | - | 200 |3110 | 200 | 225 | 19M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1425.52/1425.57 c 1426s| 2400k|111595 | 31140k| 13.0 | 198M| 101 | - | 200 |3110 | 200 | 233 | 19M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1430.52/1430.59 c 1431s| 2410k|111591 | 31240k| 13.0 | 198M| 101 | - | 200 |3110 | 200 | 223 | 19M| 0 | 23k|-3.674194e+01 |-3.000000e+01 | 18.35%
1435.73/1435.72 c 1436s| 2420k|111627 | 31343k| 12.9 | 198M| 101 | 9 | 200 |3110 | 200 | 216 | 19M| 0 | 23k|-3.671429e+01 |-3.000000e+01 | 18.29%
1440.72/1440.79 c 1441s| 2430k|111691 | 31445k| 12.9 | 199M| 101 | 11 | 200 |3110 | 200 | 200 | 19M| 0 | 23k|-3.670000e+01 |-3.000000e+01 | 18.26%
1445.93/1445.93 c 1446s| 2440k|111741 | 31544k| 12.9 | 199M| 101 | 6 | 200 |3110 | 200 | 221 | 19M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1451.03/1451.09 c 1451s| 2450k|111759 | 31645k| 12.9 | 199M| 101 | 63 | 200 |3110 | 200 | 235 | 19M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1456.23/1456.21 c 1456s| 2460k|111831 | 31748k| 12.9 | 199M| 101 | - | 200 |3110 | 200 | 228 | 19M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1461.22/1461.27 c 1461s| 2470k|111891 | 31850k| 12.9 | 199M| 101 | 46 | 200 |3110 | 200 | 228 | 19M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1466.33/1466.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.33/1466.38 c 1466s| 2480k|111925 | 31952k| 12.9 | 200M| 101 | 34 | 200 |3110 | 200 | 214 | 19M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1471.62/1471.60 c 1472s| 2490k|111991 | 32053k| 12.9 | 200M| 101 | - | 200 |3110 | 200 | 225 | 19M| 0 | 23k|-3.666667e+01 |-3.000000e+01 | 18.18%
1476.82/1476.85 c 1477s| 2500k|112067 | 32161k| 12.9 | 200M| 101 | 46 | 200 |3110 | 200 | 214 | 19M| 0 | 23k|-3.662874e+01 |-3.000000e+01 | 18.10%
1481.82/1481.89 c 1482s| 2510k|112099 | 32262k| 12.8 | 200M| 101 | 41 | 200 |3110 | 200 | 245 | 19M| 0 | 23k|-3.662000e+01 |-3.000000e+01 | 18.08%
1486.92/1486.97 c 1487s| 2520k|112127 | 32364k| 12.8 | 200M| 101 | 32 | 200 |3110 | 200 | 200 | 20M| 0 | 23k|-3.660000e+01 |-3.000000e+01 | 18.03%
1492.02/1492.08 c 1492s| 2530k|112145 | 32464k| 12.8 | 201M| 101 | - | 200 |3110 | 200 | 232 | 20M| 0 | 24k|-3.660000e+01 |-3.000000e+01 | 18.03%
1497.23/1497.25 c 1497s| 2540k|112195 | 32566k| 12.8 | 201M| 101 | - | 200 |3110 | 200 | 228 | 20M| 0 | 24k|-3.657143e+01 |-3.000000e+01 | 17.97%
1502.33/1502.33 c 1502s| 2550k|112179 | 32667k| 12.8 | 201M| 104 | 14 | 200 |3110 | 200 | 213 | 20M| 0 | 24k|-3.656250e+01 |-3.000000e+01 | 17.95%
1507.33/1507.36 c 1507s| 2560k|112149 | 32767k| 12.8 | 201M| 104 | - | 200 |3110 | 200 | 232 | 20M| 0 | 24k|-3.654545e+01 |-3.000000e+01 | 17.91%
1512.43/1512.43 c 1512s| 2570k|112205 | 32867k| 12.8 | 201M| 104 | - | 200 |3110 | 200 | 255 | 20M| 0 | 24k|-3.651515e+01 |-3.000000e+01 | 17.84%
1517.72/1517.70 c 1518s| 2580k|112327 | 32970k| 12.8 | 202M| 104 | - | 200 |3110 | 200 | 238 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1522.72/1522.75 c 1523s| 2590k|112293 | 33069k| 12.8 | 202M| 104 | - | 200 |3110 | 200 | 228 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1527.83/1527.85 c 1528s| 2600k|112299 | 33172k| 12.8 | 202M| 104 | 21 | 200 |3110 | 200 | 232 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1532.82/1532.82 c 1533s| 2610k|112313 | 33270k| 12.7 | 202M| 104 | - | 200 |3110 | 200 | 215 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1537.83/1537.87 c 1538s| 2620k|112257 | 33367k| 12.7 | 202M| 104 | - | 200 |3110 | 200 | 258 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1542.93/1542.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.93/1542.96 c 1543s| 2630k|112279 | 33467k| 12.7 | 202M| 104 | - | 200 |3110 | 200 | 213 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1547.92/1547.95 c 1548s| 2640k|112313 | 33566k| 12.7 | 202M| 104 | 36 | 200 |3110 | 200 | 211 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1552.93/1552.98 c 1553s| 2650k|112381 | 33668k| 12.7 | 203M| 104 | - | 200 |3110 | 200 | 220 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1558.02/1558.06 c 1558s| 2660k|112381 | 33768k| 12.7 | 203M| 104 | - | 200 |3110 | 200 | 200 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1563.22/1563.20 c 1563s| 2670k|112303 | 33867k| 12.7 | 203M| 104 | 36 | 200 |3110 | 200 | 218 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1568.23/1568.21 c 1568s| 2680k|112347 | 33966k| 12.7 | 203M| 104 | - | 200 |3110 | 200 | 213 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1573.13/1573.17 c 1573s| 2690k|112341 | 34064k| 12.7 | 203M| 104 | 10 | 200 |3110 | 200 | 216 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1578.12/1578.11 c 1578s| 2700k|112331 | 34162k| 12.6 | 203M| 104 | - | 200 |3110 | 200 | 245 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1583.23/1583.27 c 1583s| 2710k|112387 | 34263k| 12.6 | 203M| 104 | 69 | 200 |3110 | 200 | 248 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1588.33/1588.36 c 1588s| 2720k|112405 | 34364k| 12.6 | 203M| 104 | 44 | 200 |3110 | 200 | 232 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1593.32/1593.34 c 1593s| 2730k|112387 | 34462k| 12.6 | 204M| 104 | - | 200 |3110 | 200 | 218 | 21M| 0 | 24k|-3.646970e+01 |-3.000000e+01 | 17.74%
1598.33/1598.39 c 1598s| 2740k|112341 | 34561k| 12.6 | 204M| 104 | - | 200 |3110 | 200 | 213 | 21M| 0 | 24k|-3.644444e+01 |-3.000000e+01 | 17.68%
1603.43/1603.43 c 1603s| 2750k|112319 | 34659k| 12.6 | 204M| 104 | 18 | 200 |3110 | 200 | 220 | 21M| 0 | 24k|-3.642857e+01 |-3.000000e+01 | 17.65%
1608.63/1608.62 c 1609s| 2760k|112335 | 34760k| 12.6 | 204M| 104 | 22 | 200 |3110 | 200 | 215 | 21M| 0 | 24k|-3.640625e+01 |-3.000000e+01 | 17.60%
1613.64/1613.63 c 1614s| 2770k|112327 | 34860k| 12.6 | 204M| 104 | - | 200 |3110 | 200 | 212 | 21M| 0 | 24k|-3.640000e+01 |-3.000000e+01 | 17.58%
1618.52/1618.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1618.52/1618.58 c 1619s| 2780k|112277 | 34956k| 12.6 | 204M| 104 | - | 200 |3110 | 200 | 235 | 21M| 0 | 25k|-3.638462e+01 |-3.000000e+01 | 17.55%
1623.53/1623.51 c 1624s| 2790k|112281 | 35053k| 12.6 | 204M| 104 | 4 | 200 |3110 | 200 | 214 | 21M| 0 | 25k|-3.637302e+01 |-3.000000e+01 | 17.52%
1628.72/1628.70 c 1629s| 2800k|112251 | 35151k| 12.5 | 204M| 104 | - | 200 |3110 | 200 | 248 | 21M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1633.63/1633.66 c 1634s| 2810k|112239 | 35249k| 12.5 | 204M| 104 | 7 | 200 |3110 | 200 | 215 | 21M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1638.53/1638.57 c 1639s| 2820k|112239 | 35345k| 12.5 | 204M| 104 | - | 200 |3110 | 200 | 249 | 21M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1643.63/1643.62 c 1644s| 2830k|112237 | 35445k| 12.5 | 205M| 104 | 16 | 200 |3110 | 200 | 230 | 22M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1648.63/1648.68 c 1649s| 2840k|112203 | 35542k| 12.5 | 205M| 104 | - | 200 |3110 | 200 | 208 | 22M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1653.73/1653.77 c 1654s| 2850k|112243 | 35642k| 12.5 | 205M| 105 | - | 200 |3110 | 200 | 211 | 22M| 0 | 25k|-3.630769e+01 |-3.000000e+01 | 17.37%
1658.73/1658.72 c 1659s| 2860k|112179 | 35739k| 12.5 | 205M| 105 | - | 200 |3110 | 200 | 211 | 22M| 0 | 25k|-3.629630e+01 |-3.000000e+01 | 17.35%
1663.63/1663.61 c 1664s| 2870k|112131 | 35835k| 12.5 | 205M| 105 | - | 200 |3110 | 200 | 239 | 22M| 0 | 25k|-3.628571e+01 |-3.000000e+01 | 17.32%
1668.63/1668.68 c 1669s| 2880k|112105 | 35931k| 12.5 | 205M| 105 | - | 200 |3110 | 200 | 237 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1673.63/1673.61 c 1674s| 2890k|112097 | 36026k| 12.5 | 205M| 105 | - | 200 |3110 | 200 | 240 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1678.43/1678.48 c 1678s| 2900k|112125 | 36122k| 12.5 | 205M| 105 | 40 | 200 |3110 | 200 | 214 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1683.43/1683.47 c 1683s| 2910k|112123 | 36219k| 12.4 | 205M| 105 | 7 | 200 |3110 | 200 | 217 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1688.44/1688.47 c 1688s| 2920k|112177 | 36316k| 12.4 | 206M| 105 | - | 200 |3110 | 200 | 238 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1693.33/1693.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1693.33/1693.39 c 1693s| 2930k|112139 | 36411k| 12.4 | 206M| 105 | - | 200 |3110 | 200 | 254 | 22M| 0 | 25k|-3.623810e+01 |-3.000000e+01 | 17.21%
1698.23/1698.30 c 1698s| 2940k|112141 | 36508k| 12.4 | 206M| 105 | - | 200 |3110 | 200 | 227 | 22M| 0 | 25k|-3.622222e+01 |-3.000000e+01 | 17.18%
1703.23/1703.27 c 1703s| 2950k|112145 | 36605k| 12.4 | 206M| 105 | - | 200 |3110 | 200 | 215 | 22M| 0 | 25k|-3.620000e+01 |-3.000000e+01 | 17.13%
1708.24/1708.21 c 1708s| 2960k|112083 | 36698k| 12.4 | 206M| 105 | 34 | 200 |3110 | 200 | 214 | 22M| 0 | 25k|-3.620000e+01 |-3.000000e+01 | 17.13%
1713.22/1713.23 c 1713s| 2970k|112069 | 36795k| 12.4 | 206M| 105 | - | 200 |3110 | 200 | 268 | 22M| 0 | 25k|-3.617647e+01 |-3.000000e+01 | 17.07%
1718.13/1718.12 c 1718s| 2980k|112077 | 36891k| 12.4 | 206M| 105 | 24 | 200 |3110 | 200 | 209 | 22M| 0 | 25k|-3.616667e+01 |-3.000000e+01 | 17.05%
1723.13/1723.11 c 1723s| 2990k|112041 | 36988k| 12.4 | 206M| 105 | 37 | 200 |3110 | 200 | 211 | 23M| 0 | 25k|-3.616667e+01 |-3.000000e+01 | 17.05%
1728.14/1728.11 c 1728s| 3000k|112025 | 37086k| 12.4 | 206M| 105 | 33 | 200 |3110 | 200 | 224 | 23M| 0 | 25k|-3.614516e+01 |-3.000000e+01 | 17.00%
1733.13/1733.14 c 1733s| 3010k|112019 | 37183k| 12.3 | 206M| 105 | - | 200 |3110 | 200 | 222 | 23M| 0 | 25k|-3.613333e+01 |-3.000000e+01 | 16.97%
1738.04/1738.04 c 1738s| 3020k|111985 | 37278k| 12.3 | 207M| 105 | 34 | 200 |3110 | 200 | 217 | 23M| 0 | 25k|-3.612500e+01 |-3.000000e+01 | 16.96%
1742.93/1742.92 c 1743s| 3030k|111967 | 37373k| 12.3 | 207M| 105 | - | 200 |3110 | 200 | 215 | 23M| 0 | 25k|-3.610714e+01 |-3.000000e+01 | 16.91%
1747.83/1747.89 c 1748s| 3040k|111931 | 37469k| 12.3 | 207M| 105 | 20 | 200 |3110 | 200 | 217 | 23M| 0 | 25k|-3.608511e+01 |-3.000000e+01 | 16.86%
1752.83/1752.89 c 1753s| 3050k|111859 | 37563k| 12.3 | 207M| 105 | - | 200 |3110 | 200 | 229 | 23M| 0 | 25k|-3.606667e+01 |-3.000000e+01 | 16.82%
1757.73/1757.77 c 1758s| 3060k|111821 | 37657k| 12.3 | 207M| 105 | - | 200 |3110 | 200 | 218 | 23M| 0 | 26k|-3.603846e+01 |-3.000000e+01 | 16.76%
1762.73/1762.76 c 1763s| 3070k|111871 | 37756k| 12.3 | 207M| 105 | - | 200 |3110 | 200 | 242 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1767.73/1767.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1767.73/1767.78 c 1768s| 3080k|111859 | 37854k| 12.3 | 207M| 105 | - | 200 |3110 | 200 | 229 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1772.93/1772.92 c 1773s| 3090k|111897 | 37953k| 12.3 | 207M| 105 | - | 200 |3110 | 200 | 225 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1777.73/1777.78 c 1778s| 3100k|111861 | 38049k| 12.3 | 207M| 105 | 21 | 200 |3110 | 200 | 212 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1782.63/1782.64 c 1783s| 3110k|111841 | 38144k| 12.3 | 207M| 105 | - | 200 |3110 | 200 | 248 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1787.54/1787.50 c 1788s| 3120k|111841 | 38238k| 12.3 | 208M| 105 | 14 | 200 |3110 | 200 | 200 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1792.53/1792.54 c 1793s| 3130k|111841 | 38333k| 12.2 | 208M| 105 | - | 200 |3110 | 200 | 241 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 3139128
1797.03/1797.00 c Primal Bound : -3.00000000000000e+01 (664 solutions)
1797.03/1797.00 c Dual Bound : -3.60000000000000e+01
1797.03/1797.00 c Gap : 16.67 %
1797.03/1797.00 s SATISFIABLE
1797.03/1797.00 v -x200 -x199 x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 x190 x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179
1797.03/1797.00 v x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 x168 -x167 x166 -x165 -x164 -x163 x162 -x161 x160 -x159 -x158 -x157
1797.03/1797.00 v -x156 -x155 x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 x146 -x145 -x144 x143 -x142 x141 -x140 x139 -x138 -x137 -x136 x135
1797.03/1797.00 v -x134 -x133 -x132 -x131 x130 x129 -x128 x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1797.03/1797.00 v -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90
1797.03/1797.00 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65
1797.03/1797.00 v -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40
1797.03/1797.00 v -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1797.03/1797.00 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.08 (included in solving)
1797.03/1797.00 c reading : 0.01 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3485151-1307784651.opb
1797.03/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 200 initial, 200 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3485151-1307784651.opb
1797.03/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 3110 initial, 3110 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.01 3110 0 0 3110 0 200 0 0 0
1797.03/1797.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 2516937 0 622205 0 205 1646 0 0 3298328
1797.03/1797.00 c logicor : 3110 72 3151497 866859 0 622201 151 16 18175539 23924064 0 0
1797.03/1797.00 c countsols : 0 0 0 6 0 660 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 38.91 0.00 0.00 38.74 0.00 0.17 0.00
1797.03/1797.00 c logicor : 154.81 0.02 69.00 44.52 0.00 41.27 0.00
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 7 0 0 0
1797.03/1797.00 c pseudoobj : 5151350 2 0 8
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.87 0.87 0.00
1797.03/1797.00 c rootredcost : 0.96 0.96 0.00
1797.03/1797.00 c pseudoobj : 23.87 23.87 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.00 16 0 0 0.0 0 0.0 -
1797.03/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 0 0.0 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.04 71 - - 217 - (maximal pool size: 2641)
1797.03/1797.00 c redcost : 14.78 2786535 0 538548 0 0
1797.03/1797.00 c impliedbounds : 0.01 72 0 0 1826 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 1.91 72 0 0 10310 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.33 20 0 0 9184 0
1797.03/1797.00 c cmir : 0.07 10 0 0 0 0
1797.03/1797.00 c flowcover : 0.05 10 0 0 0 0
1797.03/1797.00 c clique : 0.19 72 0 0 603 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 37.42 1650078 205 1646 0 0 3298328
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.12 - 6
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c feaspump : 0.08 0 0
1797.03/1797.00 c oneopt : 0.83 9 1
1797.03/1797.00 c crossover : 1.31 50 1
1797.03/1797.00 c rootsoldiving : 0.47 197 4
1797.03/1797.00 c veclendiving : 0.47 394 11
1797.03/1797.00 c coefdiving : 0.43 394 7
1797.03/1797.00 c fracdiving : 0.48 394 6
1797.03/1797.00 c guideddiving : 0.49 394 10
1797.03/1797.00 c linesearchdiving : 0.45 394 2
1797.03/1797.00 c pscostdiving : 0.45 394 14
1797.03/1797.00 c objpscostdiving : 0.28 198 7
1797.03/1797.00 c trivial : 0.00 2 1
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 50.92 1652907 588
1797.03/1797.00 c zirounding : 0.64 1000 3
1797.03/1797.00 c rounding : 5.55 86086 2
1797.03/1797.00 c shifting : 1.48 19305 1
1797.03/1797.00 c intshifting : 0.04 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.48 0 0
1797.03/1797.00 c trysol : 0.71 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 30.20 0 0 0.00 0.00
1797.03/1797.00 c dual LP : 1114.11 4012706 38375592 9.56 34445.04
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 1.84 8027 46548 5.80 25352.64
1797.03/1797.00 c strong branching : 18.13 26291 431071 16.40 23781.14
1797.03/1797.00 c (at root node) : - 22 14035 637.95 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 3139128
1797.03/1797.00 c nodes (total) : 3139128
1797.03/1797.00 c nodes left : 111857
1797.03/1797.00 c max depth : 105
1797.03/1797.00 c max depth (total): 105
1797.03/1797.00 c backtracks : 372080 (11.9%)
1797.03/1797.00 c delayed cutoffs : 0
1797.03/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.00 c avg switch length: 5.33
1797.03/1797.00 c switching time : 135.65
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 664 (11 improvements)
1797.03/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1797.03/1797.00 c Primal Bound : -3.00000000000000e+01 (in run 1, after 1235112 nodes, 795.91 seconds, depth 52, found by <relaxation>)
1797.03/1797.00 c Dual Bound : -3.60000000000000e+01
1797.03/1797.00 c Gap : 16.67 %
1797.03/1797.00 c Root Dual Bound : -4.92039671812530e+01
1797.03/1797.00 c Root Iterations : 11919
1797.43/1797.48 c Time complete: 1797.51.
OK -30
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485151-1307784651/watcher-3485151-1307784651 -o /tmp/evaluation-result-3485151-1307784651/solver-3485151-1307784651 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485151-1307784651.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.84 1.94 1.90 2/174 18635 /proc/meminfo: memFree=31930180/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=9968 CPUtime=0 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 1493 0 0 0 0 0 0 0 25 0 1 0 968695876 10207232 1448 33554432000 4194304 8979876 140734379580336 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18635/statm: 2492 1448 367 1169 0 1319 0 [startup+0.0611 s] /proc/loadavg: 1.84 1.94 1.90 2/174 18635 /proc/meminfo: memFree=31930180/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=25036 CPUtime=0.05 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 5276 0 0 0 5 0 0 0 25 0 1 0 968695876 25636864 4974 33554432000 4194304 8979876 140734379580336 18446744073709551615 6493024 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 6259 4974 501 1169 0 5086 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 25036 [startup+0.101123 s] /proc/loadavg: 1.84 1.94 1.90 2/174 18635 /proc/meminfo: memFree=31930180/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=29848 CPUtime=0.08 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 6583 0 0 0 8 0 0 0 25 0 1 0 968695876 30564352 6281 33554432000 4194304 8979876 140734379580336 18446744073709551615 7022131 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 7462 6281 581 1169 0 6289 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 29848 [startup+0.301186 s] /proc/loadavg: 1.84 1.94 1.90 2/174 18635 /proc/meminfo: memFree=31930180/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=32672 CPUtime=0.29 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 7448 0 0 0 28 1 0 0 25 0 1 0 968695876 33456128 7095 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 8168 7095 653 1169 0 6995 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32672 [startup+0.701093 s] /proc/loadavg: 1.84 1.94 1.90 2/174 18635 /proc/meminfo: memFree=31930180/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=36140 CPUtime=0.69 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 8226 0 0 0 68 1 0 0 25 0 1 0 968695876 37007360 7867 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 9035 7867 655 1169 0 7862 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36140 [startup+1.50098 s] /proc/loadavg: 1.84 1.94 1.90 2/175 18667 /proc/meminfo: memFree=31916040/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=43492 CPUtime=1.49 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 10174 0 0 0 147 2 0 0 25 0 1 0 968695876 44535808 9770 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 10873 9770 656 1169 0 9700 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43492 [startup+3.10062 s] /proc/loadavg: 1.84 1.94 1.90 3/178 18677 /proc/meminfo: memFree=31815576/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=46188 CPUtime=3.09 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 10899 0 0 0 306 3 0 0 25 0 1 0 968695876 47296512 10479 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 11547 10479 657 1169 0 10374 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46188 [startup+6.30114 s] /proc/loadavg: 1.85 1.94 1.90 3/178 18677 /proc/meminfo: memFree=31802852/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=47176 CPUtime=6.29 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 11700 0 0 0 621 8 0 0 25 0 1 0 968695876 48308224 10799 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 11794 10799 677 1169 0 10621 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47176 [startup+12.701 s] /proc/loadavg: 1.86 1.94 1.90 3/178 18677 /proc/meminfo: memFree=31765456/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=47508 CPUtime=12.69 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 15684 0 0 0 1241 28 0 0 25 0 1 0 968695876 48648192 10912 33554432000 4194304 8979876 140734379580336 18446744073709551615 4786285 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 11877 10912 697 1169 0 10704 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47508 [startup+25.5006 s] /proc/loadavg: 1.89 1.94 1.90 3/178 18678 /proc/meminfo: memFree=31739760/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=54228 CPUtime=25.49 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 33463 0 0 0 2484 65 0 0 25 0 1 0 968695876 55529472 12553 33554432000 4194304 8979876 140734379580336 18446744073709551615 4349904 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 13557 12553 701 1169 0 12384 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 54228 [startup+51.1003 s] /proc/loadavg: 1.93 1.95 1.90 3/178 18678 /proc/meminfo: memFree=31697252/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=70080 CPUtime=51.09 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 43666 0 0 0 4974 135 0 0 25 0 1 0 968695876 71761920 16560 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 17520 16560 701 1169 0 16347 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 70080 [startup+102.306 s] /proc/loadavg: 1.97 1.95 1.91 3/178 18680 /proc/meminfo: memFree=31661312/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=94792 CPUtime=102.3 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 53768 0 0 0 9946 284 0 0 25 0 1 0 968695876 97067008 22858 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 23698 22858 701 1169 0 22525 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 94792 [startup+162.301 s] /proc/loadavg: 1.99 1.96 1.91 3/178 18681 /proc/meminfo: memFree=31651040/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=104168 CPUtime=162.3 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 72760 0 0 0 15777 453 0 0 25 0 1 0 968695876 106668032 25122 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 26042 25122 701 1169 0 24869 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 104168 [startup+222.3 s] /proc/loadavg: 1.99 1.96 1.91 3/178 18683 /proc/meminfo: memFree=31628880/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=125780 CPUtime=222.29 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 80114 0 0 0 21605 624 0 0 25 0 1 0 968695876 128798720 30577 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 31445 30577 701 1169 0 30272 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 125780 [startup+282.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 18684 /proc/meminfo: memFree=31613076/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=140944 CPUtime=282.29 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 85871 0 0 0 27440 789 0 0 25 0 1 0 968695876 144326656 34441 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 35236 34441 701 1169 0 34063 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 140944 [startup+342.3 s] /proc/loadavg: 1.99 1.97 1.91 3/178 18686 /proc/meminfo: memFree=31596396/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=159708 CPUtime=342.29 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 90092 0 0 0 33276 953 0 0 25 0 1 0 968695876 163540992 38662 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 39927 38662 701 1169 0 38754 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 159708 [startup+402.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 18688 /proc/meminfo: memFree=31576876/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=178632 CPUtime=402.3 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 96776 0 0 0 39102 1128 0 0 25 0 1 0 968695876 182919168 43448 33554432000 4194304 8979876 140734379580336 18446744073709551615 5381765 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 44658 43448 701 1169 0 43485 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 178632 [startup+462.3 s] /proc/loadavg: 1.99 1.97 1.91 3/178 18689 /proc/meminfo: memFree=31568992/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=186584 CPUtime=462.3 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 115015 0 0 0 44939 1291 0 0 25 0 1 0 968695876 191062016 45538 33554432000 4194304 8979876 140734379580336 18446744073709551615 6552556 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 46646 45538 701 1169 0 45473 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 186584 [startup+522.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 18694 /proc/meminfo: memFree=31564396/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=187376 CPUtime=522.3 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 117093 0 0 0 50777 1453 0 0 25 0 1 0 968695876 191873024 45710 33554432000 4194304 8979876 140734379580336 18446744073709551615 6783162 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 46844 45710 701 1169 0 45671 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 187376 [startup+582.3 s] /proc/loadavg: 1.99 1.97 1.91 3/178 18695 /proc/meminfo: memFree=31554136/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=198520 CPUtime=582.3 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 121723 0 0 0 56616 1614 0 0 25 0 1 0 968695876 203284480 48434 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 49630 48434 701 1169 0 48457 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 198520 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31512848/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=235012 CPUtime=1122.32 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 154701 0 0 0 109141 3091 0 0 25 0 1 0 968695876 240652288 57747 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 58753 57747 701 1169 0 57580 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 235012 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 18711 /proc/meminfo: memFree=31507324/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=237912 CPUtime=1182.31 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 155325 0 0 0 114990 3241 0 0 25 0 1 0 968695876 243621888 58371 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 59478 58371 701 1169 0 58305 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 237912 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 18713 /proc/meminfo: memFree=31502904/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=240180 CPUtime=1242.32 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 155892 0 0 0 120833 3399 0 0 25 0 1 0 968695876 245944320 58938 33554432000 4194304 8979876 140734379580336 18446744073709551615 7047435 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 60045 58938 701 1169 0 58872 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 240180 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 18715 /proc/meminfo: memFree=31498744/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=242328 CPUtime=1302.33 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 158338 0 0 0 126682 3551 0 0 25 0 1 0 968695876 248143872 59470 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 60582 59470 701 1169 0 59409 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 242328 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 1.93 3/178 18716 /proc/meminfo: memFree=31495064/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=244184 CPUtime=1362.32 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 158840 0 0 0 132532 3700 0 0 25 0 1 0 968695876 250044416 59972 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 61046 59972 701 1169 0 59873 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 244184 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 1.93 3/178 18718 /proc/meminfo: memFree=31488304/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=246040 CPUtime=1422.32 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 159272 0 0 0 138376 3856 0 0 25 0 1 0 968695876 251944960 60404 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 61510 60404 701 1169 0 60337 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 246040 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18719 /proc/meminfo: memFree=31483628/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=247900 CPUtime=1482.32 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 159733 0 0 0 144224 4008 0 0 25 0 1 0 968695876 253849600 60865 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 61975 60865 701 1169 0 60802 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 247900 [startup+1542.3 s] /proc/loadavg: 2.03 2.01 1.93 3/178 18721 /proc/meminfo: memFree=31478720/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=249244 CPUtime=1542.32 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 160071 0 0 0 150072 4160 0 0 25 0 1 0 968695876 255225856 61203 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 62311 61203 701 1169 0 61138 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 249244 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 1.93 3/178 18723 /proc/meminfo: memFree=31473584/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=250840 CPUtime=1602.33 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 160473 0 0 0 155927 4306 0 0 25 0 1 0 968695876 256860160 61605 33554432000 4194304 8979876 140734379580336 18446744073709551615 4987782 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 62710 61605 701 1169 0 61537 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 250840 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18724 /proc/meminfo: memFree=31469424/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=252184 CPUtime=1662.33 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 160805 0 0 0 161772 4461 0 0 25 0 1 0 968695876 258236416 61937 33554432000 4194304 8979876 140734379580336 18446744073709551615 7179461 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 63046 61937 701 1169 0 61873 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 252184 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18726 /proc/meminfo: memFree=31465896/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=253528 CPUtime=1722.33 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 163296 0 0 0 167613 4620 0 0 25 0 1 0 968695876 259612672 62268 33554432000 4194304 8979876 140734379580336 18446744073709551615 6598443 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 63382 62268 701 1169 0 62209 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 253528 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18727 /proc/meminfo: memFree=31461356/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=254516 CPUtime=1782.34 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 163552 0 0 0 173457 4777 0 0 25 0 1 0 968695876 260624384 62524 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 63629 62524 701 1169 0 62456 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 254516 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18728 /proc/meminfo: memFree=31461476/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=254516 CPUtime=1785.53 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 163552 0 0 0 173766 4787 0 0 25 0 1 0 968695876 260624384 62524 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 63629 62524 701 1169 0 62456 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 254516 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18728 /proc/meminfo: memFree=31461100/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=254872 CPUtime=1791.94 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 163637 0 0 0 174388 4806 0 0 25 0 1 0 968695876 260988928 62609 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 63718 62609 701 1169 0 62545 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 254872 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18728 /proc/meminfo: memFree=31460848/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=254872 CPUtime=1795.14 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 163637 0 0 0 174700 4814 0 0 25 0 1 0 968695876 260988928 62609 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 63718 62609 701 1169 0 62545 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 254872 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18728 /proc/meminfo: memFree=31460848/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=254872 CPUtime=1796.73 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 163637 0 0 0 174855 4818 0 0 25 0 1 0 968695876 260988928 62609 33554432000 4194304 8979876 140734379580336 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/18635/statm: 63718 62609 701 1169 0 62545 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 254872 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18728 /proc/meminfo: memFree=31460848/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=254872 CPUtime=1797.13 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 163640 0 0 0 174895 4818 0 0 25 0 1 0 968695876 260988928 62612 33554432000 4194304 8979876 140734379580336 18446744073709551615 6783376 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18635/statm: 63718 62612 704 1169 0 62545 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 254872 [startup+1797.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18728 /proc/meminfo: memFree=31460848/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=254872 CPUtime=1797.33 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 163640 0 0 0 174915 4818 0 0 25 0 1 0 968695876 260988928 62612 33554432000 4194304 8979876 140734379580336 18446744073709551615 4897609 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18635/statm: 63718 62612 704 1169 0 62545 0 Current children cumulated CPU time (s) 1797.33 Current children cumulated vsize (KiB) 254872 [startup+1797.41 s] /proc/loadavg: 2.00 2.00 1.93 3/178 18728 /proc/meminfo: memFree=31460848/32950940 swapFree=67074964/67111528 [pid=18635] ppid=18632 vsize=254872 CPUtime=1797.43 cores=0,2,4,6 /proc/18635/stat : 18635 (scip-2.0.1.4_2.) R 18632 18635 18592 0 -1 4202496 163640 0 0 0 174925 4818 0 0 25 0 1 0 968695876 260988928 62612 33554432000 4194304 8979876 140734379580336 18446744073709551615 4897609 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18635/statm: 63718 62612 704 1169 0 62545 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 254872 Child status: 0 Real time (s): 1797.49 CPU time (s): 1797.53 CPU user time (s): 1749.33 CPU system time (s): 48.1987 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 254872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1749.33 system time used= 48.1987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 163645 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 22922 runsolver used 2.6196 second user time and 5.57115 second system time The end
Begin job on node117 at 2011-06-11 11:30:51 IDJOB=3485151 IDBENCH=48197 IDSOLVER=1977 FILE ID=node117/3485151-1307784651 RUNJOBID= node117-1307784651-18610 PBS_JOBID= 13550904 Free space on /tmp= 74024 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_2.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485151-1307784651/watcher-3485151-1307784651 -o /tmp/evaluation-result-3485151-1307784651/solver-3485151-1307784651 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485151-1307784651.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4a1dc018d8373d1119ec5a7a226f506e RANDOM SEED=1052015912 node117.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.849 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.69 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.849 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.849 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.849 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.849 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 : 5332.75 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.849 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.74 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.849 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.75 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.849 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 : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 31931268 kB Buffers: 142392 kB Cached: 691188 kB SwapCached: 6124 kB Active: 372308 kB Inactive: 496576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 31931268 kB SwapTotal: 67111528 kB SwapFree: 67074964 kB Dirty: 33452 kB Writeback: 0 kB AnonPages: 32136 kB Mapped: 12592 kB Slab: 84044 kB PageTables: 4712 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 184896 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= 73988 MiB End job on node117 at 2011-06-11 12:00:49