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-2663686-1276649957.opb>
0.00/0.01 c original problem has 704 variables (704 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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 c presolving:
0.09/0.14 c (round 1) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 0 upgd conss, 3056 impls, 0 clqs
0.09/0.14 c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 9 upgd conss, 3086 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 236/696 (33.9%) - 0 fixings, 0 aggregations, 65 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 8 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 54 changed coefficients
0.09/0.18 c 3216 implications, 0 cliques
0.09/0.18 c presolved problem has 696 variables (696 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.09/0.18 c 511 constraints of type <and>
0.09/0.18 c 8 constraints of type <linear>
0.09/0.18 c 10 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.09
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1800
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 1620
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c heuristics/undercover/freq = 0
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 2 | 0 | - |1886k| 0 | - | 696 | 529 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.79/3.83 c 3.5s| 10000 | 5640 | 0 | 0.0 |6045k| 270 | - | 696 | 979 | 0 | 0 | 0 |5627 | 0 | 0.000000e+00 | -- | Inf
8.09/8.16 c 7.5s| 20000 | 10062 | 0 | 0.0 |9728k| 270 | - | 696 |1952 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
12.69/12.76 c 11.8s| 30000 | 14570 | 0 | 0.0 | 13M| 270 | - | 696 |1772 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
17.59/17.62 c 16.4s| 40000 | 18779 | 0 | 0.0 | 16M| 270 | - | 696 |2002 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
23.09/23.18 c 21.7s| 50000 | 22584 | 0 | 0.0 | 19M| 270 | - | 696 |2824 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
28.98/29.07 c 27.3s| 60000 | 25503 | 0 | 0.0 | 22M| 270 | - | 696 |3072 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
34.88/34.90 c 32.8s| 70000 | 29534 | 0 | 0.0 | 26M| 270 | - | 696 |3213 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
40.18/40.22 c 37.9s| 80000 | 34621 | 0 | 0.0 | 29M| 270 | - | 696 |3075 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
45.37/45.41 c 42.8s| 90000 | 40383 | 0 | 0.0 | 33M| 270 | - | 696 |3110 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
51.07/51.16 c 48.3s|100000 | 45390 | 0 | 0.0 | 37M| 270 | - | 696 |2685 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
57.58/57.69 c 54.5s|110000 | 48993 | 0 | 0.0 | 39M| 270 | - | 696 |2832 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
64.07/64.17 c 60.6s|120000 | 52763 | 0 | 0.0 | 43M| 270 | - | 696 |4023 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
72.27/72.33 c 68.5s|130000 | 55564 | 0 | 0.0 | 46M| 270 | - | 696 |4320 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
79.97/80.02 c 75.9s|140000 | 58942 | 0 | 0.0 | 48M| 270 | - | 696 |4132 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
86.66/86.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.66/86.75 c 82.4s|150000 | 62684 | 0 | 0.0 | 51M| 270 | - | 696 |4418 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
94.16/94.24 c 89.6s|160000 | 65734 | 0 | 0.0 | 54M| 270 | - | 696 |4341 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
100.66/100.71 c 95.8s|170000 | 70024 | 0 | 0.0 | 57M| 270 | - | 696 |4062 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
106.66/106.71 c 101s|180000 | 75065 | 0 | 0.0 | 61M| 270 | - | 696 |4204 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
112.65/112.74 c 107s|190000 | 79932 | 0 | 0.0 | 64M| 270 | - | 696 |3296 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
119.94/120.04 c 114s|200000 | 84935 | 0 | 0.0 | 68M| 270 | - | 696 |4615 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
128.65/128.73 c 123s|210000 | 89188 | 0 | 0.0 | 71M| 270 | - | 696 |4921 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
135.74/135.80 c 129s|220000 | 94675 | 0 | 0.0 | 75M| 270 | - | 696 |5263 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
142.74/142.89 c 136s|230000 | 99813 | 0 | 0.0 | 79M| 270 | - | 696 |5055 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
150.74/150.81 c 144s|240000 |104175 | 0 | 0.0 | 82M| 270 | - | 696 |5288 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
158.14/158.23 c 151s|250000 |109046 | 0 | 0.0 | 85M| 270 | - | 696 |5070 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
165.43/165.58 c 158s|260000 |113352 | 0 | 0.0 | 88M| 270 | - | 696 |4445 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
171.92/172.03 c 164s|270000 |118621 | 0 | 0.0 | 92M| 270 | - | 696 |4355 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
178.13/178.28 c 170s|280000 |124153 | 0 | 0.0 | 96M| 270 | - | 696 |4711 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
184.73/184.80 c 177s|290000 |129907 | 0 | 0.0 | 100M| 270 | - | 696 |4094 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
191.52/191.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.52/191.69 c 183s|300000 |134824 | 0 | 0.0 | 103M| 270 | - | 696 |4579 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
200.62/200.76 c 192s|310000 |137929 | 0 | 0.0 | 106M| 270 | - | 696 |4439 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
211.02/211.11 c 202s|320000 |139521 | 0 | 0.0 | 108M| 270 | - | 696 |5019 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
219.31/219.47 c 210s|330000 |143696 | 0 | 0.0 | 112M| 270 | - | 696 |6205 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
231.11/231.27 c 221s|340000 |145822 | 0 | 0.0 | 114M| 270 | - | 696 |6002 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
243.21/243.39 c 233s|350000 |147388 | 0 | 0.0 | 116M| 270 | - | 696 |5484 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
252.70/252.84 c 242s|360000 |150668 | 0 | 0.0 | 118M| 270 | - | 696 |6073 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
261.49/261.67 c 251s|370000 |153641 | 0 | 0.0 | 121M| 270 | - | 696 |6910 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
271.80/271.90 c 261s|380000 |156037 | 0 | 0.0 | 123M| 270 | - | 696 |7127 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
282.00/282.10 c 271s|390000 |158306 | 0 | 0.0 | 125M| 270 | - | 696 |6927 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
291.10/291.24 c 280s|400000 |161152 | 0 | 0.0 | 127M| 270 | - | 696 |6275 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
297.79/297.93 c 286s|410000 |166011 | 0 | 0.0 | 130M| 270 | - | 696 |5969 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
304.08/304.22 c 292s|420000 |170775 | 0 | 0.0 | 132M| 270 | - | 696 |5924 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
310.29/310.48 c 298s|430000 |175381 | 0 | 0.0 | 135M| 270 | - | 696 |5659 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
317.08/317.30 c 305s|440000 |179165 | 0 | 0.0 | 139M| 270 | - | 696 |5549 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
324.88/325.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.88/325.08 c 312s|450000 |181970 | 0 | 0.0 | 141M| 270 | - | 696 |5686 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
332.78/332.90 c 320s|460000 |184478 | 0 | 0.0 | 143M| 270 | - | 696 |6145 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | -- | Inf
337.97/338.11 c 325s|470000 |190876 | 0 | 0.0 | 147M| 270 | - | 696 |3490 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
346.17/346.33 c 333s|480000 |195405 | 0 | 0.0 | 151M| 270 | - | 696 |5128 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
356.27/356.49 c 343s|490000 |199478 | 0 | 0.0 | 154M| 270 | - | 696 |5897 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
366.96/367.14 c 353s|500000 |203688 | 0 | 0.0 | 157M| 270 | - | 696 |6490 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
378.96/379.13 c 365s|510000 |207467 | 0 | 0.0 | 160M| 270 | - | 696 |6601 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | -- | Inf
388.56/388.79 c 374s|520000 |212650 | 0 | 0.0 | 164M| 270 | - | 696 |7088 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf
397.15/397.39 c 382s|530000 |218215 | 0 | 0.0 | 168M| 270 | - | 696 |7074 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | -- | Inf
405.25/405.45 c 390s|540000 |223920 | 0 | 0.0 | 172M| 270 | - | 696 |7037 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | -- | Inf
413.75/413.92 c 398s|550000 |229165 | 0 | 0.0 | 176M| 270 | - | 696 |6928 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | -- | Inf
422.34/422.52 c 407s|560000 |234191 | 0 | 0.0 | 179M| 270 | - | 696 |6816 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
431.05/431.28 c 415s|570000 |239248 | 0 | 0.0 | 183M| 270 | - | 696 |6342 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | -- | Inf
440.54/440.72 c 424s|580000 |243676 | 0 | 0.0 | 186M| 270 | - | 696 |6741 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | -- | Inf
449.44/449.64 c 433s|590000 |248357 | 0 | 0.0 | 189M| 270 | - | 696 |5705 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | -- | Inf
459.23/459.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
459.23/459.41 c 442s|600000 |252494 | 0 | 0.0 | 192M| 270 | - | 696 |6168 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | -- | Inf
469.02/469.24 c 452s|610000 |256748 | 0 | 0.0 | 196M| 270 | - | 696 |6329 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | -- | Inf
478.63/478.82 c 461s|620000 |261214 | 0 | 0.0 | 199M| 270 | - | 696 |5615 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | -- | Inf
488.92/489.17 c 471s|630000 |265464 | 0 | 0.0 | 202M| 270 | - | 696 |6050 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | -- | Inf
497.62/497.88 c 480s|640000 |270636 | 0 | 0.0 | 205M| 270 | - | 696 |6429 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | -- | Inf
506.41/506.69 c 488s|650000 |275742 | 0 | 0.0 | 209M| 270 | - | 696 |5885 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | -- | Inf
514.31/514.56 c 496s|660000 |281119 | 0 | 0.0 | 212M| 270 | - | 696 |5018 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | -- | Inf
521.91/522.10 c 503s|670000 |286539 | 0 | 0.0 | 216M| 270 | - | 696 |4875 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | -- | Inf
528.61/528.88 c 510s|680000 |292289 | 0 | 0.0 | 219M| 270 | - | 696 |5128 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | -- | Inf
535.52/535.74 c 516s|690000 |298094 | 0 | 0.0 | 223M| 270 | - | 696 |5744 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | -- | Inf
542.11/542.34 c 523s|700000 |304339 | 0 | 0.0 | 227M| 270 | - | 696 |5374 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | -- | Inf
548.50/548.76 c 529s|710000 |310568 | 0 | 0.0 | 231M| 270 | - | 696 |4780 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | -- | Inf
555.20/555.41 c 535s|720000 |316358 | 0 | 0.0 | 235M| 270 | - | 696 |5079 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | -- | Inf
561.90/562.15 c 542s|730000 |322248 | 0 | 0.0 | 239M| 270 | - | 696 |5212 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | -- | Inf
568.90/569.11 c 548s|740000 |328369 | 0 | 0.0 | 243M| 270 | - | 696 |5283 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | -- | Inf
576.29/576.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.29/576.51 c 555s|750000 |334058 | 0 | 0.0 | 247M| 270 | - | 696 |5846 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | -- | Inf
584.19/584.43 c 563s|760000 |339476 | 0 | 0.0 | 251M| 270 | - | 696 |6072 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | -- | Inf
592.09/592.34 c 571s|770000 |344941 | 0 | 0.0 | 255M| 270 | - | 696 |6067 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | -- | Inf
599.79/600.00 c 578s|780000 |350723 | 0 | 0.0 | 259M| 270 | - | 696 |6164 | 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | -- | Inf
607.99/608.22 c 586s|790000 |356087 | 0 | 0.0 | 262M| 270 | - | 696 |6177 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | -- | Inf
616.28/616.59 c 594s|800000 |361404 | 0 | 0.0 | 266M| 270 | - | 696 |6065 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | -- | Inf
625.18/625.44 c 603s|810000 |366200 | 0 | 0.0 | 270M| 270 | - | 696 |6427 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | -- | Inf
633.77/634.04 c 611s|820000 |371350 | 0 | 0.0 | 273M| 270 | - | 696 |6202 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | -- | Inf
642.38/642.61 c 619s|830000 |376366 | 0 | 0.0 | 277M| 270 | - | 696 |6281 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | -- | Inf
652.27/652.56 c 629s|840000 |380157 | 0 | 0.0 | 280M| 270 | - | 696 |6390 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | -- | Inf
662.77/663.05 c 639s|850000 |383063 | 0 | 0.0 | 284M| 270 | - | 696 |6726 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | -- | Inf
673.97/674.27 c 650s|860000 |384433 | 0 | 0.0 | 286M| 270 | - | 696 |6260 | 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | -- | Inf
685.46/685.72 c 661s|870000 |385321 | 0 | 0.0 | 287M| 270 | - | 696 |6472 | 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | -- | Inf
696.45/696.71 c 672s|880000 |387815 | 0 | 0.0 | 288M| 270 | - | 696 |6911 | 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | -- | Inf
707.25/707.59 c 683s|890000 |391338 | 0 | 0.0 | 291M| 270 | - | 696 |6769 | 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | -- | Inf
713.35/713.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.35/713.62 c 688s|900000 |397616 | 0 | 0.0 | 295M| 270 | - | 696 |6059 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | -- | Inf
722.84/723.11 c 698s|910000 |401874 | 0 | 0.0 | 299M| 270 | - | 696 |7445 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | -- | Inf
738.34/738.64 c 713s|920000 |403195 | 0 | 0.0 | 300M| 270 | - | 696 |8177 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | -- | Inf
752.23/752.57 c 726s|930000 |405849 | 0 | 0.0 | 302M| 270 | - | 696 |8063 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | -- | Inf
762.44/762.73 c 736s|940000 |410080 | 0 | 0.0 | 305M| 270 | - | 696 |8816 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | -- | Inf
773.33/773.62 c 747s|950000 |413604 | 0 | 0.0 | 308M| 270 | - | 696 | 10k| 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | -- | Inf
785.23/785.57 c 759s|960000 |417008 | 0 | 0.0 | 311M| 270 | - | 696 | 10k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | -- | Inf
798.92/799.24 c 772s|970000 |419799 | 0 | 0.0 | 313M| 270 | - | 696 | 10k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | -- | Inf
813.12/813.40 c 786s|980000 |422249 | 0 | 0.0 | 315M| 270 | - | 696 | 10k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | -- | Inf
827.92/828.21 c 800s|990000 |424496 | 0 | 0.0 | 318M| 270 | - | 696 | 11k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | -- | Inf
843.32/843.65 c 815s| 1000k|426919 | 0 | 0.0 | 319M| 270 | - | 696 | 11k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | -- | Inf
856.91/857.21 c 829s| 1010k|430037 | 0 | 0.0 | 321M| 270 | - | 696 | 10k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | -- | Inf
869.00/869.31 c 840s| 1020k|433595 | 0 | 0.0 | 324M| 270 | - | 696 | 10k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | -- | Inf
878.40/878.79 c 850s| 1030k|438654 | 0 | 0.0 | 327M| 270 | - | 696 | 10k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | -- | Inf
885.70/886.02 c 857s| 1040k|444714 | 0 | 0.0 | 330M| 270 | - | 696 |9658 | 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | -- | Inf
893.00/893.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.00/893.30 c 864s| 1050k|450552 | 0 | 0.0 | 334M| 270 | - | 696 |9068 | 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | -- | Inf
901.79/902.14 c 872s| 1060k|455969 | 0 | 0.0 | 337M| 270 | - | 696 |8353 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | -- | Inf
909.69/910.04 c 880s| 1070k|461161 | 0 | 0.0 | 340M| 270 | - | 696 |8252 | 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | -- | Inf
917.48/917.85 c 887s| 1080k|465953 | 0 | 0.0 | 344M| 270 | - | 696 |8386 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | -- | Inf
925.48/925.86 c 895s| 1090k|470475 | 0 | 0.0 | 347M| 270 | - | 696 |8282 | 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | -- | Inf
933.99/934.38 c 903s| 1100k|474643 | 0 | 0.0 | 350M| 270 | - | 696 |8504 | 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | -- | Inf
942.58/942.91 c 912s| 1110k|478666 | 0 | 0.0 | 353M| 270 | - | 696 |8649 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | -- | Inf
951.18/951.51 c 920s| 1120k|482586 | 0 | 0.0 | 356M| 270 | - | 696 |8677 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | -- | Inf
959.98/960.39 c 929s| 1130k|486318 | 0 | 0.0 | 359M| 270 | - | 696 |8632 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | -- | Inf
968.38/968.79 c 937s| 1140k|490581 | 0 | 0.0 | 362M| 270 | - | 696 |8360 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | -- | Inf
976.97/977.35 c 945s| 1150k|494524 | 0 | 0.0 | 365M| 270 | - | 696 |8630 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | -- | Inf
985.67/986.02 c 953s| 1160k|498285 | 0 | 0.0 | 368M| 270 | - | 696 |8730 | 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | -- | Inf
994.16/994.50 c 962s| 1170k|502428 | 0 | 0.0 | 371M| 270 | - | 696 |8015 | 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | -- | Inf
1002.67/1003.07 c 970s| 1180k|506394 | 0 | 0.0 | 373M| 270 | - | 696 |8160 | 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | -- | Inf
1011.86/1012.22 c 979s| 1190k|510019 | 0 | 0.0 | 377M| 270 | - | 696 |8762 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | -- | Inf
1021.15/1021.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.15/1021.57 c 988s| 1200k|513842 | 0 | 0.0 | 379M| 270 | - | 696 |8039 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | -- | Inf
1030.55/1030.97 c 997s| 1210k|517625 | 0 | 0.0 | 382M| 270 | - | 696 |8408 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | -- | Inf
1038.35/1038.71 c 1004s| 1220k|522939 | 0 | 0.0 | 385M| 270 | - | 696 |7726 | 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | -- | Inf
1045.35/1045.77 c 1011s| 1230k|528350 | 0 | 0.0 | 389M| 270 | - | 696 |8122 | 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | -- | Inf
1052.25/1052.69 c 1018s| 1240k|533432 | 0 | 0.0 | 392M| 270 | - | 696 |8687 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | -- | Inf
1059.24/1059.61 c 1025s| 1250k|538227 | 0 | 0.0 | 396M| 270 | - | 696 |8619 | 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | -- | Inf
1065.74/1066.13 c 1031s| 1260k|543082 | 0 | 0.0 | 399M| 270 | - | 696 |8455 | 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | -- | Inf
1072.05/1072.45 c 1037s| 1270k|547595 | 0 | 0.0 | 402M| 270 | - | 696 |8836 | 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | -- | Inf
1078.94/1079.38 c 1044s| 1280k|551331 | 0 | 0.0 | 405M| 270 | - | 696 |9258 | 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | -- | Inf
1086.14/1086.58 c 1050s| 1290k|556878 | 0 | 0.0 | 407M| 270 | - | 696 |4207 | 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | -- | Inf
1094.44/1094.89 c 1058s| 1300k|562173 | 0 | 0.0 | 411M| 270 | - | 696 |5092 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | -- | Inf
1103.43/1103.85 c 1067s| 1310k|567474 | 0 | 0.0 | 415M| 270 | - | 696 |5492 | 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | -- | Inf
1113.43/1113.86 c 1077s| 1320k|572371 | 0 | 0.0 | 419M| 270 | - | 696 |5720 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | -- | Inf
1125.82/1126.22 c 1089s| 1330k|576557 | 0 | 0.0 | 422M| 270 | - | 696 |6098 | 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | -- | Inf
1136.52/1136.99 c 1099s| 1340k|581341 | 0 | 0.0 | 426M| 270 | - | 696 |7729 | 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | -- | Inf
1149.82/1150.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.82/1150.20 c 1112s| 1350k|585640 | 0 | 0.0 | 428M| 270 | - | 696 |5476 | 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | -- | Inf
1162.71/1163.14 c 1125s| 1360k|589359 | 0 | 0.0 | 432M| 270 | - | 696 |7293 | 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | -- | Inf
1175.21/1175.62 c 1137s| 1370k|593964 | 0 | 0.0 | 435M| 270 | - | 696 |6743 | 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | -- | Inf
1182.81/1183.28 c 1145s| 1380k|600775 | 0 | 0.0 | 439M| 270 | - | 696 |6565 | 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | -- | Inf
1193.70/1194.10 c 1155s| 1390k|605859 | 0 | 0.0 | 443M| 270 | - | 696 |6661 | 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | -- | Inf
1200.20/1200.62 c 1161s| 1400k|613128 | 0 | 0.0 | 447M| 270 | - | 696 |6471 | 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | -- | Inf
1208.60/1209.00 c 1169s| 1410k|619362 | 0 | 0.0 | 452M| 270 | - | 696 |5894 | 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | -- | Inf
1214.30/1214.76 c 1175s| 1420k|626817 | 0 | 0.0 | 456M| 270 | - | 696 |5963 | 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | -- | Inf
1222.29/1222.73 c 1183s| 1430k|632712 | 0 | 0.0 | 460M| 270 | - | 696 |4898 | 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | -- | Inf
1229.59/1230.09 c 1190s| 1440k|638912 | 0 | 0.0 | 465M| 270 | - | 696 |6421 | 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | -- | Inf
1237.69/1238.19 c 1198s| 1450k|644743 | 0 | 0.0 | 469M| 270 | - | 696 |6416 | 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | -- | Inf
1245.29/1245.73 c 1205s| 1460k|650945 | 0 | 0.0 | 473M| 270 | - | 696 |5646 | 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | -- | Inf
1253.39/1253.80 c 1213s| 1470k|656885 | 0 | 0.0 | 477M| 270 | - | 696 |6192 | 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | -- | Inf
1262.68/1263.16 c 1222s| 1480k|661739 | 0 | 0.0 | 480M| 270 | - | 696 |5664 | 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | -- | Inf
1269.48/1269.97 c 1228s| 1490k|668216 | 0 | 0.0 | 485M| 270 | - | 696 |6157 | 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | -- | Inf
1278.48/1278.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.48/1278.93 c 1237s| 1500k|673708 | 0 | 0.0 | 489M| 270 | - | 696 |7197 | 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | -- | Inf
1287.48/1287.95 c 1246s| 1510k|679205 | 0 | 0.0 | 493M| 270 | - | 696 |7390 | 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | -- | Inf
1295.97/1296.42 c 1254s| 1520k|684898 | 0 | 0.0 | 496M| 270 | - | 696 |6492 | 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | -- | Inf
1305.47/1305.91 c 1263s| 1530k|690064 | 0 | 0.0 | 500M| 270 | - | 696 |7453 | 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | -- | Inf
1315.77/1316.26 c 1273s| 1540k|695215 | 0 | 0.0 | 504M| 270 | - | 696 |8295 | 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | -- | Inf
1326.66/1327.11 c 1284s| 1550k|699763 | 0 | 0.0 | 507M| 270 | - | 696 |7947 | 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | -- | Inf
1337.66/1338.12 c 1294s| 1560k|704370 | 0 | 0.0 | 510M| 270 | - | 696 |7167 | 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | -- | Inf
1349.05/1349.51 c 1306s| 1570k|709016 | 0 | 0.0 | 514M| 270 | - | 696 |8765 | 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | -- | Inf
1361.26/1361.70 c 1318s| 1580k|713276 | 0 | 0.0 | 517M| 270 | - | 696 |8620 | 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | -- | Inf
1372.45/1372.91 c 1328s| 1590k|718152 | 0 | 0.0 | 520M| 270 | - | 696 |8827 | 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | -- | Inf
1385.25/1385.76 c 1341s| 1600k|722618 | 0 | 0.0 | 523M| 270 | - | 696 |7628 | 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | -- | Inf
1397.84/1398.35 c 1353s| 1610k|726790 | 0 | 0.0 | 527M| 270 | - | 696 |9428 | 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | -- | Inf
1410.54/1411.05 c 1366s| 1620k|731446 | 0 | 0.0 | 530M| 270 | - | 696 |8901 | 0 | 0 | 0 |1553k| 0 | 0.000000e+00 | -- | Inf
1422.24/1422.72 c 1377s| 1630k|736083 | 0 | 0.0 | 533M| 270 | - | 696 |8171 | 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | -- | Inf
1436.93/1437.48 c 1392s| 1640k|739747 | 0 | 0.0 | 535M| 270 | - | 696 |8227 | 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | -- | Inf
1449.23/1449.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.23/1449.75 c 1404s| 1650k|744277 | 0 | 0.0 | 539M| 270 | - | 696 |9245 | 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | -- | Inf
1462.82/1463.30 c 1417s| 1660k|748257 | 0 | 0.0 | 542M| 270 | - | 696 |9137 | 0 | 0 | 0 |1600k| 0 | 0.000000e+00 | -- | Inf
1475.01/1475.52 c 1429s| 1670k|752999 | 0 | 0.0 | 545M| 270 | - | 696 |8762 | 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | -- | Inf
1490.21/1490.78 c 1444s| 1680k|756614 | 0 | 0.0 | 548M| 270 | - | 696 |8334 | 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | -- | Inf
1502.22/1502.70 c 1455s| 1690k|761533 | 0 | 0.0 | 551M| 270 | - | 696 |9335 | 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | -- | Inf
1515.61/1516.11 c 1468s| 1700k|766174 | 0 | 0.0 | 554M| 270 | - | 696 |9541 | 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | -- | Inf
1526.90/1527.47 c 1480s| 1710k|771150 | 0 | 0.0 | 557M| 270 | - | 696 |8006 | 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | -- | Inf
1538.10/1538.66 c 1490s| 1720k|776314 | 0 | 0.0 | 561M| 270 | - | 696 |6874 | 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | -- | Inf
1551.00/1551.57 c 1503s| 1730k|780181 | 0 | 0.0 | 563M| 270 | - | 696 |7751 | 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | -- | Inf
1563.60/1564.11 c 1515s| 1740k|784611 | 0 | 0.0 | 567M| 270 | - | 696 |9291 | 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | -- | Inf
1574.89/1575.47 c 1526s| 1750k|789732 | 0 | 0.0 | 570M| 270 | - | 696 |7856 | 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | -- | Inf
1584.09/1584.61 c 1535s| 1760k|795542 | 0 | 0.0 | 574M| 270 | - | 696 |6712 | 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | -- | Inf
1592.08/1592.64 c 1543s| 1770k|801652 | 0 | 0.0 | 578M| 270 | - | 696 |7196 | 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | -- | Inf
1602.88/1603.44 c 1554s| 1780k|806494 | 0 | 0.0 | 582M| 270 | - | 696 |8165 | 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | -- | Inf
1614.38/1614.92 c 1565s| 1790k|811361 | 0 | 0.0 | 585M| 270 | - | 696 |7851 | 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | -- | Inf
1624.08/1624.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.08/1624.62 c 1574s| 1800k|816798 | 0 | 0.0 | 589M| 270 | - | 696 |7285 | 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | -- | Inf
1632.47/1633.08 c 1582s| 1810k|822911 | 0 | 0.0 | 592M| 270 | - | 696 |6394 | 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | -- | Inf
1642.57/1643.17 c 1592s| 1820k|827856 | 0 | 0.0 | 596M| 270 | - | 696 |7604 | 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | -- | Inf
1653.37/1653.95 c 1603s| 1830k|832962 | 0 | 0.0 | 600M| 270 | - | 696 |8469 | 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | -- | Inf
1661.76/1662.36 c 1611s| 1840k|839090 | 0 | 0.0 | 604M| 270 | - | 696 |7504 | 0 | 0 | 0 |1778k| 0 | 0.000000e+00 | -- | Inf
1669.46/1670.08 c 1618s| 1850k|845432 | 0 | 0.0 | 608M| 270 | - | 696 |6560 | 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | -- | Inf
1677.76/1678.38 c 1626s| 1860k|851439 | 0 | 0.0 | 611M| 270 | - | 696 |5850 | 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | -- | Inf
1687.45/1688.08 c 1636s| 1870k|856419 | 0 | 0.0 | 615M| 270 | - | 696 |7883 | 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | -- | Inf
1696.26/1696.86 c 1644s| 1880k|862247 | 0 | 0.0 | 619M| 270 | - | 696 |7573 | 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | -- | Inf
1704.15/1704.71 c 1652s| 1890k|868452 | 0 | 0.0 | 623M| 270 | - | 696 |6795 | 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | -- | Inf
1711.55/1712.14 c 1659s| 1900k|874858 | 0 | 0.0 | 627M| 270 | - | 696 |6715 | 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | -- | Inf
1720.04/1720.63 c 1667s| 1910k|880462 | 0 | 0.0 | 630M| 270 | - | 696 |6398 | 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | -- | Inf
1728.94/1729.53 c 1676s| 1920k|885915 | 0 | 0.0 | 634M| 270 | - | 696 |7292 | 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | -- | Inf
1737.64/1738.23 c 1684s| 1930k|891702 | 0 | 0.0 | 638M| 270 | - | 696 |7135 | 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | -- | Inf
1745.84/1746.45 c 1692s| 1940k|897690 | 0 | 0.0 | 642M| 270 | - | 696 |6885 | 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | -- | Inf
1753.53/1754.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1753.53/1754.16 c 1700s| 1950k|904041 | 0 | 0.0 | 646M| 270 | - | 696 |6599 | 0 | 0 | 0 |1861k| 0 | 0.000000e+00 | -- | Inf
1762.54/1763.15 c 1709s| 1960k|909415 | 0 | 0.0 | 650M| 270 | - | 696 |7335 | 0 | 0 | 0 |1869k| 0 | 0.000000e+00 | -- | Inf
1770.73/1771.30 c 1716s| 1970k|915281 | 0 | 0.0 | 654M| 270 | - | 696 |8018 | 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | -- | Inf
1779.33/1779.93 c 1725s| 1980k|921164 | 0 | 0.0 | 658M| 270 | - | 696 |7816 | 0 | 0 | 0 |1885k| 0 | 0.000000e+00 | -- | Inf
1788.23/1788.83 c 1733s| 1990k|926945 | 0 | 0.0 | 662M| 270 | - | 696 |7599 | 0 | 0 | 0 |1893k| 0 | 0.000000e+00 | -- | Inf
1797.52/1798.16 c 1743s| 2000k|932509 | 0 | 0.0 | 665M| 270 | - | 696 |6842 | 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1744.92
1800.04/1800.61 c Solving Nodes : 2002448
1800.04/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 s UNKNOWN
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1744.92
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2663686-1276649957.opb
1800.04/1800.61 c Variables : 704 (704 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 529 initial, 529 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2663686-1276649957.opb
1800.04/1800.61 c Variables : 696 (696 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 529 initial, 11975 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.61 c and : 0.05 0 0 0 0 0 0 0 0
1800.04/1800.61 c linear : 0.00 1 7 0 0 0 0 0 54
1800.04/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 0 - - 0 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.61 c and : 511 0 5157935 0 1635010 92205 8380478 0 0 0
1800.04/1800.61 c linear : 8 0 5065730 0 1635010 465364 3488655 0 0 0
1800.04/1800.61 c logicor : 10+ 0 2392867 0 1635010 33046 654547 0 0 0
1800.04/1800.61 c countsols : 0 0 0 0 1635010 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c and : 168.96 0.00 106.32 0.00 62.64
1800.04/1800.61 c linear : 218.83 0.00 216.41 0.00 2.42
1800.04/1800.61 c logicor : 525.63 0.00 521.18 0.00 4.45
1800.04/1800.61 c countsols : 0.62 0.00 0.00 0.00 0.62
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 2.66 2 0 0
1800.04/1800.61 c rootredcost : 2.34 0 0 0
1800.04/1800.61 c pseudoobj : 7.32 5157442 0 0
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 118.19 590615 577590 6028824 50.4 42939 44.2 -
1800.04/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.61 c applied globally : - - - 1904002 39.3 - - -
1800.04/1800.61 c applied locally : - - - 57 75.4 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.61 c redcost : 0.00 0 0 0 0 0
1800.04/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.00 0 0 0 0 0
1800.04/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.61 c cmir : 0.00 0 0 0 0 0
1800.04/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.61 c clique : 0.00 0 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 0 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 184.49 1635010 0 0 0 0 3270020
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.00 - 0
1800.04/1800.61 c pseudo solutions : 0.00 - 0
1800.04/1800.61 c oneopt : 1.00 0 0
1800.04/1800.61 c trivial : 0.00 2 0
1800.04/1800.61 c simplerounding : 0.00 0 0
1800.04/1800.61 c zirounding : 0.00 0 0
1800.04/1800.61 c rounding : 0.00 0 0
1800.04/1800.61 c shifting : 0.00 0 0
1800.04/1800.61 c intshifting : 0.00 0 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c feaspump : 0.00 0 0
1800.04/1800.61 c coefdiving : 0.00 0 0
1800.04/1800.61 c pscostdiving : 0.00 0 0
1800.04/1800.61 c fracdiving : 0.00 0 0
1800.04/1800.61 c veclendiving : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c objpscostdiving : 0.00 0 0
1800.04/1800.61 c rootsoldiving : 0.00 0 0
1800.04/1800.61 c linesearchdiving : 0.00 0 0
1800.04/1800.61 c guideddiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.00 0 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c crossover : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 1.06 0 0
1800.04/1800.61 c trysol : 0.91 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.61 c (at root node) : - 0 0 0.00 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 2002448
1800.04/1800.61 c nodes (total) : 2002448
1800.04/1800.61 c nodes left : 933725
1800.04/1800.61 c max depth : 270
1800.04/1800.61 c max depth (total): 270
1800.04/1800.61 c backtracks : 265673 (13.3%)
1800.04/1800.61 c delayed cutoffs : 333848
1800.04/1800.61 c repropagations : 558467 (2514096 domain reductions, 223177 cutoffs)
1800.04/1800.62 c avg switch length: 9.06
1800.04/1800.62 c switching time : 444.33
1800.04/1800.62 c Solution :
1800.04/1800.62 c Solutions found : 0 (0 improvements)
1800.04/1800.62 c Primal Bound : -
1800.04/1800.62 c Dual Bound : +0.00000000000000e+00
1800.04/1800.62 c Gap : infinite
1800.04/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.62 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-2663686-1276649957/watcher-2663686-1276649957 -o /tmp/evaluation-result-2663686-1276649957/solver-2663686-1276649957 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663686-1276649957.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: 2.71 2.55 1.85 3/106 13674
/proc/meminfo: memFree=1720280/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=6584 CPUtime=0
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 1000 0 0 0 0 0 0 0 20 0 1 0 6287712 6742016 922 1992294400 4194304 7136930 140733621881376 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13674/statm: 1646 930 254 719 0 925 0
[startup+0.0358089 s]
/proc/loadavg: 2.71 2.55 1.85 3/106 13674
/proc/meminfo: memFree=1720280/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=11932 CPUtime=0.03
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 2882 0 0 0 2 1 0 0 20 0 1 0 6287712 12218368 2194 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 2983 2194 328 719 0 2262 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11932
[startup+0.101815 s]
/proc/loadavg: 2.71 2.55 1.85 3/106 13674
/proc/meminfo: memFree=1720280/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=11932 CPUtime=0.09
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 2882 0 0 0 4 5 0 0 20 0 1 0 6287712 12218368 2194 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 2983 2194 328 719 0 2262 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11932
[startup+0.301836 s]
/proc/loadavg: 2.71 2.55 1.85 3/106 13674
/proc/meminfo: memFree=1720280/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=13536 CPUtime=0.29
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 4118 0 0 0 21 8 0 0 20 0 1 0 6287712 13860864 2659 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 3384 2660 394 719 0 2663 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13536
[startup+0.701879 s]
/proc/loadavg: 2.71 2.55 1.85 3/106 13674
/proc/meminfo: memFree=1720280/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=14948 CPUtime=0.69
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 4490 0 0 0 58 11 0 0 21 0 1 0 6287712 15306752 3031 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 3737 3031 394 719 0 3016 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14948
[startup+1.50096 s]
/proc/loadavg: 2.71 2.55 1.85 2/107 13675
/proc/meminfo: memFree=1708864/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=16172 CPUtime=1.49
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 4805 0 0 0 132 17 0 0 23 0 1 0 6287712 16560128 3346 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 4043 3346 394 719 0 3322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16172
[startup+3.10114 s]
/proc/loadavg: 2.71 2.55 1.85 2/107 13675
/proc/meminfo: memFree=1706880/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=18552 CPUtime=3.09
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 5391 0 0 0 281 28 0 0 25 0 1 0 6287712 18997248 3932 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 4638 3932 394 719 0 3917 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18552
[startup+6.30148 s]
/proc/loadavg: 2.57 2.52 1.84 2/107 13675
/proc/meminfo: memFree=1702540/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=22508 CPUtime=6.29
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 6411 0 0 0 579 50 0 0 25 0 1 0 6287712 23048192 4952 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 5627 4952 394 719 0 4906 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22508
[startup+12.7012 s]
/proc/loadavg: 2.44 2.49 1.84 2/107 13675
/proc/meminfo: memFree=1696464/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=28124 CPUtime=12.69
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 7829 0 0 0 1177 92 0 0 25 0 1 0 6287712 28798976 6370 1992294400 4194304 7136930 140733621881376 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 7031 6370 394 719 0 6310 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28124
[startup+25.5015 s]
/proc/loadavg: 2.12 2.42 1.83 2/107 13675
/proc/meminfo: memFree=1685800/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=38188 CPUtime=25.48
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 10354 0 0 0 2387 161 0 0 25 0 1 0 6287712 39104512 8895 1992294400 4194304 7136930 140733621881376 18446744073709551615 4210359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 9547 8895 394 719 0 8826 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38188
[startup+51.1013 s]
/proc/loadavg: 1.74 2.31 1.80 2/107 13677
/proc/meminfo: memFree=1667448/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=56108 CPUtime=51.07
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 14917 0 0 0 4821 286 0 0 25 0 1 0 6287712 57454592 13458 1992294400 4194304 7136930 140733621881376 18446744073709551615 4221398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 14027 13458 394 719 0 13306 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56108
[startup+102.309 s]
/proc/loadavg: 1.32 2.10 1.76 2/107 13677
/proc/meminfo: memFree=1642152/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=82832 CPUtime=102.26
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 21148 0 0 0 9729 497 0 0 25 0 1 0 6287712 84819968 19689 1992294400 4194304 7136930 140733621881376 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 20708 19689 394 719 0 19987 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 82832
[startup+162.301 s]
/proc/loadavg: 1.12 1.90 1.71 2/107 13688
/proc/meminfo: memFree=1607184/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=117756 CPUtime=162.23
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 29993 0 0 0 15496 727 0 0 25 0 1 0 6287712 120582144 28534 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 29439 28534 394 719 0 28718 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 117756
[startup+222.302 s]
/proc/loadavg: 1.04 1.73 1.66 2/107 13690
/proc/meminfo: memFree=1578416/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=145188 CPUtime=222.21
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 36967 0 0 0 21275 946 0 0 25 0 1 0 6287712 148672512 35508 1992294400 4194304 7136930 140733621881376 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 36297 35508 394 719 0 35576 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 145188
[startup+282.301 s]
/proc/loadavg: 1.01 1.60 1.62 2/107 13692
/proc/meminfo: memFree=1565024/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=158196 CPUtime=282.2
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 40318 0 0 0 27103 1117 0 0 25 0 1 0 6287712 161992704 38859 1992294400 4194304 7136930 140733621881376 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 39549 38859 394 719 0 38828 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 158196
[startup+342.301 s]
/proc/loadavg: 1.00 1.48 1.58 2/107 13692
/proc/meminfo: memFree=1542456/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=181192 CPUtime=342.17
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 46197 0 0 0 32873 1344 0 0 25 0 1 0 6287712 185540608 44738 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 45298 44738 394 719 0 44577 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 181192
[startup+402.302 s]
/proc/loadavg: 1.00 1.39 1.54 2/107 13694
/proc/meminfo: memFree=1519020/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=208148 CPUtime=402.15
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 51948 0 0 0 38705 1510 0 0 25 0 1 0 6287712 213143552 50489 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 52037 50489 394 719 0 51316 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 208148
[startup+462.301 s]
/proc/loadavg: 1.00 1.32 1.50 2/107 13696
/proc/meminfo: memFree=1493228/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=232636 CPUtime=462.13
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 58236 0 0 0 44516 1697 0 0 25 0 1 0 6287712 238219264 56777 1992294400 4194304 7136930 140733621881376 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 58159 56777 394 719 0 57438 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 232636
[startup+522.302 s]
/proc/loadavg: 1.00 1.26 1.47 2/107 13698
/proc/meminfo: memFree=1470908/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=254840 CPUtime=522.11
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 63902 0 0 0 50328 1883 0 0 25 0 1 0 6287712 260956160 62443 1992294400 4194304 7136930 140733621881376 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 63710 62443 394 719 0 62989 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 254840
[startup+582.301 s]
/proc/loadavg: 1.00 1.21 1.43 2/107 13700
/proc/meminfo: memFree=1437304/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=286984 CPUtime=582.09
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 72114 0 0 0 56101 2108 0 0 25 0 1 0 6287712 293871616 70655 1992294400 4194304 7136930 140733621881376 18446744073709551615 4679059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 71746 70655 394 719 0 71025 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 286984
[startup+642.302 s]
/proc/loadavg: 1.00 1.17 1.40 2/107 13700
/proc/meminfo: memFree=1408908/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=314576 CPUtime=642.08
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 79175 0 0 0 61907 2301 0 0 25 0 1 0 6287712 322125824 77716 1992294400 4194304 7136930 140733621881376 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 78644 77716 394 719 0 77923 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 314576
[startup+702.301 s]
################
# More data... #
################
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 105134 0 0 0 96913 3284 0 0 25 0 1 0 6287712 434995200 103675 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 106200 103675 394 719 0 105479 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 424800
[startup+1062.3 s]
/proc/loadavg: 1.00 1.03 1.24 2/107 13712
/proc/meminfo: memFree=1281932/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=446852 CPUtime=1061.95
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 110790 0 0 0 102710 3485 0 0 25 0 1 0 6287712 457576448 109331 1992294400 4194304 7136930 140733621881376 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 111713 109331 394 719 0 110992 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 446852
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.22 2/107 13714
/proc/meminfo: memFree=1255148/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=472668 CPUtime=1121.93
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 117375 0 0 0 108502 3691 0 0 25 0 1 0 6287712 484012032 115916 1992294400 4194304 7136930 140733621881376 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 118167 115916 394 719 0 117446 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 472668
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.21 2/107 13716
/proc/meminfo: memFree=1241136/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=488284 CPUtime=1181.91
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 121349 0 0 0 114357 3834 0 0 25 0 1 0 6287712 500002816 119890 1992294400 4194304 7136930 140733621881376 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 122071 119890 394 719 0 121350 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 488284
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/107 13716
/proc/meminfo: memFree=1204556/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=521824 CPUtime=1241.89
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 129933 0 0 0 120153 4036 0 0 25 0 1 0 6287712 534347776 128474 1992294400 4194304 7136930 140733621881376 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 130456 128474 394 719 0 129735 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 521824
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/107 13718
/proc/meminfo: memFree=1176780/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=548796 CPUtime=1301.88
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 136844 0 0 0 125966 4222 0 0 25 0 1 0 6287712 561967104 135385 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 137199 135385 394 719 0 136478 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 548796
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 13720
/proc/meminfo: memFree=1158800/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=566796 CPUtime=1361.85
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 141340 0 0 0 131807 4378 0 0 25 0 1 0 6287712 580399104 139881 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 141699 139881 394 719 0 140978 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 566796
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 13722
/proc/meminfo: memFree=1145532/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=579376 CPUtime=1421.85
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 144637 0 0 0 137671 4514 0 0 25 0 1 0 6287712 593281024 143178 1992294400 4194304 7136930 140733621881376 18446744073709551615 4220995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 144844 143178 394 719 0 144123 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 579376
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 13724
/proc/meminfo: memFree=1130032/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=594588 CPUtime=1481.81
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 148497 0 0 0 143536 4645 0 0 25 0 1 0 6287712 608858112 147038 1992294400 4194304 7136930 140733621881376 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 148647 147038 394 719 0 147926 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 594588
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 13724
/proc/meminfo: memFree=1112176/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=611964 CPUtime=1541.8
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 152933 0 0 0 149404 4776 0 0 25 0 1 0 6287712 626651136 151474 1992294400 4194304 7136930 140733621881376 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 152991 151474 394 719 0 152270 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 611964
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 13726
/proc/meminfo: memFree=1092212/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=632168 CPUtime=1601.78
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 158108 0 0 0 155246 4932 0 0 25 0 1 0 6287712 647340032 156649 1992294400 4194304 7136930 140733621881376 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 158042 156649 394 719 0 157321 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 632168
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 13728
/proc/meminfo: memFree=1066916/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=656056 CPUtime=1661.76
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 164217 0 0 0 161084 5092 0 0 25 0 1 0 6287712 671801344 162758 1992294400 4194304 7136930 140733621881376 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 164014 162758 394 719 0 163293 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 656056
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 13730
/proc/meminfo: memFree=1045464/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=678284 CPUtime=1721.74
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 169936 0 0 0 166898 5276 0 0 25 0 1 0 6287712 694562816 168477 1992294400 4194304 7136930 140733621881376 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 169571 168477 394 719 0 168850 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 678284
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 13732
/proc/meminfo: memFree=1016572/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=704464 CPUtime=1781.72
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 176653 0 0 0 172713 5459 0 0 25 0 1 0 6287712 721371136 175194 1992294400 4194304 7136930 140733621881376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 176116 175194 394 719 0 175395 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 704464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 13732
/proc/meminfo: memFree=1007644/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=713176 CPUtime=1800.04
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 178875 0 0 0 174492 5512 0 0 25 0 1 0 6287712 730292224 177416 1992294400 4194304 7136930 140733621881376 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13674/statm: 178294 177416 394 719 0 177573 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 713176
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13674
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 13732
/proc/meminfo: memFree=1007644/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=713176 CPUtime=1800.82
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 178881 0 0 0 174570 5512 0 0 25 0 1 0 6287712 730292224 177422 1992294400 4194304 7136930 140733621881376 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13674/statm: 178294 177422 400 719 0 177573 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 713176
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 13733
/proc/meminfo: memFree=1007636/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=713176 CPUtime=1801.62
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 178881 0 0 0 174650 5512 0 0 25 0 1 0 6287712 730292224 177422 1992294400 4194304 7136930 140733621881376 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13674/statm: 178294 177422 400 719 0 177573 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 713176
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 13733
/proc/meminfo: memFree=1007636/2059040 swapFree=4192956/4192956
[pid=13674] ppid=13672 vsize=713176 CPUtime=1802.02
/proc/13674/stat : 13674 (pbscip.linux.x8) R 13672 13674 12511 0 -1 4202496 178881 0 0 0 174690 5512 0 0 25 0 1 0 6287712 730292224 177422 1992294400 4194304 7136930 140733621881376 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13674/statm: 178294 177422 400 719 0 177573 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 713176
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.68
CPU time (s): 1802.11
CPU user time (s): 1746.92
CPU system time (s): 55.1906
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 713176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.92
system time used= 55.1906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178881
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= 1
involuntary context switches= 5579
runsolver used 3.00054 second user time and 8.50771 second system time
The end