0.00/0.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.00/0.09	c #variables 4060 #constraints 4060
0.00/0.09	c objective is ce32 
0.07/0.12	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.12	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.12	c GLOBAL bounds - >= 0 @ 0.052736
0.07/0.13	c GLOBAL bounds - >= 0 @ 0.057439
0.07/0.17	c GLOBAL bounds - >= 0 @ 0.090485
0.07/0.20	c GLOBAL bounds - >= 0 @ 0.114443
0.19/0.28	c GLOBAL bounds - >= 0 @ 0.188439
0.28/0.40	c GLOBAL bounds - >= 0 @ 0.299373
0.48/0.57	c GLOBAL bounds - >= 0 @ 0.446099
0.57/0.68	c GLOBAL bounds - >= 0 @ 0.545245
0.65/0.78	c GLOBAL bounds - >= 0 @ 0.64504
0.85/0.93	c GLOBAL bounds - >= 0 @ 0.77147
0.97/1.05	c GLOBAL bounds - >= 0 @ 0.884938
1.25/1.33	c GLOBAL bounds - >= 0 @ 1.14961
1.35/1.49	c GLOBAL bounds - >= 0 @ 1.28726
1.45/1.58	c GLOBAL bounds - >= 0 @ 1.37252
1.55/1.69	c GLOBAL bounds - >= 0 @ 1.4786
1.75/1.86	c GLOBAL bounds - >= 0 @ 1.6442
1.96/2.11	c GLOBAL bounds - >= 0 @ 1.88471
2.15/2.27	c #Conflicts:       1000 | #Constraints:       5090
2.15/2.27	c GLOBAL bounds - >= 0 @ 2.03394
3.14/3.21	c GLOBAL bounds - >= 0 @ 2.93849
3.35/3.47	c GLOBAL bounds - >= 0 @ 3.1866
3.85/3.96	c #Conflicts:       2000 | #Constraints:       6096
3.85/3.96	c INPROCESSING
3.85/3.96	c GARBAGE COLLECT
3.85/3.96	c GLOBAL bounds - >= 0 @ 3.66437
4.44/4.53	c GLOBAL bounds - >= 0 @ 4.23104
4.64/4.78	c GLOBAL bounds - >= 0 @ 4.47066
5.34/5.44	c #Conflicts:       3000 | #Constraints:       6150
5.34/5.44	c GLOBAL bounds - >= 0 @ 5.10125
6.05/6.19	c GLOBAL bounds - >= 0 @ 5.81888
6.53/6.64	c GLOBAL bounds - >= 0 @ 6.25391
8.23/8.30	c #Conflicts:       4000 | #Constraints:       7156
8.23/8.30	c INPROCESSING
8.23/8.30	c GARBAGE COLLECT
8.23/8.30	c GLOBAL bounds - >= 0 @ 7.88101
9.03/9.14	c #Conflicts:       5000 | #Constraints:       6589
9.03/9.14	c GLOBAL bounds - >= 0 @ 8.7079
17.10/17.21	c #Conflicts:       6000 | #Constraints:       7591
17.10/17.21	c INPROCESSING
17.10/17.21	c GARBAGE COLLECT
17.10/17.21	c #Conflicts:       7000 | #Constraints:       6605
17.10/17.21	c #Conflicts:       8000 | #Constraints:       7605
17.10/17.21	c #Conflicts:       9000 | #Constraints:       8605
17.10/17.21	c INPROCESSING
17.10/17.21	c GARBAGE COLLECT
17.10/17.21	c GLOBAL bounds - >= 0 @ 16.6602
17.60/17.72	c GLOBAL bounds - >= 0 @ 17.1548
18.90/19.06	c #Conflicts:      10000 | #Constraints:       7309
18.90/19.06	c GLOBAL bounds - >= 0 @ 18.4793
19.20/19.35	c GLOBAL bounds - >= 0 @ 18.7588
19.49/19.64	c GLOBAL bounds - >= 0 @ 19.0398
20.01/20.17	c #Conflicts:      11000 | #Constraints:       8315
20.01/20.17	c GLOBAL bounds - >= 0 @ 19.5546
20.49/20.69	c GLOBAL bounds - >= 0 @ 20.0252
21.19/21.32	c GLOBAL bounds - >= 0 @ 20.6317
21.79/21.98	c GLOBAL bounds - >= 0 @ 21.1306
22.19/22.39	c GLOBAL bounds - >= 0 @ 21.5298
23.08/23.27	c #Conflicts:      12000 | #Constraints:       9325
23.08/23.27	c INPROCESSING
23.08/23.27	c GARBAGE COLLECT
23.08/23.27	c GLOBAL bounds - >= 0 @ 22.391
24.08/24.29	c GLOBAL bounds - >= 0 @ 23.3921
25.57/25.75	c #Conflicts:      13000 | #Constraints:       7798
25.57/25.75	c GLOBAL bounds - >= 0 @ 24.8168
28.76/28.91	c #Conflicts:      14000 | #Constraints:       8800
28.76/28.91	c #Conflicts:      15000 | #Constraints:       9800
28.76/28.91	c INPROCESSING
28.76/28.91	c GARBAGE COLLECT
28.76/28.91	c GLOBAL bounds - >= 0 @ 27.9364
28.98/29.17	c GLOBAL bounds - >= 0 @ 28.1901
29.36/29.56	c GLOBAL bounds - >= 0 @ 28.5721
30.26/30.46	c #Conflicts:      16000 | #Constraints:       8043
30.26/30.46	c GLOBAL bounds - >= 0 @ 29.4474
34.45/34.62	c #Conflicts:      17000 | #Constraints:       9045
34.45/34.62	c #Conflicts:      18000 | #Constraints:      10045
34.45/34.62	c INPROCESSING
34.45/34.62	c GARBAGE COLLECT
34.45/34.62	c GLOBAL bounds - >= 0 @ 33.5678
36.54/36.77	c #Conflicts:      19000 | #Constraints:       8069
36.54/36.77	c GLOBAL bounds - >= 0 @ 35.6942
57.96/58.25	c #Conflicts:      20000 | #Constraints:       9071
57.96/58.25	c #Conflicts:      21000 | #Constraints:      10071
57.96/58.25	c INPROCESSING
57.96/58.25	c GARBAGE COLLECT
57.96/58.25	c #Conflicts:      22000 | #Constraints:       7869
57.96/58.25	c #Conflicts:      23000 | #Constraints:       8869
57.96/58.25	c #Conflicts:      24000 | #Constraints:       9869
57.96/58.25	c #Conflicts:      25000 | #Constraints:      10869
57.96/58.25	c INPROCESSING
57.96/58.25	c GARBAGE COLLECT
57.96/58.25	c #Conflicts:      26000 | #Constraints:       8470
57.96/58.25	c #Conflicts:      27000 | #Constraints:       9470
57.96/58.25	c #Conflicts:      28000 | #Constraints:      10470
57.96/58.25	c GLOBAL bounds - >= 0 @ 56.8948
62.45/62.71	c #Conflicts:      29000 | #Constraints:      11472
62.45/62.71	c INPROCESSING
62.45/62.71	c GARBAGE COLLECT
62.45/62.71	c #Conflicts:      30000 | #Constraints:       8854
62.45/62.71	c GLOBAL bounds - >= 0 @ 61.3031
62.66/62.96	c #Conflicts:      31000 | #Constraints:       9856
62.66/62.96	c GLOBAL bounds - >= 0 @ 61.5443
63.25/63.54	c GLOBAL bounds - >= 0 @ 62.1114
65.25/65.59	c #Conflicts:      32000 | #Constraints:      10860
65.25/65.59	c GLOBAL bounds - >= 0 @ 64.1313
66.64/66.94	c GLOBAL bounds - >= 0 @ 65.454
68.04/68.30	c #Conflicts:      33000 | #Constraints:      11864
68.04/68.30	c INPROCESSING
68.04/68.30	c GARBAGE COLLECT
68.04/68.30	c GLOBAL bounds - >= 0 @ 66.7796
68.34/68.61	c GLOBAL bounds - >= 0 @ 67.0783
68.63/69.00	c GLOBAL bounds - >= 0 @ 67.4653
69.04/69.33	c GLOBAL bounds - >= 0 @ 67.7858
78.90/79.30	c #Conflicts:      34000 | #Constraints:       9081
78.90/79.30	c #Conflicts:      35000 | #Constraints:      10081
78.90/79.30	c #Conflicts:      36000 | #Constraints:      11081
78.90/79.30	c #Conflicts:      37000 | #Constraints:      12081
78.90/79.30	c INPROCESSING
78.90/79.30	c GARBAGE COLLECT
78.90/79.30	c #Conflicts:      38000 | #Constraints:       9099
78.90/79.30	c #Conflicts:      39000 | #Constraints:      10099
78.90/79.30	c GLOBAL bounds - >= 0 @ 77.6584
92.77/93.14	c #Conflicts:      40000 | #Constraints:      11101
92.77/93.14	c #Conflicts:      41000 | #Constraints:      12101
92.77/93.14	c INPROCESSING
92.77/93.14	c GARBAGE COLLECT
92.77/93.14	c #Conflicts:      42000 | #Constraints:       8906
92.77/93.14	c #Conflicts:      43000 | #Constraints:       9906
92.77/93.14	c #Conflicts:      44000 | #Constraints:      10906
92.77/93.14	c #Conflicts:      45000 | #Constraints:      11906
92.77/93.14	c #Conflicts:      46000 | #Constraints:      12906
92.77/93.14	c INPROCESSING
92.77/93.14	c GARBAGE COLLECT
92.77/93.14	c GLOBAL bounds - >= 0 @ 91.3737
93.35/93.75	c GLOBAL bounds - >= 0 @ 91.9793
93.76/94.16	c GLOBAL bounds - >= 0 @ 92.3793
94.15/94.59	c GLOBAL bounds - >= 0 @ 92.8038
95.24/95.69	c #Conflicts:      47000 | #Constraints:       9517
95.24/95.69	c GLOBAL bounds - >= 0 @ 93.8835
99.04/99.46	c #Conflicts:      48000 | #Constraints:      10519
99.04/99.46	c GLOBAL bounds - >= 0 @ 97.6051
99.53/99.96	c #Conflicts:      49000 | #Constraints:      11521
99.53/99.96	c GLOBAL bounds - >= 0 @ 98.0919
100.33/100.71	c GLOBAL bounds - >= 0 @ 98.8325
102.63/103.03	c #Conflicts:      50000 | #Constraints:      12525
102.63/103.03	c GLOBAL bounds - >= 0 @ 101.115
103.22/103.66	c GLOBAL bounds - >= 0 @ 101.725
105.12/105.56	c #Conflicts:      51000 | #Constraints:      13529
105.12/105.56	c INPROCESSING
105.12/105.56	c GARBAGE COLLECT
105.12/105.56	c GLOBAL bounds - >= 0 @ 103.603
108.81/109.22	c #Conflicts:      52000 | #Constraints:       9946
108.81/109.22	c #Conflicts:      53000 | #Constraints:      10946
108.81/109.22	c GLOBAL bounds - >= 0 @ 107.231
109.30/109.74	c GLOBAL bounds - >= 0 @ 107.736
110.71/111.16	c #Conflicts:      54000 | #Constraints:      11950
110.71/111.16	c GLOBAL bounds - >= 0 @ 109.126
120.68/121.14	c #Conflicts:      55000 | #Constraints:      12952
120.68/121.14	c #Conflicts:      56000 | #Constraints:      13952
120.68/121.14	c INPROCESSING
120.68/121.14	c GARBAGE COLLECT
120.68/121.14	c #Conflicts:      57000 | #Constraints:      10152
120.68/121.14	c GLOBAL bounds - >= 0 @ 118.968
123.96/124.48	c #Conflicts:      58000 | #Constraints:      11154
123.96/124.48	c #Conflicts:      59000 | #Constraints:      12154
123.96/124.48	c GLOBAL bounds - >= 0 @ 122.266
152.76/153.40	c #Conflicts:      60000 | #Constraints:      13156
152.76/153.40	c #Conflicts:      61000 | #Constraints:      14156
152.76/153.40	c INPROCESSING
152.76/153.40	c GARBAGE COLLECT
152.76/153.40	c #Conflicts:      62000 | #Constraints:      10151
152.76/153.40	c #Conflicts:      63000 | #Constraints:      11151
152.76/153.40	c #Conflicts:      64000 | #Constraints:      12151
152.76/153.40	c #Conflicts:      65000 | #Constraints:      13151
152.76/153.40	c #Conflicts:      66000 | #Constraints:      14151
152.76/153.40	c INPROCESSING
152.76/153.40	c GARBAGE COLLECT
152.76/153.40	c #Conflicts:      67000 | #Constraints:       9942
152.76/153.40	c #Conflicts:      68000 | #Constraints:      10942
152.76/153.40	c #Conflicts:      69000 | #Constraints:      11942
152.76/153.40	c #Conflicts:      70000 | #Constraints:      12942
152.76/153.40	c #Conflicts:      71000 | #Constraints:      13942
152.76/153.40	c GLOBAL bounds - >= 0 @ 150.853
155.36/155.99	c #Conflicts:      72000 | #Constraints:      14944
155.36/155.99	c INPROCESSING
155.36/155.99	c GARBAGE COLLECT
155.36/155.99	c GLOBAL bounds - >= 0 @ 153.426
159.34/160.01	c #Conflicts:      73000 | #Constraints:      10532
159.34/160.01	c #Conflicts:      74000 | #Constraints:      11532
159.34/160.01	c GLOBAL bounds - >= 0 @ 157.359
163.54/164.16	c #Conflicts:      75000 | #Constraints:      12534
163.54/164.16	c #Conflicts:      76000 | #Constraints:      13534
163.54/164.16	c GLOBAL bounds - >= 0 @ 161.45
164.12/164.73	c GLOBAL bounds - >= 0 @ 162.013
164.62/165.29	c GLOBAL bounds - >= 0 @ 162.566
175.98/176.60	c #Conflicts:      77000 | #Constraints:      14540
175.98/176.60	c #Conflicts:      78000 | #Constraints:      15540
175.98/176.60	c INPROCESSING
175.98/176.60	c GARBAGE COLLECT
175.98/176.60	c #Conflicts:      79000 | #Constraints:      10955
175.98/176.60	c #Conflicts:      80000 | #Constraints:      11955
175.98/176.60	c #Conflicts:      81000 | #Constraints:      12955
175.98/176.60	c GLOBAL bounds - >= 0 @ 173.702
187.94/188.66	c #Conflicts:      82000 | #Constraints:      13957
187.94/188.66	c #Conflicts:      83000 | #Constraints:      14957
187.94/188.66	c #Conflicts:      84000 | #Constraints:      15957
187.94/188.66	c INPROCESSING
187.94/188.66	c GARBAGE COLLECT
187.94/188.66	c #Conflicts:      85000 | #Constraints:      11165
187.94/188.66	c #Conflicts:      86000 | #Constraints:      12165
187.94/188.66	c GLOBAL bounds - >= 0 @ 185.655
190.35/191.07	c #Conflicts:      87000 | #Constraints:      13167
190.35/191.07	c GLOBAL bounds - >= 0 @ 188.048
202.70/203.47	c #Conflicts:      88000 | #Constraints:      14169
202.70/203.47	c #Conflicts:      89000 | #Constraints:      15169
202.70/203.47	c #Conflicts:      90000 | #Constraints:      16169
202.70/203.47	c INPROCESSING
202.70/203.47	c GARBAGE COLLECT
202.70/203.47	c #Conflicts:      91000 | #Constraints:      11161
202.70/203.47	c #Conflicts:      92000 | #Constraints:      12161
202.70/203.47	c #Conflicts:      93000 | #Constraints:      13161
202.70/203.47	c GLOBAL bounds - >= 0 @ 200.269
203.19/203.91	c #Conflicts:      94000 | #Constraints:      14163
203.19/203.91	c GLOBAL bounds - >= 0 @ 200.705
203.99/204.72	c GLOBAL bounds - >= 0 @ 201.506
204.69/205.41	c #Conflicts:      95000 | #Constraints:      15167
204.69/205.41	c GLOBAL bounds - >= 0 @ 202.187
205.99/206.75	c GLOBAL bounds - >= 0 @ 203.506
206.48/207.22	c #Conflicts:      96000 | #Constraints:      16171
206.48/207.22	c GLOBAL bounds - >= 0 @ 203.97
210.57/211.30	c INPROCESSING
210.57/211.30	c GARBAGE COLLECT
210.57/211.30	c #Conflicts:      97000 | #Constraints:      10989
210.57/211.30	c #Conflicts:      98000 | #Constraints:      11989
210.57/211.30	c GLOBAL bounds - >= 0 @ 208.019
210.97/211.74	c GLOBAL bounds - >= 0 @ 208.456
222.04/222.87	c #Conflicts:      99000 | #Constraints:      12993
222.04/222.87	c #Conflicts:     100000 | #Constraints:      13993
222.04/222.87	c #Conflicts:     101000 | #Constraints:      14993
222.04/222.87	c #Conflicts:     102000 | #Constraints:      15993
222.04/222.87	c #Conflicts:     103000 | #Constraints:      16993
222.04/222.87	c INPROCESSING
222.04/222.87	c GARBAGE COLLECT
222.04/222.87	c GLOBAL bounds - >= 0 @ 219.516
236.49/237.37	c #Conflicts:     104000 | #Constraints:      11608
236.49/237.37	c #Conflicts:     105000 | #Constraints:      12608
236.49/237.37	c #Conflicts:     106000 | #Constraints:      13608
236.49/237.37	c #Conflicts:     107000 | #Constraints:      14608
236.49/237.37	c #Conflicts:     108000 | #Constraints:      15608
236.49/237.37	c GLOBAL bounds - >= 0 @ 233.836
240.97/241.85	c #Conflicts:     109000 | #Constraints:      16610
240.97/241.85	c GLOBAL bounds - >= 0 @ 238.253
245.36/246.26	c #Conflicts:     110000 | #Constraints:      17612
245.36/246.26	c INPROCESSING
245.36/246.26	c GARBAGE COLLECT
245.36/246.26	c #Conflicts:     111000 | #Constraints:      11977
245.36/246.26	c GLOBAL bounds - >= 0 @ 242.621
245.85/246.74	c #Conflicts:     112000 | #Constraints:      12979
245.85/246.74	c GLOBAL bounds - >= 0 @ 243.096
246.95/247.83	c GLOBAL bounds - >= 0 @ 244.176
247.85/248.79	c GLOBAL bounds - >= 0 @ 245.117
250.74/251.65	c #Conflicts:     113000 | #Constraints:      13985
250.74/251.65	c #Conflicts:     114000 | #Constraints:      14985
250.74/251.65	c GLOBAL bounds - >= 0 @ 247.928
257.71/258.67	c #Conflicts:     115000 | #Constraints:      15987
257.71/258.67	c #Conflicts:     116000 | #Constraints:      16987
257.71/258.67	c GLOBAL bounds - >= 0 @ 254.796
258.42/259.36	c GLOBAL bounds - >= 0 @ 255.465
261.31/262.22	c #Conflicts:     117000 | #Constraints:      17991
261.31/262.22	c INPROCESSING
261.31/262.22	c GARBAGE COLLECT
261.31/262.22	c GLOBAL bounds - >= 0 @ 258.293
278.64/279.60	c #Conflicts:     118000 | #Constraints:      12197
278.64/279.60	c #Conflicts:     119000 | #Constraints:      13197
278.64/279.60	c #Conflicts:     120000 | #Constraints:      14197
278.64/279.60	c #Conflicts:     121000 | #Constraints:      15197
278.64/279.60	c #Conflicts:     122000 | #Constraints:      16197
278.64/279.60	c #Conflicts:     123000 | #Constraints:      17197
278.64/279.60	c GLOBAL bounds - >= 0 @ 275.527
284.04/285.09	c #Conflicts:     124000 | #Constraints:      18199
284.04/285.09	c INPROCESSING
284.04/285.09	c GARBAGE COLLECT
284.04/285.09	c GLOBAL bounds - >= 0 @ 280.947
290.90/292.00	c #Conflicts:     125000 | #Constraints:      12211
290.90/292.00	c #Conflicts:     126000 | #Constraints:      13211
290.90/292.00	c #Conflicts:     127000 | #Constraints:      14211
290.90/292.00	c GLOBAL bounds - >= 0 @ 287.796
301.57/302.60	c #Conflicts:     128000 | #Constraints:      15213
301.57/302.60	c #Conflicts:     129000 | #Constraints:      16213
301.57/302.60	c #Conflicts:     130000 | #Constraints:      17213
301.57/302.60	c #Conflicts:     131000 | #Constraints:      18213
301.57/302.60	c GLOBAL bounds - >= 0 @ 298.267
312.34/313.40	c INPROCESSING
312.34/313.40	c GARBAGE COLLECT
312.34/313.40	c #Conflicts:     132000 | #Constraints:      11991
312.34/313.40	c #Conflicts:     133000 | #Constraints:      12991
312.34/313.40	c #Conflicts:     134000 | #Constraints:      13991
312.34/313.40	c #Conflicts:     135000 | #Constraints:      14991
312.34/313.40	c GLOBAL bounds - >= 0 @ 308.905
313.84/315.00	c GLOBAL bounds - >= 0 @ 310.481
318.93/320.03	c #Conflicts:     136000 | #Constraints:      15995
318.93/320.03	c #Conflicts:     137000 | #Constraints:      16995
318.93/320.03	c GLOBAL bounds - >= 0 @ 315.459
320.71/321.90	c GLOBAL bounds - >= 0 @ 317.305
324.80/325.94	c #Conflicts:     138000 | #Constraints:      17999
324.80/325.94	c #Conflicts:     139000 | #Constraints:      18999
324.80/325.94	c INPROCESSING
324.80/325.94	c GARBAGE COLLECT
324.80/325.94	c GLOBAL bounds - >= 0 @ 321.313
325.49/326.60	c #Conflicts:     140000 | #Constraints:      12602
325.49/326.60	c GLOBAL bounds - >= 0 @ 321.957
327.09/328.25	c #Conflicts:     141000 | #Constraints:      13604
327.09/328.25	c GLOBAL bounds - >= 0 @ 323.58
346.73/348.00	c #Conflicts:     142000 | #Constraints:      14606
346.73/348.00	c #Conflicts:     143000 | #Constraints:      15606
346.73/348.00	c #Conflicts:     144000 | #Constraints:      16606
346.73/348.00	c #Conflicts:     145000 | #Constraints:      17606
346.73/348.00	c #Conflicts:     146000 | #Constraints:      18606
346.73/348.00	c #Conflicts:     147000 | #Constraints:      19606
346.73/348.00	c INPROCESSING
346.73/348.00	c GARBAGE COLLECT
346.73/348.00	c GLOBAL bounds - >= 0 @ 343.19
352.70/354.00	c #Conflicts:     148000 | #Constraints:      13030
352.70/354.00	c #Conflicts:     149000 | #Constraints:      14030
352.70/354.00	c #Conflicts:     150000 | #Constraints:      15030
352.70/354.00	c GLOBAL bounds - >= 0 @ 349.108
358.08/359.37	c #Conflicts:     151000 | #Constraints:      16032
358.08/359.37	c #Conflicts:     152000 | #Constraints:      17032
358.08/359.37	c GLOBAL bounds - >= 0 @ 354.411
358.89/360.13	c GLOBAL bounds - >= 0 @ 355.157
360.79/362.06	c #Conflicts:     153000 | #Constraints:      18036
360.79/362.06	c GLOBAL bounds - >= 0 @ 357.062
361.89/363.12	c GLOBAL bounds - >= 0 @ 358.094
362.57/363.88	c GLOBAL bounds - >= 0 @ 358.847
365.96/367.25	c #Conflicts:     154000 | #Constraints:      19042
365.96/367.25	c GLOBAL bounds - >= 0 @ 362.176
367.25/368.50	c GLOBAL bounds - >= 0 @ 363.406
370.54/371.82	c #Conflicts:     155000 | #Constraints:      20046
370.54/371.82	c INPROCESSING
370.54/371.82	c GARBAGE COLLECT
370.54/371.82	c GLOBAL bounds - >= 0 @ 366.688
375.84/377.12	c #Conflicts:     156000 | #Constraints:      13247
375.84/377.12	c #Conflicts:     157000 | #Constraints:      14247
375.84/377.12	c GLOBAL bounds - >= 0 @ 371.95
378.32/379.69	c #Conflicts:     158000 | #Constraints:      15249
378.32/379.69	c GLOBAL bounds - >= 0 @ 374.495
379.42/380.74	c GLOBAL bounds - >= 0 @ 375.535
385.50/386.89	c #Conflicts:     159000 | #Constraints:      16253
385.50/386.89	c #Conflicts:     160000 | #Constraints:      17253
385.50/386.89	c GLOBAL bounds - >= 0 @ 381.604
391.17/392.50	c #Conflicts:     161000 | #Constraints:      18255
391.17/392.50	c #Conflicts:     162000 | #Constraints:      19255
391.17/392.50	c GLOBAL bounds - >= 0 @ 387.147
392.96/394.34	c #Conflicts:     163000 | #Constraints:      20257
392.96/394.34	c GLOBAL bounds - >= 0 @ 388.969
409.62/411.09	c INPROCESSING
409.62/411.09	c GARBAGE COLLECT
409.62/411.09	c #Conflicts:     164000 | #Constraints:      13243
409.62/411.09	c #Conflicts:     165000 | #Constraints:      14243
409.62/411.09	c #Conflicts:     166000 | #Constraints:      15243
409.62/411.09	c #Conflicts:     167000 | #Constraints:      16243
409.62/411.09	c #Conflicts:     168000 | #Constraints:      17243
409.62/411.09	c #Conflicts:     169000 | #Constraints:      18243
409.62/411.09	c GLOBAL bounds - >= 0 @ 405.509
444.51/446.01	c #Conflicts:     170000 | #Constraints:      19245
444.51/446.01	c #Conflicts:     171000 | #Constraints:      20245
444.51/446.01	c INPROCESSING
444.51/446.01	c GARBAGE COLLECT
444.51/446.01	c #Conflicts:     172000 | #Constraints:      13051
444.51/446.01	c #Conflicts:     173000 | #Constraints:      14051
444.51/446.01	c #Conflicts:     174000 | #Constraints:      15051
444.51/446.01	c #Conflicts:     175000 | #Constraints:      16051
444.51/446.01	c #Conflicts:     176000 | #Constraints:      17051
444.51/446.01	c #Conflicts:     177000 | #Constraints:      18051
444.51/446.01	c #Conflicts:     178000 | #Constraints:      19051
444.51/446.01	c #Conflicts:     179000 | #Constraints:      20051
444.51/446.01	c GLOBAL bounds - >= 0 @ 440.089
455.66/457.23	c #Conflicts:     180000 | #Constraints:      21053
455.66/457.23	c INPROCESSING
455.66/457.23	c GARBAGE COLLECT
455.66/457.23	c #Conflicts:     181000 | #Constraints:      13649
455.66/457.23	c #Conflicts:     182000 | #Constraints:      14649
455.66/457.23	c GLOBAL bounds - >= 0 @ 451.167
456.36/457.97	c #Conflicts:     183000 | #Constraints:      15651
456.36/457.97	c GLOBAL bounds - >= 0 @ 451.899
456.76/458.39	c GLOBAL bounds - >= 0 @ 452.314
460.94/462.57	c #Conflicts:     184000 | #Constraints:      16655
460.94/462.57	c GLOBAL bounds - >= 0 @ 456.424
466.43/468.06	c #Conflicts:     185000 | #Constraints:      17657
466.43/468.06	c #Conflicts:     186000 | #Constraints:      18657
466.43/468.06	c #Conflicts:     187000 | #Constraints:      19657
466.43/468.06	c #Conflicts:     188000 | #Constraints:      20657
466.43/468.06	c GLOBAL bounds - >= 0 @ 461.867
467.02/468.66	c GLOBAL bounds - >= 0 @ 462.452
493.24/494.99	c #Conflicts:     189000 | #Constraints:      21661
493.24/494.99	c INPROCESSING
493.24/494.99	c GARBAGE COLLECT
493.24/494.99	c #Conflicts:     190000 | #Constraints:      14050
493.24/494.99	c #Conflicts:     191000 | #Constraints:      15050
493.24/494.99	c #Conflicts:     192000 | #Constraints:      16050
493.24/494.99	c #Conflicts:     193000 | #Constraints:      17050
493.24/494.99	c #Conflicts:     194000 | #Constraints:      18050
493.24/494.99	c #Conflicts:     195000 | #Constraints:      19050
493.24/494.99	c #Conflicts:     196000 | #Constraints:      20050
493.24/494.99	c #Conflicts:     197000 | #Constraints:      21050
493.24/494.99	c #Conflicts:     198000 | #Constraints:      22050
493.24/494.99	c INPROCESSING
493.24/494.99	c GARBAGE COLLECT
493.24/494.99	c GLOBAL bounds - >= 0 @ 488.595
515.86/517.63	c #Conflicts:     199000 | #Constraints:      14251
515.86/517.63	c #Conflicts:     200000 | #Constraints:      15251
515.86/517.63	c #Conflicts:     201000 | #Constraints:      16251
515.86/517.63	c #Conflicts:     202000 | #Constraints:      17251
515.86/517.63	c #Conflicts:     203000 | #Constraints:      18251
515.86/517.63	c #Conflicts:     204000 | #Constraints:      19251
515.86/517.63	c #Conflicts:     205000 | #Constraints:      20251
515.86/517.63	c #Conflicts:     206000 | #Constraints:      21251
515.86/517.63	c GLOBAL bounds - >= 0 @ 511.1
516.28/518.10	c GLOBAL bounds - >= 0 @ 511.566
516.86/518.61	c GLOBAL bounds - >= 0 @ 512.071
517.27/519.06	c GLOBAL bounds - >= 0 @ 512.514
520.45/522.22	c #Conflicts:     207000 | #Constraints:      22259
520.45/522.22	c INPROCESSING
520.45/522.22	c GARBAGE COLLECT
520.45/522.22	c GLOBAL bounds - >= 0 @ 515.643
528.24/530.02	c #Conflicts:     208000 | #Constraints:      14264
528.24/530.02	c #Conflicts:     209000 | #Constraints:      15264
528.24/530.02	c #Conflicts:     210000 | #Constraints:      16264
528.24/530.02	c #Conflicts:     211000 | #Constraints:      17264
528.24/530.02	c GLOBAL bounds - >= 0 @ 523.391
544.36/546.29	c #Conflicts:     212000 | #Constraints:      18266
544.36/546.29	c #Conflicts:     213000 | #Constraints:      19266
544.36/546.29	c #Conflicts:     214000 | #Constraints:      20266
544.36/546.29	c #Conflicts:     215000 | #Constraints:      21266
544.36/546.29	c #Conflicts:     216000 | #Constraints:      22266
544.36/546.29	c INPROCESSING
544.36/546.29	c GARBAGE COLLECT
544.36/546.29	c #Conflicts:     217000 | #Constraints:      14072
544.36/546.29	c GLOBAL bounds - >= 0 @ 539.545
569.59/571.51	c #Conflicts:     218000 | #Constraints:      15074
569.59/571.51	c #Conflicts:     219000 | #Constraints:      16074
569.59/571.51	c #Conflicts:     220000 | #Constraints:      17074
569.59/571.51	c #Conflicts:     221000 | #Constraints:      18074
569.59/571.51	c #Conflicts:     222000 | #Constraints:      19074
569.59/571.51	c #Conflicts:     223000 | #Constraints:      20074
569.59/571.51	c #Conflicts:     224000 | #Constraints:      21074
569.59/571.51	c #Conflicts:     225000 | #Constraints:      22074
569.59/571.51	c #Conflicts:     226000 | #Constraints:      23074
569.59/571.51	c INPROCESSING
569.59/571.51	c GARBAGE COLLECT
569.59/571.51	c GLOBAL bounds - >= 0 @ 564.605
589.62/591.69	c #Conflicts:     227000 | #Constraints:      14687
589.62/591.69	c #Conflicts:     228000 | #Constraints:      15687
589.62/591.69	c #Conflicts:     229000 | #Constraints:      16687
589.62/591.69	c #Conflicts:     230000 | #Constraints:      17687
589.62/591.69	c #Conflicts:     231000 | #Constraints:      18687
589.62/591.69	c #Conflicts:     232000 | #Constraints:      19687
589.62/591.69	c #Conflicts:     233000 | #Constraints:      20687
589.62/591.69	c #Conflicts:     234000 | #Constraints:      21687
589.62/591.69	c GLOBAL bounds - >= 0 @ 584.589
595.90/597.98	c #Conflicts:     235000 | #Constraints:      22689
595.90/597.98	c #Conflicts:     236000 | #Constraints:      23689
595.90/597.98	c INPROCESSING
595.90/597.98	c GARBAGE COLLECT
595.90/597.98	c GLOBAL bounds - >= 0 @ 590.823
598.39/600.45	c GLOBAL bounds - >= 0 @ 593.248
605.17/607.23	c #Conflicts:     237000 | #Constraints:      15101
605.17/607.23	c #Conflicts:     238000 | #Constraints:      16101
605.17/607.23	c #Conflicts:     239000 | #Constraints:      17101
605.17/607.23	c GLOBAL bounds - >= 0 @ 599.965
619.93/622.09	c #Conflicts:     240000 | #Constraints:      18103
619.93/622.09	c #Conflicts:     241000 | #Constraints:      19103
619.93/622.09	c #Conflicts:     242000 | #Constraints:      20103
619.93/622.09	c #Conflicts:     243000 | #Constraints:      21103
619.93/622.09	c GLOBAL bounds - >= 0 @ 614.697
629.00/631.18	c #Conflicts:     244000 | #Constraints:      22105
629.00/631.18	c #Conflicts:     245000 | #Constraints:      23105
629.00/631.18	c GLOBAL bounds - >= 0 @ 623.673
643.04/645.22	c #Conflicts:     246000 | #Constraints:      24107
643.04/645.22	c INPROCESSING
643.04/645.22	c GARBAGE COLLECT
643.04/645.22	c #Conflicts:     247000 | #Constraints:      15306
643.04/645.22	c #Conflicts:     248000 | #Constraints:      16306
643.04/645.22	c #Conflicts:     249000 | #Constraints:      17306
643.04/645.22	c GLOBAL bounds - >= 0 @ 637.587
649.32/651.59	c #Conflicts:     250000 | #Constraints:      18308
649.32/651.59	c #Conflicts:     251000 | #Constraints:      19308
649.32/651.59	c #Conflicts:     252000 | #Constraints:      20308
649.32/651.59	c GLOBAL bounds - >= 0 @ 643.896
652.92/655.11	c #Conflicts:     253000 | #Constraints:      21310
652.92/655.11	c GLOBAL bounds - >= 0 @ 647.377
655.91/658.12	c #Conflicts:     254000 | #Constraints:      22312
655.91/658.12	c GLOBAL bounds - >= 0 @ 650.357
657.59/659.87	c #Conflicts:     255000 | #Constraints:      23314
657.59/659.87	c GLOBAL bounds - >= 0 @ 652.098
663.68/666.00	c #Conflicts:     256000 | #Constraints:      24316
663.68/666.00	c INPROCESSING
663.68/666.00	c GARBAGE COLLECT
663.68/666.00	c GLOBAL bounds - >= 0 @ 658.162
667.16/669.48	c #Conflicts:     257000 | #Constraints:      15306
667.16/669.48	c GLOBAL bounds - >= 0 @ 661.61
667.96/670.27	c GLOBAL bounds - >= 0 @ 662.397
669.65/671.91	c #Conflicts:     258000 | #Constraints:      16310
669.65/671.91	c GLOBAL bounds - >= 0 @ 664.02
674.84/677.13	c #Conflicts:     259000 | #Constraints:      17312
674.84/677.13	c #Conflicts:     260000 | #Constraints:      18312
674.84/677.13	c GLOBAL bounds - >= 0 @ 669.203
676.43/678.75	c GLOBAL bounds - >= 0 @ 670.801
680.62/682.96	c #Conflicts:     261000 | #Constraints:      19316
680.62/682.96	c GLOBAL bounds - >= 0 @ 674.97
681.52/683.83	c #Conflicts:     262000 | #Constraints:      20318
681.52/683.83	c GLOBAL bounds - >= 0 @ 675.83
686.60/688.92	c #Conflicts:     263000 | #Constraints:      21320
686.60/688.92	c GLOBAL bounds - >= 0 @ 680.872
690.28/692.68	c #Conflicts:     264000 | #Constraints:      22322
690.28/692.68	c GLOBAL bounds - >= 0 @ 684.592
691.28/693.69	c GLOBAL bounds - >= 0 @ 685.584
692.17/694.57	c GLOBAL bounds - >= 0 @ 686.459
716.89/719.38	c #Conflicts:     265000 | #Constraints:      23328
716.89/719.38	c #Conflicts:     266000 | #Constraints:      24328
716.89/719.38	c INPROCESSING
716.89/719.38	c GARBAGE COLLECT
716.89/719.38	c #Conflicts:     267000 | #Constraints:      15138
716.89/719.38	c #Conflicts:     268000 | #Constraints:      16138
716.89/719.38	c #Conflicts:     269000 | #Constraints:      17138
716.89/719.38	c #Conflicts:     270000 | #Constraints:      18138
716.89/719.38	c #Conflicts:     271000 | #Constraints:      19138
716.89/719.38	c #Conflicts:     272000 | #Constraints:      20138
716.89/719.38	c GLOBAL bounds - >= 0 @ 710.997
738.02/740.57	c #Conflicts:     273000 | #Constraints:      21140
738.02/740.57	c #Conflicts:     274000 | #Constraints:      22140
738.02/740.57	c #Conflicts:     275000 | #Constraints:      23140
738.02/740.57	c #Conflicts:     276000 | #Constraints:      24140
738.02/740.57	c #Conflicts:     277000 | #Constraints:      25140
738.02/740.57	c INPROCESSING
738.02/740.57	c GARBAGE COLLECT
738.02/740.57	c #Conflicts:     278000 | #Constraints:      15736
738.02/740.57	c #Conflicts:     279000 | #Constraints:      16736
738.02/740.57	c GLOBAL bounds - >= 0 @ 731.983
744.79/747.35	c #Conflicts:     280000 | #Constraints:      17738
744.79/747.35	c #Conflicts:     281000 | #Constraints:      18738
744.79/747.35	c GLOBAL bounds - >= 0 @ 738.686
753.58/756.16	c #Conflicts:     282000 | #Constraints:      19740
753.58/756.16	c #Conflicts:     283000 | #Constraints:      20740
753.58/756.16	c GLOBAL bounds - >= 0 @ 747.378
755.76/758.37	c #Conflicts:     284000 | #Constraints:      21742
755.76/758.37	c GLOBAL bounds - >= 0 @ 749.561
762.46/765.09	c #Conflicts:     285000 | #Constraints:      22744
762.46/765.09	c #Conflicts:     286000 | #Constraints:      23744
762.46/765.09	c GLOBAL bounds - >= 0 @ 756.233
800.81/803.57	c #Conflicts:     287000 | #Constraints:      24746
800.81/803.57	c #Conflicts:     288000 | #Constraints:      25746
800.81/803.57	c INPROCESSING
800.81/803.57	c GARBAGE COLLECT
800.81/803.57	c #Conflicts:     289000 | #Constraints:      16153
800.81/803.57	c #Conflicts:     290000 | #Constraints:      17153
800.81/803.57	c #Conflicts:     291000 | #Constraints:      18153
800.81/803.57	c #Conflicts:     292000 | #Constraints:      19153
800.81/803.57	c #Conflicts:     293000 | #Constraints:      20153
800.81/803.57	c #Conflicts:     294000 | #Constraints:      21153
800.81/803.57	c #Conflicts:     295000 | #Constraints:      22153
800.81/803.57	c #Conflicts:     296000 | #Constraints:      23153
800.81/803.57	c #Conflicts:     297000 | #Constraints:      24153
800.81/803.57	c #Conflicts:     298000 | #Constraints:      25153
800.81/803.57	c GLOBAL bounds - >= 0 @ 794.33
815.16/817.98	c #Conflicts:     299000 | #Constraints:      26155
815.16/817.98	c INPROCESSING
815.16/817.98	c GARBAGE COLLECT
815.16/817.98	c #Conflicts:     300000 | #Constraints:      16360
815.16/817.98	c #Conflicts:     301000 | #Constraints:      17360
815.16/817.98	c GLOBAL bounds - >= 0 @ 808.571
816.86/819.66	c #Conflicts:     302000 | #Constraints:      18362
816.86/819.66	c GLOBAL bounds - >= 0 @ 810.235
849.94/852.89	c #Conflicts:     303000 | #Constraints:      19364
849.94/852.89	c #Conflicts:     304000 | #Constraints:      20364
849.94/852.89	c #Conflicts:     305000 | #Constraints:      21364
849.94/852.89	c #Conflicts:     306000 | #Constraints:      22364
849.94/852.89	c #Conflicts:     307000 | #Constraints:      23364
849.94/852.89	c #Conflicts:     308000 | #Constraints:      24364
849.94/852.89	c #Conflicts:     309000 | #Constraints:      25364
849.94/852.89	c #Conflicts:     310000 | #Constraints:      26364
849.94/852.89	c INPROCESSING
849.94/852.89	c GARBAGE COLLECT
849.94/852.89	c GLOBAL bounds - >= 0 @ 843.101
854.43/857.30	c #Conflicts:     311000 | #Constraints:      16357
854.43/857.30	c #Conflicts:     312000 | #Constraints:      17357
854.43/857.30	c GLOBAL bounds - >= 0 @ 847.453
857.61/860.50	c #Conflicts:     313000 | #Constraints:      18359
857.61/860.50	c GLOBAL bounds - >= 0 @ 850.631
863.99/866.93	c #Conflicts:     314000 | #Constraints:      19361
863.99/866.93	c #Conflicts:     315000 | #Constraints:      20361
863.99/866.93	c #Conflicts:     316000 | #Constraints:      21361
863.99/866.93	c GLOBAL bounds - >= 0 @ 856.988
872.97/875.95	c #Conflicts:     317000 | #Constraints:      22363
872.97/875.95	c #Conflicts:     318000 | #Constraints:      23363
872.97/875.95	c #Conflicts:     319000 | #Constraints:      24363
872.97/875.95	c GLOBAL bounds - >= 0 @ 865.891
966.77/970.08	c #Conflicts:     320000 | #Constraints:      25365
966.77/970.08	c #Conflicts:     321000 | #Constraints:      26365
966.77/970.08	c INPROCESSING
966.77/970.08	c GARBAGE COLLECT
966.77/970.08	c #Conflicts:     322000 | #Constraints:      16175
966.77/970.08	c #Conflicts:     323000 | #Constraints:      17175
966.77/970.08	c #Conflicts:     324000 | #Constraints:      18175
966.77/970.08	c #Conflicts:     325000 | #Constraints:      19175
966.77/970.08	c #Conflicts:     326000 | #Constraints:      20175
966.77/970.08	c #Conflicts:     327000 | #Constraints:      21175
966.77/970.08	c #Conflicts:     328000 | #Constraints:      22175
966.77/970.08	c #Conflicts:     329000 | #Constraints:      23175
966.77/970.08	c #Conflicts:     330000 | #Constraints:      24175
966.77/970.08	c #Conflicts:     331000 | #Constraints:      25175
966.77/970.08	c #Conflicts:     332000 | #Constraints:      26175
966.77/970.08	c #Conflicts:     333000 | #Constraints:      27175
966.77/970.08	c INPROCESSING
966.77/970.08	c GARBAGE COLLECT
966.77/970.08	c #Conflicts:     334000 | #Constraints:      16784
966.77/970.08	c #Conflicts:     335000 | #Constraints:      17784
966.77/970.08	c #Conflicts:     336000 | #Constraints:      18784
966.77/970.08	c #Conflicts:     337000 | #Constraints:      19784
966.77/970.08	c #Conflicts:     338000 | #Constraints:      20784
966.77/970.08	c #Conflicts:     339000 | #Constraints:      21784
966.77/970.08	c #Conflicts:     340000 | #Constraints:      22784
966.77/970.08	c #Conflicts:     341000 | #Constraints:      23784
966.77/970.08	c #Conflicts:     342000 | #Constraints:      24784
966.77/970.08	c #Conflicts:     343000 | #Constraints:      25784
966.77/970.08	c #Conflicts:     344000 | #Constraints:      26784
966.77/970.08	c #Conflicts:     345000 | #Constraints:      27784
966.77/970.08	c INPROCESSING
966.77/970.08	c GARBAGE COLLECT
966.77/970.08	c #Conflicts:     346000 | #Constraints:      17197
966.77/970.08	c #Conflicts:     347000 | #Constraints:      18197
966.77/970.08	c #Conflicts:     348000 | #Constraints:      19197
966.77/970.08	c GLOBAL bounds - >= 0 @ 959.075
969.76/973.06	c #Conflicts:     349000 | #Constraints:      20199
969.76/973.06	c GLOBAL bounds - >= 0 @ 962.015
970.86/974.19	c GLOBAL bounds - >= 0 @ 963.126
971.54/974.87	c #Conflicts:     350000 | #Constraints:      21203
971.54/974.87	c GLOBAL bounds - >= 0 @ 963.802
972.75/976.08	c GLOBAL bounds - >= 0 @ 964.994
978.92/982.24	c #Conflicts:     351000 | #Constraints:      22207
978.92/982.24	c #Conflicts:     352000 | #Constraints:      23207
978.92/982.24	c #Conflicts:     353000 | #Constraints:      24207
978.92/982.24	c GLOBAL bounds - >= 0 @ 971.107
1002.54/1005.92	c #Conflicts:     354000 | #Constraints:      25209
1002.54/1005.92	c #Conflicts:     355000 | #Constraints:      26209
1002.54/1005.92	c #Conflicts:     356000 | #Constraints:      27209
1002.54/1005.92	c #Conflicts:     357000 | #Constraints:      28209
1002.54/1005.92	c INPROCESSING
1002.54/1005.92	c GARBAGE COLLECT
1002.54/1005.92	c #Conflicts:     358000 | #Constraints:      17375
1002.54/1005.92	c #Conflicts:     359000 | #Constraints:      18375
1002.54/1005.92	c #Conflicts:     360000 | #Constraints:      19375
1002.54/1005.92	c GLOBAL bounds - >= 0 @ 994.546
1003.93/1007.34	c GLOBAL bounds - >= 0 @ 995.956
1004.83/1008.20	c #Conflicts:     361000 | #Constraints:      20379
1004.83/1008.20	c GLOBAL bounds - >= 0 @ 996.797
1012.01/1015.47	c #Conflicts:     362000 | #Constraints:      21381
1012.01/1015.47	c #Conflicts:     363000 | #Constraints:      22381
1012.01/1015.47	c GLOBAL bounds - >= 0 @ 1004.02
1066.02/1069.68	c #Conflicts:     364000 | #Constraints:      23383
1066.02/1069.68	c #Conflicts:     365000 | #Constraints:      24383
1066.02/1069.68	c #Conflicts:     366000 | #Constraints:      25383
1066.02/1069.68	c #Conflicts:     367000 | #Constraints:      26383
1066.02/1069.68	c #Conflicts:     368000 | #Constraints:      27383
1066.02/1069.68	c #Conflicts:     369000 | #Constraints:      28383
1066.02/1069.68	c INPROCESSING
1066.02/1069.68	c GARBAGE COLLECT
1066.02/1069.68	c #Conflicts:     370000 | #Constraints:      17364
1066.02/1069.68	c #Conflicts:     371000 | #Constraints:      18364
1066.02/1069.68	c #Conflicts:     372000 | #Constraints:      19364
1066.02/1069.68	c #Conflicts:     373000 | #Constraints:      20364
1066.02/1069.68	c #Conflicts:     374000 | #Constraints:      21364
1066.02/1069.68	c #Conflicts:     375000 | #Constraints:      22364
1066.02/1069.68	c GLOBAL bounds - >= 0 @ 1057.76
1087.95/1091.69	c #Conflicts:     376000 | #Constraints:      23366
1087.95/1091.69	c #Conflicts:     377000 | #Constraints:      24366
1087.95/1091.69	c #Conflicts:     378000 | #Constraints:      25366
1087.95/1091.69	c #Conflicts:     379000 | #Constraints:      26366
1087.95/1091.69	c #Conflicts:     380000 | #Constraints:      27366
1087.95/1091.69	c #Conflicts:     381000 | #Constraints:      28366
1087.95/1091.69	c INPROCESSING
1087.95/1091.69	c GARBAGE COLLECT
1087.95/1091.69	c GLOBAL bounds - >= 0 @ 1079.61
1089.05/1092.75	c #Conflicts:     382000 | #Constraints:      17164
1089.05/1092.75	c GLOBAL bounds - >= 0 @ 1080.66
1097.62/1101.37	c #Conflicts:     383000 | #Constraints:      18166
1097.62/1101.37	c #Conflicts:     384000 | #Constraints:      19166
1097.62/1101.37	c GLOBAL bounds - >= 0 @ 1089.14
1113.06/1116.81	c #Conflicts:     385000 | #Constraints:      20168
1113.06/1116.81	c #Conflicts:     386000 | #Constraints:      21168
1113.06/1116.81	c #Conflicts:     387000 | #Constraints:      22168
1113.06/1116.81	c #Conflicts:     388000 | #Constraints:      23168
1113.06/1116.81	c #Conflicts:     389000 | #Constraints:      24168
1113.06/1116.81	c GLOBAL bounds - >= 0 @ 1104.43
1130.10/1133.91	c #Conflicts:     390000 | #Constraints:      25170
1130.10/1133.91	c #Conflicts:     391000 | #Constraints:      26170
1130.10/1133.91	c #Conflicts:     392000 | #Constraints:      27170
1130.10/1133.91	c GLOBAL bounds - >= 0 @ 1121.4
1148.26/1152.15	c #Conflicts:     393000 | #Constraints:      28172
1148.26/1152.15	c #Conflicts:     394000 | #Constraints:      29172
1148.26/1152.15	c INPROCESSING
1148.26/1152.15	c GARBAGE COLLECT
1148.26/1152.15	c #Conflicts:     395000 | #Constraints:      17778
1148.26/1152.15	c #Conflicts:     396000 | #Constraints:      18778
1148.26/1152.15	c GLOBAL bounds - >= 0 @ 1139.45
1155.23/1159.14	c #Conflicts:     397000 | #Constraints:      19780
1155.23/1159.14	c #Conflicts:     398000 | #Constraints:      20780
1155.23/1159.14	c #Conflicts:     399000 | #Constraints:      21780
1155.23/1159.14	c GLOBAL bounds - >= 0 @ 1146.4
1165.48/1169.48	c #Conflicts:     400000 | #Constraints:      22782
1165.48/1169.48	c #Conflicts:     401000 | #Constraints:      23782
1165.48/1169.48	c GLOBAL bounds - >= 0 @ 1156.62
1204.07/1208.18	c #Conflicts:     402000 | #Constraints:      24784
1204.07/1208.18	c #Conflicts:     403000 | #Constraints:      25784
1204.07/1208.18	c #Conflicts:     404000 | #Constraints:      26784
1204.07/1208.18	c #Conflicts:     405000 | #Constraints:      27784
1204.07/1208.18	c #Conflicts:     406000 | #Constraints:      28784
1204.07/1208.18	c #Conflicts:     407000 | #Constraints:      29784
1204.07/1208.18	c INPROCESSING
1204.07/1208.18	c GARBAGE COLLECT
1204.07/1208.18	c #Conflicts:     408000 | #Constraints:      18195
1204.07/1208.18	c #Conflicts:     409000 | #Constraints:      19195
1204.07/1208.18	c #Conflicts:     410000 | #Constraints:      20195
1204.07/1208.18	c GLOBAL bounds - >= 0 @ 1194.98
1217.81/1221.99	c #Conflicts:     411000 | #Constraints:      21197
1217.81/1221.99	c #Conflicts:     412000 | #Constraints:      22197
1217.81/1221.99	c #Conflicts:     413000 | #Constraints:      23197
1217.81/1221.99	c #Conflicts:     414000 | #Constraints:      24197
1217.81/1221.99	c GLOBAL bounds - >= 0 @ 1208.64
1236.86/1241.02	c #Conflicts:     415000 | #Constraints:      25199
1236.86/1241.02	c #Conflicts:     416000 | #Constraints:      26199
1236.86/1241.02	c #Conflicts:     417000 | #Constraints:      27199
1236.86/1241.02	c #Conflicts:     418000 | #Constraints:      28199
1236.86/1241.02	c #Conflicts:     419000 | #Constraints:      29199
1236.86/1241.02	c #Conflicts:     420000 | #Constraints:      30199
1236.86/1241.02	c INPROCESSING
1236.86/1241.02	c GARBAGE COLLECT
1236.86/1241.02	c GLOBAL bounds - >= 0 @ 1227.44
1253.49/1257.77	c #Conflicts:     421000 | #Constraints:      18399
1253.49/1257.77	c #Conflicts:     422000 | #Constraints:      19399
1253.49/1257.77	c #Conflicts:     423000 | #Constraints:      20399
1253.49/1257.77	c #Conflicts:     424000 | #Constraints:      21399
1253.49/1257.77	c #Conflicts:     425000 | #Constraints:      22399
1253.49/1257.77	c #Conflicts:     426000 | #Constraints:      23399
1253.49/1257.77	c GLOBAL bounds - >= 0 @ 1244.08
1303.32/1307.76	c #Conflicts:     427000 | #Constraints:      24401
1303.32/1307.76	c #Conflicts:     428000 | #Constraints:      25401
1303.32/1307.76	c #Conflicts:     429000 | #Constraints:      26401
1303.32/1307.76	c #Conflicts:     430000 | #Constraints:      27401
1303.32/1307.76	c #Conflicts:     431000 | #Constraints:      28401
1303.32/1307.76	c #Conflicts:     432000 | #Constraints:      29401
1303.32/1307.76	c #Conflicts:     433000 | #Constraints:      30401
1303.32/1307.76	c INPROCESSING
1303.32/1307.76	c GARBAGE COLLECT
1303.32/1307.76	c #Conflicts:     434000 | #Constraints:      18437
1303.32/1307.76	c #Conflicts:     435000 | #Constraints:      19437
1303.32/1307.76	c #Conflicts:     436000 | #Constraints:      20437
1303.32/1307.76	c #Conflicts:     437000 | #Constraints:      21437
1303.32/1307.76	c #Conflicts:     438000 | #Constraints:      22437
1303.32/1307.76	c #Conflicts:     439000 | #Constraints:      23437
1303.32/1307.76	c #Conflicts:     440000 | #Constraints:      24437
1303.32/1307.76	c #Conflicts:     441000 | #Constraints:      25437
1303.32/1307.76	c GLOBAL bounds - >= 0 @ 1293.7
1320.86/1325.40	c #Conflicts:     442000 | #Constraints:      26439
1320.86/1325.40	c #Conflicts:     443000 | #Constraints:      27439
1320.86/1325.40	c #Conflicts:     444000 | #Constraints:      28439
1320.86/1325.40	c #Conflicts:     445000 | #Constraints:      29439
1320.86/1325.40	c #Conflicts:     446000 | #Constraints:      30439
1320.86/1325.40	c INPROCESSING
1320.86/1325.40	c GARBAGE COLLECT
1320.86/1325.40	c GLOBAL bounds - >= 0 @ 1311.21
1370.10/1374.72	c #Conflicts:     447000 | #Constraints:      18226
1370.10/1374.72	c #Conflicts:     448000 | #Constraints:      19226
1370.10/1374.72	c #Conflicts:     449000 | #Constraints:      20226
1370.10/1374.72	c #Conflicts:     450000 | #Constraints:      21226
1370.10/1374.72	c #Conflicts:     451000 | #Constraints:      22226
1370.10/1374.72	c #Conflicts:     452000 | #Constraints:      23226
1370.10/1374.72	c #Conflicts:     453000 | #Constraints:      24226
1370.10/1374.72	c #Conflicts:     454000 | #Constraints:      25226
1370.10/1374.72	c #Conflicts:     455000 | #Constraints:      26226
1370.10/1374.72	c #Conflicts:     456000 | #Constraints:      27226
1370.10/1374.72	c #Conflicts:     457000 | #Constraints:      28226
1370.10/1374.72	c #Conflicts:     458000 | #Constraints:      29226
1370.10/1374.72	c #Conflicts:     459000 | #Constraints:      30226
1370.10/1374.72	c #Conflicts:     460000 | #Constraints:      31226
1370.10/1374.72	c INPROCESSING
1370.10/1374.72	c GARBAGE COLLECT
1370.10/1374.72	c GLOBAL bounds - >= 0 @ 1360.25
1393.12/1397.83	c #Conflicts:     461000 | #Constraints:      18847
1393.12/1397.83	c #Conflicts:     462000 | #Constraints:      19847
1393.12/1397.83	c #Conflicts:     463000 | #Constraints:      20847
1393.12/1397.83	c #Conflicts:     464000 | #Constraints:      21847
1393.12/1397.83	c #Conflicts:     465000 | #Constraints:      22847
1393.12/1397.83	c #Conflicts:     466000 | #Constraints:      23847
1393.12/1397.83	c #Conflicts:     467000 | #Constraints:      24847
1393.12/1397.83	c #Conflicts:     468000 | #Constraints:      25847
1393.12/1397.83	c GLOBAL bounds - >= 0 @ 1383.18
1394.71/1399.49	c #Conflicts:     469000 | #Constraints:      26849
1394.71/1399.49	c GLOBAL bounds - >= 0 @ 1384.83
1505.63/1510.78	c #Conflicts:     470000 | #Constraints:      27851
1505.63/1510.78	c #Conflicts:     471000 | #Constraints:      28851
1505.63/1510.78	c #Conflicts:     472000 | #Constraints:      29851
1505.63/1510.78	c #Conflicts:     473000 | #Constraints:      30851
1505.63/1510.78	c #Conflicts:     474000 | #Constraints:      31851
1505.63/1510.78	c INPROCESSING
1505.63/1510.78	c GARBAGE COLLECT
1505.63/1510.78	c #Conflicts:     475000 | #Constraints:      19245
1505.63/1510.78	c #Conflicts:     476000 | #Constraints:      20245
1505.63/1510.78	c #Conflicts:     477000 | #Constraints:      21245
1505.63/1510.78	c #Conflicts:     478000 | #Constraints:      22245
1505.63/1510.78	c #Conflicts:     479000 | #Constraints:      23245
1505.63/1510.78	c #Conflicts:     480000 | #Constraints:      24245
1505.63/1510.78	c #Conflicts:     481000 | #Constraints:      25245
1505.63/1510.78	c #Conflicts:     482000 | #Constraints:      26245
1505.63/1510.78	c #Conflicts:     483000 | #Constraints:      27245
1505.63/1510.78	c #Conflicts:     484000 | #Constraints:      28245
1505.63/1510.78	c #Conflicts:     485000 | #Constraints:      29245
1505.63/1510.78	c #Conflicts:     486000 | #Constraints:      30245
1505.63/1510.78	c #Conflicts:     487000 | #Constraints:      31245
1505.63/1510.78	c #Conflicts:     488000 | #Constraints:      32245
1505.63/1510.78	c INPROCESSING
1505.63/1510.78	c GARBAGE COLLECT
1505.63/1510.78	c #Conflicts:     489000 | #Constraints:      19450
1505.63/1510.78	c #Conflicts:     490000 | #Constraints:      20450
1505.63/1510.78	c #Conflicts:     491000 | #Constraints:      21450
1505.63/1510.78	c #Conflicts:     492000 | #Constraints:      22450
1505.63/1510.78	c #Conflicts:     493000 | #Constraints:      23450
1505.63/1510.78	c #Conflicts:     494000 | #Constraints:      24450
1505.63/1510.78	c #Conflicts:     495000 | #Constraints:      25450
1505.63/1510.78	c #Conflicts:     496000 | #Constraints:      26450
1505.63/1510.78	c #Conflicts:     497000 | #Constraints:      27450
1505.63/1510.78	c #Conflicts:     498000 | #Constraints:      28450
1505.63/1510.78	c #Conflicts:     499000 | #Constraints:      29450
1505.63/1510.78	c #Conflicts:     500000 | #Constraints:      30450
1505.63/1510.78	c #Conflicts:     501000 | #Constraints:      31450
1505.63/1510.78	c GLOBAL bounds - >= 0 @ 1495.34
1510.22/1515.35	c #Conflicts:     502000 | #Constraints:      32452
1510.22/1515.35	c INPROCESSING
1510.22/1515.35	c GARBAGE COLLECT
1510.22/1515.35	c GLOBAL bounds - >= 0 @ 1499.88
1558.86/1564.12	c #Conflicts:     503000 | #Constraints:      19446
1558.86/1564.12	c #Conflicts:     504000 | #Constraints:      20446
1558.86/1564.12	c #Conflicts:     505000 | #Constraints:      21446
1558.86/1564.12	c #Conflicts:     506000 | #Constraints:      22446
1558.86/1564.12	c #Conflicts:     507000 | #Constraints:      23446
1558.86/1564.12	c #Conflicts:     508000 | #Constraints:      24446
1558.86/1564.12	c #Conflicts:     509000 | #Constraints:      25446
1558.86/1564.12	c #Conflicts:     510000 | #Constraints:      26446
1558.86/1564.12	c #Conflicts:     511000 | #Constraints:      27446
1558.86/1564.12	c #Conflicts:     512000 | #Constraints:      28446
1558.86/1564.12	c #Conflicts:     513000 | #Constraints:      29446
1558.86/1564.12	c #Conflicts:     514000 | #Constraints:      30446
1558.86/1564.12	c #Conflicts:     515000 | #Constraints:      31446
1558.86/1564.12	c #Conflicts:     516000 | #Constraints:      32446
1558.86/1564.12	c INPROCESSING
1558.86/1564.12	c GARBAGE COLLECT
1558.86/1564.12	c #Conflicts:     517000 | #Constraints:      19247
1558.86/1564.12	c GLOBAL bounds - >= 0 @ 1548.31
1570.73/1576.11	c #Conflicts:     518000 | #Constraints:      20249
1570.73/1576.11	c #Conflicts:     519000 | #Constraints:      21249
1570.73/1576.11	c #Conflicts:     520000 | #Constraints:      22249
1570.73/1576.11	c GLOBAL bounds - >= 0 @ 1560.18
1577.80/1583.19	c #Conflicts:     521000 | #Constraints:      23251
1577.80/1583.19	c #Conflicts:     522000 | #Constraints:      24251
1577.80/1583.19	c #Conflicts:     523000 | #Constraints:      25251
1577.80/1583.19	c GLOBAL bounds - >= 0 @ 1567.21
1582.97/1588.39	c #Conflicts:     524000 | #Constraints:      26253
1582.97/1588.39	c GLOBAL bounds - >= 0 @ 1572.36
1587.06/1592.47	c #Conflicts:     525000 | #Constraints:      27255
1587.06/1592.47	c GLOBAL bounds - >= 0 @ 1576.4
1591.66/1597.02	c #Conflicts:     526000 | #Constraints:      28257
1591.66/1597.02	c GLOBAL bounds - >= 0 @ 1580.91
1604.50/1609.96	c #Conflicts:     527000 | #Constraints:      29259
1604.50/1609.96	c #Conflicts:     528000 | #Constraints:      30259
1604.50/1609.96	c GLOBAL bounds - >= 0 @ 1593.72
1623.65/1629.11	c #Conflicts:     529000 | #Constraints:      31261
1623.65/1629.11	c #Conflicts:     530000 | #Constraints:      32261
1623.65/1629.11	c #Conflicts:     531000 | #Constraints:      33261
1623.65/1629.11	c INPROCESSING
1623.65/1629.11	c GARBAGE COLLECT
1623.65/1629.11	c #Conflicts:     532000 | #Constraints:      19835
1623.65/1629.11	c #Conflicts:     533000 | #Constraints:      20835
1623.65/1629.11	c GLOBAL bounds - >= 0 @ 1612.62
1667.08/1672.77	c #Conflicts:     534000 | #Constraints:      21837
1667.08/1672.77	c #Conflicts:     535000 | #Constraints:      22837
1667.08/1672.77	c #Conflicts:     536000 | #Constraints:      23837
1667.08/1672.77	c #Conflicts:     537000 | #Constraints:      24837
1667.08/1672.77	c #Conflicts:     538000 | #Constraints:      25837
1667.08/1672.77	c #Conflicts:     539000 | #Constraints:      26837
1667.08/1672.77	c #Conflicts:     540000 | #Constraints:      27837
1667.08/1672.77	c #Conflicts:     541000 | #Constraints:      28837
1667.08/1672.77	c #Conflicts:     542000 | #Constraints:      29837
1667.08/1672.77	c GLOBAL bounds - >= 0 @ 1655.7
1669.08/1674.77	c #Conflicts:     543000 | #Constraints:      30839
1669.08/1674.77	c GLOBAL bounds - >= 0 @ 1657.69
1674.55/1680.20	c #Conflicts:     544000 | #Constraints:      31841
1674.55/1680.20	c GLOBAL bounds - >= 0 @ 1663.05
1703.46/1709.22	c #Conflicts:     545000 | #Constraints:      32843
1703.46/1709.22	c #Conflicts:     546000 | #Constraints:      33843
1703.46/1709.22	c INPROCESSING
1703.46/1709.22	c GARBAGE COLLECT
1703.46/1709.22	c #Conflicts:     547000 | #Constraints:      20239
1703.46/1709.22	c #Conflicts:     548000 | #Constraints:      21239
1703.46/1709.22	c #Conflicts:     549000 | #Constraints:      22239
1703.46/1709.22	c GLOBAL bounds - >= 0 @ 1691.76
1852.04/1858.31	c #Conflicts:     550000 | #Constraints:      23241
1852.04/1858.31	c #Conflicts:     551000 | #Constraints:      24241
1852.04/1858.31	c #Conflicts:     552000 | #Constraints:      25241
1852.04/1858.31	c #Conflicts:     553000 | #Constraints:      26241
1852.04/1858.31	c #Conflicts:     554000 | #Constraints:      27241
1852.04/1858.31	c #Conflicts:     555000 | #Constraints:      28241
1852.04/1858.31	c #Conflicts:     556000 | #Constraints:      29241
1852.04/1858.31	c #Conflicts:     557000 | #Constraints:      30241
1852.04/1858.31	c #Conflicts:     558000 | #Constraints:      31241
1852.04/1858.31	c #Conflicts:     559000 | #Constraints:      32241
1852.04/1858.31	c #Conflicts:     560000 | #Constraints:      33241
1852.04/1858.31	c #Conflicts:     561000 | #Constraints:      34241
1852.04/1858.31	c INPROCESSING
1852.04/1858.31	c GARBAGE COLLECT
1852.04/1858.31	c #Conflicts:     562000 | #Constraints:      20433
1852.04/1858.31	c #Conflicts:     563000 | #Constraints:      21433
1852.04/1858.31	c #Conflicts:     564000 | #Constraints:      22433
1852.04/1858.31	c #Conflicts:     565000 | #Constraints:      23433
1852.04/1858.31	c #Conflicts:     566000 | #Constraints:      24433
1852.04/1858.31	c #Conflicts:     567000 | #Constraints:      25433
1852.04/1858.31	c #Conflicts:     568000 | #Constraints:      26433
1852.04/1858.31	c #Conflicts:     569000 | #Constraints:      27433
1852.04/1858.31	c #Conflicts:     570000 | #Constraints:      28433
1852.04/1858.31	c #Conflicts:     571000 | #Constraints:      29433
1852.04/1858.31	c #Conflicts:     572000 | #Constraints:      30433
1852.04/1858.31	c #Conflicts:     573000 | #Constraints:      31433
1852.04/1858.31	c #Conflicts:     574000 | #Constraints:      32433
1852.04/1858.31	c #Conflicts:     575000 | #Constraints:      33433
1852.04/1858.31	c #Conflicts:     576000 | #Constraints:      34433
1852.04/1858.31	c INPROCESSING
1852.04/1858.31	c GARBAGE COLLECT
1852.04/1858.31	c #Conflicts:     577000 | #Constraints:      20421
1852.04/1858.31	c #Conflicts:     578000 | #Constraints:      21421
1852.04/1858.31	c #Conflicts:     579000 | #Constraints:      22421
1852.04/1858.31	c GLOBAL bounds - >= 0 @ 1839.69
1857.12/1863.47	c #Conflicts:     580000 | #Constraints:      23423
1857.12/1863.47	c GLOBAL bounds - >= 0 @ 1844.81
1859.91/1866.22	c #Conflicts:     581000 | #Constraints:      24425
1859.91/1866.22	c GLOBAL bounds - >= 0 @ 1847.54
1863.60/1869.91	c #Conflicts:     582000 | #Constraints:      25427
1863.60/1869.91	c GLOBAL bounds - >= 0 @ 1851.2
1925.88/1932.43	c #Conflicts:     583000 | #Constraints:      26429
1925.88/1932.43	c #Conflicts:     584000 | #Constraints:      27429
1925.88/1932.43	c #Conflicts:     585000 | #Constraints:      28429
1925.88/1932.43	c #Conflicts:     586000 | #Constraints:      29429
1925.88/1932.43	c #Conflicts:     587000 | #Constraints:      30429
1925.88/1932.43	c #Conflicts:     588000 | #Constraints:      31429
1925.88/1932.43	c #Conflicts:     589000 | #Constraints:      32429
1925.88/1932.43	c #Conflicts:     590000 | #Constraints:      33429
1925.88/1932.43	c #Conflicts:     591000 | #Constraints:      34429
1925.88/1932.43	c INPROCESSING
1925.88/1932.43	c GARBAGE COLLECT
1925.88/1932.43	c #Conflicts:     592000 | #Constraints:      20232
1925.88/1932.43	c #Conflicts:     593000 | #Constraints:      21232
1925.88/1932.43	c GLOBAL bounds - >= 0 @ 1913.09
2064.32/2071.39	c #Conflicts:     594000 | #Constraints:      22234
2064.32/2071.39	c #Conflicts:     595000 | #Constraints:      23234
2064.32/2071.39	c #Conflicts:     596000 | #Constraints:      24234
2064.32/2071.39	c #Conflicts:     597000 | #Constraints:      25234
2064.32/2071.39	c #Conflicts:     598000 | #Constraints:      26234
2064.32/2071.39	c #Conflicts:     599000 | #Constraints:      27234
2064.32/2071.39	c #Conflicts:     600000 | #Constraints:      28234
2064.32/2071.39	c #Conflicts:     601000 | #Constraints:      29234
2064.32/2071.39	c #Conflicts:     602000 | #Constraints:      30234
2064.32/2071.39	c #Conflicts:     603000 | #Constraints:      31234
2064.32/2071.39	c #Conflicts:     604000 | #Constraints:      32234
2064.32/2071.39	c #Conflicts:     605000 | #Constraints:      33234
2064.32/2071.39	c #Conflicts:     606000 | #Constraints:      34234
2064.32/2071.39	c #Conflicts:     607000 | #Constraints:      35234
2064.32/2071.39	c INPROCESSING
2064.32/2071.39	c GARBAGE COLLECT
2064.32/2071.39	c #Conflicts:     608000 | #Constraints:      20844
2064.32/2071.39	c #Conflicts:     609000 | #Constraints:      21844
2064.32/2071.39	c #Conflicts:     610000 | #Constraints:      22844
2064.32/2071.39	c #Conflicts:     611000 | #Constraints:      23844
2064.32/2071.39	c #Conflicts:     612000 | #Constraints:      24844
2064.32/2071.39	c #Conflicts:     613000 | #Constraints:      25844
2064.32/2071.39	c #Conflicts:     614000 | #Constraints:      26844
2064.32/2071.39	c #Conflicts:     615000 | #Constraints:      27844
2064.32/2071.39	c #Conflicts:     616000 | #Constraints:      28844
2064.32/2071.39	c #Conflicts:     617000 | #Constraints:      29844
2064.32/2071.39	c #Conflicts:     618000 | #Constraints:      30844
2064.32/2071.39	c #Conflicts:     619000 | #Constraints:      31844
2064.32/2071.39	c #Conflicts:     620000 | #Constraints:      32844
2064.32/2071.39	c #Conflicts:     621000 | #Constraints:      33844
2064.32/2071.39	c #Conflicts:     622000 | #Constraints:      34844
2064.32/2071.39	c #Conflicts:     623000 | #Constraints:      35844
2064.32/2071.39	c INPROCESSING
2064.32/2071.39	c GARBAGE COLLECT
2064.32/2071.39	c GLOBAL bounds - >= 0 @ 2051.06
2309.96/2317.81	c #Conflicts:     624000 | #Constraints:      21255
2309.96/2317.81	c #Conflicts:     625000 | #Constraints:      22255
2309.96/2317.81	c #Conflicts:     626000 | #Constraints:      23255
2309.96/2317.81	c #Conflicts:     627000 | #Constraints:      24255
2309.96/2317.81	c #Conflicts:     628000 | #Constraints:      25255
2309.96/2317.81	c #Conflicts:     629000 | #Constraints:      26255
2309.96/2317.81	c #Conflicts:     630000 | #Constraints:      27255
2309.96/2317.81	c #Conflicts:     631000 | #Constraints:      28255
2309.96/2317.81	c #Conflicts:     632000 | #Constraints:      29255
2309.96/2317.81	c #Conflicts:     633000 | #Constraints:      30255
2309.96/2317.81	c #Conflicts:     634000 | #Constraints:      31255
2309.96/2317.81	c #Conflicts:     635000 | #Constraints:      32255
2309.96/2317.81	c #Conflicts:     636000 | #Constraints:      33255
2309.96/2317.81	c #Conflicts:     637000 | #Constraints:      34255
2309.96/2317.81	c #Conflicts:     638000 | #Constraints:      35255
2309.96/2317.81	c #Conflicts:     639000 | #Constraints:      36255
2309.96/2317.81	c INPROCESSING
2309.96/2317.81	c GARBAGE COLLECT
2309.96/2317.81	c #Conflicts:     640000 | #Constraints:      21467
2309.96/2317.81	c #Conflicts:     641000 | #Constraints:      22467
2309.96/2317.81	c #Conflicts:     642000 | #Constraints:      23467
2309.96/2317.81	c #Conflicts:     643000 | #Constraints:      24467
2309.96/2317.81	c #Conflicts:     644000 | #Constraints:      25467
2309.96/2317.81	c #Conflicts:     645000 | #Constraints:      26467
2309.96/2317.81	c #Conflicts:     646000 | #Constraints:      27467
2309.96/2317.81	c #Conflicts:     647000 | #Constraints:      28467
2309.96/2317.81	c #Conflicts:     648000 | #Constraints:      29467
2309.96/2317.81	c #Conflicts:     649000 | #Constraints:      30467
2309.96/2317.81	c #Conflicts:     650000 | #Constraints:      31467
2309.96/2317.81	c #Conflicts:     651000 | #Constraints:      32467
2309.96/2317.81	c #Conflicts:     652000 | #Constraints:      33467
2309.96/2317.81	c #Conflicts:     653000 | #Constraints:      34467
2309.96/2317.81	c #Conflicts:     654000 | #Constraints:      35467
2309.96/2317.81	c #Conflicts:     655000 | #Constraints:      36467
2309.96/2317.81	c INPROCESSING
2309.96/2317.81	c GARBAGE COLLECT
2309.96/2317.81	c #Conflicts:     656000 | #Constraints:      21470
2309.96/2317.81	c #Conflicts:     657000 | #Constraints:      22470
2309.96/2317.81	c #Conflicts:     658000 | #Constraints:      23470
2309.96/2317.81	c #Conflicts:     659000 | #Constraints:      24470
2309.96/2317.81	c #Conflicts:     660000 | #Constraints:      25470
2309.96/2317.81	c #Conflicts:     661000 | #Constraints:      26470
2309.96/2317.81	c #Conflicts:     662000 | #Constraints:      27470
2309.96/2317.81	c #Conflicts:     663000 | #Constraints:      28470
2309.96/2317.81	c #Conflicts:     664000 | #Constraints:      29470
2309.96/2317.81	c #Conflicts:     665000 | #Constraints:      30470
2309.96/2317.81	c #Conflicts:     666000 | #Constraints:      31470
2309.96/2317.81	c #Conflicts:     667000 | #Constraints:      32470
2309.96/2317.81	c GLOBAL bounds - >= 0 @ 2295.42
2336.28/2344.26	c #Conflicts:     668000 | #Constraints:      33472
2336.28/2344.26	c #Conflicts:     669000 | #Constraints:      34472
2336.28/2344.26	c #Conflicts:     670000 | #Constraints:      35472
2336.28/2344.26	c #Conflicts:     671000 | #Constraints:      36472
2336.28/2344.26	c INPROCESSING
2336.28/2344.26	c GARBAGE COLLECT
2336.28/2344.26	c #Conflicts:     672000 | #Constraints:      21269
2336.28/2344.26	c GLOBAL bounds - >= 0 @ 2321.66
2757.32/2766.71	c #Conflicts:     673000 | #Constraints:      22271
2757.32/2766.71	c #Conflicts:     674000 | #Constraints:      23271
2757.32/2766.71	c #Conflicts:     675000 | #Constraints:      24271
2757.32/2766.71	c #Conflicts:     676000 | #Constraints:      25271
2757.32/2766.71	c #Conflicts:     677000 | #Constraints:      26271
2757.32/2766.71	c #Conflicts:     678000 | #Constraints:      27271
2757.32/2766.71	c #Conflicts:     679000 | #Constraints:      28271
2757.32/2766.71	c #Conflicts:     680000 | #Constraints:      29271
2757.32/2766.71	c #Conflicts:     681000 | #Constraints:      30271
2757.32/2766.71	c #Conflicts:     682000 | #Constraints:      31271
2757.32/2766.71	c #Conflicts:     683000 | #Constraints:      32271
2757.32/2766.71	c #Conflicts:     684000 | #Constraints:      33271
2757.32/2766.71	c #Conflicts:     685000 | #Constraints:      34271
2757.32/2766.71	c #Conflicts:     686000 | #Constraints:      35271
2757.32/2766.71	c #Conflicts:     687000 | #Constraints:      36271
2757.32/2766.71	c #Conflicts:     688000 | #Constraints:      37271
2757.32/2766.71	c INPROCESSING
2757.32/2766.71	c GARBAGE COLLECT
2757.32/2766.71	c #Conflicts:     689000 | #Constraints:      21873
2757.32/2766.71	c #Conflicts:     690000 | #Constraints:      22873
2757.32/2766.71	c #Conflicts:     691000 | #Constraints:      23873
2757.32/2766.71	c #Conflicts:     692000 | #Constraints:      24873
2757.32/2766.71	c #Conflicts:     693000 | #Constraints:      25873
2757.32/2766.71	c #Conflicts:     694000 | #Constraints:      26873
2757.32/2766.71	c #Conflicts:     695000 | #Constraints:      27873
2757.32/2766.71	c #Conflicts:     696000 | #Constraints:      28873
2757.32/2766.71	c #Conflicts:     697000 | #Constraints:      29873
2757.32/2766.71	c #Conflicts:     698000 | #Constraints:      30873
2757.32/2766.71	c #Conflicts:     699000 | #Constraints:      31873
2757.32/2766.71	c #Conflicts:     700000 | #Constraints:      32873
2757.32/2766.71	c #Conflicts:     701000 | #Constraints:      33873
2757.32/2766.71	c #Conflicts:     702000 | #Constraints:      34873
2757.32/2766.71	c #Conflicts:     703000 | #Constraints:      35873
2757.32/2766.71	c #Conflicts:     704000 | #Constraints:      36873
2757.32/2766.71	c #Conflicts:     705000 | #Constraints:      37873
2757.32/2766.71	c INPROCESSING
2757.32/2766.71	c GARBAGE COLLECT
2757.32/2766.71	c #Conflicts:     706000 | #Constraints:      22263
2757.32/2766.71	c #Conflicts:     707000 | #Constraints:      23263
2757.32/2766.71	c #Conflicts:     708000 | #Constraints:      24263
2757.32/2766.71	c #Conflicts:     709000 | #Constraints:      25263
2757.32/2766.71	c #Conflicts:     710000 | #Constraints:      26263
2757.32/2766.71	c #Conflicts:     711000 | #Constraints:      27263
2757.32/2766.71	c #Conflicts:     712000 | #Constraints:      28263
2757.32/2766.71	c #Conflicts:     713000 | #Constraints:      29263
2757.32/2766.71	c #Conflicts:     714000 | #Constraints:      30263
2757.32/2766.71	c #Conflicts:     715000 | #Constraints:      31263
2757.32/2766.71	c #Conflicts:     716000 | #Constraints:      32263
2757.32/2766.71	c #Conflicts:     717000 | #Constraints:      33263
2757.32/2766.71	c #Conflicts:     718000 | #Constraints:      34263
2757.32/2766.71	c #Conflicts:     719000 | #Constraints:      35263
2757.32/2766.71	c #Conflicts:     720000 | #Constraints:      36263
2757.32/2766.71	c #Conflicts:     721000 | #Constraints:      37263
2757.32/2766.71	c #Conflicts:     722000 | #Constraints:      38263
2757.32/2766.71	c INPROCESSING
2757.32/2766.71	c GARBAGE COLLECT
2757.32/2766.71	c #Conflicts:     723000 | #Constraints:      22469
2757.32/2766.71	c #Conflicts:     724000 | #Constraints:      23469
2757.32/2766.71	c #Conflicts:     725000 | #Constraints:      24469
2757.32/2766.71	c #Conflicts:     726000 | #Constraints:      25469
2757.32/2766.71	c #Conflicts:     727000 | #Constraints:      26469
2757.32/2766.71	c #Conflicts:     728000 | #Constraints:      27469
2757.32/2766.71	c #Conflicts:     729000 | #Constraints:      28469
2757.32/2766.71	c #Conflicts:     730000 | #Constraints:      29469
2757.32/2766.71	c #Conflicts:     731000 | #Constraints:      30469
2757.32/2766.71	c #Conflicts:     732000 | #Constraints:      31469
2757.32/2766.71	c #Conflicts:     733000 | #Constraints:      32469
2757.32/2766.71	c #Conflicts:     734000 | #Constraints:      33469
2757.32/2766.71	c #Conflicts:     735000 | #Constraints:      34469
2757.32/2766.71	c #Conflicts:     736000 | #Constraints:      35469
2757.32/2766.71	c #Conflicts:     737000 | #Constraints:      36469
2757.32/2766.71	c #Conflicts:     738000 | #Constraints:      37469
2757.32/2766.71	c #Conflicts:     739000 | #Constraints:      38469
2757.32/2766.71	c INPROCESSING
2757.32/2766.71	c GARBAGE COLLECT
2757.32/2766.71	c #Conflicts:     740000 | #Constraints:      22478
2757.32/2766.71	c #Conflicts:     741000 | #Constraints:      23478
2757.32/2766.71	c #Conflicts:     742000 | #Constraints:      24478
2757.32/2766.71	c #Conflicts:     743000 | #Constraints:      25478
2757.32/2766.71	c #Conflicts:     744000 | #Constraints:      26478
2757.32/2766.71	c #Conflicts:     745000 | #Constraints:      27478
2757.32/2766.71	c #Conflicts:     746000 | #Constraints:      28478
2757.32/2766.71	c #Conflicts:     747000 | #Constraints:      29478
2757.32/2766.71	c #Conflicts:     748000 | #Constraints:      30478
2757.32/2766.71	c #Conflicts:     749000 | #Constraints:      31478
2774.36/2783.85	c #Conflicts:     750000 | #Constraints:      32478
2774.36/2783.85	c GLOBAL bounds - >= 0 @ 2758.28
2921.35/2931.34	c #Conflicts:     751000 | #Constraints:      33480
2921.35/2931.34	c #Conflicts:     752000 | #Constraints:      34480
2921.35/2931.34	c #Conflicts:     753000 | #Constraints:      35480
2921.35/2931.34	c #Conflicts:     754000 | #Constraints:      36480
2921.35/2931.34	c #Conflicts:     755000 | #Constraints:      37480
2921.35/2931.34	c #Conflicts:     756000 | #Constraints:      38480
2921.35/2931.34	c INPROCESSING
2921.35/2931.34	c GARBAGE COLLECT
2921.35/2931.34	c #Conflicts:     757000 | #Constraints:      22254
2921.35/2931.34	c #Conflicts:     758000 | #Constraints:      23254
2921.35/2931.34	c #Conflicts:     759000 | #Constraints:      24254
2921.35/2931.34	c #Conflicts:     760000 | #Constraints:      25254
2921.35/2931.34	c #Conflicts:     761000 | #Constraints:      26254
2921.35/2931.34	c #Conflicts:     762000 | #Constraints:      27254
2921.35/2931.34	c #Conflicts:     763000 | #Constraints:      28254
2921.35/2931.34	c #Conflicts:     764000 | #Constraints:      29254
2921.35/2931.34	c #Conflicts:     765000 | #Constraints:      30254
2921.35/2931.34	c #Conflicts:     766000 | #Constraints:      31254
2921.35/2931.34	c #Conflicts:     767000 | #Constraints:      32254
2921.35/2931.34	c #Conflicts:     768000 | #Constraints:      33254
2921.35/2931.34	c #Conflicts:     769000 | #Constraints:      34254
2921.35/2931.34	c #Conflicts:     770000 | #Constraints:      35254
2921.35/2931.34	c #Conflicts:     771000 | #Constraints:      36254
2921.35/2931.34	c #Conflicts:     772000 | #Constraints:      37254
2921.35/2931.34	c GLOBAL bounds - >= 0 @ 2904.66
2990.92/3001.18	c #Conflicts:     773000 | #Constraints:      38256
2990.92/3001.18	c #Conflicts:     774000 | #Constraints:      39256
2990.92/3001.18	c INPROCESSING
2990.92/3001.18	c GARBAGE COLLECT
2990.92/3001.18	c #Conflicts:     775000 | #Constraints:      22851
2990.92/3001.18	c #Conflicts:     776000 | #Constraints:      23851
2990.92/3001.18	c #Conflicts:     777000 | #Constraints:      24851
2990.92/3001.18	c #Conflicts:     778000 | #Constraints:      25851
2990.92/3001.18	c #Conflicts:     779000 | #Constraints:      26851
2990.92/3001.18	c #Conflicts:     780000 | #Constraints:      27851
2990.92/3001.18	c #Conflicts:     781000 | #Constraints:      28851
2990.92/3001.18	c #Conflicts:     782000 | #Constraints:      29851
2990.92/3001.18	c #Conflicts:     783000 | #Constraints:      30851
2990.92/3001.18	c #Conflicts:     784000 | #Constraints:      31851
2990.92/3001.18	c #Conflicts:     785000 | #Constraints:      32851
2990.92/3001.18	c #Conflicts:     786000 | #Constraints:      33851
2990.92/3001.18	c GLOBAL bounds - >= 0 @ 2973.79
3013.73/3024.04	c #Conflicts:     787000 | #Constraints:      34853
3013.73/3024.04	c #Conflicts:     788000 | #Constraints:      35853
3013.73/3024.04	c #Conflicts:     789000 | #Constraints:      36853
3013.73/3024.04	c #Conflicts:     790000 | #Constraints:      37853
3013.73/3024.04	c #Conflicts:     791000 | #Constraints:      38853
3013.73/3024.04	c #Conflicts:     792000 | #Constraints:      39853
3013.73/3024.04	c INPROCESSING
3013.73/3024.04	c GARBAGE COLLECT
3013.73/3024.04	c GLOBAL bounds - >= 0 @ 2996.5
3016.62/3026.91	c GLOBAL bounds - >= 0 @ 2999.35
3018.31/3028.64	c #Conflicts:     793000 | #Constraints:      23263
3018.31/3028.64	c GLOBAL bounds - >= 0 @ 3001.06
3025.19/3035.58	c #Conflicts:     794000 | #Constraints:      24265
3025.19/3035.58	c #Conflicts:     795000 | #Constraints:      25265
3025.19/3035.58	c GLOBAL bounds - >= 0 @ 3007.91
3031.86/3042.29	c #Conflicts:     796000 | #Constraints:      26267
3031.86/3042.29	c GLOBAL bounds - >= 0 @ 3014.54
3175.06/3185.93	c #Conflicts:     797000 | #Constraints:      27269
3175.06/3185.93	c #Conflicts:     798000 | #Constraints:      28269
3175.06/3185.93	c #Conflicts:     799000 | #Constraints:      29269
3175.06/3185.93	c #Conflicts:     800000 | #Constraints:      30269
3175.06/3185.93	c #Conflicts:     801000 | #Constraints:      31269
3175.06/3185.93	c #Conflicts:     802000 | #Constraints:      32269
3175.06/3185.93	c #Conflicts:     803000 | #Constraints:      33269
3175.06/3185.93	c #Conflicts:     804000 | #Constraints:      34269
3175.06/3185.93	c #Conflicts:     805000 | #Constraints:      35269
3175.06/3185.93	c #Conflicts:     806000 | #Constraints:      36269
3175.06/3185.93	c #Conflicts:     807000 | #Constraints:      37269
3175.06/3185.93	c #Conflicts:     808000 | #Constraints:      38269
3175.06/3185.93	c #Conflicts:     809000 | #Constraints:      39269
3175.06/3185.93	c #Conflicts:     810000 | #Constraints:      40269
3175.06/3185.93	c INPROCESSING
3175.06/3185.93	c GARBAGE COLLECT
3175.06/3185.93	c #Conflicts:     811000 | #Constraints:      23477
3175.06/3185.93	c #Conflicts:     812000 | #Constraints:      24477
3175.06/3185.93	c #Conflicts:     813000 | #Constraints:      25477
3175.06/3185.93	c #Conflicts:     814000 | #Constraints:      26477
3175.06/3185.93	c #Conflicts:     815000 | #Constraints:      27477
3175.06/3185.93	c #Conflicts:     816000 | #Constraints:      28477
3175.06/3185.93	c #Conflicts:     817000 | #Constraints:      29477
3175.06/3185.93	c GLOBAL bounds - >= 0 @ 3156.99
3395.29/3406.94	c #Conflicts:     818000 | #Constraints:      30479
3395.29/3406.94	c #Conflicts:     819000 | #Constraints:      31479
3395.29/3406.94	c #Conflicts:     820000 | #Constraints:      32479
3395.29/3406.94	c #Conflicts:     821000 | #Constraints:      33479
3395.29/3406.94	c #Conflicts:     822000 | #Constraints:      34479
3395.29/3406.94	c #Conflicts:     823000 | #Constraints:      35479
3395.29/3406.94	c #Conflicts:     824000 | #Constraints:      36479
3395.29/3406.94	c #Conflicts:     825000 | #Constraints:      37479
3395.29/3406.94	c #Conflicts:     826000 | #Constraints:      38479
3395.29/3406.94	c #Conflicts:     827000 | #Constraints:      39479
3395.29/3406.94	c #Conflicts:     828000 | #Constraints:      40479
3395.29/3406.94	c INPROCESSING
3395.29/3406.94	c GARBAGE COLLECT
3395.29/3406.94	c #Conflicts:     829000 | #Constraints:      23481
3395.29/3406.94	c #Conflicts:     830000 | #Constraints:      24481
3395.29/3406.94	c #Conflicts:     831000 | #Constraints:      25481
3395.29/3406.94	c #Conflicts:     832000 | #Constraints:      26481
3395.29/3406.94	c #Conflicts:     833000 | #Constraints:      27481
3395.29/3406.94	c #Conflicts:     834000 | #Constraints:      28481
3395.29/3406.94	c #Conflicts:     835000 | #Constraints:      29481
3395.29/3406.94	c #Conflicts:     836000 | #Constraints:      30481
3395.29/3406.94	c #Conflicts:     837000 | #Constraints:      31481
3395.29/3406.94	c #Conflicts:     838000 | #Constraints:      32481
3395.29/3406.94	c #Conflicts:     839000 | #Constraints:      33481
3395.29/3406.94	c #Conflicts:     840000 | #Constraints:      34481
3395.29/3406.94	c #Conflicts:     841000 | #Constraints:      35481
3395.29/3406.94	c #Conflicts:     842000 | #Constraints:      36481
3395.29/3406.94	c #Conflicts:     843000 | #Constraints:      37481
3395.29/3406.94	c #Conflicts:     844000 | #Constraints:      38481
3395.29/3406.94	c #Conflicts:     845000 | #Constraints:      39481
3395.29/3406.94	c #Conflicts:     846000 | #Constraints:      40481
3395.29/3406.94	c INPROCESSING
3395.29/3406.94	c GARBAGE COLLECT
3395.29/3406.94	c #Conflicts:     847000 | #Constraints:      23273
3395.29/3406.94	c #Conflicts:     848000 | #Constraints:      24273
3395.29/3406.94	c #Conflicts:     849000 | #Constraints:      25273
3395.29/3406.94	c #Conflicts:     850000 | #Constraints:      26273
3395.29/3406.94	c #Conflicts:     851000 | #Constraints:      27273
3395.29/3406.94	c #Conflicts:     852000 | #Constraints:      28273
3395.29/3406.94	c #Conflicts:     853000 | #Constraints:      29273
3395.29/3406.94	c #Conflicts:     854000 | #Constraints:      30273
3395.29/3406.94	c #Conflicts:     855000 | #Constraints:      31273
3395.29/3406.94	c GLOBAL bounds - >= 0 @ 3376.52
3444.41/3456.20	c #Conflicts:     856000 | #Constraints:      32275
3444.41/3456.20	c #Conflicts:     857000 | #Constraints:      33275
3444.41/3456.20	c #Conflicts:     858000 | #Constraints:      34275
3444.41/3456.20	c #Conflicts:     859000 | #Constraints:      35275
3444.41/3456.20	c #Conflicts:     860000 | #Constraints:      36275
3444.41/3456.20	c #Conflicts:     861000 | #Constraints:      37275
3444.41/3456.20	c #Conflicts:     862000 | #Constraints:      38275
3444.41/3456.20	c #Conflicts:     863000 | #Constraints:      39275
3444.41/3456.20	c GLOBAL bounds - >= 0 @ 3425.32
3467.94/3479.82	c #Conflicts:     864000 | #Constraints:      40277
3467.94/3479.82	c #Conflicts:     865000 | #Constraints:      41277
3467.94/3479.82	c INPROCESSING
3467.94/3479.82	c GARBAGE COLLECT
3467.94/3479.82	c #Conflicts:     866000 | #Constraints:      23869
3467.94/3479.82	c #Conflicts:     867000 | #Constraints:      24869
3467.94/3479.82	c #Conflicts:     868000 | #Constraints:      25869
3467.94/3479.82	c GLOBAL bounds - >= 0 @ 3448.7
3470.72/3482.67	c #Conflicts:     869000 | #Constraints:      26871
3470.72/3482.67	c GLOBAL bounds - >= 0 @ 3451.51
3478.29/3490.25	c #Conflicts:     870000 | #Constraints:      27873
3478.29/3490.25	c GLOBAL bounds - >= 0 @ 3459.01
3491.25/3503.23	c #Conflicts:     871000 | #Constraints:      28875
3491.25/3503.23	c #Conflicts:     872000 | #Constraints:      29875
3491.25/3503.23	c #Conflicts:     873000 | #Constraints:      30875
3491.25/3503.23	c GLOBAL bounds - >= 0 @ 3471.85
3494.64/3506.65	c #Conflicts:     874000 | #Constraints:      31877
3494.64/3506.65	c GLOBAL bounds - >= 0 @ 3475.24
3515.98/3528.01	c #Conflicts:     875000 | #Constraints:      32879
3515.98/3528.01	c #Conflicts:     876000 | #Constraints:      33879
3515.98/3528.01	c #Conflicts:     877000 | #Constraints:      34879
3515.98/3528.01	c GLOBAL bounds - >= 0 @ 3496.41
3600.08/3612.40	c #Conflicts:     878000 | #Constraints:      35881
3600.08/3612.40	c #Conflicts:     879000 | #Constraints:      36881
3600.08/3612.40	c #Conflicts:     880000 | #Constraints:      37881
3600.08/3612.40	c #Conflicts:     881000 | #Constraints:      38881
3600.08/3612.40	c #Conflicts:     882000 | #Constraints:      39881
3600.08/3612.40	c #Conflicts:     883000 | #Constraints:      40881
3600.08/3612.40	c #Conflicts:     884000 | #Constraints:      41881
3600.08/3612.40	c INPROCESSING
3600.08/3612.40	c GARBAGE COLLECT
3600.08/3612.40	c #Conflicts:     885000 | #Constraints:      24278
3600.08/3612.40	c #Conflicts:     886000 | #Constraints:      25278
3600.08/3612.40	c #Conflicts:     887000 | #Constraints:      26278
3600.08/3612.40	c #Conflicts:     888000 | #Constraints:      27278
3600.08/3612.40	c #Conflicts:     889000 | #Constraints:      28278
3600.08/3612.40	c cpu time 3580.26 s
3600.08/3612.40	c deterministic time 1 1.00e+00
3600.08/3612.40	c optimization time 3580.22 s
3600.08/3612.40	c total solve time 0 s
3600.08/3612.40	c core-guided solve time 0 s
3600.08/3612.40	c propagation time 0.003426 s
3600.08/3612.40	c conflict analysis time 0 s
3600.08/3612.40	c propagations 0
3600.08/3612.40	c resolve steps 0
3600.08/3612.40	c decisions 0
3600.08/3612.40	c conflicts 0
3600.08/3612.40	c restarts 0
3600.08/3612.40	c inprocessing phases 0
3600.08/3612.40	c garbage collections 0 ,( -nan )
3600.08/3612.40	c input clauses 4060 ,( 100.00 )
3600.08/3612.40	c input cardinalities 0 ,( 0.00 )
3600.08/3612.40	c input general constraints 0 ,( 0.00 )
3600.08/3612.40	c input average constraint length 4.00
3600.08/3612.40	c input average constraint degree 1.00
3600.08/3612.40	c learned clauses 0 ,( 0.00 )
3600.08/3612.40	c learned cardinalities 0 ,( 0.00 )
3600.08/3612.40	c learned general constraints 0 ,( 0.00 )
3600.08/3612.40	c learned average constraint length 0.00
3600.08/3612.40	c learned average constraint degree 0.00
3600.08/3612.40	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3612.40	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.08/3612.40	c watched   constraints 0 ,( -nan ) 
3600.08/3612.40	c counting  constraints 0 ,( -nan ) 
3600.08/3612.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3612.40	c gcd simplifications 0
3600.08/3612.40	c detected cardinalities 0
3600.08/3612.40	c weakened non-implied lits 0
3600.08/3612.40	c weakened non-implying lits 0
3600.08/3612.40	c original variables 4060
3600.08/3612.40	c clausal propagations 0
3600.08/3612.40	c cardinality propagations 0
3600.08/3612.40	c watched propagations 0
3600.08/3612.40	c counting propagations 0
3600.08/3612.40	c watch lookups 0
3600.08/3612.40	c watch backjump lookups 0
3600.08/3612.40	c watch checks 0
3600.08/3612.40	c propagation checks 0
3600.08/3612.40	c constraint additions 0
3600.08/3612.40	c trail pops 0
3600.08/3612.40	c formula constraints 4060
3600.08/3612.40	c learned constraints 0
3600.08/3612.40	c bound constraints 0
3600.08/3612.40	c core-guided constraints 0
3600.08/3612.40	c encountered formula constraints 0
3600.08/3612.40	c encountered learned constraints 0
3600.08/3612.40	c encountered bound constraints 0
3600.08/3612.40	c encountered core-guided constraints 0
3600.08/3612.40	c LP total time 0 s
3600.08/3612.40	c LP solve time 0 s
3600.08/3612.40	c LP constraints added 0
3600.08/3612.40	c LP constraints removed 0
3600.08/3612.40	c LP pivots internal 0
3600.08/3612.40	c LP pivots root 0
3600.08/3612.40	c LP calls 0
3600.08/3612.40	c LP optimalities 0
3600.08/3612.40	c LP no pivot count 0
3600.08/3612.40	c LP infeasibilities 0
3600.08/3612.40	c LP valid Farkas constraints 0
3600.08/3612.40	c LP learned Farkas constraints 0
3600.08/3612.40	c LP basis resets 0
3600.08/3612.40	c LP cycling count 0
3600.08/3612.40	c LP singular count 0
3600.08/3612.40	c LP no primal count 0
3600.08/3612.40	c LP no farkas count 0
3600.08/3612.40	c LP other issue count 0
3600.08/3612.40	c LP Gomory cuts 0
3600.08/3612.40	c LP learned cuts 0
3600.08/3612.40	c LP deleted cuts 0
3600.08/3612.40	c LP encountered Gomory constraints 0
3600.08/3612.40	c LP encountered Farkas constraints 0
3600.08/3612.40	c LP encountered learned Farkas constraints 0
3600.08/3612.40	c CG auxiliary variables introduced 0
3600.08/3612.40	c CG solutions found 0
3600.08/3612.40	c CG cores constructed 0
3600.08/3612.40	c CG core cardinality constraints returned 0
3600.08/3612.40	c CG unit cores 0
3600.08/3612.40	c CG single cores 0
3600.08/3612.40	c CG blocks removed during cardinality reduction 0
3600.08/3612.40	c CG first core best 0
3600.08/3612.40	c CG decision core best 0
3600.08/3612.40	c CG core reduction tie 0
3600.08/3612.40	c CG core degree average 0.00
3600.08/3612.40	c CG core slack average 0.00
3600.08/3612.40	c CG core upper bound improvements 0
3600.08/3612.40	c STR number of successful calls 0
3600.08/3612.40	c STR number of unsuccessful calls 0
3600.08/3612.40	c STR number of inconclusive calls 0
3600.08/3612.40	c STR number of successful attempts 0
3600.08/3612.40	c STR number of unsuccessful attempts 0
3600.08/3612.40	c STR number of inconclusive attempts 0
3600.08/3612.40	c STR average degree increase per successful call inf
3600.08/3612.40	c STR average degree increase per successful attempt inf
3600.08/3612.40	c STR total number of conflicts for successful attempts 0
3600.08/3612.40	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3612.40	c STR total number of conflicts for inconclusive attempts 0
3600.08/3612.40	c STR average number of conflicts per successful attempt inf
3600.08/3612.40	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3612.40	c STR average number of conflicts per inconclusive attempt inf
3600.08/3612.40	c AVG.sumWPerc -nan 
3600.08/3612.40	c bigint constraints 0 
3600.08/3612.40	s UNKNOWN
3600.08/3612.40	c Program interrupted by user.

