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-2693589-1277925621.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.09/0.13 o 136613
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.366130e+05
0.09/0.13 c presolving:
0.09/0.14 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.15 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.19/0.20 c (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (3 rounds):
0.19/0.20 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 2707 implications, 0 cliques
0.19/0.20 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.19/0.20 c 2707 constraints of type <indicator>
0.19/0.20 c 2707 constraints of type <linear>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.14
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.97
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 3420
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.21 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.21 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.366130e+05 | Inf
1.68/1.75 o 512
1.68/1.75 c * 1.7s| 5126 | 4730 | 0 | 0.0 | 22M|2816 | - |5645 |6779 | 0 | 0 | 0 |1365 | 0 | 0.000000e+00 | 5.120000e+02 | Inf
1.78/1.89 o 505
1.78/1.89 c * 1.8s| 5430 | 5027 | 0 | 0.0 | 23M|2816 | - |5645 |6808 | 0 | 0 | 0 |1394 | 0 | 0.000000e+00 | 5.050000e+02 | Inf
1.78/1.89 o 453
1.78/1.89 c * 1.8s| 5431 | 5021 | 0 | 0.0 | 23M|2816 | - |5645 |6808 | 0 | 0 | 0 |1394 | 0 | 0.000000e+00 | 4.530000e+02 | Inf
1.99/2.10 o 443
1.99/2.10 c * 2.0s| 5842 | 5416 | 0 | 0.0 | 23M|2816 | - |5645 |6873 | 0 | 0 | 0 |1459 | 0 | 0.000000e+00 | 4.430000e+02 | Inf
2.09/2.10 o 435
2.09/2.10 c * 2.0s| 5843 | 5414 | 0 | 0.0 | 23M|2816 | - |5645 |6873 | 0 | 0 | 0 |1459 | 0 | 0.000000e+00 | 4.350000e+02 | Inf
2.09/2.17 o 424
2.09/2.17 c * 2.1s| 5968 | 5537 | 0 | 0.0 | 23M|2816 | - |5645 |6873 | 0 | 0 | 0 |1459 | 0 | 0.000000e+00 | 4.240000e+02 | Inf
2.09/2.17 o 351
2.09/2.17 c * 2.1s| 5969 | 5521 | 0 | 0.0 | 23M|2816 | - |5645 |6873 | 0 | 0 | 0 |1459 | 0 | 0.000000e+00 | 3.510000e+02 | Inf
2.19/2.22 o 347
2.19/2.22 c * 2.1s| 6079 | 5620 | 0 | 0.0 | 24M|2816 | - |5645 |6883 | 0 | 0 | 0 |1469 | 0 | 0.000000e+00 | 3.470000e+02 | Inf
2.39/2.43 o 324
2.39/2.43 c * 2.3s| 6556 | 6058 | 0 | 0.0 | 24M|2816 | - |5645 |6980 | 0 | 0 | 0 |1566 | 0 | 0.000000e+00 | 3.240000e+02 | Inf
2.48/2.52 o 275
2.48/2.52 c * 2.4s| 6763 | 6176 | 0 | 0.0 | 24M|2816 | - |5645 |7044 | 0 | 0 | 0 |1630 | 0 | 0.000000e+00 | 2.750000e+02 | Inf
2.48/2.56 o 263
2.48/2.56 c * 2.5s| 6844 | 6239 | 0 | 0.0 | 24M|2816 | - |5645 |7063 | 0 | 0 | 0 |1650 | 0 | 0.000000e+00 | 2.630000e+02 | Inf
2.48/2.59 o 261
2.48/2.59 c * 2.5s| 6941 | 6325 | 0 | 0.0 | 24M|2816 | - |5645 |7072 | 0 | 0 | 0 |1660 | 0 | 0.000000e+00 | 2.610000e+02 | Inf
2.58/2.68 o 125
2.58/2.68 c * 2.6s| 7147 | 6285 | 0 | 0.0 | 25M|2816 | - |5645 |7120 | 0 | 0 | 0 |1717 | 0 | 0.000000e+00 | 1.250000e+02 | Inf
3.69/3.79 c 3.7s| 10000 | 8688 | 0 | 0.0 | 28M|2816 | - |5645 |7742 | 0 | 0 | 0 |3595 | 0 | 0.000000e+00 | 1.250000e+02 | Inf
8.49/8.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.49/8.51 c 8.3s| 20000 | 16177 | 0 | 0.0 | 40M|2816 | - |5645 |8695 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
14.30/14.36 o 111
14.30/14.36 c *14.1s| 27955 | 20969 | 0 | 0.0 | 52M|2816 | - |5645 |8842 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
14.79/14.85 o 109
14.79/14.85 c *14.6s| 28557 | 21500 | 0 | 0.0 | 54M|2816 | - |5645 |8849 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
15.09/15.17 o 101
15.09/15.17 c *14.9s| 28925 | 21743 | 0 | 0.0 | 54M|2816 | - |5645 |8887 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
15.09/15.17 o 97
15.09/15.17 c *14.9s| 28926 | 21583 | 0 | 0.0 | 54M|2816 | - |5645 |8887 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
15.59/15.62 o 93
15.59/15.62 c *15.3s| 29354 | 21814 | 0 | 0.0 | 55M|2816 | - |5645 |8948 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
15.59/15.63 o 87
15.59/15.63 c *15.3s| 29355 | 21613 | 0 | 0.0 | 55M|2816 | - |5645 |8948 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
16.49/16.60 c 16.3s| 30000 | 22147 | 0 | 0.0 | 56M|2816 | - |5645 |8846 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
23.99/24.03 o 86
23.99/24.03 c *23.6s| 38753 | 29815 | 0 | 0.0 | 71M|2816 | - |5645 |7835 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
23.99/24.03 o 83
23.99/24.03 c *23.6s| 38754 | 29709 | 0 | 0.0 | 70M|2816 | - |5645 |7835 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
24.38/24.43 o 81
24.38/24.43 c *24.0s| 39025 | 29833 | 0 | 0.0 | 70M|2816 | - |5645 |7849 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
24.38/24.44 o 78
24.38/24.44 c *24.0s| 39026 | 29700 | 0 | 0.0 | 70M|2816 | - |5645 |7849 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
25.79/25.88 c 25.4s| 40000 | 30428 | 0 | 0.0 | 73M|2816 | - |5645 |8130 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
26.79/26.87 o 73
26.79/26.87 c *26.4s| 41713 | 31766 | 0 | 0.0 | 74M|2816 | - |5645 |7774 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
26.99/27.00 o 59
26.99/27.00 c *26.5s| 41916 | 31175 | 0 | 0.0 | 70M|2816 | - |5645 |7824 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
27.29/27.35 o 53
27.29/27.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.29/27.35 c *26.9s| 42495 | 31341 | 0 | 0.0 | 70M|2816 | - |5645 |7790 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
28.29/28.34 o 50
28.29/28.34 c *27.8s| 43512 | 31963 | 0 | 0.0 | 70M|2816 | - |5645 |7196 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
28.39/28.44 o 45
28.39/28.44 c *27.9s| 43632 | 31745 | 0 | 0.0 | 69M|2816 | - |5645 |7245 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
32.49/32.58 c 32.0s| 50000 | 37137 | 0 | 0.0 | 77M|2816 | - |5645 |7094 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
33.00/33.07 o 20
33.00/33.07 c *32.5s| 51020 | 36297 | 0 | 0.0 | 70M|2816 | - |5645 |7087 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
37.09/37.16 c 36.5s| 60000 | 43808 | 0 | 0.0 | 80M|2816 | - |5645 |7682 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
41.49/41.54 c 40.8s| 70000 | 52179 | 0 | 0.0 | 91M|2816 | - |5645 |6346 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
46.49/46.53 c 45.7s| 80000 | 59634 | 0 | 0.0 | 102M|2816 | - |5645 |7391 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
51.89/51.90 c 51.0s| 90000 | 66640 | 0 | 0.0 | 114M|2816 | - |5645 |7761 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
57.99/58.01 c 57.0s|100000 | 73062 | 0 | 0.0 | 125M|2816 | - |5645 |8272 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
64.68/64.80 c 63.7s|110000 | 78922 | 0 | 0.0 | 137M|2816 | - |5645 |8321 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
71.89/71.95 c 70.7s|120000 | 84643 | 0 | 0.0 | 148M|2816 | - |5645 |9348 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
79.29/79.30 c 78.0s|130000 | 90434 | 0 | 0.0 | 160M|2816 | - |5645 |9899 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
89.19/89.26 c 87.8s|140000 | 92467 | 0 | 0.0 | 171M|2816 | - |5645 | 12k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
95.69/95.75 c 94.2s|150000 | 97787 | 0 | 0.0 | 174M|2816 | - |5645 |7202 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
105.09/105.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.09/105.14 c 104s|160000 |103474 | 0 | 0.0 | 189M|2816 | - |5645 |7996 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
112.10/112.13 c 110s|170000 |110993 | 0 | 0.0 | 202M|2816 | - |5645 |9780 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
120.09/120.13 c 118s|180000 |117553 | 0 | 0.0 | 214M|2816 | - |5645 |8726 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
127.29/127.37 c 125s|190000 |125184 | 0 | 0.0 | 227M|2816 | - |5645 |9714 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
135.96/136.06 o 19
135.96/136.06 c * 134s|199464 |131041 | 0 | 0.0 | 239M|2816 | - |5645 | 11k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
135.96/136.07 o 18
135.96/136.07 c * 134s|199465 |130958 | 0 | 0.0 | 238M|2816 | - |5645 | 11k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
136.56/136.61 c 134s|200000 |131243 | 0 | 0.0 | 239M|2816 | - |5645 | 11k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
143.97/144.06 c 142s|210000 |137325 | 0 | 0.0 | 249M|2816 | - |5645 | 10k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
149.96/150.09 c 148s|220000 |144705 | 0 | 0.0 | 260M|2816 | - |5645 | 12k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
157.17/157.27 c 155s|230000 |151114 | 0 | 0.0 | 271M|2816 | - |5645 | 10k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
162.86/162.96 c 160s|240000 |158984 | 0 | 0.0 | 282M|2816 | - |5645 | 11k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
169.76/169.80 c 167s|250000 |166139 | 0 | 0.0 | 292M|2816 | - |5645 | 11k| 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
177.36/177.40 c 175s|260000 |172757 | 0 | 0.0 | 302M|2816 | - |5645 | 12k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
183.96/184.07 c 181s|270000 |179880 | 0 | 0.0 | 313M|2816 | - |5645 | 11k| 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
190.27/190.32 o 8
190.27/190.32 c * 187s|278909 |183404 | 0 | 0.0 | 306M|2816 | - |5645 | 15k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
192.26/192.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.26/192.33 c 189s|280000 |183397 | 0 | 0.0 | 308M|2816 | - |5645 | 16k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
197.96/198.06 c 195s|290000 |191832 | 0 | 0.0 | 323M|2816 | - |5645 | 12k| 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
203.97/204.08 c 201s|300000 |199975 | 0 | 0.0 | 339M|2816 | - |5645 | 13k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
211.56/211.68 c 208s|310000 |207100 | 0 | 0.0 | 354M|2816 | - |5645 | 16k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
219.87/219.93 c 217s|320000 |213631 | 0 | 0.0 | 364M|2816 | - |5645 | 11k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
225.17/225.24 c 222s|330000 |221044 | 0 | 0.0 | 374M|2816 | - |5645 | 11k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
231.16/231.27 c 228s|340000 |227667 | 0 | 0.0 | 384M|2816 | - |5645 | 12k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
236.67/236.74 c 233s|350000 |234881 | 0 | 0.0 | 394M|2816 | - |5645 | 11k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
242.36/242.41 c 239s|360000 |241750 | 0 | 0.0 | 403M|2816 | - |5645 | 11k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
248.17/248.25 c 244s|370000 |248513 | 0 | 0.0 | 413M|2816 | - |5645 | 12k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
252.87/252.99 c 249s|380000 |256312 | 0 | 0.0 | 422M|2816 | - |5645 | 11k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
258.37/258.41 c 254s|390000 |263459 | 0 | 0.0 | 432M|2816 | - |5645 | 11k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
263.76/263.85 c 260s|400000 |270542 | 0 | 0.0 | 441M|2816 | - |5645 | 11k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
268.77/268.89 c 265s|410000 |277886 | 0 | 0.0 | 451M|2816 | - |5645 | 12k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
274.57/274.63 c 270s|420000 |284521 | 0 | 0.0 | 460M|2816 | - |5645 | 13k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
279.47/279.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.47/279.59 c 275s|430000 |292119 | 0 | 0.0 | 470M|2816 | - |5645 | 12k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
285.06/285.14 c 281s|440000 |299232 | 0 | 0.0 | 479M|2816 | - |5645 | 11k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
290.96/291.00 c 286s|450000 |305978 | 0 | 0.0 | 489M|2816 | - |5645 | 11k| 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
296.87/296.96 c 292s|460000 |312647 | 0 | 0.0 | 499M|2816 | - |5645 | 12k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
302.47/302.59 c 298s|470000 |319782 | 0 | 0.0 | 508M|2816 | - |5645 | 11k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
309.17/309.20 c 304s|480000 |325915 | 0 | 0.0 | 518M|2816 | - |5645 | 13k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
315.07/315.11 c 310s|490000 |332843 | 0 | 0.0 | 528M|2816 | - |5645 | 12k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
320.67/320.77 c 316s|500000 |339740 | 0 | 0.0 | 535M|2816 | - |5645 |4885 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
324.57/324.60 c 319s|510000 |347703 | 0 | 0.0 | 545M|2816 | - |5645 |4181 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
328.27/328.38 c 323s|520000 |355634 | 0 | 0.0 | 555M|2816 | - |5645 |4399 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
334.46/334.56 c 329s|530000 |361443 | 0 | 0.0 | 567M|2816 | - |5645 |6446 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
341.87/342.00 c 336s|540000 |366334 | 0 | 0.0 | 578M|2816 | - |5645 |8052 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
350.36/350.40 c 345s|550000 |370598 | 0 | 0.0 | 588M|2816 | - |5645 |8694 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
359.17/359.29 c 354s|560000 |374568 | 0 | 0.0 | 599M|2816 | - |5645 |9053 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
368.77/368.82 c 363s|570000 |378048 | 0 | 0.0 | 609M|2816 | - |5645 |9647 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
378.87/378.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.87/378.90 c 373s|580000 |381119 | 0 | 0.0 | 619M|2816 | - |5645 |8937 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
388.67/388.70 c 383s|590000 |384271 | 0 | 0.0 | 629M|2816 | - |5645 |8414 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
399.28/399.37 c 393s|600000 |386493 | 0 | 0.0 | 638M|2816 | - |5645 |9554 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
409.08/409.14 c 403s|610000 |389612 | 0 | 0.0 | 649M|2816 | - |5645 |9705 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
420.27/420.35 c 414s|620000 |391428 | 0 | 0.0 | 657M|2816 | - |5645 | 10k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
430.87/431.00 c 425s|630000 |393619 | 0 | 0.0 | 666M|2816 | - |5645 |9891 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
442.08/442.17 c 436s|640000 |395209 | 0 | 0.0 | 676M|2816 | - |5645 | 11k| 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
454.08/454.19 c 447s|650000 |395923 | 0 | 0.0 | 684M|2816 | - |5645 | 11k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
468.07/468.11 c 461s|660000 |395223 | 0 | 0.0 | 691M|2816 | - |5645 | 12k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
483.77/483.88 c 477s|670000 |393684 | 0 | 0.0 | 694M|2816 | - |5645 | 14k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
496.58/496.69 c 490s|680000 |394605 | 0 | 0.0 | 691M|2816 | - |5645 |6109 | 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
501.58/501.64 c 494s|690000 |402194 | 0 | 0.0 | 702M|2816 | - |5645 |5854 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
506.88/506.92 c 500s|700000 |409397 | 0 | 0.0 | 712M|2816 | - |5645 |6871 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
512.88/512.96 c 506s|710000 |416024 | 0 | 0.0 | 723M|2816 | - |5645 |7462 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
520.77/520.83 c 513s|720000 |421299 | 0 | 0.0 | 735M|2816 | - |5645 |8857 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
529.68/529.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.68/529.75 c 522s|730000 |425785 | 0 | 0.0 | 748M|2816 | - |5645 | 10k| 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
540.78/540.81 c 533s|740000 |428870 | 0 | 0.0 | 759M|2816 | - |5645 | 11k| 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
553.98/554.01 c 546s|750000 |430594 | 0 | 0.0 | 766M|2816 | - |5645 | 11k| 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
559.28/559.33 c 551s|760000 |438134 | 0 | 0.0 | 776M|2816 | - |5645 |6750 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
564.78/564.88 c 557s|770000 |445101 | 0 | 0.0 | 786M|2816 | - |5645 |7325 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
571.68/571.71 c 563s|780000 |451184 | 0 | 0.0 | 798M|2816 | - |5645 |8449 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
578.68/578.75 o 5
578.68/578.75 c * 570s|789246 |453865 | 0 | 0.0 | 796M|2816 | - |5645 |9572 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
579.59/579.65 c 571s|790000 |454199 | 0 | 0.0 | 798M|2816 | - |5645 |9639 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
590.48/590.52 c 582s|800000 |458195 | 0 | 0.0 | 813M|2816 | - |5645 | 11k| 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
602.57/602.66 c 594s|810000 |460905 | 0 | 0.0 | 824M|2816 | - |5645 | 13k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
617.98/618.04 c 609s|820000 |461620 | 0 | 0.0 | 830M|2816 | - |5645 | 15k| 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
624.38/624.42 c 615s|830000 |468822 | 0 | 0.0 | 838M|2816 | - |5645 |8770 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
630.88/630.90 c 622s|840000 |475393 | 0 | 0.0 | 849M|2816 | - |5645 |8816 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
637.78/637.87 c 629s|850000 |481445 | 0 | 0.0 | 860M|2816 | - |5645 |9345 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
645.18/645.29 c 636s|860000 |487195 | 0 | 0.0 | 870M|2816 | - |5645 |9646 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
653.39/653.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.39/653.43 c 644s|870000 |492414 | 0 | 0.0 | 881M|2816 | - |5645 |9970 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
661.78/661.87 c 652s|880000 |497390 | 0 | 0.0 | 891M|2816 | - |5645 | 10k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
670.68/670.70 c 661s|890000 |502109 | 0 | 0.0 | 901M|2816 | - |5645 | 10k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
679.78/679.87 c 670s|900000 |506637 | 0 | 0.0 | 911M|2816 | - |5645 | 11k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
689.08/689.18 c 679s|910000 |511094 | 0 | 0.0 | 920M|2816 | - |5645 | 12k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
698.79/698.85 c 689s|920000 |515398 | 0 | 0.0 | 929M|2816 | - |5645 | 13k| 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
709.58/709.61 c 699s|930000 |518911 | 0 | 0.0 | 939M|2816 | - |5645 | 14k| 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
723.69/723.75 c 713s|940000 |520413 | 0 | 0.0 | 948M|2816 | - |5645 | 17k| 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
733.89/733.91 c 723s|950000 |524700 | 0 | 0.0 | 952M|2816 | - |5645 | 10k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
739.09/739.16 c 728s|960000 |532081 | 0 | 0.0 | 962M|2816 | - |5645 |9412 | 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
744.48/744.59 c 733s|970000 |539142 | 0 | 0.0 | 972M|2816 | - |5645 |9950 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
750.28/750.35 c 739s|980000 |545926 | 0 | 0.0 | 982M|2816 | - |5645 | 10k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
756.59/756.66 c 745s|990000 |552266 | 0 | 0.0 | 992M|2816 | - |5645 | 11k| 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
763.29/763.38 c 751s| 1000k|558313 | 0 | 0.0 |1002M|2816 | - |5645 | 12k| 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
771.29/771.33 c 759s| 1010k|563571 | 0 | 0.0 |1011M|2816 | - |5645 | 13k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
780.19/780.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.19/780.28 c 768s| 1020k|568176 | 0 | 0.0 |1020M|2816 | - |5645 | 14k| 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
790.79/790.83 c 778s| 1030k|571700 | 0 | 0.0 |1028M|2816 | - |5645 | 16k| 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
803.28/803.35 c 790s| 1040k|574161 | 0 | 0.0 |1037M|2816 | - |5645 | 18k| 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
817.19/817.24 c 803s| 1050k|576353 | 0 | 0.0 |1041M|2816 | - |5645 | 14k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
821.69/821.78 c 808s| 1060k|584535 | 0 | 0.0 |1049M|2816 | - |5645 | 10k| 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
825.99/826.01 c 812s| 1070k|592566 | 0 | 0.0 |1058M|2816 | - |5645 | 10k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
830.39/830.41 c 816s| 1080k|600406 | 0 | 0.0 |1067M|2816 | - |5645 | 10k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
835.89/835.97 c 821s| 1090k|607373 | 0 | 0.0 |1077M|2816 | - |5645 | 11k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
842.18/842.24 c 827s| 1100k|613899 | 0 | 0.0 |1087M|2816 | - |5645 | 12k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
848.99/849.08 c 833s| 1110k|619966 | 0 | 0.0 |1096M|2816 | - |5645 | 13k| 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
856.89/856.98 c 841s| 1120k|625392 | 0 | 0.0 |1105M|2816 | - |5645 | 13k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
864.99/865.02 c 849s| 1130k|630693 | 0 | 0.0 |1115M|2816 | - |5645 | 13k| 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
873.39/873.43 c 857s| 1140k|635646 | 0 | 0.0 |1124M|2816 | - |5645 | 13k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
881.89/881.92 c 865s| 1150k|640352 | 0 | 0.0 |1132M|2816 | - |5645 | 12k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
889.59/889.61 c 872s| 1160k|645684 | 0 | 0.0 |1141M|2816 | - |5645 | 11k| 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
897.39/897.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.39/897.42 c 880s| 1170k|650838 | 0 | 0.0 |1149M|2816 | - |5645 | 11k| 0 | 0 | 0 | 875k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
904.89/904.98 c 887s| 1180k|656192 | 0 | 0.0 |1158M|2816 | - |5645 | 11k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
911.99/912.07 c 894s| 1190k|661985 | 0 | 0.0 |1167M|2816 | - |5645 | 12k| 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
919.29/919.37 c 901s| 1200k|667661 | 0 | 0.0 |1175M|2816 | - |5645 | 12k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
926.50/926.50 c 907s| 1210k|673575 | 0 | 0.0 |1185M|2816 | - |5645 | 13k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
933.99/934.06 c 915s| 1220k|679243 | 0 | 0.0 |1194M|2816 | - |5645 | 14k| 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
942.29/942.35 c 923s| 1230k|684446 | 0 | 0.0 |1204M|2816 | - |5645 | 15k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
952.09/952.17 c 932s| 1240k|688643 | 0 | 0.0 |1213M|2816 | - |5645 | 16k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
964.29/964.31 c 944s| 1250k|691458 | 0 | 0.0 |1222M|2816 | - |5645 | 17k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
980.19/980.23 c 959s| 1260k|692055 | 0 | 0.0 |1226M|2816 | - |5645 | 17k| 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
985.10/985.17 c 964s| 1270k|699903 | 0 | 0.0 |1233M|2816 | - |5645 | 11k| 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
989.80/989.83 c 968s| 1280k|707547 | 0 | 0.0 |1243M|2816 | - |5645 | 11k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
994.90/994.95 c 973s| 1290k|714845 | 0 | 0.0 |1252M|2816 | - |5645 | 11k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1000.59/1000.66 c 978s| 1300k|721730 | 0 | 0.0 |1262M|2816 | - |5645 | 12k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1006.60/1006.68 c 984s| 1310k|728285 | 0 | 0.0 |1272M|2816 | - |5645 | 13k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1013.60/1013.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1013.60/1013.64 c 991s| 1320k|734219 | 0 | 0.0 |1282M|2816 | - |5645 | 13k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1021.49/1021.59 c 998s| 1330k|739406 | 0 | 0.0 |1292M|2816 | - |5645 | 14k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1031.30/1031.36 c 1008s| 1340k|743331 | 0 | 0.0 |1301M|2816 | - |5645 | 16k| 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1043.99/1044.00 c 1020s| 1350k|745505 | 0 | 0.0 |1310M|2816 | - |5645 | 17k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1055.70/1055.77 c 1031s| 1360k|749070 | 0 | 0.0 |1314M|2816 | - |5645 | 13k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1060.80/1060.87 c 1036s| 1370k|757014 | 0 | 0.0 |1324M|2816 | - |5645 | 11k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1065.80/1065.81 c 1041s| 1380k|764857 | 0 | 0.0 |1334M|2816 | - |5645 | 11k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1071.09/1071.13 c 1046s| 1390k|772330 | 0 | 0.0 |1345M|2816 | - |5645 | 11k| 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1076.81/1076.86 c 1051s| 1400k|779469 | 0 | 0.0 |1356M|2816 | - |5645 | 11k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1082.90/1082.98 c 1057s| 1410k|786297 | 0 | 0.0 |1366M|2816 | - |5645 | 12k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1088.90/1088.91 c 1063s| 1420k|793377 | 0 | 0.0 |1377M|2816 | - |5645 | 12k| 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1095.10/1095.17 c 1068s| 1430k|800183 | 0 | 0.0 |1386M|2816 | - |5645 | 13k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1101.29/1101.36 c 1074s| 1440k|807007 | 0 | 0.0 |1396M|2816 | - |5645 | 13k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1108.50/1108.53 c 1081s| 1450k|813085 | 0 | 0.0 |1406M|2816 | - |5645 | 14k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1115.90/1115.95 c 1088s| 1460k|819119 | 0 | 0.0 |1417M|2816 | - |5645 | 14k| 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1123.90/1123.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.90/1123.93 c 1096s| 1470k|824762 | 0 | 0.0 |1427M|2816 | - |5645 | 15k| 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1132.29/1132.38 c 1104s| 1480k|830177 | 0 | 0.0 |1437M|2816 | - |5645 | 15k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1141.60/1141.67 c 1113s| 1490k|835038 | 0 | 0.0 |1447M|2816 | - |5645 | 16k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1150.90/1150.91 c 1122s| 1500k|839879 | 0 | 0.0 |1458M|2816 | - |5645 | 16k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1161.50/1161.54 c 1132s| 1510k|844029 | 0 | 0.0 |1468M|2816 | - |5645 | 17k| 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1172.20/1172.25 c 1142s| 1520k|848046 | 0 | 0.0 |1477M|2816 | - |5645 | 18k| 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1184.20/1184.29 c 1154s| 1530k|851315 | 0 | 0.0 |1487M|2816 | - |5645 | 18k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1198.80/1198.87 c 1168s| 1540k|853226 | 0 | 0.0 |1495M|2816 | - |5645 | 19k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1216.80/1216.88 c 1186s| 1550k|853554 | 0 | 0.0 |1499M|2816 | - |5645 | 22k| 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1223.70/1223.79 c 1192s| 1560k|861427 | 0 | 0.0 |1510M|2816 | - |5645 | 17k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1230.30/1230.36 c 1198s| 1570k|868970 | 0 | 0.0 |1521M|2816 | - |5645 | 16k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1236.61/1236.66 c 1204s| 1580k|876411 | 0 | 0.0 |1533M|2816 | - |5645 | 16k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1243.71/1243.70 c 1211s| 1590k|883452 | 0 | 0.0 |1545M|2816 | - |5645 | 17k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1250.71/1250.79 c 1218s| 1600k|890398 | 0 | 0.0 |1557M|2816 | - |5645 | 18k| 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1258.50/1258.57 c 1225s| 1610k|897008 | 0 | 0.0 |1570M|2816 | - |5645 | 18k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1267.00/1267.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.00/1267.03 c 1233s| 1620k|903239 | 0 | 0.0 |1583M|2816 | - |5645 | 19k| 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1276.81/1276.84 c 1243s| 1630k|908855 | 0 | 0.0 |1596M|2816 | - |5645 | 20k| 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1286.91/1286.99 c 1252s| 1640k|914478 | 0 | 0.0 |1608M|2816 | - |5645 | 21k| 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1297.41/1297.48 c 1262s| 1650k|919948 | 0 | 0.0 |1621M|2816 | - |5645 | 21k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1307.70/1307.73 c 1272s| 1660k|925562 | 0 | 0.0 |1634M|2816 | - |5645 | 20k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1317.81/1317.89 c 1282s| 1670k|931201 | 0 | 0.0 |1647M|2816 | - |5645 | 20k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1328.01/1328.07 c 1292s| 1680k|936810 | 0 | 0.0 |1660M|2816 | - |5645 | 20k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1338.11/1338.15 c 1301s| 1690k|942574 | 0 | 0.0 |1670M|2816 | - |5645 | 13k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1346.00/1346.02 c 1309s| 1700k|947843 | 0 | 0.0 |1680M|2816 | - |5645 | 14k| 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1354.81/1354.88 c 1317s| 1710k|952282 | 0 | 0.0 |1689M|2816 | - |5645 | 16k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1366.80/1366.87 c 1329s| 1720k|954785 | 0 | 0.0 |1697M|2816 | - |5645 | 18k| 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1373.91/1373.96 c 1336s| 1730k|961122 | 0 | 0.0 |1703M|2816 | - |5645 | 13k| 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1379.20/1379.26 c 1341s| 1740k|968418 | 0 | 0.0 |1712M|2816 | - |5645 | 13k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1384.61/1384.63 c 1346s| 1750k|975612 | 0 | 0.0 |1721M|2816 | - |5645 | 13k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1390.50/1390.50 c 1351s| 1760k|982380 | 0 | 0.0 |1730M|2816 | - |5645 | 14k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1396.71/1396.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1396.71/1396.75 c 1357s| 1770k|988883 | 0 | 0.0 |1738M|2816 | - |5645 | 15k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1403.41/1403.46 c 1364s| 1780k|994976 | 0 | 0.0 |1747M|2816 | - |5645 | 16k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1410.91/1410.95 c 1371s| 1790k| 1000k| 0 | 0.0 |1754M|2816 | - |5645 | 17k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1420.31/1420.32 c 1380s| 1800k| 1004k| 0 | 0.0 |1763M|2816 | - |5645 | 18k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1432.01/1432.00 c 1391s| 1810k| 1007k| 0 | 0.0 |1768M|2816 | - |5645 | 16k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1437.41/1437.46 c 1396s| 1820k| 1015k| 0 | 0.0 |1776M|2816 | - |5645 | 13k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1442.41/1442.46 c 1401s| 1830k| 1022k| 0 | 0.0 |1785M|2816 | - |5645 | 13k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1447.21/1447.29 c 1405s| 1840k| 1030k| 0 | 0.0 |1794M|2816 | - |5645 | 13k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1452.21/1452.23 c 1410s| 1850k| 1037k| 0 | 0.0 |1802M|2816 | - |5645 | 14k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1457.52/1457.57 c 1415s| 1860k| 1044k| 0 | 0.0 |1811M|2816 | - |5645 | 14k| 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1464.31/1464.36 c 1421s| 1870k| 1050k| 0 | 0.0 |1819M|2816 | - |5645 | 16k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1474.51/1474.50 c 1431s| 1880k| 1054k| 0 | 0.0 |1829M|2816 | - |5645 | 19k| 0 | 0 | 0 |1342k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1487.61/1487.67 c 1444s| 1890k| 1057k| 0 | 0.0 |1836M|2816 | - |5645 | 19k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1493.21/1493.20 c 1449s| 1900k| 1065k| 0 | 0.0 |1844M|2816 | - |5645 | 14k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1498.31/1498.36 c 1454s| 1910k| 1072k| 0 | 0.0 |1852M|2816 | - |5645 | 13k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1503.91/1503.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.91/1503.97 c 1459s| 1920k| 1079k| 0 | 0.0 |1862M|2816 | - |5645 | 14k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1509.81/1509.84 c 1465s| 1930k| 1086k| 0 | 0.0 |1871M|2816 | - |5645 | 15k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1516.41/1516.45 c 1471s| 1940k| 1093k| 0 | 0.0 |1880M|2816 | - |5645 | 16k| 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1523.81/1523.85 c 1478s| 1950k| 1099k| 0 | 0.0 |1888M|2816 | - |5645 | 17k| 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1532.32/1532.32 c 1486s| 1960k| 1104k| 0 | 0.0 |1897M|2816 | - |5645 | 17k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1542.32/1542.34 c 1496s| 1970k| 1108k| 0 | 0.0 |1905M|2816 | - |5645 | 18k| 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1550.92/1550.99 c 1504s| 1980k| 1114k| 0 | 0.0 |1913M|2816 | - |5645 | 16k| 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1557.52/1557.53 c 1510s| 1990k| 1120k| 0 | 0.0 |1921M|2816 | - |5645 | 15k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1563.42/1563.46 c 1516s| 2000k| 1127k| 0 | 0.0 |1930M|2816 | - |5645 | 15k| 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1570.12/1570.14 c 1522s| 2010k| 1134k| 0 | 0.0 |1939M|2816 | - |5645 | 16k| 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1577.91/1577.90 c 1530s| 2020k| 1139k| 0 | 0.0 |1949M|2816 | - |5645 | 17k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1587.22/1587.27 c 1539s| 2030k| 1144k| 0 | 0.0 |1959M|2816 | - |5645 | 19k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1598.72/1598.72 c 1550s| 2040k| 1148k| 0 | 0.0 |1968M|2816 | - |5645 | 22k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1612.62/1612.65 c 1563s| 2050k| 1150k| 0 | 0.0 |1973M|2816 | - |5645 | 20k| 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1618.42/1618.42 c 1569s| 2060k| 1158k| 0 | 0.0 |1981M|2816 | - |5645 | 15k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1624.02/1624.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.02/1624.07 c 1574s| 2070k| 1165k| 0 | 0.0 |1990M|2816 | - |5645 | 14k| 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1630.02/1630.05 c 1580s| 2080k| 1172k| 0 | 0.0 |1999M|2816 | - |5645 | 15k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1636.62/1636.69 c 1586s| 2090k| 1179k| 0 | 0.0 |2008M|2816 | - |5645 | 16k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1644.02/1644.01 c 1593s| 2100k| 1185k| 0 | 0.0 |2017M|2816 | - |5645 | 17k| 0 | 0 | 0 |1472k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1652.22/1652.30 c 1601s| 2110k| 1191k| 0 | 0.0 |2025M|2816 | - |5645 | 18k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1661.31/1661.39 c 1610s| 2120k| 1196k| 0 | 0.0 |2034M|2816 | - |5645 | 18k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1671.81/1671.88 c 1620s| 2130k| 1200k| 0 | 0.0 |2041M|2816 | - |5645 | 17k| 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1680.42/1680.46 c 1628s| 2140k| 1205k| 0 | 0.0 |2048M|2816 | - |5645 | 16k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1687.21/1687.27 c 1635s| 2150k| 1212k| 0 | 0.0 |2057M|2816 | - |5645 | 15k| 0 | 0 | 0 |1505k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1694.21/1694.22 c 1641s| 2160k| 1218k| 0 | 0.0 |2067M|2816 | - |5645 | 16k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1701.72/1701.72 c 1648s| 2170k| 1224k| 0 | 0.0 |2077M|2816 | - |5645 | 17k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1710.82/1710.83 c 1657s| 2180k| 1229k| 0 | 0.0 |2087M|2816 | - |5645 | 19k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1721.62/1721.60 c 1668s| 2190k| 1232k| 0 | 0.0 |2097M|2816 | - |5645 | 22k| 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1735.32/1735.31 c 1681s| 2200k| 1235k| 0 | 0.0 |2103M|2816 | - |5645 | 21k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1741.02/1741.02 c 1686s| 2210k| 1243k| 0 | 0.0 |2111M|2816 | - |5645 | 15k| 0 | 0 | 0 |1546k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1746.52/1746.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1746.52/1746.53 c 1691s| 2220k| 1250k| 0 | 0.0 |2120M|2816 | - |5645 | 15k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1752.62/1752.62 c 1697s| 2230k| 1257k| 0 | 0.0 |2129M|2816 | - |5645 | 15k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1759.12/1759.11 c 1703s| 2240k| 1264k| 0 | 0.0 |2138M|2816 | - |5645 | 16k| 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1766.42/1766.40 c 1710s| 2250k| 1270k| 0 | 0.0 |2147M|2816 | - |5645 | 18k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1775.02/1775.05 c 1719s| 2260k| 1275k| 0 | 0.0 |2155M|2816 | - |5645 | 19k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1788.02/1788.07 c 1731s| 2270k| 1278k| 0 | 0.0 |2163M|2816 | - |5645 | 23k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1795.03/1795.05 c 1738s| 2280k| 1285k| 0 | 0.0 |2169M|2816 | - |5645 | 15k| 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1742.60
1800.03/1800.00 c Solving Nodes : 2288959
1800.03/1800.00 c Primal Bound : +5.00000000000000e+00 (36 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.07 s SATISFIABLE
1800.03/1800.07 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.07 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.07 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.07 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.07 v x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.07 v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.03/1800.07 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.03/1800.07 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.03/1800.07 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 -x29
1800.03/1800.07 v -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 -x2
1800.03/1800.07 v -x1
1800.03/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.07 c Solving Time : 1742.60
1800.03/1800.07 c Original Problem :
1800.03/1800.07 c Problem name : HOME/instance-2693589-1277925621.wbo
1800.03/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.07 c Constraints : 5415 initial, 5415 maximal
1800.03/1800.07 c Presolved Problem :
1800.03/1800.07 c Problem name : t_HOME/instance-2693589-1277925621.wbo
1800.03/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.07 c Constraints : 5414 initial, 26702 maximal
1800.03/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.07 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.07 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c linear : 0.03 0 0 0 2707 0 1 0 0
1800.03/1800.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c root node : - 2614 - - 5228 - - - -
1800.03/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.07 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.07 c indicator : 2707 0 6366574 0 1706947 163 2654406 0 0 0
1800.03/1800.07 c linear : 2707 0 7530384 0 1932474 506301 45458053 0 0 0
1800.03/1800.07 c logicor : 0+ 0 3246030 0 0 81185 1762764 0 0 0
1800.03/1800.07 c countsols : 0 0 0 0 1932496 0 0 0 0 0
1800.03/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.07 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.07 c indicator : 23.04 0.00 10.40 0.00 12.64
1800.03/1800.07 c linear : 435.80 0.00 434.61 0.00 1.19
1800.03/1800.07 c logicor : 265.77 0.00 265.77 0.00 0.00
1800.03/1800.07 c countsols : 0.16 0.00 0.00 0.00 0.16
1800.03/1800.07 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.07 c vbounds : 0.79 2 0 0
1800.03/1800.07 c rootredcost : 0.69 0 0 0
1800.03/1800.07 c pseudoobj : 380.85 7533183 2588 2611709
1800.03/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.07 c propagation : 31.23 590074 590069 2714398 18.1 101089 11.1 -
1800.03/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.07 c pseudo solution : 0.05 97 97 431 28.9 283 9.2 -
1800.03/1800.07 c applied globally : - - - 1589631 16.4 - - -
1800.03/1800.07 c applied locally : - - - 1 329.0 - - -
1800.03/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.07 c redcost : 0.00 0 0 0 0 0
1800.03/1800.07 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.07 c intobj : 0.00 0 0 0 0 0
1800.03/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.07 c gomory : 0.00 0 0 0 0 0
1800.03/1800.07 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.07 c cmir : 0.00 0 0 0 0 0
1800.03/1800.07 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.07 c clique : 0.00 0 0 0 0 0
1800.03/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.07 c mcf : 0.00 0 0 0 0 0
1800.03/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.07 c Pricers : Time Calls Vars
1800.03/1800.07 c problem variables: 0.00 0 0
1800.03/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.07 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.07 c inference : 41.20 1932463 0 0 0 0 3864926
1800.03/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.07 c random : 0.00 0 0 0 0 0 0
1800.03/1800.07 c Primal Heuristics : Time Calls Found
1800.03/1800.07 c LP solutions : 0.00 - 0
1800.03/1800.07 c pseudo solutions : 0.05 - 33
1800.03/1800.07 c oneopt : 0.42 0 0
1800.03/1800.07 c trivial : 0.08 2 2
1800.03/1800.07 c simplerounding : 0.00 0 0
1800.03/1800.07 c zirounding : 0.00 0 0
1800.03/1800.07 c rounding : 0.00 0 0
1800.03/1800.07 c shifting : 0.00 0 0
1800.03/1800.07 c intshifting : 0.00 0 0
1800.03/1800.07 c twoopt : 0.00 0 0
1800.03/1800.07 c fixandinfer : 0.00 0 0
1800.03/1800.07 c feaspump : 0.00 0 0
1800.03/1800.07 c coefdiving : 0.00 0 0
1800.03/1800.07 c pscostdiving : 0.00 0 0
1800.03/1800.07 c fracdiving : 0.00 0 0
1800.03/1800.07 c veclendiving : 0.00 0 0
1800.03/1800.07 c intdiving : 0.00 0 0
1800.03/1800.07 c actconsdiving : 0.00 0 0
1800.03/1800.07 c objpscostdiving : 0.00 0 0
1800.03/1800.07 c rootsoldiving : 0.00 0 0
1800.03/1800.07 c linesearchdiving : 0.00 0 0
1800.03/1800.07 c guideddiving : 0.00 0 0
1800.03/1800.07 c octane : 0.00 0 0
1800.03/1800.07 c rens : 0.00 0 0
1800.03/1800.07 c rins : 0.00 0 0
1800.03/1800.07 c localbranching : 0.00 0 0
1800.03/1800.07 c mutation : 0.00 0 0
1800.03/1800.07 c crossover : 0.00 0 0
1800.03/1800.07 c dins : 0.00 0 0
1800.03/1800.07 c undercover : 0.00 0 0
1800.03/1800.07 c nlp : 0.22 0 0
1800.03/1800.07 c trysol : 0.20 1 1
1800.03/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.07 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.07 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.07 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.07 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.07 c (at root node) : - 0 0 0.00 -
1800.03/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.07 c B&B Tree :
1800.03/1800.07 c number of runs : 1
1800.03/1800.07 c nodes : 2288959
1800.03/1800.07 c nodes (total) : 2288959
1800.03/1800.07 c nodes left : 1291980
1800.03/1800.07 c max depth : 2816
1800.03/1800.07 c max depth (total): 2816
1800.03/1800.07 c backtracks : 316689 (13.8%)
1800.03/1800.07 c delayed cutoffs : 273607
1800.03/1800.07 c repropagations : 1279536 (16252274 domain reductions, 233871 cutoffs)
1800.03/1800.07 c avg switch length: 44.14
1800.03/1800.07 c switching time : 497.43
1800.03/1800.07 c Solution :
1800.03/1800.07 c Solutions found : 36 (34 improvements)
1800.03/1800.07 c First Solution : +1.36613000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.07 c Primal Bound : +5.00000000000000e+00 (in run 1, after 789246 nodes, 570.33 seconds, depth 273, found by <relaxation>)
1800.03/1800.07 c Dual Bound : +0.00000000000000e+00
1800.03/1800.07 c Gap : infinite
1800.03/1800.07 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.07 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-2693589-1277925621/watcher-2693589-1277925621 -o /tmp/evaluation-result-2693589-1277925621/solver-2693589-1277925621 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693589-1277925621.wbo -t 1800 -m 3800
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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.90 2.54 2.22 4/199 14705
/proc/meminfo: memFree=31535356/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=8264 CPUtime=0
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 1547 0 0 0 0 0 0 0 25 0 1 0 133860299 8462336 1469 4089446400 4194304 7136930 140734732720528 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14705/statm: 2066 1469 275 719 0 1345 0
[startup+0.074862 s]
/proc/loadavg: 2.90 2.54 2.22 4/199 14705
/proc/meminfo: memFree=31535356/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=33680 CPUtime=0.06
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 7967 0 0 0 6 0 0 0 25 0 1 0 133860299 34488320 7535 4089446400 4194304 7136930 140734732720528 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14705/statm: 8420 7535 323 719 0 7699 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 33680
[startup+0.100846 s]
/proc/loadavg: 2.90 2.54 2.22 4/199 14705
/proc/meminfo: memFree=31535356/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=33680 CPUtime=0.09
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 133860299 34488320 7535 4089446400 4194304 7136930 140734732720528 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14705/statm: 8420 7535 323 719 0 7699 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33680
[startup+0.300811 s]
/proc/loadavg: 2.90 2.54 2.22 4/199 14705
/proc/meminfo: memFree=31535356/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=36500 CPUtime=0.29
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 9239 0 0 0 28 1 0 0 25 0 1 0 133860299 37376000 8293 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14705/statm: 9125 8293 383 719 0 8404 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36500
[startup+0.700735 s]
/proc/loadavg: 2.90 2.54 2.22 4/199 14705
/proc/meminfo: memFree=31535356/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=37640 CPUtime=0.69
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 9515 0 0 0 68 1 0 0 25 0 1 0 133860299 38543360 8569 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14705/statm: 9410 8569 383 719 0 8689 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37640
[startup+1.50058 s]
/proc/loadavg: 2.90 2.54 2.22 3/200 14706
/proc/meminfo: memFree=31500628/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=42012 CPUtime=1.48
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 10616 0 0 0 145 3 0 0 25 0 1 0 133860299 43020288 9670 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14705/statm: 10503 9670 390 719 0 9782 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42012
[startup+3.10028 s]
/proc/loadavg: 2.90 2.54 2.22 3/200 14706
/proc/meminfo: memFree=31495296/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=48308 CPUtime=3.09
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 12188 0 0 0 303 6 0 0 25 0 1 0 133860299 49467392 11242 4089446400 4194304 7136930 140734732720528 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14705/statm: 12077 11242 391 719 0 11356 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48308
[startup+6.30068 s]
/proc/loadavg: 2.91 2.54 2.22 4/200 14707
/proc/meminfo: memFree=31481156/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=61264 CPUtime=6.29
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 15358 0 0 0 616 13 0 0 25 0 1 0 133860299 62734336 14412 4089446400 4194304 7136930 140734732720528 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14705/statm: 15316 14412 391 719 0 14595 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61264
[startup+12.7005 s]
/proc/loadavg: 2.91 2.55 2.22 4/200 14707
/proc/meminfo: memFree=31461448/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=78632 CPUtime=12.69
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 19660 0 0 0 1248 21 0 0 25 0 1 0 133860299 80519168 18714 4089446400 4194304 7136930 140734732720528 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14705/statm: 19658 18714 391 719 0 18937 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78632
[startup+25.501 s]
/proc/loadavg: 2.93 2.57 2.24 4/200 14707
/proc/meminfo: memFree=31412680/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=123488 CPUtime=25.48
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 30303 0 0 0 2506 42 0 0 25 0 1 0 133860299 126451712 29357 4089446400 4194304 7136930 140734732720528 18446744073709551615 4925476 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14705/statm: 30872 29357 391 719 0 30151 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 123488
[startup+51.1002 s]
/proc/loadavg: 2.95 2.61 2.26 4/200 14707
/proc/meminfo: memFree=31346668/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=189228 CPUtime=51.09
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 45905 0 0 0 5022 87 0 0 25 0 1 0 133860299 193769472 44959 4089446400 4194304 7136930 140734732720528 18446744073709551615 4947094 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14705/statm: 47307 44959 391 719 0 46586 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 189228
[startup+102.307 s]
/proc/loadavg: 2.98 2.66 2.29 3/200 14709
/proc/meminfo: memFree=31255956/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=272932 CPUtime=102.29
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 66617 0 0 0 10074 155 0 0 25 0 1 0 133860299 279482368 65671 4089446400 4194304 7136930 140734732720528 18446744073709551615 4704046 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14705/statm: 68233 65671 391 719 0 67512 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 272932
[startup+162.3 s]
/proc/loadavg: 2.81 2.68 2.32 4/200 14711
/proc/meminfo: memFree=31144776/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=383572 CPUtime=162.26
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 93035 0 0 0 15978 248 0 0 25 0 1 0 133860299 392777728 92089 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14705/statm: 95893 92089 391 719 0 95172 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 383572
[startup+222.301 s]
/proc/loadavg: 2.93 2.73 2.36 4/200 14712
/proc/meminfo: memFree=31043900/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=489804 CPUtime=222.26
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 117566 0 0 0 21893 333 0 0 25 0 1 0 133860299 501559296 116620 4089446400 4194304 7136930 140734732720528 18446744073709551615 4926194 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14705/statm: 122451 116620 391 719 0 121730 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 489804
[startup+282.301 s]
/proc/loadavg: 2.88 2.75 2.38 4/200 14714
/proc/meminfo: memFree=30925532/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=601432 CPUtime=282.26
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 145635 0 0 0 27782 444 0 0 25 0 1 0 133860299 615866368 144689 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14705/statm: 150358 144689 391 719 0 149637 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 601432
[startup+342.3 s]
/proc/loadavg: 2.80 2.75 2.40 4/200 14715
/proc/meminfo: memFree=30811236/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=706424 CPUtime=342.27
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 172248 0 0 0 33680 547 0 0 25 0 1 0 133860299 723378176 171302 4089446400 4194304 7136930 140734732720528 18446744073709551615 4978022 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14705/statm: 176606 171302 391 719 0 175885 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 706424
[startup+402.301 s]
/proc/loadavg: 2.93 2.79 2.44 3/200 14717
/proc/meminfo: memFree=30737268/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=773552 CPUtime=402.27
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 188989 0 0 0 39614 613 0 0 25 0 1 0 133860299 792117248 188043 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14705/statm: 193388 188043 391 719 0 192667 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 773552
[startup+462.301 s]
/proc/loadavg: 2.79 2.78 2.46 4/200 14719
/proc/meminfo: memFree=30681924/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=826160 CPUtime=462.28
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 202100 0 0 0 45553 675 0 0 25 0 1 0 133860299 845987840 201154 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14705/statm: 206540 201154 391 719 0 205819 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 826160
[startup+522.3 s]
/proc/loadavg: 2.81 2.78 2.47 4/200 14720
/proc/meminfo: memFree=30622960/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=881712 CPUtime=522.28
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 215947 0 0 0 51477 751 0 0 25 0 1 0 133860299 902873088 215001 4089446400 4194304 7136930 140734732720528 18446744073709551615 4978086 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14705/statm: 220428 215001 391 719 0 219707 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 881712
[startup+582.301 s]
/proc/loadavg: 2.83 2.78 2.49 4/200 14722
/proc/meminfo: memFree=30550868/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=949976 CPUtime=582.27
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 232886 0 0 0 57386 841 0 0 25 0 1 0 133860299 972775424 231940 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14705/statm: 237494 231940 391 719 0 236773 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 949976
[startup+642.301 s]
/proc/loadavg: 2.90 2.80 2.51 4/200 14723
/proc/meminfo: memFree=30484960/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=1021192 CPUtime=642.28
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 248739 0 0 0 63309 919 0 0 25 0 1 0 133860299 1045700608 247793 4089446400 4194304 7136930 140734732720528 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14705/statm: 255298 247793 391 719 0 254577 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 1021192
[startup+702.3 s]
################
# More data... #
################
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 350978 0 0 0 97998 2231 0 0 25 0 1 0 133860299 1462026240 350032 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 356940 350032 391 719 0 356219 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 1427760
[startup+1062.3 s]
/proc/loadavg: 2.00 2.28 2.38 3/179 14768
/proc/meminfo: memFree=30312460/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=1492136 CPUtime=1062.29
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 367103 0 0 0 103749 2480 0 0 25 0 1 0 133860299 1527947264 366157 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 373034 366157 391 719 0 372313 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 1492136
[startup+1122.3 s]
/proc/loadavg: 2.00 2.23 2.35 3/179 14769
/proc/meminfo: memFree=30214188/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=1590716 CPUtime=1122.3
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 391909 0 0 0 109422 2808 0 0 25 0 1 0 133860299 1628893184 390963 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 397679 390963 391 719 0 396958 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 1590716
[startup+1182.3 s]
/proc/loadavg: 2.00 2.18 2.33 3/179 14771
/proc/meminfo: memFree=30166152/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=1637976 CPUtime=1182.3
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 403601 0 0 0 115197 3033 0 0 25 0 1 0 133860299 1677287424 402655 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 409494 402655 391 719 0 408773 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 1637976
[startup+1242.3 s]
/proc/loadavg: 2.00 2.15 2.31 3/179 14772
/proc/meminfo: memFree=30099148/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=1705852 CPUtime=1242.3
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 420575 0 0 0 120968 3262 0 0 25 0 1 0 133860299 1746792448 419629 4089446400 4194304 7136930 140734732720528 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 426463 419629 391 719 0 425742 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 1705852
[startup+1302.3 s]
/proc/loadavg: 2.00 2.12 2.28 3/179 14774
/proc/meminfo: memFree=30018884/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=1783332 CPUtime=1302.31
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 440132 0 0 0 126707 3524 0 0 25 0 1 0 133860299 1826131968 439186 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 445833 439186 391 719 0 445112 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1783332
[startup+1362.3 s]
/proc/loadavg: 2.00 2.09 2.26 3/179 14776
/proc/meminfo: memFree=29935384/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=1867868 CPUtime=1362.3
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 460922 0 0 0 132448 3782 0 0 25 0 1 0 133860299 1912696832 459976 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 466967 459976 391 719 0 466246 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 1867868
[startup+1422.31 s]
/proc/loadavg: 2.00 2.07 2.25 3/179 14777
/proc/meminfo: memFree=29865828/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=1952820 CPUtime=1422.31
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 478268 0 0 0 138156 4075 0 0 25 0 1 0 133860299 1999687680 477322 4089446400 4194304 7136930 140734732720528 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 488205 477322 391 719 0 487484 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 1952820
[startup+1482.3 s]
/proc/loadavg: 2.00 2.06 2.23 3/179 14779
/proc/meminfo: memFree=29798080/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=2020452 CPUtime=1482.31
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 495248 0 0 0 143880 4351 0 0 25 0 1 0 133860299 2068942848 494302 4089446400 4194304 7136930 140734732720528 18446744073709551615 5958416 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 505113 494302 391 719 0 504392 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 2020452
[startup+1542.3 s]
/proc/loadavg: 2.07 2.07 2.22 3/179 14780
/proc/meminfo: memFree=29726048/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=2091484 CPUtime=1542.32
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 513230 0 0 0 149598 4634 0 0 25 0 1 0 133860299 2141679616 512284 4089446400 4194304 7136930 140734732720528 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 522871 512284 391 719 0 522150 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2091484
[startup+1602.3 s]
/proc/loadavg: 2.02 2.06 2.20 3/179 14782
/proc/meminfo: memFree=29667224/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=2149544 CPUtime=1602.32
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 527829 0 0 0 155336 4896 0 0 25 0 1 0 133860299 2201133056 526883 4089446400 4194304 7136930 140734732720528 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 537386 526883 391 719 0 536665 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2149544
[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.19 3/179 14784
/proc/meminfo: memFree=29598116/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=2217528 CPUtime=1662.32
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 545047 0 0 0 161074 5158 0 0 25 0 1 0 133860299 2270748672 544101 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 554382 544101 391 719 0 553661 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2217528
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.17 3/179 14812
/proc/meminfo: memFree=29437956/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=2273456 CPUtime=1722.32
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 559295 0 0 0 166821 5411 0 0 25 0 1 0 133860299 2328018944 558349 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 568364 558349 391 719 0 567643 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2273456
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.16 3/179 14814
/proc/meminfo: memFree=29278176/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=2339924 CPUtime=1782.32
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 576060 0 0 0 172566 5666 0 0 25 0 1 0 133860299 2396082176 575114 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 584981 575114 391 719 0 584260 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2339924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.16 3/179 14814
/proc/meminfo: memFree=29239972/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=2357392 CPUtime=1800.03
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 580506 0 0 0 174263 5740 0 0 25 0 1 0 133860299 2413969408 579560 4089446400 4194304 7136930 140734732720528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14705/statm: 589348 579560 391 719 0 588627 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2357392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14705
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 2.16 3/180 14815
/proc/meminfo: memFree=29238724/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=2357392 CPUtime=1801.42
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 580525 0 0 0 174402 5740 0 0 19 0 1 0 133860299 2413969408 579579 4089446400 4194304 7136930 140734732720528 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14705/statm: 589348 579579 397 719 0 588627 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 2357392
[startup+1801.81 s]
/proc/loadavg: 2.00 2.02 2.16 4/180 14815
/proc/meminfo: memFree=29238600/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=2357392 CPUtime=1801.83
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 580525 0 0 0 174443 5740 0 0 20 0 1 0 133860299 2413969408 579579 4089446400 4194304 7136930 140734732720528 18446744073709551615 4615820 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14705/statm: 589348 579579 397 719 0 588627 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 2357392
[startup+1802 s]
/proc/loadavg: 2.00 2.02 2.16 4/180 14815
/proc/meminfo: memFree=29238600/32951124 swapFree=67111528/67111528
[pid=14705] ppid=14703 vsize=2357392 CPUtime=1802.02
/proc/14705/stat : 14705 (pbscip.linux.x8) R 14703 14705 12709 0 -1 4202496 580525 0 0 0 174462 5740 0 0 21 0 1 0 133860299 2413969408 579579 4089446400 4194304 7136930 140734732720528 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14705/statm: 589348 579579 397 719 0 588627 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 2357392
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.12
CPU user time (s): 1744.64
CPU system time (s): 57.4783
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2357392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.64
system time used= 57.4783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580525
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= 14585
runsolver used 2.74258 second user time and 5.58015 second system time
The end
Begin job on node102 at 2010-06-30 21:20:21
IDJOB=2693589
IDBENCH=79261
IDSOLVER=1206
FILE ID=node102/2693589-1277925621
PBS_JOBID= 11197313
Free space on /tmp= 74212 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547389--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693589-1277925621/watcher-2693589-1277925621 -o /tmp/evaluation-result-2693589-1277925621/solver-2693589-1277925621 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693589-1277925621.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 24569843aeaad08e546ecaba09eee200
RANDOM SEED=1016543659
node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.85
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31535884 kB
Buffers: 207964 kB
Cached: 734716 kB
SwapCached: 0 kB
Active: 681716 kB
Inactive: 590748 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31535884 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3148 kB
Writeback: 0 kB
AnonPages: 330060 kB
Mapped: 20324 kB
Slab: 78340 kB
PageTables: 5916 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1659472 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74200 MiB
End job on node102 at 2010-06-30 21:50:24