0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.03 c #variables 11744 #constraints 797
0.00/0.03 c objective is ce32
0.00/0.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04 c initial counting CF 32, 64, 128, Arb: 65 , 0 , 0 , 0
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.021893
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.024124
0.00/0.05 c GLOBAL bounds - >= 32 @ 0.024327
1.37/1.40 c #Conflicts: 1000 | #Constraints: 1796
1.37/1.40 c #Conflicts: 2000 | #Constraints: 2796
1.37/1.40 c INPROCESSING
1.37/1.40 c GARBAGE COLLECT
1.37/1.40 c rational objective 32
1.77/1.86 c GLOBAL bounds - >= 32 @ 1.74311
5.06/5.17 c #Conflicts: 3000 | #Constraints: 2817
5.06/5.17 c #Conflicts: 4000 | #Constraints: 3821
5.06/5.17 c INPROCESSING
5.06/5.17 c GARBAGE COLLECT
5.06/5.17 c rational objective 32
5.46/5.57 c GLOBAL bounds - >= 32 @ 5.33063
5.46/5.57 c GLOBAL bounds - >= 32 @ 5.33065
9.85/9.99 c #Conflicts: 5000 | #Constraints: 3244
9.85/9.99 c #Conflicts: 6000 | #Constraints: 4266
9.85/9.99 c INPROCESSING
9.85/9.99 c GARBAGE COLLECT
9.85/9.99 c rational objective 32
10.25/10.39 c GLOBAL bounds - >= 32 @ 10.0333
10.25/10.39 c GLOBAL bounds - >= 32 @ 10.0334
17.73/17.82 c #Conflicts: 7000 | #Constraints: 3274
17.73/17.82 c #Conflicts: 8000 | #Constraints: 4292
17.73/17.82 c #Conflicts: 9000 | #Constraints: 5315
17.73/17.82 c INPROCESSING
17.73/17.82 c GARBAGE COLLECT
17.73/17.82 c rational objective 32
18.33/18.41 c GLOBAL bounds - >= 32 @ 17.9176
18.33/18.41 c GLOBAL bounds - >= 32 @ 17.9176
23.42/23.57 c #Conflicts: 10000 | #Constraints: 3984
23.42/23.57 c #Conflicts: 11000 | #Constraints: 4986
23.42/23.57 c #Conflicts: 12000 | #Constraints: 5988
23.42/23.57 c INPROCESSING
23.42/23.57 c GARBAGE COLLECT
23.42/23.57 c rational objective 32
23.72/23.87 c GLOBAL bounds - >= 32 @ 23.2925
23.72/23.87 c GLOBAL bounds - >= 32 @ 23.2925
30.00/30.14 c #Conflicts: 13000 | #Constraints: 4425
30.00/30.14 c #Conflicts: 14000 | #Constraints: 5436
30.00/30.14 c #Conflicts: 15000 | #Constraints: 6452
30.00/30.14 c INPROCESSING
30.00/30.14 c GARBAGE COLLECT
30.00/30.14 c rational objective 32
30.30/30.48 c GLOBAL bounds - >= 32 @ 29.7555
30.30/30.48 c GLOBAL bounds - >= 32 @ 29.7555
40.28/40.41 c #Conflicts: 16000 | #Constraints: 4658
40.28/40.41 c #Conflicts: 17000 | #Constraints: 5663
40.28/40.41 c #Conflicts: 18000 | #Constraints: 6663
40.28/40.41 c INPROCESSING
40.28/40.41 c GARBAGE COLLECT
40.28/40.41 c rational objective 32
41.08/41.27 c GLOBAL bounds - >= 32 @ 40.3623
41.08/41.27 c GLOBAL bounds - >= 32 @ 40.3624
49.05/49.22 c #Conflicts: 19000 | #Constraints: 4647
49.05/49.22 c #Conflicts: 20000 | #Constraints: 5647
49.05/49.22 c #Conflicts: 21000 | #Constraints: 6647
49.05/49.22 c INPROCESSING
49.05/49.22 c GARBAGE COLLECT
49.05/49.22 c rational objective 32
49.65/49.82 c GLOBAL bounds - >= 32 @ 48.7829
49.65/49.82 c GLOBAL bounds - >= 32 @ 48.7829
61.83/62.01 c #Conflicts: 22000 | #Constraints: 4443
61.83/62.01 c #Conflicts: 23000 | #Constraints: 5458
61.83/62.01 c #Conflicts: 24000 | #Constraints: 6462
61.83/62.01 c #Conflicts: 25000 | #Constraints: 7464
61.83/62.01 c INPROCESSING
61.83/62.01 c GARBAGE COLLECT
61.83/62.01 c rational objective 32
62.42/62.63 c GLOBAL bounds - >= 32 @ 61.4421
62.42/62.63 c GLOBAL bounds - >= 32 @ 61.4422
72.80/73.06 c #Conflicts: 26000 | #Constraints: 5046
72.80/73.06 c #Conflicts: 27000 | #Constraints: 6049
72.80/73.06 c #Conflicts: 28000 | #Constraints: 7070
72.80/73.06 c #Conflicts: 29000 | #Constraints: 8082
72.80/73.06 c INPROCESSING
72.80/73.06 c GARBAGE COLLECT
72.80/73.06 c rational objective 32
73.19/73.47 c GLOBAL bounds - >= 32 @ 72.1146
73.19/73.47 c GLOBAL bounds - >= 32 @ 72.1147
85.06/85.32 c #Conflicts: 30000 | #Constraints: 5481
85.06/85.32 c #Conflicts: 31000 | #Constraints: 6489
85.06/85.32 c #Conflicts: 32000 | #Constraints: 7496
85.06/85.32 c #Conflicts: 33000 | #Constraints: 8514
85.06/85.32 c INPROCESSING
85.06/85.32 c GARBAGE COLLECT
85.06/85.32 c rational objective 32
85.77/86.02 c GLOBAL bounds - >= 32 @ 84.4926
85.77/86.02 c GLOBAL bounds - >= 32 @ 84.4926
95.64/96.00 c #Conflicts: 34000 | #Constraints: 5685
95.64/96.00 c #Conflicts: 35000 | #Constraints: 6687
95.64/96.00 c #Conflicts: 36000 | #Constraints: 7709
95.64/96.00 c #Conflicts: 37000 | #Constraints: 8726
95.64/96.00 c INPROCESSING
95.64/96.00 c GARBAGE COLLECT
95.64/96.00 c rational objective 32
96.04/96.30 c GLOBAL bounds - >= 32 @ 94.6719
96.04/96.30 c GLOBAL bounds - >= 32 @ 94.6719
106.31/106.60 c #Conflicts: 38000 | #Constraints: 5704
106.31/106.60 c #Conflicts: 39000 | #Constraints: 6720
106.31/106.60 c #Conflicts: 40000 | #Constraints: 7750
106.31/106.60 c #Conflicts: 41000 | #Constraints: 8766
106.31/106.60 c INPROCESSING
106.31/106.60 c GARBAGE COLLECT
106.31/106.60 c rational objective 32
106.51/106.83 c GLOBAL bounds - >= 32 @ 105.118
106.51/106.83 c GLOBAL bounds - >= 32 @ 105.118
130.45/130.86 c #Conflicts: 42000 | #Constraints: 5535
130.45/130.86 c #Conflicts: 43000 | #Constraints: 6554
130.45/130.86 c #Conflicts: 44000 | #Constraints: 7554
130.45/130.86 c #Conflicts: 45000 | #Constraints: 8562
130.45/130.86 c #Conflicts: 46000 | #Constraints: 9572
130.45/130.86 c INPROCESSING
130.45/130.86 c GARBAGE COLLECT
130.45/130.86 c rational objective 32
131.24/131.67 c GLOBAL bounds - >= 32 @ 129.687
131.24/131.67 c GLOBAL bounds - >= 32 @ 129.687
143.32/143.71 c #Conflicts: 47000 | #Constraints: 6114
143.32/143.71 c #Conflicts: 48000 | #Constraints: 7126
143.32/143.71 c #Conflicts: 49000 | #Constraints: 8143
143.32/143.71 c #Conflicts: 50000 | #Constraints: 9150
143.32/143.71 c #Conflicts: 51000 | #Constraints: 10164
143.32/143.71 c INPROCESSING
143.32/143.71 c GARBAGE COLLECT
143.32/143.71 c rational objective 32
143.62/144.09 c GLOBAL bounds - >= 32 @ 141.923
143.62/144.09 c GLOBAL bounds - >= 32 @ 141.923
157.68/158.17 c #Conflicts: 52000 | #Constraints: 6515
157.68/158.17 c #Conflicts: 53000 | #Constraints: 7534
157.68/158.17 c #Conflicts: 54000 | #Constraints: 8535
157.68/158.17 c #Conflicts: 55000 | #Constraints: 9543
157.68/158.17 c #Conflicts: 56000 | #Constraints: 10572
157.68/158.17 c INPROCESSING
157.68/158.17 c GARBAGE COLLECT
157.68/158.17 c rational objective 32
158.18/158.66 c GLOBAL bounds - >= 32 @ 156.315
158.18/158.66 c GLOBAL bounds - >= 32 @ 156.315
169.35/169.87 c #Conflicts: 57000 | #Constraints: 6718
169.35/169.87 c #Conflicts: 58000 | #Constraints: 7727
169.35/169.87 c #Conflicts: 59000 | #Constraints: 8729
169.35/169.87 c #Conflicts: 60000 | #Constraints: 9729
169.35/169.87 c #Conflicts: 61000 | #Constraints: 10731
169.35/169.87 c INPROCESSING
169.35/169.87 c GARBAGE COLLECT
169.35/169.87 c rational objective 32
169.85/170.39 c GLOBAL bounds - >= 32 @ 167.88
169.85/170.39 c GLOBAL bounds - >= 32 @ 167.88
181.53/182.06 c #Conflicts: 62000 | #Constraints: 6696
181.53/182.06 c #Conflicts: 63000 | #Constraints: 7708
181.53/182.06 c #Conflicts: 64000 | #Constraints: 8710
181.53/182.06 c #Conflicts: 65000 | #Constraints: 9728
181.53/182.06 c #Conflicts: 66000 | #Constraints: 10734
181.53/182.06 c INPROCESSING
181.53/182.06 c GARBAGE COLLECT
181.53/182.06 c rational objective 32
182.22/182.73 c GLOBAL bounds - >= 32 @ 180.014
182.22/182.73 c GLOBAL bounds - >= 32 @ 180.014
197.78/198.35 c #Conflicts: 67000 | #Constraints: 6499
197.78/198.35 c #Conflicts: 68000 | #Constraints: 7525
197.78/198.35 c #Conflicts: 69000 | #Constraints: 8538
197.78/198.35 c #Conflicts: 70000 | #Constraints: 9543
197.78/198.35 c #Conflicts: 71000 | #Constraints: 10566
197.78/198.35 c #Conflicts: 72000 | #Constraints: 11567
197.78/198.35 c INPROCESSING
197.78/198.35 c GARBAGE COLLECT
197.78/198.35 c rational objective 32
198.18/198.74 c GLOBAL bounds - >= 32 @ 195.807
198.18/198.74 c GLOBAL bounds - >= 32 @ 195.807
209.75/210.30 c #Conflicts: 73000 | #Constraints: 7111
209.75/210.30 c #Conflicts: 74000 | #Constraints: 8125
209.75/210.30 c #Conflicts: 75000 | #Constraints: 9133
209.75/210.30 c #Conflicts: 76000 | #Constraints: 10158
209.75/210.30 c #Conflicts: 77000 | #Constraints: 11170
209.75/210.30 c #Conflicts: 78000 | #Constraints: 12185
209.75/210.30 c INPROCESSING
209.75/210.30 c GARBAGE COLLECT
209.75/210.30 c rational objective 32
210.25/210.85 c GLOBAL bounds - >= 32 @ 207.71
210.25/210.85 c GLOBAL bounds - >= 32 @ 207.71
225.81/226.41 c #Conflicts: 79000 | #Constraints: 7551
225.81/226.41 c #Conflicts: 80000 | #Constraints: 8551
225.81/226.41 c #Conflicts: 81000 | #Constraints: 9552
225.81/226.41 c #Conflicts: 82000 | #Constraints: 10552
225.81/226.41 c #Conflicts: 83000 | #Constraints: 11553
225.81/226.41 c #Conflicts: 84000 | #Constraints: 12553
225.81/226.41 c INPROCESSING
225.81/226.41 c GARBAGE COLLECT
225.81/226.41 c rational objective 32
226.90/227.55 c GLOBAL bounds - >= 32 @ 224.256
226.90/227.55 c GLOBAL bounds - >= 32 @ 224.256
233.18/233.82 c #Conflicts: 85000 | #Constraints: 7699
233.18/233.82 c #Conflicts: 86000 | #Constraints: 8699
233.18/233.82 c #Conflicts: 87000 | #Constraints: 9699
233.18/233.82 c #Conflicts: 88000 | #Constraints: 10699
233.18/233.82 c #Conflicts: 89000 | #Constraints: 11699
233.18/233.82 c #Conflicts: 90000 | #Constraints: 12699
233.18/233.82 c INPROCESSING
233.18/233.82 c GARBAGE COLLECT
233.18/233.82 c rational objective 32
233.89/234.59 c GLOBAL bounds - >= 32 @ 231.235
233.89/234.59 c GLOBAL bounds - >= 32 @ 231.235
260.42/261.16 c #Conflicts: 91000 | #Constraints: 7684
260.42/261.16 c #Conflicts: 92000 | #Constraints: 8719
260.42/261.16 c #Conflicts: 93000 | #Constraints: 10437
260.42/261.16 c #Conflicts: 94000 | #Constraints: 12276
260.42/261.16 c #Conflicts: 95000 | #Constraints: 14079
260.42/261.16 c #Conflicts: 96000 | #Constraints: 15722
260.42/261.16 c INPROCESSING
260.42/261.16 c GARBAGE COLLECT
260.42/261.16 c rational objective 32
261.42/262.14 c GLOBAL bounds - >= 32 @ 258.358
261.42/262.14 c GLOBAL bounds - >= 32 @ 258.358
279.37/280.16 c #Conflicts: 97000 | #Constraints: 9182
279.37/280.16 c #Conflicts: 98000 | #Constraints: 10182
279.37/280.16 c #Conflicts: 99000 | #Constraints: 11182
279.37/280.16 c #Conflicts: 100000 | #Constraints: 12183
279.37/280.16 c #Conflicts: 101000 | #Constraints: 13188
279.37/280.16 c #Conflicts: 102000 | #Constraints: 14188
279.37/280.16 c #Conflicts: 103000 | #Constraints: 15188
279.37/280.16 c INPROCESSING
279.37/280.16 c GARBAGE COLLECT
279.37/280.16 c rational objective 32
280.56/281.38 c GLOBAL bounds - >= 32 @ 277.404
280.56/281.38 c GLOBAL bounds - >= 32 @ 277.404
289.55/290.38 c #Conflicts: 104000 | #Constraints: 8922
289.55/290.38 c #Conflicts: 105000 | #Constraints: 9922
289.55/290.38 c #Conflicts: 106000 | #Constraints: 10922
289.55/290.38 c #Conflicts: 107000 | #Constraints: 11922
289.55/290.38 c #Conflicts: 108000 | #Constraints: 12922
289.55/290.38 c #Conflicts: 109000 | #Constraints: 13922
289.55/290.38 c #Conflicts: 110000 | #Constraints: 14922
289.55/290.38 c INPROCESSING
289.55/290.38 c GARBAGE COLLECT
289.55/290.38 c rational objective 32
290.15/290.97 c GLOBAL bounds - >= 32 @ 286.845
290.15/290.97 c GLOBAL bounds - >= 32 @ 286.845
297.93/298.71 c #Conflicts: 111000 | #Constraints: 8880
297.93/298.71 c #Conflicts: 112000 | #Constraints: 9880
297.93/298.71 c #Conflicts: 113000 | #Constraints: 10880
297.93/298.71 c #Conflicts: 114000 | #Constraints: 11880
297.93/298.71 c #Conflicts: 115000 | #Constraints: 12880
297.93/298.71 c #Conflicts: 116000 | #Constraints: 13880
297.93/298.71 c #Conflicts: 117000 | #Constraints: 14880
297.93/298.71 c INPROCESSING
297.93/298.71 c GARBAGE COLLECT
297.93/298.71 c rational objective 32
298.72/299.57 c GLOBAL bounds - >= 32 @ 295.272
298.72/299.57 c GLOBAL bounds - >= 32 @ 295.272
319.27/320.12 c #Conflicts: 118000 | #Constraints: 8858
319.27/320.12 c #Conflicts: 119000 | #Constraints: 9864
319.27/320.12 c #Conflicts: 120000 | #Constraints: 10873
319.27/320.12 c #Conflicts: 121000 | #Constraints: 11877
319.27/320.12 c #Conflicts: 122000 | #Constraints: 12898
319.27/320.12 c #Conflicts: 123000 | #Constraints: 13940
319.27/320.12 c #Conflicts: 124000 | #Constraints: 14973
319.27/320.12 c INPROCESSING
319.27/320.12 c GARBAGE COLLECT
319.27/320.12 c rational objective 32
319.66/320.57 c GLOBAL bounds - >= 32 @ 316.033
319.66/320.57 c GLOBAL bounds - >= 32 @ 316.033
336.63/337.54 c #Conflicts: 125000 | #Constraints: 8826
336.63/337.54 c #Conflicts: 126000 | #Constraints: 9839
336.63/337.54 c #Conflicts: 127000 | #Constraints: 10840
336.63/337.54 c #Conflicts: 128000 | #Constraints: 11842
336.63/337.54 c #Conflicts: 129000 | #Constraints: 12848
336.63/337.54 c #Conflicts: 130000 | #Constraints: 13884
336.63/337.54 c #Conflicts: 131000 | #Constraints: 14892
336.63/337.54 c INPROCESSING
336.63/337.54 c GARBAGE COLLECT
336.63/337.54 c rational objective 32
337.32/338.25 c GLOBAL bounds - >= 32 @ 333.45
337.32/338.25 c GLOBAL bounds - >= 32 @ 333.45
353.98/354.92 c #Conflicts: 132000 | #Constraints: 8565
353.98/354.92 c #Conflicts: 133000 | #Constraints: 9567
353.98/354.92 c #Conflicts: 134000 | #Constraints: 10581
353.98/354.92 c #Conflicts: 135000 | #Constraints: 11596
353.98/354.92 c #Conflicts: 136000 | #Constraints: 12614
353.98/354.92 c #Conflicts: 137000 | #Constraints: 13619
353.98/354.92 c #Conflicts: 138000 | #Constraints: 14627
353.98/354.92 c #Conflicts: 139000 | #Constraints: 15642
353.98/354.92 c INPROCESSING
353.98/354.92 c GARBAGE COLLECT
353.98/354.92 c rational objective 32
354.48/355.49 c GLOBAL bounds - >= 32 @ 350.455
354.48/355.49 c GLOBAL bounds - >= 32 @ 350.455
375.13/376.15 c #Conflicts: 140000 | #Constraints: 9173
375.13/376.15 c #Conflicts: 141000 | #Constraints: 10187
375.13/376.15 c #Conflicts: 142000 | #Constraints: 11193
375.13/376.15 c #Conflicts: 143000 | #Constraints: 12200
375.13/376.15 c #Conflicts: 144000 | #Constraints: 13201
375.13/376.15 c #Conflicts: 145000 | #Constraints: 14201
375.13/376.15 c #Conflicts: 146000 | #Constraints: 15202
375.13/376.15 c #Conflicts: 147000 | #Constraints: 16203
375.13/376.15 c INPROCESSING
375.13/376.15 c GARBAGE COLLECT
375.13/376.15 c rational objective 32
375.62/376.64 c GLOBAL bounds - >= 32 @ 371.445
375.62/376.64 c GLOBAL bounds - >= 32 @ 371.445
400.97/402.08 c #Conflicts: 148000 | #Constraints: 9534
400.97/402.08 c #Conflicts: 149000 | #Constraints: 10534
400.97/402.08 c #Conflicts: 150000 | #Constraints: 11535
400.97/402.08 c #Conflicts: 151000 | #Constraints: 12535
400.97/402.08 c #Conflicts: 152000 | #Constraints: 13537
400.97/402.08 c #Conflicts: 153000 | #Constraints: 14537
400.97/402.08 c #Conflicts: 154000 | #Constraints: 15546
400.97/402.08 c #Conflicts: 155000 | #Constraints: 16557
400.97/402.08 c INPROCESSING
400.97/402.08 c GARBAGE COLLECT
400.97/402.08 c rational objective 32
401.66/402.77 c GLOBAL bounds - >= 32 @ 397.224
401.66/402.77 c GLOBAL bounds - >= 32 @ 397.224
418.51/419.61 c #Conflicts: 156000 | #Constraints: 9719
418.51/419.61 c #Conflicts: 157000 | #Constraints: 10742
418.51/419.61 c #Conflicts: 158000 | #Constraints: 11764
418.51/419.61 c #Conflicts: 159000 | #Constraints: 12788
418.51/419.61 c #Conflicts: 160000 | #Constraints: 13801
418.51/419.61 c #Conflicts: 161000 | #Constraints: 14829
418.51/419.61 c #Conflicts: 162000 | #Constraints: 15842
418.51/419.61 c #Conflicts: 163000 | #Constraints: 16854
418.51/419.61 c INPROCESSING
418.51/419.61 c GARBAGE COLLECT
418.51/419.61 c rational objective 32
418.81/419.99 c GLOBAL bounds - >= 32 @ 414.207
418.81/419.99 c GLOBAL bounds - >= 32 @ 414.207
440.16/441.39 c #Conflicts: 164000 | #Constraints: 9761
440.16/441.39 c #Conflicts: 165000 | #Constraints: 10761
440.16/441.39 c #Conflicts: 166000 | #Constraints: 11761
440.16/441.39 c #Conflicts: 167000 | #Constraints: 12761
440.16/441.39 c #Conflicts: 168000 | #Constraints: 13761
440.16/441.39 c #Conflicts: 169000 | #Constraints: 14761
440.16/441.39 c #Conflicts: 170000 | #Constraints: 15761
440.16/441.39 c #Conflicts: 171000 | #Constraints: 16761
440.16/441.39 c INPROCESSING
440.16/441.39 c GARBAGE COLLECT
440.16/441.39 c rational objective 32
440.97/442.14 c GLOBAL bounds - >= 32 @ 436.102
440.97/442.14 c GLOBAL bounds - >= 32 @ 436.102
469.19/470.47 c #Conflicts: 172000 | #Constraints: 9506
469.19/470.47 c #Conflicts: 173000 | #Constraints: 10507
469.19/470.47 c #Conflicts: 174000 | #Constraints: 11507
469.19/470.47 c #Conflicts: 175000 | #Constraints: 12508
469.19/470.47 c #Conflicts: 176000 | #Constraints: 13509
469.19/470.47 c #Conflicts: 177000 | #Constraints: 14514
469.19/470.47 c #Conflicts: 178000 | #Constraints: 15520
469.19/470.47 c #Conflicts: 179000 | #Constraints: 16524
469.19/470.47 c #Conflicts: 180000 | #Constraints: 17525
469.19/470.47 c INPROCESSING
469.19/470.47 c GARBAGE COLLECT
469.19/470.47 c rational objective 32
470.09/471.38 c GLOBAL bounds - >= 32 @ 465.006
470.09/471.38 c GLOBAL bounds - >= 32 @ 465.006
508.99/510.32 c #Conflicts: 181000 | #Constraints: 10079
508.99/510.32 c #Conflicts: 182000 | #Constraints: 11082
508.99/510.32 c #Conflicts: 183000 | #Constraints: 12086
508.99/510.32 c #Conflicts: 184000 | #Constraints: 13091
508.99/510.32 c #Conflicts: 185000 | #Constraints: 14098
508.99/510.32 c #Conflicts: 186000 | #Constraints: 15106
508.99/510.32 c #Conflicts: 187000 | #Constraints: 16120
508.99/510.32 c #Conflicts: 188000 | #Constraints: 17144
508.99/510.32 c #Conflicts: 189000 | #Constraints: 18146
508.99/510.32 c INPROCESSING
508.99/510.32 c GARBAGE COLLECT
508.99/510.32 c rational objective 32
509.38/510.70 c GLOBAL bounds - >= 32 @ 503.952
509.38/510.70 c GLOBAL bounds - >= 32 @ 503.952
533.82/535.25 c #Conflicts: 190000 | #Constraints: 10520
533.82/535.25 c #Conflicts: 191000 | #Constraints: 11523
533.82/535.25 c #Conflicts: 192000 | #Constraints: 12632
533.82/535.25 c #Conflicts: 193000 | #Constraints: 14032
533.82/535.25 c #Conflicts: 194000 | #Constraints: 15543
533.82/535.25 c #Conflicts: 195000 | #Constraints: 17069
533.82/535.25 c #Conflicts: 196000 | #Constraints: 18549
533.82/535.25 c #Conflicts: 197000 | #Constraints: 20066
533.82/535.25 c #Conflicts: 198000 | #Constraints: 21563
533.82/535.25 c INPROCESSING
533.82/535.25 c GARBAGE COLLECT
533.82/535.25 c rational objective 32
534.82/536.28 c GLOBAL bounds - >= 32 @ 529.326
534.82/536.28 c GLOBAL bounds - >= 32 @ 529.327
557.56/559.04 c #Conflicts: 199000 | #Constraints: 12203
557.56/559.04 c #Conflicts: 200000 | #Constraints: 13204
557.56/559.04 c #Conflicts: 201000 | #Constraints: 14208
557.56/559.04 c #Conflicts: 202000 | #Constraints: 15210
557.56/559.04 c #Conflicts: 203000 | #Constraints: 16210
557.56/559.04 c #Conflicts: 204000 | #Constraints: 17216
557.56/559.04 c #Conflicts: 205000 | #Constraints: 18217
557.56/559.04 c #Conflicts: 206000 | #Constraints: 19217
557.56/559.04 c #Conflicts: 207000 | #Constraints: 20217
557.56/559.04 c INPROCESSING
557.56/559.04 c GARBAGE COLLECT
557.56/559.04 c rational objective 32
558.36/559.80 c GLOBAL bounds - >= 32 @ 552.609
558.36/559.80 c GLOBAL bounds - >= 32 @ 552.609
564.45/565.98 c #Conflicts: 208000 | #Constraints: 11440
564.45/565.98 c #Conflicts: 209000 | #Constraints: 12440
564.45/565.98 c #Conflicts: 210000 | #Constraints: 13440
564.45/565.98 c #Conflicts: 211000 | #Constraints: 14440
564.45/565.98 c #Conflicts: 212000 | #Constraints: 15440
564.45/565.98 c #Conflicts: 213000 | #Constraints: 16440
564.45/565.98 c #Conflicts: 214000 | #Constraints: 17440
564.45/565.98 c #Conflicts: 215000 | #Constraints: 18440
564.45/565.98 c #Conflicts: 216000 | #Constraints: 19441
564.45/565.98 c INPROCESSING
564.45/565.98 c GARBAGE COLLECT
564.45/565.98 c rational objective 32
564.95/566.41 c GLOBAL bounds - >= 32 @ 559.154
564.95/566.41 c GLOBAL bounds - >= 32 @ 559.154
616.11/617.79 c #Conflicts: 217000 | #Constraints: 10849
616.11/617.79 c #Conflicts: 218000 | #Constraints: 11857
616.11/617.79 c #Conflicts: 219000 | #Constraints: 12867
616.11/617.79 c #Conflicts: 220000 | #Constraints: 13879
616.11/617.79 c #Conflicts: 221000 | #Constraints: 14901
616.11/617.79 c #Conflicts: 222000 | #Constraints: 15903
616.11/617.79 c #Conflicts: 223000 | #Constraints: 16903
616.11/617.79 c #Conflicts: 224000 | #Constraints: 17903
616.11/617.79 c #Conflicts: 225000 | #Constraints: 18903
616.11/617.79 c #Conflicts: 226000 | #Constraints: 19903
616.11/617.79 c INPROCESSING
616.11/617.79 c GARBAGE COLLECT
616.11/617.79 c rational objective 32
616.51/618.16 c GLOBAL bounds - >= 32 @ 610.554
616.51/618.16 c GLOBAL bounds - >= 32 @ 610.555
653.70/655.40 c #Conflicts: 227000 | #Constraints: 11295
653.70/655.40 c #Conflicts: 228000 | #Constraints: 12295
653.70/655.40 c #Conflicts: 229000 | #Constraints: 13295
653.70/655.40 c #Conflicts: 230000 | #Constraints: 14296
653.70/655.40 c #Conflicts: 231000 | #Constraints: 15301
653.70/655.40 c #Conflicts: 232000 | #Constraints: 16305
653.70/655.40 c #Conflicts: 233000 | #Constraints: 17307
653.70/655.40 c #Conflicts: 234000 | #Constraints: 18308
653.70/655.40 c #Conflicts: 235000 | #Constraints: 19310
653.70/655.40 c #Conflicts: 236000 | #Constraints: 20320
653.70/655.40 c INPROCESSING
653.70/655.40 c GARBAGE COLLECT
653.70/655.40 c rational objective 32
654.30/656.04 c GLOBAL bounds - >= 32 @ 648.077
654.30/656.04 c GLOBAL bounds - >= 32 @ 648.077
682.42/684.29 c #Conflicts: 237000 | #Constraints: 11588
682.42/684.29 c #Conflicts: 238000 | #Constraints: 12599
682.42/684.29 c #Conflicts: 239000 | #Constraints: 13603
682.42/684.29 c #Conflicts: 240000 | #Constraints: 14611
682.42/684.29 c #Conflicts: 241000 | #Constraints: 15630
682.42/684.29 c #Conflicts: 242000 | #Constraints: 16649
682.42/684.29 c #Conflicts: 243000 | #Constraints: 17663
682.42/684.29 c #Conflicts: 244000 | #Constraints: 18692
682.42/684.29 c #Conflicts: 245000 | #Constraints: 19700
682.42/684.29 c #Conflicts: 246000 | #Constraints: 20718
682.42/684.29 c INPROCESSING
682.42/684.29 c GARBAGE COLLECT
682.42/684.29 c rational objective 32
682.92/684.73 c GLOBAL bounds - >= 32 @ 676.383
682.92/684.73 c GLOBAL bounds - >= 32 @ 676.383
716.93/718.82 c #Conflicts: 247000 | #Constraints: 11819
716.93/718.82 c #Conflicts: 248000 | #Constraints: 12829
716.93/718.82 c #Conflicts: 249000 | #Constraints: 13831
716.93/718.82 c #Conflicts: 250000 | #Constraints: 14838
716.93/718.82 c #Conflicts: 251000 | #Constraints: 15865
716.93/718.82 c #Conflicts: 252000 | #Constraints: 16904
716.93/718.82 c #Conflicts: 253000 | #Constraints: 17908
716.93/718.82 c #Conflicts: 254000 | #Constraints: 18944
716.93/718.82 c #Conflicts: 255000 | #Constraints: 19970
716.93/718.82 c #Conflicts: 256000 | #Constraints: 20998
716.93/718.82 c INPROCESSING
716.93/718.82 c GARBAGE COLLECT
716.93/718.82 c rational objective 32
717.33/719.29 c GLOBAL bounds - >= 32 @ 710.536
717.33/719.29 c GLOBAL bounds - >= 32 @ 710.536
746.85/748.81 c #Conflicts: 257000 | #Constraints: 11836
746.85/748.81 c #Conflicts: 258000 | #Constraints: 12841
746.85/748.81 c #Conflicts: 259000 | #Constraints: 13857
746.85/748.81 c #Conflicts: 260000 | #Constraints: 14884
746.85/748.81 c #Conflicts: 261000 | #Constraints: 15900
746.85/748.81 c #Conflicts: 262000 | #Constraints: 16912
746.85/748.81 c #Conflicts: 263000 | #Constraints: 17934
746.85/748.81 c #Conflicts: 264000 | #Constraints: 18960
746.85/748.81 c #Conflicts: 265000 | #Constraints: 19987
746.85/748.81 c #Conflicts: 266000 | #Constraints: 21008
746.85/748.81 c INPROCESSING
746.85/748.81 c GARBAGE COLLECT
746.85/748.81 c rational objective 32
747.35/749.39 c GLOBAL bounds - >= 32 @ 740.279
747.35/749.39 c GLOBAL bounds - >= 32 @ 740.279
809.09/811.22 c #Conflicts: 267000 | #Constraints: 11658
809.09/811.22 c #Conflicts: 268000 | #Constraints: 12671
809.09/811.22 c #Conflicts: 269000 | #Constraints: 14001
809.09/811.22 c #Conflicts: 270000 | #Constraints: 15027
809.09/811.22 c #Conflicts: 271000 | #Constraints: 16027
809.09/811.22 c #Conflicts: 272000 | #Constraints: 17028
809.09/811.22 c #Conflicts: 273000 | #Constraints: 18028
809.09/811.22 c #Conflicts: 274000 | #Constraints: 19028
809.09/811.22 c #Conflicts: 275000 | #Constraints: 20028
809.09/811.22 c #Conflicts: 276000 | #Constraints: 21028
809.09/811.22 c #Conflicts: 277000 | #Constraints: 22028
809.09/811.22 c INPROCESSING
809.09/811.22 c GARBAGE COLLECT
809.09/811.22 c rational objective 32
810.18/812.38 c GLOBAL bounds - >= 32 @ 802.728
810.18/812.38 c GLOBAL bounds - >= 32 @ 802.728
831.73/833.97 c #Conflicts: 278000 | #Constraints: 12338
831.73/833.97 c #Conflicts: 279000 | #Constraints: 13338
831.73/833.97 c #Conflicts: 280000 | #Constraints: 14338
831.73/833.97 c #Conflicts: 281000 | #Constraints: 15338
831.73/833.97 c #Conflicts: 282000 | #Constraints: 16338
831.73/833.97 c #Conflicts: 283000 | #Constraints: 17340
831.73/833.97 c #Conflicts: 284000 | #Constraints: 18346
831.73/833.97 c #Conflicts: 285000 | #Constraints: 19349
831.73/833.97 c #Conflicts: 286000 | #Constraints: 20360
831.73/833.97 c #Conflicts: 287000 | #Constraints: 21392
831.73/833.97 c #Conflicts: 288000 | #Constraints: 22425
831.73/833.97 c INPROCESSING
831.73/833.97 c GARBAGE COLLECT
831.73/833.97 c rational objective 32
832.42/834.65 c GLOBAL bounds - >= 32 @ 824.65
832.42/834.65 c GLOBAL bounds - >= 32 @ 824.65
857.96/860.28 c #Conflicts: 289000 | #Constraints: 12639
857.96/860.28 c #Conflicts: 290000 | #Constraints: 13654
857.96/860.28 c #Conflicts: 291000 | #Constraints: 14682
857.96/860.28 c #Conflicts: 292000 | #Constraints: 15702
857.96/860.28 c #Conflicts: 293000 | #Constraints: 16720
857.96/860.28 c #Conflicts: 294000 | #Constraints: 17731
857.96/860.28 c #Conflicts: 295000 | #Constraints: 18753
857.96/860.28 c #Conflicts: 296000 | #Constraints: 19779
857.96/860.28 c #Conflicts: 297000 | #Constraints: 20798
857.96/860.28 c #Conflicts: 298000 | #Constraints: 21824
857.96/860.28 c #Conflicts: 299000 | #Constraints: 22844
857.96/860.28 c INPROCESSING
857.96/860.28 c GARBAGE COLLECT
857.96/860.28 c rational objective 32
858.46/860.74 c GLOBAL bounds - >= 32 @ 850.419
858.46/860.74 c GLOBAL bounds - >= 32 @ 850.419
886.79/889.17 c #Conflicts: 300000 | #Constraints: 12853
886.79/889.17 c #Conflicts: 301000 | #Constraints: 13869
886.79/889.17 c #Conflicts: 302000 | #Constraints: 14888
886.79/889.17 c #Conflicts: 303000 | #Constraints: 15898
886.79/889.17 c #Conflicts: 304000 | #Constraints: 16920
886.79/889.17 c #Conflicts: 305000 | #Constraints: 17933
886.79/889.17 c #Conflicts: 306000 | #Constraints: 18958
886.79/889.17 c #Conflicts: 307000 | #Constraints: 19978
886.79/889.17 c #Conflicts: 308000 | #Constraints: 20988
886.79/889.17 c #Conflicts: 309000 | #Constraints: 22025
886.79/889.17 c #Conflicts: 310000 | #Constraints: 23049
886.79/889.17 c INPROCESSING
886.79/889.17 c GARBAGE COLLECT
886.79/889.17 c rational objective 32
887.38/889.70 c GLOBAL bounds - >= 32 @ 879.002
887.38/889.70 c GLOBAL bounds - >= 32 @ 879.003
912.41/914.86 c #Conflicts: 311000 | #Constraints: 12850
912.41/914.86 c #Conflicts: 312000 | #Constraints: 13850
912.41/914.86 c #Conflicts: 313000 | #Constraints: 14850
912.41/914.86 c #Conflicts: 314000 | #Constraints: 15850
912.41/914.86 c #Conflicts: 315000 | #Constraints: 16850
912.41/914.86 c #Conflicts: 316000 | #Constraints: 17850
912.41/914.86 c #Conflicts: 317000 | #Constraints: 18850
912.41/914.86 c #Conflicts: 318000 | #Constraints: 19850
912.41/914.86 c #Conflicts: 319000 | #Constraints: 20854
912.41/914.86 c #Conflicts: 320000 | #Constraints: 21854
912.41/914.86 c #Conflicts: 321000 | #Constraints: 22854
912.41/914.86 c INPROCESSING
912.41/914.86 c GARBAGE COLLECT
912.41/914.86 c rational objective 32
913.31/915.70 c GLOBAL bounds - >= 32 @ 904.66
913.31/915.70 c GLOBAL bounds - >= 32 @ 904.66
922.79/925.21 c #Conflicts: 322000 | #Constraints: 12549
922.79/925.21 c #Conflicts: 323000 | #Constraints: 13549
922.79/925.21 c #Conflicts: 324000 | #Constraints: 14549
922.79/925.21 c #Conflicts: 325000 | #Constraints: 15549
922.79/925.21 c #Conflicts: 326000 | #Constraints: 16549
922.79/925.21 c #Conflicts: 327000 | #Constraints: 17549
922.79/925.21 c #Conflicts: 328000 | #Constraints: 18549
922.79/925.21 c #Conflicts: 329000 | #Constraints: 19549
922.79/925.21 c #Conflicts: 330000 | #Constraints: 20549
922.79/925.21 c #Conflicts: 331000 | #Constraints: 21549
922.79/925.21 c #Conflicts: 332000 | #Constraints: 22550
922.79/925.21 c #Conflicts: 333000 | #Constraints: 23559
922.79/925.21 c INPROCESSING
922.79/925.21 c GARBAGE COLLECT
922.79/925.21 c rational objective 32
923.59/926.01 c GLOBAL bounds - >= 32 @ 914.86
923.59/926.01 c GLOBAL bounds - >= 32 @ 914.86
958.80/961.34 c #Conflicts: 334000 | #Constraints: 13113
958.80/961.34 c #Conflicts: 335000 | #Constraints: 14134
958.80/961.34 c #Conflicts: 336000 | #Constraints: 15157
958.80/961.34 c #Conflicts: 337000 | #Constraints: 16176
958.80/961.34 c #Conflicts: 338000 | #Constraints: 17197
958.80/961.34 c #Conflicts: 339000 | #Constraints: 18215
958.80/961.34 c #Conflicts: 340000 | #Constraints: 19235
958.80/961.34 c #Conflicts: 341000 | #Constraints: 20235
958.80/961.34 c #Conflicts: 342000 | #Constraints: 21279
958.80/961.34 c #Conflicts: 343000 | #Constraints: 22310
958.80/961.34 c #Conflicts: 344000 | #Constraints: 23324
958.80/961.34 c #Conflicts: 345000 | #Constraints: 24340
958.80/961.34 c INPROCESSING
958.80/961.34 c GARBAGE COLLECT
958.80/961.34 c rational objective 32
959.50/962.03 c GLOBAL bounds - >= 32 @ 950.382
959.50/962.03 c GLOBAL bounds - >= 32 @ 950.382
1003.07/1005.73 c #Conflicts: 346000 | #Constraints: 13605
1003.07/1005.73 c #Conflicts: 347000 | #Constraints: 14628
1003.07/1005.73 c #Conflicts: 348000 | #Constraints: 15634
1003.07/1005.73 c #Conflicts: 349000 | #Constraints: 16642
1003.07/1005.73 c #Conflicts: 350000 | #Constraints: 17642
1003.07/1005.73 c #Conflicts: 351000 | #Constraints: 18642
1003.07/1005.73 c #Conflicts: 352000 | #Constraints: 19642
1003.07/1005.73 c #Conflicts: 353000 | #Constraints: 20663
1003.07/1005.73 c #Conflicts: 354000 | #Constraints: 21680
1003.07/1005.73 c #Conflicts: 355000 | #Constraints: 22694
1003.07/1005.73 c #Conflicts: 356000 | #Constraints: 23718
1003.07/1005.73 c #Conflicts: 357000 | #Constraints: 24751
1003.07/1005.73 c INPROCESSING
1003.07/1005.73 c GARBAGE COLLECT
1003.07/1005.73 c rational objective 32
1003.57/1006.25 c GLOBAL bounds - >= 32 @ 994.118
1003.57/1006.25 c GLOBAL bounds - >= 32 @ 994.118
1043.38/1046.13 c #Conflicts: 358000 | #Constraints: 13813
1043.38/1046.13 c #Conflicts: 359000 | #Constraints: 14836
1043.38/1046.13 c #Conflicts: 360000 | #Constraints: 15841
1043.38/1046.13 c #Conflicts: 361000 | #Constraints: 16854
1043.38/1046.13 c #Conflicts: 362000 | #Constraints: 17878
1043.38/1046.13 c #Conflicts: 363000 | #Constraints: 18902
1043.38/1046.13 c #Conflicts: 364000 | #Constraints: 19915
1043.38/1046.13 c #Conflicts: 365000 | #Constraints: 20922
1043.38/1046.13 c #Conflicts: 366000 | #Constraints: 21935
1043.38/1046.13 c #Conflicts: 367000 | #Constraints: 22949
1043.38/1046.13 c #Conflicts: 368000 | #Constraints: 23971
1043.38/1046.13 c #Conflicts: 369000 | #Constraints: 24991
1043.38/1046.13 c INPROCESSING
1043.38/1046.13 c GARBAGE COLLECT
1043.38/1046.13 c rational objective 32
1044.07/1046.80 c GLOBAL bounds - >= 32 @ 1034.22
1044.07/1046.80 c GLOBAL bounds - >= 32 @ 1034.22
1125.56/1128.58 c #Conflicts: 370000 | #Constraints: 13826
1125.56/1128.58 c #Conflicts: 371000 | #Constraints: 14831
1125.56/1128.58 c #Conflicts: 372000 | #Constraints: 15831
1125.56/1128.58 c #Conflicts: 373000 | #Constraints: 16831
1125.56/1128.58 c #Conflicts: 374000 | #Constraints: 17832
1125.56/1128.58 c #Conflicts: 375000 | #Constraints: 18832
1125.56/1128.58 c #Conflicts: 376000 | #Constraints: 19832
1125.56/1128.58 c #Conflicts: 377000 | #Constraints: 20832
1125.56/1128.58 c #Conflicts: 378000 | #Constraints: 21842
1125.56/1128.58 c #Conflicts: 379000 | #Constraints: 22897
1125.56/1128.58 c #Conflicts: 380000 | #Constraints: 23975
1125.56/1128.58 c #Conflicts: 381000 | #Constraints: 24987
1125.56/1128.58 c INPROCESSING
1125.56/1128.58 c GARBAGE COLLECT
1125.56/1128.58 c rational objective 32
1126.16/1129.16 c GLOBAL bounds - >= 32 @ 1115.62
1126.16/1129.16 c GLOBAL bounds - >= 32 @ 1115.62
1175.73/1178.86 c #Conflicts: 382000 | #Constraints: 13631
1175.73/1178.86 c #Conflicts: 383000 | #Constraints: 14634
1175.73/1178.86 c #Conflicts: 384000 | #Constraints: 15635
1175.73/1178.86 c #Conflicts: 385000 | #Constraints: 16637
1175.73/1178.86 c #Conflicts: 386000 | #Constraints: 17638
1175.73/1178.86 c #Conflicts: 387000 | #Constraints: 18638
1175.73/1178.86 c #Conflicts: 388000 | #Constraints: 19638
1175.73/1178.86 c #Conflicts: 389000 | #Constraints: 20638
1175.73/1178.86 c #Conflicts: 390000 | #Constraints: 21638
1175.73/1178.86 c #Conflicts: 391000 | #Constraints: 22638
1175.73/1178.86 c #Conflicts: 392000 | #Constraints: 23638
1175.73/1178.86 c #Conflicts: 393000 | #Constraints: 24638
1175.73/1178.86 c #Conflicts: 394000 | #Constraints: 25638
1175.73/1178.86 c INPROCESSING
1175.73/1178.86 c GARBAGE COLLECT
1175.73/1178.86 c rational objective 32
1177.03/1180.11 c GLOBAL bounds - >= 32 @ 1166.03
1177.03/1180.11 c GLOBAL bounds - >= 32 @ 1166.03
1204.86/1208.05 c #Conflicts: 395000 | #Constraints: 14144
1204.86/1208.05 c #Conflicts: 396000 | #Constraints: 15144
1204.86/1208.05 c #Conflicts: 397000 | #Constraints: 16156
1204.86/1208.05 c #Conflicts: 398000 | #Constraints: 17171
1204.86/1208.05 c #Conflicts: 399000 | #Constraints: 18181
1204.86/1208.05 c #Conflicts: 400000 | #Constraints: 19206
1204.86/1208.05 c #Conflicts: 401000 | #Constraints: 20235
1204.86/1208.05 c #Conflicts: 402000 | #Constraints: 21265
1204.86/1208.05 c #Conflicts: 403000 | #Constraints: 22283
1204.86/1208.05 c #Conflicts: 404000 | #Constraints: 23308
1204.86/1208.05 c #Conflicts: 405000 | #Constraints: 24337
1204.86/1208.05 c #Conflicts: 406000 | #Constraints: 25344
1204.86/1208.05 c #Conflicts: 407000 | #Constraints: 26353
1204.86/1208.05 c INPROCESSING
1204.86/1208.05 c GARBAGE COLLECT
1204.86/1208.05 c rational objective 32
1205.46/1208.61 c GLOBAL bounds - >= 32 @ 1194.11
1205.46/1208.61 c GLOBAL bounds - >= 32 @ 1194.11
1236.78/1240.07 c #Conflicts: 408000 | #Constraints: 14603
1236.78/1240.07 c #Conflicts: 409000 | #Constraints: 15604
1236.78/1240.07 c #Conflicts: 410000 | #Constraints: 16608
1236.78/1240.07 c #Conflicts: 411000 | #Constraints: 17611
1236.78/1240.07 c #Conflicts: 412000 | #Constraints: 18611
1236.78/1240.07 c #Conflicts: 413000 | #Constraints: 19613
1236.78/1240.07 c #Conflicts: 414000 | #Constraints: 20616
1236.78/1240.07 c #Conflicts: 415000 | #Constraints: 21644
1236.78/1240.07 c #Conflicts: 416000 | #Constraints: 22685
1236.78/1240.07 c #Conflicts: 417000 | #Constraints: 23704
1236.78/1240.07 c #Conflicts: 418000 | #Constraints: 24726
1236.78/1240.07 c #Conflicts: 419000 | #Constraints: 25742
1236.78/1240.07 c #Conflicts: 420000 | #Constraints: 26756
1236.78/1240.07 c INPROCESSING
1236.78/1240.07 c GARBAGE COLLECT
1236.78/1240.07 c rational objective 32
1237.28/1240.59 c GLOBAL bounds - >= 32 @ 1225.78
1237.28/1240.59 c GLOBAL bounds - >= 32 @ 1225.78
1304.80/1308.27 c #Conflicts: 421000 | #Constraints: 14821
1304.80/1308.27 c #Conflicts: 422000 | #Constraints: 15835
1304.80/1308.27 c #Conflicts: 423000 | #Constraints: 16851
1304.80/1308.27 c #Conflicts: 424000 | #Constraints: 17862
1304.80/1308.27 c #Conflicts: 425000 | #Constraints: 18869
1304.80/1308.27 c #Conflicts: 426000 | #Constraints: 19883
1304.80/1308.27 c #Conflicts: 427000 | #Constraints: 20892
1304.80/1308.27 c #Conflicts: 428000 | #Constraints: 21892
1304.80/1308.27 c #Conflicts: 429000 | #Constraints: 22892
1304.80/1308.27 c #Conflicts: 430000 | #Constraints: 23892
1304.80/1308.27 c #Conflicts: 431000 | #Constraints: 24893
1304.80/1308.27 c #Conflicts: 432000 | #Constraints: 25894
1304.80/1308.27 c #Conflicts: 433000 | #Constraints: 26895
1304.80/1308.27 c INPROCESSING
1304.80/1308.27 c GARBAGE COLLECT
1304.80/1308.27 c rational objective 32
1305.40/1308.81 c GLOBAL bounds - >= 32 @ 1293.47
1305.40/1308.81 c GLOBAL bounds - >= 32 @ 1293.47
1392.17/1395.80 c #Conflicts: 434000 | #Constraints: 14794
1392.17/1395.80 c #Conflicts: 435000 | #Constraints: 15794
1392.17/1395.80 c #Conflicts: 436000 | #Constraints: 16813
1392.17/1395.80 c #Conflicts: 437000 | #Constraints: 17813
1392.17/1395.80 c #Conflicts: 438000 | #Constraints: 18814
1392.17/1395.80 c #Conflicts: 439000 | #Constraints: 19814
1392.17/1395.80 c #Conflicts: 440000 | #Constraints: 20814
1392.17/1395.80 c #Conflicts: 441000 | #Constraints: 21814
1392.17/1395.80 c #Conflicts: 442000 | #Constraints: 22814
1392.17/1395.80 c #Conflicts: 443000 | #Constraints: 23814
1392.17/1395.80 c #Conflicts: 444000 | #Constraints: 24814
1392.17/1395.80 c #Conflicts: 445000 | #Constraints: 25814
1392.17/1395.80 c #Conflicts: 446000 | #Constraints: 26814
1392.17/1395.80 c INPROCESSING
1392.17/1395.80 c GARBAGE COLLECT
1392.17/1395.80 c rational objective 32
1392.57/1396.27 c GLOBAL bounds - >= 32 @ 1380.32
1392.57/1396.27 c GLOBAL bounds - >= 32 @ 1380.32
1480.63/1484.59 c #Conflicts: 447000 | #Constraints: 14557
1480.63/1484.59 c #Conflicts: 448000 | #Constraints: 15569
1480.63/1484.59 c #Conflicts: 449000 | #Constraints: 16574
1480.63/1484.59 c #Conflicts: 450000 | #Constraints: 17580
1480.63/1484.59 c #Conflicts: 451000 | #Constraints: 18582
1480.63/1484.59 c #Conflicts: 452000 | #Constraints: 19597
1480.63/1484.59 c #Conflicts: 453000 | #Constraints: 20615
1480.63/1484.59 c #Conflicts: 454000 | #Constraints: 21618
1480.63/1484.59 c #Conflicts: 455000 | #Constraints: 22619
1480.63/1484.59 c #Conflicts: 456000 | #Constraints: 23621
1480.63/1484.59 c #Conflicts: 457000 | #Constraints: 24622
1480.63/1484.59 c #Conflicts: 458000 | #Constraints: 25622
1480.63/1484.59 c #Conflicts: 459000 | #Constraints: 26622
1480.63/1484.59 c #Conflicts: 460000 | #Constraints: 27622
1480.63/1484.59 c INPROCESSING
1480.63/1484.59 c GARBAGE COLLECT
1480.63/1484.59 c rational objective 32
1481.14/1485.02 c GLOBAL bounds - >= 32 @ 1468.58
1481.14/1485.02 c GLOBAL bounds - >= 32 @ 1468.58
1585.87/1590.09 c #Conflicts: 461000 | #Constraints: 15181
1585.87/1590.09 c #Conflicts: 462000 | #Constraints: 16202
1585.87/1590.09 c #Conflicts: 463000 | #Constraints: 17207
1585.87/1590.09 c #Conflicts: 464000 | #Constraints: 18233
1585.87/1590.09 c #Conflicts: 465000 | #Constraints: 19244
1585.87/1590.09 c #Conflicts: 466000 | #Constraints: 20250
1585.87/1590.09 c #Conflicts: 467000 | #Constraints: 21259
1585.87/1590.09 c #Conflicts: 468000 | #Constraints: 22260
1585.87/1590.09 c #Conflicts: 469000 | #Constraints: 23260
1585.87/1590.09 c #Conflicts: 470000 | #Constraints: 24261
1585.87/1590.09 c #Conflicts: 471000 | #Constraints: 25262
1585.87/1590.09 c #Conflicts: 472000 | #Constraints: 26262
1585.87/1590.09 c #Conflicts: 473000 | #Constraints: 27262
1585.87/1590.09 c #Conflicts: 474000 | #Constraints: 28263
1585.87/1590.09 c INPROCESSING
1585.87/1590.09 c GARBAGE COLLECT
1585.87/1590.09 c rational objective 32
1586.26/1590.45 c GLOBAL bounds - >= 32 @ 1573.38
1586.26/1590.45 c GLOBAL bounds - >= 32 @ 1573.38
1670.34/1674.76 c #Conflicts: 475000 | #Constraints: 15592
1670.34/1674.76 c #Conflicts: 476000 | #Constraints: 16602
1670.34/1674.76 c #Conflicts: 477000 | #Constraints: 17604
1670.34/1674.76 c #Conflicts: 478000 | #Constraints: 18607
1670.34/1674.76 c #Conflicts: 479000 | #Constraints: 19607
1670.34/1674.76 c #Conflicts: 480000 | #Constraints: 20613
1670.34/1674.76 c #Conflicts: 481000 | #Constraints: 21622
1670.34/1674.76 c #Conflicts: 482000 | #Constraints: 22628
1670.34/1674.76 c #Conflicts: 483000 | #Constraints: 23644
1670.34/1674.76 c #Conflicts: 484000 | #Constraints: 24648
1670.34/1674.76 c #Conflicts: 485000 | #Constraints: 25652
1670.34/1674.76 c #Conflicts: 486000 | #Constraints: 26653
1670.34/1674.76 c #Conflicts: 487000 | #Constraints: 27657
1670.34/1674.76 c #Conflicts: 488000 | #Constraints: 28661
1670.34/1674.76 c INPROCESSING
1670.34/1674.76 c GARBAGE COLLECT
1670.34/1674.76 c rational objective 32
1670.74/1675.15 c GLOBAL bounds - >= 32 @ 1657.64
1670.74/1675.15 c GLOBAL bounds - >= 32 @ 1657.64
1731.77/1736.39 c #Conflicts: 489000 | #Constraints: 15776
1731.77/1736.39 c #Conflicts: 490000 | #Constraints: 16776
1731.77/1736.39 c #Conflicts: 491000 | #Constraints: 17791
1731.77/1736.39 c #Conflicts: 492000 | #Constraints: 18799
1731.77/1736.39 c #Conflicts: 493000 | #Constraints: 19812
1731.77/1736.39 c #Conflicts: 494000 | #Constraints: 20813
1731.77/1736.39 c #Conflicts: 495000 | #Constraints: 21816
1731.77/1736.39 c #Conflicts: 496000 | #Constraints: 22818
1731.77/1736.39 c #Conflicts: 497000 | #Constraints: 23822
1731.77/1736.39 c #Conflicts: 498000 | #Constraints: 24823
1731.77/1736.39 c #Conflicts: 499000 | #Constraints: 25823
1731.77/1736.39 c #Conflicts: 500000 | #Constraints: 26827
1731.77/1736.39 c #Conflicts: 501000 | #Constraints: 27827
1731.77/1736.39 c #Conflicts: 502000 | #Constraints: 28832
1731.77/1736.39 c INPROCESSING
1731.77/1736.39 c GARBAGE COLLECT
1731.77/1736.39 c rational objective 32
1732.27/1736.80 c GLOBAL bounds - >= 32 @ 1718.85
1732.27/1736.80 c GLOBAL bounds - >= 32 @ 1718.85
1774.76/1779.46 c #Conflicts: 503000 | #Constraints: 15762
1774.76/1779.46 c #Conflicts: 504000 | #Constraints: 16762
1774.76/1779.46 c #Conflicts: 505000 | #Constraints: 17762
1774.76/1779.46 c #Conflicts: 506000 | #Constraints: 18762
1774.76/1779.46 c #Conflicts: 507000 | #Constraints: 19762
1774.76/1779.46 c #Conflicts: 508000 | #Constraints: 20762
1774.76/1779.46 c #Conflicts: 509000 | #Constraints: 21762
1774.76/1779.46 c #Conflicts: 510000 | #Constraints: 22762
1774.76/1779.46 c #Conflicts: 511000 | #Constraints: 23762
1774.76/1779.46 c #Conflicts: 512000 | #Constraints: 24762
1774.76/1779.46 c #Conflicts: 513000 | #Constraints: 25762
1774.76/1779.46 c #Conflicts: 514000 | #Constraints: 26762
1774.76/1779.46 c #Conflicts: 515000 | #Constraints: 27762
1774.76/1779.46 c #Conflicts: 516000 | #Constraints: 28762
1774.76/1779.46 c INPROCESSING
1774.76/1779.46 c GARBAGE COLLECT
1774.76/1779.46 c rational objective 32
1775.56/1780.29 c GLOBAL bounds - >= 32 @ 1762.02
1775.56/1780.29 c GLOBAL bounds - >= 32 @ 1762.02
1821.43/1826.21 c #Conflicts: 517000 | #Constraints: 15504
1821.43/1826.21 c #Conflicts: 518000 | #Constraints: 16505
1821.43/1826.21 c #Conflicts: 519000 | #Constraints: 17505
1821.43/1826.21 c #Conflicts: 520000 | #Constraints: 18505
1821.43/1826.21 c #Conflicts: 521000 | #Constraints: 19506
1821.43/1826.21 c #Conflicts: 522000 | #Constraints: 20517
1821.43/1826.21 c #Conflicts: 523000 | #Constraints: 21525
1821.43/1826.21 c #Conflicts: 524000 | #Constraints: 22536
1821.43/1826.21 c #Conflicts: 525000 | #Constraints: 23542
1821.43/1826.21 c #Conflicts: 526000 | #Constraints: 24557
1821.43/1826.21 c #Conflicts: 527000 | #Constraints: 25586
1821.43/1826.21 c #Conflicts: 528000 | #Constraints: 26594
1821.43/1826.21 c #Conflicts: 529000 | #Constraints: 27607
1821.43/1826.21 c #Conflicts: 530000 | #Constraints: 28610
1821.43/1826.21 c #Conflicts: 531000 | #Constraints: 29612
1821.43/1826.21 c INPROCESSING
1821.43/1826.21 c GARBAGE COLLECT
1821.43/1826.21 c rational objective 32
1821.93/1826.74 c GLOBAL bounds - >= 32 @ 1807.98
1821.93/1826.74 c GLOBAL bounds - >= 32 @ 1807.98
1857.25/1862.11 c #Conflicts: 532000 | #Constraints: 16142
1857.25/1862.11 c #Conflicts: 533000 | #Constraints: 17154
1857.25/1862.11 c #Conflicts: 534000 | #Constraints: 18155
1857.25/1862.11 c #Conflicts: 535000 | #Constraints: 19155
1857.25/1862.11 c #Conflicts: 536000 | #Constraints: 20157
1857.25/1862.11 c #Conflicts: 537000 | #Constraints: 21345
1857.25/1862.11 c #Conflicts: 538000 | #Constraints: 22348
1857.25/1862.11 c #Conflicts: 539000 | #Constraints: 23596
1857.25/1862.11 c #Conflicts: 540000 | #Constraints: 24957
1857.25/1862.11 c #Conflicts: 541000 | #Constraints: 25959
1857.25/1862.11 c #Conflicts: 542000 | #Constraints: 26963
1857.25/1862.11 c #Conflicts: 543000 | #Constraints: 27968
1857.25/1862.11 c #Conflicts: 544000 | #Constraints: 28968
1857.25/1862.11 c #Conflicts: 545000 | #Constraints: 29969
1857.25/1862.11 c #Conflicts: 546000 | #Constraints: 30972
1857.25/1862.11 c INPROCESSING
1857.25/1862.11 c GARBAGE COLLECT
1857.25/1862.11 c rational objective 32
1858.04/1863.00 c GLOBAL bounds - >= 32 @ 1843.72
1858.04/1863.00 c GLOBAL bounds - >= 32 @ 1843.72
1904.61/1909.68 c #Conflicts: 547000 | #Constraints: 16897
1904.61/1909.68 c #Conflicts: 548000 | #Constraints: 17897
1904.61/1909.68 c #Conflicts: 549000 | #Constraints: 18897
1904.61/1909.68 c #Conflicts: 550000 | #Constraints: 19898
1904.61/1909.68 c #Conflicts: 551000 | #Constraints: 20901
1904.61/1909.68 c #Conflicts: 552000 | #Constraints: 21918
1904.61/1909.68 c #Conflicts: 553000 | #Constraints: 22931
1904.61/1909.68 c #Conflicts: 554000 | #Constraints: 23933
1904.61/1909.68 c #Conflicts: 555000 | #Constraints: 24933
1904.61/1909.68 c #Conflicts: 556000 | #Constraints: 25933
1904.61/1909.68 c #Conflicts: 557000 | #Constraints: 26933
1904.61/1909.68 c #Conflicts: 558000 | #Constraints: 27943
1904.61/1909.68 c #Conflicts: 559000 | #Constraints: 28968
1904.61/1909.68 c #Conflicts: 560000 | #Constraints: 29983
1904.61/1909.68 c #Conflicts: 561000 | #Constraints: 31004
1904.61/1909.68 c INPROCESSING
1904.61/1909.68 c GARBAGE COLLECT
1904.61/1909.68 c rational objective 32
1905.31/1910.34 c GLOBAL bounds - >= 32 @ 1890.65
1905.31/1910.34 c GLOBAL bounds - >= 32 @ 1890.65
1950.49/1955.62 c #Conflicts: 562000 | #Constraints: 16942
1950.49/1955.62 c #Conflicts: 563000 | #Constraints: 17949
1950.49/1955.62 c #Conflicts: 564000 | #Constraints: 18951
1950.49/1955.62 c #Conflicts: 565000 | #Constraints: 19963
1950.49/1955.62 c #Conflicts: 566000 | #Constraints: 20977
1950.49/1955.62 c #Conflicts: 567000 | #Constraints: 21995
1950.49/1955.62 c #Conflicts: 568000 | #Constraints: 23021
1950.49/1955.62 c #Conflicts: 569000 | #Constraints: 24040
1950.49/1955.62 c #Conflicts: 570000 | #Constraints: 25051
1950.49/1955.62 c #Conflicts: 571000 | #Constraints: 26074
1950.49/1955.62 c #Conflicts: 572000 | #Constraints: 27108
1950.49/1955.62 c #Conflicts: 573000 | #Constraints: 28134
1950.49/1955.62 c #Conflicts: 574000 | #Constraints: 29161
1950.49/1955.62 c #Conflicts: 575000 | #Constraints: 30183
1950.49/1955.62 c #Conflicts: 576000 | #Constraints: 31194
1950.49/1955.62 c INPROCESSING
1950.49/1955.62 c GARBAGE COLLECT
1950.49/1955.62 c rational objective 32
1950.90/1956.09 c GLOBAL bounds - >= 32 @ 1935.87
1950.90/1956.09 c GLOBAL bounds - >= 32 @ 1935.87
2005.05/2010.30 c #Conflicts: 577000 | #Constraints: 16933
2005.05/2010.30 c #Conflicts: 578000 | #Constraints: 17935
2005.05/2010.30 c #Conflicts: 579000 | #Constraints: 18937
2005.05/2010.30 c #Conflicts: 580000 | #Constraints: 19938
2005.05/2010.30 c #Conflicts: 581000 | #Constraints: 20938
2005.05/2010.30 c #Conflicts: 582000 | #Constraints: 21938
2005.05/2010.30 c #Conflicts: 583000 | #Constraints: 22941
2005.05/2010.30 c #Conflicts: 584000 | #Constraints: 23944
2005.05/2010.30 c #Conflicts: 585000 | #Constraints: 24950
2005.05/2010.30 c #Conflicts: 586000 | #Constraints: 25979
2005.05/2010.30 c #Conflicts: 587000 | #Constraints: 26987
2005.05/2010.30 c #Conflicts: 588000 | #Constraints: 27988
2005.05/2010.30 c #Conflicts: 589000 | #Constraints: 28989
2005.05/2010.30 c #Conflicts: 590000 | #Constraints: 29991
2005.05/2010.30 c #Conflicts: 591000 | #Constraints: 30994
2005.05/2010.30 c INPROCESSING
2005.05/2010.30 c GARBAGE COLLECT
2005.05/2010.30 c rational objective 32
2005.85/2011.11 c GLOBAL bounds - >= 32 @ 1990.35
2005.85/2011.11 c GLOBAL bounds - >= 32 @ 1990.35
2076.44/2081.90 c #Conflicts: 592000 | #Constraints: 16634
2076.44/2081.90 c #Conflicts: 593000 | #Constraints: 17659
2076.44/2081.90 c #Conflicts: 594000 | #Constraints: 18676
2076.44/2081.90 c #Conflicts: 595000 | #Constraints: 19681
2076.44/2081.90 c #Conflicts: 596000 | #Constraints: 20689
2076.44/2081.90 c #Conflicts: 597000 | #Constraints: 21707
2076.44/2081.90 c #Conflicts: 598000 | #Constraints: 22711
2076.44/2081.90 c #Conflicts: 599000 | #Constraints: 23711
2076.44/2081.90 c #Conflicts: 600000 | #Constraints: 24711
2076.44/2081.90 c #Conflicts: 601000 | #Constraints: 25711
2076.44/2081.90 c #Conflicts: 602000 | #Constraints: 26711
2076.44/2081.90 c #Conflicts: 603000 | #Constraints: 27734
2076.44/2081.90 c #Conflicts: 604000 | #Constraints: 28750
2076.44/2081.90 c #Conflicts: 605000 | #Constraints: 29752
2076.44/2081.90 c #Conflicts: 606000 | #Constraints: 30752
2076.44/2081.90 c #Conflicts: 607000 | #Constraints: 31753
2076.44/2081.90 c INPROCESSING
2076.44/2081.90 c GARBAGE COLLECT
2076.44/2081.90 c rational objective 32
2076.94/2082.43 c GLOBAL bounds - >= 32 @ 2061.12
2076.94/2082.43 c GLOBAL bounds - >= 32 @ 2061.12
2149.95/2155.60 c #Conflicts: 608000 | #Constraints: 17217
2149.95/2155.60 c #Conflicts: 609000 | #Constraints: 18221
2149.95/2155.60 c #Conflicts: 610000 | #Constraints: 19226
2149.95/2155.60 c #Conflicts: 611000 | #Constraints: 20237
2149.95/2155.60 c #Conflicts: 612000 | #Constraints: 21237
2149.95/2155.60 c #Conflicts: 613000 | #Constraints: 22237
2149.95/2155.60 c #Conflicts: 614000 | #Constraints: 23250
2149.95/2155.60 c #Conflicts: 615000 | #Constraints: 24258
2149.95/2155.60 c #Conflicts: 616000 | #Constraints: 25296
2149.95/2155.60 c #Conflicts: 617000 | #Constraints: 26336
2149.95/2155.60 c #Conflicts: 618000 | #Constraints: 27361
2149.95/2155.60 c #Conflicts: 619000 | #Constraints: 28388
2149.95/2155.60 c #Conflicts: 620000 | #Constraints: 29425
2149.95/2155.60 c #Conflicts: 621000 | #Constraints: 30450
2149.95/2155.60 c #Conflicts: 622000 | #Constraints: 31455
2149.95/2155.60 c #Conflicts: 623000 | #Constraints: 32456
2149.95/2155.60 c INPROCESSING
2149.95/2155.60 c GARBAGE COLLECT
2149.95/2155.60 c rational objective 32
2151.05/2156.78 c GLOBAL bounds - >= 32 @ 2134.82
2151.05/2156.78 c GLOBAL bounds - >= 32 @ 2134.82
2208.49/2214.35 c #Conflicts: 624000 | #Constraints: 17655
2208.49/2214.35 c #Conflicts: 625000 | #Constraints: 18679
2208.49/2214.35 c #Conflicts: 626000 | #Constraints: 19695
2208.49/2214.35 c #Conflicts: 627000 | #Constraints: 20719
2208.49/2214.35 c #Conflicts: 628000 | #Constraints: 21735
2208.49/2214.35 c #Conflicts: 629000 | #Constraints: 22744
2208.49/2214.35 c #Conflicts: 630000 | #Constraints: 23759
2208.49/2214.35 c #Conflicts: 631000 | #Constraints: 24764
2208.49/2214.35 c #Conflicts: 632000 | #Constraints: 25776
2208.49/2214.35 c #Conflicts: 633000 | #Constraints: 26776
2208.49/2214.35 c #Conflicts: 634000 | #Constraints: 27776
2208.49/2214.35 c #Conflicts: 635000 | #Constraints: 28794
2208.49/2214.35 c #Conflicts: 636000 | #Constraints: 29813
2208.49/2214.35 c #Conflicts: 637000 | #Constraints: 30837
2208.49/2214.35 c #Conflicts: 638000 | #Constraints: 31877
2208.49/2214.35 c #Conflicts: 639000 | #Constraints: 32897
2208.49/2214.35 c INPROCESSING
2208.49/2214.35 c GARBAGE COLLECT
2208.49/2214.35 c rational objective 32
2209.10/2214.97 c GLOBAL bounds - >= 32 @ 2192.37
2209.10/2214.97 c GLOBAL bounds - >= 32 @ 2192.37
2264.44/2270.47 c #Conflicts: 640000 | #Constraints: 17878
2264.44/2270.47 c #Conflicts: 641000 | #Constraints: 18887
2264.44/2270.47 c #Conflicts: 642000 | #Constraints: 19901
2264.44/2270.47 c #Conflicts: 643000 | #Constraints: 20926
2264.44/2270.47 c #Conflicts: 644000 | #Constraints: 21934
2264.44/2270.47 c #Conflicts: 645000 | #Constraints: 22936
2264.44/2270.47 c #Conflicts: 646000 | #Constraints: 23960
2264.44/2270.47 c #Conflicts: 647000 | #Constraints: 24990
2264.44/2270.47 c #Conflicts: 648000 | #Constraints: 26008
2264.44/2270.47 c #Conflicts: 649000 | #Constraints: 27028
2264.44/2270.47 c #Conflicts: 650000 | #Constraints: 28051
2264.44/2270.47 c #Conflicts: 651000 | #Constraints: 29072
2264.44/2270.47 c #Conflicts: 652000 | #Constraints: 30072
2264.44/2270.47 c #Conflicts: 653000 | #Constraints: 31072
2264.44/2270.47 c #Conflicts: 654000 | #Constraints: 32075
2264.44/2270.47 c #Conflicts: 655000 | #Constraints: 33076
2264.44/2270.47 c INPROCESSING
2264.44/2270.47 c GARBAGE COLLECT
2264.44/2270.47 c rational objective 32
2265.05/2271.07 c GLOBAL bounds - >= 32 @ 2247.86
2265.05/2271.07 c GLOBAL bounds - >= 32 @ 2247.86
2316.31/2322.40 c #Conflicts: 656000 | #Constraints: 17867
2316.31/2322.40 c #Conflicts: 657000 | #Constraints: 18873
2316.31/2322.40 c #Conflicts: 658000 | #Constraints: 19925
2316.31/2322.40 c #Conflicts: 659000 | #Constraints: 20978
2316.31/2322.40 c #Conflicts: 660000 | #Constraints: 21981
2316.31/2322.40 c #Conflicts: 661000 | #Constraints: 22981
2316.31/2322.40 c #Conflicts: 662000 | #Constraints: 23981
2316.31/2322.40 c #Conflicts: 663000 | #Constraints: 25111
2316.31/2322.40 c #Conflicts: 664000 | #Constraints: 26145
2316.31/2322.40 c #Conflicts: 665000 | #Constraints: 27173
2316.31/2322.40 c #Conflicts: 666000 | #Constraints: 28173
2316.31/2322.40 c #Conflicts: 667000 | #Constraints: 29174
2316.31/2322.40 c #Conflicts: 668000 | #Constraints: 30174
2316.31/2322.40 c #Conflicts: 669000 | #Constraints: 31175
2316.31/2322.40 c #Conflicts: 670000 | #Constraints: 32178
2316.31/2322.40 c #Conflicts: 671000 | #Constraints: 33178
2316.31/2322.40 c INPROCESSING
2316.31/2322.40 c GARBAGE COLLECT
2316.31/2322.40 c rational objective 32
2317.80/2323.91 c GLOBAL bounds - >= 32 @ 2300.17
2317.80/2323.91 c GLOBAL bounds - >= 32 @ 2300.17
2357.40/2363.60 c #Conflicts: 672000 | #Constraints: 17705
2357.40/2363.60 c #Conflicts: 673000 | #Constraints: 18705
2357.40/2363.60 c #Conflicts: 674000 | #Constraints: 19705
2357.40/2363.60 c #Conflicts: 675000 | #Constraints: 20705
2357.40/2363.60 c #Conflicts: 676000 | #Constraints: 21705
2357.40/2363.60 c #Conflicts: 677000 | #Constraints: 22705
2357.40/2363.60 c #Conflicts: 678000 | #Constraints: 23706
2357.40/2363.60 c #Conflicts: 679000 | #Constraints: 24707
2357.40/2363.60 c #Conflicts: 680000 | #Constraints: 25715
2357.40/2363.60 c #Conflicts: 681000 | #Constraints: 26736
2357.40/2363.60 c #Conflicts: 682000 | #Constraints: 27762
2357.40/2363.60 c #Conflicts: 683000 | #Constraints: 28784
2357.40/2363.60 c #Conflicts: 684000 | #Constraints: 29785
2357.40/2363.60 c #Conflicts: 685000 | #Constraints: 30799
2357.40/2363.60 c #Conflicts: 686000 | #Constraints: 31820
2357.40/2363.60 c #Conflicts: 687000 | #Constraints: 32832
2357.40/2363.60 c #Conflicts: 688000 | #Constraints: 33864
2357.40/2363.60 c INPROCESSING
2357.40/2363.60 c GARBAGE COLLECT
2357.40/2363.60 c rational objective 32
2357.80/2364.05 c GLOBAL bounds - >= 32 @ 2339.88
2357.80/2364.05 c GLOBAL bounds - >= 32 @ 2339.88
2432.30/2438.75 c #Conflicts: 689000 | #Constraints: 18275
2432.30/2438.75 c #Conflicts: 690000 | #Constraints: 19287
2432.30/2438.75 c #Conflicts: 691000 | #Constraints: 20306
2432.30/2438.75 c #Conflicts: 692000 | #Constraints: 21326
2432.30/2438.75 c #Conflicts: 693000 | #Constraints: 22341
2432.30/2438.75 c #Conflicts: 694000 | #Constraints: 23364
2432.30/2438.75 c #Conflicts: 695000 | #Constraints: 24365
2432.30/2438.75 c #Conflicts: 696000 | #Constraints: 25385
2432.30/2438.75 c #Conflicts: 697000 | #Constraints: 26395
2432.30/2438.75 c #Conflicts: 698000 | #Constraints: 27395
2432.30/2438.75 c #Conflicts: 699000 | #Constraints: 28401
2432.30/2438.75 c #Conflicts: 700000 | #Constraints: 29403
2432.30/2438.75 c #Conflicts: 701000 | #Constraints: 30404
2432.30/2438.75 c #Conflicts: 702000 | #Constraints: 31407
2432.30/2438.75 c #Conflicts: 703000 | #Constraints: 32407
2432.30/2438.75 c #Conflicts: 704000 | #Constraints: 33407
2432.30/2438.75 c #Conflicts: 705000 | #Constraints: 34422
2432.30/2438.75 c INPROCESSING
2432.30/2438.75 c GARBAGE COLLECT
2432.30/2438.75 c rational objective 32
2432.89/2439.30 c GLOBAL bounds - >= 32 @ 2414.5
2432.89/2439.30 c GLOBAL bounds - >= 32 @ 2414.5
2500.70/2507.38 c #Conflicts: 706000 | #Constraints: 18666
2500.70/2507.38 c #Conflicts: 707000 | #Constraints: 19668
2500.70/2507.38 c #Conflicts: 708000 | #Constraints: 20676
2500.70/2507.38 c #Conflicts: 709000 | #Constraints: 21683
2500.70/2507.38 c #Conflicts: 710000 | #Constraints: 22687
2500.70/2507.38 c #Conflicts: 711000 | #Constraints: 23697
2500.70/2507.38 c #Conflicts: 712000 | #Constraints: 24705
2500.70/2507.38 c #Conflicts: 713000 | #Constraints: 25715
2500.70/2507.38 c #Conflicts: 714000 | #Constraints: 26717
2500.70/2507.38 c #Conflicts: 715000 | #Constraints: 27719
2500.70/2507.38 c #Conflicts: 716000 | #Constraints: 28720
2500.70/2507.38 c #Conflicts: 717000 | #Constraints: 29721
2500.70/2507.38 c #Conflicts: 718000 | #Constraints: 30731
2500.70/2507.38 c #Conflicts: 719000 | #Constraints: 31740
2500.70/2507.38 c #Conflicts: 720000 | #Constraints: 32742
2500.70/2507.38 c #Conflicts: 721000 | #Constraints: 33746
2500.70/2507.38 c #Conflicts: 722000 | #Constraints: 34751
2500.70/2507.38 c INPROCESSING
2500.70/2507.38 c GARBAGE COLLECT
2500.70/2507.38 c rational objective 32
2501.41/2508.06 c GLOBAL bounds - >= 32 @ 2482.85
2501.41/2508.06 c GLOBAL bounds - >= 32 @ 2482.85
2644.40/2651.48 c #Conflicts: 723000 | #Constraints: 18808
2644.40/2651.48 c #Conflicts: 724000 | #Constraints: 19809
2644.40/2651.48 c #Conflicts: 725000 | #Constraints: 20818
2644.40/2651.48 c #Conflicts: 726000 | #Constraints: 21832
2644.40/2651.48 c #Conflicts: 727000 | #Constraints: 22839
2644.40/2651.48 c #Conflicts: 728000 | #Constraints: 23854
2644.40/2651.48 c #Conflicts: 729000 | #Constraints: 24854
2644.40/2651.48 c #Conflicts: 730000 | #Constraints: 25855
2644.40/2651.48 c #Conflicts: 731000 | #Constraints: 26855
2644.40/2651.48 c #Conflicts: 732000 | #Constraints: 27855
2644.40/2651.48 c #Conflicts: 733000 | #Constraints: 28855
2644.40/2651.48 c #Conflicts: 734000 | #Constraints: 29855
2644.40/2651.48 c #Conflicts: 735000 | #Constraints: 30855
2644.40/2651.48 c #Conflicts: 736000 | #Constraints: 31855
2644.40/2651.48 c #Conflicts: 737000 | #Constraints: 32855
2644.40/2651.48 c #Conflicts: 738000 | #Constraints: 33855
2644.40/2651.48 c #Conflicts: 739000 | #Constraints: 34855
2644.40/2651.48 c INPROCESSING
2644.40/2651.48 c GARBAGE COLLECT
2644.40/2651.48 c rational objective 32
2644.90/2651.94 c GLOBAL bounds - >= 32 @ 2625.93
2644.90/2651.94 c GLOBAL bounds - >= 32 @ 2625.93
2736.76/2744.01 c #Conflicts: 740000 | #Constraints: 18769
2736.76/2744.01 c #Conflicts: 741000 | #Constraints: 19771
2736.76/2744.01 c #Conflicts: 742000 | #Constraints: 20771
2736.76/2744.01 c #Conflicts: 743000 | #Constraints: 21771
2736.76/2744.01 c #Conflicts: 744000 | #Constraints: 22812
2736.76/2744.01 c #Conflicts: 745000 | #Constraints: 23812
2736.76/2744.01 c #Conflicts: 746000 | #Constraints: 24816
2736.76/2744.01 c #Conflicts: 747000 | #Constraints: 25830
2736.76/2744.01 c #Conflicts: 748000 | #Constraints: 27135
2736.76/2744.01 c #Conflicts: 749000 | #Constraints: 28136
2736.76/2744.01 c #Conflicts: 750000 | #Constraints: 29139
2736.76/2744.01 c #Conflicts: 751000 | #Constraints: 30144
2736.76/2744.01 c #Conflicts: 752000 | #Constraints: 31187
2736.76/2744.01 c #Conflicts: 753000 | #Constraints: 32187
2736.76/2744.01 c #Conflicts: 754000 | #Constraints: 33187
2736.76/2744.01 c #Conflicts: 755000 | #Constraints: 34187
2736.76/2744.01 c #Conflicts: 756000 | #Constraints: 35187
2736.76/2744.01 c INPROCESSING
2736.76/2744.01 c GARBAGE COLLECT
2736.76/2744.01 c rational objective 32
2737.66/2744.93 c GLOBAL bounds - >= 32 @ 2718.2
2737.66/2744.93 c GLOBAL bounds - >= 32 @ 2718.2
2799.00/2806.41 c #Conflicts: 757000 | #Constraints: 18721
2799.00/2806.41 c #Conflicts: 758000 | #Constraints: 19721
2799.00/2806.41 c #Conflicts: 759000 | #Constraints: 20721
2799.00/2806.41 c #Conflicts: 760000 | #Constraints: 21721
2799.00/2806.41 c #Conflicts: 761000 | #Constraints: 22721
2799.00/2806.41 c #Conflicts: 762000 | #Constraints: 23721
2799.00/2806.41 c #Conflicts: 763000 | #Constraints: 24721
2799.00/2806.41 c #Conflicts: 764000 | #Constraints: 25721
2799.00/2806.41 c #Conflicts: 765000 | #Constraints: 26722
2799.00/2806.41 c #Conflicts: 766000 | #Constraints: 27722
2799.00/2806.41 c #Conflicts: 767000 | #Constraints: 28722
2799.00/2806.41 c #Conflicts: 768000 | #Constraints: 29727
2799.00/2806.41 c #Conflicts: 769000 | #Constraints: 30738
2799.00/2806.41 c #Conflicts: 770000 | #Constraints: 31743
2799.00/2806.41 c #Conflicts: 771000 | #Constraints: 32745
2799.00/2806.41 c #Conflicts: 772000 | #Constraints: 33745
2799.00/2806.41 c #Conflicts: 773000 | #Constraints: 34745
2799.00/2806.41 c #Conflicts: 774000 | #Constraints: 35745
2799.00/2806.41 c INPROCESSING
2799.00/2806.41 c GARBAGE COLLECT
2799.00/2806.41 c rational objective 32
2800.20/2807.62 c GLOBAL bounds - >= 32 @ 2780.31
2800.20/2807.62 c GLOBAL bounds - >= 32 @ 2780.31
2857.64/2865.23 c #Conflicts: 775000 | #Constraints: 19191
2857.64/2865.23 c #Conflicts: 776000 | #Constraints: 20191
2857.64/2865.23 c #Conflicts: 777000 | #Constraints: 21191
2857.64/2865.23 c #Conflicts: 778000 | #Constraints: 22191
2857.64/2865.23 c #Conflicts: 779000 | #Constraints: 23191
2857.64/2865.23 c #Conflicts: 780000 | #Constraints: 24192
2857.64/2865.23 c #Conflicts: 781000 | #Constraints: 25192
2857.64/2865.23 c #Conflicts: 782000 | #Constraints: 26196
2857.64/2865.23 c #Conflicts: 783000 | #Constraints: 27214
2857.64/2865.23 c #Conflicts: 784000 | #Constraints: 28221
2857.64/2865.23 c #Conflicts: 785000 | #Constraints: 29230
2857.64/2865.23 c #Conflicts: 786000 | #Constraints: 30234
2857.64/2865.23 c #Conflicts: 787000 | #Constraints: 31253
2857.64/2865.23 c #Conflicts: 788000 | #Constraints: 32265
2857.64/2865.23 c #Conflicts: 789000 | #Constraints: 33271
2857.64/2865.23 c #Conflicts: 790000 | #Constraints: 34281
2857.64/2865.23 c #Conflicts: 791000 | #Constraints: 35307
2857.64/2865.23 c #Conflicts: 792000 | #Constraints: 36327
2857.64/2865.23 c INPROCESSING
2857.64/2865.23 c GARBAGE COLLECT
2857.64/2865.23 c rational objective 32
2858.34/2865.97 c GLOBAL bounds - >= 32 @ 2838.14
2858.34/2865.97 c GLOBAL bounds - >= 32 @ 2838.14
2931.54/2939.32 c #Conflicts: 793000 | #Constraints: 19612
2931.54/2939.32 c #Conflicts: 794000 | #Constraints: 20634
2931.54/2939.32 c #Conflicts: 795000 | #Constraints: 21655
2931.54/2939.32 c #Conflicts: 796000 | #Constraints: 22658
2931.54/2939.32 c #Conflicts: 797000 | #Constraints: 23680
2931.54/2939.32 c #Conflicts: 798000 | #Constraints: 24710
2931.54/2939.32 c #Conflicts: 799000 | #Constraints: 25727
2931.54/2939.32 c #Conflicts: 800000 | #Constraints: 26760
2931.54/2939.32 c #Conflicts: 801000 | #Constraints: 27791
2931.54/2939.32 c #Conflicts: 802000 | #Constraints: 28807
2931.54/2939.32 c #Conflicts: 803000 | #Constraints: 29823
2931.54/2939.32 c #Conflicts: 804000 | #Constraints: 30829
2931.54/2939.32 c #Conflicts: 805000 | #Constraints: 31842
2931.54/2939.32 c #Conflicts: 806000 | #Constraints: 32847
2931.54/2939.32 c #Conflicts: 807000 | #Constraints: 33847
2931.54/2939.32 c #Conflicts: 808000 | #Constraints: 34860
2931.54/2939.32 c #Conflicts: 809000 | #Constraints: 35868
2931.54/2939.32 c #Conflicts: 810000 | #Constraints: 36876
2931.54/2939.32 c INPROCESSING
2931.54/2939.32 c GARBAGE COLLECT
2931.54/2939.32 c rational objective 32
2932.34/2940.13 c GLOBAL bounds - >= 32 @ 2911.55
2932.34/2940.13 c GLOBAL bounds - >= 32 @ 2911.55
2987.09/2995.07 c #Conflicts: 811000 | #Constraints: 19891
2987.09/2995.07 c #Conflicts: 812000 | #Constraints: 20904
2987.09/2995.07 c #Conflicts: 813000 | #Constraints: 21924
2987.09/2995.07 c #Conflicts: 814000 | #Constraints: 22942
2987.09/2995.07 c #Conflicts: 815000 | #Constraints: 23963
2987.09/2995.07 c #Conflicts: 816000 | #Constraints: 24984
2987.09/2995.07 c #Conflicts: 817000 | #Constraints: 26000
2987.09/2995.07 c #Conflicts: 818000 | #Constraints: 27017
2987.09/2995.07 c #Conflicts: 819000 | #Constraints: 28025
2987.09/2995.07 c #Conflicts: 820000 | #Constraints: 29030
2987.09/2995.07 c #Conflicts: 821000 | #Constraints: 30042
2987.09/2995.07 c #Conflicts: 822000 | #Constraints: 31056
2987.09/2995.07 c #Conflicts: 823000 | #Constraints: 32062
2987.09/2995.07 c #Conflicts: 824000 | #Constraints: 33078
2987.09/2995.07 c #Conflicts: 825000 | #Constraints: 34087
2987.09/2995.07 c #Conflicts: 826000 | #Constraints: 35096
2987.09/2995.07 c #Conflicts: 827000 | #Constraints: 36117
2987.09/2995.07 c #Conflicts: 828000 | #Constraints: 37122
2987.09/2995.07 c INPROCESSING
2987.09/2995.07 c GARBAGE COLLECT
2987.09/2995.07 c rational objective 32
2987.58/2995.59 c GLOBAL bounds - >= 32 @ 2966.34
2987.58/2995.59 c GLOBAL bounds - >= 32 @ 2966.34
3118.08/3126.43 c #Conflicts: 829000 | #Constraints: 19912
3118.08/3126.43 c #Conflicts: 830000 | #Constraints: 20920
3118.08/3126.43 c #Conflicts: 831000 | #Constraints: 21926
3118.08/3126.43 c #Conflicts: 832000 | #Constraints: 22931
3118.08/3126.43 c #Conflicts: 833000 | #Constraints: 23933
3118.08/3126.43 c #Conflicts: 834000 | #Constraints: 24953
3118.08/3126.43 c #Conflicts: 835000 | #Constraints: 25955
3118.08/3126.43 c #Conflicts: 836000 | #Constraints: 26955
3118.08/3126.43 c #Conflicts: 837000 | #Constraints: 27955
3118.08/3126.43 c #Conflicts: 838000 | #Constraints: 28955
3118.08/3126.43 c #Conflicts: 839000 | #Constraints: 29955
3118.08/3126.43 c #Conflicts: 840000 | #Constraints: 30955
3118.08/3126.43 c #Conflicts: 841000 | #Constraints: 31955
3118.08/3126.43 c #Conflicts: 842000 | #Constraints: 32955
3118.08/3126.43 c #Conflicts: 843000 | #Constraints: 33955
3118.08/3126.43 c #Conflicts: 844000 | #Constraints: 34955
3118.08/3126.43 c #Conflicts: 845000 | #Constraints: 35955
3118.08/3126.43 c #Conflicts: 846000 | #Constraints: 36972
3118.08/3126.43 c INPROCESSING
3118.08/3126.43 c GARBAGE COLLECT
3118.08/3126.43 c rational objective 32
3118.58/3126.93 c GLOBAL bounds - >= 32 @ 3096.88
3118.58/3126.93 c GLOBAL bounds - >= 32 @ 3096.88
3187.13/3195.60 c #Conflicts: 847000 | #Constraints: 19661
3187.13/3195.60 c #Conflicts: 848000 | #Constraints: 20662
3187.13/3195.60 c #Conflicts: 849000 | #Constraints: 21662
3187.13/3195.60 c #Conflicts: 850000 | #Constraints: 22662
3187.13/3195.60 c #Conflicts: 851000 | #Constraints: 23697
3187.13/3195.60 c #Conflicts: 852000 | #Constraints: 24698
3187.13/3195.60 c #Conflicts: 853000 | #Constraints: 25699
3187.13/3195.60 c #Conflicts: 854000 | #Constraints: 26699
3187.13/3195.60 c #Conflicts: 855000 | #Constraints: 27699
3187.13/3195.60 c #Conflicts: 856000 | #Constraints: 28699
3187.13/3195.60 c #Conflicts: 857000 | #Constraints: 29699
3187.13/3195.60 c #Conflicts: 858000 | #Constraints: 30699
3187.13/3195.60 c #Conflicts: 859000 | #Constraints: 31699
3187.13/3195.60 c #Conflicts: 860000 | #Constraints: 32699
3187.13/3195.60 c #Conflicts: 861000 | #Constraints: 33699
3187.13/3195.60 c #Conflicts: 862000 | #Constraints: 34699
3187.13/3195.60 c #Conflicts: 863000 | #Constraints: 35699
3187.13/3195.60 c #Conflicts: 864000 | #Constraints: 36699
3187.13/3195.60 c #Conflicts: 865000 | #Constraints: 37699
3187.13/3195.60 c INPROCESSING
3187.13/3195.60 c GARBAGE COLLECT
3187.13/3195.60 c rational objective 32
3188.03/3196.56 c GLOBAL bounds - >= 32 @ 3165.88
3188.03/3196.56 c GLOBAL bounds - >= 32 @ 3165.88
3237.02/3245.61 c #Conflicts: 866000 | #Constraints: 20178
3237.02/3245.61 c #Conflicts: 867000 | #Constraints: 21178
3237.02/3245.61 c #Conflicts: 868000 | #Constraints: 22178
3237.02/3245.61 c #Conflicts: 869000 | #Constraints: 23179
3237.02/3245.61 c #Conflicts: 870000 | #Constraints: 24179
3237.02/3245.61 c #Conflicts: 871000 | #Constraints: 25179
3237.02/3245.61 c #Conflicts: 872000 | #Constraints: 26180
3237.02/3245.61 c #Conflicts: 873000 | #Constraints: 27181
3237.02/3245.61 c #Conflicts: 874000 | #Constraints: 28184
3237.02/3245.61 c #Conflicts: 875000 | #Constraints: 29189
3237.02/3245.61 c #Conflicts: 876000 | #Constraints: 30196
3237.02/3245.61 c #Conflicts: 877000 | #Constraints: 31219
3237.02/3245.61 c #Conflicts: 878000 | #Constraints: 32235
3237.02/3245.61 c #Conflicts: 879000 | #Constraints: 33251
3237.02/3245.61 c #Conflicts: 880000 | #Constraints: 34265
3237.02/3245.61 c #Conflicts: 881000 | #Constraints: 35276
3237.02/3245.61 c #Conflicts: 882000 | #Constraints: 36307
3237.02/3245.61 c #Conflicts: 883000 | #Constraints: 37308
3237.02/3245.61 c #Conflicts: 884000 | #Constraints: 38308
3237.02/3245.61 c INPROCESSING
3237.02/3245.61 c GARBAGE COLLECT
3237.02/3245.61 c rational objective 32
3237.42/3246.10 c GLOBAL bounds - >= 32 @ 3214.84
3237.42/3246.10 c GLOBAL bounds - >= 32 @ 3214.84
3304.76/3313.59 c #Conflicts: 885000 | #Constraints: 20615
3304.76/3313.59 c #Conflicts: 886000 | #Constraints: 21621
3304.76/3313.59 c #Conflicts: 887000 | #Constraints: 22623
3304.76/3313.59 c #Conflicts: 888000 | #Constraints: 23624
3304.76/3313.59 c #Conflicts: 889000 | #Constraints: 24626
3304.76/3313.59 c #Conflicts: 890000 | #Constraints: 25627
3304.76/3313.59 c #Conflicts: 891000 | #Constraints: 26631
3304.76/3313.59 c #Conflicts: 892000 | #Constraints: 27644
3304.76/3313.59 c #Conflicts: 893000 | #Constraints: 28665
3304.76/3313.59 c #Conflicts: 894000 | #Constraints: 29677
3304.76/3313.59 c #Conflicts: 895000 | #Constraints: 30678
3304.76/3313.59 c #Conflicts: 896000 | #Constraints: 31695
3304.76/3313.59 c #Conflicts: 897000 | #Constraints: 32709
3304.76/3313.59 c #Conflicts: 898000 | #Constraints: 33709
3304.76/3313.59 c #Conflicts: 899000 | #Constraints: 34718
3304.76/3313.59 c #Conflicts: 900000 | #Constraints: 35741
3304.76/3313.59 c #Conflicts: 901000 | #Constraints: 36765
3304.76/3313.59 c #Conflicts: 902000 | #Constraints: 37774
3304.76/3313.59 c #Conflicts: 903000 | #Constraints: 38775
3304.76/3313.59 c INPROCESSING
3304.76/3313.59 c GARBAGE COLLECT
3304.76/3313.59 c rational objective 32
3305.46/3314.29 c GLOBAL bounds - >= 32 @ 3282.41
3305.46/3314.29 c GLOBAL bounds - >= 32 @ 3282.41
3372.41/3381.31 c #Conflicts: 904000 | #Constraints: 20816
3372.41/3381.31 c #Conflicts: 905000 | #Constraints: 21834
3372.41/3381.31 c #Conflicts: 906000 | #Constraints: 22844
3372.41/3381.31 c #Conflicts: 907000 | #Constraints: 23845
3372.41/3381.31 c #Conflicts: 908000 | #Constraints: 24858
3372.41/3381.31 c #Conflicts: 909000 | #Constraints: 25877
3372.41/3381.31 c #Conflicts: 910000 | #Constraints: 26894
3372.41/3381.31 c #Conflicts: 911000 | #Constraints: 27896
3372.41/3381.31 c #Conflicts: 912000 | #Constraints: 28902
3372.41/3381.31 c #Conflicts: 913000 | #Constraints: 29902
3372.41/3381.31 c #Conflicts: 914000 | #Constraints: 30903
3372.41/3381.31 c #Conflicts: 915000 | #Constraints: 31906
3372.41/3381.31 c #Conflicts: 916000 | #Constraints: 32915
3372.41/3381.31 c #Conflicts: 917000 | #Constraints: 33944
3372.41/3381.31 c #Conflicts: 918000 | #Constraints: 34961
3372.41/3381.31 c #Conflicts: 919000 | #Constraints: 35983
3372.41/3381.31 c #Conflicts: 920000 | #Constraints: 36998
3372.41/3381.31 c #Conflicts: 921000 | #Constraints: 38027
3372.41/3381.31 c #Conflicts: 922000 | #Constraints: 39051
3372.41/3381.31 c INPROCESSING
3372.41/3381.31 c GARBAGE COLLECT
3372.41/3381.31 c rational objective 32
3373.21/3382.18 c GLOBAL bounds - >= 32 @ 3349.53
3373.21/3382.18 c GLOBAL bounds - >= 32 @ 3349.53
3510.36/3519.68 c #Conflicts: 923000 | #Constraints: 20866
3510.36/3519.68 c #Conflicts: 924000 | #Constraints: 21884
3510.36/3519.68 c #Conflicts: 925000 | #Constraints: 22920
3510.36/3519.68 c #Conflicts: 926000 | #Constraints: 23928
3510.36/3519.68 c #Conflicts: 927000 | #Constraints: 24928
3510.36/3519.68 c #Conflicts: 928000 | #Constraints: 25930
3510.36/3519.68 c #Conflicts: 929000 | #Constraints: 26933
3510.36/3519.68 c #Conflicts: 930000 | #Constraints: 27938
3510.36/3519.68 c #Conflicts: 931000 | #Constraints: 28938
3510.36/3519.68 c #Conflicts: 932000 | #Constraints: 29938
3510.36/3519.68 c #Conflicts: 933000 | #Constraints: 30938
3510.36/3519.68 c #Conflicts: 934000 | #Constraints: 31938
3510.36/3519.68 c #Conflicts: 935000 | #Constraints: 32938
3510.36/3519.68 c #Conflicts: 936000 | #Constraints: 33962
3510.36/3519.68 c #Conflicts: 937000 | #Constraints: 34964
3510.36/3519.68 c #Conflicts: 938000 | #Constraints: 35964
3510.36/3519.68 c #Conflicts: 939000 | #Constraints: 36964
3510.36/3519.68 c #Conflicts: 940000 | #Constraints: 37964
3510.36/3519.68 c #Conflicts: 941000 | #Constraints: 38964
3510.36/3519.68 c INPROCESSING
3510.36/3519.68 c GARBAGE COLLECT
3510.36/3519.68 c rational objective 32
3511.05/3520.30 c GLOBAL bounds - >= 32 @ 3486.87
3511.05/3520.30 c GLOBAL bounds - >= 32 @ 3486.87
3600.02/3609.50 c #Conflicts: 942000 | #Constraints: 20617
3600.02/3609.50 c #Conflicts: 943000 | #Constraints: 21617
3600.02/3609.50 c #Conflicts: 944000 | #Constraints: 22618
3600.02/3609.50 c #Conflicts: 945000 | #Constraints: 23618
3600.02/3609.50 c #Conflicts: 946000 | #Constraints: 24618
3600.02/3609.50 c #Conflicts: 947000 | #Constraints: 25618
3600.02/3609.50 c #Conflicts: 948000 | #Constraints: 26618
3600.02/3609.50 c #Conflicts: 949000 | #Constraints: 27637
3600.02/3609.50 c #Conflicts: 950000 | #Constraints: 28637
3600.02/3609.50 c #Conflicts: 951000 | #Constraints: 29638
3600.02/3609.50 c #Conflicts: 952000 | #Constraints: 30640
3600.02/3609.50 c cpu time 3575.61 s
3600.02/3609.50 c deterministic time 759714864870 7.60e+11
3600.02/3609.50 c optimization time 88.7487 s
3600.02/3609.50 c total solve time 3486.84 s
3600.02/3609.50 c core-guided solve time 0 s
3600.02/3609.50 c propagation time 2553.75 s
3600.02/3609.50 c conflict analysis time 728.025 s
3600.02/3609.50 c propagations 115362587
3600.02/3609.50 c resolve steps 3474577
3600.02/3609.50 c decisions 17329950
3600.02/3609.50 c conflicts 952546
3600.02/3609.50 c restarts 2044
3600.02/3609.50 c inprocessing phases 88
3600.02/3609.50 c garbage collections 88 ,( 100.00 )
3600.02/3609.50 c input clauses 366 ,( 45.92 )
3600.02/3609.50 c input cardinalities 367 ,( 46.05 )
3600.02/3609.50 c input general constraints 64 ,( 8.03 )
3600.02/3609.50 c input average constraint length 58.82
3600.02/3609.50 c input average constraint degree 11723.44
3600.02/3609.50 c learned clauses 40999 ,( 4.23 )
3600.02/3609.50 c learned cardinalities 942 ,( 0.10 )
3600.02/3609.50 c learned general constraints 927549 ,( 95.67 )
3600.02/3609.50 c learned average constraint length 3226.70
3600.02/3609.50 c learned average constraint degree 37148381667.50
3600.02/3609.50 c watched CF 32, 64, 128, Arb: 206285 , 0 , 0 , 0
3600.02/3609.50 c counting CF 32, 64, 128, Arb: 721329 , 0 , 0 , 0
3600.02/3609.50 c watched constraints 206285 ,( 22.24 )
3600.02/3609.50 c counting constraints 721328 ,( 77.76 )
3600.02/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 6137856 , 4388738 , 1552951406 ,( 75112942 , 1477838464 )
3600.02/3609.50 c gcd simplifications 15979
3600.02/3609.50 c detected cardinalities 59
3600.02/3609.50 c weakened non-implied lits 559405870
3600.02/3609.50 c weakened non-implying lits 2537239
3600.02/3609.50 c original variables 11744
3600.02/3609.50 c clausal propagations 1380699
3600.02/3609.50 c cardinality propagations 30651497
3600.02/3609.50 c watched propagations 321211
3600.02/3609.50 c counting propagations 74832939
3600.02/3609.50 c watch lookups 71825704368
3600.02/3609.50 c watch backjump lookups 0
3600.02/3609.50 c watch checks 53320097297
3600.02/3609.50 c propagation checks 626396400757
3600.02/3609.50 c constraint additions 7905317125
3600.02/3609.50 c trail pops 133628114
3600.02/3609.50 c formula constraints 797
3600.02/3609.50 c learned constraints 944726
3600.02/3609.50 c bound constraints 0
3600.02/3609.50 c core-guided constraints 0
3600.02/3609.50 c encountered formula constraints 2319303
3600.02/3609.50 c encountered learned constraints 1412082
3600.02/3609.50 c encountered bound constraints 0
3600.02/3609.50 c encountered core-guided constraints 0
3600.02/3609.50 c LP total time 507.352 s
3600.02/3609.50 c LP solve time 388.9 s
3600.02/3609.50 c LP constraints added 1519
3600.02/3609.50 c LP constraints removed 715
3600.02/3609.50 c LP pivots internal 951857
3600.02/3609.50 c LP pivots root 72814
3600.02/3609.50 c LP calls 165278
3600.02/3609.50 c LP optimalities 149018
3600.02/3609.50 c LP no pivot count 54880
3600.02/3609.50 c LP infeasibilities 16252
3600.02/3609.50 c LP valid Farkas constraints 16238
3600.02/3609.50 c LP learned Farkas constraints 7820
3600.02/3609.50 c LP basis resets 17
3600.02/3609.50 c LP cycling count 0
3600.02/3609.50 c LP singular count 3
3600.02/3609.50 c LP no primal count 0
3600.02/3609.50 c LP no farkas count 14
3600.02/3609.50 c LP other issue count 0
3600.02/3609.50 c LP Gomory cuts 706
3600.02/3609.50 c LP learned cuts 16
3600.02/3609.50 c LP deleted cuts 715
3600.02/3609.50 c LP encountered Gomory constraints 6
3600.02/3609.50 c LP encountered Farkas constraints 636003
3600.02/3609.50 c LP encountered learned Farkas constraints 51909
3600.02/3609.50 c CG auxiliary variables introduced 1
3600.02/3609.50 c CG solutions found 0
3600.02/3609.50 c CG cores constructed 0
3600.02/3609.50 c CG core cardinality constraints returned 0
3600.02/3609.50 c CG unit cores 0
3600.02/3609.50 c CG single cores 0
3600.02/3609.50 c CG blocks removed during cardinality reduction 0
3600.02/3609.50 c CG first core best 0
3600.02/3609.50 c CG decision core best 0
3600.02/3609.50 c CG core reduction tie 0
3600.02/3609.50 c CG core degree average 0.00
3600.02/3609.50 c CG core slack average 0.00
3600.02/3609.50 c CG core upper bound improvements 0
3600.02/3609.50 c STR number of successful calls 0
3600.02/3609.50 c STR number of unsuccessful calls 0
3600.02/3609.50 c STR number of inconclusive calls 0
3600.02/3609.50 c STR number of successful attempts 0
3600.02/3609.50 c STR number of unsuccessful attempts 0
3600.02/3609.50 c STR number of inconclusive attempts 0
3600.02/3609.50 c STR average degree increase per successful call inf
3600.02/3609.50 c STR average degree increase per successful attempt inf
3600.02/3609.50 c STR total number of conflicts for successful attempts 0
3600.02/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.50 c STR average number of conflicts per successful attempt inf
3600.02/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.50 c AVG.sumWPerc 59.50
3600.02/3609.50 c bigint constraints 0
3600.02/3609.50 s UNKNOWN
3600.02/3609.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (59991 MiB free)
memory of node 1: 64507 MiB (61055 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509608-1751528793/watcher-4509608-1751528793 -o /tmp/evaluation-result-4509608-1751528793/solver-4509608-1751528793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72983 --watchdog 3760 run-opt.sh HOME/instance-4509608-1751528793.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=73949, runsolver pid=73946
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.21 4.11 4.10 5/268 73951
/proc/meminfo: memFree=123944004/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=76524 memory=26792 CPUtime=0.08 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 4867 0 0 0 7 1 0 0 20 0 1 0 68558847 78360576 6698 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 19131 6698 2400 1147 0 6558 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 80716 KiB
Current children cumulated memory: 29736 KiB
[startup+0.205703 s]*
/proc/loadavg: 4.21 4.11 4.10 5/268 73951
/proc/meminfo: memFree=123944004/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=76524 memory=26792 CPUtime=0.19 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 4868 0 0 0 18 1 0 0 20 0 1 0 68558847 78360576 6698 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 19131 6698 2400 1147 0 6558 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80716 KiB
Current children cumulated memory: 29736 KiB
[startup+0.30557 s]*
/proc/loadavg: 4.21 4.11 4.10 6/268 73951
/proc/meminfo: memFree=123944004/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=76524 memory=26792 CPUtime=0.28 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 4868 0 0 0 27 1 0 0 20 0 1 0 68558847 78360576 6698 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 19131 6698 2400 1147 0 6558 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 80716 KiB
Current children cumulated memory: 29736 KiB
[startup+0.700163 s]
/proc/loadavg: 4.21 4.11 4.10 5/268 73951
/proc/meminfo: memFree=123935248/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=88476 memory=39828 CPUtime=0.67 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 7617 0 0 0 62 5 0 0 20 0 1 0 68558847 90599424 9957 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 22119 9957 2400 1147 0 9546 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 92668 KiB
Current children cumulated memory: 42772 KiB
[startup+1.50014 s]
/proc/loadavg: 4.21 4.11 4.10 5/268 73951
/proc/meminfo: memFree=123912568/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=107332 memory=58784 CPUtime=1.47 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 11816 0 0 0 138 9 0 0 20 0 1 0 68558847 109907968 14696 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 26833 14696 2432 1147 0 14260 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 111524 KiB
Current children cumulated memory: 61728 KiB
[startup+3.10548 s]
/proc/loadavg: 4.21 4.11 4.10 5/268 73951
/proc/meminfo: memFree=123816324/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=190816 memory=140580 CPUtime=3.08 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 28686 0 0 0 294 14 0 0 20 0 1 0 68558847 195395584 35145 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 47704 35145 2432 1147 0 35131 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 195008 KiB
Current children cumulated memory: 143524 KiB
[startup+6.30017 s]
/proc/loadavg: 4.19 4.11 4.10 5/268 73951
/proc/meminfo: memFree=123691404/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=306572 memory=230716 CPUtime=6.26 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 44583 0 0 0 603 23 0 0 20 0 1 0 68558847 313929728 57679 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 76643 57679 2432 1147 0 64070 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 310764 KiB
Current children cumulated memory: 233660 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.11 4.10 6/268 73951
/proc/meminfo: memFree=123551100/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=403184 memory=330432 CPUtime=12.65 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 66455 0 0 0 1232 33 0 0 20 0 1 0 68558847 412860416 82608 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 100796 82608 2432 1147 0 88223 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 407376 KiB
Current children cumulated memory: 333376 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/267 73951
/proc/meminfo: memFree=123372716/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=551416 memory=438924 CPUtime=25.41 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 89407 0 0 0 2486 55 0 0 20 0 1 0 68558847 564649984 109731 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 137854 109731 2432 1147 0 125281 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 555608 KiB
Current children cumulated memory: 441868 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 73952
/proc/meminfo: memFree=122806708/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=859848 memory=743396 CPUtime=50.96 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 161760 0 0 0 5005 91 0 0 20 0 1 0 68558847 880484352 185849 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 214962 185849 2432 1147 0 202389 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 864040 KiB
Current children cumulated memory: 746340 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 73953
/proc/meminfo: memFree=122354716/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=1101052 memory=916632 CPUtime=102.02 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 198410 0 0 0 10063 139 0 0 20 0 1 0 68558847 1127477248 229158 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 275263 229158 2496 1147 0 262690 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1105244 KiB
Current children cumulated memory: 919576 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 73958
/proc/meminfo: memFree=121890708/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=1409744 memory=1247988 CPUtime=161.87 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 268588 0 0 0 15987 200 0 0 20 0 1 0 68558847 1443577856 311997 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 352436 311997 2496 1147 0 339863 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1413936 KiB
Current children cumulated memory: 1250932 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 73960
/proc/meminfo: memFree=121671592/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=1530360 memory=1353972 CPUtime=221.72 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 295066 0 0 0 21907 265 0 0 20 0 1 0 68558847 1567088640 338493 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 382590 338493 2528 1147 0 370017 0
Current children cumulated CPU time: 221.72 s
################
# More data... #
################
[pid=73951] ppid=73949 vsize=6417104 memory=5222092 CPUtime=3094.05 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 1170238 0 0 0 307242 2163 0 0 20 0 1 0 68558847 6571114496 1305523 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 1604276 1305523 2528 1147 0 1591703 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 6421296 KiB
Current children cumulated memory: 5225036 KiB
[startup+3162.3 s]
/proc/loadavg: 2.31 2.91 3.36 3/252 74170
/proc/meminfo: memFree=122008676/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=6418680 memory=5260620 CPUtime=3153.91 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 1179898 0 0 0 313185 2206 0 0 20 0 1 0 68558847 6572728320 1315155 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 1604670 1315155 2528 1147 0 1592097 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 6422872 KiB
Current children cumulated memory: 5263564 KiB
[startup+3222.3 s]
/proc/loadavg: 2.23 2.77 3.28 3/254 74176
/proc/meminfo: memFree=121997612/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=6423468 memory=5265640 CPUtime=3213.77 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 1180992 0 0 0 319120 2257 0 0 20 0 1 0 68558847 6577631232 1316410 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 1605867 1316410 2528 1147 0 1593294 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 6427660 KiB
Current children cumulated memory: 5268584 KiB
[startup+3282.3 s]
/proc/loadavg: 2.15 2.64 3.21 3/254 74178
/proc/meminfo: memFree=122013064/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=6423468 memory=5265640 CPUtime=3273.64 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 1181117 0 0 0 325074 2290 0 0 20 0 1 0 68558847 6577631232 1316410 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 1605867 1316410 2528 1147 0 1593294 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 6427660 KiB
Current children cumulated memory: 5268584 KiB
[startup+3342.3 s]
/proc/loadavg: 2.05 2.52 3.13 3/255 74181
/proc/meminfo: memFree=121997760/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=6444540 memory=5285224 CPUtime=3333.5 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 1186124 0 0 0 331007 2343 0 0 20 0 1 0 68558847 6599208960 1321306 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 1611135 1321306 2528 1147 0 1598562 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 6448732 KiB
Current children cumulated memory: 5288168 KiB
[startup+3402.3 s]
/proc/loadavg: 2.12 2.46 3.06 3/256 74188
/proc/meminfo: memFree=121981340/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=6447964 memory=5306392 CPUtime=3393.36 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 1186976 0 0 0 336950 2386 0 0 20 0 1 0 68558847 6602715136 1326598 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 1611991 1326598 2528 1147 0 1599418 0
Current children cumulated CPU time: 3393.36 s
Current children cumulated vsize: 6452156 KiB
Current children cumulated memory: 5309336 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.39 3.00 3/256 74190
/proc/meminfo: memFree=121969608/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=6447964 memory=5308312 CPUtime=3453.21 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 1187535 0 0 0 342917 2404 0 0 20 0 1 0 68558847 6602715136 1327078 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 1611991 1327078 2528 1147 0 1599418 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 6452156 KiB
Current children cumulated memory: 5311256 KiB
[startup+3522.3 s]
/proc/loadavg: 1.59 2.20 2.90 2/248 74222
/proc/meminfo: memFree=123618224/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=6577356 memory=5422316 CPUtime=3513.05 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 1212146 0 0 0 348885 2420 0 0 20 0 1 0 68558847 6735212544 1355579 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 1644339 1355579 2528 1147 0 1631766 0
Current children cumulated CPU time: 3513.05 s
Current children cumulated vsize: 6581548 KiB
Current children cumulated memory: 5425260 KiB
[startup+3582.3 s]
/proc/loadavg: 1.27 2.00 2.78 2/248 74224
/proc/meminfo: memFree=123619076/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=6577356 memory=5422316 CPUtime=3572.89 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 1212163 0 0 0 354853 2436 0 0 20 0 1 0 68558847 6735212544 1355579 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 1644339 1355579 2528 1147 0 1631766 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 6581548 KiB
Current children cumulated memory: 5425260 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 1.26 1.93 2.74 2/248 74225
/proc/meminfo: memFree=123619372/131249996 swapFree=33010416/33010684
[pid=73949] ppid=73946 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73949/stat : 73949 (run-opt.sh) S 73946 73949 72970 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 68558846 4292608 736 18446744073709551615 94415843794944 94415844689477 140721202664272 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94415844928528 94415844976272 94415866142720 140721202665837 140721202665960 140721202665960 140721202671562 0
/proc/73949/statm: 1048 736 672 219 0 110 0
[pid=73951] ppid=73949 vsize=6577356 memory=5422316 CPUtime=3600.02 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73949 73949 72970 0 -1 4194304 1212214 0 0 0 357561 2441 0 0 20 0 1 0 68558847 6735212544 1355579 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 1644339 1355579 2528 1147 0 1631766 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 6581548 KiB
Current children cumulated memory: 5425260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 73949 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002463 s, system=0 s
[startup+3609.65 s]
# the end of solver process 73951 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3575.62 s, system=24.561 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]*
/proc/loadavg: 1.24 1.92 2.73 2/247 74225
/proc/meminfo: memFree=125636272/131249996 swapFree=33010416/33010684
[pid=73951] ppid=73946 vsize=6172184 memory=3308528 CPUtime=3600.13 cores=5,7
/proc/73951/stat : 73951 (roundingsat) R 73946 73949 72970 0 -1 4194304 1212217 0 0 0 357561 2452 0 0 20 0 1 0 68558847 6320316416 827452 18446744073709551615 4227072 8923433 140733551777328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25743360 140733551782306 140733551782440 140733551782440 140733551788010 0
/proc/73951/statm: 1543046 827132 2560 1147 0 1530473 0
Current cumulated CPU time of completed processes: 0.002463 s
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 6172184 KiB
Current children cumulated memory: 3308528 KiB
Child status: 2
Real time (s): 3609.65
CPU time (s): 3600.18
CPU user time (s): 3575.62
CPU system time (s): 24.561
CPU usage (%): 99.7377
Max. virtual memory (cumulated for all children) (KiB): 6581548
Max. memory (cumulated for all children) (KiB): 5425260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.62
system time used= 24.561
maximum resident set size= 5422444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1212434
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= 359
involuntary context switches= 3612
# summary of solver processes directly reported to runsolver:
# pid: 73949,73951
# total CPU time (s): 3600.18
# total CPU user time (s): 3575.62
# total CPU system time (s): 24.561
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26483 second user time and 16.2059 second system time
The end
Begin job on nodeC030 at 2025-07-03 09:46:33
IDJOB=4509608
IDBENCH=158625
IDSOLVER=3350
FILE ID=nodeC030/4509608-1751528793
RUNJOBID= nodeC030-1751521021-72983
SLURM_JOB_ID= 9598643
Free space on /tmp= 432484 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509608-1751528793/watcher-4509608-1751528793 -o /tmp/evaluation-result-4509608-1751528793/solver-4509608-1751528793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72983 --watchdog 3760 run-opt.sh HOME/instance-4509608-1751528793.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=1298444210
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.829
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.324
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3595.423
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.923
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.958
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 4139.501
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.796
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.288
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 123952144 kB
MemAvailable: 124636148 kB
Buffers: 2564 kB
Cached: 1475740 kB
SwapCached: 16 kB
Active: 5594376 kB
Inactive: 1032208 kB
Active(anon): 5161784 kB
Inactive(anon): 4548 kB
Active(file): 432592 kB
Inactive(file): 1027660 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7560 kB
Writeback: 4 kB
AnonPages: 5151392 kB
Mapped: 117988 kB
Shmem: 18048 kB
KReclaimable: 125584 kB
Slab: 214280 kB
SReclaimable: 125584 kB
SUnreclaim: 88696 kB
KernelStack: 4336 kB
PageTables: 15104 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 6469876 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 794624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432500 MiB
End job on nodeC030 at 2025-07-03 10:46:42