0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.09 c #variables 4060 #constraints 4060
0.00/0.09 c objective is ce32
0.03/0.10 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.03/0.10 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.03/0.10 c GLOBAL bounds - >= 0 @ 0.026391
0.03/0.11 c GLOBAL bounds - >= 0 @ 0.027715
0.03/0.12 c GLOBAL bounds - >= 0 @ 0.041343
0.03/0.13 c GLOBAL bounds - >= 0 @ 0.050826
0.03/0.16 c GLOBAL bounds - >= 0 @ 0.079939
0.13/0.21 c GLOBAL bounds - >= 0 @ 0.122696
0.13/0.28 c GLOBAL bounds - >= 0 @ 0.179308
0.24/0.32 c GLOBAL bounds - >= 0 @ 0.218643
0.24/0.36 c GLOBAL bounds - >= 0 @ 0.256172
0.34/0.44 c GLOBAL bounds - >= 0 @ 0.328123
0.34/0.50 c GLOBAL bounds - >= 0 @ 0.392085
0.53/0.67 c GLOBAL bounds - >= 0 @ 0.55071
0.62/0.79 c GLOBAL bounds - >= 0 @ 0.654307
0.72/0.85 c GLOBAL bounds - >= 0 @ 0.718523
0.82/0.93 c GLOBAL bounds - >= 0 @ 0.794929
0.93/1.07 c GLOBAL bounds - >= 0 @ 0.925328
1.12/1.29 c GLOBAL bounds - >= 0 @ 1.13721
1.32/1.44 c #Conflicts: 1000 | #Constraints: 5090
1.32/1.44 c GLOBAL bounds - >= 0 @ 1.26955
2.32/2.40 c GLOBAL bounds - >= 0 @ 2.19543
2.51/2.65 c GLOBAL bounds - >= 0 @ 2.43397
3.02/3.15 c #Conflicts: 2000 | #Constraints: 6096
3.02/3.15 c INPROCESSING
3.02/3.15 c GARBAGE COLLECT
3.02/3.15 c GLOBAL bounds - >= 0 @ 2.91225
3.71/3.83 c GLOBAL bounds - >= 0 @ 3.58271
3.92/4.09 c GLOBAL bounds - >= 0 @ 3.8371
4.71/4.80 c #Conflicts: 3000 | #Constraints: 6150
4.71/4.80 c GLOBAL bounds - >= 0 @ 4.51902
5.51/5.60 c GLOBAL bounds - >= 0 @ 5.29735
5.91/6.06 c GLOBAL bounds - >= 0 @ 5.74798
7.71/7.84 c #Conflicts: 4000 | #Constraints: 7156
7.71/7.84 c INPROCESSING
7.71/7.84 c GARBAGE COLLECT
7.71/7.84 c GLOBAL bounds - >= 0 @ 7.49112
8.60/8.72 c #Conflicts: 5000 | #Constraints: 6589
8.60/8.72 c GLOBAL bounds - >= 0 @ 8.35566
17.78/17.91 c #Conflicts: 6000 | #Constraints: 7591
17.78/17.91 c INPROCESSING
17.78/17.91 c GARBAGE COLLECT
17.78/17.91 c #Conflicts: 7000 | #Constraints: 6605
17.78/17.91 c #Conflicts: 8000 | #Constraints: 7605
17.78/17.91 c #Conflicts: 9000 | #Constraints: 8605
17.78/17.91 c INPROCESSING
17.78/17.91 c GARBAGE COLLECT
17.78/17.91 c GLOBAL bounds - >= 0 @ 17.4181
18.27/18.43 c GLOBAL bounds - >= 0 @ 17.9337
19.67/19.84 c #Conflicts: 10000 | #Constraints: 7309
19.67/19.84 c GLOBAL bounds - >= 0 @ 19.3202
19.98/20.13 c GLOBAL bounds - >= 0 @ 19.6013
20.27/20.43 c GLOBAL bounds - >= 0 @ 19.8922
20.87/21.01 c #Conflicts: 11000 | #Constraints: 8315
20.87/21.01 c GLOBAL bounds - >= 0 @ 20.4573
21.37/21.54 c GLOBAL bounds - >= 0 @ 20.9325
21.97/22.18 c GLOBAL bounds - >= 0 @ 21.5427
22.67/22.84 c GLOBAL bounds - >= 0 @ 22.0735
23.07/23.25 c GLOBAL bounds - >= 0 @ 22.4712
23.97/24.11 c #Conflicts: 12000 | #Constraints: 9325
23.97/24.11 c INPROCESSING
23.97/24.11 c GARBAGE COLLECT
23.97/24.11 c GLOBAL bounds - >= 0 @ 23.3269
25.06/25.27 c GLOBAL bounds - >= 0 @ 24.4592
26.65/26.84 c #Conflicts: 13000 | #Constraints: 7798
26.65/26.84 c GLOBAL bounds - >= 0 @ 26.0076
30.14/30.30 c #Conflicts: 14000 | #Constraints: 8800
30.14/30.30 c #Conflicts: 15000 | #Constraints: 9800
30.14/30.30 c INPROCESSING
30.14/30.30 c GARBAGE COLLECT
30.14/30.30 c GLOBAL bounds - >= 0 @ 29.411
30.35/30.57 c GLOBAL bounds - >= 0 @ 29.6751
30.74/30.97 c GLOBAL bounds - >= 0 @ 30.0724
31.74/31.96 c #Conflicts: 16000 | #Constraints: 8043
31.74/31.96 c GLOBAL bounds - >= 0 @ 31.0436
36.43/36.67 c #Conflicts: 17000 | #Constraints: 9045
36.43/36.67 c #Conflicts: 18000 | #Constraints: 10045
36.43/36.67 c INPROCESSING
36.43/36.67 c GARBAGE COLLECT
36.43/36.67 c GLOBAL bounds - >= 0 @ 35.7071
38.93/39.18 c #Conflicts: 19000 | #Constraints: 8069
38.93/39.18 c GLOBAL bounds - >= 0 @ 38.1844
64.06/64.35 c #Conflicts: 20000 | #Constraints: 9071
64.06/64.35 c #Conflicts: 21000 | #Constraints: 10071
64.06/64.35 c INPROCESSING
64.06/64.35 c GARBAGE COLLECT
64.06/64.35 c #Conflicts: 22000 | #Constraints: 7869
64.06/64.35 c #Conflicts: 23000 | #Constraints: 8869
64.06/64.35 c #Conflicts: 24000 | #Constraints: 9869
64.06/64.35 c #Conflicts: 25000 | #Constraints: 10869
64.06/64.35 c INPROCESSING
64.06/64.35 c GARBAGE COLLECT
64.06/64.35 c #Conflicts: 26000 | #Constraints: 8470
64.06/64.35 c #Conflicts: 27000 | #Constraints: 9470
64.06/64.35 c #Conflicts: 28000 | #Constraints: 10470
64.06/64.35 c GLOBAL bounds - >= 0 @ 62.9708
69.15/69.41 c #Conflicts: 29000 | #Constraints: 11472
69.15/69.41 c INPROCESSING
69.15/69.41 c GARBAGE COLLECT
69.15/69.41 c #Conflicts: 30000 | #Constraints: 8854
69.15/69.41 c GLOBAL bounds - >= 0 @ 67.9693
69.35/69.66 c #Conflicts: 31000 | #Constraints: 9856
69.35/69.66 c GLOBAL bounds - >= 0 @ 68.2197
69.95/70.25 c GLOBAL bounds - >= 0 @ 68.7955
72.14/72.43 c #Conflicts: 32000 | #Constraints: 10860
72.14/72.43 c GLOBAL bounds - >= 0 @ 70.9478
73.54/73.88 c GLOBAL bounds - >= 0 @ 72.3597
74.93/75.28 c #Conflicts: 33000 | #Constraints: 11864
74.93/75.28 c INPROCESSING
74.93/75.28 c GARBAGE COLLECT
74.93/75.28 c GLOBAL bounds - >= 0 @ 73.7275
75.23/75.59 c GLOBAL bounds - >= 0 @ 74.0258
75.73/76.01 c GLOBAL bounds - >= 0 @ 74.4357
76.03/76.35 c GLOBAL bounds - >= 0 @ 74.7782
87.51/87.83 c #Conflicts: 34000 | #Constraints: 9081
87.51/87.83 c #Conflicts: 35000 | #Constraints: 10081
87.51/87.83 c #Conflicts: 36000 | #Constraints: 11081
87.51/87.83 c #Conflicts: 37000 | #Constraints: 12081
87.51/87.83 c INPROCESSING
87.51/87.83 c GARBAGE COLLECT
87.51/87.83 c #Conflicts: 38000 | #Constraints: 9099
87.51/87.83 c #Conflicts: 39000 | #Constraints: 10099
87.51/87.83 c GLOBAL bounds - >= 0 @ 86.101
103.26/103.68 c #Conflicts: 40000 | #Constraints: 11101
103.26/103.68 c #Conflicts: 41000 | #Constraints: 12101
103.26/103.68 c INPROCESSING
103.26/103.68 c GARBAGE COLLECT
103.26/103.68 c #Conflicts: 42000 | #Constraints: 8906
103.26/103.68 c #Conflicts: 43000 | #Constraints: 9906
103.26/103.68 c #Conflicts: 44000 | #Constraints: 10906
103.26/103.68 c #Conflicts: 45000 | #Constraints: 11906
103.26/103.68 c #Conflicts: 46000 | #Constraints: 12906
103.26/103.68 c INPROCESSING
103.26/103.68 c GARBAGE COLLECT
103.26/103.68 c GLOBAL bounds - >= 0 @ 101.731
103.96/104.30 c GLOBAL bounds - >= 0 @ 102.342
104.36/104.72 c GLOBAL bounds - >= 0 @ 102.748
104.76/105.16 c GLOBAL bounds - >= 0 @ 103.181
105.85/106.28 c #Conflicts: 47000 | #Constraints: 9517
105.85/106.28 c GLOBAL bounds - >= 0 @ 104.285
110.14/110.52 c #Conflicts: 48000 | #Constraints: 10519
110.14/110.52 c GLOBAL bounds - >= 0 @ 108.47
110.65/111.02 c #Conflicts: 49000 | #Constraints: 11521
110.65/111.02 c GLOBAL bounds - >= 0 @ 108.962
111.34/111.77 c GLOBAL bounds - >= 0 @ 109.704
113.83/114.27 c #Conflicts: 50000 | #Constraints: 12525
113.83/114.27 c GLOBAL bounds - >= 0 @ 112.159
114.54/114.90 c GLOBAL bounds - >= 0 @ 112.775
116.33/116.79 c #Conflicts: 51000 | #Constraints: 13529
116.33/116.79 c INPROCESSING
116.33/116.79 c GARBAGE COLLECT
116.33/116.79 c GLOBAL bounds - >= 0 @ 114.635
120.72/121.14 c #Conflicts: 52000 | #Constraints: 9946
120.72/121.14 c #Conflicts: 53000 | #Constraints: 10946
120.72/121.14 c GLOBAL bounds - >= 0 @ 118.923
121.21/121.66 c GLOBAL bounds - >= 0 @ 119.441
122.71/123.14 c #Conflicts: 54000 | #Constraints: 11950
122.71/123.14 c GLOBAL bounds - >= 0 @ 120.893
133.38/133.88 c #Conflicts: 55000 | #Constraints: 12952
133.38/133.88 c #Conflicts: 56000 | #Constraints: 13952
133.38/133.88 c INPROCESSING
133.38/133.88 c GARBAGE COLLECT
133.38/133.88 c #Conflicts: 57000 | #Constraints: 10152
133.38/133.88 c GLOBAL bounds - >= 0 @ 131.448
137.07/137.53 c #Conflicts: 58000 | #Constraints: 11154
137.07/137.53 c #Conflicts: 59000 | #Constraints: 12154
137.07/137.53 c GLOBAL bounds - >= 0 @ 135.04
169.69/170.21 c #Conflicts: 60000 | #Constraints: 13156
169.69/170.21 c #Conflicts: 61000 | #Constraints: 14156
169.69/170.21 c INPROCESSING
169.69/170.21 c GARBAGE COLLECT
169.69/170.21 c #Conflicts: 62000 | #Constraints: 10151
169.69/170.21 c #Conflicts: 63000 | #Constraints: 11151
169.69/170.21 c #Conflicts: 64000 | #Constraints: 12151
169.69/170.21 c #Conflicts: 65000 | #Constraints: 13151
169.69/170.21 c #Conflicts: 66000 | #Constraints: 14151
169.69/170.21 c INPROCESSING
169.69/170.21 c GARBAGE COLLECT
169.69/170.21 c #Conflicts: 67000 | #Constraints: 9942
169.69/170.21 c #Conflicts: 68000 | #Constraints: 10942
169.69/170.21 c #Conflicts: 69000 | #Constraints: 11942
169.69/170.21 c #Conflicts: 70000 | #Constraints: 12942
169.69/170.21 c #Conflicts: 71000 | #Constraints: 13942
169.69/170.21 c GLOBAL bounds - >= 0 @ 167.247
172.38/172.99 c #Conflicts: 72000 | #Constraints: 14944
172.38/172.99 c INPROCESSING
172.38/172.99 c GARBAGE COLLECT
172.38/172.99 c GLOBAL bounds - >= 0 @ 170.003
176.77/177.34 c #Conflicts: 73000 | #Constraints: 10532
176.77/177.34 c #Conflicts: 74000 | #Constraints: 11532
176.77/177.34 c GLOBAL bounds - >= 0 @ 174.255
181.26/181.85 c #Conflicts: 75000 | #Constraints: 12534
181.26/181.85 c #Conflicts: 76000 | #Constraints: 13534
181.26/181.85 c GLOBAL bounds - >= 0 @ 178.686
181.86/182.42 c GLOBAL bounds - >= 0 @ 179.249
182.35/182.98 c GLOBAL bounds - >= 0 @ 179.801
194.63/195.29 c #Conflicts: 77000 | #Constraints: 14540
194.63/195.29 c #Conflicts: 78000 | #Constraints: 15540
194.63/195.29 c INPROCESSING
194.63/195.29 c GARBAGE COLLECT
194.63/195.29 c #Conflicts: 79000 | #Constraints: 10955
194.63/195.29 c #Conflicts: 80000 | #Constraints: 11955
194.63/195.29 c #Conflicts: 81000 | #Constraints: 12955
194.63/195.29 c GLOBAL bounds - >= 0 @ 191.896
208.79/209.44 c #Conflicts: 82000 | #Constraints: 13957
208.79/209.44 c #Conflicts: 83000 | #Constraints: 14957
208.79/209.44 c #Conflicts: 84000 | #Constraints: 15957
208.79/209.44 c INPROCESSING
208.79/209.44 c GARBAGE COLLECT
208.79/209.44 c #Conflicts: 85000 | #Constraints: 11165
208.79/209.44 c #Conflicts: 86000 | #Constraints: 12165
208.79/209.44 c GLOBAL bounds - >= 0 @ 205.851
211.49/212.18 c #Conflicts: 87000 | #Constraints: 13167
211.49/212.18 c GLOBAL bounds - >= 0 @ 208.553
225.64/226.37 c #Conflicts: 88000 | #Constraints: 14169
225.64/226.37 c #Conflicts: 89000 | #Constraints: 15169
225.64/226.37 c #Conflicts: 90000 | #Constraints: 16169
225.64/226.37 c INPROCESSING
225.64/226.37 c GARBAGE COLLECT
225.64/226.37 c #Conflicts: 91000 | #Constraints: 11161
225.64/226.37 c #Conflicts: 92000 | #Constraints: 12161
225.64/226.37 c #Conflicts: 93000 | #Constraints: 13161
225.64/226.37 c GLOBAL bounds - >= 0 @ 222.511
226.14/226.83 c #Conflicts: 94000 | #Constraints: 14163
226.14/226.83 c GLOBAL bounds - >= 0 @ 222.961
226.93/227.69 c GLOBAL bounds - >= 0 @ 223.806
227.73/228.40 c #Conflicts: 95000 | #Constraints: 15167
227.73/228.40 c GLOBAL bounds - >= 0 @ 224.515
229.23/229.91 c GLOBAL bounds - >= 0 @ 226.008
229.63/230.39 c #Conflicts: 96000 | #Constraints: 16171
229.63/230.39 c GLOBAL bounds - >= 0 @ 226.486
234.11/234.85 c INPROCESSING
234.11/234.85 c GARBAGE COLLECT
234.11/234.85 c #Conflicts: 97000 | #Constraints: 10989
234.11/234.85 c #Conflicts: 98000 | #Constraints: 11989
234.11/234.85 c GLOBAL bounds - >= 0 @ 230.888
234.62/235.30 c GLOBAL bounds - >= 0 @ 231.336
246.89/247.64 c #Conflicts: 99000 | #Constraints: 12993
246.89/247.64 c #Conflicts: 100000 | #Constraints: 13993
246.89/247.64 c #Conflicts: 101000 | #Constraints: 14993
246.89/247.64 c #Conflicts: 102000 | #Constraints: 15993
246.89/247.64 c #Conflicts: 103000 | #Constraints: 16993
246.89/247.64 c INPROCESSING
246.89/247.64 c GARBAGE COLLECT
246.89/247.64 c GLOBAL bounds - >= 0 @ 243.546
262.35/263.12 c #Conflicts: 104000 | #Constraints: 11608
262.35/263.12 c #Conflicts: 105000 | #Constraints: 12608
262.35/263.12 c #Conflicts: 106000 | #Constraints: 13608
262.35/263.12 c #Conflicts: 107000 | #Constraints: 14608
262.35/263.12 c #Conflicts: 108000 | #Constraints: 15608
262.35/263.12 c GLOBAL bounds - >= 0 @ 258.819
267.03/267.83 c #Conflicts: 109000 | #Constraints: 16610
267.03/267.83 c GLOBAL bounds - >= 0 @ 263.461
271.62/272.46 c #Conflicts: 110000 | #Constraints: 17612
271.62/272.46 c INPROCESSING
271.62/272.46 c GARBAGE COLLECT
271.62/272.46 c #Conflicts: 111000 | #Constraints: 11977
271.62/272.46 c GLOBAL bounds - >= 0 @ 268.035
272.12/272.94 c #Conflicts: 112000 | #Constraints: 12979
272.12/272.94 c GLOBAL bounds - >= 0 @ 268.509
273.22/274.05 c GLOBAL bounds - >= 0 @ 269.612
274.22/275.01 c GLOBAL bounds - >= 0 @ 270.555
277.21/278.01 c #Conflicts: 113000 | #Constraints: 13985
277.21/278.01 c #Conflicts: 114000 | #Constraints: 14985
277.21/278.01 c GLOBAL bounds - >= 0 @ 273.494
284.59/285.40 c #Conflicts: 115000 | #Constraints: 15987
284.59/285.40 c #Conflicts: 116000 | #Constraints: 16987
284.59/285.40 c GLOBAL bounds - >= 0 @ 280.731
285.19/286.08 c GLOBAL bounds - >= 0 @ 281.404
288.08/288.97 c #Conflicts: 117000 | #Constraints: 17991
288.08/288.97 c INPROCESSING
288.08/288.97 c GARBAGE COLLECT
288.08/288.97 c GLOBAL bounds - >= 0 @ 284.264
307.63/308.52 c #Conflicts: 118000 | #Constraints: 12197
307.63/308.52 c #Conflicts: 119000 | #Constraints: 13197
307.63/308.52 c #Conflicts: 120000 | #Constraints: 14197
307.63/308.52 c #Conflicts: 121000 | #Constraints: 15197
307.63/308.52 c #Conflicts: 122000 | #Constraints: 16197
307.63/308.52 c #Conflicts: 123000 | #Constraints: 17197
307.63/308.52 c GLOBAL bounds - >= 0 @ 303.593
313.32/314.21 c #Conflicts: 124000 | #Constraints: 18199
313.32/314.21 c INPROCESSING
313.32/314.21 c GARBAGE COLLECT
313.32/314.21 c GLOBAL bounds - >= 0 @ 309.21
320.69/321.70 c #Conflicts: 125000 | #Constraints: 12211
320.69/321.70 c #Conflicts: 126000 | #Constraints: 13211
320.69/321.70 c #Conflicts: 127000 | #Constraints: 14211
320.69/321.70 c GLOBAL bounds - >= 0 @ 316.581
332.56/333.50 c #Conflicts: 128000 | #Constraints: 15213
332.56/333.50 c #Conflicts: 129000 | #Constraints: 16213
332.56/333.50 c #Conflicts: 130000 | #Constraints: 17213
332.56/333.50 c #Conflicts: 131000 | #Constraints: 18213
332.56/333.50 c GLOBAL bounds - >= 0 @ 328.176
344.42/345.49 c INPROCESSING
344.42/345.49 c GARBAGE COLLECT
344.42/345.49 c #Conflicts: 132000 | #Constraints: 11991
344.42/345.49 c #Conflicts: 133000 | #Constraints: 12991
344.42/345.49 c #Conflicts: 134000 | #Constraints: 13991
344.42/345.49 c #Conflicts: 135000 | #Constraints: 14991
344.42/345.49 c GLOBAL bounds - >= 0 @ 339.965
346.13/347.15 c GLOBAL bounds - >= 0 @ 341.602
351.51/352.54 c #Conflicts: 136000 | #Constraints: 15995
351.51/352.54 c #Conflicts: 137000 | #Constraints: 16995
351.51/352.54 c GLOBAL bounds - >= 0 @ 346.931
353.51/354.52 c GLOBAL bounds - >= 0 @ 348.884
357.70/358.72 c #Conflicts: 138000 | #Constraints: 17999
357.70/358.72 c #Conflicts: 139000 | #Constraints: 18999
357.70/358.72 c INPROCESSING
357.70/358.72 c GARBAGE COLLECT
357.70/358.72 c GLOBAL bounds - >= 0 @ 353.048
358.39/359.40 c #Conflicts: 140000 | #Constraints: 12602
358.39/359.40 c GLOBAL bounds - >= 0 @ 353.705
360.19/361.20 c #Conflicts: 141000 | #Constraints: 13604
360.19/361.20 c GLOBAL bounds - >= 0 @ 355.473
382.13/383.23 c #Conflicts: 142000 | #Constraints: 14606
382.13/383.23 c #Conflicts: 143000 | #Constraints: 15606
382.13/383.23 c #Conflicts: 144000 | #Constraints: 16606
382.13/383.23 c #Conflicts: 145000 | #Constraints: 17606
382.13/383.23 c #Conflicts: 146000 | #Constraints: 18606
382.13/383.23 c #Conflicts: 147000 | #Constraints: 19606
382.13/383.23 c INPROCESSING
382.13/383.23 c GARBAGE COLLECT
382.13/383.23 c GLOBAL bounds - >= 0 @ 377.295
388.51/389.68 c #Conflicts: 148000 | #Constraints: 13030
388.51/389.68 c #Conflicts: 149000 | #Constraints: 14030
388.51/389.68 c #Conflicts: 150000 | #Constraints: 15030
388.51/389.68 c GLOBAL bounds - >= 0 @ 383.671
394.10/395.28 c #Conflicts: 151000 | #Constraints: 16032
394.10/395.28 c #Conflicts: 152000 | #Constraints: 17032
394.10/395.28 c GLOBAL bounds - >= 0 @ 389.186
394.91/396.04 c GLOBAL bounds - >= 0 @ 389.943
396.79/397.99 c #Conflicts: 153000 | #Constraints: 18036
396.79/397.99 c GLOBAL bounds - >= 0 @ 391.857
397.90/399.06 c GLOBAL bounds - >= 0 @ 392.913
398.69/399.83 c GLOBAL bounds - >= 0 @ 393.664
402.07/403.24 c #Conflicts: 154000 | #Constraints: 19042
402.07/403.24 c GLOBAL bounds - >= 0 @ 397.028
403.28/404.48 c GLOBAL bounds - >= 0 @ 398.255
406.66/407.87 c #Conflicts: 155000 | #Constraints: 20046
406.66/407.87 c INPROCESSING
406.66/407.87 c GARBAGE COLLECT
406.66/407.87 c GLOBAL bounds - >= 0 @ 401.613
412.35/413.56 c #Conflicts: 156000 | #Constraints: 13247
412.35/413.56 c #Conflicts: 157000 | #Constraints: 14247
412.35/413.56 c GLOBAL bounds - >= 0 @ 407.237
415.05/416.25 c #Conflicts: 158000 | #Constraints: 15249
415.05/416.25 c GLOBAL bounds - >= 0 @ 409.891
416.04/417.29 c GLOBAL bounds - >= 0 @ 410.921
422.43/423.62 c #Conflicts: 159000 | #Constraints: 16253
422.43/423.62 c #Conflicts: 160000 | #Constraints: 17253
422.43/423.62 c GLOBAL bounds - >= 0 @ 417.151
428.11/429.30 c #Conflicts: 161000 | #Constraints: 18255
428.11/429.30 c #Conflicts: 162000 | #Constraints: 19255
428.11/429.30 c GLOBAL bounds - >= 0 @ 422.744
429.91/431.18 c #Conflicts: 163000 | #Constraints: 20257
429.91/431.18 c GLOBAL bounds - >= 0 @ 424.613
448.25/449.53 c INPROCESSING
448.25/449.53 c GARBAGE COLLECT
448.25/449.53 c #Conflicts: 164000 | #Constraints: 13243
448.25/449.53 c #Conflicts: 165000 | #Constraints: 14243
448.25/449.53 c #Conflicts: 166000 | #Constraints: 15243
448.25/449.53 c #Conflicts: 167000 | #Constraints: 16243
448.25/449.53 c #Conflicts: 168000 | #Constraints: 17243
448.25/449.53 c #Conflicts: 169000 | #Constraints: 18243
448.25/449.53 c GLOBAL bounds - >= 0 @ 442.685
485.36/486.72 c #Conflicts: 170000 | #Constraints: 19245
485.36/486.72 c #Conflicts: 171000 | #Constraints: 20245
485.36/486.72 c INPROCESSING
485.36/486.72 c GARBAGE COLLECT
485.36/486.72 c #Conflicts: 172000 | #Constraints: 13051
485.36/486.72 c #Conflicts: 173000 | #Constraints: 14051
485.36/486.72 c #Conflicts: 174000 | #Constraints: 15051
485.36/486.72 c #Conflicts: 175000 | #Constraints: 16051
485.36/486.72 c #Conflicts: 176000 | #Constraints: 17051
485.36/486.72 c #Conflicts: 177000 | #Constraints: 18051
485.36/486.72 c #Conflicts: 178000 | #Constraints: 19051
485.36/486.72 c #Conflicts: 179000 | #Constraints: 20051
485.36/486.72 c GLOBAL bounds - >= 0 @ 479.391
497.13/498.59 c #Conflicts: 180000 | #Constraints: 21053
497.13/498.59 c INPROCESSING
497.13/498.59 c GARBAGE COLLECT
497.13/498.59 c #Conflicts: 181000 | #Constraints: 13649
497.13/498.59 c #Conflicts: 182000 | #Constraints: 14649
497.13/498.59 c GLOBAL bounds - >= 0 @ 491.091
497.93/499.33 c #Conflicts: 183000 | #Constraints: 15651
497.93/499.33 c GLOBAL bounds - >= 0 @ 491.825
498.32/499.75 c GLOBAL bounds - >= 0 @ 492.245
503.11/504.51 c #Conflicts: 184000 | #Constraints: 16655
503.11/504.51 c GLOBAL bounds - >= 0 @ 496.927
508.99/510.41 c #Conflicts: 185000 | #Constraints: 17657
508.99/510.41 c #Conflicts: 186000 | #Constraints: 18657
508.99/510.41 c #Conflicts: 187000 | #Constraints: 19657
508.99/510.41 c #Conflicts: 188000 | #Constraints: 20657
508.99/510.41 c GLOBAL bounds - >= 0 @ 502.757
509.50/511.00 c GLOBAL bounds - >= 0 @ 503.342
539.12/540.62 c #Conflicts: 189000 | #Constraints: 21661
539.12/540.62 c INPROCESSING
539.12/540.62 c GARBAGE COLLECT
539.12/540.62 c #Conflicts: 190000 | #Constraints: 14050
539.12/540.62 c #Conflicts: 191000 | #Constraints: 15050
539.12/540.62 c #Conflicts: 192000 | #Constraints: 16050
539.12/540.62 c #Conflicts: 193000 | #Constraints: 17050
539.12/540.62 c #Conflicts: 194000 | #Constraints: 18050
539.12/540.62 c #Conflicts: 195000 | #Constraints: 19050
539.12/540.62 c #Conflicts: 196000 | #Constraints: 20050
539.12/540.62 c #Conflicts: 197000 | #Constraints: 21050
539.12/540.62 c #Conflicts: 198000 | #Constraints: 22050
539.12/540.62 c INPROCESSING
539.12/540.62 c GARBAGE COLLECT
539.12/540.62 c GLOBAL bounds - >= 0 @ 532.66
564.15/565.72 c #Conflicts: 199000 | #Constraints: 14251
564.15/565.72 c #Conflicts: 200000 | #Constraints: 15251
564.15/565.72 c #Conflicts: 201000 | #Constraints: 16251
564.15/565.72 c #Conflicts: 202000 | #Constraints: 17251
564.15/565.72 c #Conflicts: 203000 | #Constraints: 18251
564.15/565.72 c #Conflicts: 204000 | #Constraints: 19251
564.15/565.72 c #Conflicts: 205000 | #Constraints: 20251
564.15/565.72 c #Conflicts: 206000 | #Constraints: 21251
564.15/565.72 c GLOBAL bounds - >= 0 @ 557.495
564.55/566.19 c GLOBAL bounds - >= 0 @ 557.963
565.15/566.70 c GLOBAL bounds - >= 0 @ 558.471
565.55/567.15 c GLOBAL bounds - >= 0 @ 558.909
568.73/570.35 c #Conflicts: 207000 | #Constraints: 22259
568.73/570.35 c INPROCESSING
568.73/570.35 c GARBAGE COLLECT
568.73/570.35 c GLOBAL bounds - >= 0 @ 562.085
577.52/579.18 c #Conflicts: 208000 | #Constraints: 14264
577.52/579.18 c #Conflicts: 209000 | #Constraints: 15264
577.52/579.18 c #Conflicts: 210000 | #Constraints: 16264
577.52/579.18 c #Conflicts: 211000 | #Constraints: 17264
577.52/579.18 c GLOBAL bounds - >= 0 @ 570.827
595.17/596.85 c #Conflicts: 212000 | #Constraints: 18266
595.17/596.85 c #Conflicts: 213000 | #Constraints: 19266
595.17/596.85 c #Conflicts: 214000 | #Constraints: 20266
595.17/596.85 c #Conflicts: 215000 | #Constraints: 21266
595.17/596.85 c #Conflicts: 216000 | #Constraints: 22266
595.17/596.85 c INPROCESSING
595.17/596.85 c GARBAGE COLLECT
595.17/596.85 c #Conflicts: 217000 | #Constraints: 14072
595.17/596.85 c GLOBAL bounds - >= 0 @ 588.315
623.30/625.07 c #Conflicts: 218000 | #Constraints: 15074
623.30/625.07 c #Conflicts: 219000 | #Constraints: 16074
623.30/625.07 c #Conflicts: 220000 | #Constraints: 17074
623.30/625.07 c #Conflicts: 221000 | #Constraints: 18074
623.30/625.07 c #Conflicts: 222000 | #Constraints: 19074
623.30/625.07 c #Conflicts: 223000 | #Constraints: 20074
623.30/625.07 c #Conflicts: 224000 | #Constraints: 21074
623.30/625.07 c #Conflicts: 225000 | #Constraints: 22074
623.30/625.07 c #Conflicts: 226000 | #Constraints: 23074
623.30/625.07 c INPROCESSING
623.30/625.07 c GARBAGE COLLECT
623.30/625.07 c GLOBAL bounds - >= 0 @ 616.232
646.24/648.00 c #Conflicts: 227000 | #Constraints: 14687
646.24/648.00 c #Conflicts: 228000 | #Constraints: 15687
646.24/648.00 c #Conflicts: 229000 | #Constraints: 16687
646.24/648.00 c #Conflicts: 230000 | #Constraints: 17687
646.24/648.00 c #Conflicts: 231000 | #Constraints: 18687
646.24/648.00 c #Conflicts: 232000 | #Constraints: 19687
646.24/648.00 c #Conflicts: 233000 | #Constraints: 20687
646.24/648.00 c #Conflicts: 234000 | #Constraints: 21687
646.24/648.00 c GLOBAL bounds - >= 0 @ 638.855
652.81/654.60 c #Conflicts: 235000 | #Constraints: 22689
652.81/654.60 c #Conflicts: 236000 | #Constraints: 23689
652.81/654.60 c INPROCESSING
652.81/654.60 c GARBAGE COLLECT
652.81/654.60 c GLOBAL bounds - >= 0 @ 645.391
655.31/657.18 c GLOBAL bounds - >= 0 @ 647.92
662.59/664.41 c #Conflicts: 237000 | #Constraints: 15101
662.59/664.41 c #Conflicts: 238000 | #Constraints: 16101
662.59/664.41 c #Conflicts: 239000 | #Constraints: 17101
662.59/664.41 c GLOBAL bounds - >= 0 @ 655.072
677.95/679.87 c #Conflicts: 240000 | #Constraints: 18103
677.95/679.87 c #Conflicts: 241000 | #Constraints: 19103
677.95/679.87 c #Conflicts: 242000 | #Constraints: 20103
677.95/679.87 c #Conflicts: 243000 | #Constraints: 21103
677.95/679.87 c GLOBAL bounds - >= 0 @ 670.398
687.13/689.10 c #Conflicts: 244000 | #Constraints: 22105
687.13/689.10 c #Conflicts: 245000 | #Constraints: 23105
687.13/689.10 c GLOBAL bounds - >= 0 @ 679.52
701.98/703.97 c #Conflicts: 246000 | #Constraints: 24107
701.98/703.97 c INPROCESSING
701.98/703.97 c GARBAGE COLLECT
701.98/703.97 c #Conflicts: 247000 | #Constraints: 15306
701.98/703.97 c #Conflicts: 248000 | #Constraints: 16306
701.98/703.97 c #Conflicts: 249000 | #Constraints: 17306
701.98/703.97 c GLOBAL bounds - >= 0 @ 694.225
708.77/710.71 c #Conflicts: 250000 | #Constraints: 18308
708.77/710.71 c #Conflicts: 251000 | #Constraints: 19308
708.77/710.71 c #Conflicts: 252000 | #Constraints: 20308
708.77/710.71 c GLOBAL bounds - >= 0 @ 700.879
712.36/714.31 c #Conflicts: 253000 | #Constraints: 21310
712.36/714.31 c GLOBAL bounds - >= 0 @ 704.435
715.35/717.33 c #Conflicts: 254000 | #Constraints: 22312
715.35/717.33 c GLOBAL bounds - >= 0 @ 707.424
717.15/719.12 c #Conflicts: 255000 | #Constraints: 23314
717.15/719.12 c GLOBAL bounds - >= 0 @ 709.198
723.23/725.20 c #Conflicts: 256000 | #Constraints: 24316
723.23/725.20 c INPROCESSING
723.23/725.20 c GARBAGE COLLECT
723.23/725.20 c GLOBAL bounds - >= 0 @ 715.222
726.73/728.78 c #Conflicts: 257000 | #Constraints: 15306
726.73/728.78 c GLOBAL bounds - >= 0 @ 718.754
727.53/729.57 c GLOBAL bounds - >= 0 @ 719.541
729.22/731.25 c #Conflicts: 258000 | #Constraints: 16310
729.22/731.25 c GLOBAL bounds - >= 0 @ 721.198
734.71/736.79 c #Conflicts: 259000 | #Constraints: 17312
734.71/736.79 c #Conflicts: 260000 | #Constraints: 18312
734.71/736.79 c GLOBAL bounds - >= 0 @ 726.685
736.41/738.40 c GLOBAL bounds - >= 0 @ 728.274
740.49/742.59 c #Conflicts: 261000 | #Constraints: 19316
740.49/742.59 c GLOBAL bounds - >= 0 @ 732.41
741.39/743.45 c #Conflicts: 262000 | #Constraints: 20318
741.39/743.45 c GLOBAL bounds - >= 0 @ 733.258
746.58/748.65 c #Conflicts: 263000 | #Constraints: 21320
746.58/748.65 c GLOBAL bounds - >= 0 @ 738.412
750.27/752.36 c #Conflicts: 264000 | #Constraints: 22322
750.27/752.36 c GLOBAL bounds - >= 0 @ 742.105
751.27/753.35 c GLOBAL bounds - >= 0 @ 743.088
752.16/754.25 c GLOBAL bounds - >= 0 @ 743.976
778.90/781.04 c #Conflicts: 265000 | #Constraints: 23328
778.90/781.04 c #Conflicts: 266000 | #Constraints: 24328
778.90/781.04 c INPROCESSING
778.90/781.04 c GARBAGE COLLECT
778.90/781.04 c #Conflicts: 267000 | #Constraints: 15138
778.90/781.04 c #Conflicts: 268000 | #Constraints: 16138
778.90/781.04 c #Conflicts: 269000 | #Constraints: 17138
778.90/781.04 c #Conflicts: 270000 | #Constraints: 18138
778.90/781.04 c #Conflicts: 271000 | #Constraints: 19138
778.90/781.04 c #Conflicts: 272000 | #Constraints: 20138
778.90/781.04 c GLOBAL bounds - >= 0 @ 770.421
801.63/803.88 c #Conflicts: 273000 | #Constraints: 21140
801.63/803.88 c #Conflicts: 274000 | #Constraints: 22140
801.63/803.88 c #Conflicts: 275000 | #Constraints: 23140
801.63/803.88 c #Conflicts: 276000 | #Constraints: 24140
801.63/803.88 c #Conflicts: 277000 | #Constraints: 25140
801.63/803.88 c INPROCESSING
801.63/803.88 c GARBAGE COLLECT
801.63/803.88 c #Conflicts: 278000 | #Constraints: 15736
801.63/803.88 c #Conflicts: 279000 | #Constraints: 16736
801.63/803.88 c GLOBAL bounds - >= 0 @ 792.988
808.62/810.86 c #Conflicts: 280000 | #Constraints: 17738
808.62/810.86 c #Conflicts: 281000 | #Constraints: 18738
808.62/810.86 c GLOBAL bounds - >= 0 @ 799.889
817.60/819.88 c #Conflicts: 282000 | #Constraints: 19740
817.60/819.88 c #Conflicts: 283000 | #Constraints: 20740
817.60/819.88 c GLOBAL bounds - >= 0 @ 808.809
819.89/822.14 c #Conflicts: 284000 | #Constraints: 21742
819.89/822.14 c GLOBAL bounds - >= 0 @ 811.046
826.97/829.22 c #Conflicts: 285000 | #Constraints: 22744
826.97/829.22 c #Conflicts: 286000 | #Constraints: 23744
826.97/829.22 c GLOBAL bounds - >= 0 @ 818.054
868.26/870.63 c #Conflicts: 287000 | #Constraints: 24746
868.26/870.63 c #Conflicts: 288000 | #Constraints: 25746
868.26/870.63 c INPROCESSING
868.26/870.63 c GARBAGE COLLECT
868.26/870.63 c #Conflicts: 289000 | #Constraints: 16153
868.26/870.63 c #Conflicts: 290000 | #Constraints: 17153
868.26/870.63 c #Conflicts: 291000 | #Constraints: 18153
868.26/870.63 c #Conflicts: 292000 | #Constraints: 19153
868.26/870.63 c #Conflicts: 293000 | #Constraints: 20153
868.26/870.63 c #Conflicts: 294000 | #Constraints: 21153
868.26/870.63 c #Conflicts: 295000 | #Constraints: 22153
868.26/870.63 c #Conflicts: 296000 | #Constraints: 23153
868.26/870.63 c #Conflicts: 297000 | #Constraints: 24153
868.26/870.63 c #Conflicts: 298000 | #Constraints: 25153
868.26/870.63 c GLOBAL bounds - >= 0 @ 858.965
883.44/885.85 c #Conflicts: 299000 | #Constraints: 26155
883.44/885.85 c INPROCESSING
883.44/885.85 c GARBAGE COLLECT
883.44/885.85 c #Conflicts: 300000 | #Constraints: 16360
883.44/885.85 c #Conflicts: 301000 | #Constraints: 17360
883.44/885.85 c GLOBAL bounds - >= 0 @ 873.975
885.13/887.56 c #Conflicts: 302000 | #Constraints: 18362
885.13/887.56 c GLOBAL bounds - >= 0 @ 875.66
919.84/922.31 c #Conflicts: 303000 | #Constraints: 19364
919.84/922.31 c #Conflicts: 304000 | #Constraints: 20364
919.84/922.31 c #Conflicts: 305000 | #Constraints: 21364
919.84/922.31 c #Conflicts: 306000 | #Constraints: 22364
919.84/922.31 c #Conflicts: 307000 | #Constraints: 23364
919.84/922.31 c #Conflicts: 308000 | #Constraints: 24364
919.84/922.31 c #Conflicts: 309000 | #Constraints: 25364
919.84/922.31 c #Conflicts: 310000 | #Constraints: 26364
919.84/922.31 c INPROCESSING
919.84/922.31 c GARBAGE COLLECT
919.84/922.31 c GLOBAL bounds - >= 0 @ 909.987
924.64/927.13 c #Conflicts: 311000 | #Constraints: 16357
924.64/927.13 c #Conflicts: 312000 | #Constraints: 17357
924.64/927.13 c GLOBAL bounds - >= 0 @ 914.751
928.21/930.70 c #Conflicts: 313000 | #Constraints: 18359
928.21/930.70 c GLOBAL bounds - >= 0 @ 918.279
935.20/937.75 c #Conflicts: 314000 | #Constraints: 19361
935.20/937.75 c #Conflicts: 315000 | #Constraints: 20361
935.20/937.75 c #Conflicts: 316000 | #Constraints: 21361
935.20/937.75 c GLOBAL bounds - >= 0 @ 925.257
944.97/947.56 c #Conflicts: 317000 | #Constraints: 22363
944.97/947.56 c #Conflicts: 318000 | #Constraints: 23363
944.97/947.56 c #Conflicts: 319000 | #Constraints: 24363
944.97/947.56 c GLOBAL bounds - >= 0 @ 934.925
1048.51/1051.32 c #Conflicts: 320000 | #Constraints: 25365
1048.51/1051.32 c #Conflicts: 321000 | #Constraints: 26365
1048.51/1051.32 c INPROCESSING
1048.51/1051.32 c GARBAGE COLLECT
1048.51/1051.32 c #Conflicts: 322000 | #Constraints: 16175
1048.51/1051.32 c #Conflicts: 323000 | #Constraints: 17175
1048.51/1051.32 c #Conflicts: 324000 | #Constraints: 18175
1048.51/1051.32 c #Conflicts: 325000 | #Constraints: 19175
1048.51/1051.32 c #Conflicts: 326000 | #Constraints: 20175
1048.51/1051.32 c #Conflicts: 327000 | #Constraints: 21175
1048.51/1051.32 c #Conflicts: 328000 | #Constraints: 22175
1048.51/1051.32 c #Conflicts: 329000 | #Constraints: 23175
1048.51/1051.32 c #Conflicts: 330000 | #Constraints: 24175
1048.51/1051.32 c #Conflicts: 331000 | #Constraints: 25175
1048.51/1051.32 c #Conflicts: 332000 | #Constraints: 26175
1048.51/1051.32 c #Conflicts: 333000 | #Constraints: 27175
1048.51/1051.32 c INPROCESSING
1048.51/1051.32 c GARBAGE COLLECT
1048.51/1051.32 c #Conflicts: 334000 | #Constraints: 16784
1048.51/1051.32 c #Conflicts: 335000 | #Constraints: 17784
1048.51/1051.32 c #Conflicts: 336000 | #Constraints: 18784
1048.51/1051.32 c #Conflicts: 337000 | #Constraints: 19784
1048.51/1051.32 c #Conflicts: 338000 | #Constraints: 20784
1048.51/1051.32 c #Conflicts: 339000 | #Constraints: 21784
1048.51/1051.32 c #Conflicts: 340000 | #Constraints: 22784
1048.51/1051.32 c #Conflicts: 341000 | #Constraints: 23784
1048.51/1051.32 c #Conflicts: 342000 | #Constraints: 24784
1048.51/1051.32 c #Conflicts: 343000 | #Constraints: 25784
1048.51/1051.32 c #Conflicts: 344000 | #Constraints: 26784
1048.51/1051.32 c #Conflicts: 345000 | #Constraints: 27784
1048.51/1051.32 c INPROCESSING
1048.51/1051.32 c GARBAGE COLLECT
1048.51/1051.32 c #Conflicts: 346000 | #Constraints: 17197
1048.51/1051.32 c #Conflicts: 347000 | #Constraints: 18197
1048.51/1051.32 c #Conflicts: 348000 | #Constraints: 19197
1048.51/1051.32 c GLOBAL bounds - >= 0 @ 1037.29
1051.50/1054.35 c #Conflicts: 349000 | #Constraints: 20199
1051.50/1054.35 c GLOBAL bounds - >= 0 @ 1040.29
1052.59/1055.48 c GLOBAL bounds - >= 0 @ 1041.41
1053.30/1056.17 c #Conflicts: 350000 | #Constraints: 21203
1053.30/1056.17 c GLOBAL bounds - >= 0 @ 1042.08
1054.49/1057.37 c GLOBAL bounds - >= 0 @ 1043.28
1060.97/1063.88 c #Conflicts: 351000 | #Constraints: 22207
1060.97/1063.88 c #Conflicts: 352000 | #Constraints: 23207
1060.97/1063.88 c #Conflicts: 353000 | #Constraints: 24207
1060.97/1063.88 c GLOBAL bounds - >= 0 @ 1049.72
1086.12/1089.01 c #Conflicts: 354000 | #Constraints: 25209
1086.12/1089.01 c #Conflicts: 355000 | #Constraints: 26209
1086.12/1089.01 c #Conflicts: 356000 | #Constraints: 27209
1086.12/1089.01 c #Conflicts: 357000 | #Constraints: 28209
1086.12/1089.01 c INPROCESSING
1086.12/1089.01 c GARBAGE COLLECT
1086.12/1089.01 c #Conflicts: 358000 | #Constraints: 17375
1086.12/1089.01 c #Conflicts: 359000 | #Constraints: 18375
1086.12/1089.01 c #Conflicts: 360000 | #Constraints: 19375
1086.12/1089.01 c GLOBAL bounds - >= 0 @ 1074.52
1087.51/1090.45 c GLOBAL bounds - >= 0 @ 1075.95
1088.41/1091.30 c #Conflicts: 361000 | #Constraints: 20379
1088.41/1091.30 c GLOBAL bounds - >= 0 @ 1076.79
1096.20/1099.13 c #Conflicts: 362000 | #Constraints: 21381
1096.20/1099.13 c #Conflicts: 363000 | #Constraints: 22381
1096.20/1099.13 c GLOBAL bounds - >= 0 @ 1084.54
1153.14/1156.23 c #Conflicts: 364000 | #Constraints: 23383
1153.14/1156.23 c #Conflicts: 365000 | #Constraints: 24383
1153.14/1156.23 c #Conflicts: 366000 | #Constraints: 25383
1153.14/1156.23 c #Conflicts: 367000 | #Constraints: 26383
1153.14/1156.23 c #Conflicts: 368000 | #Constraints: 27383
1153.14/1156.23 c #Conflicts: 369000 | #Constraints: 28383
1153.14/1156.23 c INPROCESSING
1153.14/1156.23 c GARBAGE COLLECT
1153.14/1156.23 c #Conflicts: 370000 | #Constraints: 17364
1153.14/1156.23 c #Conflicts: 371000 | #Constraints: 18364
1153.14/1156.23 c #Conflicts: 372000 | #Constraints: 19364
1153.14/1156.23 c #Conflicts: 373000 | #Constraints: 20364
1153.14/1156.23 c #Conflicts: 374000 | #Constraints: 21364
1153.14/1156.23 c #Conflicts: 375000 | #Constraints: 22364
1153.14/1156.23 c GLOBAL bounds - >= 0 @ 1141.03
1176.48/1179.66 c #Conflicts: 376000 | #Constraints: 23366
1176.48/1179.66 c #Conflicts: 377000 | #Constraints: 24366
1176.48/1179.66 c #Conflicts: 378000 | #Constraints: 25366
1176.48/1179.66 c #Conflicts: 379000 | #Constraints: 26366
1176.48/1179.66 c #Conflicts: 380000 | #Constraints: 27366
1176.48/1179.66 c #Conflicts: 381000 | #Constraints: 28366
1176.48/1179.66 c INPROCESSING
1176.48/1179.66 c GARBAGE COLLECT
1176.48/1179.66 c GLOBAL bounds - >= 0 @ 1164.26
1177.58/1180.76 c #Conflicts: 382000 | #Constraints: 17164
1177.58/1180.76 c GLOBAL bounds - >= 0 @ 1165.35
1186.56/1189.78 c #Conflicts: 383000 | #Constraints: 18166
1186.56/1189.78 c #Conflicts: 384000 | #Constraints: 19166
1186.56/1189.78 c GLOBAL bounds - >= 0 @ 1174.22
1202.61/1205.86 c #Conflicts: 385000 | #Constraints: 20168
1202.61/1205.86 c #Conflicts: 386000 | #Constraints: 21168
1202.61/1205.86 c #Conflicts: 387000 | #Constraints: 22168
1202.61/1205.86 c #Conflicts: 388000 | #Constraints: 23168
1202.61/1205.86 c #Conflicts: 389000 | #Constraints: 24168
1202.61/1205.86 c GLOBAL bounds - >= 0 @ 1190.09
1219.97/1223.21 c #Conflicts: 390000 | #Constraints: 25170
1219.97/1223.21 c #Conflicts: 391000 | #Constraints: 26170
1219.97/1223.21 c #Conflicts: 392000 | #Constraints: 27170
1219.97/1223.21 c GLOBAL bounds - >= 0 @ 1207.29
1238.62/1241.96 c #Conflicts: 393000 | #Constraints: 28172
1238.62/1241.96 c #Conflicts: 394000 | #Constraints: 29172
1238.62/1241.96 c INPROCESSING
1238.62/1241.96 c GARBAGE COLLECT
1238.62/1241.96 c #Conflicts: 395000 | #Constraints: 17778
1238.62/1241.96 c #Conflicts: 396000 | #Constraints: 18778
1238.62/1241.96 c GLOBAL bounds - >= 0 @ 1225.83
1246.10/1249.46 c #Conflicts: 397000 | #Constraints: 19780
1246.10/1249.46 c #Conflicts: 398000 | #Constraints: 20780
1246.10/1249.46 c #Conflicts: 399000 | #Constraints: 21780
1246.10/1249.46 c GLOBAL bounds - >= 0 @ 1233.24
1257.07/1260.42 c #Conflicts: 400000 | #Constraints: 22782
1257.07/1260.42 c #Conflicts: 401000 | #Constraints: 23782
1257.07/1260.42 c GLOBAL bounds - >= 0 @ 1244.07
1297.17/1300.67 c #Conflicts: 402000 | #Constraints: 24784
1297.17/1300.67 c #Conflicts: 403000 | #Constraints: 25784
1297.17/1300.67 c #Conflicts: 404000 | #Constraints: 26784
1297.17/1300.67 c #Conflicts: 405000 | #Constraints: 27784
1297.17/1300.67 c #Conflicts: 406000 | #Constraints: 28784
1297.17/1300.67 c #Conflicts: 407000 | #Constraints: 29784
1297.17/1300.67 c INPROCESSING
1297.17/1300.67 c GARBAGE COLLECT
1297.17/1300.67 c #Conflicts: 408000 | #Constraints: 18195
1297.17/1300.67 c #Conflicts: 409000 | #Constraints: 19195
1297.17/1300.67 c #Conflicts: 410000 | #Constraints: 20195
1297.17/1300.67 c GLOBAL bounds - >= 0 @ 1283.88
1311.64/1315.15 c #Conflicts: 411000 | #Constraints: 21197
1311.64/1315.15 c #Conflicts: 412000 | #Constraints: 22197
1311.64/1315.15 c #Conflicts: 413000 | #Constraints: 23197
1311.64/1315.15 c #Conflicts: 414000 | #Constraints: 24197
1311.64/1315.15 c GLOBAL bounds - >= 0 @ 1298.2
1332.48/1336.06 c #Conflicts: 415000 | #Constraints: 25199
1332.48/1336.06 c #Conflicts: 416000 | #Constraints: 26199
1332.48/1336.06 c #Conflicts: 417000 | #Constraints: 27199
1332.48/1336.06 c #Conflicts: 418000 | #Constraints: 28199
1332.48/1336.06 c #Conflicts: 419000 | #Constraints: 29199
1332.48/1336.06 c #Conflicts: 420000 | #Constraints: 30199
1332.48/1336.06 c INPROCESSING
1332.48/1336.06 c GARBAGE COLLECT
1332.48/1336.06 c GLOBAL bounds - >= 0 @ 1318.8
1351.54/1355.17 c #Conflicts: 421000 | #Constraints: 18399
1351.54/1355.17 c #Conflicts: 422000 | #Constraints: 19399
1351.54/1355.17 c #Conflicts: 423000 | #Constraints: 20399
1351.54/1355.17 c #Conflicts: 424000 | #Constraints: 21399
1351.54/1355.17 c #Conflicts: 425000 | #Constraints: 22399
1351.54/1355.17 c #Conflicts: 426000 | #Constraints: 23399
1351.54/1355.17 c GLOBAL bounds - >= 0 @ 1337.69
1406.29/1410.00 c #Conflicts: 427000 | #Constraints: 24401
1406.29/1410.00 c #Conflicts: 428000 | #Constraints: 25401
1406.29/1410.00 c #Conflicts: 429000 | #Constraints: 26401
1406.29/1410.00 c #Conflicts: 430000 | #Constraints: 27401
1406.29/1410.00 c #Conflicts: 431000 | #Constraints: 28401
1406.29/1410.00 c #Conflicts: 432000 | #Constraints: 29401
1406.29/1410.00 c #Conflicts: 433000 | #Constraints: 30401
1406.29/1410.00 c INPROCESSING
1406.29/1410.00 c GARBAGE COLLECT
1406.29/1410.00 c #Conflicts: 434000 | #Constraints: 18437
1406.29/1410.00 c #Conflicts: 435000 | #Constraints: 19437
1406.29/1410.00 c #Conflicts: 436000 | #Constraints: 20437
1406.29/1410.00 c #Conflicts: 437000 | #Constraints: 21437
1406.29/1410.00 c #Conflicts: 438000 | #Constraints: 22437
1406.29/1410.00 c #Conflicts: 439000 | #Constraints: 23437
1406.29/1410.00 c #Conflicts: 440000 | #Constraints: 24437
1406.29/1410.00 c #Conflicts: 441000 | #Constraints: 25437
1406.29/1410.00 c GLOBAL bounds - >= 0 @ 1391.95
1424.73/1428.55 c #Conflicts: 442000 | #Constraints: 26439
1424.73/1428.55 c #Conflicts: 443000 | #Constraints: 27439
1424.73/1428.55 c #Conflicts: 444000 | #Constraints: 28439
1424.73/1428.55 c #Conflicts: 445000 | #Constraints: 29439
1424.73/1428.55 c #Conflicts: 446000 | #Constraints: 30439
1424.73/1428.55 c INPROCESSING
1424.73/1428.55 c GARBAGE COLLECT
1424.73/1428.55 c GLOBAL bounds - >= 0 @ 1410.33
1481.10/1485.01 c #Conflicts: 447000 | #Constraints: 18226
1481.10/1485.01 c #Conflicts: 448000 | #Constraints: 19226
1481.10/1485.01 c #Conflicts: 449000 | #Constraints: 20226
1481.10/1485.01 c #Conflicts: 450000 | #Constraints: 21226
1481.10/1485.01 c #Conflicts: 451000 | #Constraints: 22226
1481.10/1485.01 c #Conflicts: 452000 | #Constraints: 23226
1481.10/1485.01 c #Conflicts: 453000 | #Constraints: 24226
1481.10/1485.01 c #Conflicts: 454000 | #Constraints: 25226
1481.10/1485.01 c #Conflicts: 455000 | #Constraints: 26226
1481.10/1485.01 c #Conflicts: 456000 | #Constraints: 27226
1481.10/1485.01 c #Conflicts: 457000 | #Constraints: 28226
1481.10/1485.01 c #Conflicts: 458000 | #Constraints: 29226
1481.10/1485.01 c #Conflicts: 459000 | #Constraints: 30226
1481.10/1485.01 c #Conflicts: 460000 | #Constraints: 31226
1481.10/1485.01 c INPROCESSING
1481.10/1485.01 c GARBAGE COLLECT
1481.10/1485.01 c GLOBAL bounds - >= 0 @ 1466.24
1506.32/1510.31 c #Conflicts: 461000 | #Constraints: 18847
1506.32/1510.31 c #Conflicts: 462000 | #Constraints: 19847
1506.32/1510.31 c #Conflicts: 463000 | #Constraints: 20847
1506.32/1510.31 c #Conflicts: 464000 | #Constraints: 21847
1506.32/1510.31 c #Conflicts: 465000 | #Constraints: 22847
1506.32/1510.31 c #Conflicts: 466000 | #Constraints: 23847
1506.32/1510.31 c #Conflicts: 467000 | #Constraints: 24847
1506.32/1510.31 c #Conflicts: 468000 | #Constraints: 25847
1506.32/1510.31 c GLOBAL bounds - >= 0 @ 1491.26
1508.03/1512.03 c #Conflicts: 469000 | #Constraints: 26849
1508.03/1512.03 c GLOBAL bounds - >= 0 @ 1492.97
1625.31/1629.67 c #Conflicts: 470000 | #Constraints: 27851
1625.31/1629.67 c #Conflicts: 471000 | #Constraints: 28851
1625.31/1629.67 c #Conflicts: 472000 | #Constraints: 29851
1625.31/1629.67 c #Conflicts: 473000 | #Constraints: 30851
1625.31/1629.67 c #Conflicts: 474000 | #Constraints: 31851
1625.31/1629.67 c INPROCESSING
1625.31/1629.67 c GARBAGE COLLECT
1625.31/1629.67 c #Conflicts: 475000 | #Constraints: 19245
1625.31/1629.67 c #Conflicts: 476000 | #Constraints: 20245
1625.31/1629.67 c #Conflicts: 477000 | #Constraints: 21245
1625.31/1629.67 c #Conflicts: 478000 | #Constraints: 22245
1625.31/1629.67 c #Conflicts: 479000 | #Constraints: 23245
1625.31/1629.67 c #Conflicts: 480000 | #Constraints: 24245
1625.31/1629.67 c #Conflicts: 481000 | #Constraints: 25245
1625.31/1629.67 c #Conflicts: 482000 | #Constraints: 26245
1625.31/1629.67 c #Conflicts: 483000 | #Constraints: 27245
1625.31/1629.67 c #Conflicts: 484000 | #Constraints: 28245
1625.31/1629.67 c #Conflicts: 485000 | #Constraints: 29245
1625.31/1629.67 c #Conflicts: 486000 | #Constraints: 30245
1625.31/1629.67 c #Conflicts: 487000 | #Constraints: 31245
1625.31/1629.67 c #Conflicts: 488000 | #Constraints: 32245
1625.31/1629.67 c INPROCESSING
1625.31/1629.67 c GARBAGE COLLECT
1625.31/1629.67 c #Conflicts: 489000 | #Constraints: 19450
1625.31/1629.67 c #Conflicts: 490000 | #Constraints: 20450
1625.31/1629.67 c #Conflicts: 491000 | #Constraints: 21450
1625.31/1629.67 c #Conflicts: 492000 | #Constraints: 22450
1625.31/1629.67 c #Conflicts: 493000 | #Constraints: 23450
1625.31/1629.67 c #Conflicts: 494000 | #Constraints: 24450
1625.31/1629.67 c #Conflicts: 495000 | #Constraints: 25450
1625.31/1629.67 c #Conflicts: 496000 | #Constraints: 26450
1625.31/1629.67 c #Conflicts: 497000 | #Constraints: 27450
1625.31/1629.67 c #Conflicts: 498000 | #Constraints: 28450
1625.31/1629.67 c #Conflicts: 499000 | #Constraints: 29450
1625.31/1629.67 c #Conflicts: 500000 | #Constraints: 30450
1625.31/1629.67 c #Conflicts: 501000 | #Constraints: 31450
1625.31/1629.67 c GLOBAL bounds - >= 0 @ 1609.47
1630.00/1634.30 c #Conflicts: 502000 | #Constraints: 32452
1630.00/1634.30 c INPROCESSING
1630.00/1634.30 c GARBAGE COLLECT
1630.00/1634.30 c GLOBAL bounds - >= 0 @ 1614.05
1684.26/1688.74 c #Conflicts: 503000 | #Constraints: 19446
1684.26/1688.74 c #Conflicts: 504000 | #Constraints: 20446
1684.26/1688.74 c #Conflicts: 505000 | #Constraints: 21446
1684.26/1688.74 c #Conflicts: 506000 | #Constraints: 22446
1684.26/1688.74 c #Conflicts: 507000 | #Constraints: 23446
1684.26/1688.74 c #Conflicts: 508000 | #Constraints: 24446
1684.26/1688.74 c #Conflicts: 509000 | #Constraints: 25446
1684.26/1688.74 c #Conflicts: 510000 | #Constraints: 26446
1684.26/1688.74 c #Conflicts: 511000 | #Constraints: 27446
1684.26/1688.74 c #Conflicts: 512000 | #Constraints: 28446
1684.26/1688.74 c #Conflicts: 513000 | #Constraints: 29446
1684.26/1688.74 c #Conflicts: 514000 | #Constraints: 30446
1684.26/1688.74 c #Conflicts: 515000 | #Constraints: 31446
1684.26/1688.74 c #Conflicts: 516000 | #Constraints: 32446
1684.26/1688.74 c INPROCESSING
1684.26/1688.74 c GARBAGE COLLECT
1684.26/1688.74 c #Conflicts: 517000 | #Constraints: 19247
1684.26/1688.74 c GLOBAL bounds - >= 0 @ 1667.93
1696.83/1701.40 c #Conflicts: 518000 | #Constraints: 20249
1696.83/1701.40 c #Conflicts: 519000 | #Constraints: 21249
1696.83/1701.40 c #Conflicts: 520000 | #Constraints: 22249
1696.83/1701.40 c GLOBAL bounds - >= 0 @ 1680.44
1704.31/1708.82 c #Conflicts: 521000 | #Constraints: 23251
1704.31/1708.82 c #Conflicts: 522000 | #Constraints: 24251
1704.31/1708.82 c #Conflicts: 523000 | #Constraints: 25251
1704.31/1708.82 c GLOBAL bounds - >= 0 @ 1687.8
1709.60/1714.12 c #Conflicts: 524000 | #Constraints: 26253
1709.60/1714.12 c GLOBAL bounds - >= 0 @ 1693.04
1713.69/1718.22 c #Conflicts: 525000 | #Constraints: 27255
1713.69/1718.22 c GLOBAL bounds - >= 0 @ 1697.12
1718.28/1722.84 c #Conflicts: 526000 | #Constraints: 28257
1718.28/1722.84 c GLOBAL bounds - >= 0 @ 1701.69
1731.33/1735.99 c #Conflicts: 527000 | #Constraints: 29259
1731.33/1735.99 c #Conflicts: 528000 | #Constraints: 30259
1731.33/1735.99 c GLOBAL bounds - >= 0 @ 1714.69
1750.99/1755.64 c #Conflicts: 529000 | #Constraints: 31261
1750.99/1755.64 c #Conflicts: 530000 | #Constraints: 32261
1750.99/1755.64 c #Conflicts: 531000 | #Constraints: 33261
1750.99/1755.64 c INPROCESSING
1750.99/1755.64 c GARBAGE COLLECT
1750.99/1755.64 c #Conflicts: 532000 | #Constraints: 19835
1750.99/1755.64 c #Conflicts: 533000 | #Constraints: 20835
1750.99/1755.64 c GLOBAL bounds - >= 0 @ 1734.07
1796.47/1801.24 c #Conflicts: 534000 | #Constraints: 21837
1796.47/1801.24 c #Conflicts: 535000 | #Constraints: 22837
1796.47/1801.24 c #Conflicts: 536000 | #Constraints: 23837
1796.47/1801.24 c #Conflicts: 537000 | #Constraints: 24837
1796.47/1801.24 c #Conflicts: 538000 | #Constraints: 25837
1796.47/1801.24 c #Conflicts: 539000 | #Constraints: 26837
1796.47/1801.24 c #Conflicts: 540000 | #Constraints: 27837
1796.47/1801.24 c #Conflicts: 541000 | #Constraints: 28837
1796.47/1801.24 c #Conflicts: 542000 | #Constraints: 29837
1796.47/1801.24 c GLOBAL bounds - >= 0 @ 1779.04
1798.46/1803.23 c #Conflicts: 543000 | #Constraints: 30839
1798.46/1803.23 c GLOBAL bounds - >= 0 @ 1781.03
1803.85/1808.62 c #Conflicts: 544000 | #Constraints: 31841
1803.85/1808.62 c GLOBAL bounds - >= 0 @ 1786.34
1833.18/1838.00 c #Conflicts: 545000 | #Constraints: 32843
1833.18/1838.00 c #Conflicts: 546000 | #Constraints: 33843
1833.18/1838.00 c INPROCESSING
1833.18/1838.00 c GARBAGE COLLECT
1833.18/1838.00 c #Conflicts: 547000 | #Constraints: 20239
1833.18/1838.00 c #Conflicts: 548000 | #Constraints: 21239
1833.18/1838.00 c #Conflicts: 549000 | #Constraints: 22239
1833.18/1838.00 c GLOBAL bounds - >= 0 @ 1815.37
1988.56/1993.80 c #Conflicts: 550000 | #Constraints: 23241
1988.56/1993.80 c #Conflicts: 551000 | #Constraints: 24241
1988.56/1993.80 c #Conflicts: 552000 | #Constraints: 25241
1988.56/1993.80 c #Conflicts: 553000 | #Constraints: 26241
1988.56/1993.80 c #Conflicts: 554000 | #Constraints: 27241
1988.56/1993.80 c #Conflicts: 555000 | #Constraints: 28241
1988.56/1993.80 c #Conflicts: 556000 | #Constraints: 29241
1988.56/1993.80 c #Conflicts: 557000 | #Constraints: 30241
1988.56/1993.80 c #Conflicts: 558000 | #Constraints: 31241
1988.56/1993.80 c #Conflicts: 559000 | #Constraints: 32241
1988.56/1993.80 c #Conflicts: 560000 | #Constraints: 33241
1988.56/1993.80 c #Conflicts: 561000 | #Constraints: 34241
1988.56/1993.80 c INPROCESSING
1988.56/1993.80 c GARBAGE COLLECT
1988.56/1993.80 c #Conflicts: 562000 | #Constraints: 20433
1988.56/1993.80 c #Conflicts: 563000 | #Constraints: 21433
1988.56/1993.80 c #Conflicts: 564000 | #Constraints: 22433
1988.56/1993.80 c #Conflicts: 565000 | #Constraints: 23433
1988.56/1993.80 c #Conflicts: 566000 | #Constraints: 24433
1988.56/1993.80 c #Conflicts: 567000 | #Constraints: 25433
1988.56/1993.80 c #Conflicts: 568000 | #Constraints: 26433
1988.56/1993.80 c #Conflicts: 569000 | #Constraints: 27433
1988.56/1993.80 c #Conflicts: 570000 | #Constraints: 28433
1988.56/1993.80 c #Conflicts: 571000 | #Constraints: 29433
1988.56/1993.80 c #Conflicts: 572000 | #Constraints: 30433
1988.56/1993.80 c #Conflicts: 573000 | #Constraints: 31433
1988.56/1993.80 c #Conflicts: 574000 | #Constraints: 32433
1988.56/1993.80 c #Conflicts: 575000 | #Constraints: 33433
1988.56/1993.80 c #Conflicts: 576000 | #Constraints: 34433
1988.56/1993.80 c INPROCESSING
1988.56/1993.80 c GARBAGE COLLECT
1988.56/1993.80 c #Conflicts: 577000 | #Constraints: 20421
1988.56/1993.80 c #Conflicts: 578000 | #Constraints: 21421
1988.56/1993.80 c #Conflicts: 579000 | #Constraints: 22421
1988.56/1993.80 c GLOBAL bounds - >= 0 @ 1969.68
1993.76/1999.06 c #Conflicts: 580000 | #Constraints: 23423
1993.76/1999.06 c GLOBAL bounds - >= 0 @ 1974.89
1996.54/2001.85 c #Conflicts: 581000 | #Constraints: 24425
1996.54/2001.85 c GLOBAL bounds - >= 0 @ 1977.66
2000.24/2005.53 c #Conflicts: 582000 | #Constraints: 25427
2000.24/2005.53 c GLOBAL bounds - >= 0 @ 1981.3
2065.26/2070.74 c #Conflicts: 583000 | #Constraints: 26429
2065.26/2070.74 c #Conflicts: 584000 | #Constraints: 27429
2065.26/2070.74 c #Conflicts: 585000 | #Constraints: 28429
2065.26/2070.74 c #Conflicts: 586000 | #Constraints: 29429
2065.26/2070.74 c #Conflicts: 587000 | #Constraints: 30429
2065.26/2070.74 c #Conflicts: 588000 | #Constraints: 31429
2065.26/2070.74 c #Conflicts: 589000 | #Constraints: 32429
2065.26/2070.74 c #Conflicts: 590000 | #Constraints: 33429
2065.26/2070.74 c #Conflicts: 591000 | #Constraints: 34429
2065.26/2070.74 c INPROCESSING
2065.26/2070.74 c GARBAGE COLLECT
2065.26/2070.74 c #Conflicts: 592000 | #Constraints: 20232
2065.26/2070.74 c #Conflicts: 593000 | #Constraints: 21232
2065.26/2070.74 c GLOBAL bounds - >= 0 @ 2045.76
2209.20/2215.06 c #Conflicts: 594000 | #Constraints: 22234
2209.20/2215.06 c #Conflicts: 595000 | #Constraints: 23234
2209.20/2215.06 c #Conflicts: 596000 | #Constraints: 24234
2209.20/2215.06 c #Conflicts: 597000 | #Constraints: 25234
2209.20/2215.06 c #Conflicts: 598000 | #Constraints: 26234
2209.20/2215.06 c #Conflicts: 599000 | #Constraints: 27234
2209.20/2215.06 c #Conflicts: 600000 | #Constraints: 28234
2209.20/2215.06 c #Conflicts: 601000 | #Constraints: 29234
2209.20/2215.06 c #Conflicts: 602000 | #Constraints: 30234
2209.20/2215.06 c #Conflicts: 603000 | #Constraints: 31234
2209.20/2215.06 c #Conflicts: 604000 | #Constraints: 32234
2209.20/2215.06 c #Conflicts: 605000 | #Constraints: 33234
2209.20/2215.06 c #Conflicts: 606000 | #Constraints: 34234
2209.20/2215.06 c #Conflicts: 607000 | #Constraints: 35234
2209.20/2215.06 c INPROCESSING
2209.20/2215.06 c GARBAGE COLLECT
2209.20/2215.06 c #Conflicts: 608000 | #Constraints: 20844
2209.20/2215.06 c #Conflicts: 609000 | #Constraints: 21844
2209.20/2215.06 c #Conflicts: 610000 | #Constraints: 22844
2209.20/2215.06 c #Conflicts: 611000 | #Constraints: 23844
2209.20/2215.06 c #Conflicts: 612000 | #Constraints: 24844
2209.20/2215.06 c #Conflicts: 613000 | #Constraints: 25844
2209.20/2215.06 c #Conflicts: 614000 | #Constraints: 26844
2209.20/2215.06 c #Conflicts: 615000 | #Constraints: 27844
2209.20/2215.06 c #Conflicts: 616000 | #Constraints: 28844
2209.20/2215.06 c #Conflicts: 617000 | #Constraints: 29844
2209.20/2215.06 c #Conflicts: 618000 | #Constraints: 30844
2209.20/2215.06 c #Conflicts: 619000 | #Constraints: 31844
2209.20/2215.06 c #Conflicts: 620000 | #Constraints: 32844
2209.20/2215.06 c #Conflicts: 621000 | #Constraints: 33844
2209.20/2215.06 c #Conflicts: 622000 | #Constraints: 34844
2209.20/2215.06 c #Conflicts: 623000 | #Constraints: 35844
2209.20/2215.06 c INPROCESSING
2209.20/2215.06 c GARBAGE COLLECT
2209.20/2215.06 c GLOBAL bounds - >= 0 @ 2188.82
2462.43/2468.93 c #Conflicts: 624000 | #Constraints: 21255
2462.43/2468.93 c #Conflicts: 625000 | #Constraints: 22255
2462.43/2468.93 c #Conflicts: 626000 | #Constraints: 23255
2462.43/2468.93 c #Conflicts: 627000 | #Constraints: 24255
2462.43/2468.93 c #Conflicts: 628000 | #Constraints: 25255
2462.43/2468.93 c #Conflicts: 629000 | #Constraints: 26255
2462.43/2468.93 c #Conflicts: 630000 | #Constraints: 27255
2462.43/2468.93 c #Conflicts: 631000 | #Constraints: 28255
2462.43/2468.93 c #Conflicts: 632000 | #Constraints: 29255
2462.43/2468.93 c #Conflicts: 633000 | #Constraints: 30255
2462.43/2468.93 c #Conflicts: 634000 | #Constraints: 31255
2462.43/2468.93 c #Conflicts: 635000 | #Constraints: 32255
2462.43/2468.93 c #Conflicts: 636000 | #Constraints: 33255
2462.43/2468.93 c #Conflicts: 637000 | #Constraints: 34255
2462.43/2468.93 c #Conflicts: 638000 | #Constraints: 35255
2462.43/2468.93 c #Conflicts: 639000 | #Constraints: 36255
2462.43/2468.93 c INPROCESSING
2462.43/2468.93 c GARBAGE COLLECT
2462.43/2468.93 c #Conflicts: 640000 | #Constraints: 21467
2462.43/2468.93 c #Conflicts: 641000 | #Constraints: 22467
2462.43/2468.93 c #Conflicts: 642000 | #Constraints: 23467
2462.43/2468.93 c #Conflicts: 643000 | #Constraints: 24467
2462.43/2468.93 c #Conflicts: 644000 | #Constraints: 25467
2462.43/2468.93 c #Conflicts: 645000 | #Constraints: 26467
2462.43/2468.93 c #Conflicts: 646000 | #Constraints: 27467
2462.43/2468.93 c #Conflicts: 647000 | #Constraints: 28467
2462.43/2468.93 c #Conflicts: 648000 | #Constraints: 29467
2462.43/2468.93 c #Conflicts: 649000 | #Constraints: 30467
2462.43/2468.93 c #Conflicts: 650000 | #Constraints: 31467
2462.43/2468.93 c #Conflicts: 651000 | #Constraints: 32467
2462.43/2468.93 c #Conflicts: 652000 | #Constraints: 33467
2462.43/2468.93 c #Conflicts: 653000 | #Constraints: 34467
2462.43/2468.93 c #Conflicts: 654000 | #Constraints: 35467
2462.43/2468.93 c #Conflicts: 655000 | #Constraints: 36467
2462.43/2468.93 c INPROCESSING
2462.43/2468.93 c GARBAGE COLLECT
2462.43/2468.93 c #Conflicts: 656000 | #Constraints: 21470
2462.43/2468.93 c #Conflicts: 657000 | #Constraints: 22470
2462.43/2468.93 c #Conflicts: 658000 | #Constraints: 23470
2462.43/2468.93 c #Conflicts: 659000 | #Constraints: 24470
2462.43/2468.93 c #Conflicts: 660000 | #Constraints: 25470
2462.43/2468.93 c #Conflicts: 661000 | #Constraints: 26470
2462.43/2468.93 c #Conflicts: 662000 | #Constraints: 27470
2462.43/2468.93 c #Conflicts: 663000 | #Constraints: 28470
2462.43/2468.93 c #Conflicts: 664000 | #Constraints: 29470
2462.43/2468.93 c #Conflicts: 665000 | #Constraints: 30470
2462.43/2468.93 c #Conflicts: 666000 | #Constraints: 31470
2462.43/2468.93 c #Conflicts: 667000 | #Constraints: 32470
2462.43/2468.93 c GLOBAL bounds - >= 0 @ 2440.17
2489.16/2495.74 c #Conflicts: 668000 | #Constraints: 33472
2489.16/2495.74 c #Conflicts: 669000 | #Constraints: 34472
2489.16/2495.74 c #Conflicts: 670000 | #Constraints: 35472
2489.16/2495.74 c #Conflicts: 671000 | #Constraints: 36472
2489.16/2495.74 c INPROCESSING
2489.16/2495.74 c GARBAGE COLLECT
2489.16/2495.74 c #Conflicts: 672000 | #Constraints: 21269
2489.16/2495.74 c GLOBAL bounds - >= 0 @ 2466.77
2929.10/2936.80 c #Conflicts: 673000 | #Constraints: 22271
2929.10/2936.80 c #Conflicts: 674000 | #Constraints: 23271
2929.10/2936.80 c #Conflicts: 675000 | #Constraints: 24271
2929.10/2936.80 c #Conflicts: 676000 | #Constraints: 25271
2929.10/2936.80 c #Conflicts: 677000 | #Constraints: 26271
2929.10/2936.80 c #Conflicts: 678000 | #Constraints: 27271
2929.10/2936.80 c #Conflicts: 679000 | #Constraints: 28271
2929.10/2936.80 c #Conflicts: 680000 | #Constraints: 29271
2929.10/2936.80 c #Conflicts: 681000 | #Constraints: 30271
2929.10/2936.80 c #Conflicts: 682000 | #Constraints: 31271
2929.10/2936.80 c #Conflicts: 683000 | #Constraints: 32271
2929.10/2936.80 c #Conflicts: 684000 | #Constraints: 33271
2929.10/2936.80 c #Conflicts: 685000 | #Constraints: 34271
2929.10/2936.80 c #Conflicts: 686000 | #Constraints: 35271
2929.10/2936.80 c #Conflicts: 687000 | #Constraints: 36271
2929.10/2936.80 c #Conflicts: 688000 | #Constraints: 37271
2929.10/2936.80 c INPROCESSING
2929.10/2936.80 c GARBAGE COLLECT
2929.10/2936.80 c #Conflicts: 689000 | #Constraints: 21873
2929.10/2936.80 c #Conflicts: 690000 | #Constraints: 22873
2929.10/2936.80 c #Conflicts: 691000 | #Constraints: 23873
2929.10/2936.80 c #Conflicts: 692000 | #Constraints: 24873
2929.10/2936.81 c #Conflicts: 693000 | #Constraints: 25873
2929.10/2936.81 c #Conflicts: 694000 | #Constraints: 26873
2929.10/2936.81 c #Conflicts: 695000 | #Constraints: 27873
2929.10/2936.81 c #Conflicts: 696000 | #Constraints: 28873
2929.10/2936.81 c #Conflicts: 697000 | #Constraints: 29873
2929.10/2936.81 c #Conflicts: 698000 | #Constraints: 30873
2929.10/2936.81 c #Conflicts: 699000 | #Constraints: 31873
2929.10/2936.81 c #Conflicts: 700000 | #Constraints: 32873
2929.10/2936.81 c #Conflicts: 701000 | #Constraints: 33873
2929.10/2936.81 c #Conflicts: 702000 | #Constraints: 34873
2929.10/2936.81 c #Conflicts: 703000 | #Constraints: 35873
2929.10/2936.81 c #Conflicts: 704000 | #Constraints: 36873
2929.10/2936.81 c #Conflicts: 705000 | #Constraints: 37873
2929.10/2936.81 c INPROCESSING
2929.10/2936.81 c GARBAGE COLLECT
2929.10/2936.81 c #Conflicts: 706000 | #Constraints: 22263
2929.10/2936.81 c #Conflicts: 707000 | #Constraints: 23263
2929.10/2936.81 c #Conflicts: 708000 | #Constraints: 24263
2929.10/2936.81 c #Conflicts: 709000 | #Constraints: 25263
2929.10/2936.81 c #Conflicts: 710000 | #Constraints: 26263
2929.10/2936.81 c #Conflicts: 711000 | #Constraints: 27263
2929.10/2936.81 c #Conflicts: 712000 | #Constraints: 28263
2929.10/2936.81 c #Conflicts: 713000 | #Constraints: 29263
2929.10/2936.81 c #Conflicts: 714000 | #Constraints: 30263
2929.10/2936.81 c #Conflicts: 715000 | #Constraints: 31263
2929.10/2936.81 c #Conflicts: 716000 | #Constraints: 32263
2929.10/2936.81 c #Conflicts: 717000 | #Constraints: 33263
2929.10/2936.81 c #Conflicts: 718000 | #Constraints: 34263
2929.10/2936.81 c #Conflicts: 719000 | #Constraints: 35263
2929.10/2936.81 c #Conflicts: 720000 | #Constraints: 36263
2929.10/2936.81 c #Conflicts: 721000 | #Constraints: 37263
2929.10/2936.81 c #Conflicts: 722000 | #Constraints: 38263
2929.10/2936.81 c INPROCESSING
2929.10/2936.81 c GARBAGE COLLECT
2929.10/2936.81 c #Conflicts: 723000 | #Constraints: 22469
2929.10/2936.81 c #Conflicts: 724000 | #Constraints: 23469
2929.10/2936.81 c #Conflicts: 725000 | #Constraints: 24469
2929.10/2936.81 c #Conflicts: 726000 | #Constraints: 25469
2929.10/2936.81 c #Conflicts: 727000 | #Constraints: 26469
2929.10/2936.81 c #Conflicts: 728000 | #Constraints: 27469
2929.10/2936.81 c #Conflicts: 729000 | #Constraints: 28469
2929.10/2936.81 c #Conflicts: 730000 | #Constraints: 29469
2929.10/2936.81 c #Conflicts: 731000 | #Constraints: 30469
2929.10/2936.81 c #Conflicts: 732000 | #Constraints: 31469
2929.10/2936.81 c #Conflicts: 733000 | #Constraints: 32469
2929.10/2936.81 c #Conflicts: 734000 | #Constraints: 33469
2929.10/2936.81 c #Conflicts: 735000 | #Constraints: 34469
2929.10/2936.81 c #Conflicts: 736000 | #Constraints: 35469
2929.10/2936.81 c #Conflicts: 737000 | #Constraints: 36469
2929.10/2936.81 c #Conflicts: 738000 | #Constraints: 37469
2929.10/2936.81 c #Conflicts: 739000 | #Constraints: 38469
2929.10/2936.81 c INPROCESSING
2929.10/2936.81 c GARBAGE COLLECT
2929.10/2936.81 c #Conflicts: 740000 | #Constraints: 22478
2929.10/2936.81 c #Conflicts: 741000 | #Constraints: 23478
2929.10/2936.81 c #Conflicts: 742000 | #Constraints: 24478
2929.10/2936.81 c #Conflicts: 743000 | #Constraints: 25478
2929.10/2936.81 c #Conflicts: 744000 | #Constraints: 26478
2929.10/2936.81 c #Conflicts: 745000 | #Constraints: 27478
2929.10/2936.81 c #Conflicts: 746000 | #Constraints: 28478
2929.10/2936.81 c #Conflicts: 747000 | #Constraints: 29478
2929.10/2936.81 c #Conflicts: 748000 | #Constraints: 30478
2929.10/2936.81 c #Conflicts: 749000 | #Constraints: 31478
2946.35/2954.14 c #Conflicts: 750000 | #Constraints: 32478
2946.35/2954.14 c GLOBAL bounds - >= 0 @ 2921.11
3095.86/3104.05 c #Conflicts: 751000 | #Constraints: 33480
3095.86/3104.05 c #Conflicts: 752000 | #Constraints: 34480
3095.86/3104.05 c #Conflicts: 753000 | #Constraints: 35480
3095.86/3104.05 c #Conflicts: 754000 | #Constraints: 36480
3095.86/3104.05 c #Conflicts: 755000 | #Constraints: 37480
3095.86/3104.05 c #Conflicts: 756000 | #Constraints: 38480
3095.86/3104.05 c INPROCESSING
3095.86/3104.05 c GARBAGE COLLECT
3095.86/3104.05 c #Conflicts: 757000 | #Constraints: 22254
3095.86/3104.05 c #Conflicts: 758000 | #Constraints: 23254
3095.86/3104.05 c #Conflicts: 759000 | #Constraints: 24254
3095.86/3104.05 c #Conflicts: 760000 | #Constraints: 25254
3095.86/3104.05 c #Conflicts: 761000 | #Constraints: 26254
3095.86/3104.05 c #Conflicts: 762000 | #Constraints: 27254
3095.86/3104.05 c #Conflicts: 763000 | #Constraints: 28254
3095.86/3104.05 c #Conflicts: 764000 | #Constraints: 29254
3095.86/3104.05 c #Conflicts: 765000 | #Constraints: 30254
3095.86/3104.05 c #Conflicts: 766000 | #Constraints: 31254
3095.86/3104.05 c #Conflicts: 767000 | #Constraints: 32254
3095.86/3104.05 c #Conflicts: 768000 | #Constraints: 33254
3095.86/3104.05 c #Conflicts: 769000 | #Constraints: 34254
3095.86/3104.05 c #Conflicts: 770000 | #Constraints: 35254
3095.86/3104.05 c #Conflicts: 771000 | #Constraints: 36254
3095.86/3104.05 c #Conflicts: 772000 | #Constraints: 37254
3095.86/3104.05 c GLOBAL bounds - >= 0 @ 3069.71
3166.86/3175.29 c #Conflicts: 773000 | #Constraints: 38256
3166.86/3175.29 c #Conflicts: 774000 | #Constraints: 39256
3166.86/3175.29 c INPROCESSING
3166.86/3175.29 c GARBAGE COLLECT
3166.86/3175.29 c #Conflicts: 775000 | #Constraints: 22851
3166.86/3175.29 c #Conflicts: 776000 | #Constraints: 23851
3166.86/3175.29 c #Conflicts: 777000 | #Constraints: 24851
3166.86/3175.29 c #Conflicts: 778000 | #Constraints: 25851
3166.86/3175.29 c #Conflicts: 779000 | #Constraints: 26851
3166.86/3175.29 c #Conflicts: 780000 | #Constraints: 27851
3166.86/3175.29 c #Conflicts: 781000 | #Constraints: 28851
3166.86/3175.29 c #Conflicts: 782000 | #Constraints: 29851
3166.86/3175.29 c #Conflicts: 783000 | #Constraints: 30851
3166.86/3175.29 c #Conflicts: 784000 | #Constraints: 31851
3166.86/3175.29 c #Conflicts: 785000 | #Constraints: 32851
3166.86/3175.29 c #Conflicts: 786000 | #Constraints: 33851
3166.86/3175.29 c GLOBAL bounds - >= 0 @ 3140.08
3191.00/3199.45 c #Conflicts: 787000 | #Constraints: 34853
3191.00/3199.45 c #Conflicts: 788000 | #Constraints: 35853
3191.00/3199.45 c #Conflicts: 789000 | #Constraints: 36853
3191.00/3199.45 c #Conflicts: 790000 | #Constraints: 37853
3191.00/3199.45 c #Conflicts: 791000 | #Constraints: 38853
3191.00/3199.45 c #Conflicts: 792000 | #Constraints: 39853
3191.00/3199.45 c INPROCESSING
3191.00/3199.45 c GARBAGE COLLECT
3191.00/3199.45 c GLOBAL bounds - >= 0 @ 3164
3193.89/3202.31 c GLOBAL bounds - >= 0 @ 3166.83
3195.59/3204.07 c #Conflicts: 793000 | #Constraints: 23263
3195.59/3204.07 c GLOBAL bounds - >= 0 @ 3168.56
3202.67/3211.12 c #Conflicts: 794000 | #Constraints: 24265
3202.67/3211.12 c #Conflicts: 795000 | #Constraints: 25265
3202.67/3211.12 c GLOBAL bounds - >= 0 @ 3175.52
3209.44/3217.95 c #Conflicts: 796000 | #Constraints: 26267
3209.44/3217.95 c GLOBAL bounds - >= 0 @ 3182.28
3353.76/3362.62 c #Conflicts: 797000 | #Constraints: 27269
3353.76/3362.62 c #Conflicts: 798000 | #Constraints: 28269
3353.76/3362.62 c #Conflicts: 799000 | #Constraints: 29269
3353.76/3362.62 c #Conflicts: 800000 | #Constraints: 30269
3353.76/3362.62 c #Conflicts: 801000 | #Constraints: 31269
3353.76/3362.62 c #Conflicts: 802000 | #Constraints: 32269
3353.76/3362.62 c #Conflicts: 803000 | #Constraints: 33269
3353.76/3362.62 c #Conflicts: 804000 | #Constraints: 34269
3353.76/3362.62 c #Conflicts: 805000 | #Constraints: 35269
3353.76/3362.62 c #Conflicts: 806000 | #Constraints: 36269
3353.76/3362.62 c #Conflicts: 807000 | #Constraints: 37269
3353.76/3362.62 c #Conflicts: 808000 | #Constraints: 38269
3353.76/3362.62 c #Conflicts: 809000 | #Constraints: 39269
3353.76/3362.62 c #Conflicts: 810000 | #Constraints: 40269
3353.76/3362.62 c INPROCESSING
3353.76/3362.62 c GARBAGE COLLECT
3353.76/3362.62 c #Conflicts: 811000 | #Constraints: 23477
3353.76/3362.62 c #Conflicts: 812000 | #Constraints: 24477
3353.76/3362.62 c #Conflicts: 813000 | #Constraints: 25477
3353.76/3362.62 c #Conflicts: 814000 | #Constraints: 26477
3353.76/3362.62 c #Conflicts: 815000 | #Constraints: 27477
3353.76/3362.62 c #Conflicts: 816000 | #Constraints: 28477
3353.76/3362.62 c #Conflicts: 817000 | #Constraints: 29477
3353.76/3362.62 c GLOBAL bounds - >= 0 @ 3325.59
3582.24/3591.79 c #Conflicts: 818000 | #Constraints: 30479
3582.24/3591.79 c #Conflicts: 819000 | #Constraints: 31479
3582.24/3591.79 c #Conflicts: 820000 | #Constraints: 32479
3582.24/3591.79 c #Conflicts: 821000 | #Constraints: 33479
3582.24/3591.79 c #Conflicts: 822000 | #Constraints: 34479
3582.24/3591.79 c #Conflicts: 823000 | #Constraints: 35479
3582.24/3591.79 c #Conflicts: 824000 | #Constraints: 36479
3582.24/3591.79 c #Conflicts: 825000 | #Constraints: 37479
3582.24/3591.79 c #Conflicts: 826000 | #Constraints: 38479
3582.24/3591.79 c #Conflicts: 827000 | #Constraints: 39479
3582.24/3591.79 c #Conflicts: 828000 | #Constraints: 40479
3582.24/3591.79 c INPROCESSING
3582.24/3591.79 c GARBAGE COLLECT
3582.24/3591.79 c #Conflicts: 829000 | #Constraints: 23481
3582.24/3591.79 c #Conflicts: 830000 | #Constraints: 24481
3582.24/3591.79 c #Conflicts: 831000 | #Constraints: 25481
3582.24/3591.79 c #Conflicts: 832000 | #Constraints: 26481
3582.24/3591.79 c #Conflicts: 833000 | #Constraints: 27481
3582.24/3591.79 c #Conflicts: 834000 | #Constraints: 28481
3582.24/3591.79 c #Conflicts: 835000 | #Constraints: 29481
3582.24/3591.79 c #Conflicts: 836000 | #Constraints: 30481
3582.24/3591.79 c #Conflicts: 837000 | #Constraints: 31481
3582.24/3591.79 c #Conflicts: 838000 | #Constraints: 32481
3582.24/3591.79 c #Conflicts: 839000 | #Constraints: 33481
3582.24/3591.79 c #Conflicts: 840000 | #Constraints: 34481
3582.24/3591.79 c #Conflicts: 841000 | #Constraints: 35481
3582.24/3591.79 c #Conflicts: 842000 | #Constraints: 36481
3582.24/3591.79 c #Conflicts: 843000 | #Constraints: 37481
3582.24/3591.79 c #Conflicts: 844000 | #Constraints: 38481
3582.24/3591.79 c #Conflicts: 845000 | #Constraints: 39481
3582.24/3591.79 c #Conflicts: 846000 | #Constraints: 40481
3582.24/3591.79 c INPROCESSING
3582.24/3591.79 c GARBAGE COLLECT
3582.24/3591.79 c #Conflicts: 847000 | #Constraints: 23273
3582.24/3591.79 c #Conflicts: 848000 | #Constraints: 24273
3582.24/3591.79 c #Conflicts: 849000 | #Constraints: 25273
3582.24/3591.79 c #Conflicts: 850000 | #Constraints: 26273
3582.24/3591.79 c #Conflicts: 851000 | #Constraints: 27273
3582.24/3591.79 c #Conflicts: 852000 | #Constraints: 28273
3582.24/3591.79 c #Conflicts: 853000 | #Constraints: 29273
3582.24/3591.79 c #Conflicts: 854000 | #Constraints: 30273
3582.24/3591.79 c #Conflicts: 855000 | #Constraints: 31273
3582.24/3591.79 c GLOBAL bounds - >= 0 @ 3552.73
3600.09/3609.60 c #Conflicts: 856000 | #Constraints: 32275
3600.09/3609.60 c #Conflicts: 857000 | #Constraints: 33275
3600.09/3609.60 c #Conflicts: 858000 | #Constraints: 34275
3600.09/3609.60 c cpu time 3570.32 s
3600.09/3609.60 c deterministic time 1 1.00e+00
3600.09/3609.60 c optimization time 3570.3 s
3600.09/3609.60 c total solve time 0 s
3600.09/3609.60 c core-guided solve time 0 s
3600.09/3609.60 c propagation time 0.001269 s
3600.09/3609.60 c conflict analysis time 0 s
3600.09/3609.60 c propagations 0
3600.09/3609.60 c resolve steps 0
3600.09/3609.60 c decisions 0
3600.09/3609.60 c conflicts 0
3600.09/3609.60 c restarts 0
3600.09/3609.60 c inprocessing phases 0
3600.09/3609.60 c garbage collections 0 ,( -nan )
3600.09/3609.60 c input clauses 4060 ,( 100.00 )
3600.09/3609.60 c input cardinalities 0 ,( 0.00 )
3600.09/3609.60 c input general constraints 0 ,( 0.00 )
3600.09/3609.60 c input average constraint length 4.00
3600.09/3609.60 c input average constraint degree 1.00
3600.09/3609.60 c learned clauses 0 ,( 0.00 )
3600.09/3609.60 c learned cardinalities 0 ,( 0.00 )
3600.09/3609.60 c learned general constraints 0 ,( 0.00 )
3600.09/3609.60 c learned average constraint length 0.00
3600.09/3609.60 c learned average constraint degree 0.00
3600.09/3609.60 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3609.60 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.09/3609.60 c watched constraints 0 ,( -nan )
3600.09/3609.60 c counting constraints 0 ,( -nan )
3600.09/3609.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3609.60 c gcd simplifications 0
3600.09/3609.60 c detected cardinalities 0
3600.09/3609.60 c weakened non-implied lits 0
3600.09/3609.60 c weakened non-implying lits 0
3600.09/3609.60 c original variables 4060
3600.09/3609.60 c clausal propagations 0
3600.09/3609.60 c cardinality propagations 0
3600.09/3609.60 c watched propagations 0
3600.09/3609.60 c counting propagations 0
3600.09/3609.60 c watch lookups 0
3600.09/3609.60 c watch backjump lookups 0
3600.09/3609.60 c watch checks 0
3600.09/3609.60 c propagation checks 0
3600.09/3609.60 c constraint additions 0
3600.09/3609.60 c trail pops 0
3600.09/3609.60 c formula constraints 4060
3600.09/3609.60 c learned constraints 0
3600.09/3609.60 c bound constraints 0
3600.09/3609.60 c core-guided constraints 0
3600.09/3609.60 c encountered formula constraints 0
3600.09/3609.60 c encountered learned constraints 0
3600.09/3609.60 c encountered bound constraints 0
3600.09/3609.60 c encountered core-guided constraints 0
3600.09/3609.60 c LP total time 0 s
3600.09/3609.60 c LP solve time 0 s
3600.09/3609.60 c LP constraints added 0
3600.09/3609.60 c LP constraints removed 0
3600.09/3609.60 c LP pivots internal 0
3600.09/3609.60 c LP pivots root 0
3600.09/3609.60 c LP calls 0
3600.09/3609.60 c LP optimalities 0
3600.09/3609.60 c LP no pivot count 0
3600.09/3609.60 c LP infeasibilities 0
3600.09/3609.60 c LP valid Farkas constraints 0
3600.09/3609.60 c LP learned Farkas constraints 0
3600.09/3609.60 c LP basis resets 0
3600.09/3609.60 c LP cycling count 0
3600.09/3609.60 c LP singular count 0
3600.09/3609.60 c LP no primal count 0
3600.09/3609.60 c LP no farkas count 0
3600.09/3609.60 c LP other issue count 0
3600.09/3609.60 c LP Gomory cuts 0
3600.09/3609.60 c LP learned cuts 0
3600.09/3609.60 c LP deleted cuts 0
3600.09/3609.60 c LP encountered Gomory constraints 0
3600.09/3609.60 c LP encountered Farkas constraints 0
3600.09/3609.60 c LP encountered learned Farkas constraints 0
3600.09/3609.60 c CG auxiliary variables introduced 0
3600.09/3609.60 c CG solutions found 0
3600.09/3609.60 c CG cores constructed 0
3600.09/3609.60 c CG core cardinality constraints returned 0
3600.09/3609.60 c CG unit cores 0
3600.09/3609.60 c CG single cores 0
3600.09/3609.60 c CG blocks removed during cardinality reduction 0
3600.09/3609.60 c CG first core best 0
3600.09/3609.60 c CG decision core best 0
3600.09/3609.60 c CG core reduction tie 0
3600.09/3609.60 c CG core degree average 0.00
3600.09/3609.60 c CG core slack average 0.00
3600.09/3609.60 c CG core upper bound improvements 0
3600.09/3609.60 c STR number of successful calls 0
3600.09/3609.60 c STR number of unsuccessful calls 0
3600.09/3609.60 c STR number of inconclusive calls 0
3600.09/3609.60 c STR number of successful attempts 0
3600.09/3609.60 c STR number of unsuccessful attempts 0
3600.09/3609.60 c STR number of inconclusive attempts 0
3600.09/3609.60 c STR average degree increase per successful call inf
3600.09/3609.60 c STR average degree increase per successful attempt inf
3600.09/3609.60 c STR total number of conflicts for successful attempts 0
3600.09/3609.60 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.60 c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.60 c STR average number of conflicts per successful attempt inf
3600.09/3609.60 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.60 c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.60 c AVG.sumWPerc -nan
3600.09/3609.60 c bigint constraints 0
3600.09/3609.60 s UNKNOWN
3600.09/3609.60 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: 63708 MiB (62874 MiB free)
memory of node 1: 64465 MiB (63809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520757-1751579055/watcher-4520757-1751579055 -o /tmp/evaluation-result-4520757-1751579055/solver-4520757-1751579055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83034 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520757-1751579055.opb PROOFDIR/proof-4520757-1751579055
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 FSIZE limit: 102400000 KiB
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
Current StackSize limit: 8192 KiB
solver pid=83085, runsolver pid=83073
[startup+0.100062 s]*
/proc/loadavg: 0.58 1.51 2.52 7/268 83094
/proc/meminfo: memFree=129696088/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=67044 memory=17432 CPUtime=0.03 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 2960 0 0 0 2 1 0 0 20 0 1 0 73583098 68653056 4358 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 16761 4358 2304 1147 0 4188 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 71236 KiB
Current children cumulated memory: 20376 KiB
[startup+0.205729 s]*
/proc/loadavg: 0.58 1.51 2.52 7/268 83094
/proc/meminfo: memFree=129665784/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=74708 memory=28416 CPUtime=0.13 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 5166 0 0 0 11 2 0 0 20 0 1 0 73583098 76500992 7104 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 18677 7104 2336 1147 0 6104 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 78900 KiB
Current children cumulated memory: 31360 KiB
[startup+0.305667 s]*
/proc/loadavg: 0.58 1.51 2.52 7/268 83094
/proc/meminfo: memFree=129617524/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=85916 memory=39912 CPUtime=0.24 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 7529 0 0 0 21 3 0 0 20 0 1 0 73583098 87977984 9978 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 21479 9978 2336 1147 0 8906 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 90108 KiB
Current children cumulated memory: 42856 KiB
[startup+0.700184 s]
/proc/loadavg: 0.58 1.51 2.52 7/268 83094
/proc/meminfo: memFree=129535876/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=115212 memory=67096 CPUtime=0.62 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 12796 0 0 0 57 5 0 0 20 0 1 0 73583098 117977088 16774 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 28803 16774 2336 1147 0 16230 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 119404 KiB
Current children cumulated memory: 70040 KiB
[startup+1.50019 s]
/proc/loadavg: 0.58 1.51 2.52 7/268 83094
/proc/meminfo: memFree=129374892/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=245876 memory=162312 CPUtime=1.42 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 33014 0 0 0 132 10 0 0 20 0 1 0 73583098 251777024 40578 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 61469 40578 2336 1147 0 48896 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 250068 KiB
Current children cumulated memory: 165256 KiB
[startup+3.10554 s]
/proc/loadavg: 0.85 1.55 2.53 7/268 83094
/proc/meminfo: memFree=128875160/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=279584 memory=214540 CPUtime=3.02 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 39934 0 0 0 286 16 0 0 20 0 1 0 73583098 286294016 53635 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 69896 53635 2336 1147 0 57323 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 283776 KiB
Current children cumulated memory: 217484 KiB
[startup+6.30018 s]
/proc/loadavg: 0.85 1.55 2.53 7/269 83095
/proc/meminfo: memFree=128452724/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=461792 memory=341168 CPUtime=6.21 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 65503 0 0 0 597 24 0 0 20 0 1 0 73583098 472875008 85292 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 115448 85292 2336 1147 0 102875 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 465984 KiB
Current children cumulated memory: 344112 KiB
[startup+12.7002 s]
/proc/loadavg: 1.41 1.65 2.55 7/271 83097
/proc/meminfo: memFree=127935516/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=463780 memory=375640 CPUtime=12.59 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 70021 0 0 0 1226 33 0 0 20 0 1 0 73583098 474910720 93910 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 115945 93910 2336 1147 0 103372 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 467972 KiB
Current children cumulated memory: 378584 KiB
[startup+25.5002 s]
/proc/loadavg: 1.81 1.72 2.57 7/271 83097
/proc/meminfo: memFree=126615408/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=1305508 memory=958824 CPUtime=25.36 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 206627 0 0 0 2468 68 0 0 20 0 1 0 73583098 1336840192 239706 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 326377 239706 2336 1147 0 313804 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1309700 KiB
Current children cumulated memory: 961768 KiB
[startup+51.1057 s]
/proc/loadavg: 2.63 1.92 2.61 7/272 83098
/proc/meminfo: memFree=125039892/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=1308056 memory=970316 CPUtime=50.9 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 208458 0 0 0 4990 100 0 0 20 0 1 0 73583098 1339449344 242579 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 327014 242579 2336 1147 0 314441 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1312248 KiB
Current children cumulated memory: 973260 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.31 2.70 7/272 83100
/proc/meminfo: memFree=122806564/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=1322828 memory=1064532 CPUtime=101.97 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 221310 0 0 0 10037 160 0 0 20 0 1 0 73583098 1354575872 266133 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 330707 266133 2336 1147 0 318134 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1327020 KiB
Current children cumulated memory: 1067476 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.63 2.79 7/273 83109
/proc/meminfo: memFree=120905464/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=1478572 memory=1140788 CPUtime=161.81 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 233223 0 0 0 15945 236 0 0 20 0 1 0 73583098 1514057728 285197 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 369643 285197 2336 1147 0 357070 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1482764 KiB
Current children cumulated memory: 1143732 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.91 2.88 7/272 83111
/proc/meminfo: memFree=118895888/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=1946440 memory=1478760 CPUtime=221.65 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 306009 0 0 0 21847 318 0 0 20 0 1 0 73583098 1993154560 369690 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 486610 369690 2336 1147 0 474037 0
################
# More data... #
################
[pid=83089] ppid=83085 vsize=3854196 memory=3109316 CPUtime=3094.15 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 597450 0 0 0 306797 2618 0 0 20 0 1 0 73583098 3946696704 777329 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 963549 777329 2336 1147 0 950976 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 3858388 KiB
Current children cumulated memory: 3112260 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.03 7/272 83285
/proc/meminfo: memFree=55452376/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=3871568 memory=3196416 CPUtime=3154 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 605140 0 0 0 312721 2679 0 0 20 0 1 0 73583098 3964485632 799104 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 967892 799104 2336 1147 0 955319 0
Current children cumulated CPU time: 3154 s
Current children cumulated vsize: 3875760 KiB
Current children cumulated memory: 3199360 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.03 7/273 83288
/proc/meminfo: memFree=54534908/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=3881528 memory=3212848 CPUtime=3213.84 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 607798 0 0 0 318658 2726 0 0 20 0 1 0 73583098 3974684672 803212 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 970382 803212 2336 1147 0 957809 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 3885720 KiB
Current children cumulated memory: 3215792 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.04 7/272 83290
/proc/meminfo: memFree=53832076/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=3881528 memory=3212848 CPUtime=3273.67 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 608082 0 0 0 324599 2768 0 0 20 0 1 0 73583098 3974684672 803212 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 970382 803212 2336 1147 0 957809 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 3885720 KiB
Current children cumulated memory: 3215792 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.04 7/272 83292
/proc/meminfo: memFree=52985076/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=3892776 memory=3235916 CPUtime=3333.51 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 611791 0 0 0 330546 2805 0 0 20 0 1 0 73583098 3986202624 808979 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 973194 808979 2336 1147 0 960621 0
Current children cumulated CPU time: 3333.51 s
Current children cumulated vsize: 3896968 KiB
Current children cumulated memory: 3238860 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.12 4.05 7/272 83294
/proc/meminfo: memFree=52336684/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=3892776 memory=3236044 CPUtime=3393.35 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 612146 0 0 0 336492 2843 0 0 20 0 1 0 73583098 3986202624 809011 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 973194 809011 2336 1147 0 960621 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 3896968 KiB
Current children cumulated memory: 3238988 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.05 7/271 83296
/proc/meminfo: memFree=51067608/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=3912728 memory=3291032 CPUtime=3453.18 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 620870 0 0 0 342439 2879 0 0 20 0 1 0 73583098 4006633472 822758 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 978182 822758 2336 1147 0 965609 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 3916920 KiB
Current children cumulated memory: 3293976 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.05 7/271 83298
/proc/meminfo: memFree=49727320/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=3912728 memory=3291160 CPUtime=3513.02 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 620877 0 0 0 348388 2914 0 0 20 0 1 0 73583098 4006633472 822790 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 978182 822790 2336 1147 0 965609 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 3916920 KiB
Current children cumulated memory: 3294104 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.06 7/271 83300
/proc/meminfo: memFree=48882172/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=3912728 memory=3292056 CPUtime=3572.86 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 621548 0 0 0 354330 2956 0 0 20 0 1 0 73583098 4006633472 823014 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 978182 823014 2336 1147 0 965609 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 3916920 KiB
Current children cumulated memory: 3295000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.10 4.11 4.06 7/271 83301
/proc/meminfo: memFree=48408924/131249988 swapFree=33010160/33010684
[pid=83085] ppid=83073 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83085/stat : 83085 (run-opt-log.sh) S 83073 83085 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73583097 4292608 736 18446744073709551615 93959919673344 93959920567877 140734107251488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93959920806928 93959920854672 93959940993024 140734107253025 140734107253220 140734107253220 140734107258822 0
/proc/83085/statm: 1048 736 672 219 0 110 0
[pid=83089] ppid=83085 vsize=3912728 memory=3292824 CPUtime=3600.09 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83085 83085 83021 0 -1 4194304 621623 0 0 0 357032 2977 0 0 20 0 1 0 73583098 4006633472 823206 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 978182 823206 2336 1147 0 965609 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3916920 KiB
Current children cumulated memory: 3295768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 83085 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00094 s, system=0.001863 s
[startup+3609.76 s]
# the end of solver process 83089 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3570.33 s, system=29.8674 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.7 s]*
/proc/loadavg: 4.10 4.11 4.06 5/270 83301
/proc/meminfo: memFree=49028420/131249988 swapFree=33010160/33010684
[pid=83089] ppid=83073 vsize=3823184 memory=2546248 CPUtime=3600.14 cores=5,7
/proc/83089/stat : 83089 (roundingsat) R 83073 83085 83021 0 -1 4194304 621726 0 0 0 357032 2982 0 0 20 0 1 0 73583098 3914940416 636562 18446744073709551615 4227072 8923433 140730143988928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10420224 140730143992146 140730143992360 140730143992360 140730143997930 0
/proc/83089/statm: 955796 636562 2432 1147 0 943223 0
Current cumulated CPU time of completed processes: 0.002803 s
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 3823184 KiB
Current children cumulated memory: 2546248 KiB
Child status: 2
Real time (s): 3609.76
CPU time (s): 3600.19
CPU user time (s): 3570.33
CPU system time (s): 29.8674
CPU usage (%): 99.7351
Max. virtual memory (cumulated for all children) (KiB): 3916920
Max. memory (cumulated for all children) (KiB): 3295768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.33
system time used= 29.8674
maximum resident set size= 3293208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 621950
page faults= 0
swaps= 0
block input operations= 0
block output operations= 31214080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1890
involuntary context switches= 4845
# summary of solver processes directly reported to runsolver:
# pid: 83085,83089
# total CPU time (s): 3600.19
# total CPU user time (s): 3570.33
# total CPU system time (s): 29.8674
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62937 second user time and 16.8163 second system time
The end
Begin job on nodeC020 at 2025-07-03 23:44:15
IDJOB=4520757
IDBENCH=178124
IDSOLVER=3351
FILE ID=nodeC020/4520757-1751579055
RUNJOBID= nodeC020-1751579055-83034
SLURM_JOB_ID= 9598813
Free space on /tmp= 431780 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520757-1751579055/watcher-4520757-1751579055 -o /tmp/evaluation-result-4520757-1751579055/solver-4520757-1751579055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83034 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520757-1751579055.opb PROOFDIR/proof-4520757-1751579055
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ae0481323a61a83bdee40ab7f1cf5730
RANDOM SEED=1054558691
nodeC020 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 : 1731.744
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 : 6999.79
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 : 3599.872
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 : 6999.79
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 : 1767.534
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 : 6999.79
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 : 3599.980
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 : 6999.79
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 : 1761.963
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 : 6999.79
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 : 3602.006
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 : 6999.79
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 : 3583.630
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 : 6999.79
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 : 3599.883
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 : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129733652 kB
MemAvailable: 129748728 kB
Buffers: 2128 kB
Cached: 807396 kB
SwapCached: 8 kB
Active: 642876 kB
Inactive: 242000 kB
Active(anon): 68824 kB
Inactive(anon): 24572 kB
Active(file): 574052 kB
Inactive(file): 217428 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22720 kB
Writeback: 0 kB
AnonPages: 78596 kB
Mapped: 103692 kB
Shmem: 18044 kB
KReclaimable: 125668 kB
Slab: 217212 kB
SReclaimable: 125668 kB
SUnreclaim: 91544 kB
KernelStack: 4096 kB
PageTables: 2928 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 341016 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431748 MiB
End job on nodeC020 at 2025-07-04 00:44:25