0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 52 #constraints 2
0.00/0.02 c rational objective 1.0539
0.49/0.53 c #Conflicts: 1000 | #Constraints: 1144
0.49/0.53 c #Conflicts: 2000 | #Constraints: 2306
0.49/0.53 c INPROCESSING
0.49/0.53 c GARBAGE COLLECT
0.49/0.53 c rational objective 2
0.98/1.04 c #Conflicts: 3000 | #Constraints: 2277
0.98/1.04 c #Conflicts: 4000 | #Constraints: 3373
0.98/1.04 c INPROCESSING
0.98/1.04 c GARBAGE COLLECT
0.98/1.04 c rational objective 2
1.37/1.49 c #Conflicts: 5000 | #Constraints: 2651
1.37/1.49 c #Conflicts: 6000 | #Constraints: 3787
1.37/1.49 c INPROCESSING
1.37/1.49 c GARBAGE COLLECT
1.37/1.49 c rational objective 2
1.87/1.97 c #Conflicts: 7000 | #Constraints: 2652
1.87/1.97 c #Conflicts: 8000 | #Constraints: 3652
1.87/1.97 c #Conflicts: 9000 | #Constraints: 4652
1.87/1.97 c INPROCESSING
1.87/1.97 c GARBAGE COLLECT
1.87/1.97 c rational objective 2
2.36/2.47 c #Conflicts: 10000 | #Constraints: 3287
2.36/2.47 c #Conflicts: 11000 | #Constraints: 4368
2.36/2.47 c #Conflicts: 12000 | #Constraints: 5522
2.36/2.47 c INPROCESSING
2.36/2.47 c GARBAGE COLLECT
2.36/2.47 c rational objective 2
2.97/3.03 c #Conflicts: 13000 | #Constraints: 3865
2.97/3.03 c #Conflicts: 14000 | #Constraints: 4953
2.97/3.03 c #Conflicts: 15000 | #Constraints: 6074
2.97/3.03 c INPROCESSING
2.97/3.03 c GARBAGE COLLECT
2.97/3.03 c rational objective 2
3.56/3.65 c #Conflicts: 16000 | #Constraints: 4151
3.56/3.65 c #Conflicts: 17000 | #Constraints: 5249
3.56/3.65 c #Conflicts: 18000 | #Constraints: 6365
3.56/3.65 c INPROCESSING
3.56/3.65 c GARBAGE COLLECT
3.56/3.65 c rational objective 2
4.25/4.37 c #Conflicts: 19000 | #Constraints: 4147
4.25/4.37 c #Conflicts: 20000 | #Constraints: 5254
4.25/4.37 c #Conflicts: 21000 | #Constraints: 6345
4.25/4.37 c INPROCESSING
4.25/4.37 c GARBAGE COLLECT
4.25/4.37 c rational objective 2
5.07/5.13 c #Conflicts: 22000 | #Constraints: 3913
5.07/5.13 c #Conflicts: 23000 | #Constraints: 4913
5.07/5.13 c #Conflicts: 24000 | #Constraints: 5913
5.07/5.13 c #Conflicts: 25000 | #Constraints: 6913
5.07/5.13 c INPROCESSING
5.07/5.13 c GARBAGE COLLECT
5.07/5.13 c rational objective 2
5.85/5.98 c #Conflicts: 26000 | #Constraints: 4362
5.85/5.98 c #Conflicts: 27000 | #Constraints: 5362
5.85/5.98 c #Conflicts: 28000 | #Constraints: 6362
5.85/5.98 c #Conflicts: 29000 | #Constraints: 7362
5.85/5.98 c INPROCESSING
5.85/5.98 c GARBAGE COLLECT
5.85/5.98 c rational objective 2
6.84/7.00 c #Conflicts: 30000 | #Constraints: 4687
6.84/7.00 c #Conflicts: 31000 | #Constraints: 5687
6.84/7.00 c #Conflicts: 32000 | #Constraints: 6687
6.84/7.00 c #Conflicts: 33000 | #Constraints: 7687
6.84/7.00 c INPROCESSING
6.84/7.00 c GARBAGE COLLECT
6.84/7.00 c rational objective 2
7.95/8.07 c #Conflicts: 34000 | #Constraints: 4849
7.95/8.07 c #Conflicts: 35000 | #Constraints: 5849
7.95/8.07 c #Conflicts: 36000 | #Constraints: 6849
7.95/8.07 c #Conflicts: 37000 | #Constraints: 7849
7.95/8.07 c INPROCESSING
7.95/8.07 c GARBAGE COLLECT
7.95/8.07 c rational objective 2
8.94/9.10 c #Conflicts: 38000 | #Constraints: 4830
8.94/9.10 c #Conflicts: 39000 | #Constraints: 5830
8.94/9.10 c #Conflicts: 40000 | #Constraints: 6830
8.94/9.10 c #Conflicts: 41000 | #Constraints: 7830
8.94/9.10 c INPROCESSING
8.94/9.10 c GARBAGE COLLECT
8.94/9.10 c rational objective 2
10.22/10.34 c #Conflicts: 42000 | #Constraints: 4621
10.22/10.34 c #Conflicts: 43000 | #Constraints: 5621
10.22/10.34 c #Conflicts: 44000 | #Constraints: 6621
10.22/10.34 c #Conflicts: 45000 | #Constraints: 7621
10.22/10.34 c #Conflicts: 46000 | #Constraints: 8621
10.22/10.34 c INPROCESSING
10.22/10.34 c GARBAGE COLLECT
10.22/10.34 c rational objective 2
11.61/11.73 c #Conflicts: 47000 | #Constraints: 5319
11.61/11.73 c #Conflicts: 48000 | #Constraints: 6416
11.61/11.73 c #Conflicts: 49000 | #Constraints: 7546
11.61/11.73 c #Conflicts: 50000 | #Constraints: 8649
11.61/11.73 c #Conflicts: 51000 | #Constraints: 9784
11.61/11.73 c INPROCESSING
11.61/11.73 c GARBAGE COLLECT
11.61/11.73 c rational objective 2
14.92/15.09 c #Conflicts: 52000 | #Constraints: 5988
14.92/15.09 c #Conflicts: 53000 | #Constraints: 7089
14.92/15.09 c #Conflicts: 54000 | #Constraints: 8190
14.92/15.09 c #Conflicts: 55000 | #Constraints: 9266
14.92/15.09 c #Conflicts: 56000 | #Constraints: 10403
14.92/15.09 c INPROCESSING
14.92/15.09 c GARBAGE COLLECT
14.92/15.09 c #Conflicts: 57000 | #Constraints: 6207
14.92/15.09 c #Conflicts: 58000 | #Constraints: 7283
14.92/15.09 c #Conflicts: 59000 | #Constraints: 8376
14.92/15.09 c #Conflicts: 60000 | #Constraints: 9465
14.92/15.09 c #Conflicts: 61000 | #Constraints: 10580
14.92/15.09 c INPROCESSING
14.92/15.09 c GARBAGE COLLECT
14.92/15.09 c rational objective 2
16.80/16.95 c #Conflicts: 62000 | #Constraints: 6305
16.80/16.95 c #Conflicts: 63000 | #Constraints: 7431
16.80/16.95 c #Conflicts: 64000 | #Constraints: 8552
16.80/16.95 c #Conflicts: 65000 | #Constraints: 9671
16.80/16.95 c #Conflicts: 66000 | #Constraints: 10803
16.80/16.95 c INPROCESSING
16.80/16.95 c GARBAGE COLLECT
16.80/16.95 c rational objective 2
18.78/18.97 c #Conflicts: 67000 | #Constraints: 6144
18.78/18.97 c #Conflicts: 68000 | #Constraints: 7144
18.78/18.97 c #Conflicts: 69000 | #Constraints: 8144
18.78/18.97 c #Conflicts: 70000 | #Constraints: 9144
18.78/18.97 c #Conflicts: 71000 | #Constraints: 10144
18.78/18.97 c #Conflicts: 72000 | #Constraints: 11144
18.78/18.97 c INPROCESSING
18.78/18.97 c GARBAGE COLLECT
18.78/18.97 c rational objective 2
20.87/21.03 c #Conflicts: 73000 | #Constraints: 6507
20.87/21.03 c #Conflicts: 74000 | #Constraints: 7507
20.87/21.03 c #Conflicts: 75000 | #Constraints: 8507
20.87/21.03 c #Conflicts: 76000 | #Constraints: 9507
20.87/21.03 c #Conflicts: 77000 | #Constraints: 10507
20.87/21.03 c #Conflicts: 78000 | #Constraints: 11507
20.87/21.03 c INPROCESSING
20.87/21.03 c GARBAGE COLLECT
20.87/21.03 c rational objective 2
23.43/23.69 c #Conflicts: 79000 | #Constraints: 6941
23.43/23.69 c #Conflicts: 80000 | #Constraints: 8122
23.43/23.69 c #Conflicts: 81000 | #Constraints: 9215
23.43/23.69 c #Conflicts: 82000 | #Constraints: 10276
23.43/23.69 c #Conflicts: 83000 | #Constraints: 11365
23.43/23.69 c #Conflicts: 84000 | #Constraints: 12432
23.43/23.69 c INPROCESSING
23.43/23.69 c GARBAGE COLLECT
23.43/23.69 c rational objective 2
26.10/26.36 c #Conflicts: 85000 | #Constraints: 7305
26.10/26.36 c #Conflicts: 86000 | #Constraints: 8425
26.10/26.36 c #Conflicts: 87000 | #Constraints: 9532
26.10/26.36 c #Conflicts: 88000 | #Constraints: 10668
26.10/26.36 c #Conflicts: 89000 | #Constraints: 11772
26.10/26.36 c #Conflicts: 90000 | #Constraints: 12887
26.10/26.36 c INPROCESSING
26.10/26.36 c GARBAGE COLLECT
26.10/26.36 c rational objective 2
29.09/29.32 c #Conflicts: 91000 | #Constraints: 7433
29.09/29.32 c #Conflicts: 92000 | #Constraints: 8546
29.09/29.32 c #Conflicts: 93000 | #Constraints: 9668
29.09/29.32 c #Conflicts: 94000 | #Constraints: 10755
29.09/29.32 c #Conflicts: 95000 | #Constraints: 11871
29.09/29.32 c #Conflicts: 96000 | #Constraints: 12958
29.09/29.32 c INPROCESSING
29.09/29.32 c GARBAGE COLLECT
29.09/29.32 c rational objective 2
31.98/32.27 c #Conflicts: 97000 | #Constraints: 7226
31.98/32.27 c #Conflicts: 98000 | #Constraints: 8311
31.98/32.27 c #Conflicts: 99000 | #Constraints: 9380
31.98/32.27 c #Conflicts: 100000 | #Constraints: 10470
31.98/32.27 c #Conflicts: 101000 | #Constraints: 11578
31.98/32.27 c #Conflicts: 102000 | #Constraints: 12671
31.98/32.27 c #Conflicts: 103000 | #Constraints: 13773
31.98/32.27 c INPROCESSING
31.98/32.27 c GARBAGE COLLECT
31.98/32.27 c rational objective 2
34.67/34.97 c #Conflicts: 104000 | #Constraints: 7802
34.67/34.97 c #Conflicts: 105000 | #Constraints: 8802
34.67/34.97 c #Conflicts: 106000 | #Constraints: 9802
34.67/34.97 c #Conflicts: 107000 | #Constraints: 10802
34.67/34.97 c #Conflicts: 108000 | #Constraints: 11802
34.67/34.97 c #Conflicts: 109000 | #Constraints: 12802
34.67/34.97 c #Conflicts: 110000 | #Constraints: 13802
34.67/34.97 c INPROCESSING
34.67/34.97 c GARBAGE COLLECT
34.67/34.97 c rational objective 2
37.95/38.22 c #Conflicts: 111000 | #Constraints: 8001
37.95/38.22 c #Conflicts: 112000 | #Constraints: 9103
37.95/38.22 c #Conflicts: 113000 | #Constraints: 10215
37.95/38.22 c #Conflicts: 114000 | #Constraints: 11329
37.95/38.22 c #Conflicts: 115000 | #Constraints: 12429
37.95/38.22 c #Conflicts: 116000 | #Constraints: 13532
37.95/38.22 c #Conflicts: 117000 | #Constraints: 14646
37.95/38.22 c INPROCESSING
37.95/38.22 c GARBAGE COLLECT
37.95/38.22 c rational objective 2
41.24/41.60 c #Conflicts: 118000 | #Constraints: 8329
41.24/41.60 c #Conflicts: 119000 | #Constraints: 9365
41.24/41.60 c #Conflicts: 120000 | #Constraints: 10453
41.24/41.60 c #Conflicts: 121000 | #Constraints: 11568
41.24/41.60 c #Conflicts: 122000 | #Constraints: 12698
41.24/41.60 c #Conflicts: 123000 | #Constraints: 13847
41.24/41.60 c #Conflicts: 124000 | #Constraints: 14976
41.24/41.60 c INPROCESSING
41.24/41.60 c GARBAGE COLLECT
41.24/41.60 c rational objective 2
44.74/45.10 c #Conflicts: 125000 | #Constraints: 8404
44.74/45.10 c #Conflicts: 126000 | #Constraints: 9404
44.74/45.10 c #Conflicts: 127000 | #Constraints: 10470
44.74/45.10 c #Conflicts: 128000 | #Constraints: 11527
44.74/45.10 c #Conflicts: 129000 | #Constraints: 12602
44.74/45.10 c #Conflicts: 130000 | #Constraints: 13738
44.74/45.10 c #Conflicts: 131000 | #Constraints: 14875
44.74/45.10 c INPROCESSING
44.74/45.10 c GARBAGE COLLECT
44.74/45.10 c rational objective 2
48.31/48.64 c #Conflicts: 132000 | #Constraints: 8209
48.31/48.64 c #Conflicts: 133000 | #Constraints: 9262
48.31/48.64 c #Conflicts: 134000 | #Constraints: 10337
48.31/48.64 c #Conflicts: 135000 | #Constraints: 11398
48.31/48.64 c #Conflicts: 136000 | #Constraints: 12459
48.31/48.64 c #Conflicts: 137000 | #Constraints: 13547
48.31/48.64 c #Conflicts: 138000 | #Constraints: 14627
48.31/48.64 c #Conflicts: 139000 | #Constraints: 15691
48.31/48.64 c INPROCESSING
48.31/48.64 c GARBAGE COLLECT
48.31/48.64 c rational objective 2
87.44/87.96 c #Conflicts: 140000 | #Constraints: 8823
87.44/87.96 c #Conflicts: 141000 | #Constraints: 9910
87.44/87.96 c #Conflicts: 142000 | #Constraints: 11008
87.44/87.96 c #Conflicts: 143000 | #Constraints: 12288
87.44/87.96 c #Conflicts: 144000 | #Constraints: 13845
87.44/87.96 c #Conflicts: 145000 | #Constraints: 15400
87.44/87.96 c #Conflicts: 146000 | #Constraints: 16963
87.44/87.96 c #Conflicts: 147000 | #Constraints: 18532
87.44/87.96 c INPROCESSING
87.44/87.96 c GARBAGE COLLECT
87.44/87.96 c #Conflicts: 148000 | #Constraints: 10854
87.44/87.96 c #Conflicts: 149000 | #Constraints: 11964
87.44/87.96 c #Conflicts: 150000 | #Constraints: 13037
87.44/87.96 c #Conflicts: 151000 | #Constraints: 14110
87.44/87.96 c #Conflicts: 152000 | #Constraints: 15182
87.44/87.96 c #Conflicts: 153000 | #Constraints: 16253
87.44/87.96 c #Conflicts: 154000 | #Constraints: 17307
87.44/87.96 c #Conflicts: 155000 | #Constraints: 18364
87.44/87.96 c INPROCESSING
87.44/87.96 c GARBAGE COLLECT
87.44/87.96 c #Conflicts: 156000 | #Constraints: 10237
87.44/87.96 c #Conflicts: 157000 | #Constraints: 11334
87.44/87.96 c #Conflicts: 158000 | #Constraints: 12401
87.44/87.96 c #Conflicts: 159000 | #Constraints: 13472
87.44/87.96 c #Conflicts: 160000 | #Constraints: 14556
87.44/87.96 c #Conflicts: 161000 | #Constraints: 15647
87.44/87.96 c #Conflicts: 162000 | #Constraints: 16737
87.44/87.96 c #Conflicts: 163000 | #Constraints: 17805
87.44/87.96 c INPROCESSING
87.44/87.96 c GARBAGE COLLECT
87.44/87.96 c #Conflicts: 164000 | #Constraints: 9858
87.44/87.96 c #Conflicts: 165000 | #Constraints: 10866
87.44/87.96 c #Conflicts: 166000 | #Constraints: 11912
87.44/87.96 c #Conflicts: 167000 | #Constraints: 12986
87.44/87.96 c #Conflicts: 168000 | #Constraints: 14045
87.44/87.96 c #Conflicts: 169000 | #Constraints: 15113
87.44/87.96 c #Conflicts: 170000 | #Constraints: 16177
87.44/87.96 c #Conflicts: 171000 | #Constraints: 17182
87.44/87.96 c INPROCESSING
87.44/87.96 c GARBAGE COLLECT
87.44/87.96 c #Conflicts: 172000 | #Constraints: 9332
87.44/87.96 c #Conflicts: 173000 | #Constraints: 10425
87.44/87.96 c #Conflicts: 174000 | #Constraints: 11542
87.44/87.96 c #Conflicts: 175000 | #Constraints: 12639
87.44/87.96 c #Conflicts: 176000 | #Constraints: 13708
87.44/87.96 c #Conflicts: 177000 | #Constraints: 14785
87.44/87.96 c #Conflicts: 178000 | #Constraints: 15835
87.44/87.96 c #Conflicts: 179000 | #Constraints: 16918
87.44/87.96 c #Conflicts: 180000 | #Constraints: 18006
87.44/87.96 c INPROCESSING
87.44/87.96 c GARBAGE COLLECT
87.44/87.96 c #Conflicts: 181000 | #Constraints: 9977
87.44/87.96 c #Conflicts: 182000 | #Constraints: 11054
87.44/87.96 c #Conflicts: 183000 | #Constraints: 12114
87.44/87.96 c #Conflicts: 184000 | #Constraints: 13213
87.44/87.96 c #Conflicts: 185000 | #Constraints: 14297
87.44/87.96 c #Conflicts: 186000 | #Constraints: 15396
87.44/87.96 c #Conflicts: 187000 | #Constraints: 16471
87.44/87.96 c #Conflicts: 188000 | #Constraints: 17547
87.44/87.96 c #Conflicts: 189000 | #Constraints: 18650
87.44/87.96 c INPROCESSING
87.44/87.96 c GARBAGE COLLECT
87.44/87.96 c #Conflicts: 190000 | #Constraints: 10473
87.44/87.96 c #Conflicts: 191000 | #Constraints: 11649
87.44/87.96 c #Conflicts: 192000 | #Constraints: 12753
87.44/87.96 c #Conflicts: 193000 | #Constraints: 13852
87.44/87.96 c #Conflicts: 194000 | #Constraints: 14942
87.44/87.96 c #Conflicts: 195000 | #Constraints: 16015
87.44/87.96 c #Conflicts: 196000 | #Constraints: 17104
87.44/87.96 c #Conflicts: 197000 | #Constraints: 18232
87.44/87.96 c #Conflicts: 198000 | #Constraints: 19303
87.44/87.96 c INPROCESSING
87.44/87.96 c GARBAGE COLLECT
87.44/87.96 c #Conflicts: 199000 | #Constraints: 10752
87.44/87.96 c #Conflicts: 200000 | #Constraints: 12024
87.44/87.96 c #Conflicts: 201000 | #Constraints: 13142
87.44/87.96 c #Conflicts: 202000 | #Constraints: 14272
87.44/87.96 c #Conflicts: 203000 | #Constraints: 15417
87.44/87.96 c #Conflicts: 204000 | #Constraints: 16531
87.44/87.96 c #Conflicts: 205000 | #Constraints: 17673
87.44/87.96 c #Conflicts: 206000 | #Constraints: 18765
87.44/87.96 c #Conflicts: 207000 | #Constraints: 19886
87.44/87.96 c INPROCESSING
87.44/87.96 c GARBAGE COLLECT
87.44/87.96 c #Conflicts: 208000 | #Constraints: 10946
87.44/87.96 c #Conflicts: 209000 | #Constraints: 12451
87.44/87.96 c #Conflicts: 210000 | #Constraints: 13978
87.44/87.96 c #Conflicts: 211000 | #Constraints: 15521
87.44/87.96 c #Conflicts: 212000 | #Constraints: 17073
87.44/87.96 c #Conflicts: 213000 | #Constraints: 18608
136.21/136.94 c #Conflicts: 214000 | #Constraints: 20154
136.21/136.94 c #Conflicts: 215000 | #Constraints: 21722
136.21/136.94 c #Conflicts: 216000 | #Constraints: 23271
136.21/136.94 c INPROCESSING
136.21/136.94 c GARBAGE COLLECT
136.21/136.94 c #Conflicts: 217000 | #Constraints: 12744
136.21/136.94 c #Conflicts: 218000 | #Constraints: 14322
136.21/136.94 c #Conflicts: 219000 | #Constraints: 15594
136.21/136.94 c #Conflicts: 220000 | #Constraints: 16654
136.21/136.94 c #Conflicts: 221000 | #Constraints: 17764
136.21/136.94 c #Conflicts: 222000 | #Constraints: 18846
136.21/136.94 c #Conflicts: 223000 | #Constraints: 19962
136.21/136.94 c #Conflicts: 224000 | #Constraints: 21038
136.21/136.94 c #Conflicts: 225000 | #Constraints: 22106
136.21/136.94 c #Conflicts: 226000 | #Constraints: 23168
136.21/136.94 c INPROCESSING
136.21/136.94 c GARBAGE COLLECT
136.21/136.94 c #Conflicts: 227000 | #Constraints: 12634
136.21/136.94 c #Conflicts: 228000 | #Constraints: 13695
136.21/136.94 c #Conflicts: 229000 | #Constraints: 14814
136.21/136.94 c #Conflicts: 230000 | #Constraints: 15901
136.21/136.94 c #Conflicts: 231000 | #Constraints: 16984
136.21/136.94 c #Conflicts: 232000 | #Constraints: 17984
136.21/136.94 c #Conflicts: 233000 | #Constraints: 19107
136.21/136.94 c #Conflicts: 234000 | #Constraints: 20218
136.21/136.94 c #Conflicts: 235000 | #Constraints: 21285
136.21/136.94 c #Conflicts: 236000 | #Constraints: 22368
136.21/136.94 c INPROCESSING
136.21/136.94 c GARBAGE COLLECT
136.21/136.94 c #Conflicts: 237000 | #Constraints: 12264
136.21/136.94 c #Conflicts: 238000 | #Constraints: 13404
136.21/136.94 c #Conflicts: 239000 | #Constraints: 14488
136.21/136.94 c #Conflicts: 240000 | #Constraints: 15549
136.21/136.94 c #Conflicts: 241000 | #Constraints: 16617
136.21/136.94 c #Conflicts: 242000 | #Constraints: 17706
136.21/136.94 c #Conflicts: 243000 | #Constraints: 18825
136.21/136.94 c #Conflicts: 244000 | #Constraints: 19940
136.21/136.94 c #Conflicts: 245000 | #Constraints: 21084
136.21/136.94 c #Conflicts: 246000 | #Constraints: 22190
136.21/136.94 c INPROCESSING
136.21/136.94 c GARBAGE COLLECT
136.21/136.94 c #Conflicts: 247000 | #Constraints: 12166
136.21/136.94 c #Conflicts: 248000 | #Constraints: 13250
136.21/136.94 c #Conflicts: 249000 | #Constraints: 14334
136.21/136.94 c #Conflicts: 250000 | #Constraints: 15425
136.21/136.94 c #Conflicts: 251000 | #Constraints: 16493
136.21/136.94 c #Conflicts: 252000 | #Constraints: 17558
136.21/136.94 c #Conflicts: 253000 | #Constraints: 18614
136.21/136.94 c #Conflicts: 254000 | #Constraints: 19707
136.21/136.94 c #Conflicts: 255000 | #Constraints: 20810
136.21/136.94 c #Conflicts: 256000 | #Constraints: 21978
136.21/136.94 c INPROCESSING
136.21/136.94 c GARBAGE COLLECT
136.21/136.94 c #Conflicts: 257000 | #Constraints: 11976
136.21/136.94 c #Conflicts: 258000 | #Constraints: 13026
136.21/136.94 c #Conflicts: 259000 | #Constraints: 14096
136.21/136.94 c #Conflicts: 260000 | #Constraints: 15177
136.21/136.94 c #Conflicts: 261000 | #Constraints: 16260
136.21/136.94 c #Conflicts: 262000 | #Constraints: 17314
136.21/136.94 c #Conflicts: 263000 | #Constraints: 18430
136.21/136.94 c #Conflicts: 264000 | #Constraints: 19549
136.21/136.94 c #Conflicts: 265000 | #Constraints: 20675
136.21/136.94 c #Conflicts: 266000 | #Constraints: 21770
136.21/136.94 c INPROCESSING
136.21/136.94 c GARBAGE COLLECT
136.21/136.94 c #Conflicts: 267000 | #Constraints: 11609
136.21/136.94 c #Conflicts: 268000 | #Constraints: 12674
136.21/136.94 c #Conflicts: 269000 | #Constraints: 13767
136.21/136.94 c #Conflicts: 270000 | #Constraints: 14836
136.21/136.94 c #Conflicts: 271000 | #Constraints: 15897
136.21/136.94 c #Conflicts: 272000 | #Constraints: 16981
136.21/136.94 c #Conflicts: 273000 | #Constraints: 18072
136.21/136.94 c #Conflicts: 274000 | #Constraints: 19160
136.21/136.94 c #Conflicts: 275000 | #Constraints: 20226
136.21/136.94 c #Conflicts: 276000 | #Constraints: 21311
136.21/136.94 c #Conflicts: 277000 | #Constraints: 22404
136.21/136.94 c INPROCESSING
136.21/136.94 c GARBAGE COLLECT
136.21/136.94 c #Conflicts: 278000 | #Constraints: 12159
136.21/136.94 c #Conflicts: 279000 | #Constraints: 13223
136.21/136.94 c #Conflicts: 280000 | #Constraints: 14297
136.21/136.94 c #Conflicts: 281000 | #Constraints: 15399
136.21/136.94 c #Conflicts: 282000 | #Constraints: 16462
136.21/136.94 c #Conflicts: 283000 | #Constraints: 17523
136.21/136.94 c #Conflicts: 284000 | #Constraints: 18626
136.21/136.94 c #Conflicts: 285000 | #Constraints: 19710
136.21/136.94 c #Conflicts: 286000 | #Constraints: 20804
136.21/136.94 c #Conflicts: 287000 | #Constraints: 21911
136.21/136.94 c #Conflicts: 288000 | #Constraints: 23007
187.05/188.07 c INPROCESSING
187.05/188.07 c GARBAGE COLLECT
187.05/188.07 c #Conflicts: 289000 | #Constraints: 12620
187.05/188.07 c #Conflicts: 290000 | #Constraints: 13712
187.05/188.07 c #Conflicts: 291000 | #Constraints: 14768
187.05/188.07 c #Conflicts: 292000 | #Constraints: 15848
187.05/188.07 c #Conflicts: 293000 | #Constraints: 16946
187.05/188.07 c #Conflicts: 294000 | #Constraints: 18106
187.05/188.07 c #Conflicts: 295000 | #Constraints: 19292
187.05/188.07 c #Conflicts: 296000 | #Constraints: 20368
187.05/188.07 c #Conflicts: 297000 | #Constraints: 21417
187.05/188.07 c #Conflicts: 298000 | #Constraints: 22497
187.05/188.07 c #Conflicts: 299000 | #Constraints: 23595
187.05/188.07 c INPROCESSING
187.05/188.07 c GARBAGE COLLECT
187.05/188.07 c #Conflicts: 300000 | #Constraints: 12890
187.05/188.07 c #Conflicts: 301000 | #Constraints: 13994
187.05/188.07 c #Conflicts: 302000 | #Constraints: 15088
187.05/188.07 c #Conflicts: 303000 | #Constraints: 16167
187.05/188.07 c #Conflicts: 304000 | #Constraints: 17247
187.05/188.07 c #Conflicts: 305000 | #Constraints: 18352
187.05/188.07 c #Conflicts: 306000 | #Constraints: 19674
187.05/188.07 c #Conflicts: 307000 | #Constraints: 20784
187.05/188.07 c #Conflicts: 308000 | #Constraints: 21866
187.05/188.07 c #Conflicts: 309000 | #Constraints: 22973
187.05/188.07 c #Conflicts: 310000 | #Constraints: 24072
187.05/188.07 c INPROCESSING
187.05/188.07 c GARBAGE COLLECT
187.05/188.07 c #Conflicts: 311000 | #Constraints: 13002
187.05/188.07 c #Conflicts: 312000 | #Constraints: 14094
187.05/188.07 c #Conflicts: 313000 | #Constraints: 15227
187.05/188.07 c #Conflicts: 314000 | #Constraints: 16374
187.05/188.07 c #Conflicts: 315000 | #Constraints: 17451
187.05/188.07 c #Conflicts: 316000 | #Constraints: 18550
187.05/188.07 c #Conflicts: 317000 | #Constraints: 19630
187.05/188.07 c #Conflicts: 318000 | #Constraints: 20729
187.05/188.07 c #Conflicts: 319000 | #Constraints: 21852
187.05/188.07 c #Conflicts: 320000 | #Constraints: 22972
187.05/188.07 c #Conflicts: 321000 | #Constraints: 24069
187.05/188.07 c INPROCESSING
187.05/188.07 c GARBAGE COLLECT
187.05/188.07 c #Conflicts: 322000 | #Constraints: 12790
187.05/188.07 c #Conflicts: 323000 | #Constraints: 13868
187.05/188.07 c #Conflicts: 324000 | #Constraints: 14952
187.05/188.07 c #Conflicts: 325000 | #Constraints: 16024
187.05/188.07 c #Conflicts: 326000 | #Constraints: 17091
187.05/188.07 c #Conflicts: 327000 | #Constraints: 18145
187.05/188.07 c #Conflicts: 328000 | #Constraints: 19206
187.05/188.07 c #Conflicts: 329000 | #Constraints: 20247
187.05/188.07 c #Conflicts: 330000 | #Constraints: 21337
187.05/188.07 c #Conflicts: 331000 | #Constraints: 22416
187.05/188.07 c #Conflicts: 332000 | #Constraints: 23466
187.05/188.07 c #Conflicts: 333000 | #Constraints: 24536
187.05/188.07 c INPROCESSING
187.05/188.07 c GARBAGE COLLECT
187.05/188.07 c #Conflicts: 334000 | #Constraints: 13235
187.05/188.07 c #Conflicts: 335000 | #Constraints: 14331
187.05/188.07 c #Conflicts: 336000 | #Constraints: 15419
187.05/188.07 c #Conflicts: 337000 | #Constraints: 16551
187.05/188.07 c #Conflicts: 338000 | #Constraints: 17621
187.05/188.07 c #Conflicts: 339000 | #Constraints: 18724
187.05/188.07 c #Conflicts: 340000 | #Constraints: 19818
187.05/188.07 c #Conflicts: 341000 | #Constraints: 20915
187.05/188.07 c #Conflicts: 342000 | #Constraints: 21991
187.05/188.07 c #Conflicts: 343000 | #Constraints: 23076
187.05/188.07 c #Conflicts: 344000 | #Constraints: 24161
187.05/188.07 c #Conflicts: 345000 | #Constraints: 25231
187.05/188.07 c INPROCESSING
187.05/188.07 c GARBAGE COLLECT
187.05/188.07 c #Conflicts: 346000 | #Constraints: 13726
187.05/188.07 c #Conflicts: 347000 | #Constraints: 14870
187.05/188.07 c #Conflicts: 348000 | #Constraints: 15935
187.05/188.07 c #Conflicts: 349000 | #Constraints: 17014
187.05/188.07 c #Conflicts: 350000 | #Constraints: 18091
187.05/188.07 c #Conflicts: 351000 | #Constraints: 19225
187.05/188.07 c #Conflicts: 352000 | #Constraints: 20331
187.05/188.07 c #Conflicts: 353000 | #Constraints: 21395
187.05/188.07 c #Conflicts: 354000 | #Constraints: 22466
187.05/188.07 c #Conflicts: 355000 | #Constraints: 23530
187.05/188.07 c #Conflicts: 356000 | #Constraints: 24613
187.05/188.07 c #Conflicts: 357000 | #Constraints: 25673
187.05/188.07 c INPROCESSING
187.05/188.07 c GARBAGE COLLECT
187.05/188.07 c #Conflicts: 358000 | #Constraints: 13896
187.05/188.07 c #Conflicts: 359000 | #Constraints: 14986
187.05/188.07 c #Conflicts: 360000 | #Constraints: 16104
187.05/188.07 c #Conflicts: 361000 | #Constraints: 17207
187.05/188.07 c #Conflicts: 362000 | #Constraints: 18277
243.27/244.56 c #Conflicts: 363000 | #Constraints: 19351
243.27/244.56 c #Conflicts: 364000 | #Constraints: 20399
243.27/244.56 c #Conflicts: 365000 | #Constraints: 21499
243.27/244.56 c #Conflicts: 366000 | #Constraints: 22573
243.27/244.56 c #Conflicts: 367000 | #Constraints: 23711
243.27/244.56 c #Conflicts: 368000 | #Constraints: 24785
243.27/244.56 c #Conflicts: 369000 | #Constraints: 25869
243.27/244.56 c INPROCESSING
243.27/244.56 c GARBAGE COLLECT
243.27/244.56 c #Conflicts: 370000 | #Constraints: 13910
243.27/244.56 c #Conflicts: 371000 | #Constraints: 14987
243.27/244.56 c #Conflicts: 372000 | #Constraints: 16041
243.27/244.56 c #Conflicts: 373000 | #Constraints: 17112
243.27/244.56 c #Conflicts: 374000 | #Constraints: 18174
243.27/244.56 c #Conflicts: 375000 | #Constraints: 19236
243.27/244.56 c #Conflicts: 376000 | #Constraints: 20296
243.27/244.56 c #Conflicts: 377000 | #Constraints: 21347
243.27/244.56 c #Conflicts: 378000 | #Constraints: 22408
243.27/244.56 c #Conflicts: 379000 | #Constraints: 23494
243.27/244.56 c #Conflicts: 380000 | #Constraints: 24569
243.27/244.56 c #Conflicts: 381000 | #Constraints: 25676
243.27/244.56 c INPROCESSING
243.27/244.56 c GARBAGE COLLECT
243.27/244.56 c #Conflicts: 382000 | #Constraints: 13594
243.27/244.56 c #Conflicts: 383000 | #Constraints: 14671
243.27/244.56 c #Conflicts: 384000 | #Constraints: 15740
243.27/244.56 c #Conflicts: 385000 | #Constraints: 16848
243.27/244.56 c #Conflicts: 386000 | #Constraints: 17920
243.27/244.56 c #Conflicts: 387000 | #Constraints: 18982
243.27/244.56 c #Conflicts: 388000 | #Constraints: 20048
243.27/244.56 c #Conflicts: 389000 | #Constraints: 21174
243.27/244.56 c #Conflicts: 390000 | #Constraints: 22232
243.27/244.56 c #Conflicts: 391000 | #Constraints: 23291
243.27/244.56 c #Conflicts: 392000 | #Constraints: 24407
243.27/244.56 c #Conflicts: 393000 | #Constraints: 25484
243.27/244.56 c #Conflicts: 394000 | #Constraints: 26545
243.27/244.56 c INPROCESSING
243.27/244.56 c GARBAGE COLLECT
243.27/244.56 c #Conflicts: 395000 | #Constraints: 14235
243.27/244.56 c #Conflicts: 396000 | #Constraints: 15354
243.27/244.56 c #Conflicts: 397000 | #Constraints: 16455
243.27/244.56 c #Conflicts: 398000 | #Constraints: 17517
243.27/244.56 c #Conflicts: 399000 | #Constraints: 18577
243.27/244.57 c #Conflicts: 400000 | #Constraints: 19640
243.27/244.57 c #Conflicts: 401000 | #Constraints: 20724
243.27/244.57 c #Conflicts: 402000 | #Constraints: 21818
243.27/244.57 c #Conflicts: 403000 | #Constraints: 22905
243.27/244.57 c #Conflicts: 404000 | #Constraints: 23990
243.27/244.57 c #Conflicts: 405000 | #Constraints: 25067
243.27/244.57 c #Conflicts: 406000 | #Constraints: 26157
243.27/244.57 c #Conflicts: 407000 | #Constraints: 27229
243.27/244.57 c INPROCESSING
243.27/244.57 c GARBAGE COLLECT
243.27/244.57 c #Conflicts: 408000 | #Constraints: 14687
243.27/244.57 c #Conflicts: 409000 | #Constraints: 15801
243.27/244.57 c #Conflicts: 410000 | #Constraints: 16879
243.27/244.57 c #Conflicts: 411000 | #Constraints: 17943
243.27/244.57 c #Conflicts: 412000 | #Constraints: 19002
243.27/244.57 c #Conflicts: 413000 | #Constraints: 20092
243.27/244.57 c #Conflicts: 414000 | #Constraints: 21197
243.27/244.57 c #Conflicts: 415000 | #Constraints: 22254
243.27/244.57 c #Conflicts: 416000 | #Constraints: 23400
243.27/244.57 c #Conflicts: 417000 | #Constraints: 24479
243.27/244.57 c #Conflicts: 418000 | #Constraints: 25526
243.27/244.57 c #Conflicts: 419000 | #Constraints: 26587
243.27/244.57 c #Conflicts: 420000 | #Constraints: 27652
243.27/244.57 c INPROCESSING
243.27/244.57 c GARBAGE COLLECT
243.27/244.57 c #Conflicts: 421000 | #Constraints: 14931
243.27/244.57 c #Conflicts: 422000 | #Constraints: 15977
243.27/244.57 c #Conflicts: 423000 | #Constraints: 17032
243.27/244.57 c #Conflicts: 424000 | #Constraints: 18102
243.27/244.57 c #Conflicts: 425000 | #Constraints: 19184
243.27/244.57 c #Conflicts: 426000 | #Constraints: 20275
243.27/244.57 c #Conflicts: 427000 | #Constraints: 21355
243.27/244.57 c #Conflicts: 428000 | #Constraints: 22461
243.27/244.57 c #Conflicts: 429000 | #Constraints: 23527
243.27/244.57 c #Conflicts: 430000 | #Constraints: 24619
243.27/244.57 c #Conflicts: 431000 | #Constraints: 25678
243.27/244.57 c #Conflicts: 432000 | #Constraints: 26766
243.27/244.57 c #Conflicts: 433000 | #Constraints: 27826
243.27/244.57 c INPROCESSING
243.27/244.57 c GARBAGE COLLECT
243.27/244.57 c rational objective 2
263.67/265.01 c #Conflicts: 434000 | #Constraints: 14855
263.67/265.01 c #Conflicts: 435000 | #Constraints: 15966
263.67/265.01 c #Conflicts: 436000 | #Constraints: 17083
263.67/265.01 c #Conflicts: 437000 | #Constraints: 18150
263.67/265.01 c #Conflicts: 438000 | #Constraints: 19228
263.67/265.01 c #Conflicts: 439000 | #Constraints: 20341
263.67/265.01 c #Conflicts: 440000 | #Constraints: 21446
263.67/265.01 c #Conflicts: 441000 | #Constraints: 22557
263.67/265.01 c #Conflicts: 442000 | #Constraints: 23628
263.67/265.01 c #Conflicts: 443000 | #Constraints: 24739
263.67/265.01 c #Conflicts: 444000 | #Constraints: 25949
263.67/265.01 c #Conflicts: 445000 | #Constraints: 27085
263.67/265.01 c #Conflicts: 446000 | #Constraints: 28203
263.67/265.01 c INPROCESSING
263.67/265.01 c GARBAGE COLLECT
263.67/265.01 c #Conflicts: 447000 | #Constraints: 14905
263.67/265.01 c #Conflicts: 448000 | #Constraints: 16014
263.67/265.01 c #Conflicts: 449000 | #Constraints: 17091
263.67/265.01 c #Conflicts: 450000 | #Constraints: 18218
263.67/265.01 c #Conflicts: 451000 | #Constraints: 19218
263.67/265.01 c #Conflicts: 452000 | #Constraints: 20227
263.67/265.01 c #Conflicts: 453000 | #Constraints: 21324
263.67/265.01 c #Conflicts: 454000 | #Constraints: 22324
263.67/265.01 c #Conflicts: 455000 | #Constraints: 23324
263.67/265.01 c #Conflicts: 456000 | #Constraints: 24324
263.67/265.01 c #Conflicts: 457000 | #Constraints: 25324
263.67/265.01 c #Conflicts: 458000 | #Constraints: 26324
263.67/265.01 c #Conflicts: 459000 | #Constraints: 27324
263.67/265.01 c #Conflicts: 460000 | #Constraints: 28324
263.67/265.01 c INPROCESSING
263.67/265.01 c GARBAGE COLLECT
263.67/265.01 c rational objective 2
274.91/276.38 c #Conflicts: 461000 | #Constraints: 15141
274.91/276.38 c #Conflicts: 462000 | #Constraints: 16221
274.91/276.38 c #Conflicts: 463000 | #Constraints: 17299
274.91/276.38 c #Conflicts: 464000 | #Constraints: 18300
274.91/276.38 c #Conflicts: 465000 | #Constraints: 19354
274.91/276.38 c #Conflicts: 466000 | #Constraints: 20432
274.91/276.38 c #Conflicts: 467000 | #Constraints: 21513
274.91/276.38 c #Conflicts: 468000 | #Constraints: 22613
274.91/276.38 c #Conflicts: 469000 | #Constraints: 23666
274.91/276.38 c #Conflicts: 470000 | #Constraints: 24707
274.91/276.38 c #Conflicts: 471000 | #Constraints: 25785
274.91/276.38 c #Conflicts: 472000 | #Constraints: 26855
274.91/276.38 c #Conflicts: 473000 | #Constraints: 27906
274.91/276.38 c #Conflicts: 474000 | #Constraints: 28968
274.91/276.38 c INPROCESSING
274.91/276.38 c GARBAGE COLLECT
274.91/276.38 c rational objective 2
287.58/289.02 c #Conflicts: 475000 | #Constraints: 15456
287.58/289.02 c #Conflicts: 476000 | #Constraints: 16456
287.58/289.02 c #Conflicts: 477000 | #Constraints: 17499
287.58/289.02 c #Conflicts: 478000 | #Constraints: 18599
287.58/289.02 c #Conflicts: 479000 | #Constraints: 19674
287.58/289.02 c #Conflicts: 480000 | #Constraints: 20776
287.58/289.02 c #Conflicts: 481000 | #Constraints: 21849
287.58/289.02 c #Conflicts: 482000 | #Constraints: 22948
287.58/289.02 c #Conflicts: 483000 | #Constraints: 24033
287.58/289.02 c #Conflicts: 484000 | #Constraints: 25121
287.58/289.02 c #Conflicts: 485000 | #Constraints: 26201
287.58/289.02 c #Conflicts: 486000 | #Constraints: 27308
287.58/289.02 c #Conflicts: 487000 | #Constraints: 28402
287.58/289.02 c #Conflicts: 488000 | #Constraints: 29508
287.58/289.02 c INPROCESSING
287.58/289.02 c GARBAGE COLLECT
287.58/289.02 c rational objective 2
299.83/301.31 c #Conflicts: 489000 | #Constraints: 15763
299.83/301.31 c #Conflicts: 490000 | #Constraints: 16763
299.83/301.31 c #Conflicts: 491000 | #Constraints: 17763
299.83/301.31 c #Conflicts: 492000 | #Constraints: 18763
299.83/301.31 c #Conflicts: 493000 | #Constraints: 19763
299.83/301.31 c #Conflicts: 494000 | #Constraints: 20763
299.83/301.31 c #Conflicts: 495000 | #Constraints: 21763
299.83/301.31 c #Conflicts: 496000 | #Constraints: 22763
299.83/301.31 c #Conflicts: 497000 | #Constraints: 23763
299.83/301.31 c #Conflicts: 498000 | #Constraints: 24763
299.83/301.31 c #Conflicts: 499000 | #Constraints: 25763
299.83/301.31 c #Conflicts: 500000 | #Constraints: 26763
299.83/301.31 c #Conflicts: 501000 | #Constraints: 27844
299.83/301.31 c #Conflicts: 502000 | #Constraints: 28944
299.83/301.31 c INPROCESSING
299.83/301.31 c GARBAGE COLLECT
299.83/301.31 c rational objective 2
311.00/312.56 c #Conflicts: 503000 | #Constraints: 15513
311.00/312.56 c #Conflicts: 504000 | #Constraints: 16576
311.00/312.56 c #Conflicts: 505000 | #Constraints: 17576
311.00/312.56 c #Conflicts: 506000 | #Constraints: 18576
311.00/312.56 c #Conflicts: 507000 | #Constraints: 19576
311.00/312.56 c #Conflicts: 508000 | #Constraints: 20576
311.00/312.56 c #Conflicts: 509000 | #Constraints: 21576
311.00/312.56 c #Conflicts: 510000 | #Constraints: 22576
311.00/312.56 c #Conflicts: 511000 | #Constraints: 23576
311.00/312.56 c #Conflicts: 512000 | #Constraints: 24576
311.00/312.56 c #Conflicts: 513000 | #Constraints: 25576
311.00/312.56 c #Conflicts: 514000 | #Constraints: 26576
311.00/312.56 c #Conflicts: 515000 | #Constraints: 27576
311.00/312.56 c #Conflicts: 516000 | #Constraints: 28576
311.00/312.56 c INPROCESSING
311.00/312.56 c GARBAGE COLLECT
311.00/312.56 c rational objective 2
322.17/323.75 c #Conflicts: 517000 | #Constraints: 14999
322.17/323.75 c #Conflicts: 518000 | #Constraints: 16040
322.17/323.75 c #Conflicts: 519000 | #Constraints: 17040
322.17/323.75 c #Conflicts: 520000 | #Constraints: 18040
322.17/323.75 c #Conflicts: 521000 | #Constraints: 19040
322.17/323.75 c #Conflicts: 522000 | #Constraints: 20040
322.17/323.75 c #Conflicts: 523000 | #Constraints: 21040
322.17/323.75 c #Conflicts: 524000 | #Constraints: 22040
322.17/323.75 c #Conflicts: 525000 | #Constraints: 23040
322.17/323.75 c #Conflicts: 526000 | #Constraints: 24040
322.17/323.75 c #Conflicts: 527000 | #Constraints: 25040
322.17/323.75 c #Conflicts: 528000 | #Constraints: 26040
322.17/323.75 c #Conflicts: 529000 | #Constraints: 27040
322.17/323.75 c #Conflicts: 530000 | #Constraints: 28071
322.17/323.75 c #Conflicts: 531000 | #Constraints: 29157
322.17/323.75 c INPROCESSING
322.17/323.75 c GARBAGE COLLECT
322.17/323.75 c rational objective 2
333.52/335.17 c #Conflicts: 532000 | #Constraints: 15562
333.52/335.17 c #Conflicts: 533000 | #Constraints: 16562
333.52/335.17 c #Conflicts: 534000 | #Constraints: 17562
333.52/335.17 c #Conflicts: 535000 | #Constraints: 18562
333.52/335.17 c #Conflicts: 536000 | #Constraints: 19562
333.52/335.17 c #Conflicts: 537000 | #Constraints: 20562
333.52/335.17 c #Conflicts: 538000 | #Constraints: 21562
333.52/335.17 c #Conflicts: 539000 | #Constraints: 22562
333.52/335.17 c #Conflicts: 540000 | #Constraints: 23562
333.52/335.17 c #Conflicts: 541000 | #Constraints: 24562
333.52/335.17 c #Conflicts: 542000 | #Constraints: 25562
333.52/335.17 c #Conflicts: 543000 | #Constraints: 26562
333.52/335.17 c #Conflicts: 544000 | #Constraints: 27562
333.52/335.17 c #Conflicts: 545000 | #Constraints: 28562
333.52/335.17 c #Conflicts: 546000 | #Constraints: 29562
333.52/335.17 c INPROCESSING
333.52/335.17 c GARBAGE COLLECT
333.52/335.17 c rational objective 2
344.88/346.57 c #Conflicts: 547000 | #Constraints: 15786
344.88/346.57 c #Conflicts: 548000 | #Constraints: 16786
344.88/346.57 c #Conflicts: 549000 | #Constraints: 17786
344.88/346.57 c #Conflicts: 550000 | #Constraints: 18786
344.88/346.57 c #Conflicts: 551000 | #Constraints: 19786
344.88/346.57 c #Conflicts: 552000 | #Constraints: 20786
344.88/346.57 c #Conflicts: 553000 | #Constraints: 21786
344.88/346.57 c #Conflicts: 554000 | #Constraints: 22786
344.88/346.57 c #Conflicts: 555000 | #Constraints: 23786
344.88/346.57 c #Conflicts: 556000 | #Constraints: 24786
344.88/346.57 c #Conflicts: 557000 | #Constraints: 25786
344.88/346.57 c #Conflicts: 558000 | #Constraints: 26786
344.88/346.57 c #Conflicts: 559000 | #Constraints: 27786
344.88/346.57 c #Conflicts: 560000 | #Constraints: 28786
344.88/346.57 c #Conflicts: 561000 | #Constraints: 29786
344.88/346.57 c INPROCESSING
344.88/346.57 c GARBAGE COLLECT
344.88/346.57 c rational objective 2
356.95/358.66 c #Conflicts: 562000 | #Constraints: 15897
356.95/358.66 c #Conflicts: 563000 | #Constraints: 16897
356.95/358.66 c #Conflicts: 564000 | #Constraints: 17897
356.95/358.66 c #Conflicts: 565000 | #Constraints: 18897
356.95/358.66 c #Conflicts: 566000 | #Constraints: 19897
356.95/358.66 c #Conflicts: 567000 | #Constraints: 20897
356.95/358.66 c #Conflicts: 568000 | #Constraints: 21897
356.95/358.66 c #Conflicts: 569000 | #Constraints: 22897
356.95/358.66 c #Conflicts: 570000 | #Constraints: 23897
356.95/358.66 c #Conflicts: 571000 | #Constraints: 24897
356.95/358.66 c #Conflicts: 572000 | #Constraints: 25897
356.95/358.66 c #Conflicts: 573000 | #Constraints: 26897
356.95/358.66 c #Conflicts: 574000 | #Constraints: 27897
356.95/358.66 c #Conflicts: 575000 | #Constraints: 28897
356.95/358.66 c #Conflicts: 576000 | #Constraints: 29897
356.95/358.66 c INPROCESSING
356.95/358.66 c GARBAGE COLLECT
356.95/358.66 c rational objective 2
369.68/371.47 c #Conflicts: 577000 | #Constraints: 15913
369.68/371.47 c #Conflicts: 578000 | #Constraints: 17196
369.68/371.47 c #Conflicts: 579000 | #Constraints: 18254
369.68/371.47 c #Conflicts: 580000 | #Constraints: 19315
369.68/371.47 c #Conflicts: 581000 | #Constraints: 20398
369.68/371.47 c #Conflicts: 582000 | #Constraints: 21477
369.68/371.47 c #Conflicts: 583000 | #Constraints: 22569
369.68/371.47 c #Conflicts: 584000 | #Constraints: 23636
369.68/371.47 c #Conflicts: 585000 | #Constraints: 24720
369.68/371.47 c #Conflicts: 586000 | #Constraints: 25819
369.68/371.47 c #Conflicts: 587000 | #Constraints: 26929
369.68/371.47 c #Conflicts: 588000 | #Constraints: 28028
369.68/371.47 c #Conflicts: 589000 | #Constraints: 29109
369.68/371.47 c #Conflicts: 590000 | #Constraints: 30192
369.68/371.47 c #Conflicts: 591000 | #Constraints: 31292
369.68/371.47 c INPROCESSING
369.68/371.47 c GARBAGE COLLECT
369.68/371.47 c rational objective 2
383.15/384.90 c #Conflicts: 592000 | #Constraints: 16384
383.15/384.90 c #Conflicts: 593000 | #Constraints: 17384
383.15/384.90 c #Conflicts: 594000 | #Constraints: 18384
383.15/384.90 c #Conflicts: 595000 | #Constraints: 19384
383.15/384.90 c #Conflicts: 596000 | #Constraints: 20384
383.15/384.90 c #Conflicts: 597000 | #Constraints: 21384
383.15/384.90 c #Conflicts: 598000 | #Constraints: 22384
383.15/384.90 c #Conflicts: 599000 | #Constraints: 23384
383.15/384.90 c #Conflicts: 600000 | #Constraints: 24384
383.15/384.90 c #Conflicts: 601000 | #Constraints: 25384
383.15/384.90 c #Conflicts: 602000 | #Constraints: 26384
383.15/384.90 c #Conflicts: 603000 | #Constraints: 27384
383.15/384.90 c #Conflicts: 604000 | #Constraints: 28384
383.15/384.90 c #Conflicts: 605000 | #Constraints: 29384
383.15/384.90 c #Conflicts: 606000 | #Constraints: 30384
383.15/384.90 c #Conflicts: 607000 | #Constraints: 31384
383.15/384.90 c INPROCESSING
383.15/384.90 c GARBAGE COLLECT
383.15/384.90 c rational objective 2
396.50/398.33 c #Conflicts: 608000 | #Constraints: 16599
396.50/398.33 c #Conflicts: 609000 | #Constraints: 17599
396.50/398.33 c #Conflicts: 610000 | #Constraints: 18599
396.50/398.33 c #Conflicts: 611000 | #Constraints: 19599
396.50/398.33 c #Conflicts: 612000 | #Constraints: 20599
396.50/398.33 c #Conflicts: 613000 | #Constraints: 21599
396.50/398.33 c #Conflicts: 614000 | #Constraints: 22599
396.50/398.33 c #Conflicts: 615000 | #Constraints: 23599
396.50/398.33 c #Conflicts: 616000 | #Constraints: 24646
396.50/398.33 c #Conflicts: 617000 | #Constraints: 25741
396.50/398.33 c #Conflicts: 618000 | #Constraints: 26849
396.50/398.33 c #Conflicts: 619000 | #Constraints: 27989
396.50/398.33 c #Conflicts: 620000 | #Constraints: 29131
396.50/398.33 c #Conflicts: 621000 | #Constraints: 30305
396.50/398.33 c #Conflicts: 622000 | #Constraints: 31421
396.50/398.33 c #Conflicts: 623000 | #Constraints: 32556
396.50/398.33 c INPROCESSING
396.50/398.33 c GARBAGE COLLECT
396.50/398.33 c rational objective 2
410.64/412.51 c #Conflicts: 624000 | #Constraints: 17282
410.64/412.51 c #Conflicts: 625000 | #Constraints: 18282
410.64/412.51 c #Conflicts: 626000 | #Constraints: 19282
410.64/412.51 c #Conflicts: 627000 | #Constraints: 20282
410.64/412.51 c #Conflicts: 628000 | #Constraints: 21282
410.64/412.51 c #Conflicts: 629000 | #Constraints: 22282
410.64/412.51 c #Conflicts: 630000 | #Constraints: 23282
410.64/412.51 c #Conflicts: 631000 | #Constraints: 24282
410.64/412.51 c #Conflicts: 632000 | #Constraints: 25282
410.64/412.51 c #Conflicts: 633000 | #Constraints: 26282
410.64/412.51 c #Conflicts: 634000 | #Constraints: 27282
410.64/412.51 c #Conflicts: 635000 | #Constraints: 28282
410.64/412.51 c #Conflicts: 636000 | #Constraints: 29282
410.64/412.51 c #Conflicts: 637000 | #Constraints: 30348
410.64/412.51 c #Conflicts: 638000 | #Constraints: 31470
410.64/412.51 c #Conflicts: 639000 | #Constraints: 32657
410.64/412.51 c INPROCESSING
410.64/412.51 c GARBAGE COLLECT
410.64/412.51 c rational objective 2
425.40/427.31 c #Conflicts: 640000 | #Constraints: 17394
425.40/427.31 c #Conflicts: 641000 | #Constraints: 18495
425.40/427.31 c #Conflicts: 642000 | #Constraints: 19590
425.40/427.31 c #Conflicts: 643000 | #Constraints: 20679
425.40/427.31 c #Conflicts: 644000 | #Constraints: 21753
425.40/427.31 c #Conflicts: 645000 | #Constraints: 22821
425.40/427.31 c #Conflicts: 646000 | #Constraints: 23896
425.40/427.31 c #Conflicts: 647000 | #Constraints: 24984
425.40/427.31 c #Conflicts: 648000 | #Constraints: 26053
425.40/427.31 c #Conflicts: 649000 | #Constraints: 27122
425.40/427.31 c #Conflicts: 650000 | #Constraints: 28180
425.40/427.31 c #Conflicts: 651000 | #Constraints: 29256
425.40/427.31 c #Conflicts: 652000 | #Constraints: 30352
425.40/427.31 c #Conflicts: 653000 | #Constraints: 31477
425.40/427.31 c #Conflicts: 654000 | #Constraints: 32553
425.40/427.31 c #Conflicts: 655000 | #Constraints: 33623
425.40/427.31 c INPROCESSING
425.40/427.31 c GARBAGE COLLECT
425.40/427.31 c rational objective 2
440.16/442.13 c #Conflicts: 656000 | #Constraints: 17721
440.16/442.13 c #Conflicts: 657000 | #Constraints: 18721
440.16/442.13 c #Conflicts: 658000 | #Constraints: 19721
440.16/442.13 c #Conflicts: 659000 | #Constraints: 20721
440.16/442.13 c #Conflicts: 660000 | #Constraints: 21721
440.16/442.13 c #Conflicts: 661000 | #Constraints: 22721
440.16/442.13 c #Conflicts: 662000 | #Constraints: 23721
440.16/442.13 c #Conflicts: 663000 | #Constraints: 24721
440.16/442.13 c #Conflicts: 664000 | #Constraints: 25721
440.16/442.13 c #Conflicts: 665000 | #Constraints: 26721
440.16/442.13 c #Conflicts: 666000 | #Constraints: 27721
440.16/442.13 c #Conflicts: 667000 | #Constraints: 28728
440.16/442.13 c #Conflicts: 668000 | #Constraints: 29819
440.16/442.13 c #Conflicts: 669000 | #Constraints: 30978
440.16/442.13 c #Conflicts: 670000 | #Constraints: 32108
440.16/442.13 c #Conflicts: 671000 | #Constraints: 33198
440.16/442.13 c INPROCESSING
440.16/442.13 c GARBAGE COLLECT
440.16/442.13 c rational objective 2
454.69/456.77 c #Conflicts: 672000 | #Constraints: 17337
454.69/456.77 c #Conflicts: 673000 | #Constraints: 18337
454.69/456.77 c #Conflicts: 674000 | #Constraints: 19337
454.69/456.77 c #Conflicts: 675000 | #Constraints: 20337
454.69/456.77 c #Conflicts: 676000 | #Constraints: 21337
454.69/456.77 c #Conflicts: 677000 | #Constraints: 22337
454.69/456.77 c #Conflicts: 678000 | #Constraints: 23337
454.69/456.77 c #Conflicts: 679000 | #Constraints: 24337
454.69/456.77 c #Conflicts: 680000 | #Constraints: 25337
454.69/456.77 c #Conflicts: 681000 | #Constraints: 26337
454.69/456.77 c #Conflicts: 682000 | #Constraints: 27337
454.69/456.77 c #Conflicts: 683000 | #Constraints: 28337
454.69/456.77 c #Conflicts: 684000 | #Constraints: 29337
454.69/456.77 c #Conflicts: 685000 | #Constraints: 30337
454.69/456.77 c #Conflicts: 686000 | #Constraints: 31337
454.69/456.77 c #Conflicts: 687000 | #Constraints: 32367
454.69/456.77 c #Conflicts: 688000 | #Constraints: 33437
454.69/456.77 c INPROCESSING
454.69/456.77 c GARBAGE COLLECT
454.69/456.77 c rational objective 2
468.84/471.01 c #Conflicts: 689000 | #Constraints: 17631
468.84/471.01 c #Conflicts: 690000 | #Constraints: 18631
468.84/471.01 c #Conflicts: 691000 | #Constraints: 19631
468.84/471.01 c #Conflicts: 692000 | #Constraints: 20631
468.84/471.01 c #Conflicts: 693000 | #Constraints: 21631
468.84/471.01 c #Conflicts: 694000 | #Constraints: 22631
468.84/471.01 c #Conflicts: 695000 | #Constraints: 23631
468.84/471.01 c #Conflicts: 696000 | #Constraints: 24631
468.84/471.01 c #Conflicts: 697000 | #Constraints: 25631
468.84/471.01 c #Conflicts: 698000 | #Constraints: 26631
468.84/471.01 c #Conflicts: 699000 | #Constraints: 27631
468.84/471.01 c #Conflicts: 700000 | #Constraints: 28631
468.84/471.01 c #Conflicts: 701000 | #Constraints: 29631
468.84/471.01 c #Conflicts: 702000 | #Constraints: 30631
468.84/471.01 c #Conflicts: 703000 | #Constraints: 31631
468.84/471.01 c #Conflicts: 704000 | #Constraints: 32633
468.84/471.01 c #Conflicts: 705000 | #Constraints: 33747
468.84/471.01 c INPROCESSING
468.84/471.01 c GARBAGE COLLECT
468.84/471.01 c rational objective 2
483.79/486.00 c #Conflicts: 706000 | #Constraints: 18007
483.79/486.00 c #Conflicts: 707000 | #Constraints: 19141
483.79/486.00 c #Conflicts: 708000 | #Constraints: 20303
483.79/486.00 c #Conflicts: 709000 | #Constraints: 21468
483.79/486.00 c #Conflicts: 710000 | #Constraints: 22643
483.79/486.00 c #Conflicts: 711000 | #Constraints: 23803
483.79/486.00 c #Conflicts: 712000 | #Constraints: 24967
483.79/486.00 c #Conflicts: 713000 | #Constraints: 26109
483.79/486.00 c #Conflicts: 714000 | #Constraints: 27263
483.79/486.00 c #Conflicts: 715000 | #Constraints: 28455
483.79/486.00 c #Conflicts: 716000 | #Constraints: 29642
483.79/486.00 c #Conflicts: 717000 | #Constraints: 30790
483.79/486.00 c #Conflicts: 718000 | #Constraints: 31944
483.79/486.00 c #Conflicts: 719000 | #Constraints: 33042
483.79/486.00 c #Conflicts: 720000 | #Constraints: 34153
483.79/486.00 c #Conflicts: 721000 | #Constraints: 35271
483.79/486.00 c #Conflicts: 722000 | #Constraints: 36396
483.79/486.00 c INPROCESSING
483.79/486.00 c GARBAGE COLLECT
483.79/486.00 c rational objective 2
501.04/503.29 c #Conflicts: 723000 | #Constraints: 19292
501.04/503.29 c #Conflicts: 724000 | #Constraints: 20386
501.04/503.29 c #Conflicts: 725000 | #Constraints: 21478
501.04/503.29 c #Conflicts: 726000 | #Constraints: 22563
501.04/503.29 c #Conflicts: 727000 | #Constraints: 23662
501.04/503.29 c #Conflicts: 728000 | #Constraints: 24768
501.04/503.29 c #Conflicts: 729000 | #Constraints: 25860
501.04/503.29 c #Conflicts: 730000 | #Constraints: 26956
501.04/503.29 c #Conflicts: 731000 | #Constraints: 28040
501.04/503.29 c #Conflicts: 732000 | #Constraints: 29133
501.04/503.29 c #Conflicts: 733000 | #Constraints: 30240
501.04/503.29 c #Conflicts: 734000 | #Constraints: 31349
501.04/503.29 c #Conflicts: 735000 | #Constraints: 32473
501.04/503.29 c #Conflicts: 736000 | #Constraints: 33602
501.04/503.29 c #Conflicts: 737000 | #Constraints: 34712
501.04/503.29 c #Conflicts: 738000 | #Constraints: 35828
501.04/503.29 c #Conflicts: 739000 | #Constraints: 36938
501.04/503.29 c INPROCESSING
501.04/503.29 c GARBAGE COLLECT
501.04/503.29 c rational objective 2
518.36/520.61 c #Conflicts: 740000 | #Constraints: 19450
518.36/520.61 c #Conflicts: 741000 | #Constraints: 20521
518.36/520.61 c #Conflicts: 742000 | #Constraints: 21634
518.36/520.61 c #Conflicts: 743000 | #Constraints: 22745
518.36/520.61 c #Conflicts: 744000 | #Constraints: 23833
518.36/520.61 c #Conflicts: 745000 | #Constraints: 24933
518.36/520.61 c #Conflicts: 746000 | #Constraints: 26039
518.36/520.61 c #Conflicts: 747000 | #Constraints: 27145
518.36/520.61 c #Conflicts: 748000 | #Constraints: 28243
518.36/520.61 c #Conflicts: 749000 | #Constraints: 29325
518.36/520.61 c #Conflicts: 750000 | #Constraints: 30400
518.36/520.61 c #Conflicts: 751000 | #Constraints: 31491
518.36/520.61 c #Conflicts: 752000 | #Constraints: 32605
518.36/520.61 c #Conflicts: 753000 | #Constraints: 33697
518.36/520.61 c #Conflicts: 754000 | #Constraints: 34811
518.36/520.61 c #Conflicts: 755000 | #Constraints: 35922
518.36/520.61 c #Conflicts: 756000 | #Constraints: 37092
518.36/520.61 c INPROCESSING
518.36/520.61 c GARBAGE COLLECT
518.36/520.61 c rational objective 2
535.41/537.76 c #Conflicts: 757000 | #Constraints: 19294
535.41/537.76 c #Conflicts: 758000 | #Constraints: 20294
535.41/537.76 c #Conflicts: 759000 | #Constraints: 21294
535.41/537.76 c #Conflicts: 760000 | #Constraints: 22294
535.41/537.76 c #Conflicts: 761000 | #Constraints: 23294
535.41/537.76 c #Conflicts: 762000 | #Constraints: 24294
535.41/537.76 c #Conflicts: 763000 | #Constraints: 25302
535.41/537.76 c #Conflicts: 764000 | #Constraints: 26405
535.41/537.76 c #Conflicts: 765000 | #Constraints: 27526
535.41/537.76 c #Conflicts: 766000 | #Constraints: 28645
535.41/537.76 c #Conflicts: 767000 | #Constraints: 29757
535.41/537.76 c #Conflicts: 768000 | #Constraints: 30897
535.41/537.76 c #Conflicts: 769000 | #Constraints: 32070
535.41/537.76 c #Conflicts: 770000 | #Constraints: 33162
535.41/537.76 c #Conflicts: 771000 | #Constraints: 34275
535.41/537.76 c #Conflicts: 772000 | #Constraints: 35421
535.41/537.76 c #Conflicts: 773000 | #Constraints: 36531
535.41/537.76 c #Conflicts: 774000 | #Constraints: 37652
535.41/537.76 c INPROCESSING
535.41/537.76 c GARBAGE COLLECT
535.41/537.76 c rational objective 2
553.25/555.69 c #Conflicts: 775000 | #Constraints: 19744
553.25/555.69 c #Conflicts: 776000 | #Constraints: 20744
553.25/555.69 c #Conflicts: 777000 | #Constraints: 21744
553.25/555.69 c #Conflicts: 778000 | #Constraints: 22744
553.25/555.69 c #Conflicts: 779000 | #Constraints: 23744
553.25/555.69 c #Conflicts: 780000 | #Constraints: 24744
553.25/555.69 c #Conflicts: 781000 | #Constraints: 25744
553.25/555.69 c #Conflicts: 782000 | #Constraints: 26744
553.25/555.69 c #Conflicts: 783000 | #Constraints: 27744
553.25/555.69 c #Conflicts: 784000 | #Constraints: 28744
553.25/555.69 c #Conflicts: 785000 | #Constraints: 29744
553.25/555.69 c #Conflicts: 786000 | #Constraints: 30744
553.25/555.69 c #Conflicts: 787000 | #Constraints: 31744
553.25/555.69 c #Conflicts: 788000 | #Constraints: 32744
553.25/555.69 c #Conflicts: 789000 | #Constraints: 33744
553.25/555.69 c #Conflicts: 790000 | #Constraints: 34744
553.25/555.69 c #Conflicts: 791000 | #Constraints: 35744
553.25/555.69 c #Conflicts: 792000 | #Constraints: 36744
553.25/555.69 c INPROCESSING
553.25/555.69 c GARBAGE COLLECT
553.25/555.69 c rational objective 2
571.99/574.44 c #Conflicts: 793000 | #Constraints: 19479
571.99/574.44 c #Conflicts: 794000 | #Constraints: 20633
571.99/574.44 c #Conflicts: 795000 | #Constraints: 21799
571.99/574.44 c #Conflicts: 796000 | #Constraints: 22918
571.99/574.44 c #Conflicts: 797000 | #Constraints: 24051
571.99/574.44 c #Conflicts: 798000 | #Constraints: 25171
571.99/574.44 c #Conflicts: 799000 | #Constraints: 26279
571.99/574.44 c #Conflicts: 800000 | #Constraints: 27422
571.99/574.44 c #Conflicts: 801000 | #Constraints: 28548
571.99/574.44 c #Conflicts: 802000 | #Constraints: 29697
571.99/574.44 c #Conflicts: 803000 | #Constraints: 30795
571.99/574.44 c #Conflicts: 804000 | #Constraints: 31892
571.99/574.44 c #Conflicts: 805000 | #Constraints: 33037
571.99/574.44 c #Conflicts: 806000 | #Constraints: 34173
571.99/574.44 c #Conflicts: 807000 | #Constraints: 35309
571.99/574.44 c #Conflicts: 808000 | #Constraints: 36409
571.99/574.44 c #Conflicts: 809000 | #Constraints: 37517
571.99/574.44 c #Conflicts: 810000 | #Constraints: 38626
571.99/574.44 c INPROCESSING
571.99/574.44 c GARBAGE COLLECT
571.99/574.44 c rational objective 2
590.04/592.58 c #Conflicts: 811000 | #Constraints: 20376
590.04/592.58 c #Conflicts: 812000 | #Constraints: 21475
590.04/592.58 c #Conflicts: 813000 | #Constraints: 22583
590.04/592.58 c #Conflicts: 814000 | #Constraints: 23698
590.04/592.58 c #Conflicts: 815000 | #Constraints: 24795
590.04/592.58 c #Conflicts: 816000 | #Constraints: 25891
590.04/592.58 c #Conflicts: 817000 | #Constraints: 26992
590.04/592.58 c #Conflicts: 818000 | #Constraints: 28094
590.04/592.58 c #Conflicts: 819000 | #Constraints: 29192
590.04/592.58 c #Conflicts: 820000 | #Constraints: 30314
590.04/592.58 c #Conflicts: 821000 | #Constraints: 31409
590.04/592.58 c #Conflicts: 822000 | #Constraints: 32546
590.04/592.58 c #Conflicts: 823000 | #Constraints: 33678
590.04/592.58 c #Conflicts: 824000 | #Constraints: 34876
590.04/592.58 c #Conflicts: 825000 | #Constraints: 36029
590.04/592.58 c #Conflicts: 826000 | #Constraints: 37163
590.04/592.58 c #Conflicts: 827000 | #Constraints: 38270
590.04/592.58 c #Conflicts: 828000 | #Constraints: 39372
590.04/592.58 c INPROCESSING
590.04/592.58 c GARBAGE COLLECT
590.04/592.58 c rational objective 2
611.87/614.46 c #Conflicts: 829000 | #Constraints: 20663
611.87/614.46 c #Conflicts: 830000 | #Constraints: 21695
611.87/614.46 c #Conflicts: 831000 | #Constraints: 22740
611.87/614.46 c #Conflicts: 832000 | #Constraints: 23804
611.87/614.46 c #Conflicts: 833000 | #Constraints: 24865
611.87/614.46 c #Conflicts: 834000 | #Constraints: 25912
611.87/614.46 c #Conflicts: 835000 | #Constraints: 26974
611.87/614.46 c #Conflicts: 836000 | #Constraints: 28031
611.87/614.46 c #Conflicts: 837000 | #Constraints: 29100
611.87/614.46 c #Conflicts: 838000 | #Constraints: 30175
611.87/614.46 c #Conflicts: 839000 | #Constraints: 31260
611.87/614.46 c #Conflicts: 840000 | #Constraints: 32319
611.87/614.46 c #Conflicts: 841000 | #Constraints: 33382
611.87/614.46 c #Conflicts: 842000 | #Constraints: 34445
611.87/614.46 c #Conflicts: 843000 | #Constraints: 35445
611.87/614.46 c #Conflicts: 844000 | #Constraints: 36495
611.87/614.46 c #Conflicts: 845000 | #Constraints: 37544
611.87/614.46 c #Conflicts: 846000 | #Constraints: 38583
611.87/614.46 c INPROCESSING
611.87/614.46 c GARBAGE COLLECT
611.87/614.46 c rational objective 2
631.21/633.82 c #Conflicts: 847000 | #Constraints: 20012
631.21/633.82 c #Conflicts: 848000 | #Constraints: 21090
631.21/633.82 c #Conflicts: 849000 | #Constraints: 22240
631.21/633.82 c #Conflicts: 850000 | #Constraints: 23308
631.21/633.82 c #Conflicts: 851000 | #Constraints: 24371
631.21/633.82 c #Conflicts: 852000 | #Constraints: 25446
631.21/633.82 c #Conflicts: 853000 | #Constraints: 26613
631.21/633.82 c #Conflicts: 854000 | #Constraints: 27709
631.21/633.82 c #Conflicts: 855000 | #Constraints: 28792
631.21/633.82 c #Conflicts: 856000 | #Constraints: 29910
631.21/633.82 c #Conflicts: 857000 | #Constraints: 31012
631.21/633.82 c #Conflicts: 858000 | #Constraints: 32086
631.21/633.82 c #Conflicts: 859000 | #Constraints: 33187
631.21/633.82 c #Conflicts: 860000 | #Constraints: 34296
631.21/633.82 c #Conflicts: 861000 | #Constraints: 35396
631.21/633.82 c #Conflicts: 862000 | #Constraints: 36456
631.21/633.82 c #Conflicts: 863000 | #Constraints: 37557
631.21/633.82 c #Conflicts: 864000 | #Constraints: 38637
631.21/633.82 c #Conflicts: 865000 | #Constraints: 39731
631.21/633.82 c INPROCESSING
631.21/633.82 c GARBAGE COLLECT
631.21/633.82 c rational objective 2
652.53/655.26 c #Conflicts: 866000 | #Constraints: 20790
652.53/655.26 c #Conflicts: 867000 | #Constraints: 21791
652.53/655.26 c #Conflicts: 868000 | #Constraints: 22901
652.53/655.26 c #Conflicts: 869000 | #Constraints: 24053
652.53/655.26 c #Conflicts: 870000 | #Constraints: 25154
652.53/655.26 c #Conflicts: 871000 | #Constraints: 26308
652.53/655.26 c #Conflicts: 872000 | #Constraints: 27452
652.53/655.26 c #Conflicts: 873000 | #Constraints: 28620
652.53/655.26 c #Conflicts: 874000 | #Constraints: 29755
652.53/655.26 c #Conflicts: 875000 | #Constraints: 30894
652.53/655.26 c #Conflicts: 876000 | #Constraints: 32069
652.53/655.26 c #Conflicts: 877000 | #Constraints: 33199
652.53/655.26 c #Conflicts: 878000 | #Constraints: 34307
652.53/655.26 c #Conflicts: 879000 | #Constraints: 35407
652.53/655.26 c #Conflicts: 880000 | #Constraints: 36527
652.53/655.26 c #Conflicts: 881000 | #Constraints: 37641
652.53/655.26 c #Conflicts: 882000 | #Constraints: 38754
652.53/655.26 c #Conflicts: 883000 | #Constraints: 39857
652.53/655.26 c #Conflicts: 884000 | #Constraints: 41008
652.53/655.26 c INPROCESSING
652.53/655.26 c GARBAGE COLLECT
652.53/655.26 c rational objective 2
674.85/677.67 c #Conflicts: 885000 | #Constraints: 21513
674.85/677.67 c #Conflicts: 886000 | #Constraints: 22513
674.85/677.67 c #Conflicts: 887000 | #Constraints: 23517
674.85/677.67 c #Conflicts: 888000 | #Constraints: 24602
674.85/677.67 c #Conflicts: 889000 | #Constraints: 25717
674.85/677.67 c #Conflicts: 890000 | #Constraints: 26821
674.85/677.67 c #Conflicts: 891000 | #Constraints: 27915
674.85/677.67 c #Conflicts: 892000 | #Constraints: 29090
674.85/677.67 c #Conflicts: 893000 | #Constraints: 30183
674.85/677.67 c #Conflicts: 894000 | #Constraints: 31294
674.85/677.67 c #Conflicts: 895000 | #Constraints: 32392
674.85/677.67 c #Conflicts: 896000 | #Constraints: 33508
674.85/677.67 c #Conflicts: 897000 | #Constraints: 34584
674.85/677.67 c #Conflicts: 898000 | #Constraints: 35693
674.85/677.67 c #Conflicts: 899000 | #Constraints: 36836
674.85/677.67 c #Conflicts: 900000 | #Constraints: 37974
674.85/677.67 c #Conflicts: 901000 | #Constraints: 39053
674.85/677.67 c #Conflicts: 902000 | #Constraints: 40165
674.85/677.67 c #Conflicts: 903000 | #Constraints: 41346
674.85/677.67 c INPROCESSING
674.85/677.67 c GARBAGE COLLECT
674.85/677.67 c rational objective 2
696.30/699.19 c #Conflicts: 904000 | #Constraints: 21757
696.30/699.19 c #Conflicts: 905000 | #Constraints: 22899
696.30/699.19 c #Conflicts: 906000 | #Constraints: 23998
696.30/699.19 c #Conflicts: 907000 | #Constraints: 25123
696.30/699.19 c #Conflicts: 908000 | #Constraints: 26227
696.30/699.19 c #Conflicts: 909000 | #Constraints: 27352
696.30/699.19 c #Conflicts: 910000 | #Constraints: 28449
696.30/699.19 c #Conflicts: 911000 | #Constraints: 29540
696.30/699.19 c #Conflicts: 912000 | #Constraints: 30673
696.30/699.19 c #Conflicts: 913000 | #Constraints: 31822
696.30/699.19 c #Conflicts: 914000 | #Constraints: 32938
696.30/699.19 c #Conflicts: 915000 | #Constraints: 34060
696.30/699.19 c #Conflicts: 916000 | #Constraints: 35143
696.30/699.19 c #Conflicts: 917000 | #Constraints: 36246
696.30/699.19 c #Conflicts: 918000 | #Constraints: 37335
696.30/699.19 c #Conflicts: 919000 | #Constraints: 38482
696.30/699.19 c #Conflicts: 920000 | #Constraints: 39617
696.30/699.19 c #Conflicts: 921000 | #Constraints: 40738
696.30/699.19 c #Conflicts: 922000 | #Constraints: 41879
696.30/699.19 c INPROCESSING
696.30/699.19 c GARBAGE COLLECT
696.30/699.19 c rational objective 2
717.61/720.58 c #Conflicts: 923000 | #Constraints: 21853
717.61/720.58 c #Conflicts: 924000 | #Constraints: 22853
717.61/720.58 c #Conflicts: 925000 | #Constraints: 23853
717.61/720.58 c #Conflicts: 926000 | #Constraints: 24853
717.61/720.58 c #Conflicts: 927000 | #Constraints: 25853
717.61/720.58 c #Conflicts: 928000 | #Constraints: 26853
717.61/720.58 c #Conflicts: 929000 | #Constraints: 27853
717.61/720.58 c #Conflicts: 930000 | #Constraints: 28853
717.61/720.58 c #Conflicts: 931000 | #Constraints: 29853
717.61/720.58 c #Conflicts: 932000 | #Constraints: 30853
717.61/720.58 c #Conflicts: 933000 | #Constraints: 31853
717.61/720.58 c #Conflicts: 934000 | #Constraints: 32853
717.61/720.58 c #Conflicts: 935000 | #Constraints: 33853
717.61/720.58 c #Conflicts: 936000 | #Constraints: 34853
717.61/720.58 c #Conflicts: 937000 | #Constraints: 35853
717.61/720.58 c #Conflicts: 938000 | #Constraints: 36853
717.61/720.58 c #Conflicts: 939000 | #Constraints: 37853
717.61/720.58 c #Conflicts: 940000 | #Constraints: 38853
717.61/720.58 c #Conflicts: 941000 | #Constraints: 39853
717.61/720.58 c INPROCESSING
717.61/720.58 c GARBAGE COLLECT
717.61/720.58 c rational objective 2
737.74/740.76 c #Conflicts: 942000 | #Constraints: 20671
737.74/740.76 c #Conflicts: 943000 | #Constraints: 21775
737.74/740.76 c #Conflicts: 944000 | #Constraints: 22881
737.74/740.76 c #Conflicts: 945000 | #Constraints: 23990
737.74/740.76 c #Conflicts: 946000 | #Constraints: 25098
737.74/740.76 c #Conflicts: 947000 | #Constraints: 26188
737.74/740.76 c #Conflicts: 948000 | #Constraints: 27318
737.74/740.76 c #Conflicts: 949000 | #Constraints: 28417
737.74/740.76 c #Conflicts: 950000 | #Constraints: 29531
737.74/740.76 c #Conflicts: 951000 | #Constraints: 30640
737.74/740.76 c #Conflicts: 952000 | #Constraints: 31769
737.74/740.76 c #Conflicts: 953000 | #Constraints: 32908
737.74/740.76 c #Conflicts: 954000 | #Constraints: 34044
737.74/740.76 c #Conflicts: 955000 | #Constraints: 35196
737.74/740.76 c #Conflicts: 956000 | #Constraints: 36340
737.74/740.76 c #Conflicts: 957000 | #Constraints: 37448
737.74/740.76 c #Conflicts: 958000 | #Constraints: 38618
737.74/740.76 c #Conflicts: 959000 | #Constraints: 39633
737.74/740.76 c #Conflicts: 960000 | #Constraints: 40699
737.74/740.76 c #Conflicts: 961000 | #Constraints: 41827
737.74/740.76 c INPROCESSING
737.74/740.76 c GARBAGE COLLECT
737.74/740.76 c rational objective 2
766.44/769.58 c #Conflicts: 962000 | #Constraints: 22128
766.44/769.58 c #Conflicts: 963000 | #Constraints: 23284
766.44/769.58 c #Conflicts: 964000 | #Constraints: 24466
766.44/769.58 c #Conflicts: 965000 | #Constraints: 25643
766.44/769.58 c #Conflicts: 966000 | #Constraints: 26877
766.44/769.58 c #Conflicts: 967000 | #Constraints: 27990
766.44/769.58 c #Conflicts: 968000 | #Constraints: 29110
766.44/769.58 c #Conflicts: 969000 | #Constraints: 30215
766.44/769.58 c #Conflicts: 970000 | #Constraints: 31282
766.44/769.58 c #Conflicts: 971000 | #Constraints: 32363
766.44/769.58 c #Conflicts: 972000 | #Constraints: 33434
766.44/769.58 c #Conflicts: 973000 | #Constraints: 34545
766.44/769.58 c #Conflicts: 974000 | #Constraints: 35635
766.44/769.58 c #Conflicts: 975000 | #Constraints: 36718
766.44/769.58 c #Conflicts: 976000 | #Constraints: 37777
766.44/769.58 c #Conflicts: 977000 | #Constraints: 38791
766.44/769.58 c #Conflicts: 978000 | #Constraints: 39791
766.44/769.58 c #Conflicts: 979000 | #Constraints: 40861
766.44/769.58 c #Conflicts: 980000 | #Constraints: 41934
766.44/769.58 c #Conflicts: 981000 | #Constraints: 43053
766.44/769.58 c INPROCESSING
766.44/769.58 c GARBAGE COLLECT
766.44/769.58 c rational objective 2
792.25/795.43 c #Conflicts: 982000 | #Constraints: 22581
792.25/795.43 c #Conflicts: 983000 | #Constraints: 23684
792.25/795.43 c #Conflicts: 984000 | #Constraints: 24688
792.25/795.43 c #Conflicts: 985000 | #Constraints: 25811
792.25/795.43 c #Conflicts: 986000 | #Constraints: 26937
792.25/795.43 c #Conflicts: 987000 | #Constraints: 28033
792.25/795.43 c #Conflicts: 988000 | #Constraints: 29187
792.25/795.43 c #Conflicts: 989000 | #Constraints: 30258
792.25/795.43 c #Conflicts: 990000 | #Constraints: 31360
792.25/795.43 c #Conflicts: 991000 | #Constraints: 32480
792.25/795.43 c #Conflicts: 992000 | #Constraints: 33556
792.25/795.43 c #Conflicts: 993000 | #Constraints: 34629
792.25/795.43 c #Conflicts: 994000 | #Constraints: 35700
792.25/795.43 c #Conflicts: 995000 | #Constraints: 36768
792.25/795.43 c #Conflicts: 996000 | #Constraints: 37816
792.25/795.43 c #Conflicts: 997000 | #Constraints: 38817
792.25/795.43 c #Conflicts: 998000 | #Constraints: 39817
792.25/795.43 c #Conflicts: 999000 | #Constraints: 40817
792.25/795.43 c #Conflicts: 1000000 | #Constraints: 41817
792.25/795.43 c #Conflicts: 1001000 | #Constraints: 42869
792.25/795.43 c INPROCESSING
792.25/795.43 c GARBAGE COLLECT
792.25/795.43 c rational objective 2
815.25/818.53 c #Conflicts: 1002000 | #Constraints: 22540
815.25/818.53 c #Conflicts: 1003000 | #Constraints: 23609
815.25/818.53 c #Conflicts: 1004000 | #Constraints: 24712
815.25/818.53 c #Conflicts: 1005000 | #Constraints: 25811
815.25/818.53 c #Conflicts: 1006000 | #Constraints: 26929
815.25/818.53 c #Conflicts: 1007000 | #Constraints: 27988
815.25/818.53 c #Conflicts: 1008000 | #Constraints: 28988
815.25/818.53 c #Conflicts: 1009000 | #Constraints: 30002
815.25/818.53 c #Conflicts: 1010000 | #Constraints: 31053
815.25/818.53 c #Conflicts: 1011000 | #Constraints: 32113
815.25/818.53 c #Conflicts: 1012000 | #Constraints: 33188
815.25/818.53 c #Conflicts: 1013000 | #Constraints: 34188
815.25/818.53 c #Conflicts: 1014000 | #Constraints: 35280
815.25/818.53 c #Conflicts: 1015000 | #Constraints: 36321
815.25/818.53 c #Conflicts: 1016000 | #Constraints: 37321
815.25/818.53 c #Conflicts: 1017000 | #Constraints: 38359
815.25/818.53 c #Conflicts: 1018000 | #Constraints: 39365
815.25/818.53 c #Conflicts: 1019000 | #Constraints: 40377
815.25/818.53 c #Conflicts: 1020000 | #Constraints: 41377
815.25/818.53 c #Conflicts: 1021000 | #Constraints: 42385
815.25/818.53 c INPROCESSING
815.25/818.53 c GARBAGE COLLECT
815.25/818.53 c rational objective 2
840.56/844.03 c #Conflicts: 1022000 | #Constraints: 22113
840.56/844.03 c #Conflicts: 1023000 | #Constraints: 23205
840.56/844.03 c #Conflicts: 1024000 | #Constraints: 24321
840.56/844.03 c #Conflicts: 1025000 | #Constraints: 25435
840.56/844.03 c #Conflicts: 1026000 | #Constraints: 26444
840.56/844.03 c #Conflicts: 1027000 | #Constraints: 27450
840.56/844.03 c #Conflicts: 1028000 | #Constraints: 28450
840.56/844.03 c #Conflicts: 1029000 | #Constraints: 29457
840.56/844.03 c #Conflicts: 1030000 | #Constraints: 30457
840.56/844.03 c #Conflicts: 1031000 | #Constraints: 31461
840.56/844.03 c #Conflicts: 1032000 | #Constraints: 32461
840.56/844.03 c #Conflicts: 1033000 | #Constraints: 33480
840.56/844.03 c #Conflicts: 1034000 | #Constraints: 34480
840.56/844.03 c #Conflicts: 1035000 | #Constraints: 35545
840.56/844.03 c #Conflicts: 1036000 | #Constraints: 36616
840.56/844.03 c #Conflicts: 1037000 | #Constraints: 37687
840.56/844.03 c #Conflicts: 1038000 | #Constraints: 38743
840.56/844.03 c #Conflicts: 1039000 | #Constraints: 39762
840.56/844.03 c #Conflicts: 1040000 | #Constraints: 40762
840.56/844.03 c #Conflicts: 1041000 | #Constraints: 41799
840.56/844.03 c INPROCESSING
840.56/844.03 c GARBAGE COLLECT
840.56/844.03 c rational objective 2
869.25/873.00 c #Conflicts: 1042000 | #Constraints: 21631
869.25/873.00 c #Conflicts: 1043000 | #Constraints: 22668
869.25/873.00 c #Conflicts: 1044000 | #Constraints: 23754
869.25/873.00 c #Conflicts: 1045000 | #Constraints: 24855
869.25/873.00 c #Conflicts: 1046000 | #Constraints: 25962
869.25/873.00 c #Conflicts: 1047000 | #Constraints: 27039
869.25/873.00 c #Conflicts: 1048000 | #Constraints: 28127
869.25/873.00 c #Conflicts: 1049000 | #Constraints: 29230
869.25/873.00 c #Conflicts: 1050000 | #Constraints: 30325
869.25/873.00 c #Conflicts: 1051000 | #Constraints: 31405
869.25/873.00 c #Conflicts: 1052000 | #Constraints: 32484
869.25/873.00 c #Conflicts: 1053000 | #Constraints: 33575
869.25/873.00 c #Conflicts: 1054000 | #Constraints: 34690
869.25/873.00 c #Conflicts: 1055000 | #Constraints: 35792
869.25/873.00 c #Conflicts: 1056000 | #Constraints: 36888
869.25/873.00 c #Conflicts: 1057000 | #Constraints: 38001
869.25/873.00 c #Conflicts: 1058000 | #Constraints: 39037
869.25/873.00 c #Conflicts: 1059000 | #Constraints: 40133
869.25/873.00 c #Conflicts: 1060000 | #Constraints: 41212
869.25/873.00 c #Conflicts: 1061000 | #Constraints: 42299
869.25/873.00 c #Conflicts: 1062000 | #Constraints: 43375
869.25/873.00 c INPROCESSING
869.25/873.00 c GARBAGE COLLECT
869.25/873.00 c rational objective 2
895.56/899.36 c #Conflicts: 1063000 | #Constraints: 22643
895.56/899.36 c #Conflicts: 1064000 | #Constraints: 23743
895.56/899.36 c #Conflicts: 1065000 | #Constraints: 24799
895.56/899.36 c #Conflicts: 1066000 | #Constraints: 25869
895.56/899.36 c #Conflicts: 1067000 | #Constraints: 26933
895.56/899.36 c #Conflicts: 1068000 | #Constraints: 28010
895.56/899.36 c #Conflicts: 1069000 | #Constraints: 29115
895.56/899.36 c #Conflicts: 1070000 | #Constraints: 30208
895.56/899.36 c #Conflicts: 1071000 | #Constraints: 31279
895.56/899.36 c #Conflicts: 1072000 | #Constraints: 32338
895.56/899.36 c #Conflicts: 1073000 | #Constraints: 33401
895.56/899.36 c #Conflicts: 1074000 | #Constraints: 34462
895.56/899.36 c #Conflicts: 1075000 | #Constraints: 35548
895.56/899.36 c #Conflicts: 1076000 | #Constraints: 36616
895.56/899.36 c #Conflicts: 1077000 | #Constraints: 37710
895.56/899.36 c #Conflicts: 1078000 | #Constraints: 38779
895.56/899.36 c #Conflicts: 1079000 | #Constraints: 39903
895.56/899.36 c #Conflicts: 1080000 | #Constraints: 40984
895.56/899.36 c #Conflicts: 1081000 | #Constraints: 42062
895.56/899.36 c #Conflicts: 1082000 | #Constraints: 43139
895.56/899.36 c #Conflicts: 1083000 | #Constraints: 44197
895.56/899.36 c INPROCESSING
895.56/899.36 c GARBAGE COLLECT
895.56/899.36 c rational objective 2
921.48/925.30 c #Conflicts: 1084000 | #Constraints: 23105
921.48/925.30 c #Conflicts: 1085000 | #Constraints: 24105
921.48/925.30 c #Conflicts: 1086000 | #Constraints: 25105
921.48/925.30 c #Conflicts: 1087000 | #Constraints: 26105
921.48/925.30 c #Conflicts: 1088000 | #Constraints: 27105
921.48/925.30 c #Conflicts: 1089000 | #Constraints: 28105
921.48/925.30 c #Conflicts: 1090000 | #Constraints: 29105
921.48/925.30 c #Conflicts: 1091000 | #Constraints: 30105
921.48/925.30 c #Conflicts: 1092000 | #Constraints: 31105
921.48/925.30 c #Conflicts: 1093000 | #Constraints: 32105
921.48/925.30 c #Conflicts: 1094000 | #Constraints: 33105
921.48/925.30 c #Conflicts: 1095000 | #Constraints: 34105
921.48/925.30 c #Conflicts: 1096000 | #Constraints: 35105
921.48/925.30 c #Conflicts: 1097000 | #Constraints: 36105
921.48/925.30 c #Conflicts: 1098000 | #Constraints: 37105
921.48/925.30 c #Conflicts: 1099000 | #Constraints: 38105
921.48/925.30 c #Conflicts: 1100000 | #Constraints: 39105
921.48/925.30 c #Conflicts: 1101000 | #Constraints: 40105
921.48/925.30 c #Conflicts: 1102000 | #Constraints: 41105
921.48/925.30 c #Conflicts: 1103000 | #Constraints: 42105
921.48/925.30 c #Conflicts: 1104000 | #Constraints: 43105
921.48/925.30 c INPROCESSING
921.48/925.30 c GARBAGE COLLECT
921.48/925.30 c rational objective 2
946.69/950.70 c #Conflicts: 1105000 | #Constraints: 22560
946.69/950.70 c #Conflicts: 1106000 | #Constraints: 23560
946.69/950.70 c #Conflicts: 1107000 | #Constraints: 24560
946.69/950.70 c #Conflicts: 1108000 | #Constraints: 25560
946.69/950.70 c #Conflicts: 1109000 | #Constraints: 26560
946.69/950.70 c #Conflicts: 1110000 | #Constraints: 27560
946.69/950.70 c #Conflicts: 1111000 | #Constraints: 28560
946.69/950.70 c #Conflicts: 1112000 | #Constraints: 29560
946.69/950.70 c #Conflicts: 1113000 | #Constraints: 30560
946.69/950.70 c #Conflicts: 1114000 | #Constraints: 31560
946.69/950.70 c #Conflicts: 1115000 | #Constraints: 32560
946.69/950.70 c #Conflicts: 1116000 | #Constraints: 33560
946.69/950.70 c #Conflicts: 1117000 | #Constraints: 34560
946.69/950.70 c #Conflicts: 1118000 | #Constraints: 35560
946.69/950.70 c #Conflicts: 1119000 | #Constraints: 36560
946.69/950.70 c #Conflicts: 1120000 | #Constraints: 37560
946.69/950.70 c #Conflicts: 1121000 | #Constraints: 38560
946.69/950.70 c #Conflicts: 1122000 | #Constraints: 39560
946.69/950.70 c #Conflicts: 1123000 | #Constraints: 40560
946.69/950.70 c #Conflicts: 1124000 | #Constraints: 41560
946.69/950.70 c #Conflicts: 1125000 | #Constraints: 42560
946.69/950.70 c INPROCESSING
946.69/950.70 c GARBAGE COLLECT
946.69/950.70 c rational objective 2
972.02/976.02 c #Conflicts: 1126000 | #Constraints: 22259
972.02/976.02 c #Conflicts: 1127000 | #Constraints: 23357
972.02/976.02 c #Conflicts: 1128000 | #Constraints: 24439
972.02/976.02 c #Conflicts: 1129000 | #Constraints: 25570
972.02/976.02 c #Conflicts: 1130000 | #Constraints: 26745
972.02/976.02 c #Conflicts: 1131000 | #Constraints: 27824
972.02/976.02 c #Conflicts: 1132000 | #Constraints: 28954
972.02/976.02 c #Conflicts: 1133000 | #Constraints: 30063
972.02/976.02 c #Conflicts: 1134000 | #Constraints: 31173
972.02/976.02 c #Conflicts: 1135000 | #Constraints: 32275
972.02/976.02 c #Conflicts: 1136000 | #Constraints: 33368
972.02/976.02 c #Conflicts: 1137000 | #Constraints: 34490
972.02/976.02 c #Conflicts: 1138000 | #Constraints: 35571
972.02/976.02 c #Conflicts: 1139000 | #Constraints: 36651
972.02/976.02 c #Conflicts: 1140000 | #Constraints: 37734
972.02/976.02 c #Conflicts: 1141000 | #Constraints: 38825
972.02/976.02 c #Conflicts: 1142000 | #Constraints: 39958
972.02/976.02 c #Conflicts: 1143000 | #Constraints: 41041
972.02/976.02 c #Conflicts: 1144000 | #Constraints: 42092
972.02/976.02 c #Conflicts: 1145000 | #Constraints: 43165
972.02/976.02 c #Conflicts: 1146000 | #Constraints: 44251
972.02/976.02 c INPROCESSING
972.02/976.02 c GARBAGE COLLECT
972.02/976.02 c rational objective 2
998.32/1002.44 c #Conflicts: 1147000 | #Constraints: 22879
998.32/1002.44 c #Conflicts: 1148000 | #Constraints: 23983
998.32/1002.44 c #Conflicts: 1149000 | #Constraints: 25092
998.32/1002.44 c #Conflicts: 1150000 | #Constraints: 26208
998.32/1002.44 c #Conflicts: 1151000 | #Constraints: 27305
998.32/1002.44 c #Conflicts: 1152000 | #Constraints: 28415
998.32/1002.44 c #Conflicts: 1153000 | #Constraints: 29519
998.32/1002.44 c #Conflicts: 1154000 | #Constraints: 30618
998.32/1002.44 c #Conflicts: 1155000 | #Constraints: 31817
998.32/1002.44 c #Conflicts: 1156000 | #Constraints: 32968
998.32/1002.44 c #Conflicts: 1157000 | #Constraints: 34070
998.32/1002.44 c #Conflicts: 1158000 | #Constraints: 35157
998.32/1002.44 c #Conflicts: 1159000 | #Constraints: 36266
998.32/1002.44 c #Conflicts: 1160000 | #Constraints: 37472
998.32/1002.44 c #Conflicts: 1161000 | #Constraints: 38554
998.32/1002.44 c #Conflicts: 1162000 | #Constraints: 39663
998.32/1002.44 c #Conflicts: 1163000 | #Constraints: 40781
998.32/1002.44 c #Conflicts: 1164000 | #Constraints: 41900
998.32/1002.44 c #Conflicts: 1165000 | #Constraints: 43049
998.32/1002.44 c #Conflicts: 1166000 | #Constraints: 44217
998.32/1002.44 c #Conflicts: 1167000 | #Constraints: 45321
998.32/1002.44 c #Conflicts: 1168000 | #Constraints: 46426
998.32/1002.44 c INPROCESSING
998.32/1002.44 c GARBAGE COLLECT
998.32/1002.44 c rational objective 2
1024.44/1028.69 c #Conflicts: 1169000 | #Constraints: 24130
1024.44/1028.69 c #Conflicts: 1170000 | #Constraints: 25130
1024.44/1028.69 c #Conflicts: 1171000 | #Constraints: 26130
1024.44/1028.69 c #Conflicts: 1172000 | #Constraints: 27130
1024.44/1028.69 c #Conflicts: 1173000 | #Constraints: 28130
1024.44/1028.69 c #Conflicts: 1174000 | #Constraints: 29130
1024.44/1028.69 c #Conflicts: 1175000 | #Constraints: 30174
1024.44/1028.69 c #Conflicts: 1176000 | #Constraints: 31262
1024.44/1028.69 c #Conflicts: 1177000 | #Constraints: 32346
1024.44/1028.69 c #Conflicts: 1178000 | #Constraints: 33426
1024.44/1028.69 c #Conflicts: 1179000 | #Constraints: 34530
1024.44/1028.69 c #Conflicts: 1180000 | #Constraints: 35616
1024.44/1028.69 c #Conflicts: 1181000 | #Constraints: 36704
1024.44/1028.69 c #Conflicts: 1182000 | #Constraints: 37797
1024.44/1028.69 c #Conflicts: 1183000 | #Constraints: 38871
1024.44/1028.69 c #Conflicts: 1184000 | #Constraints: 39952
1024.44/1028.69 c #Conflicts: 1185000 | #Constraints: 41067
1024.44/1028.69 c #Conflicts: 1186000 | #Constraints: 42151
1024.44/1028.69 c #Conflicts: 1187000 | #Constraints: 43257
1024.44/1028.69 c #Conflicts: 1188000 | #Constraints: 44341
1024.44/1028.69 c #Conflicts: 1189000 | #Constraints: 45429
1024.44/1028.69 c #Conflicts: 1190000 | #Constraints: 46535
1024.44/1028.69 c INPROCESSING
1024.44/1028.69 c GARBAGE COLLECT
1024.44/1028.69 c rational objective 2
1052.35/1056.78 c #Conflicts: 1191000 | #Constraints: 24336
1052.35/1056.78 c #Conflicts: 1192000 | #Constraints: 25407
1052.35/1056.78 c #Conflicts: 1193000 | #Constraints: 26420
1052.35/1056.78 c #Conflicts: 1194000 | #Constraints: 27488
1052.35/1056.78 c #Conflicts: 1195000 | #Constraints: 28509
1052.35/1056.78 c #Conflicts: 1196000 | #Constraints: 29509
1052.35/1056.78 c #Conflicts: 1197000 | #Constraints: 30509
1052.35/1056.78 c #Conflicts: 1198000 | #Constraints: 31509
1052.35/1056.78 c #Conflicts: 1199000 | #Constraints: 32509
1052.35/1056.78 c #Conflicts: 1200000 | #Constraints: 33509
1052.35/1056.78 c #Conflicts: 1201000 | #Constraints: 34509
1052.35/1056.78 c #Conflicts: 1202000 | #Constraints: 35509
1052.35/1056.78 c #Conflicts: 1203000 | #Constraints: 36509
1052.35/1056.78 c #Conflicts: 1204000 | #Constraints: 37509
1052.35/1056.78 c #Conflicts: 1205000 | #Constraints: 38509
1052.35/1056.78 c #Conflicts: 1206000 | #Constraints: 39509
1052.35/1056.78 c #Conflicts: 1207000 | #Constraints: 40509
1052.35/1056.78 c #Conflicts: 1208000 | #Constraints: 41509
1052.35/1056.78 c #Conflicts: 1209000 | #Constraints: 42509
1052.35/1056.78 c #Conflicts: 1210000 | #Constraints: 43509
1052.35/1056.78 c #Conflicts: 1211000 | #Constraints: 44509
1052.35/1056.78 c #Conflicts: 1212000 | #Constraints: 45509
1052.35/1056.78 c INPROCESSING
1052.35/1056.78 c GARBAGE COLLECT
1052.35/1056.78 c rational objective 2
1076.07/1080.57 c #Conflicts: 1213000 | #Constraints: 23759
1076.07/1080.57 c #Conflicts: 1214000 | #Constraints: 24759
1076.07/1080.57 c #Conflicts: 1215000 | #Constraints: 25759
1076.07/1080.57 c #Conflicts: 1216000 | #Constraints: 26759
1076.07/1080.57 c #Conflicts: 1217000 | #Constraints: 27759
1076.07/1080.57 c #Conflicts: 1218000 | #Constraints: 28759
1076.07/1080.57 c #Conflicts: 1219000 | #Constraints: 29759
1076.07/1080.57 c #Conflicts: 1220000 | #Constraints: 30759
1076.07/1080.57 c #Conflicts: 1221000 | #Constraints: 31759
1076.07/1080.57 c #Conflicts: 1222000 | #Constraints: 32759
1076.07/1080.57 c #Conflicts: 1223000 | #Constraints: 33759
1076.07/1080.57 c #Conflicts: 1224000 | #Constraints: 34759
1076.07/1080.57 c #Conflicts: 1225000 | #Constraints: 35759
1076.07/1080.57 c #Conflicts: 1226000 | #Constraints: 36759
1076.07/1080.57 c #Conflicts: 1227000 | #Constraints: 37759
1076.07/1080.57 c #Conflicts: 1228000 | #Constraints: 38759
1076.07/1080.57 c #Conflicts: 1229000 | #Constraints: 39759
1076.07/1080.57 c #Conflicts: 1230000 | #Constraints: 40759
1076.07/1080.57 c #Conflicts: 1231000 | #Constraints: 41759
1076.07/1080.57 c #Conflicts: 1232000 | #Constraints: 42759
1076.07/1080.57 c #Conflicts: 1233000 | #Constraints: 43759
1076.07/1080.57 c #Conflicts: 1234000 | #Constraints: 44759
1076.07/1080.57 c INPROCESSING
1076.07/1080.57 c GARBAGE COLLECT
1076.07/1080.57 c rational objective 2
1179.29/1184.16 c #Conflicts: 1235000 | #Constraints: 23345
1179.29/1184.16 c #Conflicts: 1236000 | #Constraints: 24485
1179.29/1184.16 c #Conflicts: 1237000 | #Constraints: 25603
1179.29/1184.16 c #Conflicts: 1238000 | #Constraints: 26744
1179.29/1184.16 c #Conflicts: 1239000 | #Constraints: 27881
1179.29/1184.16 c #Conflicts: 1240000 | #Constraints: 29014
1179.29/1184.16 c #Conflicts: 1241000 | #Constraints: 30138
1179.29/1184.16 c #Conflicts: 1242000 | #Constraints: 31250
1179.29/1184.16 c #Conflicts: 1243000 | #Constraints: 32354
1179.29/1184.16 c #Conflicts: 1244000 | #Constraints: 33458
1179.29/1184.16 c #Conflicts: 1245000 | #Constraints: 34560
1179.29/1184.16 c #Conflicts: 1246000 | #Constraints: 35689
1179.29/1184.16 c #Conflicts: 1247000 | #Constraints: 36776
1179.29/1184.16 c #Conflicts: 1248000 | #Constraints: 37878
1179.29/1184.16 c #Conflicts: 1249000 | #Constraints: 38963
1179.29/1184.16 c #Conflicts: 1250000 | #Constraints: 40065
1179.29/1184.16 c #Conflicts: 1251000 | #Constraints: 41186
1179.29/1184.16 c #Conflicts: 1252000 | #Constraints: 42288
1179.29/1184.16 c #Conflicts: 1253000 | #Constraints: 43415
1179.29/1184.16 c #Conflicts: 1254000 | #Constraints: 44536
1179.29/1184.16 c #Conflicts: 1255000 | #Constraints: 45652
1179.29/1184.16 c #Conflicts: 1256000 | #Constraints: 46757
1179.29/1184.16 c INPROCESSING
1179.29/1184.16 c GARBAGE COLLECT
1179.29/1184.16 c #Conflicts: 1257000 | #Constraints: 24182
1179.29/1184.16 c #Conflicts: 1258000 | #Constraints: 25301
1179.29/1184.16 c #Conflicts: 1259000 | #Constraints: 26444
1179.29/1184.16 c #Conflicts: 1260000 | #Constraints: 27557
1179.29/1184.16 c #Conflicts: 1261000 | #Constraints: 28695
1179.29/1184.16 c #Conflicts: 1262000 | #Constraints: 29816
1179.29/1184.16 c #Conflicts: 1263000 | #Constraints: 30963
1179.29/1184.16 c #Conflicts: 1264000 | #Constraints: 32066
1179.29/1184.16 c #Conflicts: 1265000 | #Constraints: 33177
1179.29/1184.16 c #Conflicts: 1266000 | #Constraints: 34292
1179.29/1184.16 c #Conflicts: 1267000 | #Constraints: 35474
1179.29/1184.16 c #Conflicts: 1268000 | #Constraints: 36655
1179.29/1184.16 c #Conflicts: 1269000 | #Constraints: 37782
1179.29/1184.16 c #Conflicts: 1270000 | #Constraints: 38869
1179.29/1184.16 c #Conflicts: 1271000 | #Constraints: 39972
1179.29/1184.16 c #Conflicts: 1272000 | #Constraints: 41071
1179.29/1184.16 c #Conflicts: 1273000 | #Constraints: 42208
1179.29/1184.16 c #Conflicts: 1274000 | #Constraints: 43293
1179.29/1184.16 c #Conflicts: 1275000 | #Constraints: 44388
1179.29/1184.16 c #Conflicts: 1276000 | #Constraints: 45526
1179.29/1184.16 c #Conflicts: 1277000 | #Constraints: 46626
1179.29/1184.16 c #Conflicts: 1278000 | #Constraints: 47753
1179.29/1184.16 c #Conflicts: 1279000 | #Constraints: 48903
1179.29/1184.16 c INPROCESSING
1179.29/1184.16 c GARBAGE COLLECT
1179.29/1184.16 c #Conflicts: 1280000 | #Constraints: 25464
1179.29/1184.16 c #Conflicts: 1281000 | #Constraints: 26602
1179.29/1184.16 c #Conflicts: 1282000 | #Constraints: 27735
1179.29/1184.16 c #Conflicts: 1283000 | #Constraints: 28902
1179.29/1184.16 c #Conflicts: 1284000 | #Constraints: 30027
1179.29/1184.16 c #Conflicts: 1285000 | #Constraints: 31160
1179.29/1184.16 c #Conflicts: 1286000 | #Constraints: 32253
1179.29/1184.16 c #Conflicts: 1287000 | #Constraints: 33342
1179.29/1184.16 c #Conflicts: 1288000 | #Constraints: 34445
1179.29/1184.16 c #Conflicts: 1289000 | #Constraints: 35536
1179.29/1184.16 c #Conflicts: 1290000 | #Constraints: 36719
1179.29/1184.16 c #Conflicts: 1291000 | #Constraints: 37912
1179.29/1184.16 c #Conflicts: 1292000 | #Constraints: 39040
1179.29/1184.16 c #Conflicts: 1293000 | #Constraints: 40136
1179.29/1184.16 c #Conflicts: 1294000 | #Constraints: 41242
1179.29/1184.16 c #Conflicts: 1295000 | #Constraints: 42341
1179.29/1184.16 c #Conflicts: 1296000 | #Constraints: 43441
1179.29/1184.16 c #Conflicts: 1297000 | #Constraints: 44547
1179.29/1184.16 c #Conflicts: 1298000 | #Constraints: 45663
1179.29/1184.16 c #Conflicts: 1299000 | #Constraints: 46752
1179.29/1184.16 c #Conflicts: 1300000 | #Constraints: 47847
1179.29/1184.16 c #Conflicts: 1301000 | #Constraints: 48916
1179.29/1184.16 c #Conflicts: 1302000 | #Constraints: 49988
1179.29/1184.16 c INPROCESSING
1179.29/1184.16 c GARBAGE COLLECT
1179.29/1184.16 c #Conflicts: 1303000 | #Constraints: 26107
1179.29/1184.16 c #Conflicts: 1304000 | #Constraints: 27275
1179.29/1184.16 c #Conflicts: 1305000 | #Constraints: 28391
1179.29/1184.16 c #Conflicts: 1306000 | #Constraints: 29510
1179.29/1184.16 c #Conflicts: 1307000 | #Constraints: 30634
1179.29/1184.16 c #Conflicts: 1308000 | #Constraints: 31754
1179.29/1184.16 c #Conflicts: 1309000 | #Constraints: 32898
1179.29/1184.16 c #Conflicts: 1310000 | #Constraints: 34020
1179.29/1184.16 c #Conflicts: 1311000 | #Constraints: 35165
1303.21/1308.51 c #Conflicts: 1312000 | #Constraints: 36286
1303.21/1308.51 c #Conflicts: 1313000 | #Constraints: 37437
1303.21/1308.51 c #Conflicts: 1314000 | #Constraints: 38533
1303.21/1308.51 c #Conflicts: 1315000 | #Constraints: 39632
1303.21/1308.51 c #Conflicts: 1316000 | #Constraints: 40709
1303.21/1308.51 c #Conflicts: 1317000 | #Constraints: 41823
1303.21/1308.51 c #Conflicts: 1318000 | #Constraints: 42939
1303.21/1308.51 c #Conflicts: 1319000 | #Constraints: 44035
1303.21/1308.51 c #Conflicts: 1320000 | #Constraints: 45142
1303.21/1308.51 c #Conflicts: 1321000 | #Constraints: 46245
1303.21/1308.51 c #Conflicts: 1322000 | #Constraints: 47369
1303.21/1308.51 c #Conflicts: 1323000 | #Constraints: 48476
1303.21/1308.51 c #Conflicts: 1324000 | #Constraints: 49607
1303.21/1308.51 c #Conflicts: 1325000 | #Constraints: 50736
1303.21/1308.51 c INPROCESSING
1303.21/1308.51 c GARBAGE COLLECT
1303.21/1308.51 c #Conflicts: 1326000 | #Constraints: 26506
1303.21/1308.51 c #Conflicts: 1327000 | #Constraints: 27634
1303.21/1308.51 c #Conflicts: 1328000 | #Constraints: 28771
1303.21/1308.51 c #Conflicts: 1329000 | #Constraints: 29917
1303.21/1308.51 c #Conflicts: 1330000 | #Constraints: 31034
1303.21/1308.51 c #Conflicts: 1331000 | #Constraints: 32168
1303.21/1308.51 c #Conflicts: 1332000 | #Constraints: 33322
1303.21/1308.51 c #Conflicts: 1333000 | #Constraints: 34455
1303.21/1308.51 c #Conflicts: 1334000 | #Constraints: 35563
1303.21/1308.51 c #Conflicts: 1335000 | #Constraints: 36676
1303.21/1308.51 c #Conflicts: 1336000 | #Constraints: 37763
1303.21/1308.51 c #Conflicts: 1337000 | #Constraints: 38882
1303.21/1308.51 c #Conflicts: 1338000 | #Constraints: 39987
1303.21/1308.51 c #Conflicts: 1339000 | #Constraints: 41090
1303.21/1308.51 c #Conflicts: 1340000 | #Constraints: 42191
1303.21/1308.51 c #Conflicts: 1341000 | #Constraints: 43291
1303.21/1308.51 c #Conflicts: 1342000 | #Constraints: 44418
1303.21/1308.51 c #Conflicts: 1343000 | #Constraints: 45555
1303.21/1308.51 c #Conflicts: 1344000 | #Constraints: 46638
1303.21/1308.51 c #Conflicts: 1345000 | #Constraints: 47754
1303.21/1308.51 c #Conflicts: 1346000 | #Constraints: 48860
1303.21/1308.51 c #Conflicts: 1347000 | #Constraints: 49979
1303.21/1308.51 c #Conflicts: 1348000 | #Constraints: 51093
1303.21/1308.51 c INPROCESSING
1303.21/1308.51 c GARBAGE COLLECT
1303.21/1308.51 c #Conflicts: 1349000 | #Constraints: 26574
1303.21/1308.51 c #Conflicts: 1350000 | #Constraints: 27724
1303.21/1308.51 c #Conflicts: 1351000 | #Constraints: 28845
1303.21/1308.51 c #Conflicts: 1352000 | #Constraints: 29965
1303.21/1308.51 c #Conflicts: 1353000 | #Constraints: 31072
1303.21/1308.51 c #Conflicts: 1354000 | #Constraints: 32183
1303.21/1308.51 c #Conflicts: 1355000 | #Constraints: 33316
1303.21/1308.51 c #Conflicts: 1356000 | #Constraints: 34451
1303.21/1308.51 c #Conflicts: 1357000 | #Constraints: 35584
1303.21/1308.51 c #Conflicts: 1358000 | #Constraints: 36696
1303.21/1308.51 c #Conflicts: 1359000 | #Constraints: 37858
1303.21/1308.51 c #Conflicts: 1360000 | #Constraints: 38939
1303.21/1308.51 c #Conflicts: 1361000 | #Constraints: 40055
1303.21/1308.51 c #Conflicts: 1362000 | #Constraints: 41179
1303.21/1308.51 c #Conflicts: 1363000 | #Constraints: 42293
1303.21/1308.51 c #Conflicts: 1364000 | #Constraints: 43427
1303.21/1308.51 c #Conflicts: 1365000 | #Constraints: 44534
1303.21/1308.51 c #Conflicts: 1366000 | #Constraints: 45699
1303.21/1308.51 c #Conflicts: 1367000 | #Constraints: 46819
1303.21/1308.51 c #Conflicts: 1368000 | #Constraints: 47920
1303.21/1308.51 c #Conflicts: 1369000 | #Constraints: 49043
1303.21/1308.51 c #Conflicts: 1370000 | #Constraints: 50168
1303.21/1308.51 c #Conflicts: 1371000 | #Constraints: 51293
1303.21/1308.51 c INPROCESSING
1303.21/1308.51 c GARBAGE COLLECT
1303.21/1308.51 c #Conflicts: 1372000 | #Constraints: 26474
1303.21/1308.51 c #Conflicts: 1373000 | #Constraints: 27654
1303.21/1308.51 c #Conflicts: 1374000 | #Constraints: 28753
1303.21/1308.51 c #Conflicts: 1375000 | #Constraints: 29841
1303.21/1308.51 c #Conflicts: 1376000 | #Constraints: 30950
1303.21/1308.51 c #Conflicts: 1377000 | #Constraints: 32058
1303.21/1308.51 c #Conflicts: 1378000 | #Constraints: 33175
1303.21/1308.51 c #Conflicts: 1379000 | #Constraints: 34258
1303.21/1308.51 c #Conflicts: 1380000 | #Constraints: 35394
1303.21/1308.51 c #Conflicts: 1381000 | #Constraints: 36502
1303.21/1308.51 c #Conflicts: 1382000 | #Constraints: 37627
1303.21/1308.51 c #Conflicts: 1383000 | #Constraints: 38735
1303.21/1308.51 c #Conflicts: 1384000 | #Constraints: 39836
1303.21/1308.51 c #Conflicts: 1385000 | #Constraints: 40934
1303.21/1308.51 c #Conflicts: 1386000 | #Constraints: 42039
1303.21/1308.51 c #Conflicts: 1387000 | #Constraints: 43196
1303.21/1308.51 c #Conflicts: 1388000 | #Constraints: 44287
1422.92/1428.62 c #Conflicts: 1389000 | #Constraints: 45398
1422.92/1428.62 c #Conflicts: 1390000 | #Constraints: 46527
1422.92/1428.62 c #Conflicts: 1391000 | #Constraints: 47627
1422.92/1428.62 c #Conflicts: 1392000 | #Constraints: 48711
1422.92/1428.62 c #Conflicts: 1393000 | #Constraints: 49814
1422.92/1428.62 c #Conflicts: 1394000 | #Constraints: 50928
1422.92/1428.62 c #Conflicts: 1395000 | #Constraints: 52040
1422.92/1428.62 c INPROCESSING
1422.92/1428.62 c GARBAGE COLLECT
1422.92/1428.62 c #Conflicts: 1396000 | #Constraints: 27036
1422.92/1428.62 c #Conflicts: 1397000 | #Constraints: 28114
1422.92/1428.62 c #Conflicts: 1398000 | #Constraints: 29150
1422.92/1428.62 c #Conflicts: 1399000 | #Constraints: 30267
1422.92/1428.62 c #Conflicts: 1400000 | #Constraints: 31397
1422.92/1428.62 c #Conflicts: 1401000 | #Constraints: 32530
1422.92/1428.62 c #Conflicts: 1402000 | #Constraints: 33674
1422.92/1428.62 c #Conflicts: 1403000 | #Constraints: 34787
1422.92/1428.62 c #Conflicts: 1404000 | #Constraints: 35901
1422.92/1428.62 c #Conflicts: 1405000 | #Constraints: 37027
1422.92/1428.62 c #Conflicts: 1406000 | #Constraints: 38097
1422.92/1428.62 c #Conflicts: 1407000 | #Constraints: 39227
1422.92/1428.62 c #Conflicts: 1408000 | #Constraints: 40304
1422.92/1428.62 c #Conflicts: 1409000 | #Constraints: 41399
1422.92/1428.62 c #Conflicts: 1410000 | #Constraints: 42543
1422.92/1428.62 c #Conflicts: 1411000 | #Constraints: 43658
1422.92/1428.62 c #Conflicts: 1412000 | #Constraints: 44764
1422.92/1428.62 c #Conflicts: 1413000 | #Constraints: 45883
1422.92/1428.62 c #Conflicts: 1414000 | #Constraints: 47002
1422.92/1428.62 c #Conflicts: 1415000 | #Constraints: 48148
1422.92/1428.62 c #Conflicts: 1416000 | #Constraints: 49300
1422.92/1428.62 c #Conflicts: 1417000 | #Constraints: 50469
1422.92/1428.62 c #Conflicts: 1418000 | #Constraints: 51600
1422.92/1428.62 c #Conflicts: 1419000 | #Constraints: 52728
1422.92/1428.62 c INPROCESSING
1422.92/1428.62 c GARBAGE COLLECT
1422.92/1428.62 c #Conflicts: 1420000 | #Constraints: 27529
1422.92/1428.62 c #Conflicts: 1421000 | #Constraints: 28626
1422.92/1428.62 c #Conflicts: 1422000 | #Constraints: 29739
1422.92/1428.62 c #Conflicts: 1423000 | #Constraints: 30869
1422.92/1428.62 c #Conflicts: 1424000 | #Constraints: 31964
1422.92/1428.62 c #Conflicts: 1425000 | #Constraints: 33064
1422.92/1428.62 c #Conflicts: 1426000 | #Constraints: 34181
1422.92/1428.62 c #Conflicts: 1427000 | #Constraints: 35305
1422.92/1428.62 c #Conflicts: 1428000 | #Constraints: 36437
1422.92/1428.62 c #Conflicts: 1429000 | #Constraints: 37559
1422.92/1428.62 c #Conflicts: 1430000 | #Constraints: 38670
1422.92/1428.62 c #Conflicts: 1431000 | #Constraints: 39828
1422.92/1428.62 c #Conflicts: 1432000 | #Constraints: 40959
1422.92/1428.62 c #Conflicts: 1433000 | #Constraints: 42107
1422.92/1428.62 c #Conflicts: 1434000 | #Constraints: 43223
1422.92/1428.62 c #Conflicts: 1435000 | #Constraints: 44330
1422.92/1428.62 c #Conflicts: 1436000 | #Constraints: 45467
1422.92/1428.62 c #Conflicts: 1437000 | #Constraints: 46594
1422.92/1428.62 c #Conflicts: 1438000 | #Constraints: 47720
1422.92/1428.62 c #Conflicts: 1439000 | #Constraints: 48826
1422.92/1428.62 c #Conflicts: 1440000 | #Constraints: 49925
1422.92/1428.62 c #Conflicts: 1441000 | #Constraints: 51037
1422.92/1428.62 c #Conflicts: 1442000 | #Constraints: 52147
1422.92/1428.62 c #Conflicts: 1443000 | #Constraints: 53251
1422.92/1428.62 c INPROCESSING
1422.92/1428.62 c GARBAGE COLLECT
1422.92/1428.62 c #Conflicts: 1444000 | #Constraints: 27735
1422.92/1428.62 c #Conflicts: 1445000 | #Constraints: 28854
1422.92/1428.62 c #Conflicts: 1446000 | #Constraints: 29971
1422.92/1428.62 c #Conflicts: 1447000 | #Constraints: 31079
1422.92/1428.62 c #Conflicts: 1448000 | #Constraints: 32186
1422.92/1428.62 c #Conflicts: 1449000 | #Constraints: 33309
1422.92/1428.62 c #Conflicts: 1450000 | #Constraints: 34419
1422.92/1428.62 c #Conflicts: 1451000 | #Constraints: 35500
1422.92/1428.62 c #Conflicts: 1452000 | #Constraints: 36599
1422.92/1428.62 c #Conflicts: 1453000 | #Constraints: 37688
1422.92/1428.62 c #Conflicts: 1454000 | #Constraints: 38782
1422.92/1428.62 c #Conflicts: 1455000 | #Constraints: 39874
1422.92/1428.62 c #Conflicts: 1456000 | #Constraints: 40975
1422.92/1428.62 c #Conflicts: 1457000 | #Constraints: 42052
1422.92/1428.62 c #Conflicts: 1458000 | #Constraints: 43135
1422.92/1428.62 c #Conflicts: 1459000 | #Constraints: 44217
1422.92/1428.62 c #Conflicts: 1460000 | #Constraints: 45320
1422.92/1428.62 c #Conflicts: 1461000 | #Constraints: 46422
1422.92/1428.62 c #Conflicts: 1462000 | #Constraints: 47533
1422.92/1428.62 c #Conflicts: 1463000 | #Constraints: 48669
1422.92/1428.62 c #Conflicts: 1464000 | #Constraints: 49748
1422.92/1428.62 c #Conflicts: 1465000 | #Constraints: 50883
1550.15/1556.52 c #Conflicts: 1466000 | #Constraints: 52011
1550.15/1556.52 c #Conflicts: 1467000 | #Constraints: 53124
1550.15/1556.52 c INPROCESSING
1550.15/1556.52 c GARBAGE COLLECT
1550.15/1556.52 c #Conflicts: 1468000 | #Constraints: 27573
1550.15/1556.52 c #Conflicts: 1469000 | #Constraints: 28716
1550.15/1556.52 c #Conflicts: 1470000 | #Constraints: 29830
1550.15/1556.52 c #Conflicts: 1471000 | #Constraints: 30933
1550.15/1556.52 c #Conflicts: 1472000 | #Constraints: 32107
1550.15/1556.52 c #Conflicts: 1473000 | #Constraints: 33204
1550.15/1556.52 c #Conflicts: 1474000 | #Constraints: 34281
1550.15/1556.52 c #Conflicts: 1475000 | #Constraints: 35394
1550.15/1556.52 c #Conflicts: 1476000 | #Constraints: 36495
1550.15/1556.52 c #Conflicts: 1477000 | #Constraints: 37595
1550.15/1556.52 c #Conflicts: 1478000 | #Constraints: 38688
1550.15/1556.52 c #Conflicts: 1479000 | #Constraints: 39781
1550.15/1556.52 c #Conflicts: 1480000 | #Constraints: 40878
1550.15/1556.52 c #Conflicts: 1481000 | #Constraints: 41991
1550.15/1556.52 c #Conflicts: 1482000 | #Constraints: 43096
1550.15/1556.52 c #Conflicts: 1483000 | #Constraints: 44265
1550.15/1556.52 c #Conflicts: 1484000 | #Constraints: 45415
1550.15/1556.52 c #Conflicts: 1485000 | #Constraints: 46514
1550.15/1556.52 c #Conflicts: 1486000 | #Constraints: 47639
1550.15/1556.52 c #Conflicts: 1487000 | #Constraints: 48757
1550.15/1556.52 c #Conflicts: 1488000 | #Constraints: 49891
1550.15/1556.52 c #Conflicts: 1489000 | #Constraints: 51038
1550.15/1556.52 c #Conflicts: 1490000 | #Constraints: 52164
1550.15/1556.52 c #Conflicts: 1491000 | #Constraints: 53278
1550.15/1556.52 c INPROCESSING
1550.15/1556.52 c GARBAGE COLLECT
1550.15/1556.52 c #Conflicts: 1492000 | #Constraints: 27430
1550.15/1556.52 c #Conflicts: 1493000 | #Constraints: 28586
1550.15/1556.52 c #Conflicts: 1494000 | #Constraints: 29704
1550.15/1556.52 c #Conflicts: 1495000 | #Constraints: 30833
1550.15/1556.52 c #Conflicts: 1496000 | #Constraints: 31953
1550.15/1556.52 c #Conflicts: 1497000 | #Constraints: 33058
1550.15/1556.52 c #Conflicts: 1498000 | #Constraints: 34130
1550.15/1556.52 c #Conflicts: 1499000 | #Constraints: 35226
1550.15/1556.52 c #Conflicts: 1500000 | #Constraints: 36346
1550.15/1556.52 c #Conflicts: 1501000 | #Constraints: 37448
1550.15/1556.52 c #Conflicts: 1502000 | #Constraints: 38555
1550.15/1556.52 c #Conflicts: 1503000 | #Constraints: 39662
1550.15/1556.52 c #Conflicts: 1504000 | #Constraints: 40790
1550.15/1556.52 c #Conflicts: 1505000 | #Constraints: 41912
1550.15/1556.52 c #Conflicts: 1506000 | #Constraints: 43019
1550.15/1556.52 c #Conflicts: 1507000 | #Constraints: 44131
1550.15/1556.52 c #Conflicts: 1508000 | #Constraints: 45245
1550.15/1556.52 c #Conflicts: 1509000 | #Constraints: 46361
1550.15/1556.52 c #Conflicts: 1510000 | #Constraints: 47490
1550.15/1556.52 c #Conflicts: 1511000 | #Constraints: 48636
1550.15/1556.52 c #Conflicts: 1512000 | #Constraints: 49755
1550.15/1556.52 c #Conflicts: 1513000 | #Constraints: 50873
1550.15/1556.52 c #Conflicts: 1514000 | #Constraints: 52033
1550.15/1556.52 c #Conflicts: 1515000 | #Constraints: 53130
1550.15/1556.52 c #Conflicts: 1516000 | #Constraints: 54222
1550.15/1556.52 c INPROCESSING
1550.15/1556.52 c GARBAGE COLLECT
1550.15/1556.52 c #Conflicts: 1517000 | #Constraints: 28133
1550.15/1556.52 c #Conflicts: 1518000 | #Constraints: 29251
1550.15/1556.52 c #Conflicts: 1519000 | #Constraints: 30348
1550.15/1556.52 c #Conflicts: 1520000 | #Constraints: 31455
1550.15/1556.52 c #Conflicts: 1521000 | #Constraints: 32571
1550.15/1556.52 c #Conflicts: 1522000 | #Constraints: 33718
1550.15/1556.52 c #Conflicts: 1523000 | #Constraints: 34813
1550.15/1556.52 c #Conflicts: 1524000 | #Constraints: 35926
1550.15/1556.52 c #Conflicts: 1525000 | #Constraints: 37025
1550.15/1556.52 c #Conflicts: 1526000 | #Constraints: 38129
1550.15/1556.52 c #Conflicts: 1527000 | #Constraints: 39259
1550.15/1556.52 c #Conflicts: 1528000 | #Constraints: 40391
1550.15/1556.52 c #Conflicts: 1529000 | #Constraints: 41511
1550.15/1556.52 c #Conflicts: 1530000 | #Constraints: 42637
1550.15/1556.52 c #Conflicts: 1531000 | #Constraints: 43794
1550.15/1556.52 c #Conflicts: 1532000 | #Constraints: 44957
1550.15/1556.52 c #Conflicts: 1533000 | #Constraints: 46090
1550.15/1556.52 c #Conflicts: 1534000 | #Constraints: 47199
1550.15/1556.52 c #Conflicts: 1535000 | #Constraints: 48311
1550.15/1556.52 c #Conflicts: 1536000 | #Constraints: 49404
1550.15/1556.52 c #Conflicts: 1537000 | #Constraints: 50546
1550.15/1556.52 c #Conflicts: 1538000 | #Constraints: 51675
1550.15/1556.52 c #Conflicts: 1539000 | #Constraints: 52806
1550.15/1556.52 c #Conflicts: 1540000 | #Constraints: 53923
1550.15/1556.52 c #Conflicts: 1541000 | #Constraints: 55025
1550.15/1556.52 c INPROCESSING
1550.15/1556.52 c GARBAGE COLLECT
1680.35/1687.24 c #Conflicts: 1542000 | #Constraints: 28704
1680.35/1687.24 c #Conflicts: 1543000 | #Constraints: 29863
1680.35/1687.24 c #Conflicts: 1544000 | #Constraints: 31016
1680.35/1687.24 c #Conflicts: 1545000 | #Constraints: 32140
1680.35/1687.24 c #Conflicts: 1546000 | #Constraints: 33240
1680.35/1687.24 c #Conflicts: 1547000 | #Constraints: 34334
1680.35/1687.24 c #Conflicts: 1548000 | #Constraints: 35430
1680.35/1687.24 c #Conflicts: 1549000 | #Constraints: 36514
1680.35/1687.24 c #Conflicts: 1550000 | #Constraints: 37614
1680.35/1687.24 c #Conflicts: 1551000 | #Constraints: 38715
1680.35/1687.24 c #Conflicts: 1552000 | #Constraints: 39803
1680.35/1687.24 c #Conflicts: 1553000 | #Constraints: 40893
1680.35/1687.24 c #Conflicts: 1554000 | #Constraints: 41986
1680.35/1687.24 c #Conflicts: 1555000 | #Constraints: 43057
1680.35/1687.24 c #Conflicts: 1556000 | #Constraints: 44144
1680.35/1687.24 c #Conflicts: 1557000 | #Constraints: 45257
1680.35/1687.24 c #Conflicts: 1558000 | #Constraints: 46358
1680.35/1687.24 c #Conflicts: 1559000 | #Constraints: 47451
1680.35/1687.24 c #Conflicts: 1560000 | #Constraints: 48551
1680.35/1687.24 c #Conflicts: 1561000 | #Constraints: 49664
1680.35/1687.24 c #Conflicts: 1562000 | #Constraints: 50755
1680.35/1687.24 c #Conflicts: 1563000 | #Constraints: 51851
1680.35/1687.24 c #Conflicts: 1564000 | #Constraints: 52948
1680.35/1687.24 c #Conflicts: 1565000 | #Constraints: 54064
1680.35/1687.24 c #Conflicts: 1566000 | #Constraints: 55160
1680.35/1687.24 c INPROCESSING
1680.35/1687.24 c GARBAGE COLLECT
1680.35/1687.24 c #Conflicts: 1567000 | #Constraints: 28703
1680.35/1687.24 c #Conflicts: 1568000 | #Constraints: 29846
1680.35/1687.24 c #Conflicts: 1569000 | #Constraints: 30979
1680.35/1687.24 c #Conflicts: 1570000 | #Constraints: 32119
1680.35/1687.24 c #Conflicts: 1571000 | #Constraints: 33278
1680.35/1687.24 c #Conflicts: 1572000 | #Constraints: 34413
1680.35/1687.24 c #Conflicts: 1573000 | #Constraints: 35561
1680.35/1687.24 c #Conflicts: 1574000 | #Constraints: 36695
1680.35/1687.24 c #Conflicts: 1575000 | #Constraints: 37876
1680.35/1687.24 c #Conflicts: 1576000 | #Constraints: 39011
1680.35/1687.24 c #Conflicts: 1577000 | #Constraints: 40139
1680.35/1687.24 c #Conflicts: 1578000 | #Constraints: 41302
1680.35/1687.24 c #Conflicts: 1579000 | #Constraints: 42444
1680.35/1687.24 c #Conflicts: 1580000 | #Constraints: 43578
1680.35/1687.24 c #Conflicts: 1581000 | #Constraints: 44709
1680.35/1687.24 c #Conflicts: 1582000 | #Constraints: 45857
1680.35/1687.24 c #Conflicts: 1583000 | #Constraints: 47006
1680.35/1687.24 c #Conflicts: 1584000 | #Constraints: 48151
1680.35/1687.24 c #Conflicts: 1585000 | #Constraints: 49313
1680.35/1687.24 c #Conflicts: 1586000 | #Constraints: 50493
1680.35/1687.24 c #Conflicts: 1587000 | #Constraints: 51639
1680.35/1687.24 c #Conflicts: 1588000 | #Constraints: 52811
1680.35/1687.24 c #Conflicts: 1589000 | #Constraints: 53952
1680.35/1687.24 c #Conflicts: 1590000 | #Constraints: 55066
1680.35/1687.24 c #Conflicts: 1591000 | #Constraints: 56175
1680.35/1687.24 c INPROCESSING
1680.35/1687.24 c GARBAGE COLLECT
1680.35/1687.24 c #Conflicts: 1592000 | #Constraints: 29128
1680.35/1687.24 c #Conflicts: 1593000 | #Constraints: 30289
1680.35/1687.24 c #Conflicts: 1594000 | #Constraints: 31501
1680.35/1687.24 c #Conflicts: 1595000 | #Constraints: 32686
1680.35/1687.24 c #Conflicts: 1596000 | #Constraints: 33854
1680.35/1687.24 c #Conflicts: 1597000 | #Constraints: 35025
1680.35/1687.24 c #Conflicts: 1598000 | #Constraints: 36186
1680.35/1687.24 c #Conflicts: 1599000 | #Constraints: 37339
1680.35/1687.24 c #Conflicts: 1600000 | #Constraints: 38506
1680.35/1687.24 c #Conflicts: 1601000 | #Constraints: 39673
1680.35/1687.24 c #Conflicts: 1602000 | #Constraints: 40862
1680.35/1687.24 c #Conflicts: 1603000 | #Constraints: 41996
1680.35/1687.24 c #Conflicts: 1604000 | #Constraints: 43164
1680.35/1687.24 c #Conflicts: 1605000 | #Constraints: 44320
1680.35/1687.24 c #Conflicts: 1606000 | #Constraints: 45519
1680.35/1687.24 c #Conflicts: 1607000 | #Constraints: 46686
1680.35/1687.24 c #Conflicts: 1608000 | #Constraints: 47861
1680.35/1687.24 c #Conflicts: 1609000 | #Constraints: 49036
1680.35/1687.24 c #Conflicts: 1610000 | #Constraints: 50237
1680.35/1687.24 c #Conflicts: 1611000 | #Constraints: 51396
1680.35/1687.24 c #Conflicts: 1612000 | #Constraints: 52521
1680.35/1687.24 c #Conflicts: 1613000 | #Constraints: 53672
1680.35/1687.24 c #Conflicts: 1614000 | #Constraints: 54839
1680.35/1687.24 c #Conflicts: 1615000 | #Constraints: 55971
1680.35/1687.24 c #Conflicts: 1616000 | #Constraints: 57153
1680.35/1687.24 c INPROCESSING
1680.35/1687.24 c GARBAGE COLLECT
1680.35/1687.24 c #Conflicts: 1617000 | #Constraints: 29376
1680.35/1687.24 c #Conflicts: 1618000 | #Constraints: 30492
1830.33/1837.87 c #Conflicts: 1619000 | #Constraints: 31596
1830.33/1837.87 c #Conflicts: 1620000 | #Constraints: 32712
1830.33/1837.87 c #Conflicts: 1621000 | #Constraints: 33836
1830.33/1837.87 c #Conflicts: 1622000 | #Constraints: 34961
1830.33/1837.87 c #Conflicts: 1623000 | #Constraints: 36070
1830.33/1837.87 c #Conflicts: 1624000 | #Constraints: 37167
1830.33/1837.87 c #Conflicts: 1625000 | #Constraints: 38283
1830.33/1837.87 c #Conflicts: 1626000 | #Constraints: 39389
1830.33/1837.87 c #Conflicts: 1627000 | #Constraints: 40503
1830.33/1837.87 c #Conflicts: 1628000 | #Constraints: 41603
1830.33/1837.87 c #Conflicts: 1629000 | #Constraints: 42691
1830.33/1837.87 c #Conflicts: 1630000 | #Constraints: 43800
1830.33/1837.87 c #Conflicts: 1631000 | #Constraints: 44911
1830.33/1837.87 c #Conflicts: 1632000 | #Constraints: 46013
1830.33/1837.87 c #Conflicts: 1633000 | #Constraints: 47110
1830.33/1837.87 c #Conflicts: 1634000 | #Constraints: 48217
1830.33/1837.87 c #Conflicts: 1635000 | #Constraints: 49327
1830.33/1837.87 c #Conflicts: 1636000 | #Constraints: 50450
1830.33/1837.87 c #Conflicts: 1637000 | #Constraints: 51549
1830.33/1837.87 c #Conflicts: 1638000 | #Constraints: 52649
1830.33/1837.87 c #Conflicts: 1639000 | #Constraints: 53754
1830.33/1837.87 c #Conflicts: 1640000 | #Constraints: 54856
1830.33/1837.87 c #Conflicts: 1641000 | #Constraints: 55992
1830.33/1837.87 c #Conflicts: 1642000 | #Constraints: 57087
1830.33/1837.87 c INPROCESSING
1830.33/1837.87 c GARBAGE COLLECT
1830.33/1837.87 c #Conflicts: 1643000 | #Constraints: 29640
1830.33/1837.87 c #Conflicts: 1644000 | #Constraints: 30782
1830.33/1837.87 c #Conflicts: 1645000 | #Constraints: 31895
1830.33/1837.87 c #Conflicts: 1646000 | #Constraints: 33014
1830.33/1837.87 c #Conflicts: 1647000 | #Constraints: 34129
1830.33/1837.87 c #Conflicts: 1648000 | #Constraints: 35223
1830.33/1837.87 c #Conflicts: 1649000 | #Constraints: 36318
1830.33/1837.87 c #Conflicts: 1650000 | #Constraints: 37422
1830.33/1837.87 c #Conflicts: 1651000 | #Constraints: 38586
1830.33/1837.87 c #Conflicts: 1652000 | #Constraints: 39698
1830.33/1837.87 c #Conflicts: 1653000 | #Constraints: 40778
1830.33/1837.87 c #Conflicts: 1654000 | #Constraints: 41893
1830.33/1837.87 c #Conflicts: 1655000 | #Constraints: 42994
1830.33/1837.87 c #Conflicts: 1656000 | #Constraints: 44076
1830.33/1837.87 c #Conflicts: 1657000 | #Constraints: 45176
1830.33/1837.87 c #Conflicts: 1658000 | #Constraints: 46273
1830.33/1837.87 c #Conflicts: 1659000 | #Constraints: 47384
1830.33/1837.87 c #Conflicts: 1660000 | #Constraints: 48488
1830.33/1837.87 c #Conflicts: 1661000 | #Constraints: 49602
1830.33/1837.87 c #Conflicts: 1662000 | #Constraints: 50729
1830.33/1837.87 c #Conflicts: 1663000 | #Constraints: 51849
1830.33/1837.87 c #Conflicts: 1664000 | #Constraints: 52956
1830.33/1837.87 c #Conflicts: 1665000 | #Constraints: 54105
1830.33/1837.87 c #Conflicts: 1666000 | #Constraints: 55233
1830.33/1837.87 c #Conflicts: 1667000 | #Constraints: 56336
1830.33/1837.87 c #Conflicts: 1668000 | #Constraints: 57453
1830.33/1837.87 c INPROCESSING
1830.33/1837.87 c GARBAGE COLLECT
1830.33/1837.87 c #Conflicts: 1669000 | #Constraints: 29850
1830.33/1837.87 c #Conflicts: 1670000 | #Constraints: 30950
1830.33/1837.87 c #Conflicts: 1671000 | #Constraints: 32085
1830.33/1837.87 c #Conflicts: 1672000 | #Constraints: 33217
1830.33/1837.87 c #Conflicts: 1673000 | #Constraints: 34334
1830.33/1837.87 c #Conflicts: 1674000 | #Constraints: 35433
1830.33/1837.87 c #Conflicts: 1675000 | #Constraints: 36532
1830.33/1837.87 c #Conflicts: 1676000 | #Constraints: 37666
1830.33/1837.87 c #Conflicts: 1677000 | #Constraints: 38760
1830.33/1837.87 c #Conflicts: 1678000 | #Constraints: 39846
1830.33/1837.87 c #Conflicts: 1679000 | #Constraints: 40958
1830.33/1837.87 c #Conflicts: 1680000 | #Constraints: 42095
1830.33/1837.87 c #Conflicts: 1681000 | #Constraints: 43217
1830.33/1837.87 c #Conflicts: 1682000 | #Constraints: 44367
1830.33/1837.87 c #Conflicts: 1683000 | #Constraints: 45505
1830.33/1837.87 c #Conflicts: 1684000 | #Constraints: 46630
1830.33/1837.87 c #Conflicts: 1685000 | #Constraints: 47758
1830.33/1837.87 c #Conflicts: 1686000 | #Constraints: 48913
1830.33/1837.87 c #Conflicts: 1687000 | #Constraints: 50001
1830.33/1837.87 c #Conflicts: 1688000 | #Constraints: 51105
1830.33/1837.87 c #Conflicts: 1689000 | #Constraints: 52224
1830.33/1837.87 c #Conflicts: 1690000 | #Constraints: 53353
1830.33/1837.87 c #Conflicts: 1691000 | #Constraints: 54471
1830.33/1837.87 c #Conflicts: 1692000 | #Constraints: 55593
1830.33/1837.87 c #Conflicts: 1693000 | #Constraints: 56709
1830.33/1837.87 c #Conflicts: 1694000 | #Constraints: 57841
1830.33/1837.87 c INPROCESSING
1830.33/1837.87 c GARBAGE COLLECT
1830.33/1837.87 c #Conflicts: 1695000 | #Constraints: 30072
1976.74/1984.85 c #Conflicts: 1696000 | #Constraints: 31155
1976.74/1984.85 c #Conflicts: 1697000 | #Constraints: 32282
1976.74/1984.85 c #Conflicts: 1698000 | #Constraints: 33392
1976.74/1984.85 c #Conflicts: 1699000 | #Constraints: 34490
1976.74/1984.85 c #Conflicts: 1700000 | #Constraints: 35603
1976.74/1984.85 c #Conflicts: 1701000 | #Constraints: 36728
1976.74/1984.85 c #Conflicts: 1702000 | #Constraints: 37900
1976.74/1984.85 c #Conflicts: 1703000 | #Constraints: 39039
1976.74/1984.85 c #Conflicts: 1704000 | #Constraints: 40190
1976.74/1984.85 c #Conflicts: 1705000 | #Constraints: 41286
1976.74/1984.85 c #Conflicts: 1706000 | #Constraints: 42394
1976.74/1984.85 c #Conflicts: 1707000 | #Constraints: 43524
1976.74/1984.85 c #Conflicts: 1708000 | #Constraints: 44632
1976.74/1984.85 c #Conflicts: 1709000 | #Constraints: 45747
1976.74/1984.85 c #Conflicts: 1710000 | #Constraints: 46848
1976.74/1984.85 c #Conflicts: 1711000 | #Constraints: 47961
1976.74/1984.85 c #Conflicts: 1712000 | #Constraints: 49039
1976.74/1984.85 c #Conflicts: 1713000 | #Constraints: 50105
1976.74/1984.85 c #Conflicts: 1714000 | #Constraints: 51161
1976.74/1984.85 c #Conflicts: 1715000 | #Constraints: 52283
1976.74/1984.85 c #Conflicts: 1716000 | #Constraints: 53374
1976.74/1984.85 c #Conflicts: 1717000 | #Constraints: 54498
1976.74/1984.85 c #Conflicts: 1718000 | #Constraints: 55632
1976.74/1984.85 c #Conflicts: 1719000 | #Constraints: 56739
1976.74/1984.85 c #Conflicts: 1720000 | #Constraints: 57902
1976.74/1984.85 c INPROCESSING
1976.74/1984.85 c GARBAGE COLLECT
1976.74/1984.85 c #Conflicts: 1721000 | #Constraints: 29982
1976.74/1984.85 c #Conflicts: 1722000 | #Constraints: 31150
1976.74/1984.85 c #Conflicts: 1723000 | #Constraints: 32328
1976.74/1984.85 c #Conflicts: 1724000 | #Constraints: 33439
1976.74/1984.85 c #Conflicts: 1725000 | #Constraints: 34528
1976.74/1984.85 c #Conflicts: 1726000 | #Constraints: 35632
1976.74/1984.85 c #Conflicts: 1727000 | #Constraints: 36728
1976.74/1984.85 c #Conflicts: 1728000 | #Constraints: 37820
1976.74/1984.85 c #Conflicts: 1729000 | #Constraints: 38905
1976.74/1984.85 c #Conflicts: 1730000 | #Constraints: 40005
1976.74/1984.85 c #Conflicts: 1731000 | #Constraints: 41114
1976.74/1984.85 c #Conflicts: 1732000 | #Constraints: 42224
1976.74/1984.85 c #Conflicts: 1733000 | #Constraints: 43325
1976.74/1984.85 c #Conflicts: 1734000 | #Constraints: 44428
1976.74/1984.85 c #Conflicts: 1735000 | #Constraints: 45555
1976.74/1984.85 c #Conflicts: 1736000 | #Constraints: 46683
1976.74/1984.85 c #Conflicts: 1737000 | #Constraints: 47806
1976.74/1984.85 c #Conflicts: 1738000 | #Constraints: 48914
1976.74/1984.85 c #Conflicts: 1739000 | #Constraints: 50041
1976.74/1984.85 c #Conflicts: 1740000 | #Constraints: 51166
1976.74/1984.85 c #Conflicts: 1741000 | #Constraints: 52286
1976.74/1984.85 c #Conflicts: 1742000 | #Constraints: 53424
1976.74/1984.85 c #Conflicts: 1743000 | #Constraints: 54534
1976.74/1984.85 c #Conflicts: 1744000 | #Constraints: 55664
1976.74/1984.85 c #Conflicts: 1745000 | #Constraints: 56772
1976.74/1984.85 c #Conflicts: 1746000 | #Constraints: 57887
1976.74/1984.85 c INPROCESSING
1976.74/1984.85 c GARBAGE COLLECT
1976.74/1984.85 c #Conflicts: 1747000 | #Constraints: 29711
1976.74/1984.85 c #Conflicts: 1748000 | #Constraints: 30872
1976.74/1984.85 c #Conflicts: 1749000 | #Constraints: 32037
1976.74/1984.85 c #Conflicts: 1750000 | #Constraints: 33132
1976.74/1984.85 c #Conflicts: 1751000 | #Constraints: 34228
1976.74/1984.85 c #Conflicts: 1752000 | #Constraints: 35381
1976.74/1984.85 c #Conflicts: 1753000 | #Constraints: 36572
1976.74/1984.85 c #Conflicts: 1754000 | #Constraints: 37691
1976.74/1984.85 c #Conflicts: 1755000 | #Constraints: 38805
1976.74/1984.85 c #Conflicts: 1756000 | #Constraints: 39925
1976.74/1984.85 c #Conflicts: 1757000 | #Constraints: 41069
1976.74/1984.85 c #Conflicts: 1758000 | #Constraints: 42195
1976.74/1984.85 c #Conflicts: 1759000 | #Constraints: 43306
1976.74/1984.85 c #Conflicts: 1760000 | #Constraints: 44458
1976.74/1984.85 c #Conflicts: 1761000 | #Constraints: 45609
1976.74/1984.85 c #Conflicts: 1762000 | #Constraints: 46723
1976.74/1984.85 c #Conflicts: 1763000 | #Constraints: 47862
1976.74/1984.85 c #Conflicts: 1764000 | #Constraints: 48972
1976.74/1984.85 c #Conflicts: 1765000 | #Constraints: 50102
1976.74/1984.85 c #Conflicts: 1766000 | #Constraints: 51210
1976.74/1984.85 c #Conflicts: 1767000 | #Constraints: 52304
1976.74/1984.85 c #Conflicts: 1768000 | #Constraints: 53412
1976.74/1984.85 c #Conflicts: 1769000 | #Constraints: 54558
1976.74/1984.85 c #Conflicts: 1770000 | #Constraints: 55704
1976.74/1984.85 c #Conflicts: 1771000 | #Constraints: 56804
1976.74/1984.85 c #Conflicts: 1772000 | #Constraints: 57921
1976.74/1984.85 c #Conflicts: 1773000 | #Constraints: 58958
2124.73/2133.48 c INPROCESSING
2124.73/2133.48 c GARBAGE COLLECT
2124.73/2133.48 c #Conflicts: 1774000 | #Constraints: 30491
2124.73/2133.48 c #Conflicts: 1775000 | #Constraints: 31654
2124.73/2133.48 c #Conflicts: 1776000 | #Constraints: 32764
2124.73/2133.48 c #Conflicts: 1777000 | #Constraints: 33874
2124.73/2133.48 c #Conflicts: 1778000 | #Constraints: 34974
2124.73/2133.48 c #Conflicts: 1779000 | #Constraints: 36076
2124.73/2133.48 c #Conflicts: 1780000 | #Constraints: 37181
2124.73/2133.48 c #Conflicts: 1781000 | #Constraints: 38313
2124.73/2133.48 c #Conflicts: 1782000 | #Constraints: 39415
2124.73/2133.48 c #Conflicts: 1783000 | #Constraints: 40503
2124.73/2133.48 c #Conflicts: 1784000 | #Constraints: 41619
2124.73/2133.48 c #Conflicts: 1785000 | #Constraints: 42728
2124.73/2133.48 c #Conflicts: 1786000 | #Constraints: 43841
2124.73/2133.48 c #Conflicts: 1787000 | #Constraints: 44957
2124.73/2133.48 c #Conflicts: 1788000 | #Constraints: 46089
2124.73/2133.48 c #Conflicts: 1789000 | #Constraints: 47190
2124.73/2133.48 c #Conflicts: 1790000 | #Constraints: 48307
2124.73/2133.48 c #Conflicts: 1791000 | #Constraints: 49427
2124.73/2133.48 c #Conflicts: 1792000 | #Constraints: 50541
2124.73/2133.48 c #Conflicts: 1793000 | #Constraints: 51650
2124.73/2133.48 c #Conflicts: 1794000 | #Constraints: 52835
2124.73/2133.48 c #Conflicts: 1795000 | #Constraints: 54008
2124.73/2133.48 c #Conflicts: 1796000 | #Constraints: 55131
2124.73/2133.48 c #Conflicts: 1797000 | #Constraints: 56236
2124.73/2133.48 c #Conflicts: 1798000 | #Constraints: 57340
2124.73/2133.48 c #Conflicts: 1799000 | #Constraints: 58472
2124.73/2133.48 c #Conflicts: 1800000 | #Constraints: 59585
2124.73/2133.48 c INPROCESSING
2124.73/2133.48 c GARBAGE COLLECT
2124.73/2133.48 c #Conflicts: 1801000 | #Constraints: 30915
2124.73/2133.48 c #Conflicts: 1802000 | #Constraints: 32040
2124.73/2133.48 c #Conflicts: 1803000 | #Constraints: 33162
2124.73/2133.48 c #Conflicts: 1804000 | #Constraints: 34303
2124.73/2133.48 c #Conflicts: 1805000 | #Constraints: 35446
2124.73/2133.48 c #Conflicts: 1806000 | #Constraints: 36592
2124.73/2133.48 c #Conflicts: 1807000 | #Constraints: 37735
2124.73/2133.48 c #Conflicts: 1808000 | #Constraints: 38862
2124.73/2133.48 c #Conflicts: 1809000 | #Constraints: 39985
2124.73/2133.48 c #Conflicts: 1810000 | #Constraints: 41116
2124.73/2133.48 c #Conflicts: 1811000 | #Constraints: 42232
2124.73/2133.48 c #Conflicts: 1812000 | #Constraints: 43357
2124.73/2133.48 c #Conflicts: 1813000 | #Constraints: 44476
2124.73/2133.48 c #Conflicts: 1814000 | #Constraints: 45597
2124.73/2133.48 c #Conflicts: 1815000 | #Constraints: 46715
2124.73/2133.48 c #Conflicts: 1816000 | #Constraints: 47854
2124.73/2133.48 c #Conflicts: 1817000 | #Constraints: 48990
2124.73/2133.48 c #Conflicts: 1818000 | #Constraints: 50080
2124.73/2133.48 c #Conflicts: 1819000 | #Constraints: 51176
2124.73/2133.48 c #Conflicts: 1820000 | #Constraints: 52262
2124.73/2133.48 c #Conflicts: 1821000 | #Constraints: 53373
2124.73/2133.48 c #Conflicts: 1822000 | #Constraints: 54484
2124.73/2133.48 c #Conflicts: 1823000 | #Constraints: 55601
2124.73/2133.48 c #Conflicts: 1824000 | #Constraints: 56713
2124.73/2133.48 c #Conflicts: 1825000 | #Constraints: 57811
2124.73/2133.48 c #Conflicts: 1826000 | #Constraints: 58936
2124.73/2133.48 c #Conflicts: 1827000 | #Constraints: 60066
2124.73/2133.48 c INPROCESSING
2124.73/2133.48 c GARBAGE COLLECT
2124.73/2133.48 c #Conflicts: 1828000 | #Constraints: 31144
2124.73/2133.48 c #Conflicts: 1829000 | #Constraints: 32246
2124.73/2133.48 c #Conflicts: 1830000 | #Constraints: 33350
2124.73/2133.48 c #Conflicts: 1831000 | #Constraints: 34432
2124.73/2133.48 c #Conflicts: 1832000 | #Constraints: 35495
2124.73/2133.48 c #Conflicts: 1833000 | #Constraints: 36617
2124.73/2133.48 c #Conflicts: 1834000 | #Constraints: 37723
2124.73/2133.48 c #Conflicts: 1835000 | #Constraints: 38844
2124.73/2133.48 c #Conflicts: 1836000 | #Constraints: 39937
2124.73/2133.48 c #Conflicts: 1837000 | #Constraints: 41023
2124.73/2133.48 c #Conflicts: 1838000 | #Constraints: 42130
2124.73/2133.48 c #Conflicts: 1839000 | #Constraints: 43235
2124.73/2133.48 c #Conflicts: 1840000 | #Constraints: 44338
2124.73/2133.48 c #Conflicts: 1841000 | #Constraints: 45446
2124.73/2133.48 c #Conflicts: 1842000 | #Constraints: 46544
2124.73/2133.48 c #Conflicts: 1843000 | #Constraints: 47657
2124.73/2133.48 c #Conflicts: 1844000 | #Constraints: 48762
2124.73/2133.48 c #Conflicts: 1845000 | #Constraints: 49883
2124.73/2133.48 c #Conflicts: 1846000 | #Constraints: 51001
2124.73/2133.48 c #Conflicts: 1847000 | #Constraints: 52106
2124.73/2133.48 c #Conflicts: 1848000 | #Constraints: 53223
2124.73/2133.48 c #Conflicts: 1849000 | #Constraints: 54352
2271.95/2281.16 c #Conflicts: 1850000 | #Constraints: 55478
2271.95/2281.16 c #Conflicts: 1851000 | #Constraints: 56623
2271.95/2281.16 c #Conflicts: 1852000 | #Constraints: 57758
2271.95/2281.16 c #Conflicts: 1853000 | #Constraints: 58930
2271.95/2281.16 c #Conflicts: 1854000 | #Constraints: 60065
2271.95/2281.16 c INPROCESSING
2271.95/2281.16 c GARBAGE COLLECT
2271.95/2281.16 c #Conflicts: 1855000 | #Constraints: 31046
2271.95/2281.16 c #Conflicts: 1856000 | #Constraints: 32156
2271.95/2281.16 c #Conflicts: 1857000 | #Constraints: 33259
2271.95/2281.16 c #Conflicts: 1858000 | #Constraints: 34384
2271.95/2281.16 c #Conflicts: 1859000 | #Constraints: 35481
2271.95/2281.16 c #Conflicts: 1860000 | #Constraints: 36572
2271.95/2281.16 c #Conflicts: 1861000 | #Constraints: 37681
2271.95/2281.16 c #Conflicts: 1862000 | #Constraints: 38779
2271.95/2281.16 c #Conflicts: 1863000 | #Constraints: 39915
2271.95/2281.16 c #Conflicts: 1864000 | #Constraints: 41036
2271.95/2281.16 c #Conflicts: 1865000 | #Constraints: 42173
2271.95/2281.16 c #Conflicts: 1866000 | #Constraints: 43308
2271.95/2281.16 c #Conflicts: 1867000 | #Constraints: 44405
2271.95/2281.16 c #Conflicts: 1868000 | #Constraints: 45513
2271.95/2281.16 c #Conflicts: 1869000 | #Constraints: 46589
2271.95/2281.16 c #Conflicts: 1870000 | #Constraints: 47703
2271.95/2281.16 c #Conflicts: 1871000 | #Constraints: 48806
2271.95/2281.16 c #Conflicts: 1872000 | #Constraints: 49925
2271.95/2281.16 c #Conflicts: 1873000 | #Constraints: 51029
2271.95/2281.16 c #Conflicts: 1874000 | #Constraints: 52137
2271.95/2281.16 c #Conflicts: 1875000 | #Constraints: 53263
2271.95/2281.16 c #Conflicts: 1876000 | #Constraints: 54379
2271.95/2281.16 c #Conflicts: 1877000 | #Constraints: 55475
2271.95/2281.16 c #Conflicts: 1878000 | #Constraints: 56608
2271.95/2281.16 c #Conflicts: 1879000 | #Constraints: 57731
2271.95/2281.16 c #Conflicts: 1880000 | #Constraints: 58825
2271.95/2281.16 c #Conflicts: 1881000 | #Constraints: 59965
2271.95/2281.16 c INPROCESSING
2271.95/2281.16 c GARBAGE COLLECT
2271.95/2281.16 c #Conflicts: 1882000 | #Constraints: 30765
2271.95/2281.16 c #Conflicts: 1883000 | #Constraints: 31857
2271.95/2281.16 c #Conflicts: 1884000 | #Constraints: 32954
2271.95/2281.16 c #Conflicts: 1885000 | #Constraints: 34148
2271.95/2281.16 c #Conflicts: 1886000 | #Constraints: 35247
2271.95/2281.16 c #Conflicts: 1887000 | #Constraints: 36346
2271.95/2281.16 c #Conflicts: 1888000 | #Constraints: 37443
2271.95/2281.16 c #Conflicts: 1889000 | #Constraints: 38559
2271.95/2281.16 c #Conflicts: 1890000 | #Constraints: 39671
2271.95/2281.16 c #Conflicts: 1891000 | #Constraints: 40782
2271.95/2281.16 c #Conflicts: 1892000 | #Constraints: 41891
2271.95/2281.16 c #Conflicts: 1893000 | #Constraints: 43000
2271.95/2281.16 c #Conflicts: 1894000 | #Constraints: 44124
2271.95/2281.16 c #Conflicts: 1895000 | #Constraints: 45261
2271.95/2281.16 c #Conflicts: 1896000 | #Constraints: 46365
2271.95/2281.16 c #Conflicts: 1897000 | #Constraints: 47464
2271.95/2281.16 c #Conflicts: 1898000 | #Constraints: 48565
2271.95/2281.16 c #Conflicts: 1899000 | #Constraints: 49676
2271.95/2281.16 c #Conflicts: 1900000 | #Constraints: 50778
2271.95/2281.16 c #Conflicts: 1901000 | #Constraints: 51911
2271.95/2281.16 c #Conflicts: 1902000 | #Constraints: 53050
2271.95/2281.16 c #Conflicts: 1903000 | #Constraints: 54154
2271.95/2281.16 c #Conflicts: 1904000 | #Constraints: 55242
2271.95/2281.16 c #Conflicts: 1905000 | #Constraints: 56382
2271.95/2281.16 c #Conflicts: 1906000 | #Constraints: 57552
2271.95/2281.16 c #Conflicts: 1907000 | #Constraints: 58712
2271.95/2281.16 c #Conflicts: 1908000 | #Constraints: 59880
2271.95/2281.16 c #Conflicts: 1909000 | #Constraints: 61017
2271.95/2281.16 c INPROCESSING
2271.95/2281.16 c GARBAGE COLLECT
2271.95/2281.16 c #Conflicts: 1910000 | #Constraints: 31611
2271.95/2281.16 c #Conflicts: 1911000 | #Constraints: 32776
2271.95/2281.16 c #Conflicts: 1912000 | #Constraints: 33945
2271.95/2281.16 c #Conflicts: 1913000 | #Constraints: 35069
2271.95/2281.16 c #Conflicts: 1914000 | #Constraints: 36216
2271.95/2281.16 c #Conflicts: 1915000 | #Constraints: 37436
2271.95/2281.16 c #Conflicts: 1916000 | #Constraints: 38598
2271.95/2281.16 c #Conflicts: 1917000 | #Constraints: 39714
2271.95/2281.16 c #Conflicts: 1918000 | #Constraints: 40823
2271.95/2281.16 c #Conflicts: 1919000 | #Constraints: 41908
2271.95/2281.16 c #Conflicts: 1920000 | #Constraints: 43009
2271.95/2281.16 c #Conflicts: 1921000 | #Constraints: 44136
2271.95/2281.16 c #Conflicts: 1922000 | #Constraints: 45304
2271.95/2281.16 c #Conflicts: 1923000 | #Constraints: 46395
2271.95/2281.16 c #Conflicts: 1924000 | #Constraints: 47516
2271.95/2281.16 c #Conflicts: 1925000 | #Constraints: 48640
2271.95/2281.16 c #Conflicts: 1926000 | #Constraints: 49770
2432.98/2442.76 c #Conflicts: 1927000 | #Constraints: 50888
2432.98/2442.76 c #Conflicts: 1928000 | #Constraints: 52001
2432.98/2442.76 c #Conflicts: 1929000 | #Constraints: 53114
2432.98/2442.76 c #Conflicts: 1930000 | #Constraints: 54218
2432.98/2442.76 c #Conflicts: 1931000 | #Constraints: 55334
2432.98/2442.76 c #Conflicts: 1932000 | #Constraints: 56454
2432.98/2442.76 c #Conflicts: 1933000 | #Constraints: 57559
2432.98/2442.76 c #Conflicts: 1934000 | #Constraints: 58672
2432.98/2442.76 c #Conflicts: 1935000 | #Constraints: 59791
2432.98/2442.76 c #Conflicts: 1936000 | #Constraints: 60926
2432.98/2442.76 c #Conflicts: 1937000 | #Constraints: 62061
2432.98/2442.76 c INPROCESSING
2432.98/2442.76 c GARBAGE COLLECT
2432.98/2442.76 c #Conflicts: 1938000 | #Constraints: 32170
2432.98/2442.76 c #Conflicts: 1939000 | #Constraints: 33282
2432.98/2442.76 c #Conflicts: 1940000 | #Constraints: 34404
2432.98/2442.76 c #Conflicts: 1941000 | #Constraints: 35554
2432.98/2442.76 c #Conflicts: 1942000 | #Constraints: 36646
2432.98/2442.76 c #Conflicts: 1943000 | #Constraints: 37745
2432.98/2442.76 c #Conflicts: 1944000 | #Constraints: 38871
2432.98/2442.76 c #Conflicts: 1945000 | #Constraints: 40024
2432.98/2442.76 c #Conflicts: 1946000 | #Constraints: 41211
2432.98/2442.76 c #Conflicts: 1947000 | #Constraints: 42328
2432.98/2442.76 c #Conflicts: 1948000 | #Constraints: 43433
2432.98/2442.76 c #Conflicts: 1949000 | #Constraints: 44542
2432.98/2442.76 c #Conflicts: 1950000 | #Constraints: 45634
2432.98/2442.76 c #Conflicts: 1951000 | #Constraints: 46717
2432.98/2442.76 c #Conflicts: 1952000 | #Constraints: 47816
2432.98/2442.76 c #Conflicts: 1953000 | #Constraints: 48956
2432.98/2442.76 c #Conflicts: 1954000 | #Constraints: 50120
2432.98/2442.76 c #Conflicts: 1955000 | #Constraints: 51229
2432.98/2442.76 c #Conflicts: 1956000 | #Constraints: 52353
2432.98/2442.76 c #Conflicts: 1957000 | #Constraints: 53459
2432.98/2442.76 c #Conflicts: 1958000 | #Constraints: 54555
2432.98/2442.76 c #Conflicts: 1959000 | #Constraints: 55654
2432.98/2442.76 c #Conflicts: 1960000 | #Constraints: 56744
2432.98/2442.76 c #Conflicts: 1961000 | #Constraints: 57860
2432.98/2442.76 c #Conflicts: 1962000 | #Constraints: 58982
2432.98/2442.76 c #Conflicts: 1963000 | #Constraints: 60087
2432.98/2442.76 c #Conflicts: 1964000 | #Constraints: 61211
2432.98/2442.76 c #Conflicts: 1965000 | #Constraints: 62336
2432.98/2442.76 c INPROCESSING
2432.98/2442.76 c GARBAGE COLLECT
2432.98/2442.76 c #Conflicts: 1966000 | #Constraints: 32263
2432.98/2442.76 c #Conflicts: 1967000 | #Constraints: 33368
2432.98/2442.76 c #Conflicts: 1968000 | #Constraints: 34485
2432.98/2442.76 c #Conflicts: 1969000 | #Constraints: 35586
2432.98/2442.76 c #Conflicts: 1970000 | #Constraints: 36684
2432.98/2442.76 c #Conflicts: 1971000 | #Constraints: 37808
2432.98/2442.76 c #Conflicts: 1972000 | #Constraints: 38934
2432.98/2442.76 c #Conflicts: 1973000 | #Constraints: 40034
2432.98/2442.76 c #Conflicts: 1974000 | #Constraints: 41139
2432.98/2442.76 c #Conflicts: 1975000 | #Constraints: 42264
2432.98/2442.76 c #Conflicts: 1976000 | #Constraints: 43385
2432.98/2442.76 c #Conflicts: 1977000 | #Constraints: 44532
2432.98/2442.76 c #Conflicts: 1978000 | #Constraints: 45661
2432.98/2442.76 c #Conflicts: 1979000 | #Constraints: 46770
2432.98/2442.76 c #Conflicts: 1980000 | #Constraints: 47922
2432.98/2442.76 c #Conflicts: 1981000 | #Constraints: 49099
2432.98/2442.76 c #Conflicts: 1982000 | #Constraints: 50212
2432.98/2442.76 c #Conflicts: 1983000 | #Constraints: 51315
2432.98/2442.76 c #Conflicts: 1984000 | #Constraints: 52426
2432.98/2442.76 c #Conflicts: 1985000 | #Constraints: 53506
2432.98/2442.76 c #Conflicts: 1986000 | #Constraints: 54615
2432.98/2442.76 c #Conflicts: 1987000 | #Constraints: 55718
2432.98/2442.76 c #Conflicts: 1988000 | #Constraints: 56834
2432.98/2442.76 c #Conflicts: 1989000 | #Constraints: 57947
2432.98/2442.76 c #Conflicts: 1990000 | #Constraints: 59106
2432.98/2442.76 c #Conflicts: 1991000 | #Constraints: 60272
2432.98/2442.76 c #Conflicts: 1992000 | #Constraints: 61453
2432.98/2442.76 c #Conflicts: 1993000 | #Constraints: 62605
2432.98/2442.76 c INPROCESSING
2432.98/2442.76 c GARBAGE COLLECT
2432.98/2442.76 c #Conflicts: 1994000 | #Constraints: 32312
2432.98/2442.76 c #Conflicts: 1995000 | #Constraints: 33425
2432.98/2442.76 c #Conflicts: 1996000 | #Constraints: 34542
2432.98/2442.76 c #Conflicts: 1997000 | #Constraints: 35645
2432.98/2442.76 c #Conflicts: 1998000 | #Constraints: 36739
2432.98/2442.76 c #Conflicts: 1999000 | #Constraints: 37858
2432.98/2442.76 c #Conflicts: 2000000 | #Constraints: 38977
2432.98/2442.76 c #Conflicts: 2001000 | #Constraints: 40078
2432.98/2442.76 c #Conflicts: 2002000 | #Constraints: 41235
2432.98/2442.76 c #Conflicts: 2003000 | #Constraints: 42349
2605.36/2615.78 c #Conflicts: 2004000 | #Constraints: 43448
2605.36/2615.78 c #Conflicts: 2005000 | #Constraints: 44566
2605.36/2615.78 c #Conflicts: 2006000 | #Constraints: 45651
2605.36/2615.78 c #Conflicts: 2007000 | #Constraints: 46793
2605.36/2615.78 c #Conflicts: 2008000 | #Constraints: 47907
2605.36/2615.78 c #Conflicts: 2009000 | #Constraints: 48991
2605.36/2615.78 c #Conflicts: 2010000 | #Constraints: 50109
2605.36/2615.78 c #Conflicts: 2011000 | #Constraints: 51225
2605.36/2615.78 c #Conflicts: 2012000 | #Constraints: 52344
2605.36/2615.78 c #Conflicts: 2013000 | #Constraints: 53464
2605.36/2615.78 c #Conflicts: 2014000 | #Constraints: 54610
2605.36/2615.78 c #Conflicts: 2015000 | #Constraints: 55783
2605.36/2615.78 c #Conflicts: 2016000 | #Constraints: 56944
2605.36/2615.78 c #Conflicts: 2017000 | #Constraints: 58099
2605.36/2615.78 c #Conflicts: 2018000 | #Constraints: 59274
2605.36/2615.78 c #Conflicts: 2019000 | #Constraints: 60407
2605.36/2615.78 c #Conflicts: 2020000 | #Constraints: 61518
2605.36/2615.78 c #Conflicts: 2021000 | #Constraints: 62620
2605.36/2615.78 c INPROCESSING
2605.36/2615.78 c GARBAGE COLLECT
2605.36/2615.78 c #Conflicts: 2022000 | #Constraints: 32105
2605.36/2615.78 c #Conflicts: 2023000 | #Constraints: 33215
2605.36/2615.78 c #Conflicts: 2024000 | #Constraints: 34339
2605.36/2615.78 c #Conflicts: 2025000 | #Constraints: 35443
2605.36/2615.78 c #Conflicts: 2026000 | #Constraints: 36548
2605.36/2615.78 c #Conflicts: 2027000 | #Constraints: 37645
2605.36/2615.78 c #Conflicts: 2028000 | #Constraints: 38747
2605.36/2615.78 c #Conflicts: 2029000 | #Constraints: 39854
2605.36/2615.78 c #Conflicts: 2030000 | #Constraints: 40996
2605.36/2615.78 c #Conflicts: 2031000 | #Constraints: 42110
2605.36/2615.78 c #Conflicts: 2032000 | #Constraints: 43249
2605.36/2615.78 c #Conflicts: 2033000 | #Constraints: 44364
2605.36/2615.78 c #Conflicts: 2034000 | #Constraints: 45491
2605.36/2615.78 c #Conflicts: 2035000 | #Constraints: 46610
2605.36/2615.78 c #Conflicts: 2036000 | #Constraints: 47728
2605.36/2615.78 c #Conflicts: 2037000 | #Constraints: 48858
2605.36/2615.78 c #Conflicts: 2038000 | #Constraints: 49980
2605.36/2615.78 c #Conflicts: 2039000 | #Constraints: 51103
2605.36/2615.78 c #Conflicts: 2040000 | #Constraints: 52245
2605.36/2615.78 c #Conflicts: 2041000 | #Constraints: 53415
2605.36/2615.78 c #Conflicts: 2042000 | #Constraints: 54541
2605.36/2615.78 c #Conflicts: 2043000 | #Constraints: 55646
2605.36/2615.78 c #Conflicts: 2044000 | #Constraints: 56779
2605.36/2615.78 c #Conflicts: 2045000 | #Constraints: 57884
2605.36/2615.78 c #Conflicts: 2046000 | #Constraints: 58996
2605.36/2615.78 c #Conflicts: 2047000 | #Constraints: 60112
2605.36/2615.78 c #Conflicts: 2048000 | #Constraints: 61224
2605.36/2615.78 c #Conflicts: 2049000 | #Constraints: 62359
2605.36/2615.78 c #Conflicts: 2050000 | #Constraints: 63451
2605.36/2615.78 c INPROCESSING
2605.36/2615.78 c GARBAGE COLLECT
2605.36/2615.78 c #Conflicts: 2051000 | #Constraints: 32729
2605.36/2615.78 c #Conflicts: 2052000 | #Constraints: 33845
2605.36/2615.78 c #Conflicts: 2053000 | #Constraints: 34947
2605.36/2615.78 c #Conflicts: 2054000 | #Constraints: 36043
2605.36/2615.78 c #Conflicts: 2055000 | #Constraints: 37163
2605.36/2615.78 c #Conflicts: 2056000 | #Constraints: 38298
2605.36/2615.78 c #Conflicts: 2057000 | #Constraints: 39424
2605.36/2615.78 c #Conflicts: 2058000 | #Constraints: 40577
2605.36/2615.78 c #Conflicts: 2059000 | #Constraints: 41734
2605.36/2615.78 c #Conflicts: 2060000 | #Constraints: 42883
2605.36/2615.78 c #Conflicts: 2061000 | #Constraints: 44019
2605.36/2615.78 c #Conflicts: 2062000 | #Constraints: 45177
2605.36/2615.78 c #Conflicts: 2063000 | #Constraints: 46324
2605.36/2615.78 c #Conflicts: 2064000 | #Constraints: 47421
2605.36/2615.78 c #Conflicts: 2065000 | #Constraints: 48531
2605.36/2615.78 c #Conflicts: 2066000 | #Constraints: 49650
2605.36/2615.78 c #Conflicts: 2067000 | #Constraints: 50776
2605.36/2615.78 c #Conflicts: 2068000 | #Constraints: 51881
2605.36/2615.78 c #Conflicts: 2069000 | #Constraints: 52991
2605.36/2615.78 c #Conflicts: 2070000 | #Constraints: 54100
2605.36/2615.78 c #Conflicts: 2071000 | #Constraints: 55226
2605.36/2615.78 c #Conflicts: 2072000 | #Constraints: 56364
2605.36/2615.78 c #Conflicts: 2073000 | #Constraints: 57481
2605.36/2615.78 c #Conflicts: 2074000 | #Constraints: 58594
2605.36/2615.78 c #Conflicts: 2075000 | #Constraints: 59700
2605.36/2615.78 c #Conflicts: 2076000 | #Constraints: 60790
2605.36/2615.78 c #Conflicts: 2077000 | #Constraints: 61893
2605.36/2615.78 c #Conflicts: 2078000 | #Constraints: 62993
2605.36/2615.78 c #Conflicts: 2079000 | #Constraints: 64110
2605.36/2615.78 c INPROCESSING
2605.36/2615.78 c GARBAGE COLLECT
2605.36/2615.78 c #Conflicts: 2080000 | #Constraints: 33164
2782.48/2793.89 c #Conflicts: 2081000 | #Constraints: 34268
2782.48/2793.89 c #Conflicts: 2082000 | #Constraints: 35378
2782.48/2793.89 c #Conflicts: 2083000 | #Constraints: 36498
2782.48/2793.89 c #Conflicts: 2084000 | #Constraints: 37610
2782.48/2793.89 c #Conflicts: 2085000 | #Constraints: 38742
2782.48/2793.89 c #Conflicts: 2086000 | #Constraints: 39910
2782.48/2793.89 c #Conflicts: 2087000 | #Constraints: 41063
2782.48/2793.89 c #Conflicts: 2088000 | #Constraints: 42211
2782.48/2793.89 c #Conflicts: 2089000 | #Constraints: 43335
2782.48/2793.89 c #Conflicts: 2090000 | #Constraints: 44450
2782.48/2793.89 c #Conflicts: 2091000 | #Constraints: 45605
2782.48/2793.89 c #Conflicts: 2092000 | #Constraints: 46739
2782.48/2793.89 c #Conflicts: 2093000 | #Constraints: 47882
2782.48/2793.89 c #Conflicts: 2094000 | #Constraints: 49015
2782.48/2793.89 c #Conflicts: 2095000 | #Constraints: 50172
2782.48/2793.89 c #Conflicts: 2096000 | #Constraints: 51339
2782.48/2793.89 c #Conflicts: 2097000 | #Constraints: 52502
2782.48/2793.89 c #Conflicts: 2098000 | #Constraints: 53656
2782.48/2793.89 c #Conflicts: 2099000 | #Constraints: 54843
2782.48/2793.89 c #Conflicts: 2100000 | #Constraints: 55983
2782.48/2793.89 c #Conflicts: 2101000 | #Constraints: 57103
2782.48/2793.89 c #Conflicts: 2102000 | #Constraints: 58239
2782.48/2793.89 c #Conflicts: 2103000 | #Constraints: 59397
2782.48/2793.89 c #Conflicts: 2104000 | #Constraints: 60548
2782.48/2793.89 c #Conflicts: 2105000 | #Constraints: 61684
2782.48/2793.89 c #Conflicts: 2106000 | #Constraints: 62822
2782.48/2793.89 c #Conflicts: 2107000 | #Constraints: 63953
2782.48/2793.89 c #Conflicts: 2108000 | #Constraints: 65094
2782.48/2793.89 c INPROCESSING
2782.48/2793.89 c GARBAGE COLLECT
2782.48/2793.89 c #Conflicts: 2109000 | #Constraints: 33698
2782.48/2793.89 c #Conflicts: 2110000 | #Constraints: 34814
2782.48/2793.89 c #Conflicts: 2111000 | #Constraints: 35968
2782.48/2793.89 c #Conflicts: 2112000 | #Constraints: 37113
2782.48/2793.89 c #Conflicts: 2113000 | #Constraints: 38239
2782.48/2793.89 c #Conflicts: 2114000 | #Constraints: 39366
2782.48/2793.89 c #Conflicts: 2115000 | #Constraints: 40526
2782.48/2793.89 c #Conflicts: 2116000 | #Constraints: 41699
2782.48/2793.89 c #Conflicts: 2117000 | #Constraints: 42843
2782.48/2793.89 c #Conflicts: 2118000 | #Constraints: 44005
2782.48/2793.89 c #Conflicts: 2119000 | #Constraints: 45161
2782.48/2793.89 c #Conflicts: 2120000 | #Constraints: 46291
2782.48/2793.89 c #Conflicts: 2121000 | #Constraints: 47451
2782.48/2793.89 c #Conflicts: 2122000 | #Constraints: 48559
2782.48/2793.89 c #Conflicts: 2123000 | #Constraints: 49651
2782.48/2793.89 c #Conflicts: 2124000 | #Constraints: 50761
2782.48/2793.89 c #Conflicts: 2125000 | #Constraints: 51885
2782.48/2793.89 c #Conflicts: 2126000 | #Constraints: 53028
2782.48/2793.89 c #Conflicts: 2127000 | #Constraints: 54170
2782.48/2793.89 c #Conflicts: 2128000 | #Constraints: 55288
2782.48/2793.89 c #Conflicts: 2129000 | #Constraints: 56420
2782.48/2793.89 c #Conflicts: 2130000 | #Constraints: 57543
2782.48/2793.89 c #Conflicts: 2131000 | #Constraints: 58662
2782.48/2793.89 c #Conflicts: 2132000 | #Constraints: 59825
2782.48/2793.89 c #Conflicts: 2133000 | #Constraints: 60950
2782.48/2793.89 c #Conflicts: 2134000 | #Constraints: 62113
2782.48/2793.89 c #Conflicts: 2135000 | #Constraints: 63251
2782.48/2793.89 c #Conflicts: 2136000 | #Constraints: 64380
2782.48/2793.89 c #Conflicts: 2137000 | #Constraints: 65523
2782.48/2793.89 c INPROCESSING
2782.48/2793.89 c GARBAGE COLLECT
2782.48/2793.89 c #Conflicts: 2138000 | #Constraints: 33765
2782.48/2793.89 c #Conflicts: 2139000 | #Constraints: 34898
2782.48/2793.89 c #Conflicts: 2140000 | #Constraints: 36010
2782.48/2793.89 c #Conflicts: 2141000 | #Constraints: 37127
2782.48/2793.89 c #Conflicts: 2142000 | #Constraints: 38248
2782.48/2793.89 c #Conflicts: 2143000 | #Constraints: 39371
2782.48/2793.89 c #Conflicts: 2144000 | #Constraints: 40518
2782.48/2793.89 c #Conflicts: 2145000 | #Constraints: 41655
2782.48/2793.89 c #Conflicts: 2146000 | #Constraints: 42805
2782.48/2793.89 c #Conflicts: 2147000 | #Constraints: 43967
2782.48/2793.89 c #Conflicts: 2148000 | #Constraints: 45146
2782.48/2793.89 c #Conflicts: 2149000 | #Constraints: 46282
2782.48/2793.89 c #Conflicts: 2150000 | #Constraints: 47435
2782.48/2793.89 c #Conflicts: 2151000 | #Constraints: 48583
2782.48/2793.89 c #Conflicts: 2152000 | #Constraints: 49728
2782.48/2793.89 c #Conflicts: 2153000 | #Constraints: 50921
2782.48/2793.89 c #Conflicts: 2154000 | #Constraints: 52029
2782.48/2793.89 c #Conflicts: 2155000 | #Constraints: 53179
2782.48/2793.89 c #Conflicts: 2156000 | #Constraints: 54288
2782.48/2793.89 c #Conflicts: 2157000 | #Constraints: 55389
2782.48/2793.89 c #Conflicts: 2158000 | #Constraints: 56519
2958.75/2970.77 c #Conflicts: 2159000 | #Constraints: 57644
2958.75/2970.77 c #Conflicts: 2160000 | #Constraints: 58760
2958.75/2970.77 c #Conflicts: 2161000 | #Constraints: 59860
2958.75/2970.77 c #Conflicts: 2162000 | #Constraints: 60954
2958.75/2970.77 c #Conflicts: 2163000 | #Constraints: 62045
2958.75/2970.77 c #Conflicts: 2164000 | #Constraints: 63142
2958.75/2970.77 c #Conflicts: 2165000 | #Constraints: 64242
2958.75/2970.77 c #Conflicts: 2166000 | #Constraints: 65369
2958.75/2970.77 c INPROCESSING
2958.75/2970.77 c GARBAGE COLLECT
2958.75/2970.77 c #Conflicts: 2167000 | #Constraints: 33457
2958.75/2970.77 c #Conflicts: 2168000 | #Constraints: 34565
2958.75/2970.77 c #Conflicts: 2169000 | #Constraints: 35694
2958.75/2970.77 c #Conflicts: 2170000 | #Constraints: 36802
2958.75/2970.77 c #Conflicts: 2171000 | #Constraints: 37927
2958.75/2970.77 c #Conflicts: 2172000 | #Constraints: 39065
2958.75/2970.77 c #Conflicts: 2173000 | #Constraints: 40191
2958.75/2970.77 c #Conflicts: 2174000 | #Constraints: 41314
2958.75/2970.77 c #Conflicts: 2175000 | #Constraints: 42452
2958.75/2970.77 c #Conflicts: 2176000 | #Constraints: 43569
2958.75/2970.77 c #Conflicts: 2177000 | #Constraints: 44679
2958.75/2970.78 c #Conflicts: 2178000 | #Constraints: 45705
2958.75/2970.78 c #Conflicts: 2179000 | #Constraints: 46852
2958.75/2970.78 c #Conflicts: 2180000 | #Constraints: 47970
2958.75/2970.78 c #Conflicts: 2181000 | #Constraints: 49081
2958.75/2970.78 c #Conflicts: 2182000 | #Constraints: 50219
2958.75/2970.78 c #Conflicts: 2183000 | #Constraints: 51338
2958.75/2970.78 c #Conflicts: 2184000 | #Constraints: 52464
2958.75/2970.78 c #Conflicts: 2185000 | #Constraints: 53616
2958.75/2970.78 c #Conflicts: 2186000 | #Constraints: 54744
2958.75/2970.78 c #Conflicts: 2187000 | #Constraints: 55861
2958.75/2970.78 c #Conflicts: 2188000 | #Constraints: 56982
2958.75/2970.78 c #Conflicts: 2189000 | #Constraints: 58109
2958.75/2970.78 c #Conflicts: 2190000 | #Constraints: 59212
2958.75/2970.78 c #Conflicts: 2191000 | #Constraints: 60331
2958.75/2970.78 c #Conflicts: 2192000 | #Constraints: 61437
2958.75/2970.78 c #Conflicts: 2193000 | #Constraints: 62538
2958.75/2970.78 c #Conflicts: 2194000 | #Constraints: 63629
2958.75/2970.78 c #Conflicts: 2195000 | #Constraints: 64741
2958.75/2970.78 c #Conflicts: 2196000 | #Constraints: 65868
2958.75/2970.78 c INPROCESSING
2958.75/2970.78 c GARBAGE COLLECT
2958.75/2970.78 c #Conflicts: 2197000 | #Constraints: 33961
2958.75/2970.78 c #Conflicts: 2198000 | #Constraints: 35136
2958.75/2970.78 c #Conflicts: 2199000 | #Constraints: 36267
2958.75/2970.78 c #Conflicts: 2200000 | #Constraints: 37440
2958.75/2970.78 c #Conflicts: 2201000 | #Constraints: 38573
2958.75/2970.78 c #Conflicts: 2202000 | #Constraints: 39711
2958.75/2970.78 c #Conflicts: 2203000 | #Constraints: 40828
2958.75/2970.78 c #Conflicts: 2204000 | #Constraints: 41974
2958.75/2970.78 c #Conflicts: 2205000 | #Constraints: 43107
2958.75/2970.78 c #Conflicts: 2206000 | #Constraints: 44230
2958.75/2970.78 c #Conflicts: 2207000 | #Constraints: 45385
2958.75/2970.78 c #Conflicts: 2208000 | #Constraints: 46570
2958.75/2970.78 c #Conflicts: 2209000 | #Constraints: 47727
2958.75/2970.78 c #Conflicts: 2210000 | #Constraints: 48867
2958.75/2970.78 c #Conflicts: 2211000 | #Constraints: 49997
2958.75/2970.78 c #Conflicts: 2212000 | #Constraints: 51136
2958.75/2970.78 c #Conflicts: 2213000 | #Constraints: 52279
2958.75/2970.78 c #Conflicts: 2214000 | #Constraints: 53421
2958.75/2970.78 c #Conflicts: 2215000 | #Constraints: 54580
2958.75/2970.78 c #Conflicts: 2216000 | #Constraints: 55718
2958.75/2970.78 c #Conflicts: 2217000 | #Constraints: 56857
2958.75/2970.78 c #Conflicts: 2218000 | #Constraints: 57997
2958.75/2970.78 c #Conflicts: 2219000 | #Constraints: 59123
2958.75/2970.78 c #Conflicts: 2220000 | #Constraints: 60268
2958.75/2970.78 c #Conflicts: 2221000 | #Constraints: 61399
2958.75/2970.78 c #Conflicts: 2222000 | #Constraints: 62528
2958.75/2970.78 c #Conflicts: 2223000 | #Constraints: 63678
2958.75/2970.78 c #Conflicts: 2224000 | #Constraints: 64829
2958.75/2970.78 c #Conflicts: 2225000 | #Constraints: 65979
2958.75/2970.78 c #Conflicts: 2226000 | #Constraints: 67125
2958.75/2970.78 c INPROCESSING
2958.75/2970.78 c GARBAGE COLLECT
2958.75/2970.78 c #Conflicts: 2227000 | #Constraints: 34684
2958.75/2970.78 c #Conflicts: 2228000 | #Constraints: 35792
2958.75/2970.78 c #Conflicts: 2229000 | #Constraints: 36888
2958.75/2970.78 c #Conflicts: 2230000 | #Constraints: 37973
2958.75/2970.78 c #Conflicts: 2231000 | #Constraints: 39077
2958.75/2970.78 c #Conflicts: 2232000 | #Constraints: 40171
2958.75/2970.78 c #Conflicts: 2233000 | #Constraints: 41281
2958.75/2970.78 c #Conflicts: 2234000 | #Constraints: 42369
3159.64/3172.36 c #Conflicts: 2235000 | #Constraints: 43474
3159.64/3172.36 c #Conflicts: 2236000 | #Constraints: 44572
3159.64/3172.36 c #Conflicts: 2237000 | #Constraints: 45704
3159.64/3172.36 c #Conflicts: 2238000 | #Constraints: 46808
3159.64/3172.36 c #Conflicts: 2239000 | #Constraints: 47911
3159.64/3172.36 c #Conflicts: 2240000 | #Constraints: 49020
3159.64/3172.36 c #Conflicts: 2241000 | #Constraints: 50116
3159.64/3172.36 c #Conflicts: 2242000 | #Constraints: 51203
3159.64/3172.36 c #Conflicts: 2243000 | #Constraints: 52303
3159.64/3172.36 c #Conflicts: 2244000 | #Constraints: 53417
3159.64/3172.36 c #Conflicts: 2245000 | #Constraints: 54533
3159.64/3172.36 c #Conflicts: 2246000 | #Constraints: 55631
3159.64/3172.36 c #Conflicts: 2247000 | #Constraints: 56740
3159.64/3172.36 c #Conflicts: 2248000 | #Constraints: 57827
3159.64/3172.36 c #Conflicts: 2249000 | #Constraints: 58923
3159.64/3172.36 c #Conflicts: 2250000 | #Constraints: 60046
3159.64/3172.36 c #Conflicts: 2251000 | #Constraints: 61164
3159.64/3172.36 c #Conflicts: 2252000 | #Constraints: 62278
3159.64/3172.36 c #Conflicts: 2253000 | #Constraints: 63367
3159.64/3172.36 c #Conflicts: 2254000 | #Constraints: 64466
3159.64/3172.36 c #Conflicts: 2255000 | #Constraints: 65570
3159.64/3172.36 c #Conflicts: 2256000 | #Constraints: 66663
3159.64/3172.36 c INPROCESSING
3159.64/3172.36 c GARBAGE COLLECT
3159.64/3172.36 c #Conflicts: 2257000 | #Constraints: 34448
3159.64/3172.36 c #Conflicts: 2258000 | #Constraints: 35551
3159.64/3172.36 c #Conflicts: 2259000 | #Constraints: 36666
3159.64/3172.36 c #Conflicts: 2260000 | #Constraints: 37771
3159.64/3172.36 c #Conflicts: 2261000 | #Constraints: 38868
3159.64/3172.36 c #Conflicts: 2262000 | #Constraints: 39979
3159.64/3172.36 c #Conflicts: 2263000 | #Constraints: 41082
3159.64/3172.36 c #Conflicts: 2264000 | #Constraints: 42170
3159.64/3172.36 c #Conflicts: 2265000 | #Constraints: 43264
3159.64/3172.36 c #Conflicts: 2266000 | #Constraints: 44368
3159.64/3172.36 c #Conflicts: 2267000 | #Constraints: 45470
3159.64/3172.36 c #Conflicts: 2268000 | #Constraints: 46580
3159.64/3172.36 c #Conflicts: 2269000 | #Constraints: 47688
3159.64/3172.36 c #Conflicts: 2270000 | #Constraints: 48794
3159.64/3172.36 c #Conflicts: 2271000 | #Constraints: 49909
3159.64/3172.36 c #Conflicts: 2272000 | #Constraints: 51013
3159.64/3172.36 c #Conflicts: 2273000 | #Constraints: 52124
3159.64/3172.36 c #Conflicts: 2274000 | #Constraints: 53229
3159.64/3172.36 c #Conflicts: 2275000 | #Constraints: 54369
3159.64/3172.36 c #Conflicts: 2276000 | #Constraints: 55479
3159.64/3172.36 c #Conflicts: 2277000 | #Constraints: 56575
3159.64/3172.36 c #Conflicts: 2278000 | #Constraints: 57693
3159.64/3172.36 c #Conflicts: 2279000 | #Constraints: 58823
3159.64/3172.36 c #Conflicts: 2280000 | #Constraints: 59919
3159.64/3172.36 c #Conflicts: 2281000 | #Constraints: 61049
3159.64/3172.36 c #Conflicts: 2282000 | #Constraints: 62153
3159.64/3172.36 c #Conflicts: 2283000 | #Constraints: 63253
3159.64/3172.36 c #Conflicts: 2284000 | #Constraints: 64369
3159.64/3172.36 c #Conflicts: 2285000 | #Constraints: 65481
3159.64/3172.36 c #Conflicts: 2286000 | #Constraints: 66593
3159.64/3172.36 c INPROCESSING
3159.64/3172.36 c GARBAGE COLLECT
3159.64/3172.36 c #Conflicts: 2287000 | #Constraints: 34276
3159.64/3172.36 c #Conflicts: 2288000 | #Constraints: 35401
3159.64/3172.36 c #Conflicts: 2289000 | #Constraints: 36502
3159.64/3172.36 c #Conflicts: 2290000 | #Constraints: 37585
3159.64/3172.36 c #Conflicts: 2291000 | #Constraints: 38683
3159.64/3172.36 c #Conflicts: 2292000 | #Constraints: 39787
3159.64/3172.36 c #Conflicts: 2293000 | #Constraints: 40885
3159.64/3172.36 c #Conflicts: 2294000 | #Constraints: 41984
3159.64/3172.36 c #Conflicts: 2295000 | #Constraints: 43099
3159.64/3172.36 c #Conflicts: 2296000 | #Constraints: 44217
3159.64/3172.36 c #Conflicts: 2297000 | #Constraints: 45312
3159.64/3172.36 c #Conflicts: 2298000 | #Constraints: 46424
3159.64/3172.36 c #Conflicts: 2299000 | #Constraints: 47550
3159.64/3172.36 c #Conflicts: 2300000 | #Constraints: 48650
3159.64/3172.36 c #Conflicts: 2301000 | #Constraints: 49801
3159.64/3172.36 c #Conflicts: 2302000 | #Constraints: 50943
3159.64/3172.36 c #Conflicts: 2303000 | #Constraints: 52060
3159.64/3172.36 c #Conflicts: 2304000 | #Constraints: 53194
3159.64/3172.36 c #Conflicts: 2305000 | #Constraints: 54295
3159.64/3172.36 c #Conflicts: 2306000 | #Constraints: 55422
3159.64/3172.36 c #Conflicts: 2307000 | #Constraints: 56546
3159.64/3172.36 c #Conflicts: 2308000 | #Constraints: 57669
3159.64/3172.36 c #Conflicts: 2309000 | #Constraints: 58767
3159.64/3172.36 c #Conflicts: 2310000 | #Constraints: 59881
3159.64/3172.36 c #Conflicts: 2311000 | #Constraints: 60998
3159.64/3172.36 c #Conflicts: 2312000 | #Constraints: 62100
3345.50/3358.94 c #Conflicts: 2313000 | #Constraints: 63215
3345.50/3358.94 c #Conflicts: 2314000 | #Constraints: 64333
3345.50/3358.94 c #Conflicts: 2315000 | #Constraints: 65453
3345.50/3358.94 c #Conflicts: 2316000 | #Constraints: 66571
3345.50/3358.94 c INPROCESSING
3345.50/3358.94 c GARBAGE COLLECT
3345.50/3358.94 c #Conflicts: 2317000 | #Constraints: 34092
3345.50/3358.94 c #Conflicts: 2318000 | #Constraints: 35265
3345.50/3358.94 c #Conflicts: 2319000 | #Constraints: 36435
3345.50/3358.94 c #Conflicts: 2320000 | #Constraints: 37629
3345.50/3358.94 c #Conflicts: 2321000 | #Constraints: 38816
3345.50/3358.94 c #Conflicts: 2322000 | #Constraints: 40010
3345.50/3358.94 c #Conflicts: 2323000 | #Constraints: 41213
3345.50/3358.94 c #Conflicts: 2324000 | #Constraints: 42383
3345.50/3358.94 c #Conflicts: 2325000 | #Constraints: 43568
3345.50/3358.94 c #Conflicts: 2326000 | #Constraints: 44738
3345.50/3358.94 c #Conflicts: 2327000 | #Constraints: 45878
3345.50/3358.94 c #Conflicts: 2328000 | #Constraints: 47036
3345.50/3358.94 c #Conflicts: 2329000 | #Constraints: 48152
3345.50/3358.94 c #Conflicts: 2330000 | #Constraints: 49274
3345.50/3358.94 c #Conflicts: 2331000 | #Constraints: 50404
3345.50/3358.94 c #Conflicts: 2332000 | #Constraints: 51547
3345.50/3358.94 c #Conflicts: 2333000 | #Constraints: 52702
3345.50/3358.94 c #Conflicts: 2334000 | #Constraints: 53870
3345.50/3358.94 c #Conflicts: 2335000 | #Constraints: 55015
3345.50/3358.94 c #Conflicts: 2336000 | #Constraints: 56167
3345.50/3358.94 c #Conflicts: 2337000 | #Constraints: 57306
3345.50/3358.94 c #Conflicts: 2338000 | #Constraints: 58455
3345.50/3358.94 c #Conflicts: 2339000 | #Constraints: 59605
3345.50/3358.94 c #Conflicts: 2340000 | #Constraints: 60770
3345.50/3358.94 c #Conflicts: 2341000 | #Constraints: 61939
3345.50/3358.94 c #Conflicts: 2342000 | #Constraints: 63087
3345.50/3358.94 c #Conflicts: 2343000 | #Constraints: 64202
3345.50/3358.94 c #Conflicts: 2344000 | #Constraints: 65337
3345.50/3358.94 c #Conflicts: 2345000 | #Constraints: 66483
3345.50/3358.94 c #Conflicts: 2346000 | #Constraints: 67636
3345.50/3358.94 c #Conflicts: 2347000 | #Constraints: 68774
3345.50/3358.94 c INPROCESSING
3345.50/3358.94 c GARBAGE COLLECT
3345.50/3358.94 c #Conflicts: 2348000 | #Constraints: 35392
3345.50/3358.94 c #Conflicts: 2349000 | #Constraints: 36506
3345.50/3358.94 c #Conflicts: 2350000 | #Constraints: 37624
3345.50/3358.94 c #Conflicts: 2351000 | #Constraints: 38723
3345.50/3358.94 c #Conflicts: 2352000 | #Constraints: 39829
3345.50/3358.94 c #Conflicts: 2353000 | #Constraints: 40945
3345.50/3358.94 c #Conflicts: 2354000 | #Constraints: 42040
3345.50/3358.94 c #Conflicts: 2355000 | #Constraints: 43177
3345.50/3358.94 c #Conflicts: 2356000 | #Constraints: 44268
3345.50/3358.94 c #Conflicts: 2357000 | #Constraints: 45352
3345.50/3358.94 c #Conflicts: 2358000 | #Constraints: 46482
3345.50/3358.94 c #Conflicts: 2359000 | #Constraints: 47628
3345.50/3358.94 c #Conflicts: 2360000 | #Constraints: 48746
3345.50/3358.94 c #Conflicts: 2361000 | #Constraints: 49876
3345.50/3358.94 c #Conflicts: 2362000 | #Constraints: 50992
3345.50/3358.94 c #Conflicts: 2363000 | #Constraints: 52089
3345.50/3358.94 c #Conflicts: 2364000 | #Constraints: 53184
3345.50/3358.94 c #Conflicts: 2365000 | #Constraints: 54305
3345.50/3358.94 c #Conflicts: 2366000 | #Constraints: 55429
3345.50/3358.94 c #Conflicts: 2367000 | #Constraints: 56568
3345.50/3358.94 c #Conflicts: 2368000 | #Constraints: 57703
3345.50/3358.94 c #Conflicts: 2369000 | #Constraints: 58855
3345.50/3358.94 c #Conflicts: 2370000 | #Constraints: 59985
3345.50/3358.94 c #Conflicts: 2371000 | #Constraints: 61111
3345.50/3358.94 c #Conflicts: 2372000 | #Constraints: 62224
3345.50/3358.94 c #Conflicts: 2373000 | #Constraints: 63347
3345.50/3358.94 c #Conflicts: 2374000 | #Constraints: 64465
3345.50/3358.94 c #Conflicts: 2375000 | #Constraints: 65592
3345.50/3358.94 c #Conflicts: 2376000 | #Constraints: 66725
3345.50/3358.94 c #Conflicts: 2377000 | #Constraints: 67835
3345.50/3358.94 c #Conflicts: 2378000 | #Constraints: 68954
3345.50/3358.94 c INPROCESSING
3345.50/3358.94 c GARBAGE COLLECT
3345.50/3358.94 c #Conflicts: 2379000 | #Constraints: 35588
3345.50/3358.94 c #Conflicts: 2380000 | #Constraints: 36686
3345.50/3358.94 c #Conflicts: 2381000 | #Constraints: 37777
3345.50/3358.94 c #Conflicts: 2382000 | #Constraints: 38911
3345.50/3358.94 c #Conflicts: 2383000 | #Constraints: 40020
3345.50/3358.94 c #Conflicts: 2384000 | #Constraints: 41114
3345.50/3358.94 c #Conflicts: 2385000 | #Constraints: 42209
3345.50/3358.94 c #Conflicts: 2386000 | #Constraints: 43317
3345.50/3358.94 c #Conflicts: 2387000 | #Constraints: 44424
3345.50/3358.94 c #Conflicts: 2388000 | #Constraints: 45531
3345.50/3358.94 c #Conflicts: 2389000 | #Constraints: 46631
3534.16/3548.28 c #Conflicts: 2390000 | #Constraints: 47726
3534.16/3548.28 c #Conflicts: 2391000 | #Constraints: 48849
3534.16/3548.28 c #Conflicts: 2392000 | #Constraints: 49987
3534.16/3548.28 c #Conflicts: 2393000 | #Constraints: 51144
3534.16/3548.28 c #Conflicts: 2394000 | #Constraints: 52292
3534.16/3548.28 c #Conflicts: 2395000 | #Constraints: 53406
3534.16/3548.28 c #Conflicts: 2396000 | #Constraints: 54517
3534.16/3548.28 c #Conflicts: 2397000 | #Constraints: 55629
3534.16/3548.28 c #Conflicts: 2398000 | #Constraints: 56762
3534.16/3548.28 c #Conflicts: 2399000 | #Constraints: 57874
3534.16/3548.28 c #Conflicts: 2400000 | #Constraints: 59010
3534.16/3548.28 c #Conflicts: 2401000 | #Constraints: 60099
3534.16/3548.28 c #Conflicts: 2402000 | #Constraints: 61227
3534.16/3548.28 c #Conflicts: 2403000 | #Constraints: 62360
3534.16/3548.28 c #Conflicts: 2404000 | #Constraints: 63460
3534.16/3548.28 c #Conflicts: 2405000 | #Constraints: 64580
3534.16/3548.28 c #Conflicts: 2406000 | #Constraints: 65696
3534.16/3548.28 c #Conflicts: 2407000 | #Constraints: 66792
3534.16/3548.28 c #Conflicts: 2408000 | #Constraints: 67893
3534.16/3548.28 c #Conflicts: 2409000 | #Constraints: 68993
3534.16/3548.28 c INPROCESSING
3534.16/3548.28 c GARBAGE COLLECT
3534.16/3548.28 c #Conflicts: 2410000 | #Constraints: 35590
3534.16/3548.28 c #Conflicts: 2411000 | #Constraints: 36709
3534.16/3548.28 c #Conflicts: 2412000 | #Constraints: 37823
3534.16/3548.28 c #Conflicts: 2413000 | #Constraints: 38926
3534.16/3548.28 c #Conflicts: 2414000 | #Constraints: 40023
3534.16/3548.28 c #Conflicts: 2415000 | #Constraints: 41133
3534.16/3548.28 c #Conflicts: 2416000 | #Constraints: 42233
3534.16/3548.28 c #Conflicts: 2417000 | #Constraints: 43335
3534.16/3548.28 c #Conflicts: 2418000 | #Constraints: 44444
3534.16/3548.28 c #Conflicts: 2419000 | #Constraints: 45541
3534.16/3548.28 c #Conflicts: 2420000 | #Constraints: 46651
3534.16/3548.28 c #Conflicts: 2421000 | #Constraints: 47747
3534.16/3548.28 c #Conflicts: 2422000 | #Constraints: 48858
3534.16/3548.28 c #Conflicts: 2423000 | #Constraints: 49952
3534.16/3548.28 c #Conflicts: 2424000 | #Constraints: 51066
3534.16/3548.28 c #Conflicts: 2425000 | #Constraints: 52206
3534.16/3548.28 c #Conflicts: 2426000 | #Constraints: 53298
3534.16/3548.28 c #Conflicts: 2427000 | #Constraints: 54392
3534.16/3548.28 c #Conflicts: 2428000 | #Constraints: 55512
3534.16/3548.28 c #Conflicts: 2429000 | #Constraints: 56655
3534.16/3548.28 c #Conflicts: 2430000 | #Constraints: 57760
3534.16/3548.28 c #Conflicts: 2431000 | #Constraints: 58872
3534.16/3548.28 c #Conflicts: 2432000 | #Constraints: 59991
3534.16/3548.28 c #Conflicts: 2433000 | #Constraints: 61109
3534.16/3548.28 c #Conflicts: 2434000 | #Constraints: 62220
3534.16/3548.28 c #Conflicts: 2435000 | #Constraints: 63315
3534.16/3548.28 c #Conflicts: 2436000 | #Constraints: 64430
3534.16/3548.28 c #Conflicts: 2437000 | #Constraints: 65554
3534.16/3548.28 c #Conflicts: 2438000 | #Constraints: 66684
3534.16/3548.28 c #Conflicts: 2439000 | #Constraints: 67777
3534.16/3548.28 c #Conflicts: 2440000 | #Constraints: 68897
3534.16/3548.28 c INPROCESSING
3534.16/3548.28 c GARBAGE COLLECT
3534.16/3548.28 c #Conflicts: 2441000 | #Constraints: 35481
3534.16/3548.28 c #Conflicts: 2442000 | #Constraints: 36612
3534.16/3548.28 c #Conflicts: 2443000 | #Constraints: 37769
3534.16/3548.28 c #Conflicts: 2444000 | #Constraints: 38924
3534.16/3548.28 c #Conflicts: 2445000 | #Constraints: 40065
3534.16/3548.28 c #Conflicts: 2446000 | #Constraints: 41235
3534.16/3548.28 c #Conflicts: 2447000 | #Constraints: 42371
3534.16/3548.28 c #Conflicts: 2448000 | #Constraints: 43503
3534.16/3548.28 c #Conflicts: 2449000 | #Constraints: 44674
3534.16/3548.28 c #Conflicts: 2450000 | #Constraints: 45892
3534.16/3548.28 c #Conflicts: 2451000 | #Constraints: 47072
3534.16/3548.28 c #Conflicts: 2452000 | #Constraints: 48210
3534.16/3548.28 c #Conflicts: 2453000 | #Constraints: 49366
3534.16/3548.28 c #Conflicts: 2454000 | #Constraints: 50509
3534.16/3548.28 c #Conflicts: 2455000 | #Constraints: 51679
3534.16/3548.28 c #Conflicts: 2456000 | #Constraints: 52861
3534.16/3548.28 c #Conflicts: 2457000 | #Constraints: 54003
3534.16/3548.28 c #Conflicts: 2458000 | #Constraints: 55149
3534.16/3548.28 c #Conflicts: 2459000 | #Constraints: 56302
3534.16/3548.28 c #Conflicts: 2460000 | #Constraints: 57433
3534.16/3548.28 c #Conflicts: 2461000 | #Constraints: 58553
3534.16/3548.28 c #Conflicts: 2462000 | #Constraints: 59690
3534.16/3548.28 c #Conflicts: 2463000 | #Constraints: 60798
3534.16/3548.28 c #Conflicts: 2464000 | #Constraints: 61905
3534.16/3548.28 c #Conflicts: 2465000 | #Constraints: 63025
3534.16/3548.28 c #Conflicts: 2466000 | #Constraints: 64199
3600.05/3614.30 c #Conflicts: 2467000 | #Constraints: 65335
3600.05/3614.30 c #Conflicts: 2468000 | #Constraints: 66428
3600.05/3614.30 c #Conflicts: 2469000 | #Constraints: 67543
3600.05/3614.30 c #Conflicts: 2470000 | #Constraints: 68667
3600.05/3614.30 c #Conflicts: 2471000 | #Constraints: 69797
3600.05/3614.30 c INPROCESSING
3600.05/3614.30 c GARBAGE COLLECT
3600.05/3614.30 c #Conflicts: 2472000 | #Constraints: 35700
3600.05/3614.30 c #Conflicts: 2473000 | #Constraints: 36840
3600.05/3614.30 c #Conflicts: 2474000 | #Constraints: 37933
3600.05/3614.30 c #Conflicts: 2475000 | #Constraints: 39046
3600.05/3614.30 c #Conflicts: 2476000 | #Constraints: 40180
3600.05/3614.30 c #Conflicts: 2477000 | #Constraints: 41292
3600.05/3614.30 c #Conflicts: 2478000 | #Constraints: 42383
3600.05/3614.30 c #Conflicts: 2479000 | #Constraints: 43473
3600.05/3614.30 c #Conflicts: 2480000 | #Constraints: 44596
3600.05/3614.30 c #Conflicts: 2481000 | #Constraints: 45695
3600.05/3614.30 c #Conflicts: 2482000 | #Constraints: 46845
3600.05/3614.30 c #Conflicts: 2483000 | #Constraints: 47958
3600.05/3614.30 c #Conflicts: 2484000 | #Constraints: 49081
3600.05/3614.30 c #Conflicts: 2485000 | #Constraints: 50219
3600.05/3614.30 c #Conflicts: 2486000 | #Constraints: 51309
3600.05/3614.30 c #Conflicts: 2487000 | #Constraints: 52404
3600.05/3614.30 c #Conflicts: 2488000 | #Constraints: 53502
3600.05/3614.30 c #Conflicts: 2489000 | #Constraints: 54640
3600.05/3614.30 c #Conflicts: 2490000 | #Constraints: 55755
3600.05/3614.30 c #Conflicts: 2491000 | #Constraints: 56862
3600.05/3614.30 c cpu time 3578.75 s
3600.05/3614.30 c deterministic time 559194310581 5.59e+11
3600.05/3614.30 c optimization time 46.3793 s
3600.05/3614.30 c total solve time 3532.37 s
3600.05/3614.30 c core-guided solve time 0 s
3600.05/3614.30 c propagation time 3263.91 s
3600.05/3614.30 c conflict analysis time 287.897 s
3600.05/3614.30 c propagations 15386736
3600.05/3614.30 c resolve steps 7922443
3600.05/3614.30 c decisions 3267303
3600.05/3614.30 c conflicts 2491124
3600.05/3614.30 c restarts 4210
3600.05/3614.30 c inprocessing phases 148
3600.05/3614.30 c garbage collections 148 ,( 100.00 )
3600.05/3614.30 c input clauses 0 ,( 0.00 )
3600.05/3614.30 c input cardinalities 0 ,( 0.00 )
3600.05/3614.30 c input general constraints 2 ,( 100.00 )
3600.05/3614.30 c input average constraint length 52.00
3600.05/3614.30 c input average constraint degree 36188387.00
3600.05/3614.30 c learned clauses 1594613 ,( 58.33 )
3600.05/3614.30 c learned cardinalities 230 ,( 0.01 )
3600.05/3614.30 c learned general constraints 1138769 ,( 41.66 )
3600.05/3614.30 c learned average constraint length 37.94
3600.05/3614.30 c learned average constraint degree 69184868.90
3600.05/3614.30 c watched CF 32, 64, 128, Arb: 670822 , 0 , 0 , 0
3600.05/3614.30 c counting CF 32, 64, 128, Arb: 467949 , 0 , 0 , 0
3600.05/3614.30 c watched constraints 670822 ,( 58.91 )
3600.05/3614.30 c counting constraints 467949 ,( 41.09 )
3600.05/3614.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 138303563 , 54285 , 75455385364 ,( 2413083456 , 73042301908 )
3600.05/3614.30 c gcd simplifications 1647720
3600.05/3614.30 c detected cardinalities 229
3600.05/3614.30 c weakened non-implied lits 8016847
3600.05/3614.30 c weakened non-implying lits 3754927
3600.05/3614.30 c original variables 52
3600.05/3614.30 c clausal propagations 493548
3600.05/3614.30 c cardinality propagations 3
3600.05/3614.30 c watched propagations 1431812
3600.05/3614.30 c counting propagations 10690903
3600.05/3614.30 c watch lookups 87135381900
3600.05/3614.30 c watch backjump lookups 0
3600.05/3614.30 c watch checks 17714208423
3600.05/3614.30 c propagation checks 453823593339
3600.05/3614.30 c constraint additions 481077135
3600.05/3614.30 c trail pops 21145115
3600.05/3614.30 c formula constraints 2
3600.05/3614.30 c learned constraints 2491124
3600.05/3614.30 c bound constraints 0
3600.05/3614.30 c core-guided constraints 0
3600.05/3614.30 c encountered formula constraints 6366468
3600.05/3614.30 c encountered learned constraints 4046619
3600.05/3614.30 c encountered bound constraints 0
3600.05/3614.30 c encountered core-guided constraints 0
3600.05/3614.30 c LP total time 29.6431 s
3600.05/3614.30 c LP solve time 13.74 s
3600.05/3614.30 c LP constraints added 135
3600.05/3614.30 c LP constraints removed 130
3600.05/3614.30 c LP pivots internal 249114
3600.05/3614.30 c LP pivots root 1515
3600.05/3614.30 c LP calls 267712
3600.05/3614.30 c LP optimalities 24457
3600.05/3614.30 c LP no pivot count 3165
3600.05/3614.30 c LP infeasibilities 242777
3600.05/3614.30 c LP valid Farkas constraints 242417
3600.05/3614.30 c LP learned Farkas constraints 0
3600.05/3614.30 c LP basis resets 478
3600.05/3614.30 c LP cycling count 471
3600.05/3614.30 c LP singular count 3
3600.05/3614.30 c LP no primal count 0
3600.05/3614.30 c LP no farkas count 0
3600.05/3614.30 c LP other issue count 4
3600.05/3614.30 c LP Gomory cuts 71
3600.05/3614.30 c LP learned cuts 62
3600.05/3614.30 c LP deleted cuts 130
3600.05/3614.30 c LP encountered Gomory constraints 2
3600.05/3614.30 c LP encountered Farkas constraints 478
3600.05/3614.30 c LP encountered learned Farkas constraints 0
3600.05/3614.30 c CG auxiliary variables introduced 0
3600.05/3614.30 c CG solutions found 0
3600.05/3614.30 c CG cores constructed 0
3600.05/3614.30 c CG core cardinality constraints returned 0
3600.05/3614.30 c CG unit cores 0
3600.05/3614.30 c CG single cores 0
3600.05/3614.30 c CG blocks removed during cardinality reduction 0
3600.05/3614.30 c CG first core best 0
3600.05/3614.30 c CG decision core best 0
3600.05/3614.30 c CG core reduction tie 0
3600.05/3614.30 c CG core degree average 0.00
3600.05/3614.30 c CG core slack average 0.00
3600.05/3614.30 c CG core upper bound improvements 0
3600.05/3614.30 c STR number of successful calls 0
3600.05/3614.30 c STR number of unsuccessful calls 0
3600.05/3614.30 c STR number of inconclusive calls 0
3600.05/3614.30 c STR number of successful attempts 0
3600.05/3614.30 c STR number of unsuccessful attempts 0
3600.05/3614.30 c STR number of inconclusive attempts 0
3600.05/3614.30 c STR average degree increase per successful call inf
3600.05/3614.30 c STR average degree increase per successful attempt inf
3600.05/3614.30 c STR total number of conflicts for successful attempts 0
3600.05/3614.30 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3614.30 c STR total number of conflicts for inconclusive attempts 0
3600.05/3614.30 c STR average number of conflicts per successful attempt inf
3600.05/3614.30 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3614.30 c STR average number of conflicts per inconclusive attempt inf
3600.05/3614.30 c AVG.sumWPerc 46.26
3600.05/3614.30 c bigint constraints 0
3600.05/3614.30 s UNKNOWN
3600.05/3614.30 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 (60745 MiB free)
memory of node 1: 64507 MiB (61989 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496073-1751153923/watcher-4496073-1751153923 -o /tmp/evaluation-result-4496073-1751153923/solver-4496073-1751153923 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751146607-15943 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4496073-1751153923.opb PROOFDIR/proof-4496073-1751153923
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19074, runsolver pid=19071
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 4.13 4.17 4.18 5/258 19076
/proc/meminfo: memFree=125680356/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=55812 memory=12576 CPUtime=0.08 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 529 0 0 0 8 0 0 0 20 0 1 0 31072071 57151488 3144 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 13953 3144 2336 1147 0 1380 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60004 KiB
Current children cumulated memory: 15520 KiB
[startup+0.213823 s]*
/proc/loadavg: 4.13 4.17 4.18 5/258 19076
/proc/meminfo: memFree=125676312/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=56212 memory=12960 CPUtime=0.2 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 620 0 0 0 19 1 0 0 20 0 1 0 31072071 57561088 3240 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 14053 3240 2336 1147 0 1480 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60404 KiB
Current children cumulated memory: 15904 KiB
[startup+0.313706 s]*
/proc/loadavg: 4.13 4.17 4.18 5/258 19076
/proc/meminfo: memFree=125676312/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=56212 memory=12960 CPUtime=0.3 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 646 0 0 0 28 2 0 0 20 0 1 0 31072071 57561088 3240 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 14053 3240 2336 1147 0 1480 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60404 KiB
Current children cumulated memory: 15904 KiB
[startup+0.700408 s]
/proc/loadavg: 4.13 4.17 4.18 5/258 19076
/proc/meminfo: memFree=125676312/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=56780 memory=13472 CPUtime=0.67 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 767 0 0 0 64 3 0 0 20 0 1 0 31072071 58142720 3368 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 14195 3368 2336 1147 0 1622 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 60972 KiB
Current children cumulated memory: 16416 KiB
[startup+1.50041 s]
/proc/loadavg: 4.13 4.17 4.18 5/258 19076
/proc/meminfo: memFree=125674548/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=57848 memory=14368 CPUtime=1.46 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 994 0 0 0 139 7 0 0 20 0 1 0 31072071 59236352 3592 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 14462 3592 2336 1147 0 1889 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 62040 KiB
Current children cumulated memory: 17312 KiB
[startup+3.11334 s]
/proc/loadavg: 4.12 4.17 4.18 5/258 19076
/proc/meminfo: memFree=125656656/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=59144 memory=15648 CPUtime=3.07 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 1295 0 0 0 295 12 0 0 20 0 1 0 31072071 60563456 3912 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 14786 3912 2336 1147 0 2213 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 63336 KiB
Current children cumulated memory: 18592 KiB
[startup+6.30049 s]
/proc/loadavg: 4.12 4.17 4.18 4/257 19076
/proc/meminfo: memFree=125625832/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=60200 memory=16672 CPUtime=6.24 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 1579 0 0 0 598 26 0 0 20 0 1 0 31072071 61644800 4168 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 15050 4168 2336 1147 0 2477 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 64392 KiB
Current children cumulated memory: 19616 KiB
[startup+12.7004 s]
/proc/loadavg: 4.18 4.18 4.18 5/258 19122
/proc/meminfo: memFree=127775724/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=62496 memory=20432 CPUtime=12.61 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 2001 0 0 0 1213 48 0 0 20 0 1 0 31072071 63995904 5108 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 15624 5108 2336 1147 0 3051 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 66688 KiB
Current children cumulated memory: 23376 KiB
[startup+25.5004 s]
/proc/loadavg: 4.24 4.19 4.18 5/254 19244
/proc/meminfo: memFree=127749796/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=63968 memory=21840 CPUtime=25.31 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 2383 0 0 0 2452 79 0 0 20 0 1 0 31072071 65503232 5460 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 15992 5460 2336 1147 0 3419 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 68160 KiB
Current children cumulated memory: 24784 KiB
[startup+51.1134 s]
/proc/loadavg: 4.23 4.19 4.18 5/259 19263
/proc/meminfo: memFree=127319032/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=69456 memory=24016 CPUtime=50.81 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 3141 0 0 0 4959 122 0 0 20 0 1 0 31072071 71122944 6004 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 17364 6004 2336 1147 0 4791 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 73648 KiB
Current children cumulated memory: 26960 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/261 19271
/proc/meminfo: memFree=126651164/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=79848 memory=32800 CPUtime=101.77 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 5622 0 0 0 9985 192 0 0 20 0 1 0 31072071 81764352 8200 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 19962 8200 2400 1147 0 7389 0
Current children cumulated CPU time: 101.77 s
Current children cumulated vsize: 84040 KiB
Current children cumulated memory: 35744 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/261 19457
/proc/meminfo: memFree=125940784/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=80656 memory=33576 CPUtime=161.48 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 6260 0 0 0 15886 262 0 0 20 0 1 0 31072071 82591744 8394 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 20164 8394 2400 1147 0 7591 0
Current children cumulated CPU time: 161.48 s
Current children cumulated vsize: 84848 KiB
Current children cumulated memory: 36520 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/262 19460
/proc/meminfo: memFree=124957448/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=81172 memory=34148 CPUtime=221.17 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 6560 0 0 0 21788 329 0 0 20 0 1 0 31072071 83120128 8537 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
################
# More data... #
################
/proc/19076/statm: 33690 19838 2432 1147 0 21117 0
Current children cumulated CPU time: 3089.89 s
Current children cumulated vsize: 138952 KiB
Current children cumulated memory: 82296 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/264 19817
/proc/meminfo: memFree=84190328/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=134760 memory=79508 CPUtime=3149.67 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 24886 0 0 0 312989 1978 0 0 20 0 1 0 31072071 137994240 19877 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 33690 19877 2432 1147 0 21117 0
Current children cumulated CPU time: 3149.67 s
Current children cumulated vsize: 138952 KiB
Current children cumulated memory: 82452 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/264 19819
/proc/meminfo: memFree=83631812/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=135272 memory=79792 CPUtime=3209.43 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 25204 0 0 0 318943 2000 0 0 20 0 1 0 31072071 138518528 19948 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 33818 19948 2432 1147 0 21245 0
Current children cumulated CPU time: 3209.43 s
Current children cumulated vsize: 139464 KiB
Current children cumulated memory: 82736 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/264 19821
/proc/meminfo: memFree=83183100/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=136896 memory=81200 CPUtime=3269.21 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 25713 0 0 0 324901 2020 0 0 20 0 1 0 31072071 140181504 20300 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 34224 20300 2432 1147 0 21651 0
Current children cumulated CPU time: 3269.21 s
Current children cumulated vsize: 141088 KiB
Current children cumulated memory: 84144 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/263 19823
/proc/meminfo: memFree=82647980/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=137676 memory=81968 CPUtime=3328.95 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 25922 0 0 0 330855 2040 0 0 20 0 1 0 31072071 140980224 20492 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 34419 20492 2432 1147 0 21846 0
Current children cumulated CPU time: 3328.95 s
Current children cumulated vsize: 141868 KiB
Current children cumulated memory: 84912 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/262 19825
/proc/meminfo: memFree=82069464/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=137676 memory=81968 CPUtime=3388.76 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 25922 0 0 0 336818 2058 0 0 20 0 1 0 31072071 140980224 20492 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 34419 20492 2432 1147 0 21846 0
Current children cumulated CPU time: 3388.76 s
Current children cumulated vsize: 141868 KiB
Current children cumulated memory: 84912 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/261 19827
/proc/meminfo: memFree=80890160/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=136808 memory=81284 CPUtime=3448.55 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 25990 0 0 0 342777 2078 0 0 20 0 1 0 31072071 140091392 20321 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 34202 20321 2432 1147 0 21629 0
Current children cumulated CPU time: 3448.55 s
Current children cumulated vsize: 141000 KiB
Current children cumulated memory: 84228 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.15 5/262 19832
/proc/meminfo: memFree=79808056/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=138432 memory=82060 CPUtime=3508.35 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 26447 0 0 0 348735 2100 0 0 20 0 1 0 31072071 141754368 20515 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 34608 20515 2432 1147 0 22035 0
Current children cumulated CPU time: 3508.35 s
Current children cumulated vsize: 142624 KiB
Current children cumulated memory: 85004 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.15 4.15 5/262 19834
/proc/meminfo: memFree=79491828/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=139456 memory=84320 CPUtime=3568.15 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 26896 0 0 0 354696 2119 0 0 20 0 1 0 31072071 142802944 21080 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 34864 21080 2432 1147 0 22291 0
Current children cumulated CPU time: 3568.15 s
Current children cumulated vsize: 143648 KiB
Current children cumulated memory: 87264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/262 19834
/proc/meminfo: memFree=79220404/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=139456 memory=84320 CPUtime=3600.05 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 26896 0 0 0 357875 2130 0 0 20 0 1 0 31072071 142802944 21080 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 34864 21080 2432 1147 0 22291 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 143648 KiB
Current children cumulated memory: 87264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.31 s]
# the end of solver process 19074 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000858 s, system=0.003435 s
[startup+3614.32 s]
# the end of solver process 19076 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.76 s, system=21.3132 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+3614.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/262 19834
/proc/meminfo: memFree=79220404/131382112 swapFree=33010684/33010684
[pid=19074] ppid=19071 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19074/stat : 19074 (run-dec-log.sh) S 19071 19074 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31072070 4292608 736 18446744073709551615 94756820459520 94756821354053 140726830047520 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94756821593104 94756821640848 94756821753856 140726830053665 140726830053860 140726830053860 140726830059462 0
/proc/19074/statm: 1048 736 672 219 0 110 0
[pid=19076] ppid=19074 vsize=139456 memory=84320 CPUtime=3600.05 cores=5,7
/proc/19076/stat : 19076 (roundingsat) R 19074 19074 15930 0 -1 4194304 26896 0 0 0 357875 2130 0 0 20 0 1 0 31072071 142802944 21080 18446744073709551615 4227072 8923433 140726632868496 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31096832 140726632876391 140726632876584 140726632876584 140726632882154 0
/proc/19076/statm: 34864 21080 2432 1147 0 22291 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 143648 KiB
Current children cumulated memory: 87264 KiB
Child status: 2
Real time (s): 3614.32
CPU time (s): 3600.07
CPU user time (s): 3578.76
CPU system time (s): 21.3132
CPU usage (%): 99.6058
Max. virtual memory (cumulated for all children) (KiB): 144200
Max. memory (cumulated for all children) (KiB): 87764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.76
system time used= 21.3132
maximum resident set size= 84820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27119
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4616584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 672
involuntary context switches= 7957
# summary of solver processes directly reported to runsolver:
# pid: 19074,19076
# total CPU time (s): 3600.07
# total CPU user time (s): 3578.76
# total CPU system time (s): 21.3132
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0212 second user time and 37.9056 second system time
The end
Begin job on nodeC009 at 2025-06-29 01:38:43
IDJOB=4496073
IDBENCH=148106
IDSOLVER=3352
FILE ID=nodeC009/4496073-1751153923
RUNJOBID= nodeC009-1751146607-15943
SLURM_JOB_ID= 9587463
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob3.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496073-1751153923/watcher-4496073-1751153923 -o /tmp/evaluation-result-4496073-1751153923/solver-4496073-1751153923 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751146607-15943 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4496073-1751153923.opb PROOFDIR/proof-4496073-1751153923
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc
RANDOM SEED=1449224976
nodeC009 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 : 3660.625
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.85
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 : 3660.602
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.85
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.238
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.85
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 : 1197.294
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.85
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.893
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.85
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 : 1496.540
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.85
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 : 1197.312
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.85
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 : 1198.351
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.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 125680604 kB
MemAvailable: 129612432 kB
Buffers: 3280 kB
Cached: 4738032 kB
SwapCached: 0 kB
Active: 666768 kB
Inactive: 4527460 kB
Active(anon): 470960 kB
Inactive(anon): 0 kB
Active(file): 195808 kB
Inactive(file): 4527460 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 43692 kB
Writeback: 4 kB
AnonPages: 445984 kB
Mapped: 116072 kB
Shmem: 17960 kB
KReclaimable: 95992 kB
Slab: 178488 kB
SReclaimable: 95992 kB
SUnreclaim: 82496 kB
KernelStack: 4144 kB
PageTables: 4044 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 816556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 339968 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC009 at 2025-06-29 02:38:57