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-2693699-1277889928.wbo>
0.00/0.01 c original problem has 5790 variables (5645 bin, 0 int, 0 impl, 145 cont) and 356 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.02/0.03 c presolving:
0.02/0.03 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 145 impls, 30 clqs
0.02/0.04 c (round 2) 0 del vars, 1 del conss, 145 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 145 impls, 30 clqs
0.02/0.04 c (round 3) 0 del vars, 1 del conss, 145 chg bounds, 0 chg sides, 0 chg coeffs, 35 upgd conss, 145 impls, 30 clqs
0.02/0.04 c (round 4) 0 del vars, 1 del conss, 145 chg bounds, 0 chg sides, 0 chg coeffs, 65 upgd conss, 145 impls, 30 clqs
0.02/0.08 c (0.1s) probing: 101/5645 (1.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.08 c presolving (5 rounds):
0.02/0.08 c 0 deleted vars, 1 deleted constraints, 145 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.08 c 145 implications, 30 cliques
0.02/0.08 c presolved problem has 5790 variables (5645 bin, 0 int, 0 impl, 145 cont) and 355 constraints
0.02/0.08 c 145 constraints of type <indicator>
0.02/0.08 c 30 constraints of type <setppc>
0.02/0.08 c 145 constraints of type <linear>
0.02/0.08 c 35 constraints of type <logicor>
0.02/0.08 c transformed objective value is always integral (scale: 1)
0.02/0.08 c Presolving Time: 0.05
0.02/0.08 c - non default parameters ----------------------------------------------------------------------
0.02/0.08 c # SCIP version 1.2.1.2
0.02/0.08 c
0.02/0.08 c # frequency for displaying node information lines
0.02/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.08 c display/freq = 10000
0.02/0.08 c
0.02/0.08 c # maximal time in seconds to run
0.02/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.08 c limits/time = 1799.99
0.02/0.08 c
0.02/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.08 c limits/memory = 3420
0.02/0.08 c
0.02/0.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.02/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.08 c lp/solvefreq = -1
0.02/0.08 c
0.02/0.08 c # should presolving try to simplify inequalities
0.02/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.08 c constraints/linear/simplifyinequalities = TRUE
0.02/0.08 c
0.02/0.08 c # should presolving try to simplify knapsacks
0.02/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.08 c
0.02/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.08 c separating/rapidlearning/freq = 0
0.02/0.08 c
0.02/0.08 c -----------------------------------------------------------------------------------------------
0.02/0.08 c start solving
0.02/0.08 c
0.02/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.08 c 0.1s| 1 | 2 | 0 | - | 10M| 0 | - |5790 | 355 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.34/3.41 c 3.2s| 10000 | 9969 | 0 | 0.0 | 14M|4600 | - |5790 | 382 | 0 | 0 | 0 | 28 | 0 | 0.000000e+00 | -- | Inf
7.44/7.60 c 7.2s| 20000 | 19900 | 0 | 0.0 | 17M|4600 | - |5790 | 431 | 0 | 0 | 0 | 243 | 0 | 0.000000e+00 | -- | Inf
11.67/11.91 c 11.3s| 30000 | 29862 | 0 | 0.0 | 20M|4600 | - |5790 | 439 | 0 | 0 | 0 | 433 | 0 | 0.000000e+00 | -- | Inf
15.99/16.45 c 15.5s| 40000 | 39830 | 0 | 0.0 | 23M|4600 | - |5790 | 446 | 0 | 0 | 0 | 593 | 0 | 0.000000e+00 | -- | Inf
20.26/20.79 c 19.8s| 50000 | 49796 | 0 | 0.0 | 26M|4600 | - |5790 | 513 | 0 | 0 | 0 | 763 | 0 | 0.000000e+00 | -- | Inf
24.96/25.45 c 24.3s| 60000 | 59761 | 0 | 0.0 | 29M|4600 | - |5790 | 542 | 0 | 0 | 0 | 941 | 0 | 0.000000e+00 | -- | Inf
29.17/29.69 c 28.4s| 70000 | 69734 | 0 | 0.0 | 32M|4600 | - |5790 | 550 | 0 | 0 | 0 |1081 | 0 | 0.000000e+00 | -- | Inf
33.46/33.97 c 32.5s| 80000 | 79712 | 0 | 0.0 | 34M|4600 | - |5790 | 546 | 0 | 0 | 0 |1191 | 0 | 0.000000e+00 | -- | Inf
37.77/38.24 c 36.6s| 90000 | 89686 | 0 | 0.0 | 37M|4600 | - |5790 | 594 | 0 | 0 | 0 |1321 | 0 | 0.000000e+00 | -- | Inf
41.96/42.49 c 40.7s|100000 | 99657 | 0 | 0.0 | 40M|4600 | - |5790 | 639 | 0 | 0 | 0 |1471 | 0 | 0.000000e+00 | -- | Inf
46.26/46.75 c 44.7s|110000 |109639 | 0 | 0.0 | 43M|4600 | - |5790 | 658 | 0 | 0 | 0 |1566 | 0 | 0.000000e+00 | -- | Inf
50.56/51.06 c 48.9s|120000 |119611 | 0 | 0.0 | 46M|4600 | - |5790 | 664 | 0 | 0 | 0 |1706 | 0 | 0.000000e+00 | -- | Inf
54.96/55.44 c 53.1s|130000 |129571 | 0 | 0.0 | 48M|4600 | - |5790 | 697 | 0 | 0 | 0 |1906 | 0 | 0.000000e+00 | -- | Inf
59.37/59.82 c 57.2s|140000 |139543 | 0 | 0.0 | 51M|4600 | - |5790 | 695 | 0 | 0 | 0 |2046 | 0 | 0.000000e+00 | -- | Inf
63.67/64.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.67/64.15 c 61.4s|150000 |149515 | 0 | 0.0 | 54M|4600 | - |5790 | 720 | 0 | 0 | 0 |2186 | 0 | 0.000000e+00 | -- | Inf
67.97/68.47 c 65.5s|160000 |159483 | 0 | 0.0 | 57M|4600 | - |5790 | 746 | 0 | 0 | 0 |2346 | 0 | 0.000000e+00 | -- | Inf
72.27/72.78 c 69.6s|170000 |169447 | 0 | 0.0 | 59M|4600 | - |5790 | 760 | 0 | 0 | 0 |2521 | 0 | 0.000000e+00 | -- | Inf
76.57/77.06 c 73.7s|180000 |179421 | 0 | 0.0 | 62M|4600 | - |5790 | 762 | 0 | 0 | 0 |2651 | 0 | 0.000000e+00 | -- | Inf
80.87/81.32 c 77.8s|190000 |189389 | 0 | 0.0 | 65M|4600 | - |5790 | 808 | 0 | 0 | 0 |2811 | 0 | 0.000000e+00 | -- | Inf
85.07/85.59 c 81.9s|200000 |199367 | 0 | 0.0 | 68M|4600 | - |5790 | 787 | 0 | 0 | 0 |2915 | 0 | 0.000000e+00 | -- | Inf
89.36/89.87 c 86.0s|210000 |209343 | 0 | 0.0 | 70M|4600 | - |5790 | 807 | 0 | 0 | 0 |3035 | 0 | 0.000000e+00 | -- | Inf
93.67/94.12 c 90.0s|220000 |219317 | 0 | 0.0 | 73M|4600 | - |5790 | 855 | 0 | 0 | 0 |3165 | 0 | 0.000000e+00 | -- | Inf
97.86/98.37 c 94.1s|230000 |229291 | 0 | 0.0 | 76M|4600 | - |5790 | 854 | 0 | 0 | 0 |3295 | 0 | 0.000000e+00 | -- | Inf
102.16/102.67 c 98.2s|240000 |239257 | 0 | 0.0 | 79M|4600 | - |5790 | 873 | 0 | 0 | 0 |3465 | 0 | 0.000000e+00 | -- | Inf
106.47/106.95 c 102s|250000 |249223 | 0 | 0.0 | 81M|4600 | - |5790 | 900 | 0 | 0 | 0 |3635 | 0 | 0.000000e+00 | -- | Inf
110.76/111.22 c 106s|260000 |259193 | 0 | 0.0 | 84M|4600 | - |5790 | 910 | 0 | 0 | 0 |3785 | 0 | 0.000000e+00 | -- | Inf
114.97/115.50 c 110s|270000 |269157 | 0 | 0.0 | 87M|4600 | - |5790 | 950 | 0 | 0 | 0 |3965 | 0 | 0.000000e+00 | -- | Inf
119.26/119.76 c 115s|280000 |279133 | 0 | 0.0 | 90M|4600 | - |5790 | 928 | 0 | 0 | 0 |4085 | 0 | 0.000000e+00 | -- | Inf
123.56/124.04 c 119s|290000 |289103 | 0 | 0.0 | 92M|4600 | - |5790 | 945 | 0 | 0 | 0 |4235 | 0 | 0.000000e+00 | -- | Inf
127.87/128.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.87/128.36 c 123s|300000 |299073 | 0 | 0.0 | 95M|4600 | - |5790 | 933 | 0 | 0 | 0 |4385 | 0 | 0.000000e+00 | -- | Inf
132.17/132.61 c 127s|310000 |309041 | 0 | 0.0 | 98M|4600 | - |5790 | 922 | 0 | 0 | 0 |4543 | 0 | 0.000000e+00 | -- | Inf
136.47/136.91 c 131s|320000 |319007 | 0 | 0.0 | 101M|4600 | - |5790 | 928 | 0 | 0 | 0 |4713 | 0 | 0.000000e+00 | -- | Inf
140.66/141.13 c 135s|330000 |328985 | 0 | 0.0 | 103M|4600 | - |5790 | 893 | 0 | 0 | 0 |4823 | 0 | 0.000000e+00 | -- | Inf
144.87/145.38 c 139s|340000 |338961 | 0 | 0.0 | 106M|4600 | - |5790 | 866 | 0 | 0 | 0 |4943 | 0 | 0.000000e+00 | -- | Inf
149.27/149.71 c 143s|350000 |348929 | 0 | 0.0 | 109M|4600 | - |5790 | 881 | 0 | 0 | 0 |5103 | 0 | 0.000000e+00 | -- | Inf
153.47/153.96 c 147s|360000 |358899 | 0 | 0.0 | 111M|4600 | - |5790 | 900 | 0 | 0 | 0 |5253 | 0 | 0.000000e+00 | -- | Inf
157.76/158.23 c 151s|370000 |368871 | 0 | 0.0 | 114M|4600 | - |5790 | 889 | 0 | 0 | 0 |5393 | 0 | 0.000000e+00 | -- | Inf
161.96/162.45 c 155s|380000 |378847 | 0 | 0.0 | 117M|4600 | - |5790 | 899 | 0 | 0 | 0 |5513 | 0 | 0.000000e+00 | -- | Inf
166.17/166.67 c 159s|390000 |388819 | 0 | 0.0 | 120M|4600 | - |5790 | 894 | 0 | 0 | 0 |5653 | 0 | 0.000000e+00 | -- | Inf
170.46/170.93 c 164s|400000 |398783 | 0 | 0.0 | 122M|4600 | - |5790 | 896 | 0 | 0 | 0 |5833 | 0 | 0.000000e+00 | -- | Inf
174.67/175.14 c 168s|410000 |408753 | 0 | 0.0 | 125M|4600 | - |5790 | 923 | 0 | 0 | 0 |5983 | 0 | 0.000000e+00 | -- | Inf
178.87/179.31 c 172s|420000 |418721 | 0 | 0.0 | 128M|4600 | - |5790 | 901 | 0 | 0 | 0 |6143 | 0 | 0.000000e+00 | -- | Inf
183.06/183.54 c 176s|430000 |428697 | 0 | 0.0 | 131M|4600 | - |5790 | 894 | 0 | 0 | 0 |6263 | 0 | 0.000000e+00 | -- | Inf
187.26/187.71 c 180s|440000 |438669 | 0 | 0.0 | 133M|4600 | - |5790 | 889 | 0 | 0 | 0 |6403 | 0 | 0.000000e+00 | -- | Inf
191.47/191.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.47/191.91 c 184s|450000 |448637 | 0 | 0.0 | 136M|4600 | - |5790 | 925 | 0 | 0 | 0 |6563 | 0 | 0.000000e+00 | -- | Inf
195.67/196.13 c 188s|460000 |458601 | 0 | 0.0 | 139M|4600 | - |5790 | 919 | 0 | 0 | 0 |6743 | 0 | 0.000000e+00 | -- | Inf
199.77/200.22 c 192s|470000 |468573 | 0 | 0.0 | 142M|4600 | - |5790 | 888 | 0 | 0 | 0 |6883 | 0 | 0.000000e+00 | -- | Inf
203.97/204.43 c 196s|480000 |478541 | 0 | 0.0 | 145M|4600 | - |5790 | 909 | 0 | 0 | 0 |7043 | 0 | 0.000000e+00 | -- | Inf
208.06/208.53 c 199s|490000 |488503 | 0 | 0.0 | 147M|4600 | - |5790 | 894 | 0 | 0 | 0 |7233 | 0 | 0.000000e+00 | -- | Inf
212.17/212.62 c 203s|500000 |498467 | 0 | 0.0 | 150M|4600 | - |5790 | 935 | 0 | 0 | 0 |7413 | 0 | 0.000000e+00 | -- | Inf
216.28/216.75 c 207s|510000 |508435 | 0 | 0.0 | 153M|4600 | - |5790 | 916 | 0 | 0 | 0 |7573 | 0 | 0.000000e+00 | -- | Inf
220.37/220.84 c 211s|520000 |518399 | 0 | 0.0 | 156M|4600 | - |5790 | 916 | 0 | 0 | 0 |7753 | 0 | 0.000000e+00 | -- | Inf
224.47/224.96 c 215s|530000 |528375 | 0 | 0.0 | 159M|4600 | - |5790 | 903 | 0 | 0 | 0 |7873 | 0 | 0.000000e+00 | -- | Inf
228.57/229.06 c 219s|540000 |538341 | 0 | 0.0 | 161M|4600 | - |5790 | 919 | 0 | 0 | 0 |8043 | 0 | 0.000000e+00 | -- | Inf
232.68/233.12 c 223s|550000 |548309 | 0 | 0.0 | 164M|4600 | - |5790 | 912 | 0 | 0 | 0 |8203 | 0 | 0.000000e+00 | -- | Inf
236.67/237.19 c 227s|560000 |558279 | 0 | 0.0 | 167M|4600 | - |5790 | 906 | 0 | 0 | 0 |8353 | 0 | 0.000000e+00 | -- | Inf
240.76/241.27 c 231s|570000 |568251 | 0 | 0.0 | 170M|4600 | - |5790 | 906 | 0 | 0 | 0 |8493 | 0 | 0.000000e+00 | -- | Inf
244.88/245.35 c 235s|580000 |578221 | 0 | 0.0 | 173M|4600 | - |5790 | 923 | 0 | 0 | 0 |8643 | 0 | 0.000000e+00 | -- | Inf
248.96/249.42 c 239s|590000 |588199 | 0 | 0.0 | 175M|4600 | - |5790 | 898 | 0 | 0 | 0 |8753 | 0 | 0.000000e+00 | -- | Inf
253.07/253.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.07/253.56 c 242s|600000 |598153 | 0 | 0.0 | 178M|4600 | - |5790 | 948 | 0 | 0 | 0 |8983 | 0 | 0.000000e+00 | -- | Inf
257.17/257.68 c 246s|610000 |608119 | 0 | 0.0 | 181M|4600 | - |5790 | 921 | 0 | 0 | 0 |9153 | 0 | 0.000000e+00 | -- | Inf
261.28/261.77 c 250s|620000 |618079 | 0 | 0.0 | 184M|4600 | - |5790 | 932 | 0 | 0 | 0 |9353 | 0 | 0.000000e+00 | -- | Inf
265.37/265.87 c 254s|630000 |628039 | 0 | 0.0 | 187M|4600 | - |5790 | 942 | 0 | 0 | 0 |9553 | 0 | 0.000000e+00 | -- | Inf
269.47/269.92 c 258s|640000 |638005 | 0 | 0.0 | 189M|4600 | - |5790 | 921 | 0 | 0 | 0 |9723 | 0 | 0.000000e+00 | -- | Inf
273.47/273.99 c 262s|650000 |647967 | 0 | 0.0 | 192M|4600 | - |5790 | 933 | 0 | 0 | 0 |9913 | 0 | 0.000000e+00 | -- | Inf
277.57/278.07 c 266s|660000 |657931 | 0 | 0.0 | 195M|4600 | - |5790 | 912 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
281.57/282.09 c 270s|670000 |667895 | 0 | 0.0 | 198M|4600 | - |5790 | 930 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
285.67/286.10 c 274s|680000 |677860 | 0 | 0.0 | 200M|4600 | - |5790 | 919 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
289.67/290.10 c 277s|690000 |687818 | 0 | 0.0 | 203M|4600 | - |5790 | 956 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
293.67/294.11 c 281s|700000 |697778 | 0 | 0.0 | 206M|4600 | - |5790 | 960 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
297.68/298.14 c 285s|710000 |707732 | 0 | 0.0 | 209M|4600 | - |5790 | 966 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
301.67/302.15 c 289s|720000 |717696 | 0 | 0.0 | 212M|4600 | - |5790 | 968 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
305.67/306.13 c 293s|730000 |727656 | 0 | 0.0 | 215M|4600 | - |5790 | 970 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
309.57/310.10 c 296s|740000 |737618 | 0 | 0.0 | 217M|4600 | - |5790 | 967 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
313.57/314.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.57/314.04 c 300s|750000 |747582 | 0 | 0.0 | 220M|4600 | - |5790 | 965 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
317.48/317.99 c 304s|760000 |757548 | 0 | 0.0 | 223M|4600 | - |5790 | 956 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
321.48/321.95 c 308s|770000 |767510 | 0 | 0.0 | 226M|4600 | - |5790 | 981 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
325.37/325.86 c 311s|780000 |777468 | 0 | 0.0 | 229M|4600 | - |5790 | 996 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
329.37/329.86 c 315s|790000 |787426 | 0 | 0.0 | 232M|4600 | - |5790 | 997 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
333.27/333.78 c 319s|800000 |797391 | 0 | 0.0 | 234M|4600 | - |5790 |1023 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
337.28/337.73 c 323s|810000 |807353 | 0 | 0.0 | 237M|4600 | - |5790 |1000 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
341.17/341.62 c 327s|820000 |817311 | 0 | 0.0 | 240M|4600 | - |5790 | 994 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
345.07/345.55 c 330s|830000 |827269 | 0 | 0.0 | 243M|4600 | - |5790 |1005 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
348.87/349.37 c 334s|840000 |837237 | 0 | 0.0 | 246M|4600 | - |5790 | 985 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
352.87/353.30 c 338s|850000 |847175 | 0 | 0.0 | 249M|4600 | - |5790 |1054 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
356.67/357.18 c 341s|860000 |857133 | 0 | 0.0 | 252M|4600 | - |5790 |1009 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
360.57/361.10 c 345s|870000 |867088 | 0 | 0.0 | 254M|4600 | - |5790 |1024 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
364.47/364.94 c 349s|880000 |877044 | 0 | 0.0 | 257M|4600 | - |5790 |1009 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
368.27/368.79 c 352s|890000 |887008 | 0 | 0.0 | 260M|4600 | - |5790 | 997 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
372.27/372.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.27/372.70 c 356s|900000 |896970 | 0 | 0.0 | 263M|4600 | - |5790 | 972 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
376.07/376.56 c 360s|910000 |906929 | 0 | 0.0 | 266M|4600 | - |5790 | 975 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
379.97/380.41 c 363s|920000 |916892 | 0 | 0.0 | 269M|4600 | - |5790 | 961 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
383.77/384.25 c 367s|930000 |926838 | 0 | 0.0 | 271M|4600 | - |5790 | 990 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
387.57/388.08 c 371s|940000 |936798 | 0 | 0.0 | 274M|4600 | - |5790 | 979 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
391.47/391.95 c 374s|950000 |946754 | 0 | 0.0 | 277M|4600 | - |5790 |1010 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
395.28/395.74 c 378s|960000 |956718 | 0 | 0.0 | 280M|4600 | - |5790 | 957 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
399.17/399.61 c 382s|970000 |966676 | 0 | 0.0 | 283M|4600 | - |5790 | 918 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
402.97/403.46 c 385s|980000 |976636 | 0 | 0.0 | 286M|4600 | - |5790 | 956 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
406.77/407.24 c 389s|990000 |986598 | 0 | 0.0 | 288M|4600 | - |5790 | 953 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
410.58/411.05 c 393s| 1000k|996548 | 0 | 0.0 | 291M|4600 | - |5790 | 997 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
414.38/414.81 c 396s| 1010k| 1006k| 0 | 0.0 | 294M|4600 | - |5790 | 996 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
418.07/418.56 c 400s| 1020k| 1016k| 0 | 0.0 | 297M|4600 | - |5790 | 978 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
421.87/422.38 c 403s| 1030k| 1026k| 0 | 0.0 | 300M|4600 | - |5790 | 999 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
425.77/426.20 c 407s| 1040k| 1036k| 0 | 0.0 | 303M|4600 | - |5790 | 991 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
429.58/430.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.58/430.03 c 411s| 1050k| 1046k| 0 | 0.0 | 306M|4600 | - |5790 | 979 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
433.38/433.84 c 414s| 1060k| 1056k| 0 | 0.0 | 309M|4600 | - |5790 | 993 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
437.17/437.62 c 418s| 1070k| 1066k| 0 | 0.0 | 311M|4600 | - |5790 | 978 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
440.88/441.34 c 421s| 1080k| 1076k| 0 | 0.0 | 314M|4600 | - |5790 |1007 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
444.68/445.11 c 425s| 1090k| 1086k| 0 | 0.0 | 317M|4600 | - |5790 |1037 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
448.47/448.92 c 429s| 1100k| 1096k| 0 | 0.0 | 320M|4600 | - |5790 |1066 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
452.17/452.69 c 432s| 1110k| 1106k| 0 | 0.0 | 323M|4600 | - |5790 |1054 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
455.98/456.45 c 436s| 1120k| 1116k| 0 | 0.0 | 326M|4600 | - |5790 |1019 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
459.77/460.21 c 439s| 1130k| 1125k| 0 | 0.0 | 329M|4600 | - |5790 |1064 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
463.47/463.91 c 443s| 1140k| 1135k| 0 | 0.0 | 332M|4600 | - |5790 |1051 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
467.28/467.77 c 447s| 1150k| 1145k| 0 | 0.0 | 335M|4600 | - |5790 |1112 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
470.98/471.45 c 450s| 1160k| 1155k| 0 | 0.0 | 337M|4600 | - |5790 |1036 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
474.68/475.20 c 454s| 1170k| 1165k| 0 | 0.0 | 340M|4600 | - |5790 |1047 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
478.47/478.91 c 457s| 1180k| 1175k| 0 | 0.0 | 343M|4600 | - |5790 |1014 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
482.07/482.57 c 461s| 1190k| 1185k| 0 | 0.0 | 346M|4600 | - |5790 |1040 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
485.87/486.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.87/486.30 c 464s| 1200k| 1195k| 0 | 0.0 | 349M|4600 | - |5790 |1061 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
489.47/489.93 c 468s| 1210k| 1205k| 0 | 0.0 | 352M|4600 | - |5790 |1056 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
493.17/493.63 c 471s| 1220k| 1215k| 0 | 0.0 | 355M|4600 | - |5790 |1041 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
496.87/497.34 c 475s| 1230k| 1225k| 0 | 0.0 | 358M|4600 | - |5790 |1040 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
500.48/500.98 c 478s| 1240k| 1235k| 0 | 0.0 | 361M|4600 | - |5790 |1035 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
504.18/504.65 c 482s| 1250k| 1245k| 0 | 0.0 | 364M|4600 | - |5790 |1016 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
507.88/508.31 c 485s| 1260k| 1255k| 0 | 0.0 | 367M|4600 | - |5790 |1004 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
511.47/511.96 c 489s| 1270k| 1265k| 0 | 0.0 | 369M|4600 | - |5790 |1023 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
515.27/515.75 c 492s| 1280k| 1275k| 0 | 0.0 | 373M|4600 | - |5790 |1056 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
520.07/520.54 c 497s| 1290k| 1284k| 0 | 0.0 | 377M|4600 | - |5790 |1013 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
524.78/525.23 c 502s| 1300k| 1294k| 0 | 0.0 | 383M|4600 | - |5790 |1011 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
529.37/529.83 c 506s| 1310k| 1303k| 0 | 0.0 | 388M|4600 | - |5790 |1017 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
533.88/534.34 c 510s| 1320k| 1313k| 0 | 0.0 | 393M|4600 | - |5790 |1054 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
538.38/538.80 c 515s| 1330k| 1323k| 0 | 0.0 | 398M|4600 | - |5790 |1016 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
542.68/543.13 c 519s| 1340k| 1332k| 0 | 0.0 | 403M|4600 | - |5790 |1010 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
546.87/547.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
546.87/547.39 c 523s| 1350k| 1342k| 0 | 0.0 | 409M|4600 | - |5790 |1012 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
551.08/551.57 c 527s| 1360k| 1351k| 0 | 0.0 | 414M|4600 | - |5790 |1003 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
555.18/555.61 c 531s| 1370k| 1361k| 0 | 0.0 | 419M|4600 | - |5790 |1006 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
559.08/559.55 c 535s| 1380k| 1371k| 0 | 0.0 | 424M|4600 | - |5790 | 989 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
562.87/563.38 c 538s| 1390k| 1380k| 0 | 0.0 | 429M|4600 | - |5790 | 982 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
566.68/567.12 c 542s| 1400k| 1390k| 0 | 0.0 | 434M|4600 | - |5790 | 989 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
570.28/570.76 c 545s| 1410k| 1399k| 0 | 0.0 | 439M|4600 | - |5790 |1021 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
573.87/574.32 c 549s| 1420k| 1409k| 0 | 0.0 | 444M|4600 | - |5790 | 983 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
577.28/577.77 c 552s| 1430k| 1419k| 0 | 0.0 | 450M|4600 | - |5790 | 974 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
580.67/581.14 c 555s| 1440k| 1428k| 0 | 0.0 | 455M|4600 | - |5790 | 980 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
583.98/584.44 c 558s| 1450k| 1438k| 0 | 0.0 | 460M|4600 | - |5790 |1006 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
587.18/587.61 c 561s| 1460k| 1447k| 0 | 0.0 | 465M|4600 | - |5790 | 987 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
590.18/590.70 c 564s| 1470k| 1457k| 0 | 0.0 | 470M|4600 | - |5790 |1001 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
593.28/593.72 c 567s| 1480k| 1466k| 0 | 0.0 | 475M|4600 | - |5790 | 998 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
596.18/596.65 c 570s| 1490k| 1476k| 0 | 0.0 | 480M|4600 | - |5790 | 974 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
598.98/599.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.98/599.44 c 572s| 1500k| 1486k| 0 | 0.0 | 485M|4600 | - |5790 | 986 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
601.68/602.16 c 575s| 1510k| 1495k| 0 | 0.0 | 490M|4600 | - |5790 | 980 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
604.28/604.77 c 577s| 1520k| 1505k| 0 | 0.0 | 495M|4600 | - |5790 | 984 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
606.87/607.30 c 580s| 1530k| 1514k| 0 | 0.0 | 500M|4600 | - |5790 | 980 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
609.28/609.74 c 582s| 1540k| 1524k| 0 | 0.0 | 505M|4600 | - |5790 |1024 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
611.58/612.08 c 584s| 1550k| 1533k| 0 | 0.0 | 511M|4600 | - |5790 |1194 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
614.98/615.40 c 587s| 1560k| 1542k| 0 | 0.0 | 517M|4600 | - |5790 |1234 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
618.97/619.46 c 591s| 1570k| 1552k| 0 | 0.0 | 519M|4600 | - |5790 |1084 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
623.08/623.55 c 595s| 1580k| 1562k| 0 | 0.0 | 522M|4600 | - |5790 | 965 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
627.18/627.62 c 599s| 1590k| 1572k| 0 | 0.0 | 525M|4600 | - |5790 | 927 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
631.28/631.76 c 603s| 1600k| 1582k| 0 | 0.0 | 527M|4600 | - |5790 | 894 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
635.48/635.92 c 607s| 1610k| 1592k| 0 | 0.0 | 530M|4600 | - |5790 | 913 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
639.58/640.07 c 611s| 1620k| 1602k| 0 | 0.0 | 533M|4600 | - |5790 | 930 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
643.78/644.28 c 615s| 1630k| 1612k| 0 | 0.0 | 536M|4600 | - |5790 | 933 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
647.97/648.46 c 619s| 1640k| 1622k| 0 | 0.0 | 538M|4600 | - |5790 | 923 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
652.28/652.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.28/652.73 c 623s| 1650k| 1632k| 0 | 0.0 | 541M|4600 | - |5790 | 944 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
656.48/656.95 c 627s| 1660k| 1642k| 0 | 0.0 | 544M|4600 | - |5790 | 940 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
660.68/661.14 c 631s| 1670k| 1652k| 0 | 0.0 | 547M|4600 | - |5790 | 950 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
664.99/665.40 c 635s| 1680k| 1662k| 0 | 0.0 | 549M|4600 | - |5790 | 917 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
669.08/669.56 c 639s| 1690k| 1672k| 0 | 0.0 | 552M|4600 | - |5790 | 925 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
673.28/673.78 c 643s| 1700k| 1682k| 0 | 0.0 | 555M|4600 | - |5790 | 907 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
677.48/677.99 c 647s| 1710k| 1692k| 0 | 0.0 | 558M|4600 | - |5790 | 934 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
681.78/682.27 c 652s| 1720k| 1702k| 0 | 0.0 | 560M|4600 | - |5790 | 890 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
685.98/686.49 c 656s| 1730k| 1712k| 0 | 0.0 | 563M|4600 | - |5790 | 903 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
690.18/690.70 c 660s| 1740k| 1722k| 0 | 0.0 | 566M|4600 | - |5790 | 864 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
694.38/694.89 c 664s| 1750k| 1732k| 0 | 0.0 | 568M|4600 | - |5790 | 871 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
698.58/699.09 c 668s| 1760k| 1742k| 0 | 0.0 | 571M|4600 | - |5790 | 867 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
702.88/703.34 c 672s| 1770k| 1752k| 0 | 0.0 | 574M|4600 | - |5790 | 898 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
707.08/707.53 c 676s| 1780k| 1762k| 0 | 0.0 | 577M|4600 | - |5790 | 865 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
711.29/711.76 c 680s| 1790k| 1772k| 0 | 0.0 | 579M|4600 | - |5790 | 860 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
715.48/715.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.48/715.99 c 684s| 1800k| 1782k| 0 | 0.0 | 582M|4600 | - |5790 | 861 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
719.78/720.20 c 688s| 1810k| 1792k| 0 | 0.0 | 585M|4600 | - |5790 | 867 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
723.99/724.43 c 692s| 1820k| 1802k| 0 | 0.0 | 588M|4600 | - |5790 | 845 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
728.19/728.68 c 696s| 1830k| 1812k| 0 | 0.0 | 590M|4600 | - |5790 | 844 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
732.38/732.88 c 700s| 1840k| 1822k| 0 | 0.0 | 593M|4600 | - |5790 | 859 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
736.59/737.09 c 704s| 1850k| 1832k| 0 | 0.0 | 596M|4600 | - |5790 | 831 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
740.88/741.34 c 708s| 1860k| 1842k| 0 | 0.0 | 599M|4600 | - |5790 | 821 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
745.18/745.61 c 713s| 1870k| 1851k| 0 | 0.0 | 601M|4600 | - |5790 | 799 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
749.38/749.80 c 717s| 1880k| 1861k| 0 | 0.0 | 604M|4600 | - |5790 | 784 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
753.58/754.04 c 721s| 1890k| 1871k| 0 | 0.0 | 607M|4600 | - |5790 | 782 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
757.78/758.25 c 725s| 1900k| 1881k| 0 | 0.0 | 609M|4600 | - |5790 | 792 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
761.99/762.45 c 729s| 1910k| 1891k| 0 | 0.0 | 612M|4600 | - |5790 | 766 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
766.19/766.70 c 733s| 1920k| 1901k| 0 | 0.0 | 615M|4600 | - |5790 | 777 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
770.48/770.90 c 737s| 1930k| 1911k| 0 | 0.0 | 618M|4600 | - |5790 | 783 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
774.68/775.13 c 741s| 1940k| 1921k| 0 | 0.0 | 620M|4600 | - |5790 | 794 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
778.89/779.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.89/779.37 c 745s| 1950k| 1931k| 0 | 0.0 | 623M|4600 | - |5790 | 768 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
783.08/783.58 c 749s| 1960k| 1941k| 0 | 0.0 | 626M|4600 | - |5790 | 795 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
787.29/787.76 c 753s| 1970k| 1951k| 0 | 0.0 | 629M|4600 | - |5790 | 792 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
791.48/791.95 c 757s| 1980k| 1961k| 0 | 0.0 | 631M|4600 | - |5790 | 786 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
795.78/796.20 c 761s| 1990k| 1971k| 0 | 0.0 | 634M|4600 | - |5790 | 814 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
799.98/800.42 c 765s| 2000k| 1981k| 0 | 0.0 | 637M|4600 | - |5790 | 782 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
804.19/804.63 c 769s| 2010k| 1991k| 0 | 0.0 | 639M|4600 | - |5790 | 771 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
808.38/808.83 c 773s| 2020k| 2001k| 0 | 0.0 | 642M|4600 | - |5790 | 798 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
812.58/813.04 c 778s| 2030k| 2011k| 0 | 0.0 | 645M|4600 | - |5790 | 783 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
816.79/817.24 c 782s| 2040k| 2021k| 0 | 0.0 | 648M|4600 | - |5790 | 788 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
820.99/821.48 c 786s| 2050k| 2031k| 0 | 0.0 | 650M|4600 | - |5790 | 806 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
825.28/825.71 c 790s| 2060k| 2041k| 0 | 0.0 | 653M|4600 | - |5790 | 776 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
829.48/829.92 c 794s| 2070k| 2051k| 0 | 0.0 | 656M|4600 | - |5790 | 780 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
833.68/834.11 c 798s| 2080k| 2061k| 0 | 0.0 | 659M|4600 | - |5790 | 773 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
837.88/838.33 c 802s| 2090k| 2071k| 0 | 0.0 | 661M|4600 | - |5790 | 780 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
842.09/842.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.09/842.53 c 806s| 2100k| 2081k| 0 | 0.0 | 664M|4600 | - |5790 | 784 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
846.29/846.79 c 810s| 2110k| 2091k| 0 | 0.0 | 667M|4600 | - |5790 | 810 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
850.49/851.00 c 814s| 2120k| 2101k| 0 | 0.0 | 669M|4600 | - |5790 | 779 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
854.78/855.22 c 818s| 2130k| 2111k| 0 | 0.0 | 672M|4600 | - |5790 | 775 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
858.98/859.47 c 822s| 2140k| 2121k| 0 | 0.0 | 675M|4600 | - |5790 | 795 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
863.28/863.72 c 826s| 2150k| 2131k| 0 | 0.0 | 678M|4600 | - |5790 | 827 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
867.39/867.88 c 830s| 2160k| 2141k| 0 | 0.0 | 680M|4600 | - |5790 | 785 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
871.68/872.10 c 834s| 2170k| 2151k| 0 | 0.0 | 683M|4600 | - |5790 | 838 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
875.79/876.29 c 838s| 2180k| 2161k| 0 | 0.0 | 686M|4600 | - |5790 | 847 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
880.08/880.54 c 842s| 2190k| 2171k| 0 | 0.0 | 688M|4600 | - |5790 | 820 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
884.28/884.79 c 846s| 2200k| 2181k| 0 | 0.0 | 691M|4600 | - |5790 | 871 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
888.59/889.05 c 850s| 2210k| 2191k| 0 | 0.0 | 694M|4600 | - |5790 | 826 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
892.79/893.26 c 854s| 2220k| 2200k| 0 | 0.0 | 697M|4600 | - |5790 | 828 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
896.99/897.48 c 858s| 2230k| 2210k| 0 | 0.0 | 699M|4600 | - |5790 | 831 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
901.29/901.70 c 862s| 2240k| 2220k| 0 | 0.0 | 702M|4600 | - |5790 | 839 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
905.48/905.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
905.48/905.93 c 866s| 2250k| 2230k| 0 | 0.0 | 705M|4600 | - |5790 | 848 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
909.68/910.13 c 871s| 2260k| 2240k| 0 | 0.0 | 708M|4600 | - |5790 | 845 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
913.78/914.27 c 874s| 2270k| 2250k| 0 | 0.0 | 710M|4600 | - |5790 | 852 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
917.99/918.47 c 878s| 2280k| 2260k| 0 | 0.0 | 713M|4600 | - |5790 | 840 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
922.29/922.77 c 883s| 2290k| 2270k| 0 | 0.0 | 716M|4600 | - |5790 | 871 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
926.59/927.00 c 887s| 2300k| 2280k| 0 | 0.0 | 718M|4600 | - |5790 | 871 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
930.78/931.24 c 891s| 2310k| 2290k| 0 | 0.0 | 721M|4600 | - |5790 | 889 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
934.99/935.48 c 895s| 2320k| 2300k| 0 | 0.0 | 724M|4600 | - |5790 | 892 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
939.19/939.68 c 899s| 2330k| 2310k| 0 | 0.0 | 727M|4600 | - |5790 | 907 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
943.49/943.93 c 903s| 2340k| 2320k| 0 | 0.0 | 729M|4600 | - |5790 | 902 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
947.69/948.15 c 907s| 2350k| 2330k| 0 | 0.0 | 732M|4600 | - |5790 | 956 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
951.89/952.32 c 911s| 2360k| 2340k| 0 | 0.0 | 735M|4600 | - |5790 | 912 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
956.08/956.58 c 915s| 2370k| 2350k| 0 | 0.0 | 737M|4600 | - |5790 | 920 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
960.39/960.88 c 919s| 2380k| 2360k| 0 | 0.0 | 740M|4600 | - |5790 | 936 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
964.69/965.10 c 923s| 2390k| 2370k| 0 | 0.0 | 743M|4600 | - |5790 | 966 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
968.78/969.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.78/969.28 c 927s| 2400k| 2380k| 0 | 0.0 | 745M|4600 | - |5790 | 937 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
972.99/973.44 c 931s| 2410k| 2390k| 0 | 0.0 | 748M|4600 | - |5790 | 945 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
977.18/977.67 c 935s| 2420k| 2400k| 0 | 0.0 | 751M|4600 | - |5790 | 971 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
981.39/981.89 c 939s| 2430k| 2410k| 0 | 0.0 | 754M|4600 | - |5790 | 945 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
985.59/986.09 c 943s| 2440k| 2420k| 0 | 0.0 | 756M|4600 | - |5790 | 934 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
989.79/990.29 c 947s| 2450k| 2430k| 0 | 0.0 | 759M|4600 | - |5790 | 981 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
993.99/994.43 c 951s| 2460k| 2440k| 0 | 0.0 | 762M|4600 | - |5790 | 929 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
998.19/998.64 c 955s| 2470k| 2450k| 0 | 0.0 | 764M|4600 | - |5790 | 948 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1002.39/1002.87 c 959s| 2480k| 2460k| 0 | 0.0 | 767M|4600 | - |5790 | 928 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1006.59/1007.09 c 963s| 2490k| 2470k| 0 | 0.0 | 770M|4600 | - |5790 | 936 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1010.79/1011.27 c 967s| 2500k| 2480k| 0 | 0.0 | 773M|4600 | - |5790 | 939 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1015.09/1015.53 c 971s| 2510k| 2490k| 0 | 0.0 | 775M|4600 | - |5790 | 939 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1019.29/1019.70 c 975s| 2520k| 2500k| 0 | 0.0 | 778M|4600 | - |5790 | 938 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1023.39/1023.88 c 979s| 2530k| 2510k| 0 | 0.0 | 781M|4600 | - |5790 | 915 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1027.68/1028.11 c 983s| 2540k| 2520k| 0 | 0.0 | 783M|4600 | - |5790 | 930 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1031.89/1032.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.89/1032.35 c 987s| 2550k| 2530k| 0 | 0.0 | 786M|4600 | - |5790 | 934 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1036.09/1036.51 c 991s| 2560k| 2539k| 0 | 0.0 | 789M|4600 | - |5790 | 926 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1040.29/1040.73 c 995s| 2570k| 2549k| 0 | 0.0 | 792M|4600 | - |5790 | 943 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1044.50/1044.96 c 999s| 2580k| 2559k| 0 | 0.0 | 794M|4600 | - |5790 | 927 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1048.69/1049.16 c 1004s| 2590k| 2569k| 0 | 0.0 | 797M|4600 | - |5790 | 923 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1052.89/1053.38 c 1008s| 2600k| 2579k| 0 | 0.0 | 800M|4600 | - |5790 | 906 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1057.09/1057.59 c 1012s| 2610k| 2589k| 0 | 0.0 | 802M|4600 | - |5790 | 912 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1061.29/1061.78 c 1016s| 2620k| 2599k| 0 | 0.0 | 805M|4600 | - |5790 | 888 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1065.59/1066.04 c 1020s| 2630k| 2609k| 0 | 0.0 | 808M|4600 | - |5790 | 919 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1069.90/1070.30 c 1024s| 2640k| 2619k| 0 | 0.0 | 811M|4600 | - |5790 | 901 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1074.09/1074.55 c 1028s| 2650k| 2629k| 0 | 0.0 | 813M|4600 | - |5790 | 891 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1078.29/1078.73 c 1032s| 2660k| 2639k| 0 | 0.0 | 816M|4600 | - |5790 | 889 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1082.59/1083.03 c 1036s| 2670k| 2649k| 0 | 0.0 | 819M|4600 | - |5790 | 921 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1086.79/1087.26 c 1040s| 2680k| 2659k| 0 | 0.0 | 821M|4600 | - |5790 | 896 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1091.09/1091.50 c 1044s| 2690k| 2669k| 0 | 0.0 | 824M|4600 | - |5790 | 875 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1095.29/1095.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1095.29/1095.70 c 1048s| 2700k| 2679k| 0 | 0.0 | 827M|4600 | - |5790 | 879 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1099.49/1099.91 c 1052s| 2710k| 2689k| 0 | 0.0 | 830M|4600 | - |5790 | 858 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1103.69/1104.13 c 1056s| 2720k| 2699k| 0 | 0.0 | 832M|4600 | - |5790 | 843 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1107.89/1108.37 c 1060s| 2730k| 2709k| 0 | 0.0 | 835M|4600 | - |5790 | 848 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1112.09/1112.59 c 1065s| 2740k| 2719k| 0 | 0.0 | 838M|4600 | - |5790 | 837 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1116.39/1116.82 c 1069s| 2750k| 2729k| 0 | 0.0 | 840M|4600 | - |5790 | 848 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1120.59/1121.02 c 1073s| 2760k| 2739k| 0 | 0.0 | 843M|4600 | - |5790 | 850 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1124.79/1125.25 c 1077s| 2770k| 2749k| 0 | 0.0 | 846M|4600 | - |5790 | 844 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1129.09/1129.51 c 1081s| 2780k| 2759k| 0 | 0.0 | 849M|4600 | - |5790 | 835 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1133.29/1133.73 c 1085s| 2790k| 2769k| 0 | 0.0 | 851M|4600 | - |5790 | 838 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1137.49/1137.96 c 1089s| 2800k| 2779k| 0 | 0.0 | 854M|4600 | - |5790 | 840 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1141.79/1142.25 c 1093s| 2810k| 2789k| 0 | 0.0 | 857M|4600 | - |5790 | 819 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1146.09/1146.50 c 1097s| 2820k| 2799k| 0 | 0.0 | 860M|4600 | - |5790 | 826 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1150.29/1150.73 c 1101s| 2830k| 2809k| 0 | 0.0 | 862M|4600 | - |5790 | 816 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1154.50/1154.95 c 1105s| 2840k| 2819k| 0 | 0.0 | 865M|4600 | - |5790 | 833 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1158.69/1159.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.69/1159.19 c 1109s| 2850k| 2829k| 0 | 0.0 | 868M|4600 | - |5790 | 822 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1162.99/1163.46 c 1113s| 2860k| 2839k| 0 | 0.0 | 871M|4600 | - |5790 | 839 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1167.29/1167.71 c 1118s| 2870k| 2849k| 0 | 0.0 | 873M|4600 | - |5790 | 828 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1171.49/1171.96 c 1122s| 2880k| 2859k| 0 | 0.0 | 876M|4600 | - |5790 | 841 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1175.69/1176.19 c 1126s| 2890k| 2869k| 0 | 0.0 | 879M|4600 | - |5790 | 836 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1179.99/1180.43 c 1130s| 2900k| 2879k| 0 | 0.0 | 882M|4600 | - |5790 | 815 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1184.20/1184.69 c 1134s| 2910k| 2889k| 0 | 0.0 | 884M|4600 | - |5790 | 796 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1188.49/1188.95 c 1138s| 2920k| 2898k| 0 | 0.0 | 887M|4600 | - |5790 | 819 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1192.69/1193.18 c 1142s| 2930k| 2908k| 0 | 0.0 | 890M|4600 | - |5790 | 798 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1196.99/1197.41 c 1146s| 2940k| 2918k| 0 | 0.0 | 892M|4600 | - |5790 | 797 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1201.30/1201.73 c 1150s| 2950k| 2928k| 0 | 0.0 | 895M|4600 | - |5790 | 848 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1205.49/1205.94 c 1154s| 2960k| 2938k| 0 | 0.0 | 898M|4600 | - |5790 | 851 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1209.70/1210.14 c 1158s| 2970k| 2948k| 0 | 0.0 | 901M|4600 | - |5790 | 843 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1213.90/1214.39 c 1163s| 2980k| 2958k| 0 | 0.0 | 903M|4600 | - |5790 | 821 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1218.19/1218.61 c 1167s| 2990k| 2968k| 0 | 0.0 | 906M|4600 | - |5790 | 816 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1222.50/1222.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.50/1222.90 c 1171s| 3000k| 2978k| 0 | 0.0 | 909M|4600 | - |5790 | 856 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1226.69/1227.12 c 1175s| 3010k| 2988k| 0 | 0.0 | 911M|4600 | - |5790 | 819 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1230.89/1231.39 c 1179s| 3020k| 2998k| 0 | 0.0 | 914M|4600 | - |5790 | 833 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1235.19/1235.61 c 1183s| 3030k| 3008k| 0 | 0.0 | 917M|4600 | - |5790 | 816 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1239.40/1239.86 c 1187s| 3040k| 3018k| 0 | 0.0 | 920M|4600 | - |5790 | 801 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1243.59/1244.08 c 1191s| 3050k| 3028k| 0 | 0.0 | 922M|4600 | - |5790 | 827 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1247.89/1248.31 c 1195s| 3060k| 3038k| 0 | 0.0 | 925M|4600 | - |5790 | 856 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1252.09/1252.52 c 1199s| 3070k| 3048k| 0 | 0.0 | 928M|4600 | - |5790 | 853 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1256.30/1256.75 c 1203s| 3080k| 3058k| 0 | 0.0 | 930M|4600 | - |5790 | 849 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1260.49/1260.97 c 1207s| 3090k| 3068k| 0 | 0.0 | 933M|4600 | - |5790 | 849 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1264.69/1265.19 c 1212s| 3100k| 3078k| 0 | 0.0 | 936M|4600 | - |5790 | 866 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1269.00/1269.48 c 1216s| 3110k| 3088k| 0 | 0.0 | 939M|4600 | - |5790 | 856 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1273.30/1273.76 c 1220s| 3120k| 3098k| 0 | 0.0 | 941M|4600 | - |5790 | 879 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1277.59/1278.01 c 1224s| 3130k| 3108k| 0 | 0.0 | 944M|4600 | - |5790 | 894 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1281.80/1282.28 c 1228s| 3140k| 3118k| 0 | 0.0 | 947M|4600 | - |5790 | 903 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1286.09/1286.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.09/1286.55 c 1232s| 3150k| 3128k| 0 | 0.0 | 950M|4600 | - |5790 | 867 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1290.29/1290.75 c 1236s| 3160k| 3138k| 0 | 0.0 | 952M|4600 | - |5790 | 897 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1294.60/1295.02 c 1240s| 3170k| 3148k| 0 | 0.0 | 955M|4600 | - |5790 | 887 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1298.89/1299.31 c 1244s| 3180k| 3158k| 0 | 0.0 | 958M|4600 | - |5790 | 886 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1303.10/1303.51 c 1248s| 3190k| 3168k| 0 | 0.0 | 960M|4600 | - |5790 | 909 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1307.30/1307.76 c 1252s| 3200k| 3178k| 0 | 0.0 | 963M|4600 | - |5790 | 917 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1311.59/1312.01 c 1257s| 3210k| 3188k| 0 | 0.0 | 966M|4600 | - |5790 | 929 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1315.80/1316.26 c 1261s| 3220k| 3198k| 0 | 0.0 | 968M|4600 | - |5790 | 910 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1320.10/1320.56 c 1265s| 3230k| 3208k| 0 | 0.0 | 971M|4600 | - |5790 | 944 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1324.30/1324.79 c 1269s| 3240k| 3218k| 0 | 0.0 | 974M|4600 | - |5790 | 925 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1328.70/1329.10 c 1273s| 3250k| 3228k| 0 | 0.0 | 977M|4600 | - |5790 | 945 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1332.90/1333.33 c 1277s| 3260k| 3238k| 0 | 0.0 | 979M|4600 | - |5790 | 894 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1337.10/1337.54 c 1281s| 3270k| 3247k| 0 | 0.0 | 982M|4600 | - |5790 | 884 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1341.29/1341.75 c 1285s| 3280k| 3257k| 0 | 0.0 | 985M|4600 | - |5790 | 938 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1345.50/1345.97 c 1289s| 3290k| 3267k| 0 | 0.0 | 987M|4600 | - |5790 | 935 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1349.79/1350.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1349.79/1350.23 c 1293s| 3300k| 3277k| 0 | 0.0 | 990M|4600 | - |5790 | 961 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1354.10/1354.51 c 1297s| 3310k| 3287k| 0 | 0.0 | 993M|4600 | - |5790 | 947 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1358.29/1358.78 c 1302s| 3320k| 3297k| 0 | 0.0 | 996M|4600 | - |5790 | 940 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1362.50/1362.99 c 1306s| 3330k| 3307k| 0 | 0.0 | 998M|4600 | - |5790 | 927 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1366.80/1367.22 c 1310s| 3340k| 3317k| 0 | 0.0 |1001M|4600 | - |5790 | 936 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1371.00/1371.46 c 1314s| 3350k| 3327k| 0 | 0.0 |1004M|4600 | - |5790 | 927 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1375.30/1375.77 c 1318s| 3360k| 3337k| 0 | 0.0 |1007M|4600 | - |5790 | 962 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1379.60/1380.04 c 1322s| 3370k| 3347k| 0 | 0.0 |1009M|4600 | - |5790 | 920 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1383.90/1384.36 c 1326s| 3380k| 3357k| 0 | 0.0 |1012M|4600 | - |5790 | 918 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1388.19/1388.63 c 1330s| 3390k| 3367k| 0 | 0.0 |1015M|4600 | - |5790 | 920 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1392.40/1392.89 c 1334s| 3400k| 3377k| 0 | 0.0 |1017M|4600 | - |5790 | 959 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1396.70/1397.16 c 1338s| 3410k| 3387k| 0 | 0.0 |1020M|4600 | - |5790 | 920 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1401.00/1401.42 c 1343s| 3420k| 3397k| 0 | 0.0 |1023M|4600 | - |5790 | 941 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1405.20/1405.69 c 1347s| 3430k| 3407k| 0 | 0.0 |1026M|4600 | - |5790 | 925 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1409.50/1409.95 c 1351s| 3440k| 3417k| 0 | 0.0 |1028M|4600 | - |5790 | 920 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1413.80/1414.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.80/1414.20 c 1355s| 3450k| 3427k| 0 | 0.0 |1031M|4600 | - |5790 | 890 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1418.10/1418.51 c 1359s| 3460k| 3437k| 0 | 0.0 |1034M|4600 | - |5790 | 926 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1422.30/1422.75 c 1363s| 3470k| 3447k| 0 | 0.0 |1036M|4600 | - |5790 | 927 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1426.49/1426.98 c 1367s| 3480k| 3457k| 0 | 0.0 |1039M|4600 | - |5790 | 919 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1430.90/1431.38 c 1371s| 3490k| 3467k| 0 | 0.0 |1042M|4600 | - |5790 | 985 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1435.20/1435.61 c 1376s| 3500k| 3477k| 0 | 0.0 |1045M|4600 | - |5790 | 905 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1439.40/1439.88 c 1380s| 3510k| 3487k| 0 | 0.0 |1047M|4600 | - |5790 | 944 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1443.60/1444.09 c 1384s| 3520k| 3497k| 0 | 0.0 |1050M|4600 | - |5790 | 918 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1447.90/1448.34 c 1388s| 3530k| 3507k| 0 | 0.0 |1053M|4600 | - |5790 | 971 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1452.10/1452.56 c 1392s| 3540k| 3517k| 0 | 0.0 |1055M|4600 | - |5790 | 939 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1456.40/1456.81 c 1396s| 3550k| 3527k| 0 | 0.0 |1058M|4600 | - |5790 | 911 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1460.60/1461.03 c 1400s| 3560k| 3537k| 0 | 0.0 |1061M|4600 | - |5790 | 900 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1464.90/1465.33 c 1404s| 3570k| 3547k| 0 | 0.0 |1063M|4600 | - |5790 | 957 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1469.10/1469.60 c 1408s| 3580k| 3557k| 0 | 0.0 |1066M|4600 | - |5790 | 925 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1473.40/1473.81 c 1412s| 3590k| 3567k| 0 | 0.0 |1069M|4600 | - |5790 | 878 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1477.60/1478.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1477.60/1478.08 c 1416s| 3600k| 3576k| 0 | 0.0 |1072M|4600 | - |5790 | 899 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1481.90/1482.38 c 1420s| 3610k| 3586k| 0 | 0.0 |1074M|4600 | - |5790 | 913 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1486.20/1486.68 c 1425s| 3620k| 3596k| 0 | 0.0 |1077M|4600 | - |5790 | 918 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1490.50/1490.93 c 1429s| 3630k| 3606k| 0 | 0.0 |1080M|4600 | - |5790 | 916 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1494.70/1495.19 c 1433s| 3640k| 3616k| 0 | 0.0 |1082M|4600 | - |5790 | 929 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1499.00/1499.49 c 1437s| 3650k| 3626k| 0 | 0.0 |1085M|4600 | - |5790 | 889 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1503.20/1503.69 c 1441s| 3660k| 3636k| 0 | 0.0 |1088M|4600 | - |5790 | 903 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1507.50/1507.91 c 1445s| 3670k| 3646k| 0 | 0.0 |1091M|4600 | - |5790 | 908 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1511.70/1512.14 c 1449s| 3680k| 3656k| 0 | 0.0 |1093M|4600 | - |5790 | 918 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1516.00/1516.42 c 1453s| 3690k| 3666k| 0 | 0.0 |1096M|4600 | - |5790 | 934 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1520.20/1520.64 c 1457s| 3700k| 3676k| 0 | 0.0 |1099M|4600 | - |5790 | 921 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1524.40/1524.87 c 1461s| 3710k| 3686k| 0 | 0.0 |1101M|4600 | - |5790 | 958 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1528.70/1529.10 c 1465s| 3720k| 3696k| 0 | 0.0 |1104M|4600 | - |5790 | 924 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1532.91/1533.35 c 1470s| 3730k| 3706k| 0 | 0.0 |1107M|4600 | - |5790 | 912 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1537.10/1537.56 c 1474s| 3740k| 3716k| 0 | 0.0 |1110M|4600 | - |5790 | 930 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1541.41/1541.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1541.41/1541.82 c 1478s| 3750k| 3726k| 0 | 0.0 |1112M|4600 | - |5790 | 912 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1545.70/1546.12 c 1482s| 3760k| 3736k| 0 | 0.0 |1115M|4600 | - |5790 | 921 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1549.91/1550.38 c 1486s| 3770k| 3746k| 0 | 0.0 |1118M|4600 | - |5790 | 913 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1554.10/1554.59 c 1490s| 3780k| 3756k| 0 | 0.0 |1120M|4600 | - |5790 | 935 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1558.40/1558.83 c 1494s| 3790k| 3766k| 0 | 0.0 |1123M|4600 | - |5790 | 923 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1562.61/1563.10 c 1498s| 3800k| 3776k| 0 | 0.0 |1126M|4600 | - |5790 | 945 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1566.91/1567.36 c 1502s| 3810k| 3786k| 0 | 0.0 |1129M|4600 | - |5790 | 933 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1571.20/1571.65 c 1506s| 3820k| 3796k| 0 | 0.0 |1131M|4600 | - |5790 | 923 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1575.50/1575.94 c 1510s| 3830k| 3806k| 0 | 0.0 |1134M|4600 | - |5790 | 917 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1579.80/1580.23 c 1514s| 3840k| 3816k| 0 | 0.0 |1137M|4600 | - |5790 | 918 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1584.01/1584.48 c 1518s| 3850k| 3826k| 0 | 0.0 |1139M|4600 | - |5790 | 911 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1588.30/1588.73 c 1522s| 3860k| 3836k| 0 | 0.0 |1142M|4600 | - |5790 | 930 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1592.50/1592.96 c 1526s| 3870k| 3846k| 0 | 0.0 |1145M|4600 | - |5790 | 918 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1596.71/1597.18 c 1531s| 3880k| 3856k| 0 | 0.0 |1148M|4600 | - |5790 | 891 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1601.00/1601.49 c 1535s| 3890k| 3866k| 0 | 0.0 |1150M|4600 | - |5790 | 919 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1605.30/1605.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1605.30/1605.74 c 1539s| 3900k| 3876k| 0 | 0.0 |1153M|4600 | - |5790 | 912 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1609.60/1610.02 c 1543s| 3910k| 3886k| 0 | 0.0 |1156M|4600 | - |5790 | 942 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1613.80/1614.28 c 1547s| 3920k| 3896k| 0 | 0.0 |1158M|4600 | - |5790 | 935 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1618.10/1618.56 c 1551s| 3930k| 3906k| 0 | 0.0 |1161M|4600 | - |5790 | 888 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1622.40/1622.85 c 1555s| 3940k| 3915k| 0 | 0.0 |1164M|4600 | - |5790 | 919 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1626.70/1627.14 c 1559s| 3950k| 3925k| 0 | 0.0 |1167M|4600 | - |5790 | 895 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1630.91/1631.39 c 1563s| 3960k| 3935k| 0 | 0.0 |1169M|4600 | - |5790 | 899 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1635.21/1635.65 c 1567s| 3970k| 3945k| 0 | 0.0 |1172M|4600 | - |5790 | 910 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1639.40/1639.86 c 1571s| 3980k| 3955k| 0 | 0.0 |1175M|4600 | - |5790 | 910 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1643.70/1644.13 c 1575s| 3990k| 3965k| 0 | 0.0 |1177M|4600 | - |5790 | 896 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1647.90/1648.33 c 1580s| 4000k| 3975k| 0 | 0.0 |1180M|4600 | - |5790 | 923 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1652.10/1652.54 c 1584s| 4010k| 3985k| 0 | 0.0 |1183M|4600 | - |5790 | 927 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1656.31/1656.77 c 1588s| 4020k| 3995k| 0 | 0.0 |1185M|4600 | - |5790 | 912 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1660.61/1661.05 c 1592s| 4030k| 4005k| 0 | 0.0 |1188M|4600 | - |5790 | 924 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1664.80/1665.26 c 1596s| 4040k| 4015k| 0 | 0.0 |1191M|4600 | - |5790 | 908 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1669.11/1669.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1669.11/1669.52 c 1600s| 4050k| 4025k| 0 | 0.0 |1194M|4600 | - |5790 | 914 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1673.31/1673.79 c 1604s| 4060k| 4035k| 0 | 0.0 |1196M|4600 | - |5790 | 903 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1677.61/1678.03 c 1608s| 4070k| 4045k| 0 | 0.0 |1199M|4600 | - |5790 | 884 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1681.81/1682.29 c 1612s| 4080k| 4055k| 0 | 0.0 |1202M|4600 | - |5790 | 905 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1686.11/1686.55 c 1616s| 4090k| 4065k| 0 | 0.0 |1205M|4600 | - |5790 | 906 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1690.31/1690.77 c 1620s| 4100k| 4075k| 0 | 0.0 |1207M|4600 | - |5790 | 894 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1694.61/1695.04 c 1624s| 4110k| 4085k| 0 | 0.0 |1210M|4600 | - |5790 | 894 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1698.90/1699.35 c 1628s| 4120k| 4095k| 0 | 0.0 |1213M|4600 | - |5790 | 887 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1703.11/1703.58 c 1632s| 4130k| 4105k| 0 | 0.0 |1215M|4600 | - |5790 | 870 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1707.41/1707.83 c 1636s| 4140k| 4115k| 0 | 0.0 |1218M|4600 | - |5790 | 839 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1711.61/1712.05 c 1640s| 4150k| 4125k| 0 | 0.0 |1221M|4600 | - |5790 | 863 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1715.90/1716.32 c 1645s| 4160k| 4135k| 0 | 0.0 |1224M|4600 | - |5790 | 845 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1720.11/1720.58 c 1649s| 4170k| 4145k| 0 | 0.0 |1226M|4600 | - |5790 | 829 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1724.51/1724.90 c 1653s| 4180k| 4155k| 0 | 0.0 |1229M|4600 | - |5790 | 856 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1728.81/1729.21 c 1657s| 4190k| 4165k| 0 | 0.0 |1232M|4600 | - |5790 | 857 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1733.00/1733.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1733.00/1733.43 c 1661s| 4200k| 4175k| 0 | 0.0 |1234M|4600 | - |5790 | 823 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1737.20/1737.64 c 1665s| 4210k| 4185k| 0 | 0.0 |1237M|4600 | - |5790 | 851 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1741.51/1741.93 c 1669s| 4220k| 4195k| 0 | 0.0 |1240M|4600 | - |5790 | 881 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1745.70/1746.19 c 1673s| 4230k| 4205k| 0 | 0.0 |1243M|4600 | - |5790 | 851 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1750.01/1750.46 c 1677s| 4240k| 4215k| 0 | 0.0 |1245M|4600 | - |5790 | 912 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1754.31/1754.72 c 1681s| 4250k| 4225k| 0 | 0.0 |1248M|4600 | - |5790 | 902 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1758.61/1759.01 c 1685s| 4260k| 4235k| 0 | 0.0 |1251M|4600 | - |5790 | 871 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1762.81/1763.24 c 1689s| 4270k| 4244k| 0 | 0.0 |1253M|4600 | - |5790 | 886 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1767.01/1767.47 c 1693s| 4280k| 4254k| 0 | 0.0 |1256M|4600 | - |5790 | 871 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1771.30/1771.74 c 1698s| 4290k| 4264k| 0 | 0.0 |1259M|4600 | - |5790 | 875 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1775.61/1776.01 c 1702s| 4300k| 4274k| 0 | 0.0 |1262M|4600 | - |5790 | 916 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1779.80/1780.24 c 1706s| 4310k| 4284k| 0 | 0.0 |1264M|4600 | - |5790 | 870 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1784.11/1784.50 c 1710s| 4320k| 4294k| 0 | 0.0 |1267M|4600 | - |5790 | 880 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1788.30/1788.76 c 1714s| 4330k| 4304k| 0 | 0.0 |1270M|4600 | - |5790 | 882 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1792.52/1792.98 c 1718s| 4340k| 4314k| 0 | 0.0 |1272M|4600 | - |5790 | 878 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1796.81/1797.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.81/1797.24 c 1722s| 4350k| 4324k| 0 | 0.0 |1275M|4600 | - |5790 | 869 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1800.01/1800.40 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.40 c
1800.01/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.40 c Solving Time (sec) : 1724.96
1800.01/1800.40 c Solving Nodes : 4357331
1800.01/1800.40 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.40 c Dual Bound : +0.00000000000000e+00
1800.01/1800.40 c Gap : infinite
1800.01/1800.40 s UNKNOWN
1800.01/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.40 c Solving Time : 1724.96
1800.01/1800.40 c Original Problem :
1800.01/1800.40 c Problem name : HOME/instance-2693699-1277889928.wbo
1800.01/1800.40 c Variables : 5790 (5645 binary, 0 integer, 0 implicit integer, 145 continuous)
1800.01/1800.40 c Constraints : 356 initial, 356 maximal
1800.01/1800.40 c Presolved Problem :
1800.01/1800.40 c Problem name : t_HOME/instance-2693699-1277889928.wbo
1800.01/1800.40 c Variables : 5790 (5645 binary, 0 integer, 0 implicit integer, 145 continuous)
1800.01/1800.40 c Constraints : 355 initial, 1397 maximal
1800.01/1800.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.40 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c probing : 0.03 0 0 0 0 0 0 0 0
1800.01/1800.40 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c linear : 0.00 0 0 0 145 0 1 0 0
1800.01/1800.40 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c root node : - 0 - - 0 - - - -
1800.01/1800.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.40 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.40 c indicator : 145 0 4941 0 4651 0 346 0 0 0
1800.01/1800.40 c setppc : 30 0 4604166 0 4346790 8640 2598729 0 0 0
1800.01/1800.40 c linear : 145 0 4595526 0 4346790 5040 1383947 0 0 0
1800.01/1800.40 c logicor : 35+ 0 541876 0 4346790 723 105892 0 0 0
1800.01/1800.40 c countsols : 0 0 0 0 4346790 0 0 0 0 0
1800.01/1800.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.40 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.40 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.40 c setppc : 103.38 0.00 9.11 0.00 94.27
1800.01/1800.40 c linear : 53.15 0.00 52.81 0.00 0.34
1800.01/1800.40 c logicor : 84.85 0.00 4.44 0.00 80.41
1800.01/1800.40 c countsols : 0.01 0.00 0.00 0.00 0.01
1800.01/1800.40 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.40 c vbounds : 0.02 2 0 0
1800.01/1800.40 c rootredcost : 0.00 0 0 0
1800.01/1800.40 c pseudoobj : 16.20 4603966 0 0
1800.01/1800.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.40 c propagation : 39.90 14403 14403 217201 427.3 195026 46.1 -
1800.01/1800.40 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.40 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.40 c applied globally : - - - 142171 68.8 - - -
1800.01/1800.40 c applied locally : - - - 5 607.0 - - -
1800.01/1800.40 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.40 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.40 c redcost : 0.00 0 0 0 0 0
1800.01/1800.40 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.40 c intobj : 0.00 0 0 0 0 0
1800.01/1800.40 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.40 c gomory : 0.00 0 0 0 0 0
1800.01/1800.40 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.40 c cmir : 0.00 0 0 0 0 0
1800.01/1800.40 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.40 c clique : 0.00 0 0 0 0 0
1800.01/1800.40 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.40 c mcf : 0.00 0 0 0 0 0
1800.01/1800.40 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.40 c Pricers : Time Calls Vars
1800.01/1800.40 c problem variables: 0.00 0 0
1800.01/1800.40 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.40 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.40 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.40 c inference : 1428.11 4346790 0 0 0 0 8693580
1800.01/1800.40 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.40 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.40 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.40 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.40 c random : 0.00 0 0 0 0 0 0
1800.01/1800.40 c Primal Heuristics : Time Calls Found
1800.01/1800.40 c LP solutions : 0.00 - 0
1800.01/1800.40 c pseudo solutions : 0.00 - 0
1800.01/1800.40 c oneopt : 0.01 0 0
1800.01/1800.40 c trivial : 0.02 2 0
1800.01/1800.40 c simplerounding : 0.00 0 0
1800.01/1800.40 c zirounding : 0.00 0 0
1800.01/1800.40 c rounding : 0.00 0 0
1800.01/1800.40 c shifting : 0.00 0 0
1800.01/1800.40 c intshifting : 0.00 0 0
1800.01/1800.40 c twoopt : 0.00 0 0
1800.01/1800.40 c fixandinfer : 0.00 0 0
1800.01/1800.40 c feaspump : 0.00 0 0
1800.01/1800.40 c coefdiving : 0.00 0 0
1800.01/1800.40 c pscostdiving : 0.00 0 0
1800.01/1800.40 c fracdiving : 0.00 0 0
1800.01/1800.40 c veclendiving : 0.00 0 0
1800.01/1800.40 c intdiving : 0.00 0 0
1800.01/1800.40 c actconsdiving : 0.00 0 0
1800.01/1800.40 c objpscostdiving : 0.00 0 0
1800.01/1800.40 c rootsoldiving : 0.00 0 0
1800.01/1800.40 c linesearchdiving : 0.00 0 0
1800.01/1800.40 c guideddiving : 0.00 0 0
1800.01/1800.40 c octane : 0.00 0 0
1800.01/1800.40 c rens : 0.00 0 0
1800.01/1800.40 c rins : 0.00 0 0
1800.01/1800.40 c localbranching : 0.00 0 0
1800.01/1800.40 c mutation : 0.00 0 0
1800.01/1800.40 c crossover : 0.00 0 0
1800.01/1800.40 c dins : 0.00 0 0
1800.01/1800.40 c undercover : 0.00 0 0
1800.01/1800.40 c nlp : 0.02 0 0
1800.01/1800.40 c trysol : 0.00 1 0
1800.01/1800.40 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.40 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.40 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.40 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.40 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.40 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.40 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.40 c (at root node) : - 0 0 0.00 -
1800.01/1800.40 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.40 c B&B Tree :
1800.01/1800.40 c number of runs : 1
1800.01/1800.40 c nodes : 4357331
1800.01/1800.40 c nodes (total) : 4357331
1800.01/1800.40 c nodes left : 4332080
1800.01/1800.40 c max depth : 4600
1800.01/1800.40 c max depth (total): 4600
1800.01/1800.40 c backtracks : 6246 (0.1%)
1800.01/1800.40 c delayed cutoffs : 4170
1800.01/1800.40 c repropagations : 12661 (306443 domain reductions, 3862 cutoffs)
1800.01/1800.40 c avg switch length: 2.23
1800.01/1800.40 c switching time : 18.86
1800.01/1800.40 c Solution :
1800.01/1800.40 c Solutions found : 0 (0 improvements)
1800.01/1800.40 c Primal Bound : -
1800.01/1800.40 c Dual Bound : +0.00000000000000e+00
1800.01/1800.40 c Gap : infinite
1800.01/1800.40 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.40 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-2693699-1277889928/watcher-2693699-1277889928 -o /tmp/evaluation-result-2693699-1277889928/solver-2693699-1277889928 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693699-1277889928.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.25 2.84 3.15 4/186 9213
/proc/meminfo: memFree=31567808/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=9176 CPUtime=0
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 1691 0 0 0 0 0 0 0 19 0 1 0 130290838 9396224 1613 4089446400 4194304 7136930 140736523930496 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9213/statm: 2294 1631 275 719 0 1573 0
[startup+0.030916 s]
/proc/loadavg: 3.25 2.84 3.15 4/186 9213
/proc/meminfo: memFree=31567808/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=22492 CPUtime=0.02
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 5237 0 0 0 2 0 0 0 21 0 1 0 130290838 23031808 4806 4089446400 4194304 7136930 140736523930496 18446744073709551615 6164698 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9213/statm: 5623 4812 317 719 0 4902 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22492
[startup+0.100881 s]
/proc/loadavg: 3.25 2.84 3.15 4/186 9213
/proc/meminfo: memFree=31567808/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=25572 CPUtime=0.09
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 7329 0 0 0 9 0 0 0 21 0 1 0 130290838 26185728 5612 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9213/statm: 6393 5612 390 719 0 5672 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25572
[startup+0.300874 s]
/proc/loadavg: 3.25 2.84 3.15 4/186 9213
/proc/meminfo: memFree=31567808/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=26088 CPUtime=0.29
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 7468 0 0 0 29 0 0 0 21 0 1 0 130290838 26714112 5751 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9213/statm: 6522 5751 390 719 0 5801 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26088
[startup+0.700843 s]
/proc/loadavg: 3.25 2.84 3.15 4/186 9213
/proc/meminfo: memFree=31567808/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=26736 CPUtime=0.67
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 7623 0 0 0 66 1 0 0 22 0 1 0 130290838 27377664 5906 4089446400 4194304 7136930 140736523930496 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9213/statm: 6684 5906 390 719 0 5963 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 26736
[startup+1.50067 s]
/proc/loadavg: 3.25 2.84 3.15 3/187 9214
/proc/meminfo: memFree=31543868/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=28308 CPUtime=1.46
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 8042 0 0 0 140 6 0 0 25 0 1 0 130290838 28987392 6325 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 7077 6325 390 719 0 6356 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 28308
[startup+3.10034 s]
/proc/loadavg: 3.15 2.83 3.14 3/187 9214
/proc/meminfo: memFree=31539776/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=29788 CPUtime=3.04
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 8434 0 0 0 292 12 0 0 25 0 1 0 130290838 30502912 6716 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9213/statm: 7447 6716 394 719 0 6726 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 29788
[startup+6.30081 s]
/proc/loadavg: 3.15 2.83 3.14 4/187 9214
/proc/meminfo: memFree=31537296/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=33284 CPUtime=6.18
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 9331 0 0 0 600 18 0 0 25 0 1 0 130290838 34082816 7613 4089446400 4194304 7136930 140736523930496 18446744073709551615 4643136 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9213/statm: 8321 7613 394 719 0 7600 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 33284
[startup+12.7007 s]
/proc/loadavg: 2.97 2.80 3.13 7/187 9214
/proc/meminfo: memFree=31532476/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=38704 CPUtime=12.46
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 10745 0 0 0 1205 41 0 0 25 0 1 0 130290838 39632896 9027 4089446400 4194304 7136930 140736523930496 18446744073709551615 4407795 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9213/statm: 9676 9027 394 719 0 8955 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 38704
[startup+25.5005 s]
/proc/loadavg: 2.90 2.79 3.12 3/197 9315
/proc/meminfo: memFree=31611172/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=48264 CPUtime=25.06
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 13253 0 0 0 2439 67 0 0 25 0 1 0 130290838 49422336 11535 4089446400 4194304 7136930 140736523930496 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 12066 11535 394 719 0 11345 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 48264
[startup+51.1009 s]
/proc/loadavg: 2.59 2.73 3.09 3/197 9315
/proc/meminfo: memFree=31531136/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=69884 CPUtime=50.66
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 18355 0 0 0 4891 175 0 0 25 0 1 0 130290838 71561216 16637 4089446400 4194304 7136930 140736523930496 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 17471 16637 394 719 0 16750 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 69884
[startup+102.306 s]
/proc/loadavg: 2.24 2.60 3.03 3/197 9317
/proc/meminfo: memFree=31472728/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=108880 CPUtime=101.88
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 27509 0 0 0 9787 401 0 0 25 0 1 0 130290838 111493120 25791 4089446400 4194304 7136930 140736523930496 18446744073709551615 4643257 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 27220 25791 394 719 0 26499 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 108880
[startup+162.3 s]
/proc/loadavg: 2.08 2.49 2.96 3/197 9319
/proc/meminfo: memFree=31419468/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=150180 CPUtime=161.87
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 38332 0 0 0 15531 656 0 0 25 0 1 0 130290838 153784320 36614 4089446400 4194304 7136930 140736523930496 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 37545 36614 394 719 0 36824 0
Current children cumulated CPU time (s) 161.87
Current children cumulated vsize (KiB) 150180
[startup+222.301 s]
/proc/loadavg: 2.03 2.40 2.90 3/197 9321
/proc/meminfo: memFree=31376496/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=198356 CPUtime=221.86
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 48871 0 0 0 21260 926 0 0 25 0 1 0 130290838 203116544 47153 4089446400 4194304 7136930 140736523930496 18446744073709551615 4642144 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 49589 47153 394 719 0 48868 0
Current children cumulated CPU time (s) 221.86
Current children cumulated vsize (KiB) 198356
[startup+282.301 s]
/proc/loadavg: 2.01 2.32 2.84 3/197 9322
/proc/meminfo: memFree=31287264/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=243384 CPUtime=281.87
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 60703 0 0 0 26992 1195 0 0 25 0 1 0 130290838 249225216 58985 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 60846 58985 394 719 0 60125 0
Current children cumulated CPU time (s) 281.87
Current children cumulated vsize (KiB) 243384
[startup+342.3 s]
/proc/loadavg: 2.00 2.26 2.78 3/197 9323
/proc/meminfo: memFree=31240720/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=287932 CPUtime=341.88
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 72384 0 0 0 32720 1468 0 0 25 0 1 0 130290838 294842368 70666 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 71983 70666 394 719 0 71262 0
Current children cumulated CPU time (s) 341.88
Current children cumulated vsize (KiB) 287932
[startup+402.301 s]
/proc/loadavg: 2.08 2.24 2.74 3/197 9328
/proc/meminfo: memFree=31183860/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=333816 CPUtime=401.88
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 84360 0 0 0 38429 1759 0 0 25 0 1 0 130290838 341827584 82642 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 83454 82642 394 719 0 82733 0
Current children cumulated CPU time (s) 401.88
Current children cumulated vsize (KiB) 333816
[startup+462.3 s]
/proc/loadavg: 2.03 2.19 2.69 3/197 9330
/proc/meminfo: memFree=31132960/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=398144 CPUtime=461.88
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 96950 0 0 0 44134 2054 0 0 25 0 1 0 130290838 407699456 95232 4089446400 4194304 7136930 140736523930496 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 99536 95232 394 719 0 98815 0
Current children cumulated CPU time (s) 461.88
Current children cumulated vsize (KiB) 398144
[startup+522.301 s]
/proc/loadavg: 2.01 2.16 2.64 3/197 9332
/proc/meminfo: memFree=31079572/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=450984 CPUtime=521.88
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 110616 0 0 0 49880 2308 0 0 25 0 1 0 130290838 461807616 108898 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 112746 108898 394 719 0 112025 0
Current children cumulated CPU time (s) 521.88
Current children cumulated vsize (KiB) 450984
[startup+582.301 s]
/proc/loadavg: 2.00 2.12 2.60 3/197 9333
/proc/meminfo: memFree=30990236/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=534000 CPUtime=581.88
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 131724 0 0 0 55613 2575 0 0 25 0 1 0 130290838 546816000 130006 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 133500 130006 394 719 0 132779 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 534000
[startup+642.3 s]
/proc/loadavg: 2.00 2.10 2.56 3/197 9334
/proc/meminfo: memFree=30905844/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=615544 CPUtime=641.88
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 152497 0 0 0 61303 2885 0 0 25 0 1 0 130290838 630317056 150779 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 153886 150779 394 719 0 153165 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 615544
[startup+702.301 s]
################
# More data... #
################
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 215097 0 0 0 95866 4323 0 0 25 0 1 0 130290838 906698752 213379 4089446400 4194304 7136930 140736523930496 18446744073709551615 4642001 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 221362 213379 394 719 0 220641 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 885448
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.35 3/197 9346
/proc/meminfo: memFree=30613736/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=923712 CPUtime=1061.89
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 225194 0 0 0 101615 4574 0 0 25 0 1 0 130290838 945881088 223476 4089446400 4194304 7136930 140736523930496 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 230928 223476 394 719 0 230207 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 923712
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.32 3/197 9348
/proc/meminfo: memFree=30563080/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=963000 CPUtime=1121.89
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 235594 0 0 0 107388 4801 0 0 25 0 1 0 130290838 986112000 233876 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 240750 233876 394 719 0 240029 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 963000
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.30 3/197 9349
/proc/meminfo: memFree=30522956/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1001780 CPUtime=1181.89
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 245827 0 0 0 113166 5023 0 0 25 0 1 0 130290838 1025822720 244109 4089446400 4194304 7136930 140736523930496 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 250445 244109 394 719 0 249724 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1001780
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.28 3/197 9350
/proc/meminfo: memFree=30478872/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1040956 CPUtime=1241.89
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 256171 0 0 0 118946 5243 0 0 25 0 1 0 130290838 1065938944 254453 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 260239 254453 394 719 0 259518 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1040956
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.26 3/197 9352
/proc/meminfo: memFree=30438632/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1078792 CPUtime=1301.9
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 266153 0 0 0 124723 5467 0 0 25 0 1 0 130290838 1104683008 264435 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 269698 264435 394 719 0 268977 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1078792
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/197 9354
/proc/meminfo: memFree=30399132/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1115908 CPUtime=1361.9
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 275998 0 0 0 130491 5699 0 0 25 0 1 0 130290838 1142689792 274280 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 278977 274280 394 719 0 278256 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1115908
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.22 3/197 9356
/proc/meminfo: memFree=30359012/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1153672 CPUtime=1421.9
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 285968 0 0 0 136275 5915 0 0 25 0 1 0 130290838 1181360128 284250 4089446400 4194304 7136930 140736523930496 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 288418 284250 394 719 0 287697 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1153672
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.20 3/197 9357
/proc/meminfo: memFree=30317036/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1193696 CPUtime=1481.9
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 296554 0 0 0 142041 6149 0 0 25 0 1 0 130290838 1222344704 294836 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 298424 294836 394 719 0 297703 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1193696
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.19 3/197 9358
/proc/meminfo: memFree=30278532/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1229524 CPUtime=1541.9
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 306038 0 0 0 147810 6380 0 0 25 0 1 0 130290838 1259032576 304320 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 307381 304320 394 719 0 306660 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1229524
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.18 3/197 9360
/proc/meminfo: memFree=30231708/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1268140 CPUtime=1601.9
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 316263 0 0 0 153542 6648 0 0 25 0 1 0 130290838 1298575360 314545 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 317035 314545 394 719 0 316314 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1268140
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/197 9362
/proc/meminfo: memFree=30191468/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1305448 CPUtime=1661.9
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 326149 0 0 0 159289 6901 0 0 25 0 1 0 130290838 1336778752 324431 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 326362 324431 394 719 0 325641 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1305448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/197 9364
/proc/meminfo: memFree=30151572/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1408784 CPUtime=1721.91
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 336114 0 0 0 165024 7167 0 0 25 0 1 0 130290838 1442594816 334396 4089446400 4194304 7136930 140736523930496 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 352196 334396 394 719 0 351475 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1408784
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/197 9365
/proc/meminfo: memFree=30108708/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1448664 CPUtime=1781.91
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 346627 0 0 0 170766 7425 0 0 25 0 1 0 130290838 1483431936 344909 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 362166 344909 394 719 0 361445 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1448664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.14 3/197 9366
/proc/meminfo: memFree=30096664/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1459568 CPUtime=1800.01
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 349519 0 0 0 172497 7504 0 0 25 0 1 0 130290838 1494597632 347801 4089446400 4194304 7136930 140736523930496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9213/statm: 364892 347801 394 719 0 364171 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1459568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9213
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.14 3/198 9367
/proc/meminfo: memFree=30096656/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1459112 CPUtime=1801.01
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 349553 0 0 0 172597 7504 0 0 19 0 1 0 130290838 1494130688 347706 4089446400 4194304 7136930 140736523930496 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9213/statm: 364778 347706 399 719 0 364057 0
Current children cumulated CPU time (s) 1801.01
Current children cumulated vsize (KiB) 1459112
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.14 3/198 9367
/proc/meminfo: memFree=30096904/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1458596 CPUtime=1801.81
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 349553 0 0 0 172677 7504 0 0 20 0 1 0 130290838 1493602304 347577 4089446400 4194304 7136930 140736523930496 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9213/statm: 364649 347577 399 719 0 363928 0
Current children cumulated CPU time (s) 1801.81
Current children cumulated vsize (KiB) 1458596
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.14 3/198 9367
/proc/meminfo: memFree=30096904/32951124 swapFree=67111528/67111528
[pid=9213] ppid=9211 vsize=1458596 CPUtime=1802.01
/proc/9213/stat : 9213 (pbscip.linux.x8) R 9211 9213 8499 0 -1 4202496 349553 0 0 0 172697 7504 0 0 21 0 1 0 130290838 1493602304 347577 4089446400 4194304 7136930 140736523930496 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9213/statm: 364649 347577 399 719 0 363928 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 1458596
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.45
CPU time (s): 1802.07
CPU user time (s): 1726.98
CPU system time (s): 75.0886
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 1459628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1726.98
system time used= 75.0886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 6568
runsolver used 2.74758 second user time and 5.74013 second system time
The end
Begin job on node103 at 2010-06-30 11:25:28
IDJOB=2693699
IDBENCH=78673
IDSOLVER=1206
FILE ID=node103/2693699-1277889928
PBS_JOBID= 11197147
Free space on /tmp= 74196 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693699-1277889928/watcher-2693699-1277889928 -o /tmp/evaluation-result-2693699-1277889928/solver-2693699-1277889928 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693699-1277889928.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9e4fdadcc7668e5ef6d5afa26a2e782c
RANDOM SEED=1857645531
node103.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.63
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31568460 kB
Buffers: 171164 kB
Cached: 906628 kB
SwapCached: 0 kB
Active: 611240 kB
Inactive: 626992 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31568460 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3408 kB
Writeback: 0 kB
AnonPages: 160172 kB
Mapped: 18856 kB
Slab: 77592 kB
PageTables: 5092 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 377628 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74208 MiB
End job on node103 at 2010-06-30 11:55:31