0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2693594-1277925832.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.13 o 135279
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.352790e+05
0.09/0.13 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.19 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 2707 implications, 0 cliques
0.09/0.19 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19 c 2707 constraints of type <indicator>
0.09/0.19 c 2707 constraints of type <linear>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.13
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = -1
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
3.29/3.36 c 3.3s| 10000 | 9601 | 0 | 0.0 | 24M|2816 | - |5645 |6721 | 0 | 0 | 0 |1309 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
4.79/4.85 o 522
4.79/4.85 c * 4.7s| 15333 | 13294 | 0 | 0.0 | 26M|2816 | - |5645 |6721 | 0 | 0 | 0 |1309 | 0 | 0.000000e+00 | 5.220000e+02 | Inf
4.89/4.91 o 450
4.89/4.91 c * 4.8s| 15461 | 9701 | 0 | 0.0 | 25M|2816 | - |5645 |6731 | 0 | 0 | 0 |1319 | 0 | 0.000000e+00 | 4.500000e+02 | Inf
4.99/5.08 o 418
4.99/5.08 c * 4.9s| 15853 | 8286 | 0 | 0.0 | 25M|2816 | - |5645 |6815 | 0 | 0 | 0 |1403 | 0 | 0.000000e+00 | 4.180000e+02 | Inf
4.99/5.08 o 403
4.99/5.08 c * 4.9s| 15854 | 7470 | 0 | 0.0 | 25M|2816 | - |5645 |6815 | 0 | 0 | 0 |1403 | 0 | 0.000000e+00 | 4.030000e+02 | Inf
5.08/5.12 o 356
5.08/5.12 c * 5.0s| 15970 | 7427 | 0 | 0.0 | 24M|2816 | - |5645 |6825 | 0 | 0 | 0 |1413 | 0 | 0.000000e+00 | 3.560000e+02 | Inf
5.08/5.13 o 341
5.08/5.13 c * 5.0s| 15971 | 7193 | 0 | 0.0 | 24M|2816 | - |5645 |6825 | 0 | 0 | 0 |1413 | 0 | 0.000000e+00 | 3.410000e+02 | Inf
5.08/5.18 o 333
5.08/5.18 c * 5.0s| 16091 | 7177 | 0 | 0.0 | 24M|2816 | - |5645 |6842 | 0 | 0 | 0 |1430 | 0 | 0.000000e+00 | 3.330000e+02 | Inf
5.08/5.18 o 318
5.08/5.18 c * 5.0s| 16092 | 6984 | 0 | 0.0 | 24M|2816 | - |5645 |6842 | 0 | 0 | 0 |1430 | 0 | 0.000000e+00 | 3.180000e+02 | Inf
5.18/5.29 o 267
5.18/5.29 c * 5.2s| 16400 | 6524 | 0 | 0.0 | 24M|2816 | - |5645 |6897 | 0 | 0 | 0 |1485 | 0 | 0.000000e+00 | 2.670000e+02 | Inf
5.29/5.32 o 225
5.29/5.32 c * 5.2s| 16473 | 6523 | 0 | 0.0 | 24M|2816 | - |5645 |6927 | 0 | 0 | 0 |1515 | 0 | 0.000000e+00 | 2.250000e+02 | Inf
5.29/5.40 o 144
5.29/5.40 c * 5.3s| 16722 | 6520 | 0 | 0.0 | 24M|2816 | - |5645 |7015 | 0 | 0 | 0 |1604 | 0 | 0.000000e+00 | 1.440000e+02 | Inf
5.29/5.40 o 136
5.29/5.40 c * 5.3s| 16723 | 6475 | 0 | 0.0 | 24M|2816 | - |5645 |7015 | 0 | 0 | 0 |1604 | 0 | 0.000000e+00 | 1.360000e+02 | Inf
5.39/5.46 o 106
5.39/5.46 c * 5.3s| 16920 | 6559 | 0 | 0.0 | 25M|2816 | - |5645 |7071 | 0 | 0 | 0 |1674 | 0 | 0.000000e+00 | 1.060000e+02 | Inf
6.48/6.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.48/6.53 c 6.4s| 20000 | 9168 | 0 | 0.0 | 28M|2816 | - |5645 |7829 | 0 | 0 | 0 |3753 | 0 | 0.000000e+00 | 1.060000e+02 | Inf
10.48/10.53 c 10.3s| 30000 | 16797 | 0 | 0.0 | 40M|2816 | - |5645 |8866 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
17.09/17.18 c 16.9s| 40000 | 23437 | 0 | 0.0 | 57M|2816 | - |5645 |8678 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
22.18/22.25 o 87
22.18/22.25 c *21.9s| 46419 | 28310 | 0 | 0.0 | 68M|2816 | - |5645 |8711 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
25.08/25.19 c 24.8s| 50000 | 31519 | 0 | 0.0 | 74M|2816 | - |5645 |7519 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
29.08/29.19 o 71
29.08/29.19 c *28.7s| 55425 | 34864 | 0 | 0.0 | 74M|2816 | - |5645 |7818 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
32.79/32.89 c 32.3s| 60000 | 38797 | 0 | 0.0 | 80M|2816 | - |5645 |7830 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
33.88/34.00 o 67
33.88/34.00 c *33.4s| 61561 | 39900 | 0 | 0.0 | 82M|2816 | - |5645 |7588 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
34.39/34.41 o 63
34.39/34.41 c *33.8s| 62278 | 40223 | 0 | 0.0 | 82M|2816 | - |5645 |7875 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
34.39/34.41 o 61
34.39/34.41 c *33.8s| 62279 | 40082 | 0 | 0.0 | 81M|2816 | - |5645 |7875 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
35.59/35.63 o 59
35.59/35.63 c *35.0s| 64109 | 41515 | 0 | 0.0 | 83M|2816 | - |5645 |7505 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
38.08/38.16 o 54
38.08/38.16 c *37.5s| 68759 | 45169 | 0 | 0.0 | 86M|2816 | - |5645 |7673 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
38.08/38.17 o 48
38.08/38.17 c *37.5s| 68760 | 44662 | 0 | 0.0 | 84M|2816 | - |5645 |7673 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
38.39/38.48 o 31
38.39/38.48 c *37.8s| 69385 | 43580 | 0 | 0.0 | 79M|2816 | - |5645 |7983 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
38.39/38.48 o 30
38.39/38.48 c *37.8s| 69386 | 43423 | 0 | 0.0 | 79M|2816 | - |5645 |7983 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
38.68/38.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.68/38.71 c 38.0s| 70000 | 43982 | 0 | 0.0 | 79M|2816 | - |5645 |7808 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
39.49/39.58 o 18
39.49/39.58 c *38.9s| 72249 | 45170 | 0 | 0.0 | 80M|2816 | - |5645 |8005 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
42.69/42.77 c 42.0s| 80000 | 51538 | 0 | 0.0 | 88M|2816 | - |5645 |8246 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
46.68/46.78 c 45.9s| 90000 | 59792 | 0 | 0.0 | 100M|2816 | - |5645 |7406 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
50.88/50.95 c 50.0s|100000 | 67727 | 0 | 0.0 | 111M|2816 | - |5645 |7347 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
55.19/55.28 c 54.3s|110000 | 75392 | 0 | 0.0 | 121M|2816 | - |5645 |8090 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
60.29/60.33 c 59.3s|120000 | 82553 | 0 | 0.0 | 132M|2816 | - |5645 |8686 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
65.78/65.85 c 64.7s|130000 | 89334 | 0 | 0.0 | 142M|2816 | - |5645 |9281 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
72.09/72.13 c 70.9s|140000 | 95450 | 0 | 0.0 | 154M|2816 | - |5645 |9906 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
78.48/78.51 c 77.2s|150000 |101466 | 0 | 0.0 | 165M|2816 | - |5645 | 10k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
84.99/85.09 c 83.7s|160000 |107290 | 0 | 0.0 | 176M|2816 | - |5645 | 11k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
92.09/92.12 c 90.6s|170000 |112806 | 0 | 0.0 | 187M|2816 | - |5645 | 12k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
100.78/100.89 c 99.3s|180000 |116987 | 0 | 0.0 | 198M|2816 | - |5645 | 13k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
111.09/111.11 c 109s|190000 |119962 | 0 | 0.0 | 208M|2816 | - |5645 | 14k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
114.19/114.24 o 11
114.19/114.24 c * 112s|192521 |119609 | 0 | 0.0 | 208M|2816 | - |5645 | 13k| 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
117.60/117.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.60/117.64 c 116s|200000 |126235 | 0 | 0.0 | 212M|2816 | - |5645 |6835 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
122.48/122.55 c 121s|210000 |134830 | 0 | 0.0 | 221M|2816 | - |5645 |7265 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
128.49/128.52 c 126s|220000 |142980 | 0 | 0.0 | 231M|2816 | - |5645 |8312 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
137.18/137.22 c 135s|230000 |149939 | 0 | 0.0 | 243M|2816 | - |5645 | 11k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
147.40/147.41 c 145s|240000 |155491 | 0 | 0.0 | 253M|2816 | - |5645 |9264 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
153.29/153.32 c 151s|250000 |162763 | 0 | 0.0 | 264M|2816 | - |5645 | 11k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
160.09/160.16 c 158s|260000 |168960 | 0 | 0.0 | 274M|2816 | - |5645 | 10k| 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
165.29/165.34 o 10
165.29/165.34 c * 163s|266343 |172552 | 0 | 0.0 | 282M|2816 | - |5645 | 13k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
168.89/168.98 c 166s|270000 |174070 | 0 | 0.0 | 285M|2816 | - |5645 | 11k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
174.89/174.96 c 172s|280000 |181567 | 0 | 0.0 | 297M|2816 | - |5645 | 13k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
182.39/182.46 c 180s|290000 |187558 | 0 | 0.0 | 307M|2816 | - |5645 | 12k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
190.39/190.45 c 188s|300000 |193556 | 0 | 0.0 | 320M|2816 | - |5645 | 13k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
197.59/197.66 c 195s|310000 |200388 | 0 | 0.0 | 332M|2816 | - |5645 | 15k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
203.89/203.99 o 5
203.89/203.99 c * 201s|317565 |203299 | 0 | 0.0 | 333M|2816 | - |5645 | 12k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
205.38/205.48 c 203s|320000 |205322 | 0 | 0.0 | 336M|2816 | - |5645 | 12k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
210.89/210.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.89/210.97 c 208s|330000 |212984 | 0 | 0.0 | 346M|2816 | - |5645 | 10k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
218.80/218.84 c 216s|340000 |217048 | 0 | 0.0 | 356M|2816 | - |5645 | 13k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
223.39/223.43 c 220s|350000 |224643 | 0 | 0.0 | 365M|2816 | - |5645 | 10k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
228.99/229.08 c 226s|360000 |230882 | 0 | 0.0 | 374M|2816 | - |5645 | 10k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
234.89/234.94 c 231s|370000 |237058 | 0 | 0.0 | 384M|2816 | - |5645 | 10k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
238.99/239.03 c 235s|380000 |245228 | 0 | 0.0 | 393M|2816 | - |5645 | 10k| 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
244.39/244.45 c 241s|390000 |252056 | 0 | 0.0 | 404M|2816 | - |5645 | 11k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
249.99/250.08 c 246s|400000 |258282 | 0 | 0.0 | 412M|2816 | - |5645 | 10k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
255.48/255.50 c 252s|410000 |264851 | 0 | 0.0 | 422M|2816 | - |5645 | 10k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
260.79/260.88 c 257s|420000 |271633 | 0 | 0.0 | 433M|2816 | - |5645 | 12k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
265.39/265.46 c 261s|430000 |279184 | 0 | 0.0 | 442M|2816 | - |5645 | 11k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
269.99/270.02 c 266s|440000 |286729 | 0 | 0.0 | 451M|2816 | - |5645 | 10k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
273.99/274.08 c 270s|450000 |294824 | 0 | 0.0 | 460M|2816 | - |5645 | 10k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
279.19/279.20 c 275s|460000 |302030 | 0 | 0.0 | 471M|2816 | - |5645 | 11k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
286.00/286.03 c 282s|470000 |307878 | 0 | 0.0 | 481M|2816 | - |5645 | 12k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
292.29/292.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.29/292.31 c 288s|480000 |314174 | 0 | 0.0 | 490M|2816 | - |5645 | 11k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
298.00/298.06 c 293s|490000 |320814 | 0 | 0.0 | 499M|2816 | - |5645 | 11k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
303.59/303.61 c 299s|500000 |327664 | 0 | 0.0 | 509M|2816 | - |5645 | 11k| 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
308.79/308.80 c 304s|510000 |334768 | 0 | 0.0 | 518M|2816 | - |5645 | 10k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
313.79/313.87 c 309s|520000 |342076 | 0 | 0.0 | 528M|2816 | - |5645 | 10k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
318.49/318.52 c 314s|530000 |349736 | 0 | 0.0 | 538M|2816 | - |5645 | 11k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
324.89/324.98 c 320s|540000 |355785 | 0 | 0.0 | 548M|2816 | - |5645 | 13k| 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
330.09/330.19 c 325s|550000 |363125 | 0 | 0.0 | 557M|2816 | - |5645 | 11k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
335.29/335.40 c 330s|560000 |370282 | 0 | 0.0 | 567M|2816 | - |5645 | 11k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
341.39/341.44 c 336s|570000 |376640 | 0 | 0.0 | 576M|2816 | - |5645 | 12k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
346.60/346.63 c 341s|580000 |383716 | 0 | 0.0 | 585M|2816 | - |5645 | 11k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
351.69/351.76 c 346s|590000 |390783 | 0 | 0.0 | 594M|2816 | - |5645 | 11k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
356.79/356.84 c 351s|600000 |397943 | 0 | 0.0 | 603M|2816 | - |5645 |7382 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
360.70/360.76 c 355s|610000 |406046 | 0 | 0.0 | 612M|2816 | - |5645 |6440 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
364.59/364.62 c 359s|620000 |414060 | 0 | 0.0 | 622M|2816 | - |5645 |6535 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
369.19/369.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.19/369.22 c 363s|630000 |421389 | 0 | 0.0 | 632M|2816 | - |5645 |7828 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
375.19/375.24 c 369s|640000 |427633 | 0 | 0.0 | 643M|2816 | - |5645 |8786 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
381.70/381.76 c 376s|650000 |433473 | 0 | 0.0 | 653M|2816 | - |5645 |8583 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
388.69/388.76 c 383s|660000 |438958 | 0 | 0.0 | 664M|2816 | - |5645 |8818 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
395.90/395.96 c 390s|670000 |444199 | 0 | 0.0 | 674M|2816 | - |5645 |9572 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
403.09/403.13 c 397s|680000 |449493 | 0 | 0.0 | 684M|2816 | - |5645 | 10k| 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
410.89/410.97 c 405s|690000 |454250 | 0 | 0.0 | 694M|2816 | - |5645 | 10k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
419.20/419.23 c 413s|700000 |458792 | 0 | 0.0 | 704M|2816 | - |5645 | 10k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
427.39/427.46 c 421s|710000 |463291 | 0 | 0.0 | 715M|2816 | - |5645 | 10k| 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
436.19/436.24 c 429s|720000 |467384 | 0 | 0.0 | 725M|2816 | - |5645 | 11k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
445.40/445.46 c 439s|730000 |471125 | 0 | 0.0 | 735M|2816 | - |5645 | 11k| 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
454.69/454.75 c 448s|740000 |474854 | 0 | 0.0 | 744M|2816 | - |5645 | 12k| 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
464.30/464.37 c 457s|750000 |478440 | 0 | 0.0 | 754M|2816 | - |5645 | 12k| 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
474.19/474.29 c 467s|760000 |481849 | 0 | 0.0 | 763M|2816 | - |5645 | 12k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
483.69/483.71 c 476s|770000 |485533 | 0 | 0.0 | 773M|2816 | - |5645 | 13k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
493.30/493.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.30/493.38 c 486s|780000 |489079 | 0 | 0.0 | 781M|2816 | - |5645 | 13k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
502.99/503.07 c 496s|790000 |492584 | 0 | 0.0 | 790M|2816 | - |5645 | 13k| 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
513.19/513.22 c 506s|800000 |495720 | 0 | 0.0 | 799M|2816 | - |5645 | 14k| 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
523.99/524.01 c 516s|810000 |498567 | 0 | 0.0 | 808M|2816 | - |5645 | 14k| 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
535.79/535.82 c 528s|820000 |500542 | 0 | 0.0 | 815M|2816 | - |5645 | 14k| 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
547.29/547.33 c 539s|830000 |502732 | 0 | 0.0 | 824M|2816 | - |5645 | 14k| 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
559.70/559.79 c 552s|840000 |504230 | 0 | 0.0 | 831M|2816 | - |5645 | 15k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
572.50/572.55 c 564s|850000 |505854 | 0 | 0.0 | 839M|2816 | - |5645 | 16k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
585.59/585.62 c 577s|860000 |506904 | 0 | 0.0 | 845M|2816 | - |5645 | 15k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
599.79/599.86 c 591s|870000 |505631 | 0 | 0.0 | 848M|2816 | - |5645 | 16k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
611.99/612.00 c 603s|880000 |504657 | 0 | 0.0 | 839M|2816 | - |5645 |6076 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
615.80/615.82 c 607s|890000 |512883 | 0 | 0.0 | 848M|2816 | - |5645 |4975 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
619.70/619.74 c 611s|900000 |520948 | 0 | 0.0 | 858M|2816 | - |5645 |4728 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
623.50/623.57 c 615s|910000 |529003 | 0 | 0.0 | 868M|2816 | - |5645 |4768 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
627.30/627.31 c 618s|920000 |537072 | 0 | 0.0 | 877M|2816 | - |5645 |4845 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
631.10/631.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.10/631.10 c 622s|930000 |545152 | 0 | 0.0 | 886M|2816 | - |5645 |5001 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
635.19/635.26 c 626s|940000 |553212 | 0 | 0.0 | 895M|2816 | - |5645 |5086 | 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
639.49/639.59 c 630s|950000 |561180 | 0 | 0.0 | 905M|2816 | - |5645 |5058 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
644.00/644.02 c 635s|960000 |569008 | 0 | 0.0 | 914M|2816 | - |5645 |5259 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
648.60/648.63 c 639s|970000 |576730 | 0 | 0.0 | 924M|2816 | - |5645 |5365 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
653.19/653.26 c 644s|980000 |584373 | 0 | 0.0 | 933M|2816 | - |5645 |5608 | 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
658.49/658.50 c 649s|990000 |591614 | 0 | 0.0 | 943M|2816 | - |5645 |5966 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
663.89/663.95 c 654s| 1000k|598666 | 0 | 0.0 | 954M|2816 | - |5645 |6290 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
669.39/669.40 c 660s| 1010k|605844 | 0 | 0.0 | 964M|2816 | - |5645 |6334 | 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
675.00/675.09 c 665s| 1020k|612790 | 0 | 0.0 | 974M|2816 | - |5645 |6332 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
680.60/680.62 c 671s| 1030k|619760 | 0 | 0.0 | 984M|2816 | - |5645 |6594 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
687.20/687.29 c 677s| 1040k|625920 | 0 | 0.0 | 995M|2816 | - |5645 |7073 | 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
693.49/693.59 c 683s| 1050k|632434 | 0 | 0.0 |1005M|2816 | - |5645 |7174 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
700.39/700.43 c 690s| 1060k|638464 | 0 | 0.0 |1016M|2816 | - |5645 |7428 | 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
707.49/707.52 c 697s| 1070k|644291 | 0 | 0.0 |1026M|2816 | - |5645 |7655 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
715.10/715.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.10/715.14 c 705s| 1080k|649738 | 0 | 0.0 |1037M|2816 | - |5645 |7926 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
722.79/722.87 c 712s| 1090k|655103 | 0 | 0.0 |1047M|2816 | - |5645 |8077 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
730.99/731.03 c 720s| 1100k|660111 | 0 | 0.0 |1058M|2816 | - |5645 |8709 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
739.80/739.85 c 729s| 1110k|664711 | 0 | 0.0 |1068M|2816 | - |5645 |9358 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
749.20/749.27 c 738s| 1120k|668890 | 0 | 0.0 |1078M|2816 | - |5645 |9979 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
760.10/760.19 c 749s| 1130k|672176 | 0 | 0.0 |1088M|2816 | - |5645 | 10k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
772.50/772.54 c 761s| 1140k|674621 | 0 | 0.0 |1097M|2816 | - |5645 | 12k| 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
788.00/788.09 c 777s| 1150k|675048 | 0 | 0.0 |1104M|2816 | - |5645 | 14k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
796.60/796.62 c 785s| 1160k|680842 | 0 | 0.0 |1110M|2816 | - |5645 |6120 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
802.10/802.17 c 790s| 1170k|688133 | 0 | 0.0 |1120M|2816 | - |5645 |6276 | 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
808.40/808.49 c 797s| 1180k|694707 | 0 | 0.0 |1131M|2816 | - |5645 |7178 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
815.50/815.57 c 804s| 1190k|700724 | 0 | 0.0 |1142M|2816 | - |5645 |8102 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
823.20/823.25 c 811s| 1200k|706237 | 0 | 0.0 |1152M|2816 | - |5645 |9091 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
832.30/832.35 c 820s| 1210k|710741 | 0 | 0.0 |1162M|2816 | - |5645 | 10k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
843.40/843.40 c 831s| 1220k|713742 | 0 | 0.0 |1172M|2816 | - |5645 | 11k| 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
855.80/855.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.80/855.89 c 843s| 1230k|716202 | 0 | 0.0 |1176M|2816 | - |5645 |8502 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
861.40/861.47 c 849s| 1240k|723484 | 0 | 0.0 |1186M|2816 | - |5645 |6934 | 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
867.70/867.76 c 855s| 1250k|730073 | 0 | 0.0 |1196M|2816 | - |5645 |7855 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
874.80/874.86 c 862s| 1260k|736031 | 0 | 0.0 |1207M|2816 | - |5645 |9162 | 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
883.10/883.20 c 870s| 1270k|741135 | 0 | 0.0 |1218M|2816 | - |5645 | 10k| 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
893.20/893.26 c 880s| 1280k|745078 | 0 | 0.0 |1228M|2816 | - |5645 | 12k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
905.80/905.88 c 893s| 1290k|747598 | 0 | 0.0 |1237M|2816 | - |5645 | 14k| 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
916.40/916.41 c 903s| 1300k|751883 | 0 | 0.0 |1242M|2816 | - |5645 |7992 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
922.40/922.42 c 909s| 1310k|758959 | 0 | 0.0 |1252M|2816 | - |5645 |8006 | 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
928.50/928.52 c 915s| 1320k|765688 | 0 | 0.0 |1262M|2816 | - |5645 |8510 | 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
935.80/935.87 c 922s| 1330k|771443 | 0 | 0.0 |1273M|2816 | - |5645 |9981 | 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
944.20/944.23 c 930s| 1340k|776530 | 0 | 0.0 |1284M|2816 | - |5645 | 11k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
954.19/954.21 c 940s| 1350k|780420 | 0 | 0.0 |1294M|2816 | - |5645 | 13k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
968.50/968.59 c 955s| 1360k|781692 | 0 | 0.0 |1301M|2816 | - |5645 | 16k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
974.40/974.46 c 960s| 1370k|789191 | 0 | 0.0 |1308M|2816 | - |5645 |8003 | 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
979.79/979.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.79/979.83 c 966s| 1380k|796564 | 0 | 0.0 |1317M|2816 | - |5645 |8017 | 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
985.60/985.63 c 971s| 1390k|803582 | 0 | 0.0 |1327M|2816 | - |5645 |8347 | 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
992.30/992.38 c 978s| 1400k|810031 | 0 | 0.0 |1337M|2816 | - |5645 |7203 | 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1000.20/1000.23 c 986s| 1410k|815190 | 0 | 0.0 |1348M|2816 | - |5645 |9340 | 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1009.81/1009.89 c 995s| 1420k|819146 | 0 | 0.0 |1358M|2816 | - |5645 | 11k| 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1023.30/1023.35 c 1008s| 1430k|820666 | 0 | 0.0 |1366M|2816 | - |5645 | 14k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1029.51/1029.55 c 1015s| 1440k|827935 | 0 | 0.0 |1373M|2816 | - |5645 |8033 | 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1035.20/1035.29 c 1020s| 1450k|835139 | 0 | 0.0 |1384M|2816 | - |5645 |8399 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1041.80/1041.84 c 1027s| 1460k|841754 | 0 | 0.0 |1394M|2816 | - |5645 |9425 | 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1049.69/1049.76 c 1034s| 1470k|847372 | 0 | 0.0 |1405M|2816 | - |5645 | 11k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1059.20/1059.27 c 1044s| 1480k|851972 | 0 | 0.0 |1415M|2816 | - |5645 | 13k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1071.59/1071.66 c 1056s| 1490k|854948 | 0 | 0.0 |1424M|2816 | - |5645 | 15k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1084.80/1084.83 c 1069s| 1500k|858023 | 0 | 0.0 |1429M|2816 | - |5645 | 12k| 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1090.60/1090.67 c 1075s| 1510k|865630 | 0 | 0.0 |1438M|2816 | - |5645 |9253 | 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1096.40/1096.46 c 1080s| 1520k|873002 | 0 | 0.0 |1448M|2816 | - |5645 |8666 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1102.10/1102.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.10/1102.11 c 1086s| 1530k|880313 | 0 | 0.0 |1457M|2816 | - |5645 |8647 | 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1107.80/1107.81 c 1092s| 1540k|887441 | 0 | 0.0 |1466M|2816 | - |5645 |8897 | 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1113.90/1113.98 c 1098s| 1550k|894247 | 0 | 0.0 |1476M|2816 | - |5645 |9673 | 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1120.50/1120.50 c 1104s| 1560k|900859 | 0 | 0.0 |1485M|2816 | - |5645 | 10k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1127.10/1127.18 c 1111s| 1570k|907455 | 0 | 0.0 |1494M|2816 | - |5645 | 10k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1134.40/1134.41 c 1118s| 1580k|913720 | 0 | 0.0 |1503M|2816 | - |5645 | 11k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1141.90/1141.93 c 1125s| 1590k|919772 | 0 | 0.0 |1513M|2816 | - |5645 | 12k| 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1150.20/1150.26 c 1133s| 1600k|925355 | 0 | 0.0 |1522M|2816 | - |5645 | 13k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1159.50/1159.50 c 1143s| 1610k|930537 | 0 | 0.0 |1530M|2816 | - |5645 | 14k| 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1170.30/1170.35 c 1153s| 1620k|934815 | 0 | 0.0 |1539M|2816 | - |5645 | 15k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1181.80/1181.83 c 1165s| 1630k|938771 | 0 | 0.0 |1547M|2816 | - |5645 | 16k| 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1196.20/1196.21 c 1179s| 1640k|941106 | 0 | 0.0 |1554M|2816 | - |5645 | 18k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1207.00/1207.02 c 1189s| 1650k|946139 | 0 | 0.0 |1559M|2816 | - |5645 | 12k| 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1213.01/1213.04 c 1195s| 1660k|953669 | 0 | 0.0 |1568M|2816 | - |5645 | 11k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1219.51/1219.58 c 1202s| 1670k|960639 | 0 | 0.0 |1578M|2816 | - |5645 | 11k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1226.90/1226.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.90/1226.97 c 1209s| 1680k|967053 | 0 | 0.0 |1588M|2816 | - |5645 | 12k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1235.50/1235.59 c 1218s| 1690k|972544 | 0 | 0.0 |1598M|2816 | - |5645 | 13k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1246.00/1246.01 c 1228s| 1700k|976943 | 0 | 0.0 |1608M|2816 | - |5645 | 14k| 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1259.80/1259.86 c 1242s| 1710k|979369 | 0 | 0.0 |1617M|2816 | - |5645 | 17k| 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1272.80/1272.88 c 1255s| 1720k|983163 | 0 | 0.0 |1623M|2816 | - |5645 | 14k| 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1279.10/1279.17 c 1261s| 1730k|990713 | 0 | 0.0 |1631M|2816 | - |5645 | 11k| 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1285.71/1285.73 c 1267s| 1740k|997733 | 0 | 0.0 |1641M|2816 | - |5645 | 11k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1293.01/1293.03 c 1274s| 1750k| 1004k| 0 | 0.0 |1651M|2816 | - |5645 | 13k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1301.50/1301.58 c 1283s| 1760k| 1009k| 0 | 0.0 |1660M|2816 | - |5645 | 14k| 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1312.71/1312.75 c 1294s| 1770k| 1013k| 0 | 0.0 |1669M|2816 | - |5645 | 14k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1326.90/1326.93 c 1308s| 1780k| 1015k| 0 | 0.0 |1677M|2816 | - |5645 | 17k| 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1336.01/1336.06 c 1317s| 1790k| 1022k| 0 | 0.0 |1684M|2816 | - |5645 | 13k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1342.41/1342.45 c 1323s| 1800k| 1029k| 0 | 0.0 |1693M|2816 | - |5645 | 12k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1348.91/1348.95 c 1330s| 1810k| 1036k| 0 | 0.0 |1703M|2816 | - |5645 | 12k| 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1355.91/1355.92 c 1336s| 1820k| 1043k| 0 | 0.0 |1713M|2816 | - |5645 | 12k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1362.91/1362.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.91/1362.93 c 1343s| 1830k| 1049k| 0 | 0.0 |1723M|2816 | - |5645 | 11k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1370.61/1370.60 c 1351s| 1840k| 1055k| 0 | 0.0 |1733M|2816 | - |5645 | 12k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1378.70/1378.72 c 1359s| 1850k| 1061k| 0 | 0.0 |1743M|2816 | - |5645 | 12k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1387.40/1387.40 c 1368s| 1860k| 1067k| 0 | 0.0 |1752M|2816 | - |5645 | 12k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1396.61/1396.64 c 1377s| 1870k| 1072k| 0 | 0.0 |1761M|2816 | - |5645 | 13k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1406.81/1406.82 c 1387s| 1880k| 1077k| 0 | 0.0 |1771M|2816 | - |5645 | 14k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1416.81/1416.82 c 1396s| 1890k| 1082k| 0 | 0.0 |1780M|2816 | - |5645 | 15k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1427.81/1427.84 c 1407s| 1900k| 1086k| 0 | 0.0 |1788M|2816 | - |5645 | 15k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1439.41/1439.47 c 1418s| 1910k| 1090k| 0 | 0.0 |1796M|2816 | - |5645 | 17k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1454.31/1454.35 c 1433s| 1920k| 1093k| 0 | 0.0 |1803M|2816 | - |5645 | 21k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1463.91/1463.97 c 1442s| 1930k| 1099k| 0 | 0.0 |1809M|2816 | - |5645 | 15k| 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1470.21/1470.25 c 1448s| 1940k| 1106k| 0 | 0.0 |1818M|2816 | - |5645 | 12k| 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1476.81/1476.82 c 1454s| 1950k| 1113k| 0 | 0.0 |1828M|2816 | - |5645 | 12k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1483.81/1483.86 c 1461s| 1960k| 1120k| 0 | 0.0 |1837M|2816 | - |5645 | 13k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1491.31/1491.32 c 1468s| 1970k| 1126k| 0 | 0.0 |1846M|2816 | - |5645 | 14k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1499.71/1499.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1499.71/1499.78 c 1477s| 1980k| 1132k| 0 | 0.0 |1855M|2816 | - |5645 | 15k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1509.90/1509.91 c 1486s| 1990k| 1137k| 0 | 0.0 |1864M|2816 | - |5645 | 17k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1523.31/1523.38 c 1500s| 2000k| 1140k| 0 | 0.0 |1871M|2816 | - |5645 | 20k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1533.32/1533.34 c 1509s| 2010k| 1145k| 0 | 0.0 |1877M|2816 | - |5645 | 13k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1538.92/1538.99 c 1515s| 2020k| 1153k| 0 | 0.0 |1885M|2816 | - |5645 | 12k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1544.71/1544.80 c 1520s| 2030k| 1160k| 0 | 0.0 |1894M|2816 | - |5645 | 12k| 0 | 0 | 0 |1649k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1551.11/1551.19 c 1526s| 2040k| 1167k| 0 | 0.0 |1903M|2816 | - |5645 | 12k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1557.61/1557.68 c 1532s| 2050k| 1174k| 0 | 0.0 |1913M|2816 | - |5645 | 13k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1566.21/1566.20 c 1541s| 2060k| 1179k| 0 | 0.0 |1923M|2816 | - |5645 | 15k| 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1576.81/1576.84 c 1551s| 2070k| 1184k| 0 | 0.0 |1932M|2816 | - |5645 | 17k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1590.01/1590.09 c 1564s| 2080k| 1187k| 0 | 0.0 |1938M|2816 | - |5645 | 18k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1595.81/1595.85 c 1569s| 2090k| 1195k| 0 | 0.0 |1946M|2816 | - |5645 | 13k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1601.51/1601.58 c 1575s| 2100k| 1203k| 0 | 0.0 |1954M|2816 | - |5645 | 12k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1607.41/1607.43 c 1580s| 2110k| 1210k| 0 | 0.0 |1963M|2816 | - |5645 | 13k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1613.91/1613.95 c 1587s| 2120k| 1217k| 0 | 0.0 |1972M|2816 | - |5645 | 14k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1621.71/1621.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.71/1621.77 c 1594s| 2130k| 1223k| 0 | 0.0 |1982M|2816 | - |5645 | 16k| 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1631.62/1631.65 c 1604s| 2140k| 1228k| 0 | 0.0 |1991M|2816 | - |5645 | 17k| 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1645.01/1645.05 c 1617s| 2150k| 1230k| 0 | 0.0 |1998M|2816 | - |5645 | 20k| 0 | 0 | 0 |1743k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1652.62/1652.65 c 1624s| 2160k| 1238k| 0 | 0.0 |2004M|2816 | - |5645 | 13k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1658.32/1658.39 c 1630s| 2170k| 1245k| 0 | 0.0 |2013M|2816 | - |5645 | 11k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1663.91/1663.94 c 1635s| 2180k| 1253k| 0 | 0.0 |2023M|2816 | - |5645 | 11k| 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1669.61/1669.60 c 1640s| 2190k| 1260k| 0 | 0.0 |2032M|2816 | - |5645 | 11k| 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1675.32/1675.31 c 1646s| 2200k| 1268k| 0 | 0.0 |2042M|2816 | - |5645 | 11k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1681.42/1681.43 c 1652s| 2210k| 1275k| 0 | 0.0 |2051M|2816 | - |5645 | 11k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1687.61/1687.66 c 1658s| 2220k| 1282k| 0 | 0.0 |2061M|2816 | - |5645 | 11k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1694.11/1694.13 c 1664s| 2230k| 1289k| 0 | 0.0 |2070M|2816 | - |5645 | 11k| 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1701.11/1701.16 c 1671s| 2240k| 1296k| 0 | 0.0 |2080M|2816 | - |5645 | 12k| 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1708.22/1708.24 c 1677s| 2250k| 1302k| 0 | 0.0 |2090M|2816 | - |5645 | 13k| 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1715.42/1715.50 c 1684s| 2260k| 1309k| 0 | 0.0 |2099M|2816 | - |5645 | 13k| 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1722.82/1722.85 c 1692s| 2270k| 1315k| 0 | 0.0 |2109M|2816 | - |5645 | 13k| 0 | 0 | 0 |1811k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1730.72/1730.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.72/1730.73 c 1699s| 2280k| 1321k| 0 | 0.0 |2118M|2816 | - |5645 | 13k| 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1739.02/1739.06 c 1707s| 2290k| 1327k| 0 | 0.0 |2128M|2816 | - |5645 | 13k| 0 | 0 | 0 |1826k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1748.31/1748.34 c 1716s| 2300k| 1332k| 0 | 0.0 |2137M|2816 | - |5645 | 14k| 0 | 0 | 0 |1836k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1757.42/1757.46 c 1725s| 2310k| 1338k| 0 | 0.0 |2146M|2816 | - |5645 | 14k| 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1766.62/1766.66 c 1734s| 2320k| 1343k| 0 | 0.0 |2155M|2816 | - |5645 | 13k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1776.31/1776.30 c 1743s| 2330k| 1348k| 0 | 0.0 |2164M|2816 | - |5645 | 13k| 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1786.61/1786.66 c 1753s| 2340k| 1352k| 0 | 0.0 |2172M|2816 | - |5645 | 13k| 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1797.42/1797.47 c 1764s| 2350k| 1356k| 0 | 0.0 |2180M|2816 | - |5645 | 14k| 0 | 0 | 0 |1885k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1766.23
1800.02/1800.00 c Solving Nodes : 2352184
1800.02/1800.00 c Primal Bound : +5.00000000000000e+00 (30 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.08 s SATISFIABLE
1800.02/1800.08 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.02/1800.08 v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.08 v x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.08 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.08 v x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.02/1800.08 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.02/1800.08 v -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80
1800.02/1800.08 v -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.02/1800.08 v -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
1800.02/1800.08 v -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.02/1800.08 v -x1
1800.02/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.08 c Solving Time : 1766.23
1800.02/1800.08 c Original Problem :
1800.02/1800.08 c Problem name : HOME/instance-2693594-1277925832.wbo
1800.02/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.02/1800.08 c Presolved Problem :
1800.02/1800.08 c Problem name : t_HOME/instance-2693594-1277925832.wbo
1800.02/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.08 c Constraints : 5414 initial, 22459 maximal
1800.02/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c linear : 0.03 0 0 0 2707 0 1 0 0
1800.02/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c root node : - 2591 - - 5182 - - - -
1800.02/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.08 c indicator : 2707 0 5677468 0 1659903 105 1478944 0 0 0
1800.02/1800.08 c linear : 2707 0 7239646 0 1997040 486987 44247748 0 0 0
1800.02/1800.08 c logicor : 0+ 0 3291209 0 0 96065 1703906 0 0 0
1800.02/1800.08 c countsols : 0 0 0 0 1997064 0 0 0 0 0
1800.02/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.08 c indicator : 23.21 0.00 10.06 0.00 13.15
1800.02/1800.08 c linear : 445.87 0.00 443.62 0.00 2.25
1800.02/1800.08 c logicor : 263.65 0.00 263.65 0.00 0.00
1800.02/1800.08 c countsols : 0.31 0.00 0.00 0.00 0.31
1800.02/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.08 c vbounds : 1.47 2 0 0
1800.02/1800.08 c rootredcost : 1.20 0 0 0
1800.02/1800.08 c pseudoobj : 372.15 7241514 1821 1444188
1800.02/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.08 c propagation : 32.00 584873 584831 2687278 19.6 297774 11.5 -
1800.02/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.08 c pseudo solution : 0.06 154 154 526 24.5 564 9.7 -
1800.02/1800.08 c applied globally : - - - 1888053 17.0 - - -
1800.02/1800.08 c applied locally : - - - 1 312.0 - - -
1800.02/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.08 c redcost : 0.00 0 0 0 0 0
1800.02/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.08 c intobj : 0.00 0 0 0 0 0
1800.02/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.08 c gomory : 0.00 0 0 0 0 0
1800.02/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.08 c cmir : 0.00 0 0 0 0 0
1800.02/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.08 c clique : 0.00 0 0 0 0 0
1800.02/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.08 c mcf : 0.00 0 0 0 0 0
1800.02/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.08 c Pricers : Time Calls Vars
1800.02/1800.08 c problem variables: 0.00 0 0
1800.02/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.08 c inference : 44.66 1997037 0 0 0 0 3994074
1800.02/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.08 c random : 0.00 0 0 0 0 0 0
1800.02/1800.08 c Primal Heuristics : Time Calls Found
1800.02/1800.08 c LP solutions : 0.00 - 0
1800.02/1800.08 c pseudo solutions : 0.02 - 27
1800.02/1800.08 c oneopt : 0.65 0 0
1800.02/1800.08 c trivial : 0.08 2 2
1800.02/1800.08 c simplerounding : 0.00 0 0
1800.02/1800.08 c zirounding : 0.00 0 0
1800.02/1800.08 c rounding : 0.00 0 0
1800.02/1800.08 c shifting : 0.00 0 0
1800.02/1800.08 c intshifting : 0.00 0 0
1800.02/1800.08 c twoopt : 0.00 0 0
1800.02/1800.08 c fixandinfer : 0.00 0 0
1800.02/1800.08 c feaspump : 0.00 0 0
1800.02/1800.08 c coefdiving : 0.00 0 0
1800.02/1800.08 c pscostdiving : 0.00 0 0
1800.02/1800.08 c fracdiving : 0.00 0 0
1800.02/1800.08 c veclendiving : 0.00 0 0
1800.02/1800.08 c intdiving : 0.00 0 0
1800.02/1800.08 c actconsdiving : 0.00 0 0
1800.02/1800.08 c objpscostdiving : 0.00 0 0
1800.02/1800.08 c rootsoldiving : 0.00 0 0
1800.02/1800.08 c linesearchdiving : 0.00 0 0
1800.02/1800.08 c guideddiving : 0.00 0 0
1800.02/1800.08 c octane : 0.00 0 0
1800.02/1800.08 c rens : 0.00 0 0
1800.02/1800.08 c rins : 0.00 0 0
1800.02/1800.08 c localbranching : 0.00 0 0
1800.02/1800.08 c mutation : 0.00 0 0
1800.02/1800.08 c crossover : 0.00 0 0
1800.02/1800.08 c dins : 0.00 0 0
1800.02/1800.08 c undercover : 0.00 0 0
1800.02/1800.08 c nlp : 0.42 0 0
1800.02/1800.08 c trysol : 0.54 1 1
1800.02/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.08 c (at root node) : - 0 0 0.00 -
1800.02/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.08 c B&B Tree :
1800.02/1800.08 c number of runs : 1
1800.02/1800.08 c nodes : 2352184
1800.02/1800.08 c nodes (total) : 2352184
1800.02/1800.08 c nodes left : 1357594
1800.02/1800.08 c max depth : 2816
1800.02/1800.08 c max depth (total): 2816
1800.02/1800.08 c backtracks : 321521 (13.7%)
1800.02/1800.08 c delayed cutoffs : 265569
1800.02/1800.08 c repropagations : 1275596 (15104704 domain reductions, 230012 cutoffs)
1800.02/1800.08 c avg switch length: 42.67
1800.02/1800.08 c switching time : 498.17
1800.02/1800.08 c Solution :
1800.02/1800.08 c Solutions found : 30 (28 improvements)
1800.02/1800.08 c First Solution : +1.35279000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.02/1800.08 c Primal Bound : +5.00000000000000e+00 (in run 1, after 317565 nodes, 201.04 seconds, depth 841, found by <relaxation>)
1800.02/1800.08 c Dual Bound : +0.00000000000000e+00
1800.02/1800.08 c Gap : infinite
1800.02/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.08 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693594-1277925832/watcher-2693594-1277925832 -o /tmp/evaluation-result-2693594-1277925832/solver-2693594-1277925832 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693594-1277925832.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.00 2.00 2.00 4/182 15626
/proc/meminfo: memFree=30816248/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=8604 CPUtime=0
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 1629 0 0 0 0 0 0 0 25 0 1 0 133879363 8810496 1551 4089446400 4194304 7136930 140734673208720 18446744073709551615 6164590 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15626/statm: 2151 1558 275 719 0 1430 0
[startup+0.0890299 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 15626
/proc/meminfo: memFree=30816248/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=33680 CPUtime=0.08
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 7967 0 0 0 8 0 0 0 25 0 1 0 133879363 34488320 7535 4089446400 4194304 7136930 140734673208720 18446744073709551615 6350541 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15626/statm: 8420 7535 323 719 0 7699 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 33680
[startup+0.101024 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 15626
/proc/meminfo: memFree=30816248/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=33680 CPUtime=0.09
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 133879363 34488320 7535 4089446400 4194304 7136930 140734673208720 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15626/statm: 8420 7535 323 719 0 7699 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33680
[startup+0.300991 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 15626
/proc/meminfo: memFree=30816248/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=36500 CPUtime=0.29
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 9239 0 0 0 29 0 0 0 25 0 1 0 133879363 37376000 8293 4089446400 4194304 7136930 140734673208720 18446744073709551615 4643289 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15626/statm: 9125 8293 383 719 0 8404 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36500
[startup+0.700919 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 15626
/proc/meminfo: memFree=30816248/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=37640 CPUtime=0.69
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 9516 0 0 0 69 0 0 0 25 0 1 0 133879363 38543360 8570 4089446400 4194304 7136930 140734673208720 18446744073709551615 4697651 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15626/statm: 9410 8570 383 719 0 8689 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37640
[startup+1.50078 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15627
/proc/meminfo: memFree=30781272/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=42504 CPUtime=1.48
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 10744 0 0 0 146 2 0 0 25 0 1 0 133879363 43524096 9798 4089446400 4194304 7136930 140734673208720 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15626/statm: 10626 9798 390 719 0 9905 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42504
[startup+3.10055 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15627
/proc/meminfo: memFree=30777056/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=44864 CPUtime=3.09
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 11353 0 0 0 304 5 0 0 25 0 1 0 133879363 45940736 10407 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 11216 10407 390 719 0 10495 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44864
[startup+6.30096 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 15627
/proc/meminfo: memFree=30771972/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=52508 CPUtime=6.28
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 13261 0 0 0 616 12 0 0 25 0 1 0 133879363 53768192 12315 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 13127 12315 391 719 0 12406 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 52508
[startup+12.7008 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 15627
/proc/meminfo: memFree=30748796/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=76368 CPUtime=12.68
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 19057 0 0 0 1244 24 0 0 25 0 1 0 133879363 78200832 18111 4089446400 4194304 7136930 140734673208720 18446744073709551615 4633284 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 19092 18111 391 719 0 18371 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 76368
[startup+25.5006 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 15627
/proc/meminfo: memFree=30698556/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=125832 CPUtime=25.49
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 31019 0 0 0 2509 40 0 0 25 0 1 0 133879363 128851968 30073 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 31458 30073 391 719 0 30737 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 125832
[startup+51.101 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 15628
/proc/meminfo: memFree=30632852/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=195988 CPUtime=51.09
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 47494 0 0 0 5021 88 0 0 25 0 1 0 133879363 200691712 46548 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 48997 46548 391 719 0 48276 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 195988
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 15629
/proc/meminfo: memFree=30532976/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=294732 CPUtime=102.3
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 72235 0 0 0 10069 161 0 0 25 0 1 0 133879363 301805568 71289 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 73683 71289 391 719 0 72962 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 294732
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15631
/proc/meminfo: memFree=30448752/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=381872 CPUtime=162.28
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 93975 0 0 0 15991 237 0 0 25 0 1 0 133879363 391036928 93029 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 95468 93029 391 719 0 94747 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 381872
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15633
/proc/meminfo: memFree=30351348/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=482532 CPUtime=222.28
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 117874 0 0 0 21907 321 0 0 25 0 1 0 133879363 494112768 116928 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 120633 116928 391 719 0 119912 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 482532
[startup+282.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 15634
/proc/meminfo: memFree=30245280/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=597436 CPUtime=282.29
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 146790 0 0 0 27800 429 0 0 25 0 1 0 133879363 611774464 145844 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 149359 145844 391 719 0 148638 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 597436
[startup+342.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 15636
/proc/meminfo: memFree=30152472/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=700032 CPUtime=342.3
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 172792 0 0 0 33696 534 0 0 25 0 1 0 133879363 716832768 171846 4089446400 4194304 7136930 140734673208720 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 175008 171846 391 719 0 174287 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 700032
[startup+402.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 15664
/proc/meminfo: memFree=30343264/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=810320 CPUtime=402.3
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 200590 0 0 0 39602 628 0 0 25 0 1 0 133879363 829767680 199644 4089446400 4194304 7136930 140734673208720 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 202580 199644 391 719 0 201859 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 810320
[startup+462.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 15666
/proc/meminfo: memFree=30088908/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=892604 CPUtime=462.29
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 219118 0 0 0 45529 700 0 0 25 0 1 0 133879363 914026496 218172 4089446400 4194304 7136930 140734673208720 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 223151 218172 391 719 0 222430 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 892604
[startup+522.301 s]
/proc/loadavg: 2.22 2.08 2.02 3/183 15671
/proc/meminfo: memFree=29874336/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=946444 CPUtime=522.3
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 232612 0 0 0 51467 763 0 0 25 0 1 0 133879363 969158656 231666 4089446400 4194304 7136930 140734673208720 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 236611 231666 391 719 0 235890 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 946444
[startup+582.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 15672
/proc/meminfo: memFree=29677880/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=982312 CPUtime=582.3
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 241662 0 0 0 57410 820 0 0 25 0 1 0 133879363 1005887488 240716 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15626/statm: 245578 240716 391 719 0 244857 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 982312
[startup+642.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/201 15719
/proc/meminfo: memFree=30157512/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=1052472 CPUtime=642.29
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 259265 0 0 0 63308 921 0 0 25 0 1 0 133879363 1077731328 258319 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15626/statm: 263118 258319 391 719 0 262397 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 1052472
[startup+702.301 s]
################
# More data... #
################
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 370246 0 0 0 98770 1460 0 0 25 0 1 0 133879363 1530724352 369300 4089446400 4194304 7136930 140734673208720 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15626/statm: 373712 369300 391 719 0 372991 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 1494848
[startup+1062.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/201 15730
/proc/meminfo: memFree=29632908/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=1563536 CPUtime=1062.3
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 387673 0 0 0 104678 1552 0 0 25 0 1 0 133879363 1601060864 386727 4089446400 4194304 7136930 140734673208720 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15626/statm: 390884 386727 391 719 0 390163 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 1563536
[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/201 15732
/proc/meminfo: memFree=29561788/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=1632184 CPUtime=1122.3
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 404907 0 0 0 110588 1642 0 0 25 0 1 0 133879363 1671356416 403961 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15626/statm: 408046 403961 391 719 0 407325 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 1632184
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/201 15733
/proc/meminfo: memFree=29497248/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=1696052 CPUtime=1182.3
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 420935 0 0 0 116507 1723 0 0 25 0 1 0 133879363 1736757248 419989 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15626/statm: 424013 419989 391 719 0 423292 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 1696052
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/201 15735
/proc/meminfo: memFree=29441500/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=1750432 CPUtime=1242.31
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 434671 0 0 0 122431 1800 0 0 25 0 1 0 133879363 1792442368 433725 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15626/statm: 437608 433725 391 719 0 436887 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1750432
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/201 15736
/proc/meminfo: memFree=29384648/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=1822492 CPUtime=1302.31
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 448705 0 0 0 128358 1873 0 0 25 0 1 0 133879363 1866231808 447759 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15626/statm: 455623 447759 391 719 0 454902 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1822492
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 15738
/proc/meminfo: memFree=29322720/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=1883724 CPUtime=1362.3
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 464113 0 0 0 134282 1948 0 0 25 0 1 0 133879363 1928933376 463167 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15626/statm: 470931 463167 391 719 0 470210 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 1883724
[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 2.00 2/202 15813
/proc/meminfo: memFree=29213616/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=1941712 CPUtime=1422.31
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 478559 0 0 0 140157 2074 0 0 25 0 1 0 133879363 1988313088 477613 4089446400 4194304 7136930 140734673208720 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15626/statm: 485428 477613 391 719 0 484707 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 1941712
[startup+1482.3 s]
/proc/loadavg: 2.56 2.15 2.05 4/204 15818
/proc/meminfo: memFree=29132220/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=1996768 CPUtime=1482.3
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 492457 0 0 0 145970 2260 0 0 25 0 1 0 133879363 2044690432 491511 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15626/statm: 499192 491511 391 719 0 498471 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 1996768
[startup+1542.3 s]
/proc/loadavg: 2.87 2.30 2.11 4/204 15820
/proc/meminfo: memFree=29064068/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=2051752 CPUtime=1542.31
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 506392 0 0 0 151774 2457 0 0 25 0 1 0 133879363 2100994048 505446 4089446400 4194304 7136930 140734673208720 18446744073709551615 4210052 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15626/statm: 512938 505446 391 719 0 512217 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 2051752
[startup+1602.3 s]
/proc/loadavg: 2.84 2.40 2.15 4/204 15821
/proc/meminfo: memFree=28992084/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=2113080 CPUtime=1602.31
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 521915 0 0 0 157554 2677 0 0 25 0 1 0 133879363 2163793920 520969 4089446400 4194304 7136930 140734673208720 18446744073709551615 4431489 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15626/statm: 528270 520969 391 719 0 527549 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 2113080
[startup+1662.3 s]
/proc/loadavg: 2.98 2.52 2.20 4/204 15823
/proc/meminfo: memFree=28913380/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=2179188 CPUtime=1662.31
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 538629 0 0 0 163350 2881 0 0 25 0 1 0 133879363 2231488512 537683 4089446400 4194304 7136930 140734673208720 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15626/statm: 544797 537683 391 719 0 544076 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 2179188
[startup+1722.3 s]
/proc/loadavg: 2.94 2.59 2.24 4/204 15825
/proc/meminfo: memFree=28823524/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=2261096 CPUtime=1722.32
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 559470 0 0 0 169100 3132 0 0 25 0 1 0 133879363 2315362304 558524 4089446400 4194304 7136930 140734673208720 18446744073709551615 4209993 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15626/statm: 565274 558524 391 719 0 564553 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2261096
[startup+1782.3 s]
/proc/loadavg: 2.83 2.62 2.28 4/204 15826
/proc/meminfo: memFree=28754492/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=2320440 CPUtime=1782.32
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 574394 0 0 0 174902 3330 0 0 25 0 1 0 133879363 2376130560 573448 4089446400 4194304 7136930 140734673208720 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15626/statm: 580110 573448 391 719 0 579389 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2320440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.65 2.59 2.27 3/204 15827
/proc/meminfo: memFree=28739336/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=2329244 CPUtime=1800.02
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 576667 0 0 0 176626 3376 0 0 25 0 1 0 133879363 2385145856 575721 4089446400 4194304 7136930 140734673208720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15626/statm: 582311 575721 391 719 0 581590 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2329244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15626
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.65 2.59 2.27 4/205 15828
/proc/meminfo: memFree=28739080/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=2329724 CPUtime=1801.42
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 576700 0 0 0 176766 3376 0 0 19 0 1 0 133879363 2385637376 575754 4089446400 4194304 7136930 140734673208720 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15626/statm: 582431 575754 397 719 0 581710 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 2329724
[startup+1801.81 s]
/proc/loadavg: 2.65 2.59 2.27 4/205 15828
/proc/meminfo: memFree=28738956/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=2329724 CPUtime=1801.82
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 576700 0 0 0 176806 3376 0 0 20 0 1 0 133879363 2385637376 575754 4089446400 4194304 7136930 140734673208720 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15626/statm: 582431 575754 397 719 0 581710 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 2329724
[startup+1802 s]
/proc/loadavg: 2.65 2.59 2.27 4/205 15828
/proc/meminfo: memFree=28738956/32951124 swapFree=67111528/67111528
[pid=15626] ppid=15624 vsize=2329724 CPUtime=1802.02
/proc/15626/stat : 15626 (pbscip.linux.x8) R 15624 15626 13949 0 -1 4202496 576700 0 0 0 176826 3376 0 0 20 0 1 0 133879363 2385637376 575754 4089446400 4194304 7136930 140734673208720 18446744073709551615 4212288 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15626/statm: 582431 575754 397 719 0 581710 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 2329724
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.11
CPU user time (s): 1768.27
CPU system time (s): 33.8439
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2329724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.27
system time used= 33.8439
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 576700
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= 3
involuntary context switches= 3434
runsolver used 3.47747 second user time and 6.29204 second system time
The end
Begin job on node132 at 2010-06-30 21:23:52
IDJOB=2693594
IDBENCH=79263
IDSOLVER=1206
FILE ID=node132/2693594-1277925832
PBS_JOBID= 11197296
Free space on /tmp= 74136 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693594-1277925832/watcher-2693594-1277925832 -o /tmp/evaluation-result-2693594-1277925832/solver-2693594-1277925832 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693594-1277925832.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6afd7eef78419a10c166bbe4bb320384
RANDOM SEED=1412592833
node132.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.810
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.62
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.810
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.75
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.810
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.82
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.810
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.75
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.810
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.74
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.810
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.75
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.810
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.810
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30816776 kB
Buffers: 206524 kB
Cached: 1220936 kB
SwapCached: 0 kB
Active: 1103160 kB
Inactive: 885480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30816776 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3160 kB
Writeback: 0 kB
AnonPages: 561492 kB
Mapped: 16096 kB
Slab: 82412 kB
PageTables: 5544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 715216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74136 MiB
End job on node132 at 2010-06-30 21:53:54