0.00/0.00 c SCIP version 2.0.1.5 [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-3489010-1307773968.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.5
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 | - | 367k| 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 | - | 392k| 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 | - | 410k| 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.03 c 0.0s| 1 | 0 | 59 | - | 484k| 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 | - | 509k| 0 | 12 | 94 | 13 | 94 | 22 | 18 | 0 | 0 | 0.000000e+00 | 9.940000e+02 | Inf
0.00/0.04 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.00/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.06/0.07 o 145
0.06/0.07 c c 0.1s| 16 | 16 | 238 | 9.9 | 597k| 15 | - | 94 | 13 | 94 | 11 | 26 | 0 | 69 | 0.000000e+00 | 1.450000e+02 | Inf
0.06/0.08 o 143
0.06/0.08 c * 0.1s| 37 | 35 | 346 | 7.1 | 596k| 19 | - | 94 | 13 | 94 | 11 | 26 | 0 | 123 | 0.000000e+00 | 1.430000e+02 | Inf
0.06/0.08 o 141
0.06/0.08 c * 0.1s| 38 | 34 | 346 | 6.9 | 597k| 19 | - | 94 | 13 | 94 | 11 | 26 | 0 | 123 | 0.000000e+00 | 1.410000e+02 | Inf
0.06/0.09 o 140
0.06/0.09 c v 0.1s| 65 | 61 | 450 | 5.6 | 633k| 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 | 647k| 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 | 650k| 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.10 o 132
0.09/0.10 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 | 677k| 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 | 701k| 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 | 702k| 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 | 716k| 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 | 720k| 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 | 743k| 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 | 743k| 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 | 802k| 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 | 819k| 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 | 821k| 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 | 831k| 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 | 964k| 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 | 984k| 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 |1121k| 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.54 o 15
0.49/0.54 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.54 o 13
0.49/0.54 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
0.99/1.03 o 10
0.99/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 |2610k| 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 |3115k| 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 |3367k| 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.68 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.55 c 7.5s| 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.05 o 5
7.99/8.05 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.05 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.05 o 3
7.99/8.05 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.14 c 9.1s| 50000 | 4589 |114704 | 2.3 |4928k| 27 | - | 94 |2465 | 0 | 0 | 26 | 11k|1055 | 0.000000e+00 | 3.000000e+00 | Inf
10.49/10.58 c 10.6s| 60000 | 4311 |134457 | 2.2 |4459k| 27 | - | 94 |1530 | 94 | 11 | 26 | 13k|1126 | 0.000000e+00 | 3.000000e+00 | Inf
11.79/11.87 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.13 c 13.1s| 80000 | 3949 |173816 | 2.2 |4156k| 27 | - | 94 |1302 | 0 | 0 | 26 | 17k|1181 | 0.000000e+00 | 3.000000e+00 | Inf
14.30/14.37 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.67 c 15.7s|100000 | 4143 |212703 | 2.1 |4455k| 27 | 4 | 94 |1881 | 94 | 11 | 26 | 21k|1245 | 0.000000e+00 | 3.000000e+00 | Inf
16.99/17.00 c 17.0s|110000 | 5188 |232763 | 2.1 |5357k| 27 | - | 94 |2566 | 94 | 11 | 26 | 23k|1250 | 0.000000e+00 | 3.000000e+00 | Inf
18.29/18.34 c 18.3s|120000 | 5355 |251604 | 2.1 |5545k| 27 | 4 | 94 |2347 | 94 | 11 | 26 | 25k|1279 | 0.000000e+00 | 3.000000e+00 | Inf
19.59/19.68 c 19.7s|130000 | 5330 |269782 | 2.1 |5712k| 27 | 4 | 94 |2501 | 94 | 11 | 26 | 27k|1294 | 0.000000e+00 | 3.000000e+00 | Inf
21.00/21.04 c 21.0s|140000 | 5401 |288376 | 2.1 |5976k| 27 | - | 94 |2819 | 94 | 11 | 26 | 28k|1314 | 0.000000e+00 | 3.000000e+00 | Inf
22.29/22.38 c 22.4s|150000 | 5353 |306897 | 2.0 |6145k| 27 | 4 | 94 |3082 | 94 | 11 | 26 | 30k|1336 | 0.000000e+00 | 3.000000e+00 | Inf
23.69/23.78 c 23.8s|160000 | 5612 |325533 | 2.0 |6397k| 27 | 4 | 94 |3073 | 94 | 11 | 26 | 32k|1367 | 0.000000e+00 | 3.000000e+00 | Inf
25.19/25.23 c 25.2s|170000 | 4892 |343608 | 2.0 |5712k| 27 | - | 94 |2374 | 0 | 0 | 26 | 34k|1382 | 0.000000e+00 | 3.000000e+00 | Inf
26.59/26.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.59/26.65 c 26.6s|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.05 c 28.0s|190000 | 3760 |381646 | 2.0 |4337k| 27 | 4 | 94 |2044 | 94 | 11 | 26 | 38k|1418 | 0.000000e+00 | 3.000000e+00 | Inf
29.29/29.35 c 29.4s|200000 | 4452 |400012 | 2.0 |5089k| 27 | 4 | 94 |2749 | 94 | 11 | 26 | 40k|1436 | 0.000000e+00 | 3.000000e+00 | Inf
30.70/30.73 c 30.7s|210000 | 4342 |418006 | 2.0 |5135k| 27 | - | 94 |2686 | 94 | 11 | 26 | 42k|1449 | 0.000000e+00 | 3.000000e+00 | Inf
32.09/32.10 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.49/33.53 c 33.5s|230000 | 4588 |453852 | 2.0 |5497k| 27 | - | 94 |2854 | 94 | 11 | 26 | 46k|1492 | 0.000000e+00 | 3.000000e+00 | Inf
34.89/34.94 c 34.9s|240000 | 4154 |471289 | 2.0 |5140k| 27 | - | 94 |2556 | 94 | 11 | 26 | 48k|1523 | 0.000000e+00 | 3.000000e+00 | Inf
36.19/36.27 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.64 c 37.6s|260000 | 3418 |509223 | 2.0 |4278k| 27 | - | 94 |2259 | 94 | 11 | 26 | 51k|1547 | 0.000000e+00 | 3.000000e+00 | Inf
38.89/38.97 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.19/40.24 c 40.2s|280000 | 3265 |547141 | 2.0 |4153k| 27 | - | 94 |2078 | 94 | 11 | 26 | 55k|1584 | 0.000000e+00 | 3.000000e+00 | Inf
41.59/41.61 c 41.6s|290000 | 3407 |566965 | 2.0 |4076k| 27 | 4 | 94 |1726 | 94 | 11 | 26 | 57k|1615 | 0.000000e+00 | 3.000000e+00 | Inf
42.79/42.85 c 42.8s|300000 | 4694 |584970 | 1.9 |5015k| 27 | - | 94 |2170 | 0 | 0 | 26 | 59k|1625 | 0.000000e+00 | 3.000000e+00 | Inf
44.09/44.11 c 44.1s|310000 | 5099 |602078 | 1.9 |5464k| 27 | - | 94 |2328 | 94 | 11 | 26 | 61k|1634 | 0.000000e+00 | 3.000000e+00 | Inf
45.39/45.42 c 45.4s|320000 | 5009 |619311 | 1.9 |5589k| 27 | 4 | 94 |2334 | 94 | 11 | 26 | 63k|1668 | 0.000000e+00 | 3.000000e+00 | Inf
46.69/46.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.69/46.74 c 46.7s|330000 | 4684 |636042 | 1.9 |5532k| 27 | - | 94 |2411 | 0 | 0 | 26 | 65k|1703 | 0.000000e+00 | 3.000000e+00 | Inf
47.99/48.02 c 48.0s|340000 | 4639 |653277 | 1.9 |5708k| 27 | - | 94 |2653 | 94 | 11 | 26 | 66k|1713 | 0.000000e+00 | 3.000000e+00 | Inf
49.40/49.49 c 49.5s|350000 | 3452 |671138 | 1.9 |4390k| 27 | 4 | 94 |2378 | 94 | 11 | 26 | 68k|1735 | 0.000000e+00 | 3.000000e+00 | Inf
50.80/50.83 c 50.8s|360000 | 3226 |689736 | 1.9 |4135k| 28 | - | 94 |2093 | 94 | 11 | 26 | 70k|1757 | 0.000000e+00 | 3.000000e+00 | Inf
51.99/52.07 c 52.1s|370000 | 3566 |708712 | 1.9 |4498k| 28 | 4 | 94 |2517 | 94 | 11 | 26 | 72k|1791 | 0.000000e+00 | 3.000000e+00 | Inf
52.70/52.74 o 1
52.70/52.74 c *52.7s|375009 | 3205 |718635 | 1.9 |4239k| 28 | - | 94 |2397 | 94 | 11 | 26 | 73k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
53.60/53.65 c 53.6s|380000 | 3061 |726630 | 1.9 |4633k| 28 | - | 94 |4040 | 94 | 11 | 26 | 77k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
55.69/55.75 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
57.99/58.05 c 58.0s|400000 | 2924 |759022 | 1.9 |5843k| 28 | 4 | 94 |7543 | 94 | 11 | 26 | 91k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
60.59/60.66 c 60.7s|410000 | 3096 |775416 | 1.9 |6564k| 28 | - | 94 |8502 | 94 | 11 | 26 | 99k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
63.40/63.40 c 63.4s|420000 | 3121 |791770 | 1.9 |6993k| 28 | - | 94 |9410 | 94 | 11 | 26 | 106k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
66.29/66.38 c 66.4s|430000 | 2865 |808004 | 1.9 |6581k| 28 | 4 | 94 |9007 | 94 | 11 | 26 | 113k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
69.30/69.35 c 69.4s|440000 | 2778 |825081 | 1.9 |6721k| 28 | 4 | 94 |9032 | 94 | 11 | 26 | 121k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
71.89/71.94 c 71.9s|450000 | 4247 |844126 | 1.9 |8260k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 128k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
74.80/74.82 c 74.8s|460000 | 4432 |861133 | 1.9 |8858k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 135k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
77.70/77.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.70/77.70 c 77.7s|470000 | 4421 |877471 | 1.9 |9261k| 28 | - | 94 | 10k| 0 | 0 | 26 | 143k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
80.79/80.82 c 80.8s|480000 | 5060 |894824 | 1.9 | 10M| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 150k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
84.20/84.23 c 84.2s|490000 | 4780 |910981 | 1.9 | 10M| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 157k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
87.39/87.40 c 87.4s|500000 | 4635 |926798 | 1.9 | 10M| 28 | - | 94 | 11k| 94 | 11 | 26 | 164k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
90.50/90.56 c 90.6s|510000 | 5168 |943672 | 1.9 | 11M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 171k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
94.09/94.10 c 94.1s|520000 | 5626 |960380 | 1.8 | 12M| 28 | - | 94 | 14k| 0 | 0 | 26 | 179k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
98.00/98.06 c 98.1s|530000 | 4903 |975740 | 1.8 | 11M| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 187k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
101.39/101.42 c 101s|540000 | 4956 |991714 | 1.8 | 11M| 28 | - | 94 | 11k| 94 | 11 | 26 | 194k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
104.79/104.85 c 105s|550000 | 4834 | 1007k| 1.8 | 11M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 202k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
108.69/108.78 c 109s|560000 | 3860 | 1023k| 1.8 |9572k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 210k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
111.90/111.96 c 112s|570000 | 4382 | 1040k| 1.8 |9783k| 28 | - | 94 | 11k| 0 | 0 | 26 | 216k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
115.09/115.16 c 115s|580000 | 5485 | 1057k| 1.8 | 11M| 28 | - | 94 | 12k| 0 | 0 | 26 | 223k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
118.50/118.51 c 119s|590000 | 5897 | 1073k| 1.8 | 11M| 28 | - | 94 | 12k| 0 | 0 | 26 | 229k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
121.79/121.80 c 122s|600000 | 6859 | 1089k| 1.8 | 13M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 235k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
125.40/125.48 c 125s|610000 | 6575 | 1105k| 1.8 | 12M| 28 | - | 94 | 12k| 94 | 11 | 26 | 242k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
129.00/129.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.00/129.06 c 129s|620000 | 6158 | 1121k| 1.8 | 12M| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 249k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
132.40/132.46 c 132s|630000 | 6934 | 1137k| 1.8 | 13M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 255k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
135.90/135.97 c 136s|640000 | 6753 | 1153k| 1.8 | 14M| 28 | 4 | 94 | 14k| 94 | 11 | 26 | 262k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
139.90/139.98 c 140s|650000 | 6042 | 1168k| 1.8 | 13M| 28 | - | 94 | 13k| 0 | 0 | 26 | 268k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
143.50/143.54 c 144s|660000 | 6594 | 1184k| 1.8 | 14M| 28 | - | 94 | 14k| 94 | 11 | 26 | 275k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
147.30/147.40 c 147s|670000 | 6279 | 1200k| 1.8 | 14M| 28 | 4 | 94 | 15k| 94 | 11 | 26 | 281k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
151.70/151.71 c 152s|680000 | 5984 | 1216k| 1.8 | 13M| 28 | 4 | 94 | 14k| 94 | 11 | 26 | 288k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
155.50/155.54 c 156s|690000 | 6406 | 1232k| 1.8 | 15M| 28 | - | 94 | 16k| 0 | 0 | 26 | 295k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
159.60/159.66 c 160s|700000 | 6732 | 1248k| 1.8 | 15M| 28 | - | 94 | 17k| 0 | 0 | 26 | 301k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
163.99/164.04 c 164s|710000 | 6745 | 1264k| 1.8 | 16M| 28 | 4 | 94 | 18k| 94 | 11 | 26 | 308k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
168.49/168.59 c 169s|720000 | 7076 | 1281k| 1.8 | 17M| 28 | 4 | 94 | 19k| 94 | 11 | 26 | 315k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
173.20/173.25 c 173s|730000 | 6935 | 1297k| 1.8 | 17M| 28 | 4 | 94 | 18k| 94 | 11 | 26 | 322k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
178.10/178.13 c 178s|740000 | 6758 | 1313k| 1.8 | 16M| 28 | - | 94 | 18k| 0 | 0 | 26 | 329k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
182.80/182.80 c 183s|750000 | 6477 | 1329k| 1.8 | 16M| 28 | - | 94 | 19k| 0 | 0 | 26 | 336k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
187.49/187.56 c 188s|760000 | 6319 | 1345k| 1.8 | 16M| 28 | 4 | 94 | 19k| 94 | 11 | 26 | 343k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
192.10/192.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.10/192.12 c 192s|770000 | 6211 | 1361k| 1.8 | 16M| 28 | - | 94 | 20k| 94 | 11 | 26 | 350k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
197.20/197.24 c 197s|780000 | 5932 | 1376k| 1.8 | 16M| 28 | - | 94 | 20k| 94 | 11 | 26 | 357k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
202.31/202.40 c 202s|790000 | 5609 | 1391k| 1.8 | 15M| 28 | 4 | 94 | 17k| 94 | 11 | 26 | 364k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
207.60/207.63 c 208s|800000 | 4432 | 1405k| 1.8 | 13M| 28 | - | 94 | 14k| 94 | 11 | 26 | 371k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
212.10/212.20 c 212s|810000 | 3119 | 1420k| 1.8 |9617k| 28 | - | 94 | 12k| 0 | 0 | 26 | 379k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
215.69/215.71 c 216s|820000 | 3293 | 1436k| 1.8 | 10M| 28 | - | 94 | 14k| 0 | 0 | 26 | 386k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
219.40/219.49 c 219s|830000 | 3197 | 1452k| 1.7 | 10M| 28 | 4 | 94 | 15k| 94 | 11 | 26 | 393k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
223.50/223.50 c 224s|840000 | 3146 | 1468k| 1.7 | 11M| 28 | 4 | 94 | 16k| 94 | 11 | 26 | 400k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
227.70/227.72 c 228s|850000 | 3059 | 1483k| 1.7 | 11M| 28 | 5 | 94 | 18k| 94 | 11 | 26 | 407k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
232.40/232.47 c 232s|860000 | 3106 | 1498k| 1.7 | 12M| 28 | 4 | 94 | 20k| 94 | 11 | 26 | 413k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
237.20/237.25 c 237s|870000 | 2871 | 1514k| 1.7 |9799k| 28 | - | 94 | 13k| 94 | 11 | 26 | 420k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
240.70/240.73 c 241s|880000 | 2666 | 1529k| 1.7 |8437k| 28 | - | 94 |9422 | 0 | 0 | 26 | 427k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
243.80/243.80 c 244s|890000 | 2499 | 1545k| 1.7 |8000k| 28 | 4 | 94 |8307 | 94 | 11 | 26 | 434k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
246.50/246.56 c 247s|900000 | 2897 | 1561k| 1.7 |8700k| 28 | - | 94 |9013 | 94 | 11 | 26 | 441k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
249.60/249.66 c 250s|910000 | 3149 | 1577k| 1.7 |9823k| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 447k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
252.90/252.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.90/252.90 c 253s|920000 | 3024 | 1592k| 1.7 |9978k| 28 | - | 94 | 11k| 0 | 0 | 26 | 453k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
256.40/256.43 c 256s|930000 | 2690 | 1609k| 1.7 |9115k| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 460k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
260.00/260.08 c 260s|940000 | 2450 | 1624k| 1.7 |8824k| 28 | - | 94 | 10k| 0 | 0 | 26 | 468k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
263.20/263.24 c 263s|950000 | 2343 | 1641k| 1.7 |8257k| 28 | 4 | 94 |9184 | 94 | 11 | 26 | 475k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
266.30/266.37 c 266s|960000 | 2318 | 1656k| 1.7 |7648k| 28 | 4 | 94 |7398 | 94 | 11 | 26 | 482k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
268.90/268.98 c 269s|970000 | 2448 | 1672k| 1.7 |7914k| 28 | 4 | 94 |7561 | 94 | 11 | 26 | 489k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
271.80/271.85 c 272s|980000 | 2214 | 1688k| 1.7 |8191k| 28 | - | 94 |9240 | 0 | 0 | 26 | 496k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
274.90/274.93 c 275s|990000 | 2420 | 1703k| 1.7 |9116k| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 503k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
278.10/278.19 c 278s| 1000k| 3309 | 1719k| 1.7 | 10M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 509k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
281.90/281.94 c 282s| 1010k| 2927 | 1734k| 1.7 | 10M| 28 | - | 94 | 12k| 94 | 11 | 26 | 516k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
285.40/285.47 c 285s| 1020k| 2663 | 1749k| 1.7 | 10M| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 522k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
289.10/289.12 c 289s| 1030k| 2235 | 1765k| 1.7 |9054k| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 530k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
292.30/292.30 c 292s| 1040k| 2403 | 1781k| 1.7 |8559k| 28 | - | 94 |9381 | 0 | 0 | 26 | 537k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
295.50/295.57 c 296s| 1050k| 2056 | 1797k| 1.7 |8029k| 28 | 4 | 94 |8601 | 94 | 11 | 26 | 545k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
298.30/298.31 c 298s| 1060k| 2065 | 1813k| 1.7 |8162k| 28 | - | 94 |8761 | 94 | 11 | 26 | 552k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
301.31/301.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
301.31/301.39 c 301s| 1070k| 1934 | 1829k| 1.7 |7968k| 28 | 4 | 94 |8482 | 94 | 11 | 26 | 559k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
304.20/304.21 c 304s| 1080k| 1832 | 1845k| 1.7 |7618k| 28 | - | 94 |7482 | 0 | 0 | 26 | 566k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
306.90/306.96 c 307s| 1090k| 2090 | 1861k| 1.7 |8630k| 28 | - | 94 |9488 | 0 | 0 | 26 | 573k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
309.90/309.91 c 310s| 1100k| 1743 | 1877k| 1.7 |7517k| 28 | 4 | 94 |7233 | 94 | 11 | 26 | 580k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
312.50/312.53 c 313s| 1110k| 1773 | 1892k| 1.7 |7273k| 28 | 4 | 94 |6396 | 94 | 11 | 26 | 587k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
315.30/315.36 c 315s| 1120k| 1496 | 1909k| 1.7 |6785k| 28 | 4 | 94 |5338 | 94 | 11 | 26 | 595k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
317.81/317.84 c 318s| 1130k| 1934 | 1925k| 1.7 |7940k| 28 | - | 94 |7318 | 94 | 11 | 26 | 601k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
320.60/320.66 c 321s| 1140k| 1441 | 1941k| 1.7 |7390k| 28 | - | 94 |7278 | 94 | 11 | 26 | 608k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
323.31/323.32 c 323s| 1150k| 1826 | 1957k| 1.7 |8395k| 28 | 4 | 94 |9116 | 94 | 11 | 26 | 614k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
326.30/326.36 c 326s| 1160k| 2255 | 1974k| 1.7 |9440k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 621k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
329.80/329.81 c 330s| 1170k| 1921 | 1990k| 1.7 |9341k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 627k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
333.20/333.26 c 333s| 1180k| 1328 | 2005k| 1.7 |7828k| 28 | 4 | 94 |8825 | 94 | 11 | 26 | 635k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
336.10/336.17 c 336s| 1190k| 1356 | 2022k| 1.7 |7469k| 28 | 4 | 94 |7657 | 94 | 11 | 26 | 642k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
338.90/338.91 c 339s| 1200k| 1378 | 2037k| 1.7 |8194k| 28 | - | 94 |9325 | 94 | 11 | 26 | 648k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
341.80/341.81 c 342s| 1210k| 1418 | 2053k| 1.7 |7794k| 28 | 4 | 94 |8417 | 94 | 11 | 26 | 655k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
344.80/344.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.80/344.86 c 345s| 1220k| 1155 | 2068k| 1.7 |7884k| 28 | 4 | 94 |9095 | 94 | 11 | 26 | 662k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
347.80/347.89 c 348s| 1230k| 1633 | 2085k| 1.7 |8362k| 28 | 4 | 94 |9409 | 94 | 11 | 26 | 668k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
350.81/350.88 c 351s| 1240k| 1689 | 2101k| 1.7 |8695k| 28 | - | 94 |9627 | 94 | 11 | 26 | 675k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
354.00/354.10 c 354s| 1250k| 1689 | 2117k| 1.7 |9229k| 28 | - | 94 | 10k| 0 | 0 | 26 | 681k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
357.40/357.44 c 357s| 1260k| 1319 | 2133k| 1.7 |8259k| 28 | 4 | 94 |9873 | 94 | 11 | 26 | 689k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
360.71/360.70 c 361s| 1270k| 1044 | 2150k| 1.7 |7678k| 28 | - | 94 |8689 | 94 | 11 | 26 | 696k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
363.71/363.70 c 364s| 1280k| 1046 | 2165k| 1.7 |7911k| 28 | - | 94 |9166 | 0 | 0 | 26 | 703k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
366.70/366.77 c 367s| 1290k| 912 | 2181k| 1.7 |7159k| 28 | 4 | 94 |7345 | 94 | 11 | 26 | 711k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
369.30/369.36 c 369s| 1300k| 901 | 2197k| 1.7 |7114k| 28 | - | 94 |7203 | 0 | 0 | 26 | 718k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
372.20/372.23 c 372s| 1310k| 859 | 2214k| 1.7 |7506k| 28 | - | 94 |8555 | 94 | 11 | 26 | 725k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
375.20/375.23 c 375s| 1320k| 1319 | 2230k| 1.7 |8416k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 732k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
378.50/378.50 c 379s| 1330k| 1123 | 2246k| 1.7 |8732k| 28 | - | 94 | 10k| 94 | 11 | 26 | 739k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
381.71/381.76 c 382s| 1340k| 1657 | 2262k| 1.7 |9810k| 28 | - | 94 | 12k| 0 | 0 | 26 | 746k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
385.50/385.56 c 386s| 1350k| 759 | 2276k| 1.7 |7652k| 28 | - | 94 |9085 | 94 | 11 | 26 | 753k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
388.31/388.39 c 388s| 1360k| 723 | 2292k| 1.7 |7913k| 28 | 4 | 94 |9870 | 94 | 11 | 26 | 760k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
391.20/391.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.20/391.28 c 391s| 1370k| 919 | 2308k| 1.7 |8248k| 28 | - | 94 | 10k| 94 | 11 | 26 | 767k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
394.41/394.48 c 394s| 1380k| 884 | 2325k| 1.7 |8816k| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 774k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
398.00/398.02 c 398s| 1390k| 1103 | 2341k| 1.7 |9711k| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 780k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
401.80/401.83 c 402s| 1400k| 1354 | 2357k| 1.7 | 10M| 28 | - | 94 | 13k| 94 | 11 | 26 | 786k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
405.91/405.90 c 406s| 1410k| 1400 | 2374k| 1.7 | 11M| 28 | 4 | 94 | 16k| 94 | 11 | 26 | 793k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
410.90/410.90 c 411s| 1420k| 1053 | 2389k| 1.7 | 10M| 28 | - | 94 | 15k| 94 | 11 | 26 | 800k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
415.30/415.31 c 415s| 1430k| 684 | 2405k| 1.7 |9183k| 28 | - | 94 | 13k| 0 | 0 | 26 | 807k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
418.81/418.81 c 419s| 1440k| 1838 | 2423k| 1.7 | 10M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 814k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
422.50/422.54 c 423s| 1450k| 1946 | 2439k| 1.7 | 10M| 28 | - | 94 | 13k| 94 | 11 | 26 | 821k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
426.11/426.20 c 426s| 1460k| 2538 | 2455k| 1.7 | 11M| 28 | 4 | 94 | 15k| 94 | 11 | 26 | 828k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
430.91/430.91 c 431s| 1470k| 1309 | 2470k| 1.7 | 10M| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 836k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
434.70/434.73 c 435s| 1480k| 799 | 2486k| 1.7 |8418k| 28 | 4 | 94 | 10k| 94 | 11 | 26 | 843k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
437.91/437.90 c 438s| 1490k| 1135 | 2502k| 1.7 |9255k| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 850k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
441.60/441.63 c 442s| 1500k| 443 | 2517k| 1.7 |7875k| 28 | 4 | 94 |9991 | 94 | 11 | 26 | 858k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
444.71/444.77 c 445s| 1510k| 501 | 2533k| 1.7 |8206k| 28 | - | 94 | 10k| 0 | 0 | 26 | 865k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
448.00/448.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
448.00/448.08 c 448s| 1520k| 345 | 2549k| 1.7 |8099k| 28 | - | 94 | 10k| 94 | 11 | 26 | 872k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
451.20/451.22 c 451s| 1530k| 368 | 2566k| 1.7 |7216k| 28 | 4 | 94 |8233 | 94 | 11 | 26 | 879k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
454.11/454.18 c 454s| 1540k| 253 | 2582k| 1.7 |7595k| 28 | 4 | 94 |9541 | 94 | 11 | 26 | 886k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
457.30/457.34 c 457s| 1550k| 125 | 2598k| 1.7 |7470k| 28 | - | 94 |9518 | 94 | 11 | 26 | 893k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
460.40/460.41 c 460s| 1560k| 494 | 2614k| 1.7 |8613k| 28 | 4 | 94 | 11k| 94 | 11 | 26 | 900k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
463.91/463.94 c 464s| 1570k| 462 | 2630k| 1.7 |8176k| 28 | - | 94 | 10k| 0 | 0 | 26 | 908k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
467.51/467.51 c 468s| 1580k| 771 | 2647k| 1.7 |8552k| 28 | - | 94 | 11k| 94 | 11 | 26 | 915k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
470.90/470.97 c 471s| 1590k| 873 | 2662k| 1.7 |9289k| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 922k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
474.50/474.59 c 475s| 1600k| 1602 | 2679k| 1.7 | 10M| 28 | - | 94 | 13k| 94 | 11 | 26 | 928k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
479.11/479.17 c 479s| 1610k| 671 | 2694k| 1.7 |9464k| 28 | 4 | 94 | 12k| 94 | 11 | 26 | 936k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
483.00/483.09 c 483s| 1620k| 157 | 2710k| 1.7 |8299k| 28 | - | 94 | 11k| 0 | 0 | 26 | 943k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
486.51/486.55 c 487s| 1630k| 268 | 2726k| 1.7 |9073k| 28 | 4 | 94 | 13k| 94 | 11 | 26 | 951k|1808 | 0.000000e+00 | 1.000000e+00 | Inf
489.41/489.45 c
489.41/489.45 c SCIP Status : problem is solved [optimal solution found]
489.41/489.45 c Solving Time (sec) : 489.45
489.41/489.45 c Solving Nodes : 1637434
489.41/489.45 c Primal Bound : +1.00000000000000e+00 (54 solutions)
489.41/489.45 c Dual Bound : +1.00000000000000e+00
489.41/489.45 c Gap : 0.00 %
489.41/489.45 s OPTIMUM FOUND
489.41/489.45 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
489.41/489.45 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
489.41/489.45 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
489.41/489.45 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
489.41/489.45 c SCIP Status : problem is solved [optimal solution found]
489.41/489.45 c Total Time : 489.45
489.41/489.45 c solving : 489.45
489.41/489.45 c presolving : 0.00 (included in solving)
489.41/489.45 c reading : 0.00 (included in solving)
489.41/489.45 c Original Problem :
489.41/489.45 c Problem name : HOME/instance-3489010-1307773968.opb
489.41/489.45 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
489.41/489.45 c Constraints : 8 initial, 8 maximal
489.41/489.45 c Presolved Problem :
489.41/489.45 c Problem name : t_HOME/instance-3489010-1307773968.opb
489.41/489.45 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
489.41/489.45 c Constraints : 4 initial, 21557 maximal
489.41/489.45 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
489.41/489.45 c trivial : 0.00 0 0 0 0 0 0 0 0 0
489.41/489.45 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
489.41/489.45 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
489.41/489.45 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
489.41/489.45 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
489.41/489.45 c implics : 0.00 0 0 0 0 0 0 0 0 0
489.41/489.45 c probing : 0.00 0 0 0 0 0 0 0 0 0
489.41/489.45 c linear : 0.00 0 0 0 0 0 4 0 0 0
489.41/489.45 c logicor : 0.00 0 0 0 0 0 0 0 0 0
489.41/489.45 c root node : - 66 - - 66 - - - - -
489.41/489.45 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
489.41/489.45 c integral : 0 0 0 920310 0 35 0 77 705 0 0 1839022
489.41/489.45 c linear : 4+ 7 3680502 1 0 32 3148531 564800 3002294 0 0 0
489.41/489.45 c logicor : 0+ 0 2018371 0 0 0 1453065 23091 787066 0 0 0
489.41/489.45 c countsols : 0 0 0 25 0 31 0 0 0 0 0 0
489.41/489.45 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
489.41/489.45 c integral : 4.81 0.00 0.00 4.81 0.00 0.00 0.00
489.41/489.45 c linear : 48.12 0.00 42.47 0.00 0.00 0.00 5.66
489.41/489.45 c logicor : 133.96 0.00 132.61 0.00 0.00 0.00 1.35
489.41/489.45 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
489.41/489.45 c Propagators : #Propagate #Resprop Cutoffs DomReds
489.41/489.45 c vbounds : 0 0 0 0
489.41/489.45 c rootredcost : 50 0 0 56
489.41/489.45 c pseudoobj : 3682945 1602 2596 32147
489.41/489.45 c Propagator Timings : TotalTime Propagate Resprop
489.41/489.45 c vbounds : 0.58 0.58 0.00
489.41/489.45 c rootredcost : 0.61 0.61 0.00
489.41/489.45 c pseudoobj : 5.93 5.93 0.00
489.41/489.45 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
489.41/489.45 c propagation : 10.59 590487 416060 906353 21.0 171 19.7 -
489.41/489.45 c infeasible LP : 6.11 292374 292371 474470 13.9 2541 18.3 0
489.41/489.45 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
489.41/489.45 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
489.41/489.45 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
489.41/489.45 c applied globally : - - - 956663 17.3 - - -
489.41/489.45 c applied locally : - - - 55 33.2 - - -
489.41/489.45 c Separators : Time Calls Cutoffs DomReds Cuts Conss
489.41/489.45 c cut pool : 0.00 5 - - 17 - (maximal pool size: 100)
489.41/489.45 c redcost : 2.22 936943 0 242370 0 0
489.41/489.45 c impliedbounds : 0.00 6 0 0 0 0
489.41/489.45 c intobj : 0.00 0 0 0 0 0
489.41/489.45 c gomory : 0.00 6 0 0 0 0
489.41/489.45 c cgmip : 0.00 0 0 0 0 0
489.41/489.45 c closecuts : 0.00 0 0 0 0 0
489.41/489.45 c strongcg : 0.00 6 0 0 25 0
489.41/489.45 c cmir : 0.01 6 0 0 39 0
489.41/489.45 c flowcover : 0.01 6 0 0 54 0
489.41/489.45 c clique : 0.00 1 0 0 0 0
489.41/489.45 c zerohalf : 0.00 0 0 0 0 0
489.41/489.45 c mcf : 0.00 1 0 0 0 0
489.41/489.45 c oddcycle : 0.00 0 0 0 0 0
489.41/489.45 c rapidlearning : 0.01 1 0 0 0 9
489.41/489.45 c Pricers : Time Calls Vars
489.41/489.45 c problem variables: 0.00 0 0
489.41/489.45 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
489.41/489.45 c relpscost : 4.34 920285 77 705 0 0 1839022
489.41/489.45 c pscost : 0.00 0 0 0 0 0 0
489.41/489.45 c inference : 0.00 0 0 0 0 0 0
489.41/489.45 c mostinf : 0.00 0 0 0 0 0 0
489.41/489.45 c leastinf : 0.00 0 0 0 0 0 0
489.41/489.45 c fullstrong : 0.00 0 0 0 0 0 0
489.41/489.45 c allfullstrong : 0.00 0 0 0 0 0 0
489.41/489.45 c random : 0.00 0 0 0 0 0 0
489.41/489.45 c Primal Heuristics : Time Calls Found
489.41/489.45 c LP solutions : 0.00 - 25
489.41/489.45 c pseudo solutions : 0.00 - 0
489.41/489.45 c feaspump : 0.06 1 0
489.41/489.45 c oneopt : 0.34 46 0
489.41/489.45 c rootsoldiving : 1.03 1484 0
489.41/489.45 c objpscostdiving : 0.69 1967 2
489.41/489.45 c veclendiving : 3.47 6083 5
489.41/489.45 c linesearchdiving : 3.07 6083 6
489.41/489.45 c guideddiving : 2.94 6083 3
489.41/489.45 c fracdiving : 2.83 6083 3
489.41/489.45 c coefdiving : 2.78 6084 4
489.41/489.45 c pscostdiving : 2.78 6084 3
489.41/489.45 c trivial : 0.00 2 0
489.41/489.45 c shiftandpropagate: 0.00 1 1
489.41/489.45 c simplerounding : 0.18 0 0
489.41/489.45 c zirounding : 1.96 0 0
489.41/489.45 c rounding : 0.37 13645 0
489.41/489.45 c shifting : 1.71 7850 1
489.41/489.45 c intshifting : 0.04 0 0
489.41/489.45 c twoopt : 0.00 0 0
489.41/489.45 c fixandinfer : 0.00 0 0
489.41/489.45 c clique : 0.00 0 0
489.41/489.45 c intdiving : 0.00 0 0
489.41/489.45 c actconsdiving : 0.00 0 0
489.41/489.45 c octane : 0.00 0 0
489.41/489.45 c rens : 0.01 1 0
489.41/489.45 c rins : 0.00 0 0
489.41/489.45 c localbranching : 0.00 0 0
489.41/489.45 c mutation : 0.00 0 0
489.41/489.45 c crossover : 0.01 0 0
489.41/489.45 c dins : 0.00 0 0
489.41/489.45 c vbounds : 0.00 0 0
489.41/489.45 c undercover : 0.00 0 0
489.41/489.45 c subnlp : 0.24 0 0
489.41/489.45 c trysol : 0.31 0 0
489.41/489.45 c LP : Time Calls Iterations Iter/call Iter/sec
489.41/489.45 c primal LP : 0.00 0 0 0.00 -
489.41/489.45 c dual LP : 55.39 1270441 2567792 2.02 46362.46
489.41/489.45 c lex dual LP : 0.00 0 0 0.00 -
489.41/489.45 c barrier LP : 0.00 0 0 0.00 -
489.41/489.45 c diving/probing LP: 4.33 94851 170158 1.79 39301.29
489.41/489.45 c strong branching : 0.14 1808 6291 3.48 44734.41
489.41/489.45 c (at root node) : - 9 214 23.78 -
489.41/489.45 c conflict analysis: 0.00 0 0 0.00 -
489.41/489.45 c B&B Tree :
489.41/489.45 c number of runs : 1
489.41/489.45 c nodes : 1637434
489.41/489.45 c nodes (total) : 1637434
489.41/489.45 c nodes left : 0
489.41/489.45 c max depth : 28
489.41/489.45 c max depth (total): 28
489.41/489.45 c backtracks : 552846 (33.8%)
489.41/489.45 c delayed cutoffs : 201060
489.41/489.45 c repropagations : 969929 (1511349 domain reductions, 175896 cutoffs)
489.41/489.45 c avg switch length: 5.11
489.41/489.45 c switching time : 128.32
489.41/489.45 c Solution :
489.41/489.45 c Solutions found : 54 (51 improvements)
489.41/489.45 c First Solution : +1.07500000000000e+03 (in run 1, after 1 nodes, 0.01 seconds, depth 36, found by <shiftandpropagate>)
489.41/489.45 c Primal Bound : +1.00000000000000e+00 (in run 1, after 375009 nodes, 52.74 seconds, depth 21, found by <relaxation>)
489.41/489.45 c Dual Bound : +1.00000000000000e+00
489.41/489.45 c Gap : 0.00 %
489.41/489.45 c Root Dual Bound : +0.00000000000000e+00
489.41/489.45 c Root Iterations : 90
489.41/489.46 c Time complete: 489.48.
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-3489010-1307773968/watcher-3489010-1307773968 -o /tmp/evaluation-result-3489010-1307773968/solver-3489010-1307773968 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489010-1307773968.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 1.99 1.98 2/177 8143
/proc/meminfo: memFree=31614028/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=12700 CPUtime=0 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 2152 0 0 0 0 0 0 0 25 0 1 0 967627471 13004800 2107 33554432000 4194304 9016284 140733891627392 18446744073709551615 4329888 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8143/statm: 3175 2108 360 1178 0 1993 0
[startup+0.0706501 s]
/proc/loadavg: 1.93 1.99 1.98 2/177 8143
/proc/meminfo: memFree=31614028/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=26560 CPUtime=0.06 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 7110 0 0 0 5 1 0 0 25 0 1 0 967627471 27197440 5615 33554432000 4194304 9016284 140733891627392 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 6640 5615 683 1178 0 5458 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26560
[startup+0.100642 s]
/proc/loadavg: 1.93 1.99 1.98 2/177 8143
/proc/meminfo: memFree=31614028/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=26560 CPUtime=0.09 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 7111 0 0 0 7 2 0 0 25 0 1 0 967627471 27197440 5616 33554432000 4194304 9016284 140733891627392 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 6640 5616 684 1178 0 5458 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26560
[startup+0.300607 s]
/proc/loadavg: 1.93 1.99 1.98 2/177 8143
/proc/meminfo: memFree=31614028/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=26560 CPUtime=0.29 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 7113 0 0 0 24 5 0 0 25 0 1 0 967627471 27197440 5618 33554432000 4194304 9016284 140733891627392 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 6640 5618 685 1178 0 5458 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26560
[startup+0.700532 s]
/proc/loadavg: 1.93 1.99 1.98 2/177 8143
/proc/meminfo: memFree=31614028/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=26560 CPUtime=0.69 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 7117 0 0 0 58 11 0 0 25 0 1 0 967627471 27197440 5622 33554432000 4194304 9016284 140733891627392 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 6640 5622 685 1178 0 5458 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26560
[startup+1.50039 s]
/proc/loadavg: 1.93 1.99 1.98 3/178 8144
/proc/meminfo: memFree=31593708/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=26560 CPUtime=1.49 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 7124 0 0 0 127 22 0 0 25 0 1 0 967627471 27197440 5629 33554432000 4194304 9016284 140733891627392 18446744073709551615 4347632 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 6640 5629 685 1178 0 5458 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26560
[startup+3.10015 s]
/proc/loadavg: 1.93 1.99 1.98 3/178 8144
/proc/meminfo: memFree=31593512/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=26560 CPUtime=3.09 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 7129 0 0 0 273 36 0 0 25 0 1 0 967627471 27197440 5634 33554432000 4194304 9016284 140733891627392 18446744073709551615 6404138 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 6640 5634 685 1178 0 5458 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26560
[startup+6.30051 s]
/proc/loadavg: 1.93 1.99 1.98 3/178 8144
/proc/meminfo: memFree=31592648/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=26560 CPUtime=6.29 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 7129 0 0 0 571 58 0 0 25 0 1 0 967627471 27197440 5634 33554432000 4194304 9016284 140733891627392 18446744073709551615 4347597 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 6640 5634 685 1178 0 5458 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26560
[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.98 3/178 8144
/proc/meminfo: memFree=31592716/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=26560 CPUtime=12.69 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 7129 0 0 0 1154 115 0 0 25 0 1 0 967627471 27197440 5634 33554432000 4194304 9016284 140733891627392 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 6640 5634 685 1178 0 5458 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26560
[startup+25.501 s]
/proc/loadavg: 1.95 1.99 1.98 3/178 8145
/proc/meminfo: memFree=31591828/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=27896 CPUtime=25.49 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 7360 0 0 0 2317 232 0 0 25 0 1 0 967627471 28565504 5865 33554432000 4194304 9016284 140733891627392 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 6974 5865 685 1178 0 5792 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27896
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.98 3/178 8145
/proc/meminfo: memFree=31589776/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=27896 CPUtime=51.1 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 7360 0 0 0 4643 467 0 0 25 0 1 0 967627471 28565504 5865 33554432000 4194304 9016284 140733891627392 18446744073709551615 6776667 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 6974 5865 685 1178 0 5792 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 27896
[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.98 3/178 8147
/proc/meminfo: memFree=31576528/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=36896 CPUtime=102.3 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 9416 0 0 0 9532 698 0 0 25 0 1 0 967627471 37781504 7921 33554432000 4194304 9016284 140733891627392 18446744073709551615 5326048 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 9224 7921 685 1178 0 8042 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 36896
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8148
/proc/meminfo: memFree=31569524/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=40284 CPUtime=162.29 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 10221 0 0 0 15333 896 0 0 25 0 1 0 967627471 41250816 8726 33554432000 4194304 9016284 140733891627392 18446744073709551615 5327366 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 10071 8726 685 1178 0 8889 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 40284
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8150
/proc/meminfo: memFree=31565244/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=44252 CPUtime=222.3 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 11248 0 0 0 21176 1054 0 0 25 0 1 0 967627471 45314048 9753 33554432000 4194304 9016284 140733891627392 18446744073709551615 6442004 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 11063 9753 685 1178 0 9881 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 44252
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8152
/proc/meminfo: memFree=31564436/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=44720 CPUtime=282.3 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 11384 0 0 0 26966 1264 0 0 25 0 1 0 967627471 45793280 9889 33554432000 4194304 9016284 140733891627392 18446744073709551615 6469467 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 11180 9889 685 1178 0 9998 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 44720
[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8153
/proc/meminfo: memFree=31564252/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=44720 CPUtime=342.3 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 11384 0 0 0 32719 1511 0 0 25 0 1 0 967627471 45793280 9889 33554432000 4194304 9016284 140733891627392 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 11180 9889 685 1178 0 9998 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 44720
[startup+402.301 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8158
/proc/meminfo: memFree=31563676/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=44720 CPUtime=402.3 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 11384 0 0 0 38484 1746 0 0 25 0 1 0 967627471 45793280 9889 33554432000 4194304 9016284 140733891627392 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 11180 9889 685 1178 0 9998 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 44720
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8159
/proc/meminfo: memFree=31563660/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=44720 CPUtime=462.3 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 11387 0 0 0 44288 1942 0 0 25 0 1 0 967627471 45793280 9892 33554432000 4194304 9016284 140733891627392 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 11180 9892 685 1178 0 9998 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 44720
Solver just ended. Dumping a history of the last processes samples
[startup+473.501 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8160
/proc/meminfo: memFree=31563772/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=44720 CPUtime=473.51 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 11387 0 0 0 45369 1982 0 0 25 0 1 0 967627471 45793280 9892 33554432000 4194304 9016284 140733891627392 18446744073709551615 5325493 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 11180 9892 685 1178 0 9998 0
Current children cumulated CPU time (s) 473.51
Current children cumulated vsize (KiB) 44720
[startup+479.901 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8160
/proc/meminfo: memFree=31563760/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=44720 CPUtime=479.91 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 11387 0 0 0 45995 1996 0 0 25 0 1 0 967627471 45793280 9892 33554432000 4194304 9016284 140733891627392 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 11180 9892 685 1178 0 9998 0
Current children cumulated CPU time (s) 479.91
Current children cumulated vsize (KiB) 44720
[startup+486.301 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8160
/proc/meminfo: memFree=31563508/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=44932 CPUtime=486.31 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 11417 0 0 0 46612 2019 0 0 25 0 1 0 967627471 46010368 9922 33554432000 4194304 9016284 140733891627392 18446744073709551615 4318865 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 11233 9922 685 1178 0 10051 0
Current children cumulated CPU time (s) 486.31
Current children cumulated vsize (KiB) 44932
[startup+487.9 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8160
/proc/meminfo: memFree=31563508/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=44932 CPUtime=487.91 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 11417 0 0 0 46768 2023 0 0 25 0 1 0 967627471 46010368 9922 33554432000 4194304 9016284 140733891627392 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 11233 9922 685 1178 0 10051 0
Current children cumulated CPU time (s) 487.91
Current children cumulated vsize (KiB) 44932
[startup+488.7 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8160
/proc/meminfo: memFree=31563628/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=44932 CPUtime=488.7 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 11417 0 0 0 46845 2025 0 0 25 0 1 0 967627471 46010368 9922 33554432000 4194304 9016284 140733891627392 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 11233 9922 685 1178 0 10051 0
Current children cumulated CPU time (s) 488.7
Current children cumulated vsize (KiB) 44932
[startup+489.1 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8160
/proc/meminfo: memFree=31563628/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=44932 CPUtime=489.1 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 11417 0 0 0 46884 2026 0 0 25 0 1 0 967627471 46010368 9922 33554432000 4194304 9016284 140733891627392 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 11233 9922 685 1178 0 10051 0
Current children cumulated CPU time (s) 489.1
Current children cumulated vsize (KiB) 44932
[startup+489.3 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8160
/proc/meminfo: memFree=31563628/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=44932 CPUtime=489.31 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 11417 0 0 0 46904 2027 0 0 25 0 1 0 967627471 46010368 9922 33554432000 4194304 9016284 140733891627392 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 11233 9922 685 1178 0 10051 0
Current children cumulated CPU time (s) 489.31
Current children cumulated vsize (KiB) 44932
[startup+489.401 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8160
/proc/meminfo: memFree=31563628/32950928 swapFree=67051812/67111528
[pid=8143] ppid=8141 vsize=44932 CPUtime=489.41 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.0.1.4b_2) R 8141 8143 3085 0 -1 4202496 11417 0 0 0 46914 2027 0 0 25 0 1 0 967627471 46010368 9922 33554432000 4194304 9016284 140733891627392 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8143/statm: 11233 9922 685 1178 0 10051 0
Current children cumulated CPU time (s) 489.41
Current children cumulated vsize (KiB) 44932
Child status: 0
Real time (s): 489.47
CPU time (s): 489.485
CPU user time (s): 469.201
CPU system time (s): 20.2839
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 44932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 469.201
system time used= 20.2839
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11424
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= 813
runsolver used 0.6519 second user time and 1.61475 second system time
The end