0.00/0.00 c SCIP version 2.0.1.4 [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-3453304-1307094385.opb>
0.00/0.00 c original problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 o 100
0.00/0.00 c feasible solution found by trivial heuristic, objective value 1.000000e+02
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (2 rounds):
0.00/0.01 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.01 c 100 constraints of type <logicor>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.4
0.00/0.01 c
0.00/0.01 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c conflict/interconss = 0
0.00/0.01 c
0.00/0.01 c # should binary conflicts be preferred?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c conflict/preferbinary = TRUE
0.00/0.01 c
0.00/0.01 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.01 c constraints/agelimit = 1
0.00/0.01 c
0.00/0.01 c # should enforcement of pseudo solution be disabled?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/disableenfops = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = 0
0.00/0.01 c
0.00/0.01 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.00/0.01 c # [type: char, range: {lafpsqd}, default: l]
0.00/0.01 c lp/pricing = a
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # priority of node selection rule <dfs> in standard mode
0.00/0.01 c # [type: int, range: [-536870912,536870911], default: 0]
0.00/0.01 c nodeselection/dfs/stdpriority = 1000000
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.03 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.03 c t 0.0s| 1 | 0 | 615 | - | 698k| 0 | 64 | 100 | 100 | 100 | 100 | 0 | 0 | 0 | 3.130044e+00 | 1.000000e+02 |3094.84%
0.00/0.03 o 64
0.00/0.03 c r 0.0s| 1 | 0 | 615 | - | 700k| 0 | 64 | 100 | 100 | 100 | 100 | 0 | 0 | 0 | 3.130044e+00 | 6.400000e+01 |1944.70%
0.00/0.03 o 63
0.00/0.03 c R 0.0s| 1 | 0 | 615 | - | 703k| 0 | 64 | 100 | 100 | 100 | 100 | 0 | 0 | 0 | 3.130044e+00 | 6.300000e+01 |1912.75%
0.00/0.03 o 62
0.00/0.03 c s 0.0s| 1 | 0 | 615 | - | 706k| 0 | 64 | 100 | 100 | 100 | 100 | 0 | 0 | 0 | 3.130044e+00 | 6.200000e+01 |1880.80%
0.00/0.04 c 0.0s| 1 | 0 | 707 | - | 808k| 0 | 58 | 100 | 100 | 100 | 101 | 1 | 0 | 0 | 3.160789e+00 | 6.200000e+01 |1861.54%
0.00/0.04 o 9
0.00/0.04 c b 0.0s| 1 | 0 | 707 | - | 811k| 0 | 58 | 100 | 100 | 100 | 101 | 1 | 0 | 0 | 3.160789e+00 | 9.000000e+00 | 184.74%
0.00/0.04 o 9
0.00/0.04 c s 0.0s| 1 | 0 | 707 | - | 812k| 0 | 58 | 100 | 100 | 100 | 101 | 1 | 0 | 0 | 3.160789e+00 | 9.000000e+00 | 184.74%
0.04/0.06 c 0.1s| 1 | 0 | 757 | - | 849k| 0 | 58 | 100 | 100 | 100 | 102 | 2 | 0 | 0 | 3.175093e+00 | 9.000000e+00 | 183.46%
0.04/0.06 o 7
0.04/0.06 c b 0.1s| 1 | 0 | 757 | - | 854k| 0 | 58 | 100 | 100 | 100 | 102 | 2 | 0 | 0 | 3.175093e+00 | 7.000000e+00 | 120.47%
0.04/0.07 c 0.1s| 1 | 0 | 805 | - | 867k| 0 | 57 | 100 | 100 | 100 | 103 | 3 | 0 | 0 | 3.179558e+00 | 7.000000e+00 | 120.16%
0.29/0.35 c 0.3s| 1 | 2 | 805 | - | 872k| 0 | 57 | 100 | 100 | 100 | 103 | 3 | 0 | 20 | 3.179558e+00 | 7.000000e+00 | 120.16%
1.49/1.59 c 1.6s| 10000 | 6 | 805 | 0.0 |1345k| 90 | - | 100 | 936 | 0 | 0 | 3 |5046 | 20 | 3.186551e+00 | 7.000000e+00 | 119.67%
2.79/2.86 c 2.9s| 20000 | 6 | 805 | 0.0 |1313k| 90 | - | 100 | 692 | 0 | 0 | 3 | 10k| 20 | 3.186551e+00 | 7.000000e+00 | 119.67%
4.19/4.20 c 4.2s| 30000 | 6 | 805 | 0.0 |1326k| 90 | - | 100 | 709 | 0 | 0 | 3 | 15k| 20 | 3.186551e+00 | 7.000000e+00 | 119.67%
5.51/5.57 c 5.6s| 40000 | 7 | 805 | 0.0 |1524k| 90 | - | 100 |1296 | 0 | 0 | 3 | 20k| 20 | 3.186551e+00 | 7.000000e+00 | 119.67%
6.89/6.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.89/6.93 c 6.9s| 50000 | 7 | 805 | 0.0 |1426k| 90 | - | 100 | 972 | 0 | 0 | 3 | 25k| 20 | 3.186551e+00 | 7.000000e+00 | 119.67%
8.29/8.33 c 8.3s| 60000 | 7 | 805 | 0.0 |1926k| 90 | - | 100 |2312 | 0 | 0 | 3 | 30k| 20 | 3.186551e+00 | 7.000000e+00 | 119.67%
9.69/9.75 c 9.8s| 70000 | 7 | 805 | 0.0 |1794k| 90 | - | 100 |1885 | 0 | 0 | 3 | 35k| 20 | 3.186551e+00 | 7.000000e+00 | 119.67%
11.01/11.07 c 11.1s| 80000 | 7 | 805 | 0.0 |1625k| 90 | - | 100 |1479 | 0 | 0 | 3 | 40k| 20 | 3.186551e+00 | 7.000000e+00 | 119.67%
11.79/11.87 o 6
11.79/11.87 c *11.9s| 86473 | 6 | 805 | 0.0 |1609k| 91 | - | 100 |1427 | 0 | 0 | 3 | 43k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
12.29/12.30 c 12.3s| 90000 | 5 | 805 | 0.0 |1453k| 91 | - | 100 |1159 | 0 | 0 | 3 | 45k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
13.59/13.61 c 13.6s|100000 | 6 | 805 | 0.0 |1342k| 91 | - | 100 | 726 | 0 | 0 | 3 | 50k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
14.89/14.94 c 14.9s|110000 | 6 | 805 | 0.0 |1412k| 91 | - | 100 | 957 | 0 | 0 | 3 | 55k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
16.19/16.28 c 16.3s|120000 | 6 | 805 | 0.0 |1573k| 91 | - | 100 |1435 | 0 | 0 | 3 | 60k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
17.61/17.65 c 17.6s|130000 | 6 | 805 | 0.0 |1403k| 91 | - | 100 | 883 | 0 | 0 | 3 | 65k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
18.99/19.04 c 19.0s|140000 | 5 | 805 | 0.0 |1691k| 91 | - | 100 |1708 | 0 | 0 | 3 | 71k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
20.39/20.41 c 20.4s|150000 | 5 | 805 | 0.0 |1554k| 91 | - | 100 |1309 | 0 | 0 | 3 | 76k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
21.79/21.81 c 21.8s|160000 | 5 | 805 | 0.0 |1649k| 91 | - | 100 |1602 | 0 | 0 | 3 | 81k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
23.11/23.16 c 23.2s|170000 | 6 | 805 | 0.0 |1737k| 91 | - | 100 |1863 | 0 | 0 | 3 | 86k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
24.39/24.46 c 24.5s|180000 | 6 | 805 | 0.0 |1561k| 91 | - | 100 |1532 | 0 | 0 | 3 | 91k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
25.69/25.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.69/25.79 c 25.8s|190000 | 6 | 805 | 0.0 |1489k| 91 | - | 100 |1227 | 0 | 0 | 3 | 96k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
27.09/27.11 c 27.1s|200000 | 5 | 805 | 0.0 |1514k| 91 | - | 100 |1265 | 0 | 0 | 3 | 101k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
28.39/28.48 c 28.5s|210000 | 6 | 805 | 0.0 |1647k| 91 | - | 100 |1673 | 0 | 0 | 3 | 106k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
29.79/29.88 c 29.9s|220000 | 5 | 805 | 0.0 |1590k| 91 | - | 100 |1405 | 0 | 0 | 3 | 111k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
31.29/31.30 c 31.3s|230000 | 6 | 805 | 0.0 |1768k| 91 | - | 100 |1863 | 0 | 0 | 3 | 116k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
32.69/32.72 c 32.7s|240000 | 5 | 805 | 0.0 |1669k| 91 | - | 100 |1553 | 0 | 0 | 3 | 121k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
34.01/34.07 c 34.1s|250000 | 5 | 805 | 0.0 |1661k| 91 | - | 100 |1526 | 0 | 0 | 3 | 127k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
35.29/35.30 c 35.3s|260000 | 5 | 805 | 0.0 |1623k| 91 | - | 100 |1440 | 0 | 0 | 3 | 132k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
36.31/36.38 c 36.4s|270000 | 5 | 805 | 0.0 |1646k| 91 | - | 100 |1439 | 0 | 0 | 3 | 137k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
37.69/37.72 c 37.7s|280000 | 6 | 805 | 0.0 |1416k| 91 | - | 100 | 970 | 0 | 0 | 3 | 142k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
38.99/39.05 c 39.1s|290000 | 6 | 805 | 0.0 |1387k| 91 | - | 100 | 809 | 0 | 0 | 3 | 147k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
40.39/40.41 c 40.4s|300000 | 6 | 805 | 0.0 |1575k| 91 | - | 100 |1418 | 0 | 0 | 3 | 152k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
41.81/41.81 c 41.8s|310000 | 5 | 805 | 0.0 |1793k| 91 | - | 100 |2018 | 0 | 0 | 3 | 157k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
43.19/43.25 c 43.3s|320000 | 6 | 805 | 0.0 |1636k| 91 | - | 100 |1481 | 0 | 0 | 3 | 162k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
44.69/44.70 c 44.7s|330000 | 6 | 805 | 0.0 |1824k| 91 | - | 100 |1941 | 0 | 0 | 3 | 167k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
45.99/46.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.99/46.10 c 46.1s|340000 | 5 | 805 | 0.0 |1671k| 91 | - | 100 |1541 | 0 | 0 | 3 | 172k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
47.39/47.43 c 47.4s|350000 | 6 | 805 | 0.0 |1684k| 91 | - | 100 |1512 | 0 | 0 | 3 | 177k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
48.59/48.66 c 48.7s|360000 | 4 | 805 | 0.0 |1661k| 91 | - | 100 |1457 | 0 | 0 | 3 | 183k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
49.69/49.79 c 49.8s|370000 | 6 | 805 | 0.0 |1663k| 91 | - | 100 |1446 | 0 | 0 | 3 | 188k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
50.99/51.00 c 51.0s|380000 | 6 | 805 | 0.0 |1240k| 91 | - | 100 | 271 | 0 | 0 | 3 | 193k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
52.29/52.30 c 52.3s|390000 | 6 | 805 | 0.0 |1361k| 91 | - | 100 | 679 | 0 | 0 | 3 | 198k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
53.59/53.60 c 53.6s|400000 | 5 | 805 | 0.0 |1625k| 91 | - | 100 |1502 | 0 | 0 | 3 | 203k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
54.91/54.94 c 54.9s|410000 | 6 | 805 | 0.0 |1725k| 91 | - | 100 |1739 | 0 | 0 | 3 | 208k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
56.19/56.27 c 56.3s|420000 | 5 | 805 | 0.0 |1652k| 91 | - | 100 |1462 | 0 | 0 | 3 | 213k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
57.59/57.62 c 57.6s|430000 | 5 | 805 | 0.0 |1834k| 91 | - | 100 |1863 | 0 | 0 | 3 | 218k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
58.79/58.86 c 58.9s|440000 | 6 | 805 | 0.0 |1620k| 91 | - | 100 |1285 | 0 | 0 | 3 | 223k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
59.89/59.96 c 60.0s|450000 | 5 | 805 | 0.0 |1607k| 91 | - | 100 |1284 | 0 | 0 | 3 | 228k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
61.09/61.12 c 61.1s|460000 | 6 | 805 | 0.0 |1494k| 91 | - | 100 |1173 | 0 | 0 | 3 | 234k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
62.39/62.41 c 62.4s|470000 | 6 | 805 | 0.0 |1573k| 91 | - | 100 |1408 | 0 | 0 | 3 | 239k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
63.71/63.72 c 63.7s|480000 | 5 | 805 | 0.0 |1480k| 91 | - | 100 |1031 | 0 | 0 | 3 | 244k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
65.00/65.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.00/65.04 c 65.0s|490000 | 5 | 805 | 0.0 |1437k| 91 | - | 100 | 876 | 0 | 0 | 3 | 249k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
66.39/66.40 c 66.4s|500000 | 5 | 805 | 0.0 |1719k| 91 | - | 100 |1649 | 0 | 0 | 3 | 254k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
67.69/67.75 c 67.8s|510000 | 5 | 805 | 0.0 |1763k| 91 | - | 100 |1765 | 0 | 0 | 3 | 259k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
68.99/69.09 c 69.1s|520000 | 5 | 805 | 0.0 |1721k| 91 | - | 100 |1660 | 0 | 0 | 3 | 264k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
70.31/70.36 c 70.4s|530000 | 6 | 805 | 0.0 |1852k| 91 | - | 100 |2023 | 0 | 0 | 3 | 269k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
71.51/71.59 c 71.6s|540000 | 6 | 805 | 0.0 |1540k| 91 | - | 100 |1219 | 0 | 0 | 3 | 274k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
72.79/72.85 c 72.8s|550000 | 5 | 805 | 0.0 |1624k| 91 | - | 100 |1509 | 0 | 0 | 3 | 279k| 20 | 3.186551e+00 | 6.000000e+00 | 88.29%
73.49/73.53 o 5
73.49/73.53 c *73.5s|555431 | 5 | 805 | 0.0 |1410k| 91 | - | 100 | 799 | 0 | 0 | 3 | 282k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
73.99/74.09 c 74.1s|560000 | 4 | 805 | 0.0 |1632k| 91 | - | 100 |1585 | 0 | 0 | 3 | 284k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
75.29/75.36 c 75.4s|570000 | 4 | 805 | 0.0 |1502k| 91 | - | 100 |1107 | 0 | 0 | 3 | 290k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
76.60/76.63 c 76.6s|580000 | 4 | 805 | 0.0 |1696k| 91 | - | 100 |1638 | 0 | 0 | 3 | 295k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
77.90/77.92 c 77.9s|590000 | 5 | 805 | 0.0 |1746k| 91 | - | 100 |1697 | 0 | 0 | 3 | 300k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
79.21/79.24 c 79.2s|600000 | 4 | 805 | 0.0 |1727k| 91 | - | 100 |1578 | 0 | 0 | 3 | 305k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
80.40/80.44 c 80.4s|610000 | 5 | 805 | 0.0 |1594k| 91 | - | 100 |1239 | 0 | 0 | 3 | 310k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
81.41/81.47 c 81.5s|620000 | 5 | 805 | 0.0 |1582k| 91 | - | 100 |1198 | 0 | 0 | 3 | 315k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
82.51/82.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.51/82.55 c 82.6s|630000 | 4 | 805 | 0.0 |1446k| 91 | - | 100 |1236 | 0 | 0 | 3 | 320k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
83.80/83.83 c 83.8s|640000 | 5 | 805 | 0.0 |1377k| 91 | - | 100 | 927 | 0 | 0 | 3 | 325k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
85.10/85.12 c 85.1s|650000 | 5 | 805 | 0.0 |1511k| 91 | - | 100 |1564 | 0 | 0 | 3 | 330k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
86.40/86.44 c 86.4s|660000 | 5 | 805 | 0.0 |1488k| 91 | - | 100 |1450 | 0 | 0 | 3 | 335k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
87.70/87.72 c 87.7s|670000 | 5 | 805 | 0.0 |1606k| 91 | - | 100 |1984 | 0 | 0 | 3 | 341k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
88.90/89.01 c 89.0s|680000 | 4 | 805 | 0.0 |1511k| 91 | - | 100 |1560 | 0 | 0 | 3 | 346k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
90.30/90.30 c 90.3s|690000 | 5 | 805 | 0.0 |1561k| 91 | - | 100 |1817 | 0 | 0 | 3 | 351k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
91.50/91.53 c 91.5s|700000 | 5 | 805 | 0.0 |1552k| 91 | - | 100 |1774 | 0 | 0 | 3 | 356k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
92.60/92.67 c 92.7s|710000 | 4 | 805 | 0.0 |1319k| 91 | - | 100 | 650 | 0 | 0 | 3 | 361k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
93.90/93.93 c 93.9s|720000 | 4 | 805 | 0.0 |1321k| 91 | - | 100 | 643 | 0 | 0 | 3 | 366k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
95.20/95.20 c 95.2s|730000 | 5 | 805 | 0.0 |1440k| 91 | - | 100 |1208 | 0 | 0 | 3 | 371k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
96.40/96.48 c 96.5s|740000 | 5 | 805 | 0.0 |1368k| 91 | - | 100 | 904 | 0 | 0 | 3 | 376k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
97.70/97.79 c 97.8s|750000 | 4 | 805 | 0.0 |1361k| 91 | - | 100 | 868 | 0 | 0 | 3 | 381k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
99.01/99.09 c 99.1s|760000 | 5 | 805 | 0.0 |1542k| 91 | - | 100 |1712 | 0 | 0 | 3 | 386k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
100.30/100.39 c 100s|770000 | 5 | 805 | 0.0 |1497k| 91 | - | 100 |1514 | 0 | 0 | 3 | 391k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
101.60/101.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.60/101.67 c 102s|780000 | 5 | 805 | 0.0 |1542k| 91 | - | 100 |1733 | 0 | 0 | 3 | 397k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
102.90/102.91 c 103s|790000 | 4 | 805 | 0.0 |1612k| 91 | - | 100 |2051 | 0 | 0 | 3 | 402k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
104.10/104.12 c 104s|800000 | 5 | 805 | 0.0 |1475k| 91 | - | 100 |1352 | 0 | 0 | 3 | 407k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
105.40/105.41 c 105s|810000 | 5 | 805 | 0.0 |1440k| 91 | - | 100 |1204 | 0 | 0 | 3 | 412k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
106.61/106.66 c 107s|820000 | 5 | 805 | 0.0 |1406k| 91 | - | 100 |1060 | 0 | 0 | 3 | 417k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
107.90/107.93 c 108s|830000 | 5 | 805 | 0.0 |1542k| 91 | - | 100 |1703 | 0 | 0 | 3 | 422k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
109.10/109.18 c 109s|840000 | 5 | 805 | 0.0 |1552k| 91 | - | 100 |1749 | 0 | 0 | 3 | 427k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
110.40/110.41 c 110s|850000 | 5 | 805 | 0.0 |1448k| 91 | - | 100 |1281 | 0 | 0 | 3 | 432k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
111.60/111.60 c 112s|860000 | 4 | 805 | 0.0 |1573k| 91 | - | 100 |1859 | 0 | 0 | 3 | 437k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
112.70/112.72 c 113s|870000 | 4 | 805 | 0.0 |1485k| 91 | - | 100 |1395 | 0 | 0 | 3 | 443k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
113.90/113.95 c 114s|880000 | 4 | 805 | 0.0 |1535k| 91 | - | 100 |1642 | 0 | 0 | 3 | 448k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
115.10/115.18 c 115s|890000 | 4 | 805 | 0.0 |1432k| 91 | - | 100 |1162 | 0 | 0 | 3 | 453k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
116.40/116.41 c 116s|900000 | 4 | 805 | 0.0 |1358k| 91 | - | 100 | 836 | 0 | 0 | 3 | 458k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
117.61/117.65 c 118s|910000 | 5 | 805 | 0.0 |1458k| 91 | - | 100 |1318 | 0 | 0 | 3 | 463k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
118.81/118.89 c 119s|920000 | 4 | 805 | 0.0 |1579k| 91 | - | 100 |1871 | 0 | 0 | 3 | 468k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
120.10/120.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.10/120.15 c 120s|930000 | 4 | 805 | 0.0 |1536k| 91 | - | 100 |1672 | 0 | 0 | 3 | 473k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
121.30/121.34 c 121s|940000 | 5 | 805 | 0.0 |1583k| 91 | - | 100 |1923 | 0 | 0 | 3 | 478k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
122.50/122.51 c 123s|950000 | 4 | 805 | 0.0 |1462k| 91 | - | 100 |1292 | 0 | 0 | 3 | 483k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
123.70/123.74 c 124s|960000 | 4 | 805 | 0.0 |1465k| 91 | - | 100 |1335 | 0 | 0 | 3 | 488k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
124.90/124.92 c 125s|970000 | 5 | 805 | 0.0 |1457k| 91 | - | 100 |1303 | 0 | 0 | 3 | 493k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
126.10/126.13 c 126s|980000 | 5 | 805 | 0.0 |1403k| 91 | - | 100 |1069 | 0 | 0 | 3 | 499k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
127.30/127.33 c 127s|990000 | 4 | 805 | 0.0 |1578k| 91 | - | 100 |1854 | 0 | 0 | 3 | 504k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
128.50/128.55 c 129s| 1000k| 4 | 805 | 0.0 |1539k| 91 | - | 100 |1678 | 0 | 0 | 3 | 509k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
129.71/129.76 c 130s| 1010k| 5 | 805 | 0.0 |1591k| 91 | - | 100 |1942 | 0 | 0 | 3 | 514k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
130.81/130.88 c 131s| 1020k| 4 | 805 | 0.0 |1444k| 91 | - | 100 |1208 | 0 | 0 | 3 | 519k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
132.01/132.05 c 132s| 1030k| 4 | 805 | 0.0 |1322k| 91 | - | 100 | 652 | 0 | 0 | 3 | 524k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
133.20/133.23 c 133s| 1040k| 4 | 805 | 0.0 |1382k| 91 | - | 100 | 932 | 0 | 0 | 3 | 529k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
134.40/134.44 c 134s| 1050k| 4 | 805 | 0.0 |1437k| 91 | - | 100 |1192 | 0 | 0 | 3 | 534k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
135.60/135.63 c 136s| 1060k| 5 | 805 | 0.0 |1433k| 91 | - | 100 |1196 | 0 | 0 | 3 | 539k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
136.80/136.81 c 137s| 1070k| 5 | 805 | 0.0 |1525k| 91 | - | 100 |1633 | 0 | 0 | 3 | 544k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
137.90/137.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.90/137.92 c 138s| 1080k| 4 | 805 | 0.0 |1498k| 91 | - | 100 |1503 | 0 | 0 | 3 | 550k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
138.90/138.96 c 139s| 1090k| 5 | 805 | 0.0 |1422k| 91 | - | 100 |1115 | 0 | 0 | 3 | 555k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
140.10/140.13 c 140s| 1100k| 4 | 805 | 0.0 |1270k| 91 | - | 100 | 417 | 0 | 0 | 3 | 560k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
141.30/141.33 c 141s| 1110k| 4 | 805 | 0.0 |1323k| 91 | - | 100 | 680 | 0 | 0 | 3 | 565k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
142.50/142.52 c 143s| 1120k| 5 | 805 | 0.0 |1373k| 91 | - | 100 | 907 | 0 | 0 | 3 | 570k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
143.70/143.72 c 144s| 1130k| 4 | 805 | 0.0 |1407k| 91 | - | 100 |1074 | 0 | 0 | 3 | 575k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
144.90/144.91 c 145s| 1140k| 4 | 805 | 0.0 |1520k| 91 | - | 100 |1598 | 0 | 0 | 3 | 580k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
146.00/146.00 c 146s| 1150k| 4 | 805 | 0.0 |1543k| 91 | - | 100 |1722 | 0 | 0 | 3 | 585k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
147.10/147.12 c 147s| 1160k| 4 | 805 | 0.0 |1282k| 91 | - | 100 | 462 | 0 | 0 | 3 | 591k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
148.20/148.27 c 148s| 1170k| 4 | 805 | 0.0 |1312k| 91 | - | 100 | 599 | 0 | 0 | 3 | 596k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
149.40/149.43 c 149s| 1180k| 4 | 805 | 0.0 |1500k| 91 | - | 100 |1486 | 0 | 0 | 3 | 601k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
150.61/150.62 c 151s| 1190k| 4 | 805 | 0.0 |1454k| 91 | - | 100 |1284 | 0 | 0 | 3 | 606k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
151.71/151.79 c 152s| 1200k| 5 | 805 | 0.0 |1531k| 91 | - | 100 |1650 | 0 | 0 | 3 | 611k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
152.91/152.92 c 153s| 1210k| 4 | 805 | 0.0 |1518k| 91 | - | 100 |1601 | 0 | 0 | 3 | 616k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
154.01/154.04 c 154s| 1220k| 3 | 805 | 0.0 |1536k| 91 | - | 100 |1636 | 0 | 0 | 3 | 621k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
155.11/155.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.11/155.19 c 155s| 1230k| 5 | 805 | 0.0 |1536k| 91 | - | 100 |1649 | 0 | 0 | 3 | 626k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
156.30/156.36 c 156s| 1240k| 5 | 805 | 0.0 |1438k| 91 | - | 100 |1211 | 0 | 0 | 3 | 631k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
157.50/157.53 c 158s| 1250k| 4 | 805 | 0.0 |1462k| 91 | - | 100 |1327 | 0 | 0 | 3 | 637k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
158.60/158.69 c 159s| 1260k| 5 | 805 | 0.0 |1468k| 91 | - | 100 |1370 | 0 | 0 | 3 | 642k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
159.70/159.79 c 160s| 1270k| 4 | 805 | 0.0 |1528k| 91 | - | 100 |1647 | 0 | 0 | 3 | 647k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
160.80/160.88 c 161s| 1280k| 5 | 805 | 0.0 |1384k| 91 | - | 100 | 958 | 0 | 0 | 3 | 652k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
161.90/161.97 c 162s| 1290k| 4 | 805 | 0.0 |1406k| 91 | - | 100 |1047 | 0 | 0 | 3 | 657k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
163.00/163.08 c 163s| 1300k| 4 | 805 | 0.0 |1516k| 91 | - | 100 |1565 | 0 | 0 | 3 | 662k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
164.10/164.17 c 164s| 1310k| 4 | 805 | 0.0 |1442k| 91 | - | 100 |1235 | 0 | 0 | 3 | 667k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
165.10/165.18 c 165s| 1320k| 5 | 805 | 0.0 |1519k| 91 | - | 100 |1598 | 0 | 0 | 3 | 672k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
166.20/166.29 c 166s| 1330k| 5 | 805 | 0.0 |1389k| 91 | - | 100 | 970 | 0 | 0 | 3 | 677k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
167.40/167.43 c 167s| 1340k| 4 | 805 | 0.0 |1282k| 91 | - | 100 | 489 | 0 | 0 | 3 | 683k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
168.50/168.57 c 169s| 1350k| 4 | 805 | 0.0 |1402k| 91 | - | 100 |1035 | 0 | 0 | 3 | 688k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
169.70/169.70 c 170s| 1360k| 5 | 805 | 0.0 |1528k| 91 | - | 100 |1634 | 0 | 0 | 3 | 693k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
170.70/170.77 c 171s| 1370k| 4 | 805 | 0.0 |1481k| 91 | - | 100 |1421 | 0 | 0 | 3 | 698k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
171.70/171.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.70/171.77 c 172s| 1380k| 4 | 805 | 0.0 |1368k| 91 | - | 100 | 867 | 0 | 0 | 3 | 703k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
172.80/172.86 c 173s| 1390k| 4 | 805 | 0.0 |1300k| 91 | - | 100 | 567 | 0 | 0 | 3 | 708k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
173.90/173.99 c 174s| 1400k| 4 | 805 | 0.0 |1421k| 91 | - | 100 |1121 | 0 | 0 | 3 | 713k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
175.10/175.12 c 175s| 1410k| 5 | 805 | 0.0 |1437k| 91 | - | 100 |1221 | 0 | 0 | 3 | 718k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
176.10/176.18 c 176s| 1420k| 5 | 805 | 0.0 |1489k| 91 | - | 100 |1469 | 0 | 0 | 3 | 723k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
177.20/177.23 c 177s| 1430k| 5 | 805 | 0.0 |1343k| 91 | - | 100 | 768 | 0 | 0 | 3 | 729k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
178.30/178.33 c 178s| 1440k| 5 | 805 | 0.0 |1270k| 91 | - | 100 | 436 | 0 | 0 | 3 | 734k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
179.40/179.44 c 179s| 1450k| 5 | 805 | 0.0 |1351k| 91 | - | 100 | 790 | 0 | 0 | 3 | 739k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
180.50/180.58 c 181s| 1460k| 4 | 805 | 0.0 |1486k| 91 | - | 100 |1440 | 0 | 0 | 3 | 744k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
181.60/181.67 c 182s| 1470k| 5 | 805 | 0.0 |1463k| 91 | - | 100 |1350 | 0 | 0 | 3 | 749k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
182.61/182.68 c 183s| 1480k| 4 | 805 | 0.0 |1405k| 91 | - | 100 |1029 | 0 | 0 | 3 | 754k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
183.71/183.77 c 184s| 1490k| 4 | 805 | 0.0 |1384k| 91 | - | 100 | 944 | 0 | 0 | 3 | 759k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
184.81/184.87 c 185s| 1500k| 4 | 805 | 0.0 |1419k| 91 | - | 100 |1102 | 0 | 0 | 3 | 764k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
185.91/185.94 c 186s| 1510k| 4 | 805 | 0.0 |1443k| 91 | - | 100 |1231 | 0 | 0 | 3 | 769k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
186.91/186.98 c 187s| 1520k| 4 | 805 | 0.0 |1458k| 91 | - | 100 |1315 | 0 | 0 | 3 | 775k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
187.90/187.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.90/187.98 c 188s| 1530k| 5 | 805 | 0.0 |1391k| 91 | - | 100 | 978 | 0 | 0 | 3 | 780k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
189.00/189.05 c 189s| 1540k| 4 | 805 | 0.0 |1271k| 91 | - | 100 | 432 | 0 | 0 | 3 | 785k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
190.10/190.12 c 190s| 1550k| 4 | 805 | 0.0 |1456k| 91 | - | 100 |1277 | 0 | 0 | 3 | 790k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
191.10/191.19 c 191s| 1560k| 5 | 805 | 0.0 |1500k| 91 | - | 100 |1495 | 0 | 0 | 3 | 795k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
192.20/192.23 c 192s| 1570k| 5 | 805 | 0.0 |1390k| 92 | - | 100 | 975 | 0 | 0 | 3 | 800k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
193.20/193.29 c 193s| 1580k| 5 | 805 | 0.0 |1306k| 92 | - | 100 | 609 | 0 | 0 | 3 | 805k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
194.30/194.34 c 194s| 1590k| 5 | 805 | 0.0 |1394k| 92 | - | 100 |1014 | 0 | 0 | 3 | 810k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
195.30/195.34 c 195s| 1600k| 3 | 805 | 0.0 |1410k| 92 | - | 100 |1109 | 0 | 0 | 3 | 816k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
196.30/196.37 c 196s| 1610k| 5 | 805 | 0.0 |1435k| 92 | - | 100 |1180 | 0 | 0 | 3 | 821k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
197.40/197.43 c 197s| 1620k| 5 | 805 | 0.0 |1313k| 92 | - | 100 | 614 | 0 | 0 | 3 | 826k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
198.40/198.49 c 198s| 1630k| 4 | 805 | 0.0 |1453k| 92 | - | 100 |1269 | 0 | 0 | 3 | 831k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
199.50/199.52 c 200s| 1640k| 4 | 805 | 0.0 |1432k| 92 | - | 100 |1188 | 0 | 0 | 3 | 836k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
200.50/200.53 c 201s| 1650k| 4 | 805 | 0.0 |1351k| 92 | - | 100 | 792 | 0 | 0 | 3 | 841k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
201.50/201.57 c 202s| 1660k| 5 | 805 | 0.0 |1319k| 92 | - | 100 | 659 | 0 | 0 | 3 | 846k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
202.60/202.62 c 203s| 1670k| 5 | 805 | 0.0 |1439k| 92 | - | 100 |1214 | 0 | 0 | 3 | 851k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
203.60/203.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.60/203.60 c 204s| 1680k| 4 | 805 | 0.0 |1275k| 92 | - | 100 | 420 | 0 | 0 | 3 | 856k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
204.61/204.61 c 205s| 1690k| 5 | 805 | 0.0 |1271k| 92 | - | 100 | 418 | 0 | 0 | 3 | 862k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
205.50/205.61 c 206s| 1700k| 5 | 805 | 0.0 |1307k| 92 | - | 100 | 613 | 0 | 0 | 3 | 867k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
206.50/206.59 c 207s| 1710k| 5 | 805 | 0.0 |1380k| 92 | - | 100 | 957 | 0 | 0 | 3 | 872k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
207.50/207.52 c 208s| 1720k| 5 | 805 | 0.0 |1252k| 92 | - | 100 | 349 | 0 | 0 | 3 | 877k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
208.50/208.54 c 209s| 1730k| 5 | 805 | 0.0 |1336k| 92 | - | 100 | 722 | 0 | 0 | 3 | 882k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
209.50/209.55 c 210s| 1740k| 4 | 805 | 0.0 |1430k| 92 | - | 100 |1161 | 0 | 0 | 3 | 887k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
210.50/210.52 c 211s| 1750k| 3 | 805 | 0.0 |1462k| 92 | - | 100 |1331 | 0 | 0 | 3 | 892k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
211.50/211.53 c 212s| 1760k| 4 | 805 | 0.0 |1318k| 92 | - | 100 | 639 | 0 | 0 | 3 | 897k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
212.50/212.53 c 213s| 1770k| 4 | 805 | 0.0 |1316k| 92 | - | 100 | 639 | 0 | 0 | 3 | 903k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
213.50/213.54 c 214s| 1780k| 4 | 805 | 0.0 |1418k| 92 | - | 100 |1120 | 0 | 0 | 3 | 908k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
214.51/214.51 c 215s| 1790k| 4 | 805 | 0.0 |1274k| 92 | - | 100 | 429 | 0 | 0 | 3 | 913k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
215.40/215.49 c 215s| 1800k| 4 | 805 | 0.0 |1273k| 92 | - | 100 | 458 | 0 | 0 | 3 | 918k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
216.40/216.44 c 216s| 1810k| 4 | 805 | 0.0 |1347k| 92 | - | 100 | 783 | 0 | 0 | 3 | 923k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
217.30/217.38 c 217s| 1820k| 5 | 805 | 0.0 |1388k| 92 | - | 100 | 961 | 0 | 0 | 3 | 928k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
218.30/218.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.30/218.36 c 218s| 1830k| 5 | 805 | 0.0 |1359k| 92 | - | 100 | 844 | 0 | 0 | 3 | 933k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
219.20/219.25 c 219s| 1840k| 4 | 805 | 0.0 |1246k| 92 | - | 100 | 282 | 0 | 0 | 3 | 939k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
220.20/220.21 c 220s| 1850k| 5 | 805 | 0.0 |1295k| 92 | - | 100 | 538 | 0 | 0 | 3 | 944k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
221.12/221.13 c 221s| 1860k| 4 | 805 | 0.0 |1385k| 92 | - | 100 | 959 | 0 | 0 | 3 | 949k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
222.00/222.04 c 222s| 1870k| 5 | 805 | 0.0 |1321k| 92 | - | 100 | 641 | 0 | 0 | 3 | 954k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
223.00/223.00 c 223s| 1880k| 5 | 805 | 0.0 |1338k| 92 | - | 100 | 741 | 0 | 0 | 3 | 959k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
223.90/223.91 c 224s| 1890k| 4 | 805 | 0.0 |1228k| 92 | - | 100 | 199 | 0 | 0 | 3 | 964k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
224.80/224.83 c 225s| 1900k| 4 | 805 | 0.0 |1309k| 92 | - | 100 | 599 | 0 | 0 | 3 | 969k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
225.70/225.74 c 226s| 1910k| 5 | 805 | 0.0 |1351k| 92 | - | 100 | 812 | 0 | 0 | 3 | 974k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
226.62/226.62 c 227s| 1920k| 5 | 805 | 0.0 |1321k| 92 | - | 100 | 639 | 0 | 0 | 3 | 980k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
227.50/227.53 c 228s| 1930k| 5 | 805 | 0.0 |1295k| 92 | - | 100 | 542 | 0 | 0 | 3 | 985k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
228.30/228.35 c 228s| 1940k| 4 | 805 | 0.0 |1240k| 92 | - | 100 | 271 | 0 | 0 | 3 | 990k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
229.20/229.24 c 229s| 1950k| 4 | 805 | 0.0 |1323k| 92 | - | 100 | 662 | 0 | 0 | 3 | 995k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
230.10/230.13 c 230s| 1960k| 5 | 805 | 0.0 |1286k| 92 | - | 100 | 484 | 0 | 0 | 3 |1000k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
231.01/231.02 c 231s| 1970k| 4 | 805 | 0.0 |1325k| 92 | - | 100 | 675 | 0 | 0 | 3 |1005k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
231.80/231.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.80/231.89 c 232s| 1980k| 5 | 805 | 0.0 |1370k| 92 | - | 100 | 878 | 0 | 0 | 3 |1010k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
232.70/232.76 c 233s| 1990k| 5 | 805 | 0.0 |1372k| 92 | - | 100 | 899 | 0 | 0 | 3 |1016k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
233.50/233.60 c 234s| 2000k| 4 | 805 | 0.0 |1271k| 92 | - | 100 | 409 | 0 | 0 | 3 |1021k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
234.40/234.45 c 234s| 2010k| 5 | 805 | 0.0 |1235k| 92 | - | 100 | 242 | 0 | 0 | 3 |1026k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
235.20/235.28 c 235s| 2020k| 4 | 805 | 0.0 |1343k| 92 | - | 100 | 746 | 0 | 0 | 3 |1031k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
236.10/236.13 c 236s| 2030k| 5 | 805 | 0.0 |1322k| 92 | - | 100 | 668 | 0 | 0 | 3 |1036k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
236.90/236.96 c 237s| 2040k| 5 | 805 | 0.0 |1314k| 92 | - | 100 | 623 | 0 | 0 | 3 |1041k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
237.70/237.79 c 238s| 2050k| 4 | 805 | 0.0 |1350k| 92 | - | 100 | 797 | 0 | 0 | 3 |1046k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
238.50/238.60 c 239s| 2060k| 5 | 805 | 0.0 |1312k| 92 | - | 100 | 613 | 0 | 0 | 3 |1052k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
239.40/239.42 c 239s| 2070k| 5 | 805 | 0.0 |1302k| 92 | - | 100 | 577 | 0 | 0 | 3 |1057k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
240.20/240.21 c 240s| 2080k| 4 | 805 | 0.0 |1301k| 92 | - | 100 | 557 | 0 | 0 | 3 |1062k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
241.00/241.00 c 241s| 2090k| 4 | 805 | 0.0 |1270k| 92 | - | 100 | 410 | 0 | 0 | 3 |1067k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
241.70/241.75 c 242s| 2100k| 5 | 805 | 0.0 |1343k| 92 | - | 100 | 743 | 0 | 0 | 3 |1072k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
242.40/242.49 c 242s| 2110k| 4 | 805 | 0.0 |1234k| 92 | - | 100 | 242 | 0 | 0 | 3 |1077k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
243.20/243.21 c 243s| 2120k| 4 | 805 | 0.0 |1247k| 92 | - | 100 | 293 | 0 | 0 | 3 |1083k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
243.90/243.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.90/243.94 c 244s| 2130k| 5 | 805 | 0.0 |1270k| 92 | - | 100 | 420 | 0 | 0 | 3 |1088k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
244.60/244.65 c 245s| 2140k| 4 | 805 | 0.0 |1277k| 92 | - | 100 | 439 | 0 | 0 | 3 |1093k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
245.32/245.32 c 245s| 2150k| 5 | 805 | 0.0 |1280k| 92 | - | 100 | 465 | 0 | 0 | 3 |1098k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
245.90/245.97 c 246s| 2160k| 5 | 805 | 0.0 |1283k| 92 | - | 100 | 460 | 0 | 0 | 3 |1103k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
246.50/246.59 c 247s| 2170k| 3 | 805 | 0.0 |1221k| 92 | - | 100 | 187 | 0 | 0 | 3 |1108k| 20 | 3.186551e+00 | 5.000000e+00 | 56.91%
246.60/246.64 c
246.60/246.64 c SCIP Status : problem is solved [optimal solution found]
246.60/246.64 c Solving Time (sec) : 246.64
246.60/246.64 c Solving Nodes : 2170928
246.60/246.64 c Primal Bound : +5.00000000000000e+00 (13 solutions)
246.60/246.64 c Dual Bound : +5.00000000000000e+00
246.60/246.64 c Gap : 0.00 %
246.60/246.64 s OPTIMUM FOUND
246.60/246.64 v -x100 -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
246.60/246.64 v -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
246.60/246.64 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
246.60/246.64 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
246.60/246.64 c SCIP Status : problem is solved [optimal solution found]
246.60/246.64 c Total Time : 246.64
246.60/246.64 c solving : 246.64
246.60/246.64 c presolving : 0.00 (included in solving)
246.60/246.64 c reading : 0.00 (included in solving)
246.60/246.64 c Original Problem :
246.60/246.64 c Problem name : HOME/instance-3453304-1307094385.opb
246.60/246.64 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
246.60/246.64 c Constraints : 100 initial, 100 maximal
246.60/246.64 c Presolved Problem :
246.60/246.64 c Problem name : t_HOME/instance-3453304-1307094385.opb
246.60/246.64 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
246.60/246.64 c Constraints : 100 initial, 2675 maximal
246.60/246.64 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
246.60/246.64 c trivial : 0.00 0 0 0 0 0 0 0 0 0
246.60/246.64 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
246.60/246.64 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
246.60/246.64 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
246.60/246.64 c implics : 0.00 0 0 0 0 0 0 0 0 0
246.60/246.64 c probing : 0.00 0 0 0 0 0 0 0 0 0
246.60/246.64 c linear : 0.00 0 0 0 0 0 0 0 0 0
246.60/246.64 c logicor : 0.00 0 0 0 0 0 0 0 0 0
246.60/246.64 c root node : - 100 - - 100 - - - - -
246.60/246.64 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
246.60/246.64 c integral : 0 0 0 1 0 16 0 0 0 0 0 2
246.60/246.64 c logicor : 100+ 4 2401128 0 0 11 18166750 1109223 1160945 0 0 0
246.60/246.64 c countsols : 0 0 0 0 2 14 0 0 0 0 0 0
246.60/246.64 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
246.60/246.64 c integral : 0.27 0.00 0.00 0.27 0.00 0.00 0.00
246.60/246.64 c logicor : 68.69 0.00 61.56 0.00 0.00 0.00 7.13
246.60/246.64 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
246.60/246.64 c Propagators : #Propagate #Resprop Cutoffs DomReds
246.60/246.64 c vbounds : 0 0 0 0
246.60/246.64 c rootredcost : 2 0 0 0
246.60/246.64 c pseudoobj : 20881730 10220245 618 47829078
246.60/246.64 c Propagator Timings : TotalTime Propagate Resprop
246.60/246.64 c vbounds : 1.77 1.77 0.00
246.60/246.64 c rootredcost : 2.03 2.03 0.00
246.60/246.64 c pseudoobj : 85.62 73.81 11.80
246.60/246.64 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
246.60/246.64 c propagation : 25.86 1109841 1109481 1109481 8.9 0 0.0 -
246.60/246.64 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
246.60/246.64 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
246.60/246.64 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
246.60/246.64 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
246.60/246.64 c applied globally : - - - 1049846 7.3 - - -
246.60/246.64 c applied locally : - - - 59635 37.6 - - -
246.60/246.64 c Separators : Time Calls Cutoffs DomReds Cuts Conss
246.60/246.64 c cut pool : 0.00 3 - - 1 - (maximal pool size: 47)
246.60/246.64 c redcost : 0.00 4 0 0 0 0
246.60/246.64 c impliedbounds : 0.00 4 0 0 0 0
246.60/246.64 c intobj : 0.00 0 0 0 0 0
246.60/246.64 c gomory : 0.01 4 0 0 0 0
246.60/246.64 c cgmip : 0.00 0 0 0 0 0
246.60/246.64 c closecuts : 0.00 0 0 0 0 0
246.60/246.64 c strongcg : 0.01 4 0 0 45 0
246.60/246.64 c cmir : 0.01 4 0 0 2 0
246.60/246.64 c flowcover : 0.01 4 0 0 0 0
246.60/246.64 c clique : 0.00 1 0 0 0 0
246.60/246.64 c zerohalf : 0.00 0 0 0 0 0
246.60/246.64 c mcf : 0.00 1 0 0 0 0
246.60/246.64 c oddcycle : 0.00 0 0 0 0 0
246.60/246.64 c rapidlearning : 0.00 0 0 0 0 0
246.60/246.64 c Pricers : Time Calls Vars
246.60/246.64 c problem variables: 0.00 0 0
246.60/246.64 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
246.60/246.64 c relpscost : 0.27 1 0 0 0 0 2
246.60/246.64 c pscost : 0.00 0 0 0 0 0 0
246.60/246.64 c inference : 5.70 1109841 0 0 0 0 2219682
246.60/246.64 c mostinf : 0.00 0 0 0 0 0 0
246.60/246.64 c leastinf : 0.00 0 0 0 0 0 0
246.60/246.64 c fullstrong : 0.00 0 0 0 0 0 0
246.60/246.64 c allfullstrong : 0.00 0 0 0 0 0 0
246.60/246.64 c random : 0.00 0 0 0 0 0 0
246.60/246.64 c Primal Heuristics : Time Calls Found
246.60/246.64 c LP solutions : 0.00 - 0
246.60/246.64 c pseudo solutions : 0.00 - 2
246.60/246.64 c crossover : 0.00 0 0
246.60/246.64 c oneopt : 0.56 3 2
246.60/246.64 c trivial : 0.00 2 1
246.60/246.64 c shiftandpropagate: 0.00 0 0
246.60/246.64 c simplerounding : 0.00 4 4
246.60/246.64 c zirounding : 0.00 1 1
246.60/246.64 c rounding : 0.00 4 1
246.60/246.64 c shifting : 0.00 4 2
246.60/246.64 c intshifting : 0.00 0 0
246.60/246.64 c twoopt : 0.00 0 0
246.60/246.64 c fixandinfer : 0.00 0 0
246.60/246.64 c feaspump : 0.00 0 0
246.60/246.64 c clique : 0.00 0 0
246.60/246.64 c coefdiving : 0.00 0 0
246.60/246.64 c pscostdiving : 0.00 0 0
246.60/246.64 c fracdiving : 0.00 0 0
246.60/246.64 c veclendiving : 0.00 0 0
246.60/246.64 c intdiving : 0.00 0 0
246.60/246.64 c actconsdiving : 0.00 0 0
246.60/246.64 c objpscostdiving : 0.00 0 0
246.60/246.64 c rootsoldiving : 0.00 0 0
246.60/246.64 c linesearchdiving : 0.00 0 0
246.60/246.64 c guideddiving : 0.00 0 0
246.60/246.64 c octane : 0.00 0 0
246.60/246.64 c rens : 0.00 0 0
246.60/246.64 c rins : 0.00 0 0
246.60/246.64 c localbranching : 0.00 0 0
246.60/246.64 c mutation : 0.00 0 0
246.60/246.64 c dins : 0.00 0 0
246.60/246.64 c vbounds : 0.00 0 0
246.60/246.64 c undercover : 0.00 0 0
246.60/246.64 c subnlp : 0.23 0 0
246.60/246.64 c trysol : 0.20 0 0
246.60/246.64 c LP : Time Calls Iterations Iter/call Iter/sec
246.60/246.64 c primal LP : 0.00 0 0 0.00 -
246.60/246.64 c dual LP : 0.03 4 805 201.25 24681.89
246.60/246.64 c lex dual LP : 0.00 0 0 0.00 -
246.60/246.64 c barrier LP : 0.00 0 0 0.00 -
246.60/246.64 c diving/probing LP: 0.00 0 0 0.00 -
246.60/246.64 c strong branching : 0.27 20 5618 280.90 21143.51
246.60/246.64 c (at root node) : - 20 5618 280.90 -
246.60/246.64 c conflict analysis: 0.00 0 0 0.00 -
246.60/246.64 c B&B Tree :
246.60/246.64 c number of runs : 1
246.60/246.64 c nodes : 2170928
246.60/246.64 c nodes (total) : 2170928
246.60/246.64 c nodes left : 0
246.60/246.64 c max depth : 92
246.60/246.64 c max depth (total): 92
246.60/246.64 c backtracks : 48758 (2.2%)
246.60/246.64 c delayed cutoffs : 48757
246.60/246.64 c repropagations : 17570576 (2591480 domain reductions, 48757 cutoffs)
246.60/246.64 c avg switch length: 17.17
246.60/246.64 c switching time : 53.39
246.60/246.64 c Solution :
246.60/246.64 c Solutions found : 13 (9 improvements)
246.60/246.64 c First Solution : +1.00000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
246.60/246.64 c Primal Bound : +5.00000000000000e+00 (in run 1, after 555431 nodes, 73.53 seconds, depth 28, found by <relaxation>)
246.60/246.64 c Dual Bound : +5.00000000000000e+00
246.60/246.64 c Gap : 0.00 %
246.60/246.64 c Root Dual Bound : +3.17955801924382e+00
246.60/246.64 c Root Iterations : 805
246.60/246.65 c Time complete: 246.65.
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-3453304-1307094385/watcher-3453304-1307094385 -o /tmp/evaluation-result-3453304-1307094385/solver-3453304-1307094385 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453304-1307094385.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 4/429 22423
/proc/meminfo: memFree=29138016/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=17704 CPUtime=0.01 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 3523 0 0 0 1 0 0 0 19 0 1 0 821038912 18128896 3214 33554432000 4194304 9128323 140736537890224 18446744073709551615 7340992 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 4426 3214 619 1205 0 3217 0
[startup+0.055067 s]
/proc/loadavg: 2.02 2.01 2.00 4/429 22423
/proc/meminfo: memFree=29138016/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=17880 CPUtime=0.04 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 3670 0 0 0 4 0 0 0 19 0 1 0 821038912 18309120 3358 33554432000 4194304 9128323 140736537890224 18446744073709551615 6637235 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 4470 3358 652 1205 0 3261 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17880
[startup+0.101059 s]
/proc/loadavg: 2.02 2.01 2.00 4/429 22423
/proc/meminfo: memFree=29138016/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=19568 CPUtime=0.09 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 4763 0 0 0 9 0 0 0 19 0 1 0 821038912 20037632 3867 33554432000 4194304 9128323 140736537890224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 4892 3867 678 1205 0 3683 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19568
[startup+0.301025 s]
/proc/loadavg: 2.02 2.01 2.00 4/429 22423
/proc/meminfo: memFree=29138016/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=19568 CPUtime=0.29 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 4763 0 0 0 27 2 0 0 20 0 1 0 821038912 20037632 3867 33554432000 4194304 9128323 140736537890224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 4892 3867 678 1205 0 3683 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19568
[startup+0.700951 s]
/proc/loadavg: 2.02 2.01 2.00 4/429 22423
/proc/meminfo: memFree=29138016/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=19568 CPUtime=0.69 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 4775 0 0 0 66 3 0 0 21 0 1 0 821038912 20037632 3879 33554432000 4194304 9128323 140736537890224 18446744073709551615 6826672 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 4892 3879 690 1205 0 3683 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19568
[startup+1.50081 s]
/proc/loadavg: 2.02 2.01 2.00 3/430 22424
/proc/meminfo: memFree=29123748/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=19848 CPUtime=1.49 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 4827 0 0 0 146 3 0 0 23 0 1 0 821038912 20324352 3931 33554432000 4194304 9128323 140736537890224 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 4962 3931 690 1205 0 3753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19848
[startup+3.1005 s]
/proc/loadavg: 2.02 2.01 2.00 3/430 22424
/proc/meminfo: memFree=29122936/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=20500 CPUtime=3.09 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 4989 0 0 0 306 3 0 0 25 0 1 0 821038912 20992000 4093 33554432000 4194304 9128323 140736537890224 18446744073709551615 6581488 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 5125 4093 690 1205 0 3916 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20500
[startup+6.30091 s]
/proc/loadavg: 2.01 2.01 2.00 3/430 22424
/proc/meminfo: memFree=29121080/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=21848 CPUtime=6.3 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 5314 0 0 0 627 3 0 0 25 0 1 0 821038912 22372352 4418 33554432000 4194304 9128323 140736537890224 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 5462 4418 690 1205 0 4253 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 21848
[startup+12.7007 s]
/proc/loadavg: 2.01 2.01 2.00 3/430 22424
/proc/meminfo: memFree=29117704/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=24120 CPUtime=12.69 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 5914 0 0 0 1266 3 0 0 25 0 1 0 821038912 24698880 5018 33554432000 4194304 9128323 140736537890224 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6030 5018 691 1205 0 4821 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24120
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/430 22424
/proc/meminfo: memFree=29117712/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=24608 CPUtime=25.49 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 6005 0 0 0 2546 3 0 0 25 0 1 0 821038912 25198592 5109 33554432000 4194304 9128323 140736537890224 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6152 5109 691 1205 0 4943 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24608
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22425
/proc/meminfo: memFree=29116688/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=25704 CPUtime=51.09 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 6279 0 0 0 5106 3 0 0 25 0 1 0 821038912 26320896 5383 33554432000 4194304 9128323 140736537890224 18446744073709551615 5333018 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6426 5383 691 1205 0 5217 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25704
[startup+102.316 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22426
/proc/meminfo: memFree=29115220/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=26044 CPUtime=102.31 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 6365 0 0 0 10228 3 0 0 25 0 1 0 821038912 26669056 5469 33554432000 4194304 9128323 140736537890224 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6511 5469 692 1205 0 5302 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 26044
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22428
/proc/meminfo: memFree=29115588/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=26044 CPUtime=162.3 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 6367 0 0 0 16227 3 0 0 25 0 1 0 821038912 26669056 5471 33554432000 4194304 9128323 140736537890224 18446744073709551615 18446744073699065947 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6511 5471 692 1205 0 5302 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 26044
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22429
/proc/meminfo: memFree=29115824/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=26044 CPUtime=222.3 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 6367 0 0 0 22227 3 0 0 25 0 1 0 821038912 26669056 5471 33554432000 4194304 9128323 140736537890224 18446744073709551615 5984556 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6511 5471 692 1205 0 5302 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26044
Solver just ended. Dumping a history of the last processes samples
[startup+230.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22430
/proc/meminfo: memFree=29115824/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=26044 CPUtime=230.3 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 6367 0 0 0 23027 3 0 0 25 0 1 0 821038912 26669056 5471 33554432000 4194304 9128323 140736537890224 18446744073709551615 5984052 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6511 5471 692 1205 0 5302 0
Current children cumulated CPU time (s) 230.3
Current children cumulated vsize (KiB) 26044
[startup+236.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22430
/proc/meminfo: memFree=29116196/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=26044 CPUtime=236.7 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 6367 0 0 0 23667 3 0 0 25 0 1 0 821038912 26669056 5471 33554432000 4194304 9128323 140736537890224 18446744073709551615 5984518 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6511 5471 692 1205 0 5302 0
Current children cumulated CPU time (s) 236.7
Current children cumulated vsize (KiB) 26044
[startup+243.116 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22430
/proc/meminfo: memFree=29116196/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=26044 CPUtime=243.12 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 6367 0 0 0 24309 3 0 0 25 0 1 0 821038912 26669056 5471 33554432000 4194304 9128323 140736537890224 18446744073709551615 4794016 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6511 5471 692 1205 0 5302 0
Current children cumulated CPU time (s) 243.12
Current children cumulated vsize (KiB) 26044
[startup+244.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22430
/proc/meminfo: memFree=29116072/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=26044 CPUtime=244.7 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 6367 0 0 0 24467 3 0 0 25 0 1 0 821038912 26669056 5471 33554432000 4194304 9128323 140736537890224 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6511 5471 692 1205 0 5302 0
Current children cumulated CPU time (s) 244.7
Current children cumulated vsize (KiB) 26044
[startup+245.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22430
/proc/meminfo: memFree=29116072/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=26044 CPUtime=245.5 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 6367 0 0 0 24547 3 0 0 25 0 1 0 821038912 26669056 5471 33554432000 4194304 9128323 140736537890224 18446744073709551615 5984556 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6511 5471 692 1205 0 5302 0
Current children cumulated CPU time (s) 245.5
Current children cumulated vsize (KiB) 26044
[startup+246.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22430
/proc/meminfo: memFree=29116072/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=26044 CPUtime=246.31 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 6367 0 0 0 24628 3 0 0 25 0 1 0 821038912 26669056 5471 33554432000 4194304 9128323 140736537890224 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6511 5471 692 1205 0 5302 0
Current children cumulated CPU time (s) 246.31
Current children cumulated vsize (KiB) 26044
[startup+246.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22430
/proc/meminfo: memFree=29116072/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=26044 CPUtime=246.5 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 6367 0 0 0 24647 3 0 0 25 0 1 0 821038912 26669056 5471 33554432000 4194304 9128323 140736537890224 18446744073709551615 4643267 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6511 5471 692 1205 0 5302 0
Current children cumulated CPU time (s) 246.5
Current children cumulated vsize (KiB) 26044
[startup+246.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22430
/proc/meminfo: memFree=29116072/32951124 swapFree=43324008/67111528
[pid=22423] ppid=22421 vsize=26044 CPUtime=246.6 cores=1,3,5,7
/proc/22423/stat : 22423 (scip-2.0.1.4.li) R 22421 22423 22076 0 -1 4202496 6368 0 0 0 24657 3 0 0 25 0 1 0 821038912 26669056 5472 33554432000 4194304 9128323 140736537890224 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22423/statm: 6511 5472 693 1205 0 5302 0
Current children cumulated CPU time (s) 246.6
Current children cumulated vsize (KiB) 26044
Child status: 0
Real time (s): 246.653
CPU time (s): 246.661
CPU user time (s): 246.625
CPU system time (s): 0.034994
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 26044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.626
system time used= 0.034994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6378
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 618
runsolver used 0.977851 second user time and 2.39464 second system time
The end