0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3690935-1338018771.opb>
0.05/0.08 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41095 constraints
0.05/0.08 c problem read in 0.08
0.09/0.18 o 0
0.09/0.18 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.18 c presolving:
0.39/0.41 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41095 upgd conss, 82190 impls, 0 clqs
0.49/0.57 c (0.6s) probing: 51/760 (6.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.57 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.49/0.58 c presolving (2 rounds):
0.49/0.58 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.58 c 82190 implications, 0 cliques
0.49/0.58 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41095 constraints
0.49/0.58 c 41095 constraints of type <setppc>
0.49/0.58 c transformed objective value is always integral (scale: 1)
0.49/0.58 c Presolving Time: 0.47
0.49/0.58 c - non default parameters ----------------------------------------------------------------------
0.49/0.58 c # SCIP version 2.1.1.4
0.49/0.58 c
0.49/0.58 c # maximal time in seconds to run
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/time = 1797
0.49/0.58 c
0.49/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/memory = 13950
0.49/0.58 c
0.49/0.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.58 c # [type: int, range: [1,2], default: 1]
0.49/0.58 c timing/clocktype = 2
0.49/0.58 c
0.49/0.58 c # belongs reading time to solving time?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c timing/reading = TRUE
0.49/0.58 c
0.49/0.58 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.58 c separating/rapidlearning/freq = 0
0.49/0.58 c
0.49/0.58 c -----------------------------------------------------------------------------------------------
0.49/0.58 c start solving
0.49/0.59 c
0.89/0.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.98 c t 1.0s| 1 | 0 | 762 | - | 49M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | Inf
0.99/1.01 o -1
1.09/1.11 c R 1.0s| 1 | 0 | 762 | - | 49M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | Large
1.59/1.63 c 1.6s| 1 | 0 | 961 | - | 49M| 0 | 709 | 760 | 41k| 760 | 41k| 5 | 0 | 0 |-3.545000e+02 |-1.000000e+00 | Large
1.59/1.64 o -28
1.59/1.64 c b 1.6s| 1 | 0 | 961 | - | 49M| 0 | 709 | 760 | 41k| 760 | 41k| 5 | 0 | 0 |-3.545000e+02 |-2.800000e+01 |1166.07%
2.39/2.46 c 2.5s| 1 | 0 | 1170 | - | 49M| 0 | 662 | 760 | 41k| 760 | 41k| 22 | 0 | 0 |-3.310000e+02 |-2.800000e+01 |1082.14%
3.49/3.53 c 3.5s| 1 | 0 | 1381 | - | 49M| 0 | 624 | 760 | 41k| 760 | 41k| 33 | 0 | 0 |-3.120000e+02 |-2.800000e+01 |1014.29%
4.59/4.63 c 4.6s| 1 | 0 | 1501 | - | 49M| 0 | 583 | 760 | 41k| 760 | 41k| 47 | 0 | 0 |-2.915000e+02 |-2.800000e+01 | 941.07%
5.69/5.77 c 5.8s| 1 | 0 | 1659 | - | 49M| 0 | 546 | 760 | 41k| 760 | 41k| 57 | 0 | 0 |-2.722500e+02 |-2.800000e+01 | 872.32%
7.08/7.15 c 7.2s| 1 | 0 | 1894 | - | 49M| 0 | 515 | 760 | 41k| 760 | 41k| 74 | 0 | 0 |-2.565000e+02 |-2.800000e+01 | 816.07%
8.58/8.63 c 8.6s| 1 | 0 | 2376 | - | 49M| 0 | 471 | 760 | 41k| 760 | 41k| 86 | 0 | 0 |-2.345000e+02 |-2.800000e+01 | 737.50%
10.18/10.22 c 10.2s| 1 | 0 | 2955 | - | 49M| 0 | 428 | 760 | 41k| 760 | 41k| 104 | 0 | 0 |-2.140000e+02 |-2.800000e+01 | 664.29%
11.49/11.55 c 11.5s| 1 | 0 | 3243 | - | 49M| 0 | 393 | 760 | 41k| 760 | 41k| 116 | 0 | 0 |-1.955000e+02 |-2.800000e+01 | 598.21%
12.79/12.89 c 12.9s| 1 | 0 | 3580 | - | 49M| 0 | 354 | 760 | 41k| 760 | 41k| 133 | 0 | 0 |-1.760000e+02 |-2.800000e+01 | 528.57%
13.29/13.36 c 13.4s| 1 | 0 | 4231 | - | 49M| 0 | 316 | 760 | 41k| 760 | 41k| 146 | 0 | 0 |-1.580000e+02 |-2.800000e+01 | 464.29%
13.59/13.68 c 13.7s| 1 | 0 | 4466 | - | 49M| 0 | 287 | 760 | 41k| 760 | 41k| 158 | 0 | 0 |-1.425000e+02 |-2.800000e+01 | 408.93%
13.98/14.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.98/14.06 c 14.1s| 1 | 0 | 4886 | - | 49M| 0 | 256 | 760 | 41k| 760 | 41k| 171 | 0 | 0 |-1.270000e+02 |-2.800000e+01 | 353.57%
14.38/14.48 c 14.5s| 1 | 0 | 5276 | - | 49M| 0 | 229 | 760 | 41k| 760 | 41k| 182 | 0 | 0 |-1.135000e+02 |-2.800000e+01 | 305.36%
15.59/15.65 c 15.6s| 1 | 0 | 7180 | - | 49M| 0 | 201 | 760 | 41k| 760 | 41k| 191 | 0 | 0 |-9.950000e+01 |-2.800000e+01 | 255.36%
16.09/16.16 c 16.2s| 1 | 0 | 7983 | - | 49M| 0 | 160 | 760 | 41k| 760 | 41k| 199 | 0 | 0 |-8.000000e+01 |-2.800000e+01 | 185.71%
16.99/17.00 c 17.0s| 1 | 0 | 9293 | - | 49M| 0 | 139 | 760 | 41k| 760 | 41k| 205 | 0 | 0 |-6.600000e+01 |-2.800000e+01 | 135.71%
17.39/17.42 c 17.4s| 1 | 0 | 9910 | - | 49M| 0 | 129 | 760 | 41k| 760 | 41k| 214 | 0 | 0 |-5.900000e+01 |-2.800000e+01 | 110.71%
17.79/17.85 c 17.9s| 1 | 0 | 10634 | - | 49M| 0 | 118 | 760 | 41k| 760 | 41k| 226 | 0 | 0 |-4.866667e+01 |-2.800000e+01 | 73.81%
18.19/18.20 c 18.2s| 1 | 0 | 11160 | - | 49M| 0 | 171 | 760 | 41k| 760 | 41k| 231 | 0 | 0 |-4.100000e+01 |-2.800000e+01 | 46.43%
18.19/18.28 c 18.3s| 1 | 0 | 11236 | - | 49M| 0 | 164 | 760 | 41k| 760 | 41k| 242 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 42.86%
18.29/18.34 c 18.3s| 1 | 0 | 11297 | - | 49M| 0 | 161 | 760 | 41k| 760 | 41k| 249 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 42.86%
18.39/18.43 c 18.4s| 1 | 0 | 11370 | - | 49M| 0 | 167 | 760 | 41k| 760 | 41k| 258 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 42.86%
18.49/18.51 c 18.5s| 1 | 0 | 11435 | - | 49M| 0 | 168 | 760 | 41k| 760 | 41k| 265 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 42.86%
18.49/18.58 c 18.6s| 1 | 0 | 11501 | - | 50M| 0 | 164 | 760 | 41k| 760 | 41k| 275 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 42.86%
18.59/18.65 c 18.7s| 1 | 0 | 11563 | - | 50M| 0 | 164 | 760 | 41k| 760 | 41k| 283 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 42.86%
23.78/23.87 c 23.9s| 1 | 2 | 11563 | - | 50M| 0 | 164 | 760 | 41k| 760 | 41k| 283 | 0 | 33 |-4.000000e+01 |-2.800000e+01 | 42.86%
54.58/54.61 o -30
54.58/54.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.58/54.61 c c54.6s| 15 | 16 | 12323 | 54.3 | 51M| 14 | - | 760 | 41k| 760 | 41k| 283 | 0 | 366 |-4.000000e+01 |-3.000000e+01 | 33.33%
109.66/109.76 o -31
109.66/109.76 c o 110s| 63 | 62 | 15613 | 65.3 | 54M| 17 | 4 | 760 | 41k| 760 | 41k| 283 | 0 |1120 |-4.000000e+01 |-3.100000e+01 | 29.03%
109.66/109.77 o -33
109.66/109.77 c o 110s| 63 | 62 | 15615 | 65.4 | 54M| 17 | 0 | 760 | 41k| 760 | 41k| 283 | 0 |1120 |-4.000000e+01 |-3.300000e+01 | 21.21%
112.47/112.53 c 113s| 100 | 83 | 17369 | 58.6 | 54M| 22 | 61 | 760 | 41k| 760 | 41k| 283 | 0 |1137 |-4.000000e+01 |-3.300000e+01 | 21.21%
117.16/117.21 c 117s| 200 | 149 | 21490 | 49.9 | 56M| 22 | - | 760 | 41k| 760 | 41k| 283 | 0 |1156 |-4.000000e+01 |-3.300000e+01 | 21.21%
121.55/121.63 o -34
121.55/121.63 c C 122s| 263 | 185 | 25278 | 52.3 | 58M| 22 | 75 | 760 | 41k| 760 | 41k| 283 | 0 |1171 |-4.000000e+01 |-3.400000e+01 | 17.65%
123.96/124.05 c 124s| 300 | 214 | 27500 | 53.3 | 58M| 25 | 105 | 760 | 41k| 760 | 41k| 283 | 0 |1180 |-4.000000e+01 |-3.400000e+01 | 17.65%
125.16/125.20 o -35
125.16/125.20 c v 125s| 311 | 201 | 28334 | 54.1 | 59M| 26 | - | 760 | 41k| 760 | 41k| 283 | 0 |1189 |-4.000000e+01 |-3.500000e+01 | 14.29%
129.36/129.46 c 129s| 400 | 246 | 32398 | 52.2 | 60M| 29 | 50 | 760 | 41k| 760 | 41k| 283 | 0 |1204 |-4.000000e+01 |-3.500000e+01 | 14.29%
134.35/134.49 c 134s| 500 | 300 | 37006 | 51.0 | 61M| 31 | 88 | 760 | 41k| 760 | 41k| 283 | 0 |1229 |-4.000000e+01 |-3.500000e+01 | 14.29%
139.66/139.78 c 140s| 600 | 366 | 41289 | 49.6 | 63M| 33 | - | 760 | 41k| 760 | 41k| 283 | 0 |1257 |-4.000000e+01 |-3.500000e+01 | 14.29%
144.06/144.13 c 144s| 700 | 414 | 45014 | 47.9 | 64M| 35 | 84 | 760 | 41k| 760 | 41k| 283 | 0 |1276 |-4.000000e+01 |-3.500000e+01 | 14.29%
149.16/149.23 c 149s| 800 | 462 | 49396 | 47.4 | 66M| 42 | - | 760 | 41k| 760 | 41k| 283 | 0 |1312 |-4.000000e+01 |-3.500000e+01 | 14.29%
152.96/153.09 c 153s| 900 | 502 | 52369 | 45.4 | 67M| 49 | 86 | 760 | 41k| 760 | 41k| 283 | 0 |1340 |-4.000000e+01 |-3.500000e+01 | 14.29%
158.45/158.50 c 159s| 1000 | 542 | 57062 | 45.5 | 68M| 53 | 47 | 760 | 41k| 760 | 41k| 283 | 0 |1372 |-4.000000e+01 |-3.500000e+01 | 14.29%
162.55/162.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.55/162.68 c 163s| 1100 | 586 | 60562 | 44.6 | 69M| 53 | 76 | 760 | 41k| 760 | 41k| 283 | 0 |1399 |-4.000000e+01 |-3.500000e+01 | 14.29%
166.05/166.14 c 166s| 1200 | 624 | 63289 | 43.1 | 70M| 62 | 56 | 760 | 41k| 760 | 41k| 283 | 0 |1418 |-4.000000e+01 |-3.500000e+01 | 14.29%
169.35/169.49 c 169s| 1300 | 662 | 65999 | 41.9 | 71M| 62 | - | 760 | 41k| 760 | 41k| 283 | 0 |1440 |-4.000000e+01 |-3.500000e+01 | 14.29%
173.45/173.59 c 174s| 1400 | 698 | 69225 | 41.2 | 72M| 65 | 104 | 760 | 41k| 760 | 41k| 283 | 0 |1468 |-4.000000e+01 |-3.500000e+01 | 14.29%
178.55/178.64 c 179s| 1500 | 770 | 73788 | 41.5 | 74M| 65 | 124 | 760 | 41k| 760 | 41k| 283 | 0 |1488 |-4.000000e+01 |-3.500000e+01 | 14.29%
187.75/187.89 c 188s| 1600 | 868 | 82649 | 44.5 | 76M| 65 | 89 | 760 | 41k| 760 | 41k| 283 | 0 |1527 |-4.000000e+01 |-3.500000e+01 | 14.29%
195.05/195.19 c 195s| 1700 | 960 | 90752 | 46.6 | 78M| 65 | 68 | 760 | 41k| 760 | 41k| 283 | 0 |1543 |-4.000000e+01 |-3.500000e+01 | 14.29%
201.04/201.13 c 201s| 1800 | 1044 | 97286 | 47.7 | 80M| 65 | 84 | 760 | 41k| 760 | 41k| 283 | 0 |1551 |-4.000000e+01 |-3.500000e+01 | 14.29%
208.75/208.89 c 209s| 1900 | 1132 |106513 | 50.0 | 82M| 65 | 69 | 760 | 41k| 760 | 41k| 283 | 0 |1557 |-4.000000e+01 |-3.500000e+01 | 14.29%
214.14/214.27 c 214s| 2000 | 1226 |112377 | 50.4 | 84M| 65 | 75 | 760 | 41k| 760 | 41k| 283 | 0 |1567 |-4.000000e+01 |-3.500000e+01 | 14.29%
221.25/221.37 c 221s| 2100 | 1320 |119857 | 51.6 | 85M| 65 | 108 | 760 | 41k| 760 | 41k| 283 | 0 |1577 |-4.000000e+01 |-3.500000e+01 | 14.29%
226.74/226.80 c 227s| 2200 | 1402 |126446 | 52.2 | 87M| 65 | 125 | 760 | 41k| 760 | 41k| 283 | 0 |1587 |-4.000000e+01 |-3.500000e+01 | 14.29%
234.64/234.70 c 235s| 2300 | 1490 |133548 | 53.1 | 90M| 65 | 66 | 760 | 41k| 760 | 41k| 283 | 0 |1621 |-4.000000e+01 |-3.500000e+01 | 14.29%
241.85/241.96 c 242s| 2400 | 1586 |141512 | 54.2 | 92M| 65 | 40 | 760 | 41k| 760 | 41k| 283 | 0 |1628 |-4.000000e+01 |-3.500000e+01 | 14.29%
249.04/249.12 c 249s| 2500 | 1672 |150195 | 55.5 | 94M| 65 | 64 | 760 | 41k| 760 | 41k| 283 | 0 |1635 |-4.000000e+01 |-3.500000e+01 | 14.29%
254.74/254.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.74/254.80 c 255s| 2600 | 1754 |157195 | 56.0 | 95M| 65 | 74 | 760 | 41k| 760 | 41k| 283 | 0 |1637 |-4.000000e+01 |-3.500000e+01 | 14.29%
262.84/262.96 c 263s| 2700 | 1842 |165954 | 57.2 | 97M| 65 | 172 | 760 | 41k| 760 | 41k| 283 | 0 |1656 |-4.000000e+01 |-3.500000e+01 | 14.29%
271.04/271.20 c 271s| 2800 | 1922 |173460 | 57.8 | 99M| 65 | 69 | 760 | 41k| 760 | 41k| 283 | 0 |1714 |-4.000000e+01 |-3.500000e+01 | 14.29%
278.33/278.42 c 278s| 2900 | 2016 |181705 | 58.7 | 101M| 65 | 84 | 760 | 41k| 760 | 41k| 283 | 0 |1730 |-4.000000e+01 |-3.500000e+01 | 14.29%
287.33/287.47 c 287s| 3000 | 2094 |189742 | 59.4 | 103M| 65 | 73 | 760 | 41k| 760 | 41k| 283 | 0 |1774 |-4.000000e+01 |-3.500000e+01 | 14.29%
293.93/294.05 c 294s| 3100 | 2176 |196310 | 59.6 | 104M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |1802 |-4.000000e+01 |-3.500000e+01 | 14.29%
302.53/302.63 c 303s| 3200 | 2250 |204360 | 60.3 | 106M| 65 | 56 | 760 | 41k| 760 | 41k| 283 | 0 |1856 |-4.000000e+01 |-3.500000e+01 | 14.29%
310.43/310.58 c 311s| 3300 | 2336 |212193 | 60.8 | 108M| 65 | 117 | 760 | 41k| 760 | 41k| 283 | 0 |1896 |-4.000000e+01 |-3.500000e+01 | 14.29%
318.13/318.24 c 318s| 3400 | 2414 |219737 | 61.2 | 110M| 65 | 65 | 760 | 41k| 760 | 41k| 283 | 0 |1931 |-4.000000e+01 |-3.500000e+01 | 14.29%
326.32/326.48 c 326s| 3500 | 2492 |227372 | 61.7 | 111M| 65 | 70 | 760 | 41k| 760 | 41k| 283 | 0 |1972 |-4.000000e+01 |-3.500000e+01 | 14.29%
334.92/335.05 c 335s| 3600 | 2580 |235417 | 62.2 | 113M| 65 | 89 | 760 | 41k| 760 | 41k| 283 | 0 |2013 |-4.000000e+01 |-3.500000e+01 | 14.29%
342.02/342.12 c 342s| 3700 | 2662 |242381 | 62.4 | 115M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |2039 |-4.000000e+01 |-3.500000e+01 | 14.29%
348.42/348.57 c 349s| 3800 | 2734 |249039 | 62.5 | 116M| 65 | 59 | 760 | 41k| 760 | 41k| 283 | 0 |2061 |-4.000000e+01 |-3.500000e+01 | 14.29%
356.42/356.53 c 357s| 3900 | 2810 |255846 | 62.7 | 118M| 65 | 72 | 760 | 41k| 760 | 41k| 283 | 0 |2105 |-4.000000e+01 |-3.500000e+01 | 14.29%
364.11/364.21 c 364s| 4000 | 2896 |262960 | 62.9 | 120M| 65 | 60 | 760 | 41k| 760 | 41k| 283 | 0 |2128 |-4.000000e+01 |-3.500000e+01 | 14.29%
371.42/371.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.42/371.56 c 372s| 4100 | 2986 |271564 | 63.4 | 122M| 65 | 70 | 760 | 41k| 760 | 41k| 283 | 0 |2134 |-4.000000e+01 |-3.500000e+01 | 14.29%
377.01/377.19 c 377s| 4200 | 3066 |277912 | 63.4 | 124M| 65 | 76 | 760 | 41k| 760 | 41k| 283 | 0 |2144 |-4.000000e+01 |-3.500000e+01 | 14.29%
382.41/382.52 c 383s| 4300 | 3142 |284139 | 63.4 | 125M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |2157 |-4.000000e+01 |-3.500000e+01 | 14.29%
388.12/388.26 c 388s| 4400 | 3226 |290546 | 63.4 | 127M| 65 | 69 | 760 | 41k| 760 | 41k| 283 | 0 |2165 |-4.000000e+01 |-3.500000e+01 | 14.29%
393.62/393.78 c 394s| 4500 | 3306 |297313 | 63.5 | 129M| 65 | 49 | 760 | 41k| 760 | 41k| 283 | 0 |2172 |-4.000000e+01 |-3.500000e+01 | 14.29%
397.61/397.74 c 398s| 4600 | 3368 |302543 | 63.3 | 130M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |2172 |-4.000000e+01 |-3.500000e+01 | 14.29%
402.31/402.43 c 402s| 4700 | 3436 |308764 | 63.2 | 132M| 65 | 80 | 760 | 41k| 760 | 41k| 283 | 0 |2176 |-4.000000e+01 |-3.500000e+01 | 14.29%
408.91/409.01 c 409s| 4800 | 3512 |316852 | 63.6 | 133M| 65 | 55 | 760 | 41k| 760 | 41k| 283 | 0 |2181 |-4.000000e+01 |-3.500000e+01 | 14.29%
414.71/414.88 c 415s| 4900 | 3592 |324225 | 63.8 | 135M| 65 | 107 | 760 | 41k| 760 | 41k| 283 | 0 |2182 |-4.000000e+01 |-3.500000e+01 | 14.29%
421.00/421.20 c 421s| 5000 | 3674 |331940 | 64.1 | 137M| 65 | 71 | 760 | 41k| 760 | 41k| 283 | 0 |2187 |-4.000000e+01 |-3.500000e+01 | 14.29%
427.40/427.56 c 428s| 5100 | 3754 |339975 | 64.4 | 139M| 65 | 85 | 760 | 41k| 760 | 41k| 283 | 0 |2188 |-4.000000e+01 |-3.500000e+01 | 14.29%
435.80/435.93 c 436s| 5200 | 3838 |347452 | 64.6 | 141M| 65 | 82 | 760 | 41k| 760 | 41k| 283 | 0 |2231 |-4.000000e+01 |-3.500000e+01 | 14.29%
441.31/441.43 c 441s| 5300 | 3916 |353364 | 64.5 | 142M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |2249 |-4.000000e+01 |-3.500000e+01 | 14.29%
448.41/448.57 c 449s| 5400 | 3994 |360864 | 64.7 | 144M| 65 | 66 | 760 | 41k| 760 | 41k| 283 | 0 |2279 |-4.000000e+01 |-3.500000e+01 | 14.29%
456.11/456.28 c 456s| 5500 | 4064 |368332 | 64.9 | 145M| 65 | 71 | 760 | 41k| 760 | 41k| 283 | 0 |2320 |-4.000000e+01 |-3.500000e+01 | 14.29%
463.60/463.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.60/463.75 c 464s| 5600 | 4136 |375099 | 64.9 | 147M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |2364 |-4.000000e+01 |-3.500000e+01 | 14.29%
470.50/470.69 c 471s| 5700 | 4214 |382589 | 65.1 | 149M| 65 | 53 | 760 | 41k| 760 | 41k| 283 | 0 |2382 |-4.000000e+01 |-3.500000e+01 | 14.29%
475.20/475.33 c 475s| 5800 | 4268 |387259 | 64.8 | 150M| 65 | 52 | 760 | 41k| 760 | 41k| 283 | 0 |2405 |-4.000000e+01 |-3.500000e+01 | 14.29%
481.20/481.37 c 481s| 5900 | 4340 |392304 | 64.5 | 151M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |2455 |-4.000000e+01 |-3.500000e+01 | 14.29%
485.40/485.59 c 486s| 6000 | 4406 |397105 | 64.3 | 153M| 65 | 48 | 760 | 41k| 760 | 41k| 283 | 0 |2466 |-4.000000e+01 |-3.500000e+01 | 14.29%
493.70/493.86 c 494s| 6100 | 4480 |404988 | 64.5 | 155M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |2505 |-4.000000e+01 |-3.500000e+01 | 14.29%
499.30/499.46 c 499s| 6200 | 4546 |410705 | 64.4 | 156M| 65 | 116 | 760 | 41k| 760 | 41k| 283 | 0 |2530 |-4.000000e+01 |-3.500000e+01 | 14.29%
506.00/506.17 c 506s| 6300 | 4616 |417414 | 64.4 | 158M| 65 | 54 | 760 | 41k| 760 | 41k| 283 | 0 |2564 |-4.000000e+01 |-3.500000e+01 | 14.29%
511.80/511.97 c 512s| 6400 | 4682 |423008 | 64.3 | 159M| 65 | 99 | 760 | 41k| 760 | 41k| 283 | 0 |2594 |-4.000000e+01 |-3.500000e+01 | 14.29%
517.69/517.80 c 518s| 6500 | 4756 |429798 | 64.4 | 160M| 65 | 60 | 760 | 41k| 760 | 41k| 283 | 0 |2608 |-4.000000e+01 |-3.500000e+01 | 14.29%
522.30/522.43 c 522s| 6600 | 4824 |435327 | 64.2 | 162M| 65 | 71 | 760 | 41k| 760 | 41k| 283 | 0 |2617 |-4.000000e+01 |-3.500000e+01 | 14.29%
529.00/529.17 c 529s| 6700 | 4902 |442514 | 64.3 | 163M| 65 | 73 | 760 | 41k| 760 | 41k| 283 | 0 |2643 |-4.000000e+01 |-3.500000e+01 | 14.29%
532.69/532.81 c 533s| 6800 | 4952 |447004 | 64.0 | 164M| 65 | 97 | 760 | 41k| 760 | 41k| 283 | 0 |2643 |-4.000000e+01 |-3.500000e+01 | 14.29%
536.70/536.82 c 537s| 6900 | 5014 |451803 | 63.8 | 165M| 65 | 70 | 760 | 41k| 760 | 41k| 283 | 0 |2650 |-4.000000e+01 |-3.500000e+01 | 14.29%
541.79/541.93 c 542s| 7000 | 5084 |458018 | 63.8 | 167M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |2656 |-4.000000e+01 |-3.500000e+01 | 14.29%
546.79/546.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
546.79/546.99 c 547s| 7100 | 5158 |463824 | 63.7 | 168M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |2662 |-4.000000e+01 |-3.500000e+01 | 14.29%
551.29/551.44 c 551s| 7200 | 5220 |468561 | 63.5 | 170M| 65 | 78 | 760 | 41k| 760 | 41k| 283 | 0 |2678 |-4.000000e+01 |-3.500000e+01 | 14.29%
556.29/556.40 c 556s| 7300 | 5292 |473967 | 63.4 | 171M| 65 | 58 | 760 | 41k| 760 | 41k| 283 | 0 |2680 |-4.000000e+01 |-3.500000e+01 | 14.29%
559.80/559.99 c 560s| 7400 | 5350 |478568 | 63.1 | 172M| 65 | 49 | 760 | 41k| 760 | 41k| 283 | 0 |2682 |-4.000000e+01 |-3.500000e+01 | 14.29%
564.59/564.79 c 565s| 7500 | 5416 |484099 | 63.0 | 173M| 65 | 83 | 760 | 41k| 760 | 41k| 283 | 0 |2689 |-4.000000e+01 |-3.500000e+01 | 14.29%
569.08/569.22 c 569s| 7600 | 5480 |489766 | 62.9 | 175M| 65 | 70 | 760 | 41k| 760 | 41k| 283 | 0 |2689 |-4.000000e+01 |-3.500000e+01 | 14.29%
572.68/572.80 c 573s| 7700 | 5542 |494511 | 62.7 | 176M| 65 | 84 | 760 | 41k| 760 | 41k| 283 | 0 |2689 |-4.000000e+01 |-3.500000e+01 | 14.29%
577.88/578.01 c 578s| 7800 | 5606 |501212 | 62.8 | 177M| 65 | 56 | 760 | 41k| 760 | 41k| 283 | 0 |2704 |-4.000000e+01 |-3.500000e+01 | 14.29%
582.89/583.01 c 583s| 7900 | 5668 |508067 | 62.9 | 179M| 65 | 80 | 760 | 41k| 760 | 41k| 283 | 0 |2708 |-4.000000e+01 |-3.500000e+01 | 14.29%
586.98/587.12 c 587s| 8000 | 5732 |513266 | 62.7 | 180M| 65 | 72 | 760 | 41k| 760 | 41k| 283 | 0 |2712 |-4.000000e+01 |-3.500000e+01 | 14.29%
590.98/591.19 c 591s| 8100 | 5788 |518419 | 62.6 | 181M| 65 | 65 | 760 | 41k| 760 | 41k| 283 | 0 |2714 |-4.000000e+01 |-3.500000e+01 | 14.29%
597.68/597.84 c 598s| 8200 | 5844 |523922 | 62.5 | 182M| 65 | 67 | 760 | 41k| 760 | 41k| 283 | 0 |2756 |-4.000000e+01 |-3.500000e+01 | 14.29%
602.48/602.65 c 603s| 8300 | 5904 |529348 | 62.4 | 184M| 65 | 95 | 760 | 41k| 760 | 41k| 283 | 0 |2760 |-4.000000e+01 |-3.500000e+01 | 14.29%
608.58/608.70 c 609s| 8400 | 5962 |535071 | 62.3 | 185M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |2799 |-4.000000e+01 |-3.500000e+01 | 14.29%
614.78/614.94 c 615s| 8500 | 6036 |541431 | 62.3 | 186M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |2832 |-4.000000e+01 |-3.500000e+01 | 14.29%
618.87/619.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.87/619.01 c 619s| 8600 | 6092 |546036 | 62.2 | 187M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |2846 |-4.000000e+01 |-3.500000e+01 | 14.29%
624.77/624.91 c 625s| 8700 | 6150 |551844 | 62.1 | 188M| 65 | 104 | 760 | 41k| 760 | 41k| 283 | 0 |2868 |-4.000000e+01 |-3.500000e+01 | 14.29%
629.98/630.14 c 630s| 8800 | 6208 |557166 | 62.0 | 190M| 65 | 102 | 760 | 41k| 760 | 41k| 283 | 0 |2893 |-4.000000e+01 |-3.500000e+01 | 14.29%
635.27/635.41 c 635s| 8900 | 6264 |561829 | 61.8 | 191M| 65 | 113 | 760 | 41k| 760 | 41k| 283 | 0 |2925 |-4.000000e+01 |-3.500000e+01 | 14.29%
640.27/640.40 c 640s| 9000 | 6326 |566869 | 61.7 | 192M| 65 | 66 | 760 | 41k| 760 | 41k| 283 | 0 |2944 |-4.000000e+01 |-3.500000e+01 | 14.29%
646.17/646.35 c 646s| 9100 | 6390 |572580 | 61.7 | 193M| 65 | 68 | 760 | 41k| 760 | 41k| 283 | 0 |2981 |-4.000000e+01 |-3.500000e+01 | 14.29%
649.67/649.83 c 650s| 9200 | 6432 |575914 | 61.3 | 194M| 65 | 51 | 760 | 41k| 760 | 41k| 283 | 0 |2997 |-4.000000e+01 |-3.500000e+01 | 14.29%
657.27/657.44 c 657s| 9300 | 6504 |583703 | 61.5 | 196M| 65 | 74 | 760 | 41k| 760 | 41k| 283 | 0 |3023 |-4.000000e+01 |-3.500000e+01 | 14.29%
662.07/662.27 c 662s| 9400 | 6546 |588617 | 61.4 | 197M| 65 | 47 | 760 | 41k| 760 | 41k| 283 | 0 |3044 |-4.000000e+01 |-3.500000e+01 | 14.29%
667.87/668.00 c 668s| 9500 | 6608 |594032 | 61.3 | 198M| 65 | 55 | 760 | 41k| 760 | 41k| 283 | 0 |3078 |-4.000000e+01 |-3.500000e+01 | 14.29%
673.77/673.96 c 674s| 9600 | 6668 |600189 | 61.3 | 199M| 65 | 67 | 760 | 41k| 760 | 41k| 283 | 0 |3105 |-4.000000e+01 |-3.500000e+01 | 14.29%
678.76/678.97 c 679s| 9700 | 6726 |604983 | 61.2 | 200M| 65 | 69 | 760 | 41k| 760 | 41k| 283 | 0 |3129 |-4.000000e+01 |-3.500000e+01 | 14.29%
683.47/683.66 c 684s| 9800 | 6776 |609674 | 61.0 | 201M| 65 | 62 | 760 | 41k| 760 | 41k| 283 | 0 |3147 |-4.000000e+01 |-3.500000e+01 | 14.29%
687.77/687.93 c 688s| 9900 | 6824 |613967 | 60.9 | 202M| 65 | 85 | 760 | 41k| 760 | 41k| 283 | 0 |3167 |-4.000000e+01 |-3.500000e+01 | 14.29%
693.77/693.96 c 694s| 10000 | 6890 |620536 | 60.9 | 203M| 65 | 86 | 760 | 41k| 760 | 41k| 283 | 0 |3193 |-4.000000e+01 |-3.500000e+01 | 14.29%
697.87/698.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.87/698.03 c 698s| 10100 | 6944 |624892 | 60.7 | 204M| 65 | 57 | 760 | 41k| 760 | 41k| 283 | 0 |3205 |-4.000000e+01 |-3.500000e+01 | 14.29%
700.57/700.78 c 701s| 10200 | 6988 |628187 | 60.5 | 205M| 65 | 59 | 760 | 41k| 760 | 41k| 283 | 0 |3207 |-4.000000e+01 |-3.500000e+01 | 14.29%
704.56/704.72 c 705s| 10300 | 7044 |633455 | 60.4 | 206M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3210 |-4.000000e+01 |-3.500000e+01 | 14.29%
709.17/709.38 c 709s| 10400 | 7110 |639093 | 60.3 | 208M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3214 |-4.000000e+01 |-3.500000e+01 | 14.29%
713.26/713.42 c 713s| 10500 | 7156 |643449 | 60.2 | 209M| 65 | 70 | 760 | 41k| 760 | 41k| 283 | 0 |3224 |-4.000000e+01 |-3.500000e+01 | 14.29%
718.07/718.21 c 718s| 10600 | 7220 |648669 | 60.1 | 210M| 65 | 53 | 760 | 41k| 760 | 41k| 283 | 0 |3225 |-4.000000e+01 |-3.500000e+01 | 14.29%
721.96/722.12 c 722s| 10700 | 7272 |653712 | 60.0 | 211M| 65 | 76 | 760 | 41k| 760 | 41k| 283 | 0 |3226 |-4.000000e+01 |-3.500000e+01 | 14.29%
728.07/728.25 o -36
728.07/728.25 c p 728s| 10769 | 5940 |659034 | 60.1 | 194M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3253 |-4.000000e+01 |-3.600000e+01 | 11.11%
729.26/729.44 c 729s| 10800 | 5947 |660291 | 60.1 | 194M| 65 | 80 | 760 | 41k| 760 | 41k| 283 | 0 |3253 |-4.000000e+01 |-3.600000e+01 | 11.11%
732.16/732.36 c 732s| 10900 | 5981 |663951 | 59.9 | 195M| 65 | 56 | 760 | 41k| 760 | 41k| 283 | 0 |3257 |-4.000000e+01 |-3.600000e+01 | 11.11%
736.36/736.58 c 737s| 11000 | 6025 |669002 | 59.8 | 196M| 65 | 83 | 760 | 41k| 760 | 41k| 283 | 0 |3262 |-4.000000e+01 |-3.600000e+01 | 11.11%
739.06/739.23 c 739s| 11100 | 6055 |672032 | 59.5 | 197M| 65 | 72 | 760 | 41k| 760 | 41k| 283 | 0 |3265 |-4.000000e+01 |-3.600000e+01 | 11.11%
741.96/742.16 c 742s| 11200 | 6081 |675940 | 59.3 | 197M| 65 | 62 | 760 | 41k| 760 | 41k| 283 | 0 |3265 |-4.000000e+01 |-3.600000e+01 | 11.11%
745.06/745.23 c 745s| 11300 | 6117 |679520 | 59.1 | 198M| 65 | 59 | 760 | 41k| 760 | 41k| 283 | 0 |3265 |-4.000000e+01 |-3.600000e+01 | 11.11%
749.26/749.40 c 749s| 11400 | 6155 |684478 | 59.0 | 199M| 65 | 133 | 760 | 41k| 760 | 41k| 283 | 0 |3273 |-4.000000e+01 |-3.600000e+01 | 11.11%
754.56/754.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.56/754.78 c 755s| 11500 | 6207 |690876 | 59.1 | 200M| 65 | 54 | 760 | 41k| 760 | 41k| 283 | 0 |3274 |-4.000000e+01 |-3.600000e+01 | 11.11%
758.77/758.99 c 759s| 11600 | 6253 |695807 | 59.0 | 201M| 65 | 71 | 760 | 41k| 760 | 41k| 283 | 0 |3274 |-4.000000e+01 |-3.600000e+01 | 11.11%
761.35/761.50 c 762s| 11700 | 6279 |698868 | 58.7 | 201M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3274 |-4.000000e+01 |-3.600000e+01 | 11.11%
764.66/764.87 c 765s| 11800 | 6319 |702876 | 58.6 | 202M| 65 | 63 | 760 | 41k| 760 | 41k| 283 | 0 |3275 |-4.000000e+01 |-3.600000e+01 | 11.11%
768.25/768.46 c 768s| 11900 | 6357 |707326 | 58.5 | 203M| 65 | 64 | 760 | 41k| 760 | 41k| 283 | 0 |3275 |-4.000000e+01 |-3.600000e+01 | 11.11%
771.86/772.10 c 772s| 12000 | 6399 |711602 | 58.3 | 204M| 65 | 63 | 760 | 41k| 760 | 41k| 283 | 0 |3277 |-4.000000e+01 |-3.600000e+01 | 11.11%
776.85/777.02 c 777s| 12100 | 6457 |717481 | 58.3 | 205M| 65 | 93 | 760 | 41k| 760 | 41k| 283 | 0 |3282 |-4.000000e+01 |-3.600000e+01 | 11.11%
780.76/780.94 c 781s| 12200 | 6497 |721890 | 58.2 | 206M| 65 | 84 | 760 | 41k| 760 | 41k| 283 | 0 |3282 |-4.000000e+01 |-3.600000e+01 | 11.11%
786.36/786.55 c 787s| 12300 | 6529 |727077 | 58.2 | 207M| 65 | 85 | 760 | 41k| 760 | 41k| 283 | 0 |3310 |-4.000000e+01 |-3.600000e+01 | 11.11%
792.55/792.71 c 793s| 12400 | 6589 |732825 | 58.2 | 208M| 65 | 90 | 760 | 41k| 760 | 41k| 283 | 0 |3343 |-4.000000e+01 |-3.600000e+01 | 11.11%
795.25/795.45 c 795s| 12500 | 6625 |736275 | 58.0 | 209M| 65 | 82 | 760 | 41k| 760 | 41k| 283 | 0 |3343 |-4.000000e+01 |-3.600000e+01 | 11.11%
800.94/801.16 c 801s| 12600 | 6679 |742259 | 58.0 | 210M| 65 | 72 | 760 | 41k| 760 | 41k| 283 | 0 |3374 |-4.000000e+01 |-3.600000e+01 | 11.11%
804.25/804.42 c 804s| 12700 | 6707 |745494 | 57.8 | 211M| 65 | 77 | 760 | 41k| 760 | 41k| 283 | 0 |3385 |-4.000000e+01 |-3.600000e+01 | 11.11%
809.55/809.72 c 810s| 12800 | 6747 |750297 | 57.7 | 211M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3409 |-4.000000e+01 |-3.600000e+01 | 11.11%
813.75/813.99 c 814s| 12900 | 6781 |753946 | 57.6 | 212M| 65 | 94 | 760 | 41k| 760 | 41k| 283 | 0 |3442 |-4.000000e+01 |-3.600000e+01 | 11.11%
818.05/818.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.05/818.30 c 818s| 13000 | 6821 |759088 | 57.5 | 213M| 65 | 56 | 760 | 41k| 760 | 41k| 283 | 0 |3442 |-4.000000e+01 |-3.600000e+01 | 11.11%
822.44/822.60 c 823s| 13100 | 6859 |762532 | 57.3 | 214M| 65 | 59 | 760 | 41k| 760 | 41k| 283 | 0 |3475 |-4.000000e+01 |-3.600000e+01 | 11.11%
825.95/826.11 c 826s| 13200 | 6903 |766161 | 57.2 | 215M| 65 | 63 | 760 | 41k| 760 | 41k| 283 | 0 |3488 |-4.000000e+01 |-3.600000e+01 | 11.11%
830.84/831.02 c 831s| 13300 | 6955 |771152 | 57.1 | 216M| 65 | 68 | 760 | 41k| 760 | 41k| 283 | 0 |3512 |-4.000000e+01 |-3.600000e+01 | 11.11%
834.65/834.89 c 835s| 13400 | 6999 |775550 | 57.0 | 217M| 65 | 102 | 760 | 41k| 760 | 41k| 283 | 0 |3527 |-4.000000e+01 |-3.600000e+01 | 11.11%
839.54/839.77 c 840s| 13500 | 7039 |779710 | 56.9 | 218M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3555 |-4.000000e+01 |-3.600000e+01 | 11.11%
843.64/843.84 c 844s| 13600 | 7089 |784049 | 56.8 | 219M| 65 | 65 | 760 | 41k| 760 | 41k| 283 | 0 |3572 |-4.000000e+01 |-3.600000e+01 | 11.11%
849.44/849.64 c 850s| 13700 | 7131 |790014 | 56.8 | 220M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3593 |-4.000000e+01 |-3.600000e+01 | 11.11%
855.33/855.55 c 856s| 13800 | 7191 |795830 | 56.8 | 221M| 65 | 82 | 760 | 41k| 760 | 41k| 283 | 0 |3631 |-4.000000e+01 |-3.600000e+01 | 11.11%
858.74/858.95 c 859s| 13900 | 7231 |799195 | 56.7 | 222M| 65 | 59 | 760 | 41k| 760 | 41k| 283 | 0 |3644 |-4.000000e+01 |-3.600000e+01 | 11.11%
864.54/864.75 c 865s| 14000 | 7287 |804544 | 56.6 | 223M| 65 | 86 | 760 | 41k| 760 | 41k| 283 | 0 |3676 |-4.000000e+01 |-3.600000e+01 | 11.11%
868.53/868.78 c 869s| 14100 | 7335 |808833 | 56.5 | 224M| 65 | 66 | 760 | 41k| 760 | 41k| 283 | 0 |3686 |-4.000000e+01 |-3.600000e+01 | 11.11%
872.63/872.84 c 873s| 14200 | 7371 |812772 | 56.4 | 225M| 65 | 64 | 760 | 41k| 760 | 41k| 283 | 0 |3708 |-4.000000e+01 |-3.600000e+01 | 11.11%
876.83/877.09 c 877s| 14300 | 7415 |817215 | 56.3 | 226M| 65 | 80 | 760 | 41k| 760 | 41k| 283 | 0 |3730 |-4.000000e+01 |-3.600000e+01 | 11.11%
880.94/881.17 c 881s| 14400 | 7449 |820802 | 56.2 | 227M| 65 | 58 | 760 | 41k| 760 | 41k| 283 | 0 |3759 |-4.000000e+01 |-3.600000e+01 | 11.11%
885.24/885.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.24/885.45 c 885s| 14500 | 7499 |825689 | 56.2 | 228M| 65 | 57 | 760 | 41k| 760 | 41k| 283 | 0 |3771 |-4.000000e+01 |-3.600000e+01 | 11.11%
889.64/889.86 c 890s| 14600 | 7539 |830273 | 56.1 | 229M| 65 | 60 | 760 | 41k| 760 | 41k| 283 | 0 |3789 |-4.000000e+01 |-3.600000e+01 | 11.11%
893.43/893.67 c 894s| 14700 | 7575 |834304 | 56.0 | 229M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3804 |-4.000000e+01 |-3.600000e+01 | 11.11%
898.83/899.08 c 899s| 14800 | 7621 |840273 | 56.0 | 230M| 65 | 103 | 760 | 41k| 760 | 41k| 283 | 0 |3825 |-4.000000e+01 |-3.600000e+01 | 11.11%
903.04/903.29 c 903s| 14900 | 7663 |844340 | 55.9 | 231M| 65 | 80 | 760 | 41k| 760 | 41k| 283 | 0 |3840 |-4.000000e+01 |-3.600000e+01 | 11.11%
906.93/907.19 c 907s| 15000 | 7713 |849084 | 55.8 | 232M| 65 | 95 | 760 | 41k| 760 | 41k| 283 | 0 |3843 |-4.000000e+01 |-3.600000e+01 | 11.11%
911.43/911.69 c 912s| 15100 | 7755 |853500 | 55.8 | 233M| 65 | 149 | 760 | 41k| 760 | 41k| 283 | 0 |3859 |-4.000000e+01 |-3.600000e+01 | 11.11%
914.73/914.91 c 915s| 15200 | 7789 |857905 | 55.7 | 234M| 65 | 108 | 760 | 41k| 760 | 41k| 283 | 0 |3860 |-4.000000e+01 |-3.600000e+01 | 11.11%
919.43/919.68 c 920s| 15300 | 7845 |863417 | 55.7 | 235M| 65 | 56 | 760 | 41k| 760 | 41k| 283 | 0 |3868 |-4.000000e+01 |-3.600000e+01 | 11.11%
923.53/923.79 c 924s| 15400 | 7895 |868380 | 55.6 | 236M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3870 |-4.000000e+01 |-3.600000e+01 | 11.11%
926.43/926.68 c 927s| 15500 | 7933 |872033 | 55.5 | 237M| 65 | 63 | 760 | 41k| 760 | 41k| 283 | 0 |3870 |-4.000000e+01 |-3.600000e+01 | 11.11%
931.02/931.23 c 931s| 15600 | 7985 |877720 | 55.5 | 238M| 65 | 60 | 760 | 41k| 760 | 41k| 283 | 0 |3872 |-4.000000e+01 |-3.600000e+01 | 11.11%
934.53/934.78 c 935s| 15700 | 8027 |882102 | 55.5 | 239M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3872 |-4.000000e+01 |-3.600000e+01 | 11.11%
937.83/938.08 c 938s| 15800 | 8069 |886219 | 55.4 | 240M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3872 |-4.000000e+01 |-3.600000e+01 | 11.11%
942.13/942.34 c 942s| 15900 | 8121 |891227 | 55.3 | 241M| 65 | 73 | 760 | 41k| 760 | 41k| 283 | 0 |3881 |-4.000000e+01 |-3.600000e+01 | 11.11%
945.42/945.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
945.42/945.67 c 946s| 16000 | 8165 |895081 | 55.2 | 242M| 65 | 57 | 760 | 41k| 760 | 41k| 283 | 0 |3881 |-4.000000e+01 |-3.600000e+01 | 11.11%
948.82/949.08 c 949s| 16100 | 8211 |899369 | 55.1 | 243M| 65 | 87 | 760 | 41k| 760 | 41k| 283 | 0 |3881 |-4.000000e+01 |-3.600000e+01 | 11.11%
952.23/952.48 c 952s| 16200 | 8253 |903805 | 55.1 | 244M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3881 |-4.000000e+01 |-3.600000e+01 | 11.11%
955.52/955.73 c 956s| 16300 | 8299 |907881 | 55.0 | 245M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3881 |-4.000000e+01 |-3.600000e+01 | 11.11%
958.93/959.17 c 959s| 16400 | 8341 |912128 | 54.9 | 246M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |3882 |-4.000000e+01 |-3.600000e+01 | 11.11%
962.12/962.39 c 962s| 16500 | 8387 |916410 | 54.8 | 247M| 65 | 47 | 760 | 41k| 760 | 41k| 283 | 0 |3882 |-4.000000e+01 |-3.600000e+01 | 11.11%
965.42/965.67 c 966s| 16600 | 8419 |921070 | 54.8 | 247M| 65 | 69 | 760 | 41k| 760 | 41k| 283 | 0 |3883 |-4.000000e+01 |-3.600000e+01 | 11.11%
968.22/968.42 c 968s| 16700 | 8451 |924591 | 54.7 | 248M| 65 | 78 | 760 | 41k| 760 | 41k| 283 | 0 |3883 |-4.000000e+01 |-3.600000e+01 | 11.11%
974.02/974.24 c 974s| 16800 | 8503 |932501 | 54.8 | 249M| 65 | 64 | 760 | 41k| 760 | 41k| 283 | 0 |3884 |-4.000000e+01 |-3.600000e+01 | 11.11%
977.42/977.68 c 978s| 16900 | 8549 |937262 | 54.8 | 250M| 65 | 86 | 760 | 41k| 760 | 41k| 283 | 0 |3884 |-4.000000e+01 |-3.600000e+01 | 11.11%
980.82/981.04 c 981s| 17000 | 8591 |941368 | 54.7 | 251M| 65 | 61 | 760 | 41k| 760 | 41k| 283 | 0 |3884 |-4.000000e+01 |-3.600000e+01 | 11.11%
983.82/984.00 c 984s| 17100 | 8621 |945225 | 54.6 | 252M| 65 | 44 | 760 | 41k| 760 | 41k| 283 | 0 |3890 |-4.000000e+01 |-3.600000e+01 | 11.11%
987.63/987.84 c 988s| 17200 | 8663 |949346 | 54.5 | 253M| 65 | 128 | 760 | 41k| 760 | 41k| 283 | 0 |3904 |-4.000000e+01 |-3.600000e+01 | 11.11%
991.12/991.34 c 991s| 17300 | 8701 |953030 | 54.4 | 254M| 65 | 58 | 760 | 41k| 760 | 41k| 283 | 0 |3915 |-4.000000e+01 |-3.600000e+01 | 11.11%
994.92/995.12 c 995s| 17400 | 8737 |956579 | 54.3 | 254M| 65 | 93 | 760 | 41k| 760 | 41k| 283 | 0 |3938 |-4.000000e+01 |-3.600000e+01 | 11.11%
1000.51/1000.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.51/1000.71 c 1001s| 17500 | 8789 |962171 | 54.3 | 255M| 65 | 90 | 760 | 41k| 760 | 41k| 283 | 0 |3967 |-4.000000e+01 |-3.600000e+01 | 11.11%
1004.92/1005.12 c 1005s| 17600 | 8833 |967349 | 54.3 | 256M| 65 | 74 | 760 | 41k| 760 | 41k| 283 | 0 |3979 |-4.000000e+01 |-3.600000e+01 | 11.11%
1008.92/1009.10 c 1009s| 17700 | 8875 |971798 | 54.3 | 257M| 65 | 80 | 760 | 41k| 760 | 41k| 283 | 0 |3997 |-4.000000e+01 |-3.600000e+01 | 11.11%
1012.71/1012.91 c 1013s| 17800 | 8911 |975721 | 54.2 | 258M| 65 | 56 | 760 | 41k| 760 | 41k| 283 | 0 |4010 |-4.000000e+01 |-3.600000e+01 | 11.11%
1017.61/1017.85 c 1018s| 17900 | 8953 |980593 | 54.1 | 258M| 65 | 64 | 760 | 41k| 760 | 41k| 283 | 0 |4035 |-4.000000e+01 |-3.600000e+01 | 11.11%
1021.41/1021.67 c 1022s| 18000 | 8997 |984615 | 54.1 | 259M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4049 |-4.000000e+01 |-3.600000e+01 | 11.11%
1025.41/1025.65 c 1026s| 18100 | 9051 |989256 | 54.0 | 260M| 65 | 80 | 760 | 41k| 760 | 41k| 283 | 0 |4063 |-4.000000e+01 |-3.600000e+01 | 11.11%
1029.11/1029.36 c 1029s| 18200 | 9091 |992982 | 53.9 | 261M| 65 | 61 | 760 | 41k| 760 | 41k| 283 | 0 |4083 |-4.000000e+01 |-3.600000e+01 | 11.11%
1032.02/1032.27 c 1032s| 18300 | 9125 |995661 | 53.8 | 262M| 65 | 83 | 760 | 41k| 760 | 41k| 283 | 0 |4095 |-4.000000e+01 |-3.600000e+01 | 11.11%
1035.11/1035.39 c 1035s| 18400 | 9165 |998790 | 53.7 | 262M| 65 | 76 | 760 | 41k| 760 | 41k| 283 | 0 |4110 |-4.000000e+01 |-3.600000e+01 | 11.11%
1040.21/1040.41 c 1040s| 18500 | 9215 | 1004k| 53.7 | 263M| 65 | 84 | 760 | 41k| 760 | 41k| 283 | 0 |4131 |-4.000000e+01 |-3.600000e+01 | 11.11%
1045.31/1045.52 c 1046s| 18600 | 9275 | 1009k| 53.6 | 265M| 65 | 69 | 760 | 41k| 760 | 41k| 283 | 0 |4157 |-4.000000e+01 |-3.600000e+01 | 11.11%
1050.11/1050.39 c 1050s| 18700 | 9317 | 1014k| 53.7 | 266M| 65 | 56 | 760 | 41k| 760 | 41k| 283 | 0 |4176 |-4.000000e+01 |-3.600000e+01 | 11.11%
1053.52/1053.75 c 1054s| 18800 | 9355 | 1018k| 53.5 | 266M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4194 |-4.000000e+01 |-3.600000e+01 | 11.11%
1057.41/1057.62 c 1058s| 18900 | 9403 | 1022k| 53.5 | 267M| 65 | 60 | 760 | 41k| 760 | 41k| 283 | 0 |4218 |-4.000000e+01 |-3.600000e+01 | 11.11%
1061.91/1062.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1061.91/1062.19 c 1062s| 19000 | 9441 | 1027k| 53.5 | 268M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4238 |-4.000000e+01 |-3.600000e+01 | 11.11%
1066.21/1066.47 c 1066s| 19100 | 9493 | 1032k| 53.4 | 269M| 65 | 58 | 760 | 41k| 760 | 41k| 283 | 0 |4254 |-4.000000e+01 |-3.600000e+01 | 11.11%
1070.40/1070.68 c 1071s| 19200 | 9535 | 1036k| 53.4 | 270M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4274 |-4.000000e+01 |-3.600000e+01 | 11.11%
1075.11/1075.31 c 1075s| 19300 | 9589 | 1041k| 53.3 | 271M| 65 | 69 | 760 | 41k| 760 | 41k| 283 | 0 |4294 |-4.000000e+01 |-3.600000e+01 | 11.11%
1078.81/1079.06 c 1079s| 19400 | 9643 | 1045k| 53.3 | 273M| 65 | 68 | 760 | 41k| 760 | 41k| 283 | 0 |4309 |-4.000000e+01 |-3.600000e+01 | 11.11%
1083.90/1084.19 c 1084s| 19500 | 9707 | 1050k| 53.3 | 274M| 65 | 95 | 760 | 41k| 760 | 41k| 283 | 0 |4337 |-4.000000e+01 |-3.600000e+01 | 11.11%
1087.50/1087.77 c 1088s| 19600 | 9751 | 1054k| 53.2 | 275M| 65 | 79 | 760 | 41k| 760 | 41k| 283 | 0 |4348 |-4.000000e+01 |-3.600000e+01 | 11.11%
1093.60/1093.87 c 1094s| 19700 | 9803 | 1061k| 53.3 | 276M| 65 | 60 | 760 | 41k| 760 | 41k| 283 | 0 |4367 |-4.000000e+01 |-3.600000e+01 | 11.11%
1097.70/1097.92 c 1098s| 19800 | 9845 | 1065k| 53.3 | 277M| 65 | 75 | 760 | 41k| 760 | 41k| 283 | 0 |4382 |-4.000000e+01 |-3.600000e+01 | 11.11%
1101.00/1101.21 c 1101s| 19900 | 9883 | 1069k| 53.2 | 278M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4385 |-4.000000e+01 |-3.600000e+01 | 11.11%
1106.90/1107.19 c 1107s| 20000 | 9945 | 1076k| 53.2 | 279M| 65 | 69 | 760 | 41k| 760 | 41k| 283 | 0 |4396 |-4.000000e+01 |-3.600000e+01 | 11.11%
1112.90/1113.14 c 1113s| 20100 | 10001 | 1082k| 53.3 | 280M| 65 | 67 | 760 | 41k| 760 | 41k| 283 | 0 |4403 |-4.000000e+01 |-3.600000e+01 | 11.11%
1116.30/1116.57 c 1117s| 20200 | 10039 | 1087k| 53.2 | 281M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4409 |-4.000000e+01 |-3.600000e+01 | 11.11%
1119.89/1120.12 c 1120s| 20300 | 10087 | 1092k| 53.2 | 282M| 65 | 58 | 760 | 41k| 760 | 41k| 283 | 0 |4411 |-4.000000e+01 |-3.600000e+01 | 11.11%
1122.59/1122.87 c 1123s| 20400 | 10121 | 1095k| 53.1 | 282M| 65 | 82 | 760 | 41k| 760 | 41k| 283 | 0 |4415 |-4.000000e+01 |-3.600000e+01 | 11.11%
1125.60/1125.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1125.60/1125.80 c 1126s| 20500 | 10155 | 1099k| 53.1 | 283M| 65 | 48 | 760 | 41k| 760 | 41k| 283 | 0 |4419 |-4.000000e+01 |-3.600000e+01 | 11.11%
1129.00/1129.23 c 1129s| 20600 | 10203 | 1103k| 53.0 | 284M| 65 | 52 | 760 | 41k| 760 | 41k| 283 | 0 |4421 |-4.000000e+01 |-3.600000e+01 | 11.11%
1129.99/1130.29 o -37
1129.99/1130.29 c f1130s| 20625 | 7311 | 1105k| 53.0 | 238M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4423 |-4.000000e+01 |-3.700000e+01 | 8.11%
1132.50/1132.71 c 1133s| 20700 | 7336 | 1108k| 53.0 | 239M| 65 | 47 | 760 | 41k| 760 | 41k| 283 | 0 |4427 |-4.000000e+01 |-3.700000e+01 | 8.11%
1135.10/1135.35 c 1135s| 20800 | 7366 | 1111k| 52.9 | 239M| 65 | 56 | 760 | 41k| 760 | 41k| 283 | 0 |4427 |-4.000000e+01 |-3.700000e+01 | 8.11%
1138.49/1138.71 c 1139s| 20900 | 7394 | 1115k| 52.8 | 240M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4433 |-4.000000e+01 |-3.700000e+01 | 8.11%
1142.29/1142.57 c 1143s| 21000 | 7430 | 1120k| 52.8 | 241M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4434 |-4.000000e+01 |-3.700000e+01 | 8.11%
1145.39/1145.64 c 1146s| 21100 | 7464 | 1124k| 52.8 | 242M| 65 | 60 | 760 | 41k| 760 | 41k| 283 | 0 |4434 |-4.000000e+01 |-3.700000e+01 | 8.11%
1147.69/1147.97 c 1148s| 21200 | 7498 | 1127k| 52.6 | 242M| 65 | 54 | 760 | 41k| 760 | 41k| 283 | 0 |4434 |-4.000000e+01 |-3.700000e+01 | 8.11%
1150.09/1150.36 c 1150s| 21300 | 7526 | 1130k| 52.5 | 243M| 65 | 59 | 760 | 41k| 760 | 41k| 283 | 0 |4434 |-4.000000e+01 |-3.700000e+01 | 8.11%
1152.29/1152.53 c 1153s| 21400 | 7548 | 1132k| 52.4 | 243M| 65 | 55 | 760 | 41k| 760 | 41k| 283 | 0 |4434 |-4.000000e+01 |-3.700000e+01 | 8.11%
1154.59/1154.83 c 1155s| 21500 | 7574 | 1135k| 52.3 | 244M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4434 |-4.000000e+01 |-3.700000e+01 | 8.11%
1158.98/1159.24 c 1159s| 21600 | 7604 | 1141k| 52.3 | 244M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4436 |-4.000000e+01 |-3.700000e+01 | 8.11%
1162.39/1162.61 c 1163s| 21700 | 7646 | 1145k| 52.3 | 245M| 65 | 56 | 760 | 41k| 760 | 41k| 283 | 0 |4442 |-4.000000e+01 |-3.700000e+01 | 8.11%
1164.48/1164.76 c 1165s| 21800 | 7662 | 1147k| 52.1 | 245M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4442 |-4.000000e+01 |-3.700000e+01 | 8.11%
1167.08/1167.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.08/1167.30 c 1167s| 21900 | 7688 | 1150k| 52.0 | 246M| 65 | 53 | 760 | 41k| 760 | 41k| 283 | 0 |4442 |-4.000000e+01 |-3.700000e+01 | 8.11%
1169.48/1169.73 c 1170s| 22000 | 7718 | 1154k| 51.9 | 247M| 65 | 82 | 760 | 41k| 760 | 41k| 283 | 0 |4443 |-4.000000e+01 |-3.700000e+01 | 8.11%
1172.89/1173.12 c 1173s| 22100 | 7758 | 1158k| 51.9 | 248M| 65 | 126 | 760 | 41k| 760 | 41k| 283 | 0 |4443 |-4.000000e+01 |-3.700000e+01 | 8.11%
1176.48/1176.71 c 1177s| 22200 | 7804 | 1162k| 51.9 | 249M| 65 | 63 | 760 | 41k| 760 | 41k| 283 | 0 |4443 |-4.000000e+01 |-3.700000e+01 | 8.11%
1179.48/1179.76 c 1180s| 22300 | 7848 | 1166k| 51.8 | 249M| 65 | 81 | 760 | 41k| 760 | 41k| 283 | 0 |4444 |-4.000000e+01 |-3.700000e+01 | 8.11%
1182.38/1182.62 c 1183s| 22400 | 7880 | 1170k| 51.8 | 250M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4444 |-4.000000e+01 |-3.700000e+01 | 8.11%
1184.88/1185.13 c 1185s| 22500 | 7902 | 1173k| 51.7 | 251M| 65 | 99 | 760 | 41k| 760 | 41k| 283 | 0 |4444 |-4.000000e+01 |-3.700000e+01 | 8.11%
1188.79/1189.10 c 1189s| 22600 | 7930 | 1179k| 51.7 | 251M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4444 |-4.000000e+01 |-3.700000e+01 | 8.11%
1191.68/1191.96 c 1192s| 22700 | 7966 | 1183k| 51.6 | 252M| 65 | 68 | 760 | 41k| 760 | 41k| 283 | 0 |4445 |-4.000000e+01 |-3.700000e+01 | 8.11%
1195.28/1195.51 c 1196s| 22800 | 7996 | 1187k| 51.6 | 253M| 65 | 113 | 760 | 41k| 760 | 41k| 283 | 0 |4457 |-4.000000e+01 |-3.700000e+01 | 8.11%
1198.38/1198.60 c 1199s| 22900 | 8024 | 1190k| 51.5 | 253M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4469 |-4.000000e+01 |-3.700000e+01 | 8.11%
1202.09/1202.36 c 1202s| 23000 | 8058 | 1194k| 51.5 | 254M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4483 |-4.000000e+01 |-3.700000e+01 | 8.11%
1204.97/1205.23 c 1205s| 23100 | 8074 | 1197k| 51.4 | 254M| 65 | 103 | 760 | 41k| 760 | 41k| 283 | 0 |4496 |-4.000000e+01 |-3.700000e+01 | 8.11%
1208.78/1209.01 c 1209s| 23200 | 8102 | 1201k| 51.3 | 255M| 65 | 100 | 760 | 41k| 760 | 41k| 283 | 0 |4512 |-4.000000e+01 |-3.700000e+01 | 8.11%
1213.87/1214.12 c 1214s| 23300 | 8146 | 1206k| 51.3 | 256M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4525 |-4.000000e+01 |-3.700000e+01 | 8.11%
1218.18/1218.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.18/1218.49 c 1218s| 23400 | 8184 | 1210k| 51.2 | 256M| 65 | 65 | 760 | 41k| 760 | 41k| 283 | 0 |4551 |-4.000000e+01 |-3.700000e+01 | 8.11%
1220.57/1220.83 c 1221s| 23500 | 8206 | 1213k| 51.1 | 257M| 65 | 114 | 760 | 41k| 760 | 41k| 283 | 0 |4551 |-4.000000e+01 |-3.700000e+01 | 8.11%
1223.98/1224.24 c 1224s| 23600 | 8230 | 1216k| 51.1 | 257M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4572 |-4.000000e+01 |-3.700000e+01 | 8.11%
1229.38/1229.60 c 1230s| 23700 | 8268 | 1221k| 51.1 | 258M| 65 | 116 | 760 | 41k| 760 | 41k| 283 | 0 |4590 |-4.000000e+01 |-3.700000e+01 | 8.11%
1233.38/1233.60 c 1234s| 23800 | 8296 | 1225k| 51.0 | 259M| 65 | 92 | 760 | 41k| 760 | 41k| 283 | 0 |4612 |-4.000000e+01 |-3.700000e+01 | 8.11%
1236.48/1236.74 c 1237s| 23900 | 8334 | 1229k| 51.0 | 259M| 65 | 73 | 760 | 41k| 760 | 41k| 283 | 0 |4621 |-4.000000e+01 |-3.700000e+01 | 8.11%
1240.37/1240.62 c 1241s| 24000 | 8376 | 1233k| 50.9 | 260M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4631 |-4.000000e+01 |-3.700000e+01 | 8.11%
1244.17/1244.46 c 1244s| 24100 | 8406 | 1237k| 50.9 | 261M| 65 | 56 | 760 | 41k| 760 | 41k| 283 | 0 |4658 |-4.000000e+01 |-3.700000e+01 | 8.11%
1248.18/1248.41 c 1248s| 24200 | 8428 | 1240k| 50.8 | 261M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4676 |-4.000000e+01 |-3.700000e+01 | 8.11%
1250.97/1251.26 c 1251s| 24300 | 8456 | 1243k| 50.7 | 262M| 65 | 60 | 760 | 41k| 760 | 41k| 283 | 0 |4692 |-4.000000e+01 |-3.700000e+01 | 8.11%
1254.57/1254.85 c 1255s| 24400 | 8476 | 1246k| 50.6 | 262M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4718 |-4.000000e+01 |-3.700000e+01 | 8.11%
1258.07/1258.37 c 1258s| 24500 | 8504 | 1250k| 50.6 | 263M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4729 |-4.000000e+01 |-3.700000e+01 | 8.11%
1261.87/1262.13 c 1262s| 24600 | 8540 | 1254k| 50.5 | 264M| 65 | 95 | 760 | 41k| 760 | 41k| 283 | 0 |4743 |-4.000000e+01 |-3.700000e+01 | 8.11%
1264.97/1265.21 c 1265s| 24700 | 8574 | 1258k| 50.5 | 264M| 65 | 81 | 760 | 41k| 760 | 41k| 283 | 0 |4754 |-4.000000e+01 |-3.700000e+01 | 8.11%
1268.07/1268.33 c 1268s| 24800 | 8602 | 1261k| 50.4 | 265M| 65 | 80 | 760 | 41k| 760 | 41k| 283 | 0 |4766 |-4.000000e+01 |-3.700000e+01 | 8.11%
1271.87/1272.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.87/1272.17 c 1272s| 24900 | 8636 | 1265k| 50.3 | 266M| 65 | 92 | 760 | 41k| 760 | 41k| 283 | 0 |4794 |-4.000000e+01 |-3.700000e+01 | 8.11%
1276.17/1276.48 c 1276s| 25000 | 8668 | 1270k| 50.3 | 266M| 65 | 77 | 760 | 41k| 760 | 41k| 283 | 0 |4807 |-4.000000e+01 |-3.700000e+01 | 8.11%
1279.67/1279.94 c 1280s| 25100 | 8692 | 1273k| 50.3 | 267M| 65 | 59 | 760 | 41k| 760 | 41k| 283 | 0 |4826 |-4.000000e+01 |-3.700000e+01 | 8.11%
1283.16/1283.46 c 1283s| 25200 | 8718 | 1276k| 50.2 | 268M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4848 |-4.000000e+01 |-3.700000e+01 | 8.11%
1285.57/1285.88 c 1286s| 25300 | 8744 | 1279k| 50.1 | 268M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4848 |-4.000000e+01 |-3.700000e+01 | 8.11%
1289.87/1290.10 c 1290s| 25400 | 8772 | 1284k| 50.1 | 269M| 65 | - | 760 | 41k| 760 | 41k| 283 | 0 |4871 |-4.000000e+01 |-3.700000e+01 | 8.11%
1293.86/1294.13 c 1294s| 25500 | 8806 | 1288k| 50.1 | 269M| 65 | 75 | 760 | 41k| 760 | 41k| 283 | 0 |4877 |-4.000000e+01 |-3.700000e+01 | 8.11%
1298.77/1299.00 c 1299s| 25600 | 8838 | 1293k| 50.1 | 270M| 65 | 66 | 760 | 41k| 760 | 41k| 283 | 0 |4891 |-4.000000e+01 |-3.700000e+01 | 8.11%
1300.86/1301.18 c 1301s| 25700 | 8850 | 1296k| 50.0 | 270M| 75 | 50 | 760 | 41k| 760 | 41k| 283 | 0 |4892 |-4.000000e+01 |-3.700000e+01 | 8.11%
1304.86/1305.15 c 1305s| 25800 | 8880 | 1299k| 49.9 | 271M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4921 |-4.000000e+01 |-3.700000e+01 | 8.11%
1308.26/1308.55 c 1309s| 25900 | 8906 | 1303k| 49.9 | 271M| 75 | 91 | 760 | 41k| 760 | 41k| 283 | 0 |4935 |-4.000000e+01 |-3.700000e+01 | 8.11%
1311.56/1311.85 c 1312s| 26000 | 8932 | 1306k| 49.8 | 272M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4946 |-4.000000e+01 |-3.700000e+01 | 8.11%
1314.66/1314.90 c 1315s| 26100 | 8958 | 1309k| 49.7 | 273M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4958 |-4.000000e+01 |-3.700000e+01 | 8.11%
1318.36/1318.67 c 1319s| 26200 | 8984 | 1313k| 49.7 | 273M| 75 | 92 | 760 | 41k| 760 | 41k| 283 | 0 |4966 |-4.000000e+01 |-3.700000e+01 | 8.11%
1321.36/1321.65 c 1322s| 26300 | 9012 | 1317k| 49.6 | 274M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4968 |-4.000000e+01 |-3.700000e+01 | 8.11%
1324.36/1324.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.36/1324.63 c 1325s| 26400 | 9038 | 1320k| 49.6 | 274M| 75 | 72 | 760 | 41k| 760 | 41k| 283 | 0 |4976 |-4.000000e+01 |-3.700000e+01 | 8.11%
1326.36/1326.62 c 1327s| 26500 | 9056 | 1323k| 49.5 | 274M| 75 | 58 | 760 | 41k| 760 | 41k| 283 | 0 |4976 |-4.000000e+01 |-3.700000e+01 | 8.11%
1328.56/1328.84 c 1329s| 26600 | 9074 | 1325k| 49.4 | 275M| 75 | 73 | 760 | 41k| 760 | 41k| 283 | 0 |4976 |-4.000000e+01 |-3.700000e+01 | 8.11%
1330.76/1331.06 c 1331s| 26700 | 9096 | 1328k| 49.3 | 275M| 75 | 79 | 760 | 41k| 760 | 41k| 283 | 0 |4978 |-4.000000e+01 |-3.700000e+01 | 8.11%
1332.96/1333.21 c 1333s| 26800 | 9118 | 1330k| 49.2 | 276M| 75 | 86 | 760 | 41k| 760 | 41k| 283 | 0 |4979 |-4.000000e+01 |-3.700000e+01 | 8.11%
1335.55/1335.88 c 1336s| 26900 | 9140 | 1334k| 49.2 | 276M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4980 |-4.000000e+01 |-3.700000e+01 | 8.11%
1338.56/1338.86 c 1339s| 27000 | 9168 | 1338k| 49.1 | 277M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4981 |-4.000000e+01 |-3.700000e+01 | 8.11%
1341.06/1341.30 c 1341s| 27100 | 9190 | 1341k| 49.1 | 277M| 75 | 73 | 760 | 41k| 760 | 41k| 283 | 0 |4982 |-4.000000e+01 |-3.700000e+01 | 8.11%
1343.76/1344.02 c 1344s| 27200 | 9214 | 1344k| 49.0 | 278M| 75 | 75 | 760 | 41k| 760 | 41k| 283 | 0 |4982 |-4.000000e+01 |-3.700000e+01 | 8.11%
1346.26/1346.51 c 1347s| 27300 | 9242 | 1348k| 49.0 | 278M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4982 |-4.000000e+01 |-3.700000e+01 | 8.11%
1348.96/1349.27 c 1349s| 27400 | 9274 | 1351k| 48.9 | 279M| 75 | 116 | 760 | 41k| 760 | 41k| 283 | 0 |4982 |-4.000000e+01 |-3.700000e+01 | 8.11%
1351.26/1351.55 c 1352s| 27500 | 9298 | 1354k| 48.8 | 280M| 75 | 88 | 760 | 41k| 760 | 41k| 283 | 0 |4982 |-4.000000e+01 |-3.700000e+01 | 8.11%
1353.66/1353.94 c 1354s| 27600 | 9314 | 1358k| 48.8 | 280M| 75 | 145 | 760 | 41k| 760 | 41k| 283 | 0 |4982 |-4.000000e+01 |-3.700000e+01 | 8.11%
1355.56/1355.87 c 1356s| 27700 | 9330 | 1360k| 48.7 | 280M| 75 | 107 | 760 | 41k| 760 | 41k| 283 | 0 |4982 |-4.000000e+01 |-3.700000e+01 | 8.11%
1357.75/1358.00 c 1358s| 27800 | 9344 | 1363k| 48.6 | 281M| 75 | 95 | 760 | 41k| 760 | 41k| 283 | 0 |4982 |-4.000000e+01 |-3.700000e+01 | 8.11%
1359.75/1360.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1359.75/1360.07 c 1360s| 27900 | 9360 | 1365k| 48.5 | 281M| 75 | 94 | 760 | 41k| 760 | 41k| 283 | 0 |4982 |-4.000000e+01 |-3.700000e+01 | 8.11%
1362.56/1362.89 c 1363s| 28000 | 9388 | 1369k| 48.5 | 282M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4982 |-4.000000e+01 |-3.700000e+01 | 8.11%
1365.65/1365.95 c 1366s| 28100 | 9412 | 1373k| 48.5 | 282M| 75 | 79 | 760 | 41k| 760 | 41k| 283 | 0 |4986 |-4.000000e+01 |-3.700000e+01 | 8.11%
1368.75/1369.00 c 1369s| 28200 | 9448 | 1376k| 48.4 | 283M| 75 | 81 | 760 | 41k| 760 | 41k| 283 | 0 |4986 |-4.000000e+01 |-3.700000e+01 | 8.11%
1371.25/1371.58 c 1372s| 28300 | 9478 | 1380k| 48.4 | 283M| 75 | 46 | 760 | 41k| 760 | 41k| 283 | 0 |4986 |-4.000000e+01 |-3.700000e+01 | 8.11%
1373.45/1373.70 c 1374s| 28400 | 9492 | 1382k| 48.3 | 283M| 75 | 53 | 760 | 41k| 760 | 41k| 283 | 0 |4986 |-4.000000e+01 |-3.700000e+01 | 8.11%
1375.65/1375.91 c 1376s| 28500 | 9508 | 1385k| 48.2 | 284M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4986 |-4.000000e+01 |-3.700000e+01 | 8.11%
1377.55/1377.89 c 1378s| 28600 | 9536 | 1387k| 48.1 | 284M| 75 | 83 | 760 | 41k| 760 | 41k| 283 | 0 |4986 |-4.000000e+01 |-3.700000e+01 | 8.11%
1379.55/1379.84 c 1380s| 28700 | 9556 | 1389k| 48.0 | 284M| 75 | 58 | 760 | 41k| 760 | 41k| 283 | 0 |4986 |-4.000000e+01 |-3.700000e+01 | 8.11%
1382.05/1382.34 c 1382s| 28800 | 9582 | 1392k| 48.0 | 285M| 75 | 51 | 760 | 41k| 760 | 41k| 283 | 0 |4987 |-4.000000e+01 |-3.700000e+01 | 8.11%
1385.65/1385.97 c 1386s| 28900 | 9610 | 1397k| 47.9 | 286M| 75 | 76 | 760 | 41k| 760 | 41k| 283 | 0 |4987 |-4.000000e+01 |-3.700000e+01 | 8.11%
1387.96/1388.28 c 1388s| 29000 | 9628 | 1400k| 47.9 | 286M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4987 |-4.000000e+01 |-3.700000e+01 | 8.11%
1390.25/1390.57 c 1391s| 29100 | 9652 | 1402k| 47.8 | 286M| 75 | 74 | 760 | 41k| 760 | 41k| 283 | 0 |4987 |-4.000000e+01 |-3.700000e+01 | 8.11%
1393.35/1393.61 c 1394s| 29200 | 9674 | 1406k| 47.8 | 287M| 75 | 54 | 760 | 41k| 760 | 41k| 283 | 0 |4987 |-4.000000e+01 |-3.700000e+01 | 8.11%
1396.34/1396.61 c 1397s| 29300 | 9708 | 1410k| 47.8 | 288M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4987 |-4.000000e+01 |-3.700000e+01 | 8.11%
1398.85/1399.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.85/1399.18 c 1399s| 29400 | 9738 | 1413k| 47.7 | 288M| 75 | 71 | 760 | 41k| 760 | 41k| 283 | 0 |4987 |-4.000000e+01 |-3.700000e+01 | 8.11%
1401.45/1401.70 c 1402s| 29500 | 9764 | 1417k| 47.6 | 289M| 75 | 83 | 760 | 41k| 760 | 41k| 283 | 0 |4987 |-4.000000e+01 |-3.700000e+01 | 8.11%
1404.35/1404.64 c 1405s| 29600 | 9806 | 1420k| 47.6 | 290M| 75 | 64 | 760 | 41k| 760 | 41k| 283 | 0 |4988 |-4.000000e+01 |-3.700000e+01 | 8.11%
1406.85/1407.13 c 1407s| 29700 | 9826 | 1424k| 47.6 | 290M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4988 |-4.000000e+01 |-3.700000e+01 | 8.11%
1408.95/1409.23 c 1409s| 29800 | 9846 | 1426k| 47.5 | 291M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4988 |-4.000000e+01 |-3.700000e+01 | 8.11%
1411.05/1411.38 c 1411s| 29900 | 9864 | 1429k| 47.4 | 291M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4988 |-4.000000e+01 |-3.700000e+01 | 8.11%
1413.55/1413.87 c 1414s| 30000 | 9890 | 1432k| 47.4 | 291M| 75 | 82 | 760 | 41k| 760 | 41k| 283 | 0 |4988 |-4.000000e+01 |-3.700000e+01 | 8.11%
1415.94/1416.29 c 1416s| 30100 | 9914 | 1435k| 47.3 | 292M| 75 | 178 | 760 | 41k| 760 | 41k| 283 | 0 |4988 |-4.000000e+01 |-3.700000e+01 | 8.11%
1418.84/1419.14 c 1419s| 30200 | 9940 | 1439k| 47.3 | 292M| 75 | 117 | 760 | 41k| 760 | 41k| 283 | 0 |4988 |-4.000000e+01 |-3.700000e+01 | 8.11%
1421.04/1421.39 c 1421s| 30300 | 9956 | 1442k| 47.2 | 293M| 75 | 50 | 760 | 41k| 760 | 41k| 283 | 0 |4991 |-4.000000e+01 |-3.700000e+01 | 8.11%
1423.65/1423.99 c 1424s| 30400 | 9978 | 1445k| 47.2 | 293M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |4997 |-4.000000e+01 |-3.700000e+01 | 8.11%
1428.34/1428.63 c 1429s| 30500 | 10020 | 1449k| 47.2 | 294M| 75 | 72 | 760 | 41k| 760 | 41k| 283 | 0 |5002 |-4.000000e+01 |-3.700000e+01 | 8.11%
1431.04/1431.36 c 1431s| 30600 | 10042 | 1453k| 47.1 | 295M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5002 |-4.000000e+01 |-3.700000e+01 | 8.11%
1434.64/1434.96 c 1435s| 30700 | 10092 | 1457k| 47.1 | 296M| 75 | 92 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1437.24/1437.50 c 1438s| 30800 | 10122 | 1460k| 47.1 | 296M| 75 | 60 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1439.84/1440.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.84/1440.18 c 1440s| 30900 | 10146 | 1463k| 47.0 | 296M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1443.04/1443.31 c 1443s| 31000 | 10170 | 1467k| 47.0 | 297M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1445.04/1445.34 c 1445s| 31100 | 10182 | 1470k| 46.9 | 297M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1447.74/1448.02 c 1448s| 31200 | 10212 | 1473k| 46.9 | 298M| 75 | 67 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1449.74/1450.05 c 1450s| 31300 | 10234 | 1475k| 46.8 | 298M| 75 | 106 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1452.34/1452.64 c 1453s| 31400 | 10266 | 1479k| 46.7 | 299M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1455.44/1455.76 c 1456s| 31500 | 10296 | 1483k| 46.7 | 299M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1458.94/1459.20 c 1459s| 31600 | 10336 | 1488k| 46.7 | 300M| 75 | 64 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1461.34/1461.64 c 1462s| 31700 | 10354 | 1491k| 46.7 | 301M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1464.24/1464.52 c 1465s| 31800 | 10380 | 1495k| 46.7 | 301M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1467.24/1467.52 c 1468s| 31900 | 10412 | 1499k| 46.6 | 302M| 75 | 57 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1469.54/1469.87 c 1470s| 32000 | 10436 | 1501k| 46.6 | 302M| 75 | 64 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1472.84/1473.16 c 1473s| 32100 | 10468 | 1506k| 46.6 | 303M| 75 | 78 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1475.94/1476.23 c 1476s| 32200 | 10506 | 1511k| 46.6 | 304M| 75 | 83 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1478.44/1478.72 c 1479s| 32300 | 10532 | 1514k| 46.5 | 304M| 75 | 95 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1480.64/1480.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.64/1480.93 c 1481s| 32400 | 10560 | 1517k| 46.5 | 305M| 75 | 55 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1482.64/1482.93 c 1483s| 32500 | 10578 | 1519k| 46.4 | 305M| 75 | 133 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1485.63/1485.91 c 1486s| 32600 | 10606 | 1523k| 46.4 | 306M| 75 | 72 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1488.93/1489.23 c 1489s| 32700 | 10642 | 1527k| 46.4 | 307M| 75 | 153 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1491.53/1491.85 c 1492s| 32800 | 10660 | 1531k| 46.3 | 307M| 75 | 63 | 760 | 41k| 760 | 41k| 283 | 0 |5004 |-4.000000e+01 |-3.700000e+01 | 8.11%
1493.64/1493.99 c 1494s| 32900 | 10676 | 1533k| 46.3 | 308M| 75 | 87 | 760 | 41k| 760 | 41k| 283 | 0 |5005 |-4.000000e+01 |-3.700000e+01 | 8.11%
1496.43/1496.70 c 1497s| 33000 | 10700 | 1537k| 46.2 | 308M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5005 |-4.000000e+01 |-3.700000e+01 | 8.11%
1499.23/1499.56 c 1500s| 33100 | 10732 | 1541k| 46.2 | 309M| 75 | 85 | 760 | 41k| 760 | 41k| 283 | 0 |5005 |-4.000000e+01 |-3.700000e+01 | 8.11%
1502.43/1502.75 c 1503s| 33200 | 10756 | 1545k| 46.2 | 309M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5005 |-4.000000e+01 |-3.700000e+01 | 8.11%
1505.13/1505.42 c 1505s| 33300 | 10784 | 1548k| 46.1 | 310M| 75 | 86 | 760 | 41k| 760 | 41k| 283 | 0 |5005 |-4.000000e+01 |-3.700000e+01 | 8.11%
1507.54/1507.84 c 1508s| 33400 | 10810 | 1551k| 46.1 | 311M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5005 |-4.000000e+01 |-3.700000e+01 | 8.11%
1510.54/1510.89 c 1511s| 33500 | 10842 | 1555k| 46.1 | 311M| 75 | 103 | 760 | 41k| 760 | 41k| 283 | 0 |5005 |-4.000000e+01 |-3.700000e+01 | 8.11%
1512.83/1513.18 c 1513s| 33600 | 10870 | 1558k| 46.0 | 312M| 75 | 62 | 760 | 41k| 760 | 41k| 283 | 0 |5005 |-4.000000e+01 |-3.700000e+01 | 8.11%
1515.13/1515.49 c 1515s| 33700 | 10888 | 1560k| 46.0 | 312M| 75 | 86 | 760 | 41k| 760 | 41k| 283 | 0 |5005 |-4.000000e+01 |-3.700000e+01 | 8.11%
1518.33/1518.69 c 1519s| 33800 | 10922 | 1564k| 46.0 | 313M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5005 |-4.000000e+01 |-3.700000e+01 | 8.11%
1520.53/1520.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.53/1520.88 c 1521s| 33900 | 10942 | 1567k| 45.9 | 313M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5005 |-4.000000e+01 |-3.700000e+01 | 8.11%
1523.13/1523.44 c 1523s| 34000 | 10966 | 1571k| 45.9 | 314M| 75 | 83 | 760 | 41k| 760 | 41k| 283 | 0 |5005 |-4.000000e+01 |-3.700000e+01 | 8.11%
1525.83/1526.16 c 1526s| 34100 | 10986 | 1574k| 45.8 | 314M| 75 | 102 | 760 | 41k| 760 | 41k| 283 | 0 |5008 |-4.000000e+01 |-3.700000e+01 | 8.11%
1529.33/1529.64 c 1530s| 34200 | 11016 | 1579k| 45.9 | 315M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5008 |-4.000000e+01 |-3.700000e+01 | 8.11%
1531.82/1532.10 c 1532s| 34300 | 11040 | 1582k| 45.8 | 316M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5008 |-4.000000e+01 |-3.700000e+01 | 8.11%
1534.63/1534.92 c 1535s| 34400 | 11070 | 1586k| 45.8 | 316M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5008 |-4.000000e+01 |-3.700000e+01 | 8.11%
1536.82/1537.16 c 1537s| 34500 | 11094 | 1589k| 45.7 | 317M| 75 | 70 | 760 | 41k| 760 | 41k| 283 | 0 |5008 |-4.000000e+01 |-3.700000e+01 | 8.11%
1538.93/1539.29 c 1539s| 34600 | 11118 | 1591k| 45.7 | 317M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5008 |-4.000000e+01 |-3.700000e+01 | 8.11%
1541.02/1541.39 c 1541s| 34700 | 11146 | 1594k| 45.6 | 318M| 75 | 55 | 760 | 41k| 760 | 41k| 283 | 0 |5008 |-4.000000e+01 |-3.700000e+01 | 8.11%
1543.82/1544.18 c 1544s| 34800 | 11170 | 1597k| 45.6 | 318M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5011 |-4.000000e+01 |-3.700000e+01 | 8.11%
1546.24/1546.56 c 1547s| 34900 | 11186 | 1600k| 45.5 | 319M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5011 |-4.000000e+01 |-3.700000e+01 | 8.11%
1548.62/1548.90 c 1549s| 35000 | 11206 | 1603k| 45.5 | 319M| 75 | 77 | 760 | 41k| 760 | 41k| 283 | 0 |5011 |-4.000000e+01 |-3.700000e+01 | 8.11%
1550.52/1550.85 c 1551s| 35100 | 11220 | 1606k| 45.4 | 319M| 75 | 105 | 760 | 41k| 760 | 41k| 283 | 0 |5011 |-4.000000e+01 |-3.700000e+01 | 8.11%
1552.83/1553.18 c 1553s| 35200 | 11236 | 1608k| 45.4 | 320M| 75 | 110 | 760 | 41k| 760 | 41k| 283 | 0 |5011 |-4.000000e+01 |-3.700000e+01 | 8.11%
1556.52/1556.85 c 1557s| 35300 | 11262 | 1614k| 45.4 | 320M| 75 | 77 | 760 | 41k| 760 | 41k| 283 | 0 |5011 |-4.000000e+01 |-3.700000e+01 | 8.11%
1558.83/1559.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1558.83/1559.10 c 1559s| 35400 | 11286 | 1617k| 45.4 | 321M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5011 |-4.000000e+01 |-3.700000e+01 | 8.11%
1561.22/1561.51 c 1562s| 35500 | 11306 | 1620k| 45.3 | 321M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5011 |-4.000000e+01 |-3.700000e+01 | 8.11%
1563.93/1564.29 c 1564s| 35600 | 11326 | 1624k| 45.3 | 322M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5011 |-4.000000e+01 |-3.700000e+01 | 8.11%
1567.23/1567.51 c 1568s| 35700 | 11368 | 1628k| 45.3 | 323M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5011 |-4.000000e+01 |-3.700000e+01 | 8.11%
1570.12/1570.44 c 1570s| 35800 | 11392 | 1632k| 45.3 | 323M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5011 |-4.000000e+01 |-3.700000e+01 | 8.11%
1573.22/1573.59 c 1574s| 35900 | 11420 | 1636k| 45.3 | 324M| 75 | 100 | 760 | 41k| 760 | 41k| 283 | 0 |5013 |-4.000000e+01 |-3.700000e+01 | 8.11%
1575.92/1576.25 c 1576s| 36000 | 11454 | 1640k| 45.2 | 324M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5013 |-4.000000e+01 |-3.700000e+01 | 8.11%
1578.13/1578.46 c 1578s| 36100 | 11476 | 1642k| 45.2 | 325M| 75 | 77 | 760 | 41k| 760 | 41k| 283 | 0 |5013 |-4.000000e+01 |-3.700000e+01 | 8.11%
1579.92/1580.27 c 1580s| 36200 | 11490 | 1645k| 45.1 | 325M| 75 | 109 | 760 | 41k| 760 | 41k| 283 | 0 |5013 |-4.000000e+01 |-3.700000e+01 | 8.11%
1583.63/1583.97 c 1584s| 36300 | 11522 | 1649k| 45.1 | 326M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5013 |-4.000000e+01 |-3.700000e+01 | 8.11%
1586.22/1586.51 c 1587s| 36400 | 11546 | 1653k| 45.1 | 326M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5013 |-4.000000e+01 |-3.700000e+01 | 8.11%
1589.92/1590.29 c 1590s| 36500 | 11572 | 1657k| 45.1 | 327M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5033 |-4.000000e+01 |-3.700000e+01 | 8.11%
1592.82/1593.10 c 1593s| 36600 | 11610 | 1660k| 45.1 | 328M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5033 |-4.000000e+01 |-3.700000e+01 | 8.11%
1595.72/1596.07 c 1596s| 36700 | 11634 | 1664k| 45.0 | 328M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5043 |-4.000000e+01 |-3.700000e+01 | 8.11%
1599.92/1600.24 c 1600s| 36800 | 11672 | 1667k| 45.0 | 329M| 75 | 92 | 760 | 41k| 760 | 41k| 283 | 0 |5067 |-4.000000e+01 |-3.700000e+01 | 8.11%
1603.62/1603.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.62/1603.96 c 1604s| 36900 | 11704 | 1671k| 45.0 | 330M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5081 |-4.000000e+01 |-3.700000e+01 | 8.11%
1607.41/1607.74 c 1608s| 37000 | 11726 | 1676k| 45.0 | 330M| 75 | 86 | 760 | 41k| 760 | 41k| 283 | 0 |5087 |-4.000000e+01 |-3.700000e+01 | 8.11%
1610.32/1610.68 c 1611s| 37100 | 11750 | 1679k| 45.0 | 331M| 75 | 68 | 760 | 41k| 760 | 41k| 283 | 0 |5106 |-4.000000e+01 |-3.700000e+01 | 8.11%
1614.82/1615.13 c 1615s| 37200 | 11778 | 1683k| 45.0 | 331M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5137 |-4.000000e+01 |-3.700000e+01 | 8.11%
1617.61/1617.92 c 1618s| 37300 | 11804 | 1687k| 44.9 | 332M| 75 | 64 | 760 | 41k| 760 | 41k| 283 | 0 |5137 |-4.000000e+01 |-3.700000e+01 | 8.11%
1621.81/1622.15 c 1622s| 37400 | 11836 | 1692k| 44.9 | 332M| 75 | 95 | 760 | 41k| 760 | 41k| 283 | 0 |5156 |-4.000000e+01 |-3.700000e+01 | 8.11%
1625.52/1625.83 c 1626s| 37500 | 11858 | 1695k| 44.9 | 333M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5184 |-4.000000e+01 |-3.700000e+01 | 8.11%
1628.11/1628.44 c 1628s| 37600 | 11874 | 1698k| 44.9 | 333M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5184 |-4.000000e+01 |-3.700000e+01 | 8.11%
1630.82/1631.18 c 1631s| 37700 | 11898 | 1700k| 44.8 | 334M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5200 |-4.000000e+01 |-3.700000e+01 | 8.11%
1634.21/1634.53 c 1635s| 37800 | 11924 | 1704k| 44.8 | 334M| 75 | 100 | 760 | 41k| 760 | 41k| 283 | 0 |5214 |-4.000000e+01 |-3.700000e+01 | 8.11%
1637.11/1637.41 c 1637s| 37900 | 11952 | 1707k| 44.7 | 335M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5225 |-4.000000e+01 |-3.700000e+01 | 8.11%
1640.71/1641.03 c 1641s| 38000 | 11978 | 1710k| 44.7 | 335M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5238 |-4.000000e+01 |-3.700000e+01 | 8.11%
1643.91/1644.23 c 1644s| 38100 | 12008 | 1713k| 44.7 | 336M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5257 |-4.000000e+01 |-3.700000e+01 | 8.11%
1647.52/1647.81 c 1648s| 38200 | 12046 | 1718k| 44.7 | 337M| 75 | 112 | 760 | 41k| 760 | 41k| 283 | 0 |5270 |-4.000000e+01 |-3.700000e+01 | 8.11%
1650.61/1650.90 c 1651s| 38300 | 12066 | 1721k| 44.6 | 337M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5287 |-4.000000e+01 |-3.700000e+01 | 8.11%
1653.61/1653.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1653.61/1653.94 c 1654s| 38400 | 12088 | 1724k| 44.6 | 338M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5299 |-4.000000e+01 |-3.700000e+01 | 8.11%
1657.11/1657.45 c 1657s| 38500 | 12108 | 1728k| 44.6 | 338M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5314 |-4.000000e+01 |-3.700000e+01 | 8.11%
1660.40/1660.75 c 1661s| 38600 | 12134 | 1732k| 44.6 | 338M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5328 |-4.000000e+01 |-3.700000e+01 | 8.11%
1663.11/1663.42 c 1663s| 38700 | 12154 | 1734k| 44.5 | 339M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5344 |-4.000000e+01 |-3.700000e+01 | 8.11%
1665.81/1666.17 c 1666s| 38800 | 12176 | 1737k| 44.5 | 339M| 75 | 77 | 760 | 41k| 760 | 41k| 283 | 0 |5353 |-4.000000e+01 |-3.700000e+01 | 8.11%
1668.21/1668.59 c 1669s| 38900 | 12192 | 1740k| 44.4 | 339M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5365 |-4.000000e+01 |-3.700000e+01 | 8.11%
1670.30/1670.66 c 1671s| 39000 | 12208 | 1742k| 44.4 | 340M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5373 |-4.000000e+01 |-3.700000e+01 | 8.11%
1672.81/1673.19 c 1673s| 39100 | 12222 | 1744k| 44.3 | 340M| 75 | 70 | 760 | 41k| 760 | 41k| 283 | 0 |5388 |-4.000000e+01 |-3.700000e+01 | 8.11%
1675.40/1675.79 c 1676s| 39200 | 12236 | 1747k| 44.3 | 340M| 75 | 105 | 760 | 41k| 760 | 41k| 283 | 0 |5401 |-4.000000e+01 |-3.700000e+01 | 8.11%
1679.71/1680.03 c 1680s| 39300 | 12272 | 1751k| 44.3 | 341M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5426 |-4.000000e+01 |-3.700000e+01 | 8.11%
1681.51/1681.80 c 1682s| 39400 | 12282 | 1753k| 44.2 | 341M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5426 |-4.000000e+01 |-3.700000e+01 | 8.11%
1684.51/1684.87 c 1685s| 39500 | 12300 | 1756k| 44.2 | 341M| 75 | 56 | 760 | 41k| 760 | 41k| 283 | 0 |5438 |-4.000000e+01 |-3.700000e+01 | 8.11%
1687.90/1688.24 c 1688s| 39600 | 12318 | 1759k| 44.1 | 342M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5459 |-4.000000e+01 |-3.700000e+01 | 8.11%
1690.60/1690.94 c 1691s| 39700 | 12340 | 1762k| 44.1 | 342M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5469 |-4.000000e+01 |-3.700000e+01 | 8.11%
1693.71/1694.06 c 1694s| 39800 | 12364 | 1766k| 44.1 | 343M| 75 | 70 | 760 | 41k| 760 | 41k| 283 | 0 |5481 |-4.000000e+01 |-3.700000e+01 | 8.11%
1696.40/1696.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1696.40/1696.74 c 1697s| 39900 | 12386 | 1769k| 44.0 | 343M| 75 | 62 | 760 | 41k| 760 | 41k| 283 | 0 |5490 |-4.000000e+01 |-3.700000e+01 | 8.11%
1698.90/1699.20 c 1699s| 40000 | 12406 | 1771k| 44.0 | 344M| 75 | 104 | 760 | 41k| 760 | 41k| 283 | 0 |5495 |-4.000000e+01 |-3.700000e+01 | 8.11%
1701.70/1702.09 c 1702s| 40100 | 12442 | 1775k| 44.0 | 344M| 75 | 156 | 760 | 41k| 760 | 41k| 283 | 0 |5501 |-4.000000e+01 |-3.700000e+01 | 8.11%
1704.80/1705.14 c 1705s| 40200 | 12468 | 1778k| 44.0 | 345M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5513 |-4.000000e+01 |-3.700000e+01 | 8.11%
1707.21/1707.58 c 1708s| 40300 | 12482 | 1781k| 43.9 | 345M| 75 | 93 | 760 | 41k| 760 | 41k| 283 | 0 |5518 |-4.000000e+01 |-3.700000e+01 | 8.11%
1709.70/1710.01 c 1710s| 40400 | 12512 | 1784k| 43.9 | 346M| 75 | 59 | 760 | 41k| 760 | 41k| 283 | 0 |5521 |-4.000000e+01 |-3.700000e+01 | 8.11%
1712.00/1712.35 c 1712s| 40500 | 12530 | 1786k| 43.8 | 346M| 75 | 58 | 760 | 41k| 760 | 41k| 283 | 0 |5530 |-4.000000e+01 |-3.700000e+01 | 8.11%
1714.51/1714.80 c 1715s| 40600 | 12552 | 1789k| 43.8 | 347M| 75 | 60 | 760 | 41k| 760 | 41k| 283 | 0 |5532 |-4.000000e+01 |-3.700000e+01 | 8.11%
1716.70/1717.04 c 1717s| 40700 | 12578 | 1791k| 43.7 | 347M| 75 | 81 | 760 | 41k| 760 | 41k| 283 | 0 |5534 |-4.000000e+01 |-3.700000e+01 | 8.11%
1720.60/1720.95 c 1721s| 40800 | 12616 | 1797k| 43.8 | 348M| 75 | 113 | 760 | 41k| 760 | 41k| 283 | 0 |5534 |-4.000000e+01 |-3.700000e+01 | 8.11%
1723.80/1724.19 c 1724s| 40900 | 12648 | 1802k| 43.8 | 349M| 75 | 79 | 760 | 41k| 760 | 41k| 283 | 0 |5534 |-4.000000e+01 |-3.700000e+01 | 8.11%
1727.10/1727.41 c 1727s| 41000 | 12682 | 1806k| 43.8 | 349M| 75 | 78 | 760 | 41k| 760 | 41k| 283 | 0 |5535 |-4.000000e+01 |-3.700000e+01 | 8.11%
1730.00/1730.33 c 1730s| 41100 | 12712 | 1810k| 43.8 | 350M| 75 | 78 | 760 | 41k| 760 | 41k| 283 | 0 |5535 |-4.000000e+01 |-3.700000e+01 | 8.11%
1732.40/1732.74 c 1733s| 41200 | 12726 | 1814k| 43.8 | 350M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5535 |-4.000000e+01 |-3.700000e+01 | 8.11%
1734.90/1735.23 c 1735s| 41300 | 12752 | 1817k| 43.7 | 351M| 75 | 81 | 760 | 41k| 760 | 41k| 283 | 0 |5535 |-4.000000e+01 |-3.700000e+01 | 8.11%
1737.61/1737.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.61/1737.97 c 1738s| 41400 | 12774 | 1821k| 43.7 | 351M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5535 |-4.000000e+01 |-3.700000e+01 | 8.11%
1741.10/1741.48 c 1741s| 41500 | 12794 | 1825k| 43.7 | 352M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5536 |-4.000000e+01 |-3.700000e+01 | 8.11%
1743.60/1743.96 c 1744s| 41600 | 12812 | 1828k| 43.7 | 352M| 75 | 83 | 760 | 41k| 760 | 41k| 283 | 0 |5536 |-4.000000e+01 |-3.700000e+01 | 8.11%
1745.90/1746.24 c 1746s| 41700 | 12830 | 1831k| 43.6 | 352M| 75 | 92 | 760 | 41k| 760 | 41k| 283 | 0 |5536 |-4.000000e+01 |-3.700000e+01 | 8.11%
1748.60/1748.98 c 1749s| 41800 | 12846 | 1834k| 43.6 | 353M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5536 |-4.000000e+01 |-3.700000e+01 | 8.11%
1750.99/1751.38 c 1751s| 41900 | 12856 | 1837k| 43.6 | 353M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5536 |-4.000000e+01 |-3.700000e+01 | 8.11%
1753.29/1753.61 c 1754s| 42000 | 12876 | 1840k| 43.5 | 353M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5536 |-4.000000e+01 |-3.700000e+01 | 8.11%
1755.69/1756.02 c 1756s| 42100 | 12888 | 1843k| 43.5 | 353M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5537 |-4.000000e+01 |-3.700000e+01 | 8.11%
1758.10/1758.40 c 1758s| 42200 | 12902 | 1846k| 43.5 | 354M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5538 |-4.000000e+01 |-3.700000e+01 | 8.11%
1760.29/1760.69 c 1761s| 42300 | 12918 | 1848k| 43.4 | 354M| 75 | 83 | 760 | 41k| 760 | 41k| 283 | 0 |5538 |-4.000000e+01 |-3.700000e+01 | 8.11%
1762.29/1762.65 c 1763s| 42400 | 12930 | 1851k| 43.4 | 354M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5538 |-4.000000e+01 |-3.700000e+01 | 8.11%
1764.59/1764.97 c 1765s| 42500 | 12950 | 1853k| 43.4 | 355M| 75 | 59 | 760 | 41k| 760 | 41k| 283 | 0 |5540 |-4.000000e+01 |-3.700000e+01 | 8.11%
1767.50/1767.87 c 1768s| 42600 | 12978 | 1857k| 43.3 | 355M| 75 | 63 | 760 | 41k| 760 | 41k| 283 | 0 |5540 |-4.000000e+01 |-3.700000e+01 | 8.11%
1770.39/1770.71 c 1771s| 42700 | 13010 | 1861k| 43.3 | 356M| 75 | 85 | 760 | 41k| 760 | 41k| 283 | 0 |5543 |-4.000000e+01 |-3.700000e+01 | 8.11%
1773.29/1773.60 c 1774s| 42800 | 13032 | 1864k| 43.3 | 356M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5543 |-4.000000e+01 |-3.700000e+01 | 8.11%
1776.49/1776.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.49/1776.81 c 1777s| 42900 | 13060 | 1869k| 43.3 | 357M| 75 | 63 | 760 | 41k| 760 | 41k| 283 | 0 |5543 |-4.000000e+01 |-3.700000e+01 | 8.11%
1779.19/1779.56 c 1780s| 43000 | 13094 | 1872k| 43.3 | 358M| 75 | 66 | 760 | 41k| 760 | 41k| 283 | 0 |5543 |-4.000000e+01 |-3.700000e+01 | 8.11%
1781.59/1781.91 c 1782s| 43100 | 13122 | 1875k| 43.3 | 358M| 75 | 81 | 760 | 41k| 760 | 41k| 283 | 0 |5543 |-4.000000e+01 |-3.700000e+01 | 8.11%
1784.19/1784.59 c 1785s| 43200 | 13144 | 1879k| 43.2 | 359M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5543 |-4.000000e+01 |-3.700000e+01 | 8.11%
1787.49/1787.89 c 1788s| 43300 | 13174 | 1883k| 43.2 | 359M| 75 | 103 | 760 | 41k| 760 | 41k| 283 | 0 |5543 |-4.000000e+01 |-3.700000e+01 | 8.11%
1790.09/1790.48 c 1790s| 43400 | 13206 | 1887k| 43.2 | 360M| 75 | 86 | 760 | 41k| 760 | 41k| 283 | 0 |5543 |-4.000000e+01 |-3.700000e+01 | 8.11%
1793.39/1793.74 c 1794s| 43500 | 13238 | 1891k| 43.2 | 360M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5543 |-4.000000e+01 |-3.700000e+01 | 8.11%
1795.79/1796.12 c 1796s| 43600 | 13258 | 1893k| 43.2 | 361M| 75 | - | 760 | 41k| 760 | 41k| 283 | 0 |5553 |-4.000000e+01 |-3.700000e+01 | 8.11%
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.00
1796.69/1797.01 c Solving Nodes : 43643
1796.69/1797.01 c Primal Bound : -3.70000000000000e+01 (629 solutions)
1796.69/1797.01 c Dual Bound : -4.00000000000000e+01
1796.69/1797.01 c Gap : 8.11 %
1796.69/1797.01 s SATISFIABLE
1796.69/1797.01 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1796.69/1797.01 v -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53
1796.69/1797.01 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1796.69/1797.01 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1796.69/1797.01 v -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1796.69/1797.01 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1796.69/1797.01 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1796.69/1797.01 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1796.69/1797.01 v x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1796.69/1797.01 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1796.69/1797.01 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 x249 -x250
1796.69/1797.01 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1796.69/1797.01 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292
1796.69/1797.01 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1796.69/1797.01 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334
1796.69/1797.01 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355
1796.69/1797.01 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1796.69/1797.01 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1796.69/1797.01 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
1796.69/1797.01 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1796.69/1797.01 v -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
1796.69/1797.01 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481
1796.69/1797.01 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1796.69/1797.01 v -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
1796.69/1797.01 v -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544
1796.69/1797.01 v -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
1796.69/1797.01 v -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1796.69/1797.01 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607
1796.69/1797.01 v -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
1796.69/1797.01 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649
1796.69/1797.01 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670
1796.69/1797.01 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
1796.69/1797.01 v -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712
1796.69/1797.01 v -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733
1796.69/1797.01 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754
1796.69/1797.01 v -x755 -x756 -x757 -x758 -x759 x760
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.00
1796.69/1797.01 c solving : 1797.00
1796.69/1797.01 c presolving : 0.47 (included in solving)
1796.69/1797.01 c reading : 0.08 (included in solving)
1796.69/1797.01 c copying : 1.14 (18 #copies) (minimal 0.06, maximal 0.07, average 0.06)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3690935-1338018771.opb
1796.69/1797.01 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 41095 initial, 41095 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3690935-1338018771.opb
1796.69/1797.01 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 41095 initial, 41095 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.12 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c setppc : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c linear : 0.21 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c root node : - - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 30957 0 634 0 27 631 0 0 61246
1796.69/1797.01 c setppc : 41095 41095 26 94588 0 2 629 0 0 831245 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 0 2 632 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 287.81 0.00 0.00 0.00 287.80 0.00 0.01 0.00
1796.69/1797.01 c setppc : 14.36 0.00 0.06 13.65 0.00 0.00 0.65 0.00
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 7 0 0 0
1796.69/1797.01 c pseudoobj : 125496 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 31154 0 0 183
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.06 0.00 0.00 0.06 0.00
1796.69/1797.01 c pseudoobj : 10.41 0.01 0.00 10.40 0.00
1796.69/1797.01 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.69/1797.01 c redcost : 0.47 0.00 0.00 0.47 0.00
1796.69/1797.01 c probing : 0.12 0.00 0.12 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 0 0.0 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.00 25 - - 59 - (maximal pool size: 449)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.02 0.00 26 0 0 0 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 0.14 0.00 10 0 0 500 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 2.59 0.00 20 0 0 10000 0
1796.69/1797.01 c cmir : 3.73 0.00 10 0 0 0 0
1796.69/1797.01 c flowcover : 4.11 0.00 10 0 0 0 0
1796.69/1797.01 c clique : 0.50 0.00 26 0 0 241 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.05 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 287.74 0.00 30957 27 631 0 0 61246
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 2 0 0 0 0 4
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 0
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c feaspump : 0.00 0.00 0 0
1796.69/1797.01 c oneopt : 0.07 0.00 8 1
1796.69/1797.01 c crossover : 3.70 0.00 17 6
1796.69/1797.01 c fracdiving : 49.61 0.00 160 11
1796.69/1797.01 c veclendiving : 41.15 0.00 160 2
1796.69/1797.01 c linesearchdiving : 17.96 0.00 160 1
1796.69/1797.01 c guideddiving : 56.13 0.00 160 4
1796.69/1797.01 c coefdiving : 38.78 0.00 161 10
1796.69/1797.01 c pscostdiving : 17.47 0.00 161 2
1796.69/1797.01 c objpscostdiving : 24.24 0.00 81 140
1796.69/1797.01 c rootsoldiving : 16.96 0.00 81 103
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.01 0.00 2 1
1796.69/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.01 c simplerounding : 0.50 0.00 30983 83
1796.69/1797.01 c zirounding : 30.17 0.00 13151 263
1796.69/1797.01 c rounding : 15.17 0.00 8041 1
1796.69/1797.01 c shifting : 1.50 0.00 714 0
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.04 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 1.72 0.00 1 1
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0.00 0 0
1796.69/1797.01 c subnlp : 0.02 0.00 0 0
1796.69/1797.01 c trysol : 0.03 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 0.03 3 0 0.00 0.00 0.03 3
1796.69/1797.01 c dual LP : 997.81 44309 1642368 37.35 1645.98 2.02 333
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 213.03 16286 252530 15.51 1185.42
1796.69/1797.01 c strong branching : 285.32 5553 383362 69.04 1343.64
1796.69/1797.01 c (at root node) : - 33 3746 113.52 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 43643
1796.69/1797.01 c nodes (total) : 43643
1796.69/1797.01 c nodes left : 13265
1796.69/1797.01 c max depth : 75
1796.69/1797.01 c max depth (total): 75
1796.69/1797.01 c backtracks : 5062 (11.6%)
1796.69/1797.01 c delayed cutoffs : 0
1796.69/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.01 c avg switch length: 5.08
1796.69/1797.01 c switching time : 31.23
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 629 (10 improvements)
1796.69/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
1796.69/1797.01 c Primal Bound : -3.70000000000000e+01 (in run 1, after 20625 nodes, 1130.28 seconds, depth 28, found by <fracdiving>)
1796.69/1797.01 c Dual Bound : -4.00000000000000e+01
1796.69/1797.01 c Gap : 8.11 %
1796.69/1797.01 c Root Dual Bound : -4.00000000000000e+01
1796.69/1797.01 c Root Iterations : 11563
1796.89/1797.24 c Time complete: 1796.93.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690935-1338018771/watcher-3690935-1338018771 -o /tmp/evaluation-result-3690935-1338018771/solver-3690935-1338018771 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690935-1338018771.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.08 1.76 3/176 9848
/proc/meminfo: memFree=28851984/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=10468 CPUtime=0 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 1381 0 0 0 0 0 0 0 20 0 1 0 268002565 10719232 1335 33554432000 4194304 10173063 140733377266784 140736162331288 8800002 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 2617 1335 416 1460 0 1148 0
[startup+0.05561 s]
/proc/loadavg: 2.15 2.08 1.76 3/176 9848
/proc/meminfo: memFree=28851984/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=17752 CPUtime=0.05 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 3204 0 0 0 5 0 0 0 20 0 1 0 268002565 18178048 3158 33554432000 4194304 10173063 140733377266784 140733377131336 8985008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 4438 3158 416 1460 0 2969 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17752
[startup+0.100214 s]
/proc/loadavg: 2.15 2.08 1.76 3/176 9848
/proc/meminfo: memFree=28851984/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=30756 CPUtime=0.09 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 6417 0 0 0 9 0 0 0 20 0 1 0 268002565 31494144 6371 33554432000 4194304 10173063 140733377266784 140733377131336 4910272 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 7689 6371 468 1460 0 6220 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30756
[startup+0.300162 s]
/proc/loadavg: 2.15 2.08 1.76 3/176 9848
/proc/meminfo: memFree=28851984/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=69828 CPUtime=0.29 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 15941 0 0 0 26 3 0 0 20 0 1 0 268002565 71503872 15835 33554432000 4194304 10173063 140733377266784 140733377131336 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 17457 15835 552 1460 0 15988 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69828
[startup+0.700218 s]
/proc/loadavg: 2.15 2.08 1.76 3/176 9848
/proc/meminfo: memFree=28851984/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=130020 CPUtime=0.69 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 30013 0 0 0 62 7 0 0 20 0 1 0 268002565 133140480 30323 33554432000 4194304 10173063 140733377266784 140733377131336 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 32505 30323 731 1460 0 31036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 130020
[startup+1.50011 s]
/proc/loadavg: 2.14 2.08 1.76 3/177 9849
/proc/meminfo: memFree=28712960/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=146464 CPUtime=1.48 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 34443 0 0 0 140 8 0 0 20 0 1 0 268002565 149979136 34152 33554432000 4194304 10173063 140733377266784 140733377261736 7309152 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 36616 34152 773 1460 0 35147 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 146464
[startup+3.10011 s]
/proc/loadavg: 2.14 2.08 1.76 3/177 9849
/proc/meminfo: memFree=28704588/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=146464 CPUtime=3.09 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 35027 0 0 0 300 9 0 0 20 0 1 0 268002565 149979136 34562 33554432000 4194304 10173063 140733377266784 140733377261944 7283371 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 36616 34562 778 1460 0 35147 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 146464
[startup+6.3001 s]
/proc/loadavg: 2.13 2.07 1.76 3/177 9849
/proc/meminfo: memFree=28698448/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=146464 CPUtime=6.29 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 35149 0 0 0 620 9 0 0 20 0 1 0 268002565 149979136 34684 33554432000 4194304 10173063 140733377266784 140733377262168 7274109 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 36616 34684 780 1460 0 35147 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 146464
[startup+12.7002 s]
/proc/loadavg: 2.12 2.07 1.76 3/177 9849
/proc/meminfo: memFree=28686304/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=146464 CPUtime=12.69 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 35408 0 0 0 1259 10 0 0 20 0 1 0 268002565 149979136 34943 33554432000 4194304 10173063 140733377266784 140733377262168 7910544 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 36616 34943 781 1460 0 35147 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 146464
[startup+25.5002 s]
/proc/loadavg: 2.10 2.07 1.76 3/176 9849
/proc/meminfo: memFree=28679732/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=143088 CPUtime=25.48 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 46151 0 0 0 2530 18 0 0 20 0 1 0 268002565 146522112 34629 33554432000 4194304 10173063 140733377266784 140733377260200 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 35772 34629 845 1460 0 34303 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 143088
[startup+51.1002 s]
/proc/loadavg: 2.06 2.06 1.77 3/177 9850
/proc/meminfo: memFree=28677388/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=143088 CPUtime=51.08 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 46151 0 0 0 5085 23 0 0 20 0 1 0 268002565 146522112 34629 33554432000 4194304 10173063 140733377266784 140733377259768 7911672 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 35772 34629 845 1460 0 34303 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 143088
[startup+102.306 s]
/proc/loadavg: 2.02 2.05 1.78 3/177 9850
/proc/meminfo: memFree=28676896/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=144376 CPUtime=102.28 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 46159 0 0 0 10194 34 0 0 20 0 1 0 268002565 147841024 34677 33554432000 4194304 10173063 140733377266784 140733377260616 8046981 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 36094 34677 846 1460 0 34625 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 144376
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 1.79 3/177 9850
/proc/meminfo: memFree=28661284/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=162664 CPUtime=162.25 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 88081 0 0 0 16166 59 0 0 20 0 1 0 268002565 166567936 38843 33554432000 4194304 10173063 140733377266784 140733377259768 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 40666 38843 851 1460 0 39197 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 162664
[startup+222.3 s]
/proc/loadavg: 2.05 2.04 1.81 3/177 9850
/proc/meminfo: memFree=28636232/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=181664 CPUtime=222.24 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 106041 0 0 0 22147 77 0 0 20 0 1 0 268002565 186023936 43833 33554432000 4194304 10173063 140733377266784 140733377260040 7911706 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 45416 43833 851 1460 0 43947 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 181664
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 1.82 3/177 9850
/proc/meminfo: memFree=28619120/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=200924 CPUtime=282.24 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 110398 0 0 0 28129 95 0 0 20 0 1 0 268002565 205746176 48184 33554432000 4194304 10173063 140733377266784 140733377260600 8046931 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 50231 48184 851 1460 0 48762 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 200924
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.82 3/177 9851
/proc/meminfo: memFree=28606112/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=212048 CPUtime=342.22 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 126121 0 0 0 34108 114 0 0 20 0 1 0 268002565 217137152 51329 33554432000 4194304 10173063 140733377266784 140733377260424 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 53012 51329 851 1460 0 51543 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 212048
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.83 3/177 9851
/proc/meminfo: memFree=28596808/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=229276 CPUtime=402.21 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 130564 0 0 0 40092 129 0 0 20 0 1 0 268002565 234778624 55767 33554432000 4194304 10173063 140733377266784 140733377260424 7722912 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 57319 55767 851 1460 0 55850 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 229276
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/178 9854
/proc/meminfo: memFree=28576104/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=244656 CPUtime=462.2 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 146916 0 0 0 46071 149 0 0 20 0 1 0 268002565 250527744 59574 33554432000 4194304 10173063 140733377266784 140733377263080 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 61164 59574 851 1460 0 59695 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 244656
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/178 9877
/proc/meminfo: memFree=28559880/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=262428 CPUtime=522.2 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 151087 0 0 0 52056 164 0 0 20 0 1 0 268002565 268726272 63741 33554432000 4194304 10173063 140733377266784 140733377260040 7932128 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 65607 63741 851 1460 0 64138 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 262428
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 9877
/proc/meminfo: memFree=28540228/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=280016 CPUtime=582.18 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 155779 0 0 0 58039 179 0 0 20 0 1 0 268002565 286736384 68504 33554432000 4194304 10173063 140733377266784 140733377260424 8007115 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 70004 68504 851 1460 0 68535 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 280016
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28434536/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=381588 CPUtime=1122.09 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 239963 0 0 0 111880 329 0 0 20 0 1 0 268002565 390746112 93871 33554432000 4194304 10173063 140733377266784 140733377262152 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 95397 93871 851 1460 0 93928 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 381588
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.91 3/177 9882
/proc/meminfo: memFree=28425360/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=386916 CPUtime=1182.08 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 277935 0 0 0 117853 355 0 0 20 0 1 0 268002565 396201984 95331 33554432000 4194304 10173063 140733377266784 140733377260056 8007073 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 96729 95331 851 1460 0 95260 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 386916
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 9882
/proc/meminfo: memFree=28426168/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=386776 CPUtime=1242.07 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 289333 0 0 0 123835 372 0 0 20 0 1 0 268002565 396058624 95529 33554432000 4194304 10173063 140733377266784 140733377260424 5122959 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 96694 95529 851 1460 0 95225 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 386776
[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 1.91 3/177 9883
/proc/meminfo: memFree=28425424/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=388636 CPUtime=1302.07 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 289598 0 0 0 129821 386 0 0 20 0 1 0 268002565 397963264 95794 33554432000 4194304 10173063 140733377266784 140733377260232 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 97159 95794 851 1460 0 95690 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 388636
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.91 3/177 9883
/proc/meminfo: memFree=28423068/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=391444 CPUtime=1362.06 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 302480 0 0 0 135801 405 0 0 20 0 1 0 268002565 400838656 96415 33554432000 4194304 10173063 140733377266784 140733377260424 7888464 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 97861 96415 851 1460 0 96392 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 391444
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 9883
/proc/meminfo: memFree=28420340/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=394360 CPUtime=1422.05 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 303218 0 0 0 141788 417 0 0 20 0 1 0 268002565 403824640 97153 33554432000 4194304 10173063 140733377266784 140733377260040 8063658 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 98590 97153 851 1460 0 97121 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 394360
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9883
/proc/meminfo: memFree=28407064/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=408636 CPUtime=1482.04 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 306462 0 0 0 147768 436 0 0 20 0 1 0 268002565 418443264 100396 33554432000 4194304 10173063 140733377266784 140733377260040 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 102159 100396 851 1460 0 100690 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 408636
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9883
/proc/meminfo: memFree=28392916/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=421844 CPUtime=1542.03 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 322112 0 0 0 153747 456 0 0 20 0 1 0 268002565 431968256 103940 33554432000 4194304 10173063 140733377266784 140733377260040 7911886 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 105461 103940 851 1460 0 103992 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 421844
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9884
/proc/meminfo: memFree=28385296/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=434700 CPUtime=1602.01 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 324956 0 0 0 159729 472 0 0 20 0 1 0 268002565 445132800 106783 33554432000 4194304 10173063 140733377266784 140733377260424 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 108675 106783 851 1460 0 107206 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 434700
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9887
/proc/meminfo: memFree=28371640/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=442496 CPUtime=1662.01 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 327335 0 0 0 165713 488 0 0 20 0 1 0 268002565 453115904 109124 33554432000 4194304 10173063 140733377266784 140733377259768 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 110624 109124 851 1460 0 109155 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 442496
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9887
/proc/meminfo: memFree=28363960/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=452288 CPUtime=1722 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 329437 0 0 0 171699 501 0 0 20 0 1 0 268002565 463142912 111226 33554432000 4194304 10173063 140733377266784 140733377260424 7911892 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 113072 111226 851 1460 0 111603 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 452288
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/177 9963
/proc/meminfo: memFree=28326216/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=463768 CPUtime=1781.98 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 332176 0 0 0 177682 516 0 0 20 0 1 0 268002565 474898432 113964 33554432000 4194304 10173063 140733377266784 140733377260088 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 115942 113964 851 1460 0 114473 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 463768
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.01 1.92 3/177 9963
/proc/meminfo: memFree=28321256/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=465792 CPUtime=1785.19 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 332688 0 0 0 178002 517 0 0 20 0 1 0 268002565 476971008 114476 33554432000 4194304 10173063 140733377266784 140733377260088 8047696 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 116448 114476 851 1460 0 114979 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 465792
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 1.92 3/177 9963
/proc/meminfo: memFree=28320144/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=465792 CPUtime=1791.6 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 332966 0 0 0 178641 519 0 0 20 0 1 0 268002565 476971008 114754 33554432000 4194304 10173063 140733377266784 140733377259720 8007089 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 116448 114754 851 1460 0 114979 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 465792
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 1.92 3/177 9963
/proc/meminfo: memFree=28319528/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=466176 CPUtime=1794.8 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 333150 0 0 0 178960 520 0 0 20 0 1 0 268002565 477364224 114938 33554432000 4194304 10173063 140733377266784 140733377260040 5122959 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 116544 114938 851 1460 0 115075 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 466176
[startup+1795.9 s]
/proc/loadavg: 2.04 2.01 1.92 3/177 9963
/proc/meminfo: memFree=28319528/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=466176 CPUtime=1795.59 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 333153 0 0 0 179039 520 0 0 20 0 1 0 268002565 477364224 114941 33554432000 4194304 10173063 140733377266784 140733377260040 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 116544 114941 851 1460 0 115075 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 466176
[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 1.92 3/177 9963
/proc/meminfo: memFree=28319404/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=466176 CPUtime=1796.39 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 333156 0 0 0 179119 520 0 0 20 0 1 0 268002565 477364224 114944 33554432000 4194304 10173063 140733377266784 140733377259720 5122959 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 116544 114944 851 1460 0 115075 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 466176
[startup+1797.1 s]
/proc/loadavg: 2.03 2.01 1.92 3/177 9963
/proc/meminfo: memFree=28319404/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=466176 CPUtime=1796.79 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 333167 0 0 0 179159 520 0 0 20 0 1 0 268002565 477364224 114955 33554432000 4194304 10173063 140733377266784 140733377265896 4928724 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 116544 114955 854 1460 0 115075 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 466176
[startup+1797.2 s]
/proc/loadavg: 2.03 2.01 1.92 3/177 9963
/proc/meminfo: memFree=28319404/32873648 swapFree=7104/7104
[pid=9848] ppid=9846 vsize=457712 CPUtime=1796.89 cores=0,2,4,6
/proc/9848/stat : 9848 (scip-2.1.1.4fix) R 9846 9848 9598 0 -1 4202496 333167 0 0 0 179169 520 0 0 20 0 1 0 268002565 468697088 112840 33554432000 4194304 10173063 140733377266784 140733377265896 4953280 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9848/statm: 114428 112840 854 1460 0 112959 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 457712
Child status: 0
Real time (s): 1797.24
CPU time (s): 1796.94
CPU user time (s): 1791.72
CPU system time (s): 5.21621
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 466176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.72
system time used= 5.21621
maximum resident set size= 459820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333169
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= 54
involuntary context switches= 2045
runsolver used 2.94455 second user time and 7.2269 second system time
The end