ERROR: no interpretation found !

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: 63837 MiB (63122 MiB free)
  memory of node 1: 64465 MiB (63737 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520756-1751578586/watcher-4520756-1751578586 -o /tmp/evaluation-result-4520756-1751578586/solver-4520756-1751578586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81854 --watchdog 3760 run-opt.sh HOME/instance-4520756-1751578586.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=82285, runsolver pid=82277
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 4.09 4.13 4.16 6/256 82293
/proc/meminfo: memFree=129879204/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=66676 memory=17112 CPUtime=0.07 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 2834 0 0 0 5 2 0 0 20 0 1 0 73537747 68276224 4278 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 16669 4278 2336 1147 0 4096 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 70868 KiB
Current children cumulated memory: 20056 KiB

[startup+0.214635 s]*
/proc/loadavg: 4.09 4.13 4.16 6/256 82293
/proc/meminfo: memFree=129859996/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=67872 memory=20844 CPUtime=0.19 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 3227 0 0 0 14 5 0 0 20 0 1 0 73537747 69500928 5211 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 16968 5211 2368 1147 0 4395 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 72064 KiB
Current children cumulated memory: 23788 KiB

[startup+0.313884 s]*
/proc/loadavg: 4.09 4.13 4.16 6/256 82293
/proc/meminfo: memFree=129843804/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=73680 memory=26732 CPUtime=0.28 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 4699 0 0 0 22 6 0 0 20 0 1 0 73537747 75448320 6683 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 18453 6683 2368 1147 0 5880 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77872 KiB
Current children cumulated memory: 29676 KiB

[startup+0.700409 s]
/proc/loadavg: 4.09 4.13 4.16 6/256 82293
/proc/meminfo: memFree=129802040/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=85444 memory=39020 CPUtime=0.65 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 7769 0 0 0 56 9 0 0 20 0 1 0 73537747 87494656 9755 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 21361 9755 2368 1147 0 8788 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 89636 KiB
Current children cumulated memory: 41964 KiB

[startup+1.50038 s]
/proc/loadavg: 4.09 4.13 4.16 6/256 82293
/proc/meminfo: memFree=129687692/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=147516 memory=92964 CPUtime=1.45 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 19736 0 0 0 129 16 0 0 20 0 1 0 73537747 151056384 23241 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 36879 23241 2368 1147 0 24306 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 151708 KiB
Current children cumulated memory: 95908 KiB

[startup+3.11355 s]
/proc/loadavg: 4.09 4.13 4.16 6/256 82293
/proc/meminfo: memFree=129236352/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=246452 memory=193140 CPUtime=3.06 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 38118 0 0 0 284 22 0 0 20 0 1 0 73537747 252366848 48285 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 61613 48285 2368 1147 0 49040 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 250644 KiB
Current children cumulated memory: 196084 KiB

[startup+6.30035 s]
/proc/loadavg: 4.08 4.13 4.16 6/256 82293
/proc/meminfo: memFree=128711640/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=406328 memory=318372 CPUtime=6.23 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 62283 0 0 0 592 31 0 0 20 0 1 0 73537747 416079872 79593 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 101582 79593 2368 1147 0 89009 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 410520 KiB
Current children cumulated memory: 321316 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.13 4.16 6/256 82293
/proc/meminfo: memFree=128274784/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=461792 memory=374964 CPUtime=12.61 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 70303 0 0 0 1220 41 0 0 20 0 1 0 73537747 472875008 93741 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 115448 93741 2368 1147 0 102875 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 465984 KiB
Current children cumulated memory: 377908 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.14 4.16 6/256 82294
/proc/meminfo: memFree=127224184/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=1297468 memory=953820 CPUtime=25.38 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 205826 0 0 0 2458 80 0 0 20 0 1 0 73537747 1328607232 238455 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 324367 238455 2368 1147 0 311794 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1301660 KiB
Current children cumulated memory: 956764 KiB

[startup+51.1135 s]
/proc/loadavg: 4.09 4.12 4.15 6/255 82294
/proc/meminfo: memFree=126246728/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=1302316 memory=966696 CPUtime=50.9 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 208030 0 0 0 4983 107 0 0 20 0 1 0 73537747 1333571584 241674 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 325579 241674 2368 1147 0 313006 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1306508 KiB
Current children cumulated memory: 969640 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.15 6/255 82296
/proc/meminfo: memFree=125511796/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=1320600 memory=1074664 CPUtime=101.92 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 222761 0 0 0 10039 153 0 0 20 0 1 0 73537747 1352294400 268666 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 330150 268666 2368 1147 0 317577 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1324792 KiB
Current children cumulated memory: 1077608 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.14 6/255 82298
/proc/meminfo: memFree=125123356/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=1471684 memory=1138056 CPUtime=161.73 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 232535 0 0 0 15961 212 0 0 20 0 1 0 73537747 1507004416 284514 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 367921 284514 2368 1147 0 355348 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1475876 KiB
Current children cumulated memory: 1141000 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.14 6/255 82300
/proc/meminfo: memFree=124416512/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=1938332 memory=1478180 CPUtime=221.53 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 305289 0 0 0 21895 258 0 0 20 0 1 0 73537747 1984851968 369545 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 484583 369545 2368 1147 0 472010 0
Current children cumulated CPU time: 221.53 s

################
# More data... #
################

[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=3865240 memory=3098048 CPUtime=3091.75 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 606820 0 0 0 307401 1774 0 0 20 0 1 0 73537747 3958005760 774512 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 966310 774512 2368 1147 0 953737 0
Current children cumulated CPU time: 3091.75 s
Current children cumulated vsize: 3869432 KiB
Current children cumulated memory: 3100992 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.11 4.15 6/255 82464
/proc/meminfo: memFree=114713804/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=3878120 memory=3121500 CPUtime=3151.54 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 610692 0 0 0 313359 1795 0 0 20 0 1 0 73537747 3971194880 780375 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 969530 780375 2368 1147 0 956957 0
Current children cumulated CPU time: 3151.54 s
Current children cumulated vsize: 3882312 KiB
Current children cumulated memory: 3124444 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.15 6/255 82466
/proc/meminfo: memFree=114618052/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=3878120 memory=3121500 CPUtime=3211.33 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 610728 0 0 0 319310 1823 0 0 20 0 1 0 73537747 3971194880 780375 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 969530 780375 2368 1147 0 956957 0
Current children cumulated CPU time: 3211.33 s
Current children cumulated vsize: 3882312 KiB
Current children cumulated memory: 3124444 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.14 6/254 82473
/proc/meminfo: memFree=114489412/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=3896508 memory=3175672 CPUtime=3271.12 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 619207 0 0 0 325270 1842 0 0 20 0 1 0 73537747 3990024192 793918 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 974127 793918 2368 1147 0 961554 0
Current children cumulated CPU time: 3271.12 s
Current children cumulated vsize: 3900700 KiB
Current children cumulated memory: 3178616 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.14 6/253 82475
/proc/meminfo: memFree=114439520/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=3896508 memory=3175800 CPUtime=3330.91 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 619264 0 0 0 331236 1855 0 0 20 0 1 0 73537747 3990024192 793950 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 974127 793950 2368 1147 0 961554 0
Current children cumulated CPU time: 3330.91 s
Current children cumulated vsize: 3900700 KiB
Current children cumulated memory: 3178744 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.13 6/253 82476
/proc/meminfo: memFree=114435752/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=3896508 memory=3175800 CPUtime=3390.71 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 619306 0 0 0 337191 1880 0 0 20 0 1 0 73537747 3990024192 793950 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 974127 793950 2368 1147 0 961554 0
Current children cumulated CPU time: 3390.71 s
Current children cumulated vsize: 3900700 KiB
Current children cumulated memory: 3178744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.13 6/254 82479
/proc/meminfo: memFree=114351388/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=3915332 memory=3189624 CPUtime=3450.5 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 622822 0 0 0 343137 1913 0 0 20 0 1 0 73537747 4009299968 797406 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 978833 797406 2368 1147 0 966260 0
Current children cumulated CPU time: 3450.5 s
Current children cumulated vsize: 3919524 KiB
Current children cumulated memory: 3192568 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.12 6/254 82481
/proc/meminfo: memFree=114337204/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=3925152 memory=3221900 CPUtime=3510.29 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 627334 0 0 0 349075 1954 0 0 20 0 1 0 73537747 4019355648 805475 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 981288 805475 2368 1147 0 968715 0
Current children cumulated CPU time: 3510.29 s
Current children cumulated vsize: 3929344 KiB
Current children cumulated memory: 3224844 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.11 6/254 82485
/proc/meminfo: memFree=114322436/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=3927896 memory=3225996 CPUtime=3570.08 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 628437 0 0 0 355035 1973 0 0 20 0 1 0 73537747 4022165504 806499 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 981974 806499 2368 1147 0 969401 0
Current children cumulated CPU time: 3570.08 s
Current children cumulated vsize: 3932088 KiB
Current children cumulated memory: 3228940 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 4.16 4.10 4.12 2/239 82511
/proc/meminfo: memFree=126598900/131382120 swapFree=33010160/33010684
[pid=82285] ppid=82277 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82285/stat : 82285 (run-opt.sh) S 82277 82285 81821 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 73537745 4292608 736 18446744073709551615 94829171474432 94829172368965 140727908306208 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94829172608016 94829172655760 94829180080128 140727908313453 140727908313576 140727908313576 140727908319178 0
/proc/82285/statm: 1048 736 672 219 0 110 0
[pid=82292] ppid=82285 vsize=3927896 memory=3225996 CPUtime=3600.08 cores=0,2
/proc/82292/stat : 82292 (roundingsat) R 82285 82285 81821 0 -1 4194304 628437 0 0 0 358026 1982 0 0 20 0 1 0 73537747 4022165504 806499 18446744073709551615 4227072 8923433 140731157760832 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20226048 140731157764514 140731157764648 140731157764648 140731157770218 0
/proc/82292/statm: 981974 806499 2368 1147 0 969401 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3932088 KiB
Current children cumulated memory: 3228940 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3612.41 s]
# the end of solver process 82285 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.004392 s, system=0.001616 s

[startup+3612.54 s]
# the end of solver process 82292 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3580.27 s, system=19.9553 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+3612.5 s]*
/proc/loadavg: 4.16 4.10 4.12 4/240 82529
/proc/meminfo: memFree=129221396/131382120 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.006008 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3612.54
CPU time (s): 3600.23
CPU user time (s): 3580.27
CPU system time (s): 19.9553
CPU usage (%): 99.6591
Max. virtual memory (cumulated for all children) (KiB): 3932088
Max. memory (cumulated for all children) (KiB): 3228940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.27
system time used= 19.9553
maximum resident set size= 3226380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 628663
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 227
involuntary context switches= 8026


# summary of solver processes directly reported to runsolver:
#   pid: 82285,82292
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3580.27
#   total CPU system time (s): 19.9553

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3302 second user time and 37.2107 second system time

The end

Begin job on nodeC008 at 2025-07-03 23:36:26
IDJOB=4520756
IDBENCH=178124
IDSOLVER=3350
FILE ID=nodeC008/4520756-1751578586
RUNJOBID= nodeC008-1751574973-81854
SLURM_JOB_ID= 9598800
Free space on /tmp= 432808 MiB

SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520756-1751578586/watcher-4520756-1751578586 -o /tmp/evaluation-result-4520756-1751578586/solver-4520756-1751578586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81854 --watchdog 3760  run-opt.sh HOME/instance-4520756-1751578586.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= ae0481323a61a83bdee40ab7f1cf5730
RANDOM SEED=1114294367

nodeC008 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	: 0xb00001f
cpu MHz		: 1197.266
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.195
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.209
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.183
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.253
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.208
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.193
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.250
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129885876 kB
MemAvailable:   129955104 kB
Buffers:            2128 kB
Cached:           863964 kB
SwapCached:           16 kB
Active:           592164 kB
Inactive:         345120 kB
Active(anon):      52704 kB
Inactive(anon):    36408 kB
Active(file):     539460 kB
Inactive(file):   308712 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             30296 kB
Writeback:            12 kB
AnonPages:         74260 kB
Mapped:           103540 kB
Shmem:             17920 kB
KReclaimable:     121368 kB
Slab:             206056 kB
SReclaimable:     121368 kB
SUnreclaim:        84688 kB
KernelStack:        3892 kB
PageTables:         2860 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     331552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149304 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432784 MiB
End job on nodeC008 at 2025-07-04 00:36:39