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-4432639-1721075018.opb>
0.00/0.01 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 o 1968
0.00/0.02 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.968000e+03
0.00/0.02 c presolving:
0.00/0.02 c (round 1, fast) 178 del vars, 178 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3820 clqs
0.00/0.02 c (round 2, fast) 358 del vars, 818 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3180 clqs
0.00/0.02 c (round 3, fast) 414 del vars, 940 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3058 clqs
0.00/0.02 c (round 4, fast) 449 del vars, 1031 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2967 clqs
0.00/0.03 c (round 5, fast) 468 del vars, 1068 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2930 clqs
0.00/0.03 c (round 6, fast) 479 del vars, 1107 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2891 clqs
0.00/0.03 c (round 7, fast) 484 del vars, 1116 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2882 clqs
0.00/0.03 c (round 8, fast) 488 del vars, 1127 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2871 clqs
0.00/0.03 c (round 9, fast) 489 del vars, 1130 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2868 clqs
0.00/0.03 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.04 c (round 10, exhaustive) 489 del vars, 1132 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2868 upgd conss, 0 impls, 2868 clqs
0.00/0.06 c (0.1s) probing: 51/1479 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.06 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.06 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.06 c presolving (11 rounds: 11 fast, 2 medium, 2 exhaustive):
0.00/0.06 c 489 deleted vars, 1132 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 0 implications, 2868 cliques
0.00/0.06 c presolved problem has 1479 variables (1479 bin, 0 int, 0 impl, 0 cont) and 2868 constraints
0.00/0.06 c 2868 constraints of type <setppc>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.05
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 10.0.0
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.06 c limits/time = 3596.997011
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.06 c limits/memory = 27900
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.07 o 1719
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 |1479 |2868 | 0 | 0 | 0 | 0 | 0 | 2.400000e+02 | 1.719000e+03 | 616.25%| unknown
0.00/0.08 o 1196
0.00/0.08 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |1479 |2868 |2868 | 0 | 0 | 0 | 0 | 2.400000e+02 | 1.196000e+03 | 398.33%| unknown
0.00/0.09 o 1080
0.00/0.09 c p 0.1s| 1 | 0 | 0 | - | locks| 0 |1479 |2868 |2868 | 0 | 0 | 0 | 0 | 2.400000e+02 | 1.080000e+03 | 350.00%| unknown
0.10/0.11 o 1073
0.10/0.11 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 |1479 |2868 |2868 | 0 | 0 | 0 | 0 | 2.400000e+02 | 1.073000e+03 | 347.08%| unknown
0.10/0.14 c 0.1s| 1 | 0 | 1872 | - | 23M | 0 |1479 |2868 |2868 | 0 | 0 | 0 | 0 | 9.795000e+02 | 1.073000e+03 | 9.55%| unknown
0.32/0.36 c 0.4s| 1 | 0 | 2508 | - | 26M | 0 |1479 |2868 |2893 | 25 | 1 | 0 | 0 | 9.897500e+02 | 1.073000e+03 | 8.41%| unknown
0.60/0.62 c 0.6s| 1 | 0 | 3175 | - | 27M | 0 |1479 |2868 |2918 | 50 | 2 | 0 | 0 | 9.947500e+02 | 1.073000e+03 | 7.87%| unknown
0.89/0.99 c 1.0s| 1 | 0 | 4534 | - | 28M | 0 |1479 |2868 |2939 | 71 | 3 | 0 | 0 | 9.975000e+02 | 1.073000e+03 | 7.57%| unknown
1.49/1.54 c 1.5s| 1 | 0 | 5774 | - | 33M | 0 |1479 |2868 |2952 | 84 | 4 | 0 | 0 | 9.985000e+02 | 1.073000e+03 | 7.46%| unknown
2.38/2.44 c 2.4s| 1 | 0 | 7748 | - | 45M | 0 |1479 |2868 |2974 | 106 | 5 | 0 | 0 | 1.001523e+03 | 1.073000e+03 | 7.14%| unknown
2.99/3.11 c 3.1s| 1 | 0 | 9982 | - | 56M | 0 |1479 |2868 |2991 | 123 | 6 | 0 | 0 | 1.003213e+03 | 1.073000e+03 | 6.96%| unknown
4.47/4.51 c 4.5s| 1 | 0 | 10808 | - | 69M | 0 |1479 |2868 |2996 | 128 | 7 | 0 | 0 | 1.004113e+03 | 1.073000e+03 | 6.86%| unknown
5.56/5.68 c 5.7s| 1 | 0 | 11301 | - | 84M | 0 |1479 |2868 |2997 | 129 | 8 | 0 | 0 | 1.004304e+03 | 1.073000e+03 | 6.84%| unknown
6.66/6.75 c 6.7s| 1 | 0 | 11732 | - | 101M | 0 |1479 |2868 |3000 | 132 | 9 | 0 | 0 | 1.004399e+03 | 1.073000e+03 | 6.83%| unknown
7.85/7.96 c 8.0s| 1 | 0 | 12067 | - | 119M | 0 |1479 |2868 |3003 | 135 | 10 | 0 | 0 | 1.004415e+03 | 1.073000e+03 | 6.83%| unknown
8.06/8.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.06/8.16 c 8.2s| 1 | 0 | 12724 | - | 119M | 0 |1479 |2868 |3004 | 138 | 11 | 0 | 0 | 1.004667e+03 | 1.073000e+03 | 6.80%| unknown
8.25/8.30 c 8.3s| 1 | 0 | 12820 | - | 119M | 0 |1479 |2868 |3006 | 140 | 12 | 0 | 0 | 1.004673e+03 | 1.073000e+03 | 6.80%| unknown
8.35/8.44 c 8.4s| 1 | 0 | 12907 | - | 120M | 0 |1479 |2868 |3008 | 142 | 13 | 0 | 0 | 1.004676e+03 | 1.073000e+03 | 6.80%| unknown
8.45/8.59 c 8.6s| 1 | 0 | 12935 | - | 120M | 0 |1479 |2868 |3010 | 144 | 14 | 0 | 0 | 1.004676e+03 | 1.073000e+03 | 6.80%| unknown
8.65/8.74 c 8.7s| 1 | 0 | 12998 | - | 120M | 0 |1479 |2868 |3012 | 146 | 15 | 0 | 0 | 1.004677e+03 | 1.073000e+03 | 6.80%| unknown
8.85/8.92 c 8.9s| 1 | 0 | 13171 | - | 121M | 0 |1479 |2868 |3014 | 148 | 16 | 0 | 0 | 1.004685e+03 | 1.073000e+03 | 6.80%| unknown
8.96/9.11 c 9.1s| 1 | 0 | 13240 | - | 122M | 0 |1479 |2868 |2994 | 151 | 17 | 0 | 0 | 1.004689e+03 | 1.073000e+03 | 6.80%| unknown
9.15/9.29 c 9.3s| 1 | 0 | 13296 | - | 122M | 0 |1479 |2868 |2997 | 154 | 18 | 0 | 0 | 1.004689e+03 | 1.073000e+03 | 6.80%| unknown
9.35/9.49 c 9.5s| 1 | 0 | 13331 | - | 122M | 0 |1479 |2868 |3000 | 157 | 19 | 0 | 0 | 1.004689e+03 | 1.073000e+03 | 6.80%| unknown
9.55/9.68 c 9.7s| 1 | 0 | 13339 | - | 122M | 0 |1479 |2868 |3001 | 158 | 20 | 0 | 0 | 1.004689e+03 | 1.073000e+03 | 6.80%| unknown
12.25/12.34 c 12.3s| 1 | 2 | 13339 | - | 122M | 0 |1479 |2868 |3001 | 158 | 21 | 0 | 22 | 1.005147e+03 | 1.073000e+03 | 6.75%| unknown
28.90/29.07 o 1060
28.90/29.07 c d29.1s| 15 | 16 | 28842 |1107.4 |pscostdi| 14 |1479 |2868 |3009 | 0 | 1 | 0 | 174 | 1.005371e+03 | 1.060000e+03 | 5.43%| unknown
40.96/41.13 o 1052
40.96/41.13 c *41.1s| 77 | 73 | 59022 | 601.1 | LP | 52 |1479 |2890 |3048 | 304 | 1 | 22 | 185 | 1.005371e+03 | 1.052000e+03 | 4.64%| unknown
40.96/41.14 o 1051
40.96/41.14 c *41.1s| 78 | 71 | 59035 | 593.5 | LP | 52 |1479 |2890 |3048 | 304 | 1 | 22 | 185 | 1.005371e+03 | 1.051000e+03 | 4.54%| unknown
40.96/41.15 o 1050
40.96/41.15 c *41.2s| 81 | 70 | 59137 | 572.5 | LP | 52 |1479 |2890 |3048 | 304 | 1 | 22 | 185 | 1.005371e+03 | 1.050000e+03 | 4.44%| unknown
40.96/41.18 o 1049
40.96/41.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.96/41.18 c *41.2s| 86 | 68 | 59253 | 540.2 | LP | 52 |1479 |2890 |3048 | 304 | 1 | 22 | 185 | 1.005371e+03 | 1.049000e+03 | 4.34%| unknown
41.05/41.27 c 41.3s| 100 | 68 | 59812 | 469.4 | 155M | 52 |1479 |2890 |3048 | 304 | 1 | 22 | 185 | 1.005371e+03 | 1.049000e+03 | 4.34%| unknown
44.42/44.62 c 44.6s| 200 | 66 | 65780 | 263.5 | 161M | 52 |1479 |3045 |3056 | 341 | 1 | 177 | 226 | 1.005371e+03 | 1.049000e+03 | 4.34%| unknown
54.58/54.82 o 1048
54.58/54.82 c *54.8s| 277 | 95 | 99382 | 311.8 | LP | 52 |1479 |3092 |3060 | 422 | 1 | 224 | 254 | 1.006399e+03 | 1.048000e+03 | 4.13%| unknown
54.68/54.99 c 55.0s| 300 | 92 |100785 | 292.5 | 179M | 52 |1479 |3092 |3060 | 422 | 0 | 224 | 254 | 1.006399e+03 | 1.048000e+03 | 4.13%| unknown
63.65/63.96 o 1047
63.65/63.96 c *64.0s| 351 | 97 |114321 | 288.5 | LP | 52 |1479 |3093 |3056 | 539 | 1 | 225 | 254 | 1.006447e+03 | 1.047000e+03 | 4.03%| unknown
72.23/72.53 c 72.5s| 400 | 98 |123759 | 276.7 | 223M | 52 |1479 |3187 |3054 | 674 | 0 | 319 | 288 | 1.006447e+03 | 1.047000e+03 | 4.03%| unknown
80.60/80.99 c 81.0s| 500 | 120 |148864 | 271.6 | 224M | 52 |1479 |3246 |3100 | 879 | 1 | 378 | 303 | 1.006824e+03 | 1.047000e+03 | 3.99%| unknown
91.57/91.93 c 91.9s| 600 | 154 |196708 | 306.1 | 234M | 52 |1479 |3368 |3065 |1060 | 1 | 500 | 346 | 1.008255e+03 | 1.047000e+03 | 3.84%| unknown
97.25/97.62 c 97.6s| 700 | 157 |217921 | 292.7 | 238M | 52 |1479 |3426 |3065 |1197 | 1 | 560 | 370 | 1.008317e+03 | 1.047000e+03 | 3.84%| unknown
107.02/107.47 c 107s| 800 | 161 |246774 | 292.2 | 247M | 52 |1479 |3492 |3108 |1368 | 0 | 639 | 412 | 1.008698e+03 | 1.047000e+03 | 3.80%| unknown
112.30/112.71 o 1043
112.30/112.71 c d 113s| 846 | 160 |268572 | 302.1 |guideddi| 52 |1479 |3502 |3098 | 0 | 4 | 651 | 412 | 1.008850e+03 | 1.043000e+03 | 3.39%| unknown
112.30/112.73 o 1042
112.30/112.73 c i 113s| 847 | 155 |268626 | 301.8 | oneopt| 52 |1479 |3502 |3094 |1505 | 0 | 651 | 412 | 1.008850e+03 | 1.042000e+03 | 3.29%| unknown
117.59/118.05 c 118s| 900 | 184 |302187 | 321.3 | 251M | 52 |1479 |3548 |3084 |1674 | 2 | 710 | 440 | 1.008968e+03 | 1.042000e+03 | 3.27%| unknown
132.33/132.83 c 133s| 1000 | 274 |379553 | 366.6 | 256M | 52 |1479 |3638 |3046 |2059 | 1 | 816 | 504 | 1.009105e+03 | 1.042000e+03 | 3.26%| unknown
136.12/136.68 o 1040
136.12/136.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
136.12/136.68 c L 137s| 1047 | 284 |405504 | 374.9 |crossove| 52 |1479 |3694 |3034 |2059 | 1 | 881 | 521 | 1.009105e+03 | 1.040000e+03 | 3.06%| unknown
148.29/148.86 c 149s| 1100 | 319 |460392 | 406.8 | 265M | 52 |1479 |3723 |3067 |2265 | 1 | 919 | 556 | 1.009140e+03 | 1.040000e+03 | 3.06%| unknown
183.97/184.62 c 185s| 1200 | 407 |588104 | 479.4 | 353M | 52 |1479 |3804 |3082 |3081 | 1 |1022 | 631 | 1.009415e+03 | 1.040000e+03 | 3.03%| unknown
211.68/212.44 c 212s| 1300 | 465 |691266 | 521.9 | 397M | 52 |1479 |3824 |3123 |3727 | 1 |1052 | 691 | 1.009422e+03 | 1.040000e+03 | 3.03%| unknown
226.64/227.46 c 227s| 1400 | 479 |756810 | 531.4 | 397M | 52 |1479 |3853 |3126 |3997 | 0 |1091 | 730 | 1.009660e+03 | 1.040000e+03 | 3.00%| unknown
237.50/238.30 c 238s| 1500 | 491 |798960 | 524.1 | 398M | 52 |1479 |3893 |3120 |4262 | 0 |1134 | 744 | 1.009903e+03 | 1.040000e+03 | 2.98%| unknown
240.79/241.65 c 242s| 1600 | 495 |816279 | 502.2 | 392M | 52 |1479 |3994 |3129 |4311 | 1 |1254 | 783 | 1.009903e+03 | 1.040000e+03 | 2.98%| unknown
247.87/248.77 c 249s| 1700 | 497 |843030 | 488.3 | 392M | 52 |1479 |4003 |3124 |4469 | 0 |1265 | 812 | 1.010007e+03 | 1.040000e+03 | 2.97%| unknown
258.34/259.28 c 259s| 1800 | 511 |880289 | 481.9 | 392M | 52 |1479 |4054 |3136 |4714 | 1 |1328 | 835 | 1.010048e+03 | 1.040000e+03 | 2.97%| unknown
265.81/266.79 c 267s| 1900 | 513 |909841 | 472.1 | 393M | 52 |1479 |4123 |3117 |4852 | 0 |1420 | 872 | 1.010068e+03 | 1.040000e+03 | 2.96%| unknown
277.27/278.23 c 278s| 2000 | 529 |951981 | 469.6 | 394M | 52 |1479 |4188 |3128 |5100 | 1 |1500 | 920 | 1.010207e+03 | 1.040000e+03 | 2.95%| unknown
283.17/284.17 c 284s| 2100 | 533 |977915 | 459.5 | 393M | 52 |1479 |4188 |3140 |5282 | 1 |1500 | 934 | 1.010595e+03 | 1.040000e+03 | 2.91%| unknown
295.32/296.39 c 296s| 2200 | 551 | 1026k| 460.9 | 394M | 52 |1479 |4228 |3138 |5561 | 1 |1544 | 962 | 1.010878e+03 | 1.040000e+03 | 2.88%| unknown
307.09/308.17 c 308s| 2300 | 561 | 1091k| 468.9 | 394M | 52 |1479 |4228 |3130 |5794 | 1 |1545 | 975 | 1.011192e+03 | 1.040000e+03 | 2.85%| unknown
312.46/313.58 c 314s| 2400 | 565 | 1120k| 461.5 | 395M | 52 |1479 |4294 |3123 |5908 | 1 |1627 |1022 | 1.011192e+03 | 1.040000e+03 | 2.85%| unknown
323.23/324.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
323.23/324.39 c 324s| 2500 | 577 | 1165k| 461.1 | 396M | 52 |1479 |4347 |3138 |6217 | 0 |1694 |1050 | 1.011292e+03 | 1.040000e+03 | 2.84%| unknown
334.30/335.42 c 335s| 2600 | 589 | 1207k| 459.6 | 398M | 52 |1479 |4347 |3140 |6497 | 0 |1697 |1076 | 1.011467e+03 | 1.040000e+03 | 2.82%| unknown
342.77/343.95 c 344s| 2700 | 593 | 1248k| 457.6 | 397M | 52 |1479 |4406 |3155 |6699 | 0 |1769 |1105 | 1.011519e+03 | 1.040000e+03 | 2.82%| unknown
354.63/355.85 c 356s| 2800 | 609 | 1295k| 458.2 | 399M | 52 |1479 |4433 |3154 |6939 | 2 |1810 |1141 | 1.011749e+03 | 1.040000e+03 | 2.79%| unknown
363.00/364.28 c 364s| 2900 | 613 | 1332k| 455.1 | 398M | 52 |1479 |4463 |3166 |7123 | 4 |1851 |1178 | 1.011801e+03 | 1.040000e+03 | 2.79%| unknown
373.97/375.29 c 375s| 3000 | 625 | 1379k| 455.5 | 399M | 52 |1479 |4530 |3150 |7448 | 0 |1934 |1214 | 1.011877e+03 | 1.040000e+03 | 2.78%| unknown
390.61/392.00 c 392s| 3100 | 645 | 1437k| 459.4 | 401M | 52 |1479 |4547 |3146 |7877 | 1 |1957 |1252 | 1.012013e+03 | 1.040000e+03 | 2.77%| unknown
396.49/397.83 c 398s| 3200 | 655 | 1468k| 454.8 | 401M | 52 |1479 |4547 |3154 |8017 | 1 |1957 |1264 | 1.012021e+03 | 1.040000e+03 | 2.76%| unknown
403.27/404.63 c 405s| 3300 | 661 | 1504k| 451.9 | 402M | 52 |1479 |4677 |3153 |8137 | 1 |2124 |1310 | 1.012070e+03 | 1.040000e+03 | 2.76%| unknown
410.54/411.99 c 412s| 3400 | 663 | 1536k| 448.0 | 403M | 52 |1479 |4747 |3155 |8309 | 0 |2218 |1342 | 1.012133e+03 | 1.040000e+03 | 2.75%| unknown
415.82/417.26 c 417s| 3500 | 663 | 1565k| 443.6 | 403M | 52 |1479 |4747 |3158 |8415 | 0 |2218 |1366 | 1.012133e+03 | 1.040000e+03 | 2.75%| unknown
422.60/424.04 c 424s| 3600 | 669 | 1598k| 440.4 | 403M | 52 |1479 |4801 |3162 |8556 | 0 |2296 |1397 | 1.012400e+03 | 1.040000e+03 | 2.73%| unknown
436.55/438.08 c 438s| 3700 | 681 | 1669k| 447.8 | 404M | 52 |1479 |4798 |3165 |8844 | 0 |2296 |1421 | 1.012591e+03 | 1.040000e+03 | 2.71%| unknown
441.72/443.23 c 443s| 3800 | 681 | 1696k| 443.0 | 404M | 52 |1479 |4861 |3164 |8906 | 1 |2381 |1465 | 1.012591e+03 | 1.040000e+03 | 2.71%| unknown
450.19/451.72 c 452s| 3900 | 685 | 1736k| 442.0 | 405M | 52 |1479 |4990 |3156 |9120 | 1 |2552 |1510 | 1.012607e+03 | 1.040000e+03 | 2.71%| unknown
456.17/457.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
456.17/457.75 c 458s| 4000 | 689 | 1771k| 439.5 | 405M | 52 |1479 |5000 |3184 |9238 | 1 |2570 |1538 | 1.012607e+03 | 1.040000e+03 | 2.71%| unknown
461.56/463.17 c 463s| 4100 | 691 | 1804k| 436.9 | 405M | 52 |1479 |5047 |3194 |9301 | 1 |2637 |1571 | 1.012607e+03 | 1.040000e+03 | 2.71%| unknown
473.01/474.61 c 475s| 4200 | 699 | 1851k| 437.6 | 405M | 52 |1479 |5021 |3187 |9560 | 0 |2641 |1599 | 1.012630e+03 | 1.040000e+03 | 2.70%| unknown
482.17/483.89 c 484s| 4300 | 709 | 1898k| 438.5 | 405M | 52 |1479 |5095 |3184 |9736 | 1 |2744 |1643 | 1.012868e+03 | 1.040000e+03 | 2.68%| unknown
489.04/490.74 c 491s| 4400 | 715 | 1937k| 437.4 | 405M | 52 |1479 |5099 |3188 |9890 | 0 |2767 |1669 | 1.012881e+03 | 1.040000e+03 | 2.68%| unknown
502.79/504.52 c 505s| 4500 | 729 | 1993k| 440.1 | 408M | 52 |1479 |5180 |3188 | 10k| 0 |2886 |1719 | 1.012946e+03 | 1.040000e+03 | 2.67%| unknown
518.25/520.10 c 520s| 4600 | 747 | 2046k| 442.2 | 409M | 52 |1479 |5178 |3192 | 10k| 0 |2926 |1762 | 1.012994e+03 | 1.040000e+03 | 2.67%| unknown
522.72/524.50 c 525s| 4700 | 747 | 2074k| 438.6 | 409M | 52 |1479 |5201 |3198 | 10k| 0 |2959 |1784 | 1.012994e+03 | 1.040000e+03 | 2.67%| unknown
527.41/529.24 c 529s| 4800 | 743 | 2105k| 435.9 | 409M | 52 |1479 |5237 |3193 | 10k| 0 |3009 |1811 | 1.012994e+03 | 1.040000e+03 | 2.67%| unknown
535.67/537.57 c 538s| 4900 | 749 | 2147k| 435.6 | 409M | 52 |1479 |5272 |3190 | 10k| 0 |3080 |1845 | 1.013018e+03 | 1.040000e+03 | 2.66%| unknown
542.85/544.70 c 545s| 5000 | 759 | 2184k| 434.4 | 409M | 52 |1479 |5301 |3177 | 11k| 1 |3131 |1878 | 1.013041e+03 | 1.040000e+03 | 2.66%| unknown
550.13/552.03 c 552s| 5100 | 765 | 2219k| 432.7 | 410M | 52 |1479 |5369 |3188 | 11k| 1 |3233 |1909 | 1.013054e+03 | 1.040000e+03 | 2.66%| unknown
558.39/560.38 c 560s| 5200 | 769 | 2253k| 430.8 | 410M | 52 |1479 |5376 |3194 | 11k| 0 |3266 |1939 | 1.013094e+03 | 1.040000e+03 | 2.66%| unknown
566.17/568.15 c 568s| 5300 | 777 | 2290k| 429.7 | 410M | 52 |1479 |5501 |3191 | 11k| 2 |3452 |1991 | 1.013132e+03 | 1.040000e+03 | 2.65%| unknown
571.64/573.60 c 574s| 5400 | 775 | 2320k| 427.3 | 409M | 52 |1479 |5713 |3188 | 11k| 1 |3722 |2062 | 1.013132e+03 | 1.040000e+03 | 2.65%| unknown
584.59/586.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
584.59/586.62 c 587s| 5500 | 791 | 2375k| 429.5 | 410M | 52 |1479 |5725 |3193 | 11k| 1 |3818 |2100 | 1.013263e+03 | 1.040000e+03 | 2.64%| unknown
592.56/594.69 c 595s| 5600 | 799 | 2413k| 428.7 | 410M | 52 |1479 |5796 |3193 | 11k| 2 |3931 |2144 | 1.013324e+03 | 1.040000e+03 | 2.63%| unknown
597.35/599.42 c 599s| 5700 | 795 | 2441k| 426.0 | 410M | 52 |1479 |5940 |3192 | 11k| 1 |4112 |2197 | 1.013324e+03 | 1.040000e+03 | 2.63%| unknown
615.58/617.73 c 618s| 5800 | 819 | 2507k| 430.1 | 411M | 52 |1479 |5988 |3196 | 12k| 0 |4269 |2266 | 1.013593e+03 | 1.040000e+03 | 2.61%| unknown
623.75/625.98 c 626s| 5900 | 821 | 2545k| 429.3 | 411M | 52 |1479 |6147 |3184 | 12k| 0 |4483 |2323 | 1.013680e+03 | 1.040000e+03 | 2.60%| unknown
637.50/639.77 c 640s| 6000 | 835 | 2601k| 431.5 | 413M | 52 |1479 |6210 |3192 | 12k| 1 |4622 |2380 | 1.013733e+03 | 1.040000e+03 | 2.59%| unknown
645.78/648.03 c 648s| 6100 | 843 | 2641k| 430.9 | 414M | 52 |1479 |6378 |3196 | 13k| 1 |4847 |2445 | 1.013778e+03 | 1.040000e+03 | 2.59%| unknown
657.83/660.18 c 660s| 6200 | 859 | 2688k| 431.5 | 415M | 52 |1479 |6383 |3198 | 13k| 1 |4895 |2476 | 1.013900e+03 | 1.040000e+03 | 2.57%| unknown
661.11/663.46 c 663s| 6300 | 859 | 2707k| 427.8 | 415M | 52 |1479 |6435 |3201 | 13k| 1 |4957 |2500 | 1.013900e+03 | 1.040000e+03 | 2.57%| unknown
672.47/674.81 c 675s| 6400 | 871 | 2751k| 427.9 | 415M | 52 |1479 |6482 |3203 | 13k| 2 |5039 |2538 | 1.013973e+03 | 1.040000e+03 | 2.57%| unknown
687.62/690.02 c 690s| 6500 | 887 | 2815k| 431.1 | 415M | 52 |1479 |6614 |3197 | 14k| 1 |5224 |2601 | 1.014070e+03 | 1.040000e+03 | 2.56%| unknown
698.97/701.42 c 701s| 6600 | 889 | 2874k| 433.5 | 416M | 52 |1479 |6708 |3200 | 14k| 0 |5371 |2658 | 1.014085e+03 | 1.040000e+03 | 2.56%| unknown
708.43/710.96 c 711s| 6700 | 901 | 2923k| 434.4 | 416M | 52 |1479 |6834 |3209 | 14k| 1 |5567 |2726 | 1.014100e+03 | 1.040000e+03 | 2.55%| unknown
720.19/722.79 c 723s| 6800 | 911 | 2970k| 434.9 | 416M | 52 |1479 |6876 |3210 | 14k| 0 |5644 |2765 | 1.014181e+03 | 1.040000e+03 | 2.55%| unknown
728.66/731.20 c 731s| 6900 | 919 | 3007k| 433.9 | 417M | 52 |1479 |6933 |3219 | 14k| 1 |5740 |2812 | 1.014207e+03 | 1.040000e+03 | 2.54%| unknown
737.22/739.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
737.22/739.87 c 740s| 7000 | 925 | 3045k| 433.3 | 417M | 52 |1479 |7030 |3213 | 15k| 1 |5873 |2856 | 1.014267e+03 | 1.040000e+03 | 2.54%| unknown
741.21/743.81 c 744s| 7100 | 923 | 3071k| 430.8 | 417M | 52 |1479 |7116 |3209 | 15k| 0 |5982 |2887 | 1.014267e+03 | 1.040000e+03 | 2.54%| unknown
751.57/754.29 c 754s| 7200 | 937 | 3120k| 431.6 | 417M | 52 |1479 |7200 |3216 | 15k| 2 |6108 |2934 | 1.014413e+03 | 1.040000e+03 | 2.52%| unknown
761.83/764.58 c 765s| 7300 | 945 | 3169k| 432.4 | 419M | 52 |1479 |7278 |3212 | 15k| 0 |6227 |2953 | 1.014479e+03 | 1.040000e+03 | 2.52%| unknown
765.12/767.87 c 768s| 7400 | 945 | 3195k| 430.0 | 419M | 52 |1479 |7348 |3219 | 15k| 0 |6309 |2967 | 1.014479e+03 | 1.040000e+03 | 2.52%| unknown
768.70/771.46 c 771s| 7500 | 943 | 3223k| 428.1 | 419M | 52 |1479 |7430 |3204 | 15k| 0 |6407 |2981 | 1.014479e+03 | 1.040000e+03 | 2.52%| unknown
775.48/778.25 c 778s| 7600 | 947 | 3255k| 426.7 | 419M | 52 |1479 |7454 |3194 | 15k| 0 |6447 |3006 | 1.014490e+03 | 1.040000e+03 | 2.51%| unknown
789.53/792.32 c 792s| 7700 | 963 | 3300k| 427.0 | 419M | 52 |1479 |7595 |3174 | 15k| 1 |6618 |3126 | 1.014497e+03 | 1.040000e+03 | 2.51%| unknown
794.71/797.57 c 798s| 7800 | 967 | 3329k| 425.2 | 419M | 52 |1479 |7693 |3189 | 16k| 1 |6743 |3149 | 1.014551e+03 | 1.040000e+03 | 2.51%| unknown
807.48/810.35 c 810s| 7900 | 979 | 3378k| 426.0 | 420M | 52 |1479 |7890 |3193 | 16k| 1 |7003 |3257 | 1.014604e+03 | 1.040000e+03 | 2.50%| unknown
812.35/815.24 c 815s| 8000 | 985 | 3407k| 424.3 | 420M | 52 |1479 |7983 |3174 | 16k| 1 |7119 |3278 | 1.014665e+03 | 1.040000e+03 | 2.50%| unknown
827.81/830.70 c 831s| 8100 | 1005 | 3478k| 427.9 | 420M | 52 |1479 |8010 |3179 | 17k| 0 |7181 |3287 | 1.014805e+03 | 1.040000e+03 | 2.48%| unknown
838.38/841.36 c 841s| 8200 | 1017 | 3546k| 430.9 | 421M | 52 |1479 |8009 |3189 | 17k| 0 |7181 |3289 | 1.014809e+03 | 1.040000e+03 | 2.48%| unknown
843.96/846.96 c 847s| 8300 | 1021 | 3575k| 429.3 | 422M | 52 |1479 |8060 |3179 | 17k| 2 |7243 |3301 | 1.014843e+03 | 1.040000e+03 | 2.48%| unknown
852.63/855.68 c 856s| 8400 | 1033 | 3620k| 429.5 | 422M | 52 |1479 |8059 |3178 | 18k| 1 |7259 |3310 | 1.014878e+03 | 1.040000e+03 | 2.48%| unknown
859.61/862.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
859.61/862.67 c 863s| 8500 | 1039 | 3654k| 428.4 | 422M | 52 |1479 |8056 |3179 | 18k| 0 |7272 |3320 | 1.014904e+03 | 1.040000e+03 | 2.47%| unknown
868.87/871.91 c 872s| 8600 | 1053 | 3698k| 428.6 | 422M | 52 |1479 |8071 |3183 | 18k| 0 |7295 |3330 | 1.014929e+03 | 1.040000e+03 | 2.47%| unknown
871.57/874.68 c 875s| 8700 | 1053 | 3714k| 425.5 | 422M | 52 |1479 |8169 |3186 | 18k| 2 |7408 |3366 | 1.014929e+03 | 1.040000e+03 | 2.47%| unknown
877.75/880.83 c 881s| 8800 | 1055 | 3744k| 424.1 | 422M | 52 |1479 |8174 |3198 | 18k| 0 |7420 |3367 | 1.014979e+03 | 1.040000e+03 | 2.47%| unknown
883.63/886.76 c 887s| 8900 | 1057 | 3778k| 423.1 | 422M | 52 |1479 |8185 |3179 | 18k| 0 |7436 |3367 | 1.014983e+03 | 1.040000e+03 | 2.46%| unknown
889.21/892.32 c 892s| 9000 | 1065 | 3812k| 422.2 | 424M | 52 |1479 |8179 |3180 | 19k| 0 |7440 |3370 | 1.015000e+03 | 1.040000e+03 | 2.46%| unknown
898.39/901.57 c 902s| 9100 | 1077 | 3857k| 422.5 | 425M | 52 |1479 |8181 |3182 | 19k| 0 |7454 |3374 | 1.015031e+03 | 1.040000e+03 | 2.46%| unknown
900.68/903.80 c 904s| 9200 | 1077 | 3877k| 420.1 | 425M | 52 |1479 |8178 |3183 | 19k| 0 |7454 |3374 | 1.015031e+03 | 1.040000e+03 | 2.46%| unknown
905.66/908.86 c 909s| 9300 | 1083 | 3909k| 418.9 | 425M | 52 |1479 |8180 |3190 | 19k| 0 |7461 |3374 | 1.015062e+03 | 1.040000e+03 | 2.46%| unknown
911.65/914.86 c 915s| 9400 | 1091 | 3947k| 418.6 | 425M | 52 |1479 |8184 |3189 | 20k| 0 |7471 |3374 | 1.015123e+03 | 1.040000e+03 | 2.45%| unknown
917.43/920.61 c 921s| 9500 | 1101 | 3980k| 417.6 | 426M | 52 |1479 |8185 |3204 | 20k| 1 |7483 |3375 | 1.015234e+03 | 1.040000e+03 | 2.44%| unknown
919.83/923.02 c 923s| 9600 | 1101 | 4002k| 415.5 | 426M | 52 |1479 |8193 |3202 | 20k| 1 |7494 |3376 | 1.015234e+03 | 1.040000e+03 | 2.44%| unknown
922.01/925.23 c 925s| 9700 | 1095 | 4021k| 413.2 | 426M | 52 |1479 |8192 |3200 | 20k| 2 |7494 |3376 | 1.015234e+03 | 1.040000e+03 | 2.44%| unknown
927.49/930.79 c 931s| 9800 | 1099 | 4059k| 412.9 | 426M | 52 |1479 |8189 |3180 | 20k| 1 |7495 |3376 | 1.015298e+03 | 1.040000e+03 | 2.43%| unknown
933.38/936.62 c 937s| 9900 | 1105 | 4093k| 412.2 | 426M | 52 |1479 |8188 |3179 | 20k| 0 |7496 |3377 | 1.015308e+03 | 1.040000e+03 | 2.43%| unknown
939.36/942.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
939.36/942.68 c 943s| 10000 | 1111 | 4129k| 411.7 | 427M | 52 |1479 |8202 |3181 | 20k| 0 |7519 |3378 | 1.015342e+03 | 1.040000e+03 | 2.43%| unknown
949.84/953.11 c 953s| 10100 | 1127 | 4179k| 412.6 | 428M | 52 |1479 |8206 |3194 | 21k| 0 |7533 |3378 | 1.015493e+03 | 1.040000e+03 | 2.41%| unknown
958.20/961.58 c 962s| 10200 | 1139 | 4223k| 412.8 | 429M | 52 |1479 |8205 |3200 | 21k| 0 |7544 |3378 | 1.015525e+03 | 1.040000e+03 | 2.41%| unknown
964.38/967.76 c 968s| 10300 | 1141 | 4256k| 412.0 | 429M | 52 |1479 |8202 |3190 | 21k| 0 |7546 |3379 | 1.015542e+03 | 1.040000e+03 | 2.41%| unknown
971.16/974.59 c 975s| 10400 | 1151 | 4304k| 412.7 | 429M | 52 |1479 |8195 |3179 | 22k| 0 |7546 |3379 | 1.015546e+03 | 1.040000e+03 | 2.41%| unknown
984.73/988.14 c 988s| 10500 | 1163 | 4377k| 415.7 | 430M | 52 |1479 |8201 |3198 | 22k| 0 |7556 |3393 | 1.015610e+03 | 1.040000e+03 | 2.40%| unknown
994.29/997.72 c 998s| 10600 | 1173 | 4424k| 416.2 | 431M | 52 |1479 |8201 |3188 | 22k| 1 |7568 |3393 | 1.015622e+03 | 1.040000e+03 | 2.40%| unknown
1002.96/1006.41 c 1006s| 10700 | 1181 | 4460k| 415.7 | 431M | 52 |1479 |8191 |3196 | 22k| 1 |7569 |3432 | 1.015634e+03 | 1.040000e+03 | 2.40%| unknown
1008.66/1012.19 c 1012s| 10800 | 1185 | 4494k| 414.9 | 431M | 52 |1479 |8188 |3189 | 23k| 1 |7571 |3432 | 1.015655e+03 | 1.040000e+03 | 2.40%| unknown
1017.42/1020.93 c 1021s| 10900 | 1191 | 4532k| 414.6 | 432M | 52 |1479 |8269 |3204 | 23k| 0 |7687 |3473 | 1.015688e+03 | 1.040000e+03 | 2.39%| unknown
1024.20/1027.78 c 1028s| 11000 | 1197 | 4564k| 413.8 | 432M | 52 |1479 |8281 |3203 | 23k| 1 |7715 |3489 | 1.015718e+03 | 1.040000e+03 | 2.39%| unknown
1033.07/1036.61 c 1037s| 11100 | 1201 | 4600k| 413.3 | 433M | 52 |1479 |8307 |3188 | 23k| 0 |7783 |3534 | 1.015765e+03 | 1.040000e+03 | 2.39%| unknown
1036.16/1039.77 c 1040s| 11200 | 1205 | 4629k| 412.2 | 433M | 52 |1479 |8306 |3191 | 23k| 0 |7784 |3534 | 1.015765e+03 | 1.040000e+03 | 2.39%| unknown
1044.84/1048.49 c 1048s| 11300 | 1213 | 4666k| 411.8 | 433M | 52 |1479 |8294 |3205 | 24k| 1 |7785 |3557 | 1.015771e+03 | 1.040000e+03 | 2.39%| unknown
1056.70/1060.35 c 1060s| 11400 | 1223 | 4710k| 412.0 | 434M | 52 |1479 |8282 |3202 | 24k| 1 |7787 |3576 | 1.015807e+03 | 1.040000e+03 | 2.38%| unknown
1063.39/1067.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1063.39/1067.11 c 1067s| 11500 | 1225 | 4747k| 411.7 | 434M | 52 |1479 |8280 |3193 | 24k| 0 |7799 |3579 | 1.015823e+03 | 1.040000e+03 | 2.38%| unknown
1066.97/1070.66 c 1071s| 11600 | 1225 | 4775k| 410.6 | 434M | 52 |1479 |8327 |3184 | 24k| 0 |7856 |3591 | 1.015823e+03 | 1.040000e+03 | 2.38%| unknown
1077.35/1081.03 c 1081s| 11700 | 1233 | 4817k| 410.6 | 434M | 52 |1479 |8388 |3184 | 24k| 0 |7959 |3647 | 1.015853e+03 | 1.040000e+03 | 2.38%| unknown
1080.34/1084.02 c 1084s| 11800 | 1233 | 4844k| 409.4 | 434M | 52 |1479 |8406 |3192 | 24k| 0 |7982 |3651 | 1.015853e+03 | 1.040000e+03 | 2.38%| unknown
1092.89/1096.69 c 1097s| 11900 | 1245 | 4891k| 410.0 | 434M | 52 |1479 |8403 |3200 | 25k| 0 |8005 |3693 | 1.015878e+03 | 1.040000e+03 | 2.37%| unknown
1104.46/1108.24 c 1108s| 12000 | 1255 | 4941k| 410.7 | 435M | 52 |1479 |8529 |3214 | 25k| 2 |8172 |3730 | 1.015899e+03 | 1.040000e+03 | 2.37%| unknown
1119.91/1123.75 c 1124s| 12100 | 1277 | 5004k| 412.5 | 435M | 52 |1479 |8477 |3198 | 26k| 0 |8173 |3753 | 1.015979e+03 | 1.040000e+03 | 2.36%| unknown
1136.18/1140.11 c 1140s| 12200 | 1291 | 5084k| 415.7 | 436M | 52 |1479 |8477 |3204 | 26k| 1 |8213 |3782 | 1.016041e+03 | 1.040000e+03 | 2.36%| unknown
1141.65/1145.50 c 1145s| 12300 | 1291 | 5109k| 414.3 | 436M | 52 |1479 |8489 |3217 | 26k| 0 |8233 |3817 | 1.016041e+03 | 1.040000e+03 | 2.36%| unknown
1161.10/1165.04 c 1165s| 12400 | 1311 | 5180k| 416.8 | 437M | 52 |1479 |8475 |3200 | 27k| 0 |8276 |3842 | 1.016182e+03 | 1.040000e+03 | 2.34%| unknown
1176.64/1180.67 c 1181s| 12500 | 1331 | 5242k| 418.4 | 437M | 52 |1479 |8433 |3206 | 27k| 2 |8281 |3859 | 1.016376e+03 | 1.040000e+03 | 2.32%| unknown
1180.14/1184.19 c 1184s| 12600 | 1333 | 5272k| 417.5 | 438M | 52 |1479 |8431 |3200 | 27k| 0 |8281 |3859 | 1.016376e+03 | 1.040000e+03 | 2.32%| unknown
1193.48/1197.51 c 1198s| 12700 | 1347 | 5323k| 418.2 | 438M | 52 |1479 |8438 |3208 | 28k| 2 |8345 |3891 | 1.016409e+03 | 1.040000e+03 | 2.32%| unknown
1197.08/1201.11 c 1201s| 12800 | 1343 | 5350k| 417.0 | 438M | 52 |1479 |8530 |3197 | 28k| 0 |8466 |3917 | 1.016409e+03 | 1.040000e+03 | 2.32%| unknown
1204.96/1209.05 c 1209s| 12900 | 1345 | 5385k| 416.5 | 438M | 52 |1479 |8466 |3197 | 28k| 0 |8466 |3944 | 1.016427e+03 | 1.040000e+03 | 2.32%| unknown
1211.83/1215.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1211.83/1215.93 c 1216s| 13000 | 1351 | 5426k| 416.4 | 438M | 52 |1479 |8482 |3198 | 28k| 1 |8513 |3959 | 1.016428e+03 | 1.040000e+03 | 2.32%| unknown
1215.22/1219.34 c 1219s| 13100 | 1351 | 5454k| 415.4 | 438M | 52 |1479 |8500 |3197 | 28k| 0 |8536 |3966 | 1.016428e+03 | 1.040000e+03 | 2.32%| unknown
1220.80/1224.91 c 1225s| 13200 | 1359 | 5490k| 415.0 | 438M | 52 |1479 |8476 |3197 | 28k| 1 |8537 |3966 | 1.016443e+03 | 1.040000e+03 | 2.32%| unknown
1224.79/1228.95 c 1229s| 13300 | 1357 | 5514k| 413.6 | 438M | 52 |1479 |8541 |3200 | 28k| 1 |8626 |4003 | 1.016443e+03 | 1.040000e+03 | 2.32%| unknown
1239.85/1244.04 c 1244s| 13400 | 1369 | 5567k| 414.5 | 438M | 52 |1479 |8454 |3200 | 29k| 0 |8665 |4079 | 1.016475e+03 | 1.040000e+03 | 2.31%| unknown
1251.71/1255.96 c 1256s| 13500 | 1381 | 5622k| 415.5 | 438M | 52 |1479 |8450 |3197 | 29k| 0 |8718 |4112 | 1.016487e+03 | 1.040000e+03 | 2.31%| unknown
1258.19/1262.47 c 1262s| 13600 | 1383 | 5651k| 414.6 | 438M | 52 |1479 |8453 |3199 | 29k| 1 |8728 |4159 | 1.016487e+03 | 1.040000e+03 | 2.31%| unknown
1266.46/1270.74 c 1271s| 13700 | 1387 | 5682k| 413.9 | 438M | 52 |1479 |8489 |3202 | 29k| 0 |8773 |4228 | 1.016487e+03 | 1.040000e+03 | 2.31%| unknown
1275.74/1280.05 c 1280s| 13800 | 1399 | 5743k| 415.3 | 438M | 52 |1479 |8395 |3215 | 29k| 0 |8773 |4232 | 1.016523e+03 | 1.040000e+03 | 2.31%| unknown
1282.21/1286.58 c 1287s| 13900 | 1405 | 5780k| 415.0 | 438M | 52 |1479 |8367 |3203 | 30k| 1 |8774 |4233 | 1.016660e+03 | 1.040000e+03 | 2.30%| unknown
1285.31/1289.60 c 1290s| 14000 | 1403 | 5807k| 413.9 | 438M | 52 |1479 |8367 |3209 | 30k| 0 |8774 |4233 | 1.016660e+03 | 1.040000e+03 | 2.30%| unknown
1291.59/1295.99 c 1296s| 14100 | 1411 | 5843k| 413.5 | 438M | 52 |1479 |8354 |3216 | 30k| 0 |8805 |4246 | 1.016660e+03 | 1.040000e+03 | 2.30%| unknown
1294.08/1298.40 c 1298s| 14200 | 1409 | 5864k| 412.1 | 438M | 52 |1479 |8361 |3221 | 30k| 0 |8814 |4248 | 1.016660e+03 | 1.040000e+03 | 2.30%| unknown
1297.37/1301.72 c 1302s| 14300 | 1409 | 5891k| 411.1 | 438M | 52 |1479 |8429 |3206 | 30k| 1 |8893 |4264 | 1.016660e+03 | 1.040000e+03 | 2.30%| unknown
1301.46/1305.89 c 1306s| 14400 | 1407 | 5915k| 409.9 | 438M | 52 |1479 |8464 |3202 | 30k| 0 |8932 |4289 | 1.016660e+03 | 1.040000e+03 | 2.30%| unknown
1308.83/1313.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1308.83/1313.24 c 1313s| 14500 | 1413 | 5952k| 409.7 | 438M | 52 |1479 |8423 |3202 | 30k| 1 |8970 |4317 | 1.016668e+03 | 1.040000e+03 | 2.29%| unknown
1320.00/1324.46 c 1324s| 14600 | 1425 | 6000k| 410.1 | 439M | 52 |1479 |8355 |3207 | 31k| 1 |8997 |4344 | 1.016721e+03 | 1.040000e+03 | 2.29%| unknown
1324.79/1329.24 c 1329s| 14700 | 1427 | 6028k| 409.2 | 439M | 52 |1479 |8413 |3203 | 31k| 1 |9086 |4384 | 1.016721e+03 | 1.040000e+03 | 2.29%| unknown
1335.35/1339.85 c 1340s| 14800 | 1439 | 6077k| 409.8 | 439M | 52 |1479 |8403 |3206 | 31k| 1 |9178 |4418 | 1.016750e+03 | 1.040000e+03 | 2.29%| unknown
1338.34/1342.87 c 1343s| 14900 | 1439 | 6100k| 408.6 | 439M | 52 |1479 |8489 |3214 | 31k| 1 |9288 |4439 | 1.016750e+03 | 1.040000e+03 | 2.29%| unknown
1342.23/1346.76 c 1347s| 15000 | 1437 | 6125k| 407.5 | 439M | 52 |1479 |8543 |3217 | 31k| 0 |9362 |4468 | 1.016750e+03 | 1.040000e+03 | 2.29%| unknown
1351.01/1355.59 c 1356s| 15100 | 1449 | 6177k| 408.3 | 439M | 52 |1479 |8441 |3201 | 31k| 1 |9401 |4480 | 1.016787e+03 | 1.040000e+03 | 2.28%| unknown
1358.68/1363.20 c 1363s| 15200 | 1455 | 6215k| 408.1 | 439M | 52 |1479 |8417 |3202 | 32k| 0 |9422 |4495 | 1.016795e+03 | 1.040000e+03 | 2.28%| unknown
1371.64/1376.26 c 1376s| 15300 | 1473 | 6270k| 409.0 | 440M | 52 |1479 |8301 |3208 | 32k| 0 |9424 |4513 | 1.016854e+03 | 1.040000e+03 | 2.28%| unknown
1386.41/1391.04 c 1391s| 15400 | 1493 | 6329k| 410.2 | 440M | 52 |1479 |8135 |3211 | 32k| 1 |9457 |4554 | 1.016928e+03 | 1.040000e+03 | 2.27%| unknown
1394.39/1399.02 c 1399s| 15500 | 1497 | 6363k| 409.7 | 440M | 52 |1479 |8116 |3215 | 33k| 1 |9490 |4596 | 1.016931e+03 | 1.040000e+03 | 2.27%| unknown
1398.56/1403.22 c 1403s| 15600 | 1495 | 6390k| 408.8 | 440M | 52 |1479 |8128 |3198 | 33k| 1 |9517 |4615 | 1.016931e+03 | 1.040000e+03 | 2.27%| unknown
1409.44/1414.12 c 1414s| 15700 | 1505 | 6436k| 409.2 | 441M | 52 |1479 |8027 |3205 | 33k| 0 |9526 |4629 | 1.016960e+03 | 1.040000e+03 | 2.27%| unknown
1424.68/1429.41 c 1429s| 15800 | 1521 | 6487k| 409.8 | 441M | 52 |1479 |7949 |3213 | 33k| 0 |9581 |4692 | 1.016978e+03 | 1.040000e+03 | 2.26%| unknown
1431.86/1436.62 c 1437s| 15900 | 1527 | 6526k| 409.7 | 441M | 52 |1479 |7915 |3225 | 33k| 2 |9610 |4703 | 1.017000e+03 | 1.040000e+03 | 2.26%| unknown
1443.24/1448.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1443.24/1448.08 c 1448s| 16000 | 1535 | 6589k| 411.0 | 441M | 52 |1479 |7812 |3209 | 34k| 0 |9611 |4720 | 1.017011e+03 | 1.040000e+03 | 2.26%| unknown
1456.39/1461.23 c 1461s| 16100 | 1551 | 6642k| 411.8 | 441M | 52 |1479 |7793 |3184 | 34k| 0 |9723 |4797 | 1.017014e+03 | 1.040000e+03 | 2.26%| unknown
1475.24/1480.13 c 1480s| 16200 | 1573 | 6714k| 413.6 | 442M | 52 |1479 |7612 |3186 | 35k| 0 |9820 |4826 | 1.017068e+03 | 1.040000e+03 | 2.25%| unknown
1493.19/1498.16 c 1498s| 16300 | 1603 | 6789k| 415.7 | 442M | 52 |1479 |7495 |3189 | 35k| 0 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1493.28/1498.22 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1493.28/1498.22 c (run 1, node 16304) performing user restart
1493.28/1498.22 c
1493.28/1498.22 c (restart) converted 258 cuts from the global cut pool into linear constraints
1493.28/1498.22 c
1493.38/1498.30 c presolving:
1493.38/1498.31 c (round 1, fast) 0 del vars, 17 del conss, 0 add conss, 0 chg bounds, 623 chg sides, 795 chg coeffs, 0 upgd conss, 0 impls, 2875 clqs
1493.38/1498.34 c (round 2, exhaustive) 0 del vars, 17 del conss, 0 add conss, 0 chg bounds, 623 chg sides, 795 chg coeffs, 255 upgd conss, 0 impls, 2875 clqs
1493.48/1498.44 c (round 3, exhaustive) 0 del vars, 346 del conss, 0 add conss, 0 chg bounds, 623 chg sides, 2386 chg coeffs, 255 upgd conss, 0 impls, 2875 clqs
1493.58/1498.53 c (round 4, exhaustive) 0 del vars, 428 del conss, 0 add conss, 0 chg bounds, 623 chg sides, 2394 chg coeffs, 255 upgd conss, 0 impls, 2875 clqs
1493.78/1498.74 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
1493.78/1498.74 c 0 deleted vars, 428 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 623 changed sides, 2394 changed coefficients
1493.78/1498.74 c 0 implications, 2875 cliques
1493.78/1498.74 c presolved problem has 1479 variables (1479 bin, 0 int, 0 impl, 0 cont) and 7325 constraints
1493.78/1498.74 c 248 constraints of type <knapsack>
1493.78/1498.74 c 2875 constraints of type <setppc>
1493.78/1498.74 c 78 constraints of type <linear>
1493.78/1498.74 c 4124 constraints of type <logicor>
1493.78/1498.74 c transformed objective value is always integral (scale: 1)
1493.78/1498.74 c Presolving Time: 0.53
1493.78/1498.79 c transformed 99/100 original solutions to the transformed problem space
1493.78/1498.80 c
1494.67/1499.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1494.67/1499.60 c 1500s| 1 | 0 | 6797k| - | 401M | 0 |1479 |7325 |3126 | 0 | 0 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1494.97/1499.98 c 1500s| 1 | 0 | 6797k| - | 401M | 0 |1479 |7325 |3127 | 1 | 1 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1495.37/1500.37 c 1500s| 1 | 0 | 6797k| - | 401M | 0 |1479 |7325 |3128 | 2 | 2 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1495.77/1500.75 c 1501s| 1 | 0 | 6797k| - | 401M | 0 |1479 |7325 |3129 | 3 | 3 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1496.18/1501.14 c 1501s| 1 | 0 | 6797k| - | 401M | 0 |1479 |7325 |3131 | 5 | 4 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1496.57/1501.53 c 1502s| 1 | 0 | 6797k| - | 401M | 0 |1479 |7325 |3132 | 6 | 5 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1496.97/1501.93 c 1502s| 1 | 0 | 6797k| - | 401M | 0 |1479 |7325 |3133 | 7 | 6 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1497.37/1502.32 c 1502s| 1 | 0 | 6797k| - | 401M | 0 |1479 |7325 |3134 | 8 | 7 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1497.77/1502.75 c 1503s| 1 | 0 | 6797k| - | 401M | 0 |1479 |7325 |3137 | 11 | 8 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1498.17/1503.16 c 1503s| 1 | 0 | 6798k| - | 401M | 0 |1479 |7325 |3138 | 12 | 9 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1498.66/1503.60 c 1504s| 1 | 0 | 6798k| - | 401M | 0 |1479 |7325 |3140 | 14 | 10 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1498.66/1503.69 c 1504s| 1 | 0 | 6798k| - | 401M | 0 |1479 |7325 |3073 | 15 | 11 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1499.26/1504.22 c 1504s| 1 | 2 | 6799k| - | 401M | 0 |1479 |7339 |3073 | 15 | 11 |9910 |4855 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1523.10/1528.19 c 1528s| 100 | 23 | 6847k| 416.1 | 409M | 27 |1479 |7698 |3063 | 23 | 1 | 10k|5139 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1534.85/1539.94 c 1540s| 200 | 37 | 6889k| 416.1 | 410M | 27 |1479 |8156 |3063 | 23 | 1 | 10k|5311 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1552.80/1557.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1552.80/1557.91 c 1558s| 300 | 43 | 6969k| 418.5 | 410M | 27 |1479 |8751 |3063 | 23 | 2 | 11k|5550 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1576.93/1582.15 c 1582s| 400 | 49 | 7015k| 418.7 | 410M | 29 |1479 |9514 |3063 | 23 | 0 | 12k|6004 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1585.39/1590.67 c 1591s| 500 | 55 | 7048k| 418.1 | 419M | 33 |1479 |9823 |3063 | 25 | 1 | 12k|6142 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1594.77/1600.04 c 1600s| 600 | 53 | 7075k| 417.3 | 420M | 34 |1479 | 10k|3063 | 25 | 2 | 13k|6346 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1610.02/1615.35 c 1615s| 700 | 71 | 7121k| 417.6 | 433M | 34 |1479 | 10k|3064 | 71 | 0 | 13k|6491 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1614.20/1619.50 c 1619s| 800 | 77 | 7149k| 416.8 | 433M | 38 |1479 | 10k|3064 | 73 | 1 | 13k|6524 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1623.68/1629.06 c 1629s| 900 | 77 | 7182k| 416.2 | 433M | 38 |1479 | 10k|3065 | 84 | 1 | 14k|6722 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1628.67/1634.01 c 1634s| 1000 | 73 | 7210k| 415.4 | 433M | 38 |1479 | 11k|3067 | 87 | 1 | 14k|6833 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1638.03/1643.45 c 1643s| 1100 | 93 | 7254k| 415.6 | 433M | 38 |1479 | 11k|3067 | 93 | 0 | 15k|6958 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1642.32/1647.78 c 1648s| 1200 | 107 | 7281k| 414.8 | 433M | 38 |1479 | 11k|3068 | 98 | 0 | 15k|6995 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1646.40/1651.84 c 1652s| 1300 | 113 | 7309k| 414.0 | 417M | 38 |1479 | 11k|3068 | 98 | 0 | 15k|7041 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1651.19/1656.64 c 1657s| 1400 | 115 | 7334k| 413.1 | 418M | 38 |1479 | 11k|3069 | 117 | 1 | 15k|7099 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1661.76/1667.28 c 1667s| 1500 | 131 | 7372k| 412.9 | 418M | 38 |1479 | 11k|3070 | 197 | 0 | 16k|7155 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1665.05/1670.59 c 1671s| 1600 | 131 | 7394k| 411.8 | 418M | 38 |1479 | 11k|3068 | 200 | 0 | 16k|7203 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1670.33/1675.83 c 1676s| 1700 | 135 | 7416k| 410.8 | 418M | 38 |1479 | 11k|3069 | 233 | 0 | 16k|7237 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1676.71/1682.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1676.71/1682.21 c 1682s| 1800 | 145 | 7444k| 410.0 | 418M | 38 |1479 | 11k|3072 | 292 | 0 | 16k|7258 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1679.80/1685.33 c 1685s| 1900 | 145 | 7465k| 408.9 | 418M | 38 |1479 | 11k|3073 | 294 | 0 | 16k|7298 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1683.79/1689.32 c 1689s| 2000 | 149 | 7486k| 407.8 | 420M | 40 |1479 | 11k|3074 | 309 | 0 | 16k|7334 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1686.78/1692.39 c 1692s| 2100 | 151 | 7511k| 407.0 | 420M | 40 |1479 | 11k|3075 | 318 | 0 | 16k|7351 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1689.97/1695.58 c 1696s| 2200 | 149 | 7530k| 405.8 | 420M | 40 |1479 | 12k|3076 | 320 | 0 | 16k|7385 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1694.95/1700.51 c 1701s| 2300 | 155 | 7555k| 404.9 | 420M | 40 |1479 | 11k|3077 | 357 | 0 | 16k|7418 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1697.25/1702.85 c 1703s| 2400 | 155 | 7575k| 403.9 | 420M | 40 |1479 | 12k|3075 | 362 | 0 | 16k|7434 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1702.44/1708.07 c 1708s| 2500 | 161 | 7604k| 403.2 | 420M | 40 |1479 | 11k|3077 | 403 | 1 | 17k|7446 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1707.43/1713.10 c 1713s| 2600 | 161 | 7625k| 402.2 | 420M | 40 |1479 | 12k|3078 | 409 | 1 | 17k|7522 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1712.20/1717.83 c 1718s| 2700 | 163 | 7653k| 401.6 | 420M | 40 |1479 | 11k|3074 | 445 | 0 | 17k|7541 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1720.49/1726.17 c 1726s| 2800 | 169 | 7710k| 402.5 | 420M | 40 |1479 | 11k|3074 | 486 | 1 | 17k|7544 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1722.67/1728.33 c 1728s| 2900 | 167 | 7732k| 401.5 | 420M | 40 |1479 | 11k|3075 | 495 | 1 | 17k|7544 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1734.03/1739.72 c 1740s| 3000 | 183 | 7772k| 401.5 | 420M | 40 |1479 | 11k|3106 | 589 | 1 | 17k|7595 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1740.02/1745.72 c 1746s| 3100 | 189 | 7803k| 401.0 | 420M | 40 |1479 | 11k|3108 | 638 | 0 | 17k|7640 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1743.42/1749.16 c 1749s| 3200 | 193 | 7826k| 400.1 | 420M | 40 |1479 | 11k|3108 | 675 | 0 | 17k|7646 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1747.41/1753.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1747.41/1753.18 c 1753s| 3300 | 197 | 7849k| 399.3 | 420M | 40 |1479 | 11k|3108 | 717 | 0 | 17k|7650 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1751.58/1757.35 c 1757s| 3400 | 203 | 7875k| 398.6 | 420M | 40 |1479 | 11k|3108 | 757 | 1 | 17k|7660 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1753.48/1759.28 c 1759s| 3500 | 203 | 7895k| 397.6 | 420M | 40 |1479 | 11k|3108 | 761 | 1 | 17k|7660 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1755.67/1761.42 c 1761s| 3600 | 201 | 7915k| 396.6 | 420M | 40 |1479 | 11k|3108 | 765 | 0 | 17k|7662 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1758.66/1764.43 c 1764s| 3700 | 207 | 7939k| 395.8 | 420M | 40 |1479 | 11k|3107 | 765 | 1 | 17k|7667 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1762.15/1767.96 c 1768s| 3800 | 215 | 7965k| 395.1 | 420M | 40 |1479 | 11k|3110 | 810 | 1 | 17k|7667 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1766.73/1772.55 c 1773s| 3900 | 225 | 7994k| 394.6 | 420M | 40 |1479 | 11k|3109 | 855 | 0 | 17k|7668 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1773.23/1779.04 c 1779s| 4000 | 235 | 8028k| 394.3 | 420M | 40 |1479 | 11k|3110 | 936 | 1 | 17k|7668 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1775.81/1781.60 c 1782s| 4100 | 241 | 8051k| 393.6 | 420M | 40 |1479 | 11k|3109 | 944 | 1 | 17k|7671 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1777.40/1783.25 c 1783s| 4200 | 239 | 8067k| 392.4 | 420M | 40 |1479 | 11k|3110 | 959 | 2 | 17k|7671 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1779.60/1785.48 c 1785s| 4300 | 241 | 8089k| 391.6 | 420M | 40 |1479 | 11k|3109 | 965 | 0 | 17k|7671 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1781.69/1787.53 c 1788s| 4400 | 245 | 8110k| 390.7 | 420M | 40 |1479 | 11k|3109 | 972 | 1 | 17k|7671 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1786.08/1791.97 c 1792s| 4500 | 249 | 8136k| 390.1 | 420M | 40 |1479 | 11k|3109 |1019 | 0 | 17k|7672 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1787.97/1793.84 c 1794s| 4600 | 249 | 8156k| 389.2 | 420M | 40 |1479 | 11k|3109 |1019 | 1 | 17k|7672 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1794.35/1800.20 c 1800s| 4700 | 259 | 8209k| 389.8 | 420M | 40 |1479 | 11k|3108 |1022 | 0 | 17k|7672 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1798.94/1804.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1798.94/1804.86 c 1805s| 4800 | 269 | 8241k| 389.5 | 421M | 40 |1479 | 11k|3109 |1074 | 0 | 17k|7672 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1803.24/1809.14 c 1809s| 4900 | 275 | 8265k| 388.8 | 421M | 40 |1479 | 11k|3110 |1141 | 0 | 17k|7672 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1807.22/1813.14 c 1813s| 5000 | 291 | 8296k| 388.4 | 421M | 40 |1479 | 11k|3110 |1177 | 1 | 17k|7672 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1815.49/1821.47 c 1821s| 5100 | 311 | 8335k| 388.4 | 423M | 40 |1479 | 11k|3111 |1299 | 1 | 17k|7673 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1817.58/1823.50 c 1824s| 5200 | 313 | 8356k| 387.6 | 423M | 40 |1479 | 11k|3110 |1307 | 0 | 17k|7673 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1821.87/1827.81 c 1828s| 5300 | 317 | 8382k| 387.0 | 423M | 40 |1479 | 11k|3113 |1375 | 1 | 17k|7674 | 1.017145e+03 | 1.040000e+03 | 2.25%| unknown
1824.36/1830.36 c 1830s| 5400 | 321 | 8407k| 386.4 | 423M | 40 |1479 | 11k|3113 |1389 | 0 | 17k|7675 | 1.017155e+03 | 1.040000e+03 | 2.25%| unknown
1829.06/1835.06 c 1835s| 5500 | 325 | 8435k| 385.9 | 423M | 40 |1479 | 11k|3113 |1461 | 1 | 17k|7677 | 1.017167e+03 | 1.040000e+03 | 2.24%| unknown
1831.24/1837.21 c 1837s| 5600 | 327 | 8456k| 385.1 | 423M | 40 |1479 | 11k|3113 |1475 | 1 | 17k|7677 | 1.017167e+03 | 1.040000e+03 | 2.24%| unknown
1837.72/1843.73 c 1844s| 5700 | 337 | 8489k| 384.8 | 423M | 40 |1479 | 11k|3114 |1543 | 0 | 17k|7677 | 1.017192e+03 | 1.040000e+03 | 2.24%| unknown
1839.21/1845.27 c 1845s| 5800 | 333 | 8505k| 383.8 | 423M | 40 |1479 | 11k|3116 |1554 | 0 | 17k|7677 | 1.017192e+03 | 1.040000e+03 | 2.24%| unknown
1850.18/1856.28 c 1856s| 5900 | 349 | 8571k| 385.1 | 424M | 40 |1479 | 11k|3115 |1659 | 1 | 17k|7677 | 1.017220e+03 | 1.040000e+03 | 2.24%| unknown
1854.98/1861.10 c 1861s| 6000 | 353 | 8601k| 384.7 | 424M | 40 |1479 | 11k|3117 |1726 | 0 | 17k|7681 | 1.017243e+03 | 1.040000e+03 | 2.24%| unknown
1860.06/1866.16 c 1866s| 6100 | 363 | 8637k| 384.6 | 424M | 40 |1479 | 11k|3118 |1799 | 1 | 17k|7681 | 1.017269e+03 | 1.040000e+03 | 2.23%| unknown
1867.04/1873.15 c 1873s| 6200 | 373 | 8672k| 384.4 | 424M | 40 |1479 | 11k|3118 |1919 | 1 | 17k|7682 | 1.017326e+03 | 1.040000e+03 | 2.23%| unknown
1869.42/1875.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1869.42/1875.59 c 1876s| 6300 | 377 | 8697k| 383.8 | 424M | 40 |1479 | 11k|3115 |1938 | 0 | 18k|7684 | 1.017326e+03 | 1.040000e+03 | 2.23%| unknown
1873.31/1879.45 c 1879s| 6400 | 383 | 8723k| 383.3 | 424M | 40 |1479 | 11k|3116 |1977 | 0 | 18k|7701 | 1.017374e+03 | 1.040000e+03 | 2.22%| unknown
1878.10/1884.26 c 1884s| 6500 | 391 | 8752k| 382.9 | 424M | 40 |1479 | 11k|3117 |2058 | 0 | 18k|7714 | 1.017400e+03 | 1.040000e+03 | 2.22%| unknown
1889.46/1895.61 c 1896s| 6600 | 409 | 8796k| 383.1 | 424M | 40 |1479 | 11k|3117 |2250 | 1 | 18k|7750 | 1.017421e+03 | 1.040000e+03 | 2.22%| unknown
1895.44/1901.68 c 1902s| 6700 | 417 | 8822k| 382.6 | 425M | 40 |1479 | 11k|3117 |2322 | 1 | 18k|7798 | 1.017451e+03 | 1.040000e+03 | 2.22%| unknown
1897.64/1903.84 c 1904s| 6800 | 417 | 8842k| 381.8 | 425M | 40 |1479 | 11k|3122 |2354 | 0 | 18k|7813 | 1.017451e+03 | 1.040000e+03 | 2.22%| unknown
1905.71/1911.95 c 1912s| 6900 | 429 | 8878k| 381.7 | 425M | 40 |1479 | 11k|3117 |2435 | 1 | 18k|7906 | 1.017487e+03 | 1.040000e+03 | 2.21%| unknown
1909.50/1915.79 c 1916s| 7000 | 425 | 8895k| 380.8 | 425M | 40 |1479 | 11k|3121 |2448 | 0 | 18k|7965 | 1.017487e+03 | 1.040000e+03 | 2.21%| unknown
1913.59/1919.85 c 1920s| 7100 | 427 | 8919k| 380.2 | 425M | 40 |1479 | 11k|3121 |2520 | 0 | 18k|7965 | 1.017500e+03 | 1.040000e+03 | 2.21%| unknown
1923.56/1929.81 c 1930s| 7200 | 435 | 8978k| 381.1 | 425M | 40 |1479 | 11k|3117 |2667 | 0 | 18k|7966 | 1.017651e+03 | 1.040000e+03 | 2.20%| unknown
1925.65/1931.95 c 1932s| 7300 | 439 | 8998k| 380.3 | 425M | 40 |1479 | 11k|3124 |2689 | 0 | 18k|7977 | 1.017651e+03 | 1.040000e+03 | 2.20%| unknown
1929.64/1935.97 c 1936s| 7400 | 445 | 9020k| 379.6 | 425M | 40 |1479 | 11k|3128 |2764 | 1 | 18k|7984 | 1.017654e+03 | 1.040000e+03 | 2.20%| unknown
1934.13/1940.45 c 1940s| 7500 | 451 | 9042k| 379.0 | 425M | 40 |1479 | 11k|3127 |2835 | 1 | 18k|7994 | 1.017706e+03 | 1.040000e+03 | 2.19%| unknown
1941.60/1947.94 c 1948s| 7600 | 465 | 9082k| 379.1 | 426M | 40 |1479 | 11k|3129 |2955 | 2 | 18k|7996 | 1.017902e+03 | 1.040000e+03 | 2.17%| unknown
1950.87/1957.25 c 1957s| 7700 | 479 | 9122k| 379.1 | 433M | 40 |1479 | 11k|3132 |3134 | 1 | 18k|8000 | 1.018013e+03 | 1.040000e+03 | 2.16%| unknown
1954.06/1960.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1954.06/1960.48 c 1960s| 7800 | 477 | 9145k| 378.5 | 434M | 40 |1479 | 11k|3127 |3164 | 1 | 19k|8007 | 1.018013e+03 | 1.040000e+03 | 2.16%| unknown
1958.35/1964.73 c 1965s| 7900 | 479 | 9173k| 378.1 | 434M | 40 |1479 | 11k|3137 |3264 | 0 | 19k|8008 | 1.018014e+03 | 1.040000e+03 | 2.16%| unknown
1968.22/1974.61 c 1975s| 8000 | 495 | 9219k| 378.4 | 434M | 40 |1479 | 11k|3127 |3484 | 0 | 19k|8013 | 1.018039e+03 | 1.040000e+03 | 2.16%| unknown
1975.71/1982.16 c 1982s| 8100 | 507 | 9258k| 378.5 | 434M | 40 |1479 | 11k|3128 |3649 | 0 | 19k|8016 | 1.018055e+03 | 1.040000e+03 | 2.16%| unknown
1983.38/1989.80 c 1990s| 8200 | 517 | 9313k| 379.2 | 434M | 40 |1479 | 11k|3130 |3736 | 0 | 19k|8016 | 1.018073e+03 | 1.040000e+03 | 2.15%| unknown
1985.27/1991.76 c 1992s| 8300 | 519 | 9332k| 378.4 | 434M | 40 |1479 | 11k|3137 |3778 | 1 | 19k|8016 | 1.018073e+03 | 1.040000e+03 | 2.15%| unknown
1989.67/1996.18 c 1996s| 8400 | 523 | 9361k| 378.1 | 434M | 40 |1479 | 11k|3138 |3832 | 0 | 19k|8025 | 1.018088e+03 | 1.040000e+03 | 2.15%| unknown
1994.94/2001.48 c 2001s| 8500 | 525 | 9390k| 377.7 | 434M | 42 |1479 | 11k|3142 |3963 | 1 | 19k|8025 | 1.018088e+03 | 1.040000e+03 | 2.15%| unknown
2002.22/2008.72 c 2009s| 8600 | 531 | 9427k| 377.7 | 434M | 42 |1479 | 11k|3145 |4149 | 2 | 19k|8025 | 1.018126e+03 | 1.040000e+03 | 2.15%| unknown
2004.62/2011.17 c 2011s| 8700 | 531 | 9452k| 377.2 | 434M | 42 |1479 | 11k|3140 |4206 | 0 | 19k|8025 | 1.018126e+03 | 1.040000e+03 | 2.15%| unknown
2006.70/2013.22 c 2013s| 8800 | 531 | 9473k| 376.5 | 434M | 42 |1479 | 11k|3140 |4215 | 0 | 19k|8025 | 1.018126e+03 | 1.040000e+03 | 2.15%| unknown
2015.68/2022.21 c 2022s| 8900 | 545 | 9517k| 376.7 | 434M | 42 |1479 | 11k|3140 |4424 | 0 | 19k|8025 | 1.018220e+03 | 1.040000e+03 | 2.14%| unknown
2017.87/2024.42 c 2024s| 9000 | 545 | 9538k| 376.1 | 433M | 42 |1479 | 11k|3145 |4435 | 0 | 19k|8025 | 1.018220e+03 | 1.040000e+03 | 2.14%| unknown
2019.86/2026.47 c 2026s| 9100 | 545 | 9559k| 375.4 | 433M | 42 |1479 | 11k|3140 |4462 | 1 | 19k|8025 | 1.018220e+03 | 1.040000e+03 | 2.14%| unknown
2021.96/2028.55 c 2029s| 9200 | 545 | 9580k| 374.8 | 433M | 42 |1479 | 11k|3137 |4485 | 0 | 19k|8026 | 1.018220e+03 | 1.040000e+03 | 2.14%| unknown
2024.46/2031.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2024.46/2031.03 c 2031s| 9300 | 545 | 9606k| 374.3 | 433M | 42 |1479 | 11k|3138 |4509 | 0 | 19k|8026 | 1.018220e+03 | 1.040000e+03 | 2.14%| unknown
2027.24/2033.86 c 2034s| 9400 | 551 | 9633k| 374.0 | 433M | 42 |1479 | 11k|3141 |4529 | 0 | 19k|8026 | 1.018226e+03 | 1.040000e+03 | 2.14%| unknown
2031.73/2038.34 c 2038s| 9500 | 557 | 9660k| 373.5 | 433M | 42 |1479 | 11k|3142 |4614 | 2 | 19k|8027 | 1.018245e+03 | 1.040000e+03 | 2.14%| unknown
2036.61/2043.24 c 2043s| 9600 | 561 | 9688k| 373.2 | 433M | 42 |1479 | 11k|3144 |4693 | 1 | 19k|8027 | 1.018245e+03 | 1.040000e+03 | 2.14%| unknown
2046.68/2053.36 c 2053s| 9700 | 579 | 9737k| 373.6 | 433M | 42 |1479 | 11k|3139 |4897 | 1 | 19k|8027 | 1.018316e+03 | 1.040000e+03 | 2.13%| unknown
2051.97/2058.67 c 2059s| 9800 | 591 | 9776k| 373.7 | 433M | 42 |1479 | 11k|3141 |4984 | 1 | 19k|8028 | 1.018333e+03 | 1.040000e+03 | 2.13%| unknown
2054.37/2061.08 c 2061s| 9900 | 591 | 9800k| 373.2 | 433M | 42 |1479 | 11k|3142 |5004 | 0 | 19k|8028 | 1.018333e+03 | 1.040000e+03 | 2.13%| unknown
2065.22/2071.98 c 2072s| 10000 | 601 | 9866k| 374.3 | 433M | 42 |1479 | 10k|3147 |5171 | 0 | 19k|8030 | 1.018351e+03 | 1.040000e+03 | 2.13%| unknown
2071.50/2078.23 c 2078s| 10100 | 611 | 9904k| 374.3 | 433M | 42 |1479 | 10k|3151 |5303 | 1 | 19k|8030 | 1.018355e+03 | 1.040000e+03 | 2.13%| unknown
2075.99/2082.78 c 2083s| 10200 | 619 | 9940k| 374.2 | 433M | 42 |1479 | 10k|3147 |5358 | 1 | 19k|8030 | 1.018362e+03 | 1.040000e+03 | 2.12%| unknown
2078.88/2085.64 c 2086s| 10300 | 631 | 9969k| 373.9 | 433M | 42 |1479 | 10k|3138 |5363 | 1 | 19k|8030 | 1.018373e+03 | 1.040000e+03 | 2.12%| unknown
2082.38/2089.19 c 2089s| 10400 | 633 | 9990k| 373.3 | 433M | 42 |1479 | 10k|3139 |5426 | 0 | 19k|8030 | 1.018398e+03 | 1.040000e+03 | 2.12%| unknown
2084.96/2091.78 c 2092s| 10500 | 639 | 10015k| 372.9 | 433M | 42 |1479 | 10k|3138 |5429 | 1 | 19k|8037 | 1.018422e+03 | 1.040000e+03 | 2.12%| unknown
2089.85/2096.63 c 2097s| 10600 | 645 | 10045k| 372.6 | 433M | 42 |1479 | 10k|3139 |5513 | 1 | 19k|8042 | 1.018454e+03 | 1.040000e+03 | 2.12%| unknown
2091.54/2098.37 c 2098s| 10700 | 643 | 10062k| 371.8 | 433M | 42 |1479 | 10k|3141 |5519 | 0 | 19k|8042 | 1.018454e+03 | 1.040000e+03 | 2.12%| unknown
2094.13/2100.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2094.13/2100.95 c 2101s| 10800 | 649 | 10087k| 371.4 | 433M | 42 |1479 |9972 |3141 |5522 | 1 | 19k|8047 | 1.018482e+03 | 1.040000e+03 | 2.11%| unknown
2098.02/2104.83 c 2105s| 10900 | 657 | 10114k| 371.0 | 433M | 42 |1479 |9984 |3139 |5525 | 1 | 19k|8066 | 1.018530e+03 | 1.040000e+03 | 2.11%| unknown
2103.90/2110.77 c 2111s| 11000 | 663 | 10150k| 371.0 | 433M | 42 |1479 | 10k|3139 |5593 | 1 | 19k|8101 | 1.018548e+03 | 1.040000e+03 | 2.11%| unknown
2108.09/2114.98 c 2115s| 11100 | 663 | 10177k| 370.6 | 433M | 42 |1479 | 10k|3140 |5605 | 1 | 19k|8174 | 1.018548e+03 | 1.040000e+03 | 2.11%| unknown
2114.07/2120.92 c 2121s| 11200 | 667 | 10207k| 370.3 | 433M | 42 |1479 | 10k|3142 |5675 | 1 | 20k|8195 | 1.018555e+03 | 1.040000e+03 | 2.11%| unknown
2120.27/2127.19 c 2127s| 11300 | 669 | 10237k| 370.1 | 433M | 42 |1479 | 10k|3141 |5729 | 1 | 20k|8251 | 1.018556e+03 | 1.040000e+03 | 2.11%| unknown
2124.04/2131.01 c 2131s| 11400 | 673 | 10264k| 369.7 | 433M | 42 |1479 | 10k|3139 |5732 | 0 | 20k|8266 | 1.018578e+03 | 1.040000e+03 | 2.10%| unknown
2131.62/2138.56 c 2139s| 11500 | 683 | 10298k| 369.6 | 433M | 42 |1479 | 10k|3144 |5859 | 1 | 20k|8282 | 1.018586e+03 | 1.040000e+03 | 2.10%| unknown
2134.31/2141.25 c 2141s| 11600 | 687 | 10326k| 369.3 | 433M | 42 |1479 | 10k|3143 |5862 | 0 | 20k|8282 | 1.018615e+03 | 1.040000e+03 | 2.10%| unknown
2140.29/2147.25 c 2147s| 11700 | 693 | 10370k| 369.5 | 433M | 42 |1479 | 10k|3143 |5866 | 1 | 20k|8297 | 1.018629e+03 | 1.040000e+03 | 2.10%| unknown
2144.98/2151.91 c 2152s| 11800 | 703 | 10396k| 369.2 | 433M | 42 |1479 | 10k|3143 |5875 | 1 | 20k|8314 | 1.018631e+03 | 1.040000e+03 | 2.10%| unknown
2155.16/2162.17 c 2162s| 11900 | 717 | 10442k| 369.5 | 433M | 42 |1479 | 10k|3143 |6047 | 1 | 20k|8337 | 1.018661e+03 | 1.040000e+03 | 2.09%| unknown
2160.15/2167.19 c 2167s| 12000 | 721 | 10466k| 369.0 | 433M | 42 |1479 | 10k|3144 |6050 | 0 | 20k|8385 | 1.018695e+03 | 1.040000e+03 | 2.09%| unknown
2162.33/2169.33 c 2169s| 12100 | 721 | 10488k| 368.5 | 433M | 42 |1479 | 10k|3143 |6051 | 0 | 20k|8386 | 1.018695e+03 | 1.040000e+03 | 2.09%| unknown
2169.80/2176.84 c 2177s| 12200 | 733 | 10525k| 368.5 | 433M | 42 |1479 | 10k|3143 |6164 | 1 | 20k|8397 | 1.018726e+03 | 1.040000e+03 | 2.09%| unknown
2172.70/2179.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2172.70/2179.76 c 2180s| 12300 | 733 | 10549k| 368.0 | 433M | 42 |1479 | 10k|3144 |6173 | 1 | 20k|8435 | 1.018726e+03 | 1.040000e+03 | 2.09%| unknown
2175.69/2182.70 c 2183s| 12400 | 733 | 10569k| 367.5 | 433M | 42 |1479 | 10k|3144 |6186 | 1 | 20k|8470 | 1.018726e+03 | 1.040000e+03 | 2.09%| unknown
2182.67/2189.70 c 2190s| 12500 | 743 | 10601k| 367.3 | 433M | 42 |1479 | 10k|3144 |6246 | 1 | 20k|8520 | 1.018748e+03 | 1.040000e+03 | 2.09%| unknown
2184.76/2191.85 c 2192s| 12600 | 745 | 10619k| 366.7 | 433M | 42 |1479 | 10k|3145 |6250 | 1 | 20k|8536 | 1.018748e+03 | 1.040000e+03 | 2.09%| unknown
2193.05/2200.16 c 2200s| 12700 | 753 | 10648k| 366.4 | 433M | 42 |1479 | 10k|3146 |6376 | 1 | 20k|8568 | 1.018764e+03 | 1.040000e+03 | 2.08%| unknown
2196.82/2203.97 c 2204s| 12800 | 761 | 10672k| 366.0 | 433M | 42 |1479 | 10k|3145 |6438 | 0 | 20k|8579 | 1.018794e+03 | 1.040000e+03 | 2.08%| unknown
2209.78/2216.95 c 2217s| 12900 | 785 | 10723k| 366.5 | 433M | 42 |1479 |9955 |3145 |6672 | 1 | 21k|8639 | 1.018849e+03 | 1.040000e+03 | 2.08%| unknown
2220.86/2228.10 c 2228s| 13000 | 793 | 10763k| 366.6 | 442M | 43 |1479 |9909 |3151 |6828 | 0 | 21k|8671 | 1.018870e+03 | 1.040000e+03 | 2.07%| unknown
2234.01/2241.21 c 2241s| 13100 | 805 | 10830k| 367.6 | 442M | 43 |1479 |9756 |3148 |6992 | 0 | 21k|8698 | 1.018906e+03 | 1.040000e+03 | 2.07%| unknown
2238.50/2245.74 c 2246s| 13200 | 811 | 10858k| 367.3 | 442M | 43 |1479 |9194 |3149 |7076 | 0 | 21k|8703 | 1.018912e+03 | 1.040000e+03 | 2.07%| unknown
2240.69/2247.97 c 2248s| 13300 | 809 | 10881k| 366.8 | 442M | 43 |1479 |9197 |3148 |7100 | 0 | 21k|8709 | 1.018912e+03 | 1.040000e+03 | 2.07%| unknown
2243.68/2250.99 c 2251s| 13400 | 815 | 10907k| 366.5 | 442M | 43 |1479 |9162 |3154 |7122 | 0 | 21k|8712 | 1.018928e+03 | 1.040000e+03 | 2.07%| unknown
2246.67/2254.00 c 2254s| 13500 | 821 | 10935k| 366.2 | 442M | 43 |1479 |9133 |3154 |7142 | 1 | 21k|8713 | 1.018930e+03 | 1.040000e+03 | 2.07%| unknown
2252.15/2259.40 c 2259s| 13600 | 827 | 10964k| 365.9 | 442M | 43 |1479 |9118 |3154 |7248 | 2 | 21k|8724 | 1.018934e+03 | 1.040000e+03 | 2.07%| unknown
2254.45/2261.78 c 2262s| 13700 | 829 | 10989k| 365.5 | 442M | 43 |1479 |9138 |3157 |7269 | 1 | 21k|8729 | 1.018934e+03 | 1.040000e+03 | 2.07%| unknown
2266.51/2273.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2266.51/2273.86 c 2274s| 13800 | 843 | 11030k| 365.7 | 442M | 43 |1479 |8970 |3156 |7461 | 0 | 21k|8805 | 1.019021e+03 | 1.040000e+03 | 2.06%| unknown
2273.59/2280.96 c 2281s| 13900 | 851 | 11062k| 365.5 | 442M | 43 |1479 |8857 |3160 |7540 | 1 | 21k|8832 | 1.019029e+03 | 1.040000e+03 | 2.06%| unknown
2278.57/2285.92 c 2286s| 14000 | 857 | 11092k| 365.3 | 442M | 43 |1479 |8778 |3150 |7610 | 0 | 21k|8849 | 1.019030e+03 | 1.040000e+03 | 2.06%| unknown
2281.96/2289.30 c 2289s| 14100 | 863 | 11119k| 365.0 | 442M | 43 |1479 |8726 |3150 |7633 | 0 | 21k|8856 | 1.019062e+03 | 1.040000e+03 | 2.05%| unknown
2285.25/2292.69 c 2293s| 14200 | 867 | 11144k| 364.6 | 442M | 43 |1479 |8727 |3154 |7689 | 0 | 21k|8864 | 1.019064e+03 | 1.040000e+03 | 2.05%| unknown
2289.04/2296.49 c 2296s| 14300 | 871 | 11168k| 364.2 | 442M | 43 |1479 |8694 |3150 |7696 | 1 | 21k|8888 | 1.019069e+03 | 1.040000e+03 | 2.05%| unknown
2292.33/2299.72 c 2300s| 14400 | 881 | 11198k| 364.0 | 442M | 43 |1479 |8108 |3155 |7718 | 2 | 21k|8898 | 1.019069e+03 | 1.040000e+03 | 2.05%| unknown
2294.73/2302.11 c 2302s| 14500 | 879 | 11222k| 363.6 | 442M | 43 |1479 |8192 |3154 |7729 | 0 | 21k|8916 | 1.019069e+03 | 1.040000e+03 | 2.05%| unknown
2297.51/2304.90 c 2305s| 14600 | 879 | 11249k| 363.3 | 442M | 43 |1479 |7286 |3150 |7751 | 0 | 21k|8916 | 1.019103e+03 | 1.040000e+03 | 2.05%| unknown
2301.80/2309.24 c 2309s| 14700 | 887 | 11277k| 363.0 | 442M | 43 |1479 |7246 |3154 |7817 | 2 | 21k|8918 | 1.019119e+03 | 1.040000e+03 | 2.05%| unknown
2306.09/2313.53 c 2314s| 14800 | 889 | 11302k| 362.7 | 443M | 43 |1479 |7218 |3150 |7882 | 0 | 21k|8919 | 1.019120e+03 | 1.040000e+03 | 2.05%| unknown
2309.38/2316.82 c 2317s| 14900 | 893 | 11327k| 362.3 | 443M | 43 |1479 |7196 |3153 |7891 | 0 | 21k|8928 | 1.019128e+03 | 1.040000e+03 | 2.05%| unknown
2311.27/2318.76 c 2319s| 15000 | 895 | 11346k| 361.8 | 443M | 43 |1479 |7195 |3152 |7917 | 0 | 21k|8928 | 1.019128e+03 | 1.040000e+03 | 2.05%| unknown
2315.16/2322.69 c 2323s| 15100 | 899 | 11371k| 361.4 | 443M | 43 |1479 |7151 |3156 |7983 | 0 | 22k|8935 | 1.019135e+03 | 1.040000e+03 | 2.05%| unknown
2318.35/2325.88 c 2326s| 15200 | 903 | 11398k| 361.1 | 443M | 43 |1479 |7117 |3154 |8001 | 0 | 22k|8940 | 1.019135e+03 | 1.040000e+03 | 2.05%| unknown
2324.13/2331.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2324.13/2331.66 c 2332s| 15300 | 917 | 11434k| 361.1 | 443M | 43 |1479 |7079 |3155 |8082 | 1 | 22k|8948 | 1.019184e+03 | 1.040000e+03 | 2.04%| unknown
2326.02/2333.50 c 2333s| 15400 | 917 | 11452k| 360.6 | 443M | 43 |1479 |7097 |3150 |8090 | 1 | 22k|8951 | 1.019184e+03 | 1.040000e+03 | 2.04%| unknown
2334.80/2342.37 c 2342s| 15500 | 925 | 11513k| 361.3 | 443M | 43 |1479 |7104 |3158 |8158 | 1 | 22k|8958 | 1.019194e+03 | 1.040000e+03 | 2.04%| unknown
2339.78/2347.32 c 2347s| 15600 | 927 | 11543k| 361.1 | 443M | 43 |1479 |7146 |3160 |8225 | 1 | 22k|8982 | 1.019199e+03 | 1.040000e+03 | 2.04%| unknown
2344.17/2351.74 c 2352s| 15700 | 931 | 11571k| 360.9 | 443M | 43 |1479 |7146 |3153 |8323 | 1 | 22k|8990 | 1.019203e+03 | 1.040000e+03 | 2.04%| unknown
2348.26/2355.85 c 2356s| 15800 | 935 | 11601k| 360.7 | 443M | 43 |1479 |7179 |3155 |8393 | 1 | 22k|9009 | 1.019211e+03 | 1.040000e+03 | 2.04%| unknown
2353.45/2361.03 c 2361s| 15900 | 941 | 11636k| 360.7 | 443M | 43 |1479 |7149 |3158 |8474 | 0 | 22k|9012 | 1.019216e+03 | 1.040000e+03 | 2.04%| unknown
2361.81/2369.40 c 2369s| 16000 | 959 | 11685k| 361.1 | 443M | 43 |1479 |7053 |3166 |8647 | 0 | 22k|9021 | 1.019246e+03 | 1.040000e+03 | 2.04%| unknown
2364.71/2372.34 c 2372s| 16100 | 957 | 11709k| 360.7 | 443M | 43 |1479 |7065 |3166 |8653 | 0 | 22k|9027 | 1.019246e+03 | 1.040000e+03 | 2.04%| unknown
2367.20/2374.88 c 2375s| 16200 | 953 | 11731k| 360.2 | 443M | 43 |1479 |7078 |3167 |8700 | 1 | 22k|9031 | 1.019246e+03 | 1.040000e+03 | 2.04%| unknown
2371.58/2379.20 c 2379s| 16300 | 963 | 11758k| 360.0 | 443M | 43 |1479 |7040 |3144 |8716 | 1 | 22k|9050 | 1.019250e+03 | 1.040000e+03 | 2.04%| unknown
2375.97/2383.63 c 2384s| 16400 | 973 | 11791k| 359.9 | 443M | 43 |1479 |7020 |3148 |8776 | 1 | 22k|9050 | 1.019279e+03 | 1.040000e+03 | 2.03%| unknown
2380.16/2387.84 c 2388s| 16500 | 977 | 11818k| 359.6 | 443M | 43 |1479 |7038 |3153 |8854 | 2 | 22k|9051 | 1.019279e+03 | 1.040000e+03 | 2.03%| unknown
2384.94/2392.69 c 2393s| 16600 | 983 | 11850k| 359.5 | 443M | 43 |1479 |7033 |3147 |8949 | 1 | 22k|9052 | 1.019279e+03 | 1.040000e+03 | 2.03%| unknown
2392.33/2400.07 c 2400s| 16700 | 991 | 11889k| 359.6 | 443M | 43 |1479 |7028 |3150 |9091 | 0 | 22k|9052 | 1.019291e+03 | 1.040000e+03 | 2.03%| unknown
2394.32/2402.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2394.32/2402.07 c 2402s| 16800 | 991 | 11910k| 359.1 | 443M | 43 |1479 |7028 |3149 |9095 | 1 | 22k|9052 | 1.019291e+03 | 1.040000e+03 | 2.03%| unknown
2399.80/2407.52 c 2408s| 16900 | 997 | 11939k| 358.9 | 443M | 43 |1479 |7010 |3153 |9185 | 0 | 22k|9061 | 1.019292e+03 | 1.040000e+03 | 2.03%| unknown
2402.19/2409.94 c 2410s| 17000 | 997 | 11963k| 358.6 | 443M | 43 |1479 |7016 |3150 |9196 | 0 | 22k|9062 | 1.019292e+03 | 1.040000e+03 | 2.03%| unknown
2406.98/2414.76 c 2415s| 17100 | 1005 | 11999k| 358.6 | 443M | 43 |1479 |6996 |3153 |9268 | 0 | 22k|9062 | 1.019304e+03 | 1.040000e+03 | 2.03%| unknown
2418.35/2426.17 c 2426s| 17200 | 1023 | 12068k| 359.6 | 443M | 43 |1479 |6668 |3156 |9419 | 1 | 22k|9062 | 1.019307e+03 | 1.040000e+03 | 2.03%| unknown
2425.12/2432.99 c 2433s| 17300 | 1031 | 12103k| 359.5 | 443M | 43 |1479 |6606 |3157 |9547 | 1 | 22k|9062 | 1.019311e+03 | 1.040000e+03 | 2.03%| unknown
2427.33/2435.12 c 2435s| 17400 | 1031 | 12124k| 359.1 | 443M | 43 |1479 |6605 |3158 |9559 | 1 | 22k|9062 | 1.019311e+03 | 1.040000e+03 | 2.03%| unknown
2430.50/2438.33 c 2438s| 17500 | 1037 | 12153k| 358.9 | 443M | 43 |1479 |6571 |3157 |9579 | 1 | 22k|9064 | 1.019328e+03 | 1.040000e+03 | 2.03%| unknown
2437.98/2445.81 c 2446s| 17600 | 1045 | 12193k| 359.0 | 443M | 43 |1479 |6550 |3155 |9722 | 0 | 22k|9064 | 1.019341e+03 | 1.040000e+03 | 2.03%| unknown
2448.65/2456.57 c 2457s| 17700 | 1067 | 12244k| 359.5 | 443M | 43 |1479 |6313 |3157 |9930 | 0 | 22k|9064 | 1.019368e+03 | 1.040000e+03 | 2.02%| unknown
2451.64/2459.59 c 2460s| 17800 | 1073 | 12273k| 359.3 | 446M | 43 |1479 |6277 |3162 |9936 | 2 | 22k|9064 | 1.019369e+03 | 1.040000e+03 | 2.02%| unknown
2457.02/2464.96 c 2465s| 17900 | 1079 | 12308k| 359.2 | 446M | 43 |1479 |6272 |3143 | 10k| 1 | 22k|9067 | 1.019401e+03 | 1.040000e+03 | 2.02%| unknown
2463.70/2471.65 c 2472s| 18000 | 1093 | 12343k| 359.2 | 446M | 43 |1479 |6049 |3156 | 10k| 2 | 22k|9067 | 1.019408e+03 | 1.040000e+03 | 2.02%| unknown
2465.70/2473.68 c 2474s| 18100 | 1091 | 12364k| 358.8 | 446M | 43 |1479 |6039 |3155 | 10k| 1 | 22k|9067 | 1.019408e+03 | 1.040000e+03 | 2.02%| unknown
2470.58/2478.59 c 2479s| 18200 | 1097 | 12394k| 358.6 | 446M | 43 |1479 |6011 |3152 | 10k| 0 | 22k|9067 | 1.019409e+03 | 1.040000e+03 | 2.02%| unknown
2477.66/2485.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2477.66/2485.67 c 2486s| 18300 | 1101 | 12443k| 359.0 | 446M | 43 |1479 |5984 |3156 | 10k| 0 | 22k|9068 | 1.019411e+03 | 1.040000e+03 | 2.02%| unknown
2479.65/2487.66 c 2488s| 18400 | 1099 | 12463k| 358.5 | 446M | 43 |1479 |5961 |3152 | 10k| 1 | 22k|9071 | 1.019411e+03 | 1.040000e+03 | 2.02%| unknown
2485.44/2493.41 c 2493s| 18500 | 1107 | 12499k| 358.5 | 446M | 43 |1479 |5958 |3153 | 10k| 1 | 22k|9071 | 1.019423e+03 | 1.040000e+03 | 2.02%| unknown
2492.22/2500.26 c 2500s| 18600 | 1119 | 12540k| 358.7 | 446M | 43 |1479 |5916 |3153 | 10k| 1 | 22k|9076 | 1.019440e+03 | 1.040000e+03 | 2.02%| unknown
2495.02/2503.05 c 2503s| 18700 | 1125 | 12567k| 358.4 | 446M | 43 |1479 |5898 |3163 | 10k| 2 | 22k|9076 | 1.019461e+03 | 1.040000e+03 | 2.01%| unknown
2499.39/2507.45 c 2507s| 18800 | 1131 | 12592k| 358.1 | 446M | 43 |1479 |5895 |3163 | 10k| 1 | 22k|9076 | 1.019466e+03 | 1.040000e+03 | 2.01%| unknown
2501.79/2509.86 c 2510s| 18900 | 1129 | 12615k| 357.7 | 446M | 43 |1479 |5905 |3162 | 10k| 0 | 22k|9080 | 1.019466e+03 | 1.040000e+03 | 2.01%| unknown
2509.46/2517.55 c 2518s| 19000 | 1151 | 12657k| 357.9 | 446M | 43 |1479 |5907 |3162 | 10k| 1 | 22k|9080 | 1.019489e+03 | 1.040000e+03 | 2.01%| unknown
2511.97/2520.05 c 2520s| 19100 | 1153 | 12679k| 357.5 | 446M | 43 |1479 |5950 |3162 | 10k| 0 | 22k|9085 | 1.019516e+03 | 1.040000e+03 | 2.01%| unknown
2513.85/2521.96 c 2522s| 19200 | 1151 | 12698k| 357.1 | 446M | 43 |1479 |5950 |3165 | 10k| 0 | 22k|9085 | 1.019516e+03 | 1.040000e+03 | 2.01%| unknown
2524.22/2532.34 c 2532s| 19300 | 1167 | 12744k| 357.3 | 446M | 43 |1479 |5923 |3162 | 11k| 1 | 22k|9085 | 1.019532e+03 | 1.040000e+03 | 2.01%| unknown
2528.60/2536.73 c 2537s| 19400 | 1169 | 12771k| 357.1 | 446M | 43 |1479 |5962 |3162 | 11k| 1 | 22k|9091 | 1.019546e+03 | 1.040000e+03 | 2.01%| unknown
2533.79/2541.92 c 2542s| 19500 | 1181 | 12802k| 357.0 | 446M | 43 |1479 |5991 |3162 | 11k| 1 | 22k|9094 | 1.019553e+03 | 1.040000e+03 | 2.01%| unknown
2538.07/2546.23 c 2546s| 19600 | 1187 | 12830k| 356.8 | 446M | 43 |1479 |6169 |3167 | 11k| 1 | 23k|9162 | 1.019555e+03 | 1.040000e+03 | 2.01%| unknown
2548.74/2556.90 c 2557s| 19700 | 1195 | 12891k| 357.5 | 446M | 43 |1479 |6177 |3164 | 11k| 1 | 23k|9171 | 1.019569e+03 | 1.040000e+03 | 2.00%| unknown
2551.53/2559.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2551.53/2559.70 c 2560s| 19800 | 1197 | 12918k| 357.2 | 446M | 43 |1479 |6223 |3167 | 11k| 0 | 23k|9186 | 1.019572e+03 | 1.040000e+03 | 2.00%| unknown
2559.41/2567.66 c 2568s| 19900 | 1211 | 12956k| 357.3 | 446M | 43 |1479 |6342 |3168 | 11k| 1 | 23k|9255 | 1.019582e+03 | 1.040000e+03 | 2.00%| unknown
2562.91/2571.13 c 2571s| 20000 | 1211 | 12984k| 357.1 | 446M | 43 |1479 |6390 |3163 | 11k| 1 | 23k|9286 | 1.019582e+03 | 1.040000e+03 | 2.00%| unknown
2570.79/2579.11 c 2579s| 20100 | 1223 | 13025k| 357.2 | 446M | 43 |1479 |6364 |3166 | 11k| 1 | 23k|9286 | 1.019589e+03 | 1.040000e+03 | 2.00%| unknown
2572.78/2581.03 c 2581s| 20200 | 1223 | 13045k| 356.8 | 446M | 43 |1479 |6364 |3164 | 11k| 1 | 23k|9286 | 1.019589e+03 | 1.040000e+03 | 2.00%| unknown
2575.66/2583.92 c 2584s| 20300 | 1229 | 13074k| 356.6 | 446M | 43 |1479 |6338 |3164 | 11k| 0 | 23k|9286 | 1.019592e+03 | 1.040000e+03 | 2.00%| unknown
2582.85/2591.19 c 2591s| 20400 | 1239 | 13113k| 356.7 | 446M | 43 |1479 |6202 |3164 | 12k| 1 | 23k|9286 | 1.019619e+03 | 1.040000e+03 | 2.00%| unknown
2588.22/2596.57 c 2597s| 20500 | 1251 | 13148k| 356.7 | 446M | 43 |1479 |6061 |3167 | 12k| 1 | 23k|9286 | 1.019628e+03 | 1.040000e+03 | 2.00%| unknown
2592.73/2601.08 c 2601s| 20600 | 1249 | 13171k| 356.3 | 446M | 43 |1479 |6144 |3164 | 12k| 1 | 23k|9343 | 1.019628e+03 | 1.040000e+03 | 2.00%| unknown
2595.61/2603.93 c 2604s| 20700 | 1255 | 13199k| 356.1 | 446M | 43 |1479 |6116 |3165 | 12k| 1 | 23k|9343 | 1.019640e+03 | 1.040000e+03 | 2.00%| unknown
2601.70/2610.04 c 2610s| 20800 | 1269 | 13243k| 356.3 | 446M | 43 |1479 |6055 |3169 | 12k| 0 | 23k|9349 | 1.019659e+03 | 1.040000e+03 | 1.99%| unknown
2606.97/2615.32 c 2615s| 20900 | 1271 | 13276k| 356.3 | 446M | 43 |1479 |6076 |3166 | 12k| 2 | 23k|9373 | 1.019659e+03 | 1.040000e+03 | 1.99%| unknown
2609.86/2618.27 c 2618s| 21000 | 1273 | 13304k| 356.1 | 446M | 43 |1479 |6021 |3169 | 12k| 1 | 23k|9373 | 1.019672e+03 | 1.040000e+03 | 1.99%| unknown
2621.23/2629.62 c 2630s| 21100 | 1283 | 13365k| 356.8 | 446M | 43 |1479 |5922 |3171 | 12k| 1 | 23k|9373 | 1.019695e+03 | 1.040000e+03 | 1.99%| unknown
2623.52/2631.90 c 2632s| 21200 | 1277 | 13388k| 356.4 | 446M | 43 |1479 |5876 |3165 | 12k| 0 | 23k|9373 | 1.019695e+03 | 1.040000e+03 | 1.99%| unknown
2627.81/2636.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2627.81/2636.26 c 2636s| 21300 | 1289 | 13431k| 356.6 | 446M | 43 |1479 |5756 |3163 | 12k| 1 | 23k|9373 | 1.019729e+03 | 1.040000e+03 | 1.99%| unknown
2632.79/2641.29 c 2641s| 21400 | 1297 | 13462k| 356.5 | 446M | 43 |1479 |5680 |3167 | 12k| 0 | 23k|9374 | 1.019734e+03 | 1.040000e+03 | 1.99%| unknown
2643.06/2651.50 c 2651s| 21500 | 1315 | 13508k| 356.8 | 446M | 43 |1479 |5557 |3165 | 12k| 1 | 23k|9376 | 1.019808e+03 | 1.040000e+03 | 1.98%| unknown
2645.35/2653.82 c 2654s| 21600 | 1317 | 13531k| 356.4 | 446M | 43 |1479 |5548 |3166 | 12k| 1 | 23k|9376 | 1.019820e+03 | 1.040000e+03 | 1.98%| unknown
2649.84/2658.39 c 2658s| 21700 | 1321 | 13562k| 356.3 | 446M | 43 |1479 |5554 |3168 | 13k| 0 | 23k|9376 | 1.019822e+03 | 1.040000e+03 | 1.98%| unknown
2651.93/2660.49 c 2660s| 21800 | 1323 | 13583k| 355.9 | 446M | 43 |1479 |5554 |3167 | 13k| 1 | 23k|9376 | 1.019822e+03 | 1.040000e+03 | 1.98%| unknown
2653.93/2662.45 c 2662s| 21900 | 1321 | 13603k| 355.5 | 446M | 43 |1479 |5554 |3167 | 13k| 1 | 23k|9376 | 1.019822e+03 | 1.040000e+03 | 1.98%| unknown
2657.02/2665.52 c 2666s| 22000 | 1325 | 13631k| 355.3 | 446M | 43 |1479 |5551 |3165 | 13k| 0 | 23k|9378 | 1.019852e+03 | 1.040000e+03 | 1.98%| unknown
2664.51/2673.06 c 2673s| 22100 | 1341 | 13674k| 355.5 | 446M | 43 |1479 |5432 |3167 | 13k| 0 | 23k|9378 | 1.019867e+03 | 1.040000e+03 | 1.97%| unknown
2669.68/2678.28 c 2678s| 22200 | 1349 | 13704k| 355.4 | 446M | 43 |1479 |5389 |3159 | 13k| 2 | 23k|9379 | 1.019880e+03 | 1.040000e+03 | 1.97%| unknown
2671.87/2680.47 c 2680s| 22300 | 1349 | 13725k| 355.0 | 446M | 43 |1479 |5389 |3150 | 13k| 1 | 23k|9381 | 1.019880e+03 | 1.040000e+03 | 1.97%| unknown
2674.37/2683.00 c 2683s| 22400 | 1353 | 13748k| 354.7 | 446M | 43 |1479 |5387 |3157 | 13k| 0 | 23k|9381 | 1.019886e+03 | 1.040000e+03 | 1.97%| unknown
2686.13/2694.76 c 2695s| 22500 | 1365 | 13809k| 355.3 | 446M | 43 |1479 |5372 |3150 | 13k| 1 | 23k|9421 | 1.019937e+03 | 1.040000e+03 | 1.97%| unknown
2688.22/2696.85 c 2697s| 22600 | 1363 | 13829k| 354.9 | 446M | 43 |1479 |5370 |3153 | 13k| 1 | 23k|9423 | 1.019937e+03 | 1.040000e+03 | 1.97%| unknown
2693.81/2702.45 c 2702s| 22700 | 1383 | 13869k| 355.0 | 446M | 43 |1479 |5343 |3153 | 13k| 2 | 23k|9424 | 1.019940e+03 | 1.040000e+03 | 1.97%| unknown
2701.58/2710.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2701.58/2710.27 c 2710s| 22800 | 1391 | 13900k| 354.9 | 446M | 43 |1479 |5397 |3154 | 13k| 2 | 23k|9464 | 1.019955e+03 | 1.040000e+03 | 1.97%| unknown
2706.57/2715.28 c 2715s| 22900 | 1395 | 13926k| 354.7 | 446M | 43 |1479 |5506 |3153 | 13k| 0 | 24k|9488 | 1.019970e+03 | 1.040000e+03 | 1.96%| unknown
2709.26/2717.93 c 2718s| 23000 | 1397 | 13950k| 354.4 | 446M | 43 |1479 |5438 |3157 | 13k| 2 | 24k|9501 | 1.019971e+03 | 1.040000e+03 | 1.96%| unknown
2711.85/2720.52 c 2721s| 23100 | 1401 | 13975k| 354.1 | 446M | 43 |1479 |5434 |3158 | 13k| 0 | 24k|9501 | 1.019971e+03 | 1.040000e+03 | 1.96%| unknown
2721.33/2730.11 c 2730s| 23200 | 1417 | 14019k| 354.3 | 446M | 43 |1479 |5446 |3158 | 13k| 0 | 24k|9531 | 1.019989e+03 | 1.040000e+03 | 1.96%| unknown
2730.41/2739.18 c 2739s| 23300 | 1427 | 14055k| 354.4 | 446M | 43 |1479 |5572 |3159 | 14k| 1 | 24k|9599 | 1.019994e+03 | 1.040000e+03 | 1.96%| unknown
2732.99/2741.78 c 2742s| 23400 | 1431 | 14080k| 354.1 | 446M | 43 |1479 |5568 |3159 | 14k| 1 | 24k|9603 | 1.020001e+03 | 1.040000e+03 | 1.96%| unknown
2737.47/2746.23 c 2746s| 23500 | 1441 | 14109k| 353.9 | 446M | 43 |1479 |5543 |3159 | 14k| 1 | 24k|9606 | 1.020008e+03 | 1.040000e+03 | 1.96%| unknown
2742.46/2751.26 c 2751s| 23600 | 1449 | 14141k| 353.8 | 446M | 43 |1479 |5586 |3159 | 14k| 0 | 24k|9639 | 1.020026e+03 | 1.040000e+03 | 1.96%| unknown
2752.03/2760.86 c 2761s| 23700 | 1465 | 14207k| 354.6 | 446M | 43 |1479 |5588 |3160 | 14k| 0 | 24k|9656 | 1.020034e+03 | 1.040000e+03 | 1.96%| unknown
2760.50/2769.37 c 2769s| 23800 | 1477 | 14254k| 354.9 | 446M | 43 |1479 |5826 |3165 | 14k| 1 | 25k|9706 | 1.020102e+03 | 1.040000e+03 | 1.95%| unknown
2763.69/2772.55 c 2773s| 23900 | 1475 | 14280k| 354.7 | 446M | 43 |1479 |6032 |3159 | 14k| 0 | 25k|9749 | 1.020102e+03 | 1.040000e+03 | 1.95%| unknown
2767.38/2776.27 c 2776s| 24000 | 1475 | 14301k| 354.3 | 446M | 43 |1479 |6218 |3159 | 14k| 1 | 25k|9809 | 1.020102e+03 | 1.040000e+03 | 1.95%| unknown
2772.46/2781.37 c 2781s| 24100 | 1483 | 14330k| 354.2 | 446M | 43 |1479 |6234 |3161 | 14k| 1 | 25k|9830 | 1.020106e+03 | 1.040000e+03 | 1.95%| unknown
2778.26/2787.13 c 2787s| 24200 | 1485 | 14357k| 353.9 | 446M | 43 |1479 |6353 |3159 | 14k| 1 | 25k|9871 | 1.020131e+03 | 1.040000e+03 | 1.95%| unknown
2784.03/2792.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2784.03/2792.94 c 2793s| 24300 | 1485 | 14382k| 353.7 | 446M | 43 |1479 |6380 |3160 | 14k| 0 | 25k|9894 | 1.020141e+03 | 1.040000e+03 | 1.95%| unknown
2788.32/2797.20 c 2797s| 24400 | 1491 | 14407k| 353.4 | 446M | 43 |1479 |6353 |3158 | 14k| 1 | 25k|9909 | 1.020154e+03 | 1.040000e+03 | 1.95%| unknown
2793.90/2802.85 c 2803s| 24500 | 1503 | 14439k| 353.3 | 446M | 43 |1479 |6289 |3158 | 14k| 1 | 25k|9919 | 1.020169e+03 | 1.040000e+03 | 1.94%| unknown
2798.88/2807.86 c 2808s| 24600 | 1517 | 14475k| 353.3 | 446M | 43 |1479 |6267 |3158 | 14k| 1 | 25k|9929 | 1.020179e+03 | 1.040000e+03 | 1.94%| unknown
2802.09/2811.07 c 2811s| 24700 | 1523 | 14503k| 353.2 | 446M | 43 |1479 |6205 |3163 | 14k| 2 | 26k|9939 | 1.020186e+03 | 1.040000e+03 | 1.94%| unknown
2807.17/2816.16 c 2816s| 24800 | 1531 | 14532k| 353.0 | 446M | 43 |1479 |6101 |3160 | 14k| 1 | 26k|9939 | 1.020208e+03 | 1.040000e+03 | 1.94%| unknown
2812.74/2821.75 c 2822s| 24900 | 1535 | 14562k| 352.9 | 446M | 43 |1479 |6124 |3160 | 15k| 1 | 26k|9974 | 1.020215e+03 | 1.040000e+03 | 1.94%| unknown
2817.73/2826.75 c 2827s| 25000 | 1541 | 14591k| 352.7 | 446M | 43 |1479 |6096 |3160 | 15k| 1 | 26k|9993 | 1.020230e+03 | 1.040000e+03 | 1.94%| unknown
2820.62/2829.63 c 2830s| 25100 | 1541 | 14616k| 352.5 | 446M | 43 |1479 |5993 |3158 | 15k| 1 | 26k|9995 | 1.020231e+03 | 1.040000e+03 | 1.94%| unknown
2825.20/2834.26 c 2834s| 25200 | 1545 | 14640k| 352.2 | 446M | 43 |1479 |5878 |3159 | 15k| 0 | 26k| 10k| 1.020231e+03 | 1.040000e+03 | 1.94%| unknown
2837.57/2846.69 c 2847s| 25300 | 1561 | 14708k| 353.0 | 446M | 43 |1479 |5640 |3161 | 15k| 0 | 26k| 10k| 1.020236e+03 | 1.040000e+03 | 1.94%| unknown
2843.96/2853.03 c 2853s| 25400 | 1571 | 14744k| 353.0 | 446M | 43 |1479 |5630 |3161 | 15k| 2 | 26k| 10k| 1.020239e+03 | 1.040000e+03 | 1.94%| unknown
2846.74/2855.86 c 2856s| 25500 | 1573 | 14770k| 352.8 | 446M | 43 |1479 |5611 |3160 | 15k| 0 | 26k| 10k| 1.020241e+03 | 1.040000e+03 | 1.94%| unknown
2857.92/2867.03 c 2867s| 25600 | 1597 | 14822k| 353.2 | 446M | 43 |1479 |5365 |3161 | 15k| 0 | 26k| 10k| 1.020262e+03 | 1.040000e+03 | 1.93%| unknown
2863.00/2872.11 c 2872s| 25700 | 1603 | 14851k| 353.1 | 446M | 43 |1479 |5402 |3163 | 15k| 1 | 26k| 10k| 1.020264e+03 | 1.040000e+03 | 1.93%| unknown
2870.88/2880.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2870.88/2880.04 c 2880s| 25800 | 1613 | 14891k| 353.2 | 447M | 43 |1479 |5451 |3160 | 15k| 1 | 26k| 10k| 1.020270e+03 | 1.040000e+03 | 1.93%| unknown
2876.65/2885.87 c 2886s| 25900 | 1625 | 14927k| 353.2 | 447M | 43 |1479 |5344 |3164 | 16k| 1 | 26k| 10k| 1.020275e+03 | 1.040000e+03 | 1.93%| unknown
2881.63/2890.82 c 2891s| 26000 | 1625 | 14954k| 353.0 | 447M | 43 |1479 |5335 |3166 | 16k| 2 | 27k| 10k| 1.020277e+03 | 1.040000e+03 | 1.93%| unknown
2889.11/2898.31 c 2898s| 26100 | 1631 | 14981k| 352.8 | 447M | 43 |1479 |5524 |3164 | 16k| 1 | 27k| 10k| 1.020277e+03 | 1.040000e+03 | 1.93%| unknown
2897.09/2906.33 c 2906s| 26200 | 1643 | 15020k| 352.9 | 447M | 43 |1479 |5529 |3163 | 16k| 0 | 27k| 10k| 1.020290e+03 | 1.040000e+03 | 1.93%| unknown
2899.89/2909.14 c 2909s| 26300 | 1645 | 15042k| 352.6 | 447M | 43 |1479 |5633 |3163 | 16k| 0 | 27k| 10k| 1.020290e+03 | 1.040000e+03 | 1.93%| unknown
2908.35/2917.63 c 2918s| 26400 | 1659 | 15105k| 353.2 | 447M | 43 |1479 |5683 |3166 | 16k| 0 | 27k| 10k| 1.020320e+03 | 1.040000e+03 | 1.93%| unknown
2911.85/2921.19 c 2921s| 26500 | 1669 | 15136k| 353.1 | 447M | 43 |1479 |5691 |3167 | 16k| 1 | 27k| 10k| 1.020322e+03 | 1.040000e+03 | 1.93%| unknown
2918.32/2927.66 c 2928s| 26600 | 1685 | 15177k| 353.3 | 447M | 43 |1479 |5744 |3166 | 16k| 2 | 27k| 10k| 1.020332e+03 | 1.040000e+03 | 1.93%| unknown
2926.99/2936.39 c 2936s| 26700 | 1695 | 15219k| 353.4 | 447M | 43 |1479 |5837 |3164 | 16k| 0 | 28k| 10k| 1.020335e+03 | 1.040000e+03 | 1.93%| unknown
2930.58/2939.97 c 2940s| 26800 | 1705 | 15251k| 353.3 | 447M | 43 |1479 |5798 |3166 | 16k| 1 | 28k| 10k| 1.020340e+03 | 1.040000e+03 | 1.93%| unknown
2932.57/2941.90 c 2942s| 26900 | 1705 | 15269k| 352.9 | 447M | 43 |1479 |5850 |3166 | 16k| 0 | 28k| 10k| 1.020340e+03 | 1.040000e+03 | 1.93%| unknown
2936.86/2946.23 c 2946s| 27000 | 1709 | 15294k| 352.7 | 447M | 43 |1479 |6078 |3168 | 16k| 0 | 28k| 10k| 1.020374e+03 | 1.040000e+03 | 1.92%| unknown
2949.52/2958.98 c 2959s| 27100 | 1735 | 15352k| 353.2 | 447M | 43 |1479 |6137 |3172 | 16k| 1 | 28k| 10k| 1.020420e+03 | 1.040000e+03 | 1.92%| unknown
2959.79/2969.29 c 2969s| 27200 | 1755 | 15422k| 354.0 | 447M | 43 |1479 |6119 |3170 | 16k| 1 | 29k| 10k| 1.020430e+03 | 1.040000e+03 | 1.92%| unknown
2964.77/2974.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2964.77/2974.24 c 2974s| 27300 | 1763 | 15452k| 353.9 | 447M | 43 |1479 |6040 |3169 | 16k| 1 | 29k| 10k| 1.020432e+03 | 1.040000e+03 | 1.92%| unknown
2969.06/2978.57 c 2979s| 27400 | 1777 | 15489k| 353.9 | 447M | 43 |1479 |5952 |3170 | 16k| 1 | 29k| 10k| 1.020446e+03 | 1.040000e+03 | 1.92%| unknown
2973.45/2982.91 c 2983s| 27500 | 1781 | 15517k| 353.8 | 447M | 43 |1479 |5914 |3168 | 17k| 1 | 29k| 10k| 1.020451e+03 | 1.040000e+03 | 1.92%| unknown
2975.74/2985.24 c 2985s| 27600 | 1779 | 15539k| 353.4 | 447M | 43 |1479 |5912 |3164 | 17k| 1 | 29k| 10k| 1.020451e+03 | 1.040000e+03 | 1.92%| unknown
2980.73/2990.20 c 2990s| 27700 | 1785 | 15569k| 353.3 | 448M | 43 |1479 |5851 |3169 | 17k| 0 | 29k| 10k| 1.020461e+03 | 1.040000e+03 | 1.91%| unknown
2983.02/2992.53 c 2993s| 27800 | 1785 | 15591k| 353.0 | 448M | 43 |1479 |5850 |3172 | 17k| 2 | 29k| 10k| 1.020461e+03 | 1.040000e+03 | 1.91%| unknown
2985.71/2995.24 c 2995s| 27900 | 1787 | 15615k| 352.8 | 448M | 43 |1479 |5771 |3171 | 17k| 0 | 29k| 10k| 1.020465e+03 | 1.040000e+03 | 1.91%| unknown
2991.09/3000.60 c 3001s| 28000 | 1795 | 15647k| 352.7 | 448M | 43 |1479 |5624 |3169 | 17k| 0 | 29k| 10k| 1.020470e+03 | 1.040000e+03 | 1.91%| unknown
2997.77/3007.36 c 3007s| 28100 | 1803 | 15688k| 352.8 | 448M | 43 |1479 |5383 |3158 | 17k| 1 | 29k| 10k| 1.020503e+03 | 1.040000e+03 | 1.91%| unknown
3001.96/3011.57 c 3012s| 28200 | 1809 | 15716k| 352.7 | 448M | 43 |1479 |5423 |3161 | 17k| 1 | 29k| 10k| 1.020520e+03 | 1.040000e+03 | 1.91%| unknown
3004.15/3013.79 c 3014s| 28300 | 1809 | 15736k| 352.3 | 448M | 43 |1479 |5423 |3163 | 17k| 0 | 29k| 10k| 1.020520e+03 | 1.040000e+03 | 1.91%| unknown
3012.54/3022.15 c 3022s| 28400 | 1823 | 15794k| 352.8 | 448M | 43 |1479 |5341 |3164 | 17k| 0 | 29k| 10k| 1.020545e+03 | 1.040000e+03 | 1.91%| unknown
3016.02/3025.66 c 3026s| 28500 | 1825 | 15822k| 352.7 | 448M | 43 |1479 |5452 |3159 | 17k| 0 | 29k| 10k| 1.020545e+03 | 1.040000e+03 | 1.91%| unknown
3025.40/3035.09 c 3035s| 28600 | 1843 | 15870k| 352.9 | 448M | 43 |1479 |5492 |3160 | 17k| 0 | 30k| 10k| 1.020561e+03 | 1.040000e+03 | 1.90%| unknown
3036.47/3046.13 c 3046s| 28700 | 1865 | 15924k| 353.4 | 448M | 43 |1479 |5541 |3162 | 17k| 1 | 30k| 10k| 1.020571e+03 | 1.040000e+03 | 1.90%| unknown
3039.84/3049.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3039.84/3049.56 c 3050s| 28800 | 1871 | 15951k| 353.2 | 448M | 43 |1479 |5694 |3166 | 17k| 1 | 30k| 10k| 1.020574e+03 | 1.040000e+03 | 1.90%| unknown
3042.94/3052.66 c 3053s| 28900 | 1871 | 15977k| 353.0 | 448M | 43 |1479 |5805 |3166 | 17k| 0 | 30k| 10k| 1.020575e+03 | 1.040000e+03 | 1.90%| unknown
3048.52/3058.23 c 3058s| 29000 | 1879 | 16010k| 352.9 | 448M | 43 |1479 |5825 |3162 | 18k| 0 | 30k| 10k| 1.020577e+03 | 1.040000e+03 | 1.90%| unknown
3050.81/3060.51 c 3061s| 29100 | 1877 | 16030k| 352.6 | 448M | 43 |1479 |5915 |3166 | 18k| 2 | 30k| 10k| 1.020577e+03 | 1.040000e+03 | 1.90%| unknown
3052.80/3062.51 c 3063s| 29200 | 1873 | 16049k| 352.2 | 448M | 43 |1479 |5949 |3166 | 18k| 1 | 30k| 10k| 1.020577e+03 | 1.040000e+03 | 1.90%| unknown
3057.59/3067.38 c 3067s| 29300 | 1883 | 16083k| 352.2 | 448M | 43 |1479 |5976 |3163 | 18k| 0 | 30k| 10k| 1.020586e+03 | 1.040000e+03 | 1.90%| unknown
3062.67/3072.43 c 3072s| 29400 | 1889 | 16112k| 352.1 | 448M | 43 |1479 |6125 |3169 | 18k| 0 | 31k| 11k| 1.020596e+03 | 1.040000e+03 | 1.90%| unknown
3066.27/3076.10 c 3076s| 29500 | 1901 | 16144k| 352.0 | 448M | 43 |1479 |6123 |3160 | 18k| 0 | 31k| 11k| 1.020599e+03 | 1.040000e+03 | 1.90%| unknown
3069.85/3079.66 c 3080s| 29600 | 1915 | 16180k| 352.0 | 448M | 43 |1479 |6083 |3161 | 18k| 1 | 31k| 11k| 1.020616e+03 | 1.040000e+03 | 1.90%| unknown
3080.62/3090.47 c 3090s| 29700 | 1927 | 16243k| 352.6 | 448M | 43 |1479 |6233 |3164 | 18k| 1 | 31k| 11k| 1.020643e+03 | 1.040000e+03 | 1.90%| unknown
3084.11/3093.96 c 3094s| 29800 | 1931 | 16272k| 352.5 | 448M | 43 |1479 |6402 |3163 | 18k| 0 | 31k| 11k| 1.020647e+03 | 1.040000e+03 | 1.90%| unknown
3091.59/3101.40 c 3101s| 29900 | 1949 | 16313k| 352.6 | 448M | 43 |1479 |6590 |3165 | 18k| 1 | 32k| 11k| 1.020653e+03 | 1.040000e+03 | 1.90%| unknown
3100.36/3110.27 c 3110s| 30000 | 1953 | 16355k| 352.7 | 449M | 43 |1479 |6660 |3172 | 18k| 0 | 32k| 11k| 1.020674e+03 | 1.040000e+03 | 1.89%| unknown
3102.85/3112.72 c 3113s| 30100 | 1953 | 16379k| 352.5 | 449M | 43 |1479 |6714 |3175 | 18k| 0 | 32k| 11k| 1.020674e+03 | 1.040000e+03 | 1.89%| unknown
3105.15/3115.05 c 3115s| 30200 | 1955 | 16402k| 352.2 | 449M | 43 |1479 |6660 |3172 | 18k| 0 | 32k| 11k| 1.020675e+03 | 1.040000e+03 | 1.89%| unknown
3107.54/3117.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3107.54/3117.48 c 3117s| 30300 | 1949 | 16425k| 352.0 | 449M | 43 |1479 |6598 |3165 | 18k| 1 | 32k| 11k| 1.020675e+03 | 1.040000e+03 | 1.89%| unknown
3110.33/3120.23 c 3120s| 30400 | 1951 | 16452k| 351.8 | 449M | 43 |1479 |6509 |3177 | 18k| 1 | 32k| 11k| 1.020675e+03 | 1.040000e+03 | 1.89%| unknown
3117.01/3126.95 c 3127s| 30500 | 1967 | 16496k| 352.0 | 449M | 43 |1479 |6217 |3171 | 18k| 1 | 32k| 11k| 1.020678e+03 | 1.040000e+03 | 1.89%| unknown
3122.99/3132.93 c 3133s| 30600 | 1977 | 16532k| 352.0 | 449M | 43 |1479 |6152 |3173 | 19k| 0 | 32k| 11k| 1.020680e+03 | 1.040000e+03 | 1.89%| unknown
3126.58/3136.51 c 3137s| 30700 | 1987 | 16567k| 352.0 | 449M | 43 |1479 |5980 |3173 | 19k| 0 | 32k| 11k| 1.020697e+03 | 1.040000e+03 | 1.89%| unknown
3133.07/3143.01 c 3143s| 30800 | 2001 | 16611k| 352.2 | 449M | 43 |1479 |5779 |3177 | 19k| 1 | 33k| 11k| 1.020740e+03 | 1.040000e+03 | 1.89%| unknown
3135.45/3145.41 c 3145s| 30900 | 2003 | 16635k| 351.9 | 449M | 43 |1479 |5953 |3175 | 19k| 1 | 33k| 11k| 1.020740e+03 | 1.040000e+03 | 1.89%| unknown
3141.93/3151.94 c 3152s| 31000 | 2007 | 16689k| 352.4 | 450M | 43 |1479 |5924 |3177 | 19k| 0 | 33k| 11k| 1.020744e+03 | 1.040000e+03 | 1.89%| unknown
3150.20/3160.28 c 3160s| 31100 | 2025 | 16734k| 352.6 | 450M | 43 |1479 |5789 |3181 | 19k| 0 | 33k| 11k| 1.020747e+03 | 1.040000e+03 | 1.89%| unknown
3154.00/3164.08 c 3164s| 31200 | 2025 | 16761k| 352.4 | 452M | 43 |1479 |6019 |3187 | 19k| 1 | 33k| 11k| 1.020747e+03 | 1.040000e+03 | 1.89%| unknown
3164.97/3175.07 c 3175s| 31300 | 2035 | 16807k| 352.6 | 453M | 43 |1479 |6166 |3190 | 19k| 0 | 34k| 11k| 1.020763e+03 | 1.040000e+03 | 1.88%| unknown
3176.13/3186.26 c 3186s| 31400 | 2051 | 16859k| 353.0 | 478M | 43 |1479 |6257 |3193 | 19k| 0 | 34k| 11k| 1.020771e+03 | 1.040000e+03 | 1.88%| unknown
3184.02/3194.19 c 3194s| 31500 | 2053 | 16896k| 353.0 | 527M | 43 |1479 |6396 |3190 | 19k| 0 | 34k| 11k| 1.020787e+03 | 1.040000e+03 | 1.88%| unknown
3189.49/3199.69 c 3200s| 31600 | 2057 | 16929k| 353.0 | 530M | 43 |1479 |6320 |3193 | 19k| 1 | 34k| 11k| 1.020823e+03 | 1.040000e+03 | 1.88%| unknown
3195.07/3205.27 c 3205s| 31700 | 2061 | 16963k| 352.9 | 530M | 43 |1479 |6274 |3193 | 19k| 1 | 34k| 11k| 1.020823e+03 | 1.040000e+03 | 1.88%| unknown
3201.15/3211.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3201.15/3211.35 c 3211s| 31800 | 2067 | 16999k| 352.9 | 530M | 43 |1479 |6061 |3184 | 19k| 1 | 34k| 11k| 1.020842e+03 | 1.040000e+03 | 1.88%| unknown
3204.44/3214.64 c 3215s| 31900 | 2071 | 17031k| 352.9 | 530M | 43 |1479 |5862 |3175 | 20k| 1 | 34k| 11k| 1.020846e+03 | 1.040000e+03 | 1.88%| unknown
3207.73/3217.90 c 3218s| 32000 | 2077 | 17061k| 352.8 | 530M | 43 |1479 |5765 |3189 | 20k| 1 | 34k| 11k| 1.020868e+03 | 1.040000e+03 | 1.87%| unknown
3215.61/3225.81 c 3226s| 32100 | 2085 | 17099k| 352.8 | 530M | 43 |1479 |5454 |3171 | 20k| 1 | 35k| 11k| 1.020892e+03 | 1.040000e+03 | 1.87%| unknown
3218.30/3228.55 c 3229s| 32200 | 2085 | 17125k| 352.6 | 527M | 43 |1479 |5446 |3181 | 20k| 0 | 35k| 11k| 1.020892e+03 | 1.040000e+03 | 1.87%| unknown
3222.59/3232.88 c 3233s| 32300 | 2097 | 17159k| 352.6 | 520M | 43 |1479 |5276 |3195 | 20k| 1 | 35k| 11k| 1.020894e+03 | 1.040000e+03 | 1.87%| unknown
3229.88/3240.16 c 3240s| 32400 | 2111 | 17210k| 352.9 | 520M | 43 |1479 |5170 |3196 | 20k| 1 | 35k| 11k| 1.020913e+03 | 1.040000e+03 | 1.87%| unknown
3236.85/3247.17 c 3247s| 32500 | 2111 | 17268k| 353.4 | 520M | 43 |1479 |5105 |3172 | 20k| 0 | 35k| 11k| 1.020914e+03 | 1.040000e+03 | 1.87%| unknown
3240.33/3250.67 c 3251s| 32600 | 2121 | 17300k| 353.3 | 520M | 43 |1479 |5006 |3192 | 20k| 2 | 35k| 11k| 1.020921e+03 | 1.040000e+03 | 1.87%| unknown
3246.72/3257.11 c 3257s| 32700 | 2135 | 17343k| 353.5 | 520M | 43 |1479 |4971 |3190 | 20k| 0 | 35k| 11k| 1.020938e+03 | 1.040000e+03 | 1.87%| unknown
3255.29/3265.69 c 3266s| 32800 | 2149 | 17389k| 353.7 | 520M | 43 |1479 |4926 |3177 | 21k| 1 | 35k| 11k| 1.020945e+03 | 1.040000e+03 | 1.87%| unknown
3266.35/3276.74 c 3277s| 32900 | 2161 | 17465k| 354.5 | 520M | 43 |1479 |4915 |3189 | 21k| 0 | 35k| 11k| 1.020947e+03 | 1.040000e+03 | 1.87%| unknown
3269.65/3280.01 c 3280s| 33000 | 2165 | 17494k| 354.4 | 520M | 43 |1479 |4904 |3194 | 21k| 0 | 35k| 11k| 1.020947e+03 | 1.040000e+03 | 1.87%| unknown
3278.73/3289.11 c 3289s| 33100 | 2189 | 17551k| 354.8 | 520M | 43 |1479 |4859 |3198 | 21k| 0 | 35k| 11k| 1.020971e+03 | 1.040000e+03 | 1.86%| unknown
3282.71/3293.17 c 3293s| 33200 | 2193 | 17586k| 354.8 | 520M | 43 |1479 |4872 |3202 | 21k| 1 | 35k| 11k| 1.020973e+03 | 1.040000e+03 | 1.86%| unknown
3285.49/3295.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3285.49/3295.97 c 3296s| 33300 | 2189 | 17610k| 354.6 | 520M | 43 |1479 |4868 |3177 | 21k| 1 | 35k| 11k| 1.020973e+03 | 1.040000e+03 | 1.86%| unknown
3289.69/3300.11 c 3300s| 33400 | 2199 | 17647k| 354.6 | 520M | 43 |1479 |4864 |3191 | 21k| 1 | 35k| 11k| 1.020979e+03 | 1.040000e+03 | 1.86%| unknown
3292.17/3302.64 c 3303s| 33500 | 2199 | 17670k| 354.4 | 520M | 43 |1479 |4864 |3195 | 21k| 1 | 35k| 11k| 1.020979e+03 | 1.040000e+03 | 1.86%| unknown
3295.16/3305.60 c 3306s| 33600 | 2205 | 17696k| 354.2 | 520M | 43 |1479 |4857 |3199 | 21k| 0 | 35k| 11k| 1.020979e+03 | 1.040000e+03 | 1.86%| unknown
3298.05/3308.52 c 3309s| 33700 | 2205 | 17722k| 354.0 | 520M | 43 |1479 |4866 |3201 | 21k| 0 | 35k| 11k| 1.020979e+03 | 1.040000e+03 | 1.86%| unknown
3304.55/3315.03 c 3315s| 33800 | 2219 | 17765k| 354.1 | 519M | 43 |1479 |4853 |3204 | 21k| 0 | 35k| 11k| 1.020995e+03 | 1.040000e+03 | 1.86%| unknown
3307.33/3317.87 c 3318s| 33900 | 2221 | 17791k| 354.0 | 519M | 43 |1479 |4853 |3202 | 21k| 0 | 35k| 11k| 1.020995e+03 | 1.040000e+03 | 1.86%| unknown
3311.91/3322.44 c 3322s| 34000 | 2225 | 17822k| 353.9 | 519M | 43 |1479 |4880 |3204 | 22k| 0 | 35k| 11k| 1.020999e+03 | 1.040000e+03 | 1.86%| unknown
3316.90/3327.45 c 3327s| 34100 | 2227 | 17855k| 353.8 | 519M | 43 |1479 |4703 |3210 | 22k| 1 | 35k| 11k| 1.021005e+03 | 1.040000e+03 | 1.86%| unknown
3319.89/3330.44 c 3330s| 34200 | 2231 | 17884k| 353.7 | 519M | 43 |1479 |4702 |3197 | 22k| 0 | 35k| 11k| 1.021005e+03 | 1.040000e+03 | 1.86%| unknown
3322.68/3333.26 c 3333s| 34300 | 2231 | 17910k| 353.5 | 519M | 43 |1479 |4708 |3190 | 22k| 1 | 35k| 11k| 1.021005e+03 | 1.040000e+03 | 1.86%| unknown
3328.26/3338.84 c 3339s| 34400 | 2237 | 17947k| 353.5 | 519M | 43 |1479 |4705 |3201 | 22k| 0 | 35k| 11k| 1.021010e+03 | 1.040000e+03 | 1.86%| unknown
3330.95/3341.58 c 3342s| 34500 | 2233 | 17972k| 353.3 | 519M | 43 |1479 |4705 |3199 | 22k| 0 | 35k| 11k| 1.021010e+03 | 1.040000e+03 | 1.86%| unknown
3339.13/3349.76 c 3350s| 34600 | 2245 | 18031k| 353.8 | 519M | 43 |1479 |4711 |3200 | 22k| 0 | 35k| 11k| 1.021013e+03 | 1.040000e+03 | 1.86%| unknown
3341.82/3352.41 c 3352s| 34700 | 2247 | 18056k| 353.6 | 519M | 43 |1479 |4711 |3202 | 22k| 1 | 35k| 11k| 1.021013e+03 | 1.040000e+03 | 1.86%| unknown
3349.79/3360.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3349.79/3360.44 c 3360s| 34800 | 2255 | 18101k| 353.8 | 519M | 43 |1479 |4658 |3207 | 22k| 1 | 35k| 11k| 1.021019e+03 | 1.040000e+03 | 1.86%| unknown
3354.98/3365.63 c 3366s| 34900 | 2259 | 18138k| 353.8 | 519M | 43 |1479 |4655 |3197 | 22k| 0 | 35k| 11k| 1.021019e+03 | 1.040000e+03 | 1.86%| unknown
3363.85/3374.55 c 3375s| 35000 | 2275 | 18185k| 354.0 | 519M | 43 |1479 |4601 |3211 | 22k| 1 | 35k| 11k| 1.021051e+03 | 1.040000e+03 | 1.86%| unknown
3366.14/3376.88 c 3377s| 35100 | 2275 | 18207k| 353.8 | 519M | 43 |1479 |4601 |3213 | 22k| 0 | 35k| 11k| 1.021051e+03 | 1.040000e+03 | 1.86%| unknown
3370.34/3381.08 c 3381s| 35200 | 2277 | 18235k| 353.6 | 519M | 43 |1479 |4722 |3210 | 23k| 1 | 35k| 11k| 1.021051e+03 | 1.040000e+03 | 1.86%| unknown
3376.91/3387.61 c 3388s| 35300 | 2283 | 18268k| 353.6 | 519M | 43 |1479 |4758 |3212 | 23k| 0 | 35k| 11k| 1.021052e+03 | 1.040000e+03 | 1.86%| unknown
3381.41/3392.15 c 3392s| 35400 | 2283 | 18299k| 353.5 | 519M | 43 |1479 |4801 |3217 | 23k| 0 | 35k| 11k| 1.021052e+03 | 1.040000e+03 | 1.86%| unknown
3385.58/3396.33 c 3396s| 35500 | 2285 | 18334k| 353.5 | 519M | 43 |1479 |4871 |3202 | 23k| 1 | 35k| 11k| 1.021052e+03 | 1.040000e+03 | 1.86%| unknown
3389.77/3400.56 c 3401s| 35600 | 2285 | 18367k| 353.5 | 519M | 43 |1479 |4932 |3212 | 23k| 1 | 35k| 11k| 1.021052e+03 | 1.040000e+03 | 1.86%| unknown
3398.94/3409.77 c 3410s| 35700 | 2295 | 18409k| 353.6 | 519M | 43 |1479 |5074 |3217 | 23k| 1 | 35k| 11k| 1.021057e+03 | 1.040000e+03 | 1.86%| unknown
3403.34/3414.16 c 3414s| 35800 | 2303 | 18445k| 353.6 | 519M | 43 |1479 |5084 |3210 | 23k| 1 | 35k| 11k| 1.021062e+03 | 1.040000e+03 | 1.85%| unknown
3408.51/3419.30 c 3419s| 35900 | 2311 | 18482k| 353.6 | 519M | 43 |1479 |5159 |3218 | 23k| 0 | 36k| 11k| 1.021063e+03 | 1.040000e+03 | 1.85%| unknown
3414.21/3425.02 c 3425s| 36000 | 2321 | 18520k| 353.7 | 520M | 43 |1479 |5243 |3217 | 23k| 1 | 36k| 11k| 1.021065e+03 | 1.040000e+03 | 1.85%| unknown
3422.87/3433.78 c 3434s| 36100 | 2329 | 18567k| 353.9 | 529M | 45 |1479 |5464 |3221 | 23k| 2 | 36k| 12k| 1.021076e+03 | 1.040000e+03 | 1.85%| unknown
3433.03/3444.01 c 3444s| 36200 | 2341 | 18616k| 354.2 | 540M | 45 |1479 |5555 |3221 | 23k| 1 | 36k| 12k| 1.021098e+03 | 1.040000e+03 | 1.85%| unknown
3436.32/3447.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3436.32/3447.22 c 3447s| 36300 | 2339 | 18644k| 354.0 | 542M | 45 |1479 |5578 |3218 | 23k| 0 | 36k| 12k| 1.021098e+03 | 1.040000e+03 | 1.85%| unknown
3443.40/3454.37 c 3454s| 36400 | 2353 | 18704k| 354.5 | 542M | 45 |1479 |5483 |3219 | 23k| 1 | 36k| 12k| 1.021115e+03 | 1.040000e+03 | 1.85%| unknown
3446.39/3457.36 c 3457s| 36500 | 2353 | 18730k| 354.3 | 542M | 45 |1479 |5507 |3220 | 23k| 1 | 36k| 12k| 1.021115e+03 | 1.040000e+03 | 1.85%| unknown
3451.87/3462.80 c 3463s| 36600 | 2363 | 18773k| 354.4 | 542M | 45 |1479 |5344 |3228 | 23k| 0 | 36k| 12k| 1.021121e+03 | 1.040000e+03 | 1.85%| unknown
3459.35/3470.31 c 3470s| 36700 | 2373 | 18815k| 354.6 | 542M | 45 |1479 |5161 |3219 | 24k| 0 | 36k| 12k| 1.021127e+03 | 1.040000e+03 | 1.85%| unknown
3462.74/3473.74 c 3474s| 36800 | 2369 | 18844k| 354.5 | 539M | 45 |1479 |4944 |3153 | 24k| 1 | 36k| 12k| 1.021127e+03 | 1.040000e+03 | 1.85%| unknown
3466.43/3477.48 c 3477s| 36900 | 2383 | 18877k| 354.4 | 533M | 45 |1479 |4905 |3167 | 24k| 1 | 36k| 12k| 1.021128e+03 | 1.040000e+03 | 1.85%| unknown
3469.52/3480.56 c 3481s| 37000 | 2387 | 18902k| 354.2 | 529M | 45 |1479 |4899 |3170 | 24k| 0 | 36k| 12k| 1.021128e+03 | 1.040000e+03 | 1.85%| unknown
3472.71/3483.70 c 3484s| 37100 | 2387 | 18931k| 354.1 | 527M | 45 |1479 |4944 |3171 | 24k| 0 | 37k| 12k| 1.021128e+03 | 1.040000e+03 | 1.85%| unknown
3476.90/3487.96 c 3488s| 37200 | 2399 | 18967k| 354.1 | 524M | 45 |1479 |5034 |3172 | 24k| 0 | 37k| 12k| 1.021136e+03 | 1.040000e+03 | 1.85%| unknown
3481.88/3492.97 c 3493s| 37300 | 2413 | 19008k| 354.2 | 520M | 45 |1479 |4959 |3177 | 24k| 0 | 37k| 12k| 1.021161e+03 | 1.040000e+03 | 1.84%| unknown
3485.08/3496.17 c 3496s| 37400 | 2413 | 19035k| 354.1 | 520M | 45 |1479 |4973 |3166 | 24k| 0 | 37k| 12k| 1.021161e+03 | 1.040000e+03 | 1.84%| unknown
3487.97/3499.06 c 3499s| 37500 | 2417 | 19062k| 353.9 | 518M | 45 |1479 |4991 |3169 | 24k| 1 | 37k| 12k| 1.021161e+03 | 1.040000e+03 | 1.84%| unknown
3490.96/3502.03 c 3502s| 37600 | 2419 | 19088k| 353.7 | 518M | 45 |1479 |5053 |3170 | 24k| 1 | 37k| 12k| 1.021161e+03 | 1.040000e+03 | 1.84%| unknown
3496.44/3507.57 c 3508s| 37700 | 2421 | 19121k| 353.7 | 518M | 45 |1479 |5040 |3170 | 24k| 1 | 37k| 12k| 1.021166e+03 | 1.040000e+03 | 1.84%| unknown
3499.33/3510.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3499.33/3510.41 c 3510s| 37800 | 2425 | 19148k| 353.5 | 518M | 45 |1479 |5060 |3170 | 24k| 1 | 37k| 12k| 1.021166e+03 | 1.040000e+03 | 1.84%| unknown
3504.61/3515.72 c 3516s| 37900 | 2433 | 19184k| 353.5 | 518M | 45 |1479 |5065 |3170 | 24k| 1 | 37k| 12k| 1.021172e+03 | 1.040000e+03 | 1.84%| unknown
3508.80/3519.96 c 3520s| 38000 | 2445 | 19223k| 353.6 | 518M | 45 |1479 |5044 |3173 | 24k| 0 | 37k| 12k| 1.021182e+03 | 1.040000e+03 | 1.84%| unknown
3516.47/3527.64 c 3528s| 38100 | 2451 | 19283k| 354.1 | 518M | 45 |1479 |5140 |3171 | 24k| 1 | 37k| 12k| 1.021184e+03 | 1.040000e+03 | 1.84%| unknown
3521.56/3532.76 c 3533s| 38200 | 2461 | 19318k| 354.0 | 518M | 45 |1479 |5119 |3177 | 24k| 0 | 37k| 12k| 1.021195e+03 | 1.040000e+03 | 1.84%| unknown
3524.55/3535.71 c 3536s| 38300 | 2463 | 19342k| 353.8 | 518M | 45 |1479 |5280 |3174 | 24k| 1 | 38k| 12k| 1.021195e+03 | 1.040000e+03 | 1.84%| unknown
3528.14/3539.34 c 3539s| 38400 | 2459 | 19368k| 353.7 | 518M | 45 |1479 |5508 |3176 | 24k| 0 | 38k| 12k| 1.021195e+03 | 1.040000e+03 | 1.84%| unknown
3530.73/3541.97 c 3542s| 38500 | 2457 | 19392k| 353.5 | 518M | 45 |1479 |5540 |3170 | 24k| 0 | 38k| 12k| 1.021195e+03 | 1.040000e+03 | 1.84%| unknown
3535.93/3547.14 c 3547s| 38600 | 2459 | 19422k| 353.4 | 518M | 45 |1479 |5552 |3171 | 24k| 1 | 38k| 12k| 1.021214e+03 | 1.040000e+03 | 1.84%| unknown
3539.20/3550.47 c 3550s| 38700 | 2459 | 19453k| 353.3 | 518M | 45 |1479 |5515 |3168 | 24k| 0 | 38k| 12k| 1.021221e+03 | 1.040000e+03 | 1.84%| unknown
3542.49/3553.79 c 3554s| 38800 | 2467 | 19484k| 353.2 | 518M | 45 |1479 |5440 |3170 | 24k| 1 | 38k| 12k| 1.021222e+03 | 1.040000e+03 | 1.84%| unknown
3546.38/3557.61 c 3558s| 38900 | 2471 | 19519k| 353.2 | 518M | 45 |1479 |5488 |3167 | 24k| 0 | 38k| 12k| 1.021223e+03 | 1.040000e+03 | 1.84%| unknown
3551.47/3562.72 c 3563s| 39000 | 2481 | 19554k| 353.2 | 518M | 45 |1479 |5398 |3170 | 25k| 0 | 38k| 12k| 1.021227e+03 | 1.040000e+03 | 1.84%| unknown
3554.77/3566.06 c 3566s| 39100 | 2485 | 19584k| 353.1 | 518M | 45 |1479 |5314 |3171 | 25k| 0 | 38k| 12k| 1.021235e+03 | 1.040000e+03 | 1.84%| unknown
3558.44/3569.79 c 3570s| 39200 | 2495 | 19616k| 353.0 | 518M | 45 |1479 |5240 |3171 | 25k| 2 | 38k| 12k| 1.021235e+03 | 1.040000e+03 | 1.84%| unknown
3562.33/3573.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3562.33/3573.65 c 3574s| 39300 | 2501 | 19649k| 353.0 | 518M | 45 |1479 |5187 |3172 | 25k| 0 | 38k| 12k| 1.021246e+03 | 1.040000e+03 | 1.84%| unknown
3565.83/3577.15 c 3577s| 39400 | 2507 | 19680k| 352.9 | 518M | 45 |1479 |5113 |3171 | 25k| 0 | 38k| 12k| 1.021260e+03 | 1.040000e+03 | 1.83%| unknown
3570.41/3581.74 c 3582s| 39500 | 2513 | 19710k| 352.8 | 518M | 45 |1479 |5023 |3172 | 25k| 1 | 38k| 12k| 1.021262e+03 | 1.040000e+03 | 1.83%| unknown
3576.80/3588.13 c 3588s| 39600 | 2525 | 19754k| 353.0 | 518M | 45 |1479 |4780 |3172 | 25k| 1 | 38k| 12k| 1.021270e+03 | 1.040000e+03 | 1.83%| unknown
3584.46/3595.87 c 3596s| 39700 | 2527 | 19809k| 353.3 | 518M | 45 |1479 |4708 |3169 | 25k| 2 | 38k| 12k| 1.021270e+03 | 1.040000e+03 | 1.83%| unknown
3585.56/3597.00 c
3585.56/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.56/3597.00 c Solving Time (sec) : 3597.00
3585.56/3597.00 c Solving Nodes : 39725 (total of 56029 nodes in 2 runs)
3585.56/3597.00 c Primal Bound : +1.04000000000000e+03 (618 solutions)
3585.56/3597.00 c Dual Bound : +1.02127711634727e+03
3585.56/3597.00 c Gap : 1.83 %
3585.56/3597.01 s SATISFIABLE
3585.56/3597.01 v x1968 -x1967 x1966 x1965 x1964 x1963 x1962 x1961 -x1960 -x1959 -x1958 x1957 x1956 -x1955 x1954 x1953 x1952 -x1951 x1950 -x1949
3585.56/3597.01 v -x1948 x1947 -x1946 -x1945 -x1944 -x1943 x1942 x1941 x1940 x1939 x1938 -x1937 -x1936 -x1935 -x1934 -x1933 x1932 -x1931 -x1930
3585.56/3597.01 v x1929 -x1928 x1927 -x1926 x1925 x1924 x1923 -x1922 -x1921 -x1920 x1919 -x1918 -x1917 -x1916 -x1915 x1914 x1913 -x1912 x1911
3585.56/3597.01 v x1910 x1909 -x1908 x1907 x1906 x1905 x1904 -x1903 x1902 -x1901 -x1900 -x1899 x1898 -x1897 x1896 x1895 -x1894 x1893 -x1892 x1891
3585.56/3597.01 v -x1890 -x1889 x1888 x1887 x1886 -x1885 -x1884 -x1883 x1882 x1881 x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 x1872
3585.56/3597.01 v -x1871 -x1870 -x1869 x1868 x1867 x1866 x1865 x1864 -x1863 -x1862 x1861 -x1860 x1859 x1858 x1857 x1856 -x1855 x1854 x1853
3585.56/3597.01 v -x1852 -x1851 -x1850 -x1849 -x1848 x1847 x1846 x1845 -x1844 x1843 x1842 -x1841 -x1840 x1839 x1838 -x1837 x1836 x1835 x1834 x1833
3585.56/3597.01 v -x1832 -x1831 x1830 x1829 x1828 x1827 x1826 -x1825 -x1824 x1823 x1822 -x1821 -x1820 x1819 x1818 -x1817 -x1816 -x1815 x1814
3585.56/3597.01 v -x1813 -x1812 x1811 -x1810 -x1809 -x1808 -x1807 x1806 -x1805 x1804 x1803 x1802 x1801 -x1800 x1799 -x1798 x1797 x1796 x1795
3585.56/3597.01 v -x1794 x1793 -x1792 -x1791 x1790 -x1789 -x1788 x1787 -x1786 -x1785 -x1784 x1783 x1782 -x1781 x1780 -x1779 -x1778 x1777 -x1776
3585.56/3597.01 v -x1775 -x1774 x1773 x1772 -x1771 x1770 x1769 x1768 -x1767 x1766 -x1765 x1764 -x1763 x1762 x1761 -x1760 -x1759 -x1758 -x1757
3585.56/3597.01 v x1756 -x1755 -x1754 x1753 -x1752 x1751 -x1750 x1749 x1748 x1747 -x1746 -x1745 -x1744 -x1743 -x1742 x1741 x1740 x1739 x1738 x1737
3585.56/3597.01 v -x1736 -x1735 -x1734 -x1733 x1732 x1731 x1730 -x1729 -x1728 x1727 x1726 -x1725 -x1724 x1723 x1722 x1721 -x1720 -x1719 x1718
3585.56/3597.01 v -x1717 -x1716 x1715 x1714 x1713 -x1712 -x1711 -x1710 x1709 x1708 -x1707 -x1706 x1705 -x1704 -x1703 x1702 -x1701 -x1700 x1699
3585.56/3597.01 v x1698 x1697 x1696 x1695 -x1694 -x1693 -x1692 -x1691 -x1690 x1689 -x1688 -x1687 x1686 -x1685 x1684 -x1683 x1682 x1681 x1680
3585.56/3597.01 v -x1679 x1678 -x1677 -x1676 x1675 -x1674 x1673 x1672 x1671 x1670 x1669 x1668 x1667 -x1666 x1665 -x1664 x1663 -x1662 x1661 -x1660
3585.56/3597.01 v x1659 x1658 x1657 x1656 -x1655 -x1654 x1653 x1652 x1651 x1650 x1649 -x1648 x1647 x1646 x1645 -x1644 x1643 x1642 x1641 x1640
3585.56/3597.01 v -x1639 x1638 -x1637 -x1636 -x1635 x1634 x1633 x1632 -x1631 x1630 x1629 x1628 x1627 -x1626 -x1625 x1624 -x1623 -x1622 x1621
3585.56/3597.01 v x1620 x1619 -x1618 -x1617 x1616 x1615 x1614 x1613 -x1612 -x1611 -x1610 -x1609 -x1608 x1607 x1606 -x1605 -x1604 x1603 -x1602
3585.56/3597.01 v -x1601 x1600 -x1599 x1598 x1597 x1596 x1595 -x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 x1586 x1585 -x1584 x1583 -x1582
3585.56/3597.01 v x1581 -x1580 x1579 x1578 x1577 -x1576 x1575 x1574 x1573 -x1572 x1571 x1570 -x1569 x1568 x1567 x1566 x1565 x1564 x1563 x1562
3585.56/3597.01 v x1561 -x1560 x1559 x1558 x1557 x1556 -x1555 x1554 x1553 -x1552 x1551 -x1550 -x1549 x1548 -x1547 x1546 -x1545 -x1544 -x1543
3585.56/3597.01 v x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 x1535 -x1534 x1533 -x1532 -x1531 x1530 x1529 -x1528 -x1527 x1526 x1525 -x1524
3585.56/3597.01 v -x1523 -x1522 -x1521 -x1520 -x1519 x1518 -x1517 x1516 x1515 x1514 x1513 x1512 x1511 x1510 -x1509 -x1508 -x1507 -x1506 x1505
3585.56/3597.01 v -x1504 x1503 x1502 x1501 x1500 x1499 -x1498 -x1497 x1496 x1495 x1494 x1493 -x1492 x1491 -x1490 -x1489 x1488 x1487 -x1486 -x1485
3585.56/3597.01 v -x1484 -x1483 x1482 x1481 -x1480 -x1479 x1478 -x1477 -x1476 x1475 x1474 -x1473 -x1472 x1471 -x1470 x1469 -x1468 -x1467
3585.56/3597.01 v -x1466 x1465 x1464 -x1463 x1462 x1461 x1460 -x1459 x1458 x1457 -x1456 -x1455 x1454 x1453 x1452 x1451 -x1450 x1449 -x1448 x1447
3585.56/3597.01 v x1446 -x1445 x1444 -x1443 x1442 x1441 x1440 -x1439 -x1438 -x1437 x1436 -x1435 -x1434 x1433 x1432 x1431 -x1430 -x1429 x1428
3585.56/3597.01 v -x1427 x1426 x1425 x1424 x1423 -x1422 x1421 -x1420 x1419 -x1418 -x1417 -x1416 x1415 -x1414 -x1413 x1412 x1411 -x1410 -x1409 -x1408
3585.56/3597.01 v -x1407 -x1406 -x1405 x1404 x1403 x1402 x1401 -x1400 -x1399 -x1398 x1397 x1396 x1395 x1394 -x1393 x1392 x1391 x1390 x1389
3585.56/3597.01 v x1388 x1387 x1386 -x1385 -x1384 -x1383 -x1382 x1381 -x1380 x1379 -x1378 -x1377 x1376 -x1375 -x1374 -x1373 x1372 -x1371 -x1370
3585.56/3597.01 v -x1369 -x1368 -x1367 -x1366 x1365 x1364 -x1363 x1362 -x1361 x1360 -x1359 -x1358 -x1357 x1356 x1355 x1354 x1353 -x1352 -x1351
3585.56/3597.01 v x1350 x1349 -x1348 x1347 x1346 -x1345 -x1344 x1343 x1342 x1341 -x1340 x1339 x1338 x1337 -x1336 -x1335 x1334 x1333 x1332 x1331
3585.56/3597.01 v x1330 x1329 -x1328 x1327 x1326 -x1325 -x1324 x1323 x1322 x1321 -x1320 x1319 x1318 x1317 -x1316 -x1315 x1314 -x1313 -x1312
3585.56/3597.01 v x1311 x1310 x1309 x1308 x1307 -x1306 -x1305 x1304 x1303 x1302 x1301 x1300 x1299 x1298 -x1297 x1296 -x1295 -x1294 x1293 x1292
3585.56/3597.01 v x1291 -x1290 -x1289 x1288 x1287 x1286 -x1285 x1284 -x1283 -x1282 -x1281 -x1280 -x1279 x1278 -x1277 -x1276 x1275 x1274 -x1273
3585.56/3597.01 v -x1272 x1271 -x1270 -x1269 -x1268 x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 x1260 x1259 x1258 x1257 x1256 x1255 x1254 -x1253
3585.56/3597.01 v x1252 -x1251 -x1250 x1249 x1248 -x1247 x1246 x1245 x1244 x1243 -x1242 x1241 x1240 -x1239 -x1238 x1237 -x1236 -x1235 x1234
3585.56/3597.01 v x1233 -x1232 -x1231 x1230 -x1229 x1228 x1227 x1226 x1225 -x1224 x1223 -x1222 -x1221 x1220 -x1219 x1218 x1217 -x1216 x1215
3585.56/3597.01 v -x1214 x1213 x1212 -x1211 -x1210 -x1209 -x1208 -x1207 x1206 -x1205 x1204 -x1203 -x1202 x1201 -x1200 x1199 -x1198 -x1197 -x1196
3585.56/3597.01 v -x1195 -x1194 -x1193 x1192 x1191 x1190 -x1189 -x1188 -x1187 -x1186 -x1185 x1184 -x1183 x1182 x1181 x1180 -x1179 -x1178 -x1177
3585.56/3597.01 v -x1176 -x1175 x1174 x1173 -x1172 -x1171 x1170 -x1169 -x1168 x1167 x1166 -x1165 -x1164 x1163 -x1162 x1161 -x1160 -x1159 -x1158
3585.56/3597.01 v x1157 x1156 -x1155 -x1154 -x1153 x1152 x1151 x1150 x1149 -x1148 x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139
3585.56/3597.01 v -x1138 x1137 x1136 x1135 x1134 x1133 x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 -x1125 x1124 x1123 x1122 x1121 -x1120
3585.56/3597.01 v x1119 -x1118 -x1117 -x1116 x1115 -x1114 x1113 x1112 x1111 x1110 x1109 x1108 x1107 -x1106 x1105 x1104 x1103 -x1102 -x1101 -x1100
3585.56/3597.01 v -x1099 -x1098 x1097 -x1096 -x1095 x1094 x1093 x1092 -x1091 -x1090 -x1089 -x1088 x1087 x1086 x1085 x1084 -x1083 -x1082 -x1081
3585.56/3597.01 v x1080 x1079 x1078 x1077 x1076 x1075 x1074 -x1073 x1072 -x1071 -x1070 -x1069 x1068 -x1067 x1066 x1065 x1064 -x1063 -x1062
3585.56/3597.01 v x1061 x1060 x1059 -x1058 -x1057 x1056 x1055 -x1054 x1053 x1052 x1051 x1050 x1049 -x1048 x1047 x1046 x1045 -x1044 x1043 x1042
3585.56/3597.01 v x1041 -x1040 x1039 x1038 x1037 x1036 -x1035 x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 x1027 x1026 -x1025 x1024 x1023 -x1022
3585.56/3597.01 v x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 x1014 x1013 -x1012 -x1011 x1010 x1009 -x1008 -x1007 x1006 x1005 -x1004 -x1003
3585.56/3597.01 v -x1002 x1001 x1000 -x999 -x998 -x997 x996 -x995 -x994 x993 x992 x991 x990 -x989 x988 x987 -x986 -x985 -x984 -x983 x982 -x981
3585.56/3597.01 v x980 -x979 x978 -x977 x976 -x975 -x974 -x973 x972 -x971 x970 -x969 x968 x967 -x966 -x965 x964 -x963 x962 x961 -x960 -x959
3585.56/3597.01 v -x958 x957 -x956 x955 x954 -x953 x952 x951 -x950 -x949 -x948 x947 -x946 -x945 x944 -x943 -x942 x941 -x940 -x939 x938 -x937 -x936
3585.56/3597.01 v x935 x934 -x933 -x932 x931 x930 -x929 x928 x927 x926 x925 x924 x923 -x922 -x921 x920 -x919 x918 x917 -x916 x915 -x914 -x913
3585.56/3597.01 v x912 x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 -x903 x902 x901 x900 -x899 x898 -x897 x896 -x895 x894 -x893 x892 -x891
3585.56/3597.01 v -x890 x889 -x888 -x887 x886 -x885 -x884 x883 -x882 x881 x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 x872 x871 x870 x869 x868
3585.56/3597.01 v -x867 -x866 -x865 -x864 x863 x862 x861 x860 x859 x858 -x857 x856 x855 x854 x853 -x852 x851 x850 -x849 x848 x847 x846 -x845
3585.56/3597.01 v x844 -x843 x842 -x841 -x840 -x839 -x838 -x837 -x836 x835 -x834 x833 -x832 x831 -x830 -x829 -x828 -x827 x826 -x825 x824 -x823
3585.56/3597.01 v -x822 x821 x820 x819 -x818 x817 x816 x815 -x814 x813 -x812 -x811 -x810 -x809 -x808 x807 x806 x805 x804 x803 x802 -x801 x800
3585.56/3597.01 v -x799 x798 x797 -x796 x795 x794 -x793 x792 -x791 x790 x789 -x788 x787 -x786 x785 x784 -x783 -x782 -x781 x780 -x779 x778 x777
3585.56/3597.01 v x776 x775 -x774 x773 -x772 -x771 x770 -x769 x768 -x767 -x766 -x765 -x764 x763 x762 -x761 x760 x759 -x758 x757 x756 -x755 x754
3585.56/3597.01 v x753 -x752 -x751 x750 -x749 -x748 x747 x746 x745 -x744 -x743 -x742 -x741 x740 x739 -x738 x737 x736 -x735 -x734 x733 -x732 x731
3585.56/3597.01 v x730 x729 -x728 -x727 x726 x725 x724 -x723 x722 -x721 x720 x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 x711 x710 x709 -x708
3585.56/3597.01 v x707 x706 x705 -x704 -x703 x702 x701 x700 -x699 -x698 x697 x696 -x695 x694 x693 x692 x691 -x690 -x689 -x688 x687 x686 x685
3585.56/3597.01 v x684 x683 -x682 -x681 -x680 x679 x678 x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 x667 x666 -x665 x664 -x663
3585.56/3597.01 v x662 -x661 -x660 -x659 x658 -x657 x656 -x655 -x654 x653 -x652 x651 -x650 x649 x648 -x647 x646 -x645 -x644 x643 x642 -x641 -x640
3585.56/3597.01 v x639 -x638 -x637 -x636 -x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 x626 x625 -x624 -x623 x622 -x621 -x620 x619 -x618
3585.56/3597.01 v x617 x616 -x615 x614 -x613 -x612 x611 x610 x609 -x608 x607 x606 x605 x604 x603 -x602 -x601 -x600 -x599 x598 x597 x596 -x595
3585.56/3597.01 v -x594 x593 x592 x591 x590 -x589 -x588 x587 x586 x585 -x584 x583 x582 x581 x580 -x579 -x578 -x577 x576 -x575 -x574 x573 x572
3585.56/3597.01 v -x571 -x570 -x569 -x568 -x567 x566 x565 -x564 -x563 x562 x561 x560 -x559 -x558 -x557 x556 x555 x554 x553 x552 -x551 x550 -x549
3585.56/3597.01 v x548 -x547 x546 -x545 x544 x543 -x542 -x541 x540 x539 x538 x537 -x536 -x535 -x534 x533 x532 x531 -x530 -x529 x528 x527 -x526
3585.56/3597.01 v x525 -x524 -x523 -x522 x521 -x520 -x519 x518 -x517 -x516 x515 x514 x513 -x512 -x511 -x510 x509 x508 x507 x506 -x505 x504 x503
3585.56/3597.01 v x502 x501 -x500 x499 -x498 -x497 x496 -x495 x494 -x493 -x492 x491 -x490 x489 -x488 x487 -x486 -x485 -x484 x483 x482 x481
3585.56/3597.01 v x480 x479 -x478 x477 x476 -x475 -x474 x473 -x472 x471 -x470 -x469 x468 x467 x466 -x465 -x464 -x463 -x462 x461 x460 x459 x458
3585.56/3597.01 v -x457 -x456 x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 x447 -x446 x445 -x444 -x443 x442 x441 -x440 -x439 x438 x437 -x436 x435
3585.56/3597.01 v -x434 x433 x432 x431 x430 x429 x428 x427 x426 -x425 x424 -x423 -x422 x421 x420 -x419 x418 x417 -x416 x415 x414 x413 -x412
3585.56/3597.01 v -x411 x410 x409 x408 x407 x406 -x405 x404 -x403 x402 -x401 x400 -x399 x398 x397 x396 x395 -x394 x393 -x392 x391 x390 -x389 x388
3585.56/3597.01 v x387 x386 -x385 -x384 -x383 x382 -x381 x380 -x379 x378 x377 x376 -x375 x374 -x373 x372 x371 x370 x369 -x368 -x367 -x366 -x365
3585.56/3597.01 v -x364 -x363 x362 -x361 x360 x359 x358 x357 x356 -x355 -x354 -x353 -x352 x351 x350 x349 x348 -x347 x346 -x345 -x344 x343
3585.56/3597.01 v -x342 -x341 -x340 x339 x338 x337 x336 x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 x325 x324 x323 -x322 -x321 x320
3585.56/3597.01 v -x319 -x318 x317 x316 x315 x314 -x313 -x312 -x311 -x310 -x309 x308 x307 -x306 x305 -x304 -x303 -x302 -x301 x300 x299 x298 x297
3585.56/3597.01 v -x296 -x295 -x294 x293 -x292 x291 -x290 x289 x288 x287 x286 -x285 -x284 x283 x282 x281 -x280 x279 x278 x277 x276 x275 x274
3585.56/3597.01 v x273 x272 -x271 x270 x269 x268 x267 x266 -x265 -x264 -x263 x262 x261 x260 -x259 x258 x257 -x256 -x255 x254 -x253 -x252 -x251
3585.56/3597.01 v -x250 -x249 -x248 x247 -x246 x245 x244 x243 -x242 -x241 -x240 -x239 -x238 x237 x236 x235 x234 -x233 x232 x231 x230 x229 -x228
3585.56/3597.01 v -x227 x226 -x225 x224 x223 -x222 -x221 -x220 -x219 x218 x217 -x216 x215 x214 x213 -x212 x211 -x210 x209 x208 -x207 x206 x205
3585.56/3597.01 v x204 x203 x202 x201 x200 -x199 x198 x197 x196 x195 -x194 x193 -x192 x191 x190 -x189 -x188 x187 x186 -x185 x184 x183 -x182
3585.56/3597.01 v -x181 x180 x179 x178 x177 x176 x175 -x174 -x173 x172 x171 -x170 -x169 -x168 -x167 -x166 x165 x164 x163 -x162 x161 -x160 -x159
3585.56/3597.01 v x158 -x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 -x145 x144 -x143 -x142 x141 -x140 x139 x138 -x137 -x136 x135
3585.56/3597.01 v x134 -x133 x132 -x131 x130 -x129 -x128 -x127 x126 x125 -x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 x115 x114 -x113 x112
3585.56/3597.01 v -x111 -x110 x109 -x108 x107 x106 x105 -x104 x103 x102 x101 -x100 x99 x98 x97 -x96 x95 x94 -x93 -x92 -x91 x90 x89 -x88 -x87
3585.56/3597.01 v -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 x77 -x76 x75 -x74 -x73 -x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59
3585.56/3597.01 v -x58 -x57 x56 x55 -x54 -x53 x52 -x51 x50 x49 -x48 -x47 -x46 x45 -x44 x43 -x42 -x41 x40 -x39 -x38 x37 x36 -x35 -x34 x33 x32 -x31
3585.56/3597.01 v x30 x29 -x28 -x27 x26 -x25 -x24 -x23 x22 x21 x20 -x19 -x18 x17 -x16 x15 x14 x13 x12 x11 x10 x9 -x8 -x7 -x6 x5 -x4 x3 x2 x1
3585.56/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.56/3597.01 c Total Time : 3597.00
3585.56/3597.01 c solving : 3597.00
3585.56/3597.01 c presolving : 0.53 (included in solving)
3585.56/3597.01 c reading : 0.01 (included in solving)
3585.56/3597.01 c copying : 0.16 (12 #copies) (minimal 0.01, maximal 0.03, average 0.01)
3585.56/3597.01 c Original Problem :
3585.56/3597.01 c Problem name : HOME/instance-4432639-1721075018.opb
3585.56/3597.01 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.56/3597.01 c Constraints : 4000 initial, 4000 maximal
3585.56/3597.01 c Objective : minimize, 1968 non-zeros (abs.min = 1, abs.max = 1)
3585.56/3597.01 c Presolved Problem :
3585.56/3597.01 c Problem name : t_HOME/instance-4432639-1721075018.opb
3585.56/3597.01 c Variables : 1479 (1479 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.56/3597.01 c Constraints : 7325 initial, 12069 maximal
3585.56/3597.01 c Objective : minimize, 1479 non-zeros (abs.min = 1, abs.max = 1)
3585.56/3597.01 c Nonzeros : 187225 constraint, 5757 clique table
3585.56/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.56/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c gateextraction : 0.02 0.00 4 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c trivial : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c dualfix : 0.00 0.00 16 228 0 0 0 0 0 0 0 0
3585.56/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c pseudoobj : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c knapsack : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c setppc : 0.02 0.00 16 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c linear : 0.02 0.00 20 0 261 0 0 0 1132 0 623 795
3585.56/3597.01 c logicor : 0.30 0.10 12 0 0 0 0 0 428 0 0 1599
3585.56/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c root node : - - - 0 - - 0 - - - - -
3585.56/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.56/3597.01 c benderslp : 0 0 0 0 32157 0 0 2075 0 0 0 0 0 0 0
3585.56/3597.01 c integral : 0 0 0 0 32157 0 0 2075 0 0 6057 0 0 27823 60214
3585.56/3597.01 c knapsack : 248+ 249 11 173900 0 0 0 0 36 6 6 0 0 0 0
3585.56/3597.01 c setppc : 2875 2875 32 264043 6 0 0 2069 312013 42 193339 0 0 0 0
3585.56/3597.01 c linear : 78 78 11 209960 0 0 0 2 804 515 1481 0 0 0 0
3585.56/3597.01 c logicor : 4124+ 8868 11 60101 0 0 0 0 3059 320 346 0 0 0 0
3585.56/3597.01 c benders : 0 0 0 0 6 0 0 716 0 0 0 0 0 0 0
3585.56/3597.01 c fixedvar : 0 0 0 0 6 0 0 716 0 0 0 0 0 0 0
3585.56/3597.01 c countsols : 0 0 0 0 6 0 0 716 0 0 0 0 0 0 0
3585.56/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.56/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3585.56/3597.01 c integral : 549.71 0.00 0.00 0.00 549.70 0.00 0.00 0.01 0.00 0.00
3585.56/3597.01 c knapsack : 0.31 0.00 0.03 0.24 0.00 0.00 0.00 0.00 0.00 0.04
3585.56/3597.01 c setppc : 1.59 0.00 0.01 1.26 0.00 0.00 0.00 0.06 0.06 0.21
3585.56/3597.01 c linear : 0.36 0.00 0.00 0.25 0.00 0.00 0.00 0.00 0.00 0.11
3585.56/3597.01 c logicor : 1.02 0.10 0.01 0.84 0.00 0.00 0.00 0.00 0.01 0.07
3585.56/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.01 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
3585.56/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.01 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.56/3597.01 c dualfix : 3 0 0 0
3585.56/3597.01 c genvbounds : 0 0 0 0
3585.56/3597.01 c nlobbt : 0 0 0 0
3585.56/3597.01 c obbt : 0 0 0 0
3585.56/3597.01 c probing : 0 0 0 0
3585.56/3597.01 c pseudoobj : 123557 0 0 0
3585.56/3597.01 c redcost : 18936 0 0 2808
3585.56/3597.01 c rootredcost : 11 0 0 0
3585.56/3597.01 c symmetry : 0 0 0 0
3585.56/3597.01 c vbounds : 99059 0 0 0
3585.56/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.56/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.01 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3585.56/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.56/3597.01 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3585.56/3597.01 c pseudoobj : 0.12 0.00 0.00 0.12 0.00 0.00
3585.56/3597.01 c redcost : 0.41 0.00 0.00 0.41 0.00 0.00
3585.56/3597.01 c rootredcost : 0.03 0.00 0.00 0.02 0.00 0.00
3585.56/3597.01 c symmetry : 0.05 0.00 0.00 0.04 0.00 0.01
3585.56/3597.01 c vbounds : 0.07 0.00 0.00 0.06 0.00 0.01
3585.56/3597.01 c Symmetry :
3585.56/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.56/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.56/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.56/3597.01 c shadow tree time : 0.00 s
3585.56/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.56/3597.01 c propagation : 0.02 428 224 - 1876 64.9 0 0.0 - - -
3585.56/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.56/3597.01 c bound exceed. LP : 5.19 7531 7528 - 71940 60.1 0 0.0 7528 86.8 18875
3585.56/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.56/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.56/3597.01 c applied globally : 0.31 - - 0 31235 47.5 - - 7528 - -
3585.56/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.56/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.56/3597.01 c cut pool : 16.75 - 9881 61 - - 54531 233915 - - - - - (maximal pool size: 3930)
3585.56/3597.01 c aggregation : 69.74 0.00 2727 32 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.56/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.56/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.56/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c clique : 0.39 0.00 32 32 0 0 6 6 0 6 6 0 0
3585.56/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c gomory : 749.24 0.00 2533 20 0 0 51361 81612 0 7794 7794 0 0
3585.56/3597.01 c > gomorymi : - - - - - - - 28488 0 460 460 0 -
3585.56/3597.01 c > strongcg : - - - - - - - 53124 0 7334 7334 0 -
3585.56/3597.01 c impliedbounds : 0.45 0.00 2727 32 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c multilinear : 0.00 0.00 259 32 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c rapidlearning : 0.04 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c rlt : 0.00 0.00 649 20 0 0 0 0 0 0 0 0 0
3585.56/3597.01 c zerohalf : 45.44 0.00 2544 31 0 0 3164 152297 0 53551 53551 0 0
3585.56/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.56/3597.01 c hybrid : 1.23 0.00 6459 31 61351 0 172564 173 0 1593
3585.56/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3585.56/3597.01 c problem variables: 0.00 - 0 0
3585.56/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.56/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c relpscost : 549.67 0.00 32151 0 0 0 6057 0 33509 60214
3585.56/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.56/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.56/3597.01 c LP solutions : 0.00 - - 6 6
3585.56/3597.01 c relax solutions : 0.00 - - 0 0
3585.56/3597.01 c pseudo solutions : 0.00 - - 0 0
3585.56/3597.01 c strong branching : 1.29 - - 76 0
3585.56/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3585.56/3597.01 c adaptivediving : 7.51 0.00 63 1 0
3585.56/3597.01 c alns : 0.16 0.00 7 0 0
3585.56/3597.01 c bound : 0.00 0.00 0 0 0
3585.56/3597.01 c clique : 0.02 0.00 1 1 1
3585.56/3597.01 c coefdiving : 0.00 0.00 0 0 0
3585.56/3597.01 c completesol : 0.00 0.00 0 0 0
3585.56/3597.01 c conflictdiving : 4.54 0.00 79 0 0
3585.56/3597.01 c crossover : 0.18 0.00 5 2 1
3585.56/3597.01 c dins : 0.00 0.00 0 0 0
3585.56/3597.01 c distributiondivin: 10.31 0.00 78 0 0
3585.56/3597.01 c dps : 0.00 0.00 0 0 0
3585.56/3597.01 c dualval : 0.00 0.00 0 0 0
3585.56/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3585.56/3597.01 c feasjump : 0.00 0.00 0 0 0
3585.56/3597.01 c feaspump : 0.00 0.00 0 0 0
3585.56/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3585.56/3597.01 c fracdiving : 6.22 0.00 78 0 0
3585.56/3597.01 c gins : 0.01 0.00 0 0 0
3585.56/3597.01 c guideddiving : 8.48 0.00 78 1 1
3585.56/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3585.56/3597.01 c indicator : 0.01 0.00 0 0 0
3585.56/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3585.56/3597.01 c indoneopt : 0.01 0.00 0 0 0
3585.56/3597.01 c indrounding : 0.00 0.00 0 0 0
3585.56/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3585.56/3597.01 c intdiving : 0.00 0.00 0 0 0
3585.56/3597.01 c intshifting : 0.00 0.00 0 0 0
3585.56/3597.01 c linesearchdiving : 14.41 0.00 78 0 0
3585.56/3597.01 c localbranching : 0.00 0.00 0 0 0
3585.56/3597.01 c locks : 0.00 0.00 1 1 1
3585.56/3597.01 c lpface : 0.01 0.00 0 0 0
3585.56/3597.01 c mpec : 0.00 0.00 0 0 0
3585.56/3597.01 c multistart : 0.00 0.00 0 0 0
3585.56/3597.01 c mutation : 0.00 0.00 0 0 0
3585.56/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3585.56/3597.01 c objpscostdiving : 128.74 0.00 40 177 0
3585.56/3597.01 c octane : 0.00 0.00 0 0 0
3585.56/3597.01 c ofins : 0.01 0.00 0 0 0
3585.56/3597.01 c oneopt : 0.02 0.00 10 2 2
3585.56/3597.01 c padm : 0.00 0.00 0 0 0
3585.56/3597.01 c proximity : 0.00 0.00 0 0 0
3585.56/3597.01 c pscostdiving : 14.74 0.00 78 3 1
3585.56/3597.01 c randrounding : 0.41 0.00 1386 21 0
3585.56/3597.01 c rens : 0.00 0.00 0 0 0
3585.56/3597.01 c reoptsols : 0.00 0.00 0 0 0
3585.56/3597.01 c repair : 0.00 0.00 0 0 0
3585.56/3597.01 c rins : 0.50 0.00 1 1 0
3585.56/3597.01 c rootsoldiving : 12.63 0.00 40 22 0
3585.56/3597.01 c rounding : 49.21 0.00 2735 0 0
3585.56/3597.01 c scheduler : 0.00 0.00 0 0 0
3585.56/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3585.56/3597.01 c shifting : 25.81 0.00 1356 0 0
3585.56/3597.01 c simplerounding : 2.71 0.00 38616 94 0
3585.56/3597.01 c smallcard : 0.00 0.00 0 0 0
3585.56/3597.01 c subnlp : 0.02 0.00 0 0 0
3585.56/3597.01 c trivial : 0.00 0.00 4 2 2
3585.56/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3585.56/3597.01 c trustregion : 0.00 0.00 0 0 0
3585.56/3597.01 c trysol : 0.01 0.00 0 0 0
3585.56/3597.01 c twoopt : 0.00 0.00 0 0 0
3585.56/3597.01 c undercover : 0.00 0.00 0 0 0
3585.56/3597.01 c vbounds : 0.02 0.00 2 0 0
3585.56/3597.01 c veclendiving : 7.55 0.00 78 0 0
3585.56/3597.01 c zeroobj : 0.00 0.00 0 0 0
3585.56/3597.01 c zirounding : 5.18 0.00 10401 208 0
3585.56/3597.01 c other solutions : - - - 0 -
3585.56/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.56/3597.01 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
3585.56/3597.01 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
3585.56/3597.01 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
3585.56/3597.01 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
3585.56/3597.01 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
3585.56/3597.01 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
3585.56/3597.01 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
3585.56/3597.01 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
3585.56/3597.01 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
3585.56/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.56/3597.01 c primal LP : 2.88 3731 0 0.00 0.00 2.88 3731
3585.56/3597.01 c dual LP : 1831.36 66878 18122826 281.90 9895.82 2.22 2591
3585.56/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3585.56/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.56/3597.01 c resolve instable : 0.00 0 0 0.00 -
3585.56/3597.01 c diving/probing LP: 227.32 8067 1696207 210.26 7461.89
3585.56/3597.01 c strong branching : 504.17 12386 4981023 402.15 9879.72 - - 3577
3585.56/3597.01 c (at root node) : - 25 24195 967.80 -
3585.56/3597.01 c conflict analysis: 2.24 1888 18875 10.00 8420.66
3585.56/3597.01 c B&B Tree :
3585.56/3597.01 c number of runs : 2
3585.56/3597.01 c nodes : 39725 (21128 internal, 18597 leaves)
3585.56/3597.01 c feasible leaves : 0
3585.56/3597.01 c infeas. leaves : 127
3585.56/3597.01 c objective leaves : 18470
3585.56/3597.01 c nodes (total) : 56029 (30107 internal, 25922 leaves)
3585.56/3597.01 c nodes left : 2532
3585.56/3597.01 c max depth : 45
3585.56/3597.01 c max depth (total): 52
3585.56/3597.01 c backtracks : 5417 (13.6%)
3585.56/3597.01 c early backtracks : 0 (0.0%)
3585.56/3597.01 c nodes exc. ref. : 0 (0.0%)
3585.56/3597.01 c delayed cutoffs : 0
3585.56/3597.01 c repropagations : 27 (25 domain reductions, 0 cutoffs)
3585.56/3597.01 c avg switch length: 2.89
3585.56/3597.01 c switching time : 7.10
3585.56/3597.01 c Root Node :
3585.56/3597.01 c First LP value : +9.79500000000000e+02
3585.56/3597.01 c First LP Iters : 1872 (59534.41 Iter/sec)
3585.56/3597.01 c First LP Time : 0.03
3585.56/3597.01 c Final Dual Bound : +1.01712563949444e+03
3585.56/3597.01 c Final Root Iters : 21986
3585.56/3597.01 c Root LP Estimate : +1.33466835383554e+03
3585.56/3597.01 c Solution :
3585.56/3597.01 c Solutions found : 618 (15 improvements)
3585.56/3597.01 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
3585.56/3597.01 c Gap First Sol. : infinite
3585.56/3597.01 c Gap Last Sol. : 3.06 %
3585.56/3597.01 c Primal Bound : +1.04000000000000e+03 (in run 1, after 1047 nodes, 136.67 seconds, depth 17, found by <crossover>)
3585.56/3597.01 c Dual Bound : +1.02127711634727e+03
3585.56/3597.01 c Gap : 1.83 %
3585.56/3597.01 c Integrals : Total Avg%
3585.56/3597.01 c primal-dual : 8155.41 2.27
3585.56/3597.01 c primal-ref : - - (not evaluated)
3585.56/3597.01 c dual-ref : - - (not evaluated)
3585.67/3597.05 c Time complete: 3585.72.
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: 64059 MiB (61025 MiB free)
memory of node 1: 64510 MiB (61183 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432639-1721075018/watcher-4432639-1721075018 -o /tmp/evaluation-result-4432639-1721075018/solver-4432639-1721075018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721071433-807172 --watchdog 3760 pbscip -f HOME/instance-4432639-1721075018.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=809188, runsolver pid=809185
[startup+0.100068 s]*
/proc/loadavg: 4.13 4.26 4.23 5/233 809208
/proc/meminfo: memFree=125139844/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=80236 memory=39680 CPUtime=0.1 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 6585 0 0 0 10 0 0 0 20 0 1 0 159658785 82161664 9920 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 20059 9920 3966 3540 0 8316 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 80236 KiB
Current children cumulated memory: 39680 KiB
[startup+0.213095 s]*
/proc/loadavg: 4.13 4.26 4.23 6/238 809235
/proc/meminfo: memFree=125135628/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=81220 memory=40472 CPUtime=0.21 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 6793 0 0 0 21 0 0 0 20 0 1 0 159658785 83169280 10118 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 20305 10118 3966 3540 0 8562 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 81220 KiB
Current children cumulated memory: 40472 KiB
[startup+0.313015 s]*
/proc/loadavg: 4.13 4.26 4.23 7/240 809241
/proc/meminfo: memFree=125097788/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=84836 memory=43948 CPUtime=0.32 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 7612 0 0 0 31 1 0 0 20 0 1 0 159658785 86872064 10987 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 21209 10987 3982 3540 0 9466 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 84836 KiB
Current children cumulated memory: 43948 KiB
[startup+0.700279 s]
/proc/loadavg: 4.13 4.26 4.23 5/243 809247
/proc/meminfo: memFree=125063144/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=85956 memory=44708 CPUtime=0.69 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 7824 0 0 0 68 1 0 0 20 0 1 0 159658785 88018944 11177 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 21489 11177 3982 3540 0 9746 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 85956 KiB
Current children cumulated memory: 44708 KiB
[startup+1.50027 s]
/proc/loadavg: 4.13 4.26 4.23 5/243 809247
/proc/meminfo: memFree=125052716/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=91360 memory=49196 CPUtime=1.49 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 8993 0 0 0 148 1 0 0 20 0 1 0 159658785 93552640 12299 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 22840 12299 3982 3540 0 11097 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 91360 KiB
Current children cumulated memory: 49196 KiB
[startup+3.11277 s]
/proc/loadavg: 4.12 4.25 4.23 5/243 809293
/proc/meminfo: memFree=126656288/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=114736 memory=71900 CPUtime=3.09 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 14664 0 0 0 308 1 0 0 20 0 1 0 159658785 117489664 17975 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 28684 17975 3982 3540 0 16941 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 114736 KiB
Current children cumulated memory: 71900 KiB
[startup+6.30026 s]
/proc/loadavg: 4.12 4.25 4.23 5/243 809293
/proc/meminfo: memFree=126526988/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=147944 memory=105184 CPUtime=6.26 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 22624 0 0 0 623 3 0 0 20 0 1 0 159658785 151494656 26296 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 36986 26296 3982 3540 0 25243 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 147944 KiB
Current children cumulated memory: 105184 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.25 4.23 5/243 809295
/proc/meminfo: memFree=126404968/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=188100 memory=143744 CPUtime=12.64 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 32719 0 0 0 1260 4 0 0 20 0 1 0 159658785 192614400 35936 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 47025 35936 3998 3540 0 35282 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 188100 KiB
Current children cumulated memory: 143744 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.25 4.23 5/243 809297
/proc/meminfo: memFree=126396300/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=188100 memory=147904 CPUtime=25.4 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 32822 0 0 0 2536 4 0 0 20 0 1 0 159658785 192614400 36976 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 47025 36976 3998 3540 0 35282 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 188100 KiB
Current children cumulated memory: 147904 KiB
[startup+51.1127 s]
/proc/loadavg: 4.11 4.23 4.22 5/243 809302
/proc/meminfo: memFree=126199508/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=230564 memory=187404 CPUtime=50.91 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 43285 0 0 0 5086 5 0 0 20 0 1 0 159658785 236097536 46851 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 57641 46851 4009 3540 0 45898 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 230564 KiB
Current children cumulated memory: 187404 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.22 4.22 5/243 809311
/proc/meminfo: memFree=126019396/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=308036 memory=258276 CPUtime=101.93 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 61446 0 0 0 10185 8 0 0 20 0 1 0 159658785 315428864 64569 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 77009 64569 4009 3540 0 65266 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 308036 KiB
Current children cumulated memory: 258276 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.20 4.20 5/243 809706
/proc/meminfo: memFree=125890844/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=334148 memory=284860 CPUtime=161.74 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 68385 0 0 0 16165 9 0 0 20 0 1 0 159658785 342167552 71215 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 83537 71215 4009 3540 0 71794 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 334148 KiB
Current children cumulated memory: 284860 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.17 4.19 5/243 809717
/proc/meminfo: memFree=125744804/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=454500 memory=399020 CPUtime=221.55 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 96945 0 0 0 22142 13 0 0 20 0 1 0 159658785 465408000 99755 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 113625 99755 4009 3540 0 101882 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 454500 KiB
Current children cumulated memory: 399020 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.18 4.19 5/244 809728
/proc/meminfo: memFree=125720448/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=457272 memory=400296 CPUtime=281.36 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 97443 0 0 0 28123 13 0 0 20 0 1 0 159658785 468246528 100074 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 114318 100074 4009 3540 0 102575 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 457272 KiB
Current children cumulated memory: 400296 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.18 5/247 809909
/proc/meminfo: memFree=125683324/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=457272 memory=400388 CPUtime=341.17 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 97500 0 0 0 34104 13 0 0 20 0 1 0 159658785 468246528 100097 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 114318 100097 4009 3540 0 102575 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 457272 KiB
Current children cumulated memory: 400388 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/247 809919
/proc/meminfo: memFree=125626084/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=457832 memory=400992 CPUtime=400.97 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 97709 0 0 0 40083 14 0 0 20 0 1 0 159658785 468819968 100248 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 114458 100248 4009 3540 0 102715 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 457832 KiB
Current children cumulated memory: 400992 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.16 4.18 5/245 809987
/proc/meminfo: memFree=125602408/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=459300 memory=401024 CPUtime=460.75 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 97770 0 0 0 46061 14 0 0 20 0 1 0 159658785 470323200 100256 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 114825 100256 4009 3540 0 103082 0
################
# More data... #
################
/proc/loadavg: 4.32 4.29 4.19 5/241 811036
/proc/meminfo: memFree=124812764/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=510028 memory=471836 CPUtime=3152.3 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 124336 0 0 0 315212 18 0 0 20 0 1 0 159658785 522268672 117959 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 127507 117959 4009 3540 0 115764 0
Current children cumulated CPU time: 3152.3 s
Current children cumulated vsize: 510028 KiB
Current children cumulated memory: 471836 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.26 4.19 5/241 811047
/proc/meminfo: memFree=124740348/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=584088 memory=542752 CPUtime=3212.12 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 142336 0 0 0 321191 21 0 0 20 0 1 0 159658785 598106112 135688 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 146022 135688 4009 3540 0 134279 0
Current children cumulated CPU time: 3212.12 s
Current children cumulated vsize: 584088 KiB
Current children cumulated memory: 542752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.23 4.18 5/241 811057
/proc/meminfo: memFree=124739492/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=584088 memory=543096 CPUtime=3271.93 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 142553 0 0 0 327172 21 0 0 20 0 1 0 159658785 598106112 135774 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 146022 135774 4009 3540 0 134279 0
Current children cumulated CPU time: 3271.93 s
Current children cumulated vsize: 584088 KiB
Current children cumulated memory: 543096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.22 4.18 5/241 811067
/proc/meminfo: memFree=124736984/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=584088 memory=543972 CPUtime=3331.75 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 142855 0 0 0 333154 21 0 0 20 0 1 0 159658785 598106112 135993 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 146022 135993 4009 3540 0 134279 0
Current children cumulated CPU time: 3331.75 s
Current children cumulated vsize: 584088 KiB
Current children cumulated memory: 543972 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/241 811077
/proc/meminfo: memFree=124731840/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=584088 memory=546580 CPUtime=3391.57 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 143207 0 0 0 339136 21 0 0 20 0 1 0 159658785 598106112 136645 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 146022 136645 4009 3540 0 134279 0
Current children cumulated CPU time: 3391.57 s
Current children cumulated vsize: 584088 KiB
Current children cumulated memory: 546580 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.17 4.17 5/243 811092
/proc/meminfo: memFree=124660260/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=594292 memory=557104 CPUtime=3451.38 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 146184 0 0 0 345117 21 0 0 20 0 1 0 159658785 608555008 139276 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 148573 139276 4009 3540 0 136830 0
Current children cumulated CPU time: 3451.38 s
Current children cumulated vsize: 594292 KiB
Current children cumulated memory: 557104 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/243 811102
/proc/meminfo: memFree=124642832/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=593424 memory=555716 CPUtime=3511.19 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 146602 0 0 0 351098 21 0 0 20 0 1 0 159658785 607666176 138929 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 148356 138929 4009 3540 0 136613 0
Current children cumulated CPU time: 3511.19 s
Current children cumulated vsize: 593424 KiB
Current children cumulated memory: 555716 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/243 811112
/proc/meminfo: memFree=124640904/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=593424 memory=555716 CPUtime=3571.01 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 146948 0 0 0 357080 21 0 0 20 0 1 0 159658785 607666176 138929 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 148356 138929 4009 3540 0 136613 0
Current children cumulated CPU time: 3571.01 s
Current children cumulated vsize: 593424 KiB
Current children cumulated memory: 555716 KiB
[startup+3597.06 s]
# the end of solver process 809188 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.5 s, system=0.223199 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.16 4.16 5/243 811112
/proc/meminfo: memFree=124640932/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=593424 memory=555716 CPUtime=3572.71 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 146948 0 0 0 357250 21 0 0 20 0 1 0 159658785 607666176 138929 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 148356 138929 4009 3540 0 136613 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 593424 KiB
Current children cumulated memory: 555716 KiB
[startup+3590.4 s]
/proc/loadavg: 4.19 4.17 4.17 5/243 811113
/proc/meminfo: memFree=124640936/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=593424 memory=555716 CPUtime=3579.08 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 146948 0 0 0 357887 21 0 0 20 0 1 0 159658785 607666176 138929 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 148356 138929 4009 3540 0 136613 0
Current children cumulated CPU time: 3579.08 s
Current children cumulated vsize: 593424 KiB
Current children cumulated memory: 555716 KiB
[startup+3593.6 s]
/proc/loadavg: 4.18 4.17 4.17 5/243 811113
/proc/meminfo: memFree=124640880/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=593424 memory=555716 CPUtime=3582.27 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 147069 0 0 0 358206 21 0 0 20 0 1 0 159658785 607666176 138929 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 148356 138929 4009 3540 0 136613 0
Current children cumulated CPU time: 3582.27 s
Current children cumulated vsize: 593424 KiB
Current children cumulated memory: 555716 KiB
[startup+3595.2 s]
/proc/loadavg: 4.18 4.17 4.17 5/243 811113
/proc/meminfo: memFree=124640872/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=593424 memory=555716 CPUtime=3583.87 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 147076 0 0 0 358366 21 0 0 20 0 1 0 159658785 607666176 138929 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 148356 138929 4009 3540 0 136613 0
Current children cumulated CPU time: 3583.87 s
Current children cumulated vsize: 593424 KiB
Current children cumulated memory: 555716 KiB
[startup+3596 s]*
/proc/loadavg: 4.18 4.17 4.17 5/243 811113
/proc/meminfo: memFree=124640896/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=593424 memory=555716 CPUtime=3584.67 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 147076 0 0 0 358446 21 0 0 20 0 1 0 159658785 607666176 138929 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 148356 138929 4009 3540 0 136613 0
Current children cumulated CPU time: 3584.67 s
Current children cumulated vsize: 593424 KiB
Current children cumulated memory: 555716 KiB
[startup+3596.8 s]
/proc/loadavg: 4.18 4.17 4.17 5/243 811113
/proc/meminfo: memFree=124640896/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=593424 memory=555716 CPUtime=3585.46 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 147076 0 0 0 358525 21 0 0 20 0 1 0 159658785 607666176 138929 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 148356 138929 4009 3540 0 136613 0
Current children cumulated CPU time: 3585.46 s
Current children cumulated vsize: 593424 KiB
Current children cumulated memory: 555716 KiB
[startup+3597 s]*
/proc/loadavg: 4.18 4.17 4.17 5/243 811113
/proc/meminfo: memFree=124640896/131655788 swapFree=131071996/131071996
[pid=809188] ppid=809185 vsize=593424 memory=555716 CPUtime=3585.67 cores=0,2
/proc/809188/stat : 809188 (pbscip) R 809185 809188 807162 0 -1 4194304 147076 0 0 0 358546 21 0 0 20 0 1 0 159658785 607666176 138929 134679101440 4194304 18693293 140731409668064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50413568 140731409671172 140731409671271 140731409671271 140731409678286 0
/proc/809188/statm: 148356 138929 4009 3540 0 136613 0
Current children cumulated CPU time: 3585.67 s
Current children cumulated vsize: 593424 KiB
Current children cumulated memory: 555716 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3585.73
CPU user time (s): 3585.5
CPU system time (s): 0.223199
CPU usage (%): 99.6851
Max. virtual memory (cumulated for all children) (KiB): 595468
Max. memory (cumulated for all children) (KiB): 557304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.5
system time used= 0.223199
maximum resident set size= 557304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147086
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= 68
involuntary context switches= 24565
# summary of solver processes directly reported to runsolver:
# pid: 809188
# total CPU time (s): 3585.73
# total CPU user time (s): 3585.5
# total CPU system time (s): 0.223199
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.867 second user time and 32.5887 second system time
The end