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-3692840-1338027276.opb>
0.00/0.02 c original problem has 2152 variables (2152 bin, 0 int, 0 impl, 0 cont) and 5613 constraints
0.00/0.02 c problem read in 0.02
0.00/0.04 c presolving:
0.00/0.10 c (round 1) 232 del vars, 207 del conss, 0 add conss, 74 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92088 impls, 0 clqs
0.08/0.11 c (round 2) 234 del vars, 543 del conss, 0 add conss, 76 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92088 impls, 0 clqs
0.08/0.11 c (round 3) 238 del vars, 553 del conss, 0 add conss, 80 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs
0.08/0.12 c (round 4) 241 del vars, 559 del conss, 0 add conss, 83 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs
0.08/0.12 c (round 5) 246 del vars, 568 del conss, 0 add conss, 88 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs
0.08/0.13 c (round 6) 252 del vars, 581 del conss, 0 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92422 impls, 0 clqs
0.08/0.13 c (round 7) 252 del vars, 593 del conss, 0 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92682 impls, 0 clqs
0.08/0.17 c (round 8) 252 del vars, 607 del conss, 0 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5007 upgd conss, 92682 impls, 0 clqs
0.08/0.19 c (round 9) 252 del vars, 608 del conss, 0 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5007 upgd conss, 92682 impls, 0 clqs
0.19/0.23 c (round 10) 277 del vars, 5119 del conss, 1503 add conss, 109 chg bounds, 238 chg sides, 506 chg coeffs, 5007 upgd conss, 114007 impls, 0 clqs
0.19/0.24 c (round 11) 288 del vars, 5132 del conss, 1503 add conss, 110 chg bounds, 238 chg sides, 517 chg coeffs, 5013 upgd conss, 115250 impls, 1 clqs
0.19/0.25 c (round 12) 316 del vars, 5361 del conss, 1732 add conss, 110 chg bounds, 238 chg sides, 517 chg coeffs, 5013 upgd conss, 117638 impls, 2 clqs
0.19/0.26 c (round 13) 325 del vars, 5366 del conss, 1732 add conss, 110 chg bounds, 238 chg sides, 517 chg coeffs, 5021 upgd conss, 117638 impls, 217 clqs
0.19/0.26 c (round 14) 331 del vars, 5394 del conss, 1759 add conss, 110 chg bounds, 238 chg sides, 517 chg coeffs, 5021 upgd conss, 118420 impls, 218 clqs
0.39/0.42 c (round 15) 331 del vars, 5408 del conss, 1764 add conss, 110 chg bounds, 238 chg sides, 517 chg coeffs, 5021 upgd conss, 118420 impls, 218 clqs
0.49/0.58 c (round 16) 331 del vars, 5409 del conss, 1764 add conss, 110 chg bounds, 238 chg sides, 517 chg coeffs, 5021 upgd conss, 118420 impls, 218 clqs
0.79/0.88 c (round 17) 356 del vars, 5409 del conss, 1764 add conss, 115 chg bounds, 238 chg sides, 517 chg coeffs, 5021 upgd conss, 185488 impls, 213 clqs
0.79/0.89 c (round 18) 360 del vars, 5418 del conss, 1764 add conss, 115 chg bounds, 238 chg sides, 521 chg coeffs, 5021 upgd conss, 185584 impls, 213 clqs
0.89/0.90 c (round 19) 370 del vars, 5515 del conss, 1861 add conss, 115 chg bounds, 238 chg sides, 521 chg coeffs, 5021 upgd conss, 185998 impls, 213 clqs
1.00/1.05 c (round 20) 370 del vars, 5525 del conss, 1871 add conss, 115 chg bounds, 238 chg sides, 521 chg coeffs, 5021 upgd conss, 185998 impls, 301 clqs
1.19/1.21 c (round 21) 370 del vars, 5527 del conss, 1871 add conss, 115 chg bounds, 238 chg sides, 521 chg coeffs, 5021 upgd conss, 185998 impls, 302 clqs
1.48/1.52 c (round 22) 395 del vars, 5527 del conss, 1871 add conss, 117 chg bounds, 238 chg sides, 521 chg coeffs, 5021 upgd conss, 212022 impls, 295 clqs
1.48/1.53 c (round 23) 407 del vars, 5540 del conss, 1871 add conss, 117 chg bounds, 238 chg sides, 526 chg coeffs, 5033 upgd conss, 213602 impls, 294 clqs
1.48/1.54 c (round 24) 409 del vars, 5561 del conss, 1891 add conss, 117 chg bounds, 238 chg sides, 526 chg coeffs, 5033 upgd conss, 214496 impls, 294 clqs
1.59/1.69 c (round 25) 409 del vars, 5562 del conss, 1892 add conss, 117 chg bounds, 238 chg sides, 526 chg coeffs, 5033 upgd conss, 214496 impls, 310 clqs
1.69/1.77 c (round 26) 409 del vars, 5563 del conss, 1892 add conss, 117 chg bounds, 238 chg sides, 526 chg coeffs, 5033 upgd conss, 214496 impls, 311 clqs
1.78/1.87 c (1.9s) probing: 1000/1900 (52.6%) - 45 fixings, 40 aggregations, 19661 implications, 22 bound changes
2.10/2.12 c (round 27) 442 del vars, 5563 del conss, 1892 add conss, 117 chg bounds, 238 chg sides, 526 chg coeffs, 5033 upgd conss, 243276 impls, 306 clqs
2.10/2.13 c (round 28) 442 del vars, 5597 del conss, 1920 add conss, 117 chg bounds, 238 chg sides, 526 chg coeffs, 5033 upgd conss, 243334 impls, 306 clqs
2.29/2.31 c (2.3s) probing: 1719/1900 (90.5%) - 64 fixings, 44 aggregations, 31685 implications, 22 bound changes
2.29/2.31 c (2.3s) probing aborted: 50/50 successive totally useless probings
2.29/2.31 c presolving (29 rounds):
2.29/2.31 c 442 deleted vars, 5597 deleted constraints, 1920 added constraints, 117 tightened bounds, 0 added holes, 238 changed sides, 526 changed coefficients
2.29/2.31 c 245498 implications, 319 cliques
2.29/2.31 c presolved problem has 1710 variables (1710 bin, 0 int, 0 impl, 0 cont) and 1902 constraints
2.29/2.31 c 472 constraints of type <knapsack>
2.29/2.31 c 412 constraints of type <setppc>
2.29/2.31 c 1017 constraints of type <and>
2.29/2.31 c 1 constraints of type <logicor>
2.29/2.31 c transformed objective value is always integral (scale: 1)
2.29/2.31 c Presolving Time: 2.29
2.29/2.31 c - non default parameters ----------------------------------------------------------------------
2.29/2.31 c # SCIP version 2.1.1.4
2.29/2.31 c
2.29/2.31 c # maximal time in seconds to run
2.29/2.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.31 c limits/time = 1797
2.29/2.31 c
2.29/2.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.29/2.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.31 c limits/memory = 13950
2.29/2.31 c
2.29/2.31 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.29/2.31 c # [type: int, range: [1,2], default: 1]
2.29/2.31 c timing/clocktype = 2
2.29/2.31 c
2.29/2.31 c # belongs reading time to solving time?
2.29/2.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.31 c timing/reading = TRUE
2.29/2.31 c
2.29/2.31 c -----------------------------------------------------------------------------------------------
2.29/2.31 c start solving
2.29/2.31 c
2.29/2.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.29/2.36 c 2.4s| 1 | 0 | 489 | - | 17M| 0 | 365 |1710 |1923 |1710 |2919 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
3.29/3.39 c 3.4s| 1 | 0 | 6563 | - | 18M| 0 | 660 |1710 |1932 |1710 |3403 | 484 | 30 | 0 | 0.000000e+00 | -- | Inf
3.58/3.65 c 3.7s| 1 | 0 | 7727 | - | 19M| 0 | 776 |1710 |1932 |1710 |4250 |1331 | 30 | 0 | 0.000000e+00 | -- | Inf
4.09/4.14 c 4.1s| 1 | 0 | 9605 | - | 20M| 0 | 819 |1710 |1932 |1710 |5293 |2374 | 30 | 0 | 0.000000e+00 | -- | Inf
4.79/4.88 c 4.9s| 1 | 0 | 11263 | - | 21M| 0 | 928 |1710 |1932 |1710 |6027 |3108 | 30 | 0 | 0.000000e+00 | -- | Inf
5.39/5.49 c 5.5s| 1 | 0 | 12806 | - | 21M| 0 | 860 |1710 |1932 |1710 |6729 |3810 | 30 | 0 | 0.000000e+00 | -- | Inf
6.09/6.18 c 6.2s| 1 | 0 | 14147 | - | 22M| 0 | 858 |1710 |1932 |1710 |7373 |4454 | 30 | 0 | 0.000000e+00 | -- | Inf
8.59/8.63 c 8.6s| 1 | 2 | 14147 | - | 22M| 0 | 858 |1710 |1932 |1710 |7373 |4454 | 30 | 18 | 0.000000e+00 | -- | Inf
32.79/32.82 c 32.8s| 100 | 49 | 27097 | 130.8 | 22M| 46 | - |1710 |2011 | 0 | 0 |5296 | 113 | 402 | 0.000000e+00 | -- | Inf
34.49/34.52 c 34.5s| 200 | 21 | 35442 | 107.0 | 22M| 46 | 363 |1710 |2129 |1710 |4275 |5347 | 231 | 420 | 0.000000e+00 | -- | Inf
35.99/36.05 c 36.0s| 300 | 26 | 40759 | 89.0 | 22M| 46 | 367 |1710 |2188 |1710 |4315 |5489 | 290 | 461 | 0.000000e+00 | -- | Inf
38.58/38.61 c 38.6s| 400 | 45 | 49889 | 89.6 | 22M| 46 | 488 |1710 |2248 |1710 |4315 |5730 | 350 | 521 | 0.000000e+00 | -- | Inf
39.98/40.09 c 40.1s| 500 | 65 | 55064 | 82.0 | 22M| 46 | 455 |1710 |2413 |1710 |4276 |5925 | 515 | 551 | 0.000000e+00 | -- | Inf
41.68/41.73 c 41.7s| 600 | 77 | 60099 | 76.7 | 23M| 46 | 444 |1710 |2557 |1710 |4305 |6078 | 659 | 600 | 0.000000e+00 | -- | Inf
42.68/42.77 c 42.8s| 700 | 67 | 63847 | 71.1 | 23M| 46 | - |1710 |2652 | 0 | 0 |6202 | 754 | 615 | 0.000000e+00 | -- | Inf
44.08/44.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.08/44.16 c 44.2s| 800 | 60 | 68314 | 67.8 | 23M| 46 | 302 |1710 |2823 |1710 |4285 |6326 | 925 | 667 | 0.000000e+00 | -- | Inf
45.38/45.48 c 45.5s| 900 | 61 | 73159 | 65.6 | 23M| 46 | 385 |1710 |2980 |1710 |4285 |6472 |1082 | 687 | 0.000000e+00 | -- | Inf
47.08/47.15 c 47.1s| 1000 | 62 | 78587 | 64.5 | 23M| 46 | 359 |1710 |3178 |1710 |4299 |6653 |1280 | 752 | 0.000000e+00 | -- | Inf
48.58/48.62 c 48.6s| 1100 | 59 | 84555 | 64.1 | 23M| 46 | 375 |1710 |3358 |1710 |4263 |6824 |1460 | 780 | 0.000000e+00 | -- | Inf
50.68/50.76 c 50.8s| 1200 | 55 | 91641 | 64.6 | 23M| 46 | - |1710 |3529 | 0 | 0 |7051 |1631 | 834 | 0.000000e+00 | -- | Inf
52.58/52.64 c 52.6s| 1300 | 67 | 98833 | 65.2 | 23M| 46 | - |1710 |3664 | 0 | 0 |7304 |1773 | 866 | 0.000000e+00 | -- | Inf
54.28/54.30 c 54.3s| 1400 | 61 |104199 | 64.4 | 23M| 46 | 332 |1710 |3781 |1710 |4293 |7456 |1912 | 907 | 0.000000e+00 | -- | Inf
55.88/55.99 c 56.0s| 1500 | 57 |110539 | 64.3 | 23M| 46 | 590 |1710 |3877 |1710 |4256 |7671 |2038 | 948 | 0.000000e+00 | -- | Inf
57.48/57.53 c 57.5s| 1600 | 60 |116944 | 64.3 | 23M| 46 | 472 |1710 |3980 |1710 |4268 |7825 |2171 | 997 | 0.000000e+00 | -- | Inf
59.18/59.27 c 59.3s| 1700 | 58 |122966 | 64.0 | 23M| 46 | - |1710 |4103 | 0 | 0 |7985 |2377 |1057 | 0.000000e+00 | -- | Inf
61.08/61.20 c 61.2s| 1800 | 63 |129523 | 64.1 | 23M| 46 | 408 |1710 |4089 |1710 |4278 |8214 |2520 |1120 | 0.000000e+00 | -- | Inf
63.58/63.63 c 63.6s| 1900 | 49 |137988 | 65.2 | 23M| 46 | 402 |1710 |3918 |1710 |4265 |8564 |2647 |1193 | 0.000000e+00 | -- | Inf
65.37/65.42 c 65.4s| 2000 | 56 |144691 | 65.3 | 23M| 46 | 238 |1710 |4023 |1710 |4289 |8804 |2832 |1235 | 0.000000e+00 | -- | Inf
67.48/67.50 c 67.5s| 2100 | 50 |152483 | 65.9 | 23M| 46 | 283 |1710 |4086 |1710 |4266 |9102 |2976 |1309 | 0.000000e+00 | -- | Inf
69.58/69.61 c 69.6s| 2200 | 34 |159706 | 66.2 | 23M| 46 | - |1710 |4080 | 0 | 0 |9283 |3144 |1366 | 0.000000e+00 | -- | Inf
70.67/70.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.67/70.72 c 70.7s| 2300 | 30 |163245 | 64.9 | 23M| 46 | - |1710 |4234 | 0 | 0 |9410 |3303 |1404 | 0.000000e+00 | -- | Inf
72.28/72.37 c 72.4s| 2400 | 34 |169457 | 64.7 | 23M| 46 | 355 |1710 |4218 |1710 |4282 |9559 |3445 |1452 | 0.000000e+00 | -- | Inf
75.68/75.79 c 75.8s| 2500 | 42 |183235 | 67.7 | 23M| 46 | 382 |1710 |4096 |1710 |4268 |9952 |3559 |1501 | 0.000000e+00 | -- | Inf
78.88/78.94 c 78.9s| 2600 | 99 |195450 | 69.8 | 24M| 46 | 411 |1710 |4284 |1710 |4291 | 10k|3781 |1561 | 0.000000e+00 | -- | Inf
80.78/80.84 c 80.8s| 2700 | 40 |202703 | 69.9 | 23M| 46 | - |1710 |4316 | 0 | 0 | 10k|3886 |1586 | 0.000000e+00 | -- | Inf
84.28/84.31 c 84.3s| 2800 | 46 |218169 | 72.9 | 23M| 46 | 279 |1710 |4376 |1710 |4287 | 10k|4019 |1646 | 0.000000e+00 | -- | Inf
87.27/87.36 c 87.4s| 2900 | 69 |229179 | 74.2 | 24M| 46 | 417 |1710 |4451 |1710 |4239 | 11k|4191 |1711 | 0.000000e+00 | -- | Inf
88.57/88.68 c 88.7s| 3000 | 67 |233725 | 73.2 | 24M| 46 | 254 |1710 |4488 |1710 |4274 | 11k|4288 |1747 | 0.000000e+00 | -- | Inf
91.07/91.11 c 91.1s| 3100 | 62 |242569 | 73.7 | 24M| 46 | 375 |1710 |4601 |1710 |4322 | 11k|4445 |1803 | 0.000000e+00 | -- | Inf
92.47/92.51 c 92.5s| 3200 | 53 |247634 | 73.0 | 24M| 46 | 335 |1710 |4657 |1710 |4300 | 11k|4593 |1826 | 0.000000e+00 | -- | Inf
94.28/94.35 c 94.4s| 3300 | 68 |254164 | 72.8 | 24M| 46 | 148 |1710 |4772 |1710 |4295 | 11k|4739 |1870 | 0.000000e+00 | -- | Inf
96.37/96.45 c 96.4s| 3400 | 60 |262180 | 73.0 | 24M| 46 | 483 |1710 |4813 |1710 |4276 | 12k|4898 |1925 | 0.000000e+00 | -- | Inf
98.77/98.90 c 98.9s| 3500 | 66 |271662 | 73.6 | 24M| 46 | 401 |1710 |4884 |1710 |4329 | 12k|5073 |1991 | 0.000000e+00 | -- | Inf
100.47/100.55 c 101s| 3600 | 60 |277585 | 73.2 | 24M| 46 | 564 |1710 |5033 |1710 |4302 | 12k|5277 |2036 | 0.000000e+00 | -- | Inf
102.57/102.69 c 103s| 3700 | 62 |285618 | 73.4 | 24M| 46 | 289 |1710 |5091 |1710 |4271 | 13k|5420 |2092 | 0.000000e+00 | -- | Inf
104.08/104.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.08/104.16 c 104s| 3800 | 64 |290632 | 72.8 | 24M| 46 | - |1710 |5265 | 0 | 0 | 13k|5606 |2155 | 0.000000e+00 | -- | Inf
106.08/106.16 c 106s| 3900 | 64 |297592 | 72.7 | 24M| 46 | 259 |1710 |5318 |1710 |4276 | 13k|5741 |2205 | 0.000000e+00 | -- | Inf
108.27/108.37 c 108s| 4000 | 57 |305233 | 72.8 | 24M| 46 | - |1710 |5425 | 0 | 0 | 13k|5883 |2274 | 0.000000e+00 | -- | Inf
109.77/109.90 c 110s| 4100 | 59 |310353 | 72.3 | 24M| 46 | 305 |1710 |5540 |1710 |4296 | 13k|6043 |2321 | 0.000000e+00 | -- | Inf
111.27/111.31 c 111s| 4200 | 53 |314918 | 71.6 | 24M| 46 | 568 |1710 |5585 |1710 |4242 | 13k|6172 |2375 | 0.000000e+00 | -- | Inf
113.28/113.37 c 113s| 4300 | 55 |322227 | 71.7 | 24M| 46 | 508 |1710 |5654 |1710 |4259 | 13k|6313 |2452 | 0.000000e+00 | -- | Inf
114.97/115.09 c 115s| 4400 | 64 |328422 | 71.4 | 24M| 46 | 285 |1710 |5774 |1710 |4274 | 14k|6495 |2531 | 0.000000e+00 | -- | Inf
116.58/116.61 c 117s| 4500 | 58 |333481 | 71.0 | 24M| 46 | - |1710 |5873 | 0 | 0 | 14k|6640 |2584 | 0.000000e+00 | -- | Inf
118.87/118.96 c 119s| 4600 | 65 |341972 | 71.3 | 24M| 46 | 293 |1710 |5819 |1710 |4296 | 14k|6786 |2662 | 0.000000e+00 | -- | Inf
120.47/120.54 c 121s| 4700 | 60 |347163 | 70.9 | 24M| 46 | - |1710 |5861 | 0 | 0 | 14k|6935 |2702 | 0.000000e+00 | -- | Inf
122.67/122.75 c 123s| 4800 | 63 |357769 | 71.6 | 24M| 46 | 241 |1710 |5928 |1710 |4296 | 14k|7125 |2765 | 0.000000e+00 | -- | Inf
124.47/124.51 c 125s| 4900 | 55 |365129 | 71.6 | 24M| 46 | - |1710 |6034 | 0 | 0 | 15k|7347 |2800 | 0.000000e+00 | -- | Inf
126.27/126.37 c 126s| 5000 | 57 |374403 | 72.1 | 24M| 46 | 346 |1710 |6121 |1710 |4297 | 15k|7530 |2820 | 0.000000e+00 | -- | Inf
127.87/127.99 c 128s| 5100 | 58 |382647 | 72.3 | 24M| 46 | 471 |1710 |6263 |1710 |4284 | 15k|7707 |2830 | 0.000000e+00 | -- | Inf
130.17/130.20 c 130s| 5200 | 52 |392763 | 72.8 | 24M| 46 | 422 |1710 |6344 |1710 |4274 | 15k|7873 |2877 | 0.000000e+00 | -- | Inf
131.27/131.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.27/131.39 c 131s| 5300 | 56 |398674 | 72.6 | 24M| 46 | 312 |1710 |6464 |1710 |4275 | 16k|8045 |2881 | 0.000000e+00 | -- | Inf
132.47/132.54 c 133s| 5400 | 54 |404156 | 72.2 | 25M| 46 | 294 |1710 |6590 |1710 |4290 | 16k|8188 |2888 | 0.000000e+00 | -- | Inf
133.97/134.07 c 134s| 5500 | 57 |412592 | 72.5 | 25M| 46 | 296 |1710 |6772 |1710 |4289 | 16k|8389 |2889 | 0.000000e+00 | -- | Inf
135.07/135.16 c 135s| 5600 | 46 |417749 | 72.1 | 25M| 46 | - |1710 |6933 | 0 | 0 | 16k|8555 |2893 | 0.000000e+00 | -- | Inf
136.77/136.86 c 137s| 5700 | 58 |424075 | 71.9 | 25M| 46 | 156 |1710 |7080 |1710 |4260 | 17k|8763 |2925 | 0.000000e+00 | -- | Inf
138.17/138.26 c 138s| 5800 | 56 |430673 | 71.8 | 25M| 46 | 496 |1710 |7159 |1710 |4248 | 17k|8902 |2935 | 0.000000e+00 | -- | Inf
140.17/140.21 c 140s| 5900 | 53 |440912 | 72.3 | 25M| 46 | 432 |1710 |7251 |1710 |4240 | 17k|9042 |2944 | 0.000000e+00 | -- | Inf
142.06/142.11 c 142s| 6000 | 54 |449117 | 72.5 | 25M| 46 | - |1710 |7343 | 0 | 0 | 18k|9186 |2975 | 0.000000e+00 | -- | Inf
143.57/143.68 c 144s| 6100 | 50 |456015 | 72.4 | 25M| 46 | 556 |1710 |7434 |1710 |4241 | 18k|9335 |2991 | 0.000000e+00 | -- | Inf
144.66/144.76 c 145s| 6200 | 54 |461139 | 72.1 | 25M| 46 | 435 |1710 |7558 |1710 |4271 | 18k|9507 |2995 | 0.000000e+00 | -- | Inf
145.87/145.95 c 146s| 6300 | 53 |466228 | 71.8 | 25M| 46 | 429 |1710 |7669 |1710 |4265 | 18k|9668 |3010 | 0.000000e+00 | -- | Inf
147.17/147.22 c 147s| 6400 | 57 |473419 | 71.8 | 25M| 46 | 394 |1710 |7817 |1710 |4281 | 18k|9832 |3010 | 0.000000e+00 | -- | Inf
148.96/149.04 c 149s| 6500 | 53 |480170 | 71.7 | 25M| 46 | 313 |1710 |7960 |1710 |4300 | 19k| 10k|3044 | 0.000000e+00 | -- | Inf
150.57/150.63 c 151s| 6600 | 60 |485628 | 71.4 | 25M| 46 | 259 |1710 |8142 |1710 |4263 | 19k| 10k|3076 | 0.000000e+00 | -- | Inf
152.16/152.20 c 152s| 6700 | 56 |491232 | 71.2 | 25M| 46 | 399 |1710 |8297 |1710 |4248 | 19k| 10k|3115 | 0.000000e+00 | -- | Inf
153.97/154.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.97/154.02 c 154s| 6800 | 48 |498081 | 71.2 | 25M| 46 | 580 |1710 |8389 |1710 |4235 | 19k| 10k|3152 | 0.000000e+00 | -- | Inf
155.17/155.24 c 155s| 6900 | 53 |502805 | 70.8 | 25M| 46 | 408 |1710 |8509 |1710 |4249 | 19k| 10k|3175 | 0.000000e+00 | -- | Inf
156.97/157.05 c 157s| 7000 | 55 |513321 | 71.3 | 25M| 46 | 417 |1710 |8577 |1710 |4240 | 19k| 10k|3211 | 0.000000e+00 | -- | Inf
159.06/159.11 c 159s| 7100 | 53 |520696 | 71.4 | 26M| 46 | 489 |1710 |8715 |1710 |4239 | 20k| 10k|3264 | 0.000000e+00 | -- | Inf
160.76/160.82 c 161s| 7200 | 56 |526860 | 71.2 | 26M| 46 | 372 |1710 |8882 |1710 |4242 | 20k| 11k|3306 | 0.000000e+00 | -- | Inf
162.36/162.44 c 162s| 7300 | 54 |532846 | 71.1 | 26M| 46 | 454 |1710 |9006 |1710 |4273 | 20k| 11k|3342 | 0.000000e+00 | -- | Inf
163.87/163.96 c 164s| 7400 | 53 |538528 | 70.9 | 26M| 46 | - |1710 |9159 | 0 | 0 | 20k| 11k|3382 | 0.000000e+00 | -- | Inf
165.76/165.89 c 166s| 7500 | 53 |545383 | 70.8 | 26M| 46 | - |1710 |9224 | 0 | 0 | 20k| 11k|3423 | 0.000000e+00 | -- | Inf
167.47/167.58 c 168s| 7600 | 54 |551372 | 70.7 | 26M| 46 | 271 |1710 |9313 |1710 |4252 | 20k| 11k|3463 | 0.000000e+00 | -- | Inf
169.27/169.35 c 169s| 7700 | 55 |558208 | 70.7 | 26M| 46 | 247 |1710 |9344 |1710 |4260 | 21k| 11k|3517 | 0.000000e+00 | -- | Inf
171.26/171.36 c 171s| 7800 | 46 |565653 | 70.7 | 26M| 46 | - |1710 |9373 | 0 | 0 | 21k| 12k|3593 | 0.000000e+00 | -- | Inf
173.07/173.13 c 173s| 7900 | 50 |572791 | 70.7 | 26M| 46 | - |1710 |9414 | 0 | 0 | 21k| 12k|3654 | 0.000000e+00 | -- | Inf
174.87/174.98 c 175s| 8000 | 45 |579345 | 70.7 | 26M| 46 | 501 |1710 |9427 |1710 |4245 | 21k| 12k|3721 | 0.000000e+00 | -- | Inf
178.86/178.97 c 179s| 8100 | 55 |590574 | 71.2 | 26M| 46 | 434 |1710 |9384 |1710 |4223 | 22k| 12k|3880 | 0.000000e+00 | -- | Inf
180.06/180.17 c 180s| 8200 | 53 |595161 | 70.9 | 26M| 46 | 414 |1710 |9457 |1710 |4211 | 22k| 12k|3903 | 0.000000e+00 | -- | Inf
182.46/182.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.46/182.60 c 183s| 8300 | 40 |605083 | 71.2 | 26M| 46 | 468 |1710 |9358 |1710 |4202 | 22k| 12k|3945 | 0.000000e+00 | -- | Inf
184.27/184.37 c 184s| 8400 | 60 |611060 | 71.1 | 26M| 46 | 110 |1710 |9300 |1710 |4273 | 22k| 12k|3985 | 0.000000e+00 | -- | Inf
185.46/185.59 c 186s| 8500 | 57 |615896 | 70.8 | 26M| 46 | 199 |1710 |9436 |1710 |4286 | 22k| 13k|3995 | 0.000000e+00 | -- | Inf
186.97/187.05 c 187s| 8600 | 52 |623233 | 70.8 | 26M| 46 | 378 |1710 |9508 |1710 |4303 | 23k| 13k|3999 | 0.000000e+00 | -- | Inf
188.16/188.28 c 188s| 8700 | 43 |629491 | 70.7 | 26M| 46 | 538 |1710 |9618 |1710 |4262 | 23k| 13k|3999 | 0.000000e+00 | -- | Inf
189.66/189.76 c 190s| 8800 | 54 |636275 | 70.7 | 26M| 46 | 349 |1710 |9657 |1710 |4285 | 23k| 13k|4017 | 0.000000e+00 | -- | Inf
191.36/191.41 c 191s| 8900 | 45 |641660 | 70.5 | 26M| 46 | 391 |1710 |9733 |1710 |4270 | 23k| 13k|4086 | 0.000000e+00 | -- | Inf
193.56/193.68 c 194s| 9000 | 49 |650315 | 70.7 | 26M| 46 | - |1710 |9766 | 0 | 0 | 24k| 13k|4131 | 0.000000e+00 | -- | Inf
195.76/195.84 c 196s| 9100 | 45 |658749 | 70.8 | 26M| 46 | 314 |1710 |9591 |1710 |4289 | 24k| 13k|4172 | 0.000000e+00 | -- | Inf
198.66/198.74 c 199s| 9200 | 46 |669562 | 71.2 | 26M| 46 | 431 |1710 |9621 |1710 |4287 | 24k| 14k|4234 | 0.000000e+00 | -- | Inf
200.56/200.60 c 201s| 9300 | 59 |675944 | 71.2 | 26M| 46 | 258 |1710 |9714 |1710 |4302 | 24k| 14k|4285 | 0.000000e+00 | -- | Inf
201.86/201.98 c 202s| 9400 | 53 |681841 | 71.0 | 26M| 46 | - |1710 |9790 | 0 | 0 | 25k| 14k|4311 | 0.000000e+00 | -- | Inf
203.46/203.53 c 204s| 9500 | 46 |688568 | 71.0 | 26M| 46 | 435 |1710 |9906 |1710 |4312 | 25k| 14k|4336 | 0.000000e+00 | -- | Inf
205.96/206.09 c 206s| 9600 | 55 |698342 | 71.3 | 26M| 46 | - |1710 |9975 | 0 | 0 | 25k| 14k|4417 | 0.000000e+00 | -- | Inf
207.56/207.68 c 208s| 9700 | 64 |705609 | 71.3 | 27M| 46 | 163 |1710 | 10k|1710 |4283 | 25k| 14k|4438 | 0.000000e+00 | -- | Inf
208.96/209.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.96/209.03 c 209s| 9800 | 62 |710708 | 71.1 | 27M| 46 | 173 |1710 | 10k|1710 |4281 | 26k| 15k|4464 | 0.000000e+00 | -- | Inf
210.06/210.15 c 210s| 9900 | 67 |715150 | 70.8 | 27M| 46 | 266 |1710 | 10k|1710 |4277 | 26k| 15k|4467 | 0.000000e+00 | -- | Inf
211.45/211.58 c 212s| 10000 | 62 |725340 | 71.1 | 27M| 46 | 383 |1710 | 10k|1710 |4284 | 26k| 15k|4475 | 0.000000e+00 | -- | Inf
212.66/212.74 c 213s| 10100 | 64 |730927 | 71.0 | 27M| 46 | - |1710 | 10k| 0 | 0 | 26k| 15k|4484 | 0.000000e+00 | -- | Inf
214.06/214.17 c 214s| 10200 | 58 |737445 | 70.9 | 27M| 46 | 421 |1710 | 10k|1710 |4285 | 26k| 15k|4497 | 0.000000e+00 | -- | Inf
215.56/215.69 c 216s| 10300 | 49 |744866 | 71.0 | 27M| 46 | - |1710 | 10k| 0 | 0 | 27k| 15k|4509 | 0.000000e+00 | -- | Inf
218.46/218.55 c 219s| 10400 | 49 |754014 | 71.1 | 27M| 46 | 572 |1710 | 10k|1710 |4311 | 27k| 16k|4599 | 0.000000e+00 | -- | Inf
220.36/220.40 c 220s| 10500 | 64 |759682 | 71.0 | 27M| 46 | 340 |1710 | 10k|1710 |4267 | 27k| 16k|4643 | 0.000000e+00 | -- | Inf
221.36/221.47 c 221s| 10600 | 59 |763944 | 70.7 | 27M| 46 | 379 |1710 | 10k|1710 |4289 | 27k| 16k|4661 | 0.000000e+00 | -- | Inf
222.66/222.73 c 223s| 10700 | 57 |768995 | 70.6 | 27M| 46 | - |1710 | 10k| 0 | 0 | 27k| 16k|4669 | 0.000000e+00 | -- | Inf
224.36/224.49 c 224s| 10800 | 59 |776949 | 70.6 | 27M| 46 | 509 |1710 | 10k|1710 |4267 | 28k| 16k|4681 | 0.000000e+00 | -- | Inf
225.76/225.81 c 226s| 10900 | 53 |783133 | 70.6 | 27M| 46 | 601 |1710 | 10k|1710 |4258 | 28k| 16k|4682 | 0.000000e+00 | -- | Inf
227.16/227.28 c 227s| 11000 | 53 |791392 | 70.7 | 27M| 46 | - |1710 | 11k| 0 | 0 | 28k| 16k|4684 | 0.000000e+00 | -- | Inf
229.26/229.32 c 229s| 11100 | 64 |801462 | 70.9 | 27M| 46 | - |1710 | 11k| 0 | 0 | 29k| 16k|4696 | 0.000000e+00 | -- | Inf
230.86/230.98 c 231s| 11200 | 66 |809657 | 71.0 | 27M| 46 | - |1710 | 11k| 0 | 0 | 29k| 17k|4703 | 0.000000e+00 | -- | Inf
232.06/232.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.06/232.10 c 232s| 11300 | 76 |814003 | 70.8 | 27M| 46 | 322 |1710 | 11k|1710 |4272 | 29k| 17k|4709 | 0.000000e+00 | -- | Inf
233.96/234.07 c 234s| 11400 | 81 |824973 | 71.1 | 27M| 46 | 256 |1710 | 11k|1710 |4280 | 29k| 17k|4715 | 0.000000e+00 | -- | Inf
236.25/236.31 c 236s| 11500 | 67 |837144 | 71.6 | 27M| 46 | - |1710 | 11k| 0 | 0 | 30k| 17k|4721 | 0.000000e+00 | -- | Inf
238.06/238.12 c 238s| 11600 | 71 |845999 | 71.7 | 27M| 46 | - |1710 | 11k| 0 | 0 | 30k| 17k|4724 | 0.000000e+00 | -- | Inf
239.95/240.08 c 240s| 11700 | 70 |856799 | 72.0 | 27M| 46 | 344 |1710 | 11k|1710 |4297 | 30k| 18k|4727 | 0.000000e+00 | -- | Inf
242.05/242.10 c 242s| 11800 | 66 |866729 | 72.3 | 27M| 46 | 265 |1710 | 11k|1710 |4285 | 31k| 18k|4747 | 0.000000e+00 | -- | Inf
244.75/244.85 c 245s| 11900 | 62 |877937 | 72.6 | 27M| 46 | 399 |1710 | 11k|1710 |4309 | 31k| 18k|4787 | 0.000000e+00 | -- | Inf
246.75/246.82 c 247s| 12000 | 55 |885383 | 72.6 | 27M| 46 | 364 |1710 | 11k|1710 |4267 | 31k| 18k|4825 | 0.000000e+00 | -- | Inf
248.65/248.79 c 249s| 12100 | 56 |893309 | 72.7 | 27M| 46 | 434 |1710 | 11k|1710 |4306 | 32k| 18k|4854 | 0.000000e+00 | -- | Inf
250.85/250.99 c 251s| 12200 | 50 |902025 | 72.8 | 27M| 46 | 553 |1710 | 11k|1710 |4266 | 32k| 19k|4900 | 0.000000e+00 | -- | Inf
252.75/252.85 c 253s| 12300 | 47 |909758 | 72.8 | 27M| 46 | 459 |1710 | 11k|1710 |4283 | 32k| 19k|4946 | 0.000000e+00 | -- | Inf
255.45/255.56 c 256s| 12400 | 35 |917908 | 72.9 | 27M| 46 | - |1710 | 11k| 0 | 0 | 33k| 19k|5029 | 0.000000e+00 | -- | Inf
256.75/256.89 c 257s| 12500 | 38 |924611 | 72.8 | 27M| 46 | 355 |1710 | 11k|1710 |4300 | 33k| 19k|5029 | 0.000000e+00 | -- | Inf
258.25/258.40 c 258s| 12600 | 35 |931395 | 72.8 | 27M| 46 | 591 |1710 | 11k|1710 |4303 | 33k| 19k|5049 | 0.000000e+00 | -- | Inf
260.85/260.95 c 261s| 12700 | 41 |940814 | 73.0 | 27M| 46 | 334 |1710 | 11k|1710 |4247 | 33k| 19k|5114 | 0.000000e+00 | -- | Inf
262.65/262.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.65/262.74 c 263s| 12800 | 46 |948127 | 73.0 | 27M| 46 | 320 |1710 | 11k|1710 |4216 | 33k| 19k|5151 | 0.000000e+00 | -- | Inf
266.35/266.40 c 266s| 12900 | 44 |961489 | 73.4 | 27M| 46 | 304 |1710 | 11k|1710 |4134 | 34k| 19k|5222 | 0.000000e+00 | -- | Inf
268.14/268.29 c 268s| 13000 | 26 |969768 | 73.5 | 27M| 46 | - |1710 | 11k| 0 | 0 | 34k| 19k|5236 | 0.000000e+00 | -- | Inf
270.46/270.54 c 271s| 13100 | 22 |979003 | 73.7 | 27M| 46 | 558 |1710 | 11k|1710 |4195 | 34k| 20k|5273 | 0.000000e+00 | -- | Inf
272.95/273.02 c 273s| 13200 | 25 |988562 | 73.8 | 27M| 46 | 405 |1710 | 11k|1710 |4211 | 34k| 20k|5326 | 0.000000e+00 | -- | Inf
278.84/278.91 c 279s| 13300 | 38 |998946 | 74.1 | 27M| 46 | 148 |1710 | 10k|1710 |4306 | 35k| 20k|5506 | 0.000000e+00 | -- | Inf
279.94/280.07 c 280s| 13400 | 36 | 1003k| 73.9 | 27M| 46 | 204 |1710 | 10k|1710 |4322 | 35k| 20k|5514 | 0.000000e+00 | -- | Inf
281.34/281.42 c 281s| 13500 | 35 | 1011k| 73.9 | 27M| 46 | 321 |1710 | 10k|1710 |4307 | 35k| 20k|5524 | 0.000000e+00 | -- | Inf
282.44/282.55 c 283s| 13600 | 37 | 1017k| 73.8 | 27M| 46 | 288 |1710 | 10k|1710 |4314 | 35k| 20k|5524 | 0.000000e+00 | -- | Inf
283.94/284.06 c 284s| 13700 | 26 | 1026k| 73.9 | 27M| 46 | 296 |1710 | 10k|1710 |4324 | 36k| 20k|5528 | 0.000000e+00 | -- | Inf
287.13/287.28 c 287s| 13800 | 18 | 1035k| 74.0 | 27M| 46 | 798 |1710 | 10k|1710 |4283 | 36k| 20k|5636 | 0.000000e+00 | -- | Inf
289.33/289.41 c 289s| 13900 | 24 | 1045k| 74.2 | 27M| 46 | 444 |1710 | 11k|1710 |4282 | 36k| 20k|5660 | 0.000000e+00 | -- | Inf
290.54/290.67 c 291s| 14000 | 27 | 1052k| 74.2 | 27M| 46 | 337 |1710 | 11k|1710 |4299 | 37k| 21k|5662 | 0.000000e+00 | -- | Inf
291.93/292.08 c 292s| 14100 | 25 | 1059k| 74.1 | 27M| 46 | 345 |1710 | 11k|1710 |4310 | 37k| 21k|5664 | 0.000000e+00 | -- | Inf
293.64/293.78 c 294s| 14200 | 18 | 1068k| 74.3 | 27M| 46 | 566 |1710 | 11k|1710 |4291 | 37k| 21k|5672 | 0.000000e+00 | -- | Inf
295.94/296.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.94/296.01 c 296s| 14300 | 39 | 1077k| 74.4 | 27M| 46 | 234 |1710 | 11k|1710 |4345 | 37k| 21k|5694 | 0.000000e+00 | -- | Inf
297.42/297.50 c 298s| 14400 | 27 | 1085k| 74.4 | 27M| 46 | 317 |1710 | 11k|1710 |4294 | 38k| 21k|5694 | 0.000000e+00 | -- | Inf
301.43/301.54 c 302s| 14500 | 21 | 1105k| 75.3 | 27M| 46 | 520 |1710 | 11k|1710 |4300 | 38k| 21k|5740 | 0.000000e+00 | -- | Inf
304.53/304.67 c 305s| 14600 | 46 | 1117k| 75.6 | 27M| 46 | 173 |1710 | 11k|1710 |4340 | 39k| 22k|5821 | 0.000000e+00 | -- | Inf
306.42/306.54 c 307s| 14700 | 24 | 1128k| 75.8 | 27M| 46 | - |1710 | 11k| 0 | 0 | 39k| 22k|5826 | 0.000000e+00 | -- | Inf
310.03/310.10 c 310s| 14800 | 21 | 1143k| 76.3 | 27M| 46 | 435 |1710 | 11k|1710 |4331 | 40k| 22k|5875 | 0.000000e+00 | -- | Inf
312.72/312.87 c 313s| 14900 | 37 | 1156k| 76.7 | 27M| 46 | 345 |1710 | 11k|1710 |4308 | 40k| 22k|5916 | 0.000000e+00 | -- | Inf
315.12/315.20 c 315s| 15000 | 37 | 1167k| 76.9 | 27M| 46 | 271 |1710 | 11k|1710 |4309 | 40k| 22k|5956 | 0.000000e+00 | -- | Inf
317.42/317.53 c 318s| 15100 | 27 | 1176k| 77.0 | 28M| 46 | 308 |1710 | 11k|1710 |4301 | 41k| 22k|6009 | 0.000000e+00 | -- | Inf
319.72/319.88 c 320s| 15200 | 19 | 1187k| 77.2 | 27M| 46 | 579 |1710 | 11k|1710 |4280 | 41k| 22k|6061 | 0.000000e+00 | -- | Inf
322.32/322.41 c 322s| 15300 | 18 | 1197k| 77.3 | 27M| 46 | - |1710 | 11k| 0 | 0 | 41k| 23k|6113 | 0.000000e+00 | -- | Inf
325.02/325.16 c 325s| 15400 | 19 | 1209k| 77.7 | 28M| 46 | - |1710 | 11k| 0 | 0 | 41k| 23k|6162 | 0.000000e+00 | -- | Inf
327.02/327.18 c 327s| 15500 | 18 | 1217k| 77.7 | 28M| 46 | 463 |1710 | 11k|1710 |4324 | 42k| 23k|6189 | 0.000000e+00 | -- | Inf
330.82/330.96 c 331s| 15600 | 38 | 1233k| 78.2 | 28M| 46 | 541 |1710 | 11k|1710 |4287 | 42k| 23k|6262 | 0.000000e+00 | -- | Inf
332.32/332.48 c 332s| 15700 | 34 | 1238k| 78.0 | 28M| 46 | 464 |1710 | 11k|1710 |4271 | 43k| 23k|6304 | 0.000000e+00 | -- | Inf
335.33/335.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
335.33/335.49 c 335s| 15800 | 18 | 1250k| 78.3 | 27M| 46 | 722 |1710 | 11k|1710 |4277 | 43k| 23k|6352 | 0.000000e+00 | -- | Inf
338.62/338.76 c 339s| 15900 | 51 | 1265k| 78.7 | 28M| 46 | 233 |1710 | 11k|1710 |4284 | 43k| 23k|6407 | 0.000000e+00 | -- | Inf
339.31/339.47 c 339s| 16000 | 46 | 1267k| 78.4 | 28M| 46 | - |1710 | 11k| 0 | 0 | 43k| 24k|6437 | 0.000000e+00 | -- | Inf
340.32/340.43 c 340s| 16100 | 38 | 1271k| 78.1 | 28M| 46 | 289 |1710 | 12k|1710 |4280 | 43k| 24k|6456 | 0.000000e+00 | -- | Inf
341.82/341.98 c 342s| 16200 | 28 | 1276k| 77.9 | 28M| 46 | 323 |1710 | 12k|1710 |4286 | 44k| 24k|6516 | 0.000000e+00 | -- | Inf
344.12/344.28 c 344s| 16300 | 32 | 1284k| 78.0 | 28M| 46 | - |1710 | 12k| 0 | 0 | 44k| 24k|6551 | 0.000000e+00 | -- | Inf
346.12/346.25 c 346s| 16400 | 32 | 1293k| 78.0 | 28M| 46 | - |1710 | 12k| 0 | 0 | 44k| 24k|6586 | 0.000000e+00 | -- | Inf
347.53/347.61 c 348s| 16500 | 31 | 1298k| 77.8 | 28M| 46 | 305 |1710 | 12k|1710 |4338 | 44k| 24k|6605 | 0.000000e+00 | -- | Inf
348.82/348.99 c 349s| 16600 | 27 | 1305k| 77.8 | 28M| 46 | 296 |1710 | 12k|1710 |4331 | 45k| 25k|6625 | 0.000000e+00 | -- | Inf
350.11/350.26 c 350s| 16700 | 19 | 1310k| 77.7 | 28M| 46 | 690 |1710 | 12k|1710 |4261 | 45k| 25k|6632 | 0.000000e+00 | -- | Inf
351.83/351.93 c 352s| 16800 | 20 | 1319k| 77.7 | 28M| 46 | 473 |1710 | 12k|1710 |4309 | 45k| 25k|6644 | 0.000000e+00 | -- | Inf
354.02/354.12 c 354s| 16900 | 26 | 1332k| 78.0 | 28M| 46 | 411 |1710 | 12k|1710 |4319 | 46k| 25k|6645 | 0.000000e+00 | -- | Inf
355.62/355.75 c 356s| 17000 | 44 | 1341k| 78.1 | 28M| 46 | 274 |1710 | 12k|1710 |4306 | 46k| 25k|6652 | 0.000000e+00 | -- | Inf
356.91/357.04 c 357s| 17100 | 34 | 1348k| 78.0 | 28M| 46 | 303 |1710 | 12k|1710 |4317 | 46k| 25k|6652 | 0.000000e+00 | -- | Inf
358.22/358.35 c 358s| 17200 | 39 | 1354k| 78.0 | 28M| 46 | 273 |1710 | 12k|1710 |4297 | 46k| 25k|6658 | 0.000000e+00 | -- | Inf
359.53/359.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.53/359.62 c 360s| 17300 | 23 | 1361k| 77.9 | 28M| 46 | 503 |1710 | 12k|1710 |4278 | 46k| 25k|6662 | 0.000000e+00 | -- | Inf
361.31/361.45 c 361s| 17400 | 28 | 1371k| 78.0 | 28M| 46 | 341 |1710 | 13k|1710 |4300 | 46k| 26k|6664 | 0.000000e+00 | -- | Inf
362.21/362.38 c 362s| 17500 | 29 | 1376k| 77.8 | 28M| 46 | 327 |1710 | 13k|1710 |4301 | 47k| 26k|6664 | 0.000000e+00 | -- | Inf
363.71/363.87 c 364s| 17600 | 15 | 1384k| 77.9 | 28M| 46 | 736 |1710 | 13k|1710 |4285 | 47k| 26k|6664 | 0.000000e+00 | -- | Inf
365.51/365.65 c 366s| 17700 | 19 | 1395k| 78.0 | 28M| 46 | - |1710 | 12k| 0 | 0 | 47k| 26k|6664 | 0.000000e+00 | -- | Inf
366.71/366.85 c 367s| 17800 | 20 | 1400k| 77.9 | 28M| 46 | 389 |1710 | 12k|1710 |4303 | 47k| 26k|6665 | 0.000000e+00 | -- | Inf
367.61/367.78 c 368s| 17900 | 28 | 1404k| 77.7 | 28M| 46 | 285 |1710 | 12k|1710 |4302 | 47k| 26k|6665 | 0.000000e+00 | -- | Inf
368.11/368.26 c 368s| 18000 | 34 | 1406k| 77.4 | 28M| 46 | - |1710 | 13k| 0 | 0 | 47k| 26k|6665 | 0.000000e+00 | -- | Inf
368.91/369.05 c 369s| 18100 | 22 | 1410k| 77.2 | 28M| 46 | 344 |1710 | 13k|1710 |4288 | 47k| 27k|6665 | 0.000000e+00 | -- | Inf
369.82/369.95 c 370s| 18200 | 22 | 1414k| 76.9 | 28M| 46 | 379 |1710 | 13k|1710 |4286 | 48k| 27k|6671 | 0.000000e+00 | -- | Inf
371.32/371.46 c 371s| 18300 | 50 | 1425k| 77.1 | 28M| 46 | - |1710 | 13k| 0 | 0 | 48k| 27k|6671 | 0.000000e+00 | -- | Inf
372.31/372.41 c 372s| 18400 | 25 | 1430k| 77.0 | 28M| 46 | - |1710 | 13k| 0 | 0 | 48k| 27k|6671 | 0.000000e+00 | -- | Inf
373.21/373.35 c 373s| 18500 | 48 | 1434k| 76.8 | 28M| 46 | 269 |1710 | 13k|1710 |4294 | 48k| 27k|6671 | 0.000000e+00 | -- | Inf
374.61/374.75 c 375s| 18600 | 29 | 1442k| 76.8 | 28M| 46 | - |1710 | 13k| 0 | 0 | 48k| 27k|6672 | 0.000000e+00 | -- | Inf
375.91/376.09 c 376s| 18700 | 26 | 1449k| 76.8 | 28M| 46 | 622 |1710 | 13k|1710 |4267 | 48k| 27k|6672 | 0.000000e+00 | -- | Inf
377.02/377.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.02/377.10 c 377s| 18800 | 35 | 1454k| 76.6 | 28M| 46 | 404 |1710 | 13k|1710 |4305 | 48k| 28k|6672 | 0.000000e+00 | -- | Inf
378.21/378.38 c 378s| 18900 | 37 | 1461k| 76.6 | 29M| 46 | 398 |1710 | 13k|1710 |4306 | 49k| 28k|6672 | 0.000000e+00 | -- | Inf
379.31/379.40 c 379s| 19000 | 37 | 1466k| 76.5 | 29M| 46 | 182 |1710 | 13k|1710 |4296 | 49k| 28k|6672 | 0.000000e+00 | -- | Inf
380.11/380.21 c 380s| 19100 | 36 | 1470k| 76.2 | 29M| 46 | 216 |1710 | 13k|1710 |4294 | 49k| 28k|6672 | 0.000000e+00 | -- | Inf
381.11/381.20 c 381s| 19200 | 29 | 1475k| 76.1 | 28M| 46 | - |1710 | 13k| 0 | 0 | 49k| 28k|6674 | 0.000000e+00 | -- | Inf
382.11/382.26 c 382s| 19300 | 27 | 1481k| 76.0 | 28M| 46 | 448 |1710 | 13k|1710 |4298 | 49k| 28k|6674 | 0.000000e+00 | -- | Inf
383.61/383.74 c 384s| 19400 | 30 | 1487k| 76.0 | 29M| 46 | 213 |1710 | 14k|1710 |4290 | 49k| 28k|6702 | 0.000000e+00 | -- | Inf
385.11/385.20 c 385s| 19500 | 21 | 1494k| 75.9 | 28M| 46 | 370 |1710 | 13k|1710 |4299 | 49k| 28k|6725 | 0.000000e+00 | -- | Inf
386.41/386.56 c 387s| 19600 | 29 | 1499k| 75.8 | 28M| 46 | 177 |1710 | 14k|1710 |4306 | 49k| 29k|6743 | 0.000000e+00 | -- | Inf
387.81/387.98 c 388s| 19700 | 26 | 1506k| 75.7 | 28M| 46 | 209 |1710 | 14k|1710 |4305 | 50k| 29k|6762 | 0.000000e+00 | -- | Inf
389.11/389.29 c 389s| 19800 | 21 | 1510k| 75.6 | 28M| 46 | 359 |1710 | 14k|1710 |4331 | 50k| 29k|6797 | 0.000000e+00 | -- | Inf
390.61/390.74 c 391s| 19900 | 24 | 1516k| 75.5 | 28M| 46 | - |1710 | 14k| 0 | 0 | 50k| 29k|6824 | 0.000000e+00 | -- | Inf
393.01/393.15 c 393s| 20000 | 14 | 1527k| 75.7 | 28M| 46 | 303 |1710 | 14k|1710 |4334 | 50k| 29k|6876 | 0.000000e+00 | -- | Inf
395.81/395.95 c 396s| 20100 | 22 | 1538k| 75.9 | 28M| 46 | 381 |1710 | 13k|1710 |4272 | 51k| 29k|6916 | 0.000000e+00 | -- | Inf
397.81/397.96 c 398s| 20200 | 25 | 1548k| 75.9 | 28M| 46 | 311 |1710 | 14k|1710 |4281 | 51k| 29k|6944 | 0.000000e+00 | -- | Inf
400.61/400.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.61/400.70 c 401s| 20300 | 22 | 1560k| 76.2 | 28M| 46 | - |1710 | 14k| 0 | 0 | 51k| 29k|7000 | 0.000000e+00 | -- | Inf
403.21/403.31 c 403s| 20400 | 21 | 1571k| 76.4 | 28M| 46 | 521 |1710 | 14k|1710 |4293 | 52k| 29k|7053 | 0.000000e+00 | -- | Inf
404.91/405.06 c 405s| 20500 | 23 | 1579k| 76.3 | 28M| 46 | - |1710 | 14k| 0 | 0 | 52k| 30k|7098 | 0.000000e+00 | -- | Inf
406.61/406.75 c 407s| 20600 | 21 | 1586k| 76.3 | 28M| 46 | 413 |1710 | 14k|1710 |4278 | 52k| 30k|7129 | 0.000000e+00 | -- | Inf
409.20/409.38 c 409s| 20700 | 22 | 1600k| 76.6 | 28M| 46 | 492 |1710 | 14k|1710 |4249 | 53k| 30k|7157 | 0.000000e+00 | -- | Inf
410.71/410.82 c 411s| 20800 | 33 | 1606k| 76.5 | 29M| 46 | 249 |1710 | 14k|1710 |4302 | 53k| 30k|7184 | 0.000000e+00 | -- | Inf
412.10/412.22 c 412s| 20900 | 51 | 1610k| 76.4 | 29M| 46 | - |1710 | 14k| 0 | 0 | 53k| 30k|7202 | 0.000000e+00 | -- | Inf
413.11/413.20 c 413s| 21000 | 40 | 1614k| 76.2 | 29M| 46 | 395 |1710 | 14k|1710 |4260 | 53k| 30k|7221 | 0.000000e+00 | -- | Inf
414.81/414.90 c 415s| 21100 | 41 | 1621k| 76.2 | 29M| 46 | - |1710 | 14k| 0 | 0 | 53k| 30k|7248 | 0.000000e+00 | -- | Inf
416.31/416.47 c 416s| 21200 | 43 | 1627k| 76.1 | 29M| 46 | 410 |1710 | 14k|1710 |4273 | 53k| 31k|7275 | 0.000000e+00 | -- | Inf
418.20/418.30 c 418s| 21300 | 39 | 1634k| 76.1 | 29M| 46 | 281 |1710 | 14k|1710 |4290 | 53k| 31k|7327 | 0.000000e+00 | -- | Inf
420.01/420.18 c 420s| 21400 | 37 | 1641k| 76.1 | 29M| 46 | 385 |1710 | 14k|1710 |4270 | 54k| 31k|7389 | 0.000000e+00 | -- | Inf
422.31/422.40 c 422s| 21500 | 34 | 1650k| 76.1 | 29M| 46 | 506 |1710 | 14k|1710 |4259 | 54k| 31k|7442 | 0.000000e+00 | -- | Inf
424.61/424.78 c 425s| 21600 | 37 | 1660k| 76.2 | 29M| 46 | - |1710 | 15k| 0 | 0 | 54k| 31k|7494 | 0.000000e+00 | -- | Inf
426.51/426.65 c 427s| 21700 | 27 | 1667k| 76.2 | 29M| 46 | 358 |1710 | 15k|1710 |4259 | 54k| 31k|7524 | 0.000000e+00 | -- | Inf
428.20/428.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.20/428.38 c 428s| 21800 | 28 | 1675k| 76.2 | 29M| 46 | 302 |1710 | 14k|1710 |4259 | 55k| 32k|7552 | 0.000000e+00 | -- | Inf
430.40/430.55 c 431s| 21900 | 28 | 1684k| 76.3 | 29M| 46 | - |1710 | 15k| 0 | 0 | 55k| 32k|7597 | 0.000000e+00 | -- | Inf
432.71/432.89 c 433s| 22000 | 33 | 1694k| 76.4 | 29M| 46 | 460 |1710 | 15k|1710 |4255 | 55k| 32k|7660 | 0.000000e+00 | -- | Inf
434.31/434.48 c 434s| 22100 | 30 | 1701k| 76.4 | 29M| 46 | - |1710 | 15k| 0 | 0 | 55k| 32k|7684 | 0.000000e+00 | -- | Inf
435.90/436.00 c 436s| 22200 | 22 | 1708k| 76.3 | 29M| 46 | - |1710 | 15k| 0 | 0 | 55k| 32k|7708 | 0.000000e+00 | -- | Inf
437.10/437.24 c 437s| 22300 | 28 | 1714k| 76.3 | 29M| 46 | 382 |1710 | 15k|1710 |4268 | 55k| 32k|7720 | 0.000000e+00 | -- | Inf
438.30/438.47 c 438s| 22400 | 24 | 1719k| 76.1 | 29M| 46 | - |1710 | 15k| 0 | 0 | 56k| 32k|7738 | 0.000000e+00 | -- | Inf
439.50/439.64 c 440s| 22500 | 27 | 1724k| 76.0 | 29M| 46 | 282 |1710 | 15k|1710 |4272 | 56k| 33k|7742 | 0.000000e+00 | -- | Inf
441.30/441.43 c 441s| 22600 | 40 | 1732k| 76.0 | 29M| 46 | 383 |1710 | 15k|1710 |4270 | 56k| 33k|7770 | 0.000000e+00 | -- | Inf
443.11/443.22 c 443s| 22700 | 45 | 1740k| 76.1 | 29M| 46 | 331 |1710 | 15k|1710 |4289 | 56k| 33k|7791 | 0.000000e+00 | -- | Inf
444.90/445.08 c 445s| 22800 | 28 | 1754k| 76.3 | 29M| 46 | - |1710 | 15k| 0 | 0 | 56k| 33k|7798 | 0.000000e+00 | -- | Inf
446.40/446.52 c 447s| 22900 | 19 | 1762k| 76.4 | 29M| 46 | 414 |1710 | 15k|1710 |4260 | 57k| 33k|7801 | 0.000000e+00 | -- | Inf
448.21/448.38 c 448s| 23000 | 18 | 1771k| 76.4 | 29M| 46 | 430 |1710 | 15k|1710 |4287 | 57k| 33k|7822 | 0.000000e+00 | -- | Inf
450.21/450.40 c 450s| 23100 | 18 | 1777k| 76.4 | 29M| 46 | - |1710 | 15k| 0 | 0 | 57k| 33k|7866 | 0.000000e+00 | -- | Inf
452.30/452.43 c 452s| 23200 | 23 | 1785k| 76.3 | 29M| 46 | 554 |1710 | 15k|1710 |4291 | 57k| 33k|7905 | 0.000000e+00 | -- | Inf
454.30/454.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.30/454.41 c 454s| 23300 | 23 | 1795k| 76.5 | 29M| 46 | 651 |1710 | 15k|1710 |4332 | 58k| 34k|7919 | 0.000000e+00 | -- | Inf
455.80/455.92 c 456s| 23400 | 34 | 1803k| 76.5 | 29M| 46 | 240 |1710 | 15k|1710 |4293 | 58k| 34k|7923 | 0.000000e+00 | -- | Inf
457.80/457.98 c 458s| 23500 | 19 | 1813k| 76.6 | 29M| 46 | 621 |1710 | 15k|1710 |4324 | 58k| 34k|7942 | 0.000000e+00 | -- | Inf
462.60/462.76 c 463s| 23600 | 22 | 1823k| 76.7 | 29M| 46 | 488 |1710 | 15k|1710 |4317 | 59k| 34k|8103 | 0.000000e+00 | -- | Inf
464.60/464.70 c 465s| 23700 | 19 | 1835k| 76.8 | 29M| 46 | 404 |1710 | 15k|1710 |4302 | 59k| 34k|8103 | 0.000000e+00 | -- | Inf
467.09/467.28 c 467s| 23800 | 17 | 1851k| 77.2 | 29M| 46 | - |1710 | 15k| 0 | 0 | 60k| 34k|8104 | 0.000000e+00 | -- | Inf
469.80/469.93 c 470s| 23900 | 14 | 1869k| 77.6 | 29M| 46 | 506 |1710 | 15k|1710 |4315 | 61k| 34k|8106 | 0.000000e+00 | -- | Inf
473.09/473.25 c 473s| 24000 | 15 | 1883k| 77.9 | 29M| 46 | 421 |1710 | 15k|1710 |4142 | 61k| 35k|8161 | 0.000000e+00 | -- | Inf
474.90/475.10 c 475s| 24100 | 25 | 1892k| 77.9 | 29M| 46 | 413 |1710 | 14k|1710 |4140 | 61k| 35k|8169 | 0.000000e+00 | -- | Inf
476.50/476.69 c
476.50/476.69 c SCIP Status : problem is solved [infeasible]
476.50/476.69 c Solving Time (sec) : 476.69
476.50/476.69 c Solving Nodes : 24168
476.50/476.69 c Primal Bound : +1.00000000000000e+20 (0 solutions)
476.50/476.69 c Dual Bound : +1.00000000000000e+20
476.50/476.69 c Gap : 0.00 %
476.50/476.69 s UNSATISFIABLE
476.50/476.69 c SCIP Status : problem is solved [infeasible]
476.50/476.69 c Total Time : 476.69
476.50/476.69 c solving : 476.69
476.50/476.69 c presolving : 2.29 (included in solving)
476.50/476.69 c reading : 0.02 (included in solving)
476.50/476.69 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
476.50/476.69 c Original Problem :
476.50/476.69 c Problem name : HOME/instance-3692840-1338027276.opb
476.50/476.69 c Variables : 2152 (2152 binary, 0 integer, 0 implicit integer, 0 continuous)
476.50/476.69 c Constraints : 5613 initial, 5613 maximal
476.50/476.69 c Objective sense : minimize
476.50/476.69 c Presolved Problem :
476.50/476.69 c Problem name : t_HOME/instance-3692840-1338027276.opb
476.50/476.69 c Variables : 1710 (1710 binary, 0 integer, 0 implicit integer, 0 continuous)
476.50/476.69 c Constraints : 1902 initial, 16033 maximal
476.50/476.69 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
476.50/476.69 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
476.50/476.69 c trivial : 0.00 0.00 9 0 0 0 0 0 0 0 0
476.50/476.69 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
476.50/476.69 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
476.50/476.69 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
476.50/476.69 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
476.50/476.69 c gateextraction : 0.01 0.00 0 0 0 0 0 4511 1503 0 0
476.50/476.69 c implics : 0.01 0.00 0 152 0 0 0 0 0 0 0
476.50/476.69 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
476.50/476.69 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
476.50/476.69 c probing : 0.72 0.00 64 44 0 22 0 0 0 0 0
476.50/476.69 c knapsack : 0.02 0.00 0 0 0 0 0 0 0 0 0
476.50/476.69 c setppc : 0.03 0.00 0 10 0 0 0 42 0 0 0
476.50/476.69 c and : 1.31 0.00 2 61 0 1 0 437 417 0 20
476.50/476.69 c linear : 0.11 0.00 94 6 0 94 0 607 0 238 506
476.50/476.69 c logicor : 0.03 0.00 0 0 0 0 0 0 0 0 0
476.50/476.69 c root node : - - 46 - - 46 - - - - -
476.50/476.69 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
476.50/476.69 c integral : 0 0 0 0 18713 0 4 0 27 1077 0 0 36384
476.50/476.69 c knapsack : 472 472 6 238580 0 0 3 152151 3604 244295 1085 0 0
476.50/476.69 c setppc : 412 412 6 234976 0 0 0 370725 1994 381571 0 0 0
476.50/476.69 c and : 1017 1017 34632 232982 0 0 0 1020390 4743 889654 58356 0 0
476.50/476.69 c logicor : 1+ 14133 6 123554 0 0 0 189484 1829 101421 3 0 0
476.50/476.69 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
476.50/476.69 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
476.50/476.69 c integral : 123.48 0.00 0.00 0.00 123.48 0.00 0.00 0.00
476.50/476.69 c knapsack : 4.06 0.00 0.02 3.83 0.00 0.00 0.00 0.22
476.50/476.69 c setppc : 2.79 0.00 0.00 2.36 0.00 0.00 0.00 0.44
476.50/476.69 c and : 9.81 0.00 3.53 5.20 0.00 0.00 0.00 1.08
476.50/476.69 c logicor : 4.76 0.00 0.00 4.38 0.00 0.00 0.00 0.38
476.50/476.69 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
476.50/476.69 c Propagators : #Propagate #ResProp Cutoffs DomReds
476.50/476.69 c rootredcost : 0 0 0 0
476.50/476.69 c pseudoobj : 0 0 0 0
476.50/476.69 c vbounds : 0 0 0 0
476.50/476.69 c redcost : 35347 0 0 0
476.50/476.69 c probing : 0 0 0 0
476.50/476.69 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
476.50/476.69 c rootredcost : 0.20 0.00 0.00 0.20 0.00
476.50/476.69 c pseudoobj : 0.21 0.00 0.00 0.21 0.00
476.50/476.69 c vbounds : 0.19 0.00 0.00 0.19 0.00
476.50/476.69 c redcost : 0.91 0.00 0.00 0.91 0.00
476.50/476.69 c probing : 0.72 0.00 0.72 0.00 0.00
476.50/476.69 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
476.50/476.69 c propagation : 4.18 12170 12156 102132 38.7 2865 19.9 -
476.50/476.69 c infeasible LP : 0.10 284 284 653 20.9 79 12.4 0
476.50/476.69 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
476.50/476.69 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
476.50/476.69 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
476.50/476.69 c applied globally : - - - 35281 25.6 - - -
476.50/476.69 c applied locally : - - - 0 0.0 - - -
476.50/476.69 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
476.50/476.69 c cut pool : 0.00 5 - - 397 - (maximal pool size: 6470)
476.50/476.69 c closecuts : 0.00 0.00 0 0 0 0 0
476.50/476.69 c impliedbounds : 0.02 0.00 6 0 0 6200 0
476.50/476.69 c intobj : 0.00 0.00 0 0 0 0 0
476.50/476.69 c gomory : 0.05 0.00 6 0 0 300 0
476.50/476.69 c cgmip : 0.00 0.00 0 0 0 0 0
476.50/476.69 c strongcg : 0.74 0.00 6 0 0 2970 0
476.50/476.69 c cmir : 0.16 0.00 6 0 0 243 0
476.50/476.69 c flowcover : 0.24 0.00 6 0 0 1201 0
476.50/476.69 c clique : 0.26 0.00 6 0 0 53 0
476.50/476.69 c zerohalf : 0.00 0.00 0 0 0 0 0
476.50/476.69 c mcf : 0.00 0.00 1 0 0 0 0
476.50/476.69 c oddcycle : 0.00 0.00 0 0 0 0 0
476.50/476.69 c rapidlearning : 0.00 0.00 0 0 0 0 0
476.50/476.69 c Pricers : ExecTime SetupTime Calls Vars
476.50/476.69 c problem variables: 0.00 - 0 0
476.50/476.69 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
476.50/476.69 c relpscost : 123.41 0.00 18713 27 1077 0 0 36384
476.50/476.69 c pscost : 0.00 0.00 0 0 0 0 0 0
476.50/476.69 c inference : 0.00 0.00 0 0 0 0 0 0
476.50/476.69 c mostinf : 0.00 0.00 0 0 0 0 0 0
476.50/476.69 c leastinf : 0.00 0.00 0 0 0 0 0 0
476.50/476.69 c fullstrong : 0.00 0.00 0 0 0 0 0 0
476.50/476.69 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
476.50/476.69 c random : 0.00 0.00 0 0 0 0 0 0
476.50/476.69 c Primal Heuristics : ExecTime SetupTime Calls Found
476.50/476.69 c LP solutions : 0.00 - - 0
476.50/476.69 c pseudo solutions : 0.00 - - 0
476.50/476.69 c oneopt : 0.06 0.00 0 0
476.50/476.69 c crossover : 0.03 0.00 0 0
476.50/476.69 c guideddiving : 0.00 0.00 0 0
476.50/476.69 c intshifting : 0.00 0.00 0 0
476.50/476.69 c feaspump : 3.35 0.00 10 0
476.50/476.69 c coefdiving : 4.64 0.00 35 0
476.50/476.69 c linesearchdiving : 2.56 0.00 35 0
476.50/476.69 c pscostdiving : 2.71 0.00 35 0
476.50/476.69 c fracdiving : 4.68 0.00 35 0
476.50/476.69 c objpscostdiving : 3.26 0.00 18 0
476.50/476.69 c veclendiving : 2.38 0.00 36 0
476.50/476.69 c smallcard : 0.00 0.00 0 0
476.50/476.69 c trivial : 0.00 0.00 2 0
476.50/476.69 c shiftandpropagate: 0.03 0.00 1 0
476.50/476.69 c simplerounding : 0.04 0.00 0 0
476.50/476.69 c zirounding : 2.40 0.00 70 0
476.50/476.69 c rounding : 0.60 0.00 2603 0
476.50/476.69 c shifting : 3.49 0.00 697 0
476.50/476.69 c twoopt : 0.00 0.00 0 0
476.50/476.69 c indtwoopt : 0.00 0.00 0 0
476.50/476.69 c indoneopt : 0.07 0.00 0 0
476.50/476.69 c fixandinfer : 0.00 0.00 0 0
476.50/476.69 c clique : 0.00 0.00 0 0
476.50/476.69 c indrounding : 0.00 0.00 0 0
476.50/476.69 c indcoefdiving : 0.00 0.00 0 0
476.50/476.69 c nlpdiving : 0.00 0.00 0 0
476.50/476.69 c intdiving : 0.00 0.00 0 0
476.50/476.69 c actconsdiving : 0.00 0.00 0 0
476.50/476.69 c rootsoldiving : 2.67 0.00 15 0
476.50/476.69 c octane : 0.00 0.00 0 0
476.50/476.69 c rens : 0.02 0.00 0 0
476.50/476.69 c rins : 0.00 0.00 0 0
476.50/476.69 c localbranching : 0.00 0.00 0 0
476.50/476.69 c mutation : 0.00 0.00 0 0
476.50/476.69 c dins : 0.00 0.00 0 0
476.50/476.69 c vbounds : 0.00 0.00 0 0
476.50/476.69 c undercover : 0.21 0.00 1 0
476.50/476.69 c subnlp : 0.03 0.00 0 0
476.50/476.69 c trysol : 0.05 0.00 0 0
476.50/476.69 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
476.50/476.69 c primal LP : 0.00 1 0 0.00 - 0.00 1
476.50/476.69 c dual LP : 261.35 35428 1752137 49.52 6704.09 0.08 48
476.50/476.69 c lex dual LP : 0.00 0 0 0.00 -
476.50/476.69 c barrier LP : 0.00 0 0 0.00 - 0.00 0
476.50/476.69 c diving/probing LP: 21.35 7069 149574 21.16 7005.54
476.50/476.69 c strong branching : 121.10 8169 665074 81.41 5491.81
476.50/476.69 c (at root node) : - 18 8598 477.67 -
476.50/476.69 c conflict analysis: 0.00 0 0 0.00 -
476.50/476.69 c B&B Tree :
476.50/476.69 c number of runs : 1
476.50/476.69 c nodes : 24168
476.50/476.69 c nodes (total) : 24168
476.50/476.69 c nodes left : 0
476.50/476.69 c max depth : 46
476.50/476.69 c max depth (total): 46
476.50/476.69 c backtracks : 6193 (25.6%)
476.50/476.69 c delayed cutoffs : 12217
476.50/476.69 c repropagations : 22618 (631124 domain reductions, 5705 cutoffs)
476.50/476.69 c avg switch length: 3.34
476.50/476.69 c switching time : 7.12
476.50/476.69 c Solution :
476.50/476.69 c Solutions found : 0 (0 improvements)
476.50/476.69 c Primal Bound : infeasible
476.50/476.69 c Dual Bound : -
476.50/476.69 c Gap : 0.00 %
476.50/476.69 c Root Dual Bound : +0.00000000000000e+00
476.50/476.69 c Root Iterations : 14147
476.60/476.74 c Time complete: 476.64.
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-3692840-1338027276/watcher-3692840-1338027276 -o /tmp/evaluation-result-3692840-1338027276/solver-3692840-1338027276 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692840-1338027276.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: 1.97 2.00 2.00 3/178 6504
/proc/meminfo: memFree=28726944/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=10300 CPUtime=0 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 1310 0 0 0 0 0 0 0 20 0 1 0 268852449 10547200 1265 33554432000 4194304 10169799 140736303082704 140735909050104 8797266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 2575 1276 409 1459 0 1107 0
[startup+0.00727008 s]
/proc/loadavg: 1.97 2.00 2.00 3/178 6504
/proc/meminfo: memFree=28726944/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=10456 CPUtime=0 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 1356 0 0 0 0 0 0 0 20 0 1 0 268852449 10706944 1311 33554432000 4194304 10169799 140736303082704 140736302948360 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 2656 1329 409 1459 0 1188 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10456
[startup+0.100251 s]
/proc/loadavg: 1.97 2.00 2.00 3/178 6504
/proc/meminfo: memFree=28726944/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=33200 CPUtime=0.08 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 7076 0 0 0 7 1 0 0 20 0 1 0 268852449 33996800 6774 33554432000 4194304 10169799 140736303082704 140736302948360 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 8300 6774 562 1459 0 6832 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 33200
[startup+0.300288 s]
/proc/loadavg: 1.97 2.00 2.00 3/178 6504
/proc/meminfo: memFree=28726944/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=39980 CPUtime=0.29 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 9061 0 0 0 19 10 0 0 20 0 1 0 268852449 40939520 8571 33554432000 4194304 10169799 140736303082704 140736303079912 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 9995 8571 624 1459 0 8527 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39980
[startup+0.700214 s]
/proc/loadavg: 1.97 2.00 2.00 3/178 6504
/proc/meminfo: memFree=28726944/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=39980 CPUtime=0.69 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 9061 0 0 0 24 45 0 0 20 0 1 0 268852449 40939520 8571 33554432000 4194304 10169799 140736303082704 140736303079912 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 9995 8571 624 1459 0 8527 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39980
[startup+1.50029 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 6505
/proc/meminfo: memFree=28693464/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=42232 CPUtime=1.48 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 9617 0 0 0 58 90 0 0 20 0 1 0 268852449 43245568 9127 33554432000 4194304 10169799 140736303082704 140736303081112 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 10558 9127 629 1459 0 9090 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42232
[startup+3.10026 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 6505
/proc/meminfo: memFree=28693032/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=60364 CPUtime=3.09 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 17683 0 0 0 176 133 0 0 20 0 1 0 268852449 61812736 14035 33554432000 4194304 10169799 140736303082704 140736303081112 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 15091 14035 855 1459 0 13623 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60364
[startup+6.30027 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 6505
/proc/meminfo: memFree=28664388/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=69112 CPUtime=6.29 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 20758 0 0 0 486 143 0 0 20 0 1 0 268852449 70770688 16077 33554432000 4194304 10169799 140736303082704 140736303079784 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 17278 16077 872 1459 0 15810 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69112
[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 6505
/proc/meminfo: memFree=28622344/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=69564 CPUtime=12.68 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 22160 0 0 0 1120 148 0 0 20 0 1 0 268852449 71233536 16171 33554432000 4194304 10169799 140736303082704 140736303077304 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 17391 16171 873 1459 0 15923 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69564
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 6505
/proc/meminfo: memFree=28572620/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=69564 CPUtime=25.48 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 22161 0 0 0 2391 157 0 0 20 0 1 0 268852449 71233536 16172 33554432000 4194304 10169799 140736303082704 140736303077688 8044574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 17391 16172 873 1459 0 15923 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69564
[startup+51.1003 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 6505
/proc/meminfo: memFree=28569100/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=69564 CPUtime=51.08 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 22164 0 0 0 4911 197 0 0 20 0 1 0 268852449 71233536 16175 33554432000 4194304 10169799 140736303082704 140736303077208 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 17391 16175 873 1459 0 15923 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69564
[startup+102.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 6506
/proc/meminfo: memFree=28564740/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=69824 CPUtime=102.28 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 22300 0 0 0 9936 292 0 0 20 0 1 0 268852449 71499776 16311 33554432000 4194304 10169799 140736303082704 140736303077304 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 17456 16311 873 1459 0 15988 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 69824
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 6506
/proc/meminfo: memFree=28558444/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=73772 CPUtime=162.26 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 27937 0 0 0 15798 428 0 0 20 0 1 0 268852449 75542528 17307 33554432000 4194304 10169799 140736303082704 140736303076840 5119964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 18443 17307 873 1459 0 16975 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 73772
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 6506
/proc/meminfo: memFree=28554260/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=76588 CPUtime=222.25 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 34769 0 0 0 21670 555 0 0 20 0 1 0 268852449 78426112 18057 33554432000 4194304 10169799 140736303082704 140736303080328 6811879 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 19147 18057 873 1459 0 17679 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 76588
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6506
/proc/meminfo: memFree=28548912/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=79580 CPUtime=282.24 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 40677 0 0 0 27562 662 0 0 20 0 1 0 268852449 81489920 18827 33554432000 4194304 10169799 140736303082704 140736303077528 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 19895 18827 873 1459 0 18427 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 79580
[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 6509
/proc/meminfo: memFree=28533988/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=81628 CPUtime=342.22 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 45645 0 0 0 33442 780 0 0 20 0 1 0 268852449 83587072 19650 33554432000 4194304 10169799 140736303082704 140736303079784 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 20407 19650 873 1459 0 18939 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 81628
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6510
/proc/meminfo: memFree=28523084/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=83908 CPUtime=402.21 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 48299 0 0 0 39304 917 0 0 20 0 1 0 268852449 85921792 20179 33554432000 4194304 10169799 140736303082704 140736303077576 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 20977 20179 873 1459 0 19509 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 83908
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6510
/proc/meminfo: memFree=28518248/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=85104 CPUtime=462.2 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 49329 0 0 0 45191 1029 0 0 20 0 1 0 268852449 87146496 20456 33554432000 4194304 10169799 140736303082704 140736303076664 8035603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 21276 20456 873 1459 0 19808 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 85104
Solver just ended. Dumping a history of the last processes samples
[startup+467.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6510
/proc/meminfo: memFree=28518248/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=84756 CPUtime=467 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 49752 0 0 0 45664 1036 0 0 20 0 1 0 268852449 86790144 20436 33554432000 4194304 10169799 140736303082704 140736303077496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 21189 20436 873 1459 0 19721 0
Current children cumulated CPU time (s) 467
Current children cumulated vsize (KiB) 84756
[startup+473.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6510
/proc/meminfo: memFree=28516760/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=84824 CPUtime=473.4 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 50839 0 0 0 46293 1047 0 0 20 0 1 0 268852449 86859776 20381 33554432000 4194304 10169799 140736303082704 140736303078840 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 21206 20381 873 1459 0 19738 0
Current children cumulated CPU time (s) 473.4
Current children cumulated vsize (KiB) 84824
[startup+475.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6510
/proc/meminfo: memFree=28515272/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=84824 CPUtime=475 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 50845 0 0 0 46451 1049 0 0 20 0 1 0 268852449 86859776 20387 33554432000 4194304 10169799 140736303082704 140736303077304 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 21206 20387 873 1459 0 19738 0
Current children cumulated CPU time (s) 475
Current children cumulated vsize (KiB) 84824
[startup+475.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6510
/proc/meminfo: memFree=28515272/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=84824 CPUtime=475.8 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 50878 0 0 0 46529 1051 0 0 20 0 1 0 268852449 86859776 20420 33554432000 4194304 10169799 140736303082704 140736303077496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 21206 20420 873 1459 0 19738 0
Current children cumulated CPU time (s) 475.8
Current children cumulated vsize (KiB) 84824
[startup+476.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6510
/proc/meminfo: memFree=28515148/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=84824 CPUtime=476.2 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 50878 0 0 0 46569 1051 0 0 20 0 1 0 268852449 86859776 20420 33554432000 4194304 10169799 140736303082704 140736303076840 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 21206 20420 873 1459 0 19738 0
Current children cumulated CPU time (s) 476.2
Current children cumulated vsize (KiB) 84824
[startup+476.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6510
/proc/meminfo: memFree=28515148/32873844 swapFree=7364/7364
[pid=6504] ppid=6502 vsize=84824 CPUtime=476.6 cores=1,3,5,7
/proc/6504/stat : 6504 (scip-2.1.1.4sfi) R 6502 6504 4481 0 -1 4202496 50880 0 0 0 46608 1052 0 0 20 0 1 0 268852449 86859776 20422 33554432000 4194304 10169799 140736303082704 140736303076840 5059339 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6504/statm: 21206 20422 875 1459 0 19738 0
Current children cumulated CPU time (s) 476.6
Current children cumulated vsize (KiB) 84824
Child status: 0
Real time (s): 476.743
CPU time (s): 476.65
CPU user time (s): 466.12
CPU system time (s): 10.5294
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 85104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 466.12
system time used= 10.5294
maximum resident set size= 81824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50882
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= 24
involuntary context switches= 491
runsolver used 0.775882 second user time and 2.02369 second system time
The end