Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | -52 | 1800.04 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_5.opb |
| MD5SUM | 2585c1015aa6228da840b6f61adc6732 |
| 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 | -52 |
| Best CPU time to get the best result obtained on this benchmark | 1797.67 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -52 |
| 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 | 10 |
| Maximum length of a constraint | 22 |
| 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) | 2528 |
| Sum of products size (including duplicates) | 5056 |
| Number of different products | 1264 |
| Sum of products size | 2528 |
0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3450687-1307107235.opb>
0.00/0.01 c original problem has 1464 variables (1464 bin, 0 int, 0 impl, 0 cont) and 1664 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.00/0.05 c (round 1) 1264 del vars, 400 del conss, 0 add conss, 1264 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5056 impls, 0 clqs
0.00/0.05 c (round 2) 1264 del vars, 400 del conss, 0 add conss, 1264 chg bounds, 0 chg sides, 0 chg coeffs, 1264 upgd conss, 7584 impls, 0 clqs
0.00/0.06 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 1264 deleted vars, 400 deleted constraints, 0 added constraints, 1264 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 7584 implications, 0 cliques
0.00/0.06 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1264 constraints
0.00/0.06 c 1264 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.05
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 2.0.1.5
0.00/0.06 c
0.00/0.06 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c conflict/interconss = 0
0.00/0.06 c
0.00/0.06 c # should binary conflicts be preferred?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c conflict/preferbinary = TRUE
0.00/0.06 c
0.00/0.06 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c constraints/agelimit = 1
0.00/0.06 c
0.00/0.06 c # should enforcement of pseudo solution be disabled?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/disableenfops = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1800
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 13950
0.00/0.06 c
0.00/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/indicator/addCouplingCons = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.07 c t 0.1s| 1 | 0 | 227 | - |4797k| 0 | 200 | 200 |1264 | 200 |1264 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.00/0.07 o -1
0.00/0.07 c R 0.1s| 1 | 0 | 227 | - |4799k| 0 | 200 | 200 |1264 | 200 |1264 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.00/0.08 o -2
0.00/0.08 c s 0.1s| 1 | 0 | 227 | - |4801k| 0 | 200 | 200 |1264 | 200 |1264 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.11 c 0.1s| 1 | 0 | 298 | - |4807k| 0 | 193 | 200 |1264 | 200 |1273 | 9 | 0 | 0 |-9.650000e+01 |-2.000000e+00 | 97.93%
0.09/0.11 o -35
0.09/0.11 c b 0.1s| 1 | 0 | 298 | - |4813k| 0 | 193 | 200 |1264 | 200 |1273 | 9 | 0 | 0 |-9.650000e+01 |-3.500000e+01 | 63.73%
0.09/0.13 c 0.1s| 1 | 0 | 358 | - |4826k| 0 | 189 | 200 |1264 | 200 |1282 | 18 | 0 | 0 |-9.450000e+01 |-3.500000e+01 | 62.96%
0.09/0.16 c 0.2s| 1 | 0 | 443 | - |4846k| 0 | 185 | 200 |1264 | 200 |1293 | 29 | 0 | 0 |-9.250000e+01 |-3.500000e+01 | 62.16%
0.09/0.19 c 0.2s| 1 | 0 | 527 | - |4857k| 0 | 180 | 200 |1264 | 200 |1303 | 39 | 0 | 0 |-9.000000e+01 |-3.500000e+01 | 61.11%
0.19/0.24 c 0.2s| 1 | 0 | 719 | - |4983k| 0 | 176 | 200 |1264 | 200 |1314 | 50 | 0 | 0 |-8.800000e+01 |-3.500000e+01 | 60.23%
0.29/0.31 c 0.3s| 1 | 0 | 1018 | - |5000k| 0 | 172 | 200 |1264 | 200 |1326 | 62 | 0 | 0 |-8.600000e+01 |-3.500000e+01 | 59.30%
0.29/0.34 c 0.3s| 1 | 0 | 1045 | - |5007k| 0 | 171 | 200 |1264 | 200 |1333 | 69 | 0 | 0 |-8.550000e+01 |-3.500000e+01 | 59.06%
0.39/0.41 c 0.4s| 1 | 0 | 1187 | - |5118k| 0 | 169 | 200 |1264 | 200 |1341 | 77 | 0 | 0 |-8.450000e+01 |-3.500000e+01 | 58.58%
0.39/0.44 c 0.4s| 1 | 0 | 1243 | - |5126k| 0 | 166 | 200 |1264 | 200 |1349 | 85 | 0 | 0 |-8.300000e+01 |-3.500000e+01 | 57.83%
0.48/0.54 c 0.5s| 1 | 0 | 1836 | - |5207k| 0 | 169 | 200 |1264 | 200 |1361 | 97 | 0 | 0 |-8.075000e+01 |-3.500000e+01 | 56.66%
0.48/0.59 c 0.6s| 1 | 0 | 1974 | - |5243k| 0 | 164 | 200 |1264 | 200 | 398 | 105 | 0 | 0 |-8.025000e+01 |-3.500000e+01 | 56.39%
0.59/0.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.62 c 0.6s| 1 | 0 | 2060 | - |5742k| 0 | 187 | 200 |1264 | 200 | 405 | 112 | 0 | 0 |-7.961839e+01 |-3.500000e+01 | 56.04%
0.59/0.68 c 0.7s| 1 | 0 | 2138 | - |6168k| 0 | 159 | 200 |1264 | 200 | 539 | 246 | 0 | 0 |-7.900000e+01 |-3.500000e+01 | 55.70%
0.69/0.71 c 0.7s| 1 | 0 | 2274 | - |6462k| 0 | 170 | 200 |1264 | 200 | 555 | 262 | 0 | 0 |-7.800000e+01 |-3.500000e+01 | 55.13%
0.69/0.77 c 0.8s| 1 | 0 | 2520 | - |6836k| 0 | 191 | 200 |1264 | 200 | 600 | 307 | 0 | 0 |-7.702778e+01 |-3.500000e+01 | 54.56%
0.79/0.84 c 0.8s| 1 | 0 | 2748 | - |7304k| 0 | 190 | 200 |1264 | 200 | 632 | 339 | 0 | 0 |-7.616071e+01 |-3.500000e+01 | 54.04%
0.89/0.92 c 0.9s| 1 | 0 | 3002 | - |7831k| 0 | 198 | 200 |1264 | 200 | 539 | 373 | 0 | 0 |-7.539554e+01 |-3.500000e+01 | 53.58%
0.99/1.02 c 1.0s| 1 | 0 | 3253 | - |9542k| 0 | 194 | 200 |1264 | 200 | 573 | 407 | 0 | 0 |-7.481050e+01 |-3.500000e+01 | 53.22%
1.10/1.13 c 1.1s| 1 | 0 | 3525 | - | 11M| 0 | 194 | 200 |1264 | 200 | 624 | 458 | 0 | 0 |-7.417164e+01 |-3.500000e+01 | 52.81%
1.19/1.22 c 1.2s| 1 | 0 | 3780 | - | 11M| 0 | 200 | 200 |1264 | 200 | 643 | 477 | 0 | 0 |-7.372817e+01 |-3.500000e+01 | 52.53%
1.19/1.28 c 1.3s| 1 | 0 | 4046 | - | 12M| 0 | 199 | 200 |1264 | 200 | 666 | 500 | 0 | 0 |-7.294904e+01 |-3.500000e+01 | 52.02%
1.29/1.34 c 1.3s| 1 | 0 | 4218 | - | 12M| 0 | 197 | 200 |1264 | 200 | 684 | 518 | 0 | 0 |-7.262269e+01 |-3.500000e+01 | 51.81%
1.39/1.40 c 1.4s| 1 | 0 | 4500 | - | 12M| 0 | 198 | 200 |1264 | 200 | 539 | 533 | 0 | 0 |-7.217756e+01 |-3.500000e+01 | 51.51%
1.39/1.45 c 1.4s| 1 | 0 | 4717 | - | 12M| 0 | 199 | 200 |1264 | 200 | 551 | 545 | 0 | 0 |-7.195407e+01 |-3.500000e+01 | 51.36%
1.39/1.49 c 1.5s| 1 | 0 | 4864 | - | 12M| 0 | 200 | 200 |1264 | 200 | 571 | 565 | 0 | 0 |-7.172208e+01 |-3.500000e+01 | 51.20%
1.49/1.55 c 1.6s| 1 | 0 | 5199 | - | 12M| 0 | 200 | 200 |1264 | 200 | 588 | 582 | 0 | 0 |-7.127336e+01 |-3.500000e+01 | 50.89%
1.59/1.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.61 c 1.6s| 1 | 0 | 5409 | - | 12M| 0 | 199 | 200 |1264 | 200 | 598 | 592 | 0 | 0 |-7.102804e+01 |-3.500000e+01 | 50.72%
1.59/1.65 c 1.7s| 1 | 0 | 5533 | - | 12M| 0 | 198 | 200 |1264 | 200 | 611 | 605 | 0 | 0 |-7.079612e+01 |-3.500000e+01 | 50.56%
1.69/1.70 c 1.7s| 1 | 0 | 5619 | - | 12M| 0 | 198 | 200 |1264 | 200 | 432 | 615 | 0 | 0 |-7.074410e+01 |-3.500000e+01 | 50.53%
1.69/1.74 c 1.7s| 1 | 0 | 5651 | - | 12M| 0 | 200 | 200 |1264 | 200 | 444 | 627 | 0 | 0 |-7.072829e+01 |-3.500000e+01 | 50.51%
1.69/1.77 c 1.8s| 1 | 0 | 5724 | - | 12M| 0 | 200 | 200 |1264 | 200 | 456 | 639 | 0 | 0 |-7.070216e+01 |-3.500000e+01 | 50.50%
1.69/1.81 c 1.8s| 1 | 0 | 5752 | - | 12M| 0 | 199 | 200 |1264 | 200 | 458 | 641 | 0 | 0 |-7.069581e+01 |-3.500000e+01 | 50.49%
1.69/1.84 c 1.8s| 1 | 0 | 5763 | - | 12M| 0 | 200 | 200 |1264 | 200 | 463 | 646 | 0 | 0 |-7.069461e+01 |-3.500000e+01 | 50.49%
1.69/1.87 c 1.9s| 1 | 0 | 5767 | - | 12M| 0 | 200 | 200 |1264 | 200 | 465 | 648 | 0 | 0 |-7.069422e+01 |-3.500000e+01 | 50.49%
2.24/3.38 c 3.4s| 1 | 2 | 5767 | - | 12M| 0 | 200 | 200 |1264 | 200 | 465 | 648 | 0 | 40 |-7.069422e+01 |-3.500000e+01 | 50.49%
2.24/3.68 o -36
2.24/3.68 c R 3.7s| 19 | 18 | 6501 | 40.8 | 12M| 18 | 29 | 200 |1264 | 200 | 300 | 903 | 0 | 382 |-7.034502e+01 |-3.600000e+01 | 48.82%
2.24/3.68 o -37
2.24/3.68 c R 3.7s| 20 | 19 | 6511 | 39.2 | 12M| 19 | 17 | 200 |1264 | 200 | 302 | 908 | 0 | 391 |-7.034502e+01 |-3.700000e+01 | 47.40%
2.24/3.69 o -42
2.24/3.69 c c 3.7s| 20 | 19 | 6514 | 39.3 | 12M| 19 | - | 200 |1264 | 200 | 302 | 908 | 0 | 403 |-7.034502e+01 |-4.200000e+01 | 40.29%
2.24/4.52 o -43
2.24/4.52 c R 4.5s| 124 | 119 | 9511 | 30.4 | 13M| 19 | 22 | 200 |1264 | 200 | 272 |2101 | 0 |1362 |-7.034502e+01 |-4.300000e+01 | 38.87%
2.24/4.53 o -45
2.24/4.53 c * 4.5s| 126 | 107 | 9528 | 30.1 | 13M| 20 | - | 200 |1264 | 200 | 277 |2106 | 0 |1362 |-7.034502e+01 |-4.500000e+01 | 36.03%
2.24/4.80 o -46
2.24/4.80 c * 4.8s| 229 | 163 | 11836 | 26.6 | 13M| 23 | - | 200 |1264 | 200 | 258 |3174 | 0 |1494 |-7.034502e+01 |-4.600000e+01 | 34.61%
2.24/4.80 o -47
2.24/4.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.24/4.80 c * 4.8s| 231 | 150 | 11840 | 26.4 | 13M| 23 | - | 200 |1264 | 200 | 258 |3174 | 0 |1494 |-7.034502e+01 |-4.700000e+01 | 33.19%
2.24/5.08 o -48
2.24/5.08 c C 5.1s| 431 | 240 | 15959 | 23.7 | 13M| 23 | 6 | 200 |1264 | 200 | 261 |5367 | 0 |1552 |-7.034502e+01 |-4.800000e+01 | 31.76%
23.49/23.56 c 23.6s| 10000 | 9003 |449280 | 44.4 | 20M| 37 | 19 | 200 |1264 | 200 | 224 | 201k| 0 |2374 |-6.800000e+01 |-4.800000e+01 | 29.41%
39.39/39.40 c 39.4s| 20000 | 17141 |828595 | 41.1 | 27M| 40 | 77 | 200 |1264 | 200 | 271 | 391k| 0 |3462 |-6.714286e+01 |-4.800000e+01 | 28.51%
54.09/54.10 c 54.1s| 30000 | 25043 | 1185k| 39.3 | 34M| 43 | 73 | 200 |1264 | 200 | 231 | 571k| 0 |4311 |-6.650000e+01 |-4.800000e+01 | 27.82%
67.69/67.73 c 67.7s| 40000 | 32385 | 1522k| 37.9 | 41M| 43 | 51 | 200 |1264 | 200 | 239 | 749k| 0 |4962 |-6.600000e+01 |-4.800000e+01 | 27.27%
80.79/80.81 c 80.8s| 50000 | 39697 | 1845k| 36.8 | 47M| 44 | 53 | 200 |1264 | 200 | 233 | 919k| 0 |5487 |-6.575000e+01 |-4.800000e+01 | 27.00%
93.39/93.45 c 93.4s| 60000 | 46429 | 2159k| 35.9 | 54M| 44 | 25 | 200 |1264 | 200 | 226 |1091k| 0 |6021 |-6.542308e+01 |-4.800000e+01 | 26.63%
105.19/105.22 c 105s| 70000 | 52529 | 2452k| 35.0 | 59M| 46 | 47 | 200 |1264 | 200 | 238 |1253k| 0 |6444 |-6.500000e+01 |-4.800000e+01 | 26.15%
116.89/116.96 c 117s| 80000 | 58899 | 2743k| 34.2 | 65M| 49 | 34 | 200 |1264 | 200 | 265 |1413k| 0 |6919 |-6.481250e+01 |-4.800000e+01 | 25.94%
128.59/128.62 c 129s| 90000 | 65089 | 3034k| 33.7 | 71M| 49 | - | 200 |1264 | 200 | 242 |1570k| 0 |7329 |-6.450000e+01 |-4.800000e+01 | 25.58%
139.49/139.53 o -49
139.49/139.53 c c 140s| 99797 | 61797 | 3303k| 33.0 | 70M| 49 | - | 200 |1264 | 200 | 274 |1717k| 0 |7724 |-6.433333e+01 |-4.900000e+01 | 23.83%
139.70/139.78 c 140s|100000 | 61918 | 3309k| 33.0 | 70M| 49 | 73 | 200 |1264 | 200 | 257 |1720k| 0 |7724 |-6.433333e+01 |-4.900000e+01 | 23.83%
150.19/150.25 c 150s|110000 | 66558 | 3565k| 32.4 | 74M| 49 | 41 | 200 |1264 | 200 | 231 |1867k| 0 |8041 |-6.400000e+01 |-4.900000e+01 | 23.44%
152.69/152.74 o -50
152.69/152.74 c C 153s|112397 | 58210 | 3624k| 32.2 | 68M| 49 | 22 | 200 |1264 | 200 | 244 |1902k| 0 |8139 |-6.400000e+01 |-5.000000e+01 | 21.88%
160.09/160.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.09/160.12 c 160s|120000 | 61051 | 3803k| 31.6 | 71M| 49 | 56 | 200 |1264 | 200 | 257 |2013k| 0 |8342 |-6.400000e+01 |-5.000000e+01 | 21.88%
169.69/169.76 c 170s|130000 | 64687 | 4036k| 31.0 | 75M| 49 | 56 | 200 |1264 | 200 | 251 |2154k| 0 |8653 |-6.383333e+01 |-5.000000e+01 | 21.67%
179.19/179.22 c 179s|140000 | 68289 | 4265k| 30.4 | 79M| 49 | 31 | 200 |1264 | 200 | 262 |2294k| 0 |8932 |-6.366667e+01 |-5.000000e+01 | 21.47%
188.69/188.73 c 189s|150000 | 71789 | 4494k| 29.9 | 82M| 50 | - | 200 |1264 | 200 | 263 |2432k| 0 |9176 |-6.350000e+01 |-5.000000e+01 | 21.26%
197.29/197.30 c 197s|160000 | 74577 | 4697k| 29.3 | 85M| 50 | 73 | 200 |1264 | 200 | 278 |2558k| 0 |9479 |-6.350000e+01 |-5.000000e+01 | 21.26%
205.90/205.96 c 206s|170000 | 77523 | 4903k| 28.8 | 88M| 51 | 104 | 200 |1264 | 200 | 307 |2684k| 0 |9678 |-6.337500e+01 |-5.000000e+01 | 21.10%
214.39/214.44 c 214s|180000 | 80161 | 5102k| 28.3 | 91M| 51 | 69 | 200 |1264 | 200 | 260 |2811k| 0 |9968 |-6.327027e+01 |-5.000000e+01 | 20.97%
222.70/222.72 c 223s|190000 | 82821 | 5298k| 27.9 | 94M| 52 | - | 200 |1264 | 200 | 239 |2936k| 0 | 10k|-6.320000e+01 |-5.000000e+01 | 20.89%
231.20/231.21 c 231s|200000 | 85763 | 5499k| 27.5 | 97M| 52 | - | 200 |1264 | 200 | 248 |3059k| 0 | 10k|-6.300000e+01 |-5.000000e+01 | 20.63%
239.59/239.62 c 240s|210000 | 88487 | 5698k| 27.1 | 100M| 52 | 18 | 200 |1264 | 200 | 248 |3184k| 0 | 10k|-6.300000e+01 |-5.000000e+01 | 20.63%
247.99/248.04 c 248s|220000 | 91103 | 5896k| 26.8 | 103M| 52 | - | 200 |1264 | 200 | 236 |3307k| 0 | 10k|-6.300000e+01 |-5.000000e+01 | 20.63%
256.39/256.49 c 256s|230000 | 93851 | 6097k| 26.5 | 106M| 52 | 53 | 200 |1264 | 200 | 221 |3435k| 0 | 10k|-6.300000e+01 |-5.000000e+01 | 20.63%
264.89/264.94 c 265s|240000 | 96407 | 6298k| 26.2 | 109M| 52 | 30 | 200 |1264 | 200 | 236 |3562k| 0 | 11k|-6.290909e+01 |-5.000000e+01 | 20.52%
269.70/269.79 o -51
269.70/269.79 c * 270s|245968 | 78146 | 6413k| 26.1 | 93M| 52 | - | 200 |1264 | 200 | 258 |3634k| 0 | 11k|-6.285714e+01 |-5.100000e+01 | 18.86%
272.89/272.98 c 273s|250000 | 78782 | 6485k| 25.9 | 94M| 52 | 35 | 200 |1264 | 200 | 227 |3686k| 0 | 11k|-6.283333e+01 |-5.100000e+01 | 18.83%
280.90/280.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.90/280.94 c 281s|260000 | 80634 | 6671k| 25.6 | 96M| 52 | 21 | 200 |1264 | 200 | 229 |3810k| 0 | 11k|-6.275000e+01 |-5.100000e+01 | 18.73%
289.00/289.06 c 289s|270000 | 82754 | 6861k| 25.4 | 99M| 52 | 36 | 200 |1264 | 200 | 242 |3932k| 0 | 11k|-6.268421e+01 |-5.100000e+01 | 18.64%
297.10/297.19 c 297s|280000 | 84684 | 7052k| 25.2 | 101M| 52 | - | 200 |1264 | 200 | 245 |4059k| 0 | 11k|-6.266667e+01 |-5.100000e+01 | 18.62%
305.00/305.07 c 305s|290000 | 86542 | 7237k| 24.9 | 103M| 52 | 26 | 200 |1264 | 200 | 235 |4182k| 0 | 12k|-6.260000e+01 |-5.100000e+01 | 18.53%
312.80/312.80 c 313s|300000 | 88092 | 7417k| 24.7 | 105M| 52 | 44 | 200 |1264 | 200 | 226 |4306k| 0 | 12k|-6.250000e+01 |-5.100000e+01 | 18.40%
320.50/320.55 c 321s|310000 | 89920 | 7600k| 24.5 | 107M| 54 | 22 | 200 |1264 | 200 | 242 |4427k| 0 | 12k|-6.250000e+01 |-5.100000e+01 | 18.40%
328.40/328.40 c 328s|320000 | 91884 | 7784k| 24.3 | 109M| 54 | 55 | 200 |1264 | 200 | 250 |4549k| 0 | 12k|-6.250000e+01 |-5.100000e+01 | 18.40%
336.19/336.26 c 336s|330000 | 93792 | 7969k| 24.1 | 112M| 54 | 37 | 200 |1264 | 200 | 252 |4670k| 0 | 12k|-6.245455e+01 |-5.100000e+01 | 18.34%
344.00/344.04 c 344s|340000 | 95532 | 8149k| 24.0 | 114M| 58 | 27 | 200 |1264 | 200 | 220 |4789k| 0 | 12k|-6.234375e+01 |-5.100000e+01 | 18.20%
351.69/351.70 c 352s|350000 | 97010 | 8326k| 23.8 | 116M| 58 | - | 200 |1264 | 200 | 246 |4910k| 0 | 13k|-6.233333e+01 |-5.100000e+01 | 18.18%
359.50/359.50 c 360s|360000 | 98678 | 8507k| 23.6 | 118M| 58 | - | 200 |1264 | 200 | 271 |5033k| 0 | 13k|-6.225000e+01 |-5.100000e+01 | 18.07%
367.20/367.26 c 367s|370000 |100326 | 8688k| 23.5 | 120M| 58 | 12 | 200 |1264 | 200 | 249 |5157k| 0 | 13k|-6.225000e+01 |-5.100000e+01 | 18.07%
375.00/375.02 c 375s|380000 |101992 | 8868k| 23.3 | 122M| 58 | 45 | 200 |1264 | 200 | 254 |5276k| 0 | 13k|-6.216667e+01 |-5.100000e+01 | 17.96%
382.60/382.70 c 383s|390000 |103724 | 9046k| 23.2 | 124M| 58 | 23 | 200 |1264 | 200 | 223 |5397k| 0 | 13k|-6.207692e+01 |-5.100000e+01 | 17.84%
390.40/390.44 c 390s|400000 |105308 | 9226k| 23.1 | 126M| 58 | - | 200 |1264 | 200 | 231 |5519k| 0 | 13k|-6.200000e+01 |-5.100000e+01 | 17.74%
398.00/398.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
398.00/398.04 c 398s|410000 |106840 | 9403k| 22.9 | 127M| 58 | - | 200 |1264 | 200 | 270 |5641k| 0 | 13k|-6.200000e+01 |-5.100000e+01 | 17.74%
405.60/405.65 c 406s|420000 |108336 | 9580k| 22.8 | 129M| 58 | 63 | 200 |1264 | 200 | 254 |5766k| 0 | 14k|-6.200000e+01 |-5.100000e+01 | 17.74%
413.30/413.34 c 413s|430000 |109944 | 9759k| 22.7 | 131M| 58 | 8 | 200 |1264 | 200 | 229 |5888k| 0 | 14k|-6.200000e+01 |-5.100000e+01 | 17.74%
420.90/420.96 c 421s|440000 |111504 | 9935k| 22.6 | 133M| 58 | - | 200 |1264 | 200 | 252 |6010k| 0 | 14k|-6.200000e+01 |-5.100000e+01 | 17.74%
428.40/428.48 c 428s|450000 |112998 | 10107k| 22.4 | 135M| 58 | 18 | 200 |1264 | 200 | 255 |6130k| 0 | 14k|-6.200000e+01 |-5.100000e+01 | 17.74%
436.40/436.48 c 436s|460000 |114768 | 10294k| 22.4 | 137M| 58 | 75 | 200 |1264 | 200 | 281 |6255k| 0 | 14k|-6.200000e+01 |-5.100000e+01 | 17.74%
444.20/444.26 c 444s|470000 |116370 | 10477k| 22.3 | 139M| 58 | - | 200 |1264 | 200 | 254 |6376k| 0 | 14k|-6.200000e+01 |-5.100000e+01 | 17.74%
451.90/451.94 c 452s|480000 |117996 | 10655k| 22.2 | 141M| 58 | - | 200 |1264 | 200 | 241 |6493k| 0 | 14k|-6.188889e+01 |-5.100000e+01 | 17.59%
459.30/459.38 c 459s|490000 |119456 | 10828k| 22.1 | 143M| 63 | - | 200 |1264 | 200 | 261 |6615k| 0 | 15k|-6.183333e+01 |-5.100000e+01 | 17.52%
466.60/466.65 c 467s|500000 |120688 | 10994k| 22.0 | 144M| 63 | - | 200 |1264 | 200 | 273 |6732k| 0 | 15k|-6.180000e+01 |-5.100000e+01 | 17.48%
473.90/473.95 c 474s|510000 |121928 | 11162k| 21.9 | 146M| 63 | - | 200 |1264 | 200 | 255 |6848k| 0 | 15k|-6.175000e+01 |-5.100000e+01 | 17.41%
481.10/481.15 c 481s|520000 |123102 | 11328k| 21.8 | 148M| 63 | - | 200 |1264 | 200 | 267 |6962k| 0 | 15k|-6.175000e+01 |-5.100000e+01 | 17.41%
488.41/488.43 c 488s|530000 |124348 | 11493k| 21.7 | 149M| 63 | 27 | 200 |1264 | 200 | 245 |7079k| 0 | 15k|-6.172000e+01 |-5.100000e+01 | 17.37%
495.50/495.55 c 496s|540000 |125462 | 11657k| 21.6 | 151M| 63 | 68 | 200 |1264 | 200 | 252 |7198k| 0 | 15k|-6.166667e+01 |-5.100000e+01 | 17.30%
502.72/502.79 c 503s|550000 |126816 | 11825k| 21.5 | 152M| 63 | 86 | 200 |1264 | 200 | 269 |7316k| 0 | 15k|-6.166667e+01 |-5.100000e+01 | 17.30%
510.20/510.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.20/510.20 c 510s|560000 |128120 | 11996k| 21.4 | 154M| 63 | - | 200 |1264 | 200 | 223 |7434k| 0 | 15k|-6.163158e+01 |-5.100000e+01 | 17.25%
517.30/517.37 c 517s|570000 |129376 | 12162k| 21.3 | 155M| 63 | - | 200 |1264 | 200 | 260 |7551k| 0 | 16k|-6.160000e+01 |-5.100000e+01 | 17.21%
524.50/524.52 c 525s|580000 |130700 | 12325k| 21.2 | 157M| 63 | 71 | 200 |1264 | 200 | 225 |7663k| 0 | 16k|-6.150000e+01 |-5.100000e+01 | 17.07%
531.80/531.86 c 532s|590000 |132002 | 12492k| 21.2 | 159M| 63 | 42 | 200 |1264 | 200 | 229 |7781k| 0 | 16k|-6.150000e+01 |-5.100000e+01 | 17.07%
534.62/534.63 o -52
534.62/534.63 c * 535s|593785 |101048 | 12555k| 21.1 | 127M| 63 | - | 200 |1264 | 200 | 278 |7825k| 0 | 16k|-6.150000e+01 |-5.200000e+01 | 15.45%
538.90/538.99 c 539s|600000 |101555 | 12651k| 21.1 | 127M| 63 | 63 | 200 |1264 | 200 | 242 |7897k| 0 | 16k|-6.150000e+01 |-5.200000e+01 | 15.45%
546.00/546.03 c 546s|610000 |102489 | 12811k| 21.0 | 129M| 63 | 53 | 200 |1264 | 200 | 260 |8015k| 0 | 16k|-6.150000e+01 |-5.200000e+01 | 15.45%
552.90/552.92 c 553s|620000 |103357 | 12967k| 20.9 | 130M| 63 | - | 200 |1264 | 200 | 268 |8132k| 0 | 16k|-6.150000e+01 |-5.200000e+01 | 15.45%
560.00/560.00 c 560s|630000 |104305 | 13127k| 20.8 | 131M| 63 | 20 | 200 |1264 | 200 | 228 |8248k| 0 | 16k|-6.150000e+01 |-5.200000e+01 | 15.45%
567.00/567.02 c 567s|640000 |105275 | 13286k| 20.8 | 132M| 63 | - | 200 |1264 | 200 | 262 |8364k| 0 | 16k|-6.150000e+01 |-5.200000e+01 | 15.45%
574.11/574.13 c 574s|650000 |106247 | 13449k| 20.7 | 134M| 63 | 64 | 200 |1264 | 200 | 247 |8482k| 0 | 16k|-6.150000e+01 |-5.200000e+01 | 15.45%
581.10/581.10 c 581s|660000 |106997 | 13606k| 20.6 | 135M| 63 | 35 | 200 |1264 | 200 | 257 |8601k| 0 | 17k|-6.140000e+01 |-5.200000e+01 | 15.31%
588.00/588.10 c 588s|670000 |107835 | 13764k| 20.5 | 136M| 63 | - | 200 |1264 | 200 | 244 |8719k| 0 | 17k|-6.137500e+01 |-5.200000e+01 | 15.27%
595.01/595.05 c 595s|680000 |108595 | 13921k| 20.5 | 137M| 63 | 95 | 200 |1264 | 200 | 281 |8837k| 0 | 17k|-6.133333e+01 |-5.200000e+01 | 15.22%
601.80/601.85 c 602s|690000 |109303 | 14074k| 20.4 | 138M| 63 | - | 200 |1264 | 200 | 253 |8954k| 0 | 17k|-6.133333e+01 |-5.200000e+01 | 15.22%
608.90/608.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.90/608.94 c 609s|700000 |110157 | 14233k| 20.3 | 139M| 63 | - | 200 |1264 | 200 | 287 |9071k| 0 | 17k|-6.133333e+01 |-5.200000e+01 | 15.22%
615.80/615.86 c 616s|710000 |110865 | 14388k| 20.3 | 140M| 63 | 84 | 200 |1264 | 200 | 255 |9188k| 0 | 17k|-6.127778e+01 |-5.200000e+01 | 15.14%
622.80/622.80 c 623s|720000 |111699 | 14544k| 20.2 | 141M| 63 | - | 200 |1264 | 200 | 254 |9304k| 0 | 17k|-6.125000e+01 |-5.200000e+01 | 15.10%
629.70/629.73 c 630s|730000 |112545 | 14700k| 20.1 | 143M| 63 | - | 200 |1264 | 200 | 251 |9420k| 0 | 17k|-6.125000e+01 |-5.200000e+01 | 15.10%
636.60/636.65 c 637s|740000 |113355 | 14855k| 20.1 | 144M| 63 | - | 200 |1264 | 200 | 242 |9539k| 0 | 17k|-6.120000e+01 |-5.200000e+01 | 15.03%
643.52/643.53 c 644s|750000 |114185 | 15008k| 20.0 | 145M| 63 | - | 200 |1264 | 200 | 245 |9653k| 0 | 17k|-6.116667e+01 |-5.200000e+01 | 14.99%
650.41/650.42 c 650s|760000 |114959 | 15165k| 19.9 | 146M| 63 | - | 200 |1264 | 200 | 253 |9773k| 0 | 18k|-6.114286e+01 |-5.200000e+01 | 14.95%
657.31/657.31 c 657s|770000 |115719 | 15318k| 19.9 | 147M| 63 | 18 | 200 |1264 | 200 | 225 |9889k| 0 | 18k|-6.110000e+01 |-5.200000e+01 | 14.89%
664.10/664.19 c 664s|780000 |116441 | 15473k| 19.8 | 148M| 63 | 8 | 200 |1264 | 200 | 214 | 10M| 0 | 18k|-6.100000e+01 |-5.200000e+01 | 14.75%
671.10/671.11 c 671s|790000 |117167 | 15626k| 19.8 | 149M| 63 | - | 200 |1264 | 200 | 269 | 10M| 0 | 18k|-6.100000e+01 |-5.200000e+01 | 14.75%
678.11/678.14 c 678s|800000 |117983 | 15784k| 19.7 | 150M| 63 | - | 200 |1264 | 200 | 303 | 10M| 0 | 18k|-6.100000e+01 |-5.200000e+01 | 14.75%
684.90/684.92 c 685s|810000 |118803 | 15936k| 19.7 | 151M| 63 | 90 | 200 |1264 | 200 | 285 | 10M| 0 | 18k|-6.100000e+01 |-5.200000e+01 | 14.75%
691.92/691.92 c 692s|820000 |119545 | 16094k| 19.6 | 152M| 63 | 52 | 200 |1264 | 200 | 253 | 10M| 0 | 18k|-6.100000e+01 |-5.200000e+01 | 14.75%
698.60/698.62 c 699s|830000 |120173 | 16243k| 19.6 | 153M| 63 | 18 | 200 |1264 | 200 | 228 | 10M| 0 | 18k|-6.100000e+01 |-5.200000e+01 | 14.75%
705.50/705.52 c 706s|840000 |121111 | 16399k| 19.5 | 155M| 63 | - | 200 |1264 | 200 | 236 | 10M| 0 | 18k|-6.100000e+01 |-5.200000e+01 | 14.75%
712.40/712.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.40/712.49 c 712s|850000 |121911 | 16557k| 19.5 | 156M| 63 | 30 | 200 |1264 | 200 | 240 | 10M| 0 | 18k|-6.100000e+01 |-5.200000e+01 | 14.75%
719.30/719.41 c 719s|860000 |122711 | 16714k| 19.4 | 157M| 63 | 67 | 200 |1264 | 200 | 277 | 10M| 0 | 19k|-6.100000e+01 |-5.200000e+01 | 14.75%
726.21/726.27 c 726s|870000 |123459 | 16867k| 19.4 | 158M| 63 | 55 | 200 |1264 | 200 | 257 | 11M| 0 | 19k|-6.100000e+01 |-5.200000e+01 | 14.75%
733.00/733.08 c 733s|880000 |124301 | 17019k| 19.3 | 159M| 63 | - | 200 |1264 | 200 | 258 | 11M| 0 | 19k|-6.100000e+01 |-5.200000e+01 | 14.75%
739.88/739.98 c 740s|890000 |125263 | 17177k| 19.3 | 160M| 63 | 20 | 200 |1264 | 200 | 263 | 11M| 0 | 19k|-6.100000e+01 |-5.200000e+01 | 14.75%
746.90/746.92 c 747s|900000 |126055 | 17334k| 19.3 | 161M| 63 | - | 200 |1264 | 200 | 245 | 11M| 0 | 19k|-6.100000e+01 |-5.200000e+01 | 14.75%
753.59/753.67 c 754s|910000 |126817 | 17485k| 19.2 | 162M| 63 | 18 | 200 |1264 | 200 | 230 | 11M| 0 | 19k|-6.100000e+01 |-5.200000e+01 | 14.75%
760.49/760.53 c 761s|920000 |127583 | 17638k| 19.2 | 164M| 63 | 11 | 200 |1264 | 200 | 254 | 11M| 0 | 19k|-6.100000e+01 |-5.200000e+01 | 14.75%
767.39/767.40 c 767s|930000 |128461 | 17793k| 19.1 | 165M| 63 | 72 | 200 |1264 | 200 | 242 | 11M| 0 | 19k|-6.091667e+01 |-5.200000e+01 | 14.64%
774.19/774.23 c 774s|940000 |129319 | 17947k| 19.1 | 166M| 63 | 7 | 200 |1264 | 200 | 218 | 11M| 0 | 19k|-6.087500e+01 |-5.200000e+01 | 14.58%
781.00/781.03 c 781s|950000 |130043 | 18098k| 19.0 | 167M| 63 | 96 | 200 |1264 | 200 | 262 | 11M| 0 | 19k|-6.083333e+01 |-5.200000e+01 | 14.52%
787.79/787.84 c 788s|960000 |130827 | 18253k| 19.0 | 168M| 63 | 6 | 200 |1264 | 200 | 243 | 12M| 0 | 20k|-6.083333e+01 |-5.200000e+01 | 14.52%
794.49/794.58 c 795s|970000 |131563 | 18403k| 19.0 | 169M| 63 | 52 | 200 |1264 | 200 | 229 | 12M| 0 | 20k|-6.080000e+01 |-5.200000e+01 | 14.47%
801.29/801.32 c 801s|980000 |132293 | 18553k| 18.9 | 170M| 63 | - | 200 |1264 | 200 | 245 | 12M| 0 | 20k|-6.075000e+01 |-5.200000e+01 | 14.40%
807.99/808.05 c 808s|990000 |132973 | 18705k| 18.9 | 171M| 63 | - | 200 |1264 | 200 | 222 | 12M| 0 | 20k|-6.075000e+01 |-5.200000e+01 | 14.40%
814.69/814.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
814.69/814.71 c 815s| 1000k|133797 | 18854k| 18.8 | 172M| 63 | 69 | 200 |1264 | 200 | 241 | 12M| 0 | 20k|-6.075000e+01 |-5.200000e+01 | 14.40%
821.29/821.31 c 821s| 1010k|134521 | 19000k| 18.8 | 173M| 63 | - | 200 |1264 | 200 | 243 | 12M| 0 | 20k|-6.075000e+01 |-5.200000e+01 | 14.40%
827.99/828.00 c 828s| 1020k|135177 | 19149k| 18.8 | 174M| 63 | 43 | 200 |1264 | 200 | 247 | 12M| 0 | 20k|-6.071429e+01 |-5.200000e+01 | 14.35%
834.69/834.80 c 835s| 1030k|135977 | 19300k| 18.7 | 175M| 63 | 99 | 200 |1264 | 200 | 283 | 12M| 0 | 20k|-6.066667e+01 |-5.200000e+01 | 14.29%
841.51/841.54 c 842s| 1040k|136681 | 19450k| 18.7 | 176M| 63 | - | 200 |1264 | 200 | 285 | 12M| 0 | 20k|-6.066667e+01 |-5.200000e+01 | 14.29%
848.29/848.33 c 848s| 1050k|137569 | 19603k| 18.7 | 177M| 63 | - | 200 |1264 | 200 | 261 | 13M| 0 | 20k|-6.066667e+01 |-5.200000e+01 | 14.29%
855.09/855.15 c 855s| 1060k|138347 | 19757k| 18.6 | 178M| 63 | - | 200 |1264 | 200 | 242 | 13M| 0 | 20k|-6.066667e+01 |-5.200000e+01 | 14.29%
861.69/861.76 c 862s| 1070k|139107 | 19905k| 18.6 | 179M| 64 | - | 200 |1264 | 200 | 268 | 13M| 0 | 20k|-6.066667e+01 |-5.200000e+01 | 14.29%
868.39/868.45 c 868s| 1080k|139939 | 20054k| 18.6 | 180M| 64 | - | 200 |1264 | 200 | 267 | 13M| 0 | 21k|-6.061111e+01 |-5.200000e+01 | 14.21%
875.09/875.14 c 875s| 1090k|140665 | 20201k| 18.5 | 181M| 64 | 105 | 200 |1264 | 200 | 274 | 13M| 0 | 21k|-6.060000e+01 |-5.200000e+01 | 14.19%
881.80/881.82 c 882s| 1100k|141475 | 20349k| 18.5 | 183M| 64 | - | 200 |1264 | 200 | 283 | 13M| 0 | 21k|-6.054717e+01 |-5.200000e+01 | 14.12%
888.49/888.51 c 889s| 1110k|142089 | 20500k| 18.5 | 183M| 64 | 78 | 200 |1264 | 200 | 265 | 13M| 0 | 21k|-6.050000e+01 |-5.200000e+01 | 14.05%
895.29/895.38 c 895s| 1120k|142925 | 20656k| 18.4 | 185M| 64 | 26 | 200 |1264 | 200 | 230 | 13M| 0 | 21k|-6.050000e+01 |-5.200000e+01 | 14.05%
902.01/902.01 c 902s| 1130k|143621 | 20803k| 18.4 | 186M| 64 | - | 200 |1264 | 200 | 241 | 14M| 0 | 21k|-6.050000e+01 |-5.200000e+01 | 14.05%
908.69/908.77 c 909s| 1140k|144373 | 20953k| 18.4 | 187M| 64 | 56 | 200 |1264 | 200 | 242 | 14M| 0 | 21k|-6.050000e+01 |-5.200000e+01 | 14.05%
915.29/915.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
915.29/915.30 c 915s| 1150k|144969 | 21096k| 18.3 | 187M| 64 | - | 200 |1264 | 200 | 243 | 14M| 0 | 21k|-6.050000e+01 |-5.200000e+01 | 14.05%
921.99/922.06 c 922s| 1160k|145673 | 21247k| 18.3 | 188M| 64 | - | 200 |1264 | 200 | 272 | 14M| 0 | 21k|-6.050000e+01 |-5.200000e+01 | 14.05%
928.69/928.73 c 929s| 1170k|146363 | 21395k| 18.3 | 189M| 64 | 78 | 200 |1264 | 200 | 260 | 14M| 0 | 21k|-6.050000e+01 |-5.200000e+01 | 14.05%
935.29/935.35 c 935s| 1180k|147015 | 21542k| 18.3 | 190M| 64 | 27 | 200 |1264 | 200 | 245 | 14M| 0 | 21k|-6.050000e+01 |-5.200000e+01 | 14.05%
941.89/941.94 c 942s| 1190k|147723 | 21689k| 18.2 | 191M| 64 | - | 200 |1264 | 200 | 262 | 14M| 0 | 21k|-6.050000e+01 |-5.200000e+01 | 14.05%
948.49/948.56 c 949s| 1200k|148381 | 21837k| 18.2 | 192M| 64 | - | 200 |1264 | 200 | 269 | 14M| 0 | 21k|-6.050000e+01 |-5.200000e+01 | 14.05%
955.20/955.21 c 955s| 1210k|149121 | 21983k| 18.2 | 193M| 64 | - | 200 |1264 | 200 | 260 | 14M| 0 | 22k|-6.050000e+01 |-5.200000e+01 | 14.05%
961.79/961.80 c 962s| 1220k|149765 | 22128k| 18.1 | 194M| 64 | 12 | 200 |1264 | 200 | 240 | 15M| 0 | 22k|-6.050000e+01 |-5.200000e+01 | 14.05%
968.49/968.51 c 969s| 1230k|150449 | 22278k| 18.1 | 195M| 64 | 79 | 200 |1264 | 200 | 268 | 15M| 0 | 22k|-6.044444e+01 |-5.200000e+01 | 13.97%
974.99/975.09 c 975s| 1240k|151055 | 22424k| 18.1 | 196M| 64 | - | 200 |1264 | 200 | 265 | 15M| 0 | 22k|-6.040000e+01 |-5.200000e+01 | 13.91%
981.70/981.74 c 982s| 1250k|151585 | 22570k| 18.1 | 197M| 64 | - | 200 |1264 | 200 | 277 | 15M| 0 | 22k|-6.039535e+01 |-5.200000e+01 | 13.90%
988.29/988.35 c 988s| 1260k|152271 | 22716k| 18.0 | 198M| 64 | - | 200 |1264 | 200 | 273 | 15M| 0 | 22k|-6.037500e+01 |-5.200000e+01 | 13.87%
994.89/994.99 c 995s| 1270k|152865 | 22863k| 18.0 | 199M| 64 | - | 200 |1264 | 200 | 283 | 15M| 0 | 22k|-6.033333e+01 |-5.200000e+01 | 13.81%
1001.50/1001.58 c 1002s| 1280k|153483 | 23010k| 18.0 | 200M| 64 | - | 200 |1264 | 200 | 259 | 15M| 0 | 22k|-6.033333e+01 |-5.200000e+01 | 13.81%
1008.20/1008.28 c 1008s| 1290k|154131 | 23157k| 17.9 | 200M| 64 | - | 200 |1264 | 200 | 238 | 15M| 0 | 22k|-6.033333e+01 |-5.200000e+01 | 13.81%
1014.79/1014.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.79/1014.86 c 1015s| 1300k|154723 | 23303k| 17.9 | 201M| 64 | - | 200 |1264 | 200 | 258 | 15M| 0 | 22k|-6.033333e+01 |-5.200000e+01 | 13.81%
1021.30/1021.30 c 1021s| 1310k|155305 | 23444k| 17.9 | 202M| 64 | - | 200 |1264 | 200 | 257 | 16M| 0 | 22k|-6.033333e+01 |-5.200000e+01 | 13.81%
1027.59/1027.67 c 1028s| 1320k|155815 | 23586k| 17.9 | 203M| 64 | 33 | 200 |1264 | 200 | 226 | 16M| 0 | 22k|-6.028571e+01 |-5.200000e+01 | 13.74%
1034.19/1034.25 c 1034s| 1330k|156513 | 23732k| 17.8 | 204M| 64 | - | 200 |1264 | 200 | 225 | 16M| 0 | 22k|-6.025000e+01 |-5.200000e+01 | 13.69%
1040.69/1040.76 c 1041s| 1340k|157063 | 23877k| 17.8 | 205M| 64 | 91 | 200 |1264 | 200 | 269 | 16M| 0 | 23k|-6.025000e+01 |-5.200000e+01 | 13.69%
1047.09/1047.20 c 1047s| 1350k|157705 | 24018k| 17.8 | 206M| 64 | 14 | 200 |1264 | 200 | 234 | 16M| 0 | 23k|-6.025000e+01 |-5.200000e+01 | 13.69%
1053.81/1053.84 c 1054s| 1360k|158347 | 24165k| 17.8 | 207M| 64 | - | 200 |1264 | 200 | 246 | 16M| 0 | 23k|-6.025000e+01 |-5.200000e+01 | 13.69%
1060.29/1060.31 c 1060s| 1370k|158877 | 24308k| 17.7 | 207M| 64 | 32 | 200 |1264 | 200 | 251 | 16M| 0 | 23k|-6.020000e+01 |-5.200000e+01 | 13.62%
1066.79/1066.80 c 1067s| 1380k|159421 | 24452k| 17.7 | 208M| 64 | 22 | 200 |1264 | 200 | 225 | 16M| 0 | 23k|-6.018519e+01 |-5.200000e+01 | 13.60%
1073.29/1073.37 c 1073s| 1390k|159947 | 24596k| 17.7 | 209M| 64 | - | 200 |1264 | 200 | 263 | 16M| 0 | 23k|-6.016667e+01 |-5.200000e+01 | 13.57%
1079.90/1079.90 c 1080s| 1400k|160533 | 24740k| 17.7 | 210M| 64 | - | 200 |1264 | 200 | 259 | 17M| 0 | 23k|-6.013636e+01 |-5.200000e+01 | 13.53%
1086.40/1086.43 c 1086s| 1410k|161159 | 24884k| 17.6 | 211M| 64 | - | 200 |1264 | 200 | 247 | 17M| 0 | 23k|-6.010811e+01 |-5.200000e+01 | 13.49%
1092.89/1092.91 c 1093s| 1420k|161735 | 25025k| 17.6 | 211M| 64 | 42 | 200 |1264 | 200 | 248 | 17M| 0 | 23k|-6.006667e+01 |-5.200000e+01 | 13.43%
1099.30/1099.35 c 1099s| 1430k|162179 | 25166k| 17.6 | 212M| 64 | - | 200 |1264 | 200 | 244 | 17M| 0 | 23k|-6.000000e+01 |-5.200000e+01 | 13.33%
1105.80/1105.84 c 1106s| 1440k|162827 | 25311k| 17.6 | 213M| 64 | 44 | 200 |1264 | 200 | 253 | 17M| 0 | 23k|-6.000000e+01 |-5.200000e+01 | 13.33%
1112.29/1112.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.29/1112.34 c 1112s| 1450k|163421 | 25454k| 17.6 | 214M| 64 | - | 200 |1264 | 200 | 266 | 17M| 0 | 23k|-6.000000e+01 |-5.200000e+01 | 13.33%
1118.90/1118.95 c 1119s| 1460k|164051 | 25599k| 17.5 | 215M| 64 | - | 200 |1264 | 200 | 264 | 17M| 0 | 23k|-6.000000e+01 |-5.200000e+01 | 13.33%
1125.40/1125.47 c 1125s| 1470k|164725 | 25744k| 17.5 | 216M| 64 | 55 | 200 |1264 | 200 | 274 | 17M| 0 | 23k|-6.000000e+01 |-5.200000e+01 | 13.33%
1131.80/1131.85 c 1132s| 1480k|165289 | 25885k| 17.5 | 217M| 64 | 72 | 200 |1264 | 200 | 260 | 17M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1138.30/1138.35 c 1138s| 1490k|165863 | 26029k| 17.5 | 217M| 64 | 60 | 200 |1264 | 200 | 259 | 18M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1144.99/1145.06 c 1145s| 1500k|166599 | 26181k| 17.5 | 218M| 64 | 92 | 200 |1264 | 200 | 278 | 18M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1151.49/1151.55 c 1152s| 1510k|167171 | 26323k| 17.4 | 219M| 67 | - | 200 |1264 | 200 | 285 | 18M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1157.89/1157.94 c 1158s| 1520k|167651 | 26463k| 17.4 | 220M| 67 | - | 200 |1264 | 200 | 277 | 18M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1164.40/1164.42 c 1164s| 1530k|168197 | 26605k| 17.4 | 221M| 67 | 23 | 200 |1264 | 200 | 245 | 18M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1170.89/1170.91 c 1171s| 1540k|168807 | 26748k| 17.4 | 222M| 67 | 95 | 200 |1264 | 200 | 308 | 18M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1177.40/1177.48 c 1177s| 1550k|169485 | 26894k| 17.3 | 223M| 67 | 20 | 200 |1264 | 200 | 244 | 18M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1183.80/1183.90 c 1184s| 1560k|169971 | 27033k| 17.3 | 223M| 67 | - | 200 |1264 | 200 | 242 | 18M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1190.30/1190.38 c 1190s| 1570k|170483 | 27177k| 17.3 | 224M| 67 | - | 200 |1264 | 200 | 289 | 18M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1196.81/1196.87 c 1197s| 1580k|171189 | 27322k| 17.3 | 225M| 67 | 11 | 200 |1264 | 200 | 246 | 19M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1203.29/1203.31 c 1203s| 1590k|171625 | 27466k| 17.3 | 226M| 67 | - | 200 |1264 | 200 | 264 | 19M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1209.80/1209.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.80/1209.82 c 1210s| 1600k|172201 | 27612k| 17.3 | 227M| 67 | 21 | 200 |1264 | 200 | 239 | 19M| 0 | 24k|-6.000000e+01 |-5.200000e+01 | 13.33%
1216.09/1216.19 c 1216s| 1610k|172655 | 27752k| 17.2 | 227M| 67 | - | 200 |1264 | 200 | 279 | 19M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1222.79/1222.82 c 1223s| 1620k|173315 | 27899k| 17.2 | 228M| 67 | 16 | 200 |1264 | 200 | 224 | 19M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1229.40/1229.49 c 1229s| 1630k|173973 | 28046k| 17.2 | 229M| 67 | - | 200 |1264 | 200 | 253 | 19M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1236.00/1236.01 c 1236s| 1640k|174661 | 28189k| 17.2 | 230M| 67 | - | 200 |1264 | 200 | 244 | 19M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1242.40/1242.47 c 1242s| 1650k|175157 | 28331k| 17.2 | 231M| 67 | - | 200 |1264 | 200 | 244 | 19M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1248.89/1248.95 c 1249s| 1660k|175695 | 28475k| 17.2 | 232M| 67 | - | 200 |1264 | 200 | 265 | 19M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1255.20/1255.27 c 1255s| 1670k|176297 | 28613k| 17.1 | 233M| 67 | 6 | 200 |1264 | 200 | 223 | 20M| 0 | 25k|-6.000000e+01 |-5.200000e+01 | 13.33%
1261.39/1261.42 c 1261s| 1680k|176759 | 28748k| 17.1 | 233M| 68 | 27 | 200 |1264 | 200 | 243 | 20M| 0 | 25k|-5.992308e+01 |-5.200000e+01 | 13.22%
1267.69/1267.77 c 1268s| 1690k|177271 | 28886k| 17.1 | 234M| 68 | 30 | 200 |1264 | 200 | 227 | 20M| 0 | 25k|-5.988889e+01 |-5.200000e+01 | 13.17%
1274.20/1274.26 c 1274s| 1700k|177909 | 29030k| 17.1 | 235M| 68 | - | 200 |1264 | 200 | 251 | 20M| 0 | 25k|-5.987500e+01 |-5.200000e+01 | 13.15%
1280.69/1280.78 c 1281s| 1710k|178405 | 29171k| 17.1 | 236M| 68 | - | 200 |1264 | 200 | 262 | 20M| 0 | 25k|-5.984615e+01 |-5.200000e+01 | 13.11%
1287.19/1287.22 c 1287s| 1720k|178891 | 29313k| 17.0 | 236M| 68 | 10 | 200 |1264 | 200 | 238 | 20M| 0 | 25k|-5.983333e+01 |-5.200000e+01 | 13.09%
1293.50/1293.55 c 1294s| 1730k|179473 | 29452k| 17.0 | 237M| 68 | 8 | 200 |1264 | 200 | 247 | 20M| 0 | 25k|-5.983333e+01 |-5.200000e+01 | 13.09%
1299.89/1299.97 c 1300s| 1740k|180063 | 29592k| 17.0 | 238M| 68 | - | 200 |1264 | 200 | 271 | 20M| 0 | 25k|-5.980000e+01 |-5.200000e+01 | 13.04%
1306.19/1306.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.19/1306.25 c 1306s| 1750k|180537 | 29728k| 17.0 | 239M| 68 | 12 | 200 |1264 | 200 | 259 | 20M| 0 | 25k|-5.977778e+01 |-5.200000e+01 | 13.01%
1312.49/1312.51 c 1313s| 1760k|181053 | 29867k| 17.0 | 240M| 68 | 97 | 200 |1264 | 200 | 266 | 21M| 0 | 26k|-5.975000e+01 |-5.200000e+01 | 12.97%
1318.79/1318.87 c 1319s| 1770k|181729 | 30008k| 17.0 | 240M| 68 | - | 200 |1264 | 200 | 263 | 21M| 0 | 26k|-5.975000e+01 |-5.200000e+01 | 12.97%
1325.19/1325.20 c 1325s| 1780k|182261 | 30146k| 16.9 | 241M| 68 | - | 200 |1264 | 200 | 249 | 21M| 0 | 26k|-5.975000e+01 |-5.200000e+01 | 12.97%
1331.49/1331.54 c 1332s| 1790k|182887 | 30286k| 16.9 | 242M| 68 | 26 | 200 |1264 | 200 | 242 | 21M| 0 | 26k|-5.975000e+01 |-5.200000e+01 | 12.97%
1337.79/1337.86 c 1338s| 1800k|183377 | 30425k| 16.9 | 243M| 68 | - | 200 |1264 | 200 | 258 | 21M| 0 | 26k|-5.975000e+01 |-5.200000e+01 | 12.97%
1344.09/1344.18 c 1344s| 1810k|183933 | 30563k| 16.9 | 244M| 68 | 62 | 200 |1264 | 200 | 230 | 21M| 0 | 26k|-5.971429e+01 |-5.200000e+01 | 12.92%
1350.49/1350.55 c 1351s| 1820k|184371 | 30701k| 16.9 | 244M| 68 | - | 200 |1264 | 200 | 254 | 21M| 0 | 26k|-5.968750e+01 |-5.200000e+01 | 12.88%
1356.80/1356.82 c 1357s| 1830k|184855 | 30838k| 16.8 | 245M| 68 | 39 | 200 |1264 | 200 | 229 | 21M| 0 | 26k|-5.966667e+01 |-5.200000e+01 | 12.85%
1363.29/1363.33 c 1363s| 1840k|185373 | 30981k| 16.8 | 246M| 68 | - | 200 |1264 | 200 | 255 | 21M| 0 | 26k|-5.966667e+01 |-5.200000e+01 | 12.85%
1369.59/1369.68 c 1370s| 1850k|185901 | 31121k| 16.8 | 247M| 68 | 8 | 200 |1264 | 200 | 248 | 22M| 0 | 26k|-5.966667e+01 |-5.200000e+01 | 12.85%
1375.99/1376.09 c 1376s| 1860k|186401 | 31261k| 16.8 | 247M| 68 | 16 | 200 |1264 | 200 | 238 | 22M| 0 | 26k|-5.966667e+01 |-5.200000e+01 | 12.85%
1382.39/1382.41 c 1382s| 1870k|186867 | 31402k| 16.8 | 248M| 68 | 38 | 200 |1264 | 200 | 244 | 22M| 0 | 26k|-5.966667e+01 |-5.200000e+01 | 12.85%
1388.70/1388.78 c 1389s| 1880k|187399 | 31542k| 16.8 | 249M| 68 | - | 200 |1264 | 200 | 250 | 22M| 0 | 26k|-5.966667e+01 |-5.200000e+01 | 12.85%
1395.10/1395.10 c 1395s| 1890k|187997 | 31681k| 16.8 | 250M| 68 | - | 200 |1264 | 200 | 285 | 22M| 0 | 26k|-5.966667e+01 |-5.200000e+01 | 12.85%
1401.30/1401.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1401.30/1401.38 c 1401s| 1900k|188467 | 31818k| 16.7 | 250M| 68 | - | 200 |1264 | 200 | 277 | 22M| 0 | 26k|-5.962500e+01 |-5.200000e+01 | 12.79%
1407.80/1407.81 c 1408s| 1910k|189021 | 31960k| 16.7 | 251M| 68 | - | 200 |1264 | 200 | 253 | 22M| 0 | 26k|-5.960000e+01 |-5.200000e+01 | 12.75%
1414.20/1414.20 c 1414s| 1920k|189501 | 32099k| 16.7 | 252M| 68 | 63 | 200 |1264 | 200 | 255 | 22M| 0 | 26k|-5.960000e+01 |-5.200000e+01 | 12.75%
1420.29/1420.35 c 1420s| 1930k|189955 | 32230k| 16.7 | 253M| 68 | 18 | 200 |1264 | 200 | 251 | 22M| 0 | 27k|-5.957143e+01 |-5.200000e+01 | 12.71%
1426.59/1426.62 c 1427s| 1940k|190351 | 32366k| 16.7 | 253M| 68 | - | 200 |1264 | 200 | 273 | 22M| 0 | 27k|-5.955556e+01 |-5.200000e+01 | 12.69%
1432.90/1432.93 c 1433s| 1950k|190745 | 32501k| 16.7 | 254M| 68 | - | 200 |1264 | 200 | 261 | 23M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1439.00/1439.09 c 1439s| 1960k|191181 | 32635k| 16.6 | 254M| 68 | - | 200 |1264 | 200 | 251 | 23M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1445.20/1445.29 c 1445s| 1970k|191519 | 32770k| 16.6 | 255M| 68 | 52 | 200 |1264 | 200 | 239 | 23M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1451.59/1451.62 c 1452s| 1980k|191969 | 32909k| 16.6 | 256M| 68 | - | 200 |1264 | 200 | 274 | 23M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1457.79/1457.87 c 1458s| 1990k|192545 | 33046k| 16.6 | 256M| 68 | - | 200 |1264 | 200 | 245 | 23M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1463.89/1464.00 c 1464s| 2000k|192981 | 33180k| 16.6 | 257M| 68 | - | 200 |1264 | 200 | 261 | 23M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1470.10/1470.15 c 1470s| 2010k|193451 | 33314k| 16.6 | 258M| 68 | - | 200 |1264 | 200 | 254 | 23M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1476.40/1476.44 c 1476s| 2020k|193939 | 33451k| 16.6 | 259M| 68 | 13 | 200 |1264 | 200 | 224 | 23M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1482.60/1482.70 c 1483s| 2030k|194455 | 33588k| 16.5 | 259M| 68 | - | 200 |1264 | 200 | 252 | 23M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1489.00/1489.05 c 1489s| 2040k|194979 | 33724k| 16.5 | 260M| 68 | 50 | 200 |1264 | 200 | 232 | 24M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1495.20/1495.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.20/1495.27 c 1495s| 2050k|195391 | 33860k| 16.5 | 261M| 68 | - | 200 |1264 | 200 | 242 | 24M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1501.39/1501.42 c 1501s| 2060k|195891 | 33992k| 16.5 | 261M| 68 | - | 200 |1264 | 200 | 259 | 24M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1507.69/1507.78 c 1508s| 2070k|196461 | 34129k| 16.5 | 262M| 68 | - | 200 |1264 | 200 | 256 | 24M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1513.99/1514.08 c 1514s| 2080k|196989 | 34264k| 16.5 | 263M| 68 | - | 200 |1264 | 200 | 247 | 24M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1520.29/1520.32 c 1520s| 2090k|197475 | 34398k| 16.5 | 264M| 68 | 45 | 200 |1264 | 200 | 225 | 24M| 0 | 27k|-5.950000e+01 |-5.200000e+01 | 12.61%
1526.49/1526.51 c 1527s| 2100k|197885 | 34534k| 16.4 | 264M| 68 | - | 200 |1264 | 200 | 251 | 24M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1532.60/1532.60 c 1533s| 2110k|198217 | 34664k| 16.4 | 265M| 68 | 85 | 200 |1264 | 200 | 258 | 24M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1538.79/1538.85 c 1539s| 2120k|198685 | 34799k| 16.4 | 266M| 68 | 22 | 200 |1264 | 200 | 259 | 24M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1544.90/1544.97 c 1545s| 2130k|199087 | 34932k| 16.4 | 266M| 68 | 28 | 200 |1264 | 200 | 251 | 25M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1551.19/1551.26 c 1551s| 2140k|199503 | 35068k| 16.4 | 267M| 68 | - | 200 |1264 | 200 | 246 | 25M| 0 | 28k|-5.950000e+01 |-5.200000e+01 | 12.61%
1557.49/1557.54 c 1558s| 2150k|199961 | 35203k| 16.4 | 268M| 68 | 19 | 200 |1264 | 200 | 243 | 25M| 0 | 28k|-5.947368e+01 |-5.200000e+01 | 12.57%
1563.69/1563.78 c 1564s| 2160k|200373 | 35335k| 16.4 | 268M| 68 | 74 | 200 |1264 | 200 | 228 | 25M| 0 | 28k|-5.942857e+01 |-5.200000e+01 | 12.50%
1570.09/1570.19 c 1570s| 2170k|200883 | 35475k| 16.3 | 269M| 68 | 23 | 200 |1264 | 200 | 241 | 25M| 0 | 28k|-5.940000e+01 |-5.200000e+01 | 12.46%
1576.20/1576.29 c 1576s| 2180k|201157 | 35606k| 16.3 | 269M| 68 | - | 200 |1264 | 200 | 289 | 25M| 0 | 28k|-5.940000e+01 |-5.200000e+01 | 12.46%
1582.30/1582.38 c 1582s| 2190k|201475 | 35736k| 16.3 | 270M| 68 | - | 200 |1264 | 200 | 266 | 25M| 0 | 28k|-5.937500e+01 |-5.200000e+01 | 12.42%
1588.60/1588.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1588.60/1588.61 c 1589s| 2200k|201849 | 35867k| 16.3 | 270M| 68 | 12 | 200 |1264 | 200 | 239 | 25M| 0 | 28k|-5.935000e+01 |-5.200000e+01 | 12.38%
1594.70/1594.78 c 1595s| 2210k|202215 | 36001k| 16.3 | 271M| 68 | - | 200 |1264 | 200 | 250 | 25M| 0 | 28k|-5.933333e+01 |-5.200000e+01 | 12.36%
1601.00/1601.00 c 1601s| 2220k|202663 | 36135k| 16.3 | 272M| 68 | 28 | 200 |1264 | 200 | 224 | 25M| 0 | 28k|-5.933333e+01 |-5.200000e+01 | 12.36%
1607.20/1607.21 c 1607s| 2230k|203029 | 36269k| 16.3 | 272M| 68 | - | 200 |1264 | 200 | 221 | 26M| 0 | 28k|-5.933333e+01 |-5.200000e+01 | 12.36%
1613.40/1613.49 c 1613s| 2240k|203449 | 36407k| 16.3 | 273M| 68 | - | 200 |1264 | 200 | 258 | 26M| 0 | 28k|-5.933333e+01 |-5.200000e+01 | 12.36%
1619.79/1619.84 c 1620s| 2250k|203821 | 36544k| 16.2 | 274M| 68 | - | 200 |1264 | 200 | 250 | 26M| 0 | 28k|-5.933333e+01 |-5.200000e+01 | 12.36%
1626.10/1626.18 c 1626s| 2260k|204291 | 36681k| 16.2 | 274M| 68 | 64 | 200 |1264 | 200 | 252 | 26M| 0 | 28k|-5.933333e+01 |-5.200000e+01 | 12.36%
1632.30/1632.38 c 1632s| 2270k|204749 | 36815k| 16.2 | 275M| 68 | 35 | 200 |1264 | 200 | 248 | 26M| 0 | 28k|-5.931579e+01 |-5.200000e+01 | 12.33%
1638.50/1638.54 c 1639s| 2280k|205171 | 36946k| 16.2 | 276M| 68 | - | 200 |1264 | 200 | 274 | 26M| 0 | 29k|-5.928571e+01 |-5.200000e+01 | 12.29%
1644.59/1644.64 c 1645s| 2290k|205521 | 37075k| 16.2 | 276M| 68 | 68 | 200 |1264 | 200 | 247 | 26M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1650.70/1650.70 c 1651s| 2300k|205965 | 37205k| 16.2 | 277M| 68 | 32 | 200 |1264 | 200 | 237 | 26M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1656.80/1656.85 c 1657s| 2310k|206415 | 37338k| 16.2 | 277M| 68 | 73 | 200 |1264 | 200 | 251 | 26M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1663.10/1663.19 c 1663s| 2320k|206851 | 37476k| 16.2 | 278M| 68 | 17 | 200 |1264 | 200 | 221 | 27M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1669.30/1669.36 c 1669s| 2330k|207233 | 37607k| 16.1 | 279M| 68 | 88 | 200 |1264 | 200 | 243 | 27M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1675.40/1675.40 c 1675s| 2340k|207637 | 37735k| 16.1 | 279M| 68 | 23 | 200 |1264 | 200 | 256 | 27M| 0 | 29k|-5.925000e+01 |-5.200000e+01 | 12.24%
1681.50/1681.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.50/1681.54 c 1682s| 2350k|207957 | 37866k| 16.1 | 280M| 68 | - | 200 |1264 | 200 | 301 | 27M| 0 | 29k|-5.922222e+01 |-5.200000e+01 | 12.20%
1687.60/1687.69 c 1688s| 2360k|208291 | 37995k| 16.1 | 280M| 68 | - | 200 |1264 | 200 | 252 | 27M| 0 | 29k|-5.920000e+01 |-5.200000e+01 | 12.16%
1694.01/1694.03 c 1694s| 2370k|208669 | 38128k| 16.1 | 281M| 68 | 11 | 200 |1264 | 200 | 218 | 27M| 0 | 29k|-5.918182e+01 |-5.200000e+01 | 12.14%
1700.10/1700.11 c 1700s| 2380k|208983 | 38257k| 16.1 | 282M| 68 | - | 200 |1264 | 200 | 251 | 27M| 0 | 29k|-5.916667e+01 |-5.200000e+01 | 12.11%
1706.11/1706.19 c 1706s| 2390k|209389 | 38388k| 16.1 | 282M| 68 | - | 200 |1264 | 200 | 261 | 27M| 0 | 29k|-5.916667e+01 |-5.200000e+01 | 12.11%
1712.40/1712.44 c 1712s| 2400k|209731 | 38519k| 16.0 | 283M| 68 | - | 200 |1264 | 200 | 276 | 27M| 0 | 29k|-5.914815e+01 |-5.200000e+01 | 12.09%
1718.39/1718.43 c 1718s| 2410k|210085 | 38646k| 16.0 | 283M| 68 | - | 200 |1264 | 200 | 289 | 28M| 0 | 29k|-5.912500e+01 |-5.200000e+01 | 12.05%
1724.50/1724.54 c 1725s| 2420k|210449 | 38775k| 16.0 | 284M| 68 | 8 | 200 |1264 | 200 | 237 | 28M| 0 | 29k|-5.911111e+01 |-5.200000e+01 | 12.03%
1730.59/1730.64 c 1731s| 2430k|210819 | 38904k| 16.0 | 284M| 68 | 34 | 200 |1264 | 200 | 238 | 28M| 0 | 29k|-5.908333e+01 |-5.200000e+01 | 11.99%
1736.60/1736.69 c 1737s| 2440k|211049 | 39029k| 16.0 | 285M| 68 | - | 200 |1264 | 200 | 276 | 28M| 0 | 29k|-5.905263e+01 |-5.200000e+01 | 11.94%
1742.70/1742.79 c 1743s| 2450k|211439 | 39158k| 16.0 | 285M| 68 | - | 200 |1264 | 200 | 283 | 28M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1748.80/1748.91 c 1749s| 2460k|211773 | 39287k| 16.0 | 286M| 68 | - | 200 |1264 | 200 | 271 | 28M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1755.09/1755.11 c 1755s| 2470k|212255 | 39421k| 16.0 | 287M| 68 | 54 | 200 |1264 | 200 | 242 | 28M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1761.20/1761.22 c 1761s| 2480k|212571 | 39552k| 15.9 | 287M| 68 | - | 200 |1264 | 200 | 239 | 28M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1767.40/1767.45 c 1767s| 2490k|212955 | 39685k| 15.9 | 288M| 68 | 60 | 200 |1264 | 200 | 261 | 28M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1773.60/1773.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.60/1773.64 c 1774s| 2500k|213387 | 39818k| 15.9 | 289M| 68 | - | 200 |1264 | 200 | 260 | 28M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1779.69/1779.79 c 1780s| 2510k|213871 | 39950k| 15.9 | 289M| 68 | 36 | 200 |1264 | 200 | 224 | 29M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1785.70/1785.72 c 1786s| 2520k|214109 | 40075k| 15.9 | 290M| 68 | - | 200 |1264 | 200 | 267 | 29M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1791.60/1791.66 c 1792s| 2530k|214413 | 40202k| 15.9 | 290M| 68 | 65 | 200 |1264 | 200 | 293 | 29M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1797.60/1797.69 c 1798s| 2540k|214665 | 40329k| 15.9 | 291M| 68 | - | 200 |1264 | 200 | 269 | 29M| 0 | 30k|-5.900000e+01 |-5.200000e+01 | 11.86%
1800.00/1800.00 c
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Solving Time (sec) : 1800.00
1800.00/1800.00 c Solving Nodes : 2543837
1800.00/1800.00 c Primal Bound : -5.20000000000000e+01 (494 solutions)
1800.00/1800.00 c Dual Bound : -5.90000000000000e+01
1800.00/1800.00 c Gap : 11.86 %
1800.00/1800.00 s SATISFIABLE
1800.00/1800.00 v x200 x199 x198 -x197 x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 x188 x187 -x186 x185 x184 -x183 x182 -x181 x180 -x179 -x178
1800.00/1800.00 v x177 -x176 x175 -x174 -x173 -x172 -x171 x170 x169 x168 -x167 x166 -x165 -x164 -x163 x162 x161 x160 -x159 x158 -x157 -x156 x155
1800.00/1800.00 v x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 x134
1800.00/1800.00 v -x133 -x132 -x131 -x130 x129 -x128 x127 x126 -x125 -x124 x123 x122 -x121 -x120 x119 -x118 -x117 -x116 x115 -x114 -x113 -x112
1800.00/1800.00 v -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 x90 -x89 -x88
1800.00/1800.00 v x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 x79 -x78 x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62
1800.00/1800.00 v -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37
1800.00/1800.00 v -x36 x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 x27 -x26 x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 x11 -x10
1800.00/1800.00 v -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Total Time : 1800.00
1800.00/1800.00 c solving : 1800.00
1800.00/1800.00 c presolving : 0.05 (included in solving)
1800.00/1800.00 c reading : 0.01 (included in solving)
1800.00/1800.00 c Original Problem :
1800.00/1800.00 c Problem name : HOME/instance-3450687-1307107235.opb
1800.00/1800.00 c Variables : 1464 (1464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 1664 initial, 1664 maximal
1800.00/1800.00 c Presolved Problem :
1800.00/1800.00 c Problem name : t_HOME/instance-3450687-1307107235.opb
1800.00/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 1264 initial, 1264 maximal
1800.00/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.00/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c linear : 0.00 1264 0 0 1264 0 200 0 0 0
1800.00/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1800.00/1800.00 c root node : - 0 - - 0 - - - - -
1800.00/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c integral : 0 0 0 2283271 0 830604 0 187 1352 0 0 2828064
1800.00/1800.00 c logicor : 1264 35 2605000 868490 0 830600 0 38 11686688 29394330 0 0
1800.00/1800.00 c countsols : 0 0 0 5 0 491 0 0 0 0 0 0
1800.00/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.00/1800.00 c integral : 43.81 0.00 0.00 43.61 0.00 0.20 0.00
1800.00/1800.00 c logicor : 81.97 0.01 31.66 39.54 0.00 10.77 0.00
1800.00/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.00/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.00/1800.00 c vbounds : 0 0 0 0
1800.00/1800.00 c rootredcost : 12 0 0 0
1800.00/1800.00 c pseudoobj : 4289133 0 0 0
1800.00/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.00/1800.00 c vbounds : 0.83 0.83 0.00
1800.00/1800.00 c rootredcost : 0.95 0.95 0.00
1800.00/1800.00 c pseudoobj : 22.38 22.38 0.00
1800.00/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.00 c propagation : 0.00 38 0 0 0.0 0 0.0 -
1800.00/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.00 c applied globally : - - - 0 0.0 - - -
1800.00/1800.00 c applied locally : - - - 0 0.0 - - -
1800.00/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.00 c cut pool : 0.03 34 - - 105 - (maximal pool size: 2522)
1800.00/1800.00 c redcost : 11.52 2467883 0 364550 0 0
1800.00/1800.00 c impliedbounds : 0.00 35 0 0 746 0
1800.00/1800.00 c intobj : 0.00 0 0 0 0 0
1800.00/1800.00 c gomory : 0.77 35 0 0 8704 0
1800.00/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.00/1800.00 c strongcg : 0.32 20 0 0 8075 0
1800.00/1800.00 c cmir : 0.03 10 0 0 0 0
1800.00/1800.00 c flowcover : 0.02 10 0 0 0 0
1800.00/1800.00 c clique : 0.05 35 0 0 241 0
1800.00/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.00 c mcf : 0.00 1 0 0 0 0
1800.00/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.00/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.00 c Pricers : Time Calls Vars
1800.00/1800.00 c problem variables: 0.00 0 0
1800.00/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c relpscost : 42.48 1414781 187 1352 0 0 2828064
1800.00/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.00/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c random : 0.00 0 0 0 0 0 0
1800.00/1800.00 c Primal Heuristics : Time Calls Found
1800.00/1800.00 c LP solutions : 0.11 - 5
1800.00/1800.00 c pseudo solutions : 0.00 - 0
1800.00/1800.00 c feaspump : 0.07 0 0
1800.00/1800.00 c intshifting : 0.03 0 0
1800.00/1800.00 c oneopt : 0.67 13 1
1800.00/1800.00 c crossover : 1.23 12 5
1800.00/1800.00 c guideddiving : 3.19 2628 15
1800.00/1800.00 c pscostdiving : 2.87 2629 26
1800.00/1800.00 c fracdiving : 3.18 2629 20
1800.00/1800.00 c veclendiving : 2.91 2629 20
1800.00/1800.00 c coefdiving : 2.82 2629 25
1800.00/1800.00 c linesearchdiving : 2.96 2629 15
1800.00/1800.00 c objpscostdiving : 1.51 1315 15
1800.00/1800.00 c rootsoldiving : 1.47 1315 0
1800.00/1800.00 c trivial : 0.00 2 1
1800.00/1800.00 c shiftandpropagate: 0.00 0 0
1800.00/1800.00 c simplerounding : 20.34 1426128 340
1800.00/1800.00 c zirounding : 0.54 1000 1
1800.00/1800.00 c rounding : 11.10 110636 4
1800.00/1800.00 c shifting : 1.94 17894 1
1800.00/1800.00 c twoopt : 0.00 0 0
1800.00/1800.00 c fixandinfer : 0.00 0 0
1800.00/1800.00 c clique : 0.00 0 0
1800.00/1800.00 c intdiving : 0.00 0 0
1800.00/1800.00 c actconsdiving : 0.00 0 0
1800.00/1800.00 c octane : 0.00 0 0
1800.00/1800.00 c rens : 0.01 0 0
1800.00/1800.00 c rins : 0.00 0 0
1800.00/1800.00 c localbranching : 0.00 0 0
1800.00/1800.00 c mutation : 0.00 0 0
1800.00/1800.00 c dins : 0.00 0 0
1800.00/1800.00 c vbounds : 0.00 0 0
1800.00/1800.00 c undercover : 0.01 1 0
1800.00/1800.00 c subnlp : 0.43 0 0
1800.00/1800.00 c trysol : 0.68 0 0
1800.00/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.00 c primal LP : 37.74 0 0 0.00 0.00
1800.00/1800.00 c dual LP : 1231.78 3432507 40052176 11.67 32515.73
1800.00/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.00 c diving/probing LP: 14.26 53492 325290 6.08 22811.90
1800.00/1800.00 c strong branching : 21.54 30404 433753 14.27 20138.41
1800.00/1800.00 c (at root node) : - 40 23003 575.08 -
1800.00/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.00 c B&B Tree :
1800.00/1800.00 c number of runs : 1
1800.00/1800.00 c nodes : 2543837
1800.00/1800.00 c nodes (total) : 2543837
1800.00/1800.00 c nodes left : 214756
1800.00/1800.00 c max depth : 68
1800.00/1800.00 c max depth (total): 68
1800.00/1800.00 c backtracks : 375536 (14.8%)
1800.00/1800.00 c delayed cutoffs : 0
1800.00/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.00/1800.00 c avg switch length: 5.24
1800.00/1800.00 c switching time : 109.20
1800.00/1800.00 c Solution :
1800.00/1800.00 c Solutions found : 494 (16 improvements)
1800.00/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.00/1800.00 c Primal Bound : -5.20000000000000e+01 (in run 1, after 593785 nodes, 534.55 seconds, depth 27, found by <relaxation>)
1800.00/1800.00 c Dual Bound : -5.90000000000000e+01
1800.00/1800.00 c Gap : 11.86 %
1800.00/1800.00 c Root Dual Bound : -7.06942201827244e+01
1800.00/1800.00 c Root Iterations : 5767
OK -52
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450687-1307107235/watcher-3450687-1307107235 -o /tmp/evaluation-result-3450687-1307107235/solver-3450687-1307107235 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450687-1307107235.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 3/434 377 /proc/meminfo: memFree=12354008/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=7764 CPUtime=0 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 696 0 0 0 0 0 0 0 25 0 1 0 822323174 7950336 649 33554432000 4194304 9163163 140733714832432 18446744073709551615 8041965 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/377/statm: 1941 661 233 1214 0 723 0 [startup+0.0996391 s] /proc/loadavg: 2.00 2.01 2.00 3/434 377 /proc/meminfo: memFree=12354008/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=26700 CPUtime=0.09 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 8103 0 0 0 8 1 0 0 25 0 1 0 822323174 27340800 5605 33554432000 4194304 9163163 140733714832432 18446744073709551615 6668679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 6675 5605 682 1214 0 5457 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26700 [startup+0.100629 s] /proc/loadavg: 2.00 2.01 2.00 3/434 377 /proc/meminfo: memFree=12354008/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=26700 CPUtime=0.09 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 8103 0 0 0 8 1 0 0 25 0 1 0 822323174 27340800 5605 33554432000 4194304 9163163 140733714832432 18446744073709551615 6668679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 6675 5605 682 1214 0 5457 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26700 [startup+0.300636 s] /proc/loadavg: 2.00 2.01 2.00 3/434 377 /proc/meminfo: memFree=12354008/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=28464 CPUtime=0.29 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 8519 0 0 0 28 1 0 0 25 0 1 0 822323174 29147136 6009 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 7116 6009 692 1214 0 5898 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28464 [startup+0.700563 s] /proc/loadavg: 2.00 2.01 2.00 3/434 377 /proc/meminfo: memFree=12354008/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=33488 CPUtime=0.69 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 9816 0 0 0 67 2 0 0 25 0 1 0 822323174 34291712 7301 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 8372 7301 693 1214 0 7154 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33488 [startup+1.50043 s] /proc/loadavg: 2.00 2.01 2.00 3/435 378 /proc/meminfo: memFree=12318780/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=46868 CPUtime=1.49 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 13145 0 0 0 146 3 0 0 25 0 1 0 822323174 47992832 10629 33554432000 4194304 9163163 140733714832432 18446744073709551615 4347376 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 11717 10629 693 1214 0 10499 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46868 [startup+5.5217 s] /proc/loadavg: 2.24 2.06 2.02 4/435 378 /proc/meminfo: memFree=12309232/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=46892 CPUtime=5.51 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 17580 0 0 0 541 10 0 0 25 0 1 0 822323174 48017408 10708 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 11723 10708 730 1214 0 10505 0 Current children cumulated CPU time (s) 5.51 Current children cumulated vsize (KiB) 46892 [startup+6.30059 s] /proc/loadavg: 2.24 2.06 2.02 4/435 378 /proc/meminfo: memFree=12309232/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=47024 CPUtime=6.29 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 17591 0 0 0 618 11 0 0 25 0 1 0 822323174 48152576 10719 33554432000 4194304 9163163 140733714832432 18446744073709551615 4589906 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 11756 10719 730 1214 0 10538 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47024 [startup+12.7005 s] /proc/loadavg: 2.28 2.08 2.02 3/435 378 /proc/meminfo: memFree=12305968/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=49704 CPUtime=12.69 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 22820 0 0 0 1241 28 0 0 25 0 1 0 822323174 50896896 11400 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 12426 11400 731 1214 0 11208 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49704 [startup+25.5012 s] /proc/loadavg: 2.23 2.07 2.02 3/435 378 /proc/meminfo: memFree=12297496/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=56456 CPUtime=25.49 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 31734 0 0 0 2485 64 0 0 25 0 1 0 822323174 57810944 13061 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 14114 13061 731 1214 0 12896 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 56456 [startup+51.1008 s] /proc/loadavg: 2.15 2.07 2.02 3/435 379 /proc/meminfo: memFree=12278040/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=71628 CPUtime=51.09 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 37367 0 0 0 4971 138 0 0 25 0 1 0 822323174 73347072 16923 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 17907 16923 731 1214 0 16689 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 71628 [startup+102.317 s] /proc/loadavg: 2.06 2.05 2.01 3/435 380 /proc/meminfo: memFree=12251688/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=95312 CPUtime=102.31 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 46864 0 0 0 9952 279 0 0 25 0 1 0 822323174 97599488 22903 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 23828 22903 731 1214 0 22610 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 95312 [startup+162.3 s] /proc/loadavg: 2.02 2.04 2.01 3/435 382 /proc/meminfo: memFree=12221544/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=118136 CPUtime=162.29 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 75445 0 0 0 15777 452 0 0 25 0 1 0 822323174 120971264 28288 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 29534 28288 734 1214 0 28316 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 118136 [startup+222.301 s] /proc/loadavg: 2.07 2.05 2.01 3/435 384 /proc/meminfo: memFree=12194000/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=137352 CPUtime=222.3 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 86458 0 0 0 21599 631 0 0 25 0 1 0 822323174 140648448 33072 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 34338 33072 734 1214 0 33120 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 137352 [startup+282.301 s] /proc/loadavg: 2.02 2.03 2.00 3/435 385 /proc/meminfo: memFree=12173032/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=149900 CPUtime=282.29 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 101846 0 0 0 27432 797 0 0 25 0 1 0 822323174 153497600 36307 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 37475 36307 734 1214 0 36257 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 149900 [startup+342.301 s] /proc/loadavg: 2.14 2.06 2.01 3/435 387 /proc/meminfo: memFree=12157648/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=156288 CPUtime=342.29 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 106876 0 0 0 33262 967 0 0 25 0 1 0 822323174 160038912 37848 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 39072 37848 734 1214 0 37854 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 156288 [startup+402.301 s] /proc/loadavg: 2.12 2.06 2.01 3/435 388 /proc/meminfo: memFree=12138532/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=169556 CPUtime=402.3 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 111964 0 0 0 39093 1137 0 0 25 0 1 0 822323174 173625344 41187 33554432000 4194304 9163163 140733714832432 18446744073709551615 7133167 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 42389 41187 734 1214 0 41171 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 169556 [startup+462.301 s] /proc/loadavg: 2.04 2.05 2.00 3/435 390 /proc/meminfo: memFree=12117820/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=183508 CPUtime=462.3 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 117258 0 0 0 44926 1304 0 0 25 0 1 0 822323174 187912192 44737 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 45877 44737 734 1214 0 44659 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 183508 [startup+522.301 s] /proc/loadavg: 2.01 2.04 2.00 3/435 392 /proc/meminfo: memFree=12095864/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=198204 CPUtime=522.3 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 120957 0 0 0 50750 1480 0 0 25 0 1 0 822323174 202960896 48436 33554432000 4194304 9163163 140733714832432 18446744073709551615 6889752 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 49551 48436 734 1214 0 48333 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 198204 [startup+582.301 s] /proc/loadavg: 2.05 2.04 2.00 3/435 393 /proc/meminfo: memFree=12085560/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=200444 CPUtime=582.3 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 137644 0 0 0 56583 1647 0 0 25 0 1 0 822323174 205254656 49087 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 50111 49087 734 1214 0 48893 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 200444 [startup+642.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.05 2.04 2.00 3/435 401 /proc/meminfo: memFree=12029420/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=227300 CPUtime=882.3 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 150586 0 0 0 85757 2473 0 0 25 0 1 0 822323174 232755200 55772 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 56825 55772 734 1214 0 55607 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 227300 [startup+942.3 s] /proc/loadavg: 2.09 2.06 2.01 3/435 403 /proc/meminfo: memFree=12014032/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=235204 CPUtime=942.29 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 152585 0 0 0 91586 2643 0 0 25 0 1 0 822323174 240848896 57771 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 58801 57771 734 1214 0 57583 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 235204 [startup+1002.3 s] /proc/loadavg: 2.06 2.06 2.01 3/435 404 /proc/meminfo: memFree=12001856/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=242204 CPUtime=1002.3 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 154320 0 0 0 97423 2807 0 0 25 0 1 0 822323174 248016896 59506 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 60551 59506 734 1214 0 59333 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 242204 [startup+1062.3 s] /proc/loadavg: 1.54 1.92 1.96 2/429 424 /proc/meminfo: memFree=12271908/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=253380 CPUtime=1062.29 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 157173 0 0 0 103258 2971 0 0 25 0 1 0 822323174 259461120 62357 33554432000 4194304 9163163 140733714832432 18446744073709551615 7376046 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 63345 62357 734 1214 0 62127 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 253380 [startup+1122.3 s] /proc/loadavg: 1.18 1.74 1.89 2/429 426 /proc/meminfo: memFree=12265448/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=259720 CPUtime=1122.29 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 160525 0 0 0 109091 3138 0 0 25 0 1 0 822323174 265953280 63966 33554432000 4194304 9163163 140733714832432 18446744073709551615 6687085 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 64930 63966 734 1214 0 63712 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 259720 [startup+1182.3 s] /proc/loadavg: 1.07 1.61 1.84 2/429 427 /proc/meminfo: memFree=12257744/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=267376 CPUtime=1182.3 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 162474 0 0 0 114926 3304 0 0 25 0 1 0 822323174 273793024 65913 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 66844 65913 734 1214 0 65626 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 267376 [startup+1242.3 s] /proc/loadavg: 1.02 1.49 1.78 2/429 429 /proc/meminfo: memFree=12252032/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=272680 CPUtime=1242.29 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 163832 0 0 0 120763 3466 0 0 25 0 1 0 822323174 279224320 67271 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 68170 67271 734 1214 0 66952 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 272680 [startup+1302.3 s] /proc/loadavg: 1.01 1.40 1.73 2/429 430 /proc/meminfo: memFree=12243092/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=281256 CPUtime=1302.29 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 165954 0 0 0 126603 3626 0 0 25 0 1 0 822323174 288006144 69393 33554432000 4194304 9163163 140733714832432 18446744073709551615 6559162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 70314 69393 734 1214 0 69096 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 281256 [startup+1362.3 s] /proc/loadavg: 1.09 1.35 1.69 2/429 432 /proc/meminfo: memFree=12235760/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=289064 CPUtime=1362.29 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 167930 0 0 0 132448 3781 0 0 25 0 1 0 822323174 296001536 71369 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 72266 71369 734 1214 0 71048 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 289064 [startup+1422.32 s] /proc/loadavg: 1.07 1.30 1.65 2/429 434 /proc/meminfo: memFree=12229180/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=295528 CPUtime=1422.31 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 169578 0 0 0 138289 3942 0 0 25 0 1 0 822323174 302620672 73017 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 73882 73017 734 1214 0 72664 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 295528 [startup+1482.3 s] /proc/loadavg: 1.02 1.24 1.61 2/429 435 /proc/meminfo: memFree=12224588/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=300104 CPUtime=1482.3 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 170735 0 0 0 144124 4106 0 0 25 0 1 0 822323174 307306496 74174 33554432000 4194304 9163163 140733714832432 18446744073709551615 7249841 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 75026 74174 734 1214 0 73808 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 300104 [startup+1542.3 s] /proc/loadavg: 1.01 1.20 1.57 2/429 437 /proc/meminfo: memFree=12216892/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=312156 CPUtime=1542.3 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 172746 0 0 0 149961 4269 0 0 25 0 1 0 822323174 319647744 76185 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 78039 76185 734 1214 0 76821 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 312156 [startup+1602.3 s] /proc/loadavg: 1.00 1.16 1.53 2/429 438 /proc/meminfo: memFree=12210436/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=318396 CPUtime=1602.3 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 174323 0 0 0 155799 4431 0 0 25 0 1 0 822323174 326037504 77762 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 79599 77762 734 1214 0 78381 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 318396 [startup+1662.3 s] /proc/loadavg: 1.00 1.13 1.49 2/429 440 /proc/meminfo: memFree=12204224/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=324572 CPUtime=1662.29 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 177660 0 0 0 161644 4585 0 0 25 0 1 0 822323174 332361728 79316 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 81143 79316 734 1214 0 79925 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 324572 [startup+1722.3 s] /proc/loadavg: 1.00 1.10 1.46 2/429 442 /proc/meminfo: memFree=12199256/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=329308 CPUtime=1722.29 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 178880 0 0 0 167487 4742 0 0 25 0 1 0 822323174 337211392 80536 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 82327 80536 734 1214 0 81109 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 329308 [startup+1782.3 s] /proc/loadavg: 1.00 1.08 1.43 2/429 443 /proc/meminfo: memFree=12194280/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=334304 CPUtime=1782.3 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 180135 0 0 0 173335 4895 0 0 25 0 1 0 822323174 342327296 81791 33554432000 4194304 9163163 140733714832432 18446744073709551615 4793721 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 83576 81791 734 1214 0 82358 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 334304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.08 1.42 2/429 444 /proc/meminfo: memFree=12193780/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=334752 CPUtime=1800 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 180241 0 0 0 175055 4945 0 0 25 0 1 0 822323174 342786048 81897 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 83688 81897 734 1214 0 82470 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 334752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 1.00 1.08 1.42 2/429 444 /proc/meminfo: memFree=12193780/32951132 swapFree=67093840/67111528 [pid=377] ppid=375 vsize=334752 CPUtime=1800 cores=0,2,4,6 /proc/377/stat : 377 (scip-2.0.1.4b.l) R 375 377 27022 0 -1 4202496 180241 0 0 0 175055 4945 0 0 25 0 1 0 822323174 342786048 81897 33554432000 4194304 9163163 140733714832432 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/377/statm: 83688 81897 734 1214 0 82470 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 334752 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.04 CPU user time (s): 1750.57 CPU system time (s): 49.4665 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 334752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1750.57 system time used= 49.4665 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 180243 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 3315 runsolver used 8.5187 second user time and 17.6893 second system time The end
Begin job on node131 at 2011-06-03 15:20:35 IDJOB=3450687 IDBENCH=48211 IDSOLVER=1948 FILE ID=node131/3450687-1307107235 RUNJOBID= node131-1307092006-27041 PBS_JOBID= 13497965 Free space on /tmp= 73888 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_5.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450687-1307107235/watcher-3450687-1307107235 -o /tmp/evaluation-result-3450687-1307107235/solver-3450687-1307107235 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450687-1307107235.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2585c1015aa6228da840b6f61adc6732 RANDOM SEED=315086542 node131.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.830 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.66 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.830 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.830 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.83 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.830 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.830 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.77 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 12354164 kB Buffers: 346588 kB Cached: 5663616 kB SwapCached: 948 kB Active: 16121044 kB Inactive: 4155344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 12354164 kB SwapTotal: 67111528 kB SwapFree: 67093840 kB Dirty: 11900 kB Writeback: 0 kB AnonPages: 14265000 kB Mapped: 41228 kB Slab: 197400 kB PageTables: 56008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 95504056 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73888 MiB End job on node131 at 2011-06-03 15:50:37