0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2663904-1276674533.opb>
0.00/0.02 c original problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 765 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.19/0.20 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 5012 impls, 100 clqs
0.19/0.22 c (0.1s) probing: 101/714 (14.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.22 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.22 c presolving (2 rounds):
0.19/0.22 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.22 c 5012 implications, 100 cliques
0.19/0.22 c presolved problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 765 constraints
0.19/0.22 c 100 constraints of type <setppc>
0.19/0.22 c 614 constraints of type <and>
0.19/0.22 c 1 constraints of type <linear>
0.19/0.22 c 50 constraints of type <logicor>
0.19/0.22 c transformed objective value is always integral (scale: 1)
0.19/0.22 c Presolving Time: 0.13
0.19/0.22 c - non default parameters ----------------------------------------------------------------------
0.19/0.22 c # SCIP version 1.2.1.2
0.19/0.22 c
0.19/0.22 c # frequency for displaying node information lines
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.22 c display/freq = 10000
0.19/0.22 c
0.19/0.22 c # maximal time in seconds to run
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/time = 1799.99
0.19/0.22 c
0.19/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/memory = 1620
0.19/0.22 c
0.19/0.22 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.22 c lp/solvefreq = -1
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify inequalities
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/linear/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify knapsacks
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22 c heuristics/undercover/freq = 0
0.19/0.22 c
0.19/0.22 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22 c separating/rapidlearning/freq = 0
0.19/0.22 c
0.19/0.22 c -----------------------------------------------------------------------------------------------
0.19/0.22 c start solving
0.19/0.22 c
0.19/0.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c t 0.1s| 1 | 2 | 0 | - |2235k| 0 | - | 714 | 765 | 0 | 0 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.49/0.55 o -4
0.49/0.55 c * 0.4s| 1035 | 927 | 0 | 0.0 |3350k| 72 | - | 714 | 829 | 0 | 0 | 0 | 64 | 0 |-4.900000e+01 |-4.000000e+00 | 91.84%
0.69/0.71 o -6
0.69/0.71 c * 0.6s| 1586 | 1446 | 0 | 0.0 |4041k| 72 | - | 714 | 850 | 0 | 0 | 0 | 85 | 0 |-4.900000e+01 |-6.000000e+00 | 87.76%
1.00/1.00 o -7
1.00/1.00 c * 0.8s| 2423 | 2140 | 0 | 0.0 |5262k| 72 | - | 714 | 917 | 0 | 0 | 0 | 152 | 0 |-4.900000e+01 |-7.000000e+00 | 85.71%
3.59/3.65 o -8
3.59/3.65 c * 3.3s| 9002 | 7318 | 0 | 0.0 | 17M| 72 | - | 714 |1063 | 0 | 0 | 0 | 970 | 0 |-4.800000e+01 |-8.000000e+00 | 83.33%
3.89/3.95 o -9
3.89/3.95 c * 3.5s| 9797 | 7958 | 0 | 0.0 | 19M| 72 | - | 714 |1092 | 0 | 0 | 0 |1085 | 0 |-4.800000e+01 |-9.000000e+00 | 81.25%
3.99/4.02 c 3.6s| 10000 | 8135 | 0 | 0.0 | 19M| 72 | - | 714 |1083 | 0 | 0 | 0 |1101 | 0 |-4.800000e+01 |-9.000000e+00 | 81.25%
8.19/8.27 c 7.6s| 20000 | 14443 | 0 | 0.0 | 33M| 72 | - | 714 |1176 | 0 | 0 | 0 |3309 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
12.09/12.15 c 11.1s| 30000 | 23449 | 0 | 0.0 | 53M| 72 | - | 714 |1321 | 0 | 0 | 0 |3906 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
15.89/15.95 c 14.6s| 40000 | 32134 | 0 | 0.0 | 71M| 72 | - | 714 |1454 | 0 | 0 | 0 |4869 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
19.99/20.04 c 18.4s| 50000 | 39119 | 0 | 0.0 | 84M| 72 | - | 714 |1333 | 0 | 0 | 0 |6618 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
23.98/24.01 c 22.0s| 60000 | 46184 | 0 | 0.0 | 98M| 72 | - | 714 |1650 | 0 | 0 | 0 |8278 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
28.38/28.47 c 26.2s| 70000 | 51199 | 0 | 0.0 | 109M| 72 | - | 714 |1332 | 0 | 0 | 0 | 10k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
32.38/32.45 c 29.8s| 80000 | 60434 | 0 | 0.0 | 130M| 72 | - | 714 |1348 | 0 | 0 | 0 | 10k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
36.48/36.50 c 33.5s| 90000 | 69123 | 0 | 0.0 | 150M| 72 | - | 714 |1467 | 0 | 0 | 0 | 11k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
40.18/40.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.18/40.25 c 37.0s|100000 | 77931 | 0 | 0.0 | 166M| 72 | - | 714 |1565 | 0 | 0 | 0 | 12k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
43.98/44.01 c 40.4s|110000 | 86835 | 0 | 0.0 | 182M| 72 | - | 714 |1603 | 0 | 0 | 0 | 12k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
48.28/48.31 c 44.4s|120000 | 94090 | 0 | 0.0 | 196M| 72 | - | 714 |1867 | 0 | 0 | 0 | 14k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
52.97/53.03 c 48.8s|130000 | 98607 | 0 | 0.0 | 204M| 72 | - | 714 |1937 | 0 | 0 | 0 | 16k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
56.97/57.06 c 52.5s|140000 |106492 | 0 | 0.0 | 220M| 72 | - | 714 |1561 | 0 | 0 | 0 | 18k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
61.37/61.43 c 56.6s|150000 |112114 | 0 | 0.0 | 231M| 72 | - | 714 |1912 | 0 | 0 | 0 | 20k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
66.37/66.48 c 61.3s|160000 |115585 | 0 | 0.0 | 239M| 72 | - | 714 |2146 | 0 | 0 | 0 | 23k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
70.87/71.00 c 65.5s|170000 |121239 | 0 | 0.0 | 251M| 72 | - | 714 |1379 | 0 | 0 | 0 | 24k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
74.78/74.89 c 69.1s|180000 |130537 | 0 | 0.0 | 271M| 72 | - | 714 |1425 | 0 | 0 | 0 | 25k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
78.77/78.82 c 72.7s|190000 |139832 | 0 | 0.0 | 291M| 72 | - | 714 |1444 | 0 | 0 | 0 | 25k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
82.57/82.62 c 76.1s|200000 |149146 | 0 | 0.0 | 309M| 72 | - | 714 |1490 | 0 | 0 | 0 | 26k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
86.36/86.40 c 79.6s|210000 |158359 | 0 | 0.0 | 327M| 72 | - | 714 |1522 | 0 | 0 | 0 | 26k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
90.17/90.28 c 83.1s|220000 |167494 | 0 | 0.0 | 344M| 72 | - | 714 |1572 | 0 | 0 | 0 | 26k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
93.96/94.08 c 86.6s|230000 |176452 | 0 | 0.0 | 360M| 72 | - | 714 |1671 | 0 | 0 | 0 | 27k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
97.86/97.97 c 90.2s|240000 |185156 | 0 | 0.0 | 375M| 72 | - | 714 |1752 | 0 | 0 | 0 | 28k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
102.06/102.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.06/102.13 c 94.0s|250000 |193358 | 0 | 0.0 | 390M| 72 | - | 714 |1800 | 0 | 0 | 0 | 29k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
106.36/106.46 c 98.0s|260000 |200815 | 0 | 0.0 | 403M| 72 | - | 714 |2019 | 0 | 0 | 0 | 31k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
111.06/111.14 c 102s|270000 |206835 | 0 | 0.0 | 414M| 72 | - | 714 |2374 | 0 | 0 | 0 | 33k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
116.25/116.33 c 107s|280000 |211451 | 0 | 0.0 | 423M| 72 | - | 714 |2556 | 0 | 0 | 0 | 35k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
121.85/121.99 c 113s|290000 |214715 | 0 | 0.0 | 430M| 72 | - | 714 |2571 | 0 | 0 | 0 | 39k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
126.45/126.51 c 117s|300000 |220835 | 0 | 0.0 | 442M| 72 | - | 714 |1671 | 0 | 0 | 0 | 40k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
130.65/130.73 c 121s|310000 |228386 | 0 | 0.0 | 457M| 72 | - | 714 |1780 | 0 | 0 | 0 | 41k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
134.95/135.05 c 125s|320000 |234871 | 0 | 0.0 | 468M| 72 | - | 714 |1859 | 0 | 0 | 0 | 43k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
139.56/139.65 c 129s|330000 |240305 | 0 | 0.0 | 479M| 72 | - | 714 |2048 | 0 | 0 | 0 | 46k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
144.55/144.63 c 134s|340000 |244548 | 0 | 0.0 | 488M| 72 | - | 714 |2119 | 0 | 0 | 0 | 48k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
149.74/149.80 c 139s|350000 |247969 | 0 | 0.0 | 495M| 72 | - | 714 |2382 | 0 | 0 | 0 | 51k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
154.84/154.98 c 144s|360000 |250941 | 0 | 0.0 | 502M| 72 | - | 714 |2291 | 0 | 0 | 0 | 54k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
159.84/159.91 c 148s|370000 |255444 | 0 | 0.0 | 513M| 72 | - | 714 |1550 | 0 | 0 | 0 | 56k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
163.75/163.88 c 152s|380000 |264829 | 0 | 0.0 | 532M| 72 | - | 714 |1593 | 0 | 0 | 0 | 56k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
167.63/167.73 c 155s|390000 |274255 | 0 | 0.0 | 550M| 72 | - | 714 |1597 | 0 | 0 | 0 | 56k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
171.34/171.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.34/171.46 c 159s|400000 |283658 | 0 | 0.0 | 568M| 72 | - | 714 |1594 | 0 | 0 | 0 | 57k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
174.93/175.02 c 162s|410000 |293083 | 0 | 0.0 | 583M| 72 | - | 714 |1597 | 0 | 0 | 0 | 57k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
178.53/178.63 c 165s|420000 |302540 | 0 | 0.0 | 600M| 72 | - | 714 |1589 | 0 | 0 | 0 | 57k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
182.13/182.24 c 169s|430000 |311934 | 0 | 0.0 | 616M| 72 | - | 714 |1632 | 0 | 0 | 0 | 58k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
185.93/186.01 c 172s|440000 |321307 | 0 | 0.0 | 632M| 72 | - | 714 |1681 | 0 | 0 | 0 | 58k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
189.72/189.85 c 176s|450000 |330666 | 0 | 0.0 | 649M| 72 | - | 714 |1684 | 0 | 0 | 0 | 58k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
193.62/193.73 c 179s|460000 |339900 | 0 | 0.0 | 665M| 72 | - | 714 |1733 | 0 | 0 | 0 | 59k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
197.53/197.69 c 183s|470000 |349183 | 0 | 0.0 | 682M| 72 | - | 714 |1730 | 0 | 0 | 0 | 59k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
201.43/201.56 c 186s|480000 |358289 | 0 | 0.0 | 698M| 72 | - | 714 |1807 | 0 | 0 | 0 | 60k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
205.32/205.46 c 190s|490000 |367459 | 0 | 0.0 | 713M| 72 | - | 714 |1844 | 0 | 0 | 0 | 60k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
209.43/209.54 c 194s|500000 |376577 | 0 | 0.0 | 729M| 72 | - | 714 |1881 | 0 | 0 | 0 | 61k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
213.52/213.62 c 197s|510000 |385518 | 0 | 0.0 | 744M| 72 | - | 714 |1905 | 0 | 0 | 0 | 61k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
217.82/217.91 c 201s|520000 |394249 | 0 | 0.0 | 759M| 72 | - | 714 |1942 | 0 | 0 | 0 | 62k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
222.13/222.29 c 206s|530000 |402729 | 0 | 0.0 | 774M| 72 | - | 714 |1970 | 0 | 0 | 0 | 63k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
226.62/226.77 c 210s|540000 |410800 | 0 | 0.0 | 788M| 72 | - | 714 |2061 | 0 | 0 | 0 | 65k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
231.41/231.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.41/231.52 c 214s|550000 |418226 | 0 | 0.0 | 801M| 72 | - | 714 |2210 | 0 | 0 | 0 | 66k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
236.21/236.34 c 219s|560000 |425016 | 0 | 0.0 | 812M| 72 | - | 714 |2446 | 0 | 0 | 0 | 68k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
241.21/241.36 c 223s|570000 |431456 | 0 | 0.0 | 824M| 72 | - | 714 |2453 | 0 | 0 | 0 | 70k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
246.42/246.57 c 228s|580000 |436945 | 0 | 0.0 | 834M| 72 | - | 714 |2609 | 0 | 0 | 0 | 72k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
251.82/251.97 c 233s|590000 |441636 | 0 | 0.0 | 843M| 72 | - | 714 |2973 | 0 | 0 | 0 | 75k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
257.41/257.57 c 239s|600000 |445651 | 0 | 0.0 | 851M| 72 | - | 714 |2979 | 0 | 0 | 0 | 77k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
263.30/263.42 c 244s|610000 |449023 | 0 | 0.0 | 858M| 72 | - | 714 |3195 | 0 | 0 | 0 | 80k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
269.21/269.31 c 250s|620000 |452672 | 0 | 0.0 | 866M| 72 | - | 714 |2967 | 0 | 0 | 0 | 83k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
274.30/274.41 c 255s|630000 |457349 | 0 | 0.0 | 875M| 72 | - | 714 |1971 | 0 | 0 | 0 | 84k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
278.40/278.57 c 258s|640000 |465985 | 0 | 0.0 | 891M| 72 | - | 714 |1894 | 0 | 0 | 0 | 85k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
282.61/282.76 c 262s|650000 |473710 | 0 | 0.0 | 905M| 72 | - | 714 |1866 | 0 | 0 | 0 | 86k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
287.01/287.14 c 266s|660000 |480909 | 0 | 0.0 | 918M| 72 | - | 714 |2007 | 0 | 0 | 0 | 88k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
291.49/291.63 c 271s|670000 |487239 | 0 | 0.0 | 929M| 72 | - | 714 |2140 | 0 | 0 | 0 | 90k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
296.19/296.34 c 275s|680000 |492747 | 0 | 0.0 | 939M| 72 | - | 714 |2291 | 0 | 0 | 0 | 93k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
301.09/301.25 c 280s|690000 |497708 | 0 | 0.0 | 948M| 72 | - | 714 |2383 | 0 | 0 | 0 | 95k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
306.19/306.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.19/306.37 c 284s|700000 |502129 | 0 | 0.0 | 957M| 72 | - | 714 |2513 | 0 | 0 | 0 | 98k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
311.29/311.46 c 289s|710000 |506498 | 0 | 0.0 | 965M| 72 | - | 714 |2377 | 0 | 0 | 0 | 101k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
316.70/316.86 c 294s|720000 |509970 | 0 | 0.0 | 973M| 72 | - | 714 |2473 | 0 | 0 | 0 | 103k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
322.09/322.30 c 299s|730000 |513223 | 0 | 0.0 | 980M| 72 | - | 714 |2748 | 0 | 0 | 0 | 106k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
327.79/327.90 c 305s|740000 |516102 | 0 | 0.0 | 987M| 72 | - | 714 |2631 | 0 | 0 | 0 | 109k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
333.39/333.53 c 310s|750000 |518866 | 0 | 0.0 | 993M| 72 | - | 714 |2868 | 0 | 0 | 0 | 112k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
338.88/339.03 c 315s|760000 |521791 | 0 | 0.0 | 999M| 72 | - | 714 |2526 | 0 | 0 | 0 | 116k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
343.98/344.14 c 320s|770000 |523916 | 0 | 0.0 |1004M| 72 | - | 714 |2441 | 0 | 0 | 0 | 118k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
348.68/348.88 c 325s|780000 |532169 | 0 | 0.0 |1024M| 72 | - | 714 |1759 | 0 | 0 | 0 | 118k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
352.68/352.84 c 328s|790000 |541674 | 0 | 0.0 |1041M| 72 | - | 714 |1751 | 0 | 0 | 0 | 119k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
356.37/356.55 c 332s|800000 |551261 | 0 | 0.0 |1058M| 72 | - | 714 |1724 | 0 | 0 | 0 | 119k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
360.08/360.22 c 335s|810000 |560731 | 0 | 0.0 |1073M| 72 | - | 714 |1709 | 0 | 0 | 0 | 119k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
363.98/364.18 c 339s|820000 |570164 | 0 | 0.0 |1090M| 72 | - | 714 |1720 | 0 | 0 | 0 | 119k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
367.78/367.98 c 342s|830000 |579664 | 0 | 0.0 |1106M| 72 | - | 714 |1747 | 0 | 0 | 0 | 120k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
371.77/371.92 c 346s|840000 |589014 | 0 | 0.0 |1123M| 72 | - | 714 |1767 | 0 | 0 | 0 | 120k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
375.28/375.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.28/375.47 c 349s|850000 |598424 | 0 | 0.0 |1137M| 72 | - | 714 |1818 | 0 | 0 | 0 | 120k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
379.38/379.54 c 353s|860000 |607773 | 0 | 0.0 |1155M| 72 | - | 714 |1805 | 0 | 0 | 0 | 121k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
383.27/383.48 c 356s|870000 |617118 | 0 | 0.0 |1171M| 72 | - | 714 |1769 | 0 | 0 | 0 | 121k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
387.47/387.60 c 360s|880000 |626414 | 0 | 0.0 |1188M| 72 | - | 714 |1849 | 0 | 0 | 0 | 121k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
391.57/391.71 c 364s|890000 |635669 | 0 | 0.0 |1204M| 72 | - | 714 |1861 | 0 | 0 | 0 | 122k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
395.27/395.45 c 367s|900000 |645059 | 0 | 0.0 |1219M| 72 | - | 714 |1887 | 0 | 0 | 0 | 122k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
399.37/399.52 c 371s|910000 |654248 | 0 | 0.0 |1235M| 72 | - | 714 |1849 | 0 | 0 | 0 | 123k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
403.16/403.37 c 375s|920000 |663506 | 0 | 0.0 |1250M| 72 | - | 714 |1941 | 0 | 0 | 0 | 123k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
406.96/407.11 c 378s|930000 |672787 | 0 | 0.0 |1264M| 72 | - | 714 |1950 | 0 | 0 | 0 | 123k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
411.06/411.26 c 382s|940000 |681989 | 0 | 0.0 |1280M| 72 | - | 714 |1948 | 0 | 0 | 0 | 124k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
415.16/415.32 c 386s|950000 |691240 | 0 | 0.0 |1296M| 72 | - | 714 |2021 | 0 | 0 | 0 | 124k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
419.36/419.58 c 390s|960000 |700286 | 0 | 0.0 |1312M| 72 | - | 714 |1989 | 0 | 0 | 0 | 125k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
423.16/423.40 c 393s|970000 |709624 | 0 | 0.0 |1326M| 72 | - | 714 |2010 | 0 | 0 | 0 | 125k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
427.26/427.46 c 397s|980000 |718586 | 0 | 0.0 |1341M| 72 | - | 714 |2039 | 0 | 0 | 0 | 126k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
431.46/431.67 c 401s|990000 |727803 | 0 | 0.0 |1356M| 72 | - | 714 |2040 | 0 | 0 | 0 | 126k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
432.06/432.24 c (node 991429) switching to memory saving mode (mem: 1296.0M/1620.0M)
435.75/435.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.75/435.91 c 405s| 1000k|728924 | 0 | 0.0 |1359M| 91 | - | 714 |3128 | 0 | 0 | 0 | 128k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
441.25/441.46 c 410s| 1010k|728665 | 0 | 0.0 |1358M| 91 | - | 714 |4102 | 0 | 0 | 0 | 131k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
447.25/447.48 c 415s| 1020k|728404 | 0 | 0.0 |1357M| 91 | - | 714 |3426 | 0 | 0 | 0 | 134k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
453.25/453.40 c 421s| 1030k|728079 | 0 | 0.0 |1356M| 91 | - | 714 |2826 | 0 | 0 | 0 | 138k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
458.45/458.60 c 426s| 1040k|727887 | 0 | 0.0 |1356M| 91 | - | 714 |3307 | 0 | 0 | 0 | 143k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
464.44/464.61 c 431s| 1050k|727649 | 0 | 0.0 |1356M| 91 | - | 714 |5078 | 0 | 0 | 0 | 147k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
470.74/470.91 c 437s| 1060k|727477 | 0 | 0.0 |1355M| 91 | - | 714 |3225 | 0 | 0 | 0 | 152k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
476.05/476.26 c 442s| 1070k|727331 | 0 | 0.0 |1356M| 91 | - | 714 |3912 | 0 | 0 | 0 | 158k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
481.84/482.01 c 447s| 1080k|727076 | 0 | 0.0 |1355M| 91 | - | 714 |3820 | 0 | 0 | 0 | 163k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
487.34/487.53 c 452s| 1090k|726842 | 0 | 0.0 |1355M| 91 | - | 714 |4491 | 0 | 0 | 0 | 166k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
493.53/493.79 c 458s| 1100k|726842 | 0 | 0.0 |1356M| 91 | - | 714 |5633 | 0 | 0 | 0 | 172k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
500.64/500.80 c 465s| 1110k|726843 | 0 | 0.0 |1358M| 91 | - | 714 |8319 | 0 | 0 | 0 | 177k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
506.53/506.78 c 470s| 1120k|726637 | 0 | 0.0 |1355M| 91 | - | 714 |4084 | 0 | 0 | 0 | 183k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
512.13/512.36 c 475s| 1130k|726574 | 0 | 0.0 |1355M| 91 | - | 714 |4262 | 0 | 0 | 0 | 188k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
516.93/517.19 o -10
516.93/517.19 c * 480s| 1138k|726452 | 0 | 0.0 |1355M| 91 | - | 714 |3588 | 0 | 0 | 0 | 193k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
517.63/517.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
517.63/517.87 c 480s| 1140k|726435 | 0 | 0.0 |1355M| 91 | - | 714 |3466 | 0 | 0 | 0 | 193k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
522.72/522.92 c 485s| 1150k|726372 | 0 | 0.0 |1355M| 91 | - | 714 |3954 | 0 | 0 | 0 | 198k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
528.63/528.87 c 491s| 1160k|726356 | 0 | 0.0 |1356M| 91 | - | 714 |5991 | 0 | 0 | 0 | 204k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
535.02/535.27 c 497s| 1170k|726175 | 0 | 0.0 |1354M| 91 | - | 714 |3339 | 0 | 0 | 0 | 209k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
540.72/540.99 c 502s| 1180k|725957 | 0 | 0.0 |1354M| 91 | - | 714 |3390 | 0 | 0 | 0 | 214k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
546.42/546.69 c 507s| 1190k|725767 | 0 | 0.0 |1354M| 91 | - | 714 |3968 | 0 | 0 | 0 | 217k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
551.41/551.61 c 512s| 1200k|725746 | 0 | 0.0 |1354M| 91 | - | 714 |3632 | 0 | 0 | 0 | 218k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
556.01/556.28 c 516s| 1210k|725724 | 0 | 0.0 |1354M| 91 | - | 714 |3579 | 0 | 0 | 0 | 219k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
561.01/561.26 c 521s| 1220k|725703 | 0 | 0.0 |1355M| 91 | - | 714 |4843 | 0 | 0 | 0 | 222k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
566.32/566.53 c 526s| 1230k|725700 | 0 | 0.0 |1355M| 91 | - | 714 |4868 | 0 | 0 | 0 | 224k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
573.01/573.22 c 532s| 1240k|725667 | 0 | 0.0 |1355M| 91 | - | 714 |5117 | 0 | 0 | 0 | 229k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
581.10/581.37 c 540s| 1250k|725668 | 0 | 0.0 |1356M| 91 | - | 714 |7384 | 0 | 0 | 0 | 234k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
590.41/590.68 c 549s| 1260k|725669 | 0 | 0.0 |1357M| 91 | - | 714 |8188 | 0 | 0 | 0 | 240k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
601.00/601.26 c 559s| 1270k|725667 | 0 | 0.0 |1357M| 91 | - | 714 |9012 | 0 | 0 | 0 | 245k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
613.61/613.88 c 571s| 1280k|725669 | 0 | 0.0 |1359M| 91 | - | 714 | 11k| 0 | 0 | 0 | 251k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
627.70/627.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.70/627.92 c 585s| 1290k|725669 | 0 | 0.0 |1359M| 91 | - | 714 | 11k| 0 | 0 | 0 | 257k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
640.19/640.45 c 597s| 1300k|725668 | 0 | 0.0 |1358M| 91 | - | 714 |9076 | 0 | 0 | 0 | 262k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
653.49/653.77 c 610s| 1310k|725668 | 0 | 0.0 |1358M| 91 | - | 714 | 10k| 0 | 0 | 0 | 268k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
668.98/669.29 c 625s| 1320k|725669 | 0 | 0.0 |1359M| 91 | - | 714 | 11k| 0 | 0 | 0 | 273k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
684.98/685.20 c 640s| 1330k|725669 | 0 | 0.0 |1360M| 91 | - | 714 | 13k| 0 | 0 | 0 | 279k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
703.57/703.88 c 658s| 1340k|725668 | 0 | 0.0 |1362M| 91 | - | 714 | 15k| 0 | 0 | 0 | 284k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
715.38/715.67 c 670s| 1350k|725620 | 0 | 0.0 |1356M| 91 | - | 714 |6131 | 0 | 0 | 0 | 290k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
721.67/721.98 c 676s| 1360k|725538 | 0 | 0.0 |1356M| 91 | - | 714 |5460 | 0 | 0 | 0 | 295k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
728.66/728.98 c 682s| 1370k|725457 | 0 | 0.0 |1355M| 91 | - | 714 |4478 | 0 | 0 | 0 | 301k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
735.26/735.50 c 688s| 1380k|725368 | 0 | 0.0 |1355M| 91 | - | 714 |4910 | 0 | 0 | 0 | 306k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
742.56/742.82 c 695s| 1390k|725365 | 0 | 0.0 |1356M| 91 | - | 714 |6331 | 0 | 0 | 0 | 312k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
749.86/750.19 c 702s| 1400k|725295 | 0 | 0.0 |1356M| 91 | - | 714 |5480 | 0 | 0 | 0 | 316k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
756.56/756.87 c 709s| 1410k|725229 | 0 | 0.0 |1356M| 91 | - | 714 |5851 | 0 | 0 | 0 | 321k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
764.16/764.42 c 716s| 1420k|725193 | 0 | 0.0 |1356M| 91 | - | 714 |6269 | 0 | 0 | 0 | 327k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
770.75/771.06 c 722s| 1430k|725137 | 0 | 0.0 |1355M| 91 | - | 714 |4213 | 0 | 0 | 0 | 333k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
776.35/776.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.35/776.64 c 727s| 1440k|725107 | 0 | 0.0 |1356M| 91 | - | 714 |5391 | 0 | 0 | 0 | 339k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
784.44/784.76 c 735s| 1450k|725105 | 0 | 0.0 |1357M| 91 | - | 714 |7782 | 0 | 0 | 0 | 344k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
792.53/792.89 c 742s| 1460k|725093 | 0 | 0.0 |1356M| 91 | - | 714 |5463 | 0 | 0 | 0 | 350k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
800.04/800.30 c 749s| 1470k|725068 | 0 | 0.0 |1356M| 91 | - | 714 |5226 | 0 | 0 | 0 | 355k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
806.24/806.59 c 755s| 1480k|725023 | 0 | 0.0 |1356M| 91 | - | 714 |5638 | 0 | 0 | 0 | 360k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
812.54/812.89 c 761s| 1490k|725016 | 0 | 0.0 |1356M| 91 | - | 714 |5252 | 0 | 0 | 0 | 366k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
819.83/820.16 c 768s| 1500k|725013 | 0 | 0.0 |1358M| 91 | - | 714 |7976 | 0 | 0 | 0 | 372k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
828.04/828.36 c 776s| 1510k|725000 | 0 | 0.0 |1357M| 91 | - | 714 |6766 | 0 | 0 | 0 | 377k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
835.82/836.13 c 783s| 1520k|724985 | 0 | 0.0 |1357M| 91 | - | 714 |6951 | 0 | 0 | 0 | 383k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
844.12/844.50 c 791s| 1530k|724980 | 0 | 0.0 |1358M| 91 | - | 714 |8828 | 0 | 0 | 0 | 388k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
852.92/853.29 c 800s| 1540k|724934 | 0 | 0.0 |1355M| 91 | - | 714 |4421 | 0 | 0 | 0 | 393k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
858.42/858.73 c 805s| 1550k|724741 | 0 | 0.0 |1355M| 91 | - | 714 |3407 | 0 | 0 | 0 | 396k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
863.02/863.32 c 809s| 1560k|724633 | 0 | 0.0 |1355M| 91 | - | 714 |4228 | 0 | 0 | 0 | 400k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
869.02/869.30 c 815s| 1570k|724546 | 0 | 0.0 |1355M| 91 | - | 714 |5349 | 0 | 0 | 0 | 405k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
875.42/875.78 c 821s| 1580k|724403 | 0 | 0.0 |1354M| 91 | - | 714 |3840 | 0 | 0 | 0 | 410k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
881.21/881.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.21/881.55 c 826s| 1590k|724115 | 0 | 0.0 |1354M| 91 | - | 714 |4512 | 0 | 0 | 0 | 414k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
888.11/888.40 c 833s| 1600k|724099 | 0 | 0.0 |1354M| 91 | - | 714 |4911 | 0 | 0 | 0 | 418k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
894.01/894.32 c 838s| 1610k|724082 | 0 | 0.0 |1354M| 91 | - | 714 |5045 | 0 | 0 | 0 | 420k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
899.70/900.04 c 844s| 1620k|724069 | 0 | 0.0 |1354M| 91 | - | 714 |5356 | 0 | 0 | 0 | 421k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
904.92/905.29 c 849s| 1630k|724061 | 0 | 0.0 |1354M| 91 | - | 714 |4300 | 0 | 0 | 0 | 423k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
909.80/910.15 c 853s| 1640k|724054 | 0 | 0.0 |1354M| 91 | - | 714 |4093 | 0 | 0 | 0 | 424k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
914.20/914.54 c 857s| 1650k|724050 | 0 | 0.0 |1353M| 91 | - | 714 |3829 | 0 | 0 | 0 | 425k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
918.81/919.17 c 862s| 1660k|724042 | 0 | 0.0 |1353M| 91 | - | 714 |3987 | 0 | 0 | 0 | 426k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
923.90/924.20 c 867s| 1670k|724027 | 0 | 0.0 |1353M| 91 | - | 714 |3918 | 0 | 0 | 0 | 428k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
928.60/928.95 c 871s| 1680k|724022 | 0 | 0.0 |1354M| 91 | - | 714 |4148 | 0 | 0 | 0 | 429k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
933.30/933.61 c 875s| 1690k|724018 | 0 | 0.0 |1354M| 91 | - | 714 |4278 | 0 | 0 | 0 | 431k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
938.60/938.93 c 880s| 1700k|724008 | 0 | 0.0 |1354M| 91 | - | 714 |4468 | 0 | 0 | 0 | 432k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
943.80/944.18 c 885s| 1710k|723999 | 0 | 0.0 |1354M| 91 | - | 714 |4560 | 0 | 0 | 0 | 433k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
949.01/949.35 c 890s| 1720k|723990 | 0 | 0.0 |1354M| 91 | - | 714 |4481 | 0 | 0 | 0 | 435k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
954.59/954.98 c 896s| 1730k|723986 | 0 | 0.0 |1354M| 91 | - | 714 |4508 | 0 | 0 | 0 | 436k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
959.60/959.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.60/959.93 c 900s| 1740k|723977 | 0 | 0.0 |1354M| 91 | - | 714 |4444 | 0 | 0 | 0 | 437k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
964.29/964.66 c 905s| 1750k|723972 | 0 | 0.0 |1354M| 91 | - | 714 |4316 | 0 | 0 | 0 | 439k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
968.59/968.99 c 909s| 1760k|723965 | 0 | 0.0 |1354M| 91 | - | 714 |4701 | 0 | 0 | 0 | 440k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
974.58/974.91 c 915s| 1770k|723948 | 0 | 0.0 |1354M| 91 | - | 714 |5032 | 0 | 0 | 0 | 443k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
980.38/980.77 c 920s| 1780k|723943 | 0 | 0.0 |1354M| 91 | - | 714 |5335 | 0 | 0 | 0 | 445k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
986.78/987.17 c 926s| 1790k|723929 | 0 | 0.0 |1355M| 91 | - | 714 |6116 | 0 | 0 | 0 | 447k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
994.38/994.70 c 933s| 1800k|723916 | 0 | 0.0 |1355M| 91 | - | 714 |5963 | 0 | 0 | 0 | 450k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1002.18/1002.55 c 941s| 1810k|723879 | 0 | 0.0 |1355M| 91 | - | 714 |6946 | 0 | 0 | 0 | 454k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1011.37/1011.77 c 950s| 1820k|723879 | 0 | 0.0 |1356M| 91 | - | 714 |8406 | 0 | 0 | 0 | 460k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1021.77/1022.14 c 960s| 1830k|723876 | 0 | 0.0 |1357M| 91 | - | 714 | 10k| 0 | 0 | 0 | 465k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1032.47/1032.88 c 970s| 1840k|723876 | 0 | 0.0 |1358M| 91 | - | 714 | 11k| 0 | 0 | 0 | 471k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1043.96/1044.34 c 981s| 1850k|723838 | 0 | 0.0 |1357M| 91 | - | 714 |9990 | 0 | 0 | 0 | 476k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1053.66/1054.07 c 990s| 1860k|723761 | 0 | 0.0 |1355M| 91 | - | 714 |6435 | 0 | 0 | 0 | 481k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1059.97/1060.31 c 996s| 1870k|723687 | 0 | 0.0 |1354M| 91 | - | 714 |4357 | 0 | 0 | 0 | 486k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1066.36/1066.74 c 1002s| 1880k|723663 | 0 | 0.0 |1355M| 91 | - | 714 |6040 | 0 | 0 | 0 | 492k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1073.46/1073.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.46/1073.87 c 1009s| 1890k|723606 | 0 | 0.0 |1354M| 91 | - | 714 |5292 | 0 | 0 | 0 | 497k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1080.05/1080.45 c 1015s| 1900k|723516 | 0 | 0.0 |1355M| 91 | - | 714 |6157 | 0 | 0 | 0 | 502k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1087.46/1087.86 c 1022s| 1910k|723516 | 0 | 0.0 |1357M| 91 | - | 714 |9163 | 0 | 0 | 0 | 508k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1094.85/1095.23 c 1029s| 1920k|723407 | 0 | 0.0 |1354M| 91 | - | 714 |4277 | 0 | 0 | 0 | 514k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1101.65/1102.02 c 1035s| 1930k|723407 | 0 | 0.0 |1355M| 91 | - | 714 |6074 | 0 | 0 | 0 | 519k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1109.94/1110.30 c 1043s| 1940k|723406 | 0 | 0.0 |1356M| 91 | - | 714 |7311 | 0 | 0 | 0 | 525k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1119.25/1119.67 c 1052s| 1950k|723387 | 0 | 0.0 |1355M| 91 | - | 714 |6220 | 0 | 0 | 0 | 532k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1127.54/1127.98 c 1060s| 1960k|723385 | 0 | 0.0 |1357M| 91 | - | 714 |9086 | 0 | 0 | 0 | 538k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1137.54/1137.99 c 1070s| 1970k|723372 | 0 | 0.0 |1356M| 91 | - | 714 |7920 | 0 | 0 | 0 | 544k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1146.23/1146.65 c 1078s| 1980k|723350 | 0 | 0.0 |1357M| 91 | - | 714 |9205 | 0 | 0 | 0 | 550k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1154.13/1154.54 c 1085s| 1990k|723315 | 0 | 0.0 |1354M| 91 | - | 714 |4831 | 0 | 0 | 0 | 554k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1160.24/1160.66 c 1091s| 2000k|723280 | 0 | 0.0 |1355M| 91 | - | 714 |6592 | 0 | 0 | 0 | 559k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1167.93/1168.39 c 1099s| 2010k|723275 | 0 | 0.0 |1357M| 91 | - | 714 |8640 | 0 | 0 | 0 | 565k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1177.53/1177.94 c 1108s| 2020k|723265 | 0 | 0.0 |1357M| 91 | - | 714 |9250 | 0 | 0 | 0 | 571k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1183.82/1184.21 c 1114s| 2030k|723219 | 0 | 0.0 |1355M| 91 | - | 714 |6055 | 0 | 0 | 0 | 575k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1190.63/1191.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1190.63/1191.03 c 1120s| 2040k|723166 | 0 | 0.0 |1355M| 91 | - | 714 |5345 | 0 | 0 | 0 | 580k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1197.62/1198.06 c 1127s| 2050k|723150 | 0 | 0.0 |1356M| 91 | - | 714 |7198 | 0 | 0 | 0 | 585k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1205.32/1205.71 c 1134s| 2060k|723120 | 0 | 0.0 |1356M| 91 | - | 714 |6895 | 0 | 0 | 0 | 591k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1213.41/1213.89 c 1142s| 2070k|723081 | 0 | 0.0 |1356M| 91 | - | 714 |7489 | 0 | 0 | 0 | 596k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1222.22/1222.60 c 1150s| 2080k|723079 | 0 | 0.0 |1356M| 91 | - | 714 |7332 | 0 | 0 | 0 | 599k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1229.72/1230.10 c 1157s| 2090k|723076 | 0 | 0.0 |1356M| 91 | - | 714 |7157 | 0 | 0 | 0 | 603k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1238.30/1238.73 c 1165s| 2100k|723066 | 0 | 0.0 |1356M| 91 | - | 714 |6739 | 0 | 0 | 0 | 609k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1247.01/1247.48 c 1174s| 2110k|723063 | 0 | 0.0 |1357M| 91 | - | 714 |8340 | 0 | 0 | 0 | 615k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1256.00/1256.40 c 1182s| 2120k|723057 | 0 | 0.0 |1356M| 91 | - | 714 |7473 | 0 | 0 | 0 | 621k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1265.00/1265.40 c 1191s| 2130k|723044 | 0 | 0.0 |1356M| 91 | - | 714 |7035 | 0 | 0 | 0 | 626k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1271.11/1271.59 c 1197s| 2140k|723030 | 0 | 0.0 |1355M| 91 | - | 714 |6208 | 0 | 0 | 0 | 628k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1277.60/1278.02 c 1203s| 2150k|723027 | 0 | 0.0 |1356M| 91 | - | 714 |6861 | 0 | 0 | 0 | 631k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1283.99/1284.40 c 1209s| 2160k|722995 | 0 | 0.0 |1355M| 91 | - | 714 |5067 | 0 | 0 | 0 | 635k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1291.19/1291.66 c 1216s| 2170k|722991 | 0 | 0.0 |1356M| 91 | - | 714 |7502 | 0 | 0 | 0 | 640k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1297.50/1297.92 c 1222s| 2180k|722976 | 0 | 0.0 |1355M| 91 | - | 714 |5240 | 0 | 0 | 0 | 644k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1305.10/1305.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.10/1305.56 c 1229s| 2190k|722978 | 0 | 0.0 |1357M| 91 | - | 714 |8638 | 0 | 0 | 0 | 649k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1315.29/1315.76 c 1239s| 2200k|722972 | 0 | 0.0 |1357M| 91 | - | 714 |9137 | 0 | 0 | 0 | 655k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1324.39/1324.88 c 1248s| 2210k|722967 | 0 | 0.0 |1358M| 91 | - | 714 |9509 | 0 | 0 | 0 | 661k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1333.69/1334.13 c 1257s| 2220k|722969 | 0 | 0.0 |1358M| 91 | - | 714 | 10k| 0 | 0 | 0 | 664k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1345.28/1345.79 c 1268s| 2230k|722966 | 0 | 0.0 |1359M| 91 | - | 714 | 10k| 0 | 0 | 0 | 670k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1359.18/1359.63 c 1281s| 2240k|722962 | 0 | 0.0 |1360M| 91 | - | 714 | 13k| 0 | 0 | 0 | 676k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1375.87/1376.35 c 1298s| 2250k|722965 | 0 | 0.0 |1361M| 91 | - | 714 | 15k| 0 | 0 | 0 | 682k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1394.16/1394.63 c 1315s| 2260k|722964 | 0 | 0.0 |1361M| 91 | - | 714 | 14k| 0 | 0 | 0 | 689k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1412.46/1412.96 c 1333s| 2270k|722964 | 0 | 0.0 |1363M| 91 | - | 714 | 17k| 0 | 0 | 0 | 695k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1428.95/1429.40 c 1349s| 2280k|722955 | 0 | 0.0 |1359M| 91 | - | 714 | 11k| 0 | 0 | 0 | 701k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1440.95/1441.43 c 1361s| 2290k|722948 | 0 | 0.0 |1358M| 91 | - | 714 |9474 | 0 | 0 | 0 | 707k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1451.65/1452.10 c 1371s| 2300k|722943 | 0 | 0.0 |1358M| 91 | - | 714 |9748 | 0 | 0 | 0 | 712k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1462.84/1463.35 c 1382s| 2310k|722932 | 0 | 0.0 |1358M| 91 | - | 714 |8705 | 0 | 0 | 0 | 718k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1470.54/1471.03 c 1389s| 2320k|722914 | 0 | 0.0 |1355M| 91 | - | 714 |4614 | 0 | 0 | 0 | 723k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1475.24/1475.70 c 1394s| 2330k|722915 | 0 | 0.0 |1356M| 91 | - | 714 |5660 | 0 | 0 | 0 | 726k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1479.84/1480.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1479.84/1480.39 c 1398s| 2340k|722908 | 0 | 0.0 |1356M| 91 | - | 714 |5293 | 0 | 0 | 0 | 730k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1485.84/1486.32 c 1404s| 2350k|722875 | 0 | 0.0 |1355M| 91 | - | 714 |4311 | 0 | 0 | 0 | 734k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1491.15/1491.62 c 1409s| 2360k|722807 | 0 | 0.0 |1355M| 91 | - | 714 |4709 | 0 | 0 | 0 | 737k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1497.53/1498.09 c 1415s| 2370k|722742 | 0 | 0.0 |1355M| 91 | - | 714 |4309 | 0 | 0 | 0 | 740k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1505.34/1505.81 c 1422s| 2380k|722743 | 0 | 0.0 |1357M| 91 | - | 714 |7112 | 0 | 0 | 0 | 746k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1511.73/1512.27 c 1428s| 2390k|722659 | 0 | 0.0 |1354M| 91 | - | 714 |3791 | 0 | 0 | 0 | 750k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1517.44/1517.91 c 1434s| 2400k|722570 | 0 | 0.0 |1355M| 91 | - | 714 |4298 | 0 | 0 | 0 | 754k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1523.83/1524.32 c 1440s| 2410k|722557 | 0 | 0.0 |1356M| 91 | - | 714 |5944 | 0 | 0 | 0 | 759k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1531.43/1531.97 c 1447s| 2420k|722530 | 0 | 0.0 |1355M| 91 | - | 714 |4695 | 0 | 0 | 0 | 762k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1536.32/1536.81 c 1451s| 2430k|722436 | 0 | 0.0 |1354M| 91 | - | 714 |3918 | 0 | 0 | 0 | 764k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1542.02/1542.54 c 1457s| 2440k|722370 | 0 | 0.0 |1355M| 91 | - | 714 |5438 | 0 | 0 | 0 | 768k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1548.23/1548.71 c 1463s| 2450k|722266 | 0 | 0.0 |1354M| 91 | - | 714 |4669 | 0 | 0 | 0 | 773k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1553.72/1554.26 c 1468s| 2460k|722169 | 0 | 0.0 |1355M| 91 | - | 714 |5525 | 0 | 0 | 0 | 777k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1560.81/1561.32 c 1475s| 2470k|722075 | 0 | 0.0 |1354M| 91 | - | 714 |5256 | 0 | 0 | 0 | 781k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1566.92/1567.40 c 1480s| 2480k|721979 | 0 | 0.0 |1354M| 91 | - | 714 |5180 | 0 | 0 | 0 | 786k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1573.02/1573.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.02/1573.51 c 1486s| 2490k|721888 | 0 | 0.0 |1354M| 91 | - | 714 |5480 | 0 | 0 | 0 | 792k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1578.52/1579.10 c 1491s| 2500k|721756 | 0 | 0.0 |1353M| 91 | - | 714 |4188 | 0 | 0 | 0 | 796k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1584.21/1584.76 c 1497s| 2510k|721597 | 0 | 0.0 |1353M| 91 | - | 714 |4957 | 0 | 0 | 0 | 799k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1590.61/1591.18 c 1503s| 2520k|721591 | 0 | 0.0 |1353M| 91 | - | 714 |5334 | 0 | 0 | 0 | 803k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1596.50/1597.02 c 1508s| 2530k|721578 | 0 | 0.0 |1353M| 91 | - | 714 |5164 | 0 | 0 | 0 | 806k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1602.21/1602.78 c 1514s| 2540k|721571 | 0 | 0.0 |1353M| 91 | - | 714 |4828 | 0 | 0 | 0 | 808k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1608.00/1608.54 c 1519s| 2550k|721559 | 0 | 0.0 |1353M| 91 | - | 714 |5496 | 0 | 0 | 0 | 811k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1615.10/1615.64 c 1526s| 2560k|721559 | 0 | 0.0 |1354M| 91 | - | 714 |5801 | 0 | 0 | 0 | 815k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1621.10/1621.70 c 1532s| 2570k|721555 | 0 | 0.0 |1354M| 91 | - | 714 |6077 | 0 | 0 | 0 | 817k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1627.60/1628.16 c 1538s| 2580k|721543 | 0 | 0.0 |1354M| 91 | - | 714 |5888 | 0 | 0 | 0 | 819k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1634.00/1634.53 c 1544s| 2590k|721537 | 0 | 0.0 |1354M| 91 | - | 714 |5926 | 0 | 0 | 0 | 821k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1639.39/1639.95 c 1549s| 2600k|721531 | 0 | 0.0 |1353M| 91 | - | 714 |5595 | 0 | 0 | 0 | 823k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1645.00/1645.57 c 1554s| 2610k|721526 | 0 | 0.0 |1353M| 91 | - | 714 |5616 | 0 | 0 | 0 | 824k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1650.90/1651.44 c 1560s| 2620k|721525 | 0 | 0.0 |1354M| 91 | - | 714 |6366 | 0 | 0 | 0 | 827k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1656.99/1657.55 c 1566s| 2630k|721519 | 0 | 0.0 |1354M| 91 | - | 714 |6660 | 0 | 0 | 0 | 829k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1663.49/1664.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.49/1664.07 c 1572s| 2640k|721517 | 0 | 0.0 |1354M| 91 | - | 714 |6897 | 0 | 0 | 0 | 831k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1670.29/1670.84 c 1579s| 2650k|721515 | 0 | 0.0 |1354M| 91 | - | 714 |7239 | 0 | 0 | 0 | 833k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1676.99/1677.59 c 1585s| 2660k|721515 | 0 | 0.0 |1355M| 91 | - | 714 |7748 | 0 | 0 | 0 | 835k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1684.88/1685.47 c 1593s| 2670k|721499 | 0 | 0.0 |1354M| 91 | - | 714 |7271 | 0 | 0 | 0 | 839k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1692.88/1693.49 c 1600s| 2680k|721497 | 0 | 0.0 |1354M| 91 | - | 714 |6814 | 0 | 0 | 0 | 842k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1700.09/1700.62 c 1607s| 2690k|721480 | 0 | 0.0 |1354M| 91 | - | 714 |6975 | 0 | 0 | 0 | 844k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1706.98/1707.60 c 1614s| 2700k|721480 | 0 | 0.0 |1354M| 91 | - | 714 |7248 | 0 | 0 | 0 | 845k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1714.07/1714.69 c 1621s| 2710k|721470 | 0 | 0.0 |1354M| 91 | - | 714 |7199 | 0 | 0 | 0 | 848k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1721.37/1721.97 c 1628s| 2720k|721464 | 0 | 0.0 |1354M| 91 | - | 714 |7123 | 0 | 0 | 0 | 849k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1730.27/1730.81 c 1636s| 2730k|721462 | 0 | 0.0 |1355M| 91 | - | 714 |7572 | 0 | 0 | 0 | 852k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1738.07/1738.69 c 1644s| 2740k|721463 | 0 | 0.0 |1355M| 91 | - | 714 |7711 | 0 | 0 | 0 | 853k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1745.77/1746.34 c 1651s| 2750k|721462 | 0 | 0.0 |1355M| 91 | - | 714 |7984 | 0 | 0 | 0 | 855k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1754.97/1755.51 c 1660s| 2760k|721456 | 0 | 0.0 |1355M| 91 | - | 714 |8222 | 0 | 0 | 0 | 858k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1763.86/1764.43 c 1669s| 2770k|721454 | 0 | 0.0 |1355M| 91 | - | 714 |7505 | 0 | 0 | 0 | 860k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1771.25/1771.83 c 1676s| 2780k|721447 | 0 | 0.0 |1354M| 91 | - | 714 |7279 | 0 | 0 | 0 | 862k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1779.05/1779.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.05/1779.61 c 1683s| 2790k|721449 | 0 | 0.0 |1355M| 91 | - | 714 |7668 | 0 | 0 | 0 | 864k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1787.55/1788.12 c 1691s| 2800k|721447 | 0 | 0.0 |1355M| 91 | - | 714 |7574 | 0 | 0 | 0 | 866k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1795.54/1796.11 c 1699s| 2810k|721447 | 0 | 0.0 |1355M| 91 | - | 714 |7854 | 0 | 0 | 0 | 868k| 0 |-4.300000e+01 |-1.000000e+01 | 76.74%
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1703.33
1800.06/1800.61 c Solving Nodes : 2815964
1800.06/1800.61 c Primal Bound : -1.00000000000000e+01 (9 solutions)
1800.06/1800.61 c Dual Bound : -4.30000000000000e+01
1800.06/1800.61 c Gap : 76.74 %
1800.06/1800.61 s SATISFIABLE
1800.06/1800.61 v x85 -x63 -x78 -x89 -x97 -x60 -x87 -x72 -x56 x82 -x99 -x94 -x93 x91 -x61 -x57 -x81 -x71 -x83 -x73 x98 -x90 -x74 -x70 -x66 -x62 -x80
1800.06/1800.61 v -x69 -x68 -x100 -x92 -x53 -x54 -x65 -x55 x51 -x96 -x67 x59 -x58 -x95 -x86 -x79 x76 x88 x64 -x77 x75 -x84 -x52 -x50 -x49 -x48
1800.06/1800.61 v -x47 -x46 -x45 x44 x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23
1800.06/1800.61 v x22 -x21 x20 x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time : 1703.33
1800.06/1800.61 c Original Problem :
1800.06/1800.61 c Problem name : HOME/instance-2663904-1276674533.opb
1800.06/1800.61 c Variables : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 765 initial, 765 maximal
1800.06/1800.61 c Presolved Problem :
1800.06/1800.61 c Problem name : t_HOME/instance-2663904-1276674533.opb
1800.06/1800.61 c Variables : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 765 initial, 19281 maximal
1800.06/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.06/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c and : 0.09 0 0 0 0 0 0 0 0
1800.06/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c root node : - 0 - - 0 - - - -
1800.06/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.61 c setppc : 100 0 9074109 0 1833581 19038 2657120 0 0 0
1800.06/1800.61 c and : 614 0 9062885 0 1834851 1271 21149182 0 0 0
1800.06/1800.61 c linear : 1 0 9061531 0 1834870 190260 13391612 0 0 0
1800.06/1800.61 c logicor : 50+ 0 2500971 0 1681419 72538 1504933 0 0 0
1800.06/1800.61 c countsols : 0 0 0 0 1834876 0 0 0 0 0
1800.06/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.61 c setppc : 41.72 0.00 14.36 0.00 27.36
1800.06/1800.61 c and : 71.93 0.00 68.33 0.00 3.60
1800.06/1800.61 c linear : 169.72 0.00 168.09 0.00 1.63
1800.06/1800.61 c logicor : 406.16 0.00 402.39 0.00 3.77
1800.06/1800.61 c countsols : 0.89 0.00 0.00 0.00 0.89
1800.06/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.61 c vbounds : 4.65 2 0 0
1800.06/1800.61 c rootredcost : 4.23 0 0 0
1800.06/1800.61 c pseudoobj : 311.15 9910627 828756 999108
1800.06/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.61 c propagation : 294.94 1111863 775709 6120701 67.8 206 11.5 -
1800.06/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.61 c applied globally : - - - 839818 55.0 - - -
1800.06/1800.61 c applied locally : - - - 29947 77.1 - - -
1800.06/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.61 c redcost : 0.00 0 0 0 0 0
1800.06/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.61 c intobj : 0.00 0 0 0 0 0
1800.06/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.61 c gomory : 0.00 0 0 0 0 0
1800.06/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.61 c cmir : 0.00 0 0 0 0 0
1800.06/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.61 c clique : 0.00 0 0 0 0 0
1800.06/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.61 c mcf : 0.00 0 0 0 0 0
1800.06/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.61 c Pricers : Time Calls Vars
1800.06/1800.61 c problem variables: 0.00 0 0
1800.06/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c inference : 54.28 1834870 0 0 0 0 3669740
1800.06/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c random : 0.00 0 0 0 0 0 0
1800.06/1800.61 c Primal Heuristics : Time Calls Found
1800.06/1800.61 c LP solutions : 0.00 - 0
1800.06/1800.61 c pseudo solutions : 0.03 - 6
1800.06/1800.61 c oneopt : 2.27 0 0
1800.06/1800.61 c trivial : 0.01 2 3
1800.06/1800.61 c simplerounding : 0.00 0 0
1800.06/1800.61 c zirounding : 0.00 0 0
1800.06/1800.61 c rounding : 0.00 0 0
1800.06/1800.61 c shifting : 0.00 0 0
1800.06/1800.61 c intshifting : 0.00 0 0
1800.06/1800.61 c twoopt : 0.00 0 0
1800.06/1800.61 c fixandinfer : 0.00 0 0
1800.06/1800.61 c feaspump : 0.00 0 0
1800.06/1800.61 c coefdiving : 0.00 0 0
1800.06/1800.61 c pscostdiving : 0.00 0 0
1800.06/1800.61 c fracdiving : 0.00 0 0
1800.06/1800.61 c veclendiving : 0.00 0 0
1800.06/1800.61 c intdiving : 0.00 0 0
1800.06/1800.61 c actconsdiving : 0.00 0 0
1800.06/1800.61 c objpscostdiving : 0.00 0 0
1800.06/1800.61 c rootsoldiving : 0.00 0 0
1800.06/1800.61 c linesearchdiving : 0.00 0 0
1800.06/1800.61 c guideddiving : 0.00 0 0
1800.06/1800.61 c octane : 0.00 0 0
1800.06/1800.61 c rens : 0.00 0 0
1800.06/1800.61 c rins : 0.00 0 0
1800.06/1800.61 c localbranching : 0.00 0 0
1800.06/1800.61 c mutation : 0.00 0 0
1800.06/1800.61 c crossover : 0.00 0 0
1800.06/1800.61 c dins : 0.00 0 0
1800.06/1800.61 c undercover : 0.00 0 0
1800.06/1800.61 c nlp : 1.27 0 0
1800.06/1800.61 c trysol : 1.51 0 0
1800.06/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.61 c (at root node) : - 0 0 0.00 -
1800.06/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.61 c B&B Tree :
1800.06/1800.61 c number of runs : 1
1800.06/1800.61 c nodes : 2815964
1800.06/1800.61 c nodes (total) : 2815964
1800.06/1800.61 c nodes left : 721444
1800.06/1800.61 c max depth : 91
1800.06/1800.61 c max depth (total): 91
1800.06/1800.61 c backtracks : 225862 (8.0%)
1800.06/1800.61 c delayed cutoffs : 132319
1800.06/1800.61 c repropagations : 3218075 (3492359 domain reductions, 130775 cutoffs)
1800.06/1800.61 c avg switch length: 5.32
1800.06/1800.61 c switching time : 397.37
1800.06/1800.61 c Solution :
1800.06/1800.61 c Solutions found : 9 (7 improvements)
1800.06/1800.61 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.06/1800.61 c Primal Bound : -1.00000000000000e+01 (in run 1, after 1138755 nodes, 479.70 seconds, depth 65, found by <relaxation>)
1800.06/1800.61 c Dual Bound : -4.30000000000000e+01
1800.06/1800.61 c Gap : 76.74 %
1800.06/1800.61 c Root Dual Bound : -5.00000000000000e+01
1800.06/1800.61 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663904-1276674533/watcher-2663904-1276674533 -o /tmp/evaluation-result-2663904-1276674533/solver-2663904-1276674533 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663904-1276674533.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.15 1.14 1.04 3/106 15283
/proc/meminfo: memFree=1580664/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=6584 CPUtime=0
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 1010 0 0 0 0 0 0 0 17 0 1 0 8746166 6742016 932 1992294400 4194304 7136930 140734202758032 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15283/statm: 1646 941 254 719 0 925 0
[startup+0.063309 s]
/proc/loadavg: 1.15 1.14 1.04 3/106 15283
/proc/meminfo: memFree=1580664/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=12160 CPUtime=0.05
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 2936 0 0 0 4 1 0 0 17 0 1 0 8746166 12451840 2247 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 3040 2247 333 719 0 2319 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12160
[startup+0.101312 s]
/proc/loadavg: 1.15 1.14 1.04 3/106 15283
/proc/meminfo: memFree=1580664/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=12160 CPUtime=0.09
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 2936 0 0 0 6 3 0 0 17 0 1 0 8746166 12451840 2247 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 3040 2247 333 719 0 2319 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12160
[startup+0.301332 s]
/proc/loadavg: 1.15 1.14 1.04 3/106 15283
/proc/meminfo: memFree=1580664/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=14540 CPUtime=0.29
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 4888 0 0 0 21 8 0 0 17 0 1 0 8746166 14888960 2914 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 3635 2914 393 719 0 2914 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14540
[startup+0.70137 s]
/proc/loadavg: 1.15 1.14 1.04 3/106 15283
/proc/meminfo: memFree=1580664/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=16364 CPUtime=0.69
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 5345 0 0 0 57 12 0 0 17 0 1 0 8746166 16756736 3371 1992294400 4194304 7136930 140734202758032 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 4091 3371 393 719 0 3370 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16364
[startup+1.50145 s]
/proc/loadavg: 1.15 1.14 1.04 2/107 15284
/proc/meminfo: memFree=1566892/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=20164 CPUtime=1.49
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 6268 0 0 0 129 20 0 0 18 0 1 0 8746166 20647936 4294 1992294400 4194304 7136930 140734202758032 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 5041 4294 393 719 0 4320 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20164
[startup+3.1016 s]
/proc/loadavg: 1.14 1.14 1.04 2/107 15284
/proc/meminfo: memFree=1560568/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=31040 CPUtime=3.09
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 8832 0 0 0 278 31 0 0 21 0 1 0 8746166 31784960 6858 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 7760 6858 393 719 0 7039 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31040
[startup+6.30092 s]
/proc/loadavg: 1.14 1.14 1.04 2/107 15286
/proc/meminfo: memFree=1539364/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=49320 CPUtime=6.29
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 13194 0 0 0 574 55 0 0 25 0 1 0 8746166 50503680 11220 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 12330 11220 393 719 0 11609 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49320
[startup+12.7015 s]
/proc/loadavg: 1.12 1.13 1.04 2/107 15286
/proc/meminfo: memFree=1502412/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=88680 CPUtime=12.69
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 22571 0 0 0 1160 109 0 0 25 0 1 0 8746166 90808320 20597 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 22170 20597 393 719 0 21449 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88680
[startup+25.5008 s]
/proc/loadavg: 1.10 1.13 1.04 2/107 15286
/proc/meminfo: memFree=1444380/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=145876 CPUtime=25.49
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 36319 0 0 0 2343 206 0 0 25 0 1 0 8746166 149377024 34345 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 36469 34345 393 719 0 35748 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 145876
[startup+51.1013 s]
/proc/loadavg: 1.06 1.11 1.03 2/107 15286
/proc/meminfo: memFree=1324596/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=273784 CPUtime=51.08
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 66293 0 0 0 4701 407 0 0 25 0 1 0 8746166 280354816 64319 1992294400 4194304 7136930 140734202758032 18446744073709551615 5918837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 68446 64319 393 719 0 67725 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 273784
[startup+102.308 s]
/proc/loadavg: 1.02 1.09 1.03 2/107 15288
/proc/meminfo: memFree=1101892/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=504640 CPUtime=102.27
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 121909 0 0 0 9417 810 0 0 25 0 1 0 8746166 516751360 119935 1992294400 4194304 7136930 140734202758032 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 126160 119935 393 719 0 125439 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 504640
[startup+162.301 s]
/proc/loadavg: 1.01 1.08 1.02 2/107 15290
/proc/meminfo: memFree=966732/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=644188 CPUtime=162.24
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 155868 0 0 0 15039 1185 0 0 25 0 1 0 8746166 659648512 153894 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 161047 153894 393 719 0 160326 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 644188
[startup+222.301 s]
/proc/loadavg: 1.00 1.06 1.02 2/107 15290
/proc/meminfo: memFree=713276/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=894356 CPUtime=222.22
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 218957 0 0 0 20554 1668 0 0 25 0 1 0 8746166 915820544 216983 1992294400 4194304 7136930 140734202758032 18446744073709551615 4677840 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 223589 216983 393 719 0 222868 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 894356
[startup+282.301 s]
/proc/loadavg: 1.00 1.05 1.01 2/107 15292
/proc/meminfo: memFree=589276/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1031216 CPUtime=282.2
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 249905 0 0 0 26199 2021 0 0 25 0 1 0 8746166 1055965184 247931 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 257804 247931 393 719 0 257083 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1031216
[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 15294
/proc/meminfo: memFree=476808/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1141180 CPUtime=342.18
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 277518 0 0 0 31838 2380 0 0 25 0 1 0 8746166 1168568320 275544 1992294400 4194304 7136930 140734202758032 18446744073709551615 5918770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 285295 275544 393 719 0 284574 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1141180
[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 15296
/proc/meminfo: memFree=262536/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1358408 CPUtime=402.17
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 333208 0 0 0 37368 2849 0 0 25 0 1 0 8746166 1391009792 331234 1992294400 4194304 7136930 140734202758032 18446744073709551615 4660042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 339602 331234 393 719 0 338881 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1358408
[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 15298
/proc/meminfo: memFree=116960/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1495276 CPUtime=462.14
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 370139 0 0 0 42895 3319 0 0 25 0 1 0 8746166 1531162624 365314 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 373819 365314 393 719 0 373098 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1495276
[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 15298
/proc/meminfo: memFree=112744/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1499468 CPUtime=522.13
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 371161 0 0 0 48447 3766 0 0 25 0 1 0 8746166 1535455232 366336 1992294400 4194304 7136930 140734202758032 18446744073709551615 5921487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 374867 366336 393 719 0 374146 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1499468
[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 15300
/proc/meminfo: memFree=110512/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1501472 CPUtime=582.11
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 371643 0 0 0 54076 4135 0 0 25 0 1 0 8746166 1537507328 366818 1992294400 4194304 7136930 140734202758032 18446744073709551615 4976377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 375368 366818 393 719 0 374647 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1501472
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15302
/proc/meminfo: memFree=107164/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1504956 CPUtime=642.1
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 372494 0 0 0 59855 4355 0 0 25 0 1 0 8746166 1541074944 367669 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 376239 367669 393 719 0 375518 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1504956
[startup+702.301 s]
################
# More data... #
################
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 374450 0 0 0 99792 6404 0 0 25 0 1 0 8746166 1549500416 369625 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 378296 369625 393 719 0 377575 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1513184
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15323
/proc/meminfo: memFree=97988/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1513796 CPUtime=1121.94
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 374595 0 0 0 105465 6729 0 0 25 0 1 0 8746166 1550127104 369770 1992294400 4194304 7136930 140734202758032 18446744073709551615 5918646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 378449 369770 393 719 0 377728 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1513796
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15325
/proc/meminfo: memFree=96500/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1515024 CPUtime=1181.93
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 374927 0 0 0 111185 7008 0 0 25 0 1 0 8746166 1551384576 370102 1992294400 4194304 7136930 140734202758032 18446744073709551615 4431668 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 378756 370102 393 719 0 378035 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1515024
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15327
/proc/meminfo: memFree=96252/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1515024 CPUtime=1241.9
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 374927 0 0 0 116887 7303 0 0 25 0 1 0 8746166 1551384576 370102 1992294400 4194304 7136930 140734202758032 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 378756 370102 393 719 0 378035 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1515024
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15329
/proc/meminfo: memFree=95880/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1515460 CPUtime=1301.9
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 375002 0 0 0 122603 7587 0 0 25 0 1 0 8746166 1551831040 370177 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 378865 370177 393 719 0 378144 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1515460
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15331
/proc/meminfo: memFree=95632/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1515736 CPUtime=1361.88
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 375086 0 0 0 128390 7798 0 0 25 0 1 0 8746166 1552113664 370261 1992294400 4194304 7136930 140734202758032 18446744073709551615 5000337 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 378934 370261 393 719 0 378213 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1515736
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15331
/proc/meminfo: memFree=94888/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1516516 CPUtime=1421.86
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 375266 0 0 0 134256 7930 0 0 25 0 1 0 8746166 1552912384 370441 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 379129 370441 393 719 0 378408 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1516516
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15333
/proc/meminfo: memFree=93648/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1517944 CPUtime=1481.84
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 375555 0 0 0 140003 8181 0 0 25 0 1 0 8746166 1554374656 370730 1992294400 4194304 7136930 140734202758032 18446744073709551615 4434038 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 379486 370730 393 719 0 378765 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1517944
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15335
/proc/meminfo: memFree=93648/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1517944 CPUtime=1541.82
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 375555 0 0 0 145660 8522 0 0 25 0 1 0 8746166 1554374656 370730 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 379486 370730 393 719 0 378765 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1517944
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15337
/proc/meminfo: memFree=93524/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1517944 CPUtime=1601.81
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 375555 0 0 0 151321 8860 0 0 25 0 1 0 8746166 1554374656 370730 1992294400 4194304 7136930 140734202758032 18446744073709551615 5922950 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 379486 370730 393 719 0 378765 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1517944
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15339
/proc/meminfo: memFree=93276/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1517944 CPUtime=1661.79
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 375566 0 0 0 157037 9142 0 0 25 0 1 0 8746166 1554374656 370741 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 379486 370741 393 719 0 378765 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1517944
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15339
/proc/meminfo: memFree=93152/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1517944 CPUtime=1721.77
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 375573 0 0 0 162786 9391 0 0 25 0 1 0 8746166 1554374656 370748 1992294400 4194304 7136930 140734202758032 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 379486 370748 393 719 0 378765 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1517944
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15341
/proc/meminfo: memFree=92656/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1518088 CPUtime=1781.75
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 375617 0 0 0 168571 9604 0 0 25 0 1 0 8746166 1554522112 370792 1992294400 4194304 7136930 140734202758032 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 379522 370792 393 719 0 378801 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1518088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15341
/proc/meminfo: memFree=92656/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1518088 CPUtime=1800.06
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 375617 0 0 0 170334 9672 0 0 25 0 1 0 8746166 1554522112 370792 1992294400 4194304 7136930 140734202758032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15283/statm: 379522 370792 393 719 0 378801 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1518088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15283
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 15341
/proc/meminfo: memFree=92656/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1518088 CPUtime=1800.85
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 375622 0 0 0 170413 9672 0 0 25 0 1 0 8746166 1554522112 370797 1992294400 4194304 7136930 140734202758032 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15283/statm: 379522 370797 398 719 0 378801 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 1518088
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15342
/proc/meminfo: memFree=93020/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1517148 CPUtime=1801.65
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 375622 0 0 0 170493 9672 0 0 25 0 1 0 8746166 1553559552 370563 1992294400 4194304 7136930 140734202758032 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15283/statm: 379287 370563 398 719 0 378566 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 1517148
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15342
/proc/meminfo: memFree=93020/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=1517148 CPUtime=1802.05
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4202496 375622 0 0 0 170533 9672 0 0 25 0 1 0 8746166 1553559552 370563 1992294400 4194304 7136930 140734202758032 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15283/statm: 379287 370563 398 719 0 378566 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1517148
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15342
/proc/meminfo: memFree=93020/2059040 swapFree=4192956/4192956
[pid=15283] ppid=15281 vsize=0 CPUtime=1802.14
/proc/15283/stat : 15283 (pbscip.linux.x8) R 15281 15283 15165 0 -1 4203524 375622 0 0 0 170534 9680 0 0 25 0 1 0 8746166 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15283/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.76
CPU time (s): 1802.21
CPU user time (s): 1705.35
CPU system time (s): 96.8653
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1518088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1705.35
system time used= 96.8653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375622
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= 5
involuntary context switches= 8569
runsolver used 3.13252 second user time and 8.38573 second system time
The end