0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485568-1307775697.opb>
0.00/0.00 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 4 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c presolving (2 rounds):
0.00/0.00 c 0 deleted vars, 4 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.00 c 0 implications, 0 cliques
0.00/0.00 c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.00 c 4 constraints of type <linear>
0.00/0.00 c transformed objective value is always integral (scale: 1)
0.00/0.00 c Presolving Time: 0.00
0.00/0.00 c - non default parameters ----------------------------------------------------------------------
0.00/0.00 c # SCIP version 2.0.1.4
0.00/0.00 c
0.00/0.00 c # frequency for displaying node information lines
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.00 c display/freq = 10000
0.00/0.00 c
0.00/0.00 c # maximal time in seconds to run
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/time = 1797
0.00/0.00 c
0.00/0.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/memory = 13950
0.00/0.00 c
0.00/0.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.00 c # [type: int, range: [1,2], default: 1]
0.00/0.00 c timing/clocktype = 2
0.00/0.00 c
0.00/0.00 c # belongs reading time to solving time?
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c timing/reading = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify inequalities
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/linear/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/indicator/addCouplingCons = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify knapsacks
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c separating/rapidlearning/freq = 0
0.00/0.00 c
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 c start solving
0.00/0.00 c
0.00/0.01 o 1075
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 | 0 | 0 | - | 383k| 0 | - | 94 | 4 | 94 | 4 | 0 | 0 | 0 | -- | 1.075000e+03 | Inf
0.00/0.01 c 0.0s| 1 | 0 | 19 | - | 368k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 1.075000e+03 | Inf
0.00/0.02 o 994
0.00/0.02 c y 0.0s| 1 | 0 | 19 | - | 393k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 9.940000e+02 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 25 | - | 411k| 0 | 8 | 94 | 13 | 94 | 8 | 4 | 0 | 0 | 0.000000e+00 | 9.940000e+02 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 33 | - | 456k| 0 | 11 | 94 | 13 | 94 | 14 | 10 | 0 | 0 | 0.000000e+00 | 9.940000e+02 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 59 | - | 485k| 0 | 10 | 94 | 13 | 94 | 19 | 15 | 0 | 0 | 0.000000e+00 | 9.940000e+02 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 71 | - | 510k| 0 | 12 | 94 | 13 | 94 | 22 | 18 | 0 | 0 | 0.000000e+00 | 9.940000e+02 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 83 | - | 536k| 0 | 10 | 94 | 13 | 94 | 26 | 22 | 0 | 0 | 0.000000e+00 | 9.940000e+02 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 90 | - | 575k| 0 | 10 | 94 | 13 | 94 | 30 | 26 | 0 | 0 | 0.000000e+00 | 9.940000e+02 | Inf
0.04/0.06 c 0.1s| 1 | 2 | 141 | - | 576k| 0 | 10 | 94 | 13 | 94 | 30 | 26 | 0 | 9 | 0.000000e+00 | 9.940000e+02 | Inf
0.04/0.07 o 145
0.04/0.07 c c 0.1s| 16 | 16 | 238 | 9.9 | 598k| 15 | - | 94 | 13 | 94 | 11 | 26 | 0 | 69 | 0.000000e+00 | 1.450000e+02 | Inf
0.04/0.08 o 143
0.04/0.08 c * 0.1s| 37 | 35 | 346 | 7.1 | 597k| 19 | - | 94 | 13 | 94 | 11 | 26 | 0 | 123 | 0.000000e+00 | 1.430000e+02 | Inf
0.04/0.08 o 141
0.04/0.08 c * 0.1s| 38 | 34 | 346 | 6.9 | 598k| 19 | - | 94 | 13 | 94 | 11 | 26 | 0 | 123 | 0.000000e+00 | 1.410000e+02 | Inf
0.04/0.09 o 140
0.04/0.09 c v 0.1s| 65 | 61 | 450 | 5.6 | 634k| 19 | - | 94 | 13 | 94 | 11 | 26 | 3 | 181 | 0.000000e+00 | 1.400000e+02 | Inf
0.09/0.10 o 139
0.09/0.10 c * 0.1s| 102 | 96 | 663 | 5.7 | 648k| 24 | - | 94 | 14 | 94 | 11 | 26 | 4 | 238 | 0.000000e+00 | 1.390000e+02 | Inf
0.09/0.10 o 137
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c l 0.1s| 105 | 99 | 667 | 5.5 | 651k| 26 | - | 94 | 14 | 94 | 11 | 26 | 4 | 245 | 0.000000e+00 | 1.370000e+02 | Inf
0.09/0.10 o 136
0.09/0.10 c * 0.1s| 116 | 108 | 701 | 5.3 | 658k| 26 | - | 94 | 14 | 94 | 11 | 26 | 4 | 254 | 0.000000e+00 | 1.360000e+02 | Inf
0.09/0.11 o 132
0.09/0.11 c * 0.1s| 119 | 108 | 702 | 5.2 | 659k| 26 | - | 94 | 14 | 94 | 11 | 26 | 4 | 258 | 0.000000e+00 | 1.320000e+02 | Inf
0.09/0.12 o 130
0.09/0.12 c * 0.1s| 161 | 136 | 824 | 4.6 | 676k| 26 | - | 94 | 14 | 94 | 11 | 26 | 4 | 312 | 0.000000e+00 | 1.300000e+02 | Inf
0.09/0.12 o 128
0.09/0.12 c c 0.1s| 163 | 134 | 824 | 4.5 | 678k| 26 | - | 94 | 14 | 94 | 11 | 26 | 4 | 314 | 0.000000e+00 | 1.280000e+02 | Inf
0.09/0.12 o 126
0.09/0.12 c p 0.1s| 163 | 131 | 824 | 4.5 | 686k| 26 | - | 94 | 15 | 94 | 11 | 26 | 5 | 314 | 0.000000e+00 | 1.260000e+02 | Inf
0.09/0.13 o 125
0.09/0.13 c * 0.1s| 196 | 162 | 942 | 4.4 | 701k| 26 | - | 94 | 6 | 94 | 11 | 26 | 5 | 334 | 0.000000e+00 | 1.250000e+02 | Inf
0.09/0.13 o 123
0.09/0.13 c * 0.1s| 199 | 161 | 943 | 4.3 | 700k| 26 | - | 94 | 6 | 94 | 11 | 26 | 5 | 338 | 0.000000e+00 | 1.230000e+02 | Inf
0.09/0.13 o 121
0.09/0.13 c * 0.1s| 201 | 161 | 943 | 4.3 | 702k| 26 | - | 94 | 6 | 94 | 11 | 26 | 5 | 338 | 0.000000e+00 | 1.210000e+02 | Inf
0.09/0.13 o 119
0.09/0.13 c * 0.1s| 202 | 159 | 943 | 4.2 | 703k| 26 | - | 94 | 6 | 94 | 11 | 26 | 5 | 338 | 0.000000e+00 | 1.190000e+02 | Inf
0.09/0.14 o 118
0.09/0.14 c g 0.1s| 230 | 186 | 1037 | 4.1 | 717k| 26 | - | 94 | 6 | 94 | 11 | 26 | 5 | 369 | 0.000000e+00 | 1.180000e+02 | Inf
0.09/0.14 o 116
0.09/0.14 c c 0.1s| 230 | 183 | 1037 | 4.1 | 717k| 26 | - | 94 | 6 | 94 | 11 | 26 | 5 | 369 | 0.000000e+00 | 1.160000e+02 | Inf
0.09/0.14 o 115
0.09/0.14 c * 0.1s| 234 | 185 | 1053 | 4.1 | 721k| 26 | - | 94 | 6 | 94 | 11 | 26 | 5 | 374 | 0.000000e+00 | 1.150000e+02 | Inf
0.09/0.14 o 113
0.09/0.14 c * 0.1s| 237 | 185 | 1056 | 4.1 | 722k| 26 | - | 94 | 6 | 94 | 11 | 26 | 5 | 379 | 0.000000e+00 | 1.130000e+02 | Inf
0.09/0.14 o 111
0.09/0.14 c * 0.1s| 238 | 182 | 1056 | 4.1 | 722k| 26 | - | 94 | 6 | 94 | 11 | 26 | 5 | 379 | 0.000000e+00 | 1.110000e+02 | Inf
0.09/0.14 o 110
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c * 0.1s| 249 | 190 | 1079 | 4.0 | 729k| 26 | - | 94 | 6 | 94 | 11 | 26 | 5 | 385 | 0.000000e+00 | 1.100000e+02 | Inf
0.09/0.15 o 106
0.09/0.15 c v 0.2s| 294 | 219 | 1197 | 3.8 | 744k| 26 | - | 94 | 6 | 94 | 11 | 26 | 8 | 400 | 0.000000e+00 | 1.060000e+02 | Inf
0.09/0.15 o 102
0.09/0.15 c l 0.2s| 294 | 215 | 1197 | 3.8 | 744k| 26 | - | 94 | 7 | 94 | 11 | 26 | 9 | 400 | 0.000000e+00 | 1.020000e+02 | Inf
0.09/0.16 o 93
0.09/0.16 c g 0.2s| 309 | 216 | 1238 | 3.7 | 756k| 26 | - | 94 | 9 | 94 | 11 | 26 | 11 | 413 | 0.000000e+00 | 9.300000e+01 | Inf
0.09/0.17 o 92
0.09/0.17 c f 0.2s| 393 | 284 | 1460 | 3.5 | 800k| 26 | - | 94 | 16 | 94 | 11 | 26 | 23 | 428 | 0.000000e+00 | 9.200000e+01 | Inf
0.09/0.17 o 91
0.09/0.17 c * 0.2s| 402 | 287 | 1480 | 3.5 | 803k| 26 | - | 94 | 16 | 94 | 11 | 26 | 23 | 437 | 0.000000e+00 | 9.100000e+01 | Inf
0.09/0.17 o 89
0.09/0.17 c * 0.2s| 403 | 284 | 1480 | 3.5 | 802k| 26 | - | 94 | 16 | 94 | 11 | 26 | 23 | 437 | 0.000000e+00 | 8.900000e+01 | Inf
0.09/0.19 o 40
0.09/0.19 c c 0.2s| 462 | 286 | 1790 | 3.7 | 803k| 26 | - | 94 | 20 | 94 | 11 | 26 | 29 | 440 | 0.000000e+00 | 4.000000e+01 | Inf
0.19/0.20 o 39
0.19/0.20 c v 0.2s| 514 | 331 | 1946 | 3.6 | 820k| 26 | - | 94 | 22 | 94 | 11 | 26 | 32 | 444 | 0.000000e+00 | 3.900000e+01 | Inf
0.19/0.20 o 37
0.19/0.20 c l 0.2s| 514 | 327 | 1946 | 3.6 | 822k| 26 | - | 94 | 23 | 94 | 11 | 26 | 33 | 444 | 0.000000e+00 | 3.700000e+01 | Inf
0.19/0.20 o 36
0.19/0.20 c * 0.2s| 541 | 347 | 2034 | 3.6 | 832k| 26 | - | 94 | 23 | 94 | 11 | 26 | 35 | 445 | 0.000000e+00 | 3.600000e+01 | Inf
0.19/0.21 o 35
0.19/0.21 c v 0.2s| 593 | 392 | 2204 | 3.6 | 858k| 26 | - | 94 | 26 | 94 | 11 | 26 | 45 | 446 | 0.000000e+00 | 3.500000e+01 | Inf
0.19/0.26 o 34
0.19/0.26 c v 0.3s| 837 | 601 | 3074 | 3.6 | 965k| 26 | - | 94 | 59 | 94 | 11 | 26 | 89 | 458 | 0.000000e+00 | 3.400000e+01 | Inf
0.19/0.27 o 33
0.19/0.27 c f 0.3s| 881 | 633 | 3244 | 3.6 | 985k| 26 | - | 94 | 64 | 94 | 11 | 26 | 95 | 461 | 0.000000e+00 | 3.300000e+01 | Inf
0.19/0.28 o 23
0.19/0.28 c g 0.3s| 901 | 621 | 3324 | 3.6 | 986k| 26 | - | 94 | 70 | 94 | 11 | 26 | 102 | 465 | 0.000000e+00 | 2.300000e+01 | Inf
0.29/0.33 o 22
0.29/0.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.33 c p 0.3s| 1184 | 840 | 4561 | 3.8 |1117k| 26 | - | 94 | 135 | 94 | 11 | 26 | 172 | 482 | 0.000000e+00 | 2.200000e+01 | Inf
0.29/0.34 o 21
0.29/0.34 c p 0.3s| 1208 | 857 | 4733 | 3.8 |1130k| 26 | - | 94 | 147 | 94 | 11 | 26 | 184 | 485 | 0.000000e+00 | 2.100000e+01 | Inf
0.29/0.34 o 19
0.29/0.34 c f 0.3s| 1208 | 839 | 4733 | 3.8 |1122k| 26 | - | 94 | 150 | 94 | 11 | 26 | 188 | 485 | 0.000000e+00 | 1.900000e+01 | Inf
0.39/0.44 o 17
0.39/0.44 c l 0.4s| 1614 | 1150 | 6618 | 4.0 |1327k| 26 | - | 94 | 282 | 94 | 11 | 26 | 326 | 485 | 0.000000e+00 | 1.700000e+01 | Inf
0.49/0.53 o 15
0.49/0.53 c * 0.5s| 1991 | 1391 | 8554 | 4.3 |1502k| 27 | - | 94 | 424 | 94 | 11 | 26 | 471 | 486 | 0.000000e+00 | 1.500000e+01 | Inf
0.49/0.53 o 13
0.49/0.53 c * 0.5s| 1992 | 1375 | 8554 | 4.3 |1496k| 27 | - | 94 | 424 | 94 | 11 | 26 | 471 | 486 | 0.000000e+00 | 1.300000e+01 | Inf
0.69/0.71 o 11
0.69/0.71 c l 0.7s| 2782 | 1824 | 11949 | 4.3 |1770k| 27 | - | 94 | 623 | 94 | 11 | 26 | 699 | 492 | 0.000000e+00 | 1.100000e+01 | Inf
1.00/1.03 o 10
1.00/1.03 c * 1.0s| 4535 | 2573 | 18123 | 4.0 |2345k| 27 | - | 94 |1100 | 94 | 11 | 26 |1186 | 504 | 0.000000e+00 | 1.000000e+01 | Inf
1.10/1.18 o 9
1.10/1.18 c l 1.2s| 5425 | 2878 | 20584 | 3.8 |2611k| 27 | - | 94 |1283 | 94 | 11 | 26 |1373 | 531 | 0.000000e+00 | 9.000000e+00 | Inf
1.10/1.18 o 7
1.10/1.18 c * 1.2s| 5427 | 2829 | 20586 | 3.8 |2579k| 27 | - | 94 |1284 | 94 | 11 | 26 |1374 | 531 | 0.000000e+00 | 7.000000e+00 | Inf
1.59/1.63 o 6
1.59/1.63 c * 1.6s| 8367 | 3420 | 27872 | 3.3 |3116k| 27 | - | 94 |1864 | 94 | 11 | 26 |2004 | 569 | 0.000000e+00 | 6.000000e+00 | Inf
1.79/1.88 c 1.9s| 10000 | 3511 | 31278 | 3.1 |3368k| 27 | - | 94 |2226 | 0 | 0 | 26 |2378 | 588 | 0.000000e+00 | 6.000000e+00 | Inf
3.59/3.62 c 3.6s| 20000 | 4842 | 53451 | 2.7 |5194k| 27 | - | 94 |4284 | 0 | 0 | 26 |4706 | 706 | 0.000000e+00 | 6.000000e+00 | Inf
5.59/5.69 c 5.7s| 30000 | 4860 | 74440 | 2.5 |5655k| 27 | 4 | 94 |4379 | 94 | 11 | 26 |7075 | 877 | 0.000000e+00 | 6.000000e+00 | Inf
7.49/7.57 c 7.6s| 40000 | 4800 | 94912 | 2.4 |5790k| 27 | 4 | 94 |4520 | 94 | 11 | 26 |9541 |1012 | 0.000000e+00 | 6.000000e+00 | Inf
7.99/8.07 o 5
7.99/8.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.99/8.07 c * 8.1s| 42815 | 4776 |100522 | 2.3 |5824k| 27 | - | 94 |4581 | 94 | 11 | 26 | 10k|1042 | 0.000000e+00 | 5.000000e+00 | Inf
7.99/8.07 o 3
7.99/8.07 c * 8.1s| 42816 | 4682 |100522 | 2.3 |5735k| 27 | - | 94 |4581 | 94 | 11 | 26 | 10k|1042 | 0.000000e+00 | 3.000000e+00 | Inf
9.09/9.16 c 9.2s| 50000 | 4589 |114704 | 2.3 |4929k| 27 | - | 94 |2465 | 0 | 0 | 26 | 11k|1055 | 0.000000e+00 | 3.000000e+00 | Inf
10.59/10.60 c 10.6s| 60000 | 4311 |134457 | 2.2 |4460k| 27 | - | 94 |1530 | 94 | 11 | 26 | 13k|1126 | 0.000000e+00 | 3.000000e+00 | Inf
11.79/11.89 c 11.9s| 70000 | 4120 |154145 | 2.2 |4407k| 27 | 4 | 94 |1767 | 94 | 11 | 26 | 15k|1153 | 0.000000e+00 | 3.000000e+00 | Inf
13.09/13.15 c 13.2s| 80000 | 3949 |173816 | 2.2 |4156k| 27 | - | 94 |1302 | 0 | 0 | 26 | 17k|1181 | 0.000000e+00 | 3.000000e+00 | Inf
14.30/14.39 c 14.4s| 90000 | 3993 |193349 | 2.1 |4279k| 27 | 4 | 94 |1550 | 94 | 11 | 26 | 19k|1212 | 0.000000e+00 | 3.000000e+00 | Inf
15.59/15.69 c 15.7s|100000 | 4143 |212703 | 2.1 |4456k| 27 | 4 | 94 |1881 | 94 | 11 | 26 | 21k|1245 | 0.000000e+00 | 3.000000e+00 | Inf
16.99/17.03 c 17.0s|110000 | 5188 |232763 | 2.1 |5358k| 27 | - | 94 |2566 | 94 | 11 | 26 | 23k|1250 | 0.000000e+00 | 3.000000e+00 | Inf
18.29/18.36 c 18.4s|120000 | 5355 |251604 | 2.1 |5546k| 27 | 4 | 94 |2347 | 94 | 11 | 26 | 25k|1279 | 0.000000e+00 | 3.000000e+00 | Inf
19.69/19.71 c 19.7s|130000 | 5330 |269782 | 2.1 |5713k| 27 | 4 | 94 |2501 | 94 | 11 | 26 | 27k|1294 | 0.000000e+00 | 3.000000e+00 | Inf
20.99/21.06 c 21.1s|140000 | 5401 |288376 | 2.1 |5977k| 27 | - | 94 |2819 | 94 | 11 | 26 | 28k|1314 | 0.000000e+00 | 3.000000e+00 | Inf
22.39/22.41 c 22.4s|150000 | 5353 |306897 | 2.0 |6146k| 27 | 4 | 94 |3082 | 94 | 11 | 26 | 30k|1336 | 0.000000e+00 | 3.000000e+00 | Inf
23.79/23.82 c 23.8s|160000 | 5612 |325533 | 2.0 |6398k| 27 | 4 | 94 |3073 | 94 | 11 | 26 | 32k|1367 | 0.000000e+00 | 3.000000e+00 | Inf
25.20/25.27 c 25.3s|170000 | 4892 |343608 | 2.0 |5712k| 27 | - | 94 |2374 | 0 | 0 | 26 | 34k|1382 | 0.000000e+00 | 3.000000e+00 | Inf
26.60/26.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.60/26.69 c 26.7s|180000 | 3883 |362166 | 2.0 |4693k| 27 | 4 | 94 |2741 | 94 | 11 | 26 | 36k|1389 | 0.000000e+00 | 3.000000e+00 | Inf
27.99/28.09 c 28.1s|190000 | 3760 |381646 | 2.0 |4338k| 27 | 4 | 94 |2044 | 94 | 11 | 26 | 38k|1418 | 0.000000e+00 | 3.000000e+00 | Inf
29.29/29.39 c 29.4s|200000 | 4452 |400012 | 2.0 |5090k| 27 | 4 | 94 |2749 | 94 | 11 | 26 | 40k|1436 | 0.000000e+00 | 3.000000e+00 | Inf
30.70/30.77 c 30.8s|210000 | 4342 |418006 | 2.0 |5136k| 27 | - | 94 |2686 | 94 | 11 | 26 | 42k|1449 | 0.000000e+00 | 3.000000e+00 | Inf
32.09/32.14 c 32.1s|220000 | 4480 |435931 | 2.0 |5611k| 27 | 4 | 94 |3456 | 94 | 11 | 26 | 44k|1475 | 0.000000e+00 | 3.000000e+00 | Inf
33.50/33.58 c 33.6s|230000 | 4588 |453852 | 2.0 |5497k| 27 | - | 94 |2854 | 94 | 11 | 26 | 46k|1492 | 0.000000e+00 | 3.000000e+00 | Inf
34.89/34.98 c 35.0s|240000 | 4154 |471289 | 2.0 |5140k| 27 | - | 94 |2556 | 94 | 11 | 26 | 48k|1523 | 0.000000e+00 | 3.000000e+00 | Inf
36.30/36.32 c 36.3s|250000 | 3715 |490079 | 2.0 |4478k| 27 | - | 94 |2334 | 94 | 11 | 26 | 49k|1534 | 0.000000e+00 | 3.000000e+00 | Inf
37.59/37.69 c 37.7s|260000 | 3418 |509223 | 2.0 |4279k| 27 | - | 94 |2259 | 94 | 11 | 26 | 51k|1547 | 0.000000e+00 | 3.000000e+00 | Inf
38.99/39.03 c 39.0s|270000 | 3388 |528051 | 2.0 |4309k| 27 | 4 | 94 |2388 | 94 | 11 | 26 | 53k|1571 | 0.000000e+00 | 3.000000e+00 | Inf
40.20/40.29 c 40.3s|280000 | 3265 |547141 | 2.0 |4153k| 27 | - | 94 |2078 | 94 | 11 | 26 | 55k|1584 | 0.000000e+00 | 3.000000e+00 | Inf
41.59/41.66 c 41.7s|290000 | 3407 |566965 | 2.0 |4077k| 27 | 4 | 94 |1726 | 94 | 11 | 26 | 57k|1615 | 0.000000e+00 | 3.000000e+00 | Inf
42.80/42.90 c 42.9s|300000 | 4694 |584970 | 1.9 |5015k| 27 | - | 94 |2170 | 0 | 0 | 26 | 59k|1625 | 0.000000e+00 | 3.000000e+00 | Inf
44.09/44.17 c 44.2s|310000 | 5099 |602078 | 1.9 |5465k| 27 | - | 94 |2328 | 94 | 11 | 26 | 61k|1634 | 0.000000e+00 | 3.000000e+00 | Inf
45.39/45.48 c 45.5s|320000 | 5009 |619311 | 1.9 |5590k| 27 | 4 | 94 |2334 | 94 | 11 | 26 | 63k|1668 | 0.000000e+00 | 3.000000e+00 | Inf
46.79/46.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.79/46.80 c 46.8s|330000 | 4684 |636042 | 1.9 |5532k| 27 | - | 94 |2411 | 0 | 0 | 26 | 65k|1703 | 0.000000e+00 | 3.000000e+00 | Inf
47.99/48.09 c 48.1s|340000 | 4639 |653277 | 1.9 |5708k| 27 | - | 94 |2653 | 94 | 11 | 26 | 66k|1713 | 0.000000e+00 | 3.000000e+00 | Inf
49.49/49.55 c 49.6s|350000 | 3452 |671138 | 1.9 |4390k| 27 | 4 | 94 |2378 | 94 | 11 | 26 | 68k|1735 | 0.000000e+00 | 3.000000e+00 | Inf
50.79/50.89 c 50.9s|360000 | 3226 |689736 | 1.9 |4136k| 28 | - | 94 |2093 | 94 | 11 | 26 | 70k|1757 | 0.000000e+00 | 3.000000e+00 | Inf
52.09/52.13 c 52.1s|370000 | 3566 |708712 | 1.9 |4499k| 28 | 4 | 94 |2517 | 94 | 11 | 26 | 72k|1791 | 0.000000e+00 | 3.000000e+00 | Inf
52.79/52.80 o 1
52.79/52.80 c *52.8s|375009 | 3205 |718635 | 1.9 |4240k| 28 | - | 94 |2397 | 94 | 11 | 26 | 73k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
53.69/53.72 c 53.7s|380000 | 3061 |726630 | 1.9 |4633k| 28 | - | 94 |4040 | 94 | 11 | 26 | 77k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
55.79/55.83 c 55.8s|390000 | 3051 |743394 | 1.9 |5159k| 28 | 4 | 94 |5446 | 94 | 11 | 26 | 84k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
58.10/58.14 c 58.1s|400000 | 2924 |759022 | 1.9 |5843k| 28 | 4 | 94 |7543 | 94 | 11 | 26 | 91k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
60.69/60.77 c 60.8s|410000 | 3096 |775416 | 1.9 |6564k| 28 | - | 94 |8502 | 94 | 11 | 26 | 99k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
63.49/63.54 c 63.5s|420000 | 3121 |791770 | 1.9 |6993k| 28 | - | 94 |9410 | 94 | 11 | 26 | 106k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
66.49/66.55 c 66.6s|430000 | 2865 |808004 | 1.9 |6581k| 28 | 4 | 94 |9007 | 94 | 11 | 26 | 113k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
69.49/69.55 c 69.6s|440000 | 2778 |825081 | 1.9 |6721k| 28 | 4 | 94 |9032 | 94 | 11 | 26 | 121k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
72.10/72.16 c 72.2s|450000 | 4247 |844126 | 1.9 |8261k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 128k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
74.99/75.06 c 75.1s|460000 | 4432 |861133 | 1.9 |8859k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 135k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
77.89/77.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.89/77.96 c 78.0s|470000 | 4421 |877471 | 1.9 |9262k| 28 | - | 94 | 10k| 0 | 0 | 26 | 143k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
81.10/81.11 c 81.1s|480000 | 5060 |894824 | 1.9 | 10M| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 150k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
84.50/84.55 c 84.5s|490000 | 4780 |910981 | 1.9 | 10M| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 157k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
87.70/87.75 c 87.7s|500000 | 4635 |926798 | 1.9 | 10M| 28 | - | 94 | 11k| 94 | 11 | 26 | 164k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
90.90/90.92 c 90.9s|510000 | 5168 |943672 | 1.9 | 11M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 171k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
94.40/94.50 c 94.5s|520000 | 5626 |960380 | 1.8 | 12M| 28 | - | 94 | 14k| 0 | 0 | 26 | 179k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
98.49/98.50 c 98.5s|530000 | 4903 |975740 | 1.8 | 11M| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 187k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
101.89/101.90 c 102s|540000 | 4956 |991714 | 1.8 | 11M| 28 | - | 94 | 11k| 94 | 11 | 26 | 194k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
105.30/105.36 c 105s|550000 | 4834 | 1007k| 1.8 | 11M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 202k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
109.29/109.35 c 109s|560000 | 3860 | 1023k| 1.8 |9572k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 210k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
112.50/112.56 c 113s|570000 | 4382 | 1040k| 1.8 |9783k| 28 | - | 94 | 11k| 0 | 0 | 26 | 216k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
115.69/115.78 c 116s|580000 | 5485 | 1057k| 1.8 | 11M| 28 | - | 94 | 12k| 0 | 0 | 26 | 223k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
119.09/119.16 c 119s|590000 | 5897 | 1073k| 1.8 | 11M| 28 | - | 94 | 12k| 0 | 0 | 26 | 229k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
122.39/122.48 c 122s|600000 | 6859 | 1089k| 1.8 | 13M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 235k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
126.20/126.26 c 126s|610000 | 6575 | 1105k| 1.8 | 12M| 28 | - | 94 | 12k| 94 | 11 | 26 | 242k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
129.80/129.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.80/129.87 c 130s|620000 | 6158 | 1121k| 1.8 | 12M| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 249k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
133.30/133.31 c 133s|630000 | 6934 | 1137k| 1.8 | 13M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 255k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
136.79/136.84 c 137s|640000 | 6753 | 1153k| 1.8 | 14M| 28 | 4 | 94 | 14k| 94 | 11 | 26 | 262k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
140.80/140.88 c 141s|650000 | 6042 | 1168k| 1.8 | 13M| 28 | - | 94 | 13k| 0 | 0 | 26 | 268k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
144.39/144.46 c 144s|660000 | 6594 | 1184k| 1.8 | 14M| 28 | - | 94 | 14k| 94 | 11 | 26 | 275k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
148.29/148.34 c 148s|670000 | 6279 | 1200k| 1.8 | 14M| 28 | 4 | 94 | 15k| 94 | 11 | 26 | 281k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
152.59/152.68 c 153s|680000 | 5984 | 1216k| 1.8 | 13M| 28 | 4 | 94 | 14k| 94 | 11 | 26 | 288k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
156.49/156.52 c 157s|690000 | 6406 | 1232k| 1.8 | 15M| 28 | - | 94 | 16k| 0 | 0 | 26 | 295k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
160.60/160.69 c 161s|700000 | 6732 | 1248k| 1.8 | 15M| 28 | - | 94 | 17k| 0 | 0 | 26 | 301k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
165.10/165.10 c 165s|710000 | 6745 | 1264k| 1.8 | 16M| 28 | 4 | 94 | 18k| 94 | 11 | 26 | 308k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
169.70/169.72 c 170s|720000 | 7076 | 1281k| 1.8 | 17M| 28 | 4 | 94 | 19k| 94 | 11 | 26 | 315k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
174.39/174.44 c 174s|730000 | 6935 | 1297k| 1.8 | 17M| 28 | 4 | 94 | 18k| 94 | 11 | 26 | 322k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
179.30/179.38 c 179s|740000 | 6758 | 1313k| 1.8 | 16M| 28 | - | 94 | 18k| 0 | 0 | 26 | 329k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
184.09/184.14 c 184s|750000 | 6477 | 1329k| 1.8 | 16M| 28 | - | 94 | 19k| 0 | 0 | 26 | 336k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
188.90/188.96 c 189s|760000 | 6319 | 1345k| 1.8 | 16M| 28 | 4 | 94 | 19k| 94 | 11 | 26 | 343k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
193.50/193.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.50/193.59 c 194s|770000 | 6211 | 1361k| 1.8 | 16M| 28 | - | 94 | 20k| 94 | 11 | 26 | 350k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
198.70/198.78 c 199s|780000 | 5932 | 1376k| 1.8 | 16M| 28 | - | 94 | 20k| 94 | 11 | 26 | 357k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
203.99/204.04 c 204s|790000 | 5609 | 1391k| 1.8 | 15M| 28 | 4 | 94 | 17k| 94 | 11 | 26 | 364k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
209.29/209.35 c 209s|800000 | 4432 | 1405k| 1.8 | 13M| 28 | - | 94 | 14k| 94 | 11 | 26 | 371k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
213.89/213.99 c 214s|810000 | 3119 | 1420k| 1.8 |9618k| 28 | - | 94 | 12k| 0 | 0 | 26 | 379k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
217.50/217.55 c 218s|820000 | 3293 | 1436k| 1.8 | 10M| 28 | - | 94 | 14k| 0 | 0 | 26 | 386k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
221.30/221.38 c 221s|830000 | 3197 | 1452k| 1.7 | 10M| 28 | 4 | 94 | 15k| 94 | 11 | 26 | 393k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
225.40/225.44 c 225s|840000 | 3146 | 1468k| 1.7 | 11M| 28 | 4 | 94 | 16k| 94 | 11 | 26 | 400k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
229.70/229.71 c 230s|850000 | 3059 | 1483k| 1.7 | 11M| 28 | 5 | 94 | 18k| 94 | 11 | 26 | 407k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
234.50/234.53 c 235s|860000 | 3106 | 1498k| 1.7 | 12M| 28 | 4 | 94 | 20k| 94 | 11 | 26 | 413k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
239.29/239.37 c 239s|870000 | 2871 | 1514k| 1.7 |9800k| 28 | - | 94 | 13k| 94 | 11 | 26 | 420k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
242.79/242.88 c 243s|880000 | 2666 | 1529k| 1.7 |8438k| 28 | - | 94 |9422 | 0 | 0 | 26 | 427k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
245.90/245.96 c 246s|890000 | 2499 | 1545k| 1.7 |8000k| 28 | 4 | 94 |8307 | 94 | 11 | 26 | 434k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
248.69/248.74 c 249s|900000 | 2897 | 1561k| 1.7 |8701k| 28 | - | 94 |9013 | 94 | 11 | 26 | 441k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
251.80/251.86 c 252s|910000 | 3149 | 1577k| 1.7 |9824k| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 447k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
255.10/255.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.10/255.13 c 255s|920000 | 3024 | 1592k| 1.7 |9978k| 28 | - | 94 | 11k| 0 | 0 | 26 | 453k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
258.60/258.68 c 259s|930000 | 2690 | 1609k| 1.7 |9115k| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 460k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
262.30/262.35 c 262s|940000 | 2450 | 1624k| 1.7 |8824k| 28 | - | 94 | 10k| 0 | 0 | 26 | 468k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
265.49/265.53 c 266s|950000 | 2343 | 1641k| 1.7 |8257k| 28 | 4 | 94 |9184 | 94 | 11 | 26 | 475k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
268.60/268.67 c 269s|960000 | 2318 | 1656k| 1.7 |7648k| 28 | 4 | 94 |7398 | 94 | 11 | 26 | 482k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
271.29/271.30 c 271s|970000 | 2448 | 1672k| 1.7 |7915k| 28 | 4 | 94 |7561 | 94 | 11 | 26 | 489k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
274.09/274.18 c 274s|980000 | 2214 | 1688k| 1.7 |8192k| 28 | - | 94 |9240 | 0 | 0 | 26 | 496k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
277.20/277.28 c 277s|990000 | 2420 | 1703k| 1.7 |9116k| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 503k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
280.50/280.56 c 281s| 1000k| 3309 | 1719k| 1.7 | 10M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 509k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
284.29/284.34 c 284s| 1010k| 2927 | 1734k| 1.7 | 10M| 28 | - | 94 | 12k| 94 | 11 | 26 | 516k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
287.80/287.89 c 288s| 1020k| 2663 | 1749k| 1.7 | 10M| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 522k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
291.50/291.56 c 292s| 1030k| 2235 | 1765k| 1.7 |9055k| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 530k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
294.70/294.75 c 295s| 1040k| 2403 | 1781k| 1.7 |8559k| 28 | - | 94 |9381 | 0 | 0 | 26 | 537k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
298.00/298.04 c 298s| 1050k| 2056 | 1797k| 1.7 |8029k| 28 | 4 | 94 |8601 | 94 | 11 | 26 | 545k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
300.79/300.80 c 301s| 1060k| 2065 | 1813k| 1.7 |8162k| 28 | - | 94 |8761 | 94 | 11 | 26 | 552k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
303.80/303.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.80/303.89 c 304s| 1070k| 1934 | 1829k| 1.7 |7969k| 28 | 4 | 94 |8482 | 94 | 11 | 26 | 559k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
306.70/306.71 c 307s| 1080k| 1832 | 1845k| 1.7 |7619k| 28 | - | 94 |7482 | 0 | 0 | 26 | 566k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
309.39/309.48 c 309s| 1090k| 2090 | 1861k| 1.7 |8630k| 28 | - | 94 |9488 | 0 | 0 | 26 | 573k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
312.40/312.44 c 312s| 1100k| 1743 | 1877k| 1.7 |7518k| 28 | 4 | 94 |7233 | 94 | 11 | 26 | 580k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
315.00/315.08 c 315s| 1110k| 1773 | 1892k| 1.7 |7274k| 28 | 4 | 94 |6396 | 94 | 11 | 26 | 587k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
317.90/317.92 c 318s| 1120k| 1496 | 1909k| 1.7 |6786k| 28 | 4 | 94 |5338 | 94 | 11 | 26 | 595k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
320.40/320.42 c 320s| 1130k| 1934 | 1925k| 1.7 |7940k| 28 | - | 94 |7318 | 94 | 11 | 26 | 601k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
323.20/323.25 c 323s| 1140k| 1441 | 1941k| 1.7 |7391k| 28 | - | 94 |7278 | 94 | 11 | 26 | 608k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
325.90/325.92 c 326s| 1150k| 1826 | 1957k| 1.7 |8396k| 28 | 4 | 94 |9116 | 94 | 11 | 26 | 614k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
328.91/328.98 c 329s| 1160k| 2255 | 1974k| 1.7 |9440k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 621k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
332.40/332.44 c 332s| 1170k| 1921 | 1990k| 1.7 |9341k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 627k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
335.90/335.90 c 336s| 1180k| 1328 | 2005k| 1.7 |7828k| 28 | 4 | 94 |8825 | 94 | 11 | 26 | 635k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
338.80/338.82 c 339s| 1190k| 1356 | 2022k| 1.7 |7469k| 28 | 4 | 94 |7657 | 94 | 11 | 26 | 642k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
341.50/341.57 c 342s| 1200k| 1378 | 2037k| 1.7 |8195k| 28 | - | 94 |9325 | 94 | 11 | 26 | 648k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
344.40/344.48 c 344s| 1210k| 1418 | 2053k| 1.7 |7794k| 28 | 4 | 94 |8417 | 94 | 11 | 26 | 655k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
347.51/347.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.51/347.54 c 348s| 1220k| 1155 | 2068k| 1.7 |7885k| 28 | 4 | 94 |9095 | 94 | 11 | 26 | 662k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
350.50/350.57 c 351s| 1230k| 1633 | 2085k| 1.7 |8363k| 28 | 4 | 94 |9409 | 94 | 11 | 26 | 668k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
353.50/353.58 c 354s| 1240k| 1689 | 2101k| 1.7 |8696k| 28 | - | 94 |9627 | 94 | 11 | 26 | 675k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
356.80/356.81 c 357s| 1250k| 1689 | 2117k| 1.7 |9229k| 28 | - | 94 | 10k| 0 | 0 | 26 | 681k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
360.10/360.16 c 360s| 1260k| 1319 | 2133k| 1.7 |8259k| 28 | 4 | 94 |9873 | 94 | 11 | 26 | 689k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
363.40/363.43 c 363s| 1270k| 1044 | 2150k| 1.7 |7679k| 28 | - | 94 |8689 | 94 | 11 | 26 | 696k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
366.40/366.44 c 366s| 1280k| 1046 | 2165k| 1.7 |7911k| 28 | - | 94 |9166 | 0 | 0 | 26 | 703k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
369.50/369.52 c 370s| 1290k| 912 | 2181k| 1.7 |7159k| 28 | 4 | 94 |7345 | 94 | 11 | 26 | 711k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
372.10/372.12 c 372s| 1300k| 901 | 2197k| 1.7 |7114k| 28 | - | 94 |7203 | 0 | 0 | 26 | 718k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
374.90/374.99 c 375s| 1310k| 859 | 2214k| 1.7 |7507k| 28 | - | 94 |8555 | 94 | 11 | 26 | 725k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
378.00/378.01 c 378s| 1320k| 1319 | 2230k| 1.7 |8417k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 732k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
381.20/381.30 c 381s| 1330k| 1123 | 2246k| 1.7 |8732k| 28 | - | 94 | 10k| 94 | 11 | 26 | 739k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
384.50/384.56 c 385s| 1340k| 1657 | 2262k| 1.7 |9811k| 28 | - | 94 | 12k| 0 | 0 | 26 | 746k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
388.31/388.38 c 388s| 1350k| 759 | 2276k| 1.7 |7653k| 28 | - | 94 |9085 | 94 | 11 | 26 | 753k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
391.20/391.22 c 391s| 1360k| 723 | 2292k| 1.7 |7913k| 28 | 4 | 94 |9870 | 94 | 11 | 26 | 760k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
394.10/394.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.10/394.13 c 394s| 1370k| 919 | 2308k| 1.7 |8249k| 28 | - | 94 | 10k| 94 | 11 | 26 | 767k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
397.30/397.34 c 397s| 1380k| 884 | 2325k| 1.7 |8817k| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 774k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
400.90/400.91 c 401s| 1390k| 1103 | 2341k| 1.7 |9712k| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 780k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
404.71/404.74 c 405s| 1400k| 1354 | 2357k| 1.7 | 10M| 28 | - | 94 | 13k| 94 | 11 | 26 | 786k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
408.80/408.85 c 409s| 1410k| 1400 | 2374k| 1.7 | 11M| 28 | 4 | 94 | 16k| 94 | 11 | 26 | 793k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
413.90/413.92 c 414s| 1420k| 1053 | 2389k| 1.7 | 10M| 28 | - | 94 | 15k| 94 | 11 | 26 | 800k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
418.30/418.35 c 418s| 1430k| 684 | 2405k| 1.7 |9184k| 28 | - | 94 | 13k| 0 | 0 | 26 | 807k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
421.80/421.86 c 422s| 1440k| 1838 | 2423k| 1.7 | 10M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 814k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
425.61/425.62 c 426s| 1450k| 1946 | 2439k| 1.7 | 10M| 28 | - | 94 | 13k| 94 | 11 | 26 | 821k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
429.20/429.29 c 429s| 1460k| 2538 | 2455k| 1.7 | 11M| 28 | 4 | 94 | 15k| 94 | 11 | 26 | 828k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
434.00/434.06 c 434s| 1470k| 1309 | 2470k| 1.7 | 10M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 836k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
437.90/437.90 c 438s| 1480k| 799 | 2486k| 1.7 |8418k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 843k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
441.01/441.08 c 441s| 1490k| 1135 | 2502k| 1.7 |9256k| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 850k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
444.80/444.82 c 445s| 1500k| 443 | 2517k| 1.7 |7875k| 28 | 4 | 94 |9991 | 94 | 11 | 26 | 858k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
447.90/447.97 c 448s| 1510k| 501 | 2533k| 1.7 |8207k| 28 | - | 94 | 10k| 0 | 0 | 26 | 865k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
451.31/451.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.31/451.32 c 451s| 1520k| 345 | 2549k| 1.7 |8099k| 28 | - | 94 | 10k| 94 | 11 | 26 | 872k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
454.40/454.47 c 454s| 1530k| 368 | 2566k| 1.7 |7217k| 28 | 4 | 94 |8233 | 94 | 11 | 26 | 879k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
457.41/457.44 c 457s| 1540k| 253 | 2582k| 1.7 |7596k| 28 | 4 | 94 |9541 | 94 | 11 | 26 | 886k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
460.60/460.62 c 461s| 1550k| 125 | 2598k| 1.7 |7471k| 28 | - | 94 |9518 | 94 | 11 | 26 | 893k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
463.70/463.71 c 464s| 1560k| 494 | 2614k| 1.7 |8614k| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 900k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
467.20/467.26 c 467s| 1570k| 462 | 2630k| 1.7 |8176k| 28 | - | 94 | 10k| 0 | 0 | 26 | 908k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
470.81/470.84 c 471s| 1580k| 771 | 2647k| 1.7 |8553k| 28 | - | 94 | 11k| 94 | 11 | 26 | 915k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
474.30/474.31 c 474s| 1590k| 873 | 2662k| 1.7 |9289k| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 922k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
477.90/477.95 c 478s| 1600k| 1602 | 2679k| 1.7 | 10M| 28 | - | 94 | 13k| 94 | 11 | 26 | 928k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
482.50/482.55 c 483s| 1610k| 671 | 2694k| 1.7 |9464k| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 936k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
486.40/486.49 c 486s| 1620k| 157 | 2710k| 1.7 |8299k| 28 | - | 94 | 11k| 0 | 0 | 26 | 943k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
489.91/489.96 c 490s| 1630k| 268 | 2726k| 1.7 |9074k| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 951k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
492.81/492.89 c
492.81/492.89 c SCIP Status : problem is solved [optimal solution found]
492.81/492.89 c Solving Time (sec) : 492.89
492.81/492.89 c Solving Nodes : 1637434
492.81/492.89 c Primal Bound : +1.00000000000000e+00 (54 solutions)
492.81/492.89 c Dual Bound : +1.00000000000000e+00
492.81/492.89 c Gap : 0.00 %
492.81/492.89 s OPTIMUM FOUND
492.81/492.89 v x94 -x75 x93 x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 x84 x83 -x82 x81 x80 x79 x78 x77 -x76 x74 x73 -x72 x71 -x70 -x69 -x68 x67 x66
492.81/492.89 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
492.81/492.89 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
492.81/492.89 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
492.81/492.89 c SCIP Status : problem is solved [optimal solution found]
492.81/492.89 c Total Time : 492.89
492.81/492.89 c solving : 492.89
492.81/492.89 c presolving : 0.00 (included in solving)
492.81/492.89 c reading : 0.00 (included in solving)
492.81/492.89 c Original Problem :
492.81/492.89 c Problem name : HOME/instance-3485568-1307775697.opb
492.81/492.89 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
492.81/492.89 c Constraints : 8 initial, 8 maximal
492.81/492.89 c Presolved Problem :
492.81/492.89 c Problem name : t_HOME/instance-3485568-1307775697.opb
492.81/492.89 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
492.81/492.89 c Constraints : 4 initial, 21557 maximal
492.81/492.89 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
492.81/492.89 c trivial : 0.00 0 0 0 0 0 0 0 0 0
492.81/492.89 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
492.81/492.89 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
492.81/492.89 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
492.81/492.89 c implics : 0.00 0 0 0 0 0 0 0 0 0
492.81/492.89 c probing : 0.00 0 0 0 0 0 0 0 0 0
492.81/492.89 c linear : 0.00 0 0 0 0 0 4 0 0 0
492.81/492.89 c logicor : 0.00 0 0 0 0 0 0 0 0 0
492.81/492.89 c root node : - 66 - - 66 - - - - -
492.81/492.89 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
492.81/492.89 c integral : 0 0 0 920310 0 35 0 77 705 0 0 1839022
492.81/492.89 c linear : 4+ 7 3680502 1 0 32 3148531 564800 3002294 0 0 0
492.81/492.89 c logicor : 0+ 0 2018371 0 0 0 1453065 23091 787066 0 0 0
492.81/492.89 c countsols : 0 0 0 25 0 31 0 0 0 0 0 0
492.81/492.89 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
492.81/492.89 c integral : 4.89 0.00 0.00 4.89 0.00 0.00 0.00
492.81/492.89 c linear : 48.84 0.00 43.23 0.00 0.00 0.00 5.60
492.81/492.89 c logicor : 135.42 0.00 134.08 0.00 0.00 0.00 1.33
492.81/492.89 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
492.81/492.89 c Propagators : #Propagate #Resprop Cutoffs DomReds
492.81/492.89 c vbounds : 0 0 0 0
492.81/492.89 c rootredcost : 50 0 0 56
492.81/492.89 c pseudoobj : 3682945 1602 2596 32147
492.81/492.89 c Propagator Timings : TotalTime Propagate Resprop
492.81/492.89 c vbounds : 0.53 0.53 0.00
492.81/492.89 c rootredcost : 0.57 0.57 0.00
492.81/492.89 c pseudoobj : 5.46 5.46 0.00
492.81/492.89 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
492.81/492.89 c propagation : 10.47 590487 416060 906353 21.0 171 19.7 -
492.81/492.89 c infeasible LP : 6.18 292374 292371 474470 13.9 2541 18.3 0
492.81/492.89 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
492.81/492.89 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
492.81/492.89 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
492.81/492.89 c applied globally : - - - 956663 17.3 - - -
492.81/492.89 c applied locally : - - - 55 33.2 - - -
492.81/492.89 c Separators : Time Calls Cutoffs DomReds Cuts Conss
492.81/492.89 c cut pool : 0.00 5 - - 17 - (maximal pool size: 100)
492.81/492.89 c redcost : 2.17 936943 0 242370 0 0
492.81/492.89 c impliedbounds : 0.00 6 0 0 0 0
492.81/492.89 c intobj : 0.00 0 0 0 0 0
492.81/492.89 c gomory : 0.00 6 0 0 0 0
492.81/492.89 c cgmip : 0.00 0 0 0 0 0
492.81/492.89 c closecuts : 0.00 0 0 0 0 0
492.81/492.89 c strongcg : 0.00 6 0 0 25 0
492.81/492.89 c cmir : 0.01 6 0 0 39 0
492.81/492.89 c flowcover : 0.01 6 0 0 54 0
492.81/492.89 c clique : 0.00 1 0 0 0 0
492.81/492.89 c zerohalf : 0.00 0 0 0 0 0
492.81/492.89 c mcf : 0.00 1 0 0 0 0
492.81/492.89 c oddcycle : 0.00 0 0 0 0 0
492.81/492.89 c rapidlearning : 0.01 1 0 0 0 9
492.81/492.89 c Pricers : Time Calls Vars
492.81/492.89 c problem variables: 0.00 0 0
492.81/492.89 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
492.81/492.89 c relpscost : 4.36 920285 77 705 0 0 1839022
492.81/492.89 c pscost : 0.00 0 0 0 0 0 0
492.81/492.89 c inference : 0.00 0 0 0 0 0 0
492.81/492.89 c mostinf : 0.00 0 0 0 0 0 0
492.81/492.89 c leastinf : 0.00 0 0 0 0 0 0
492.81/492.89 c fullstrong : 0.00 0 0 0 0 0 0
492.81/492.89 c allfullstrong : 0.00 0 0 0 0 0 0
492.81/492.89 c random : 0.00 0 0 0 0 0 0
492.81/492.89 c Primal Heuristics : Time Calls Found
492.81/492.89 c LP solutions : 0.00 - 25
492.81/492.89 c pseudo solutions : 0.00 - 0
492.81/492.89 c feaspump : 0.06 1 0
492.81/492.89 c oneopt : 0.36 46 0
492.81/492.89 c rootsoldiving : 1.02 1484 0
492.81/492.89 c objpscostdiving : 0.68 1967 2
492.81/492.89 c veclendiving : 3.49 6083 5
492.81/492.89 c linesearchdiving : 3.09 6083 6
492.81/492.89 c guideddiving : 2.96 6083 3
492.81/492.89 c fracdiving : 2.85 6083 3
492.81/492.89 c coefdiving : 2.80 6084 4
492.81/492.89 c pscostdiving : 2.80 6084 3
492.81/492.89 c trivial : 0.00 2 0
492.81/492.89 c shiftandpropagate: 0.00 1 1
492.81/492.89 c simplerounding : 0.21 0 0
492.81/492.89 c zirounding : 1.91 0 0
492.81/492.89 c rounding : 0.36 13645 0
492.81/492.89 c shifting : 1.73 7850 1
492.81/492.89 c intshifting : 0.04 0 0
492.81/492.89 c twoopt : 0.00 0 0
492.81/492.89 c fixandinfer : 0.00 0 0
492.81/492.89 c clique : 0.00 0 0
492.81/492.89 c intdiving : 0.00 0 0
492.81/492.89 c actconsdiving : 0.00 0 0
492.81/492.89 c octane : 0.00 0 0
492.81/492.89 c rens : 0.01 1 0
492.81/492.89 c rins : 0.00 0 0
492.81/492.89 c localbranching : 0.00 0 0
492.81/492.89 c mutation : 0.00 0 0
492.81/492.89 c crossover : 0.00 0 0
492.81/492.89 c dins : 0.00 0 0
492.81/492.89 c vbounds : 0.00 0 0
492.81/492.89 c undercover : 0.00 0 0
492.81/492.89 c subnlp : 0.20 0 0
492.81/492.89 c trysol : 0.28 0 0
492.81/492.89 c LP : Time Calls Iterations Iter/call Iter/sec
492.81/492.89 c primal LP : 0.00 0 0 0.00 -
492.81/492.89 c dual LP : 54.87 1270441 2567792 2.02 46800.61
492.81/492.89 c lex dual LP : 0.00 0 0 0.00 -
492.81/492.89 c barrier LP : 0.00 0 0 0.00 -
492.81/492.89 c diving/probing LP: 4.29 94851 170158 1.79 39619.15
492.81/492.89 c strong branching : 0.14 1808 6291 3.48 45095.80
492.81/492.89 c (at root node) : - 9 214 23.78 -
492.81/492.89 c conflict analysis: 0.00 0 0 0.00 -
492.81/492.89 c B&B Tree :
492.81/492.89 c number of runs : 1
492.81/492.89 c nodes : 1637434
492.81/492.89 c nodes (total) : 1637434
492.81/492.89 c nodes left : 0
492.81/492.89 c max depth : 28
492.81/492.89 c max depth (total): 28
492.81/492.89 c backtracks : 552846 (33.8%)
492.81/492.89 c delayed cutoffs : 201060
492.81/492.89 c repropagations : 969929 (1511349 domain reductions, 175896 cutoffs)
492.81/492.89 c avg switch length: 5.11
492.81/492.89 c switching time : 130.20
492.81/492.89 c Solution :
492.81/492.89 c Solutions found : 54 (51 improvements)
492.81/492.89 c First Solution : +1.07500000000000e+03 (in run 1, after 1 nodes, 0.01 seconds, depth 36, found by <shiftandpropagate>)
492.81/492.89 c Primal Bound : +1.00000000000000e+00 (in run 1, after 375009 nodes, 52.80 seconds, depth 21, found by <relaxation>)
492.81/492.89 c Dual Bound : +1.00000000000000e+00
492.81/492.89 c Gap : 0.00 %
492.81/492.89 c Root Dual Bound : +0.00000000000000e+00
492.81/492.89 c Root Iterations : 90
492.90/492.90 c Time complete: 492.91.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485568-1307775697/watcher-3485568-1307775697 -o /tmp/evaluation-result-3485568-1307775697/solver-3485568-1307775697 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485568-1307775697.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 18861
/proc/meminfo: memFree=31088024/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=13760 CPUtime=0 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 2096 0 0 0 0 0 0 0 25 0 1 0 889172329 14090240 2050 33554432000 4194304 8979876 140735385282128 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 3440 2063 422 1169 0 2267 0
[startup+0.048008 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 18861
/proc/meminfo: memFree=31088024/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=25068 CPUtime=0.04 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 5812 0 0 0 4 0 0 0 25 0 1 0 889172329 25669632 5156 33554432000 4194304 8979876 140735385282128 18446744073709551615 6478843 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 6267 5156 683 1169 0 5094 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25068
[startup+0.101005 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 18861
/proc/meminfo: memFree=31088024/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=27532 CPUtime=0.09 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 6178 0 0 0 8 1 0 0 25 0 1 0 889172329 28192768 5522 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 6883 5522 709 1169 0 5710 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27532
[startup+0.300966 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 18861
/proc/meminfo: memFree=31088024/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=27532 CPUtime=0.29 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 6180 0 0 0 27 2 0 0 25 0 1 0 889172329 28192768 5524 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 6883 5524 710 1169 0 5710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27532
[startup+0.700892 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 18861
/proc/meminfo: memFree=31088024/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=27532 CPUtime=0.69 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 6184 0 0 0 66 3 0 0 25 0 1 0 889172329 28192768 5528 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 6883 5528 710 1169 0 5710 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27532
[startup+1.50075 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18862
/proc/meminfo: memFree=31068448/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=27532 CPUtime=1.49 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 6191 0 0 0 144 5 0 0 25 0 1 0 889172329 28192768 5535 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 6883 5535 710 1169 0 5710 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27532
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18862
/proc/meminfo: memFree=31066588/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=27532 CPUtime=3.09 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 6196 0 0 0 299 10 0 0 25 0 1 0 889172329 28192768 5540 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 6883 5540 710 1169 0 5710 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27532
[startup+6.3009 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18862
/proc/meminfo: memFree=31064104/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=27532 CPUtime=6.29 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 6196 0 0 0 614 15 0 0 25 0 1 0 889172329 28192768 5540 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 6883 5540 710 1169 0 5710 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27532
[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18862
/proc/meminfo: memFree=31059788/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=27532 CPUtime=12.69 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 6196 0 0 0 1237 32 0 0 25 0 1 0 889172329 28192768 5540 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 6883 5540 710 1169 0 5710 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27532
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18862
/proc/meminfo: memFree=31049232/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=27532 CPUtime=25.49 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 6390 0 0 0 2484 65 0 0 25 0 1 0 889172329 28192768 5734 33554432000 4194304 8979876 140735385282128 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 6883 5734 710 1169 0 5710 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27532
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18863
/proc/meminfo: memFree=31032844/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=27532 CPUtime=51.09 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 6390 0 0 0 4983 126 0 0 25 0 1 0 889172329 28192768 5734 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 6883 5734 710 1169 0 5710 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27532
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18864
/proc/meminfo: memFree=30997240/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=35420 CPUtime=102.29 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 8295 0 0 0 10042 187 0 0 25 0 1 0 889172329 36270080 7639 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 8855 7639 710 1169 0 7682 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 35420
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18869
/proc/meminfo: memFree=30960736/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=38600 CPUtime=162.29 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 9097 0 0 0 15987 242 0 0 25 0 1 0 889172329 39526400 8441 33554432000 4194304 8979876 140735385282128 18446744073709551615 5369314 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 9650 8441 710 1169 0 8477 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 38600
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18871
/proc/meminfo: memFree=30926820/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=42776 CPUtime=222.3 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 10123 0 0 0 21944 286 0 0 25 0 1 0 889172329 43802624 9467 33554432000 4194304 8979876 140735385282128 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 10694 9467 710 1169 0 9521 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 42776
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18872
/proc/meminfo: memFree=30899600/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=43244 CPUtime=282.3 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 10253 0 0 0 27885 345 0 0 25 0 1 0 889172329 44281856 9597 33554432000 4194304 8979876 140735385282128 18446744073709551615 4653649 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 10811 9597 710 1169 0 9638 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 43244
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18874
/proc/meminfo: memFree=30872384/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=43244 CPUtime=342.3 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 10253 0 0 0 33820 410 0 0 25 0 1 0 889172329 44281856 9597 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 10811 9597 710 1169 0 9638 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 43244
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18875
/proc/meminfo: memFree=30835604/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=43244 CPUtime=402.3 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 10253 0 0 0 39752 478 0 0 25 0 1 0 889172329 44281856 9597 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 10811 9597 710 1169 0 9638 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 43244
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18877
/proc/meminfo: memFree=30779612/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=43244 CPUtime=462.3 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 10257 0 0 0 45700 530 0 0 25 0 1 0 889172329 44281856 9601 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 10811 9601 710 1169 0 9638 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 43244
Solver just ended. Dumping a history of the last processes samples
[startup+473.501 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18877
/proc/meminfo: memFree=30770920/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=43244 CPUtime=473.51 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 10257 0 0 0 46810 541 0 0 25 0 1 0 889172329 44281856 9601 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 10811 9601 710 1169 0 9638 0
Current children cumulated CPU time (s) 473.51
Current children cumulated vsize (KiB) 43244
[startup+486.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18878
/proc/meminfo: memFree=30760616/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=43456 CPUtime=486.3 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 10289 0 0 0 48079 551 0 0 25 0 1 0 889172329 44498944 9633 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 10864 9633 710 1169 0 9691 0
Current children cumulated CPU time (s) 486.3
Current children cumulated vsize (KiB) 43456
[startup+489.507 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18878
/proc/meminfo: memFree=30758628/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=43456 CPUtime=489.51 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 10289 0 0 0 48397 554 0 0 25 0 1 0 889172329 44498944 9633 33554432000 4194304 8979876 140735385282128 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 10864 9633 710 1169 0 9691 0
Current children cumulated CPU time (s) 489.51
Current children cumulated vsize (KiB) 43456
[startup+491.1 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18878
/proc/meminfo: memFree=30757512/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=43456 CPUtime=491.11 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 10289 0 0 0 48555 556 0 0 25 0 1 0 889172329 44498944 9633 33554432000 4194304 8979876 140735385282128 18446744073709551615 4347576 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 10864 9633 710 1169 0 9691 0
Current children cumulated CPU time (s) 491.11
Current children cumulated vsize (KiB) 43456
[startup+491.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18878
/proc/meminfo: memFree=30756392/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=43456 CPUtime=491.9 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 10289 0 0 0 48634 556 0 0 25 0 1 0 889172329 44498944 9633 33554432000 4194304 8979876 140735385282128 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 10864 9633 710 1169 0 9691 0
Current children cumulated CPU time (s) 491.9
Current children cumulated vsize (KiB) 43456
[startup+492.701 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18878
/proc/meminfo: memFree=30755276/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=43456 CPUtime=492.71 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 10289 0 0 0 48714 557 0 0 25 0 1 0 889172329 44498944 9633 33554432000 4194304 8979876 140735385282128 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18861/statm: 10864 9633 710 1169 0 9691 0
Current children cumulated CPU time (s) 492.71
Current children cumulated vsize (KiB) 43456
[startup+492.901 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 18878
/proc/meminfo: memFree=30755276/32951124 swapFree=67052812/67111528
[pid=18861] ppid=18859 vsize=42044 CPUtime=492.9 cores=0,2,4,6
/proc/18861/stat : 18861 (scip-2.0.1.4_2.) R 18859 18861 15120 0 -1 4202496 10292 0 0 0 48733 557 0 0 25 0 1 0 889172329 43053056 9283 33554432000 4194304 8979876 140735385282128 18446744073709551615 4318669 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18861/statm: 10511 9283 713 1169 0 9338 0
Current children cumulated CPU time (s) 492.9
Current children cumulated vsize (KiB) 42044
Child status: 0
Real time (s): 492.906
CPU time (s): 492.917
CPU user time (s): 487.342
CPU system time (s): 5.57515
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 43456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 487.342
system time used= 5.57515
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10297
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 760
runsolver used 0.750885 second user time and 1.50677 second system time
The end