0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450655-1307105432.opb>
0.00/0.10 c original problem has 19244 variables (19244 bin, 0 int, 0 impl, 0 cont) and 19744 constraints
0.00/0.10 c problem read
0.00/0.10 c presolving settings loaded
0.19/0.21 o 0
0.19/0.21 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.21 c presolving:
0.29/0.38 c (round 1) 18744 del vars, 1000 del conss, 0 add conss, 18744 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74976 impls, 0 clqs
0.39/0.43 c (round 2) 18744 del vars, 1000 del conss, 0 add conss, 18744 chg bounds, 0 chg sides, 0 chg coeffs, 18744 upgd conss, 112464 impls, 0 clqs
0.49/0.58 c (0.6s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.58 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.49/0.58 c presolving (3 rounds):
0.49/0.58 c 18744 deleted vars, 1000 deleted constraints, 0 added constraints, 18744 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.58 c 112464 implications, 0 cliques
0.49/0.58 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18744 constraints
0.49/0.58 c 18744 constraints of type <logicor>
0.49/0.58 c transformed objective value is always integral (scale: 1)
0.49/0.58 c Presolving Time: 0.41
0.49/0.58 c - non default parameters ----------------------------------------------------------------------
0.49/0.58 c # SCIP version 2.0.1.5
0.49/0.58 c
0.49/0.58 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.58 c conflict/interconss = 0
0.49/0.58 c
0.49/0.58 c # should binary conflicts be preferred?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c conflict/preferbinary = TRUE
0.49/0.58 c
0.49/0.58 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.58 c constraints/agelimit = 1
0.49/0.58 c
0.49/0.58 c # should enforcement of pseudo solution be disabled?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/disableenfops = TRUE
0.49/0.58 c
0.49/0.58 c # frequency for displaying node information lines
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.58 c display/freq = 10000
0.49/0.58 c
0.49/0.58 c # maximal time in seconds to run
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/time = 1800
0.49/0.58 c
0.49/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/memory = 13950
0.49/0.58 c
0.49/0.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.58 c # [type: int, range: [1,2], default: 1]
0.49/0.58 c timing/clocktype = 2
0.49/0.58 c
0.49/0.58 c # belongs reading time to solving time?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c timing/reading = TRUE
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify inequalities
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/linear/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/indicator/addCouplingCons = TRUE
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify knapsacks
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c -----------------------------------------------------------------------------------------------
0.49/0.58 c start solving
0.49/0.58 c
0.69/0.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.73 c t 0.7s| 1 | 0 | 508 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.69/0.74 o -1
0.69/0.74 c R 0.7s| 1 | 0 | 508 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.69/0.76 o -2
0.69/0.76 c s 0.8s| 1 | 0 | 508 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.99/1.10 c 1.1s| 1 | 0 | 671 | - | 60M| 0 | 485 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.425000e+02 |-2.000000e+00 | 99.18%
0.99/1.10 o -23
0.99/1.10 c b 1.1s| 1 | 0 | 671 | - | 60M| 0 | 485 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.425000e+02 |-2.300000e+01 | 90.52%
1.39/1.48 c 1.5s| 1 | 0 | 853 | - | 60M| 0 | 475 | 500 | 18k| 500 | 18k| 15 | 0 | 0 |-2.375000e+02 |-2.300000e+01 | 90.32%
1.79/1.84 c 1.8s| 1 | 0 | 1002 | - | 60M| 0 | 467 | 500 | 18k| 500 | 18k| 21 | 0 | 0 |-2.335000e+02 |-2.300000e+01 | 90.15%
2.13/2.31 c 2.3s| 1 | 0 | 1349 | - | 60M| 0 | 461 | 500 | 18k| 500 | 18k| 28 | 0 | 0 |-2.290000e+02 |-2.300000e+01 | 89.96%
2.13/2.73 c 2.7s| 1 | 0 | 1538 | - | 60M| 0 | 448 | 500 | 18k| 500 | 18k| 39 | 0 | 0 |-2.240000e+02 |-2.300000e+01 | 89.73%
2.13/3.28 c 3.3s| 1 | 0 | 2101 | - | 60M| 0 | 440 | 500 | 18k| 500 | 18k| 50 | 0 | 0 |-2.200000e+02 |-2.300000e+01 | 89.55%
2.13/3.73 c 3.7s| 1 | 0 | 2298 | - | 60M| 0 | 432 | 500 | 18k| 500 | 18k| 60 | 0 | 0 |-2.160000e+02 |-2.300000e+01 | 89.35%
2.13/4.35 c 4.3s| 1 | 0 | 2833 | - | 60M| 0 | 425 | 500 | 18k| 500 | 18k| 68 | 0 | 0 |-2.120000e+02 |-2.300000e+01 | 89.15%
2.13/4.97 c 5.0s| 1 | 0 | 3346 | - | 60M| 0 | 417 | 500 | 18k| 500 | 18k| 82 | 0 | 0 |-2.085000e+02 |-2.300000e+01 | 88.97%
2.13/5.64 c 5.6s| 1 | 0 | 4008 | - | 60M| 0 | 410 | 500 | 18k| 500 | 18k| 93 | 0 | 0 |-2.050000e+02 |-2.300000e+01 | 88.78%
2.13/6.00 c 6.0s| 1 | 0 | 4350 | - | 60M| 0 | 405 | 500 | 18k| 500 |1098 | 102 | 0 | 0 |-2.025000e+02 |-2.300000e+01 | 88.64%
6.09/6.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.09/6.12 c 6.1s| 1 | 0 | 4699 | - | 60M| 0 | 396 | 500 | 18k| 500 |1106 | 110 | 0 | 0 |-1.990000e+02 |-2.300000e+01 | 88.44%
6.19/6.24 c 6.2s| 1 | 0 | 5160 | - | 61M| 0 | 392 | 500 | 18k| 500 |1159 | 163 | 0 | 0 |-1.975000e+02 |-2.300000e+01 | 88.35%
6.29/6.39 c 6.4s| 1 | 0 | 5932 | - | 61M| 0 | 405 | 500 | 18k| 500 |1498 | 502 | 0 | 0 |-1.958333e+02 |-2.300000e+01 | 88.26%
6.49/6.52 c 6.5s| 1 | 0 | 6205 | - | 61M| 0 | 388 | 500 | 18k| 500 |1963 | 967 | 0 | 0 |-1.940000e+02 |-2.300000e+01 | 88.14%
6.59/6.67 c 6.7s| 1 | 0 | 6708 | - | 61M| 0 | 391 | 500 | 18k| 500 |1972 | 976 | 0 | 0 |-1.928333e+02 |-2.300000e+01 | 88.07%
6.79/6.88 c 6.9s| 1 | 0 | 7647 | - | 62M| 0 | 378 | 500 | 18k| 500 |1832 |1197 | 0 | 0 |-1.882500e+02 |-2.300000e+01 | 87.78%
7.00/7.03 c 7.0s| 1 | 0 | 8584 | - | 62M| 0 | 372 | 500 | 18k| 500 |1882 |1247 | 0 | 0 |-1.870000e+02 |-2.300000e+01 | 87.70%
7.19/7.20 c 7.2s| 1 | 0 | 9250 | - | 62M| 0 | 375 | 500 | 18k| 500 |1953 |1318 | 0 | 0 |-1.857500e+02 |-2.300000e+01 | 87.62%
7.29/7.34 c 7.3s| 1 | 0 | 9822 | - | 62M| 0 | 385 | 500 | 18k| 500 |2005 |1370 | 0 | 0 |-1.841667e+02 |-2.300000e+01 | 87.51%
7.49/7.52 c 7.5s| 1 | 0 | 10608 | - | 63M| 0 | 364 | 500 | 18k| 500 |2411 |1776 | 0 | 0 |-1.810000e+02 |-2.300000e+01 | 87.29%
7.69/7.73 c 7.7s| 1 | 0 | 11688 | - | 63M| 0 | 399 | 500 | 18k| 500 |2762 |2127 | 0 | 0 |-1.771429e+02 |-2.300000e+01 | 87.02%
7.99/8.04 c 8.0s| 1 | 0 | 11787 | - | 64M| 0 | 353 | 500 | 18k| 500 |4364 |4019 | 0 | 0 |-1.765000e+02 |-2.300000e+01 | 86.97%
8.10/8.19 c 8.2s| 1 | 0 | 12244 | - | 64M| 0 | 364 | 500 | 18k| 500 |4375 |4030 | 0 | 0 |-1.745000e+02 |-2.300000e+01 | 86.82%
8.39/8.42 c 8.4s| 1 | 0 | 13190 | - | 64M| 0 | 356 | 500 | 18k| 500 |4475 |4130 | 0 | 0 |-1.720000e+02 |-2.300000e+01 | 86.63%
8.59/8.64 c 8.6s| 1 | 0 | 14151 | - | 64M| 0 | 353 | 500 | 18k| 500 |4511 |4166 | 0 | 0 |-1.695000e+02 |-2.300000e+01 | 86.43%
8.79/8.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.79/8.80 c 8.8s| 1 | 0 | 14660 | - | 64M| 0 | 338 | 500 | 18k| 500 |4519 |4174 | 0 | 0 |-1.680000e+02 |-2.300000e+01 | 86.31%
8.89/8.95 c 8.9s| 1 | 0 | 15208 | - | 65M| 0 | 342 | 500 | 18k| 500 |4623 |4278 | 0 | 0 |-1.657500e+02 |-2.300000e+01 | 86.12%
8.99/9.07 c 9.1s| 1 | 0 | 15542 | - | 65M| 0 | 339 | 500 | 18k| 500 |3432 |4289 | 0 | 0 |-1.641667e+02 |-2.300000e+01 | 85.99%
9.09/9.19 c 9.2s| 1 | 0 | 16007 | - | 65M| 0 | 336 | 500 | 18k| 500 |3532 |4389 | 0 | 0 |-1.620000e+02 |-2.300000e+01 | 85.80%
9.31/9.36 c 9.4s| 1 | 0 | 16749 | - | 65M| 0 | 316 | 500 | 18k| 500 |3750 |4607 | 0 | 0 |-1.590000e+02 |-2.300000e+01 | 85.53%
9.49/9.50 c 9.5s| 1 | 0 | 17351 | - | 65M| 0 | 311 | 500 | 18k| 500 |3800 |4657 | 0 | 0 |-1.575000e+02 |-2.300000e+01 | 85.40%
9.69/9.71 c 9.7s| 1 | 0 | 18498 | - | 65M| 0 | 304 | 500 | 18k| 500 |3903 |4760 | 0 | 0 |-1.560000e+02 |-2.300000e+01 | 85.26%
9.79/9.89 c 9.9s| 1 | 0 | 19291 | - | 65M| 0 | 310 | 500 | 18k| 500 |4060 |4917 | 0 | 0 |-1.550000e+02 |-2.300000e+01 | 85.16%
10.09/10.18 c 10.2s| 1 | 0 | 20842 | - | 65M| 0 | 346 | 500 | 18k| 500 |1339 |4924 | 0 | 0 |-1.537500e+02 |-2.300000e+01 | 85.04%
10.30/10.34 c 10.3s| 1 | 0 | 21650 | - | 66M| 0 | 339 | 500 | 18k| 500 |1768 |5353 | 0 | 0 |-1.509444e+02 |-2.300000e+01 | 84.76%
10.49/10.53 c 10.5s| 1 | 0 | 22697 | - | 66M| 0 | 300 | 500 | 18k| 500 |2301 |5886 | 0 | 0 |-1.497500e+02 |-2.300000e+01 | 84.64%
10.59/10.69 c 10.7s| 1 | 0 | 23750 | - | 66M| 0 | 342 | 500 | 18k| 500 |2356 |5941 | 0 | 0 |-1.492667e+02 |-2.300000e+01 | 84.59%
10.79/10.85 c 10.8s| 1 | 0 | 24406 | - | 67M| 0 | 336 | 500 | 18k| 500 |2547 |6132 | 0 | 0 |-1.486071e+02 |-2.300000e+01 | 84.52%
11.00/11.01 c 11.0s| 1 | 0 | 25111 | - | 67M| 0 | 329 | 500 | 18k| 500 |2594 |6179 | 0 | 0 |-1.481250e+02 |-2.300000e+01 | 84.47%
11.19/11.25 c 11.3s| 1 | 0 | 26467 | - | 67M| 0 | 378 | 500 | 18k| 500 |2073 |6255 | 0 | 0 |-1.467528e+02 |-2.300000e+01 | 84.33%
11.41/11.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.41/11.46 c 11.5s| 1 | 0 | 26771 | - | 67M| 0 | 347 | 500 | 18k| 500 |3407 |7589 | 0 | 0 |-1.465000e+02 |-2.300000e+01 | 84.30%
11.59/11.64 c 11.6s| 1 | 0 | 27349 | - | 68M| 0 | 351 | 500 | 18k| 500 |3419 |7601 | 0 | 0 |-1.453450e+02 |-2.300000e+01 | 84.18%
11.79/11.88 c 11.9s| 1 | 0 | 28354 | - | 69M| 0 | 347 | 500 | 18k| 500 |3469 |7651 | 0 | 0 |-1.435625e+02 |-2.300000e+01 | 83.98%
11.99/12.07 c 12.1s| 1 | 0 | 29043 | - | 70M| 0 | 322 | 500 | 18k| 500 |3594 |7776 | 0 | 0 |-1.425556e+02 |-2.300000e+01 | 83.87%
12.19/12.22 c 12.2s| 1 | 0 | 29584 | - | 70M| 0 | 351 | 500 | 18k| 500 |3609 |7791 | 0 | 0 |-1.415850e+02 |-2.300000e+01 | 83.76%
12.39/12.43 c 12.4s| 1 | 0 | 30297 | - | 71M| 0 | 361 | 500 | 18k| 500 |2561 |7831 | 0 | 0 |-1.405132e+02 |-2.300000e+01 | 83.63%
12.69/12.74 c 12.7s| 1 | 0 | 30941 | - | 72M| 0 | 361 | 500 | 18k| 500 |2795 |8065 | 0 | 0 |-1.399337e+02 |-2.300000e+01 | 83.56%
13.09/13.14 c 13.1s| 1 | 0 | 32140 | - | 72M| 0 | 361 | 500 | 18k| 500 |2881 |8151 | 0 | 0 |-1.391637e+02 |-2.300000e+01 | 83.47%
13.49/13.56 c 13.6s| 1 | 0 | 33110 | - | 73M| 0 | 365 | 500 | 18k| 500 |3156 |8426 | 0 | 0 |-1.380794e+02 |-2.300000e+01 | 83.34%
13.89/13.94 c 13.9s| 1 | 0 | 34308 | - | 73M| 0 | 366 | 500 | 18k| 500 |3251 |8521 | 0 | 0 |-1.366184e+02 |-2.300000e+01 | 83.16%
14.39/14.40 c 14.4s| 1 | 0 | 35262 | - | 73M| 0 | 361 | 500 | 18k| 500 |3325 |8595 | 0 | 0 |-1.354206e+02 |-2.300000e+01 | 83.02%
14.70/14.79 c 14.8s| 1 | 0 | 36183 | - | 74M| 0 | 376 | 500 | 18k| 500 |2246 |8687 | 0 | 0 |-1.342809e+02 |-2.300000e+01 | 82.87%
15.19/15.20 c 15.2s| 1 | 0 | 37451 | - | 74M| 0 | 382 | 500 | 18k| 500 |2285 |8726 | 0 | 0 |-1.328060e+02 |-2.300000e+01 | 82.68%
15.59/15.65 c 15.6s| 1 | 0 | 38779 | - | 74M| 0 | 377 | 500 | 18k| 500 |2489 |8930 | 0 | 0 |-1.318697e+02 |-2.300000e+01 | 82.56%
15.99/16.07 c 16.1s| 1 | 0 | 39830 | - | 74M| 0 | 386 | 500 | 18k| 500 |2594 |9035 | 0 | 0 |-1.308041e+02 |-2.300000e+01 | 82.42%
16.59/16.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.59/16.60 c 16.6s| 1 | 0 | 41411 | - | 74M| 0 | 376 | 500 | 18k| 500 |2647 |9088 | 0 | 0 |-1.299842e+02 |-2.300000e+01 | 82.31%
17.09/17.14 c 17.1s| 1 | 0 | 42983 | - | 74M| 0 | 393 | 500 | 18k| 500 |2674 |9115 | 0 | 0 |-1.288021e+02 |-2.300000e+01 | 82.14%
17.79/17.81 c 17.8s| 1 | 0 | 44832 | - | 74M| 0 | 382 | 500 | 18k| 500 |2479 |9428 | 0 | 0 |-1.275128e+02 |-2.300000e+01 | 81.96%
18.29/18.38 c 18.4s| 1 | 0 | 46487 | - | 74M| 0 | 391 | 500 | 18k| 500 |2679 |9628 | 0 | 0 |-1.261262e+02 |-2.300000e+01 | 81.76%
18.89/18.97 c 19.0s| 1 | 0 | 48197 | - | 74M| 0 | 389 | 500 | 18k| 500 |2768 |9717 | 0 | 0 |-1.253321e+02 |-2.300000e+01 | 81.65%
19.49/19.57 c 19.6s| 1 | 0 | 49708 | - | 74M| 0 | 392 | 500 | 18k| 500 |2810 |9759 | 0 | 0 |-1.245107e+02 |-2.300000e+01 | 81.53%
20.09/20.13 c 20.1s| 1 | 0 | 51000 | - | 74M| 0 | 393 | 500 | 18k| 500 |2909 |9858 | 0 | 0 |-1.238133e+02 |-2.300000e+01 | 81.42%
20.69/20.79 c 20.8s| 1 | 0 | 52688 | - | 74M| 0 | 392 | 500 | 18k| 500 |3101 | 10k| 0 | 0 |-1.231238e+02 |-2.300000e+01 | 81.32%
21.40/21.46 c 21.5s| 1 | 0 | 54313 | - | 74M| 0 | 406 | 500 | 18k| 500 |2578 | 10k| 0 | 0 |-1.224878e+02 |-2.300000e+01 | 81.22%
21.99/22.04 c 22.0s| 1 | 0 | 55655 | - | 75M| 0 | 408 | 500 | 18k| 500 |2691 | 10k| 0 | 0 |-1.216760e+02 |-2.300000e+01 | 81.10%
22.59/22.66 c 22.7s| 1 | 0 | 56849 | - | 75M| 0 | 409 | 500 | 18k| 500 |2760 | 10k| 0 | 0 |-1.210441e+02 |-2.300000e+01 | 81.00%
23.28/23.36 c 23.4s| 1 | 0 | 58720 | - | 75M| 0 | 416 | 500 | 18k| 500 |2830 | 10k| 0 | 0 |-1.201396e+02 |-2.300000e+01 | 80.86%
23.99/24.07 c 24.1s| 1 | 0 | 60197 | - | 75M| 0 | 408 | 500 | 18k| 500 |2923 | 10k| 0 | 0 |-1.195217e+02 |-2.300000e+01 | 80.76%
24.60/24.68 c 24.7s| 1 | 0 | 61153 | - | 75M| 0 | 408 | 500 | 18k| 500 |3000 | 10k| 0 | 0 |-1.187602e+02 |-2.300000e+01 | 80.63%
25.29/25.33 c 25.3s| 1 | 0 | 62373 | - | 75M| 0 | 410 | 500 | 18k| 500 |2569 | 10k| 0 | 0 |-1.182303e+02 |-2.300000e+01 | 80.55%
25.80/25.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.80/25.88 c 25.9s| 1 | 0 | 63378 | - | 75M| 0 | 415 | 500 | 18k| 500 |2586 | 10k| 0 | 0 |-1.176707e+02 |-2.300000e+01 | 80.45%
26.49/26.54 c 26.5s| 1 | 0 | 64961 | - | 75M| 0 | 415 | 500 | 18k| 500 |2675 | 10k| 0 | 0 |-1.171494e+02 |-2.300000e+01 | 80.37%
27.09/27.13 c 27.1s| 1 | 0 | 65807 | - | 75M| 0 | 422 | 500 | 18k| 500 |2726 | 10k| 0 | 0 |-1.167643e+02 |-2.300000e+01 | 80.30%
27.68/27.74 c 27.7s| 1 | 0 | 66641 | - | 75M| 0 | 433 | 500 | 18k| 500 |2777 | 10k| 0 | 0 |-1.164890e+02 |-2.300000e+01 | 80.26%
28.39/28.44 c 28.4s| 1 | 0 | 67855 | - | 75M| 0 | 427 | 500 | 18k| 500 |2795 | 10k| 0 | 0 |-1.161839e+02 |-2.300000e+01 | 80.20%
29.00/29.07 c 29.1s| 1 | 0 | 68742 | - | 75M| 0 | 423 | 500 | 18k| 500 |2503 | 10k| 0 | 0 |-1.158149e+02 |-2.300000e+01 | 80.14%
29.69/29.71 c 29.7s| 1 | 0 | 70000 | - | 75M| 0 | 428 | 500 | 18k| 500 |2520 | 10k| 0 | 0 |-1.155274e+02 |-2.300000e+01 | 80.09%
30.28/30.32 c 30.3s| 1 | 0 | 71110 | - | 75M| 0 | 430 | 500 | 18k| 500 |2541 | 10k| 0 | 0 |-1.151010e+02 |-2.300000e+01 | 80.02%
30.89/30.94 c 30.9s| 1 | 0 | 72012 | - | 75M| 0 | 434 | 500 | 18k| 500 |2564 | 10k| 0 | 0 |-1.147401e+02 |-2.300000e+01 | 79.95%
31.48/31.53 c 31.5s| 1 | 0 | 72999 | - | 75M| 0 | 429 | 500 | 18k| 500 |2593 | 10k| 0 | 0 |-1.143601e+02 |-2.300000e+01 | 79.89%
32.08/32.11 c 32.1s| 1 | 0 | 73718 | - | 75M| 0 | 435 | 500 | 18k| 500 |2640 | 10k| 0 | 0 |-1.140776e+02 |-2.300000e+01 | 79.84%
32.59/32.63 c 32.6s| 1 | 0 | 74164 | - | 75M| 0 | 433 | 500 | 18k| 500 |2435 | 10k| 0 | 0 |-1.138615e+02 |-2.300000e+01 | 79.80%
33.09/33.12 c 33.1s| 1 | 0 | 74629 | - | 75M| 0 | 436 | 500 | 18k| 500 |2460 | 10k| 0 | 0 |-1.136569e+02 |-2.300000e+01 | 79.76%
33.58/33.65 c 33.6s| 1 | 0 | 75160 | - | 75M| 0 | 440 | 500 | 18k| 500 |2479 | 10k| 0 | 0 |-1.134469e+02 |-2.300000e+01 | 79.73%
34.19/34.20 c 34.2s| 1 | 0 | 75811 | - | 75M| 0 | 432 | 500 | 18k| 500 |2495 | 10k| 0 | 0 |-1.131550e+02 |-2.300000e+01 | 79.67%
34.78/34.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.78/34.81 c 34.8s| 1 | 0 | 76713 | - | 75M| 0 | 439 | 500 | 18k| 500 |2526 | 11k| 0 | 0 |-1.127723e+02 |-2.300000e+01 | 79.60%
35.38/35.43 c 35.4s| 1 | 0 | 77635 | - | 75M| 0 | 444 | 500 | 18k| 500 |2561 | 11k| 0 | 0 |-1.124802e+02 |-2.300000e+01 | 79.55%
35.98/36.05 c 36.1s| 1 | 0 | 78456 | - | 75M| 0 | 449 | 500 | 18k| 500 |2469 | 11k| 0 | 0 |-1.123150e+02 |-2.300000e+01 | 79.52%
36.49/36.53 c 36.5s| 1 | 0 | 78717 | - | 75M| 0 | 450 | 500 | 18k| 500 |2488 | 11k| 0 | 0 |-1.122454e+02 |-2.300000e+01 | 79.51%
36.99/37.07 c 37.1s| 1 | 0 | 79198 | - | 75M| 0 | 451 | 500 | 18k| 500 |2503 | 11k| 0 | 0 |-1.119720e+02 |-2.300000e+01 | 79.46%
37.58/37.61 c 37.6s| 1 | 0 | 79720 | - | 75M| 0 | 454 | 500 | 18k| 500 |2518 | 11k| 0 | 0 |-1.118022e+02 |-2.300000e+01 | 79.43%
38.08/38.17 c 38.2s| 1 | 0 | 80291 | - | 75M| 0 | 458 | 500 | 18k| 500 |2554 | 11k| 0 | 0 |-1.115897e+02 |-2.300000e+01 | 79.39%
38.68/38.76 c 38.8s| 1 | 0 | 81031 | - | 75M| 0 | 454 | 500 | 18k| 500 |2571 | 11k| 0 | 0 |-1.113592e+02 |-2.300000e+01 | 79.35%
39.28/39.32 c 39.3s| 1 | 0 | 81560 | - | 75M| 0 | 459 | 500 | 18k| 500 |2508 | 11k| 0 | 0 |-1.111732e+02 |-2.300000e+01 | 79.31%
39.88/39.91 c 39.9s| 1 | 0 | 82248 | - | 75M| 0 | 459 | 500 | 18k| 500 |2521 | 11k| 0 | 0 |-1.109926e+02 |-2.300000e+01 | 79.28%
40.38/40.44 c 40.4s| 1 | 0 | 82684 | - | 75M| 0 | 463 | 500 | 18k| 500 |2542 | 11k| 0 | 0 |-1.108552e+02 |-2.300000e+01 | 79.25%
40.98/41.00 c 41.0s| 1 | 0 | 83240 | - | 75M| 0 | 471 | 500 | 18k| 500 |2556 | 11k| 0 | 0 |-1.107076e+02 |-2.300000e+01 | 79.22%
41.48/41.55 c 41.5s| 1 | 0 | 83659 | - | 75M| 0 | 466 | 500 | 18k| 500 |2566 | 11k| 0 | 0 |-1.105686e+02 |-2.300000e+01 | 79.20%
42.08/42.12 c 42.1s| 1 | 0 | 84154 | - | 75M| 0 | 466 | 500 | 18k| 500 |2578 | 11k| 0 | 0 |-1.103955e+02 |-2.300000e+01 | 79.17%
42.58/42.63 c 42.6s| 1 | 0 | 84363 | - | 75M| 0 | 467 | 500 | 18k| 500 |2528 | 11k| 0 | 0 |-1.103512e+02 |-2.300000e+01 | 79.16%
43.29/43.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.29/43.32 c 43.3s| 1 | 0 | 85524 | - | 75M| 0 | 465 | 500 | 18k| 500 |2541 | 11k| 0 | 0 |-1.101117e+02 |-2.300000e+01 | 79.11%
43.78/43.89 c 43.9s| 1 | 0 | 86058 | - | 75M| 0 | 471 | 500 | 18k| 500 |2560 | 11k| 0 | 0 |-1.098570e+02 |-2.300000e+01 | 79.06%
44.39/44.49 c 44.5s| 1 | 0 | 86512 | - | 75M| 0 | 468 | 500 | 18k| 500 |2575 | 11k| 0 | 0 |-1.097090e+02 |-2.300000e+01 | 79.04%
44.98/45.07 c 45.1s| 1 | 0 | 87060 | - | 75M| 0 | 467 | 500 | 18k| 500 |2589 | 11k| 0 | 0 |-1.095461e+02 |-2.300000e+01 | 79.00%
45.59/45.66 c 45.7s| 1 | 0 | 87619 | - | 75M| 0 | 472 | 500 | 18k| 500 |2602 | 11k| 0 | 0 |-1.093989e+02 |-2.300000e+01 | 78.98%
46.18/46.27 c 46.3s| 1 | 0 | 88099 | - | 75M| 0 | 467 | 500 | 18k| 500 |2556 | 11k| 0 | 0 |-1.092729e+02 |-2.300000e+01 | 78.95%
46.87/46.92 c 46.9s| 1 | 0 | 88932 | - | 75M| 0 | 475 | 500 | 18k| 500 |2567 | 11k| 0 | 0 |-1.091525e+02 |-2.300000e+01 | 78.93%
47.48/47.54 c 47.5s| 1 | 0 | 89558 | - | 75M| 0 | 480 | 500 | 18k| 500 |2585 | 11k| 0 | 0 |-1.090395e+02 |-2.300000e+01 | 78.91%
48.08/48.10 c 48.1s| 1 | 0 | 89931 | - | 75M| 0 | 480 | 500 | 18k| 500 |2593 | 11k| 0 | 0 |-1.089436e+02 |-2.300000e+01 | 78.89%
48.58/48.69 c 48.7s| 1 | 0 | 90275 | - | 75M| 0 | 477 | 500 | 18k| 500 |2603 | 11k| 0 | 0 |-1.088770e+02 |-2.300000e+01 | 78.88%
49.17/49.24 c 49.2s| 1 | 0 | 90626 | - | 75M| 0 | 482 | 500 | 18k| 500 |2612 | 11k| 0 | 0 |-1.087979e+02 |-2.300000e+01 | 78.86%
49.78/49.83 c 49.8s| 1 | 0 | 91039 | - | 75M| 0 | 480 | 500 | 18k| 500 |2585 | 11k| 0 | 0 |-1.086260e+02 |-2.300000e+01 | 78.83%
50.28/50.36 c 50.4s| 1 | 0 | 91271 | - | 75M| 0 | 481 | 500 | 18k| 500 |2596 | 11k| 0 | 0 |-1.085736e+02 |-2.300000e+01 | 78.82%
50.88/50.92 c 50.9s| 1 | 0 | 91565 | - | 75M| 0 | 482 | 500 | 18k| 500 |2608 | 11k| 0 | 0 |-1.084769e+02 |-2.300000e+01 | 78.80%
51.37/51.47 c 51.5s| 1 | 0 | 91872 | - | 74M| 0 | 482 | 500 | 18k| 500 |2619 | 11k| 0 | 0 |-1.084151e+02 |-2.300000e+01 | 78.79%
51.97/52.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.97/52.06 c 52.1s| 1 | 0 | 92276 | - | 74M| 0 | 489 | 500 | 18k| 500 |2631 | 11k| 0 | 0 |-1.082260e+02 |-2.300000e+01 | 78.75%
52.58/52.66 c 52.7s| 1 | 0 | 92653 | - | 74M| 0 | 491 | 500 | 18k| 500 |2641 | 11k| 0 | 0 |-1.081613e+02 |-2.300000e+01 | 78.74%
53.29/53.31 c 53.3s| 1 | 0 | 93099 | - | 74M| 0 | 491 | 500 | 18k| 500 |2608 | 11k| 0 | 0 |-1.080563e+02 |-2.300000e+01 | 78.71%
53.77/53.89 c 53.9s| 1 | 0 | 93550 | - | 74M| 0 | 490 | 500 | 18k| 500 |2615 | 11k| 0 | 0 |-1.079159e+02 |-2.300000e+01 | 78.69%
54.48/54.51 c 54.5s| 1 | 0 | 94206 | - | 74M| 0 | 488 | 500 | 18k| 500 |2624 | 11k| 0 | 0 |-1.077954e+02 |-2.300000e+01 | 78.66%
55.08/55.14 c 55.1s| 1 | 0 | 94794 | - | 74M| 0 | 491 | 500 | 18k| 500 |2638 | 11k| 0 | 0 |-1.076251e+02 |-2.300000e+01 | 78.63%
55.67/55.72 c 55.7s| 1 | 0 | 95177 | - | 74M| 0 | 491 | 500 | 18k| 500 |2648 | 11k| 0 | 0 |-1.075263e+02 |-2.300000e+01 | 78.61%
56.28/56.32 c 56.3s| 1 | 0 | 95660 | - | 74M| 0 | 488 | 500 | 18k| 500 |2660 | 11k| 0 | 0 |-1.074256e+02 |-2.300000e+01 | 78.59%
56.88/56.91 c 56.9s| 1 | 0 | 95971 | - | 73M| 0 | 489 | 500 | 18k| 500 |2634 | 11k| 0 | 0 |-1.073515e+02 |-2.300000e+01 | 78.58%
57.48/57.55 c 57.5s| 1 | 0 | 96644 | - | 73M| 0 | 492 | 500 | 18k| 500 |2648 | 11k| 0 | 0 |-1.072378e+02 |-2.300000e+01 | 78.55%
58.17/58.24 c 58.2s| 1 | 0 | 97378 | - | 73M| 0 | 486 | 500 | 18k| 500 |2660 | 11k| 0 | 0 |-1.070437e+02 |-2.300000e+01 | 78.51%
58.80/58.88 c 58.9s| 1 | 0 | 97840 | - | 73M| 0 | 488 | 500 | 18k| 500 |2674 | 11k| 0 | 0 |-1.068980e+02 |-2.300000e+01 | 78.48%
59.48/59.50 c 59.5s| 1 | 0 | 98243 | - | 73M| 0 | 490 | 500 | 18k| 500 |2688 | 11k| 0 | 0 |-1.068346e+02 |-2.300000e+01 | 78.47%
59.97/60.08 c 60.1s| 1 | 0 | 98563 | - | 72M| 0 | 495 | 500 | 18k| 500 |2699 | 11k| 0 | 0 |-1.067531e+02 |-2.300000e+01 | 78.45%
60.67/60.71 c 60.7s| 1 | 0 | 98965 | - | 72M| 0 | 495 | 500 | 18k| 500 |2668 | 11k| 0 | 0 |-1.066639e+02 |-2.300000e+01 | 78.44%
61.27/61.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.27/61.37 c 61.4s| 1 | 0 | 99563 | - | 72M| 0 | 493 | 500 | 18k| 500 |2677 | 11k| 0 | 0 |-1.064842e+02 |-2.300000e+01 | 78.40%
61.98/62.04 c 62.0s| 1 | 0 |100104 | - | 72M| 0 | 495 | 500 | 18k| 500 |2691 | 11k| 0 | 0 |-1.063281e+02 |-2.300000e+01 | 78.37%
62.58/62.68 c 62.7s| 1 | 0 |100556 | - | 72M| 0 | 498 | 500 | 18k| 500 |2708 | 11k| 0 | 0 |-1.062343e+02 |-2.300000e+01 | 78.35%
63.28/63.34 c 63.3s| 1 | 0 |101048 | - | 72M| 0 | 495 | 500 | 18k| 500 |2718 | 11k| 0 | 0 |-1.060639e+02 |-2.300000e+01 | 78.31%
63.88/63.98 c 64.0s| 1 | 0 |101531 | - | 71M| 0 | 496 | 500 | 18k| 500 |2736 | 11k| 0 | 0 |-1.059501e+02 |-2.300000e+01 | 78.29%
64.57/64.61 c 64.6s| 1 | 0 |101872 | - | 71M| 0 | 494 | 500 | 18k| 500 |2703 | 11k| 0 | 0 |-1.058640e+02 |-2.300000e+01 | 78.27%
65.17/65.30 c 65.3s| 1 | 0 |102488 | - | 71M| 0 | 496 | 500 | 18k| 500 |2715 | 11k| 0 | 0 |-1.057564e+02 |-2.300000e+01 | 78.25%
65.77/65.89 c 65.9s| 1 | 0 |102756 | - | 71M| 0 | 497 | 500 | 18k| 500 |2729 | 11k| 0 | 0 |-1.057007e+02 |-2.300000e+01 | 78.24%
66.48/66.59 c 66.6s| 1 | 0 |103481 | - | 71M| 0 | 496 | 500 | 18k| 500 |2742 | 11k| 0 | 0 |-1.055584e+02 |-2.300000e+01 | 78.21%
67.17/67.23 c 67.2s| 1 | 0 |103925 | - | 70M| 0 | 494 | 500 | 18k| 500 |2753 | 11k| 0 | 0 |-1.055038e+02 |-2.300000e+01 | 78.20%
67.87/67.98 c 68.0s| 1 | 0 |104722 | - | 70M| 0 | 498 | 500 | 18k| 500 |2765 | 11k| 0 | 0 |-1.053754e+02 |-2.300000e+01 | 78.17%
68.59/68.65 c 68.6s| 1 | 0 |105172 | - | 70M| 0 | 498 | 500 | 18k| 500 |2729 | 11k| 0 | 0 |-1.052884e+02 |-2.300000e+01 | 78.16%
69.27/69.34 c 69.3s| 1 | 0 |105676 | - | 70M| 0 | 498 | 500 | 18k| 500 |2738 | 11k| 0 | 0 |-1.051957e+02 |-2.300000e+01 | 78.14%
69.97/70.01 c 70.0s| 1 | 0 |106210 | - | 69M| 0 | 498 | 500 | 18k| 500 |2750 | 11k| 0 | 0 |-1.051343e+02 |-2.300000e+01 | 78.12%
70.66/70.70 c 70.7s| 1 | 0 |106678 | - | 69M| 0 | 499 | 500 | 18k| 500 |2764 | 11k| 0 | 0 |-1.050505e+02 |-2.300000e+01 | 78.11%
71.27/71.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.27/71.30 c 71.3s| 1 | 0 |106993 | - | 68M| 0 | 499 | 500 | 18k| 500 |2774 | 11k| 0 | 0 |-1.050161e+02 |-2.300000e+01 | 78.10%
71.88/71.95 c 72.0s| 1 | 0 |107482 | - | 67M| 0 | 499 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.048962e+02 |-2.300000e+01 | 78.07%
72.56/72.65 c 72.6s| 1 | 0 |107857 | - | 66M| 0 | 499 | 500 | 18k| 500 |2744 | 11k| 0 | 0 |-1.048278e+02 |-2.300000e+01 | 78.06%
73.27/73.37 c 73.4s| 1 | 0 |108471 | - | 65M| 0 | 497 | 500 | 18k| 500 |2757 | 11k| 0 | 0 |-1.047290e+02 |-2.300000e+01 | 78.04%
73.87/73.99 c 74.0s| 1 | 0 |108802 | - | 65M| 0 | 500 | 500 | 18k| 500 |2772 | 11k| 0 | 0 |-1.046740e+02 |-2.300000e+01 | 78.03%
74.57/74.61 c 74.6s| 1 | 0 |109098 | - | 65M| 0 | 500 | 500 | 18k| 500 |2783 | 11k| 0 | 0 |-1.046037e+02 |-2.300000e+01 | 78.01%
75.18/75.28 c 75.3s| 1 | 0 |109484 | - | 65M| 0 | 500 | 500 | 18k| 500 |2797 | 11k| 0 | 0 |-1.045464e+02 |-2.300000e+01 | 78.00%
75.87/75.91 c 75.9s| 1 | 0 |109722 | - | 64M| 0 | 498 | 500 | 18k| 500 |2807 | 11k| 0 | 0 |-1.045247e+02 |-2.300000e+01 | 78.00%
76.56/76.63 c 76.6s| 1 | 0 |110311 | - | 64M| 0 | 498 | 500 | 18k| 500 |2760 | 11k| 0 | 0 |-1.044476e+02 |-2.300000e+01 | 77.98%
77.26/77.33 c 77.3s| 1 | 0 |110828 | - | 64M| 0 | 500 | 500 | 18k| 500 |2771 | 11k| 0 | 0 |-1.043596e+02 |-2.300000e+01 | 77.96%
77.97/78.01 c 78.0s| 1 | 0 |111334 | - | 64M| 0 | 498 | 500 | 18k| 500 |2782 | 11k| 0 | 0 |-1.042757e+02 |-2.300000e+01 | 77.94%
78.48/78.60 c 78.6s| 1 | 0 |111505 | - | 63M| 0 | 500 | 500 | 18k| 500 |2796 | 11k| 0 | 0 |-1.042557e+02 |-2.300000e+01 | 77.94%
79.16/79.27 c 79.3s| 1 | 0 |111913 | - | 63M| 0 | 500 | 500 | 18k| 500 |2806 | 11k| 0 | 0 |-1.042036e+02 |-2.300000e+01 | 77.93%
79.77/79.89 c 79.9s| 1 | 0 |112144 | - | 63M| 0 | 500 | 500 | 18k| 500 |2818 | 11k| 0 | 0 |-1.041675e+02 |-2.300000e+01 | 77.92%
80.57/80.62 c 80.6s| 1 | 0 |112684 | - | 63M| 0 | 499 | 500 | 18k| 500 |2770 | 12k| 0 | 0 |-1.040971e+02 |-2.300000e+01 | 77.91%
81.26/81.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.26/81.30 c 81.3s| 1 | 0 |113159 | - | 63M| 0 | 499 | 500 | 18k| 500 |2785 | 12k| 0 | 0 |-1.040280e+02 |-2.300000e+01 | 77.89%
81.96/82.02 c 82.0s| 1 | 0 |113770 | - | 63M| 0 | 500 | 500 | 18k| 500 |2799 | 12k| 0 | 0 |-1.039409e+02 |-2.300000e+01 | 77.87%
82.66/82.71 c 82.7s| 1 | 0 |114190 | - | 63M| 0 | 500 | 500 | 18k| 500 |2813 | 12k| 0 | 0 |-1.038557e+02 |-2.300000e+01 | 77.85%
83.26/83.32 c 83.3s| 1 | 0 |114529 | - | 63M| 0 | 500 | 500 | 18k| 500 |2828 | 12k| 0 | 0 |-1.038178e+02 |-2.300000e+01 | 77.85%
83.98/84.10 c 84.1s| 1 | 0 |115406 | - | 63M| 0 | 499 | 500 | 18k| 500 |2836 | 12k| 0 | 0 |-1.037430e+02 |-2.300000e+01 | 77.83%
84.67/84.77 c 84.8s| 1 | 0 |115764 | - | 63M| 0 | 500 | 500 | 18k| 500 |2804 | 12k| 0 | 0 |-1.037034e+02 |-2.300000e+01 | 77.82%
85.26/85.39 c 85.4s| 1 | 0 |116144 | - | 63M| 0 | 500 | 500 | 18k| 500 |2813 | 12k| 0 | 0 |-1.036513e+02 |-2.300000e+01 | 77.81%
85.97/86.01 c 86.0s| 1 | 0 |116390 | - | 63M| 0 | 500 | 500 | 18k| 500 |2823 | 12k| 0 | 0 |-1.036151e+02 |-2.300000e+01 | 77.80%
86.57/86.68 c 86.7s| 1 | 0 |116817 | - | 63M| 0 | 500 | 500 | 18k| 500 |2833 | 12k| 0 | 0 |-1.035569e+02 |-2.300000e+01 | 77.79%
87.28/87.36 c 87.4s| 1 | 0 |117211 | - | 63M| 0 | 499 | 500 | 18k| 500 |2845 | 12k| 0 | 0 |-1.034740e+02 |-2.300000e+01 | 77.77%
87.96/88.06 c 88.1s| 1 | 0 |117794 | - | 63M| 0 | 499 | 500 | 18k| 500 |2858 | 12k| 0 | 0 |-1.034330e+02 |-2.300000e+01 | 77.76%
88.56/88.68 c 88.7s| 1 | 0 |117925 | - | 63M| 0 | 500 | 500 | 18k| 500 |2820 | 12k| 0 | 0 |-1.034183e+02 |-2.300000e+01 | 77.76%
89.26/89.37 c 89.4s| 1 | 0 |118389 | - | 63M| 0 | 500 | 500 | 18k| 500 |2833 | 12k| 0 | 0 |-1.033537e+02 |-2.300000e+01 | 77.75%
90.07/90.10 c 90.1s| 1 | 0 |118967 | - | 63M| 0 | 500 | 500 | 18k| 500 |2850 | 12k| 0 | 0 |-1.032623e+02 |-2.300000e+01 | 77.73%
90.68/90.79 c 90.8s| 1 | 0 |119374 | - | 63M| 0 | 500 | 500 | 18k| 500 |2863 | 12k| 0 | 0 |-1.032215e+02 |-2.300000e+01 | 77.72%
91.36/91.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.36/91.42 c 91.4s| 1 | 0 |119679 | - | 63M| 0 | 500 | 500 | 18k| 500 |2875 | 12k| 0 | 0 |-1.032018e+02 |-2.300000e+01 | 77.71%
92.07/92.13 c 92.1s| 1 | 0 |120224 | - | 63M| 0 | 500 | 500 | 18k| 500 |2887 | 12k| 0 | 0 |-1.031658e+02 |-2.300000e+01 | 77.71%
92.66/92.75 c 92.7s| 1 | 0 |120377 | - | 62M| 0 | 500 | 500 | 18k| 500 |2860 | 12k| 0 | 0 |-1.031573e+02 |-2.300000e+01 | 77.70%
93.26/93.39 c 93.4s| 1 | 0 |120633 | - | 62M| 0 | 499 | 500 | 18k| 500 |2869 | 12k| 0 | 0 |-1.031337e+02 |-2.300000e+01 | 77.70%
93.98/94.07 c 94.1s| 1 | 0 |121033 | - | 62M| 0 | 500 | 500 | 18k| 500 |2882 | 12k| 0 | 0 |-1.030801e+02 |-2.300000e+01 | 77.69%
94.67/94.71 c 94.7s| 1 | 0 |121234 | - | 62M| 0 | 500 | 500 | 18k| 500 |2893 | 12k| 0 | 0 |-1.030519e+02 |-2.300000e+01 | 77.68%
95.26/95.36 c 95.4s| 1 | 0 |121443 | - | 62M| 0 | 500 | 500 | 18k| 500 |2907 | 12k| 0 | 0 |-1.030302e+02 |-2.300000e+01 | 77.68%
95.96/96.09 c 96.1s| 1 | 0 |121873 | - | 62M| 0 | 500 | 500 | 18k| 500 |2918 | 12k| 0 | 0 |-1.029677e+02 |-2.300000e+01 | 77.66%
96.86/96.91 c 96.9s| 1 | 0 |122502 | - | 62M| 0 | 500 | 500 | 18k| 500 |2852 | 12k| 0 | 0 |-1.028739e+02 |-2.300000e+01 | 77.64%
97.46/97.58 c 97.6s| 1 | 0 |122790 | - | 62M| 0 | 500 | 500 | 18k| 500 |2863 | 12k| 0 | 0 |-1.028328e+02 |-2.300000e+01 | 77.63%
98.16/98.24 c 98.2s| 1 | 0 |123113 | - | 62M| 0 | 500 | 500 | 18k| 500 |2874 | 12k| 0 | 0 |-1.027977e+02 |-2.300000e+01 | 77.63%
98.76/98.88 c 98.9s| 1 | 0 |123327 | - | 62M| 0 | 500 | 500 | 18k| 500 |2889 | 12k| 0 | 0 |-1.027760e+02 |-2.300000e+01 | 77.62%
99.47/99.57 c 99.6s| 1 | 0 |123669 | - | 62M| 0 | 500 | 500 | 18k| 500 |2900 | 12k| 0 | 0 |-1.027382e+02 |-2.300000e+01 | 77.61%
100.16/100.28 c 100s| 1 | 0 |124067 | - | 62M| 0 | 500 | 500 | 18k| 500 |2908 | 12k| 0 | 0 |-1.026940e+02 |-2.300000e+01 | 77.60%
100.85/100.99 c 101s| 1 | 0 |124383 | - | 62M| 0 | 500 | 500 | 18k| 500 |2871 | 12k| 0 | 0 |-1.026615e+02 |-2.300000e+01 | 77.60%
101.46/101.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.46/101.61 c 102s| 1 | 0 |124554 | - | 62M| 0 | 500 | 500 | 18k| 500 |2882 | 12k| 0 | 0 |-1.026502e+02 |-2.300000e+01 | 77.59%
102.26/102.33 c 102s| 1 | 0 |124926 | - | 62M| 0 | 500 | 500 | 18k| 500 |2892 | 12k| 0 | 0 |-1.026084e+02 |-2.300000e+01 | 77.58%
102.85/103.00 c 103s| 1 | 0 |125144 | - | 62M| 0 | 500 | 500 | 18k| 500 |2904 | 12k| 0 | 0 |-1.025958e+02 |-2.300000e+01 | 77.58%
103.56/103.66 c 104s| 1 | 0 |125323 | - | 62M| 0 | 500 | 500 | 18k| 500 |2911 | 12k| 0 | 0 |-1.025842e+02 |-2.300000e+01 | 77.58%
104.26/104.30 c 104s| 1 | 0 |125504 | - | 62M| 0 | 500 | 500 | 18k| 500 |2921 | 12k| 0 | 0 |-1.025642e+02 |-2.300000e+01 | 77.58%
104.97/105.03 c 105s| 1 | 0 |125821 | - | 62M| 0 | 500 | 500 | 18k| 500 |2862 | 12k| 0 | 0 |-1.025363e+02 |-2.300000e+01 | 77.57%
105.56/105.67 c 106s| 1 | 0 |126003 | - | 62M| 0 | 500 | 500 | 18k| 500 |2870 | 12k| 0 | 0 |-1.025156e+02 |-2.300000e+01 | 77.56%
106.25/106.35 c 106s| 1 | 0 |126255 | - | 62M| 0 | 500 | 500 | 18k| 500 |2881 | 12k| 0 | 0 |-1.024852e+02 |-2.300000e+01 | 77.56%
106.86/106.97 c 107s| 1 | 0 |126418 | - | 62M| 0 | 500 | 500 | 18k| 500 |2893 | 12k| 0 | 0 |-1.024785e+02 |-2.300000e+01 | 77.56%
107.56/107.67 c 108s| 1 | 0 |126639 | - | 62M| 0 | 500 | 500 | 18k| 500 |2898 | 12k| 0 | 0 |-1.024613e+02 |-2.300000e+01 | 77.55%
108.27/108.34 c 108s| 1 | 0 |126897 | - | 62M| 0 | 500 | 500 | 18k| 500 |2910 | 12k| 0 | 0 |-1.024431e+02 |-2.300000e+01 | 77.55%
108.96/109.02 c 109s| 1 | 0 |127060 | - | 62M| 0 | 500 | 500 | 18k| 500 |2862 | 12k| 0 | 0 |-1.024281e+02 |-2.300000e+01 | 77.55%
109.56/109.66 c 110s| 1 | 0 |127264 | - | 62M| 0 | 500 | 500 | 18k| 500 |2872 | 12k| 0 | 0 |-1.024156e+02 |-2.300000e+01 | 77.54%
110.25/110.37 c 110s| 1 | 0 |127545 | - | 62M| 0 | 500 | 500 | 18k| 500 |2882 | 12k| 0 | 0 |-1.023923e+02 |-2.300000e+01 | 77.54%
110.95/111.02 c 111s| 1 | 0 |127698 | - | 62M| 0 | 500 | 500 | 18k| 500 |2891 | 12k| 0 | 0 |-1.023821e+02 |-2.300000e+01 | 77.54%
111.65/111.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.65/111.70 c 112s| 1 | 0 |127960 | - | 62M| 0 | 500 | 500 | 18k| 500 |2900 | 12k| 0 | 0 |-1.023719e+02 |-2.300000e+01 | 77.53%
112.26/112.39 c 112s| 1 | 0 |128182 | - | 62M| 0 | 500 | 500 | 18k| 500 |2911 | 12k| 0 | 0 |-1.023553e+02 |-2.300000e+01 | 77.53%
112.96/113.05 c 113s| 1 | 0 |128284 | - | 62M| 0 | 500 | 500 | 18k| 500 |2868 | 12k| 0 | 0 |-1.023489e+02 |-2.300000e+01 | 77.53%
113.55/113.68 c 114s| 1 | 0 |128472 | - | 62M| 0 | 500 | 500 | 18k| 500 |2881 | 12k| 0 | 0 |-1.023414e+02 |-2.300000e+01 | 77.53%
114.25/114.36 c 114s| 1 | 0 |128764 | - | 62M| 0 | 500 | 500 | 18k| 500 |2890 | 12k| 0 | 0 |-1.023241e+02 |-2.300000e+01 | 77.52%
114.95/115.05 c 115s| 1 | 0 |129066 | - | 62M| 0 | 500 | 500 | 18k| 500 |2898 | 12k| 0 | 0 |-1.023093e+02 |-2.300000e+01 | 77.52%
115.55/115.67 c 116s| 1 | 0 |129218 | - | 62M| 0 | 500 | 500 | 18k| 500 |2906 | 12k| 0 | 0 |-1.022997e+02 |-2.300000e+01 | 77.52%
116.26/116.32 c 116s| 1 | 0 |129380 | - | 62M| 0 | 500 | 500 | 18k| 500 |2916 | 12k| 0 | 0 |-1.022884e+02 |-2.300000e+01 | 77.51%
116.85/116.99 c 117s| 1 | 0 |129539 | - | 62M| 0 | 500 | 500 | 18k| 500 |2880 | 12k| 0 | 0 |-1.022829e+02 |-2.300000e+01 | 77.51%
117.55/117.67 c 118s| 1 | 0 |129762 | - | 62M| 0 | 500 | 500 | 18k| 500 |2888 | 12k| 0 | 0 |-1.022758e+02 |-2.300000e+01 | 77.51%
118.25/118.37 c 118s| 1 | 0 |130024 | - | 62M| 0 | 500 | 500 | 18k| 500 |2894 | 12k| 0 | 0 |-1.022645e+02 |-2.300000e+01 | 77.51%
118.95/119.03 c 119s| 1 | 0 |130106 | - | 62M| 0 | 500 | 500 | 18k| 500 |2902 | 12k| 0 | 0 |-1.022628e+02 |-2.300000e+01 | 77.51%
119.55/119.68 c 120s| 1 | 0 |130182 | - | 62M| 0 | 500 | 500 | 18k| 500 |2909 | 12k| 0 | 0 |-1.022602e+02 |-2.300000e+01 | 77.51%
120.27/120.33 c 120s| 1 | 0 |130226 | - | 62M| 0 | 500 | 500 | 18k| 500 |2910 | 12k| 0 | 0 |-1.022596e+02 |-2.300000e+01 | 77.51%
120.85/120.99 c 121s| 1 | 0 |130234 | - | 62M| 0 | 500 | 500 | 18k| 500 |2858 | 12k| 0 | 0 |-1.022596e+02 |-2.300000e+01 | 77.51%
121.55/121.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.55/121.63 c 122s| 1 | 0 |130242 | - | 62M| 0 | 500 | 500 | 18k| 500 |2859 | 12k| 0 | 0 |-1.022595e+02 |-2.300000e+01 | 77.51%
126.54/126.66 c 127s| 1 | 2 |130242 | - | 62M| 0 | 500 | 500 | 18k| 500 |2859 | 12k| 0 | 17 |-1.022595e+02 |-2.300000e+01 | 77.51%
592.74/592.81 o -24
592.74/592.81 c R 593s| 7660 | 7659 | 4922k| 625.8 | 80M| 66 | 36 | 500 | 18k| 500 | 559 | 90k| 0 |3096 |-9.749742e+01 |-2.400000e+01 | 75.38%
637.84/637.94 o -26
637.84/637.94 c C 638s| 9060 | 9061 | 5471k| 589.6 | 83M| 69 | 63 | 500 | 18k| 500 | 500 | 112k| 0 |3395 |-9.735744e+01 |-2.600000e+01 | 73.29%
638.35/638.45 o -28
638.35/638.45 c g 638s| 9083 | 9073 | 5477k| 588.8 | 83M| 69 | - | 500 | 18k| 500 | 583 | 112k| 0 |3395 |-9.735744e+01 |-2.800000e+01 | 71.24%
662.44/662.50 c 663s| 10000 | 9978 | 5779k| 565.0 | 85M| 71 | 44 | 500 | 18k| 500 | 500 | 129k| 0 |3522 |-9.724583e+01 |-2.800000e+01 | 71.21%
692.73/692.82 o -31
692.73/692.82 c * 693s| 11535 | 11328 | 6161k| 522.9 | 88M| 73 | - | 500 | 18k| 500 | 577 | 164k| 0 |3694 |-9.715083e+01 |-3.100000e+01 | 68.09%
719.43/719.50 o -32
719.43/719.50 c l 720s| 12849 | 12446 | 6485k| 494.6 | 90M| 74 | - | 500 | 18k| 500 | 588 | 193k| 0 |3904 |-9.710211e+01 |-3.200000e+01 | 67.05%
837.64/837.74 c 838s| 20000 | 18421 | 7982k| 392.7 | 101M| 79 | 14 | 500 | 18k| 500 | 578 | 357k| 0 |4588 |-9.655294e+01 |-3.200000e+01 | 66.86%
952.73/952.83 c 953s| 30000 | 25537 | 9463k| 311.1 | 113M| 85 | 28 | 500 | 18k| 500 | 500 | 590k| 0 |5142 |-9.621383e+01 |-3.200000e+01 | 66.74%
1005.53/1005.60 o -33
1005.53/1005.60 c f1006s| 35485 | 28374 | 10146k| 282.3 | 119M| 85 | - | 500 | 18k| 500 | 558 | 712k| 0 |5387 |-9.607246e+01 |-3.300000e+01 | 65.65%
1049.52/1049.60 c 1050s| 40000 | 31205 | 10725k| 264.9 | 124M| 88 | 38 | 500 | 18k| 500 | 500 | 811k| 0 |5510 |-9.589973e+01 |-3.300000e+01 | 65.59%
1239.72/1239.80 c 1240s| 50000 | 38429 | 13125k| 259.9 | 138M| 103 | 10 | 500 | 18k| 500 | 500 |1008k| 0 |6196 |-9.474495e+01 |-3.300000e+01 | 65.17%
1307.02/1307.18 c 1307s| 60000 | 43409 | 14020k| 231.5 | 147M| 103 | 46 | 500 | 18k| 500 | 609 |1215k| 0 |6459 |-9.459244e+01 |-3.300000e+01 | 65.11%
1351.02/1351.14 o -34
1351.02/1351.14 c *1351s| 66885 | 45121 | 14589k| 216.2 | 151M| 113 | - | 500 | 18k| 500 | 568 |1352k| 0 |6703 |-9.449094e+01 |-3.400000e+01 | 64.02%
1367.02/1367.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.02/1367.16 c 1367s| 70000 | 46372 | 14811k| 209.7 | 153M| 113 | 33 | 500 | 18k| 500 | 583 |1415k| 0 |6703 |-9.444275e+01 |-3.400000e+01 | 64.00%
1427.34/1427.45 c 1427s| 80000 | 50530 | 15614k| 193.6 | 160M| 113 | 47 | 500 | 18k| 500 | 563 |1613k| 0 |6945 |-9.429985e+01 |-3.400000e+01 | 63.94%
1485.32/1485.41 c 1485s| 90000 | 54700 | 16405k| 180.8 | 168M| 113 | 34 | 500 | 18k| 500 | 523 |1813k| 0 |7199 |-9.419167e+01 |-3.400000e+01 | 63.90%
1541.12/1541.21 c 1541s|100000 | 58788 | 17145k| 170.2 | 175M| 113 | 6 | 500 | 18k| 500 | 547 |2014k| 0 |7430 |-9.407573e+01 |-3.400000e+01 | 63.86%
1594.22/1594.38 c 1594s|110000 | 62924 | 17860k| 161.2 | 183M| 117 | 105 | 500 | 18k| 500 | 671 |2216k| 0 |7659 |-9.398430e+01 |-3.400000e+01 | 63.82%
1646.23/1646.38 c 1646s|120000 | 66884 | 18563k| 153.6 | 190M| 117 | 27 | 500 | 18k| 500 | 527 |2416k| 0 |7881 |-9.390017e+01 |-3.400000e+01 | 63.79%
1701.32/1701.43 c 1701s|130000 | 71032 | 19310k| 147.5 | 197M| 117 | 3 | 500 | 18k| 500 | 500 |2617k| 0 |8106 |-9.380747e+01 |-3.400000e+01 | 63.76%
1753.61/1753.79 c 1754s|140000 | 75116 | 20022k| 142.1 | 204M| 117 | 27 | 500 | 18k| 500 | 500 |2818k| 0 |8278 |-9.371008e+01 |-3.400000e+01 | 63.72%
1799.91/1800.00 c
1799.91/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.91/1800.00 c Solving Time (sec) : 1800.00
1799.91/1800.00 c Solving Nodes : 149412
1799.91/1800.00 c Primal Bound : -3.40000000000000e+01 (883 solutions)
1799.91/1800.00 c Dual Bound : -9.36122684777607e+01
1799.91/1800.00 c Gap : 63.68 %
1799.91/1800.02 s SATISFIABLE
1799.91/1800.02 v x500 -x499 x498 x497 -x496 x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 x480 -x479 -x478
1799.91/1800.02 v -x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
1799.91/1800.02 v -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1799.91/1800.02 v -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415
1799.91/1800.02 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393
1799.91/1800.02 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 x378 -x377 -x376 x375 -x374 -x373 -x372
1799.91/1800.02 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1799.91/1800.02 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1799.91/1800.02 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1799.91/1800.02 v -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1799.91/1800.02 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1799.91/1800.02 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1799.91/1800.02 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 x231 x230 -x229 -x228 -x227 -x226 -x225
1799.91/1800.02 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1799.91/1800.02 v -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1799.91/1800.02 v -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1799.91/1800.02 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1799.91/1800.02 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1799.91/1800.02 v -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1799.91/1800.02 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74
1799.91/1800.02 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
1799.91/1800.02 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
1799.91/1800.02 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1
1799.91/1800.02 c SCIP Status : solving was interrupted [time limit reached]
1799.91/1800.02 c Total Time : 1800.00
1799.91/1800.02 c solving : 1800.00
1799.91/1800.02 c presolving : 0.41 (included in solving)
1799.91/1800.02 c reading : 0.10 (included in solving)
1799.91/1800.02 c Original Problem :
1799.91/1800.02 c Problem name : HOME/instance-3450655-1307105432.opb
1799.91/1800.02 c Variables : 19244 (19244 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.91/1800.02 c Constraints : 19744 initial, 19744 maximal
1799.91/1800.02 c Presolved Problem :
1799.91/1800.02 c Problem name : t_HOME/instance-3450655-1307105432.opb
1799.91/1800.02 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.91/1800.02 c Constraints : 18744 initial, 18744 maximal
1799.91/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.91/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c probing : 0.14 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c and : 0.13 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c linear : 0.04 18744 0 0 18744 0 500 0 0 0
1799.91/1800.02 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1799.91/1800.02 c pseudoboolean : 0.01 0 0 0 0 0 500 0 0 0
1799.91/1800.02 c root node : - 0 - - 0 - - - - -
1799.91/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.91/1800.02 c integral : 0 0 0 162770 0 82672 0 1 17 0 0 231036
1799.91/1800.02 c logicor : 18744 222 157949 47245 0 82668 0 0 2310395 3005792 0 0
1799.91/1800.02 c countsols : 0 0 0 2 0 883 0 0 0 0 0 0
1799.91/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.91/1800.02 c integral : 173.77 0.00 0.00 173.73 0.00 0.04 0.00
1799.91/1800.02 c logicor : 83.61 0.83 25.93 32.13 0.00 24.73 0.00
1799.91/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.91/1800.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.91/1800.02 c vbounds : 0 0 0 0
1799.91/1800.02 c rootredcost : 7 0 0 0
1799.91/1800.02 c pseudoobj : 286813 0 0 0
1799.91/1800.02 c Propagator Timings : TotalTime Propagate Resprop
1799.91/1800.02 c vbounds : 0.06 0.06 0.00
1799.91/1800.02 c rootredcost : 0.06 0.06 0.00
1799.91/1800.02 c pseudoobj : 2.55 2.55 0.00
1799.91/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.91/1800.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1799.91/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.91/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.91/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.91/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.91/1800.02 c applied globally : - - - 0 0.0 - - -
1799.91/1800.02 c applied locally : - - - 0 0.0 - - -
1799.91/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.91/1800.02 c cut pool : 0.28 221 - - 2215 - (maximal pool size: 11084)
1799.91/1800.02 c redcost : 1.89 163844 0 1340 0 0
1799.91/1800.02 c impliedbounds : 0.15 222 0 0 18205 0
1799.91/1800.02 c intobj : 0.00 0 0 0 0 0
1799.91/1800.02 c gomory : 80.23 220 0 0 30522 0
1799.91/1800.02 c cgmip : 0.00 0 0 0 0 0
1799.91/1800.02 c closecuts : 0.00 0 0 0 0 0
1799.91/1800.02 c strongcg : 0.89 20 0 0 10000 0
1799.91/1800.02 c cmir : 0.65 10 0 0 0 0
1799.91/1800.02 c flowcover : 0.61 10 0 0 0 0
1799.91/1800.02 c clique : 4.53 220 0 0 2054 0
1799.91/1800.02 c zerohalf : 0.00 0 0 0 0 0
1799.91/1800.02 c mcf : 0.01 1 0 0 0 0
1799.91/1800.02 c oddcycle : 0.00 0 0 0 0 0
1799.91/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1799.91/1800.02 c Pricers : Time Calls Vars
1799.91/1800.02 c problem variables: 0.00 0 0
1799.91/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.91/1800.02 c relpscost : 173.63 115525 1 17 0 0 231036
1799.91/1800.02 c pscost : 0.00 0 0 0 0 0 0
1799.91/1800.02 c inference : 0.00 1 0 0 0 0 2
1799.91/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1799.91/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1799.91/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1799.91/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1799.91/1800.02 c random : 0.00 0 0 0 0 0 0
1799.91/1800.02 c Primal Heuristics : Time Calls Found
1799.91/1800.02 c LP solutions : 0.00 - 2
1799.91/1800.02 c pseudo solutions : 0.00 - 0
1799.91/1800.02 c feaspump : 0.00 0 0
1799.91/1800.02 c oneopt : 0.05 9 1
1799.91/1800.02 c crossover : 3.34 37 21
1799.91/1800.02 c pscostdiving : 3.99 597 47
1799.91/1800.02 c fracdiving : 4.09 597 29
1799.91/1800.02 c veclendiving : 6.20 597 98
1799.91/1800.02 c linesearchdiving : 3.86 597 35
1799.91/1800.02 c guideddiving : 3.87 597 29
1799.91/1800.02 c objpscostdiving : 5.98 299 29
1799.91/1800.02 c rootsoldiving : 3.22 299 7
1799.91/1800.02 c coefdiving : 4.38 598 61
1799.91/1800.02 c trivial : 0.02 2 1
1799.91/1800.02 c shiftandpropagate: 0.00 0 0
1799.91/1800.02 c simplerounding : 19.44 115759 519
1799.91/1800.02 c zirounding : 0.23 1000 0
1799.91/1800.02 c rounding : 12.24 21597 2
1799.91/1800.02 c shifting : 3.95 4896 2
1799.91/1800.02 c intshifting : 0.00 0 0
1799.91/1800.02 c twoopt : 0.00 0 0
1799.91/1800.02 c fixandinfer : 0.00 0 0
1799.91/1800.02 c clique : 0.00 0 0
1799.91/1800.02 c intdiving : 0.00 0 0
1799.91/1800.02 c actconsdiving : 0.00 0 0
1799.91/1800.02 c octane : 0.00 0 0
1799.91/1800.02 c rens : 0.04 0 0
1799.91/1800.02 c rins : 0.00 0 0
1799.91/1800.02 c localbranching : 0.00 0 0
1799.91/1800.02 c mutation : 0.00 0 0
1799.91/1800.02 c dins : 0.00 0 0
1799.91/1800.02 c vbounds : 0.00 0 0
1799.91/1800.02 c undercover : 0.01 1 0
1799.91/1800.02 c subnlp : 0.03 0 0
1799.91/1800.02 c trysol : 0.04 0 0
1799.91/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1799.91/1800.02 c primal LP : 6.57 0 0 0.00 0.00
1799.91/1800.02 c dual LP : 1336.32 196907 20222406 102.70 15132.87
1799.91/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1799.91/1800.02 c barrier LP : 0.00 0 0 0.00 -
1799.91/1800.02 c diving/probing LP: 26.30 17935 444338 24.77 16897.44
1799.91/1800.02 c strong branching : 171.25 8335 1966555 235.94 11483.77
1799.91/1800.02 c (at root node) : - 17 17000 1000.00 -
1799.91/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1799.91/1800.02 c B&B Tree :
1799.91/1800.02 c number of runs : 1
1799.91/1800.02 c nodes : 149412
1799.91/1800.02 c nodes (total) : 149412
1799.91/1800.02 c nodes left : 78846
1799.91/1800.02 c max depth : 117
1799.91/1800.02 c max depth (total): 117
1799.91/1800.02 c backtracks : 13926 (9.3%)
1799.91/1800.02 c delayed cutoffs : 0
1799.91/1800.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.91/1800.02 c avg switch length: 4.60
1799.91/1800.02 c switching time : 32.64
1799.91/1800.02 c Solution :
1799.91/1800.02 c Solutions found : 883 (11 improvements)
1799.91/1800.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.19 seconds, depth 0, found by <trivial>)
1799.91/1800.02 c Primal Bound : -3.40000000000000e+01 (in run 1, after 66885 nodes, 1351.14 seconds, depth 72, found by <relaxation>)
1799.91/1800.02 c Dual Bound : -9.36122684777607e+01
1799.91/1800.02 c Gap : 63.68 %
1799.91/1800.02 c Root Dual Bound : -1.02259468319035e+02
1799.91/1800.02 c Root Iterations : 130242
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-3450655-1307105432/watcher-3450655-1307105432 -o /tmp/evaluation-result-3450655-1307105432/solver-3450655-1307105432 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450655-1307105432.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 32693
/proc/meminfo: memFree=12334188/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=17244 CPUtime=0.01 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 3309 0 0 0 1 0 0 0 25 0 1 0 822142845 17657856 3262 33554432000 4194304 9163163 140735598785680 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32693/statm: 4311 3262 415 1214 0 3093 0
[startup+0.11354 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 32693
/proc/meminfo: memFree=12334188/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=46204 CPUtime=0.11 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 10475 0 0 0 10 1 0 0 25 0 1 0 822142845 47312896 10391 33554432000 4194304 9163163 140735598785680 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 11551 10404 447 1214 0 10333 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 46204
[startup+0.200516 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 32693
/proc/meminfo: memFree=12334188/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=73516 CPUtime=0.19 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 16820 0 0 0 17 2 0 0 25 0 1 0 822142845 75280384 16736 33554432000 4194304 9163163 140735598785680 18446744073709551615 4339955 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 18379 16736 491 1214 0 17161 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 73516
[startup+0.300498 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 32693
/proc/meminfo: memFree=12334188/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=85252 CPUtime=0.29 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 19772 0 0 0 27 2 0 0 25 0 1 0 822142845 87298048 19688 33554432000 4194304 9163163 140735598785680 18446744073709551615 6923183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 21313 19688 505 1214 0 20095 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85252
[startup+0.700428 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 32693
/proc/meminfo: memFree=12334188/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=113844 CPUtime=0.69 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 27677 0 0 0 66 3 0 0 25 0 1 0 822142845 116576256 26274 33554432000 4194304 9163163 140735598785680 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 28461 26274 794 1214 0 27243 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 113844
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.00 4/435 32694
/proc/meminfo: memFree=12227784/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=117776 CPUtime=1.49 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 30984 0 0 0 146 3 0 0 25 0 1 0 822142845 120602624 27328 33554432000 4194304 9163163 140735598785680 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 29444 27328 781 1214 0 28226 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117776
[startup+6.02147 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 32694
/proc/meminfo: memFree=12222700/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=121508 CPUtime=6.01 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 32443 0 0 0 597 4 0 0 25 0 1 0 822142845 124424192 28744 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 30377 28744 740 1214 0 29159 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 121508
[startup+6.30046 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 32694
/proc/meminfo: memFree=12222700/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=121508 CPUtime=6.29 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 32472 0 0 0 625 4 0 0 25 0 1 0 822142845 124424192 28771 33554432000 4194304 9163163 140735598785680 18446744073709551615 6213906 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 30377 28771 738 1214 0 29159 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 121508
[startup+12.7003 s]
/proc/loadavg: 2.22 2.06 2.02 3/435 32694
/proc/meminfo: memFree=12200068/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=141124 CPUtime=12.69 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 37602 0 0 0 1259 10 0 0 25 0 1 0 822142845 144510976 33678 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 35281 33678 707 1214 0 34063 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 141124
[startup+25.5011 s]
/proc/loadavg: 2.19 2.06 2.01 3/435 32694
/proc/meminfo: memFree=12194136/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=145460 CPUtime=25.49 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 38709 0 0 0 2532 17 0 0 25 0 1 0 822142845 148951040 34718 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 36365 34718 703 1214 0 35147 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 145460
[startup+51.1167 s]
/proc/loadavg: 2.11 2.05 2.01 3/435 32695
/proc/meminfo: memFree=12189700/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=145460 CPUtime=51.09 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 38709 0 0 0 5081 28 0 0 25 0 1 0 822142845 148951040 34718 33554432000 4194304 9163163 140735598785680 18446744073709551615 6611656 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 36365 34718 703 1214 0 35147 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 145460
[startup+102.301 s]
/proc/loadavg: 2.05 2.04 2.01 3/435 32696
/proc/meminfo: memFree=12183600/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=145460 CPUtime=102.26 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 38713 0 0 0 10179 47 0 0 25 0 1 0 822142845 148951040 34722 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 36365 34722 703 1214 0 35147 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 145460
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/435 32698
/proc/meminfo: memFree=12177524/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=145524 CPUtime=162.24 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 42785 0 0 0 16141 83 0 0 25 0 1 0 822142845 149016576 34753 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 36381 34753 725 1214 0 35163 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 145524
[startup+222.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/435 32699
/proc/meminfo: memFree=12169700/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=145076 CPUtime=222.25 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 49842 0 0 0 22070 155 0 0 25 0 1 0 822142845 148557824 34650 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 36269 34650 740 1214 0 35051 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 145076
[startup+282.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/435 32701
/proc/meminfo: memFree=12159652/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=146596 CPUtime=282.24 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 57442 0 0 0 27998 226 0 0 25 0 1 0 822142845 150114304 35036 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 36649 35036 740 1214 0 35431 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 146596
[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/435 32703
/proc/meminfo: memFree=12154928/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=148852 CPUtime=342.25 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 65275 0 0 0 33925 300 0 0 25 0 1 0 822142845 152424448 35602 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 37213 35602 740 1214 0 35995 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 148852
[startup+402.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/435 32704
/proc/meminfo: memFree=12143012/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=152112 CPUtime=402.24 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 66086 0 0 0 39855 369 0 0 25 0 1 0 822142845 155762688 36413 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 38028 36413 740 1214 0 36810 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 152112
[startup+462.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/435 32706
/proc/meminfo: memFree=12128120/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=155076 CPUtime=462.24 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 74044 0 0 0 45781 443 0 0 25 0 1 0 822142845 158797824 37139 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 38769 37139 740 1214 0 37551 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 155076
[startup+522.301 s]
/proc/loadavg: 2.03 2.06 2.01 3/435 32707
/proc/meminfo: memFree=12116700/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=159812 CPUtime=522.24 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 82531 0 0 0 51704 520 0 0 25 0 1 0 822142845 163647488 38369 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 39953 38369 740 1214 0 38735 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 159812
[startup+582.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/435 32709
/proc/meminfo: memFree=12108132/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=162780 CPUtime=582.26 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 90516 0 0 0 57627 599 0 0 25 0 1 0 822142845 166686720 39064 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 40695 39064 742 1214 0 39477 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 162780
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/435 32724
/proc/meminfo: memFree=12055836/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=187552 CPUtime=822.23 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 196465 0 0 0 81292 931 0 0 25 0 1 0 822142845 192053248 45353 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 46888 45353 743 1214 0 45670 0
Current children cumulated CPU time (s) 822.23
Current children cumulated vsize (KiB) 187552
[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/435 32726
/proc/meminfo: memFree=12043544/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=193704 CPUtime=882.23 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 205221 0 0 0 87208 1015 0 0 25 0 1 0 822142845 198352896 46905 33554432000 4194304 9163163 140735598785680 18446744073709551615 5264974 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 48426 46905 743 1214 0 47208 0
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (KiB) 193704
[startup+942.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/435 32731
/proc/meminfo: memFree=12025756/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=201996 CPUtime=942.23 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 214547 0 0 0 93130 1093 0 0 25 0 1 0 822142845 206843904 48975 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 50499 48975 743 1214 0 49281 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 201996
[startup+1002.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/435 32732
/proc/meminfo: memFree=12009796/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=210620 CPUtime=1002.23 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 216728 0 0 0 99047 1176 0 0 25 0 1 0 822142845 215674880 51155 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 52655 51155 743 1214 0 51437 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 210620
[startup+1062.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/435 32762
/proc/meminfo: memFree=12215984/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=214736 CPUtime=1062.23 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 246336 0 0 0 104958 1265 0 0 25 0 1 0 822142845 219889664 52196 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 53684 52196 743 1214 0 52466 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 214736
[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/435 32763
/proc/meminfo: memFree=12209232/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=220140 CPUtime=1122.22 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 254878 0 0 0 110880 1342 0 0 25 0 1 0 822142845 225423360 53575 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 55035 53575 743 1214 0 53817 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 220140
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/435 32765
/proc/meminfo: memFree=12202904/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=223712 CPUtime=1182.22 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 255751 0 0 0 116805 1417 0 0 25 0 1 0 822142845 229081088 54448 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 55928 54448 743 1214 0 54710 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 223712
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 32767
/proc/meminfo: memFree=12186776/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=232968 CPUtime=1242.22 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 265230 0 0 0 122729 1493 0 0 25 0 1 0 822142845 238559232 56910 33554432000 4194304 9163163 140735598785680 18446744073709551615 5278987 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 58242 56910 865 1214 0 57024 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 232968
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 300
/proc/meminfo: memFree=12167920/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=245680 CPUtime=1302.23 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 268424 0 0 0 128646 1577 0 0 25 0 1 0 822142845 251576320 60104 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 61420 60104 865 1214 0 60202 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 245680
[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/435 302
/proc/meminfo: memFree=12151792/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=252888 CPUtime=1362.22 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 298805 0 0 0 134562 1660 0 0 25 0 1 0 822142845 258957312 61917 33554432000 4194304 9163163 140735598785680 18446744073709551615 5279003 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 63222 61917 865 1214 0 62004 0
Current children cumulated CPU time (s) 1362.22
Current children cumulated vsize (KiB) 252888
[startup+1422.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/435 303
/proc/meminfo: memFree=12142728/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=259384 CPUtime=1422.23 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 314632 0 0 0 140479 1744 0 0 25 0 1 0 822142845 265609216 63507 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 64846 63507 865 1214 0 63628 0
Current children cumulated CPU time (s) 1422.23
Current children cumulated vsize (KiB) 259384
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/435 305
/proc/meminfo: memFree=12128828/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=266428 CPUtime=1482.24 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 323659 0 0 0 146399 1825 0 0 25 0 1 0 822142845 272822272 65300 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 66607 65300 865 1214 0 65389 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 266428
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/435 307
/proc/meminfo: memFree=12111704/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=275956 CPUtime=1542.22 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 333206 0 0 0 152313 1909 0 0 25 0 1 0 822142845 282578944 67657 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 68989 67657 865 1214 0 67771 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 275956
[startup+1602.32 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 308
/proc/meminfo: memFree=12094456/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=286976 CPUtime=1602.23 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 336027 0 0 0 158232 1991 0 0 25 0 1 0 822142845 293863424 70478 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 71744 70478 865 1214 0 70526 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 286976
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/435 310
/proc/meminfo: memFree=12077460/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=297100 CPUtime=1662.21 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 345210 0 0 0 164145 2076 0 0 25 0 1 0 822142845 304230400 72464 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 74275 72464 865 1214 0 73057 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 297100
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 320
/proc/meminfo: memFree=12061700/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=307184 CPUtime=1722.21 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 347742 0 0 0 170067 2154 0 0 25 0 1 0 822142845 314556416 74996 33554432000 4194304 9163163 140735598785680 18446744073709551615 7390230 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 76796 74996 865 1214 0 75578 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 307184
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 322
/proc/meminfo: memFree=12051024/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=313188 CPUtime=1782.21 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 349268 0 0 0 175983 2238 0 0 25 0 1 0 822142845 320704512 76522 33554432000 4194304 9163163 140735598785680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32693/statm: 78297 76522 865 1214 0 77079 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 313188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 323
/proc/meminfo: memFree=12047172/32951132 swapFree=67093840/67111528
[pid=32693] ppid=32691 vsize=314344 CPUtime=1800.02 cores=0,2,4,6
/proc/32693/stat : 32693 (scip-2.0.1.4b.l) R 32691 32693 27022 0 -1 4202496 349567 0 0 0 177740 2262 0 0 18 0 1 0 822142845 321888256 76821 33554432000 4194304 9163163 140735598785680 18446744073709551615 6637802 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32693/statm: 78586 76821 867 1214 0 77368 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 314344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.05
CPU user time (s): 1777.41
CPU system time (s): 22.6386
CPU usage (%): 99.9953
Max. virtual memory (cumulated for all children) (KiB): 320928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.41
system time used= 22.6386
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349567
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= 7
involuntary context switches= 4253
runsolver used 9.09962 second user time and 18.8141 second system time
The end