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.14 c #Conflicts: 1000 | #Constraints: 1577
0.09/0.14 c #Conflicts: 2000 | #Constraints: 2586
0.09/0.14 c INPROCESSING
0.09/0.14 c GARBAGE COLLECT
0.09/0.14 c rational objective 200.5
0.30/0.31 c #Conflicts: 3000 | #Constraints: 2608
0.30/0.31 c #Conflicts: 4000 | #Constraints: 3612
0.30/0.31 c INPROCESSING
0.30/0.31 c GARBAGE COLLECT
0.30/0.31 c rational objective 200.5
0.50/0.50 c #Conflicts: 5000 | #Constraints: 3015
0.50/0.50 c #Conflicts: 6000 | #Constraints: 4019
0.50/0.50 c INPROCESSING
0.50/0.50 c GARBAGE COLLECT
0.50/0.50 c rational objective 200.5
0.69/0.74 c #Conflicts: 7000 | #Constraints: 3019
0.69/0.74 c #Conflicts: 8000 | #Constraints: 4021
0.69/0.74 c #Conflicts: 9000 | #Constraints: 5023
0.69/0.74 c INPROCESSING
0.69/0.74 c GARBAGE COLLECT
0.69/0.74 c rational objective 200.5
0.99/1.00 c #Conflicts: 10000 | #Constraints: 3725
0.99/1.00 c #Conflicts: 11000 | #Constraints: 4726
0.99/1.00 c #Conflicts: 12000 | #Constraints: 5728
0.99/1.00 c INPROCESSING
0.99/1.00 c GARBAGE COLLECT
0.99/1.00 c rational objective 200.5
1.19/1.29 c #Conflicts: 13000 | #Constraints: 4173
1.19/1.29 c #Conflicts: 14000 | #Constraints: 5174
1.19/1.29 c #Conflicts: 15000 | #Constraints: 6175
1.19/1.29 c INPROCESSING
1.19/1.29 c GARBAGE COLLECT
1.19/1.29 c rational objective 200.5
1.58/1.62 c #Conflicts: 16000 | #Constraints: 4405
1.58/1.62 c #Conflicts: 17000 | #Constraints: 5407
1.58/1.62 c #Conflicts: 18000 | #Constraints: 6408
1.58/1.62 c INPROCESSING
1.58/1.62 c GARBAGE COLLECT
1.58/1.62 c rational objective 200.5
1.88/1.91 c #Conflicts: 19000 | #Constraints: 4427
1.88/1.91 c #Conflicts: 20000 | #Constraints: 5429
1.88/1.91 c #Conflicts: 21000 | #Constraints: 6431
1.88/1.91 c INPROCESSING
1.88/1.91 c GARBAGE COLLECT
1.88/1.91 c rational objective 200.5
2.19/2.21 c #Conflicts: 22000 | #Constraints: 4235
2.19/2.21 c #Conflicts: 23000 | #Constraints: 5240
2.19/2.21 c #Conflicts: 24000 | #Constraints: 6243
2.19/2.21 c #Conflicts: 25000 | #Constraints: 7243
2.19/2.21 c INPROCESSING
2.19/2.21 c GARBAGE COLLECT
2.19/2.21 c rational objective 200.5
2.48/2.57 c #Conflicts: 26000 | #Constraints: 4843
2.48/2.57 c #Conflicts: 27000 | #Constraints: 5845
2.48/2.57 c #Conflicts: 28000 | #Constraints: 6846
2.48/2.57 c #Conflicts: 29000 | #Constraints: 7848
2.48/2.57 c INPROCESSING
2.48/2.57 c GARBAGE COLLECT
2.48/2.57 c rational objective 200.5
2.88/2.90 c #Conflicts: 30000 | #Constraints: 5240
2.88/2.90 c #Conflicts: 31000 | #Constraints: 6242
2.88/2.90 c #Conflicts: 32000 | #Constraints: 7246
2.88/2.90 c #Conflicts: 33000 | #Constraints: 8248
2.88/2.90 c INPROCESSING
2.88/2.90 c GARBAGE COLLECT
2.88/2.90 c rational objective 200.5
3.28/3.30 c #Conflicts: 34000 | #Constraints: 5439
3.28/3.30 c #Conflicts: 35000 | #Constraints: 6442
3.28/3.30 c #Conflicts: 36000 | #Constraints: 7442
3.28/3.30 c #Conflicts: 37000 | #Constraints: 8442
3.28/3.30 c INPROCESSING
3.28/3.30 c GARBAGE COLLECT
3.28/3.30 c rational objective 200.5
3.68/3.74 c #Conflicts: 38000 | #Constraints: 5444
3.68/3.74 c #Conflicts: 39000 | #Constraints: 6447
3.68/3.74 c #Conflicts: 40000 | #Constraints: 7447
3.68/3.74 c #Conflicts: 41000 | #Constraints: 8447
3.68/3.74 c INPROCESSING
3.68/3.74 c GARBAGE COLLECT
3.68/3.74 c rational objective 200.5
4.18/4.25 c #Conflicts: 42000 | #Constraints: 5358
4.18/4.25 c #Conflicts: 43000 | #Constraints: 6359
4.18/4.25 c #Conflicts: 44000 | #Constraints: 7389
4.18/4.25 c #Conflicts: 45000 | #Constraints: 8826
4.18/4.25 c #Conflicts: 46000 | #Constraints: 10517
4.18/4.25 c INPROCESSING
4.18/4.25 c GARBAGE COLLECT
4.18/4.25 c rational objective 200.5
4.98/5.06 c #Conflicts: 47000 | #Constraints: 7081
4.98/5.06 c #Conflicts: 48000 | #Constraints: 8750
4.98/5.06 c #Conflicts: 49000 | #Constraints: 10455
4.98/5.06 c #Conflicts: 50000 | #Constraints: 12098
4.98/5.06 c #Conflicts: 51000 | #Constraints: 13780
4.98/5.06 c INPROCESSING
4.98/5.06 c GARBAGE COLLECT
4.98/5.06 c rational objective 200.5
6.07/6.12 c #Conflicts: 52000 | #Constraints: 8910
6.07/6.12 c #Conflicts: 53000 | #Constraints: 10583
6.07/6.12 c #Conflicts: 54000 | #Constraints: 12231
6.07/6.12 c #Conflicts: 55000 | #Constraints: 13902
6.07/6.12 c #Conflicts: 56000 | #Constraints: 15522
6.07/6.12 c INPROCESSING
6.07/6.12 c GARBAGE COLLECT
6.07/6.12 c rational objective 200.5
7.87/7.98 c #Conflicts: 57000 | #Constraints: 9708
7.87/7.98 c #Conflicts: 58000 | #Constraints: 11327
7.87/7.98 c #Conflicts: 59000 | #Constraints: 13021
7.87/7.98 c #Conflicts: 60000 | #Constraints: 14664
7.87/7.98 c #Conflicts: 61000 | #Constraints: 16279
7.87/7.98 c INPROCESSING
7.87/7.98 c GARBAGE COLLECT
7.87/7.98 c #Conflicts: 62000 | #Constraints: 9887
7.87/7.98 c #Conflicts: 63000 | #Constraints: 11434
7.87/7.98 c #Conflicts: 64000 | #Constraints: 13034
7.87/7.98 c #Conflicts: 65000 | #Constraints: 14710
7.87/7.98 c #Conflicts: 66000 | #Constraints: 16401
7.87/7.98 c INPROCESSING
7.87/7.98 c GARBAGE COLLECT
7.87/7.98 c rational objective 200.5
18.34/18.44 c #Conflicts: 67000 | #Constraints: 9726
18.34/18.44 c #Conflicts: 68000 | #Constraints: 11439
18.34/18.44 c #Conflicts: 69000 | #Constraints: 13063
18.34/18.44 c #Conflicts: 70000 | #Constraints: 14658
18.34/18.44 c #Conflicts: 71000 | #Constraints: 16220
18.34/18.44 c #Conflicts: 72000 | #Constraints: 17868
18.34/18.44 c INPROCESSING
18.34/18.44 c GARBAGE COLLECT
18.34/18.44 c #Conflicts: 73000 | #Constraints: 10202
18.34/18.44 c #Conflicts: 74000 | #Constraints: 11545
18.34/18.44 c #Conflicts: 75000 | #Constraints: 12864
18.34/18.44 c #Conflicts: 76000 | #Constraints: 14411
18.34/18.44 c #Conflicts: 77000 | #Constraints: 15591
18.34/18.44 c #Conflicts: 78000 | #Constraints: 17106
18.34/18.44 c INPROCESSING
18.34/18.44 c GARBAGE COLLECT
18.34/18.44 c #Conflicts: 79000 | #Constraints: 10459
18.34/18.44 c #Conflicts: 80000 | #Constraints: 12012
18.34/18.44 c #Conflicts: 81000 | #Constraints: 13574
18.34/18.44 c #Conflicts: 82000 | #Constraints: 15079
18.34/18.44 c #Conflicts: 83000 | #Constraints: 16213
18.34/18.44 c #Conflicts: 84000 | #Constraints: 17430
18.34/18.44 c INPROCESSING
18.34/18.44 c GARBAGE COLLECT
18.34/18.44 c #Conflicts: 85000 | #Constraints: 10084
18.34/18.44 c #Conflicts: 86000 | #Constraints: 11259
18.34/18.44 c #Conflicts: 87000 | #Constraints: 12804
18.34/18.44 c #Conflicts: 88000 | #Constraints: 14177
18.34/18.44 c #Conflicts: 89000 | #Constraints: 15244
18.34/18.44 c #Conflicts: 90000 | #Constraints: 16802
18.34/18.44 c INPROCESSING
18.34/18.44 c GARBAGE COLLECT
18.34/18.44 c #Conflicts: 91000 | #Constraints: 10186
18.34/18.44 c #Conflicts: 92000 | #Constraints: 11762
18.34/18.44 c #Conflicts: 93000 | #Constraints: 12821
18.34/18.44 c #Conflicts: 94000 | #Constraints: 14048
18.34/18.44 c #Conflicts: 95000 | #Constraints: 15274
18.34/18.44 c #Conflicts: 96000 | #Constraints: 16900
18.34/18.44 c INPROCESSING
18.34/18.44 c GARBAGE COLLECT
18.34/18.44 c #Conflicts: 97000 | #Constraints: 9766
18.34/18.44 c #Conflicts: 98000 | #Constraints: 11377
18.34/18.44 c #Conflicts: 99000 | #Constraints: 12977
18.34/18.44 c #Conflicts: 100000 | #Constraints: 14571
18.34/18.44 c #Conflicts: 101000 | #Constraints: 16137
18.34/18.44 c #Conflicts: 102000 | #Constraints: 17698
18.34/18.44 c #Conflicts: 103000 | #Constraints: 19274
18.34/18.44 c INPROCESSING
18.34/18.44 c GARBAGE COLLECT
18.34/18.44 c #Conflicts: 104000 | #Constraints: 11418
18.34/18.44 c #Conflicts: 105000 | #Constraints: 13043
18.34/18.44 c #Conflicts: 106000 | #Constraints: 14555
18.34/18.44 c #Conflicts: 107000 | #Constraints: 15682
18.34/18.44 c #Conflicts: 108000 | #Constraints: 16801
18.34/18.44 c #Conflicts: 109000 | #Constraints: 18092
18.34/18.44 c #Conflicts: 110000 | #Constraints: 19212
18.34/18.44 c INPROCESSING
18.34/18.44 c GARBAGE COLLECT
18.34/18.44 c #Conflicts: 111000 | #Constraints: 10944
18.34/18.44 c #Conflicts: 112000 | #Constraints: 12445
18.34/18.44 c #Conflicts: 113000 | #Constraints: 14024
18.34/18.44 c #Conflicts: 114000 | #Constraints: 15164
18.34/18.44 c #Conflicts: 115000 | #Constraints: 16165
18.34/18.44 c #Conflicts: 116000 | #Constraints: 17167
18.34/18.44 c #Conflicts: 117000 | #Constraints: 18708
18.34/18.44 c INPROCESSING
18.34/18.44 c GARBAGE COLLECT
18.34/18.44 c #Conflicts: 118000 | #Constraints: 11363
18.34/18.44 c #Conflicts: 119000 | #Constraints: 12930
18.34/18.44 c #Conflicts: 120000 | #Constraints: 14184
18.34/18.44 c #Conflicts: 121000 | #Constraints: 15386
18.34/18.44 c #Conflicts: 122000 | #Constraints: 16601
18.34/18.44 c #Conflicts: 123000 | #Constraints: 18040
18.34/18.44 c #Conflicts: 124000 | #Constraints: 19282
18.34/18.44 c INPROCESSING
18.34/18.44 c GARBAGE COLLECT
18.34/18.44 c #Conflicts: 125000 | #Constraints: 10856
18.34/18.44 c #Conflicts: 126000 | #Constraints: 12388
18.34/18.44 c #Conflicts: 127000 | #Constraints: 13513
18.34/18.44 c #Conflicts: 128000 | #Constraints: 15043
18.34/18.44 c #Conflicts: 129000 | #Constraints: 16571
18.34/18.44 c #Conflicts: 130000 | #Constraints: 18162
18.34/18.44 c #Conflicts: 131000 | #Constraints: 19803
18.34/18.44 c INPROCESSING
18.34/18.44 c GARBAGE COLLECT
18.34/18.44 c #Conflicts: 132000 | #Constraints: 11010
18.34/18.44 c #Conflicts: 133000 | #Constraints: 12401
18.34/18.44 c #Conflicts: 134000 | #Constraints: 13488
18.34/18.44 c #Conflicts: 135000 | #Constraints: 14616
18.34/18.44 c #Conflicts: 136000 | #Constraints: 16182
18.34/18.44 c #Conflicts: 137000 | #Constraints: 17818
18.34/18.44 c #Conflicts: 138000 | #Constraints: 19430
18.34/18.44 c #Conflicts: 139000 | #Constraints: 20580
29.32/29.44 c INPROCESSING
29.32/29.44 c GARBAGE COLLECT
29.32/29.44 c #Conflicts: 140000 | #Constraints: 12040
29.32/29.44 c #Conflicts: 141000 | #Constraints: 13675
29.32/29.44 c #Conflicts: 142000 | #Constraints: 15043
29.32/29.44 c #Conflicts: 143000 | #Constraints: 16441
29.32/29.44 c #Conflicts: 144000 | #Constraints: 17671
29.32/29.44 c #Conflicts: 145000 | #Constraints: 18828
29.32/29.44 c #Conflicts: 146000 | #Constraints: 20355
29.32/29.44 c #Conflicts: 147000 | #Constraints: 21917
29.32/29.44 c INPROCESSING
29.32/29.44 c GARBAGE COLLECT
29.32/29.44 c #Conflicts: 148000 | #Constraints: 12934
29.32/29.44 c #Conflicts: 149000 | #Constraints: 14212
29.32/29.44 c #Conflicts: 150000 | #Constraints: 15493
29.32/29.44 c #Conflicts: 151000 | #Constraints: 17096
29.32/29.44 c #Conflicts: 152000 | #Constraints: 18695
29.32/29.44 c #Conflicts: 153000 | #Constraints: 20141
29.32/29.44 c #Conflicts: 154000 | #Constraints: 21464
29.32/29.44 c #Conflicts: 155000 | #Constraints: 22573
29.32/29.44 c INPROCESSING
29.32/29.44 c GARBAGE COLLECT
29.32/29.44 c #Conflicts: 156000 | #Constraints: 12605
29.32/29.44 c #Conflicts: 157000 | #Constraints: 14189
29.32/29.44 c #Conflicts: 158000 | #Constraints: 15787
29.32/29.44 c #Conflicts: 159000 | #Constraints: 17387
29.32/29.44 c #Conflicts: 160000 | #Constraints: 18574
29.32/29.44 c #Conflicts: 161000 | #Constraints: 19741
29.32/29.44 c #Conflicts: 162000 | #Constraints: 21347
29.32/29.44 c #Conflicts: 163000 | #Constraints: 22888
29.32/29.44 c INPROCESSING
29.32/29.44 c GARBAGE COLLECT
29.32/29.44 c #Conflicts: 164000 | #Constraints: 12737
29.32/29.44 c #Conflicts: 165000 | #Constraints: 13813
29.32/29.44 c #Conflicts: 166000 | #Constraints: 15301
29.32/29.44 c #Conflicts: 167000 | #Constraints: 16870
29.32/29.44 c #Conflicts: 168000 | #Constraints: 18467
29.32/29.44 c #Conflicts: 169000 | #Constraints: 19874
29.32/29.44 c #Conflicts: 170000 | #Constraints: 21433
29.32/29.44 c #Conflicts: 171000 | #Constraints: 22810
29.32/29.44 c INPROCESSING
29.32/29.44 c GARBAGE COLLECT
29.32/29.44 c #Conflicts: 172000 | #Constraints: 12616
29.32/29.44 c #Conflicts: 173000 | #Constraints: 13922
29.32/29.44 c #Conflicts: 174000 | #Constraints: 15397
29.32/29.44 c #Conflicts: 175000 | #Constraints: 16947
29.32/29.44 c #Conflicts: 176000 | #Constraints: 18195
29.32/29.44 c #Conflicts: 177000 | #Constraints: 19482
29.32/29.44 c #Conflicts: 178000 | #Constraints: 20726
29.32/29.44 c #Conflicts: 179000 | #Constraints: 22243
29.32/29.44 c #Conflicts: 180000 | #Constraints: 23636
29.32/29.44 c INPROCESSING
29.32/29.44 c GARBAGE COLLECT
29.32/29.44 c #Conflicts: 181000 | #Constraints: 13393
29.32/29.44 c #Conflicts: 182000 | #Constraints: 14973
29.32/29.44 c #Conflicts: 183000 | #Constraints: 16526
29.32/29.44 c #Conflicts: 184000 | #Constraints: 17725
29.32/29.44 c #Conflicts: 185000 | #Constraints: 18846
29.32/29.44 c #Conflicts: 186000 | #Constraints: 19848
29.32/29.44 c #Conflicts: 187000 | #Constraints: 21367
29.32/29.44 c #Conflicts: 188000 | #Constraints: 22982
29.32/29.44 c #Conflicts: 189000 | #Constraints: 24489
29.32/29.44 c INPROCESSING
29.32/29.44 c GARBAGE COLLECT
29.32/29.44 c #Conflicts: 190000 | #Constraints: 14189
29.32/29.44 c #Conflicts: 191000 | #Constraints: 15844
29.32/29.44 c #Conflicts: 192000 | #Constraints: 17456
29.32/29.44 c #Conflicts: 193000 | #Constraints: 18862
29.32/29.44 c #Conflicts: 194000 | #Constraints: 19875
29.32/29.44 c #Conflicts: 195000 | #Constraints: 20876
29.32/29.44 c #Conflicts: 196000 | #Constraints: 21877
29.32/29.44 c #Conflicts: 197000 | #Constraints: 23049
29.32/29.44 c #Conflicts: 198000 | #Constraints: 24171
29.32/29.44 c INPROCESSING
29.32/29.44 c GARBAGE COLLECT
29.32/29.44 c #Conflicts: 199000 | #Constraints: 13977
29.32/29.44 c #Conflicts: 200000 | #Constraints: 15599
29.32/29.44 c #Conflicts: 201000 | #Constraints: 17185
29.32/29.44 c #Conflicts: 202000 | #Constraints: 18810
29.32/29.44 c #Conflicts: 203000 | #Constraints: 20457
29.32/29.44 c #Conflicts: 204000 | #Constraints: 22080
29.32/29.44 c #Conflicts: 205000 | #Constraints: 23669
29.32/29.44 c #Conflicts: 206000 | #Constraints: 25231
29.32/29.44 c #Conflicts: 207000 | #Constraints: 26737
29.32/29.44 c INPROCESSING
29.32/29.44 c GARBAGE COLLECT
29.32/29.44 c #Conflicts: 208000 | #Constraints: 15145
29.32/29.44 c #Conflicts: 209000 | #Constraints: 16735
29.32/29.44 c #Conflicts: 210000 | #Constraints: 18274
29.32/29.44 c #Conflicts: 211000 | #Constraints: 19841
29.32/29.44 c #Conflicts: 212000 | #Constraints: 21456
43.78/43.93 c #Conflicts: 213000 | #Constraints: 23033
43.78/43.93 c #Conflicts: 214000 | #Constraints: 24637
43.78/43.93 c #Conflicts: 215000 | #Constraints: 26186
43.78/43.93 c #Conflicts: 216000 | #Constraints: 27792
43.78/43.93 c INPROCESSING
43.78/43.93 c GARBAGE COLLECT
43.78/43.93 c #Conflicts: 217000 | #Constraints: 15317
43.78/43.93 c #Conflicts: 218000 | #Constraints: 16847
43.78/43.93 c #Conflicts: 219000 | #Constraints: 18438
43.78/43.93 c #Conflicts: 220000 | #Constraints: 19963
43.78/43.93 c #Conflicts: 221000 | #Constraints: 21523
43.78/43.93 c #Conflicts: 222000 | #Constraints: 23090
43.78/43.93 c #Conflicts: 223000 | #Constraints: 24609
43.78/43.93 c #Conflicts: 224000 | #Constraints: 26110
43.78/43.93 c #Conflicts: 225000 | #Constraints: 27768
43.78/43.93 c #Conflicts: 226000 | #Constraints: 29273
43.78/43.93 c INPROCESSING
43.78/43.93 c GARBAGE COLLECT
43.78/43.93 c #Conflicts: 227000 | #Constraints: 16346
43.78/43.93 c #Conflicts: 228000 | #Constraints: 17914
43.78/43.93 c #Conflicts: 229000 | #Constraints: 19481
43.78/43.93 c #Conflicts: 230000 | #Constraints: 21012
43.78/43.93 c #Conflicts: 231000 | #Constraints: 22623
43.78/43.93 c #Conflicts: 232000 | #Constraints: 24257
43.78/43.93 c #Conflicts: 233000 | #Constraints: 25846
43.78/43.93 c #Conflicts: 234000 | #Constraints: 27471
43.78/43.93 c #Conflicts: 235000 | #Constraints: 29064
43.78/43.93 c #Conflicts: 236000 | #Constraints: 30667
43.78/43.93 c INPROCESSING
43.78/43.93 c GARBAGE COLLECT
43.78/43.93 c #Conflicts: 237000 | #Constraints: 17203
43.78/43.93 c #Conflicts: 238000 | #Constraints: 18805
43.78/43.93 c #Conflicts: 239000 | #Constraints: 20454
43.78/43.93 c #Conflicts: 240000 | #Constraints: 21983
43.78/43.93 c #Conflicts: 241000 | #Constraints: 23540
43.78/43.93 c #Conflicts: 242000 | #Constraints: 25106
43.78/43.93 c #Conflicts: 243000 | #Constraints: 26677
43.78/43.93 c #Conflicts: 244000 | #Constraints: 28281
43.78/43.93 c #Conflicts: 245000 | #Constraints: 29844
43.78/43.93 c #Conflicts: 246000 | #Constraints: 31540
43.78/43.93 c INPROCESSING
43.78/43.93 c GARBAGE COLLECT
43.78/43.93 c #Conflicts: 247000 | #Constraints: 17428
43.78/43.93 c #Conflicts: 248000 | #Constraints: 18765
43.78/43.93 c #Conflicts: 249000 | #Constraints: 20430
43.78/43.93 c #Conflicts: 250000 | #Constraints: 22031
43.78/43.93 c #Conflicts: 251000 | #Constraints: 23382
43.78/43.93 c #Conflicts: 252000 | #Constraints: 24924
43.78/43.93 c #Conflicts: 253000 | #Constraints: 26493
43.78/43.93 c #Conflicts: 254000 | #Constraints: 28105
43.78/43.93 c #Conflicts: 255000 | #Constraints: 29663
43.78/43.93 c #Conflicts: 256000 | #Constraints: 31258
43.78/43.93 c INPROCESSING
43.78/43.93 c GARBAGE COLLECT
43.78/43.93 c #Conflicts: 257000 | #Constraints: 17468
43.78/43.93 c #Conflicts: 258000 | #Constraints: 19090
43.78/43.93 c #Conflicts: 259000 | #Constraints: 20330
43.78/43.93 c #Conflicts: 260000 | #Constraints: 21917
43.78/43.93 c #Conflicts: 261000 | #Constraints: 23489
43.78/43.93 c #Conflicts: 262000 | #Constraints: 24545
43.78/43.93 c #Conflicts: 263000 | #Constraints: 25731
43.78/43.93 c #Conflicts: 264000 | #Constraints: 27245
43.78/43.93 c #Conflicts: 265000 | #Constraints: 28798
43.78/43.93 c #Conflicts: 266000 | #Constraints: 30321
43.78/43.93 c INPROCESSING
43.78/43.93 c GARBAGE COLLECT
43.78/43.93 c #Conflicts: 267000 | #Constraints: 16562
43.78/43.93 c #Conflicts: 268000 | #Constraints: 18061
43.78/43.93 c #Conflicts: 269000 | #Constraints: 19580
43.78/43.93 c #Conflicts: 270000 | #Constraints: 21190
43.78/43.93 c #Conflicts: 271000 | #Constraints: 22827
43.78/43.93 c #Conflicts: 272000 | #Constraints: 24418
43.78/43.93 c #Conflicts: 273000 | #Constraints: 26018
43.78/43.93 c #Conflicts: 274000 | #Constraints: 27602
43.78/43.93 c #Conflicts: 275000 | #Constraints: 29184
43.78/43.93 c #Conflicts: 276000 | #Constraints: 30773
43.78/43.93 c #Conflicts: 277000 | #Constraints: 32389
43.78/43.93 c INPROCESSING
43.78/43.93 c GARBAGE COLLECT
43.78/43.93 c #Conflicts: 278000 | #Constraints: 17947
43.78/43.93 c #Conflicts: 279000 | #Constraints: 19579
43.78/43.93 c #Conflicts: 280000 | #Constraints: 21183
43.78/43.93 c #Conflicts: 281000 | #Constraints: 22797
43.78/43.93 c #Conflicts: 282000 | #Constraints: 24349
43.78/43.93 c #Conflicts: 283000 | #Constraints: 26006
43.78/43.93 c #Conflicts: 284000 | #Constraints: 27592
43.78/43.93 c #Conflicts: 285000 | #Constraints: 29183
43.78/43.93 c #Conflicts: 286000 | #Constraints: 30575
56.05/56.22 c #Conflicts: 287000 | #Constraints: 32177
56.05/56.22 c #Conflicts: 288000 | #Constraints: 33746
56.05/56.22 c INPROCESSING
56.05/56.22 c GARBAGE COLLECT
56.05/56.22 c #Conflicts: 289000 | #Constraints: 18615
56.05/56.22 c #Conflicts: 290000 | #Constraints: 19616
56.05/56.22 c #Conflicts: 291000 | #Constraints: 20621
56.05/56.22 c #Conflicts: 292000 | #Constraints: 21622
56.05/56.22 c #Conflicts: 293000 | #Constraints: 23077
56.05/56.22 c #Conflicts: 294000 | #Constraints: 24636
56.05/56.22 c #Conflicts: 295000 | #Constraints: 26194
56.05/56.22 c #Conflicts: 296000 | #Constraints: 27768
56.05/56.22 c #Conflicts: 297000 | #Constraints: 29352
56.05/56.22 c #Conflicts: 298000 | #Constraints: 30971
56.05/56.22 c #Conflicts: 299000 | #Constraints: 32425
56.05/56.22 c INPROCESSING
56.05/56.22 c GARBAGE COLLECT
56.05/56.22 c #Conflicts: 300000 | #Constraints: 18131
56.05/56.22 c #Conflicts: 301000 | #Constraints: 19748
56.05/56.22 c #Conflicts: 302000 | #Constraints: 21288
56.05/56.22 c #Conflicts: 303000 | #Constraints: 22894
56.05/56.22 c #Conflicts: 304000 | #Constraints: 23979
56.05/56.22 c #Conflicts: 305000 | #Constraints: 25118
56.05/56.22 c #Conflicts: 306000 | #Constraints: 26220
56.05/56.22 c #Conflicts: 307000 | #Constraints: 27819
56.05/56.22 c #Conflicts: 308000 | #Constraints: 29415
56.05/56.22 c #Conflicts: 309000 | #Constraints: 30980
56.05/56.22 c #Conflicts: 310000 | #Constraints: 32514
56.05/56.22 c INPROCESSING
56.05/56.22 c GARBAGE COLLECT
56.05/56.22 c #Conflicts: 311000 | #Constraints: 18019
56.05/56.22 c #Conflicts: 312000 | #Constraints: 19614
56.05/56.22 c #Conflicts: 313000 | #Constraints: 21224
56.05/56.22 c #Conflicts: 314000 | #Constraints: 22797
56.05/56.22 c #Conflicts: 315000 | #Constraints: 24328
56.05/56.22 c #Conflicts: 316000 | #Constraints: 25875
56.05/56.22 c #Conflicts: 317000 | #Constraints: 27396
56.05/56.22 c #Conflicts: 318000 | #Constraints: 28916
56.05/56.22 c #Conflicts: 319000 | #Constraints: 30174
56.05/56.22 c #Conflicts: 320000 | #Constraints: 31567
56.05/56.22 c #Conflicts: 321000 | #Constraints: 33111
56.05/56.22 c INPROCESSING
56.05/56.22 c GARBAGE COLLECT
56.05/56.22 c #Conflicts: 322000 | #Constraints: 17884
56.05/56.22 c #Conflicts: 323000 | #Constraints: 18959
56.05/56.22 c #Conflicts: 324000 | #Constraints: 19964
56.05/56.22 c #Conflicts: 325000 | #Constraints: 21027
56.05/56.22 c #Conflicts: 326000 | #Constraints: 22231
56.05/56.22 c #Conflicts: 327000 | #Constraints: 23232
56.05/56.22 c #Conflicts: 328000 | #Constraints: 24472
56.05/56.22 c #Conflicts: 329000 | #Constraints: 26146
56.05/56.22 c #Conflicts: 330000 | #Constraints: 27757
56.05/56.22 c #Conflicts: 331000 | #Constraints: 29345
56.05/56.22 c #Conflicts: 332000 | #Constraints: 30913
56.05/56.22 c #Conflicts: 333000 | #Constraints: 32497
56.05/56.22 c INPROCESSING
56.05/56.22 c GARBAGE COLLECT
56.05/56.22 c #Conflicts: 334000 | #Constraints: 18023
56.05/56.22 c #Conflicts: 335000 | #Constraints: 19627
56.05/56.22 c #Conflicts: 336000 | #Constraints: 21186
56.05/56.22 c #Conflicts: 337000 | #Constraints: 22753
56.05/56.22 c #Conflicts: 338000 | #Constraints: 24274
56.05/56.22 c #Conflicts: 339000 | #Constraints: 25820
56.05/56.22 c #Conflicts: 340000 | #Constraints: 27391
56.05/56.22 c #Conflicts: 341000 | #Constraints: 28594
56.05/56.22 c #Conflicts: 342000 | #Constraints: 29595
56.05/56.22 c #Conflicts: 343000 | #Constraints: 30665
56.05/56.22 c #Conflicts: 344000 | #Constraints: 31954
56.05/56.22 c #Conflicts: 345000 | #Constraints: 33409
56.05/56.22 c INPROCESSING
56.05/56.22 c GARBAGE COLLECT
56.05/56.22 c #Conflicts: 346000 | #Constraints: 18479
56.05/56.22 c #Conflicts: 347000 | #Constraints: 19635
56.05/56.22 c #Conflicts: 348000 | #Constraints: 21097
56.05/56.22 c #Conflicts: 349000 | #Constraints: 22722
56.05/56.22 c #Conflicts: 350000 | #Constraints: 23794
56.05/56.22 c #Conflicts: 351000 | #Constraints: 25124
56.05/56.22 c #Conflicts: 352000 | #Constraints: 26745
56.05/56.22 c #Conflicts: 353000 | #Constraints: 27973
56.05/56.22 c #Conflicts: 354000 | #Constraints: 29279
56.05/56.22 c #Conflicts: 355000 | #Constraints: 30513
56.05/56.22 c #Conflicts: 356000 | #Constraints: 32112
56.05/56.22 c #Conflicts: 357000 | #Constraints: 33688
56.05/56.22 c INPROCESSING
56.05/56.22 c GARBAGE COLLECT
56.05/56.22 c #Conflicts: 358000 | #Constraints: 18629
56.05/56.22 c #Conflicts: 359000 | #Constraints: 20151
56.05/56.22 c #Conflicts: 360000 | #Constraints: 21689
56.05/56.22 c #Conflicts: 361000 | #Constraints: 23037
71.21/71.40 c #Conflicts: 362000 | #Constraints: 24204
71.21/71.40 c #Conflicts: 363000 | #Constraints: 25570
71.21/71.40 c #Conflicts: 364000 | #Constraints: 27134
71.21/71.40 c #Conflicts: 365000 | #Constraints: 28622
71.21/71.40 c #Conflicts: 366000 | #Constraints: 29687
71.21/71.40 c #Conflicts: 367000 | #Constraints: 31274
71.21/71.40 c #Conflicts: 368000 | #Constraints: 32691
71.21/71.40 c #Conflicts: 369000 | #Constraints: 34296
71.21/71.40 c INPROCESSING
71.21/71.40 c GARBAGE COLLECT
71.21/71.40 c #Conflicts: 370000 | #Constraints: 18852
71.21/71.40 c #Conflicts: 371000 | #Constraints: 20440
71.21/71.40 c #Conflicts: 372000 | #Constraints: 22046
71.21/71.40 c #Conflicts: 373000 | #Constraints: 23618
71.21/71.40 c #Conflicts: 374000 | #Constraints: 25252
71.21/71.40 c #Conflicts: 375000 | #Constraints: 26892
71.21/71.40 c #Conflicts: 376000 | #Constraints: 28509
71.21/71.40 c #Conflicts: 377000 | #Constraints: 30120
71.21/71.40 c #Conflicts: 378000 | #Constraints: 31715
71.21/71.40 c #Conflicts: 379000 | #Constraints: 33281
71.21/71.40 c #Conflicts: 380000 | #Constraints: 34865
71.21/71.40 c #Conflicts: 381000 | #Constraints: 36425
71.21/71.40 c INPROCESSING
71.21/71.40 c GARBAGE COLLECT
71.21/71.40 c #Conflicts: 382000 | #Constraints: 19656
71.21/71.40 c #Conflicts: 383000 | #Constraints: 21222
71.21/71.40 c #Conflicts: 384000 | #Constraints: 22777
71.21/71.40 c #Conflicts: 385000 | #Constraints: 24390
71.21/71.40 c #Conflicts: 386000 | #Constraints: 25994
71.21/71.40 c #Conflicts: 387000 | #Constraints: 27579
71.21/71.40 c #Conflicts: 388000 | #Constraints: 29174
71.21/71.40 c #Conflicts: 389000 | #Constraints: 30720
71.21/71.40 c #Conflicts: 390000 | #Constraints: 32352
71.21/71.40 c #Conflicts: 391000 | #Constraints: 33938
71.21/71.40 c #Conflicts: 392000 | #Constraints: 35552
71.21/71.40 c #Conflicts: 393000 | #Constraints: 37105
71.21/71.40 c #Conflicts: 394000 | #Constraints: 38627
71.21/71.40 c INPROCESSING
71.21/71.40 c GARBAGE COLLECT
71.21/71.40 c #Conflicts: 395000 | #Constraints: 20995
71.21/71.40 c #Conflicts: 396000 | #Constraints: 22500
71.21/71.40 c #Conflicts: 397000 | #Constraints: 23992
71.21/71.40 c #Conflicts: 398000 | #Constraints: 25593
71.21/71.40 c #Conflicts: 399000 | #Constraints: 27216
71.21/71.40 c #Conflicts: 400000 | #Constraints: 28824
71.21/71.40 c #Conflicts: 401000 | #Constraints: 30405
71.21/71.40 c #Conflicts: 402000 | #Constraints: 31963
71.21/71.40 c #Conflicts: 403000 | #Constraints: 33535
71.21/71.40 c #Conflicts: 404000 | #Constraints: 35103
71.21/71.40 c #Conflicts: 405000 | #Constraints: 36691
71.21/71.40 c #Conflicts: 406000 | #Constraints: 38301
71.21/71.40 c #Conflicts: 407000 | #Constraints: 39863
71.21/71.40 c INPROCESSING
71.21/71.40 c GARBAGE COLLECT
71.21/71.40 c #Conflicts: 408000 | #Constraints: 21825
71.21/71.40 c #Conflicts: 409000 | #Constraints: 23444
71.21/71.40 c #Conflicts: 410000 | #Constraints: 25059
71.21/71.40 c #Conflicts: 411000 | #Constraints: 26547
71.21/71.40 c #Conflicts: 412000 | #Constraints: 27839
71.21/71.40 c #Conflicts: 413000 | #Constraints: 29423
71.21/71.40 c #Conflicts: 414000 | #Constraints: 30945
71.21/71.40 c #Conflicts: 415000 | #Constraints: 32310
71.21/71.40 c #Conflicts: 416000 | #Constraints: 33858
71.21/71.40 c #Conflicts: 417000 | #Constraints: 35430
71.21/71.40 c #Conflicts: 418000 | #Constraints: 37064
71.21/71.40 c #Conflicts: 419000 | #Constraints: 38617
71.21/71.40 c #Conflicts: 420000 | #Constraints: 40207
71.21/71.40 c INPROCESSING
71.21/71.40 c GARBAGE COLLECT
71.21/71.40 c #Conflicts: 421000 | #Constraints: 22046
71.21/71.40 c #Conflicts: 422000 | #Constraints: 23536
71.21/71.40 c #Conflicts: 423000 | #Constraints: 25049
71.21/71.40 c #Conflicts: 424000 | #Constraints: 26614
71.21/71.40 c #Conflicts: 425000 | #Constraints: 28173
71.21/71.40 c #Conflicts: 426000 | #Constraints: 29725
71.21/71.40 c #Conflicts: 427000 | #Constraints: 31301
71.21/71.40 c #Conflicts: 428000 | #Constraints: 32900
71.21/71.40 c #Conflicts: 429000 | #Constraints: 34495
71.21/71.40 c #Conflicts: 430000 | #Constraints: 36027
71.21/71.40 c #Conflicts: 431000 | #Constraints: 37611
71.21/71.40 c #Conflicts: 432000 | #Constraints: 39188
71.21/71.40 c #Conflicts: 433000 | #Constraints: 40740
71.21/71.40 c INPROCESSING
71.21/71.40 c GARBAGE COLLECT
71.21/71.40 c #Conflicts: 434000 | #Constraints: 22077
71.21/71.40 c #Conflicts: 435000 | #Constraints: 23601
71.21/71.40 c #Conflicts: 436000 | #Constraints: 25189
86.08/86.37 c #Conflicts: 437000 | #Constraints: 26783
86.08/86.37 c #Conflicts: 438000 | #Constraints: 28394
86.08/86.37 c #Conflicts: 439000 | #Constraints: 30018
86.08/86.37 c #Conflicts: 440000 | #Constraints: 31599
86.08/86.37 c #Conflicts: 441000 | #Constraints: 33156
86.08/86.37 c #Conflicts: 442000 | #Constraints: 34733
86.08/86.37 c #Conflicts: 443000 | #Constraints: 36403
86.08/86.37 c #Conflicts: 444000 | #Constraints: 37965
86.08/86.37 c #Conflicts: 445000 | #Constraints: 39575
86.08/86.37 c #Conflicts: 446000 | #Constraints: 41173
86.08/86.37 c INPROCESSING
86.08/86.37 c GARBAGE COLLECT
86.08/86.37 c #Conflicts: 447000 | #Constraints: 22032
86.08/86.37 c #Conflicts: 448000 | #Constraints: 23685
86.08/86.37 c #Conflicts: 449000 | #Constraints: 25285
86.08/86.37 c #Conflicts: 450000 | #Constraints: 26794
86.08/86.37 c #Conflicts: 451000 | #Constraints: 28305
86.08/86.37 c #Conflicts: 452000 | #Constraints: 29920
86.08/86.37 c #Conflicts: 453000 | #Constraints: 31523
86.08/86.37 c #Conflicts: 454000 | #Constraints: 33064
86.08/86.37 c #Conflicts: 455000 | #Constraints: 34683
86.08/86.37 c #Conflicts: 456000 | #Constraints: 36257
86.08/86.37 c #Conflicts: 457000 | #Constraints: 37816
86.08/86.37 c #Conflicts: 458000 | #Constraints: 39362
86.08/86.37 c #Conflicts: 459000 | #Constraints: 40958
86.08/86.37 c #Conflicts: 460000 | #Constraints: 42545
86.08/86.37 c INPROCESSING
86.08/86.37 c GARBAGE COLLECT
86.08/86.37 c #Conflicts: 461000 | #Constraints: 23000
86.08/86.37 c #Conflicts: 462000 | #Constraints: 24626
86.08/86.37 c #Conflicts: 463000 | #Constraints: 26193
86.08/86.37 c #Conflicts: 464000 | #Constraints: 27807
86.08/86.37 c #Conflicts: 465000 | #Constraints: 29381
86.08/86.37 c #Conflicts: 466000 | #Constraints: 30919
86.08/86.37 c #Conflicts: 467000 | #Constraints: 32434
86.08/86.37 c #Conflicts: 468000 | #Constraints: 33934
86.08/86.37 c #Conflicts: 469000 | #Constraints: 35476
86.08/86.37 c #Conflicts: 470000 | #Constraints: 37035
86.08/86.37 c #Conflicts: 471000 | #Constraints: 38654
86.08/86.37 c #Conflicts: 472000 | #Constraints: 40248
86.08/86.37 c #Conflicts: 473000 | #Constraints: 41801
86.08/86.37 c #Conflicts: 474000 | #Constraints: 43390
86.08/86.37 c INPROCESSING
86.08/86.37 c GARBAGE COLLECT
86.08/86.37 c #Conflicts: 475000 | #Constraints: 23525
86.08/86.37 c #Conflicts: 476000 | #Constraints: 25062
86.08/86.37 c #Conflicts: 477000 | #Constraints: 26552
86.08/86.37 c #Conflicts: 478000 | #Constraints: 28076
86.08/86.37 c #Conflicts: 479000 | #Constraints: 29645
86.08/86.37 c #Conflicts: 480000 | #Constraints: 31198
86.08/86.37 c #Conflicts: 481000 | #Constraints: 32731
86.08/86.37 c #Conflicts: 482000 | #Constraints: 34313
86.08/86.37 c #Conflicts: 483000 | #Constraints: 35855
86.08/86.37 c #Conflicts: 484000 | #Constraints: 37439
86.08/86.37 c #Conflicts: 485000 | #Constraints: 39025
86.08/86.37 c #Conflicts: 486000 | #Constraints: 40660
86.08/86.37 c #Conflicts: 487000 | #Constraints: 42263
86.08/86.37 c #Conflicts: 488000 | #Constraints: 43912
86.08/86.37 c INPROCESSING
86.08/86.37 c GARBAGE COLLECT
86.08/86.37 c #Conflicts: 489000 | #Constraints: 23806
86.08/86.37 c #Conflicts: 490000 | #Constraints: 25296
86.08/86.37 c #Conflicts: 491000 | #Constraints: 26797
86.08/86.37 c #Conflicts: 492000 | #Constraints: 28347
86.08/86.37 c #Conflicts: 493000 | #Constraints: 29841
86.08/86.37 c #Conflicts: 494000 | #Constraints: 31334
86.08/86.37 c #Conflicts: 495000 | #Constraints: 32891
86.08/86.37 c #Conflicts: 496000 | #Constraints: 34467
86.08/86.37 c #Conflicts: 497000 | #Constraints: 35980
86.08/86.37 c #Conflicts: 498000 | #Constraints: 37520
86.08/86.37 c #Conflicts: 499000 | #Constraints: 39075
86.08/86.37 c #Conflicts: 500000 | #Constraints: 40680
86.08/86.37 c #Conflicts: 501000 | #Constraints: 42210
86.08/86.37 c #Conflicts: 502000 | #Constraints: 43210
86.08/86.37 c INPROCESSING
86.08/86.37 c GARBAGE COLLECT
86.08/86.37 c #Conflicts: 503000 | #Constraints: 23194
86.08/86.37 c #Conflicts: 504000 | #Constraints: 24701
86.08/86.37 c #Conflicts: 505000 | #Constraints: 26200
86.08/86.37 c #Conflicts: 506000 | #Constraints: 27270
86.08/86.37 c #Conflicts: 507000 | #Constraints: 28491
86.08/86.37 c #Conflicts: 508000 | #Constraints: 29812
86.08/86.37 c #Conflicts: 509000 | #Constraints: 30852
86.08/86.37 c #Conflicts: 510000 | #Constraints: 31853
86.08/86.37 c #Conflicts: 511000 | #Constraints: 33032
98.45/98.79 c #Conflicts: 512000 | #Constraints: 34107
98.45/98.79 c #Conflicts: 513000 | #Constraints: 35229
98.45/98.79 c #Conflicts: 514000 | #Constraints: 36230
98.45/98.79 c #Conflicts: 515000 | #Constraints: 37278
98.45/98.79 c #Conflicts: 516000 | #Constraints: 38704
98.45/98.79 c INPROCESSING
98.45/98.79 c GARBAGE COLLECT
98.45/98.79 c #Conflicts: 517000 | #Constraints: 20523
98.45/98.79 c #Conflicts: 518000 | #Constraints: 22140
98.45/98.79 c #Conflicts: 519000 | #Constraints: 23685
98.45/98.79 c #Conflicts: 520000 | #Constraints: 25288
98.45/98.79 c #Conflicts: 521000 | #Constraints: 26887
98.45/98.79 c #Conflicts: 522000 | #Constraints: 28540
98.45/98.79 c #Conflicts: 523000 | #Constraints: 29908
98.45/98.79 c #Conflicts: 524000 | #Constraints: 30909
98.45/98.79 c #Conflicts: 525000 | #Constraints: 32175
98.45/98.79 c #Conflicts: 526000 | #Constraints: 33580
98.45/98.79 c #Conflicts: 527000 | #Constraints: 35163
98.45/98.79 c #Conflicts: 528000 | #Constraints: 36540
98.45/98.79 c #Conflicts: 529000 | #Constraints: 37541
98.45/98.79 c #Conflicts: 530000 | #Constraints: 38563
98.45/98.79 c #Conflicts: 531000 | #Constraints: 40179
98.45/98.79 c INPROCESSING
98.45/98.79 c GARBAGE COLLECT
98.45/98.79 c #Conflicts: 532000 | #Constraints: 21853
98.45/98.79 c #Conflicts: 533000 | #Constraints: 23070
98.45/98.79 c #Conflicts: 534000 | #Constraints: 24703
98.45/98.79 c #Conflicts: 535000 | #Constraints: 25858
98.45/98.79 c #Conflicts: 536000 | #Constraints: 26871
98.45/98.79 c #Conflicts: 537000 | #Constraints: 27886
98.45/98.79 c #Conflicts: 538000 | #Constraints: 28933
98.45/98.79 c #Conflicts: 539000 | #Constraints: 30267
98.45/98.79 c #Conflicts: 540000 | #Constraints: 31596
98.45/98.79 c #Conflicts: 541000 | #Constraints: 32606
98.45/98.79 c #Conflicts: 542000 | #Constraints: 33919
98.45/98.79 c #Conflicts: 543000 | #Constraints: 35512
98.45/98.79 c #Conflicts: 544000 | #Constraints: 37063
98.45/98.79 c #Conflicts: 545000 | #Constraints: 38509
98.45/98.79 c #Conflicts: 546000 | #Constraints: 40034
98.45/98.79 c INPROCESSING
98.45/98.79 c GARBAGE COLLECT
98.45/98.79 c #Conflicts: 547000 | #Constraints: 21836
98.45/98.79 c #Conflicts: 548000 | #Constraints: 23239
98.45/98.79 c #Conflicts: 549000 | #Constraints: 24830
98.45/98.79 c #Conflicts: 550000 | #Constraints: 26492
98.45/98.79 c #Conflicts: 551000 | #Constraints: 28076
98.45/98.79 c #Conflicts: 552000 | #Constraints: 29563
98.45/98.79 c #Conflicts: 553000 | #Constraints: 31074
98.45/98.79 c #Conflicts: 554000 | #Constraints: 32589
98.45/98.79 c #Conflicts: 555000 | #Constraints: 34095
98.45/98.79 c #Conflicts: 556000 | #Constraints: 35600
98.45/98.79 c #Conflicts: 557000 | #Constraints: 37102
98.45/98.79 c #Conflicts: 558000 | #Constraints: 38248
98.45/98.79 c #Conflicts: 559000 | #Constraints: 39641
98.45/98.79 c #Conflicts: 560000 | #Constraints: 41121
98.45/98.79 c #Conflicts: 561000 | #Constraints: 42635
98.45/98.79 c INPROCESSING
98.45/98.79 c GARBAGE COLLECT
98.45/98.79 c #Conflicts: 562000 | #Constraints: 23054
98.45/98.79 c #Conflicts: 563000 | #Constraints: 24486
98.45/98.79 c #Conflicts: 564000 | #Constraints: 26057
98.45/98.79 c #Conflicts: 565000 | #Constraints: 27371
98.45/98.79 c #Conflicts: 566000 | #Constraints: 28372
98.45/98.79 c #Conflicts: 567000 | #Constraints: 29375
98.45/98.79 c #Conflicts: 568000 | #Constraints: 30952
98.45/98.79 c #Conflicts: 569000 | #Constraints: 32527
98.45/98.79 c #Conflicts: 570000 | #Constraints: 33699
98.45/98.79 c #Conflicts: 571000 | #Constraints: 34700
98.45/98.79 c #Conflicts: 572000 | #Constraints: 35888
98.45/98.79 c #Conflicts: 573000 | #Constraints: 37378
98.45/98.79 c #Conflicts: 574000 | #Constraints: 38960
98.45/98.79 c #Conflicts: 575000 | #Constraints: 40596
98.45/98.79 c #Conflicts: 576000 | #Constraints: 42261
98.45/98.79 c INPROCESSING
98.45/98.79 c GARBAGE COLLECT
98.45/98.79 c #Conflicts: 577000 | #Constraints: 22845
98.45/98.79 c #Conflicts: 578000 | #Constraints: 24401
98.45/98.79 c #Conflicts: 579000 | #Constraints: 25941
98.45/98.79 c #Conflicts: 580000 | #Constraints: 27468
98.45/98.79 c #Conflicts: 581000 | #Constraints: 28774
98.45/98.79 c #Conflicts: 582000 | #Constraints: 30217
98.45/98.79 c #Conflicts: 583000 | #Constraints: 31217
98.45/98.79 c #Conflicts: 584000 | #Constraints: 32242
98.45/98.79 c #Conflicts: 585000 | #Constraints: 33402
98.45/98.79 c #Conflicts: 586000 | #Constraints: 34760
98.45/98.79 c #Conflicts: 587000 | #Constraints: 36263
112.21/112.51 c #Conflicts: 588000 | #Constraints: 37764
112.21/112.51 c #Conflicts: 589000 | #Constraints: 39101
112.21/112.51 c #Conflicts: 590000 | #Constraints: 40219
112.21/112.51 c #Conflicts: 591000 | #Constraints: 41333
112.21/112.51 c INPROCESSING
112.21/112.51 c GARBAGE COLLECT
112.21/112.51 c #Conflicts: 592000 | #Constraints: 22014
112.21/112.51 c #Conflicts: 593000 | #Constraints: 23592
112.21/112.51 c #Conflicts: 594000 | #Constraints: 25141
112.21/112.51 c #Conflicts: 595000 | #Constraints: 26692
112.21/112.51 c #Conflicts: 596000 | #Constraints: 28225
112.21/112.51 c #Conflicts: 597000 | #Constraints: 29725
112.21/112.51 c #Conflicts: 598000 | #Constraints: 31232
112.21/112.51 c #Conflicts: 599000 | #Constraints: 32736
112.21/112.51 c #Conflicts: 600000 | #Constraints: 34274
112.21/112.51 c #Conflicts: 601000 | #Constraints: 35808
112.21/112.51 c #Conflicts: 602000 | #Constraints: 37302
112.21/112.51 c #Conflicts: 603000 | #Constraints: 38920
112.21/112.51 c #Conflicts: 604000 | #Constraints: 40477
112.21/112.51 c #Conflicts: 605000 | #Constraints: 42050
112.21/112.51 c #Conflicts: 606000 | #Constraints: 43615
112.21/112.57 c #Conflicts: 607000 | #Constraints: 45180
112.21/112.57 c INPROCESSING
112.21/112.57 c GARBAGE COLLECT
112.21/112.57 c #Conflicts: 608000 | #Constraints: 24260
112.21/112.57 c #Conflicts: 609000 | #Constraints: 25766
112.21/112.57 c #Conflicts: 610000 | #Constraints: 27253
112.21/112.57 c #Conflicts: 611000 | #Constraints: 28743
112.21/112.57 c #Conflicts: 612000 | #Constraints: 30250
112.21/112.57 c #Conflicts: 613000 | #Constraints: 31747
112.21/112.57 c #Conflicts: 614000 | #Constraints: 33261
112.21/112.57 c #Conflicts: 615000 | #Constraints: 34763
112.21/112.57 c #Conflicts: 616000 | #Constraints: 36291
112.21/112.57 c #Conflicts: 617000 | #Constraints: 37875
112.21/112.57 c #Conflicts: 618000 | #Constraints: 38956
112.21/112.57 c #Conflicts: 619000 | #Constraints: 40102
112.21/112.57 c #Conflicts: 620000 | #Constraints: 41238
112.21/112.57 c #Conflicts: 621000 | #Constraints: 42251
112.21/112.57 c #Conflicts: 622000 | #Constraints: 43627
112.21/112.57 c #Conflicts: 623000 | #Constraints: 45273
112.21/112.57 c INPROCESSING
112.21/112.57 c GARBAGE COLLECT
112.21/112.57 c #Conflicts: 624000 | #Constraints: 24514
112.21/112.57 c #Conflicts: 625000 | #Constraints: 25554
112.21/112.57 c #Conflicts: 626000 | #Constraints: 26790
112.21/112.57 c #Conflicts: 627000 | #Constraints: 27975
112.21/112.57 c #Conflicts: 628000 | #Constraints: 29218
112.21/112.57 c #Conflicts: 629000 | #Constraints: 30559
112.21/112.57 c #Conflicts: 630000 | #Constraints: 31834
112.21/112.57 c #Conflicts: 631000 | #Constraints: 33234
112.21/112.57 c #Conflicts: 632000 | #Constraints: 34849
112.21/112.57 c #Conflicts: 633000 | #Constraints: 36472
112.21/112.57 c #Conflicts: 634000 | #Constraints: 38020
112.21/112.57 c #Conflicts: 635000 | #Constraints: 39614
112.21/112.57 c #Conflicts: 636000 | #Constraints: 41191
112.21/112.57 c #Conflicts: 637000 | #Constraints: 42750
112.21/112.57 c #Conflicts: 638000 | #Constraints: 44315
112.21/112.57 c #Conflicts: 639000 | #Constraints: 45916
112.21/112.57 c INPROCESSING
112.21/112.57 c GARBAGE COLLECT
112.21/112.57 c #Conflicts: 640000 | #Constraints: 24863
112.21/112.57 c #Conflicts: 641000 | #Constraints: 26395
112.21/112.57 c #Conflicts: 642000 | #Constraints: 27755
112.21/112.57 c #Conflicts: 643000 | #Constraints: 29232
112.21/112.58 c #Conflicts: 644000 | #Constraints: 30812
112.21/112.58 c #Conflicts: 645000 | #Constraints: 32048
112.21/112.58 c #Conflicts: 646000 | #Constraints: 33412
112.21/112.58 c #Conflicts: 647000 | #Constraints: 34475
112.21/112.58 c #Conflicts: 648000 | #Constraints: 35610
112.21/112.58 c #Conflicts: 649000 | #Constraints: 36827
112.21/112.58 c #Conflicts: 650000 | #Constraints: 38502
112.21/112.58 c #Conflicts: 651000 | #Constraints: 40049
112.21/112.58 c #Conflicts: 652000 | #Constraints: 41564
112.21/112.58 c #Conflicts: 653000 | #Constraints: 43102
112.21/112.58 c #Conflicts: 654000 | #Constraints: 44711
112.21/112.58 c #Conflicts: 655000 | #Constraints: 46315
112.21/112.58 c INPROCESSING
112.21/112.58 c GARBAGE COLLECT
112.21/112.58 c #Conflicts: 656000 | #Constraints: 24850
112.21/112.58 c #Conflicts: 657000 | #Constraints: 26149
112.21/112.58 c #Conflicts: 658000 | #Constraints: 27171
112.21/112.58 c #Conflicts: 659000 | #Constraints: 28180
112.21/112.58 c #Conflicts: 660000 | #Constraints: 29180
112.21/112.58 c #Conflicts: 661000 | #Constraints: 30332
112.21/112.58 c #Conflicts: 662000 | #Constraints: 31375
125.68/126.06 c #Conflicts: 663000 | #Constraints: 32478
125.68/126.06 c #Conflicts: 664000 | #Constraints: 33499
125.68/126.06 c #Conflicts: 665000 | #Constraints: 34576
125.68/126.06 c #Conflicts: 666000 | #Constraints: 36087
125.68/126.06 c #Conflicts: 667000 | #Constraints: 37254
125.68/126.06 c #Conflicts: 668000 | #Constraints: 38290
125.68/126.06 c #Conflicts: 669000 | #Constraints: 39392
125.68/126.06 c #Conflicts: 670000 | #Constraints: 40470
125.68/126.06 c #Conflicts: 671000 | #Constraints: 42017
125.68/126.06 c INPROCESSING
125.68/126.06 c GARBAGE COLLECT
125.68/126.06 c #Conflicts: 672000 | #Constraints: 22199
125.68/126.06 c #Conflicts: 673000 | #Constraints: 23259
125.68/126.06 c #Conflicts: 674000 | #Constraints: 24480
125.68/126.06 c #Conflicts: 675000 | #Constraints: 26045
125.68/126.06 c #Conflicts: 676000 | #Constraints: 27573
125.68/126.06 c #Conflicts: 677000 | #Constraints: 29138
125.68/126.06 c #Conflicts: 678000 | #Constraints: 30741
125.68/126.06 c #Conflicts: 679000 | #Constraints: 32372
125.68/126.06 c #Conflicts: 680000 | #Constraints: 33946
125.68/126.06 c #Conflicts: 681000 | #Constraints: 35517
125.68/126.06 c #Conflicts: 682000 | #Constraints: 37101
125.68/126.06 c #Conflicts: 683000 | #Constraints: 38674
125.68/126.06 c #Conflicts: 684000 | #Constraints: 40220
125.68/126.06 c #Conflicts: 685000 | #Constraints: 41529
125.68/126.06 c #Conflicts: 686000 | #Constraints: 42886
125.68/126.06 c #Conflicts: 687000 | #Constraints: 44401
125.68/126.06 c #Conflicts: 688000 | #Constraints: 45675
125.68/126.06 c INPROCESSING
125.68/126.06 c GARBAGE COLLECT
125.68/126.06 c #Conflicts: 689000 | #Constraints: 24263
125.68/126.06 c #Conflicts: 690000 | #Constraints: 25306
125.68/126.06 c #Conflicts: 691000 | #Constraints: 26715
125.68/126.06 c #Conflicts: 692000 | #Constraints: 28300
125.68/126.06 c #Conflicts: 693000 | #Constraints: 29347
125.68/126.06 c #Conflicts: 694000 | #Constraints: 30575
125.68/126.06 c #Conflicts: 695000 | #Constraints: 32163
125.68/126.06 c #Conflicts: 696000 | #Constraints: 33776
125.68/126.06 c #Conflicts: 697000 | #Constraints: 35383
125.68/126.06 c #Conflicts: 698000 | #Constraints: 36977
125.68/126.06 c #Conflicts: 699000 | #Constraints: 38485
125.68/126.06 c #Conflicts: 700000 | #Constraints: 39996
125.68/126.06 c #Conflicts: 701000 | #Constraints: 41495
125.68/126.06 c #Conflicts: 702000 | #Constraints: 42987
125.68/126.06 c #Conflicts: 703000 | #Constraints: 44496
125.68/126.06 c #Conflicts: 704000 | #Constraints: 46001
125.68/126.06 c #Conflicts: 705000 | #Constraints: 47560
125.68/126.06 c INPROCESSING
125.68/126.06 c GARBAGE COLLECT
125.68/126.06 c #Conflicts: 706000 | #Constraints: 25638
125.68/126.06 c #Conflicts: 707000 | #Constraints: 27076
125.68/126.06 c #Conflicts: 708000 | #Constraints: 28097
125.68/126.06 c #Conflicts: 709000 | #Constraints: 29556
125.68/126.06 c #Conflicts: 710000 | #Constraints: 31066
125.68/126.06 c #Conflicts: 711000 | #Constraints: 32578
125.68/126.06 c #Conflicts: 712000 | #Constraints: 34128
125.68/126.06 c #Conflicts: 713000 | #Constraints: 35652
125.68/126.06 c #Conflicts: 714000 | #Constraints: 37000
125.68/126.06 c #Conflicts: 715000 | #Constraints: 38009
125.68/126.06 c #Conflicts: 716000 | #Constraints: 39351
125.68/126.06 c #Conflicts: 717000 | #Constraints: 40374
125.68/126.06 c #Conflicts: 718000 | #Constraints: 41447
125.68/126.06 c #Conflicts: 719000 | #Constraints: 42448
125.68/126.06 c #Conflicts: 720000 | #Constraints: 43644
125.68/126.06 c #Conflicts: 721000 | #Constraints: 45224
125.68/126.06 c #Conflicts: 722000 | #Constraints: 46472
125.68/126.06 c INPROCESSING
125.68/126.06 c GARBAGE COLLECT
125.68/126.06 c #Conflicts: 723000 | #Constraints: 24647
125.68/126.06 c #Conflicts: 724000 | #Constraints: 25663
125.68/126.06 c #Conflicts: 725000 | #Constraints: 27007
125.68/126.06 c #Conflicts: 726000 | #Constraints: 28515
125.68/126.06 c #Conflicts: 727000 | #Constraints: 30068
125.68/126.06 c #Conflicts: 728000 | #Constraints: 31658
125.68/126.06 c #Conflicts: 729000 | #Constraints: 33077
125.68/126.06 c #Conflicts: 730000 | #Constraints: 34584
125.68/126.06 c #Conflicts: 731000 | #Constraints: 36180
125.68/126.06 c #Conflicts: 732000 | #Constraints: 37710
125.68/126.06 c #Conflicts: 733000 | #Constraints: 39273
125.68/126.06 c #Conflicts: 734000 | #Constraints: 40773
125.68/126.06 c #Conflicts: 735000 | #Constraints: 42309
125.68/126.06 c #Conflicts: 736000 | #Constraints: 43812
125.68/126.06 c #Conflicts: 737000 | #Constraints: 45351
125.68/126.06 c #Conflicts: 738000 | #Constraints: 46900
125.68/126.06 c #Conflicts: 739000 | #Constraints: 48391
140.54/140.97 c INPROCESSING
140.54/140.97 c GARBAGE COLLECT
140.54/140.97 c #Conflicts: 740000 | #Constraints: 25958
140.54/140.97 c #Conflicts: 741000 | #Constraints: 27573
140.54/140.97 c #Conflicts: 742000 | #Constraints: 29204
140.54/140.97 c #Conflicts: 743000 | #Constraints: 30810
140.54/140.97 c #Conflicts: 744000 | #Constraints: 32360
140.54/140.97 c #Conflicts: 745000 | #Constraints: 33932
140.54/140.97 c #Conflicts: 746000 | #Constraints: 35470
140.54/140.97 c #Conflicts: 747000 | #Constraints: 37010
140.54/140.97 c #Conflicts: 748000 | #Constraints: 38570
140.54/140.97 c #Conflicts: 749000 | #Constraints: 40146
140.54/140.97 c #Conflicts: 750000 | #Constraints: 41713
140.54/140.97 c #Conflicts: 751000 | #Constraints: 43211
140.54/140.97 c #Conflicts: 752000 | #Constraints: 44737
140.54/140.97 c #Conflicts: 753000 | #Constraints: 45863
140.54/140.97 c #Conflicts: 754000 | #Constraints: 47494
140.54/140.97 c #Conflicts: 755000 | #Constraints: 49081
140.54/140.97 c #Conflicts: 756000 | #Constraints: 50620
140.54/140.97 c INPROCESSING
140.54/140.97 c GARBAGE COLLECT
140.54/140.97 c #Conflicts: 757000 | #Constraints: 26509
140.54/140.97 c #Conflicts: 758000 | #Constraints: 27703
140.54/140.97 c #Conflicts: 759000 | #Constraints: 28705
140.54/140.97 c #Conflicts: 760000 | #Constraints: 30010
140.54/140.97 c #Conflicts: 761000 | #Constraints: 31594
140.54/140.97 c #Conflicts: 762000 | #Constraints: 33152
140.54/140.97 c #Conflicts: 763000 | #Constraints: 34697
140.54/140.97 c #Conflicts: 764000 | #Constraints: 36348
140.54/140.97 c #Conflicts: 765000 | #Constraints: 37922
140.54/140.97 c #Conflicts: 766000 | #Constraints: 39485
140.54/140.97 c #Conflicts: 767000 | #Constraints: 41055
140.54/140.97 c #Conflicts: 768000 | #Constraints: 42433
140.54/140.97 c #Conflicts: 769000 | #Constraints: 43621
140.54/140.97 c #Conflicts: 770000 | #Constraints: 44762
140.54/140.97 c #Conflicts: 771000 | #Constraints: 45777
140.54/140.97 c #Conflicts: 772000 | #Constraints: 46890
140.54/140.97 c #Conflicts: 773000 | #Constraints: 47959
140.54/140.97 c #Conflicts: 774000 | #Constraints: 49505
140.54/140.97 c INPROCESSING
140.54/140.97 c GARBAGE COLLECT
140.54/140.97 c #Conflicts: 775000 | #Constraints: 26441
140.54/140.97 c #Conflicts: 776000 | #Constraints: 27537
140.54/140.97 c #Conflicts: 777000 | #Constraints: 28944
140.54/140.97 c #Conflicts: 778000 | #Constraints: 30510
140.54/140.97 c #Conflicts: 779000 | #Constraints: 32133
140.54/140.97 c #Conflicts: 780000 | #Constraints: 33482
140.54/140.97 c #Conflicts: 781000 | #Constraints: 34494
140.54/140.97 c #Conflicts: 782000 | #Constraints: 35494
140.54/140.97 c #Conflicts: 783000 | #Constraints: 36956
140.54/140.97 c #Conflicts: 784000 | #Constraints: 38553
140.54/140.97 c #Conflicts: 785000 | #Constraints: 40140
140.54/140.97 c #Conflicts: 786000 | #Constraints: 41653
140.54/140.97 c #Conflicts: 787000 | #Constraints: 43236
140.54/140.97 c #Conflicts: 788000 | #Constraints: 44816
140.54/140.97 c #Conflicts: 789000 | #Constraints: 46391
140.54/140.97 c #Conflicts: 790000 | #Constraints: 47985
140.54/140.97 c #Conflicts: 791000 | #Constraints: 49575
140.54/140.97 c #Conflicts: 792000 | #Constraints: 51167
140.54/140.97 c INPROCESSING
140.54/140.97 c GARBAGE COLLECT
140.54/140.97 c #Conflicts: 793000 | #Constraints: 27480
140.54/140.97 c #Conflicts: 794000 | #Constraints: 29031
140.54/140.97 c #Conflicts: 795000 | #Constraints: 30620
140.54/140.97 c #Conflicts: 796000 | #Constraints: 32269
140.54/140.97 c #Conflicts: 797000 | #Constraints: 33846
140.54/140.97 c #Conflicts: 798000 | #Constraints: 35392
140.54/140.97 c #Conflicts: 799000 | #Constraints: 36954
140.54/140.97 c #Conflicts: 800000 | #Constraints: 38492
140.54/140.97 c #Conflicts: 801000 | #Constraints: 40063
140.54/140.97 c #Conflicts: 802000 | #Constraints: 41650
140.54/140.97 c #Conflicts: 803000 | #Constraints: 43206
140.54/140.97 c #Conflicts: 804000 | #Constraints: 44218
140.54/140.97 c #Conflicts: 805000 | #Constraints: 45219
140.54/140.97 c #Conflicts: 806000 | #Constraints: 46366
140.54/140.97 c #Conflicts: 807000 | #Constraints: 47966
140.54/140.97 c #Conflicts: 808000 | #Constraints: 49561
140.54/140.97 c #Conflicts: 809000 | #Constraints: 50632
140.54/140.97 c #Conflicts: 810000 | #Constraints: 52129
140.54/140.97 c INPROCESSING
140.54/140.97 c GARBAGE COLLECT
140.54/140.97 c #Conflicts: 811000 | #Constraints: 27835
140.54/140.97 c #Conflicts: 812000 | #Constraints: 29217
140.54/140.97 c #Conflicts: 813000 | #Constraints: 30222
140.54/140.97 c #Conflicts: 814000 | #Constraints: 31502
153.62/154.06 c #Conflicts: 815000 | #Constraints: 32513
153.62/154.06 c #Conflicts: 816000 | #Constraints: 33513
153.62/154.06 c #Conflicts: 817000 | #Constraints: 34514
153.62/154.06 c #Conflicts: 818000 | #Constraints: 35816
153.62/154.06 c #Conflicts: 819000 | #Constraints: 37084
153.62/154.06 c #Conflicts: 820000 | #Constraints: 38547
153.62/154.06 c #Conflicts: 821000 | #Constraints: 40130
153.62/154.06 c #Conflicts: 822000 | #Constraints: 41364
153.62/154.06 c #Conflicts: 823000 | #Constraints: 42973
153.62/154.06 c #Conflicts: 824000 | #Constraints: 44508
153.62/154.06 c #Conflicts: 825000 | #Constraints: 46005
153.62/154.06 c #Conflicts: 826000 | #Constraints: 47500
153.62/154.06 c #Conflicts: 827000 | #Constraints: 49048
153.62/154.06 c #Conflicts: 828000 | #Constraints: 50650
153.62/154.06 c INPROCESSING
153.62/154.06 c GARBAGE COLLECT
153.62/154.06 c #Conflicts: 829000 | #Constraints: 26760
153.62/154.06 c #Conflicts: 830000 | #Constraints: 27955
153.62/154.06 c #Conflicts: 831000 | #Constraints: 29001
153.62/154.06 c #Conflicts: 832000 | #Constraints: 30022
153.62/154.06 c #Conflicts: 833000 | #Constraints: 31095
153.62/154.06 c #Conflicts: 834000 | #Constraints: 32307
153.62/154.06 c #Conflicts: 835000 | #Constraints: 33754
153.62/154.06 c #Conflicts: 836000 | #Constraints: 35336
153.62/154.06 c #Conflicts: 837000 | #Constraints: 36925
153.62/154.06 c #Conflicts: 838000 | #Constraints: 38523
153.62/154.06 c #Conflicts: 839000 | #Constraints: 40085
153.62/154.06 c #Conflicts: 840000 | #Constraints: 41648
153.62/154.06 c #Conflicts: 841000 | #Constraints: 43263
153.62/154.06 c #Conflicts: 842000 | #Constraints: 44856
153.62/154.06 c #Conflicts: 843000 | #Constraints: 46437
153.62/154.06 c #Conflicts: 844000 | #Constraints: 48041
153.62/154.06 c #Conflicts: 845000 | #Constraints: 49653
153.62/154.06 c #Conflicts: 846000 | #Constraints: 51262
153.62/154.06 c INPROCESSING
153.62/154.06 c GARBAGE COLLECT
153.62/154.06 c #Conflicts: 847000 | #Constraints: 27057
153.62/154.06 c #Conflicts: 848000 | #Constraints: 28574
153.62/154.06 c #Conflicts: 849000 | #Constraints: 30190
153.62/154.06 c #Conflicts: 850000 | #Constraints: 31774
153.62/154.06 c #Conflicts: 851000 | #Constraints: 33296
153.62/154.06 c #Conflicts: 852000 | #Constraints: 34809
153.62/154.06 c #Conflicts: 853000 | #Constraints: 36057
153.62/154.06 c #Conflicts: 854000 | #Constraints: 37655
153.62/154.06 c #Conflicts: 855000 | #Constraints: 39183
153.62/154.06 c #Conflicts: 856000 | #Constraints: 40747
153.62/154.06 c #Conflicts: 857000 | #Constraints: 41953
153.62/154.06 c #Conflicts: 858000 | #Constraints: 43320
153.62/154.06 c #Conflicts: 859000 | #Constraints: 44882
153.62/154.06 c #Conflicts: 860000 | #Constraints: 45958
153.62/154.06 c #Conflicts: 861000 | #Constraints: 46961
153.62/154.06 c #Conflicts: 862000 | #Constraints: 48460
153.62/154.06 c #Conflicts: 863000 | #Constraints: 49961
153.62/154.06 c #Conflicts: 864000 | #Constraints: 51318
153.62/154.06 c #Conflicts: 865000 | #Constraints: 52320
153.62/154.06 c INPROCESSING
153.62/154.06 c GARBAGE COLLECT
153.62/154.06 c #Conflicts: 866000 | #Constraints: 27635
153.62/154.06 c #Conflicts: 867000 | #Constraints: 29216
153.62/154.06 c #Conflicts: 868000 | #Constraints: 30807
153.62/154.06 c #Conflicts: 869000 | #Constraints: 32028
153.62/154.06 c #Conflicts: 870000 | #Constraints: 33142
153.62/154.06 c #Conflicts: 871000 | #Constraints: 34505
153.62/154.06 c #Conflicts: 872000 | #Constraints: 36061
153.62/154.06 c #Conflicts: 873000 | #Constraints: 37494
153.62/154.06 c #Conflicts: 874000 | #Constraints: 38904
153.62/154.06 c #Conflicts: 875000 | #Constraints: 40177
153.62/154.06 c #Conflicts: 876000 | #Constraints: 41231
153.62/154.06 c #Conflicts: 877000 | #Constraints: 42296
153.62/154.06 c #Conflicts: 878000 | #Constraints: 43583
153.62/154.06 c #Conflicts: 879000 | #Constraints: 44636
153.62/154.06 c #Conflicts: 880000 | #Constraints: 45637
153.62/154.06 c #Conflicts: 881000 | #Constraints: 46915
153.62/154.06 c #Conflicts: 882000 | #Constraints: 48348
153.62/154.06 c #Conflicts: 883000 | #Constraints: 49352
153.62/154.06 c #Conflicts: 884000 | #Constraints: 50414
153.62/154.06 c INPROCESSING
153.62/154.06 c GARBAGE COLLECT
153.62/154.06 c #Conflicts: 885000 | #Constraints: 26650
153.62/154.06 c #Conflicts: 886000 | #Constraints: 27869
153.62/154.06 c #Conflicts: 887000 | #Constraints: 28870
153.62/154.06 c #Conflicts: 888000 | #Constraints: 29873
153.62/154.06 c #Conflicts: 889000 | #Constraints: 31066
153.62/154.06 c #Conflicts: 890000 | #Constraints: 32555
166.28/166.71 c #Conflicts: 891000 | #Constraints: 34105
166.28/166.71 c #Conflicts: 892000 | #Constraints: 35679
166.28/166.71 c #Conflicts: 893000 | #Constraints: 37243
166.28/166.71 c #Conflicts: 894000 | #Constraints: 38395
166.28/166.71 c #Conflicts: 895000 | #Constraints: 39397
166.28/166.71 c #Conflicts: 896000 | #Constraints: 40621
166.28/166.71 c #Conflicts: 897000 | #Constraints: 41902
166.28/166.71 c #Conflicts: 898000 | #Constraints: 42977
166.28/166.71 c #Conflicts: 899000 | #Constraints: 43978
166.28/166.71 c #Conflicts: 900000 | #Constraints: 45276
166.28/166.71 c #Conflicts: 901000 | #Constraints: 46419
166.28/166.71 c #Conflicts: 902000 | #Constraints: 47674
166.28/166.71 c #Conflicts: 903000 | #Constraints: 48675
166.28/166.71 c INPROCESSING
166.28/166.71 c GARBAGE COLLECT
166.28/166.71 c #Conflicts: 904000 | #Constraints: 26222
166.28/166.71 c #Conflicts: 905000 | #Constraints: 27496
166.28/166.71 c #Conflicts: 906000 | #Constraints: 28497
166.28/166.71 c #Conflicts: 907000 | #Constraints: 29498
166.28/166.71 c #Conflicts: 908000 | #Constraints: 30499
166.28/166.71 c #Conflicts: 909000 | #Constraints: 31501
166.28/166.71 c #Conflicts: 910000 | #Constraints: 32597
166.28/166.71 c #Conflicts: 911000 | #Constraints: 33792
166.28/166.71 c #Conflicts: 912000 | #Constraints: 35020
166.28/166.71 c #Conflicts: 913000 | #Constraints: 36227
166.28/166.71 c #Conflicts: 914000 | #Constraints: 37333
166.28/166.71 c #Conflicts: 915000 | #Constraints: 38334
166.28/166.71 c #Conflicts: 916000 | #Constraints: 39582
166.28/166.71 c #Conflicts: 917000 | #Constraints: 40769
166.28/166.71 c #Conflicts: 918000 | #Constraints: 41770
166.28/166.71 c #Conflicts: 919000 | #Constraints: 43141
166.28/166.71 c #Conflicts: 920000 | #Constraints: 44490
166.28/166.71 c #Conflicts: 921000 | #Constraints: 45744
166.28/166.71 c #Conflicts: 922000 | #Constraints: 46934
166.28/166.71 c INPROCESSING
166.28/166.71 c GARBAGE COLLECT
166.28/166.71 c #Conflicts: 923000 | #Constraints: 25220
166.28/166.71 c #Conflicts: 924000 | #Constraints: 26755
166.28/166.71 c #Conflicts: 925000 | #Constraints: 27958
166.28/166.71 c #Conflicts: 926000 | #Constraints: 29383
166.28/166.71 c #Conflicts: 927000 | #Constraints: 31005
166.28/166.71 c #Conflicts: 928000 | #Constraints: 32579
166.28/166.71 c #Conflicts: 929000 | #Constraints: 34127
166.28/166.71 c #Conflicts: 930000 | #Constraints: 35614
166.28/166.71 c #Conflicts: 931000 | #Constraints: 37109
166.28/166.71 c #Conflicts: 932000 | #Constraints: 38492
166.28/166.71 c #Conflicts: 933000 | #Constraints: 39508
166.28/166.71 c #Conflicts: 934000 | #Constraints: 40508
166.28/166.71 c #Conflicts: 935000 | #Constraints: 41546
166.28/166.71 c #Conflicts: 936000 | #Constraints: 42580
166.28/166.71 c #Conflicts: 937000 | #Constraints: 43742
166.28/166.71 c #Conflicts: 938000 | #Constraints: 44989
166.28/166.71 c #Conflicts: 939000 | #Constraints: 46470
166.28/166.71 c #Conflicts: 940000 | #Constraints: 47494
166.28/166.71 c #Conflicts: 941000 | #Constraints: 48985
166.28/166.71 c INPROCESSING
166.28/166.71 c GARBAGE COLLECT
166.28/166.71 c #Conflicts: 942000 | #Constraints: 25869
166.28/166.71 c #Conflicts: 943000 | #Constraints: 27449
166.28/166.71 c #Conflicts: 944000 | #Constraints: 28846
166.28/166.71 c #Conflicts: 945000 | #Constraints: 29997
166.28/166.71 c #Conflicts: 946000 | #Constraints: 30998
166.28/166.71 c #Conflicts: 947000 | #Constraints: 32278
166.28/166.71 c #Conflicts: 948000 | #Constraints: 33710
166.28/166.71 c #Conflicts: 949000 | #Constraints: 35153
166.28/166.71 c #Conflicts: 950000 | #Constraints: 36767
166.28/166.71 c #Conflicts: 951000 | #Constraints: 38424
166.28/166.71 c #Conflicts: 952000 | #Constraints: 40033
166.28/166.71 c #Conflicts: 953000 | #Constraints: 41634
166.28/166.71 c #Conflicts: 954000 | #Constraints: 43164
166.28/166.71 c #Conflicts: 955000 | #Constraints: 44714
166.28/166.71 c #Conflicts: 956000 | #Constraints: 46319
166.28/166.71 c #Conflicts: 957000 | #Constraints: 47890
166.28/166.71 c #Conflicts: 958000 | #Constraints: 49423
166.28/166.71 c #Conflicts: 959000 | #Constraints: 50988
166.28/166.71 c #Conflicts: 960000 | #Constraints: 52579
166.28/166.71 c #Conflicts: 961000 | #Constraints: 54138
166.28/166.71 c INPROCESSING
166.28/166.71 c GARBAGE COLLECT
166.28/166.71 c #Conflicts: 962000 | #Constraints: 28762
166.28/166.71 c #Conflicts: 963000 | #Constraints: 30275
166.28/166.71 c #Conflicts: 964000 | #Constraints: 31780
166.28/166.71 c #Conflicts: 965000 | #Constraints: 33306
166.28/166.71 c #Conflicts: 966000 | #Constraints: 34827
166.28/166.71 c #Conflicts: 967000 | #Constraints: 36346
180.64/181.18 c #Conflicts: 968000 | #Constraints: 37858
180.64/181.18 c #Conflicts: 969000 | #Constraints: 39360
180.64/181.18 c #Conflicts: 970000 | #Constraints: 40551
180.64/181.18 c #Conflicts: 971000 | #Constraints: 41577
180.64/181.18 c #Conflicts: 972000 | #Constraints: 42712
180.64/181.18 c #Conflicts: 973000 | #Constraints: 43768
180.64/181.18 c #Conflicts: 974000 | #Constraints: 44769
180.64/181.18 c #Conflicts: 975000 | #Constraints: 45769
180.64/181.18 c #Conflicts: 976000 | #Constraints: 46903
180.64/181.18 c #Conflicts: 977000 | #Constraints: 47954
180.64/181.18 c #Conflicts: 978000 | #Constraints: 48990
180.64/181.18 c #Conflicts: 979000 | #Constraints: 50368
180.64/181.18 c #Conflicts: 980000 | #Constraints: 51528
180.64/181.18 c #Conflicts: 981000 | #Constraints: 52598
180.64/181.18 c INPROCESSING
180.64/181.18 c GARBAGE COLLECT
180.64/181.18 c #Conflicts: 982000 | #Constraints: 27731
180.64/181.18 c #Conflicts: 983000 | #Constraints: 28947
180.64/181.18 c #Conflicts: 984000 | #Constraints: 30058
180.64/181.18 c #Conflicts: 985000 | #Constraints: 31094
180.64/181.18 c #Conflicts: 986000 | #Constraints: 32094
180.64/181.18 c #Conflicts: 987000 | #Constraints: 33473
180.64/181.18 c #Conflicts: 988000 | #Constraints: 35099
180.64/181.18 c #Conflicts: 989000 | #Constraints: 36582
180.64/181.18 c #Conflicts: 990000 | #Constraints: 37583
180.64/181.18 c #Conflicts: 991000 | #Constraints: 38781
180.64/181.18 c #Conflicts: 992000 | #Constraints: 40347
180.64/181.18 c #Conflicts: 993000 | #Constraints: 41705
180.64/181.18 c #Conflicts: 994000 | #Constraints: 42706
180.64/181.18 c #Conflicts: 995000 | #Constraints: 43765
180.64/181.18 c #Conflicts: 996000 | #Constraints: 44821
180.64/181.18 c #Conflicts: 997000 | #Constraints: 46495
180.64/181.18 c #Conflicts: 998000 | #Constraints: 48117
180.64/181.18 c #Conflicts: 999000 | #Constraints: 49736
180.64/181.18 c #Conflicts: 1000000 | #Constraints: 51300
180.64/181.18 c #Conflicts: 1001000 | #Constraints: 52856
180.64/181.18 c INPROCESSING
180.64/181.18 c GARBAGE COLLECT
180.64/181.18 c #Conflicts: 1002000 | #Constraints: 28296
180.64/181.18 c #Conflicts: 1003000 | #Constraints: 29851
180.64/181.18 c #Conflicts: 1004000 | #Constraints: 31344
180.64/181.18 c #Conflicts: 1005000 | #Constraints: 32852
180.64/181.18 c #Conflicts: 1006000 | #Constraints: 34319
180.64/181.18 c #Conflicts: 1007000 | #Constraints: 35774
180.64/181.18 c #Conflicts: 1008000 | #Constraints: 37204
180.64/181.18 c #Conflicts: 1009000 | #Constraints: 38226
180.64/181.18 c #Conflicts: 1010000 | #Constraints: 39606
180.64/181.18 c #Conflicts: 1011000 | #Constraints: 41088
180.64/181.18 c #Conflicts: 1012000 | #Constraints: 42213
180.64/181.18 c #Conflicts: 1013000 | #Constraints: 43547
180.64/181.18 c #Conflicts: 1014000 | #Constraints: 44548
180.64/181.18 c #Conflicts: 1015000 | #Constraints: 45557
180.64/181.18 c #Conflicts: 1016000 | #Constraints: 47094
180.64/181.18 c #Conflicts: 1017000 | #Constraints: 48673
180.64/181.18 c #Conflicts: 1018000 | #Constraints: 50269
180.64/181.18 c #Conflicts: 1019000 | #Constraints: 51838
180.64/181.18 c #Conflicts: 1020000 | #Constraints: 53387
180.64/181.18 c #Conflicts: 1021000 | #Constraints: 54916
180.64/181.18 c INPROCESSING
180.64/181.18 c GARBAGE COLLECT
180.64/181.18 c #Conflicts: 1022000 | #Constraints: 28692
180.64/181.18 c #Conflicts: 1023000 | #Constraints: 30194
180.64/181.18 c #Conflicts: 1024000 | #Constraints: 31569
180.64/181.18 c #Conflicts: 1025000 | #Constraints: 32574
180.64/181.18 c #Conflicts: 1026000 | #Constraints: 34050
180.64/181.18 c #Conflicts: 1027000 | #Constraints: 35667
180.64/181.18 c #Conflicts: 1028000 | #Constraints: 37238
180.64/181.18 c #Conflicts: 1029000 | #Constraints: 38828
180.64/181.18 c #Conflicts: 1030000 | #Constraints: 40390
180.64/181.18 c #Conflicts: 1031000 | #Constraints: 41960
180.64/181.18 c #Conflicts: 1032000 | #Constraints: 43525
180.64/181.18 c #Conflicts: 1033000 | #Constraints: 45123
180.64/181.18 c #Conflicts: 1034000 | #Constraints: 46769
180.64/181.18 c #Conflicts: 1035000 | #Constraints: 48374
180.64/181.18 c #Conflicts: 1036000 | #Constraints: 49983
180.64/181.18 c #Conflicts: 1037000 | #Constraints: 51578
180.64/181.18 c #Conflicts: 1038000 | #Constraints: 53238
180.64/181.18 c #Conflicts: 1039000 | #Constraints: 54844
180.64/181.18 c #Conflicts: 1040000 | #Constraints: 56430
180.64/181.18 c #Conflicts: 1041000 | #Constraints: 58044
180.64/181.18 c INPROCESSING
180.64/181.18 c GARBAGE COLLECT
180.64/181.18 c #Conflicts: 1042000 | #Constraints: 30448
180.64/181.18 c #Conflicts: 1043000 | #Constraints: 31993
196.10/196.65 c #Conflicts: 1044000 | #Constraints: 33537
196.10/196.65 c #Conflicts: 1045000 | #Constraints: 35122
196.10/196.65 c #Conflicts: 1046000 | #Constraints: 36713
196.10/196.65 c #Conflicts: 1047000 | #Constraints: 38300
196.10/196.65 c #Conflicts: 1048000 | #Constraints: 39709
196.10/196.65 c #Conflicts: 1049000 | #Constraints: 40867
196.10/196.65 c #Conflicts: 1050000 | #Constraints: 42436
196.10/196.65 c #Conflicts: 1051000 | #Constraints: 44026
196.10/196.65 c #Conflicts: 1052000 | #Constraints: 45124
196.10/196.65 c #Conflicts: 1053000 | #Constraints: 46147
196.10/196.65 c #Conflicts: 1054000 | #Constraints: 47718
196.10/196.65 c #Conflicts: 1055000 | #Constraints: 49312
196.10/196.65 c #Conflicts: 1056000 | #Constraints: 50958
196.10/196.65 c #Conflicts: 1057000 | #Constraints: 52512
196.10/196.65 c #Conflicts: 1058000 | #Constraints: 53888
196.10/196.65 c #Conflicts: 1059000 | #Constraints: 54898
196.10/196.65 c #Conflicts: 1060000 | #Constraints: 56227
196.10/196.65 c #Conflicts: 1061000 | #Constraints: 57816
196.10/196.65 c #Conflicts: 1062000 | #Constraints: 59359
196.10/196.65 c INPROCESSING
196.10/196.65 c GARBAGE COLLECT
196.10/196.65 c #Conflicts: 1063000 | #Constraints: 19704
196.10/196.65 c #Conflicts: 1064000 | #Constraints: 20707
196.10/196.65 c #Conflicts: 1065000 | #Constraints: 21918
196.10/196.65 c #Conflicts: 1066000 | #Constraints: 22919
196.10/196.65 c #Conflicts: 1067000 | #Constraints: 24207
196.10/196.65 c #Conflicts: 1068000 | #Constraints: 25751
196.10/196.65 c #Conflicts: 1069000 | #Constraints: 27232
196.10/196.65 c #Conflicts: 1070000 | #Constraints: 28593
196.10/196.65 c #Conflicts: 1071000 | #Constraints: 30095
196.10/196.65 c #Conflicts: 1072000 | #Constraints: 31096
196.10/196.65 c #Conflicts: 1073000 | #Constraints: 32187
196.10/196.65 c #Conflicts: 1074000 | #Constraints: 33589
196.10/196.65 c #Conflicts: 1075000 | #Constraints: 35101
196.10/196.65 c #Conflicts: 1076000 | #Constraints: 36668
196.10/196.65 c #Conflicts: 1077000 | #Constraints: 38236
196.10/196.65 c #Conflicts: 1078000 | #Constraints: 39834
196.10/196.65 c #Conflicts: 1079000 | #Constraints: 41423
196.10/196.65 c #Conflicts: 1080000 | #Constraints: 42865
196.10/196.65 c #Conflicts: 1081000 | #Constraints: 44250
196.10/196.65 c #Conflicts: 1082000 | #Constraints: 45492
196.10/196.65 c #Conflicts: 1083000 | #Constraints: 46571
196.10/196.65 c INPROCESSING
196.10/196.65 c GARBAGE COLLECT
196.10/196.65 c #Conflicts: 1084000 | #Constraints: 25246
196.10/196.65 c #Conflicts: 1085000 | #Constraints: 26878
196.10/196.65 c #Conflicts: 1086000 | #Constraints: 28511
196.10/196.65 c #Conflicts: 1087000 | #Constraints: 30160
196.10/196.65 c #Conflicts: 1088000 | #Constraints: 31782
196.10/196.65 c #Conflicts: 1089000 | #Constraints: 33385
196.10/196.65 c #Conflicts: 1090000 | #Constraints: 35007
196.10/196.65 c #Conflicts: 1091000 | #Constraints: 36641
196.10/196.65 c #Conflicts: 1092000 | #Constraints: 38212
196.10/196.65 c #Conflicts: 1093000 | #Constraints: 39762
196.10/196.65 c #Conflicts: 1094000 | #Constraints: 41352
196.10/196.65 c #Conflicts: 1095000 | #Constraints: 42956
196.10/196.65 c #Conflicts: 1096000 | #Constraints: 44555
196.10/196.65 c #Conflicts: 1097000 | #Constraints: 46186
196.10/196.65 c #Conflicts: 1098000 | #Constraints: 47797
196.10/196.65 c #Conflicts: 1099000 | #Constraints: 49379
196.10/196.65 c #Conflicts: 1100000 | #Constraints: 50970
196.10/196.65 c #Conflicts: 1101000 | #Constraints: 52629
196.10/196.65 c #Conflicts: 1102000 | #Constraints: 54240
196.10/196.65 c #Conflicts: 1103000 | #Constraints: 55857
196.10/196.65 c #Conflicts: 1104000 | #Constraints: 57479
196.10/196.65 c INPROCESSING
196.10/196.65 c GARBAGE COLLECT
196.10/196.65 c #Conflicts: 1105000 | #Constraints: 30623
196.10/196.65 c #Conflicts: 1106000 | #Constraints: 32154
196.10/196.65 c #Conflicts: 1107000 | #Constraints: 33688
196.10/196.65 c #Conflicts: 1108000 | #Constraints: 35243
196.10/196.65 c #Conflicts: 1109000 | #Constraints: 36831
196.10/196.65 c #Conflicts: 1110000 | #Constraints: 38449
196.10/196.65 c #Conflicts: 1111000 | #Constraints: 40059
196.10/196.65 c #Conflicts: 1112000 | #Constraints: 41667
196.10/196.65 c #Conflicts: 1113000 | #Constraints: 43264
196.10/196.65 c cpu time 186.109 s
196.10/196.65 c deterministic time 9721027834 9.72e+09
196.10/196.65 c optimization time 0.000126 s
196.10/196.65 c total solve time 186.107 s
196.10/196.65 c core-guided solve time 0 s
196.10/196.65 c propagation time 164.734 s
196.10/196.65 c conflict analysis time 14.6636 s
196.10/196.65 c propagations 11329723
196.10/196.65 c resolve steps 3575367
196.10/196.65 c decisions 1871867
196.10/196.65 c conflicts 1113200
196.10/196.65 c restarts 2046
196.10/196.65 c inprocessing phases 96
196.10/196.65 c input clauses 2
196.10/196.65 c input cardinalities 556
196.10/196.65 c input general constraints 0
196.10/196.65 c input average constraint length 3.99
196.10/196.65 c input average constraint degree 2.00
196.10/196.65 c learned clauses 963546
196.10/196.65 c learned cardinalities 4758
196.10/196.65 c learned general constraints 608982
196.10/196.65 c learned average constraint length 65.32
196.10/196.65 c learned average constraint degree 4172665295.24
196.10/196.65 c watched constraints 376961
196.10/196.65 c counting constraints 232021
196.10/196.65 c gcd simplifications 266420
196.10/196.65 c detected cardinalities 2556
196.10/196.65 c weakened non-implied lits 2140773
196.10/196.65 c weakened non-implying lits 209593
196.10/196.65 c original variables 401
196.10/196.65 c clausal propagations 1825040
196.10/196.65 c cardinality propagations 3524400
196.10/196.65 c watched propagations 386701
196.10/196.65 c counting propagations 4477097
196.10/196.65 c watch lookups 3107685165
196.10/196.65 c watch backjump lookups 2340927167
196.10/196.65 c watch checks 3866891095
196.10/196.65 c propagation checks 301101452
196.10/196.65 c constraint additions 75789957
196.10/196.65 c trail pops 14314632
196.10/196.65 c formula constraints 558
196.10/196.65 c learned constraints 1113074
196.10/196.65 c bound constraints 0
196.10/196.65 c core-guided constraints 0
196.10/196.65 c encountered formula constraints 189248
196.10/196.65 c encountered learned constraints 4392917
196.10/196.65 c encountered bound constraints 0
196.10/196.65 c encountered core-guided constraints 0
196.10/196.65 c LP total time 94.1899 s
196.10/196.65 c LP solve time 59.9 s
196.10/196.65 c LP constraints added 611
196.10/196.65 c LP constraints removed 44
196.10/196.65 c LP pivots internal 1092793
196.10/196.65 c LP pivots root 23982
196.10/196.65 c LP calls 474631
196.10/196.65 c LP optimalities 10023
196.10/196.65 c LP no pivot count 2545
196.10/196.65 c LP infeasibilities 464042
196.10/196.65 c LP valid Farkas constraints 464041
196.10/196.65 c LP learned Farkas constraints 125
196.10/196.65 c LP basis resets 565
196.10/196.65 c LP cycling count 39
196.10/196.65 c LP singular count 523
196.10/196.65 c LP no primal count 0
196.10/196.65 c LP no farkas count 0
196.10/196.65 c LP other issue count 3
196.10/196.65 c LP Gomory cuts 46
196.10/196.65 c LP learned cuts 7
196.10/196.65 c LP deleted cuts 44
196.10/196.65 c LP encountered Gomory constraints 0
196.10/196.65 c LP encountered Farkas constraints 103796
196.10/196.65 c LP encountered learned Farkas constraints 2481
196.10/196.65 c CG auxiliary variables introduced 0
196.10/196.65 c CG solutions found 0
196.10/196.65 c CG cores constructed 0
196.10/196.65 c CG core cardinality constraints returned 0
196.10/196.65 c CG unit cores 0
196.10/196.65 c CG single cores 0
196.10/196.65 c CG blocks removed during cardinality reduction 0
196.10/196.65 c CG first core best 0
196.10/196.65 c CG decision core best 0
196.10/196.65 c CG core reduction tie 0
196.10/196.65 c CG core degree average 0.00
196.10/196.65 c CG core slack average 0.00
196.10/196.65 s UNSATISFIABLE
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 (61853 MiB free)
memory of node 1: 64473 MiB (57658 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455666-1721465785/watcher-4455666-1721465785 -o /tmp/evaluation-result-4455666-1721465785/solver-4455666-1721465785 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721461845-1098067 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455666-1721465785.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=1101388, runsolver pid=1101385
[startup+0.100073 s]*
/proc/loadavg: 4.14 4.10 4.09 5/257 1101389
/proc/meminfo: memFree=122378692/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=38116 memory=8696 CPUtime=0.09 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 598 0 0 0 9 0 0 0 20 0 1 0 198746633 39030784 2174 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 9529 2174 1804 922 0 1481 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38116 KiB
Current children cumulated memory: 8696 KiB
[startup+0.205679 s]*
/proc/loadavg: 4.14 4.10 4.09 5/257 1101389
/proc/meminfo: memFree=122376244/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=38316 memory=9032 CPUtime=0.2 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 652 0 0 0 19 1 0 0 20 0 1 0 198746633 39235584 2258 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 9579 2258 1804 922 0 1531 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38316 KiB
Current children cumulated memory: 9032 KiB
[startup+0.3048 s]*
/proc/loadavg: 4.14 4.10 4.09 5/257 1101389
/proc/meminfo: memFree=122375572/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=38396 memory=9340 CPUtime=0.3 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 713 0 0 0 28 2 0 0 20 0 1 0 198746633 39317504 2335 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 9599 2335 1820 922 0 1551 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38396 KiB
Current children cumulated memory: 9340 KiB
[startup+0.700103 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 1101389
/proc/meminfo: memFree=122375732/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=38572 memory=9680 CPUtime=0.69 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 810 0 0 0 63 6 0 0 20 0 1 0 198746633 39497728 2420 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 9643 2420 1820 922 0 1595 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38572 KiB
Current children cumulated memory: 9680 KiB
[startup+1.50014 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 1101389
/proc/meminfo: memFree=122375396/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=38760 memory=10068 CPUtime=1.48 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 883 0 0 0 136 12 0 0 20 0 1 0 198746633 39690240 2517 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 9690 2517 1820 922 0 1642 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38760 KiB
Current children cumulated memory: 10068 KiB
[startup+3.10421 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 1101389
/proc/meminfo: memFree=122373312/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=39220 memory=10880 CPUtime=3.09 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 1086 0 0 0 283 26 0 0 20 0 1 0 198746633 40161280 2720 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 9805 2720 1820 922 0 1757 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39220 KiB
Current children cumulated memory: 10880 KiB
[startup+6.30016 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 1101391
/proc/meminfo: memFree=122358368/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=49764 memory=22896 CPUtime=6.28 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 3652 0 0 0 580 48 0 0 20 0 1 0 198746633 50958336 5724 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 12441 5724 1820 922 0 4393 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 49764 KiB
Current children cumulated memory: 22896 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1101391
/proc/meminfo: memFree=122342476/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=51920 memory=25380 CPUtime=12.66 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 4273 0 0 0 1181 85 0 0 20 0 1 0 198746633 53166080 6345 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 12980 6345 1953 922 0 4932 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 51920 KiB
Current children cumulated memory: 25380 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1101392
/proc/meminfo: memFree=122301056/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=57168 memory=26824 CPUtime=25.43 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 4991 0 0 0 2376 167 0 0 20 0 1 0 198746633 58540032 6706 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 14292 6706 1953 922 0 6244 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 57168 KiB
Current children cumulated memory: 26824 KiB
[startup+51.1048 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 1101397
/proc/meminfo: memFree=122275888/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=71936 memory=42296 CPUtime=50.97 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 7867 0 0 0 4798 299 0 0 20 0 1 0 198746633 73662464 10574 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 17984 10574 1953 922 0 9936 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 71936 KiB
Current children cumulated memory: 42296 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/258 1101575
/proc/meminfo: memFree=122263556/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=74756 memory=47168 CPUtime=102.03 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 10411 0 0 0 9651 552 0 0 20 0 1 0 198746633 76550144 11792 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 18689 11792 1953 922 0 10641 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 74756 KiB
Current children cumulated memory: 47168 KiB
[startup+162.3 s]
/proc/loadavg: 4.52 4.19 4.12 5/258 1101585
/proc/meminfo: memFree=122249468/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=88288 memory=53052 CPUtime=161.88 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 14541 0 0 0 15338 850 0 0 20 0 1 0 198746633 90406912 13263 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 22072 13263 1953 922 0 14024 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 88288 KiB
Current children cumulated memory: 53052 KiB
[startup+196.66 s]
# the end of solver process 1101388 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=186.111 s, system=10.0587 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 4.40 4.18 4.12 5/258 1101588
/proc/meminfo: memFree=122248856/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=90208 memory=54416 CPUtime=178.75 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 15544 0 0 0 16944 931 0 0 20 0 1 0 198746633 92372992 13604 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 22552 13604 1953 922 0 14504 0
Current children cumulated CPU time: 178.75 s
Current children cumulated vsize: 90208 KiB
Current children cumulated memory: 54416 KiB
[startup+185.6 s]
/proc/loadavg: 4.37 4.18 4.12 5/258 1101589
/proc/meminfo: memFree=122239332/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=94048 memory=63124 CPUtime=185.13 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 16378 0 0 0 17555 958 0 0 20 0 1 0 198746633 96305152 15781 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 23512 15781 1953 922 0 15464 0
Current children cumulated CPU time: 185.13 s
Current children cumulated vsize: 94048 KiB
Current children cumulated memory: 63124 KiB
[startup+192 s]*
/proc/loadavg: 4.31 4.17 4.12 5/259 1101638
/proc/meminfo: memFree=126650940/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=95968 memory=65168 CPUtime=191.52 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 17062 0 0 0 18165 987 0 0 20 0 1 0 198746633 98271232 16292 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 23992 16292 1953 922 0 15944 0
Current children cumulated CPU time: 191.52 s
Current children cumulated vsize: 95968 KiB
Current children cumulated memory: 65168 KiB
[startup+195.2 s]
/proc/loadavg: 4.31 4.17 4.12 5/259 1101638
/proc/meminfo: memFree=126640964/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=106208 memory=74724 CPUtime=194.71 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 19558 0 0 0 18472 999 0 0 20 0 1 0 198746633 108756992 18681 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 26552 18681 1953 922 0 18504 0
Current children cumulated CPU time: 194.71 s
Current children cumulated vsize: 106208 KiB
Current children cumulated memory: 74724 KiB
[startup+196 s]*
/proc/loadavg: 4.31 4.17 4.12 5/259 1101640
/proc/meminfo: memFree=126640088/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=106208 memory=74724 CPUtime=195.51 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 19558 0 0 0 18548 1003 0 0 20 0 1 0 198746633 108756992 18681 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 26552 18681 1953 922 0 18504 0
Current children cumulated CPU time: 195.51 s
Current children cumulated vsize: 106208 KiB
Current children cumulated memory: 74724 KiB
[startup+196.4 s]
/proc/loadavg: 4.31 4.17 4.12 5/259 1101640
/proc/meminfo: memFree=126640088/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=106208 memory=74724 CPUtime=195.9 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 19558 0 0 0 18586 1004 0 0 20 0 1 0 198746633 108756992 18681 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 26552 18681 1953 922 0 18504 0
Current children cumulated CPU time: 195.9 s
Current children cumulated vsize: 106208 KiB
Current children cumulated memory: 74724 KiB
[startup+196.6 s]
/proc/loadavg: 4.31 4.17 4.12 5/259 1101640
/proc/meminfo: memFree=126640088/131524600 swapFree=131071996/131071996
[pid=1101388] ppid=1101385 vsize=106208 memory=74724 CPUtime=196.1 cores=5,7
/proc/1101388/stat : 1101388 (roundingsat) R 1101385 1101388 1098054 0 -1 4194304 19558 0 0 0 18605 1005 0 0 20 0 1 0 198746633 108756992 18681 134679101440 4194304 7968373 140727911771728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 20365312 140727911777212 140727911777376 140727911777376 140727911784393 0
/proc/1101388/statm: 26552 18681 1953 922 0 18504 0
Current children cumulated CPU time: 196.1 s
Current children cumulated vsize: 106208 KiB
Current children cumulated memory: 74724 KiB
Child status: 0
Real time (s): 196.66
CPU time (s): 196.17
CPU user time (s): 186.111
CPU system time (s): 10.0587
CPU usage (%): 99.7509
Max. virtual memory (cumulated for all children) (KiB): 106208
Max. memory (cumulated for all children) (KiB): 74724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.111
system time used= 10.0587
maximum resident set size= 75200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19566
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= 227
# summary of solver processes directly reported to runsolver:
# pid: 1101388
# total CPU time (s): 196.17
# total CPU user time (s): 186.111
# total CPU system time (s): 10.0587
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.371089 second user time and 0.777502 second system time
The end
Begin job on nodeC030 at 2024-07-20 10:56:38
IDJOB=4455666
IDBENCH=160362
IDSOLVER=3084
FILE ID=nodeC030/4455666-1721465785
RUNJOBID= nodeC030-1721461845-1098067
SLURM_JOB_ID= 7545713
Free space on /tmp= 889764 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-4455666-1721465785/watcher-4455666-1721465785 -o /tmp/evaluation-result-4455666-1721465785/solver-4455666-1721465785 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721461845-1098067 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455666-1721465785.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b2bd6f9c4b35d9a7e05934ad0cefb7e
RANDOM SEED=1113219311
nodeC030.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 : 3668.741
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.28
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 : 3681.956
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.11
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.752
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.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.930
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.11
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 : 3668.804
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.28
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 : 3653.178
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.11
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.817
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.28
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 : 3660.521
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122380684 kB
MemAvailable: 125218200 kB
Buffers: 542280 kB
Cached: 3111736 kB
SwapCached: 0 kB
Active: 1526500 kB
Inactive: 6930756 kB
Active(anon): 1564 kB
Inactive(anon): 4847260 kB
Active(file): 1524936 kB
Inactive(file): 2083496 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5468 kB
Writeback: 0 kB
AnonPages: 4802064 kB
Mapped: 115340 kB
Shmem: 45912 kB
KReclaimable: 137816 kB
Slab: 256460 kB
SReclaimable: 137816 kB
SUnreclaim: 118644 kB
KernelStack: 4140 kB
PageTables: 18760 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5523872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74496 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4462592 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: 262868 kB
DirectMap2M: 23627776 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC030 at 2024-07-20 10:59:55