0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2700381-1278535269.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 cont) and 1901 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.02/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.02/0.03 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.02/0.06 c (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.06 c presolving (3 rounds):
0.02/0.06 c 100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.06 c 1100 implications, 0 cliques
0.02/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.02/0.06 c 900 constraints of type <indicator>
0.02/0.06 c 900 constraints of type <linear>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.04
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 1.2.1.2
0.02/0.06 c
0.02/0.06 c # frequency for displaying node information lines
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.06 c display/freq = 10000
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1799.99
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 3420
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify inequalities
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/linear/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify knapsacks
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.02/0.06 o 444854
0.02/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.06 c t 0.0s| 1 | 0 | 0 | - |6453k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.02/0.06 c 0.0s| 1 | 0 | 0 | - |6875k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.02/0.07 c 0.0s| 1 | 0 | 37 | - |6915k| 0 | 0 |1900 |1800 |1900 | 71 | 71 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.02/0.07 c 0.1s| 1 | 0 | 105 | - |6959k| 0 | 12 |1900 |1800 |1900 | 106 | 106 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.02/0.08 c 0.1s| 1 | 0 | 148 | - |7035k| 0 | 60 |1900 |1800 |1900 | 130 | 130 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.02/0.09 c 0.1s| 1 | 0 | 217 | - |7223k| 0 | 54 |1900 |1800 |1900 | 157 | 157 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 289 | - |7260k| 0 | 53 |1900 |1800 |1900 | 178 | 178 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 301 | - |7288k| 0 | 53 |1900 |1800 |1900 | 181 | 181 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.29/0.37 c 0.3s| 1 | 2 | 535 | - |7316k| 0 | 53 |1900 |1800 |1900 | 181 | 181 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
9.10/9.13 c 8.6s| 10000 | 9991 | 27873 | 2.8 | 20M| 683 | 0 |1900 |1815 |1900 | 264 |2535 | 15 | 749 | 0.000000e+00 | 4.448540e+05 | Inf
10.10/10.18 o 13905
10.10/10.18 c * 9.6s| 11742 | 11582 | 29902 | 2.5 | 21M| 683 | - |1900 |1819 |1900 | 262 |2749 | 19 | 759 | 0.000000e+00 | 1.390500e+04 | Inf
16.89/16.92 c 16.0s| 20000 | 19834 | 58476 | 2.9 | 30M| 683 | 0 |1900 |1844 |1900 | 194 |5390 | 44 | 777 | 0.000000e+00 | 1.390500e+04 | Inf
24.29/24.37 c 23.0s| 30000 | 29830 | 82066 | 2.7 | 40M| 683 | 0 |1900 |1858 |1900 | 214 |7024 | 58 | 777 | 0.000000e+00 | 1.390500e+04 | Inf
31.79/31.81 c 30.0s| 40000 | 39828 |101395 | 2.5 | 50M| 683 | 0 |1900 |1860 |1900 | 214 |8595 | 60 | 777 | 0.000000e+00 | 1.390500e+04 | Inf
39.20/39.22 c 37.0s| 50000 | 49824 |118791 | 2.4 | 60M| 683 | 0 |1900 |1870 |1900 | 188 | 10k| 71 | 777 | 0.000000e+00 | 1.390500e+04 | Inf
46.10/46.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.10/46.20 c 43.6s| 60000 | 59820 |131535 | 2.2 | 70M| 683 | 0 |1900 |1867 |1900 | 225 | 11k| 75 | 777 | 0.000000e+00 | 1.390500e+04 | Inf
53.19/53.29 c 50.3s| 70000 | 69487 |142308 | 2.0 | 81M| 683 | 0 |1900 |2974 |1900 | 188 | 12k|1373 | 777 | 0.000000e+00 | 1.390500e+04 | Inf
59.89/59.93 c 56.6s| 80000 | 79074 |149741 | 1.9 | 92M| 683 | 0 |1900 |3323 |1900 | 206 | 12k|3061 | 777 | 0.000000e+00 | 1.390500e+04 | Inf
66.70/66.76 c 63.1s| 90000 | 88300 |158990 | 1.8 | 103M| 683 | - |1900 |4293 |1900 | 227 | 13k|6697 | 777 | 0.000000e+00 | 1.390500e+04 | Inf
71.29/71.35 o 13851
71.29/71.35 c *67.4s| 96868 | 94799 |163275 | 1.7 | 110M| 683 | - |1900 |4242 |1900 | 203 | 14k|8186 | 777 | 0.000000e+00 | 1.385100e+04 | Inf
73.60/73.63 c 69.5s|100000 | 97596 |166314 | 1.7 | 114M| 683 | 0 |1900 |4972 |1900 | 197 | 14k|9786 | 777 | 0.000000e+00 | 1.385100e+04 | Inf
80.50/80.55 c 76.0s|110000 |107039 |176256 | 1.6 | 124M| 683 | 0 |1900 |4004 |1900 | 183 | 15k| 12k| 777 | 0.000000e+00 | 1.385100e+04 | Inf
85.19/85.20 o 13840
85.19/85.20 c *80.4s|116897 |113642 |184690 | 1.6 | 131M| 683 | - |1900 |3473 |1900 | 207 | 16k| 13k| 777 | 0.000000e+00 | 1.384000e+04 | Inf
87.19/87.29 c 82.4s|120000 |116597 |186911 | 1.6 | 134M| 683 | 0 |1900 |3608 |1900 | 215 | 16k| 14k| 777 | 0.000000e+00 | 1.384000e+04 | Inf
93.99/94.03 o 13832
93.99/94.03 c *88.8s|129920 |125979 |196209 | 1.5 | 145M| 683 | - |1900 |3372 |1900 | 209 | 17k| 16k| 777 | 0.000000e+00 | 1.383200e+04 | Inf
93.99/94.04 o 13762
93.99/94.04 c *88.8s|129932 |125856 |196221 | 1.5 | 145M| 683 | - |1900 |3372 |1900 | 209 | 17k| 16k| 777 | 0.000000e+00 | 1.376200e+04 | Inf
93.99/94.10 c 88.8s|130000 |125916 |196326 | 1.5 | 145M| 683 | - |1900 |3401 |1900 | 215 | 17k| 16k| 777 | 0.000000e+00 | 1.376200e+04 | Inf
96.89/96.98 o 13562
96.89/96.98 c *91.6s|134314 |129612 |198412 | 1.5 | 149M| 683 | - |1900 |3522 |1900 | 196 | 17k| 17k| 777 | 0.000000e+00 | 1.356200e+04 | Inf
96.89/96.98 o 13545
96.89/96.98 c *91.6s|134315 |129565 |198414 | 1.5 | 149M| 683 | - |1900 |3522 |1900 | 196 | 17k| 17k| 777 | 0.000000e+00 | 1.354500e+04 | Inf
99.29/99.32 o 13528
99.29/99.32 c *93.8s|137656 |132646 |202133 | 1.5 | 152M| 683 | - |1900 |3729 |1900 | 197 | 17k| 18k| 777 | 0.000000e+00 | 1.352800e+04 | Inf
99.29/99.33 o 13490
99.29/99.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.29/99.33 c *93.8s|137657 |132537 |202138 | 1.5 | 152M| 683 | - |1900 |3729 |1900 | 197 | 17k| 18k| 777 | 0.000000e+00 | 1.349000e+04 | Inf
100.79/100.89 c 95.2s|140000 |134797 |203883 | 1.5 | 155M| 683 | 0 |1900 |3523 |1900 | 190 | 17k| 18k| 777 | 0.000000e+00 | 1.349000e+04 | Inf
107.10/107.19 o 13416
107.10/107.19 c * 101s|149103 |143117 |216225 | 1.4 | 164M| 683 | - |1900 |3732 |1900 | 208 | 18k| 21k| 779 | 0.000000e+00 | 1.341600e+04 | Inf
107.10/107.19 o 13349
107.10/107.19 c * 101s|149104 |142899 |216227 | 1.4 | 164M| 683 | - |1900 |3732 |1900 | 208 | 18k| 21k| 779 | 0.000000e+00 | 1.334900e+04 | Inf
107.29/107.39 o 13289
107.29/107.39 c * 101s|149390 |142971 |216401 | 1.4 | 164M| 683 | - |1900 |3741 |1900 | 187 | 18k| 21k| 779 | 0.000000e+00 | 1.328900e+04 | Inf
107.29/107.39 o 13272
107.29/107.39 c * 101s|149391 |142928 |216404 | 1.4 | 164M| 683 | - |1900 |3741 |1900 | 187 | 18k| 21k| 779 | 0.000000e+00 | 1.327200e+04 | Inf
107.39/107.49 o 13258
107.39/107.49 c * 101s|149537 |143027 |216559 | 1.4 | 164M| 683 | - |1900 |3695 |1900 | 198 | 18k| 21k| 779 | 0.000000e+00 | 1.325800e+04 | Inf
107.50/107.51 o 13038
107.50/107.51 c * 101s|149546 |142191 |216584 | 1.4 | 162M| 683 | - |1900 |3694 |1900 | 198 | 18k| 21k| 779 | 0.000000e+00 | 1.303800e+04 | Inf
107.80/107.86 c 102s|150000 |142604 |218043 | 1.5 | 163M| 683 | 0 |1900 |3723 |1900 | 199 | 18k| 21k| 779 | 0.000000e+00 | 1.303800e+04 | Inf
108.90/108.93 o 13000
108.90/108.93 c * 103s|151445 |143765 |220752 | 1.5 | 164M| 683 | - |1900 |3837 |1900 | 204 | 18k| 22k| 782 | 0.000000e+00 | 1.300000e+04 | Inf
114.69/114.73 c 108s|160000 |151940 |228284 | 1.4 | 173M| 683 | 0 |1900 |3805 |1900 | 187 | 19k| 24k| 783 | 0.000000e+00 | 1.300000e+04 | Inf
121.50/121.56 c 115s|170000 |161363 |237381 | 1.4 | 184M| 683 | 0 |1900 |4130 |1900 | 199 | 20k| 26k| 784 | 0.000000e+00 | 1.300000e+04 | Inf
122.39/122.49 o 12862
122.39/122.49 c * 116s|171319 |161823 |238996 | 1.4 | 183M| 683 | - |1900 |3976 |1900 | 200 | 20k| 27k| 787 | 0.000000e+00 | 1.286200e+04 | Inf
124.09/124.10 o 12583
124.09/124.10 c * 117s|173671 |162118 |241329 | 1.4 | 181M| 683 | - |1900 |4109 |1900 | 194 | 20k| 27k| 788 | 0.000000e+00 | 1.258300e+04 | Inf
124.69/124.76 o 12515
124.69/124.76 c * 118s|174630 |162583 |242148 | 1.4 | 182M| 683 | - |1900 |4038 |1900 | 197 | 20k| 27k| 788 | 0.000000e+00 | 1.251500e+04 | Inf
124.69/124.77 o 12477
124.69/124.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.69/124.77 c * 118s|174631 |162301 |242149 | 1.4 | 181M| 683 | - |1900 |4038 |1900 | 197 | 20k| 27k| 788 | 0.000000e+00 | 1.247700e+04 | Inf
124.80/124.82 o 12432
124.80/124.82 c * 118s|174702 |162025 |242265 | 1.4 | 181M| 683 | - |1900 |4034 |1900 | 197 | 20k| 27k| 788 | 0.000000e+00 | 1.243200e+04 | Inf
124.80/124.82 o 12355
124.80/124.82 c * 118s|174703 |161481 |242271 | 1.4 | 180M| 683 | - |1900 |4034 |1900 | 197 | 20k| 27k| 788 | 0.000000e+00 | 1.235500e+04 | Inf
124.80/124.87 o 12033
124.80/124.87 c * 118s|174765 |159251 |242344 | 1.4 | 176M| 683 | - |1900 |4042 |1900 | 184 | 20k| 27k| 788 | 0.000000e+00 | 1.203300e+04 | Inf
124.80/124.88 o 11956
124.80/124.88 c * 118s|174766 |158687 |242354 | 1.4 | 175M| 683 | - |1900 |4042 |1900 | 184 | 20k| 27k| 788 | 0.000000e+00 | 1.195600e+04 | Inf
128.80/128.83 c 122s|180000 |163406 |249317 | 1.4 | 181M| 683 | 0 |1900 |4769 |1900 | 204 | 21k| 30k| 799 | 0.000000e+00 | 1.195600e+04 | Inf
135.70/135.71 c 128s|190000 |172998 |257896 | 1.4 | 191M| 683 | 0 |1900 |3766 |1900 | 212 | 21k| 32k| 817 | 0.000000e+00 | 1.195600e+04 | Inf
136.00/136.03 o 11898
136.00/136.03 c * 128s|190428 |172872 |258334 | 1.4 | 191M| 683 | - |1900 |3953 |1900 | 221 | 22k| 32k| 817 | 0.000000e+00 | 1.189800e+04 | Inf
136.00/136.04 o 11825
136.00/136.04 c * 128s|190429 |172288 |258334 | 1.4 | 190M| 683 | - |1900 |3953 |1900 | 221 | 22k| 32k| 817 | 0.000000e+00 | 1.182500e+04 | Inf
141.09/141.11 o 11657
141.09/141.11 c * 133s|197806 |177773 |265640 | 1.3 | 196M| 683 | - |1900 |3780 |1900 | 210 | 22k| 34k| 845 | 0.000000e+00 | 1.165700e+04 | Inf
141.09/141.12 o 11637
141.09/141.12 c * 133s|197807 |177602 |265648 | 1.3 | 196M| 683 | - |1900 |3780 |1900 | 210 | 22k| 34k| 845 | 0.000000e+00 | 1.163700e+04 | Inf
142.59/142.62 c 134s|200000 |179658 |267040 | 1.3 | 199M| 683 | 0 |1900 |3869 |1900 | 203 | 22k| 34k| 845 | 0.000000e+00 | 1.163700e+04 | Inf
143.49/143.53 o 11594
143.49/143.53 c * 135s|201385 |180627 |267631 | 1.3 | 200M| 683 | - |1900 |3814 |1900 | 209 | 22k| 34k| 845 | 0.000000e+00 | 1.159400e+04 | Inf
144.39/144.42 o 11555
144.39/144.42 c * 136s|202647 |181502 |268551 | 1.3 | 201M| 683 | - |1900 |3771 |1900 | 209 | 23k| 35k| 845 | 0.000000e+00 | 1.155500e+04 | Inf
144.39/144.47 o 11549
144.39/144.47 c * 136s|202710 |181504 |268646 | 1.3 | 201M| 683 | - |1900 |3766 |1900 | 211 | 23k| 35k| 845 | 0.000000e+00 | 1.154900e+04 | Inf
144.50/144.54 o 11437
144.50/144.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.50/144.54 c * 136s|202801 |180530 |268772 | 1.3 | 199M| 683 | - |1900 |3781 |1900 | 209 | 23k| 35k| 845 | 0.000000e+00 | 1.143700e+04 | Inf
144.50/144.59 o 11378
144.50/144.59 c * 136s|202867 |180087 |268853 | 1.3 | 199M| 683 | - |1900 |3797 |1900 | 211 | 23k| 35k| 845 | 0.000000e+00 | 1.137800e+04 | Inf
144.70/144.70 o 11307
144.70/144.70 c * 136s|203014 |179574 |268977 | 1.3 | 198M| 683 | - |1900 |3808 |1900 | 213 | 23k| 35k| 845 | 0.000000e+00 | 1.130700e+04 | Inf
144.70/144.71 o 11098
144.70/144.71 c * 136s|203015 |177629 |268979 | 1.3 | 196M| 683 | - |1900 |3808 |1900 | 213 | 23k| 35k| 845 | 0.000000e+00 | 1.109800e+04 | Inf
144.99/145.07 o 11037
144.99/145.07 c * 137s|203533 |177465 |269398 | 1.3 | 196M| 683 | - |1900 |3829 |1900 | 210 | 23k| 35k| 845 | 0.000000e+00 | 1.103700e+04 | Inf
144.99/145.08 o 10915
144.99/145.08 c * 137s|203534 |176150 |269400 | 1.3 | 193M| 683 | - |1900 |3829 |1900 | 210 | 23k| 35k| 845 | 0.000000e+00 | 1.091500e+04 | Inf
149.29/149.33 o 10883
149.29/149.33 c * 141s|209521 |181517 |277302 | 1.3 | 199M| 683 | - |1900 |3716 |1900 | 199 | 23k| 36k| 856 | 0.000000e+00 | 1.088300e+04 | Inf
149.29/149.35 o 10778
149.29/149.35 c * 141s|209531 |180349 |277340 | 1.3 | 198M| 683 | - |1900 |3741 |1900 | 199 | 23k| 36k| 856 | 0.000000e+00 | 1.077800e+04 | Inf
149.69/149.72 c 141s|210000 |180786 |277939 | 1.3 | 198M| 683 | 0 |1900 |3774 |1900 | 206 | 23k| 36k| 858 | 0.000000e+00 | 1.077800e+04 | Inf
154.79/154.82 o 10743
154.79/154.82 c * 146s|217187 |187094 |286002 | 1.3 | 206M| 683 | - |1900 |4501 |1900 | 210 | 24k| 39k| 863 | 0.000000e+00 | 1.074300e+04 | Inf
156.20/156.26 o 10597
156.20/156.26 c * 147s|219190 |187359 |288118 | 1.3 | 206M| 683 | - |1900 |4524 |1900 | 206 | 24k| 39k| 865 | 0.000000e+00 | 1.059700e+04 | Inf
156.49/156.59 o 10530
156.49/156.59 c * 148s|219630 |187070 |288686 | 1.3 | 206M| 683 | - |1900 |4511 |1900 | 197 | 24k| 40k| 865 | 0.000000e+00 | 1.053000e+04 | Inf
156.59/156.65 o 10464
156.59/156.65 c * 148s|219701 |186389 |288828 | 1.3 | 205M| 683 | - |1900 |4493 |1900 | 205 | 24k| 40k| 865 | 0.000000e+00 | 1.046400e+04 | Inf
156.59/156.67 o 10342
156.59/156.67 c * 148s|219705 |184993 |288862 | 1.3 | 203M| 683 | - |1900 |4502 |1900 | 205 | 24k| 40k| 865 | 0.000000e+00 | 1.034200e+04 | Inf
156.89/156.92 c 148s|220000 |185262 |289651 | 1.3 | 204M| 683 | 0 |1900 |4449 |1900 | 204 | 24k| 40k| 865 | 0.000000e+00 | 1.034200e+04 | Inf
164.19/164.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.19/164.27 c 155s|230000 |194314 |303416 | 1.3 | 216M| 683 | 0 |1900 |5381 |1900 | 206 | 26k| 44k| 882 | 0.000000e+00 | 1.034200e+04 | Inf
168.99/169.00 o 10303
168.99/169.00 c * 159s|236471 |199742 |312298 | 1.3 | 223M| 683 | - |1900 |4778 |1900 | 190 | 26k| 47k| 889 | 0.000000e+00 | 1.030300e+04 | Inf
171.50/171.55 o 10073
171.50/171.55 c * 162s|239843 |199758 |318317 | 1.3 | 223M| 683 | - |1900 |4988 |1900 | 220 | 27k| 48k| 903 | 0.000000e+00 | 1.007300e+04 | Inf
171.50/171.57 o 9986
171.50/171.57 c * 162s|239855 |198571 |318374 | 1.3 | 222M| 683 | - |1900 |4986 |1900 | 222 | 27k| 48k| 903 | 0.000000e+00 | 9.986000e+03 | Inf
171.50/171.58 o 9916
171.50/171.58 c * 162s|239856 |197630 |318375 | 1.3 | 221M| 683 | - |1900 |4986 |1900 | 222 | 27k| 48k| 903 | 0.000000e+00 | 9.916000e+03 | Inf
171.60/171.68 c 162s|240000 |197755 |318741 | 1.3 | 221M| 683 | 0 |1900 |4953 |1900 | 230 | 27k| 48k| 903 | 0.000000e+00 | 9.916000e+03 | Inf
173.90/173.94 o 9777
173.90/173.94 c * 164s|243181 |198862 |321440 | 1.3 | 222M| 683 | - |1900 |4857 |1900 | 211 | 27k| 49k| 903 | 0.000000e+00 | 9.777000e+03 | Inf
176.00/176.06 o 9719
176.00/176.06 c * 166s|246042 |200562 |325659 | 1.3 | 224M| 683 | - |1900 |4994 |1900 | 197 | 27k| 50k| 917 | 0.000000e+00 | 9.719000e+03 | Inf
178.29/178.39 o 9572
178.29/178.39 c * 168s|249218 |201227 |329978 | 1.3 | 225M| 683 | - |1900 |5032 |1900 | 198 | 28k| 52k| 918 | 0.000000e+00 | 9.572000e+03 | Inf
179.00/179.01 c 169s|250000 |201914 |331341 | 1.3 | 225M| 683 | 0 |1900 |5017 |1900 | 203 | 28k| 52k| 918 | 0.000000e+00 | 9.572000e+03 | Inf
186.80/186.86 c 176s|260000 |210871 |353854 | 1.4 | 237M| 683 | 0 |1900 |5054 |1900 | 194 | 30k| 57k| 930 | 0.000000e+00 | 9.572000e+03 | Inf
188.59/188.60 o 9299
188.59/188.60 c * 178s|262332 |208592 |359422 | 1.4 | 232M| 683 | - |1900 |4849 |1900 | 207 | 30k| 57k| 932 | 0.000000e+00 | 9.299000e+03 | Inf
188.59/188.60 o 9282
188.59/188.60 c * 178s|262333 |208332 |359423 | 1.4 | 232M| 683 | - |1900 |4849 |1900 | 207 | 30k| 57k| 932 | 0.000000e+00 | 9.282000e+03 | Inf
188.69/188.76 o 9276
188.69/188.76 c * 178s|262533 |208389 |359782 | 1.4 | 232M| 683 | - |1900 |4891 |1900 | 200 | 30k| 57k| 932 | 0.000000e+00 | 9.276000e+03 | Inf
188.69/188.79 o 9160
188.69/188.79 c * 178s|262550 |206625 |359852 | 1.4 | 230M| 683 | - |1900 |4887 |1900 | 202 | 30k| 57k| 932 | 0.000000e+00 | 9.160000e+03 | Inf
188.69/188.79 o 9076
188.69/188.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.69/188.79 c * 178s|262551 |205159 |359853 | 1.4 | 228M| 683 | - |1900 |4887 |1900 | 202 | 30k| 57k| 932 | 0.000000e+00 | 9.076000e+03 | Inf
188.89/188.91 o 9054
188.89/188.91 c * 178s|262686 |204908 |360164 | 1.4 | 227M| 683 | - |1900 |4945 |1900 | 207 | 30k| 57k| 932 | 0.000000e+00 | 9.054000e+03 | Inf
188.89/188.92 o 9037
188.89/188.92 c * 178s|262687 |204630 |360166 | 1.4 | 227M| 683 | - |1900 |4945 |1900 | 207 | 30k| 57k| 932 | 0.000000e+00 | 9.037000e+03 | Inf
194.20/194.27 o 9006
194.20/194.27 c * 183s|269590 |210285 |371088 | 1.4 | 234M| 683 | - |1900 |5114 |1900 | 197 | 31k| 60k| 965 | 0.000000e+00 | 9.006000e+03 | Inf
194.49/194.58 c 183s|270000 |210647 |371521 | 1.4 | 234M| 683 | 0 |1900 |5227 |1900 | 200 | 31k| 60k| 965 | 0.000000e+00 | 9.006000e+03 | Inf
195.39/195.46 o 8968
195.39/195.46 c * 184s|271181 |211059 |372736 | 1.4 | 235M| 683 | - |1900 |5255 |1900 | 193 | 31k| 61k| 965 | 0.000000e+00 | 8.968000e+03 | Inf
195.39/195.47 o 8931
195.39/195.47 c * 184s|271184 |210365 |372742 | 1.4 | 234M| 683 | - |1900 |5253 |1900 | 193 | 31k| 61k| 965 | 0.000000e+00 | 8.931000e+03 | Inf
199.00/199.07 o 8879
199.00/199.07 c * 188s|276004 |213761 |380752 | 1.4 | 238M| 683 | - |1900 |4908 |1900 | 216 | 32k| 63k| 994 | 0.000000e+00 | 8.879000e+03 | Inf
202.00/202.08 c 190s|280000 |217403 |389072 | 1.4 | 243M| 683 | 0 |1900 |4770 |1900 | 208 | 32k| 64k| 995 | 0.000000e+00 | 8.879000e+03 | Inf
209.50/209.55 c 197s|290000 |226271 |404107 | 1.4 | 255M| 683 | 0 |1900 |4460 |1900 | 191 | 34k| 68k|1037 | 0.000000e+00 | 8.879000e+03 | Inf
217.20/217.27 c 205s|300000 |235181 |425944 | 1.4 | 266M| 683 | 0 |1900 |4893 |1900 | 213 | 35k| 73k|1074 | 0.000000e+00 | 8.879000e+03 | Inf
224.90/224.93 c 212s|310000 |244265 |447396 | 1.4 | 278M| 683 | 0 |1900 |4522 |1900 | 213 | 37k| 76k|1102 | 0.000000e+00 | 8.879000e+03 | Inf
232.29/232.34 c 219s|320000 |253306 |461258 | 1.4 | 289M| 683 | - |1900 |5003 | 0 | 0 | 38k| 80k|1128 | 0.000000e+00 | 8.879000e+03 | Inf
240.10/240.19 c 226s|330000 |262178 |484407 | 1.5 | 301M| 683 | 0 |1900 |5355 |1900 | 195 | 40k| 84k|1171 | 0.000000e+00 | 8.879000e+03 | Inf
247.59/247.62 c 233s|340000 |271062 |498229 | 1.5 | 313M| 683 | 0 |1900 |5065 |1900 | 236 | 41k| 88k|1185 | 0.000000e+00 | 8.879000e+03 | Inf
254.99/255.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.99/255.03 c 240s|350000 |280206 |512561 | 1.5 | 323M| 683 | 0 |1900 |4968 |1900 | 223 | 43k| 92k|1209 | 0.000000e+00 | 8.879000e+03 | Inf
262.69/262.71 c 248s|360000 |289187 |532775 | 1.5 | 335M| 683 | - |1900 |4761 | 0 | 0 | 44k| 96k|1299 | 0.000000e+00 | 8.879000e+03 | Inf
266.70/266.71 o 8806
266.70/266.71 c * 251s|364898 |291929 |548957 | 1.5 | 339M| 683 | - |1900 |5360 |1900 | 203 | 45k| 98k|1323 | 0.000000e+00 | 8.806000e+03 | Inf
270.50/270.52 c 255s|370000 |296585 |554309 | 1.5 | 345M| 683 | - |1900 |5393 | 0 | 0 | 46k| 100k|1326 | 0.000000e+00 | 8.806000e+03 | Inf
277.80/277.85 c 262s|380000 |305657 |566118 | 1.5 | 356M| 683 | 0 |1900 |5202 |1900 | 217 | 47k| 104k|1335 | 0.000000e+00 | 8.806000e+03 | Inf
285.30/285.35 c 269s|390000 |314643 |581921 | 1.5 | 368M| 683 | 0 |1900 |5512 |1900 | 192 | 48k| 108k|1339 | 0.000000e+00 | 8.806000e+03 | Inf
288.90/288.97 o 8770
288.90/288.97 c * 272s|395050 |318450 |588121 | 1.5 | 373M| 683 | - |1900 |5155 |1900 | 192 | 49k| 110k|1343 | 0.000000e+00 | 8.770000e+03 | Inf
288.90/288.98 o 8679
288.90/288.98 c * 272s|395051 |316139 |588122 | 1.5 | 370M| 683 | - |1900 |5155 |1900 | 192 | 49k| 110k|1343 | 0.000000e+00 | 8.679000e+03 | Inf
292.90/292.96 c 276s|400000 |320472 |598373 | 1.5 | 375M| 683 | 0 |1900 |5363 |1900 | 201 | 50k| 113k|1362 | 0.000000e+00 | 8.679000e+03 | Inf
297.80/297.87 o 8672
297.80/297.87 c * 281s|406356 |325906 |608539 | 1.5 | 383M| 683 | - |1900 |5475 |1900 | 187 | 51k| 116k|1377 | 0.000000e+00 | 8.672000e+03 | Inf
300.60/300.61 c 283s|410000 |329271 |613353 | 1.5 | 387M| 683 | 0 |1900 |5179 |1900 | 205 | 51k| 117k|1377 | 0.000000e+00 | 8.672000e+03 | Inf
308.20/308.26 c 290s|420000 |338379 |636757 | 1.5 | 398M| 683 | 0 |1900 |4474 |1900 | 195 | 53k| 120k|1418 | 0.000000e+00 | 8.672000e+03 | Inf
311.60/311.61 o 8502
311.60/311.61 c * 294s|424672 |337584 |641195 | 1.5 | 397M| 683 | - |1900 |4739 |1900 | 202 | 53k| 122k|1423 | 0.000000e+00 | 8.502000e+03 | Inf
315.70/315.77 c 298s|430000 |342230 |651189 | 1.5 | 403M| 683 | 0 |1900 |4987 |1900 | 211 | 54k| 124k|1440 | 0.000000e+00 | 8.502000e+03 | Inf
319.80/319.88 o 8464
319.80/319.88 c * 301s|435615 |346024 |658470 | 1.5 | 408M| 683 | - |1900 |5048 |1900 | 204 | 55k| 127k|1445 | 0.000000e+00 | 8.464000e+03 | Inf
319.90/319.90 o 8224
319.90/319.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.90/319.90 c * 301s|435617 |338095 |658487 | 1.5 | 396M| 683 | - |1900 |5048 |1900 | 204 | 55k| 127k|1445 | 0.000000e+00 | 8.224000e+03 | Inf
323.40/323.41 c 305s|440000 |341959 |668262 | 1.5 | 402M| 683 | 0 |1900 |5839 |1900 | 197 | 56k| 129k|1484 | 0.000000e+00 | 8.224000e+03 | Inf
330.80/330.85 c 312s|450000 |351074 |682116 | 1.5 | 413M| 683 | 0 |1900 |5328 |1900 | 185 | 57k| 132k|1497 | 0.000000e+00 | 8.224000e+03 | Inf
335.51/335.57 o 8189
335.51/335.57 c * 316s|456228 |355285 |692210 | 1.5 | 418M| 683 | - |1900 |5740 |1900 | 210 | 58k| 135k|1505 | 0.000000e+00 | 8.189000e+03 | Inf
335.51/335.58 o 8119
335.51/335.58 c * 316s|456229 |352652 |692213 | 1.5 | 414M| 683 | - |1900 |5740 |1900 | 210 | 58k| 135k|1505 | 0.000000e+00 | 8.119000e+03 | Inf
338.60/338.63 c 319s|460000 |355969 |698829 | 1.5 | 418M| 683 | 0 |1900 |5384 |1900 | 195 | 59k| 137k|1512 | 0.000000e+00 | 8.119000e+03 | Inf
341.20/341.23 o 8098
341.20/341.23 c * 322s|463468 |358365 |703097 | 1.5 | 420M| 683 | - |1900 |5116 |1900 | 186 | 59k| 138k|1520 | 0.000000e+00 | 8.098000e+03 | Inf
341.20/341.24 o 8058
341.20/341.24 c * 322s|463469 |356892 |703116 | 1.5 | 418M| 683 | - |1900 |5116 |1900 | 186 | 59k| 138k|1520 | 0.000000e+00 | 8.058000e+03 | Inf
346.19/346.25 c 326s|470000 |362756 |712535 | 1.5 | 425M| 683 | 0 |1900 |5423 |1900 | 219 | 60k| 140k|1541 | 0.000000e+00 | 8.058000e+03 | Inf
352.80/352.82 o 7988
352.80/352.82 c * 332s|478909 |367938 |726431 | 1.5 | 429M| 683 | - |1900 |4583 |1900 | 211 | 62k| 144k|1554 | 0.000000e+00 | 7.988000e+03 | Inf
353.30/353.31 o 7960
353.30/353.31 c * 333s|479442 |367315 |728280 | 1.5 | 427M| 683 | - |1900 |4625 |1900 | 212 | 62k| 144k|1557 | 0.000000e+00 | 7.960000e+03 | Inf
353.80/353.80 c 333s|480000 |367799 |730319 | 1.5 | 428M| 683 | 0 |1900 |4696 |1900 | 200 | 62k| 144k|1557 | 0.000000e+00 | 7.960000e+03 | Inf
361.80/361.89 c 341s|490000 |376489 |756805 | 1.5 | 440M| 683 | 0 |1900 |5038 |1900 | 194 | 64k| 148k|1634 | 0.000000e+00 | 7.960000e+03 | Inf
369.80/369.82 c 348s|500000 |385388 |780782 | 1.6 | 453M| 683 | 0 |1900 |5488 |1900 | 213 | 66k| 153k|1658 | 0.000000e+00 | 7.960000e+03 | Inf
376.90/376.95 o 7870
376.90/376.95 c * 355s|508718 |388732 |807124 | 1.6 | 453M| 683 | - |1900 |6339 |1900 | 194 | 68k| 157k|1682 | 0.000000e+00 | 7.870000e+03 | Inf
378.00/378.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.00/378.04 c 356s|510000 |389828 |810045 | 1.6 | 455M| 683 | 0 |1900 |6079 |1900 | 194 | 68k| 157k|1692 | 0.000000e+00 | 7.870000e+03 | Inf
380.40/380.45 o 7861
380.40/380.45 c * 358s|512999 |392025 |816266 | 1.6 | 458M| 683 | - |1900 |5812 |1900 | 210 | 68k| 159k|1694 | 0.000000e+00 | 7.861000e+03 | Inf
382.80/382.87 o 7682
382.80/382.87 c * 361s|515995 |385626 |820739 | 1.6 | 443M| 683 | - |1900 |5985 |1900 | 206 | 69k| 160k|1696 | 0.000000e+00 | 7.682000e+03 | Inf
386.00/386.10 c 364s|520000 |389118 |828732 | 1.6 | 448M| 683 | 0 |1900 |5794 |1900 | 202 | 69k| 162k|1717 | 0.000000e+00 | 7.682000e+03 | Inf
394.10/394.14 c 371s|530000 |397959 |851298 | 1.6 | 460M| 683 | 0 |1900 |5814 |1900 | 219 | 71k| 166k|1754 | 0.000000e+00 | 7.682000e+03 | Inf
400.80/400.86 o 7535
400.80/400.86 c * 378s|538183 |397491 |874600 | 1.6 | 457M| 683 | - |1900 |6301 |1900 | 185 | 73k| 170k|1792 | 0.000000e+00 | 7.535000e+03 | Inf
402.30/402.35 c 379s|540000 |399002 |877456 | 1.6 | 459M| 683 | 0 |1900 |6035 |1900 | 198 | 74k| 171k|1794 | 0.000000e+00 | 7.535000e+03 | Inf
410.90/410.91 c 387s|550000 |407615 |910391 | 1.7 | 472M| 683 | 0 |1900 |6858 |1900 | 198 | 76k| 177k|1829 | 0.000000e+00 | 7.535000e+03 | Inf
418.90/418.95 c 395s|560000 |416394 |928875 | 1.7 | 483M| 683 | 0 |1900 |5840 |1900 | 190 | 78k| 181k|1859 | 0.000000e+00 | 7.535000e+03 | Inf
427.30/427.33 c 403s|570000 |425167 |958741 | 1.7 | 496M| 683 | 0 |1900 |6186 |1900 | 216 | 80k| 186k|1914 | 0.000000e+00 | 7.535000e+03 | Inf
433.31/433.33 o 7529
433.31/433.33 c * 408s|577498 |431551 |979576 | 1.7 | 504M| 683 | - |1900 |5992 |1900 | 213 | 81k| 189k|1921 | 0.000000e+00 | 7.529000e+03 | Inf
435.30/435.31 c 410s|580000 |433728 |983816 | 1.7 | 507M| 683 | 0 |1900 |5769 |1900 | 203 | 82k| 190k|1929 | 0.000000e+00 | 7.529000e+03 | Inf
436.71/436.79 o 7524
436.71/436.79 c * 412s|581722 |434940 |990596 | 1.7 | 509M| 683 | - |1900 |6190 |1900 | 217 | 82k| 191k|1932 | 0.000000e+00 | 7.524000e+03 | Inf
440.90/440.96 o 7516
440.90/440.96 c * 416s|587059 |439109 |999095 | 1.7 | 515M| 683 | - |1900 |6124 |1900 | 202 | 83k| 194k|1940 | 0.000000e+00 | 7.516000e+03 | Inf
441.40/441.43 o 7389
441.40/441.43 c * 416s|587629 |432847 |999854 | 1.7 | 504M| 683 | - |1900 |6248 |1900 | 196 | 83k| 194k|1940 | 0.000000e+00 | 7.389000e+03 | Inf
443.31/443.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.31/443.31 c 418s|590000 |434873 | 1004k| 1.7 | 506M| 683 | 0 |1900 |6086 |1900 | 214 | 83k| 195k|1940 | 0.000000e+00 | 7.389000e+03 | Inf
451.40/451.44 c 426s|600000 |443444 | 1026k| 1.7 | 518M| 683 | 0 |1900 |6318 |1900 | 204 | 85k| 200k|1992 | 0.000000e+00 | 7.389000e+03 | Inf
454.41/454.46 o 7229
454.41/454.46 c * 428s|604006 |437973 | 1031k| 1.7 | 509M| 683 | - |1900 |6193 |1900 | 199 | 85k| 202k|1996 | 0.000000e+00 | 7.229000e+03 | Inf
454.41/454.47 o 7212
454.41/454.47 c * 428s|604007 |437008 | 1031k| 1.7 | 507M| 683 | - |1900 |6193 |1900 | 199 | 85k| 202k|1996 | 0.000000e+00 | 7.212000e+03 | Inf
458.00/458.09 o 7129
458.00/458.09 c * 432s|608190 |435825 | 1043k| 1.7 | 504M| 683 | - |1900 |5691 |1900 | 219 | 86k| 205k|2039 | 0.000000e+00 | 7.129000e+03 | Inf
458.11/458.13 o 7125
458.11/458.13 c * 432s|608229 |435662 | 1043k| 1.7 | 504M| 683 | - |1900 |5707 |1900 | 220 | 86k| 205k|2039 | 0.000000e+00 | 7.125000e+03 | Inf
458.61/458.63 o 7071
458.61/458.63 c * 432s|608821 |433018 | 1044k| 1.7 | 499M| 683 | - |1900 |5619 |1900 | 222 | 86k| 205k|2040 | 0.000000e+00 | 7.071000e+03 | Inf
459.50/459.59 c 433s|610000 |434010 | 1046k| 1.7 | 501M| 683 | 0 |1900 |5200 |1900 | 217 | 87k| 205k|2042 | 0.000000e+00 | 7.071000e+03 | Inf
466.50/466.58 o 6965
466.50/466.58 c * 440s|618767 |435155 | 1066k| 1.7 | 500M| 683 | - |1900 |5285 |1900 | 219 | 88k| 209k|2102 | 0.000000e+00 | 6.965000e+03 | Inf
467.61/467.63 c 441s|620000 |436197 | 1069k| 1.7 | 502M| 683 | 0 |1900 |5599 |1900 | 217 | 89k| 209k|2105 | 0.000000e+00 | 6.965000e+03 | Inf
470.10/470.13 o 6944
470.10/470.13 c * 443s|622845 |437259 | 1078k| 1.7 | 504M| 683 | - |1900 |6117 |1900 | 221 | 89k| 211k|2113 | 0.000000e+00 | 6.944000e+03 | Inf
476.31/476.38 c 449s|630000 |443507 | 1095k| 1.7 | 512M| 683 | 0 |1900 |6243 |1900 | 215 | 91k| 215k|2172 | 0.000000e+00 | 6.944000e+03 | Inf
484.30/484.38 c 457s|640000 |452263 | 1117k| 1.7 | 524M| 683 | 0 |1900 |5459 |1900 | 196 | 93k| 219k|2190 | 0.000000e+00 | 6.944000e+03 | Inf
492.71/492.71 c 465s|650000 |460913 | 1139k| 1.8 | 537M| 683 | 0 |1900 |5227 |1900 | 229 | 95k| 224k|2314 | 0.000000e+00 | 6.944000e+03 | Inf
500.51/500.58 c 472s|660000 |469657 | 1157k| 1.8 | 549M| 683 | 0 |1900 |4909 |1900 | 214 | 97k| 228k|2341 | 0.000000e+00 | 6.944000e+03 | Inf
508.60/508.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.60/508.62 c 480s|670000 |478460 | 1179k| 1.8 | 561M| 683 | 0 |1900 |5303 |1900 | 201 | 100k| 233k|2388 | 0.000000e+00 | 6.944000e+03 | Inf
516.40/516.49 c 487s|680000 |487206 | 1199k| 1.8 | 573M| 683 | 0 |1900 |5306 |1900 | 209 | 101k| 237k|2419 | 0.000000e+00 | 6.944000e+03 | Inf
523.30/523.36 o 6912
523.30/523.36 c * 494s|688810 |492770 | 1212k| 1.8 | 580M| 683 | - |1900 |4983 |1900 | 212 | 103k| 241k|2434 | 0.000000e+00 | 6.912000e+03 | Inf
524.31/524.33 c 494s|690000 |493762 | 1213k| 1.8 | 582M| 683 | - |1900 |5375 | 0 | 0 | 103k| 241k|2438 | 0.000000e+00 | 6.912000e+03 | Inf
532.31/532.32 c 502s|700000 |502490 | 1236k| 1.8 | 594M| 683 | 0 |1900 |5742 |1900 | 199 | 105k| 246k|2452 | 0.000000e+00 | 6.912000e+03 | Inf
540.01/540.07 c 509s|710000 |511155 | 1251k| 1.8 | 605M| 683 | 0 |1900 |5436 |1900 | 212 | 106k| 251k|2494 | 0.000000e+00 | 6.912000e+03 | Inf
548.10/548.16 c 517s|720000 |519925 | 1271k| 1.8 | 618M| 683 | 0 |1900 |5519 |1900 | 224 | 109k| 256k|2548 | 0.000000e+00 | 6.912000e+03 | Inf
556.31/556.36 c 525s|730000 |528504 | 1292k| 1.8 | 629M| 683 | 0 |1900 |5861 |1900 | 216 | 111k| 261k|2570 | 0.000000e+00 | 6.912000e+03 | Inf
564.40/564.42 c 532s|740000 |537004 | 1312k| 1.8 | 641M| 683 | 0 |1900 |5958 |1900 | 212 | 113k| 266k|2599 | 0.000000e+00 | 6.912000e+03 | Inf
565.21/565.26 o 6819
565.21/565.26 c * 533s|740977 |531460 | 1314k| 1.8 | 633M| 683 | - |1900 |6229 |1900 | 217 | 113k| 266k|2605 | 0.000000e+00 | 6.819000e+03 | Inf
565.31/565.32 o 6804
565.31/565.32 c * 533s|741033 |530460 | 1315k| 1.8 | 631M| 683 | - |1900 |6239 |1900 | 212 | 113k| 266k|2605 | 0.000000e+00 | 6.804000e+03 | Inf
565.31/565.36 o 6619
565.31/565.36 c * 533s|741038 |517007 | 1315k| 1.8 | 610M| 683 | - |1900 |6239 |1900 | 212 | 113k| 266k|2605 | 0.000000e+00 | 6.619000e+03 | Inf
565.31/565.38 o 6576
565.31/565.38 c * 533s|741039 |513717 | 1315k| 1.8 | 604M| 683 | - |1900 |6239 |1900 | 212 | 113k| 266k|2605 | 0.000000e+00 | 6.576000e+03 | Inf
568.20/568.29 o 6513
568.20/568.29 c * 536s|744495 |511930 | 1321k| 1.8 | 600M| 683 | - |1900 |6168 |1900 | 189 | 114k| 268k|2607 | 0.000000e+00 | 6.513000e+03 | Inf
568.31/568.31 o 6446
568.31/568.31 c * 536s|744496 |506745 | 1321k| 1.8 | 592M| 683 | - |1900 |6167 |1900 | 189 | 114k| 268k|2607 | 0.000000e+00 | 6.446000e+03 | Inf
573.01/573.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.01/573.00 c 540s|750000 |511520 | 1335k| 1.8 | 599M| 683 | 0 |1900 |6328 |1900 | 224 | 115k| 271k|2618 | 0.000000e+00 | 6.446000e+03 | Inf
582.01/582.05 c 549s|760000 |520184 | 1380k| 1.8 | 612M| 683 | 0 |1900 |6405 |1900 | 199 | 117k| 276k|2717 | 0.000000e+00 | 6.446000e+03 | Inf
590.41/590.47 c 557s|770000 |528621 | 1405k| 1.8 | 624M| 683 | 0 |1900 |5826 |1900 | 184 | 120k| 282k|2748 | 0.000000e+00 | 6.446000e+03 | Inf
598.71/598.75 c 565s|780000 |537150 | 1427k| 1.8 | 636M| 683 | 0 |1900 |6014 |1900 | 199 | 122k| 287k|2776 | 0.000000e+00 | 6.446000e+03 | Inf
607.30/607.38 c 573s|790000 |545371 | 1458k| 1.8 | 647M| 683 | 0 |1900 |5750 |1900 | 209 | 124k| 292k|2797 | 0.000000e+00 | 6.446000e+03 | Inf
615.81/615.87 c 581s|800000 |553704 | 1485k| 1.9 | 660M| 683 | 0 |1900 |5889 |1900 | 203 | 126k| 298k|2877 | 0.000000e+00 | 6.446000e+03 | Inf
624.51/624.57 c 590s|810000 |561992 | 1516k| 1.9 | 673M| 683 | 0 |1900 |6586 |1900 | 199 | 129k| 304k|2918 | 0.000000e+00 | 6.446000e+03 | Inf
633.51/633.59 c 598s|820000 |570405 | 1561k| 1.9 | 685M| 683 | 0 |1900 |6135 |1900 | 203 | 131k| 309k|2950 | 0.000000e+00 | 6.446000e+03 | Inf
639.50/639.50 o 6424
639.50/639.50 c * 604s|826963 |574576 | 1585k| 1.9 | 691M| 683 | - |1900 |5682 |1900 | 210 | 132k| 312k|3000 | 0.000000e+00 | 6.424000e+03 | Inf
639.50/639.51 o 6420
639.50/639.51 c * 604s|826967 |574297 | 1585k| 1.9 | 690M| 683 | - |1900 |5682 |1900 | 210 | 132k| 312k|3000 | 0.000000e+00 | 6.420000e+03 | Inf
639.50/639.52 o 6403
639.50/639.52 c * 604s|826968 |573037 | 1585k| 1.9 | 688M| 683 | - |1900 |5682 |1900 | 210 | 132k| 312k|3000 | 0.000000e+00 | 6.403000e+03 | Inf
642.11/642.18 c 606s|830000 |575650 | 1597k| 1.9 | 692M| 683 | 0 |1900 |5420 |1900 | 198 | 133k| 314k|3003 | 0.000000e+00 | 6.403000e+03 | Inf
650.81/650.86 c 615s|840000 |583923 | 1630k| 1.9 | 704M| 683 | 0 |1900 |5481 |1900 | 194 | 135k| 319k|3021 | 0.000000e+00 | 6.403000e+03 | Inf
658.82/658.82 c 622s|850000 |592483 | 1657k| 1.9 | 716M| 683 | 0 |1900 |5851 |1900 | 207 | 136k| 323k|3046 | 0.000000e+00 | 6.403000e+03 | Inf
667.00/667.07 c 630s|860000 |600967 | 1682k| 2.0 | 729M| 683 | 0 |1900 |5805 |1900 | 209 | 139k| 328k|3094 | 0.000000e+00 | 6.403000e+03 | Inf
675.51/675.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.51/675.57 c 638s|870000 |609383 | 1713k| 2.0 | 741M| 683 | 0 |1900 |5944 |1900 | 225 | 141k| 334k|3126 | 0.000000e+00 | 6.403000e+03 | Inf
683.50/683.59 c 646s|880000 |617961 | 1733k| 2.0 | 753M| 683 | - |1900 |5412 | 0 | 0 | 143k| 338k|3198 | 0.000000e+00 | 6.403000e+03 | Inf
692.81/692.81 c 655s|890000 |625954 | 1769k| 2.0 | 766M| 683 | 0 |1900 |6091 |1900 | 203 | 145k| 345k|3299 | 0.000000e+00 | 6.403000e+03 | Inf
700.51/700.60 c 662s|900000 |634546 | 1787k| 2.0 | 778M| 683 | 0 |1900 |5749 |1900 | 223 | 147k| 350k|3306 | 0.000000e+00 | 6.403000e+03 | Inf
708.51/708.58 c 669s|910000 |643071 | 1809k| 2.0 | 791M| 683 | 0 |1900 |6502 |1900 | 207 | 149k| 354k|3314 | 0.000000e+00 | 6.403000e+03 | Inf
716.61/716.68 c 677s|920000 |651617 | 1829k| 2.0 | 802M| 683 | 0 |1900 |6240 |1900 | 216 | 151k| 359k|3347 | 0.000000e+00 | 6.403000e+03 | Inf
725.21/725.21 c 685s|930000 |660021 | 1856k| 2.0 | 815M| 683 | 0 |1900 |6525 |1900 | 199 | 153k| 366k|3406 | 0.000000e+00 | 6.403000e+03 | Inf
733.01/733.06 c 693s|940000 |668653 | 1874k| 2.0 | 827M| 683 | 0 |1900 |6313 |1900 | 213 | 155k| 370k|3416 | 0.000000e+00 | 6.403000e+03 | Inf
741.31/741.37 c 700s|950000 |677208 | 1901k| 2.0 | 840M| 683 | 0 |1900 |6487 |1900 | 210 | 156k| 375k|3435 | 0.000000e+00 | 6.403000e+03 | Inf
750.31/750.32 c 709s|960000 |685677 | 1947k| 2.0 | 852M| 683 | 0 |1900 |6035 |1900 | 197 | 159k| 380k|3482 | 0.000000e+00 | 6.403000e+03 | Inf
758.31/758.32 c 716s|970000 |694167 | 1968k| 2.0 | 864M| 683 | 0 |1900 |5583 |1900 | 226 | 161k| 385k|3514 | 0.000000e+00 | 6.403000e+03 | Inf
763.71/763.73 o 6274
763.71/763.73 c * 722s|976625 |687909 | 1982k| 2.0 | 854M| 683 | - |1900 |5770 |1900 | 213 | 162k| 388k|3529 | 0.000000e+00 | 6.274000e+03 | Inf
766.51/766.59 c 724s|980000 |690763 | 1991k| 2.0 | 858M| 683 | 0 |1900 |5732 |1900 | 211 | 162k| 390k|3533 | 0.000000e+00 | 6.274000e+03 | Inf
775.11/775.16 o 6163
775.11/775.16 c * 732s|989571 |688262 | 2030k| 2.1 | 853M| 683 | - |1900 |5400 |1900 | 211 | 165k| 395k|3582 | 0.000000e+00 | 6.163000e+03 | Inf
775.52/775.56 c 733s|990000 |688600 | 2031k| 2.1 | 853M| 683 | 0 |1900 |5569 |1900 | 202 | 165k| 395k|3582 | 0.000000e+00 | 6.163000e+03 | Inf
783.71/783.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.71/783.76 c 740s| 1000k|697120 | 2052k| 2.1 | 866M| 683 | 0 |1900 |5292 |1900 | 218 | 167k| 399k|3600 | 0.000000e+00 | 6.163000e+03 | Inf
792.41/792.47 c 749s| 1010k|705528 | 2090k| 2.1 | 879M| 683 | 0 |1900 |6154 |1900 | 199 | 169k| 404k|3622 | 0.000000e+00 | 6.163000e+03 | Inf
800.82/800.87 c 757s| 1020k|713970 | 2116k| 2.1 | 891M| 683 | 0 |1900 |5554 |1900 | 208 | 171k| 409k|3671 | 0.000000e+00 | 6.163000e+03 | Inf
809.51/809.53 c 765s| 1030k|722295 | 2152k| 2.1 | 903M| 683 | 0 |1900 |6224 |1900 | 203 | 174k| 414k|3689 | 0.000000e+00 | 6.163000e+03 | Inf
817.71/817.74 c 772s| 1040k|730684 | 2176k| 2.1 | 916M| 683 | - |1900 |6156 | 0 | 0 | 175k| 419k|3721 | 0.000000e+00 | 6.163000e+03 | Inf
827.22/827.26 c 781s| 1050k|739031 | 2229k| 2.1 | 929M| 683 | 0 |1900 |7066 |1900 | 215 | 178k| 425k|3845 | 0.000000e+00 | 6.163000e+03 | Inf
835.61/835.69 c 789s| 1060k|747296 | 2249k| 2.1 | 941M| 683 | 0 |1900 |5745 |1900 | 203 | 180k| 430k|3863 | 0.000000e+00 | 6.163000e+03 | Inf
837.71/837.71 o 6161
837.71/837.71 c * 791s| 1062k|749103 | 2258k| 2.1 | 944M| 683 | - |1900 |5814 |1900 | 224 | 181k| 432k|3875 | 0.000000e+00 | 6.161000e+03 | Inf
837.71/837.73 o 6112
837.71/837.73 c * 791s| 1062k|744138 | 2258k| 2.1 | 936M| 683 | - |1900 |5814 |1900 | 224 | 181k| 432k|3875 | 0.000000e+00 | 6.112000e+03 | Inf
844.11/844.17 c 797s| 1070k|750626 | 2279k| 2.1 | 945M| 683 | 0 |1900 |6004 |1900 | 198 | 182k| 435k|3902 | 0.000000e+00 | 6.112000e+03 | Inf
852.52/852.56 c 805s| 1080k|758905 | 2305k| 2.1 | 957M| 683 | 0 |1900 |5983 |1900 | 221 | 184k| 440k|3926 | 0.000000e+00 | 6.112000e+03 | Inf
861.11/861.14 c 813s| 1090k|767287 | 2334k| 2.1 | 970M| 683 | 0 |1900 |5399 |1900 | 196 | 187k| 445k|3958 | 0.000000e+00 | 6.112000e+03 | Inf
869.42/869.41 c 821s| 1100k|775480 | 2358k| 2.1 | 982M| 683 | 0 |1900 |5643 |1900 | 214 | 189k| 450k|3982 | 0.000000e+00 | 6.112000e+03 | Inf
877.82/877.88 c 829s| 1110k|783723 | 2386k| 2.1 | 995M| 683 | 0 |1900 |6407 |1900 | 188 | 191k| 456k|4002 | 0.000000e+00 | 6.112000e+03 | Inf
880.41/880.42 o 6103
880.41/880.42 c * 832s| 1113k|785573 | 2391k| 2.1 | 997M| 683 | - |1900 |5710 |1900 | 199 | 192k| 457k|4011 | 0.000000e+00 | 6.103000e+03 | Inf
880.41/880.44 o 6073
880.41/880.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.41/880.44 c * 832s| 1113k|782265 | 2391k| 2.1 | 992M| 683 | - |1900 |5710 |1900 | 199 | 192k| 457k|4011 | 0.000000e+00 | 6.073000e+03 | Inf
881.81/881.84 o 5960
881.81/881.84 c * 833s| 1114k|770089 | 2396k| 2.1 | 970M| 683 | - |1900 |5903 |1900 | 192 | 192k| 458k|4014 | 0.000000e+00 | 5.960000e+03 | Inf
884.51/884.51 o 5906
884.51/884.51 c * 835s| 1117k|765887 | 2402k| 2.1 | 962M| 683 | - |1900 |5891 |1900 | 204 | 193k| 460k|4024 | 0.000000e+00 | 5.906000e+03 | Inf
886.52/886.51 c 837s| 1120k|767874 | 2407k| 2.1 | 965M| 683 | 0 |1900 |5857 |1900 | 211 | 194k| 461k|4036 | 0.000000e+00 | 5.906000e+03 | Inf
894.51/894.53 c 845s| 1130k|776362 | 2424k| 2.1 | 977M| 683 | 0 |1900 |5674 |1900 | 204 | 196k| 465k|4068 | 0.000000e+00 | 5.906000e+03 | Inf
903.12/903.11 c 853s| 1140k|784543 | 2455k| 2.2 | 989M| 683 | 0 |1900 |6385 |1900 | 219 | 198k| 471k|4076 | 0.000000e+00 | 5.906000e+03 | Inf
911.71/911.78 c 861s| 1150k|792826 | 2485k| 2.2 |1002M| 683 | 0 |1900 |6140 |1900 | 210 | 200k| 476k|4122 | 0.000000e+00 | 5.906000e+03 | Inf
920.81/920.86 c 870s| 1160k|800825 | 2525k| 2.2 |1015M| 683 | 0 |1900 |6476 |1900 | 219 | 203k| 482k|4142 | 0.000000e+00 | 5.906000e+03 | Inf
929.42/929.46 c 878s| 1170k|808990 | 2551k| 2.2 |1027M| 683 | 0 |1900 |5553 |1900 | 190 | 205k| 487k|4208 | 0.000000e+00 | 5.906000e+03 | Inf
932.92/932.99 o 5786
932.92/932.99 c * 881s| 1174k|797036 | 2557k| 2.2 |1006M| 683 | - |1900 |5767 |1900 | 209 | 206k| 489k|4208 | 0.000000e+00 | 5.786000e+03 | Inf
933.02/933.00 o 5769
933.02/933.00 c * 881s| 1174k|794820 | 2557k| 2.2 |1002M| 683 | - |1900 |5767 |1900 | 209 | 206k| 489k|4208 | 0.000000e+00 | 5.769000e+03 | Inf
933.22/933.24 o 5735
933.22/933.24 c * 882s| 1174k|790627 | 2558k| 2.2 | 994M| 683 | - |1900 |5758 |1900 | 203 | 206k| 489k|4208 | 0.000000e+00 | 5.735000e+03 | Inf
933.22/933.25 o 5718
933.22/933.25 c * 882s| 1174k|788418 | 2558k| 2.2 | 990M| 683 | - |1900 |5758 |1900 | 203 | 206k| 489k|4208 | 0.000000e+00 | 5.718000e+03 | Inf
937.72/937.77 c 886s| 1180k|792834 | 2573k| 2.2 | 997M| 683 | 0 |1900 |6096 |1900 | 209 | 208k| 491k|4219 | 0.000000e+00 | 5.718000e+03 | Inf
946.41/946.44 c 894s| 1190k|801026 | 2605k| 2.2 |1008M| 683 | 0 |1900 |5493 |1900 | 215 | 210k| 497k|4250 | 0.000000e+00 | 5.718000e+03 | Inf
955.51/955.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.51/955.55 c 903s| 1200k|809351 | 2647k| 2.2 |1021M| 683 | 0 |1900 |5078 |1900 | 219 | 212k| 501k|4308 | 0.000000e+00 | 5.718000e+03 | Inf
964.31/964.39 c 911s| 1210k|817638 | 2683k| 2.2 |1034M| 683 | 0 |1900 |5838 |1900 | 190 | 214k| 506k|4320 | 0.000000e+00 | 5.718000e+03 | Inf
973.21/973.26 c 920s| 1220k|825900 | 2719k| 2.2 |1046M| 683 | 0 |1900 |5582 |1900 | 207 | 217k| 512k|4392 | 0.000000e+00 | 5.718000e+03 | Inf
981.92/981.98 c 928s| 1230k|834158 | 2751k| 2.2 |1059M| 683 | 0 |1900 |6472 |1900 | 210 | 219k| 517k|4426 | 0.000000e+00 | 5.718000e+03 | Inf
990.82/990.84 c 936s| 1240k|842561 | 2786k| 2.2 |1071M| 683 | - |1900 |6048 | 0 | 0 | 222k| 522k|4469 | 0.000000e+00 | 5.718000e+03 | Inf
999.02/999.05 c 944s| 1250k|851172 | 2809k| 2.2 |1084M| 683 | 0 |1900 |5231 |1900 | 196 | 224k| 526k|4492 | 0.000000e+00 | 5.718000e+03 | Inf
1007.42/1007.49 c 952s| 1260k|859717 | 2837k| 2.3 |1097M| 683 | 0 |1900 |6859 |1900 | 203 | 226k| 531k|4512 | 0.000000e+00 | 5.718000e+03 | Inf
1016.21/1016.24 c 960s| 1270k|868037 | 2870k| 2.3 |1109M| 683 | 0 |1900 |6163 |1900 | 199 | 229k| 536k|4537 | 0.000000e+00 | 5.718000e+03 | Inf
1025.42/1025.43 c 969s| 1280k|876333 | 2914k| 2.3 |1122M| 683 | 0 |1900 |5855 |1900 | 211 | 231k| 541k|4611 | 0.000000e+00 | 5.718000e+03 | Inf
1034.92/1034.90 c 978s| 1290k|884668 | 2952k| 2.3 |1136M| 683 | 0 |1900 |5894 |1900 | 203 | 235k| 547k|4659 | 0.000000e+00 | 5.718000e+03 | Inf
1043.62/1043.64 c 986s| 1300k|892771 | 2987k| 2.3 |1148M| 683 | 0 |1900 |5813 |1900 | 198 | 237k| 552k|4683 | 0.000000e+00 | 5.718000e+03 | Inf
1051.92/1051.99 c 994s| 1310k|901097 | 3014k| 2.3 |1161M| 683 | 0 |1900 |6822 |1900 | 204 | 239k| 557k|4711 | 0.000000e+00 | 5.718000e+03 | Inf
1057.92/1057.98 o 5671
1057.92/1057.98 c *1000s| 1316k|900075 | 3041k| 2.3 |1156M| 683 | - |1900 |5958 |1900 | 198 | 240k| 561k|4772 | 0.000000e+00 | 5.671000e+03 | Inf
1058.02/1058.01 o 5604
1058.02/1058.01 c *1000s| 1316k|890232 | 3041k| 2.3 |1138M| 683 | - |1900 |5957 |1900 | 198 | 240k| 561k|4772 | 0.000000e+00 | 5.604000e+03 | Inf
1058.42/1058.43 o 5517
1058.42/1058.43 c *1000s| 1317k|877484 | 3042k| 2.3 |1113M| 683 | - |1900 |5827 |1900 | 192 | 240k| 561k|4772 | 0.000000e+00 | 5.517000e+03 | Inf
1058.92/1058.99 o 5327
1058.92/1058.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.92/1058.99 c *1001s| 1317k|845559 | 3045k| 2.3 |1045M| 683 | - |1900 |5855 |1900 | 206 | 240k| 561k|4773 | 0.000000e+00 | 5.327000e+03 | Inf
1061.02/1061.09 c 1003s| 1320k|847610 | 3054k| 2.3 |1048M| 683 | 0 |1900 |5788 |1900 | 200 | 241k| 562k|4777 | 0.000000e+00 | 5.327000e+03 | Inf
1069.42/1069.40 c 1011s| 1330k|856043 | 3079k| 2.3 |1060M| 683 | 0 |1900 |5203 |1900 | 205 | 243k| 566k|4816 | 0.000000e+00 | 5.327000e+03 | Inf
1078.62/1078.61 c 1019s| 1340k|864083 | 3119k| 2.3 |1073M| 683 | 0 |1900 |6493 |1900 | 221 | 246k| 573k|4847 | 0.000000e+00 | 5.327000e+03 | Inf
1085.91/1085.95 o 5299
1085.91/1085.95 c *1026s| 1347k|865428 | 3156k| 2.3 |1073M| 683 | - |1900 |6125 |1900 | 213 | 248k| 576k|4858 | 0.000000e+00 | 5.299000e+03 | Inf
1088.32/1088.35 c 1029s| 1350k|867221 | 3172k| 2.3 |1076M| 683 | 0 |1900 |6206 |1900 | 217 | 249k| 578k|4866 | 0.000000e+00 | 5.299000e+03 | Inf
1097.41/1097.46 c 1037s| 1360k|875464 | 3211k| 2.4 |1088M| 683 | 0 |1900 |5809 |1900 | 212 | 252k| 583k|4898 | 0.000000e+00 | 5.299000e+03 | Inf
1107.92/1107.98 c 1047s| 1370k|883752 | 3296k| 2.4 |1101M| 683 | 0 |1900 |6114 |1900 | 230 | 255k| 588k|4970 | 0.000000e+00 | 5.299000e+03 | Inf
1117.12/1117.17 c 1056s| 1380k|892011 | 3341k| 2.4 |1114M| 683 | 0 |1900 |5491 |1900 | 202 | 258k| 593k|5021 | 0.000000e+00 | 5.299000e+03 | Inf
1126.12/1126.18 c 1064s| 1390k|900249 | 3382k| 2.4 |1128M| 683 | 0 |1900 |5356 |1900 | 197 | 260k| 598k|5056 | 0.000000e+00 | 5.299000e+03 | Inf
1135.82/1135.85 c 1073s| 1400k|908712 | 3439k| 2.5 |1141M| 683 | 0 |1900 |5994 |1900 | 209 | 264k| 603k|5105 | 0.000000e+00 | 5.299000e+03 | Inf
1145.42/1145.46 c 1083s| 1410k|917169 | 3496k| 2.5 |1154M| 683 | 0 |1900 |5911 |1900 | 200 | 266k| 608k|5162 | 0.000000e+00 | 5.299000e+03 | Inf
1154.52/1154.58 c 1091s| 1420k|925508 | 3540k| 2.5 |1166M| 683 | 0 |1900 |5537 |1900 | 233 | 269k| 613k|5221 | 0.000000e+00 | 5.299000e+03 | Inf
1162.42/1162.49 o 5284
1162.42/1162.49 c *1099s| 1428k|930009 | 3574k| 2.5 |1173M| 683 | - |1900 |6312 |1900 | 221 | 271k| 618k|5251 | 0.000000e+00 | 5.284000e+03 | Inf
1163.62/1163.63 c 1100s| 1430k|931106 | 3578k| 2.5 |1174M| 683 | 0 |1900 |6235 |1900 | 199 | 272k| 618k|5254 | 0.000000e+00 | 5.284000e+03 | Inf
1172.92/1172.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.92/1172.91 c 1108s| 1440k|939330 | 3625k| 2.5 |1187M| 683 | 0 |1900 |5516 |1900 | 202 | 274k| 623k|5283 | 0.000000e+00 | 5.284000e+03 | Inf
1181.62/1181.69 c 1117s| 1450k|947662 | 3666k| 2.5 |1200M| 683 | 0 |1900 |5493 |1900 | 206 | 276k| 628k|5313 | 0.000000e+00 | 5.284000e+03 | Inf
1190.03/1190.01 c 1125s| 1460k|956063 | 3694k| 2.5 |1212M| 683 | 0 |1900 |5209 |1900 | 220 | 279k| 633k|5347 | 0.000000e+00 | 5.284000e+03 | Inf
1199.12/1199.16 c 1133s| 1470k|964318 | 3727k| 2.5 |1226M| 683 | 0 |1900 |5664 |1900 | 199 | 282k| 638k|5406 | 0.000000e+00 | 5.284000e+03 | Inf
1208.43/1208.48 c 1142s| 1480k|972618 | 3763k| 2.5 |1240M| 683 | 0 |1900 |5496 |1900 | 228 | 286k| 644k|5452 | 0.000000e+00 | 5.284000e+03 | Inf
1217.52/1217.53 c 1151s| 1490k|980835 | 3802k| 2.6 |1252M| 683 | 0 |1900 |5309 |1900 | 218 | 289k| 649k|5467 | 0.000000e+00 | 5.284000e+03 | Inf
1227.92/1227.91 c 1160s| 1500k|989151 | 3880k| 2.6 |1265M| 683 | 0 |1900 |4847 |1900 | 225 | 292k| 654k|5532 | 0.000000e+00 | 5.284000e+03 | Inf
1237.62/1237.68 c 1170s| 1510k|997332 | 3941k| 2.6 |1278M| 683 | 0 |1900 |5174 |1900 | 214 | 295k| 659k|5593 | 0.000000e+00 | 5.284000e+03 | Inf
1246.52/1246.58 c 1178s| 1520k| 1005k| 3977k| 2.6 |1291M| 683 | 0 |1900 |5480 |1900 | 215 | 297k| 664k|5621 | 0.000000e+00 | 5.284000e+03 | Inf
1255.22/1255.27 c 1186s| 1530k| 1013k| 4010k| 2.6 |1304M| 683 | 0 |1900 |5411 |1900 | 208 | 300k| 668k|5650 | 0.000000e+00 | 5.284000e+03 | Inf
1264.12/1264.14 c 1195s| 1540k| 1022k| 4048k| 2.6 |1317M| 683 | 0 |1900 |6307 |1900 | 199 | 302k| 674k|5679 | 0.000000e+00 | 5.284000e+03 | Inf
1272.73/1272.76 o 5248
1272.73/1272.76 c *1203s| 1549k| 1023k| 4070k| 2.6 |1316M| 683 | - |1900 |6368 |1900 | 208 | 304k| 679k|5687 | 0.000000e+00 | 5.248000e+03 | Inf
1272.82/1272.80 c 1203s| 1550k| 1023k| 4070k| 2.6 |1316M| 683 | 0 |1900 |6375 |1900 | 204 | 304k| 679k|5687 | 0.000000e+00 | 5.248000e+03 | Inf
1275.73/1275.71 o 5243
1275.73/1275.71 c *1205s| 1553k| 1025k| 4076k| 2.6 |1319M| 683 | - |1900 |6130 |1900 | 220 | 305k| 681k|5693 | 0.000000e+00 | 5.243000e+03 | Inf
1275.73/1275.73 o 5240
1275.73/1275.73 c *1205s| 1553k| 1024k| 4076k| 2.6 |1317M| 683 | - |1900 |6130 |1900 | 220 | 305k| 681k|5693 | 0.000000e+00 | 5.240000e+03 | Inf
1281.92/1281.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.92/1281.91 c 1211s| 1560k| 1030k| 4098k| 2.6 |1326M| 683 | 0 |1900 |5788 |1900 | 197 | 307k| 684k|5716 | 0.000000e+00 | 5.240000e+03 | Inf
1291.12/1291.16 c 1220s| 1570k| 1038k| 4139k| 2.6 |1339M| 683 | 0 |1900 |6151 |1900 | 212 | 310k| 690k|5747 | 0.000000e+00 | 5.240000e+03 | Inf
1296.73/1296.74 o 5147
1296.73/1296.74 c *1225s| 1575k| 1024k| 4165k| 2.6 |1310M| 683 | - |1900 |5657 |1900 | 208 | 312k| 692k|5761 | 0.000000e+00 | 5.147000e+03 | Inf
1300.63/1300.61 c 1229s| 1580k| 1028k| 4180k| 2.6 |1315M| 683 | 0 |1900 |5591 |1900 | 202 | 313k| 694k|5789 | 0.000000e+00 | 5.147000e+03 | Inf
1309.92/1309.99 c 1238s| 1590k| 1036k| 4216k| 2.7 |1328M| 683 | 0 |1900 |5982 |1900 | 201 | 317k| 700k|5809 | 0.000000e+00 | 5.147000e+03 | Inf
1319.22/1319.21 c 1247s| 1600k| 1044k| 4255k| 2.7 |1341M| 683 | - |1900 |5819 |1900 | 231 | 320k| 705k|5829 | 0.000000e+00 | 5.147000e+03 | Inf
1328.22/1328.29 c 1255s| 1610k| 1052k| 4298k| 2.7 |1354M| 683 | - |1900 |6222 |1900 | 201 | 322k| 710k|5861 | 0.000000e+00 | 5.147000e+03 | Inf
1328.73/1328.74 o 5108
1328.73/1328.74 c *1255s| 1610k| 1045k| 4300k| 2.7 |1339M| 683 | - |1900 |6346 |1900 | 207 | 322k| 711k|5862 | 0.000000e+00 | 5.108000e+03 | Inf
1338.42/1338.48 c 1265s| 1620k| 1053k| 4369k| 2.7 |1351M| 683 | 0 |1900 |5998 |1900 | 249 | 325k| 715k|5881 | 0.000000e+00 | 5.108000e+03 | Inf
1347.73/1347.74 c 1273s| 1630k| 1061k| 4419k| 2.7 |1364M| 683 | 0 |1900 |5986 |1900 | 212 | 327k| 719k|5922 | 0.000000e+00 | 5.108000e+03 | Inf
1357.03/1357.01 c 1282s| 1640k| 1069k| 4464k| 2.7 |1376M| 683 | 0 |1900 |5607 |1900 | 195 | 330k| 724k|5972 | 0.000000e+00 | 5.108000e+03 | Inf
1366.03/1366.02 c 1291s| 1650k| 1077k| 4498k| 2.7 |1390M| 683 | 0 |1900 |6449 |1900 | 208 | 333k| 730k|6001 | 0.000000e+00 | 5.108000e+03 | Inf
1375.12/1375.19 c 1299s| 1660k| 1085k| 4541k| 2.7 |1403M| 683 | 0 |1900 |6355 |1900 | 199 | 335k| 735k|6034 | 0.000000e+00 | 5.108000e+03 | Inf
1384.23/1384.29 c 1308s| 1670k| 1094k| 4579k| 2.7 |1416M| 683 | 0 |1900 |6161 |1900 | 218 | 338k| 740k|6073 | 0.000000e+00 | 5.108000e+03 | Inf
1394.22/1394.20 c 1317s| 1680k| 1102k| 4643k| 2.8 |1429M| 683 | 0 |1900 |6630 |1900 | 209 | 341k| 746k|6115 | 0.000000e+00 | 5.108000e+03 | Inf
1403.32/1403.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1403.32/1403.31 c 1326s| 1690k| 1110k| 4689k| 2.8 |1441M| 683 | 0 |1900 |5920 |1900 | 209 | 344k| 751k|6145 | 0.000000e+00 | 5.108000e+03 | Inf
1412.23/1412.27 c 1334s| 1700k| 1118k| 4725k| 2.8 |1454M| 683 | 0 |1900 |6098 |1900 | 214 | 346k| 756k|6177 | 0.000000e+00 | 5.108000e+03 | Inf
1423.13/1423.15 c 1345s| 1710k| 1126k| 4814k| 2.8 |1467M| 683 | 0 |1900 |6265 |1900 | 206 | 349k| 762k|6257 | 0.000000e+00 | 5.108000e+03 | Inf
1432.03/1432.07 c 1353s| 1720k| 1134k| 4856k| 2.8 |1479M| 683 | 0 |1900 |6317 |1900 | 201 | 352k| 766k|6270 | 0.000000e+00 | 5.108000e+03 | Inf
1442.92/1442.96 c 1363s| 1730k| 1142k| 4943k| 2.9 |1493M| 683 | 0 |1900 |6640 |1900 | 200 | 355k| 773k|6349 | 0.000000e+00 | 5.108000e+03 | Inf
1454.14/1454.18 c 1374s| 1740k| 1150k| 5048k| 2.9 |1506M| 683 | 0 |1900 |6151 |1900 | 209 | 358k| 778k|6389 | 0.000000e+00 | 5.108000e+03 | Inf
1463.23/1463.27 c 1382s| 1750k| 1158k| 5088k| 2.9 |1519M| 683 | 0 |1900 |6190 |1900 | 191 | 361k| 783k|6427 | 0.000000e+00 | 5.108000e+03 | Inf
1471.84/1471.87 c 1390s| 1760k| 1166k| 5121k| 2.9 |1532M| 683 | 0 |1900 |6131 |1900 | 212 | 363k| 787k|6450 | 0.000000e+00 | 5.108000e+03 | Inf
1480.83/1480.80 c 1399s| 1770k| 1174k| 5155k| 2.9 |1545M| 683 | 0 |1900 |5669 |1900 | 207 | 365k| 792k|6484 | 0.000000e+00 | 5.108000e+03 | Inf
1490.23/1490.21 c 1408s| 1780k| 1183k| 5207k| 2.9 |1558M| 683 | - |1900 |5966 | 0 | 0 | 368k| 797k|6520 | 0.000000e+00 | 5.108000e+03 | Inf
1500.53/1500.54 c 1418s| 1790k| 1191k| 5281k| 3.0 |1571M| 683 | - |1900 |5384 | 0 | 0 | 371k| 802k|6565 | 0.000000e+00 | 5.108000e+03 | Inf
1510.13/1510.13 c 1427s| 1800k| 1199k| 5326k| 3.0 |1584M| 683 | 0 |1900 |6422 |1900 | 232 | 374k| 808k|6634 | 0.000000e+00 | 5.108000e+03 | Inf
1519.43/1519.43 c 1435s| 1810k| 1207k| 5375k| 3.0 |1597M| 683 | 0 |1900 |5852 |1900 | 199 | 377k| 813k|6654 | 0.000000e+00 | 5.108000e+03 | Inf
1529.63/1529.68 c 1445s| 1820k| 1215k| 5445k| 3.0 |1610M| 683 | 0 |1900 |5590 |1900 | 194 | 380k| 819k|6734 | 0.000000e+00 | 5.108000e+03 | Inf
1539.13/1539.15 c 1454s| 1830k| 1223k| 5500k| 3.0 |1622M| 683 | 0 |1900 |5835 |1900 | 210 | 383k| 824k|6755 | 0.000000e+00 | 5.108000e+03 | Inf
1548.13/1548.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.13/1548.12 c 1462s| 1840k| 1231k| 5539k| 3.0 |1636M| 683 | 0 |1900 |5792 |1900 | 208 | 386k| 829k|6768 | 0.000000e+00 | 5.108000e+03 | Inf
1556.13/1556.19 o 5086
1556.13/1556.19 c *1470s| 1848k| 1232k| 5592k| 3.0 |1638M| 683 | - |1900 |5935 |1900 | 223 | 389k| 833k|6801 | 0.000000e+00 | 5.086000e+03 | Inf
1556.33/1556.34 o 5001
1556.33/1556.34 c *1470s| 1848k| 1212k| 5593k| 3.0 |1601M| 683 | - |1900 |5876 |1900 | 225 | 389k| 833k|6801 | 0.000000e+00 | 5.001000e+03 | Inf
1556.43/1556.46 o 4879
1556.43/1556.46 c *1470s| 1848k| 1183k| 5593k| 3.0 |1546M| 683 | - |1900 |5875 |1900 | 227 | 389k| 833k|6801 | 0.000000e+00 | 4.879000e+03 | Inf
1556.63/1556.61 o 4713
1556.63/1556.61 c *1471s| 1848k| 1141k| 5593k| 3.0 |1471M| 683 | - |1900 |5875 |1900 | 227 | 389k| 833k|6801 | 0.000000e+00 | 4.713000e+03 | Inf
1556.73/1556.74 o 4625
1556.73/1556.74 c *1471s| 1848k| 1118k| 5594k| 3.0 |1430M| 683 | - |1900 |5833 |1900 | 213 | 389k| 833k|6801 | 0.000000e+00 | 4.625000e+03 | Inf
1556.73/1556.78 o 4594
1556.73/1556.78 c *1471s| 1848k| 1111k| 5594k| 3.0 |1415M| 683 | - |1900 |5833 |1900 | 213 | 389k| 833k|6801 | 0.000000e+00 | 4.594000e+03 | Inf
1558.53/1558.56 c 1472s| 1850k| 1112k| 5603k| 3.0 |1418M| 683 | 0 |1900 |5699 |1900 | 219 | 389k| 834k|6816 | 0.000000e+00 | 4.594000e+03 | Inf
1568.33/1568.34 c 1482s| 1860k| 1120k| 5647k| 3.0 |1431M| 683 | 0 |1900 |5836 |1900 | 217 | 393k| 840k|6884 | 0.000000e+00 | 4.594000e+03 | Inf
1577.33/1577.40 c 1490s| 1870k| 1128k| 5680k| 3.0 |1444M| 683 | 0 |1900 |5740 |1900 | 202 | 395k| 844k|6891 | 0.000000e+00 | 4.594000e+03 | Inf
1587.23/1587.27 c 1499s| 1880k| 1136k| 5732k| 3.0 |1457M| 683 | 0 |1900 |5278 |1900 | 210 | 399k| 849k|6917 | 0.000000e+00 | 4.594000e+03 | Inf
1599.53/1599.51 c 1511s| 1890k| 1143k| 5853k| 3.1 |1471M| 683 | 0 |1900 |6238 |1900 | 211 | 404k| 855k|6977 | 0.000000e+00 | 4.594000e+03 | Inf
1609.13/1609.15 c 1520s| 1900k| 1151k| 5904k| 3.1 |1484M| 683 | 0 |1900 |6407 |1900 | 225 | 407k| 860k|7004 | 0.000000e+00 | 4.594000e+03 | Inf
1619.33/1619.38 c 1530s| 1910k| 1159k| 5966k| 3.1 |1497M| 683 | 0 |1900 |5584 |1900 | 215 | 410k| 865k|7057 | 0.000000e+00 | 4.594000e+03 | Inf
1628.83/1628.84 c 1539s| 1920k| 1167k| 6004k| 3.1 |1511M| 683 | 0 |1900 |5774 |1900 | 209 | 413k| 870k|7086 | 0.000000e+00 | 4.594000e+03 | Inf
1639.04/1639.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1639.04/1639.09 c 1548s| 1930k| 1175k| 6063k| 3.1 |1524M| 683 | - |1900 |5918 | 0 | 0 | 416k| 875k|7155 | 0.000000e+00 | 4.594000e+03 | Inf
1650.04/1650.07 c 1559s| 1940k| 1183k| 6155k| 3.2 |1537M| 683 | 0 |1900 |5210 |1900 | 206 | 419k| 881k|7205 | 0.000000e+00 | 4.594000e+03 | Inf
1659.03/1659.06 c 1567s| 1950k| 1191k| 6192k| 3.2 |1550M| 683 | 0 |1900 |4996 |1900 | 212 | 422k| 885k|7235 | 0.000000e+00 | 4.594000e+03 | Inf
1668.33/1668.39 c 1576s| 1960k| 1199k| 6228k| 3.2 |1564M| 683 | 0 |1900 |5257 |1900 | 207 | 425k| 890k|7256 | 0.000000e+00 | 4.594000e+03 | Inf
1668.83/1668.89 o 4503
1668.83/1668.89 c *1576s| 1960k| 1175k| 6229k| 3.2 |1521M| 683 | - |1900 |5338 |1900 | 214 | 425k| 890k|7266 | 0.000000e+00 | 4.503000e+03 | Inf
1668.93/1668.94 o 4467
1668.93/1668.94 c *1577s| 1960k| 1165k| 6229k| 3.2 |1504M| 683 | - |1900 |5338 |1900 | 214 | 425k| 890k|7266 | 0.000000e+00 | 4.467000e+03 | Inf
1678.13/1678.15 c 1585s| 1970k| 1173k| 6271k| 3.2 |1517M| 683 | - |1900 |6147 | 0 | 0 | 428k| 895k|7294 | 0.000000e+00 | 4.467000e+03 | Inf
1678.83/1678.86 o 4292
1678.83/1678.86 c *1586s| 1970k| 1125k| 6279k| 3.2 |1418M| 683 | - |1900 |6232 |1900 | 257 | 429k| 896k|7302 | 0.000000e+00 | 4.292000e+03 | Inf
1688.83/1688.89 c 1595s| 1980k| 1133k| 6340k| 3.2 |1431M| 683 | 0 |1900 |6484 |1900 | 211 | 432k| 901k|7335 | 0.000000e+00 | 4.292000e+03 | Inf
1698.63/1698.60 c 1604s| 1990k| 1140k| 6384k| 3.2 |1443M| 683 | 0 |1900 |5463 |1900 | 202 | 434k| 906k|7373 | 0.000000e+00 | 4.292000e+03 | Inf
1708.53/1708.56 c 1614s| 2000k| 1148k| 6436k| 3.2 |1457M| 683 | 0 |1900 |6091 |1900 | 203 | 437k| 911k|7388 | 0.000000e+00 | 4.292000e+03 | Inf
1718.24/1718.25 c 1623s| 2010k| 1156k| 6482k| 3.2 |1471M| 683 | 0 |1900 |5905 |1900 | 198 | 441k| 916k|7423 | 0.000000e+00 | 4.292000e+03 | Inf
1728.43/1728.41 c 1633s| 2020k| 1163k| 6536k| 3.2 |1484M| 683 | 0 |1900 |5853 |1900 | 204 | 444k| 922k|7442 | 0.000000e+00 | 4.292000e+03 | Inf
1736.04/1736.07 o 4221
1736.04/1736.07 c *1640s| 2027k| 1148k| 6583k| 3.2 |1449M| 683 | - |1900 |6042 |1900 | 208 | 446k| 925k|7484 | 0.000000e+00 | 4.221000e+03 | Inf
1736.14/1736.19 o 4118
1736.14/1736.19 c *1640s| 2027k| 1116k| 6583k| 3.2 |1380M| 683 | - |1900 |6042 |1900 | 208 | 446k| 925k|7484 | 0.000000e+00 | 4.118000e+03 | Inf
1738.73/1738.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1738.73/1738.72 c 1642s| 2030k| 1118k| 6591k| 3.2 |1383M| 683 | 0 |1900 |5632 |1900 | 213 | 447k| 926k|7484 | 0.000000e+00 | 4.118000e+03 | Inf
1749.05/1749.05 c 1652s| 2040k| 1126k| 6645k| 3.3 |1398M| 683 | - |1900 |5106 | 0 | 0 | 451k| 932k|7549 | 0.000000e+00 | 4.118000e+03 | Inf
1758.84/1758.89 c 1661s| 2050k| 1134k| 6687k| 3.3 |1412M| 683 | - |1900 |6003 |1900 | 224 | 454k| 937k|7581 | 0.000000e+00 | 4.118000e+03 | Inf
1768.74/1768.72 c 1671s| 2060k| 1141k| 6734k| 3.3 |1426M| 683 | 0 |1900 |5581 |1900 | 208 | 457k| 942k|7613 | 0.000000e+00 | 4.118000e+03 | Inf
1778.84/1778.86 c 1680s| 2070k| 1149k| 6795k| 3.3 |1439M| 683 | 0 |1900 |5166 |1900 | 217 | 461k| 946k|7656 | 0.000000e+00 | 4.118000e+03 | Inf
1790.43/1790.48 c 1691s| 2080k| 1157k| 6883k| 3.3 |1454M| 683 | 0 |1900 |5899 |1900 | 215 | 465k| 952k|7696 | 0.000000e+00 | 4.118000e+03 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1700.22
1800.04/1800.01 c Solving Nodes : 2089212
1800.04/1800.01 c Primal Bound : +4.11800000000000e+03 (234 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.02 s SATISFIABLE
1800.04/1800.02 v -x200 x199 -x198 x197 -x196 x195 x194 -x193 -x192 x191 x190 -x189 x188 -x187 -x186 x185 x184 -x183 x182 -x181 -x180 x179 -x178
1800.04/1800.02 v x177 -x176 x175 x174 -x173 x172 -x171 -x170 x169 -x168 x167 x166 -x165 x164 -x163 -x162 x161 x160 -x159 -x158 x157 -x156 x155
1800.04/1800.02 v x154 -x153 x152 -x151 -x150 x149 -x148 x147 x146 -x145 -x144 x143 x142 -x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 x132
1800.04/1800.02 v -x131 -x130 x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109
1800.04/1800.02 v -x108 x107 -x106 x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 -x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 x86 -x85 x84
1800.04/1800.02 v -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 x58 -x57 -x56
1800.04/1800.02 v 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 x30 -x29 -x28
1800.04/1800.02 v 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
1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.02 c Solving Time : 1700.22
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-2700381-1278535269.wbo
1800.04/1800.02 c Variables : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.02 c Constraints : 1901 initial, 1901 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-2700381-1278535269.wbo
1800.04/1800.02 c Variables : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.02 c Constraints : 1800 initial, 7326 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.01 0 100 0 900 0 101 0 0
1800.04/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 0 - - 0 - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 2141650 0 0 95 0 0 15054
1800.04/1800.02 c indicator : 900 0 4015940 2134034 0 3660 32556920 0 0 0
1800.04/1800.02 c linear : 900 6 4011780 2133925 0 29104 2739980 468882 0 0
1800.04/1800.02 c logicor : 0+ 0 2379863 0 0 1434 1351447 0 0 0
1800.04/1800.02 c countsols : 0 0 0 1948499 0 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.02 c integral : 7.78 0.00 0.00 7.78 0.00
1800.04/1800.02 c indicator : 189.07 0.00 61.78 127.29 0.00
1800.04/1800.02 c linear : 100.99 0.00 43.25 57.74 0.00
1800.04/1800.02 c logicor : 34.72 0.00 34.72 0.00 0.00
1800.04/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.02 c vbounds : 0.01 2 0 0
1800.04/1800.02 c rootredcost : 0.01 134 0 0
1800.04/1800.02 c pseudoobj : 98.99 4156511 140771 25883119
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 9.80 171309 171292 831999 30.3 267393 3.8 -
1800.04/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.10 883 883 4730 25.4 1661 4.1 -
1800.04/1800.02 c applied globally : - - - 956566 21.6 - - -
1800.04/1800.02 c applied locally : - - - 0 0.0 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 3 - - 3 - (maximal pool size: 66)
1800.04/1800.02 c redcost : 84.38 2185367 0 5958297 0 0
1800.04/1800.02 c impliedbounds : 0.00 4 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.01 4 0 0 70 0
1800.04/1800.02 c strongcg : 0.00 4 0 0 0 0
1800.04/1800.02 c cmir : 0.01 4 0 0 0 0
1800.04/1800.02 c flowcover : 0.01 4 0 0 0 0
1800.04/1800.02 c clique : 0.00 1 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 1 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 7.76 7616 0 95 0 0 15054
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 157.75 1948365 0 0 0 0 3896730
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 2.12 - 134
1800.04/1800.02 c pseudo solutions : 0.00 - 0
1800.04/1800.02 c feaspump : 0.00 0 0
1800.04/1800.02 c intshifting : 0.01 2 0
1800.04/1800.02 c oneopt : 0.29 103 0
1800.04/1800.02 c crossover : 3.83 303 2
1800.04/1800.02 c pscostdiving : 1.88 3691 0
1800.04/1800.02 c fracdiving : 1.98 3691 0
1800.04/1800.02 c veclendiving : 1.72 3692 0
1800.04/1800.02 c linesearchdiving : 2.09 3692 0
1800.04/1800.02 c guideddiving : 1.81 3692 0
1800.04/1800.02 c coefdiving : 1.95 3692 0
1800.04/1800.02 c objpscostdiving : 1.99 3691 0
1800.04/1800.02 c rootsoldiving : 2.13 3691 0
1800.04/1800.02 c trivial : 0.00 2 1
1800.04/1800.02 c simplerounding : 0.18 8480 0
1800.04/1800.02 c zirounding : 0.00 1000 0
1800.04/1800.02 c rounding : 0.05 1304 0
1800.04/1800.02 c shifting : 0.28 368 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.01 1 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c nlp : 0.00 0 0
1800.04/1800.02 c trysol : 0.08 4497 97
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 656.44 452528 6927045 15.31 10552.44
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 0.17 109 10440 95.78 61411.76
1800.04/1800.02 c strong branching : 7.69 7742 133630 17.26 17377.11
1800.04/1800.02 c (at root node) : - 33 6711 203.36 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 2089212
1800.04/1800.02 c nodes (total) : 2089212
1800.04/1800.02 c nodes left : 1164361
1800.04/1800.02 c max depth : 683
1800.04/1800.02 c max depth (total): 683
1800.04/1800.02 c backtracks : 57677 (2.8%)
1800.04/1800.02 c delayed cutoffs : 42663
1800.04/1800.02 c repropagations : 287431 (14669707 domain reductions, 42662 cutoffs)
1800.04/1800.02 c avg switch length: 2.92
1800.04/1800.02 c switching time : 101.23
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 234 (135 improvements)
1800.04/1800.02 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.02 c Primal Bound : +4.11800000000000e+03 (in run 1, after 2027278 nodes, 1639.92 seconds, depth 83, found by <relaxation>)
1800.04/1800.02 c Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Root Iterations : 301
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700381-1278535269/watcher-2700381-1278535269 -o /tmp/evaluation-result-2700381-1278535269/solver-2700381-1278535269 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700381-1278535269.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 1.98 1.55 3/178 20286
/proc/meminfo: memFree=27984596/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=10848 CPUtime=0
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 1640 0 0 0 0 0 0 0 22 0 1 0 21741276 11108352 1561 4089446400 4194304 9819077 140734431303424 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20286/statm: 2712 1575 392 1374 0 1333 0
[startup+0.0296739 s]
/proc/loadavg: 2.01 1.98 1.55 3/178 20286
/proc/meminfo: memFree=27984596/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=21668 CPUtime=0.02
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 4548 0 0 0 2 0 0 0 22 0 1 0 21741276 22188032 4115 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 5417 4117 488 1374 0 4038 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21668
[startup+0.100661 s]
/proc/loadavg: 2.01 1.98 1.55 3/178 20286
/proc/meminfo: memFree=27984596/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=26500 CPUtime=0.09
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 6374 0 0 0 8 1 0 0 22 0 1 0 21741276 27136000 5110 4089446400 4194304 9819077 140734431303424 18446744073709551615 4865892 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 6625 5126 673 1374 0 5246 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26500
[startup+0.300624 s]
/proc/loadavg: 2.01 1.98 1.55 3/178 20286
/proc/meminfo: memFree=27984596/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=28248 CPUtime=0.29
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 10089 0 0 0 28 1 0 0 22 0 1 0 21741276 28925952 5880 4089446400 4194304 9819077 140734431303424 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 7062 5880 695 1374 0 5683 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28248
[startup+0.700552 s]
/proc/loadavg: 2.01 1.98 1.55 3/178 20286
/proc/meminfo: memFree=27984596/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=28608 CPUtime=0.69
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 10524 0 0 0 67 2 0 0 24 0 1 0 21741276 29294592 5887 4089446400 4194304 9819077 140734431303424 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 7152 5887 700 1374 0 5773 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28608
[startup+1.50041 s]
/proc/loadavg: 2.01 1.98 1.55 3/179 20287
/proc/meminfo: memFree=27962888/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=28068 CPUtime=1.49
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 11000 0 0 0 144 5 0 0 25 0 1 0 21741276 28741632 5890 4089446400 4194304 9819077 140734431303424 18446744073709551615 6162124 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 7017 5890 702 1374 0 5638 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28068
[startup+3.10013 s]
/proc/loadavg: 2.01 1.98 1.55 3/179 20287
/proc/meminfo: memFree=27962392/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=30612 CPUtime=3.09
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 23652 0 0 0 296 13 0 0 25 0 1 0 21741276 31346688 6329 4089446400 4194304 9819077 140734431303424 18446744073709551615 6566710 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 7653 6329 707 1374 0 6274 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30612
[startup+6.30057 s]
/proc/loadavg: 2.01 1.98 1.55 3/179 20288
/proc/meminfo: memFree=27953996/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=36496 CPUtime=6.29
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 35919 0 0 0 599 30 0 0 25 0 1 0 21741276 37371904 7735 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 9124 7735 707 1374 0 7745 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36496
[startup+12.7004 s]
/proc/loadavg: 2.00 1.98 1.55 3/179 20288
/proc/meminfo: memFree=27941364/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=45880 CPUtime=12.69
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 68940 0 0 0 1201 68 0 0 25 0 1 0 21741276 46981120 10073 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 11470 10073 707 1374 0 10091 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45880
[startup+25.5002 s]
/proc/loadavg: 2.08 2.00 1.56 3/179 20288
/proc/meminfo: memFree=27919916/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=65044 CPUtime=25.49
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 116278 0 0 0 2408 141 0 0 25 0 1 0 21741276 66605056 14921 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 16261 14921 707 1374 0 14882 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65044
[startup+51.1006 s]
/proc/loadavg: 2.05 2.00 1.57 3/179 20289
/proc/meminfo: memFree=27878728/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=103716 CPUtime=51.1
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 187030 0 0 0 4825 285 0 0 25 0 1 0 21741276 106205184 24181 4089446400 4194304 9819077 140734431303424 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 25842 24179 707 1374 0 24463 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 103716
[startup+102.307 s]
/proc/loadavg: 2.02 2.00 1.59 3/179 20290
/proc/meminfo: memFree=27774888/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=189248 CPUtime=102.3
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 344655 0 0 0 9655 575 0 0 25 0 1 0 21741276 193789952 45778 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 47312 45778 707 1374 0 45933 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 189248
[startup+162.301 s]
/proc/loadavg: 2.01 2.00 1.62 3/179 20292
/proc/meminfo: memFree=27690628/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=255416 CPUtime=162.29
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 548896 0 0 0 15296 933 0 0 25 0 1 0 21741276 261545984 62405 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 63854 62405 707 1374 0 62475 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 255416
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 1.64 3/179 20293
/proc/meminfo: memFree=27605384/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=326888 CPUtime=222.3
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 765076 0 0 0 20945 1285 0 0 25 0 1 0 21741276 334733312 79178 4089446400 4194304 9819077 140734431303424 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 81722 79178 707 1374 0 80343 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 326888
[startup+282.301 s]
/proc/loadavg: 2.01 2.01 1.66 3/179 20295
/proc/meminfo: memFree=27498796/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=419324 CPUtime=282.29
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 931895 0 0 0 26600 1629 0 0 25 0 1 0 21741276 429387776 101796 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 104831 101796 707 1374 0 103452 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 419324
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.68 3/179 20297
/proc/meminfo: memFree=27405488/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=488984 CPUtime=342.3
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 1149209 0 0 0 32252 1978 0 0 25 0 1 0 21741276 500719616 118833 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 122246 118833 707 1374 0 120867 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 488984
[startup+402.3 s]
/proc/loadavg: 1.93 1.98 1.69 3/179 20326
/proc/meminfo: memFree=27997428/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=552036 CPUtime=402.3
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 1374146 0 0 0 37912 2318 0 0 25 0 1 0 21741276 565284864 134224 4089446400 4194304 9819077 140734431303424 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 138009 134224 707 1374 0 136630 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 552036
[startup+462.301 s]
/proc/loadavg: 1.97 1.98 1.71 3/179 20328
/proc/meminfo: memFree=27863464/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=605532 CPUtime=462.3
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 1600027 0 0 0 43581 2649 0 0 25 0 1 0 21741276 620064768 147368 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 151383 147368 707 1374 0 150004 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 605532
[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.73 3/197 20374
/proc/meminfo: memFree=27900132/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=673528 CPUtime=522.31
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 1800172 0 0 0 49255 2976 0 0 25 0 1 0 21741276 689692672 161815 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 168382 161815 707 1374 0 167003 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 673528
[startup+582.3 s]
/proc/loadavg: 2.04 2.00 1.74 3/197 20376
/proc/meminfo: memFree=27827812/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=738272 CPUtime=582.3
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 2018138 0 0 0 54921 3309 0 0 25 0 1 0 21741276 755990528 177459 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 184568 177459 707 1374 0 183189 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 738272
[startup+642.301 s]
/proc/loadavg: 2.01 2.00 1.76 3/197 20378
/proc/meminfo: memFree=27774792/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=792768 CPUtime=642.31
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 2212047 0 0 0 60657 3574 0 0 25 0 1 0 21741276 811794432 190361 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 198192 190361 707 1374 0 196813 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 792768
[startup+702.3 s]
################
# More data... #
################
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 3427856 0 0 0 94717 5515 0 0 25 0 1 0 21741276 1251524608 291835 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 305548 291835 707 1374 0 304169 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1222192
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/197 20389
/proc/meminfo: memFree=27284136/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1306620 CPUtime=1062.32
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 3644141 0 0 0 100403 5829 0 0 25 0 1 0 21741276 1337978880 311437 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 326655 311437 707 1374 0 325276 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1306620
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 1.84 3/197 20390
/proc/meminfo: memFree=27278244/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1314176 CPUtime=1122.32
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 3864355 0 0 0 106066 6166 0 0 25 0 1 0 21741276 1345716224 312931 4089446400 4194304 9819077 140734431303424 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 328544 312931 707 1374 0 327165 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1314176
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.85 3/197 20392
/proc/meminfo: memFree=27223600/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1373748 CPUtime=1182.32
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 4096979 0 0 0 111734 6498 0 0 25 0 1 0 21741276 1406717952 326800 4089446400 4194304 9819077 140734431303424 18446744073709551615 7815988 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 343437 326800 707 1374 0 342058 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1373748
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.85 3/197 20403
/proc/meminfo: memFree=27149676/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1464056 CPUtime=1242.32
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 4317271 0 0 0 117402 6830 0 0 25 0 1 0 21741276 1499193344 344562 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 366014 344562 707 1374 0 364635 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1464056
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/197 20404
/proc/meminfo: memFree=27085868/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1531176 CPUtime=1302.33
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 4553966 0 0 0 123052 7181 0 0 25 0 1 0 21741276 1567924224 360276 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 382794 360276 707 1374 0 381415 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1531176
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/197 20406
/proc/meminfo: memFree=27041536/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1577312 CPUtime=1362.32
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 4784817 0 0 0 128722 7510 0 0 25 0 1 0 21741276 1615167488 371544 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 394328 371544 707 1374 0 392949 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1577312
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.87 3/197 20407
/proc/meminfo: memFree=26970048/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1649812 CPUtime=1422.33
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 5010005 0 0 0 134383 7850 0 0 25 0 1 0 21741276 1689407488 388987 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 412453 388987 707 1374 0 411074 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1649812
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/197 20409
/proc/meminfo: memFree=26895456/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1727060 CPUtime=1482.33
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 5232482 0 0 0 140034 8199 0 0 25 0 1 0 21741276 1768509440 407615 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 431765 407615 707 1374 0 430386 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1727060
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/197 20411
/proc/meminfo: memFree=26818756/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1811632 CPUtime=1542.33
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 5466586 0 0 0 145702 8531 0 0 25 0 1 0 21741276 1855111168 426689 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 452908 426689 707 1374 0 451529 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1811632
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/197 20412
/proc/meminfo: memFree=26795876/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1834816 CPUtime=1602.33
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 5701331 0 0 0 151358 8875 0 0 25 0 1 0 21741276 1878851584 432207 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 458704 432207 707 1374 0 457325 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1834816
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/197 20414
/proc/meminfo: memFree=26791228/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1839488 CPUtime=1662.33
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 5913272 0 0 0 157024 9209 0 0 25 0 1 0 21741276 1883635712 433203 4089446400 4194304 9819077 140734431303424 18446744073709551615 6003622 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 459872 433203 707 1374 0 458493 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1839488
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.90 3/197 20415
/proc/meminfo: memFree=26786548/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1846044 CPUtime=1722.33
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 6141326 0 0 0 162687 9546 0 0 25 0 1 0 21741276 1890349056 434378 4089446400 4194304 9819077 140734431303424 18446744073709551615 6589136 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 461511 434378 707 1374 0 460132 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1846044
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/197 20417
/proc/meminfo: memFree=26783752/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1848736 CPUtime=1782.34
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 6371030 0 0 0 168357 9877 0 0 25 0 1 0 21741276 1893105664 434971 4089446400 4194304 9819077 140734431303424 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 462184 434971 707 1374 0 460805 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1848736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.00 1.91 3/197 20417
/proc/meminfo: memFree=26782856/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1849772 CPUtime=1800.04
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 6441461 0 0 0 170022 9982 0 0 25 0 1 0 21741276 1894166528 435224 4089446400 4194304 9819077 140734431303424 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20286/statm: 462443 435224 707 1374 0 461064 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1849772
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -20286
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.00 1.91 3/198 20418
/proc/meminfo: memFree=26782724/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1849772 CPUtime=1801.44
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 6441580 0 0 0 170162 9982 0 0 19 0 1 0 21741276 1894166528 435225 4089446400 4194304 9819077 140734431303424 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20286/statm: 462443 435225 710 1374 0 461064 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 1849772
[startup+1801.81 s]
/proc/loadavg: 2.01 2.00 1.91 3/198 20418
/proc/meminfo: memFree=26782724/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1849772 CPUtime=1801.84
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 6441580 0 0 0 170202 9982 0 0 20 0 1 0 21741276 1894166528 435225 4089446400 4194304 9819077 140734431303424 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20286/statm: 462443 435225 710 1374 0 461064 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1849772
[startup+1802 s]
/proc/loadavg: 2.01 2.00 1.91 3/198 20418
/proc/meminfo: memFree=26782724/32951124 swapFree=67111528/67111528
[pid=20286] ppid=20284 vsize=1849772 CPUtime=1802.04
/proc/20286/stat : 20286 (pbscip.linux.x8) R 20284 20286 19755 0 -1 4202496 6441580 0 0 0 170222 9982 0 0 21 0 1 0 21741276 1894166528 435225 4089446400 4194304 9819077 140734431303424 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20286/statm: 462443 435225 710 1374 0 461064 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1849772
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.07
CPU time (s): 1802.12
CPU user time (s): 1702.23
CPU system time (s): 99.8888
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1854160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1702.23
system time used= 99.8888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6441580
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= 2
involuntary context switches= 2709
runsolver used 2.85656 second user time and 5.9001 second system time
The end
Begin job on node101 at 2010-07-07 22:41:09
IDJOB=2700381
IDBENCH=79423
IDSOLVER=1205
FILE ID=node101/2700381-1278535269
PBS_JOBID= 11239276
Free space on /tmp= 73612 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh303_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700381-1278535269/watcher-2700381-1278535269 -o /tmp/evaluation-result-2700381-1278535269/solver-2700381-1278535269 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700381-1278535269.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7000a06966de2ad9f6a697139e04f737
RANDOM SEED=865245098
node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.801
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.60
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.801
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.801
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.801
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.801
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.801
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.80
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.801
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.801
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 27985248 kB
Buffers: 131148 kB
Cached: 4021840 kB
SwapCached: 0 kB
Active: 2232280 kB
Inactive: 2569880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 27985248 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6256 kB
Writeback: 0 kB
AnonPages: 649572 kB
Mapped: 16868 kB
Slab: 97584 kB
PageTables: 6428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 805296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73608 MiB
End job on node101 at 2010-07-07 23:11:11