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-4488596-1751321016.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.03 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.03 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.03 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.04 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.05 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.99801
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.09/0.11 o 1073
0.09/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.09/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.29/0.34 c 0.3s| 1 | 0 | 2508 | - | 26M | 0 |1479 |2868 |2893 | 25 | 1 | 0 | 0 | 9.897500e+02 | 1.073000e+03 | 8.41%| unknown
0.49/0.59 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.88/0.95 c 0.9s| 1 | 0 | 4534 | - | 28M | 0 |1479 |2868 |2939 | 71 | 3 | 0 | 0 | 9.975000e+02 | 1.073000e+03 | 7.57%| unknown
1.48/1.50 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.28/2.39 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.98/3.06 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.38/4.47 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.57/5.65 c 5.6s| 1 | 0 | 11301 | - | 84M | 0 |1479 |2868 |2997 | 129 | 8 | 0 | 0 | 1.004304e+03 | 1.073000e+03 | 6.84%| unknown
6.67/6.73 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.87/7.97 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.07/8.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.07/8.17 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.27/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.36/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.46/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.66/8.75 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.86/8.93 c 8.9s| 1 | 0 | 13171 | - | 121M | 0 |1479 |2868 |3014 | 148 | 16 | 0 | 0 | 1.004685e+03 | 1.073000e+03 | 6.80%| unknown
9.07/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.26/9.30 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.36/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.56/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.37 c 12.4s| 1 | 2 | 13339 | - | 122M | 0 |1479 |2868 |3001 | 158 | 21 | 0 | 22 | 1.005147e+03 | 1.073000e+03 | 6.75%| unknown
29.31/29.42 o 1060
29.31/29.42 c d29.4s| 15 | 16 | 28842 |1107.4 |pscostdi| 14 |1479 |2868 |3009 | 0 | 1 | 0 | 174 | 1.005371e+03 | 1.060000e+03 | 5.43%| unknown
41.68/41.87 o 1052
41.68/41.87 c *41.9s| 77 | 73 | 59022 | 601.1 | LP | 52 |1479 |2890 |3048 | 304 | 1 | 22 | 185 | 1.005371e+03 | 1.052000e+03 | 4.64%| unknown
41.68/41.88 o 1051
41.68/41.88 c *41.9s| 78 | 71 | 59035 | 593.5 | LP | 52 |1479 |2890 |3048 | 304 | 1 | 22 | 185 | 1.005371e+03 | 1.051000e+03 | 4.54%| unknown
41.78/41.90 o 1050
41.78/41.90 c *41.9s| 81 | 70 | 59137 | 572.5 | LP | 52 |1479 |2890 |3048 | 304 | 1 | 22 | 185 | 1.005371e+03 | 1.050000e+03 | 4.44%| unknown
41.78/41.93 o 1049
41.78/41.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.78/41.93 c *41.9s| 86 | 68 | 59253 | 540.2 | LP | 52 |1479 |2890 |3048 | 304 | 1 | 22 | 185 | 1.005371e+03 | 1.049000e+03 | 4.34%| unknown
41.88/42.01 c 42.0s| 100 | 68 | 59812 | 469.4 | 155M | 52 |1479 |2890 |3048 | 304 | 1 | 22 | 185 | 1.005371e+03 | 1.049000e+03 | 4.34%| unknown
45.26/45.43 c 45.4s| 200 | 66 | 65780 | 263.5 | 161M | 52 |1479 |3045 |3056 | 341 | 1 | 177 | 226 | 1.005371e+03 | 1.049000e+03 | 4.34%| unknown
55.64/55.89 o 1048
55.64/55.89 c *55.9s| 277 | 95 | 99382 | 311.8 | LP | 52 |1479 |3092 |3060 | 422 | 1 | 224 | 254 | 1.006399e+03 | 1.048000e+03 | 4.13%| unknown
55.85/56.06 c 56.1s| 300 | 92 |100785 | 292.5 | 179M | 52 |1479 |3092 |3060 | 422 | 0 | 224 | 254 | 1.006399e+03 | 1.048000e+03 | 4.13%| unknown
65.01/65.27 o 1047
65.01/65.27 c *65.3s| 351 | 97 |114321 | 288.5 | LP | 52 |1479 |3093 |3056 | 539 | 1 | 225 | 254 | 1.006447e+03 | 1.047000e+03 | 4.03%| unknown
73.90/74.13 c 74.1s| 400 | 98 |123759 | 276.7 | 223M | 52 |1479 |3187 |3054 | 674 | 0 | 319 | 288 | 1.006447e+03 | 1.047000e+03 | 4.03%| unknown
82.57/82.82 c 82.8s| 500 | 120 |148864 | 271.6 | 224M | 52 |1479 |3246 |3100 | 879 | 1 | 378 | 303 | 1.006824e+03 | 1.047000e+03 | 3.99%| unknown
93.74/94.00 c 94.0s| 600 | 154 |196708 | 306.1 | 234M | 52 |1479 |3368 |3065 |1060 | 1 | 500 | 346 | 1.008255e+03 | 1.047000e+03 | 3.84%| unknown
99.52/99.88 c 99.9s| 700 | 157 |217921 | 292.7 | 238M | 52 |1479 |3426 |3065 |1197 | 1 | 560 | 370 | 1.008317e+03 | 1.047000e+03 | 3.84%| unknown
109.71/110.09 c 110s| 800 | 161 |246774 | 292.2 | 247M | 52 |1479 |3492 |3108 |1368 | 0 | 639 | 412 | 1.008698e+03 | 1.047000e+03 | 3.80%| unknown
115.19/115.57 o 1043
115.19/115.57 c d 116s| 846 | 160 |268572 | 302.1 |guideddi| 52 |1479 |3502 |3098 | 0 | 4 | 651 | 412 | 1.008850e+03 | 1.043000e+03 | 3.39%| unknown
115.19/115.59 o 1042
115.19/115.59 c i 116s| 847 | 155 |268626 | 301.8 | oneopt| 52 |1479 |3502 |3094 |1505 | 0 | 651 | 412 | 1.008850e+03 | 1.042000e+03 | 3.29%| unknown
120.57/120.98 c 121s| 900 | 184 |302187 | 321.3 | 251M | 52 |1479 |3548 |3084 |1674 | 2 | 710 | 440 | 1.008968e+03 | 1.042000e+03 | 3.27%| unknown
135.73/136.11 c 136s| 1000 | 274 |379553 | 366.6 | 256M | 52 |1479 |3638 |3046 |2059 | 1 | 816 | 504 | 1.009105e+03 | 1.042000e+03 | 3.26%| unknown
139.62/140.01 o 1040
139.62/140.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
139.62/140.01 c L 140s| 1047 | 284 |405504 | 374.9 |crossove| 52 |1479 |3694 |3034 |2059 | 1 | 881 | 521 | 1.009105e+03 | 1.040000e+03 | 3.06%| unknown
152.09/152.59 c 153s| 1100 | 319 |460392 | 406.8 | 265M | 52 |1479 |3723 |3067 |2265 | 1 | 919 | 556 | 1.009140e+03 | 1.040000e+03 | 3.06%| unknown
188.69/189.22 c 189s| 1200 | 407 |588104 | 479.4 | 353M | 52 |1479 |3804 |3082 |3081 | 1 |1022 | 631 | 1.009415e+03 | 1.040000e+03 | 3.03%| unknown
216.92/217.59 c 218s| 1300 | 465 |691266 | 521.9 | 397M | 52 |1479 |3824 |3123 |3727 | 1 |1052 | 691 | 1.009422e+03 | 1.040000e+03 | 3.03%| unknown
232.28/232.93 c 233s| 1400 | 479 |756810 | 531.4 | 397M | 52 |1479 |3853 |3126 |3997 | 0 |1091 | 730 | 1.009660e+03 | 1.040000e+03 | 3.00%| unknown
243.36/244.05 c 244s| 1500 | 491 |798960 | 524.1 | 398M | 52 |1479 |3893 |3120 |4262 | 0 |1134 | 744 | 1.009903e+03 | 1.040000e+03 | 2.98%| unknown
246.75/247.44 c 247s| 1600 | 495 |816279 | 502.2 | 392M | 52 |1479 |3994 |3129 |4311 | 1 |1254 | 783 | 1.009903e+03 | 1.040000e+03 | 2.98%| unknown
254.03/254.72 c 255s| 1700 | 497 |843030 | 488.3 | 392M | 52 |1479 |4003 |3124 |4469 | 0 |1265 | 812 | 1.010007e+03 | 1.040000e+03 | 2.97%| unknown
264.80/265.52 c 266s| 1800 | 511 |880289 | 481.9 | 392M | 52 |1479 |4054 |3136 |4714 | 1 |1328 | 835 | 1.010048e+03 | 1.040000e+03 | 2.97%| unknown
272.48/273.21 c 273s| 1900 | 513 |909841 | 472.1 | 393M | 52 |1479 |4123 |3117 |4852 | 0 |1420 | 872 | 1.010068e+03 | 1.040000e+03 | 2.96%| unknown
284.15/284.92 c 285s| 2000 | 529 |951981 | 469.6 | 393M | 52 |1479 |4188 |3128 |5100 | 1 |1500 | 920 | 1.010207e+03 | 1.040000e+03 | 2.95%| unknown
290.13/290.96 c 291s| 2100 | 533 |977915 | 459.5 | 393M | 52 |1479 |4188 |3140 |5282 | 1 |1500 | 934 | 1.010595e+03 | 1.040000e+03 | 2.91%| unknown
302.60/303.45 c 303s| 2200 | 551 | 1026k| 460.9 | 394M | 52 |1479 |4228 |3138 |5561 | 1 |1544 | 962 | 1.010878e+03 | 1.040000e+03 | 2.88%| unknown
314.57/315.47 c 315s| 2300 | 561 | 1091k| 468.9 | 394M | 52 |1479 |4228 |3130 |5794 | 1 |1545 | 975 | 1.011192e+03 | 1.040000e+03 | 2.85%| unknown
320.05/320.98 c 321s| 2400 | 565 | 1120k| 461.5 | 394M | 52 |1479 |4294 |3123 |5908 | 1 |1627 |1022 | 1.011192e+03 | 1.040000e+03 | 2.85%| unknown
331.13/332.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
331.13/332.01 c 332s| 2500 | 577 | 1165k| 461.1 | 396M | 52 |1479 |4347 |3138 |6217 | 0 |1694 |1050 | 1.011292e+03 | 1.040000e+03 | 2.84%| unknown
342.39/343.31 c 343s| 2600 | 589 | 1207k| 459.6 | 397M | 52 |1479 |4347 |3140 |6497 | 0 |1697 |1076 | 1.011467e+03 | 1.040000e+03 | 2.82%| unknown
351.07/352.01 c 352s| 2700 | 593 | 1248k| 457.6 | 397M | 52 |1479 |4406 |3155 |6699 | 0 |1769 |1105 | 1.011519e+03 | 1.040000e+03 | 2.82%| unknown
363.14/364.17 c 364s| 2800 | 609 | 1295k| 458.2 | 399M | 52 |1479 |4433 |3154 |6939 | 2 |1810 |1141 | 1.011749e+03 | 1.040000e+03 | 2.79%| unknown
371.72/372.75 c 373s| 2900 | 613 | 1332k| 455.1 | 398M | 52 |1479 |4463 |3166 |7123 | 4 |1851 |1178 | 1.011801e+03 | 1.040000e+03 | 2.79%| unknown
382.89/383.99 c 384s| 3000 | 625 | 1379k| 455.5 | 399M | 52 |1479 |4530 |3150 |7448 | 0 |1934 |1214 | 1.011877e+03 | 1.040000e+03 | 2.78%| unknown
399.95/401.09 c 401s| 3100 | 645 | 1437k| 459.4 | 401M | 52 |1479 |4547 |3146 |7877 | 1 |1957 |1252 | 1.012013e+03 | 1.040000e+03 | 2.77%| unknown
405.93/407.03 c 407s| 3200 | 655 | 1468k| 454.8 | 401M | 52 |1479 |4547 |3154 |8017 | 1 |1957 |1264 | 1.012021e+03 | 1.040000e+03 | 2.76%| unknown
412.81/413.91 c 414s| 3300 | 661 | 1504k| 451.9 | 402M | 52 |1479 |4677 |3153 |8137 | 1 |2124 |1310 | 1.012070e+03 | 1.040000e+03 | 2.76%| unknown
420.19/421.39 c 421s| 3400 | 663 | 1536k| 448.0 | 403M | 52 |1479 |4747 |3155 |8309 | 0 |2218 |1342 | 1.012133e+03 | 1.040000e+03 | 2.75%| unknown
425.47/426.69 c 427s| 3500 | 663 | 1565k| 443.6 | 403M | 52 |1479 |4747 |3158 |8415 | 0 |2218 |1366 | 1.012133e+03 | 1.040000e+03 | 2.75%| unknown
432.35/433.58 c 434s| 3600 | 669 | 1598k| 440.4 | 403M | 52 |1479 |4801 |3162 |8556 | 0 |2296 |1397 | 1.012400e+03 | 1.040000e+03 | 2.73%| unknown
446.62/447.83 c 448s| 3700 | 681 | 1669k| 447.8 | 404M | 52 |1479 |4798 |3165 |8844 | 0 |2296 |1421 | 1.012591e+03 | 1.040000e+03 | 2.71%| unknown
451.81/453.02 c 453s| 3800 | 681 | 1696k| 443.0 | 404M | 52 |1479 |4861 |3164 |8906 | 1 |2381 |1465 | 1.012591e+03 | 1.040000e+03 | 2.71%| unknown
460.38/461.64 c 462s| 3900 | 685 | 1736k| 442.0 | 405M | 52 |1479 |4990 |3156 |9120 | 1 |2552 |1510 | 1.012607e+03 | 1.040000e+03 | 2.71%| unknown
466.46/467.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
466.46/467.74 c 468s| 4000 | 689 | 1771k| 439.5 | 405M | 52 |1479 |5000 |3184 |9238 | 1 |2570 |1538 | 1.012607e+03 | 1.040000e+03 | 2.71%| unknown
471.95/473.23 c 473s| 4100 | 691 | 1804k| 436.9 | 405M | 52 |1479 |5047 |3194 |9301 | 1 |2637 |1571 | 1.012607e+03 | 1.040000e+03 | 2.71%| unknown
483.52/484.88 c 485s| 4200 | 699 | 1851k| 437.6 | 405M | 52 |1479 |5021 |3187 |9560 | 0 |2641 |1599 | 1.012630e+03 | 1.040000e+03 | 2.70%| unknown
492.99/494.33 c 494s| 4300 | 709 | 1898k| 438.5 | 405M | 52 |1479 |5095 |3184 |9736 | 1 |2744 |1643 | 1.012868e+03 | 1.040000e+03 | 2.68%| unknown
499.97/501.32 c 501s| 4400 | 715 | 1937k| 437.4 | 405M | 52 |1479 |5099 |3188 |9890 | 0 |2767 |1669 | 1.012881e+03 | 1.040000e+03 | 2.68%| unknown
513.94/515.32 c 515s| 4500 | 729 | 1993k| 440.1 | 408M | 52 |1479 |5180 |3188 | 10k| 0 |2886 |1719 | 1.012946e+03 | 1.040000e+03 | 2.67%| unknown
529.79/531.23 c 531s| 4600 | 747 | 2046k| 442.2 | 409M | 52 |1479 |5178 |3192 | 10k| 0 |2926 |1762 | 1.012994e+03 | 1.040000e+03 | 2.67%| unknown
534.28/535.70 c 536s| 4700 | 747 | 2074k| 438.6 | 409M | 52 |1479 |5201 |3198 | 10k| 0 |2959 |1784 | 1.012994e+03 | 1.040000e+03 | 2.67%| unknown
539.07/540.51 c 541s| 4800 | 743 | 2105k| 435.9 | 409M | 52 |1479 |5237 |3193 | 10k| 0 |3009 |1811 | 1.012994e+03 | 1.040000e+03 | 2.67%| unknown
547.45/548.97 c 549s| 4900 | 749 | 2147k| 435.6 | 409M | 52 |1479 |5272 |3190 | 10k| 0 |3080 |1845 | 1.013018e+03 | 1.040000e+03 | 2.66%| unknown
554.73/556.22 c 556s| 5000 | 759 | 2184k| 434.4 | 409M | 52 |1479 |5301 |3177 | 11k| 1 |3131 |1878 | 1.013041e+03 | 1.040000e+03 | 2.66%| unknown
562.21/563.70 c 564s| 5100 | 765 | 2219k| 432.7 | 410M | 52 |1479 |5369 |3188 | 11k| 1 |3233 |1909 | 1.013054e+03 | 1.040000e+03 | 2.66%| unknown
570.69/572.23 c 572s| 5200 | 769 | 2253k| 430.8 | 410M | 52 |1479 |5376 |3194 | 11k| 0 |3266 |1939 | 1.013094e+03 | 1.040000e+03 | 2.66%| unknown
578.57/580.15 c 580s| 5300 | 777 | 2290k| 429.7 | 410M | 52 |1479 |5501 |3191 | 11k| 2 |3452 |1991 | 1.013132e+03 | 1.040000e+03 | 2.65%| unknown
584.05/585.69 c 586s| 5400 | 775 | 2320k| 427.3 | 409M | 52 |1479 |5713 |3188 | 11k| 1 |3722 |2062 | 1.013132e+03 | 1.040000e+03 | 2.65%| unknown
597.32/598.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
597.32/598.96 c 599s| 5500 | 791 | 2375k| 429.5 | 410M | 52 |1479 |5725 |3193 | 11k| 1 |3818 |2100 | 1.013263e+03 | 1.040000e+03 | 2.64%| unknown
605.51/607.18 c 607s| 5600 | 799 | 2413k| 428.7 | 410M | 52 |1479 |5796 |3193 | 11k| 2 |3931 |2144 | 1.013324e+03 | 1.040000e+03 | 2.63%| unknown
610.29/611.99 c 612s| 5700 | 795 | 2441k| 426.0 | 410M | 52 |1479 |5940 |3192 | 11k| 1 |4112 |2197 | 1.013324e+03 | 1.040000e+03 | 2.63%| unknown
629.04/630.72 c 631s| 5800 | 819 | 2507k| 430.1 | 411M | 52 |1479 |5988 |3196 | 12k| 0 |4269 |2266 | 1.013593e+03 | 1.040000e+03 | 2.61%| unknown
637.32/639.09 c 639s| 5900 | 821 | 2545k| 429.3 | 411M | 52 |1479 |6147 |3184 | 12k| 0 |4483 |2323 | 1.013680e+03 | 1.040000e+03 | 2.60%| unknown
651.38/653.16 c 653s| 6000 | 835 | 2601k| 431.5 | 413M | 52 |1479 |6210 |3192 | 12k| 1 |4622 |2380 | 1.013733e+03 | 1.040000e+03 | 2.59%| unknown
659.76/661.58 c 662s| 6100 | 843 | 2641k| 430.9 | 413M | 52 |1479 |6378 |3196 | 13k| 1 |4847 |2445 | 1.013778e+03 | 1.040000e+03 | 2.59%| unknown
672.12/673.99 c 674s| 6200 | 859 | 2688k| 431.5 | 414M | 52 |1479 |6383 |3198 | 13k| 1 |4895 |2476 | 1.013900e+03 | 1.040000e+03 | 2.57%| unknown
675.51/677.33 c 677s| 6300 | 859 | 2707k| 427.8 | 414M | 52 |1479 |6435 |3201 | 13k| 1 |4957 |2500 | 1.013900e+03 | 1.040000e+03 | 2.57%| unknown
687.08/688.95 c 689s| 6400 | 871 | 2751k| 427.9 | 415M | 52 |1479 |6482 |3203 | 13k| 2 |5039 |2538 | 1.013973e+03 | 1.040000e+03 | 2.57%| unknown
702.54/704.46 c 704s| 6500 | 887 | 2815k| 431.1 | 415M | 52 |1479 |6614 |3197 | 14k| 1 |5224 |2601 | 1.014070e+03 | 1.040000e+03 | 2.56%| unknown
714.12/716.09 c 716s| 6600 | 889 | 2874k| 433.5 | 416M | 52 |1479 |6708 |3200 | 14k| 0 |5371 |2658 | 1.014085e+03 | 1.040000e+03 | 2.56%| unknown
723.89/725.81 c 726s| 6700 | 901 | 2923k| 434.4 | 416M | 52 |1479 |6834 |3209 | 14k| 1 |5567 |2726 | 1.014100e+03 | 1.040000e+03 | 2.55%| unknown
735.95/737.90 c 738s| 6800 | 911 | 2970k| 434.9 | 416M | 52 |1479 |6876 |3210 | 14k| 0 |5644 |2765 | 1.014181e+03 | 1.040000e+03 | 2.55%| unknown
744.43/746.44 c 746s| 6900 | 919 | 3007k| 433.9 | 417M | 52 |1479 |6933 |3219 | 14k| 1 |5740 |2812 | 1.014207e+03 | 1.040000e+03 | 2.54%| unknown
753.31/755.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
753.31/755.30 c 755s| 7000 | 925 | 3045k| 433.3 | 417M | 52 |1479 |7030 |3213 | 15k| 1 |5873 |2856 | 1.014267e+03 | 1.040000e+03 | 2.54%| unknown
757.30/759.30 c 759s| 7100 | 923 | 3071k| 430.8 | 417M | 52 |1479 |7116 |3209 | 15k| 0 |5982 |2887 | 1.014267e+03 | 1.040000e+03 | 2.54%| unknown
767.87/769.92 c 770s| 7200 | 937 | 3120k| 431.6 | 417M | 52 |1479 |7200 |3216 | 15k| 2 |6108 |2934 | 1.014413e+03 | 1.040000e+03 | 2.52%| unknown
778.24/780.37 c 780s| 7300 | 945 | 3169k| 432.4 | 418M | 52 |1479 |7278 |3212 | 15k| 0 |6227 |2953 | 1.014479e+03 | 1.040000e+03 | 2.52%| unknown
781.63/783.70 c 784s| 7400 | 945 | 3195k| 430.0 | 419M | 52 |1479 |7348 |3219 | 15k| 0 |6309 |2967 | 1.014479e+03 | 1.040000e+03 | 2.52%| unknown
785.22/787.33 c 787s| 7500 | 943 | 3223k| 428.1 | 419M | 52 |1479 |7430 |3204 | 15k| 0 |6407 |2981 | 1.014479e+03 | 1.040000e+03 | 2.52%| unknown
792.10/794.20 c 794s| 7600 | 947 | 3255k| 426.7 | 419M | 52 |1479 |7454 |3194 | 15k| 0 |6447 |3006 | 1.014490e+03 | 1.040000e+03 | 2.51%| unknown
806.26/808.42 c 808s| 7700 | 963 | 3300k| 427.0 | 419M | 52 |1479 |7595 |3174 | 15k| 1 |6618 |3126 | 1.014497e+03 | 1.040000e+03 | 2.51%| unknown
811.55/813.75 c 814s| 7800 | 967 | 3329k| 425.2 | 419M | 52 |1479 |7693 |3189 | 16k| 1 |6743 |3149 | 1.014551e+03 | 1.040000e+03 | 2.51%| unknown
824.41/826.68 c 827s| 7900 | 979 | 3378k| 426.0 | 419M | 52 |1479 |7890 |3193 | 16k| 1 |7003 |3257 | 1.014604e+03 | 1.040000e+03 | 2.50%| unknown
829.40/831.61 c 832s| 8000 | 985 | 3407k| 424.3 | 420M | 52 |1479 |7983 |3174 | 16k| 1 |7119 |3278 | 1.014665e+03 | 1.040000e+03 | 2.50%| unknown
844.96/847.24 c 847s| 8100 | 1005 | 3478k| 427.9 | 420M | 52 |1479 |8010 |3179 | 17k| 0 |7181 |3287 | 1.014805e+03 | 1.040000e+03 | 2.48%| unknown
855.63/858.00 c 858s| 8200 | 1017 | 3546k| 430.9 | 421M | 52 |1479 |8009 |3189 | 17k| 0 |7181 |3289 | 1.014809e+03 | 1.040000e+03 | 2.48%| unknown
861.32/863.68 c 864s| 8300 | 1021 | 3575k| 429.3 | 421M | 52 |1479 |8060 |3179 | 17k| 2 |7243 |3301 | 1.014843e+03 | 1.040000e+03 | 2.48%| unknown
870.10/872.49 c 872s| 8400 | 1033 | 3620k| 429.5 | 422M | 52 |1479 |8059 |3178 | 18k| 1 |7259 |3310 | 1.014878e+03 | 1.040000e+03 | 2.48%| unknown
877.18/879.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
877.18/879.55 c 880s| 8500 | 1039 | 3654k| 428.4 | 422M | 52 |1479 |8056 |3179 | 18k| 0 |7272 |3320 | 1.014904e+03 | 1.040000e+03 | 2.47%| unknown
886.55/888.90 c 889s| 8600 | 1053 | 3698k| 428.6 | 422M | 52 |1479 |8071 |3183 | 18k| 0 |7295 |3330 | 1.014929e+03 | 1.040000e+03 | 2.47%| unknown
889.34/891.70 c 892s| 8700 | 1053 | 3714k| 425.5 | 422M | 52 |1479 |8169 |3186 | 18k| 2 |7408 |3366 | 1.014929e+03 | 1.040000e+03 | 2.47%| unknown
895.53/897.91 c 898s| 8800 | 1055 | 3744k| 424.1 | 422M | 52 |1479 |8174 |3198 | 18k| 0 |7420 |3367 | 1.014979e+03 | 1.040000e+03 | 2.47%| unknown
901.51/903.93 c 904s| 8900 | 1057 | 3778k| 423.1 | 422M | 52 |1479 |8185 |3179 | 18k| 0 |7436 |3367 | 1.014983e+03 | 1.040000e+03 | 2.46%| unknown
907.11/909.59 c 910s| 9000 | 1065 | 3812k| 422.2 | 424M | 52 |1479 |8179 |3180 | 19k| 0 |7440 |3370 | 1.015000e+03 | 1.040000e+03 | 2.46%| unknown
916.48/918.98 c 919s| 9100 | 1077 | 3857k| 422.5 | 425M | 52 |1479 |8181 |3182 | 19k| 0 |7454 |3374 | 1.015031e+03 | 1.040000e+03 | 2.46%| unknown
918.78/921.24 c 921s| 9200 | 1077 | 3877k| 420.1 | 425M | 52 |1479 |8178 |3183 | 19k| 0 |7454 |3374 | 1.015031e+03 | 1.040000e+03 | 2.46%| unknown
923.86/926.37 c 926s| 9300 | 1083 | 3909k| 418.9 | 425M | 52 |1479 |8180 |3190 | 19k| 0 |7461 |3374 | 1.015062e+03 | 1.040000e+03 | 2.46%| unknown
929.95/932.46 c 932s| 9400 | 1091 | 3947k| 418.6 | 425M | 52 |1479 |8184 |3189 | 20k| 0 |7471 |3374 | 1.015123e+03 | 1.040000e+03 | 2.45%| unknown
935.73/938.28 c 938s| 9500 | 1101 | 3980k| 417.6 | 425M | 52 |1479 |8185 |3204 | 20k| 1 |7483 |3375 | 1.015234e+03 | 1.040000e+03 | 2.44%| unknown
938.23/940.72 c 941s| 9600 | 1101 | 4002k| 415.5 | 426M | 52 |1479 |8193 |3202 | 20k| 1 |7494 |3376 | 1.015234e+03 | 1.040000e+03 | 2.44%| unknown
940.42/942.95 c 943s| 9700 | 1095 | 4021k| 413.2 | 426M | 52 |1479 |8192 |3200 | 20k| 2 |7494 |3376 | 1.015234e+03 | 1.040000e+03 | 2.44%| unknown
946.00/948.59 c 949s| 9800 | 1099 | 4059k| 412.9 | 426M | 52 |1479 |8189 |3180 | 20k| 1 |7495 |3376 | 1.015298e+03 | 1.040000e+03 | 2.43%| unknown
951.99/954.51 c 955s| 9900 | 1105 | 4093k| 412.2 | 426M | 52 |1479 |8188 |3179 | 20k| 0 |7496 |3377 | 1.015308e+03 | 1.040000e+03 | 2.43%| unknown
958.07/960.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
958.07/960.66 c 961s| 10000 | 1111 | 4129k| 411.7 | 427M | 52 |1479 |8202 |3181 | 20k| 0 |7519 |3378 | 1.015342e+03 | 1.040000e+03 | 2.43%| unknown
968.65/971.24 c 971s| 10100 | 1127 | 4179k| 412.6 | 428M | 52 |1479 |8206 |3194 | 21k| 0 |7533 |3378 | 1.015493e+03 | 1.040000e+03 | 2.41%| unknown
977.22/979.81 c 980s| 10200 | 1139 | 4223k| 412.8 | 429M | 52 |1479 |8205 |3200 | 21k| 0 |7544 |3378 | 1.015525e+03 | 1.040000e+03 | 2.41%| unknown
983.41/986.10 c 986s| 10300 | 1141 | 4256k| 412.0 | 429M | 52 |1479 |8202 |3190 | 21k| 0 |7546 |3379 | 1.015542e+03 | 1.040000e+03 | 2.41%| unknown
990.39/993.02 c 993s| 10400 | 1151 | 4304k| 412.7 | 429M | 52 |1479 |8195 |3179 | 22k| 0 |7546 |3379 | 1.015546e+03 | 1.040000e+03 | 2.41%| unknown
1004.05/1006.73 c 1007s| 10500 | 1163 | 4377k| 415.7 | 429M | 52 |1479 |8201 |3198 | 22k| 0 |7556 |3393 | 1.015610e+03 | 1.040000e+03 | 2.40%| unknown
1013.73/1016.41 c 1016s| 10600 | 1173 | 4424k| 416.2 | 431M | 52 |1479 |8201 |3188 | 22k| 1 |7568 |3393 | 1.015622e+03 | 1.040000e+03 | 2.40%| unknown
1022.41/1025.17 c 1025s| 10700 | 1181 | 4460k| 415.7 | 431M | 52 |1479 |8191 |3196 | 22k| 1 |7569 |3432 | 1.015634e+03 | 1.040000e+03 | 2.40%| unknown
1028.19/1030.98 c 1031s| 10800 | 1185 | 4494k| 414.9 | 431M | 52 |1479 |8188 |3189 | 23k| 1 |7571 |3432 | 1.015655e+03 | 1.040000e+03 | 2.40%| unknown
1037.07/1039.81 c 1040s| 10900 | 1191 | 4532k| 414.6 | 431M | 52 |1479 |8269 |3204 | 23k| 0 |7687 |3473 | 1.015688e+03 | 1.040000e+03 | 2.39%| unknown
1043.95/1046.72 c 1047s| 11000 | 1197 | 4564k| 413.8 | 431M | 52 |1479 |8281 |3203 | 23k| 1 |7715 |3489 | 1.015718e+03 | 1.040000e+03 | 2.39%| unknown
1052.83/1055.61 c 1056s| 11100 | 1201 | 4600k| 413.3 | 433M | 52 |1479 |8307 |3188 | 23k| 0 |7783 |3534 | 1.015765e+03 | 1.040000e+03 | 2.39%| unknown
1056.02/1058.80 c 1059s| 11200 | 1205 | 4629k| 412.2 | 433M | 52 |1479 |8306 |3191 | 23k| 0 |7784 |3534 | 1.015765e+03 | 1.040000e+03 | 2.39%| unknown
1064.70/1067.59 c 1068s| 11300 | 1213 | 4666k| 411.8 | 433M | 52 |1479 |8294 |3205 | 24k| 1 |7785 |3557 | 1.015771e+03 | 1.040000e+03 | 2.39%| unknown
1076.67/1079.54 c 1080s| 11400 | 1223 | 4710k| 412.0 | 433M | 52 |1479 |8282 |3202 | 24k| 1 |7787 |3576 | 1.015807e+03 | 1.040000e+03 | 2.38%| unknown
1083.45/1086.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1083.45/1086.35 c 1086s| 11500 | 1225 | 4747k| 411.7 | 434M | 52 |1479 |8280 |3193 | 24k| 0 |7799 |3579 | 1.015823e+03 | 1.040000e+03 | 2.38%| unknown
1087.04/1089.94 c 1090s| 11600 | 1225 | 4775k| 410.6 | 434M | 52 |1479 |8327 |3184 | 24k| 0 |7856 |3591 | 1.015823e+03 | 1.040000e+03 | 2.38%| unknown
1097.51/1100.40 c 1100s| 11700 | 1233 | 4817k| 410.6 | 434M | 52 |1479 |8388 |3184 | 24k| 0 |7959 |3647 | 1.015853e+03 | 1.040000e+03 | 2.38%| unknown
1100.50/1103.42 c 1103s| 11800 | 1233 | 4844k| 409.4 | 434M | 52 |1479 |8406 |3192 | 24k| 0 |7982 |3651 | 1.015853e+03 | 1.040000e+03 | 2.38%| unknown
1113.27/1116.21 c 1116s| 11900 | 1245 | 4891k| 410.0 | 434M | 52 |1479 |8403 |3200 | 25k| 0 |8005 |3693 | 1.015878e+03 | 1.040000e+03 | 2.37%| unknown
1124.84/1127.88 c 1128s| 12000 | 1255 | 4941k| 410.7 | 435M | 52 |1479 |8529 |3214 | 25k| 2 |8172 |3730 | 1.015899e+03 | 1.040000e+03 | 2.37%| unknown
1140.50/1143.51 c 1144s| 12100 | 1277 | 5004k| 412.5 | 435M | 52 |1479 |8477 |3198 | 26k| 0 |8173 |3753 | 1.015979e+03 | 1.040000e+03 | 2.36%| unknown
1156.96/1160.02 c 1160s| 12200 | 1291 | 5084k| 415.7 | 436M | 52 |1479 |8477 |3204 | 26k| 1 |8213 |3782 | 1.016041e+03 | 1.040000e+03 | 2.36%| unknown
1162.35/1165.46 c 1165s| 12300 | 1291 | 5109k| 414.3 | 436M | 52 |1479 |8489 |3217 | 26k| 0 |8233 |3817 | 1.016041e+03 | 1.040000e+03 | 2.36%| unknown
1182.00/1185.15 c 1185s| 12400 | 1311 | 5180k| 416.8 | 437M | 52 |1479 |8475 |3200 | 27k| 0 |8276 |3842 | 1.016182e+03 | 1.040000e+03 | 2.34%| unknown
1197.66/1200.89 c 1201s| 12500 | 1331 | 5242k| 418.4 | 437M | 52 |1479 |8433 |3206 | 27k| 2 |8281 |3859 | 1.016376e+03 | 1.040000e+03 | 2.32%| unknown
1201.24/1204.45 c 1204s| 12600 | 1333 | 5272k| 417.5 | 437M | 52 |1479 |8431 |3200 | 27k| 0 |8281 |3859 | 1.016376e+03 | 1.040000e+03 | 2.32%| unknown
1214.61/1217.89 c 1218s| 12700 | 1347 | 5323k| 418.2 | 438M | 52 |1479 |8438 |3208 | 28k| 2 |8345 |3891 | 1.016409e+03 | 1.040000e+03 | 2.32%| unknown
1218.30/1221.50 c 1221s| 12800 | 1343 | 5350k| 417.0 | 438M | 52 |1479 |8530 |3197 | 28k| 0 |8466 |3917 | 1.016409e+03 | 1.040000e+03 | 2.32%| unknown
1226.28/1229.50 c 1229s| 12900 | 1345 | 5385k| 416.5 | 438M | 52 |1479 |8466 |3197 | 28k| 0 |8466 |3944 | 1.016427e+03 | 1.040000e+03 | 2.32%| unknown
1233.16/1236.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1233.16/1236.45 c 1236s| 13000 | 1351 | 5426k| 416.4 | 438M | 52 |1479 |8482 |3198 | 28k| 1 |8513 |3959 | 1.016428e+03 | 1.040000e+03 | 2.32%| unknown
1236.65/1239.90 c 1240s| 13100 | 1351 | 5454k| 415.4 | 438M | 52 |1479 |8500 |3197 | 28k| 0 |8536 |3966 | 1.016428e+03 | 1.040000e+03 | 2.32%| unknown
1242.24/1245.51 c 1246s| 13200 | 1359 | 5490k| 415.0 | 438M | 52 |1479 |8476 |3197 | 28k| 1 |8537 |3966 | 1.016443e+03 | 1.040000e+03 | 2.32%| unknown
1246.23/1249.59 c 1250s| 13300 | 1357 | 5514k| 413.6 | 438M | 52 |1479 |8541 |3200 | 28k| 1 |8626 |4003 | 1.016443e+03 | 1.040000e+03 | 2.32%| unknown
1261.49/1264.84 c 1265s| 13400 | 1369 | 5567k| 414.5 | 438M | 52 |1479 |8454 |3200 | 29k| 0 |8665 |4079 | 1.016475e+03 | 1.040000e+03 | 2.31%| unknown
1273.46/1276.89 c 1277s| 13500 | 1381 | 5622k| 415.5 | 438M | 52 |1479 |8450 |3197 | 29k| 0 |8718 |4112 | 1.016487e+03 | 1.040000e+03 | 2.31%| unknown
1280.04/1283.46 c 1283s| 13600 | 1383 | 5651k| 414.6 | 438M | 52 |1479 |8453 |3199 | 29k| 1 |8728 |4159 | 1.016487e+03 | 1.040000e+03 | 2.31%| unknown
1288.42/1291.81 c 1292s| 13700 | 1387 | 5682k| 413.9 | 438M | 52 |1479 |8489 |3202 | 29k| 0 |8773 |4228 | 1.016487e+03 | 1.040000e+03 | 2.31%| unknown
1297.70/1301.18 c 1301s| 13800 | 1399 | 5743k| 415.3 | 438M | 52 |1479 |8395 |3215 | 29k| 0 |8773 |4232 | 1.016523e+03 | 1.040000e+03 | 2.31%| unknown
1304.28/1307.76 c 1308s| 13900 | 1405 | 5780k| 415.0 | 438M | 52 |1479 |8367 |3203 | 30k| 1 |8774 |4233 | 1.016660e+03 | 1.040000e+03 | 2.30%| unknown
1307.37/1310.82 c 1311s| 14000 | 1403 | 5807k| 413.9 | 438M | 52 |1479 |8367 |3209 | 30k| 0 |8774 |4233 | 1.016660e+03 | 1.040000e+03 | 2.30%| unknown
1313.75/1317.25 c 1317s| 14100 | 1411 | 5843k| 413.5 | 438M | 52 |1479 |8354 |3216 | 30k| 0 |8805 |4246 | 1.016660e+03 | 1.040000e+03 | 2.30%| unknown
1316.15/1319.69 c 1320s| 14200 | 1409 | 5864k| 412.1 | 438M | 52 |1479 |8361 |3221 | 30k| 0 |8814 |4248 | 1.016660e+03 | 1.040000e+03 | 2.30%| unknown
1319.54/1323.04 c 1323s| 14300 | 1409 | 5891k| 411.1 | 438M | 52 |1479 |8429 |3206 | 30k| 1 |8893 |4264 | 1.016660e+03 | 1.040000e+03 | 2.30%| unknown
1323.73/1327.25 c 1327s| 14400 | 1407 | 5915k| 409.9 | 438M | 52 |1479 |8464 |3202 | 30k| 0 |8932 |4289 | 1.016660e+03 | 1.040000e+03 | 2.30%| unknown
1331.11/1334.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1331.11/1334.67 c 1335s| 14500 | 1413 | 5952k| 409.7 | 438M | 52 |1479 |8423 |3202 | 30k| 1 |8970 |4317 | 1.016668e+03 | 1.040000e+03 | 2.29%| unknown
1342.38/1345.97 c 1346s| 14600 | 1425 | 6000k| 410.1 | 438M | 52 |1479 |8355 |3207 | 31k| 1 |8997 |4344 | 1.016721e+03 | 1.040000e+03 | 2.29%| unknown
1347.27/1350.80 c 1351s| 14700 | 1427 | 6028k| 409.2 | 438M | 52 |1479 |8413 |3203 | 31k| 1 |9086 |4384 | 1.016721e+03 | 1.040000e+03 | 2.29%| unknown
1357.94/1361.52 c 1362s| 14800 | 1439 | 6077k| 409.8 | 438M | 52 |1479 |8403 |3206 | 31k| 1 |9178 |4418 | 1.016750e+03 | 1.040000e+03 | 2.29%| unknown
1360.93/1364.56 c 1365s| 14900 | 1439 | 6100k| 408.6 | 438M | 52 |1479 |8489 |3214 | 31k| 1 |9288 |4439 | 1.016750e+03 | 1.040000e+03 | 2.29%| unknown
1364.82/1368.49 c 1368s| 15000 | 1437 | 6125k| 407.5 | 438M | 52 |1479 |8543 |3217 | 31k| 0 |9362 |4468 | 1.016750e+03 | 1.040000e+03 | 2.29%| unknown
1373.69/1377.38 c 1377s| 15100 | 1449 | 6177k| 408.3 | 438M | 52 |1479 |8441 |3201 | 31k| 1 |9401 |4480 | 1.016787e+03 | 1.040000e+03 | 2.28%| unknown
1381.38/1385.07 c 1385s| 15200 | 1455 | 6215k| 408.1 | 439M | 52 |1479 |8417 |3202 | 32k| 0 |9422 |4495 | 1.016795e+03 | 1.040000e+03 | 2.28%| unknown
1394.54/1398.24 c 1398s| 15300 | 1473 | 6270k| 409.0 | 440M | 52 |1479 |8301 |3208 | 32k| 0 |9424 |4513 | 1.016854e+03 | 1.040000e+03 | 2.28%| unknown
1409.41/1413.15 c 1413s| 15400 | 1493 | 6329k| 410.2 | 440M | 52 |1479 |8135 |3211 | 32k| 1 |9457 |4554 | 1.016928e+03 | 1.040000e+03 | 2.27%| unknown
1417.48/1421.21 c 1421s| 15500 | 1497 | 6363k| 409.7 | 440M | 52 |1479 |8116 |3215 | 33k| 1 |9490 |4596 | 1.016931e+03 | 1.040000e+03 | 2.27%| unknown
1421.67/1425.45 c 1425s| 15600 | 1495 | 6390k| 408.8 | 440M | 52 |1479 |8128 |3198 | 33k| 1 |9517 |4615 | 1.016931e+03 | 1.040000e+03 | 2.27%| unknown
1432.65/1436.43 c 1436s| 15700 | 1505 | 6436k| 409.2 | 441M | 52 |1479 |8027 |3205 | 33k| 0 |9526 |4629 | 1.016960e+03 | 1.040000e+03 | 2.27%| unknown
1448.01/1451.86 c 1452s| 15800 | 1521 | 6487k| 409.8 | 441M | 52 |1479 |7949 |3213 | 33k| 0 |9581 |4692 | 1.016978e+03 | 1.040000e+03 | 2.26%| unknown
1455.29/1459.11 c 1459s| 15900 | 1527 | 6526k| 409.7 | 441M | 52 |1479 |7915 |3225 | 33k| 2 |9610 |4703 | 1.017000e+03 | 1.040000e+03 | 2.26%| unknown
1466.76/1470.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1466.76/1470.68 c 1471s| 16000 | 1535 | 6589k| 411.0 | 441M | 52 |1479 |7812 |3209 | 34k| 0 |9611 |4720 | 1.017011e+03 | 1.040000e+03 | 2.26%| unknown
1480.02/1483.98 c 1484s| 16100 | 1551 | 6642k| 411.8 | 441M | 52 |1479 |7793 |3184 | 34k| 0 |9723 |4797 | 1.017014e+03 | 1.040000e+03 | 2.26%| unknown
1499.08/1503.01 c 1503s| 16200 | 1573 | 6714k| 413.6 | 442M | 52 |1479 |7612 |3186 | 35k| 0 |9820 |4826 | 1.017068e+03 | 1.040000e+03 | 2.25%| unknown
1517.23/1521.23 c 1521s| 16300 | 1603 | 6789k| 415.7 | 442M | 52 |1479 |7495 |3189 | 35k| 0 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1517.23/1521.29 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1517.23/1521.29 c (run 1, node 16304) performing user restart
1517.23/1521.29 c
1517.23/1521.29 c (restart) converted 258 cuts from the global cut pool into linear constraints
1517.23/1521.29 c
1517.33/1521.36 c presolving:
1517.33/1521.37 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
1517.43/1521.40 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
1517.53/1521.51 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
1517.63/1521.60 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
1517.83/1521.81 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
1517.83/1521.81 c 0 deleted vars, 428 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 623 changed sides, 2394 changed coefficients
1517.83/1521.81 c 0 implications, 2875 cliques
1517.83/1521.81 c presolved problem has 1479 variables (1479 bin, 0 int, 0 impl, 0 cont) and 7325 constraints
1517.83/1521.81 c 248 constraints of type <knapsack>
1517.83/1521.81 c 2875 constraints of type <setppc>
1517.83/1521.81 c 78 constraints of type <linear>
1517.83/1521.81 c 4124 constraints of type <logicor>
1517.83/1521.81 c transformed objective value is always integral (scale: 1)
1517.83/1521.81 c Presolving Time: 0.53
1517.83/1521.86 c transformed 99/100 original solutions to the transformed problem space
1517.83/1521.86 c
1518.63/1522.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1518.63/1522.67 c 1523s| 1 | 0 | 6797k| - | 400M | 0 |1479 |7325 |3126 | 0 | 0 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1519.03/1523.07 c 1523s| 1 | 0 | 6797k| - | 400M | 0 |1479 |7325 |3127 | 1 | 1 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1519.43/1523.47 c 1523s| 1 | 0 | 6797k| - | 400M | 0 |1479 |7325 |3128 | 2 | 2 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1519.83/1523.87 c 1524s| 1 | 0 | 6797k| - | 400M | 0 |1479 |7325 |3129 | 3 | 3 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1520.23/1524.25 c 1524s| 1 | 0 | 6797k| - | 400M | 0 |1479 |7325 |3131 | 5 | 4 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1520.63/1524.65 c 1525s| 1 | 0 | 6797k| - | 400M | 0 |1479 |7325 |3132 | 6 | 5 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1521.03/1525.06 c 1525s| 1 | 0 | 6797k| - | 401M | 0 |1479 |7325 |3133 | 7 | 6 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1521.42/1525.46 c 1525s| 1 | 0 | 6797k| - | 401M | 0 |1479 |7325 |3134 | 8 | 7 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1521.82/1525.89 c 1526s| 1 | 0 | 6797k| - | 401M | 0 |1479 |7325 |3137 | 11 | 8 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1522.32/1526.32 c 1526s| 1 | 0 | 6798k| - | 401M | 0 |1479 |7325 |3138 | 12 | 9 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1522.72/1526.76 c 1527s| 1 | 0 | 6798k| - | 401M | 0 |1479 |7325 |3140 | 14 | 10 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1522.82/1526.86 c 1527s| 1 | 0 | 6798k| - | 401M | 0 |1479 |7325 |3073 | 15 | 11 |9894 |4852 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1523.32/1527.39 c 1527s| 1 | 2 | 6799k| - | 401M | 0 |1479 |7339 |3073 | 15 | 11 |9910 |4855 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1547.55/1551.66 c 1552s| 100 | 23 | 6847k| 416.1 | 409M | 27 |1479 |7698 |3063 | 23 | 1 | 10k|5139 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1559.42/1563.54 c 1564s| 200 | 37 | 6889k| 416.1 | 410M | 27 |1479 |8156 |3063 | 23 | 1 | 10k|5311 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1577.57/1581.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1577.57/1581.73 c 1582s| 300 | 43 | 6969k| 418.5 | 410M | 27 |1479 |8751 |3063 | 23 | 2 | 11k|5550 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1602.01/1606.26 c 1606s| 400 | 49 | 7015k| 418.7 | 410M | 29 |1479 |9514 |3063 | 23 | 0 | 12k|6004 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1610.59/1614.87 c 1615s| 500 | 55 | 7048k| 418.1 | 419M | 33 |1479 |9823 |3063 | 25 | 1 | 12k|6142 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1620.06/1624.37 c 1624s| 600 | 53 | 7075k| 417.3 | 419M | 34 |1479 | 10k|3063 | 25 | 2 | 13k|6346 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1635.52/1639.82 c 1640s| 700 | 71 | 7121k| 417.6 | 433M | 34 |1479 | 10k|3064 | 71 | 0 | 13k|6491 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1639.71/1644.02 c 1644s| 800 | 77 | 7149k| 416.8 | 433M | 38 |1479 | 10k|3064 | 73 | 1 | 13k|6524 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1649.28/1653.67 c 1654s| 900 | 77 | 7182k| 416.2 | 433M | 38 |1479 | 10k|3065 | 84 | 1 | 14k|6722 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1654.27/1658.68 c 1659s| 1000 | 73 | 7210k| 415.4 | 433M | 38 |1479 | 11k|3067 | 87 | 1 | 14k|6833 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1663.84/1668.23 c 1668s| 1100 | 93 | 7254k| 415.6 | 433M | 38 |1479 | 11k|3067 | 93 | 0 | 15k|6958 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1668.23/1672.60 c 1673s| 1200 | 107 | 7281k| 414.8 | 433M | 38 |1479 | 11k|3068 | 98 | 0 | 15k|6995 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1672.32/1676.71 c 1677s| 1300 | 113 | 7309k| 414.0 | 417M | 38 |1479 | 11k|3068 | 98 | 0 | 15k|7041 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1677.11/1681.55 c 1682s| 1400 | 115 | 7334k| 413.1 | 417M | 38 |1479 | 11k|3069 | 117 | 1 | 15k|7099 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1687.78/1692.25 c 1692s| 1500 | 131 | 7372k| 412.9 | 418M | 38 |1479 | 11k|3070 | 197 | 0 | 16k|7155 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1691.07/1695.58 c 1696s| 1600 | 131 | 7394k| 411.8 | 418M | 38 |1479 | 11k|3068 | 200 | 0 | 16k|7203 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1696.36/1700.88 c 1701s| 1700 | 135 | 7416k| 410.8 | 418M | 38 |1479 | 11k|3069 | 233 | 0 | 16k|7237 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1702.74/1707.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1702.74/1707.29 c 1707s| 1800 | 145 | 7444k| 410.0 | 418M | 38 |1479 | 11k|3072 | 292 | 0 | 16k|7258 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1705.93/1710.45 c 1710s| 1900 | 145 | 7465k| 408.9 | 418M | 38 |1479 | 11k|3073 | 294 | 0 | 16k|7298 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1709.92/1714.48 c 1714s| 2000 | 149 | 7486k| 407.8 | 420M | 40 |1479 | 11k|3074 | 309 | 0 | 16k|7334 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1713.01/1717.58 c 1718s| 2100 | 151 | 7511k| 407.0 | 420M | 40 |1479 | 11k|3075 | 318 | 0 | 16k|7351 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1716.31/1720.80 c 1721s| 2200 | 149 | 7530k| 405.8 | 420M | 40 |1479 | 12k|3076 | 320 | 0 | 16k|7385 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1721.19/1725.78 c 1726s| 2300 | 155 | 7555k| 404.9 | 420M | 40 |1479 | 11k|3077 | 357 | 0 | 16k|7418 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1723.59/1728.13 c 1728s| 2400 | 155 | 7575k| 403.9 | 420M | 40 |1479 | 12k|3075 | 362 | 0 | 16k|7434 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1728.77/1733.39 c 1733s| 2500 | 161 | 7604k| 403.2 | 420M | 40 |1479 | 11k|3077 | 403 | 1 | 17k|7446 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1733.86/1738.48 c 1738s| 2600 | 161 | 7625k| 402.2 | 420M | 40 |1479 | 12k|3078 | 409 | 1 | 17k|7522 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1738.65/1743.25 c 1743s| 2700 | 163 | 7653k| 401.6 | 420M | 40 |1479 | 11k|3074 | 445 | 0 | 17k|7541 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1747.03/1751.67 c 1752s| 2800 | 169 | 7710k| 402.5 | 420M | 40 |1479 | 11k|3074 | 486 | 1 | 17k|7544 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1749.22/1753.85 c 1754s| 2900 | 167 | 7732k| 401.5 | 420M | 40 |1479 | 11k|3075 | 495 | 1 | 17k|7544 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1760.69/1765.38 c 1765s| 3000 | 183 | 7772k| 401.5 | 420M | 40 |1479 | 11k|3106 | 589 | 1 | 17k|7595 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1766.78/1771.44 c 1771s| 3100 | 189 | 7803k| 401.0 | 420M | 40 |1479 | 11k|3108 | 638 | 0 | 17k|7640 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1770.27/1774.92 c 1775s| 3200 | 193 | 7826k| 400.1 | 420M | 40 |1479 | 11k|3108 | 675 | 0 | 17k|7646 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1774.26/1778.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1774.26/1778.98 c 1779s| 3300 | 197 | 7849k| 399.3 | 420M | 40 |1479 | 11k|3108 | 717 | 0 | 17k|7650 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1778.45/1783.18 c 1783s| 3400 | 203 | 7875k| 398.6 | 420M | 40 |1479 | 11k|3108 | 757 | 1 | 17k|7660 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1780.45/1785.13 c 1785s| 3500 | 203 | 7895k| 397.6 | 420M | 40 |1479 | 11k|3108 | 761 | 1 | 17k|7660 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1782.54/1787.29 c 1787s| 3600 | 201 | 7915k| 396.6 | 420M | 40 |1479 | 11k|3108 | 765 | 0 | 17k|7662 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1785.63/1790.33 c 1790s| 3700 | 207 | 7939k| 395.8 | 420M | 40 |1479 | 11k|3107 | 765 | 1 | 17k|7667 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1789.12/1793.87 c 1794s| 3800 | 215 | 7965k| 395.1 | 420M | 40 |1479 | 11k|3110 | 810 | 1 | 17k|7667 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1793.81/1798.50 c 1798s| 3900 | 225 | 7994k| 394.6 | 420M | 40 |1479 | 11k|3109 | 855 | 0 | 17k|7668 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1800.29/1805.05 c 1805s| 4000 | 235 | 8028k| 394.3 | 420M | 40 |1479 | 11k|3110 | 936 | 1 | 17k|7668 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1802.88/1807.62 c 1808s| 4100 | 241 | 8051k| 393.6 | 420M | 40 |1479 | 11k|3109 | 944 | 1 | 17k|7671 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1804.48/1809.29 c 1809s| 4200 | 239 | 8067k| 392.4 | 420M | 40 |1479 | 11k|3110 | 959 | 2 | 17k|7671 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1806.77/1811.53 c 1812s| 4300 | 241 | 8089k| 391.6 | 420M | 40 |1479 | 11k|3109 | 965 | 0 | 17k|7671 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1808.87/1813.60 c 1814s| 4400 | 245 | 8110k| 390.7 | 420M | 40 |1479 | 11k|3109 | 972 | 1 | 17k|7671 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1813.26/1818.08 c 1818s| 4500 | 249 | 8136k| 390.1 | 420M | 40 |1479 | 11k|3109 |1019 | 0 | 17k|7672 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1815.15/1819.97 c 1820s| 4600 | 249 | 8156k| 389.2 | 420M | 40 |1479 | 11k|3109 |1019 | 1 | 17k|7672 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1821.63/1826.40 c 1826s| 4700 | 259 | 8209k| 389.8 | 420M | 40 |1479 | 11k|3108 |1022 | 0 | 17k|7672 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1826.23/1831.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1826.23/1831.09 c 1831s| 4800 | 269 | 8241k| 389.5 | 421M | 40 |1479 | 11k|3109 |1074 | 0 | 17k|7672 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1830.51/1835.37 c 1835s| 4900 | 275 | 8265k| 388.8 | 421M | 40 |1479 | 11k|3110 |1141 | 0 | 17k|7672 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1834.60/1839.41 c 1839s| 5000 | 291 | 8296k| 388.4 | 421M | 40 |1479 | 11k|3110 |1177 | 1 | 17k|7672 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1842.88/1847.78 c 1848s| 5100 | 311 | 8335k| 388.4 | 423M | 40 |1479 | 11k|3111 |1299 | 1 | 17k|7673 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1844.97/1849.84 c 1850s| 5200 | 313 | 8356k| 387.6 | 423M | 40 |1479 | 11k|3110 |1307 | 0 | 17k|7673 | 1.017126e+03 | 1.040000e+03 | 2.25%| unknown
1849.27/1854.16 c 1854s| 5300 | 317 | 8382k| 387.0 | 423M | 40 |1479 | 11k|3113 |1375 | 1 | 17k|7674 | 1.017145e+03 | 1.040000e+03 | 2.25%| unknown
1851.86/1856.73 c 1857s| 5400 | 321 | 8407k| 386.4 | 423M | 40 |1479 | 11k|3113 |1389 | 0 | 17k|7675 | 1.017155e+03 | 1.040000e+03 | 2.25%| unknown
1856.54/1861.46 c 1861s| 5500 | 325 | 8435k| 385.9 | 423M | 40 |1479 | 11k|3113 |1461 | 1 | 17k|7677 | 1.017167e+03 | 1.040000e+03 | 2.24%| unknown
1858.74/1863.63 c 1864s| 5600 | 327 | 8456k| 385.1 | 423M | 40 |1479 | 11k|3113 |1475 | 1 | 17k|7677 | 1.017167e+03 | 1.040000e+03 | 2.24%| unknown
1865.23/1870.18 c 1870s| 5700 | 337 | 8489k| 384.8 | 423M | 40 |1479 | 11k|3114 |1543 | 0 | 17k|7677 | 1.017192e+03 | 1.040000e+03 | 2.24%| unknown
1866.82/1871.74 c 1872s| 5800 | 333 | 8505k| 383.8 | 423M | 40 |1479 | 11k|3116 |1554 | 0 | 17k|7677 | 1.017192e+03 | 1.040000e+03 | 2.24%| unknown
1877.89/1882.83 c 1883s| 5900 | 349 | 8571k| 385.1 | 424M | 40 |1479 | 11k|3115 |1659 | 1 | 17k|7677 | 1.017220e+03 | 1.040000e+03 | 2.24%| unknown
1882.68/1887.69 c 1888s| 6000 | 353 | 8601k| 384.7 | 424M | 40 |1479 | 11k|3117 |1726 | 0 | 17k|7681 | 1.017243e+03 | 1.040000e+03 | 2.24%| unknown
1887.76/1892.79 c 1893s| 6100 | 363 | 8637k| 384.6 | 424M | 40 |1479 | 11k|3118 |1799 | 1 | 17k|7681 | 1.017269e+03 | 1.040000e+03 | 2.23%| unknown
1894.75/1899.78 c 1900s| 6200 | 373 | 8672k| 384.4 | 424M | 40 |1479 | 11k|3118 |1919 | 1 | 17k|7682 | 1.017326e+03 | 1.040000e+03 | 2.23%| unknown
1897.24/1902.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1897.24/1902.26 c 1902s| 6300 | 377 | 8697k| 383.8 | 424M | 40 |1479 | 11k|3115 |1938 | 0 | 18k|7684 | 1.017326e+03 | 1.040000e+03 | 2.23%| unknown
1901.13/1906.15 c 1906s| 6400 | 383 | 8723k| 383.3 | 424M | 40 |1479 | 11k|3116 |1977 | 0 | 18k|7701 | 1.017374e+03 | 1.040000e+03 | 2.22%| unknown
1906.02/1911.01 c 1911s| 6500 | 391 | 8752k| 382.9 | 424M | 40 |1479 | 11k|3117 |2058 | 0 | 18k|7714 | 1.017400e+03 | 1.040000e+03 | 2.22%| unknown
1917.39/1922.44 c 1922s| 6600 | 409 | 8796k| 383.1 | 424M | 40 |1479 | 11k|3117 |2250 | 1 | 18k|7750 | 1.017421e+03 | 1.040000e+03 | 2.22%| unknown
1923.47/1928.58 c 1929s| 6700 | 417 | 8822k| 382.6 | 424M | 40 |1479 | 11k|3117 |2322 | 1 | 18k|7798 | 1.017451e+03 | 1.040000e+03 | 2.22%| unknown
1925.67/1930.77 c 1931s| 6800 | 417 | 8842k| 381.8 | 424M | 40 |1479 | 11k|3122 |2354 | 0 | 18k|7813 | 1.017451e+03 | 1.040000e+03 | 2.22%| unknown
1933.85/1938.92 c 1939s| 6900 | 429 | 8878k| 381.7 | 424M | 40 |1479 | 11k|3117 |2435 | 1 | 18k|7906 | 1.017487e+03 | 1.040000e+03 | 2.21%| unknown
1937.64/1942.78 c 1943s| 7000 | 425 | 8895k| 380.8 | 424M | 40 |1479 | 11k|3121 |2448 | 0 | 18k|7965 | 1.017487e+03 | 1.040000e+03 | 2.21%| unknown
1941.73/1946.86 c 1947s| 7100 | 427 | 8919k| 380.2 | 424M | 40 |1479 | 11k|3121 |2520 | 0 | 18k|7965 | 1.017500e+03 | 1.040000e+03 | 2.21%| unknown
1951.80/1956.91 c 1957s| 7200 | 435 | 8978k| 381.1 | 424M | 40 |1479 | 11k|3117 |2667 | 0 | 18k|7966 | 1.017651e+03 | 1.040000e+03 | 2.20%| unknown
1953.90/1959.08 c 1959s| 7300 | 439 | 8998k| 380.3 | 424M | 40 |1479 | 11k|3124 |2689 | 0 | 18k|7977 | 1.017651e+03 | 1.040000e+03 | 2.20%| unknown
1957.99/1963.13 c 1963s| 7400 | 445 | 9020k| 379.6 | 424M | 40 |1479 | 11k|3128 |2764 | 1 | 18k|7984 | 1.017654e+03 | 1.040000e+03 | 2.20%| unknown
1962.48/1967.62 c 1968s| 7500 | 451 | 9042k| 379.0 | 425M | 40 |1479 | 11k|3127 |2835 | 1 | 18k|7994 | 1.017706e+03 | 1.040000e+03 | 2.19%| unknown
1969.97/1975.16 c 1975s| 7600 | 465 | 9082k| 379.1 | 426M | 40 |1479 | 11k|3129 |2955 | 2 | 18k|7996 | 1.017902e+03 | 1.040000e+03 | 2.17%| unknown
1979.34/1984.52 c 1985s| 7700 | 479 | 9122k| 379.1 | 433M | 40 |1479 | 11k|3132 |3134 | 1 | 18k|8000 | 1.018013e+03 | 1.040000e+03 | 2.16%| unknown
1982.53/1987.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1982.53/1987.76 c 1988s| 7800 | 477 | 9145k| 378.5 | 434M | 40 |1479 | 11k|3127 |3164 | 1 | 19k|8007 | 1.018013e+03 | 1.040000e+03 | 2.16%| unknown
1986.82/1992.06 c 1992s| 7900 | 479 | 9173k| 378.1 | 434M | 40 |1479 | 11k|3137 |3264 | 0 | 19k|8008 | 1.018014e+03 | 1.040000e+03 | 2.16%| unknown
1996.80/2002.00 c 2002s| 8000 | 495 | 9219k| 378.4 | 434M | 40 |1479 | 11k|3127 |3484 | 0 | 19k|8013 | 1.018039e+03 | 1.040000e+03 | 2.16%| unknown
2004.28/2009.57 c 2010s| 8100 | 507 | 9258k| 378.5 | 434M | 40 |1479 | 11k|3128 |3649 | 0 | 19k|8016 | 1.018055e+03 | 1.040000e+03 | 2.16%| unknown
2011.96/2017.29 c 2017s| 8200 | 517 | 9313k| 379.2 | 434M | 40 |1479 | 11k|3130 |3736 | 0 | 19k|8016 | 1.018073e+03 | 1.040000e+03 | 2.15%| unknown
2013.95/2019.27 c 2019s| 8300 | 519 | 9332k| 378.4 | 434M | 40 |1479 | 11k|3137 |3778 | 1 | 19k|8016 | 1.018073e+03 | 1.040000e+03 | 2.15%| unknown
2018.44/2023.73 c 2024s| 8400 | 523 | 9361k| 378.1 | 434M | 40 |1479 | 11k|3138 |3832 | 0 | 19k|8025 | 1.018088e+03 | 1.040000e+03 | 2.15%| unknown
2023.73/2029.06 c 2029s| 8500 | 525 | 9390k| 377.7 | 434M | 42 |1479 | 11k|3142 |3963 | 1 | 19k|8025 | 1.018088e+03 | 1.040000e+03 | 2.15%| unknown
2031.01/2036.35 c 2036s| 8600 | 531 | 9427k| 377.7 | 434M | 42 |1479 | 11k|3145 |4149 | 2 | 19k|8025 | 1.018126e+03 | 1.040000e+03 | 2.15%| unknown
2033.50/2038.83 c 2039s| 8700 | 531 | 9452k| 377.2 | 434M | 42 |1479 | 11k|3140 |4206 | 0 | 19k|8025 | 1.018126e+03 | 1.040000e+03 | 2.15%| unknown
2035.60/2040.90 c 2041s| 8800 | 531 | 9473k| 376.5 | 434M | 42 |1479 | 11k|3140 |4215 | 0 | 19k|8025 | 1.018126e+03 | 1.040000e+03 | 2.15%| unknown
2044.57/2049.99 c 2050s| 8900 | 545 | 9517k| 376.7 | 434M | 42 |1479 | 11k|3140 |4424 | 0 | 19k|8025 | 1.018220e+03 | 1.040000e+03 | 2.14%| unknown
2046.87/2052.23 c 2052s| 9000 | 545 | 9538k| 376.1 | 433M | 42 |1479 | 11k|3145 |4435 | 0 | 19k|8025 | 1.018220e+03 | 1.040000e+03 | 2.14%| unknown
2048.96/2054.31 c 2054s| 9100 | 545 | 9559k| 375.4 | 433M | 42 |1479 | 11k|3140 |4462 | 1 | 19k|8025 | 1.018220e+03 | 1.040000e+03 | 2.14%| unknown
2051.06/2056.41 c 2056s| 9200 | 545 | 9580k| 374.8 | 433M | 42 |1479 | 11k|3137 |4485 | 0 | 19k|8026 | 1.018220e+03 | 1.040000e+03 | 2.14%| unknown
2053.55/2058.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2053.55/2058.92 c 2059s| 9300 | 545 | 9606k| 374.3 | 433M | 42 |1479 | 11k|3138 |4509 | 0 | 19k|8026 | 1.018220e+03 | 1.040000e+03 | 2.14%| unknown
2056.34/2061.78 c 2062s| 9400 | 551 | 9633k| 374.0 | 433M | 42 |1479 | 11k|3141 |4529 | 0 | 19k|8026 | 1.018226e+03 | 1.040000e+03 | 2.14%| unknown
2060.83/2066.29 c 2066s| 9500 | 557 | 9660k| 373.5 | 433M | 42 |1479 | 11k|3142 |4614 | 2 | 19k|8027 | 1.018245e+03 | 1.040000e+03 | 2.14%| unknown
2065.82/2071.23 c 2071s| 9600 | 561 | 9688k| 373.2 | 433M | 42 |1479 | 11k|3144 |4693 | 1 | 19k|8027 | 1.018245e+03 | 1.040000e+03 | 2.14%| unknown
2075.89/2081.38 c 2081s| 9700 | 579 | 9737k| 373.6 | 433M | 42 |1479 | 11k|3139 |4897 | 1 | 19k|8027 | 1.018316e+03 | 1.040000e+03 | 2.13%| unknown
2081.28/2086.75 c 2087s| 9800 | 591 | 9776k| 373.7 | 433M | 42 |1479 | 11k|3141 |4984 | 1 | 19k|8028 | 1.018333e+03 | 1.040000e+03 | 2.13%| unknown
2083.68/2089.18 c 2089s| 9900 | 591 | 9800k| 373.2 | 433M | 42 |1479 | 11k|3142 |5004 | 0 | 19k|8028 | 1.018333e+03 | 1.040000e+03 | 2.13%| unknown
2094.65/2100.18 c 2100s| 10000 | 601 | 9866k| 374.3 | 433M | 42 |1479 | 10k|3147 |5171 | 0 | 19k|8030 | 1.018351e+03 | 1.040000e+03 | 2.13%| unknown
2100.93/2106.49 c 2106s| 10100 | 611 | 9904k| 374.3 | 433M | 42 |1479 | 10k|3151 |5303 | 1 | 19k|8030 | 1.018355e+03 | 1.040000e+03 | 2.13%| unknown
2105.52/2111.08 c 2111s| 10200 | 619 | 9940k| 374.2 | 433M | 42 |1479 | 10k|3147 |5358 | 1 | 19k|8030 | 1.018362e+03 | 1.040000e+03 | 2.12%| unknown
2108.41/2113.98 c 2114s| 10300 | 631 | 9969k| 373.9 | 433M | 42 |1479 | 10k|3138 |5363 | 1 | 19k|8030 | 1.018373e+03 | 1.040000e+03 | 2.12%| unknown
2112.00/2117.54 c 2118s| 10400 | 633 | 9990k| 373.3 | 433M | 42 |1479 | 10k|3139 |5426 | 0 | 19k|8030 | 1.018398e+03 | 1.040000e+03 | 2.12%| unknown
2114.60/2120.15 c 2120s| 10500 | 639 | 10015k| 372.9 | 433M | 42 |1479 | 10k|3138 |5429 | 1 | 19k|8037 | 1.018422e+03 | 1.040000e+03 | 2.12%| unknown
2119.48/2125.03 c 2125s| 10600 | 645 | 10045k| 372.6 | 433M | 42 |1479 | 10k|3139 |5513 | 1 | 19k|8042 | 1.018454e+03 | 1.040000e+03 | 2.12%| unknown
2121.27/2126.80 c 2127s| 10700 | 643 | 10062k| 371.8 | 433M | 42 |1479 | 10k|3141 |5519 | 0 | 19k|8042 | 1.018454e+03 | 1.040000e+03 | 2.12%| unknown
2123.77/2129.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2123.77/2129.39 c 2129s| 10800 | 649 | 10087k| 371.4 | 433M | 42 |1479 |9972 |3141 |5522 | 1 | 19k|8047 | 1.018482e+03 | 1.040000e+03 | 2.11%| unknown
2127.76/2133.32 c 2133s| 10900 | 657 | 10114k| 371.0 | 433M | 42 |1479 |9984 |3139 |5525 | 1 | 19k|8066 | 1.018530e+03 | 1.040000e+03 | 2.11%| unknown
2133.74/2139.31 c 2139s| 11000 | 663 | 10150k| 371.0 | 433M | 42 |1479 | 10k|3139 |5593 | 1 | 19k|8101 | 1.018548e+03 | 1.040000e+03 | 2.11%| unknown
2137.93/2143.57 c 2144s| 11100 | 663 | 10177k| 370.6 | 433M | 42 |1479 | 10k|3140 |5605 | 1 | 19k|8174 | 1.018548e+03 | 1.040000e+03 | 2.11%| unknown
2143.91/2149.57 c 2150s| 11200 | 667 | 10207k| 370.3 | 433M | 42 |1479 | 10k|3142 |5675 | 1 | 20k|8195 | 1.018555e+03 | 1.040000e+03 | 2.11%| unknown
2150.30/2155.91 c 2156s| 11300 | 669 | 10237k| 370.1 | 433M | 42 |1479 | 10k|3141 |5729 | 1 | 20k|8251 | 1.018556e+03 | 1.040000e+03 | 2.11%| unknown
2154.09/2159.76 c 2160s| 11400 | 673 | 10264k| 369.7 | 433M | 42 |1479 | 10k|3139 |5732 | 0 | 20k|8266 | 1.018578e+03 | 1.040000e+03 | 2.10%| unknown
2161.67/2167.38 c 2167s| 11500 | 683 | 10298k| 369.6 | 433M | 42 |1479 | 10k|3144 |5859 | 1 | 20k|8282 | 1.018586e+03 | 1.040000e+03 | 2.10%| unknown
2164.36/2170.09 c 2170s| 11600 | 687 | 10326k| 369.3 | 433M | 42 |1479 | 10k|3143 |5862 | 0 | 20k|8282 | 1.018615e+03 | 1.040000e+03 | 2.10%| unknown
2170.45/2176.18 c 2176s| 11700 | 693 | 10370k| 369.5 | 433M | 42 |1479 | 10k|3143 |5866 | 1 | 20k|8297 | 1.018629e+03 | 1.040000e+03 | 2.10%| unknown
2175.13/2180.89 c 2181s| 11800 | 703 | 10396k| 369.2 | 433M | 42 |1479 | 10k|3143 |5875 | 1 | 20k|8314 | 1.018631e+03 | 1.040000e+03 | 2.10%| unknown
2185.50/2191.26 c 2191s| 11900 | 717 | 10442k| 369.5 | 433M | 42 |1479 | 10k|3143 |6047 | 1 | 20k|8337 | 1.018661e+03 | 1.040000e+03 | 2.09%| unknown
2190.59/2196.32 c 2196s| 12000 | 721 | 10466k| 369.0 | 433M | 42 |1479 | 10k|3144 |6050 | 0 | 20k|8385 | 1.018695e+03 | 1.040000e+03 | 2.09%| unknown
2192.69/2198.48 c 2198s| 12100 | 721 | 10488k| 368.5 | 433M | 42 |1479 | 10k|3143 |6051 | 0 | 20k|8386 | 1.018695e+03 | 1.040000e+03 | 2.09%| unknown
2200.27/2206.06 c 2206s| 12200 | 733 | 10525k| 368.5 | 433M | 42 |1479 | 10k|3143 |6164 | 1 | 20k|8397 | 1.018726e+03 | 1.040000e+03 | 2.09%| unknown
2203.26/2209.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2203.26/2209.00 c 2209s| 12300 | 733 | 10549k| 368.0 | 433M | 42 |1479 | 10k|3144 |6173 | 1 | 20k|8435 | 1.018726e+03 | 1.040000e+03 | 2.09%| unknown
2206.15/2211.98 c 2212s| 12400 | 733 | 10569k| 367.5 | 433M | 42 |1479 | 10k|3144 |6186 | 1 | 20k|8470 | 1.018726e+03 | 1.040000e+03 | 2.09%| unknown
2213.24/2219.06 c 2219s| 12500 | 743 | 10601k| 367.3 | 433M | 42 |1479 | 10k|3144 |6246 | 1 | 20k|8520 | 1.018748e+03 | 1.040000e+03 | 2.09%| unknown
2215.43/2221.22 c 2221s| 12600 | 745 | 10619k| 366.7 | 433M | 42 |1479 | 10k|3145 |6250 | 1 | 20k|8536 | 1.018748e+03 | 1.040000e+03 | 2.09%| unknown
2223.70/2229.58 c 2230s| 12700 | 753 | 10648k| 366.4 | 433M | 42 |1479 | 10k|3146 |6376 | 1 | 20k|8568 | 1.018764e+03 | 1.040000e+03 | 2.08%| unknown
2227.59/2233.43 c 2233s| 12800 | 761 | 10672k| 366.0 | 433M | 42 |1479 | 10k|3145 |6438 | 0 | 20k|8579 | 1.018794e+03 | 1.040000e+03 | 2.08%| unknown
2240.66/2246.52 c 2247s| 12900 | 785 | 10723k| 366.5 | 433M | 42 |1479 |9955 |3145 |6672 | 1 | 21k|8639 | 1.018849e+03 | 1.040000e+03 | 2.08%| unknown
2251.83/2257.70 c 2258s| 13000 | 793 | 10763k| 366.6 | 442M | 43 |1479 |9909 |3151 |6828 | 0 | 21k|8671 | 1.018870e+03 | 1.040000e+03 | 2.07%| unknown
2265.00/2270.90 c 2271s| 13100 | 805 | 10830k| 367.6 | 442M | 43 |1479 |9756 |3148 |6992 | 0 | 21k|8698 | 1.018906e+03 | 1.040000e+03 | 2.07%| unknown
2269.49/2275.47 c 2275s| 13200 | 811 | 10858k| 367.3 | 442M | 43 |1479 |9194 |3149 |7076 | 0 | 21k|8703 | 1.018912e+03 | 1.040000e+03 | 2.07%| unknown
2271.78/2277.72 c 2278s| 13300 | 809 | 10881k| 366.8 | 442M | 43 |1479 |9197 |3148 |7100 | 0 | 21k|8709 | 1.018912e+03 | 1.040000e+03 | 2.07%| unknown
2274.77/2280.78 c 2281s| 13400 | 815 | 10907k| 366.5 | 442M | 43 |1479 |9162 |3154 |7122 | 0 | 21k|8712 | 1.018928e+03 | 1.040000e+03 | 2.07%| unknown
2277.87/2283.81 c 2284s| 13500 | 821 | 10935k| 366.2 | 442M | 43 |1479 |9133 |3154 |7142 | 1 | 21k|8713 | 1.018930e+03 | 1.040000e+03 | 2.07%| unknown
2283.25/2289.26 c 2289s| 13600 | 827 | 10964k| 365.9 | 442M | 43 |1479 |9118 |3154 |7248 | 2 | 21k|8724 | 1.018934e+03 | 1.040000e+03 | 2.07%| unknown
2285.65/2291.66 c 2292s| 13700 | 829 | 10989k| 365.5 | 442M | 43 |1479 |9138 |3157 |7269 | 1 | 21k|8729 | 1.018934e+03 | 1.040000e+03 | 2.07%| unknown
2297.82/2303.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2297.82/2303.80 c 2304s| 13800 | 843 | 11030k| 365.7 | 442M | 43 |1479 |8970 |3156 |7461 | 0 | 21k|8805 | 1.019021e+03 | 1.040000e+03 | 2.06%| unknown
2304.90/2310.98 c 2311s| 13900 | 851 | 11062k| 365.5 | 442M | 43 |1479 |8857 |3160 |7540 | 1 | 21k|8832 | 1.019029e+03 | 1.040000e+03 | 2.06%| unknown
2309.88/2315.97 c 2316s| 14000 | 857 | 11092k| 365.3 | 442M | 43 |1479 |8778 |3150 |7610 | 0 | 21k|8849 | 1.019030e+03 | 1.040000e+03 | 2.06%| unknown
2313.27/2319.37 c 2319s| 14100 | 863 | 11119k| 365.0 | 442M | 43 |1479 |8726 |3150 |7633 | 0 | 21k|8856 | 1.019062e+03 | 1.040000e+03 | 2.05%| unknown
2316.67/2322.79 c 2323s| 14200 | 867 | 11144k| 364.6 | 442M | 43 |1479 |8727 |3154 |7689 | 0 | 21k|8864 | 1.019064e+03 | 1.040000e+03 | 2.05%| unknown
2320.56/2326.63 c 2327s| 14300 | 871 | 11168k| 364.2 | 442M | 43 |1479 |8694 |3150 |7696 | 1 | 21k|8888 | 1.019069e+03 | 1.040000e+03 | 2.05%| unknown
2323.75/2329.88 c 2330s| 14400 | 881 | 11198k| 364.0 | 442M | 43 |1479 |8108 |3155 |7718 | 2 | 21k|8898 | 1.019069e+03 | 1.040000e+03 | 2.05%| unknown
2326.14/2332.29 c 2332s| 14500 | 879 | 11222k| 363.6 | 442M | 43 |1479 |8192 |3154 |7729 | 0 | 21k|8916 | 1.019069e+03 | 1.040000e+03 | 2.05%| unknown
2329.04/2335.10 c 2335s| 14600 | 879 | 11249k| 363.3 | 442M | 43 |1479 |7286 |3150 |7751 | 0 | 21k|8916 | 1.019103e+03 | 1.040000e+03 | 2.05%| unknown
2333.32/2339.48 c 2339s| 14700 | 887 | 11277k| 363.0 | 442M | 43 |1479 |7246 |3154 |7817 | 2 | 21k|8918 | 1.019119e+03 | 1.040000e+03 | 2.05%| unknown
2337.71/2343.80 c 2344s| 14800 | 889 | 11302k| 362.7 | 443M | 43 |1479 |7218 |3150 |7882 | 0 | 21k|8919 | 1.019120e+03 | 1.040000e+03 | 2.05%| unknown
2341.01/2347.13 c 2347s| 14900 | 893 | 11327k| 362.3 | 443M | 43 |1479 |7196 |3153 |7891 | 0 | 21k|8928 | 1.019128e+03 | 1.040000e+03 | 2.05%| unknown
2342.90/2349.10 c 2349s| 15000 | 895 | 11346k| 361.8 | 443M | 43 |1479 |7195 |3152 |7917 | 0 | 21k|8928 | 1.019128e+03 | 1.040000e+03 | 2.05%| unknown
2346.89/2353.04 c 2353s| 15100 | 899 | 11371k| 361.4 | 443M | 43 |1479 |7151 |3156 |7983 | 0 | 22k|8935 | 1.019135e+03 | 1.040000e+03 | 2.05%| unknown
2350.08/2356.27 c 2356s| 15200 | 903 | 11398k| 361.1 | 443M | 43 |1479 |7117 |3154 |8001 | 0 | 22k|8940 | 1.019135e+03 | 1.040000e+03 | 2.05%| unknown
2355.87/2362.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2355.87/2362.06 c 2362s| 15300 | 917 | 11434k| 361.1 | 443M | 43 |1479 |7079 |3155 |8082 | 1 | 22k|8948 | 1.019184e+03 | 1.040000e+03 | 2.04%| unknown
2357.76/2363.91 c 2364s| 15400 | 917 | 11452k| 360.6 | 443M | 43 |1479 |7097 |3150 |8090 | 1 | 22k|8951 | 1.019184e+03 | 1.040000e+03 | 2.04%| unknown
2366.64/2372.85 c 2373s| 15500 | 925 | 11513k| 361.3 | 443M | 43 |1479 |7104 |3158 |8158 | 1 | 22k|8958 | 1.019194e+03 | 1.040000e+03 | 2.04%| unknown
2371.62/2377.81 c 2378s| 15600 | 927 | 11543k| 361.1 | 443M | 43 |1479 |7146 |3160 |8225 | 1 | 22k|8982 | 1.019199e+03 | 1.040000e+03 | 2.04%| unknown
2376.01/2382.26 c 2382s| 15700 | 931 | 11571k| 360.9 | 443M | 43 |1479 |7146 |3153 |8323 | 1 | 22k|8990 | 1.019203e+03 | 1.040000e+03 | 2.04%| unknown
2380.10/2386.39 c 2386s| 15800 | 935 | 11601k| 360.7 | 443M | 43 |1479 |7179 |3155 |8393 | 1 | 22k|9009 | 1.019211e+03 | 1.040000e+03 | 2.04%| unknown
2385.39/2391.62 c 2392s| 15900 | 941 | 11636k| 360.7 | 443M | 43 |1479 |7149 |3158 |8474 | 0 | 22k|9012 | 1.019216e+03 | 1.040000e+03 | 2.04%| unknown
2393.77/2400.06 c 2400s| 16000 | 959 | 11685k| 361.1 | 443M | 43 |1479 |7053 |3166 |8647 | 0 | 22k|9021 | 1.019246e+03 | 1.040000e+03 | 2.04%| unknown
2396.76/2403.02 c 2403s| 16100 | 957 | 11709k| 360.7 | 443M | 43 |1479 |7065 |3166 |8653 | 0 | 22k|9027 | 1.019246e+03 | 1.040000e+03 | 2.04%| unknown
2399.25/2405.58 c 2406s| 16200 | 953 | 11731k| 360.2 | 443M | 43 |1479 |7078 |3167 |8700 | 1 | 22k|9031 | 1.019246e+03 | 1.040000e+03 | 2.04%| unknown
2403.64/2409.93 c 2410s| 16300 | 963 | 11758k| 360.0 | 443M | 43 |1479 |7040 |3144 |8716 | 1 | 22k|9050 | 1.019250e+03 | 1.040000e+03 | 2.04%| unknown
2408.03/2414.39 c 2414s| 16400 | 973 | 11791k| 359.9 | 443M | 43 |1479 |7020 |3148 |8776 | 1 | 22k|9050 | 1.019279e+03 | 1.040000e+03 | 2.03%| unknown
2412.32/2418.63 c 2419s| 16500 | 977 | 11818k| 359.6 | 443M | 43 |1479 |7038 |3153 |8854 | 2 | 22k|9051 | 1.019279e+03 | 1.040000e+03 | 2.03%| unknown
2417.11/2423.49 c 2423s| 16600 | 983 | 11850k| 359.5 | 443M | 43 |1479 |7033 |3147 |8949 | 1 | 22k|9052 | 1.019279e+03 | 1.040000e+03 | 2.03%| unknown
2424.49/2430.89 c 2431s| 16700 | 991 | 11889k| 359.6 | 443M | 43 |1479 |7028 |3150 |9091 | 0 | 22k|9052 | 1.019291e+03 | 1.040000e+03 | 2.03%| unknown
2426.58/2432.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2426.58/2432.93 c 2433s| 16800 | 991 | 11910k| 359.1 | 443M | 43 |1479 |7028 |3149 |9095 | 1 | 22k|9052 | 1.019291e+03 | 1.040000e+03 | 2.03%| unknown
2432.06/2438.43 c 2438s| 16900 | 997 | 11939k| 358.9 | 443M | 43 |1479 |7010 |3153 |9185 | 0 | 22k|9061 | 1.019292e+03 | 1.040000e+03 | 2.03%| unknown
2434.45/2440.88 c 2441s| 17000 | 997 | 11963k| 358.6 | 443M | 43 |1479 |7016 |3150 |9196 | 0 | 22k|9062 | 1.019292e+03 | 1.040000e+03 | 2.03%| unknown
2439.34/2445.75 c 2446s| 17100 | 1005 | 11999k| 358.6 | 443M | 43 |1479 |6996 |3153 |9268 | 0 | 22k|9062 | 1.019304e+03 | 1.040000e+03 | 2.03%| unknown
2450.80/2457.28 c 2457s| 17200 | 1023 | 12068k| 359.6 | 443M | 43 |1479 |6668 |3156 |9419 | 1 | 22k|9062 | 1.019307e+03 | 1.040000e+03 | 2.03%| unknown
2457.68/2464.15 c 2464s| 17300 | 1031 | 12103k| 359.5 | 443M | 43 |1479 |6606 |3157 |9547 | 1 | 22k|9062 | 1.019311e+03 | 1.040000e+03 | 2.03%| unknown
2459.87/2466.30 c 2466s| 17400 | 1031 | 12124k| 359.1 | 443M | 43 |1479 |6605 |3158 |9559 | 1 | 22k|9062 | 1.019311e+03 | 1.040000e+03 | 2.03%| unknown
2463.06/2469.54 c 2470s| 17500 | 1037 | 12153k| 358.9 | 443M | 43 |1479 |6571 |3157 |9579 | 1 | 22k|9064 | 1.019328e+03 | 1.040000e+03 | 2.03%| unknown
2470.64/2477.11 c 2477s| 17600 | 1045 | 12193k| 359.0 | 443M | 43 |1479 |6550 |3155 |9722 | 0 | 22k|9064 | 1.019341e+03 | 1.040000e+03 | 2.03%| unknown
2481.41/2487.98 c 2488s| 17700 | 1067 | 12244k| 359.5 | 443M | 43 |1479 |6313 |3157 |9930 | 0 | 22k|9064 | 1.019368e+03 | 1.040000e+03 | 2.02%| unknown
2484.50/2491.04 c 2491s| 17800 | 1073 | 12273k| 359.3 | 445M | 43 |1479 |6277 |3162 |9936 | 2 | 22k|9064 | 1.019369e+03 | 1.040000e+03 | 2.02%| unknown
2489.88/2496.44 c 2496s| 17900 | 1079 | 12308k| 359.2 | 445M | 43 |1479 |6272 |3143 | 10k| 1 | 22k|9067 | 1.019401e+03 | 1.040000e+03 | 2.02%| unknown
2496.56/2503.19 c 2503s| 18000 | 1093 | 12343k| 359.2 | 445M | 43 |1479 |6049 |3156 | 10k| 2 | 22k|9067 | 1.019408e+03 | 1.040000e+03 | 2.02%| unknown
2498.65/2505.25 c 2505s| 18100 | 1091 | 12364k| 358.8 | 445M | 43 |1479 |6039 |3155 | 10k| 1 | 22k|9067 | 1.019408e+03 | 1.040000e+03 | 2.02%| unknown
2503.63/2510.24 c 2510s| 18200 | 1097 | 12394k| 358.6 | 445M | 43 |1479 |6011 |3152 | 10k| 0 | 22k|9067 | 1.019409e+03 | 1.040000e+03 | 2.02%| unknown
2510.81/2517.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2510.81/2517.41 c 2517s| 18300 | 1101 | 12443k| 359.0 | 445M | 43 |1479 |5984 |3156 | 10k| 0 | 22k|9068 | 1.019411e+03 | 1.040000e+03 | 2.02%| unknown
2512.80/2519.43 c 2519s| 18400 | 1099 | 12463k| 358.5 | 445M | 43 |1479 |5961 |3152 | 10k| 1 | 22k|9071 | 1.019411e+03 | 1.040000e+03 | 2.02%| unknown
2518.59/2525.25 c 2525s| 18500 | 1107 | 12499k| 358.5 | 445M | 43 |1479 |5958 |3153 | 10k| 1 | 22k|9071 | 1.019423e+03 | 1.040000e+03 | 2.02%| unknown
2525.47/2532.18 c 2532s| 18600 | 1119 | 12540k| 358.7 | 445M | 43 |1479 |5916 |3153 | 10k| 1 | 22k|9076 | 1.019440e+03 | 1.040000e+03 | 2.02%| unknown
2528.36/2535.01 c 2535s| 18700 | 1125 | 12567k| 358.4 | 445M | 43 |1479 |5898 |3163 | 10k| 2 | 22k|9076 | 1.019461e+03 | 1.040000e+03 | 2.01%| unknown
2532.74/2539.48 c 2539s| 18800 | 1131 | 12592k| 358.1 | 445M | 43 |1479 |5895 |3163 | 10k| 1 | 22k|9076 | 1.019466e+03 | 1.040000e+03 | 2.01%| unknown
2535.23/2541.92 c 2542s| 18900 | 1129 | 12615k| 357.7 | 445M | 43 |1479 |5905 |3162 | 10k| 0 | 22k|9080 | 1.019466e+03 | 1.040000e+03 | 2.01%| unknown
2543.01/2549.70 c 2550s| 19000 | 1151 | 12657k| 357.9 | 445M | 43 |1479 |5907 |3162 | 10k| 1 | 22k|9080 | 1.019489e+03 | 1.040000e+03 | 2.01%| unknown
2545.50/2552.23 c 2552s| 19100 | 1153 | 12679k| 357.5 | 445M | 43 |1479 |5950 |3162 | 10k| 0 | 22k|9085 | 1.019516e+03 | 1.040000e+03 | 2.01%| unknown
2547.40/2554.14 c 2554s| 19200 | 1151 | 12698k| 357.1 | 445M | 43 |1479 |5950 |3165 | 10k| 0 | 22k|9085 | 1.019516e+03 | 1.040000e+03 | 2.01%| unknown
2557.86/2564.61 c 2565s| 19300 | 1167 | 12744k| 357.3 | 445M | 43 |1479 |5923 |3162 | 11k| 1 | 22k|9085 | 1.019532e+03 | 1.040000e+03 | 2.01%| unknown
2562.25/2569.06 c 2569s| 19400 | 1169 | 12771k| 357.1 | 445M | 43 |1479 |5962 |3162 | 11k| 1 | 22k|9091 | 1.019546e+03 | 1.040000e+03 | 2.01%| unknown
2567.53/2574.30 c 2574s| 19500 | 1181 | 12802k| 357.0 | 445M | 43 |1479 |5991 |3162 | 11k| 1 | 22k|9094 | 1.019553e+03 | 1.040000e+03 | 2.01%| unknown
2571.82/2578.66 c 2579s| 19600 | 1187 | 12830k| 356.8 | 445M | 43 |1479 |6169 |3167 | 11k| 1 | 23k|9162 | 1.019555e+03 | 1.040000e+03 | 2.01%| unknown
2582.58/2589.44 c 2589s| 19700 | 1195 | 12891k| 357.5 | 445M | 43 |1479 |6177 |3164 | 11k| 1 | 23k|9171 | 1.019569e+03 | 1.040000e+03 | 2.00%| unknown
2585.37/2592.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2585.37/2592.28 c 2592s| 19800 | 1197 | 12918k| 357.2 | 445M | 43 |1479 |6223 |3167 | 11k| 0 | 23k|9186 | 1.019572e+03 | 1.040000e+03 | 2.00%| unknown
2593.45/2600.34 c 2600s| 19900 | 1211 | 12956k| 357.3 | 445M | 43 |1479 |6342 |3168 | 11k| 1 | 23k|9255 | 1.019582e+03 | 1.040000e+03 | 2.00%| unknown
2596.94/2603.85 c 2604s| 20000 | 1211 | 12984k| 357.1 | 445M | 43 |1479 |6390 |3163 | 11k| 1 | 23k|9286 | 1.019582e+03 | 1.040000e+03 | 2.00%| unknown
2605.01/2611.92 c 2612s| 20100 | 1223 | 13025k| 357.2 | 445M | 43 |1479 |6364 |3166 | 11k| 1 | 23k|9286 | 1.019589e+03 | 1.040000e+03 | 2.00%| unknown
2606.90/2613.87 c 2614s| 20200 | 1223 | 13045k| 356.8 | 445M | 43 |1479 |6364 |3164 | 11k| 1 | 23k|9286 | 1.019589e+03 | 1.040000e+03 | 2.00%| unknown
2609.89/2616.80 c 2617s| 20300 | 1229 | 13074k| 356.6 | 445M | 43 |1479 |6338 |3164 | 11k| 0 | 23k|9286 | 1.019592e+03 | 1.040000e+03 | 2.00%| unknown
2617.18/2624.13 c 2624s| 20400 | 1239 | 13113k| 356.7 | 445M | 43 |1479 |6202 |3164 | 12k| 1 | 23k|9286 | 1.019619e+03 | 1.040000e+03 | 2.00%| unknown
2622.56/2629.56 c 2630s| 20500 | 1251 | 13148k| 356.7 | 445M | 43 |1479 |6061 |3167 | 12k| 1 | 23k|9286 | 1.019628e+03 | 1.040000e+03 | 2.00%| unknown
2627.14/2634.11 c 2634s| 20600 | 1249 | 13171k| 356.3 | 445M | 43 |1479 |6144 |3164 | 12k| 1 | 23k|9343 | 1.019628e+03 | 1.040000e+03 | 2.00%| unknown
2629.93/2636.99 c 2637s| 20700 | 1255 | 13199k| 356.1 | 445M | 43 |1479 |6116 |3165 | 12k| 1 | 23k|9343 | 1.019640e+03 | 1.040000e+03 | 2.00%| unknown
2636.12/2643.16 c 2643s| 20800 | 1269 | 13243k| 356.3 | 445M | 43 |1479 |6055 |3169 | 12k| 0 | 23k|9349 | 1.019659e+03 | 1.040000e+03 | 1.99%| unknown
2641.39/2648.49 c 2648s| 20900 | 1271 | 13276k| 356.3 | 445M | 43 |1479 |6076 |3166 | 12k| 2 | 23k|9373 | 1.019659e+03 | 1.040000e+03 | 1.99%| unknown
2644.38/2651.47 c 2651s| 21000 | 1273 | 13304k| 356.1 | 445M | 43 |1479 |6021 |3169 | 12k| 1 | 23k|9373 | 1.019672e+03 | 1.040000e+03 | 1.99%| unknown
2655.85/2662.92 c 2663s| 21100 | 1283 | 13365k| 356.8 | 445M | 43 |1479 |5922 |3171 | 12k| 1 | 23k|9373 | 1.019695e+03 | 1.040000e+03 | 1.99%| unknown
2658.14/2665.23 c 2665s| 21200 | 1277 | 13388k| 356.4 | 445M | 43 |1479 |5876 |3165 | 12k| 0 | 23k|9373 | 1.019695e+03 | 1.040000e+03 | 1.99%| unknown
2662.53/2669.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2662.53/2669.65 c 2670s| 21300 | 1289 | 13431k| 356.6 | 445M | 43 |1479 |5756 |3163 | 12k| 1 | 23k|9373 | 1.019729e+03 | 1.040000e+03 | 1.99%| unknown
2667.61/2674.71 c 2675s| 21400 | 1297 | 13462k| 356.5 | 445M | 43 |1479 |5680 |3167 | 12k| 0 | 23k|9374 | 1.019734e+03 | 1.040000e+03 | 1.99%| unknown
2677.78/2684.99 c 2685s| 21500 | 1315 | 13508k| 356.8 | 445M | 43 |1479 |5557 |3165 | 12k| 1 | 23k|9376 | 1.019808e+03 | 1.040000e+03 | 1.98%| unknown
2680.17/2687.33 c 2687s| 21600 | 1317 | 13531k| 356.4 | 445M | 43 |1479 |5548 |3166 | 12k| 1 | 23k|9376 | 1.019820e+03 | 1.040000e+03 | 1.98%| unknown
2684.76/2691.93 c 2692s| 21700 | 1321 | 13562k| 356.3 | 445M | 43 |1479 |5554 |3168 | 13k| 0 | 23k|9376 | 1.019822e+03 | 1.040000e+03 | 1.98%| unknown
2686.85/2694.05 c 2694s| 21800 | 1323 | 13583k| 355.9 | 445M | 43 |1479 |5554 |3167 | 13k| 1 | 23k|9376 | 1.019822e+03 | 1.040000e+03 | 1.98%| unknown
2688.85/2696.04 c 2696s| 21900 | 1321 | 13603k| 355.5 | 445M | 43 |1479 |5554 |3167 | 13k| 1 | 23k|9376 | 1.019822e+03 | 1.040000e+03 | 1.98%| unknown
2691.94/2699.15 c 2699s| 22000 | 1325 | 13631k| 355.3 | 445M | 43 |1479 |5551 |3165 | 13k| 0 | 23k|9378 | 1.019852e+03 | 1.040000e+03 | 1.98%| unknown
2699.51/2706.76 c 2707s| 22100 | 1341 | 13674k| 355.5 | 445M | 43 |1479 |5432 |3167 | 13k| 0 | 23k|9378 | 1.019867e+03 | 1.040000e+03 | 1.97%| unknown
2704.80/2712.03 c 2712s| 22200 | 1349 | 13704k| 355.4 | 446M | 43 |1479 |5389 |3159 | 13k| 2 | 23k|9379 | 1.019880e+03 | 1.040000e+03 | 1.97%| unknown
2706.99/2714.24 c 2714s| 22300 | 1349 | 13725k| 355.0 | 446M | 43 |1479 |5389 |3150 | 13k| 1 | 23k|9381 | 1.019880e+03 | 1.040000e+03 | 1.97%| unknown
2709.58/2716.82 c 2717s| 22400 | 1353 | 13748k| 354.7 | 446M | 43 |1479 |5387 |3157 | 13k| 0 | 23k|9381 | 1.019886e+03 | 1.040000e+03 | 1.97%| unknown
2721.44/2728.72 c 2729s| 22500 | 1365 | 13809k| 355.3 | 446M | 43 |1479 |5372 |3150 | 13k| 1 | 23k|9421 | 1.019937e+03 | 1.040000e+03 | 1.97%| unknown
2723.53/2730.83 c 2731s| 22600 | 1363 | 13829k| 354.9 | 446M | 43 |1479 |5370 |3153 | 13k| 1 | 23k|9423 | 1.019937e+03 | 1.040000e+03 | 1.97%| unknown
2729.21/2736.51 c 2737s| 22700 | 1383 | 13869k| 355.0 | 446M | 43 |1479 |5343 |3153 | 13k| 2 | 23k|9424 | 1.019940e+03 | 1.040000e+03 | 1.97%| unknown
2737.09/2744.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2737.09/2744.43 c 2744s| 22800 | 1391 | 13900k| 354.9 | 446M | 43 |1479 |5397 |3154 | 13k| 2 | 23k|9464 | 1.019955e+03 | 1.040000e+03 | 1.97%| unknown
2742.17/2749.50 c 2749s| 22900 | 1395 | 13926k| 354.7 | 446M | 43 |1479 |5506 |3153 | 13k| 0 | 24k|9488 | 1.019970e+03 | 1.040000e+03 | 1.96%| unknown
2744.77/2752.19 c 2752s| 23000 | 1397 | 13950k| 354.4 | 446M | 43 |1479 |5438 |3157 | 13k| 2 | 24k|9501 | 1.019971e+03 | 1.040000e+03 | 1.96%| unknown
2747.46/2754.82 c 2755s| 23100 | 1401 | 13975k| 354.1 | 446M | 43 |1479 |5434 |3158 | 13k| 0 | 24k|9501 | 1.019971e+03 | 1.040000e+03 | 1.96%| unknown
2757.03/2764.46 c 2764s| 23200 | 1417 | 14019k| 354.3 | 446M | 43 |1479 |5446 |3158 | 13k| 0 | 24k|9531 | 1.019989e+03 | 1.040000e+03 | 1.96%| unknown
2766.20/2773.65 c 2774s| 23300 | 1427 | 14055k| 354.4 | 446M | 43 |1479 |5572 |3159 | 14k| 1 | 24k|9599 | 1.019994e+03 | 1.040000e+03 | 1.96%| unknown
2768.79/2776.27 c 2776s| 23400 | 1431 | 14080k| 354.1 | 446M | 43 |1479 |5568 |3159 | 14k| 1 | 24k|9603 | 1.020001e+03 | 1.040000e+03 | 1.96%| unknown
2773.27/2780.78 c 2781s| 23500 | 1441 | 14109k| 353.9 | 446M | 43 |1479 |5543 |3159 | 14k| 1 | 24k|9606 | 1.020008e+03 | 1.040000e+03 | 1.96%| unknown
2778.46/2785.90 c 2786s| 23600 | 1449 | 14141k| 353.8 | 446M | 43 |1479 |5586 |3159 | 14k| 0 | 24k|9639 | 1.020026e+03 | 1.040000e+03 | 1.96%| unknown
2788.12/2795.62 c 2796s| 23700 | 1465 | 14207k| 354.6 | 446M | 43 |1479 |5588 |3160 | 14k| 0 | 24k|9656 | 1.020034e+03 | 1.040000e+03 | 1.96%| unknown
2796.70/2804.22 c 2804s| 23800 | 1477 | 14254k| 354.9 | 446M | 43 |1479 |5826 |3165 | 14k| 1 | 25k|9706 | 1.020102e+03 | 1.040000e+03 | 1.95%| unknown
2799.89/2807.45 c 2807s| 23900 | 1475 | 14280k| 354.7 | 446M | 43 |1479 |6032 |3159 | 14k| 0 | 25k|9749 | 1.020102e+03 | 1.040000e+03 | 1.95%| unknown
2803.68/2811.21 c 2811s| 24000 | 1475 | 14301k| 354.3 | 446M | 43 |1479 |6218 |3159 | 14k| 1 | 25k|9809 | 1.020102e+03 | 1.040000e+03 | 1.95%| unknown
2808.76/2816.36 c 2816s| 24100 | 1483 | 14330k| 354.2 | 446M | 43 |1479 |6234 |3161 | 14k| 1 | 25k|9830 | 1.020106e+03 | 1.040000e+03 | 1.95%| unknown
2814.64/2822.20 c 2822s| 24200 | 1485 | 14357k| 353.9 | 446M | 43 |1479 |6353 |3159 | 14k| 1 | 25k|9871 | 1.020131e+03 | 1.040000e+03 | 1.95%| unknown
2820.43/2828.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2820.43/2828.08 c 2828s| 24300 | 1485 | 14382k| 353.7 | 446M | 43 |1479 |6380 |3160 | 14k| 0 | 25k|9894 | 1.020141e+03 | 1.040000e+03 | 1.95%| unknown
2824.81/2832.41 c 2832s| 24400 | 1491 | 14407k| 353.4 | 446M | 43 |1479 |6353 |3158 | 14k| 1 | 25k|9909 | 1.020154e+03 | 1.040000e+03 | 1.95%| unknown
2830.49/2838.14 c 2838s| 24500 | 1503 | 14439k| 353.3 | 446M | 43 |1479 |6289 |3158 | 14k| 1 | 25k|9919 | 1.020169e+03 | 1.040000e+03 | 1.94%| unknown
2835.57/2843.23 c 2843s| 24600 | 1517 | 14475k| 353.3 | 446M | 43 |1479 |6267 |3158 | 14k| 1 | 25k|9929 | 1.020179e+03 | 1.040000e+03 | 1.94%| unknown
2838.76/2846.48 c 2846s| 24700 | 1523 | 14503k| 353.2 | 446M | 43 |1479 |6205 |3163 | 14k| 2 | 26k|9939 | 1.020186e+03 | 1.040000e+03 | 1.94%| unknown
2843.95/2851.65 c 2852s| 24800 | 1531 | 14532k| 353.0 | 446M | 43 |1479 |6101 |3160 | 14k| 1 | 26k|9939 | 1.020208e+03 | 1.040000e+03 | 1.94%| unknown
2849.63/2857.32 c 2857s| 24900 | 1535 | 14562k| 352.9 | 446M | 43 |1479 |6124 |3160 | 15k| 1 | 26k|9974 | 1.020215e+03 | 1.040000e+03 | 1.94%| unknown
2854.61/2862.38 c 2862s| 25000 | 1541 | 14591k| 352.7 | 446M | 43 |1479 |6096 |3160 | 15k| 1 | 26k|9993 | 1.020230e+03 | 1.040000e+03 | 1.94%| unknown
2857.60/2865.31 c 2865s| 25100 | 1541 | 14616k| 352.5 | 446M | 43 |1479 |5993 |3158 | 15k| 1 | 26k|9995 | 1.020231e+03 | 1.040000e+03 | 1.94%| unknown
2862.29/2870.01 c 2870s| 25200 | 1545 | 14640k| 352.2 | 446M | 43 |1479 |5878 |3159 | 15k| 0 | 26k| 10k| 1.020231e+03 | 1.040000e+03 | 1.94%| unknown
2874.75/2882.58 c 2883s| 25300 | 1561 | 14708k| 353.0 | 446M | 43 |1479 |5640 |3161 | 15k| 0 | 26k| 10k| 1.020236e+03 | 1.040000e+03 | 1.94%| unknown
2881.13/2888.99 c 2889s| 25400 | 1571 | 14744k| 353.0 | 446M | 43 |1479 |5630 |3161 | 15k| 2 | 26k| 10k| 1.020239e+03 | 1.040000e+03 | 1.94%| unknown
2884.02/2891.89 c 2892s| 25500 | 1573 | 14770k| 352.8 | 446M | 43 |1479 |5611 |3160 | 15k| 0 | 26k| 10k| 1.020241e+03 | 1.040000e+03 | 1.94%| unknown
2895.29/2903.15 c 2903s| 25600 | 1597 | 14822k| 353.2 | 446M | 43 |1479 |5365 |3161 | 15k| 0 | 26k| 10k| 1.020262e+03 | 1.040000e+03 | 1.93%| unknown
2900.37/2908.27 c 2908s| 25700 | 1603 | 14851k| 353.1 | 446M | 43 |1479 |5402 |3163 | 15k| 1 | 26k| 10k| 1.020264e+03 | 1.040000e+03 | 1.93%| unknown
2908.34/2916.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2908.34/2916.27 c 2916s| 25800 | 1613 | 14891k| 353.2 | 447M | 43 |1479 |5451 |3160 | 15k| 1 | 26k| 10k| 1.020270e+03 | 1.040000e+03 | 1.93%| unknown
2914.23/2922.18 c 2922s| 25900 | 1625 | 14927k| 353.2 | 447M | 43 |1479 |5344 |3164 | 16k| 1 | 26k| 10k| 1.020275e+03 | 1.040000e+03 | 1.93%| unknown
2919.31/2927.20 c 2927s| 26000 | 1625 | 14954k| 353.0 | 447M | 43 |1479 |5335 |3166 | 16k| 2 | 27k| 10k| 1.020277e+03 | 1.040000e+03 | 1.93%| unknown
2926.88/2934.82 c 2935s| 26100 | 1631 | 14981k| 352.8 | 447M | 43 |1479 |5524 |3164 | 16k| 1 | 27k| 10k| 1.020277e+03 | 1.040000e+03 | 1.93%| unknown
2934.96/2942.93 c 2943s| 26200 | 1643 | 15020k| 352.9 | 447M | 43 |1479 |5529 |3163 | 16k| 0 | 27k| 10k| 1.020290e+03 | 1.040000e+03 | 1.93%| unknown
2937.75/2945.78 c 2946s| 26300 | 1645 | 15042k| 352.6 | 447M | 43 |1479 |5633 |3163 | 16k| 0 | 27k| 10k| 1.020290e+03 | 1.040000e+03 | 1.93%| unknown
2946.32/2954.37 c 2954s| 26400 | 1659 | 15105k| 353.2 | 447M | 43 |1479 |5683 |3166 | 16k| 0 | 27k| 10k| 1.020320e+03 | 1.040000e+03 | 1.93%| unknown
2949.91/2957.99 c 2958s| 26500 | 1669 | 15136k| 353.1 | 447M | 43 |1479 |5691 |3167 | 16k| 1 | 27k| 10k| 1.020322e+03 | 1.040000e+03 | 1.93%| unknown
2956.49/2964.54 c 2965s| 26600 | 1685 | 15177k| 353.3 | 447M | 43 |1479 |5744 |3166 | 16k| 2 | 27k| 10k| 1.020332e+03 | 1.040000e+03 | 1.93%| unknown
2965.26/2973.39 c 2973s| 26700 | 1695 | 15219k| 353.4 | 447M | 43 |1479 |5837 |3164 | 16k| 0 | 28k| 10k| 1.020335e+03 | 1.040000e+03 | 1.93%| unknown
2968.96/2977.00 c 2977s| 26800 | 1705 | 15251k| 353.3 | 447M | 43 |1479 |5798 |3166 | 16k| 1 | 28k| 10k| 1.020340e+03 | 1.040000e+03 | 1.93%| unknown
2970.85/2978.96 c 2979s| 26900 | 1705 | 15269k| 352.9 | 447M | 43 |1479 |5850 |3166 | 16k| 0 | 28k| 10k| 1.020340e+03 | 1.040000e+03 | 1.93%| unknown
2975.23/2983.36 c 2983s| 27000 | 1709 | 15294k| 352.7 | 447M | 43 |1479 |6078 |3168 | 16k| 0 | 28k| 10k| 1.020374e+03 | 1.040000e+03 | 1.92%| unknown
2988.09/2996.26 c 2996s| 27100 | 1735 | 15352k| 353.2 | 447M | 43 |1479 |6137 |3172 | 16k| 1 | 28k| 10k| 1.020420e+03 | 1.040000e+03 | 1.92%| unknown
2998.56/3006.74 c 3007s| 27200 | 1755 | 15422k| 354.0 | 447M | 43 |1479 |6119 |3170 | 16k| 1 | 29k| 10k| 1.020430e+03 | 1.040000e+03 | 1.92%| unknown
3003.54/3011.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3003.54/3011.74 c 3012s| 27300 | 1763 | 15452k| 353.9 | 447M | 43 |1479 |6040 |3169 | 16k| 1 | 29k| 10k| 1.020432e+03 | 1.040000e+03 | 1.92%| unknown
3007.93/3016.15 c 3016s| 27400 | 1777 | 15489k| 353.9 | 447M | 43 |1479 |5952 |3170 | 16k| 1 | 29k| 10k| 1.020446e+03 | 1.040000e+03 | 1.92%| unknown
3012.31/3020.54 c 3021s| 27500 | 1781 | 15517k| 353.8 | 447M | 43 |1479 |5914 |3168 | 17k| 1 | 29k| 10k| 1.020451e+03 | 1.040000e+03 | 1.92%| unknown
3014.71/3022.91 c 3023s| 27600 | 1779 | 15539k| 353.4 | 447M | 43 |1479 |5912 |3164 | 17k| 1 | 29k| 10k| 1.020451e+03 | 1.040000e+03 | 1.92%| unknown
3019.69/3027.94 c 3028s| 27700 | 1785 | 15569k| 353.3 | 448M | 43 |1479 |5851 |3169 | 17k| 0 | 29k| 10k| 1.020461e+03 | 1.040000e+03 | 1.91%| unknown
3022.08/3030.30 c 3030s| 27800 | 1785 | 15591k| 353.0 | 448M | 43 |1479 |5850 |3172 | 17k| 2 | 29k| 10k| 1.020461e+03 | 1.040000e+03 | 1.91%| unknown
3024.78/3033.04 c 3033s| 27900 | 1787 | 15615k| 352.8 | 448M | 43 |1479 |5771 |3171 | 17k| 0 | 29k| 10k| 1.020465e+03 | 1.040000e+03 | 1.91%| unknown
3030.16/3038.46 c 3038s| 28000 | 1795 | 15647k| 352.7 | 448M | 43 |1479 |5624 |3169 | 17k| 0 | 29k| 10k| 1.020470e+03 | 1.040000e+03 | 1.91%| unknown
3036.94/3045.29 c 3045s| 28100 | 1803 | 15688k| 352.8 | 448M | 43 |1479 |5383 |3158 | 17k| 1 | 29k| 10k| 1.020503e+03 | 1.040000e+03 | 1.91%| unknown
3041.22/3049.55 c 3050s| 28200 | 1809 | 15716k| 352.7 | 448M | 43 |1479 |5423 |3161 | 17k| 1 | 29k| 10k| 1.020520e+03 | 1.040000e+03 | 1.91%| unknown
3043.51/3051.81 c 3052s| 28300 | 1809 | 15736k| 352.3 | 448M | 43 |1479 |5423 |3163 | 17k| 0 | 29k| 10k| 1.020520e+03 | 1.040000e+03 | 1.91%| unknown
3051.89/3060.24 c 3060s| 28400 | 1823 | 15794k| 352.8 | 448M | 43 |1479 |5341 |3164 | 17k| 0 | 29k| 10k| 1.020545e+03 | 1.040000e+03 | 1.91%| unknown
3055.47/3063.81 c 3064s| 28500 | 1825 | 15822k| 352.7 | 448M | 43 |1479 |5452 |3159 | 17k| 0 | 29k| 10k| 1.020545e+03 | 1.040000e+03 | 1.91%| unknown
3064.95/3073.32 c 3073s| 28600 | 1843 | 15870k| 352.9 | 448M | 43 |1479 |5492 |3160 | 17k| 0 | 30k| 10k| 1.020561e+03 | 1.040000e+03 | 1.90%| unknown
3076.01/3084.48 c 3084s| 28700 | 1865 | 15924k| 353.4 | 448M | 43 |1479 |5541 |3162 | 17k| 1 | 30k| 10k| 1.020571e+03 | 1.040000e+03 | 1.90%| unknown
3079.50/3087.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3079.50/3087.97 c 3088s| 28800 | 1871 | 15951k| 353.2 | 448M | 43 |1479 |5694 |3166 | 17k| 1 | 30k| 10k| 1.020574e+03 | 1.040000e+03 | 1.90%| unknown
3082.69/3091.12 c 3091s| 28900 | 1871 | 15977k| 353.0 | 448M | 43 |1479 |5805 |3166 | 17k| 0 | 30k| 10k| 1.020575e+03 | 1.040000e+03 | 1.90%| unknown
3088.27/3096.73 c 3097s| 29000 | 1879 | 16010k| 352.9 | 448M | 43 |1479 |5825 |3162 | 18k| 0 | 30k| 10k| 1.020577e+03 | 1.040000e+03 | 1.90%| unknown
3090.57/3099.03 c 3099s| 29100 | 1877 | 16030k| 352.6 | 448M | 43 |1479 |5915 |3166 | 18k| 2 | 30k| 10k| 1.020577e+03 | 1.040000e+03 | 1.90%| unknown
3092.56/3101.06 c 3101s| 29200 | 1873 | 16049k| 352.2 | 448M | 43 |1479 |5949 |3166 | 18k| 1 | 30k| 10k| 1.020577e+03 | 1.040000e+03 | 1.90%| unknown
3097.55/3106.01 c 3106s| 29300 | 1883 | 16083k| 352.2 | 448M | 43 |1479 |5976 |3163 | 18k| 0 | 30k| 10k| 1.020586e+03 | 1.040000e+03 | 1.90%| unknown
3102.53/3111.09 c 3111s| 29400 | 1889 | 16112k| 352.1 | 448M | 43 |1479 |6125 |3169 | 18k| 0 | 31k| 11k| 1.020596e+03 | 1.040000e+03 | 1.90%| unknown
3106.31/3114.83 c 3115s| 29500 | 1901 | 16144k| 352.0 | 448M | 43 |1479 |6123 |3160 | 18k| 0 | 31k| 11k| 1.020599e+03 | 1.040000e+03 | 1.90%| unknown
3109.90/3118.43 c 3118s| 29600 | 1915 | 16180k| 352.0 | 448M | 43 |1479 |6083 |3161 | 18k| 1 | 31k| 11k| 1.020616e+03 | 1.040000e+03 | 1.90%| unknown
3120.77/3129.36 c 3129s| 29700 | 1927 | 16243k| 352.6 | 448M | 43 |1479 |6233 |3164 | 18k| 1 | 31k| 11k| 1.020643e+03 | 1.040000e+03 | 1.90%| unknown
3124.26/3132.89 c 3133s| 29800 | 1931 | 16272k| 352.5 | 448M | 43 |1479 |6402 |3163 | 18k| 0 | 31k| 11k| 1.020647e+03 | 1.040000e+03 | 1.90%| unknown
3131.73/3140.40 c 3140s| 29900 | 1949 | 16313k| 352.6 | 448M | 43 |1479 |6590 |3165 | 18k| 1 | 32k| 11k| 1.020653e+03 | 1.040000e+03 | 1.90%| unknown
3140.70/3149.31 c 3149s| 30000 | 1953 | 16355k| 352.7 | 449M | 43 |1479 |6660 |3172 | 18k| 0 | 32k| 11k| 1.020674e+03 | 1.040000e+03 | 1.89%| unknown
3143.09/3151.79 c 3152s| 30100 | 1953 | 16379k| 352.5 | 449M | 43 |1479 |6714 |3175 | 18k| 0 | 32k| 11k| 1.020674e+03 | 1.040000e+03 | 1.89%| unknown
3145.49/3154.15 c 3154s| 30200 | 1955 | 16402k| 352.2 | 449M | 43 |1479 |6660 |3172 | 18k| 0 | 32k| 11k| 1.020675e+03 | 1.040000e+03 | 1.89%| unknown
3147.98/3156.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3147.98/3156.60 c 3157s| 30300 | 1949 | 16425k| 352.0 | 449M | 43 |1479 |6598 |3165 | 18k| 1 | 32k| 11k| 1.020675e+03 | 1.040000e+03 | 1.89%| unknown
3150.67/3159.38 c 3159s| 30400 | 1951 | 16452k| 351.8 | 449M | 43 |1479 |6509 |3177 | 18k| 1 | 32k| 11k| 1.020675e+03 | 1.040000e+03 | 1.89%| unknown
3157.45/3166.16 c 3166s| 30500 | 1967 | 16496k| 352.0 | 449M | 43 |1479 |6217 |3171 | 18k| 1 | 32k| 11k| 1.020678e+03 | 1.040000e+03 | 1.89%| unknown
3163.53/3172.22 c 3172s| 30600 | 1977 | 16532k| 352.0 | 449M | 43 |1479 |6152 |3173 | 19k| 0 | 32k| 11k| 1.020680e+03 | 1.040000e+03 | 1.89%| unknown
3167.12/3175.85 c 3176s| 30700 | 1987 | 16567k| 352.0 | 449M | 43 |1479 |5980 |3173 | 19k| 0 | 32k| 11k| 1.020697e+03 | 1.040000e+03 | 1.89%| unknown
3173.69/3182.43 c 3182s| 30800 | 2001 | 16611k| 352.2 | 449M | 43 |1479 |5779 |3177 | 19k| 1 | 33k| 11k| 1.020740e+03 | 1.040000e+03 | 1.89%| unknown
3176.09/3184.86 c 3185s| 30900 | 2003 | 16635k| 351.9 | 449M | 43 |1479 |5953 |3175 | 19k| 1 | 33k| 11k| 1.020740e+03 | 1.040000e+03 | 1.89%| unknown
3182.67/3191.48 c 3191s| 31000 | 2007 | 16689k| 352.4 | 450M | 43 |1479 |5924 |3177 | 19k| 0 | 33k| 11k| 1.020744e+03 | 1.040000e+03 | 1.89%| unknown
3191.14/3199.90 c 3200s| 31100 | 2025 | 16734k| 352.6 | 450M | 43 |1479 |5789 |3181 | 19k| 0 | 33k| 11k| 1.020747e+03 | 1.040000e+03 | 1.89%| unknown
3194.93/3203.74 c 3204s| 31200 | 2025 | 16761k| 352.4 | 452M | 43 |1479 |6019 |3187 | 19k| 1 | 33k| 11k| 1.020747e+03 | 1.040000e+03 | 1.89%| unknown
3205.99/3214.80 c 3215s| 31300 | 2035 | 16807k| 352.6 | 453M | 43 |1479 |6166 |3190 | 19k| 0 | 34k| 11k| 1.020763e+03 | 1.040000e+03 | 1.88%| unknown
3217.16/3226.06 c 3226s| 31400 | 2051 | 16859k| 353.0 | 478M | 43 |1479 |6257 |3193 | 19k| 0 | 34k| 11k| 1.020771e+03 | 1.040000e+03 | 1.88%| unknown
3225.14/3234.01 c 3234s| 31500 | 2053 | 16896k| 353.0 | 527M | 43 |1479 |6396 |3190 | 19k| 0 | 34k| 11k| 1.020787e+03 | 1.040000e+03 | 1.88%| unknown
3230.61/3239.57 c 3240s| 31600 | 2057 | 16929k| 353.0 | 530M | 43 |1479 |6320 |3193 | 19k| 1 | 34k| 11k| 1.020823e+03 | 1.040000e+03 | 1.88%| unknown
3236.29/3245.21 c 3245s| 31700 | 2061 | 16963k| 352.9 | 530M | 43 |1479 |6274 |3193 | 19k| 1 | 34k| 11k| 1.020823e+03 | 1.040000e+03 | 1.88%| unknown
3242.38/3251.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3242.38/3251.36 c 3251s| 31800 | 2067 | 16999k| 352.9 | 530M | 43 |1479 |6061 |3184 | 19k| 1 | 34k| 11k| 1.020842e+03 | 1.040000e+03 | 1.88%| unknown
3245.66/3254.69 c 3255s| 31900 | 2071 | 17031k| 352.9 | 530M | 43 |1479 |5862 |3175 | 20k| 1 | 34k| 11k| 1.020846e+03 | 1.040000e+03 | 1.88%| unknown
3248.95/3258.00 c 3258s| 32000 | 2077 | 17061k| 352.8 | 530M | 43 |1479 |5765 |3189 | 20k| 1 | 34k| 11k| 1.020868e+03 | 1.040000e+03 | 1.87%| unknown
3256.93/3265.95 c 3266s| 32100 | 2085 | 17099k| 352.8 | 530M | 43 |1479 |5454 |3171 | 20k| 1 | 35k| 11k| 1.020892e+03 | 1.040000e+03 | 1.87%| unknown
3259.72/3268.73 c 3269s| 32200 | 2085 | 17125k| 352.6 | 527M | 43 |1479 |5446 |3181 | 20k| 0 | 35k| 11k| 1.020892e+03 | 1.040000e+03 | 1.87%| unknown
3264.01/3273.09 c 3273s| 32300 | 2097 | 17159k| 352.6 | 520M | 43 |1479 |5276 |3195 | 20k| 1 | 35k| 11k| 1.020894e+03 | 1.040000e+03 | 1.87%| unknown
3271.38/3280.46 c 3280s| 32400 | 2111 | 17210k| 352.9 | 520M | 43 |1479 |5170 |3196 | 20k| 1 | 35k| 11k| 1.020913e+03 | 1.040000e+03 | 1.87%| unknown
3278.46/3287.57 c 3288s| 32500 | 2111 | 17268k| 353.4 | 520M | 43 |1479 |5105 |3172 | 20k| 0 | 35k| 11k| 1.020914e+03 | 1.040000e+03 | 1.87%| unknown
3282.05/3291.13 c 3291s| 32600 | 2121 | 17300k| 353.3 | 520M | 43 |1479 |5006 |3192 | 20k| 2 | 35k| 11k| 1.020921e+03 | 1.040000e+03 | 1.87%| unknown
3288.53/3297.63 c 3298s| 32700 | 2135 | 17343k| 353.5 | 520M | 43 |1479 |4971 |3190 | 20k| 0 | 35k| 11k| 1.020938e+03 | 1.040000e+03 | 1.87%| unknown
3297.20/3306.30 c 3306s| 32800 | 2149 | 17389k| 353.7 | 520M | 43 |1479 |4926 |3177 | 21k| 1 | 35k| 11k| 1.020945e+03 | 1.040000e+03 | 1.87%| unknown
3308.26/3317.49 c 3317s| 32900 | 2161 | 17465k| 354.5 | 520M | 43 |1479 |4915 |3189 | 21k| 0 | 35k| 11k| 1.020947e+03 | 1.040000e+03 | 1.87%| unknown
3311.65/3320.80 c 3321s| 33000 | 2165 | 17494k| 354.4 | 520M | 43 |1479 |4904 |3194 | 21k| 0 | 35k| 11k| 1.020947e+03 | 1.040000e+03 | 1.87%| unknown
3320.83/3330.01 c 3330s| 33100 | 2189 | 17551k| 354.8 | 520M | 43 |1479 |4859 |3198 | 21k| 0 | 35k| 11k| 1.020971e+03 | 1.040000e+03 | 1.86%| unknown
3324.92/3334.11 c 3334s| 33200 | 2193 | 17586k| 354.8 | 520M | 43 |1479 |4872 |3202 | 21k| 1 | 35k| 11k| 1.020973e+03 | 1.040000e+03 | 1.86%| unknown
3327.70/3336.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3327.70/3336.96 c 3337s| 33300 | 2189 | 17610k| 354.6 | 520M | 43 |1479 |4868 |3177 | 21k| 1 | 35k| 11k| 1.020973e+03 | 1.040000e+03 | 1.86%| unknown
3331.89/3341.16 c 3341s| 33400 | 2199 | 17647k| 354.6 | 520M | 43 |1479 |4864 |3191 | 21k| 1 | 35k| 11k| 1.020979e+03 | 1.040000e+03 | 1.86%| unknown
3334.48/3343.73 c 3344s| 33500 | 2199 | 17670k| 354.4 | 520M | 43 |1479 |4864 |3195 | 21k| 1 | 35k| 11k| 1.020979e+03 | 1.040000e+03 | 1.86%| unknown
3337.47/3346.73 c 3347s| 33600 | 2205 | 17696k| 354.2 | 520M | 43 |1479 |4857 |3199 | 21k| 0 | 35k| 11k| 1.020979e+03 | 1.040000e+03 | 1.86%| unknown
3340.46/3349.71 c 3350s| 33700 | 2205 | 17722k| 354.0 | 520M | 43 |1479 |4866 |3201 | 21k| 0 | 35k| 11k| 1.020979e+03 | 1.040000e+03 | 1.86%| unknown
3346.94/3356.29 c 3356s| 33800 | 2219 | 17765k| 354.1 | 519M | 43 |1479 |4853 |3204 | 21k| 0 | 35k| 11k| 1.020995e+03 | 1.040000e+03 | 1.86%| unknown
3349.83/3359.17 c 3359s| 33900 | 2221 | 17791k| 354.0 | 519M | 43 |1479 |4853 |3202 | 21k| 0 | 35k| 11k| 1.020995e+03 | 1.040000e+03 | 1.86%| unknown
3354.41/3363.79 c 3364s| 34000 | 2225 | 17822k| 353.9 | 519M | 43 |1479 |4880 |3204 | 22k| 0 | 35k| 11k| 1.020999e+03 | 1.040000e+03 | 1.86%| unknown
3359.50/3368.85 c 3369s| 34100 | 2227 | 17855k| 353.8 | 519M | 43 |1479 |4703 |3210 | 22k| 1 | 35k| 11k| 1.021005e+03 | 1.040000e+03 | 1.86%| unknown
3362.49/3371.88 c 3372s| 34200 | 2231 | 17884k| 353.7 | 519M | 43 |1479 |4702 |3197 | 22k| 0 | 35k| 11k| 1.021005e+03 | 1.040000e+03 | 1.86%| unknown
3365.38/3374.73 c 3375s| 34300 | 2231 | 17910k| 353.5 | 519M | 43 |1479 |4708 |3190 | 22k| 1 | 35k| 11k| 1.021005e+03 | 1.040000e+03 | 1.86%| unknown
3370.96/3380.38 c 3380s| 34400 | 2237 | 17947k| 353.5 | 519M | 43 |1479 |4705 |3201 | 22k| 0 | 35k| 11k| 1.021010e+03 | 1.040000e+03 | 1.86%| unknown
3373.75/3383.18 c 3383s| 34500 | 2233 | 17972k| 353.3 | 519M | 43 |1479 |4705 |3199 | 22k| 0 | 35k| 11k| 1.021010e+03 | 1.040000e+03 | 1.86%| unknown
3382.02/3391.44 c 3391s| 34600 | 2245 | 18031k| 353.8 | 519M | 43 |1479 |4711 |3200 | 22k| 0 | 35k| 11k| 1.021013e+03 | 1.040000e+03 | 1.86%| unknown
3384.72/3394.13 c 3394s| 34700 | 2247 | 18056k| 353.6 | 519M | 43 |1479 |4711 |3202 | 22k| 1 | 35k| 11k| 1.021013e+03 | 1.040000e+03 | 1.86%| unknown
3392.79/3402.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3392.79/3402.24 c 3402s| 34800 | 2255 | 18101k| 353.8 | 519M | 43 |1479 |4658 |3207 | 22k| 1 | 35k| 11k| 1.021019e+03 | 1.040000e+03 | 1.86%| unknown
3398.07/3407.51 c 3408s| 34900 | 2259 | 18138k| 353.8 | 519M | 43 |1479 |4655 |3197 | 22k| 0 | 35k| 11k| 1.021019e+03 | 1.040000e+03 | 1.86%| unknown
3407.04/3416.55 c 3417s| 35000 | 2275 | 18185k| 354.0 | 519M | 43 |1479 |4601 |3211 | 22k| 1 | 35k| 11k| 1.021051e+03 | 1.040000e+03 | 1.86%| unknown
3409.44/3418.92 c 3419s| 35100 | 2275 | 18207k| 353.8 | 519M | 43 |1479 |4601 |3213 | 22k| 0 | 35k| 11k| 1.021051e+03 | 1.040000e+03 | 1.86%| unknown
3413.63/3423.19 c 3423s| 35200 | 2277 | 18235k| 353.6 | 519M | 43 |1479 |4722 |3210 | 23k| 1 | 35k| 11k| 1.021051e+03 | 1.040000e+03 | 1.86%| unknown
3420.20/3429.79 c 3430s| 35300 | 2283 | 18268k| 353.6 | 519M | 43 |1479 |4758 |3212 | 23k| 0 | 35k| 11k| 1.021052e+03 | 1.040000e+03 | 1.86%| unknown
3424.88/3434.40 c 3434s| 35400 | 2283 | 18299k| 353.5 | 519M | 43 |1479 |4801 |3217 | 23k| 0 | 35k| 11k| 1.021052e+03 | 1.040000e+03 | 1.86%| unknown
3429.07/3438.63 c 3439s| 35500 | 2285 | 18334k| 353.5 | 519M | 43 |1479 |4871 |3202 | 23k| 1 | 35k| 11k| 1.021052e+03 | 1.040000e+03 | 1.86%| unknown
3433.36/3442.94 c 3443s| 35600 | 2285 | 18367k| 353.5 | 519M | 43 |1479 |4932 |3212 | 23k| 1 | 35k| 11k| 1.021052e+03 | 1.040000e+03 | 1.86%| unknown
3442.63/3452.27 c 3452s| 35700 | 2295 | 18409k| 353.6 | 519M | 43 |1479 |5074 |3217 | 23k| 1 | 35k| 11k| 1.021057e+03 | 1.040000e+03 | 1.86%| unknown
3447.11/3456.71 c 3457s| 35800 | 2303 | 18445k| 353.6 | 519M | 43 |1479 |5084 |3210 | 23k| 1 | 35k| 11k| 1.021062e+03 | 1.040000e+03 | 1.85%| unknown
3452.29/3461.93 c 3462s| 35900 | 2311 | 18482k| 353.6 | 519M | 43 |1479 |5159 |3218 | 23k| 0 | 36k| 11k| 1.021063e+03 | 1.040000e+03 | 1.85%| unknown
3458.08/3467.73 c 3468s| 36000 | 2321 | 18520k| 353.7 | 520M | 43 |1479 |5243 |3217 | 23k| 1 | 36k| 11k| 1.021065e+03 | 1.040000e+03 | 1.85%| unknown
3466.85/3476.57 c 3477s| 36100 | 2329 | 18567k| 353.9 | 529M | 45 |1479 |5464 |3221 | 23k| 2 | 36k| 12k| 1.021076e+03 | 1.040000e+03 | 1.85%| unknown
3477.22/3486.90 c 3487s| 36200 | 2341 | 18616k| 354.2 | 539M | 45 |1479 |5555 |3221 | 23k| 1 | 36k| 12k| 1.021098e+03 | 1.040000e+03 | 1.85%| unknown
3480.41/3490.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3480.41/3490.17 c 3490s| 36300 | 2339 | 18644k| 354.0 | 542M | 45 |1479 |5578 |3218 | 23k| 0 | 36k| 12k| 1.021098e+03 | 1.040000e+03 | 1.85%| unknown
3487.68/3497.43 c 3497s| 36400 | 2353 | 18704k| 354.5 | 542M | 45 |1479 |5483 |3219 | 23k| 1 | 36k| 12k| 1.021115e+03 | 1.040000e+03 | 1.85%| unknown
3490.67/3500.46 c 3500s| 36500 | 2353 | 18730k| 354.3 | 542M | 45 |1479 |5507 |3220 | 23k| 1 | 36k| 12k| 1.021115e+03 | 1.040000e+03 | 1.85%| unknown
3496.15/3505.97 c 3506s| 36600 | 2363 | 18773k| 354.4 | 542M | 45 |1479 |5344 |3228 | 23k| 0 | 36k| 12k| 1.021121e+03 | 1.040000e+03 | 1.85%| unknown
3503.73/3513.56 c 3514s| 36700 | 2373 | 18815k| 354.6 | 542M | 45 |1479 |5161 |3219 | 24k| 0 | 36k| 12k| 1.021127e+03 | 1.040000e+03 | 1.85%| unknown
3507.22/3517.06 c 3517s| 36800 | 2369 | 18844k| 354.5 | 539M | 45 |1479 |4944 |3153 | 24k| 1 | 36k| 12k| 1.021127e+03 | 1.040000e+03 | 1.85%| unknown
3511.01/3520.84 c 3521s| 36900 | 2383 | 18877k| 354.4 | 533M | 45 |1479 |4905 |3167 | 24k| 1 | 36k| 12k| 1.021128e+03 | 1.040000e+03 | 1.85%| unknown
3514.10/3523.96 c 3524s| 37000 | 2387 | 18902k| 354.2 | 529M | 45 |1479 |4899 |3170 | 24k| 0 | 36k| 12k| 1.021128e+03 | 1.040000e+03 | 1.85%| unknown
3517.29/3527.14 c 3527s| 37100 | 2387 | 18931k| 354.1 | 527M | 45 |1479 |4944 |3171 | 24k| 0 | 37k| 12k| 1.021128e+03 | 1.040000e+03 | 1.85%| unknown
3521.57/3531.46 c 3531s| 37200 | 2399 | 18967k| 354.1 | 524M | 45 |1479 |5034 |3172 | 24k| 0 | 37k| 12k| 1.021136e+03 | 1.040000e+03 | 1.85%| unknown
3526.65/3536.53 c 3537s| 37300 | 2413 | 19008k| 354.2 | 519M | 45 |1479 |4959 |3177 | 24k| 0 | 37k| 12k| 1.021161e+03 | 1.040000e+03 | 1.84%| unknown
3529.84/3539.76 c 3540s| 37400 | 2413 | 19035k| 354.1 | 519M | 45 |1479 |4973 |3166 | 24k| 0 | 37k| 12k| 1.021161e+03 | 1.040000e+03 | 1.84%| unknown
3532.83/3542.70 c 3543s| 37500 | 2417 | 19062k| 353.9 | 518M | 45 |1479 |4991 |3169 | 24k| 1 | 37k| 12k| 1.021161e+03 | 1.040000e+03 | 1.84%| unknown
3535.82/3545.71 c 3546s| 37600 | 2419 | 19088k| 353.7 | 518M | 45 |1479 |5053 |3170 | 24k| 1 | 37k| 12k| 1.021161e+03 | 1.040000e+03 | 1.84%| unknown
3541.31/3551.29 c 3551s| 37700 | 2421 | 19121k| 353.7 | 518M | 45 |1479 |5040 |3170 | 24k| 1 | 37k| 12k| 1.021166e+03 | 1.040000e+03 | 1.84%| unknown
3544.20/3554.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3544.20/3554.18 c 3554s| 37800 | 2425 | 19148k| 353.5 | 518M | 45 |1479 |5060 |3170 | 24k| 1 | 37k| 12k| 1.021166e+03 | 1.040000e+03 | 1.84%| unknown
3549.58/3559.55 c 3560s| 37900 | 2433 | 19184k| 353.5 | 518M | 45 |1479 |5065 |3170 | 24k| 1 | 37k| 12k| 1.021172e+03 | 1.040000e+03 | 1.84%| unknown
3553.87/3563.85 c 3564s| 38000 | 2445 | 19223k| 353.6 | 518M | 45 |1479 |5044 |3173 | 24k| 0 | 37k| 12k| 1.021182e+03 | 1.040000e+03 | 1.84%| unknown
3561.64/3571.63 c 3572s| 38100 | 2451 | 19283k| 354.1 | 518M | 45 |1479 |5140 |3171 | 24k| 1 | 37k| 12k| 1.021184e+03 | 1.040000e+03 | 1.84%| unknown
3566.83/3576.80 c 3577s| 38200 | 2461 | 19318k| 354.0 | 518M | 45 |1479 |5119 |3177 | 24k| 0 | 37k| 12k| 1.021195e+03 | 1.040000e+03 | 1.84%| unknown
3569.82/3579.80 c 3580s| 38300 | 2463 | 19342k| 353.8 | 518M | 45 |1479 |5280 |3174 | 24k| 1 | 38k| 12k| 1.021195e+03 | 1.040000e+03 | 1.84%| unknown
3573.40/3583.48 c 3583s| 38400 | 2459 | 19368k| 353.7 | 518M | 45 |1479 |5508 |3176 | 24k| 0 | 38k| 12k| 1.021195e+03 | 1.040000e+03 | 1.84%| unknown
3576.10/3586.14 c 3586s| 38500 | 2457 | 19392k| 353.5 | 518M | 45 |1479 |5540 |3170 | 24k| 0 | 38k| 12k| 1.021195e+03 | 1.040000e+03 | 1.84%| unknown
3581.28/3591.33 c 3591s| 38600 | 2459 | 19422k| 353.4 | 518M | 45 |1479 |5552 |3171 | 24k| 1 | 38k| 12k| 1.021214e+03 | 1.040000e+03 | 1.84%| unknown
3584.67/3594.70 c 3595s| 38700 | 2459 | 19453k| 353.3 | 518M | 45 |1479 |5515 |3168 | 24k| 0 | 38k| 12k| 1.021221e+03 | 1.040000e+03 | 1.84%| unknown
3586.97/3597.00 c
3586.97/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.97/3597.00 c Solving Time (sec) : 3597.00
3586.97/3597.00 c Solving Nodes : 38766 (total of 55070 nodes in 2 runs)
3586.97/3597.00 c Primal Bound : +1.04000000000000e+03 (617 solutions)
3586.97/3597.00 c Dual Bound : +1.02122225211549e+03
3586.97/3597.00 c Gap : 1.84 %
3586.97/3597.00 s SATISFIABLE
3586.97/3597.01 v x1968 -x1967 x1966 x1965 x1964 x1963 x1962 x1961 -x1960 -x1959 -x1958 x1957 x1956 -x1955 x1954 x1953 x1952 -x1951 x1950 -x1949
3586.97/3597.01 v -x1948 x1947 -x1946 -x1945 -x1944 -x1943 x1942 x1941 x1940 x1939 x1938 -x1937 -x1936 -x1935 -x1934 -x1933 x1932 -x1931 -x1930
3586.97/3597.01 v x1929 -x1928 x1927 -x1926 x1925 x1924 x1923 -x1922 -x1921 -x1920 x1919 -x1918 -x1917 -x1916 -x1915 x1914 x1913 -x1912 x1911
3586.97/3597.01 v x1910 x1909 -x1908 x1907 x1906 x1905 x1904 -x1903 x1902 -x1901 -x1900 -x1899 x1898 -x1897 x1896 x1895 -x1894 x1893 -x1892 x1891
3586.97/3597.01 v -x1890 -x1889 x1888 x1887 x1886 -x1885 -x1884 -x1883 x1882 x1881 x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 x1872
3586.97/3597.01 v -x1871 -x1870 -x1869 x1868 x1867 x1866 x1865 x1864 -x1863 -x1862 x1861 -x1860 x1859 x1858 x1857 x1856 -x1855 x1854 x1853
3586.97/3597.01 v -x1852 -x1851 -x1850 -x1849 -x1848 x1847 x1846 x1845 -x1844 x1843 x1842 -x1841 -x1840 x1839 x1838 -x1837 x1836 x1835 x1834 x1833
3586.97/3597.01 v -x1832 -x1831 x1830 x1829 x1828 x1827 x1826 -x1825 -x1824 x1823 x1822 -x1821 -x1820 x1819 x1818 -x1817 -x1816 -x1815 x1814
3586.97/3597.01 v -x1813 -x1812 x1811 -x1810 -x1809 -x1808 -x1807 x1806 -x1805 x1804 x1803 x1802 x1801 -x1800 x1799 -x1798 x1797 x1796 x1795
3586.97/3597.01 v -x1794 x1793 -x1792 -x1791 x1790 -x1789 -x1788 x1787 -x1786 -x1785 -x1784 x1783 x1782 -x1781 x1780 -x1779 -x1778 x1777 -x1776
3586.97/3597.01 v -x1775 -x1774 x1773 x1772 -x1771 x1770 x1769 x1768 -x1767 x1766 -x1765 x1764 -x1763 x1762 x1761 -x1760 -x1759 -x1758 -x1757
3586.97/3597.01 v x1756 -x1755 -x1754 x1753 -x1752 x1751 -x1750 x1749 x1748 x1747 -x1746 -x1745 -x1744 -x1743 -x1742 x1741 x1740 x1739 x1738 x1737
3586.97/3597.01 v -x1736 -x1735 -x1734 -x1733 x1732 x1731 x1730 -x1729 -x1728 x1727 x1726 -x1725 -x1724 x1723 x1722 x1721 -x1720 -x1719 x1718
3586.97/3597.01 v -x1717 -x1716 x1715 x1714 x1713 -x1712 -x1711 -x1710 x1709 x1708 -x1707 -x1706 x1705 -x1704 -x1703 x1702 -x1701 -x1700 x1699
3586.97/3597.01 v x1698 x1697 x1696 x1695 -x1694 -x1693 -x1692 -x1691 -x1690 x1689 -x1688 -x1687 x1686 -x1685 x1684 -x1683 x1682 x1681 x1680
3586.97/3597.01 v -x1679 x1678 -x1677 -x1676 x1675 -x1674 x1673 x1672 x1671 x1670 x1669 x1668 x1667 -x1666 x1665 -x1664 x1663 -x1662 x1661 -x1660
3586.97/3597.01 v x1659 x1658 x1657 x1656 -x1655 -x1654 x1653 x1652 x1651 x1650 x1649 -x1648 x1647 x1646 x1645 -x1644 x1643 x1642 x1641 x1640
3586.97/3597.01 v -x1639 x1638 -x1637 -x1636 -x1635 x1634 x1633 x1632 -x1631 x1630 x1629 x1628 x1627 -x1626 -x1625 x1624 -x1623 -x1622 x1621
3586.97/3597.01 v x1620 x1619 -x1618 -x1617 x1616 x1615 x1614 x1613 -x1612 -x1611 -x1610 -x1609 -x1608 x1607 x1606 -x1605 -x1604 x1603 -x1602
3586.97/3597.01 v -x1601 x1600 -x1599 x1598 x1597 x1596 x1595 -x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 x1586 x1585 -x1584 x1583 -x1582
3586.97/3597.01 v x1581 -x1580 x1579 x1578 x1577 -x1576 x1575 x1574 x1573 -x1572 x1571 x1570 -x1569 x1568 x1567 x1566 x1565 x1564 x1563 x1562
3586.97/3597.01 v x1561 -x1560 x1559 x1558 x1557 x1556 -x1555 x1554 x1553 -x1552 x1551 -x1550 -x1549 x1548 -x1547 x1546 -x1545 -x1544 -x1543
3586.97/3597.01 v x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 x1535 -x1534 x1533 -x1532 -x1531 x1530 x1529 -x1528 -x1527 x1526 x1525 -x1524
3586.97/3597.01 v -x1523 -x1522 -x1521 -x1520 -x1519 x1518 -x1517 x1516 x1515 x1514 x1513 x1512 x1511 x1510 -x1509 -x1508 -x1507 -x1506 x1505
3586.97/3597.01 v -x1504 x1503 x1502 x1501 x1500 x1499 -x1498 -x1497 x1496 x1495 x1494 x1493 -x1492 x1491 -x1490 -x1489 x1488 x1487 -x1486 -x1485
3586.97/3597.01 v -x1484 -x1483 x1482 x1481 -x1480 -x1479 x1478 -x1477 -x1476 x1475 x1474 -x1473 -x1472 x1471 -x1470 x1469 -x1468 -x1467
3586.97/3597.01 v -x1466 x1465 x1464 -x1463 x1462 x1461 x1460 -x1459 x1458 x1457 -x1456 -x1455 x1454 x1453 x1452 x1451 -x1450 x1449 -x1448 x1447
3586.97/3597.01 v x1446 -x1445 x1444 -x1443 x1442 x1441 x1440 -x1439 -x1438 -x1437 x1436 -x1435 -x1434 x1433 x1432 x1431 -x1430 -x1429 x1428
3586.97/3597.01 v -x1427 x1426 x1425 x1424 x1423 -x1422 x1421 -x1420 x1419 -x1418 -x1417 -x1416 x1415 -x1414 -x1413 x1412 x1411 -x1410 -x1409 -x1408
3586.97/3597.01 v -x1407 -x1406 -x1405 x1404 x1403 x1402 x1401 -x1400 -x1399 -x1398 x1397 x1396 x1395 x1394 -x1393 x1392 x1391 x1390 x1389
3586.97/3597.01 v x1388 x1387 x1386 -x1385 -x1384 -x1383 -x1382 x1381 -x1380 x1379 -x1378 -x1377 x1376 -x1375 -x1374 -x1373 x1372 -x1371 -x1370
3586.97/3597.01 v -x1369 -x1368 -x1367 -x1366 x1365 x1364 -x1363 x1362 -x1361 x1360 -x1359 -x1358 -x1357 x1356 x1355 x1354 x1353 -x1352 -x1351
3586.97/3597.01 v x1350 x1349 -x1348 x1347 x1346 -x1345 -x1344 x1343 x1342 x1341 -x1340 x1339 x1338 x1337 -x1336 -x1335 x1334 x1333 x1332 x1331
3586.97/3597.01 v x1330 x1329 -x1328 x1327 x1326 -x1325 -x1324 x1323 x1322 x1321 -x1320 x1319 x1318 x1317 -x1316 -x1315 x1314 -x1313 -x1312
3586.97/3597.01 v x1311 x1310 x1309 x1308 x1307 -x1306 -x1305 x1304 x1303 x1302 x1301 x1300 x1299 x1298 -x1297 x1296 -x1295 -x1294 x1293 x1292
3586.97/3597.01 v x1291 -x1290 -x1289 x1288 x1287 x1286 -x1285 x1284 -x1283 -x1282 -x1281 -x1280 -x1279 x1278 -x1277 -x1276 x1275 x1274 -x1273
3586.97/3597.01 v -x1272 x1271 -x1270 -x1269 -x1268 x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 x1260 x1259 x1258 x1257 x1256 x1255 x1254 -x1253
3586.97/3597.01 v x1252 -x1251 -x1250 x1249 x1248 -x1247 x1246 x1245 x1244 x1243 -x1242 x1241 x1240 -x1239 -x1238 x1237 -x1236 -x1235 x1234
3586.97/3597.01 v x1233 -x1232 -x1231 x1230 -x1229 x1228 x1227 x1226 x1225 -x1224 x1223 -x1222 -x1221 x1220 -x1219 x1218 x1217 -x1216 x1215
3586.97/3597.01 v -x1214 x1213 x1212 -x1211 -x1210 -x1209 -x1208 -x1207 x1206 -x1205 x1204 -x1203 -x1202 x1201 -x1200 x1199 -x1198 -x1197 -x1196
3586.97/3597.01 v -x1195 -x1194 -x1193 x1192 x1191 x1190 -x1189 -x1188 -x1187 -x1186 -x1185 x1184 -x1183 x1182 x1181 x1180 -x1179 -x1178 -x1177
3586.97/3597.01 v -x1176 -x1175 x1174 x1173 -x1172 -x1171 x1170 -x1169 -x1168 x1167 x1166 -x1165 -x1164 x1163 -x1162 x1161 -x1160 -x1159 -x1158
3586.97/3597.01 v x1157 x1156 -x1155 -x1154 -x1153 x1152 x1151 x1150 x1149 -x1148 x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139
3586.97/3597.01 v -x1138 x1137 x1136 x1135 x1134 x1133 x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 -x1125 x1124 x1123 x1122 x1121 -x1120
3586.97/3597.01 v x1119 -x1118 -x1117 -x1116 x1115 -x1114 x1113 x1112 x1111 x1110 x1109 x1108 x1107 -x1106 x1105 x1104 x1103 -x1102 -x1101 -x1100
3586.97/3597.01 v -x1099 -x1098 x1097 -x1096 -x1095 x1094 x1093 x1092 -x1091 -x1090 -x1089 -x1088 x1087 x1086 x1085 x1084 -x1083 -x1082 -x1081
3586.97/3597.01 v x1080 x1079 x1078 x1077 x1076 x1075 x1074 -x1073 x1072 -x1071 -x1070 -x1069 x1068 -x1067 x1066 x1065 x1064 -x1063 -x1062
3586.97/3597.01 v x1061 x1060 x1059 -x1058 -x1057 x1056 x1055 -x1054 x1053 x1052 x1051 x1050 x1049 -x1048 x1047 x1046 x1045 -x1044 x1043 x1042
3586.97/3597.01 v x1041 -x1040 x1039 x1038 x1037 x1036 -x1035 x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 x1027 x1026 -x1025 x1024 x1023 -x1022
3586.97/3597.01 v x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 x1014 x1013 -x1012 -x1011 x1010 x1009 -x1008 -x1007 x1006 x1005 -x1004 -x1003
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.97/3597.01 c Total Time : 3597.00
3586.97/3597.01 c solving : 3597.00
3586.97/3597.01 c presolving : 0.53 (included in solving)
3586.97/3597.01 c reading : 0.01 (included in solving)
3586.97/3597.01 c copying : 0.16 (12 #copies) (minimal 0.01, maximal 0.03, average 0.01)
3586.97/3597.01 c Original Problem :
3586.97/3597.01 c Problem name : HOME/instance-4488596-1751321016.opb
3586.97/3597.01 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.97/3597.01 c Constraints : 4000 initial, 4000 maximal
3586.97/3597.01 c Objective : minimize, 1968 non-zeros (abs.min = 1, abs.max = 1)
3586.97/3597.01 c Presolved Problem :
3586.97/3597.01 c Problem name : t_HOME/instance-4488596-1751321016.opb
3586.97/3597.01 c Variables : 1479 (1479 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.97/3597.01 c Constraints : 7325 initial, 12069 maximal
3586.97/3597.01 c Objective : minimize, 1479 non-zeros (abs.min = 1, abs.max = 1)
3586.97/3597.01 c Nonzeros : 187225 constraint, 5757 clique table
3586.97/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.97/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c gateextraction : 0.02 0.00 4 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c trivial : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c dualfix : 0.00 0.00 16 228 0 0 0 0 0 0 0 0
3586.97/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c pseudoobj : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c knapsack : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c setppc : 0.02 0.00 16 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c linear : 0.02 0.00 20 0 261 0 0 0 1132 0 623 795
3586.97/3597.01 c logicor : 0.30 0.10 12 0 0 0 0 0 428 0 0 1599
3586.97/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c root node : - - - 0 - - 0 - - - - -
3586.97/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.97/3597.01 c benderslp : 0 0 0 0 31630 0 0 2017 0 0 0 0 0 0 0
3586.97/3597.01 c integral : 0 0 0 0 31630 0 0 2017 0 0 6028 0 0 27650 59188
3586.97/3597.01 c knapsack : 248+ 249 11 170497 0 0 0 0 34 6 6 0 0 0 0
3586.97/3597.01 c setppc : 2875 2875 32 260640 6 0 0 2011 309930 42 190009 0 0 0 0
3586.97/3597.01 c linear : 78 78 11 206557 0 0 0 2 799 507 1476 0 0 0 0
3586.97/3597.01 c logicor : 4124+ 8868 11 59468 0 0 0 0 3040 320 346 0 0 0 0
3586.97/3597.01 c benders : 0 0 0 0 6 0 0 715 0 0 0 0 0 0 0
3586.97/3597.01 c fixedvar : 0 0 0 0 6 0 0 715 0 0 0 0 0 0 0
3586.97/3597.01 c countsols : 0 0 0 0 6 0 0 715 0 0 0 0 0 0 0
3586.97/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.97/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3586.97/3597.01 c integral : 556.19 0.00 0.00 0.00 556.17 0.00 0.00 0.01 0.00 0.00
3586.97/3597.01 c knapsack : 0.29 0.00 0.03 0.23 0.00 0.00 0.00 0.00 0.00 0.04
3586.97/3597.01 c setppc : 1.47 0.00 0.01 1.16 0.00 0.00 0.00 0.06 0.05 0.19
3586.97/3597.01 c linear : 0.35 0.00 0.00 0.24 0.00 0.00 0.00 0.00 0.00 0.10
3586.97/3597.01 c logicor : 0.97 0.10 0.01 0.79 0.00 0.00 0.00 0.00 0.01 0.07
3586.97/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.01 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
3586.97/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.01 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.97/3597.01 c dualfix : 3 0 0 0
3586.97/3597.01 c genvbounds : 0 0 0 0
3586.97/3597.01 c nlobbt : 0 0 0 0
3586.97/3597.01 c obbt : 0 0 0 0
3586.97/3597.01 c probing : 0 0 0 0
3586.97/3597.01 c pseudoobj : 121553 0 0 0
3586.97/3597.01 c redcost : 18936 0 0 2808
3586.97/3597.01 c rootredcost : 11 0 0 0
3586.97/3597.01 c symmetry : 0 0 0 0
3586.97/3597.01 c vbounds : 97885 0 0 0
3586.97/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.97/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.01 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3586.97/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.01 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3586.97/3597.01 c pseudoobj : 0.10 0.00 0.00 0.10 0.00 0.00
3586.97/3597.01 c redcost : 0.41 0.00 0.00 0.41 0.00 0.00
3586.97/3597.01 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3586.97/3597.01 c symmetry : 0.04 0.00 0.00 0.03 0.00 0.01
3586.97/3597.01 c vbounds : 0.06 0.00 0.00 0.05 0.00 0.01
3586.97/3597.01 c Symmetry :
3586.97/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.97/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.97/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.97/3597.01 c shadow tree time : 0.00 s
3586.97/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.97/3597.01 c propagation : 0.02 428 224 - 1876 64.9 0 0.0 - - -
3586.97/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.97/3597.01 c bound exceed. LP : 5.10 7483 7480 - 71502 60.1 0 0.0 7480 86.8 18765
3586.97/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.97/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.97/3597.01 c applied globally : 0.31 - - 0 31008 47.4 - - 7480 - -
3586.97/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.97/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.97/3597.01 c cut pool : 15.94 - 9762 61 - - 54311 232831 - - - - - (maximal pool size: 3930)
3586.97/3597.01 c aggregation : 71.32 0.00 2711 32 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.97/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.97/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.97/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c clique : 0.42 0.00 32 32 0 0 6 6 0 6 6 0 0
3586.97/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c gomory : 754.22 0.00 2517 20 0 0 51158 81268 0 7720 7720 0 0
3586.97/3597.01 c > gomorymi : - - - - - - - 28393 0 459 459 0 -
3586.97/3597.01 c > strongcg : - - - - - - - 52875 0 7261 7261 0 -
3586.97/3597.01 c impliedbounds : 0.44 0.00 2711 32 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c multilinear : 0.00 0.00 252 32 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c rapidlearning : 0.04 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c rlt : 0.00 0.00 645 20 0 0 0 0 0 0 0 0 0
3586.97/3597.01 c zerohalf : 45.30 0.00 2528 31 0 0 3147 151557 0 53137 53137 0 0
3586.97/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.97/3597.01 c hybrid : 1.22 0.00 6374 31 60863 0 171968 173 0 1593
3586.97/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3586.97/3597.01 c problem variables: 0.00 - 0 0
3586.97/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.97/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c relpscost : 556.15 0.00 31624 0 0 0 6028 0 33307 59188
3586.97/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.97/3597.01 c LP solutions : 0.00 - - 6 6
3586.97/3597.01 c relax solutions : 0.00 - - 0 0
3586.97/3597.01 c pseudo solutions : 0.00 - - 0 0
3586.97/3597.01 c strong branching : 1.19 - - 76 0
3586.97/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3586.97/3597.01 c adaptivediving : 7.60 0.00 63 1 0
3586.97/3597.01 c alns : 0.16 0.00 7 0 0
3586.97/3597.01 c bound : 0.00 0.00 0 0 0
3586.97/3597.01 c clique : 0.02 0.00 1 1 1
3586.97/3597.01 c coefdiving : 0.00 0.00 0 0 0
3586.97/3597.01 c completesol : 0.00 0.00 0 0 0
3586.97/3597.01 c conflictdiving : 4.46 0.00 77 0 0
3586.97/3597.01 c crossover : 0.18 0.00 5 2 1
3586.97/3597.01 c dins : 0.00 0.00 0 0 0
3586.97/3597.01 c distributiondivin: 10.14 0.00 77 0 0
3586.97/3597.01 c dps : 0.00 0.00 0 0 0
3586.97/3597.01 c dualval : 0.00 0.00 0 0 0
3586.97/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3586.97/3597.01 c feasjump : 0.00 0.00 0 0 0
3586.97/3597.01 c feaspump : 0.00 0.00 0 0 0
3586.97/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3586.97/3597.01 c fracdiving : 6.23 0.00 77 0 0
3586.97/3597.01 c gins : 0.01 0.00 0 0 0
3586.97/3597.01 c guideddiving : 8.39 0.00 76 1 1
3586.97/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3586.97/3597.01 c indicator : 0.01 0.00 0 0 0
3586.97/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3586.97/3597.01 c indoneopt : 0.01 0.00 0 0 0
3586.97/3597.01 c indrounding : 0.00 0.00 0 0 0
3586.97/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3586.97/3597.01 c intdiving : 0.00 0.00 0 0 0
3586.97/3597.01 c intshifting : 0.00 0.00 0 0 0
3586.97/3597.01 c linesearchdiving : 14.20 0.00 76 0 0
3586.97/3597.01 c localbranching : 0.00 0.00 0 0 0
3586.97/3597.01 c locks : 0.00 0.00 1 1 1
3586.97/3597.01 c lpface : 0.01 0.00 0 0 0
3586.97/3597.01 c mpec : 0.00 0.00 0 0 0
3586.97/3597.01 c multistart : 0.00 0.00 0 0 0
3586.97/3597.01 c mutation : 0.00 0.00 0 0 0
3586.97/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3586.97/3597.01 c objpscostdiving : 127.01 0.00 39 176 0
3586.97/3597.01 c octane : 0.00 0.00 0 0 0
3586.97/3597.01 c ofins : 0.01 0.00 0 0 0
3586.97/3597.01 c oneopt : 0.02 0.00 10 2 2
3586.97/3597.01 c padm : 0.00 0.00 0 0 0
3586.97/3597.01 c proximity : 0.00 0.00 0 0 0
3586.97/3597.01 c pscostdiving : 14.78 0.00 77 3 1
3586.97/3597.01 c randrounding : 0.39 0.00 1329 21 0
3586.97/3597.01 c rens : 0.00 0.00 0 0 0
3586.97/3597.01 c reoptsols : 0.00 0.00 0 0 0
3586.97/3597.01 c repair : 0.00 0.00 0 0 0
3586.97/3597.01 c rins : 0.49 0.00 1 1 0
3586.97/3597.01 c rootsoldiving : 12.55 0.00 39 22 0
3586.97/3597.01 c rounding : 48.79 0.00 2710 0 0
3586.97/3597.01 c scheduler : 0.00 0.00 0 0 0
3586.97/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3586.97/3597.01 c shifting : 25.73 0.00 1348 0 0
3586.97/3597.01 c simplerounding : 2.60 0.00 38004 94 0
3586.97/3597.01 c smallcard : 0.00 0.00 0 0 0
3586.97/3597.01 c subnlp : 0.02 0.00 0 0 0
3586.97/3597.01 c trivial : 0.00 0.00 4 2 2
3586.97/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.97/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.97/3597.01 c trysol : 0.01 0.00 0 0 0
3586.97/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.97/3597.01 c undercover : 0.00 0.00 0 0 0
3586.97/3597.01 c vbounds : 0.02 0.00 2 0 0
3586.97/3597.01 c veclendiving : 7.54 0.00 77 0 0
3586.97/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.97/3597.01 c zirounding : 5.10 0.00 10401 208 0
3586.97/3597.01 c other solutions : - - - 0 -
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/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
3586.97/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.97/3597.01 c primal LP : 2.85 3666 0 0.00 0.00 2.85 3666
3586.97/3597.01 c dual LP : 1823.85 65820 17814695 281.74 9767.64 2.24 2589
3586.97/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.97/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.97/3597.01 c resolve instable : 0.00 0 0 0.00 -
3586.97/3597.01 c diving/probing LP: 225.97 7941 1660139 209.06 7346.85
3586.97/3597.01 c strong branching : 510.77 12352 4974793 402.75 9739.78 - - 3573
3586.97/3597.01 c (at root node) : - 25 24195 967.80 -
3586.97/3597.01 c conflict analysis: 2.25 1877 18765 10.00 8352.64
3586.97/3597.01 c B&B Tree :
3586.97/3597.01 c number of runs : 2
3586.97/3597.01 c nodes : 38766 (20615 internal, 18151 leaves)
3586.97/3597.01 c feasible leaves : 0
3586.97/3597.01 c infeas. leaves : 127
3586.97/3597.01 c objective leaves : 18023
3586.97/3597.01 c nodes (total) : 55070 (29594 internal, 25476 leaves)
3586.97/3597.01 c nodes left : 2466
3586.97/3597.01 c max depth : 45
3586.97/3597.01 c max depth (total): 52
3586.97/3597.01 c backtracks : 5295 (13.7%)
3586.97/3597.01 c early backtracks : 0 (0.0%)
3586.97/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.97/3597.01 c delayed cutoffs : 0
3586.97/3597.01 c repropagations : 27 (25 domain reductions, 0 cutoffs)
3586.97/3597.01 c avg switch length: 2.89
3586.97/3597.01 c switching time : 6.84
3586.97/3597.01 c Root Node :
3586.97/3597.01 c First LP value : +9.79500000000000e+02
3586.97/3597.01 c First LP Iters : 1872 (62801.93 Iter/sec)
3586.97/3597.01 c First LP Time : 0.03
3586.97/3597.01 c Final Dual Bound : +1.01712563949444e+03
3586.97/3597.01 c Final Root Iters : 21986
3586.97/3597.01 c Root LP Estimate : +1.33488544881240e+03
3586.97/3597.01 c Solution :
3586.97/3597.01 c Solutions found : 617 (15 improvements)
3586.97/3597.01 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
3586.97/3597.01 c Gap First Sol. : infinite
3586.97/3597.01 c Gap Last Sol. : 3.06 %
3586.97/3597.01 c Primal Bound : +1.04000000000000e+03 (in run 1, after 1047 nodes, 140.01 seconds, depth 17, found by <crossover>)
3586.97/3597.01 c Dual Bound : +1.02122225211549e+03
3586.97/3597.01 c Gap : 1.84 %
3586.97/3597.01 c Integrals : Total Avg%
3586.97/3597.01 c primal-dual : 8180.71 2.27
3586.97/3597.01 c primal-ref : - - (not evaluated)
3586.97/3597.01 c dual-ref : - - (not evaluated)
3586.97/3597.05 c Time complete: 3587.01.
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: 63708 MiB (62956 MiB free)
memory of node 1: 64465 MiB (62953 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488596-1751321016/watcher-4488596-1751321016 -o /tmp/evaluation-result-4488596-1751321016/solver-4488596-1751321016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751313715-43196 --watchdog 3760 pbscip -f HOME/instance-4488596-1751321016.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44384, runsolver pid=44381
[startup+0.100066 s]*
/proc/loadavg: 4.07 4.08 4.16 5/267 44385
/proc/meminfo: memFree=128904768/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=67476 memory=39640 CPUtime=0.09 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 6596 0 0 0 8 1 0 0 20 0 1 0 47779452 69095424 9910 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 16869 9910 3936 3530 0 8320 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67476 KiB
Current children cumulated memory: 39640 KiB
[startup+0.205699 s]*
/proc/loadavg: 4.07 4.08 4.16 5/267 44385
/proc/meminfo: memFree=128904768/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=68460 memory=40408 CPUtime=0.2 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 6810 0 0 0 19 1 0 0 20 0 1 0 47779452 70103040 10102 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 17115 10102 3936 3530 0 8566 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68460 KiB
Current children cumulated memory: 40408 KiB
[startup+0.305601 s]*
/proc/loadavg: 4.07 4.08 4.16 5/267 44385
/proc/meminfo: memFree=128905020/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=72116 memory=43736 CPUtime=0.29 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 7639 0 0 0 28 1 0 0 20 0 1 0 47779452 73846784 10934 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 18029 10934 3936 3530 0 9480 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 72116 KiB
Current children cumulated memory: 43736 KiB
[startup+0.70015 s]
/proc/loadavg: 4.07 4.08 4.16 5/267 44385
/proc/meminfo: memFree=128905020/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=73336 memory=44504 CPUtime=0.68 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 7843 0 0 0 67 1 0 0 20 0 1 0 47779452 75096064 11126 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 18334 11126 3936 3530 0 9785 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73336 KiB
Current children cumulated memory: 44504 KiB
[startup+1.50014 s]
/proc/loadavg: 4.07 4.08 4.16 5/266 44385
/proc/meminfo: memFree=128905020/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=78612 memory=49112 CPUtime=1.48 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 9002 0 0 0 147 1 0 0 20 0 1 0 47779452 80498688 12278 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 19653 12278 3936 3530 0 11104 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78612 KiB
Current children cumulated memory: 49112 KiB
[startup+3.1054 s]
/proc/loadavg: 4.07 4.08 4.16 5/266 44385
/proc/meminfo: memFree=128889144/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=101972 memory=71768 CPUtime=3.08 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 14637 0 0 0 306 2 0 0 20 0 1 0 47779452 104419328 17942 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 25493 17942 3936 3530 0 16944 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 101972 KiB
Current children cumulated memory: 71768 KiB
[startup+6.30012 s]
/proc/loadavg: 4.07 4.08 4.16 5/266 44385
/proc/meminfo: memFree=128856924/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=135136 memory=103640 CPUtime=6.27 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 22627 0 0 0 624 3 0 0 20 0 1 0 47779452 138379264 25910 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 33784 25910 3936 3530 0 25235 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 135136 KiB
Current children cumulated memory: 103640 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.09 4.16 5/266 44385
/proc/meminfo: memFree=128816856/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=174748 memory=141672 CPUtime=12.65 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 32703 0 0 0 1260 5 0 0 20 0 1 0 47779452 178941952 35418 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 43687 35418 3968 3530 0 35138 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 174748 KiB
Current children cumulated memory: 141672 KiB
[startup+25.5001 s]
/proc/loadavg: 4.12 4.09 4.16 5/266 44385
/proc/meminfo: memFree=128816880/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=174748 memory=141928 CPUtime=25.42 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 32765 0 0 0 2537 5 0 0 20 0 1 0 47779452 178941952 35482 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 43687 35482 3968 3530 0 35138 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 174748 KiB
Current children cumulated memory: 141928 KiB
[startup+51.1054 s]
/proc/loadavg: 4.16 4.10 4.16 5/265 44386
/proc/meminfo: memFree=128781348/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=215624 memory=180292 CPUtime=50.95 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 43198 0 0 0 5089 6 0 0 20 0 1 0 47779452 220798976 45073 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 53906 45073 3968 3530 0 45357 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 215624 KiB
Current children cumulated memory: 180292 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.16 5/263 44387
/proc/meminfo: memFree=128689492/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=288848 memory=245352 CPUtime=102.02 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 60413 0 0 0 10193 9 0 0 20 0 1 0 47779452 295780352 61338 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 72212 61338 3968 3530 0 63663 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 288848 KiB
Current children cumulated memory: 245352 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.15 5/263 44389
/proc/meminfo: memFree=128629936/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=320816 memory=275436 CPUtime=161.86 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 68138 0 0 0 16175 11 0 0 20 0 1 0 47779452 328515584 68859 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 80204 68859 3968 3530 0 71655 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 320816 KiB
Current children cumulated memory: 275436 KiB
[startup+222.3 s]
/proc/loadavg: 4.30 4.16 4.17 5/263 44391
/proc/meminfo: memFree=128479832/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=441904 memory=391148 CPUtime=221.71 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 97049 0 0 0 22155 16 0 0 20 0 1 0 47779452 452509696 97787 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 110476 97787 3968 3530 0 101927 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 441904 KiB
Current children cumulated memory: 391148 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/263 44393
/proc/meminfo: memFree=128422412/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=441908 memory=390660 CPUtime=281.55 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 97073 0 0 0 28139 16 0 0 20 0 1 0 47779452 452513792 97665 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 110477 97665 3968 3530 0 101928 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 441908 KiB
Current children cumulated memory: 390660 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/263 44396
/proc/meminfo: memFree=128448328/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=444500 memory=391940 CPUtime=341.39 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 97416 0 0 0 34123 16 0 0 20 0 1 0 47779452 455168000 97985 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 111125 97985 3968 3530 0 102576 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 444500 KiB
Current children cumulated memory: 391940 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/263 44398
/proc/meminfo: memFree=128432080/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=445060 memory=392580 CPUtime=401.24 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 97566 0 0 0 40108 16 0 0 20 0 1 0 47779452 455741440 98145 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 111265 98145 3968 3530 0 102716 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 445060 KiB
Current children cumulated memory: 392580 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/264 44403
/proc/meminfo: memFree=128423956/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=446700 memory=392580 CPUtime=461.08 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 97575 0 0 0 46092 16 0 0 20 0 1 0 47779452 457420800 98145 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 111675 98145 3968 3530 0 103126 0
Current children cumulated CPU time: 461.08 s
################
# More data... #
################
/proc/loadavg: 4.12 4.10 4.09 5/264 44675
/proc/meminfo: memFree=128432276/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=501408 memory=474240 CPUtime=3153.66 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 117308 0 0 0 315345 21 0 0 20 0 1 0 47779452 513441792 118560 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 125352 118560 3968 3530 0 116803 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 501408 KiB
Current children cumulated memory: 474240 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 44677
/proc/meminfo: memFree=128359872/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=501408 memory=475264 CPUtime=3213.47 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 117551 0 0 0 321326 21 0 0 20 0 1 0 47779452 513441792 118816 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 125352 118816 3968 3530 0 116803 0
Current children cumulated CPU time: 3213.47 s
Current children cumulated vsize: 501408 KiB
Current children cumulated memory: 475264 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.14 4.10 5/264 44679
/proc/meminfo: memFree=128205008/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=571448 memory=542208 CPUtime=3273.28 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 134322 0 0 0 327304 24 0 0 20 0 1 0 47779452 585162752 135552 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 142862 135552 3968 3530 0 134313 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 571448 KiB
Current children cumulated memory: 542208 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 44681
/proc/meminfo: memFree=128169280/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=571448 memory=542336 CPUtime=3333.08 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 134334 0 0 0 333284 24 0 0 20 0 1 0 47779452 585162752 135584 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 142862 135584 3968 3530 0 134313 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 571448 KiB
Current children cumulated memory: 542336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 44683
/proc/meminfo: memFree=128158280/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=571448 memory=542464 CPUtime=3392.89 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 134374 0 0 0 339265 24 0 0 20 0 1 0 47779452 585162752 135616 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 142862 135616 3968 3530 0 134313 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 571448 KiB
Current children cumulated memory: 542464 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 44703
/proc/meminfo: memFree=128130452/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=571448 memory=542848 CPUtime=3452.69 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 134453 0 0 0 345245 24 0 0 20 0 1 0 47779452 585162752 135712 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 142862 135712 3968 3530 0 134313 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 571448 KiB
Current children cumulated memory: 542848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 44705
/proc/meminfo: memFree=128114968/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=582828 memory=553344 CPUtime=3512.5 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 137096 0 0 0 351225 25 0 0 20 0 1 0 47779452 596815872 138336 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 145707 138336 3968 3530 0 137158 0
Current children cumulated CPU time: 3512.5 s
Current children cumulated vsize: 582828 KiB
Current children cumulated memory: 553344 KiB
[startup+3582.3 s]
/proc/loadavg: 4.43 4.19 4.12 5/264 44708
/proc/meminfo: memFree=128116728/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=580784 memory=551832 CPUtime=3572.31 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 137096 0 0 0 357206 25 0 0 20 0 1 0 47779452 594722816 137958 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 145196 137958 3968 3530 0 136647 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 580784 KiB
Current children cumulated memory: 551832 KiB
[startup+3597.05 s]
# the end of solver process 44384 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.76 s, system=0.260071 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.43 4.19 4.12 5/264 44708
/proc/meminfo: memFree=128116840/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=580784 memory=551832 CPUtime=3574.01 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 137096 0 0 0 357376 25 0 0 20 0 1 0 47779452 594722816 137958 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 145196 137958 3968 3530 0 136647 0
Current children cumulated CPU time: 3574.01 s
Current children cumulated vsize: 580784 KiB
Current children cumulated memory: 551832 KiB
[startup+3590.4 s]
/proc/loadavg: 4.47 4.20 4.12 5/264 44708
/proc/meminfo: memFree=128117092/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=580784 memory=551832 CPUtime=3580.38 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 137096 0 0 0 358013 25 0 0 20 0 1 0 47779452 594722816 137958 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 145196 137958 3968 3530 0 136647 0
Current children cumulated CPU time: 3580.38 s
Current children cumulated vsize: 580784 KiB
Current children cumulated memory: 551832 KiB
[startup+3593.6 s]
/proc/loadavg: 4.52 4.21 4.12 5/264 44708
/proc/meminfo: memFree=128117092/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=580784 memory=551832 CPUtime=3583.57 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 137096 0 0 0 358332 25 0 0 20 0 1 0 47779452 594722816 137958 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 145196 137958 3968 3530 0 136647 0
Current children cumulated CPU time: 3583.57 s
Current children cumulated vsize: 580784 KiB
Current children cumulated memory: 551832 KiB
[startup+3595.2 s]
/proc/loadavg: 4.52 4.21 4.12 5/264 44708
/proc/meminfo: memFree=128117092/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=580784 memory=551832 CPUtime=3585.17 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 137096 0 0 0 358492 25 0 0 20 0 1 0 47779452 594722816 137958 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 145196 137958 3968 3530 0 136647 0
Current children cumulated CPU time: 3585.17 s
Current children cumulated vsize: 580784 KiB
Current children cumulated memory: 551832 KiB
[startup+3596 s]*
/proc/loadavg: 4.52 4.21 4.12 5/264 44708
/proc/meminfo: memFree=128117100/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=580784 memory=551832 CPUtime=3585.97 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 137096 0 0 0 358572 25 0 0 20 0 1 0 47779452 594722816 137958 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 145196 137958 3968 3530 0 136647 0
Current children cumulated CPU time: 3585.97 s
Current children cumulated vsize: 580784 KiB
Current children cumulated memory: 551832 KiB
[startup+3596.8 s]
/proc/loadavg: 4.52 4.21 4.12 5/264 44708
/proc/meminfo: memFree=128117100/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=580784 memory=551832 CPUtime=3586.76 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 137096 0 0 0 358651 25 0 0 20 0 1 0 47779452 594722816 137958 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 145196 137958 3968 3530 0 136647 0
Current children cumulated CPU time: 3586.76 s
Current children cumulated vsize: 580784 KiB
Current children cumulated memory: 551832 KiB
[startup+3597 s]*
/proc/loadavg: 4.48 4.21 4.12 5/264 44708
/proc/meminfo: memFree=128117100/131249996 swapFree=33005272/33010684
[pid=44384] ppid=44381 vsize=580784 memory=551832 CPUtime=3586.97 cores=4,6
/proc/44384/stat : 44384 (pbscip) R 44381 44384 43185 0 -1 4194304 137096 0 0 0 358672 25 0 0 20 0 1 0 47779452 594722816 137958 18446744073709551615 4235264 18693293 140737066579872 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31334400 140737066584457 140737066584556 140737066584556 140737066590158 0
/proc/44384/statm: 145196 137958 3968 3530 0 136647 0
Current children cumulated CPU time: 3586.97 s
Current children cumulated vsize: 580784 KiB
Current children cumulated memory: 551832 KiB
Child status: 0
Real time (s): 3597.05
CPU time (s): 3587.02
CPU user time (s): 3586.76
CPU system time (s): 0.260071
CPU usage (%): 99.7211
Max. virtual memory (cumulated for all children) (KiB): 582828
Max. memory (cumulated for all children) (KiB): 553344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.76
system time used= 0.260071
maximum resident set size= 553344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137103
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= 119
involuntary context switches= 1773
# summary of solver processes directly reported to runsolver:
# pid: 44384
# total CPU time (s): 3587.02
# total CPU user time (s): 3586.76
# total CPU system time (s): 0.260071
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31639 second user time and 14.3928 second system time
The end