0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 1086 #constraints 169
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.013464
0.00/0.10 c GLOBAL bounds - >= 0 @ 0.07377
0.00/0.10 c GLOBAL bounds - >= 0 @ 0.077464
0.09/0.11 c GLOBAL bounds - >= 0 @ 0.084457
0.09/0.11 c GLOBAL bounds - >= 0 @ 0.086281
0.09/0.12 c GLOBAL bounds - >= 0 @ 0.090703
0.09/0.16 c GLOBAL bounds - >= 0 @ 0.123125
0.09/0.17 c GLOBAL bounds - >= 0 @ 0.132533
0.09/0.17 c GLOBAL bounds - >= 0 @ 0.138099
0.09/0.18 c GLOBAL bounds - >= 0 @ 0.145623
0.09/0.19 c GLOBAL bounds - >= 0 @ 0.149861
0.19/0.26 c GLOBAL bounds - >= 0 @ 0.213845
0.19/0.28 c GLOBAL bounds - >= 0 @ 0.236907
0.19/0.29 c GLOBAL bounds - >= 0 @ 0.241939
0.29/0.41 c GLOBAL bounds - >= 0 @ 0.359461
0.39/0.44 c GLOBAL bounds - >= 0 @ 0.39094
0.39/0.50 c GLOBAL bounds - >= 0 @ 0.449855
0.49/0.57 c GLOBAL bounds - >= 0 @ 0.514629
0.58/0.63 c GLOBAL bounds - >= 0 @ 0.569662
0.58/0.67 c GLOBAL bounds - >= 0 @ 0.605779
0.58/0.68 c GLOBAL bounds - >= 0 @ 0.615605
0.58/0.68 c GLOBAL bounds - >= 0 @ 0.623308
0.58/0.69 c GLOBAL bounds - >= 0 @ 0.627836
0.58/0.70 c GLOBAL bounds - >= 0 @ 0.634762
0.67/0.70 c GLOBAL bounds - >= 0 @ 0.64207
0.67/0.75 c GLOBAL bounds - >= 0 @ 0.688199
0.67/0.76 c GLOBAL bounds - >= 0 @ 0.693127
0.77/0.81 c GLOBAL bounds - >= 0 @ 0.747387
0.77/0.85 c GLOBAL bounds - >= 0 @ 0.783912
0.87/0.96 c GLOBAL bounds - >= 0 @ 0.894866
0.87/1.00 c GLOBAL bounds - >= 0 @ 0.923914
1.17/1.22 c #Conflicts: 1000 | #Constraints: 1227
1.17/1.22 c GLOBAL bounds - >= 0 @ 1.14621
1.17/1.23 c GLOBAL bounds - >= 0 @ 1.15133
1.17/1.24 c GLOBAL bounds - >= 0 @ 1.15814
1.27/1.36 c GLOBAL bounds - >= 0 @ 1.28008
1.37/1.42 c GLOBAL bounds - >= 0 @ 1.33065
1.37/1.43 c GLOBAL bounds - >= 0 @ 1.3399
1.37/1.44 c GLOBAL bounds - >= 0 @ 1.35289
1.37/1.48 c GLOBAL bounds - >= 0 @ 1.38424
1.86/1.93 c GLOBAL bounds - >= 0 @ 1.8253
1.86/1.94 c GLOBAL bounds - >= 0 @ 1.84151
1.86/1.95 c GLOBAL bounds - >= 0 @ 1.84763
1.86/1.99 c #Conflicts: 2000 | #Constraints: 2249
1.86/1.99 c INPROCESSING
1.86/1.99 c GARBAGE COLLECT
1.86/1.99 c GLOBAL bounds - >= 0 @ 1.88265
3.07/3.19 c #Conflicts: 3000 | #Constraints: 2265
3.07/3.19 c GLOBAL bounds - >= 0 @ 3.05332
3.56/3.67 c #Conflicts: 4000 | #Constraints: 3267
3.56/3.67 c INPROCESSING
3.56/3.67 c GARBAGE COLLECT
3.56/3.67 c GLOBAL bounds - >= 0 @ 3.52457
3.56/3.68 c GLOBAL bounds - >= 0 @ 3.53025
19.02/19.19 c #Conflicts: 5000 | #Constraints: 2688
19.02/19.19 c #Conflicts: 6000 | #Constraints: 3688
19.02/19.19 c INPROCESSING
19.02/19.19 c GARBAGE COLLECT
19.02/19.19 c #Conflicts: 7000 | #Constraints: 2690
19.02/19.19 c #Conflicts: 8000 | #Constraints: 3690
19.02/19.19 c #Conflicts: 9000 | #Constraints: 4690
19.02/19.19 c INPROCESSING
19.02/19.19 c GARBAGE COLLECT
19.02/19.19 c #Conflicts: 10000 | #Constraints: 3395
19.02/19.19 c #Conflicts: 11000 | #Constraints: 4395
19.02/19.19 c #Conflicts: 12000 | #Constraints: 5395
19.02/19.19 c INPROCESSING
19.02/19.19 c GARBAGE COLLECT
19.02/19.19 c #Conflicts: 13000 | #Constraints: 3845
19.02/19.19 c #Conflicts: 14000 | #Constraints: 4845
19.02/19.19 c #Conflicts: 15000 | #Constraints: 5845
19.02/19.19 c INPROCESSING
19.02/19.19 c GARBAGE COLLECT
19.02/19.19 c #Conflicts: 16000 | #Constraints: 4076
19.02/19.19 c #Conflicts: 17000 | #Constraints: 5076
19.02/19.19 c #Conflicts: 18000 | #Constraints: 6076
19.02/19.19 c INPROCESSING
19.02/19.19 c GARBAGE COLLECT
19.02/19.19 c #Conflicts: 19000 | #Constraints: 4097
19.02/19.19 c #Conflicts: 20000 | #Constraints: 5097
19.02/19.19 c GLOBAL bounds - >= 0 @ 18.7911
20.40/20.53 c #Conflicts: 21000 | #Constraints: 6099
20.40/20.53 c INPROCESSING
20.40/20.53 c GARBAGE COLLECT
20.40/20.53 c GLOBAL bounds - >= 0 @ 20.1156
20.40/20.54 c GLOBAL bounds - >= 0 @ 20.123
20.40/20.56 c GLOBAL bounds - >= 0 @ 20.1433
25.00/25.16 c #Conflicts: 22000 | #Constraints: 3908
25.00/25.16 c #Conflicts: 23000 | #Constraints: 4908
25.00/25.16 c #Conflicts: 24000 | #Constraints: 5908
25.00/25.16 c #Conflicts: 25000 | #Constraints: 6908
25.00/25.16 c INPROCESSING
25.00/25.16 c GARBAGE COLLECT
25.00/25.16 c #Conflicts: 26000 | #Constraints: 4507
25.00/25.16 c GLOBAL bounds - >= 0 @ 24.6704
25.09/25.23 c GLOBAL bounds - >= 0 @ 24.7376
27.00/27.12 c #Conflicts: 27000 | #Constraints: 5511
27.00/27.12 c #Conflicts: 28000 | #Constraints: 6511
27.00/27.12 c GLOBAL bounds - >= 0 @ 26.599
27.00/27.14 c GLOBAL bounds - >= 0 @ 26.6169
27.00/27.17 c GLOBAL bounds - >= 0 @ 26.6508
27.00/27.19 c GLOBAL bounds - >= 0 @ 26.6707
27.19/27.32 c GLOBAL bounds - >= 0 @ 26.7983
27.19/27.34 c GLOBAL bounds - >= 0 @ 26.8164
27.29/27.41 c GLOBAL bounds - >= 0 @ 26.8846
29.67/29.86 c #Conflicts: 29000 | #Constraints: 7525
29.67/29.86 c INPROCESSING
29.67/29.86 c GARBAGE COLLECT
29.67/29.86 c #Conflicts: 30000 | #Constraints: 4920
29.67/29.86 c GLOBAL bounds - >= 0 @ 29.2844
30.37/30.57 c #Conflicts: 31000 | #Constraints: 5922
30.37/30.57 c GLOBAL bounds - >= 0 @ 29.9892
30.89/31.07 c GLOBAL bounds - >= 0 @ 30.4844
31.27/31.41 c GLOBAL bounds - >= 0 @ 30.8182
31.27/31.44 c GLOBAL bounds - >= 0 @ 30.8471
33.36/33.58 c #Conflicts: 32000 | #Constraints: 6930
33.36/33.58 c #Conflicts: 33000 | #Constraints: 7930
33.36/33.58 c INPROCESSING
33.36/33.58 c GARBAGE COLLECT
33.36/33.58 c GLOBAL bounds - >= 0 @ 32.9469
37.35/37.54 c #Conflicts: 34000 | #Constraints: 5132
37.35/37.54 c #Conflicts: 35000 | #Constraints: 6132
37.35/37.54 c #Conflicts: 36000 | #Constraints: 7132
37.35/37.54 c #Conflicts: 37000 | #Constraints: 8132
37.35/37.54 c INPROCESSING
37.35/37.54 c GARBAGE COLLECT
37.35/37.54 c GLOBAL bounds - >= 0 @ 36.829
37.35/37.58 c GLOBAL bounds - >= 0 @ 36.8687
37.65/37.80 c GLOBAL bounds - >= 0 @ 37.0803
37.75/37.95 c GLOBAL bounds - >= 0 @ 37.2302
38.74/38.97 c #Conflicts: 38000 | #Constraints: 5139
38.74/38.97 c GLOBAL bounds - >= 0 @ 38.2243
42.04/42.29 c #Conflicts: 39000 | #Constraints: 6141
42.04/42.29 c #Conflicts: 40000 | #Constraints: 7141
42.04/42.29 c #Conflicts: 41000 | #Constraints: 8141
42.04/42.29 c INPROCESSING
42.04/42.29 c GARBAGE COLLECT
42.04/42.29 c GLOBAL bounds - >= 0 @ 41.4914
46.71/46.92 c #Conflicts: 42000 | #Constraints: 4947
46.71/46.92 c #Conflicts: 43000 | #Constraints: 5947
46.71/46.92 c #Conflicts: 44000 | #Constraints: 6947
46.71/46.92 c #Conflicts: 45000 | #Constraints: 7947
46.71/46.92 c GLOBAL bounds - >= 0 @ 46.0563
48.20/48.41 c #Conflicts: 46000 | #Constraints: 8949
48.20/48.41 c INPROCESSING
48.20/48.41 c GARBAGE COLLECT
48.20/48.41 c GLOBAL bounds - >= 0 @ 47.4918
54.58/54.84 c #Conflicts: 47000 | #Constraints: 5553
54.58/54.84 c #Conflicts: 48000 | #Constraints: 6553
54.58/54.84 c #Conflicts: 49000 | #Constraints: 7553
54.58/54.84 c #Conflicts: 50000 | #Constraints: 8553
54.58/54.84 c #Conflicts: 51000 | #Constraints: 9553
54.58/54.84 c INPROCESSING
54.58/54.84 c GARBAGE COLLECT
54.58/54.84 c GLOBAL bounds - >= 0 @ 53.8199
62.46/62.74 c #Conflicts: 52000 | #Constraints: 5952
62.46/62.74 c #Conflicts: 53000 | #Constraints: 6952
62.46/62.74 c #Conflicts: 54000 | #Constraints: 7952
62.46/62.74 c #Conflicts: 55000 | #Constraints: 8952
62.46/62.74 c #Conflicts: 56000 | #Constraints: 9952
62.46/62.74 c INPROCESSING
62.46/62.74 c GARBAGE COLLECT
62.46/62.74 c #Conflicts: 57000 | #Constraints: 6158
62.46/62.74 c GLOBAL bounds - >= 0 @ 61.6075
69.74/70.10 c #Conflicts: 58000 | #Constraints: 7160
69.74/70.10 c #Conflicts: 59000 | #Constraints: 8160
69.74/70.10 c #Conflicts: 60000 | #Constraints: 9160
69.74/70.10 c #Conflicts: 61000 | #Constraints: 10160
69.74/70.10 c INPROCESSING
69.74/70.10 c GARBAGE COLLECT
69.74/70.10 c #Conflicts: 62000 | #Constraints: 6156
69.74/70.10 c GLOBAL bounds - >= 0 @ 68.8725
69.84/70.12 c GLOBAL bounds - >= 0 @ 68.891
69.84/70.15 c GLOBAL bounds - >= 0 @ 68.9211
69.84/70.18 c GLOBAL bounds - >= 0 @ 68.9483
70.23/70.53 c GLOBAL bounds - >= 0 @ 69.2994
72.02/72.38 c #Conflicts: 63000 | #Constraints: 7166
72.02/72.38 c #Conflicts: 64000 | #Constraints: 8166
72.02/72.38 c GLOBAL bounds - >= 0 @ 71.1227
94.04/94.46 c #Conflicts: 65000 | #Constraints: 9168
94.04/94.46 c #Conflicts: 66000 | #Constraints: 10168
94.04/94.46 c INPROCESSING
94.04/94.46 c GARBAGE COLLECT
94.04/94.46 c #Conflicts: 67000 | #Constraints: 5968
94.04/94.46 c #Conflicts: 68000 | #Constraints: 6968
94.04/94.46 c #Conflicts: 69000 | #Constraints: 7968
94.04/94.46 c #Conflicts: 70000 | #Constraints: 8968
94.04/94.46 c #Conflicts: 71000 | #Constraints: 9968
94.04/94.46 c #Conflicts: 72000 | #Constraints: 10968
94.04/94.46 c INPROCESSING
94.04/94.46 c GARBAGE COLLECT
94.04/94.46 c #Conflicts: 73000 | #Constraints: 6567
94.04/94.46 c #Conflicts: 74000 | #Constraints: 7567
94.04/94.46 c #Conflicts: 75000 | #Constraints: 8567
94.04/94.46 c #Conflicts: 76000 | #Constraints: 9567
94.04/94.46 c #Conflicts: 77000 | #Constraints: 10567
94.04/94.46 c #Conflicts: 78000 | #Constraints: 11567
94.04/94.46 c INPROCESSING
94.04/94.46 c GARBAGE COLLECT
94.04/94.46 c GLOBAL bounds - >= 0 @ 92.8732
94.04/94.48 c GLOBAL bounds - >= 0 @ 92.8934
94.14/94.50 c GLOBAL bounds - >= 0 @ 92.9095
98.02/98.47 c #Conflicts: 79000 | #Constraints: 6973
98.02/98.47 c #Conflicts: 80000 | #Constraints: 7973
98.02/98.47 c #Conflicts: 81000 | #Constraints: 8973
98.02/98.47 c GLOBAL bounds - >= 0 @ 96.8249
98.02/98.49 c GLOBAL bounds - >= 0 @ 96.8453
98.12/98.57 c GLOBAL bounds - >= 0 @ 96.9207
98.12/98.59 c GLOBAL bounds - >= 0 @ 96.9487
98.22/98.62 c GLOBAL bounds - >= 0 @ 96.9733
152.34/152.95 c #Conflicts: 82000 | #Constraints: 9983
152.34/152.95 c #Conflicts: 83000 | #Constraints: 10983
152.34/152.95 c #Conflicts: 84000 | #Constraints: 11983
152.34/152.95 c INPROCESSING
152.34/152.95 c GARBAGE COLLECT
152.34/152.95 c #Conflicts: 85000 | #Constraints: 7187
152.34/152.95 c #Conflicts: 86000 | #Constraints: 8187
152.34/152.95 c #Conflicts: 87000 | #Constraints: 9187
152.34/152.95 c #Conflicts: 88000 | #Constraints: 10187
152.34/152.95 c #Conflicts: 89000 | #Constraints: 11187
152.34/152.95 c #Conflicts: 90000 | #Constraints: 12187
152.34/152.95 c INPROCESSING
152.34/152.95 c GARBAGE COLLECT
152.34/152.95 c #Conflicts: 91000 | #Constraints: 7194
152.34/152.95 c #Conflicts: 92000 | #Constraints: 8194
152.34/152.95 c #Conflicts: 93000 | #Constraints: 9194
152.34/152.95 c #Conflicts: 94000 | #Constraints: 10194
152.34/152.95 c #Conflicts: 95000 | #Constraints: 11194
152.34/152.95 c #Conflicts: 96000 | #Constraints: 12194
152.34/152.95 c INPROCESSING
152.34/152.95 c GARBAGE COLLECT
152.34/152.95 c #Conflicts: 97000 | #Constraints: 6987
152.34/152.95 c #Conflicts: 98000 | #Constraints: 7987
152.34/152.95 c #Conflicts: 99000 | #Constraints: 8987
152.34/152.95 c #Conflicts: 100000 | #Constraints: 9987
152.34/152.95 c #Conflicts: 101000 | #Constraints: 10987
152.34/152.95 c #Conflicts: 102000 | #Constraints: 11987
152.34/152.95 c #Conflicts: 103000 | #Constraints: 12987
152.34/152.95 c INPROCESSING
152.34/152.95 c GARBAGE COLLECT
152.34/152.95 c #Conflicts: 104000 | #Constraints: 7590
152.34/152.95 c #Conflicts: 105000 | #Constraints: 8590
152.34/152.95 c #Conflicts: 106000 | #Constraints: 9590
152.34/152.95 c #Conflicts: 107000 | #Constraints: 10590
152.34/152.95 c #Conflicts: 108000 | #Constraints: 11590
152.34/152.95 c #Conflicts: 109000 | #Constraints: 12590
152.34/152.95 c #Conflicts: 110000 | #Constraints: 13590
152.34/152.95 c INPROCESSING
152.34/152.95 c GARBAGE COLLECT
152.34/152.95 c #Conflicts: 111000 | #Constraints: 7998
152.34/152.95 c #Conflicts: 112000 | #Constraints: 8998
152.34/152.95 c #Conflicts: 113000 | #Constraints: 9998
152.34/152.95 c GLOBAL bounds - >= 0 @ 150.573
192.21/192.94 c #Conflicts: 114000 | #Constraints: 11000
192.21/192.94 c #Conflicts: 115000 | #Constraints: 12000
192.21/192.94 c #Conflicts: 116000 | #Constraints: 13000
192.21/192.94 c #Conflicts: 117000 | #Constraints: 14000
192.21/192.94 c INPROCESSING
192.21/192.94 c GARBAGE COLLECT
192.21/192.94 c #Conflicts: 118000 | #Constraints: 8202
192.21/192.94 c #Conflicts: 119000 | #Constraints: 9202
192.21/192.94 c #Conflicts: 120000 | #Constraints: 10202
192.21/192.94 c #Conflicts: 121000 | #Constraints: 11202
192.21/192.94 c #Conflicts: 122000 | #Constraints: 12202
192.21/192.94 c #Conflicts: 123000 | #Constraints: 13202
192.21/192.94 c #Conflicts: 124000 | #Constraints: 14202
192.21/192.94 c INPROCESSING
192.21/192.94 c GARBAGE COLLECT
192.21/192.94 c #Conflicts: 125000 | #Constraints: 8199
192.21/192.94 c #Conflicts: 126000 | #Constraints: 9199
192.21/192.94 c #Conflicts: 127000 | #Constraints: 10199
192.21/192.94 c #Conflicts: 128000 | #Constraints: 11199
192.21/192.94 c #Conflicts: 129000 | #Constraints: 12199
192.21/192.94 c #Conflicts: 130000 | #Constraints: 13199
192.21/192.94 c #Conflicts: 131000 | #Constraints: 14199
192.21/192.94 c INPROCESSING
192.21/192.94 c GARBAGE COLLECT
192.21/192.94 c #Conflicts: 132000 | #Constraints: 8000
192.21/192.94 c #Conflicts: 133000 | #Constraints: 9000
192.21/192.94 c GLOBAL bounds - >= 0 @ 190.08
192.21/192.96 c GLOBAL bounds - >= 0 @ 190.099
192.21/192.99 c GLOBAL bounds - >= 0 @ 190.128
192.32/193.03 c GLOBAL bounds - >= 0 @ 190.162
361.13/362.47 c #Conflicts: 134000 | #Constraints: 10008
361.13/362.47 c #Conflicts: 135000 | #Constraints: 11008
361.13/362.47 c #Conflicts: 136000 | #Constraints: 12008
361.13/362.47 c #Conflicts: 137000 | #Constraints: 13008
361.13/362.47 c #Conflicts: 138000 | #Constraints: 14008
361.13/362.47 c #Conflicts: 139000 | #Constraints: 15008
361.13/362.47 c INPROCESSING
361.13/362.47 c GARBAGE COLLECT
361.13/362.47 c #Conflicts: 140000 | #Constraints: 8609
361.13/362.47 c #Conflicts: 141000 | #Constraints: 9609
361.13/362.47 c #Conflicts: 142000 | #Constraints: 10609
361.13/362.47 c #Conflicts: 143000 | #Constraints: 11609
361.13/362.47 c #Conflicts: 144000 | #Constraints: 12609
361.13/362.47 c #Conflicts: 145000 | #Constraints: 13609
361.13/362.47 c #Conflicts: 146000 | #Constraints: 14609
361.13/362.47 c #Conflicts: 147000 | #Constraints: 15609
361.13/362.47 c INPROCESSING
361.13/362.47 c GARBAGE COLLECT
361.13/362.47 c #Conflicts: 148000 | #Constraints: 9011
361.13/362.47 c #Conflicts: 149000 | #Constraints: 10011
361.13/362.47 c #Conflicts: 150000 | #Constraints: 11011
361.13/362.47 c #Conflicts: 151000 | #Constraints: 12011
361.13/362.47 c #Conflicts: 152000 | #Constraints: 13011
361.13/362.47 c #Conflicts: 153000 | #Constraints: 14011
361.13/362.47 c #Conflicts: 154000 | #Constraints: 15011
361.13/362.47 c #Conflicts: 155000 | #Constraints: 16011
361.13/362.47 c INPROCESSING
361.13/362.47 c GARBAGE COLLECT
361.13/362.47 c #Conflicts: 156000 | #Constraints: 9212
361.13/362.47 c #Conflicts: 157000 | #Constraints: 10212
361.13/362.47 c #Conflicts: 158000 | #Constraints: 11212
361.13/362.47 c #Conflicts: 159000 | #Constraints: 12212
361.13/362.47 c #Conflicts: 160000 | #Constraints: 13212
361.13/362.47 c #Conflicts: 161000 | #Constraints: 14212
361.13/362.47 c #Conflicts: 162000 | #Constraints: 15212
361.13/362.47 c #Conflicts: 163000 | #Constraints: 16212
361.13/362.47 c INPROCESSING
361.13/362.47 c GARBAGE COLLECT
361.13/362.47 c #Conflicts: 164000 | #Constraints: 9207
361.13/362.47 c #Conflicts: 165000 | #Constraints: 10207
361.13/362.47 c #Conflicts: 166000 | #Constraints: 11207
361.13/362.47 c #Conflicts: 167000 | #Constraints: 12207
361.13/362.47 c #Conflicts: 168000 | #Constraints: 13207
361.13/362.47 c #Conflicts: 169000 | #Constraints: 14207
361.13/362.47 c #Conflicts: 170000 | #Constraints: 15207
361.13/362.47 c #Conflicts: 171000 | #Constraints: 16207
361.13/362.47 c INPROCESSING
361.13/362.47 c GARBAGE COLLECT
361.13/362.47 c #Conflicts: 172000 | #Constraints: 9014
361.13/362.47 c #Conflicts: 173000 | #Constraints: 10014
361.13/362.47 c #Conflicts: 174000 | #Constraints: 11014
361.13/362.47 c #Conflicts: 175000 | #Constraints: 12014
361.13/362.47 c #Conflicts: 176000 | #Constraints: 13014
361.13/362.47 c #Conflicts: 177000 | #Constraints: 14014
361.13/362.47 c #Conflicts: 178000 | #Constraints: 15014
361.13/362.47 c #Conflicts: 179000 | #Constraints: 16014
361.13/362.47 c #Conflicts: 180000 | #Constraints: 17014
361.13/362.47 c INPROCESSING
361.13/362.47 c GARBAGE COLLECT
361.13/362.47 c #Conflicts: 181000 | #Constraints: 9604
361.13/362.47 c #Conflicts: 182000 | #Constraints: 10604
361.13/362.47 c #Conflicts: 183000 | #Constraints: 11604
361.13/362.47 c #Conflicts: 184000 | #Constraints: 12604
361.13/362.47 c #Conflicts: 185000 | #Constraints: 13604
361.13/362.47 c #Conflicts: 186000 | #Constraints: 14604
361.13/362.47 c #Conflicts: 187000 | #Constraints: 15604
361.13/362.47 c #Conflicts: 188000 | #Constraints: 16604
361.13/362.47 c #Conflicts: 189000 | #Constraints: 17604
361.13/362.47 c INPROCESSING
361.13/362.47 c GARBAGE COLLECT
361.13/362.47 c #Conflicts: 190000 | #Constraints: 10014
361.13/362.47 c #Conflicts: 191000 | #Constraints: 11014
361.13/362.47 c #Conflicts: 192000 | #Constraints: 12014
361.13/362.47 c #Conflicts: 193000 | #Constraints: 13014
361.13/362.47 c #Conflicts: 194000 | #Constraints: 14014
361.13/362.47 c #Conflicts: 195000 | #Constraints: 15014
361.13/362.47 c #Conflicts: 196000 | #Constraints: 16014
361.13/362.47 c #Conflicts: 197000 | #Constraints: 17014
361.13/362.47 c #Conflicts: 198000 | #Constraints: 18014
361.13/362.47 c INPROCESSING
361.13/362.47 c GARBAGE COLLECT
361.13/362.47 c #Conflicts: 199000 | #Constraints: 10204
361.13/362.47 c #Conflicts: 200000 | #Constraints: 11204
361.13/362.47 c #Conflicts: 201000 | #Constraints: 12204
361.13/362.47 c #Conflicts: 202000 | #Constraints: 13204
361.13/362.47 c #Conflicts: 203000 | #Constraints: 14204
361.13/362.47 c #Conflicts: 204000 | #Constraints: 15204
361.13/362.47 c #Conflicts: 205000 | #Constraints: 16204
361.13/362.47 c #Conflicts: 206000 | #Constraints: 17204
361.13/362.47 c #Conflicts: 207000 | #Constraints: 18204
538.24/540.19 c INPROCESSING
538.24/540.19 c GARBAGE COLLECT
538.24/540.19 c #Conflicts: 208000 | #Constraints: 10208
538.24/540.19 c #Conflicts: 209000 | #Constraints: 11208
538.24/540.19 c #Conflicts: 210000 | #Constraints: 12208
538.24/540.19 c #Conflicts: 211000 | #Constraints: 13208
538.24/540.19 c #Conflicts: 212000 | #Constraints: 14208
538.24/540.19 c #Conflicts: 213000 | #Constraints: 15208
538.24/540.19 c #Conflicts: 214000 | #Constraints: 16208
538.24/540.19 c #Conflicts: 215000 | #Constraints: 17208
538.24/540.19 c #Conflicts: 216000 | #Constraints: 18208
538.24/540.19 c INPROCESSING
538.24/540.19 c GARBAGE COLLECT
538.24/540.19 c #Conflicts: 217000 | #Constraints: 10009
538.24/540.19 c #Conflicts: 218000 | #Constraints: 11009
538.24/540.19 c #Conflicts: 219000 | #Constraints: 12009
538.24/540.19 c #Conflicts: 220000 | #Constraints: 13009
538.24/540.19 c #Conflicts: 221000 | #Constraints: 14009
538.24/540.19 c #Conflicts: 222000 | #Constraints: 15009
538.24/540.19 c #Conflicts: 223000 | #Constraints: 16009
538.24/540.19 c #Conflicts: 224000 | #Constraints: 17009
538.24/540.19 c #Conflicts: 225000 | #Constraints: 18009
538.24/540.19 c #Conflicts: 226000 | #Constraints: 19009
538.24/540.19 c INPROCESSING
538.24/540.19 c GARBAGE COLLECT
538.24/540.19 c #Conflicts: 227000 | #Constraints: 10603
538.24/540.19 c #Conflicts: 228000 | #Constraints: 11603
538.24/540.19 c #Conflicts: 229000 | #Constraints: 12603
538.24/540.19 c #Conflicts: 230000 | #Constraints: 13603
538.24/540.19 c #Conflicts: 231000 | #Constraints: 14603
538.24/540.19 c #Conflicts: 232000 | #Constraints: 15603
538.24/540.19 c #Conflicts: 233000 | #Constraints: 16603
538.24/540.19 c #Conflicts: 234000 | #Constraints: 17603
538.24/540.19 c #Conflicts: 235000 | #Constraints: 18603
538.24/540.19 c #Conflicts: 236000 | #Constraints: 19603
538.24/540.19 c INPROCESSING
538.24/540.19 c GARBAGE COLLECT
538.24/540.19 c #Conflicts: 237000 | #Constraints: 11000
538.24/540.19 c #Conflicts: 238000 | #Constraints: 12000
538.24/540.19 c #Conflicts: 239000 | #Constraints: 13000
538.24/540.19 c #Conflicts: 240000 | #Constraints: 14000
538.24/540.19 c #Conflicts: 241000 | #Constraints: 15000
538.24/540.19 c #Conflicts: 242000 | #Constraints: 16000
538.24/540.19 c #Conflicts: 243000 | #Constraints: 17000
538.24/540.19 c #Conflicts: 244000 | #Constraints: 18000
538.24/540.19 c #Conflicts: 245000 | #Constraints: 19000
538.24/540.19 c #Conflicts: 246000 | #Constraints: 20000
538.24/540.19 c INPROCESSING
538.24/540.19 c GARBAGE COLLECT
538.24/540.19 c #Conflicts: 247000 | #Constraints: 11200
538.24/540.19 c #Conflicts: 248000 | #Constraints: 12200
538.24/540.19 c #Conflicts: 249000 | #Constraints: 13200
538.24/540.19 c #Conflicts: 250000 | #Constraints: 14200
538.24/540.19 c #Conflicts: 251000 | #Constraints: 15200
538.24/540.19 c #Conflicts: 252000 | #Constraints: 16200
538.24/540.19 c #Conflicts: 253000 | #Constraints: 17200
538.24/540.19 c #Conflicts: 254000 | #Constraints: 18200
538.24/540.19 c #Conflicts: 255000 | #Constraints: 19200
538.24/540.19 c #Conflicts: 256000 | #Constraints: 20200
538.24/540.19 c INPROCESSING
538.24/540.19 c GARBAGE COLLECT
538.24/540.19 c #Conflicts: 257000 | #Constraints: 11207
538.24/540.19 c #Conflicts: 258000 | #Constraints: 12207
538.24/540.19 c #Conflicts: 259000 | #Constraints: 13207
538.24/540.19 c #Conflicts: 260000 | #Constraints: 14207
538.24/540.19 c #Conflicts: 261000 | #Constraints: 15207
538.24/540.19 c #Conflicts: 262000 | #Constraints: 16207
538.24/540.19 c #Conflicts: 263000 | #Constraints: 17207
538.24/540.19 c #Conflicts: 264000 | #Constraints: 18207
538.24/540.19 c #Conflicts: 265000 | #Constraints: 19207
538.24/540.19 c #Conflicts: 266000 | #Constraints: 20207
538.24/540.19 c INPROCESSING
538.24/540.19 c GARBAGE COLLECT
538.24/540.19 c #Conflicts: 267000 | #Constraints: 11011
538.24/540.19 c #Conflicts: 268000 | #Constraints: 12011
538.24/540.19 c #Conflicts: 269000 | #Constraints: 13011
538.24/540.19 c #Conflicts: 270000 | #Constraints: 14011
538.24/540.19 c #Conflicts: 271000 | #Constraints: 15011
538.24/540.19 c #Conflicts: 272000 | #Constraints: 16011
538.24/540.19 c #Conflicts: 273000 | #Constraints: 17011
538.24/540.19 c #Conflicts: 274000 | #Constraints: 18011
538.24/540.19 c #Conflicts: 275000 | #Constraints: 19011
538.24/540.19 c #Conflicts: 276000 | #Constraints: 20011
538.24/540.19 c #Conflicts: 277000 | #Constraints: 21011
538.24/540.19 c INPROCESSING
538.24/540.19 c GARBAGE COLLECT
538.24/540.19 c #Conflicts: 278000 | #Constraints: 11613
538.24/540.19 c #Conflicts: 279000 | #Constraints: 12613
538.24/540.19 c #Conflicts: 280000 | #Constraints: 13613
538.24/540.19 c #Conflicts: 281000 | #Constraints: 14613
758.70/761.34 c #Conflicts: 282000 | #Constraints: 15613
758.70/761.34 c #Conflicts: 283000 | #Constraints: 16613
758.70/761.34 c #Conflicts: 284000 | #Constraints: 17613
758.70/761.34 c #Conflicts: 285000 | #Constraints: 18613
758.70/761.34 c #Conflicts: 286000 | #Constraints: 19613
758.70/761.34 c #Conflicts: 287000 | #Constraints: 20613
758.70/761.34 c #Conflicts: 288000 | #Constraints: 21613
758.70/761.34 c INPROCESSING
758.70/761.34 c GARBAGE COLLECT
758.70/761.34 c #Conflicts: 289000 | #Constraints: 12012
758.70/761.34 c #Conflicts: 290000 | #Constraints: 13012
758.70/761.34 c #Conflicts: 291000 | #Constraints: 14012
758.70/761.34 c #Conflicts: 292000 | #Constraints: 15012
758.70/761.34 c #Conflicts: 293000 | #Constraints: 16012
758.70/761.34 c #Conflicts: 294000 | #Constraints: 17012
758.70/761.34 c #Conflicts: 295000 | #Constraints: 18012
758.70/761.34 c #Conflicts: 296000 | #Constraints: 19012
758.70/761.34 c #Conflicts: 297000 | #Constraints: 20012
758.70/761.34 c #Conflicts: 298000 | #Constraints: 21012
758.70/761.34 c #Conflicts: 299000 | #Constraints: 22012
758.70/761.34 c INPROCESSING
758.70/761.34 c GARBAGE COLLECT
758.70/761.34 c #Conflicts: 300000 | #Constraints: 12217
758.70/761.34 c #Conflicts: 301000 | #Constraints: 13217
758.70/761.34 c #Conflicts: 302000 | #Constraints: 14217
758.70/761.34 c #Conflicts: 303000 | #Constraints: 15217
758.70/761.34 c #Conflicts: 304000 | #Constraints: 16217
758.70/761.34 c #Conflicts: 305000 | #Constraints: 17217
758.70/761.34 c #Conflicts: 306000 | #Constraints: 18217
758.70/761.34 c #Conflicts: 307000 | #Constraints: 19217
758.70/761.34 c #Conflicts: 308000 | #Constraints: 20217
758.70/761.34 c #Conflicts: 309000 | #Constraints: 21217
758.70/761.34 c #Conflicts: 310000 | #Constraints: 22217
758.70/761.34 c INPROCESSING
758.70/761.34 c GARBAGE COLLECT
758.70/761.34 c #Conflicts: 311000 | #Constraints: 12211
758.70/761.34 c #Conflicts: 312000 | #Constraints: 13211
758.70/761.34 c #Conflicts: 313000 | #Constraints: 14211
758.70/761.34 c #Conflicts: 314000 | #Constraints: 15211
758.70/761.34 c #Conflicts: 315000 | #Constraints: 16211
758.70/761.34 c #Conflicts: 316000 | #Constraints: 17211
758.70/761.34 c #Conflicts: 317000 | #Constraints: 18211
758.70/761.34 c #Conflicts: 318000 | #Constraints: 19211
758.70/761.34 c #Conflicts: 319000 | #Constraints: 20211
758.70/761.34 c #Conflicts: 320000 | #Constraints: 21211
758.70/761.34 c #Conflicts: 321000 | #Constraints: 22211
758.70/761.34 c INPROCESSING
758.70/761.34 c GARBAGE COLLECT
758.70/761.34 c #Conflicts: 322000 | #Constraints: 12018
758.70/761.34 c #Conflicts: 323000 | #Constraints: 13018
758.70/761.34 c #Conflicts: 324000 | #Constraints: 14018
758.70/761.34 c #Conflicts: 325000 | #Constraints: 15018
758.70/761.34 c #Conflicts: 326000 | #Constraints: 16018
758.70/761.34 c #Conflicts: 327000 | #Constraints: 17018
758.70/761.34 c #Conflicts: 328000 | #Constraints: 18018
758.70/761.34 c #Conflicts: 329000 | #Constraints: 19018
758.70/761.34 c #Conflicts: 330000 | #Constraints: 20018
758.70/761.34 c #Conflicts: 331000 | #Constraints: 21018
758.70/761.34 c #Conflicts: 332000 | #Constraints: 22018
758.70/761.34 c #Conflicts: 333000 | #Constraints: 23018
758.70/761.34 c INPROCESSING
758.70/761.34 c GARBAGE COLLECT
758.70/761.34 c #Conflicts: 334000 | #Constraints: 12612
758.70/761.34 c #Conflicts: 335000 | #Constraints: 13612
758.70/761.34 c #Conflicts: 336000 | #Constraints: 14612
758.70/761.34 c #Conflicts: 337000 | #Constraints: 15612
758.70/761.34 c #Conflicts: 338000 | #Constraints: 16612
758.70/761.34 c #Conflicts: 339000 | #Constraints: 17612
758.70/761.34 c #Conflicts: 340000 | #Constraints: 18612
758.70/761.34 c #Conflicts: 341000 | #Constraints: 19612
758.70/761.34 c #Conflicts: 342000 | #Constraints: 20612
758.70/761.34 c #Conflicts: 343000 | #Constraints: 21612
758.70/761.34 c #Conflicts: 344000 | #Constraints: 22612
758.70/761.34 c #Conflicts: 345000 | #Constraints: 23612
758.70/761.34 c INPROCESSING
758.70/761.34 c GARBAGE COLLECT
758.70/761.34 c #Conflicts: 346000 | #Constraints: 13025
758.70/761.34 c #Conflicts: 347000 | #Constraints: 14025
758.70/761.34 c #Conflicts: 348000 | #Constraints: 15025
758.70/761.34 c #Conflicts: 349000 | #Constraints: 16025
758.70/761.34 c #Conflicts: 350000 | #Constraints: 17025
758.70/761.34 c #Conflicts: 351000 | #Constraints: 18025
758.70/761.34 c #Conflicts: 352000 | #Constraints: 19025
758.70/761.34 c #Conflicts: 353000 | #Constraints: 20025
758.70/761.34 c #Conflicts: 354000 | #Constraints: 21025
758.70/761.34 c #Conflicts: 355000 | #Constraints: 22025
758.70/761.34 c #Conflicts: 356000 | #Constraints: 23025
1015.48/1018.96 c #Conflicts: 357000 | #Constraints: 24025
1015.48/1018.96 c INPROCESSING
1015.48/1018.96 c GARBAGE COLLECT
1015.48/1018.96 c #Conflicts: 358000 | #Constraints: 13220
1015.48/1018.96 c #Conflicts: 359000 | #Constraints: 14220
1015.48/1018.96 c #Conflicts: 360000 | #Constraints: 15220
1015.48/1018.96 c #Conflicts: 361000 | #Constraints: 16220
1015.48/1018.96 c #Conflicts: 362000 | #Constraints: 17220
1015.48/1018.96 c #Conflicts: 363000 | #Constraints: 18220
1015.48/1018.96 c #Conflicts: 364000 | #Constraints: 19220
1015.48/1018.96 c #Conflicts: 365000 | #Constraints: 20220
1015.48/1018.96 c #Conflicts: 366000 | #Constraints: 21220
1015.48/1018.96 c #Conflicts: 367000 | #Constraints: 22220
1015.48/1018.96 c #Conflicts: 368000 | #Constraints: 23220
1015.48/1018.96 c #Conflicts: 369000 | #Constraints: 24220
1015.48/1018.96 c INPROCESSING
1015.48/1018.96 c GARBAGE COLLECT
1015.48/1018.96 c #Conflicts: 370000 | #Constraints: 13220
1015.48/1018.96 c #Conflicts: 371000 | #Constraints: 14220
1015.48/1018.96 c #Conflicts: 372000 | #Constraints: 15220
1015.48/1018.96 c #Conflicts: 373000 | #Constraints: 16220
1015.48/1018.96 c #Conflicts: 374000 | #Constraints: 17220
1015.48/1018.96 c #Conflicts: 375000 | #Constraints: 18220
1015.48/1018.96 c #Conflicts: 376000 | #Constraints: 19220
1015.48/1018.96 c #Conflicts: 377000 | #Constraints: 20220
1015.48/1018.96 c #Conflicts: 378000 | #Constraints: 21220
1015.48/1018.96 c #Conflicts: 379000 | #Constraints: 22220
1015.48/1018.96 c #Conflicts: 380000 | #Constraints: 23220
1015.48/1018.96 c #Conflicts: 381000 | #Constraints: 24220
1015.48/1018.96 c INPROCESSING
1015.48/1018.96 c GARBAGE COLLECT
1015.48/1018.96 c #Conflicts: 382000 | #Constraints: 13018
1015.48/1018.96 c #Conflicts: 383000 | #Constraints: 14018
1015.48/1018.96 c #Conflicts: 384000 | #Constraints: 15018
1015.48/1018.96 c #Conflicts: 385000 | #Constraints: 16018
1015.48/1018.96 c #Conflicts: 386000 | #Constraints: 17018
1015.48/1018.96 c #Conflicts: 387000 | #Constraints: 18018
1015.48/1018.96 c #Conflicts: 388000 | #Constraints: 19018
1015.48/1018.96 c #Conflicts: 389000 | #Constraints: 20018
1015.48/1018.96 c #Conflicts: 390000 | #Constraints: 21018
1015.48/1018.96 c #Conflicts: 391000 | #Constraints: 22018
1015.48/1018.96 c #Conflicts: 392000 | #Constraints: 23018
1015.48/1018.96 c #Conflicts: 393000 | #Constraints: 24018
1015.48/1018.96 c #Conflicts: 394000 | #Constraints: 25018
1015.48/1018.96 c INPROCESSING
1015.48/1018.96 c GARBAGE COLLECT
1015.48/1018.96 c #Conflicts: 395000 | #Constraints: 13612
1015.48/1018.96 c #Conflicts: 396000 | #Constraints: 14612
1015.48/1018.96 c #Conflicts: 397000 | #Constraints: 15612
1015.48/1018.96 c #Conflicts: 398000 | #Constraints: 16612
1015.48/1018.96 c #Conflicts: 399000 | #Constraints: 17612
1015.48/1018.96 c #Conflicts: 400000 | #Constraints: 18612
1015.48/1018.96 c #Conflicts: 401000 | #Constraints: 19612
1015.48/1018.96 c #Conflicts: 402000 | #Constraints: 20612
1015.48/1018.96 c #Conflicts: 403000 | #Constraints: 21612
1015.48/1018.96 c #Conflicts: 404000 | #Constraints: 22612
1015.48/1018.96 c #Conflicts: 405000 | #Constraints: 23612
1015.48/1018.96 c #Conflicts: 406000 | #Constraints: 24612
1015.48/1018.96 c #Conflicts: 407000 | #Constraints: 25612
1015.48/1018.96 c INPROCESSING
1015.48/1018.96 c GARBAGE COLLECT
1015.48/1018.96 c #Conflicts: 408000 | #Constraints: 14011
1015.48/1018.96 c #Conflicts: 409000 | #Constraints: 15011
1015.48/1018.96 c #Conflicts: 410000 | #Constraints: 16011
1015.48/1018.96 c #Conflicts: 411000 | #Constraints: 17011
1015.48/1018.96 c #Conflicts: 412000 | #Constraints: 18011
1015.48/1018.96 c #Conflicts: 413000 | #Constraints: 19011
1015.48/1018.96 c #Conflicts: 414000 | #Constraints: 20011
1015.48/1018.96 c #Conflicts: 415000 | #Constraints: 21011
1015.48/1018.96 c #Conflicts: 416000 | #Constraints: 22011
1015.48/1018.96 c #Conflicts: 417000 | #Constraints: 23011
1015.48/1018.96 c #Conflicts: 418000 | #Constraints: 24011
1015.48/1018.96 c #Conflicts: 419000 | #Constraints: 25011
1015.48/1018.96 c #Conflicts: 420000 | #Constraints: 26011
1015.48/1018.96 c INPROCESSING
1015.48/1018.96 c GARBAGE COLLECT
1015.48/1018.96 c #Conflicts: 421000 | #Constraints: 14221
1015.48/1018.96 c #Conflicts: 422000 | #Constraints: 15221
1015.48/1018.96 c #Conflicts: 423000 | #Constraints: 16221
1015.48/1018.96 c #Conflicts: 424000 | #Constraints: 17221
1015.48/1018.96 c #Conflicts: 425000 | #Constraints: 18221
1015.48/1018.96 c #Conflicts: 426000 | #Constraints: 19221
1015.48/1018.96 c #Conflicts: 427000 | #Constraints: 20221
1015.48/1018.96 c #Conflicts: 428000 | #Constraints: 21221
1015.48/1018.96 c #Conflicts: 429000 | #Constraints: 22221
1015.48/1018.96 c #Conflicts: 430000 | #Constraints: 23221
1015.48/1018.96 c #Conflicts: 431000 | #Constraints: 24221
1269.81/1274.06 c #Conflicts: 432000 | #Constraints: 25221
1269.81/1274.06 c #Conflicts: 433000 | #Constraints: 26221
1269.81/1274.06 c INPROCESSING
1269.81/1274.06 c GARBAGE COLLECT
1269.81/1274.06 c #Conflicts: 434000 | #Constraints: 14222
1269.81/1274.06 c #Conflicts: 435000 | #Constraints: 15222
1269.81/1274.06 c #Conflicts: 436000 | #Constraints: 16222
1269.81/1274.06 c #Conflicts: 437000 | #Constraints: 17222
1269.81/1274.06 c #Conflicts: 438000 | #Constraints: 18222
1269.81/1274.06 c #Conflicts: 439000 | #Constraints: 19222
1269.81/1274.06 c #Conflicts: 440000 | #Constraints: 20222
1269.81/1274.06 c #Conflicts: 441000 | #Constraints: 21222
1269.81/1274.06 c #Conflicts: 442000 | #Constraints: 22222
1269.81/1274.06 c #Conflicts: 443000 | #Constraints: 23222
1269.81/1274.06 c #Conflicts: 444000 | #Constraints: 24222
1269.81/1274.06 c #Conflicts: 445000 | #Constraints: 25222
1269.81/1274.06 c #Conflicts: 446000 | #Constraints: 26222
1269.81/1274.06 c INPROCESSING
1269.81/1274.06 c GARBAGE COLLECT
1269.81/1274.06 c #Conflicts: 447000 | #Constraints: 14030
1269.81/1274.06 c #Conflicts: 448000 | #Constraints: 15030
1269.81/1274.06 c #Conflicts: 449000 | #Constraints: 16030
1269.81/1274.06 c #Conflicts: 450000 | #Constraints: 17030
1269.81/1274.06 c #Conflicts: 451000 | #Constraints: 18030
1269.81/1274.06 c #Conflicts: 452000 | #Constraints: 19030
1269.81/1274.06 c #Conflicts: 453000 | #Constraints: 20030
1269.81/1274.06 c #Conflicts: 454000 | #Constraints: 21030
1269.81/1274.06 c #Conflicts: 455000 | #Constraints: 22030
1269.81/1274.06 c #Conflicts: 456000 | #Constraints: 23030
1269.81/1274.06 c #Conflicts: 457000 | #Constraints: 24030
1269.81/1274.06 c #Conflicts: 458000 | #Constraints: 25030
1269.81/1274.06 c #Conflicts: 459000 | #Constraints: 26030
1269.81/1274.06 c #Conflicts: 460000 | #Constraints: 27030
1269.81/1274.06 c INPROCESSING
1269.81/1274.06 c GARBAGE COLLECT
1269.81/1274.06 c #Conflicts: 461000 | #Constraints: 14608
1269.81/1274.06 c #Conflicts: 462000 | #Constraints: 15608
1269.81/1274.06 c #Conflicts: 463000 | #Constraints: 16608
1269.81/1274.06 c #Conflicts: 464000 | #Constraints: 17608
1269.81/1274.06 c #Conflicts: 465000 | #Constraints: 18608
1269.81/1274.06 c #Conflicts: 466000 | #Constraints: 19608
1269.81/1274.06 c #Conflicts: 467000 | #Constraints: 20608
1269.81/1274.06 c #Conflicts: 468000 | #Constraints: 21608
1269.81/1274.06 c #Conflicts: 469000 | #Constraints: 22608
1269.81/1274.06 c #Conflicts: 470000 | #Constraints: 23608
1269.81/1274.06 c #Conflicts: 471000 | #Constraints: 24608
1269.81/1274.06 c #Conflicts: 472000 | #Constraints: 25608
1269.81/1274.06 c #Conflicts: 473000 | #Constraints: 26608
1269.81/1274.06 c #Conflicts: 474000 | #Constraints: 27608
1269.81/1274.06 c INPROCESSING
1269.81/1274.06 c GARBAGE COLLECT
1269.81/1274.06 c #Conflicts: 475000 | #Constraints: 15022
1269.81/1274.06 c #Conflicts: 476000 | #Constraints: 16022
1269.81/1274.06 c #Conflicts: 477000 | #Constraints: 17022
1269.81/1274.06 c #Conflicts: 478000 | #Constraints: 18022
1269.81/1274.06 c #Conflicts: 479000 | #Constraints: 19022
1269.81/1274.06 c #Conflicts: 480000 | #Constraints: 20022
1269.81/1274.06 c #Conflicts: 481000 | #Constraints: 21022
1269.81/1274.06 c #Conflicts: 482000 | #Constraints: 22022
1269.81/1274.06 c #Conflicts: 483000 | #Constraints: 23022
1269.81/1274.06 c #Conflicts: 484000 | #Constraints: 24022
1269.81/1274.06 c #Conflicts: 485000 | #Constraints: 25022
1269.81/1274.06 c #Conflicts: 486000 | #Constraints: 26022
1269.81/1274.06 c #Conflicts: 487000 | #Constraints: 27022
1269.81/1274.06 c #Conflicts: 488000 | #Constraints: 28022
1269.81/1274.06 c INPROCESSING
1269.81/1274.06 c GARBAGE COLLECT
1269.81/1274.06 c #Conflicts: 489000 | #Constraints: 15221
1269.81/1274.06 c #Conflicts: 490000 | #Constraints: 16221
1269.81/1274.06 c #Conflicts: 491000 | #Constraints: 17221
1269.81/1274.06 c #Conflicts: 492000 | #Constraints: 18221
1269.81/1274.06 c #Conflicts: 493000 | #Constraints: 19221
1269.81/1274.06 c #Conflicts: 494000 | #Constraints: 20221
1269.81/1274.06 c #Conflicts: 495000 | #Constraints: 21221
1269.81/1274.06 c #Conflicts: 496000 | #Constraints: 22221
1269.81/1274.06 c #Conflicts: 497000 | #Constraints: 23221
1269.81/1274.06 c #Conflicts: 498000 | #Constraints: 24221
1269.81/1274.06 c #Conflicts: 499000 | #Constraints: 25221
1269.81/1274.06 c #Conflicts: 500000 | #Constraints: 26221
1269.81/1274.06 c #Conflicts: 501000 | #Constraints: 27221
1269.81/1274.06 c #Conflicts: 502000 | #Constraints: 28221
1269.81/1274.06 c INPROCESSING
1269.81/1274.06 c GARBAGE COLLECT
1269.81/1274.06 c #Conflicts: 503000 | #Constraints: 15221
1269.81/1274.06 c #Conflicts: 504000 | #Constraints: 16221
1269.81/1274.06 c #Conflicts: 505000 | #Constraints: 17221
1269.81/1274.06 c #Conflicts: 506000 | #Constraints: 18221
1542.10/1547.13 c #Conflicts: 507000 | #Constraints: 19221
1542.10/1547.13 c #Conflicts: 508000 | #Constraints: 20221
1542.10/1547.13 c #Conflicts: 509000 | #Constraints: 21221
1542.10/1547.13 c #Conflicts: 510000 | #Constraints: 22221
1542.10/1547.13 c #Conflicts: 511000 | #Constraints: 23221
1542.10/1547.13 c #Conflicts: 512000 | #Constraints: 24221
1542.10/1547.13 c #Conflicts: 513000 | #Constraints: 25221
1542.10/1547.13 c #Conflicts: 514000 | #Constraints: 26221
1542.10/1547.13 c #Conflicts: 515000 | #Constraints: 27221
1542.10/1547.13 c #Conflicts: 516000 | #Constraints: 28221
1542.10/1547.13 c INPROCESSING
1542.10/1547.13 c GARBAGE COLLECT
1542.10/1547.13 c #Conflicts: 517000 | #Constraints: 15015
1542.10/1547.13 c #Conflicts: 518000 | #Constraints: 16015
1542.10/1547.13 c #Conflicts: 519000 | #Constraints: 17015
1542.10/1547.13 c #Conflicts: 520000 | #Constraints: 18015
1542.10/1547.13 c #Conflicts: 521000 | #Constraints: 19015
1542.10/1547.13 c #Conflicts: 522000 | #Constraints: 20015
1542.10/1547.13 c #Conflicts: 523000 | #Constraints: 21015
1542.10/1547.13 c #Conflicts: 524000 | #Constraints: 22015
1542.10/1547.13 c #Conflicts: 525000 | #Constraints: 23015
1542.10/1547.13 c #Conflicts: 526000 | #Constraints: 24015
1542.10/1547.13 c #Conflicts: 527000 | #Constraints: 25015
1542.10/1547.13 c #Conflicts: 528000 | #Constraints: 26015
1542.10/1547.13 c #Conflicts: 529000 | #Constraints: 27015
1542.10/1547.13 c #Conflicts: 530000 | #Constraints: 28015
1542.10/1547.13 c #Conflicts: 531000 | #Constraints: 29015
1542.10/1547.13 c INPROCESSING
1542.10/1547.13 c GARBAGE COLLECT
1542.10/1547.13 c #Conflicts: 532000 | #Constraints: 15622
1542.10/1547.13 c #Conflicts: 533000 | #Constraints: 16622
1542.10/1547.13 c #Conflicts: 534000 | #Constraints: 17622
1542.10/1547.13 c #Conflicts: 535000 | #Constraints: 18622
1542.10/1547.13 c #Conflicts: 536000 | #Constraints: 19622
1542.10/1547.13 c #Conflicts: 537000 | #Constraints: 20622
1542.10/1547.13 c #Conflicts: 538000 | #Constraints: 21622
1542.10/1547.13 c #Conflicts: 539000 | #Constraints: 22622
1542.10/1547.13 c #Conflicts: 540000 | #Constraints: 23622
1542.10/1547.13 c #Conflicts: 541000 | #Constraints: 24622
1542.10/1547.13 c #Conflicts: 542000 | #Constraints: 25622
1542.10/1547.13 c #Conflicts: 543000 | #Constraints: 26622
1542.10/1547.13 c #Conflicts: 544000 | #Constraints: 27622
1542.10/1547.13 c #Conflicts: 545000 | #Constraints: 28622
1542.10/1547.13 c #Conflicts: 546000 | #Constraints: 29622
1542.10/1547.13 c INPROCESSING
1542.10/1547.13 c GARBAGE COLLECT
1542.10/1547.13 c #Conflicts: 547000 | #Constraints: 16014
1542.10/1547.13 c #Conflicts: 548000 | #Constraints: 17014
1542.10/1547.13 c #Conflicts: 549000 | #Constraints: 18014
1542.10/1547.13 c #Conflicts: 550000 | #Constraints: 19014
1542.10/1547.13 c #Conflicts: 551000 | #Constraints: 20014
1542.10/1547.13 c #Conflicts: 552000 | #Constraints: 21014
1542.10/1547.13 c #Conflicts: 553000 | #Constraints: 22014
1542.10/1547.13 c #Conflicts: 554000 | #Constraints: 23014
1542.10/1547.13 c #Conflicts: 555000 | #Constraints: 24014
1542.10/1547.13 c #Conflicts: 556000 | #Constraints: 25014
1542.10/1547.13 c #Conflicts: 557000 | #Constraints: 26014
1542.10/1547.13 c #Conflicts: 558000 | #Constraints: 27014
1542.10/1547.13 c #Conflicts: 559000 | #Constraints: 28014
1542.10/1547.13 c #Conflicts: 560000 | #Constraints: 29014
1542.10/1547.13 c #Conflicts: 561000 | #Constraints: 30014
1542.10/1547.13 c INPROCESSING
1542.10/1547.13 c GARBAGE COLLECT
1542.10/1547.13 c #Conflicts: 562000 | #Constraints: 16213
1542.10/1547.13 c #Conflicts: 563000 | #Constraints: 17213
1542.10/1547.13 c #Conflicts: 564000 | #Constraints: 18213
1542.10/1547.13 c #Conflicts: 565000 | #Constraints: 19213
1542.10/1547.13 c #Conflicts: 566000 | #Constraints: 20213
1542.10/1547.13 c #Conflicts: 567000 | #Constraints: 21213
1542.10/1547.13 c #Conflicts: 568000 | #Constraints: 22213
1542.10/1547.13 c #Conflicts: 569000 | #Constraints: 23213
1542.10/1547.13 c #Conflicts: 570000 | #Constraints: 24213
1542.10/1547.13 c #Conflicts: 571000 | #Constraints: 25213
1542.10/1547.13 c #Conflicts: 572000 | #Constraints: 26213
1542.10/1547.13 c #Conflicts: 573000 | #Constraints: 27213
1542.10/1547.13 c #Conflicts: 574000 | #Constraints: 28213
1542.10/1547.13 c #Conflicts: 575000 | #Constraints: 29213
1542.10/1547.13 c #Conflicts: 576000 | #Constraints: 30213
1542.10/1547.13 c INPROCESSING
1542.10/1547.13 c GARBAGE COLLECT
1542.10/1547.13 c #Conflicts: 577000 | #Constraints: 16223
1542.10/1547.13 c #Conflicts: 578000 | #Constraints: 17223
1542.10/1547.13 c #Conflicts: 579000 | #Constraints: 18223
1542.10/1547.13 c #Conflicts: 580000 | #Constraints: 19223
1542.10/1547.13 c #Conflicts: 581000 | #Constraints: 20223
1864.18/1870.14 c #Conflicts: 582000 | #Constraints: 21223
1864.18/1870.14 c #Conflicts: 583000 | #Constraints: 22223
1864.18/1870.14 c #Conflicts: 584000 | #Constraints: 23223
1864.18/1870.14 c #Conflicts: 585000 | #Constraints: 24223
1864.18/1870.14 c #Conflicts: 586000 | #Constraints: 25223
1864.18/1870.14 c #Conflicts: 587000 | #Constraints: 26223
1864.18/1870.14 c #Conflicts: 588000 | #Constraints: 27223
1864.18/1870.14 c #Conflicts: 589000 | #Constraints: 28223
1864.18/1870.14 c #Conflicts: 590000 | #Constraints: 29223
1864.18/1870.14 c #Conflicts: 591000 | #Constraints: 30223
1864.18/1870.14 c INPROCESSING
1864.18/1870.14 c GARBAGE COLLECT
1864.18/1870.14 c #Conflicts: 592000 | #Constraints: 16024
1864.18/1870.14 c #Conflicts: 593000 | #Constraints: 17024
1864.18/1870.14 c #Conflicts: 594000 | #Constraints: 18024
1864.18/1870.14 c #Conflicts: 595000 | #Constraints: 19024
1864.18/1870.14 c #Conflicts: 596000 | #Constraints: 20024
1864.18/1870.14 c #Conflicts: 597000 | #Constraints: 21024
1864.18/1870.14 c #Conflicts: 598000 | #Constraints: 22024
1864.18/1870.14 c #Conflicts: 599000 | #Constraints: 23024
1864.18/1870.14 c #Conflicts: 600000 | #Constraints: 24024
1864.18/1870.14 c #Conflicts: 601000 | #Constraints: 25024
1864.18/1870.14 c #Conflicts: 602000 | #Constraints: 26024
1864.18/1870.14 c #Conflicts: 603000 | #Constraints: 27024
1864.18/1870.14 c #Conflicts: 604000 | #Constraints: 28024
1864.18/1870.14 c #Conflicts: 605000 | #Constraints: 29024
1864.18/1870.14 c #Conflicts: 606000 | #Constraints: 30024
1864.18/1870.14 c #Conflicts: 607000 | #Constraints: 31024
1864.18/1870.14 c INPROCESSING
1864.18/1870.14 c GARBAGE COLLECT
1864.18/1870.14 c #Conflicts: 608000 | #Constraints: 16628
1864.18/1870.14 c #Conflicts: 609000 | #Constraints: 17628
1864.18/1870.14 c #Conflicts: 610000 | #Constraints: 18628
1864.18/1870.14 c #Conflicts: 611000 | #Constraints: 19628
1864.18/1870.14 c #Conflicts: 612000 | #Constraints: 20628
1864.18/1870.14 c #Conflicts: 613000 | #Constraints: 21628
1864.18/1870.14 c #Conflicts: 614000 | #Constraints: 22628
1864.18/1870.14 c #Conflicts: 615000 | #Constraints: 23628
1864.18/1870.14 c #Conflicts: 616000 | #Constraints: 24628
1864.18/1870.14 c #Conflicts: 617000 | #Constraints: 25628
1864.18/1870.14 c #Conflicts: 618000 | #Constraints: 26628
1864.18/1870.14 c #Conflicts: 619000 | #Constraints: 27628
1864.18/1870.14 c #Conflicts: 620000 | #Constraints: 28628
1864.18/1870.14 c #Conflicts: 621000 | #Constraints: 29628
1864.18/1870.14 c #Conflicts: 622000 | #Constraints: 30628
1864.18/1870.14 c #Conflicts: 623000 | #Constraints: 31628
1864.18/1870.14 c INPROCESSING
1864.18/1870.14 c GARBAGE COLLECT
1864.18/1870.14 c #Conflicts: 624000 | #Constraints: 17021
1864.18/1870.14 c #Conflicts: 625000 | #Constraints: 18021
1864.18/1870.14 c #Conflicts: 626000 | #Constraints: 19021
1864.18/1870.14 c #Conflicts: 627000 | #Constraints: 20021
1864.18/1870.14 c #Conflicts: 628000 | #Constraints: 21021
1864.18/1870.14 c #Conflicts: 629000 | #Constraints: 22021
1864.18/1870.14 c #Conflicts: 630000 | #Constraints: 23021
1864.18/1870.14 c #Conflicts: 631000 | #Constraints: 24021
1864.18/1870.14 c #Conflicts: 632000 | #Constraints: 25021
1864.18/1870.14 c #Conflicts: 633000 | #Constraints: 26021
1864.18/1870.14 c #Conflicts: 634000 | #Constraints: 27021
1864.18/1870.14 c #Conflicts: 635000 | #Constraints: 28021
1864.18/1870.14 c #Conflicts: 636000 | #Constraints: 29021
1864.18/1870.14 c #Conflicts: 637000 | #Constraints: 30021
1864.18/1870.14 c #Conflicts: 638000 | #Constraints: 31021
1864.18/1870.14 c #Conflicts: 639000 | #Constraints: 32021
1864.18/1870.14 c INPROCESSING
1864.18/1870.14 c GARBAGE COLLECT
1864.18/1870.14 c #Conflicts: 640000 | #Constraints: 17220
1864.18/1870.14 c #Conflicts: 641000 | #Constraints: 18220
1864.18/1870.14 c #Conflicts: 642000 | #Constraints: 19220
1864.18/1870.14 c #Conflicts: 643000 | #Constraints: 20220
1864.18/1870.14 c #Conflicts: 644000 | #Constraints: 21220
1864.18/1870.14 c #Conflicts: 645000 | #Constraints: 22220
1864.18/1870.14 c #Conflicts: 646000 | #Constraints: 23220
1864.18/1870.14 c #Conflicts: 647000 | #Constraints: 24220
1864.18/1870.14 c #Conflicts: 648000 | #Constraints: 25220
1864.18/1870.14 c #Conflicts: 649000 | #Constraints: 26220
1864.18/1870.14 c #Conflicts: 650000 | #Constraints: 27220
1864.18/1870.14 c #Conflicts: 651000 | #Constraints: 28220
1864.18/1870.14 c #Conflicts: 652000 | #Constraints: 29220
1864.18/1870.14 c #Conflicts: 653000 | #Constraints: 30220
1864.18/1870.14 c #Conflicts: 654000 | #Constraints: 31220
1864.18/1870.14 c #Conflicts: 655000 | #Constraints: 32220
1864.18/1870.14 c INPROCESSING
1864.18/1870.14 c GARBAGE COLLECT
1864.18/1870.14 c #Conflicts: 656000 | #Constraints: 17217
1864.18/1870.14 c #Conflicts: 657000 | #Constraints: 18217
2179.77/2186.61 c #Conflicts: 658000 | #Constraints: 19217
2179.77/2186.61 c #Conflicts: 659000 | #Constraints: 20217
2179.77/2186.61 c #Conflicts: 660000 | #Constraints: 21217
2179.77/2186.61 c #Conflicts: 661000 | #Constraints: 22217
2179.77/2186.61 c #Conflicts: 662000 | #Constraints: 23217
2179.77/2186.61 c #Conflicts: 663000 | #Constraints: 24217
2179.77/2186.61 c #Conflicts: 664000 | #Constraints: 25217
2179.77/2186.61 c #Conflicts: 665000 | #Constraints: 26217
2179.77/2186.61 c #Conflicts: 666000 | #Constraints: 27217
2179.77/2186.61 c #Conflicts: 667000 | #Constraints: 28217
2179.77/2186.61 c #Conflicts: 668000 | #Constraints: 29217
2179.77/2186.61 c #Conflicts: 669000 | #Constraints: 30217
2179.77/2186.61 c #Conflicts: 670000 | #Constraints: 31217
2179.77/2186.61 c #Conflicts: 671000 | #Constraints: 32217
2179.77/2186.61 c INPROCESSING
2179.77/2186.61 c GARBAGE COLLECT
2179.77/2186.61 c #Conflicts: 672000 | #Constraints: 17022
2179.77/2186.61 c #Conflicts: 673000 | #Constraints: 18022
2179.77/2186.61 c #Conflicts: 674000 | #Constraints: 19022
2179.77/2186.61 c #Conflicts: 675000 | #Constraints: 20022
2179.77/2186.61 c #Conflicts: 676000 | #Constraints: 21022
2179.77/2186.61 c #Conflicts: 677000 | #Constraints: 22022
2179.77/2186.61 c #Conflicts: 678000 | #Constraints: 23022
2179.77/2186.61 c #Conflicts: 679000 | #Constraints: 24022
2179.77/2186.61 c #Conflicts: 680000 | #Constraints: 25022
2179.77/2186.61 c #Conflicts: 681000 | #Constraints: 26022
2179.77/2186.61 c #Conflicts: 682000 | #Constraints: 27022
2179.77/2186.61 c #Conflicts: 683000 | #Constraints: 28022
2179.77/2186.61 c #Conflicts: 684000 | #Constraints: 29022
2179.77/2186.61 c #Conflicts: 685000 | #Constraints: 30022
2179.77/2186.61 c #Conflicts: 686000 | #Constraints: 31022
2179.77/2186.61 c #Conflicts: 687000 | #Constraints: 32022
2179.77/2186.61 c #Conflicts: 688000 | #Constraints: 33022
2179.77/2186.61 c INPROCESSING
2179.77/2186.61 c GARBAGE COLLECT
2179.77/2186.61 c #Conflicts: 689000 | #Constraints: 17628
2179.77/2186.61 c #Conflicts: 690000 | #Constraints: 18628
2179.77/2186.61 c #Conflicts: 691000 | #Constraints: 19628
2179.77/2186.61 c #Conflicts: 692000 | #Constraints: 20628
2179.77/2186.61 c #Conflicts: 693000 | #Constraints: 21628
2179.77/2186.61 c #Conflicts: 694000 | #Constraints: 22628
2179.77/2186.61 c #Conflicts: 695000 | #Constraints: 23628
2179.77/2186.61 c #Conflicts: 696000 | #Constraints: 24628
2179.77/2186.61 c #Conflicts: 697000 | #Constraints: 25628
2179.77/2186.61 c #Conflicts: 698000 | #Constraints: 26628
2179.77/2186.61 c #Conflicts: 699000 | #Constraints: 27628
2179.77/2186.61 c #Conflicts: 700000 | #Constraints: 28628
2179.77/2186.61 c #Conflicts: 701000 | #Constraints: 29628
2179.77/2186.61 c #Conflicts: 702000 | #Constraints: 30628
2179.77/2186.61 c #Conflicts: 703000 | #Constraints: 31628
2179.77/2186.61 c #Conflicts: 704000 | #Constraints: 32628
2179.77/2186.61 c #Conflicts: 705000 | #Constraints: 33628
2179.77/2186.61 c INPROCESSING
2179.77/2186.61 c GARBAGE COLLECT
2179.77/2186.61 c #Conflicts: 706000 | #Constraints: 18019
2179.77/2186.61 c #Conflicts: 707000 | #Constraints: 19019
2179.77/2186.61 c #Conflicts: 708000 | #Constraints: 20019
2179.77/2186.61 c #Conflicts: 709000 | #Constraints: 21019
2179.77/2186.61 c #Conflicts: 710000 | #Constraints: 22019
2179.77/2186.61 c #Conflicts: 711000 | #Constraints: 23019
2179.77/2186.61 c #Conflicts: 712000 | #Constraints: 24019
2179.77/2186.61 c #Conflicts: 713000 | #Constraints: 25019
2179.77/2186.61 c #Conflicts: 714000 | #Constraints: 26019
2179.77/2186.61 c #Conflicts: 715000 | #Constraints: 27019
2179.77/2186.61 c #Conflicts: 716000 | #Constraints: 28019
2179.77/2186.61 c #Conflicts: 717000 | #Constraints: 29019
2179.77/2186.61 c #Conflicts: 718000 | #Constraints: 30019
2179.77/2186.61 c #Conflicts: 719000 | #Constraints: 31019
2179.77/2186.61 c #Conflicts: 720000 | #Constraints: 32019
2179.77/2186.61 c #Conflicts: 721000 | #Constraints: 33019
2179.77/2186.61 c #Conflicts: 722000 | #Constraints: 34019
2179.77/2186.61 c INPROCESSING
2179.77/2186.61 c GARBAGE COLLECT
2179.77/2186.61 c #Conflicts: 723000 | #Constraints: 18217
2179.77/2186.61 c #Conflicts: 724000 | #Constraints: 19217
2179.77/2186.61 c #Conflicts: 725000 | #Constraints: 20217
2179.77/2186.61 c #Conflicts: 726000 | #Constraints: 21217
2179.77/2186.61 c #Conflicts: 727000 | #Constraints: 22217
2179.77/2186.61 c #Conflicts: 728000 | #Constraints: 23217
2179.77/2186.61 c #Conflicts: 729000 | #Constraints: 24217
2179.77/2186.61 c #Conflicts: 730000 | #Constraints: 25217
2179.77/2186.61 c #Conflicts: 731000 | #Constraints: 26217
2179.77/2186.61 c #Conflicts: 732000 | #Constraints: 27217
2179.77/2186.61 c #Conflicts: 733000 | #Constraints: 28217
2539.35/2547.21 c #Conflicts: 734000 | #Constraints: 29217
2539.35/2547.21 c #Conflicts: 735000 | #Constraints: 30217
2539.35/2547.21 c #Conflicts: 736000 | #Constraints: 31217
2539.35/2547.21 c #Conflicts: 737000 | #Constraints: 32217
2539.35/2547.21 c #Conflicts: 738000 | #Constraints: 33217
2539.35/2547.21 c #Conflicts: 739000 | #Constraints: 34217
2539.35/2547.21 c INPROCESSING
2539.35/2547.21 c GARBAGE COLLECT
2539.35/2547.21 c #Conflicts: 740000 | #Constraints: 18220
2539.35/2547.21 c #Conflicts: 741000 | #Constraints: 19220
2539.35/2547.21 c #Conflicts: 742000 | #Constraints: 20220
2539.35/2547.21 c #Conflicts: 743000 | #Constraints: 21220
2539.35/2547.21 c #Conflicts: 744000 | #Constraints: 22220
2539.35/2547.21 c #Conflicts: 745000 | #Constraints: 23220
2539.35/2547.21 c #Conflicts: 746000 | #Constraints: 24220
2539.35/2547.21 c #Conflicts: 747000 | #Constraints: 25220
2539.35/2547.21 c #Conflicts: 748000 | #Constraints: 26220
2539.35/2547.21 c #Conflicts: 749000 | #Constraints: 27220
2539.35/2547.21 c #Conflicts: 750000 | #Constraints: 28220
2539.35/2547.21 c #Conflicts: 751000 | #Constraints: 29220
2539.35/2547.21 c #Conflicts: 752000 | #Constraints: 30220
2539.35/2547.21 c #Conflicts: 753000 | #Constraints: 31220
2539.35/2547.21 c #Conflicts: 754000 | #Constraints: 32220
2539.35/2547.21 c #Conflicts: 755000 | #Constraints: 33220
2539.35/2547.21 c #Conflicts: 756000 | #Constraints: 34220
2539.35/2547.21 c INPROCESSING
2539.35/2547.21 c GARBAGE COLLECT
2539.35/2547.21 c #Conflicts: 757000 | #Constraints: 18009
2539.35/2547.21 c #Conflicts: 758000 | #Constraints: 19009
2539.35/2547.21 c #Conflicts: 759000 | #Constraints: 20009
2539.35/2547.21 c #Conflicts: 760000 | #Constraints: 21009
2539.35/2547.21 c #Conflicts: 761000 | #Constraints: 22009
2539.35/2547.21 c #Conflicts: 762000 | #Constraints: 23009
2539.35/2547.21 c #Conflicts: 763000 | #Constraints: 24009
2539.35/2547.21 c #Conflicts: 764000 | #Constraints: 25009
2539.35/2547.21 c #Conflicts: 765000 | #Constraints: 26009
2539.35/2547.21 c #Conflicts: 766000 | #Constraints: 27009
2539.35/2547.21 c #Conflicts: 767000 | #Constraints: 28009
2539.35/2547.21 c #Conflicts: 768000 | #Constraints: 29009
2539.35/2547.21 c #Conflicts: 769000 | #Constraints: 30009
2539.35/2547.21 c #Conflicts: 770000 | #Constraints: 31009
2539.35/2547.21 c #Conflicts: 771000 | #Constraints: 32009
2539.35/2547.21 c #Conflicts: 772000 | #Constraints: 33009
2539.35/2547.21 c #Conflicts: 773000 | #Constraints: 34009
2539.35/2547.21 c #Conflicts: 774000 | #Constraints: 35009
2539.35/2547.21 c INPROCESSING
2539.35/2547.21 c GARBAGE COLLECT
2539.35/2547.21 c #Conflicts: 775000 | #Constraints: 18623
2539.35/2547.21 c #Conflicts: 776000 | #Constraints: 19623
2539.35/2547.21 c #Conflicts: 777000 | #Constraints: 20623
2539.35/2547.21 c #Conflicts: 778000 | #Constraints: 21623
2539.35/2547.21 c #Conflicts: 779000 | #Constraints: 22623
2539.35/2547.21 c #Conflicts: 780000 | #Constraints: 23623
2539.35/2547.21 c #Conflicts: 781000 | #Constraints: 24623
2539.35/2547.21 c #Conflicts: 782000 | #Constraints: 25623
2539.35/2547.21 c #Conflicts: 783000 | #Constraints: 26623
2539.35/2547.21 c #Conflicts: 784000 | #Constraints: 27623
2539.35/2547.21 c #Conflicts: 785000 | #Constraints: 28623
2539.35/2547.21 c #Conflicts: 786000 | #Constraints: 29623
2539.35/2547.21 c #Conflicts: 787000 | #Constraints: 30623
2539.35/2547.21 c #Conflicts: 788000 | #Constraints: 31623
2539.35/2547.21 c #Conflicts: 789000 | #Constraints: 32623
2539.35/2547.21 c #Conflicts: 790000 | #Constraints: 33623
2539.35/2547.21 c #Conflicts: 791000 | #Constraints: 34623
2539.35/2547.21 c #Conflicts: 792000 | #Constraints: 35623
2539.35/2547.21 c INPROCESSING
2539.35/2547.21 c GARBAGE COLLECT
2539.35/2547.21 c #Conflicts: 793000 | #Constraints: 19013
2539.35/2547.21 c #Conflicts: 794000 | #Constraints: 20013
2539.35/2547.21 c #Conflicts: 795000 | #Constraints: 21013
2539.35/2547.21 c #Conflicts: 796000 | #Constraints: 22013
2539.35/2547.21 c #Conflicts: 797000 | #Constraints: 23013
2539.35/2547.21 c #Conflicts: 798000 | #Constraints: 24013
2539.35/2547.21 c #Conflicts: 799000 | #Constraints: 25013
2539.35/2547.21 c #Conflicts: 800000 | #Constraints: 26013
2539.35/2547.21 c #Conflicts: 801000 | #Constraints: 27013
2539.35/2547.21 c #Conflicts: 802000 | #Constraints: 28013
2539.35/2547.21 c #Conflicts: 803000 | #Constraints: 29013
2539.35/2547.21 c #Conflicts: 804000 | #Constraints: 30013
2539.35/2547.21 c #Conflicts: 805000 | #Constraints: 31013
2539.35/2547.21 c #Conflicts: 806000 | #Constraints: 32013
2539.35/2547.21 c #Conflicts: 807000 | #Constraints: 33013
2539.35/2547.21 c #Conflicts: 808000 | #Constraints: 34013
2539.35/2547.21 c #Conflicts: 809000 | #Constraints: 35013
2921.71/2930.70 c #Conflicts: 810000 | #Constraints: 36013
2921.71/2930.70 c INPROCESSING
2921.71/2930.70 c GARBAGE COLLECT
2921.71/2930.70 c #Conflicts: 811000 | #Constraints: 19223
2921.71/2930.70 c #Conflicts: 812000 | #Constraints: 20223
2921.71/2930.70 c #Conflicts: 813000 | #Constraints: 21223
2921.71/2930.70 c #Conflicts: 814000 | #Constraints: 22223
2921.71/2930.70 c #Conflicts: 815000 | #Constraints: 23223
2921.71/2930.70 c #Conflicts: 816000 | #Constraints: 24223
2921.71/2930.70 c #Conflicts: 817000 | #Constraints: 25223
2921.71/2930.70 c #Conflicts: 818000 | #Constraints: 26223
2921.71/2930.70 c #Conflicts: 819000 | #Constraints: 27223
2921.71/2930.70 c #Conflicts: 820000 | #Constraints: 28223
2921.71/2930.70 c #Conflicts: 821000 | #Constraints: 29223
2921.71/2930.70 c #Conflicts: 822000 | #Constraints: 30223
2921.71/2930.70 c #Conflicts: 823000 | #Constraints: 31223
2921.71/2930.70 c #Conflicts: 824000 | #Constraints: 32223
2921.71/2930.70 c #Conflicts: 825000 | #Constraints: 33223
2921.71/2930.70 c #Conflicts: 826000 | #Constraints: 34223
2921.71/2930.70 c #Conflicts: 827000 | #Constraints: 35223
2921.71/2930.70 c #Conflicts: 828000 | #Constraints: 36223
2921.71/2930.70 c INPROCESSING
2921.71/2930.70 c GARBAGE COLLECT
2921.71/2930.70 c #Conflicts: 829000 | #Constraints: 19223
2921.71/2930.70 c #Conflicts: 830000 | #Constraints: 20223
2921.71/2930.70 c #Conflicts: 831000 | #Constraints: 21223
2921.71/2930.70 c #Conflicts: 832000 | #Constraints: 22223
2921.71/2930.70 c #Conflicts: 833000 | #Constraints: 23223
2921.71/2930.70 c #Conflicts: 834000 | #Constraints: 24223
2921.71/2930.70 c #Conflicts: 835000 | #Constraints: 25223
2921.71/2930.70 c #Conflicts: 836000 | #Constraints: 26223
2921.71/2930.70 c #Conflicts: 837000 | #Constraints: 27223
2921.71/2930.70 c #Conflicts: 838000 | #Constraints: 28223
2921.71/2930.70 c #Conflicts: 839000 | #Constraints: 29223
2921.71/2930.70 c #Conflicts: 840000 | #Constraints: 30223
2921.71/2930.70 c #Conflicts: 841000 | #Constraints: 31223
2921.71/2930.70 c #Conflicts: 842000 | #Constraints: 32223
2921.71/2930.70 c #Conflicts: 843000 | #Constraints: 33223
2921.71/2930.70 c #Conflicts: 844000 | #Constraints: 34223
2921.71/2930.70 c #Conflicts: 845000 | #Constraints: 35223
2921.71/2930.70 c #Conflicts: 846000 | #Constraints: 36223
2921.71/2930.70 c INPROCESSING
2921.71/2930.70 c GARBAGE COLLECT
2921.71/2930.70 c #Conflicts: 847000 | #Constraints: 19037
2921.71/2930.70 c #Conflicts: 848000 | #Constraints: 20037
2921.71/2930.70 c #Conflicts: 849000 | #Constraints: 21037
2921.71/2930.70 c #Conflicts: 850000 | #Constraints: 22037
2921.71/2930.70 c #Conflicts: 851000 | #Constraints: 23037
2921.71/2930.70 c #Conflicts: 852000 | #Constraints: 24037
2921.71/2930.70 c #Conflicts: 853000 | #Constraints: 25037
2921.71/2930.70 c #Conflicts: 854000 | #Constraints: 26037
2921.71/2930.70 c #Conflicts: 855000 | #Constraints: 27037
2921.71/2930.70 c #Conflicts: 856000 | #Constraints: 28037
2921.71/2930.70 c #Conflicts: 857000 | #Constraints: 29037
2921.71/2930.70 c #Conflicts: 858000 | #Constraints: 30037
2921.71/2930.70 c #Conflicts: 859000 | #Constraints: 31037
2921.71/2930.70 c #Conflicts: 860000 | #Constraints: 32037
2921.71/2930.70 c #Conflicts: 861000 | #Constraints: 33037
2921.71/2930.70 c #Conflicts: 862000 | #Constraints: 34037
2921.71/2930.70 c #Conflicts: 863000 | #Constraints: 35037
2921.71/2930.70 c #Conflicts: 864000 | #Constraints: 36037
2921.71/2930.70 c #Conflicts: 865000 | #Constraints: 37037
2921.71/2930.70 c INPROCESSING
2921.71/2930.70 c GARBAGE COLLECT
2921.71/2930.70 c #Conflicts: 866000 | #Constraints: 19619
2921.71/2930.70 c #Conflicts: 867000 | #Constraints: 20619
2921.71/2930.70 c #Conflicts: 868000 | #Constraints: 21619
2921.71/2930.70 c #Conflicts: 869000 | #Constraints: 22619
2921.71/2930.70 c #Conflicts: 870000 | #Constraints: 23619
2921.71/2930.70 c #Conflicts: 871000 | #Constraints: 24619
2921.71/2930.70 c #Conflicts: 872000 | #Constraints: 25619
2921.71/2930.70 c #Conflicts: 873000 | #Constraints: 26619
2921.71/2930.70 c #Conflicts: 874000 | #Constraints: 27619
2921.71/2930.70 c #Conflicts: 875000 | #Constraints: 28619
2921.71/2930.70 c #Conflicts: 876000 | #Constraints: 29619
2921.71/2930.70 c #Conflicts: 877000 | #Constraints: 30619
2921.71/2930.70 c #Conflicts: 878000 | #Constraints: 31619
2921.71/2930.70 c #Conflicts: 879000 | #Constraints: 32619
2921.71/2930.70 c #Conflicts: 880000 | #Constraints: 33619
2921.71/2930.70 c #Conflicts: 881000 | #Constraints: 34619
2921.71/2930.70 c #Conflicts: 882000 | #Constraints: 35619
2921.71/2930.70 c #Conflicts: 883000 | #Constraints: 36619
2921.71/2930.70 c #Conflicts: 884000 | #Constraints: 37619
2921.71/2930.70 c INPROCESSING
2921.71/2930.70 c GARBAGE COLLECT
2921.71/2930.70 c #Conflicts: 885000 | #Constraints: 20023
3303.48/3313.78 c #Conflicts: 886000 | #Constraints: 21023
3303.48/3313.78 c #Conflicts: 887000 | #Constraints: 22023
3303.48/3313.78 c #Conflicts: 888000 | #Constraints: 23023
3303.48/3313.78 c #Conflicts: 889000 | #Constraints: 24023
3303.48/3313.78 c #Conflicts: 890000 | #Constraints: 25023
3303.48/3313.78 c #Conflicts: 891000 | #Constraints: 26023
3303.48/3313.78 c #Conflicts: 892000 | #Constraints: 27023
3303.48/3313.78 c #Conflicts: 893000 | #Constraints: 28023
3303.48/3313.78 c #Conflicts: 894000 | #Constraints: 29023
3303.48/3313.78 c #Conflicts: 895000 | #Constraints: 30023
3303.48/3313.78 c #Conflicts: 896000 | #Constraints: 31023
3303.48/3313.78 c #Conflicts: 897000 | #Constraints: 32023
3303.48/3313.78 c #Conflicts: 898000 | #Constraints: 33023
3303.48/3313.78 c #Conflicts: 899000 | #Constraints: 34023
3303.48/3313.78 c #Conflicts: 900000 | #Constraints: 35023
3303.48/3313.78 c #Conflicts: 901000 | #Constraints: 36023
3303.48/3313.78 c #Conflicts: 902000 | #Constraints: 37023
3303.48/3313.78 c #Conflicts: 903000 | #Constraints: 38023
3303.48/3313.78 c INPROCESSING
3303.48/3313.78 c GARBAGE COLLECT
3303.48/3313.78 c #Conflicts: 904000 | #Constraints: 20228
3303.48/3313.78 c #Conflicts: 905000 | #Constraints: 21228
3303.48/3313.78 c #Conflicts: 906000 | #Constraints: 22228
3303.48/3313.78 c #Conflicts: 907000 | #Constraints: 23228
3303.48/3313.78 c #Conflicts: 908000 | #Constraints: 24228
3303.48/3313.78 c #Conflicts: 909000 | #Constraints: 25228
3303.48/3313.78 c #Conflicts: 910000 | #Constraints: 26228
3303.48/3313.78 c #Conflicts: 911000 | #Constraints: 27228
3303.48/3313.78 c #Conflicts: 912000 | #Constraints: 28228
3303.48/3313.78 c #Conflicts: 913000 | #Constraints: 29228
3303.48/3313.78 c #Conflicts: 914000 | #Constraints: 30228
3303.48/3313.78 c #Conflicts: 915000 | #Constraints: 31228
3303.48/3313.78 c #Conflicts: 916000 | #Constraints: 32228
3303.48/3313.78 c #Conflicts: 917000 | #Constraints: 33228
3303.48/3313.78 c #Conflicts: 918000 | #Constraints: 34228
3303.48/3313.78 c #Conflicts: 919000 | #Constraints: 35228
3303.48/3313.78 c #Conflicts: 920000 | #Constraints: 36228
3303.48/3313.78 c #Conflicts: 921000 | #Constraints: 37228
3303.48/3313.78 c #Conflicts: 922000 | #Constraints: 38228
3303.48/3313.78 c INPROCESSING
3303.48/3313.78 c GARBAGE COLLECT
3303.48/3313.78 c #Conflicts: 923000 | #Constraints: 20232
3303.48/3313.78 c #Conflicts: 924000 | #Constraints: 21232
3303.48/3313.78 c #Conflicts: 925000 | #Constraints: 22232
3303.48/3313.78 c #Conflicts: 926000 | #Constraints: 23232
3303.48/3313.78 c #Conflicts: 927000 | #Constraints: 24232
3303.48/3313.78 c #Conflicts: 928000 | #Constraints: 25232
3303.48/3313.78 c #Conflicts: 929000 | #Constraints: 26232
3303.48/3313.78 c #Conflicts: 930000 | #Constraints: 27232
3303.48/3313.78 c #Conflicts: 931000 | #Constraints: 28232
3303.48/3313.78 c #Conflicts: 932000 | #Constraints: 29232
3303.48/3313.78 c #Conflicts: 933000 | #Constraints: 30232
3303.48/3313.78 c #Conflicts: 934000 | #Constraints: 31232
3303.48/3313.78 c #Conflicts: 935000 | #Constraints: 32232
3303.48/3313.78 c #Conflicts: 936000 | #Constraints: 33232
3303.48/3313.78 c #Conflicts: 937000 | #Constraints: 34232
3303.48/3313.78 c #Conflicts: 938000 | #Constraints: 35232
3303.48/3313.78 c #Conflicts: 939000 | #Constraints: 36232
3303.48/3313.78 c #Conflicts: 940000 | #Constraints: 37232
3303.48/3313.78 c #Conflicts: 941000 | #Constraints: 38232
3303.48/3313.78 c INPROCESSING
3303.48/3313.78 c GARBAGE COLLECT
3303.48/3313.78 c #Conflicts: 942000 | #Constraints: 20036
3303.48/3313.78 c #Conflicts: 943000 | #Constraints: 21036
3303.48/3313.78 c #Conflicts: 944000 | #Constraints: 22036
3303.48/3313.78 c #Conflicts: 945000 | #Constraints: 23036
3303.48/3313.78 c #Conflicts: 946000 | #Constraints: 24036
3303.48/3313.78 c #Conflicts: 947000 | #Constraints: 25036
3303.48/3313.78 c #Conflicts: 948000 | #Constraints: 26036
3303.48/3313.78 c #Conflicts: 949000 | #Constraints: 27036
3303.48/3313.78 c #Conflicts: 950000 | #Constraints: 28036
3303.48/3313.78 c #Conflicts: 951000 | #Constraints: 29036
3303.48/3313.78 c #Conflicts: 952000 | #Constraints: 30036
3303.48/3313.78 c #Conflicts: 953000 | #Constraints: 31036
3303.48/3313.78 c #Conflicts: 954000 | #Constraints: 32036
3303.48/3313.78 c #Conflicts: 955000 | #Constraints: 33036
3303.48/3313.78 c #Conflicts: 956000 | #Constraints: 34036
3303.48/3313.78 c #Conflicts: 957000 | #Constraints: 35036
3303.48/3313.78 c #Conflicts: 958000 | #Constraints: 36036
3303.48/3313.78 c #Conflicts: 959000 | #Constraints: 37036
3303.48/3313.78 c #Conflicts: 960000 | #Constraints: 38036
3303.48/3313.78 c #Conflicts: 961000 | #Constraints: 39036
3303.48/3313.78 c INPROCESSING
3303.48/3313.78 c GARBAGE COLLECT
3600.09/3611.11 c #Conflicts: 962000 | #Constraints: 20632
3600.09/3611.11 c #Conflicts: 963000 | #Constraints: 21632
3600.09/3611.11 c #Conflicts: 964000 | #Constraints: 22632
3600.09/3611.11 c #Conflicts: 965000 | #Constraints: 23632
3600.09/3611.11 c #Conflicts: 966000 | #Constraints: 24632
3600.09/3611.11 c #Conflicts: 967000 | #Constraints: 25632
3600.09/3611.11 c #Conflicts: 968000 | #Constraints: 26632
3600.09/3611.11 c #Conflicts: 969000 | #Constraints: 27632
3600.09/3611.11 c #Conflicts: 970000 | #Constraints: 28632
3600.09/3611.11 c #Conflicts: 971000 | #Constraints: 29632
3600.09/3611.11 c #Conflicts: 972000 | #Constraints: 30632
3600.09/3611.11 c #Conflicts: 973000 | #Constraints: 31632
3600.09/3611.11 c #Conflicts: 974000 | #Constraints: 32632
3600.09/3611.11 c #Conflicts: 975000 | #Constraints: 33632
3600.09/3611.11 c #Conflicts: 976000 | #Constraints: 34632
3600.09/3611.11 c #Conflicts: 977000 | #Constraints: 35632
3600.09/3611.11 c #Conflicts: 978000 | #Constraints: 36632
3600.09/3611.11 c #Conflicts: 979000 | #Constraints: 37632
3600.09/3611.11 c #Conflicts: 980000 | #Constraints: 38632
3600.09/3611.11 c #Conflicts: 981000 | #Constraints: 39632
3600.09/3611.11 c INPROCESSING
3600.09/3611.11 c GARBAGE COLLECT
3600.09/3611.11 c #Conflicts: 982000 | #Constraints: 21025
3600.09/3611.11 c #Conflicts: 983000 | #Constraints: 22025
3600.09/3611.11 c #Conflicts: 984000 | #Constraints: 23025
3600.09/3611.11 c #Conflicts: 985000 | #Constraints: 24025
3600.09/3611.11 c #Conflicts: 986000 | #Constraints: 25025
3600.09/3611.11 c #Conflicts: 987000 | #Constraints: 26025
3600.09/3611.11 c #Conflicts: 988000 | #Constraints: 27025
3600.09/3611.11 c #Conflicts: 989000 | #Constraints: 28025
3600.09/3611.11 c #Conflicts: 990000 | #Constraints: 29025
3600.09/3611.11 c #Conflicts: 991000 | #Constraints: 30025
3600.09/3611.11 c #Conflicts: 992000 | #Constraints: 31025
3600.09/3611.11 c #Conflicts: 993000 | #Constraints: 32025
3600.09/3611.11 c #Conflicts: 994000 | #Constraints: 33025
3600.09/3611.11 c #Conflicts: 995000 | #Constraints: 34025
3600.09/3611.11 c #Conflicts: 996000 | #Constraints: 35025
3600.09/3611.11 c #Conflicts: 997000 | #Constraints: 36025
3600.09/3611.11 c #Conflicts: 998000 | #Constraints: 37025
3600.09/3611.11 c #Conflicts: 999000 | #Constraints: 38025
3600.09/3611.11 c #Conflicts: 1000000 | #Constraints: 39025
3600.09/3611.12 c #Conflicts: 1001000 | #Constraints: 40025
3600.09/3611.12 c INPROCESSING
3600.09/3611.12 c GARBAGE COLLECT
3600.09/3611.12 c #Conflicts: 1002000 | #Constraints: 21223
3600.09/3611.12 c #Conflicts: 1003000 | #Constraints: 22223
3600.09/3611.12 c #Conflicts: 1004000 | #Constraints: 23223
3600.09/3611.12 c #Conflicts: 1005000 | #Constraints: 24223
3600.09/3611.12 c #Conflicts: 1006000 | #Constraints: 25223
3600.09/3611.12 c #Conflicts: 1007000 | #Constraints: 26223
3600.09/3611.12 c #Conflicts: 1008000 | #Constraints: 27223
3600.09/3611.12 c #Conflicts: 1009000 | #Constraints: 28223
3600.09/3611.12 c #Conflicts: 1010000 | #Constraints: 29223
3600.09/3611.12 c #Conflicts: 1011000 | #Constraints: 30223
3600.09/3611.12 c #Conflicts: 1012000 | #Constraints: 31223
3600.09/3611.12 c #Conflicts: 1013000 | #Constraints: 32223
3600.09/3611.12 c #Conflicts: 1014000 | #Constraints: 33223
3600.09/3611.12 c #Conflicts: 1015000 | #Constraints: 34223
3600.09/3611.12 c #Conflicts: 1016000 | #Constraints: 35223
3600.09/3611.12 c #Conflicts: 1017000 | #Constraints: 36223
3600.09/3611.12 c #Conflicts: 1018000 | #Constraints: 37223
3600.09/3611.12 c #Conflicts: 1019000 | #Constraints: 38223
3600.09/3611.12 c #Conflicts: 1020000 | #Constraints: 39223
3600.09/3611.12 c #Conflicts: 1021000 | #Constraints: 40223
3600.09/3611.12 c INPROCESSING
3600.09/3611.12 c GARBAGE COLLECT
3600.09/3611.12 c #Conflicts: 1022000 | #Constraints: 21217
3600.09/3611.12 c #Conflicts: 1023000 | #Constraints: 22217
3600.09/3611.12 c #Conflicts: 1024000 | #Constraints: 23217
3600.09/3611.12 c #Conflicts: 1025000 | #Constraints: 24217
3600.09/3611.12 c #Conflicts: 1026000 | #Constraints: 25217
3600.09/3611.12 c #Conflicts: 1027000 | #Constraints: 26217
3600.09/3611.12 c #Conflicts: 1028000 | #Constraints: 27217
3600.09/3611.12 c #Conflicts: 1029000 | #Constraints: 28217
3600.09/3611.12 c #Conflicts: 1030000 | #Constraints: 29217
3600.09/3611.12 c #Conflicts: 1031000 | #Constraints: 30217
3600.09/3611.12 c #Conflicts: 1032000 | #Constraints: 31217
3600.09/3611.12 c #Conflicts: 1033000 | #Constraints: 32217
3600.09/3611.12 c #Conflicts: 1034000 | #Constraints: 33217
3600.09/3611.12 c #Conflicts: 1035000 | #Constraints: 34217
3600.09/3611.12 c #Conflicts: 1036000 | #Constraints: 35217
3600.09/3611.12 c #Conflicts: 1037000 | #Constraints: 36217
3600.09/3611.12 c cpu time 3578.12 s
3600.09/3611.12 c deterministic time 1 1.00e+00
3600.09/3611.12 c optimization time 3578.11 s
3600.09/3611.12 c total solve time 0 s
3600.09/3611.12 c core-guided solve time 0 s
3600.09/3611.12 c propagation time 0.000232 s
3600.09/3611.12 c conflict analysis time 0 s
3600.09/3611.12 c propagations 0
3600.09/3611.12 c resolve steps 0
3600.09/3611.12 c decisions 0
3600.09/3611.12 c conflicts 0
3600.09/3611.12 c restarts 0
3600.09/3611.12 c inprocessing phases 0
3600.09/3611.12 c garbage collections 0 ,( -nan )
3600.09/3611.12 c input clauses 83 ,( 49.11 )
3600.09/3611.12 c input cardinalities 85 ,( 50.30 )
3600.09/3611.12 c input general constraints 1 ,( 0.59 )
3600.09/3611.12 c input average constraint length 54.58
3600.09/3611.12 c input average constraint degree 41.53
3600.09/3611.12 c learned clauses 0 ,( 0.00 )
3600.09/3611.12 c learned cardinalities 0 ,( 0.00 )
3600.09/3611.12 c learned general constraints 0 ,( 0.00 )
3600.09/3611.12 c learned average constraint length 0.00
3600.09/3611.12 c learned average constraint degree 0.00
3600.09/3611.12 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3611.12 c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.09/3611.12 c watched constraints 0 ,( 0.00 )
3600.09/3611.12 c counting constraints 1 ,( 100.00 )
3600.09/3611.12 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3611.12 c gcd simplifications 0
3600.09/3611.12 c detected cardinalities 0
3600.09/3611.12 c weakened non-implied lits 0
3600.09/3611.12 c weakened non-implying lits 0
3600.09/3611.12 c original variables 1086
3600.09/3611.12 c clausal propagations 0
3600.09/3611.12 c cardinality propagations 0
3600.09/3611.12 c watched propagations 0
3600.09/3611.12 c counting propagations 0
3600.09/3611.12 c watch lookups 0
3600.09/3611.12 c watch backjump lookups 0
3600.09/3611.12 c watch checks 0
3600.09/3611.12 c propagation checks 0
3600.09/3611.12 c constraint additions 0
3600.09/3611.12 c trail pops 0
3600.09/3611.12 c formula constraints 169
3600.09/3611.12 c learned constraints 0
3600.09/3611.12 c bound constraints 0
3600.09/3611.12 c core-guided constraints 0
3600.09/3611.12 c encountered formula constraints 0
3600.09/3611.12 c encountered learned constraints 0
3600.09/3611.12 c encountered bound constraints 0
3600.09/3611.12 c encountered core-guided constraints 0
3600.09/3611.12 c LP total time 0 s
3600.09/3611.12 c LP solve time 0 s
3600.09/3611.12 c LP constraints added 0
3600.09/3611.12 c LP constraints removed 0
3600.09/3611.12 c LP pivots internal 0
3600.09/3611.12 c LP pivots root 0
3600.09/3611.12 c LP calls 0
3600.09/3611.12 c LP optimalities 0
3600.09/3611.12 c LP no pivot count 0
3600.09/3611.12 c LP infeasibilities 0
3600.09/3611.12 c LP valid Farkas constraints 0
3600.09/3611.12 c LP learned Farkas constraints 0
3600.09/3611.12 c LP basis resets 0
3600.09/3611.12 c LP cycling count 0
3600.09/3611.12 c LP singular count 0
3600.09/3611.12 c LP no primal count 0
3600.09/3611.12 c LP no farkas count 0
3600.09/3611.12 c LP other issue count 0
3600.09/3611.12 c LP Gomory cuts 0
3600.09/3611.12 c LP learned cuts 0
3600.09/3611.12 c LP deleted cuts 0
3600.09/3611.12 c LP encountered Gomory constraints 0
3600.09/3611.12 c LP encountered Farkas constraints 0
3600.09/3611.12 c LP encountered learned Farkas constraints 0
3600.09/3611.12 c CG auxiliary variables introduced 0
3600.09/3611.12 c CG solutions found 0
3600.09/3611.12 c CG cores constructed 0
3600.09/3611.12 c CG core cardinality constraints returned 0
3600.09/3611.12 c CG unit cores 0
3600.09/3611.12 c CG single cores 0
3600.09/3611.12 c CG blocks removed during cardinality reduction 0
3600.09/3611.12 c CG first core best 0
3600.09/3611.12 c CG decision core best 0
3600.09/3611.12 c CG core reduction tie 0
3600.09/3611.12 c CG core degree average 0.00
3600.09/3611.12 c CG core slack average 0.00
3600.09/3611.12 c CG core upper bound improvements 0
3600.09/3611.12 c STR number of successful calls 0
3600.09/3611.12 c STR number of unsuccessful calls 0
3600.09/3611.12 c STR number of inconclusive calls 0
3600.09/3611.12 c STR number of successful attempts 0
3600.09/3611.12 c STR number of unsuccessful attempts 0
3600.09/3611.12 c STR number of inconclusive attempts 0
3600.09/3611.12 c STR average degree increase per successful call inf
3600.09/3611.12 c STR average degree increase per successful attempt inf
3600.09/3611.12 c STR total number of conflicts for successful attempts 0
3600.09/3611.12 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.12 c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.12 c STR average number of conflicts per successful attempt inf
3600.09/3611.12 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.12 c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.12 c AVG.sumWPerc 100.00
3600.09/3611.12 c bigint constraints 0
3600.09/3611.12 s UNKNOWN
3600.09/3611.12 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (51724 MiB free)
memory of node 1: 64507 MiB (60998 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522459-1751598526/watcher-4522459-1751598526 -o /tmp/evaluation-result-4522459-1751598526/solver-4522459-1751598526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751594361-84104 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4522459-1751598526.opb PROOFDIR/proof-4522459-1751598526
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84757, runsolver pid=84754
[startup+0.100101 s]*
/proc/loadavg: 4.35 4.19 4.11 5/263 84759
/proc/meminfo: memFree=115423572/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=62048 memory=12928 CPUtime=0.09 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 1101 0 0 0 8 1 0 0 20 0 1 0 75532025 63537152 3232 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 15512 3232 2400 1147 0 2939 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66240 KiB
Current children cumulated memory: 16000 KiB
[startup+0.210477 s]*
/proc/loadavg: 4.35 4.19 4.11 5/263 84759
/proc/meminfo: memFree=115420548/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=62840 memory=15828 CPUtime=0.19 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 1318 0 0 0 17 2 0 0 20 0 1 0 75532025 64348160 3957 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 15710 3957 2400 1147 0 3137 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67032 KiB
Current children cumulated memory: 18900 KiB
[startup+0.310492 s]*
/proc/loadavg: 4.35 4.19 4.11 6/263 84759
/proc/meminfo: memFree=115412484/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=63368 memory=16340 CPUtime=0.29 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 1449 0 0 0 27 2 0 0 20 0 1 0 75532025 64888832 4085 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 15842 4085 2400 1147 0 3269 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67560 KiB
Current children cumulated memory: 19412 KiB
[startup+0.700358 s]
/proc/loadavg: 4.35 4.19 4.11 5/263 84759
/proc/meminfo: memFree=115408452/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=65500 memory=18388 CPUtime=0.67 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 1971 0 0 0 63 4 0 0 20 0 1 0 75532025 67072000 4597 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 16375 4597 2400 1147 0 3802 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 69692 KiB
Current children cumulated memory: 21460 KiB
[startup+1.50041 s]
/proc/loadavg: 4.32 4.19 4.11 6/263 84759
/proc/meminfo: memFree=115384512/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=73180 memory=25556 CPUtime=1.47 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 3772 0 0 0 140 7 0 0 20 0 1 0 75532025 74936320 6389 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 18295 6389 2400 1147 0 5722 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 77372 KiB
Current children cumulated memory: 28628 KiB
[startup+3.11374 s]
/proc/loadavg: 4.32 4.19 4.11 5/262 84759
/proc/meminfo: memFree=115319872/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=86076 memory=37204 CPUtime=3.07 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 6659 0 0 0 297 10 0 0 20 0 1 0 75532025 88141824 9301 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 21519 9301 2400 1147 0 8946 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 90268 KiB
Current children cumulated memory: 40276 KiB
[startup+6.3004 s]
/proc/loadavg: 4.37 4.20 4.12 5/262 84759
/proc/meminfo: memFree=115191044/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=100824 memory=48356 CPUtime=6.25 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 8942 0 0 0 609 16 0 0 20 0 1 0 75532025 103243776 12089 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 25206 12089 2400 1147 0 12633 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 105016 KiB
Current children cumulated memory: 51428 KiB
[startup+12.7004 s]
/proc/loadavg: 4.34 4.20 4.12 5/262 84759
/proc/meminfo: memFree=115084152/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=112736 memory=62668 CPUtime=12.63 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 11515 0 0 0 1238 25 0 0 20 0 1 0 75532025 115441664 15667 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 28184 15667 2400 1147 0 15611 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 116928 KiB
Current children cumulated memory: 65740 KiB
[startup+25.5004 s]
/proc/loadavg: 4.29 4.19 4.12 5/262 84759
/proc/meminfo: memFree=114689732/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=140728 memory=79052 CPUtime=25.39 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 15596 0 0 0 2500 39 0 0 20 0 1 0 75532025 144105472 19763 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 35182 19763 2400 1147 0 22609 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 144920 KiB
Current children cumulated memory: 82124 KiB
[startup+51.114 s]
/proc/loadavg: 4.31 4.20 4.12 5/262 84759
/proc/meminfo: memFree=113947020/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=174408 memory=116308 CPUtime=50.91 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 22879 0 0 0 5014 77 0 0 20 0 1 0 75532025 178593792 29077 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 43602 29077 2400 1147 0 31029 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 178600 KiB
Current children cumulated memory: 119380 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.19 4.12 5/264 84763
/proc/meminfo: memFree=112632204/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=218824 memory=149656 CPUtime=101.91 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 29197 0 0 0 10060 131 0 0 20 0 1 0 75532025 224075776 37414 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 54706 37414 2400 1147 0 42133 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 223016 KiB
Current children cumulated memory: 152728 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/264 84766
/proc/meminfo: memFree=111033424/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=266036 memory=196088 CPUtime=161.71 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 38741 0 0 0 15979 192 0 0 20 0 1 0 75532025 272420864 49022 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 66509 49022 2400 1147 0 53936 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 270228 KiB
Current children cumulated memory: 199160 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/264 84768
/proc/meminfo: memFree=109632696/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=269364 memory=199288 CPUtime=221.51 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 39574 0 0 0 21913 238 0 0 20 0 1 0 75532025 275828736 49822 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 67341 49822 2400 1147 0 54768 0
################
# More data... #
################
/proc/84759/statm: 134886 103932 2400 1147 0 122313 0
Current children cumulated CPU time: 3092.79 s
Current children cumulated vsize: 543736 KiB
Current children cumulated memory: 418800 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/261 85077
/proc/meminfo: memFree=113902320/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=540312 memory=417020 CPUtime=3152.6 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 84955 0 0 0 313248 2012 0 0 20 0 1 0 75532025 553279488 104255 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 135078 104255 2400 1147 0 122505 0
Current children cumulated CPU time: 3152.6 s
Current children cumulated vsize: 544504 KiB
Current children cumulated memory: 420092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.17 6/262 85126
/proc/meminfo: memFree=114238392/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=540872 memory=424896 CPUtime=3212.4 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 85256 0 0 0 319202 2038 0 0 20 0 1 0 75532025 553852928 106224 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 135218 106224 2400 1147 0 122645 0
Current children cumulated CPU time: 3212.4 s
Current children cumulated vsize: 545064 KiB
Current children cumulated memory: 427968 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.17 6/261 85128
/proc/meminfo: memFree=113691240/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=540872 memory=454336 CPUtime=3272.2 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 85275 0 0 0 325157 2063 0 0 20 0 1 0 75532025 553852928 113584 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 135218 113584 2400 1147 0 122645 0
Current children cumulated CPU time: 3272.2 s
Current children cumulated vsize: 545064 KiB
Current children cumulated memory: 457408 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.16 6/261 85131
/proc/meminfo: memFree=113275064/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=545176 memory=457248 CPUtime=3332 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 86604 0 0 0 331112 2088 0 0 20 0 1 0 75532025 558260224 114312 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 136294 114312 2400 1147 0 123721 0
Current children cumulated CPU time: 3332 s
Current children cumulated vsize: 549368 KiB
Current children cumulated memory: 460320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.16 6/260 85133
/proc/meminfo: memFree=112909340/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=545432 memory=473800 CPUtime=3391.82 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 86766 0 0 0 337069 2113 0 0 20 0 1 0 75532025 558522368 118450 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 136358 118450 2400 1147 0 123785 0
Current children cumulated CPU time: 3391.82 s
Current children cumulated vsize: 549624 KiB
Current children cumulated memory: 476872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.15 6/259 85135
/proc/meminfo: memFree=112586712/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=545432 memory=473800 CPUtime=3451.67 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 86766 0 0 0 343031 2136 0 0 20 0 1 0 75532025 558522368 118450 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 136358 118450 2400 1147 0 123785 0
Current children cumulated CPU time: 3451.67 s
Current children cumulated vsize: 549624 KiB
Current children cumulated memory: 476872 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.14 6/260 85141
/proc/meminfo: memFree=112298004/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=546712 memory=474116 CPUtime=3511.52 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 87118 0 0 0 348990 2162 0 0 20 0 1 0 75532025 559833088 118529 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 136678 118529 2400 1147 0 124105 0
Current children cumulated CPU time: 3511.52 s
Current children cumulated vsize: 550904 KiB
Current children cumulated memory: 477188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.14 6/261 85195
/proc/meminfo: memFree=112643272/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=547028 memory=474372 CPUtime=3571.35 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 87218 0 0 0 354947 2188 0 0 20 0 1 0 75532025 560156672 118593 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 136757 118593 2400 1147 0 124184 0
Current children cumulated CPU time: 3571.35 s
Current children cumulated vsize: 551220 KiB
Current children cumulated memory: 477444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.10 4.11 4.14 6/261 85195
/proc/meminfo: memFree=112385876/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=547028 memory=474372 CPUtime=3600.09 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 87218 0 0 0 357811 2198 0 0 20 0 1 0 75532025 560156672 118593 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 136757 118593 2400 1147 0 124184 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 551220 KiB
Current children cumulated memory: 477444 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.12 s]
# the end of solver process 84757 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.004015 s
Sleeping 2 seconds
[startup+3611.17 s]
# the end of solver process 84759 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.12 s, system=21.9902 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.10 4.11 4.14 6/261 85195
/proc/meminfo: memFree=112385876/131382120 swapFree=33010416/33010684
[pid=84757] ppid=84754 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84757/stat : 84757 (run-opt-log.sh) S 84754 84757 84092 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75532024 4292608 768 18446744073709551615 94513089093632 94513089988165 140732869921520 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94513090227216 94513090274960 94513113366528 140732869925153 140732869925348 140732869925348 140732869930950 0
/proc/84757/statm: 1048 768 704 219 0 110 0
[pid=84759] ppid=84757 vsize=547028 memory=474372 CPUtime=3600.09 cores=1,3
/proc/84759/stat : 84759 (roundingsat) R 84757 84757 84092 0 -1 4194304 87218 0 0 0 357811 2198 0 0 20 0 1 0 75532025 560156672 118593 18446744073709551615 4227072 8923433 140731012280240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12840960 140731012282706 140731012282920 140731012282920 140731012288490 0
/proc/84759/statm: 136757 118593 2400 1147 0 124184 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 551220 KiB
Current children cumulated memory: 477444 KiB
Child status: 2
Real time (s): 3611.17
CPU time (s): 3600.11
CPU user time (s): 3578.12
CPU system time (s): 21.9902
CPU usage (%): 99.694
Max. virtual memory (cumulated for all children) (KiB): 551220
Max. memory (cumulated for all children) (KiB): 477444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.12
system time used= 21.9902
maximum resident set size= 474756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23825272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 805
involuntary context switches= 5604
# summary of solver processes directly reported to runsolver:
# pid: 84757,84759
# total CPU time (s): 3600.11
# total CPU user time (s): 3578.12
# total CPU system time (s): 21.9902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3482 second user time and 37.8385 second system time
The end
Begin job on nodeC006 at 2025-07-04 05:08:47
IDJOB=4522459
IDBENCH=178829
IDSOLVER=3351
FILE ID=nodeC006/4522459-1751598526
RUNJOBID= nodeC006-1751594361-84104
SLURM_JOB_ID= 9598859
Free space on /tmp= 431964 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522459-1751598526/watcher-4522459-1751598526 -o /tmp/evaluation-result-4522459-1751598526/solver-4522459-1751598526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751594361-84104 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4522459-1751598526.opb PROOFDIR/proof-4522459-1751598526
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d
RANDOM SEED=1007696686
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.584
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.384
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.150
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.713
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.565
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.013
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.502
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 115428184 kB
MemAvailable: 126731208 kB
Buffers: 2128 kB
Cached: 12067820 kB
SwapCached: 12 kB
Active: 3649404 kB
Inactive: 11602836 kB
Active(anon): 3189332 kB
Inactive(anon): 10992 kB
Active(file): 460072 kB
Inactive(file): 11591844 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1226660 kB
Writeback: 0 kB
AnonPages: 3184640 kB
Mapped: 117068 kB
Shmem: 17948 kB
KReclaimable: 181084 kB
Slab: 308284 kB
SReclaimable: 181084 kB
SUnreclaim: 127200 kB
KernelStack: 4224 kB
PageTables: 9812 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3923864 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149608 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 655360 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431980 MiB
End job on nodeC006 at 2025-07-04 06:08:58