0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c #variables 401 #constraints 558
0.00/0.00 c rational objective 200.5
0.09/0.15 c #Conflicts: 1000 | #Constraints: 1577
0.09/0.15 c #Conflicts: 2000 | #Constraints: 2586
0.09/0.15 c INPROCESSING
0.09/0.15 c GARBAGE COLLECT
0.09/0.15 c rational objective 200.5
0.28/0.33 c #Conflicts: 3000 | #Constraints: 2608
0.28/0.33 c #Conflicts: 4000 | #Constraints: 3612
0.28/0.33 c INPROCESSING
0.28/0.33 c GARBAGE COLLECT
0.28/0.33 c rational objective 200.5
0.48/0.54 c #Conflicts: 5000 | #Constraints: 3015
0.48/0.54 c #Conflicts: 6000 | #Constraints: 4019
0.48/0.54 c INPROCESSING
0.48/0.54 c GARBAGE COLLECT
0.48/0.54 c rational objective 200.5
0.67/0.77 c #Conflicts: 7000 | #Constraints: 3019
0.67/0.77 c #Conflicts: 8000 | #Constraints: 4021
0.67/0.77 c #Conflicts: 9000 | #Constraints: 5023
0.67/0.77 c INPROCESSING
0.67/0.77 c GARBAGE COLLECT
0.67/0.77 c rational objective 200.5
0.96/1.04 c #Conflicts: 10000 | #Constraints: 3725
0.96/1.04 c #Conflicts: 11000 | #Constraints: 4726
0.96/1.04 c #Conflicts: 12000 | #Constraints: 5728
0.96/1.04 c INPROCESSING
0.96/1.04 c GARBAGE COLLECT
0.96/1.04 c rational objective 200.5
1.26/1.33 c #Conflicts: 13000 | #Constraints: 4173
1.26/1.33 c #Conflicts: 14000 | #Constraints: 5174
1.26/1.33 c #Conflicts: 15000 | #Constraints: 6175
1.26/1.33 c INPROCESSING
1.26/1.33 c GARBAGE COLLECT
1.26/1.33 c rational objective 200.5
1.56/1.66 c #Conflicts: 16000 | #Constraints: 4405
1.56/1.66 c #Conflicts: 17000 | #Constraints: 5407
1.56/1.66 c #Conflicts: 18000 | #Constraints: 6408
1.56/1.66 c INPROCESSING
1.56/1.66 c GARBAGE COLLECT
1.56/1.66 c rational objective 200.5
1.86/1.95 c #Conflicts: 19000 | #Constraints: 4427
1.86/1.95 c #Conflicts: 20000 | #Constraints: 5429
1.86/1.95 c #Conflicts: 21000 | #Constraints: 6431
1.86/1.95 c INPROCESSING
1.86/1.95 c GARBAGE COLLECT
1.86/1.95 c rational objective 200.5
2.16/2.26 c #Conflicts: 22000 | #Constraints: 4235
2.16/2.26 c #Conflicts: 23000 | #Constraints: 5240
2.16/2.26 c #Conflicts: 24000 | #Constraints: 6243
2.16/2.26 c #Conflicts: 25000 | #Constraints: 7243
2.16/2.26 c INPROCESSING
2.16/2.26 c GARBAGE COLLECT
2.16/2.26 c rational objective 200.5
2.56/2.63 c #Conflicts: 26000 | #Constraints: 4843
2.56/2.63 c #Conflicts: 27000 | #Constraints: 5845
2.56/2.63 c #Conflicts: 28000 | #Constraints: 6846
2.56/2.63 c #Conflicts: 29000 | #Constraints: 7848
2.56/2.63 c INPROCESSING
2.56/2.63 c GARBAGE COLLECT
2.56/2.63 c rational objective 200.5
2.86/2.95 c #Conflicts: 30000 | #Constraints: 5240
2.86/2.95 c #Conflicts: 31000 | #Constraints: 6242
2.86/2.95 c #Conflicts: 32000 | #Constraints: 7246
2.86/2.95 c #Conflicts: 33000 | #Constraints: 8248
2.86/2.95 c INPROCESSING
2.86/2.95 c GARBAGE COLLECT
2.86/2.95 c rational objective 200.5
3.26/3.36 c #Conflicts: 34000 | #Constraints: 5439
3.26/3.36 c #Conflicts: 35000 | #Constraints: 6442
3.26/3.36 c #Conflicts: 36000 | #Constraints: 7442
3.26/3.36 c #Conflicts: 37000 | #Constraints: 8442
3.26/3.36 c INPROCESSING
3.26/3.36 c GARBAGE COLLECT
3.26/3.36 c rational objective 200.5
3.76/3.81 c #Conflicts: 38000 | #Constraints: 5444
3.76/3.81 c #Conflicts: 39000 | #Constraints: 6447
3.76/3.81 c #Conflicts: 40000 | #Constraints: 7447
3.76/3.81 c #Conflicts: 41000 | #Constraints: 8447
3.76/3.81 c INPROCESSING
3.76/3.81 c GARBAGE COLLECT
3.76/3.81 c rational objective 200.5
4.25/4.31 c #Conflicts: 42000 | #Constraints: 5358
4.25/4.31 c #Conflicts: 43000 | #Constraints: 6359
4.25/4.31 c #Conflicts: 44000 | #Constraints: 7389
4.25/4.31 c #Conflicts: 45000 | #Constraints: 8826
4.25/4.31 c #Conflicts: 46000 | #Constraints: 10517
4.25/4.31 c INPROCESSING
4.25/4.31 c GARBAGE COLLECT
4.25/4.31 c rational objective 200.5
5.06/5.15 c #Conflicts: 47000 | #Constraints: 7081
5.06/5.15 c #Conflicts: 48000 | #Constraints: 8750
5.06/5.15 c #Conflicts: 49000 | #Constraints: 10455
5.06/5.15 c #Conflicts: 50000 | #Constraints: 12098
5.06/5.15 c #Conflicts: 51000 | #Constraints: 13780
5.06/5.15 c INPROCESSING
5.06/5.15 c GARBAGE COLLECT
5.06/5.15 c rational objective 200.5
6.15/6.23 c #Conflicts: 52000 | #Constraints: 8910
6.15/6.23 c #Conflicts: 53000 | #Constraints: 10583
6.15/6.23 c #Conflicts: 54000 | #Constraints: 12231
6.15/6.23 c #Conflicts: 55000 | #Constraints: 13902
6.15/6.23 c #Conflicts: 56000 | #Constraints: 15522
6.15/6.23 c INPROCESSING
6.15/6.23 c GARBAGE COLLECT
6.15/6.23 c rational objective 200.5
8.05/8.13 c #Conflicts: 57000 | #Constraints: 9708
8.05/8.13 c #Conflicts: 58000 | #Constraints: 11327
8.05/8.13 c #Conflicts: 59000 | #Constraints: 13021
8.05/8.13 c #Conflicts: 60000 | #Constraints: 14664
8.05/8.13 c #Conflicts: 61000 | #Constraints: 16279
8.05/8.13 c INPROCESSING
8.05/8.13 c GARBAGE COLLECT
8.05/8.13 c #Conflicts: 62000 | #Constraints: 9887
8.05/8.13 c #Conflicts: 63000 | #Constraints: 11434
8.05/8.13 c #Conflicts: 64000 | #Constraints: 13034
8.05/8.13 c #Conflicts: 65000 | #Constraints: 14710
8.05/8.13 c #Conflicts: 66000 | #Constraints: 16401
8.05/8.13 c INPROCESSING
8.05/8.13 c GARBAGE COLLECT
8.05/8.13 c rational objective 200.5
18.62/18.73 c #Conflicts: 67000 | #Constraints: 9726
18.62/18.73 c #Conflicts: 68000 | #Constraints: 11439
18.62/18.73 c #Conflicts: 69000 | #Constraints: 13063
18.62/18.73 c #Conflicts: 70000 | #Constraints: 14658
18.62/18.73 c #Conflicts: 71000 | #Constraints: 16220
18.62/18.73 c #Conflicts: 72000 | #Constraints: 17868
18.62/18.73 c INPROCESSING
18.62/18.73 c GARBAGE COLLECT
18.62/18.73 c #Conflicts: 73000 | #Constraints: 10202
18.62/18.73 c #Conflicts: 74000 | #Constraints: 11545
18.62/18.73 c #Conflicts: 75000 | #Constraints: 12864
18.62/18.73 c #Conflicts: 76000 | #Constraints: 14411
18.62/18.73 c #Conflicts: 77000 | #Constraints: 15591
18.62/18.73 c #Conflicts: 78000 | #Constraints: 17106
18.62/18.73 c INPROCESSING
18.62/18.73 c GARBAGE COLLECT
18.62/18.73 c #Conflicts: 79000 | #Constraints: 10459
18.62/18.73 c #Conflicts: 80000 | #Constraints: 12012
18.62/18.73 c #Conflicts: 81000 | #Constraints: 13574
18.62/18.73 c #Conflicts: 82000 | #Constraints: 15079
18.62/18.73 c #Conflicts: 83000 | #Constraints: 16213
18.62/18.73 c #Conflicts: 84000 | #Constraints: 17430
18.62/18.73 c INPROCESSING
18.62/18.73 c GARBAGE COLLECT
18.62/18.73 c #Conflicts: 85000 | #Constraints: 10084
18.62/18.73 c #Conflicts: 86000 | #Constraints: 11259
18.62/18.73 c #Conflicts: 87000 | #Constraints: 12804
18.62/18.73 c #Conflicts: 88000 | #Constraints: 14177
18.62/18.73 c #Conflicts: 89000 | #Constraints: 15244
18.62/18.73 c #Conflicts: 90000 | #Constraints: 16802
18.62/18.73 c INPROCESSING
18.62/18.73 c GARBAGE COLLECT
18.62/18.73 c #Conflicts: 91000 | #Constraints: 10186
18.62/18.73 c #Conflicts: 92000 | #Constraints: 11762
18.62/18.73 c #Conflicts: 93000 | #Constraints: 12821
18.62/18.73 c #Conflicts: 94000 | #Constraints: 14048
18.62/18.73 c #Conflicts: 95000 | #Constraints: 15274
18.62/18.73 c #Conflicts: 96000 | #Constraints: 16900
18.62/18.73 c INPROCESSING
18.62/18.73 c GARBAGE COLLECT
18.62/18.73 c #Conflicts: 97000 | #Constraints: 9766
18.62/18.73 c #Conflicts: 98000 | #Constraints: 11377
18.62/18.73 c #Conflicts: 99000 | #Constraints: 12977
18.62/18.73 c #Conflicts: 100000 | #Constraints: 14571
18.62/18.73 c #Conflicts: 101000 | #Constraints: 16137
18.62/18.73 c #Conflicts: 102000 | #Constraints: 17698
18.62/18.73 c #Conflicts: 103000 | #Constraints: 19274
18.62/18.73 c INPROCESSING
18.62/18.73 c GARBAGE COLLECT
18.62/18.73 c #Conflicts: 104000 | #Constraints: 11418
18.62/18.73 c #Conflicts: 105000 | #Constraints: 13043
18.62/18.73 c #Conflicts: 106000 | #Constraints: 14555
18.62/18.73 c #Conflicts: 107000 | #Constraints: 15682
18.62/18.73 c #Conflicts: 108000 | #Constraints: 16801
18.62/18.73 c #Conflicts: 109000 | #Constraints: 18092
18.62/18.73 c #Conflicts: 110000 | #Constraints: 19212
18.62/18.73 c INPROCESSING
18.62/18.73 c GARBAGE COLLECT
18.62/18.73 c #Conflicts: 111000 | #Constraints: 10944
18.62/18.73 c #Conflicts: 112000 | #Constraints: 12445
18.62/18.73 c #Conflicts: 113000 | #Constraints: 14024
18.62/18.73 c #Conflicts: 114000 | #Constraints: 15164
18.62/18.73 c #Conflicts: 115000 | #Constraints: 16165
18.62/18.73 c #Conflicts: 116000 | #Constraints: 17167
18.62/18.73 c #Conflicts: 117000 | #Constraints: 18708
18.62/18.73 c INPROCESSING
18.62/18.73 c GARBAGE COLLECT
18.62/18.73 c #Conflicts: 118000 | #Constraints: 11363
18.62/18.73 c #Conflicts: 119000 | #Constraints: 12930
18.62/18.73 c #Conflicts: 120000 | #Constraints: 14184
18.62/18.73 c #Conflicts: 121000 | #Constraints: 15386
18.62/18.73 c #Conflicts: 122000 | #Constraints: 16601
18.62/18.73 c #Conflicts: 123000 | #Constraints: 18040
18.62/18.73 c #Conflicts: 124000 | #Constraints: 19282
18.62/18.73 c INPROCESSING
18.62/18.73 c GARBAGE COLLECT
18.62/18.73 c #Conflicts: 125000 | #Constraints: 10856
18.62/18.73 c #Conflicts: 126000 | #Constraints: 12388
18.62/18.73 c #Conflicts: 127000 | #Constraints: 13513
18.62/18.73 c #Conflicts: 128000 | #Constraints: 15043
18.62/18.73 c #Conflicts: 129000 | #Constraints: 16571
18.62/18.73 c #Conflicts: 130000 | #Constraints: 18162
18.62/18.73 c #Conflicts: 131000 | #Constraints: 19803
18.62/18.73 c INPROCESSING
18.62/18.73 c GARBAGE COLLECT
18.62/18.73 c #Conflicts: 132000 | #Constraints: 11010
18.62/18.73 c #Conflicts: 133000 | #Constraints: 12401
18.62/18.73 c #Conflicts: 134000 | #Constraints: 13488
18.62/18.73 c #Conflicts: 135000 | #Constraints: 14616
18.62/18.73 c #Conflicts: 136000 | #Constraints: 16182
18.62/18.73 c #Conflicts: 137000 | #Constraints: 17818
18.62/18.73 c #Conflicts: 138000 | #Constraints: 19430
18.62/18.73 c #Conflicts: 139000 | #Constraints: 20580
29.70/29.87 c INPROCESSING
29.70/29.87 c GARBAGE COLLECT
29.70/29.87 c #Conflicts: 140000 | #Constraints: 12040
29.70/29.87 c #Conflicts: 141000 | #Constraints: 13675
29.70/29.87 c #Conflicts: 142000 | #Constraints: 15043
29.70/29.87 c #Conflicts: 143000 | #Constraints: 16441
29.70/29.87 c #Conflicts: 144000 | #Constraints: 17671
29.70/29.87 c #Conflicts: 145000 | #Constraints: 18828
29.70/29.87 c #Conflicts: 146000 | #Constraints: 20355
29.70/29.87 c #Conflicts: 147000 | #Constraints: 21917
29.70/29.87 c INPROCESSING
29.70/29.87 c GARBAGE COLLECT
29.70/29.87 c #Conflicts: 148000 | #Constraints: 12934
29.70/29.87 c #Conflicts: 149000 | #Constraints: 14212
29.70/29.87 c #Conflicts: 150000 | #Constraints: 15493
29.70/29.87 c #Conflicts: 151000 | #Constraints: 17096
29.70/29.87 c #Conflicts: 152000 | #Constraints: 18695
29.70/29.87 c #Conflicts: 153000 | #Constraints: 20141
29.70/29.87 c #Conflicts: 154000 | #Constraints: 21464
29.70/29.87 c #Conflicts: 155000 | #Constraints: 22573
29.70/29.87 c INPROCESSING
29.70/29.87 c GARBAGE COLLECT
29.70/29.87 c #Conflicts: 156000 | #Constraints: 12605
29.70/29.87 c #Conflicts: 157000 | #Constraints: 14189
29.70/29.87 c #Conflicts: 158000 | #Constraints: 15787
29.70/29.87 c #Conflicts: 159000 | #Constraints: 17387
29.70/29.87 c #Conflicts: 160000 | #Constraints: 18574
29.70/29.87 c #Conflicts: 161000 | #Constraints: 19741
29.70/29.87 c #Conflicts: 162000 | #Constraints: 21347
29.70/29.87 c #Conflicts: 163000 | #Constraints: 22888
29.70/29.87 c INPROCESSING
29.70/29.87 c GARBAGE COLLECT
29.70/29.87 c #Conflicts: 164000 | #Constraints: 12737
29.70/29.87 c #Conflicts: 165000 | #Constraints: 13813
29.70/29.87 c #Conflicts: 166000 | #Constraints: 15301
29.70/29.87 c #Conflicts: 167000 | #Constraints: 16870
29.70/29.87 c #Conflicts: 168000 | #Constraints: 18467
29.70/29.87 c #Conflicts: 169000 | #Constraints: 19874
29.70/29.87 c #Conflicts: 170000 | #Constraints: 21433
29.70/29.87 c #Conflicts: 171000 | #Constraints: 22810
29.70/29.87 c INPROCESSING
29.70/29.87 c GARBAGE COLLECT
29.70/29.87 c #Conflicts: 172000 | #Constraints: 12616
29.70/29.87 c #Conflicts: 173000 | #Constraints: 13922
29.70/29.87 c #Conflicts: 174000 | #Constraints: 15397
29.70/29.87 c #Conflicts: 175000 | #Constraints: 16947
29.70/29.87 c #Conflicts: 176000 | #Constraints: 18195
29.70/29.87 c #Conflicts: 177000 | #Constraints: 19482
29.70/29.87 c #Conflicts: 178000 | #Constraints: 20726
29.70/29.87 c #Conflicts: 179000 | #Constraints: 22243
29.70/29.87 c #Conflicts: 180000 | #Constraints: 23636
29.70/29.87 c INPROCESSING
29.70/29.87 c GARBAGE COLLECT
29.70/29.87 c #Conflicts: 181000 | #Constraints: 13393
29.70/29.87 c #Conflicts: 182000 | #Constraints: 14973
29.70/29.87 c #Conflicts: 183000 | #Constraints: 16526
29.70/29.87 c #Conflicts: 184000 | #Constraints: 17725
29.70/29.87 c #Conflicts: 185000 | #Constraints: 18846
29.70/29.87 c #Conflicts: 186000 | #Constraints: 19848
29.70/29.87 c #Conflicts: 187000 | #Constraints: 21367
29.70/29.87 c #Conflicts: 188000 | #Constraints: 22982
29.70/29.87 c #Conflicts: 189000 | #Constraints: 24489
29.70/29.87 c INPROCESSING
29.70/29.87 c GARBAGE COLLECT
29.70/29.87 c #Conflicts: 190000 | #Constraints: 14189
29.70/29.87 c #Conflicts: 191000 | #Constraints: 15844
29.70/29.87 c #Conflicts: 192000 | #Constraints: 17456
29.70/29.87 c #Conflicts: 193000 | #Constraints: 18862
29.70/29.87 c #Conflicts: 194000 | #Constraints: 19875
29.70/29.87 c #Conflicts: 195000 | #Constraints: 20876
29.70/29.87 c #Conflicts: 196000 | #Constraints: 21877
29.70/29.87 c #Conflicts: 197000 | #Constraints: 23049
29.70/29.87 c #Conflicts: 198000 | #Constraints: 24171
29.70/29.87 c INPROCESSING
29.70/29.87 c GARBAGE COLLECT
29.70/29.87 c #Conflicts: 199000 | #Constraints: 13977
29.70/29.87 c #Conflicts: 200000 | #Constraints: 15599
29.70/29.87 c #Conflicts: 201000 | #Constraints: 17185
29.70/29.87 c #Conflicts: 202000 | #Constraints: 18810
29.70/29.87 c #Conflicts: 203000 | #Constraints: 20457
29.70/29.87 c #Conflicts: 204000 | #Constraints: 22080
29.70/29.87 c #Conflicts: 205000 | #Constraints: 23669
29.70/29.87 c #Conflicts: 206000 | #Constraints: 25231
29.70/29.87 c #Conflicts: 207000 | #Constraints: 26737
29.70/29.87 c INPROCESSING
29.70/29.87 c GARBAGE COLLECT
29.70/29.87 c #Conflicts: 208000 | #Constraints: 15145
29.70/29.87 c #Conflicts: 209000 | #Constraints: 16735
29.70/29.87 c #Conflicts: 210000 | #Constraints: 18274
29.70/29.87 c #Conflicts: 211000 | #Constraints: 19841
29.70/29.87 c #Conflicts: 212000 | #Constraints: 21456
44.36/44.53 c #Conflicts: 213000 | #Constraints: 23033
44.36/44.53 c #Conflicts: 214000 | #Constraints: 24637
44.36/44.53 c #Conflicts: 215000 | #Constraints: 26186
44.36/44.53 c #Conflicts: 216000 | #Constraints: 27792
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 217000 | #Constraints: 15317
44.36/44.53 c #Conflicts: 218000 | #Constraints: 16847
44.36/44.53 c #Conflicts: 219000 | #Constraints: 18438
44.36/44.53 c #Conflicts: 220000 | #Constraints: 19963
44.36/44.53 c #Conflicts: 221000 | #Constraints: 21523
44.36/44.53 c #Conflicts: 222000 | #Constraints: 23090
44.36/44.53 c #Conflicts: 223000 | #Constraints: 24609
44.36/44.53 c #Conflicts: 224000 | #Constraints: 26110
44.36/44.53 c #Conflicts: 225000 | #Constraints: 27768
44.36/44.53 c #Conflicts: 226000 | #Constraints: 29273
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 227000 | #Constraints: 16346
44.36/44.53 c #Conflicts: 228000 | #Constraints: 17914
44.36/44.53 c #Conflicts: 229000 | #Constraints: 19481
44.36/44.53 c #Conflicts: 230000 | #Constraints: 21012
44.36/44.53 c #Conflicts: 231000 | #Constraints: 22623
44.36/44.53 c #Conflicts: 232000 | #Constraints: 24257
44.36/44.53 c #Conflicts: 233000 | #Constraints: 25846
44.36/44.53 c #Conflicts: 234000 | #Constraints: 27471
44.36/44.53 c #Conflicts: 235000 | #Constraints: 29064
44.36/44.53 c #Conflicts: 236000 | #Constraints: 30667
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 237000 | #Constraints: 17203
44.36/44.53 c #Conflicts: 238000 | #Constraints: 18805
44.36/44.53 c #Conflicts: 239000 | #Constraints: 20454
44.36/44.53 c #Conflicts: 240000 | #Constraints: 21983
44.36/44.53 c #Conflicts: 241000 | #Constraints: 23540
44.36/44.53 c #Conflicts: 242000 | #Constraints: 25106
44.36/44.53 c #Conflicts: 243000 | #Constraints: 26677
44.36/44.53 c #Conflicts: 244000 | #Constraints: 28281
44.36/44.53 c #Conflicts: 245000 | #Constraints: 29844
44.36/44.53 c #Conflicts: 246000 | #Constraints: 31540
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 247000 | #Constraints: 17428
44.36/44.53 c #Conflicts: 248000 | #Constraints: 18765
44.36/44.53 c #Conflicts: 249000 | #Constraints: 20430
44.36/44.53 c #Conflicts: 250000 | #Constraints: 22031
44.36/44.53 c #Conflicts: 251000 | #Constraints: 23382
44.36/44.53 c #Conflicts: 252000 | #Constraints: 24924
44.36/44.53 c #Conflicts: 253000 | #Constraints: 26493
44.36/44.53 c #Conflicts: 254000 | #Constraints: 28105
44.36/44.53 c #Conflicts: 255000 | #Constraints: 29663
44.36/44.53 c #Conflicts: 256000 | #Constraints: 31258
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 257000 | #Constraints: 17468
44.36/44.53 c #Conflicts: 258000 | #Constraints: 19090
44.36/44.53 c #Conflicts: 259000 | #Constraints: 20330
44.36/44.53 c #Conflicts: 260000 | #Constraints: 21917
44.36/44.53 c #Conflicts: 261000 | #Constraints: 23489
44.36/44.53 c #Conflicts: 262000 | #Constraints: 24545
44.36/44.53 c #Conflicts: 263000 | #Constraints: 25731
44.36/44.53 c #Conflicts: 264000 | #Constraints: 27245
44.36/44.53 c #Conflicts: 265000 | #Constraints: 28798
44.36/44.53 c #Conflicts: 266000 | #Constraints: 30321
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 267000 | #Constraints: 16562
44.36/44.53 c #Conflicts: 268000 | #Constraints: 18061
44.36/44.53 c #Conflicts: 269000 | #Constraints: 19580
44.36/44.53 c #Conflicts: 270000 | #Constraints: 21190
44.36/44.53 c #Conflicts: 271000 | #Constraints: 22827
44.36/44.53 c #Conflicts: 272000 | #Constraints: 24418
44.36/44.53 c #Conflicts: 273000 | #Constraints: 26018
44.36/44.53 c #Conflicts: 274000 | #Constraints: 27602
44.36/44.53 c #Conflicts: 275000 | #Constraints: 29184
44.36/44.53 c #Conflicts: 276000 | #Constraints: 30773
44.36/44.53 c #Conflicts: 277000 | #Constraints: 32389
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 278000 | #Constraints: 17947
44.36/44.53 c #Conflicts: 279000 | #Constraints: 19579
44.36/44.53 c #Conflicts: 280000 | #Constraints: 21183
44.36/44.53 c #Conflicts: 281000 | #Constraints: 22797
44.36/44.53 c #Conflicts: 282000 | #Constraints: 24349
44.36/44.53 c #Conflicts: 283000 | #Constraints: 26006
44.36/44.53 c #Conflicts: 284000 | #Constraints: 27592
44.36/44.53 c #Conflicts: 285000 | #Constraints: 29183
44.36/44.53 c #Conflicts: 286000 | #Constraints: 30575
56.84/57.00 c #Conflicts: 287000 | #Constraints: 32177
56.84/57.00 c #Conflicts: 288000 | #Constraints: 33746
56.84/57.00 c INPROCESSING
56.84/57.00 c GARBAGE COLLECT
56.84/57.00 c #Conflicts: 289000 | #Constraints: 18615
56.84/57.00 c #Conflicts: 290000 | #Constraints: 19616
56.84/57.00 c #Conflicts: 291000 | #Constraints: 20621
56.84/57.00 c #Conflicts: 292000 | #Constraints: 21622
56.84/57.00 c #Conflicts: 293000 | #Constraints: 23077
56.84/57.00 c #Conflicts: 294000 | #Constraints: 24636
56.84/57.00 c #Conflicts: 295000 | #Constraints: 26194
56.84/57.00 c #Conflicts: 296000 | #Constraints: 27768
56.84/57.00 c #Conflicts: 297000 | #Constraints: 29352
56.84/57.00 c #Conflicts: 298000 | #Constraints: 30971
56.84/57.00 c #Conflicts: 299000 | #Constraints: 32425
56.84/57.00 c INPROCESSING
56.84/57.00 c GARBAGE COLLECT
56.84/57.00 c #Conflicts: 300000 | #Constraints: 18131
56.84/57.00 c #Conflicts: 301000 | #Constraints: 19748
56.84/57.00 c #Conflicts: 302000 | #Constraints: 21288
56.84/57.00 c #Conflicts: 303000 | #Constraints: 22894
56.84/57.00 c #Conflicts: 304000 | #Constraints: 23979
56.84/57.00 c #Conflicts: 305000 | #Constraints: 25118
56.84/57.00 c #Conflicts: 306000 | #Constraints: 26220
56.84/57.00 c #Conflicts: 307000 | #Constraints: 27819
56.84/57.00 c #Conflicts: 308000 | #Constraints: 29415
56.84/57.00 c #Conflicts: 309000 | #Constraints: 30980
56.84/57.00 c #Conflicts: 310000 | #Constraints: 32514
56.84/57.00 c INPROCESSING
56.84/57.00 c GARBAGE COLLECT
56.84/57.00 c #Conflicts: 311000 | #Constraints: 18019
56.84/57.00 c #Conflicts: 312000 | #Constraints: 19614
56.84/57.00 c #Conflicts: 313000 | #Constraints: 21224
56.84/57.00 c #Conflicts: 314000 | #Constraints: 22797
56.84/57.00 c #Conflicts: 315000 | #Constraints: 24328
56.84/57.00 c #Conflicts: 316000 | #Constraints: 25875
56.84/57.00 c #Conflicts: 317000 | #Constraints: 27396
56.84/57.00 c #Conflicts: 318000 | #Constraints: 28916
56.84/57.00 c #Conflicts: 319000 | #Constraints: 30174
56.84/57.00 c #Conflicts: 320000 | #Constraints: 31567
56.84/57.00 c #Conflicts: 321000 | #Constraints: 33111
56.84/57.00 c INPROCESSING
56.84/57.00 c GARBAGE COLLECT
56.84/57.00 c #Conflicts: 322000 | #Constraints: 17884
56.84/57.00 c #Conflicts: 323000 | #Constraints: 18959
56.84/57.00 c #Conflicts: 324000 | #Constraints: 19964
56.84/57.00 c #Conflicts: 325000 | #Constraints: 21027
56.84/57.00 c #Conflicts: 326000 | #Constraints: 22231
56.84/57.00 c #Conflicts: 327000 | #Constraints: 23232
56.84/57.00 c #Conflicts: 328000 | #Constraints: 24472
56.84/57.00 c #Conflicts: 329000 | #Constraints: 26146
56.84/57.00 c #Conflicts: 330000 | #Constraints: 27757
56.84/57.00 c #Conflicts: 331000 | #Constraints: 29345
56.84/57.00 c #Conflicts: 332000 | #Constraints: 30913
56.84/57.00 c #Conflicts: 333000 | #Constraints: 32497
56.84/57.00 c INPROCESSING
56.84/57.00 c GARBAGE COLLECT
56.84/57.00 c #Conflicts: 334000 | #Constraints: 18023
56.84/57.00 c #Conflicts: 335000 | #Constraints: 19627
56.84/57.00 c #Conflicts: 336000 | #Constraints: 21186
56.84/57.00 c #Conflicts: 337000 | #Constraints: 22753
56.84/57.00 c #Conflicts: 338000 | #Constraints: 24274
56.84/57.00 c #Conflicts: 339000 | #Constraints: 25820
56.84/57.00 c #Conflicts: 340000 | #Constraints: 27391
56.84/57.00 c #Conflicts: 341000 | #Constraints: 28594
56.84/57.00 c #Conflicts: 342000 | #Constraints: 29595
56.84/57.00 c #Conflicts: 343000 | #Constraints: 30665
56.84/57.00 c #Conflicts: 344000 | #Constraints: 31954
56.84/57.00 c #Conflicts: 345000 | #Constraints: 33409
56.84/57.00 c INPROCESSING
56.84/57.00 c GARBAGE COLLECT
56.84/57.00 c #Conflicts: 346000 | #Constraints: 18479
56.84/57.00 c #Conflicts: 347000 | #Constraints: 19635
56.84/57.00 c #Conflicts: 348000 | #Constraints: 21097
56.84/57.00 c #Conflicts: 349000 | #Constraints: 22722
56.84/57.00 c #Conflicts: 350000 | #Constraints: 23794
56.84/57.00 c #Conflicts: 351000 | #Constraints: 25124
56.84/57.00 c #Conflicts: 352000 | #Constraints: 26745
56.84/57.00 c #Conflicts: 353000 | #Constraints: 27973
56.84/57.00 c #Conflicts: 354000 | #Constraints: 29279
56.84/57.00 c #Conflicts: 355000 | #Constraints: 30513
56.84/57.00 c #Conflicts: 356000 | #Constraints: 32112
56.84/57.00 c #Conflicts: 357000 | #Constraints: 33688
56.84/57.00 c INPROCESSING
56.84/57.00 c GARBAGE COLLECT
56.84/57.00 c #Conflicts: 358000 | #Constraints: 18629
56.84/57.00 c #Conflicts: 359000 | #Constraints: 20151
56.84/57.00 c #Conflicts: 360000 | #Constraints: 21689
56.84/57.00 c #Conflicts: 361000 | #Constraints: 23037
72.20/72.40 c #Conflicts: 362000 | #Constraints: 24204
72.20/72.40 c #Conflicts: 363000 | #Constraints: 25570
72.20/72.40 c #Conflicts: 364000 | #Constraints: 27134
72.20/72.40 c #Conflicts: 365000 | #Constraints: 28622
72.20/72.40 c #Conflicts: 366000 | #Constraints: 29687
72.20/72.40 c #Conflicts: 367000 | #Constraints: 31274
72.20/72.40 c #Conflicts: 368000 | #Constraints: 32691
72.20/72.40 c #Conflicts: 369000 | #Constraints: 34296
72.20/72.40 c INPROCESSING
72.20/72.40 c GARBAGE COLLECT
72.20/72.40 c #Conflicts: 370000 | #Constraints: 18852
72.20/72.40 c #Conflicts: 371000 | #Constraints: 20440
72.20/72.40 c #Conflicts: 372000 | #Constraints: 22046
72.20/72.40 c #Conflicts: 373000 | #Constraints: 23618
72.20/72.40 c #Conflicts: 374000 | #Constraints: 25252
72.20/72.40 c #Conflicts: 375000 | #Constraints: 26892
72.20/72.40 c #Conflicts: 376000 | #Constraints: 28509
72.20/72.40 c #Conflicts: 377000 | #Constraints: 30120
72.20/72.40 c #Conflicts: 378000 | #Constraints: 31715
72.20/72.40 c #Conflicts: 379000 | #Constraints: 33281
72.20/72.40 c #Conflicts: 380000 | #Constraints: 34865
72.20/72.40 c #Conflicts: 381000 | #Constraints: 36425
72.20/72.40 c INPROCESSING
72.20/72.40 c GARBAGE COLLECT
72.20/72.40 c #Conflicts: 382000 | #Constraints: 19656
72.20/72.40 c #Conflicts: 383000 | #Constraints: 21222
72.20/72.40 c #Conflicts: 384000 | #Constraints: 22777
72.20/72.40 c #Conflicts: 385000 | #Constraints: 24390
72.20/72.40 c #Conflicts: 386000 | #Constraints: 25994
72.20/72.40 c #Conflicts: 387000 | #Constraints: 27579
72.20/72.40 c #Conflicts: 388000 | #Constraints: 29174
72.20/72.40 c #Conflicts: 389000 | #Constraints: 30720
72.20/72.40 c #Conflicts: 390000 | #Constraints: 32352
72.20/72.40 c #Conflicts: 391000 | #Constraints: 33938
72.20/72.40 c #Conflicts: 392000 | #Constraints: 35552
72.20/72.40 c #Conflicts: 393000 | #Constraints: 37105
72.20/72.40 c #Conflicts: 394000 | #Constraints: 38627
72.20/72.40 c INPROCESSING
72.20/72.40 c GARBAGE COLLECT
72.20/72.40 c #Conflicts: 395000 | #Constraints: 20995
72.20/72.40 c #Conflicts: 396000 | #Constraints: 22500
72.20/72.40 c #Conflicts: 397000 | #Constraints: 23992
72.20/72.40 c #Conflicts: 398000 | #Constraints: 25593
72.20/72.40 c #Conflicts: 399000 | #Constraints: 27216
72.20/72.40 c #Conflicts: 400000 | #Constraints: 28824
72.20/72.40 c #Conflicts: 401000 | #Constraints: 30405
72.20/72.40 c #Conflicts: 402000 | #Constraints: 31963
72.20/72.40 c #Conflicts: 403000 | #Constraints: 33535
72.20/72.40 c #Conflicts: 404000 | #Constraints: 35103
72.20/72.40 c #Conflicts: 405000 | #Constraints: 36691
72.20/72.40 c #Conflicts: 406000 | #Constraints: 38301
72.20/72.40 c #Conflicts: 407000 | #Constraints: 39863
72.20/72.40 c INPROCESSING
72.20/72.40 c GARBAGE COLLECT
72.20/72.40 c #Conflicts: 408000 | #Constraints: 21825
72.20/72.40 c #Conflicts: 409000 | #Constraints: 23444
72.20/72.40 c #Conflicts: 410000 | #Constraints: 25059
72.20/72.40 c #Conflicts: 411000 | #Constraints: 26547
72.20/72.40 c #Conflicts: 412000 | #Constraints: 27839
72.20/72.40 c #Conflicts: 413000 | #Constraints: 29423
72.20/72.40 c #Conflicts: 414000 | #Constraints: 30945
72.20/72.40 c #Conflicts: 415000 | #Constraints: 32310
72.20/72.40 c #Conflicts: 416000 | #Constraints: 33858
72.20/72.40 c #Conflicts: 417000 | #Constraints: 35430
72.20/72.40 c #Conflicts: 418000 | #Constraints: 37064
72.20/72.40 c #Conflicts: 419000 | #Constraints: 38617
72.20/72.40 c #Conflicts: 420000 | #Constraints: 40207
72.20/72.40 c INPROCESSING
72.20/72.40 c GARBAGE COLLECT
72.20/72.40 c #Conflicts: 421000 | #Constraints: 22046
72.20/72.40 c #Conflicts: 422000 | #Constraints: 23536
72.20/72.40 c #Conflicts: 423000 | #Constraints: 25049
72.20/72.40 c #Conflicts: 424000 | #Constraints: 26614
72.20/72.40 c #Conflicts: 425000 | #Constraints: 28173
72.20/72.40 c #Conflicts: 426000 | #Constraints: 29725
72.20/72.40 c #Conflicts: 427000 | #Constraints: 31301
72.20/72.40 c #Conflicts: 428000 | #Constraints: 32900
72.20/72.40 c #Conflicts: 429000 | #Constraints: 34495
72.20/72.40 c #Conflicts: 430000 | #Constraints: 36027
72.20/72.40 c #Conflicts: 431000 | #Constraints: 37611
72.20/72.40 c #Conflicts: 432000 | #Constraints: 39188
72.20/72.40 c #Conflicts: 433000 | #Constraints: 40740
72.20/72.40 c INPROCESSING
72.20/72.40 c GARBAGE COLLECT
72.20/72.40 c #Conflicts: 434000 | #Constraints: 22077
72.20/72.40 c #Conflicts: 435000 | #Constraints: 23601
72.20/72.40 c #Conflicts: 436000 | #Constraints: 25189
87.36/87.63 c #Conflicts: 437000 | #Constraints: 26783
87.36/87.63 c #Conflicts: 438000 | #Constraints: 28394
87.36/87.63 c #Conflicts: 439000 | #Constraints: 30018
87.36/87.63 c #Conflicts: 440000 | #Constraints: 31599
87.36/87.63 c #Conflicts: 441000 | #Constraints: 33156
87.36/87.63 c #Conflicts: 442000 | #Constraints: 34733
87.36/87.63 c #Conflicts: 443000 | #Constraints: 36403
87.36/87.63 c #Conflicts: 444000 | #Constraints: 37965
87.36/87.63 c #Conflicts: 445000 | #Constraints: 39575
87.36/87.63 c #Conflicts: 446000 | #Constraints: 41173
87.36/87.63 c INPROCESSING
87.36/87.63 c GARBAGE COLLECT
87.36/87.63 c #Conflicts: 447000 | #Constraints: 22032
87.36/87.63 c #Conflicts: 448000 | #Constraints: 23685
87.36/87.63 c #Conflicts: 449000 | #Constraints: 25285
87.36/87.63 c #Conflicts: 450000 | #Constraints: 26794
87.36/87.63 c #Conflicts: 451000 | #Constraints: 28305
87.36/87.63 c #Conflicts: 452000 | #Constraints: 29920
87.36/87.63 c #Conflicts: 453000 | #Constraints: 31523
87.36/87.63 c #Conflicts: 454000 | #Constraints: 33064
87.36/87.63 c #Conflicts: 455000 | #Constraints: 34683
87.36/87.63 c #Conflicts: 456000 | #Constraints: 36257
87.36/87.63 c #Conflicts: 457000 | #Constraints: 37816
87.36/87.63 c #Conflicts: 458000 | #Constraints: 39362
87.36/87.63 c #Conflicts: 459000 | #Constraints: 40958
87.36/87.63 c #Conflicts: 460000 | #Constraints: 42545
87.36/87.63 c INPROCESSING
87.36/87.63 c GARBAGE COLLECT
87.36/87.63 c #Conflicts: 461000 | #Constraints: 23000
87.36/87.63 c #Conflicts: 462000 | #Constraints: 24626
87.36/87.63 c #Conflicts: 463000 | #Constraints: 26193
87.36/87.63 c #Conflicts: 464000 | #Constraints: 27807
87.36/87.63 c #Conflicts: 465000 | #Constraints: 29381
87.36/87.63 c #Conflicts: 466000 | #Constraints: 30919
87.36/87.63 c #Conflicts: 467000 | #Constraints: 32434
87.36/87.63 c #Conflicts: 468000 | #Constraints: 33934
87.36/87.63 c #Conflicts: 469000 | #Constraints: 35476
87.36/87.63 c #Conflicts: 470000 | #Constraints: 37035
87.36/87.63 c #Conflicts: 471000 | #Constraints: 38654
87.36/87.63 c #Conflicts: 472000 | #Constraints: 40248
87.36/87.63 c #Conflicts: 473000 | #Constraints: 41801
87.36/87.63 c #Conflicts: 474000 | #Constraints: 43390
87.36/87.63 c INPROCESSING
87.36/87.63 c GARBAGE COLLECT
87.36/87.63 c #Conflicts: 475000 | #Constraints: 23525
87.36/87.63 c #Conflicts: 476000 | #Constraints: 25062
87.36/87.63 c #Conflicts: 477000 | #Constraints: 26552
87.36/87.63 c #Conflicts: 478000 | #Constraints: 28076
87.36/87.63 c #Conflicts: 479000 | #Constraints: 29645
87.36/87.63 c #Conflicts: 480000 | #Constraints: 31198
87.36/87.63 c #Conflicts: 481000 | #Constraints: 32731
87.36/87.63 c #Conflicts: 482000 | #Constraints: 34313
87.36/87.63 c #Conflicts: 483000 | #Constraints: 35855
87.36/87.63 c #Conflicts: 484000 | #Constraints: 37439
87.36/87.63 c #Conflicts: 485000 | #Constraints: 39025
87.36/87.63 c #Conflicts: 486000 | #Constraints: 40660
87.36/87.63 c #Conflicts: 487000 | #Constraints: 42263
87.36/87.63 c #Conflicts: 488000 | #Constraints: 43912
87.36/87.63 c INPROCESSING
87.36/87.63 c GARBAGE COLLECT
87.36/87.63 c #Conflicts: 489000 | #Constraints: 23806
87.36/87.63 c #Conflicts: 490000 | #Constraints: 25296
87.36/87.63 c #Conflicts: 491000 | #Constraints: 26797
87.36/87.63 c #Conflicts: 492000 | #Constraints: 28347
87.36/87.63 c #Conflicts: 493000 | #Constraints: 29841
87.36/87.63 c #Conflicts: 494000 | #Constraints: 31334
87.36/87.63 c #Conflicts: 495000 | #Constraints: 32891
87.36/87.63 c #Conflicts: 496000 | #Constraints: 34467
87.36/87.63 c #Conflicts: 497000 | #Constraints: 35980
87.36/87.63 c #Conflicts: 498000 | #Constraints: 37520
87.36/87.63 c #Conflicts: 499000 | #Constraints: 39075
87.36/87.63 c #Conflicts: 500000 | #Constraints: 40680
87.36/87.63 c #Conflicts: 501000 | #Constraints: 42210
87.36/87.63 c #Conflicts: 502000 | #Constraints: 43210
87.36/87.63 c INPROCESSING
87.36/87.63 c GARBAGE COLLECT
87.36/87.63 c #Conflicts: 503000 | #Constraints: 23194
87.36/87.63 c #Conflicts: 504000 | #Constraints: 24701
87.36/87.63 c #Conflicts: 505000 | #Constraints: 26200
87.36/87.63 c #Conflicts: 506000 | #Constraints: 27270
87.36/87.63 c #Conflicts: 507000 | #Constraints: 28491
87.36/87.63 c #Conflicts: 508000 | #Constraints: 29812
87.36/87.63 c #Conflicts: 509000 | #Constraints: 30852
87.36/87.63 c #Conflicts: 510000 | #Constraints: 31853
87.36/87.63 c #Conflicts: 511000 | #Constraints: 33032
99.93/100.22 c #Conflicts: 512000 | #Constraints: 34107
99.93/100.22 c #Conflicts: 513000 | #Constraints: 35229
99.93/100.22 c #Conflicts: 514000 | #Constraints: 36230
99.93/100.22 c #Conflicts: 515000 | #Constraints: 37278
99.93/100.22 c #Conflicts: 516000 | #Constraints: 38704
99.93/100.22 c INPROCESSING
99.93/100.22 c GARBAGE COLLECT
99.93/100.22 c #Conflicts: 517000 | #Constraints: 20523
99.93/100.22 c #Conflicts: 518000 | #Constraints: 22140
99.93/100.22 c #Conflicts: 519000 | #Constraints: 23685
99.93/100.22 c #Conflicts: 520000 | #Constraints: 25288
99.93/100.22 c #Conflicts: 521000 | #Constraints: 26887
99.93/100.22 c #Conflicts: 522000 | #Constraints: 28540
99.93/100.22 c #Conflicts: 523000 | #Constraints: 29908
99.93/100.22 c #Conflicts: 524000 | #Constraints: 30909
99.93/100.22 c #Conflicts: 525000 | #Constraints: 32175
99.93/100.22 c #Conflicts: 526000 | #Constraints: 33580
99.93/100.22 c #Conflicts: 527000 | #Constraints: 35163
99.93/100.22 c #Conflicts: 528000 | #Constraints: 36540
99.93/100.22 c #Conflicts: 529000 | #Constraints: 37541
99.93/100.22 c #Conflicts: 530000 | #Constraints: 38563
99.93/100.22 c #Conflicts: 531000 | #Constraints: 40179
99.93/100.22 c INPROCESSING
99.93/100.22 c GARBAGE COLLECT
99.93/100.22 c #Conflicts: 532000 | #Constraints: 21853
99.93/100.22 c #Conflicts: 533000 | #Constraints: 23070
99.93/100.22 c #Conflicts: 534000 | #Constraints: 24703
99.93/100.22 c #Conflicts: 535000 | #Constraints: 25858
99.93/100.22 c #Conflicts: 536000 | #Constraints: 26871
99.93/100.22 c #Conflicts: 537000 | #Constraints: 27886
99.93/100.22 c #Conflicts: 538000 | #Constraints: 28933
99.93/100.22 c #Conflicts: 539000 | #Constraints: 30267
99.93/100.22 c #Conflicts: 540000 | #Constraints: 31596
99.93/100.22 c #Conflicts: 541000 | #Constraints: 32606
99.93/100.22 c #Conflicts: 542000 | #Constraints: 33919
99.93/100.22 c #Conflicts: 543000 | #Constraints: 35512
99.93/100.22 c #Conflicts: 544000 | #Constraints: 37063
99.93/100.22 c #Conflicts: 545000 | #Constraints: 38509
99.93/100.22 c #Conflicts: 546000 | #Constraints: 40034
99.93/100.22 c INPROCESSING
99.93/100.22 c GARBAGE COLLECT
99.93/100.22 c #Conflicts: 547000 | #Constraints: 21836
99.93/100.22 c #Conflicts: 548000 | #Constraints: 23239
99.93/100.22 c #Conflicts: 549000 | #Constraints: 24830
99.93/100.22 c #Conflicts: 550000 | #Constraints: 26492
99.93/100.22 c #Conflicts: 551000 | #Constraints: 28076
99.93/100.22 c #Conflicts: 552000 | #Constraints: 29563
99.93/100.22 c #Conflicts: 553000 | #Constraints: 31074
99.93/100.22 c #Conflicts: 554000 | #Constraints: 32589
99.93/100.22 c #Conflicts: 555000 | #Constraints: 34095
99.93/100.22 c #Conflicts: 556000 | #Constraints: 35600
99.93/100.22 c #Conflicts: 557000 | #Constraints: 37102
99.93/100.22 c #Conflicts: 558000 | #Constraints: 38248
99.93/100.22 c #Conflicts: 559000 | #Constraints: 39641
99.93/100.22 c #Conflicts: 560000 | #Constraints: 41121
99.93/100.22 c #Conflicts: 561000 | #Constraints: 42635
99.93/100.22 c INPROCESSING
99.93/100.22 c GARBAGE COLLECT
99.93/100.22 c #Conflicts: 562000 | #Constraints: 23054
99.93/100.22 c #Conflicts: 563000 | #Constraints: 24486
99.93/100.22 c #Conflicts: 564000 | #Constraints: 26057
99.93/100.22 c #Conflicts: 565000 | #Constraints: 27371
99.93/100.22 c #Conflicts: 566000 | #Constraints: 28372
99.93/100.22 c #Conflicts: 567000 | #Constraints: 29375
99.93/100.22 c #Conflicts: 568000 | #Constraints: 30952
99.93/100.22 c #Conflicts: 569000 | #Constraints: 32527
99.93/100.22 c #Conflicts: 570000 | #Constraints: 33699
99.93/100.22 c #Conflicts: 571000 | #Constraints: 34700
99.93/100.22 c #Conflicts: 572000 | #Constraints: 35888
99.93/100.22 c #Conflicts: 573000 | #Constraints: 37378
99.93/100.22 c #Conflicts: 574000 | #Constraints: 38960
99.93/100.22 c #Conflicts: 575000 | #Constraints: 40596
99.93/100.22 c #Conflicts: 576000 | #Constraints: 42261
99.93/100.22 c INPROCESSING
99.93/100.22 c GARBAGE COLLECT
99.93/100.22 c #Conflicts: 577000 | #Constraints: 22845
99.93/100.22 c #Conflicts: 578000 | #Constraints: 24401
99.93/100.22 c #Conflicts: 579000 | #Constraints: 25941
99.93/100.22 c #Conflicts: 580000 | #Constraints: 27468
99.93/100.22 c #Conflicts: 581000 | #Constraints: 28774
99.93/100.22 c #Conflicts: 582000 | #Constraints: 30217
99.93/100.22 c #Conflicts: 583000 | #Constraints: 31217
99.93/100.22 c #Conflicts: 584000 | #Constraints: 32242
99.93/100.22 c #Conflicts: 585000 | #Constraints: 33402
99.93/100.22 c #Conflicts: 586000 | #Constraints: 34760
99.93/100.22 c #Conflicts: 587000 | #Constraints: 36263
113.70/114.09 c #Conflicts: 588000 | #Constraints: 37764
113.70/114.09 c #Conflicts: 589000 | #Constraints: 39101
113.70/114.09 c #Conflicts: 590000 | #Constraints: 40219
113.70/114.09 c #Conflicts: 591000 | #Constraints: 41333
113.70/114.09 c INPROCESSING
113.70/114.09 c GARBAGE COLLECT
113.70/114.09 c #Conflicts: 592000 | #Constraints: 22014
113.70/114.09 c #Conflicts: 593000 | #Constraints: 23592
113.70/114.09 c #Conflicts: 594000 | #Constraints: 25141
113.70/114.09 c #Conflicts: 595000 | #Constraints: 26692
113.70/114.09 c #Conflicts: 596000 | #Constraints: 28225
113.70/114.09 c #Conflicts: 597000 | #Constraints: 29725
113.70/114.09 c #Conflicts: 598000 | #Constraints: 31232
113.70/114.09 c #Conflicts: 599000 | #Constraints: 32736
113.70/114.09 c #Conflicts: 600000 | #Constraints: 34274
113.70/114.09 c #Conflicts: 601000 | #Constraints: 35808
113.70/114.09 c #Conflicts: 602000 | #Constraints: 37302
113.70/114.09 c #Conflicts: 603000 | #Constraints: 38920
113.70/114.09 c #Conflicts: 604000 | #Constraints: 40477
113.70/114.09 c #Conflicts: 605000 | #Constraints: 42050
113.70/114.09 c #Conflicts: 606000 | #Constraints: 43615
113.70/114.09 c #Conflicts: 607000 | #Constraints: 45180
113.70/114.09 c INPROCESSING
113.70/114.09 c GARBAGE COLLECT
113.70/114.09 c #Conflicts: 608000 | #Constraints: 24260
113.70/114.09 c #Conflicts: 609000 | #Constraints: 25766
113.70/114.09 c #Conflicts: 610000 | #Constraints: 27253
113.70/114.09 c #Conflicts: 611000 | #Constraints: 28743
113.70/114.09 c #Conflicts: 612000 | #Constraints: 30250
113.70/114.09 c #Conflicts: 613000 | #Constraints: 31747
113.70/114.09 c #Conflicts: 614000 | #Constraints: 33261
113.70/114.09 c #Conflicts: 615000 | #Constraints: 34763
113.70/114.09 c #Conflicts: 616000 | #Constraints: 36291
113.70/114.09 c #Conflicts: 617000 | #Constraints: 37875
113.70/114.09 c #Conflicts: 618000 | #Constraints: 38956
113.70/114.09 c #Conflicts: 619000 | #Constraints: 40102
113.70/114.09 c #Conflicts: 620000 | #Constraints: 41238
113.70/114.09 c #Conflicts: 621000 | #Constraints: 42251
113.70/114.09 c #Conflicts: 622000 | #Constraints: 43627
113.70/114.09 c #Conflicts: 623000 | #Constraints: 45273
113.70/114.09 c INPROCESSING
113.70/114.09 c GARBAGE COLLECT
113.70/114.09 c #Conflicts: 624000 | #Constraints: 24514
113.70/114.09 c #Conflicts: 625000 | #Constraints: 25554
113.70/114.09 c #Conflicts: 626000 | #Constraints: 26790
113.70/114.09 c #Conflicts: 627000 | #Constraints: 27975
113.70/114.09 c #Conflicts: 628000 | #Constraints: 29218
113.70/114.09 c #Conflicts: 629000 | #Constraints: 30559
113.70/114.09 c #Conflicts: 630000 | #Constraints: 31834
113.70/114.09 c #Conflicts: 631000 | #Constraints: 33234
113.70/114.09 c #Conflicts: 632000 | #Constraints: 34849
113.70/114.09 c #Conflicts: 633000 | #Constraints: 36472
113.70/114.09 c #Conflicts: 634000 | #Constraints: 38020
113.70/114.09 c #Conflicts: 635000 | #Constraints: 39614
113.70/114.09 c #Conflicts: 636000 | #Constraints: 41191
113.70/114.09 c #Conflicts: 637000 | #Constraints: 42750
113.70/114.09 c #Conflicts: 638000 | #Constraints: 44315
113.70/114.09 c #Conflicts: 639000 | #Constraints: 45916
113.70/114.09 c INPROCESSING
113.70/114.09 c GARBAGE COLLECT
113.70/114.09 c #Conflicts: 640000 | #Constraints: 24863
113.70/114.09 c #Conflicts: 641000 | #Constraints: 26395
113.70/114.09 c #Conflicts: 642000 | #Constraints: 27755
113.70/114.09 c #Conflicts: 643000 | #Constraints: 29232
113.70/114.09 c #Conflicts: 644000 | #Constraints: 30812
113.70/114.09 c #Conflicts: 645000 | #Constraints: 32048
113.70/114.09 c #Conflicts: 646000 | #Constraints: 33412
113.70/114.09 c #Conflicts: 647000 | #Constraints: 34475
113.70/114.09 c #Conflicts: 648000 | #Constraints: 35610
113.70/114.09 c #Conflicts: 649000 | #Constraints: 36827
113.70/114.09 c #Conflicts: 650000 | #Constraints: 38502
113.70/114.09 c #Conflicts: 651000 | #Constraints: 40049
113.70/114.09 c #Conflicts: 652000 | #Constraints: 41564
113.70/114.09 c #Conflicts: 653000 | #Constraints: 43102
113.70/114.09 c #Conflicts: 654000 | #Constraints: 44711
113.70/114.09 c #Conflicts: 655000 | #Constraints: 46315
113.70/114.09 c INPROCESSING
113.70/114.09 c GARBAGE COLLECT
113.70/114.09 c #Conflicts: 656000 | #Constraints: 24850
113.70/114.09 c #Conflicts: 657000 | #Constraints: 26149
113.70/114.09 c #Conflicts: 658000 | #Constraints: 27171
113.70/114.09 c #Conflicts: 659000 | #Constraints: 28180
113.70/114.09 c #Conflicts: 660000 | #Constraints: 29180
113.70/114.09 c #Conflicts: 661000 | #Constraints: 30332
113.70/114.09 c #Conflicts: 662000 | #Constraints: 31375
127.47/127.81 c #Conflicts: 663000 | #Constraints: 32478
127.47/127.81 c #Conflicts: 664000 | #Constraints: 33499
127.47/127.81 c #Conflicts: 665000 | #Constraints: 34576
127.47/127.81 c #Conflicts: 666000 | #Constraints: 36087
127.47/127.81 c #Conflicts: 667000 | #Constraints: 37254
127.47/127.81 c #Conflicts: 668000 | #Constraints: 38290
127.47/127.81 c #Conflicts: 669000 | #Constraints: 39392
127.47/127.81 c #Conflicts: 670000 | #Constraints: 40470
127.47/127.81 c #Conflicts: 671000 | #Constraints: 42017
127.47/127.81 c INPROCESSING
127.47/127.81 c GARBAGE COLLECT
127.47/127.81 c #Conflicts: 672000 | #Constraints: 22199
127.47/127.81 c #Conflicts: 673000 | #Constraints: 23259
127.47/127.81 c #Conflicts: 674000 | #Constraints: 24480
127.47/127.81 c #Conflicts: 675000 | #Constraints: 26045
127.47/127.81 c #Conflicts: 676000 | #Constraints: 27573
127.47/127.81 c #Conflicts: 677000 | #Constraints: 29138
127.47/127.81 c #Conflicts: 678000 | #Constraints: 30741
127.47/127.81 c #Conflicts: 679000 | #Constraints: 32372
127.47/127.81 c #Conflicts: 680000 | #Constraints: 33946
127.47/127.81 c #Conflicts: 681000 | #Constraints: 35517
127.47/127.81 c #Conflicts: 682000 | #Constraints: 37101
127.47/127.81 c #Conflicts: 683000 | #Constraints: 38674
127.47/127.81 c #Conflicts: 684000 | #Constraints: 40220
127.47/127.81 c #Conflicts: 685000 | #Constraints: 41529
127.47/127.81 c #Conflicts: 686000 | #Constraints: 42886
127.47/127.81 c #Conflicts: 687000 | #Constraints: 44401
127.47/127.81 c #Conflicts: 688000 | #Constraints: 45675
127.47/127.81 c INPROCESSING
127.47/127.81 c GARBAGE COLLECT
127.47/127.81 c #Conflicts: 689000 | #Constraints: 24263
127.47/127.81 c #Conflicts: 690000 | #Constraints: 25306
127.47/127.81 c #Conflicts: 691000 | #Constraints: 26715
127.47/127.81 c #Conflicts: 692000 | #Constraints: 28300
127.47/127.81 c #Conflicts: 693000 | #Constraints: 29347
127.47/127.81 c #Conflicts: 694000 | #Constraints: 30575
127.47/127.81 c #Conflicts: 695000 | #Constraints: 32163
127.47/127.81 c #Conflicts: 696000 | #Constraints: 33776
127.47/127.81 c #Conflicts: 697000 | #Constraints: 35383
127.47/127.81 c #Conflicts: 698000 | #Constraints: 36977
127.47/127.81 c #Conflicts: 699000 | #Constraints: 38485
127.47/127.81 c #Conflicts: 700000 | #Constraints: 39996
127.47/127.81 c #Conflicts: 701000 | #Constraints: 41495
127.47/127.81 c #Conflicts: 702000 | #Constraints: 42987
127.47/127.81 c #Conflicts: 703000 | #Constraints: 44496
127.47/127.81 c #Conflicts: 704000 | #Constraints: 46001
127.47/127.81 c #Conflicts: 705000 | #Constraints: 47560
127.47/127.81 c INPROCESSING
127.47/127.81 c GARBAGE COLLECT
127.47/127.81 c #Conflicts: 706000 | #Constraints: 25638
127.47/127.81 c #Conflicts: 707000 | #Constraints: 27076
127.47/127.81 c #Conflicts: 708000 | #Constraints: 28097
127.47/127.81 c #Conflicts: 709000 | #Constraints: 29556
127.47/127.81 c #Conflicts: 710000 | #Constraints: 31066
127.47/127.81 c #Conflicts: 711000 | #Constraints: 32578
127.47/127.81 c #Conflicts: 712000 | #Constraints: 34128
127.47/127.81 c #Conflicts: 713000 | #Constraints: 35652
127.47/127.81 c #Conflicts: 714000 | #Constraints: 37000
127.47/127.81 c #Conflicts: 715000 | #Constraints: 38009
127.47/127.81 c #Conflicts: 716000 | #Constraints: 39351
127.47/127.81 c #Conflicts: 717000 | #Constraints: 40374
127.47/127.81 c #Conflicts: 718000 | #Constraints: 41447
127.47/127.81 c #Conflicts: 719000 | #Constraints: 42448
127.47/127.81 c #Conflicts: 720000 | #Constraints: 43644
127.47/127.81 c #Conflicts: 721000 | #Constraints: 45224
127.47/127.81 c #Conflicts: 722000 | #Constraints: 46472
127.47/127.81 c INPROCESSING
127.47/127.81 c GARBAGE COLLECT
127.47/127.81 c #Conflicts: 723000 | #Constraints: 24647
127.47/127.81 c #Conflicts: 724000 | #Constraints: 25663
127.47/127.81 c #Conflicts: 725000 | #Constraints: 27007
127.47/127.81 c #Conflicts: 726000 | #Constraints: 28515
127.47/127.81 c #Conflicts: 727000 | #Constraints: 30068
127.47/127.81 c #Conflicts: 728000 | #Constraints: 31658
127.47/127.81 c #Conflicts: 729000 | #Constraints: 33077
127.47/127.81 c #Conflicts: 730000 | #Constraints: 34584
127.47/127.81 c #Conflicts: 731000 | #Constraints: 36180
127.47/127.81 c #Conflicts: 732000 | #Constraints: 37710
127.47/127.81 c #Conflicts: 733000 | #Constraints: 39273
127.47/127.81 c #Conflicts: 734000 | #Constraints: 40773
127.47/127.81 c #Conflicts: 735000 | #Constraints: 42309
127.47/127.81 c #Conflicts: 736000 | #Constraints: 43812
127.47/127.81 c #Conflicts: 737000 | #Constraints: 45351
127.47/127.81 c #Conflicts: 738000 | #Constraints: 46900
127.47/127.81 c #Conflicts: 739000 | #Constraints: 48391
142.53/142.94 c INPROCESSING
142.53/142.94 c GARBAGE COLLECT
142.53/142.94 c #Conflicts: 740000 | #Constraints: 25958
142.53/142.94 c #Conflicts: 741000 | #Constraints: 27573
142.53/142.94 c #Conflicts: 742000 | #Constraints: 29204
142.53/142.94 c #Conflicts: 743000 | #Constraints: 30810
142.53/142.94 c #Conflicts: 744000 | #Constraints: 32360
142.53/142.94 c #Conflicts: 745000 | #Constraints: 33932
142.53/142.94 c #Conflicts: 746000 | #Constraints: 35470
142.53/142.94 c #Conflicts: 747000 | #Constraints: 37010
142.53/142.94 c #Conflicts: 748000 | #Constraints: 38570
142.53/142.94 c #Conflicts: 749000 | #Constraints: 40146
142.53/142.94 c #Conflicts: 750000 | #Constraints: 41713
142.53/142.94 c #Conflicts: 751000 | #Constraints: 43211
142.53/142.94 c #Conflicts: 752000 | #Constraints: 44737
142.53/142.94 c #Conflicts: 753000 | #Constraints: 45863
142.53/142.94 c #Conflicts: 754000 | #Constraints: 47494
142.53/142.94 c #Conflicts: 755000 | #Constraints: 49081
142.53/142.94 c #Conflicts: 756000 | #Constraints: 50620
142.53/142.94 c INPROCESSING
142.53/142.94 c GARBAGE COLLECT
142.53/142.94 c #Conflicts: 757000 | #Constraints: 26509
142.53/142.94 c #Conflicts: 758000 | #Constraints: 27703
142.53/142.94 c #Conflicts: 759000 | #Constraints: 28705
142.53/142.94 c #Conflicts: 760000 | #Constraints: 30010
142.53/142.94 c #Conflicts: 761000 | #Constraints: 31594
142.53/142.94 c #Conflicts: 762000 | #Constraints: 33152
142.53/142.94 c #Conflicts: 763000 | #Constraints: 34697
142.53/142.94 c #Conflicts: 764000 | #Constraints: 36348
142.53/142.94 c #Conflicts: 765000 | #Constraints: 37922
142.53/142.94 c #Conflicts: 766000 | #Constraints: 39485
142.53/142.94 c #Conflicts: 767000 | #Constraints: 41055
142.53/142.94 c #Conflicts: 768000 | #Constraints: 42433
142.53/142.94 c #Conflicts: 769000 | #Constraints: 43621
142.53/142.94 c #Conflicts: 770000 | #Constraints: 44762
142.53/142.94 c #Conflicts: 771000 | #Constraints: 45777
142.53/142.94 c #Conflicts: 772000 | #Constraints: 46890
142.53/142.94 c #Conflicts: 773000 | #Constraints: 47959
142.53/142.94 c #Conflicts: 774000 | #Constraints: 49505
142.53/142.94 c INPROCESSING
142.53/142.94 c GARBAGE COLLECT
142.53/142.94 c #Conflicts: 775000 | #Constraints: 26441
142.53/142.94 c #Conflicts: 776000 | #Constraints: 27537
142.53/142.94 c #Conflicts: 777000 | #Constraints: 28944
142.53/142.94 c #Conflicts: 778000 | #Constraints: 30510
142.53/142.94 c #Conflicts: 779000 | #Constraints: 32133
142.53/142.94 c #Conflicts: 780000 | #Constraints: 33482
142.53/142.94 c #Conflicts: 781000 | #Constraints: 34494
142.53/142.94 c #Conflicts: 782000 | #Constraints: 35494
142.53/142.94 c #Conflicts: 783000 | #Constraints: 36956
142.53/142.94 c #Conflicts: 784000 | #Constraints: 38553
142.53/142.94 c #Conflicts: 785000 | #Constraints: 40140
142.53/142.94 c #Conflicts: 786000 | #Constraints: 41653
142.53/142.94 c #Conflicts: 787000 | #Constraints: 43236
142.53/142.94 c #Conflicts: 788000 | #Constraints: 44816
142.53/142.94 c #Conflicts: 789000 | #Constraints: 46391
142.53/142.94 c #Conflicts: 790000 | #Constraints: 47985
142.53/142.94 c #Conflicts: 791000 | #Constraints: 49575
142.53/142.94 c #Conflicts: 792000 | #Constraints: 51167
142.53/142.94 c INPROCESSING
142.53/142.94 c GARBAGE COLLECT
142.53/142.94 c #Conflicts: 793000 | #Constraints: 27480
142.53/142.94 c #Conflicts: 794000 | #Constraints: 29031
142.53/142.94 c #Conflicts: 795000 | #Constraints: 30620
142.53/142.94 c #Conflicts: 796000 | #Constraints: 32269
142.53/142.94 c #Conflicts: 797000 | #Constraints: 33846
142.53/142.94 c #Conflicts: 798000 | #Constraints: 35392
142.53/142.94 c #Conflicts: 799000 | #Constraints: 36954
142.53/142.94 c #Conflicts: 800000 | #Constraints: 38492
142.53/142.94 c #Conflicts: 801000 | #Constraints: 40063
142.53/142.94 c #Conflicts: 802000 | #Constraints: 41650
142.53/142.94 c #Conflicts: 803000 | #Constraints: 43206
142.53/142.94 c #Conflicts: 804000 | #Constraints: 44218
142.53/142.94 c #Conflicts: 805000 | #Constraints: 45219
142.53/142.94 c #Conflicts: 806000 | #Constraints: 46366
142.53/142.94 c #Conflicts: 807000 | #Constraints: 47966
142.53/142.94 c #Conflicts: 808000 | #Constraints: 49561
142.53/142.94 c #Conflicts: 809000 | #Constraints: 50632
142.53/142.94 c #Conflicts: 810000 | #Constraints: 52129
142.53/142.94 c INPROCESSING
142.53/142.94 c GARBAGE COLLECT
142.53/142.94 c #Conflicts: 811000 | #Constraints: 27835
142.53/142.94 c #Conflicts: 812000 | #Constraints: 29217
142.53/142.94 c #Conflicts: 813000 | #Constraints: 30222
142.53/142.94 c #Conflicts: 814000 | #Constraints: 31502
155.79/156.22 c #Conflicts: 815000 | #Constraints: 32513
155.79/156.22 c #Conflicts: 816000 | #Constraints: 33513
155.79/156.22 c #Conflicts: 817000 | #Constraints: 34514
155.79/156.22 c #Conflicts: 818000 | #Constraints: 35816
155.79/156.22 c #Conflicts: 819000 | #Constraints: 37084
155.79/156.22 c #Conflicts: 820000 | #Constraints: 38547
155.79/156.22 c #Conflicts: 821000 | #Constraints: 40130
155.79/156.22 c #Conflicts: 822000 | #Constraints: 41364
155.79/156.22 c #Conflicts: 823000 | #Constraints: 42973
155.79/156.22 c #Conflicts: 824000 | #Constraints: 44508
155.79/156.22 c #Conflicts: 825000 | #Constraints: 46005
155.79/156.22 c #Conflicts: 826000 | #Constraints: 47500
155.79/156.22 c #Conflicts: 827000 | #Constraints: 49048
155.79/156.22 c #Conflicts: 828000 | #Constraints: 50650
155.79/156.22 c INPROCESSING
155.79/156.22 c GARBAGE COLLECT
155.79/156.22 c #Conflicts: 829000 | #Constraints: 26760
155.79/156.22 c #Conflicts: 830000 | #Constraints: 27955
155.79/156.22 c #Conflicts: 831000 | #Constraints: 29001
155.79/156.22 c #Conflicts: 832000 | #Constraints: 30022
155.79/156.22 c #Conflicts: 833000 | #Constraints: 31095
155.79/156.22 c #Conflicts: 834000 | #Constraints: 32307
155.79/156.22 c #Conflicts: 835000 | #Constraints: 33754
155.79/156.22 c #Conflicts: 836000 | #Constraints: 35336
155.79/156.22 c #Conflicts: 837000 | #Constraints: 36925
155.79/156.22 c #Conflicts: 838000 | #Constraints: 38523
155.79/156.22 c #Conflicts: 839000 | #Constraints: 40085
155.79/156.22 c #Conflicts: 840000 | #Constraints: 41648
155.79/156.22 c #Conflicts: 841000 | #Constraints: 43263
155.79/156.22 c #Conflicts: 842000 | #Constraints: 44856
155.79/156.22 c #Conflicts: 843000 | #Constraints: 46437
155.79/156.22 c #Conflicts: 844000 | #Constraints: 48041
155.79/156.22 c #Conflicts: 845000 | #Constraints: 49653
155.79/156.22 c #Conflicts: 846000 | #Constraints: 51262
155.79/156.22 c INPROCESSING
155.79/156.22 c GARBAGE COLLECT
155.79/156.22 c #Conflicts: 847000 | #Constraints: 27057
155.79/156.22 c #Conflicts: 848000 | #Constraints: 28574
155.79/156.22 c #Conflicts: 849000 | #Constraints: 30190
155.79/156.22 c #Conflicts: 850000 | #Constraints: 31774
155.79/156.22 c #Conflicts: 851000 | #Constraints: 33296
155.79/156.22 c #Conflicts: 852000 | #Constraints: 34809
155.79/156.22 c #Conflicts: 853000 | #Constraints: 36057
155.79/156.22 c #Conflicts: 854000 | #Constraints: 37655
155.79/156.22 c #Conflicts: 855000 | #Constraints: 39183
155.79/156.22 c #Conflicts: 856000 | #Constraints: 40747
155.79/156.22 c #Conflicts: 857000 | #Constraints: 41953
155.79/156.22 c #Conflicts: 858000 | #Constraints: 43320
155.79/156.22 c #Conflicts: 859000 | #Constraints: 44882
155.79/156.22 c #Conflicts: 860000 | #Constraints: 45958
155.79/156.22 c #Conflicts: 861000 | #Constraints: 46961
155.79/156.22 c #Conflicts: 862000 | #Constraints: 48460
155.79/156.22 c #Conflicts: 863000 | #Constraints: 49961
155.79/156.22 c #Conflicts: 864000 | #Constraints: 51318
155.79/156.22 c #Conflicts: 865000 | #Constraints: 52320
155.79/156.22 c INPROCESSING
155.79/156.22 c GARBAGE COLLECT
155.79/156.22 c #Conflicts: 866000 | #Constraints: 27635
155.79/156.22 c #Conflicts: 867000 | #Constraints: 29216
155.79/156.22 c #Conflicts: 868000 | #Constraints: 30807
155.79/156.22 c #Conflicts: 869000 | #Constraints: 32028
155.79/156.22 c #Conflicts: 870000 | #Constraints: 33142
155.79/156.22 c #Conflicts: 871000 | #Constraints: 34505
155.79/156.22 c #Conflicts: 872000 | #Constraints: 36061
155.79/156.22 c #Conflicts: 873000 | #Constraints: 37494
155.79/156.22 c #Conflicts: 874000 | #Constraints: 38904
155.79/156.22 c #Conflicts: 875000 | #Constraints: 40177
155.79/156.22 c #Conflicts: 876000 | #Constraints: 41231
155.79/156.22 c #Conflicts: 877000 | #Constraints: 42296
155.79/156.22 c #Conflicts: 878000 | #Constraints: 43583
155.79/156.22 c #Conflicts: 879000 | #Constraints: 44636
155.79/156.22 c #Conflicts: 880000 | #Constraints: 45637
155.79/156.22 c #Conflicts: 881000 | #Constraints: 46915
155.79/156.22 c #Conflicts: 882000 | #Constraints: 48348
155.79/156.22 c #Conflicts: 883000 | #Constraints: 49352
155.79/156.22 c #Conflicts: 884000 | #Constraints: 50414
155.79/156.22 c INPROCESSING
155.79/156.22 c GARBAGE COLLECT
155.79/156.22 c #Conflicts: 885000 | #Constraints: 26650
155.79/156.22 c #Conflicts: 886000 | #Constraints: 27869
155.79/156.22 c #Conflicts: 887000 | #Constraints: 28870
155.79/156.22 c #Conflicts: 888000 | #Constraints: 29873
155.79/156.22 c #Conflicts: 889000 | #Constraints: 31066
155.79/156.22 c #Conflicts: 890000 | #Constraints: 32555
168.46/168.99 c #Conflicts: 891000 | #Constraints: 34105
168.46/168.99 c #Conflicts: 892000 | #Constraints: 35679
168.46/168.99 c #Conflicts: 893000 | #Constraints: 37243
168.46/168.99 c #Conflicts: 894000 | #Constraints: 38395
168.46/168.99 c #Conflicts: 895000 | #Constraints: 39397
168.46/168.99 c #Conflicts: 896000 | #Constraints: 40621
168.46/168.99 c #Conflicts: 897000 | #Constraints: 41902
168.46/168.99 c #Conflicts: 898000 | #Constraints: 42977
168.46/168.99 c #Conflicts: 899000 | #Constraints: 43978
168.46/168.99 c #Conflicts: 900000 | #Constraints: 45276
168.46/168.99 c #Conflicts: 901000 | #Constraints: 46419
168.46/168.99 c #Conflicts: 902000 | #Constraints: 47674
168.46/168.99 c #Conflicts: 903000 | #Constraints: 48675
168.46/168.99 c INPROCESSING
168.46/168.99 c GARBAGE COLLECT
168.46/168.99 c #Conflicts: 904000 | #Constraints: 26222
168.46/168.99 c #Conflicts: 905000 | #Constraints: 27496
168.46/168.99 c #Conflicts: 906000 | #Constraints: 28497
168.46/168.99 c #Conflicts: 907000 | #Constraints: 29498
168.46/168.99 c #Conflicts: 908000 | #Constraints: 30499
168.46/168.99 c #Conflicts: 909000 | #Constraints: 31501
168.46/168.99 c #Conflicts: 910000 | #Constraints: 32597
168.46/168.99 c #Conflicts: 911000 | #Constraints: 33792
168.46/168.99 c #Conflicts: 912000 | #Constraints: 35020
168.46/168.99 c #Conflicts: 913000 | #Constraints: 36227
168.46/168.99 c #Conflicts: 914000 | #Constraints: 37333
168.46/168.99 c #Conflicts: 915000 | #Constraints: 38334
168.46/168.99 c #Conflicts: 916000 | #Constraints: 39582
168.46/168.99 c #Conflicts: 917000 | #Constraints: 40769
168.46/168.99 c #Conflicts: 918000 | #Constraints: 41770
168.46/168.99 c #Conflicts: 919000 | #Constraints: 43141
168.46/168.99 c #Conflicts: 920000 | #Constraints: 44490
168.46/168.99 c #Conflicts: 921000 | #Constraints: 45744
168.46/168.99 c #Conflicts: 922000 | #Constraints: 46934
168.46/168.99 c INPROCESSING
168.46/168.99 c GARBAGE COLLECT
168.46/168.99 c #Conflicts: 923000 | #Constraints: 25220
168.46/168.99 c #Conflicts: 924000 | #Constraints: 26755
168.46/168.99 c #Conflicts: 925000 | #Constraints: 27958
168.46/168.99 c #Conflicts: 926000 | #Constraints: 29383
168.46/168.99 c #Conflicts: 927000 | #Constraints: 31005
168.46/168.99 c #Conflicts: 928000 | #Constraints: 32579
168.46/168.99 c #Conflicts: 929000 | #Constraints: 34127
168.46/168.99 c #Conflicts: 930000 | #Constraints: 35614
168.46/168.99 c #Conflicts: 931000 | #Constraints: 37109
168.46/168.99 c #Conflicts: 932000 | #Constraints: 38492
168.46/168.99 c #Conflicts: 933000 | #Constraints: 39508
168.46/168.99 c #Conflicts: 934000 | #Constraints: 40508
168.46/168.99 c #Conflicts: 935000 | #Constraints: 41546
168.46/168.99 c #Conflicts: 936000 | #Constraints: 42580
168.46/168.99 c #Conflicts: 937000 | #Constraints: 43742
168.46/168.99 c #Conflicts: 938000 | #Constraints: 44989
168.46/168.99 c #Conflicts: 939000 | #Constraints: 46470
168.46/168.99 c #Conflicts: 940000 | #Constraints: 47494
168.46/168.99 c #Conflicts: 941000 | #Constraints: 48985
168.46/168.99 c INPROCESSING
168.46/168.99 c GARBAGE COLLECT
168.46/168.99 c #Conflicts: 942000 | #Constraints: 25869
168.46/168.99 c #Conflicts: 943000 | #Constraints: 27449
168.46/168.99 c #Conflicts: 944000 | #Constraints: 28846
168.46/168.99 c #Conflicts: 945000 | #Constraints: 29997
168.46/168.99 c #Conflicts: 946000 | #Constraints: 30998
168.46/168.99 c #Conflicts: 947000 | #Constraints: 32278
168.46/168.99 c #Conflicts: 948000 | #Constraints: 33710
168.46/168.99 c #Conflicts: 949000 | #Constraints: 35153
168.46/168.99 c #Conflicts: 950000 | #Constraints: 36767
168.46/168.99 c #Conflicts: 951000 | #Constraints: 38424
168.46/168.99 c #Conflicts: 952000 | #Constraints: 40033
168.46/168.99 c #Conflicts: 953000 | #Constraints: 41634
168.46/168.99 c #Conflicts: 954000 | #Constraints: 43164
168.46/168.99 c #Conflicts: 955000 | #Constraints: 44714
168.46/168.99 c #Conflicts: 956000 | #Constraints: 46319
168.46/168.99 c #Conflicts: 957000 | #Constraints: 47890
168.46/168.99 c #Conflicts: 958000 | #Constraints: 49423
168.46/168.99 c #Conflicts: 959000 | #Constraints: 50988
168.46/168.99 c #Conflicts: 960000 | #Constraints: 52579
168.46/168.99 c #Conflicts: 961000 | #Constraints: 54138
168.46/168.99 c INPROCESSING
168.46/168.99 c GARBAGE COLLECT
168.46/168.99 c #Conflicts: 962000 | #Constraints: 28762
168.46/168.99 c #Conflicts: 963000 | #Constraints: 30275
168.46/168.99 c #Conflicts: 964000 | #Constraints: 31780
168.46/168.99 c #Conflicts: 965000 | #Constraints: 33306
168.46/168.99 c #Conflicts: 966000 | #Constraints: 34827
168.46/168.99 c #Conflicts: 967000 | #Constraints: 36346
183.04/183.60 c #Conflicts: 968000 | #Constraints: 37858
183.04/183.60 c #Conflicts: 969000 | #Constraints: 39360
183.04/183.60 c #Conflicts: 970000 | #Constraints: 40551
183.04/183.60 c #Conflicts: 971000 | #Constraints: 41577
183.04/183.60 c #Conflicts: 972000 | #Constraints: 42712
183.04/183.60 c #Conflicts: 973000 | #Constraints: 43768
183.04/183.60 c #Conflicts: 974000 | #Constraints: 44769
183.04/183.60 c #Conflicts: 975000 | #Constraints: 45769
183.04/183.60 c #Conflicts: 976000 | #Constraints: 46903
183.04/183.60 c #Conflicts: 977000 | #Constraints: 47954
183.04/183.60 c #Conflicts: 978000 | #Constraints: 48990
183.04/183.60 c #Conflicts: 979000 | #Constraints: 50368
183.04/183.60 c #Conflicts: 980000 | #Constraints: 51528
183.04/183.60 c #Conflicts: 981000 | #Constraints: 52598
183.04/183.60 c INPROCESSING
183.04/183.60 c GARBAGE COLLECT
183.04/183.60 c #Conflicts: 982000 | #Constraints: 27731
183.04/183.60 c #Conflicts: 983000 | #Constraints: 28947
183.04/183.60 c #Conflicts: 984000 | #Constraints: 30058
183.04/183.60 c #Conflicts: 985000 | #Constraints: 31094
183.04/183.60 c #Conflicts: 986000 | #Constraints: 32094
183.04/183.60 c #Conflicts: 987000 | #Constraints: 33473
183.04/183.60 c #Conflicts: 988000 | #Constraints: 35099
183.04/183.60 c #Conflicts: 989000 | #Constraints: 36582
183.04/183.60 c #Conflicts: 990000 | #Constraints: 37583
183.04/183.60 c #Conflicts: 991000 | #Constraints: 38781
183.04/183.60 c #Conflicts: 992000 | #Constraints: 40347
183.04/183.60 c #Conflicts: 993000 | #Constraints: 41705
183.04/183.60 c #Conflicts: 994000 | #Constraints: 42706
183.04/183.60 c #Conflicts: 995000 | #Constraints: 43765
183.04/183.60 c #Conflicts: 996000 | #Constraints: 44821
183.04/183.60 c #Conflicts: 997000 | #Constraints: 46495
183.04/183.60 c #Conflicts: 998000 | #Constraints: 48117
183.04/183.60 c #Conflicts: 999000 | #Constraints: 49736
183.04/183.60 c #Conflicts: 1000000 | #Constraints: 51300
183.04/183.60 c #Conflicts: 1001000 | #Constraints: 52856
183.04/183.60 c INPROCESSING
183.04/183.60 c GARBAGE COLLECT
183.04/183.60 c #Conflicts: 1002000 | #Constraints: 28296
183.04/183.60 c #Conflicts: 1003000 | #Constraints: 29851
183.04/183.60 c #Conflicts: 1004000 | #Constraints: 31344
183.04/183.60 c #Conflicts: 1005000 | #Constraints: 32852
183.04/183.60 c #Conflicts: 1006000 | #Constraints: 34319
183.04/183.60 c #Conflicts: 1007000 | #Constraints: 35774
183.04/183.60 c #Conflicts: 1008000 | #Constraints: 37204
183.04/183.60 c #Conflicts: 1009000 | #Constraints: 38226
183.04/183.60 c #Conflicts: 1010000 | #Constraints: 39606
183.04/183.60 c #Conflicts: 1011000 | #Constraints: 41088
183.04/183.60 c #Conflicts: 1012000 | #Constraints: 42213
183.04/183.60 c #Conflicts: 1013000 | #Constraints: 43547
183.04/183.60 c #Conflicts: 1014000 | #Constraints: 44548
183.04/183.60 c #Conflicts: 1015000 | #Constraints: 45557
183.04/183.60 c #Conflicts: 1016000 | #Constraints: 47094
183.04/183.60 c #Conflicts: 1017000 | #Constraints: 48673
183.04/183.60 c #Conflicts: 1018000 | #Constraints: 50269
183.04/183.60 c #Conflicts: 1019000 | #Constraints: 51838
183.04/183.60 c #Conflicts: 1020000 | #Constraints: 53387
183.04/183.60 c #Conflicts: 1021000 | #Constraints: 54916
183.04/183.60 c INPROCESSING
183.04/183.60 c GARBAGE COLLECT
183.04/183.60 c #Conflicts: 1022000 | #Constraints: 28692
183.04/183.60 c #Conflicts: 1023000 | #Constraints: 30194
183.04/183.60 c #Conflicts: 1024000 | #Constraints: 31569
183.04/183.60 c #Conflicts: 1025000 | #Constraints: 32574
183.04/183.60 c #Conflicts: 1026000 | #Constraints: 34050
183.04/183.60 c #Conflicts: 1027000 | #Constraints: 35667
183.04/183.60 c #Conflicts: 1028000 | #Constraints: 37238
183.04/183.60 c #Conflicts: 1029000 | #Constraints: 38828
183.04/183.60 c #Conflicts: 1030000 | #Constraints: 40390
183.04/183.60 c #Conflicts: 1031000 | #Constraints: 41960
183.04/183.60 c #Conflicts: 1032000 | #Constraints: 43525
183.04/183.60 c #Conflicts: 1033000 | #Constraints: 45123
183.04/183.60 c #Conflicts: 1034000 | #Constraints: 46769
183.04/183.60 c #Conflicts: 1035000 | #Constraints: 48374
183.04/183.60 c #Conflicts: 1036000 | #Constraints: 49983
183.04/183.60 c #Conflicts: 1037000 | #Constraints: 51578
183.04/183.60 c #Conflicts: 1038000 | #Constraints: 53238
183.04/183.60 c #Conflicts: 1039000 | #Constraints: 54844
183.04/183.60 c #Conflicts: 1040000 | #Constraints: 56430
183.04/183.60 c #Conflicts: 1041000 | #Constraints: 58044
183.04/183.60 c INPROCESSING
183.04/183.60 c GARBAGE COLLECT
183.04/183.60 c #Conflicts: 1042000 | #Constraints: 30448
183.04/183.60 c #Conflicts: 1043000 | #Constraints: 31993
198.60/199.19 c #Conflicts: 1044000 | #Constraints: 33537
198.60/199.19 c #Conflicts: 1045000 | #Constraints: 35122
198.60/199.19 c #Conflicts: 1046000 | #Constraints: 36713
198.60/199.19 c #Conflicts: 1047000 | #Constraints: 38300
198.60/199.19 c #Conflicts: 1048000 | #Constraints: 39709
198.60/199.19 c #Conflicts: 1049000 | #Constraints: 40867
198.60/199.19 c #Conflicts: 1050000 | #Constraints: 42436
198.60/199.19 c #Conflicts: 1051000 | #Constraints: 44026
198.60/199.19 c #Conflicts: 1052000 | #Constraints: 45124
198.60/199.19 c #Conflicts: 1053000 | #Constraints: 46147
198.60/199.19 c #Conflicts: 1054000 | #Constraints: 47718
198.60/199.19 c #Conflicts: 1055000 | #Constraints: 49312
198.60/199.19 c #Conflicts: 1056000 | #Constraints: 50958
198.60/199.19 c #Conflicts: 1057000 | #Constraints: 52512
198.60/199.19 c #Conflicts: 1058000 | #Constraints: 53888
198.60/199.19 c #Conflicts: 1059000 | #Constraints: 54898
198.60/199.19 c #Conflicts: 1060000 | #Constraints: 56227
198.60/199.19 c #Conflicts: 1061000 | #Constraints: 57816
198.60/199.19 c #Conflicts: 1062000 | #Constraints: 59359
198.60/199.19 c INPROCESSING
198.60/199.19 c GARBAGE COLLECT
198.60/199.19 c #Conflicts: 1063000 | #Constraints: 19704
198.60/199.19 c #Conflicts: 1064000 | #Constraints: 20707
198.60/199.19 c #Conflicts: 1065000 | #Constraints: 21918
198.60/199.19 c #Conflicts: 1066000 | #Constraints: 22919
198.60/199.19 c #Conflicts: 1067000 | #Constraints: 24207
198.60/199.19 c #Conflicts: 1068000 | #Constraints: 25751
198.60/199.19 c #Conflicts: 1069000 | #Constraints: 27232
198.60/199.19 c #Conflicts: 1070000 | #Constraints: 28593
198.60/199.19 c #Conflicts: 1071000 | #Constraints: 30095
198.60/199.19 c #Conflicts: 1072000 | #Constraints: 31096
198.60/199.19 c #Conflicts: 1073000 | #Constraints: 32187
198.60/199.19 c #Conflicts: 1074000 | #Constraints: 33589
198.60/199.19 c #Conflicts: 1075000 | #Constraints: 35101
198.60/199.19 c #Conflicts: 1076000 | #Constraints: 36668
198.60/199.19 c #Conflicts: 1077000 | #Constraints: 38236
198.60/199.19 c #Conflicts: 1078000 | #Constraints: 39834
198.60/199.19 c #Conflicts: 1079000 | #Constraints: 41423
198.60/199.19 c #Conflicts: 1080000 | #Constraints: 42865
198.60/199.19 c #Conflicts: 1081000 | #Constraints: 44250
198.60/199.19 c #Conflicts: 1082000 | #Constraints: 45492
198.60/199.19 c #Conflicts: 1083000 | #Constraints: 46571
198.60/199.19 c INPROCESSING
198.60/199.19 c GARBAGE COLLECT
198.60/199.19 c #Conflicts: 1084000 | #Constraints: 25246
198.60/199.19 c #Conflicts: 1085000 | #Constraints: 26878
198.60/199.19 c #Conflicts: 1086000 | #Constraints: 28511
198.60/199.19 c #Conflicts: 1087000 | #Constraints: 30160
198.60/199.19 c #Conflicts: 1088000 | #Constraints: 31782
198.60/199.19 c #Conflicts: 1089000 | #Constraints: 33385
198.60/199.19 c #Conflicts: 1090000 | #Constraints: 35007
198.60/199.19 c #Conflicts: 1091000 | #Constraints: 36641
198.60/199.19 c #Conflicts: 1092000 | #Constraints: 38212
198.60/199.19 c #Conflicts: 1093000 | #Constraints: 39762
198.60/199.19 c #Conflicts: 1094000 | #Constraints: 41352
198.60/199.19 c #Conflicts: 1095000 | #Constraints: 42956
198.60/199.19 c #Conflicts: 1096000 | #Constraints: 44555
198.60/199.19 c #Conflicts: 1097000 | #Constraints: 46186
198.60/199.19 c #Conflicts: 1098000 | #Constraints: 47797
198.60/199.19 c #Conflicts: 1099000 | #Constraints: 49379
198.60/199.19 c #Conflicts: 1100000 | #Constraints: 50970
198.60/199.19 c #Conflicts: 1101000 | #Constraints: 52629
198.60/199.19 c #Conflicts: 1102000 | #Constraints: 54240
198.60/199.19 c #Conflicts: 1103000 | #Constraints: 55857
198.60/199.19 c #Conflicts: 1104000 | #Constraints: 57479
198.60/199.19 c INPROCESSING
198.60/199.19 c GARBAGE COLLECT
198.60/199.19 c #Conflicts: 1105000 | #Constraints: 30623
198.60/199.19 c #Conflicts: 1106000 | #Constraints: 32154
198.60/199.19 c #Conflicts: 1107000 | #Constraints: 33688
198.60/199.19 c #Conflicts: 1108000 | #Constraints: 35243
198.60/199.19 c #Conflicts: 1109000 | #Constraints: 36831
198.60/199.19 c #Conflicts: 1110000 | #Constraints: 38449
198.60/199.19 c #Conflicts: 1111000 | #Constraints: 40059
198.60/199.19 c #Conflicts: 1112000 | #Constraints: 41667
198.60/199.19 c #Conflicts: 1113000 | #Constraints: 43264
198.60/199.19 c cpu time 188.796 s
198.60/199.19 c deterministic time 9721027834 9.72e+09
198.60/199.19 c optimization time 0.000126 s
198.60/199.19 c total solve time 188.794 s
198.60/199.19 c core-guided solve time 0 s
198.60/199.19 c propagation time 167.043 s
198.60/199.19 c conflict analysis time 14.8687 s
198.60/199.19 c propagations 11329723
198.60/199.19 c resolve steps 3575367
198.60/199.19 c decisions 1871867
198.60/199.19 c conflicts 1113200
198.60/199.19 c restarts 2046
198.60/199.19 c inprocessing phases 96
198.60/199.19 c input clauses 2
198.60/199.19 c input cardinalities 556
198.60/199.19 c input general constraints 0
198.60/199.19 c input average constraint length 3.99
198.60/199.19 c input average constraint degree 2.00
198.60/199.19 c learned clauses 963546
198.60/199.19 c learned cardinalities 4758
198.60/199.19 c learned general constraints 608982
198.60/199.19 c learned average constraint length 65.32
198.60/199.19 c learned average constraint degree 4172665295.24
198.60/199.19 c watched constraints 376961
198.60/199.19 c counting constraints 232021
198.60/199.19 c gcd simplifications 266420
198.60/199.19 c detected cardinalities 2556
198.60/199.19 c weakened non-implied lits 2140773
198.60/199.19 c weakened non-implying lits 209593
198.60/199.19 c original variables 401
198.60/199.19 c clausal propagations 1825040
198.60/199.19 c cardinality propagations 3524400
198.60/199.19 c watched propagations 386701
198.60/199.19 c counting propagations 4477097
198.60/199.19 c watch lookups 3107685165
198.60/199.19 c watch backjump lookups 2340927167
198.60/199.19 c watch checks 3866891095
198.60/199.19 c propagation checks 301101452
198.60/199.19 c constraint additions 75789957
198.60/199.19 c trail pops 14314632
198.60/199.19 c formula constraints 558
198.60/199.19 c learned constraints 1113074
198.60/199.19 c bound constraints 0
198.60/199.19 c core-guided constraints 0
198.60/199.19 c encountered formula constraints 189248
198.60/199.19 c encountered learned constraints 4392917
198.60/199.19 c encountered bound constraints 0
198.60/199.19 c encountered core-guided constraints 0
198.60/199.19 c LP total time 95.4407 s
198.60/199.19 c LP solve time 61.7 s
198.60/199.19 c LP constraints added 611
198.60/199.19 c LP constraints removed 44
198.60/199.19 c LP pivots internal 1092793
198.60/199.19 c LP pivots root 23982
198.60/199.19 c LP calls 474631
198.60/199.19 c LP optimalities 10023
198.60/199.19 c LP no pivot count 2545
198.60/199.19 c LP infeasibilities 464042
198.60/199.19 c LP valid Farkas constraints 464041
198.60/199.19 c LP learned Farkas constraints 125
198.60/199.19 c LP basis resets 565
198.60/199.19 c LP cycling count 39
198.60/199.19 c LP singular count 523
198.60/199.19 c LP no primal count 0
198.60/199.19 c LP no farkas count 0
198.60/199.19 c LP other issue count 3
198.60/199.19 c LP Gomory cuts 46
198.60/199.19 c LP learned cuts 7
198.60/199.19 c LP deleted cuts 44
198.60/199.19 c LP encountered Gomory constraints 0
198.60/199.19 c LP encountered Farkas constraints 103796
198.60/199.19 c LP encountered learned Farkas constraints 2481
198.60/199.19 c CG auxiliary variables introduced 0
198.60/199.19 c CG solutions found 0
198.60/199.19 c CG cores constructed 0
198.60/199.19 c CG core cardinality constraints returned 0
198.60/199.19 c CG unit cores 0
198.60/199.19 c CG single cores 0
198.60/199.19 c CG blocks removed during cardinality reduction 0
198.60/199.19 c CG first core best 0
198.60/199.19 c CG decision core best 0
198.60/199.19 c CG core reduction tie 0
198.60/199.19 c CG core degree average 0.00
198.60/199.19 c CG core slack average 0.00
198.60/199.19 o 0
198.60/199.19 s OPTIMUM FOUND
198.60/199.19 v -x1 -x2 -x3 -x4 -x5 x6 -x7 x8 -x9 x10 -x11 x12 -x13 x14 -x15 x16 -x17 x18 -x19 x20 -x21 x22 -x23 x24 -x25 x26 -x27 -x28 -x29 x30 -x31 x32 -x33 x34 -x35 x36 -x37 x38 -x39 x40 -x41 x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 x56 -x57 x58 -x59 x60 -x61 x62 -x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 -x81 x82 -x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401
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: 63968 MiB (62754 MiB free)
memory of node 1: 64473 MiB (63254 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448080-1721351619/watcher-4448080-1721351619 -o /tmp/evaluation-result-4448080-1721351619/solver-4448080-1721351619 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721343249-975304 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4448080-1721351619.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=980738, runsolver pid=980735
[startup+0.100216 s]*
/proc/loadavg: 4.02 4.09 4.08 5/257 980739
/proc/meminfo: memFree=129031332/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=38120 memory=8560 CPUtime=0.09 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 590 0 0 0 8 1 0 0 20 0 1 0 187328963 39034880 2140 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 9530 2140 1768 922 0 1482 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38120 KiB
Current children cumulated memory: 8560 KiB
[startup+0.206214 s]*
/proc/loadavg: 4.02 4.09 4.08 5/257 980739
/proc/meminfo: memFree=129030972/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=38320 memory=8892 CPUtime=0.19 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 642 0 0 0 17 2 0 0 20 0 1 0 187328963 39239680 2223 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 9580 2223 1768 922 0 1532 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38320 KiB
Current children cumulated memory: 8892 KiB
[startup+0.306215 s]*
/proc/loadavg: 4.02 4.09 4.08 5/257 980739
/proc/meminfo: memFree=129030636/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=38400 memory=9200 CPUtime=0.28 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 705 0 0 0 26 2 0 0 20 0 1 0 187328963 39321600 2300 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 9600 2300 1784 922 0 1552 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 38400 KiB
Current children cumulated memory: 9200 KiB
[startup+0.700227 s]
/proc/loadavg: 4.02 4.09 4.08 5/257 980741
/proc/meminfo: memFree=129028092/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=38576 memory=11500 CPUtime=0.67 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 773 0 0 0 61 6 0 0 20 0 1 0 187328963 39501824 2875 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 9644 2875 1784 922 0 1596 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 38576 KiB
Current children cumulated memory: 11500 KiB
[startup+1.50019 s]
/proc/loadavg: 4.02 4.09 4.08 5/257 980741
/proc/meminfo: memFree=129027928/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=38764 memory=11732 CPUtime=1.46 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 822 0 0 0 133 13 0 0 20 0 1 0 187328963 39694336 2933 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 9691 2933 1784 922 0 1643 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 38764 KiB
Current children cumulated memory: 11732 KiB
[startup+3.10536 s]
/proc/loadavg: 4.02 4.09 4.08 5/257 980741
/proc/meminfo: memFree=129027544/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=39224 memory=12156 CPUtime=3.06 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 929 0 0 0 279 27 0 0 20 0 1 0 187328963 40165376 3039 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 9806 3039 1784 922 0 1758 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 39224 KiB
Current children cumulated memory: 12156 KiB
[startup+6.3002 s]
/proc/loadavg: 4.02 4.09 4.08 5/257 980741
/proc/meminfo: memFree=129019052/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=49768 memory=22756 CPUtime=6.25 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 3652 0 0 0 578 47 0 0 20 0 1 0 187328963 50962432 5689 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 12442 5689 1784 922 0 4394 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 49768 KiB
Current children cumulated memory: 22756 KiB
[startup+12.7002 s]
/proc/loadavg: 4.02 4.09 4.08 5/257 980742
/proc/meminfo: memFree=129014332/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=51924 memory=25276 CPUtime=12.63 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 4275 0 0 0 1181 82 0 0 20 0 1 0 187328963 53170176 6319 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 12981 6319 1925 922 0 4933 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 51924 KiB
Current children cumulated memory: 25276 KiB
[startup+25.5002 s]
/proc/loadavg: 4.01 4.08 4.08 5/257 980745
/proc/meminfo: memFree=129013096/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=57172 memory=26720 CPUtime=25.4 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 4992 0 0 0 2379 161 0 0 20 0 1 0 187328963 58544128 6680 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 14293 6680 1925 922 0 6245 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 57172 KiB
Current children cumulated memory: 26720 KiB
[startup+51.1055 s]
/proc/loadavg: 4.01 4.08 4.08 5/257 980749
/proc/meminfo: memFree=128989748/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=71940 memory=43604 CPUtime=50.95 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 8215 0 0 0 4808 287 0 0 20 0 1 0 187328963 73666560 10901 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 17985 10901 1925 922 0 9937 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 71940 KiB
Current children cumulated memory: 43604 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/255 980758
/proc/meminfo: memFree=128976904/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=74760 memory=46672 CPUtime=102.03 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 10817 0 0 0 9662 541 0 0 20 0 1 0 187328963 76554240 11668 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 18690 11668 1925 922 0 10642 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 74760 KiB
Current children cumulated memory: 46672 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 980768
/proc/meminfo: memFree=128964164/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=88292 memory=52312 CPUtime=161.89 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 14727 0 0 0 15363 826 0 0 20 0 1 0 187328963 90411008 13078 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 22073 13078 1925 922 0 14025 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 88292 KiB
Current children cumulated memory: 52312 KiB
[startup+199.199 s]
# the end of solver process 980738 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=188.798 s, system=9.90662 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 4.08 4.09 4.08 5/255 980769
/proc/meminfo: memFree=128962520/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=90212 memory=53676 CPUtime=178.74 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 15888 0 0 0 16966 908 0 0 20 0 1 0 187328963 92377088 13419 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 22553 13419 1925 922 0 14505 0
Current children cumulated CPU time: 178.74 s
Current children cumulated vsize: 90212 KiB
Current children cumulated memory: 53676 KiB
[startup+192 s]*
/proc/loadavg: 4.14 4.10 4.09 5/255 980773
/proc/meminfo: memFree=128953352/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=94052 memory=62584 CPUtime=191.52 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 16910 0 0 0 18187 965 0 0 20 0 1 0 187328963 96309248 15646 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 23513 15646 1925 922 0 15465 0
Current children cumulated CPU time: 191.52 s
Current children cumulated vsize: 94052 KiB
Current children cumulated memory: 62584 KiB
[startup+195.2 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 980773
/proc/meminfo: memFree=128945528/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=106212 memory=71028 CPUtime=194.71 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 19039 0 0 0 18493 978 0 0 20 0 1 0 187328963 108761088 17757 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 26553 17757 1925 922 0 18505 0
Current children cumulated CPU time: 194.71 s
Current children cumulated vsize: 106212 KiB
Current children cumulated memory: 71028 KiB
[startup+196.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 980773
/proc/meminfo: memFree=128943684/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=106212 memory=73668 CPUtime=196.3 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 19727 0 0 0 18648 982 0 0 20 0 1 0 187328963 108761088 18417 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 26553 18417 1925 922 0 18505 0
Current children cumulated CPU time: 196.3 s
Current children cumulated vsize: 106212 KiB
Current children cumulated memory: 73668 KiB
[startup+198.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 980773
/proc/meminfo: memFree=128942008/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=106212 memory=73984 CPUtime=197.9 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 19903 0 0 0 18802 988 0 0 20 0 1 0 187328963 108761088 18496 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 26553 18496 1925 922 0 18505 0
Current children cumulated CPU time: 197.9 s
Current children cumulated vsize: 106212 KiB
Current children cumulated memory: 73984 KiB
[startup+198.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 980773
/proc/meminfo: memFree=128942008/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=106212 memory=73984 CPUtime=198.29 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 19903 0 0 0 18840 989 0 0 20 0 1 0 187328963 108761088 18496 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 26553 18496 1925 922 0 18505 0
Current children cumulated CPU time: 198.29 s
Current children cumulated vsize: 106212 KiB
Current children cumulated memory: 73984 KiB
[startup+199 s]*
/proc/loadavg: 4.13 4.10 4.09 5/255 980773
/proc/meminfo: memFree=128942140/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=106212 memory=73984 CPUtime=198.5 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 19903 0 0 0 18860 990 0 0 20 0 1 0 187328963 108761088 18496 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 26553 18496 1925 922 0 18505 0
Current children cumulated CPU time: 198.5 s
Current children cumulated vsize: 106212 KiB
Current children cumulated memory: 73984 KiB
[startup+199.105 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 980773
/proc/meminfo: memFree=128942140/131524600 swapFree=131071996/131071996
[pid=980738] ppid=980735 vsize=106212 memory=73984 CPUtime=198.6 cores=1,3
/proc/980738/stat : 980738 (roundingsat) R 980735 980738 975292 0 -1 4194304 19903 0 0 0 18870 990 0 0 20 0 1 0 187328963 108761088 18496 134679101440 4194304 7968869 140721832360896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 31903744 140721832367037 140721832367201 140721832367201 140721832374217 0
/proc/980738/statm: 26553 18496 1925 922 0 18505 0
Current children cumulated CPU time: 198.6 s
Current children cumulated vsize: 106212 KiB
Current children cumulated memory: 73984 KiB
Child status: 0
Real time (s): 199.199
CPU time (s): 198.704
CPU user time (s): 188.798
CPU system time (s): 9.90662
CPU usage (%): 99.7515
Max. virtual memory (cumulated for all children) (KiB): 106212
Max. memory (cumulated for all children) (KiB): 73984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 188.798
system time used= 9.90662
maximum resident set size= 74460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19911
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= 5
involuntary context switches= 223
# summary of solver processes directly reported to runsolver:
# pid: 980738
# total CPU time (s): 198.704
# total CPU user time (s): 188.798
# total CPU system time (s): 9.90662
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.412423 second user time and 0.850822 second system time
The end
Begin job on nodeC028 at 2024-07-19 03:13:52
IDJOB=4448080
IDBENCH=160362
IDSOLVER=3051
FILE ID=nodeC028/4448080-1721351619
RUNJOBID= nodeC028-1721343249-975304
SLURM_JOB_ID= 7542744
Free space on /tmp= 890044 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x40split.cnf-extracted.pb.metafix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448080-1721351619/watcher-4448080-1721351619 -o /tmp/evaluation-result-4448080-1721351619/solver-4448080-1721351619 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721343249-975304 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4448080-1721351619.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b2bd6f9c4b35d9a7e05934ad0cefb7e
RANDOM SEED=1430630641
nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3662.518
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
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 : 3660.343
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3599.945
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
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 : 3659.691
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3662.675
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
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 : 3666.168
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.788
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
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.063
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129033840 kB
MemAvailable: 129458148 kB
Buffers: 499852 kB
Cached: 765968 kB
SwapCached: 0 kB
Active: 1000284 kB
Inactive: 894972 kB
Active(anon): 1548 kB
Inactive(anon): 665296 kB
Active(file): 998736 kB
Inactive(file): 229676 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5184 kB
Writeback: 0 kB
AnonPages: 625992 kB
Mapped: 110788 kB
Shmem: 37720 kB
KReclaimable: 71436 kB
Slab: 178580 kB
SReclaimable: 71436 kB
SUnreclaim: 107144 kB
KernelStack: 4160 kB
PageTables: 10964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 947964 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 477184 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890036 MiB
End job on nodeC028 at 2024-07-19 03:17:11