0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665672-1276618556.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 34 | - | 564k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 o 1126
0.09/0.14 c y 0.1s| 1 | 0 | 34 | - | 619k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 43 | - | 716k| 0 | 12 | 172 | 59 | 172 | 13 | 6 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 55 | - | 772k| 0 | 13 | 172 | 59 | 172 | 18 | 11 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 71 | - | 813k| 0 | 18 | 172 | 59 | 172 | 21 | 14 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 79 | - | 842k| 0 | 21 | 172 | 59 | 172 | 24 | 17 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 92 | - | 854k| 0 | 21 | 172 | 59 | 172 | 26 | 19 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 100 | - | 858k| 0 | 23 | 172 | 59 | 172 | 27 | 20 | 0 | 0 | 0.000000e+00 | 1.126000e+03 | Inf
0.49/0.51 c 0.4s| 1 | 2 | 100 | - | 858k| 0 | 23 | 172 | 59 | 172 | 27 | 20 | 0 | 9 | 0.000000e+00 | 1.126000e+03 | Inf
0.79/0.81 o 311
0.79/0.81 c f 0.7s| 51 | 52 | 698 | 12.0 | 974k| 23 | - | 172 | 59 | 172 | 23 | 20 | 4 | 251 | 0.000000e+00 | 3.110000e+02 | Inf
1.49/1.54 o 199
1.49/1.54 c f 1.3s| 522 | 523 | 3860 | 7.2 |1192k| 45 | - | 172 | 65 | 172 | 23 | 20 | 23 | 497 | 0.000000e+00 | 1.990000e+02 | Inf
2.29/2.39 o 126
2.29/2.39 c g 2.1s| 1231 | 1200 | 8713 | 7.0 |1483k| 45 | - | 172 | 69 | 172 | 23 | 20 | 47 | 565 | 0.000000e+00 | 1.260000e+02 | Inf
5.40/5.47 o 78
5.40/5.47 c f 4.8s| 2991 | 2906 | 21672 | 7.2 |2230k| 45 | - | 172 | 77 | 172 | 23 | 20 | 121 | 615 | 0.000000e+00 | 7.800000e+01 | Inf
13.69/13.70 c 12.0s| 10000 | 9849 | 65733 | 6.6 |5500k| 49 | 7 | 172 | 83 | 172 | 23 | 20 | 379 | 824 | 0.000000e+00 | 7.800000e+01 | Inf
22.99/23.07 c 20.2s| 20000 | 19523 |114675 | 5.7 | 10M| 51 | 7 | 172 | 19 | 172 | 23 | 20 | 619 |1258 | 0.000000e+00 | 7.800000e+01 | Inf
25.39/25.46 o 77
25.39/25.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.39/25.46 c *22.3s| 22398 | 21662 |127320 | 5.7 | 11M| 53 | - | 172 | 19 | 172 | 23 | 20 | 692 |1422 | 0.000000e+00 | 7.700000e+01 | Inf
25.39/25.47 o 75
25.39/25.47 c *22.3s| 22400 | 21648 |127320 | 5.7 | 11M| 53 | - | 172 | 19 | 172 | 23 | 20 | 692 |1425 | 0.000000e+00 | 7.500000e+01 | Inf
25.39/25.47 o 73
25.39/25.47 c *22.3s| 22401 | 21637 |127320 | 5.7 | 11M| 53 | - | 172 | 19 | 172 | 23 | 20 | 692 |1425 | 0.000000e+00 | 7.300000e+01 | Inf
31.79/31.89 o 72
31.79/31.89 c *27.8s| 26235 | 25060 |146864 | 5.6 | 12M| 53 | - | 172 | 22 | 172 | 23 | 20 | 805 |1612 | 0.000000e+00 | 7.200000e+01 | Inf
31.79/31.89 o 70
31.79/31.89 c *27.8s| 26236 | 25035 |146864 | 5.6 | 12M| 53 | - | 172 | 22 | 172 | 23 | 20 | 805 |1612 | 0.000000e+00 | 7.000000e+01 | Inf
35.38/35.43 c 30.9s| 30000 | 28358 |165815 | 5.5 | 14M| 53 | 7 | 172 | 17 | 172 | 23 | 20 | 912 |1761 | 0.000000e+00 | 7.000000e+01 | Inf
42.28/42.36 o 69
42.28/42.36 c *37.0s| 37364 | 34692 |202892 | 5.4 | 17M| 53 | - | 172 | 22 | 172 | 23 | 20 |1133 |2053 | 0.000000e+00 | 6.900000e+01 | Inf
45.38/45.49 o 68
45.38/45.49 c *39.7s| 39154 | 36150 |212110 | 5.4 | 18M| 53 | - | 172 | 23 | 172 | 23 | 20 |1193 |2116 | 0.000000e+00 | 6.800000e+01 | Inf
45.68/45.71 o 66
45.68/45.71 c v39.9s| 39343 | 36246 |213215 | 5.4 | 18M| 53 | - | 172 | 23 | 172 | 23 | 20 |1204 |2131 | 0.000000e+00 | 6.600000e+01 | Inf
46.38/46.45 c 40.5s| 40000 | 36743 |217573 | 5.4 | 19M| 53 | 7 | 172 | 22 | 172 | 23 | 20 |1232 |2161 | 0.000000e+00 | 6.600000e+01 | Inf
51.87/51.97 o 65
51.87/51.97 c *45.3s| 45499 | 41098 |247760 | 5.4 | 21M| 53 | - | 172 | 19 | 172 | 23 | 20 |1477 |2390 | 0.000000e+00 | 6.500000e+01 | Inf
52.18/52.26 o 63
52.18/52.26 c *45.6s| 45789 | 40534 |249325 | 5.4 | 21M| 53 | - | 172 | 19 | 172 | 23 | 20 |1484 |2397 | 0.000000e+00 | 6.300000e+01 | Inf
52.18/52.27 o 61
52.18/52.27 c *45.6s| 45791 | 40423 |249325 | 5.4 | 21M| 53 | - | 172 | 14 | 172 | 23 | 20 |1484 |2400 | 0.000000e+00 | 6.100000e+01 | Inf
52.18/52.27 o 59
52.18/52.27 c *45.6s| 45792 | 40291 |249325 | 5.4 | 20M| 53 | - | 172 | 14 | 172 | 23 | 20 |1484 |2400 | 0.000000e+00 | 5.900000e+01 | Inf
55.47/55.57 o 58
55.47/55.57 c *48.5s| 49141 | 42775 |266991 | 5.4 | 22M| 53 | - | 172 | 15 | 172 | 23 | 20 |1615 |2567 | 0.000000e+00 | 5.800000e+01 | Inf
55.47/55.57 o 56
55.47/55.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.47/55.57 c *48.5s| 49142 | 42612 |266991 | 5.4 | 22M| 53 | - | 172 | 15 | 172 | 23 | 20 |1615 |2567 | 0.000000e+00 | 5.600000e+01 | Inf
56.37/56.45 c 49.3s| 50000 | 43262 |271795 | 5.4 | 22M| 53 | 7 | 172 | 18 | 172 | 23 | 20 |1654 |2603 | 0.000000e+00 | 5.600000e+01 | Inf
56.48/56.52 o 51
56.48/56.52 c g49.3s| 50082 | 42813 |272123 | 5.4 | 21M| 53 | - | 172 | 18 | 172 | 23 | 20 |1656 |2607 | 0.000000e+00 | 5.100000e+01 | Inf
66.47/66.55 o 50
66.47/66.55 c g58.0s| 58842 | 48959 |322419 | 5.5 | 25M| 53 | - | 172 | 20 | 172 | 23 | 20 |2019 |2947 | 0.000000e+00 | 5.000000e+01 | Inf
67.97/68.05 c 59.3s| 60000 | 49831 |330749 | 5.5 | 25M| 53 | 7 | 172 | 22 | 172 | 23 | 20 |2089 |2996 | 0.000000e+00 | 5.000000e+01 | Inf
71.67/71.76 o 49
71.67/71.76 c *62.6s| 63883 | 52384 |352206 | 5.5 | 27M| 53 | - | 172 | 20 | 172 | 23 | 20 |2236 |3126 | 0.000000e+00 | 4.900000e+01 | Inf
76.76/76.83 o 48
76.76/76.83 c l67.0s| 69191 | 55953 |381078 | 5.5 | 29M| 53 | - | 172 | 23 | 172 | 23 | 20 |2492 |3267 | 0.000000e+00 | 4.800000e+01 | Inf
77.67/77.71 c 67.8s| 70000 | 56477 |386442 | 5.5 | 29M| 53 | 7 | 172 | 27 | 172 | 23 | 20 |2553 |3308 | 0.000000e+00 | 4.800000e+01 | Inf
86.96/87.05 o 46
86.96/87.05 c *76.0s| 79263 | 62503 |441352 | 5.6 | 33M| 53 | - | 172 | 27 | 172 | 23 | 20 |3002 |3616 | 0.000000e+00 | 4.600000e+01 | Inf
87.66/87.80 c 76.7s| 80000 | 63044 |445615 | 5.6 | 33M| 53 | 7 | 172 | 29 | 172 | 23 | 20 |3033 |3630 | 0.000000e+00 | 4.600000e+01 | Inf
88.47/88.51 o 44
88.47/88.51 c *77.3s| 80728 | 63063 |449842 | 5.6 | 33M| 53 | - | 172 | 30 | 172 | 23 | 20 |3062 |3644 | 0.000000e+00 | 4.400000e+01 | Inf
94.26/94.33 o 40
94.26/94.33 c f82.4s| 86675 | 65784 |484074 | 5.6 | 34M| 53 | - | 172 | 30 | 172 | 23 | 20 |3340 |3814 | 0.000000e+00 | 4.000000e+01 | Inf
97.96/98.10 c 85.7s| 90000 | 67775 |504813 | 5.6 | 35M| 53 | 7 | 172 | 30 | 172 | 23 | 20 |3541 |3921 | 0.000000e+00 | 4.000000e+01 | Inf
101.55/101.65 o 39
101.55/101.65 c *88.8s| 93641 | 69654 |525562 | 5.6 | 36M| 53 | - | 172 | 23 | 172 | 23 | 20 |3729 |4043 | 0.000000e+00 | 3.900000e+01 | Inf
107.77/107.86 c 94.3s|100000 | 73616 |561399 | 5.6 | 39M| 53 | 7 | 172 | 32 | 172 | 23 | 20 |4031 |4219 | 0.000000e+00 | 3.900000e+01 | Inf
110.45/110.58 o 38
110.45/110.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.45/110.58 c *96.7s|102820 | 74985 |577529 | 5.6 | 40M| 53 | - | 172 | 34 | 172 | 23 | 20 |4165 |4289 | 0.000000e+00 | 3.800000e+01 | Inf
117.45/117.51 c 103s|110000 | 79276 |617359 | 5.6 | 42M| 53 | 7 | 172 | 42 | 172 | 23 | 20 |4533 |4469 | 0.000000e+00 | 3.800000e+01 | Inf
126.95/127.04 c 111s|120000 | 85405 |672873 | 5.6 | 46M| 53 | 7 | 172 | 37 | 172 | 23 | 20 |5016 |4694 | 0.000000e+00 | 3.800000e+01 | Inf
128.05/128.16 o 36
128.05/128.16 c * 112s|121173 | 85360 |679293 | 5.6 | 46M| 53 | - | 172 | 36 | 172 | 23 | 20 |5051 |4727 | 0.000000e+00 | 3.600000e+01 | Inf
128.05/128.16 o 34
128.05/128.16 c * 112s|121174 | 84398 |679293 | 5.6 | 45M| 53 | - | 172 | 36 | 172 | 23 | 20 |5051 |4727 | 0.000000e+00 | 3.400000e+01 | Inf
128.35/128.46 o 33
128.35/128.46 c * 112s|121461 | 84045 |680878 | 5.6 | 45M| 53 | - | 172 | 35 | 172 | 23 | 20 |5060 |4743 | 0.000000e+00 | 3.300000e+01 | Inf
128.35/128.47 o 31
128.35/128.47 c * 112s|121462 | 80064 |680878 | 5.6 | 42M| 53 | - | 172 | 35 | 172 | 23 | 20 |5060 |4743 | 0.000000e+00 | 3.100000e+01 | Inf
136.45/136.57 c 119s|130000 | 84857 |730728 | 5.6 | 44M| 53 | 7 | 172 | 47 | 172 | 23 | 20 |5517 |4988 | 0.000000e+00 | 3.100000e+01 | Inf
145.85/145.90 c 128s|140000 | 90083 |790488 | 5.6 | 48M| 53 | 7 | 172 | 62 | 172 | 23 | 20 |6066 |5181 | 0.000000e+00 | 3.100000e+01 | Inf
155.24/155.31 c 136s|150000 | 95428 |849631 | 5.7 | 51M| 53 | 7 | 172 | 51 | 172 | 23 | 20 |6638 |5353 | 0.000000e+00 | 3.100000e+01 | Inf
161.84/161.93 o 29
161.84/161.93 c * 142s|157038 | 98371 |891132 | 5.7 | 52M| 53 | - | 172 | 68 | 172 | 23 | 20 |7036 |5467 | 0.000000e+00 | 2.900000e+01 | Inf
164.74/164.84 c 144s|160000 | 99876 |909003 | 5.7 | 53M| 53 | - | 172 | 68 | 0 | 0 | 20 |7184 |5510 | 0.000000e+00 | 2.900000e+01 | Inf
170.04/170.19 o 28
170.04/170.19 c * 149s|162106 |100540 |921082 | 5.7 | 53M| 53 | - | 172 | 66 | 172 | 23 | 20 |7284 |5545 | 0.000000e+00 | 2.800000e+01 | Inf
170.04/170.19 o 26
170.04/170.19 c * 149s|162107 | 99258 |921082 | 5.7 | 52M| 53 | - | 172 | 66 | 172 | 23 | 20 |7284 |5545 | 0.000000e+00 | 2.600000e+01 | Inf
177.44/177.50 c 155s|170000 |103157 |966554 | 5.7 | 54M| 53 | - | 172 | 58 | 172 | 23 | 20 |7696 |5670 | 0.000000e+00 | 2.600000e+01 | Inf
182.74/182.84 o 23
182.74/182.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.74/182.84 c g 160s|175977 |103681 | 1000k| 5.7 | 54M| 53 | - | 172 | 60 | 172 | 23 | 20 |8007 |5764 | 0.000000e+00 | 2.300000e+01 | Inf
186.33/186.47 c 163s|180000 |105415 | 1022k| 5.7 | 55M| 53 | 7 | 172 | 59 | 172 | 23 | 20 |8197 |5824 | 0.000000e+00 | 2.300000e+01 | Inf
195.13/195.20 c 170s|190000 |109665 | 1077k| 5.7 | 57M| 53 | 7 | 172 | 64 | 172 | 23 | 20 |8671 |6001 | 0.000000e+00 | 2.300000e+01 | Inf
205.43/205.50 c 180s|200000 |115774 | 1140k| 5.7 | 60M| 53 | 7 | 172 | 71 | 172 | 23 | 20 |9124 |6128 | 0.000000e+00 | 2.300000e+01 | Inf
214.62/214.77 c 188s|210000 |120821 | 1197k| 5.7 | 63M| 53 | - | 172 | 69 | 172 | 23 | 20 |9587 |6263 | 0.000000e+00 | 2.300000e+01 | Inf
224.02/224.12 c 196s|220000 |125937 | 1255k| 5.7 | 66M| 53 | 7 | 172 | 62 | 172 | 23 | 20 | 10k|6387 | 0.000000e+00 | 2.300000e+01 | Inf
230.02/230.15 o 21
230.02/230.15 c * 201s|226913 |127264 | 1293k| 5.7 | 66M| 53 | - | 172 | 64 | 172 | 23 | 20 | 10k|6463 | 0.000000e+00 | 2.100000e+01 | Inf
230.02/230.16 o 19
230.02/230.16 c * 201s|226914 |125125 | 1293k| 5.7 | 64M| 53 | - | 172 | 64 | 172 | 23 | 20 | 10k|6463 | 0.000000e+00 | 1.900000e+01 | Inf
233.03/233.17 c 204s|230000 |126726 | 1312k| 5.7 | 65M| 53 | - | 172 | 64 | 0 | 0 | 20 | 10k|6496 | 0.000000e+00 | 1.900000e+01 | Inf
241.92/242.01 c 212s|240000 |130994 | 1369k| 5.7 | 68M| 53 | - | 172 | 65 | 172 | 23 | 20 | 10k|6624 | 0.000000e+00 | 1.900000e+01 | Inf
250.51/250.64 c 219s|250000 |135109 | 1426k| 5.7 | 70M| 53 | 7 | 172 | 69 | 172 | 23 | 20 | 11k|6741 | 0.000000e+00 | 1.900000e+01 | Inf
258.61/258.76 c 226s|260000 |138060 | 1481k| 5.7 | 72M| 53 | 7 | 172 | 72 | 172 | 23 | 20 | 11k|6873 | 0.000000e+00 | 1.900000e+01 | Inf
267.12/267.21 c 234s|270000 |141455 | 1539k| 5.7 | 75M| 53 | 7 | 172 | 68 | 172 | 23 | 20 | 12k|6990 | 0.000000e+00 | 1.900000e+01 | Inf
269.21/269.34 o 17
269.21/269.34 c * 236s|272656 |139782 | 1554k| 5.7 | 73M| 53 | - | 172 | 70 | 172 | 23 | 20 | 12k|7016 | 0.000000e+00 | 1.700000e+01 | Inf
269.21/269.36 o 15
269.21/269.36 c * 236s|272657 |134625 | 1554k| 5.7 | 68M| 53 | - | 172 | 70 | 172 | 23 | 20 | 12k|7016 | 0.000000e+00 | 1.500000e+01 | Inf
275.01/275.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.01/275.12 c 241s|280000 |136339 | 1596k| 5.7 | 70M| 53 | - | 172 | 69 | 0 | 0 | 20 | 12k|7115 | 0.000000e+00 | 1.500000e+01 | Inf
282.81/282.94 c 247s|290000 |138805 | 1653k| 5.7 | 71M| 53 | 7 | 172 | 71 | 172 | 23 | 20 | 13k|7218 | 0.000000e+00 | 1.500000e+01 | Inf
293.70/293.87 c 257s|300000 |141361 | 1712k| 5.7 | 73M| 53 | 7 | 172 | 98 | 172 | 23 | 20 | 13k|7327 | 0.000000e+00 | 1.500000e+01 | Inf
301.60/301.77 c 264s|310000 |143787 | 1772k| 5.7 | 74M| 53 | - | 172 | 84 | 172 | 23 | 20 | 13k|7428 | 0.000000e+00 | 1.500000e+01 | Inf
309.20/309.32 c 270s|320000 |145727 | 1829k| 5.7 | 75M| 53 | 7 | 172 | 82 | 172 | 23 | 20 | 14k|7529 | 0.000000e+00 | 1.500000e+01 | Inf
316.70/316.80 c 277s|330000 |147415 | 1886k| 5.7 | 77M| 54 | - | 172 | 74 | 172 | 23 | 20 | 14k|7642 | 0.000000e+00 | 1.500000e+01 | Inf
324.40/324.59 c 284s|340000 |150052 | 1945k| 5.7 | 78M| 54 | - | 172 | 92 | 172 | 23 | 20 | 15k|7736 | 0.000000e+00 | 1.500000e+01 | Inf
331.88/332.05 c 290s|350000 |152068 | 1998k| 5.7 | 80M| 54 | 7 | 172 | 66 | 172 | 23 | 20 | 15k|7833 | 0.000000e+00 | 1.500000e+01 | Inf
339.38/339.53 c 297s|360000 |154598 | 2052k| 5.7 | 81M| 54 | 7 | 172 | 66 | 172 | 23 | 20 | 15k|7919 | 0.000000e+00 | 1.500000e+01 | Inf
346.58/346.71 c 303s|370000 |156436 | 2103k| 5.7 | 82M| 54 | 7 | 172 | 72 | 172 | 23 | 20 | 16k|8006 | 0.000000e+00 | 1.500000e+01 | Inf
353.98/354.18 c 310s|380000 |158720 | 2156k| 5.7 | 84M| 54 | - | 172 | 70 | 172 | 23 | 20 | 16k|8089 | 0.000000e+00 | 1.500000e+01 | Inf
361.57/361.75 c 316s|390000 |161181 | 2209k| 5.7 | 86M| 54 | - | 172 | 73 | 0 | 0 | 20 | 17k|8177 | 0.000000e+00 | 1.500000e+01 | Inf
368.97/369.13 c 323s|400000 |162919 | 2264k| 5.7 | 87M| 54 | 7 | 172 | 48 | 172 | 23 | 20 | 17k|8274 | 0.000000e+00 | 1.500000e+01 | Inf
376.67/376.85 c 329s|410000 |165488 | 2319k| 5.7 | 89M| 54 | - | 172 | 52 | 0 | 0 | 20 | 18k|8359 | 0.000000e+00 | 1.500000e+01 | Inf
383.97/384.19 c 336s|420000 |167311 | 2374k| 5.7 | 90M| 54 | 7 | 172 | 50 | 172 | 23 | 20 | 18k|8469 | 0.000000e+00 | 1.500000e+01 | Inf
391.47/391.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.47/391.68 c 342s|430000 |169381 | 2430k| 5.7 | 91M| 54 | 7 | 172 | 56 | 172 | 23 | 20 | 18k|8576 | 0.000000e+00 | 1.500000e+01 | Inf
398.87/399.07 c 349s|440000 |171413 | 2484k| 5.6 | 93M| 54 | 7 | 172 | 54 | 172 | 23 | 20 | 19k|8683 | 0.000000e+00 | 1.500000e+01 | Inf
406.16/406.32 c 355s|450000 |173229 | 2536k| 5.6 | 94M| 54 | - | 172 | 39 | 172 | 23 | 20 | 19k|8788 | 0.000000e+00 | 1.500000e+01 | Inf
413.66/413.87 c 362s|460000 |175489 | 2591k| 5.6 | 96M| 54 | 7 | 172 | 51 | 172 | 23 | 20 | 20k|8887 | 0.000000e+00 | 1.500000e+01 | Inf
421.35/421.55 c 368s|470000 |178188 | 2646k| 5.6 | 97M| 54 | - | 172 | 51 | 172 | 23 | 20 | 20k|8986 | 0.000000e+00 | 1.500000e+01 | Inf
428.86/429.01 c 375s|480000 |180562 | 2699k| 5.6 | 99M| 54 | 7 | 172 | 47 | 172 | 23 | 20 | 20k|9083 | 0.000000e+00 | 1.500000e+01 | Inf
436.46/436.65 c 382s|490000 |183035 | 2755k| 5.6 | 101M| 54 | - | 172 | 63 | 172 | 23 | 20 | 21k|9183 | 0.000000e+00 | 1.500000e+01 | Inf
444.25/444.44 c 388s|500000 |185911 | 2810k| 5.6 | 102M| 54 | 7 | 172 | 62 | 172 | 23 | 20 | 21k|9278 | 0.000000e+00 | 1.500000e+01 | Inf
451.85/452.06 c 395s|510000 |188344 | 2865k| 5.6 | 104M| 54 | - | 172 | 62 | 0 | 0 | 20 | 22k|9362 | 0.000000e+00 | 1.500000e+01 | Inf
459.24/459.43 c 401s|520000 |190451 | 2918k| 5.6 | 105M| 54 | - | 172 | 56 | 172 | 23 | 20 | 22k|9477 | 0.000000e+00 | 1.500000e+01 | Inf
466.74/467.00 c 408s|530000 |192693 | 2973k| 5.6 | 107M| 54 | 7 | 172 | 53 | 172 | 23 | 20 | 22k|9569 | 0.000000e+00 | 1.500000e+01 | Inf
475.14/475.34 c 415s|540000 |196345 | 3033k| 5.6 | 109M| 54 | - | 172 | 69 | 172 | 23 | 20 | 23k|9646 | 0.000000e+00 | 1.500000e+01 | Inf
482.84/483.09 c 422s|550000 |199373 | 3090k| 5.6 | 111M| 54 | - | 172 | 51 | 172 | 23 | 20 | 23k|9735 | 0.000000e+00 | 1.500000e+01 | Inf
490.34/490.60 c 429s|560000 |201958 | 3146k| 5.6 | 112M| 54 | - | 172 | 58 | 0 | 0 | 20 | 24k|9837 | 0.000000e+00 | 1.500000e+01 | Inf
497.93/498.13 c 435s|570000 |204803 | 3201k| 5.6 | 114M| 54 | 7 | 172 | 51 | 172 | 23 | 20 | 24k|9924 | 0.000000e+00 | 1.500000e+01 | Inf
505.53/505.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
505.53/505.71 c 442s|580000 |207551 | 3257k| 5.6 | 116M| 54 | 7 | 172 | 56 | 172 | 23 | 20 | 24k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
513.13/513.37 c 449s|590000 |210056 | 3314k| 5.6 | 117M| 54 | 7 | 172 | 51 | 172 | 23 | 20 | 25k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
521.03/521.29 c 456s|600000 |213322 | 3372k| 5.6 | 119M| 54 | 7 | 172 | 47 | 172 | 23 | 20 | 25k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
529.02/529.28 c 463s|610000 |216574 | 3430k| 5.6 | 121M| 54 | 7 | 172 | 47 | 172 | 23 | 20 | 26k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
536.63/536.81 c 469s|620000 |219128 | 3486k| 5.6 | 123M| 54 | 7 | 172 | 53 | 172 | 23 | 20 | 26k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
544.62/544.82 c 476s|630000 |222247 | 3543k| 5.6 | 125M| 54 | 7 | 172 | 50 | 172 | 23 | 20 | 26k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
552.31/552.50 c 483s|640000 |225328 | 3598k| 5.6 | 126M| 54 | 7 | 172 | 54 | 172 | 23 | 20 | 27k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
559.91/560.10 c 490s|650000 |228070 | 3654k| 5.6 | 128M| 54 | - | 172 | 48 | 172 | 23 | 20 | 27k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
567.42/567.68 c 496s|660000 |230423 | 3712k| 5.6 | 130M| 54 | - | 172 | 47 | 172 | 23 | 20 | 27k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
574.80/575.01 c 503s|670000 |232505 | 3767k| 5.6 | 131M| 54 | - | 172 | 49 | 172 | 23 | 20 | 28k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
582.40/582.60 c 510s|680000 |234799 | 3823k| 5.6 | 132M| 54 | - | 172 | 58 | 0 | 0 | 20 | 28k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
589.91/590.15 c 516s|690000 |237416 | 3878k| 5.6 | 134M| 54 | 7 | 172 | 51 | 172 | 23 | 20 | 29k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
597.30/597.55 c 523s|700000 |239651 | 3934k| 5.6 | 135M| 54 | 7 | 172 | 47 | 172 | 23 | 20 | 29k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
604.60/604.89 c 529s|710000 |241823 | 3987k| 5.6 | 137M| 54 | 7 | 172 | 51 | 172 | 23 | 20 | 29k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
612.00/612.23 c 536s|720000 |243940 | 4040k| 5.6 | 138M| 54 | 7 | 172 | 51 | 172 | 23 | 20 | 30k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
619.69/620.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
619.69/620.00 c 542s|730000 |247039 | 4094k| 5.6 | 140M| 54 | - | 172 | 73 | 172 | 23 | 20 | 30k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
626.99/627.28 c 549s|740000 |249214 | 4146k| 5.6 | 142M| 54 | 7 | 172 | 58 | 172 | 23 | 20 | 31k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
634.29/634.51 c 555s|750000 |251464 | 4198k| 5.6 | 143M| 54 | - | 172 | 66 | 172 | 23 | 20 | 31k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
641.79/642.01 c 562s|760000 |253901 | 4251k| 5.6 | 144M| 54 | 7 | 172 | 59 | 172 | 23 | 20 | 31k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
649.39/649.67 c 569s|770000 |256777 | 4305k| 5.6 | 146M| 54 | - | 172 | 54 | 172 | 23 | 20 | 32k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
656.68/656.98 c 575s|780000 |258835 | 4358k| 5.6 | 148M| 54 | - | 172 | 62 | 172 | 23 | 20 | 32k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
663.98/664.28 c 581s|790000 |260864 | 4411k| 5.6 | 149M| 54 | 7 | 172 | 57 | 172 | 23 | 20 | 32k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
671.28/671.58 c 588s|800000 |262744 | 4465k| 5.6 | 150M| 54 | - | 172 | 60 | 0 | 0 | 20 | 33k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
678.49/678.79 c 594s|810000 |264257 | 4517k| 5.6 | 151M| 54 | - | 172 | 66 | 0 | 0 | 20 | 33k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
685.58/685.89 c 600s|820000 |265932 | 4568k| 5.6 | 152M| 54 | 7 | 172 | 62 | 172 | 23 | 20 | 34k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
692.68/693.00 c 607s|830000 |267253 | 4619k| 5.6 | 153M| 54 | 7 | 172 | 58 | 172 | 23 | 20 | 34k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
699.98/700.22 c 613s|840000 |268688 | 4673k| 5.6 | 154M| 54 | - | 172 | 58 | 172 | 23 | 20 | 34k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
707.08/707.36 c 619s|850000 |270161 | 4725k| 5.6 | 156M| 54 | 7 | 172 | 66 | 172 | 23 | 20 | 35k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
714.27/714.56 c 625s|860000 |271598 | 4778k| 5.6 | 157M| 54 | - | 172 | 64 | 172 | 23 | 20 | 35k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
721.47/721.75 c 632s|870000 |273027 | 4831k| 5.6 | 158M| 54 | 7 | 172 | 76 | 172 | 23 | 20 | 35k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
728.66/728.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.66/728.97 c 638s|880000 |274727 | 4883k| 5.5 | 159M| 54 | 7 | 172 | 78 | 172 | 23 | 20 | 36k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
735.96/736.21 c 644s|890000 |276541 | 4937k| 5.5 | 160M| 54 | - | 172 | 74 | 0 | 0 | 20 | 36k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
743.16/743.43 c 651s|900000 |278012 | 4990k| 5.5 | 161M| 54 | 7 | 172 | 71 | 172 | 23 | 20 | 37k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
750.26/750.56 c 657s|910000 |279439 | 5043k| 5.5 | 162M| 54 | - | 172 | 67 | 0 | 0 | 20 | 37k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
757.36/757.69 c 663s|920000 |280731 | 5096k| 5.5 | 163M| 54 | 7 | 172 | 72 | 172 | 23 | 20 | 37k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
764.56/764.89 c 670s|930000 |282087 | 5148k| 5.5 | 164M| 54 | 7 | 172 | 74 | 172 | 23 | 20 | 38k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
771.76/772.08 c 676s|940000 |283533 | 5201k| 5.5 | 165M| 54 | - | 172 | 73 | 0 | 0 | 20 | 38k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
779.15/779.42 c 682s|950000 |285952 | 5253k| 5.5 | 167M| 54 | - | 172 | 73 | 172 | 23 | 20 | 38k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
786.25/786.54 c 689s|960000 |287570 | 5303k| 5.5 | 168M| 54 | 7 | 172 | 65 | 172 | 23 | 20 | 39k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
793.35/793.60 c 695s|970000 |289435 | 5353k| 5.5 | 169M| 54 | 7 | 172 | 60 | 172 | 23 | 20 | 39k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
800.55/800.81 c 701s|980000 |291586 | 5405k| 5.5 | 170M| 54 | - | 172 | 65 | 172 | 23 | 20 | 40k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
807.54/807.86 c 707s|990000 |292918 | 5456k| 5.5 | 171M| 54 | - | 172 | 65 | 172 | 23 | 20 | 40k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
814.54/814.86 c 713s| 1000k|293902 | 5506k| 5.5 | 172M| 54 | - | 172 | 71 | 172 | 23 | 20 | 40k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
821.64/821.96 c 720s| 1010k|295407 | 5558k| 5.5 | 173M| 54 | 7 | 172 | 67 | 172 | 23 | 20 | 41k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
828.64/828.94 c 726s| 1020k|296703 | 5607k| 5.5 | 174M| 54 | 7 | 172 | 75 | 172 | 23 | 20 | 41k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
835.74/836.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.74/836.07 c 732s| 1030k|297974 | 5660k| 5.5 | 175M| 54 | - | 172 | 59 | 172 | 23 | 20 | 41k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
842.83/843.18 c 738s| 1040k|298722 | 5712k| 5.5 | 176M| 54 | - | 172 | 62 | 172 | 23 | 20 | 42k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
850.03/850.34 c 744s| 1050k|299919 | 5765k| 5.5 | 177M| 54 | - | 172 | 57 | 172 | 23 | 20 | 42k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
857.13/857.44 c 751s| 1060k|301129 | 5818k| 5.5 | 178M| 54 | - | 172 | 58 | 172 | 23 | 20 | 42k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
864.13/864.49 c 757s| 1070k|302037 | 5870k| 5.5 | 179M| 54 | - | 172 | 65 | 172 | 23 | 20 | 43k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
871.32/871.63 c 763s| 1080k|303074 | 5922k| 5.5 | 179M| 54 | 7 | 172 | 65 | 172 | 23 | 20 | 43k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
878.42/878.74 c 769s| 1090k|304188 | 5973k| 5.5 | 180M| 54 | - | 172 | 60 | 172 | 23 | 20 | 44k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
885.52/885.86 c 775s| 1100k|305318 | 6024k| 5.5 | 181M| 54 | 7 | 172 | 59 | 172 | 23 | 20 | 44k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
893.12/893.41 c 782s| 1110k|307948 | 6077k| 5.5 | 183M| 54 | 7 | 172 | 48 | 172 | 23 | 20 | 44k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
900.41/900.77 c 789s| 1120k|310131 | 6130k| 5.5 | 184M| 54 | - | 172 | 61 | 0 | 0 | 20 | 45k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
907.81/908.11 c 795s| 1130k|312013 | 6184k| 5.5 | 185M| 54 | 7 | 172 | 62 | 172 | 23 | 20 | 45k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
912.22/912.58 o 13
912.22/912.58 c * 799s| 1136k|308784 | 6216k| 5.5 | 180M| 54 | - | 172 | 58 | 172 | 23 | 20 | 45k| 14k| 0.000000e+00 | 1.300000e+01 | Inf
915.11/915.40 c 801s| 1140k|309420 | 6237k| 5.5 | 180M| 54 | - | 172 | 58 | 0 | 0 | 20 | 46k| 14k| 0.000000e+00 | 1.300000e+01 | Inf
922.40/922.70 c 808s| 1150k|310993 | 6290k| 5.5 | 181M| 54 | 7 | 172 | 50 | 172 | 23 | 20 | 46k| 14k| 0.000000e+00 | 1.300000e+01 | Inf
929.51/929.80 c 814s| 1160k|312593 | 6341k| 5.5 | 182M| 54 | - | 172 | 52 | 172 | 23 | 20 | 47k| 14k| 0.000000e+00 | 1.300000e+01 | Inf
936.70/937.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.70/937.07 c 820s| 1170k|314018 | 6394k| 5.5 | 183M| 54 | 7 | 172 | 59 | 172 | 23 | 20 | 47k| 14k| 0.000000e+00 | 1.300000e+01 | Inf
943.90/944.25 c 827s| 1180k|315193 | 6447k| 5.5 | 184M| 54 | 7 | 172 | 55 | 172 | 23 | 20 | 47k| 14k| 0.000000e+00 | 1.300000e+01 | Inf
951.11/951.50 c 833s| 1190k|316755 | 6500k| 5.5 | 185M| 54 | - | 172 | 52 | 172 | 23 | 20 | 48k| 14k| 0.000000e+00 | 1.300000e+01 | Inf
958.30/958.69 c 839s| 1200k|318146 | 6553k| 5.5 | 186M| 54 | - | 172 | 52 | 0 | 0 | 20 | 48k| 14k| 0.000000e+00 | 1.300000e+01 | Inf
965.50/965.84 c 845s| 1210k|319222 | 6605k| 5.5 | 187M| 54 | - | 172 | 55 | 0 | 0 | 20 | 49k| 14k| 0.000000e+00 | 1.300000e+01 | Inf
972.60/972.95 c 852s| 1220k|320400 | 6657k| 5.5 | 188M| 54 | 7 | 172 | 51 | 172 | 23 | 20 | 49k| 14k| 0.000000e+00 | 1.300000e+01 | Inf
979.69/980.02 c 858s| 1230k|321406 | 6708k| 5.5 | 189M| 54 | 7 | 172 | 53 | 172 | 23 | 20 | 50k| 14k| 0.000000e+00 | 1.300000e+01 | Inf
986.79/987.19 c 864s| 1240k|322086 | 6760k| 5.5 | 190M| 54 | 7 | 172 | 56 | 172 | 23 | 20 | 50k| 14k| 0.000000e+00 | 1.300000e+01 | Inf
993.88/994.24 c 870s| 1250k|323036 | 6813k| 5.5 | 190M| 54 | - | 172 | 52 | 172 | 23 | 20 | 51k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1000.89/1001.27 c 876s| 1260k|323710 | 6863k| 5.4 | 191M| 54 | 7 | 172 | 49 | 172 | 23 | 20 | 51k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1007.98/1008.31 c 883s| 1270k|324666 | 6915k| 5.4 | 192M| 54 | - | 172 | 52 | 172 | 23 | 20 | 51k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1015.08/1015.44 c 889s| 1280k|325749 | 6968k| 5.4 | 193M| 54 | - | 172 | 54 | 172 | 23 | 20 | 52k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1022.28/1022.60 c 895s| 1290k|326861 | 7021k| 5.4 | 194M| 54 | 7 | 172 | 48 | 172 | 23 | 20 | 52k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1029.38/1029.70 c 901s| 1300k|327646 | 7073k| 5.4 | 194M| 54 | 7 | 172 | 46 | 172 | 23 | 20 | 53k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1036.38/1036.70 c 907s| 1310k|328245 | 7124k| 5.4 | 195M| 54 | 7 | 172 | 65 | 172 | 23 | 20 | 53k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1043.38/1043.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1043.38/1043.79 c 914s| 1320k|328887 | 7176k| 5.4 | 196M| 54 | - | 172 | 56 | 172 | 23 | 20 | 53k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1050.57/1050.97 c 920s| 1330k|330151 | 7230k| 5.4 | 197M| 54 | 7 | 172 | 58 | 172 | 23 | 20 | 54k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1057.56/1057.97 c 926s| 1340k|331152 | 7280k| 5.4 | 197M| 54 | - | 172 | 53 | 172 | 23 | 20 | 54k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1067.56/1067.97 c 934s| 1350k|331690 | 7329k| 5.4 | 198M| 54 | - | 172 | 59 | 172 | 23 | 20 | 55k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1074.66/1075.04 c 941s| 1360k|332102 | 7382k| 5.4 | 199M| 54 | 7 | 172 | 57 | 172 | 23 | 20 | 55k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1081.76/1082.14 c 947s| 1370k|332597 | 7434k| 5.4 | 199M| 54 | 7 | 172 | 60 | 172 | 23 | 20 | 56k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1088.76/1089.17 c 953s| 1380k|333151 | 7486k| 5.4 | 200M| 54 | 7 | 172 | 55 | 172 | 23 | 20 | 56k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1095.86/1096.29 c 959s| 1390k|333964 | 7538k| 5.4 | 200M| 54 | - | 172 | 54 | 172 | 23 | 20 | 57k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1102.96/1103.36 c 965s| 1400k|334425 | 7590k| 5.4 | 201M| 54 | - | 172 | 73 | 172 | 23 | 20 | 57k| 15k| 0.000000e+00 | 1.300000e+01 | Inf
1110.15/1110.52 c 972s| 1410k|335031 | 7643k| 5.4 | 202M| 54 | 7 | 172 | 58 | 172 | 23 | 20 | 58k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1117.26/1117.65 c 978s| 1420k|335565 | 7695k| 5.4 | 202M| 54 | 7 | 172 | 56 | 172 | 23 | 20 | 58k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1124.25/1124.62 c 984s| 1430k|336181 | 7746k| 5.4 | 203M| 54 | 7 | 172 | 52 | 172 | 23 | 20 | 59k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1131.24/1131.61 c 990s| 1440k|336836 | 7797k| 5.4 | 203M| 54 | - | 172 | 52 | 0 | 0 | 20 | 59k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1138.34/1138.74 c 996s| 1450k|337318 | 7851k| 5.4 | 204M| 54 | - | 172 | 50 | 0 | 0 | 20 | 59k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1145.44/1145.86 c 1003s| 1460k|337923 | 7903k| 5.4 | 205M| 54 | - | 172 | 55 | 0 | 0 | 20 | 60k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1152.44/1152.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.44/1152.89 c 1009s| 1470k|338983 | 7956k| 5.4 | 205M| 54 | 7 | 172 | 64 | 172 | 23 | 20 | 60k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1159.53/1159.91 c 1015s| 1480k|339350 | 8009k| 5.4 | 206M| 54 | - | 172 | 55 | 0 | 0 | 20 | 61k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1166.64/1167.02 c 1021s| 1490k|339564 | 8062k| 5.4 | 206M| 54 | - | 172 | 65 | 172 | 23 | 20 | 61k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1173.63/1174.04 c 1027s| 1500k|340142 | 8115k| 5.4 | 207M| 54 | 7 | 172 | 68 | 172 | 23 | 20 | 62k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1180.73/1181.19 c 1033s| 1510k|341264 | 8168k| 5.4 | 208M| 54 | - | 172 | 61 | 172 | 23 | 20 | 62k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1187.92/1188.31 c 1040s| 1520k|343183 | 8217k| 5.4 | 209M| 54 | 7 | 172 | 53 | 172 | 23 | 20 | 63k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1194.93/1195.33 c 1046s| 1530k|344725 | 8266k| 5.4 | 210M| 54 | 7 | 172 | 58 | 172 | 23 | 20 | 63k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1201.93/1202.32 c 1052s| 1540k|346466 | 8315k| 5.4 | 211M| 54 | - | 172 | 61 | 172 | 23 | 20 | 64k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1208.83/1209.27 c 1058s| 1550k|347539 | 8363k| 5.4 | 212M| 54 | 7 | 172 | 59 | 172 | 23 | 20 | 64k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
1215.92/1216.31 c 1064s| 1560k|348590 | 8413k| 5.4 | 213M| 54 | 7 | 172 | 52 | 172 | 23 | 20 | 64k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1222.82/1223.22 c 1070s| 1570k|349731 | 8462k| 5.4 | 213M| 54 | 7 | 172 | 46 | 172 | 23 | 20 | 65k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1229.81/1230.27 c 1076s| 1580k|350734 | 8512k| 5.4 | 214M| 54 | - | 172 | 49 | 172 | 23 | 20 | 65k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1236.82/1237.25 c 1083s| 1590k|351412 | 8561k| 5.4 | 215M| 54 | - | 172 | 51 | 0 | 0 | 20 | 66k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1243.81/1244.26 c 1089s| 1600k|352383 | 8609k| 5.4 | 216M| 54 | - | 172 | 58 | 172 | 23 | 20 | 66k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1250.72/1251.15 c 1095s| 1610k|353071 | 8657k| 5.4 | 216M| 54 | 7 | 172 | 55 | 172 | 23 | 20 | 67k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1257.71/1258.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1257.71/1258.10 c 1101s| 1620k|354028 | 8705k| 5.4 | 217M| 54 | - | 172 | 53 | 172 | 23 | 20 | 67k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1264.61/1265.09 c 1107s| 1630k|354888 | 8754k| 5.4 | 218M| 54 | 7 | 172 | 63 | 172 | 23 | 20 | 68k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1271.60/1272.00 c 1113s| 1640k|355705 | 8802k| 5.4 | 218M| 54 | - | 172 | 63 | 0 | 0 | 20 | 68k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1278.60/1279.08 c 1119s| 1650k|356491 | 8851k| 5.4 | 219M| 54 | 7 | 172 | 61 | 172 | 23 | 20 | 68k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1285.69/1286.12 c 1125s| 1660k|357147 | 8901k| 5.4 | 220M| 54 | - | 172 | 57 | 172 | 23 | 20 | 69k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1292.70/1293.13 c 1131s| 1670k|357774 | 8950k| 5.4 | 220M| 54 | 7 | 172 | 54 | 172 | 23 | 20 | 69k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1299.71/1300.11 c 1138s| 1680k|358049 | 8998k| 5.4 | 221M| 54 | - | 172 | 57 | 172 | 23 | 20 | 70k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1306.49/1306.98 c 1144s| 1690k|358726 | 9045k| 5.4 | 221M| 54 | 7 | 172 | 60 | 172 | 23 | 20 | 70k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1313.39/1313.88 c 1150s| 1700k|359504 | 9092k| 5.3 | 222M| 54 | - | 172 | 57 | 172 | 23 | 20 | 71k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1320.38/1320.82 c 1156s| 1710k|360167 | 9140k| 5.3 | 222M| 54 | 7 | 172 | 54 | 172 | 23 | 20 | 71k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1327.29/1327.77 c 1162s| 1720k|360515 | 9188k| 5.3 | 223M| 54 | - | 172 | 59 | 0 | 0 | 20 | 71k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1334.39/1334.82 c 1168s| 1730k|361481 | 9237k| 5.3 | 224M| 54 | 7 | 172 | 51 | 172 | 23 | 20 | 72k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1341.38/1341.82 c 1174s| 1740k|362450 | 9286k| 5.3 | 224M| 54 | - | 172 | 65 | 0 | 0 | 20 | 72k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
1348.28/1348.78 c 1180s| 1750k|363213 | 9337k| 5.3 | 225M| 54 | 7 | 172 | 61 | 172 | 23 | 20 | 73k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1355.28/1355.78 c 1186s| 1760k|363920 | 9387k| 5.3 | 226M| 54 | 7 | 172 | 58 | 172 | 23 | 20 | 73k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1362.38/1362.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.38/1362.86 c 1192s| 1770k|364433 | 9439k| 5.3 | 226M| 54 | - | 172 | 54 | 172 | 23 | 20 | 73k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1369.48/1369.94 c 1199s| 1780k|364951 | 9491k| 5.3 | 227M| 54 | - | 172 | 51 | 172 | 23 | 20 | 74k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1376.47/1376.96 c 1205s| 1790k|365208 | 9542k| 5.3 | 227M| 54 | 7 | 172 | 65 | 172 | 23 | 20 | 74k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1383.57/1384.03 c 1211s| 1800k|365911 | 9594k| 5.3 | 228M| 54 | 7 | 172 | 50 | 172 | 23 | 20 | 74k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1390.47/1390.97 c 1217s| 1810k|366290 | 9644k| 5.3 | 228M| 54 | 7 | 172 | 54 | 172 | 23 | 20 | 75k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1397.46/1397.95 c 1223s| 1820k|366987 | 9695k| 5.3 | 229M| 54 | - | 172 | 55 | 172 | 23 | 20 | 75k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1404.56/1405.01 c 1229s| 1830k|367530 | 9746k| 5.3 | 230M| 54 | 7 | 172 | 45 | 172 | 23 | 20 | 76k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1412.76/1413.22 c 1237s| 1840k|371043 | 9802k| 5.3 | 231M| 54 | 7 | 172 | 63 | 172 | 23 | 20 | 76k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1421.26/1421.70 c 1244s| 1850k|375239 | 9860k| 5.3 | 234M| 54 | 7 | 172 | 53 | 172 | 23 | 20 | 77k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1429.26/1429.76 c 1251s| 1860k|378789 | 9916k| 5.3 | 235M| 54 | 7 | 172 | 58 | 172 | 23 | 20 | 77k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1437.35/1437.82 c 1258s| 1870k|382500 | 9973k| 5.3 | 237M| 54 | 7 | 172 | 49 | 172 | 23 | 20 | 77k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1444.96/1445.45 c 1265s| 1880k|385626 | 10027k| 5.3 | 239M| 54 | 7 | 172 | 60 | 172 | 23 | 20 | 78k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1452.55/1453.04 c 1271s| 1890k|388731 | 10081k| 5.3 | 241M| 54 | 7 | 172 | 54 | 172 | 23 | 20 | 78k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1460.25/1460.73 c 1278s| 1900k|391535 | 10136k| 5.3 | 242M| 54 | 7 | 172 | 53 | 172 | 23 | 20 | 79k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1467.64/1468.17 c 1285s| 1910k|393823 | 10189k| 5.3 | 244M| 54 | 7 | 172 | 62 | 172 | 23 | 20 | 79k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1476.04/1476.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1476.04/1476.57 c 1292s| 1920k|397607 | 10248k| 5.3 | 246M| 54 | - | 172 | 49 | 172 | 23 | 20 | 80k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1483.74/1484.26 c 1299s| 1930k|400650 | 10303k| 5.3 | 248M| 54 | - | 172 | 52 | 172 | 23 | 20 | 80k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1491.43/1491.97 c 1306s| 1940k|403573 | 10358k| 5.3 | 249M| 54 | 7 | 172 | 47 | 172 | 23 | 20 | 81k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1499.33/1499.84 c 1313s| 1950k|406736 | 10413k| 5.3 | 251M| 54 | 7 | 172 | 43 | 172 | 23 | 20 | 81k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1507.13/1507.68 c 1319s| 1960k|409720 | 10470k| 5.3 | 253M| 54 | 7 | 172 | 47 | 172 | 23 | 20 | 81k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1514.73/1515.24 c 1326s| 1970k|412289 | 10525k| 5.3 | 254M| 54 | - | 172 | 52 | 172 | 23 | 20 | 82k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1522.23/1522.78 c 1333s| 1980k|415291 | 10578k| 5.3 | 256M| 54 | 7 | 172 | 52 | 172 | 23 | 20 | 82k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1529.73/1530.21 c 1339s| 1990k|417948 | 10630k| 5.3 | 257M| 54 | 7 | 172 | 50 | 172 | 23 | 20 | 83k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1537.23/1537.70 c 1346s| 2000k|420710 | 10683k| 5.3 | 259M| 54 | 7 | 172 | 57 | 172 | 23 | 20 | 83k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1544.62/1545.15 c 1352s| 2010k|423239 | 10735k| 5.3 | 261M| 54 | 7 | 172 | 54 | 172 | 23 | 20 | 84k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1552.12/1552.69 c 1359s| 2020k|425819 | 10787k| 5.3 | 262M| 54 | 7 | 172 | 63 | 172 | 23 | 20 | 84k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1559.61/1560.10 c 1366s| 2030k|428209 | 10839k| 5.3 | 264M| 54 | 7 | 172 | 64 | 172 | 23 | 20 | 85k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1567.02/1567.53 c 1372s| 2040k|430437 | 10891k| 5.3 | 265M| 54 | - | 172 | 45 | 172 | 23 | 20 | 85k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1574.20/1574.72 c 1378s| 2050k|432453 | 10942k| 5.3 | 266M| 54 | 7 | 172 | 52 | 172 | 23 | 20 | 85k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1581.51/1582.02 c 1385s| 2060k|434726 | 10994k| 5.3 | 268M| 54 | - | 172 | 59 | 172 | 23 | 20 | 86k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1589.00/1589.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.00/1589.50 c 1391s| 2070k|437018 | 11046k| 5.3 | 269M| 54 | 7 | 172 | 51 | 172 | 23 | 20 | 86k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1596.40/1596.91 c 1398s| 2080k|439171 | 11098k| 5.3 | 270M| 54 | 7 | 172 | 54 | 172 | 23 | 20 | 87k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1603.79/1604.32 c 1404s| 2090k|441446 | 11149k| 5.3 | 272M| 54 | 7 | 172 | 67 | 172 | 23 | 20 | 87k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1611.00/1611.51 c 1411s| 2100k|443649 | 11200k| 5.3 | 273M| 54 | 7 | 172 | 49 | 172 | 23 | 20 | 88k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1618.39/1618.92 c 1417s| 2110k|446283 | 11251k| 5.3 | 275M| 54 | - | 172 | 58 | 172 | 23 | 20 | 88k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1626.09/1626.61 c 1424s| 2120k|448960 | 11304k| 5.3 | 276M| 54 | 7 | 172 | 40 | 172 | 23 | 20 | 89k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1634.28/1634.82 c 1431s| 2130k|452771 | 11360k| 5.3 | 278M| 54 | - | 172 | 49 | 172 | 23 | 20 | 89k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1641.99/1642.55 c 1438s| 2140k|455842 | 11414k| 5.3 | 280M| 54 | 7 | 172 | 49 | 172 | 23 | 20 | 89k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1649.59/1650.11 c 1445s| 2150k|458490 | 11468k| 5.3 | 281M| 54 | - | 172 | 44 | 172 | 23 | 20 | 90k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1656.98/1657.52 c 1451s| 2160k|460837 | 11520k| 5.3 | 283M| 54 | 7 | 172 | 46 | 172 | 23 | 20 | 90k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1664.67/1665.28 c 1458s| 2170k|464089 | 11573k| 5.3 | 285M| 54 | - | 172 | 41 | 172 | 23 | 20 | 91k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1672.07/1672.63 c 1464s| 2180k|466634 | 11625k| 5.3 | 286M| 54 | - | 172 | 36 | 172 | 23 | 20 | 91k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1679.47/1680.02 c 1471s| 2190k|469031 | 11677k| 5.3 | 288M| 54 | - | 172 | 43 | 0 | 0 | 20 | 92k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1686.88/1687.48 c 1477s| 2200k|471188 | 11730k| 5.3 | 289M| 54 | - | 172 | 46 | 172 | 23 | 20 | 92k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1694.26/1694.86 c 1484s| 2210k|473289 | 11782k| 5.3 | 290M| 54 | - | 172 | 43 | 0 | 0 | 20 | 93k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1701.77/1702.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1701.77/1702.32 c 1490s| 2220k|475532 | 11834k| 5.3 | 292M| 54 | - | 172 | 46 | 172 | 23 | 20 | 93k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1709.26/1709.87 c 1497s| 2230k|477570 | 11888k| 5.3 | 293M| 54 | - | 172 | 44 | 172 | 23 | 20 | 93k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
1716.76/1717.31 c 1504s| 2240k|479630 | 11940k| 5.3 | 294M| 54 | 7 | 172 | 42 | 172 | 23 | 20 | 94k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1723.95/1724.59 c 1510s| 2250k|481625 | 11992k| 5.3 | 295M| 54 | 7 | 172 | 42 | 172 | 23 | 20 | 94k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1731.65/1732.23 c 1517s| 2260k|484503 | 12045k| 5.3 | 297M| 54 | 7 | 172 | 53 | 172 | 23 | 20 | 95k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1738.95/1739.55 c 1523s| 2270k|486600 | 12097k| 5.3 | 298M| 54 | - | 172 | 39 | 0 | 0 | 20 | 95k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1746.26/1746.84 c 1529s| 2280k|488744 | 12149k| 5.3 | 300M| 54 | - | 172 | 50 | 172 | 23 | 20 | 96k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1753.85/1754.48 c 1536s| 2290k|491606 | 12202k| 5.3 | 301M| 54 | 7 | 172 | 51 | 172 | 23 | 20 | 96k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1761.35/1761.99 c 1543s| 2300k|494288 | 12255k| 5.3 | 303M| 54 | 7 | 172 | 52 | 172 | 23 | 20 | 97k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1768.64/1769.23 c 1549s| 2310k|496628 | 12306k| 5.3 | 304M| 54 | 7 | 172 | 45 | 172 | 23 | 20 | 97k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1776.04/1776.61 c 1555s| 2320k|498395 | 12358k| 5.3 | 305M| 54 | 7 | 172 | 59 | 172 | 23 | 20 | 97k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1783.14/1783.75 c 1562s| 2330k|499722 | 12409k| 5.3 | 306M| 54 | - | 172 | 44 | 172 | 23 | 20 | 98k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1790.64/1791.26 c 1568s| 2340k|501886 | 12462k| 5.3 | 308M| 54 | 7 | 172 | 39 | 172 | 23 | 20 | 98k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1797.94/1798.52 c 1574s| 2350k|503538 | 12513k| 5.3 | 309M| 54 | - | 172 | 48 | 0 | 0 | 20 | 99k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1576.21
1800.04/1800.61 c Solving Nodes : 2352842
1800.04/1800.61 c Primal Bound : +1.30000000000000e+01 (43 solutions)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 s SATISFIABLE
1800.04/1800.61 v -x172 x171 x170 x169 x168 x167 -x166 -x165 x164 -x163 x162 -x161 x160 x159 -x158 -x157 -x156 x155 x154 -x153 x152 x151 -x150 x149
1800.04/1800.61 v -x148 x147 x146 x145 x144 x143 -x142 -x141 -x140 -x139 x138 x137 -x136 x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127
1800.04/1800.61 v -x126 x125 x124 -x123 x122 x121 -x120 -x119 x118 -x117 -x116 -x115 x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.61 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80
1800.04/1800.61 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55
1800.04/1800.61 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.04/1800.61 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.04/1800.61 v -x2 -x1
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1576.21
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2665672-1276618556.opb
1800.04/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 14 initial, 14 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2665672-1276618556.opb
1800.04/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 7 initial, 102 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.61 c linear : 0.00 0 0 0 0 0 7 0 0
1800.04/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 56 - - 56 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 1455308 0 74 2677 0 0 2905250
1800.04/1800.61 c linear : 7+ 7 3614244 0 0 298491 1962297 0 0 0
1800.04/1800.61 c logicor : 0+ 0 903089 0 0 2117 31546 0 0 0
1800.04/1800.61 c countsols : 0 0 0 30 0 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 24.81 0.00 0.00 24.81 0.00
1800.04/1800.61 c linear : 293.06 0.00 293.06 0.00 0.00
1800.04/1800.61 c logicor : 3.60 0.00 3.60 0.00 0.00
1800.04/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 1.70 2 0 0
1800.04/1800.61 c rootredcost : 1.68 41 0 56
1800.04/1800.61 c pseudoobj : 33.27 3616682 2606 212754
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 23.60 301836 71004 83484 59.1 19 31.2 -
1800.04/1800.61 c infeasible LP : 2.49 29061 28474 35309 35.5 4 44.5 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.00 9 9 9 2.0 0 0.0 -
1800.04/1800.61 c applied globally : - - - 17254 26.5 - - -
1800.04/1800.61 c applied locally : - - - 82121 56.3 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 5 - - 9 - (maximal pool size: 65)
1800.04/1800.61 c redcost : 47.16 1966191 0 10291727 0 0
1800.04/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.01 6 0 0 0 0
1800.04/1800.61 c strongcg : 0.03 6 0 0 20 0
1800.04/1800.61 c cmir : 0.02 6 0 0 27 0
1800.04/1800.61 c flowcover : 0.05 6 0 0 26 0
1800.04/1800.61 c clique : 0.00 1 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 1 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.09 1 0 0 0 52
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 22.74 1455278 74 2677 0 0 2905250
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.14 - 30
1800.04/1800.61 c pseudo solutions : 0.00 - 0
1800.04/1800.61 c feaspump : 0.18 2 0
1800.04/1800.61 c oneopt : 1.94 41 0
1800.04/1800.61 c crossover : 14.60 7 0
1800.04/1800.61 c fracdiving : 23.36 4415 4
1800.04/1800.61 c guideddiving : 19.00 4415 4
1800.04/1800.61 c veclendiving : 15.41 4415 1
1800.04/1800.61 c objpscostdiving : 4.80 2208 0
1800.04/1800.61 c coefdiving : 42.26 4416 0
1800.04/1800.61 c pscostdiving : 21.92 4416 0
1800.04/1800.61 c linesearchdiving : 17.19 4416 1
1800.04/1800.61 c trivial : 0.00 2 0
1800.04/1800.61 c simplerounding : 1.63 0 0
1800.04/1800.61 c zirounding : 1.10 1000 0
1800.04/1800.61 c rounding : 2.63 17749 0
1800.04/1800.61 c shifting : 5.65 5749 0
1800.04/1800.61 c intshifting : 0.07 0 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c rootsoldiving : 10.95 1940 2
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.16 1 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 1.05 0 0
1800.04/1800.61 c trysol : 2.11 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.01 0 0 0.00 0.00
1800.04/1800.61 c dual LP : 771.76 2200157 11441857 5.20 14825.67
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 101.88 428419 1087315 2.54 10672.51
1800.04/1800.61 c strong branching : 7.49 20398 76873 3.77 10263.42
1800.04/1800.61 c (at root node) : - 9 801 89.00 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 2352842
1800.04/1800.61 c nodes (total) : 2352842
1800.04/1800.61 c nodes left : 504123
1800.04/1800.61 c max depth : 54
1800.04/1800.61 c max depth (total): 54
1800.04/1800.61 c backtracks : 455112 (19.3%)
1800.04/1800.61 c delayed cutoffs : 15936
1800.04/1800.61 c repropagations : 32368 (115053 domain reductions, 15907 cutoffs)
1800.04/1800.61 c avg switch length: 5.55
1800.04/1800.61 c switching time : 77.87
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 43 (41 improvements)
1800.04/1800.61 c First Solution : +1.12600000000000e+03 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.04/1800.61 c Primal Bound : +1.30000000000000e+01 (in run 1, after 1136120 nodes, 798.83 seconds, depth 44, found by <relaxation>)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Root Iterations : 100
1801.93/1802.51 c Time complete: 1801.94.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665672-1276618556/watcher-2665672-1276618556 -o /tmp/evaluation-result-2665672-1276618556/solver-2665672-1276618556 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665672-1276618556.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 10370
/proc/meminfo: memFree=1505780/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=9288 CPUtime=0
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 1269 0 0 0 0 0 0 0 20 0 1 0 3148080 9510912 1189 1992294400 4194304 9819077 140735282417824 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10370/statm: 2322 1199 371 1374 0 943 0
[startup+0.0840179 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 10370
/proc/meminfo: memFree=1505780/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=22684 CPUtime=0.07
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 4998 0 0 0 6 1 0 0 20 0 1 0 3148080 23228416 4041 1992294400 4194304 9819077 140735282417824 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 5671 4041 673 1374 0 4292 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22684
[startup+0.10102 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 10370
/proc/meminfo: memFree=1505780/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=22832 CPUtime=0.09
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 5030 0 0 0 8 1 0 0 20 0 1 0 3148080 23379968 4073 1992294400 4194304 9819077 140735282417824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 5708 4073 673 1374 0 4329 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22832
[startup+0.301042 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 10370
/proc/meminfo: memFree=1505780/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=24456 CPUtime=0.29
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 8527 0 0 0 25 4 0 0 20 0 1 0 3148080 25042944 4446 1992294400 4194304 9819077 140735282417824 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 6114 4446 714 1374 0 4735 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24456
[startup+0.701086 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 10370
/proc/meminfo: memFree=1505780/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=16336 CPUtime=0.69
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 13525 0 0 0 58 11 0 0 20 0 1 0 3148080 16728064 2961 1992294400 4194304 9819077 140735282417824 18446744073709551615 4981237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 4084 2961 723 1374 0 2705 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16336
[startup+1.50118 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10371
/proc/meminfo: memFree=1496100/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=16336 CPUtime=1.49
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 21638 0 0 0 128 21 0 0 22 0 1 0 3148080 16728064 2962 1992294400 4194304 9819077 140735282417824 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 4164 2964 724 1374 0 2785 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16336
[startup+3.10135 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10373
/proc/meminfo: memFree=1495604/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=17148 CPUtime=3.09
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 34262 0 0 0 272 37 0 0 25 0 1 0 3148080 17559552 3053 1992294400 4194304 9819077 140735282417824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 4287 3053 725 1374 0 2908 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17148
[startup+6.3007 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10373
/proc/meminfo: memFree=1495232/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=18164 CPUtime=6.29
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 69693 0 0 0 549 80 0 0 25 0 1 0 3148080 18599936 3244 1992294400 4194304 9819077 140735282417824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 4541 3244 725 1374 0 3162 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18164
[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10373
/proc/meminfo: memFree=1491884/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=20364 CPUtime=12.69
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 127777 0 0 0 1112 157 0 0 25 0 1 0 3148080 20852736 4043 1992294400 4194304 9819077 140735282417824 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 5295 4047 725 1374 0 3916 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20364
[startup+25.5008 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10373
/proc/meminfo: memFree=1484940/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=28036 CPUtime=25.48
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 245568 0 0 0 2235 313 0 0 25 0 1 0 3148080 28708864 5824 1992294400 4194304 9819077 140735282417824 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 7049 5825 725 1374 0 5670 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28036
[startup+51.1007 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10373
/proc/meminfo: memFree=1473656/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=39780 CPUtime=51.08
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 506931 0 0 0 4456 652 0 0 25 0 1 0 3148080 40734720 8757 1992294400 4194304 9819077 140735282417824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 9945 8757 725 1374 0 8566 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39780
[startup+102.308 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10375
/proc/meminfo: memFree=1452948/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=60628 CPUtime=102.26
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 984246 0 0 0 8937 1289 0 0 25 0 1 0 3148080 62083072 13603 1992294400 4194304 9819077 140735282417824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 15157 13603 725 1374 0 13778 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 60628
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10377
/proc/meminfo: memFree=1435464/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=78212 CPUtime=162.24
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 1511925 0 0 0 14194 2030 0 0 25 0 1 0 3148080 80089088 18182 1992294400 4194304 9819077 140735282417824 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 19633 18184 725 1374 0 18254 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 78212
[startup+222.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10377
/proc/meminfo: memFree=1422444/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=91472 CPUtime=222.22
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 2060992 0 0 0 19430 2792 0 0 25 0 1 0 3148080 93667328 21499 1992294400 4194304 9819077 140735282417824 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 22708 21495 725 1374 0 21329 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 91472
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10379
/proc/meminfo: memFree=1411284/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=100908 CPUtime=282.2
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 2593136 0 0 0 24686 3534 0 0 25 0 1 0 3148080 103329792 23944 1992294400 4194304 9819077 140735282417824 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 25187 23942 725 1374 0 23808 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 100908
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10381
/proc/meminfo: memFree=1404464/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=108112 CPUtime=342.18
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 3153841 0 0 0 29912 4306 0 0 25 0 1 0 3148080 110706688 25766 1992294400 4194304 9819077 140735282417824 18446744073709551615 4660122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 27028 25766 725 1374 0 25649 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 108112
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10383
/proc/meminfo: memFree=1393676/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=118648 CPUtime=402.16
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 3692405 0 0 0 35162 5054 0 0 25 0 1 0 3148080 121495552 28467 1992294400 4194304 9819077 140735282417824 18446744073709551615 6361872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 29662 28467 725 1374 0 28283 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 118648
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10385
/proc/meminfo: memFree=1379168/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=132528 CPUtime=462.14
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 4231499 0 0 0 40395 5819 0 0 25 0 1 0 3148080 135708672 32000 1992294400 4194304 9819077 140735282417824 18446744073709551615 6199552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 33132 32000 725 1374 0 31753 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 132528
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10385
/proc/meminfo: memFree=1362304/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=153108 CPUtime=522.13
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 4771751 0 0 0 45660 6553 0 0 25 0 1 0 3148080 156782592 36220 1992294400 4194304 9819077 140735282417824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 38277 36220 725 1374 0 36898 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 153108
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10387
/proc/meminfo: memFree=1348168/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=167140 CPUtime=582.1
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 5307264 0 0 0 50929 7281 0 0 25 0 1 0 3148080 171151360 39827 1992294400 4194304 9819077 140735282417824 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 41785 39827 725 1374 0 40406 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 167140
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10389
/proc/meminfo: memFree=1335148/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=179544 CPUtime=642.1
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 5845134 0 0 0 56205 8005 0 0 25 0 1 0 3148080 183853056 42940 1992294400 4194304 9819077 140735282417824 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 44886 42940 725 1374 0 43507 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 179544
[startup+702.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 1.02 0.99 0.99 2/107 10404
/proc/meminfo: memFree=1271164/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=233488 CPUtime=1061.96
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 9694995 0 0 0 92953 13243 0 0 25 0 1 0 3148080 239091712 56825 1992294400 4194304 9819077 140735282417824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 58372 56825 725 1374 0 56993 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 233488
[startup+1122.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 10404
/proc/meminfo: memFree=1273644/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=237916 CPUtime=1121.94
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 10248764 0 0 0 98205 13989 0 0 25 0 1 0 3148080 243625984 58038 1992294400 4194304 9819077 140735282417824 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 59599 58041 725 1374 0 58220 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 237916
[startup+1182.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 10406
/proc/meminfo: memFree=1268808/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=243196 CPUtime=1181.93
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 10805084 0 0 0 103445 14748 0 0 25 0 1 0 3148080 249032704 59257 1992294400 4194304 9819077 140735282417824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 60799 59257 725 1374 0 59420 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 243196
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10408
/proc/meminfo: memFree=1260500/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=251284 CPUtime=1241.92
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 11354229 0 0 0 108693 15499 0 0 25 0 1 0 3148080 257314816 61300 1992294400 4194304 9819077 140735282417824 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 62776 61300 725 1374 0 61397 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 251284
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10410
/proc/meminfo: memFree=1253804/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=257816 CPUtime=1301.9
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 11905477 0 0 0 113951 16239 0 0 25 0 1 0 3148080 264003584 62962 1992294400 4194304 9819077 140735282417824 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 64454 62962 725 1374 0 63075 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 257816
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10412
/proc/meminfo: memFree=1246984/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=264352 CPUtime=1361.88
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 12453956 0 0 0 119200 16988 0 0 25 0 1 0 3148080 270696448 64636 1992294400 4194304 9819077 140735282417824 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 66088 64636 725 1374 0 64709 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 264352
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10412
/proc/meminfo: memFree=1239172/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=272008 CPUtime=1421.87
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 12998270 0 0 0 124453 17734 0 0 25 0 1 0 3148080 278536192 66592 1992294400 4194304 9819077 140735282417824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 68002 66592 725 1374 0 66623 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 272008
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10414
/proc/meminfo: memFree=1226152/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=284592 CPUtime=1481.84
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 13532865 0 0 0 129723 18461 0 0 25 0 1 0 3148080 291422208 69805 1992294400 4194304 9819077 140735282417824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 71148 69805 725 1374 0 69769 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 284592
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10416
/proc/meminfo: memFree=1213256/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=296132 CPUtime=1541.81
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 14068318 0 0 0 134996 19185 0 0 25 0 1 0 3148080 303239168 73028 1992294400 4194304 9819077 140735282417824 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 74233 73032 725 1374 0 72854 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 296132
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10418
/proc/meminfo: memFree=1201228/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=308620 CPUtime=1601.79
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 14605691 0 0 0 140254 19925 0 0 25 0 1 0 3148080 316026880 75996 1992294400 4194304 9819077 140735282417824 18446744073709551615 4976461 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 77155 75996 725 1374 0 75776 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 308620
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10420
/proc/meminfo: memFree=1189076/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=328532 CPUtime=1661.77
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 15143512 0 0 0 145526 20651 0 0 25 0 1 0 3148080 336416768 79009 1992294400 4194304 9819077 140735282417824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 82133 79009 725 1374 0 80754 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 328532
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10420
/proc/meminfo: memFree=1176304/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=340788 CPUtime=1721.75
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 15682340 0 0 0 150787 21388 0 0 25 0 1 0 3148080 348966912 82237 1992294400 4194304 9819077 140735282417824 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 85274 82238 725 1374 0 83895 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 340788
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1165020/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=351744 CPUtime=1781.74
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 16219756 0 0 0 156029 22145 0 0 25 0 1 0 3148080 360185856 84911 1992294400 4194304 9819077 140735282417824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 87936 84911 725 1374 0 86557 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 351744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1162292/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=354044 CPUtime=1800.04
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 16383723 0 0 0 157620 22384 0 0 25 0 1 0 3148080 362541056 85561 1992294400 4194304 9819077 140735282417824 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10370/statm: 88551 85562 725 1374 0 87172 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 354044
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1162292/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=354204 CPUtime=1800.83
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 16383730 0 0 0 157699 22384 0 0 25 0 1 0 3148080 362704896 85563 1992294400 4194304 9819077 140735282417824 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10370/statm: 88551 85563 726 1374 0 87172 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 354204
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10425
/proc/meminfo: memFree=1162284/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=353816 CPUtime=1801.63
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 16383730 0 0 0 157779 22384 0 0 25 0 1 0 3148080 362307584 85466 1992294400 4194304 9819077 140735282417824 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10370/statm: 88454 85466 726 1374 0 87075 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 353816
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10425
/proc/meminfo: memFree=1162284/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=314676 CPUtime=1801.83
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 16383730 0 0 0 157798 22385 0 0 25 0 1 0 3148080 322228224 75681 1992294400 4194304 9819077 140735282417824 18446744073709551615 4609312 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10370/statm: 78669 75681 726 1374 0 77290 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 314676
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10425
/proc/meminfo: memFree=1162284/2059040 swapFree=4192956/4192956
[pid=10370] ppid=10368 vsize=105700 CPUtime=1801.93
/proc/10370/stat : 10370 (pbscip.linux.x8) R 10368 10370 10260 0 -1 4202496 16383730 0 0 0 157806 22387 0 0 25 0 1 0 3148080 108236800 25415 1992294400 4194304 9819077 140735282417824 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10370/statm: 26296 25286 726 1374 0 24917 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 105700
Child status: 0
Real time (s): 1802.51
CPU time (s): 1801.96
CPU user time (s): 1578.07
CPU system time (s): 223.89
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 354224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1578.07
system time used= 223.89
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16383734
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1712
runsolver used 3.2635 second user time and 8.24875 second system time
The end