0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2694172-1277924309.wbo>
0.00/0.00 c original problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 203 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 o 5179
0.00/0.00 c feasible solution found by trivial heuristic, objective value 5.179000e+03
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 101 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/270 (37.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 101 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 101 implications, 0 cliques
0.00/0.01 c presolved problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 202 constraints
0.00/0.01 c 101 constraints of type <indicator>
0.00/0.01 c 101 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
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 = 3420
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 = -1
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 # 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 # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
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.01 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.01 c t 0.0s| 1 | 2 | 0 | - |1124k| 0 | - | 371 | 202 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.179000e+03 | Inf
1.89/1.96 c 1.9s| 10000 | 6427 | 0 | 0.0 |8394k| 185 | - | 371 |5854 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 5.179000e+03 | Inf
1.89/1.99 o 820
1.89/1.99 c * 1.9s| 10621 | 7046 | 0 | 0.0 |8580k| 201 | - | 371 |5782 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
2.99/3.07 c 3.0s| 20000 | 15043 | 0 | 0.0 | 11M| 201 | - | 371 |5024 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
5.79/5.80 c 5.6s| 30000 | 20262 | 0 | 0.0 | 17M| 201 | - | 371 |8790 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
9.39/9.42 c 9.1s| 40000 | 24558 | 0 | 0.0 | 21M| 201 | - | 371 | 10k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
12.99/13.07 c 12.7s| 50000 | 28658 | 0 | 0.0 | 23M| 201 | - | 371 |8118 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
13.59/13.62 c 13.2s| 60000 | 38632 | 0 | 0.0 | 24M| 201 | - | 371 | 625 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
14.09/14.11 c 13.6s| 70000 | 48615 | 0 | 0.0 | 27M| 201 | - | 371 | 524 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
14.49/14.59 c 14.1s| 80000 | 58598 | 0 | 0.0 | 30M| 201 | - | 371 | 511 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
14.99/15.08 c 14.5s| 90000 | 68582 | 0 | 0.0 | 33M| 201 | - | 371 | 523 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
15.49/15.57 c 14.9s|100000 | 78544 | 0 | 0.0 | 36M| 201 | - | 371 | 558 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
15.99/16.06 c 15.4s|110000 | 88520 | 0 | 0.0 | 39M| 201 | - | 371 | 548 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
16.50/16.55 c 15.8s|120000 | 98498 | 0 | 0.0 | 42M| 201 | - | 371 | 575 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
16.99/17.04 c 16.2s|130000 |108451 | 0 | 0.0 | 45M| 201 | - | 371 | 657 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
17.49/17.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.49/17.53 c 16.7s|140000 |118410 | 0 | 0.0 | 48M| 201 | - | 371 | 692 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
17.99/18.02 c 17.1s|150000 |128379 | 0 | 0.0 | 51M| 201 | - | 371 | 731 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
18.49/18.51 c 17.6s|160000 |138346 | 0 | 0.0 | 54M| 203 | - | 371 | 782 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
18.89/18.99 c 18.0s|170000 |148332 | 0 | 0.0 | 58M| 203 | - | 371 | 775 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
19.38/19.48 c 18.4s|180000 |158312 | 0 | 0.0 | 61M| 203 | - | 371 | 777 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
20.49/20.59 c 19.5s|190000 |166343 | 0 | 0.0 | 65M| 203 | - | 371 |5082 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
25.79/25.83 c 24.6s|200000 |168278 | 0 | 0.0 | 71M| 203 | - | 371 | 12k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
33.79/33.86 c 32.5s|210000 |167034 | 0 | 0.0 | 74M| 203 | - | 371 | 14k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
43.39/43.45 c 42.0s|220000 |164515 | 0 | 0.0 | 76M| 203 | - | 371 | 15k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
53.69/53.70 c 52.1s|230000 |161704 | 0 | 0.0 | 76M| 203 | - | 371 | 19k| 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
54.49/54.50 c 52.9s|240000 |171669 | 0 | 0.0 | 74M| 203 | - | 371 |2573 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
55.00/55.01 c 53.3s|250000 |181642 | 0 | 0.0 | 76M| 203 | - | 371 | 509 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 8.200000e+02 | Inf
55.29/55.36 o 268
55.29/55.36 c *53.6s|256923 |185620 | 0 | 0.0 | 77M| 206 | - | 371 | 373 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
55.49/55.52 c 53.8s|260000 |188689 | 0 | 0.0 | 78M| 206 | - | 371 | 347 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
56.00/56.03 c 54.2s|270000 |198660 | 0 | 0.0 | 81M| 206 | - | 371 | 313 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
56.48/56.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.48/56.54 c 54.7s|280000 |208623 | 0 | 0.0 | 84M| 206 | - | 371 | 342 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
57.10/57.19 c 55.3s|290000 |218188 | 0 | 0.0 | 88M| 206 | - | 371 | 694 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
57.79/57.86 c 55.9s|300000 |227816 | 0 | 0.0 | 91M| 206 | - | 371 | 515 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
58.09/58.18 o 191
58.09/58.18 c *56.2s|304135 |212355 | 0 | 0.0 | 86M| 206 | - | 371 | 579 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
58.59/58.65 c 56.6s|310000 |217778 | 0 | 0.0 | 88M| 206 | - | 371 | 831 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
58.68/58.74 o 190
58.68/58.74 c *56.7s|311210 |218673 | 0 | 0.0 | 88M| 206 | - | 371 | 792 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
58.68/58.76 o 166
58.68/58.76 c *56.7s|311211 |203289 | 0 | 0.0 | 83M| 206 | - | 371 | 792 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
59.08/59.16 o 164
59.08/59.16 c *57.1s|315832 |207141 | 0 | 0.0 | 85M| 206 | - | 371 | 892 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
59.49/59.54 c 57.4s|320000 |210914 | 0 | 0.0 | 87M| 206 | - | 371 |1033 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
59.79/59.87 o 154
59.79/59.87 c *57.7s|323851 |200253 | 0 | 0.0 | 84M| 206 | - | 371 |1010 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
60.39/60.42 c 58.2s|330000 |205842 | 0 | 0.0 | 86M| 206 | - | 371 |1124 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
61.29/61.36 c 59.1s|340000 |214901 | 0 | 0.0 | 90M| 206 | - | 371 |1281 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
62.19/62.22 o 148
62.19/62.22 c *59.9s|349320 |220022 | 0 | 0.0 | 93M| 206 | - | 371 |1401 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 1.480000e+02 | Inf
62.19/62.29 c 60.0s|350000 |220622 | 0 | 0.0 | 93M| 206 | - | 371 |1439 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 1.480000e+02 | Inf
62.79/62.82 o 147
62.79/62.82 c *60.5s|355825 |225779 | 0 | 0.0 | 96M| 206 | - | 371 |1537 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
63.18/63.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.18/63.24 c 60.9s|360000 |229484 | 0 | 0.0 | 98M| 206 | - | 371 |1824 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
64.28/64.30 c 61.9s|370000 |238347 | 0 | 0.0 | 102M| 206 | - | 371 |2264 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
65.29/65.38 c 62.9s|380000 |247179 | 0 | 0.0 | 107M| 206 | - | 371 |2371 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
65.79/65.85 o 142
65.79/65.85 c *63.3s|384287 |249400 | 0 | 0.0 | 109M| 206 | - | 371 |2448 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
66.29/66.39 o 134
66.29/66.39 c *63.8s|388996 |245533 | 0 | 0.0 | 108M| 206 | - | 371 |2617 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
66.49/66.51 c 63.9s|390000 |246396 | 0 | 0.0 | 108M| 206 | - | 371 |2605 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
66.88/66.97 o 126
66.88/66.97 c *64.4s|393927 |243324 | 0 | 0.0 | 108M| 206 | - | 371 |2822 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
67.59/67.67 o 118
67.59/67.67 c *65.0s|399408 |241451 | 0 | 0.0 | 109M| 206 | - | 371 |3047 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
67.69/67.76 c 65.1s|400000 |241918 | 0 | 0.0 | 109M| 206 | - | 371 |3099 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
68.98/69.07 c 66.4s|410000 |250187 | 0 | 0.0 | 115M| 206 | - | 371 |3696 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
70.39/70.45 c 67.7s|420000 |258403 | 0 | 0.0 | 121M| 206 | - | 371 |4136 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
71.78/71.83 c 69.0s|430000 |266578 | 0 | 0.0 | 127M| 206 | - | 371 |4456 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
72.68/72.75 o 113
72.68/72.75 c *69.8s|437352 |269071 | 0 | 0.0 | 130M| 206 | - | 371 |4423 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
72.78/72.81 o 107
72.78/72.81 c *69.9s|437749 |263154 | 0 | 0.0 | 127M| 206 | - | 371 |4435 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
73.08/73.12 c 70.2s|440000 |264940 | 0 | 0.0 | 128M| 206 | - | 371 |4572 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
73.98/74.08 o 106
73.98/74.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.98/74.08 c *71.1s|447185 |270081 | 0 | 0.0 | 132M| 206 | - | 371 |4791 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
74.49/74.51 c 71.5s|450000 |272219 | 0 | 0.0 | 134M| 206 | - | 371 |5066 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
74.89/74.94 o 92
74.89/74.94 c *71.9s|452899 |252839 | 0 | 0.0 | 125M| 206 | - | 371 |5094 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
74.89/74.99 o 80
74.89/74.99 c *72.0s|452941 |223232 | 0 | 0.0 | 109M| 206 | - | 371 |5097 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
75.68/75.77 o 73
75.68/75.77 c *72.7s|457179 |208360 | 0 | 0.0 | 101M| 206 | - | 371 |2034 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
76.18/76.21 c 73.1s|460000 |210377 | 0 | 0.0 | 103M| 206 | - | 371 |1784 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
76.38/76.43 o 59
76.38/76.43 c *73.3s|461183 |190743 | 0 | 0.0 | 93M| 206 | - | 371 |1690 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
76.59/76.64 o 50
76.59/76.64 c *73.5s|462293 |171027 | 0 | 0.0 | 86M| 206 | - | 371 |2104 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
78.18/78.20 c 75.0s|470000 |175026 | 0 | 0.0 | 90M| 206 | - | 371 |1971 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
80.49/80.54 c 77.2s|480000 |179515 | 0 | 0.0 | 97M| 206 | - | 371 |4064 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
83.29/83.30 c 79.9s|490000 |183517 | 0 | 0.0 | 104M| 206 | - | 371 |5069 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
86.48/86.57 c 83.1s|500000 |186268 | 0 | 0.0 | 110M| 206 | - | 371 |5718 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
90.29/90.39 c 86.8s|510000 |187688 | 0 | 0.0 | 117M| 206 | - | 371 |7083 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
93.78/93.87 c 90.2s|520000 |190128 | 0 | 0.0 | 121M| 206 | - | 371 |2040 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
95.08/95.19 c 91.4s|530000 |197551 | 0 | 0.0 | 126M| 206 | - | 371 |3246 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
98.89/98.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.89/98.92 c 95.1s|540000 |199306 | 0 | 0.0 | 132M| 206 | - | 371 |9300 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
108.19/108.23 c 104s|550000 |193110 | 0 | 0.0 | 125M| 206 | - | 371 | 11k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
111.59/111.64 c 108s|560000 |196770 | 0 | 0.0 | 123M| 206 | - | 371 |2110 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
113.58/113.67 c 110s|570000 |202203 | 0 | 0.0 | 128M| 206 | - | 371 |2900 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
115.89/115.97 c 112s|580000 |207159 | 0 | 0.0 | 133M| 206 | - | 371 |3144 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
118.29/118.31 c 114s|590000 |212034 | 0 | 0.0 | 138M| 206 | - | 371 |3586 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
120.58/120.67 c 116s|600000 |217023 | 0 | 0.0 | 143M| 206 | - | 371 |4117 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
123.09/123.17 c 119s|610000 |221760 | 0 | 0.0 | 147M| 206 | - | 371 |4189 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
125.69/125.70 c 121s|620000 |226490 | 0 | 0.0 | 152M| 206 | - | 371 |4445 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
128.19/128.28 c 124s|630000 |231138 | 0 | 0.0 | 156M| 206 | - | 371 |4905 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
130.98/131.03 c 126s|640000 |235486 | 0 | 0.0 | 161M| 206 | - | 371 |5048 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
133.88/133.90 c 129s|650000 |239601 | 0 | 0.0 | 165M| 206 | - | 371 |5251 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
136.69/136.74 c 132s|660000 |243781 | 0 | 0.0 | 169M| 206 | - | 371 |5534 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
139.70/139.71 c 135s|670000 |247749 | 0 | 0.0 | 173M| 206 | - | 371 |5955 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
142.69/142.71 c 138s|680000 |251671 | 0 | 0.0 | 178M| 206 | - | 371 |6148 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
145.58/145.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.58/145.61 c 140s|690000 |255877 | 0 | 0.0 | 182M| 206 | - | 371 |6598 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
148.69/148.75 c 143s|700000 |259726 | 0 | 0.0 | 187M| 206 | - | 371 |6784 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
151.99/152.04 c 147s|710000 |263397 | 0 | 0.0 | 191M| 206 | - | 371 |6984 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
155.48/155.57 c 150s|720000 |267331 | 0 | 0.0 | 196M| 206 | - | 371 |7173 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
159.39/159.42 c 154s|730000 |270847 | 0 | 0.0 | 201M| 206 | - | 371 |8001 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
163.49/163.51 c 158s|740000 |274101 | 0 | 0.0 | 205M| 206 | - | 371 |8270 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
167.79/167.80 c 162s|750000 |277274 | 0 | 0.0 | 209M| 206 | - | 371 |8139 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
171.88/171.98 c 166s|760000 |280582 | 0 | 0.0 | 213M| 206 | - | 371 |8678 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
175.69/175.74 c 170s|770000 |283926 | 0 | 0.0 | 218M| 206 | - | 371 |9259 | 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
179.68/179.77 c 174s|780000 |286835 | 0 | 0.0 | 223M| 206 | - | 371 |8940 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
183.78/183.84 c 178s|790000 |289651 | 0 | 0.0 | 228M| 206 | - | 371 |9234 | 0 | 0 | 0 | 467k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
187.88/187.94 c 182s|800000 |292459 | 0 | 0.0 | 233M| 206 | - | 371 |9651 | 0 | 0 | 0 | 475k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
192.18/192.20 c 186s|810000 |295039 | 0 | 0.0 | 237M| 206 | - | 371 | 10k| 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
196.79/196.87 c 190s|820000 |297302 | 0 | 0.0 | 242M| 206 | - | 371 |9846 | 0 | 0 | 0 | 492k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
201.98/202.02 c 195s|830000 |299380 | 0 | 0.0 | 246M| 206 | - | 371 |9974 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
207.18/207.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.18/207.24 c 201s|840000 |301401 | 0 | 0.0 | 251M| 206 | - | 371 | 10k| 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
213.18/213.24 c 206s|850000 |302440 | 0 | 0.0 | 256M| 206 | - | 371 | 10k| 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
218.98/219.08 c 212s|860000 |303723 | 0 | 0.0 | 260M| 206 | - | 371 | 11k| 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
224.98/225.06 c 218s|870000 |304899 | 0 | 0.0 | 265M| 206 | - | 371 | 12k| 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
231.68/231.75 c 225s|880000 |305325 | 0 | 0.0 | 270M| 206 | - | 371 | 13k| 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
237.28/237.37 c 230s|890000 |308085 | 0 | 0.0 | 273M| 206 | - | 371 |8739 | 0 | 0 | 0 | 556k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
239.18/239.22 c 232s|900000 |315861 | 0 | 0.0 | 277M| 206 | - | 371 |5035 | 0 | 0 | 0 | 561k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
240.98/241.06 c 234s|910000 |323208 | 0 | 0.0 | 281M| 206 | - | 371 |5427 | 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
242.98/243.04 c 235s|920000 |330266 | 0 | 0.0 | 286M| 206 | - | 371 |6274 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
245.18/245.28 c 238s|930000 |336992 | 0 | 0.0 | 291M| 206 | - | 371 |7126 | 0 | 0 | 0 | 578k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
247.67/247.79 c 240s|940000 |343327 | 0 | 0.0 | 296M| 206 | - | 371 |7793 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
250.57/250.62 c 243s|950000 |349132 | 0 | 0.0 | 301M| 206 | - | 371 |8436 | 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
253.78/253.83 c 246s|960000 |354310 | 0 | 0.0 | 306M| 206 | - | 371 |9507 | 0 | 0 | 0 | 598k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
257.68/257.73 c 250s|970000 |358397 | 0 | 0.0 | 312M| 206 | - | 371 | 11k| 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
261.78/261.88 c 254s|980000 |362474 | 0 | 0.0 | 318M| 206 | - | 371 | 11k| 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
266.28/266.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.28/266.30 c 258s|990000 |366647 | 0 | 0.0 | 322M| 206 | - | 371 |9186 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
270.17/270.26 c 262s| 1000k|370877 | 0 | 0.0 | 326M| 206 | - | 371 |8638 | 0 | 0 | 0 | 629k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
273.78/273.84 c 265s| 1010k|375245 | 0 | 0.0 | 330M| 206 | - | 371 |8775 | 0 | 0 | 0 | 637k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
277.67/277.75 c 269s| 1020k|378656 | 0 | 0.0 | 334M| 206 | - | 371 |8350 | 0 | 0 | 0 | 645k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
281.48/281.60 c 273s| 1030k|382104 | 0 | 0.0 | 339M| 206 | - | 371 |9042 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
285.77/285.85 c 277s| 1040k|385029 | 0 | 0.0 | 343M| 206 | - | 371 |9463 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
290.17/290.20 c 281s| 1050k|387836 | 0 | 0.0 | 347M| 206 | - | 371 |9850 | 0 | 0 | 0 | 672k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
294.08/294.17 c 285s| 1060k|391330 | 0 | 0.0 | 352M| 206 | - | 371 | 10k| 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
298.58/298.63 c 290s| 1070k|394211 | 0 | 0.0 | 356M| 206 | - | 371 | 10k| 0 | 0 | 0 | 688k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
303.68/303.74 c 295s| 1080k|397021 | 0 | 0.0 | 359M| 206 | - | 371 | 10k| 0 | 0 | 0 | 697k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
308.98/309.04 c 300s| 1090k|399646 | 0 | 0.0 | 363M| 206 | - | 371 | 10k| 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
313.98/314.05 c 305s| 1100k|402319 | 0 | 0.0 | 367M| 206 | - | 371 | 11k| 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 5.000000e+01 |4900.00%
316.07/316.17 o 44
316.07/316.17 c * 307s| 1104k|385753 | 0 | 0.0 | 352M| 206 | - | 371 | 11k| 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
319.17/319.23 c 310s| 1110k|386698 | 0 | 0.0 | 352M| 206 | - | 371 |3054 | 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
323.57/323.60 c 314s| 1120k|388048 | 0 | 0.0 | 356M| 206 | - | 371 |3833 | 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
328.07/328.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.07/328.17 c 319s| 1130k|389033 | 0 | 0.0 | 359M| 206 | - | 371 |2286 | 0 | 0 | 0 | 744k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
332.18/332.28 c 322s| 1140k|390270 | 0 | 0.0 | 362M| 206 | - | 371 |2846 | 0 | 0 | 0 | 755k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
335.97/336.03 c 326s| 1150k|391249 | 0 | 0.0 | 366M| 206 | - | 371 |5571 | 0 | 0 | 0 | 765k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
340.37/340.43 c 330s| 1160k|392762 | 0 | 0.0 | 369M| 206 | - | 371 |5056 | 0 | 0 | 0 | 775k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
344.87/344.92 c 335s| 1170k|393956 | 0 | 0.0 | 373M| 206 | - | 371 |7880 | 0 | 0 | 0 | 786k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
349.47/349.50 c 339s| 1180k|395051 | 0 | 0.0 | 376M| 206 | - | 371 |7748 | 0 | 0 | 0 | 796k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
354.07/354.14 c 344s| 1190k|396184 | 0 | 0.0 | 379M| 206 | - | 371 |7909 | 0 | 0 | 0 | 806k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
358.87/358.94 c 349s| 1200k|397265 | 0 | 0.0 | 382M| 206 | - | 371 |7178 | 0 | 0 | 0 | 816k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
363.98/364.05 c 354s| 1210k|397691 | 0 | 0.0 | 385M| 206 | - | 371 |7759 | 0 | 0 | 0 | 827k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
369.17/369.28 c 359s| 1220k|397895 | 0 | 0.0 | 388M| 206 | - | 371 |9630 | 0 | 0 | 0 | 837k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
374.77/374.81 c 364s| 1230k|397995 | 0 | 0.0 | 391M| 206 | - | 371 |9953 | 0 | 0 | 0 | 848k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
380.77/380.88 c 370s| 1240k|397518 | 0 | 0.0 | 394M| 206 | - | 371 | 10k| 0 | 0 | 0 | 859k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
387.17/387.29 c 376s| 1250k|396798 | 0 | 0.0 | 396M| 206 | - | 371 | 11k| 0 | 0 | 0 | 871k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
393.97/394.03 c 383s| 1260k|395984 | 0 | 0.0 | 398M| 206 | - | 371 | 12k| 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
401.17/401.24 c 390s| 1270k|394873 | 0 | 0.0 | 401M| 206 | - | 371 | 12k| 0 | 0 | 0 | 894k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
408.87/408.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.87/408.93 c 398s| 1280k|393321 | 0 | 0.0 | 403M| 206 | - | 371 | 12k| 0 | 0 | 0 | 906k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
416.78/416.88 c 405s| 1290k|391629 | 0 | 0.0 | 405M| 206 | - | 371 | 14k| 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
425.58/425.62 c 414s| 1300k|389410 | 0 | 0.0 | 407M| 206 | - | 371 | 14k| 0 | 0 | 0 | 931k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
434.97/435.02 c 423s| 1310k|386780 | 0 | 0.0 | 409M| 206 | - | 371 | 15k| 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
445.18/445.23 c 433s| 1320k|383598 | 0 | 0.0 | 410M| 206 | - | 371 | 16k| 0 | 0 | 0 | 957k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
456.18/456.24 c 444s| 1330k|379837 | 0 | 0.0 | 411M| 206 | - | 371 | 17k| 0 | 0 | 0 | 971k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
459.07/459.12 c 447s| 1340k|385503 | 0 | 0.0 | 412M| 206 | - | 371 |2455 | 0 | 0 | 0 | 978k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
460.98/461.07 c 449s| 1350k|391333 | 0 | 0.0 | 417M| 206 | - | 371 |2215 | 0 | 0 | 0 | 985k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
463.07/463.13 c 451s| 1360k|396787 | 0 | 0.0 | 421M| 206 | - | 371 |2826 | 0 | 0 | 0 | 992k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
465.28/465.36 c 453s| 1370k|401968 | 0 | 0.0 | 426M| 206 | - | 371 |3576 | 0 | 0 | 0 |1000k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
467.68/467.77 c 455s| 1380k|406736 | 0 | 0.0 | 431M| 206 | - | 371 |4297 | 0 | 0 | 0 |1008k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
470.18/470.28 c 458s| 1390k|411493 | 0 | 0.0 | 435M| 206 | - | 371 |4573 | 0 | 0 | 0 |1016k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
472.88/472.91 c 460s| 1400k|415921 | 0 | 0.0 | 439M| 206 | - | 371 |4287 | 0 | 0 | 0 |1025k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
475.68/475.74 c 463s| 1410k|419829 | 0 | 0.0 | 444M| 206 | - | 371 |5197 | 0 | 0 | 0 |1034k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
478.48/478.57 c 466s| 1420k|423893 | 0 | 0.0 | 448M| 206 | - | 371 |6046 | 0 | 0 | 0 |1043k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
481.47/481.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.47/481.59 c 469s| 1430k|427666 | 0 | 0.0 | 452M| 206 | - | 371 |5672 | 0 | 0 | 0 |1052k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
484.67/484.77 c 472s| 1440k|430964 | 0 | 0.0 | 456M| 206 | - | 371 |6415 | 0 | 0 | 0 |1062k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
488.28/488.37 c 475s| 1450k|433619 | 0 | 0.0 | 460M| 206 | - | 371 |7164 | 0 | 0 | 0 |1073k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
491.77/491.87 c 479s| 1460k|436658 | 0 | 0.0 | 464M| 206 | - | 371 |7594 | 0 | 0 | 0 |1083k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
495.37/495.48 c 482s| 1470k|439546 | 0 | 0.0 | 468M| 206 | - | 371 |7709 | 0 | 0 | 0 |1093k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
499.08/499.17 c 486s| 1480k|442410 | 0 | 0.0 | 472M| 206 | - | 371 |8079 | 0 | 0 | 0 |1103k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
502.78/502.87 c 489s| 1490k|445352 | 0 | 0.0 | 476M| 206 | - | 371 |8378 | 0 | 0 | 0 |1114k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
506.58/506.61 c 493s| 1500k|448363 | 0 | 0.0 | 480M| 206 | - | 371 |7950 | 0 | 0 | 0 |1124k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
510.58/510.64 c 497s| 1510k|450687 | 0 | 0.0 | 484M| 206 | - | 371 |8780 | 0 | 0 | 0 |1135k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
514.87/514.99 c 501s| 1520k|452548 | 0 | 0.0 | 488M| 206 | - | 371 |9187 | 0 | 0 | 0 |1146k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
520.28/520.38 c 506s| 1530k|453847 | 0 | 0.0 | 492M| 206 | - | 371 |9858 | 0 | 0 | 0 |1157k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
526.17/526.27 c 512s| 1540k|454523 | 0 | 0.0 | 496M| 206 | - | 371 | 10k| 0 | 0 | 0 |1169k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
530.97/531.05 c 517s| 1550k|455893 | 0 | 0.0 | 498M| 206 | - | 371 |5082 | 0 | 0 | 0 |1180k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
536.37/536.46 c 522s| 1560k|454893 | 0 | 0.0 | 500M| 206 | - | 371 |5629 | 0 | 0 | 0 |1193k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
539.47/539.52 o 42
539.47/539.52 c * 525s| 1565k|453045 | 0 | 0.0 | 501M| 206 | - | 371 |7305 | 0 | 0 | 0 |1200k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
542.67/542.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.67/542.79 c 528s| 1570k|451596 | 0 | 0.0 | 501M| 206 | - | 371 |6611 | 0 | 0 | 0 |1208k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
549.67/549.71 c 535s| 1580k|448514 | 0 | 0.0 | 503M| 206 | - | 371 |8015 | 0 | 0 | 0 |1223k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
556.78/556.89 c 542s| 1590k|445231 | 0 | 0.0 | 503M| 206 | - | 371 |8443 | 0 | 0 | 0 |1238k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
564.18/564.29 c 549s| 1600k|441872 | 0 | 0.0 | 503M| 206 | - | 371 |8333 | 0 | 0 | 0 |1252k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
571.77/571.85 c 557s| 1610k|438642 | 0 | 0.0 | 504M| 206 | - | 371 |9452 | 0 | 0 | 0 |1267k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
579.87/579.90 c 565s| 1620k|435075 | 0 | 0.0 | 504M| 206 | - | 371 | 10k| 0 | 0 | 0 |1283k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
588.07/588.12 c 573s| 1630k|432045 | 0 | 0.0 | 505M| 206 | - | 371 | 11k| 0 | 0 | 0 |1297k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
596.78/596.82 c 582s| 1640k|428489 | 0 | 0.0 | 504M| 206 | - | 371 | 11k| 0 | 0 | 0 |1312k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
605.57/605.65 c 590s| 1650k|424811 | 0 | 0.0 | 503M| 206 | - | 371 | 11k| 0 | 0 | 0 |1327k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
613.27/613.30 o 40
613.27/613.30 c * 598s| 1658k|420833 | 0 | 0.0 | 502M| 206 | - | 371 | 11k| 0 | 0 | 0 |1340k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
613.37/613.47 o 29
613.37/613.47 c * 598s| 1658k|345735 | 0 | 0.0 | 416M| 206 | - | 371 | 11k| 0 | 0 | 0 |1340k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
615.57/615.65 c 600s| 1660k|344303 | 0 | 0.0 | 417M| 206 | - | 371 |8208 | 0 | 0 | 0 |1343k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
625.17/625.26 c 609s| 1670k|333389 | 0 | 0.0 | 412M| 206 | - | 371 |8333 | 0 | 0 | 0 |1371k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
637.88/637.98 c 622s| 1680k|319953 | 0 | 0.0 | 402M| 206 | - | 371 | 10k| 0 | 0 | 0 |1398k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
650.98/651.01 c 635s| 1690k|305587 | 0 | 0.0 | 388M| 206 | - | 371 |5553 | 0 | 0 | 0 |1425k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
656.08/656.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.08/656.19 c 640s| 1700k|304000 | 0 | 0.0 | 387M| 206 | - | 371 |3942 | 0 | 0 | 0 |1444k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
660.28/660.37 c 644s| 1710k|305029 | 0 | 0.0 | 390M| 206 | - | 371 |4851 | 0 | 0 | 0 |1460k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
664.67/664.78 c 648s| 1720k|305863 | 0 | 0.0 | 393M| 206 | - | 371 |5690 | 0 | 0 | 0 |1475k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
669.08/669.19 c 652s| 1730k|306350 | 0 | 0.0 | 396M| 206 | - | 371 |6149 | 0 | 0 | 0 |1492k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
674.07/674.12 c 657s| 1740k|306031 | 0 | 0.0 | 398M| 206 | - | 371 |5923 | 0 | 0 | 0 |1508k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
678.58/678.64 c 662s| 1750k|305714 | 0 | 0.0 | 400M| 206 | - | 371 |5594 | 0 | 0 | 0 |1525k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
684.28/684.37 c 667s| 1760k|304549 | 0 | 0.0 | 402M| 206 | - | 371 |9890 | 0 | 0 | 0 |1543k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
691.78/691.84 c 675s| 1770k|303300 | 0 | 0.0 | 404M| 206 | - | 371 | 10k| 0 | 0 | 0 |1560k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
698.48/698.59 c 681s| 1780k|301820 | 0 | 0.0 | 405M| 206 | - | 371 |9216 | 0 | 0 | 0 |1578k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
705.88/705.92 c 689s| 1790k|300108 | 0 | 0.0 | 407M| 206 | - | 371 | 10k| 0 | 0 | 0 |1597k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
714.78/714.81 c 697s| 1800k|296911 | 0 | 0.0 | 407M| 206 | - | 371 | 12k| 0 | 0 | 0 |1617k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
723.08/723.17 c 706s| 1810k|294844 | 0 | 0.0 | 408M| 206 | - | 371 | 10k| 0 | 0 | 0 |1636k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
731.77/731.86 c 714s| 1820k|290824 | 0 | 0.0 | 407M| 206 | - | 371 |8963 | 0 | 0 | 0 |1657k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
740.48/740.60 c 723s| 1830k|285240 | 0 | 0.0 | 405M| 206 | - | 371 |9409 | 0 | 0 | 0 |1679k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
749.38/749.46 c 731s| 1840k|279530 | 0 | 0.0 | 403M| 206 | - | 371 |9216 | 0 | 0 | 0 |1700k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
758.28/758.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
758.28/758.36 c 740s| 1850k|273191 | 0 | 0.0 | 401M| 206 | - | 371 | 10k| 0 | 0 | 0 |1722k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
769.67/769.79 c 752s| 1860k|265461 | 0 | 0.0 | 398M| 206 | - | 371 | 13k| 0 | 0 | 0 |1744k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
778.78/778.84 c 760s| 1870k|263025 | 0 | 0.0 | 393M| 206 | - | 371 |4610 | 0 | 0 | 0 |1759k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
780.98/781.04 c 763s| 1880k|268915 | 0 | 0.0 | 399M| 206 | - | 371 |5401 | 0 | 0 | 0 |1766k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
782.78/782.86 o 25
782.78/782.86 c * 764s| 1882k|198133 | 0 | 0.0 | 312M| 206 | - | 371 |8382 | 0 | 0 | 0 |1771k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
796.97/797.05 c 778s| 1890k|168463 | 0 | 0.0 | 271M| 206 | - | 371 |7356 | 0 | 0 | 0 |1812k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
806.87/806.93 c 788s| 1900k|159476 | 0 | 0.0 | 264M| 206 | - | 371 |4548 | 0 | 0 | 0 |1838k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
816.68/816.70 c 798s| 1910k|150688 | 0 | 0.0 | 261M| 206 | - | 371 |9828 | 0 | 0 | 0 |1866k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
828.88/828.96 c 810s| 1920k|140848 | 0 | 0.0 | 255M| 206 | - | 371 | 12k| 0 | 0 | 0 |1895k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
844.27/844.32 c 825s| 1930k|130350 | 0 | 0.0 | 247M| 206 | - | 371 | 15k| 0 | 0 | 0 |1925k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
860.38/860.48 c 841s| 1940k|118883 | 0 | 0.0 | 235M| 206 | - | 371 | 16k| 0 | 0 | 0 |1954k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
875.48/875.58 c 856s| 1950k|109244 | 0 | 0.0 | 218M| 206 | - | 371 |6255 | 0 | 0 | 0 |1979k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
877.37/877.46 c 858s| 1960k|116264 | 0 | 0.0 | 222M| 206 | - | 371 |4072 | 0 | 0 | 0 |1986k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
879.57/879.60 c 860s| 1970k|122493 | 0 | 0.0 | 226M| 206 | - | 371 |4648 | 0 | 0 | 0 |1993k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
882.08/882.11 c 862s| 1980k|127878 | 0 | 0.0 | 231M| 206 | - | 371 |5174 | 0 | 0 | 0 |2002k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
885.27/885.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.27/885.32 c 865s| 1990k|131845 | 0 | 0.0 | 236M| 206 | - | 371 |6030 | 0 | 0 | 0 |2012k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
889.18/889.21 c 869s| 2000k|134487 | 0 | 0.0 | 240M| 206 | - | 371 |6873 | 0 | 0 | 0 |2023k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
893.77/893.82 c 874s| 2010k|136440 | 0 | 0.0 | 241M| 206 | - | 371 |4577 | 0 | 0 | 0 |2035k| 0 | 2.000000e+00 | 2.500000e+01 |1150.00%
897.27/897.38 o 24
897.27/897.38 c * 877s| 2013k|125379 | 0 | 0.0 | 217M| 206 | - | 371 |9310 | 0 | 0 | 0 |2046k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
898.58/898.67 o 9
898.58/898.67 c * 878s| 2013k| 54046 | 0 | 0.0 | 90M| 206 | - | 371 |8696 | 0 | 0 | 0 |2048k| 0 | 2.000000e+00 | 9.000000e+00 | 350.00%
903.27/903.30 c 883s| 2020k| 50953 | 0 | 0.0 | 75M| 206 | - | 371 |6537 | 0 | 0 | 0 |2060k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
908.67/908.73 c 888s| 2030k| 53063 | 0 | 0.0 | 80M| 206 | - | 371 |8952 | 0 | 0 | 0 |2076k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
915.37/915.44 c 895s| 2040k| 54156 | 0 | 0.0 | 84M| 206 | - | 371 | 10k| 0 | 0 | 0 |2093k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
922.87/922.96 c 902s| 2050k| 53969 | 0 | 0.0 | 88M| 206 | - | 371 | 13k| 0 | 0 | 0 |2111k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
930.37/930.41 c 910s| 2060k| 52260 | 0 | 0.0 | 89M| 206 | - | 371 |9617 | 0 | 0 | 0 |2133k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
938.56/938.62 c 918s| 2070k| 49263 | 0 | 0.0 | 89M| 206 | - | 371 | 11k| 0 | 0 | 0 |2156k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
949.17/949.22 c 928s| 2080k| 43793 | 0 | 0.0 | 87M| 206 | - | 371 | 14k| 0 | 0 | 0 |2181k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
953.58/953.69 c 932s| 2090k| 47715 | 0 | 0.0 | 86M| 206 | - | 371 |3971 | 0 | 0 | 0 |2192k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
955.87/955.97 c 935s| 2100k| 53553 | 0 | 0.0 | 91M| 206 | - | 371 |5205 | 0 | 0 | 0 |2201k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
964.97/965.06 c 943s| 2110k| 43006 | 0 | 0.0 | 62M| 206 | - | 371 | 12k| 0 | 0 | 0 |2230k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
977.87/977.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.87/977.90 c 956s| 2120k| 37863 | 0 | 0.0 | 60M| 206 | - | 371 | 15k| 0 | 0 | 0 |2262k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
993.86/994.00 c 972s| 2130k| 31738 | 0 | 0.0 | 56M| 206 | - | 371 | 21k| 0 | 0 | 0 |2292k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1011.46/1011.51 c 990s| 2140k| 24868 | 0 | 0.0 | 47M| 206 | - | 371 | 24k| 0 | 0 | 0 |2322k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1018.16/1018.20 c 996s| 2150k| 28845 | 0 | 0.0 | 43M| 206 | - | 371 |7845 | 0 | 0 | 0 |2333k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1021.77/1021.84 c 1000s| 2160k| 33743 | 0 | 0.0 | 47M| 206 | - | 371 |9877 | 0 | 0 | 0 |2343k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1026.37/1026.43 c 1004s| 2170k| 37556 | 0 | 0.0 | 51M| 206 | - | 371 | 11k| 0 | 0 | 0 |2354k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1032.36/1032.46 c 1010s| 2180k| 39264 | 0 | 0.0 | 54M| 206 | - | 371 | 13k| 0 | 0 | 0 |2370k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1038.07/1038.11 c 1016s| 2190k| 42411 | 0 | 0.0 | 57M| 206 | - | 371 | 13k| 0 | 0 | 0 |2383k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1043.16/1043.21 c 1021s| 2200k| 47055 | 0 | 0.0 | 61M| 206 | - | 371 | 15k| 0 | 0 | 0 |2393k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1049.86/1049.97 c 1027s| 2210k| 49717 | 0 | 0.0 | 66M| 206 | - | 371 | 18k| 0 | 0 | 0 |2408k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1064.86/1064.99 c 1042s| 2220k| 44780 | 0 | 0.0 | 54M| 206 | - | 371 | 30k| 0 | 0 | 0 |2434k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1074.07/1074.14 c 1051s| 2230k| 48351 | 0 | 0.0 | 51M| 206 | - | 371 | 13k| 0 | 0 | 0 |2447k| 0 | 5.000000e+00 | 9.000000e+00 | 80.00%
1081.57/1081.69 c 1059s| 2240k| 49271 | 0 | 0.0 | 54M| 206 | - | 371 | 14k| 0 | 0 | 0 |2465k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1090.57/1090.65 c 1068s| 2250k| 49199 | 0 | 0.0 | 58M| 206 | - | 371 | 17k| 0 | 0 | 0 |2483k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1100.77/1100.87 c 1078s| 2260k| 48524 | 0 | 0.0 | 61M| 206 | - | 371 | 21k| 0 | 0 | 0 |2501k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1112.87/1112.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.87/1112.97 c 1090s| 2270k| 47081 | 0 | 0.0 | 65M| 206 | - | 371 | 25k| 0 | 0 | 0 |2519k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1126.56/1126.60 c 1103s| 2280k| 45694 | 0 | 0.0 | 66M| 206 | - | 371 | 29k| 0 | 0 | 0 |2537k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1141.27/1141.35 c 1118s| 2290k| 45247 | 0 | 0.0 | 66M| 206 | - | 371 | 25k| 0 | 0 | 0 |2555k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1153.37/1153.48 c 1130s| 2300k| 46998 | 0 | 0.0 | 71M| 206 | - | 371 | 29k| 0 | 0 | 0 |2573k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1168.77/1168.82 c 1145s| 2310k| 47377 | 0 | 0.0 | 74M| 206 | - | 371 | 31k| 0 | 0 | 0 |2591k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1184.97/1185.05 c 1161s| 2320k| 47487 | 0 | 0.0 | 77M| 206 | - | 371 | 31k| 0 | 0 | 0 |2609k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1201.27/1201.31 c 1177s| 2330k| 46918 | 0 | 0.0 | 79M| 206 | - | 371 | 33k| 0 | 0 | 0 |2627k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1219.17/1219.26 c 1195s| 2340k| 46121 | 0 | 0.0 | 80M| 206 | - | 371 | 33k| 0 | 0 | 0 |2646k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1238.28/1238.31 c 1214s| 2350k| 43521 | 0 | 0.0 | 77M| 206 | - | 371 | 21k| 0 | 0 | 0 |2668k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1255.68/1255.70 c 1231s| 2360k| 38313 | 0 | 0.0 | 73M| 206 | - | 371 | 24k| 0 | 0 | 0 |2691k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1277.77/1277.80 c 1253s| 2370k| 31673 | 0 | 0.0 | 69M| 206 | - | 371 | 35k| 0 | 0 | 0 |2714k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1301.97/1302.00 c 1277s| 2380k| 28126 | 0 | 0.0 | 64M| 206 | - | 371 | 32k| 0 | 0 | 0 |2737k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1327.17/1327.23 c 1302s| 2390k| 24701 | 0 | 0.0 | 64M| 206 | - | 371 | 39k| 0 | 0 | 0 |2760k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1355.07/1355.12 c 1330s| 2400k| 20120 | 0 | 0.0 | 60M| 206 | - | 371 | 38k| 0 | 0 | 0 |2783k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1392.37/1392.42 c 1367s| 2410k| 10000 | 0 | 0.0 | 40M| 206 | - | 371 | 34k| 0 | 0 | 0 |2810k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1425.26/1425.31 c
1425.26/1425.31 c SCIP Status : problem is solved [optimal solution found]
1425.26/1425.31 c Solving Time (sec) : 1400.19
1425.26/1425.31 c Solving Nodes : 2418709
1425.26/1425.31 c Primal Bound : +9.00000000000000e+00 (31 solutions)
1425.26/1425.31 c Dual Bound : +9.00000000000000e+00
1425.26/1425.31 c Gap : 0.00 %
1425.26/1425.31 s OPTIMUM FOUND
1425.26/1425.31 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1425.26/1425.31 v -x147 x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127
1425.26/1425.31 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106
1425.26/1425.31 v -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82
1425.26/1425.31 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1425.26/1425.31 v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1425.26/1425.31 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5
1425.26/1425.31 v -x4 -x3 -x2 -x1
1425.26/1425.31 c SCIP Status : problem is solved [optimal solution found]
1425.26/1425.31 c Solving Time : 1400.19
1425.26/1425.31 c Original Problem :
1425.26/1425.31 c Problem name : HOME/instance-2694172-1277924309.wbo
1425.26/1425.31 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
1425.26/1425.31 c Constraints : 203 initial, 203 maximal
1425.26/1425.31 c Presolved Problem :
1425.26/1425.31 c Problem name : t_HOME/instance-2694172-1277924309.wbo
1425.26/1425.31 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
1425.26/1425.31 c Constraints : 202 initial, 40048 maximal
1425.26/1425.31 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1425.26/1425.31 c trivial : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c dualfix : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c boundshift : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c implics : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c probing : 0.01 0 0 0 0 0 0 0 0
1425.26/1425.31 c indicator : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c linear : 0.00 0 0 0 101 0 1 0 0
1425.26/1425.31 c logicor : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1425.26/1425.31 c root node : - 58 - - 116 - - - -
1425.26/1425.31 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1425.26/1425.31 c integral : 0 0 0 0 0 0 0 0 0 0
1425.26/1425.31 c indicator : 101 0 7264621 0 1633325 23552 4071074 0 0 0
1425.26/1425.31 c linear : 101 0 7607409 0 1700052 900803 37151918 0 0 0
1425.26/1425.31 c logicor : 0+ 0 3484994 0 0 77277 1924953 0 0 0
1425.26/1425.31 c bounddisjunction : 0+ 0 216534 0 0 2 10796 0 0 0
1425.26/1425.31 c countsols : 0 0 0 0 1700080 0 0 0 0 0
1425.26/1425.31 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1425.26/1425.31 c integral : 0.00 0.00 0.00 0.00 0.00
1425.26/1425.31 c indicator : 8.05 0.00 5.69 0.00 2.36
1425.26/1425.31 c linear : 205.70 0.00 204.85 0.00 0.85
1425.26/1425.31 c logicor : 509.68 0.00 509.68 0.00 0.00
1425.26/1425.31 c bounddisjunction : 0.58 0.00 0.58 0.00 0.00
1425.26/1425.31 c countsols : 0.25 0.00 0.00 0.00 0.25
1425.26/1425.31 c Propagators : Time Calls Cutoffs DomReds
1425.26/1425.31 c vbounds : 1.65 2 0 0
1425.26/1425.31 c rootredcost : 1.80 0 0 0
1425.26/1425.31 c pseudoobj : 34.03 7663183 32378 3772287
1425.26/1425.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1425.26/1425.31 c propagation : 55.34 1010458 1010297 5718972 23.4 312714 14.0 -
1425.26/1425.31 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1425.26/1425.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1425.26/1425.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1425.26/1425.31 c pseudo solution : 0.00 176 176 568 15.8 70 13.5 -
1425.26/1425.31 c applied globally : - - - 2782153 16.9 - - -
1425.26/1425.31 c applied locally : - - - 53316 37.0 - - -
1425.26/1425.31 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1425.26/1425.31 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1425.26/1425.31 c redcost : 0.00 0 0 0 0 0
1425.26/1425.31 c impliedbounds : 0.00 0 0 0 0 0
1425.26/1425.31 c intobj : 0.00 0 0 0 0 0
1425.26/1425.31 c cgmip : 0.00 0 0 0 0 0
1425.26/1425.31 c gomory : 0.00 0 0 0 0 0
1425.26/1425.31 c strongcg : 0.00 0 0 0 0 0
1425.26/1425.31 c cmir : 0.00 0 0 0 0 0
1425.26/1425.31 c flowcover : 0.00 0 0 0 0 0
1425.26/1425.31 c clique : 0.00 0 0 0 0 0
1425.26/1425.31 c zerohalf : 0.00 0 0 0 0 0
1425.26/1425.31 c mcf : 0.00 0 0 0 0 0
1425.26/1425.31 c rapidlearning : 0.00 0 0 0 0 0
1425.26/1425.31 c Pricers : Time Calls Vars
1425.26/1425.31 c problem variables: 0.00 0 0
1425.26/1425.31 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1425.26/1425.31 c relpscost : 0.00 0 0 0 0 0 0
1425.26/1425.31 c pscost : 0.00 0 0 0 0 0 0
1425.26/1425.31 c inference : 13.92 1700052 0 0 0 0 3400104
1425.26/1425.31 c mostinf : 0.00 0 0 0 0 0 0
1425.26/1425.31 c leastinf : 0.00 0 0 0 0 0 0
1425.26/1425.31 c fullstrong : 0.00 0 0 0 0 0 0
1425.26/1425.31 c allfullstrong : 0.00 0 0 0 0 0 0
1425.26/1425.31 c random : 0.00 0 0 0 0 0 0
1425.26/1425.31 c Primal Heuristics : Time Calls Found
1425.26/1425.31 c LP solutions : 0.00 - 0
1425.26/1425.31 c pseudo solutions : 0.93 - 28
1425.26/1425.31 c oneopt : 0.83 0 0
1425.26/1425.31 c trivial : 0.00 2 2
1425.26/1425.31 c simplerounding : 0.00 0 0
1425.26/1425.31 c zirounding : 0.00 0 0
1425.26/1425.31 c rounding : 0.00 0 0
1425.26/1425.31 c shifting : 0.00 0 0
1425.26/1425.31 c intshifting : 0.00 0 0
1425.26/1425.31 c twoopt : 0.00 0 0
1425.26/1425.31 c fixandinfer : 0.00 0 0
1425.26/1425.31 c feaspump : 0.00 0 0
1425.26/1425.31 c coefdiving : 0.00 0 0
1425.26/1425.31 c pscostdiving : 0.00 0 0
1425.26/1425.31 c fracdiving : 0.00 0 0
1425.26/1425.31 c veclendiving : 0.00 0 0
1425.26/1425.31 c intdiving : 0.00 0 0
1425.26/1425.31 c actconsdiving : 0.00 0 0
1425.26/1425.31 c objpscostdiving : 0.00 0 0
1425.26/1425.31 c rootsoldiving : 0.00 0 0
1425.26/1425.31 c linesearchdiving : 0.00 0 0
1425.26/1425.31 c guideddiving : 0.00 0 0
1425.26/1425.31 c octane : 0.00 0 0
1425.26/1425.31 c rens : 0.00 0 0
1425.26/1425.31 c rins : 0.00 0 0
1425.26/1425.31 c localbranching : 0.00 0 0
1425.26/1425.31 c mutation : 0.00 0 0
1425.26/1425.31 c crossover : 0.00 0 0
1425.26/1425.31 c dins : 0.00 0 0
1425.26/1425.31 c undercover : 0.00 0 0
1425.26/1425.31 c nlp : 0.60 0 0
1425.26/1425.31 c trysol : 0.46 1 1
1425.26/1425.31 c LP : Time Calls Iterations Iter/call Iter/sec
1425.26/1425.31 c primal LP : 0.00 0 0 0.00 -
1425.26/1425.31 c dual LP : 0.00 0 0 0.00 -
1425.26/1425.31 c lex dual LP : 0.00 0 0 0.00 -
1425.26/1425.31 c barrier LP : 0.00 0 0 0.00 -
1425.26/1425.31 c diving/probing LP: 0.00 0 0 0.00 -
1425.26/1425.31 c strong branching : 0.00 0 0 0.00 -
1425.26/1425.31 c (at root node) : - 0 0 0.00 -
1425.26/1425.31 c conflict analysis: 0.00 0 0 0.00 -
1425.26/1425.31 c B&B Tree :
1425.26/1425.31 c number of runs : 1
1425.26/1425.31 c nodes : 2418709
1425.26/1425.31 c nodes (total) : 2418709
1425.26/1425.31 c nodes left : 0
1425.26/1425.31 c max depth : 206
1425.26/1425.31 c max depth (total): 206
1425.26/1425.31 c backtracks : 810434 (33.5%)
1425.26/1425.31 c delayed cutoffs : 540860
1425.26/1425.31 c repropagations : 3051512 (11864108 domain reductions, 315559 cutoffs)
1425.26/1425.31 c avg switch length: 22.74
1425.26/1425.31 c switching time : 445.79
1425.26/1425.31 c Solution :
1425.26/1425.31 c Solutions found : 31 (29 improvements)
1425.26/1425.31 c First Solution : +5.17900000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1425.26/1425.31 c Primal Bound : +9.00000000000000e+00 (in run 1, after 2013692 nodes, 878.03 seconds, depth 101, found by <relaxation>)
1425.26/1425.31 c Dual Bound : +9.00000000000000e+00
1425.26/1425.31 c Gap : 0.00 %
1425.26/1425.31 c Root Dual Bound : +0.00000000000000e+00
1425.26/1425.31 c Root Iterations : 0
1425.26/1425.39 c Time complete: 1425.35.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694172-1277924309/watcher-2694172-1277924309 -o /tmp/evaluation-result-2694172-1277924309/solver-2694172-1277924309 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694172-1277924309.wbo -t 1800 -m 3800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.97 1.99 4/196 28074
/proc/meminfo: memFree=31192556/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=8248 CPUtime=0
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 1542 0 0 0 0 0 0 0 25 0 1 0 168034046 8445952 1464 4089446400 4194304 7136930 140735971855648 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28074/statm: 2062 1464 275 719 0 1341 0
[startup+0.032831 s]
/proc/loadavg: 1.91 1.97 1.99 4/196 28074
/proc/meminfo: memFree=31192556/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=12420 CPUtime=0.02
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 3073 0 0 0 2 0 0 0 25 0 1 0 168034046 12718080 2385 4089446400 4194304 7136930 140735971855648 18446744073709551615 4977990 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 3105 2385 390 719 0 2384 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12420
[startup+0.100815 s]
/proc/loadavg: 1.91 1.97 1.99 4/196 28074
/proc/meminfo: memFree=31192556/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=13716 CPUtime=0.09
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 3392 0 0 0 9 0 0 0 25 0 1 0 168034046 14045184 2704 4089446400 4194304 7136930 140735971855648 18446744073709551615 4981628 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 3429 2704 390 719 0 2708 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13716
[startup+0.300778 s]
/proc/loadavg: 1.91 1.97 1.99 4/196 28074
/proc/meminfo: memFree=31192556/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=15928 CPUtime=0.29
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 3956 0 0 0 28 1 0 0 25 0 1 0 168034046 16310272 3268 4089446400 4194304 7136930 140735971855648 18446744073709551615 5000393 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 3982 3268 390 719 0 3261 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15928
[startup+0.700708 s]
/proc/loadavg: 1.91 1.97 1.99 4/196 28074
/proc/meminfo: memFree=31192556/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=18652 CPUtime=0.69
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 4629 0 0 0 66 3 0 0 25 0 1 0 168034046 19099648 3941 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 4663 3941 390 719 0 3942 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18652
[startup+1.50056 s]
/proc/loadavg: 1.91 1.97 1.99 3/197 28075
/proc/meminfo: memFree=31176304/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=21532 CPUtime=1.49
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 5357 0 0 0 144 5 0 0 25 0 1 0 168034046 22048768 4669 4089446400 4194304 7136930 140735971855648 18446744073709551615 6166121 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 5383 4669 390 719 0 4662 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21532
[startup+3.10027 s]
/proc/loadavg: 1.91 1.97 1.99 3/197 28075
/proc/meminfo: memFree=31171716/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=27160 CPUtime=3.09
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 6799 0 0 0 297 12 0 0 25 0 1 0 168034046 27811840 6111 4089446400 4194304 7136930 140735971855648 18446744073709551615 4661506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 6790 6111 390 719 0 6069 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27160
[startup+6.30066 s]
/proc/loadavg: 1.92 1.97 1.99 3/197 28075
/proc/meminfo: memFree=31162992/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=34252 CPUtime=6.29
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 8578 0 0 0 608 21 0 0 25 0 1 0 168034046 35074048 7890 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 8563 7890 390 719 0 7842 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34252
[startup+12.7005 s]
/proc/loadavg: 1.93 1.97 1.99 3/197 28075
/proc/meminfo: memFree=31154436/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=42508 CPUtime=12.69
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 10658 0 0 0 1234 35 0 0 25 0 1 0 168034046 43528192 9970 4089446400 4194304 7136930 140735971855648 18446744073709551615 4209188 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 10627 9970 390 719 0 9906 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42508
[startup+25.5011 s]
/proc/loadavg: 1.94 1.97 1.99 3/197 28075
/proc/meminfo: memFree=31099228/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=95156 CPUtime=25.49
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 23833 0 0 0 2427 122 0 0 25 0 1 0 168034046 97439744 23145 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 23789 23145 390 719 0 23068 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 95156
[startup+51.1002 s]
/proc/loadavg: 1.96 1.97 1.99 3/197 28076
/proc/meminfo: memFree=31089828/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=103148 CPUtime=51.09
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 25793 0 0 0 4955 154 0 0 25 0 1 0 168034046 105623552 25105 4089446400 4194304 7136930 140735971855648 18446744073709551615 4978941 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 25787 25105 390 719 0 25066 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 103148
[startup+102.307 s]
/proc/loadavg: 2.02 1.99 1.99 3/197 28077
/proc/meminfo: memFree=30989832/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=203116 CPUtime=102.29
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 49816 0 0 0 9842 387 0 0 25 0 1 0 168034046 207990784 49101 4089446400 4194304 7136930 140735971855648 18446744073709551615 5001220 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28074/statm: 50779 49101 393 719 0 50058 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 203116
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 28088
/proc/meminfo: memFree=30912956/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=280700 CPUtime=162.28
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 69157 0 0 0 15665 563 0 0 25 0 1 0 168034046 287436800 68442 4089446400 4194304 7136930 140735971855648 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 70175 68442 393 719 0 69454 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 280700
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 28090
/proc/meminfo: memFree=30848604/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=333392 CPUtime=222.28
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 82355 0 0 0 21528 700 0 0 25 0 1 0 168034046 341393408 81640 4089446400 4194304 7136930 140735971855648 18446744073709551615 4947541 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 83348 81640 393 719 0 82627 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 333392
[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 28091
/proc/meminfo: memFree=30748848/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=425400 CPUtime=282.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 105579 0 0 0 27367 860 0 0 25 0 1 0 168034046 435609600 104864 4089446400 4194304 7136930 140735971855648 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28074/statm: 106350 104864 393 719 0 105629 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 425400
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 28093
/proc/meminfo: memFree=30714316/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=455640 CPUtime=342.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 113276 0 0 0 33224 1003 0 0 25 0 1 0 168034046 466575360 112561 4089446400 4194304 7136930 140735971855648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28074/statm: 113910 112561 393 719 0 113189 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 455640
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 28094
/proc/meminfo: memFree=30684632/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=478268 CPUtime=402.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 118929 0 0 0 39108 1119 0 0 25 0 1 0 168034046 489746432 118214 4089446400 4194304 7136930 140735971855648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28074/statm: 119567 118214 393 719 0 118846 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 478268
[startup+462.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/197 28096
/proc/meminfo: memFree=30655692/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=507880 CPUtime=462.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 126293 0 0 0 45001 1226 0 0 25 0 1 0 168034046 520069120 125578 4089446400 4194304 7136930 140735971855648 18446744073709551615 5956121 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28074/statm: 126970 125578 393 719 0 126249 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 507880
[startup+522.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 28097
/proc/meminfo: memFree=30576516/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=581628 CPUtime=522.28
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 144905 0 0 0 50829 1399 0 0 25 0 1 0 168034046 595587072 144190 4089446400 4194304 7136930 140735971855648 18446744073709551615 5957698 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 145407 144190 393 719 0 144686 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 581628
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28099
/proc/meminfo: memFree=30554648/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=593972 CPUtime=582.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 148040 0 0 0 56718 1509 0 0 25 0 1 0 168034046 608227328 147325 4089446400 4194304 7136930 140735971855648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28074/statm: 148493 147325 393 719 0 147772 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 593972
[startup+642.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/197 28101
/proc/meminfo: memFree=30551016/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=597568 CPUtime=642.28
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 148907 0 0 0 62624 1604 0 0 25 0 1 0 168034046 611909632 148192 4089446400 4194304 7136930 140735971855648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28074/statm: 149392 148192 393 719 0 148671 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 597568
[startup+702.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 28102
/proc/meminfo: memFree=30550340/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=597568 CPUtime=702.28
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 148916 0 0 0 68495 1733 0 0 25 0 1 0 168034046 611909632 148201 4089446400 4194304 7136930 140735971855648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28074/statm: 149392 148201 393 719 0 148671 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 597568
[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28104
/proc/meminfo: memFree=30539508/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=597860 CPUtime=762.28
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 148962 0 0 0 74411 1817 0 0 25 0 1 0 168034046 612208640 148247 4089446400 4194304 7136930 140735971855648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28074/statm: 149465 148247 393 719 0 148744 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 597860
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28106
/proc/meminfo: memFree=30533396/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=598180 CPUtime=822.28
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149016 0 0 0 80314 1914 0 0 25 0 1 0 168034046 612536320 148301 4089446400 4194304 7136930 140735971855648 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28074/statm: 149545 148301 393 719 0 148824 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 598180
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28107
/proc/meminfo: memFree=30527644/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=598336 CPUtime=882.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149062 0 0 0 86229 1998 0 0 25 0 1 0 168034046 612696064 148347 4089446400 4194304 7136930 140735971855648 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28074/statm: 149584 148347 393 719 0 148863 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 598336
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28112
/proc/meminfo: memFree=30508720/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=597312 CPUtime=942.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149074 0 0 0 92121 2106 0 0 25 0 1 0 168034046 611647488 148104 4089446400 4194304 7136930 140735971855648 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28074/statm: 149328 148104 393 719 0 148607 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 597312
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28113
/proc/meminfo: memFree=30504532/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=598276 CPUtime=1002.26
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149236 0 0 0 98039 2187 0 0 25 0 1 0 168034046 612634624 148266 4089446400 4194304 7136930 140735971855648 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28074/statm: 149569 148266 393 719 0 148848 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 598276
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28115
/proc/meminfo: memFree=30498148/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=597908 CPUtime=1062.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149343 0 0 0 103956 2271 0 0 25 0 1 0 168034046 612257792 148113 4089446400 4194304 7136930 140735971855648 18446744073709551615 5004476 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28074/statm: 149477 148113 393 719 0 148756 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 597908
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/197 28117
/proc/meminfo: memFree=30493148/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=596176 CPUtime=1122.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149508 0 0 0 109890 2337 0 0 25 0 1 0 168034046 610484224 147763 4089446400 4194304 7136930 140735971855648 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28074/statm: 149044 147763 393 719 0 148323 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 596176
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/197 28118
/proc/meminfo: memFree=30491364/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=598464 CPUtime=1182.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149832 0 0 0 115848 2379 0 0 25 0 1 0 168034046 612827136 148087 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999782 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28074/statm: 149616 148087 393 719 0 148895 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 598464
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 28120
/proc/meminfo: memFree=30495784/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=593500 CPUtime=1242.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 149951 0 0 0 121806 2421 0 0 25 0 1 0 168034046 607744000 146781 4089446400 4194304 7136930 140735971855648 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/28074/statm: 148375 146781 393 719 0 147654 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 593500
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28121
/proc/meminfo: memFree=30485700/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=592832 CPUtime=1302.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150068 0 0 0 127768 2459 0 0 25 0 1 0 168034046 607059968 146639 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 148208 146639 393 719 0 147487 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 592832
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28123
/proc/meminfo: memFree=30478116/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=594080 CPUtime=1362.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150242 0 0 0 133740 2487 0 0 25 0 1 0 168034046 608337920 146813 4089446400 4194304 7136930 140735971855648 18446744073709551615 5901129 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 148520 146813 393 719 0 147799 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 594080
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28125
/proc/meminfo: memFree=30504000/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=562880 CPUtime=1422.27
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150272 0 0 0 139720 2507 0 0 25 0 1 0 168034046 576389120 139043 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 140720 139043 393 719 0 139999 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 562880
Solver just ended. Dumping a history of the last processes samples
[startup+1423.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28125
/proc/meminfo: memFree=30506852/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=560568 CPUtime=1423.86
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150272 0 0 0 139878 2508 0 0 25 0 1 0 168034046 574021632 138465 4089446400 4194304 7136930 140735971855648 18446744073709551615 4221238 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 140142 138465 393 719 0 139421 0
Current children cumulated CPU time (s) 1423.86
Current children cumulated vsize (KiB) 560568
[startup+1424.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28125
/proc/meminfo: memFree=30511192/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=553576 CPUtime=1424.67
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150272 0 0 0 139958 2509 0 0 25 0 1 0 168034046 566861824 136717 4089446400 4194304 7136930 140735971855648 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 138394 136717 393 719 0 137673 0
Current children cumulated CPU time (s) 1424.67
Current children cumulated vsize (KiB) 553576
[startup+1425.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28125
/proc/meminfo: memFree=30511192/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=553060 CPUtime=1425.06
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150272 0 0 0 139997 2509 0 0 25 0 1 0 168034046 566333440 136588 4089446400 4194304 7136930 140735971855648 18446744073709551615 4948417 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 138265 136588 393 719 0 137544 0
Current children cumulated CPU time (s) 1425.06
Current children cumulated vsize (KiB) 553060
[startup+1425.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28125
/proc/meminfo: memFree=30511192/32950928 swapFree=67111528/67111528
[pid=28074] ppid=28072 vsize=544028 CPUtime=1425.26
/proc/28074/stat : 28074 (pbscip.linux.x8) R 28072 28074 25854 0 -1 4202496 150272 0 0 0 140017 2509 0 0 25 0 1 0 168034046 557084672 134330 4089446400 4194304 7136930 140735971855648 18446744073709551615 5000322 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28074/statm: 136007 134330 393 719 0 135286 0
Current children cumulated CPU time (s) 1425.26
Current children cumulated vsize (KiB) 544028
Child status: 0
Real time (s): 1425.39
CPU time (s): 1425.37
CPU user time (s): 1400.25
CPU system time (s): 25.1192
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 598908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1400.25
system time used= 25.1192
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150329
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= 2
involuntary context switches= 18053
runsolver used 2.26865 second user time and 4.75528 second system time
The end
Begin job on node114 at 2010-06-30 20:58:29
IDJOB=2694172
IDBENCH=79234
IDSOLVER=1206
FILE ID=node114/2694172-1277924309
PBS_JOBID= 11197285
Free space on /tmp= 74212 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694172-1277924309/watcher-2694172-1277924309 -o /tmp/evaluation-result-2694172-1277924309/solver-2694172-1277924309 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694172-1277924309.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 359f8e8e206a8ecfac2e3b6d9e7369bc
RANDOM SEED=1348256096
node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.819
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.63
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.819
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.819
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.819
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.819
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.819
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.819
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.819
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5447.01
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31193084 kB
Buffers: 207960 kB
Cached: 1126776 kB
SwapCached: 0 kB
Active: 699592 kB
Inactive: 914344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31193084 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3160 kB
Writeback: 0 kB
AnonPages: 279684 kB
Mapped: 20400 kB
Slab: 79764 kB
PageTables: 5716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1652872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74208 MiB
End job on node114 at 2010-06-30 21:22:15