0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 481 #constraints 481
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 478 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.003435
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.003735
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.026018
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.041706
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.049514
0.07/0.10 c GLOBAL bounds - >= 0 @ 0.068679
0.07/0.10 c GLOBAL bounds - >= 0 @ 0.071503
0.07/0.11 c GLOBAL bounds - >= 0 @ 0.074473
0.26/0.38 c #Conflicts: 1000 | #Constraints: 1493
0.26/0.38 c GLOBAL bounds - >= 0 @ 0.322385
0.74/0.86 c #Conflicts: 2000 | #Constraints: 2495
0.74/0.86 c INPROCESSING
0.74/0.86 c GARBAGE COLLECT
0.74/0.86 c #Conflicts: 3000 | #Constraints: 2506
0.74/0.86 c GLOBAL bounds - >= 0 @ 0.78605
1.04/1.12 c GLOBAL bounds - >= 0 @ 1.02559
2.52/2.61 c #Conflicts: 4000 | #Constraints: 3510
2.52/2.61 c INPROCESSING
2.52/2.61 c GARBAGE COLLECT
2.52/2.61 c #Conflicts: 5000 | #Constraints: 2923
2.52/2.61 c #Conflicts: 6000 | #Constraints: 3923
2.52/2.61 c INPROCESSING
2.52/2.61 c GARBAGE COLLECT
2.52/2.61 c #Conflicts: 7000 | #Constraints: 2930
2.52/2.61 c #Conflicts: 8000 | #Constraints: 3930
2.52/2.61 c GLOBAL bounds - >= 0 @ 2.47852
2.62/2.77 c GLOBAL bounds - >= 0 @ 2.64586
3.02/3.15 c #Conflicts: 9000 | #Constraints: 4934
3.02/3.15 c INPROCESSING
3.02/3.15 c GARBAGE COLLECT
3.02/3.15 c GLOBAL bounds - >= 0 @ 3.0064
3.21/3.35 c GLOBAL bounds - >= 0 @ 3.20487
3.21/3.39 c GLOBAL bounds - >= 0 @ 3.23551
4.61/4.70 c #Conflicts: 10000 | #Constraints: 3642
4.61/4.70 c #Conflicts: 11000 | #Constraints: 4642
4.61/4.70 c #Conflicts: 12000 | #Constraints: 5642
4.61/4.70 c INPROCESSING
4.61/4.70 c GARBAGE COLLECT
4.61/4.70 c #Conflicts: 13000 | #Constraints: 4093
4.61/4.70 c GLOBAL bounds - >= 0 @ 4.53108
5.51/5.61 c #Conflicts: 14000 | #Constraints: 5095
5.51/5.61 c #Conflicts: 15000 | #Constraints: 6095
5.51/5.61 c INPROCESSING
5.51/5.61 c GARBAGE COLLECT
5.51/5.61 c GLOBAL bounds - >= 0 @ 5.42331
7.20/7.33 c #Conflicts: 16000 | #Constraints: 4323
7.20/7.33 c #Conflicts: 17000 | #Constraints: 5323
7.20/7.33 c #Conflicts: 18000 | #Constraints: 6323
7.20/7.33 c INPROCESSING
7.20/7.33 c GARBAGE COLLECT
7.20/7.33 c #Conflicts: 19000 | #Constraints: 4341
7.20/7.33 c GLOBAL bounds - >= 0 @ 7.13022
9.59/9.79 c #Conflicts: 20000 | #Constraints: 5343
9.59/9.79 c #Conflicts: 21000 | #Constraints: 6343
9.59/9.79 c INPROCESSING
9.59/9.79 c GARBAGE COLLECT
9.59/9.79 c #Conflicts: 22000 | #Constraints: 4146
9.59/9.79 c #Conflicts: 23000 | #Constraints: 5146
9.59/9.79 c #Conflicts: 24000 | #Constraints: 6146
9.59/9.79 c GLOBAL bounds - >= 0 @ 9.56231
9.79/9.96 c GLOBAL bounds - >= 0 @ 9.72269
10.49/10.62 c #Conflicts: 25000 | #Constraints: 7150
10.49/10.62 c INPROCESSING
10.49/10.62 c GARBAGE COLLECT
10.49/10.62 c GLOBAL bounds - >= 0 @ 10.3709
10.59/10.79 c #Conflicts: 26000 | #Constraints: 4751
10.59/10.79 c GLOBAL bounds - >= 0 @ 10.5395
11.39/11.57 c #Conflicts: 27000 | #Constraints: 5753
11.39/11.57 c GLOBAL bounds - >= 0 @ 11.3063
11.99/12.18 c #Conflicts: 28000 | #Constraints: 6755
11.99/12.18 c GLOBAL bounds - >= 0 @ 11.9063
12.19/12.32 c GLOBAL bounds - >= 0 @ 12.048
12.79/12.96 c #Conflicts: 29000 | #Constraints: 7759
12.79/12.96 c INPROCESSING
12.79/12.96 c GARBAGE COLLECT
12.79/12.96 c #Conflicts: 30000 | #Constraints: 5159
12.79/12.96 c GLOBAL bounds - >= 0 @ 12.6756
13.68/13.85 c #Conflicts: 31000 | #Constraints: 6161
13.68/13.85 c GLOBAL bounds - >= 0 @ 13.554
15.88/16.03 c #Conflicts: 32000 | #Constraints: 7163
15.88/16.03 c #Conflicts: 33000 | #Constraints: 8163
15.88/16.03 c INPROCESSING
15.88/16.03 c GARBAGE COLLECT
15.88/16.03 c #Conflicts: 34000 | #Constraints: 5361
15.88/16.03 c #Conflicts: 35000 | #Constraints: 6361
15.88/16.03 c GLOBAL bounds - >= 0 @ 15.7031
23.96/24.12 c #Conflicts: 36000 | #Constraints: 7363
23.96/24.12 c #Conflicts: 37000 | #Constraints: 8363
23.96/24.12 c INPROCESSING
23.96/24.12 c GARBAGE COLLECT
23.96/24.12 c #Conflicts: 38000 | #Constraints: 5371
23.96/24.12 c #Conflicts: 39000 | #Constraints: 6371
23.96/24.12 c #Conflicts: 40000 | #Constraints: 7371
23.96/24.12 c #Conflicts: 41000 | #Constraints: 8371
23.96/24.12 c INPROCESSING
23.96/24.12 c GARBAGE COLLECT
23.96/24.12 c #Conflicts: 42000 | #Constraints: 5170
23.96/24.12 c #Conflicts: 43000 | #Constraints: 6170
23.96/24.12 c #Conflicts: 44000 | #Constraints: 7170
23.96/24.12 c #Conflicts: 45000 | #Constraints: 8170
23.96/24.12 c #Conflicts: 46000 | #Constraints: 9170
23.96/24.12 c INPROCESSING
23.96/24.12 c GARBAGE COLLECT
23.96/24.12 c GLOBAL bounds - >= 0 @ 23.7154
25.75/25.96 c #Conflicts: 47000 | #Constraints: 5767
25.75/25.96 c #Conflicts: 48000 | #Constraints: 6767
25.75/25.96 c #Conflicts: 49000 | #Constraints: 7767
25.75/25.96 c GLOBAL bounds - >= 0 @ 25.5333
77.52/77.86 c #Conflicts: 50000 | #Constraints: 8769
77.52/77.86 c #Conflicts: 51000 | #Constraints: 9769
77.52/77.86 c INPROCESSING
77.52/77.86 c GARBAGE COLLECT
77.52/77.86 c #Conflicts: 52000 | #Constraints: 6170
77.52/77.86 c #Conflicts: 53000 | #Constraints: 7170
77.52/77.86 c #Conflicts: 54000 | #Constraints: 8170
77.52/77.86 c #Conflicts: 55000 | #Constraints: 9170
77.52/77.86 c #Conflicts: 56000 | #Constraints: 10170
77.52/77.86 c INPROCESSING
77.52/77.86 c GARBAGE COLLECT
77.52/77.86 c #Conflicts: 57000 | #Constraints: 6372
77.52/77.86 c #Conflicts: 58000 | #Constraints: 7372
77.52/77.86 c #Conflicts: 59000 | #Constraints: 8372
77.52/77.86 c #Conflicts: 60000 | #Constraints: 9372
77.52/77.86 c #Conflicts: 61000 | #Constraints: 10372
77.52/77.86 c INPROCESSING
77.52/77.86 c GARBAGE COLLECT
77.52/77.86 c #Conflicts: 62000 | #Constraints: 6374
77.52/77.86 c #Conflicts: 63000 | #Constraints: 7374
77.52/77.86 c #Conflicts: 64000 | #Constraints: 8374
77.52/77.86 c #Conflicts: 65000 | #Constraints: 9374
77.52/77.86 c #Conflicts: 66000 | #Constraints: 10374
77.52/77.86 c INPROCESSING
77.52/77.86 c GARBAGE COLLECT
77.52/77.86 c #Conflicts: 67000 | #Constraints: 6170
77.52/77.86 c #Conflicts: 68000 | #Constraints: 7170
77.52/77.86 c #Conflicts: 69000 | #Constraints: 8170
77.52/77.86 c #Conflicts: 70000 | #Constraints: 9170
77.52/77.86 c #Conflicts: 71000 | #Constraints: 10170
77.52/77.86 c #Conflicts: 72000 | #Constraints: 11170
77.52/77.86 c INPROCESSING
77.52/77.86 c GARBAGE COLLECT
77.52/77.86 c #Conflicts: 73000 | #Constraints: 6768
77.52/77.86 c #Conflicts: 74000 | #Constraints: 7768
77.52/77.86 c #Conflicts: 75000 | #Constraints: 8768
77.52/77.86 c #Conflicts: 76000 | #Constraints: 9768
77.52/77.86 c #Conflicts: 77000 | #Constraints: 10768
77.52/77.86 c #Conflicts: 78000 | #Constraints: 11768
77.52/77.86 c INPROCESSING
77.52/77.86 c GARBAGE COLLECT
77.52/77.86 c #Conflicts: 79000 | #Constraints: 7172
77.52/77.86 c #Conflicts: 80000 | #Constraints: 8172
77.52/77.86 c #Conflicts: 81000 | #Constraints: 9172
77.52/77.86 c #Conflicts: 82000 | #Constraints: 10172
77.52/77.86 c #Conflicts: 83000 | #Constraints: 11172
77.52/77.86 c #Conflicts: 84000 | #Constraints: 12172
77.52/77.86 c INPROCESSING
77.52/77.86 c GARBAGE COLLECT
77.52/77.86 c #Conflicts: 85000 | #Constraints: 7379
77.52/77.86 c #Conflicts: 86000 | #Constraints: 8379
77.52/77.86 c #Conflicts: 87000 | #Constraints: 9379
77.52/77.86 c #Conflicts: 88000 | #Constraints: 10379
77.52/77.86 c #Conflicts: 89000 | #Constraints: 11379
77.52/77.86 c #Conflicts: 90000 | #Constraints: 12379
77.52/77.86 c INPROCESSING
77.52/77.86 c GARBAGE COLLECT
77.52/77.86 c #Conflicts: 91000 | #Constraints: 7376
77.52/77.86 c #Conflicts: 92000 | #Constraints: 8376
77.52/77.86 c #Conflicts: 93000 | #Constraints: 9376
77.52/77.86 c #Conflicts: 94000 | #Constraints: 10376
77.52/77.86 c #Conflicts: 95000 | #Constraints: 11376
77.52/77.86 c #Conflicts: 96000 | #Constraints: 12376
77.52/77.86 c INPROCESSING
77.52/77.86 c GARBAGE COLLECT
77.52/77.86 c #Conflicts: 97000 | #Constraints: 7173
77.52/77.86 c #Conflicts: 98000 | #Constraints: 8173
77.52/77.86 c #Conflicts: 99000 | #Constraints: 9173
77.52/77.86 c #Conflicts: 100000 | #Constraints: 10173
77.52/77.86 c #Conflicts: 101000 | #Constraints: 11173
77.52/77.86 c #Conflicts: 102000 | #Constraints: 12173
77.52/77.86 c #Conflicts: 103000 | #Constraints: 13173
77.52/77.86 c INPROCESSING
77.52/77.86 c GARBAGE COLLECT
77.52/77.86 c #Conflicts: 104000 | #Constraints: 7778
77.52/77.86 c #Conflicts: 105000 | #Constraints: 8778
77.52/77.86 c GLOBAL bounds - >= 0 @ 76.9555
88.28/88.62 c #Conflicts: 106000 | #Constraints: 9780
88.28/88.62 c #Conflicts: 107000 | #Constraints: 10780
88.28/88.62 c #Conflicts: 108000 | #Constraints: 11780
88.28/88.62 c #Conflicts: 109000 | #Constraints: 12780
88.28/88.62 c #Conflicts: 110000 | #Constraints: 13780
88.28/88.62 c INPROCESSING
88.28/88.62 c GARBAGE COLLECT
88.28/88.62 c #Conflicts: 111000 | #Constraints: 8179
88.28/88.62 c #Conflicts: 112000 | #Constraints: 9179
88.28/88.62 c #Conflicts: 113000 | #Constraints: 10179
88.28/88.62 c #Conflicts: 114000 | #Constraints: 11179
88.28/88.62 c #Conflicts: 115000 | #Constraints: 12179
88.28/88.62 c GLOBAL bounds - >= 0 @ 87.5991
96.56/96.92 c #Conflicts: 116000 | #Constraints: 13181
96.56/96.92 c #Conflicts: 117000 | #Constraints: 14181
96.56/96.92 c INPROCESSING
96.56/96.92 c GARBAGE COLLECT
96.56/96.92 c #Conflicts: 118000 | #Constraints: 8370
96.56/96.92 c #Conflicts: 119000 | #Constraints: 9370
96.56/96.92 c #Conflicts: 120000 | #Constraints: 10370
96.56/96.92 c #Conflicts: 121000 | #Constraints: 11370
96.56/96.92 c #Conflicts: 122000 | #Constraints: 12370
96.56/96.92 c GLOBAL bounds - >= 0 @ 95.8241
108.14/108.58 c #Conflicts: 123000 | #Constraints: 13372
108.14/108.58 c #Conflicts: 124000 | #Constraints: 14372
108.14/108.58 c INPROCESSING
108.14/108.58 c GARBAGE COLLECT
108.14/108.58 c #Conflicts: 125000 | #Constraints: 8371
108.14/108.58 c #Conflicts: 126000 | #Constraints: 9371
108.14/108.58 c #Conflicts: 127000 | #Constraints: 10371
108.14/108.58 c #Conflicts: 128000 | #Constraints: 11371
108.14/108.58 c #Conflicts: 129000 | #Constraints: 12371
108.14/108.58 c #Conflicts: 130000 | #Constraints: 13371
108.14/108.58 c #Conflicts: 131000 | #Constraints: 14371
108.14/108.58 c INPROCESSING
108.14/108.58 c GARBAGE COLLECT
108.14/108.58 c #Conflicts: 132000 | #Constraints: 8174
108.14/108.58 c GLOBAL bounds - >= 0 @ 107.377
110.23/110.65 c #Conflicts: 133000 | #Constraints: 9176
110.23/110.65 c #Conflicts: 134000 | #Constraints: 10176
110.23/110.65 c GLOBAL bounds - >= 0 @ 109.43
206.17/206.84 c #Conflicts: 135000 | #Constraints: 11178
206.17/206.84 c #Conflicts: 136000 | #Constraints: 12178
206.17/206.84 c #Conflicts: 137000 | #Constraints: 13178
206.17/206.84 c #Conflicts: 138000 | #Constraints: 14178
206.17/206.84 c #Conflicts: 139000 | #Constraints: 15178
206.17/206.84 c INPROCESSING
206.17/206.84 c GARBAGE COLLECT
206.17/206.84 c #Conflicts: 140000 | #Constraints: 8782
206.17/206.84 c #Conflicts: 141000 | #Constraints: 9782
206.17/206.84 c #Conflicts: 142000 | #Constraints: 10782
206.17/206.84 c #Conflicts: 143000 | #Constraints: 11782
206.17/206.84 c #Conflicts: 144000 | #Constraints: 12782
206.17/206.84 c #Conflicts: 145000 | #Constraints: 13782
206.17/206.84 c #Conflicts: 146000 | #Constraints: 14782
206.17/206.84 c #Conflicts: 147000 | #Constraints: 15782
206.17/206.84 c INPROCESSING
206.17/206.84 c GARBAGE COLLECT
206.17/206.84 c #Conflicts: 148000 | #Constraints: 9183
206.17/206.84 c #Conflicts: 149000 | #Constraints: 10183
206.17/206.84 c #Conflicts: 150000 | #Constraints: 11183
206.17/206.84 c #Conflicts: 151000 | #Constraints: 12183
206.17/206.84 c #Conflicts: 152000 | #Constraints: 13183
206.17/206.84 c #Conflicts: 153000 | #Constraints: 14183
206.17/206.84 c #Conflicts: 154000 | #Constraints: 15183
206.17/206.84 c #Conflicts: 155000 | #Constraints: 16183
206.17/206.84 c INPROCESSING
206.17/206.84 c GARBAGE COLLECT
206.17/206.84 c #Conflicts: 156000 | #Constraints: 9382
206.17/206.84 c #Conflicts: 157000 | #Constraints: 10382
206.17/206.84 c #Conflicts: 158000 | #Constraints: 11382
206.17/206.84 c #Conflicts: 159000 | #Constraints: 12382
206.17/206.84 c #Conflicts: 160000 | #Constraints: 13382
206.17/206.84 c #Conflicts: 161000 | #Constraints: 14382
206.17/206.84 c #Conflicts: 162000 | #Constraints: 15382
206.17/206.84 c #Conflicts: 163000 | #Constraints: 16382
206.17/206.84 c INPROCESSING
206.17/206.84 c GARBAGE COLLECT
206.17/206.84 c #Conflicts: 164000 | #Constraints: 9391
206.17/206.84 c #Conflicts: 165000 | #Constraints: 10391
206.17/206.84 c #Conflicts: 166000 | #Constraints: 11391
206.17/206.84 c #Conflicts: 167000 | #Constraints: 12391
206.17/206.84 c #Conflicts: 168000 | #Constraints: 13391
206.17/206.84 c #Conflicts: 169000 | #Constraints: 14391
206.17/206.84 c #Conflicts: 170000 | #Constraints: 15391
206.17/206.84 c #Conflicts: 171000 | #Constraints: 16391
206.17/206.84 c INPROCESSING
206.17/206.84 c GARBAGE COLLECT
206.17/206.84 c #Conflicts: 172000 | #Constraints: 9189
206.17/206.84 c #Conflicts: 173000 | #Constraints: 10189
206.17/206.84 c #Conflicts: 174000 | #Constraints: 11189
206.17/206.84 c #Conflicts: 175000 | #Constraints: 12189
206.17/206.84 c #Conflicts: 176000 | #Constraints: 13189
206.17/206.84 c #Conflicts: 177000 | #Constraints: 14189
206.17/206.84 c #Conflicts: 178000 | #Constraints: 15189
206.17/206.84 c #Conflicts: 179000 | #Constraints: 16189
206.17/206.84 c #Conflicts: 180000 | #Constraints: 17189
206.17/206.84 c INPROCESSING
206.17/206.84 c GARBAGE COLLECT
206.17/206.84 c #Conflicts: 181000 | #Constraints: 9787
206.17/206.84 c #Conflicts: 182000 | #Constraints: 10787
206.17/206.84 c #Conflicts: 183000 | #Constraints: 11787
206.17/206.84 c #Conflicts: 184000 | #Constraints: 12787
206.17/206.84 c #Conflicts: 185000 | #Constraints: 13787
206.17/206.84 c #Conflicts: 186000 | #Constraints: 14787
206.17/206.84 c #Conflicts: 187000 | #Constraints: 15787
206.17/206.84 c #Conflicts: 188000 | #Constraints: 16787
206.17/206.84 c #Conflicts: 189000 | #Constraints: 17787
206.17/206.84 c INPROCESSING
206.17/206.84 c GARBAGE COLLECT
206.17/206.84 c #Conflicts: 190000 | #Constraints: 10188
206.17/206.84 c #Conflicts: 191000 | #Constraints: 11188
206.17/206.84 c #Conflicts: 192000 | #Constraints: 12188
206.17/206.84 c #Conflicts: 193000 | #Constraints: 13188
206.17/206.84 c #Conflicts: 194000 | #Constraints: 14188
206.17/206.84 c #Conflicts: 195000 | #Constraints: 15188
206.17/206.84 c #Conflicts: 196000 | #Constraints: 16188
206.17/206.84 c #Conflicts: 197000 | #Constraints: 17188
206.17/206.84 c #Conflicts: 198000 | #Constraints: 18188
206.17/206.84 c INPROCESSING
206.17/206.84 c GARBAGE COLLECT
206.17/206.84 c #Conflicts: 199000 | #Constraints: 10393
206.17/206.84 c #Conflicts: 200000 | #Constraints: 11393
206.17/206.84 c #Conflicts: 201000 | #Constraints: 12393
206.17/206.84 c #Conflicts: 202000 | #Constraints: 13393
206.17/206.84 c #Conflicts: 203000 | #Constraints: 14393
206.17/206.84 c #Conflicts: 204000 | #Constraints: 15393
206.17/206.84 c #Conflicts: 205000 | #Constraints: 16393
206.17/206.84 c #Conflicts: 206000 | #Constraints: 17393
206.17/206.84 c #Conflicts: 207000 | #Constraints: 18393
206.17/206.84 c INPROCESSING
206.17/206.84 c GARBAGE COLLECT
206.17/206.84 c #Conflicts: 208000 | #Constraints: 10390
320.59/321.58 c #Conflicts: 209000 | #Constraints: 11390
320.59/321.58 c #Conflicts: 210000 | #Constraints: 12390
320.59/321.58 c #Conflicts: 211000 | #Constraints: 13390
320.59/321.58 c #Conflicts: 212000 | #Constraints: 14390
320.59/321.58 c #Conflicts: 213000 | #Constraints: 15390
320.59/321.58 c #Conflicts: 214000 | #Constraints: 16390
320.59/321.58 c #Conflicts: 215000 | #Constraints: 17390
320.59/321.58 c #Conflicts: 216000 | #Constraints: 18390
320.59/321.58 c INPROCESSING
320.59/321.58 c GARBAGE COLLECT
320.59/321.58 c #Conflicts: 217000 | #Constraints: 10195
320.59/321.58 c #Conflicts: 218000 | #Constraints: 11195
320.59/321.58 c #Conflicts: 219000 | #Constraints: 12195
320.59/321.58 c #Conflicts: 220000 | #Constraints: 13195
320.59/321.58 c #Conflicts: 221000 | #Constraints: 14195
320.59/321.58 c #Conflicts: 222000 | #Constraints: 15195
320.59/321.58 c #Conflicts: 223000 | #Constraints: 16195
320.59/321.58 c #Conflicts: 224000 | #Constraints: 17195
320.59/321.58 c #Conflicts: 225000 | #Constraints: 18195
320.59/321.58 c #Conflicts: 226000 | #Constraints: 19195
320.59/321.58 c INPROCESSING
320.59/321.58 c GARBAGE COLLECT
320.59/321.58 c #Conflicts: 227000 | #Constraints: 10794
320.59/321.58 c #Conflicts: 228000 | #Constraints: 11794
320.59/321.58 c #Conflicts: 229000 | #Constraints: 12794
320.59/321.58 c #Conflicts: 230000 | #Constraints: 13794
320.59/321.58 c #Conflicts: 231000 | #Constraints: 14794
320.59/321.58 c #Conflicts: 232000 | #Constraints: 15794
320.59/321.58 c #Conflicts: 233000 | #Constraints: 16794
320.59/321.58 c #Conflicts: 234000 | #Constraints: 17794
320.59/321.58 c #Conflicts: 235000 | #Constraints: 18794
320.59/321.58 c #Conflicts: 236000 | #Constraints: 19794
320.59/321.58 c INPROCESSING
320.59/321.58 c GARBAGE COLLECT
320.59/321.58 c #Conflicts: 237000 | #Constraints: 11194
320.59/321.58 c #Conflicts: 238000 | #Constraints: 12194
320.59/321.58 c #Conflicts: 239000 | #Constraints: 13194
320.59/321.58 c #Conflicts: 240000 | #Constraints: 14194
320.59/321.58 c #Conflicts: 241000 | #Constraints: 15194
320.59/321.58 c #Conflicts: 242000 | #Constraints: 16194
320.59/321.58 c #Conflicts: 243000 | #Constraints: 17194
320.59/321.58 c #Conflicts: 244000 | #Constraints: 18194
320.59/321.58 c #Conflicts: 245000 | #Constraints: 19194
320.59/321.58 c #Conflicts: 246000 | #Constraints: 20194
320.59/321.58 c INPROCESSING
320.59/321.58 c GARBAGE COLLECT
320.59/321.58 c #Conflicts: 247000 | #Constraints: 11398
320.59/321.58 c #Conflicts: 248000 | #Constraints: 12398
320.59/321.58 c #Conflicts: 249000 | #Constraints: 13398
320.59/321.58 c #Conflicts: 250000 | #Constraints: 14398
320.59/321.58 c #Conflicts: 251000 | #Constraints: 15398
320.59/321.58 c #Conflicts: 252000 | #Constraints: 16398
320.59/321.58 c #Conflicts: 253000 | #Constraints: 17398
320.59/321.58 c #Conflicts: 254000 | #Constraints: 18398
320.59/321.58 c #Conflicts: 255000 | #Constraints: 19398
320.59/321.58 c #Conflicts: 256000 | #Constraints: 20398
320.59/321.58 c INPROCESSING
320.59/321.58 c GARBAGE COLLECT
320.59/321.58 c #Conflicts: 257000 | #Constraints: 11394
320.59/321.58 c #Conflicts: 258000 | #Constraints: 12394
320.59/321.58 c #Conflicts: 259000 | #Constraints: 13394
320.59/321.58 c #Conflicts: 260000 | #Constraints: 14394
320.59/321.58 c #Conflicts: 261000 | #Constraints: 15394
320.59/321.58 c #Conflicts: 262000 | #Constraints: 16394
320.59/321.58 c #Conflicts: 263000 | #Constraints: 17394
320.59/321.58 c #Conflicts: 264000 | #Constraints: 18394
320.59/321.58 c #Conflicts: 265000 | #Constraints: 19394
320.59/321.58 c #Conflicts: 266000 | #Constraints: 20394
320.59/321.58 c INPROCESSING
320.59/321.58 c GARBAGE COLLECT
320.59/321.58 c #Conflicts: 267000 | #Constraints: 11196
320.59/321.58 c #Conflicts: 268000 | #Constraints: 12196
320.59/321.58 c #Conflicts: 269000 | #Constraints: 13196
320.59/321.58 c #Conflicts: 270000 | #Constraints: 14196
320.59/321.58 c #Conflicts: 271000 | #Constraints: 15196
320.59/321.58 c #Conflicts: 272000 | #Constraints: 16196
320.59/321.58 c #Conflicts: 273000 | #Constraints: 17196
320.59/321.58 c #Conflicts: 274000 | #Constraints: 18196
320.59/321.58 c #Conflicts: 275000 | #Constraints: 19196
320.59/321.58 c #Conflicts: 276000 | #Constraints: 20196
320.59/321.58 c #Conflicts: 277000 | #Constraints: 21196
320.59/321.58 c INPROCESSING
320.59/321.58 c GARBAGE COLLECT
320.59/321.58 c #Conflicts: 278000 | #Constraints: 11801
320.59/321.58 c #Conflicts: 279000 | #Constraints: 12801
320.59/321.58 c #Conflicts: 280000 | #Constraints: 13801
320.59/321.58 c #Conflicts: 281000 | #Constraints: 14801
320.59/321.58 c #Conflicts: 282000 | #Constraints: 15801
458.17/459.46 c #Conflicts: 283000 | #Constraints: 16801
458.17/459.46 c #Conflicts: 284000 | #Constraints: 17801
458.17/459.46 c #Conflicts: 285000 | #Constraints: 18801
458.17/459.46 c #Conflicts: 286000 | #Constraints: 19801
458.17/459.46 c #Conflicts: 287000 | #Constraints: 20801
458.17/459.46 c #Conflicts: 288000 | #Constraints: 21801
458.17/459.46 c INPROCESSING
458.17/459.46 c GARBAGE COLLECT
458.17/459.46 c #Conflicts: 289000 | #Constraints: 12204
458.17/459.46 c #Conflicts: 290000 | #Constraints: 13204
458.17/459.46 c #Conflicts: 291000 | #Constraints: 14204
458.17/459.46 c #Conflicts: 292000 | #Constraints: 15204
458.17/459.46 c #Conflicts: 293000 | #Constraints: 16204
458.17/459.46 c #Conflicts: 294000 | #Constraints: 17204
458.17/459.46 c #Conflicts: 295000 | #Constraints: 18204
458.17/459.46 c #Conflicts: 296000 | #Constraints: 19204
458.17/459.46 c #Conflicts: 297000 | #Constraints: 20204
458.17/459.46 c #Conflicts: 298000 | #Constraints: 21204
458.17/459.46 c #Conflicts: 299000 | #Constraints: 22204
458.17/459.46 c INPROCESSING
458.17/459.46 c GARBAGE COLLECT
458.17/459.46 c #Conflicts: 300000 | #Constraints: 12407
458.17/459.46 c #Conflicts: 301000 | #Constraints: 13407
458.17/459.46 c #Conflicts: 302000 | #Constraints: 14407
458.17/459.46 c #Conflicts: 303000 | #Constraints: 15407
458.17/459.46 c #Conflicts: 304000 | #Constraints: 16407
458.17/459.46 c #Conflicts: 305000 | #Constraints: 17407
458.17/459.46 c #Conflicts: 306000 | #Constraints: 18407
458.17/459.46 c #Conflicts: 307000 | #Constraints: 19407
458.17/459.46 c #Conflicts: 308000 | #Constraints: 20407
458.17/459.46 c #Conflicts: 309000 | #Constraints: 21407
458.17/459.46 c #Conflicts: 310000 | #Constraints: 22407
458.17/459.46 c INPROCESSING
458.17/459.46 c GARBAGE COLLECT
458.17/459.46 c #Conflicts: 311000 | #Constraints: 12401
458.17/459.46 c #Conflicts: 312000 | #Constraints: 13401
458.17/459.46 c #Conflicts: 313000 | #Constraints: 14401
458.17/459.46 c #Conflicts: 314000 | #Constraints: 15401
458.17/459.46 c #Conflicts: 315000 | #Constraints: 16401
458.17/459.46 c #Conflicts: 316000 | #Constraints: 17401
458.17/459.46 c #Conflicts: 317000 | #Constraints: 18401
458.17/459.46 c #Conflicts: 318000 | #Constraints: 19401
458.17/459.46 c #Conflicts: 319000 | #Constraints: 20401
458.17/459.46 c #Conflicts: 320000 | #Constraints: 21401
458.17/459.46 c #Conflicts: 321000 | #Constraints: 22401
458.17/459.46 c INPROCESSING
458.17/459.46 c GARBAGE COLLECT
458.17/459.46 c #Conflicts: 322000 | #Constraints: 12200
458.17/459.46 c #Conflicts: 323000 | #Constraints: 13200
458.17/459.46 c #Conflicts: 324000 | #Constraints: 14200
458.17/459.46 c #Conflicts: 325000 | #Constraints: 15200
458.17/459.46 c #Conflicts: 326000 | #Constraints: 16200
458.17/459.46 c #Conflicts: 327000 | #Constraints: 17200
458.17/459.46 c #Conflicts: 328000 | #Constraints: 18200
458.17/459.46 c #Conflicts: 329000 | #Constraints: 19200
458.17/459.46 c #Conflicts: 330000 | #Constraints: 20200
458.17/459.46 c #Conflicts: 331000 | #Constraints: 21200
458.17/459.46 c #Conflicts: 332000 | #Constraints: 22200
458.17/459.46 c #Conflicts: 333000 | #Constraints: 23200
458.17/459.46 c INPROCESSING
458.17/459.46 c GARBAGE COLLECT
458.17/459.46 c #Conflicts: 334000 | #Constraints: 12800
458.17/459.46 c #Conflicts: 335000 | #Constraints: 13800
458.17/459.46 c #Conflicts: 336000 | #Constraints: 14800
458.17/459.46 c #Conflicts: 337000 | #Constraints: 15800
458.17/459.46 c #Conflicts: 338000 | #Constraints: 16800
458.17/459.46 c #Conflicts: 339000 | #Constraints: 17800
458.17/459.46 c #Conflicts: 340000 | #Constraints: 18800
458.17/459.46 c #Conflicts: 341000 | #Constraints: 19800
458.17/459.46 c #Conflicts: 342000 | #Constraints: 20800
458.17/459.46 c #Conflicts: 343000 | #Constraints: 21800
458.17/459.46 c #Conflicts: 344000 | #Constraints: 22800
458.17/459.46 c #Conflicts: 345000 | #Constraints: 23800
458.17/459.46 c INPROCESSING
458.17/459.46 c GARBAGE COLLECT
458.17/459.46 c #Conflicts: 346000 | #Constraints: 13193
458.17/459.46 c #Conflicts: 347000 | #Constraints: 14193
458.17/459.46 c #Conflicts: 348000 | #Constraints: 15193
458.17/459.46 c #Conflicts: 349000 | #Constraints: 16193
458.17/459.46 c #Conflicts: 350000 | #Constraints: 17193
458.17/459.46 c #Conflicts: 351000 | #Constraints: 18193
458.17/459.46 c #Conflicts: 352000 | #Constraints: 19193
458.17/459.46 c #Conflicts: 353000 | #Constraints: 20193
458.17/459.46 c #Conflicts: 354000 | #Constraints: 21193
458.17/459.46 c #Conflicts: 355000 | #Constraints: 22193
458.17/459.46 c #Conflicts: 356000 | #Constraints: 23193
458.17/459.46 c #Conflicts: 357000 | #Constraints: 24193
607.30/608.94 c INPROCESSING
607.30/608.94 c GARBAGE COLLECT
607.30/608.94 c #Conflicts: 358000 | #Constraints: 13399
607.30/608.94 c #Conflicts: 359000 | #Constraints: 14399
607.30/608.94 c #Conflicts: 360000 | #Constraints: 15399
607.30/608.94 c #Conflicts: 361000 | #Constraints: 16399
607.30/608.94 c #Conflicts: 362000 | #Constraints: 17399
607.30/608.94 c #Conflicts: 363000 | #Constraints: 18399
607.30/608.94 c #Conflicts: 364000 | #Constraints: 19399
607.30/608.94 c #Conflicts: 365000 | #Constraints: 20399
607.30/608.94 c #Conflicts: 366000 | #Constraints: 21399
607.30/608.94 c #Conflicts: 367000 | #Constraints: 22399
607.30/608.94 c #Conflicts: 368000 | #Constraints: 23399
607.30/608.94 c #Conflicts: 369000 | #Constraints: 24399
607.30/608.94 c INPROCESSING
607.30/608.94 c GARBAGE COLLECT
607.30/608.94 c #Conflicts: 370000 | #Constraints: 13400
607.30/608.94 c #Conflicts: 371000 | #Constraints: 14400
607.30/608.94 c #Conflicts: 372000 | #Constraints: 15400
607.30/608.94 c #Conflicts: 373000 | #Constraints: 16400
607.30/608.94 c #Conflicts: 374000 | #Constraints: 17400
607.30/608.94 c #Conflicts: 375000 | #Constraints: 18400
607.30/608.94 c #Conflicts: 376000 | #Constraints: 19400
607.30/608.94 c #Conflicts: 377000 | #Constraints: 20400
607.30/608.94 c #Conflicts: 378000 | #Constraints: 21400
607.30/608.94 c #Conflicts: 379000 | #Constraints: 22400
607.30/608.94 c #Conflicts: 380000 | #Constraints: 23400
607.30/608.94 c #Conflicts: 381000 | #Constraints: 24400
607.30/608.94 c INPROCESSING
607.30/608.94 c GARBAGE COLLECT
607.30/608.94 c #Conflicts: 382000 | #Constraints: 13199
607.30/608.94 c #Conflicts: 383000 | #Constraints: 14199
607.30/608.94 c #Conflicts: 384000 | #Constraints: 15199
607.30/608.94 c #Conflicts: 385000 | #Constraints: 16199
607.30/608.94 c #Conflicts: 386000 | #Constraints: 17199
607.30/608.94 c #Conflicts: 387000 | #Constraints: 18199
607.30/608.94 c #Conflicts: 388000 | #Constraints: 19199
607.30/608.94 c #Conflicts: 389000 | #Constraints: 20199
607.30/608.94 c #Conflicts: 390000 | #Constraints: 21199
607.30/608.94 c #Conflicts: 391000 | #Constraints: 22199
607.30/608.94 c #Conflicts: 392000 | #Constraints: 23199
607.30/608.94 c #Conflicts: 393000 | #Constraints: 24199
607.30/608.94 c #Conflicts: 394000 | #Constraints: 25199
607.30/608.94 c INPROCESSING
607.30/608.94 c GARBAGE COLLECT
607.30/608.94 c #Conflicts: 395000 | #Constraints: 13801
607.30/608.94 c #Conflicts: 396000 | #Constraints: 14801
607.30/608.94 c #Conflicts: 397000 | #Constraints: 15801
607.30/608.94 c #Conflicts: 398000 | #Constraints: 16801
607.30/608.94 c #Conflicts: 399000 | #Constraints: 17801
607.30/608.94 c #Conflicts: 400000 | #Constraints: 18801
607.30/608.94 c #Conflicts: 401000 | #Constraints: 19801
607.30/608.94 c #Conflicts: 402000 | #Constraints: 20801
607.30/608.94 c #Conflicts: 403000 | #Constraints: 21801
607.30/608.94 c #Conflicts: 404000 | #Constraints: 22801
607.30/608.94 c #Conflicts: 405000 | #Constraints: 23801
607.30/608.94 c #Conflicts: 406000 | #Constraints: 24801
607.30/608.94 c #Conflicts: 407000 | #Constraints: 25801
607.30/608.94 c INPROCESSING
607.30/608.94 c GARBAGE COLLECT
607.30/608.94 c #Conflicts: 408000 | #Constraints: 14205
607.30/608.94 c #Conflicts: 409000 | #Constraints: 15205
607.30/608.94 c #Conflicts: 410000 | #Constraints: 16205
607.30/608.94 c #Conflicts: 411000 | #Constraints: 17205
607.30/608.94 c #Conflicts: 412000 | #Constraints: 18205
607.30/608.94 c #Conflicts: 413000 | #Constraints: 19205
607.30/608.94 c #Conflicts: 414000 | #Constraints: 20205
607.30/608.94 c #Conflicts: 415000 | #Constraints: 21205
607.30/608.94 c #Conflicts: 416000 | #Constraints: 22205
607.30/608.94 c #Conflicts: 417000 | #Constraints: 23205
607.30/608.94 c #Conflicts: 418000 | #Constraints: 24205
607.30/608.94 c #Conflicts: 419000 | #Constraints: 25205
607.30/608.94 c #Conflicts: 420000 | #Constraints: 26205
607.30/608.94 c INPROCESSING
607.30/608.94 c GARBAGE COLLECT
607.30/608.94 c #Conflicts: 421000 | #Constraints: 14404
607.30/608.94 c #Conflicts: 422000 | #Constraints: 15404
607.30/608.94 c #Conflicts: 423000 | #Constraints: 16404
607.30/608.94 c #Conflicts: 424000 | #Constraints: 17404
607.30/608.94 c #Conflicts: 425000 | #Constraints: 18404
607.30/608.94 c #Conflicts: 426000 | #Constraints: 19404
607.30/608.94 c #Conflicts: 427000 | #Constraints: 20404
607.30/608.94 c #Conflicts: 428000 | #Constraints: 21404
607.30/608.94 c #Conflicts: 429000 | #Constraints: 22404
607.30/608.94 c #Conflicts: 430000 | #Constraints: 23404
607.30/608.94 c #Conflicts: 431000 | #Constraints: 24404
607.30/608.94 c #Conflicts: 432000 | #Constraints: 25404
759.59/761.62 c #Conflicts: 433000 | #Constraints: 26404
759.59/761.62 c INPROCESSING
759.59/761.62 c GARBAGE COLLECT
759.59/761.62 c #Conflicts: 434000 | #Constraints: 14408
759.59/761.62 c #Conflicts: 435000 | #Constraints: 15408
759.59/761.62 c #Conflicts: 436000 | #Constraints: 16408
759.59/761.62 c #Conflicts: 437000 | #Constraints: 17408
759.59/761.62 c #Conflicts: 438000 | #Constraints: 18408
759.59/761.62 c #Conflicts: 439000 | #Constraints: 19408
759.59/761.62 c #Conflicts: 440000 | #Constraints: 20408
759.59/761.62 c #Conflicts: 441000 | #Constraints: 21408
759.59/761.62 c #Conflicts: 442000 | #Constraints: 22408
759.59/761.62 c #Conflicts: 443000 | #Constraints: 23408
759.59/761.62 c #Conflicts: 444000 | #Constraints: 24408
759.59/761.62 c #Conflicts: 445000 | #Constraints: 25408
759.59/761.62 c #Conflicts: 446000 | #Constraints: 26408
759.59/761.62 c INPROCESSING
759.59/761.62 c GARBAGE COLLECT
759.59/761.62 c #Conflicts: 447000 | #Constraints: 14206
759.59/761.62 c #Conflicts: 448000 | #Constraints: 15206
759.59/761.62 c #Conflicts: 449000 | #Constraints: 16206
759.59/761.62 c #Conflicts: 450000 | #Constraints: 17206
759.59/761.62 c #Conflicts: 451000 | #Constraints: 18206
759.59/761.62 c #Conflicts: 452000 | #Constraints: 19206
759.59/761.62 c #Conflicts: 453000 | #Constraints: 20206
759.59/761.62 c #Conflicts: 454000 | #Constraints: 21206
759.59/761.62 c #Conflicts: 455000 | #Constraints: 22206
759.59/761.62 c #Conflicts: 456000 | #Constraints: 23206
759.59/761.62 c #Conflicts: 457000 | #Constraints: 24206
759.59/761.62 c #Conflicts: 458000 | #Constraints: 25206
759.59/761.62 c #Conflicts: 459000 | #Constraints: 26206
759.59/761.62 c #Conflicts: 460000 | #Constraints: 27206
759.59/761.62 c INPROCESSING
759.59/761.62 c GARBAGE COLLECT
759.59/761.62 c #Conflicts: 461000 | #Constraints: 14810
759.59/761.62 c #Conflicts: 462000 | #Constraints: 15810
759.59/761.62 c #Conflicts: 463000 | #Constraints: 16810
759.59/761.62 c #Conflicts: 464000 | #Constraints: 17810
759.59/761.62 c #Conflicts: 465000 | #Constraints: 18810
759.59/761.62 c #Conflicts: 466000 | #Constraints: 19810
759.59/761.62 c #Conflicts: 467000 | #Constraints: 20810
759.59/761.62 c #Conflicts: 468000 | #Constraints: 21810
759.59/761.62 c #Conflicts: 469000 | #Constraints: 22810
759.59/761.62 c #Conflicts: 470000 | #Constraints: 23810
759.59/761.62 c #Conflicts: 471000 | #Constraints: 24810
759.59/761.62 c #Conflicts: 472000 | #Constraints: 25810
759.59/761.62 c #Conflicts: 473000 | #Constraints: 26810
759.59/761.62 c #Conflicts: 474000 | #Constraints: 27810
759.59/761.62 c INPROCESSING
759.59/761.62 c GARBAGE COLLECT
759.59/761.62 c #Conflicts: 475000 | #Constraints: 15208
759.59/761.62 c #Conflicts: 476000 | #Constraints: 16208
759.59/761.62 c #Conflicts: 477000 | #Constraints: 17208
759.59/761.62 c #Conflicts: 478000 | #Constraints: 18208
759.59/761.62 c #Conflicts: 479000 | #Constraints: 19208
759.59/761.62 c #Conflicts: 480000 | #Constraints: 20208
759.59/761.62 c #Conflicts: 481000 | #Constraints: 21208
759.59/761.62 c #Conflicts: 482000 | #Constraints: 22208
759.59/761.62 c #Conflicts: 483000 | #Constraints: 23208
759.59/761.62 c #Conflicts: 484000 | #Constraints: 24208
759.59/761.62 c #Conflicts: 485000 | #Constraints: 25208
759.59/761.62 c #Conflicts: 486000 | #Constraints: 26208
759.59/761.62 c #Conflicts: 487000 | #Constraints: 27208
759.59/761.62 c #Conflicts: 488000 | #Constraints: 28208
759.59/761.62 c INPROCESSING
759.59/761.62 c GARBAGE COLLECT
759.59/761.62 c #Conflicts: 489000 | #Constraints: 15405
759.59/761.62 c #Conflicts: 490000 | #Constraints: 16405
759.59/761.62 c #Conflicts: 491000 | #Constraints: 17405
759.59/761.62 c #Conflicts: 492000 | #Constraints: 18405
759.59/761.62 c #Conflicts: 493000 | #Constraints: 19405
759.59/761.62 c #Conflicts: 494000 | #Constraints: 20405
759.59/761.62 c #Conflicts: 495000 | #Constraints: 21405
759.59/761.62 c #Conflicts: 496000 | #Constraints: 22405
759.59/761.62 c #Conflicts: 497000 | #Constraints: 23405
759.59/761.62 c #Conflicts: 498000 | #Constraints: 24405
759.59/761.62 c #Conflicts: 499000 | #Constraints: 25405
759.59/761.62 c #Conflicts: 500000 | #Constraints: 26405
759.59/761.62 c #Conflicts: 501000 | #Constraints: 27405
759.59/761.62 c #Conflicts: 502000 | #Constraints: 28405
759.59/761.62 c INPROCESSING
759.59/761.62 c GARBAGE COLLECT
759.59/761.62 c #Conflicts: 503000 | #Constraints: 15411
759.59/761.62 c #Conflicts: 504000 | #Constraints: 16411
759.59/761.62 c #Conflicts: 505000 | #Constraints: 17411
759.59/761.62 c #Conflicts: 506000 | #Constraints: 18411
759.59/761.62 c #Conflicts: 507000 | #Constraints: 19411
897.12/899.52 c #Conflicts: 508000 | #Constraints: 20411
897.12/899.52 c #Conflicts: 509000 | #Constraints: 21411
897.12/899.52 c #Conflicts: 510000 | #Constraints: 22411
897.12/899.52 c #Conflicts: 511000 | #Constraints: 23411
897.12/899.52 c #Conflicts: 512000 | #Constraints: 24411
897.12/899.52 c #Conflicts: 513000 | #Constraints: 25411
897.12/899.52 c #Conflicts: 514000 | #Constraints: 26411
897.12/899.52 c #Conflicts: 515000 | #Constraints: 27411
897.12/899.52 c #Conflicts: 516000 | #Constraints: 28411
897.12/899.52 c INPROCESSING
897.12/899.52 c GARBAGE COLLECT
897.12/899.52 c #Conflicts: 517000 | #Constraints: 15202
897.12/899.52 c #Conflicts: 518000 | #Constraints: 16202
897.12/899.52 c #Conflicts: 519000 | #Constraints: 17202
897.12/899.52 c #Conflicts: 520000 | #Constraints: 18202
897.12/899.52 c #Conflicts: 521000 | #Constraints: 19202
897.12/899.52 c #Conflicts: 522000 | #Constraints: 20202
897.12/899.52 c #Conflicts: 523000 | #Constraints: 21202
897.12/899.52 c #Conflicts: 524000 | #Constraints: 22202
897.12/899.52 c #Conflicts: 525000 | #Constraints: 23202
897.12/899.52 c #Conflicts: 526000 | #Constraints: 24202
897.12/899.52 c #Conflicts: 527000 | #Constraints: 25202
897.12/899.52 c #Conflicts: 528000 | #Constraints: 26202
897.12/899.52 c #Conflicts: 529000 | #Constraints: 27202
897.12/899.52 c #Conflicts: 530000 | #Constraints: 28202
897.12/899.52 c #Conflicts: 531000 | #Constraints: 29202
897.12/899.52 c INPROCESSING
897.12/899.52 c GARBAGE COLLECT
897.12/899.52 c #Conflicts: 532000 | #Constraints: 15809
897.12/899.52 c #Conflicts: 533000 | #Constraints: 16809
897.12/899.52 c #Conflicts: 534000 | #Constraints: 17809
897.12/899.52 c #Conflicts: 535000 | #Constraints: 18809
897.12/899.52 c #Conflicts: 536000 | #Constraints: 19809
897.12/899.52 c #Conflicts: 537000 | #Constraints: 20809
897.12/899.52 c #Conflicts: 538000 | #Constraints: 21809
897.12/899.52 c #Conflicts: 539000 | #Constraints: 22809
897.12/899.52 c #Conflicts: 540000 | #Constraints: 23809
897.12/899.52 c #Conflicts: 541000 | #Constraints: 24809
897.12/899.52 c #Conflicts: 542000 | #Constraints: 25809
897.12/899.52 c #Conflicts: 543000 | #Constraints: 26809
897.12/899.52 c #Conflicts: 544000 | #Constraints: 27809
897.12/899.52 c #Conflicts: 545000 | #Constraints: 28809
897.12/899.52 c #Conflicts: 546000 | #Constraints: 29809
897.12/899.52 c INPROCESSING
897.12/899.52 c GARBAGE COLLECT
897.12/899.52 c #Conflicts: 547000 | #Constraints: 16203
897.12/899.52 c #Conflicts: 548000 | #Constraints: 17203
897.12/899.52 c #Conflicts: 549000 | #Constraints: 18203
897.12/899.52 c #Conflicts: 550000 | #Constraints: 19203
897.12/899.52 c #Conflicts: 551000 | #Constraints: 20203
897.12/899.52 c #Conflicts: 552000 | #Constraints: 21203
897.12/899.52 c #Conflicts: 553000 | #Constraints: 22203
897.12/899.52 c #Conflicts: 554000 | #Constraints: 23203
897.12/899.52 c #Conflicts: 555000 | #Constraints: 24203
897.12/899.52 c #Conflicts: 556000 | #Constraints: 25203
897.12/899.52 c #Conflicts: 557000 | #Constraints: 26203
897.12/899.52 c #Conflicts: 558000 | #Constraints: 27203
897.12/899.52 c #Conflicts: 559000 | #Constraints: 28203
897.12/899.52 c #Conflicts: 560000 | #Constraints: 29203
897.12/899.52 c #Conflicts: 561000 | #Constraints: 30203
897.12/899.52 c INPROCESSING
897.12/899.52 c GARBAGE COLLECT
897.12/899.52 c GLOBAL bounds - >= 0 @ 894.05
1103.18/1106.12 c #Conflicts: 562000 | #Constraints: 16407
1103.18/1106.12 c #Conflicts: 563000 | #Constraints: 17407
1103.18/1106.12 c #Conflicts: 564000 | #Constraints: 18407
1103.18/1106.12 c #Conflicts: 565000 | #Constraints: 19407
1103.18/1106.12 c #Conflicts: 566000 | #Constraints: 20407
1103.18/1106.12 c #Conflicts: 567000 | #Constraints: 21407
1103.18/1106.12 c #Conflicts: 568000 | #Constraints: 22407
1103.18/1106.12 c #Conflicts: 569000 | #Constraints: 23407
1103.18/1106.12 c #Conflicts: 570000 | #Constraints: 24407
1103.18/1106.12 c #Conflicts: 571000 | #Constraints: 25407
1103.18/1106.12 c #Conflicts: 572000 | #Constraints: 26407
1103.18/1106.12 c #Conflicts: 573000 | #Constraints: 27407
1103.18/1106.12 c #Conflicts: 574000 | #Constraints: 28407
1103.18/1106.12 c #Conflicts: 575000 | #Constraints: 29407
1103.18/1106.12 c #Conflicts: 576000 | #Constraints: 30407
1103.18/1106.12 c INPROCESSING
1103.18/1106.12 c GARBAGE COLLECT
1103.18/1106.12 c #Conflicts: 577000 | #Constraints: 16408
1103.18/1106.12 c #Conflicts: 578000 | #Constraints: 17408
1103.18/1106.12 c #Conflicts: 579000 | #Constraints: 18408
1103.18/1106.12 c #Conflicts: 580000 | #Constraints: 19408
1103.18/1106.12 c #Conflicts: 581000 | #Constraints: 20408
1103.18/1106.12 c #Conflicts: 582000 | #Constraints: 21408
1103.18/1106.12 c #Conflicts: 583000 | #Constraints: 22408
1103.18/1106.12 c #Conflicts: 584000 | #Constraints: 23408
1103.18/1106.12 c #Conflicts: 585000 | #Constraints: 24408
1103.18/1106.12 c #Conflicts: 586000 | #Constraints: 25408
1103.18/1106.12 c #Conflicts: 587000 | #Constraints: 26408
1103.18/1106.12 c #Conflicts: 588000 | #Constraints: 27408
1103.18/1106.12 c #Conflicts: 589000 | #Constraints: 28408
1103.18/1106.12 c #Conflicts: 590000 | #Constraints: 29408
1103.18/1106.12 c #Conflicts: 591000 | #Constraints: 30408
1103.18/1106.12 c INPROCESSING
1103.18/1106.12 c GARBAGE COLLECT
1103.18/1106.12 c #Conflicts: 592000 | #Constraints: 16210
1103.18/1106.12 c #Conflicts: 593000 | #Constraints: 17210
1103.18/1106.12 c #Conflicts: 594000 | #Constraints: 18210
1103.18/1106.12 c #Conflicts: 595000 | #Constraints: 19210
1103.18/1106.12 c #Conflicts: 596000 | #Constraints: 20210
1103.18/1106.12 c #Conflicts: 597000 | #Constraints: 21210
1103.18/1106.12 c #Conflicts: 598000 | #Constraints: 22210
1103.18/1106.12 c #Conflicts: 599000 | #Constraints: 23210
1103.18/1106.12 c #Conflicts: 600000 | #Constraints: 24210
1103.18/1106.12 c #Conflicts: 601000 | #Constraints: 25210
1103.18/1106.12 c #Conflicts: 602000 | #Constraints: 26210
1103.18/1106.12 c #Conflicts: 603000 | #Constraints: 27210
1103.18/1106.12 c #Conflicts: 604000 | #Constraints: 28210
1103.18/1106.12 c #Conflicts: 605000 | #Constraints: 29210
1103.18/1106.12 c #Conflicts: 606000 | #Constraints: 30210
1103.18/1106.12 c #Conflicts: 607000 | #Constraints: 31210
1103.18/1106.12 c INPROCESSING
1103.18/1106.12 c GARBAGE COLLECT
1103.18/1106.12 c #Conflicts: 608000 | #Constraints: 16809
1103.18/1106.12 c #Conflicts: 609000 | #Constraints: 17809
1103.18/1106.12 c #Conflicts: 610000 | #Constraints: 18809
1103.18/1106.12 c #Conflicts: 611000 | #Constraints: 19809
1103.18/1106.12 c #Conflicts: 612000 | #Constraints: 20809
1103.18/1106.12 c #Conflicts: 613000 | #Constraints: 21809
1103.18/1106.12 c #Conflicts: 614000 | #Constraints: 22809
1103.18/1106.12 c #Conflicts: 615000 | #Constraints: 23809
1103.18/1106.12 c #Conflicts: 616000 | #Constraints: 24809
1103.18/1106.12 c #Conflicts: 617000 | #Constraints: 25809
1103.18/1106.12 c #Conflicts: 618000 | #Constraints: 26809
1103.18/1106.12 c #Conflicts: 619000 | #Constraints: 27809
1103.18/1106.12 c #Conflicts: 620000 | #Constraints: 28809
1103.18/1106.12 c #Conflicts: 621000 | #Constraints: 29809
1103.18/1106.12 c #Conflicts: 622000 | #Constraints: 30809
1103.18/1106.12 c #Conflicts: 623000 | #Constraints: 31809
1103.18/1106.12 c INPROCESSING
1103.18/1106.12 c GARBAGE COLLECT
1103.18/1106.12 c #Conflicts: 624000 | #Constraints: 17205
1103.18/1106.12 c #Conflicts: 625000 | #Constraints: 18205
1103.18/1106.12 c #Conflicts: 626000 | #Constraints: 19205
1103.18/1106.12 c #Conflicts: 627000 | #Constraints: 20205
1103.18/1106.12 c #Conflicts: 628000 | #Constraints: 21205
1103.18/1106.12 c #Conflicts: 629000 | #Constraints: 22205
1103.18/1106.12 c #Conflicts: 630000 | #Constraints: 23205
1103.18/1106.12 c #Conflicts: 631000 | #Constraints: 24205
1103.18/1106.12 c #Conflicts: 632000 | #Constraints: 25205
1103.18/1106.12 c #Conflicts: 633000 | #Constraints: 26205
1103.18/1106.12 c #Conflicts: 634000 | #Constraints: 27205
1103.18/1106.12 c #Conflicts: 635000 | #Constraints: 28205
1103.18/1106.12 c #Conflicts: 636000 | #Constraints: 29205
1103.18/1106.12 c #Conflicts: 637000 | #Constraints: 30205
1103.18/1106.12 c #Conflicts: 638000 | #Constraints: 31205
1309.56/1313.06 c #Conflicts: 639000 | #Constraints: 32205
1309.56/1313.06 c INPROCESSING
1309.56/1313.06 c GARBAGE COLLECT
1309.56/1313.06 c #Conflicts: 640000 | #Constraints: 17395
1309.56/1313.06 c #Conflicts: 641000 | #Constraints: 18395
1309.56/1313.06 c #Conflicts: 642000 | #Constraints: 19395
1309.56/1313.06 c #Conflicts: 643000 | #Constraints: 20395
1309.56/1313.06 c #Conflicts: 644000 | #Constraints: 21395
1309.56/1313.06 c #Conflicts: 645000 | #Constraints: 22395
1309.56/1313.06 c #Conflicts: 646000 | #Constraints: 23395
1309.56/1313.06 c #Conflicts: 647000 | #Constraints: 24395
1309.56/1313.06 c #Conflicts: 648000 | #Constraints: 25395
1309.56/1313.06 c #Conflicts: 649000 | #Constraints: 26395
1309.56/1313.06 c #Conflicts: 650000 | #Constraints: 27395
1309.56/1313.06 c #Conflicts: 651000 | #Constraints: 28395
1309.56/1313.06 c #Conflicts: 652000 | #Constraints: 29395
1309.56/1313.06 c #Conflicts: 653000 | #Constraints: 30395
1309.56/1313.06 c #Conflicts: 654000 | #Constraints: 31395
1309.56/1313.06 c #Conflicts: 655000 | #Constraints: 32395
1309.56/1313.06 c INPROCESSING
1309.56/1313.06 c GARBAGE COLLECT
1309.56/1313.06 c #Conflicts: 656000 | #Constraints: 17392
1309.56/1313.06 c #Conflicts: 657000 | #Constraints: 18392
1309.56/1313.06 c #Conflicts: 658000 | #Constraints: 19392
1309.56/1313.06 c #Conflicts: 659000 | #Constraints: 20392
1309.56/1313.06 c #Conflicts: 660000 | #Constraints: 21392
1309.56/1313.06 c #Conflicts: 661000 | #Constraints: 22392
1309.56/1313.06 c #Conflicts: 662000 | #Constraints: 23392
1309.56/1313.06 c #Conflicts: 663000 | #Constraints: 24392
1309.56/1313.06 c #Conflicts: 664000 | #Constraints: 25392
1309.56/1313.06 c #Conflicts: 665000 | #Constraints: 26392
1309.56/1313.06 c #Conflicts: 666000 | #Constraints: 27392
1309.56/1313.06 c #Conflicts: 667000 | #Constraints: 28392
1309.56/1313.06 c #Conflicts: 668000 | #Constraints: 29392
1309.56/1313.06 c #Conflicts: 669000 | #Constraints: 30392
1309.56/1313.06 c #Conflicts: 670000 | #Constraints: 31392
1309.56/1313.06 c #Conflicts: 671000 | #Constraints: 32392
1309.56/1313.06 c INPROCESSING
1309.56/1313.06 c GARBAGE COLLECT
1309.56/1313.06 c #Conflicts: 672000 | #Constraints: 17196
1309.56/1313.06 c #Conflicts: 673000 | #Constraints: 18196
1309.56/1313.06 c #Conflicts: 674000 | #Constraints: 19196
1309.56/1313.06 c #Conflicts: 675000 | #Constraints: 20196
1309.56/1313.06 c #Conflicts: 676000 | #Constraints: 21196
1309.56/1313.06 c #Conflicts: 677000 | #Constraints: 22196
1309.56/1313.06 c #Conflicts: 678000 | #Constraints: 23196
1309.56/1313.06 c #Conflicts: 679000 | #Constraints: 24196
1309.56/1313.06 c #Conflicts: 680000 | #Constraints: 25196
1309.56/1313.06 c #Conflicts: 681000 | #Constraints: 26196
1309.56/1313.06 c #Conflicts: 682000 | #Constraints: 27196
1309.56/1313.06 c #Conflicts: 683000 | #Constraints: 28196
1309.56/1313.06 c #Conflicts: 684000 | #Constraints: 29196
1309.56/1313.06 c #Conflicts: 685000 | #Constraints: 30196
1309.56/1313.06 c #Conflicts: 686000 | #Constraints: 31196
1309.56/1313.06 c #Conflicts: 687000 | #Constraints: 32196
1309.56/1313.06 c #Conflicts: 688000 | #Constraints: 33196
1309.56/1313.06 c INPROCESSING
1309.56/1313.06 c GARBAGE COLLECT
1309.56/1313.06 c #Conflicts: 689000 | #Constraints: 17791
1309.56/1313.06 c #Conflicts: 690000 | #Constraints: 18791
1309.56/1313.06 c #Conflicts: 691000 | #Constraints: 19791
1309.56/1313.06 c #Conflicts: 692000 | #Constraints: 20791
1309.56/1313.06 c #Conflicts: 693000 | #Constraints: 21791
1309.56/1313.06 c #Conflicts: 694000 | #Constraints: 22791
1309.56/1313.06 c #Conflicts: 695000 | #Constraints: 23791
1309.56/1313.06 c #Conflicts: 696000 | #Constraints: 24791
1309.56/1313.06 c #Conflicts: 697000 | #Constraints: 25791
1309.56/1313.06 c #Conflicts: 698000 | #Constraints: 26791
1309.56/1313.06 c #Conflicts: 699000 | #Constraints: 27791
1309.56/1313.06 c #Conflicts: 700000 | #Constraints: 28791
1309.56/1313.06 c #Conflicts: 701000 | #Constraints: 29791
1309.56/1313.06 c #Conflicts: 702000 | #Constraints: 30791
1309.56/1313.06 c #Conflicts: 703000 | #Constraints: 31791
1309.56/1313.06 c #Conflicts: 704000 | #Constraints: 32791
1309.56/1313.06 c #Conflicts: 705000 | #Constraints: 33791
1309.56/1313.06 c INPROCESSING
1309.56/1313.06 c GARBAGE COLLECT
1309.56/1313.06 c #Conflicts: 706000 | #Constraints: 18193
1309.56/1313.06 c #Conflicts: 707000 | #Constraints: 19193
1309.56/1313.06 c #Conflicts: 708000 | #Constraints: 20193
1309.56/1313.06 c #Conflicts: 709000 | #Constraints: 21193
1309.56/1313.06 c #Conflicts: 710000 | #Constraints: 22193
1309.56/1313.06 c #Conflicts: 711000 | #Constraints: 23193
1309.56/1313.06 c #Conflicts: 712000 | #Constraints: 24193
1309.56/1313.06 c #Conflicts: 713000 | #Constraints: 25193
1523.62/1527.60 c #Conflicts: 714000 | #Constraints: 26193
1523.62/1527.60 c #Conflicts: 715000 | #Constraints: 27193
1523.62/1527.60 c #Conflicts: 716000 | #Constraints: 28193
1523.62/1527.60 c #Conflicts: 717000 | #Constraints: 29193
1523.62/1527.60 c #Conflicts: 718000 | #Constraints: 30193
1523.62/1527.60 c #Conflicts: 719000 | #Constraints: 31193
1523.62/1527.60 c #Conflicts: 720000 | #Constraints: 32193
1523.62/1527.60 c #Conflicts: 721000 | #Constraints: 33193
1523.62/1527.60 c #Conflicts: 722000 | #Constraints: 34193
1523.62/1527.60 c INPROCESSING
1523.62/1527.60 c GARBAGE COLLECT
1523.62/1527.60 c #Conflicts: 723000 | #Constraints: 18402
1523.62/1527.60 c #Conflicts: 724000 | #Constraints: 19402
1523.62/1527.60 c #Conflicts: 725000 | #Constraints: 20402
1523.62/1527.60 c #Conflicts: 726000 | #Constraints: 21402
1523.62/1527.60 c #Conflicts: 727000 | #Constraints: 22402
1523.62/1527.60 c #Conflicts: 728000 | #Constraints: 23402
1523.62/1527.60 c #Conflicts: 729000 | #Constraints: 24402
1523.62/1527.60 c #Conflicts: 730000 | #Constraints: 25402
1523.62/1527.60 c #Conflicts: 731000 | #Constraints: 26402
1523.62/1527.60 c #Conflicts: 732000 | #Constraints: 27402
1523.62/1527.60 c #Conflicts: 733000 | #Constraints: 28402
1523.62/1527.60 c #Conflicts: 734000 | #Constraints: 29402
1523.62/1527.60 c #Conflicts: 735000 | #Constraints: 30402
1523.62/1527.60 c #Conflicts: 736000 | #Constraints: 31402
1523.62/1527.60 c #Conflicts: 737000 | #Constraints: 32402
1523.62/1527.60 c #Conflicts: 738000 | #Constraints: 33402
1523.62/1527.60 c #Conflicts: 739000 | #Constraints: 34402
1523.62/1527.60 c INPROCESSING
1523.62/1527.60 c GARBAGE COLLECT
1523.62/1527.60 c #Conflicts: 740000 | #Constraints: 18402
1523.62/1527.60 c #Conflicts: 741000 | #Constraints: 19402
1523.62/1527.60 c #Conflicts: 742000 | #Constraints: 20402
1523.62/1527.60 c #Conflicts: 743000 | #Constraints: 21402
1523.62/1527.60 c #Conflicts: 744000 | #Constraints: 22402
1523.62/1527.60 c #Conflicts: 745000 | #Constraints: 23402
1523.62/1527.60 c #Conflicts: 746000 | #Constraints: 24402
1523.62/1527.60 c #Conflicts: 747000 | #Constraints: 25402
1523.62/1527.60 c #Conflicts: 748000 | #Constraints: 26402
1523.62/1527.60 c #Conflicts: 749000 | #Constraints: 27402
1523.62/1527.60 c #Conflicts: 750000 | #Constraints: 28402
1523.62/1527.60 c #Conflicts: 751000 | #Constraints: 29402
1523.62/1527.60 c #Conflicts: 752000 | #Constraints: 30402
1523.62/1527.60 c #Conflicts: 753000 | #Constraints: 31402
1523.62/1527.60 c #Conflicts: 754000 | #Constraints: 32402
1523.62/1527.60 c #Conflicts: 755000 | #Constraints: 33402
1523.62/1527.60 c #Conflicts: 756000 | #Constraints: 34402
1523.62/1527.60 c INPROCESSING
1523.62/1527.60 c GARBAGE COLLECT
1523.62/1527.60 c #Conflicts: 757000 | #Constraints: 18196
1523.62/1527.60 c #Conflicts: 758000 | #Constraints: 19196
1523.62/1527.60 c #Conflicts: 759000 | #Constraints: 20196
1523.62/1527.60 c #Conflicts: 760000 | #Constraints: 21196
1523.62/1527.60 c #Conflicts: 761000 | #Constraints: 22196
1523.62/1527.60 c #Conflicts: 762000 | #Constraints: 23196
1523.62/1527.60 c #Conflicts: 763000 | #Constraints: 24196
1523.62/1527.60 c #Conflicts: 764000 | #Constraints: 25196
1523.62/1527.60 c #Conflicts: 765000 | #Constraints: 26196
1523.62/1527.60 c #Conflicts: 766000 | #Constraints: 27196
1523.62/1527.60 c #Conflicts: 767000 | #Constraints: 28196
1523.62/1527.60 c #Conflicts: 768000 | #Constraints: 29196
1523.62/1527.60 c #Conflicts: 769000 | #Constraints: 30196
1523.62/1527.60 c #Conflicts: 770000 | #Constraints: 31196
1523.62/1527.60 c #Conflicts: 771000 | #Constraints: 32196
1523.62/1527.60 c #Conflicts: 772000 | #Constraints: 33196
1523.62/1527.60 c #Conflicts: 773000 | #Constraints: 34196
1523.62/1527.60 c #Conflicts: 774000 | #Constraints: 35196
1523.62/1527.60 c INPROCESSING
1523.62/1527.60 c GARBAGE COLLECT
1523.62/1527.60 c #Conflicts: 775000 | #Constraints: 18802
1523.62/1527.60 c #Conflicts: 776000 | #Constraints: 19802
1523.62/1527.60 c #Conflicts: 777000 | #Constraints: 20802
1523.62/1527.60 c #Conflicts: 778000 | #Constraints: 21802
1523.62/1527.60 c #Conflicts: 779000 | #Constraints: 22802
1523.62/1527.60 c #Conflicts: 780000 | #Constraints: 23802
1523.62/1527.60 c #Conflicts: 781000 | #Constraints: 24802
1523.62/1527.60 c #Conflicts: 782000 | #Constraints: 25802
1523.62/1527.60 c #Conflicts: 783000 | #Constraints: 26802
1523.62/1527.60 c #Conflicts: 784000 | #Constraints: 27802
1523.62/1527.60 c #Conflicts: 785000 | #Constraints: 28802
1523.62/1527.60 c #Conflicts: 786000 | #Constraints: 29802
1523.62/1527.60 c #Conflicts: 787000 | #Constraints: 30802
1523.62/1527.60 c #Conflicts: 788000 | #Constraints: 31802
1523.62/1527.60 c #Conflicts: 789000 | #Constraints: 32802
1523.62/1527.60 c #Conflicts: 790000 | #Constraints: 33802
1763.32/1767.91 c #Conflicts: 791000 | #Constraints: 34802
1763.32/1767.91 c #Conflicts: 792000 | #Constraints: 35802
1763.32/1767.91 c INPROCESSING
1763.32/1767.91 c GARBAGE COLLECT
1763.32/1767.91 c #Conflicts: 793000 | #Constraints: 19201
1763.32/1767.91 c #Conflicts: 794000 | #Constraints: 20201
1763.32/1767.91 c #Conflicts: 795000 | #Constraints: 21201
1763.32/1767.91 c #Conflicts: 796000 | #Constraints: 22201
1763.32/1767.91 c #Conflicts: 797000 | #Constraints: 23201
1763.32/1767.91 c #Conflicts: 798000 | #Constraints: 24201
1763.32/1767.91 c #Conflicts: 799000 | #Constraints: 25201
1763.32/1767.91 c #Conflicts: 800000 | #Constraints: 26201
1763.32/1767.91 c #Conflicts: 801000 | #Constraints: 27201
1763.32/1767.91 c #Conflicts: 802000 | #Constraints: 28201
1763.32/1767.91 c #Conflicts: 803000 | #Constraints: 29201
1763.32/1767.91 c #Conflicts: 804000 | #Constraints: 30201
1763.32/1767.91 c #Conflicts: 805000 | #Constraints: 31201
1763.32/1767.91 c #Conflicts: 806000 | #Constraints: 32201
1763.32/1767.91 c #Conflicts: 807000 | #Constraints: 33201
1763.32/1767.91 c #Conflicts: 808000 | #Constraints: 34201
1763.32/1767.91 c #Conflicts: 809000 | #Constraints: 35201
1763.32/1767.91 c #Conflicts: 810000 | #Constraints: 36201
1763.32/1767.91 c INPROCESSING
1763.32/1767.91 c GARBAGE COLLECT
1763.32/1767.91 c #Conflicts: 811000 | #Constraints: 19404
1763.32/1767.91 c #Conflicts: 812000 | #Constraints: 20404
1763.32/1767.91 c #Conflicts: 813000 | #Constraints: 21404
1763.32/1767.91 c #Conflicts: 814000 | #Constraints: 22404
1763.32/1767.91 c #Conflicts: 815000 | #Constraints: 23404
1763.32/1767.91 c #Conflicts: 816000 | #Constraints: 24404
1763.32/1767.91 c #Conflicts: 817000 | #Constraints: 25404
1763.32/1767.91 c #Conflicts: 818000 | #Constraints: 26404
1763.32/1767.91 c #Conflicts: 819000 | #Constraints: 27404
1763.32/1767.91 c #Conflicts: 820000 | #Constraints: 28404
1763.32/1767.91 c #Conflicts: 821000 | #Constraints: 29404
1763.32/1767.91 c #Conflicts: 822000 | #Constraints: 30404
1763.32/1767.91 c #Conflicts: 823000 | #Constraints: 31404
1763.32/1767.91 c #Conflicts: 824000 | #Constraints: 32404
1763.32/1767.91 c #Conflicts: 825000 | #Constraints: 33404
1763.32/1767.91 c #Conflicts: 826000 | #Constraints: 34404
1763.32/1767.91 c #Conflicts: 827000 | #Constraints: 35404
1763.32/1767.91 c #Conflicts: 828000 | #Constraints: 36404
1763.32/1767.91 c INPROCESSING
1763.32/1767.91 c GARBAGE COLLECT
1763.32/1767.91 c #Conflicts: 829000 | #Constraints: 19408
1763.32/1767.91 c #Conflicts: 830000 | #Constraints: 20408
1763.32/1767.91 c #Conflicts: 831000 | #Constraints: 21408
1763.32/1767.91 c #Conflicts: 832000 | #Constraints: 22408
1763.32/1767.91 c #Conflicts: 833000 | #Constraints: 23408
1763.32/1767.91 c #Conflicts: 834000 | #Constraints: 24408
1763.32/1767.91 c #Conflicts: 835000 | #Constraints: 25408
1763.32/1767.91 c #Conflicts: 836000 | #Constraints: 26408
1763.32/1767.91 c #Conflicts: 837000 | #Constraints: 27408
1763.32/1767.91 c #Conflicts: 838000 | #Constraints: 28408
1763.32/1767.91 c #Conflicts: 839000 | #Constraints: 29408
1763.32/1767.91 c #Conflicts: 840000 | #Constraints: 30408
1763.32/1767.91 c #Conflicts: 841000 | #Constraints: 31408
1763.32/1767.91 c #Conflicts: 842000 | #Constraints: 32408
1763.32/1767.91 c #Conflicts: 843000 | #Constraints: 33408
1763.32/1767.91 c #Conflicts: 844000 | #Constraints: 34408
1763.32/1767.91 c #Conflicts: 845000 | #Constraints: 35408
1763.32/1767.91 c #Conflicts: 846000 | #Constraints: 36408
1763.32/1767.91 c INPROCESSING
1763.32/1767.91 c GARBAGE COLLECT
1763.32/1767.91 c #Conflicts: 847000 | #Constraints: 19200
1763.32/1767.91 c #Conflicts: 848000 | #Constraints: 20200
1763.32/1767.91 c #Conflicts: 849000 | #Constraints: 21200
1763.32/1767.91 c #Conflicts: 850000 | #Constraints: 22200
1763.32/1767.91 c #Conflicts: 851000 | #Constraints: 23200
1763.32/1767.91 c #Conflicts: 852000 | #Constraints: 24200
1763.32/1767.91 c #Conflicts: 853000 | #Constraints: 25200
1763.32/1767.91 c #Conflicts: 854000 | #Constraints: 26200
1763.32/1767.91 c #Conflicts: 855000 | #Constraints: 27200
1763.32/1767.91 c #Conflicts: 856000 | #Constraints: 28200
1763.32/1767.91 c #Conflicts: 857000 | #Constraints: 29200
1763.32/1767.91 c #Conflicts: 858000 | #Constraints: 30200
1763.32/1767.91 c #Conflicts: 859000 | #Constraints: 31200
1763.32/1767.91 c #Conflicts: 860000 | #Constraints: 32200
1763.32/1767.91 c #Conflicts: 861000 | #Constraints: 33200
1763.32/1767.91 c #Conflicts: 862000 | #Constraints: 34200
1763.32/1767.91 c #Conflicts: 863000 | #Constraints: 35200
1763.32/1767.91 c #Conflicts: 864000 | #Constraints: 36200
1763.32/1767.91 c #Conflicts: 865000 | #Constraints: 37200
1763.32/1767.91 c INPROCESSING
2022.48/2027.78 c GARBAGE COLLECT
2022.48/2027.78 c #Conflicts: 866000 | #Constraints: 19804
2022.48/2027.78 c #Conflicts: 867000 | #Constraints: 20804
2022.48/2027.78 c #Conflicts: 868000 | #Constraints: 21804
2022.48/2027.78 c #Conflicts: 869000 | #Constraints: 22804
2022.48/2027.78 c #Conflicts: 870000 | #Constraints: 23804
2022.48/2027.78 c #Conflicts: 871000 | #Constraints: 24804
2022.48/2027.78 c #Conflicts: 872000 | #Constraints: 25804
2022.48/2027.78 c #Conflicts: 873000 | #Constraints: 26804
2022.48/2027.78 c #Conflicts: 874000 | #Constraints: 27804
2022.48/2027.78 c #Conflicts: 875000 | #Constraints: 28804
2022.48/2027.78 c #Conflicts: 876000 | #Constraints: 29804
2022.48/2027.78 c #Conflicts: 877000 | #Constraints: 30804
2022.48/2027.78 c #Conflicts: 878000 | #Constraints: 31804
2022.48/2027.78 c #Conflicts: 879000 | #Constraints: 32804
2022.48/2027.78 c #Conflicts: 880000 | #Constraints: 33804
2022.48/2027.78 c #Conflicts: 881000 | #Constraints: 34804
2022.48/2027.78 c #Conflicts: 882000 | #Constraints: 35804
2022.48/2027.78 c #Conflicts: 883000 | #Constraints: 36804
2022.48/2027.78 c #Conflicts: 884000 | #Constraints: 37804
2022.48/2027.78 c INPROCESSING
2022.48/2027.78 c GARBAGE COLLECT
2022.48/2027.78 c #Conflicts: 885000 | #Constraints: 20209
2022.48/2027.78 c #Conflicts: 886000 | #Constraints: 21209
2022.48/2027.78 c #Conflicts: 887000 | #Constraints: 22209
2022.48/2027.78 c #Conflicts: 888000 | #Constraints: 23209
2022.48/2027.78 c #Conflicts: 889000 | #Constraints: 24209
2022.48/2027.78 c #Conflicts: 890000 | #Constraints: 25209
2022.48/2027.78 c #Conflicts: 891000 | #Constraints: 26209
2022.48/2027.78 c #Conflicts: 892000 | #Constraints: 27209
2022.48/2027.78 c #Conflicts: 893000 | #Constraints: 28209
2022.48/2027.78 c #Conflicts: 894000 | #Constraints: 29209
2022.48/2027.78 c #Conflicts: 895000 | #Constraints: 30209
2022.48/2027.78 c #Conflicts: 896000 | #Constraints: 31209
2022.48/2027.78 c #Conflicts: 897000 | #Constraints: 32209
2022.48/2027.78 c #Conflicts: 898000 | #Constraints: 33209
2022.48/2027.78 c #Conflicts: 899000 | #Constraints: 34209
2022.48/2027.78 c #Conflicts: 900000 | #Constraints: 35209
2022.48/2027.78 c #Conflicts: 901000 | #Constraints: 36209
2022.48/2027.78 c #Conflicts: 902000 | #Constraints: 37209
2022.48/2027.78 c #Conflicts: 903000 | #Constraints: 38209
2022.48/2027.78 c INPROCESSING
2022.48/2027.78 c GARBAGE COLLECT
2022.48/2027.78 c #Conflicts: 904000 | #Constraints: 20410
2022.48/2027.78 c #Conflicts: 905000 | #Constraints: 21410
2022.48/2027.78 c #Conflicts: 906000 | #Constraints: 22410
2022.48/2027.78 c #Conflicts: 907000 | #Constraints: 23410
2022.48/2027.78 c #Conflicts: 908000 | #Constraints: 24410
2022.48/2027.78 c #Conflicts: 909000 | #Constraints: 25410
2022.48/2027.78 c #Conflicts: 910000 | #Constraints: 26410
2022.48/2027.78 c #Conflicts: 911000 | #Constraints: 27410
2022.48/2027.78 c #Conflicts: 912000 | #Constraints: 28410
2022.48/2027.78 c #Conflicts: 913000 | #Constraints: 29410
2022.48/2027.78 c #Conflicts: 914000 | #Constraints: 30410
2022.48/2027.78 c #Conflicts: 915000 | #Constraints: 31410
2022.48/2027.78 c #Conflicts: 916000 | #Constraints: 32410
2022.48/2027.78 c #Conflicts: 917000 | #Constraints: 33410
2022.48/2027.78 c #Conflicts: 918000 | #Constraints: 34410
2022.48/2027.78 c #Conflicts: 919000 | #Constraints: 35410
2022.48/2027.78 c #Conflicts: 920000 | #Constraints: 36410
2022.48/2027.78 c #Conflicts: 921000 | #Constraints: 37410
2022.48/2027.78 c #Conflicts: 922000 | #Constraints: 38410
2022.48/2027.78 c INPROCESSING
2022.48/2027.78 c GARBAGE COLLECT
2022.48/2027.78 c #Conflicts: 923000 | #Constraints: 20411
2022.48/2027.78 c #Conflicts: 924000 | #Constraints: 21411
2022.48/2027.78 c #Conflicts: 925000 | #Constraints: 22411
2022.48/2027.78 c #Conflicts: 926000 | #Constraints: 23411
2022.48/2027.78 c #Conflicts: 927000 | #Constraints: 24411
2022.48/2027.78 c #Conflicts: 928000 | #Constraints: 25411
2022.48/2027.78 c #Conflicts: 929000 | #Constraints: 26411
2022.48/2027.78 c #Conflicts: 930000 | #Constraints: 27411
2022.48/2027.78 c #Conflicts: 931000 | #Constraints: 28411
2022.48/2027.78 c #Conflicts: 932000 | #Constraints: 29411
2022.48/2027.78 c #Conflicts: 933000 | #Constraints: 30411
2022.48/2027.78 c #Conflicts: 934000 | #Constraints: 31411
2022.48/2027.78 c #Conflicts: 935000 | #Constraints: 32411
2022.48/2027.78 c #Conflicts: 936000 | #Constraints: 33411
2022.48/2027.78 c #Conflicts: 937000 | #Constraints: 34411
2022.48/2027.78 c #Conflicts: 938000 | #Constraints: 35411
2022.48/2027.78 c #Conflicts: 939000 | #Constraints: 36411
2022.48/2027.78 c #Conflicts: 940000 | #Constraints: 37411
2022.48/2027.78 c #Conflicts: 941000 | #Constraints: 38411
2022.48/2027.78 c INPROCESSING
2022.48/2027.78 c GARBAGE COLLECT
2238.40/2244.29 c #Conflicts: 942000 | #Constraints: 20209
2238.40/2244.29 c #Conflicts: 943000 | #Constraints: 21209
2238.40/2244.29 c #Conflicts: 944000 | #Constraints: 22209
2238.40/2244.29 c #Conflicts: 945000 | #Constraints: 23209
2238.40/2244.29 c #Conflicts: 946000 | #Constraints: 24209
2238.40/2244.29 c #Conflicts: 947000 | #Constraints: 25209
2238.40/2244.29 c #Conflicts: 948000 | #Constraints: 26209
2238.40/2244.29 c #Conflicts: 949000 | #Constraints: 27209
2238.40/2244.29 c #Conflicts: 950000 | #Constraints: 28209
2238.40/2244.29 c #Conflicts: 951000 | #Constraints: 29209
2238.40/2244.29 c #Conflicts: 952000 | #Constraints: 30209
2238.40/2244.29 c #Conflicts: 953000 | #Constraints: 31209
2238.40/2244.29 c #Conflicts: 954000 | #Constraints: 32209
2238.40/2244.29 c #Conflicts: 955000 | #Constraints: 33209
2238.40/2244.29 c #Conflicts: 956000 | #Constraints: 34209
2238.40/2244.29 c #Conflicts: 957000 | #Constraints: 35209
2238.40/2244.29 c #Conflicts: 958000 | #Constraints: 36209
2238.40/2244.29 c #Conflicts: 959000 | #Constraints: 37209
2238.40/2244.29 c #Conflicts: 960000 | #Constraints: 38209
2238.40/2244.29 c #Conflicts: 961000 | #Constraints: 39209
2238.40/2244.29 c INPROCESSING
2238.40/2244.29 c GARBAGE COLLECT
2238.40/2244.29 c #Conflicts: 962000 | #Constraints: 20805
2238.40/2244.29 c #Conflicts: 963000 | #Constraints: 21805
2238.40/2244.29 c #Conflicts: 964000 | #Constraints: 22805
2238.40/2244.29 c #Conflicts: 965000 | #Constraints: 23805
2238.40/2244.29 c #Conflicts: 966000 | #Constraints: 24805
2238.40/2244.29 c #Conflicts: 967000 | #Constraints: 25805
2238.40/2244.29 c #Conflicts: 968000 | #Constraints: 26805
2238.40/2244.29 c #Conflicts: 969000 | #Constraints: 27805
2238.40/2244.29 c #Conflicts: 970000 | #Constraints: 28805
2238.40/2244.29 c #Conflicts: 971000 | #Constraints: 29805
2238.40/2244.29 c #Conflicts: 972000 | #Constraints: 30805
2238.40/2244.29 c #Conflicts: 973000 | #Constraints: 31805
2238.40/2244.29 c #Conflicts: 974000 | #Constraints: 32805
2238.40/2244.29 c #Conflicts: 975000 | #Constraints: 33805
2238.40/2244.29 c #Conflicts: 976000 | #Constraints: 34805
2238.40/2244.29 c #Conflicts: 977000 | #Constraints: 35805
2238.40/2244.29 c #Conflicts: 978000 | #Constraints: 36805
2238.40/2244.29 c #Conflicts: 979000 | #Constraints: 37805
2238.40/2244.29 c #Conflicts: 980000 | #Constraints: 38805
2238.40/2244.29 c #Conflicts: 981000 | #Constraints: 39805
2238.40/2244.29 c INPROCESSING
2238.40/2244.29 c GARBAGE COLLECT
2238.40/2244.29 c #Conflicts: 982000 | #Constraints: 21209
2238.40/2244.29 c #Conflicts: 983000 | #Constraints: 22209
2238.40/2244.29 c #Conflicts: 984000 | #Constraints: 23209
2238.40/2244.29 c #Conflicts: 985000 | #Constraints: 24209
2238.40/2244.29 c #Conflicts: 986000 | #Constraints: 25209
2238.40/2244.29 c #Conflicts: 987000 | #Constraints: 26209
2238.40/2244.29 c #Conflicts: 988000 | #Constraints: 27209
2238.40/2244.29 c #Conflicts: 989000 | #Constraints: 28209
2238.40/2244.29 c #Conflicts: 990000 | #Constraints: 29209
2238.40/2244.29 c #Conflicts: 991000 | #Constraints: 30209
2238.40/2244.29 c #Conflicts: 992000 | #Constraints: 31209
2238.40/2244.29 c #Conflicts: 993000 | #Constraints: 32209
2238.40/2244.29 c #Conflicts: 994000 | #Constraints: 33209
2238.40/2244.29 c #Conflicts: 995000 | #Constraints: 34209
2238.40/2244.29 c #Conflicts: 996000 | #Constraints: 35209
2238.40/2244.29 c #Conflicts: 997000 | #Constraints: 36209
2238.40/2244.29 c #Conflicts: 998000 | #Constraints: 37209
2238.40/2244.29 c #Conflicts: 999000 | #Constraints: 38209
2238.40/2244.29 c #Conflicts: 1000000 | #Constraints: 39209
2238.40/2244.29 c #Conflicts: 1001000 | #Constraints: 40209
2238.40/2244.29 c INPROCESSING
2238.40/2244.29 c GARBAGE COLLECT
2238.40/2244.29 c #Conflicts: 1002000 | #Constraints: 21412
2238.40/2244.29 c #Conflicts: 1003000 | #Constraints: 22412
2238.40/2244.29 c #Conflicts: 1004000 | #Constraints: 23412
2238.40/2244.29 c #Conflicts: 1005000 | #Constraints: 24412
2238.40/2244.29 c #Conflicts: 1006000 | #Constraints: 25412
2238.40/2244.29 c #Conflicts: 1007000 | #Constraints: 26412
2238.40/2244.29 c #Conflicts: 1008000 | #Constraints: 27412
2238.40/2244.29 c #Conflicts: 1009000 | #Constraints: 28412
2238.40/2244.29 c #Conflicts: 1010000 | #Constraints: 29412
2238.40/2244.29 c #Conflicts: 1011000 | #Constraints: 30412
2238.40/2244.29 c #Conflicts: 1012000 | #Constraints: 31412
2238.40/2244.29 c #Conflicts: 1013000 | #Constraints: 32412
2238.40/2244.29 c #Conflicts: 1014000 | #Constraints: 33412
2238.40/2244.29 c #Conflicts: 1015000 | #Constraints: 34412
2238.40/2244.29 c #Conflicts: 1016000 | #Constraints: 35412
2238.40/2244.29 c #Conflicts: 1017000 | #Constraints: 36412
2238.40/2244.29 c #Conflicts: 1018000 | #Constraints: 37412
2485.82/2492.32 c #Conflicts: 1019000 | #Constraints: 38412
2485.82/2492.32 c #Conflicts: 1020000 | #Constraints: 39412
2485.82/2492.32 c #Conflicts: 1021000 | #Constraints: 40412
2485.82/2492.32 c INPROCESSING
2485.82/2492.32 c GARBAGE COLLECT
2485.82/2492.32 c #Conflicts: 1022000 | #Constraints: 21410
2485.82/2492.32 c #Conflicts: 1023000 | #Constraints: 22410
2485.82/2492.32 c #Conflicts: 1024000 | #Constraints: 23410
2485.82/2492.32 c #Conflicts: 1025000 | #Constraints: 24410
2485.82/2492.32 c #Conflicts: 1026000 | #Constraints: 25410
2485.82/2492.32 c #Conflicts: 1027000 | #Constraints: 26410
2485.82/2492.32 c #Conflicts: 1028000 | #Constraints: 27410
2485.82/2492.32 c #Conflicts: 1029000 | #Constraints: 28410
2485.82/2492.32 c #Conflicts: 1030000 | #Constraints: 29410
2485.82/2492.32 c #Conflicts: 1031000 | #Constraints: 30410
2485.82/2492.32 c #Conflicts: 1032000 | #Constraints: 31410
2485.82/2492.32 c #Conflicts: 1033000 | #Constraints: 32410
2485.82/2492.32 c #Conflicts: 1034000 | #Constraints: 33410
2485.82/2492.32 c #Conflicts: 1035000 | #Constraints: 34410
2485.82/2492.32 c #Conflicts: 1036000 | #Constraints: 35410
2485.82/2492.32 c #Conflicts: 1037000 | #Constraints: 36410
2485.82/2492.32 c #Conflicts: 1038000 | #Constraints: 37410
2485.82/2492.32 c #Conflicts: 1039000 | #Constraints: 38410
2485.82/2492.32 c #Conflicts: 1040000 | #Constraints: 39410
2485.82/2492.32 c #Conflicts: 1041000 | #Constraints: 40410
2485.82/2492.32 c INPROCESSING
2485.82/2492.32 c GARBAGE COLLECT
2485.82/2492.32 c #Conflicts: 1042000 | #Constraints: 21210
2485.82/2492.32 c #Conflicts: 1043000 | #Constraints: 22210
2485.82/2492.32 c #Conflicts: 1044000 | #Constraints: 23210
2485.82/2492.32 c #Conflicts: 1045000 | #Constraints: 24210
2485.82/2492.32 c #Conflicts: 1046000 | #Constraints: 25210
2485.82/2492.32 c #Conflicts: 1047000 | #Constraints: 26210
2485.82/2492.32 c #Conflicts: 1048000 | #Constraints: 27210
2485.82/2492.32 c #Conflicts: 1049000 | #Constraints: 28210
2485.82/2492.32 c #Conflicts: 1050000 | #Constraints: 29210
2485.82/2492.32 c #Conflicts: 1051000 | #Constraints: 30210
2485.82/2492.32 c #Conflicts: 1052000 | #Constraints: 31210
2485.82/2492.32 c #Conflicts: 1053000 | #Constraints: 32210
2485.82/2492.32 c #Conflicts: 1054000 | #Constraints: 33210
2485.82/2492.32 c #Conflicts: 1055000 | #Constraints: 34210
2485.82/2492.32 c #Conflicts: 1056000 | #Constraints: 35210
2485.82/2492.32 c #Conflicts: 1057000 | #Constraints: 36210
2485.82/2492.32 c #Conflicts: 1058000 | #Constraints: 37210
2485.82/2492.32 c #Conflicts: 1059000 | #Constraints: 38210
2485.82/2492.32 c #Conflicts: 1060000 | #Constraints: 39210
2485.82/2492.32 c #Conflicts: 1061000 | #Constraints: 40210
2485.82/2492.32 c #Conflicts: 1062000 | #Constraints: 41210
2485.82/2492.32 c INPROCESSING
2485.82/2492.32 c GARBAGE COLLECT
2485.82/2492.32 c #Conflicts: 1063000 | #Constraints: 21811
2485.82/2492.32 c #Conflicts: 1064000 | #Constraints: 22811
2485.82/2492.32 c #Conflicts: 1065000 | #Constraints: 23811
2485.82/2492.32 c #Conflicts: 1066000 | #Constraints: 24811
2485.82/2492.32 c #Conflicts: 1067000 | #Constraints: 25811
2485.82/2492.32 c #Conflicts: 1068000 | #Constraints: 26811
2485.82/2492.32 c #Conflicts: 1069000 | #Constraints: 27811
2485.82/2492.32 c #Conflicts: 1070000 | #Constraints: 28811
2485.82/2492.32 c #Conflicts: 1071000 | #Constraints: 29811
2485.82/2492.32 c #Conflicts: 1072000 | #Constraints: 30811
2485.82/2492.32 c #Conflicts: 1073000 | #Constraints: 31811
2485.82/2492.32 c #Conflicts: 1074000 | #Constraints: 32811
2485.82/2492.32 c #Conflicts: 1075000 | #Constraints: 33811
2485.82/2492.32 c #Conflicts: 1076000 | #Constraints: 34811
2485.82/2492.32 c #Conflicts: 1077000 | #Constraints: 35811
2485.82/2492.32 c #Conflicts: 1078000 | #Constraints: 36811
2485.82/2492.32 c #Conflicts: 1079000 | #Constraints: 37811
2485.82/2492.32 c #Conflicts: 1080000 | #Constraints: 38811
2485.82/2492.32 c #Conflicts: 1081000 | #Constraints: 39811
2485.82/2492.32 c #Conflicts: 1082000 | #Constraints: 40811
2485.82/2492.32 c #Conflicts: 1083000 | #Constraints: 41811
2485.82/2492.32 c INPROCESSING
2485.82/2492.32 c GARBAGE COLLECT
2485.82/2492.32 c #Conflicts: 1084000 | #Constraints: 22211
2485.82/2492.32 c #Conflicts: 1085000 | #Constraints: 23211
2485.82/2492.32 c #Conflicts: 1086000 | #Constraints: 24211
2485.82/2492.32 c #Conflicts: 1087000 | #Constraints: 25211
2485.82/2492.32 c #Conflicts: 1088000 | #Constraints: 26211
2485.82/2492.32 c #Conflicts: 1089000 | #Constraints: 27211
2485.82/2492.32 c #Conflicts: 1090000 | #Constraints: 28211
2485.82/2492.32 c #Conflicts: 1091000 | #Constraints: 29211
2485.82/2492.32 c #Conflicts: 1092000 | #Constraints: 30211
2485.82/2492.32 c #Conflicts: 1093000 | #Constraints: 31211
2485.82/2492.32 c #Conflicts: 1094000 | #Constraints: 32211
2783.50/2790.80 c #Conflicts: 1095000 | #Constraints: 33211
2783.50/2790.80 c #Conflicts: 1096000 | #Constraints: 34211
2783.50/2790.80 c #Conflicts: 1097000 | #Constraints: 35211
2783.50/2790.80 c #Conflicts: 1098000 | #Constraints: 36211
2783.50/2790.80 c #Conflicts: 1099000 | #Constraints: 37211
2783.50/2790.80 c #Conflicts: 1100000 | #Constraints: 38211
2783.50/2790.80 c #Conflicts: 1101000 | #Constraints: 39211
2783.50/2790.80 c #Conflicts: 1102000 | #Constraints: 40211
2783.50/2790.80 c #Conflicts: 1103000 | #Constraints: 41211
2783.50/2790.80 c #Conflicts: 1104000 | #Constraints: 42211
2783.50/2790.80 c INPROCESSING
2783.50/2790.80 c GARBAGE COLLECT
2783.50/2790.80 c #Conflicts: 1105000 | #Constraints: 22409
2783.50/2790.80 c #Conflicts: 1106000 | #Constraints: 23409
2783.50/2790.80 c #Conflicts: 1107000 | #Constraints: 24409
2783.50/2790.80 c #Conflicts: 1108000 | #Constraints: 25409
2783.50/2790.80 c #Conflicts: 1109000 | #Constraints: 26409
2783.50/2790.80 c #Conflicts: 1110000 | #Constraints: 27409
2783.50/2790.80 c #Conflicts: 1111000 | #Constraints: 28409
2783.50/2790.80 c #Conflicts: 1112000 | #Constraints: 29409
2783.50/2790.80 c #Conflicts: 1113000 | #Constraints: 30409
2783.50/2790.80 c #Conflicts: 1114000 | #Constraints: 31409
2783.50/2790.80 c #Conflicts: 1115000 | #Constraints: 32409
2783.50/2790.80 c #Conflicts: 1116000 | #Constraints: 33409
2783.50/2790.80 c #Conflicts: 1117000 | #Constraints: 34409
2783.50/2790.80 c #Conflicts: 1118000 | #Constraints: 35409
2783.50/2790.80 c #Conflicts: 1119000 | #Constraints: 36409
2783.50/2790.80 c #Conflicts: 1120000 | #Constraints: 37409
2783.50/2790.80 c #Conflicts: 1121000 | #Constraints: 38409
2783.50/2790.80 c #Conflicts: 1122000 | #Constraints: 39409
2783.50/2790.80 c #Conflicts: 1123000 | #Constraints: 40409
2783.50/2790.80 c #Conflicts: 1124000 | #Constraints: 41409
2783.50/2790.80 c #Conflicts: 1125000 | #Constraints: 42409
2783.50/2790.80 c INPROCESSING
2783.50/2790.80 c GARBAGE COLLECT
2783.50/2790.80 c #Conflicts: 1126000 | #Constraints: 22412
2783.50/2790.80 c #Conflicts: 1127000 | #Constraints: 23412
2783.50/2790.80 c #Conflicts: 1128000 | #Constraints: 24412
2783.50/2790.80 c #Conflicts: 1129000 | #Constraints: 25412
2783.50/2790.80 c #Conflicts: 1130000 | #Constraints: 26412
2783.50/2790.80 c #Conflicts: 1131000 | #Constraints: 27412
2783.50/2790.80 c #Conflicts: 1132000 | #Constraints: 28412
2783.50/2790.80 c #Conflicts: 1133000 | #Constraints: 29412
2783.50/2790.80 c #Conflicts: 1134000 | #Constraints: 30412
2783.50/2790.80 c #Conflicts: 1135000 | #Constraints: 31412
2783.50/2790.80 c #Conflicts: 1136000 | #Constraints: 32412
2783.50/2790.80 c #Conflicts: 1137000 | #Constraints: 33412
2783.50/2790.80 c #Conflicts: 1138000 | #Constraints: 34412
2783.50/2790.80 c #Conflicts: 1139000 | #Constraints: 35412
2783.50/2790.80 c #Conflicts: 1140000 | #Constraints: 36412
2783.50/2790.80 c #Conflicts: 1141000 | #Constraints: 37412
2783.50/2790.80 c #Conflicts: 1142000 | #Constraints: 38412
2783.50/2790.80 c #Conflicts: 1143000 | #Constraints: 39412
2783.50/2790.80 c #Conflicts: 1144000 | #Constraints: 40412
2783.50/2790.80 c #Conflicts: 1145000 | #Constraints: 41412
2783.50/2790.80 c #Conflicts: 1146000 | #Constraints: 42412
2783.50/2790.80 c INPROCESSING
2783.50/2790.80 c GARBAGE COLLECT
2783.50/2790.80 c #Conflicts: 1147000 | #Constraints: 22211
2783.50/2790.80 c #Conflicts: 1148000 | #Constraints: 23211
2783.50/2790.80 c #Conflicts: 1149000 | #Constraints: 24211
2783.50/2790.80 c #Conflicts: 1150000 | #Constraints: 25211
2783.50/2790.80 c #Conflicts: 1151000 | #Constraints: 26211
2783.50/2790.80 c #Conflicts: 1152000 | #Constraints: 27211
2783.50/2790.80 c #Conflicts: 1153000 | #Constraints: 28211
2783.50/2790.80 c #Conflicts: 1154000 | #Constraints: 29211
2783.50/2790.80 c #Conflicts: 1155000 | #Constraints: 30211
2783.50/2790.80 c #Conflicts: 1156000 | #Constraints: 31211
2783.50/2790.80 c #Conflicts: 1157000 | #Constraints: 32211
2783.50/2790.80 c #Conflicts: 1158000 | #Constraints: 33211
2783.50/2790.80 c #Conflicts: 1159000 | #Constraints: 34211
2783.50/2790.80 c #Conflicts: 1160000 | #Constraints: 35211
2783.50/2790.80 c #Conflicts: 1161000 | #Constraints: 36211
2783.50/2790.80 c #Conflicts: 1162000 | #Constraints: 37211
2783.50/2790.80 c #Conflicts: 1163000 | #Constraints: 38211
2783.50/2790.80 c #Conflicts: 1164000 | #Constraints: 39211
2783.50/2790.80 c #Conflicts: 1165000 | #Constraints: 40211
2783.50/2790.80 c #Conflicts: 1166000 | #Constraints: 41211
2783.50/2790.80 c #Conflicts: 1167000 | #Constraints: 42211
2783.50/2790.80 c #Conflicts: 1168000 | #Constraints: 43211
2783.50/2790.80 c INPROCESSING
2783.50/2790.80 c GARBAGE COLLECT
2783.50/2790.80 c #Conflicts: 1169000 | #Constraints: 22814
2783.50/2790.80 c #Conflicts: 1170000 | #Constraints: 23814
2783.50/2790.80 c #Conflicts: 1171000 | #Constraints: 24814
3104.29/3112.42 c #Conflicts: 1172000 | #Constraints: 25814
3104.29/3112.42 c #Conflicts: 1173000 | #Constraints: 26814
3104.29/3112.42 c #Conflicts: 1174000 | #Constraints: 27814
3104.29/3112.42 c #Conflicts: 1175000 | #Constraints: 28814
3104.29/3112.42 c #Conflicts: 1176000 | #Constraints: 29814
3104.29/3112.42 c #Conflicts: 1177000 | #Constraints: 30814
3104.29/3112.42 c #Conflicts: 1178000 | #Constraints: 31814
3104.29/3112.42 c #Conflicts: 1179000 | #Constraints: 32814
3104.29/3112.42 c #Conflicts: 1180000 | #Constraints: 33814
3104.29/3112.42 c #Conflicts: 1181000 | #Constraints: 34814
3104.29/3112.42 c #Conflicts: 1182000 | #Constraints: 35814
3104.29/3112.42 c #Conflicts: 1183000 | #Constraints: 36814
3104.29/3112.42 c #Conflicts: 1184000 | #Constraints: 37814
3104.29/3112.42 c #Conflicts: 1185000 | #Constraints: 38814
3104.29/3112.42 c #Conflicts: 1186000 | #Constraints: 39814
3104.29/3112.42 c #Conflicts: 1187000 | #Constraints: 40814
3104.29/3112.42 c #Conflicts: 1188000 | #Constraints: 41814
3104.29/3112.42 c #Conflicts: 1189000 | #Constraints: 42814
3104.29/3112.42 c #Conflicts: 1190000 | #Constraints: 43814
3104.29/3112.42 c INPROCESSING
3104.29/3112.42 c GARBAGE COLLECT
3104.29/3112.42 c #Conflicts: 1191000 | #Constraints: 23209
3104.29/3112.42 c #Conflicts: 1192000 | #Constraints: 24209
3104.29/3112.42 c #Conflicts: 1193000 | #Constraints: 25209
3104.29/3112.42 c #Conflicts: 1194000 | #Constraints: 26209
3104.29/3112.42 c #Conflicts: 1195000 | #Constraints: 27209
3104.29/3112.42 c #Conflicts: 1196000 | #Constraints: 28209
3104.29/3112.42 c #Conflicts: 1197000 | #Constraints: 29209
3104.29/3112.42 c #Conflicts: 1198000 | #Constraints: 30209
3104.29/3112.42 c #Conflicts: 1199000 | #Constraints: 31209
3104.29/3112.42 c #Conflicts: 1200000 | #Constraints: 32209
3104.29/3112.42 c #Conflicts: 1201000 | #Constraints: 33209
3104.29/3112.42 c #Conflicts: 1202000 | #Constraints: 34209
3104.29/3112.42 c #Conflicts: 1203000 | #Constraints: 35209
3104.29/3112.42 c #Conflicts: 1204000 | #Constraints: 36209
3104.29/3112.42 c #Conflicts: 1205000 | #Constraints: 37209
3104.29/3112.42 c #Conflicts: 1206000 | #Constraints: 38209
3104.29/3112.42 c #Conflicts: 1207000 | #Constraints: 39209
3104.29/3112.42 c #Conflicts: 1208000 | #Constraints: 40209
3104.29/3112.42 c #Conflicts: 1209000 | #Constraints: 41209
3104.29/3112.42 c #Conflicts: 1210000 | #Constraints: 42209
3104.29/3112.42 c #Conflicts: 1211000 | #Constraints: 43209
3104.29/3112.42 c #Conflicts: 1212000 | #Constraints: 44209
3104.29/3112.42 c INPROCESSING
3104.29/3112.42 c GARBAGE COLLECT
3104.29/3112.42 c #Conflicts: 1213000 | #Constraints: 23407
3104.29/3112.42 c #Conflicts: 1214000 | #Constraints: 24407
3104.29/3112.42 c #Conflicts: 1215000 | #Constraints: 25407
3104.29/3112.42 c #Conflicts: 1216000 | #Constraints: 26407
3104.29/3112.42 c #Conflicts: 1217000 | #Constraints: 27407
3104.29/3112.42 c #Conflicts: 1218000 | #Constraints: 28407
3104.29/3112.42 c #Conflicts: 1219000 | #Constraints: 29407
3104.29/3112.42 c #Conflicts: 1220000 | #Constraints: 30407
3104.29/3112.42 c #Conflicts: 1221000 | #Constraints: 31407
3104.29/3112.42 c #Conflicts: 1222000 | #Constraints: 32407
3104.29/3112.42 c #Conflicts: 1223000 | #Constraints: 33407
3104.29/3112.42 c #Conflicts: 1224000 | #Constraints: 34407
3104.29/3112.42 c #Conflicts: 1225000 | #Constraints: 35407
3104.29/3112.42 c #Conflicts: 1226000 | #Constraints: 36407
3104.29/3112.42 c #Conflicts: 1227000 | #Constraints: 37407
3104.29/3112.42 c #Conflicts: 1228000 | #Constraints: 38407
3104.29/3112.42 c #Conflicts: 1229000 | #Constraints: 39407
3104.29/3112.42 c #Conflicts: 1230000 | #Constraints: 40407
3104.29/3112.42 c #Conflicts: 1231000 | #Constraints: 41407
3104.29/3112.42 c #Conflicts: 1232000 | #Constraints: 42407
3104.29/3112.42 c #Conflicts: 1233000 | #Constraints: 43407
3104.29/3112.42 c #Conflicts: 1234000 | #Constraints: 44407
3104.29/3112.42 c INPROCESSING
3104.29/3112.42 c GARBAGE COLLECT
3104.29/3112.42 c #Conflicts: 1235000 | #Constraints: 23412
3104.29/3112.42 c #Conflicts: 1236000 | #Constraints: 24412
3104.29/3112.42 c #Conflicts: 1237000 | #Constraints: 25412
3104.29/3112.42 c #Conflicts: 1238000 | #Constraints: 26412
3104.29/3112.42 c #Conflicts: 1239000 | #Constraints: 27412
3104.29/3112.42 c #Conflicts: 1240000 | #Constraints: 28412
3104.29/3112.42 c #Conflicts: 1241000 | #Constraints: 29412
3104.29/3112.42 c #Conflicts: 1242000 | #Constraints: 30412
3104.29/3112.42 c #Conflicts: 1243000 | #Constraints: 31412
3104.29/3112.42 c #Conflicts: 1244000 | #Constraints: 32412
3104.29/3112.42 c #Conflicts: 1245000 | #Constraints: 33412
3104.29/3112.42 c #Conflicts: 1246000 | #Constraints: 34412
3104.29/3112.42 c #Conflicts: 1247000 | #Constraints: 35412
3104.29/3112.42 c #Conflicts: 1248000 | #Constraints: 36412
3446.81/3455.85 c #Conflicts: 1249000 | #Constraints: 37412
3446.81/3455.85 c #Conflicts: 1250000 | #Constraints: 38412
3446.81/3455.85 c #Conflicts: 1251000 | #Constraints: 39412
3446.81/3455.85 c #Conflicts: 1252000 | #Constraints: 40412
3446.81/3455.85 c #Conflicts: 1253000 | #Constraints: 41412
3446.81/3455.85 c #Conflicts: 1254000 | #Constraints: 42412
3446.81/3455.85 c #Conflicts: 1255000 | #Constraints: 43412
3446.81/3455.85 c #Conflicts: 1256000 | #Constraints: 44412
3446.81/3455.85 c INPROCESSING
3446.81/3455.85 c GARBAGE COLLECT
3446.81/3455.85 c #Conflicts: 1257000 | #Constraints: 23217
3446.81/3455.85 c #Conflicts: 1258000 | #Constraints: 24217
3446.81/3455.85 c #Conflicts: 1259000 | #Constraints: 25217
3446.81/3455.85 c #Conflicts: 1260000 | #Constraints: 26217
3446.81/3455.85 c #Conflicts: 1261000 | #Constraints: 27217
3446.81/3455.85 c #Conflicts: 1262000 | #Constraints: 28217
3446.81/3455.85 c #Conflicts: 1263000 | #Constraints: 29217
3446.81/3455.85 c #Conflicts: 1264000 | #Constraints: 30217
3446.81/3455.85 c #Conflicts: 1265000 | #Constraints: 31217
3446.81/3455.85 c #Conflicts: 1266000 | #Constraints: 32217
3446.81/3455.85 c #Conflicts: 1267000 | #Constraints: 33217
3446.81/3455.85 c #Conflicts: 1268000 | #Constraints: 34217
3446.81/3455.85 c #Conflicts: 1269000 | #Constraints: 35217
3446.81/3455.85 c #Conflicts: 1270000 | #Constraints: 36217
3446.81/3455.85 c #Conflicts: 1271000 | #Constraints: 37217
3446.81/3455.85 c #Conflicts: 1272000 | #Constraints: 38217
3446.81/3455.85 c #Conflicts: 1273000 | #Constraints: 39217
3446.81/3455.85 c #Conflicts: 1274000 | #Constraints: 40217
3446.81/3455.85 c #Conflicts: 1275000 | #Constraints: 41217
3446.81/3455.85 c #Conflicts: 1276000 | #Constraints: 42217
3446.81/3455.85 c #Conflicts: 1277000 | #Constraints: 43217
3446.81/3455.85 c #Conflicts: 1278000 | #Constraints: 44217
3446.81/3455.85 c #Conflicts: 1279000 | #Constraints: 45217
3446.81/3455.85 c INPROCESSING
3446.81/3455.85 c GARBAGE COLLECT
3446.81/3455.85 c #Conflicts: 1280000 | #Constraints: 23808
3446.81/3455.85 c #Conflicts: 1281000 | #Constraints: 24808
3446.81/3455.85 c #Conflicts: 1282000 | #Constraints: 25808
3446.81/3455.85 c #Conflicts: 1283000 | #Constraints: 26808
3446.81/3455.85 c #Conflicts: 1284000 | #Constraints: 27808
3446.81/3455.85 c #Conflicts: 1285000 | #Constraints: 28808
3446.81/3455.85 c #Conflicts: 1286000 | #Constraints: 29808
3446.81/3455.85 c #Conflicts: 1287000 | #Constraints: 30808
3446.81/3455.85 c #Conflicts: 1288000 | #Constraints: 31808
3446.81/3455.85 c #Conflicts: 1289000 | #Constraints: 32808
3446.81/3455.85 c #Conflicts: 1290000 | #Constraints: 33808
3446.81/3455.85 c #Conflicts: 1291000 | #Constraints: 34808
3446.81/3455.85 c #Conflicts: 1292000 | #Constraints: 35808
3446.81/3455.85 c #Conflicts: 1293000 | #Constraints: 36808
3446.81/3455.85 c #Conflicts: 1294000 | #Constraints: 37808
3446.81/3455.85 c #Conflicts: 1295000 | #Constraints: 38808
3446.81/3455.85 c #Conflicts: 1296000 | #Constraints: 39808
3446.81/3455.85 c #Conflicts: 1297000 | #Constraints: 40808
3446.81/3455.85 c #Conflicts: 1298000 | #Constraints: 41808
3446.81/3455.85 c #Conflicts: 1299000 | #Constraints: 42808
3446.81/3455.85 c #Conflicts: 1300000 | #Constraints: 43808
3446.81/3455.85 c #Conflicts: 1301000 | #Constraints: 44808
3446.81/3455.85 c #Conflicts: 1302000 | #Constraints: 45808
3446.81/3455.85 c INPROCESSING
3446.81/3455.85 c GARBAGE COLLECT
3446.81/3455.85 c #Conflicts: 1303000 | #Constraints: 24209
3446.81/3455.85 c #Conflicts: 1304000 | #Constraints: 25209
3446.81/3455.85 c #Conflicts: 1305000 | #Constraints: 26209
3446.81/3455.85 c #Conflicts: 1306000 | #Constraints: 27209
3446.81/3455.85 c #Conflicts: 1307000 | #Constraints: 28209
3446.81/3455.85 c #Conflicts: 1308000 | #Constraints: 29209
3446.81/3455.85 c #Conflicts: 1309000 | #Constraints: 30209
3446.81/3455.85 c #Conflicts: 1310000 | #Constraints: 31209
3446.81/3455.85 c #Conflicts: 1311000 | #Constraints: 32209
3446.81/3455.85 c #Conflicts: 1312000 | #Constraints: 33209
3446.81/3455.85 c #Conflicts: 1313000 | #Constraints: 34209
3446.81/3455.85 c #Conflicts: 1314000 | #Constraints: 35209
3446.81/3455.85 c #Conflicts: 1315000 | #Constraints: 36209
3446.81/3455.85 c #Conflicts: 1316000 | #Constraints: 37209
3446.81/3455.85 c #Conflicts: 1317000 | #Constraints: 38209
3446.81/3455.85 c #Conflicts: 1318000 | #Constraints: 39209
3446.81/3455.85 c #Conflicts: 1319000 | #Constraints: 40209
3446.81/3455.85 c #Conflicts: 1320000 | #Constraints: 41209
3446.81/3455.85 c #Conflicts: 1321000 | #Constraints: 42209
3446.81/3455.85 c #Conflicts: 1322000 | #Constraints: 43209
3446.81/3455.85 c #Conflicts: 1323000 | #Constraints: 44209
3446.81/3455.85 c #Conflicts: 1324000 | #Constraints: 45209
3600.02/3609.40 c #Conflicts: 1325000 | #Constraints: 46209
3600.02/3609.40 c INPROCESSING
3600.02/3609.40 c GARBAGE COLLECT
3600.02/3609.40 c #Conflicts: 1326000 | #Constraints: 24409
3600.02/3609.40 c #Conflicts: 1327000 | #Constraints: 25409
3600.02/3609.40 c #Conflicts: 1328000 | #Constraints: 26409
3600.02/3609.40 c #Conflicts: 1329000 | #Constraints: 27409
3600.02/3609.40 c #Conflicts: 1330000 | #Constraints: 28409
3600.02/3609.40 c #Conflicts: 1331000 | #Constraints: 29409
3600.02/3609.40 c #Conflicts: 1332000 | #Constraints: 30409
3600.02/3609.40 c #Conflicts: 1333000 | #Constraints: 31409
3600.02/3609.40 c #Conflicts: 1334000 | #Constraints: 32409
3600.02/3609.40 c #Conflicts: 1335000 | #Constraints: 33409
3600.02/3609.40 c #Conflicts: 1336000 | #Constraints: 34409
3600.02/3609.40 c #Conflicts: 1337000 | #Constraints: 35409
3600.02/3609.40 c #Conflicts: 1338000 | #Constraints: 36409
3600.02/3609.40 c #Conflicts: 1339000 | #Constraints: 37409
3600.02/3609.40 c #Conflicts: 1340000 | #Constraints: 38409
3600.02/3609.40 c #Conflicts: 1341000 | #Constraints: 39409
3600.02/3609.40 c #Conflicts: 1342000 | #Constraints: 40409
3600.02/3609.40 c #Conflicts: 1343000 | #Constraints: 41409
3600.02/3609.40 c #Conflicts: 1344000 | #Constraints: 42409
3600.02/3609.40 c #Conflicts: 1345000 | #Constraints: 43409
3600.02/3609.40 c #Conflicts: 1346000 | #Constraints: 44409
3600.02/3609.40 c #Conflicts: 1347000 | #Constraints: 45409
3600.02/3609.40 c #Conflicts: 1348000 | #Constraints: 46409
3600.02/3609.40 c INPROCESSING
3600.02/3609.40 c GARBAGE COLLECT
3600.02/3609.40 c #Conflicts: 1349000 | #Constraints: 24412
3600.02/3609.40 c #Conflicts: 1350000 | #Constraints: 25412
3600.02/3609.40 c #Conflicts: 1351000 | #Constraints: 26412
3600.02/3609.40 c #Conflicts: 1352000 | #Constraints: 27412
3600.02/3609.40 c #Conflicts: 1353000 | #Constraints: 28412
3600.02/3609.40 c #Conflicts: 1354000 | #Constraints: 29412
3600.02/3609.40 c #Conflicts: 1355000 | #Constraints: 30412
3600.02/3609.40 c #Conflicts: 1356000 | #Constraints: 31412
3600.02/3609.40 c #Conflicts: 1357000 | #Constraints: 32412
3600.02/3609.40 c #Conflicts: 1358000 | #Constraints: 33412
3600.02/3609.40 c #Conflicts: 1359000 | #Constraints: 34412
3600.02/3609.40 c #Conflicts: 1360000 | #Constraints: 35412
3600.02/3609.40 c #Conflicts: 1361000 | #Constraints: 36412
3600.02/3609.40 c #Conflicts: 1362000 | #Constraints: 37412
3600.02/3609.40 c #Conflicts: 1363000 | #Constraints: 38412
3600.02/3609.40 c #Conflicts: 1364000 | #Constraints: 39412
3600.02/3609.40 c cpu time 3592.49 s
3600.02/3609.40 c deterministic time 1 1.00e+00
3600.02/3609.40 c optimization time 3592.49 s
3600.02/3609.40 c total solve time 0 s
3600.02/3609.40 c core-guided solve time 0 s
3600.02/3609.40 c propagation time 0.00011 s
3600.02/3609.40 c conflict analysis time 0 s
3600.02/3609.40 c propagations 0
3600.02/3609.40 c resolve steps 0
3600.02/3609.40 c decisions 0
3600.02/3609.40 c conflicts 0
3600.02/3609.40 c restarts 0
3600.02/3609.40 c inprocessing phases 0
3600.02/3609.40 c garbage collections 0 ,( -nan )
3600.02/3609.40 c input clauses 0 ,( 0.00 )
3600.02/3609.40 c input cardinalities 0 ,( 0.00 )
3600.02/3609.40 c input general constraints 481 ,( 100.00 )
3600.02/3609.40 c input average constraint length 9.00
3600.02/3609.40 c input average constraint degree 28.96
3600.02/3609.40 c learned clauses 0 ,( 0.00 )
3600.02/3609.40 c learned cardinalities 0 ,( 0.00 )
3600.02/3609.40 c learned general constraints 0 ,( 0.00 )
3600.02/3609.40 c learned average constraint length 0.00
3600.02/3609.40 c learned average constraint degree 0.00
3600.02/3609.40 c watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
3600.02/3609.40 c counting CF 32, 64, 128, Arb: 478 , 0 , 0 , 0
3600.02/3609.40 c watched constraints 4 ,( 0.83 )
3600.02/3609.40 c counting constraints 477 ,( 99.17 )
3600.02/3609.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3609.40 c gcd simplifications 0
3600.02/3609.40 c detected cardinalities 0
3600.02/3609.40 c weakened non-implied lits 0
3600.02/3609.40 c weakened non-implying lits 0
3600.02/3609.40 c original variables 481
3600.02/3609.40 c clausal propagations 0
3600.02/3609.40 c cardinality propagations 0
3600.02/3609.40 c watched propagations 0
3600.02/3609.40 c counting propagations 0
3600.02/3609.40 c watch lookups 0
3600.02/3609.40 c watch backjump lookups 0
3600.02/3609.40 c watch checks 0
3600.02/3609.40 c propagation checks 0
3600.02/3609.40 c constraint additions 0
3600.02/3609.40 c trail pops 0
3600.02/3609.40 c formula constraints 481
3600.02/3609.40 c learned constraints 0
3600.02/3609.40 c bound constraints 0
3600.02/3609.40 c core-guided constraints 0
3600.02/3609.40 c encountered formula constraints 0
3600.02/3609.40 c encountered learned constraints 0
3600.02/3609.40 c encountered bound constraints 0
3600.02/3609.40 c encountered core-guided constraints 0
3600.02/3609.40 c LP total time 0 s
3600.02/3609.40 c LP solve time 0 s
3600.02/3609.40 c LP constraints added 0
3600.02/3609.40 c LP constraints removed 0
3600.02/3609.40 c LP pivots internal 0
3600.02/3609.40 c LP pivots root 0
3600.02/3609.40 c LP calls 0
3600.02/3609.40 c LP optimalities 0
3600.02/3609.40 c LP no pivot count 0
3600.02/3609.40 c LP infeasibilities 0
3600.02/3609.40 c LP valid Farkas constraints 0
3600.02/3609.40 c LP learned Farkas constraints 0
3600.02/3609.40 c LP basis resets 0
3600.02/3609.40 c LP cycling count 0
3600.02/3609.40 c LP singular count 0
3600.02/3609.40 c LP no primal count 0
3600.02/3609.40 c LP no farkas count 0
3600.02/3609.40 c LP other issue count 0
3600.02/3609.40 c LP Gomory cuts 0
3600.02/3609.40 c LP learned cuts 0
3600.02/3609.40 c LP deleted cuts 0
3600.02/3609.40 c LP encountered Gomory constraints 0
3600.02/3609.40 c LP encountered Farkas constraints 0
3600.02/3609.40 c LP encountered learned Farkas constraints 0
3600.02/3609.40 c CG auxiliary variables introduced 0
3600.02/3609.40 c CG solutions found 0
3600.02/3609.40 c CG cores constructed 0
3600.02/3609.40 c CG core cardinality constraints returned 0
3600.02/3609.40 c CG unit cores 0
3600.02/3609.40 c CG single cores 0
3600.02/3609.40 c CG blocks removed during cardinality reduction 0
3600.02/3609.40 c CG first core best 0
3600.02/3609.40 c CG decision core best 0
3600.02/3609.40 c CG core reduction tie 0
3600.02/3609.40 c CG core degree average 0.00
3600.02/3609.40 c CG core slack average 0.00
3600.02/3609.40 c CG core upper bound improvements 0
3600.02/3609.40 c STR number of successful calls 0
3600.02/3609.40 c STR number of unsuccessful calls 0
3600.02/3609.40 c STR number of inconclusive calls 0
3600.02/3609.40 c STR number of successful attempts 0
3600.02/3609.40 c STR number of unsuccessful attempts 0
3600.02/3609.40 c STR number of inconclusive attempts 0
3600.02/3609.40 c STR average degree increase per successful call inf
3600.02/3609.40 c STR average degree increase per successful attempt inf
3600.02/3609.40 c STR total number of conflicts for successful attempts 0
3600.02/3609.40 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.40 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.40 c STR average number of conflicts per successful attempt inf
3600.02/3609.40 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.40 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.40 c AVG.sumWPerc 72.68
3600.02/3609.40 c bigint constraints 0
3600.02/3609.40 s UNKNOWN
3600.02/3609.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63046 MiB free)
memory of node 1: 64465 MiB (64035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489000-1751351829/watcher-4489000-1751351829 -o /tmp/evaluation-result-4489000-1751351829/solver-4489000-1751351829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50577 --watchdog 3760 run-opt.sh HOME/instance-4489000-1751351829.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=51007, runsolver pid=50998
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.07 4.08 4.09 6/269 51020
/proc/meminfo: memFree=130111536/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=63836 memory=16664 CPUtime=0.07 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 1557 0 0 0 6 1 0 0 20 0 1 0 50860361 65368064 4166 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 15959 4166 2368 1147 0 3386 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 68028 KiB
Current children cumulated memory: 19608 KiB
[startup+0.205841 s]*
/proc/loadavg: 4.07 4.08 4.09 6/269 51020
/proc/meminfo: memFree=130090116/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=68104 memory=20248 CPUtime=0.17 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 2444 0 0 0 16 1 0 0 20 0 1 0 50860361 69738496 5062 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 17026 5062 2368 1147 0 4453 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 72296 KiB
Current children cumulated memory: 23192 KiB
[startup+0.305708 s]*
/proc/loadavg: 4.07 4.08 4.09 6/269 51020
/proc/meminfo: memFree=130068320/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=68668 memory=22296 CPUtime=0.26 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 2981 0 0 0 25 1 0 0 20 0 1 0 50860361 70316032 5574 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 17167 5574 2368 1147 0 4594 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 72860 KiB
Current children cumulated memory: 25240 KiB
[startup+0.700216 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 51020
/proc/meminfo: memFree=130032536/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=77788 memory=28440 CPUtime=0.64 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 4493 0 0 0 62 2 0 0 20 0 1 0 50860361 79654912 7110 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 19447 7110 2368 1147 0 6874 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 81980 KiB
Current children cumulated memory: 31384 KiB
[startup+1.50018 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 51020
/proc/meminfo: memFree=129990072/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=84676 memory=34968 CPUtime=1.43 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 6151 0 0 0 139 4 0 0 20 0 1 0 50860361 86708224 8742 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 21169 8742 2368 1147 0 8596 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 88868 KiB
Current children cumulated memory: 37912 KiB
[startup+3.10561 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 51021
/proc/meminfo: memFree=129917416/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=96068 memory=45332 CPUtime=3.02 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 8232 0 0 0 295 7 0 0 20 0 1 0 50860361 98373632 11333 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 24017 11333 2368 1147 0 11444 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 100260 KiB
Current children cumulated memory: 48276 KiB
[startup+6.30015 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 51021
/proc/meminfo: memFree=129833600/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=107024 memory=54444 CPUtime=6.2 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 9973 0 0 0 610 10 0 0 20 0 1 0 50860361 109592576 13611 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 26756 13611 2368 1147 0 14183 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 111216 KiB
Current children cumulated memory: 57388 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.10 4.09 6/269 51021
/proc/meminfo: memFree=129753324/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=124820 memory=68980 CPUtime=12.58 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 13117 0 0 0 1241 17 0 0 20 0 1 0 50860361 127815680 17245 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 31205 17245 2368 1147 0 18632 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 129012 KiB
Current children cumulated memory: 71924 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 6/270 51022
/proc/meminfo: memFree=129449552/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=146488 memory=80884 CPUtime=25.35 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 16090 0 0 0 2507 28 0 0 20 0 1 0 50860361 150003712 20221 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 36622 20221 2368 1147 0 24049 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 150680 KiB
Current children cumulated memory: 83828 KiB
[startup+51.1058 s]
/proc/loadavg: 4.07 4.08 4.09 6/270 51022
/proc/meminfo: memFree=129391248/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=160228 memory=97256 CPUtime=50.89 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 19158 0 0 0 5042 47 0 0 20 0 1 0 50860361 164073472 24314 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 40057 24314 2368 1147 0 27484 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 164420 KiB
Current children cumulated memory: 100200 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/270 51024
/proc/meminfo: memFree=129203412/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=242908 memory=157684 CPUtime=101.95 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 33388 0 0 0 10114 81 0 0 20 0 1 0 50860361 248737792 39421 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 60727 39421 2368 1147 0 48154 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 247100 KiB
Current children cumulated memory: 160628 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/269 51028
/proc/meminfo: memFree=129107288/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=272020 memory=182372 CPUtime=161.79 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 40075 0 0 0 16065 114 0 0 20 0 1 0 50860361 278548480 45593 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 68005 45593 2368 1147 0 55432 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 276212 KiB
Current children cumulated memory: 185316 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/270 51031
/proc/meminfo: memFree=128982432/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=290072 memory=204200 CPUtime=221.63 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 44200 0 0 0 22027 136 0 0 20 0 1 0 50860361 297033728 51050 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 72518 51050 2368 1147 0 59945 0
################
# More data... #
################
/proc/51014/statm: 124121 95064 2368 1147 0 111548 0
Current children cumulated CPU time: 3034.36 s
Current children cumulated vsize: 500676 KiB
Current children cumulated memory: 383200 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/268 51186
/proc/meminfo: memFree=127703176/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=498608 memory=383624 CPUtime=3094.21 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 83224 0 0 0 308733 688 0 0 20 0 1 0 50860361 510574592 95906 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 124652 95906 2368 1147 0 112079 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 502800 KiB
Current children cumulated memory: 386568 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/269 51191
/proc/meminfo: memFree=127690652/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=500108 memory=384476 CPUtime=3154.06 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 83821 0 0 0 314712 694 0 0 20 0 1 0 50860361 512110592 96119 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 125027 96119 2368 1147 0 112454 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 504300 KiB
Current children cumulated memory: 387420 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 51197
/proc/meminfo: memFree=127709620/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=500768 memory=384568 CPUtime=3213.91 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 84014 0 0 0 320687 704 0 0 20 0 1 0 50860361 512786432 96142 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 125192 96142 2368 1147 0 112619 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 504960 KiB
Current children cumulated memory: 387512 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.09 4.09 6/269 51199
/proc/meminfo: memFree=127696312/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=501688 memory=387332 CPUtime=3273.76 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 84438 0 0 0 326662 714 0 0 20 0 1 0 50860361 513728512 96833 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 125422 96833 2368 1147 0 112849 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 505880 KiB
Current children cumulated memory: 390276 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/270 51206
/proc/meminfo: memFree=127701428/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=501688 memory=387460 CPUtime=3333.6 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 84449 0 0 0 332640 720 0 0 20 0 1 0 50860361 513728512 96865 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 125422 96865 2368 1147 0 112849 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 505880 KiB
Current children cumulated memory: 390404 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.07 4.08 6/270 51208
/proc/meminfo: memFree=127698000/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=502916 memory=387896 CPUtime=3393.45 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 84879 0 0 0 338617 728 0 0 20 0 1 0 50860361 514985984 96974 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 125729 96974 2368 1147 0 113156 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 507108 KiB
Current children cumulated memory: 390840 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/269 51210
/proc/meminfo: memFree=127695856/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=505180 memory=388948 CPUtime=3453.29 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 85533 0 0 0 344594 735 0 0 20 0 1 0 50860361 517304320 97237 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 126295 97237 2368 1147 0 113722 0
Current children cumulated CPU time: 3453.29 s
Current children cumulated vsize: 509372 KiB
Current children cumulated memory: 391892 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/268 51212
/proc/meminfo: memFree=127696512/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=505008 memory=388904 CPUtime=3513.14 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 85541 0 0 0 350571 743 0 0 20 0 1 0 50860361 517128192 97226 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 126252 97226 2368 1147 0 113679 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 509200 KiB
Current children cumulated memory: 391848 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/267 51214
/proc/meminfo: memFree=127693896/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=506020 memory=391792 CPUtime=3572.99 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 85835 0 0 0 356548 751 0 0 20 0 1 0 50860361 518164480 97948 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 126505 97948 2368 1147 0 113932 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 510212 KiB
Current children cumulated memory: 394736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.04 4.07 4.08 6/267 51215
/proc/meminfo: memFree=127694540/131249996 swapFree=33006296/33010684
[pid=51007] ppid=50998 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51007/stat : 51007 (run-opt.sh) S 50998 51007 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 50860360 4292608 736 18446744073709551615 94044409389056 94044410283589 140730248532976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94044410522640 94044410570384 94044418510848 140730248538477 140730248538600 140730248538600 140730248544202 0
/proc/51007/statm: 1048 736 672 219 0 110 0
[pid=51014] ppid=51007 vsize=506020 memory=391792 CPUtime=3600.02 cores=4,6
/proc/51014/stat : 51014 (roundingsat) R 51007 51007 50566 0 -1 4194304 85835 0 0 0 359248 754 0 0 20 0 1 0 50860361 518164480 97948 18446744073709551615 4227072 8923433 140732310492208 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20516864 140732310497698 140732310497832 140732310497832 140732310503402 0
/proc/51014/statm: 126505 97948 2368 1147 0 113932 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 510212 KiB
Current children cumulated memory: 394736 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.41 s]
# the end of solver process 51007 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002242 s
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 51014 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3592.49 s, system=7.55576 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
Child status: 2
Real time (s): 3609.41
CPU time (s): 3600.05
CPU user time (s): 3592.49
CPU system time (s): 7.55576
CPU usage (%): 99.7405
Max. virtual memory (cumulated for all children) (KiB): 510212
Max. memory (cumulated for all children) (KiB): 394736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.49
system time used= 7.55576
maximum resident set size= 392176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86067
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 375
involuntary context switches= 4386
# summary of solver processes directly reported to runsolver:
# pid: 51007,51014
# total CPU time (s): 3600.05
# total CPU user time (s): 3592.49
# total CPU system time (s): 7.55576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35111 second user time and 15.7377 second system time
The end
Begin job on nodeC015 at 2025-07-01 08:37:09
IDJOB=4489000
IDBENCH=147536
IDSOLVER=3350
FILE ID=nodeC015/4489000-1751351829
RUNJOBID= nodeC015-1751348216-50577
SLURM_JOB_ID= 9598120
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489000-1751351829/watcher-4489000-1751351829 -o /tmp/evaluation-result-4489000-1751351829/solver-4489000-1751351829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50577 --watchdog 3760 run-opt.sh HOME/instance-4489000-1751351829.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 86551de4ee1411a66be87614daaae1c0
RANDOM SEED=444160848
nodeC015 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 : 3598.522
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.810
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.14
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 : 3600.077
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.074
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.14
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 : 3600.313
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.275
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.14
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 : 3600.075
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.14
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.072
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130132368 kB
MemAvailable: 129778112 kB
Buffers: 1508 kB
Cached: 407104 kB
SwapCached: 3876 kB
Active: 315908 kB
Inactive: 173028 kB
Active(anon): 45388 kB
Inactive(anon): 49080 kB
Active(file): 270520 kB
Inactive(file): 123948 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28956 kB
Writeback: 28 kB
AnonPages: 79520 kB
Mapped: 99020 kB
Shmem: 14144 kB
KReclaimable: 132372 kB
Slab: 222452 kB
SReclaimable: 132372 kB
SUnreclaim: 90080 kB
KernelStack: 4176 kB
PageTables: 2892 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 340544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC015 at 2025-07-01 09:37:18