0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4459816-1721939463.opb>
0.00/0.02 c original problem has 6828 variables (500 bin, 0 int, 6328 impl, 0 cont) and 7328 constraints
0.00/0.02 c problem read in 0.02
0.00/0.04 c presolving:
0.00/0.05 c (round 1, medium) 0 del vars, 7328 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.06 c (round 2, fast) 6328 del vars, 7328 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.06 c (round 3, exhaustive) 6328 del vars, 7328 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 0 impls, 0 clqs
0.00/0.07 c (0.1s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.07 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.07 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.07 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.00/0.07 c 6328 deleted vars, 7328 deleted constraints, 500 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.07 c 0 implications, 0 cliques
0.00/0.07 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.00/0.07 c 500 constraints of type <logicor>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.03
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 10.0.0
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.07 c limits/time = 3596.997044
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.07 c limits/memory = 27900
0.00/0.07 c
0.00/0.07 c # belongs reading time to solving time?
0.00/0.07 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c timing/reading = TRUE
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.00/0.07 o 500
0.00/0.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.07 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 | 500 | 500 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.000000e+02 | Inf | unknown
0.00/0.07 o 58
0.00/0.07 c p 0.1s| 1 | 0 | 0 | - | locks| 0 | 500 | 500 | 500 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.800000e+01 | Inf | unknown
0.99/1.07 c 1.1s| 1 | 0 | 10408 | - | 32M | 0 | 500 | 500 | 500 | 0 | 0 | 0 | 0 | 3.683682e+01 | 5.800000e+01 | 57.45%| unknown
1.19/1.27 c 1.3s| 1 | 0 | 10658 | - | 49M | 0 | 500 | 500 | 501 | 1 | 1 | 0 | 0 | 3.686298e+01 | 5.800000e+01 | 57.34%| unknown
1.39/1.43 c 1.4s| 1 | 0 | 10929 | - | 60M | 0 | 500 | 500 | 502 | 2 | 2 | 0 | 0 | 3.690317e+01 | 5.800000e+01 | 57.17%| unknown
1.59/1.60 c 1.6s| 1 | 0 | 11206 | - | 71M | 0 | 500 | 500 | 503 | 3 | 3 | 0 | 0 | 3.692406e+01 | 5.800000e+01 | 57.08%| unknown
1.68/1.76 c 1.8s| 1 | 0 | 11352 | - | 82M | 0 | 500 | 500 | 504 | 4 | 4 | 0 | 0 | 3.693016e+01 | 5.800000e+01 | 57.05%| unknown
1.88/1.92 c 1.9s| 1 | 0 | 11525 | - | 91M | 0 | 500 | 500 | 505 | 5 | 5 | 0 | 0 | 3.693445e+01 | 5.800000e+01 | 57.03%| unknown
1.98/2.08 c 2.1s| 1 | 0 | 11676 | - | 104M | 0 | 500 | 500 | 506 | 6 | 6 | 0 | 0 | 3.693887e+01 | 5.800000e+01 | 57.02%| unknown
2.18/2.24 c 2.2s| 1 | 0 | 11760 | - | 118M | 0 | 500 | 500 | 507 | 7 | 7 | 0 | 0 | 3.694036e+01 | 5.800000e+01 | 57.01%| unknown
2.38/2.41 c 2.4s| 1 | 0 | 11946 | - | 121M | 0 | 500 | 500 | 508 | 8 | 8 | 0 | 0 | 3.694334e+01 | 5.800000e+01 | 57.00%| unknown
2.49/2.59 c 2.6s| 1 | 0 | 12068 | - | 139M | 0 | 500 | 500 | 509 | 9 | 9 | 0 | 0 | 3.694457e+01 | 5.800000e+01 | 56.99%| unknown
2.69/2.78 c 2.8s| 1 | 0 | 12227 | - | 141M | 0 | 500 | 500 | 510 | 10 | 10 | 0 | 0 | 3.694531e+01 | 5.800000e+01 | 56.99%| unknown
2.79/2.89 c 2.9s| 1 | 0 | 12319 | - | 141M | 0 | 500 | 500 | 511 | 11 | 11 | 0 | 0 | 3.694579e+01 | 5.800000e+01 | 56.99%| unknown
2.89/3.00 c 3.0s| 1 | 0 | 12386 | - | 141M | 0 | 500 | 500 | 512 | 12 | 12 | 0 | 0 | 3.694651e+01 | 5.800000e+01 | 56.98%| unknown
3.09/3.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.09/3.12 c 3.1s| 1 | 0 | 12475 | - | 141M | 0 | 500 | 500 | 513 | 13 | 13 | 0 | 0 | 3.694751e+01 | 5.800000e+01 | 56.98%| unknown
3.18/3.24 c 3.2s| 1 | 0 | 12525 | - | 141M | 0 | 500 | 500 | 514 | 14 | 14 | 0 | 0 | 3.694793e+01 | 5.800000e+01 | 56.98%| unknown
3.28/3.36 c 3.4s| 1 | 0 | 12585 | - | 141M | 0 | 500 | 500 | 515 | 15 | 15 | 0 | 0 | 3.694845e+01 | 5.800000e+01 | 56.98%| unknown
3.38/3.49 c 3.5s| 1 | 0 | 12606 | - | 141M | 0 | 500 | 500 | 516 | 16 | 16 | 0 | 0 | 3.694856e+01 | 5.800000e+01 | 56.98%| unknown
9.97/10.09 c 10.1s| 1 | 2 | 12606 | - | 141M | 0 | 500 | 500 | 516 | 16 | 16 | 0 | 30 | 3.702098e+01 | 5.800000e+01 | 56.67%| unknown
54.77/54.93 c 54.9s| 100 | 101 |145017 |1337.5 | 224M | 15 | 500 | 502 | 514 | 52 | 1 | 4 | 218 | 3.702098e+01 | 5.800000e+01 | 56.67%| unknown
109.14/109.48 c 109s| 200 | 201 |588611 |2894.5 | 291M | 15 | 500 | 509 | 518 | 88 | 1 | 17 | 257 | 3.742231e+01 | 5.800000e+01 | 54.99%| unknown
117.73/118.08 o 56
117.73/118.08 c L 118s| 201 | 202 |589354 |2883.7 |crossove| 15 | 500 | 509 | 514 | 88 | 1 | 17 | 257 | 3.755036e+01 | 5.600000e+01 | 49.13%| unknown
145.77/146.16 c 146s| 300 | 301 |757931 |2492.7 | 290M | 16 | 500 | 512 | 518 | 113 | 1 | 24 | 295 | 3.775332e+01 | 5.600000e+01 | 48.33%| unknown
182.09/182.56 c 183s| 400 | 401 |937136 |2317.1 | 290M | 16 | 500 | 512 | 514 | 189 | 1 | 27 | 335 | 3.790303e+01 | 5.600000e+01 | 47.75%| unknown
219.29/219.84 c 220s| 500 | 501 | 1119k|2218.7 | 291M | 19 | 500 | 520 | 514 | 264 | 1 | 35 | 380 | 3.803577e+01 | 5.600000e+01 | 47.23%| unknown
264.40/265.03 c 265s| 600 | 601 | 1373k|2272.8 | 291M | 21 | 500 | 522 | 514 | 364 | 1 | 47 | 429 | 3.805200e+01 | 5.600000e+01 | 47.17%| unknown
298.71/299.40 c 299s| 700 | 701 | 1592k|2260.8 | 291M | 21 | 500 | 525 | 520 | 414 | 1 | 53 | 464 | 3.808923e+01 | 5.600000e+01 | 47.02%| unknown
331.75/332.50 c 333s| 800 | 801 | 1804k|2242.7 | 291M | 21 | 500 | 523 | 518 | 467 | 1 | 57 | 488 | 3.814530e+01 | 5.600000e+01 | 46.81%| unknown
359.78/360.69 c 361s| 900 | 901 | 1961k|2167.8 | 291M | 21 | 500 | 524 | 517 | 534 | 1 | 63 | 506 | 3.817720e+01 | 5.600000e+01 | 46.68%| unknown
385.63/386.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
385.63/386.58 c 387s| 1000 | 1001 | 2124k|2114.1 | 292M | 21 | 500 | 527 | 517 | 577 | 1 | 72 | 518 | 3.822501e+01 | 5.600000e+01 | 46.50%| unknown
398.29/399.23 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
398.29/399.24 c (run 1, node 1049) performing user restart
398.29/399.24 c
398.29/399.24 c (restart) converted 14 cuts from the global cut pool into linear constraints
398.29/399.24 c
398.69/399.64 c presolving:
398.69/399.65 c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
398.69/399.65 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
398.69/399.65 c 0 implications, 0 cliques
398.69/399.65 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 541 constraints
398.69/399.65 c 14 constraints of type <linear>
398.69/399.65 c 527 constraints of type <logicor>
398.69/399.65 c transformed objective value is always integral (scale: 1)
398.69/399.65 c Presolving Time: 0.10
398.69/399.69 c transformed 99/100 original solutions to the transformed problem space
398.69/399.69 c
399.79/400.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
399.79/400.75 c 401s| 1 | 0 | 2206k| - | 243M | 0 | 500 | 541 | 514 | 0 | 0 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
400.29/401.20 c 401s| 1 | 0 | 2207k| - | 246M | 0 | 500 | 541 | 515 | 1 | 1 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
400.59/401.52 c 402s| 1 | 0 | 2207k| - | 252M | 0 | 500 | 541 | 516 | 2 | 2 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
400.89/401.86 c 402s| 1 | 0 | 2207k| - | 256M | 0 | 500 | 541 | 517 | 3 | 3 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
401.29/402.21 c 402s| 1 | 0 | 2207k| - | 267M | 0 | 500 | 541 | 518 | 4 | 4 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
401.69/402.62 c 403s| 1 | 0 | 2208k| - | 272M | 0 | 500 | 541 | 519 | 5 | 5 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
401.99/402.92 c 403s| 1 | 0 | 2208k| - | 277M | 0 | 500 | 541 | 520 | 6 | 6 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
402.28/403.22 c 403s| 1 | 0 | 2208k| - | 273M | 0 | 500 | 541 | 521 | 7 | 7 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
402.58/403.53 c 404s| 1 | 0 | 2208k| - | 273M | 0 | 500 | 541 | 522 | 8 | 8 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
402.88/403.85 c 404s| 1 | 0 | 2209k| - | 272M | 0 | 500 | 541 | 523 | 9 | 9 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
403.19/404.16 c 404s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 524 | 10 | 10 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
403.48/404.41 c 404s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 525 | 11 | 11 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
403.68/404.64 c 405s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 526 | 12 | 12 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
403.88/404.86 c 405s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 527 | 13 | 13 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
404.09/405.08 c 405s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 528 | 14 | 14 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
404.38/405.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
404.38/405.35 c 405s| 1 | 0 | 2209k| - | 277M | 0 | 500 | 541 | 524 | 15 | 15 | 72 | 524 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
408.37/409.35 c 409s| 1 | 2 | 2225k| - | 277M | 0 | 500 | 543 | 524 | 15 | 15 | 74 | 534 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
459.15/460.27 c 460s| 100 | 101 | 2420k|2085.6 | 310M | 18 | 500 | 546 | 516 | 47 | 1 | 77 | 666 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
484.20/485.38 c 485s| 200 | 201 | 2562k|2032.2 | 342M | 18 | 500 | 550 | 520 | 69 | 1 | 81 | 697 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
512.03/513.29 c 513s| 300 | 301 | 2664k|1957.5 | 350M | 19 | 500 | 550 | 516 | 133 | 1 | 81 | 735 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
543.96/545.27 c 545s| 400 | 401 | 2816k|1927.3 | 350M | 21 | 500 | 545 | 521 | 200 | 1 | 85 | 769 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
577.18/578.52 c 579s| 500 | 501 | 2929k|1875.8 | 350M | 21 | 500 | 534 | 516 | 267 | 1 | 88 | 804 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
603.82/605.28 c 605s| 600 | 601 | 3060k|1841.6 | 350M | 21 | 500 | 534 | 519 | 309 | 1 | 92 | 841 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
635.35/636.87 c 637s| 700 | 701 | 3206k|1819.6 | 350M | 22 | 500 | 534 | 522 | 399 | 6 | 95 | 863 | 3.825284e+01 | 5.600000e+01 | 46.39%| unknown
656.81/658.34 c 658s| 800 | 801 | 3318k|1781.9 | 350M | 22 | 500 | 535 | 519 | 447 | 1 | 99 | 877 | 3.830505e+01 | 5.600000e+01 | 46.19%| unknown
676.77/678.37 c 678s| 900 | 901 | 3413k|1738.9 | 350M | 22 | 500 | 537 | 520 | 492 | 1 | 103 | 897 | 3.838215e+01 | 5.600000e+01 | 45.90%| unknown
701.61/703.26 c 703s| 1000 | 1001 | 3549k|1720.4 | 351M | 22 | 500 | 536 | 520 | 539 | 1 | 105 | 919 | 3.839832e+01 | 5.600000e+01 | 45.84%| unknown
719.27/720.91 c 721s| 1100 | 1101 | 3641k|1683.1 | 351M | 22 | 500 | 536 | 520 | 580 | 1 | 108 | 927 | 3.842981e+01 | 5.600000e+01 | 45.72%| unknown
741.13/742.86 c 743s| 1200 | 1201 | 3751k|1657.1 | 351M | 22 | 500 | 536 | 520 | 644 | 1 | 112 | 935 | 3.845944e+01 | 5.600000e+01 | 45.61%| unknown
762.48/764.29 c 764s| 1300 | 1301 | 3869k|1636.9 | 351M | 22 | 500 | 534 | 519 | 696 | 1 | 117 | 943 | 3.847037e+01 | 5.600000e+01 | 45.57%| unknown
785.83/787.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
785.83/787.68 c 788s| 1400 | 1401 | 3985k|1617.3 | 351M | 22 | 500 | 534 | 520 | 769 | 1 | 121 | 948 | 3.851735e+01 | 5.600000e+01 | 45.39%| unknown
806.68/808.53 c 809s| 1500 | 1501 | 4107k|1601.8 | 352M | 22 | 500 | 533 | 521 | 816 | 1 | 125 | 957 | 3.851735e+01 | 5.600000e+01 | 45.39%| unknown
830.14/832.08 c 832s| 1600 | 1601 | 4228k|1587.2 | 352M | 22 | 500 | 536 | 516 | 877 | 1 | 129 | 968 | 3.854097e+01 | 5.600000e+01 | 45.30%| unknown
855.18/857.18 c 857s| 1700 | 1701 | 4359k|1576.9 | 352M | 22 | 500 | 537 | 520 | 931 | 4 | 134 | 993 | 3.854097e+01 | 5.600000e+01 | 45.30%| unknown
872.54/874.52 c 875s| 1800 | 1801 | 4438k|1549.4 | 352M | 23 | 500 | 536 | 520 | 959 | 1 | 135 |1020 | 3.855739e+01 | 5.600000e+01 | 45.24%| unknown
892.70/894.79 c 895s| 1900 | 1901 | 4563k|1539.2 | 353M | 23 | 500 | 540 | 522 | 988 | 1 | 140 |1036 | 3.858361e+01 | 5.600000e+01 | 45.14%| unknown
910.06/912.11 c 912s| 2000 | 2001 | 4655k|1518.8 | 353M | 23 | 500 | 538 | 521 |1023 | 1 | 142 |1048 | 3.859546e+01 | 5.600000e+01 | 45.09%| unknown
931.61/933.75 c 934s| 2100 | 2101 | 4761k|1504.3 | 354M | 24 | 500 | 541 | 520 |1067 | 1 | 147 |1072 | 3.859810e+01 | 5.600000e+01 | 45.08%| unknown
959.05/961.26 c 961s| 2200 | 2201 | 4892k|1498.4 | 354M | 25 | 500 | 541 | 521 |1109 | 1 | 150 |1084 | 3.861649e+01 | 5.600000e+01 | 45.02%| unknown
979.31/981.58 c 982s| 2300 | 2301 | 5004k|1487.0 | 354M | 25 | 500 | 542 | 521 |1165 | 1 | 153 |1091 | 3.861936e+01 | 5.600000e+01 | 45.00%| unknown
998.57/1000.88 c 1001s| 2400 | 2401 | 5121k|1477.8 | 354M | 25 | 500 | 539 | 522 |1195 | 1 | 157 |1101 | 3.862581e+01 | 5.600000e+01 | 44.98%| unknown
1015.93/1018.21 c 1018s| 2500 | 2501 | 5233k|1467.8 | 354M | 25 | 500 | 537 | 519 |1225 | 1 | 160 |1105 | 3.863008e+01 | 5.600000e+01 | 44.96%| unknown
1031.59/1033.99 c 1034s| 2600 | 2601 | 5335k|1455.6 | 354M | 25 | 500 | 538 | 521 |1247 | 1 | 165 |1108 | 3.863132e+01 | 5.600000e+01 | 44.96%| unknown
1052.95/1055.30 c 1055s| 2700 | 2701 | 5468k|1452.1 | 354M | 25 | 500 | 535 | 522 |1297 | 1 | 168 |1111 | 3.866312e+01 | 5.600000e+01 | 44.84%| unknown
1072.71/1075.15 c 1075s| 2800 | 2801 | 5566k|1440.0 | 354M | 25 | 500 | 538 | 520 |1358 | 1 | 173 |1118 | 3.868524e+01 | 5.600000e+01 | 44.76%| unknown
1096.66/1099.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1096.66/1099.19 c 1099s| 2900 | 2901 | 5697k|1436.6 | 355M | 25 | 500 | 537 | 522 |1424 | 1 | 174 |1126 | 3.870547e+01 | 5.600000e+01 | 44.68%| unknown
1114.62/1117.14 c 1117s| 3000 | 3001 | 5796k|1425.5 | 357M | 25 | 500 | 536 | 521 |1471 | 1 | 177 |1129 | 3.871976e+01 | 5.600000e+01 | 44.63%| unknown
1138.86/1141.40 c 1141s| 3100 | 3101 | 5889k|1413.7 | 357M | 25 | 500 | 538 | 522 |1505 | 1 | 181 |1153 | 3.872768e+01 | 5.600000e+01 | 44.60%| unknown
1156.42/1159.09 c 1159s| 3200 | 3201 | 5997k|1405.7 | 357M | 25 | 500 | 538 | 519 |1535 | 1 | 184 |1166 | 3.872768e+01 | 5.600000e+01 | 44.60%| unknown
1175.48/1178.15 c 1178s| 3300 | 3301 | 6114k|1400.2 | 357M | 25 | 500 | 537 | 520 |1564 | 1 | 191 |1177 | 3.873099e+01 | 5.600000e+01 | 44.59%| unknown
1199.03/1201.70 c 1202s| 3400 | 3401 | 6243k|1397.8 | 357M | 25 | 500 | 540 | 522 |1617 | 1 | 195 |1190 | 3.873883e+01 | 5.600000e+01 | 44.56%| unknown
1212.90/1215.69 c 1216s| 3500 | 3501 | 6334k|1387.2 | 357M | 25 | 500 | 542 | 521 |1633 | 1 | 199 |1197 | 3.875995e+01 | 5.600000e+01 | 44.48%| unknown
1230.36/1233.11 c 1233s| 3600 | 3601 | 6440k|1380.1 | 357M | 25 | 500 | 540 | 520 |1664 | 1 | 201 |1204 | 3.876791e+01 | 5.600000e+01 | 44.45%| unknown
1250.32/1253.17 c 1253s| 3700 | 3701 | 6541k|1372.3 | 357M | 25 | 500 | 538 | 522 |1698 | 1 | 204 |1210 | 3.878480e+01 | 5.600000e+01 | 44.39%| unknown
1266.39/1269.23 c 1269s| 3800 | 3801 | 6631k|1362.6 | 359M | 25 | 500 | 541 | 520 |1739 | 1 | 209 |1214 | 3.878998e+01 | 5.600000e+01 | 44.37%| unknown
1286.05/1288.93 c 1289s| 3900 | 3901 | 6746k|1358.2 | 360M | 26 | 500 | 539 | 521 |1783 | 1 | 215 |1219 | 3.880143e+01 | 5.600000e+01 | 44.32%| unknown
1301.61/1304.51 c 1305s| 4000 | 4001 | 6843k|1350.6 | 360M | 26 | 500 | 539 | 520 |1812 | 1 | 217 |1224 | 3.881410e+01 | 5.600000e+01 | 44.28%| unknown
1319.97/1322.98 c 1323s| 4100 | 4101 | 6952k|1345.5 | 361M | 26 | 500 | 536 | 521 |1852 | 1 | 220 |1228 | 3.882921e+01 | 5.600000e+01 | 44.22%| unknown
1337.52/1340.59 c 1341s| 4200 | 4201 | 7060k|1340.4 | 361M | 26 | 500 | 537 | 522 |1889 | 1 | 223 |1234 | 3.883684e+01 | 5.600000e+01 | 44.19%| unknown
1358.46/1361.58 c 1362s| 4300 | 4301 | 7185k|1338.8 | 363M | 26 | 500 | 538 | 521 |1943 | 1 | 227 |1238 | 3.885157e+01 | 5.600000e+01 | 44.14%| unknown
1374.22/1377.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1374.22/1377.37 c 1377s| 4400 | 4401 | 7276k|1330.9 | 363M | 26 | 500 | 540 | 521 |1960 | 5 | 230 |1251 | 3.885608e+01 | 5.600000e+01 | 44.12%| unknown
1397.46/1400.60 c 1401s| 4500 | 4501 | 7406k|1330.3 | 364M | 26 | 500 | 538 | 519 |2007 | 1 | 236 |1267 | 3.885688e+01 | 5.600000e+01 | 44.12%| unknown
1409.62/1412.82 c 1413s| 4600 | 4601 | 7475k|1319.1 | 364M | 26 | 500 | 535 | 520 |2023 | 1 | 237 |1273 | 3.886081e+01 | 5.600000e+01 | 44.10%| unknown
1428.57/1431.80 c 1432s| 4700 | 4701 | 7595k|1316.9 | 364M | 26 | 500 | 537 | 522 |2054 | 1 | 241 |1286 | 3.887073e+01 | 5.600000e+01 | 44.07%| unknown
1451.01/1454.39 c 1454s| 4800 | 4801 | 7718k|1315.4 | 365M | 26 | 500 | 537 | 520 |2106 | 1 | 246 |1300 | 3.888380e+01 | 5.600000e+01 | 44.02%| unknown
1465.07/1468.46 c 1468s| 4900 | 4901 | 7804k|1307.9 | 365M | 26 | 500 | 536 | 521 |2138 | 1 | 248 |1303 | 3.888903e+01 | 5.600000e+01 | 44.00%| unknown
1481.53/1484.95 c 1485s| 5000 | 5001 | 7911k|1303.9 | 365M | 26 | 500 | 536 | 520 |2150 | 1 | 251 |1306 | 3.889616e+01 | 5.600000e+01 | 43.97%| unknown
1494.60/1498.04 c 1498s| 5100 | 5101 | 8000k|1297.2 | 365M | 26 | 500 | 537 | 519 |2161 | 1 | 256 |1309 | 3.889689e+01 | 5.600000e+01 | 43.97%| unknown
1509.55/1513.07 c 1513s| 5200 | 5201 | 8086k|1290.2 | 365M | 26 | 500 | 537 | 520 |2192 | 1 | 259 |1314 | 3.890312e+01 | 5.600000e+01 | 43.95%| unknown
1528.70/1532.26 c 1532s| 5300 | 5301 | 8207k|1288.8 | 366M | 26 | 500 | 539 | 520 |2226 | 1 | 263 |1322 | 3.890662e+01 | 5.600000e+01 | 43.93%| unknown
1542.36/1545.99 c 1546s| 5400 | 5401 | 8281k|1280.4 | 366M | 26 | 500 | 543 | 519 |2253 | 1 | 267 |1330 | 3.891821e+01 | 5.600000e+01 | 43.89%| unknown
1555.72/1559.38 c 1559s| 5500 | 5501 | 8373k|1274.8 | 366M | 26 | 500 | 540 | 522 |2266 | 1 | 270 |1335 | 3.892640e+01 | 5.600000e+01 | 43.86%| unknown
1569.29/1572.94 c 1573s| 5600 | 5601 | 8463k|1269.1 | 366M | 28 | 500 | 543 | 521 |2283 | 1 | 276 |1340 | 3.892640e+01 | 5.600000e+01 | 43.86%| unknown
1583.55/1587.25 c 1587s| 5700 | 5701 | 8554k|1263.9 | 366M | 28 | 500 | 538 | 522 |2312 | 1 | 278 |1343 | 3.893114e+01 | 5.600000e+01 | 43.84%| unknown
1594.72/1598.49 c 1598s| 5800 | 5801 | 8630k|1256.5 | 366M | 28 | 500 | 540 | 516 |2322 | 1 | 282 |1346 | 3.893221e+01 | 5.600000e+01 | 43.84%| unknown
1613.47/1617.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1613.47/1617.20 c 1617s| 5900 | 5901 | 8751k|1255.8 | 368M | 28 | 500 | 540 | 522 |2354 | 1 | 285 |1350 | 3.893751e+01 | 5.600000e+01 | 43.82%| unknown
1627.54/1631.38 c 1631s| 6000 | 6001 | 8838k|1250.4 | 368M | 28 | 500 | 544 | 521 |2381 | 1 | 289 |1357 | 3.894099e+01 | 5.600000e+01 | 43.81%| unknown
1642.22/1646.06 c 1646s| 6100 | 6101 | 8952k|1248.8 | 368M | 28 | 500 | 542 | 521 |2386 | 1 | 293 |1361 | 3.895317e+01 | 5.600000e+01 | 43.76%| unknown
1655.78/1659.69 c 1660s| 6200 | 6201 | 9039k|1243.6 | 368M | 28 | 500 | 542 | 521 |2407 | 5 | 297 |1366 | 3.895846e+01 | 5.600000e+01 | 43.74%| unknown
1670.16/1674.04 c 1674s| 6300 | 6301 | 9124k|1238.2 | 369M | 28 | 500 | 542 | 521 |2438 | 1 | 300 |1370 | 3.896248e+01 | 5.600000e+01 | 43.73%| unknown
1685.72/1689.60 c 1690s| 6400 | 6401 | 9223k|1235.0 | 369M | 28 | 500 | 541 | 522 |2460 | 1 | 304 |1377 | 3.897423e+01 | 5.600000e+01 | 43.68%| unknown
1699.50/1703.45 c 1703s| 6500 | 6501 | 9321k|1231.5 | 369M | 28 | 500 | 538 | 520 |2478 | 1 | 306 |1380 | 3.897524e+01 | 5.600000e+01 | 43.68%| unknown
1710.27/1714.29 c 1714s| 6600 | 6601 | 9388k|1224.3 | 369M | 28 | 500 | 537 | 521 |2496 | 1 | 307 |1382 | 3.897676e+01 | 5.600000e+01 | 43.68%| unknown
1727.44/1731.40 c 1731s| 6700 | 6701 | 9488k|1221.3 | 369M | 28 | 500 | 537 | 522 |2530 | 1 | 311 |1392 | 3.898345e+01 | 5.600000e+01 | 43.65%| unknown
1744.11/1748.16 c 1748s| 6800 | 6801 | 9589k|1218.6 | 370M | 28 | 500 | 536 | 520 |2566 | 1 | 314 |1401 | 3.899517e+01 | 5.600000e+01 | 43.61%| unknown
1755.88/1759.96 c 1760s| 6900 | 6901 | 9668k|1213.2 | 370M | 28 | 500 | 535 | 522 |2576 | 1 | 315 |1406 | 3.900241e+01 | 5.600000e+01 | 43.58%| unknown
1767.86/1771.99 c 1772s| 7000 | 7001 | 9751k|1208.5 | 370M | 28 | 500 | 535 | 522 |2582 | 1 | 321 |1414 | 3.900378e+01 | 5.600000e+01 | 43.58%| unknown
1782.83/1786.92 c 1787s| 7100 | 7101 | 9851k|1205.9 | 385M | 28 | 500 | 532 | 519 |2605 | 1 | 324 |1417 | 3.900721e+01 | 5.600000e+01 | 43.56%| unknown
1797.80/1801.91 c 1802s| 7200 | 7201 | 9946k|1202.8 | 385M | 28 | 500 | 535 | 522 |2628 | 1 | 329 |1424 | 3.900989e+01 | 5.600000e+01 | 43.55%| unknown
1807.88/1812.09 c 1812s| 7300 | 7301 | 10018k|1197.0 | 385M | 28 | 500 | 536 | 519 |2628 | 1 | 330 |1429 | 3.901264e+01 | 5.600000e+01 | 43.54%| unknown
1823.04/1827.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1823.04/1827.26 c 1827s| 7400 | 7401 | 10124k|1195.4 | 386M | 28 | 500 | 539 | 521 |2638 | 1 | 336 |1433 | 3.901599e+01 | 5.600000e+01 | 43.53%| unknown
1837.92/1842.12 c 1842s| 7500 | 7501 | 10216k|1192.1 | 386M | 28 | 500 | 538 | 522 |2660 | 1 | 338 |1443 | 3.901642e+01 | 5.600000e+01 | 43.53%| unknown
1849.49/1853.77 c 1854s| 7600 | 7601 | 10285k|1186.3 | 386M | 28 | 500 | 537 | 520 |2681 | 1 | 341 |1447 | 3.903621e+01 | 5.600000e+01 | 43.46%| unknown
1865.26/1869.58 c 1870s| 7700 | 7701 | 10394k|1185.3 | 386M | 28 | 500 | 541 | 520 |2714 | 1 | 346 |1448 | 3.904159e+01 | 5.600000e+01 | 43.44%| unknown
1877.63/1881.95 c 1882s| 7800 | 7801 | 10488k|1182.5 | 386M | 28 | 500 | 538 | 520 |2714 | 1 | 349 |1452 | 3.904159e+01 | 5.600000e+01 | 43.44%| unknown
1891.91/1896.27 c 1896s| 7900 | 7901 | 10576k|1179.1 | 433M | 28 | 500 | 538 | 522 |2747 | 1 | 354 |1452 | 3.904647e+01 | 5.600000e+01 | 43.42%| unknown
1907.57/1911.96 c 1912s| 8000 | 8001 | 10681k|1177.7 | 436M | 28 | 500 | 540 | 521 |2780 | 1 | 361 |1453 | 3.905220e+01 | 5.600000e+01 | 43.40%| unknown
1923.54/1927.97 c 1928s| 8100 | 8101 | 10789k|1176.7 | 438M | 28 | 500 | 540 | 520 |2797 | 1 | 363 |1455 | 3.906039e+01 | 5.600000e+01 | 43.37%| unknown
1935.01/1939.41 c 1939s| 8200 | 8201 | 10861k|1171.7 | 438M | 28 | 500 | 543 | 521 |2802 | 1 | 367 |1466 | 3.906418e+01 | 5.600000e+01 | 43.35%| unknown
1951.18/1955.60 c 1956s| 8300 | 8301 | 10970k|1170.8 | 438M | 28 | 500 | 543 | 521 |2823 | 1 | 368 |1477 | 3.907252e+01 | 5.600000e+01 | 43.32%| unknown
1966.95/1971.43 c 1971s| 8400 | 8401 | 11062k|1168.1 | 438M | 28 | 500 | 545 | 520 |2859 | 1 | 372 |1486 | 3.907296e+01 | 5.600000e+01 | 43.32%| unknown
1978.92/1983.47 c 1983s| 8500 | 8501 | 11144k|1164.5 | 438M | 28 | 500 | 542 | 521 |2872 | 1 | 372 |1492 | 3.907992e+01 | 5.600000e+01 | 43.30%| unknown
1993.79/1998.35 c 1998s| 8600 | 8601 | 11237k|1162.0 | 438M | 28 | 500 | 537 | 520 |2894 | 1 | 376 |1500 | 3.908106e+01 | 5.600000e+01 | 43.29%| unknown
2007.96/2012.58 c 2013s| 8700 | 8701 | 11335k|1160.2 | 438M | 28 | 500 | 532 | 522 |2911 | 1 | 378 |1507 | 3.908106e+01 | 5.600000e+01 | 43.29%| unknown
2018.94/2023.55 c 2024s| 8800 | 8801 | 11404k|1155.4 | 439M | 28 | 500 | 531 | 521 |2925 | 1 | 378 |1512 | 3.908593e+01 | 5.600000e+01 | 43.27%| unknown
2033.42/2038.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2033.42/2038.06 c 2038s| 8900 | 8901 | 11507k|1154.2 | 440M | 28 | 500 | 536 | 520 |2937 | 1 | 387 |1519 | 3.909444e+01 | 5.600000e+01 | 43.24%| unknown
2048.08/2052.79 c 2053s| 9000 | 9001 | 11604k|1152.3 | 440M | 28 | 500 | 535 | 521 |2965 | 1 | 389 |1521 | 3.909522e+01 | 5.600000e+01 | 43.24%| unknown
2060.06/2064.70 c 2065s| 9100 | 9101 | 11682k|1148.7 | 440M | 28 | 500 | 538 | 521 |2980 | 1 | 392 |1523 | 3.909645e+01 | 5.600000e+01 | 43.24%| unknown
2076.32/2081.04 c 2081s| 9200 | 9201 | 11787k|1147.7 | 441M | 28 | 500 | 542 | 520 |3013 | 1 | 398 |1525 | 3.909657e+01 | 5.600000e+01 | 43.24%| unknown
2089.78/2094.56 c 2095s| 9300 | 9301 | 11875k|1145.1 | 441M | 28 | 500 | 542 | 520 |3035 | 1 | 401 |1529 | 3.909844e+01 | 5.600000e+01 | 43.23%| unknown
2103.35/2108.13 c 2108s| 9400 | 9401 | 11968k|1143.1 | 442M | 28 | 500 | 545 | 520 |3052 | 1 | 405 |1533 | 3.910398e+01 | 5.600000e+01 | 43.21%| unknown
2116.41/2121.26 c 2121s| 9500 | 9501 | 12047k|1139.7 | 442M | 28 | 500 | 545 | 520 |3075 | 1 | 406 |1535 | 3.910941e+01 | 5.600000e+01 | 43.19%| unknown
2126.48/2131.32 c 2131s| 9600 | 9601 | 12116k|1135.5 | 442M | 28 | 500 | 548 | 520 |3080 | 1 | 410 |1538 | 3.911103e+01 | 5.600000e+01 | 43.18%| unknown
2142.25/2147.13 c 2147s| 9700 | 9701 | 12238k|1136.3 | 442M | 28 | 500 | 546 | 520 |3092 | 1 | 414 |1542 | 3.911599e+01 | 5.600000e+01 | 43.16%| unknown
2157.00/2161.94 c 2162s| 9800 | 9801 | 12326k|1133.9 | 442M | 28 | 500 | 548 | 522 |3124 | 1 | 420 |1547 | 3.911728e+01 | 5.600000e+01 | 43.16%| unknown
2172.46/2177.42 c 2177s| 9900 | 9901 | 12413k|1131.5 | 446M | 28 | 500 | 549 | 521 |3169 | 1 | 425 |1549 | 3.912063e+01 | 5.600000e+01 | 43.15%| unknown
2189.01/2194.02 c 2194s| 10000 | 10001 | 12523k|1131.2 | 447M | 28 | 500 | 545 | 521 |3189 | 1 | 429 |1558 | 3.912208e+01 | 5.600000e+01 | 43.14%| unknown
2202.57/2207.68 c 2208s| 10100 | 10101 | 12600k|1128.0 | 448M | 28 | 500 | 545 | 521 |3206 | 1 | 430 |1569 | 3.912592e+01 | 5.600000e+01 | 43.13%| unknown
2215.34/2220.40 c 2220s| 10200 | 10201 | 12691k|1126.0 | 448M | 28 | 500 | 543 | 520 |3213 | 1 | 433 |1575 | 3.912776e+01 | 5.600000e+01 | 43.12%| unknown
2229.40/2234.57 c 2235s| 10300 | 10301 | 12782k|1124.1 | 448M | 28 | 500 | 542 | 520 |3230 | 1 | 438 |1583 | 3.913087e+01 | 5.600000e+01 | 43.11%| unknown
2244.16/2249.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2244.16/2249.38 c 2249s| 10400 | 10401 | 12879k|1122.8 | 448M | 28 | 500 | 543 | 522 |3253 | 6 | 441 |1588 | 3.913232e+01 | 5.600000e+01 | 43.10%| unknown
2257.52/2262.77 c 2263s| 10500 | 10501 | 12968k|1120.8 | 448M | 28 | 500 | 544 | 520 |3269 | 1 | 446 |1593 | 3.913505e+01 | 5.600000e+01 | 43.09%| unknown
2269.98/2275.24 c 2275s| 10600 | 10601 | 13043k|1117.6 | 448M | 28 | 500 | 543 | 521 |3285 | 1 | 449 |1600 | 3.913508e+01 | 5.600000e+01 | 43.09%| unknown
2286.04/2291.39 c 2291s| 10700 | 10701 | 13159k|1117.9 | 448M | 28 | 500 | 542 | 522 |3309 | 1 | 452 |1608 | 3.913508e+01 | 5.600000e+01 | 43.09%| unknown
2297.91/2303.21 c 2303s| 10800 | 10801 | 13244k|1115.7 | 448M | 28 | 500 | 542 | 521 |3315 | 1 | 457 |1612 | 3.913644e+01 | 5.600000e+01 | 43.09%| unknown
2306.58/2311.97 c 2312s| 10900 | 10901 | 13302k|1111.2 | 448M | 28 | 500 | 541 | 520 |3316 | 1 | 459 |1616 | 3.914115e+01 | 5.600000e+01 | 43.07%| unknown
2318.75/2324.11 c 2324s| 11000 | 11001 | 13391k|1109.4 | 448M | 28 | 500 | 539 | 521 |3328 | 1 | 462 |1619 | 3.914307e+01 | 5.600000e+01 | 43.06%| unknown
2333.51/2338.90 c 2339s| 11100 | 11101 | 13500k|1109.2 | 448M | 28 | 500 | 540 | 519 |3344 | 1 | 467 |1622 | 3.914437e+01 | 5.600000e+01 | 43.06%| unknown
2344.28/2349.79 c 2350s| 11200 | 11201 | 13574k|1106.2 | 448M | 28 | 500 | 540 | 521 |3350 | 1 | 468 |1625 | 3.914668e+01 | 5.600000e+01 | 43.05%| unknown
2355.25/2360.77 c 2361s| 11300 | 11301 | 13641k|1102.7 | 448M | 28 | 500 | 538 | 520 |3371 | 1 | 470 |1629 | 3.914668e+01 | 5.600000e+01 | 43.05%| unknown
2366.92/2372.45 c 2372s| 11400 | 11401 | 13735k|1101.4 | 448M | 28 | 500 | 541 | 521 |3377 | 1 | 474 |1631 | 3.914776e+01 | 5.600000e+01 | 43.05%| unknown
2378.39/2383.94 c 2384s| 11500 | 11501 | 13825k|1099.7 | 448M | 28 | 500 | 545 | 522 |3383 | 1 | 480 |1631 | 3.915307e+01 | 5.600000e+01 | 43.03%| unknown
2388.26/2393.85 c 2394s| 11600 | 11601 | 13891k|1096.3 | 448M | 28 | 500 | 543 | 521 |3393 | 1 | 482 |1633 | 3.916147e+01 | 5.600000e+01 | 43.00%| unknown
2399.43/2405.10 c 2405s| 11700 | 11701 | 13973k|1094.1 | 449M | 28 | 500 | 544 | 520 |3406 | 1 | 485 |1634 | 3.916443e+01 | 5.600000e+01 | 42.99%| unknown
2412.29/2417.98 c 2418s| 11800 | 11801 | 14061k|1092.5 | 449M | 28 | 500 | 542 | 521 |3421 | 1 | 487 |1636 | 3.916981e+01 | 5.600000e+01 | 42.97%| unknown
2422.76/2428.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2422.76/2428.40 c 2428s| 11900 | 11901 | 14144k|1090.4 | 449M | 28 | 500 | 544 | 520 |3422 | 1 | 490 |1638 | 3.917431e+01 | 5.600000e+01 | 42.95%| unknown
2437.02/2442.78 c 2443s| 12000 | 12001 | 14241k|1089.5 | 449M | 28 | 500 | 546 | 521 |3446 | 1 | 493 |1644 | 3.917569e+01 | 5.600000e+01 | 42.95%| unknown
2453.48/2459.29 c 2459s| 12100 | 12101 | 14356k|1090.0 | 449M | 28 | 500 | 545 | 521 |3450 | 1 | 499 |1652 | 3.917948e+01 | 5.600000e+01 | 42.93%| unknown
2463.35/2469.11 c 2469s| 12200 | 12201 | 14419k|1086.5 | 449M | 28 | 500 | 544 | 521 |3456 | 1 | 501 |1658 | 3.918455e+01 | 5.600000e+01 | 42.91%| unknown
2475.72/2481.57 c 2482s| 12300 | 12301 | 14518k|1085.8 | 449M | 28 | 500 | 542 | 521 |3457 | 1 | 505 |1665 | 3.918563e+01 | 5.600000e+01 | 42.91%| unknown
2487.29/2493.14 c 2493s| 12400 | 12401 | 14600k|1083.8 | 449M | 28 | 500 | 541 | 522 |3463 | 6 | 506 |1672 | 3.919032e+01 | 5.600000e+01 | 42.89%| unknown
2500.25/2506.17 c 2506s| 12500 | 12501 | 14692k|1082.6 | 449M | 29 | 500 | 539 | 521 |3469 | 1 | 509 |1680 | 3.919415e+01 | 5.600000e+01 | 42.88%| unknown
2512.91/2518.80 c 2519s| 12600 | 12601 | 14789k|1081.7 | 449M | 29 | 500 | 541 | 521 |3481 | 1 | 513 |1684 | 3.919561e+01 | 5.600000e+01 | 42.87%| unknown
2523.99/2529.94 c 2530s| 12700 | 12701 | 14862k|1079.2 | 449M | 29 | 500 | 540 | 519 |3494 | 1 | 514 |1690 | 3.919997e+01 | 5.600000e+01 | 42.86%| unknown
2538.07/2544.08 c 2544s| 12800 | 12801 | 14958k|1078.4 | 449M | 29 | 500 | 541 | 520 |3518 | 1 | 518 |1691 | 3.920053e+01 | 5.600000e+01 | 42.86%| unknown
2547.94/2553.95 c 2554s| 12900 | 12901 | 15034k|1076.0 | 449M | 29 | 500 | 541 | 521 |3525 | 1 | 521 |1693 | 3.920053e+01 | 5.600000e+01 | 42.86%| unknown
2556.92/2562.91 c 2563s| 13000 | 13001 | 15101k|1073.2 | 449M | 29 | 500 | 542 | 522 |3525 | 1 | 524 |1698 | 3.920374e+01 | 5.600000e+01 | 42.84%| unknown
2568.60/2574.66 c 2575s| 13100 | 13101 | 15183k|1071.4 | 450M | 29 | 500 | 539 | 519 |3536 | 1 | 525 |1703 | 3.920593e+01 | 5.600000e+01 | 42.84%| unknown
2581.17/2587.22 c 2587s| 13200 | 13201 | 15285k|1071.0 | 450M | 29 | 500 | 539 | 520 |3540 | 1 | 528 |1706 | 3.920626e+01 | 5.600000e+01 | 42.83%| unknown
2591.85/2597.99 c 2598s| 13300 | 13301 | 15360k|1068.8 | 450M | 29 | 500 | 539 | 520 |3544 | 1 | 531 |1707 | 3.920923e+01 | 5.600000e+01 | 42.82%| unknown
2603.13/2609.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2603.13/2609.23 c 2609s| 13400 | 13401 | 15449k|1067.5 | 450M | 29 | 500 | 542 | 520 |3550 | 1 | 537 |1709 | 3.920955e+01 | 5.600000e+01 | 42.82%| unknown
2614.80/2620.93 c 2621s| 13500 | 13501 | 15539k|1066.4 | 450M | 29 | 500 | 541 | 522 |3550 | 1 | 540 |1713 | 3.921031e+01 | 5.600000e+01 | 42.82%| unknown
2626.28/2632.44 c 2632s| 13600 | 13601 | 15624k|1064.9 | 450M | 29 | 500 | 541 | 522 |3560 | 1 | 544 |1716 | 3.921130e+01 | 5.600000e+01 | 42.82%| unknown
2637.36/2643.52 c 2644s| 13700 | 13701 | 15707k|1063.3 | 450M | 29 | 500 | 541 | 521 |3569 | 1 | 548 |1718 | 3.921279e+01 | 5.600000e+01 | 42.81%| unknown
2649.53/2655.71 c 2656s| 13800 | 13801 | 15801k|1062.5 | 450M | 29 | 500 | 543 | 520 |3581 | 1 | 551 |1722 | 3.921279e+01 | 5.600000e+01 | 42.81%| unknown
2661.11/2667.35 c 2667s| 13900 | 13901 | 15879k|1060.6 | 450M | 29 | 500 | 547 | 521 |3599 | 1 | 556 |1725 | 3.921331e+01 | 5.600000e+01 | 42.81%| unknown
2671.79/2678.01 c 2678s| 14000 | 14001 | 15952k|1058.4 | 450M | 29 | 500 | 547 | 520 |3606 | 1 | 558 |1732 | 3.921376e+01 | 5.600000e+01 | 42.81%| unknown
2682.57/2688.85 c 2689s| 14100 | 14101 | 16025k|1056.2 | 450M | 29 | 500 | 545 | 520 |3606 | 1 | 561 |1740 | 3.921416e+01 | 5.600000e+01 | 42.81%| unknown
2683.16/2689.43 o 55
2683.16/2689.43 c L2689s| 14102 | 14103 | 16026k|1056.1 |crossove| 30 | 500 | 545 | 520 |3606 | 1 | 561 |1741 | 3.921416e+01 | 5.500000e+01 | 40.26%| unknown
2696.64/2702.91 c 2703s| 14200 | 14201 | 16130k|1056.2 | 450M | 33 | 500 | 548 | 521 |3619 | 1 | 567 |1743 | 3.921416e+01 | 5.500000e+01 | 40.26%| unknown
2706.12/2712.45 c 2712s| 14300 | 14301 | 16206k|1054.3 | 450M | 33 | 500 | 550 | 519 |3619 | 1 | 572 |1745 | 3.921666e+01 | 5.500000e+01 | 40.25%| unknown
2722.48/2728.88 c 2729s| 14400 | 14401 | 16289k|1052.8 | 450M | 33 | 500 | 550 | 520 |3619 | 1 | 574 |1748 | 3.921691e+01 | 5.500000e+01 | 40.25%| unknown
2733.06/2739.48 c 2739s| 14500 | 14501 | 16368k|1051.1 | 450M | 33 | 500 | 548 | 520 |3623 | 1 | 575 |1752 | 3.922047e+01 | 5.500000e+01 | 40.23%| unknown
2744.04/2750.49 c 2750s| 14600 | 14601 | 16453k|1049.8 | 450M | 33 | 500 | 549 | 522 |3630 | 1 | 580 |1754 | 3.922583e+01 | 5.500000e+01 | 40.21%| unknown
2754.73/2761.16 c 2761s| 14700 | 14701 | 16515k|1047.1 | 450M | 33 | 500 | 550 | 520 |3650 | 1 | 583 |1761 | 3.923159e+01 | 5.500000e+01 | 40.19%| unknown
2765.20/2771.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2765.20/2771.63 c 2772s| 14800 | 14801 | 16598k|1045.7 | 451M | 33 | 500 | 553 | 521 |3650 | 1 | 592 |1765 | 3.923174e+01 | 5.500000e+01 | 40.19%| unknown
2775.88/2782.35 c 2782s| 14900 | 14901 | 16675k|1044.0 | 451M | 33 | 500 | 552 | 521 |3651 | 1 | 594 |1773 | 3.923699e+01 | 5.500000e+01 | 40.17%| unknown
2786.46/2792.99 c 2793s| 15000 | 15001 | 16753k|1042.4 | 451M | 33 | 500 | 553 | 520 |3654 | 1 | 598 |1780 | 3.923972e+01 | 5.500000e+01 | 40.16%| unknown
2800.43/2806.95 c 2807s| 15100 | 15101 | 16853k|1042.1 | 451M | 33 | 500 | 552 | 521 |3655 | 1 | 602 |1793 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2810.01/2816.56 c 2817s| 15200 | 15201 | 16926k|1040.2 | 451M | 33 | 500 | 553 | 521 |3655 | 1 | 605 |1795 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2819.39/2825.98 c 2826s| 15300 | 15301 | 16997k|1038.2 | 451M | 33 | 500 | 553 | 521 |3655 | 1 | 607 |1800 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2829.17/2835.72 c 2836s| 15400 | 15401 | 17065k|1036.0 | 451M | 33 | 500 | 554 | 520 |3659 | 1 | 611 |1809 | 3.924058e+01 | 5.500000e+01 | 40.16%| unknown
2840.56/2847.17 c 2847s| 15500 | 15501 | 17147k|1034.7 | 451M | 33 | 500 | 554 | 522 |3670 | 1 | 616 |1812 | 3.924999e+01 | 5.500000e+01 | 40.13%| unknown
2851.83/2858.43 c 2858s| 15600 | 15601 | 17231k|1033.5 | 451M | 33 | 500 | 554 | 520 |3680 | 1 | 620 |1815 | 3.925048e+01 | 5.500000e+01 | 40.13%| unknown
2861.21/2867.88 c 2868s| 15700 | 15701 | 17296k|1031.2 | 451M | 33 | 500 | 552 | 521 |3686 | 1 | 622 |1819 | 3.925048e+01 | 5.500000e+01 | 40.13%| unknown
2871.89/2878.56 c 2879s| 15800 | 15801 | 17376k|1029.8 | 451M | 33 | 500 | 550 | 522 |3690 | 1 | 623 |1821 | 3.925149e+01 | 5.500000e+01 | 40.12%| unknown
2883.16/2889.83 c 2890s| 15900 | 15901 | 17460k|1028.7 | 452M | 33 | 500 | 552 | 521 |3700 | 1 | 629 |1824 | 3.925234e+01 | 5.500000e+01 | 40.12%| unknown
2891.05/2897.77 c 2898s| 16000 | 16001 | 17522k|1026.3 | 452M | 33 | 500 | 554 | 521 |3700 | 1 | 634 |1828 | 3.925234e+01 | 5.500000e+01 | 40.12%| unknown
2901.33/2908.10 c 2908s| 16100 | 16101 | 17588k|1024.2 | 452M | 33 | 500 | 555 | 520 |3704 | 1 | 636 |1839 | 3.925322e+01 | 5.500000e+01 | 40.12%| unknown
2912.60/2919.35 c 2919s| 16200 | 16201 | 17676k|1023.4 | 452M | 33 | 500 | 551 | 520 |3704 | 1 | 639 |1843 | 3.925322e+01 | 5.500000e+01 | 40.12%| unknown
2922.08/2928.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2922.08/2928.86 c 2929s| 16300 | 16301 | 17751k|1021.7 | 452M | 33 | 500 | 552 | 519 |3704 | 1 | 642 |1847 | 3.925385e+01 | 5.500000e+01 | 40.11%| unknown
2931.57/2938.34 c 2938s| 16400 | 16401 | 17826k|1020.2 | 452M | 33 | 500 | 554 | 521 |3704 | 1 | 644 |1850 | 3.925505e+01 | 5.500000e+01 | 40.11%| unknown
2943.44/2950.25 c 2950s| 16500 | 16501 | 17916k|1019.5 | 452M | 33 | 500 | 557 | 520 |3709 | 1 | 653 |1857 | 3.925749e+01 | 5.500000e+01 | 40.10%| unknown
2953.32/2960.20 c 2960s| 16600 | 16601 | 17989k|1017.9 | 452M | 33 | 500 | 556 | 520 |3709 | 1 | 657 |1863 | 3.925808e+01 | 5.500000e+01 | 40.10%| unknown
2961.60/2968.45 c 2968s| 16700 | 16701 | 18051k|1015.6 | 452M | 33 | 500 | 556 | 521 |3709 | 1 | 658 |1866 | 3.926153e+01 | 5.500000e+01 | 40.09%| unknown
2973.88/2980.70 c 2981s| 16800 | 16801 | 18150k|1015.5 | 452M | 33 | 500 | 557 | 520 |3709 | 1 | 663 |1870 | 3.926176e+01 | 5.500000e+01 | 40.09%| unknown
2983.76/2990.61 c 2991s| 16900 | 16901 | 18223k|1013.9 | 452M | 33 | 500 | 556 | 521 |3709 | 1 | 665 |1872 | 3.926202e+01 | 5.500000e+01 | 40.08%| unknown
2994.44/3001.33 c 3001s| 17000 | 17001 | 18310k|1013.1 | 452M | 33 | 500 | 553 | 521 |3709 | 1 | 669 |1875 | 3.926283e+01 | 5.500000e+01 | 40.08%| unknown
3004.71/3011.63 c 3012s| 17100 | 17101 | 18387k|1011.8 | 452M | 33 | 500 | 555 | 521 |3714 | 1 | 674 |1878 | 3.926283e+01 | 5.500000e+01 | 40.08%| unknown
3014.99/3021.90 c 3022s| 17200 | 17201 | 18468k|1010.7 | 452M | 33 | 500 | 555 | 520 |3714 | 1 | 676 |1880 | 3.926430e+01 | 5.500000e+01 | 40.08%| unknown
3027.95/3034.91 c 3035s| 17300 | 17301 | 18535k|1008.8 | 452M | 33 | 500 | 554 | 521 |3720 | 1 | 679 |1882 | 3.926931e+01 | 5.500000e+01 | 40.06%| unknown
3039.22/3046.27 c 3046s| 17400 | 17401 | 18628k|1008.4 | 452M | 33 | 500 | 554 | 520 |3724 | 1 | 682 |1884 | 3.927155e+01 | 5.500000e+01 | 40.05%| unknown
3050.19/3057.24 c 3057s| 17500 | 17501 | 18707k|1007.2 | 453M | 33 | 500 | 554 | 521 |3728 | 1 | 687 |1890 | 3.927155e+01 | 5.500000e+01 | 40.05%| unknown
3060.46/3067.54 c 3068s| 17600 | 17601 | 18784k|1005.9 | 453M | 33 | 500 | 554 | 519 |3728 | 1 | 690 |1898 | 3.927474e+01 | 5.500000e+01 | 40.04%| unknown
3070.83/3077.99 c 3078s| 17700 | 17701 | 18848k|1004.0 | 454M | 33 | 500 | 555 | 521 |3740 | 1 | 693 |1907 | 3.927582e+01 | 5.500000e+01 | 40.04%| unknown
3082.80/3089.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3082.80/3089.96 c 3090s| 17800 | 17801 | 18934k|1003.2 | 454M | 33 | 500 | 553 | 520 |3754 | 1 | 698 |1913 | 3.927712e+01 | 5.500000e+01 | 40.03%| unknown
3094.17/3101.31 c 3101s| 17900 | 17901 | 19009k|1001.9 | 454M | 33 | 500 | 553 | 522 |3761 | 2 | 701 |1922 | 3.928222e+01 | 5.500000e+01 | 40.01%| unknown
3106.13/3113.35 c 3113s| 18000 | 18001 | 19093k|1001.0 | 454M | 33 | 500 | 551 | 521 |3771 | 1 | 705 |1929 | 3.928598e+01 | 5.500000e+01 | 40.00%| unknown
3115.11/3122.34 c 3122s| 18100 | 18101 | 19161k| 999.4 | 454M | 33 | 500 | 552 | 519 |3771 | 1 | 708 |1933 | 3.928711e+01 | 5.500000e+01 | 40.00%| unknown
3124.28/3131.59 c 3132s| 18200 | 18201 | 19235k| 998.0 | 454M | 33 | 500 | 551 | 521 |3771 | 1 | 710 |1935 | 3.928711e+01 | 5.500000e+01 | 40.00%| unknown
3134.26/3141.58 c 3142s| 18300 | 18301 | 19314k| 996.9 | 454M | 33 | 500 | 554 | 522 |3776 | 1 | 717 |1937 | 3.928711e+01 | 5.500000e+01 | 40.00%| unknown
3144.63/3151.92 c 3152s| 18400 | 18401 | 19395k| 996.0 | 454M | 33 | 500 | 555 | 522 |3776 | 1 | 721 |1940 | 3.928909e+01 | 5.500000e+01 | 39.99%| unknown
3154.50/3161.82 c 3162s| 18500 | 18501 | 19469k| 994.6 | 454M | 33 | 500 | 555 | 520 |3777 | 1 | 723 |1946 | 3.929002e+01 | 5.500000e+01 | 39.98%| unknown
3164.97/3172.34 c 3172s| 18600 | 18601 | 19554k| 993.9 | 454M | 33 | 500 | 555 | 519 |3777 | 1 | 728 |1948 | 3.929023e+01 | 5.500000e+01 | 39.98%| unknown
3176.04/3183.48 c 3183s| 18700 | 18701 | 19634k| 993.0 | 454M | 33 | 500 | 558 | 521 |3781 | 1 | 732 |1957 | 3.929133e+01 | 5.500000e+01 | 39.98%| unknown
3185.22/3192.68 c 3193s| 18800 | 18801 | 19700k| 991.2 | 454M | 33 | 500 | 562 | 520 |3781 | 1 | 738 |1962 | 3.929467e+01 | 5.500000e+01 | 39.97%| unknown
3194.79/3202.20 c 3202s| 18900 | 18901 | 19768k| 989.7 | 454M | 33 | 500 | 561 | 520 |3782 | 1 | 739 |1967 | 3.929677e+01 | 5.500000e+01 | 39.96%| unknown
3205.66/3213.14 c 3213s| 19000 | 19001 | 19856k| 989.1 | 454M | 33 | 500 | 564 | 519 |3789 | 1 | 746 |1970 | 3.929838e+01 | 5.500000e+01 | 39.95%| unknown
3214.64/3222.18 c 3222s| 19100 | 19101 | 19931k| 988.0 | 454M | 33 | 500 | 564 | 521 |3790 | 1 | 750 |1971 | 3.930154e+01 | 5.500000e+01 | 39.94%| unknown
3224.41/3231.93 c 3232s| 19200 | 19201 | 19993k| 986.2 | 454M | 33 | 500 | 562 | 520 |3790 | 1 | 753 |1976 | 3.930246e+01 | 5.500000e+01 | 39.94%| unknown
3233.78/3241.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3233.78/3241.31 c 3241s| 19300 | 19301 | 20063k| 984.7 | 454M | 33 | 500 | 564 | 520 |3790 | 1 | 756 |1981 | 3.930398e+01 | 5.500000e+01 | 39.93%| unknown
3243.36/3250.93 c 3251s| 19400 | 19401 | 20136k| 983.5 | 454M | 33 | 500 | 566 | 521 |3791 | 1 | 761 |1984 | 3.930398e+01 | 5.500000e+01 | 39.93%| unknown
3254.23/3261.81 c 3262s| 19500 | 19501 | 20218k| 982.7 | 454M | 33 | 500 | 563 | 521 |3801 | 1 | 765 |1987 | 3.930559e+01 | 5.500000e+01 | 39.93%| unknown
3263.90/3271.59 c 3272s| 19600 | 19601 | 20297k| 981.8 | 454M | 33 | 500 | 560 | 522 |3806 | 1 | 768 |1987 | 3.930695e+01 | 5.500000e+01 | 39.92%| unknown
3276.07/3283.70 c 3284s| 19700 | 19701 | 20386k| 981.3 | 454M | 33 | 500 | 557 | 522 |3812 | 1 | 769 |1990 | 3.930815e+01 | 5.500000e+01 | 39.92%| unknown
3287.04/3294.72 c 3295s| 19800 | 19801 | 20454k| 979.9 | 454M | 33 | 500 | 558 | 521 |3832 | 1 | 771 |1993 | 3.931020e+01 | 5.500000e+01 | 39.91%| unknown
3297.01/3304.71 c 3305s| 19900 | 19901 | 20534k| 979.0 | 455M | 33 | 500 | 558 | 522 |3838 | 6 | 776 |1994 | 3.931062e+01 | 5.500000e+01 | 39.91%| unknown
3308.58/3316.38 c 3316s| 20000 | 20001 | 20618k| 978.4 | 455M | 33 | 500 | 552 | 520 |3844 | 1 | 777 |1999 | 3.931098e+01 | 5.500000e+01 | 39.91%| unknown
3317.65/3325.41 c 3325s| 20100 | 20101 | 20676k| 976.5 | 455M | 33 | 500 | 555 | 521 |3844 | 1 | 782 |2005 | 3.931268e+01 | 5.500000e+01 | 39.90%| unknown
3327.03/3334.84 c 3335s| 20200 | 20201 | 20750k| 975.4 | 455M | 33 | 500 | 554 | 521 |3844 | 1 | 784 |2010 | 3.931268e+01 | 5.500000e+01 | 39.90%| unknown
3338.99/3346.88 c 3347s| 20300 | 20301 | 20846k| 975.3 | 455M | 33 | 500 | 552 | 519 |3844 | 1 | 789 |2016 | 3.931268e+01 | 5.500000e+01 | 39.90%| unknown
3347.77/3355.61 c 3356s| 20400 | 20401 | 20912k| 973.8 | 455M | 33 | 500 | 553 | 521 |3844 | 1 | 792 |2021 | 3.931303e+01 | 5.500000e+01 | 39.90%| unknown
3356.64/3364.53 c 3365s| 20500 | 20501 | 20978k| 972.4 | 455M | 33 | 500 | 555 | 522 |3844 | 1 | 797 |2026 | 3.931360e+01 | 5.500000e+01 | 39.90%| unknown
3368.12/3376.06 c 3376s| 20600 | 20601 | 21074k| 972.3 | 455M | 33 | 500 | 557 | 520 |3844 | 1 | 801 |2031 | 3.931513e+01 | 5.500000e+01 | 39.90%| unknown
3378.58/3386.50 c 3386s| 20700 | 20701 | 21138k| 970.8 | 455M | 33 | 500 | 557 | 521 |3856 | 1 | 803 |2034 | 3.931680e+01 | 5.500000e+01 | 39.89%| unknown
3385.76/3393.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3385.76/3393.71 c 3394s| 20800 | 20801 | 21197k| 969.0 | 455M | 33 | 500 | 557 | 519 |3856 | 1 | 805 |2035 | 3.931680e+01 | 5.500000e+01 | 39.89%| unknown
3395.44/3403.41 c 3403s| 20900 | 20901 | 21276k| 968.2 | 455M | 33 | 500 | 554 | 520 |3856 | 1 | 807 |2037 | 3.931801e+01 | 5.500000e+01 | 39.89%| unknown
3404.12/3412.17 c 3412s| 21000 | 21001 | 21341k| 966.8 | 455M | 33 | 500 | 553 | 520 |3856 | 1 | 808 |2042 | 3.932011e+01 | 5.500000e+01 | 39.88%| unknown
3415.99/3424.04 c 3424s| 21100 | 21101 | 21428k| 966.4 | 455M | 33 | 500 | 550 | 522 |3856 | 1 | 811 |2052 | 3.932146e+01 | 5.500000e+01 | 39.87%| unknown
3426.35/3434.49 c 3434s| 21200 | 21201 | 21506k| 965.5 | 455M | 33 | 500 | 553 | 522 |3861 | 1 | 817 |2054 | 3.932156e+01 | 5.500000e+01 | 39.87%| unknown
3439.52/3447.64 c 3448s| 21300 | 21301 | 21595k| 965.2 | 456M | 33 | 500 | 556 | 522 |3883 | 1 | 821 |2061 | 3.932308e+01 | 5.500000e+01 | 39.87%| unknown
3448.59/3456.79 c 3457s| 21400 | 21401 | 21664k| 964.0 | 456M | 33 | 500 | 556 | 521 |3883 | 1 | 822 |2065 | 3.932312e+01 | 5.500000e+01 | 39.87%| unknown
3458.76/3466.95 c 3467s| 21500 | 21501 | 21741k| 963.1 | 456M | 33 | 500 | 556 | 522 |3884 | 1 | 825 |2071 | 3.932390e+01 | 5.500000e+01 | 39.86%| unknown
3468.34/3476.59 c 3477s| 21600 | 21601 | 21819k| 962.3 | 456M | 33 | 500 | 554 | 521 |3884 | 1 | 829 |2075 | 3.932397e+01 | 5.500000e+01 | 39.86%| unknown
3479.31/3487.55 c 3488s| 21700 | 21701 | 21906k| 961.9 | 456M | 33 | 500 | 555 | 521 |3884 | 1 | 834 |2081 | 3.932554e+01 | 5.500000e+01 | 39.86%| unknown
3488.18/3496.47 c 3496s| 21800 | 21801 | 21971k| 960.5 | 456M | 33 | 500 | 551 | 520 |3888 | 1 | 837 |2084 | 3.932897e+01 | 5.500000e+01 | 39.85%| unknown
3497.95/3506.28 c 3506s| 21900 | 21901 | 22033k| 959.0 | 456M | 33 | 500 | 554 | 520 |3893 | 1 | 842 |2094 | 3.932935e+01 | 5.500000e+01 | 39.84%| unknown
3509.42/3517.71 c 3518s| 22000 | 22001 | 22113k| 958.4 | 456M | 33 | 500 | 552 | 519 |3904 | 1 | 844 |2097 | 3.932939e+01 | 5.500000e+01 | 39.84%| unknown
3519.80/3528.14 c 3528s| 22100 | 22101 | 22197k| 957.8 | 456M | 33 | 500 | 556 | 521 |3905 | 1 | 850 |2104 | 3.932972e+01 | 5.500000e+01 | 39.84%| unknown
3528.87/3537.21 c 3537s| 22200 | 22201 | 22266k| 956.7 | 456M | 33 | 500 | 558 | 522 |3905 | 1 | 855 |2109 | 3.933138e+01 | 5.500000e+01 | 39.84%| unknown
3538.25/3546.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3538.25/3546.65 c 3547s| 22300 | 22301 | 22343k| 955.9 | 456M | 33 | 500 | 557 | 521 |3905 | 1 | 858 |2114 | 3.933302e+01 | 5.500000e+01 | 39.83%| unknown
3548.92/3557.31 c 3557s| 22400 | 22401 | 22423k| 955.2 | 456M | 33 | 500 | 556 | 520 |3906 | 1 | 861 |2122 | 3.933463e+01 | 5.500000e+01 | 39.83%| unknown
3559.61/3568.09 c 3568s| 22500 | 22501 | 22493k| 954.1 | 456M | 33 | 500 | 557 | 520 |3911 | 1 | 863 |2126 | 3.933477e+01 | 5.500000e+01 | 39.83%| unknown
3569.38/3577.82 c 3578s| 22600 | 22601 | 22563k| 953.0 | 457M | 33 | 500 | 557 | 520 |3916 | 1 | 868 |2131 | 3.933565e+01 | 5.500000e+01 | 39.82%| unknown
3578.16/3586.67 c 3587s| 22700 | 22701 | 22636k| 952.1 | 457M | 33 | 500 | 556 | 521 |3916 | 1 | 871 |2132 | 3.933565e+01 | 5.500000e+01 | 39.82%| unknown
3588.44/3597.00 c
3588.44/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.44/3597.00 c Solving Time (sec) : 3597.00
3588.44/3597.00 c Solving Nodes : 22792 (total of 23841 nodes in 2 runs)
3588.44/3597.00 c Primal Bound : +5.50000000000000e+01 (600 solutions)
3588.44/3597.00 c Dual Bound : +3.93362117261979e+01
3588.44/3597.00 c Gap : 39.82 %
3588.55/3597.00 s SATISFIABLE
3588.55/3597.00 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
3588.55/3597.00 v -x478 x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
3588.55/3597.00 v -x457 -x456 -x455 x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437
3588.55/3597.00 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
3588.55/3597.00 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
3588.55/3597.00 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374
3588.55/3597.00 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
3588.55/3597.00 v -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332
3588.55/3597.00 v x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311
3588.55/3597.00 v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290
3588.55/3597.00 v -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
3588.55/3597.00 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248
3588.55/3597.00 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 x230 -x229 -x228 -x227
3588.55/3597.00 v -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206
3588.55/3597.00 v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 x185
3588.55/3597.00 v -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
3588.55/3597.00 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
3588.55/3597.00 v -x141 -x140 -x139 -x138 x137 -x136 -x135 x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
3588.55/3597.00 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 -x100
3588.55/3597.00 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74
3588.55/3597.00 v x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 x62 -x61 x60 x59 -x58 -x57 -x56 -x55 x54 x53 -x52 -x51 -x50 -x49 -x48 -x47
3588.55/3597.00 v x46 x45 -x44 x43 -x42 x41 x40 x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 x20
3588.55/3597.00 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
3588.55/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.55/3597.00 c Total Time : 3597.00
3588.55/3597.00 c solving : 3597.00
3588.55/3597.00 c presolving : 0.10 (included in solving)
3588.55/3597.00 c reading : 0.02 (included in solving)
3588.55/3597.00 c copying : 0.07 (19 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3588.55/3597.00 c Original Problem :
3588.55/3597.00 c Problem name : HOME/instance-4459816-1721939463.opb
3588.55/3597.00 c Variables : 6828 (500 binary, 0 integer, 6328 implicit integer, 0 continuous)
3588.55/3597.00 c Constraints : 7328 initial, 7328 maximal
3588.55/3597.00 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.55/3597.00 c Presolved Problem :
3588.55/3597.00 c Problem name : t_HOME/instance-4459816-1721939463.opb
3588.55/3597.00 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.55/3597.00 c Constraints : 541 initial, 567 maximal
3588.55/3597.00 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.55/3597.00 c Nonzeros : 15446 constraint, 0 clique table
3588.55/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.55/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c dualfix : 0.00 0.00 5 6328 0 0 0 0 0 0 0 0
3588.55/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c linear : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c logicor : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c pseudoboolean : 0.01 0.00 1 0 0 0 0 0 7328 500 0 0
3588.55/3597.00 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c root node : - - - 0 - - 0 - - - - -
3588.55/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.55/3597.00 c benderslp : 0 0 0 0 23841 0 0 1891 0 0 0 0 0 0 0
3588.55/3597.00 c integral : 0 0 0 0 23841 0 0 1891 0 0 0 0 0 0 47682
3588.55/3597.00 c linear : 14 14 15 225546 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c logicor : 527+ 553 31 112795 0 0 0 1887 916 210 0 0 0 0 0
3588.55/3597.00 c benders : 0 0 0 0 0 0 0 703 0 0 0 0 0 0 0
3588.55/3597.00 c fixedvar : 0 0 0 0 0 0 0 701 0 0 0 0 0 0 0
3588.55/3597.00 c countsols : 0 0 0 0 0 0 0 701 0 0 0 0 0 0 0
3588.55/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.55/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c integral : 312.33 0.00 0.00 0.00 312.33 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c linear : 1.51 0.00 1.22 0.28 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c logicor : 0.23 0.00 0.00 0.22 0.00 0.00 0.00 0.01 0.00 0.00
3588.55/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c fixedvar : 0.16 0.00 0.00 0.00 0.00 0.00 0.00 0.16 0.00 0.00
3588.55/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.55/3597.00 c dualfix : 3 0 0 0
3588.55/3597.00 c genvbounds : 0 0 0 0
3588.55/3597.00 c nlobbt : 0 0 0 0
3588.55/3597.00 c obbt : 0 0 0 0
3588.55/3597.00 c probing : 0 0 0 0
3588.55/3597.00 c pseudoobj : 47716 0 0 0
3588.55/3597.00 c redcost : 35 0 0 0
3588.55/3597.00 c rootredcost : 4 0 0 0
3588.55/3597.00 c symmetry : 0 0 0 0
3588.55/3597.00 c vbounds : 0 0 0 0
3588.55/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.55/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3588.55/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
3588.55/3597.00 c pseudoobj : 0.04 0.00 0.00 0.04 0.00 0.00
3588.55/3597.00 c redcost : 0.03 0.00 0.00 0.03 0.00 0.00
3588.55/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3588.55/3597.00 c symmetry : 0.03 0.00 0.00 0.03 0.00 0.00
3588.55/3597.00 c vbounds : 0.03 0.00 0.00 0.02 0.00 0.00
3588.55/3597.00 c Symmetry :
3588.55/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.55/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.55/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3588.55/3597.00 c shadow tree time : 0.00 s
3588.55/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.55/3597.00 c propagation : 0.00 210 14 - 79 142.4 0 0.0 - - -
3588.55/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.55/3597.00 c bound exceed. LP : 0.79 2077 858 - 1157 85.7 0 0.0 0 0.0 7050
3588.55/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.55/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.55/3597.00 c applied globally : 0.00 - - 0 727 61.1 - - 0 - -
3588.55/3597.00 c applied locally : - - - 0 145 107.0 - - 0 - -
3588.55/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.55/3597.00 c cut pool : 28.56 - 9726 49 - - 208894 349619 - - - - - (maximal pool size: 5111)
3588.55/3597.00 c aggregation : 259.83 0.00 4464 31 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3588.55/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.55/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.55/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c gomory : 55.11 0.00 4107 20 0 0 208848 348708 0 4463 4463 0 0
3588.55/3597.00 c > gomorymi : - - - - - - - 232833 0 3630 3630 0 -
3588.55/3597.00 c > strongcg : - - - - - - - 115875 0 833 833 0 -
3588.55/3597.00 c impliedbounds : 0.06 0.00 4464 31 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c multilinear : 0.00 0.00 2624 31 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c rapidlearning : 0.02 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c rlt : 0.01 0.00 919 20 0 0 0 0 0 0 0 0 0
3588.55/3597.00 c zerohalf : 40.41 0.00 4118 31 0 0 46 911 0 57 57 0 0
3588.55/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.55/3597.00 c hybrid : 1.91 0.00 4520 31 4520 0 345099 31 0 6447
3588.55/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3588.55/3597.00 c problem variables: 0.00 - 0 0
3588.55/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.55/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c relpscost : 312.32 0.00 23841 0 0 0 0 0 0 47682
3588.55/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.55/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.55/3597.00 c LP solutions : 0.00 - - 0 0
3588.55/3597.00 c relax solutions : 0.00 - - 0 0
3588.55/3597.00 c pseudo solutions : 0.00 - - 0 0
3588.55/3597.00 c strong branching : 0.10 - - 139 0
3588.55/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3588.55/3597.00 c adaptivediving : 16.20 0.00 15 1 0
3588.55/3597.00 c alns : 1.06 0.00 5 0 0
3588.55/3597.00 c bound : 0.00 0.00 0 0 0
3588.55/3597.00 c clique : 0.00 0.00 0 0 0
3588.55/3597.00 c coefdiving : 0.00 0.00 0 0 0
3588.55/3597.00 c completesol : 0.00 0.00 0 0 0
3588.55/3597.00 c conflictdiving : 183.91 0.00 353 1 0
3588.55/3597.00 c crossover : 7.08 0.00 4 4 2
3588.55/3597.00 c dins : 0.00 0.00 0 0 0
3588.55/3597.00 c distributiondivin: 118.47 0.00 91 3 0
3588.55/3597.00 c dps : 0.00 0.00 0 0 0
3588.55/3597.00 c dualval : 0.00 0.00 0 0 0
3588.55/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3588.55/3597.00 c feasjump : 0.00 0.00 0 0 0
3588.55/3597.00 c feaspump : 0.00 0.00 0 0 0
3588.55/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3588.55/3597.00 c fracdiving : 81.92 0.00 84 2 0
3588.55/3597.00 c gins : 0.00 0.00 0 0 0
3588.55/3597.00 c guideddiving : 63.86 0.00 71 0 0
3588.55/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3588.55/3597.00 c indicator : 0.01 0.00 0 0 0
3588.55/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3588.55/3597.00 c indoneopt : 0.01 0.00 0 0 0
3588.55/3597.00 c indrounding : 0.00 0.00 0 0 0
3588.55/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3588.55/3597.00 c intdiving : 0.00 0.00 0 0 0
3588.55/3597.00 c intshifting : 0.00 0.00 0 0 0
3588.55/3597.00 c linesearchdiving : 60.73 0.00 93 0 0
3588.55/3597.00 c localbranching : 0.00 0.00 0 0 0
3588.55/3597.00 c locks : 0.00 0.00 1 1 1
3588.55/3597.00 c lpface : 0.01 0.00 0 0 0
3588.55/3597.00 c mpec : 0.00 0.00 0 0 0
3588.55/3597.00 c multistart : 0.00 0.00 0 0 0
3588.55/3597.00 c mutation : 0.00 0.00 0 0 0
3588.55/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3588.55/3597.00 c objpscostdiving : 42.21 0.00 32 66 0
3588.55/3597.00 c octane : 0.00 0.00 0 0 0
3588.55/3597.00 c ofins : 0.00 0.00 0 0 0
3588.55/3597.00 c oneopt : 0.01 0.00 3 0 0
3588.55/3597.00 c padm : 0.00 0.00 0 0 0
3588.55/3597.00 c proximity : 0.00 0.00 0 0 0
3588.55/3597.00 c pscostdiving : 268.49 0.00 391 160 0
3588.55/3597.00 c randrounding : 0.09 0.00 1182 0 0
3588.55/3597.00 c rens : 0.00 0.00 0 0 0
3588.55/3597.00 c reoptsols : 0.00 0.00 0 0 0
3588.55/3597.00 c repair : 0.00 0.00 0 0 0
3588.55/3597.00 c rins : 37.34 0.00 10 10 0
3588.55/3597.00 c rootsoldiving : 13.86 0.00 111 0 0
3588.55/3597.00 c rounding : 0.70 0.00 2356 0 0
3588.55/3597.00 c scheduler : 0.00 0.00 0 0 0
3588.55/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3588.55/3597.00 c shifting : 0.38 0.00 1064 0 0
3588.55/3597.00 c simplerounding : 0.49 0.00 28361 59 0
3588.55/3597.00 c smallcard : 0.00 0.00 0 0 0
3588.55/3597.00 c subnlp : 0.01 0.00 0 0 0
3588.55/3597.00 c trivial : 0.00 0.00 4 1 1
3588.55/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3588.55/3597.00 c trustregion : 0.00 0.00 0 0 0
3588.55/3597.00 c trysol : 0.00 0.00 0 0 0
3588.55/3597.00 c twoopt : 0.00 0.00 0 0 0
3588.55/3597.00 c undercover : 0.00 0.00 0 0 0
3588.55/3597.00 c vbounds : 0.00 0.00 0 0 0
3588.55/3597.00 c veclendiving : 66.03 0.00 159 0 0
3588.55/3597.00 c zeroobj : 0.00 0.00 0 0 0
3588.55/3597.00 c zirounding : 1.25 0.00 7651 153 0
3588.55/3597.00 c other solutions : - - - 0 -
3588.55/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.55/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.55/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.55/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.55/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.55/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.55/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.55/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.55/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.55/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3588.55/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.55/3597.00 c primal LP : 4.81 316 0 0.00 0.00 4.81 316
3588.55/3597.00 c dual LP : 1921.34 28361 12828041 452.31 6676.63 0.00 0
3588.55/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3588.55/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.55/3597.00 c resolve instable : 0.00 0 0 0.00 -
3588.55/3597.00 c diving/probing LP: 903.03 10003 9892698 988.97 10954.96
3588.55/3597.00 c strong branching : 288.66 2133 1783918 836.34 6180.03 - - 2441
3588.55/3597.00 c (at root node) : - 40 37754 943.85 -
3588.55/3597.00 c conflict analysis: 0.54 705 7050 10.00 12940.12
3588.55/3597.00 c B&B Tree :
3588.55/3597.00 c number of runs : 2
3588.55/3597.00 c nodes : 22792 (22792 internal, 0 leaves)
3588.55/3597.00 c feasible leaves : 0
3588.55/3597.00 c infeas. leaves : 0
3588.55/3597.00 c objective leaves : 0
3588.55/3597.00 c nodes (total) : 23841 (23841 internal, 0 leaves)
3588.55/3597.00 c nodes left : 22793
3588.55/3597.00 c max depth : 33
3588.55/3597.00 c max depth (total): 33
3588.55/3597.00 c backtracks : 5030 (22.1%)
3588.55/3597.00 c early backtracks : 0 (0.0%)
3588.55/3597.00 c nodes exc. ref. : 0 (0.0%)
3588.55/3597.00 c delayed cutoffs : 0
3588.55/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3588.55/3597.00 c avg switch length: 5.81
3588.55/3597.00 c switching time : 5.35
3588.55/3597.00 c Root Node :
3588.55/3597.00 c First LP value : +3.68368214105395e+01
3588.55/3597.00 c First LP Iters : 10408 (10418.48 Iter/sec)
3588.55/3597.00 c First LP Time : 1.00
3588.55/3597.00 c Final Dual Bound : +3.82528351763238e+01
3588.55/3597.00 c Final Root Iters : 25804
3588.55/3597.00 c Root LP Estimate : +4.88175743189380e+01
3588.55/3597.00 c Solution :
3588.55/3597.00 c Solutions found : 600 (4 improvements)
3588.55/3597.00 c First Solution : +5.00000000000000e+02 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trivial>)
3588.55/3597.00 c Gap First Sol. : infinite
3588.55/3597.00 c Gap Last Sol. : 40.26 %
3588.55/3597.00 c Primal Bound : +5.50000000000000e+01 (in run 2, after 14102 nodes, 2689.43 seconds, depth 30, found by <crossover>)
3588.55/3597.00 c Dual Bound : +3.93362117261979e+01
3588.55/3597.00 c Gap : 39.82 %
3588.55/3597.00 c Integrals : Total Avg%
3588.55/3597.00 c primal-dual : 109465.99 30.43
3588.55/3597.00 c primal-ref : - - (not evaluated)
3588.55/3597.00 c dual-ref : - - (not evaluated)
3588.74/3597.25 c Time complete: 3588.81.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60765 MiB free)
memory of node 1: 64473 MiB (59035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459816-1721939463/watcher-4459816-1721939463 -o /tmp/evaluation-result-4459816-1721939463/solver-4459816-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721939462-256853 --watchdog 3760 pbscip -f HOME/instance-4459816-1721939463.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=256907, runsolver pid=256904
[startup+0.100058 s]*
/proc/loadavg: 0.12 0.10 0.14 6/260 256914
/proc/meminfo: memFree=122624748/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=88436 memory=48452 CPUtime=0.09 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 8660 0 0 0 8 1 0 0 20 0 1 0 30469643 90558464 12113 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 22109 12113 3813 3540 0 10366 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 88436 KiB
Current children cumulated memory: 48452 KiB
[startup+0.205123 s]*
/proc/loadavg: 0.12 0.10 0.14 5/260 256914
/proc/meminfo: memFree=122599296/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=88736 memory=48716 CPUtime=0.2 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 8759 0 0 0 19 1 0 0 20 0 1 0 30469643 90865664 12179 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 22184 12179 3813 3540 0 10441 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88736 KiB
Current children cumulated memory: 48716 KiB
[startup+0.304727 s]*
/proc/loadavg: 0.12 0.10 0.14 5/260 256914
/proc/meminfo: memFree=122582348/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=89192 memory=49244 CPUtime=0.3 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 8846 0 0 0 29 1 0 0 20 0 1 0 30469643 91332608 12311 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 22298 12311 3813 3540 0 10555 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 49244 KiB
[startup+0.700141 s]
/proc/loadavg: 0.12 0.10 0.14 5/260 256914
/proc/meminfo: memFree=122557548/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=90172 memory=49900 CPUtime=0.69 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 9122 0 0 0 68 1 0 0 20 0 1 0 30469643 92336128 12475 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 22543 12475 3813 3540 0 10800 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90172 KiB
Current children cumulated memory: 49900 KiB
[startup+1.50019 s]
/proc/loadavg: 0.12 0.10 0.14 5/260 256914
/proc/meminfo: memFree=122547804/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=130548 memory=89796 CPUtime=1.49 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 19747 0 0 0 146 3 0 0 20 0 1 0 30469643 133681152 22449 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 32637 22449 3829 3540 0 20894 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 130548 KiB
Current children cumulated memory: 89796 KiB
[startup+3.10558 s]
/proc/loadavg: 0.12 0.10 0.14 4/257 256930
/proc/meminfo: memFree=122443740/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=200584 memory=158964 CPUtime=3.09 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 37045 0 0 0 304 5 0 0 20 0 1 0 30469643 205398016 39741 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 50146 39741 3829 3540 0 38403 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 200584 KiB
Current children cumulated memory: 158964 KiB
[startup+6.30014 s]
/proc/loadavg: 0.43 0.17 0.16 4/255 256995
/proc/meminfo: memFree=122439020/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=202724 memory=160340 CPUtime=6.27 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 37367 0 0 0 622 5 0 0 20 0 1 0 30469643 207589376 40085 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 50681 40085 3844 3540 0 38938 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 202724 KiB
Current children cumulated memory: 160340 KiB
[startup+12.7001 s]
/proc/loadavg: 0.63 0.21 0.18 4/255 256996
/proc/meminfo: memFree=122404408/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=201852 memory=160020 CPUtime=12.66 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 37476 0 0 0 1260 6 0 0 20 0 1 0 30469643 206696448 40005 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 50463 40005 3876 3540 0 38720 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 201852 KiB
Current children cumulated memory: 160020 KiB
[startup+25.5001 s]
/proc/loadavg: 1.16 0.35 0.22 4/255 256998
/proc/meminfo: memFree=122382084/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=202876 memory=161076 CPUtime=25.43 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 37705 0 0 0 2536 7 0 0 20 0 1 0 30469643 207745024 40269 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 50719 40269 3876 3540 0 38976 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 202876 KiB
Current children cumulated memory: 161076 KiB
[startup+51.1054 s]
/proc/loadavg: 1.85 0.58 0.30 4/255 257001
/proc/meminfo: memFree=122246424/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=273480 memory=231828 CPUtime=50.98 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 55407 0 0 0 5086 12 0 0 20 0 1 0 30469643 280043520 57957 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 68370 57957 3876 3540 0 56627 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 273480 KiB
Current children cumulated memory: 231828 KiB
[startup+102.3 s]
/proc/loadavg: 2.55 0.97 0.45 4/255 257012
/proc/meminfo: memFree=122110360/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358236 memory=313668 CPUtime=102.06 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 75872 0 0 0 10186 20 0 0 20 0 1 0 30469643 366833664 78417 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89559 78417 3876 3540 0 77816 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 358236 KiB
Current children cumulated memory: 313668 KiB
[startup+162.3 s]
/proc/loadavg: 2.94 1.37 0.63 4/255 257023
/proc/meminfo: memFree=122038668/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=314148 CPUtime=161.93 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76024 0 0 0 16162 31 0 0 20 0 1 0 30469643 366637056 78537 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 78537 3987 3540 0 77768 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 314148 KiB
[startup+222.3 s]
/proc/loadavg: 3.04 1.69 0.78 4/253 257033
/proc/meminfo: memFree=121983596/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=314148 CPUtime=221.79 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76030 0 0 0 22137 42 0 0 20 0 1 0 30469643 366637056 78537 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 78537 3987 3540 0 77768 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 314148 KiB
[startup+282.3 s]
/proc/loadavg: 3.14 1.96 0.93 4/249 257043
/proc/meminfo: memFree=121936712/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=314148 CPUtime=281.65 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76036 0 0 0 28112 53 0 0 20 0 1 0 30469643 366637056 78537 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 78537 3987 3540 0 77768 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 314148 KiB
[startup+342.3 s]
/proc/loadavg: 3.11 2.17 1.07 4/247 257053
/proc/meminfo: memFree=121890320/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=314148 CPUtime=341.52 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76046 0 0 0 34088 64 0 0 20 0 1 0 30469643 366637056 78537 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 78537 3987 3540 0 77768 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 314148 KiB
[startup+402.3 s]
/proc/loadavg: 3.09 2.34 1.20 4/247 257064
/proc/meminfo: memFree=121857352/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=316372 CPUtime=401.39 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76305 0 0 0 40064 75 0 0 20 0 1 0 30469643 366637056 79093 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 79093 3987 3540 0 77768 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 316372 KiB
[startup+462.3 s]
/proc/loadavg: 3.15 2.49 1.33 4/247 257074
/proc/meminfo: memFree=121785152/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=392172 memory=350892 CPUtime=461.24 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 85163 0 0 0 46048 76 0 0 20 0 1 0 30469643 401584128 87723 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 98043 87723 3987 3540 0 86300 0
################
# More data... #
################
/proc/loadavg: 2.08 2.12 2.16 3/243 258169
/proc/meminfo: memFree=121481152/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=517660 memory=479420 CPUtime=3155 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 123357 0 0 0 315417 83 0 0 20 0 1 0 30469643 530083840 119855 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129415 119855 3987 3540 0 117672 0
Current children cumulated CPU time: 3155 s
Current children cumulated vsize: 517660 KiB
Current children cumulated memory: 479420 KiB
[startup+3222.3 s]
/proc/loadavg: 2.13 2.12 2.16 3/243 258180
/proc/meminfo: memFree=121476784/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=517660 memory=479492 CPUtime=3214.84 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 123560 0 0 0 321401 83 0 0 20 0 1 0 30469643 530083840 119873 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129415 119873 3987 3540 0 117672 0
Current children cumulated CPU time: 3214.84 s
Current children cumulated vsize: 517660 KiB
Current children cumulated memory: 479492 KiB
[startup+3282.3 s]
/proc/loadavg: 2.18 2.13 2.16 3/244 258576
/proc/meminfo: memFree=121572144/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=517660 memory=479732 CPUtime=3274.67 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 123819 0 0 0 327384 83 0 0 20 0 1 0 30469643 530083840 119933 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129415 119933 3987 3540 0 117672 0
Current children cumulated CPU time: 3274.67 s
Current children cumulated vsize: 517660 KiB
Current children cumulated memory: 479732 KiB
[startup+3342.3 s]
/proc/loadavg: 2.18 2.14 2.16 3/242 258586
/proc/meminfo: memFree=121566680/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=518108 memory=480220 CPUtime=3334.5 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 124157 0 0 0 333367 83 0 0 20 0 1 0 30469643 530542592 120055 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129527 120055 3987 3540 0 117784 0
Current children cumulated CPU time: 3334.5 s
Current children cumulated vsize: 518108 KiB
Current children cumulated memory: 480220 KiB
[startup+3402.3 s]
/proc/loadavg: 2.12 2.12 2.15 3/242 258597
/proc/meminfo: memFree=121554572/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=518108 memory=480248 CPUtime=3394.34 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 124356 0 0 0 339351 83 0 0 20 0 1 0 30469643 530542592 120062 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129527 120062 3987 3540 0 117784 0
Current children cumulated CPU time: 3394.34 s
Current children cumulated vsize: 518108 KiB
Current children cumulated memory: 480248 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.11 2.14 3/243 258608
/proc/meminfo: memFree=121553748/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=518108 memory=480296 CPUtime=3454.17 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 124554 0 0 0 345334 83 0 0 20 0 1 0 30469643 530542592 120074 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129527 120074 3987 3540 0 117784 0
Current children cumulated CPU time: 3454.17 s
Current children cumulated vsize: 518108 KiB
Current children cumulated memory: 480296 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.12 2.14 3/245 258789
/proc/meminfo: memFree=121541304/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=518108 memory=480316 CPUtime=3514.01 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 124756 0 0 0 351318 83 0 0 20 0 1 0 30469643 530542592 120079 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129527 120079 3987 3540 0 117784 0
Current children cumulated CPU time: 3514.01 s
Current children cumulated vsize: 518108 KiB
Current children cumulated memory: 480316 KiB
[startup+3582.3 s]
/proc/loadavg: 2.10 2.11 2.14 3/247 258858
/proc/meminfo: memFree=121536220/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3573.87 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125591 0 0 0 357304 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3573.87 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3597.26 s]
# the end of solver process 256907 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.97 s, system=0.839931 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.10 2.11 2.14 3/247 258858
/proc/meminfo: memFree=121536276/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3575.57 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125592 0 0 0 357474 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3575.57 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3590.4 s]
/proc/loadavg: 2.09 2.11 2.14 3/247 258858
/proc/meminfo: memFree=121536260/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3581.96 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125594 0 0 0 358113 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3581.96 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3593.6 s]
/proc/loadavg: 2.08 2.11 2.14 3/245 258859
/proc/meminfo: memFree=121536236/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3585.15 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358432 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3585.15 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3595.2 s]
/proc/loadavg: 2.08 2.11 2.14 3/245 258860
/proc/meminfo: memFree=121536076/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3586.75 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358592 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3586.75 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3596 s]*
/proc/loadavg: 2.16 2.12 2.14 3/245 258860
/proc/meminfo: memFree=121536084/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3587.55 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358672 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3587.55 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3596.8 s]
/proc/loadavg: 2.16 2.12 2.14 3/245 258860
/proc/meminfo: memFree=121536084/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3588.34 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358751 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3588.34 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
[startup+3597.2 s]
/proc/loadavg: 2.16 2.12 2.14 3/245 258860
/proc/meminfo: memFree=121827588/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3588.74 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358791 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB
Child status: 0
Real time (s): 3597.26
CPU time (s): 3588.81
CPU user time (s): 3587.97
CPU system time (s): 0.839931
CPU usage (%): 99.7652
Max. virtual memory (cumulated for all children) (KiB): 521516
Max. memory (cumulated for all children) (KiB): 483012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.97
system time used= 0.839931
maximum resident set size= 483012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125625
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= 36
involuntary context switches= 1859
# summary of solver processes directly reported to runsolver:
# pid: 256907
# total CPU time (s): 3588.81
# total CPU user time (s): 3587.97
# total CPU system time (s): 0.839931
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21365 second user time and 13.4421 second system time
The end