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-3693663-1338042803.opb>
0.00/0.01 c original problem has 3463 variables (3463 bin, 0 int, 0 impl, 0 cont) and 2279 constraints
0.00/0.01 c problem read in 0.01
0.00/0.03 c presolving:
0.00/0.05 c (round 1) 950 del vars, 586 del conss, 0 add conss, 950 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3240 impls, 1136 clqs
0.00/0.05 c (round 2) 1147 del vars, 717 del conss, 0 add conss, 1112 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3270 impls, 1083 clqs
0.00/0.05 c (round 3) 1175 del vars, 753 del conss, 0 add conss, 1127 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3270 impls, 1079 clqs
0.00/0.05 c (round 4) 1175 del vars, 754 del conss, 0 add conss, 1127 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3270 impls, 1079 clqs
0.00/0.08 c (round 5) 1175 del vars, 1152 del conss, 0 add conss, 1127 chg bounds, 398 chg sides, 0 chg coeffs, 0 upgd conss, 3270 impls, 1079 clqs
0.00/0.09 c (round 6) 1175 del vars, 1152 del conss, 0 add conss, 1127 chg bounds, 398 chg sides, 0 chg coeffs, 1127 upgd conss, 3270 impls, 1079 clqs
0.08/0.10 c (round 7) 1175 del vars, 1243 del conss, 0 add conss, 1127 chg bounds, 398 chg sides, 0 chg coeffs, 1127 upgd conss, 3270 impls, 1079 clqs
0.29/0.37 c (0.4s) probing: 1000/2288 (43.7%) - 17 fixings, 0 aggregations, 23265 implications, 0 bound changes
0.49/0.51 c (0.5s) probing: 1460/2288 (63.8%) - 17 fixings, 0 aggregations, 32475 implications, 0 bound changes
0.49/0.51 c (0.5s) probing aborted: 1000/1000 successive useless probings
0.49/0.51 c (round 8) 1192 del vars, 1243 del conss, 0 add conss, 1127 chg bounds, 398 chg sides, 0 chg coeffs, 1127 upgd conss, 126806 impls, 1074 clqs
0.49/0.51 c (round 9) 1192 del vars, 1246 del conss, 0 add conss, 1127 chg bounds, 398 chg sides, 0 chg coeffs, 1127 upgd conss, 126806 impls, 1074 clqs
0.49/0.55 c (0.5s) probing: 1560/2288 (68.2%) - 17 fixings, 0 aggregations, 34327 implications, 0 bound changes
0.49/0.55 c (0.5s) probing aborted: 1000/1000 successive useless probings
0.49/0.55 c presolving (10 rounds):
0.49/0.55 c 1192 deleted vars, 1246 deleted constraints, 0 added constraints, 1127 tightened bounds, 0 added holes, 398 changed sides, 0 changed coefficients
0.49/0.55 c 130770 implications, 1074 cliques
0.49/0.55 c presolved problem has 2271 variables (2271 bin, 0 int, 0 impl, 0 cont) and 1033 constraints
0.49/0.55 c 1033 constraints of type <setppc>
0.49/0.55 c transformed objective value is always integral (scale: 1)
0.49/0.55 c Presolving Time: 0.53
0.49/0.55 c - non default parameters ----------------------------------------------------------------------
0.49/0.55 c # SCIP version 2.1.1.4
0.49/0.55 c
0.49/0.55 c # maximal time in seconds to run
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.55 c limits/time = 1797
0.49/0.55 c
0.49/0.55 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.55 c limits/memory = 13950
0.49/0.55 c
0.49/0.55 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.55 c # [type: int, range: [1,2], default: 1]
0.49/0.55 c timing/clocktype = 2
0.49/0.55 c
0.49/0.55 c # belongs reading time to solving time?
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55 c timing/reading = TRUE
0.49/0.55 c
0.49/0.55 c -----------------------------------------------------------------------------------------------
0.49/0.55 c start solving
0.49/0.55 c
1.68/1.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.68/1.72 c 1.7s| 1 | 0 | 10692 | - | 14M| 0 | 400 |2271 |1125 |2271 |1033 | 0 | 92 | 0 | 6.326904e+00 | -- | Inf
3.49/3.53 c 3.5s| 1 | 0 | 25449 | - | 14M| 0 | 446 |2271 |1125 |2271 |1085 | 52 | 92 | 0 | 6.447557e+00 | -- | Inf
3.59/3.66 c 3.7s| 1 | 0 | 25874 | - | 14M| 0 | 435 |2271 |1125 |2271 |1097 | 64 | 92 | 0 | 6.452950e+00 | -- | Inf
3.79/3.88 c 3.9s| 1 | 0 | 26950 | - | 14M| 0 | 469 |2271 |1125 |2271 |1104 | 71 | 92 | 0 | 6.463054e+00 | -- | Inf
3.99/4.00 c 4.0s| 1 | 0 | 27337 | - | 14M| 0 | 497 |2271 |1125 |2271 |1109 | 76 | 92 | 0 | 6.465969e+00 | -- | Inf
4.09/4.14 c 4.1s| 1 | 0 | 27779 | - | 14M| 0 | 469 |2271 |1125 |2271 |1119 | 86 | 92 | 0 | 6.469224e+00 | -- | Inf
4.29/4.33 c 4.3s| 1 | 0 | 28537 | - | 14M| 0 | 511 |2271 |1125 |2271 |1129 | 96 | 92 | 0 | 6.479618e+00 | -- | Inf
4.49/4.50 c 4.5s| 1 | 0 | 29174 | - | 14M| 0 | 489 |2271 |1125 |2271 |1138 | 105 | 92 | 0 | 6.484544e+00 | -- | Inf
4.59/4.67 c 4.7s| 1 | 0 | 29808 | - | 14M| 0 | 493 |2271 |1125 |2271 |1145 | 112 | 92 | 0 | 6.489402e+00 | -- | Inf
4.69/4.75 c 4.8s| 1 | 0 | 29889 | - | 14M| 0 | 500 |2271 |1125 |2271 |1157 | 124 | 92 | 0 | 6.489429e+00 | -- | Inf
4.89/4.90 c 4.9s| 1 | 0 | 30460 | - | 14M| 0 | 470 |2271 |1125 |2271 |1164 | 131 | 92 | 0 | 6.492360e+00 | -- | Inf
4.89/4.95 c 5.0s| 1 | 0 | 30520 | - | 14M| 0 | 474 |2271 |1125 |2271 |1168 | 135 | 92 | 0 | 6.493240e+00 | -- | Inf
4.99/5.06 c 5.1s| 1 | 0 | 30954 | - | 14M| 0 | 484 |2271 |1125 |2271 |1176 | 143 | 92 | 0 | 6.503115e+00 | -- | Inf
5.18/5.20 c 5.2s| 1 | 0 | 31630 | - | 14M| 0 | 523 |2271 |1125 |2271 |1182 | 149 | 92 | 0 | 6.510845e+00 | -- | Inf
5.28/5.31 c 5.3s| 1 | 0 | 32013 | - | 14M| 0 | 503 |2271 |1125 |2271 |1142 | 155 | 92 | 0 | 6.515594e+00 | -- | Inf
5.39/5.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.39/5.43 c 5.4s| 1 | 0 | 32600 | - | 14M| 0 | 495 |2271 |1125 |2271 |1149 | 162 | 92 | 0 | 6.521452e+00 | -- | Inf
5.39/5.48 c 5.5s| 1 | 0 | 32643 | - | 14M| 0 | 488 |2271 |1125 |2271 |1155 | 168 | 92 | 0 | 6.521702e+00 | -- | Inf
5.49/5.54 c 5.5s| 1 | 0 | 32776 | - | 14M| 0 | 488 |2271 |1125 |2271 |1157 | 170 | 92 | 0 | 6.522956e+00 | -- | Inf
5.58/5.62 c 5.6s| 1 | 0 | 33066 | - | 14M| 0 | 457 |2271 |1125 |2271 |1163 | 176 | 92 | 0 | 6.525670e+00 | -- | Inf
5.58/5.68 c 5.7s| 1 | 0 | 33196 | - | 14M| 0 | 504 |2271 |1125 |2271 |1169 | 182 | 92 | 0 | 6.526698e+00 | -- | Inf
5.69/5.74 c 5.7s| 1 | 0 | 33241 | - | 14M| 0 | 496 |2271 |1125 |2271 |1146 | 186 | 92 | 0 | 6.527075e+00 | -- | Inf
5.69/5.79 c 5.8s| 1 | 0 | 33392 | - | 14M| 0 | 504 |2271 |1125 |2271 |1151 | 191 | 92 | 0 | 6.531573e+00 | -- | Inf
5.79/5.85 c 5.8s| 1 | 0 | 33549 | - | 14M| 0 | 499 |2271 |1125 |2271 |1155 | 195 | 92 | 0 | 6.533773e+00 | -- | Inf
5.79/5.90 c 5.9s| 1 | 0 | 33680 | - | 14M| 0 | 496 |2271 |1125 |2271 |1159 | 199 | 92 | 0 | 6.535344e+00 | -- | Inf
5.89/5.93 c 5.9s| 1 | 0 | 33743 | - | 14M| 0 | 503 |2271 |1125 |2271 |1164 | 204 | 92 | 0 | 6.535757e+00 | -- | Inf
5.99/6.00 c 6.0s| 1 | 0 | 34003 | - | 14M| 0 | 491 |2271 |1125 |2271 |1169 | 209 | 92 | 0 | 6.538769e+00 | -- | Inf
5.99/6.07 c 6.1s| 1 | 0 | 34190 | - | 14M| 0 | 468 |2271 |1125 |2271 |1157 | 218 | 92 | 0 | 6.539965e+00 | -- | Inf
6.09/6.17 c 6.2s| 1 | 0 | 34705 | - | 14M| 0 | 489 |2271 |1125 |2271 |1164 | 225 | 92 | 0 | 6.544159e+00 | -- | Inf
6.19/6.21 c 6.2s| 1 | 0 | 34732 | - | 14M| 0 | 491 |2271 |1125 |2271 |1168 | 229 | 92 | 0 | 6.544159e+00 | -- | Inf
6.19/6.25 c 6.2s| 1 | 0 | 34792 | - | 14M| 0 | 505 |2271 |1125 |2271 |1172 | 233 | 92 | 0 | 6.544208e+00 | -- | Inf
6.19/6.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.19/6.29 c 6.3s| 1 | 0 | 34832 | - | 14M| 0 | 511 |2271 |1125 |2271 |1176 | 237 | 92 | 0 | 6.544597e+00 | -- | Inf
6.29/6.33 c 6.3s| 1 | 0 | 34912 | - | 14M| 0 | 518 |2271 |1125 |2271 |1183 | 244 | 92 | 0 | 6.545371e+00 | -- | Inf
6.29/6.38 c 6.4s| 1 | 0 | 34947 | - | 14M| 0 | 519 |2271 |1125 |2271 |1178 | 251 | 92 | 0 | 6.545432e+00 | -- | Inf
6.39/6.42 c 6.4s| 1 | 0 | 34991 | - | 14M| 0 | 502 |2271 |1125 |2271 |1181 | 254 | 92 | 0 | 6.545788e+00 | -- | Inf
6.39/6.47 c 6.5s| 1 | 0 | 35133 | - | 14M| 0 | 494 |2271 |1125 |2271 |1185 | 258 | 92 | 0 | 6.545892e+00 | -- | Inf
6.49/6.55 c 6.5s| 1 | 0 | 35343 | - | 14M| 0 | 471 |2271 |1125 |2271 |1189 | 262 | 92 | 0 | 6.546862e+00 | -- | Inf
6.49/6.59 c 6.6s| 1 | 0 | 35429 | - | 14M| 0 | 463 |2271 |1125 |2271 |1192 | 265 | 92 | 0 | 6.547063e+00 | -- | Inf
6.59/6.63 c 6.6s| 1 | 0 | 35467 | - | 14M| 0 | 488 |2271 |1125 |2271 |1196 | 269 | 92 | 0 | 6.547121e+00 | -- | Inf
6.59/6.67 c 6.7s| 1 | 0 | 35482 | - | 14M| 0 | 487 |2271 |1125 |2271 |1178 | 272 | 92 | 0 | 6.547124e+00 | -- | Inf
6.68/6.71 c 6.7s| 1 | 0 | 35514 | - | 14M| 0 | 465 |2271 |1125 |2271 |1179 | 273 | 92 | 0 | 6.547152e+00 | -- | Inf
6.89/6.90 c 6.9s| 1 | 0 | 36363 | - | 14M| 0 | 576 |2271 |1125 |2271 |1179 | 273 | 92 | 0 | 7.000000e+00 | -- | Inf
6.89/6.97 c 7.0s| 1 | 0 | 36543 | - | 14M| 0 | 671 |2271 |1125 |2271 |1192 | 286 | 92 | 0 | 7.000000e+00 | -- | Inf
9.89/9.93 c 9.9s| 1 | 2 | 36543 | - | 14M| 0 | 671 |2271 |1125 |2271 |1192 | 286 | 92 | 17 | 7.000000e+00 | -- | Inf
48.88/48.94 c 48.9s| 100 | 34 | 99408 | 635.0 | 14M| 22 | 393 |2271 |1229 |2271 |1136 | 286 | 196 | 643 | 7.000000e+00 | -- | Inf
56.38/56.49 c 56.5s| 200 | 35 |128979 | 464.5 | 15M| 33 | 343 |2271 |1287 |2271 |1136 | 286 | 254 | 729 | 7.000000e+00 | -- | Inf
62.98/63.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.98/63.03 c 63.0s| 300 | 33 |154973 | 396.1 | 15M| 33 | 358 |2271 |1341 |2271 |1136 | 286 | 308 | 799 | 7.000000e+00 | -- | Inf
69.58/69.61 c 69.6s| 400 | 32 |182844 | 366.7 | 15M| 35 | - |2271 |1396 |2271 |1136 | 286 | 363 | 854 | 7.000000e+00 | -- | Inf
76.68/76.75 c 76.7s| 500 | 28 |211698 | 351.0 | 15M| 35 | 349 |2271 |1452 |2271 |1136 | 286 | 419 | 913 | 7.000000e+00 | -- | Inf
85.58/85.65 c 85.7s| 600 | 32 |249351 | 355.3 | 15M| 35 | 261 |2271 |1512 |2271 |1136 | 286 | 479 | 969 | 7.000000e+00 | -- | Inf
92.07/92.19 c 92.2s| 700 | 35 |275051 | 341.2 | 15M| 35 | 329 |2271 |1565 |2271 |1136 | 286 | 532 |1022 | 7.000000e+00 | -- | Inf
98.27/98.36 c 98.4s| 800 | 29 |300660 | 330.6 | 15M| 35 | 310 |2271 |1622 |2271 |1136 | 286 | 589 |1065 | 7.000000e+00 | -- | Inf
105.38/105.45 c 105s| 900 | 37 |326993 | 323.1 | 15M| 35 | 299 |2271 |1702 |2271 |1136 | 286 | 669 |1111 | 7.000000e+00 | -- | Inf
112.38/112.41 c 112s| 1000 | 41 |359410 | 323.2 | 15M| 35 | - |2271 |1756 |2271 |1136 | 286 | 723 |1157 | 7.000000e+00 | -- | Inf
119.17/119.20 c 119s| 1100 | 47 |386293 | 318.2 | 15M| 35 | 342 |2271 |1817 |2271 |1136 | 286 | 784 |1205 | 7.000000e+00 | -- | Inf
124.97/125.08 c 125s| 1200 | 50 |410720 | 312.1 | 15M| 35 | - |2271 |1869 |2271 |1136 | 286 | 841 |1247 | 7.000000e+00 | -- | Inf
131.66/131.74 c 132s| 1300 | 38 |436820 | 308.1 | 15M| 35 | 373 |2271 |1925 |2271 |1136 | 286 | 898 |1299 | 7.000000e+00 | -- | Inf
138.87/138.96 c 139s| 1400 | 34 |469112 | 309.2 | 15M| 35 | - |2271 |1973 |2271 |1136 | 286 | 949 |1334 | 7.000000e+00 | -- | Inf
145.17/145.23 c 145s| 1500 | 36 |494521 | 305.5 | 15M| 35 | 382 |2271 |2046 |2271 |1136 | 286 |1022 |1378 | 7.000000e+00 | -- | Inf
155.07/155.18 c 155s| 1600 | 42 |539861 | 314.8 | 15M| 35 | - |2271 |2205 |2271 |1136 | 286 |1181 |1429 | 7.000000e+00 | -- | Inf
162.57/162.60 c 163s| 1700 | 56 |568181 | 312.9 | 15M| 35 | 323 |2271 |2286 |2271 |1136 | 286 |1265 |1487 | 7.000000e+00 | -- | Inf
170.37/170.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.37/170.48 c 170s| 1800 | 48 |603311 | 315.0 | 15M| 35 | 356 |2271 |2371 |2271 |1136 | 286 |1350 |1542 | 7.000000e+00 | -- | Inf
177.96/178.10 c 178s| 1900 | 50 |633135 | 314.2 | 15M| 35 | - |2271 |2438 |2271 |1136 | 286 |1417 |1593 | 7.000000e+00 | -- | Inf
185.46/185.51 c 186s| 2000 | 46 |663813 | 313.8 | 15M| 35 | - |2271 |2505 |2271 |1136 | 286 |1487 |1643 | 7.000000e+00 | -- | Inf
192.56/192.65 c 193s| 2100 | 46 |691354 | 312.0 | 15M| 35 | 331 |2271 |2552 |2271 |1136 | 286 |1539 |1691 | 7.000000e+00 | -- | Inf
198.66/198.75 c 199s| 2200 | 46 |717214 | 309.5 | 16M| 35 | - |2271 |2596 |2271 |1136 | 286 |1589 |1725 | 7.000000e+00 | -- | Inf
206.77/206.85 c 207s| 2300 | 42 |751365 | 310.9 | 16M| 35 | - |2271 |2647 |2271 |1136 | 286 |1644 |1773 | 7.000000e+00 | -- | Inf
215.46/215.51 c 216s| 2400 | 40 |785476 | 312.2 | 16M| 35 | 417 |2271 |2708 |2271 |1136 | 286 |1708 |1827 | 7.000000e+00 | -- | Inf
222.85/222.99 c 223s| 2500 | 44 |816494 | 312.1 | 16M| 35 | - |2271 |2775 |2271 |1136 | 286 |1779 |1872 | 7.000000e+00 | -- | Inf
230.15/230.24 c 230s| 2600 | 44 |845991 | 311.4 | 16M| 35 | - |2271 |2847 |2271 |1136 | 286 |1857 |1922 | 7.000000e+00 | -- | Inf
237.65/237.77 c 238s| 2700 | 46 |876376 | 311.2 | 16M| 35 | - |2271 |2900 |2271 |1136 | 286 |1918 |1958 | 7.000000e+00 | -- | Inf
245.25/245.30 c 245s| 2800 | 48 |907492 | 311.2 | 16M| 35 | 259 |2271 |2954 |2271 |1136 | 286 |1982 |2003 | 7.000000e+00 | -- | Inf
252.65/252.76 c 253s| 2900 | 42 |938925 | 311.3 | 16M| 35 | 349 |2271 |3011 |2271 |1136 | 286 |2043 |2045 | 7.000000e+00 | -- | Inf
259.05/259.10 c 259s| 3000 | 42 |964481 | 309.4 | 16M| 35 | - |2271 |3112 |2271 |1136 | 286 |2149 |2087 | 7.000000e+00 | -- | Inf
266.25/266.31 c 266s| 3100 | 40 |993365 | 308.8 | 16M| 35 | - |2271 |3186 |2271 |1136 | 286 |2231 |2132 | 7.000000e+00 | -- | Inf
273.15/273.21 c 273s| 3200 | 43 | 1021k| 308.0 | 16M| 35 | - |2271 |3290 |2271 |1136 | 286 |2355 |2170 | 7.000000e+00 | -- | Inf
279.44/279.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.44/279.59 c 280s| 3300 | 45 | 1049k| 306.9 | 16M| 35 | - |2271 |3359 |2271 |1136 | 286 |2430 |2206 | 7.000000e+00 | -- | Inf
285.45/285.57 c 286s| 3400 | 47 | 1074k| 305.2 | 16M| 35 | - |2271 |3420 |2271 |1136 | 286 |2495 |2243 | 7.000000e+00 | -- | Inf
290.95/291.04 c 291s| 3500 | 43 | 1095k| 302.5 | 16M| 35 | - |2271 |3496 |2271 |1136 | 286 |2574 |2279 | 7.000000e+00 | -- | Inf
297.34/297.43 c 297s| 3600 | 45 | 1122k| 301.8 | 16M| 35 | - |2271 |3599 |2271 |1136 | 286 |2695 |2312 | 7.000000e+00 | -- | Inf
303.34/303.50 c 303s| 3700 | 45 | 1147k| 300.4 | 16M| 35 | - |2271 |3681 |2271 |1136 | 286 |2790 |2351 | 7.000000e+00 | -- | Inf
309.94/310.02 c 310s| 3800 | 45 | 1174k| 299.5 | 16M| 35 | 356 |2271 |3766 |2271 |1136 | 286 |2884 |2396 | 7.000000e+00 | -- | Inf
317.04/317.14 c 317s| 3900 | 41 | 1202k| 299.1 | 16M| 35 | 308 |2271 |3816 |2271 |1136 | 286 |2941 |2443 | 7.000000e+00 | -- | Inf
323.54/323.68 c 324s| 4000 | 41 | 1230k| 298.4 | 17M| 35 | - |2271 |3895 |2271 |1136 | 286 |3027 |2489 | 7.000000e+00 | -- | Inf
330.14/330.27 c 330s| 4100 | 39 | 1255k| 297.5 | 17M| 35 | - |2271 |3971 |2271 |1136 | 286 |3125 |2538 | 7.000000e+00 | -- | Inf
338.14/338.28 c 338s| 4200 | 41 | 1296k| 300.2 | 17M| 35 | - |2271 |4064 |2271 |1136 | 286 |3222 |2575 | 7.000000e+00 | -- | Inf
345.34/345.45 c 345s| 4300 | 43 | 1325k| 299.7 | 17M| 35 | - |2271 |4124 |2271 |1136 | 286 |3285 |2629 | 7.000000e+00 | -- | Inf
352.23/352.39 c 352s| 4400 | 41 | 1354k| 299.5 | 17M| 35 | 367 |2271 |4131 |2271 |1136 | 286 |3346 |2679 | 7.000000e+00 | -- | Inf
358.83/358.90 c 359s| 4500 | 45 | 1381k| 299.0 | 17M| 35 | 306 |2271 |4251 |2271 |1136 | 286 |3491 |2718 | 7.000000e+00 | -- | Inf
364.93/365.10 c 365s| 4600 | 45 | 1406k| 297.9 | 17M| 35 | 281 |2271 |4345 |2271 |1136 | 286 |3607 |2760 | 7.000000e+00 | -- | Inf
370.93/371.06 c 371s| 4700 | 43 | 1431k| 296.9 | 17M| 35 | - |2271 |4415 |2271 |1136 | 286 |3711 |2801 | 7.000000e+00 | -- | Inf
377.53/377.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.53/377.64 c 378s| 4800 | 43 | 1458k| 296.2 | 17M| 35 | 349 |2271 |4490 |2271 |1136 | 286 |3812 |2846 | 7.000000e+00 | -- | Inf
384.33/384.42 c 384s| 4900 | 43 | 1485k| 295.7 | 17M| 35 | - |2271 |4565 |2271 |1136 | 286 |3918 |2896 | 7.000000e+00 | -- | Inf
390.93/391.01 c 391s| 5000 | 41 | 1512k| 295.3 | 17M| 35 | 322 |2271 |4608 |2271 |1136 | 286 |4003 |2942 | 7.000000e+00 | -- | Inf
397.52/397.69 c 398s| 5100 | 37 | 1539k| 294.8 | 17M| 35 | - |2271 |4622 |2271 |1136 | 286 |4073 |2985 | 7.000000e+00 | -- | Inf
404.23/404.30 c 404s| 5200 | 40 | 1567k| 294.4 | 17M| 35 | 290 |2271 |4508 |2271 |1136 | 286 |4158 |3030 | 7.000000e+00 | -- | Inf
409.93/410.00 c 410s| 5300 | 40 | 1590k| 293.3 | 17M| 35 | - |2271 |4388 |2271 |1136 | 286 |4217 |3066 | 7.000000e+00 | -- | Inf
416.52/416.61 c 417s| 5400 | 41 | 1616k| 292.7 | 17M| 35 | - |2271 |4433 |2271 |1136 | 286 |4279 |3109 | 7.000000e+00 | -- | Inf
423.43/423.53 c 424s| 5500 | 35 | 1644k| 292.4 | 17M| 35 | - |2271 |4476 |2271 |1136 | 286 |4335 |3157 | 7.000000e+00 | -- | Inf
431.03/431.12 c 431s| 5600 | 37 | 1676k| 292.9 | 17M| 35 | - |2271 |4491 |2271 |1136 | 286 |4388 |3209 | 7.000000e+00 | -- | Inf
437.92/438.07 c 438s| 5700 | 36 | 1704k| 292.7 | 17M| 35 | 347 |2271 |4433 |2271 |1136 | 286 |4460 |3253 | 7.000000e+00 | -- | Inf
443.62/443.78 c 444s| 5800 | 42 | 1727k| 291.5 | 17M| 35 | - |2271 |4436 |2271 |1136 | 286 |4516 |3294 | 7.000000e+00 | -- | Inf
448.92/449.08 c 449s| 5900 | 44 | 1749k| 290.4 | 17M| 35 | 281 |2271 |4476 |2271 |1136 | 286 |4580 |3331 | 7.000000e+00 | -- | Inf
455.42/455.55 c 456s| 6000 | 39 | 1775k| 290.0 | 17M| 35 | 323 |2271 |4511 |2271 |1136 | 286 |4649 |3373 | 7.000000e+00 | -- | Inf
460.42/460.59 c 461s| 6100 | 37 | 1798k| 289.0 | 17M| 35 | 327 |2271 |4553 |2271 |1136 | 286 |4705 |3397 | 7.000000e+00 | -- | Inf
466.12/466.20 c 466s| 6200 | 35 | 1827k| 288.8 | 17M| 35 | - |2271 |4591 |2271 |1136 | 286 |4756 |3418 | 7.000000e+00 | -- | Inf
470.52/470.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.52/470.64 c 471s| 6300 | 39 | 1848k| 287.7 | 17M| 35 | 323 |2271 |4535 |2271 |1136 | 286 |4816 |3436 | 7.000000e+00 | -- | Inf
475.02/475.19 c 475s| 6400 | 37 | 1868k| 286.3 | 17M| 35 | - |2271 |4561 |2271 |1136 | 286 |4867 |3461 | 7.000000e+00 | -- | Inf
479.32/479.41 c 479s| 6500 | 43 | 1888k| 285.0 | 17M| 35 | 314 |2271 |4605 |2271 |1136 | 286 |4925 |3479 | 7.000000e+00 | -- | Inf
483.62/483.75 c 484s| 6600 | 39 | 1913k| 284.4 | 17M| 35 | - |2271 |4658 |2271 |1136 | 286 |4985 |3485 | 7.000000e+00 | -- | Inf
489.21/489.35 c 489s| 6700 | 41 | 1940k| 284.3 | 17M| 35 | - |2271 |4723 |2271 |1136 | 286 |5055 |3508 | 7.000000e+00 | -- | Inf
493.72/493.83 c 494s| 6800 | 39 | 1964k| 283.6 | 17M| 35 | 294 |2271 |4783 |2271 |1136 | 286 |5124 |3519 | 7.000000e+00 | -- | Inf
499.41/499.56 c 500s| 6900 | 35 | 1993k| 283.6 | 17M| 35 | - |2271 |4775 |2271 |1136 | 286 |5192 |3541 | 7.000000e+00 | -- | Inf
503.21/503.39 c 503s| 7000 | 35 | 2013k| 282.4 | 17M| 35 | - |2271 |4797 |2271 |1136 | 286 |5245 |3550 | 7.000000e+00 | -- | Inf
508.21/508.39 c 508s| 7100 | 41 | 2038k| 281.9 | 17M| 35 | 372 |2271 |4858 |2271 |1136 | 286 |5308 |3569 | 7.000000e+00 | -- | Inf
514.21/514.30 c 514s| 7200 | 35 | 2069k| 282.4 | 17M| 35 | 317 |2271 |4926 |2271 |1136 | 286 |5382 |3588 | 7.000000e+00 | -- | Inf
520.30/520.47 c 520s| 7300 | 31 | 2096k| 282.2 | 17M| 35 | - |2271 |4980 |2271 |1136 | 286 |5455 |3621 | 7.000000e+00 | -- | Inf
526.41/526.55 c 527s| 7400 | 39 | 2125k| 282.3 | 17M| 35 | - |2271 |5037 |2271 |1136 | 286 |5530 |3650 | 7.000000e+00 | -- | Inf
531.81/531.94 c 532s| 7500 | 35 | 2151k| 282.0 | 17M| 35 | 346 |2271 |5094 |2271 |1136 | 286 |5596 |3670 | 7.000000e+00 | -- | Inf
536.51/536.63 c 537s| 7600 | 35 | 2177k| 281.8 | 17M| 35 | 265 |2271 |5136 |2271 |1136 | 286 |5647 |3680 | 7.000000e+00 | -- | Inf
541.11/541.29 c 541s| 7700 | 31 | 2204k| 281.5 | 17M| 35 | - |2271 |5178 |2271 |1136 | 286 |5699 |3687 | 7.000000e+00 | -- | Inf
546.41/546.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
546.41/546.57 c 547s| 7800 | 31 | 2231k| 281.5 | 17M| 35 | 345 |2271 |4973 |2271 |1136 | 286 |5756 |3701 | 7.000000e+00 | -- | Inf
552.11/552.26 c 552s| 7900 | 27 | 2262k| 281.8 | 17M| 35 | - |2271 |4980 |2271 |1136 | 286 |5811 |3715 | 7.000000e+00 | -- | Inf
558.20/558.31 c 558s| 8000 | 29 | 2290k| 281.7 | 16M| 35 | 331 |2271 |4919 |2271 |1136 | 286 |5869 |3740 | 7.000000e+00 | -- | Inf
565.11/565.27 c 565s| 8100 | 33 | 2318k| 281.8 | 16M| 35 | 311 |2271 |4903 |2271 |1136 | 286 |5917 |3777 | 7.000000e+00 | -- | Inf
572.60/572.76 c 573s| 8200 | 27 | 2352k| 282.4 | 16M| 35 | 328 |2271 |4933 |2271 |1136 | 286 |5966 |3814 | 7.000000e+00 | -- | Inf
583.70/583.88 c 584s| 8300 | 27 | 2388k| 283.4 | 16M| 35 | - |2271 |4682 |2271 |1136 | 286 |6024 |3889 | 7.000000e+00 | -- | Inf
593.00/593.19 c 593s| 8400 | 33 | 2411k| 282.8 | 16M| 35 | - |2271 |4586 |2271 |1136 | 286 |6079 |3979 | 7.000000e+00 | -- | Inf
596.90/597.03 c 597s| 8500 | 33 | 2430k| 281.7 | 16M| 35 | 353 |2271 |4497 |2271 |1136 | 286 |6137 |3990 | 7.000000e+00 | -- | Inf
601.70/601.81 c 602s| 8600 | 35 | 2450k| 280.7 | 16M| 35 | - |2271 |4457 |2271 |1136 | 286 |6185 |4021 | 7.000000e+00 | -- | Inf
606.30/606.45 c 606s| 8700 | 35 | 2475k| 280.4 | 16M| 35 | - |2271 |4494 |2271 |1136 | 286 |6232 |4033 | 7.000000e+00 | -- | Inf
612.10/612.24 c 612s| 8800 | 37 | 2501k| 280.2 | 16M| 35 | 331 |2271 |4495 |2271 |1136 | 286 |6286 |4061 | 7.000000e+00 | -- | Inf
617.00/617.13 c 617s| 8900 | 37 | 2526k| 279.8 | 16M| 35 | - |2271 |4527 |2271 |1136 | 286 |6351 |4077 | 7.000000e+00 | -- | Inf
621.40/621.51 c 622s| 9000 | 39 | 2551k| 279.4 | 16M| 35 | 299 |2271 |4566 |2271 |1136 | 286 |6406 |4083 | 7.000000e+00 | -- | Inf
625.89/626.06 c 626s| 9100 | 39 | 2577k| 279.2 | 16M| 35 | 344 |2271 |4590 |2271 |1136 | 286 |6471 |4087 | 7.000000e+00 | -- | Inf
631.89/632.09 c 632s| 9200 | 37 | 2602k| 279.0 | 16M| 35 | 338 |2271 |4630 |2271 |1136 | 286 |6525 |4118 | 7.000000e+00 | -- | Inf
637.70/637.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.70/637.82 c 638s| 9300 | 42 | 2627k| 278.6 | 16M| 35 | - |2271 |4648 |2271 |1136 | 286 |6589 |4143 | 7.000000e+00 | -- | Inf
643.19/643.36 c 643s| 9400 | 40 | 2652k| 278.3 | 16M| 35 | - |2271 |4699 |2271 |1136 | 286 |6651 |4168 | 7.000000e+00 | -- | Inf
650.49/650.61 c 651s| 9500 | 34 | 2682k| 278.6 | 16M| 35 | - |2271 |4724 |2271 |1136 | 286 |6712 |4203 | 7.000000e+00 | -- | Inf
655.69/655.84 c 656s| 9600 | 36 | 2705k| 278.0 | 16M| 35 | - |2271 |4755 |2271 |1136 | 286 |6771 |4224 | 7.000000e+00 | -- | Inf
660.79/660.96 c 661s| 9700 | 40 | 2728k| 277.5 | 16M| 35 | 328 |2271 |4796 |2271 |1136 | 286 |6828 |4247 | 7.000000e+00 | -- | Inf
666.79/666.96 c 667s| 9800 | 35 | 2752k| 277.2 | 17M| 35 | 296 |2271 |4844 |2271 |1136 | 286 |6884 |4279 | 7.000000e+00 | -- | Inf
672.29/672.48 c 672s| 9900 | 33 | 2777k| 276.9 | 17M| 35 | - |2271 |4894 |2271 |1136 | 286 |6952 |4301 | 7.000000e+00 | -- | Inf
678.59/678.72 c 679s| 10000 | 34 | 2803k| 276.7 | 17M| 35 | - |2271 |4894 |2271 |1136 | 286 |6998 |4337 | 7.000000e+00 | -- | Inf
684.99/685.10 c 685s| 10100 | 38 | 2831k| 276.8 | 17M| 35 | 336 |2271 |4838 |2271 |1136 | 286 |7070 |4364 | 7.000000e+00 | -- | Inf
691.79/691.99 c 692s| 10200 | 33 | 2863k| 277.1 | 17M| 35 | - |2271 |4849 |2271 |1136 | 286 |7142 |4394 | 7.000000e+00 | -- | Inf
699.18/699.31 c 699s| 10300 | 37 | 2893k| 277.4 | 17M| 35 | - |2271 |4884 |2271 |1136 | 286 |7188 |4425 | 7.000000e+00 | -- | Inf
705.88/706.02 c 706s| 10400 | 31 | 2923k| 277.6 | 17M| 35 | - |2271 |4933 |2271 |1136 | 286 |7248 |4457 | 7.000000e+00 | -- | Inf
711.98/712.12 c 712s| 10500 | 31 | 2947k| 277.3 | 17M| 35 | 334 |2271 |4962 |2271 |1136 | 286 |7315 |4491 | 7.000000e+00 | -- | Inf
718.48/718.63 c 719s| 10600 | 31 | 2973k| 277.1 | 17M| 35 | - |2271 |5020 |2271 |1136 | 286 |7381 |4527 | 7.000000e+00 | -- | Inf
724.38/724.52 c 725s| 10700 | 33 | 3001k| 277.1 | 17M| 35 | - |2271 |4993 |2271 |1136 | 286 |7446 |4549 | 7.000000e+00 | -- | Inf
731.08/731.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.08/731.21 c 731s| 10800 | 33 | 3027k| 277.0 | 17M| 35 | - |2271 |4988 |2271 |1136 | 286 |7503 |4586 | 7.000000e+00 | -- | Inf
741.18/741.36 c 741s| 10900 | 29 | 3078k| 279.1 | 17M| 35 | - |2271 |5040 |2271 |1136 | 286 |7559 |4622 | 7.000000e+00 | -- | Inf
747.58/747.73 c 748s| 11000 | 33 | 3108k| 279.3 | 17M| 35 | - |2271 |4933 |2271 |1136 | 286 |7626 |4646 | 7.000000e+00 | -- | Inf
754.27/754.41 c 754s| 11100 | 34 | 3136k| 279.3 | 17M| 35 | - |2271 |4997 |2271 |1136 | 286 |7704 |4680 | 7.000000e+00 | -- | Inf
758.47/758.68 c 759s| 11200 | 39 | 3155k| 278.5 | 17M| 35 | 326 |2271 |5023 |2271 |1136 | 286 |7755 |4697 | 7.000000e+00 | -- | Inf
763.58/763.73 c 764s| 11300 | 33 | 3175k| 277.8 | 17M| 35 | - |2271 |5070 |2271 |1136 | 286 |7814 |4721 | 7.000000e+00 | -- | Inf
770.47/770.62 c 771s| 11400 | 38 | 3210k| 278.4 | 17M| 35 | 339 |2271 |5087 |2271 |1136 | 286 |7871 |4749 | 7.000000e+00 | -- | Inf
777.47/777.69 c 778s| 11500 | 40 | 3242k| 278.8 | 17M| 35 | 313 |2271 |5136 |2271 |1136 | 286 |7931 |4770 | 7.000000e+00 | -- | Inf
785.47/785.68 c 786s| 11600 | 36 | 3266k| 278.4 | 17M| 35 | - |2271 |5191 |2271 |1136 | 286 |7991 |4832 | 7.000000e+00 | -- | Inf
788.97/789.14 c 789s| 11700 | 36 | 3286k| 277.8 | 17M| 35 | 346 |2271 |5232 |2271 |1136 | 286 |8040 |4832 | 7.000000e+00 | -- | Inf
793.26/793.44 c 793s| 11800 | 36 | 3305k| 277.1 | 17M| 35 | 302 |2271 |5278 |2271 |1136 | 286 |8096 |4849 | 7.000000e+00 | -- | Inf
798.57/798.70 c 799s| 11900 | 36 | 3326k| 276.5 | 17M| 35 | 301 |2271 |5289 |2271 |1136 | 286 |8152 |4878 | 7.000000e+00 | -- | Inf
804.16/804.35 c 804s| 12000 | 38 | 3353k| 276.5 | 17M| 35 | - |2271 |5187 |2271 |1136 | 286 |8204 |4901 | 7.000000e+00 | -- | Inf
810.57/810.74 c 811s| 12100 | 39 | 3374k| 275.9 | 17M| 35 | 321 |2271 |5224 |2271 |1136 | 286 |8270 |4944 | 7.000000e+00 | -- | Inf
814.77/814.92 c 815s| 12200 | 39 | 3398k| 275.6 | 17M| 35 | 329 |2271 |5236 |2271 |1136 | 286 |8328 |4948 | 7.000000e+00 | -- | Inf
820.76/820.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.76/820.91 c 821s| 12300 | 39 | 3423k| 275.4 | 17M| 35 | - |2271 |5282 |2271 |1136 | 286 |8392 |4981 | 7.000000e+00 | -- | Inf
827.16/827.34 c 827s| 12400 | 41 | 3452k| 275.5 | 17M| 35 | 351 |2271 |5309 |2271 |1136 | 286 |8453 |5011 | 7.000000e+00 | -- | Inf
832.47/832.67 c 833s| 12500 | 42 | 3471k| 274.8 | 17M| 35 | - |2271 |5357 |2271 |1136 | 286 |8509 |5048 | 7.000000e+00 | -- | Inf
836.86/837.02 c 837s| 12600 | 38 | 3490k| 274.1 | 17M| 35 | 339 |2271 |5406 |2271 |1136 | 286 |8563 |5069 | 7.000000e+00 | -- | Inf
840.67/840.84 c 841s| 12700 | 40 | 3507k| 273.4 | 17M| 35 | 374 |2271 |5455 |2271 |1136 | 286 |8615 |5084 | 7.000000e+00 | -- | Inf
845.96/846.17 c 846s| 12800 | 36 | 3528k| 272.8 | 17M| 35 | - |2271 |5498 |2271 |1136 | 286 |8664 |5118 | 7.000000e+00 | -- | Inf
851.27/851.42 c 851s| 12900 | 36 | 3551k| 272.5 | 17M| 35 | 388 |2271 |5550 |2271 |1136 | 286 |8720 |5145 | 7.000000e+00 | -- | Inf
857.66/857.87 c 858s| 13000 | 36 | 3578k| 272.5 | 17M| 35 | 381 |2271 |5477 |2271 |1136 | 286 |8778 |5181 | 7.000000e+00 | -- | Inf
865.36/865.50 c 865s| 13100 | 30 | 3610k| 272.8 | 17M| 35 | - |2271 |5424 |2271 |1136 | 286 |8835 |5217 | 7.000000e+00 | -- | Inf
871.15/871.34 c 871s| 13200 | 32 | 3636k| 272.8 | 17M| 35 | - |2271 |5405 |2271 |1136 | 286 |8887 |5246 | 7.000000e+00 | -- | Inf
875.96/876.15 c 876s| 13300 | 32 | 3655k| 272.1 | 17M| 35 | - |2271 |5373 |2271 |1136 | 286 |8929 |5276 | 7.000000e+00 | -- | Inf
881.05/881.24 c 881s| 13400 | 32 | 3677k| 271.7 | 17M| 35 | - |2271 |5352 |2271 |1136 | 286 |8979 |5313 | 7.000000e+00 | -- | Inf
885.65/885.85 c 886s| 13500 | 36 | 3695k| 271.0 | 17M| 35 | - |2271 |5389 |2271 |1136 | 286 |9029 |5340 | 7.000000e+00 | -- | Inf
890.25/890.43 c 890s| 13600 | 34 | 3716k| 270.6 | 17M| 35 | - |2271 |5420 |2271 |1136 | 286 |9076 |5366 | 7.000000e+00 | -- | Inf
895.35/895.54 c 896s| 13700 | 36 | 3736k| 270.1 | 17M| 35 | - |2271 |5453 |2271 |1136 | 286 |9142 |5400 | 7.000000e+00 | -- | Inf
900.05/900.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.05/900.29 c 900s| 13800 | 36 | 3757k| 269.7 | 17M| 35 | - |2271 |5481 |2271 |1136 | 286 |9195 |5427 | 7.000000e+00 | -- | Inf
905.55/905.78 c 906s| 13900 | 34 | 3780k| 269.4 | 17M| 35 | - |2271 |5522 |2271 |1136 | 286 |9250 |5461 | 7.000000e+00 | -- | Inf
912.54/912.79 c 913s| 14000 | 31 | 3809k| 269.5 | 17M| 35 | 269 |2271 |5557 |2271 |1136 | 286 |9310 |5512 | 7.000000e+00 | -- | Inf
919.35/919.53 c 920s| 14100 | 35 | 3838k| 269.7 | 17M| 35 | 350 |2271 |5572 |2271 |1136 | 286 |9359 |5546 | 7.000000e+00 | -- | Inf
924.45/924.61 c 925s| 14200 | 33 | 3859k| 269.3 | 17M| 35 | - |2271 |5621 |2271 |1136 | 286 |9421 |5577 | 7.000000e+00 | -- | Inf
929.35/929.57 c 930s| 14300 | 33 | 3879k| 268.8 | 17M| 35 | 251 |2271 |5673 |2271 |1136 | 286 |9476 |5609 | 7.000000e+00 | -- | Inf
935.24/935.43 c 935s| 14400 | 37 | 3904k| 268.6 | 17M| 35 | 379 |2271 |5713 |2271 |1136 | 286 |9525 |5647 | 7.000000e+00 | -- | Inf
940.74/940.95 c 941s| 14500 | 31 | 3927k| 268.3 | 17M| 35 | 296 |2271 |5772 |2271 |1136 | 286 |9592 |5689 | 7.000000e+00 | -- | Inf
946.14/946.34 c 946s| 14600 | 33 | 3949k| 268.0 | 17M| 35 | 332 |2271 |5694 |2271 |1136 | 286 |9652 |5718 | 7.000000e+00 | -- | Inf
952.15/952.39 c 952s| 14700 | 33 | 3974k| 267.9 | 17M| 35 | - |2271 |5732 |2271 |1136 | 286 |9706 |5754 | 7.000000e+00 | -- | Inf
958.14/958.31 c 958s| 14800 | 35 | 4002k| 268.0 | 17M| 35 | - |2271 |5713 |2271 |1136 | 286 |9767 |5786 | 7.000000e+00 | -- | Inf
963.65/963.86 c 964s| 14900 | 35 | 4025k| 267.8 | 17M| 35 | 341 |2271 |5730 |2271 |1136 | 286 |9823 |5822 | 7.000000e+00 | -- | Inf
970.44/970.63 c 971s| 15000 | 37 | 4054k| 267.9 | 17M| 35 | - |2271 |5775 |2271 |1136 | 286 |9895 |5860 | 7.000000e+00 | -- | Inf
976.54/976.72 c 977s| 15100 | 33 | 4080k| 267.8 | 17M| 35 | - |2271 |5770 |2271 |1136 | 286 |9958 |5887 | 7.000000e+00 | -- | Inf
982.34/982.56 c 983s| 15200 | 31 | 4105k| 267.7 | 17M| 35 | - |2271 |5759 |2271 |1136 | 286 | 10k|5922 | 7.000000e+00 | -- | Inf
987.65/987.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.65/987.89 c 988s| 15300 | 33 | 4129k| 267.5 | 17M| 35 | 357 |2271 |5654 |2271 |1136 | 286 | 10k|5949 | 7.000000e+00 | -- | Inf
993.24/993.48 c 993s| 15400 | 28 | 4152k| 267.3 | 17M| 35 | - |2271 |5697 |2271 |1136 | 286 | 10k|5985 | 7.000000e+00 | -- | Inf
999.44/999.66 c 1000s| 15500 | 35 | 4177k| 267.2 | 17M| 35 | 294 |2271 |5661 |2271 |1136 | 286 | 10k|6020 | 7.000000e+00 | -- | Inf
1005.84/1006.09 c 1006s| 15600 | 33 | 4204k| 267.2 | 17M| 35 | 352 |2271 |5709 |2271 |1136 | 286 | 10k|6059 | 7.000000e+00 | -- | Inf
1011.63/1011.88 c 1012s| 15700 | 29 | 4230k| 267.1 | 17M| 35 | - |2271 |5694 |2271 |1136 | 286 | 10k|6087 | 7.000000e+00 | -- | Inf
1018.93/1019.13 c 1019s| 15800 | 29 | 4259k| 267.3 | 17M| 35 | - |2271 |5644 |2271 |1136 | 286 | 10k|6135 | 7.000000e+00 | -- | Inf
1026.63/1026.81 c 1027s| 15900 | 29 | 4292k| 267.7 | 17M| 35 | - |2271 |5643 |2271 |1136 | 286 | 10k|6175 | 7.000000e+00 | -- | Inf
1032.83/1033.04 c 1033s| 16000 | 29 | 4319k| 267.7 | 17M| 35 | 386 |2271 |5692 |2271 |1136 | 286 | 10k|6208 | 7.000000e+00 | -- | Inf
1038.63/1038.85 c 1039s| 16100 | 27 | 4346k| 267.7 | 17M| 35 | 436 |2271 |5547 |2271 |1136 | 286 | 10k|6234 | 7.000000e+00 | -- | Inf
1045.32/1045.56 c 1046s| 16200 | 36 | 4375k| 267.9 | 17M| 35 | 348 |2271 |5497 |2271 |1136 | 286 | 10k|6264 | 7.000000e+00 | -- | Inf
1051.03/1051.22 c 1051s| 16300 | 35 | 4405k| 268.1 | 17M| 35 | - |2271 |5485 |2271 |1136 | 286 | 10k|6280 | 7.000000e+00 | -- | Inf
1056.22/1056.44 c 1056s| 16400 | 35 | 4434k| 268.2 | 17M| 35 | 327 |2271 |5469 |2271 |1136 | 286 | 10k|6290 | 7.000000e+00 | -- | Inf
1061.23/1061.50 c 1062s| 16500 | 37 | 4458k| 268.0 | 17M| 35 | 335 |2271 |5467 |2271 |1136 | 286 | 10k|6309 | 7.000000e+00 | -- | Inf
1066.02/1066.21 c 1066s| 16600 | 35 | 4485k| 268.0 | 17M| 35 | 351 |2271 |5501 |2271 |1136 | 286 | 10k|6316 | 7.000000e+00 | -- | Inf
1071.62/1071.82 c 1072s| 16700 | 36 | 4513k| 268.1 | 17M| 35 | - |2271 |5523 |2271 |1136 | 286 | 11k|6334 | 7.000000e+00 | -- | Inf
1076.92/1077.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.92/1077.11 c 1077s| 16800 | 42 | 4541k| 268.2 | 17M| 35 | 354 |2271 |5551 |2271 |1136 | 286 | 11k|6351 | 7.000000e+00 | -- | Inf
1083.33/1083.51 c 1084s| 16900 | 40 | 4577k| 268.7 | 17M| 35 | 393 |2271 |5608 |2271 |1136 | 286 | 11k|6363 | 7.000000e+00 | -- | Inf
1089.32/1089.59 c 1090s| 17000 | 44 | 4611k| 269.1 | 17M| 35 | 375 |2271 |5675 |2271 |1136 | 286 | 11k|6370 | 7.000000e+00 | -- | Inf
1094.92/1095.15 c 1095s| 17100 | 36 | 4642k| 269.4 | 17M| 35 | - |2271 |5697 |2271 |1136 | 286 | 11k|6382 | 7.000000e+00 | -- | Inf
1100.51/1100.71 c 1101s| 17200 | 38 | 4674k| 269.7 | 17M| 35 | - |2271 |5744 |2271 |1136 | 286 | 11k|6388 | 7.000000e+00 | -- | Inf
1105.82/1106.05 c 1106s| 17300 | 36 | 4704k| 269.8 | 17M| 35 | 325 |2271 |5776 |2271 |1136 | 286 | 11k|6396 | 7.000000e+00 | -- | Inf
1110.82/1111.02 c 1111s| 17400 | 32 | 4732k| 269.9 | 17M| 35 | - |2271 |5828 |2271 |1136 | 286 | 11k|6402 | 7.000000e+00 | -- | Inf
1115.91/1116.14 c 1116s| 17500 | 34 | 4760k| 270.0 | 17M| 35 | 344 |2271 |5852 |2271 |1136 | 286 | 11k|6412 | 7.000000e+00 | -- | Inf
1122.21/1122.49 c 1122s| 17600 | 36 | 4794k| 270.3 | 17M| 35 | 359 |2271 |5875 |2271 |1136 | 286 | 11k|6418 | 7.000000e+00 | -- | Inf
1127.22/1127.45 c 1127s| 17700 | 35 | 4821k| 270.4 | 17M| 35 | - |2271 |5888 |2271 |1136 | 286 | 11k|6425 | 7.000000e+00 | -- | Inf
1132.82/1133.05 c 1133s| 17800 | 33 | 4854k| 270.7 | 17M| 35 | 403 |2271 |5951 |2271 |1136 | 286 | 11k|6433 | 7.000000e+00 | -- | Inf
1138.51/1138.74 c 1139s| 17900 | 30 | 4887k| 271.0 | 17M| 35 | 405 |2271 |6009 |2271 |1136 | 286 | 11k|6437 | 7.000000e+00 | -- | Inf
1142.91/1143.13 c 1143s| 18000 | 34 | 4913k| 271.0 | 17M| 35 | - |2271 |5932 |2271 |1136 | 286 | 11k|6439 | 7.000000e+00 | -- | Inf
1148.31/1148.54 c 1149s| 18100 | 34 | 4942k| 271.1 | 17M| 35 | 385 |2271 |5907 |2271 |1136 | 286 | 12k|6450 | 7.000000e+00 | -- | Inf
1153.01/1153.28 c 1153s| 18200 | 34 | 4968k| 271.0 | 17M| 35 | 327 |2271 |5940 |2271 |1136 | 286 | 12k|6459 | 7.000000e+00 | -- | Inf
1158.40/1158.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.40/1158.61 c 1159s| 18300 | 32 | 4999k| 271.2 | 17M| 35 | - |2271 |5979 |2271 |1136 | 286 | 12k|6464 | 7.000000e+00 | -- | Inf
1163.41/1163.70 c 1164s| 18400 | 31 | 5029k| 271.4 | 17M| 35 | - |2271 |6021 |2271 |1136 | 286 | 12k|6469 | 7.000000e+00 | -- | Inf
1169.11/1169.34 c 1169s| 18500 | 27 | 5060k| 271.6 | 17M| 35 | - |2271 |6050 |2271 |1136 | 286 | 12k|6482 | 7.000000e+00 | -- | Inf
1175.20/1175.49 c 1175s| 18600 | 31 | 5094k| 271.9 | 17M| 35 | 389 |2271 |6103 |2271 |1136 | 286 | 12k|6489 | 7.000000e+00 | -- | Inf
1181.80/1182.03 c 1182s| 18700 | 31 | 5122k| 272.0 | 17M| 35 | 395 |2271 |6173 |2271 |1136 | 286 | 12k|6514 | 7.000000e+00 | -- | Inf
1188.10/1188.31 c 1188s| 18800 | 25 | 5150k| 272.0 | 18M| 35 | - |2271 |6242 |2271 |1136 | 286 | 12k|6535 | 7.000000e+00 | -- | Inf
1195.61/1195.82 c 1196s| 18900 | 39 | 5185k| 272.4 | 18M| 35 | 342 |2271 |6233 |2271 |1136 | 286 | 12k|6560 | 7.000000e+00 | -- | Inf
1202.30/1202.54 c 1203s| 19000 | 39 | 5214k| 272.5 | 18M| 35 | - |2271 |6187 |2271 |1136 | 286 | 12k|6583 | 7.000000e+00 | -- | Inf
1209.09/1209.37 c 1209s| 19100 | 39 | 5242k| 272.6 | 18M| 35 | 432 |2271 |6059 |2271 |1136 | 286 | 12k|6613 | 7.000000e+00 | -- | Inf
1214.90/1215.15 c 1215s| 19200 | 35 | 5269k| 272.6 | 18M| 35 | 287 |2271 |6025 |2271 |1136 | 286 | 12k|6635 | 7.000000e+00 | -- | Inf
1221.80/1222.04 c 1222s| 19300 | 36 | 5300k| 272.8 | 18M| 35 | 350 |2271 |6002 |2271 |1136 | 286 | 12k|6664 | 7.000000e+00 | -- | Inf
1226.80/1227.00 c 1227s| 19400 | 38 | 5324k| 272.6 | 18M| 35 | 269 |2271 |6062 |2271 |1136 | 286 | 13k|6681 | 7.000000e+00 | -- | Inf
1232.90/1233.12 c 1233s| 19500 | 38 | 5350k| 272.5 | 18M| 35 | 291 |2271 |6068 |2271 |1136 | 286 | 13k|6709 | 7.000000e+00 | -- | Inf
1239.19/1239.42 c 1239s| 19600 | 36 | 5381k| 272.7 | 18M| 35 | 340 |2271 |6068 |2271 |1136 | 286 | 13k|6730 | 7.000000e+00 | -- | Inf
1245.09/1245.36 c 1245s| 19700 | 34 | 5407k| 272.6 | 18M| 35 | - |2271 |6142 |2271 |1136 | 286 | 13k|6758 | 7.000000e+00 | -- | Inf
1251.59/1251.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1251.59/1251.84 c 1252s| 19800 | 34 | 5434k| 272.7 | 18M| 35 | 261 |2271 |6052 |2271 |1136 | 286 | 13k|6792 | 7.000000e+00 | -- | Inf
1257.60/1257.81 c 1258s| 19900 | 34 | 5462k| 272.7 | 18M| 35 | - |2271 |6033 |2271 |1136 | 286 | 13k|6813 | 7.000000e+00 | -- | Inf
1265.59/1265.85 c 1266s| 20000 | 34 | 5496k| 273.0 | 18M| 35 | 321 |2271 |5940 |2271 |1136 | 286 | 13k|6849 | 7.000000e+00 | -- | Inf
1270.99/1271.28 c 1271s| 20100 | 30 | 5521k| 272.9 | 18M| 35 | 346 |2271 |5993 |2271 |1136 | 286 | 13k|6871 | 7.000000e+00 | -- | Inf
1276.39/1276.61 c 1277s| 20200 | 34 | 5545k| 272.7 | 18M| 35 | 366 |2271 |5900 |2271 |1136 | 286 | 13k|6891 | 7.000000e+00 | -- | Inf
1282.49/1282.73 c 1283s| 20300 | 38 | 5571k| 272.7 | 18M| 35 | 334 |2271 |5921 |2271 |1136 | 286 | 13k|6921 | 7.000000e+00 | -- | Inf
1289.19/1289.48 c 1289s| 20400 | 34 | 5600k| 272.8 | 18M| 35 | - |2271 |5981 |2271 |1136 | 286 | 13k|6953 | 7.000000e+00 | -- | Inf
1295.09/1295.39 c 1295s| 20500 | 33 | 5625k| 272.7 | 18M| 35 | - |2271 |6047 |2271 |1136 | 286 | 13k|6980 | 7.000000e+00 | -- | Inf
1300.59/1300.87 c 1301s| 20600 | 29 | 5651k| 272.6 | 18M| 35 | 339 |2271 |6078 |2271 |1136 | 286 | 13k|7001 | 7.000000e+00 | -- | Inf
1307.08/1307.32 c 1307s| 20700 | 36 | 5681k| 272.7 | 18M| 35 | 310 |2271 |6097 |2271 |1136 | 286 | 13k|7026 | 7.000000e+00 | -- | Inf
1312.09/1312.37 c 1312s| 20800 | 34 | 5704k| 272.5 | 18M| 35 | - |2271 |6125 |2271 |1136 | 286 | 13k|7049 | 7.000000e+00 | -- | Inf
1317.98/1318.23 c 1318s| 20900 | 35 | 5729k| 272.4 | 18M| 35 | 317 |2271 |6147 |2271 |1136 | 286 | 14k|7076 | 7.000000e+00 | -- | Inf
1324.78/1325.01 c 1325s| 21000 | 35 | 5759k| 272.5 | 18M| 35 | 366 |2271 |6193 |2271 |1136 | 286 | 14k|7107 | 7.000000e+00 | -- | Inf
1330.79/1331.02 c 1331s| 21100 | 37 | 5786k| 272.5 | 18M| 35 | 364 |2271 |6252 |2271 |1136 | 286 | 14k|7133 | 7.000000e+00 | -- | Inf
1337.29/1337.53 c 1338s| 21200 | 31 | 5811k| 272.4 | 18M| 35 | - |2271 |6308 |2271 |1136 | 286 | 14k|7175 | 7.000000e+00 | -- | Inf
1342.88/1343.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.88/1343.13 c 1343s| 21300 | 35 | 5840k| 272.5 | 18M| 35 | 315 |2271 |6357 |2271 |1136 | 286 | 14k|7185 | 7.000000e+00 | -- | Inf
1351.69/1351.95 c 1352s| 21400 | 31 | 5873k| 272.8 | 18M| 35 | 328 |2271 |6408 |2271 |1136 | 286 | 14k|7236 | 7.000000e+00 | -- | Inf
1356.88/1357.13 c 1357s| 21500 | 29 | 5901k| 272.8 | 18M| 35 | 347 |2271 |6472 |2271 |1136 | 286 | 14k|7246 | 7.000000e+00 | -- | Inf
1365.98/1366.21 c 1366s| 21600 | 29 | 5935k| 273.1 | 18M| 35 | - |2271 |6507 |2271 |1136 | 286 | 14k|7305 | 7.000000e+00 | -- | Inf
1370.78/1371.02 c 1371s| 21700 | 29 | 5964k| 273.2 | 18M| 35 | 330 |2271 |6563 |2271 |1136 | 286 | 14k|7307 | 7.000000e+00 | -- | Inf
1377.57/1377.83 c 1378s| 21800 | 33 | 5993k| 273.3 | 18M| 35 | - |2271 |6568 |2271 |1136 | 286 | 14k|7331 | 7.000000e+00 | -- | Inf
1382.58/1382.81 c 1383s| 21900 | 35 | 6017k| 273.1 | 18M| 35 | - |2271 |6586 |2271 |1136 | 286 | 14k|7351 | 7.000000e+00 | -- | Inf
1390.77/1391.09 c 1391s| 22000 | 35 | 6047k| 273.3 | 18M| 35 | 383 |2271 |6621 |2271 |1136 | 286 | 14k|7407 | 7.000000e+00 | -- | Inf
1396.98/1397.25 c 1397s| 22100 | 29 | 6080k| 273.5 | 18M| 35 | 401 |2271 |6659 |2271 |1136 | 286 | 14k|7421 | 7.000000e+00 | -- | Inf
1402.47/1402.75 c 1403s| 22200 | 35 | 6105k| 273.4 | 18M| 35 | 313 |2271 |6714 |2271 |1136 | 286 | 14k|7441 | 7.000000e+00 | -- | Inf
1406.97/1407.21 c 1407s| 22300 | 37 | 6126k| 273.1 | 18M| 35 | 307 |2271 |6779 |2271 |1136 | 286 | 14k|7459 | 7.000000e+00 | -- | Inf
1411.36/1411.66 c 1412s| 22400 | 34 | 6146k| 272.8 | 18M| 35 | 283 |2271 |6831 |2271 |1136 | 286 | 14k|7486 | 7.000000e+00 | -- | Inf
1416.97/1417.29 c 1417s| 22500 | 39 | 6170k| 272.6 | 18M| 35 | - |2271 |6876 |2271 |1136 | 286 | 15k|7514 | 7.000000e+00 | -- | Inf
1424.07/1424.32 c 1424s| 22600 | 35 | 6200k| 272.7 | 18M| 35 | 308 |2271 |6947 |2271 |1136 | 286 | 15k|7551 | 7.000000e+00 | -- | Inf
1428.57/1428.81 c 1429s| 22700 | 37 | 6222k| 272.5 | 18M| 35 | 303 |2271 |7003 |2271 |1136 | 286 | 15k|7566 | 7.000000e+00 | -- | Inf
1434.26/1434.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.26/1434.56 c 1435s| 22800 | 35 | 6246k| 272.4 | 18M| 35 | - |2271 |7058 |2271 |1136 | 286 | 15k|7599 | 7.000000e+00 | -- | Inf
1440.26/1440.55 c 1441s| 22900 | 33 | 6273k| 272.4 | 18M| 35 | - |2271 |7120 |2271 |1136 | 286 | 15k|7627 | 7.000000e+00 | -- | Inf
1447.86/1448.13 c 1448s| 23000 | 39 | 6304k| 272.5 | 18M| 35 | 321 |2271 |7164 |2271 |1136 | 286 | 15k|7661 | 7.000000e+00 | -- | Inf
1453.46/1453.72 c 1454s| 23100 | 41 | 6329k| 272.4 | 18M| 35 | 248 |2271 |7209 |2271 |1136 | 286 | 15k|7689 | 7.000000e+00 | -- | Inf
1460.76/1461.00 c 1461s| 23200 | 36 | 6361k| 272.6 | 18M| 35 | 315 |2271 |7262 |2271 |1136 | 286 | 15k|7726 | 7.000000e+00 | -- | Inf
1467.26/1467.53 c 1468s| 23300 | 38 | 6390k| 272.7 | 18M| 35 | 292 |2271 |7316 |2271 |1136 | 286 | 15k|7758 | 7.000000e+00 | -- | Inf
1474.06/1474.34 c 1474s| 23400 | 34 | 6422k| 272.9 | 18M| 35 | 369 |2271 |7370 |2271 |1136 | 286 | 15k|7788 | 7.000000e+00 | -- | Inf
1480.45/1480.73 c 1481s| 23500 | 32 | 6450k| 273.0 | 18M| 35 | - |2271 |7418 |2271 |1136 | 286 | 15k|7820 | 7.000000e+00 | -- | Inf
1486.45/1486.77 c 1487s| 23600 | 29 | 6477k| 273.0 | 18M| 35 | - |2271 |7463 |2271 |1136 | 286 | 15k|7851 | 7.000000e+00 | -- | Inf
1493.46/1493.74 c 1494s| 23700 | 33 | 6507k| 273.1 | 18M| 35 | 384 |2271 |7480 |2271 |1136 | 286 | 15k|7888 | 7.000000e+00 | -- | Inf
1499.15/1499.42 c 1499s| 23800 | 33 | 6533k| 273.0 | 18M| 35 | - |2271 |7504 |2271 |1136 | 286 | 15k|7916 | 7.000000e+00 | -- | Inf
1504.36/1504.69 c 1505s| 23900 | 35 | 6557k| 272.9 | 18M| 35 | - |2271 |7542 |2271 |1136 | 286 | 15k|7941 | 7.000000e+00 | -- | Inf
1509.85/1510.13 c 1510s| 24000 | 31 | 6581k| 272.7 | 18M| 35 | - |2271 |7573 |2271 |1136 | 286 | 15k|7968 | 7.000000e+00 | -- | Inf
1515.05/1515.34 c 1515s| 24100 | 37 | 6603k| 272.5 | 18M| 35 | - |2271 |7566 |2271 |1136 | 286 | 15k|7994 | 7.000000e+00 | -- | Inf
1519.55/1519.88 c 1520s| 24200 | 35 | 6624k| 272.2 | 18M| 35 | - |2271 |7582 |2271 |1136 | 286 | 15k|8016 | 7.000000e+00 | -- | Inf
1524.36/1524.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.36/1524.65 c 1525s| 24300 | 37 | 6644k| 272.0 | 18M| 35 | - |2271 |7526 |2271 |1136 | 286 | 15k|8039 | 7.000000e+00 | -- | Inf
1530.65/1530.92 c 1531s| 24400 | 35 | 6671k| 271.9 | 18M| 35 | 277 |2271 |7566 |2271 |1136 | 286 | 16k|8079 | 7.000000e+00 | -- | Inf
1537.25/1537.58 c 1538s| 24500 | 35 | 6701k| 272.1 | 18M| 35 | 318 |2271 |7602 |2271 |1136 | 286 | 16k|8111 | 7.000000e+00 | -- | Inf
1543.15/1543.46 c 1543s| 24600 | 33 | 6728k| 272.0 | 18M| 35 | - |2271 |7657 |2271 |1136 | 286 | 16k|8142 | 7.000000e+00 | -- | Inf
1549.24/1549.57 c 1550s| 24700 | 38 | 6753k| 272.0 | 18M| 35 | 344 |2271 |7695 |2271 |1136 | 286 | 16k|8174 | 7.000000e+00 | -- | Inf
1553.64/1553.99 c 1554s| 24800 | 38 | 6773k| 271.7 | 18M| 35 | - |2271 |7756 |2271 |1136 | 286 | 16k|8196 | 7.000000e+00 | -- | Inf
1558.95/1559.27 c 1559s| 24900 | 34 | 6797k| 271.5 | 18M| 35 | - |2271 |7797 |2271 |1136 | 286 | 16k|8222 | 7.000000e+00 | -- | Inf
1564.35/1564.68 c 1565s| 25000 | 36 | 6820k| 271.4 | 19M| 35 | - |2271 |7837 |2271 |1136 | 286 | 16k|8257 | 7.000000e+00 | -- | Inf
1570.25/1570.50 c 1571s| 25100 | 34 | 6845k| 271.3 | 19M| 35 | - |2271 |7886 |2271 |1136 | 286 | 16k|8293 | 7.000000e+00 | -- | Inf
1575.95/1576.30 c 1576s| 25200 | 34 | 6871k| 271.2 | 19M| 35 | 429 |2271 |7928 |2271 |1136 | 286 | 16k|8324 | 7.000000e+00 | -- | Inf
1581.64/1581.91 c 1582s| 25300 | 36 | 6896k| 271.2 | 19M| 35 | 369 |2271 |7984 |2271 |1136 | 286 | 16k|8350 | 7.000000e+00 | -- | Inf
1587.74/1588.00 c 1588s| 25400 | 34 | 6922k| 271.1 | 19M| 35 | - |2271 |8047 |2271 |1136 | 286 | 16k|8385 | 7.000000e+00 | -- | Inf
1593.35/1593.68 c 1594s| 25500 | 34 | 6947k| 271.0 | 19M| 35 | - |2271 |8085 |2271 |1136 | 286 | 16k|8420 | 7.000000e+00 | -- | Inf
1599.34/1599.63 c 1600s| 25600 | 42 | 6975k| 271.1 | 19M| 35 | - |2271 |8123 |2271 |1136 | 286 | 16k|8449 | 7.000000e+00 | -- | Inf
1604.44/1604.78 c 1605s| 25700 | 40 | 6997k| 270.9 | 19M| 35 | 406 |2271 |8152 |2271 |1136 | 286 | 16k|8484 | 7.000000e+00 | -- | Inf
1609.53/1609.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1609.53/1609.83 c 1610s| 25800 | 40 | 7019k| 270.7 | 19M| 35 | 318 |2271 |8203 |2271 |1136 | 286 | 16k|8514 | 7.000000e+00 | -- | Inf
1615.64/1615.95 c 1616s| 25900 | 38 | 7049k| 270.8 | 19M| 35 | - |2271 |8246 |2271 |1136 | 286 | 16k|8539 | 7.000000e+00 | -- | Inf
1621.43/1621.76 c 1622s| 26000 | 43 | 7075k| 270.7 | 19M| 35 | - |2271 |8305 |2271 |1136 | 286 | 16k|8573 | 7.000000e+00 | -- | Inf
1625.84/1626.11 c 1626s| 26100 | 38 | 7099k| 270.6 | 19M| 35 | - |2271 |8354 |2271 |1136 | 286 | 16k|8582 | 7.000000e+00 | -- | Inf
1630.94/1631.23 c 1631s| 26200 | 38 | 7124k| 270.5 | 19M| 35 | - |2271 |8409 |2271 |1136 | 286 | 17k|8603 | 7.000000e+00 | -- | Inf
1635.64/1635.97 c 1636s| 26300 | 40 | 7149k| 270.5 | 19M| 35 | - |2271 |8450 |2271 |1136 | 286 | 17k|8613 | 7.000000e+00 | -- | Inf
1639.93/1640.21 c 1640s| 26400 | 36 | 7173k| 270.3 | 19M| 35 | - |2271 |8491 |2271 |1136 | 286 | 17k|8618 | 7.000000e+00 | -- | Inf
1644.63/1644.97 c 1645s| 26500 | 33 | 7200k| 270.4 | 19M| 35 | - |2271 |8522 |2271 |1136 | 286 | 17k|8624 | 7.000000e+00 | -- | Inf
1650.73/1651.09 c 1651s| 26600 | 39 | 7233k| 270.6 | 19M| 35 | 331 |2271 |8562 |2271 |1136 | 286 | 17k|8631 | 7.000000e+00 | -- | Inf
1656.04/1656.30 c 1656s| 26700 | 31 | 7264k| 270.7 | 19M| 35 | 403 |2271 |8625 |2271 |1136 | 286 | 17k|8637 | 7.000000e+00 | -- | Inf
1660.73/1661.03 c 1661s| 26800 | 35 | 7287k| 270.6 | 19M| 35 | - |2271 |8645 |2271 |1136 | 286 | 17k|8661 | 7.000000e+00 | -- | Inf
1664.53/1664.82 c 1665s| 26900 | 33 | 7308k| 270.3 | 19M| 35 | 389 |2271 |8686 |2271 |1136 | 286 | 17k|8667 | 7.000000e+00 | -- | Inf
1668.93/1669.25 c 1669s| 27000 | 35 | 7332k| 270.2 | 19M| 35 | 312 |2271 |8710 |2271 |1136 | 286 | 17k|8680 | 7.000000e+00 | -- | Inf
1674.52/1674.87 c 1675s| 27100 | 37 | 7359k| 270.2 | 19M| 35 | 216 |2271 |8724 |2271 |1136 | 286 | 17k|8697 | 7.000000e+00 | -- | Inf
1678.63/1678.98 c 1679s| 27200 | 39 | 7381k| 270.0 | 19M| 35 | - |2271 |8757 |2271 |1136 | 286 | 17k|8702 | 7.000000e+00 | -- | Inf
1682.83/1683.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1682.83/1683.16 c 1683s| 27300 | 37 | 7406k| 270.0 | 19M| 35 | - |2271 |8813 |2271 |1136 | 286 | 17k|8705 | 7.000000e+00 | -- | Inf
1687.22/1687.55 c 1688s| 27400 | 35 | 7430k| 269.8 | 19M| 35 | - |2271 |8874 |2271 |1136 | 286 | 17k|8714 | 7.000000e+00 | -- | Inf
1692.32/1692.62 c 1693s| 27500 | 39 | 7459k| 269.9 | 19M| 35 | 279 |2271 |8935 |2271 |1136 | 286 | 17k|8719 | 7.000000e+00 | -- | Inf
1697.52/1697.82 c 1698s| 27600 | 35 | 7491k| 270.1 | 19M| 35 | - |2271 |8990 |2271 |1136 | 286 | 17k|8723 | 7.000000e+00 | -- | Inf
1702.22/1702.58 c 1703s| 27700 | 39 | 7518k| 270.1 | 19M| 35 | - |2271 |9047 |2271 |1136 | 286 | 17k|8728 | 7.000000e+00 | -- | Inf
1707.22/1707.59 c 1708s| 27800 | 43 | 7545k| 270.1 | 19M| 35 | 359 |2271 |9095 |2271 |1136 | 286 | 17k|8734 | 7.000000e+00 | -- | Inf
1711.42/1711.76 c 1712s| 27900 | 40 | 7569k| 270.0 | 19M| 35 | - |2271 |9153 |2271 |1136 | 286 | 17k|8736 | 7.000000e+00 | -- | Inf
1716.22/1716.56 c 1717s| 28000 | 36 | 7598k| 270.1 | 19M| 35 | 300 |2271 |9200 |2271 |1136 | 286 | 18k|8739 | 7.000000e+00 | -- | Inf
1721.02/1721.36 c 1721s| 28100 | 36 | 7627k| 270.1 | 19M| 35 | 286 |2271 |9238 |2271 |1136 | 286 | 18k|8741 | 7.000000e+00 | -- | Inf
1724.62/1724.97 c 1725s| 28200 | 34 | 7648k| 269.9 | 19M| 35 | 330 |2271 |9290 |2271 |1136 | 286 | 18k|8743 | 7.000000e+00 | -- | Inf
1728.72/1729.03 c 1729s| 28300 | 36 | 7672k| 269.8 | 19M| 35 | 310 |2271 |9341 |2271 |1136 | 286 | 18k|8745 | 7.000000e+00 | -- | Inf
1733.32/1733.66 c 1734s| 28400 | 35 | 7697k| 269.8 | 19M| 35 | - |2271 |9387 |2271 |1136 | 286 | 18k|8749 | 7.000000e+00 | -- | Inf
1737.52/1737.89 c 1738s| 28500 | 39 | 7722k| 269.7 | 19M| 35 | - |2271 |9439 |2271 |1136 | 286 | 18k|8752 | 7.000000e+00 | -- | Inf
1741.41/1741.76 c 1742s| 28600 | 35 | 7744k| 269.5 | 19M| 35 | 327 |2271 |9482 |2271 |1136 | 286 | 18k|8757 | 7.000000e+00 | -- | Inf
1746.22/1746.56 c 1747s| 28700 | 33 | 7774k| 269.6 | 19M| 35 | 318 |2271 |9532 |2271 |1136 | 286 | 18k|8759 | 7.000000e+00 | -- | Inf
1750.42/1750.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1750.42/1750.72 c 1751s| 28800 | 33 | 7798k| 269.5 | 19M| 35 | - |2271 |9571 |2271 |1136 | 286 | 18k|8762 | 7.000000e+00 | -- | Inf
1755.33/1755.63 c 1756s| 28900 | 35 | 7829k| 269.7 | 19M| 35 | 363 |2271 |9607 |2271 |1136 | 286 | 18k|8763 | 7.000000e+00 | -- | Inf
1759.82/1760.19 c 1760s| 29000 | 36 | 7855k| 269.6 | 19M| 35 | 387 |2271 |9644 |2271 |1136 | 286 | 18k|8769 | 7.000000e+00 | -- | Inf
1764.21/1764.57 c 1765s| 29100 | 32 | 7882k| 269.6 | 19M| 35 | - |2271 |9694 |2271 |1136 | 286 | 18k|8770 | 7.000000e+00 | -- | Inf
1770.81/1771.10 c 1771s| 29200 | 32 | 7924k| 270.1 | 19M| 35 | - |2271 |9738 |2271 |1136 | 286 | 18k|8772 | 7.000000e+00 | -- | Inf
1775.61/1775.96 c 1776s| 29300 | 30 | 7954k| 270.2 | 19M| 35 | - |2271 |9801 |2271 |1136 | 286 | 18k|8772 | 7.000000e+00 | -- | Inf
1781.11/1781.43 c 1781s| 29400 | 34 | 7986k| 270.4 | 19M| 35 | - |2271 |9738 |2271 |1136 | 286 | 18k|8777 | 7.000000e+00 | -- | Inf
1785.31/1785.60 c 1786s| 29500 | 38 | 8009k| 270.3 | 19M| 35 | - |2271 |9683 |2271 |1136 | 286 | 18k|8784 | 7.000000e+00 | -- | Inf
1789.81/1790.19 c 1790s| 29600 | 40 | 8033k| 270.2 | 19M| 35 | - |2271 |9674 |2271 |1136 | 286 | 18k|8791 | 7.000000e+00 | -- | Inf
1795.01/1795.35 c 1795s| 29700 | 42 | 8063k| 270.3 | 19M| 35 | - |2271 |9698 |2271 |1136 | 286 | 19k|8794 | 7.000000e+00 | -- | Inf
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 29727
1796.71/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.00 c Dual Bound : +7.00000000000000e+00
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 s UNKNOWN
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Total Time : 1797.00
1796.71/1797.00 c solving : 1797.00
1796.71/1797.00 c presolving : 0.53 (included in solving)
1796.71/1797.00 c reading : 0.01 (included in solving)
1796.71/1797.00 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3693663-1338042803.opb
1796.71/1797.00 c Variables : 3463 (3463 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 2279 initial, 2279 maximal
1796.71/1797.00 c Objective sense : minimize
1796.71/1797.00 c Presolved Problem :
1796.71/1797.00 c Problem name : t_HOME/instance-3693663-1338042803.opb
1796.71/1797.00 c Variables : 2271 (2271 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 1033 initial, 9831 maximal
1796.71/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c probing : 0.44 0.00 17 0 0 0 0 0 0 0 0
1796.71/1797.00 c setppc : 0.01 0.00 0 0 0 0 0 94 0 0 0
1796.71/1797.00 c linear : 0.05 0.00 1127 48 0 1127 0 1152 0 398 0
1796.71/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c root node : - - 4 - - 4 - - - - -
1796.71/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c integral : 0 0 0 0 16073 0 4 0 103 1723 0 0 29842
1796.71/1797.00 c setppc : 1033 1033 41 170341 0 2 3 6882223 77 1020358 0 0 0
1796.71/1797.00 c logicor : 0+ 8798 41 39566 0 0 0 102940 43 22828 10 0 0
1796.71/1797.00 c countsols : 0 0 0 0 0 2 0 0 0 0 0 0 0
1796.71/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.00 c integral : 456.64 0.00 0.00 0.00 456.64 0.00 0.00 0.00
1796.71/1797.00 c setppc : 5.82 0.00 0.00 3.22 0.00 0.00 0.00 2.60
1796.71/1797.00 c logicor : 1.67 0.00 0.00 1.55 0.00 0.00 0.00 0.13
1796.71/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.00 c rootredcost : 0 0 0 0
1796.71/1797.00 c pseudoobj : 181008 0 0 4
1796.71/1797.00 c vbounds : 0 0 0 0
1796.71/1797.00 c redcost : 16114 0 0 0
1796.71/1797.00 c probing : 0 0 0 0
1796.71/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.00 c rootredcost : 0.05 0.00 0.00 0.05 0.00
1796.71/1797.00 c pseudoobj : 10.66 0.00 0.00 10.66 0.00
1796.71/1797.00 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.71/1797.00 c redcost : 0.54 0.00 0.00 0.54 0.00
1796.71/1797.00 c probing : 0.44 0.00 0.44 0.00 0.00
1796.71/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.00 c propagation : 0.01 120 113 679 49.3 48 8.8 -
1796.71/1797.00 c infeasible LP : 24.49 15004 13639 227393 241.6 32 27.4 0
1796.71/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.00 c applied globally : - - - 18860 56.4 - - -
1796.71/1797.00 c applied locally : - - - 159 331.3 - - -
1796.71/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.00 c cut pool : 0.00 40 - - 50 - (maximal pool size: 430)
1796.71/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c impliedbounds : 0.02 0.00 41 0 0 110 0
1796.71/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c gomory : 0.13 0.00 10 0 0 39 0
1796.71/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c strongcg : 0.28 0.00 20 0 0 110 0
1796.71/1797.00 c cmir : 0.08 0.00 10 0 0 0 0
1796.71/1797.00 c flowcover : 0.07 0.00 10 0 0 0 0
1796.71/1797.00 c clique : 1.07 0.00 41 0 0 302 0
1796.71/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.71/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.00 c problem variables: 0.00 - 0 0
1796.71/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c relpscost : 456.62 0.00 16073 103 1723 0 0 29842
1796.71/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c inference : 0.00 0.00 2 0 0 0 0 4
1796.71/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.00 c LP solutions : 0.00 - - 0
1796.71/1797.00 c pseudo solutions : 0.00 - - 0
1796.71/1797.00 c oneopt : 0.01 0.00 0 0
1796.71/1797.00 c crossover : 0.01 0.00 0 0
1796.71/1797.00 c guideddiving : 0.00 0.00 0 0
1796.71/1797.00 c pscostdiving : 10.14 0.00 28 0
1796.71/1797.00 c veclendiving : 12.93 0.00 28 0
1796.71/1797.00 c feaspump : 9.79 0.00 14 0
1796.71/1797.00 c linesearchdiving : 4.74 0.00 29 0
1796.71/1797.00 c fracdiving : 15.53 0.00 29 0
1796.71/1797.00 c coefdiving : 17.47 0.00 29 0
1796.71/1797.00 c objpscostdiving : 6.64 0.00 15 0
1796.71/1797.00 c rootsoldiving : 3.75 0.00 15 0
1796.71/1797.00 c smallcard : 0.00 0.00 0 0
1796.71/1797.00 c trivial : 0.00 0.00 2 0
1796.71/1797.00 c shiftandpropagate: 0.02 0.00 1 0
1796.71/1797.00 c simplerounding : 0.01 0.00 0 0
1796.71/1797.00 c zirounding : 0.73 0.00 0 0
1796.71/1797.00 c rounding : 0.39 0.00 1769 0
1796.71/1797.00 c shifting : 0.39 0.00 629 0
1796.71/1797.00 c intshifting : 0.00 0.00 0 0
1796.71/1797.00 c twoopt : 0.00 0.00 0 0
1796.71/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.00 c indoneopt : 0.02 0.00 0 0
1796.71/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.00 c clique : 0.00 0.00 0 0
1796.71/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.00 c indrounding : 0.00 0.00 0 0
1796.71/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.00 c intdiving : 0.00 0.00 0 0
1796.71/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.00 c octane : 0.00 0.00 0 0
1796.71/1797.00 c rens : 0.80 0.00 1 0
1796.71/1797.00 c rins : 0.00 0.00 0 0
1796.71/1797.00 c localbranching : 0.00 0.00 0 0
1796.71/1797.00 c mutation : 0.00 0.00 0 0
1796.71/1797.00 c dins : 0.00 0.00 0 0
1796.71/1797.00 c vbounds : 0.00 0.00 0 0
1796.71/1797.00 c undercover : 0.00 0.00 0 0
1796.71/1797.00 c subnlp : 0.01 0.00 0 0
1796.71/1797.00 c trysol : 0.01 0.00 0 0
1796.71/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.00 c primal LP : 0.01 6 0 0.00 - 0.01 6
1796.71/1797.00 c dual LP : 1204.95 30811 7623118 247.79 6326.51 0.05 46
1796.71/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.00 c diving/probing LP: 74.27 14661 446332 30.44 6009.73
1796.71/1797.00 c strong branching : 454.87 8803 2752049 312.63 6050.17
1796.71/1797.00 c (at root node) : - 17 10327 607.47 -
1796.71/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.00 c B&B Tree :
1796.71/1797.00 c number of runs : 1
1796.71/1797.00 c nodes : 29727
1796.71/1797.00 c nodes (total) : 29727
1796.71/1797.00 c nodes left : 41
1796.71/1797.00 c max depth : 35
1796.71/1797.00 c max depth (total): 35
1796.71/1797.00 c backtracks : 6329 (21.3%)
1796.71/1797.00 c delayed cutoffs : 79
1796.71/1797.00 c repropagations : 25961 (150024 domain reductions, 69 cutoffs)
1796.71/1797.00 c avg switch length: 3.51
1796.71/1797.00 c switching time : 2.99
1796.71/1797.00 c Solution :
1796.71/1797.00 c Solutions found : 0 (0 improvements)
1796.71/1797.00 c Primal Bound : -
1796.71/1797.00 c Dual Bound : +7.00000000000000e+00
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 c Root Dual Bound : +7.00000000000000e+00
1796.71/1797.00 c Root Iterations : 36543
1796.71/1797.04 c Time complete: 1796.75.
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-3693663-1338042803/watcher-3693663-1338042803 -o /tmp/evaluation-result-3693663-1338042803/solver-3693663-1338042803 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693663-1338042803.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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.00 2.01 2.00 3/176 2381
/proc/meminfo: memFree=24367596/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=9972 CPUtime=0 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 1248 0 0 0 0 0 0 0 20 0 1 0 270408868 10211328 1203 33554432000 4194304 10169799 140736002246192 140733841830504 9174538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 2540 1215 412 1459 0 1072 0
[startup+0.0923591 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2381
/proc/meminfo: memFree=24367596/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=29464 CPUtime=0.08 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 6152 0 0 0 8 0 0 0 20 0 1 0 270408868 30171136 5850 33554432000 4194304 10169799 140736002246192 140736002110872 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 7366 5850 573 1459 0 5898 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29464
[startup+0.100319 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2381
/proc/meminfo: memFree=24367596/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=30560 CPUtime=0.08 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 6408 0 0 0 8 0 0 0 20 0 1 0 270408868 31293440 6106 33554432000 4194304 10169799 140736002246192 140736002110872 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 7640 6106 573 1459 0 6172 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30560
[startup+0.300284 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2381
/proc/meminfo: memFree=24367596/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=34332 CPUtime=0.29 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 7407 0 0 0 28 1 0 0 20 0 1 0 270408868 35155968 7105 33554432000 4194304 10169799 140736002246192 140736002110872 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 8583 7105 598 1459 0 7115 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34332
[startup+0.700242 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2381
/proc/meminfo: memFree=24367596/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=41700 CPUtime=0.69 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 9542 0 0 0 67 2 0 0 20 0 1 0 270408868 42700800 9192 33554432000 4194304 10169799 140736002246192 140736002110872 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 10425 9192 761 1459 0 8957 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41700
[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2382
/proc/meminfo: memFree=24327652/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=41852 CPUtime=1.48 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 9563 0 0 0 146 2 0 0 20 0 1 0 270408868 42856448 9213 33554432000 4194304 10169799 140736002246192 140736002240648 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 10463 9213 761 1459 0 8995 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41852
[startup+3.10018 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2382
/proc/meminfo: memFree=24319220/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=42492 CPUtime=3.09 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 9879 0 0 0 305 4 0 0 20 0 1 0 270408868 43511808 9450 33554432000 4194304 10169799 140736002246192 140736002238504 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 10623 9450 779 1459 0 9155 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42492
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2382
/proc/meminfo: memFree=24314996/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=43964 CPUtime=6.29 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 10288 0 0 0 621 8 0 0 20 0 1 0 270408868 45019136 9853 33554432000 4194304 10169799 140736002246192 140736002243704 7469893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 10991 9853 807 1459 0 9523 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43964
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2382
/proc/meminfo: memFree=24260560/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=44528 CPUtime=12.69 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 15411 0 0 0 1255 14 0 0 20 0 1 0 270408868 45596672 10021 33554432000 4194304 10169799 140736002246192 140736002240840 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 11132 10021 860 1459 0 9664 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44528
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2382
/proc/meminfo: memFree=24252352/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=45080 CPUtime=25.48 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 15575 0 0 0 2528 20 0 0 20 0 1 0 270408868 46161920 10185 33554432000 4194304 10169799 140736002246192 140736002240888 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 11270 10185 860 1459 0 9802 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45080
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2382
/proc/meminfo: memFree=23597304/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=45908 CPUtime=51.08 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 15767 0 0 0 5072 36 0 0 20 0 1 0 270408868 47009792 10377 33554432000 4194304 10169799 140736002246192 140736002241256 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 11477 10377 861 1459 0 10009 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45908
[startup+102.307 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2382
/proc/meminfo: memFree=23592388/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=48108 CPUtime=102.28 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 16332 0 0 0 10158 70 0 0 20 0 1 0 270408868 49262592 10942 33554432000 4194304 10169799 140736002246192 140736002240520 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 12027 10942 861 1459 0 10559 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 48108
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2382
/proc/meminfo: memFree=23585220/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=49508 CPUtime=162.27 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 16686 0 0 0 16114 113 0 0 20 0 1 0 270408868 50696192 11296 33554432000 4194304 10169799 140736002246192 140736002241176 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 12377 11296 861 1459 0 10909 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 49508
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2383
/proc/meminfo: memFree=23442316/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=50360 CPUtime=222.26 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 16890 0 0 0 22067 159 0 0 20 0 1 0 270408868 51568640 11500 33554432000 4194304 10169799 140736002246192 140736002240696 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 12590 11500 861 1459 0 11122 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 50360
[startup+282.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/177 2383
/proc/meminfo: memFree=23340880/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=51212 CPUtime=282.25 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 17100 0 0 0 28022 203 0 0 20 0 1 0 270408868 52441088 11710 33554432000 4194304 10169799 140736002246192 140736002240600 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 12803 11710 861 1459 0 11335 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 51212
[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 2383
/proc/meminfo: memFree=23338304/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=52128 CPUtime=342.23 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 17329 0 0 0 33972 251 0 0 20 0 1 0 270408868 53379072 11939 33554432000 4194304 10169799 140736002246192 140736002240792 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 13032 11939 861 1459 0 11564 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 52128
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 2386
/proc/meminfo: memFree=23337052/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=52828 CPUtime=402.23 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 17503 0 0 0 39919 304 0 0 20 0 1 0 270408868 54095872 12113 33554432000 4194304 10169799 140736002246192 140736002240648 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 13207 12113 861 1459 0 11739 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 52828
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 2386
/proc/meminfo: memFree=23336128/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=53028 CPUtime=462.22 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 17572 0 0 0 45871 351 0 0 20 0 1 0 270408868 54300672 12182 33554432000 4194304 10169799 140736002246192 140736002240600 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 13257 12182 861 1459 0 11789 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 53028
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 2387
/proc/meminfo: memFree=23335660/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=53160 CPUtime=522.21 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 17610 0 0 0 51822 399 0 0 20 0 1 0 270408868 54435840 12220 33554432000 4194304 10169799 140736002246192 140736002240696 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 13290 12220 861 1459 0 11822 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 53160
[startup+582.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 2387
/proc/meminfo: memFree=23333208/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=54312 CPUtime=582.2 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 17908 0 0 0 57774 446 0 0 20 0 1 0 270408868 55615488 12518 33554432000 4194304 10169799 140736002246192 140736002240792 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 13578 12518 861 1459 0 12110 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 54312
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28428128/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=56412 CPUtime=1122.11 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 18420 0 0 0 111327 884 0 0 20 0 1 0 270408868 57765888 13321 33554432000 4194304 10169799 140736002246192 140736002240056 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 14103 13321 861 1459 0 12635 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 56412
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2431
/proc/meminfo: memFree=28376568/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=56948 CPUtime=1182.1 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 18523 0 0 0 117264 946 0 0 20 0 1 0 270408868 58314752 13424 33554432000 4194304 10169799 140736002246192 140736002240600 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 14237 13424 861 1459 0 12769 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 56948
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2431
/proc/meminfo: memFree=28410264/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=57256 CPUtime=1242.09 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 18607 0 0 0 123205 1004 0 0 20 0 1 0 270408868 58630144 13508 33554432000 4194304 10169799 140736002246192 140736002240600 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 14314 13508 861 1459 0 12846 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 57256
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2431
/proc/meminfo: memFree=28410388/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=57256 CPUtime=1302.09 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 18630 0 0 0 129154 1055 0 0 20 0 1 0 270408868 58630144 13531 33554432000 4194304 10169799 140736002246192 140736002240696 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 14314 13531 861 1459 0 12846 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 57256
[startup+1362.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/177 2431
/proc/meminfo: memFree=28410388/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=57392 CPUtime=1362.08 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 18644 0 0 0 135101 1107 0 0 20 0 1 0 270408868 58769408 13545 33554432000 4194304 10169799 140736002246192 140736002240696 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 14348 13545 861 1459 0 12880 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 57392
[startup+1422.31 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 2431
/proc/meminfo: memFree=28409644/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=58072 CPUtime=1422.08 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 18837 0 0 0 141043 1165 0 0 20 0 1 0 270408868 59465728 13738 33554432000 4194304 10169799 140736002246192 140736002240600 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 14518 13738 861 1459 0 13050 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 58072
[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/177 2432
/proc/meminfo: memFree=28408960/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=58468 CPUtime=1482.06 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 18917 0 0 0 146992 1214 0 0 20 0 1 0 270408868 59871232 13818 33554432000 4194304 10169799 140736002246192 140736002242712 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 14617 13818 861 1459 0 13149 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 58468
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 2432
/proc/meminfo: memFree=28408648/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=58628 CPUtime=1542.05 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 18966 0 0 0 152937 1268 0 0 20 0 1 0 270408868 60035072 13889 33554432000 4194304 10169799 140736002246192 140736002240696 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 14657 13889 861 1459 0 13189 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 58628
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 2435
/proc/meminfo: memFree=28408112/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=58852 CPUtime=1602.04 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 19035 0 0 0 158884 1320 0 0 20 0 1 0 270408868 60264448 13958 33554432000 4194304 10169799 140736002246192 140736002241176 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 14713 13958 861 1459 0 13245 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 58852
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 2458
/proc/meminfo: memFree=28406724/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=59104 CPUtime=1662.03 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 19102 0 0 0 164829 1374 0 0 20 0 1 0 270408868 60522496 14025 33554432000 4194304 10169799 140736002246192 140736002240696 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 14776 14025 861 1459 0 13308 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 59104
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2458
/proc/meminfo: memFree=28406168/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=59260 CPUtime=1722.02 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 19139 0 0 0 170776 1426 0 0 20 0 1 0 270408868 60682240 14062 33554432000 4194304 10169799 140736002246192 140736002240984 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 14815 14062 861 1459 0 13347 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 59260
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2459
/proc/meminfo: memFree=28402696/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=60104 CPUtime=1782.02 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 19284 0 0 0 176727 1475 0 0 20 0 1 0 270408868 61546496 14207 33554432000 4194304 10169799 140736002246192 140736002240600 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 15026 14207 861 1459 0 13558 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 60104
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2459
/proc/meminfo: memFree=28402944/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=60104 CPUtime=1785.21 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 19284 0 0 0 177043 1478 0 0 20 0 1 0 270408868 61546496 14207 33554432000 4194304 10169799 140736002246192 140736002240600 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 15026 14207 861 1459 0 13558 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 60104
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2459
/proc/meminfo: memFree=28403068/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=60104 CPUtime=1791.62 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 19284 0 0 0 177678 1484 0 0 20 0 1 0 270408868 61546496 14207 33554432000 4194304 10169799 140736002246192 140736002240600 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 15026 14207 861 1459 0 13558 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 60104
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2459
/proc/meminfo: memFree=28403068/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=60104 CPUtime=1794.81 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 19284 0 0 0 177995 1486 0 0 20 0 1 0 270408868 61546496 14207 33554432000 4194304 10169799 140736002246192 140736002240600 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 15026 14207 861 1459 0 13558 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 60104
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2459
/proc/meminfo: memFree=28403068/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=60104 CPUtime=1795.61 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 19284 0 0 0 178074 1487 0 0 20 0 1 0 270408868 61546496 14207 33554432000 4194304 10169799 140736002246192 140736002240600 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 15026 14207 861 1459 0 13558 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 60104
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2459
/proc/meminfo: memFree=28403068/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=60104 CPUtime=1796.41 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 19284 0 0 0 178154 1487 0 0 20 0 1 0 270408868 61546496 14207 33554432000 4194304 10169799 140736002246192 140736002241176 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 15026 14207 861 1459 0 13558 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 60104
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2459
/proc/meminfo: memFree=28403068/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=60104 CPUtime=1796.61 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 19284 0 0 0 178174 1487 0 0 20 0 1 0 270408868 61546496 14207 33554432000 4194304 10169799 140736002246192 140736002241176 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 15026 14207 861 1459 0 13558 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 60104
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2459
/proc/meminfo: memFree=28403068/32873844 swapFree=7100/7100
[pid=2381] ppid=2379 vsize=60104 CPUtime=1796.71 cores=1,3,5,7
/proc/2381/stat : 2381 (scip-2.1.1.4sfi) R 2379 2381 32565 0 -1 4202496 19284 0 0 0 178184 1487 0 0 20 0 1 0 270408868 61546496 14207 33554432000 4194304 10169799 140736002246192 140736002241176 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2381/statm: 15026 14207 861 1459 0 13558 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 60104
Child status: 0
Real time (s): 1797.04
CPU time (s): 1796.76
CPU user time (s): 1781.88
CPU system time (s): 14.8797
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 65308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.88
system time used= 14.8797
maximum resident set size= 59748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19288
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= 12
involuntary context switches= 1853
runsolver used 2.68959 second user time and 7.2209 second system time
The end