Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | OPTIMUM | 1693.37 | 1693.66 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh215_wcsp.wbo |
| MD5SUM | f6fb73f0a02abbaaed6c5aa05fa83af7 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 88 |
| Best CPU time to get the best result obtained on this benchmark | 0.164974 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 900 |
| Number of soft constraints | 800 |
| Number of constraints which are clauses | 800 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 394239 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 394238 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-2700069-1278533945.wbo>
0.00/0.02 c original problem has 1800 variables (1000 bin, 0 int, 0 impl, 800 cont) and 1701 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.04 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1000 implications, 0 cliques
0.00/0.06 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.00/0.06 c 800 constraints of type <indicator>
0.00/0.06 c 800 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.03
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 o 394238
0.00/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.00/0.06 c t 0.0s| 1 | 0 | 0 | - |5797k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6169k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 41 | - |6212k| 0 | 0 |1700 |1600 |1700 | 71 | 71 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.06/0.07 c 0.0s| 1 | 0 | 136 | - |6259k| 0 | 59 |1700 |1600 |1700 | 113 | 113 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.06/0.08 c 0.1s| 1 | 0 | 184 | - |6480k| 0 | 57 |1700 |1600 |1700 | 146 | 146 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.06/0.09 c 0.1s| 1 | 0 | 212 | - |6518k| 0 | 63 |1700 |1600 |1700 | 168 | 168 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 216 | - |6544k| 0 | 64 |1700 |1600 |1700 | 172 | 172 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.19/0.24 c 0.2s| 1 | 2 | 389 | - |6596k| 0 | 64 |1700 |1600 |1700 | 172 | 172 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
1.38/1.47 o 8750
1.38/1.47 c * 1.4s| 615 | 606 | 1805 | 2.6 |7797k| 614 | - |1700 |1600 |1700 | 251 | 251 | 0 | 469 | 0.000000e+00 | 8.750000e+03 | Inf
6.49/6.51 o 8614
6.49/6.51 c * 6.1s| 7762 | 7671 | 14913 | 1.9 | 17M| 614 | - |1700 |1762 |1700 | 216 |1733 | 162 | 771 | 0.000000e+00 | 8.614000e+03 | Inf
6.49/6.54 o 8515
6.49/6.54 c * 6.1s| 7811 | 7692 | 15026 | 1.9 | 17M| 614 | - |1700 |1765 |1700 | 219 |1741 | 165 | 771 | 0.000000e+00 | 8.515000e+03 | Inf
7.98/8.10 c 7.6s| 10000 | 9726 | 19443 | 1.9 | 19M| 614 | 0 |1700 |2381 |1700 | 190 |2169 | 781 | 774 | 0.000000e+00 | 8.515000e+03 | Inf
13.59/13.64 o 8505
13.59/13.64 c *12.8s| 18178 | 17217 | 30288 | 1.7 | 29M| 614 | - |1700 |4368 |1700 | 232 |3796 |3765 | 774 | 0.000000e+00 | 8.505000e+03 | Inf
13.59/13.66 o 8473
13.59/13.66 c *12.8s| 18193 | 17213 | 30335 | 1.7 | 29M| 614 | - |1700 |4368 |1700 | 233 |3797 |3765 | 774 | 0.000000e+00 | 8.473000e+03 | Inf
13.59/13.66 o 8394
13.59/13.66 c *12.8s| 18203 | 17147 | 30343 | 1.7 | 29M| 614 | - |1700 |4368 |1700 | 233 |3797 |3765 | 774 | 0.000000e+00 | 8.394000e+03 | Inf
13.59/13.69 o 8378
13.59/13.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.59/13.69 c *12.9s| 18245 | 17174 | 30417 | 1.7 | 29M| 614 | - |1700 |4364 |1700 | 231 |3802 |3765 | 774 | 0.000000e+00 | 8.378000e+03 | Inf
13.59/13.69 o 8184
13.59/13.69 c *12.9s| 18246 | 16996 | 30419 | 1.7 | 29M| 614 | - |1700 |4364 |1700 | 231 |3802 |3765 | 774 | 0.000000e+00 | 8.184000e+03 | Inf
14.88/14.90 c 14.0s| 20000 | 18610 | 33378 | 1.7 | 30M| 614 | 0 |1700 |3930 |1700 | 187 |4089 |4323 | 775 | 0.000000e+00 | 8.184000e+03 | Inf
20.19/20.25 o 8099
20.19/20.25 c *19.0s| 27697 | 25339 | 42987 | 1.5 | 39M| 614 | - |1700 |4175 |1700 | 219 |5547 |7444 | 775 | 0.000000e+00 | 8.099000e+03 | Inf
21.78/21.82 c 20.5s| 30000 | 27431 | 45629 | 1.5 | 41M| 614 | 0 |1700 |4044 |1700 | 202 |5954 |8327 | 775 | 0.000000e+00 | 8.099000e+03 | Inf
28.66/29.00 c 27.0s| 40000 | 36176 | 57003 | 1.4 | 52M| 614 | 0 |1700 |4046 |1700 | 198 |7771 | 12k| 775 | 0.000000e+00 | 8.099000e+03 | Inf
30.87/31.25 o 8019
30.87/31.25 c *29.1s| 43426 | 39018 | 59824 | 1.4 | 55M| 614 | - |1700 |4339 |1700 | 223 |8196 | 14k| 775 | 0.000000e+00 | 8.019000e+03 | Inf
35.57/35.90 c 33.5s| 50000 | 44764 | 68086 | 1.4 | 63M| 614 | - |1700 |4398 | 0 | 0 |9474 | 17k| 775 | 0.000000e+00 | 8.019000e+03 | Inf
42.58/42.92 c 40.1s| 60000 | 53555 | 81854 | 1.4 | 74M| 614 | 0 |1700 |4133 |1700 | 199 | 11k| 22k| 779 | 0.000000e+00 | 8.019000e+03 | Inf
45.57/45.93 o 7861
45.57/45.93 c *43.0s| 64312 | 56660 | 89619 | 1.4 | 77M| 614 | - |1700 |3714 |1700 | 221 | 12k| 24k| 781 | 0.000000e+00 | 7.861000e+03 | Inf
45.57/45.93 o 7703
45.57/45.93 c *43.0s| 64313 | 55900 | 89622 | 1.4 | 76M| 614 | - |1700 |3714 |1700 | 221 | 12k| 24k| 781 | 0.000000e+00 | 7.703000e+03 | Inf
45.67/46.04 o 7515
45.67/46.04 c *43.1s| 64431 | 55013 | 90194 | 1.4 | 75M| 614 | - |1700 |3713 |1700 | 222 | 12k| 24k| 781 | 0.000000e+00 | 7.515000e+03 | Inf
45.67/46.05 o 7440
45.67/46.05 c *43.1s| 64432 | 54574 | 90218 | 1.4 | 74M| 614 | - |1700 |3710 |1700 | 222 | 12k| 24k| 781 | 0.000000e+00 | 7.440000e+03 | Inf
46.27/46.66 o 7238
46.27/46.66 c *43.7s| 65285 | 54051 | 91675 | 1.4 | 72M| 614 | - |1700 |3485 |1700 | 228 | 12k| 25k| 781 | 0.000000e+00 | 7.238000e+03 | Inf
49.77/50.11 c 46.9s| 70000 | 58150 |101494 | 1.4 | 77M| 614 | 0 |1700 |3657 |1700 | 203 | 13k| 27k| 781 | 0.000000e+00 | 7.238000e+03 | Inf
56.97/57.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.97/57.32 c 53.7s| 80000 | 66902 |118439 | 1.5 | 89M| 614 | 0 |1700 |4499 |1700 | 198 | 16k| 31k| 781 | 0.000000e+00 | 7.238000e+03 | Inf
57.77/58.17 o 7176
57.77/58.17 c *54.5s| 81132 | 67448 |120865 | 1.5 | 89M| 614 | - |1700 |4682 |1700 | 222 | 16k| 32k| 781 | 0.000000e+00 | 7.176000e+03 | Inf
57.77/58.17 o 7156
57.77/58.17 c *54.5s| 81133 | 67249 |120868 | 1.5 | 89M| 614 | - |1700 |4682 |1700 | 222 | 16k| 32k| 781 | 0.000000e+00 | 7.156000e+03 | Inf
58.07/58.46 o 7052
58.07/58.46 c *54.8s| 81513 | 66622 |121368 | 1.5 | 87M| 614 | - |1700 |4813 |1700 | 216 | 16k| 32k| 781 | 0.000000e+00 | 7.052000e+03 | Inf
58.17/58.51 o 6788
58.17/58.51 c *54.8s| 81563 | 64009 |121429 | 1.5 | 81M| 614 | - |1700 |4809 |1700 | 224 | 16k| 32k| 781 | 0.000000e+00 | 6.788000e+03 | Inf
64.27/64.60 c 60.6s| 90000 | 71421 |131672 | 1.5 | 90M| 614 | 0 |1700 |4101 |1700 | 200 | 18k| 36k| 784 | 0.000000e+00 | 6.788000e+03 | Inf
71.36/71.77 c 67.4s|100000 | 80165 |144853 | 1.4 | 101M| 614 | 0 |1700 |4530 |1700 | 192 | 20k| 40k| 796 | 0.000000e+00 | 6.788000e+03 | Inf
78.07/78.49 o 6651
78.07/78.49 c *73.8s|109320 | 86644 |157573 | 1.4 | 109M| 614 | - |1700 |4771 |1700 | 214 | 22k| 44k| 814 | 0.000000e+00 | 6.651000e+03 | Inf
78.67/79.01 c 74.2s|110000 | 87233 |158858 | 1.4 | 110M| 614 | 0 |1700 |4703 |1700 | 199 | 22k| 44k| 815 | 0.000000e+00 | 6.651000e+03 | Inf
82.67/83.02 o 6603
82.67/83.02 c *78.0s|115532 | 91540 |167277 | 1.4 | 116M| 614 | - |1700 |4941 |1700 | 211 | 23k| 47k| 847 | 0.000000e+00 | 6.603000e+03 | Inf
85.77/86.17 c 81.0s|120000 | 95544 |171912 | 1.4 | 120M| 614 | 0 |1700 |4342 |1700 | 198 | 23k| 48k| 857 | 0.000000e+00 | 6.603000e+03 | Inf
92.97/93.33 c 87.8s|130000 |104092 |184753 | 1.4 | 132M| 614 | 0 |1700 |4633 |1700 | 220 | 25k| 53k| 893 | 0.000000e+00 | 6.603000e+03 | Inf
94.78/95.19 o 6552
94.78/95.19 c *89.5s|132580 |105665 |188323 | 1.4 | 134M| 614 | - |1700 |4871 |1700 | 227 | 26k| 55k| 895 | 0.000000e+00 | 6.552000e+03 | Inf
97.87/98.20 o 6551
97.87/98.20 c *92.3s|136731 |109272 |193325 | 1.4 | 139M| 614 | - |1700 |4857 |1700 | 223 | 27k| 56k| 911 | 0.000000e+00 | 6.551000e+03 | Inf
100.27/100.65 c 94.7s|140000 |112093 |197673 | 1.4 | 143M| 614 | 0 |1700 |4947 |1700 | 188 | 27k| 58k| 934 | 0.000000e+00 | 6.551000e+03 | Inf
105.67/106.05 o 6533
105.67/106.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.67/106.05 c *99.8s|147498 |118325 |205652 | 1.4 | 151M| 614 | - |1700 |5005 |1700 | 197 | 29k| 61k| 957 | 0.000000e+00 | 6.533000e+03 | Inf
107.48/107.84 c 101s|150000 |120508 |208350 | 1.4 | 154M| 614 | - |1700 |4869 | 0 | 0 | 29k| 62k| 958 | 0.000000e+00 | 6.533000e+03 | Inf
114.87/115.23 c 108s|160000 |129168 |221149 | 1.4 | 165M| 614 | 0 |1700 |4863 |1700 | 212 | 31k| 67k|1005 | 0.000000e+00 | 6.533000e+03 | Inf
120.87/121.29 o 6498
120.87/121.29 c * 114s|168263 |135646 |232256 | 1.4 | 173M| 614 | - |1700 |4682 |1700 | 229 | 33k| 71k|1031 | 0.000000e+00 | 6.498000e+03 | Inf
122.17/122.56 c 115s|170000 |137139 |235121 | 1.4 | 175M| 614 | 0 |1700 |4825 |1700 | 215 | 33k| 72k|1033 | 0.000000e+00 | 6.498000e+03 | Inf
129.38/129.70 c 122s|180000 |145743 |246066 | 1.4 | 187M| 614 | 0 |1700 |5193 |1700 | 196 | 35k| 76k|1066 | 0.000000e+00 | 6.498000e+03 | Inf
131.58/131.96 o 6389
131.58/131.96 c * 124s|183137 |146519 |249419 | 1.4 | 187M| 614 | - |1700 |5064 |1700 | 204 | 35k| 78k|1073 | 0.000000e+00 | 6.389000e+03 | Inf
136.77/137.18 c 129s|190000 |152353 |259598 | 1.4 | 195M| 614 | 0 |1700 |5062 |1700 | 200 | 37k| 81k|1090 | 0.000000e+00 | 6.389000e+03 | Inf
143.97/144.34 c 136s|200000 |161046 |270453 | 1.4 | 207M| 614 | 0 |1700 |5384 |1700 | 192 | 39k| 85k|1124 | 0.000000e+00 | 6.389000e+03 | Inf
149.07/149.48 o 6381
149.07/149.48 c * 141s|207037 |166860 |279297 | 1.3 | 215M| 614 | - |1700 |4563 |1700 | 204 | 40k| 88k|1154 | 0.000000e+00 | 6.381000e+03 | Inf
149.07/149.48 o 6372
149.07/149.48 c * 141s|207038 |166669 |279297 | 1.3 | 215M| 614 | - |1700 |4563 |1700 | 204 | 40k| 88k|1154 | 0.000000e+00 | 6.372000e+03 | Inf
149.67/150.02 o 6275
149.67/150.02 c * 141s|207721 |165143 |280251 | 1.3 | 212M| 614 | - |1700 |4769 |1700 | 212 | 40k| 89k|1155 | 0.000000e+00 | 6.275000e+03 | Inf
151.27/151.67 c 143s|210000 |167149 |282440 | 1.3 | 215M| 614 | 0 |1700 |4976 |1700 | 203 | 40k| 90k|1157 | 0.000000e+00 | 6.275000e+03 | Inf
158.27/158.67 c 150s|220000 |176099 |291781 | 1.3 | 226M| 614 | 0 |1700 |5029 |1700 | 191 | 42k| 93k|1194 | 0.000000e+00 | 6.275000e+03 | Inf
165.47/165.84 c 156s|230000 |184725 |305536 | 1.3 | 237M| 614 | 0 |1700 |4911 |1700 | 206 | 43k| 97k|1229 | 0.000000e+00 | 6.275000e+03 | Inf
172.67/173.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.67/173.03 c 163s|240000 |193412 |316898 | 1.3 | 249M| 614 | 0 |1700 |4333 |1700 | 223 | 45k| 101k|1269 | 0.000000e+00 | 6.275000e+03 | Inf
179.67/180.09 c 170s|250000 |202211 |327799 | 1.3 | 260M| 614 | 0 |1700 |4383 |1700 | 212 | 47k| 105k|1304 | 0.000000e+00 | 6.275000e+03 | Inf
180.27/180.68 o 6159
180.27/180.68 c * 170s|250788 |199887 |328709 | 1.3 | 256M| 614 | - |1700 |4505 |1700 | 239 | 47k| 105k|1307 | 0.000000e+00 | 6.159000e+03 | Inf
180.27/180.68 o 6142
180.27/180.68 c * 170s|250789 |199360 |328712 | 1.3 | 256M| 614 | - |1700 |4505 |1700 | 239 | 47k| 105k|1307 | 0.000000e+00 | 6.142000e+03 | Inf
187.17/187.52 c 177s|260000 |207250 |340675 | 1.3 | 267M| 614 | 0 |1700 |5162 |1700 | 188 | 49k| 110k|1336 | 0.000000e+00 | 6.142000e+03 | Inf
194.27/194.64 c 184s|270000 |215815 |350616 | 1.3 | 278M| 614 | 0 |1700 |4929 |1700 | 208 | 50k| 114k|1361 | 0.000000e+00 | 6.142000e+03 | Inf
196.27/196.62 o 6115
196.27/196.62 c * 185s|272639 |217277 |354072 | 1.3 | 280M| 614 | - |1700 |5164 |1700 | 233 | 51k| 115k|1368 | 0.000000e+00 | 6.115000e+03 | Inf
201.57/201.94 c 190s|280000 |223620 |362176 | 1.3 | 288M| 614 | 0 |1700 |5448 |1700 | 196 | 52k| 118k|1391 | 0.000000e+00 | 6.115000e+03 | Inf
208.97/209.33 c 197s|290000 |232190 |374695 | 1.3 | 300M| 614 | 0 |1700 |4758 |1700 | 195 | 54k| 123k|1417 | 0.000000e+00 | 6.115000e+03 | Inf
212.47/212.81 o 6105
212.47/212.81 c * 201s|294770 |235966 |380754 | 1.3 | 305M| 614 | - |1700 |4999 |1700 | 212 | 55k| 125k|1426 | 0.000000e+00 | 6.105000e+03 | Inf
212.47/212.82 o 6087
212.47/212.82 c * 201s|294774 |235438 |380770 | 1.3 | 304M| 614 | - |1700 |4999 |1700 | 212 | 55k| 125k|1426 | 0.000000e+00 | 6.087000e+03 | Inf
216.07/216.48 c 204s|300000 |239930 |384887 | 1.3 | 310M| 614 | - |1700 |5496 | 0 | 0 | 56k| 127k|1440 | 0.000000e+00 | 6.087000e+03 | Inf
223.77/224.14 c 211s|310000 |248418 |398466 | 1.3 | 321M| 614 | 0 |1700 |5149 |1700 | 193 | 58k| 132k|1482 | 0.000000e+00 | 6.087000e+03 | Inf
231.17/231.59 c 218s|320000 |256929 |411362 | 1.3 | 333M| 614 | 0 |1700 |5819 |1700 | 193 | 60k| 138k|1511 | 0.000000e+00 | 6.087000e+03 | Inf
232.88/233.24 o 6082
232.88/233.24 c * 220s|322306 |258769 |413315 | 1.3 | 335M| 614 | - |1700 |5719 |1700 | 220 | 60k| 139k|1517 | 0.000000e+00 | 6.082000e+03 | Inf
238.57/238.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.57/238.99 c 225s|330000 |265344 |421575 | 1.3 | 344M| 614 | 0 |1700 |5079 |1700 | 196 | 62k| 143k|1537 | 0.000000e+00 | 6.082000e+03 | Inf
245.27/245.64 o 6010
245.27/245.64 c * 232s|338825 |270275 |434429 | 1.3 | 351M| 614 | - |1700 |5824 |1700 | 199 | 64k| 147k|1574 | 0.000000e+00 | 6.010000e+03 | Inf
246.17/246.57 c 232s|340000 |271290 |436832 | 1.3 | 352M| 614 | 0 |1700 |5792 |1700 | 200 | 64k| 148k|1579 | 0.000000e+00 | 6.010000e+03 | Inf
253.27/253.66 o 5935
253.27/253.66 c * 239s|349633 |276607 |447413 | 1.3 | 358M| 614 | - |1700 |4738 |1700 | 208 | 66k| 152k|1607 | 0.000000e+00 | 5.935000e+03 | Inf
253.27/253.67 o 5844
253.27/253.67 c * 239s|349634 |272983 |447414 | 1.3 | 352M| 614 | - |1700 |4738 |1700 | 208 | 66k| 152k|1607 | 0.000000e+00 | 5.844000e+03 | Inf
253.68/254.06 c 240s|350000 |273295 |450158 | 1.3 | 352M| 614 | 0 |1700 |4377 |1700 | 218 | 66k| 153k|1614 | 0.000000e+00 | 5.844000e+03 | Inf
261.17/261.51 c 247s|360000 |281822 |462289 | 1.3 | 363M| 614 | 17 |1700 |4690 |1700 | 203 | 68k| 157k|1635 | 0.000000e+00 | 5.844000e+03 | Inf
268.67/269.08 c 254s|370000 |290265 |476060 | 1.3 | 375M| 614 | 0 |1700 |5071 |1700 | 220 | 70k| 162k|1673 | 0.000000e+00 | 5.844000e+03 | Inf
270.48/270.88 o 5798
270.48/270.88 c * 255s|372246 |290161 |479404 | 1.3 | 375M| 614 | - |1700 |5182 |1700 | 234 | 71k| 163k|1682 | 0.000000e+00 | 5.798000e+03 | Inf
270.48/270.89 o 5783
270.48/270.89 c * 255s|372251 |289422 |479438 | 1.3 | 374M| 614 | - |1700 |5182 |1700 | 234 | 71k| 163k|1682 | 0.000000e+00 | 5.783000e+03 | Inf
276.58/276.97 c 261s|380000 |295875 |490778 | 1.3 | 383M| 614 | 0 |1700 |5943 |1700 | 221 | 73k| 167k|1711 | 0.000000e+00 | 5.783000e+03 | Inf
276.88/277.25 o 5748
276.88/277.25 c * 261s|380385 |294602 |491111 | 1.3 | 381M| 614 | - |1700 |6090 |1700 | 223 | 73k| 168k|1712 | 0.000000e+00 | 5.748000e+03 | Inf
279.08/279.46 o 5664
279.08/279.46 c * 264s|383216 |292868 |494745 | 1.3 | 376M| 614 | - |1700 |5480 |1700 | 234 | 73k| 169k|1732 | 0.000000e+00 | 5.664000e+03 | Inf
284.28/284.67 c 268s|390000 |298607 |503896 | 1.3 | 384M| 614 | 0 |1700 |5488 |1700 | 207 | 74k| 173k|1755 | 0.000000e+00 | 5.664000e+03 | Inf
287.27/287.67 o 5651
287.27/287.67 c * 271s|393904 |301168 |509378 | 1.3 | 387M| 614 | - |1700 |5157 |1700 | 212 | 75k| 174k|1772 | 0.000000e+00 | 5.651000e+03 | Inf
291.97/292.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.97/292.37 c 276s|400000 |306366 |519539 | 1.3 | 394M| 614 | 0 |1700 |4808 |1700 | 221 | 77k| 177k|1795 | 0.000000e+00 | 5.651000e+03 | Inf
299.77/300.14 c 283s|410000 |314795 |535436 | 1.3 | 406M| 614 | 0 |1700 |5458 |1700 | 198 | 79k| 182k|1847 | 0.000000e+00 | 5.651000e+03 | Inf
307.27/307.60 c 290s|420000 |323373 |549559 | 1.3 | 418M| 614 | 0 |1700 |5340 |1700 | 219 | 81k| 187k|1883 | 0.000000e+00 | 5.651000e+03 | Inf
311.58/311.99 o 5513
311.58/311.99 c * 294s|425618 |320393 |558905 | 1.3 | 409M| 614 | - |1700 |5479 |1700 | 215 | 82k| 190k|1894 | 0.000000e+00 | 5.513000e+03 | Inf
313.67/314.07 o 5430
313.67/314.07 c * 296s|428327 |317692 |562028 | 1.3 | 403M| 614 | - |1700 |5502 |1700 | 199 | 83k| 191k|1899 | 0.000000e+00 | 5.430000e+03 | Inf
315.07/315.40 c 298s|430000 |319094 |563844 | 1.3 | 405M| 614 | 0 |1700 |5668 |1700 | 197 | 83k| 192k|1902 | 0.000000e+00 | 5.430000e+03 | Inf
323.08/323.42 c 305s|440000 |327250 |580131 | 1.3 | 417M| 614 | 0 |1700 |5482 |1700 | 219 | 86k| 197k|1951 | 0.000000e+00 | 5.430000e+03 | Inf
330.88/331.20 c 312s|450000 |335607 |594056 | 1.3 | 428M| 614 | 4 |1700 |5312 |1700 | 219 | 88k| 202k|1985 | 0.000000e+00 | 5.430000e+03 | Inf
338.67/339.04 c 320s|460000 |343918 |608356 | 1.3 | 441M| 614 | 0 |1700 |6282 |1700 | 205 | 90k| 207k|2007 | 0.000000e+00 | 5.430000e+03 | Inf
346.28/346.63 c 327s|470000 |352322 |621438 | 1.3 | 452M| 614 | 0 |1700 |5390 |1700 | 227 | 92k| 212k|2054 | 0.000000e+00 | 5.430000e+03 | Inf
346.87/347.24 o 5411
346.87/347.24 c * 328s|470773 |351712 |622477 | 1.3 | 451M| 614 | - |1700 |5388 |1700 | 204 | 93k| 212k|2061 | 0.000000e+00 | 5.411000e+03 | Inf
353.97/354.36 o 5331
353.97/354.36 c * 334s|479971 |354084 |633521 | 1.3 | 451M| 614 | - |1700 |6038 |1700 | 212 | 94k| 217k|2075 | 0.000000e+00 | 5.331000e+03 | Inf
353.97/354.39 c 334s|480000 |354110 |633604 | 1.3 | 451M| 614 | 0 |1700 |6023 |1700 | 195 | 94k| 217k|2075 | 0.000000e+00 | 5.331000e+03 | Inf
361.97/362.38 c 342s|490000 |362458 |647865 | 1.3 | 463M| 614 | 0 |1700 |5649 |1700 | 209 | 97k| 223k|2107 | 0.000000e+00 | 5.331000e+03 | Inf
365.48/365.90 o 5324
365.48/365.90 c * 345s|494648 |365974 |653292 | 1.3 | 467M| 614 | - |1700 |5200 |1700 | 218 | 98k| 225k|2137 | 0.000000e+00 | 5.324000e+03 | Inf
369.47/369.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.47/369.86 c 349s|500000 |370497 |658554 | 1.3 | 474M| 614 | 0 |1700 |5360 |1700 | 203 | 99k| 227k|2143 | 0.000000e+00 | 5.324000e+03 | Inf
376.98/377.38 c 356s|510000 |378875 |670548 | 1.3 | 486M| 614 | 0 |1700 |5720 |1700 | 209 | 100k| 232k|2165 | 0.000000e+00 | 5.324000e+03 | Inf
384.87/385.20 c 363s|520000 |387229 |684782 | 1.3 | 498M| 614 | 0 |1700 |6030 |1700 | 200 | 103k| 237k|2206 | 0.000000e+00 | 5.324000e+03 | Inf
392.68/393.03 c 371s|530000 |395520 |699128 | 1.3 | 510M| 614 | 0 |1700 |5808 |1700 | 213 | 105k| 242k|2244 | 0.000000e+00 | 5.324000e+03 | Inf
400.67/401.07 c 378s|540000 |403688 |714344 | 1.3 | 522M| 614 | - |1700 |5225 | 0 | 0 | 108k| 247k|2277 | 0.000000e+00 | 5.324000e+03 | Inf
408.48/408.89 c 386s|550000 |412056 |728175 | 1.3 | 534M| 614 | 0 |1700 |5337 |1700 | 200 | 110k| 252k|2313 | 0.000000e+00 | 5.324000e+03 | Inf
409.58/409.93 o 5295
409.58/409.93 c * 387s|551476 |411272 |729515 | 1.3 | 531M| 614 | - |1700 |5641 |1700 | 227 | 111k| 253k|2315 | 0.000000e+00 | 5.295000e+03 | Inf
416.38/416.74 c 393s|560000 |418428 |741757 | 1.3 | 542M| 614 | 0 |1700 |5345 |1700 | 191 | 113k| 256k|2349 | 0.000000e+00 | 5.295000e+03 | Inf
423.98/424.31 c 400s|570000 |426804 |753131 | 1.3 | 554M| 614 | 0 |1700 |5322 |1700 | 204 | 115k| 261k|2374 | 0.000000e+00 | 5.295000e+03 | Inf
431.47/431.84 c 407s|580000 |434981 |766278 | 1.3 | 565M| 614 | 0 |1700 |5702 |1700 | 212 | 117k| 266k|2388 | 0.000000e+00 | 5.295000e+03 | Inf
438.98/439.30 c 414s|590000 |443203 |779578 | 1.3 | 577M| 614 | - |1700 |6435 | 0 | 0 | 119k| 272k|2418 | 0.000000e+00 | 5.295000e+03 | Inf
446.18/446.60 c 421s|600000 |451770 |792685 | 1.3 | 588M| 614 | 0 |1700 |4521 |1700 | 202 | 122k| 276k|2448 | 0.000000e+00 | 5.295000e+03 | Inf
450.87/451.24 o 5266
450.87/451.24 c R 426s|606396 |454761 |799826 | 1.3 | 591M| 614 | - |1700 |4944 |1700 | 207 | 123k| 279k|2454 | 0.000000e+00 | 5.266000e+03 | Inf
450.87/451.29 o 5179
450.87/451.29 c * 426s|606431 |447384 |799937 | 1.3 | 577M| 614 | - |1700 |4958 |1700 | 213 | 123k| 279k|2454 | 0.000000e+00 | 5.179000e+03 | Inf
450.97/451.31 o 5085
450.97/451.31 c * 426s|606432 |438698 |799940 | 1.3 | 559M| 614 | - |1700 |4958 |1700 | 213 | 123k| 279k|2454 | 0.000000e+00 | 5.085000e+03 | Inf
453.67/454.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.67/454.06 c 428s|610000 |441552 |804784 | 1.3 | 564M| 614 | 0 |1700 |6085 |1700 | 205 | 124k| 281k|2464 | 0.000000e+00 | 5.085000e+03 | Inf
461.38/461.77 c 436s|620000 |449693 |817870 | 1.3 | 576M| 614 | 0 |1700 |6239 |1700 | 219 | 126k| 287k|2486 | 0.000000e+00 | 5.085000e+03 | Inf
464.08/464.49 o 5062
464.08/464.49 c * 438s|623513 |450321 |822969 | 1.3 | 575M| 614 | - |1700 |5837 |1700 | 215 | 127k| 289k|2500 | 0.000000e+00 | 5.062000e+03 | Inf
464.18/464.52 o 4939
464.18/464.52 c * 438s|623517 |438364 |822994 | 1.3 | 552M| 614 | - |1700 |5836 |1700 | 215 | 127k| 289k|2500 | 0.000000e+00 | 4.939000e+03 | Inf
464.18/464.54 o 4877
464.18/464.54 c * 438s|623518 |432277 |822994 | 1.3 | 542M| 614 | - |1700 |5836 |1700 | 215 | 127k| 289k|2500 | 0.000000e+00 | 4.877000e+03 | Inf
469.17/469.56 c 443s|630000 |437640 |832793 | 1.3 | 549M| 614 | 0 |1700 |5780 |1700 | 214 | 129k| 292k|2510 | 0.000000e+00 | 4.877000e+03 | Inf
476.98/477.40 c 450s|640000 |445732 |847808 | 1.3 | 561M| 614 | 0 |1700 |5936 |1700 | 194 | 131k| 297k|2540 | 0.000000e+00 | 4.877000e+03 | Inf
484.87/485.21 c 458s|650000 |453842 |861375 | 1.3 | 573M| 614 | 0 |1700 |5463 |1700 | 221 | 133k| 302k|2567 | 0.000000e+00 | 4.877000e+03 | Inf
492.48/492.86 c 465s|660000 |462106 |875129 | 1.3 | 586M| 614 | 0 |1700 |5010 |1700 | 225 | 136k| 307k|2599 | 0.000000e+00 | 4.877000e+03 | Inf
498.27/498.63 o 4714
498.27/498.63 c * 470s|667642 |451827 |885286 | 1.3 | 567M| 614 | - |1700 |5758 |1700 | 208 | 138k| 310k|2626 | 0.000000e+00 | 4.714000e+03 | Inf
498.27/498.65 o 4705
498.27/498.65 c * 470s|667643 |450897 |885344 | 1.3 | 565M| 614 | - |1700 |5758 |1700 | 208 | 138k| 310k|2626 | 0.000000e+00 | 4.705000e+03 | Inf
498.38/498.71 o 4686
498.38/498.71 c * 470s|667705 |448891 |885538 | 1.3 | 561M| 614 | - |1700 |5760 |1700 | 207 | 138k| 310k|2626 | 0.000000e+00 | 4.686000e+03 | Inf
498.38/498.74 o 4575
498.38/498.74 c * 470s|667706 |436997 |885539 | 1.3 | 539M| 614 | - |1700 |5759 |1700 | 207 | 138k| 310k|2626 | 0.000000e+00 | 4.575000e+03 | Inf
500.18/500.53 c 472s|670000 |438831 |888434 | 1.3 | 542M| 614 | 0 |1700 |5824 |1700 | 197 | 138k| 311k|2627 | 0.000000e+00 | 4.575000e+03 | Inf
504.07/504.48 o 4511
504.07/504.48 c * 476s|674862 |436011 |897400 | 1.3 | 536M| 614 | - |1700 |5603 |1700 | 220 | 140k| 314k|2638 | 0.000000e+00 | 4.511000e+03 | Inf
508.17/508.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.17/508.54 c 479s|680000 |440255 |905682 | 1.3 | 542M| 614 | - |1700 |5475 | 0 | 0 | 141k| 316k|2650 | 0.000000e+00 | 4.511000e+03 | Inf
516.08/516.40 c 487s|690000 |448323 |921060 | 1.3 | 554M| 614 | 0 |1700 |5182 |1700 | 215 | 144k| 321k|2682 | 0.000000e+00 | 4.511000e+03 | Inf
519.57/519.95 o 4507
519.57/519.95 c * 490s|694529 |451567 |927298 | 1.3 | 559M| 614 | - |1700 |5390 |1700 | 193 | 145k| 323k|2692 | 0.000000e+00 | 4.507000e+03 | Inf
523.87/524.29 c 494s|700000 |456092 |935743 | 1.3 | 566M| 614 | - |1700 |5587 |1700 | 212 | 146k| 326k|2708 | 0.000000e+00 | 4.507000e+03 | Inf
531.58/531.95 c 501s|710000 |464198 |949089 | 1.3 | 578M| 614 | 0 |1700 |5911 |1700 | 193 | 148k| 331k|2730 | 0.000000e+00 | 4.507000e+03 | Inf
538.68/539.04 o 4483
538.68/539.04 c * 508s|719009 |468706 |964184 | 1.3 | 584M| 614 | - |1700 |5436 |1700 | 228 | 151k| 335k|2770 | 0.000000e+00 | 4.483000e+03 | Inf
539.47/539.84 c 509s|720000 |469500 |965622 | 1.3 | 585M| 614 | 0 |1700 |5559 |1700 | 197 | 151k| 336k|2771 | 0.000000e+00 | 4.483000e+03 | Inf
547.17/547.56 c 516s|730000 |477679 |979511 | 1.3 | 598M| 614 | 0 |1700 |5767 |1700 | 201 | 153k| 341k|2790 | 0.000000e+00 | 4.483000e+03 | Inf
552.98/553.38 o 4447
552.98/553.38 c * 522s|737648 |479715 |988986 | 1.3 | 599M| 614 | - |1700 |6015 |1700 | 215 | 155k| 345k|2805 | 0.000000e+00 | 4.447000e+03 | Inf
553.07/553.42 o 4435
553.07/553.42 c * 522s|737672 |478260 |989090 | 1.3 | 596M| 614 | - |1700 |6023 |1700 | 224 | 155k| 345k|2805 | 0.000000e+00 | 4.435000e+03 | Inf
553.07/553.45 o 4335
553.07/553.45 c * 522s|737673 |465933 |989091 | 1.3 | 572M| 614 | - |1700 |6022 |1700 | 224 | 155k| 345k|2805 | 0.000000e+00 | 4.335000e+03 | Inf
553.18/553.54 o 4135
553.18/553.54 c * 522s|737694 |440111 |989227 | 1.3 | 524M| 614 | - |1700 |6024 |1700 | 209 | 155k| 345k|2805 | 0.000000e+00 | 4.135000e+03 | Inf
553.28/553.70 o 4124
553.28/553.70 c * 522s|737833 |438853 |989716 | 1.3 | 522M| 614 | - |1700 |6101 |1700 | 214 | 155k| 345k|2805 | 0.000000e+00 | 4.124000e+03 | Inf
553.37/553.72 o 4079
553.37/553.72 c * 522s|737834 |433378 |989721 | 1.3 | 512M| 614 | - |1700 |6100 |1700 | 214 | 155k| 345k|2805 | 0.000000e+00 | 4.079000e+03 | Inf
555.18/555.59 c 524s|740000 |435035 |993566 | 1.3 | 515M| 614 | 0 |1700 |5844 |1700 | 205 | 156k| 347k|2809 | 0.000000e+00 | 4.079000e+03 | Inf
563.08/563.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.08/563.47 c 531s|750000 |442965 | 1008k| 1.3 | 527M| 614 | - |1700 |5923 | 0 | 0 | 158k| 352k|2837 | 0.000000e+00 | 4.079000e+03 | Inf
566.37/566.71 o 3948
566.37/566.71 c * 534s|753857 |430151 | 1014k| 1.3 | 507M| 614 | - |1700 |5917 |1700 | 239 | 159k| 354k|2857 | 0.000000e+00 | 3.948000e+03 | Inf
566.37/566.72 o 3931
566.37/566.72 c * 534s|753858 |428041 | 1014k| 1.3 | 503M| 614 | - |1700 |5917 |1700 | 239 | 159k| 354k|2857 | 0.000000e+00 | 3.931000e+03 | Inf
571.58/571.94 c 539s|760000 |432836 | 1024k| 1.3 | 511M| 614 | 0 |1700 |5486 |1700 | 212 | 161k| 357k|2871 | 0.000000e+00 | 3.931000e+03 | Inf
579.67/580.09 c 547s|770000 |440815 | 1041k| 1.4 | 524M| 614 | 0 |1700 |5062 |1700 | 208 | 164k| 362k|2908 | 0.000000e+00 | 3.931000e+03 | Inf
580.97/581.36 o 3784
580.97/581.36 c * 548s|771624 |423714 | 1043k| 1.4 | 495M| 614 | - |1700 |5059 |1700 | 215 | 165k| 363k|2908 | 0.000000e+00 | 3.784000e+03 | Inf
587.88/588.25 c 554s|780000 |430310 | 1056k| 1.4 | 506M| 614 | 0 |1700 |5354 |1700 | 212 | 167k| 368k|2929 | 0.000000e+00 | 3.784000e+03 | Inf
596.28/596.67 c 562s|790000 |438067 | 1074k| 1.4 | 519M| 614 | 0 |1700 |5440 |1700 | 210 | 170k| 373k|2967 | 0.000000e+00 | 3.784000e+03 | Inf
604.48/604.87 c 570s|800000 |445862 | 1091k| 1.4 | 532M| 614 | 0 |1700 |5325 |1700 | 208 | 173k| 378k|2990 | 0.000000e+00 | 3.784000e+03 | Inf
610.47/610.88 o 3528
610.47/610.88 c * 576s|807273 |419320 | 1105k| 1.4 | 493M| 614 | - |1700 |5083 |1700 | 210 | 176k| 382k|3010 | 0.000000e+00 | 3.528000e+03 | Inf
612.77/613.19 c 578s|810000 |421391 | 1110k| 1.4 | 497M| 614 | - |1700 |5542 | 0 | 0 | 177k| 384k|3012 | 0.000000e+00 | 3.528000e+03 | Inf
621.47/621.89 c 586s|820000 |429026 | 1132k| 1.4 | 510M| 614 | 0 |1700 |5344 |1700 | 206 | 180k| 390k|3047 | 0.000000e+00 | 3.528000e+03 | Inf
629.48/629.86 o 3479
629.48/629.86 c * 593s|829748 |430057 | 1151k| 1.4 | 512M| 614 | - |1700 |5499 |1700 | 218 | 183k| 394k|3070 | 0.000000e+00 | 3.479000e+03 | Inf
629.77/630.13 c 594s|830000 |430229 | 1152k| 1.4 | 512M| 614 | 0 |1700 |5535 |1700 | 197 | 183k| 395k|3070 | 0.000000e+00 | 3.479000e+03 | Inf
638.37/638.77 c 602s|840000 |437811 | 1172k| 1.4 | 526M| 614 | 0 |1700 |5489 |1700 | 193 | 186k| 400k|3116 | 0.000000e+00 | 3.479000e+03 | Inf
646.88/647.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
646.88/647.22 c 610s|850000 |445547 | 1190k| 1.4 | 539M| 614 | 0 |1700 |5158 |1700 | 198 | 189k| 405k|3147 | 0.000000e+00 | 3.479000e+03 | Inf
655.47/655.80 c 618s|860000 |453312 | 1211k| 1.4 | 553M| 614 | 0 |1700 |4560 |1700 | 200 | 193k| 410k|3192 | 0.000000e+00 | 3.479000e+03 | Inf
664.08/664.48 c 626s|870000 |460894 | 1233k| 1.4 | 567M| 614 | 0 |1700 |5184 |1700 | 207 | 196k| 416k|3234 | 0.000000e+00 | 3.479000e+03 | Inf
672.48/672.88 c 634s|880000 |468578 | 1253k| 1.4 | 580M| 614 | 0 |1700 |4796 |1700 | 204 | 200k| 421k|3264 | 0.000000e+00 | 3.479000e+03 | Inf
680.48/680.82 c 642s|890000 |476450 | 1268k| 1.4 | 593M| 614 | 0 |1700 |5310 |1700 | 210 | 202k| 426k|3278 | 0.000000e+00 | 3.479000e+03 | Inf
688.97/689.30 o 3439
688.97/689.30 c * 650s|899821 |478126 | 1286k| 1.4 | 598M| 614 | - |1700 |5674 |1700 | 217 | 206k| 432k|3317 | 0.000000e+00 | 3.439000e+03 | Inf
689.08/689.46 c 650s|900000 |478256 | 1287k| 1.4 | 599M| 614 | 0 |1700 |5674 |1700 | 192 | 206k| 432k|3318 | 0.000000e+00 | 3.439000e+03 | Inf
697.68/698.09 c 658s|910000 |485896 | 1307k| 1.4 | 612M| 614 | - |1700 |5374 | 0 | 0 | 209k| 437k|3354 | 0.000000e+00 | 3.439000e+03 | Inf
706.38/706.76 c 666s|920000 |493458 | 1330k| 1.4 | 626M| 614 | 0 |1700 |5875 |1700 | 194 | 213k| 443k|3399 | 0.000000e+00 | 3.439000e+03 | Inf
714.88/715.28 c 674s|930000 |501144 | 1352k| 1.5 | 639M| 614 | 0 |1700 |4803 |1700 | 214 | 216k| 448k|3444 | 0.000000e+00 | 3.439000e+03 | Inf
721.68/722.07 o 3394
721.68/722.07 c * 680s|938328 |501142 | 1366k| 1.5 | 641M| 614 | - |1700 |5720 |1700 | 205 | 218k| 453k|3454 | 0.000000e+00 | 3.394000e+03 | Inf
723.07/723.46 c 682s|940000 |502418 | 1368k| 1.5 | 643M| 614 | - |1700 |5799 | 0 | 0 | 219k| 454k|3457 | 0.000000e+00 | 3.394000e+03 | Inf
731.88/732.21 c 690s|950000 |509994 | 1390k| 1.5 | 656M| 614 | 0 |1700 |4871 |1700 | 193 | 223k| 459k|3500 | 0.000000e+00 | 3.394000e+03 | Inf
740.48/740.81 c 698s|960000 |517483 | 1411k| 1.5 | 670M| 614 | 0 |1700 |5113 |1700 | 207 | 226k| 465k|3524 | 0.000000e+00 | 3.394000e+03 | Inf
748.98/749.32 c 706s|970000 |525263 | 1434k| 1.5 | 684M| 614 | 0 |1700 |5202 |1700 | 215 | 230k| 471k|3555 | 0.000000e+00 | 3.394000e+03 | Inf
749.08/749.49 o 3336
749.08/749.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
749.08/749.49 c * 706s|970185 |516616 | 1434k| 1.5 | 673M| 614 | - |1700 |5159 |1700 | 218 | 230k| 471k|3555 | 0.000000e+00 | 3.336000e+03 | Inf
757.68/758.09 c 714s|980000 |524180 | 1454k| 1.5 | 686M| 614 | 0 |1700 |5023 |1700 | 213 | 233k| 476k|3577 | 0.000000e+00 | 3.336000e+03 | Inf
766.18/766.55 c 722s|990000 |531702 | 1474k| 1.5 | 699M| 614 | 0 |1700 |5335 |1700 | 214 | 237k| 482k|3602 | 0.000000e+00 | 3.336000e+03 | Inf
774.88/775.22 c 730s| 1000k|539246 | 1494k| 1.5 | 712M| 614 | 0 |1700 |4846 |1700 | 204 | 241k| 487k|3643 | 0.000000e+00 | 3.336000e+03 | Inf
775.48/775.81 o 3229
775.48/775.81 c * 731s| 1000k|522695 | 1495k| 1.5 | 691M| 614 | - |1700 |4906 |1700 | 227 | 241k| 487k|3643 | 0.000000e+00 | 3.229000e+03 | Inf
783.18/783.56 c 738s| 1010k|530082 | 1510k| 1.5 | 704M| 614 | 0 |1700 |5946 |1700 | 224 | 244k| 492k|3663 | 0.000000e+00 | 3.229000e+03 | Inf
791.88/792.28 c 746s| 1020k|537660 | 1530k| 1.5 | 717M| 614 | 0 |1700 |5113 |1700 | 191 | 247k| 498k|3686 | 0.000000e+00 | 3.229000e+03 | Inf
800.58/800.90 c 754s| 1030k|545243 | 1549k| 1.5 | 731M| 614 | 0 |1700 |6155 |1700 | 201 | 251k| 503k|3714 | 0.000000e+00 | 3.229000e+03 | Inf
809.38/809.71 c 763s| 1040k|552757 | 1571k| 1.5 | 744M| 614 | 0 |1700 |5241 |1700 | 196 | 254k| 510k|3741 | 0.000000e+00 | 3.229000e+03 | Inf
817.88/818.24 c 771s| 1050k|560303 | 1590k| 1.5 | 757M| 614 | 0 |1700 |5204 |1700 | 232 | 258k| 516k|3765 | 0.000000e+00 | 3.229000e+03 | Inf
823.28/823.69 o 3118
823.28/823.69 c * 776s| 1056k|546457 | 1604k| 1.5 | 741M| 614 | - |1700 |5458 |1700 | 220 | 260k| 519k|3789 | 0.000000e+00 | 3.118000e+03 | Inf
823.58/823.91 o 3043
823.58/823.91 c * 776s| 1056k|533632 | 1605k| 1.5 | 723M| 614 | - |1700 |5492 |1700 | 212 | 260k| 520k|3789 | 0.000000e+00 | 3.043000e+03 | Inf
826.89/827.23 c 779s| 1060k|536350 | 1614k| 1.5 | 728M| 614 | 0 |1700 |6075 |1700 | 214 | 262k| 522k|3794 | 0.000000e+00 | 3.043000e+03 | Inf
833.28/833.65 o 3032
833.28/833.65 c * 785s| 1066k|539467 | 1631k| 1.5 | 736M| 614 | - |1700 |5141 |1700 | 221 | 265k| 526k|3822 | 0.000000e+00 | 3.032000e+03 | Inf
833.28/833.66 o 3016
833.28/833.66 c * 785s| 1066k|536647 | 1631k| 1.5 | 732M| 614 | - |1700 |5141 |1700 | 221 | 265k| 526k|3822 | 0.000000e+00 | 3.016000e+03 | Inf
836.19/836.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
836.19/836.50 c 788s| 1070k|538964 | 1636k| 1.5 | 736M| 614 | 0 |1700 |5353 |1700 | 217 | 266k| 528k|3828 | 0.000000e+00 | 3.016000e+03 | Inf
845.18/845.55 c 797s| 1080k|546303 | 1659k| 1.5 | 749M| 614 | 0 |1700 |5206 |1700 | 192 | 269k| 534k|3864 | 0.000000e+00 | 3.016000e+03 | Inf
854.18/854.59 c 805s| 1090k|553813 | 1682k| 1.5 | 764M| 614 | - |1700 |5054 | 0 | 0 | 273k| 539k|3897 | 0.000000e+00 | 3.016000e+03 | Inf
862.98/863.34 c 813s| 1100k|561283 | 1701k| 1.5 | 779M| 614 | 0 |1700 |5040 |1700 | 212 | 277k| 545k|3922 | 0.000000e+00 | 3.016000e+03 | Inf
872.09/872.48 c 822s| 1110k|568537 | 1728k| 1.6 | 793M| 614 | 0 |1700 |5308 |1700 | 214 | 281k| 551k|3949 | 0.000000e+00 | 3.016000e+03 | Inf
877.59/877.97 o 3004
877.59/877.97 c * 827s| 1116k|570921 | 1743k| 1.6 | 799M| 614 | - |1700 |6009 |1700 | 204 | 283k| 555k|3969 | 0.000000e+00 | 3.004000e+03 | Inf
881.08/881.42 c 830s| 1120k|573827 | 1750k| 1.6 | 805M| 614 | 0 |1700 |5492 |1700 | 200 | 284k| 557k|3971 | 0.000000e+00 | 3.004000e+03 | Inf
889.98/890.33 c 839s| 1130k|581091 | 1771k| 1.6 | 818M| 614 | 0 |1700 |5531 |1700 | 204 | 288k| 564k|4012 | 0.000000e+00 | 3.004000e+03 | Inf
898.59/898.95 c 847s| 1140k|588578 | 1791k| 1.6 | 832M| 614 | 0 |1700 |5080 |1700 | 210 | 291k| 570k|4034 | 0.000000e+00 | 3.004000e+03 | Inf
907.38/907.74 c 855s| 1150k|595928 | 1812k| 1.6 | 846M| 614 | 0 |1700 |5496 |1700 | 224 | 295k| 576k|4061 | 0.000000e+00 | 3.004000e+03 | Inf
907.79/908.13 o 2991
907.79/908.13 c * 856s| 1150k|593846 | 1813k| 1.6 | 843M| 614 | - |1700 |5411 |1700 | 217 | 295k| 576k|4061 | 0.000000e+00 | 2.991000e+03 | Inf
907.79/908.18 o 2860
907.79/908.18 c * 856s| 1150k|568944 | 1813k| 1.6 | 805M| 614 | - |1700 |5411 |1700 | 217 | 295k| 576k|4061 | 0.000000e+00 | 2.860000e+03 | Inf
916.38/916.73 c 864s| 1160k|576077 | 1834k| 1.6 | 819M| 614 | 0 |1700 |5104 |1700 | 200 | 299k| 582k|4085 | 0.000000e+00 | 2.860000e+03 | Inf
918.89/919.24 o 2850
918.89/919.24 c * 866s| 1162k|576251 | 1840k| 1.6 | 819M| 614 | - |1700 |4725 |1700 | 203 | 300k| 583k|4101 | 0.000000e+00 | 2.850000e+03 | Inf
918.89/919.26 o 2838
918.89/919.26 c * 866s| 1162k|573835 | 1840k| 1.6 | 815M| 614 | - |1700 |4725 |1700 | 203 | 300k| 583k|4101 | 0.000000e+00 | 2.838000e+03 | Inf
925.58/925.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
925.58/925.97 c 872s| 1170k|579318 | 1858k| 1.6 | 826M| 614 | 0 |1700 |5266 |1700 | 200 | 303k| 587k|4115 | 0.000000e+00 | 2.838000e+03 | Inf
934.39/934.75 c 881s| 1180k|586970 | 1878k| 1.6 | 840M| 614 | 0 |1700 |5350 |1700 | 198 | 306k| 592k|4146 | 0.000000e+00 | 2.838000e+03 | Inf
940.79/941.13 o 2831
940.79/941.13 c * 887s| 1187k|591049 | 1891k| 1.6 | 848M| 614 | - |1700 |5372 |1700 | 251 | 309k| 596k|4162 | 0.000000e+00 | 2.831000e+03 | Inf
940.79/941.14 o 2821
940.79/941.14 c * 887s| 1187k|589019 | 1891k| 1.6 | 845M| 614 | - |1700 |5372 |1700 | 251 | 309k| 596k|4162 | 0.000000e+00 | 2.821000e+03 | Inf
943.19/943.54 c 889s| 1190k|591213 | 1897k| 1.6 | 849M| 614 | - |1700 |5261 | 0 | 0 | 310k| 597k|4168 | 0.000000e+00 | 2.821000e+03 | Inf
951.88/952.20 c 897s| 1200k|598737 | 1919k| 1.6 | 863M| 614 | 0 |1700 |5595 |1700 | 204 | 313k| 603k|4201 | 0.000000e+00 | 2.821000e+03 | Inf
960.89/961.22 c 905s| 1210k|605786 | 1942k| 1.6 | 877M| 614 | 0 |1700 |5346 |1700 | 205 | 317k| 609k|4226 | 0.000000e+00 | 2.821000e+03 | Inf
969.79/970.11 c 914s| 1220k|613175 | 1965k| 1.6 | 892M| 614 | 0 |1700 |5132 |1700 | 205 | 321k| 615k|4253 | 0.000000e+00 | 2.821000e+03 | Inf
978.88/979.20 c 922s| 1230k|620967 | 1993k| 1.6 | 907M| 614 | - |1700 |5133 | 0 | 0 | 326k| 620k|4281 | 0.000000e+00 | 2.821000e+03 | Inf
987.68/988.03 c 931s| 1240k|628151 | 2014k| 1.6 | 921M| 614 | 0 |1700 |5062 |1700 | 219 | 330k| 626k|4309 | 0.000000e+00 | 2.821000e+03 | Inf
988.38/988.71 o 2790
988.38/988.71 c * 931s| 1240k|622006 | 2015k| 1.6 | 910M| 614 | - |1700 |5050 |1700 | 215 | 330k| 626k|4310 | 0.000000e+00 | 2.790000e+03 | Inf
997.09/997.47 c 940s| 1250k|628473 | 2038k| 1.6 | 923M| 614 | 0 |1700 |4593 |1700 | 202 | 334k| 632k|4333 | 0.000000e+00 | 2.790000e+03 | Inf
1005.88/1006.28 c 948s| 1260k|635799 | 2060k| 1.6 | 937M| 614 | 0 |1700 |5648 |1700 | 196 | 338k| 638k|4360 | 0.000000e+00 | 2.790000e+03 | Inf
1014.79/1015.14 c 956s| 1270k|643079 | 2081k| 1.6 | 951M| 614 | 0 |1700 |5435 |1700 | 218 | 342k| 644k|4381 | 0.000000e+00 | 2.790000e+03 | Inf
1023.69/1024.06 c 965s| 1280k|650233 | 2104k| 1.6 | 965M| 614 | 0 |1700 |5556 |1700 | 202 | 346k| 650k|4406 | 0.000000e+00 | 2.790000e+03 | Inf
1033.09/1033.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.09/1033.41 c 973s| 1290k|657455 | 2132k| 1.7 | 979M| 614 | 0 |1700 |4959 |1700 | 206 | 350k| 657k|4441 | 0.000000e+00 | 2.790000e+03 | Inf
1041.99/1042.32 c 982s| 1300k|664678 | 2155k| 1.7 | 993M| 614 | 6 |1700 |4838 |1700 | 195 | 354k| 663k|4468 | 0.000000e+00 | 2.790000e+03 | Inf
1050.69/1051.01 c 990s| 1310k|672058 | 2176k| 1.7 |1008M| 614 | 0 |1700 |5171 |1700 | 206 | 357k| 669k|4483 | 0.000000e+00 | 2.790000e+03 | Inf
1057.58/1057.90 o 2739
1057.58/1057.90 c * 996s| 1317k|666572 | 2193k| 1.7 |1000M| 614 | - |1700 |5048 |1700 | 210 | 360k| 673k|4501 | 0.000000e+00 | 2.739000e+03 | Inf
1059.49/1059.86 c 998s| 1320k|668128 | 2198k| 1.7 |1002M| 614 | 0 |1700 |4855 |1700 | 212 | 361k| 674k|4509 | 0.000000e+00 | 2.739000e+03 | Inf
1063.89/1064.28 o 2703
1063.89/1064.28 c *1002s| 1324k|663471 | 2210k| 1.7 | 996M| 614 | - |1700 |4736 |1700 | 204 | 363k| 677k|4520 | 0.000000e+00 | 2.703000e+03 | Inf
1068.80/1069.17 c 1007s| 1330k|667308 | 2221k| 1.7 |1003M| 614 | - |1700 |5429 | 0 | 0 | 365k| 680k|4532 | 0.000000e+00 | 2.703000e+03 | Inf
1076.49/1076.81 o 2599
1076.49/1076.81 c *1014s| 1338k|648481 | 2241k| 1.7 | 971M| 614 | - |1700 |5106 |1700 | 231 | 368k| 684k|4543 | 0.000000e+00 | 2.599000e+03 | Inf
1076.49/1076.89 o 2566
1076.49/1076.89 c *1014s| 1338k|640275 | 2241k| 1.7 | 955M| 614 | - |1700 |5145 |1700 | 226 | 368k| 684k|4543 | 0.000000e+00 | 2.566000e+03 | Inf
1077.79/1078.15 c 1015s| 1340k|641327 | 2244k| 1.7 | 957M| 614 | 0 |1700 |5152 |1700 | 214 | 369k| 685k|4551 | 0.000000e+00 | 2.566000e+03 | Inf
1087.19/1087.53 c 1024s| 1350k|648219 | 2267k| 1.7 | 971M| 614 | 0 |1700 |5197 |1700 | 214 | 373k| 692k|4577 | 0.000000e+00 | 2.566000e+03 | Inf
1096.59/1096.99 c 1033s| 1360k|655126 | 2294k| 1.7 | 986M| 614 | - |1700 |5261 |1700 | 200 | 376k| 698k|4601 | 0.000000e+00 | 2.566000e+03 | Inf
1105.79/1106.19 c 1042s| 1370k|662689 | 2317k| 1.7 |1001M| 614 | - |1700 |5636 | 0 | 0 | 380k| 703k|4626 | 0.000000e+00 | 2.566000e+03 | Inf
1111.59/1111.94 o 2477
1111.59/1111.94 c *1047s| 1376k|643249 | 2332k| 1.7 | 965M| 614 | - |1700 |5360 |1700 | 196 | 383k| 707k|4640 | 0.000000e+00 | 2.477000e+03 | Inf
1115.59/1115.91 c 1051s| 1380k|645997 | 2346k| 1.7 | 972M| 614 | 0 |1700 |5156 |1700 | 218 | 385k| 709k|4657 | 0.000000e+00 | 2.477000e+03 | Inf
1125.19/1125.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1125.19/1125.54 c 1060s| 1390k|652932 | 2372k| 1.7 | 987M| 614 | 0 |1700 |5450 |1700 | 217 | 389k| 716k|4686 | 0.000000e+00 | 2.477000e+03 | Inf
1132.99/1133.38 o 2394
1132.99/1133.38 c *1067s| 1397k|635613 | 2395k| 1.7 | 956M| 614 | - |1700 |5589 |1700 | 223 | 393k| 721k|4712 | 0.000000e+00 | 2.394000e+03 | Inf
1135.08/1135.47 c 1069s| 1400k|637147 | 2403k| 1.7 | 960M| 614 | 0 |1700 |5652 |1700 | 217 | 394k| 723k|4715 | 0.000000e+00 | 2.394000e+03 | Inf
1144.99/1145.37 c 1079s| 1410k|643902 | 2430k| 1.7 | 974M| 614 | - |1700 |5100 |1700 | 215 | 399k| 730k|4750 | 0.000000e+00 | 2.394000e+03 | Inf
1154.98/1155.34 c 1088s| 1420k|651009 | 2463k| 1.7 | 989M| 614 | 0 |1700 |4888 |1700 | 198 | 404k| 736k|4786 | 0.000000e+00 | 2.394000e+03 | Inf
1164.78/1165.19 c 1097s| 1430k|657862 | 2491k| 1.7 |1004M| 614 | 0 |1700 |4409 |1700 | 204 | 409k| 742k|4807 | 0.000000e+00 | 2.394000e+03 | Inf
1174.49/1174.85 c 1106s| 1440k|664722 | 2518k| 1.7 |1019M| 614 | 0 |1700 |5120 |1700 | 208 | 413k| 749k|4839 | 0.000000e+00 | 2.394000e+03 | Inf
1184.09/1184.41 c 1115s| 1450k|671627 | 2547k| 1.8 |1034M| 614 | 0 |1700 |4845 |1700 | 214 | 418k| 755k|4872 | 0.000000e+00 | 2.394000e+03 | Inf
1193.39/1193.70 c 1124s| 1460k|678504 | 2571k| 1.8 |1050M| 614 | 0 |1700 |5468 |1700 | 206 | 422k| 761k|4892 | 0.000000e+00 | 2.394000e+03 | Inf
1203.00/1203.37 c 1133s| 1470k|685275 | 2598k| 1.8 |1065M| 614 | 0 |1700 |5185 |1700 | 196 | 427k| 768k|4914 | 0.000000e+00 | 2.394000e+03 | Inf
1212.59/1212.94 c 1142s| 1480k|692324 | 2626k| 1.8 |1081M| 614 | 0 |1700 |5304 |1700 | 206 | 432k| 775k|4939 | 0.000000e+00 | 2.394000e+03 | Inf
1221.19/1221.53 o 2369
1221.19/1221.53 c *1150s| 1488k|691353 | 2649k| 1.8 |1082M| 614 | - |1700 |5322 |1700 | 205 | 436k| 780k|4965 | 0.000000e+00 | 2.369000e+03 | Inf
1221.19/1221.55 o 2352
1221.19/1221.55 c *1150s| 1488k|686392 | 2649k| 1.8 |1072M| 614 | - |1700 |5322 |1700 | 205 | 436k| 780k|4965 | 0.000000e+00 | 2.352000e+03 | Inf
1221.29/1221.63 o 2289
1221.29/1221.63 c *1150s| 1488k|667324 | 2650k| 1.8 |1036M| 614 | - |1700 |5323 |1700 | 208 | 436k| 780k|4965 | 0.000000e+00 | 2.289000e+03 | Inf
1222.39/1222.70 c 1151s| 1490k|668037 | 2653k| 1.8 |1037M| 614 | 0 |1700 |5621 |1700 | 221 | 436k| 781k|4970 | 0.000000e+00 | 2.289000e+03 | Inf
1232.19/1232.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.19/1232.56 c 1161s| 1500k|674921 | 2678k| 1.8 |1053M| 614 | 0 |1700 |5708 |1700 | 216 | 441k| 788k|5000 | 0.000000e+00 | 2.289000e+03 | Inf
1242.19/1242.53 c 1170s| 1510k|681544 | 2705k| 1.8 |1069M| 614 | 0 |1700 |5086 |1700 | 204 | 445k| 795k|5029 | 0.000000e+00 | 2.289000e+03 | Inf
1251.79/1252.11 c 1179s| 1520k|688505 | 2730k| 1.8 |1083M| 614 | - |1700 |5012 |1700 | 219 | 450k| 801k|5046 | 0.000000e+00 | 2.289000e+03 | Inf
1261.39/1261.75 c 1188s| 1530k|695411 | 2759k| 1.8 |1099M| 614 | 8 |1700 |5288 |1700 | 199 | 454k| 807k|5077 | 0.000000e+00 | 2.289000e+03 | Inf
1271.00/1271.38 c 1197s| 1540k|702187 | 2786k| 1.8 |1114M| 614 | - |1700 |5049 | 0 | 0 | 458k| 814k|5100 | 0.000000e+00 | 2.289000e+03 | Inf
1280.99/1281.31 o 2265
1280.99/1281.31 c *1207s| 1549k|701526 | 2819k| 1.8 |1116M| 614 | - |1700 |5537 |1700 | 206 | 464k| 820k|5128 | 0.000000e+00 | 2.265000e+03 | Inf
1280.99/1281.33 o 2248
1280.99/1281.33 c *1207s| 1549k|696289 | 2819k| 1.8 |1106M| 614 | - |1700 |5537 |1700 | 206 | 464k| 820k|5128 | 0.000000e+00 | 2.248000e+03 | Inf
1280.99/1281.39 o 2185
1280.99/1281.39 c *1207s| 1549k|677393 | 2819k| 1.8 |1069M| 614 | - |1700 |5537 |1700 | 206 | 464k| 820k|5128 | 0.000000e+00 | 2.185000e+03 | Inf
1281.20/1281.56 c 1207s| 1550k|677532 | 2819k| 1.8 |1070M| 614 | - |1700 |5584 | 0 | 0 | 464k| 820k|5128 | 0.000000e+00 | 2.185000e+03 | Inf
1290.19/1290.56 o 2122
1290.19/1290.56 c *1215s| 1558k|663788 | 2847k| 1.8 |1044M| 614 | - |1700 |5657 |1700 | 230 | 468k| 826k|5156 | 0.000000e+00 | 2.122000e+03 | Inf
1290.29/1290.66 o 2036
1290.29/1290.66 c *1215s| 1558k|636944 | 2847k| 1.8 | 990M| 614 | - |1700 |5657 |1700 | 229 | 468k| 826k|5156 | 0.000000e+00 | 2.036000e+03 | Inf
1291.50/1291.89 c 1217s| 1560k|637751 | 2850k| 1.8 | 992M| 614 | 0 |1700 |5581 |1700 | 228 | 469k| 827k|5157 | 0.000000e+00 | 2.036000e+03 | Inf
1301.60/1301.92 o 1953
1301.60/1301.92 c *1226s| 1569k|616852 | 2880k| 1.8 | 952M| 614 | - |1700 |4665 |1700 | 230 | 474k| 834k|5198 | 0.000000e+00 | 1.953000e+03 | Inf
1302.10/1302.48 c 1227s| 1570k|617145 | 2883k| 1.8 | 953M| 614 | 0 |1700 |4747 |1700 | 227 | 474k| 834k|5203 | 0.000000e+00 | 1.953000e+03 | Inf
1310.30/1310.66 o 1858
1310.30/1310.66 c *1234s| 1577k|589616 | 2908k| 1.8 | 898M| 614 | - |1700 |5653 |1700 | 227 | 479k| 839k|5225 | 0.000000e+00 | 1.858000e+03 | Inf
1310.40/1310.77 o 1761
1310.40/1310.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.40/1310.77 c *1234s| 1577k|555677 | 2908k| 1.8 | 828M| 614 | - |1700 |5653 |1700 | 227 | 479k| 839k|5225 | 0.000000e+00 | 1.761000e+03 | Inf
1313.10/1313.41 c 1237s| 1580k|557260 | 2916k| 1.8 | 832M| 614 | - |1700 |5218 | 0 | 0 | 480k| 841k|5229 | 0.000000e+00 | 1.761000e+03 | Inf
1323.89/1324.22 c 1247s| 1590k|563565 | 2953k| 1.9 | 849M| 614 | 0 |1700 |4667 |1700 | 205 | 486k| 848k|5261 | 0.000000e+00 | 1.761000e+03 | Inf
1334.70/1335.00 c 1257s| 1600k|569823 | 2990k| 1.9 | 866M| 614 | 0 |1700 |5193 |1700 | 223 | 492k| 855k|5298 | 0.000000e+00 | 1.761000e+03 | Inf
1345.49/1345.84 c 1267s| 1610k|576239 | 3028k| 1.9 | 883M| 614 | 0 |1700 |4718 |1700 | 216 | 498k| 861k|5331 | 0.000000e+00 | 1.761000e+03 | Inf
1357.00/1357.33 c 1278s| 1620k|582395 | 3073k| 1.9 | 900M| 614 | 0 |1700 |5165 |1700 | 198 | 505k| 868k|5371 | 0.000000e+00 | 1.761000e+03 | Inf
1368.00/1368.37 c 1289s| 1630k|588276 | 3105k| 1.9 | 917M| 614 | 0 |1700 |4837 |1700 | 197 | 511k| 876k|5405 | 0.000000e+00 | 1.761000e+03 | Inf
1379.00/1379.39 c 1299s| 1640k|594353 | 3143k| 1.9 | 935M| 614 | 0 |1700 |4352 |1700 | 216 | 517k| 884k|5448 | 0.000000e+00 | 1.761000e+03 | Inf
1390.10/1390.43 c 1309s| 1650k|600448 | 3184k| 1.9 | 952M| 614 | 0 |1700 |4570 |1700 | 214 | 523k| 891k|5476 | 0.000000e+00 | 1.761000e+03 | Inf
1401.19/1401.55 c 1320s| 1660k|606706 | 3222k| 1.9 | 968M| 614 | 0 |1700 |4858 |1700 | 224 | 529k| 898k|5518 | 0.000000e+00 | 1.761000e+03 | Inf
1412.39/1412.75 c 1330s| 1670k|612774 | 3260k| 2.0 | 985M| 614 | 0 |1700 |4844 |1700 | 203 | 536k| 905k|5547 | 0.000000e+00 | 1.761000e+03 | Inf
1420.69/1421.10 o 1750
1420.69/1421.10 c *1338s| 1677k|613303 | 3288k| 2.0 | 990M| 614 | - |1700 |4782 |1700 | 201 | 541k| 911k|5574 | 0.000000e+00 | 1.750000e+03 | Inf
1423.59/1423.93 c 1341s| 1680k|614875 | 3298k| 2.0 | 994M| 614 | 0 |1700 |4815 |1700 | 203 | 542k| 913k|5593 | 0.000000e+00 | 1.750000e+03 | Inf
1434.89/1435.20 c 1352s| 1690k|620734 | 3337k| 2.0 |1011M| 614 | 0 |1700 |4833 |1700 | 214 | 549k| 921k|5617 | 0.000000e+00 | 1.750000e+03 | Inf
1443.30/1443.69 o 1740
1443.30/1443.69 c *1360s| 1697k|620184 | 3369k| 2.0 |1015M| 614 | - |1700 |4942 |1700 | 241 | 554k| 927k|5657 | 0.000000e+00 | 1.740000e+03 | Inf
1443.39/1443.71 o 1731
1443.39/1443.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.39/1443.71 c *1360s| 1697k|617050 | 3369k| 2.0 |1008M| 614 | - |1700 |4942 |1700 | 241 | 554k| 927k|5657 | 0.000000e+00 | 1.731000e+03 | Inf
1446.59/1446.93 c 1363s| 1700k|618658 | 3382k| 2.0 |1013M| 614 | 0 |1700 |4812 |1700 | 219 | 556k| 929k|5660 | 0.000000e+00 | 1.731000e+03 | Inf
1448.20/1448.54 o 1706
1448.20/1448.54 c *1364s| 1701k|610342 | 3387k| 2.0 | 997M| 614 | - |1700 |4820 |1700 | 233 | 557k| 930k|5665 | 0.000000e+00 | 1.706000e+03 | Inf
1452.71/1453.07 o 1675
1452.71/1453.07 c *1368s| 1705k|600958 | 3405k| 2.0 | 982M| 614 | - |1700 |4417 |1700 | 218 | 560k| 933k|5686 | 0.000000e+00 | 1.675000e+03 | Inf
1458.10/1458.49 c 1374s| 1710k|603728 | 3420k| 2.0 | 990M| 614 | 0 |1700 |4910 |1700 | 212 | 562k| 936k|5699 | 0.000000e+00 | 1.675000e+03 | Inf
1469.40/1469.71 c 1384s| 1720k|609484 | 3455k| 2.0 |1008M| 614 | 0 |1700 |5611 |1700 | 215 | 568k| 944k|5723 | 0.000000e+00 | 1.675000e+03 | Inf
1472.20/1472.53 o 1609
1472.20/1472.53 c *1387s| 1722k|584108 | 3466k| 2.0 | 960M| 614 | - |1700 |5184 |1700 | 219 | 570k| 946k|5729 | 0.000000e+00 | 1.609000e+03 | Inf
1475.09/1475.44 o 1591
1475.09/1475.44 c *1390s| 1724k|577926 | 3477k| 2.0 | 949M| 614 | - |1700 |4724 |1700 | 228 | 571k| 948k|5743 | 0.000000e+00 | 1.591000e+03 | Inf
1475.19/1475.53 o 1528
1475.19/1475.53 c *1390s| 1724k|551559 | 3477k| 2.0 | 898M| 614 | - |1700 |4724 |1700 | 228 | 571k| 948k|5743 | 0.000000e+00 | 1.528000e+03 | Inf
1481.40/1481.73 c 1395s| 1730k|554438 | 3499k| 2.0 | 908M| 614 | 0 |1700 |4970 |1700 | 218 | 575k| 952k|5758 | 0.000000e+00 | 1.528000e+03 | Inf
1493.20/1493.54 c 1407s| 1740k|559891 | 3537k| 2.0 | 926M| 614 | 0 |1700 |5111 |1700 | 219 | 581k| 960k|5783 | 0.000000e+00 | 1.528000e+03 | Inf
1505.30/1505.62 c 1418s| 1750k|565384 | 3581k| 2.0 | 946M| 614 | 0 |1700 |5198 |1700 | 194 | 589k| 968k|5830 | 0.000000e+00 | 1.528000e+03 | Inf
1517.09/1517.42 c 1429s| 1760k|570973 | 3623k| 2.1 | 964M| 614 | 0 |1700 |5058 |1700 | 226 | 595k| 976k|5852 | 0.000000e+00 | 1.528000e+03 | Inf
1528.79/1529.13 c 1440s| 1770k|576705 | 3664k| 2.1 | 983M| 614 | 0 |1700 |5136 |1700 | 228 | 603k| 984k|5886 | 0.000000e+00 | 1.528000e+03 | Inf
1532.80/1533.17 o 1508
1532.80/1533.17 c *1444s| 1773k|571125 | 3682k| 2.1 | 975M| 614 | - |1700 |5337 |1700 | 228 | 605k| 987k|5895 | 0.000000e+00 | 1.508000e+03 | Inf
1540.89/1541.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1540.89/1541.20 c 1452s| 1780k|574871 | 3708k| 2.1 | 987M| 614 | - |1700 |5156 | 0 | 0 | 609k| 993k|5918 | 0.000000e+00 | 1.508000e+03 | Inf
1544.19/1544.55 o 1483
1544.19/1544.55 c *1455s| 1782k|566979 | 3720k| 2.1 | 974M| 614 | - |1700 |4924 |1700 | 207 | 611k| 995k|5931 | 0.000000e+00 | 1.483000e+03 | Inf
1552.70/1553.06 c 1463s| 1790k|570928 | 3748k| 2.1 | 987M| 614 | 0 |1700 |6007 |1700 | 203 | 616k|1001k|5951 | 0.000000e+00 | 1.483000e+03 | Inf
1553.80/1554.11 o 1479
1553.80/1554.11 c *1464s| 1790k|569962 | 3751k| 2.1 | 985M| 614 | - |1700 |5753 |1700 | 226 | 617k|1002k|5951 | 0.000000e+00 | 1.479000e+03 | Inf
1553.80/1554.14 o 1462
1553.80/1554.14 c *1464s| 1790k|563902 | 3751k| 2.1 | 973M| 614 | - |1700 |5753 |1700 | 226 | 617k|1002k|5951 | 0.000000e+00 | 1.462000e+03 | Inf
1564.39/1564.70 o 1437
1564.39/1564.70 c *1474s| 1799k|559570 | 3788k| 2.1 | 972M| 614 | - |1700 |5197 |1700 | 238 | 623k|1009k|5980 | 0.000000e+00 | 1.437000e+03 | Inf
1564.70/1565.01 c 1474s| 1800k|559706 | 3788k| 2.1 | 973M| 614 | 0 |1700 |5232 |1700 | 233 | 623k|1009k|5980 | 0.000000e+00 | 1.437000e+03 | Inf
1577.20/1577.57 c 1486s| 1810k|564886 | 3838k| 2.1 | 993M| 614 | - |1700 |4850 |1700 | 211 | 630k|1017k|6019 | 0.000000e+00 | 1.437000e+03 | Inf
1589.40/1589.71 c 1497s| 1820k|570195 | 3882k| 2.1 |1012M| 614 | - |1700 |4913 | 0 | 0 | 637k|1026k|6066 | 0.000000e+00 | 1.437000e+03 | Inf
1589.60/1589.98 o 1343
1589.60/1589.98 c *1498s| 1820k|538557 | 3882k| 2.1 | 949M| 614 | - |1700 |4892 |1700 | 225 | 637k|1026k|6066 | 0.000000e+00 | 1.343000e+03 | Inf
1593.10/1593.43 o 1338
1593.10/1593.43 c *1501s| 1822k|538089 | 3895k| 2.1 | 950M| 614 | - |1700 |5321 |1700 | 223 | 640k|1029k|6066 | 0.000000e+00 | 1.338000e+03 | Inf
1602.70/1603.01 c 1510s| 1830k|542009 | 3940k| 2.2 | 967M| 614 | 0 |1700 |4558 |1700 | 208 | 647k|1034k|6106 | 0.000000e+00 | 1.338000e+03 | Inf
1609.90/1610.20 o 1302
1609.90/1610.20 c *1517s| 1835k|531323 | 3967k| 2.2 | 953M| 614 | - |1700 |4600 |1700 | 226 | 651k|1039k|6126 | 0.000000e+00 | 1.302000e+03 | Inf
1609.90/1610.29 o 1251
1609.90/1610.29 c *1517s| 1835k|509943 | 3967k| 2.2 | 914M| 614 | - |1700 |4600 |1700 | 226 | 651k|1039k|6126 | 0.000000e+00 | 1.251000e+03 | Inf
1610.00/1610.36 o 1188
1610.00/1610.36 c *1517s| 1835k|487059 | 3967k| 2.2 | 873M| 614 | - |1700 |4600 |1700 | 226 | 651k|1039k|6126 | 0.000000e+00 | 1.188000e+03 | Inf
1616.19/1616.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.19/1616.51 c 1523s| 1840k|489118 | 3998k| 2.2 | 884M| 614 | - |1700 |3834 | 0 | 0 | 656k|1044k|6150 | 0.000000e+00 | 1.188000e+03 | Inf
1629.10/1629.46 c 1535s| 1850k|493984 | 4051k| 2.2 | 905M| 614 | - |1700 |4990 | 0 | 0 | 665k|1052k|6177 | 0.000000e+00 | 1.188000e+03 | Inf
1642.50/1642.86 c 1548s| 1860k|498766 | 4110k| 2.2 | 925M| 614 | - |1700 |4260 | 0 | 0 | 674k|1061k|6224 | 0.000000e+00 | 1.188000e+03 | Inf
1646.70/1647.09 o 1093
1646.70/1647.09 c *1552s| 1863k|466018 | 4130k| 2.2 | 872M| 614 | - |1700 |5017 |1700 | 222 | 677k|1064k|6235 | 0.000000e+00 | 1.093000e+03 | Inf
1656.70/1657.06 c 1561s| 1870k|469118 | 4173k| 2.2 | 889M| 614 | 0 |1700 |4557 |1700 | 203 | 684k|1070k|6274 | 0.000000e+00 | 1.093000e+03 | Inf
1662.00/1662.38 o 1017
1662.00/1662.38 c *1566s| 1873k|442073 | 4197k| 2.2 | 844M| 614 | - |1700 |4483 |1700 | 259 | 687k|1074k|6291 | 0.000000e+00 | 1.017000e+03 | Inf
1662.10/1662.42 o 991
1662.10/1662.42 c *1566s| 1873k|432732 | 4197k| 2.2 | 825M| 614 | - |1700 |4483 |1700 | 259 | 687k|1074k|6291 | 0.000000e+00 | 9.910000e+02 | Inf
1670.40/1670.73 o 944
1670.40/1670.73 c *1574s| 1879k|411654 | 4235k| 2.3 | 798M| 614 | - |1700 |3374 |1700 | 226 | 693k|1080k|6315 | 0.000000e+00 | 9.440000e+02 | Inf
1671.80/1672.19 c 1575s| 1880k|411943 | 4242k| 2.3 | 800M| 614 | 0 |1700 |3189 |1700 | 209 | 694k|1081k|6316 | 0.000000e+00 | 9.440000e+02 | Inf
1677.11/1677.41 o 913
1677.11/1677.41 c *1580s| 1883k|397941 | 4270k| 2.3 | 782M| 614 | - |1700 |2971 |1700 | 209 | 698k|1084k|6337 | 0.000000e+00 | 9.130000e+02 | Inf
1677.21/1677.51 o 880
1677.21/1677.51 c *1580s| 1883k|383425 | 4270k| 2.3 | 751M| 614 | - |1700 |2919 |1700 | 209 | 698k|1084k|6337 | 0.000000e+00 | 8.800000e+02 | Inf
1677.30/1677.66 o 813
1677.30/1677.66 c *1580s| 1883k|342957 | 4271k| 2.3 | 678M| 614 | - |1700 |2872 |1700 | 209 | 698k|1084k|6337 | 0.000000e+00 | 8.130000e+02 | Inf
1677.40/1677.74 o 789
1677.40/1677.74 c *1581s| 1883k|329177 | 4271k| 2.3 | 651M| 614 | - |1700 |2780 |1700 | 217 | 698k|1084k|6337 | 0.000000e+00 | 7.890000e+02 | Inf
1677.50/1677.87 o 765
1677.50/1677.87 c *1581s| 1883k|318671 | 4272k| 2.3 | 629M| 614 | - |1700 |2755 |1700 | 227 | 699k|1084k|6337 | 0.000000e+00 | 7.650000e+02 | Inf
1677.80/1678.14 o 607
1677.80/1678.14 c *1581s| 1883k|240902 | 4272k| 2.3 | 478M| 614 | - |1700 |2755 |1700 | 227 | 699k|1084k|6337 | 0.000000e+00 | 6.070000e+02 | Inf
1677.90/1678.21 o 564
1677.90/1678.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.90/1678.21 c *1581s| 1883k|225788 | 4272k| 2.3 | 448M| 614 | - |1700 |2531 |1700 | 232 | 699k|1084k|6337 | 0.000000e+00 | 5.640000e+02 | Inf
1678.31/1678.69 o 529
1678.31/1678.69 c *1581s| 1883k|217297 | 4274k| 2.3 | 428M| 614 | - |1700 |2214 |1700 | 220 | 699k|1085k|6337 | 0.000000e+00 | 5.290000e+02 | Inf
1683.00/1683.39 o 435
1683.00/1683.39 c *1586s| 1885k|193465 | 4306k| 2.3 | 389M| 614 | - |1700 |2365 |1700 | 220 | 703k|1088k|6357 | 0.000000e+00 | 4.350000e+02 | Inf
1685.20/1685.51 o 384
1685.20/1685.51 c *1588s| 1885k|172594 | 4321k| 2.3 | 357M| 614 | - |1700 |2112 |1700 | 220 | 705k|1090k|6369 | 0.000000e+00 | 3.840000e+02 | Inf
1685.20/1685.57 o 351
1685.20/1685.57 c *1588s| 1885k|157473 | 4321k| 2.3 | 324M| 614 | - |1700 |2112 |1700 | 220 | 705k|1090k|6369 | 0.000000e+00 | 3.510000e+02 | Inf
1685.30/1685.62 o 320
1685.30/1685.62 c *1588s| 1885k|147946 | 4321k| 2.3 | 307M| 614 | - |1700 |1998 |1700 | 205 | 705k|1090k|6369 | 0.000000e+00 | 3.200000e+02 | Inf
1685.40/1685.71 o 287
1685.40/1685.71 c *1588s| 1885k|123507 | 4321k| 2.3 | 269M| 614 | - |1700 |1998 |1700 | 205 | 705k|1090k|6369 | 0.000000e+00 | 2.870000e+02 | Inf
1688.90/1689.23 o 223
1688.90/1689.23 c *1591s| 1886k| 70668 | 4356k| 2.3 | 191M| 614 | - |1700 |2019 |1700 | 194 | 709k|1093k|6392 | 0.000000e+00 | 2.230000e+02 | Inf
1689.70/1690.01 o 219
1689.70/1690.01 c *1592s| 1887k| 52688 | 4362k| 2.3 | 166M| 614 | - |1700 |1792 |1700 | 217 | 710k|1093k|6399 | 0.000000e+00 | 2.190000e+02 | Inf
1691.50/1691.88 o 147
1691.50/1691.88 c *1594s| 1888k| 7485 | 4377k| 2.3 | 56M| 614 | - |1700 |1868 |1700 | 212 | 713k|1094k|6399 | 0.000000e+00 | 1.470000e+02 | Inf
1692.90/1693.20 o 93
1692.90/1693.20 c *1595s| 1888k| 1808 | 4389k| 2.3 | 27M| 614 | - |1700 |1830 |1700 | 223 | 715k|1095k|6412 | 0.000000e+00 | 9.300000e+01 | Inf
1692.90/1693.22 o 88
1692.90/1693.22 c *1595s| 1888k| 1806 | 4389k| 2.3 | 27M| 614 | - |1700 |1791 |1700 | 194 | 715k|1095k|6412 | 0.000000e+00 | 8.800000e+01 | Inf
1693.21/1693.60 c
1693.21/1693.60 c SCIP Status : problem is solved [optimal solution found]
1693.30/1693.60 c Solving Time (sec) : 1595.32
1693.30/1693.60 c Solving Nodes : 1888980
1693.30/1693.60 c Primal Bound : +8.80000000000000e+01 (247 solutions)
1693.30/1693.60 c Dual Bound : +8.80000000000000e+01
1693.30/1693.60 c Gap : 0.00 %
1693.30/1693.60 s OPTIMUM FOUND
1693.30/1693.60 v x200 -x199 -x198 x197 x196 -x195 x194 -x193 -x192 x191 -x190 x189 x188 -x187 -x186 x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1693.30/1693.60 v x176 -x175 x174 -x173 -x172 x171 x170 -x169 -x168 x167 x166 -x165 x164 -x163 -x162 x161 -x160 x159 -x158 x157 x156 -x155
1693.30/1693.60 v x154 -x153 x152 -x151 -x150 x149 -x148 x147 -x146 x145 x144 -x143 x142 -x141 -x140 x139 x138 -x137 x136 -x135 x134 -x133 x132
1693.30/1693.60 v -x131 -x130 x129 x128 -x127 x126 -x125 x124 -x123 -x122 x121 x120 -x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109
1693.30/1693.60 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
1693.30/1693.60 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
1693.30/1693.60 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
1693.30/1693.60 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
1693.30/1693.60 c SCIP Status : problem is solved [optimal solution found]
1693.30/1693.60 c Solving Time : 1595.32
1693.30/1693.60 c Original Problem :
1693.30/1693.60 c Problem name : HOME/instance-2700069-1278533945.wbo
1693.30/1693.60 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1693.30/1693.60 c Constraints : 1701 initial, 1701 maximal
1693.30/1693.60 c Presolved Problem :
1693.30/1693.60 c Problem name : t_HOME/instance-2700069-1278533945.wbo
1693.30/1693.60 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1693.30/1693.60 c Constraints : 1600 initial, 6706 maximal
1693.30/1693.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1693.30/1693.60 c trivial : 0.00 0 0 0 0 0 0 0 0
1693.30/1693.60 c dualfix : 0.00 0 0 0 0 0 0 0 0
1693.30/1693.60 c boundshift : 0.00 0 0 0 0 0 0 0 0
1693.30/1693.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1693.30/1693.60 c implics : 0.00 0 0 0 0 0 0 0 0
1693.30/1693.60 c probing : 0.01 0 0 0 0 0 0 0 0
1693.30/1693.60 c indicator : 0.00 0 0 0 0 0 0 0 0
1693.30/1693.60 c linear : 0.02 0 100 0 800 0 101 0 0
1693.30/1693.60 c logicor : 0.00 0 0 0 0 0 0 0 0
1693.30/1693.60 c root node : - 731 - - 1461 - - - -
1693.30/1693.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1693.30/1693.60 c integral : 0 0 0 1950156 0 0 22 0 0 112124
1693.30/1693.60 c indicator : 800 0 4463329 1894072 0 4751 47075891 0 0 0
1693.30/1693.60 c linear : 800 6 4457868 1893631 0 50318 3921492 715964 0 0
1693.30/1693.60 c logicor : 0+ 0 2836732 0 0 7595 1907292 0 0 0
1693.30/1693.60 c countsols : 0 0 0 1631487 0 0 0 0 0 0
1693.30/1693.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1693.30/1693.60 c integral : 5.45 0.00 0.00 5.45 0.00
1693.30/1693.60 c indicator : 164.07 0.00 71.69 92.38 0.00
1693.30/1693.60 c linear : 109.05 0.00 63.22 45.83 0.00
1693.30/1693.60 c logicor : 57.11 0.00 57.11 0.00 0.00
1693.30/1693.60 c countsols : 0.01 0.00 0.00 0.01 0.00
1693.30/1693.60 c Propagators : Time Calls Cutoffs DomReds
1693.30/1693.60 c vbounds : 0.01 2 0 0
1693.30/1693.60 c rootredcost : 0.03 146 0 730
1693.30/1693.60 c pseudoobj : 109.29 4671368 208233 40197471
1693.30/1693.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1693.30/1693.60 c propagation : 13.01 266146 265941 834632 23.7 375256 3.7 -
1693.30/1693.60 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1693.30/1693.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1693.30/1693.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1693.30/1693.60 c pseudo solution : 0.03 389 389 1736 21.2 875 4.1 -
1693.30/1693.60 c applied globally : - - - 1096180 16.1 - - -
1693.30/1693.60 c applied locally : - - - 0 0.0 - - -
1693.30/1693.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1693.30/1693.60 c cut pool : 0.00 3 - - 4 - (maximal pool size: 57)
1693.30/1693.60 c redcost : 69.82 2026086 0 6189739 0 0
1693.30/1693.60 c impliedbounds : 0.00 4 0 0 0 0
1693.30/1693.60 c intobj : 0.00 0 0 0 0 0
1693.30/1693.60 c cgmip : 0.00 0 0 0 0 0
1693.30/1693.60 c gomory : 0.01 4 0 0 57 0
1693.30/1693.60 c strongcg : 0.02 4 0 0 0 0
1693.30/1693.60 c cmir : 0.01 4 0 0 0 0
1693.30/1693.60 c flowcover : 0.01 4 0 0 0 0
1693.30/1693.60 c clique : 0.00 1 0 0 0 0
1693.30/1693.60 c zerohalf : 0.00 0 0 0 0 0
1693.30/1693.60 c mcf : 0.00 1 0 0 0 0
1693.30/1693.60 c rapidlearning : 0.00 0 0 0 0 0
1693.30/1693.60 c Pricers : Time Calls Vars
1693.30/1693.60 c problem variables: 0.00 0 0
1693.30/1693.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1693.30/1693.60 c relpscost : 5.37 56082 0 22 0 0 112124
1693.30/1693.60 c pscost : 0.00 0 0 0 0 0 0
1693.30/1693.60 c inference : 111.63 1631342 0 0 0 0 3262684
1693.30/1693.60 c mostinf : 0.00 0 0 0 0 0 0
1693.30/1693.60 c leastinf : 0.00 0 0 0 0 0 0
1693.30/1693.60 c fullstrong : 0.00 0 0 0 0 0 0
1693.30/1693.60 c allfullstrong : 0.00 0 0 0 0 0 0
1693.30/1693.60 c random : 0.00 0 0 0 0 0 0
1693.30/1693.60 c Primal Heuristics : Time Calls Found
1693.30/1693.60 c LP solutions : 4.38 - 145
1693.30/1693.60 c pseudo solutions : 0.00 - 0
1693.30/1693.60 c feaspump : 0.00 0 0
1693.30/1693.60 c intshifting : 0.01 2 0
1693.30/1693.60 c oneopt : 0.30 118 0
1693.30/1693.60 c guideddiving : 0.48 1193 0
1693.30/1693.60 c fracdiving : 0.61 1193 0
1693.30/1693.60 c veclendiving : 0.51 1193 0
1693.30/1693.60 c linesearchdiving : 0.61 1193 0
1693.30/1693.60 c coefdiving : 0.49 1194 0
1693.30/1693.60 c pscostdiving : 0.58 1194 0
1693.30/1693.60 c objpscostdiving : 0.62 1193 0
1693.30/1693.60 c rootsoldiving : 0.70 1193 0
1693.30/1693.60 c trivial : 0.00 2 1
1693.30/1693.60 c simplerounding : 0.34 60709 0
1693.30/1693.60 c zirounding : 0.03 1000 0
1693.30/1693.60 c rounding : 0.46 10675 1
1693.30/1693.60 c shifting : 0.65 1056 0
1693.30/1693.60 c twoopt : 0.00 0 0
1693.30/1693.60 c fixandinfer : 0.00 0 0
1693.30/1693.60 c intdiving : 0.00 0 0
1693.30/1693.60 c actconsdiving : 0.00 0 0
1693.30/1693.60 c octane : 0.00 0 0
1693.30/1693.60 c rens : 0.01 1 0
1693.30/1693.60 c rins : 0.00 0 0
1693.30/1693.60 c localbranching : 0.00 0 0
1693.30/1693.60 c mutation : 0.00 0 0
1693.30/1693.60 c crossover : 4.03 333 2
1693.30/1693.60 c dins : 0.00 0 0
1693.30/1693.60 c undercover : 0.00 0 0
1693.30/1693.60 c nlp : 0.01 0 0
1693.30/1693.60 c trysol : 0.08 3448 98
1693.30/1693.60 c LP : Time Calls Iterations Iter/call Iter/sec
1693.30/1693.60 c primal LP : 0.00 0 0 0.00 -
1693.30/1693.60 c dual LP : 586.09 627686 4384471 6.99 7480.88
1693.30/1693.60 c lex dual LP : 0.00 0 0 0.00 -
1693.30/1693.60 c barrier LP : 0.00 0 0 0.00 -
1693.30/1693.60 c diving/probing LP: 0.17 121 8138 67.26 47870.59
1693.30/1693.60 c strong branching : 4.95 6419 69134 10.77 13966.46
1693.30/1693.60 c (at root node) : - 33 2543 77.06 -
1693.30/1693.60 c conflict analysis: 0.00 0 0 0.00 -
1693.30/1693.60 c B&B Tree :
1693.30/1693.60 c number of runs : 1
1693.30/1693.60 c nodes : 1888980
1693.30/1693.60 c nodes (total) : 1888980
1693.30/1693.60 c nodes left : 0
1693.30/1693.60 c max depth : 614
1693.30/1693.60 c max depth (total): 614
1693.30/1693.60 c backtracks : 88065 (4.7%)
1693.30/1693.60 c delayed cutoffs : 180985
1693.30/1693.60 c repropagations : 470086 (23471603 domain reductions, 69855 cutoffs)
1693.30/1693.60 c avg switch length: 4.82
1693.30/1693.60 c switching time : 133.88
1693.30/1693.60 c Solution :
1693.30/1693.60 c Solutions found : 247 (147 improvements)
1693.30/1693.60 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1693.30/1693.60 c Primal Bound : +8.80000000000000e+01 (in run 1, after 1888753 nodes, 1594.97 seconds, depth 16, found by <relaxation>)
1693.30/1693.60 c Dual Bound : +8.80000000000000e+01
1693.30/1693.60 c Gap : 0.00 %
1693.30/1693.60 c Root Dual Bound : +0.00000000000000e+00
1693.30/1693.60 c Root Iterations : 216
1693.30/1693.65 c Time complete: 1693.36.
OK 88
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700069-1278533945/watcher-2700069-1278533945 -o /tmp/evaluation-result-2700069-1278533945/solver-2700069-1278533945 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700069-1278533945.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: 5.14 2.20 0.83 4/186 20193 /proc/meminfo: memFree=29173844/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=8256 CPUtime=0 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 754 0 0 0 0 0 0 0 18 0 1 0 21608591 8454144 674 4089446400 4194304 9819077 140735905593344 18446744073709551615 8675336 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/20193/statm: 2064 686 359 1374 0 685 0 [startup+0.0697981 s] /proc/loadavg: 5.14 2.20 0.83 4/186 20193 /proc/meminfo: memFree=29173844/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=25032 CPUtime=0.06 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 6058 0 0 0 5 1 0 0 20 0 1 0 21608591 25632768 4843 4089446400 4194304 9819077 140735905593344 18446744073709551615 4903061 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/20193/statm: 6258 4843 644 1374 0 4879 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 25032 [startup+0.100792 s] /proc/loadavg: 5.14 2.20 0.83 4/186 20193 /proc/meminfo: memFree=29173844/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=26108 CPUtime=0.09 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 6384 0 0 0 8 1 0 0 20 0 1 0 21608591 26734592 5123 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/20193/statm: 6527 5123 675 1374 0 5148 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26108 [startup+0.303757 s] /proc/loadavg: 5.14 2.20 0.83 4/186 20193 /proc/meminfo: memFree=29173844/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=27692 CPUtime=0.29 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 11548 0 0 0 27 2 0 0 20 0 1 0 21608591 28356608 5258 4089446400 4194304 9819077 140735905593344 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/20193/statm: 6923 5258 695 1374 0 5544 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27692 [startup+0.701589 s] /proc/loadavg: 5.14 2.20 0.83 4/186 20193 /proc/meminfo: memFree=29173844/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=27692 CPUtime=0.68 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 16286 0 0 0 65 3 0 0 21 0 1 0 21608591 28356608 5250 4089446400 4194304 9819077 140735905593344 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/20193/statm: 6923 5250 695 1374 0 5544 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 27692 [startup+1.50055 s] /proc/loadavg: 5.14 2.20 0.83 3/187 20194 /proc/meminfo: memFree=29147424/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=27856 CPUtime=1.48 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 34341 0 0 0 139 9 0 0 23 0 1 0 21608591 28524544 5587 4089446400 4194304 9819077 140735905593344 18446744073709551615 4965443 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/20193/statm: 6964 5587 700 1374 0 5585 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 27856 [startup+3.10027 s] /proc/loadavg: 4.97 2.22 0.84 7/187 20201 /proc/meminfo: memFree=29148788/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=31804 CPUtime=3.08 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 51123 0 0 0 287 21 0 0 25 0 1 0 21608591 32567296 6520 4089446400 4194304 9819077 140735905593344 18446744073709551615 6003257 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/20193/statm: 7951 6520 704 1374 0 6572 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 31804 [startup+6.30071 s] /proc/loadavg: 4.97 2.22 0.84 8/187 20201 /proc/meminfo: memFree=29140984/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=38200 CPUtime=6.29 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 67970 0 0 0 590 39 0 0 25 0 1 0 21608591 39116800 8133 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/20193/statm: 9550 8133 704 1374 0 8171 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38200 [startup+12.7006 s] /proc/loadavg: 5.36 2.39 0.91 4/187 20202 /proc/meminfo: memFree=29125268/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=51956 CPUtime=12.68 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 103529 0 0 0 1193 75 0 0 25 0 1 0 21608591 53202944 11553 4089446400 4194304 9819077 140735905593344 18446744073709551615 7301603 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/20193/statm: 12989 11553 704 1374 0 11610 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 51956 [startup+25.5007 s] /proc/loadavg: 5.39 2.49 0.96 5/187 20202 /proc/meminfo: memFree=29098144/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=74448 CPUtime=25.17 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 160091 0 0 0 2369 148 0 0 25 0 1 0 21608591 76234752 17203 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 18612 17203 704 1374 0 17233 0 Current children cumulated CPU time (s) 25.17 Current children cumulated vsize (KiB) 74448 [startup+51.1018 s] /proc/loadavg: 4.92 2.62 1.04 7/187 20203 /proc/meminfo: memFree=29050464/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=114292 CPUtime=50.77 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 256435 0 0 0 4788 289 0 0 25 0 1 0 21608591 117035008 27009 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 28573 27009 704 1374 0 27194 0 Current children cumulated CPU time (s) 50.77 Current children cumulated vsize (KiB) 114292 [startup+102.307 s] /proc/loadavg: 4.27 2.81 1.19 3/187 20204 /proc/meminfo: memFree=28955972/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=191860 CPUtime=101.97 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 444768 0 0 0 9623 574 0 0 25 0 1 0 21608591 196464640 45667 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 47965 45667 704 1374 0 46586 0 Current children cumulated CPU time (s) 101.97 Current children cumulated vsize (KiB) 191860 [startup+162.3 s] /proc/loadavg: 3.84 3.01 1.37 6/187 20213 /proc/meminfo: memFree=28838312/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=285396 CPUtime=161.97 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 646436 0 0 0 15296 901 0 0 25 0 1 0 21608591 292245504 68299 4089446400 4194304 9819077 140735905593344 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 71349 68299 704 1374 0 69970 0 Current children cumulated CPU time (s) 161.97 Current children cumulated vsize (KiB) 285396 [startup+222.301 s] /proc/loadavg: 4.38 3.28 1.56 9/187 20214 /proc/meminfo: memFree=28727456/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=380928 CPUtime=221.97 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 832788 0 0 0 20960 1237 0 0 25 0 1 0 21608591 390070272 90221 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 95232 90221 704 1374 0 93853 0 Current children cumulated CPU time (s) 221.97 Current children cumulated vsize (KiB) 380928 [startup+282.301 s] /proc/loadavg: 3.95 3.34 1.68 5/187 20216 /proc/meminfo: memFree=28632992/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=458364 CPUtime=281.98 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 1056314 0 0 0 26624 1574 0 0 25 0 1 0 21608591 469364736 108748 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 114591 108748 704 1374 0 113212 0 Current children cumulated CPU time (s) 281.98 Current children cumulated vsize (KiB) 458364 [startup+342.301 s] /proc/loadavg: 5.15 3.78 1.94 8/187 20218 /proc/meminfo: memFree=28536076/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=535236 CPUtime=341.98 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 1262431 0 0 0 32293 1905 0 0 25 0 1 0 21608591 548081664 127068 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 133809 127068 704 1374 0 132430 0 Current children cumulated CPU time (s) 341.98 Current children cumulated vsize (KiB) 535236 [startup+402.3 s] /proc/loadavg: 5.58 4.08 2.15 7/187 20219 /proc/meminfo: memFree=28434160/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=613168 CPUtime=401.98 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 1464227 0 0 0 37953 2245 0 0 25 0 1 0 21608591 627884032 145841 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 153292 145841 704 1374 0 151913 0 Current children cumulated CPU time (s) 401.98 Current children cumulated vsize (KiB) 613168 [startup+462.301 s] /proc/loadavg: 3.61 3.81 2.18 3/179 20395 /proc/meminfo: memFree=28650512/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=685880 CPUtime=461.98 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 1659216 0 0 0 43605 2593 0 0 25 0 1 0 21608591 702341120 163451 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 171470 163451 704 1374 0 170091 0 Current children cumulated CPU time (s) 461.98 Current children cumulated vsize (KiB) 685880 [startup+522.3 s] /proc/loadavg: 2.63 3.49 2.17 3/179 20396 /proc/meminfo: memFree=28557148/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=716804 CPUtime=521.97 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 1855540 0 0 0 49234 2963 0 0 25 0 1 0 21608591 734007296 168598 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 179201 168598 704 1374 0 177822 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 716804 [startup+582.301 s] /proc/loadavg: 2.23 3.22 2.16 3/179 20398 /proc/meminfo: memFree=28459408/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=741308 CPUtime=581.97 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 2074381 0 0 0 54878 3319 0 0 25 0 1 0 21608591 759099392 174424 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 185327 174424 704 1374 0 183948 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 741308 [startup+642.3 s] /proc/loadavg: 2.13 3.01 2.15 3/179 20400 /proc/meminfo: memFree=28381484/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=745592 CPUtime=641.98 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 2291080 0 0 0 60518 3680 0 0 25 0 1 0 21608591 763486208 175250 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 186398 175250 704 1374 0 185019 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 745592 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=27325992/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1203000 CPUtime=1121.99 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 4182841 0 0 0 105693 6506 0 0 25 0 1 0 21608591 1231872000 278200 4089446400 4194304 9819077 140735905593344 18446744073709551615 5813664 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 300750 278200 704 1374 0 299371 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1203000 [startup+1182.3 s] /proc/loadavg: 2.07 2.18 2.08 3/179 20414 /proc/meminfo: memFree=27218300/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1232192 CPUtime=1181.99 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 4428309 0 0 0 111348 6851 0 0 25 0 1 0 21608591 1261764608 283918 4089446400 4194304 9819077 140735905593344 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 308048 283918 704 1374 0 306669 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1232192 [startup+1242.3 s] /proc/loadavg: 2.02 2.14 2.07 3/179 20416 /proc/meminfo: memFree=27075508/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1299120 CPUtime=1242 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 4670038 0 0 0 116988 7212 0 0 25 0 1 0 21608591 1330298880 298062 4089446400 4194304 9819077 140735905593344 18446744073709551615 6723464 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 324780 298062 704 1374 0 323401 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 1299120 [startup+1302.3 s] /proc/loadavg: 2.01 2.12 2.07 3/179 20417 /proc/meminfo: memFree=26949712/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1344836 CPUtime=1302 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 4923011 0 0 0 122637 7563 0 0 25 0 1 0 21608591 1377112064 307295 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 336209 307295 704 1374 0 334830 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 1344836 [startup+1362.3 s] /proc/loadavg: 2.00 2.09 2.06 3/179 20419 /proc/meminfo: memFree=26861120/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1349904 CPUtime=1361.99 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 5181160 0 0 0 128284 7915 0 0 25 0 1 0 21608591 1382301696 308304 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 337476 308304 704 1374 0 336097 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 1349904 [startup+1422.31 s] /proc/loadavg: 2.00 2.07 2.06 3/179 20420 /proc/meminfo: memFree=26762976/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1358920 CPUtime=1422 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 5432879 0 0 0 133944 8256 0 0 25 0 1 0 21608591 1391534080 310377 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 339730 310377 704 1374 0 338351 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 1358920 [startup+1482.3 s] /proc/loadavg: 2.00 2.06 2.05 3/179 20422 /proc/meminfo: memFree=26664336/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1375024 CPUtime=1482 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 5728956 0 0 0 139600 8600 0 0 25 0 1 0 21608591 1408024576 313583 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 343756 313583 704 1374 0 342377 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 1375024 [startup+1542.3 s] /proc/loadavg: 2.00 2.04 2.04 3/179 20424 /proc/meminfo: memFree=26565452/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1394440 CPUtime=1542 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 5988068 0 0 0 145266 8934 0 0 25 0 1 0 21608591 1427906560 316536 4089446400 4194304 9819077 140735905593344 18446744073709551615 4436511 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 348610 316536 704 1374 0 347231 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 1394440 [startup+1602.3 s] /proc/loadavg: 2.00 2.03 2.04 3/179 20425 /proc/meminfo: memFree=26459132/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1421160 CPUtime=1602 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 6200591 0 0 0 150941 9259 0 0 25 0 1 0 21608591 1455267840 321718 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 355290 321718 704 1374 0 353911 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 1421160 [startup+1662.3 s] /proc/loadavg: 2.03 2.04 2.04 3/179 20427 /proc/meminfo: memFree=26359012/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1439496 CPUtime=1662 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 6472751 0 0 0 156608 9592 0 0 25 0 1 0 21608591 1474043904 324934 4089446400 4194304 9819077 140735905593344 18446744073709551615 6179930 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 359874 324934 704 1374 0 358495 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 1439496 Solver just ended. Dumping a history of the last processes samples [startup+1663.9 s] /proc/loadavg: 2.03 2.04 2.04 3/179 20427 /proc/meminfo: memFree=26356528/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1439496 CPUtime=1663.6 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 6483807 0 0 0 156756 9604 0 0 25 0 1 0 21608591 1474043904 324980 4089446400 4194304 9819077 140735905593344 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 359874 324980 704 1374 0 358495 0 Current children cumulated CPU time (s) 1663.6 Current children cumulated vsize (KiB) 1439496 [startup+1676.7 s] /proc/loadavg: 2.02 2.04 2.04 3/179 20427 /proc/meminfo: memFree=26334948/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1441492 CPUtime=1676.4 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 6552827 0 0 0 157958 9682 0 0 25 0 1 0 21608591 1476087808 325360 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 360373 325360 704 1374 0 358994 0 Current children cumulated CPU time (s) 1676.4 Current children cumulated vsize (KiB) 1441492 [startup+1683.1 s] /proc/loadavg: 2.02 2.03 2.04 3/179 20428 /proc/meminfo: memFree=26326628/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1441648 CPUtime=1682.8 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 6584266 0 0 0 158557 9723 0 0 25 0 1 0 21608591 1476247552 325423 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 360412 325423 705 1374 0 359033 0 Current children cumulated CPU time (s) 1682.8 Current children cumulated vsize (KiB) 1441648 [startup+1689.5 s] /proc/loadavg: 2.02 2.03 2.04 3/179 20428 /proc/meminfo: memFree=26319792/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1440920 CPUtime=1689.21 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 6617496 0 0 0 159155 9766 0 0 25 0 1 0 21608591 1475502080 325205 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 360230 325205 705 1374 0 358851 0 Current children cumulated CPU time (s) 1689.21 Current children cumulated vsize (KiB) 1440920 [startup+1691.1 s] /proc/loadavg: 2.02 2.03 2.04 3/179 20428 /proc/meminfo: memFree=26316676/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1440940 CPUtime=1690.8 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 6628990 0 0 0 159300 9780 0 0 25 0 1 0 21608591 1475522560 325228 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 360235 325228 705 1374 0 358856 0 Current children cumulated CPU time (s) 1690.8 Current children cumulated vsize (KiB) 1440940 [startup+1692.7 s] /proc/loadavg: 2.02 2.03 2.04 3/179 20428 /proc/meminfo: memFree=26314816/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1438872 CPUtime=1692.4 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 6641081 0 0 0 159449 9791 0 0 25 0 1 0 21608591 1473404928 324715 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 359718 324715 705 1374 0 358339 0 Current children cumulated CPU time (s) 1692.4 Current children cumulated vsize (KiB) 1438872 [startup+1693.1 s] /proc/loadavg: 2.02 2.03 2.04 3/179 20428 /proc/meminfo: memFree=26314452/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1436848 CPUtime=1692.8 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 6644987 0 0 0 159486 9794 0 0 25 0 1 0 21608591 1471332352 324204 4089446400 4194304 9819077 140735905593344 18446744073709551615 4670079 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 359212 324204 705 1374 0 357833 0 Current children cumulated CPU time (s) 1692.8 Current children cumulated vsize (KiB) 1436848 [startup+1693.5 s] /proc/loadavg: 2.02 2.03 2.04 3/179 20428 /proc/meminfo: memFree=26314452/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1412812 CPUtime=1693.21 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 6647115 0 0 0 159525 9796 0 0 25 0 1 0 21608591 1446719488 318197 4089446400 4194304 9819077 140735905593344 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 353203 318197 705 1374 0 351824 0 Current children cumulated CPU time (s) 1693.21 Current children cumulated vsize (KiB) 1412812 [startup+1693.6 s] /proc/loadavg: 2.02 2.03 2.04 3/179 20428 /proc/meminfo: memFree=26314452/32950940 swapFree=67111528/67111528 [pid=20193] ppid=20191 vsize=1142464 CPUtime=1693.3 /proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 19727 0 -1 4202496 6647525 0 0 0 159533 9797 0 0 25 0 1 0 21608591 1169883136 250611 4089446400 4194304 9819077 140735905593344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20193/statm: 285616 250611 705 1374 0 284237 0 Current children cumulated CPU time (s) 1693.3 Current children cumulated vsize (KiB) 1142464 Child status: 0 Real time (s): 1693.66 CPU time (s): 1693.37 CPU user time (s): 1595.35 CPU system time (s): 98.0171 CPU usage (%): 99.9829 Max. virtual memory (cumulated for all children) (KiB): 1448680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1595.35 system time used= 98.0171 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6647532 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= 1 involuntary context switches= 4277 runsolver used 2.99055 second user time and 6.00809 second system time The end
Begin job on node117 at 2010-07-07 22:19:05 IDJOB=2700069 IDBENCH=79397 IDSOLVER=1205 FILE ID=node117/2700069-1278533945 PBS_JOBID= 11239244 Free space on /tmp= 73516 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-jnh215_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-2700069-1278533945/watcher-2700069-1278533945 -o /tmp/evaluation-result-2700069-1278533945/solver-2700069-1278533945 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700069-1278533945.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f6fb73f0a02abbaaed6c5aa05fa83af7 RANDOM SEED=666712955 node117.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.846 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.69 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.846 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.846 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.846 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.87 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.846 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.846 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.82 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.846 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.62 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.846 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 : 5251.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 29174000 kB Buffers: 140264 kB Cached: 3230592 kB SwapCached: 0 kB Active: 1640332 kB Inactive: 1969712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 29174000 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 7744 kB Writeback: 0 kB AnonPages: 239580 kB Mapped: 18876 kB Slab: 100176 kB PageTables: 5632 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 457304 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= 73524 MiB End job on node117 at 2010-07-07 22:47:19