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-2663914-1276629854.opb>
0.00/0.01 c original problem has 253 variables (253 bin, 0 int, 0 impl, 0 cont) and 264 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.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 264 upgd conss, 484 impls, 22 clqs
0.00/0.04 c (0.0s) probing: 101/253 (39.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 484 implications, 22 cliques
0.00/0.04 c presolved problem has 253 variables (253 bin, 0 int, 0 impl, 0 cont) and 264 constraints
0.00/0.04 c 22 constraints of type <setppc>
0.00/0.04 c 242 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.01
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 1620
0.00/0.04 c
0.00/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c lp/solvefreq = -1
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 2 | 0 | - |1007k| 0 | - | 253 | 264 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 o 12441
0.00/0.06 c * 0.0s| 192 | 191 | 0 | 0.0 |1086k| 27 | - | 253 | 264 | 0 | 0 | 0 | 0 | 0 | 7.500000e+02 | 1.244100e+04 |1558.80%
0.09/0.15 o 10965
0.09/0.15 c * 0.1s| 835 | 820 | 0 | 0.0 |1471k| 61 | - | 253 | 264 | 0 | 0 | 0 | 2 | 0 | 1.787000e+03 | 1.096500e+04 | 513.60%
0.09/0.17 o 10942
0.09/0.17 c * 0.1s| 1048 | 1031 | 0 | 0.0 |1556k| 61 | - | 253 | 264 | 0 | 0 | 0 | 2 | 0 | 1.803000e+03 | 1.094200e+04 | 506.88%
0.60/0.63 o 10900
0.60/0.63 c * 0.6s| 4458 | 4372 | 0 | 0.0 |4103k| 68 | - | 253 | 270 | 0 | 0 | 0 | 43 | 0 | 2.235000e+03 | 1.090000e+04 | 387.70%
0.60/0.63 o 10553
0.60/0.63 c * 0.6s| 4459 | 4360 | 0 | 0.0 |4101k| 68 | - | 253 | 270 | 0 | 0 | 0 | 43 | 0 | 2.235000e+03 | 1.055300e+04 | 372.17%
0.79/0.81 o 10527
0.79/0.81 c * 0.7s| 5630 | 5452 | 0 | 0.0 |5135k| 69 | - | 253 | 273 | 0 | 0 | 0 | 86 | 0 | 2.407000e+03 | 1.052700e+04 | 337.35%
0.79/0.84 o 10411
0.79/0.84 c * 0.7s| 5810 | 5615 | 0 | 0.0 |5272k| 69 | - | 253 | 275 | 0 | 0 | 0 | 91 | 0 | 2.441000e+03 | 1.041100e+04 | 326.51%
1.39/1.41 c 1.2s| 10000 | 9541 | 0 | 0.0 |8188k| 72 | - | 253 | 311 | 0 | 0 | 0 | 266 | 0 | 3.310000e+03 | 1.041100e+04 | 214.53%
1.59/1.62 o 10312
1.59/1.62 c * 1.4s| 11489 | 10901 | 0 | 0.0 |9134k| 72 | - | 253 | 312 | 0 | 0 | 0 | 345 | 0 | 3.407000e+03 | 1.031200e+04 | 202.67%
1.59/1.62 o 10249
1.59/1.62 c * 1.4s| 11490 | 10893 | 0 | 0.0 |9132k| 72 | - | 253 | 312 | 0 | 0 | 0 | 345 | 0 | 3.407000e+03 | 1.024900e+04 | 200.82%
1.99/2.07 o 10182
1.99/2.07 c * 1.8s| 14706 | 13825 | 0 | 0.0 | 11M| 72 | - | 253 | 318 | 0 | 0 | 0 | 528 | 0 | 3.528000e+03 | 1.018200e+04 | 188.61%
2.79/2.81 c 2.4s| 20000 | 18631 | 0 | 0.0 | 14M| 73 | - | 253 | 348 | 0 | 0 | 0 | 865 | 0 | 3.694000e+03 | 1.018200e+04 | 175.64%
4.09/4.15 c 3.6s| 30000 | 27903 | 0 | 0.0 | 19M| 79 | - | 253 | 405 | 0 | 0 | 0 |1394 | 0 | 3.959000e+03 | 1.018200e+04 | 157.19%
5.39/5.42 c 4.7s| 40000 | 37303 | 0 | 0.0 | 24M| 79 | - | 253 | 379 | 0 | 0 | 0 |1861 | 0 | 4.204000e+03 | 1.018200e+04 | 142.20%
6.60/6.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.60/6.61 c 5.7s| 50000 | 47007 | 0 | 0.0 | 28M| 79 | - | 253 | 346 | 0 | 0 | 0 |2088 | 0 | 4.392000e+03 | 1.018200e+04 | 131.83%
7.69/7.77 c 6.7s| 60000 | 56737 | 0 | 0.0 | 32M| 81 | - | 253 | 348 | 0 | 0 | 0 |2269 | 0 | 4.520000e+03 | 1.018200e+04 | 125.27%
8.89/8.92 c 7.7s| 70000 | 66510 | 0 | 0.0 | 36M| 81 | - | 253 | 370 | 0 | 0 | 0 |2477 | 0 | 4.614000e+03 | 1.018200e+04 | 120.68%
9.99/10.10 c 8.7s| 80000 | 76288 | 0 | 0.0 | 40M| 82 | - | 253 | 378 | 0 | 0 | 0 |2654 | 0 | 4.700000e+03 | 1.018200e+04 | 116.64%
11.18/11.28 c 9.8s| 90000 | 86016 | 0 | 0.0 | 44M| 82 | - | 253 | 462 | 0 | 0 | 0 |2950 | 0 | 4.765000e+03 | 1.018200e+04 | 113.68%
12.49/12.53 c 10.9s|100000 | 95817 | 0 | 0.0 | 48M| 82 | - | 253 | 442 | 0 | 0 | 0 |3165 | 0 | 4.826000e+03 | 1.018200e+04 | 110.98%
13.69/13.78 c 12.0s|110000 |105579 | 0 | 0.0 | 52M| 82 | - | 253 | 470 | 0 | 0 | 0 |3402 | 0 | 4.873000e+03 | 1.018200e+04 | 108.95%
14.98/15.03 c 13.1s|120000 |115361 | 0 | 0.0 | 56M| 82 | - | 253 | 461 | 0 | 0 | 0 |3624 | 0 | 4.918000e+03 | 1.018200e+04 | 107.04%
16.18/16.28 c 14.2s|130000 |125136 | 0 | 0.0 | 60M| 82 | - | 253 | 457 | 0 | 0 | 0 |3821 | 0 | 4.961000e+03 | 1.018200e+04 | 105.24%
17.48/17.52 c 15.3s|140000 |134924 | 0 | 0.0 | 64M| 82 | - | 253 | 484 | 0 | 0 | 0 |4030 | 0 | 5.004000e+03 | 1.018200e+04 | 103.48%
18.48/18.58 o 9980
18.48/18.58 c *16.2s|148425 |142800 | 0 | 0.0 | 67M| 82 | - | 253 | 528 | 0 | 0 | 0 |4282 | 0 | 5.035000e+03 | 9.980000e+03 | 98.21%
18.69/18.78 c 16.4s|150000 |144318 | 0 | 0.0 | 68M| 82 | - | 253 | 530 | 0 | 0 | 0 |4339 | 0 | 5.041000e+03 | 9.980000e+03 | 97.98%
19.98/20.08 c 17.6s|160000 |153886 | 0 | 0.0 | 72M| 82 | - | 253 | 718 | 0 | 0 | 0 |4847 | 0 | 5.077000e+03 | 9.980000e+03 | 96.57%
21.28/21.37 c 18.7s|170000 |163509 | 0 | 0.0 | 76M| 82 | - | 253 | 770 | 0 | 0 | 0 |5287 | 0 | 5.110000e+03 | 9.980000e+03 | 95.30%
22.58/22.65 c 19.8s|180000 |173202 | 0 | 0.0 | 79M| 82 | - | 253 | 815 | 0 | 0 | 0 |5670 | 0 | 5.137000e+03 | 9.980000e+03 | 94.28%
23.88/23.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.88/23.96 c 21.0s|190000 |182752 | 0 | 0.0 | 83M| 82 | - | 253 | 901 | 0 | 0 | 0 |6196 | 0 | 5.162000e+03 | 9.980000e+03 | 93.34%
25.18/25.25 c 22.1s|200000 |192401 | 0 | 0.0 | 87M| 82 | - | 253 | 892 | 0 | 0 | 0 |6623 | 0 | 5.183000e+03 | 9.980000e+03 | 92.55%
26.49/26.55 c 23.3s|210000 |201987 | 0 | 0.0 | 90M| 82 | - | 253 | 949 | 0 | 0 | 0 |7118 | 0 | 5.205000e+03 | 9.980000e+03 | 91.74%
27.78/27.88 c 24.5s|220000 |211594 | 0 | 0.0 | 94M| 82 | - | 253 | 955 | 0 | 0 | 0 |7597 | 0 | 5.227000e+03 | 9.980000e+03 | 90.93%
29.18/29.21 c 25.6s|230000 |221201 | 0 | 0.0 | 98M| 82 | - | 253 |1017 | 0 | 0 | 0 |8061 | 0 | 5.252000e+03 | 9.980000e+03 | 90.02%
30.47/30.53 c 26.8s|240000 |230785 | 0 | 0.0 | 101M| 82 | - | 253 |1059 | 0 | 0 | 0 |8548 | 0 | 5.276000e+03 | 9.980000e+03 | 89.16%
31.77/31.86 c 28.0s|250000 |240386 | 0 | 0.0 | 105M| 83 | - | 253 |1165 | 0 | 0 | 0 |9045 | 0 | 5.296000e+03 | 9.980000e+03 | 88.44%
33.08/33.17 c 29.2s|260000 |250096 | 0 | 0.0 | 108M| 83 | - | 253 |1129 | 0 | 0 | 0 |9420 | 0 | 5.313000e+03 | 9.980000e+03 | 87.84%
34.38/34.49 c 30.3s|270000 |259757 | 0 | 0.0 | 112M| 83 | - | 253 |1098 | 0 | 0 | 0 |9798 | 0 | 5.329000e+03 | 9.980000e+03 | 87.28%
35.77/35.84 c 31.5s|280000 |269270 | 0 | 0.0 | 115M| 83 | - | 253 |1239 | 0 | 0 | 0 | 10k| 0 | 5.348000e+03 | 9.980000e+03 | 86.61%
37.07/37.20 c 32.7s|290000 |278751 | 0 | 0.0 | 119M| 84 | - | 253 |1293 | 0 | 0 | 0 | 11k| 0 | 5.365000e+03 | 9.980000e+03 | 86.02%
38.48/38.60 c 34.0s|300000 |288112 | 0 | 0.0 | 123M| 84 | - | 253 |1382 | 0 | 0 | 0 | 11k| 0 | 5.384000e+03 | 9.980000e+03 | 85.36%
39.98/40.06 c 35.3s|310000 |297409 | 0 | 0.0 | 126M| 84 | - | 253 |1550 | 0 | 0 | 0 | 12k| 0 | 5.405000e+03 | 9.980000e+03 | 84.64%
41.37/41.49 c 36.6s|320000 |306759 | 0 | 0.0 | 129M| 84 | - | 253 |1543 | 0 | 0 | 0 | 13k| 0 | 5.424000e+03 | 9.980000e+03 | 84.00%
42.87/42.93 c 37.9s|330000 |316128 | 0 | 0.0 | 133M| 84 | - | 253 |1691 | 0 | 0 | 0 | 14k| 0 | 5.439000e+03 | 9.980000e+03 | 83.49%
44.37/44.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.37/44.43 c 39.2s|340000 |325424 | 0 | 0.0 | 136M| 85 | - | 253 |1844 | 0 | 0 | 0 | 15k| 0 | 5.454000e+03 | 9.980000e+03 | 82.98%
45.87/45.98 c 40.6s|350000 |334604 | 0 | 0.0 | 140M| 85 | - | 253 |2080 | 0 | 0 | 0 | 16k| 0 | 5.467000e+03 | 9.980000e+03 | 82.55%
47.47/47.53 c 42.0s|360000 |343855 | 0 | 0.0 | 143M| 85 | - | 253 |2110 | 0 | 0 | 0 | 17k| 0 | 5.480000e+03 | 9.980000e+03 | 82.12%
49.07/49.15 c 43.4s|370000 |353040 | 0 | 0.0 | 147M| 85 | - | 253 |2182 | 0 | 0 | 0 | 18k| 0 | 5.493000e+03 | 9.980000e+03 | 81.69%
50.68/50.77 c 44.9s|380000 |362234 | 0 | 0.0 | 150M| 85 | - | 253 |2436 | 0 | 0 | 0 | 19k| 0 | 5.507000e+03 | 9.980000e+03 | 81.22%
52.36/52.46 c 46.4s|390000 |371369 | 0 | 0.0 | 153M| 85 | - | 253 |2479 | 0 | 0 | 0 | 20k| 0 | 5.520000e+03 | 9.980000e+03 | 80.80%
54.07/54.17 c 47.9s|400000 |380455 | 0 | 0.0 | 157M| 85 | - | 253 |2603 | 0 | 0 | 0 | 22k| 0 | 5.530000e+03 | 9.980000e+03 | 80.47%
55.77/55.87 c 49.5s|410000 |389636 | 0 | 0.0 | 160M| 85 | - | 253 |2688 | 0 | 0 | 0 | 23k| 0 | 5.540000e+03 | 9.980000e+03 | 80.14%
57.56/57.61 c 51.0s|420000 |398699 | 0 | 0.0 | 164M| 85 | - | 253 |2851 | 0 | 0 | 0 | 24k| 0 | 5.550000e+03 | 9.980000e+03 | 79.82%
59.27/59.37 c 52.6s|430000 |407804 | 0 | 0.0 | 167M| 85 | - | 253 |2886 | 0 | 0 | 0 | 25k| 0 | 5.559000e+03 | 9.980000e+03 | 79.53%
61.07/61.13 c 54.2s|440000 |416938 | 0 | 0.0 | 170M| 85 | - | 253 |3099 | 0 | 0 | 0 | 26k| 0 | 5.569000e+03 | 9.980000e+03 | 79.21%
62.86/62.94 c 55.9s|450000 |426119 | 0 | 0.0 | 174M| 85 | - | 253 |3020 | 0 | 0 | 0 | 27k| 0 | 5.577000e+03 | 9.980000e+03 | 78.95%
64.66/64.77 c 57.5s|460000 |435218 | 0 | 0.0 | 177M| 85 | - | 253 |3148 | 0 | 0 | 0 | 29k| 0 | 5.586000e+03 | 9.980000e+03 | 78.66%
66.57/66.63 c 59.2s|470000 |444368 | 0 | 0.0 | 180M| 85 | - | 253 |3189 | 0 | 0 | 0 | 30k| 0 | 5.594000e+03 | 9.980000e+03 | 78.41%
68.36/68.50 c 60.9s|480000 |453477 | 0 | 0.0 | 183M| 85 | - | 253 |3199 | 0 | 0 | 0 | 31k| 0 | 5.602000e+03 | 9.980000e+03 | 78.15%
68.76/68.80 o 9973
68.76/68.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.76/68.80 c *61.2s|481603 |454910 | 0 | 0.0 | 184M| 85 | - | 253 |3179 | 0 | 0 | 0 | 31k| 0 | 5.603000e+03 | 9.973000e+03 | 77.99%
70.27/70.35 c 62.6s|490000 |462596 | 0 | 0.0 | 187M| 85 | - | 253 |3165 | 0 | 0 | 0 | 32k| 0 | 5.610000e+03 | 9.973000e+03 | 77.77%
72.16/72.21 c 64.3s|500000 |471713 | 0 | 0.0 | 190M| 85 | - | 253 |3205 | 0 | 0 | 0 | 34k| 0 | 5.617000e+03 | 9.973000e+03 | 77.55%
73.96/74.08 c 66.0s|510000 |480787 | 0 | 0.0 | 193M| 85 | - | 253 |3163 | 0 | 0 | 0 | 35k| 0 | 5.623000e+03 | 9.973000e+03 | 77.36%
75.87/75.90 c 67.7s|520000 |489981 | 0 | 0.0 | 197M| 85 | - | 253 |3155 | 0 | 0 | 0 | 36k| 0 | 5.631000e+03 | 9.973000e+03 | 77.11%
77.67/77.77 c 69.4s|530000 |499074 | 0 | 0.0 | 200M| 85 | - | 253 |3130 | 0 | 0 | 0 | 37k| 0 | 5.637000e+03 | 9.973000e+03 | 76.92%
79.56/79.67 c 71.1s|540000 |508112 | 0 | 0.0 | 203M| 85 | - | 253 |3346 | 0 | 0 | 0 | 39k| 0 | 5.644000e+03 | 9.973000e+03 | 76.70%
81.56/81.62 c 72.9s|550000 |517151 | 0 | 0.0 | 206M| 85 | - | 253 |3542 | 0 | 0 | 0 | 40k| 0 | 5.651000e+03 | 9.973000e+03 | 76.48%
83.46/83.59 c 74.7s|560000 |526216 | 0 | 0.0 | 210M| 85 | - | 253 |3502 | 0 | 0 | 0 | 41k| 0 | 5.657000e+03 | 9.973000e+03 | 76.29%
85.56/85.61 c 76.6s|570000 |535165 | 0 | 0.0 | 213M| 85 | - | 253 |3711 | 0 | 0 | 0 | 43k| 0 | 5.665000e+03 | 9.973000e+03 | 76.05%
87.56/87.67 c 78.5s|580000 |544089 | 0 | 0.0 | 216M| 85 | - | 253 |3906 | 0 | 0 | 0 | 44k| 0 | 5.674000e+03 | 9.973000e+03 | 75.77%
89.66/89.76 c 80.4s|590000 |552992 | 0 | 0.0 | 220M| 85 | - | 253 |4186 | 0 | 0 | 0 | 46k| 0 | 5.681000e+03 | 9.973000e+03 | 75.55%
91.76/91.86 c 82.4s|600000 |561966 | 0 | 0.0 | 223M| 85 | - | 253 |4015 | 0 | 0 | 0 | 47k| 0 | 5.687000e+03 | 9.973000e+03 | 75.36%
93.86/93.96 c 84.3s|610000 |571100 | 0 | 0.0 | 226M| 85 | - | 253 |3955 | 0 | 0 | 0 | 48k| 0 | 5.694000e+03 | 9.973000e+03 | 75.15%
95.96/96.09 c 86.3s|620000 |579991 | 0 | 0.0 | 230M| 85 | - | 253 |4365 | 0 | 0 | 0 | 50k| 0 | 5.699000e+03 | 9.973000e+03 | 75.00%
98.26/98.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.26/98.36 c 88.4s|630000 |588847 | 0 | 0.0 | 233M| 85 | - | 253 |4401 | 0 | 0 | 0 | 52k| 0 | 5.704000e+03 | 9.973000e+03 | 74.84%
100.55/100.67 c 90.5s|640000 |597587 | 0 | 0.0 | 236M| 85 | - | 253 |4584 | 0 | 0 | 0 | 53k| 0 | 5.710000e+03 | 9.973000e+03 | 74.66%
102.86/102.96 c 92.7s|650000 |606482 | 0 | 0.0 | 239M| 85 | - | 253 |4584 | 0 | 0 | 0 | 55k| 0 | 5.716000e+03 | 9.973000e+03 | 74.48%
105.15/105.25 c 94.8s|660000 |615417 | 0 | 0.0 | 243M| 85 | - | 253 |4807 | 0 | 0 | 0 | 57k| 0 | 5.721000e+03 | 9.973000e+03 | 74.32%
107.45/107.58 c 96.9s|670000 |624295 | 0 | 0.0 | 246M| 85 | - | 253 |4786 | 0 | 0 | 0 | 58k| 0 | 5.728000e+03 | 9.973000e+03 | 74.11%
109.85/109.98 c 99.2s|680000 |633149 | 0 | 0.0 | 249M| 85 | - | 253 |4866 | 0 | 0 | 0 | 60k| 0 | 5.734000e+03 | 9.973000e+03 | 73.93%
112.26/112.30 c 101s|690000 |642186 | 0 | 0.0 | 252M| 85 | - | 253 |4709 | 0 | 0 | 0 | 61k| 0 | 5.739000e+03 | 9.973000e+03 | 73.78%
114.65/114.75 c 104s|700000 |650940 | 0 | 0.0 | 256M| 85 | - | 253 |5283 | 0 | 0 | 0 | 63k| 0 | 5.744000e+03 | 9.973000e+03 | 73.62%
117.35/117.41 c 106s|710000 |659525 | 0 | 0.0 | 259M| 85 | - | 253 |5529 | 0 | 0 | 0 | 65k| 0 | 5.751000e+03 | 9.973000e+03 | 73.41%
119.86/119.97 c 108s|720000 |668360 | 0 | 0.0 | 262M| 85 | - | 253 |5411 | 0 | 0 | 0 | 67k| 0 | 5.756000e+03 | 9.973000e+03 | 73.26%
122.45/122.55 c 111s|730000 |677082 | 0 | 0.0 | 266M| 85 | - | 253 |5598 | 0 | 0 | 0 | 69k| 0 | 5.762000e+03 | 9.973000e+03 | 73.08%
125.04/125.17 c 113s|740000 |685731 | 0 | 0.0 | 269M| 85 | - | 253 |6060 | 0 | 0 | 0 | 70k| 0 | 5.766000e+03 | 9.973000e+03 | 72.96%
127.74/127.83 c 116s|750000 |694616 | 0 | 0.0 | 272M| 85 | - | 253 |5995 | 0 | 0 | 0 | 72k| 0 | 5.771000e+03 | 9.973000e+03 | 72.81%
130.55/130.68 c 119s|760000 |703171 | 0 | 0.0 | 275M| 85 | - | 253 |6237 | 0 | 0 | 0 | 74k| 0 | 5.777000e+03 | 9.973000e+03 | 72.63%
133.54/133.61 c 121s|770000 |711799 | 0 | 0.0 | 279M| 85 | - | 253 |6617 | 0 | 0 | 0 | 76k| 0 | 5.781000e+03 | 9.973000e+03 | 72.51%
136.35/136.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.35/136.50 c 124s|780000 |720608 | 0 | 0.0 | 282M| 85 | - | 253 |6559 | 0 | 0 | 0 | 78k| 0 | 5.787000e+03 | 9.973000e+03 | 72.33%
139.34/139.44 c 127s|790000 |729299 | 0 | 0.0 | 285M| 85 | - | 253 |6606 | 0 | 0 | 0 | 80k| 0 | 5.792000e+03 | 9.973000e+03 | 72.19%
142.24/142.38 c 130s|800000 |738071 | 0 | 0.0 | 288M| 85 | - | 253 |6658 | 0 | 0 | 0 | 82k| 0 | 5.797000e+03 | 9.973000e+03 | 72.04%
145.25/145.37 c 132s|810000 |746886 | 0 | 0.0 | 291M| 85 | - | 253 |6631 | 0 | 0 | 0 | 83k| 0 | 5.803000e+03 | 9.973000e+03 | 71.86%
148.24/148.31 c 135s|820000 |755762 | 0 | 0.0 | 295M| 85 | - | 253 |6425 | 0 | 0 | 0 | 85k| 0 | 5.808000e+03 | 9.973000e+03 | 71.71%
151.13/151.24 c 138s|830000 |764569 | 0 | 0.0 | 298M| 85 | - | 253 |6623 | 0 | 0 | 0 | 87k| 0 | 5.813000e+03 | 9.973000e+03 | 71.56%
154.14/154.22 c 141s|840000 |773301 | 0 | 0.0 | 301M| 85 | - | 253 |6753 | 0 | 0 | 0 | 88k| 0 | 5.817000e+03 | 9.973000e+03 | 71.45%
157.13/157.23 c 144s|850000 |782098 | 0 | 0.0 | 304M| 85 | - | 253 |6695 | 0 | 0 | 0 | 90k| 0 | 5.821000e+03 | 9.973000e+03 | 71.33%
160.24/160.34 c 147s|860000 |790661 | 0 | 0.0 | 307M| 85 | - | 253 |6985 | 0 | 0 | 0 | 92k| 0 | 5.825000e+03 | 9.973000e+03 | 71.21%
163.23/163.40 c 149s|870000 |799382 | 0 | 0.0 | 311M| 85 | - | 253 |7097 | 0 | 0 | 0 | 94k| 0 | 5.829000e+03 | 9.973000e+03 | 71.09%
166.33/166.46 c 152s|880000 |808207 | 0 | 0.0 | 314M| 85 | - | 253 |7032 | 0 | 0 | 0 | 96k| 0 | 5.832000e+03 | 9.973000e+03 | 71.00%
169.53/169.64 c 155s|890000 |816911 | 0 | 0.0 | 317M| 85 | - | 253 |7310 | 0 | 0 | 0 | 98k| 0 | 5.837000e+03 | 9.973000e+03 | 70.86%
172.64/172.72 c 158s|900000 |825742 | 0 | 0.0 | 320M| 85 | - | 253 |7096 | 0 | 0 | 0 | 99k| 0 | 5.842000e+03 | 9.973000e+03 | 70.71%
175.74/175.81 c 161s|910000 |834565 | 0 | 0.0 | 323M| 85 | - | 253 |7202 | 0 | 0 | 0 | 101k| 0 | 5.846000e+03 | 9.973000e+03 | 70.60%
178.93/179.00 c 164s|920000 |843350 | 0 | 0.0 | 327M| 85 | - | 253 |6906 | 0 | 0 | 0 | 103k| 0 | 5.851000e+03 | 9.973000e+03 | 70.45%
182.03/182.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.03/182.12 c 167s|930000 |852161 | 0 | 0.0 | 330M| 85 | - | 253 |7069 | 0 | 0 | 0 | 105k| 0 | 5.855000e+03 | 9.973000e+03 | 70.33%
185.23/185.38 c 170s|940000 |860637 | 0 | 0.0 | 333M| 85 | - | 253 |7570 | 0 | 0 | 0 | 107k| 0 | 5.859000e+03 | 9.973000e+03 | 70.22%
188.53/188.68 c 173s|950000 |869351 | 0 | 0.0 | 336M| 85 | - | 253 |7675 | 0 | 0 | 0 | 109k| 0 | 5.862000e+03 | 9.973000e+03 | 70.13%
191.93/192.04 c 177s|960000 |878061 | 0 | 0.0 | 339M| 86 | - | 253 |7704 | 0 | 0 | 0 | 111k| 0 | 5.866000e+03 | 9.973000e+03 | 70.01%
195.33/195.48 c 180s|970000 |886477 | 0 | 0.0 | 343M| 86 | - | 253 |7898 | 0 | 0 | 0 | 113k| 0 | 5.871000e+03 | 9.973000e+03 | 69.87%
198.83/198.92 c 183s|980000 |895115 | 0 | 0.0 | 346M| 86 | - | 253 |7932 | 0 | 0 | 0 | 115k| 0 | 5.875000e+03 | 9.973000e+03 | 69.75%
202.33/202.47 c 186s|990000 |903626 | 0 | 0.0 | 349M| 86 | - | 253 |8298 | 0 | 0 | 0 | 117k| 0 | 5.879000e+03 | 9.973000e+03 | 69.64%
205.93/206.01 c 190s| 1000k|912384 | 0 | 0.0 | 352M| 86 | - | 253 |7941 | 0 | 0 | 0 | 119k| 0 | 5.884000e+03 | 9.973000e+03 | 69.49%
209.52/209.61 c 193s| 1010k|920978 | 0 | 0.0 | 355M| 86 | - | 253 |7817 | 0 | 0 | 0 | 121k| 0 | 5.888000e+03 | 9.973000e+03 | 69.38%
213.02/213.12 c 197s| 1020k|929567 | 0 | 0.0 | 359M| 86 | - | 253 |8289 | 0 | 0 | 0 | 123k| 0 | 5.892000e+03 | 9.973000e+03 | 69.26%
216.62/216.77 c 200s| 1030k|938056 | 0 | 0.0 | 362M| 86 | - | 253 |8651 | 0 | 0 | 0 | 125k| 0 | 5.896000e+03 | 9.973000e+03 | 69.15%
217.51/217.69 o 9880
217.51/217.69 c * 201s| 1032k|937946 | 0 | 0.0 | 362M| 86 | - | 253 |8720 | 0 | 0 | 0 | 126k| 0 | 5.897000e+03 | 9.880000e+03 | 67.54%
220.51/220.68 c 204s| 1040k|944365 | 0 | 0.0 | 364M| 86 | - | 253 |8618 | 0 | 0 | 0 | 127k| 0 | 5.899000e+03 | 9.880000e+03 | 67.49%
224.43/224.55 c 208s| 1050k|952799 | 0 | 0.0 | 368M| 86 | - | 253 |8870 | 0 | 0 | 0 | 130k| 0 | 5.903000e+03 | 9.880000e+03 | 67.37%
228.21/228.39 c 211s| 1060k|961219 | 0 | 0.0 | 371M| 86 | - | 253 |9005 | 0 | 0 | 0 | 132k| 0 | 5.906000e+03 | 9.880000e+03 | 67.29%
232.22/232.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.22/232.32 c 215s| 1070k|969676 | 0 | 0.0 | 374M| 86 | - | 253 |9075 | 0 | 0 | 0 | 134k| 0 | 5.910000e+03 | 9.880000e+03 | 67.17%
236.22/236.39 c 219s| 1080k|978160 | 0 | 0.0 | 377M| 86 | - | 253 |9002 | 0 | 0 | 0 | 137k| 0 | 5.913000e+03 | 9.880000e+03 | 67.09%
240.21/240.36 c 223s| 1090k|986471 | 0 | 0.0 | 380M| 86 | - | 253 |8842 | 0 | 0 | 0 | 139k| 0 | 5.917000e+03 | 9.880000e+03 | 66.98%
244.12/244.22 c 226s| 1100k|994972 | 0 | 0.0 | 383M| 86 | - | 253 |8801 | 0 | 0 | 0 | 141k| 0 | 5.921000e+03 | 9.880000e+03 | 66.86%
248.02/248.11 c 230s| 1110k| 1003k| 0 | 0.0 | 386M| 86 | - | 253 |8890 | 0 | 0 | 0 | 144k| 0 | 5.925000e+03 | 9.880000e+03 | 66.75%
251.81/251.92 c 234s| 1120k| 1011k| 0 | 0.0 | 389M| 86 | - | 253 |8648 | 0 | 0 | 0 | 146k| 0 | 5.929000e+03 | 9.880000e+03 | 66.64%
255.80/255.97 c 238s| 1130k| 1020k| 0 | 0.0 | 393M| 86 | - | 253 |8963 | 0 | 0 | 0 | 149k| 0 | 5.933000e+03 | 9.880000e+03 | 66.53%
259.81/259.95 c 241s| 1140k| 1028k| 0 | 0.0 | 396M| 86 | - | 253 |9296 | 0 | 0 | 0 | 151k| 0 | 5.937000e+03 | 9.880000e+03 | 66.41%
263.91/264.09 c 245s| 1150k| 1036k| 0 | 0.0 | 399M| 86 | - | 253 |9336 | 0 | 0 | 0 | 154k| 0 | 5.941000e+03 | 9.880000e+03 | 66.30%
268.00/268.12 c 249s| 1160k| 1045k| 0 | 0.0 | 402M| 86 | - | 253 |9533 | 0 | 0 | 0 | 156k| 0 | 5.944000e+03 | 9.880000e+03 | 66.22%
272.11/272.20 c 253s| 1170k| 1053k| 0 | 0.0 | 405M| 86 | - | 253 |9374 | 0 | 0 | 0 | 158k| 0 | 5.947000e+03 | 9.880000e+03 | 66.13%
276.40/276.52 c 257s| 1180k| 1061k| 0 | 0.0 | 408M| 86 | - | 253 |9785 | 0 | 0 | 0 | 161k| 0 | 5.951000e+03 | 9.880000e+03 | 66.02%
280.51/280.62 c 261s| 1190k| 1070k| 0 | 0.0 | 412M| 86 | - | 253 |9701 | 0 | 0 | 0 | 164k| 0 | 5.955000e+03 | 9.880000e+03 | 65.91%
284.81/284.94 c 265s| 1200k| 1078k| 0 | 0.0 | 415M| 86 | - | 253 | 10k| 0 | 0 | 0 | 166k| 0 | 5.959000e+03 | 9.880000e+03 | 65.80%
289.00/289.18 c 269s| 1210k| 1086k| 0 | 0.0 | 418M| 86 | - | 253 |9823 | 0 | 0 | 0 | 169k| 0 | 5.962000e+03 | 9.880000e+03 | 65.72%
293.40/293.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.40/293.53 c 274s| 1220k| 1095k| 0 | 0.0 | 421M| 86 | - | 253 | 10k| 0 | 0 | 0 | 171k| 0 | 5.964000e+03 | 9.880000e+03 | 65.66%
298.00/298.10 c 278s| 1230k| 1103k| 0 | 0.0 | 424M| 86 | - | 253 | 10k| 0 | 0 | 0 | 174k| 0 | 5.967000e+03 | 9.880000e+03 | 65.58%
302.39/302.50 c 282s| 1240k| 1111k| 0 | 0.0 | 427M| 86 | - | 253 | 10k| 0 | 0 | 0 | 176k| 0 | 5.970000e+03 | 9.880000e+03 | 65.49%
306.98/307.16 c 287s| 1250k| 1119k| 0 | 0.0 | 430M| 86 | - | 253 | 10k| 0 | 0 | 0 | 179k| 0 | 5.974000e+03 | 9.880000e+03 | 65.38%
311.79/311.92 c 291s| 1260k| 1128k| 0 | 0.0 | 434M| 86 | - | 253 | 10k| 0 | 0 | 0 | 181k| 0 | 5.977000e+03 | 9.880000e+03 | 65.30%
316.28/316.45 c 296s| 1270k| 1136k| 0 | 0.0 | 437M| 86 | - | 253 | 10k| 0 | 0 | 0 | 184k| 0 | 5.980000e+03 | 9.880000e+03 | 65.22%
320.98/321.11 c 300s| 1280k| 1144k| 0 | 0.0 | 440M| 87 | - | 253 | 10k| 0 | 0 | 0 | 186k| 0 | 5.983000e+03 | 9.880000e+03 | 65.13%
325.49/325.69 c 305s| 1290k| 1153k| 0 | 0.0 | 443M| 87 | - | 253 | 10k| 0 | 0 | 0 | 189k| 0 | 5.986000e+03 | 9.880000e+03 | 65.05%
330.28/330.45 c 309s| 1300k| 1161k| 0 | 0.0 | 446M| 87 | - | 253 | 10k| 0 | 0 | 0 | 192k| 0 | 5.990000e+03 | 9.880000e+03 | 64.94%
330.99/331.11 o 9554
330.99/331.11 c * 310s| 1301k| 1141k| 0 | 0.0 | 441M| 87 | - | 253 | 10k| 0 | 0 | 0 | 192k| 0 | 5.990000e+03 | 9.554000e+03 | 59.50%
335.68/335.82 c 314s| 1310k| 1148k| 0 | 0.0 | 443M| 87 | - | 253 | 11k| 0 | 0 | 0 | 195k| 0 | 5.992000e+03 | 9.554000e+03 | 59.45%
341.57/341.70 c 320s| 1320k| 1155k| 0 | 0.0 | 447M| 87 | - | 253 | 12k| 0 | 0 | 0 | 199k| 0 | 5.995000e+03 | 9.554000e+03 | 59.37%
347.67/347.88 c 326s| 1330k| 1163k| 0 | 0.0 | 450M| 87 | - | 253 | 12k| 0 | 0 | 0 | 204k| 0 | 5.999000e+03 | 9.554000e+03 | 59.26%
353.57/353.76 c 332s| 1340k| 1170k| 0 | 0.0 | 453M| 87 | - | 253 | 12k| 0 | 0 | 0 | 207k| 0 | 6.002000e+03 | 9.554000e+03 | 59.18%
359.68/359.83 c 338s| 1350k| 1178k| 0 | 0.0 | 456M| 87 | - | 253 | 13k| 0 | 0 | 0 | 212k| 0 | 6.006000e+03 | 9.554000e+03 | 59.07%
365.76/366.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.76/366.00 c 344s| 1360k| 1185k| 0 | 0.0 | 459M| 87 | - | 253 | 13k| 0 | 0 | 0 | 216k| 0 | 6.009000e+03 | 9.554000e+03 | 58.99%
371.97/372.17 c 350s| 1370k| 1193k| 0 | 0.0 | 462M| 87 | - | 253 | 13k| 0 | 0 | 0 | 220k| 0 | 6.012000e+03 | 9.554000e+03 | 58.92%
377.96/378.19 c 356s| 1380k| 1200k| 0 | 0.0 | 465M| 87 | - | 253 | 13k| 0 | 0 | 0 | 224k| 0 | 6.015000e+03 | 9.554000e+03 | 58.84%
384.26/384.43 c 362s| 1390k| 1208k| 0 | 0.0 | 468M| 87 | - | 253 | 13k| 0 | 0 | 0 | 228k| 0 | 6.018000e+03 | 9.554000e+03 | 58.76%
390.56/390.78 c 368s| 1400k| 1215k| 0 | 0.0 | 471M| 87 | - | 253 | 13k| 0 | 0 | 0 | 232k| 0 | 6.021000e+03 | 9.554000e+03 | 58.68%
396.66/396.87 c 374s| 1410k| 1223k| 0 | 0.0 | 474M| 87 | - | 253 | 14k| 0 | 0 | 0 | 236k| 0 | 6.024000e+03 | 9.554000e+03 | 58.60%
402.86/403.04 c 380s| 1420k| 1231k| 0 | 0.0 | 477M| 87 | - | 253 | 14k| 0 | 0 | 0 | 240k| 0 | 6.026000e+03 | 9.554000e+03 | 58.55%
409.25/409.43 c 386s| 1430k| 1238k| 0 | 0.0 | 480M| 87 | - | 253 | 14k| 0 | 0 | 0 | 244k| 0 | 6.029000e+03 | 9.554000e+03 | 58.47%
415.76/415.96 c 392s| 1440k| 1246k| 0 | 0.0 | 483M| 87 | - | 253 | 15k| 0 | 0 | 0 | 248k| 0 | 6.032000e+03 | 9.554000e+03 | 58.39%
422.44/422.67 c 399s| 1450k| 1253k| 0 | 0.0 | 486M| 87 | - | 253 | 15k| 0 | 0 | 0 | 252k| 0 | 6.034000e+03 | 9.554000e+03 | 58.34%
429.34/429.55 c 405s| 1460k| 1261k| 0 | 0.0 | 489M| 87 | - | 253 | 15k| 0 | 0 | 0 | 255k| 0 | 6.037000e+03 | 9.554000e+03 | 58.26%
436.14/436.37 c 412s| 1470k| 1269k| 0 | 0.0 | 492M| 87 | - | 253 | 15k| 0 | 0 | 0 | 259k| 0 | 6.040000e+03 | 9.554000e+03 | 58.18%
442.75/443.00 c 418s| 1480k| 1276k| 0 | 0.0 | 495M| 87 | - | 253 | 15k| 0 | 0 | 0 | 263k| 0 | 6.043000e+03 | 9.554000e+03 | 58.10%
449.44/449.66 c 425s| 1490k| 1284k| 0 | 0.0 | 498M| 87 | - | 253 | 15k| 0 | 0 | 0 | 266k| 0 | 6.046000e+03 | 9.554000e+03 | 58.02%
456.45/456.66 c 432s| 1500k| 1292k| 0 | 0.0 | 501M| 87 | - | 253 | 15k| 0 | 0 | 0 | 270k| 0 | 6.049000e+03 | 9.554000e+03 | 57.94%
463.33/463.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.33/463.54 c 438s| 1510k| 1299k| 0 | 0.0 | 504M| 87 | - | 253 | 15k| 0 | 0 | 0 | 274k| 0 | 6.052000e+03 | 9.554000e+03 | 57.87%
470.53/470.76 c 446s| 1520k| 1307k| 0 | 0.0 | 507M| 87 | - | 253 | 16k| 0 | 0 | 0 | 278k| 0 | 6.054000e+03 | 9.554000e+03 | 57.81%
477.93/478.20 c 453s| 1530k| 1314k| 0 | 0.0 | 511M| 87 | - | 253 | 17k| 0 | 0 | 0 | 283k| 0 | 6.057000e+03 | 9.554000e+03 | 57.73%
485.53/485.74 c 460s| 1540k| 1322k| 0 | 0.0 | 514M| 87 | - | 253 | 17k| 0 | 0 | 0 | 287k| 0 | 6.059000e+03 | 9.554000e+03 | 57.68%
493.23/493.40 c 468s| 1550k| 1329k| 0 | 0.0 | 516M| 87 | - | 253 | 17k| 0 | 0 | 0 | 291k| 0 | 6.062000e+03 | 9.554000e+03 | 57.60%
501.01/501.28 c 475s| 1560k| 1336k| 0 | 0.0 | 519M| 87 | - | 253 | 17k| 0 | 0 | 0 | 296k| 0 | 6.065000e+03 | 9.554000e+03 | 57.53%
508.81/509.00 c 483s| 1570k| 1344k| 0 | 0.0 | 522M| 87 | - | 253 | 16k| 0 | 0 | 0 | 300k| 0 | 6.068000e+03 | 9.554000e+03 | 57.45%
516.22/516.44 c 490s| 1580k| 1351k| 0 | 0.0 | 525M| 87 | - | 253 | 16k| 0 | 0 | 0 | 304k| 0 | 6.070000e+03 | 9.554000e+03 | 57.40%
523.91/524.18 c 498s| 1590k| 1359k| 0 | 0.0 | 528M| 87 | - | 253 | 17k| 0 | 0 | 0 | 308k| 0 | 6.074000e+03 | 9.554000e+03 | 57.29%
531.61/531.88 c 505s| 1600k| 1366k| 0 | 0.0 | 531M| 87 | - | 253 | 17k| 0 | 0 | 0 | 312k| 0 | 6.077000e+03 | 9.554000e+03 | 57.22%
539.60/539.86 c 513s| 1610k| 1374k| 0 | 0.0 | 534M| 87 | - | 253 | 17k| 0 | 0 | 0 | 317k| 0 | 6.080000e+03 | 9.554000e+03 | 57.14%
547.61/547.83 c 521s| 1620k| 1381k| 0 | 0.0 | 537M| 87 | - | 253 | 17k| 0 | 0 | 0 | 321k| 0 | 6.083000e+03 | 9.554000e+03 | 57.06%
555.60/555.81 c 529s| 1630k| 1388k| 0 | 0.0 | 540M| 87 | - | 253 | 17k| 0 | 0 | 0 | 326k| 0 | 6.086000e+03 | 9.554000e+03 | 56.98%
563.60/563.88 c 536s| 1640k| 1396k| 0 | 0.0 | 543M| 87 | - | 253 | 17k| 0 | 0 | 0 | 330k| 0 | 6.089000e+03 | 9.554000e+03 | 56.91%
571.70/571.90 c 544s| 1650k| 1403k| 0 | 0.0 | 546M| 87 | - | 253 | 18k| 0 | 0 | 0 | 334k| 0 | 6.092000e+03 | 9.554000e+03 | 56.83%
579.89/580.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
579.89/580.19 c 552s| 1660k| 1410k| 0 | 0.0 | 549M| 87 | - | 253 | 18k| 0 | 0 | 0 | 339k| 0 | 6.095000e+03 | 9.554000e+03 | 56.75%
587.99/588.21 c 560s| 1670k| 1418k| 0 | 0.0 | 552M| 87 | - | 253 | 18k| 0 | 0 | 0 | 343k| 0 | 6.097000e+03 | 9.554000e+03 | 56.70%
596.19/596.43 c 568s| 1680k| 1426k| 0 | 0.0 | 555M| 87 | - | 253 | 18k| 0 | 0 | 0 | 347k| 0 | 6.099000e+03 | 9.554000e+03 | 56.65%
604.48/604.71 c 576s| 1690k| 1433k| 0 | 0.0 | 558M| 87 | - | 253 | 18k| 0 | 0 | 0 | 351k| 0 | 6.102000e+03 | 9.554000e+03 | 56.57%
613.28/613.54 c 585s| 1700k| 1440k| 0 | 0.0 | 561M| 87 | - | 253 | 18k| 0 | 0 | 0 | 356k| 0 | 6.104000e+03 | 9.554000e+03 | 56.52%
621.78/622.06 c 593s| 1710k| 1448k| 0 | 0.0 | 564M| 87 | - | 253 | 18k| 0 | 0 | 0 | 360k| 0 | 6.106000e+03 | 9.554000e+03 | 56.47%
630.47/630.79 c 602s| 1720k| 1455k| 0 | 0.0 | 567M| 87 | - | 253 | 19k| 0 | 0 | 0 | 364k| 0 | 6.108000e+03 | 9.554000e+03 | 56.42%
638.98/639.28 c 610s| 1730k| 1462k| 0 | 0.0 | 570M| 87 | - | 253 | 18k| 0 | 0 | 0 | 369k| 0 | 6.111000e+03 | 9.554000e+03 | 56.34%
647.17/647.46 c 618s| 1740k| 1470k| 0 | 0.0 | 573M| 87 | - | 253 | 18k| 0 | 0 | 0 | 373k| 0 | 6.113000e+03 | 9.554000e+03 | 56.29%
655.96/656.22 c 627s| 1750k| 1477k| 0 | 0.0 | 576M| 87 | - | 253 | 19k| 0 | 0 | 0 | 377k| 0 | 6.116000e+03 | 9.554000e+03 | 56.21%
664.46/664.71 c 635s| 1760k| 1484k| 0 | 0.0 | 579M| 87 | - | 253 | 19k| 0 | 0 | 0 | 382k| 0 | 6.118000e+03 | 9.554000e+03 | 56.16%
673.27/673.59 c 644s| 1770k| 1492k| 0 | 0.0 | 581M| 87 | - | 253 | 19k| 0 | 0 | 0 | 386k| 0 | 6.121000e+03 | 9.554000e+03 | 56.09%
682.26/682.55 c 653s| 1780k| 1499k| 0 | 0.0 | 585M| 87 | - | 253 | 19k| 0 | 0 | 0 | 390k| 0 | 6.123000e+03 | 9.554000e+03 | 56.03%
691.26/691.52 c 661s| 1790k| 1507k| 0 | 0.0 | 587M| 87 | - | 253 | 19k| 0 | 0 | 0 | 394k| 0 | 6.126000e+03 | 9.554000e+03 | 55.96%
700.25/700.57 c 670s| 1800k| 1514k| 0 | 0.0 | 590M| 87 | - | 253 | 19k| 0 | 0 | 0 | 399k| 0 | 6.128000e+03 | 9.554000e+03 | 55.91%
709.45/709.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.45/709.73 c 679s| 1810k| 1522k| 0 | 0.0 | 593M| 87 | - | 253 | 20k| 0 | 0 | 0 | 403k| 0 | 6.131000e+03 | 9.554000e+03 | 55.83%
718.75/719.01 c 688s| 1820k| 1529k| 0 | 0.0 | 597M| 87 | - | 253 | 20k| 0 | 0 | 0 | 407k| 0 | 6.133000e+03 | 9.554000e+03 | 55.78%
727.96/728.22 c 697s| 1830k| 1536k| 0 | 0.0 | 600M| 87 | - | 253 | 21k| 0 | 0 | 0 | 412k| 0 | 6.135000e+03 | 9.554000e+03 | 55.73%
737.44/737.79 c 707s| 1840k| 1544k| 0 | 0.0 | 602M| 87 | - | 253 | 20k| 0 | 0 | 0 | 416k| 0 | 6.137000e+03 | 9.554000e+03 | 55.68%
747.15/747.45 c 716s| 1850k| 1551k| 0 | 0.0 | 605M| 87 | - | 253 | 21k| 0 | 0 | 0 | 421k| 0 | 6.140000e+03 | 9.554000e+03 | 55.60%
757.03/757.38 c 726s| 1860k| 1558k| 0 | 0.0 | 608M| 87 | - | 253 | 21k| 0 | 0 | 0 | 426k| 0 | 6.142000e+03 | 9.554000e+03 | 55.55%
767.14/767.43 c 736s| 1870k| 1565k| 0 | 0.0 | 611M| 87 | - | 253 | 21k| 0 | 0 | 0 | 430k| 0 | 6.145000e+03 | 9.554000e+03 | 55.48%
776.84/777.14 c 745s| 1880k| 1573k| 0 | 0.0 | 614M| 87 | - | 253 | 21k| 0 | 0 | 0 | 435k| 0 | 6.147000e+03 | 9.554000e+03 | 55.43%
786.53/786.83 c 755s| 1890k| 1580k| 0 | 0.0 | 617M| 87 | - | 253 | 22k| 0 | 0 | 0 | 439k| 0 | 6.149000e+03 | 9.554000e+03 | 55.37%
796.52/796.88 c 765s| 1900k| 1587k| 0 | 0.0 | 620M| 87 | - | 253 | 22k| 0 | 0 | 0 | 444k| 0 | 6.151000e+03 | 9.554000e+03 | 55.32%
806.52/806.85 c 774s| 1910k| 1594k| 0 | 0.0 | 623M| 87 | - | 253 | 22k| 0 | 0 | 0 | 448k| 0 | 6.154000e+03 | 9.554000e+03 | 55.25%
816.42/816.76 c 784s| 1920k| 1602k| 0 | 0.0 | 626M| 87 | - | 253 | 22k| 0 | 0 | 0 | 453k| 0 | 6.156000e+03 | 9.554000e+03 | 55.20%
827.12/827.46 c 795s| 1930k| 1609k| 0 | 0.0 | 629M| 87 | - | 253 | 22k| 0 | 0 | 0 | 457k| 0 | 6.157000e+03 | 9.554000e+03 | 55.17%
837.82/838.15 c 805s| 1940k| 1616k| 0 | 0.0 | 632M| 87 | - | 253 | 23k| 0 | 0 | 0 | 462k| 0 | 6.159000e+03 | 9.554000e+03 | 55.12%
848.31/848.69 c 815s| 1950k| 1623k| 0 | 0.0 | 635M| 87 | - | 253 | 23k| 0 | 0 | 0 | 467k| 0 | 6.161000e+03 | 9.554000e+03 | 55.07%
858.70/859.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
858.70/859.03 c 826s| 1960k| 1631k| 0 | 0.0 | 638M| 87 | - | 253 | 22k| 0 | 0 | 0 | 471k| 0 | 6.163000e+03 | 9.554000e+03 | 55.02%
869.40/869.73 c 836s| 1970k| 1638k| 0 | 0.0 | 641M| 87 | - | 253 | 23k| 0 | 0 | 0 | 476k| 0 | 6.165000e+03 | 9.554000e+03 | 54.97%
879.60/879.97 c 846s| 1980k| 1645k| 0 | 0.0 | 644M| 87 | - | 253 | 23k| 0 | 0 | 0 | 480k| 0 | 6.166000e+03 | 9.554000e+03 | 54.95%
890.00/890.33 c 856s| 1990k| 1652k| 0 | 0.0 | 647M| 87 | - | 253 | 23k| 0 | 0 | 0 | 485k| 0 | 6.168000e+03 | 9.554000e+03 | 54.90%
900.60/900.96 c 867s| 2000k| 1660k| 0 | 0.0 | 650M| 87 | - | 253 | 24k| 0 | 0 | 0 | 490k| 0 | 6.170000e+03 | 9.554000e+03 | 54.85%
911.99/912.30 c 878s| 2010k| 1667k| 0 | 0.0 | 652M| 87 | - | 253 | 23k| 0 | 0 | 0 | 494k| 0 | 6.172000e+03 | 9.554000e+03 | 54.80%
922.99/923.36 c 889s| 2020k| 1674k| 0 | 0.0 | 655M| 87 | - | 253 | 23k| 0 | 0 | 0 | 499k| 0 | 6.174000e+03 | 9.554000e+03 | 54.75%
934.29/934.65 c 900s| 2030k| 1681k| 0 | 0.0 | 658M| 87 | - | 253 | 23k| 0 | 0 | 0 | 504k| 0 | 6.176000e+03 | 9.554000e+03 | 54.70%
945.38/945.76 c 911s| 2040k| 1688k| 0 | 0.0 | 661M| 87 | - | 253 | 23k| 0 | 0 | 0 | 509k| 0 | 6.178000e+03 | 9.554000e+03 | 54.65%
956.48/956.80 c 922s| 2050k| 1695k| 0 | 0.0 | 664M| 87 | - | 253 | 23k| 0 | 0 | 0 | 513k| 0 | 6.181000e+03 | 9.554000e+03 | 54.57%
967.38/967.74 c 932s| 2060k| 1703k| 0 | 0.0 | 667M| 87 | - | 253 | 23k| 0 | 0 | 0 | 518k| 0 | 6.183000e+03 | 9.554000e+03 | 54.52%
978.48/978.87 c 943s| 2070k| 1710k| 0 | 0.0 | 670M| 87 | - | 253 | 23k| 0 | 0 | 0 | 523k| 0 | 6.185000e+03 | 9.554000e+03 | 54.47%
989.27/989.67 c 954s| 2080k| 1717k| 0 | 0.0 | 672M| 87 | - | 253 | 24k| 0 | 0 | 0 | 527k| 0 | 6.187000e+03 | 9.554000e+03 | 54.42%
1000.26/1000.63 c 965s| 2090k| 1724k| 0 | 0.0 | 675M| 87 | - | 253 | 24k| 0 | 0 | 0 | 532k| 0 | 6.189000e+03 | 9.554000e+03 | 54.37%
1011.46/1011.80 c 976s| 2100k| 1732k| 0 | 0.0 | 678M| 87 | - | 253 | 24k| 0 | 0 | 0 | 536k| 0 | 6.191000e+03 | 9.554000e+03 | 54.32%
1022.66/1023.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.66/1023.06 c 987s| 2110k| 1739k| 0 | 0.0 | 681M| 87 | - | 253 | 24k| 0 | 0 | 0 | 541k| 0 | 6.193000e+03 | 9.554000e+03 | 54.27%
1033.95/1034.37 c 998s| 2120k| 1746k| 0 | 0.0 | 684M| 87 | - | 253 | 24k| 0 | 0 | 0 | 546k| 0 | 6.195000e+03 | 9.554000e+03 | 54.22%
1044.35/1044.75 o 9538
1044.35/1044.75 c *1008s| 2129k| 1750k| 0 | 0.0 | 686M| 87 | - | 253 | 24k| 0 | 0 | 0 | 550k| 0 | 6.197000e+03 | 9.538000e+03 | 53.91%
1045.35/1045.72 c 1009s| 2130k| 1751k| 0 | 0.0 | 686M| 87 | - | 253 | 24k| 0 | 0 | 0 | 550k| 0 | 6.197000e+03 | 9.538000e+03 | 53.91%
1056.54/1056.90 c 1020s| 2140k| 1758k| 0 | 0.0 | 689M| 87 | - | 253 | 24k| 0 | 0 | 0 | 555k| 0 | 6.199000e+03 | 9.538000e+03 | 53.86%
1067.64/1068.07 c 1031s| 2150k| 1766k| 0 | 0.0 | 692M| 87 | - | 253 | 24k| 0 | 0 | 0 | 560k| 0 | 6.201000e+03 | 9.538000e+03 | 53.81%
1078.75/1079.20 c 1042s| 2160k| 1773k| 0 | 0.0 | 695M| 87 | - | 253 | 24k| 0 | 0 | 0 | 564k| 0 | 6.203000e+03 | 9.538000e+03 | 53.76%
1090.24/1090.69 c 1053s| 2170k| 1780k| 0 | 0.0 | 698M| 87 | - | 253 | 24k| 0 | 0 | 0 | 569k| 0 | 6.205000e+03 | 9.538000e+03 | 53.71%
1101.63/1102.05 c 1064s| 2180k| 1787k| 0 | 0.0 | 700M| 87 | - | 253 | 24k| 0 | 0 | 0 | 574k| 0 | 6.207000e+03 | 9.538000e+03 | 53.67%
1112.94/1113.33 c 1075s| 2190k| 1794k| 0 | 0.0 | 703M| 87 | - | 253 | 24k| 0 | 0 | 0 | 579k| 0 | 6.209000e+03 | 9.538000e+03 | 53.62%
1124.22/1124.69 c 1087s| 2200k| 1801k| 0 | 0.0 | 706M| 87 | - | 253 | 24k| 0 | 0 | 0 | 584k| 0 | 6.211000e+03 | 9.538000e+03 | 53.57%
1135.53/1135.95 c 1098s| 2210k| 1808k| 0 | 0.0 | 709M| 87 | - | 253 | 25k| 0 | 0 | 0 | 589k| 0 | 6.213000e+03 | 9.538000e+03 | 53.52%
1147.22/1147.64 c 1109s| 2220k| 1816k| 0 | 0.0 | 712M| 87 | - | 253 | 25k| 0 | 0 | 0 | 593k| 0 | 6.215000e+03 | 9.538000e+03 | 53.47%
1159.21/1159.65 c 1121s| 2230k| 1823k| 0 | 0.0 | 715M| 87 | - | 253 | 25k| 0 | 0 | 0 | 599k| 0 | 6.217000e+03 | 9.538000e+03 | 53.42%
1171.12/1171.55 c 1133s| 2240k| 1830k| 0 | 0.0 | 718M| 87 | - | 253 | 25k| 0 | 0 | 0 | 603k| 0 | 6.219000e+03 | 9.538000e+03 | 53.37%
1182.52/1182.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.52/1182.96 c 1144s| 2250k| 1837k| 0 | 0.0 | 721M| 87 | - | 253 | 25k| 0 | 0 | 0 | 608k| 0 | 6.221000e+03 | 9.538000e+03 | 53.32%
1194.50/1194.97 c 1156s| 2260k| 1844k| 0 | 0.0 | 724M| 87 | - | 253 | 25k| 0 | 0 | 0 | 613k| 0 | 6.223000e+03 | 9.538000e+03 | 53.27%
1206.01/1206.40 c 1167s| 2270k| 1851k| 0 | 0.0 | 727M| 87 | - | 253 | 25k| 0 | 0 | 0 | 618k| 0 | 6.225000e+03 | 9.538000e+03 | 53.22%
1218.10/1218.53 c 1179s| 2280k| 1858k| 0 | 0.0 | 730M| 87 | - | 253 | 25k| 0 | 0 | 0 | 623k| 0 | 6.227000e+03 | 9.538000e+03 | 53.17%
1229.90/1230.35 c 1191s| 2290k| 1865k| 0 | 0.0 | 733M| 87 | - | 253 | 26k| 0 | 0 | 0 | 628k| 0 | 6.229000e+03 | 9.538000e+03 | 53.12%
1242.19/1242.65 c 1203s| 2300k| 1872k| 0 | 0.0 | 736M| 87 | - | 253 | 26k| 0 | 0 | 0 | 633k| 0 | 6.231000e+03 | 9.538000e+03 | 53.07%
1254.49/1254.94 c 1215s| 2310k| 1879k| 0 | 0.0 | 738M| 87 | - | 253 | 26k| 0 | 0 | 0 | 638k| 0 | 6.233000e+03 | 9.538000e+03 | 53.02%
1266.18/1266.66 c 1226s| 2320k| 1886k| 0 | 0.0 | 741M| 87 | - | 253 | 26k| 0 | 0 | 0 | 642k| 0 | 6.234000e+03 | 9.538000e+03 | 53.00%
1278.17/1278.63 c 1238s| 2330k| 1894k| 0 | 0.0 | 744M| 87 | - | 253 | 26k| 0 | 0 | 0 | 647k| 0 | 6.236000e+03 | 9.538000e+03 | 52.95%
1290.58/1291.04 c 1250s| 2340k| 1901k| 0 | 0.0 | 747M| 87 | - | 253 | 26k| 0 | 0 | 0 | 651k| 0 | 6.238000e+03 | 9.538000e+03 | 52.90%
1302.97/1303.48 c 1262s| 2350k| 1908k| 0 | 0.0 | 750M| 87 | - | 253 | 26k| 0 | 0 | 0 | 656k| 0 | 6.240000e+03 | 9.538000e+03 | 52.85%
1315.18/1315.70 c 1275s| 2360k| 1915k| 0 | 0.0 | 753M| 87 | - | 253 | 26k| 0 | 0 | 0 | 661k| 0 | 6.241000e+03 | 9.538000e+03 | 52.83%
1327.97/1328.47 c 1287s| 2370k| 1922k| 0 | 0.0 | 756M| 87 | - | 253 | 26k| 0 | 0 | 0 | 666k| 0 | 6.243000e+03 | 9.538000e+03 | 52.78%
1341.05/1341.56 c 1300s| 2380k| 1929k| 0 | 0.0 | 759M| 87 | - | 253 | 27k| 0 | 0 | 0 | 671k| 0 | 6.245000e+03 | 9.538000e+03 | 52.73%
1353.85/1354.31 c 1313s| 2390k| 1936k| 0 | 0.0 | 762M| 87 | - | 253 | 27k| 0 | 0 | 0 | 676k| 0 | 6.247000e+03 | 9.538000e+03 | 52.68%
1367.05/1367.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.05/1367.50 c 1326s| 2400k| 1943k| 0 | 0.0 | 764M| 87 | - | 253 | 27k| 0 | 0 | 0 | 681k| 0 | 6.248000e+03 | 9.538000e+03 | 52.66%
1379.74/1380.24 c 1338s| 2410k| 1950k| 0 | 0.0 | 767M| 87 | - | 253 | 27k| 0 | 0 | 0 | 686k| 0 | 6.250000e+03 | 9.538000e+03 | 52.61%
1392.64/1393.12 c 1351s| 2420k| 1958k| 0 | 0.0 | 770M| 87 | - | 253 | 28k| 0 | 0 | 0 | 690k| 0 | 6.252000e+03 | 9.538000e+03 | 52.56%
1405.94/1406.48 c 1364s| 2430k| 1965k| 0 | 0.0 | 773M| 87 | - | 253 | 28k| 0 | 0 | 0 | 695k| 0 | 6.254000e+03 | 9.538000e+03 | 52.51%
1419.43/1419.93 c 1377s| 2440k| 1972k| 0 | 0.0 | 776M| 87 | - | 253 | 28k| 0 | 0 | 0 | 700k| 0 | 6.255000e+03 | 9.538000e+03 | 52.49%
1432.73/1433.21 c 1390s| 2450k| 1979k| 0 | 0.0 | 779M| 87 | - | 253 | 27k| 0 | 0 | 0 | 705k| 0 | 6.257000e+03 | 9.538000e+03 | 52.44%
1445.32/1445.89 c 1403s| 2460k| 1986k| 0 | 0.0 | 781M| 87 | - | 253 | 27k| 0 | 0 | 0 | 710k| 0 | 6.259000e+03 | 9.538000e+03 | 52.39%
1458.82/1459.38 c 1416s| 2470k| 1993k| 0 | 0.0 | 784M| 87 | - | 253 | 28k| 0 | 0 | 0 | 715k| 0 | 6.261000e+03 | 9.538000e+03 | 52.34%
1472.12/1472.68 c 1429s| 2480k| 2000k| 0 | 0.0 | 787M| 87 | - | 253 | 28k| 0 | 0 | 0 | 720k| 0 | 6.262000e+03 | 9.538000e+03 | 52.32%
1485.92/1486.46 c 1443s| 2490k| 2007k| 0 | 0.0 | 790M| 87 | - | 253 | 28k| 0 | 0 | 0 | 725k| 0 | 6.264000e+03 | 9.538000e+03 | 52.27%
1499.71/1500.29 c 1456s| 2500k| 2014k| 0 | 0.0 | 793M| 87 | - | 253 | 29k| 0 | 0 | 0 | 730k| 0 | 6.266000e+03 | 9.538000e+03 | 52.22%
1513.21/1513.73 c 1470s| 2510k| 2021k| 0 | 0.0 | 796M| 87 | - | 253 | 28k| 0 | 0 | 0 | 735k| 0 | 6.268000e+03 | 9.538000e+03 | 52.17%
1526.50/1527.09 c 1483s| 2520k| 2028k| 0 | 0.0 | 799M| 87 | - | 253 | 28k| 0 | 0 | 0 | 740k| 0 | 6.269000e+03 | 9.538000e+03 | 52.15%
1540.40/1540.91 c 1496s| 2530k| 2035k| 0 | 0.0 | 802M| 87 | - | 253 | 29k| 0 | 0 | 0 | 745k| 0 | 6.271000e+03 | 9.538000e+03 | 52.10%
1554.80/1555.33 c 1511s| 2540k| 2042k| 0 | 0.0 | 805M| 87 | - | 253 | 29k| 0 | 0 | 0 | 750k| 0 | 6.272000e+03 | 9.538000e+03 | 52.07%
1568.49/1569.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1568.49/1569.06 c 1524s| 2550k| 2049k| 0 | 0.0 | 807M| 87 | - | 253 | 29k| 0 | 0 | 0 | 755k| 0 | 6.274000e+03 | 9.538000e+03 | 52.02%
1582.89/1583.41 c 1538s| 2560k| 2056k| 0 | 0.0 | 810M| 87 | - | 253 | 29k| 0 | 0 | 0 | 760k| 0 | 6.276000e+03 | 9.538000e+03 | 51.98%
1596.99/1597.55 c 1552s| 2570k| 2063k| 0 | 0.0 | 813M| 87 | - | 253 | 30k| 0 | 0 | 0 | 765k| 0 | 6.277000e+03 | 9.538000e+03 | 51.95%
1610.38/1610.99 c 1565s| 2580k| 2070k| 0 | 0.0 | 816M| 87 | - | 253 | 30k| 0 | 0 | 0 | 770k| 0 | 6.279000e+03 | 9.538000e+03 | 51.90%
1624.57/1625.17 c 1579s| 2590k| 2077k| 0 | 0.0 | 819M| 87 | - | 253 | 30k| 0 | 0 | 0 | 775k| 0 | 6.280000e+03 | 9.538000e+03 | 51.88%
1638.97/1639.52 c 1594s| 2600k| 2084k| 0 | 0.0 | 822M| 87 | - | 253 | 30k| 0 | 0 | 0 | 780k| 0 | 6.281000e+03 | 9.538000e+03 | 51.85%
1653.07/1653.68 c 1608s| 2610k| 2091k| 0 | 0.0 | 824M| 87 | - | 253 | 30k| 0 | 0 | 0 | 785k| 0 | 6.283000e+03 | 9.538000e+03 | 51.81%
1667.55/1668.11 c 1622s| 2620k| 2098k| 0 | 0.0 | 827M| 87 | - | 253 | 30k| 0 | 0 | 0 | 790k| 0 | 6.285000e+03 | 9.538000e+03 | 51.76%
1681.75/1682.38 c 1636s| 2630k| 2105k| 0 | 0.0 | 830M| 87 | - | 253 | 31k| 0 | 0 | 0 | 795k| 0 | 6.286000e+03 | 9.538000e+03 | 51.73%
1696.35/1696.95 c 1650s| 2640k| 2112k| 0 | 0.0 | 833M| 87 | - | 253 | 30k| 0 | 0 | 0 | 800k| 0 | 6.288000e+03 | 9.538000e+03 | 51.69%
1710.94/1711.53 c 1665s| 2650k| 2119k| 0 | 0.0 | 836M| 87 | - | 253 | 30k| 0 | 0 | 0 | 805k| 0 | 6.289000e+03 | 9.538000e+03 | 51.66%
1725.44/1726.04 c 1679s| 2660k| 2126k| 0 | 0.0 | 839M| 87 | - | 253 | 30k| 0 | 0 | 0 | 810k| 0 | 6.291000e+03 | 9.538000e+03 | 51.61%
1739.64/1740.28 c 1693s| 2670k| 2133k| 0 | 0.0 | 841M| 87 | - | 253 | 30k| 0 | 0 | 0 | 815k| 0 | 6.292000e+03 | 9.538000e+03 | 51.59%
1754.04/1754.66 c 1707s| 2680k| 2140k| 0 | 0.0 | 844M| 87 | - | 253 | 30k| 0 | 0 | 0 | 820k| 0 | 6.294000e+03 | 9.538000e+03 | 51.54%
1769.02/1769.64 c 1722s| 2690k| 2147k| 0 | 0.0 | 847M| 87 | - | 253 | 30k| 0 | 0 | 0 | 825k| 0 | 6.296000e+03 | 9.538000e+03 | 51.49%
1783.42/1784.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.42/1784.03 c 1736s| 2700k| 2154k| 0 | 0.0 | 850M| 87 | - | 253 | 30k| 0 | 0 | 0 | 830k| 0 | 6.298000e+03 | 9.538000e+03 | 51.44%
1797.72/1798.31 c 1750s| 2710k| 2161k| 0 | 0.0 | 853M| 87 | - | 253 | 31k| 0 | 0 | 0 | 834k| 0 | 6.299000e+03 | 9.538000e+03 | 51.42%
1800.02/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.61 c
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time (sec) : 1752.47
1800.02/1800.61 c Solving Nodes : 2711469
1800.02/1800.61 c Primal Bound : +9.53800000000000e+03 (15 solutions)
1800.02/1800.61 c Dual Bound : +6.30000000000000e+03
1800.02/1800.61 c Gap : 51.40 %
1800.02/1800.61 s SATISFIABLE
1800.02/1800.61 v -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232
1800.02/1800.61 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211
1800.02/1800.61 v x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190
1800.02/1800.61 v -x189 x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.02/1800.61 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.61 v -x146 -x145 x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126
1800.02/1800.61 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105
1800.02/1800.61 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81
1800.02/1800.61 v -x80 -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.02/1800.61 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30
1800.02/1800.61 v x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3
1800.02/1800.61 v -x2 -x1
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time : 1752.47
1800.02/1800.61 c Original Problem :
1800.02/1800.61 c Problem name : HOME/instance-2663914-1276629854.opb
1800.02/1800.61 c Variables : 253 (253 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 264 initial, 264 maximal
1800.02/1800.61 c Presolved Problem :
1800.02/1800.61 c Problem name : t_HOME/instance-2663914-1276629854.opb
1800.02/1800.61 c Variables : 253 (253 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 264 initial, 31399 maximal
1800.02/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c root node : - 0 - - 0 - - - -
1800.02/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.61 c setppc : 22 0 5124918 0 2507781 230955 2470892 0 0 0
1800.02/1800.61 c logicor : 242+ 0 1569343 0 292226 1085 1383970 0 0 0
1800.02/1800.61 c countsols : 0 0 0 0 2507796 0 0 0 0 0
1800.02/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.61 c setppc : 99.24 0.00 63.85 0.00 35.39
1800.02/1800.61 c logicor : 756.60 0.00 755.82 0.00 0.78
1800.02/1800.61 c countsols : 0.88 0.00 0.00 0.00 0.88
1800.02/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.61 c vbounds : 2.77 2 0 0
1800.02/1800.61 c rootredcost : 2.75 0 0 0
1800.02/1800.61 c pseudoobj : 84.70 5208411 83677 2315990
1800.02/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.61 c propagation : 39.19 315717 315717 2779979 33.3 1402 25.0 -
1800.02/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.61 c applied globally : - - - 816204 25.9 - - -
1800.02/1800.61 c applied locally : - - - 19254 34.0 - - -
1800.02/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.61 c redcost : 0.00 0 0 0 0 0
1800.02/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.61 c intobj : 0.00 0 0 0 0 0
1800.02/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.61 c gomory : 0.00 0 0 0 0 0
1800.02/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.61 c cmir : 0.00 0 0 0 0 0
1800.02/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.61 c clique : 0.00 0 0 0 0 0
1800.02/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.61 c mcf : 0.00 0 0 0 0 0
1800.02/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.61 c Pricers : Time Calls Vars
1800.02/1800.61 c problem variables: 0.00 0 0
1800.02/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c inference : 27.81 2507781 0 0 0 0 5015562
1800.02/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c random : 0.00 0 0 0 0 0 0
1800.02/1800.61 c Primal Heuristics : Time Calls Found
1800.02/1800.61 c LP solutions : 0.00 - 0
1800.02/1800.61 c pseudo solutions : 0.26 - 15
1800.02/1800.61 c oneopt : 1.92 0 0
1800.02/1800.61 c trivial : 0.00 2 0
1800.02/1800.61 c simplerounding : 0.00 0 0
1800.02/1800.61 c zirounding : 0.00 0 0
1800.02/1800.61 c rounding : 0.00 0 0
1800.02/1800.61 c shifting : 0.00 0 0
1800.02/1800.61 c intshifting : 0.00 0 0
1800.02/1800.61 c twoopt : 0.00 0 0
1800.02/1800.61 c fixandinfer : 0.00 0 0
1800.02/1800.61 c feaspump : 0.00 0 0
1800.02/1800.61 c coefdiving : 0.00 0 0
1800.02/1800.61 c pscostdiving : 0.00 0 0
1800.02/1800.61 c fracdiving : 0.00 0 0
1800.02/1800.61 c veclendiving : 0.00 0 0
1800.02/1800.61 c intdiving : 0.00 0 0
1800.02/1800.61 c actconsdiving : 0.00 0 0
1800.02/1800.61 c objpscostdiving : 0.00 0 0
1800.02/1800.61 c rootsoldiving : 0.00 0 0
1800.02/1800.61 c linesearchdiving : 0.00 0 0
1800.02/1800.61 c guideddiving : 0.00 0 0
1800.02/1800.61 c octane : 0.00 0 0
1800.02/1800.61 c rens : 0.00 0 0
1800.02/1800.61 c rins : 0.00 0 0
1800.02/1800.61 c localbranching : 0.00 0 0
1800.02/1800.61 c mutation : 0.00 0 0
1800.02/1800.61 c crossover : 0.00 0 0
1800.02/1800.61 c dins : 0.00 0 0
1800.02/1800.61 c undercover : 0.00 0 0
1800.02/1800.61 c nlp : 1.00 0 0
1800.02/1800.61 c trysol : 1.15 0 0
1800.02/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.61 c (at root node) : - 0 0 0.00 -
1800.02/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.61 c B&B Tree :
1800.02/1800.61 c number of runs : 1
1800.02/1800.61 c nodes : 2711469
1800.02/1800.61 c nodes (total) : 2711469
1800.02/1800.61 c nodes left : 2162496
1800.02/1800.61 c max depth : 87
1800.02/1800.61 c max depth (total): 87
1800.02/1800.61 c backtracks : 257474 (9.5%)
1800.02/1800.61 c delayed cutoffs : 112059
1800.02/1800.61 c repropagations : 182927 (1242368 domain reductions, 112044 cutoffs)
1800.02/1800.61 c avg switch length: 7.72
1800.02/1800.61 c switching time : 495.50
1800.02/1800.61 c Solution :
1800.02/1800.61 c Solutions found : 15 (15 improvements)
1800.02/1800.61 c First Solution : +1.24410000000000e+04 (in run 1, after 192 nodes, 0.04 seconds, depth 14, found by <relaxation>)
1800.02/1800.61 c Primal Bound : +9.53800000000000e+03 (in run 1, after 2129019 nodes, 1007.98 seconds, depth 42, found by <relaxation>)
1800.02/1800.61 c Dual Bound : +6.30000000000000e+03
1800.02/1800.61 c Gap : 51.40 %
1800.02/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.61 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663914-1276629854/watcher-2663914-1276629854 -o /tmp/evaluation-result-2663914-1276629854/solver-2663914-1276629854 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663914-1276629854.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.85 1.99 1.94 3/105 10918
/proc/meminfo: memFree=1485456/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=6584 CPUtime=0
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 1058 0 0 0 0 0 0 0 25 0 1 0 4279496 6742016 981 1992294400 4194304 7136930 140736331023072 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10918/statm: 1646 989 254 719 0 925 0
[startup+0.103808 s]
/proc/loadavg: 1.85 1.99 1.94 3/105 10918
/proc/meminfo: memFree=1485456/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=12352 CPUtime=0.09
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 4085 0 0 0 7 2 0 0 25 0 1 0 4279496 12648448 2369 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 3088 2369 383 719 0 2367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.201818 s]
/proc/loadavg: 1.85 1.99 1.94 3/105 10918
/proc/meminfo: memFree=1485456/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=12908 CPUtime=0.19
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 4229 0 0 0 16 3 0 0 25 0 1 0 4279496 13217792 2513 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 3227 2513 387 719 0 2506 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12908
[startup+0.301828 s]
/proc/loadavg: 1.85 1.99 1.94 3/105 10918
/proc/meminfo: memFree=1485456/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=13632 CPUtime=0.29
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 4402 0 0 0 25 4 0 0 25 0 1 0 4279496 13959168 2686 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 3408 2686 387 719 0 2687 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13632
[startup+0.70187 s]
/proc/loadavg: 1.85 1.99 1.94 3/105 10918
/proc/meminfo: memFree=1485456/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=17560 CPUtime=0.69
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 5383 0 0 0 60 9 0 0 25 0 1 0 4279496 17981440 3667 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 4390 3667 387 719 0 3669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17560
[startup+1.50195 s]
/proc/loadavg: 1.85 1.99 1.94 2/106 10919
/proc/meminfo: memFree=1470692/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=22796 CPUtime=1.49
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 6736 0 0 0 129 20 0 0 25 0 1 0 4279496 23343104 5020 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 5699 5020 387 719 0 4978 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22796
[startup+3.10112 s]
/proc/loadavg: 1.85 1.99 1.94 2/106 10919
/proc/meminfo: memFree=1463128/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=31100 CPUtime=3.09
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 8857 0 0 0 269 40 0 0 25 0 1 0 4279496 31846400 7141 1992294400 4194304 7136930 140736331023072 18446744073709551615 4676472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 7775 7141 387 719 0 7054 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31100
[startup+6.30146 s]
/proc/loadavg: 1.79 1.97 1.93 2/106 10919
/proc/meminfo: memFree=1447628/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=43700 CPUtime=6.29
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 12065 0 0 0 545 84 0 0 25 0 1 0 4279496 44748800 10349 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 10925 10349 387 719 0 10204 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43700
[startup+12.7011 s]
/proc/loadavg: 1.72 1.95 1.93 2/106 10919
/proc/meminfo: memFree=1424440/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=67336 CPUtime=12.68
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 17689 0 0 0 1102 166 0 0 25 0 1 0 4279496 68952064 15973 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 16834 15973 387 719 0 16113 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 67336
[startup+25.5015 s]
/proc/loadavg: 1.56 1.91 1.91 2/106 10921
/proc/meminfo: memFree=1382156/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=106764 CPUtime=25.48
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 27905 0 0 0 2237 311 0 0 25 0 1 0 4279496 109326336 26189 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 26691 26189 387 719 0 25970 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 106764
[startup+51.1012 s]
/proc/loadavg: 1.37 1.83 1.88 2/106 10921
/proc/meminfo: memFree=1317552/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=172440 CPUtime=51.07
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 43955 0 0 0 4516 591 0 0 25 0 1 0 4279496 176578560 42239 1992294400 4194304 7136930 140736331023072 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 43110 42239 387 719 0 42389 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 172440
[startup+102.302 s]
/proc/loadavg: 1.16 1.70 1.84 2/106 10923
/proc/meminfo: memFree=1221948/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=271680 CPUtime=102.26
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 67655 0 0 0 9205 1021 0 0 25 0 1 0 4279496 278200320 65939 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 67920 65939 387 719 0 67199 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 271680
[startup+162.301 s]
/proc/loadavg: 1.06 1.57 1.78 2/106 10923
/proc/meminfo: memFree=1148788/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=341856 CPUtime=162.24
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 85929 0 0 0 14838 1386 0 0 25 0 1 0 4279496 350060544 84213 1992294400 4194304 7136930 140736331023072 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 85464 84213 387 719 0 84743 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 341856
[startup+222.309 s]
/proc/loadavg: 1.02 1.47 1.73 2/106 10925
/proc/meminfo: memFree=1089392/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=398628 CPUtime=222.22
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 100709 0 0 0 20538 1684 0 0 25 0 1 0 4279496 408195072 98993 1992294400 4194304 7136930 140736331023072 18446744073709551615 5004423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 99657 98993 387 719 0 98936 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 398628
[startup+282.301 s]
/proc/loadavg: 1.00 1.38 1.68 2/106 10927
/proc/meminfo: memFree=1041776/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=460604 CPUtime=282.2
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 112588 0 0 0 26288 1932 0 0 25 0 1 0 4279496 471658496 110872 1992294400 4194304 7136930 140736331023072 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 115151 110872 387 719 0 114430 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 460604
[startup+342.302 s]
/proc/loadavg: 1.00 1.31 1.63 2/106 10929
/proc/meminfo: memFree=1005320/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=495624 CPUtime=342.17
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 121630 0 0 0 32066 2151 0 0 25 0 1 0 4279496 507518976 119914 1992294400 4194304 7136930 140736331023072 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 123906 119914 387 719 0 123185 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 495624
[startup+402.301 s]
/proc/loadavg: 1.00 1.25 1.59 2/106 10931
/proc/meminfo: memFree=971840/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=528356 CPUtime=402.15
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 130052 0 0 0 37893 2322 0 0 25 0 1 0 4279496 541036544 128336 1992294400 4194304 7136930 140736331023072 18446744073709551615 4210349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 132089 128336 387 719 0 131368 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 528356
[startup+462.301 s]
/proc/loadavg: 1.00 1.20 1.55 2/106 10934
/proc/meminfo: memFree=940344/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=557904 CPUtime=462.14
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 137663 0 0 0 43728 2486 0 0 25 0 1 0 4279496 571293696 135947 1992294400 4194304 7136930 140736331023072 18446744073709551615 4208913 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 139476 135947 387 719 0 138755 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 557904
[startup+522.302 s]
/proc/loadavg: 1.00 1.16 1.52 2/106 10936
/proc/meminfo: memFree=915792/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=582392 CPUtime=522.11
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 143870 0 0 0 49579 2632 0 0 25 0 1 0 4279496 596369408 142154 1992294400 4194304 7136930 140736331023072 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 145598 142154 387 719 0 144877 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 582392
[startup+582.301 s]
/proc/loadavg: 1.00 1.13 1.48 2/106 10938
/proc/meminfo: memFree=894960/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=602016 CPUtime=582.09
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 149008 0 0 0 55441 2768 0 0 25 0 1 0 4279496 616464384 147292 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 150504 147292 387 719 0 149783 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 602016
[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.45 2/106 10940
/proc/meminfo: memFree=872392/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=623832 CPUtime=642.08
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 154646 0 0 0 61310 2898 0 0 25 0 1 0 4279496 638803968 152930 1992294400 4194304 7136930 140736331023072 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 155958 152930 387 719 0 155237 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 623832
[startup+702.302 s]
################
# More data... #
################
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 186064 0 0 0 102530 3665 0 0 25 0 1 0 4279496 763727872 184348 1992294400 4194304 7136930 140736331023072 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 186457 184348 387 719 0 185736 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 745828
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/106 10952
/proc/meminfo: memFree=731652/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=759868 CPUtime=1121.93
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 189691 0 0 0 108422 3771 0 0 25 0 1 0 4279496 778104832 187975 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 189967 187975 387 719 0 189246 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 759868
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.24 2/106 10954
/proc/meminfo: memFree=714912/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=775940 CPUtime=1181.91
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 193920 0 0 0 114326 3865 0 0 25 0 1 0 4279496 794562560 192204 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 193985 192204 387 719 0 193264 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 775940
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/106 10956
/proc/meminfo: memFree=701024/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=788956 CPUtime=1241.89
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 197234 0 0 0 120230 3959 0 0 25 0 1 0 4279496 807890944 195518 1992294400 4194304 7136930 140736331023072 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 197239 195518 387 719 0 196518 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 788956
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/106 10958
/proc/meminfo: memFree=684284/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=804832 CPUtime=1301.87
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 201362 0 0 0 126133 4054 0 0 25 0 1 0 4279496 824147968 199646 1992294400 4194304 7136930 140736331023072 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 201208 199646 387 719 0 200487 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 804832
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/106 10958
/proc/meminfo: memFree=668288/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=820676 CPUtime=1361.85
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 205369 0 0 0 132036 4149 0 0 25 0 1 0 4279496 840372224 203653 1992294400 4194304 7136930 140736331023072 18446744073709551615 4210351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 205169 203653 387 719 0 204448 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 820676
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/106 10960
/proc/meminfo: memFree=655144/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=833184 CPUtime=1421.84
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 208630 0 0 0 137951 4233 0 0 25 0 1 0 4279496 853180416 206914 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 208296 206914 387 719 0 207575 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 833184
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/106 10962
/proc/meminfo: memFree=641752/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=846640 CPUtime=1481.82
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 212137 0 0 0 143858 4324 0 0 25 0 1 0 4279496 866959360 210421 1992294400 4194304 7136930 140736331023072 18446744073709551615 4212288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 211660 210421 387 719 0 210939 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 846640
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.15 2/106 10964
/proc/meminfo: memFree=626748/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=893156 CPUtime=1541.81
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 215712 0 0 0 149769 4412 0 0 25 0 1 0 4279496 914591744 213996 1992294400 4194304 7136930 140736331023072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 223289 213996 387 719 0 222568 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 893156
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/106 10966
/proc/meminfo: memFree=613976/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=905488 CPUtime=1601.78
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 218862 0 0 0 155685 4493 0 0 25 0 1 0 4279496 927219712 217146 1992294400 4194304 7136930 140736331023072 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 226372 217146 387 719 0 225651 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 905488
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/106 10966
/proc/meminfo: memFree=602196/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=916836 CPUtime=1661.76
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 221814 0 0 0 161606 4570 0 0 25 0 1 0 4279496 938840064 220098 1992294400 4194304 7136930 140736331023072 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 229209 220098 387 719 0 228488 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 916836
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/106 10968
/proc/meminfo: memFree=589424/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=928852 CPUtime=1721.74
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 224945 0 0 0 167525 4649 0 0 25 0 1 0 4279496 951144448 223229 1992294400 4194304 7136930 140736331023072 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 232213 223229 387 719 0 231492 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 928852
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 10970
/proc/meminfo: memFree=576404/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=941968 CPUtime=1781.72
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 228234 0 0 0 173439 4733 0 0 25 0 1 0 4279496 964575232 226518 1992294400 4194304 7136930 140736331023072 18446744073709551615 4221250 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 235492 226518 387 719 0 234771 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 941968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 10970
/proc/meminfo: memFree=573180/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=944688 CPUtime=1800.02
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 228948 0 0 0 175246 4756 0 0 25 0 1 0 4279496 967360512 227232 1992294400 4194304 7136930 140736331023072 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10918/statm: 236172 227232 387 719 0 235451 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 944688
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10918
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 10971
/proc/meminfo: memFree=573172/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=944688 CPUtime=1800.91
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 228963 0 0 0 175335 4756 0 0 25 0 1 0 4279496 967360512 227247 1992294400 4194304 7136930 140736331023072 18446744073709551615 6165620 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10918/statm: 236172 227247 392 719 0 235451 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 944688
[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 10971
/proc/meminfo: memFree=573048/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=944688 CPUtime=1801.71
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 228963 0 0 0 175415 4756 0 0 25 0 1 0 4279496 967360512 227247 1992294400 4194304 7136930 140736331023072 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10918/statm: 236172 227247 392 719 0 235451 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 944688
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 10971
/proc/meminfo: memFree=573048/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=944688 CPUtime=1801.91
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 228963 0 0 0 175435 4756 0 0 25 0 1 0 4279496 967360512 227247 1992294400 4194304 7136930 140736331023072 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10918/statm: 236172 227247 392 719 0 235451 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 944688
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 10971
/proc/meminfo: memFree=573048/2059040 swapFree=4192956/4192956
[pid=10918] ppid=10916 vsize=944688 CPUtime=1802.01
/proc/10918/stat : 10918 (pbscip.linux.x8) R 10916 10918 10746 0 -1 4202496 228963 0 0 0 175445 4756 0 0 25 0 1 0 4279496 967360512 227247 1992294400 4194304 7136930 140736331023072 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10918/statm: 236172 227247 392 719 0 235451 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 944688
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.12
CPU user time (s): 1754.47
CPU system time (s): 47.6478
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 944688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.47
system time used= 47.6478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228963
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= 20388
runsolver used 2.80257 second user time and 8.70368 second system time
The end