0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.77 c #variables 481 #constraints 481
0.00/0.77 c objective is ce32
0.00/0.77 c initial watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
0.00/0.77 c initial counting CF 32, 64, 128, Arb: 478 , 0 , 0 , 0
0.00/0.77 c GLOBAL bounds - >= 0 @ 0.002611
0.00/0.77 c GLOBAL bounds - >= 0 @ 0.003126
0.02/0.80 c GLOBAL bounds - >= 0 @ 0.030893
0.02/0.82 c GLOBAL bounds - >= 0 @ 0.050294
0.02/0.83 c GLOBAL bounds - >= 0 @ 0.059006
0.02/0.85 c GLOBAL bounds - >= 0 @ 0.083215
0.02/0.86 c GLOBAL bounds - >= 0 @ 0.085373
0.02/0.86 c GLOBAL bounds - >= 0 @ 0.088662
0.33/1.16 c #Conflicts: 1000 | #Constraints: 1493
0.33/1.16 c GLOBAL bounds - >= 0 @ 0.37398
0.83/1.69 c #Conflicts: 2000 | #Constraints: 2495
0.83/1.69 c INPROCESSING
0.83/1.69 c GARBAGE COLLECT
0.83/1.69 c #Conflicts: 3000 | #Constraints: 2506
0.83/1.69 c GLOBAL bounds - >= 0 @ 0.885559
1.12/1.97 c GLOBAL bounds - >= 0 @ 1.15368
2.82/3.61 c #Conflicts: 4000 | #Constraints: 3510
2.82/3.61 c INPROCESSING
2.82/3.61 c GARBAGE COLLECT
2.82/3.61 c #Conflicts: 5000 | #Constraints: 2923
2.82/3.61 c #Conflicts: 6000 | #Constraints: 3923
2.82/3.61 c INPROCESSING
2.82/3.61 c GARBAGE COLLECT
2.82/3.61 c #Conflicts: 7000 | #Constraints: 2930
2.82/3.61 c #Conflicts: 8000 | #Constraints: 3930
2.82/3.61 c GLOBAL bounds - >= 0 @ 2.76497
2.92/3.79 c GLOBAL bounds - >= 0 @ 2.94247
3.32/4.19 c #Conflicts: 9000 | #Constraints: 4934
3.32/4.19 c INPROCESSING
3.32/4.19 c GARBAGE COLLECT
3.32/4.19 c GLOBAL bounds - >= 0 @ 3.33118
3.62/4.41 c GLOBAL bounds - >= 0 @ 3.54478
3.62/4.44 c GLOBAL bounds - >= 0 @ 3.5804
5.01/5.87 c #Conflicts: 10000 | #Constraints: 3642
5.01/5.87 c #Conflicts: 11000 | #Constraints: 4642
5.01/5.87 c #Conflicts: 12000 | #Constraints: 5642
5.01/5.87 c INPROCESSING
5.01/5.87 c GARBAGE COLLECT
5.01/5.87 c #Conflicts: 13000 | #Constraints: 4093
5.01/5.87 c GLOBAL bounds - >= 0 @ 4.98557
6.02/6.86 c #Conflicts: 14000 | #Constraints: 5095
6.02/6.86 c #Conflicts: 15000 | #Constraints: 6095
6.02/6.86 c INPROCESSING
6.02/6.86 c GARBAGE COLLECT
6.02/6.86 c GLOBAL bounds - >= 0 @ 5.95113
7.91/8.74 c #Conflicts: 16000 | #Constraints: 4323
7.91/8.74 c #Conflicts: 17000 | #Constraints: 5323
7.91/8.74 c #Conflicts: 18000 | #Constraints: 6323
7.91/8.74 c INPROCESSING
7.91/8.74 c GARBAGE COLLECT
7.91/8.74 c #Conflicts: 19000 | #Constraints: 4341
7.91/8.74 c GLOBAL bounds - >= 0 @ 7.79808
10.49/11.36 c #Conflicts: 20000 | #Constraints: 5343
10.49/11.36 c #Conflicts: 21000 | #Constraints: 6343
10.49/11.36 c INPROCESSING
10.49/11.36 c GARBAGE COLLECT
10.49/11.36 c #Conflicts: 22000 | #Constraints: 4146
10.49/11.36 c #Conflicts: 23000 | #Constraints: 5146
10.49/11.36 c #Conflicts: 24000 | #Constraints: 6146
10.49/11.36 c GLOBAL bounds - >= 0 @ 10.367
10.70/11.53 c GLOBAL bounds - >= 0 @ 10.5357
11.40/12.24 c #Conflicts: 25000 | #Constraints: 7150
11.40/12.24 c INPROCESSING
11.40/12.24 c GARBAGE COLLECT
11.40/12.24 c GLOBAL bounds - >= 0 @ 11.2311
11.59/12.42 c #Conflicts: 26000 | #Constraints: 4751
11.59/12.42 c GLOBAL bounds - >= 0 @ 11.4137
12.39/13.27 c #Conflicts: 27000 | #Constraints: 5753
12.39/13.27 c GLOBAL bounds - >= 0 @ 12.2455
13.09/13.91 c #Conflicts: 28000 | #Constraints: 6755
13.09/13.91 c GLOBAL bounds - >= 0 @ 12.8796
13.19/14.06 c GLOBAL bounds - >= 0 @ 13.0228
13.88/14.75 c #Conflicts: 29000 | #Constraints: 7759
13.88/14.75 c INPROCESSING
13.88/14.75 c GARBAGE COLLECT
13.88/14.75 c #Conflicts: 30000 | #Constraints: 5159
13.88/14.75 c GLOBAL bounds - >= 0 @ 13.7022
14.78/15.69 c #Conflicts: 31000 | #Constraints: 6161
14.78/15.69 c GLOBAL bounds - >= 0 @ 14.6221
17.18/18.00 c #Conflicts: 32000 | #Constraints: 7163
17.18/18.00 c #Conflicts: 33000 | #Constraints: 8163
17.18/18.00 c INPROCESSING
17.18/18.00 c GARBAGE COLLECT
17.18/18.00 c #Conflicts: 34000 | #Constraints: 5361
17.18/18.00 c #Conflicts: 35000 | #Constraints: 6361
17.18/18.00 c GLOBAL bounds - >= 0 @ 16.8978
25.65/26.58 c #Conflicts: 36000 | #Constraints: 7363
25.65/26.58 c #Conflicts: 37000 | #Constraints: 8363
25.65/26.58 c INPROCESSING
25.65/26.58 c GARBAGE COLLECT
25.65/26.58 c #Conflicts: 38000 | #Constraints: 5371
25.65/26.58 c #Conflicts: 39000 | #Constraints: 6371
25.65/26.58 c #Conflicts: 40000 | #Constraints: 7371
25.65/26.58 c #Conflicts: 41000 | #Constraints: 8371
25.65/26.58 c INPROCESSING
25.65/26.58 c GARBAGE COLLECT
25.65/26.58 c #Conflicts: 42000 | #Constraints: 5170
25.65/26.58 c #Conflicts: 43000 | #Constraints: 6170
25.65/26.58 c #Conflicts: 44000 | #Constraints: 7170
25.65/26.58 c #Conflicts: 45000 | #Constraints: 8170
25.65/26.58 c #Conflicts: 46000 | #Constraints: 9170
25.65/26.58 c INPROCESSING
25.65/26.58 c GARBAGE COLLECT
25.65/26.58 c GLOBAL bounds - >= 0 @ 25.3752
27.65/28.54 c #Conflicts: 47000 | #Constraints: 5767
27.65/28.54 c #Conflicts: 48000 | #Constraints: 6767
27.65/28.54 c #Conflicts: 49000 | #Constraints: 7767
27.65/28.54 c GLOBAL bounds - >= 0 @ 27.3084
81.69/82.75 c #Conflicts: 50000 | #Constraints: 8769
81.69/82.75 c #Conflicts: 51000 | #Constraints: 9769
81.69/82.75 c INPROCESSING
81.69/82.75 c GARBAGE COLLECT
81.69/82.75 c #Conflicts: 52000 | #Constraints: 6170
81.69/82.75 c #Conflicts: 53000 | #Constraints: 7170
81.69/82.75 c #Conflicts: 54000 | #Constraints: 8170
81.69/82.75 c #Conflicts: 55000 | #Constraints: 9170
81.69/82.75 c #Conflicts: 56000 | #Constraints: 10170
81.69/82.75 c INPROCESSING
81.69/82.75 c GARBAGE COLLECT
81.69/82.75 c #Conflicts: 57000 | #Constraints: 6372
81.69/82.75 c #Conflicts: 58000 | #Constraints: 7372
81.69/82.75 c #Conflicts: 59000 | #Constraints: 8372
81.69/82.75 c #Conflicts: 60000 | #Constraints: 9372
81.69/82.75 c #Conflicts: 61000 | #Constraints: 10372
81.69/82.75 c INPROCESSING
81.69/82.75 c GARBAGE COLLECT
81.69/82.75 c #Conflicts: 62000 | #Constraints: 6374
81.69/82.75 c #Conflicts: 63000 | #Constraints: 7374
81.69/82.75 c #Conflicts: 64000 | #Constraints: 8374
81.69/82.75 c #Conflicts: 65000 | #Constraints: 9374
81.69/82.75 c #Conflicts: 66000 | #Constraints: 10374
81.69/82.75 c INPROCESSING
81.69/82.75 c GARBAGE COLLECT
81.69/82.75 c #Conflicts: 67000 | #Constraints: 6170
81.69/82.75 c #Conflicts: 68000 | #Constraints: 7170
81.69/82.75 c #Conflicts: 69000 | #Constraints: 8170
81.69/82.75 c #Conflicts: 70000 | #Constraints: 9170
81.69/82.75 c #Conflicts: 71000 | #Constraints: 10170
81.69/82.75 c #Conflicts: 72000 | #Constraints: 11170
81.69/82.75 c INPROCESSING
81.69/82.75 c GARBAGE COLLECT
81.69/82.75 c #Conflicts: 73000 | #Constraints: 6768
81.69/82.75 c #Conflicts: 74000 | #Constraints: 7768
81.69/82.75 c #Conflicts: 75000 | #Constraints: 8768
81.69/82.75 c #Conflicts: 76000 | #Constraints: 9768
81.69/82.75 c #Conflicts: 77000 | #Constraints: 10768
81.69/82.75 c #Conflicts: 78000 | #Constraints: 11768
81.69/82.75 c INPROCESSING
81.69/82.75 c GARBAGE COLLECT
81.69/82.75 c #Conflicts: 79000 | #Constraints: 7172
81.69/82.75 c #Conflicts: 80000 | #Constraints: 8172
81.69/82.75 c #Conflicts: 81000 | #Constraints: 9172
81.69/82.75 c #Conflicts: 82000 | #Constraints: 10172
81.69/82.75 c #Conflicts: 83000 | #Constraints: 11172
81.69/82.75 c #Conflicts: 84000 | #Constraints: 12172
81.69/82.75 c INPROCESSING
81.69/82.75 c GARBAGE COLLECT
81.69/82.75 c #Conflicts: 85000 | #Constraints: 7379
81.69/82.75 c #Conflicts: 86000 | #Constraints: 8379
81.69/82.75 c #Conflicts: 87000 | #Constraints: 9379
81.69/82.75 c #Conflicts: 88000 | #Constraints: 10379
81.69/82.75 c #Conflicts: 89000 | #Constraints: 11379
81.69/82.75 c #Conflicts: 90000 | #Constraints: 12379
81.69/82.75 c INPROCESSING
81.69/82.75 c GARBAGE COLLECT
81.69/82.75 c #Conflicts: 91000 | #Constraints: 7376
81.69/82.75 c #Conflicts: 92000 | #Constraints: 8376
81.69/82.75 c #Conflicts: 93000 | #Constraints: 9376
81.69/82.75 c #Conflicts: 94000 | #Constraints: 10376
81.69/82.75 c #Conflicts: 95000 | #Constraints: 11376
81.69/82.75 c #Conflicts: 96000 | #Constraints: 12376
81.69/82.75 c INPROCESSING
81.69/82.75 c GARBAGE COLLECT
81.69/82.75 c #Conflicts: 97000 | #Constraints: 7173
81.69/82.75 c #Conflicts: 98000 | #Constraints: 8173
81.69/82.75 c #Conflicts: 99000 | #Constraints: 9173
81.69/82.75 c #Conflicts: 100000 | #Constraints: 10173
81.69/82.75 c #Conflicts: 101000 | #Constraints: 11173
81.69/82.75 c #Conflicts: 102000 | #Constraints: 12173
81.69/82.75 c #Conflicts: 103000 | #Constraints: 13173
81.69/82.75 c INPROCESSING
81.69/82.75 c GARBAGE COLLECT
81.69/82.75 c #Conflicts: 104000 | #Constraints: 7778
81.69/82.75 c #Conflicts: 105000 | #Constraints: 8778
81.69/82.75 c GLOBAL bounds - >= 0 @ 80.8964
92.75/93.89 c #Conflicts: 106000 | #Constraints: 9780
92.75/93.89 c #Conflicts: 107000 | #Constraints: 10780
92.75/93.89 c #Conflicts: 108000 | #Constraints: 11780
92.75/93.89 c #Conflicts: 109000 | #Constraints: 12780
92.75/93.89 c #Conflicts: 110000 | #Constraints: 13780
92.75/93.89 c INPROCESSING
92.75/93.89 c GARBAGE COLLECT
92.75/93.89 c #Conflicts: 111000 | #Constraints: 8179
92.75/93.89 c #Conflicts: 112000 | #Constraints: 9179
92.75/93.89 c #Conflicts: 113000 | #Constraints: 10179
92.75/93.89 c #Conflicts: 114000 | #Constraints: 11179
92.75/93.89 c #Conflicts: 115000 | #Constraints: 12179
92.75/93.89 c GLOBAL bounds - >= 0 @ 91.9248
101.43/102.53 c #Conflicts: 116000 | #Constraints: 13181
101.43/102.53 c #Conflicts: 117000 | #Constraints: 14181
101.43/102.53 c INPROCESSING
101.43/102.53 c GARBAGE COLLECT
101.43/102.53 c #Conflicts: 118000 | #Constraints: 8370
101.43/102.53 c #Conflicts: 119000 | #Constraints: 9370
101.43/102.53 c #Conflicts: 120000 | #Constraints: 10370
101.43/102.53 c #Conflicts: 121000 | #Constraints: 11370
101.43/102.53 c #Conflicts: 122000 | #Constraints: 12370
101.43/102.53 c GLOBAL bounds - >= 0 @ 100.474
113.38/114.54 c #Conflicts: 123000 | #Constraints: 13372
113.38/114.54 c #Conflicts: 124000 | #Constraints: 14372
113.38/114.54 c INPROCESSING
113.38/114.54 c GARBAGE COLLECT
113.38/114.54 c #Conflicts: 125000 | #Constraints: 8371
113.38/114.54 c #Conflicts: 126000 | #Constraints: 9371
113.38/114.54 c #Conflicts: 127000 | #Constraints: 10371
113.38/114.54 c #Conflicts: 128000 | #Constraints: 11371
113.38/114.54 c #Conflicts: 129000 | #Constraints: 12371
113.38/114.54 c #Conflicts: 130000 | #Constraints: 13371
113.38/114.54 c #Conflicts: 131000 | #Constraints: 14371
113.38/114.54 c INPROCESSING
113.38/114.54 c GARBAGE COLLECT
113.38/114.54 c #Conflicts: 132000 | #Constraints: 8174
113.38/114.54 c GLOBAL bounds - >= 0 @ 112.366
115.58/116.72 c #Conflicts: 133000 | #Constraints: 9176
115.58/116.72 c #Conflicts: 134000 | #Constraints: 10176
115.58/116.72 c GLOBAL bounds - >= 0 @ 114.521
214.98/216.41 c #Conflicts: 135000 | #Constraints: 11178
214.98/216.41 c #Conflicts: 136000 | #Constraints: 12178
214.98/216.41 c #Conflicts: 137000 | #Constraints: 13178
214.98/216.41 c #Conflicts: 138000 | #Constraints: 14178
214.98/216.41 c #Conflicts: 139000 | #Constraints: 15178
214.98/216.41 c INPROCESSING
214.98/216.41 c GARBAGE COLLECT
214.98/216.41 c #Conflicts: 140000 | #Constraints: 8782
214.98/216.41 c #Conflicts: 141000 | #Constraints: 9782
214.98/216.41 c #Conflicts: 142000 | #Constraints: 10782
214.98/216.41 c #Conflicts: 143000 | #Constraints: 11782
214.98/216.41 c #Conflicts: 144000 | #Constraints: 12782
214.98/216.41 c #Conflicts: 145000 | #Constraints: 13782
214.98/216.41 c #Conflicts: 146000 | #Constraints: 14782
214.98/216.41 c #Conflicts: 147000 | #Constraints: 15782
214.98/216.41 c INPROCESSING
214.98/216.41 c GARBAGE COLLECT
214.98/216.41 c #Conflicts: 148000 | #Constraints: 9183
214.98/216.41 c #Conflicts: 149000 | #Constraints: 10183
214.98/216.41 c #Conflicts: 150000 | #Constraints: 11183
214.98/216.41 c #Conflicts: 151000 | #Constraints: 12183
214.98/216.41 c #Conflicts: 152000 | #Constraints: 13183
214.98/216.41 c #Conflicts: 153000 | #Constraints: 14183
214.98/216.41 c #Conflicts: 154000 | #Constraints: 15183
214.98/216.41 c #Conflicts: 155000 | #Constraints: 16183
214.98/216.41 c INPROCESSING
214.98/216.41 c GARBAGE COLLECT
214.98/216.41 c #Conflicts: 156000 | #Constraints: 9382
214.98/216.41 c #Conflicts: 157000 | #Constraints: 10382
214.98/216.41 c #Conflicts: 158000 | #Constraints: 11382
214.98/216.41 c #Conflicts: 159000 | #Constraints: 12382
214.98/216.41 c #Conflicts: 160000 | #Constraints: 13382
214.98/216.41 c #Conflicts: 161000 | #Constraints: 14382
214.98/216.41 c #Conflicts: 162000 | #Constraints: 15382
214.98/216.41 c #Conflicts: 163000 | #Constraints: 16382
214.98/216.41 c INPROCESSING
214.98/216.41 c GARBAGE COLLECT
214.98/216.41 c #Conflicts: 164000 | #Constraints: 9391
214.98/216.41 c #Conflicts: 165000 | #Constraints: 10391
214.98/216.41 c #Conflicts: 166000 | #Constraints: 11391
214.98/216.41 c #Conflicts: 167000 | #Constraints: 12391
214.98/216.41 c #Conflicts: 168000 | #Constraints: 13391
214.98/216.41 c #Conflicts: 169000 | #Constraints: 14391
214.98/216.41 c #Conflicts: 170000 | #Constraints: 15391
214.98/216.41 c #Conflicts: 171000 | #Constraints: 16391
214.98/216.41 c INPROCESSING
214.98/216.41 c GARBAGE COLLECT
214.98/216.41 c #Conflicts: 172000 | #Constraints: 9189
214.98/216.41 c #Conflicts: 173000 | #Constraints: 10189
214.98/216.41 c #Conflicts: 174000 | #Constraints: 11189
214.98/216.41 c #Conflicts: 175000 | #Constraints: 12189
214.98/216.41 c #Conflicts: 176000 | #Constraints: 13189
214.98/216.41 c #Conflicts: 177000 | #Constraints: 14189
214.98/216.41 c #Conflicts: 178000 | #Constraints: 15189
214.98/216.41 c #Conflicts: 179000 | #Constraints: 16189
214.98/216.41 c #Conflicts: 180000 | #Constraints: 17189
214.98/216.41 c INPROCESSING
214.98/216.41 c GARBAGE COLLECT
214.98/216.41 c #Conflicts: 181000 | #Constraints: 9787
214.98/216.41 c #Conflicts: 182000 | #Constraints: 10787
214.98/216.41 c #Conflicts: 183000 | #Constraints: 11787
214.98/216.41 c #Conflicts: 184000 | #Constraints: 12787
214.98/216.41 c #Conflicts: 185000 | #Constraints: 13787
214.98/216.41 c #Conflicts: 186000 | #Constraints: 14787
214.98/216.41 c #Conflicts: 187000 | #Constraints: 15787
214.98/216.41 c #Conflicts: 188000 | #Constraints: 16787
214.98/216.41 c #Conflicts: 189000 | #Constraints: 17787
214.98/216.41 c INPROCESSING
214.98/216.41 c GARBAGE COLLECT
214.98/216.41 c #Conflicts: 190000 | #Constraints: 10188
214.98/216.41 c #Conflicts: 191000 | #Constraints: 11188
214.98/216.41 c #Conflicts: 192000 | #Constraints: 12188
214.98/216.41 c #Conflicts: 193000 | #Constraints: 13188
214.98/216.41 c #Conflicts: 194000 | #Constraints: 14188
214.98/216.41 c #Conflicts: 195000 | #Constraints: 15188
214.98/216.41 c #Conflicts: 196000 | #Constraints: 16188
214.98/216.41 c #Conflicts: 197000 | #Constraints: 17188
214.98/216.41 c #Conflicts: 198000 | #Constraints: 18188
214.98/216.41 c INPROCESSING
214.98/216.41 c GARBAGE COLLECT
214.98/216.41 c #Conflicts: 199000 | #Constraints: 10393
214.98/216.41 c #Conflicts: 200000 | #Constraints: 11393
214.98/216.41 c #Conflicts: 201000 | #Constraints: 12393
214.98/216.41 c #Conflicts: 202000 | #Constraints: 13393
214.98/216.41 c #Conflicts: 203000 | #Constraints: 14393
214.98/216.41 c #Conflicts: 204000 | #Constraints: 15393
214.98/216.41 c #Conflicts: 205000 | #Constraints: 16393
214.98/216.41 c #Conflicts: 206000 | #Constraints: 17393
214.98/216.41 c #Conflicts: 207000 | #Constraints: 18393
214.98/216.41 c INPROCESSING
214.98/216.41 c GARBAGE COLLECT
214.98/216.41 c #Conflicts: 208000 | #Constraints: 10390
346.08/347.99 c #Conflicts: 209000 | #Constraints: 11390
346.08/347.99 c #Conflicts: 210000 | #Constraints: 12390
346.08/347.99 c #Conflicts: 211000 | #Constraints: 13390
346.08/347.99 c #Conflicts: 212000 | #Constraints: 14390
346.08/347.99 c #Conflicts: 213000 | #Constraints: 15390
346.08/347.99 c #Conflicts: 214000 | #Constraints: 16390
346.08/347.99 c #Conflicts: 215000 | #Constraints: 17390
346.08/347.99 c #Conflicts: 216000 | #Constraints: 18390
346.08/347.99 c INPROCESSING
346.08/347.99 c GARBAGE COLLECT
346.08/347.99 c #Conflicts: 217000 | #Constraints: 10195
346.08/347.99 c #Conflicts: 218000 | #Constraints: 11195
346.08/347.99 c #Conflicts: 219000 | #Constraints: 12195
346.08/347.99 c #Conflicts: 220000 | #Constraints: 13195
346.08/347.99 c #Conflicts: 221000 | #Constraints: 14195
346.08/347.99 c #Conflicts: 222000 | #Constraints: 15195
346.08/347.99 c #Conflicts: 223000 | #Constraints: 16195
346.08/347.99 c #Conflicts: 224000 | #Constraints: 17195
346.08/347.99 c #Conflicts: 225000 | #Constraints: 18195
346.08/347.99 c #Conflicts: 226000 | #Constraints: 19195
346.08/347.99 c INPROCESSING
346.08/347.99 c GARBAGE COLLECT
346.08/347.99 c #Conflicts: 227000 | #Constraints: 10794
346.08/347.99 c #Conflicts: 228000 | #Constraints: 11794
346.08/347.99 c #Conflicts: 229000 | #Constraints: 12794
346.08/347.99 c #Conflicts: 230000 | #Constraints: 13794
346.08/347.99 c #Conflicts: 231000 | #Constraints: 14794
346.08/347.99 c #Conflicts: 232000 | #Constraints: 15794
346.08/347.99 c #Conflicts: 233000 | #Constraints: 16794
346.08/347.99 c #Conflicts: 234000 | #Constraints: 17794
346.08/347.99 c #Conflicts: 235000 | #Constraints: 18794
346.08/347.99 c #Conflicts: 236000 | #Constraints: 19794
346.08/347.99 c INPROCESSING
346.08/347.99 c GARBAGE COLLECT
346.08/347.99 c #Conflicts: 237000 | #Constraints: 11194
346.08/347.99 c #Conflicts: 238000 | #Constraints: 12194
346.08/347.99 c #Conflicts: 239000 | #Constraints: 13194
346.08/347.99 c #Conflicts: 240000 | #Constraints: 14194
346.08/347.99 c #Conflicts: 241000 | #Constraints: 15194
346.08/347.99 c #Conflicts: 242000 | #Constraints: 16194
346.08/347.99 c #Conflicts: 243000 | #Constraints: 17194
346.08/347.99 c #Conflicts: 244000 | #Constraints: 18194
346.08/347.99 c #Conflicts: 245000 | #Constraints: 19194
346.08/347.99 c #Conflicts: 246000 | #Constraints: 20194
346.08/347.99 c INPROCESSING
346.08/347.99 c GARBAGE COLLECT
346.08/347.99 c #Conflicts: 247000 | #Constraints: 11398
346.08/347.99 c #Conflicts: 248000 | #Constraints: 12398
346.08/347.99 c #Conflicts: 249000 | #Constraints: 13398
346.08/347.99 c #Conflicts: 250000 | #Constraints: 14398
346.08/347.99 c #Conflicts: 251000 | #Constraints: 15398
346.08/347.99 c #Conflicts: 252000 | #Constraints: 16398
346.08/347.99 c #Conflicts: 253000 | #Constraints: 17398
346.08/347.99 c #Conflicts: 254000 | #Constraints: 18398
346.08/347.99 c #Conflicts: 255000 | #Constraints: 19398
346.08/347.99 c #Conflicts: 256000 | #Constraints: 20398
346.08/347.99 c INPROCESSING
346.08/347.99 c GARBAGE COLLECT
346.08/347.99 c #Conflicts: 257000 | #Constraints: 11394
346.08/347.99 c #Conflicts: 258000 | #Constraints: 12394
346.08/347.99 c #Conflicts: 259000 | #Constraints: 13394
346.08/347.99 c #Conflicts: 260000 | #Constraints: 14394
346.08/347.99 c #Conflicts: 261000 | #Constraints: 15394
346.08/347.99 c #Conflicts: 262000 | #Constraints: 16394
346.08/347.99 c #Conflicts: 263000 | #Constraints: 17394
346.08/347.99 c #Conflicts: 264000 | #Constraints: 18394
346.08/347.99 c #Conflicts: 265000 | #Constraints: 19394
346.08/347.99 c #Conflicts: 266000 | #Constraints: 20394
346.08/347.99 c INPROCESSING
346.08/347.99 c GARBAGE COLLECT
346.08/347.99 c #Conflicts: 267000 | #Constraints: 11196
346.08/347.99 c #Conflicts: 268000 | #Constraints: 12196
346.08/347.99 c #Conflicts: 269000 | #Constraints: 13196
346.08/347.99 c #Conflicts: 270000 | #Constraints: 14196
346.08/347.99 c #Conflicts: 271000 | #Constraints: 15196
346.08/347.99 c #Conflicts: 272000 | #Constraints: 16196
346.08/347.99 c #Conflicts: 273000 | #Constraints: 17196
346.08/347.99 c #Conflicts: 274000 | #Constraints: 18196
346.08/347.99 c #Conflicts: 275000 | #Constraints: 19196
346.08/347.99 c #Conflicts: 276000 | #Constraints: 20196
346.08/347.99 c #Conflicts: 277000 | #Constraints: 21196
346.08/347.99 c INPROCESSING
346.08/347.99 c GARBAGE COLLECT
346.08/347.99 c #Conflicts: 278000 | #Constraints: 11801
346.08/347.99 c #Conflicts: 279000 | #Constraints: 12801
346.08/347.99 c #Conflicts: 280000 | #Constraints: 13801
346.08/347.99 c #Conflicts: 281000 | #Constraints: 14801
346.08/347.99 c #Conflicts: 282000 | #Constraints: 15801
502.88/505.22 c #Conflicts: 283000 | #Constraints: 16801
502.88/505.22 c #Conflicts: 284000 | #Constraints: 17801
502.88/505.22 c #Conflicts: 285000 | #Constraints: 18801
502.88/505.22 c #Conflicts: 286000 | #Constraints: 19801
502.88/505.22 c #Conflicts: 287000 | #Constraints: 20801
502.88/505.22 c #Conflicts: 288000 | #Constraints: 21801
502.88/505.22 c INPROCESSING
502.88/505.22 c GARBAGE COLLECT
502.88/505.22 c #Conflicts: 289000 | #Constraints: 12204
502.88/505.22 c #Conflicts: 290000 | #Constraints: 13204
502.88/505.22 c #Conflicts: 291000 | #Constraints: 14204
502.88/505.22 c #Conflicts: 292000 | #Constraints: 15204
502.88/505.22 c #Conflicts: 293000 | #Constraints: 16204
502.88/505.22 c #Conflicts: 294000 | #Constraints: 17204
502.88/505.22 c #Conflicts: 295000 | #Constraints: 18204
502.88/505.22 c #Conflicts: 296000 | #Constraints: 19204
502.88/505.22 c #Conflicts: 297000 | #Constraints: 20204
502.88/505.22 c #Conflicts: 298000 | #Constraints: 21204
502.88/505.22 c #Conflicts: 299000 | #Constraints: 22204
502.88/505.22 c INPROCESSING
502.88/505.22 c GARBAGE COLLECT
502.88/505.22 c #Conflicts: 300000 | #Constraints: 12407
502.88/505.22 c #Conflicts: 301000 | #Constraints: 13407
502.88/505.22 c #Conflicts: 302000 | #Constraints: 14407
502.88/505.22 c #Conflicts: 303000 | #Constraints: 15407
502.88/505.22 c #Conflicts: 304000 | #Constraints: 16407
502.88/505.22 c #Conflicts: 305000 | #Constraints: 17407
502.88/505.22 c #Conflicts: 306000 | #Constraints: 18407
502.88/505.22 c #Conflicts: 307000 | #Constraints: 19407
502.88/505.22 c #Conflicts: 308000 | #Constraints: 20407
502.88/505.22 c #Conflicts: 309000 | #Constraints: 21407
502.88/505.22 c #Conflicts: 310000 | #Constraints: 22407
502.88/505.22 c INPROCESSING
502.88/505.22 c GARBAGE COLLECT
502.88/505.22 c #Conflicts: 311000 | #Constraints: 12401
502.88/505.22 c #Conflicts: 312000 | #Constraints: 13401
502.88/505.22 c #Conflicts: 313000 | #Constraints: 14401
502.88/505.22 c #Conflicts: 314000 | #Constraints: 15401
502.88/505.22 c #Conflicts: 315000 | #Constraints: 16401
502.88/505.22 c #Conflicts: 316000 | #Constraints: 17401
502.88/505.22 c #Conflicts: 317000 | #Constraints: 18401
502.88/505.22 c #Conflicts: 318000 | #Constraints: 19401
502.88/505.22 c #Conflicts: 319000 | #Constraints: 20401
502.88/505.22 c #Conflicts: 320000 | #Constraints: 21401
502.88/505.22 c #Conflicts: 321000 | #Constraints: 22401
502.88/505.22 c INPROCESSING
502.88/505.22 c GARBAGE COLLECT
502.88/505.22 c #Conflicts: 322000 | #Constraints: 12200
502.88/505.22 c #Conflicts: 323000 | #Constraints: 13200
502.88/505.22 c #Conflicts: 324000 | #Constraints: 14200
502.88/505.22 c #Conflicts: 325000 | #Constraints: 15200
502.88/505.22 c #Conflicts: 326000 | #Constraints: 16200
502.88/505.22 c #Conflicts: 327000 | #Constraints: 17200
502.88/505.22 c #Conflicts: 328000 | #Constraints: 18200
502.88/505.22 c #Conflicts: 329000 | #Constraints: 19200
502.88/505.22 c #Conflicts: 330000 | #Constraints: 20200
502.88/505.22 c #Conflicts: 331000 | #Constraints: 21200
502.88/505.22 c #Conflicts: 332000 | #Constraints: 22200
502.88/505.22 c #Conflicts: 333000 | #Constraints: 23200
502.88/505.22 c INPROCESSING
502.88/505.22 c GARBAGE COLLECT
502.88/505.22 c #Conflicts: 334000 | #Constraints: 12800
502.88/505.22 c #Conflicts: 335000 | #Constraints: 13800
502.88/505.22 c #Conflicts: 336000 | #Constraints: 14800
502.88/505.22 c #Conflicts: 337000 | #Constraints: 15800
502.88/505.22 c #Conflicts: 338000 | #Constraints: 16800
502.88/505.22 c #Conflicts: 339000 | #Constraints: 17800
502.88/505.22 c #Conflicts: 340000 | #Constraints: 18800
502.88/505.22 c #Conflicts: 341000 | #Constraints: 19800
502.88/505.22 c #Conflicts: 342000 | #Constraints: 20800
502.88/505.22 c #Conflicts: 343000 | #Constraints: 21800
502.88/505.22 c #Conflicts: 344000 | #Constraints: 22800
502.88/505.22 c #Conflicts: 345000 | #Constraints: 23800
502.88/505.22 c INPROCESSING
502.88/505.22 c GARBAGE COLLECT
502.88/505.22 c #Conflicts: 346000 | #Constraints: 13193
502.88/505.22 c #Conflicts: 347000 | #Constraints: 14193
502.88/505.22 c #Conflicts: 348000 | #Constraints: 15193
502.88/505.22 c #Conflicts: 349000 | #Constraints: 16193
502.88/505.22 c #Conflicts: 350000 | #Constraints: 17193
502.88/505.22 c #Conflicts: 351000 | #Constraints: 18193
502.88/505.22 c #Conflicts: 352000 | #Constraints: 19193
502.88/505.22 c #Conflicts: 353000 | #Constraints: 20193
502.88/505.22 c #Conflicts: 354000 | #Constraints: 21193
502.88/505.22 c #Conflicts: 355000 | #Constraints: 22193
502.88/505.22 c #Conflicts: 356000 | #Constraints: 23193
502.88/505.22 c #Conflicts: 357000 | #Constraints: 24193
667.19/670.05 c INPROCESSING
667.19/670.05 c GARBAGE COLLECT
667.19/670.05 c #Conflicts: 358000 | #Constraints: 13399
667.19/670.05 c #Conflicts: 359000 | #Constraints: 14399
667.19/670.05 c #Conflicts: 360000 | #Constraints: 15399
667.19/670.05 c #Conflicts: 361000 | #Constraints: 16399
667.19/670.05 c #Conflicts: 362000 | #Constraints: 17399
667.19/670.05 c #Conflicts: 363000 | #Constraints: 18399
667.19/670.05 c #Conflicts: 364000 | #Constraints: 19399
667.19/670.05 c #Conflicts: 365000 | #Constraints: 20399
667.19/670.05 c #Conflicts: 366000 | #Constraints: 21399
667.19/670.05 c #Conflicts: 367000 | #Constraints: 22399
667.19/670.05 c #Conflicts: 368000 | #Constraints: 23399
667.19/670.05 c #Conflicts: 369000 | #Constraints: 24399
667.19/670.05 c INPROCESSING
667.19/670.05 c GARBAGE COLLECT
667.19/670.05 c #Conflicts: 370000 | #Constraints: 13400
667.19/670.05 c #Conflicts: 371000 | #Constraints: 14400
667.19/670.05 c #Conflicts: 372000 | #Constraints: 15400
667.19/670.05 c #Conflicts: 373000 | #Constraints: 16400
667.19/670.05 c #Conflicts: 374000 | #Constraints: 17400
667.19/670.05 c #Conflicts: 375000 | #Constraints: 18400
667.19/670.05 c #Conflicts: 376000 | #Constraints: 19400
667.19/670.05 c #Conflicts: 377000 | #Constraints: 20400
667.19/670.05 c #Conflicts: 378000 | #Constraints: 21400
667.19/670.05 c #Conflicts: 379000 | #Constraints: 22400
667.19/670.05 c #Conflicts: 380000 | #Constraints: 23400
667.19/670.05 c #Conflicts: 381000 | #Constraints: 24400
667.19/670.05 c INPROCESSING
667.19/670.05 c GARBAGE COLLECT
667.19/670.05 c #Conflicts: 382000 | #Constraints: 13199
667.19/670.05 c #Conflicts: 383000 | #Constraints: 14199
667.19/670.05 c #Conflicts: 384000 | #Constraints: 15199
667.19/670.05 c #Conflicts: 385000 | #Constraints: 16199
667.19/670.05 c #Conflicts: 386000 | #Constraints: 17199
667.19/670.05 c #Conflicts: 387000 | #Constraints: 18199
667.19/670.05 c #Conflicts: 388000 | #Constraints: 19199
667.19/670.05 c #Conflicts: 389000 | #Constraints: 20199
667.19/670.05 c #Conflicts: 390000 | #Constraints: 21199
667.19/670.05 c #Conflicts: 391000 | #Constraints: 22199
667.19/670.05 c #Conflicts: 392000 | #Constraints: 23199
667.19/670.05 c #Conflicts: 393000 | #Constraints: 24199
667.19/670.05 c #Conflicts: 394000 | #Constraints: 25199
667.19/670.05 c INPROCESSING
667.19/670.05 c GARBAGE COLLECT
667.19/670.05 c #Conflicts: 395000 | #Constraints: 13801
667.19/670.05 c #Conflicts: 396000 | #Constraints: 14801
667.19/670.05 c #Conflicts: 397000 | #Constraints: 15801
667.19/670.05 c #Conflicts: 398000 | #Constraints: 16801
667.19/670.05 c #Conflicts: 399000 | #Constraints: 17801
667.19/670.05 c #Conflicts: 400000 | #Constraints: 18801
667.19/670.05 c #Conflicts: 401000 | #Constraints: 19801
667.19/670.05 c #Conflicts: 402000 | #Constraints: 20801
667.19/670.05 c #Conflicts: 403000 | #Constraints: 21801
667.19/670.05 c #Conflicts: 404000 | #Constraints: 22801
667.19/670.05 c #Conflicts: 405000 | #Constraints: 23801
667.19/670.05 c #Conflicts: 406000 | #Constraints: 24801
667.19/670.05 c #Conflicts: 407000 | #Constraints: 25801
667.19/670.05 c INPROCESSING
667.19/670.05 c GARBAGE COLLECT
667.19/670.05 c #Conflicts: 408000 | #Constraints: 14205
667.19/670.05 c #Conflicts: 409000 | #Constraints: 15205
667.19/670.05 c #Conflicts: 410000 | #Constraints: 16205
667.19/670.05 c #Conflicts: 411000 | #Constraints: 17205
667.19/670.05 c #Conflicts: 412000 | #Constraints: 18205
667.19/670.05 c #Conflicts: 413000 | #Constraints: 19205
667.19/670.05 c #Conflicts: 414000 | #Constraints: 20205
667.19/670.05 c #Conflicts: 415000 | #Constraints: 21205
667.19/670.05 c #Conflicts: 416000 | #Constraints: 22205
667.19/670.05 c #Conflicts: 417000 | #Constraints: 23205
667.19/670.05 c #Conflicts: 418000 | #Constraints: 24205
667.19/670.05 c #Conflicts: 419000 | #Constraints: 25205
667.19/670.05 c #Conflicts: 420000 | #Constraints: 26205
667.19/670.05 c INPROCESSING
667.19/670.05 c GARBAGE COLLECT
667.19/670.05 c #Conflicts: 421000 | #Constraints: 14404
667.19/670.05 c #Conflicts: 422000 | #Constraints: 15404
667.19/670.05 c #Conflicts: 423000 | #Constraints: 16404
667.19/670.05 c #Conflicts: 424000 | #Constraints: 17404
667.19/670.05 c #Conflicts: 425000 | #Constraints: 18404
667.19/670.05 c #Conflicts: 426000 | #Constraints: 19404
667.19/670.05 c #Conflicts: 427000 | #Constraints: 20404
667.19/670.05 c #Conflicts: 428000 | #Constraints: 21404
667.19/670.05 c #Conflicts: 429000 | #Constraints: 22404
667.19/670.05 c #Conflicts: 430000 | #Constraints: 23404
667.19/670.05 c #Conflicts: 431000 | #Constraints: 24404
667.19/670.05 c #Conflicts: 432000 | #Constraints: 25404
812.91/816.19 c #Conflicts: 433000 | #Constraints: 26404
812.91/816.19 c INPROCESSING
812.91/816.19 c GARBAGE COLLECT
812.91/816.19 c #Conflicts: 434000 | #Constraints: 14408
812.91/816.19 c #Conflicts: 435000 | #Constraints: 15408
812.91/816.19 c #Conflicts: 436000 | #Constraints: 16408
812.91/816.19 c #Conflicts: 437000 | #Constraints: 17408
812.91/816.19 c #Conflicts: 438000 | #Constraints: 18408
812.91/816.19 c #Conflicts: 439000 | #Constraints: 19408
812.91/816.19 c #Conflicts: 440000 | #Constraints: 20408
812.91/816.19 c #Conflicts: 441000 | #Constraints: 21408
812.91/816.19 c #Conflicts: 442000 | #Constraints: 22408
812.91/816.19 c #Conflicts: 443000 | #Constraints: 23408
812.91/816.19 c #Conflicts: 444000 | #Constraints: 24408
812.91/816.19 c #Conflicts: 445000 | #Constraints: 25408
812.91/816.19 c #Conflicts: 446000 | #Constraints: 26408
812.91/816.19 c INPROCESSING
812.91/816.19 c GARBAGE COLLECT
812.91/816.19 c #Conflicts: 447000 | #Constraints: 14206
812.91/816.19 c #Conflicts: 448000 | #Constraints: 15206
812.91/816.19 c #Conflicts: 449000 | #Constraints: 16206
812.91/816.19 c #Conflicts: 450000 | #Constraints: 17206
812.91/816.19 c #Conflicts: 451000 | #Constraints: 18206
812.91/816.19 c #Conflicts: 452000 | #Constraints: 19206
812.91/816.19 c #Conflicts: 453000 | #Constraints: 20206
812.91/816.19 c #Conflicts: 454000 | #Constraints: 21206
812.91/816.19 c #Conflicts: 455000 | #Constraints: 22206
812.91/816.19 c #Conflicts: 456000 | #Constraints: 23206
812.91/816.19 c #Conflicts: 457000 | #Constraints: 24206
812.91/816.19 c #Conflicts: 458000 | #Constraints: 25206
812.91/816.19 c #Conflicts: 459000 | #Constraints: 26206
812.91/816.19 c #Conflicts: 460000 | #Constraints: 27206
812.91/816.19 c INPROCESSING
812.91/816.19 c GARBAGE COLLECT
812.91/816.19 c #Conflicts: 461000 | #Constraints: 14810
812.91/816.19 c #Conflicts: 462000 | #Constraints: 15810
812.91/816.19 c #Conflicts: 463000 | #Constraints: 16810
812.91/816.19 c #Conflicts: 464000 | #Constraints: 17810
812.91/816.19 c #Conflicts: 465000 | #Constraints: 18810
812.91/816.19 c #Conflicts: 466000 | #Constraints: 19810
812.91/816.19 c #Conflicts: 467000 | #Constraints: 20810
812.91/816.19 c #Conflicts: 468000 | #Constraints: 21810
812.91/816.19 c #Conflicts: 469000 | #Constraints: 22810
812.91/816.19 c #Conflicts: 470000 | #Constraints: 23810
812.91/816.19 c #Conflicts: 471000 | #Constraints: 24810
812.91/816.19 c #Conflicts: 472000 | #Constraints: 25810
812.91/816.19 c #Conflicts: 473000 | #Constraints: 26810
812.91/816.19 c #Conflicts: 474000 | #Constraints: 27810
812.91/816.19 c INPROCESSING
812.91/816.19 c GARBAGE COLLECT
812.91/816.19 c #Conflicts: 475000 | #Constraints: 15208
812.91/816.19 c #Conflicts: 476000 | #Constraints: 16208
812.91/816.19 c #Conflicts: 477000 | #Constraints: 17208
812.91/816.19 c #Conflicts: 478000 | #Constraints: 18208
812.91/816.19 c #Conflicts: 479000 | #Constraints: 19208
812.91/816.19 c #Conflicts: 480000 | #Constraints: 20208
812.91/816.19 c #Conflicts: 481000 | #Constraints: 21208
812.91/816.19 c #Conflicts: 482000 | #Constraints: 22208
812.91/816.19 c #Conflicts: 483000 | #Constraints: 23208
812.91/816.19 c #Conflicts: 484000 | #Constraints: 24208
812.91/816.19 c #Conflicts: 485000 | #Constraints: 25208
812.91/816.19 c #Conflicts: 486000 | #Constraints: 26208
812.91/816.19 c #Conflicts: 487000 | #Constraints: 27208
812.91/816.19 c #Conflicts: 488000 | #Constraints: 28208
812.91/816.19 c INPROCESSING
812.91/816.19 c GARBAGE COLLECT
812.91/816.19 c #Conflicts: 489000 | #Constraints: 15405
812.91/816.19 c #Conflicts: 490000 | #Constraints: 16405
812.91/816.19 c #Conflicts: 491000 | #Constraints: 17405
812.91/816.19 c #Conflicts: 492000 | #Constraints: 18405
812.91/816.19 c #Conflicts: 493000 | #Constraints: 19405
812.91/816.19 c #Conflicts: 494000 | #Constraints: 20405
812.91/816.19 c #Conflicts: 495000 | #Constraints: 21405
812.91/816.19 c #Conflicts: 496000 | #Constraints: 22405
812.91/816.19 c #Conflicts: 497000 | #Constraints: 23405
812.91/816.19 c #Conflicts: 498000 | #Constraints: 24405
812.91/816.19 c #Conflicts: 499000 | #Constraints: 25405
812.91/816.19 c #Conflicts: 500000 | #Constraints: 26405
812.91/816.19 c #Conflicts: 501000 | #Constraints: 27405
812.91/816.19 c #Conflicts: 502000 | #Constraints: 28405
812.91/816.19 c INPROCESSING
812.91/816.19 c GARBAGE COLLECT
812.91/816.19 c #Conflicts: 503000 | #Constraints: 15411
812.91/816.19 c #Conflicts: 504000 | #Constraints: 16411
812.91/816.19 c #Conflicts: 505000 | #Constraints: 17411
812.91/816.19 c #Conflicts: 506000 | #Constraints: 18411
812.91/816.19 c #Conflicts: 507000 | #Constraints: 19411
945.27/948.87 c #Conflicts: 508000 | #Constraints: 20411
945.27/948.87 c #Conflicts: 509000 | #Constraints: 21411
945.27/948.87 c #Conflicts: 510000 | #Constraints: 22411
945.27/948.87 c #Conflicts: 511000 | #Constraints: 23411
945.27/948.87 c #Conflicts: 512000 | #Constraints: 24411
945.27/948.87 c #Conflicts: 513000 | #Constraints: 25411
945.27/948.87 c #Conflicts: 514000 | #Constraints: 26411
945.27/948.87 c #Conflicts: 515000 | #Constraints: 27411
945.27/948.87 c #Conflicts: 516000 | #Constraints: 28411
945.27/948.87 c INPROCESSING
945.27/948.87 c GARBAGE COLLECT
945.27/948.87 c #Conflicts: 517000 | #Constraints: 15202
945.27/948.87 c #Conflicts: 518000 | #Constraints: 16202
945.27/948.87 c #Conflicts: 519000 | #Constraints: 17202
945.27/948.87 c #Conflicts: 520000 | #Constraints: 18202
945.27/948.87 c #Conflicts: 521000 | #Constraints: 19202
945.27/948.87 c #Conflicts: 522000 | #Constraints: 20202
945.27/948.87 c #Conflicts: 523000 | #Constraints: 21202
945.27/948.87 c #Conflicts: 524000 | #Constraints: 22202
945.27/948.87 c #Conflicts: 525000 | #Constraints: 23202
945.27/948.87 c #Conflicts: 526000 | #Constraints: 24202
945.27/948.87 c #Conflicts: 527000 | #Constraints: 25202
945.27/948.87 c #Conflicts: 528000 | #Constraints: 26202
945.27/948.87 c #Conflicts: 529000 | #Constraints: 27202
945.27/948.87 c #Conflicts: 530000 | #Constraints: 28202
945.27/948.87 c #Conflicts: 531000 | #Constraints: 29202
945.27/948.87 c INPROCESSING
945.27/948.87 c GARBAGE COLLECT
945.27/948.87 c #Conflicts: 532000 | #Constraints: 15809
945.27/948.87 c #Conflicts: 533000 | #Constraints: 16809
945.27/948.87 c #Conflicts: 534000 | #Constraints: 17809
945.27/948.87 c #Conflicts: 535000 | #Constraints: 18809
945.27/948.87 c #Conflicts: 536000 | #Constraints: 19809
945.27/948.87 c #Conflicts: 537000 | #Constraints: 20809
945.27/948.87 c #Conflicts: 538000 | #Constraints: 21809
945.27/948.87 c #Conflicts: 539000 | #Constraints: 22809
945.27/948.87 c #Conflicts: 540000 | #Constraints: 23809
945.27/948.87 c #Conflicts: 541000 | #Constraints: 24809
945.27/948.87 c #Conflicts: 542000 | #Constraints: 25809
945.27/948.87 c #Conflicts: 543000 | #Constraints: 26809
945.27/948.87 c #Conflicts: 544000 | #Constraints: 27809
945.27/948.87 c #Conflicts: 545000 | #Constraints: 28809
945.27/948.87 c #Conflicts: 546000 | #Constraints: 29809
945.27/948.87 c INPROCESSING
945.27/948.87 c GARBAGE COLLECT
945.27/948.87 c #Conflicts: 547000 | #Constraints: 16203
945.27/948.87 c #Conflicts: 548000 | #Constraints: 17203
945.27/948.87 c #Conflicts: 549000 | #Constraints: 18203
945.27/948.87 c #Conflicts: 550000 | #Constraints: 19203
945.27/948.87 c #Conflicts: 551000 | #Constraints: 20203
945.27/948.87 c #Conflicts: 552000 | #Constraints: 21203
945.27/948.87 c #Conflicts: 553000 | #Constraints: 22203
945.27/948.87 c #Conflicts: 554000 | #Constraints: 23203
945.27/948.87 c #Conflicts: 555000 | #Constraints: 24203
945.27/948.87 c #Conflicts: 556000 | #Constraints: 25203
945.27/948.87 c #Conflicts: 557000 | #Constraints: 26203
945.27/948.87 c #Conflicts: 558000 | #Constraints: 27203
945.27/948.87 c #Conflicts: 559000 | #Constraints: 28203
945.27/948.87 c #Conflicts: 560000 | #Constraints: 29203
945.27/948.87 c #Conflicts: 561000 | #Constraints: 30203
945.27/948.87 c INPROCESSING
945.27/948.87 c GARBAGE COLLECT
945.27/948.87 c GLOBAL bounds - >= 0 @ 940.722
1146.17/1150.21 c #Conflicts: 562000 | #Constraints: 16407
1146.17/1150.21 c #Conflicts: 563000 | #Constraints: 17407
1146.17/1150.21 c #Conflicts: 564000 | #Constraints: 18407
1146.17/1150.21 c #Conflicts: 565000 | #Constraints: 19407
1146.17/1150.21 c #Conflicts: 566000 | #Constraints: 20407
1146.17/1150.21 c #Conflicts: 567000 | #Constraints: 21407
1146.17/1150.21 c #Conflicts: 568000 | #Constraints: 22407
1146.17/1150.21 c #Conflicts: 569000 | #Constraints: 23407
1146.17/1150.21 c #Conflicts: 570000 | #Constraints: 24407
1146.17/1150.21 c #Conflicts: 571000 | #Constraints: 25407
1146.17/1150.21 c #Conflicts: 572000 | #Constraints: 26407
1146.17/1150.21 c #Conflicts: 573000 | #Constraints: 27407
1146.17/1150.21 c #Conflicts: 574000 | #Constraints: 28407
1146.17/1150.21 c #Conflicts: 575000 | #Constraints: 29407
1146.17/1150.21 c #Conflicts: 576000 | #Constraints: 30407
1146.17/1150.21 c INPROCESSING
1146.17/1150.21 c GARBAGE COLLECT
1146.17/1150.21 c #Conflicts: 577000 | #Constraints: 16408
1146.17/1150.21 c #Conflicts: 578000 | #Constraints: 17408
1146.17/1150.21 c #Conflicts: 579000 | #Constraints: 18408
1146.17/1150.21 c #Conflicts: 580000 | #Constraints: 19408
1146.17/1150.21 c #Conflicts: 581000 | #Constraints: 20408
1146.17/1150.21 c #Conflicts: 582000 | #Constraints: 21408
1146.17/1150.21 c #Conflicts: 583000 | #Constraints: 22408
1146.17/1150.21 c #Conflicts: 584000 | #Constraints: 23408
1146.17/1150.21 c #Conflicts: 585000 | #Constraints: 24408
1146.17/1150.21 c #Conflicts: 586000 | #Constraints: 25408
1146.17/1150.21 c #Conflicts: 587000 | #Constraints: 26408
1146.17/1150.21 c #Conflicts: 588000 | #Constraints: 27408
1146.17/1150.21 c #Conflicts: 589000 | #Constraints: 28408
1146.17/1150.21 c #Conflicts: 590000 | #Constraints: 29408
1146.17/1150.21 c #Conflicts: 591000 | #Constraints: 30408
1146.17/1150.21 c INPROCESSING
1146.17/1150.21 c GARBAGE COLLECT
1146.17/1150.21 c #Conflicts: 592000 | #Constraints: 16210
1146.17/1150.21 c #Conflicts: 593000 | #Constraints: 17210
1146.17/1150.21 c #Conflicts: 594000 | #Constraints: 18210
1146.17/1150.21 c #Conflicts: 595000 | #Constraints: 19210
1146.17/1150.21 c #Conflicts: 596000 | #Constraints: 20210
1146.17/1150.21 c #Conflicts: 597000 | #Constraints: 21210
1146.17/1150.21 c #Conflicts: 598000 | #Constraints: 22210
1146.17/1150.21 c #Conflicts: 599000 | #Constraints: 23210
1146.17/1150.21 c #Conflicts: 600000 | #Constraints: 24210
1146.17/1150.21 c #Conflicts: 601000 | #Constraints: 25210
1146.17/1150.21 c #Conflicts: 602000 | #Constraints: 26210
1146.17/1150.21 c #Conflicts: 603000 | #Constraints: 27210
1146.17/1150.21 c #Conflicts: 604000 | #Constraints: 28210
1146.17/1150.21 c #Conflicts: 605000 | #Constraints: 29210
1146.17/1150.21 c #Conflicts: 606000 | #Constraints: 30210
1146.17/1150.21 c #Conflicts: 607000 | #Constraints: 31210
1146.17/1150.21 c INPROCESSING
1146.17/1150.21 c GARBAGE COLLECT
1146.17/1150.21 c #Conflicts: 608000 | #Constraints: 16809
1146.17/1150.21 c #Conflicts: 609000 | #Constraints: 17809
1146.17/1150.21 c #Conflicts: 610000 | #Constraints: 18809
1146.17/1150.21 c #Conflicts: 611000 | #Constraints: 19809
1146.17/1150.21 c #Conflicts: 612000 | #Constraints: 20809
1146.17/1150.21 c #Conflicts: 613000 | #Constraints: 21809
1146.17/1150.21 c #Conflicts: 614000 | #Constraints: 22809
1146.17/1150.21 c #Conflicts: 615000 | #Constraints: 23809
1146.17/1150.21 c #Conflicts: 616000 | #Constraints: 24809
1146.17/1150.21 c #Conflicts: 617000 | #Constraints: 25809
1146.17/1150.21 c #Conflicts: 618000 | #Constraints: 26809
1146.17/1150.21 c #Conflicts: 619000 | #Constraints: 27809
1146.17/1150.21 c #Conflicts: 620000 | #Constraints: 28809
1146.17/1150.21 c #Conflicts: 621000 | #Constraints: 29809
1146.17/1150.21 c #Conflicts: 622000 | #Constraints: 30809
1146.17/1150.21 c #Conflicts: 623000 | #Constraints: 31809
1146.17/1150.21 c INPROCESSING
1146.17/1150.21 c GARBAGE COLLECT
1146.17/1150.21 c #Conflicts: 624000 | #Constraints: 17205
1146.17/1150.21 c #Conflicts: 625000 | #Constraints: 18205
1146.17/1150.21 c #Conflicts: 626000 | #Constraints: 19205
1146.17/1150.21 c #Conflicts: 627000 | #Constraints: 20205
1146.17/1150.21 c #Conflicts: 628000 | #Constraints: 21205
1146.17/1150.21 c #Conflicts: 629000 | #Constraints: 22205
1146.17/1150.21 c #Conflicts: 630000 | #Constraints: 23205
1146.17/1150.21 c #Conflicts: 631000 | #Constraints: 24205
1146.17/1150.21 c #Conflicts: 632000 | #Constraints: 25205
1146.17/1150.21 c #Conflicts: 633000 | #Constraints: 26205
1146.17/1150.21 c #Conflicts: 634000 | #Constraints: 27205
1146.17/1150.21 c #Conflicts: 635000 | #Constraints: 28205
1146.17/1150.21 c #Conflicts: 636000 | #Constraints: 29205
1146.17/1150.21 c #Conflicts: 637000 | #Constraints: 30205
1146.17/1150.21 c #Conflicts: 638000 | #Constraints: 31205
1346.47/1351.05 c #Conflicts: 639000 | #Constraints: 32205
1346.47/1351.05 c INPROCESSING
1346.47/1351.05 c GARBAGE COLLECT
1346.47/1351.05 c #Conflicts: 640000 | #Constraints: 17395
1346.47/1351.05 c #Conflicts: 641000 | #Constraints: 18395
1346.47/1351.05 c #Conflicts: 642000 | #Constraints: 19395
1346.47/1351.05 c #Conflicts: 643000 | #Constraints: 20395
1346.47/1351.05 c #Conflicts: 644000 | #Constraints: 21395
1346.47/1351.05 c #Conflicts: 645000 | #Constraints: 22395
1346.47/1351.05 c #Conflicts: 646000 | #Constraints: 23395
1346.47/1351.05 c #Conflicts: 647000 | #Constraints: 24395
1346.47/1351.05 c #Conflicts: 648000 | #Constraints: 25395
1346.47/1351.05 c #Conflicts: 649000 | #Constraints: 26395
1346.47/1351.05 c #Conflicts: 650000 | #Constraints: 27395
1346.47/1351.05 c #Conflicts: 651000 | #Constraints: 28395
1346.47/1351.05 c #Conflicts: 652000 | #Constraints: 29395
1346.47/1351.05 c #Conflicts: 653000 | #Constraints: 30395
1346.47/1351.05 c #Conflicts: 654000 | #Constraints: 31395
1346.47/1351.05 c #Conflicts: 655000 | #Constraints: 32395
1346.47/1351.05 c INPROCESSING
1346.47/1351.05 c GARBAGE COLLECT
1346.47/1351.05 c #Conflicts: 656000 | #Constraints: 17392
1346.47/1351.05 c #Conflicts: 657000 | #Constraints: 18392
1346.47/1351.05 c #Conflicts: 658000 | #Constraints: 19392
1346.47/1351.05 c #Conflicts: 659000 | #Constraints: 20392
1346.47/1351.05 c #Conflicts: 660000 | #Constraints: 21392
1346.47/1351.05 c #Conflicts: 661000 | #Constraints: 22392
1346.47/1351.05 c #Conflicts: 662000 | #Constraints: 23392
1346.47/1351.05 c #Conflicts: 663000 | #Constraints: 24392
1346.47/1351.05 c #Conflicts: 664000 | #Constraints: 25392
1346.47/1351.05 c #Conflicts: 665000 | #Constraints: 26392
1346.47/1351.05 c #Conflicts: 666000 | #Constraints: 27392
1346.47/1351.05 c #Conflicts: 667000 | #Constraints: 28392
1346.47/1351.05 c #Conflicts: 668000 | #Constraints: 29392
1346.47/1351.05 c #Conflicts: 669000 | #Constraints: 30392
1346.47/1351.05 c #Conflicts: 670000 | #Constraints: 31392
1346.47/1351.05 c #Conflicts: 671000 | #Constraints: 32392
1346.47/1351.05 c INPROCESSING
1346.47/1351.05 c GARBAGE COLLECT
1346.47/1351.05 c #Conflicts: 672000 | #Constraints: 17196
1346.47/1351.05 c #Conflicts: 673000 | #Constraints: 18196
1346.47/1351.05 c #Conflicts: 674000 | #Constraints: 19196
1346.47/1351.05 c #Conflicts: 675000 | #Constraints: 20196
1346.47/1351.05 c #Conflicts: 676000 | #Constraints: 21196
1346.47/1351.05 c #Conflicts: 677000 | #Constraints: 22196
1346.47/1351.05 c #Conflicts: 678000 | #Constraints: 23196
1346.47/1351.05 c #Conflicts: 679000 | #Constraints: 24196
1346.47/1351.05 c #Conflicts: 680000 | #Constraints: 25196
1346.47/1351.05 c #Conflicts: 681000 | #Constraints: 26196
1346.47/1351.05 c #Conflicts: 682000 | #Constraints: 27196
1346.47/1351.05 c #Conflicts: 683000 | #Constraints: 28196
1346.47/1351.05 c #Conflicts: 684000 | #Constraints: 29196
1346.47/1351.05 c #Conflicts: 685000 | #Constraints: 30196
1346.47/1351.05 c #Conflicts: 686000 | #Constraints: 31196
1346.47/1351.05 c #Conflicts: 687000 | #Constraints: 32196
1346.47/1351.05 c #Conflicts: 688000 | #Constraints: 33196
1346.47/1351.05 c INPROCESSING
1346.47/1351.05 c GARBAGE COLLECT
1346.47/1351.05 c #Conflicts: 689000 | #Constraints: 17791
1346.47/1351.05 c #Conflicts: 690000 | #Constraints: 18791
1346.47/1351.05 c #Conflicts: 691000 | #Constraints: 19791
1346.47/1351.05 c #Conflicts: 692000 | #Constraints: 20791
1346.47/1351.05 c #Conflicts: 693000 | #Constraints: 21791
1346.47/1351.05 c #Conflicts: 694000 | #Constraints: 22791
1346.47/1351.05 c #Conflicts: 695000 | #Constraints: 23791
1346.47/1351.05 c #Conflicts: 696000 | #Constraints: 24791
1346.47/1351.05 c #Conflicts: 697000 | #Constraints: 25791
1346.47/1351.05 c #Conflicts: 698000 | #Constraints: 26791
1346.47/1351.05 c #Conflicts: 699000 | #Constraints: 27791
1346.47/1351.05 c #Conflicts: 700000 | #Constraints: 28791
1346.47/1351.05 c #Conflicts: 701000 | #Constraints: 29791
1346.47/1351.05 c #Conflicts: 702000 | #Constraints: 30791
1346.47/1351.05 c #Conflicts: 703000 | #Constraints: 31791
1346.47/1351.05 c #Conflicts: 704000 | #Constraints: 32791
1346.47/1351.05 c #Conflicts: 705000 | #Constraints: 33791
1346.47/1351.05 c INPROCESSING
1346.47/1351.05 c GARBAGE COLLECT
1346.47/1351.05 c #Conflicts: 706000 | #Constraints: 18193
1346.47/1351.05 c #Conflicts: 707000 | #Constraints: 19193
1346.47/1351.05 c #Conflicts: 708000 | #Constraints: 20193
1346.47/1351.05 c #Conflicts: 709000 | #Constraints: 21193
1346.47/1351.05 c #Conflicts: 710000 | #Constraints: 22193
1346.47/1351.05 c #Conflicts: 711000 | #Constraints: 23193
1346.47/1351.05 c #Conflicts: 712000 | #Constraints: 24193
1346.47/1351.05 c #Conflicts: 713000 | #Constraints: 25193
1574.18/1579.35 c #Conflicts: 714000 | #Constraints: 26193
1574.18/1579.35 c #Conflicts: 715000 | #Constraints: 27193
1574.18/1579.35 c #Conflicts: 716000 | #Constraints: 28193
1574.18/1579.35 c #Conflicts: 717000 | #Constraints: 29193
1574.18/1579.35 c #Conflicts: 718000 | #Constraints: 30193
1574.18/1579.35 c #Conflicts: 719000 | #Constraints: 31193
1574.18/1579.35 c #Conflicts: 720000 | #Constraints: 32193
1574.18/1579.35 c #Conflicts: 721000 | #Constraints: 33193
1574.18/1579.35 c #Conflicts: 722000 | #Constraints: 34193
1574.18/1579.35 c INPROCESSING
1574.18/1579.35 c GARBAGE COLLECT
1574.18/1579.35 c #Conflicts: 723000 | #Constraints: 18402
1574.18/1579.35 c #Conflicts: 724000 | #Constraints: 19402
1574.18/1579.35 c #Conflicts: 725000 | #Constraints: 20402
1574.18/1579.35 c #Conflicts: 726000 | #Constraints: 21402
1574.18/1579.35 c #Conflicts: 727000 | #Constraints: 22402
1574.18/1579.35 c #Conflicts: 728000 | #Constraints: 23402
1574.18/1579.35 c #Conflicts: 729000 | #Constraints: 24402
1574.18/1579.35 c #Conflicts: 730000 | #Constraints: 25402
1574.18/1579.35 c #Conflicts: 731000 | #Constraints: 26402
1574.18/1579.35 c #Conflicts: 732000 | #Constraints: 27402
1574.18/1579.35 c #Conflicts: 733000 | #Constraints: 28402
1574.18/1579.35 c #Conflicts: 734000 | #Constraints: 29402
1574.18/1579.35 c #Conflicts: 735000 | #Constraints: 30402
1574.18/1579.35 c #Conflicts: 736000 | #Constraints: 31402
1574.18/1579.35 c #Conflicts: 737000 | #Constraints: 32402
1574.18/1579.35 c #Conflicts: 738000 | #Constraints: 33402
1574.18/1579.35 c #Conflicts: 739000 | #Constraints: 34402
1574.18/1579.35 c INPROCESSING
1574.18/1579.35 c GARBAGE COLLECT
1574.18/1579.35 c #Conflicts: 740000 | #Constraints: 18402
1574.18/1579.35 c #Conflicts: 741000 | #Constraints: 19402
1574.18/1579.35 c #Conflicts: 742000 | #Constraints: 20402
1574.18/1579.35 c #Conflicts: 743000 | #Constraints: 21402
1574.18/1579.35 c #Conflicts: 744000 | #Constraints: 22402
1574.18/1579.35 c #Conflicts: 745000 | #Constraints: 23402
1574.18/1579.35 c #Conflicts: 746000 | #Constraints: 24402
1574.18/1579.35 c #Conflicts: 747000 | #Constraints: 25402
1574.18/1579.35 c #Conflicts: 748000 | #Constraints: 26402
1574.18/1579.35 c #Conflicts: 749000 | #Constraints: 27402
1574.18/1579.35 c #Conflicts: 750000 | #Constraints: 28402
1574.18/1579.35 c #Conflicts: 751000 | #Constraints: 29402
1574.18/1579.35 c #Conflicts: 752000 | #Constraints: 30402
1574.18/1579.35 c #Conflicts: 753000 | #Constraints: 31402
1574.18/1579.35 c #Conflicts: 754000 | #Constraints: 32402
1574.18/1579.35 c #Conflicts: 755000 | #Constraints: 33402
1574.18/1579.35 c #Conflicts: 756000 | #Constraints: 34402
1574.18/1579.35 c INPROCESSING
1574.18/1579.35 c GARBAGE COLLECT
1574.18/1579.35 c #Conflicts: 757000 | #Constraints: 18196
1574.18/1579.35 c #Conflicts: 758000 | #Constraints: 19196
1574.18/1579.35 c #Conflicts: 759000 | #Constraints: 20196
1574.18/1579.35 c #Conflicts: 760000 | #Constraints: 21196
1574.18/1579.35 c #Conflicts: 761000 | #Constraints: 22196
1574.18/1579.35 c #Conflicts: 762000 | #Constraints: 23196
1574.18/1579.35 c #Conflicts: 763000 | #Constraints: 24196
1574.18/1579.35 c #Conflicts: 764000 | #Constraints: 25196
1574.18/1579.35 c #Conflicts: 765000 | #Constraints: 26196
1574.18/1579.35 c #Conflicts: 766000 | #Constraints: 27196
1574.18/1579.35 c #Conflicts: 767000 | #Constraints: 28196
1574.18/1579.35 c #Conflicts: 768000 | #Constraints: 29196
1574.18/1579.35 c #Conflicts: 769000 | #Constraints: 30196
1574.18/1579.35 c #Conflicts: 770000 | #Constraints: 31196
1574.18/1579.35 c #Conflicts: 771000 | #Constraints: 32196
1574.18/1579.35 c #Conflicts: 772000 | #Constraints: 33196
1574.18/1579.35 c #Conflicts: 773000 | #Constraints: 34196
1574.18/1579.35 c #Conflicts: 774000 | #Constraints: 35196
1574.18/1579.35 c INPROCESSING
1574.18/1579.35 c GARBAGE COLLECT
1574.18/1579.35 c #Conflicts: 775000 | #Constraints: 18802
1574.18/1579.35 c #Conflicts: 776000 | #Constraints: 19802
1574.18/1579.35 c #Conflicts: 777000 | #Constraints: 20802
1574.18/1579.35 c #Conflicts: 778000 | #Constraints: 21802
1574.18/1579.35 c #Conflicts: 779000 | #Constraints: 22802
1574.18/1579.35 c #Conflicts: 780000 | #Constraints: 23802
1574.18/1579.35 c #Conflicts: 781000 | #Constraints: 24802
1574.18/1579.35 c #Conflicts: 782000 | #Constraints: 25802
1574.18/1579.35 c #Conflicts: 783000 | #Constraints: 26802
1574.18/1579.35 c #Conflicts: 784000 | #Constraints: 27802
1574.18/1579.35 c #Conflicts: 785000 | #Constraints: 28802
1574.18/1579.35 c #Conflicts: 786000 | #Constraints: 29802
1574.18/1579.35 c #Conflicts: 787000 | #Constraints: 30802
1574.18/1579.35 c #Conflicts: 788000 | #Constraints: 31802
1574.18/1579.35 c #Conflicts: 789000 | #Constraints: 32802
1574.18/1579.35 c #Conflicts: 790000 | #Constraints: 33802
1831.41/1837.27 c #Conflicts: 791000 | #Constraints: 34802
1831.41/1837.27 c #Conflicts: 792000 | #Constraints: 35802
1831.41/1837.27 c INPROCESSING
1831.41/1837.27 c GARBAGE COLLECT
1831.41/1837.27 c #Conflicts: 793000 | #Constraints: 19201
1831.41/1837.27 c #Conflicts: 794000 | #Constraints: 20201
1831.41/1837.27 c #Conflicts: 795000 | #Constraints: 21201
1831.41/1837.27 c #Conflicts: 796000 | #Constraints: 22201
1831.41/1837.27 c #Conflicts: 797000 | #Constraints: 23201
1831.41/1837.27 c #Conflicts: 798000 | #Constraints: 24201
1831.41/1837.27 c #Conflicts: 799000 | #Constraints: 25201
1831.41/1837.27 c #Conflicts: 800000 | #Constraints: 26201
1831.41/1837.27 c #Conflicts: 801000 | #Constraints: 27201
1831.41/1837.27 c #Conflicts: 802000 | #Constraints: 28201
1831.41/1837.27 c #Conflicts: 803000 | #Constraints: 29201
1831.41/1837.27 c #Conflicts: 804000 | #Constraints: 30201
1831.41/1837.27 c #Conflicts: 805000 | #Constraints: 31201
1831.41/1837.27 c #Conflicts: 806000 | #Constraints: 32201
1831.41/1837.27 c #Conflicts: 807000 | #Constraints: 33201
1831.41/1837.27 c #Conflicts: 808000 | #Constraints: 34201
1831.41/1837.27 c #Conflicts: 809000 | #Constraints: 35201
1831.41/1837.27 c #Conflicts: 810000 | #Constraints: 36201
1831.41/1837.27 c INPROCESSING
1831.41/1837.27 c GARBAGE COLLECT
1831.41/1837.27 c #Conflicts: 811000 | #Constraints: 19404
1831.41/1837.27 c #Conflicts: 812000 | #Constraints: 20404
1831.41/1837.27 c #Conflicts: 813000 | #Constraints: 21404
1831.41/1837.27 c #Conflicts: 814000 | #Constraints: 22404
1831.41/1837.27 c #Conflicts: 815000 | #Constraints: 23404
1831.41/1837.27 c #Conflicts: 816000 | #Constraints: 24404
1831.41/1837.27 c #Conflicts: 817000 | #Constraints: 25404
1831.41/1837.27 c #Conflicts: 818000 | #Constraints: 26404
1831.41/1837.27 c #Conflicts: 819000 | #Constraints: 27404
1831.41/1837.27 c #Conflicts: 820000 | #Constraints: 28404
1831.41/1837.27 c #Conflicts: 821000 | #Constraints: 29404
1831.41/1837.27 c #Conflicts: 822000 | #Constraints: 30404
1831.41/1837.27 c #Conflicts: 823000 | #Constraints: 31404
1831.41/1837.27 c #Conflicts: 824000 | #Constraints: 32404
1831.41/1837.27 c #Conflicts: 825000 | #Constraints: 33404
1831.41/1837.27 c #Conflicts: 826000 | #Constraints: 34404
1831.41/1837.27 c #Conflicts: 827000 | #Constraints: 35404
1831.41/1837.27 c #Conflicts: 828000 | #Constraints: 36404
1831.41/1837.27 c INPROCESSING
1831.41/1837.27 c GARBAGE COLLECT
1831.41/1837.27 c #Conflicts: 829000 | #Constraints: 19408
1831.41/1837.27 c #Conflicts: 830000 | #Constraints: 20408
1831.41/1837.27 c #Conflicts: 831000 | #Constraints: 21408
1831.41/1837.27 c #Conflicts: 832000 | #Constraints: 22408
1831.41/1837.27 c #Conflicts: 833000 | #Constraints: 23408
1831.41/1837.27 c #Conflicts: 834000 | #Constraints: 24408
1831.41/1837.27 c #Conflicts: 835000 | #Constraints: 25408
1831.41/1837.27 c #Conflicts: 836000 | #Constraints: 26408
1831.41/1837.27 c #Conflicts: 837000 | #Constraints: 27408
1831.41/1837.27 c #Conflicts: 838000 | #Constraints: 28408
1831.41/1837.27 c #Conflicts: 839000 | #Constraints: 29408
1831.41/1837.27 c #Conflicts: 840000 | #Constraints: 30408
1831.41/1837.27 c #Conflicts: 841000 | #Constraints: 31408
1831.41/1837.27 c #Conflicts: 842000 | #Constraints: 32408
1831.41/1837.27 c #Conflicts: 843000 | #Constraints: 33408
1831.41/1837.27 c #Conflicts: 844000 | #Constraints: 34408
1831.41/1837.27 c #Conflicts: 845000 | #Constraints: 35408
1831.41/1837.27 c #Conflicts: 846000 | #Constraints: 36408
1831.41/1837.27 c INPROCESSING
1831.41/1837.27 c GARBAGE COLLECT
1831.41/1837.27 c #Conflicts: 847000 | #Constraints: 19200
1831.41/1837.27 c #Conflicts: 848000 | #Constraints: 20200
1831.41/1837.27 c #Conflicts: 849000 | #Constraints: 21200
1831.41/1837.27 c #Conflicts: 850000 | #Constraints: 22200
1831.41/1837.27 c #Conflicts: 851000 | #Constraints: 23200
1831.41/1837.27 c #Conflicts: 852000 | #Constraints: 24200
1831.41/1837.27 c #Conflicts: 853000 | #Constraints: 25200
1831.41/1837.27 c #Conflicts: 854000 | #Constraints: 26200
1831.41/1837.27 c #Conflicts: 855000 | #Constraints: 27200
1831.41/1837.27 c #Conflicts: 856000 | #Constraints: 28200
1831.41/1837.27 c #Conflicts: 857000 | #Constraints: 29200
1831.41/1837.27 c #Conflicts: 858000 | #Constraints: 30200
1831.41/1837.27 c #Conflicts: 859000 | #Constraints: 31200
1831.41/1837.27 c #Conflicts: 860000 | #Constraints: 32200
1831.41/1837.27 c #Conflicts: 861000 | #Constraints: 33200
1831.41/1837.27 c #Conflicts: 862000 | #Constraints: 34200
1831.41/1837.27 c #Conflicts: 863000 | #Constraints: 35200
1831.41/1837.27 c #Conflicts: 864000 | #Constraints: 36200
1831.41/1837.27 c #Conflicts: 865000 | #Constraints: 37200
1831.41/1837.27 c INPROCESSING
2109.70/2116.28 c GARBAGE COLLECT
2109.70/2116.28 c #Conflicts: 866000 | #Constraints: 19804
2109.70/2116.28 c #Conflicts: 867000 | #Constraints: 20804
2109.70/2116.28 c #Conflicts: 868000 | #Constraints: 21804
2109.70/2116.28 c #Conflicts: 869000 | #Constraints: 22804
2109.70/2116.28 c #Conflicts: 870000 | #Constraints: 23804
2109.70/2116.28 c #Conflicts: 871000 | #Constraints: 24804
2109.70/2116.28 c #Conflicts: 872000 | #Constraints: 25804
2109.70/2116.28 c #Conflicts: 873000 | #Constraints: 26804
2109.70/2116.28 c #Conflicts: 874000 | #Constraints: 27804
2109.70/2116.28 c #Conflicts: 875000 | #Constraints: 28804
2109.70/2116.28 c #Conflicts: 876000 | #Constraints: 29804
2109.70/2116.28 c #Conflicts: 877000 | #Constraints: 30804
2109.70/2116.28 c #Conflicts: 878000 | #Constraints: 31804
2109.70/2116.28 c #Conflicts: 879000 | #Constraints: 32804
2109.70/2116.28 c #Conflicts: 880000 | #Constraints: 33804
2109.70/2116.28 c #Conflicts: 881000 | #Constraints: 34804
2109.70/2116.28 c #Conflicts: 882000 | #Constraints: 35804
2109.70/2116.28 c #Conflicts: 883000 | #Constraints: 36804
2109.70/2116.28 c #Conflicts: 884000 | #Constraints: 37804
2109.70/2116.28 c INPROCESSING
2109.70/2116.28 c GARBAGE COLLECT
2109.70/2116.28 c #Conflicts: 885000 | #Constraints: 20209
2109.70/2116.28 c #Conflicts: 886000 | #Constraints: 21209
2109.70/2116.28 c #Conflicts: 887000 | #Constraints: 22209
2109.70/2116.28 c #Conflicts: 888000 | #Constraints: 23209
2109.70/2116.28 c #Conflicts: 889000 | #Constraints: 24209
2109.70/2116.28 c #Conflicts: 890000 | #Constraints: 25209
2109.70/2116.28 c #Conflicts: 891000 | #Constraints: 26209
2109.70/2116.28 c #Conflicts: 892000 | #Constraints: 27209
2109.70/2116.28 c #Conflicts: 893000 | #Constraints: 28209
2109.70/2116.28 c #Conflicts: 894000 | #Constraints: 29209
2109.70/2116.28 c #Conflicts: 895000 | #Constraints: 30209
2109.70/2116.28 c #Conflicts: 896000 | #Constraints: 31209
2109.70/2116.28 c #Conflicts: 897000 | #Constraints: 32209
2109.70/2116.28 c #Conflicts: 898000 | #Constraints: 33209
2109.70/2116.28 c #Conflicts: 899000 | #Constraints: 34209
2109.70/2116.28 c #Conflicts: 900000 | #Constraints: 35209
2109.70/2116.28 c #Conflicts: 901000 | #Constraints: 36209
2109.70/2116.28 c #Conflicts: 902000 | #Constraints: 37209
2109.70/2116.28 c #Conflicts: 903000 | #Constraints: 38209
2109.70/2116.28 c INPROCESSING
2109.70/2116.28 c GARBAGE COLLECT
2109.70/2116.28 c #Conflicts: 904000 | #Constraints: 20410
2109.70/2116.28 c #Conflicts: 905000 | #Constraints: 21410
2109.70/2116.28 c #Conflicts: 906000 | #Constraints: 22410
2109.70/2116.28 c #Conflicts: 907000 | #Constraints: 23410
2109.70/2116.28 c #Conflicts: 908000 | #Constraints: 24410
2109.70/2116.28 c #Conflicts: 909000 | #Constraints: 25410
2109.70/2116.28 c #Conflicts: 910000 | #Constraints: 26410
2109.70/2116.28 c #Conflicts: 911000 | #Constraints: 27410
2109.70/2116.28 c #Conflicts: 912000 | #Constraints: 28410
2109.70/2116.28 c #Conflicts: 913000 | #Constraints: 29410
2109.70/2116.28 c #Conflicts: 914000 | #Constraints: 30410
2109.70/2116.28 c #Conflicts: 915000 | #Constraints: 31410
2109.70/2116.28 c #Conflicts: 916000 | #Constraints: 32410
2109.70/2116.28 c #Conflicts: 917000 | #Constraints: 33410
2109.70/2116.28 c #Conflicts: 918000 | #Constraints: 34410
2109.70/2116.28 c #Conflicts: 919000 | #Constraints: 35410
2109.70/2116.28 c #Conflicts: 920000 | #Constraints: 36410
2109.70/2116.28 c #Conflicts: 921000 | #Constraints: 37410
2109.70/2116.28 c #Conflicts: 922000 | #Constraints: 38410
2109.70/2116.28 c INPROCESSING
2109.70/2116.28 c GARBAGE COLLECT
2109.70/2116.28 c #Conflicts: 923000 | #Constraints: 20411
2109.70/2116.28 c #Conflicts: 924000 | #Constraints: 21411
2109.70/2116.28 c #Conflicts: 925000 | #Constraints: 22411
2109.70/2116.28 c #Conflicts: 926000 | #Constraints: 23411
2109.70/2116.28 c #Conflicts: 927000 | #Constraints: 24411
2109.70/2116.28 c #Conflicts: 928000 | #Constraints: 25411
2109.70/2116.28 c #Conflicts: 929000 | #Constraints: 26411
2109.70/2116.28 c #Conflicts: 930000 | #Constraints: 27411
2109.70/2116.28 c #Conflicts: 931000 | #Constraints: 28411
2109.70/2116.28 c #Conflicts: 932000 | #Constraints: 29411
2109.70/2116.28 c #Conflicts: 933000 | #Constraints: 30411
2109.70/2116.28 c #Conflicts: 934000 | #Constraints: 31411
2109.70/2116.28 c #Conflicts: 935000 | #Constraints: 32411
2109.70/2116.28 c #Conflicts: 936000 | #Constraints: 33411
2109.70/2116.28 c #Conflicts: 937000 | #Constraints: 34411
2109.70/2116.28 c #Conflicts: 938000 | #Constraints: 35411
2109.70/2116.28 c #Conflicts: 939000 | #Constraints: 36411
2109.70/2116.28 c #Conflicts: 940000 | #Constraints: 37411
2109.70/2116.28 c #Conflicts: 941000 | #Constraints: 38411
2109.70/2116.28 c INPROCESSING
2109.70/2116.28 c GARBAGE COLLECT
2342.50/2349.62 c #Conflicts: 942000 | #Constraints: 20209
2342.50/2349.62 c #Conflicts: 943000 | #Constraints: 21209
2342.50/2349.62 c #Conflicts: 944000 | #Constraints: 22209
2342.50/2349.62 c #Conflicts: 945000 | #Constraints: 23209
2342.50/2349.62 c #Conflicts: 946000 | #Constraints: 24209
2342.50/2349.62 c #Conflicts: 947000 | #Constraints: 25209
2342.50/2349.62 c #Conflicts: 948000 | #Constraints: 26209
2342.50/2349.62 c #Conflicts: 949000 | #Constraints: 27209
2342.50/2349.62 c #Conflicts: 950000 | #Constraints: 28209
2342.50/2349.62 c #Conflicts: 951000 | #Constraints: 29209
2342.50/2349.62 c #Conflicts: 952000 | #Constraints: 30209
2342.50/2349.62 c #Conflicts: 953000 | #Constraints: 31209
2342.50/2349.62 c #Conflicts: 954000 | #Constraints: 32209
2342.50/2349.62 c #Conflicts: 955000 | #Constraints: 33209
2342.50/2349.62 c #Conflicts: 956000 | #Constraints: 34209
2342.50/2349.62 c #Conflicts: 957000 | #Constraints: 35209
2342.50/2349.62 c #Conflicts: 958000 | #Constraints: 36209
2342.50/2349.62 c #Conflicts: 959000 | #Constraints: 37209
2342.50/2349.62 c #Conflicts: 960000 | #Constraints: 38209
2342.50/2349.62 c #Conflicts: 961000 | #Constraints: 39209
2342.50/2349.62 c INPROCESSING
2342.50/2349.62 c GARBAGE COLLECT
2342.50/2349.62 c #Conflicts: 962000 | #Constraints: 20805
2342.50/2349.62 c #Conflicts: 963000 | #Constraints: 21805
2342.50/2349.62 c #Conflicts: 964000 | #Constraints: 22805
2342.50/2349.62 c #Conflicts: 965000 | #Constraints: 23805
2342.50/2349.62 c #Conflicts: 966000 | #Constraints: 24805
2342.50/2349.62 c #Conflicts: 967000 | #Constraints: 25805
2342.50/2349.62 c #Conflicts: 968000 | #Constraints: 26805
2342.50/2349.62 c #Conflicts: 969000 | #Constraints: 27805
2342.50/2349.62 c #Conflicts: 970000 | #Constraints: 28805
2342.50/2349.62 c #Conflicts: 971000 | #Constraints: 29805
2342.50/2349.62 c #Conflicts: 972000 | #Constraints: 30805
2342.50/2349.62 c #Conflicts: 973000 | #Constraints: 31805
2342.50/2349.62 c #Conflicts: 974000 | #Constraints: 32805
2342.50/2349.62 c #Conflicts: 975000 | #Constraints: 33805
2342.50/2349.62 c #Conflicts: 976000 | #Constraints: 34805
2342.50/2349.62 c #Conflicts: 977000 | #Constraints: 35805
2342.50/2349.62 c #Conflicts: 978000 | #Constraints: 36805
2342.50/2349.62 c #Conflicts: 979000 | #Constraints: 37805
2342.50/2349.62 c #Conflicts: 980000 | #Constraints: 38805
2342.50/2349.62 c #Conflicts: 981000 | #Constraints: 39805
2342.50/2349.62 c INPROCESSING
2342.50/2349.62 c GARBAGE COLLECT
2342.50/2349.62 c #Conflicts: 982000 | #Constraints: 21209
2342.50/2349.62 c #Conflicts: 983000 | #Constraints: 22209
2342.50/2349.62 c #Conflicts: 984000 | #Constraints: 23209
2342.50/2349.62 c #Conflicts: 985000 | #Constraints: 24209
2342.50/2349.62 c #Conflicts: 986000 | #Constraints: 25209
2342.50/2349.62 c #Conflicts: 987000 | #Constraints: 26209
2342.50/2349.62 c #Conflicts: 988000 | #Constraints: 27209
2342.50/2349.62 c #Conflicts: 989000 | #Constraints: 28209
2342.50/2349.62 c #Conflicts: 990000 | #Constraints: 29209
2342.50/2349.62 c #Conflicts: 991000 | #Constraints: 30209
2342.50/2349.62 c #Conflicts: 992000 | #Constraints: 31209
2342.50/2349.62 c #Conflicts: 993000 | #Constraints: 32209
2342.50/2349.62 c #Conflicts: 994000 | #Constraints: 33209
2342.50/2349.62 c #Conflicts: 995000 | #Constraints: 34209
2342.50/2349.62 c #Conflicts: 996000 | #Constraints: 35209
2342.50/2349.62 c #Conflicts: 997000 | #Constraints: 36209
2342.50/2349.62 c #Conflicts: 998000 | #Constraints: 37209
2342.50/2349.62 c #Conflicts: 999000 | #Constraints: 38209
2342.50/2349.62 c #Conflicts: 1000000 | #Constraints: 39209
2342.50/2349.62 c #Conflicts: 1001000 | #Constraints: 40209
2342.50/2349.62 c INPROCESSING
2342.50/2349.62 c GARBAGE COLLECT
2342.50/2349.62 c #Conflicts: 1002000 | #Constraints: 21412
2342.50/2349.62 c #Conflicts: 1003000 | #Constraints: 22412
2342.50/2349.62 c #Conflicts: 1004000 | #Constraints: 23412
2342.50/2349.62 c #Conflicts: 1005000 | #Constraints: 24412
2342.50/2349.62 c #Conflicts: 1006000 | #Constraints: 25412
2342.50/2349.62 c #Conflicts: 1007000 | #Constraints: 26412
2342.50/2349.62 c #Conflicts: 1008000 | #Constraints: 27412
2342.50/2349.62 c #Conflicts: 1009000 | #Constraints: 28412
2342.50/2349.62 c #Conflicts: 1010000 | #Constraints: 29412
2342.50/2349.62 c #Conflicts: 1011000 | #Constraints: 30412
2342.50/2349.62 c #Conflicts: 1012000 | #Constraints: 31412
2342.50/2349.62 c #Conflicts: 1013000 | #Constraints: 32412
2342.50/2349.62 c #Conflicts: 1014000 | #Constraints: 33412
2342.50/2349.62 c #Conflicts: 1015000 | #Constraints: 34412
2342.50/2349.62 c #Conflicts: 1016000 | #Constraints: 35412
2342.50/2349.62 c #Conflicts: 1017000 | #Constraints: 36412
2342.50/2349.62 c #Conflicts: 1018000 | #Constraints: 37412
2608.22/2616.09 c #Conflicts: 1019000 | #Constraints: 38412
2608.22/2616.09 c #Conflicts: 1020000 | #Constraints: 39412
2608.22/2616.09 c #Conflicts: 1021000 | #Constraints: 40412
2608.22/2616.09 c INPROCESSING
2608.22/2616.09 c GARBAGE COLLECT
2608.22/2616.09 c #Conflicts: 1022000 | #Constraints: 21410
2608.22/2616.09 c #Conflicts: 1023000 | #Constraints: 22410
2608.22/2616.09 c #Conflicts: 1024000 | #Constraints: 23410
2608.22/2616.09 c #Conflicts: 1025000 | #Constraints: 24410
2608.22/2616.09 c #Conflicts: 1026000 | #Constraints: 25410
2608.22/2616.09 c #Conflicts: 1027000 | #Constraints: 26410
2608.22/2616.09 c #Conflicts: 1028000 | #Constraints: 27410
2608.22/2616.09 c #Conflicts: 1029000 | #Constraints: 28410
2608.22/2616.09 c #Conflicts: 1030000 | #Constraints: 29410
2608.22/2616.09 c #Conflicts: 1031000 | #Constraints: 30410
2608.22/2616.09 c #Conflicts: 1032000 | #Constraints: 31410
2608.22/2616.09 c #Conflicts: 1033000 | #Constraints: 32410
2608.22/2616.09 c #Conflicts: 1034000 | #Constraints: 33410
2608.22/2616.09 c #Conflicts: 1035000 | #Constraints: 34410
2608.22/2616.09 c #Conflicts: 1036000 | #Constraints: 35410
2608.22/2616.09 c #Conflicts: 1037000 | #Constraints: 36410
2608.22/2616.09 c #Conflicts: 1038000 | #Constraints: 37410
2608.22/2616.09 c #Conflicts: 1039000 | #Constraints: 38410
2608.22/2616.09 c #Conflicts: 1040000 | #Constraints: 39410
2608.22/2616.09 c #Conflicts: 1041000 | #Constraints: 40410
2608.22/2616.09 c INPROCESSING
2608.22/2616.09 c GARBAGE COLLECT
2608.22/2616.09 c #Conflicts: 1042000 | #Constraints: 21210
2608.22/2616.09 c #Conflicts: 1043000 | #Constraints: 22210
2608.22/2616.09 c #Conflicts: 1044000 | #Constraints: 23210
2608.22/2616.09 c #Conflicts: 1045000 | #Constraints: 24210
2608.22/2616.09 c #Conflicts: 1046000 | #Constraints: 25210
2608.22/2616.09 c #Conflicts: 1047000 | #Constraints: 26210
2608.22/2616.09 c #Conflicts: 1048000 | #Constraints: 27210
2608.22/2616.09 c #Conflicts: 1049000 | #Constraints: 28210
2608.22/2616.09 c #Conflicts: 1050000 | #Constraints: 29210
2608.22/2616.09 c #Conflicts: 1051000 | #Constraints: 30210
2608.22/2616.09 c #Conflicts: 1052000 | #Constraints: 31210
2608.22/2616.09 c #Conflicts: 1053000 | #Constraints: 32210
2608.22/2616.09 c #Conflicts: 1054000 | #Constraints: 33210
2608.22/2616.09 c #Conflicts: 1055000 | #Constraints: 34210
2608.22/2616.09 c #Conflicts: 1056000 | #Constraints: 35210
2608.22/2616.09 c #Conflicts: 1057000 | #Constraints: 36210
2608.22/2616.09 c #Conflicts: 1058000 | #Constraints: 37210
2608.22/2616.09 c #Conflicts: 1059000 | #Constraints: 38210
2608.22/2616.09 c #Conflicts: 1060000 | #Constraints: 39210
2608.22/2616.09 c #Conflicts: 1061000 | #Constraints: 40210
2608.22/2616.09 c #Conflicts: 1062000 | #Constraints: 41210
2608.22/2616.09 c INPROCESSING
2608.22/2616.09 c GARBAGE COLLECT
2608.22/2616.09 c #Conflicts: 1063000 | #Constraints: 21811
2608.22/2616.09 c #Conflicts: 1064000 | #Constraints: 22811
2608.22/2616.09 c #Conflicts: 1065000 | #Constraints: 23811
2608.22/2616.09 c #Conflicts: 1066000 | #Constraints: 24811
2608.22/2616.09 c #Conflicts: 1067000 | #Constraints: 25811
2608.22/2616.09 c #Conflicts: 1068000 | #Constraints: 26811
2608.22/2616.09 c #Conflicts: 1069000 | #Constraints: 27811
2608.22/2616.09 c #Conflicts: 1070000 | #Constraints: 28811
2608.22/2616.09 c #Conflicts: 1071000 | #Constraints: 29811
2608.22/2616.09 c #Conflicts: 1072000 | #Constraints: 30811
2608.22/2616.09 c #Conflicts: 1073000 | #Constraints: 31811
2608.22/2616.09 c #Conflicts: 1074000 | #Constraints: 32811
2608.22/2616.09 c #Conflicts: 1075000 | #Constraints: 33811
2608.22/2616.09 c #Conflicts: 1076000 | #Constraints: 34811
2608.22/2616.09 c #Conflicts: 1077000 | #Constraints: 35811
2608.22/2616.09 c #Conflicts: 1078000 | #Constraints: 36811
2608.22/2616.09 c #Conflicts: 1079000 | #Constraints: 37811
2608.22/2616.09 c #Conflicts: 1080000 | #Constraints: 38811
2608.22/2616.09 c #Conflicts: 1081000 | #Constraints: 39811
2608.22/2616.09 c #Conflicts: 1082000 | #Constraints: 40811
2608.22/2616.09 c #Conflicts: 1083000 | #Constraints: 41811
2608.22/2616.09 c INPROCESSING
2608.22/2616.09 c GARBAGE COLLECT
2608.22/2616.09 c #Conflicts: 1084000 | #Constraints: 22211
2608.22/2616.09 c #Conflicts: 1085000 | #Constraints: 23211
2608.22/2616.09 c #Conflicts: 1086000 | #Constraints: 24211
2608.22/2616.09 c #Conflicts: 1087000 | #Constraints: 25211
2608.22/2616.09 c #Conflicts: 1088000 | #Constraints: 26211
2608.22/2616.09 c #Conflicts: 1089000 | #Constraints: 27211
2608.22/2616.09 c #Conflicts: 1090000 | #Constraints: 28211
2608.22/2616.09 c #Conflicts: 1091000 | #Constraints: 29211
2608.22/2616.09 c #Conflicts: 1092000 | #Constraints: 30211
2608.22/2616.09 c #Conflicts: 1093000 | #Constraints: 31211
2608.22/2616.09 c #Conflicts: 1094000 | #Constraints: 32211
2931.23/2939.97 c #Conflicts: 1095000 | #Constraints: 33211
2931.23/2939.97 c #Conflicts: 1096000 | #Constraints: 34211
2931.23/2939.97 c #Conflicts: 1097000 | #Constraints: 35211
2931.23/2939.97 c #Conflicts: 1098000 | #Constraints: 36211
2931.23/2939.97 c #Conflicts: 1099000 | #Constraints: 37211
2931.23/2939.97 c #Conflicts: 1100000 | #Constraints: 38211
2931.23/2939.97 c #Conflicts: 1101000 | #Constraints: 39211
2931.23/2939.97 c #Conflicts: 1102000 | #Constraints: 40211
2931.23/2939.97 c #Conflicts: 1103000 | #Constraints: 41211
2931.23/2939.97 c #Conflicts: 1104000 | #Constraints: 42211
2931.23/2939.97 c INPROCESSING
2931.23/2939.97 c GARBAGE COLLECT
2931.23/2939.97 c #Conflicts: 1105000 | #Constraints: 22409
2931.23/2939.97 c #Conflicts: 1106000 | #Constraints: 23409
2931.23/2939.97 c #Conflicts: 1107000 | #Constraints: 24409
2931.23/2939.97 c #Conflicts: 1108000 | #Constraints: 25409
2931.23/2939.97 c #Conflicts: 1109000 | #Constraints: 26409
2931.23/2939.97 c #Conflicts: 1110000 | #Constraints: 27409
2931.23/2939.97 c #Conflicts: 1111000 | #Constraints: 28409
2931.23/2939.97 c #Conflicts: 1112000 | #Constraints: 29409
2931.23/2939.97 c #Conflicts: 1113000 | #Constraints: 30409
2931.23/2939.97 c #Conflicts: 1114000 | #Constraints: 31409
2931.23/2939.97 c #Conflicts: 1115000 | #Constraints: 32409
2931.23/2939.97 c #Conflicts: 1116000 | #Constraints: 33409
2931.23/2939.97 c #Conflicts: 1117000 | #Constraints: 34409
2931.23/2939.97 c #Conflicts: 1118000 | #Constraints: 35409
2931.23/2939.97 c #Conflicts: 1119000 | #Constraints: 36409
2931.23/2939.97 c #Conflicts: 1120000 | #Constraints: 37409
2931.23/2939.97 c #Conflicts: 1121000 | #Constraints: 38409
2931.23/2939.97 c #Conflicts: 1122000 | #Constraints: 39409
2931.23/2939.97 c #Conflicts: 1123000 | #Constraints: 40409
2931.23/2939.97 c #Conflicts: 1124000 | #Constraints: 41409
2931.23/2939.97 c #Conflicts: 1125000 | #Constraints: 42409
2931.23/2939.97 c INPROCESSING
2931.23/2939.97 c GARBAGE COLLECT
2931.23/2939.97 c #Conflicts: 1126000 | #Constraints: 22412
2931.23/2939.97 c #Conflicts: 1127000 | #Constraints: 23412
2931.23/2939.97 c #Conflicts: 1128000 | #Constraints: 24412
2931.23/2939.97 c #Conflicts: 1129000 | #Constraints: 25412
2931.23/2939.97 c #Conflicts: 1130000 | #Constraints: 26412
2931.23/2939.97 c #Conflicts: 1131000 | #Constraints: 27412
2931.23/2939.97 c #Conflicts: 1132000 | #Constraints: 28412
2931.23/2939.97 c #Conflicts: 1133000 | #Constraints: 29412
2931.23/2939.97 c #Conflicts: 1134000 | #Constraints: 30412
2931.23/2939.97 c #Conflicts: 1135000 | #Constraints: 31412
2931.23/2939.97 c #Conflicts: 1136000 | #Constraints: 32412
2931.23/2939.97 c #Conflicts: 1137000 | #Constraints: 33412
2931.23/2939.97 c #Conflicts: 1138000 | #Constraints: 34412
2931.23/2939.97 c #Conflicts: 1139000 | #Constraints: 35412
2931.23/2939.97 c #Conflicts: 1140000 | #Constraints: 36412
2931.23/2939.97 c #Conflicts: 1141000 | #Constraints: 37412
2931.23/2939.97 c #Conflicts: 1142000 | #Constraints: 38412
2931.23/2939.97 c #Conflicts: 1143000 | #Constraints: 39412
2931.23/2939.97 c #Conflicts: 1144000 | #Constraints: 40412
2931.23/2939.97 c #Conflicts: 1145000 | #Constraints: 41412
2931.23/2939.97 c #Conflicts: 1146000 | #Constraints: 42412
2931.23/2939.97 c INPROCESSING
2931.23/2939.97 c GARBAGE COLLECT
2931.23/2939.97 c #Conflicts: 1147000 | #Constraints: 22211
2931.23/2939.97 c #Conflicts: 1148000 | #Constraints: 23211
2931.23/2939.97 c #Conflicts: 1149000 | #Constraints: 24211
2931.23/2939.97 c #Conflicts: 1150000 | #Constraints: 25211
2931.23/2939.97 c #Conflicts: 1151000 | #Constraints: 26211
2931.23/2939.97 c #Conflicts: 1152000 | #Constraints: 27211
2931.23/2939.97 c #Conflicts: 1153000 | #Constraints: 28211
2931.23/2939.97 c #Conflicts: 1154000 | #Constraints: 29211
2931.23/2939.97 c #Conflicts: 1155000 | #Constraints: 30211
2931.23/2939.97 c #Conflicts: 1156000 | #Constraints: 31211
2931.23/2939.97 c #Conflicts: 1157000 | #Constraints: 32211
2931.23/2939.97 c #Conflicts: 1158000 | #Constraints: 33211
2931.23/2939.97 c #Conflicts: 1159000 | #Constraints: 34211
2931.23/2939.97 c #Conflicts: 1160000 | #Constraints: 35211
2931.23/2939.97 c #Conflicts: 1161000 | #Constraints: 36211
2931.23/2939.97 c #Conflicts: 1162000 | #Constraints: 37211
2931.23/2939.97 c #Conflicts: 1163000 | #Constraints: 38211
2931.23/2939.97 c #Conflicts: 1164000 | #Constraints: 39211
2931.23/2939.97 c #Conflicts: 1165000 | #Constraints: 40211
2931.23/2939.97 c #Conflicts: 1166000 | #Constraints: 41211
2931.23/2939.97 c #Conflicts: 1167000 | #Constraints: 42211
2931.23/2939.97 c #Conflicts: 1168000 | #Constraints: 43211
2931.23/2939.97 c INPROCESSING
2931.23/2939.97 c GARBAGE COLLECT
2931.23/2939.97 c #Conflicts: 1169000 | #Constraints: 22814
2931.23/2939.97 c #Conflicts: 1170000 | #Constraints: 23814
2931.23/2939.97 c #Conflicts: 1171000 | #Constraints: 24814
3299.89/3309.79 c #Conflicts: 1172000 | #Constraints: 25814
3299.89/3309.79 c #Conflicts: 1173000 | #Constraints: 26814
3299.89/3309.79 c #Conflicts: 1174000 | #Constraints: 27814
3299.89/3309.79 c #Conflicts: 1175000 | #Constraints: 28814
3299.89/3309.79 c #Conflicts: 1176000 | #Constraints: 29814
3299.89/3309.79 c #Conflicts: 1177000 | #Constraints: 30814
3299.89/3309.79 c #Conflicts: 1178000 | #Constraints: 31814
3299.89/3309.79 c #Conflicts: 1179000 | #Constraints: 32814
3299.89/3309.79 c #Conflicts: 1180000 | #Constraints: 33814
3299.89/3309.79 c #Conflicts: 1181000 | #Constraints: 34814
3299.89/3309.79 c #Conflicts: 1182000 | #Constraints: 35814
3299.89/3309.79 c #Conflicts: 1183000 | #Constraints: 36814
3299.89/3309.79 c #Conflicts: 1184000 | #Constraints: 37814
3299.89/3309.79 c #Conflicts: 1185000 | #Constraints: 38814
3299.89/3309.79 c #Conflicts: 1186000 | #Constraints: 39814
3299.89/3309.79 c #Conflicts: 1187000 | #Constraints: 40814
3299.89/3309.79 c #Conflicts: 1188000 | #Constraints: 41814
3299.89/3309.79 c #Conflicts: 1189000 | #Constraints: 42814
3299.89/3309.79 c #Conflicts: 1190000 | #Constraints: 43814
3299.89/3309.79 c INPROCESSING
3299.89/3309.79 c GARBAGE COLLECT
3299.89/3309.79 c #Conflicts: 1191000 | #Constraints: 23209
3299.89/3309.79 c #Conflicts: 1192000 | #Constraints: 24209
3299.89/3309.79 c #Conflicts: 1193000 | #Constraints: 25209
3299.89/3309.79 c #Conflicts: 1194000 | #Constraints: 26209
3299.89/3309.79 c #Conflicts: 1195000 | #Constraints: 27209
3299.89/3309.79 c #Conflicts: 1196000 | #Constraints: 28209
3299.89/3309.79 c #Conflicts: 1197000 | #Constraints: 29209
3299.89/3309.79 c #Conflicts: 1198000 | #Constraints: 30209
3299.89/3309.79 c #Conflicts: 1199000 | #Constraints: 31209
3299.89/3309.79 c #Conflicts: 1200000 | #Constraints: 32209
3299.89/3309.79 c #Conflicts: 1201000 | #Constraints: 33209
3299.89/3309.79 c #Conflicts: 1202000 | #Constraints: 34209
3299.89/3309.79 c #Conflicts: 1203000 | #Constraints: 35209
3299.89/3309.79 c #Conflicts: 1204000 | #Constraints: 36209
3299.89/3309.79 c #Conflicts: 1205000 | #Constraints: 37209
3299.89/3309.79 c #Conflicts: 1206000 | #Constraints: 38209
3299.89/3309.79 c #Conflicts: 1207000 | #Constraints: 39209
3299.89/3309.79 c #Conflicts: 1208000 | #Constraints: 40209
3299.89/3309.79 c #Conflicts: 1209000 | #Constraints: 41209
3299.89/3309.79 c #Conflicts: 1210000 | #Constraints: 42209
3299.89/3309.79 c #Conflicts: 1211000 | #Constraints: 43209
3299.89/3309.79 c #Conflicts: 1212000 | #Constraints: 44209
3299.89/3309.79 c INPROCESSING
3299.89/3309.79 c GARBAGE COLLECT
3299.89/3309.79 c #Conflicts: 1213000 | #Constraints: 23407
3299.89/3309.79 c #Conflicts: 1214000 | #Constraints: 24407
3299.89/3309.79 c #Conflicts: 1215000 | #Constraints: 25407
3299.89/3309.79 c #Conflicts: 1216000 | #Constraints: 26407
3299.89/3309.79 c #Conflicts: 1217000 | #Constraints: 27407
3299.89/3309.79 c #Conflicts: 1218000 | #Constraints: 28407
3299.89/3309.79 c #Conflicts: 1219000 | #Constraints: 29407
3299.89/3309.79 c #Conflicts: 1220000 | #Constraints: 30407
3299.89/3309.79 c #Conflicts: 1221000 | #Constraints: 31407
3299.89/3309.79 c #Conflicts: 1222000 | #Constraints: 32407
3299.89/3309.79 c #Conflicts: 1223000 | #Constraints: 33407
3299.89/3309.79 c #Conflicts: 1224000 | #Constraints: 34407
3299.89/3309.79 c #Conflicts: 1225000 | #Constraints: 35407
3299.89/3309.79 c #Conflicts: 1226000 | #Constraints: 36407
3299.89/3309.79 c #Conflicts: 1227000 | #Constraints: 37407
3299.89/3309.79 c #Conflicts: 1228000 | #Constraints: 38407
3299.89/3309.79 c #Conflicts: 1229000 | #Constraints: 39407
3299.89/3309.79 c #Conflicts: 1230000 | #Constraints: 40407
3299.89/3309.79 c #Conflicts: 1231000 | #Constraints: 41407
3299.89/3309.79 c #Conflicts: 1232000 | #Constraints: 42407
3299.89/3309.79 c #Conflicts: 1233000 | #Constraints: 43407
3299.89/3309.79 c #Conflicts: 1234000 | #Constraints: 44407
3299.89/3309.79 c INPROCESSING
3299.89/3309.79 c GARBAGE COLLECT
3299.89/3309.79 c #Conflicts: 1235000 | #Constraints: 23412
3299.89/3309.79 c #Conflicts: 1236000 | #Constraints: 24412
3299.89/3309.79 c #Conflicts: 1237000 | #Constraints: 25412
3299.89/3309.79 c #Conflicts: 1238000 | #Constraints: 26412
3299.89/3309.79 c #Conflicts: 1239000 | #Constraints: 27412
3299.89/3309.79 c #Conflicts: 1240000 | #Constraints: 28412
3299.89/3309.79 c #Conflicts: 1241000 | #Constraints: 29412
3299.89/3309.79 c #Conflicts: 1242000 | #Constraints: 30412
3299.89/3309.79 c #Conflicts: 1243000 | #Constraints: 31412
3299.89/3309.79 c #Conflicts: 1244000 | #Constraints: 32412
3299.89/3309.79 c #Conflicts: 1245000 | #Constraints: 33412
3299.89/3309.79 c #Conflicts: 1246000 | #Constraints: 34412
3299.89/3309.79 c #Conflicts: 1247000 | #Constraints: 35412
3299.89/3309.79 c #Conflicts: 1248000 | #Constraints: 36412
3600.07/3610.70 c #Conflicts: 1249000 | #Constraints: 37412
3600.07/3610.70 c #Conflicts: 1250000 | #Constraints: 38412
3600.07/3610.70 c #Conflicts: 1251000 | #Constraints: 39412
3600.07/3610.70 c #Conflicts: 1252000 | #Constraints: 40412
3600.07/3610.70 c #Conflicts: 1253000 | #Constraints: 41412
3600.07/3610.70 c #Conflicts: 1254000 | #Constraints: 42412
3600.07/3610.70 c #Conflicts: 1255000 | #Constraints: 43412
3600.07/3610.70 c #Conflicts: 1256000 | #Constraints: 44412
3600.07/3610.70 c INPROCESSING
3600.07/3610.70 c GARBAGE COLLECT
3600.07/3610.70 c #Conflicts: 1257000 | #Constraints: 23217
3600.07/3610.70 c #Conflicts: 1258000 | #Constraints: 24217
3600.07/3610.70 c #Conflicts: 1259000 | #Constraints: 25217
3600.07/3610.70 c #Conflicts: 1260000 | #Constraints: 26217
3600.07/3610.70 c #Conflicts: 1261000 | #Constraints: 27217
3600.07/3610.70 c #Conflicts: 1262000 | #Constraints: 28217
3600.07/3610.70 c #Conflicts: 1263000 | #Constraints: 29217
3600.07/3610.70 c #Conflicts: 1264000 | #Constraints: 30217
3600.07/3610.70 c #Conflicts: 1265000 | #Constraints: 31217
3600.07/3610.70 c #Conflicts: 1266000 | #Constraints: 32217
3600.07/3610.70 c #Conflicts: 1267000 | #Constraints: 33217
3600.07/3610.70 c #Conflicts: 1268000 | #Constraints: 34217
3600.07/3610.70 c #Conflicts: 1269000 | #Constraints: 35217
3600.07/3610.70 c #Conflicts: 1270000 | #Constraints: 36217
3600.07/3610.70 c #Conflicts: 1271000 | #Constraints: 37217
3600.07/3610.70 c #Conflicts: 1272000 | #Constraints: 38217
3600.07/3610.70 c #Conflicts: 1273000 | #Constraints: 39217
3600.07/3610.70 c #Conflicts: 1274000 | #Constraints: 40217
3600.07/3610.70 c #Conflicts: 1275000 | #Constraints: 41217
3600.07/3610.70 c #Conflicts: 1276000 | #Constraints: 42217
3600.07/3610.70 c #Conflicts: 1277000 | #Constraints: 43217
3600.07/3610.70 c #Conflicts: 1278000 | #Constraints: 44217
3600.07/3610.70 c #Conflicts: 1279000 | #Constraints: 45217
3600.07/3610.70 c INPROCESSING
3600.07/3610.70 c GARBAGE COLLECT
3600.07/3610.70 c #Conflicts: 1280000 | #Constraints: 23808
3600.07/3610.70 c #Conflicts: 1281000 | #Constraints: 24808
3600.07/3610.70 c #Conflicts: 1282000 | #Constraints: 25808
3600.07/3610.70 c #Conflicts: 1283000 | #Constraints: 26808
3600.07/3610.70 c #Conflicts: 1284000 | #Constraints: 27808
3600.07/3610.70 c #Conflicts: 1285000 | #Constraints: 28808
3600.07/3610.70 c #Conflicts: 1286000 | #Constraints: 29808
3600.07/3610.70 c #Conflicts: 1287000 | #Constraints: 30808
3600.07/3610.70 c #Conflicts: 1288000 | #Constraints: 31808
3600.07/3610.70 c #Conflicts: 1289000 | #Constraints: 32808
3600.07/3610.70 c #Conflicts: 1290000 | #Constraints: 33808
3600.07/3610.70 c #Conflicts: 1291000 | #Constraints: 34808
3600.07/3610.70 c #Conflicts: 1292000 | #Constraints: 35808
3600.07/3610.70 c #Conflicts: 1293000 | #Constraints: 36808
3600.07/3610.70 c #Conflicts: 1294000 | #Constraints: 37808
3600.07/3610.70 c #Conflicts: 1295000 | #Constraints: 38808
3600.07/3610.70 c #Conflicts: 1296000 | #Constraints: 39808
3600.07/3610.70 c #Conflicts: 1297000 | #Constraints: 40808
3600.07/3610.70 c #Conflicts: 1298000 | #Constraints: 41808
3600.07/3610.70 c #Conflicts: 1299000 | #Constraints: 42808
3600.07/3610.70 c #Conflicts: 1300000 | #Constraints: 43808
3600.07/3610.70 c #Conflicts: 1301000 | #Constraints: 44808
3600.07/3610.70 c #Conflicts: 1302000 | #Constraints: 45808
3600.07/3610.70 c INPROCESSING
3600.07/3610.70 c GARBAGE COLLECT
3600.07/3610.70 c #Conflicts: 1303000 | #Constraints: 24209
3600.07/3610.70 c #Conflicts: 1304000 | #Constraints: 25209
3600.07/3610.70 c #Conflicts: 1305000 | #Constraints: 26209
3600.07/3610.70 c #Conflicts: 1306000 | #Constraints: 27209
3600.07/3610.70 c #Conflicts: 1307000 | #Constraints: 28209
3600.07/3610.70 c #Conflicts: 1308000 | #Constraints: 29209
3600.07/3610.70 c #Conflicts: 1309000 | #Constraints: 30209
3600.07/3610.70 c #Conflicts: 1310000 | #Constraints: 31209
3600.07/3610.70 c cpu time 3588.41 s
3600.07/3610.70 c deterministic time 1 1.00e+00
3600.07/3610.70 c optimization time 3588.41 s
3600.07/3610.70 c total solve time 0 s
3600.07/3610.70 c core-guided solve time 0 s
3600.07/3610.70 c propagation time 9.2e-05 s
3600.07/3610.70 c conflict analysis time 0 s
3600.07/3610.70 c propagations 0
3600.07/3610.70 c resolve steps 0
3600.07/3610.70 c decisions 0
3600.07/3610.70 c conflicts 0
3600.07/3610.70 c restarts 0
3600.07/3610.70 c inprocessing phases 0
3600.07/3610.70 c garbage collections 0 ,( -nan )
3600.07/3610.70 c input clauses 0 ,( 0.00 )
3600.07/3610.70 c input cardinalities 0 ,( 0.00 )
3600.07/3610.70 c input general constraints 481 ,( 100.00 )
3600.07/3610.70 c input average constraint length 9.00
3600.07/3610.70 c input average constraint degree 28.96
3600.07/3610.70 c learned clauses 0 ,( 0.00 )
3600.07/3610.70 c learned cardinalities 0 ,( 0.00 )
3600.07/3610.70 c learned general constraints 0 ,( 0.00 )
3600.07/3610.70 c learned average constraint length 0.00
3600.07/3610.70 c learned average constraint degree 0.00
3600.07/3610.70 c watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
3600.07/3610.70 c counting CF 32, 64, 128, Arb: 478 , 0 , 0 , 0
3600.07/3610.70 c watched constraints 4 ,( 0.83 )
3600.07/3610.70 c counting constraints 477 ,( 99.17 )
3600.07/3610.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3610.70 c gcd simplifications 0
3600.07/3610.70 c detected cardinalities 0
3600.07/3610.70 c weakened non-implied lits 0
3600.07/3610.70 c weakened non-implying lits 0
3600.07/3610.70 c original variables 481
3600.07/3610.70 c clausal propagations 0
3600.07/3610.70 c cardinality propagations 0
3600.07/3610.70 c watched propagations 0
3600.07/3610.70 c counting propagations 0
3600.07/3610.70 c watch lookups 0
3600.07/3610.70 c watch backjump lookups 0
3600.07/3610.70 c watch checks 0
3600.07/3610.70 c propagation checks 0
3600.07/3610.70 c constraint additions 0
3600.07/3610.70 c trail pops 0
3600.07/3610.70 c formula constraints 481
3600.07/3610.70 c learned constraints 0
3600.07/3610.70 c bound constraints 0
3600.07/3610.70 c core-guided constraints 0
3600.07/3610.70 c encountered formula constraints 0
3600.07/3610.70 c encountered learned constraints 0
3600.07/3610.70 c encountered bound constraints 0
3600.07/3610.70 c encountered core-guided constraints 0
3600.07/3610.70 c LP total time 0 s
3600.07/3610.70 c LP solve time 0 s
3600.07/3610.70 c LP constraints added 0
3600.07/3610.70 c LP constraints removed 0
3600.07/3610.70 c LP pivots internal 0
3600.07/3610.70 c LP pivots root 0
3600.07/3610.70 c LP calls 0
3600.07/3610.70 c LP optimalities 0
3600.07/3610.70 c LP no pivot count 0
3600.07/3610.70 c LP infeasibilities 0
3600.07/3610.70 c LP valid Farkas constraints 0
3600.07/3610.70 c LP learned Farkas constraints 0
3600.07/3610.70 c LP basis resets 0
3600.07/3610.70 c LP cycling count 0
3600.07/3610.70 c LP singular count 0
3600.07/3610.70 c LP no primal count 0
3600.07/3610.70 c LP no farkas count 0
3600.07/3610.70 c LP other issue count 0
3600.07/3610.70 c LP Gomory cuts 0
3600.07/3610.70 c LP learned cuts 0
3600.07/3610.70 c LP deleted cuts 0
3600.07/3610.70 c LP encountered Gomory constraints 0
3600.07/3610.70 c LP encountered Farkas constraints 0
3600.07/3610.70 c LP encountered learned Farkas constraints 0
3600.07/3610.70 c CG auxiliary variables introduced 0
3600.07/3610.70 c CG solutions found 0
3600.07/3610.70 c CG cores constructed 0
3600.07/3610.70 c CG core cardinality constraints returned 0
3600.07/3610.70 c CG unit cores 0
3600.07/3610.70 c CG single cores 0
3600.07/3610.70 c CG blocks removed during cardinality reduction 0
3600.07/3610.70 c CG first core best 0
3600.07/3610.70 c CG decision core best 0
3600.07/3610.70 c CG core reduction tie 0
3600.07/3610.70 c CG core degree average 0.00
3600.07/3610.70 c CG core slack average 0.00
3600.07/3610.70 c CG core upper bound improvements 0
3600.07/3610.70 c STR number of successful calls 0
3600.07/3610.70 c STR number of unsuccessful calls 0
3600.07/3610.70 c STR number of inconclusive calls 0
3600.07/3610.70 c STR number of successful attempts 0
3600.07/3610.70 c STR number of unsuccessful attempts 0
3600.07/3610.70 c STR number of inconclusive attempts 0
3600.07/3610.70 c STR average degree increase per successful call inf
3600.07/3610.70 c STR average degree increase per successful attempt inf
3600.07/3610.70 c STR total number of conflicts for successful attempts 0
3600.07/3610.70 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.70 c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.70 c STR average number of conflicts per successful attempt inf
3600.07/3610.70 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.70 c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.70 c AVG.sumWPerc 72.68
3600.07/3610.70 c bigint constraints 0
3600.07/3610.70 s UNKNOWN
3600.07/3610.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (61005 MiB free)
memory of node 1: 64507 MiB (61663 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489001-1751351888/watcher-4489001-1751351888 -o /tmp/evaluation-result-4489001-1751351888/solver-4489001-1751351888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45610 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489001-1751351888.opb PROOFDIR/proof-4489001-1751351888
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=46003, runsolver pid=46000
[startup+0.100075 s]*
/proc/loadavg: 4.13 4.15 4.10 1/257 46005
/proc/meminfo: memFree=125608636/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=50796 memory=7296 CPUtime=0 cores=5,7
/proc/46005/stat : 46005 (roundingsat) D 46003 46003 45597 0 -1 4194304 299 0 0 0 0 0 0 0 20 0 1 0 50868416 52015104 1824 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+0.205004 s]*
/proc/loadavg: 4.13 4.15 4.10 1/257 46005
/proc/meminfo: memFree=125608636/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=50796 memory=7296 CPUtime=0 cores=5,7
/proc/46005/stat : 46005 (roundingsat) D 46003 46003 45597 0 -1 4194304 299 0 0 0 0 0 0 0 20 0 1 0 50868416 52015104 1824 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+0.304853 s]*
/proc/loadavg: 4.13 4.15 4.10 1/257 46005
/proc/meminfo: memFree=125608132/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=50796 memory=7296 CPUtime=0 cores=5,7
/proc/46005/stat : 46005 (roundingsat) D 46003 46003 45597 0 -1 4194304 299 0 0 0 0 0 0 0 20 0 1 0 50868416 52015104 1824 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+0.700243 s]
/proc/loadavg: 4.13 4.15 4.10 1/257 46005
/proc/meminfo: memFree=125608132/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=50796 memory=7296 CPUtime=0 cores=5,7
/proc/46005/stat : 46005 (roundingsat) D 46003 46003 45597 0 -1 4194304 299 0 0 0 0 0 0 0 20 0 1 0 50868416 52015104 1824 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.15 4.10 4/258 46012
/proc/meminfo: memFree=129538064/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=77932 memory=28320 CPUtime=0.73 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 4512 0 0 0 69 4 0 0 20 0 1 0 50868416 79802368 7080 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 19483 7080 2336 1147 0 6910 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 82124 KiB
Current children cumulated memory: 31264 KiB
[startup+3.10555 s]
/proc/loadavg: 4.12 4.14 4.10 5/269 46045
/proc/meminfo: memFree=129807660/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=95700 memory=45076 CPUtime=2.33 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 8185 0 0 0 226 7 0 0 20 0 1 0 50868416 97996800 11269 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 23925 11269 2336 1147 0 11352 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 99892 KiB
Current children cumulated memory: 48020 KiB
heavy processes:
[startup+6.30016 s]
/proc/loadavg: 4.12 4.14 4.10 5/269 46046
/proc/meminfo: memFree=129670716/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=106992 memory=50836 CPUtime=5.52 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 9625 0 0 0 540 12 0 0 20 0 1 0 50868416 109559808 12709 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 26748 12709 2336 1147 0 14175 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 111184 KiB
Current children cumulated memory: 53780 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.09 5/269 46046
/proc/meminfo: memFree=129533648/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=113072 memory=62160 CPUtime=11.89 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 11440 0 0 0 1168 21 0 0 20 0 1 0 50868416 115785728 15540 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 28268 15540 2336 1147 0 15695 0
Current children cumulated CPU time: 11.89 s
Current children cumulated vsize: 117264 KiB
Current children cumulated memory: 65104 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.15 4.10 5/269 46046
/proc/meminfo: memFree=129088944/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=145236 memory=78160 CPUtime=24.66 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 15427 0 0 0 2430 36 0 0 20 0 1 0 50868416 148721664 19540 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 36309 19540 2336 1147 0 23736 0
Current children cumulated CPU time: 24.66 s
Current children cumulated vsize: 149428 KiB
Current children cumulated memory: 81104 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.14 4.09 5/269 46046
/proc/meminfo: memFree=128748448/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=156780 memory=95280 CPUtime=50.18 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 18677 0 0 0 4959 59 0 0 20 0 1 0 50868416 160542720 23820 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 39195 23820 2336 1147 0 26622 0
Current children cumulated CPU time: 50.18 s
Current children cumulated vsize: 160972 KiB
Current children cumulated memory: 98224 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/269 46048
/proc/meminfo: memFree=128085940/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=220032 memory=154108 CPUtime=101.23 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 32402 0 0 0 10024 99 0 0 20 0 1 0 50868416 225312768 38527 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 55008 38527 2336 1147 0 42435 0
Current children cumulated CPU time: 101.23 s
Current children cumulated vsize: 224224 KiB
Current children cumulated memory: 157052 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/269 46050
/proc/meminfo: memFree=127562100/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=270384 memory=180016 CPUtime=161.04 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 39344 0 0 0 15968 136 0 0 20 0 1 0 50868416 276873216 45004 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 67596 45004 2336 1147 0 55023 0
Current children cumulated CPU time: 161.04 s
Current children cumulated vsize: 274576 KiB
Current children cumulated memory: 182960 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 46052
/proc/meminfo: memFree=127066504/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=289176 memory=193548 CPUtime=220.86 cores=5,7
################
# More data... #
################
/proc/46005/statm: 124488 92508 2336 1147 0 111915 0
Current children cumulated CPU time: 3093.13 s
Current children cumulated vsize: 502144 KiB
Current children cumulated memory: 372976 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/273 46217
/proc/meminfo: memFree=115028252/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=500060 memory=370828 CPUtime=3152.94 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 84872 0 0 0 314231 1063 0 0 20 0 1 0 50868416 512061440 92707 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 125015 92707 2336 1147 0 112442 0
Current children cumulated CPU time: 3152.94 s
Current children cumulated vsize: 504252 KiB
Current children cumulated memory: 373772 KiB
[startup+3222.3 s]
/proc/loadavg: 4.37 4.19 4.12 5/272 46219
/proc/meminfo: memFree=114873316/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=500060 memory=370828 CPUtime=3212.75 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 84872 0 0 0 320196 1079 0 0 20 0 1 0 50868416 512061440 92707 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 125015 92707 2336 1147 0 112442 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 504252 KiB
Current children cumulated memory: 373772 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/272 46223
/proc/meminfo: memFree=114719952/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=502184 memory=378928 CPUtime=3272.56 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 85494 0 0 0 326160 1096 0 0 20 0 1 0 50868416 514236416 94732 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 125546 94732 2336 1147 0 112973 0
Current children cumulated CPU time: 3272.56 s
Current children cumulated vsize: 506376 KiB
Current children cumulated memory: 381872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/272 46226
/proc/meminfo: memFree=114590544/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=502716 memory=380948 CPUtime=3332.4 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 85729 0 0 0 332134 1106 0 0 20 0 1 0 50868416 514781184 95237 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 125679 95237 2336 1147 0 113106 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 506908 KiB
Current children cumulated memory: 383892 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/271 46228
/proc/meminfo: memFree=114425336/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=504344 memory=388648 CPUtime=3392.25 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 86329 0 0 0 338106 1119 0 0 20 0 1 0 50868416 516448256 97162 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 126086 97162 2336 1147 0 113513 0
Current children cumulated CPU time: 3392.25 s
Current children cumulated vsize: 508536 KiB
Current children cumulated memory: 391592 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/272 46231
/proc/meminfo: memFree=114292508/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=504956 memory=390972 CPUtime=3452.1 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 86549 0 0 0 344078 1132 0 0 20 0 1 0 50868416 517074944 97743 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 126239 97743 2336 1147 0 113666 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 509148 KiB
Current children cumulated memory: 393916 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/273 46238
/proc/meminfo: memFree=114172192/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=505592 memory=391360 CPUtime=3511.92 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 86727 0 0 0 350045 1147 0 0 20 0 1 0 50868416 517726208 97840 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 126398 97840 2336 1147 0 113825 0
Current children cumulated CPU time: 3511.92 s
Current children cumulated vsize: 509784 KiB
Current children cumulated memory: 394304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/273 46240
/proc/meminfo: memFree=114027640/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=506820 memory=391868 CPUtime=3571.75 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 87167 0 0 0 356019 1156 0 0 20 0 1 0 50868416 518983680 97967 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 126705 97967 2336 1147 0 114132 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 511012 KiB
Current children cumulated memory: 394812 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.13 4.14 4.10 5/273 46241
/proc/meminfo: memFree=113962112/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=506820 memory=391868 CPUtime=3600.07 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 87167 0 0 0 358841 1166 0 0 20 0 1 0 50868416 518983680 97967 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 126705 97967 2336 1147 0 114132 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 511012 KiB
Current children cumulated memory: 394812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 46003 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001296 s, system=0.001297 s
[startup+3610.73 s]
# the end of solver process 46005 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.42 s, system=11.673 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+3610.7 s]
/proc/loadavg: 4.13 4.14 4.10 5/273 46241
/proc/meminfo: memFree=113962112/131249996 swapFree=33010416/33010684
[pid=46003] ppid=46000 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/46003/stat : 46003 (run-opt-log.sh) S 46000 46003 45597 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 50868416 4292608 736 18446744073709551615 94888824729600 94888825624133 140728377328768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94888825863184 94888825910928 94888835903488 140728377334049 140728377334244 140728377334244 140728377339846 0
/proc/46003/statm: 1048 736 672 219 0 110 0
[pid=46005] ppid=46003 vsize=506820 memory=391868 CPUtime=3600.07 cores=5,7
/proc/46005/stat : 46005 (roundingsat) R 46003 46003 45597 0 -1 4194304 87167 0 0 0 358841 1166 0 0 20 0 1 0 50868416 518983680 97967 18446744073709551615 4227072 8923433 140735616051600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26071040 140735616055634 140735616055848 140735616055848 140735616061418 0
/proc/46005/statm: 126705 97967 2336 1147 0 114132 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 511012 KiB
Current children cumulated memory: 394812 KiB
Child status: 2
Real time (s): 3610.73
CPU time (s): 3600.09
CPU user time (s): 3588.42
CPU system time (s): 11.673
CPU usage (%): 99.7054
Max. virtual memory (cumulated for all children) (KiB): 511012
Max. memory (cumulated for all children) (KiB): 394812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.42
system time used= 11.673
maximum resident set size= 392400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87404
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5620096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 456
involuntary context switches= 4844
# summary of solver processes directly reported to runsolver:
# pid: 46003,46005
# total CPU time (s): 3600.09
# total CPU user time (s): 3588.42
# total CPU system time (s): 11.673
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31517 second user time and 17.1816 second system time
The end
Begin job on nodeC030 at 2025-07-01 08:38:08
IDJOB=4489001
IDBENCH=147536
IDSOLVER=3351
FILE ID=nodeC030/4489001-1751351888
RUNJOBID= nodeC030-1751348277-45610
SLURM_JOB_ID= 9598121
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489001-1751351888/watcher-4489001-1751351888 -o /tmp/evaluation-result-4489001-1751351888/solver-4489001-1751351888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45610 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489001-1751351888.opb PROOFDIR/proof-4489001-1751351888
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 86551de4ee1411a66be87614daaae1c0
RANDOM SEED=1943168207
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1193.882
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.044
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1200.193
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3605.565
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1183.128
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.289
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125612392 kB
MemAvailable: 129763508 kB
Buffers: 2564 kB
Cached: 4944716 kB
SwapCached: 16 kB
Active: 483656 kB
Inactive: 4526824 kB
Active(anon): 76700 kB
Inactive(anon): 4548 kB
Active(file): 406956 kB
Inactive(file): 4522276 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14724 kB
Writeback: 0 kB
AnonPages: 66248 kB
Mapped: 106504 kB
Shmem: 18048 kB
KReclaimable: 121848 kB
Slab: 210332 kB
SReclaimable: 121848 kB
SUnreclaim: 88484 kB
KernelStack: 4112 kB
PageTables: 2832 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 355936 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC030 at 2025-07-01 09:38:19