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-2665655-1276614630.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.01/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.01/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.03 c presolving (2 rounds):
0.01/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.03 c 0 implications, 0 cliques
0.01/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.01/0.03 c 7 constraints of type <linear>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.02
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 1.2.1.2
0.01/0.03 c
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = 10000
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1800
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 1620
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify inequalities
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/linear/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify knapsacks
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.01/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.01/0.03 c 0.0s| 1 | 0 | 35 | - | 561k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 o 1409
0.09/0.15 c y 0.1s| 1 | 0 | 35 | - | 613k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 40 | - | 726k| 0 | 10 | 172 | 57 | 172 | 14 | 7 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 46 | - | 799k| 0 | 12 | 172 | 57 | 172 | 19 | 12 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 65 | - | 873k| 0 | 17 | 172 | 57 | 172 | 24 | 17 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 85 | - | 908k| 0 | 20 | 172 | 57 | 172 | 29 | 22 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 102 | - | 932k| 0 | 22 | 172 | 57 | 172 | 32 | 25 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 119 | - | 941k| 0 | 25 | 172 | 57 | 172 | 34 | 27 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.49/0.53 c 0.5s| 1 | 2 | 119 | - | 942k| 0 | 25 | 172 | 57 | 172 | 34 | 27 | 0 | 9 | 0.000000e+00 | 1.409000e+03 | Inf
0.59/0.69 o 194
0.59/0.69 c p 0.6s| 29 | 30 | 424 | 10.9 |1032k| 15 | - | 172 | 57 | 172 | 25 | 27 | 2 | 148 | 0.000000e+00 | 1.940000e+02 | Inf
2.29/2.32 o 150
2.29/2.32 c g 2.0s| 1097 | 1098 | 7149 | 6.4 |1524k| 44 | - | 172 | 71 | 172 | 25 | 27 | 41 | 568 | 0.000000e+00 | 1.500000e+02 | Inf
4.19/4.23 o 101
4.19/4.23 c f 3.7s| 2572 | 2535 | 16489 | 6.4 |2210k| 46 | - | 172 | 73 | 172 | 25 | 27 | 94 | 685 | 0.000000e+00 | 1.010000e+02 | Inf
4.99/5.05 o 85
4.99/5.05 c C 4.4s| 3172 | 3105 | 20230 | 6.3 |2454k| 46 | 7 | 172 | 75 | 172 | 25 | 27 | 118 | 703 | 0.000000e+00 | 8.500000e+01 | Inf
13.10/13.12 c 11.6s| 10000 | 9771 | 59607 | 5.9 |5546k| 50 | 7 | 172 | 33 | 172 | 25 | 27 | 420 | 906 | 0.000000e+00 | 8.500000e+01 | Inf
14.98/15.03 o 84
14.98/15.03 c *13.3s| 11920 | 11617 | 69363 | 5.8 |6397k| 50 | - | 172 | 35 | 172 | 25 | 27 | 493 | 998 | 0.000000e+00 | 8.400000e+01 | Inf
20.29/20.33 o 82
20.29/20.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.29/20.33 c *17.9s| 17160 | 16634 | 95952 | 5.6 |8752k| 50 | - | 172 | 28 | 172 | 25 | 27 | 659 |1231 | 0.000000e+00 | 8.200000e+01 | Inf
21.59/21.60 o 80
21.59/21.60 c *19.1s| 18411 | 17765 |102401 | 5.6 |9300k| 50 | - | 172 | 29 | 172 | 25 | 27 | 712 |1284 | 0.000000e+00 | 8.000000e+01 | Inf
23.18/23.20 c 20.5s| 20000 | 19270 |110368 | 5.5 | 10M| 50 | 7 | 172 | 28 | 172 | 25 | 27 | 768 |1351 | 0.000000e+00 | 8.000000e+01 | Inf
25.20/25.22 o 78
25.20/25.22 c *22.3s| 22054 | 21187 |120714 | 5.5 | 10M| 50 | - | 172 | 29 | 172 | 25 | 27 | 842 |1458 | 0.000000e+00 | 7.800000e+01 | Inf
31.89/31.92 o 76
31.89/31.92 c *28.2s| 28857 | 27249 |155445 | 5.4 | 14M| 53 | - | 172 | 37 | 172 | 25 | 27 |1083 |1779 | 0.000000e+00 | 7.600000e+01 | Inf
32.99/33.08 c 29.3s| 30000 | 28210 |161379 | 5.4 | 14M| 53 | 7 | 172 | 34 | 172 | 25 | 27 |1131 |1820 | 0.000000e+00 | 7.600000e+01 | Inf
35.09/35.15 o 74
35.09/35.15 c *31.1s| 32116 | 30019 |172626 | 5.4 | 15M| 53 | - | 172 | 37 | 172 | 25 | 27 |1200 |1924 | 0.000000e+00 | 7.400000e+01 | Inf
42.78/42.90 c 38.0s| 40000 | 36746 |213336 | 5.3 | 19M| 53 | 7 | 172 | 35 | 172 | 25 | 27 |1504 |2272 | 0.000000e+00 | 7.400000e+01 | Inf
48.57/48.67 o 73
48.57/48.67 c g43.1s| 45793 | 41562 |244185 | 5.3 | 22M| 53 | - | 172 | 33 | 172 | 25 | 27 |1733 |2555 | 0.000000e+00 | 7.300000e+01 | Inf
53.17/53.21 c 47.1s| 50000 | 45010 |268309 | 5.4 | 24M| 53 | 7 | 172 | 36 | 172 | 25 | 27 |1954 |2698 | 0.000000e+00 | 7.300000e+01 | Inf
58.07/58.19 o 71
58.07/58.19 c *51.6s| 55084 | 49117 |294956 | 5.4 | 26M| 53 | - | 172 | 26 | 172 | 25 | 27 |2178 |2853 | 0.000000e+00 | 7.100000e+01 | Inf
63.17/63.25 c 56.1s| 60000 | 53080 |322590 | 5.4 | 28M| 53 | 7 | 172 | 37 | 172 | 25 | 27 |2400 |3075 | 0.000000e+00 | 7.100000e+01 | Inf
64.78/64.86 o 70
64.78/64.86 c *57.6s| 61681 | 54435 |331134 | 5.4 | 29M| 53 | - | 172 | 37 | 172 | 25 | 27 |2483 |3141 | 0.000000e+00 | 7.000000e+01 | Inf
70.57/70.66 o 68
70.57/70.66 c *62.8s| 67594 | 59292 |361314 | 5.3 | 32M| 53 | - | 172 | 39 | 172 | 25 | 27 |2707 |3304 | 0.000000e+00 | 6.800000e+01 | Inf
72.87/72.99 c 64.8s| 70000 | 61301 |373104 | 5.3 | 33M| 53 | 7 | 172 | 35 | 172 | 25 | 27 |2803 |3368 | 0.000000e+00 | 6.800000e+01 | Inf
82.56/82.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.56/82.61 c 73.4s| 80000 | 69673 |423515 | 5.3 | 38M| 53 | 7 | 172 | 30 | 172 | 25 | 27 |3172 |3605 | 0.000000e+00 | 6.800000e+01 | Inf
86.07/86.11 o 67
86.07/86.11 c *76.5s| 83496 | 72361 |442083 | 5.3 | 40M| 53 | - | 172 | 27 | 172 | 25 | 27 |3369 |3700 | 0.000000e+00 | 6.700000e+01 | Inf
92.57/92.64 c 82.3s| 90000 | 77343 |476245 | 5.3 | 43M| 53 | - | 172 | 24 | 172 | 25 | 27 |3725 |3870 | 0.000000e+00 | 6.700000e+01 | Inf
95.76/95.84 o 66
95.76/95.84 c f85.2s| 93206 | 79736 |493062 | 5.3 | 44M| 53 | - | 172 | 26 | 172 | 25 | 27 |3895 |3959 | 0.000000e+00 | 6.600000e+01 | Inf
102.06/102.12 o 65
102.06/102.12 c *90.8s| 98948 | 84179 |524822 | 5.3 | 47M| 53 | - | 172 | 38 | 172 | 25 | 27 |4260 |4075 | 0.000000e+00 | 6.500000e+01 | Inf
103.16/103.20 c 91.7s|100000 | 84890 |530254 | 5.3 | 48M| 53 | 7 | 172 | 51 | 172 | 25 | 27 |4348 |4101 | 0.000000e+00 | 6.500000e+01 | Inf
103.56/103.69 o 64
103.56/103.69 c *92.2s|100476 | 79569 |532560 | 5.3 | 43M| 53 | - | 172 | 55 | 172 | 25 | 27 |4372 |4117 | 0.000000e+00 | 6.400000e+01 | Inf
112.86/112.97 c 100s|110000 | 87538 |582710 | 5.3 | 48M| 53 | 7 | 172 | 62 | 172 | 25 | 27 |4907 |4299 | 0.000000e+00 | 6.400000e+01 | Inf
118.36/118.46 o 63
118.36/118.46 c * 105s|115602 | 92092 |612923 | 5.3 | 50M| 54 | - | 172 | 70 | 172 | 25 | 27 |5216 |4414 | 0.000000e+00 | 6.300000e+01 | Inf
118.36/118.47 o 61
118.36/118.47 c * 105s|115604 | 91800 |612923 | 5.3 | 50M| 55 | - | 172 | 70 | 172 | 25 | 27 |5216 |4414 | 0.000000e+00 | 6.100000e+01 | Inf
122.65/122.79 c 109s|120000 | 95266 |636289 | 5.3 | 52M| 55 | 7 | 172 | 70 | 172 | 25 | 27 |5496 |4502 | 0.000000e+00 | 6.100000e+01 | Inf
124.56/124.67 o 59
124.56/124.67 c * 111s|121930 | 96540 |646464 | 5.3 | 52M| 55 | - | 172 | 62 | 172 | 25 | 27 |5599 |4530 | 0.000000e+00 | 5.900000e+01 | Inf
133.75/133.89 o 58
133.75/133.89 c * 119s|128352 |101452 |680483 | 5.3 | 55M| 55 | - | 172 | 53 | 172 | 25 | 27 |5933 |4662 | 0.000000e+00 | 5.800000e+01 | Inf
135.35/135.43 c 120s|130000 |102852 |688607 | 5.3 | 55M| 55 | 7 | 172 | 51 | 172 | 25 | 27 |6013 |4696 | 0.000000e+00 | 5.800000e+01 | Inf
144.95/145.00 c 129s|140000 |111007 |740928 | 5.3 | 60M| 55 | 7 | 172 | 56 | 172 | 25 | 27 |6549 |4853 | 0.000000e+00 | 5.800000e+01 | Inf
154.64/154.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.64/154.72 c 137s|150000 |119011 |794835 | 5.3 | 64M| 55 | 7 | 172 | 49 | 172 | 25 | 27 |7132 |5019 | 0.000000e+00 | 5.800000e+01 | Inf
164.34/164.42 c 146s|160000 |126883 |848070 | 5.3 | 69M| 55 | 7 | 172 | 53 | 172 | 25 | 27 |7789 |5188 | 0.000000e+00 | 5.800000e+01 | Inf
173.34/173.46 o 56
173.34/173.46 c c 154s|169108 |133088 |898147 | 5.3 | 72M| 55 | - | 172 | 61 | 172 | 25 | 27 |8355 |5351 | 0.000000e+00 | 5.600000e+01 | Inf
173.34/173.47 o 54
173.34/173.47 c f 154s|169108 |132365 |898147 | 5.3 | 71M| 55 | - | 172 | 61 | 172 | 25 | 27 |8356 |5351 | 0.000000e+00 | 5.400000e+01 | Inf
174.75/174.89 c 155s|170000 |133046 |905042 | 5.3 | 72M| 55 | 7 | 172 | 61 | 172 | 25 | 27 |8428 |5369 | 0.000000e+00 | 5.400000e+01 | Inf
185.85/185.93 c 165s|180000 |140303 |964394 | 5.4 | 76M| 55 | 7 | 172 | 46 | 172 | 25 | 27 |9147 |5547 | 0.000000e+00 | 5.400000e+01 | Inf
195.53/195.67 c 174s|190000 |147636 | 1017k| 5.4 | 81M| 55 | 7 | 172 | 45 | 172 | 25 | 27 |9771 |5713 | 0.000000e+00 | 5.400000e+01 | Inf
205.24/205.34 c 182s|200000 |155239 | 1071k| 5.4 | 85M| 55 | 7 | 172 | 51 | 172 | 25 | 27 | 10k|5865 | 0.000000e+00 | 5.400000e+01 | Inf
215.03/215.18 c 191s|210000 |162454 | 1125k| 5.4 | 90M| 55 | 7 | 172 | 47 | 172 | 25 | 27 | 11k|6030 | 0.000000e+00 | 5.400000e+01 | Inf
220.33/220.43 o 53
220.33/220.43 c * 196s|215392 |165901 | 1154k| 5.4 | 91M| 55 | - | 172 | 51 | 172 | 25 | 27 | 11k|6111 | 0.000000e+00 | 5.300000e+01 | Inf
224.83/224.99 c 200s|220000 |169164 | 1179k| 5.4 | 94M| 55 | - | 172 | 50 | 172 | 25 | 27 | 11k|6186 | 0.000000e+00 | 5.300000e+01 | Inf
234.52/234.61 c 208s|230000 |176385 | 1232k| 5.4 | 98M| 55 | 7 | 172 | 41 | 172 | 25 | 27 | 12k|6339 | 0.000000e+00 | 5.300000e+01 | Inf
244.23/244.32 c 217s|240000 |183354 | 1285k| 5.4 | 102M| 56 | 7 | 172 | 43 | 172 | 25 | 27 | 12k|6487 | 0.000000e+00 | 5.300000e+01 | Inf
249.43/249.58 o 50
249.43/249.58 c f 222s|245404 |184825 | 1314k| 5.4 | 102M| 56 | - | 172 | 38 | 172 | 25 | 27 | 13k|6578 | 0.000000e+00 | 5.000000e+01 | Inf
252.83/252.97 o 49
252.83/252.97 c * 225s|248645 |186071 | 1333k| 5.4 | 102M| 56 | - | 172 | 44 | 172 | 25 | 27 | 13k|6607 | 0.000000e+00 | 4.900000e+01 | Inf
252.83/253.00 o 47
252.83/253.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.83/253.00 c * 225s|248649 |180104 | 1333k| 5.4 | 98M| 56 | - | 172 | 44 | 172 | 25 | 27 | 13k|6608 | 0.000000e+00 | 4.700000e+01 | Inf
254.22/254.39 c 226s|250000 |180918 | 1340k| 5.4 | 99M| 56 | - | 172 | 45 | 172 | 25 | 27 | 13k|6630 | 0.000000e+00 | 4.700000e+01 | Inf
264.52/264.68 c 235s|260000 |187294 | 1398k| 5.4 | 103M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 14k|6771 | 0.000000e+00 | 4.700000e+01 | Inf
274.31/274.47 c 244s|270000 |193874 | 1453k| 5.4 | 108M| 56 | 7 | 172 | 39 | 172 | 25 | 27 | 15k|6922 | 0.000000e+00 | 4.700000e+01 | Inf
279.11/279.24 o 46
279.11/279.24 c v 248s|274912 |196411 | 1479k| 5.4 | 109M| 56 | - | 172 | 43 | 172 | 25 | 27 | 15k|6986 | 0.000000e+00 | 4.600000e+01 | Inf
280.21/280.34 o 44
280.21/280.34 c * 249s|275912 |195387 | 1486k| 5.4 | 107M| 56 | - | 172 | 43 | 172 | 25 | 27 | 15k|7008 | 0.000000e+00 | 4.400000e+01 | Inf
280.62/280.71 o 42
280.62/280.71 c v 249s|276223 |193636 | 1489k| 5.4 | 105M| 56 | - | 172 | 43 | 172 | 25 | 27 | 15k|7011 | 0.000000e+00 | 4.200000e+01 | Inf
284.31/284.43 c 253s|280000 |195895 | 1513k| 5.4 | 107M| 56 | 7 | 172 | 49 | 172 | 25 | 27 | 15k|7046 | 0.000000e+00 | 4.200000e+01 | Inf
294.72/294.84 c 262s|290000 |202014 | 1571k| 5.4 | 111M| 56 | 7 | 172 | 45 | 172 | 25 | 27 | 16k|7166 | 0.000000e+00 | 4.200000e+01 | Inf
304.41/304.51 c 271s|300000 |208030 | 1625k| 5.4 | 115M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 17k|7303 | 0.000000e+00 | 4.200000e+01 | Inf
314.10/314.23 c 279s|310000 |213839 | 1680k| 5.4 | 119M| 56 | - | 172 | 37 | 172 | 25 | 27 | 18k|7441 | 0.000000e+00 | 4.200000e+01 | Inf
323.80/323.97 c 288s|320000 |219927 | 1734k| 5.4 | 123M| 56 | 7 | 172 | 41 | 172 | 25 | 27 | 18k|7546 | 0.000000e+00 | 4.200000e+01 | Inf
327.80/327.97 o 40
327.80/327.97 c * 291s|324157 |219900 | 1757k| 5.4 | 122M| 56 | - | 172 | 42 | 172 | 25 | 27 | 19k|7605 | 0.000000e+00 | 4.000000e+01 | Inf
327.80/327.99 o 38
327.80/327.99 c * 291s|324158 |217328 | 1757k| 5.4 | 120M| 56 | - | 172 | 42 | 172 | 25 | 27 | 19k|7605 | 0.000000e+00 | 3.800000e+01 | Inf
336.21/336.37 c 299s|330000 |220501 | 1789k| 5.4 | 122M| 56 | 7 | 172 | 40 | 172 | 25 | 27 | 19k|7670 | 0.000000e+00 | 3.800000e+01 | Inf
346.10/346.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.10/346.22 c 307s|340000 |225915 | 1844k| 5.4 | 126M| 56 | - | 172 | 42 | 172 | 25 | 27 | 20k|7801 | 0.000000e+00 | 3.800000e+01 | Inf
352.50/352.60 o 37
352.50/352.60 c * 313s|346600 |227916 | 1880k| 5.4 | 127M| 56 | - | 172 | 46 | 172 | 25 | 27 | 21k|7891 | 0.000000e+00 | 3.700000e+01 | Inf
355.90/356.08 c 316s|350000 |229732 | 1899k| 5.4 | 129M| 56 | 7 | 172 | 45 | 172 | 25 | 27 | 21k|7938 | 0.000000e+00 | 3.700000e+01 | Inf
356.39/356.53 o 36
356.39/356.53 c p 317s|350355 |228389 | 1902k| 5.4 | 127M| 56 | - | 172 | 43 | 172 | 25 | 27 | 21k|7938 | 0.000000e+00 | 3.600000e+01 | Inf
356.39/356.55 o 34
356.39/356.55 c f 317s|350355 |225083 | 1902k| 5.4 | 124M| 56 | - | 172 | 43 | 172 | 25 | 27 | 21k|7938 | 0.000000e+00 | 3.400000e+01 | Inf
363.19/363.38 o 32
363.19/363.38 c * 323s|357593 |198764 | 1939k| 5.4 | 107M| 56 | - | 172 | 44 | 172 | 25 | 27 | 21k|8026 | 0.000000e+00 | 3.200000e+01 | Inf
367.69/367.89 c 327s|360000 |200111 | 1953k| 5.4 | 108M| 56 | 7 | 172 | 31 | 172 | 25 | 27 | 22k|8056 | 0.000000e+00 | 3.200000e+01 | Inf
368.79/368.95 o 31
368.79/368.95 c * 328s|361130 |199809 | 1959k| 5.4 | 108M| 56 | - | 172 | 32 | 172 | 25 | 27 | 22k|8088 | 0.000000e+00 | 3.100000e+01 | Inf
376.99/377.11 o 30
376.99/377.11 c * 335s|368975 |203241 | 2007k| 5.4 | 109M| 56 | - | 172 | 29 | 172 | 25 | 27 | 22k|8188 | 0.000000e+00 | 3.000000e+01 | Inf
376.99/377.12 o 28
376.99/377.12 c * 335s|368976 |201037 | 2007k| 5.4 | 107M| 56 | - | 172 | 29 | 172 | 25 | 27 | 22k|8188 | 0.000000e+00 | 2.800000e+01 | Inf
378.09/378.27 c 336s|370000 |201511 | 2013k| 5.4 | 107M| 56 | - | 172 | 28 | 172 | 25 | 27 | 23k|8191 | 0.000000e+00 | 2.800000e+01 | Inf
382.29/382.48 o 26
382.29/382.48 c * 340s|374571 |201154 | 2040k| 5.4 | 106M| 56 | - | 172 | 35 | 172 | 25 | 27 | 23k|8252 | 0.000000e+00 | 2.600000e+01 | Inf
386.69/386.80 o 24
386.69/386.80 c * 343s|379161 |200424 | 2066k| 5.4 | 105M| 56 | - | 172 | 31 | 172 | 25 | 27 | 23k|8314 | 0.000000e+00 | 2.400000e+01 | Inf
386.69/386.83 o 22
386.69/386.83 c * 343s|379163 |197199 | 2066k| 5.4 | 102M| 56 | - | 172 | 31 | 172 | 25 | 27 | 23k|8315 | 0.000000e+00 | 2.200000e+01 | Inf
386.69/386.86 o 20
386.69/386.86 c * 343s|379164 |193538 | 2066k| 5.4 | 98M| 56 | - | 172 | 31 | 172 | 25 | 27 | 23k|8315 | 0.000000e+00 | 2.000000e+01 | Inf
386.79/386.91 o 18
386.79/386.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.79/386.91 c * 344s|379169 |189502 | 2066k| 5.4 | 95M| 56 | - | 172 | 31 | 172 | 25 | 27 | 23k|8317 | 0.000000e+00 | 1.800000e+01 | Inf
386.79/386.96 o 16
386.79/386.96 c * 344s|379171 |177540 | 2066k| 5.4 | 88M| 56 | - | 172 | 31 | 172 | 25 | 27 | 23k|8317 | 0.000000e+00 | 1.600000e+01 | Inf
386.79/386.98 o 14
386.79/386.98 c * 344s|379172 |173588 | 2066k| 5.4 | 85M| 56 | - | 172 | 31 | 172 | 25 | 27 | 23k|8317 | 0.000000e+00 | 1.400000e+01 | Inf
390.40/390.55 c 347s|380000 |174024 | 2071k| 5.5 | 85M| 56 | 7 | 172 | 28 | 172 | 25 | 27 | 23k|8322 | 0.000000e+00 | 1.400000e+01 | Inf
399.48/399.60 c 355s|390000 |178097 | 2129k| 5.5 | 87M| 56 | - | 172 | 46 | 172 | 25 | 27 | 24k|8443 | 0.000000e+00 | 1.400000e+01 | Inf
408.08/408.20 c 362s|400000 |181540 | 2185k| 5.5 | 89M| 56 | - | 172 | 41 | 172 | 25 | 27 | 25k|8566 | 0.000000e+00 | 1.400000e+01 | Inf
416.69/416.81 c 370s|410000 |185352 | 2241k| 5.5 | 91M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 26k|8664 | 0.000000e+00 | 1.400000e+01 | Inf
424.98/425.16 c 377s|420000 |188845 | 2295k| 5.5 | 93M| 56 | - | 172 | 35 | 172 | 25 | 27 | 26k|8767 | 0.000000e+00 | 1.400000e+01 | Inf
433.29/433.50 c 385s|430000 |191827 | 2350k| 5.5 | 95M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 27k|8890 | 0.000000e+00 | 1.400000e+01 | Inf
441.67/441.81 c 392s|440000 |194866 | 2406k| 5.5 | 97M| 56 | - | 172 | 44 | 172 | 25 | 27 | 28k|9007 | 0.000000e+00 | 1.400000e+01 | Inf
449.78/449.99 c 399s|450000 |197523 | 2460k| 5.5 | 98M| 56 | 7 | 172 | 33 | 172 | 25 | 27 | 28k|9115 | 0.000000e+00 | 1.400000e+01 | Inf
457.97/458.16 c 407s|460000 |200475 | 2514k| 5.5 | 100M| 56 | - | 172 | 39 | 0 | 0 | 27 | 29k|9221 | 0.000000e+00 | 1.400000e+01 | Inf
466.18/466.39 c 414s|470000 |202972 | 2570k| 5.5 | 101M| 56 | 7 | 172 | 35 | 172 | 25 | 27 | 30k|9330 | 0.000000e+00 | 1.400000e+01 | Inf
474.07/474.29 c 421s|480000 |205083 | 2625k| 5.5 | 103M| 56 | 7 | 172 | 39 | 172 | 25 | 27 | 31k|9442 | 0.000000e+00 | 1.400000e+01 | Inf
481.86/482.07 c 428s|490000 |207351 | 2676k| 5.5 | 104M| 56 | 7 | 172 | 39 | 172 | 25 | 27 | 31k|9553 | 0.000000e+00 | 1.400000e+01 | Inf
490.47/490.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.47/490.65 c 435s|500000 |210278 | 2732k| 5.5 | 106M| 56 | 7 | 172 | 32 | 172 | 25 | 27 | 32k|9652 | 0.000000e+00 | 1.400000e+01 | Inf
499.17/499.34 c 443s|510000 |213474 | 2790k| 5.5 | 108M| 56 | 7 | 172 | 29 | 172 | 25 | 27 | 33k|9763 | 0.000000e+00 | 1.400000e+01 | Inf
507.26/507.46 c 450s|520000 |216352 | 2844k| 5.5 | 110M| 56 | 7 | 172 | 26 | 172 | 25 | 27 | 34k|9871 | 0.000000e+00 | 1.400000e+01 | Inf
515.67/515.90 c 458s|530000 |219516 | 2900k| 5.5 | 112M| 56 | - | 172 | 31 | 172 | 25 | 27 | 34k|9961 | 0.000000e+00 | 1.400000e+01 | Inf
524.05/524.28 c 465s|540000 |222489 | 2955k| 5.5 | 113M| 56 | 7 | 172 | 36 | 172 | 25 | 27 | 35k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
532.36/532.52 c 473s|550000 |224996 | 3009k| 5.5 | 115M| 56 | 7 | 172 | 36 | 172 | 25 | 27 | 36k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
540.45/540.67 c 480s|560000 |227470 | 3065k| 5.5 | 116M| 56 | 7 | 172 | 47 | 172 | 25 | 27 | 37k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
548.55/548.73 c 487s|570000 |229951 | 3118k| 5.5 | 118M| 56 | 7 | 172 | 36 | 172 | 25 | 27 | 38k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
556.84/557.02 c 494s|580000 |232423 | 3175k| 5.5 | 120M| 56 | 7 | 172 | 34 | 172 | 25 | 27 | 38k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
564.94/565.19 c 502s|590000 |234747 | 3230k| 5.5 | 121M| 56 | 7 | 172 | 43 | 172 | 25 | 27 | 39k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
572.74/572.96 c 508s|600000 |236855 | 3283k| 5.5 | 123M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 40k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
580.74/580.90 c 516s|610000 |239325 | 3337k| 5.5 | 124M| 56 | 7 | 172 | 49 | 172 | 25 | 27 | 41k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
588.35/588.60 c 522s|620000 |241524 | 3390k| 5.5 | 126M| 56 | 7 | 172 | 39 | 172 | 25 | 27 | 41k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
596.04/596.24 c 529s|630000 |243698 | 3441k| 5.5 | 127M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 42k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
603.54/603.77 c 536s|640000 |245384 | 3493k| 5.5 | 128M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 43k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
611.14/611.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.14/611.30 c 543s|650000 |246788 | 3544k| 5.5 | 129M| 56 | 7 | 172 | 40 | 172 | 25 | 27 | 44k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
618.93/619.14 c 549s|660000 |249095 | 3599k| 5.5 | 131M| 56 | - | 172 | 41 | 0 | 0 | 27 | 45k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
626.63/626.85 c 556s|670000 |250965 | 3652k| 5.5 | 132M| 56 | - | 172 | 40 | 0 | 0 | 27 | 45k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
634.54/634.71 c 563s|680000 |252284 | 3706k| 5.5 | 133M| 56 | - | 172 | 34 | 172 | 25 | 27 | 46k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
642.53/642.72 c 570s|690000 |254823 | 3760k| 5.5 | 135M| 56 | - | 172 | 43 | 172 | 25 | 27 | 47k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
650.53/650.79 c 578s|700000 |257134 | 3815k| 5.5 | 136M| 56 | - | 172 | 44 | 172 | 25 | 27 | 48k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
658.82/659.00 c 585s|710000 |260008 | 3869k| 5.4 | 138M| 56 | 7 | 172 | 45 | 172 | 25 | 27 | 48k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
666.82/667.09 c 592s|720000 |262882 | 3921k| 5.4 | 140M| 56 | - | 172 | 37 | 172 | 25 | 27 | 49k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
674.52/674.73 c 599s|730000 |265011 | 3973k| 5.4 | 141M| 56 | - | 172 | 39 | 172 | 25 | 27 | 50k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
682.21/682.41 c 606s|740000 |266688 | 4024k| 5.4 | 142M| 56 | - | 172 | 39 | 172 | 25 | 27 | 51k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
690.01/690.23 c 612s|750000 |268470 | 4076k| 5.4 | 144M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 51k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
697.61/697.85 c 619s|760000 |270216 | 4127k| 5.4 | 145M| 56 | - | 172 | 41 | 172 | 25 | 27 | 52k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
705.31/705.53 c 626s|770000 |272003 | 4178k| 5.4 | 146M| 56 | 7 | 172 | 42 | 172 | 25 | 27 | 53k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
712.91/713.17 c 633s|780000 |273402 | 4230k| 5.4 | 147M| 56 | 7 | 172 | 44 | 172 | 25 | 27 | 54k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
720.71/720.94 c 640s|790000 |275445 | 4281k| 5.4 | 148M| 56 | - | 172 | 50 | 172 | 25 | 27 | 55k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
728.31/728.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.31/728.52 c 646s|800000 |276858 | 4332k| 5.4 | 149M| 56 | 7 | 172 | 50 | 172 | 25 | 27 | 55k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
735.91/736.18 c 653s|810000 |278225 | 4384k| 5.4 | 151M| 56 | - | 172 | 54 | 172 | 25 | 27 | 56k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
743.50/743.78 c 660s|820000 |279462 | 4435k| 5.4 | 152M| 56 | 7 | 172 | 58 | 172 | 25 | 27 | 57k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
748.10/748.37 o 12
748.10/748.37 c * 664s|825942 |275036 | 4465k| 5.4 | 146M| 56 | - | 172 | 53 | 172 | 25 | 27 | 57k| 12k| 0.000000e+00 | 1.200000e+01 | Inf
748.20/748.41 o 10
748.20/748.41 c * 664s|825943 |268424 | 4465k| 5.4 | 139M| 56 | - | 172 | 53 | 172 | 25 | 27 | 57k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
754.00/754.28 c 669s|830000 |269028 | 4484k| 5.4 | 140M| 56 | 7 | 172 | 66 | 172 | 25 | 27 | 58k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
761.50/761.73 c 675s|840000 |269906 | 4535k| 5.4 | 140M| 56 | - | 172 | 47 | 172 | 25 | 27 | 58k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
769.00/769.29 c 682s|850000 |271330 | 4585k| 5.4 | 141M| 56 | 7 | 172 | 46 | 172 | 25 | 27 | 59k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
776.60/776.85 c 689s|860000 |272409 | 4636k| 5.4 | 142M| 56 | 7 | 172 | 48 | 172 | 25 | 27 | 60k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
784.11/784.33 c 695s|870000 |273622 | 4687k| 5.4 | 143M| 56 | - | 172 | 46 | 172 | 25 | 27 | 61k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
791.59/791.83 c 702s|880000 |274349 | 4738k| 5.4 | 144M| 56 | 7 | 172 | 45 | 172 | 25 | 27 | 61k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
799.19/799.43 c 709s|890000 |275310 | 4789k| 5.4 | 144M| 56 | - | 172 | 52 | 172 | 25 | 27 | 62k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
806.59/806.82 c 715s|900000 |276104 | 4839k| 5.4 | 145M| 56 | - | 172 | 43 | 172 | 25 | 27 | 63k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
813.88/814.18 c 722s|910000 |276737 | 4889k| 5.4 | 146M| 56 | - | 172 | 44 | 0 | 0 | 27 | 64k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
821.29/821.54 c 728s|920000 |277332 | 4938k| 5.4 | 146M| 56 | - | 172 | 47 | 0 | 0 | 27 | 64k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
828.69/828.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.69/828.91 c 735s|930000 |278445 | 4987k| 5.4 | 147M| 56 | - | 172 | 57 | 172 | 25 | 27 | 65k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
835.98/836.21 c 741s|940000 |279460 | 5035k| 5.4 | 148M| 56 | 7 | 172 | 50 | 172 | 25 | 27 | 66k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
843.28/843.59 c 748s|950000 |280238 | 5083k| 5.4 | 149M| 56 | 7 | 172 | 51 | 172 | 25 | 27 | 67k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
850.58/850.88 c 754s|960000 |280767 | 5131k| 5.3 | 149M| 56 | - | 172 | 52 | 172 | 25 | 27 | 67k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
857.98/858.21 c 761s|970000 |281293 | 5179k| 5.3 | 150M| 56 | - | 172 | 51 | 172 | 25 | 27 | 68k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
865.27/865.52 c 767s|980000 |281862 | 5229k| 5.3 | 150M| 56 | - | 172 | 54 | 172 | 25 | 27 | 69k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
872.77/873.05 c 774s|990000 |282280 | 5280k| 5.3 | 151M| 56 | - | 172 | 49 | 0 | 0 | 27 | 70k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
880.18/880.40 c 780s| 1000k|282721 | 5330k| 5.3 | 151M| 56 | 7 | 172 | 55 | 172 | 25 | 27 | 71k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
887.66/887.94 c 787s| 1010k|283025 | 5382k| 5.3 | 151M| 56 | - | 172 | 49 | 172 | 25 | 27 | 71k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
895.17/895.45 c 793s| 1020k|283398 | 5434k| 5.3 | 152M| 56 | 7 | 172 | 48 | 172 | 25 | 27 | 72k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
902.66/902.90 c 800s| 1030k|283729 | 5486k| 5.3 | 152M| 56 | - | 172 | 45 | 172 | 25 | 27 | 73k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
910.07/910.34 c 806s| 1040k|284117 | 5538k| 5.3 | 153M| 56 | 7 | 172 | 54 | 172 | 25 | 27 | 74k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
917.26/917.56 c 813s| 1050k|284827 | 5588k| 5.3 | 153M| 56 | - | 172 | 52 | 172 | 25 | 27 | 74k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
924.66/924.94 c 819s| 1060k|285041 | 5638k| 5.3 | 154M| 56 | - | 172 | 58 | 172 | 25 | 27 | 75k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
931.85/932.19 c 826s| 1070k|285308 | 5686k| 5.3 | 154M| 56 | 7 | 172 | 53 | 172 | 25 | 27 | 76k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
939.25/939.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
939.25/939.56 c 832s| 1080k|285735 | 5737k| 5.3 | 154M| 56 | 7 | 172 | 48 | 172 | 25 | 27 | 77k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
946.55/946.82 c 839s| 1090k|285886 | 5785k| 5.3 | 155M| 56 | 7 | 172 | 60 | 172 | 25 | 27 | 77k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
953.96/954.28 c 845s| 1100k|286046 | 5836k| 5.3 | 155M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 78k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
961.25/961.59 c 852s| 1110k|286231 | 5885k| 5.3 | 155M| 56 | 7 | 172 | 56 | 172 | 25 | 27 | 79k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
968.65/968.94 c 858s| 1120k|286567 | 5935k| 5.3 | 156M| 56 | - | 172 | 52 | 0 | 0 | 27 | 80k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
975.94/976.27 c 865s| 1130k|286876 | 5983k| 5.3 | 156M| 56 | 7 | 172 | 58 | 172 | 25 | 27 | 81k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
983.34/983.68 c 871s| 1140k|287626 | 6032k| 5.3 | 157M| 56 | 7 | 172 | 68 | 172 | 25 | 27 | 81k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
990.76/991.10 c 878s| 1150k|287705 | 6080k| 5.3 | 157M| 56 | 7 | 172 | 57 | 172 | 25 | 27 | 82k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
998.14/998.46 c 884s| 1160k|288661 | 6130k| 5.3 | 158M| 56 | 7 | 172 | 55 | 172 | 25 | 27 | 83k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1005.54/1005.84 c 891s| 1170k|289245 | 6180k| 5.3 | 158M| 56 | 7 | 172 | 47 | 172 | 25 | 27 | 84k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1012.94/1013.24 c 898s| 1180k|289713 | 6229k| 5.3 | 159M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 84k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1020.24/1020.54 c 904s| 1190k|289824 | 6278k| 5.3 | 159M| 56 | 7 | 172 | 50 | 172 | 25 | 27 | 85k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1027.44/1027.79 c 910s| 1200k|289922 | 6327k| 5.3 | 159M| 56 | - | 172 | 51 | 172 | 25 | 27 | 86k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1034.93/1035.21 c 917s| 1210k|290184 | 6378k| 5.3 | 160M| 56 | - | 172 | 49 | 172 | 25 | 27 | 87k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1042.44/1042.72 c 924s| 1220k|291293 | 6430k| 5.3 | 160M| 56 | 7 | 172 | 51 | 172 | 25 | 27 | 87k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1049.83/1050.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1049.83/1050.16 c 930s| 1230k|292169 | 6482k| 5.3 | 161M| 56 | 7 | 172 | 47 | 172 | 25 | 27 | 88k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1057.23/1057.51 c 937s| 1240k|292325 | 6532k| 5.3 | 161M| 56 | 7 | 172 | 49 | 172 | 25 | 27 | 89k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1064.53/1064.84 c 943s| 1250k|292609 | 6583k| 5.3 | 162M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 90k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1071.93/1072.23 c 950s| 1260k|292832 | 6635k| 5.3 | 162M| 56 | 7 | 172 | 51 | 172 | 25 | 27 | 91k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1079.22/1079.58 c 956s| 1270k|292754 | 6685k| 5.3 | 162M| 56 | 7 | 172 | 47 | 172 | 25 | 27 | 91k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1086.62/1086.92 c 962s| 1280k|292655 | 6735k| 5.3 | 163M| 56 | 7 | 172 | 44 | 172 | 25 | 27 | 92k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1093.92/1094.27 c 969s| 1290k|292601 | 6786k| 5.3 | 163M| 56 | 7 | 172 | 60 | 172 | 25 | 27 | 93k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1101.32/1101.61 c 975s| 1300k|292685 | 6836k| 5.3 | 163M| 56 | 7 | 172 | 57 | 172 | 25 | 27 | 94k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1108.72/1109.04 c 982s| 1310k|293976 | 6886k| 5.3 | 164M| 56 | 7 | 172 | 46 | 172 | 25 | 27 | 94k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1116.01/1116.34 c 988s| 1320k|294799 | 6934k| 5.3 | 164M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 95k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1123.31/1123.63 c 995s| 1330k|295239 | 6981k| 5.2 | 165M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 96k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1130.71/1131.01 c 1001s| 1340k|295567 | 7029k| 5.2 | 165M| 56 | - | 172 | 53 | 172 | 25 | 27 | 97k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1137.91/1138.30 c 1008s| 1350k|296019 | 7078k| 5.2 | 166M| 56 | 7 | 172 | 61 | 172 | 25 | 27 | 98k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1145.31/1145.63 c 1014s| 1360k|296322 | 7126k| 5.2 | 166M| 56 | 7 | 172 | 60 | 172 | 25 | 27 | 98k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1152.60/1152.97 c 1021s| 1370k|296542 | 7174k| 5.2 | 167M| 56 | - | 172 | 55 | 172 | 25 | 27 | 99k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1159.90/1160.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1159.90/1160.25 c 1027s| 1380k|296924 | 7222k| 5.2 | 167M| 56 | 7 | 172 | 54 | 172 | 25 | 27 | 100k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1167.20/1167.51 c 1034s| 1390k|297263 | 7271k| 5.2 | 167M| 56 | - | 172 | 60 | 172 | 25 | 27 | 101k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1174.51/1174.88 c 1040s| 1400k|297200 | 7319k| 5.2 | 168M| 56 | 7 | 172 | 57 | 172 | 25 | 27 | 102k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1181.90/1182.23 c 1047s| 1410k|297949 | 7369k| 5.2 | 168M| 56 | - | 172 | 59 | 0 | 0 | 27 | 102k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1189.19/1189.53 c 1053s| 1420k|298158 | 7419k| 5.2 | 169M| 56 | 7 | 172 | 64 | 172 | 25 | 27 | 103k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1196.60/1196.95 c 1060s| 1430k|298057 | 7468k| 5.2 | 169M| 56 | 7 | 172 | 61 | 172 | 25 | 27 | 104k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1203.99/1204.35 c 1066s| 1440k|298378 | 7520k| 5.2 | 169M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 105k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1211.29/1211.69 c 1073s| 1450k|298546 | 7571k| 5.2 | 169M| 56 | 7 | 172 | 56 | 172 | 25 | 27 | 106k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1218.59/1218.99 c 1079s| 1460k|298569 | 7619k| 5.2 | 170M| 56 | 7 | 172 | 59 | 172 | 25 | 27 | 106k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1225.99/1226.32 c 1085s| 1470k|298522 | 7668k| 5.2 | 170M| 56 | 7 | 172 | 63 | 172 | 25 | 27 | 107k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1233.38/1233.72 c 1092s| 1480k|298296 | 7717k| 5.2 | 170M| 56 | 7 | 172 | 49 | 172 | 25 | 27 | 108k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1240.69/1241.08 c 1098s| 1490k|299025 | 7767k| 5.2 | 170M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 109k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1247.99/1248.35 c 1105s| 1500k|299037 | 7816k| 5.2 | 171M| 56 | 7 | 172 | 58 | 172 | 25 | 27 | 110k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1255.28/1255.67 c 1111s| 1510k|298902 | 7866k| 5.2 | 171M| 56 | 7 | 172 | 60 | 172 | 25 | 27 | 111k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1262.68/1263.01 c 1118s| 1520k|298871 | 7915k| 5.2 | 171M| 56 | - | 172 | 63 | 172 | 25 | 27 | 111k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1269.88/1270.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.88/1270.27 c 1124s| 1530k|298905 | 7964k| 5.2 | 171M| 56 | 7 | 172 | 55 | 172 | 25 | 27 | 112k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1277.28/1277.61 c 1131s| 1540k|298686 | 8013k| 5.2 | 171M| 56 | 7 | 172 | 51 | 172 | 25 | 27 | 113k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1284.68/1285.00 c 1137s| 1550k|298643 | 8063k| 5.2 | 171M| 56 | - | 172 | 58 | 172 | 25 | 27 | 114k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1291.97/1292.30 c 1144s| 1560k|298408 | 8112k| 5.2 | 171M| 56 | - | 172 | 47 | 172 | 25 | 27 | 114k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1299.27/1299.61 c 1150s| 1570k|298202 | 8162k| 5.2 | 171M| 56 | 7 | 172 | 49 | 172 | 25 | 27 | 115k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1306.57/1306.93 c 1156s| 1580k|298033 | 8211k| 5.2 | 171M| 56 | - | 172 | 52 | 172 | 25 | 27 | 116k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1313.97/1314.31 c 1163s| 1590k|297767 | 8261k| 5.2 | 171M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 117k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1321.37/1321.77 c 1170s| 1600k|298378 | 8310k| 5.2 | 172M| 56 | 7 | 172 | 53 | 172 | 25 | 27 | 118k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1328.66/1329.06 c 1176s| 1610k|298387 | 8357k| 5.2 | 172M| 56 | - | 172 | 51 | 172 | 25 | 27 | 119k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1336.06/1336.41 c 1182s| 1620k|298338 | 8406k| 5.2 | 172M| 56 | - | 172 | 52 | 172 | 25 | 27 | 119k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1343.45/1343.80 c 1189s| 1630k|297947 | 8454k| 5.2 | 172M| 56 | - | 172 | 51 | 172 | 25 | 27 | 120k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1350.86/1351.20 c 1196s| 1640k|297542 | 8504k| 5.2 | 172M| 56 | 7 | 172 | 50 | 172 | 25 | 27 | 121k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1358.06/1358.42 c 1202s| 1650k|297475 | 8552k| 5.2 | 172M| 56 | - | 172 | 58 | 172 | 25 | 27 | 122k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1365.35/1365.74 c 1208s| 1660k|297319 | 8601k| 5.2 | 172M| 56 | - | 172 | 60 | 172 | 25 | 27 | 123k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1372.65/1373.08 c 1215s| 1670k|297235 | 8652k| 5.2 | 172M| 56 | 7 | 172 | 58 | 172 | 25 | 27 | 123k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1380.06/1380.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1380.06/1380.47 c 1221s| 1680k|297272 | 8702k| 5.2 | 172M| 56 | - | 172 | 52 | 172 | 25 | 27 | 124k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1387.35/1387.76 c 1228s| 1690k|297010 | 8752k| 5.2 | 172M| 56 | 7 | 172 | 57 | 172 | 25 | 27 | 125k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1394.64/1395.06 c 1234s| 1700k|296493 | 8801k| 5.2 | 172M| 56 | - | 172 | 57 | 172 | 25 | 27 | 126k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1401.94/1402.36 c 1241s| 1710k|296259 | 8851k| 5.2 | 172M| 56 | 7 | 172 | 59 | 172 | 25 | 27 | 127k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1409.24/1409.64 c 1247s| 1720k|296029 | 8900k| 5.2 | 172M| 56 | - | 172 | 49 | 172 | 25 | 27 | 127k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1416.54/1416.91 c 1254s| 1730k|295719 | 8951k| 5.2 | 171M| 56 | 7 | 172 | 56 | 172 | 25 | 27 | 128k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1423.84/1424.29 c 1260s| 1740k|296035 | 9000k| 5.2 | 172M| 56 | 7 | 172 | 60 | 172 | 25 | 27 | 129k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1431.24/1431.61 c 1266s| 1750k|295876 | 9050k| 5.2 | 172M| 56 | 7 | 172 | 59 | 172 | 25 | 27 | 130k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1438.53/1438.91 c 1273s| 1760k|295814 | 9098k| 5.2 | 172M| 56 | 7 | 172 | 57 | 172 | 25 | 27 | 131k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1445.94/1446.31 c 1279s| 1770k|296833 | 9147k| 5.2 | 173M| 56 | 7 | 172 | 56 | 172 | 25 | 27 | 131k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1453.24/1453.68 c 1286s| 1780k|297348 | 9196k| 5.2 | 173M| 56 | - | 172 | 56 | 172 | 25 | 27 | 132k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1460.53/1460.98 c 1292s| 1790k|297509 | 9244k| 5.2 | 174M| 56 | - | 172 | 56 | 0 | 0 | 27 | 133k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1467.93/1468.31 c 1299s| 1800k|297679 | 9292k| 5.2 | 174M| 56 | - | 172 | 58 | 172 | 25 | 27 | 134k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1475.13/1475.58 c 1305s| 1810k|297795 | 9341k| 5.2 | 174M| 56 | - | 172 | 57 | 172 | 25 | 27 | 135k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1482.43/1482.89 c 1312s| 1820k|297919 | 9389k| 5.2 | 174M| 56 | 7 | 172 | 55 | 172 | 25 | 27 | 136k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1489.72/1490.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1489.72/1490.15 c 1318s| 1830k|297732 | 9438k| 5.2 | 174M| 56 | - | 172 | 57 | 0 | 0 | 27 | 136k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1497.02/1497.41 c 1324s| 1840k|298017 | 9485k| 5.2 | 175M| 56 | 7 | 172 | 62 | 172 | 25 | 27 | 137k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1504.32/1504.70 c 1331s| 1850k|297772 | 9534k| 5.2 | 175M| 56 | 7 | 172 | 54 | 172 | 25 | 27 | 138k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1511.51/1511.93 c 1337s| 1860k|297536 | 9582k| 5.2 | 175M| 56 | - | 172 | 57 | 172 | 25 | 27 | 139k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1518.73/1519.15 c 1343s| 1870k|297367 | 9630k| 5.1 | 175M| 56 | - | 172 | 59 | 0 | 0 | 27 | 140k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1526.01/1526.48 c 1350s| 1880k|297201 | 9679k| 5.1 | 175M| 56 | - | 172 | 55 | 172 | 25 | 27 | 141k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1533.31/1533.73 c 1356s| 1890k|296918 | 9728k| 5.1 | 175M| 56 | 7 | 172 | 57 | 172 | 25 | 27 | 141k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1540.62/1541.06 c 1363s| 1900k|296784 | 9777k| 5.1 | 175M| 56 | - | 172 | 56 | 172 | 25 | 27 | 142k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1547.81/1548.27 c 1369s| 1910k|296634 | 9825k| 5.1 | 174M| 56 | 7 | 172 | 56 | 172 | 25 | 27 | 143k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1555.60/1556.02 c 1376s| 1920k|298630 | 9878k| 5.1 | 176M| 56 | 7 | 172 | 58 | 172 | 25 | 27 | 144k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1563.31/1563.74 c 1383s| 1930k|300262 | 9931k| 5.1 | 177M| 56 | 7 | 172 | 46 | 172 | 25 | 27 | 145k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1570.80/1571.25 c 1389s| 1940k|301332 | 9984k| 5.1 | 178M| 56 | 7 | 172 | 41 | 172 | 25 | 27 | 145k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1578.50/1578.98 c 1396s| 1950k|303052 | 10037k| 5.1 | 179M| 56 | 7 | 172 | 45 | 172 | 25 | 27 | 146k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1586.10/1586.58 c 1403s| 1960k|304830 | 10089k| 5.1 | 180M| 56 | 7 | 172 | 42 | 172 | 25 | 27 | 147k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1593.79/1594.22 c 1410s| 1970k|306736 | 10141k| 5.1 | 181M| 56 | 7 | 172 | 43 | 172 | 25 | 27 | 148k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1601.30/1601.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.30/1601.75 c 1416s| 1980k|308432 | 10192k| 5.1 | 182M| 56 | 7 | 172 | 48 | 172 | 25 | 27 | 148k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1609.09/1609.52 c 1423s| 1990k|309961 | 10246k| 5.1 | 183M| 56 | 7 | 172 | 40 | 172 | 25 | 27 | 149k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1616.60/1617.02 c 1430s| 2000k|311086 | 10297k| 5.1 | 184M| 56 | 7 | 172 | 44 | 172 | 25 | 27 | 150k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1624.09/1624.53 c 1436s| 2010k|312262 | 10349k| 5.1 | 185M| 56 | - | 172 | 48 | 172 | 25 | 27 | 150k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1631.78/1632.24 c 1443s| 2020k|314187 | 10399k| 5.1 | 186M| 56 | 7 | 172 | 44 | 172 | 25 | 27 | 151k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1639.48/1639.92 c 1450s| 2030k|315863 | 10450k| 5.1 | 187M| 56 | - | 172 | 37 | 172 | 25 | 27 | 152k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1646.88/1647.40 c 1457s| 2040k|316667 | 10501k| 5.1 | 188M| 56 | 7 | 172 | 36 | 172 | 25 | 27 | 153k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1654.38/1654.86 c 1463s| 2050k|317377 | 10552k| 5.1 | 189M| 56 | - | 172 | 42 | 172 | 25 | 27 | 154k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1661.88/1662.36 c 1470s| 2060k|318194 | 10603k| 5.1 | 189M| 56 | 7 | 172 | 44 | 172 | 25 | 27 | 154k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1669.38/1669.82 c 1477s| 2070k|319052 | 10653k| 5.1 | 190M| 56 | 7 | 172 | 39 | 172 | 25 | 27 | 155k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1677.08/1677.54 c 1483s| 2080k|320568 | 10706k| 5.1 | 191M| 56 | 7 | 172 | 41 | 172 | 25 | 27 | 156k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1684.79/1685.23 c 1490s| 2090k|322386 | 10759k| 5.1 | 192M| 56 | - | 172 | 36 | 172 | 25 | 27 | 156k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1692.38/1692.90 c 1497s| 2100k|323894 | 10810k| 5.1 | 193M| 56 | 7 | 172 | 48 | 172 | 25 | 27 | 157k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1699.87/1700.39 c 1504s| 2110k|325366 | 10860k| 5.1 | 194M| 56 | - | 172 | 53 | 172 | 25 | 27 | 158k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1707.37/1707.83 c 1510s| 2120k|326323 | 10911k| 5.1 | 195M| 56 | - | 172 | 30 | 172 | 25 | 27 | 159k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1714.87/1715.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.87/1715.32 c 1517s| 2130k|327376 | 10962k| 5.1 | 196M| 56 | 7 | 172 | 36 | 172 | 25 | 27 | 159k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1722.36/1722.85 c 1523s| 2140k|328388 | 11013k| 5.1 | 197M| 56 | - | 172 | 34 | 172 | 25 | 27 | 160k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1729.78/1730.29 c 1530s| 2150k|329203 | 11065k| 5.1 | 198M| 56 | 7 | 172 | 33 | 172 | 25 | 27 | 161k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1737.27/1737.75 c 1537s| 2160k|330221 | 11116k| 5.1 | 198M| 56 | - | 172 | 34 | 172 | 25 | 27 | 162k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1745.17/1745.67 c 1544s| 2170k|332270 | 11170k| 5.1 | 200M| 56 | 7 | 172 | 42 | 172 | 25 | 27 | 162k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1753.16/1753.62 c 1551s| 2180k|334369 | 11224k| 5.1 | 201M| 56 | - | 172 | 33 | 172 | 25 | 27 | 163k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1760.67/1761.11 c 1557s| 2190k|335735 | 11276k| 5.1 | 202M| 56 | - | 172 | 32 | 172 | 25 | 27 | 164k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1768.27/1768.71 c 1564s| 2200k|337124 | 11328k| 5.1 | 203M| 56 | 7 | 172 | 33 | 172 | 25 | 27 | 165k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1775.85/1776.30 c 1571s| 2210k|338589 | 11380k| 5.1 | 204M| 56 | 7 | 172 | 40 | 172 | 25 | 27 | 165k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1783.35/1783.90 c 1577s| 2220k|340142 | 11432k| 5.1 | 205M| 56 | - | 172 | 42 | 172 | 25 | 27 | 166k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1790.95/1791.45 c 1584s| 2230k|340959 | 11483k| 5.1 | 206M| 56 | 7 | 172 | 36 | 172 | 25 | 27 | 167k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1798.55/1799.04 c 1591s| 2240k|341685 | 11534k| 5.1 | 206M| 56 | - | 172 | 38 | 172 | 25 | 27 | 168k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.51 c
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time (sec) : 1592.14
1800.05/1800.51 c Solving Nodes : 2241918
1800.05/1800.51 c Primal Bound : +1.00000000000000e+01 (58 solutions)
1800.05/1800.51 c Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 s SATISFIABLE
1800.05/1800.51 v -x127 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 x162 x161 -x160 x159 -x158 x157 -x156 -x155 x154 x153 x152 -x151
1800.05/1800.51 v -x150 -x149 x148 -x147 -x146 x145 x144 x143 -x142 -x141 x140 x139 x138 x137 x136 x135 -x134 -x133 -x132 x131 -x130 -x129 x128
1800.05/1800.51 v x126 x125 x124 -x123 -x122 x121 x120 x119 x118 -x117 x116 x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.05/1800.51 v -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.05/1800.51 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.05/1800.51 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.05/1800.51 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.05/1800.51 v -x2 -x1
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time : 1592.14
1800.05/1800.51 c Original Problem :
1800.05/1800.51 c Problem name : HOME/instance-2665655-1276614630.opb
1800.05/1800.51 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 14 initial, 14 maximal
1800.05/1800.51 c Presolved Problem :
1800.05/1800.51 c Problem name : t_HOME/instance-2665655-1276614630.opb
1800.05/1800.51 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 7 initial, 79 maximal
1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.51 c linear : 0.01 0 0 0 0 0 7 0 0
1800.05/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c root node : - 56 - - 56 - - - -
1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c integral : 0 0 0 1369843 0 106 5349 0 0 2728936
1800.05/1800.51 c linear : 7+ 7 3554963 0 0 329057 2236044 0 0 0
1800.05/1800.51 c logicor : 0+ 0 822203 0 0 2184 57354 0 0 0
1800.05/1800.51 c countsols : 0 0 0 36 0 0 0 0 0 0
1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.51 c integral : 25.59 0.00 0.00 25.59 0.00
1800.05/1800.51 c linear : 284.61 0.00 284.61 0.00 0.00
1800.05/1800.51 c logicor : 3.47 0.00 3.47 0.00 0.00
1800.05/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.51 c vbounds : 1.78 2 0 0
1800.05/1800.51 c rootredcost : 1.61 50 0 56
1800.05/1800.51 c pseudoobj : 34.66 3560127 5324 772307
1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.51 c propagation : 26.06 335160 149830 182568 59.0 43 33.1 -
1800.05/1800.51 c infeasible LP : 1.68 19797 19108 24847 36.6 4 47.2 0
1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c pseudo solution : 0.00 31 31 31 2.5 0 0.0 -
1800.05/1800.51 c applied globally : - - - 11342 26.4 - - -
1800.05/1800.51 c applied locally : - - - 157045 57.6 - - -
1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.51 c cut pool : 0.00 5 - - 15 - (maximal pool size: 81)
1800.05/1800.51 c redcost : 48.41 1831885 0 10442629 0 0
1800.05/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.51 c intobj : 0.00 0 0 0 0 0
1800.05/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.51 c gomory : 0.01 6 0 0 0 0
1800.05/1800.51 c strongcg : 0.02 6 0 0 23 0
1800.05/1800.51 c cmir : 0.04 6 0 0 30 0
1800.05/1800.51 c flowcover : 0.04 6 0 0 43 0
1800.05/1800.51 c clique : 0.00 1 0 0 0 0
1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.51 c mcf : 0.00 1 0 0 0 0
1800.05/1800.51 c rapidlearning : 0.10 1 0 0 0 50
1800.05/1800.51 c Pricers : Time Calls Vars
1800.05/1800.51 c problem variables: 0.00 0 0
1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c relpscost : 23.81 1369807 106 5349 0 0 2728936
1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c random : 0.00 0 0 0 0 0 0
1800.05/1800.51 c Primal Heuristics : Time Calls Found
1800.05/1800.51 c LP solutions : 0.54 - 36
1800.05/1800.51 c pseudo solutions : 0.00 - 0
1800.05/1800.51 c oneopt : 1.62 48 0
1800.05/1800.51 c feaspump : 0.28 4 0
1800.05/1800.51 c crossover : 13.17 9 1
1800.05/1800.51 c rootsoldiving : 11.35 1822 7
1800.05/1800.51 c pscostdiving : 23.74 4306 2
1800.05/1800.51 c veclendiving : 16.74 4306 2
1800.05/1800.51 c linesearchdiving : 16.97 4306 0
1800.05/1800.51 c fracdiving : 23.99 4306 5
1800.05/1800.51 c coefdiving : 37.91 4307 1
1800.05/1800.51 c guideddiving : 18.90 4307 2
1800.05/1800.51 c objpscostdiving : 5.04 2154 0
1800.05/1800.51 c trivial : 0.00 2 0
1800.05/1800.51 c simplerounding : 1.22 0 0
1800.05/1800.51 c zirounding : 0.96 1000 0
1800.05/1800.51 c rounding : 2.33 17390 0
1800.05/1800.51 c shifting : 8.19 7329 1
1800.05/1800.51 c intshifting : 0.05 0 0
1800.05/1800.51 c twoopt : 0.00 0 0
1800.05/1800.51 c fixandinfer : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.16 1 0
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c undercover : 0.00 0 0
1800.05/1800.51 c nlp : 1.01 0 0
1800.05/1800.51 c trysol : 2.22 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.51 c dual LP : 793.47 2112882 10549067 4.99 13294.85
1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 102.16 390402 995474 2.55 9744.26
1800.05/1800.51 c strong branching : 9.24 21660 81868 3.78 8860.17
1800.05/1800.51 c (at root node) : - 9 959 106.56 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 2241918
1800.05/1800.51 c nodes (total) : 2241918
1800.05/1800.51 c nodes left : 341822
1800.05/1800.51 c max depth : 56
1800.05/1800.51 c max depth (total): 56
1800.05/1800.51 c backtracks : 476934 (21.3%)
1800.05/1800.51 c delayed cutoffs : 32971
1800.05/1800.51 c repropagations : 58534 (235344 domain reductions, 32919 cutoffs)
1800.05/1800.51 c avg switch length: 5.64
1800.05/1800.51 c switching time : 82.86
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 58 (50 improvements)
1800.05/1800.51 c First Solution : +1.40900000000000e+03 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.05/1800.51 c Primal Bound : +1.00000000000000e+01 (in run 1, after 825943 nodes, 663.99 seconds, depth 50, found by <relaxation>)
1800.05/1800.51 c Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Root Iterations : 119
1801.26/1801.77 c Time complete: 1801.32.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665655-1276614630/watcher-2665655-1276614630 -o /tmp/evaluation-result-2665655-1276614630/solver-2665655-1276614630 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665655-1276614630.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: 1.10 1.05 1.00 3/106 10024
/proc/meminfo: memFree=1773628/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=9288 CPUtime=0
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 1033 0 0 0 0 0 0 0 15 0 1 0 2754522 9510912 953 1992294400 4194304 9819077 140736313986800 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10024/statm: 2322 962 371 1374 0 943 0
[startup+0.019472 s]
/proc/loadavg: 1.10 1.05 1.00 3/106 10024
/proc/meminfo: memFree=1773628/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=13888 CPUtime=0.01
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 2477 0 0 0 1 0 0 0 15 0 1 0 2754522 14221312 2044 1992294400 4194304 9819077 140736313986800 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 3472 2055 480 1374 0 2093 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13888
[startup+0.101421 s]
/proc/loadavg: 1.10 1.05 1.00 3/106 10024
/proc/meminfo: memFree=1773628/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=22832 CPUtime=0.09
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 5032 0 0 0 7 2 0 0 18 0 1 0 2754522 23379968 4075 1992294400 4194304 9819077 140736313986800 18446744073709551615 4978441 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 5708 4075 673 1374 0 4329 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22832
[startup+0.301439 s]
/proc/loadavg: 1.10 1.05 1.00 3/106 10024
/proc/meminfo: memFree=1773628/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=24928 CPUtime=0.29
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 8313 0 0 0 26 3 0 0 18 0 1 0 2754522 25526272 4436 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 6232 4436 713 1374 0 4853 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24928
[startup+0.701474 s]
/proc/loadavg: 1.10 1.05 1.00 3/106 10024
/proc/meminfo: memFree=1773628/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=17564 CPUtime=0.69
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 14347 0 0 0 59 10 0 0 18 0 1 0 2754522 17985536 2945 1992294400 4194304 9819077 140736313986800 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 4350 2944 722 1374 0 2971 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17564
[startup+1.50155 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 10025
/proc/meminfo: memFree=1764072/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=16908 CPUtime=1.49
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 22494 0 0 0 129 20 0 0 20 0 1 0 2754522 17313792 2943 1992294400 4194304 9819077 140736313986800 18446744073709551615 4241174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 4227 2943 724 1374 0 2848 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16908
[startup+3.10169 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 10025
/proc/meminfo: memFree=1763824/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=17208 CPUtime=3.09
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 38058 0 0 0 269 40 0 0 23 0 1 0 2754522 17620992 3024 1992294400 4194304 9819077 140736313986800 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 4098 3019 725 1374 0 2719 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17208
[startup+6.30098 s]
/proc/loadavg: 1.09 1.05 1.00 2/107 10025
/proc/meminfo: memFree=1762212/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=19436 CPUtime=6.29
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 70385 0 0 0 551 78 0 0 25 0 1 0 2754522 19902464 3582 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 4859 3582 725 1374 0 3480 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19436
[startup+12.7016 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 10025
/proc/meminfo: memFree=1759732/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=21752 CPUtime=12.69
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 125408 0 0 0 1121 148 0 0 25 0 1 0 2754522 22274048 4174 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 5438 4174 725 1374 0 4059 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21752
[startup+25.5007 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 10027
/proc/meminfo: memFree=1752664/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=28132 CPUtime=25.48
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 245540 0 0 0 2253 295 0 0 25 0 1 0 2754522 28807168 5851 1992294400 4194304 9819077 140736313986800 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 7074 5852 725 1374 0 5695 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28132
[startup+51.101 s]
/proc/loadavg: 1.11 1.06 1.00 2/107 10027
/proc/meminfo: memFree=1738156/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=41984 CPUtime=51.08
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 476633 0 0 0 4528 580 0 0 25 0 1 0 2754522 42991616 9325 1992294400 4194304 9819077 140736313986800 18446744073709551615 6581321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 10496 9325 725 1374 0 9117 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41984
[startup+102.309 s]
/proc/loadavg: 1.05 1.05 1.00 2/107 10029
/proc/meminfo: memFree=1708396/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=73540 CPUtime=102.27
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 916379 0 0 0 9092 1135 0 0 25 0 1 0 2754522 75304960 16846 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 18385 16846 725 1374 0 17006 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73540
[startup+162.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 10029
/proc/meminfo: memFree=1681984/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=100224 CPUtime=162.25
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 1437722 0 0 0 14403 1822 0 0 25 0 1 0 2754522 102629376 23735 1992294400 4194304 9819077 140736313986800 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 25096 23736 725 1374 0 23717 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 100224
[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 10031
/proc/meminfo: memFree=1654704/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=125108 CPUtime=222.23
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 1926783 0 0 0 19748 2475 0 0 25 0 1 0 2754522 128110592 30108 1992294400 4194304 9819077 140736313986800 18446744073709551615 6361772 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 31277 30108 725 1374 0 29898 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 125108
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10033
/proc/meminfo: memFree=1635608/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=147680 CPUtime=282.22
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 2422098 0 0 0 25078 3144 0 0 25 0 1 0 2754522 151224320 34845 1992294400 4194304 9819077 140736313986800 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 36920 34845 725 1374 0 35541 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 147680
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10035
/proc/meminfo: memFree=1619736/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=164040 CPUtime=342.2
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 2936004 0 0 0 30399 3821 0 0 25 0 1 0 2754522 167976960 39042 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 41010 39042 725 1374 0 39631 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 164040
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10037
/proc/meminfo: memFree=1616140/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=166464 CPUtime=402.18
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 3493271 0 0 0 35698 4520 0 0 25 0 1 0 2754522 170459136 39653 1992294400 4194304 9819077 140736313986800 18446744073709551615 6361881 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 41616 39653 725 1374 0 40237 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 166464
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10037
/proc/meminfo: memFree=1616140/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=166572 CPUtime=462.18
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 4005107 0 0 0 41025 5193 0 0 25 0 1 0 2754522 170569728 39655 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 41643 39655 725 1374 0 40264 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 166572
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10039
/proc/meminfo: memFree=1612172/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=170300 CPUtime=522.16
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 4514584 0 0 0 46347 5869 0 0 25 0 1 0 2754522 174387200 40745 1992294400 4194304 9819077 140736313986800 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 42698 40749 725 1374 0 41319 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 170300
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10041
/proc/meminfo: memFree=1603244/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=179584 CPUtime=582.14
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 5027242 0 0 0 51676 6538 0 0 25 0 1 0 2754522 183894016 42974 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 44896 42974 725 1374 0 43517 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 179584
[startup+642.301 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 10043
/proc/meminfo: memFree=1594688/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=187536 CPUtime=642.14
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 5538159 0 0 0 57004 7210 0 0 25 0 1 0 2754522 192036864 45054 1992294400 4194304 9819077 140736313986800 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 46964 45056 725 1374 0 45585 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 187536
[startup+702.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 10053
/proc/meminfo: memFree=1566664/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=214936 CPUtime=1062.03
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 9296311 0 0 0 94078 12125 0 0 25 0 1 0 2754522 220094464 52020 1992294400 4194304 9819077 140736313986800 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 53734 52019 725 1374 0 52355 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 214936
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10055
/proc/meminfo: memFree=1564308/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=216760 CPUtime=1122.02
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 9836471 0 0 0 99367 12835 0 0 25 0 1 0 2754522 221962240 52458 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 54190 52458 725 1374 0 52811 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 216760
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10057
/proc/meminfo: memFree=1561208/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=219780 CPUtime=1182
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 10376835 0 0 0 104657 13543 0 0 25 0 1 0 2754522 225054720 53221 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 54945 53221 725 1374 0 53566 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 219780
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10059
/proc/meminfo: memFree=1559596/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=221260 CPUtime=1241.98
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 10917946 0 0 0 109950 14248 0 0 25 0 1 0 2754522 226570240 53586 1992294400 4194304 9819077 140736313986800 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 55315 53586 725 1374 0 53936 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 221260
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10061
/proc/meminfo: memFree=1558976/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=221848 CPUtime=1301.98
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 11463594 0 0 0 115240 14958 0 0 25 0 1 0 2754522 227172352 53715 1992294400 4194304 9819077 140736313986800 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 55462 53715 725 1374 0 54083 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 221848
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10064
/proc/meminfo: memFree=1556248/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=223124 CPUtime=1361.95
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 12008250 0 0 0 120537 15658 0 0 25 0 1 0 2754522 228478976 54088 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 55781 54088 725 1374 0 54402 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 223124
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10066
/proc/meminfo: memFree=1556372/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=223124 CPUtime=1421.94
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 12554407 0 0 0 125829 16365 0 0 25 0 1 0 2754522 228478976 54088 1992294400 4194304 9819077 140736313986800 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 55536 54083 725 1374 0 54157 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 223124
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10068
/proc/meminfo: memFree=1556372/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=223328 CPUtime=1481.92
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 13100087 0 0 0 131110 17082 0 0 25 0 1 0 2754522 228687872 54108 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 55832 54108 725 1374 0 54453 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 223328
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10070
/proc/meminfo: memFree=1556248/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=223980 CPUtime=1541.91
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 13651216 0 0 0 136381 17810 0 0 25 0 1 0 2754522 229355520 54271 1992294400 4194304 9819077 140736313986800 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 55995 54271 725 1374 0 54616 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 223980
[startup+1602.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 10072
/proc/meminfo: memFree=1548684/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=231432 CPUtime=1601.89
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 14189296 0 0 0 141683 18506 0 0 25 0 1 0 2754522 236986368 56168 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 57858 56168 725 1374 0 56479 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 231432
[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 10072
/proc/meminfo: memFree=1541492/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=238448 CPUtime=1661.88
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 14718726 0 0 0 146992 19196 0 0 25 0 1 0 2754522 244170752 57960 1992294400 4194304 9819077 140736313986800 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 59372 57955 725 1374 0 57993 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 238448
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10074
/proc/meminfo: memFree=1534052/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=245616 CPUtime=1721.87
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15248468 0 0 0 152287 19900 0 0 25 0 1 0 2754522 251510784 59787 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 61404 59787 725 1374 0 60025 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 245616
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10076
/proc/meminfo: memFree=1525496/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=253816 CPUtime=1781.85
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15777189 0 0 0 157601 20584 0 0 25 0 1 0 2754522 259907584 61883 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 63454 61883 725 1374 0 62075 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 253816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10076
/proc/meminfo: memFree=1523760/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=255420 CPUtime=1800.05
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15937214 0 0 0 159214 20791 0 0 25 0 1 0 2754522 261550080 62302 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10024/statm: 63855 62302 725 1374 0 62476 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 255420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10077
/proc/meminfo: memFree=1523752/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=255420 CPUtime=1800.16
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15937220 0 0 0 159225 20791 0 0 25 0 1 0 2754522 261550080 62303 1992294400 4194304 9819077 140736313986800 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10024/statm: 63855 62303 726 1374 0 62476 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 255420
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10077
/proc/meminfo: memFree=1523752/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=255420 CPUtime=1800.94
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15937220 0 0 0 159303 20791 0 0 25 0 1 0 2754522 261550080 62303 1992294400 4194304 9819077 140736313986800 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10024/statm: 63855 62303 726 1374 0 62476 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 255420
[startup+1801.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10077
/proc/meminfo: memFree=1523752/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=250764 CPUtime=1801.14
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15937220 0 0 0 159323 20791 0 0 25 0 1 0 2754522 256782336 61139 1992294400 4194304 9819077 140736313986800 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10024/statm: 62691 61139 726 1374 0 61312 0
Current children cumulated CPU time (s) 1801.14
Current children cumulated vsize (KiB) 250764
[startup+1801.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10077
/proc/meminfo: memFree=1560332/2059040 swapFree=4192956/4192956
[pid=10024] ppid=10022 vsize=217316 CPUtime=1801.26
/proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15937220 0 0 0 159334 20792 0 0 25 0 1 0 2754522 222531584 52777 1992294400 4194304 9819077 140736313986800 18446744073709551615 4616598 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10024/statm: 54329 52777 726 1374 0 52950 0
Current children cumulated CPU time (s) 1801.26
Current children cumulated vsize (KiB) 217316
Child status: 0
Real time (s): 1801.78
CPU time (s): 1801.33
CPU user time (s): 1593.39
CPU system time (s): 207.948
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 255420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1593.39
system time used= 207.948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15937224
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= 2
involuntary context switches= 2072
runsolver used 3.2785 second user time and 8.22575 second system time
The end