0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4496076-1751159447.opb'
0.00/0.02 c read 0.00MB (0.32ms)
0.00/0.02 c [cnf: #variables 52 #clauses 2 #duplicates 0 #arr 104]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 0] (0.15ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c (0.09ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 210 #edges 520]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 1.00*10^0 #generators 0] (0.10ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 0 #add_vars 0]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4496076-1751159447.opb.pre'
0.00/0.03 c wrote 0.00MB (0.14ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 0.32ms 33.29% parse
0.00/0.03 c 0.15ms 16.20% approx_orbits
0.00/0.03 c 0.14ms 15.15% output
0.00/0.03 c 0.14ms 14.98% other
0.00/0.03 c 0.10ms 10.16% detect_generic
0.00/0.03 c 0.09ms 9.11% detect_special
0.00/0.03 c 0.01ms 1.12% finalize_order
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 0.95ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 63f22ad
0.00/0.05 c #variables 52 #constraints 2
0.00/0.05 c rational objective 1.0539
0.37/0.47 c #Conflicts: 1000 | #Constraints: 1144
0.37/0.47 c #Conflicts: 2000 | #Constraints: 2306
0.37/0.47 c INPROCESSING
0.37/0.47 c GARBAGE COLLECT
0.37/0.47 c rational objective 2
0.85/0.90 c #Conflicts: 3000 | #Constraints: 2277
0.85/0.90 c #Conflicts: 4000 | #Constraints: 3373
0.85/0.90 c INPROCESSING
0.85/0.90 c GARBAGE COLLECT
0.85/0.90 c rational objective 2
1.14/1.28 c #Conflicts: 5000 | #Constraints: 2651
1.14/1.28 c #Conflicts: 6000 | #Constraints: 3787
1.14/1.28 c INPROCESSING
1.14/1.28 c GARBAGE COLLECT
1.14/1.28 c rational objective 2
1.64/1.72 c #Conflicts: 7000 | #Constraints: 2652
1.64/1.72 c #Conflicts: 8000 | #Constraints: 3652
1.64/1.72 c #Conflicts: 9000 | #Constraints: 4652
1.64/1.72 c INPROCESSING
1.64/1.72 c GARBAGE COLLECT
1.64/1.72 c rational objective 2
2.05/2.18 c #Conflicts: 10000 | #Constraints: 3287
2.05/2.18 c #Conflicts: 11000 | #Constraints: 4368
2.05/2.18 c #Conflicts: 12000 | #Constraints: 5522
2.05/2.18 c INPROCESSING
2.05/2.18 c GARBAGE COLLECT
2.05/2.18 c rational objective 2
2.53/2.68 c #Conflicts: 13000 | #Constraints: 3865
2.53/2.68 c #Conflicts: 14000 | #Constraints: 4953
2.53/2.68 c #Conflicts: 15000 | #Constraints: 6074
2.53/2.68 c INPROCESSING
2.53/2.68 c GARBAGE COLLECT
2.53/2.68 c rational objective 2
3.13/3.23 c #Conflicts: 16000 | #Constraints: 4151
3.13/3.23 c #Conflicts: 17000 | #Constraints: 5249
3.13/3.23 c #Conflicts: 18000 | #Constraints: 6365
3.13/3.23 c INPROCESSING
3.13/3.23 c GARBAGE COLLECT
3.13/3.23 c rational objective 2
3.73/3.87 c #Conflicts: 19000 | #Constraints: 4147
3.73/3.87 c #Conflicts: 20000 | #Constraints: 5254
3.73/3.87 c #Conflicts: 21000 | #Constraints: 6345
3.73/3.87 c INPROCESSING
3.73/3.87 c GARBAGE COLLECT
3.73/3.87 c rational objective 2
4.43/4.55 c #Conflicts: 22000 | #Constraints: 3913
4.43/4.55 c #Conflicts: 23000 | #Constraints: 4913
4.43/4.55 c #Conflicts: 24000 | #Constraints: 5913
4.43/4.55 c #Conflicts: 25000 | #Constraints: 6913
4.43/4.55 c INPROCESSING
4.43/4.55 c GARBAGE COLLECT
4.43/4.55 c rational objective 2
5.23/5.33 c #Conflicts: 26000 | #Constraints: 4362
5.23/5.33 c #Conflicts: 27000 | #Constraints: 5362
5.23/5.33 c #Conflicts: 28000 | #Constraints: 6362
5.23/5.33 c #Conflicts: 29000 | #Constraints: 7362
5.23/5.33 c INPROCESSING
5.23/5.33 c GARBAGE COLLECT
5.23/5.33 c rational objective 2
6.13/6.22 c #Conflicts: 30000 | #Constraints: 4687
6.13/6.22 c #Conflicts: 31000 | #Constraints: 5687
6.13/6.22 c #Conflicts: 32000 | #Constraints: 6687
6.13/6.22 c #Conflicts: 33000 | #Constraints: 7687
6.13/6.22 c INPROCESSING
6.13/6.22 c GARBAGE COLLECT
6.13/6.22 c rational objective 2
7.03/7.18 c #Conflicts: 34000 | #Constraints: 4849
7.03/7.18 c #Conflicts: 35000 | #Constraints: 5849
7.03/7.18 c #Conflicts: 36000 | #Constraints: 6849
7.03/7.18 c #Conflicts: 37000 | #Constraints: 7849
7.03/7.18 c INPROCESSING
7.03/7.18 c GARBAGE COLLECT
7.03/7.18 c rational objective 2
8.03/8.11 c #Conflicts: 38000 | #Constraints: 4830
8.03/8.11 c #Conflicts: 39000 | #Constraints: 5830
8.03/8.11 c #Conflicts: 40000 | #Constraints: 6830
8.03/8.11 c #Conflicts: 41000 | #Constraints: 7830
8.03/8.11 c INPROCESSING
8.03/8.11 c GARBAGE COLLECT
8.03/8.11 c rational objective 2
9.11/9.26 c #Conflicts: 42000 | #Constraints: 4621
9.11/9.26 c #Conflicts: 43000 | #Constraints: 5621
9.11/9.26 c #Conflicts: 44000 | #Constraints: 6621
9.11/9.26 c #Conflicts: 45000 | #Constraints: 7621
9.11/9.26 c #Conflicts: 46000 | #Constraints: 8621
9.11/9.26 c INPROCESSING
9.11/9.26 c GARBAGE COLLECT
9.11/9.26 c rational objective 2
10.41/10.53 c #Conflicts: 47000 | #Constraints: 5319
10.41/10.53 c #Conflicts: 48000 | #Constraints: 6416
10.41/10.53 c #Conflicts: 49000 | #Constraints: 7546
10.41/10.53 c #Conflicts: 50000 | #Constraints: 8649
10.41/10.53 c #Conflicts: 51000 | #Constraints: 9784
10.41/10.53 c INPROCESSING
10.41/10.53 c GARBAGE COLLECT
10.41/10.53 c rational objective 2
13.50/13.63 c #Conflicts: 52000 | #Constraints: 5988
13.50/13.63 c #Conflicts: 53000 | #Constraints: 7089
13.50/13.63 c #Conflicts: 54000 | #Constraints: 8190
13.50/13.63 c #Conflicts: 55000 | #Constraints: 9266
13.50/13.63 c #Conflicts: 56000 | #Constraints: 10403
13.50/13.63 c INPROCESSING
13.50/13.63 c GARBAGE COLLECT
13.50/13.63 c #Conflicts: 57000 | #Constraints: 6207
13.50/13.63 c #Conflicts: 58000 | #Constraints: 7283
13.50/13.63 c #Conflicts: 59000 | #Constraints: 8376
13.50/13.63 c #Conflicts: 60000 | #Constraints: 9465
13.50/13.63 c #Conflicts: 61000 | #Constraints: 10580
13.50/13.63 c INPROCESSING
13.50/13.63 c GARBAGE COLLECT
13.50/13.63 c rational objective 2
15.19/15.34 c #Conflicts: 62000 | #Constraints: 6305
15.19/15.34 c #Conflicts: 63000 | #Constraints: 7431
15.19/15.34 c #Conflicts: 64000 | #Constraints: 8552
15.19/15.34 c #Conflicts: 65000 | #Constraints: 9671
15.19/15.34 c #Conflicts: 66000 | #Constraints: 10803
15.19/15.34 c INPROCESSING
15.19/15.34 c GARBAGE COLLECT
15.19/15.34 c rational objective 2
17.08/17.20 c #Conflicts: 67000 | #Constraints: 6144
17.08/17.20 c #Conflicts: 68000 | #Constraints: 7144
17.08/17.20 c #Conflicts: 69000 | #Constraints: 8144
17.08/17.20 c #Conflicts: 70000 | #Constraints: 9144
17.08/17.20 c #Conflicts: 71000 | #Constraints: 10144
17.08/17.20 c #Conflicts: 72000 | #Constraints: 11144
17.08/17.20 c INPROCESSING
17.08/17.20 c GARBAGE COLLECT
17.08/17.20 c rational objective 2
18.89/19.03 c #Conflicts: 73000 | #Constraints: 6507
18.89/19.03 c #Conflicts: 74000 | #Constraints: 7507
18.89/19.03 c #Conflicts: 75000 | #Constraints: 8507
18.89/19.03 c #Conflicts: 76000 | #Constraints: 9507
18.89/19.03 c #Conflicts: 77000 | #Constraints: 10507
18.89/19.03 c #Conflicts: 78000 | #Constraints: 11507
18.89/19.03 c INPROCESSING
18.89/19.03 c GARBAGE COLLECT
18.89/19.03 c rational objective 2
21.27/21.44 c #Conflicts: 79000 | #Constraints: 6941
21.27/21.44 c #Conflicts: 80000 | #Constraints: 8122
21.27/21.44 c #Conflicts: 81000 | #Constraints: 9215
21.27/21.44 c #Conflicts: 82000 | #Constraints: 10276
21.27/21.44 c #Conflicts: 83000 | #Constraints: 11365
21.27/21.44 c #Conflicts: 84000 | #Constraints: 12432
21.27/21.44 c INPROCESSING
21.27/21.44 c GARBAGE COLLECT
21.27/21.44 c rational objective 2
23.67/23.86 c #Conflicts: 85000 | #Constraints: 7305
23.67/23.86 c #Conflicts: 86000 | #Constraints: 8425
23.67/23.86 c #Conflicts: 87000 | #Constraints: 9532
23.67/23.86 c #Conflicts: 88000 | #Constraints: 10668
23.67/23.86 c #Conflicts: 89000 | #Constraints: 11772
23.67/23.86 c #Conflicts: 90000 | #Constraints: 12887
23.67/23.86 c INPROCESSING
23.67/23.86 c GARBAGE COLLECT
23.67/23.86 c rational objective 2
26.45/26.63 c #Conflicts: 91000 | #Constraints: 7433
26.45/26.63 c #Conflicts: 92000 | #Constraints: 8546
26.45/26.63 c #Conflicts: 93000 | #Constraints: 9668
26.45/26.63 c #Conflicts: 94000 | #Constraints: 10755
26.45/26.63 c #Conflicts: 95000 | #Constraints: 11871
26.45/26.63 c #Conflicts: 96000 | #Constraints: 12958
26.45/26.63 c INPROCESSING
26.45/26.63 c GARBAGE COLLECT
26.45/26.63 c rational objective 2
29.14/29.38 c #Conflicts: 97000 | #Constraints: 7226
29.14/29.38 c #Conflicts: 98000 | #Constraints: 8311
29.14/29.38 c #Conflicts: 99000 | #Constraints: 9380
29.14/29.38 c #Conflicts: 100000 | #Constraints: 10470
29.14/29.38 c #Conflicts: 101000 | #Constraints: 11578
29.14/29.38 c #Conflicts: 102000 | #Constraints: 12671
29.14/29.38 c #Conflicts: 103000 | #Constraints: 13773
29.14/29.38 c INPROCESSING
29.14/29.38 c GARBAGE COLLECT
29.14/29.38 c rational objective 2
31.73/31.91 c #Conflicts: 104000 | #Constraints: 7802
31.73/31.91 c #Conflicts: 105000 | #Constraints: 8802
31.73/31.91 c #Conflicts: 106000 | #Constraints: 9802
31.73/31.91 c #Conflicts: 107000 | #Constraints: 10802
31.73/31.91 c #Conflicts: 108000 | #Constraints: 11802
31.73/31.91 c #Conflicts: 109000 | #Constraints: 12802
31.73/31.91 c #Conflicts: 110000 | #Constraints: 13802
31.73/31.91 c INPROCESSING
31.73/31.91 c GARBAGE COLLECT
31.73/31.91 c rational objective 2
34.73/34.94 c #Conflicts: 111000 | #Constraints: 8001
34.73/34.94 c #Conflicts: 112000 | #Constraints: 9103
34.73/34.94 c #Conflicts: 113000 | #Constraints: 10215
34.73/34.94 c #Conflicts: 114000 | #Constraints: 11329
34.73/34.94 c #Conflicts: 115000 | #Constraints: 12429
34.73/34.94 c #Conflicts: 116000 | #Constraints: 13532
34.73/34.94 c #Conflicts: 117000 | #Constraints: 14646
34.73/34.94 c INPROCESSING
34.73/34.94 c GARBAGE COLLECT
34.73/34.94 c rational objective 2
37.82/38.07 c #Conflicts: 118000 | #Constraints: 8329
37.82/38.07 c #Conflicts: 119000 | #Constraints: 9365
37.82/38.07 c #Conflicts: 120000 | #Constraints: 10453
37.82/38.07 c #Conflicts: 121000 | #Constraints: 11568
37.82/38.07 c #Conflicts: 122000 | #Constraints: 12698
37.82/38.07 c #Conflicts: 123000 | #Constraints: 13847
37.82/38.07 c #Conflicts: 124000 | #Constraints: 14976
37.82/38.07 c INPROCESSING
37.82/38.07 c GARBAGE COLLECT
37.82/38.07 c rational objective 2
41.10/41.31 c #Conflicts: 125000 | #Constraints: 8404
41.10/41.31 c #Conflicts: 126000 | #Constraints: 9404
41.10/41.31 c #Conflicts: 127000 | #Constraints: 10470
41.10/41.31 c #Conflicts: 128000 | #Constraints: 11527
41.10/41.31 c #Conflicts: 129000 | #Constraints: 12602
41.10/41.31 c #Conflicts: 130000 | #Constraints: 13738
41.10/41.31 c #Conflicts: 131000 | #Constraints: 14875
41.10/41.31 c INPROCESSING
41.10/41.31 c GARBAGE COLLECT
41.10/41.31 c rational objective 2
44.30/44.59 c #Conflicts: 132000 | #Constraints: 8209
44.30/44.59 c #Conflicts: 133000 | #Constraints: 9262
44.30/44.59 c #Conflicts: 134000 | #Constraints: 10337
44.30/44.59 c #Conflicts: 135000 | #Constraints: 11398
44.30/44.59 c #Conflicts: 136000 | #Constraints: 12459
44.30/44.59 c #Conflicts: 137000 | #Constraints: 13547
44.30/44.59 c #Conflicts: 138000 | #Constraints: 14627
44.30/44.59 c #Conflicts: 139000 | #Constraints: 15691
44.30/44.59 c INPROCESSING
44.30/44.59 c GARBAGE COLLECT
44.30/44.59 c rational objective 2
80.81/81.15 c #Conflicts: 140000 | #Constraints: 8823
80.81/81.15 c #Conflicts: 141000 | #Constraints: 9910
80.81/81.15 c #Conflicts: 142000 | #Constraints: 11008
80.81/81.15 c #Conflicts: 143000 | #Constraints: 12288
80.81/81.15 c #Conflicts: 144000 | #Constraints: 13845
80.81/81.15 c #Conflicts: 145000 | #Constraints: 15400
80.81/81.15 c #Conflicts: 146000 | #Constraints: 16963
80.81/81.15 c #Conflicts: 147000 | #Constraints: 18532
80.81/81.15 c INPROCESSING
80.81/81.15 c GARBAGE COLLECT
80.81/81.15 c #Conflicts: 148000 | #Constraints: 10854
80.81/81.15 c #Conflicts: 149000 | #Constraints: 11964
80.81/81.15 c #Conflicts: 150000 | #Constraints: 13037
80.81/81.15 c #Conflicts: 151000 | #Constraints: 14110
80.81/81.15 c #Conflicts: 152000 | #Constraints: 15182
80.81/81.15 c #Conflicts: 153000 | #Constraints: 16253
80.81/81.15 c #Conflicts: 154000 | #Constraints: 17307
80.81/81.15 c #Conflicts: 155000 | #Constraints: 18364
80.81/81.15 c INPROCESSING
80.81/81.15 c GARBAGE COLLECT
80.81/81.15 c #Conflicts: 156000 | #Constraints: 10237
80.81/81.15 c #Conflicts: 157000 | #Constraints: 11334
80.81/81.15 c #Conflicts: 158000 | #Constraints: 12401
80.81/81.15 c #Conflicts: 159000 | #Constraints: 13472
80.81/81.15 c #Conflicts: 160000 | #Constraints: 14556
80.81/81.15 c #Conflicts: 161000 | #Constraints: 15647
80.81/81.15 c #Conflicts: 162000 | #Constraints: 16737
80.81/81.15 c #Conflicts: 163000 | #Constraints: 17805
80.81/81.15 c INPROCESSING
80.81/81.15 c GARBAGE COLLECT
80.81/81.15 c #Conflicts: 164000 | #Constraints: 9858
80.81/81.15 c #Conflicts: 165000 | #Constraints: 10866
80.81/81.15 c #Conflicts: 166000 | #Constraints: 11912
80.81/81.15 c #Conflicts: 167000 | #Constraints: 12986
80.81/81.15 c #Conflicts: 168000 | #Constraints: 14045
80.81/81.15 c #Conflicts: 169000 | #Constraints: 15113
80.81/81.15 c #Conflicts: 170000 | #Constraints: 16177
80.81/81.15 c #Conflicts: 171000 | #Constraints: 17182
80.81/81.15 c INPROCESSING
80.81/81.15 c GARBAGE COLLECT
80.81/81.15 c #Conflicts: 172000 | #Constraints: 9332
80.81/81.15 c #Conflicts: 173000 | #Constraints: 10425
80.81/81.15 c #Conflicts: 174000 | #Constraints: 11542
80.81/81.15 c #Conflicts: 175000 | #Constraints: 12639
80.81/81.15 c #Conflicts: 176000 | #Constraints: 13708
80.81/81.15 c #Conflicts: 177000 | #Constraints: 14785
80.81/81.15 c #Conflicts: 178000 | #Constraints: 15835
80.81/81.15 c #Conflicts: 179000 | #Constraints: 16918
80.81/81.15 c #Conflicts: 180000 | #Constraints: 18006
80.81/81.15 c INPROCESSING
80.81/81.15 c GARBAGE COLLECT
80.81/81.15 c #Conflicts: 181000 | #Constraints: 9977
80.81/81.15 c #Conflicts: 182000 | #Constraints: 11054
80.81/81.15 c #Conflicts: 183000 | #Constraints: 12114
80.81/81.15 c #Conflicts: 184000 | #Constraints: 13213
80.81/81.15 c #Conflicts: 185000 | #Constraints: 14297
80.81/81.15 c #Conflicts: 186000 | #Constraints: 15396
80.81/81.15 c #Conflicts: 187000 | #Constraints: 16471
80.81/81.15 c #Conflicts: 188000 | #Constraints: 17547
80.81/81.15 c #Conflicts: 189000 | #Constraints: 18650
80.81/81.15 c INPROCESSING
80.81/81.15 c GARBAGE COLLECT
80.81/81.15 c #Conflicts: 190000 | #Constraints: 10473
80.81/81.15 c #Conflicts: 191000 | #Constraints: 11649
80.81/81.15 c #Conflicts: 192000 | #Constraints: 12753
80.81/81.15 c #Conflicts: 193000 | #Constraints: 13852
80.81/81.15 c #Conflicts: 194000 | #Constraints: 14942
80.81/81.15 c #Conflicts: 195000 | #Constraints: 16015
80.81/81.15 c #Conflicts: 196000 | #Constraints: 17104
80.81/81.15 c #Conflicts: 197000 | #Constraints: 18232
80.81/81.15 c #Conflicts: 198000 | #Constraints: 19303
80.81/81.15 c INPROCESSING
80.81/81.15 c GARBAGE COLLECT
80.81/81.15 c #Conflicts: 199000 | #Constraints: 10752
80.81/81.15 c #Conflicts: 200000 | #Constraints: 12024
80.81/81.15 c #Conflicts: 201000 | #Constraints: 13142
80.81/81.15 c #Conflicts: 202000 | #Constraints: 14272
80.81/81.15 c #Conflicts: 203000 | #Constraints: 15417
80.81/81.15 c #Conflicts: 204000 | #Constraints: 16531
80.81/81.15 c #Conflicts: 205000 | #Constraints: 17673
80.81/81.15 c #Conflicts: 206000 | #Constraints: 18765
80.81/81.15 c #Conflicts: 207000 | #Constraints: 19886
80.81/81.15 c INPROCESSING
80.81/81.15 c GARBAGE COLLECT
80.81/81.15 c #Conflicts: 208000 | #Constraints: 10946
80.81/81.15 c #Conflicts: 209000 | #Constraints: 12451
80.81/81.15 c #Conflicts: 210000 | #Constraints: 13978
80.81/81.15 c #Conflicts: 211000 | #Constraints: 15521
80.81/81.15 c #Conflicts: 212000 | #Constraints: 17073
80.81/81.15 c #Conflicts: 213000 | #Constraints: 18608
125.87/126.35 c #Conflicts: 214000 | #Constraints: 20154
125.87/126.35 c #Conflicts: 215000 | #Constraints: 21722
125.87/126.35 c #Conflicts: 216000 | #Constraints: 23271
125.87/126.35 c INPROCESSING
125.87/126.35 c GARBAGE COLLECT
125.87/126.35 c #Conflicts: 217000 | #Constraints: 12744
125.87/126.35 c #Conflicts: 218000 | #Constraints: 14322
125.87/126.35 c #Conflicts: 219000 | #Constraints: 15594
125.87/126.35 c #Conflicts: 220000 | #Constraints: 16654
125.87/126.35 c #Conflicts: 221000 | #Constraints: 17764
125.87/126.35 c #Conflicts: 222000 | #Constraints: 18846
125.87/126.35 c #Conflicts: 223000 | #Constraints: 19962
125.87/126.35 c #Conflicts: 224000 | #Constraints: 21038
125.87/126.35 c #Conflicts: 225000 | #Constraints: 22106
125.87/126.35 c #Conflicts: 226000 | #Constraints: 23168
125.87/126.35 c INPROCESSING
125.87/126.35 c GARBAGE COLLECT
125.87/126.35 c #Conflicts: 227000 | #Constraints: 12634
125.87/126.35 c #Conflicts: 228000 | #Constraints: 13695
125.87/126.35 c #Conflicts: 229000 | #Constraints: 14814
125.87/126.35 c #Conflicts: 230000 | #Constraints: 15901
125.87/126.35 c #Conflicts: 231000 | #Constraints: 16984
125.87/126.35 c #Conflicts: 232000 | #Constraints: 17984
125.87/126.35 c #Conflicts: 233000 | #Constraints: 19107
125.87/126.35 c #Conflicts: 234000 | #Constraints: 20218
125.87/126.35 c #Conflicts: 235000 | #Constraints: 21285
125.87/126.35 c #Conflicts: 236000 | #Constraints: 22368
125.87/126.35 c INPROCESSING
125.87/126.35 c GARBAGE COLLECT
125.87/126.35 c #Conflicts: 237000 | #Constraints: 12264
125.87/126.35 c #Conflicts: 238000 | #Constraints: 13404
125.87/126.35 c #Conflicts: 239000 | #Constraints: 14488
125.87/126.35 c #Conflicts: 240000 | #Constraints: 15549
125.87/126.35 c #Conflicts: 241000 | #Constraints: 16617
125.87/126.35 c #Conflicts: 242000 | #Constraints: 17706
125.87/126.35 c #Conflicts: 243000 | #Constraints: 18825
125.87/126.35 c #Conflicts: 244000 | #Constraints: 19940
125.87/126.35 c #Conflicts: 245000 | #Constraints: 21084
125.87/126.35 c #Conflicts: 246000 | #Constraints: 22190
125.87/126.35 c INPROCESSING
125.87/126.35 c GARBAGE COLLECT
125.87/126.35 c #Conflicts: 247000 | #Constraints: 12166
125.87/126.35 c #Conflicts: 248000 | #Constraints: 13250
125.87/126.35 c #Conflicts: 249000 | #Constraints: 14334
125.87/126.35 c #Conflicts: 250000 | #Constraints: 15425
125.87/126.35 c #Conflicts: 251000 | #Constraints: 16493
125.87/126.35 c #Conflicts: 252000 | #Constraints: 17558
125.87/126.35 c #Conflicts: 253000 | #Constraints: 18614
125.87/126.35 c #Conflicts: 254000 | #Constraints: 19707
125.87/126.35 c #Conflicts: 255000 | #Constraints: 20810
125.87/126.35 c #Conflicts: 256000 | #Constraints: 21978
125.87/126.35 c INPROCESSING
125.87/126.35 c GARBAGE COLLECT
125.87/126.35 c #Conflicts: 257000 | #Constraints: 11976
125.87/126.35 c #Conflicts: 258000 | #Constraints: 13026
125.87/126.35 c #Conflicts: 259000 | #Constraints: 14096
125.87/126.35 c #Conflicts: 260000 | #Constraints: 15177
125.87/126.35 c #Conflicts: 261000 | #Constraints: 16260
125.87/126.35 c #Conflicts: 262000 | #Constraints: 17314
125.87/126.35 c #Conflicts: 263000 | #Constraints: 18430
125.87/126.35 c #Conflicts: 264000 | #Constraints: 19549
125.87/126.35 c #Conflicts: 265000 | #Constraints: 20675
125.87/126.35 c #Conflicts: 266000 | #Constraints: 21770
125.87/126.35 c INPROCESSING
125.87/126.35 c GARBAGE COLLECT
125.87/126.35 c #Conflicts: 267000 | #Constraints: 11609
125.87/126.35 c #Conflicts: 268000 | #Constraints: 12674
125.87/126.35 c #Conflicts: 269000 | #Constraints: 13767
125.87/126.35 c #Conflicts: 270000 | #Constraints: 14836
125.87/126.35 c #Conflicts: 271000 | #Constraints: 15897
125.87/126.35 c #Conflicts: 272000 | #Constraints: 16981
125.87/126.35 c #Conflicts: 273000 | #Constraints: 18072
125.87/126.35 c #Conflicts: 274000 | #Constraints: 19160
125.87/126.35 c #Conflicts: 275000 | #Constraints: 20226
125.87/126.35 c #Conflicts: 276000 | #Constraints: 21311
125.87/126.35 c #Conflicts: 277000 | #Constraints: 22404
125.87/126.35 c INPROCESSING
125.87/126.35 c GARBAGE COLLECT
125.87/126.35 c #Conflicts: 278000 | #Constraints: 12159
125.87/126.35 c #Conflicts: 279000 | #Constraints: 13223
125.87/126.35 c #Conflicts: 280000 | #Constraints: 14297
125.87/126.35 c #Conflicts: 281000 | #Constraints: 15399
125.87/126.35 c #Conflicts: 282000 | #Constraints: 16462
125.87/126.35 c #Conflicts: 283000 | #Constraints: 17523
125.87/126.35 c #Conflicts: 284000 | #Constraints: 18626
125.87/126.35 c #Conflicts: 285000 | #Constraints: 19710
125.87/126.35 c #Conflicts: 286000 | #Constraints: 20804
125.87/126.35 c #Conflicts: 287000 | #Constraints: 21911
125.87/126.35 c #Conflicts: 288000 | #Constraints: 23007
171.94/172.56 c INPROCESSING
171.94/172.56 c GARBAGE COLLECT
171.94/172.56 c #Conflicts: 289000 | #Constraints: 12620
171.94/172.56 c #Conflicts: 290000 | #Constraints: 13712
171.94/172.56 c #Conflicts: 291000 | #Constraints: 14768
171.94/172.56 c #Conflicts: 292000 | #Constraints: 15848
171.94/172.56 c #Conflicts: 293000 | #Constraints: 16946
171.94/172.56 c #Conflicts: 294000 | #Constraints: 18106
171.94/172.56 c #Conflicts: 295000 | #Constraints: 19292
171.94/172.56 c #Conflicts: 296000 | #Constraints: 20368
171.94/172.56 c #Conflicts: 297000 | #Constraints: 21417
171.94/172.56 c #Conflicts: 298000 | #Constraints: 22497
171.94/172.56 c #Conflicts: 299000 | #Constraints: 23595
171.94/172.56 c INPROCESSING
171.94/172.56 c GARBAGE COLLECT
171.94/172.56 c #Conflicts: 300000 | #Constraints: 12890
171.94/172.56 c #Conflicts: 301000 | #Constraints: 13994
171.94/172.56 c #Conflicts: 302000 | #Constraints: 15088
171.94/172.56 c #Conflicts: 303000 | #Constraints: 16167
171.94/172.56 c #Conflicts: 304000 | #Constraints: 17247
171.94/172.56 c #Conflicts: 305000 | #Constraints: 18352
171.94/172.56 c #Conflicts: 306000 | #Constraints: 19674
171.94/172.56 c #Conflicts: 307000 | #Constraints: 20784
171.94/172.56 c #Conflicts: 308000 | #Constraints: 21866
171.94/172.56 c #Conflicts: 309000 | #Constraints: 22973
171.94/172.56 c #Conflicts: 310000 | #Constraints: 24072
171.94/172.56 c INPROCESSING
171.94/172.56 c GARBAGE COLLECT
171.94/172.56 c #Conflicts: 311000 | #Constraints: 13002
171.94/172.56 c #Conflicts: 312000 | #Constraints: 14094
171.94/172.56 c #Conflicts: 313000 | #Constraints: 15227
171.94/172.56 c #Conflicts: 314000 | #Constraints: 16374
171.94/172.56 c #Conflicts: 315000 | #Constraints: 17451
171.94/172.56 c #Conflicts: 316000 | #Constraints: 18550
171.94/172.56 c #Conflicts: 317000 | #Constraints: 19630
171.94/172.56 c #Conflicts: 318000 | #Constraints: 20729
171.94/172.56 c #Conflicts: 319000 | #Constraints: 21852
171.94/172.56 c #Conflicts: 320000 | #Constraints: 22972
171.94/172.56 c #Conflicts: 321000 | #Constraints: 24069
171.94/172.56 c INPROCESSING
171.94/172.56 c GARBAGE COLLECT
171.94/172.56 c #Conflicts: 322000 | #Constraints: 12790
171.94/172.56 c #Conflicts: 323000 | #Constraints: 13868
171.94/172.56 c #Conflicts: 324000 | #Constraints: 14952
171.94/172.56 c #Conflicts: 325000 | #Constraints: 16024
171.94/172.56 c #Conflicts: 326000 | #Constraints: 17091
171.94/172.56 c #Conflicts: 327000 | #Constraints: 18145
171.94/172.56 c #Conflicts: 328000 | #Constraints: 19206
171.94/172.56 c #Conflicts: 329000 | #Constraints: 20247
171.94/172.56 c #Conflicts: 330000 | #Constraints: 21337
171.94/172.56 c #Conflicts: 331000 | #Constraints: 22416
171.94/172.56 c #Conflicts: 332000 | #Constraints: 23466
171.94/172.56 c #Conflicts: 333000 | #Constraints: 24536
171.94/172.56 c INPROCESSING
171.94/172.56 c GARBAGE COLLECT
171.94/172.56 c #Conflicts: 334000 | #Constraints: 13235
171.94/172.56 c #Conflicts: 335000 | #Constraints: 14331
171.94/172.56 c #Conflicts: 336000 | #Constraints: 15419
171.94/172.56 c #Conflicts: 337000 | #Constraints: 16551
171.94/172.56 c #Conflicts: 338000 | #Constraints: 17621
171.94/172.56 c #Conflicts: 339000 | #Constraints: 18724
171.94/172.56 c #Conflicts: 340000 | #Constraints: 19818
171.94/172.56 c #Conflicts: 341000 | #Constraints: 20915
171.94/172.56 c #Conflicts: 342000 | #Constraints: 21991
171.94/172.56 c #Conflicts: 343000 | #Constraints: 23076
171.94/172.56 c #Conflicts: 344000 | #Constraints: 24161
171.94/172.56 c #Conflicts: 345000 | #Constraints: 25231
171.94/172.56 c INPROCESSING
171.94/172.56 c GARBAGE COLLECT
171.94/172.56 c #Conflicts: 346000 | #Constraints: 13726
171.94/172.56 c #Conflicts: 347000 | #Constraints: 14870
171.94/172.56 c #Conflicts: 348000 | #Constraints: 15935
171.94/172.56 c #Conflicts: 349000 | #Constraints: 17014
171.94/172.56 c #Conflicts: 350000 | #Constraints: 18091
171.94/172.56 c #Conflicts: 351000 | #Constraints: 19225
171.94/172.56 c #Conflicts: 352000 | #Constraints: 20331
171.94/172.56 c #Conflicts: 353000 | #Constraints: 21395
171.94/172.56 c #Conflicts: 354000 | #Constraints: 22466
171.94/172.56 c #Conflicts: 355000 | #Constraints: 23530
171.94/172.56 c #Conflicts: 356000 | #Constraints: 24613
171.94/172.56 c #Conflicts: 357000 | #Constraints: 25673
171.94/172.56 c INPROCESSING
171.94/172.56 c GARBAGE COLLECT
171.94/172.56 c #Conflicts: 358000 | #Constraints: 13896
171.94/172.56 c #Conflicts: 359000 | #Constraints: 14986
171.94/172.56 c #Conflicts: 360000 | #Constraints: 16104
171.94/172.56 c #Conflicts: 361000 | #Constraints: 17207
171.94/172.56 c #Conflicts: 362000 | #Constraints: 18277
224.40/225.13 c #Conflicts: 363000 | #Constraints: 19351
224.40/225.13 c #Conflicts: 364000 | #Constraints: 20399
224.40/225.13 c #Conflicts: 365000 | #Constraints: 21499
224.40/225.13 c #Conflicts: 366000 | #Constraints: 22573
224.40/225.13 c #Conflicts: 367000 | #Constraints: 23711
224.40/225.13 c #Conflicts: 368000 | #Constraints: 24785
224.40/225.13 c #Conflicts: 369000 | #Constraints: 25869
224.40/225.13 c INPROCESSING
224.40/225.13 c GARBAGE COLLECT
224.40/225.13 c #Conflicts: 370000 | #Constraints: 13910
224.40/225.13 c #Conflicts: 371000 | #Constraints: 14987
224.40/225.13 c #Conflicts: 372000 | #Constraints: 16041
224.40/225.13 c #Conflicts: 373000 | #Constraints: 17112
224.40/225.13 c #Conflicts: 374000 | #Constraints: 18174
224.40/225.13 c #Conflicts: 375000 | #Constraints: 19236
224.40/225.13 c #Conflicts: 376000 | #Constraints: 20296
224.40/225.13 c #Conflicts: 377000 | #Constraints: 21347
224.40/225.13 c #Conflicts: 378000 | #Constraints: 22408
224.40/225.13 c #Conflicts: 379000 | #Constraints: 23494
224.40/225.13 c #Conflicts: 380000 | #Constraints: 24569
224.40/225.13 c #Conflicts: 381000 | #Constraints: 25676
224.40/225.13 c INPROCESSING
224.40/225.13 c GARBAGE COLLECT
224.40/225.13 c #Conflicts: 382000 | #Constraints: 13594
224.40/225.13 c #Conflicts: 383000 | #Constraints: 14671
224.40/225.13 c #Conflicts: 384000 | #Constraints: 15740
224.40/225.13 c #Conflicts: 385000 | #Constraints: 16848
224.40/225.13 c #Conflicts: 386000 | #Constraints: 17920
224.40/225.13 c #Conflicts: 387000 | #Constraints: 18982
224.40/225.13 c #Conflicts: 388000 | #Constraints: 20048
224.40/225.13 c #Conflicts: 389000 | #Constraints: 21174
224.40/225.13 c #Conflicts: 390000 | #Constraints: 22232
224.40/225.13 c #Conflicts: 391000 | #Constraints: 23291
224.40/225.13 c #Conflicts: 392000 | #Constraints: 24407
224.40/225.13 c #Conflicts: 393000 | #Constraints: 25484
224.40/225.13 c #Conflicts: 394000 | #Constraints: 26545
224.40/225.13 c INPROCESSING
224.40/225.13 c GARBAGE COLLECT
224.40/225.13 c #Conflicts: 395000 | #Constraints: 14235
224.40/225.13 c #Conflicts: 396000 | #Constraints: 15354
224.40/225.13 c #Conflicts: 397000 | #Constraints: 16455
224.40/225.13 c #Conflicts: 398000 | #Constraints: 17517
224.40/225.13 c #Conflicts: 399000 | #Constraints: 18577
224.40/225.13 c #Conflicts: 400000 | #Constraints: 19640
224.40/225.13 c #Conflicts: 401000 | #Constraints: 20724
224.40/225.13 c #Conflicts: 402000 | #Constraints: 21818
224.40/225.13 c #Conflicts: 403000 | #Constraints: 22905
224.40/225.13 c #Conflicts: 404000 | #Constraints: 23990
224.40/225.13 c #Conflicts: 405000 | #Constraints: 25067
224.40/225.13 c #Conflicts: 406000 | #Constraints: 26157
224.40/225.13 c #Conflicts: 407000 | #Constraints: 27229
224.40/225.13 c INPROCESSING
224.40/225.13 c GARBAGE COLLECT
224.40/225.13 c #Conflicts: 408000 | #Constraints: 14687
224.40/225.13 c #Conflicts: 409000 | #Constraints: 15801
224.40/225.13 c #Conflicts: 410000 | #Constraints: 16879
224.40/225.13 c #Conflicts: 411000 | #Constraints: 17943
224.40/225.13 c #Conflicts: 412000 | #Constraints: 19002
224.40/225.13 c #Conflicts: 413000 | #Constraints: 20092
224.40/225.13 c #Conflicts: 414000 | #Constraints: 21197
224.40/225.13 c #Conflicts: 415000 | #Constraints: 22254
224.40/225.13 c #Conflicts: 416000 | #Constraints: 23400
224.40/225.13 c #Conflicts: 417000 | #Constraints: 24479
224.40/225.13 c #Conflicts: 418000 | #Constraints: 25526
224.40/225.13 c #Conflicts: 419000 | #Constraints: 26587
224.40/225.13 c #Conflicts: 420000 | #Constraints: 27652
224.40/225.13 c INPROCESSING
224.40/225.13 c GARBAGE COLLECT
224.40/225.13 c #Conflicts: 421000 | #Constraints: 14931
224.40/225.13 c #Conflicts: 422000 | #Constraints: 15977
224.40/225.13 c #Conflicts: 423000 | #Constraints: 17032
224.40/225.13 c #Conflicts: 424000 | #Constraints: 18102
224.40/225.13 c #Conflicts: 425000 | #Constraints: 19184
224.40/225.13 c #Conflicts: 426000 | #Constraints: 20275
224.40/225.13 c #Conflicts: 427000 | #Constraints: 21355
224.40/225.13 c #Conflicts: 428000 | #Constraints: 22461
224.40/225.13 c #Conflicts: 429000 | #Constraints: 23527
224.40/225.13 c #Conflicts: 430000 | #Constraints: 24619
224.40/225.13 c #Conflicts: 431000 | #Constraints: 25678
224.40/225.13 c #Conflicts: 432000 | #Constraints: 26766
224.40/225.13 c #Conflicts: 433000 | #Constraints: 27826
224.40/225.13 c INPROCESSING
224.40/225.13 c GARBAGE COLLECT
224.40/225.13 c rational objective 2
243.25/244.02 c #Conflicts: 434000 | #Constraints: 14855
243.25/244.02 c #Conflicts: 435000 | #Constraints: 15966
243.25/244.02 c #Conflicts: 436000 | #Constraints: 17083
243.25/244.02 c #Conflicts: 437000 | #Constraints: 18150
243.25/244.02 c #Conflicts: 438000 | #Constraints: 19228
243.25/244.02 c #Conflicts: 439000 | #Constraints: 20341
243.25/244.02 c #Conflicts: 440000 | #Constraints: 21446
243.25/244.02 c #Conflicts: 441000 | #Constraints: 22557
243.25/244.02 c #Conflicts: 442000 | #Constraints: 23628
243.25/244.02 c #Conflicts: 443000 | #Constraints: 24739
243.25/244.02 c #Conflicts: 444000 | #Constraints: 25949
243.25/244.02 c #Conflicts: 445000 | #Constraints: 27085
243.25/244.02 c #Conflicts: 446000 | #Constraints: 28203
243.25/244.02 c INPROCESSING
243.25/244.02 c GARBAGE COLLECT
243.25/244.02 c #Conflicts: 447000 | #Constraints: 14905
243.25/244.02 c #Conflicts: 448000 | #Constraints: 16014
243.25/244.02 c #Conflicts: 449000 | #Constraints: 17091
243.25/244.02 c #Conflicts: 450000 | #Constraints: 18218
243.25/244.02 c #Conflicts: 451000 | #Constraints: 19218
243.25/244.02 c #Conflicts: 452000 | #Constraints: 20227
243.25/244.02 c #Conflicts: 453000 | #Constraints: 21324
243.25/244.02 c #Conflicts: 454000 | #Constraints: 22324
243.25/244.02 c #Conflicts: 455000 | #Constraints: 23324
243.25/244.02 c #Conflicts: 456000 | #Constraints: 24324
243.25/244.02 c #Conflicts: 457000 | #Constraints: 25324
243.25/244.02 c #Conflicts: 458000 | #Constraints: 26324
243.25/244.02 c #Conflicts: 459000 | #Constraints: 27324
243.25/244.02 c #Conflicts: 460000 | #Constraints: 28324
243.25/244.02 c INPROCESSING
243.25/244.02 c GARBAGE COLLECT
243.25/244.02 c rational objective 2
254.32/255.19 c #Conflicts: 461000 | #Constraints: 15141
254.32/255.19 c #Conflicts: 462000 | #Constraints: 16221
254.32/255.19 c #Conflicts: 463000 | #Constraints: 17299
254.32/255.19 c #Conflicts: 464000 | #Constraints: 18300
254.32/255.19 c #Conflicts: 465000 | #Constraints: 19354
254.32/255.19 c #Conflicts: 466000 | #Constraints: 20432
254.32/255.19 c #Conflicts: 467000 | #Constraints: 21513
254.32/255.19 c #Conflicts: 468000 | #Constraints: 22613
254.32/255.19 c #Conflicts: 469000 | #Constraints: 23666
254.32/255.19 c #Conflicts: 470000 | #Constraints: 24707
254.32/255.19 c #Conflicts: 471000 | #Constraints: 25785
254.32/255.19 c #Conflicts: 472000 | #Constraints: 26855
254.32/255.19 c #Conflicts: 473000 | #Constraints: 27906
254.32/255.19 c #Conflicts: 474000 | #Constraints: 28968
254.32/255.19 c INPROCESSING
254.32/255.19 c GARBAGE COLLECT
254.32/255.19 c rational objective 2
266.96/267.83 c #Conflicts: 475000 | #Constraints: 15456
266.96/267.83 c #Conflicts: 476000 | #Constraints: 16456
266.96/267.83 c #Conflicts: 477000 | #Constraints: 17499
266.96/267.83 c #Conflicts: 478000 | #Constraints: 18599
266.96/267.83 c #Conflicts: 479000 | #Constraints: 19674
266.96/267.83 c #Conflicts: 480000 | #Constraints: 20776
266.96/267.83 c #Conflicts: 481000 | #Constraints: 21849
266.96/267.83 c #Conflicts: 482000 | #Constraints: 22948
266.96/267.83 c #Conflicts: 483000 | #Constraints: 24033
266.96/267.83 c #Conflicts: 484000 | #Constraints: 25121
266.96/267.83 c #Conflicts: 485000 | #Constraints: 26201
266.96/267.83 c #Conflicts: 486000 | #Constraints: 27308
266.96/267.83 c #Conflicts: 487000 | #Constraints: 28402
266.96/267.83 c #Conflicts: 488000 | #Constraints: 29508
266.96/267.83 c INPROCESSING
266.96/267.83 c GARBAGE COLLECT
266.96/267.83 c rational objective 2
279.15/280.06 c #Conflicts: 489000 | #Constraints: 15763
279.15/280.06 c #Conflicts: 490000 | #Constraints: 16763
279.15/280.06 c #Conflicts: 491000 | #Constraints: 17763
279.15/280.06 c #Conflicts: 492000 | #Constraints: 18763
279.15/280.06 c #Conflicts: 493000 | #Constraints: 19763
279.15/280.06 c #Conflicts: 494000 | #Constraints: 20763
279.15/280.06 c #Conflicts: 495000 | #Constraints: 21763
279.15/280.06 c #Conflicts: 496000 | #Constraints: 22763
279.15/280.06 c #Conflicts: 497000 | #Constraints: 23763
279.15/280.06 c #Conflicts: 498000 | #Constraints: 24763
279.15/280.06 c #Conflicts: 499000 | #Constraints: 25763
279.15/280.06 c #Conflicts: 500000 | #Constraints: 26763
279.15/280.06 c #Conflicts: 501000 | #Constraints: 27844
279.15/280.06 c #Conflicts: 502000 | #Constraints: 28944
279.15/280.06 c INPROCESSING
279.15/280.06 c GARBAGE COLLECT
279.15/280.06 c rational objective 2
290.30/291.24 c #Conflicts: 503000 | #Constraints: 15513
290.30/291.24 c #Conflicts: 504000 | #Constraints: 16576
290.30/291.24 c #Conflicts: 505000 | #Constraints: 17576
290.30/291.24 c #Conflicts: 506000 | #Constraints: 18576
290.30/291.24 c #Conflicts: 507000 | #Constraints: 19576
290.30/291.24 c #Conflicts: 508000 | #Constraints: 20576
290.30/291.24 c #Conflicts: 509000 | #Constraints: 21576
290.30/291.24 c #Conflicts: 510000 | #Constraints: 22576
290.30/291.24 c #Conflicts: 511000 | #Constraints: 23576
290.30/291.24 c #Conflicts: 512000 | #Constraints: 24576
290.30/291.24 c #Conflicts: 513000 | #Constraints: 25576
290.30/291.24 c #Conflicts: 514000 | #Constraints: 26576
290.30/291.24 c #Conflicts: 515000 | #Constraints: 27576
290.30/291.24 c #Conflicts: 516000 | #Constraints: 28576
290.30/291.24 c INPROCESSING
290.30/291.24 c GARBAGE COLLECT
290.30/291.24 c rational objective 2
301.37/302.39 c #Conflicts: 517000 | #Constraints: 14999
301.37/302.39 c #Conflicts: 518000 | #Constraints: 16040
301.37/302.39 c #Conflicts: 519000 | #Constraints: 17040
301.37/302.39 c #Conflicts: 520000 | #Constraints: 18040
301.37/302.39 c #Conflicts: 521000 | #Constraints: 19040
301.37/302.39 c #Conflicts: 522000 | #Constraints: 20040
301.37/302.39 c #Conflicts: 523000 | #Constraints: 21040
301.37/302.39 c #Conflicts: 524000 | #Constraints: 22040
301.37/302.39 c #Conflicts: 525000 | #Constraints: 23040
301.37/302.39 c #Conflicts: 526000 | #Constraints: 24040
301.37/302.39 c #Conflicts: 527000 | #Constraints: 25040
301.37/302.39 c #Conflicts: 528000 | #Constraints: 26040
301.37/302.39 c #Conflicts: 529000 | #Constraints: 27040
301.37/302.39 c #Conflicts: 530000 | #Constraints: 28071
301.37/302.39 c #Conflicts: 531000 | #Constraints: 29157
301.37/302.39 c INPROCESSING
301.37/302.39 c GARBAGE COLLECT
301.37/302.39 c rational objective 2
312.74/313.73 c #Conflicts: 532000 | #Constraints: 15562
312.74/313.73 c #Conflicts: 533000 | #Constraints: 16562
312.74/313.73 c #Conflicts: 534000 | #Constraints: 17562
312.74/313.73 c #Conflicts: 535000 | #Constraints: 18562
312.74/313.73 c #Conflicts: 536000 | #Constraints: 19562
312.74/313.73 c #Conflicts: 537000 | #Constraints: 20562
312.74/313.73 c #Conflicts: 538000 | #Constraints: 21562
312.74/313.73 c #Conflicts: 539000 | #Constraints: 22562
312.74/313.73 c #Conflicts: 540000 | #Constraints: 23562
312.74/313.73 c #Conflicts: 541000 | #Constraints: 24562
312.74/313.73 c #Conflicts: 542000 | #Constraints: 25562
312.74/313.73 c #Conflicts: 543000 | #Constraints: 26562
312.74/313.73 c #Conflicts: 544000 | #Constraints: 27562
312.74/313.73 c #Conflicts: 545000 | #Constraints: 28562
312.74/313.73 c #Conflicts: 546000 | #Constraints: 29562
312.74/313.73 c INPROCESSING
312.74/313.73 c GARBAGE COLLECT
312.74/313.73 c rational objective 2
324.01/325.06 c #Conflicts: 547000 | #Constraints: 15786
324.01/325.06 c #Conflicts: 548000 | #Constraints: 16786
324.01/325.06 c #Conflicts: 549000 | #Constraints: 17786
324.01/325.06 c #Conflicts: 550000 | #Constraints: 18786
324.01/325.06 c #Conflicts: 551000 | #Constraints: 19786
324.01/325.06 c #Conflicts: 552000 | #Constraints: 20786
324.01/325.06 c #Conflicts: 553000 | #Constraints: 21786
324.01/325.06 c #Conflicts: 554000 | #Constraints: 22786
324.01/325.06 c #Conflicts: 555000 | #Constraints: 23786
324.01/325.06 c #Conflicts: 556000 | #Constraints: 24786
324.01/325.06 c #Conflicts: 557000 | #Constraints: 25786
324.01/325.06 c #Conflicts: 558000 | #Constraints: 26786
324.01/325.06 c #Conflicts: 559000 | #Constraints: 27786
324.01/325.06 c #Conflicts: 560000 | #Constraints: 28786
324.01/325.06 c #Conflicts: 561000 | #Constraints: 29786
324.01/325.06 c INPROCESSING
324.01/325.06 c GARBAGE COLLECT
324.01/325.06 c rational objective 2
336.08/337.14 c #Conflicts: 562000 | #Constraints: 15897
336.08/337.14 c #Conflicts: 563000 | #Constraints: 16897
336.08/337.14 c #Conflicts: 564000 | #Constraints: 17897
336.08/337.14 c #Conflicts: 565000 | #Constraints: 18897
336.08/337.14 c #Conflicts: 566000 | #Constraints: 19897
336.08/337.14 c #Conflicts: 567000 | #Constraints: 20897
336.08/337.14 c #Conflicts: 568000 | #Constraints: 21897
336.08/337.14 c #Conflicts: 569000 | #Constraints: 22897
336.08/337.14 c #Conflicts: 570000 | #Constraints: 23897
336.08/337.14 c #Conflicts: 571000 | #Constraints: 24897
336.08/337.14 c #Conflicts: 572000 | #Constraints: 25897
336.08/337.14 c #Conflicts: 573000 | #Constraints: 26897
336.08/337.14 c #Conflicts: 574000 | #Constraints: 27897
336.08/337.14 c #Conflicts: 575000 | #Constraints: 28897
336.08/337.14 c #Conflicts: 576000 | #Constraints: 29897
336.08/337.14 c INPROCESSING
336.08/337.14 c GARBAGE COLLECT
336.08/337.14 c rational objective 2
348.94/350.02 c #Conflicts: 577000 | #Constraints: 15913
348.94/350.02 c #Conflicts: 578000 | #Constraints: 17196
348.94/350.02 c #Conflicts: 579000 | #Constraints: 18254
348.94/350.02 c #Conflicts: 580000 | #Constraints: 19315
348.94/350.02 c #Conflicts: 581000 | #Constraints: 20398
348.94/350.02 c #Conflicts: 582000 | #Constraints: 21477
348.94/350.02 c #Conflicts: 583000 | #Constraints: 22569
348.94/350.02 c #Conflicts: 584000 | #Constraints: 23636
348.94/350.02 c #Conflicts: 585000 | #Constraints: 24720
348.94/350.02 c #Conflicts: 586000 | #Constraints: 25819
348.94/350.02 c #Conflicts: 587000 | #Constraints: 26929
348.94/350.02 c #Conflicts: 588000 | #Constraints: 28028
348.94/350.02 c #Conflicts: 589000 | #Constraints: 29109
348.94/350.02 c #Conflicts: 590000 | #Constraints: 30192
348.94/350.02 c #Conflicts: 591000 | #Constraints: 31292
348.94/350.02 c INPROCESSING
348.94/350.02 c GARBAGE COLLECT
348.94/350.02 c rational objective 2
362.49/363.61 c #Conflicts: 592000 | #Constraints: 16384
362.49/363.61 c #Conflicts: 593000 | #Constraints: 17384
362.49/363.61 c #Conflicts: 594000 | #Constraints: 18384
362.49/363.61 c #Conflicts: 595000 | #Constraints: 19384
362.49/363.61 c #Conflicts: 596000 | #Constraints: 20384
362.49/363.61 c #Conflicts: 597000 | #Constraints: 21384
362.49/363.61 c #Conflicts: 598000 | #Constraints: 22384
362.49/363.61 c #Conflicts: 599000 | #Constraints: 23384
362.49/363.61 c #Conflicts: 600000 | #Constraints: 24384
362.49/363.61 c #Conflicts: 601000 | #Constraints: 25384
362.49/363.61 c #Conflicts: 602000 | #Constraints: 26384
362.49/363.61 c #Conflicts: 603000 | #Constraints: 27384
362.49/363.61 c #Conflicts: 604000 | #Constraints: 28384
362.49/363.61 c #Conflicts: 605000 | #Constraints: 29384
362.49/363.61 c #Conflicts: 606000 | #Constraints: 30384
362.49/363.61 c #Conflicts: 607000 | #Constraints: 31384
362.49/363.61 c INPROCESSING
362.49/363.61 c GARBAGE COLLECT
362.49/363.61 c rational objective 2
376.54/377.70 c #Conflicts: 608000 | #Constraints: 16599
376.54/377.70 c #Conflicts: 609000 | #Constraints: 17599
376.54/377.70 c #Conflicts: 610000 | #Constraints: 18599
376.54/377.70 c #Conflicts: 611000 | #Constraints: 19599
376.54/377.70 c #Conflicts: 612000 | #Constraints: 20599
376.54/377.70 c #Conflicts: 613000 | #Constraints: 21599
376.54/377.70 c #Conflicts: 614000 | #Constraints: 22599
376.54/377.70 c #Conflicts: 615000 | #Constraints: 23599
376.54/377.70 c #Conflicts: 616000 | #Constraints: 24646
376.54/377.70 c #Conflicts: 617000 | #Constraints: 25741
376.54/377.70 c #Conflicts: 618000 | #Constraints: 26849
376.54/377.70 c #Conflicts: 619000 | #Constraints: 27989
376.54/377.70 c #Conflicts: 620000 | #Constraints: 29131
376.54/377.70 c #Conflicts: 621000 | #Constraints: 30305
376.54/377.70 c #Conflicts: 622000 | #Constraints: 31421
376.54/377.70 c #Conflicts: 623000 | #Constraints: 32556
376.54/377.70 c INPROCESSING
376.54/377.70 c GARBAGE COLLECT
376.54/377.70 c rational objective 2
391.09/392.34 c #Conflicts: 624000 | #Constraints: 17282
391.09/392.34 c #Conflicts: 625000 | #Constraints: 18282
391.09/392.34 c #Conflicts: 626000 | #Constraints: 19282
391.09/392.34 c #Conflicts: 627000 | #Constraints: 20282
391.09/392.34 c #Conflicts: 628000 | #Constraints: 21282
391.09/392.34 c #Conflicts: 629000 | #Constraints: 22282
391.09/392.34 c #Conflicts: 630000 | #Constraints: 23282
391.09/392.34 c #Conflicts: 631000 | #Constraints: 24282
391.09/392.34 c #Conflicts: 632000 | #Constraints: 25282
391.09/392.34 c #Conflicts: 633000 | #Constraints: 26282
391.09/392.34 c #Conflicts: 634000 | #Constraints: 27282
391.09/392.34 c #Conflicts: 635000 | #Constraints: 28282
391.09/392.34 c #Conflicts: 636000 | #Constraints: 29282
391.09/392.34 c #Conflicts: 637000 | #Constraints: 30348
391.09/392.34 c #Conflicts: 638000 | #Constraints: 31470
391.09/392.34 c #Conflicts: 639000 | #Constraints: 32657
391.09/392.34 c INPROCESSING
391.09/392.34 c GARBAGE COLLECT
391.09/392.34 c rational objective 2
406.54/407.90 c #Conflicts: 640000 | #Constraints: 17394
406.54/407.90 c #Conflicts: 641000 | #Constraints: 18495
406.54/407.90 c #Conflicts: 642000 | #Constraints: 19590
406.54/407.90 c #Conflicts: 643000 | #Constraints: 20679
406.54/407.90 c #Conflicts: 644000 | #Constraints: 21753
406.54/407.90 c #Conflicts: 645000 | #Constraints: 22821
406.54/407.90 c #Conflicts: 646000 | #Constraints: 23896
406.54/407.90 c #Conflicts: 647000 | #Constraints: 24984
406.54/407.90 c #Conflicts: 648000 | #Constraints: 26053
406.54/407.90 c #Conflicts: 649000 | #Constraints: 27122
406.54/407.90 c #Conflicts: 650000 | #Constraints: 28180
406.54/407.90 c #Conflicts: 651000 | #Constraints: 29256
406.54/407.90 c #Conflicts: 652000 | #Constraints: 30352
406.54/407.90 c #Conflicts: 653000 | #Constraints: 31477
406.54/407.90 c #Conflicts: 654000 | #Constraints: 32553
406.54/407.90 c #Conflicts: 655000 | #Constraints: 33623
406.54/407.90 c INPROCESSING
406.54/407.90 c GARBAGE COLLECT
406.54/407.90 c rational objective 2
421.81/423.16 c #Conflicts: 656000 | #Constraints: 17721
421.81/423.16 c #Conflicts: 657000 | #Constraints: 18721
421.81/423.16 c #Conflicts: 658000 | #Constraints: 19721
421.81/423.16 c #Conflicts: 659000 | #Constraints: 20721
421.81/423.16 c #Conflicts: 660000 | #Constraints: 21721
421.81/423.16 c #Conflicts: 661000 | #Constraints: 22721
421.81/423.16 c #Conflicts: 662000 | #Constraints: 23721
421.81/423.16 c #Conflicts: 663000 | #Constraints: 24721
421.81/423.16 c #Conflicts: 664000 | #Constraints: 25721
421.81/423.16 c #Conflicts: 665000 | #Constraints: 26721
421.81/423.16 c #Conflicts: 666000 | #Constraints: 27721
421.81/423.16 c #Conflicts: 667000 | #Constraints: 28728
421.81/423.16 c #Conflicts: 668000 | #Constraints: 29819
421.81/423.16 c #Conflicts: 669000 | #Constraints: 30978
421.81/423.16 c #Conflicts: 670000 | #Constraints: 32108
421.81/423.16 c #Conflicts: 671000 | #Constraints: 33198
421.81/423.16 c INPROCESSING
421.81/423.16 c GARBAGE COLLECT
421.81/423.16 c rational objective 2
436.25/437.60 c #Conflicts: 672000 | #Constraints: 17337
436.25/437.60 c #Conflicts: 673000 | #Constraints: 18337
436.25/437.60 c #Conflicts: 674000 | #Constraints: 19337
436.25/437.60 c #Conflicts: 675000 | #Constraints: 20337
436.25/437.60 c #Conflicts: 676000 | #Constraints: 21337
436.25/437.60 c #Conflicts: 677000 | #Constraints: 22337
436.25/437.60 c #Conflicts: 678000 | #Constraints: 23337
436.25/437.60 c #Conflicts: 679000 | #Constraints: 24337
436.25/437.60 c #Conflicts: 680000 | #Constraints: 25337
436.25/437.60 c #Conflicts: 681000 | #Constraints: 26337
436.25/437.60 c #Conflicts: 682000 | #Constraints: 27337
436.25/437.60 c #Conflicts: 683000 | #Constraints: 28337
436.25/437.60 c #Conflicts: 684000 | #Constraints: 29337
436.25/437.60 c #Conflicts: 685000 | #Constraints: 30337
436.25/437.60 c #Conflicts: 686000 | #Constraints: 31337
436.25/437.60 c #Conflicts: 687000 | #Constraints: 32367
436.25/437.60 c #Conflicts: 688000 | #Constraints: 33437
436.25/437.60 c INPROCESSING
436.25/437.60 c GARBAGE COLLECT
436.25/437.60 c rational objective 2
449.81/451.29 c #Conflicts: 689000 | #Constraints: 17631
449.81/451.29 c #Conflicts: 690000 | #Constraints: 18631
449.81/451.29 c #Conflicts: 691000 | #Constraints: 19631
449.81/451.29 c #Conflicts: 692000 | #Constraints: 20631
449.81/451.29 c #Conflicts: 693000 | #Constraints: 21631
449.81/451.29 c #Conflicts: 694000 | #Constraints: 22631
449.81/451.29 c #Conflicts: 695000 | #Constraints: 23631
449.81/451.29 c #Conflicts: 696000 | #Constraints: 24631
449.81/451.29 c #Conflicts: 697000 | #Constraints: 25631
449.81/451.29 c #Conflicts: 698000 | #Constraints: 26631
449.81/451.29 c #Conflicts: 699000 | #Constraints: 27631
449.81/451.29 c #Conflicts: 700000 | #Constraints: 28631
449.81/451.29 c #Conflicts: 701000 | #Constraints: 29631
449.81/451.29 c #Conflicts: 702000 | #Constraints: 30631
449.81/451.29 c #Conflicts: 703000 | #Constraints: 31631
449.81/451.29 c #Conflicts: 704000 | #Constraints: 32633
449.81/451.29 c #Conflicts: 705000 | #Constraints: 33747
449.81/451.29 c INPROCESSING
449.81/451.29 c GARBAGE COLLECT
449.81/451.29 c rational objective 2
464.27/465.74 c #Conflicts: 706000 | #Constraints: 18007
464.27/465.74 c #Conflicts: 707000 | #Constraints: 19141
464.27/465.74 c #Conflicts: 708000 | #Constraints: 20303
464.27/465.74 c #Conflicts: 709000 | #Constraints: 21468
464.27/465.74 c #Conflicts: 710000 | #Constraints: 22643
464.27/465.74 c #Conflicts: 711000 | #Constraints: 23803
464.27/465.74 c #Conflicts: 712000 | #Constraints: 24967
464.27/465.74 c #Conflicts: 713000 | #Constraints: 26109
464.27/465.74 c #Conflicts: 714000 | #Constraints: 27263
464.27/465.74 c #Conflicts: 715000 | #Constraints: 28455
464.27/465.74 c #Conflicts: 716000 | #Constraints: 29642
464.27/465.74 c #Conflicts: 717000 | #Constraints: 30790
464.27/465.74 c #Conflicts: 718000 | #Constraints: 31944
464.27/465.74 c #Conflicts: 719000 | #Constraints: 33042
464.27/465.74 c #Conflicts: 720000 | #Constraints: 34153
464.27/465.74 c #Conflicts: 721000 | #Constraints: 35271
464.27/465.74 c #Conflicts: 722000 | #Constraints: 36396
464.27/465.74 c INPROCESSING
464.27/465.74 c GARBAGE COLLECT
464.27/465.74 c rational objective 2
481.13/482.64 c #Conflicts: 723000 | #Constraints: 19292
481.13/482.64 c #Conflicts: 724000 | #Constraints: 20386
481.13/482.64 c #Conflicts: 725000 | #Constraints: 21478
481.13/482.64 c #Conflicts: 726000 | #Constraints: 22563
481.13/482.64 c #Conflicts: 727000 | #Constraints: 23662
481.13/482.64 c #Conflicts: 728000 | #Constraints: 24768
481.13/482.64 c #Conflicts: 729000 | #Constraints: 25860
481.13/482.64 c #Conflicts: 730000 | #Constraints: 26956
481.13/482.64 c #Conflicts: 731000 | #Constraints: 28040
481.13/482.64 c #Conflicts: 732000 | #Constraints: 29133
481.13/482.64 c #Conflicts: 733000 | #Constraints: 30240
481.13/482.64 c #Conflicts: 734000 | #Constraints: 31349
481.13/482.64 c #Conflicts: 735000 | #Constraints: 32473
481.13/482.64 c #Conflicts: 736000 | #Constraints: 33602
481.13/482.64 c #Conflicts: 737000 | #Constraints: 34712
481.13/482.64 c #Conflicts: 738000 | #Constraints: 35828
481.13/482.64 c #Conflicts: 739000 | #Constraints: 36938
481.13/482.64 c INPROCESSING
481.13/482.64 c GARBAGE COLLECT
481.13/482.64 c rational objective 2
497.97/499.54 c #Conflicts: 740000 | #Constraints: 19450
497.97/499.54 c #Conflicts: 741000 | #Constraints: 20521
497.97/499.54 c #Conflicts: 742000 | #Constraints: 21634
497.97/499.54 c #Conflicts: 743000 | #Constraints: 22745
497.97/499.54 c #Conflicts: 744000 | #Constraints: 23833
497.97/499.54 c #Conflicts: 745000 | #Constraints: 24933
497.97/499.54 c #Conflicts: 746000 | #Constraints: 26039
497.97/499.54 c #Conflicts: 747000 | #Constraints: 27145
497.97/499.54 c #Conflicts: 748000 | #Constraints: 28243
497.97/499.54 c #Conflicts: 749000 | #Constraints: 29325
497.97/499.54 c #Conflicts: 750000 | #Constraints: 30400
497.97/499.54 c #Conflicts: 751000 | #Constraints: 31491
497.97/499.54 c #Conflicts: 752000 | #Constraints: 32605
497.97/499.54 c #Conflicts: 753000 | #Constraints: 33697
497.97/499.54 c #Conflicts: 754000 | #Constraints: 34811
497.97/499.54 c #Conflicts: 755000 | #Constraints: 35922
497.97/499.54 c #Conflicts: 756000 | #Constraints: 37092
497.97/499.54 c INPROCESSING
497.97/499.54 c GARBAGE COLLECT
497.97/499.54 c rational objective 2
514.54/516.19 c #Conflicts: 757000 | #Constraints: 19294
514.54/516.19 c #Conflicts: 758000 | #Constraints: 20294
514.54/516.19 c #Conflicts: 759000 | #Constraints: 21294
514.54/516.19 c #Conflicts: 760000 | #Constraints: 22294
514.54/516.19 c #Conflicts: 761000 | #Constraints: 23294
514.54/516.19 c #Conflicts: 762000 | #Constraints: 24294
514.54/516.19 c #Conflicts: 763000 | #Constraints: 25302
514.54/516.19 c #Conflicts: 764000 | #Constraints: 26405
514.54/516.19 c #Conflicts: 765000 | #Constraints: 27526
514.54/516.19 c #Conflicts: 766000 | #Constraints: 28645
514.54/516.19 c #Conflicts: 767000 | #Constraints: 29757
514.54/516.19 c #Conflicts: 768000 | #Constraints: 30897
514.54/516.19 c #Conflicts: 769000 | #Constraints: 32070
514.54/516.19 c #Conflicts: 770000 | #Constraints: 33162
514.54/516.19 c #Conflicts: 771000 | #Constraints: 34275
514.54/516.19 c #Conflicts: 772000 | #Constraints: 35421
514.54/516.19 c #Conflicts: 773000 | #Constraints: 36531
514.54/516.19 c #Conflicts: 774000 | #Constraints: 37652
514.54/516.19 c INPROCESSING
514.54/516.19 c GARBAGE COLLECT
514.54/516.19 c rational objective 2
531.88/533.55 c #Conflicts: 775000 | #Constraints: 19744
531.88/533.55 c #Conflicts: 776000 | #Constraints: 20744
531.88/533.55 c #Conflicts: 777000 | #Constraints: 21744
531.88/533.55 c #Conflicts: 778000 | #Constraints: 22744
531.88/533.55 c #Conflicts: 779000 | #Constraints: 23744
531.88/533.55 c #Conflicts: 780000 | #Constraints: 24744
531.88/533.55 c #Conflicts: 781000 | #Constraints: 25744
531.88/533.55 c #Conflicts: 782000 | #Constraints: 26744
531.88/533.55 c #Conflicts: 783000 | #Constraints: 27744
531.88/533.55 c #Conflicts: 784000 | #Constraints: 28744
531.88/533.55 c #Conflicts: 785000 | #Constraints: 29744
531.88/533.55 c #Conflicts: 786000 | #Constraints: 30744
531.88/533.55 c #Conflicts: 787000 | #Constraints: 31744
531.88/533.55 c #Conflicts: 788000 | #Constraints: 32744
531.88/533.55 c #Conflicts: 789000 | #Constraints: 33744
531.88/533.55 c #Conflicts: 790000 | #Constraints: 34744
531.88/533.55 c #Conflicts: 791000 | #Constraints: 35744
531.88/533.55 c #Conflicts: 792000 | #Constraints: 36744
531.88/533.55 c INPROCESSING
531.88/533.55 c GARBAGE COLLECT
531.88/533.55 c rational objective 2
550.12/551.90 c #Conflicts: 793000 | #Constraints: 19479
550.12/551.90 c #Conflicts: 794000 | #Constraints: 20633
550.12/551.90 c #Conflicts: 795000 | #Constraints: 21799
550.12/551.90 c #Conflicts: 796000 | #Constraints: 22918
550.12/551.90 c #Conflicts: 797000 | #Constraints: 24051
550.12/551.90 c #Conflicts: 798000 | #Constraints: 25171
550.12/551.90 c #Conflicts: 799000 | #Constraints: 26279
550.12/551.90 c #Conflicts: 800000 | #Constraints: 27422
550.12/551.90 c #Conflicts: 801000 | #Constraints: 28548
550.12/551.90 c #Conflicts: 802000 | #Constraints: 29697
550.12/551.90 c #Conflicts: 803000 | #Constraints: 30795
550.12/551.90 c #Conflicts: 804000 | #Constraints: 31892
550.12/551.90 c #Conflicts: 805000 | #Constraints: 33037
550.12/551.90 c #Conflicts: 806000 | #Constraints: 34173
550.12/551.90 c #Conflicts: 807000 | #Constraints: 35309
550.12/551.90 c #Conflicts: 808000 | #Constraints: 36409
550.12/551.90 c #Conflicts: 809000 | #Constraints: 37517
550.12/551.90 c #Conflicts: 810000 | #Constraints: 38626
550.12/551.90 c INPROCESSING
550.12/551.90 c GARBAGE COLLECT
550.12/551.90 c rational objective 2
567.97/569.79 c #Conflicts: 811000 | #Constraints: 20376
567.97/569.79 c #Conflicts: 812000 | #Constraints: 21475
567.97/569.79 c #Conflicts: 813000 | #Constraints: 22583
567.97/569.79 c #Conflicts: 814000 | #Constraints: 23698
567.97/569.79 c #Conflicts: 815000 | #Constraints: 24795
567.97/569.79 c #Conflicts: 816000 | #Constraints: 25891
567.97/569.79 c #Conflicts: 817000 | #Constraints: 26992
567.97/569.79 c #Conflicts: 818000 | #Constraints: 28094
567.97/569.79 c #Conflicts: 819000 | #Constraints: 29192
567.97/569.79 c #Conflicts: 820000 | #Constraints: 30314
567.97/569.79 c #Conflicts: 821000 | #Constraints: 31409
567.97/569.79 c #Conflicts: 822000 | #Constraints: 32546
567.97/569.79 c #Conflicts: 823000 | #Constraints: 33678
567.97/569.79 c #Conflicts: 824000 | #Constraints: 34876
567.97/569.79 c #Conflicts: 825000 | #Constraints: 36029
567.97/569.79 c #Conflicts: 826000 | #Constraints: 37163
567.97/569.79 c #Conflicts: 827000 | #Constraints: 38270
567.97/569.79 c #Conflicts: 828000 | #Constraints: 39372
567.97/569.79 c INPROCESSING
567.97/569.79 c GARBAGE COLLECT
567.97/569.79 c rational objective 2
589.90/591.72 c #Conflicts: 829000 | #Constraints: 20663
589.90/591.72 c #Conflicts: 830000 | #Constraints: 21695
589.90/591.72 c #Conflicts: 831000 | #Constraints: 22740
589.90/591.72 c #Conflicts: 832000 | #Constraints: 23804
589.90/591.72 c #Conflicts: 833000 | #Constraints: 24865
589.90/591.72 c #Conflicts: 834000 | #Constraints: 25912
589.90/591.72 c #Conflicts: 835000 | #Constraints: 26974
589.90/591.72 c #Conflicts: 836000 | #Constraints: 28031
589.90/591.72 c #Conflicts: 837000 | #Constraints: 29100
589.90/591.72 c #Conflicts: 838000 | #Constraints: 30175
589.90/591.72 c #Conflicts: 839000 | #Constraints: 31260
589.90/591.72 c #Conflicts: 840000 | #Constraints: 32319
589.90/591.72 c #Conflicts: 841000 | #Constraints: 33382
589.90/591.72 c #Conflicts: 842000 | #Constraints: 34445
589.90/591.72 c #Conflicts: 843000 | #Constraints: 35445
589.90/591.72 c #Conflicts: 844000 | #Constraints: 36495
589.90/591.72 c #Conflicts: 845000 | #Constraints: 37544
589.90/591.72 c #Conflicts: 846000 | #Constraints: 38583
589.90/591.72 c INPROCESSING
589.90/591.72 c GARBAGE COLLECT
589.90/591.72 c rational objective 2
609.04/610.99 c #Conflicts: 847000 | #Constraints: 20012
609.04/610.99 c #Conflicts: 848000 | #Constraints: 21090
609.04/610.99 c #Conflicts: 849000 | #Constraints: 22240
609.04/610.99 c #Conflicts: 850000 | #Constraints: 23308
609.04/610.99 c #Conflicts: 851000 | #Constraints: 24371
609.04/610.99 c #Conflicts: 852000 | #Constraints: 25446
609.04/610.99 c #Conflicts: 853000 | #Constraints: 26613
609.04/610.99 c #Conflicts: 854000 | #Constraints: 27709
609.04/610.99 c #Conflicts: 855000 | #Constraints: 28792
609.04/610.99 c #Conflicts: 856000 | #Constraints: 29910
609.04/610.99 c #Conflicts: 857000 | #Constraints: 31012
609.04/610.99 c #Conflicts: 858000 | #Constraints: 32086
609.04/610.99 c #Conflicts: 859000 | #Constraints: 33187
609.04/610.99 c #Conflicts: 860000 | #Constraints: 34296
609.04/610.99 c #Conflicts: 861000 | #Constraints: 35396
609.04/610.99 c #Conflicts: 862000 | #Constraints: 36456
609.04/610.99 c #Conflicts: 863000 | #Constraints: 37557
609.04/610.99 c #Conflicts: 864000 | #Constraints: 38637
609.04/610.99 c #Conflicts: 865000 | #Constraints: 39731
609.04/610.99 c INPROCESSING
609.04/610.99 c GARBAGE COLLECT
609.04/610.99 c rational objective 2
630.09/632.08 c #Conflicts: 866000 | #Constraints: 20790
630.09/632.08 c #Conflicts: 867000 | #Constraints: 21791
630.09/632.08 c #Conflicts: 868000 | #Constraints: 22901
630.09/632.08 c #Conflicts: 869000 | #Constraints: 24053
630.09/632.08 c #Conflicts: 870000 | #Constraints: 25154
630.09/632.08 c #Conflicts: 871000 | #Constraints: 26308
630.09/632.08 c #Conflicts: 872000 | #Constraints: 27452
630.09/632.08 c #Conflicts: 873000 | #Constraints: 28620
630.09/632.08 c #Conflicts: 874000 | #Constraints: 29755
630.09/632.08 c #Conflicts: 875000 | #Constraints: 30894
630.09/632.08 c #Conflicts: 876000 | #Constraints: 32069
630.09/632.08 c #Conflicts: 877000 | #Constraints: 33199
630.09/632.08 c #Conflicts: 878000 | #Constraints: 34307
630.09/632.08 c #Conflicts: 879000 | #Constraints: 35407
630.09/632.08 c #Conflicts: 880000 | #Constraints: 36527
630.09/632.08 c #Conflicts: 881000 | #Constraints: 37641
630.09/632.08 c #Conflicts: 882000 | #Constraints: 38754
630.09/632.08 c #Conflicts: 883000 | #Constraints: 39857
630.09/632.08 c #Conflicts: 884000 | #Constraints: 41008
630.09/632.08 c INPROCESSING
630.09/632.08 c GARBAGE COLLECT
630.09/632.08 c rational objective 2
652.21/654.26 c #Conflicts: 885000 | #Constraints: 21513
652.21/654.26 c #Conflicts: 886000 | #Constraints: 22513
652.21/654.26 c #Conflicts: 887000 | #Constraints: 23517
652.21/654.26 c #Conflicts: 888000 | #Constraints: 24602
652.21/654.26 c #Conflicts: 889000 | #Constraints: 25717
652.21/654.26 c #Conflicts: 890000 | #Constraints: 26821
652.21/654.26 c #Conflicts: 891000 | #Constraints: 27915
652.21/654.26 c #Conflicts: 892000 | #Constraints: 29090
652.21/654.26 c #Conflicts: 893000 | #Constraints: 30183
652.21/654.26 c #Conflicts: 894000 | #Constraints: 31294
652.21/654.26 c #Conflicts: 895000 | #Constraints: 32392
652.21/654.26 c #Conflicts: 896000 | #Constraints: 33508
652.21/654.26 c #Conflicts: 897000 | #Constraints: 34584
652.21/654.26 c #Conflicts: 898000 | #Constraints: 35693
652.21/654.26 c #Conflicts: 899000 | #Constraints: 36836
652.21/654.26 c #Conflicts: 900000 | #Constraints: 37974
652.21/654.26 c #Conflicts: 901000 | #Constraints: 39053
652.21/654.26 c #Conflicts: 902000 | #Constraints: 40165
652.21/654.26 c #Conflicts: 903000 | #Constraints: 41346
652.21/654.26 c INPROCESSING
652.21/654.26 c GARBAGE COLLECT
652.21/654.26 c rational objective 2
673.44/675.53 c #Conflicts: 904000 | #Constraints: 21757
673.44/675.53 c #Conflicts: 905000 | #Constraints: 22899
673.44/675.53 c #Conflicts: 906000 | #Constraints: 23998
673.44/675.53 c #Conflicts: 907000 | #Constraints: 25123
673.44/675.53 c #Conflicts: 908000 | #Constraints: 26227
673.44/675.53 c #Conflicts: 909000 | #Constraints: 27352
673.44/675.53 c #Conflicts: 910000 | #Constraints: 28449
673.44/675.53 c #Conflicts: 911000 | #Constraints: 29540
673.44/675.53 c #Conflicts: 912000 | #Constraints: 30673
673.44/675.53 c #Conflicts: 913000 | #Constraints: 31822
673.44/675.53 c #Conflicts: 914000 | #Constraints: 32938
673.44/675.53 c #Conflicts: 915000 | #Constraints: 34060
673.44/675.53 c #Conflicts: 916000 | #Constraints: 35143
673.44/675.53 c #Conflicts: 917000 | #Constraints: 36246
673.44/675.53 c #Conflicts: 918000 | #Constraints: 37335
673.44/675.53 c #Conflicts: 919000 | #Constraints: 38482
673.44/675.53 c #Conflicts: 920000 | #Constraints: 39617
673.44/675.53 c #Conflicts: 921000 | #Constraints: 40738
673.44/675.53 c #Conflicts: 922000 | #Constraints: 41879
673.44/675.53 c INPROCESSING
673.44/675.53 c GARBAGE COLLECT
673.44/675.53 c rational objective 2
694.59/696.78 c #Conflicts: 923000 | #Constraints: 21853
694.59/696.78 c #Conflicts: 924000 | #Constraints: 22853
694.59/696.78 c #Conflicts: 925000 | #Constraints: 23853
694.59/696.78 c #Conflicts: 926000 | #Constraints: 24853
694.59/696.78 c #Conflicts: 927000 | #Constraints: 25853
694.59/696.78 c #Conflicts: 928000 | #Constraints: 26853
694.59/696.78 c #Conflicts: 929000 | #Constraints: 27853
694.59/696.78 c #Conflicts: 930000 | #Constraints: 28853
694.59/696.78 c #Conflicts: 931000 | #Constraints: 29853
694.59/696.78 c #Conflicts: 932000 | #Constraints: 30853
694.59/696.78 c #Conflicts: 933000 | #Constraints: 31853
694.59/696.78 c #Conflicts: 934000 | #Constraints: 32853
694.59/696.78 c #Conflicts: 935000 | #Constraints: 33853
694.59/696.78 c #Conflicts: 936000 | #Constraints: 34853
694.59/696.78 c #Conflicts: 937000 | #Constraints: 35853
694.59/696.78 c #Conflicts: 938000 | #Constraints: 36853
694.59/696.78 c #Conflicts: 939000 | #Constraints: 37853
694.59/696.78 c #Conflicts: 940000 | #Constraints: 38853
694.59/696.78 c #Conflicts: 941000 | #Constraints: 39853
694.59/696.78 c INPROCESSING
694.59/696.78 c GARBAGE COLLECT
694.59/696.78 c rational objective 2
714.62/716.89 c #Conflicts: 942000 | #Constraints: 20671
714.62/716.89 c #Conflicts: 943000 | #Constraints: 21775
714.62/716.89 c #Conflicts: 944000 | #Constraints: 22881
714.62/716.89 c #Conflicts: 945000 | #Constraints: 23990
714.62/716.89 c #Conflicts: 946000 | #Constraints: 25098
714.62/716.89 c #Conflicts: 947000 | #Constraints: 26188
714.62/716.89 c #Conflicts: 948000 | #Constraints: 27318
714.62/716.89 c #Conflicts: 949000 | #Constraints: 28417
714.62/716.89 c #Conflicts: 950000 | #Constraints: 29531
714.62/716.89 c #Conflicts: 951000 | #Constraints: 30640
714.62/716.89 c #Conflicts: 952000 | #Constraints: 31769
714.62/716.89 c #Conflicts: 953000 | #Constraints: 32908
714.62/716.89 c #Conflicts: 954000 | #Constraints: 34044
714.62/716.89 c #Conflicts: 955000 | #Constraints: 35196
714.62/716.89 c #Conflicts: 956000 | #Constraints: 36340
714.62/716.89 c #Conflicts: 957000 | #Constraints: 37448
714.62/716.89 c #Conflicts: 958000 | #Constraints: 38618
714.62/716.89 c #Conflicts: 959000 | #Constraints: 39633
714.62/716.89 c #Conflicts: 960000 | #Constraints: 40699
714.62/716.89 c #Conflicts: 961000 | #Constraints: 41827
714.62/716.90 c INPROCESSING
714.62/716.90 c GARBAGE COLLECT
714.62/716.90 c rational objective 2
743.24/745.57 c #Conflicts: 962000 | #Constraints: 22128
743.24/745.57 c #Conflicts: 963000 | #Constraints: 23284
743.24/745.57 c #Conflicts: 964000 | #Constraints: 24466
743.24/745.57 c #Conflicts: 965000 | #Constraints: 25643
743.24/745.57 c #Conflicts: 966000 | #Constraints: 26877
743.24/745.57 c #Conflicts: 967000 | #Constraints: 27990
743.24/745.57 c #Conflicts: 968000 | #Constraints: 29110
743.24/745.57 c #Conflicts: 969000 | #Constraints: 30215
743.24/745.57 c #Conflicts: 970000 | #Constraints: 31282
743.24/745.57 c #Conflicts: 971000 | #Constraints: 32363
743.24/745.57 c #Conflicts: 972000 | #Constraints: 33434
743.24/745.57 c #Conflicts: 973000 | #Constraints: 34545
743.24/745.57 c #Conflicts: 974000 | #Constraints: 35635
743.24/745.57 c #Conflicts: 975000 | #Constraints: 36718
743.24/745.57 c #Conflicts: 976000 | #Constraints: 37777
743.24/745.57 c #Conflicts: 977000 | #Constraints: 38791
743.24/745.57 c #Conflicts: 978000 | #Constraints: 39791
743.24/745.57 c #Conflicts: 979000 | #Constraints: 40861
743.24/745.57 c #Conflicts: 980000 | #Constraints: 41934
743.24/745.57 c #Conflicts: 981000 | #Constraints: 43053
743.24/745.57 c INPROCESSING
743.24/745.57 c GARBAGE COLLECT
743.24/745.57 c rational objective 2
768.77/771.14 c #Conflicts: 982000 | #Constraints: 22581
768.77/771.14 c #Conflicts: 983000 | #Constraints: 23684
768.77/771.14 c #Conflicts: 984000 | #Constraints: 24688
768.77/771.14 c #Conflicts: 985000 | #Constraints: 25811
768.77/771.14 c #Conflicts: 986000 | #Constraints: 26937
768.77/771.14 c #Conflicts: 987000 | #Constraints: 28033
768.77/771.14 c #Conflicts: 988000 | #Constraints: 29187
768.77/771.14 c #Conflicts: 989000 | #Constraints: 30258
768.77/771.14 c #Conflicts: 990000 | #Constraints: 31360
768.77/771.14 c #Conflicts: 991000 | #Constraints: 32480
768.77/771.14 c #Conflicts: 992000 | #Constraints: 33556
768.77/771.14 c #Conflicts: 993000 | #Constraints: 34629
768.77/771.14 c #Conflicts: 994000 | #Constraints: 35700
768.77/771.14 c #Conflicts: 995000 | #Constraints: 36768
768.77/771.14 c #Conflicts: 996000 | #Constraints: 37816
768.77/771.14 c #Conflicts: 997000 | #Constraints: 38817
768.77/771.14 c #Conflicts: 998000 | #Constraints: 39817
768.77/771.14 c #Conflicts: 999000 | #Constraints: 40817
768.77/771.14 c #Conflicts: 1000000 | #Constraints: 41817
768.77/771.14 c #Conflicts: 1001000 | #Constraints: 42869
768.77/771.14 c INPROCESSING
768.77/771.14 c GARBAGE COLLECT
768.77/771.14 c rational objective 2
791.60/794.06 c #Conflicts: 1002000 | #Constraints: 22540
791.60/794.06 c #Conflicts: 1003000 | #Constraints: 23609
791.60/794.06 c #Conflicts: 1004000 | #Constraints: 24712
791.60/794.06 c #Conflicts: 1005000 | #Constraints: 25811
791.60/794.06 c #Conflicts: 1006000 | #Constraints: 26929
791.60/794.06 c #Conflicts: 1007000 | #Constraints: 27988
791.60/794.06 c #Conflicts: 1008000 | #Constraints: 28988
791.60/794.06 c #Conflicts: 1009000 | #Constraints: 30002
791.60/794.06 c #Conflicts: 1010000 | #Constraints: 31053
791.60/794.06 c #Conflicts: 1011000 | #Constraints: 32113
791.60/794.06 c #Conflicts: 1012000 | #Constraints: 33188
791.60/794.06 c #Conflicts: 1013000 | #Constraints: 34188
791.60/794.06 c #Conflicts: 1014000 | #Constraints: 35280
791.60/794.06 c #Conflicts: 1015000 | #Constraints: 36321
791.60/794.06 c #Conflicts: 1016000 | #Constraints: 37321
791.60/794.06 c #Conflicts: 1017000 | #Constraints: 38359
791.60/794.06 c #Conflicts: 1018000 | #Constraints: 39365
791.60/794.06 c #Conflicts: 1019000 | #Constraints: 40377
791.60/794.06 c #Conflicts: 1020000 | #Constraints: 41377
791.60/794.06 c #Conflicts: 1021000 | #Constraints: 42385
791.60/794.06 c INPROCESSING
791.60/794.06 c GARBAGE COLLECT
791.60/794.06 c rational objective 2
816.54/819.02 c #Conflicts: 1022000 | #Constraints: 22113
816.54/819.02 c #Conflicts: 1023000 | #Constraints: 23205
816.54/819.02 c #Conflicts: 1024000 | #Constraints: 24321
816.54/819.02 c #Conflicts: 1025000 | #Constraints: 25435
816.54/819.02 c #Conflicts: 1026000 | #Constraints: 26444
816.54/819.02 c #Conflicts: 1027000 | #Constraints: 27450
816.54/819.02 c #Conflicts: 1028000 | #Constraints: 28450
816.54/819.02 c #Conflicts: 1029000 | #Constraints: 29457
816.54/819.02 c #Conflicts: 1030000 | #Constraints: 30457
816.54/819.02 c #Conflicts: 1031000 | #Constraints: 31461
816.54/819.02 c #Conflicts: 1032000 | #Constraints: 32461
816.54/819.02 c #Conflicts: 1033000 | #Constraints: 33480
816.54/819.02 c #Conflicts: 1034000 | #Constraints: 34480
816.54/819.02 c #Conflicts: 1035000 | #Constraints: 35545
816.54/819.02 c #Conflicts: 1036000 | #Constraints: 36616
816.54/819.02 c #Conflicts: 1037000 | #Constraints: 37687
816.54/819.02 c #Conflicts: 1038000 | #Constraints: 38743
816.54/819.02 c #Conflicts: 1039000 | #Constraints: 39762
816.54/819.02 c #Conflicts: 1040000 | #Constraints: 40762
816.54/819.02 c #Conflicts: 1041000 | #Constraints: 41799
816.54/819.02 c INPROCESSING
816.54/819.02 c GARBAGE COLLECT
816.54/819.02 c rational objective 2
845.93/848.57 c #Conflicts: 1042000 | #Constraints: 21631
845.93/848.57 c #Conflicts: 1043000 | #Constraints: 22668
845.93/848.57 c #Conflicts: 1044000 | #Constraints: 23754
845.93/848.57 c #Conflicts: 1045000 | #Constraints: 24855
845.93/848.57 c #Conflicts: 1046000 | #Constraints: 25962
845.93/848.57 c #Conflicts: 1047000 | #Constraints: 27039
845.93/848.57 c #Conflicts: 1048000 | #Constraints: 28127
845.93/848.57 c #Conflicts: 1049000 | #Constraints: 29230
845.93/848.57 c #Conflicts: 1050000 | #Constraints: 30325
845.93/848.57 c #Conflicts: 1051000 | #Constraints: 31405
845.93/848.57 c #Conflicts: 1052000 | #Constraints: 32484
845.93/848.57 c #Conflicts: 1053000 | #Constraints: 33575
845.93/848.57 c #Conflicts: 1054000 | #Constraints: 34690
845.93/848.57 c #Conflicts: 1055000 | #Constraints: 35792
845.93/848.57 c #Conflicts: 1056000 | #Constraints: 36888
845.93/848.57 c #Conflicts: 1057000 | #Constraints: 38001
845.93/848.57 c #Conflicts: 1058000 | #Constraints: 39037
845.93/848.57 c #Conflicts: 1059000 | #Constraints: 40133
845.93/848.57 c #Conflicts: 1060000 | #Constraints: 41212
845.93/848.57 c #Conflicts: 1061000 | #Constraints: 42299
845.93/848.57 c #Conflicts: 1062000 | #Constraints: 43375
845.93/848.57 c INPROCESSING
845.93/848.57 c GARBAGE COLLECT
845.93/848.57 c rational objective 2
876.23/878.95 c #Conflicts: 1063000 | #Constraints: 22643
876.23/878.95 c #Conflicts: 1064000 | #Constraints: 23743
876.23/878.95 c #Conflicts: 1065000 | #Constraints: 24799
876.23/878.95 c #Conflicts: 1066000 | #Constraints: 25869
876.23/878.95 c #Conflicts: 1067000 | #Constraints: 26933
876.23/878.95 c #Conflicts: 1068000 | #Constraints: 28010
876.23/878.95 c #Conflicts: 1069000 | #Constraints: 29115
876.23/878.95 c #Conflicts: 1070000 | #Constraints: 30208
876.23/878.95 c #Conflicts: 1071000 | #Constraints: 31279
876.23/878.95 c #Conflicts: 1072000 | #Constraints: 32338
876.23/878.95 c #Conflicts: 1073000 | #Constraints: 33401
876.23/878.95 c #Conflicts: 1074000 | #Constraints: 34462
876.23/878.95 c #Conflicts: 1075000 | #Constraints: 35548
876.23/878.95 c #Conflicts: 1076000 | #Constraints: 36616
876.23/878.95 c #Conflicts: 1077000 | #Constraints: 37710
876.23/878.95 c #Conflicts: 1078000 | #Constraints: 38779
876.23/878.95 c #Conflicts: 1079000 | #Constraints: 39903
876.23/878.95 c #Conflicts: 1080000 | #Constraints: 40984
876.23/878.95 c #Conflicts: 1081000 | #Constraints: 42062
876.23/878.95 c #Conflicts: 1082000 | #Constraints: 43139
876.23/878.95 c #Conflicts: 1083000 | #Constraints: 44197
876.23/878.95 c INPROCESSING
876.23/878.95 c GARBAGE COLLECT
876.23/878.95 c rational objective 2
903.93/906.73 c #Conflicts: 1084000 | #Constraints: 23105
903.93/906.73 c #Conflicts: 1085000 | #Constraints: 24105
903.93/906.73 c #Conflicts: 1086000 | #Constraints: 25105
903.93/906.73 c #Conflicts: 1087000 | #Constraints: 26105
903.93/906.73 c #Conflicts: 1088000 | #Constraints: 27105
903.93/906.73 c #Conflicts: 1089000 | #Constraints: 28105
903.93/906.73 c #Conflicts: 1090000 | #Constraints: 29105
903.93/906.73 c #Conflicts: 1091000 | #Constraints: 30105
903.93/906.73 c #Conflicts: 1092000 | #Constraints: 31105
903.93/906.73 c #Conflicts: 1093000 | #Constraints: 32105
903.93/906.73 c #Conflicts: 1094000 | #Constraints: 33105
903.93/906.73 c #Conflicts: 1095000 | #Constraints: 34105
903.93/906.73 c #Conflicts: 1096000 | #Constraints: 35105
903.93/906.73 c #Conflicts: 1097000 | #Constraints: 36105
903.93/906.73 c #Conflicts: 1098000 | #Constraints: 37105
903.93/906.73 c #Conflicts: 1099000 | #Constraints: 38105
903.93/906.73 c #Conflicts: 1100000 | #Constraints: 39105
903.93/906.73 c #Conflicts: 1101000 | #Constraints: 40105
903.93/906.73 c #Conflicts: 1102000 | #Constraints: 41105
903.93/906.73 c #Conflicts: 1103000 | #Constraints: 42105
903.93/906.73 c #Conflicts: 1104000 | #Constraints: 43105
903.93/906.73 c INPROCESSING
903.93/906.73 c GARBAGE COLLECT
903.93/906.73 c rational objective 2
929.17/932.03 c #Conflicts: 1105000 | #Constraints: 22560
929.17/932.03 c #Conflicts: 1106000 | #Constraints: 23560
929.17/932.03 c #Conflicts: 1107000 | #Constraints: 24560
929.17/932.03 c #Conflicts: 1108000 | #Constraints: 25560
929.17/932.03 c #Conflicts: 1109000 | #Constraints: 26560
929.17/932.03 c #Conflicts: 1110000 | #Constraints: 27560
929.17/932.03 c #Conflicts: 1111000 | #Constraints: 28560
929.17/932.03 c #Conflicts: 1112000 | #Constraints: 29560
929.17/932.03 c #Conflicts: 1113000 | #Constraints: 30560
929.17/932.03 c #Conflicts: 1114000 | #Constraints: 31560
929.17/932.03 c #Conflicts: 1115000 | #Constraints: 32560
929.17/932.03 c #Conflicts: 1116000 | #Constraints: 33560
929.17/932.03 c #Conflicts: 1117000 | #Constraints: 34560
929.17/932.03 c #Conflicts: 1118000 | #Constraints: 35560
929.17/932.03 c #Conflicts: 1119000 | #Constraints: 36560
929.17/932.03 c #Conflicts: 1120000 | #Constraints: 37560
929.17/932.03 c #Conflicts: 1121000 | #Constraints: 38560
929.17/932.03 c #Conflicts: 1122000 | #Constraints: 39560
929.17/932.03 c #Conflicts: 1123000 | #Constraints: 40560
929.17/932.03 c #Conflicts: 1124000 | #Constraints: 41560
929.17/932.03 c #Conflicts: 1125000 | #Constraints: 42560
929.17/932.03 c INPROCESSING
929.17/932.03 c GARBAGE COLLECT
929.17/932.03 c rational objective 2
954.68/957.61 c #Conflicts: 1126000 | #Constraints: 22259
954.68/957.61 c #Conflicts: 1127000 | #Constraints: 23357
954.68/957.61 c #Conflicts: 1128000 | #Constraints: 24439
954.68/957.61 c #Conflicts: 1129000 | #Constraints: 25570
954.68/957.61 c #Conflicts: 1130000 | #Constraints: 26745
954.68/957.61 c #Conflicts: 1131000 | #Constraints: 27824
954.68/957.61 c #Conflicts: 1132000 | #Constraints: 28954
954.68/957.61 c #Conflicts: 1133000 | #Constraints: 30063
954.68/957.61 c #Conflicts: 1134000 | #Constraints: 31173
954.68/957.61 c #Conflicts: 1135000 | #Constraints: 32275
954.68/957.61 c #Conflicts: 1136000 | #Constraints: 33368
954.68/957.61 c #Conflicts: 1137000 | #Constraints: 34490
954.68/957.61 c #Conflicts: 1138000 | #Constraints: 35571
954.68/957.61 c #Conflicts: 1139000 | #Constraints: 36651
954.68/957.61 c #Conflicts: 1140000 | #Constraints: 37734
954.68/957.61 c #Conflicts: 1141000 | #Constraints: 38825
954.68/957.61 c #Conflicts: 1142000 | #Constraints: 39958
954.68/957.61 c #Conflicts: 1143000 | #Constraints: 41041
954.68/957.61 c #Conflicts: 1144000 | #Constraints: 42092
954.68/957.61 c #Conflicts: 1145000 | #Constraints: 43165
954.68/957.61 c #Conflicts: 1146000 | #Constraints: 44251
954.68/957.61 c INPROCESSING
954.68/957.61 c GARBAGE COLLECT
954.68/957.61 c rational objective 2
981.20/984.28 c #Conflicts: 1147000 | #Constraints: 22879
981.20/984.28 c #Conflicts: 1148000 | #Constraints: 23983
981.20/984.28 c #Conflicts: 1149000 | #Constraints: 25092
981.20/984.28 c #Conflicts: 1150000 | #Constraints: 26208
981.20/984.28 c #Conflicts: 1151000 | #Constraints: 27305
981.20/984.28 c #Conflicts: 1152000 | #Constraints: 28415
981.20/984.28 c #Conflicts: 1153000 | #Constraints: 29519
981.20/984.28 c #Conflicts: 1154000 | #Constraints: 30618
981.20/984.28 c #Conflicts: 1155000 | #Constraints: 31817
981.20/984.28 c #Conflicts: 1156000 | #Constraints: 32968
981.20/984.28 c #Conflicts: 1157000 | #Constraints: 34070
981.20/984.28 c #Conflicts: 1158000 | #Constraints: 35157
981.20/984.28 c #Conflicts: 1159000 | #Constraints: 36266
981.20/984.28 c #Conflicts: 1160000 | #Constraints: 37472
981.20/984.28 c #Conflicts: 1161000 | #Constraints: 38554
981.20/984.28 c #Conflicts: 1162000 | #Constraints: 39663
981.20/984.28 c #Conflicts: 1163000 | #Constraints: 40781
981.20/984.28 c #Conflicts: 1164000 | #Constraints: 41900
981.20/984.28 c #Conflicts: 1165000 | #Constraints: 43049
981.20/984.28 c #Conflicts: 1166000 | #Constraints: 44217
981.20/984.28 c #Conflicts: 1167000 | #Constraints: 45321
981.20/984.28 c #Conflicts: 1168000 | #Constraints: 46426
981.20/984.28 c INPROCESSING
981.20/984.28 c GARBAGE COLLECT
981.20/984.28 c rational objective 2
1007.82/1010.93 c #Conflicts: 1169000 | #Constraints: 24130
1007.82/1010.93 c #Conflicts: 1170000 | #Constraints: 25130
1007.82/1010.93 c #Conflicts: 1171000 | #Constraints: 26130
1007.82/1010.93 c #Conflicts: 1172000 | #Constraints: 27130
1007.82/1010.93 c #Conflicts: 1173000 | #Constraints: 28130
1007.82/1010.93 c #Conflicts: 1174000 | #Constraints: 29130
1007.82/1010.93 c #Conflicts: 1175000 | #Constraints: 30174
1007.82/1010.93 c #Conflicts: 1176000 | #Constraints: 31262
1007.82/1010.93 c #Conflicts: 1177000 | #Constraints: 32346
1007.82/1010.93 c #Conflicts: 1178000 | #Constraints: 33426
1007.82/1010.93 c #Conflicts: 1179000 | #Constraints: 34530
1007.82/1010.93 c #Conflicts: 1180000 | #Constraints: 35616
1007.82/1010.93 c #Conflicts: 1181000 | #Constraints: 36704
1007.82/1010.93 c #Conflicts: 1182000 | #Constraints: 37797
1007.82/1010.93 c #Conflicts: 1183000 | #Constraints: 38871
1007.82/1010.93 c #Conflicts: 1184000 | #Constraints: 39952
1007.82/1010.93 c #Conflicts: 1185000 | #Constraints: 41067
1007.82/1010.93 c #Conflicts: 1186000 | #Constraints: 42151
1007.82/1010.93 c #Conflicts: 1187000 | #Constraints: 43257
1007.82/1010.93 c #Conflicts: 1188000 | #Constraints: 44341
1007.82/1010.93 c #Conflicts: 1189000 | #Constraints: 45429
1007.82/1010.93 c #Conflicts: 1190000 | #Constraints: 46535
1007.82/1010.93 c INPROCESSING
1007.82/1010.93 c GARBAGE COLLECT
1007.82/1010.93 c rational objective 2
1034.95/1038.17 c #Conflicts: 1191000 | #Constraints: 24336
1034.95/1038.17 c #Conflicts: 1192000 | #Constraints: 25407
1034.95/1038.17 c #Conflicts: 1193000 | #Constraints: 26420
1034.95/1038.17 c #Conflicts: 1194000 | #Constraints: 27488
1034.95/1038.17 c #Conflicts: 1195000 | #Constraints: 28509
1034.95/1038.17 c #Conflicts: 1196000 | #Constraints: 29509
1034.95/1038.17 c #Conflicts: 1197000 | #Constraints: 30509
1034.95/1038.17 c #Conflicts: 1198000 | #Constraints: 31509
1034.95/1038.17 c #Conflicts: 1199000 | #Constraints: 32509
1034.95/1038.17 c #Conflicts: 1200000 | #Constraints: 33509
1034.95/1038.17 c #Conflicts: 1201000 | #Constraints: 34509
1034.95/1038.17 c #Conflicts: 1202000 | #Constraints: 35509
1034.95/1038.17 c #Conflicts: 1203000 | #Constraints: 36509
1034.95/1038.17 c #Conflicts: 1204000 | #Constraints: 37509
1034.95/1038.17 c #Conflicts: 1205000 | #Constraints: 38509
1034.95/1038.17 c #Conflicts: 1206000 | #Constraints: 39509
1034.95/1038.17 c #Conflicts: 1207000 | #Constraints: 40509
1034.95/1038.17 c #Conflicts: 1208000 | #Constraints: 41509
1034.95/1038.17 c #Conflicts: 1209000 | #Constraints: 42509
1034.95/1038.17 c #Conflicts: 1210000 | #Constraints: 43509
1034.95/1038.17 c #Conflicts: 1211000 | #Constraints: 44509
1034.95/1038.17 c #Conflicts: 1212000 | #Constraints: 45509
1034.95/1038.17 c INPROCESSING
1034.95/1038.17 c GARBAGE COLLECT
1034.95/1038.17 c rational objective 2
1058.36/1061.65 c #Conflicts: 1213000 | #Constraints: 23759
1058.36/1061.65 c #Conflicts: 1214000 | #Constraints: 24759
1058.36/1061.65 c #Conflicts: 1215000 | #Constraints: 25759
1058.36/1061.65 c #Conflicts: 1216000 | #Constraints: 26759
1058.36/1061.65 c #Conflicts: 1217000 | #Constraints: 27759
1058.36/1061.65 c #Conflicts: 1218000 | #Constraints: 28759
1058.36/1061.65 c #Conflicts: 1219000 | #Constraints: 29759
1058.36/1061.65 c #Conflicts: 1220000 | #Constraints: 30759
1058.36/1061.65 c #Conflicts: 1221000 | #Constraints: 31759
1058.36/1061.65 c #Conflicts: 1222000 | #Constraints: 32759
1058.36/1061.65 c #Conflicts: 1223000 | #Constraints: 33759
1058.36/1061.65 c #Conflicts: 1224000 | #Constraints: 34759
1058.36/1061.65 c #Conflicts: 1225000 | #Constraints: 35759
1058.36/1061.65 c #Conflicts: 1226000 | #Constraints: 36759
1058.36/1061.65 c #Conflicts: 1227000 | #Constraints: 37759
1058.36/1061.65 c #Conflicts: 1228000 | #Constraints: 38759
1058.36/1061.65 c #Conflicts: 1229000 | #Constraints: 39759
1058.36/1061.65 c #Conflicts: 1230000 | #Constraints: 40759
1058.36/1061.65 c #Conflicts: 1231000 | #Constraints: 41759
1058.36/1061.65 c #Conflicts: 1232000 | #Constraints: 42759
1058.36/1061.65 c #Conflicts: 1233000 | #Constraints: 43759
1058.36/1061.65 c #Conflicts: 1234000 | #Constraints: 44759
1058.36/1061.65 c INPROCESSING
1058.36/1061.65 c GARBAGE COLLECT
1058.36/1061.65 c rational objective 2
1160.76/1164.37 c #Conflicts: 1235000 | #Constraints: 23345
1160.76/1164.37 c #Conflicts: 1236000 | #Constraints: 24485
1160.76/1164.37 c #Conflicts: 1237000 | #Constraints: 25603
1160.76/1164.37 c #Conflicts: 1238000 | #Constraints: 26744
1160.76/1164.37 c #Conflicts: 1239000 | #Constraints: 27881
1160.76/1164.37 c #Conflicts: 1240000 | #Constraints: 29014
1160.76/1164.37 c #Conflicts: 1241000 | #Constraints: 30138
1160.76/1164.37 c #Conflicts: 1242000 | #Constraints: 31250
1160.76/1164.37 c #Conflicts: 1243000 | #Constraints: 32354
1160.76/1164.37 c #Conflicts: 1244000 | #Constraints: 33458
1160.76/1164.37 c #Conflicts: 1245000 | #Constraints: 34560
1160.76/1164.37 c #Conflicts: 1246000 | #Constraints: 35689
1160.76/1164.37 c #Conflicts: 1247000 | #Constraints: 36776
1160.76/1164.37 c #Conflicts: 1248000 | #Constraints: 37878
1160.76/1164.37 c #Conflicts: 1249000 | #Constraints: 38963
1160.76/1164.37 c #Conflicts: 1250000 | #Constraints: 40065
1160.76/1164.37 c #Conflicts: 1251000 | #Constraints: 41186
1160.76/1164.37 c #Conflicts: 1252000 | #Constraints: 42288
1160.76/1164.37 c #Conflicts: 1253000 | #Constraints: 43415
1160.76/1164.37 c #Conflicts: 1254000 | #Constraints: 44536
1160.76/1164.37 c #Conflicts: 1255000 | #Constraints: 45652
1160.76/1164.37 c #Conflicts: 1256000 | #Constraints: 46757
1160.76/1164.37 c INPROCESSING
1160.76/1164.37 c GARBAGE COLLECT
1160.76/1164.37 c #Conflicts: 1257000 | #Constraints: 24182
1160.76/1164.37 c #Conflicts: 1258000 | #Constraints: 25301
1160.76/1164.37 c #Conflicts: 1259000 | #Constraints: 26444
1160.76/1164.37 c #Conflicts: 1260000 | #Constraints: 27557
1160.76/1164.37 c #Conflicts: 1261000 | #Constraints: 28695
1160.76/1164.37 c #Conflicts: 1262000 | #Constraints: 29816
1160.76/1164.37 c #Conflicts: 1263000 | #Constraints: 30963
1160.76/1164.37 c #Conflicts: 1264000 | #Constraints: 32066
1160.76/1164.37 c #Conflicts: 1265000 | #Constraints: 33177
1160.76/1164.37 c #Conflicts: 1266000 | #Constraints: 34292
1160.76/1164.37 c #Conflicts: 1267000 | #Constraints: 35474
1160.76/1164.37 c #Conflicts: 1268000 | #Constraints: 36655
1160.76/1164.37 c #Conflicts: 1269000 | #Constraints: 37782
1160.76/1164.37 c #Conflicts: 1270000 | #Constraints: 38869
1160.76/1164.37 c #Conflicts: 1271000 | #Constraints: 39972
1160.76/1164.37 c #Conflicts: 1272000 | #Constraints: 41071
1160.76/1164.37 c #Conflicts: 1273000 | #Constraints: 42208
1160.76/1164.37 c #Conflicts: 1274000 | #Constraints: 43293
1160.76/1164.37 c #Conflicts: 1275000 | #Constraints: 44388
1160.76/1164.37 c #Conflicts: 1276000 | #Constraints: 45526
1160.76/1164.37 c #Conflicts: 1277000 | #Constraints: 46626
1160.76/1164.37 c #Conflicts: 1278000 | #Constraints: 47753
1160.76/1164.37 c #Conflicts: 1279000 | #Constraints: 48903
1160.76/1164.37 c INPROCESSING
1160.76/1164.37 c GARBAGE COLLECT
1160.76/1164.37 c #Conflicts: 1280000 | #Constraints: 25464
1160.76/1164.37 c #Conflicts: 1281000 | #Constraints: 26602
1160.76/1164.37 c #Conflicts: 1282000 | #Constraints: 27735
1160.76/1164.37 c #Conflicts: 1283000 | #Constraints: 28902
1160.76/1164.37 c #Conflicts: 1284000 | #Constraints: 30027
1160.76/1164.37 c #Conflicts: 1285000 | #Constraints: 31160
1160.76/1164.37 c #Conflicts: 1286000 | #Constraints: 32253
1160.76/1164.37 c #Conflicts: 1287000 | #Constraints: 33342
1160.76/1164.37 c #Conflicts: 1288000 | #Constraints: 34445
1160.76/1164.37 c #Conflicts: 1289000 | #Constraints: 35536
1160.76/1164.37 c #Conflicts: 1290000 | #Constraints: 36719
1160.76/1164.37 c #Conflicts: 1291000 | #Constraints: 37912
1160.76/1164.37 c #Conflicts: 1292000 | #Constraints: 39040
1160.76/1164.37 c #Conflicts: 1293000 | #Constraints: 40136
1160.76/1164.37 c #Conflicts: 1294000 | #Constraints: 41242
1160.76/1164.37 c #Conflicts: 1295000 | #Constraints: 42341
1160.76/1164.37 c #Conflicts: 1296000 | #Constraints: 43441
1160.76/1164.37 c #Conflicts: 1297000 | #Constraints: 44547
1160.76/1164.37 c #Conflicts: 1298000 | #Constraints: 45663
1160.76/1164.37 c #Conflicts: 1299000 | #Constraints: 46752
1160.76/1164.37 c #Conflicts: 1300000 | #Constraints: 47847
1160.76/1164.37 c #Conflicts: 1301000 | #Constraints: 48916
1160.76/1164.37 c #Conflicts: 1302000 | #Constraints: 49988
1160.76/1164.37 c INPROCESSING
1160.76/1164.37 c GARBAGE COLLECT
1160.76/1164.37 c #Conflicts: 1303000 | #Constraints: 26107
1160.76/1164.37 c #Conflicts: 1304000 | #Constraints: 27275
1160.76/1164.37 c #Conflicts: 1305000 | #Constraints: 28391
1160.76/1164.37 c #Conflicts: 1306000 | #Constraints: 29510
1160.76/1164.37 c #Conflicts: 1307000 | #Constraints: 30634
1160.76/1164.37 c #Conflicts: 1308000 | #Constraints: 31754
1160.76/1164.37 c #Conflicts: 1309000 | #Constraints: 32898
1160.76/1164.37 c #Conflicts: 1310000 | #Constraints: 34020
1160.76/1164.37 c #Conflicts: 1311000 | #Constraints: 35165
1290.85/1294.86 c #Conflicts: 1312000 | #Constraints: 36286
1290.85/1294.86 c #Conflicts: 1313000 | #Constraints: 37437
1290.85/1294.86 c #Conflicts: 1314000 | #Constraints: 38533
1290.85/1294.86 c #Conflicts: 1315000 | #Constraints: 39632
1290.85/1294.86 c #Conflicts: 1316000 | #Constraints: 40709
1290.85/1294.86 c #Conflicts: 1317000 | #Constraints: 41823
1290.85/1294.86 c #Conflicts: 1318000 | #Constraints: 42939
1290.85/1294.86 c #Conflicts: 1319000 | #Constraints: 44035
1290.85/1294.86 c #Conflicts: 1320000 | #Constraints: 45142
1290.85/1294.86 c #Conflicts: 1321000 | #Constraints: 46245
1290.85/1294.86 c #Conflicts: 1322000 | #Constraints: 47369
1290.85/1294.86 c #Conflicts: 1323000 | #Constraints: 48476
1290.85/1294.86 c #Conflicts: 1324000 | #Constraints: 49607
1290.85/1294.86 c #Conflicts: 1325000 | #Constraints: 50736
1290.85/1294.86 c INPROCESSING
1290.85/1294.86 c GARBAGE COLLECT
1290.85/1294.86 c #Conflicts: 1326000 | #Constraints: 26506
1290.85/1294.86 c #Conflicts: 1327000 | #Constraints: 27634
1290.85/1294.86 c #Conflicts: 1328000 | #Constraints: 28771
1290.85/1294.86 c #Conflicts: 1329000 | #Constraints: 29917
1290.85/1294.86 c #Conflicts: 1330000 | #Constraints: 31034
1290.85/1294.86 c #Conflicts: 1331000 | #Constraints: 32168
1290.85/1294.86 c #Conflicts: 1332000 | #Constraints: 33322
1290.85/1294.86 c #Conflicts: 1333000 | #Constraints: 34455
1290.85/1294.86 c #Conflicts: 1334000 | #Constraints: 35563
1290.85/1294.86 c #Conflicts: 1335000 | #Constraints: 36676
1290.85/1294.86 c #Conflicts: 1336000 | #Constraints: 37763
1290.85/1294.86 c #Conflicts: 1337000 | #Constraints: 38882
1290.85/1294.86 c #Conflicts: 1338000 | #Constraints: 39987
1290.85/1294.86 c #Conflicts: 1339000 | #Constraints: 41090
1290.85/1294.86 c #Conflicts: 1340000 | #Constraints: 42191
1290.85/1294.86 c #Conflicts: 1341000 | #Constraints: 43291
1290.85/1294.86 c #Conflicts: 1342000 | #Constraints: 44418
1290.85/1294.86 c #Conflicts: 1343000 | #Constraints: 45555
1290.85/1294.86 c #Conflicts: 1344000 | #Constraints: 46638
1290.85/1294.86 c #Conflicts: 1345000 | #Constraints: 47754
1290.85/1294.86 c #Conflicts: 1346000 | #Constraints: 48860
1290.85/1294.86 c #Conflicts: 1347000 | #Constraints: 49979
1290.85/1294.86 c #Conflicts: 1348000 | #Constraints: 51093
1290.85/1294.86 c INPROCESSING
1290.85/1294.86 c GARBAGE COLLECT
1290.85/1294.86 c #Conflicts: 1349000 | #Constraints: 26574
1290.85/1294.86 c #Conflicts: 1350000 | #Constraints: 27724
1290.85/1294.86 c #Conflicts: 1351000 | #Constraints: 28845
1290.85/1294.86 c #Conflicts: 1352000 | #Constraints: 29965
1290.85/1294.86 c #Conflicts: 1353000 | #Constraints: 31072
1290.85/1294.86 c #Conflicts: 1354000 | #Constraints: 32183
1290.85/1294.86 c #Conflicts: 1355000 | #Constraints: 33316
1290.85/1294.86 c #Conflicts: 1356000 | #Constraints: 34451
1290.85/1294.86 c #Conflicts: 1357000 | #Constraints: 35584
1290.85/1294.86 c #Conflicts: 1358000 | #Constraints: 36696
1290.85/1294.86 c #Conflicts: 1359000 | #Constraints: 37858
1290.85/1294.86 c #Conflicts: 1360000 | #Constraints: 38939
1290.85/1294.86 c #Conflicts: 1361000 | #Constraints: 40055
1290.85/1294.86 c #Conflicts: 1362000 | #Constraints: 41179
1290.85/1294.86 c #Conflicts: 1363000 | #Constraints: 42293
1290.85/1294.86 c #Conflicts: 1364000 | #Constraints: 43427
1290.85/1294.86 c #Conflicts: 1365000 | #Constraints: 44534
1290.85/1294.86 c #Conflicts: 1366000 | #Constraints: 45699
1290.85/1294.86 c #Conflicts: 1367000 | #Constraints: 46819
1290.85/1294.86 c #Conflicts: 1368000 | #Constraints: 47920
1290.85/1294.86 c #Conflicts: 1369000 | #Constraints: 49043
1290.85/1294.86 c #Conflicts: 1370000 | #Constraints: 50168
1290.85/1294.86 c #Conflicts: 1371000 | #Constraints: 51293
1290.85/1294.86 c INPROCESSING
1290.85/1294.86 c GARBAGE COLLECT
1290.85/1294.86 c #Conflicts: 1372000 | #Constraints: 26474
1290.85/1294.86 c #Conflicts: 1373000 | #Constraints: 27654
1290.85/1294.86 c #Conflicts: 1374000 | #Constraints: 28753
1290.85/1294.86 c #Conflicts: 1375000 | #Constraints: 29841
1290.85/1294.86 c #Conflicts: 1376000 | #Constraints: 30950
1290.85/1294.86 c #Conflicts: 1377000 | #Constraints: 32058
1290.85/1294.86 c #Conflicts: 1378000 | #Constraints: 33175
1290.85/1294.86 c #Conflicts: 1379000 | #Constraints: 34258
1290.85/1294.86 c #Conflicts: 1380000 | #Constraints: 35394
1290.85/1294.86 c #Conflicts: 1381000 | #Constraints: 36502
1290.85/1294.86 c #Conflicts: 1382000 | #Constraints: 37627
1290.85/1294.86 c #Conflicts: 1383000 | #Constraints: 38735
1290.85/1294.86 c #Conflicts: 1384000 | #Constraints: 39836
1290.85/1294.86 c #Conflicts: 1385000 | #Constraints: 40934
1290.85/1294.86 c #Conflicts: 1386000 | #Constraints: 42039
1290.85/1294.86 c #Conflicts: 1387000 | #Constraints: 43196
1290.85/1294.86 c #Conflicts: 1388000 | #Constraints: 44287
1409.01/1413.30 c #Conflicts: 1389000 | #Constraints: 45398
1409.01/1413.30 c #Conflicts: 1390000 | #Constraints: 46527
1409.01/1413.30 c #Conflicts: 1391000 | #Constraints: 47627
1409.01/1413.30 c #Conflicts: 1392000 | #Constraints: 48711
1409.01/1413.30 c #Conflicts: 1393000 | #Constraints: 49814
1409.01/1413.30 c #Conflicts: 1394000 | #Constraints: 50928
1409.01/1413.30 c #Conflicts: 1395000 | #Constraints: 52040
1409.01/1413.30 c INPROCESSING
1409.01/1413.30 c GARBAGE COLLECT
1409.01/1413.30 c #Conflicts: 1396000 | #Constraints: 27036
1409.01/1413.30 c #Conflicts: 1397000 | #Constraints: 28114
1409.01/1413.30 c #Conflicts: 1398000 | #Constraints: 29150
1409.01/1413.30 c #Conflicts: 1399000 | #Constraints: 30267
1409.01/1413.30 c #Conflicts: 1400000 | #Constraints: 31397
1409.01/1413.30 c #Conflicts: 1401000 | #Constraints: 32530
1409.01/1413.30 c #Conflicts: 1402000 | #Constraints: 33674
1409.01/1413.30 c #Conflicts: 1403000 | #Constraints: 34787
1409.01/1413.30 c #Conflicts: 1404000 | #Constraints: 35901
1409.01/1413.30 c #Conflicts: 1405000 | #Constraints: 37027
1409.01/1413.30 c #Conflicts: 1406000 | #Constraints: 38097
1409.01/1413.30 c #Conflicts: 1407000 | #Constraints: 39227
1409.01/1413.30 c #Conflicts: 1408000 | #Constraints: 40304
1409.01/1413.30 c #Conflicts: 1409000 | #Constraints: 41399
1409.01/1413.30 c #Conflicts: 1410000 | #Constraints: 42543
1409.01/1413.30 c #Conflicts: 1411000 | #Constraints: 43658
1409.01/1413.30 c #Conflicts: 1412000 | #Constraints: 44764
1409.01/1413.30 c #Conflicts: 1413000 | #Constraints: 45883
1409.01/1413.30 c #Conflicts: 1414000 | #Constraints: 47002
1409.01/1413.30 c #Conflicts: 1415000 | #Constraints: 48148
1409.01/1413.30 c #Conflicts: 1416000 | #Constraints: 49300
1409.01/1413.30 c #Conflicts: 1417000 | #Constraints: 50469
1409.01/1413.30 c #Conflicts: 1418000 | #Constraints: 51600
1409.01/1413.30 c #Conflicts: 1419000 | #Constraints: 52728
1409.01/1413.30 c INPROCESSING
1409.01/1413.30 c GARBAGE COLLECT
1409.01/1413.30 c #Conflicts: 1420000 | #Constraints: 27529
1409.01/1413.30 c #Conflicts: 1421000 | #Constraints: 28626
1409.01/1413.30 c #Conflicts: 1422000 | #Constraints: 29739
1409.01/1413.30 c #Conflicts: 1423000 | #Constraints: 30869
1409.01/1413.30 c #Conflicts: 1424000 | #Constraints: 31964
1409.01/1413.30 c #Conflicts: 1425000 | #Constraints: 33064
1409.01/1413.30 c #Conflicts: 1426000 | #Constraints: 34181
1409.01/1413.30 c #Conflicts: 1427000 | #Constraints: 35305
1409.01/1413.30 c #Conflicts: 1428000 | #Constraints: 36437
1409.01/1413.30 c #Conflicts: 1429000 | #Constraints: 37559
1409.01/1413.30 c #Conflicts: 1430000 | #Constraints: 38670
1409.01/1413.30 c #Conflicts: 1431000 | #Constraints: 39828
1409.01/1413.30 c #Conflicts: 1432000 | #Constraints: 40959
1409.01/1413.30 c #Conflicts: 1433000 | #Constraints: 42107
1409.01/1413.30 c #Conflicts: 1434000 | #Constraints: 43223
1409.01/1413.30 c #Conflicts: 1435000 | #Constraints: 44330
1409.01/1413.30 c #Conflicts: 1436000 | #Constraints: 45467
1409.01/1413.30 c #Conflicts: 1437000 | #Constraints: 46594
1409.01/1413.30 c #Conflicts: 1438000 | #Constraints: 47720
1409.01/1413.30 c #Conflicts: 1439000 | #Constraints: 48826
1409.01/1413.30 c #Conflicts: 1440000 | #Constraints: 49925
1409.01/1413.30 c #Conflicts: 1441000 | #Constraints: 51037
1409.01/1413.30 c #Conflicts: 1442000 | #Constraints: 52147
1409.01/1413.30 c #Conflicts: 1443000 | #Constraints: 53251
1409.01/1413.30 c INPROCESSING
1409.01/1413.30 c GARBAGE COLLECT
1409.01/1413.30 c #Conflicts: 1444000 | #Constraints: 27735
1409.01/1413.30 c #Conflicts: 1445000 | #Constraints: 28854
1409.01/1413.30 c #Conflicts: 1446000 | #Constraints: 29971
1409.01/1413.30 c #Conflicts: 1447000 | #Constraints: 31079
1409.01/1413.30 c #Conflicts: 1448000 | #Constraints: 32186
1409.01/1413.30 c #Conflicts: 1449000 | #Constraints: 33309
1409.01/1413.30 c #Conflicts: 1450000 | #Constraints: 34419
1409.01/1413.30 c #Conflicts: 1451000 | #Constraints: 35500
1409.01/1413.30 c #Conflicts: 1452000 | #Constraints: 36599
1409.01/1413.30 c #Conflicts: 1453000 | #Constraints: 37688
1409.01/1413.30 c #Conflicts: 1454000 | #Constraints: 38782
1409.01/1413.30 c #Conflicts: 1455000 | #Constraints: 39874
1409.01/1413.30 c #Conflicts: 1456000 | #Constraints: 40975
1409.01/1413.30 c #Conflicts: 1457000 | #Constraints: 42052
1409.01/1413.30 c #Conflicts: 1458000 | #Constraints: 43135
1409.01/1413.30 c #Conflicts: 1459000 | #Constraints: 44217
1409.01/1413.30 c #Conflicts: 1460000 | #Constraints: 45320
1409.01/1413.30 c #Conflicts: 1461000 | #Constraints: 46422
1409.01/1413.30 c #Conflicts: 1462000 | #Constraints: 47533
1409.01/1413.30 c #Conflicts: 1463000 | #Constraints: 48669
1409.01/1413.30 c #Conflicts: 1464000 | #Constraints: 49748
1409.01/1413.30 c #Conflicts: 1465000 | #Constraints: 50883
1528.37/1533.03 c #Conflicts: 1466000 | #Constraints: 52011
1528.37/1533.03 c #Conflicts: 1467000 | #Constraints: 53124
1528.37/1533.03 c INPROCESSING
1528.37/1533.03 c GARBAGE COLLECT
1528.37/1533.03 c #Conflicts: 1468000 | #Constraints: 27573
1528.37/1533.03 c #Conflicts: 1469000 | #Constraints: 28716
1528.37/1533.03 c #Conflicts: 1470000 | #Constraints: 29830
1528.37/1533.03 c #Conflicts: 1471000 | #Constraints: 30933
1528.37/1533.03 c #Conflicts: 1472000 | #Constraints: 32107
1528.37/1533.03 c #Conflicts: 1473000 | #Constraints: 33204
1528.37/1533.03 c #Conflicts: 1474000 | #Constraints: 34281
1528.37/1533.03 c #Conflicts: 1475000 | #Constraints: 35394
1528.37/1533.03 c #Conflicts: 1476000 | #Constraints: 36495
1528.37/1533.03 c #Conflicts: 1477000 | #Constraints: 37595
1528.37/1533.03 c #Conflicts: 1478000 | #Constraints: 38688
1528.37/1533.03 c #Conflicts: 1479000 | #Constraints: 39781
1528.37/1533.03 c #Conflicts: 1480000 | #Constraints: 40878
1528.37/1533.03 c #Conflicts: 1481000 | #Constraints: 41991
1528.37/1533.03 c #Conflicts: 1482000 | #Constraints: 43096
1528.37/1533.03 c #Conflicts: 1483000 | #Constraints: 44265
1528.37/1533.03 c #Conflicts: 1484000 | #Constraints: 45415
1528.37/1533.03 c #Conflicts: 1485000 | #Constraints: 46514
1528.37/1533.03 c #Conflicts: 1486000 | #Constraints: 47639
1528.37/1533.03 c #Conflicts: 1487000 | #Constraints: 48757
1528.37/1533.03 c #Conflicts: 1488000 | #Constraints: 49891
1528.37/1533.03 c #Conflicts: 1489000 | #Constraints: 51038
1528.37/1533.03 c #Conflicts: 1490000 | #Constraints: 52164
1528.37/1533.03 c #Conflicts: 1491000 | #Constraints: 53278
1528.37/1533.03 c INPROCESSING
1528.37/1533.03 c GARBAGE COLLECT
1528.37/1533.03 c #Conflicts: 1492000 | #Constraints: 27430
1528.37/1533.03 c #Conflicts: 1493000 | #Constraints: 28586
1528.37/1533.03 c #Conflicts: 1494000 | #Constraints: 29704
1528.37/1533.03 c #Conflicts: 1495000 | #Constraints: 30833
1528.37/1533.03 c #Conflicts: 1496000 | #Constraints: 31953
1528.37/1533.03 c #Conflicts: 1497000 | #Constraints: 33058
1528.37/1533.03 c #Conflicts: 1498000 | #Constraints: 34130
1528.37/1533.03 c #Conflicts: 1499000 | #Constraints: 35226
1528.37/1533.03 c #Conflicts: 1500000 | #Constraints: 36346
1528.37/1533.03 c #Conflicts: 1501000 | #Constraints: 37448
1528.37/1533.03 c #Conflicts: 1502000 | #Constraints: 38555
1528.37/1533.03 c #Conflicts: 1503000 | #Constraints: 39662
1528.37/1533.03 c #Conflicts: 1504000 | #Constraints: 40790
1528.37/1533.03 c #Conflicts: 1505000 | #Constraints: 41912
1528.37/1533.03 c #Conflicts: 1506000 | #Constraints: 43019
1528.37/1533.03 c #Conflicts: 1507000 | #Constraints: 44131
1528.37/1533.03 c #Conflicts: 1508000 | #Constraints: 45245
1528.37/1533.03 c #Conflicts: 1509000 | #Constraints: 46361
1528.37/1533.03 c #Conflicts: 1510000 | #Constraints: 47490
1528.37/1533.03 c #Conflicts: 1511000 | #Constraints: 48636
1528.37/1533.03 c #Conflicts: 1512000 | #Constraints: 49755
1528.37/1533.03 c #Conflicts: 1513000 | #Constraints: 50873
1528.37/1533.03 c #Conflicts: 1514000 | #Constraints: 52033
1528.37/1533.03 c #Conflicts: 1515000 | #Constraints: 53130
1528.37/1533.03 c #Conflicts: 1516000 | #Constraints: 54222
1528.37/1533.03 c INPROCESSING
1528.37/1533.03 c GARBAGE COLLECT
1528.37/1533.03 c #Conflicts: 1517000 | #Constraints: 28133
1528.37/1533.03 c #Conflicts: 1518000 | #Constraints: 29251
1528.37/1533.03 c #Conflicts: 1519000 | #Constraints: 30348
1528.37/1533.03 c #Conflicts: 1520000 | #Constraints: 31455
1528.37/1533.03 c #Conflicts: 1521000 | #Constraints: 32571
1528.37/1533.03 c #Conflicts: 1522000 | #Constraints: 33718
1528.37/1533.03 c #Conflicts: 1523000 | #Constraints: 34813
1528.37/1533.03 c #Conflicts: 1524000 | #Constraints: 35926
1528.37/1533.03 c #Conflicts: 1525000 | #Constraints: 37025
1528.37/1533.03 c #Conflicts: 1526000 | #Constraints: 38129
1528.37/1533.03 c #Conflicts: 1527000 | #Constraints: 39259
1528.37/1533.03 c #Conflicts: 1528000 | #Constraints: 40391
1528.37/1533.03 c #Conflicts: 1529000 | #Constraints: 41511
1528.37/1533.03 c #Conflicts: 1530000 | #Constraints: 42637
1528.37/1533.03 c #Conflicts: 1531000 | #Constraints: 43794
1528.37/1533.03 c #Conflicts: 1532000 | #Constraints: 44957
1528.37/1533.03 c #Conflicts: 1533000 | #Constraints: 46090
1528.37/1533.03 c #Conflicts: 1534000 | #Constraints: 47199
1528.37/1533.03 c #Conflicts: 1535000 | #Constraints: 48311
1528.37/1533.03 c #Conflicts: 1536000 | #Constraints: 49404
1528.37/1533.03 c #Conflicts: 1537000 | #Constraints: 50546
1528.37/1533.03 c #Conflicts: 1538000 | #Constraints: 51675
1528.37/1533.03 c #Conflicts: 1539000 | #Constraints: 52806
1528.37/1533.03 c #Conflicts: 1540000 | #Constraints: 53923
1528.37/1533.03 c #Conflicts: 1541000 | #Constraints: 55025
1528.37/1533.03 c INPROCESSING
1528.37/1533.03 c GARBAGE COLLECT
1656.29/1661.34 c #Conflicts: 1542000 | #Constraints: 28704
1656.29/1661.34 c #Conflicts: 1543000 | #Constraints: 29863
1656.29/1661.34 c #Conflicts: 1544000 | #Constraints: 31016
1656.29/1661.34 c #Conflicts: 1545000 | #Constraints: 32140
1656.29/1661.34 c #Conflicts: 1546000 | #Constraints: 33240
1656.29/1661.34 c #Conflicts: 1547000 | #Constraints: 34334
1656.29/1661.34 c #Conflicts: 1548000 | #Constraints: 35430
1656.29/1661.34 c #Conflicts: 1549000 | #Constraints: 36514
1656.29/1661.34 c #Conflicts: 1550000 | #Constraints: 37614
1656.29/1661.34 c #Conflicts: 1551000 | #Constraints: 38715
1656.29/1661.34 c #Conflicts: 1552000 | #Constraints: 39803
1656.29/1661.34 c #Conflicts: 1553000 | #Constraints: 40893
1656.29/1661.34 c #Conflicts: 1554000 | #Constraints: 41986
1656.29/1661.34 c #Conflicts: 1555000 | #Constraints: 43057
1656.29/1661.34 c #Conflicts: 1556000 | #Constraints: 44144
1656.29/1661.34 c #Conflicts: 1557000 | #Constraints: 45257
1656.29/1661.34 c #Conflicts: 1558000 | #Constraints: 46358
1656.29/1661.34 c #Conflicts: 1559000 | #Constraints: 47451
1656.29/1661.34 c #Conflicts: 1560000 | #Constraints: 48551
1656.29/1661.34 c #Conflicts: 1561000 | #Constraints: 49664
1656.29/1661.34 c #Conflicts: 1562000 | #Constraints: 50755
1656.29/1661.34 c #Conflicts: 1563000 | #Constraints: 51851
1656.29/1661.34 c #Conflicts: 1564000 | #Constraints: 52948
1656.29/1661.34 c #Conflicts: 1565000 | #Constraints: 54064
1656.29/1661.34 c #Conflicts: 1566000 | #Constraints: 55160
1656.29/1661.34 c INPROCESSING
1656.29/1661.34 c GARBAGE COLLECT
1656.29/1661.34 c #Conflicts: 1567000 | #Constraints: 28703
1656.29/1661.34 c #Conflicts: 1568000 | #Constraints: 29846
1656.29/1661.34 c #Conflicts: 1569000 | #Constraints: 30979
1656.29/1661.34 c #Conflicts: 1570000 | #Constraints: 32119
1656.29/1661.34 c #Conflicts: 1571000 | #Constraints: 33278
1656.29/1661.34 c #Conflicts: 1572000 | #Constraints: 34413
1656.29/1661.34 c #Conflicts: 1573000 | #Constraints: 35561
1656.29/1661.34 c #Conflicts: 1574000 | #Constraints: 36695
1656.29/1661.34 c #Conflicts: 1575000 | #Constraints: 37876
1656.29/1661.34 c #Conflicts: 1576000 | #Constraints: 39011
1656.29/1661.34 c #Conflicts: 1577000 | #Constraints: 40139
1656.29/1661.34 c #Conflicts: 1578000 | #Constraints: 41302
1656.29/1661.34 c #Conflicts: 1579000 | #Constraints: 42444
1656.29/1661.34 c #Conflicts: 1580000 | #Constraints: 43578
1656.29/1661.34 c #Conflicts: 1581000 | #Constraints: 44709
1656.29/1661.34 c #Conflicts: 1582000 | #Constraints: 45857
1656.29/1661.34 c #Conflicts: 1583000 | #Constraints: 47006
1656.29/1661.34 c #Conflicts: 1584000 | #Constraints: 48151
1656.29/1661.34 c #Conflicts: 1585000 | #Constraints: 49313
1656.29/1661.34 c #Conflicts: 1586000 | #Constraints: 50493
1656.29/1661.34 c #Conflicts: 1587000 | #Constraints: 51639
1656.29/1661.34 c #Conflicts: 1588000 | #Constraints: 52811
1656.29/1661.34 c #Conflicts: 1589000 | #Constraints: 53952
1656.29/1661.34 c #Conflicts: 1590000 | #Constraints: 55066
1656.29/1661.34 c #Conflicts: 1591000 | #Constraints: 56175
1656.29/1661.34 c INPROCESSING
1656.29/1661.34 c GARBAGE COLLECT
1656.29/1661.34 c #Conflicts: 1592000 | #Constraints: 29128
1656.29/1661.34 c #Conflicts: 1593000 | #Constraints: 30289
1656.29/1661.34 c #Conflicts: 1594000 | #Constraints: 31501
1656.29/1661.34 c #Conflicts: 1595000 | #Constraints: 32686
1656.29/1661.34 c #Conflicts: 1596000 | #Constraints: 33854
1656.29/1661.34 c #Conflicts: 1597000 | #Constraints: 35025
1656.29/1661.34 c #Conflicts: 1598000 | #Constraints: 36186
1656.29/1661.34 c #Conflicts: 1599000 | #Constraints: 37339
1656.29/1661.34 c #Conflicts: 1600000 | #Constraints: 38506
1656.29/1661.34 c #Conflicts: 1601000 | #Constraints: 39673
1656.29/1661.34 c #Conflicts: 1602000 | #Constraints: 40862
1656.29/1661.34 c #Conflicts: 1603000 | #Constraints: 41996
1656.29/1661.34 c #Conflicts: 1604000 | #Constraints: 43164
1656.29/1661.34 c #Conflicts: 1605000 | #Constraints: 44320
1656.29/1661.34 c #Conflicts: 1606000 | #Constraints: 45519
1656.29/1661.34 c #Conflicts: 1607000 | #Constraints: 46686
1656.29/1661.34 c #Conflicts: 1608000 | #Constraints: 47861
1656.29/1661.34 c #Conflicts: 1609000 | #Constraints: 49036
1656.29/1661.34 c #Conflicts: 1610000 | #Constraints: 50237
1656.29/1661.34 c #Conflicts: 1611000 | #Constraints: 51396
1656.29/1661.34 c #Conflicts: 1612000 | #Constraints: 52521
1656.29/1661.34 c #Conflicts: 1613000 | #Constraints: 53672
1656.29/1661.34 c #Conflicts: 1614000 | #Constraints: 54839
1656.29/1661.34 c #Conflicts: 1615000 | #Constraints: 55971
1656.29/1661.34 c #Conflicts: 1616000 | #Constraints: 57153
1656.29/1661.34 c INPROCESSING
1656.29/1661.34 c GARBAGE COLLECT
1656.29/1661.34 c #Conflicts: 1617000 | #Constraints: 29376
1656.29/1661.34 c #Conflicts: 1618000 | #Constraints: 30492
1809.83/1815.33 c #Conflicts: 1619000 | #Constraints: 31596
1809.83/1815.33 c #Conflicts: 1620000 | #Constraints: 32712
1809.83/1815.33 c #Conflicts: 1621000 | #Constraints: 33836
1809.83/1815.33 c #Conflicts: 1622000 | #Constraints: 34961
1809.83/1815.33 c #Conflicts: 1623000 | #Constraints: 36070
1809.83/1815.33 c #Conflicts: 1624000 | #Constraints: 37167
1809.83/1815.33 c #Conflicts: 1625000 | #Constraints: 38283
1809.83/1815.33 c #Conflicts: 1626000 | #Constraints: 39389
1809.83/1815.33 c #Conflicts: 1627000 | #Constraints: 40503
1809.83/1815.33 c #Conflicts: 1628000 | #Constraints: 41603
1809.83/1815.33 c #Conflicts: 1629000 | #Constraints: 42691
1809.83/1815.33 c #Conflicts: 1630000 | #Constraints: 43800
1809.83/1815.33 c #Conflicts: 1631000 | #Constraints: 44911
1809.83/1815.33 c #Conflicts: 1632000 | #Constraints: 46013
1809.83/1815.33 c #Conflicts: 1633000 | #Constraints: 47110
1809.83/1815.33 c #Conflicts: 1634000 | #Constraints: 48217
1809.83/1815.33 c #Conflicts: 1635000 | #Constraints: 49327
1809.83/1815.33 c #Conflicts: 1636000 | #Constraints: 50450
1809.83/1815.33 c #Conflicts: 1637000 | #Constraints: 51549
1809.83/1815.33 c #Conflicts: 1638000 | #Constraints: 52649
1809.83/1815.33 c #Conflicts: 1639000 | #Constraints: 53754
1809.83/1815.33 c #Conflicts: 1640000 | #Constraints: 54856
1809.83/1815.33 c #Conflicts: 1641000 | #Constraints: 55992
1809.83/1815.33 c #Conflicts: 1642000 | #Constraints: 57087
1809.83/1815.33 c INPROCESSING
1809.83/1815.33 c GARBAGE COLLECT
1809.83/1815.33 c #Conflicts: 1643000 | #Constraints: 29640
1809.83/1815.33 c #Conflicts: 1644000 | #Constraints: 30782
1809.83/1815.33 c #Conflicts: 1645000 | #Constraints: 31895
1809.83/1815.33 c #Conflicts: 1646000 | #Constraints: 33014
1809.83/1815.33 c #Conflicts: 1647000 | #Constraints: 34129
1809.83/1815.33 c #Conflicts: 1648000 | #Constraints: 35223
1809.83/1815.33 c #Conflicts: 1649000 | #Constraints: 36318
1809.83/1815.33 c #Conflicts: 1650000 | #Constraints: 37422
1809.83/1815.33 c #Conflicts: 1651000 | #Constraints: 38586
1809.83/1815.33 c #Conflicts: 1652000 | #Constraints: 39698
1809.83/1815.33 c #Conflicts: 1653000 | #Constraints: 40778
1809.83/1815.33 c #Conflicts: 1654000 | #Constraints: 41893
1809.83/1815.33 c #Conflicts: 1655000 | #Constraints: 42994
1809.83/1815.33 c #Conflicts: 1656000 | #Constraints: 44076
1809.83/1815.33 c #Conflicts: 1657000 | #Constraints: 45176
1809.83/1815.33 c #Conflicts: 1658000 | #Constraints: 46273
1809.83/1815.33 c #Conflicts: 1659000 | #Constraints: 47384
1809.83/1815.33 c #Conflicts: 1660000 | #Constraints: 48488
1809.83/1815.33 c #Conflicts: 1661000 | #Constraints: 49602
1809.83/1815.33 c #Conflicts: 1662000 | #Constraints: 50729
1809.83/1815.33 c #Conflicts: 1663000 | #Constraints: 51849
1809.83/1815.33 c #Conflicts: 1664000 | #Constraints: 52956
1809.83/1815.33 c #Conflicts: 1665000 | #Constraints: 54105
1809.83/1815.33 c #Conflicts: 1666000 | #Constraints: 55233
1809.83/1815.33 c #Conflicts: 1667000 | #Constraints: 56336
1809.83/1815.33 c #Conflicts: 1668000 | #Constraints: 57453
1809.83/1815.33 c INPROCESSING
1809.83/1815.33 c GARBAGE COLLECT
1809.83/1815.33 c #Conflicts: 1669000 | #Constraints: 29850
1809.83/1815.33 c #Conflicts: 1670000 | #Constraints: 30950
1809.83/1815.33 c #Conflicts: 1671000 | #Constraints: 32085
1809.83/1815.33 c #Conflicts: 1672000 | #Constraints: 33217
1809.83/1815.33 c #Conflicts: 1673000 | #Constraints: 34334
1809.83/1815.33 c #Conflicts: 1674000 | #Constraints: 35433
1809.83/1815.33 c #Conflicts: 1675000 | #Constraints: 36532
1809.83/1815.33 c #Conflicts: 1676000 | #Constraints: 37666
1809.83/1815.33 c #Conflicts: 1677000 | #Constraints: 38760
1809.83/1815.33 c #Conflicts: 1678000 | #Constraints: 39846
1809.83/1815.33 c #Conflicts: 1679000 | #Constraints: 40958
1809.83/1815.33 c #Conflicts: 1680000 | #Constraints: 42095
1809.83/1815.33 c #Conflicts: 1681000 | #Constraints: 43217
1809.83/1815.33 c #Conflicts: 1682000 | #Constraints: 44367
1809.83/1815.33 c #Conflicts: 1683000 | #Constraints: 45505
1809.83/1815.33 c #Conflicts: 1684000 | #Constraints: 46630
1809.83/1815.33 c #Conflicts: 1685000 | #Constraints: 47758
1809.83/1815.33 c #Conflicts: 1686000 | #Constraints: 48913
1809.83/1815.33 c #Conflicts: 1687000 | #Constraints: 50001
1809.83/1815.33 c #Conflicts: 1688000 | #Constraints: 51105
1809.83/1815.33 c #Conflicts: 1689000 | #Constraints: 52224
1809.83/1815.33 c #Conflicts: 1690000 | #Constraints: 53353
1809.83/1815.33 c #Conflicts: 1691000 | #Constraints: 54471
1809.83/1815.33 c #Conflicts: 1692000 | #Constraints: 55593
1809.83/1815.33 c #Conflicts: 1693000 | #Constraints: 56709
1809.83/1815.33 c #Conflicts: 1694000 | #Constraints: 57841
1809.83/1815.33 c INPROCESSING
1809.83/1815.33 c GARBAGE COLLECT
1809.83/1815.33 c #Conflicts: 1695000 | #Constraints: 30072
1957.09/1963.01 c #Conflicts: 1696000 | #Constraints: 31155
1957.09/1963.01 c #Conflicts: 1697000 | #Constraints: 32282
1957.09/1963.01 c #Conflicts: 1698000 | #Constraints: 33392
1957.09/1963.01 c #Conflicts: 1699000 | #Constraints: 34490
1957.09/1963.01 c #Conflicts: 1700000 | #Constraints: 35603
1957.09/1963.01 c #Conflicts: 1701000 | #Constraints: 36728
1957.09/1963.01 c #Conflicts: 1702000 | #Constraints: 37900
1957.09/1963.01 c #Conflicts: 1703000 | #Constraints: 39039
1957.09/1963.01 c #Conflicts: 1704000 | #Constraints: 40190
1957.09/1963.01 c #Conflicts: 1705000 | #Constraints: 41286
1957.09/1963.01 c #Conflicts: 1706000 | #Constraints: 42394
1957.09/1963.01 c #Conflicts: 1707000 | #Constraints: 43524
1957.09/1963.01 c #Conflicts: 1708000 | #Constraints: 44632
1957.09/1963.01 c #Conflicts: 1709000 | #Constraints: 45747
1957.09/1963.01 c #Conflicts: 1710000 | #Constraints: 46848
1957.09/1963.01 c #Conflicts: 1711000 | #Constraints: 47961
1957.09/1963.01 c #Conflicts: 1712000 | #Constraints: 49039
1957.09/1963.01 c #Conflicts: 1713000 | #Constraints: 50105
1957.09/1963.01 c #Conflicts: 1714000 | #Constraints: 51161
1957.09/1963.01 c #Conflicts: 1715000 | #Constraints: 52283
1957.09/1963.01 c #Conflicts: 1716000 | #Constraints: 53374
1957.09/1963.01 c #Conflicts: 1717000 | #Constraints: 54498
1957.09/1963.01 c #Conflicts: 1718000 | #Constraints: 55632
1957.09/1963.01 c #Conflicts: 1719000 | #Constraints: 56739
1957.09/1963.01 c #Conflicts: 1720000 | #Constraints: 57902
1957.09/1963.01 c INPROCESSING
1957.09/1963.01 c GARBAGE COLLECT
1957.09/1963.01 c #Conflicts: 1721000 | #Constraints: 29982
1957.09/1963.01 c #Conflicts: 1722000 | #Constraints: 31150
1957.09/1963.01 c #Conflicts: 1723000 | #Constraints: 32328
1957.09/1963.01 c #Conflicts: 1724000 | #Constraints: 33439
1957.09/1963.01 c #Conflicts: 1725000 | #Constraints: 34528
1957.09/1963.01 c #Conflicts: 1726000 | #Constraints: 35632
1957.09/1963.01 c #Conflicts: 1727000 | #Constraints: 36728
1957.09/1963.01 c #Conflicts: 1728000 | #Constraints: 37820
1957.09/1963.01 c #Conflicts: 1729000 | #Constraints: 38905
1957.09/1963.01 c #Conflicts: 1730000 | #Constraints: 40005
1957.09/1963.01 c #Conflicts: 1731000 | #Constraints: 41114
1957.09/1963.01 c #Conflicts: 1732000 | #Constraints: 42224
1957.09/1963.01 c #Conflicts: 1733000 | #Constraints: 43325
1957.09/1963.01 c #Conflicts: 1734000 | #Constraints: 44428
1957.09/1963.01 c #Conflicts: 1735000 | #Constraints: 45555
1957.09/1963.01 c #Conflicts: 1736000 | #Constraints: 46683
1957.09/1963.01 c #Conflicts: 1737000 | #Constraints: 47806
1957.09/1963.01 c #Conflicts: 1738000 | #Constraints: 48914
1957.09/1963.01 c #Conflicts: 1739000 | #Constraints: 50041
1957.09/1963.01 c #Conflicts: 1740000 | #Constraints: 51166
1957.09/1963.01 c #Conflicts: 1741000 | #Constraints: 52286
1957.09/1963.01 c #Conflicts: 1742000 | #Constraints: 53424
1957.09/1963.01 c #Conflicts: 1743000 | #Constraints: 54534
1957.09/1963.01 c #Conflicts: 1744000 | #Constraints: 55664
1957.09/1963.01 c #Conflicts: 1745000 | #Constraints: 56772
1957.09/1963.01 c #Conflicts: 1746000 | #Constraints: 57887
1957.09/1963.01 c INPROCESSING
1957.09/1963.01 c GARBAGE COLLECT
1957.09/1963.01 c #Conflicts: 1747000 | #Constraints: 29711
1957.09/1963.01 c #Conflicts: 1748000 | #Constraints: 30872
1957.09/1963.01 c #Conflicts: 1749000 | #Constraints: 32037
1957.09/1963.01 c #Conflicts: 1750000 | #Constraints: 33132
1957.09/1963.01 c #Conflicts: 1751000 | #Constraints: 34228
1957.09/1963.01 c #Conflicts: 1752000 | #Constraints: 35381
1957.09/1963.01 c #Conflicts: 1753000 | #Constraints: 36572
1957.09/1963.01 c #Conflicts: 1754000 | #Constraints: 37691
1957.09/1963.01 c #Conflicts: 1755000 | #Constraints: 38805
1957.09/1963.01 c #Conflicts: 1756000 | #Constraints: 39925
1957.09/1963.01 c #Conflicts: 1757000 | #Constraints: 41069
1957.09/1963.01 c #Conflicts: 1758000 | #Constraints: 42195
1957.09/1963.01 c #Conflicts: 1759000 | #Constraints: 43306
1957.09/1963.01 c #Conflicts: 1760000 | #Constraints: 44458
1957.09/1963.01 c #Conflicts: 1761000 | #Constraints: 45609
1957.09/1963.01 c #Conflicts: 1762000 | #Constraints: 46723
1957.09/1963.01 c #Conflicts: 1763000 | #Constraints: 47862
1957.09/1963.01 c #Conflicts: 1764000 | #Constraints: 48972
1957.09/1963.01 c #Conflicts: 1765000 | #Constraints: 50102
1957.09/1963.01 c #Conflicts: 1766000 | #Constraints: 51210
1957.09/1963.01 c #Conflicts: 1767000 | #Constraints: 52304
1957.09/1963.01 c #Conflicts: 1768000 | #Constraints: 53412
1957.09/1963.01 c #Conflicts: 1769000 | #Constraints: 54558
1957.09/1963.01 c #Conflicts: 1770000 | #Constraints: 55704
1957.09/1963.01 c #Conflicts: 1771000 | #Constraints: 56804
1957.09/1963.01 c #Conflicts: 1772000 | #Constraints: 57921
1957.09/1963.01 c #Conflicts: 1773000 | #Constraints: 58958
2096.15/2102.53 c INPROCESSING
2096.15/2102.53 c GARBAGE COLLECT
2096.15/2102.53 c #Conflicts: 1774000 | #Constraints: 30491
2096.15/2102.53 c #Conflicts: 1775000 | #Constraints: 31654
2096.15/2102.53 c #Conflicts: 1776000 | #Constraints: 32764
2096.15/2102.53 c #Conflicts: 1777000 | #Constraints: 33874
2096.15/2102.53 c #Conflicts: 1778000 | #Constraints: 34974
2096.15/2102.53 c #Conflicts: 1779000 | #Constraints: 36076
2096.15/2102.53 c #Conflicts: 1780000 | #Constraints: 37181
2096.15/2102.53 c #Conflicts: 1781000 | #Constraints: 38313
2096.15/2102.53 c #Conflicts: 1782000 | #Constraints: 39415
2096.15/2102.53 c #Conflicts: 1783000 | #Constraints: 40503
2096.15/2102.53 c #Conflicts: 1784000 | #Constraints: 41619
2096.15/2102.53 c #Conflicts: 1785000 | #Constraints: 42728
2096.15/2102.53 c #Conflicts: 1786000 | #Constraints: 43841
2096.15/2102.53 c #Conflicts: 1787000 | #Constraints: 44957
2096.15/2102.53 c #Conflicts: 1788000 | #Constraints: 46089
2096.15/2102.53 c #Conflicts: 1789000 | #Constraints: 47190
2096.15/2102.53 c #Conflicts: 1790000 | #Constraints: 48307
2096.15/2102.53 c #Conflicts: 1791000 | #Constraints: 49427
2096.15/2102.53 c #Conflicts: 1792000 | #Constraints: 50541
2096.15/2102.53 c #Conflicts: 1793000 | #Constraints: 51650
2096.15/2102.53 c #Conflicts: 1794000 | #Constraints: 52835
2096.15/2102.53 c #Conflicts: 1795000 | #Constraints: 54008
2096.15/2102.53 c #Conflicts: 1796000 | #Constraints: 55131
2096.15/2102.53 c #Conflicts: 1797000 | #Constraints: 56236
2096.15/2102.53 c #Conflicts: 1798000 | #Constraints: 57340
2096.15/2102.53 c #Conflicts: 1799000 | #Constraints: 58472
2096.15/2102.53 c #Conflicts: 1800000 | #Constraints: 59585
2096.15/2102.53 c INPROCESSING
2096.15/2102.53 c GARBAGE COLLECT
2096.15/2102.53 c #Conflicts: 1801000 | #Constraints: 30915
2096.15/2102.53 c #Conflicts: 1802000 | #Constraints: 32040
2096.15/2102.53 c #Conflicts: 1803000 | #Constraints: 33162
2096.15/2102.53 c #Conflicts: 1804000 | #Constraints: 34303
2096.15/2102.53 c #Conflicts: 1805000 | #Constraints: 35446
2096.15/2102.53 c #Conflicts: 1806000 | #Constraints: 36592
2096.15/2102.53 c #Conflicts: 1807000 | #Constraints: 37735
2096.15/2102.53 c #Conflicts: 1808000 | #Constraints: 38862
2096.15/2102.53 c #Conflicts: 1809000 | #Constraints: 39985
2096.15/2102.53 c #Conflicts: 1810000 | #Constraints: 41116
2096.15/2102.53 c #Conflicts: 1811000 | #Constraints: 42232
2096.15/2102.53 c #Conflicts: 1812000 | #Constraints: 43357
2096.15/2102.53 c #Conflicts: 1813000 | #Constraints: 44476
2096.15/2102.53 c #Conflicts: 1814000 | #Constraints: 45597
2096.15/2102.53 c #Conflicts: 1815000 | #Constraints: 46715
2096.15/2102.53 c #Conflicts: 1816000 | #Constraints: 47854
2096.15/2102.53 c #Conflicts: 1817000 | #Constraints: 48990
2096.15/2102.53 c #Conflicts: 1818000 | #Constraints: 50080
2096.15/2102.53 c #Conflicts: 1819000 | #Constraints: 51176
2096.15/2102.53 c #Conflicts: 1820000 | #Constraints: 52262
2096.15/2102.53 c #Conflicts: 1821000 | #Constraints: 53373
2096.15/2102.53 c #Conflicts: 1822000 | #Constraints: 54484
2096.15/2102.53 c #Conflicts: 1823000 | #Constraints: 55601
2096.15/2102.53 c #Conflicts: 1824000 | #Constraints: 56713
2096.15/2102.53 c #Conflicts: 1825000 | #Constraints: 57811
2096.15/2102.53 c #Conflicts: 1826000 | #Constraints: 58936
2096.15/2102.53 c #Conflicts: 1827000 | #Constraints: 60066
2096.15/2102.53 c INPROCESSING
2096.15/2102.53 c GARBAGE COLLECT
2096.15/2102.53 c #Conflicts: 1828000 | #Constraints: 31144
2096.15/2102.53 c #Conflicts: 1829000 | #Constraints: 32246
2096.15/2102.53 c #Conflicts: 1830000 | #Constraints: 33350
2096.15/2102.53 c #Conflicts: 1831000 | #Constraints: 34432
2096.15/2102.53 c #Conflicts: 1832000 | #Constraints: 35495
2096.15/2102.53 c #Conflicts: 1833000 | #Constraints: 36617
2096.15/2102.53 c #Conflicts: 1834000 | #Constraints: 37723
2096.15/2102.53 c #Conflicts: 1835000 | #Constraints: 38844
2096.15/2102.53 c #Conflicts: 1836000 | #Constraints: 39937
2096.15/2102.53 c #Conflicts: 1837000 | #Constraints: 41023
2096.15/2102.53 c #Conflicts: 1838000 | #Constraints: 42130
2096.15/2102.53 c #Conflicts: 1839000 | #Constraints: 43235
2096.15/2102.53 c #Conflicts: 1840000 | #Constraints: 44338
2096.15/2102.53 c #Conflicts: 1841000 | #Constraints: 45446
2096.15/2102.53 c #Conflicts: 1842000 | #Constraints: 46544
2096.15/2102.53 c #Conflicts: 1843000 | #Constraints: 47657
2096.15/2102.53 c #Conflicts: 1844000 | #Constraints: 48762
2096.15/2102.53 c #Conflicts: 1845000 | #Constraints: 49883
2096.15/2102.53 c #Conflicts: 1846000 | #Constraints: 51001
2096.15/2102.53 c #Conflicts: 1847000 | #Constraints: 52106
2096.15/2102.53 c #Conflicts: 1848000 | #Constraints: 53223
2096.15/2102.53 c #Conflicts: 1849000 | #Constraints: 54352
2239.91/2246.71 c #Conflicts: 1850000 | #Constraints: 55478
2239.91/2246.71 c #Conflicts: 1851000 | #Constraints: 56623
2239.91/2246.71 c #Conflicts: 1852000 | #Constraints: 57758
2239.91/2246.71 c #Conflicts: 1853000 | #Constraints: 58930
2239.91/2246.71 c #Conflicts: 1854000 | #Constraints: 60065
2239.91/2246.71 c INPROCESSING
2239.91/2246.71 c GARBAGE COLLECT
2239.91/2246.71 c #Conflicts: 1855000 | #Constraints: 31046
2239.91/2246.71 c #Conflicts: 1856000 | #Constraints: 32156
2239.91/2246.71 c #Conflicts: 1857000 | #Constraints: 33259
2239.91/2246.71 c #Conflicts: 1858000 | #Constraints: 34384
2239.91/2246.71 c #Conflicts: 1859000 | #Constraints: 35481
2239.91/2246.71 c #Conflicts: 1860000 | #Constraints: 36572
2239.91/2246.71 c #Conflicts: 1861000 | #Constraints: 37681
2239.91/2246.71 c #Conflicts: 1862000 | #Constraints: 38779
2239.91/2246.71 c #Conflicts: 1863000 | #Constraints: 39915
2239.91/2246.71 c #Conflicts: 1864000 | #Constraints: 41036
2239.91/2246.71 c #Conflicts: 1865000 | #Constraints: 42173
2239.91/2246.71 c #Conflicts: 1866000 | #Constraints: 43308
2239.91/2246.71 c #Conflicts: 1867000 | #Constraints: 44405
2239.91/2246.71 c #Conflicts: 1868000 | #Constraints: 45513
2239.91/2246.71 c #Conflicts: 1869000 | #Constraints: 46589
2239.91/2246.71 c #Conflicts: 1870000 | #Constraints: 47703
2239.91/2246.71 c #Conflicts: 1871000 | #Constraints: 48806
2239.91/2246.71 c #Conflicts: 1872000 | #Constraints: 49925
2239.91/2246.71 c #Conflicts: 1873000 | #Constraints: 51029
2239.91/2246.71 c #Conflicts: 1874000 | #Constraints: 52137
2239.91/2246.71 c #Conflicts: 1875000 | #Constraints: 53263
2239.91/2246.71 c #Conflicts: 1876000 | #Constraints: 54379
2239.91/2246.71 c #Conflicts: 1877000 | #Constraints: 55475
2239.91/2246.71 c #Conflicts: 1878000 | #Constraints: 56608
2239.91/2246.71 c #Conflicts: 1879000 | #Constraints: 57731
2239.91/2246.71 c #Conflicts: 1880000 | #Constraints: 58825
2239.91/2246.71 c #Conflicts: 1881000 | #Constraints: 59965
2239.91/2246.71 c INPROCESSING
2239.91/2246.71 c GARBAGE COLLECT
2239.91/2246.71 c #Conflicts: 1882000 | #Constraints: 30765
2239.91/2246.71 c #Conflicts: 1883000 | #Constraints: 31857
2239.91/2246.71 c #Conflicts: 1884000 | #Constraints: 32954
2239.91/2246.71 c #Conflicts: 1885000 | #Constraints: 34148
2239.91/2246.71 c #Conflicts: 1886000 | #Constraints: 35247
2239.91/2246.71 c #Conflicts: 1887000 | #Constraints: 36346
2239.91/2246.71 c #Conflicts: 1888000 | #Constraints: 37443
2239.91/2246.71 c #Conflicts: 1889000 | #Constraints: 38559
2239.91/2246.71 c #Conflicts: 1890000 | #Constraints: 39671
2239.91/2246.71 c #Conflicts: 1891000 | #Constraints: 40782
2239.91/2246.71 c #Conflicts: 1892000 | #Constraints: 41891
2239.91/2246.71 c #Conflicts: 1893000 | #Constraints: 43000
2239.91/2246.71 c #Conflicts: 1894000 | #Constraints: 44124
2239.91/2246.71 c #Conflicts: 1895000 | #Constraints: 45261
2239.91/2246.71 c #Conflicts: 1896000 | #Constraints: 46365
2239.91/2246.71 c #Conflicts: 1897000 | #Constraints: 47464
2239.91/2246.71 c #Conflicts: 1898000 | #Constraints: 48565
2239.91/2246.71 c #Conflicts: 1899000 | #Constraints: 49676
2239.91/2246.71 c #Conflicts: 1900000 | #Constraints: 50778
2239.91/2246.71 c #Conflicts: 1901000 | #Constraints: 51911
2239.91/2246.71 c #Conflicts: 1902000 | #Constraints: 53050
2239.91/2246.71 c #Conflicts: 1903000 | #Constraints: 54154
2239.91/2246.71 c #Conflicts: 1904000 | #Constraints: 55242
2239.91/2246.71 c #Conflicts: 1905000 | #Constraints: 56382
2239.91/2246.71 c #Conflicts: 1906000 | #Constraints: 57552
2239.91/2246.71 c #Conflicts: 1907000 | #Constraints: 58712
2239.91/2246.71 c #Conflicts: 1908000 | #Constraints: 59880
2239.91/2246.71 c #Conflicts: 1909000 | #Constraints: 61017
2239.91/2246.71 c INPROCESSING
2239.91/2246.71 c GARBAGE COLLECT
2239.91/2246.71 c #Conflicts: 1910000 | #Constraints: 31611
2239.91/2246.71 c #Conflicts: 1911000 | #Constraints: 32776
2239.91/2246.71 c #Conflicts: 1912000 | #Constraints: 33945
2239.91/2246.71 c #Conflicts: 1913000 | #Constraints: 35069
2239.91/2246.71 c #Conflicts: 1914000 | #Constraints: 36216
2239.91/2246.71 c #Conflicts: 1915000 | #Constraints: 37436
2239.91/2246.71 c #Conflicts: 1916000 | #Constraints: 38598
2239.91/2246.71 c #Conflicts: 1917000 | #Constraints: 39714
2239.91/2246.71 c #Conflicts: 1918000 | #Constraints: 40823
2239.91/2246.71 c #Conflicts: 1919000 | #Constraints: 41908
2239.91/2246.71 c #Conflicts: 1920000 | #Constraints: 43009
2239.91/2246.71 c #Conflicts: 1921000 | #Constraints: 44136
2239.91/2246.71 c #Conflicts: 1922000 | #Constraints: 45304
2239.91/2246.71 c #Conflicts: 1923000 | #Constraints: 46395
2239.91/2246.71 c #Conflicts: 1924000 | #Constraints: 47516
2239.91/2246.71 c #Conflicts: 1925000 | #Constraints: 48640
2239.91/2246.71 c #Conflicts: 1926000 | #Constraints: 49770
2401.62/2408.98 c #Conflicts: 1927000 | #Constraints: 50888
2401.62/2408.98 c #Conflicts: 1928000 | #Constraints: 52001
2401.62/2408.98 c #Conflicts: 1929000 | #Constraints: 53114
2401.62/2408.98 c #Conflicts: 1930000 | #Constraints: 54218
2401.62/2408.98 c #Conflicts: 1931000 | #Constraints: 55334
2401.62/2408.98 c #Conflicts: 1932000 | #Constraints: 56454
2401.62/2408.98 c #Conflicts: 1933000 | #Constraints: 57559
2401.62/2408.98 c #Conflicts: 1934000 | #Constraints: 58672
2401.62/2408.98 c #Conflicts: 1935000 | #Constraints: 59791
2401.62/2408.98 c #Conflicts: 1936000 | #Constraints: 60926
2401.62/2408.98 c #Conflicts: 1937000 | #Constraints: 62061
2401.62/2408.98 c INPROCESSING
2401.62/2408.98 c GARBAGE COLLECT
2401.62/2408.98 c #Conflicts: 1938000 | #Constraints: 32170
2401.62/2408.98 c #Conflicts: 1939000 | #Constraints: 33282
2401.62/2408.98 c #Conflicts: 1940000 | #Constraints: 34404
2401.62/2408.98 c #Conflicts: 1941000 | #Constraints: 35554
2401.62/2408.98 c #Conflicts: 1942000 | #Constraints: 36646
2401.62/2408.98 c #Conflicts: 1943000 | #Constraints: 37745
2401.62/2408.98 c #Conflicts: 1944000 | #Constraints: 38871
2401.62/2408.98 c #Conflicts: 1945000 | #Constraints: 40024
2401.62/2408.98 c #Conflicts: 1946000 | #Constraints: 41211
2401.62/2408.98 c #Conflicts: 1947000 | #Constraints: 42328
2401.62/2408.98 c #Conflicts: 1948000 | #Constraints: 43433
2401.62/2408.98 c #Conflicts: 1949000 | #Constraints: 44542
2401.62/2408.98 c #Conflicts: 1950000 | #Constraints: 45634
2401.62/2408.98 c #Conflicts: 1951000 | #Constraints: 46717
2401.62/2408.98 c #Conflicts: 1952000 | #Constraints: 47816
2401.62/2408.98 c #Conflicts: 1953000 | #Constraints: 48956
2401.62/2408.98 c #Conflicts: 1954000 | #Constraints: 50120
2401.62/2408.98 c #Conflicts: 1955000 | #Constraints: 51229
2401.62/2408.98 c #Conflicts: 1956000 | #Constraints: 52353
2401.62/2408.98 c #Conflicts: 1957000 | #Constraints: 53459
2401.62/2408.98 c #Conflicts: 1958000 | #Constraints: 54555
2401.62/2408.98 c #Conflicts: 1959000 | #Constraints: 55654
2401.62/2408.98 c #Conflicts: 1960000 | #Constraints: 56744
2401.62/2408.98 c #Conflicts: 1961000 | #Constraints: 57860
2401.62/2408.98 c #Conflicts: 1962000 | #Constraints: 58982
2401.62/2408.98 c #Conflicts: 1963000 | #Constraints: 60087
2401.62/2408.98 c #Conflicts: 1964000 | #Constraints: 61211
2401.62/2408.98 c #Conflicts: 1965000 | #Constraints: 62336
2401.62/2408.98 c INPROCESSING
2401.62/2408.98 c GARBAGE COLLECT
2401.62/2408.98 c #Conflicts: 1966000 | #Constraints: 32263
2401.62/2408.98 c #Conflicts: 1967000 | #Constraints: 33368
2401.62/2408.98 c #Conflicts: 1968000 | #Constraints: 34485
2401.62/2408.98 c #Conflicts: 1969000 | #Constraints: 35586
2401.62/2408.98 c #Conflicts: 1970000 | #Constraints: 36684
2401.62/2408.98 c #Conflicts: 1971000 | #Constraints: 37808
2401.62/2408.98 c #Conflicts: 1972000 | #Constraints: 38934
2401.62/2408.98 c #Conflicts: 1973000 | #Constraints: 40034
2401.62/2408.98 c #Conflicts: 1974000 | #Constraints: 41139
2401.62/2408.98 c #Conflicts: 1975000 | #Constraints: 42264
2401.62/2408.98 c #Conflicts: 1976000 | #Constraints: 43385
2401.62/2408.98 c #Conflicts: 1977000 | #Constraints: 44532
2401.62/2408.98 c #Conflicts: 1978000 | #Constraints: 45661
2401.62/2408.98 c #Conflicts: 1979000 | #Constraints: 46770
2401.62/2408.98 c #Conflicts: 1980000 | #Constraints: 47922
2401.62/2408.98 c #Conflicts: 1981000 | #Constraints: 49099
2401.62/2408.98 c #Conflicts: 1982000 | #Constraints: 50212
2401.62/2408.98 c #Conflicts: 1983000 | #Constraints: 51315
2401.62/2408.98 c #Conflicts: 1984000 | #Constraints: 52426
2401.62/2408.98 c #Conflicts: 1985000 | #Constraints: 53506
2401.62/2408.98 c #Conflicts: 1986000 | #Constraints: 54615
2401.62/2408.98 c #Conflicts: 1987000 | #Constraints: 55718
2401.62/2408.98 c #Conflicts: 1988000 | #Constraints: 56834
2401.62/2408.98 c #Conflicts: 1989000 | #Constraints: 57947
2401.62/2408.98 c #Conflicts: 1990000 | #Constraints: 59106
2401.62/2408.98 c #Conflicts: 1991000 | #Constraints: 60272
2401.62/2408.98 c #Conflicts: 1992000 | #Constraints: 61453
2401.62/2408.98 c #Conflicts: 1993000 | #Constraints: 62605
2401.62/2408.98 c INPROCESSING
2401.62/2408.98 c GARBAGE COLLECT
2401.62/2408.98 c #Conflicts: 1994000 | #Constraints: 32312
2401.62/2408.98 c #Conflicts: 1995000 | #Constraints: 33425
2401.62/2408.98 c #Conflicts: 1996000 | #Constraints: 34542
2401.62/2408.98 c #Conflicts: 1997000 | #Constraints: 35645
2401.62/2408.98 c #Conflicts: 1998000 | #Constraints: 36739
2401.62/2408.98 c #Conflicts: 1999000 | #Constraints: 37858
2401.62/2408.98 c #Conflicts: 2000000 | #Constraints: 38977
2401.62/2408.98 c #Conflicts: 2001000 | #Constraints: 40078
2401.62/2408.98 c #Conflicts: 2002000 | #Constraints: 41235
2401.62/2408.98 c #Conflicts: 2003000 | #Constraints: 42349
2579.67/2587.50 c #Conflicts: 2004000 | #Constraints: 43448
2579.67/2587.50 c #Conflicts: 2005000 | #Constraints: 44566
2579.67/2587.50 c #Conflicts: 2006000 | #Constraints: 45651
2579.67/2587.50 c #Conflicts: 2007000 | #Constraints: 46793
2579.67/2587.50 c #Conflicts: 2008000 | #Constraints: 47907
2579.67/2587.50 c #Conflicts: 2009000 | #Constraints: 48991
2579.67/2587.50 c #Conflicts: 2010000 | #Constraints: 50109
2579.67/2587.50 c #Conflicts: 2011000 | #Constraints: 51225
2579.67/2587.50 c #Conflicts: 2012000 | #Constraints: 52344
2579.67/2587.50 c #Conflicts: 2013000 | #Constraints: 53464
2579.67/2587.50 c #Conflicts: 2014000 | #Constraints: 54610
2579.67/2587.50 c #Conflicts: 2015000 | #Constraints: 55783
2579.67/2587.50 c #Conflicts: 2016000 | #Constraints: 56944
2579.67/2587.50 c #Conflicts: 2017000 | #Constraints: 58099
2579.67/2587.50 c #Conflicts: 2018000 | #Constraints: 59274
2579.67/2587.50 c #Conflicts: 2019000 | #Constraints: 60407
2579.67/2587.50 c #Conflicts: 2020000 | #Constraints: 61518
2579.67/2587.50 c #Conflicts: 2021000 | #Constraints: 62620
2579.67/2587.50 c INPROCESSING
2579.67/2587.50 c GARBAGE COLLECT
2579.67/2587.50 c #Conflicts: 2022000 | #Constraints: 32105
2579.67/2587.50 c #Conflicts: 2023000 | #Constraints: 33215
2579.67/2587.50 c #Conflicts: 2024000 | #Constraints: 34339
2579.67/2587.50 c #Conflicts: 2025000 | #Constraints: 35443
2579.67/2587.50 c #Conflicts: 2026000 | #Constraints: 36548
2579.67/2587.50 c #Conflicts: 2027000 | #Constraints: 37645
2579.67/2587.50 c #Conflicts: 2028000 | #Constraints: 38747
2579.67/2587.50 c #Conflicts: 2029000 | #Constraints: 39854
2579.67/2587.50 c #Conflicts: 2030000 | #Constraints: 40996
2579.67/2587.50 c #Conflicts: 2031000 | #Constraints: 42110
2579.67/2587.50 c #Conflicts: 2032000 | #Constraints: 43249
2579.67/2587.50 c #Conflicts: 2033000 | #Constraints: 44364
2579.67/2587.50 c #Conflicts: 2034000 | #Constraints: 45491
2579.67/2587.50 c #Conflicts: 2035000 | #Constraints: 46610
2579.67/2587.50 c #Conflicts: 2036000 | #Constraints: 47728
2579.67/2587.50 c #Conflicts: 2037000 | #Constraints: 48858
2579.67/2587.50 c #Conflicts: 2038000 | #Constraints: 49980
2579.67/2587.50 c #Conflicts: 2039000 | #Constraints: 51103
2579.67/2587.50 c #Conflicts: 2040000 | #Constraints: 52245
2579.67/2587.50 c #Conflicts: 2041000 | #Constraints: 53415
2579.67/2587.50 c #Conflicts: 2042000 | #Constraints: 54541
2579.67/2587.50 c #Conflicts: 2043000 | #Constraints: 55646
2579.67/2587.50 c #Conflicts: 2044000 | #Constraints: 56779
2579.67/2587.50 c #Conflicts: 2045000 | #Constraints: 57884
2579.67/2587.50 c #Conflicts: 2046000 | #Constraints: 58996
2579.67/2587.50 c #Conflicts: 2047000 | #Constraints: 60112
2579.67/2587.50 c #Conflicts: 2048000 | #Constraints: 61224
2579.67/2587.50 c #Conflicts: 2049000 | #Constraints: 62359
2579.67/2587.50 c #Conflicts: 2050000 | #Constraints: 63451
2579.67/2587.50 c INPROCESSING
2579.67/2587.50 c GARBAGE COLLECT
2579.67/2587.50 c #Conflicts: 2051000 | #Constraints: 32729
2579.67/2587.50 c #Conflicts: 2052000 | #Constraints: 33845
2579.67/2587.50 c #Conflicts: 2053000 | #Constraints: 34947
2579.67/2587.50 c #Conflicts: 2054000 | #Constraints: 36043
2579.67/2587.50 c #Conflicts: 2055000 | #Constraints: 37163
2579.67/2587.50 c #Conflicts: 2056000 | #Constraints: 38298
2579.67/2587.50 c #Conflicts: 2057000 | #Constraints: 39424
2579.67/2587.50 c #Conflicts: 2058000 | #Constraints: 40577
2579.67/2587.50 c #Conflicts: 2059000 | #Constraints: 41734
2579.67/2587.50 c #Conflicts: 2060000 | #Constraints: 42883
2579.67/2587.50 c #Conflicts: 2061000 | #Constraints: 44019
2579.67/2587.50 c #Conflicts: 2062000 | #Constraints: 45177
2579.67/2587.50 c #Conflicts: 2063000 | #Constraints: 46324
2579.67/2587.50 c #Conflicts: 2064000 | #Constraints: 47421
2579.67/2587.50 c #Conflicts: 2065000 | #Constraints: 48531
2579.67/2587.50 c #Conflicts: 2066000 | #Constraints: 49650
2579.67/2587.50 c #Conflicts: 2067000 | #Constraints: 50776
2579.67/2587.50 c #Conflicts: 2068000 | #Constraints: 51881
2579.67/2587.50 c #Conflicts: 2069000 | #Constraints: 52991
2579.67/2587.50 c #Conflicts: 2070000 | #Constraints: 54100
2579.67/2587.50 c #Conflicts: 2071000 | #Constraints: 55226
2579.67/2587.50 c #Conflicts: 2072000 | #Constraints: 56364
2579.67/2587.50 c #Conflicts: 2073000 | #Constraints: 57481
2579.67/2587.50 c #Conflicts: 2074000 | #Constraints: 58594
2579.67/2587.50 c #Conflicts: 2075000 | #Constraints: 59700
2579.67/2587.50 c #Conflicts: 2076000 | #Constraints: 60790
2579.67/2587.50 c #Conflicts: 2077000 | #Constraints: 61893
2579.67/2587.50 c #Conflicts: 2078000 | #Constraints: 62993
2579.67/2587.50 c #Conflicts: 2079000 | #Constraints: 64110
2579.67/2587.50 c INPROCESSING
2579.67/2587.50 c GARBAGE COLLECT
2579.67/2587.50 c #Conflicts: 2080000 | #Constraints: 33164
2744.05/2752.51 c #Conflicts: 2081000 | #Constraints: 34268
2744.05/2752.51 c #Conflicts: 2082000 | #Constraints: 35378
2744.05/2752.51 c #Conflicts: 2083000 | #Constraints: 36498
2744.05/2752.51 c #Conflicts: 2084000 | #Constraints: 37610
2744.05/2752.51 c #Conflicts: 2085000 | #Constraints: 38742
2744.05/2752.51 c #Conflicts: 2086000 | #Constraints: 39910
2744.05/2752.51 c #Conflicts: 2087000 | #Constraints: 41063
2744.05/2752.51 c #Conflicts: 2088000 | #Constraints: 42211
2744.05/2752.51 c #Conflicts: 2089000 | #Constraints: 43335
2744.05/2752.51 c #Conflicts: 2090000 | #Constraints: 44450
2744.05/2752.51 c #Conflicts: 2091000 | #Constraints: 45605
2744.05/2752.51 c #Conflicts: 2092000 | #Constraints: 46739
2744.05/2752.51 c #Conflicts: 2093000 | #Constraints: 47882
2744.05/2752.51 c #Conflicts: 2094000 | #Constraints: 49015
2744.05/2752.51 c #Conflicts: 2095000 | #Constraints: 50172
2744.05/2752.51 c #Conflicts: 2096000 | #Constraints: 51339
2744.05/2752.51 c #Conflicts: 2097000 | #Constraints: 52502
2744.05/2752.51 c #Conflicts: 2098000 | #Constraints: 53656
2744.05/2752.51 c #Conflicts: 2099000 | #Constraints: 54843
2744.05/2752.51 c #Conflicts: 2100000 | #Constraints: 55983
2744.05/2752.51 c #Conflicts: 2101000 | #Constraints: 57103
2744.05/2752.51 c #Conflicts: 2102000 | #Constraints: 58239
2744.05/2752.51 c #Conflicts: 2103000 | #Constraints: 59397
2744.05/2752.51 c #Conflicts: 2104000 | #Constraints: 60548
2744.05/2752.51 c #Conflicts: 2105000 | #Constraints: 61684
2744.05/2752.51 c #Conflicts: 2106000 | #Constraints: 62822
2744.05/2752.51 c #Conflicts: 2107000 | #Constraints: 63953
2744.05/2752.51 c #Conflicts: 2108000 | #Constraints: 65094
2744.05/2752.51 c INPROCESSING
2744.05/2752.51 c GARBAGE COLLECT
2744.05/2752.51 c #Conflicts: 2109000 | #Constraints: 33698
2744.05/2752.51 c #Conflicts: 2110000 | #Constraints: 34814
2744.05/2752.51 c #Conflicts: 2111000 | #Constraints: 35968
2744.05/2752.51 c #Conflicts: 2112000 | #Constraints: 37113
2744.05/2752.51 c #Conflicts: 2113000 | #Constraints: 38239
2744.05/2752.51 c #Conflicts: 2114000 | #Constraints: 39366
2744.05/2752.51 c #Conflicts: 2115000 | #Constraints: 40526
2744.05/2752.51 c #Conflicts: 2116000 | #Constraints: 41699
2744.05/2752.51 c #Conflicts: 2117000 | #Constraints: 42843
2744.05/2752.51 c #Conflicts: 2118000 | #Constraints: 44005
2744.05/2752.51 c #Conflicts: 2119000 | #Constraints: 45161
2744.05/2752.51 c #Conflicts: 2120000 | #Constraints: 46291
2744.05/2752.51 c #Conflicts: 2121000 | #Constraints: 47451
2744.05/2752.51 c #Conflicts: 2122000 | #Constraints: 48559
2744.05/2752.51 c #Conflicts: 2123000 | #Constraints: 49651
2744.05/2752.51 c #Conflicts: 2124000 | #Constraints: 50761
2744.05/2752.51 c #Conflicts: 2125000 | #Constraints: 51885
2744.05/2752.51 c #Conflicts: 2126000 | #Constraints: 53028
2744.05/2752.51 c #Conflicts: 2127000 | #Constraints: 54170
2744.05/2752.51 c #Conflicts: 2128000 | #Constraints: 55288
2744.05/2752.51 c #Conflicts: 2129000 | #Constraints: 56420
2744.05/2752.51 c #Conflicts: 2130000 | #Constraints: 57543
2744.05/2752.51 c #Conflicts: 2131000 | #Constraints: 58662
2744.05/2752.51 c #Conflicts: 2132000 | #Constraints: 59825
2744.05/2752.51 c #Conflicts: 2133000 | #Constraints: 60950
2744.05/2752.51 c #Conflicts: 2134000 | #Constraints: 62113
2744.05/2752.51 c #Conflicts: 2135000 | #Constraints: 63251
2744.05/2752.51 c #Conflicts: 2136000 | #Constraints: 64380
2744.05/2752.51 c #Conflicts: 2137000 | #Constraints: 65523
2744.05/2752.51 c INPROCESSING
2744.05/2752.51 c GARBAGE COLLECT
2744.05/2752.51 c #Conflicts: 2138000 | #Constraints: 33765
2744.05/2752.51 c #Conflicts: 2139000 | #Constraints: 34898
2744.05/2752.51 c #Conflicts: 2140000 | #Constraints: 36010
2744.05/2752.51 c #Conflicts: 2141000 | #Constraints: 37127
2744.05/2752.51 c #Conflicts: 2142000 | #Constraints: 38248
2744.05/2752.51 c #Conflicts: 2143000 | #Constraints: 39371
2744.05/2752.51 c #Conflicts: 2144000 | #Constraints: 40518
2744.05/2752.51 c #Conflicts: 2145000 | #Constraints: 41655
2744.05/2752.51 c #Conflicts: 2146000 | #Constraints: 42805
2744.05/2752.51 c #Conflicts: 2147000 | #Constraints: 43967
2744.05/2752.51 c #Conflicts: 2148000 | #Constraints: 45146
2744.05/2752.51 c #Conflicts: 2149000 | #Constraints: 46282
2744.05/2752.51 c #Conflicts: 2150000 | #Constraints: 47435
2744.05/2752.51 c #Conflicts: 2151000 | #Constraints: 48583
2744.05/2752.51 c #Conflicts: 2152000 | #Constraints: 49728
2744.05/2752.51 c #Conflicts: 2153000 | #Constraints: 50921
2744.05/2752.51 c #Conflicts: 2154000 | #Constraints: 52029
2744.05/2752.51 c #Conflicts: 2155000 | #Constraints: 53179
2744.05/2752.51 c #Conflicts: 2156000 | #Constraints: 54288
2744.05/2752.51 c #Conflicts: 2157000 | #Constraints: 55389
2744.05/2752.51 c #Conflicts: 2158000 | #Constraints: 56519
2918.30/2927.46 c #Conflicts: 2159000 | #Constraints: 57644
2918.30/2927.46 c #Conflicts: 2160000 | #Constraints: 58760
2918.30/2927.46 c #Conflicts: 2161000 | #Constraints: 59860
2918.30/2927.46 c #Conflicts: 2162000 | #Constraints: 60954
2918.30/2927.46 c #Conflicts: 2163000 | #Constraints: 62045
2918.30/2927.46 c #Conflicts: 2164000 | #Constraints: 63142
2918.30/2927.46 c #Conflicts: 2165000 | #Constraints: 64242
2918.30/2927.46 c #Conflicts: 2166000 | #Constraints: 65369
2918.30/2927.46 c INPROCESSING
2918.30/2927.46 c GARBAGE COLLECT
2918.30/2927.46 c #Conflicts: 2167000 | #Constraints: 33457
2918.30/2927.46 c #Conflicts: 2168000 | #Constraints: 34565
2918.30/2927.46 c #Conflicts: 2169000 | #Constraints: 35694
2918.30/2927.46 c #Conflicts: 2170000 | #Constraints: 36802
2918.30/2927.46 c #Conflicts: 2171000 | #Constraints: 37927
2918.30/2927.46 c #Conflicts: 2172000 | #Constraints: 39065
2918.30/2927.46 c #Conflicts: 2173000 | #Constraints: 40191
2918.30/2927.46 c #Conflicts: 2174000 | #Constraints: 41314
2918.30/2927.46 c #Conflicts: 2175000 | #Constraints: 42452
2918.30/2927.46 c #Conflicts: 2176000 | #Constraints: 43569
2918.30/2927.46 c #Conflicts: 2177000 | #Constraints: 44679
2918.30/2927.46 c #Conflicts: 2178000 | #Constraints: 45705
2918.30/2927.46 c #Conflicts: 2179000 | #Constraints: 46852
2918.30/2927.46 c #Conflicts: 2180000 | #Constraints: 47970
2918.30/2927.46 c #Conflicts: 2181000 | #Constraints: 49081
2918.30/2927.46 c #Conflicts: 2182000 | #Constraints: 50219
2918.30/2927.46 c #Conflicts: 2183000 | #Constraints: 51338
2918.30/2927.46 c #Conflicts: 2184000 | #Constraints: 52464
2918.30/2927.46 c #Conflicts: 2185000 | #Constraints: 53616
2918.30/2927.46 c #Conflicts: 2186000 | #Constraints: 54744
2918.30/2927.46 c #Conflicts: 2187000 | #Constraints: 55861
2918.30/2927.46 c #Conflicts: 2188000 | #Constraints: 56982
2918.30/2927.46 c #Conflicts: 2189000 | #Constraints: 58109
2918.30/2927.46 c #Conflicts: 2190000 | #Constraints: 59212
2918.30/2927.46 c #Conflicts: 2191000 | #Constraints: 60331
2918.30/2927.46 c #Conflicts: 2192000 | #Constraints: 61437
2918.30/2927.46 c #Conflicts: 2193000 | #Constraints: 62538
2918.30/2927.46 c #Conflicts: 2194000 | #Constraints: 63629
2918.30/2927.46 c #Conflicts: 2195000 | #Constraints: 64741
2918.30/2927.46 c #Conflicts: 2196000 | #Constraints: 65868
2918.30/2927.46 c INPROCESSING
2918.30/2927.46 c GARBAGE COLLECT
2918.30/2927.46 c #Conflicts: 2197000 | #Constraints: 33961
2918.30/2927.46 c #Conflicts: 2198000 | #Constraints: 35136
2918.30/2927.46 c #Conflicts: 2199000 | #Constraints: 36267
2918.30/2927.46 c #Conflicts: 2200000 | #Constraints: 37440
2918.30/2927.46 c #Conflicts: 2201000 | #Constraints: 38573
2918.30/2927.46 c #Conflicts: 2202000 | #Constraints: 39711
2918.30/2927.46 c #Conflicts: 2203000 | #Constraints: 40828
2918.30/2927.46 c #Conflicts: 2204000 | #Constraints: 41974
2918.30/2927.46 c #Conflicts: 2205000 | #Constraints: 43107
2918.30/2927.46 c #Conflicts: 2206000 | #Constraints: 44230
2918.30/2927.46 c #Conflicts: 2207000 | #Constraints: 45385
2918.30/2927.46 c #Conflicts: 2208000 | #Constraints: 46570
2918.30/2927.46 c #Conflicts: 2209000 | #Constraints: 47727
2918.30/2927.46 c #Conflicts: 2210000 | #Constraints: 48867
2918.30/2927.46 c #Conflicts: 2211000 | #Constraints: 49997
2918.30/2927.46 c #Conflicts: 2212000 | #Constraints: 51136
2918.30/2927.46 c #Conflicts: 2213000 | #Constraints: 52279
2918.30/2927.46 c #Conflicts: 2214000 | #Constraints: 53421
2918.30/2927.46 c #Conflicts: 2215000 | #Constraints: 54580
2918.30/2927.46 c #Conflicts: 2216000 | #Constraints: 55718
2918.30/2927.46 c #Conflicts: 2217000 | #Constraints: 56857
2918.30/2927.46 c #Conflicts: 2218000 | #Constraints: 57997
2918.30/2927.46 c #Conflicts: 2219000 | #Constraints: 59123
2918.30/2927.46 c #Conflicts: 2220000 | #Constraints: 60268
2918.30/2927.46 c #Conflicts: 2221000 | #Constraints: 61399
2918.30/2927.46 c #Conflicts: 2222000 | #Constraints: 62528
2918.30/2927.46 c #Conflicts: 2223000 | #Constraints: 63678
2918.30/2927.46 c #Conflicts: 2224000 | #Constraints: 64829
2918.30/2927.46 c #Conflicts: 2225000 | #Constraints: 65979
2918.30/2927.46 c #Conflicts: 2226000 | #Constraints: 67125
2918.30/2927.46 c INPROCESSING
2918.30/2927.46 c GARBAGE COLLECT
2918.30/2927.46 c #Conflicts: 2227000 | #Constraints: 34684
2918.30/2927.46 c #Conflicts: 2228000 | #Constraints: 35792
2918.30/2927.46 c #Conflicts: 2229000 | #Constraints: 36888
2918.30/2927.46 c #Conflicts: 2230000 | #Constraints: 37973
2918.30/2927.46 c #Conflicts: 2231000 | #Constraints: 39077
2918.30/2927.46 c #Conflicts: 2232000 | #Constraints: 40171
2918.30/2927.46 c #Conflicts: 2233000 | #Constraints: 41281
2918.30/2927.46 c #Conflicts: 2234000 | #Constraints: 42369
3117.97/3127.86 c #Conflicts: 2235000 | #Constraints: 43474
3117.97/3127.86 c #Conflicts: 2236000 | #Constraints: 44572
3117.97/3127.86 c #Conflicts: 2237000 | #Constraints: 45704
3117.97/3127.86 c #Conflicts: 2238000 | #Constraints: 46808
3117.97/3127.86 c #Conflicts: 2239000 | #Constraints: 47911
3117.97/3127.86 c #Conflicts: 2240000 | #Constraints: 49020
3117.97/3127.86 c #Conflicts: 2241000 | #Constraints: 50116
3117.97/3127.86 c #Conflicts: 2242000 | #Constraints: 51203
3117.97/3127.86 c #Conflicts: 2243000 | #Constraints: 52303
3117.97/3127.86 c #Conflicts: 2244000 | #Constraints: 53417
3117.97/3127.86 c #Conflicts: 2245000 | #Constraints: 54533
3117.97/3127.86 c #Conflicts: 2246000 | #Constraints: 55631
3117.97/3127.86 c #Conflicts: 2247000 | #Constraints: 56740
3117.97/3127.86 c #Conflicts: 2248000 | #Constraints: 57827
3117.97/3127.86 c #Conflicts: 2249000 | #Constraints: 58923
3117.97/3127.86 c #Conflicts: 2250000 | #Constraints: 60046
3117.97/3127.86 c #Conflicts: 2251000 | #Constraints: 61164
3117.97/3127.86 c #Conflicts: 2252000 | #Constraints: 62278
3117.97/3127.86 c #Conflicts: 2253000 | #Constraints: 63367
3117.97/3127.86 c #Conflicts: 2254000 | #Constraints: 64466
3117.97/3127.86 c #Conflicts: 2255000 | #Constraints: 65570
3117.97/3127.86 c #Conflicts: 2256000 | #Constraints: 66663
3117.97/3127.86 c INPROCESSING
3117.97/3127.86 c GARBAGE COLLECT
3117.97/3127.86 c #Conflicts: 2257000 | #Constraints: 34448
3117.97/3127.86 c #Conflicts: 2258000 | #Constraints: 35551
3117.97/3127.86 c #Conflicts: 2259000 | #Constraints: 36666
3117.97/3127.86 c #Conflicts: 2260000 | #Constraints: 37771
3117.97/3127.86 c #Conflicts: 2261000 | #Constraints: 38868
3117.97/3127.86 c #Conflicts: 2262000 | #Constraints: 39979
3117.97/3127.86 c #Conflicts: 2263000 | #Constraints: 41082
3117.97/3127.86 c #Conflicts: 2264000 | #Constraints: 42170
3117.97/3127.86 c #Conflicts: 2265000 | #Constraints: 43264
3117.97/3127.86 c #Conflicts: 2266000 | #Constraints: 44368
3117.97/3127.86 c #Conflicts: 2267000 | #Constraints: 45470
3117.97/3127.86 c #Conflicts: 2268000 | #Constraints: 46580
3117.97/3127.86 c #Conflicts: 2269000 | #Constraints: 47688
3117.97/3127.86 c #Conflicts: 2270000 | #Constraints: 48794
3117.97/3127.86 c #Conflicts: 2271000 | #Constraints: 49909
3117.97/3127.86 c #Conflicts: 2272000 | #Constraints: 51013
3117.97/3127.86 c #Conflicts: 2273000 | #Constraints: 52124
3117.97/3127.86 c #Conflicts: 2274000 | #Constraints: 53229
3117.97/3127.86 c #Conflicts: 2275000 | #Constraints: 54369
3117.97/3127.86 c #Conflicts: 2276000 | #Constraints: 55479
3117.97/3127.86 c #Conflicts: 2277000 | #Constraints: 56575
3117.97/3127.86 c #Conflicts: 2278000 | #Constraints: 57693
3117.97/3127.86 c #Conflicts: 2279000 | #Constraints: 58823
3117.97/3127.86 c #Conflicts: 2280000 | #Constraints: 59919
3117.97/3127.86 c #Conflicts: 2281000 | #Constraints: 61049
3117.97/3127.86 c #Conflicts: 2282000 | #Constraints: 62153
3117.97/3127.86 c #Conflicts: 2283000 | #Constraints: 63253
3117.97/3127.86 c #Conflicts: 2284000 | #Constraints: 64369
3117.97/3127.86 c #Conflicts: 2285000 | #Constraints: 65481
3117.97/3127.86 c #Conflicts: 2286000 | #Constraints: 66593
3117.97/3127.86 c INPROCESSING
3117.97/3127.86 c GARBAGE COLLECT
3117.97/3127.86 c #Conflicts: 2287000 | #Constraints: 34276
3117.97/3127.86 c #Conflicts: 2288000 | #Constraints: 35401
3117.97/3127.86 c #Conflicts: 2289000 | #Constraints: 36502
3117.97/3127.86 c #Conflicts: 2290000 | #Constraints: 37585
3117.97/3127.86 c #Conflicts: 2291000 | #Constraints: 38683
3117.97/3127.86 c #Conflicts: 2292000 | #Constraints: 39787
3117.97/3127.86 c #Conflicts: 2293000 | #Constraints: 40885
3117.97/3127.86 c #Conflicts: 2294000 | #Constraints: 41984
3117.97/3127.86 c #Conflicts: 2295000 | #Constraints: 43099
3117.97/3127.86 c #Conflicts: 2296000 | #Constraints: 44217
3117.97/3127.86 c #Conflicts: 2297000 | #Constraints: 45312
3117.97/3127.86 c #Conflicts: 2298000 | #Constraints: 46424
3117.97/3127.86 c #Conflicts: 2299000 | #Constraints: 47550
3117.97/3127.86 c #Conflicts: 2300000 | #Constraints: 48650
3117.97/3127.86 c #Conflicts: 2301000 | #Constraints: 49801
3117.97/3127.86 c #Conflicts: 2302000 | #Constraints: 50943
3117.97/3127.86 c #Conflicts: 2303000 | #Constraints: 52060
3117.97/3127.86 c #Conflicts: 2304000 | #Constraints: 53194
3117.97/3127.86 c #Conflicts: 2305000 | #Constraints: 54295
3117.97/3127.86 c #Conflicts: 2306000 | #Constraints: 55422
3117.97/3127.86 c #Conflicts: 2307000 | #Constraints: 56546
3117.97/3127.86 c #Conflicts: 2308000 | #Constraints: 57669
3117.97/3127.86 c #Conflicts: 2309000 | #Constraints: 58767
3117.97/3127.86 c #Conflicts: 2310000 | #Constraints: 59881
3117.97/3127.86 c #Conflicts: 2311000 | #Constraints: 60998
3117.97/3127.86 c #Conflicts: 2312000 | #Constraints: 62100
3296.99/3307.46 c #Conflicts: 2313000 | #Constraints: 63215
3296.99/3307.46 c #Conflicts: 2314000 | #Constraints: 64333
3296.99/3307.46 c #Conflicts: 2315000 | #Constraints: 65453
3296.99/3307.46 c #Conflicts: 2316000 | #Constraints: 66571
3296.99/3307.46 c INPROCESSING
3296.99/3307.46 c GARBAGE COLLECT
3296.99/3307.46 c #Conflicts: 2317000 | #Constraints: 34092
3296.99/3307.46 c #Conflicts: 2318000 | #Constraints: 35265
3296.99/3307.46 c #Conflicts: 2319000 | #Constraints: 36435
3296.99/3307.46 c #Conflicts: 2320000 | #Constraints: 37629
3296.99/3307.46 c #Conflicts: 2321000 | #Constraints: 38816
3296.99/3307.46 c #Conflicts: 2322000 | #Constraints: 40010
3296.99/3307.46 c #Conflicts: 2323000 | #Constraints: 41213
3296.99/3307.46 c #Conflicts: 2324000 | #Constraints: 42383
3296.99/3307.46 c #Conflicts: 2325000 | #Constraints: 43568
3296.99/3307.46 c #Conflicts: 2326000 | #Constraints: 44738
3296.99/3307.46 c #Conflicts: 2327000 | #Constraints: 45878
3296.99/3307.46 c #Conflicts: 2328000 | #Constraints: 47036
3296.99/3307.46 c #Conflicts: 2329000 | #Constraints: 48152
3296.99/3307.46 c #Conflicts: 2330000 | #Constraints: 49274
3296.99/3307.46 c #Conflicts: 2331000 | #Constraints: 50404
3296.99/3307.46 c #Conflicts: 2332000 | #Constraints: 51547
3296.99/3307.46 c #Conflicts: 2333000 | #Constraints: 52702
3296.99/3307.46 c #Conflicts: 2334000 | #Constraints: 53870
3296.99/3307.46 c #Conflicts: 2335000 | #Constraints: 55015
3296.99/3307.46 c #Conflicts: 2336000 | #Constraints: 56167
3296.99/3307.46 c #Conflicts: 2337000 | #Constraints: 57306
3296.99/3307.46 c #Conflicts: 2338000 | #Constraints: 58455
3296.99/3307.46 c #Conflicts: 2339000 | #Constraints: 59605
3296.99/3307.46 c #Conflicts: 2340000 | #Constraints: 60770
3296.99/3307.46 c #Conflicts: 2341000 | #Constraints: 61939
3296.99/3307.46 c #Conflicts: 2342000 | #Constraints: 63087
3296.99/3307.46 c #Conflicts: 2343000 | #Constraints: 64202
3296.99/3307.46 c #Conflicts: 2344000 | #Constraints: 65337
3296.99/3307.46 c #Conflicts: 2345000 | #Constraints: 66483
3296.99/3307.46 c #Conflicts: 2346000 | #Constraints: 67636
3296.99/3307.46 c #Conflicts: 2347000 | #Constraints: 68774
3296.99/3307.46 c INPROCESSING
3296.99/3307.46 c GARBAGE COLLECT
3296.99/3307.46 c #Conflicts: 2348000 | #Constraints: 35392
3296.99/3307.46 c #Conflicts: 2349000 | #Constraints: 36506
3296.99/3307.46 c #Conflicts: 2350000 | #Constraints: 37624
3296.99/3307.46 c #Conflicts: 2351000 | #Constraints: 38723
3296.99/3307.46 c #Conflicts: 2352000 | #Constraints: 39829
3296.99/3307.46 c #Conflicts: 2353000 | #Constraints: 40945
3296.99/3307.46 c #Conflicts: 2354000 | #Constraints: 42040
3296.99/3307.46 c #Conflicts: 2355000 | #Constraints: 43177
3296.99/3307.46 c #Conflicts: 2356000 | #Constraints: 44268
3296.99/3307.46 c #Conflicts: 2357000 | #Constraints: 45352
3296.99/3307.46 c #Conflicts: 2358000 | #Constraints: 46482
3296.99/3307.46 c #Conflicts: 2359000 | #Constraints: 47628
3296.99/3307.46 c #Conflicts: 2360000 | #Constraints: 48746
3296.99/3307.46 c #Conflicts: 2361000 | #Constraints: 49876
3296.99/3307.46 c #Conflicts: 2362000 | #Constraints: 50992
3296.99/3307.46 c #Conflicts: 2363000 | #Constraints: 52089
3296.99/3307.46 c #Conflicts: 2364000 | #Constraints: 53184
3296.99/3307.46 c #Conflicts: 2365000 | #Constraints: 54305
3296.99/3307.46 c #Conflicts: 2366000 | #Constraints: 55429
3296.99/3307.46 c #Conflicts: 2367000 | #Constraints: 56568
3296.99/3307.46 c #Conflicts: 2368000 | #Constraints: 57703
3296.99/3307.46 c #Conflicts: 2369000 | #Constraints: 58855
3296.99/3307.46 c #Conflicts: 2370000 | #Constraints: 59985
3296.99/3307.46 c #Conflicts: 2371000 | #Constraints: 61111
3296.99/3307.46 c #Conflicts: 2372000 | #Constraints: 62224
3296.99/3307.46 c #Conflicts: 2373000 | #Constraints: 63347
3296.99/3307.46 c #Conflicts: 2374000 | #Constraints: 64465
3296.99/3307.46 c #Conflicts: 2375000 | #Constraints: 65592
3296.99/3307.46 c #Conflicts: 2376000 | #Constraints: 66725
3296.99/3307.46 c #Conflicts: 2377000 | #Constraints: 67835
3296.99/3307.46 c #Conflicts: 2378000 | #Constraints: 68954
3296.99/3307.46 c INPROCESSING
3296.99/3307.46 c GARBAGE COLLECT
3296.99/3307.46 c #Conflicts: 2379000 | #Constraints: 35588
3296.99/3307.46 c #Conflicts: 2380000 | #Constraints: 36686
3296.99/3307.46 c #Conflicts: 2381000 | #Constraints: 37777
3296.99/3307.46 c #Conflicts: 2382000 | #Constraints: 38911
3296.99/3307.46 c #Conflicts: 2383000 | #Constraints: 40020
3296.99/3307.46 c #Conflicts: 2384000 | #Constraints: 41114
3296.99/3307.46 c #Conflicts: 2385000 | #Constraints: 42209
3296.99/3307.46 c #Conflicts: 2386000 | #Constraints: 43317
3296.99/3307.46 c #Conflicts: 2387000 | #Constraints: 44424
3296.99/3307.46 c #Conflicts: 2388000 | #Constraints: 45531
3296.99/3307.46 c #Conflicts: 2389000 | #Constraints: 46631
3477.95/3488.98 c #Conflicts: 2390000 | #Constraints: 47726
3477.95/3488.98 c #Conflicts: 2391000 | #Constraints: 48849
3477.95/3488.98 c #Conflicts: 2392000 | #Constraints: 49987
3477.95/3488.98 c #Conflicts: 2393000 | #Constraints: 51144
3477.95/3488.98 c #Conflicts: 2394000 | #Constraints: 52292
3477.95/3488.98 c #Conflicts: 2395000 | #Constraints: 53406
3477.95/3488.98 c #Conflicts: 2396000 | #Constraints: 54517
3477.95/3488.98 c #Conflicts: 2397000 | #Constraints: 55629
3477.95/3488.98 c #Conflicts: 2398000 | #Constraints: 56762
3477.95/3488.98 c #Conflicts: 2399000 | #Constraints: 57874
3477.95/3488.98 c #Conflicts: 2400000 | #Constraints: 59010
3477.95/3488.98 c #Conflicts: 2401000 | #Constraints: 60099
3477.95/3488.98 c #Conflicts: 2402000 | #Constraints: 61227
3477.95/3488.98 c #Conflicts: 2403000 | #Constraints: 62360
3477.95/3488.98 c #Conflicts: 2404000 | #Constraints: 63460
3477.95/3488.98 c #Conflicts: 2405000 | #Constraints: 64580
3477.95/3488.98 c #Conflicts: 2406000 | #Constraints: 65696
3477.95/3488.98 c #Conflicts: 2407000 | #Constraints: 66792
3477.95/3488.98 c #Conflicts: 2408000 | #Constraints: 67893
3477.95/3488.98 c #Conflicts: 2409000 | #Constraints: 68993
3477.95/3488.98 c INPROCESSING
3477.95/3488.98 c GARBAGE COLLECT
3477.95/3488.98 c #Conflicts: 2410000 | #Constraints: 35590
3477.95/3488.98 c #Conflicts: 2411000 | #Constraints: 36709
3477.95/3488.98 c #Conflicts: 2412000 | #Constraints: 37823
3477.95/3488.98 c #Conflicts: 2413000 | #Constraints: 38926
3477.95/3488.98 c #Conflicts: 2414000 | #Constraints: 40023
3477.95/3488.98 c #Conflicts: 2415000 | #Constraints: 41133
3477.95/3488.98 c #Conflicts: 2416000 | #Constraints: 42233
3477.95/3488.98 c #Conflicts: 2417000 | #Constraints: 43335
3477.95/3488.98 c #Conflicts: 2418000 | #Constraints: 44444
3477.95/3488.98 c #Conflicts: 2419000 | #Constraints: 45541
3477.95/3488.98 c #Conflicts: 2420000 | #Constraints: 46651
3477.95/3488.98 c #Conflicts: 2421000 | #Constraints: 47747
3477.95/3488.98 c #Conflicts: 2422000 | #Constraints: 48858
3477.95/3488.98 c #Conflicts: 2423000 | #Constraints: 49952
3477.95/3488.98 c #Conflicts: 2424000 | #Constraints: 51066
3477.95/3488.98 c #Conflicts: 2425000 | #Constraints: 52206
3477.95/3488.98 c #Conflicts: 2426000 | #Constraints: 53298
3477.95/3488.98 c #Conflicts: 2427000 | #Constraints: 54392
3477.95/3488.98 c #Conflicts: 2428000 | #Constraints: 55512
3477.95/3488.98 c #Conflicts: 2429000 | #Constraints: 56655
3477.95/3488.98 c #Conflicts: 2430000 | #Constraints: 57760
3477.95/3488.98 c #Conflicts: 2431000 | #Constraints: 58872
3477.95/3488.98 c #Conflicts: 2432000 | #Constraints: 59991
3477.95/3488.98 c #Conflicts: 2433000 | #Constraints: 61109
3477.95/3488.98 c #Conflicts: 2434000 | #Constraints: 62220
3477.95/3488.98 c #Conflicts: 2435000 | #Constraints: 63315
3477.95/3488.98 c #Conflicts: 2436000 | #Constraints: 64430
3477.95/3488.98 c #Conflicts: 2437000 | #Constraints: 65554
3477.95/3488.98 c #Conflicts: 2438000 | #Constraints: 66684
3477.95/3488.98 c #Conflicts: 2439000 | #Constraints: 67777
3477.95/3488.98 c #Conflicts: 2440000 | #Constraints: 68897
3477.95/3488.98 c INPROCESSING
3477.95/3488.98 c GARBAGE COLLECT
3477.95/3488.98 c #Conflicts: 2441000 | #Constraints: 35481
3477.95/3488.98 c #Conflicts: 2442000 | #Constraints: 36612
3477.95/3488.98 c #Conflicts: 2443000 | #Constraints: 37769
3477.95/3488.98 c #Conflicts: 2444000 | #Constraints: 38924
3477.95/3488.98 c #Conflicts: 2445000 | #Constraints: 40065
3477.95/3488.98 c #Conflicts: 2446000 | #Constraints: 41235
3477.95/3488.98 c #Conflicts: 2447000 | #Constraints: 42371
3477.95/3488.98 c #Conflicts: 2448000 | #Constraints: 43503
3477.95/3488.98 c #Conflicts: 2449000 | #Constraints: 44674
3477.95/3488.98 c #Conflicts: 2450000 | #Constraints: 45892
3477.95/3488.98 c #Conflicts: 2451000 | #Constraints: 47072
3477.95/3488.98 c #Conflicts: 2452000 | #Constraints: 48210
3477.95/3488.98 c #Conflicts: 2453000 | #Constraints: 49366
3477.95/3488.98 c #Conflicts: 2454000 | #Constraints: 50509
3477.95/3488.98 c #Conflicts: 2455000 | #Constraints: 51679
3477.95/3488.98 c #Conflicts: 2456000 | #Constraints: 52861
3477.95/3488.98 c #Conflicts: 2457000 | #Constraints: 54003
3477.95/3488.98 c #Conflicts: 2458000 | #Constraints: 55149
3477.95/3488.98 c #Conflicts: 2459000 | #Constraints: 56302
3477.95/3488.98 c #Conflicts: 2460000 | #Constraints: 57433
3477.95/3488.98 c #Conflicts: 2461000 | #Constraints: 58553
3477.95/3488.98 c #Conflicts: 2462000 | #Constraints: 59690
3477.95/3488.98 c #Conflicts: 2463000 | #Constraints: 60798
3477.95/3488.98 c #Conflicts: 2464000 | #Constraints: 61905
3477.95/3488.98 c #Conflicts: 2465000 | #Constraints: 63025
3477.95/3488.98 c #Conflicts: 2466000 | #Constraints: 64199
3600.08/3611.40 c #Conflicts: 2467000 | #Constraints: 65335
3600.08/3611.40 c #Conflicts: 2468000 | #Constraints: 66428
3600.08/3611.40 c #Conflicts: 2469000 | #Constraints: 67543
3600.08/3611.40 c #Conflicts: 2470000 | #Constraints: 68667
3600.08/3611.40 c #Conflicts: 2471000 | #Constraints: 69797
3600.08/3611.40 c INPROCESSING
3600.08/3611.40 c GARBAGE COLLECT
3600.08/3611.40 c #Conflicts: 2472000 | #Constraints: 35700
3600.08/3611.40 c #Conflicts: 2473000 | #Constraints: 36840
3600.08/3611.40 c #Conflicts: 2474000 | #Constraints: 37933
3600.08/3611.40 c #Conflicts: 2475000 | #Constraints: 39046
3600.08/3611.40 c #Conflicts: 2476000 | #Constraints: 40180
3600.08/3611.40 c #Conflicts: 2477000 | #Constraints: 41292
3600.08/3611.40 c #Conflicts: 2478000 | #Constraints: 42383
3600.08/3611.40 c #Conflicts: 2479000 | #Constraints: 43473
3600.08/3611.40 c #Conflicts: 2480000 | #Constraints: 44596
3600.08/3611.40 c #Conflicts: 2481000 | #Constraints: 45695
3600.08/3611.40 c #Conflicts: 2482000 | #Constraints: 46845
3600.08/3611.40 c #Conflicts: 2483000 | #Constraints: 47958
3600.08/3611.40 c #Conflicts: 2484000 | #Constraints: 49081
3600.08/3611.40 c #Conflicts: 2485000 | #Constraints: 50219
3600.08/3611.40 c #Conflicts: 2486000 | #Constraints: 51309
3600.08/3611.40 c #Conflicts: 2487000 | #Constraints: 52404
3600.08/3611.40 c #Conflicts: 2488000 | #Constraints: 53502
3600.08/3611.40 c #Conflicts: 2489000 | #Constraints: 54640
3600.08/3611.40 c #Conflicts: 2490000 | #Constraints: 55755
3600.08/3611.40 c #Conflicts: 2491000 | #Constraints: 56862
3600.08/3611.40 c #Conflicts: 2492000 | #Constraints: 57954
3600.08/3611.40 c #Conflicts: 2493000 | #Constraints: 59052
3600.08/3611.40 c #Conflicts: 2494000 | #Constraints: 60144
3600.08/3611.40 c #Conflicts: 2495000 | #Constraints: 61288
3600.08/3611.40 c #Conflicts: 2496000 | #Constraints: 62392
3600.08/3611.40 c #Conflicts: 2497000 | #Constraints: 63521
3600.08/3611.40 c #Conflicts: 2498000 | #Constraints: 64632
3600.08/3611.40 c #Conflicts: 2499000 | #Constraints: 65757
3600.08/3611.40 c #Conflicts: 2500000 | #Constraints: 66870
3600.08/3611.40 c #Conflicts: 2501000 | #Constraints: 67975
3600.08/3611.40 c #Conflicts: 2502000 | #Constraints: 69091
3600.08/3611.40 c #Conflicts: 2503000 | #Constraints: 70198
3600.08/3611.40 c INPROCESSING
3600.08/3611.40 c GARBAGE COLLECT
3600.08/3611.40 c #Conflicts: 2504000 | #Constraints: 36106
3600.08/3611.40 c #Conflicts: 2505000 | #Constraints: 37238
3600.08/3611.40 c #Conflicts: 2506000 | #Constraints: 38376
3600.08/3611.40 c #Conflicts: 2507000 | #Constraints: 39510
3600.08/3611.40 c #Conflicts: 2508000 | #Constraints: 40613
3600.08/3611.40 c #Conflicts: 2509000 | #Constraints: 41726
3600.08/3611.40 c #Conflicts: 2510000 | #Constraints: 42842
3600.08/3611.40 c #Conflicts: 2511000 | #Constraints: 43972
3600.08/3611.40 c #Conflicts: 2512000 | #Constraints: 45084
3600.08/3611.40 c #Conflicts: 2513000 | #Constraints: 46210
3600.08/3611.40 c #Conflicts: 2514000 | #Constraints: 47337
3600.08/3611.40 c cpu time 3584.62 s
3600.08/3611.40 c deterministic time 567568496658 5.68e+11
3600.08/3611.40 c optimization time 21.4872 s
3600.08/3611.40 c total solve time 3563.13 s
3600.08/3611.40 c core-guided solve time 0 s
3600.08/3611.40 c propagation time 3310.13 s
3600.08/3611.40 c conflict analysis time 250.91 s
3600.08/3611.40 c propagations 15528423
3600.08/3611.40 c resolve steps 7995750
3600.08/3611.40 c decisions 3298369
3600.08/3611.40 c conflicts 2514366
3600.08/3611.40 c restarts 4264
3600.08/3611.40 c inprocessing phases 149
3600.08/3611.40 c garbage collections 149 ,( 100.00 )
3600.08/3611.40 c input clauses 0 ,( 0.00 )
3600.08/3611.40 c input cardinalities 0 ,( 0.00 )
3600.08/3611.40 c input general constraints 2 ,( 100.00 )
3600.08/3611.40 c input average constraint length 52.00
3600.08/3611.40 c input average constraint degree 36188387.00
3600.08/3611.40 c learned clauses 1609721 ,( 58.33 )
3600.08/3611.40 c learned cardinalities 230 ,( 0.01 )
3600.08/3611.40 c learned general constraints 1149627 ,( 41.66 )
3600.08/3611.40 c learned average constraint length 37.95
3600.08/3611.40 c learned average constraint degree 69217936.23
3600.08/3611.40 c watched CF 32, 64, 128, Arb: 678528 , 0 , 0 , 0
3600.08/3611.40 c counting CF 32, 64, 128, Arb: 471101 , 0 , 0 , 0
3600.08/3611.40 c watched constraints 678528 ,( 59.02 )
3600.08/3611.40 c counting constraints 471101 ,( 40.98 )
3600.08/3611.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 139594733 , 54573 , 76554272182 ,( 2448686425 , 74105585757 )
3600.08/3611.40 c gcd simplifications 1663248
3600.08/3611.40 c detected cardinalities 229
3600.08/3611.40 c weakened non-implied lits 8086313
3600.08/3611.40 c weakened non-implying lits 3790732
3600.08/3611.40 c original variables 52
3600.08/3611.40 c clausal propagations 497939
3600.08/3611.40 c cardinality propagations 3
3600.08/3611.40 c watched propagations 1444542
3600.08/3611.40 c counting propagations 10789635
3600.08/3611.40 c watch lookups 88395512546
3600.08/3611.40 c watch backjump lookups 0
3600.08/3611.40 c watch checks 18010247671
3600.08/3611.40 c propagation checks 460636780978
3600.08/3611.40 c constraint additions 485534596
3600.08/3611.40 c trail pops 21341113
3600.08/3611.40 c formula constraints 2
3600.08/3611.40 c learned constraints 2514366
3600.08/3611.40 c bound constraints 0
3600.08/3611.40 c core-guided constraints 0
3600.08/3611.40 c encountered formula constraints 6425640
3600.08/3611.40 c encountered learned constraints 4083995
3600.08/3611.40 c encountered bound constraints 0
3600.08/3611.40 c encountered core-guided constraints 0
3600.08/3611.40 c LP total time 24.0677 s
3600.08/3611.40 c LP solve time 12.45 s
3600.08/3611.40 c LP constraints added 135
3600.08/3611.40 c LP constraints removed 130
3600.08/3611.40 c LP pivots internal 251438
3600.08/3611.40 c LP pivots root 1523
3600.08/3611.40 c LP calls 270436
3600.08/3611.40 c LP optimalities 24457
3600.08/3611.40 c LP no pivot count 3165
3600.08/3611.40 c LP infeasibilities 245501
3600.08/3611.40 c LP valid Farkas constraints 245141
3600.08/3611.40 c LP learned Farkas constraints 0
3600.08/3611.40 c LP basis resets 478
3600.08/3611.40 c LP cycling count 471
3600.08/3611.40 c LP singular count 3
3600.08/3611.40 c LP no primal count 0
3600.08/3611.40 c LP no farkas count 0
3600.08/3611.40 c LP other issue count 4
3600.08/3611.40 c LP Gomory cuts 71
3600.08/3611.40 c LP learned cuts 62
3600.08/3611.40 c LP deleted cuts 130
3600.08/3611.40 c LP encountered Gomory constraints 2
3600.08/3611.40 c LP encountered Farkas constraints 479
3600.08/3611.40 c LP encountered learned Farkas constraints 0
3600.08/3611.40 c CG auxiliary variables introduced 0
3600.08/3611.40 c CG solutions found 0
3600.08/3611.40 c CG cores constructed 0
3600.08/3611.40 c CG core cardinality constraints returned 0
3600.08/3611.40 c CG unit cores 0
3600.08/3611.40 c CG single cores 0
3600.08/3611.40 c CG blocks removed during cardinality reduction 0
3600.08/3611.40 c CG first core best 0
3600.08/3611.40 c CG decision core best 0
3600.08/3611.40 c CG core reduction tie 0
3600.08/3611.40 c CG core degree average 0.00
3600.08/3611.40 c CG core slack average 0.00
3600.08/3611.40 c CG core upper bound improvements 0
3600.08/3611.40 c STR number of successful calls 0
3600.08/3611.40 c STR number of unsuccessful calls 0
3600.08/3611.40 c STR number of inconclusive calls 0
3600.08/3611.40 c STR number of successful attempts 0
3600.08/3611.40 c STR number of unsuccessful attempts 0
3600.08/3611.40 c STR number of inconclusive attempts 0
3600.08/3611.40 c STR average degree increase per successful call inf
3600.08/3611.40 c STR average degree increase per successful attempt inf
3600.08/3611.40 c STR total number of conflicts for successful attempts 0
3600.08/3611.40 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.40 c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.40 c STR average number of conflicts per successful attempt inf
3600.08/3611.40 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.40 c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.40 c AVG.sumWPerc 46.21
3600.08/3611.40 c bigint constraints 0
3600.08/3611.40 s UNKNOWN
3600.08/3611.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63217 MiB free)
memory of node 1: 64507 MiB (64041 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496076-1751159447/watcher-4496076-1751159447 -o /tmp/evaluation-result-4496076-1751159447/solver-4496076-1751159447 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751159447-18293 --watchdog 3760 run-dec-break.sh HOME/instance-4496076-1751159447.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18340, runsolver pid=18334
[startup+0.1001 s]*
/proc/loadavg: 0.78 1.69 2.11 5/257 18361
/proc/meminfo: memFree=130309100/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=55668 memory=10624 CPUtime=0.06 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 494 0 0 0 6 0 0 0 20 0 1 0 31624054 57004032 2656 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 13917 2656 2400 1147 0 1344 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 59860 KiB
Current children cumulated memory: 13696 KiB
[startup+0.214058 s]*
/proc/loadavg: 0.78 1.69 2.11 5/257 18361
/proc/meminfo: memFree=130304956/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=56064 memory=13116 CPUtime=0.17 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 599 0 0 0 16 1 0 0 20 0 1 0 31624054 57409536 3279 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 14016 3279 2400 1147 0 1443 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 60256 KiB
Current children cumulated memory: 16188 KiB
[startup+0.31313 s]*
/proc/loadavg: 0.78 1.69 2.11 5/257 18361
/proc/meminfo: memFree=130303376/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=56200 memory=13244 CPUtime=0.27 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 633 0 0 0 25 2 0 0 20 0 1 0 31624054 57548800 3311 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 14050 3311 2400 1147 0 1477 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 60392 KiB
Current children cumulated memory: 16316 KiB
[startup+0.700321 s]
/proc/loadavg: 0.78 1.69 2.11 5/257 18361
/proc/meminfo: memFree=130302368/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=56880 memory=13884 CPUtime=0.65 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 777 0 0 0 61 4 0 0 20 0 1 0 31624054 58245120 3471 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 14220 3471 2400 1147 0 1647 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 61072 KiB
Current children cumulated memory: 16956 KiB
[startup+1.50031 s]
/proc/loadavg: 0.78 1.69 2.11 5/257 18361
/proc/meminfo: memFree=130300352/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=57824 memory=14652 CPUtime=1.44 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 984 0 0 0 136 8 0 0 20 0 1 0 31624054 59211776 3663 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 14456 3663 2400 1147 0 1883 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 62016 KiB
Current children cumulated memory: 17724 KiB
[startup+3.11269 s]
/proc/loadavg: 1.03 1.73 2.12 4/252 18369
/proc/meminfo: memFree=130307028/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=59104 memory=15804 CPUtime=3.05 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 1269 0 0 0 292 13 0 0 20 0 1 0 31624054 60522496 3951 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 14776 3951 2400 1147 0 2203 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 63296 KiB
Current children cumulated memory: 18876 KiB
[startup+6.3003 s]
/proc/loadavg: 1.03 1.73 2.12 5/255 18422
/proc/meminfo: memFree=130298488/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=60128 memory=19036 CPUtime=6.22 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 1555 0 0 0 598 24 0 0 20 0 1 0 31624054 61571072 4759 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 15032 4759 2400 1147 0 2459 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 64320 KiB
Current children cumulated memory: 22108 KiB
[startup+12.7003 s]
/proc/loadavg: 1.27 1.77 2.13 4/252 18557
/proc/meminfo: memFree=130204332/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=62760 memory=20828 CPUtime=12.61 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 2024 0 0 0 1217 44 0 0 20 0 1 0 31624054 64266240 5207 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 15690 5207 2400 1147 0 3117 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 66952 KiB
Current children cumulated memory: 23900 KiB
[startup+25.5003 s]
/proc/loadavg: 1.88 1.88 2.16 5/257 18831
/proc/meminfo: memFree=130054320/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=63676 memory=21852 CPUtime=25.35 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 2262 0 0 0 2474 61 0 0 20 0 1 0 31624054 65204224 5463 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 15919 5463 2400 1147 0 3346 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 67868 KiB
Current children cumulated memory: 24924 KiB
[startup+51.113 s]
/proc/loadavg: 2.60 2.05 2.21 5/257 18832
/proc/meminfo: memFree=130025312/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=71232 memory=26332 CPUtime=50.89 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 3721 0 0 0 4996 93 0 0 20 0 1 0 31624054 72941568 6583 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 17808 6583 2400 1147 0 5235 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 75424 KiB
Current children cumulated memory: 29404 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 2.37 2.31 5/257 18834
/proc/meminfo: memFree=129957424/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=79128 memory=32260 CPUtime=101.94 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 5670 0 0 0 10050 144 0 0 20 0 1 0 31624054 81027072 8065 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 19782 8065 2464 1147 0 7209 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 83320 KiB
Current children cumulated memory: 35332 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 2.68 2.42 5/257 18836
/proc/meminfo: memFree=129937320/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=79680 memory=32580 CPUtime=161.77 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 6161 0 0 0 15983 194 0 0 20 0 1 0 31624054 81592320 8145 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 19920 8145 2464 1147 0 7347 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 83872 KiB
Current children cumulated memory: 35652 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.94 2.53 5/258 18841
/proc/meminfo: memFree=129896208/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=80444 memory=33732 CPUtime=221.59 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 6506 0 0 0 21924 235 0 0 20 0 1 0 31624054 82374656 8433 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 20111 8433 2464 1147 0 7538 0
Current children cumulated CPU time: 221.59 s
################
# More data... #
################
/proc/loadavg: 4.14 4.11 4.03 5/254 18987
/proc/meminfo: memFree=128810580/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=130884 memory=71932 CPUtime=3032.78 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 22347 0 0 0 301867 1411 0 0 20 0 1 0 31624054 134025216 17983 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 32721 17983 2496 1147 0 20148 0
Current children cumulated CPU time: 3032.78 s
Current children cumulated vsize: 135076 KiB
Current children cumulated memory: 75004 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/254 18989
/proc/meminfo: memFree=128809888/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=131396 memory=72212 CPUtime=3092.56 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 22743 0 0 0 307828 1428 0 0 20 0 1 0 31624054 134549504 18053 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 32849 18053 2496 1147 0 20276 0
Current children cumulated CPU time: 3092.56 s
Current children cumulated vsize: 135588 KiB
Current children cumulated memory: 75284 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/254 18992
/proc/meminfo: memFree=128802088/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=131908 memory=72500 CPUtime=3152.34 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 23059 0 0 0 313790 1444 0 0 20 0 1 0 31624054 135073792 18125 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 32977 18125 2496 1147 0 20404 0
Current children cumulated CPU time: 3152.34 s
Current children cumulated vsize: 136100 KiB
Current children cumulated memory: 75572 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/255 18997
/proc/meminfo: memFree=128793764/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=133528 memory=79880 CPUtime=3212.14 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 23544 0 0 0 319756 1458 0 0 20 0 1 0 31624054 136732672 19970 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 33382 19970 2496 1147 0 20809 0
Current children cumulated CPU time: 3212.14 s
Current children cumulated vsize: 137720 KiB
Current children cumulated memory: 82952 KiB
[startup+3282.3 s]
/proc/loadavg: 4.70 4.27 4.10 5/255 18999
/proc/meminfo: memFree=128794644/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=134308 memory=80648 CPUtime=3271.97 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 23747 0 0 0 325725 1472 0 0 20 0 1 0 31624054 137531392 20162 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 33577 20162 2496 1147 0 21004 0
Current children cumulated CPU time: 3271.97 s
Current children cumulated vsize: 138500 KiB
Current children cumulated memory: 83720 KiB
[startup+3342.3 s]
/proc/loadavg: 4.39 4.26 4.10 5/255 19002
/proc/meminfo: memFree=128794392/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=134308 memory=80648 CPUtime=3331.79 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 23747 0 0 0 331695 1484 0 0 20 0 1 0 31624054 137531392 20162 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 33577 20162 2496 1147 0 21004 0
Current children cumulated CPU time: 3331.79 s
Current children cumulated vsize: 138500 KiB
Current children cumulated memory: 83720 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.21 4.09 5/256 19007
/proc/meminfo: memFree=128776984/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=133444 memory=79956 CPUtime=3391.61 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 23815 0 0 0 337664 1497 0 0 20 0 1 0 31624054 136646656 19989 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 33361 19989 2496 1147 0 20788 0
Current children cumulated CPU time: 3391.61 s
Current children cumulated vsize: 137636 KiB
Current children cumulated memory: 83028 KiB
[startup+3462.3 s]
/proc/loadavg: 4.65 4.33 4.14 5/256 19009
/proc/meminfo: memFree=128777364/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=135064 memory=80724 CPUtime=3451.42 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 24280 0 0 0 343629 1513 0 0 20 0 1 0 31624054 138305536 20181 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 33766 20181 2496 1147 0 21193 0
Current children cumulated CPU time: 3451.42 s
Current children cumulated vsize: 139256 KiB
Current children cumulated memory: 83796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.48 4.36 4.16 5/255 19011
/proc/meminfo: memFree=128768552/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=136088 memory=80952 CPUtime=3511.25 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 24733 0 0 0 349599 1526 0 0 20 0 1 0 31624054 139354112 20238 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 34022 20238 2496 1147 0 21449 0
Current children cumulated CPU time: 3511.25 s
Current children cumulated vsize: 140280 KiB
Current children cumulated memory: 84024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.31 4.16 5/255 19013
/proc/meminfo: memFree=128769292/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=136088 memory=80952 CPUtime=3571.06 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 24733 0 0 0 355569 1537 0 0 20 0 1 0 31624054 139354112 20238 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 34022 20238 2496 1147 0 21449 0
Current children cumulated CPU time: 3571.06 s
Current children cumulated vsize: 140280 KiB
Current children cumulated memory: 84024 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.13 4.27 4.15 5/255 19016
/proc/meminfo: memFree=128768812/131382120 swapFree=33010684/33010684
[pid=18340] ppid=18334 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/18340/stat : 18340 (run-dec-break.s) S 18334 18340 18283 0 -1 4194304 238 195 0 0 0 0 0 0 20 0 1 0 31624051 4292608 768 18446744073709551615 94825215545344 94825216439877 140721043794512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94825216678928 94825216726672 94825218015232 140721043802465 140721043802594 140721043802594 140721043808196 0
/proc/18340/statm: 1048 768 704 219 0 110 0
[pid=18356] ppid=18340 vsize=135492 memory=80480 CPUtime=3600.08 cores=0,2
/proc/18356/stat : 18356 (roundingsat) R 18340 18340 18283 0 -1 4194304 24871 0 0 0 358462 1546 0 0 20 0 1 0 31624054 138743808 20120 18446744073709551615 4227072 8923433 140731486217424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22654976 140731486222660 140731486222888 140731486222888 140731486228458 0
/proc/18356/statm: 33873 20120 2496 1147 0 21300 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 139684 KiB
Current children cumulated memory: 83552 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.4 s]
# the end of solver process 18340 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.63 s, system=15.4706 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.4
CPU time (s): 3600.1
CPU user time (s): 3584.63
CPU system time (s): 15.4706
CPU usage (%): 99.687
Max. virtual memory (cumulated for all children) (KiB): 140280
Max. memory (cumulated for all children) (KiB): 84024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.63
system time used= 15.4706
maximum resident set size= 81464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25331
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 313
involuntary context switches= 8949
# summary of solver processes directly reported to runsolver:
# pid: 18340
# total CPU time (s): 3600.1
# total CPU user time (s): 3584.63
# total CPU system time (s): 15.4706
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9579 second user time and 36.3552 second system time
The end
Begin job on nodeC006 at 2025-06-29 03:10:47
IDJOB=4496076
IDBENCH=148106
IDSOLVER=3357
FILE ID=nodeC006/4496076-1751159447
RUNJOBID= nodeC006-1751159447-18293
SLURM_JOB_ID= 9587503
Free space on /tmp= 433060 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob3.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496076-1751159447/watcher-4496076-1751159447 -o /tmp/evaluation-result-4496076-1751159447/solver-4496076-1751159447 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751159447-18293 --watchdog 3760 run-dec-break.sh HOME/instance-4496076-1751159447.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc
RANDOM SEED=2137832431
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.343
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.165
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.183
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.727
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.725
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.488
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.313
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.137
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130314124 kB
MemAvailable: 129950320 kB
Buffers: 3280 kB
Cached: 438076 kB
SwapCached: 0 kB
Active: 317300 kB
Inactive: 190328 kB
Active(anon): 84236 kB
Inactive(anon): 0 kB
Active(file): 233064 kB
Inactive(file): 190328 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29012 kB
Writeback: 4 kB
AnonPages: 68832 kB
Mapped: 102216 kB
Shmem: 17960 kB
KReclaimable: 84488 kB
Slab: 162416 kB
SReclaimable: 84488 kB
SUnreclaim: 77928 kB
KernelStack: 3808 kB
PageTables: 2704 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 330380 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC006 at 2025-06-29 04:10:58