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-4499306-1751467075.opb'
0.00/0.02 c read 0.47MB (6.04ms)
0.00/0.02 c [cnf: #variables 4977 #clauses 5495 #duplicates 0 #arr 48524]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 42] (6.07ms)
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.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c recursing 280 blocks of candidate 7x1422r
0.00/0.08 c found row 3x14, generating row predicate
0.00/0.08 c found row 11x14, generating row predicate
0.00/0.09 c found row 7x1422, generating row predicate
0.00/0.09 c (66.11ms)
0.00/0.09 c
0.00/0.09 c detect symmetries on remainder
0.00/0.09 c [graph: #vertices 29897 #edges 135898]
0.00/0.09 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.07/0.14 c [group: #symmetries 2.94*10^155 #generators 224] (44.36ms)
0.07/0.14 c
0.07/0.14 c optimize generators (opt_passes=64, conjugate_limit=256)
0.07/0.18 c opt it=15, l=6786, m=433, opt=33, avg=916, b=20, gens=224
0.18/0.21 c opt it=31, l=10692, m=839, opt=67, avg=907, b=20, gens=224
0.18/0.24 c opt it=47, l=14597, m=1263, opt=104, avg=895, b=20, gens=224
0.18/0.27 c opt it=63, l=18492, m=1667, opt=128, avg=888, b=20, gens=224
0.18/0.27 c ran it=0, +gens=86
0.38/0.41 c con best_support=20, best_gens=103, +gens=250
0.38/0.41 c (268.12ms)
0.38/0.41 c
0.38/0.41 c finalize break order and special generators
0.38/0.41 c
0.38/0.41 c add generic predicates (break_depth=20)
0.38/0.43 c added predicates for 560 generators (21.49ms)
0.38/0.43 c
0.38/0.43 c generation finished
0.38/0.43 c [sbp: #constraints 47906 #add_vars 15776]
0.38/0.43 c
0.38/0.43 c write result to 'HOME/instance-4499306-1751467075.opb.pre'
0.38/0.44 c wrote 2.25MB (5.10ms)
0.38/0.44 c ------------------------------------------------------------------
0.38/0.44 c 268.12ms 63.60% optimize_gens
0.38/0.44 c 66.11ms 15.68% detect_special
0.38/0.44 c 44.36ms 10.52% detect_generic
0.38/0.44 c 21.49ms 5.10% break_generic
0.38/0.44 c 6.07ms 1.44% approx_orbits
0.38/0.44 c 6.04ms 1.43% parse
0.38/0.44 c 5.10ms 1.21% output
0.38/0.44 c 3.30ms 0.78% finalize_order
0.38/0.44 c 0.98ms 0.23% other
0.38/0.44 c ───────────────────────────────────────────────
0.38/0.44 c 421.58ms 100% total
0.38/0.44 c ------------------------------------------------------------------
0.38/0.45 c RoundingSat 2
0.38/0.45 c branch pb25
0.38/0.45 c commit 63f22ad
0.57/0.69 c #variables 20753 #constraints 53451
0.57/0.69 c objective is ce32
0.76/0.85 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.76/0.85 c initial counting CF 32, 64, 128, Arb: 449 , 0 , 0 , 0
0.76/0.85 c bounds - >= 0 @ 0.336752
1.96/2.10 c #Conflicts: 1000 | #Constraints: 54450
1.96/2.10 c #Conflicts: 2000 | #Constraints: 55450
1.96/2.10 c INPROCESSING
1.96/2.10 c GARBAGE COLLECT
1.96/2.10 c rational objective 7
2.96/3.02 c #Conflicts: 3000 | #Constraints: 50015
2.96/3.02 c #Conflicts: 4000 | #Constraints: 51015
2.96/3.02 c INPROCESSING
2.96/3.02 c GARBAGE COLLECT
2.96/3.02 c rational objective 7
5.35/5.46 c #Conflicts: 5000 | #Constraints: 50421
5.35/5.46 c #Conflicts: 6000 | #Constraints: 51422
5.35/5.46 c INPROCESSING
5.35/5.46 c GARBAGE COLLECT
5.35/5.46 c rational objective 7
9.73/9.83 c #Conflicts: 7000 | #Constraints: 50420
9.73/9.83 c #Conflicts: 8000 | #Constraints: 51420
9.73/9.83 c #Conflicts: 9000 | #Constraints: 52420
9.73/9.83 c INPROCESSING
9.73/9.83 c GARBAGE COLLECT
9.73/9.83 c #Conflicts: 10000 | #Constraints: 50914
9.73/9.83 c #Conflicts: 11000 | #Constraints: 51914
9.73/9.83 c #Conflicts: 12000 | #Constraints: 52914
9.73/9.83 c INPROCESSING
9.73/9.83 c GARBAGE COLLECT
9.73/9.83 c rational objective 7
11.93/12.03 c #Conflicts: 13000 | #Constraints: 51123
11.93/12.03 c #Conflicts: 14000 | #Constraints: 52124
11.93/12.03 c #Conflicts: 15000 | #Constraints: 53124
11.93/12.03 c INPROCESSING
11.93/12.03 c GARBAGE COLLECT
11.93/12.03 c rational objective 7
15.31/15.42 c #Conflicts: 16000 | #Constraints: 51267
15.31/15.42 c #Conflicts: 17000 | #Constraints: 52267
15.31/15.42 c #Conflicts: 18000 | #Constraints: 53268
15.31/15.42 c INPROCESSING
15.31/15.42 c GARBAGE COLLECT
15.31/15.42 c rational objective 7
19.30/19.48 c #Conflicts: 19000 | #Constraints: 51297
19.30/19.48 c #Conflicts: 20000 | #Constraints: 52297
19.30/19.48 c #Conflicts: 21000 | #Constraints: 53297
19.30/19.48 c INPROCESSING
19.30/19.48 c GARBAGE COLLECT
19.30/19.48 c rational objective 7
21.19/21.36 c #Conflicts: 22000 | #Constraints: 51100
21.19/21.36 c #Conflicts: 23000 | #Constraints: 52100
21.19/21.36 c #Conflicts: 24000 | #Constraints: 53100
21.19/21.36 c #Conflicts: 25000 | #Constraints: 54101
21.19/21.36 c INPROCESSING
21.19/21.36 c GARBAGE COLLECT
21.19/21.36 c rational objective 7
23.99/24.11 c #Conflicts: 26000 | #Constraints: 51601
23.99/24.11 c #Conflicts: 27000 | #Constraints: 52601
23.99/24.11 c #Conflicts: 28000 | #Constraints: 53601
23.99/24.11 c #Conflicts: 29000 | #Constraints: 54601
23.99/24.11 c INPROCESSING
23.99/24.11 c GARBAGE COLLECT
23.99/24.11 c rational objective 7
26.08/26.25 c #Conflicts: 30000 | #Constraints: 51998
26.08/26.25 c #Conflicts: 31000 | #Constraints: 52998
26.08/26.25 c #Conflicts: 32000 | #Constraints: 53998
26.08/26.25 c #Conflicts: 33000 | #Constraints: 54998
26.08/26.25 c INPROCESSING
26.08/26.25 c GARBAGE COLLECT
26.08/26.25 c rational objective 7
28.37/28.55 c #Conflicts: 34000 | #Constraints: 52207
28.37/28.55 c #Conflicts: 35000 | #Constraints: 53207
28.37/28.55 c #Conflicts: 36000 | #Constraints: 54207
28.37/28.55 c #Conflicts: 37000 | #Constraints: 55207
28.37/28.55 c INPROCESSING
28.37/28.55 c GARBAGE COLLECT
28.37/28.55 c rational objective 7
33.46/33.64 c #Conflicts: 38000 | #Constraints: 52178
33.46/33.64 c #Conflicts: 39000 | #Constraints: 53178
33.46/33.64 c #Conflicts: 40000 | #Constraints: 54178
33.46/33.64 c #Conflicts: 41000 | #Constraints: 55178
33.46/33.64 c INPROCESSING
33.46/33.64 c GARBAGE COLLECT
33.46/33.64 c rational objective 7
38.33/38.54 c #Conflicts: 42000 | #Constraints: 51992
38.33/38.54 c #Conflicts: 43000 | #Constraints: 52992
38.33/38.54 c #Conflicts: 44000 | #Constraints: 53993
38.33/38.54 c #Conflicts: 45000 | #Constraints: 54993
38.33/38.54 c #Conflicts: 46000 | #Constraints: 55993
38.33/38.54 c INPROCESSING
38.33/38.54 c GARBAGE COLLECT
38.33/38.54 c rational objective 7
43.02/43.20 c #Conflicts: 47000 | #Constraints: 52543
43.02/43.20 c #Conflicts: 48000 | #Constraints: 53543
43.02/43.20 c #Conflicts: 49000 | #Constraints: 54543
43.02/43.20 c #Conflicts: 50000 | #Constraints: 55543
43.02/43.20 c #Conflicts: 51000 | #Constraints: 56544
43.02/43.20 c INPROCESSING
43.02/43.20 c GARBAGE COLLECT
43.02/43.20 c rational objective 7
46.91/47.10 c #Conflicts: 52000 | #Constraints: 52936
46.91/47.10 c #Conflicts: 53000 | #Constraints: 53936
46.91/47.10 c #Conflicts: 54000 | #Constraints: 54936
46.91/47.10 c #Conflicts: 55000 | #Constraints: 55936
46.91/47.10 c #Conflicts: 56000 | #Constraints: 56936
46.91/47.10 c INPROCESSING
46.91/47.10 c GARBAGE COLLECT
46.91/47.10 c rational objective 7
50.20/50.46 c #Conflicts: 57000 | #Constraints: 53073
50.20/50.46 c #Conflicts: 58000 | #Constraints: 54073
50.20/50.46 c #Conflicts: 59000 | #Constraints: 55073
50.20/50.46 c #Conflicts: 60000 | #Constraints: 56073
50.20/50.46 c #Conflicts: 61000 | #Constraints: 57073
50.20/50.46 c INPROCESSING
50.20/50.46 c GARBAGE COLLECT
50.20/50.46 c rational objective 7
60.16/60.49 c #Conflicts: 62000 | #Constraints: 53064
60.16/60.49 c #Conflicts: 63000 | #Constraints: 54065
60.16/60.49 c #Conflicts: 64000 | #Constraints: 55065
60.16/60.49 c #Conflicts: 65000 | #Constraints: 56065
60.16/60.49 c #Conflicts: 66000 | #Constraints: 57065
60.16/60.49 c INPROCESSING
60.16/60.49 c GARBAGE COLLECT
60.16/60.49 c rational objective 7
64.15/64.47 c #Conflicts: 67000 | #Constraints: 52866
64.15/64.47 c #Conflicts: 68000 | #Constraints: 53866
64.15/64.47 c #Conflicts: 69000 | #Constraints: 54866
64.15/64.47 c #Conflicts: 70000 | #Constraints: 55867
64.15/64.47 c #Conflicts: 71000 | #Constraints: 56867
64.15/64.47 c #Conflicts: 72000 | #Constraints: 57867
64.15/64.47 c INPROCESSING
64.15/64.47 c GARBAGE COLLECT
64.15/64.47 c rational objective 7
68.44/68.75 c #Conflicts: 73000 | #Constraints: 53464
68.44/68.75 c #Conflicts: 74000 | #Constraints: 54465
68.44/68.75 c #Conflicts: 75000 | #Constraints: 55465
68.44/68.75 c #Conflicts: 76000 | #Constraints: 56465
68.44/68.75 c #Conflicts: 77000 | #Constraints: 57465
68.44/68.75 c #Conflicts: 78000 | #Constraints: 58468
68.44/68.75 c INPROCESSING
68.44/68.75 c GARBAGE COLLECT
68.44/68.75 c rational objective 7
74.72/75.03 c #Conflicts: 79000 | #Constraints: 53698
74.72/75.03 c #Conflicts: 80000 | #Constraints: 54698
74.72/75.03 c #Conflicts: 81000 | #Constraints: 55698
74.72/75.03 c #Conflicts: 82000 | #Constraints: 56698
74.72/75.03 c #Conflicts: 83000 | #Constraints: 57698
74.72/75.03 c #Conflicts: 84000 | #Constraints: 58699
74.72/75.03 c INPROCESSING
74.72/75.03 c GARBAGE COLLECT
74.72/75.03 c rational objective 7
79.30/79.63 c #Conflicts: 85000 | #Constraints: 53902
79.30/79.63 c #Conflicts: 86000 | #Constraints: 54902
79.30/79.63 c #Conflicts: 87000 | #Constraints: 55902
79.30/79.63 c #Conflicts: 88000 | #Constraints: 56902
79.30/79.63 c #Conflicts: 89000 | #Constraints: 57902
79.30/79.63 c #Conflicts: 90000 | #Constraints: 58904
79.30/79.63 c INPROCESSING
79.30/79.63 c GARBAGE COLLECT
79.30/79.63 c rational objective 7
89.17/89.50 c #Conflicts: 91000 | #Constraints: 53891
89.17/89.50 c #Conflicts: 92000 | #Constraints: 54891
89.17/89.50 c #Conflicts: 93000 | #Constraints: 55891
89.17/89.50 c #Conflicts: 94000 | #Constraints: 56891
89.17/89.50 c #Conflicts: 95000 | #Constraints: 57892
89.17/89.50 c #Conflicts: 96000 | #Constraints: 58894
89.17/89.50 c INPROCESSING
89.17/89.50 c GARBAGE COLLECT
89.17/89.50 c rational objective 7
95.14/95.59 c #Conflicts: 97000 | #Constraints: 53659
95.14/95.59 c #Conflicts: 98000 | #Constraints: 54659
95.14/95.59 c #Conflicts: 99000 | #Constraints: 55659
95.14/95.59 c #Conflicts: 100000 | #Constraints: 56659
95.14/95.59 c #Conflicts: 101000 | #Constraints: 57664
95.14/95.59 c #Conflicts: 102000 | #Constraints: 58666
95.14/95.59 c #Conflicts: 103000 | #Constraints: 59666
95.14/95.59 c INPROCESSING
95.14/95.59 c GARBAGE COLLECT
95.14/95.59 c rational objective 7
100.53/100.99 c #Conflicts: 104000 | #Constraints: 54261
100.53/100.99 c #Conflicts: 105000 | #Constraints: 55262
100.53/100.99 c #Conflicts: 106000 | #Constraints: 56262
100.53/100.99 c #Conflicts: 107000 | #Constraints: 57262
100.53/100.99 c #Conflicts: 108000 | #Constraints: 58262
100.53/100.99 c #Conflicts: 109000 | #Constraints: 59263
100.53/100.99 c #Conflicts: 110000 | #Constraints: 60265
100.53/100.99 c INPROCESSING
100.53/100.99 c GARBAGE COLLECT
100.53/100.99 c rational objective 7
106.31/106.75 c #Conflicts: 111000 | #Constraints: 54655
106.31/106.75 c #Conflicts: 112000 | #Constraints: 55655
106.31/106.75 c #Conflicts: 113000 | #Constraints: 56655
106.31/106.75 c #Conflicts: 114000 | #Constraints: 57655
106.31/106.75 c #Conflicts: 115000 | #Constraints: 58655
106.31/106.75 c #Conflicts: 116000 | #Constraints: 59655
106.31/106.75 c #Conflicts: 117000 | #Constraints: 60656
106.31/106.75 c INPROCESSING
106.31/106.75 c GARBAGE COLLECT
106.31/106.75 c rational objective 7
122.15/122.68 c #Conflicts: 118000 | #Constraints: 54831
122.15/122.68 c #Conflicts: 119000 | #Constraints: 55831
122.15/122.68 c #Conflicts: 120000 | #Constraints: 56831
122.15/122.68 c #Conflicts: 121000 | #Constraints: 57831
122.15/122.68 c #Conflicts: 122000 | #Constraints: 58831
122.15/122.68 c #Conflicts: 123000 | #Constraints: 59831
122.15/122.68 c #Conflicts: 124000 | #Constraints: 60831
122.15/122.68 c INPROCESSING
122.15/122.68 c GARBAGE COLLECT
122.15/122.68 c rational objective 7
134.42/134.90 c #Conflicts: 125000 | #Constraints: 54724
134.42/134.90 c #Conflicts: 126000 | #Constraints: 55724
134.42/134.90 c #Conflicts: 127000 | #Constraints: 56724
134.42/134.90 c #Conflicts: 128000 | #Constraints: 57724
134.42/134.90 c #Conflicts: 129000 | #Constraints: 58724
134.42/134.90 c #Conflicts: 130000 | #Constraints: 59725
134.42/134.90 c #Conflicts: 131000 | #Constraints: 60725
134.42/134.90 c INPROCESSING
134.42/134.90 c GARBAGE COLLECT
134.42/134.90 c rational objective 7
142.19/142.74 c #Conflicts: 132000 | #Constraints: 54250
142.19/142.74 c #Conflicts: 133000 | #Constraints: 55251
142.19/142.74 c #Conflicts: 134000 | #Constraints: 56251
142.19/142.74 c #Conflicts: 135000 | #Constraints: 57251
142.19/142.74 c #Conflicts: 136000 | #Constraints: 58251
142.19/142.74 c #Conflicts: 137000 | #Constraints: 59251
142.19/142.74 c #Conflicts: 138000 | #Constraints: 60251
142.19/142.74 c #Conflicts: 139000 | #Constraints: 61252
142.19/142.74 c INPROCESSING
142.19/142.74 c GARBAGE COLLECT
142.19/142.74 c rational objective 7
153.35/153.95 c #Conflicts: 140000 | #Constraints: 54850
153.35/153.95 c #Conflicts: 141000 | #Constraints: 55851
153.35/153.95 c #Conflicts: 142000 | #Constraints: 56851
153.35/153.95 c #Conflicts: 143000 | #Constraints: 57852
153.35/153.95 c #Conflicts: 144000 | #Constraints: 58852
153.35/153.95 c #Conflicts: 145000 | #Constraints: 59853
153.35/153.95 c #Conflicts: 146000 | #Constraints: 60853
153.35/153.95 c #Conflicts: 147000 | #Constraints: 61854
153.35/153.95 c INPROCESSING
153.35/153.95 c GARBAGE COLLECT
153.35/153.95 c rational objective 7
160.43/161.05 c #Conflicts: 148000 | #Constraints: 55236
160.43/161.05 c #Conflicts: 149000 | #Constraints: 56236
160.43/161.05 c #Conflicts: 150000 | #Constraints: 57236
160.43/161.05 c #Conflicts: 151000 | #Constraints: 58236
160.43/161.05 c #Conflicts: 152000 | #Constraints: 59236
160.43/161.05 c #Conflicts: 153000 | #Constraints: 60236
160.43/161.05 c #Conflicts: 154000 | #Constraints: 61236
160.43/161.05 c #Conflicts: 155000 | #Constraints: 62236
160.43/161.05 c INPROCESSING
160.43/161.05 c GARBAGE COLLECT
160.43/161.05 c rational objective 7
168.21/168.80 c #Conflicts: 156000 | #Constraints: 55405
168.21/168.80 c #Conflicts: 157000 | #Constraints: 56405
168.21/168.80 c #Conflicts: 158000 | #Constraints: 57405
168.21/168.80 c #Conflicts: 159000 | #Constraints: 58405
168.21/168.80 c #Conflicts: 160000 | #Constraints: 59405
168.21/168.80 c #Conflicts: 161000 | #Constraints: 60406
168.21/168.80 c #Conflicts: 162000 | #Constraints: 61407
168.21/168.80 c #Conflicts: 163000 | #Constraints: 62410
168.21/168.80 c INPROCESSING
168.21/168.80 c GARBAGE COLLECT
168.21/168.80 c rational objective 7
176.79/177.43 c #Conflicts: 164000 | #Constraints: 55329
176.79/177.43 c #Conflicts: 165000 | #Constraints: 56329
176.79/177.43 c #Conflicts: 166000 | #Constraints: 57329
176.79/177.43 c #Conflicts: 167000 | #Constraints: 58330
176.79/177.43 c #Conflicts: 168000 | #Constraints: 59331
176.79/177.43 c #Conflicts: 169000 | #Constraints: 60335
176.79/177.43 c #Conflicts: 170000 | #Constraints: 61339
176.79/177.43 c #Conflicts: 171000 | #Constraints: 62340
176.79/177.43 c INPROCESSING
176.79/177.43 c GARBAGE COLLECT
176.79/177.43 c rational objective 7
185.76/186.49 c #Conflicts: 172000 | #Constraints: 55078
185.76/186.49 c #Conflicts: 173000 | #Constraints: 56078
185.76/186.49 c #Conflicts: 174000 | #Constraints: 57078
185.76/186.49 c #Conflicts: 175000 | #Constraints: 58079
185.76/186.49 c #Conflicts: 176000 | #Constraints: 59081
185.76/186.49 c #Conflicts: 177000 | #Constraints: 60082
185.76/186.49 c #Conflicts: 178000 | #Constraints: 61085
185.76/186.49 c #Conflicts: 179000 | #Constraints: 62085
185.76/186.49 c #Conflicts: 180000 | #Constraints: 63086
185.76/186.49 c INPROCESSING
185.76/186.49 c GARBAGE COLLECT
185.76/186.49 c rational objective 7
193.73/194.44 c #Conflicts: 181000 | #Constraints: 55637
193.73/194.44 c #Conflicts: 182000 | #Constraints: 56637
193.73/194.44 c #Conflicts: 183000 | #Constraints: 57637
193.73/194.44 c #Conflicts: 184000 | #Constraints: 58637
193.73/194.44 c #Conflicts: 185000 | #Constraints: 59637
193.73/194.44 c #Conflicts: 186000 | #Constraints: 60637
193.73/194.44 c #Conflicts: 187000 | #Constraints: 61639
193.73/194.44 c #Conflicts: 188000 | #Constraints: 62640
193.73/194.44 c #Conflicts: 189000 | #Constraints: 63640
193.73/194.44 c INPROCESSING
193.73/194.44 c GARBAGE COLLECT
193.73/194.44 c rational objective 7
203.10/203.82 c #Conflicts: 190000 | #Constraints: 56023
203.10/203.82 c #Conflicts: 191000 | #Constraints: 57023
203.10/203.82 c #Conflicts: 192000 | #Constraints: 58023
203.10/203.82 c #Conflicts: 193000 | #Constraints: 59027
203.10/203.82 c #Conflicts: 194000 | #Constraints: 60028
203.10/203.82 c #Conflicts: 195000 | #Constraints: 61029
203.10/203.82 c #Conflicts: 196000 | #Constraints: 62031
203.10/203.82 c #Conflicts: 197000 | #Constraints: 63032
203.10/203.82 c #Conflicts: 198000 | #Constraints: 64034
203.10/203.82 c INPROCESSING
203.10/203.82 c GARBAGE COLLECT
203.10/203.82 c rational objective 7
221.64/222.48 c #Conflicts: 199000 | #Constraints: 56113
221.64/222.48 c #Conflicts: 200000 | #Constraints: 57114
221.64/222.48 c #Conflicts: 201000 | #Constraints: 58118
221.64/222.48 c #Conflicts: 202000 | #Constraints: 59120
221.64/222.48 c #Conflicts: 203000 | #Constraints: 60122
221.64/222.48 c #Conflicts: 204000 | #Constraints: 61123
221.64/222.48 c #Conflicts: 205000 | #Constraints: 62126
221.64/222.48 c #Conflicts: 206000 | #Constraints: 63128
221.64/222.48 c #Conflicts: 207000 | #Constraints: 64133
221.64/222.48 c INPROCESSING
221.64/222.48 c GARBAGE COLLECT
221.64/222.48 c rational objective 7
233.11/233.95 c #Conflicts: 208000 | #Constraints: 56096
233.11/233.95 c #Conflicts: 209000 | #Constraints: 57097
233.11/233.95 c #Conflicts: 210000 | #Constraints: 58097
233.11/233.95 c #Conflicts: 211000 | #Constraints: 59097
233.11/233.95 c #Conflicts: 212000 | #Constraints: 60098
233.11/233.95 c #Conflicts: 213000 | #Constraints: 61103
233.11/233.95 c #Conflicts: 214000 | #Constraints: 62105
233.11/233.95 c #Conflicts: 215000 | #Constraints: 63107
233.11/233.95 c #Conflicts: 216000 | #Constraints: 64108
233.11/233.95 c INPROCESSING
233.11/233.95 c GARBAGE COLLECT
233.11/233.95 c rational objective 7
257.04/257.90 c #Conflicts: 217000 | #Constraints: 55864
257.04/257.90 c #Conflicts: 218000 | #Constraints: 56864
257.04/257.90 c #Conflicts: 219000 | #Constraints: 57864
257.04/257.90 c #Conflicts: 220000 | #Constraints: 58864
257.04/257.90 c #Conflicts: 221000 | #Constraints: 59864
257.04/257.90 c #Conflicts: 222000 | #Constraints: 60866
257.04/257.90 c #Conflicts: 223000 | #Constraints: 61867
257.04/257.90 c #Conflicts: 224000 | #Constraints: 62869
257.04/257.90 c #Conflicts: 225000 | #Constraints: 63873
257.04/257.90 c #Conflicts: 226000 | #Constraints: 64877
257.04/257.90 c INPROCESSING
257.04/257.90 c GARBAGE COLLECT
257.04/257.90 c rational objective 7
271.50/272.44 c #Conflicts: 227000 | #Constraints: 56442
271.50/272.44 c #Conflicts: 228000 | #Constraints: 57442
271.50/272.44 c #Conflicts: 229000 | #Constraints: 58442
271.50/272.44 c #Conflicts: 230000 | #Constraints: 59442
271.50/272.44 c #Conflicts: 231000 | #Constraints: 60443
271.50/272.44 c #Conflicts: 232000 | #Constraints: 61443
271.50/272.44 c #Conflicts: 233000 | #Constraints: 62444
271.50/272.44 c #Conflicts: 234000 | #Constraints: 63445
271.50/272.44 c #Conflicts: 235000 | #Constraints: 64447
271.50/272.44 c #Conflicts: 236000 | #Constraints: 65447
271.50/272.44 c INPROCESSING
271.50/272.44 c GARBAGE COLLECT
271.50/272.44 c rational objective 7
284.96/285.96 c #Conflicts: 237000 | #Constraints: 56748
284.96/285.96 c #Conflicts: 238000 | #Constraints: 57748
284.96/285.96 c #Conflicts: 239000 | #Constraints: 58748
284.96/285.96 c #Conflicts: 240000 | #Constraints: 59749
284.96/285.96 c #Conflicts: 241000 | #Constraints: 60749
284.96/285.96 c #Conflicts: 242000 | #Constraints: 61750
284.96/285.96 c #Conflicts: 243000 | #Constraints: 62751
284.96/285.96 c #Conflicts: 244000 | #Constraints: 63751
284.96/285.96 c #Conflicts: 245000 | #Constraints: 64754
284.96/285.96 c #Conflicts: 246000 | #Constraints: 65755
284.96/285.96 c INPROCESSING
284.96/285.96 c GARBAGE COLLECT
284.96/285.96 c rational objective 7
299.61/300.64 c #Conflicts: 247000 | #Constraints: 56912
299.61/300.64 c #Conflicts: 248000 | #Constraints: 57912
299.61/300.64 c #Conflicts: 249000 | #Constraints: 58912
299.61/300.64 c #Conflicts: 250000 | #Constraints: 59913
299.61/300.64 c #Conflicts: 251000 | #Constraints: 60913
299.61/300.64 c #Conflicts: 252000 | #Constraints: 61913
299.61/300.64 c #Conflicts: 253000 | #Constraints: 62913
299.61/300.64 c #Conflicts: 254000 | #Constraints: 63913
299.61/300.64 c #Conflicts: 255000 | #Constraints: 64913
299.61/300.64 c #Conflicts: 256000 | #Constraints: 65913
299.61/300.64 c INPROCESSING
299.61/300.64 c GARBAGE COLLECT
299.61/300.64 c rational objective 7
311.18/312.29 c #Conflicts: 257000 | #Constraints: 56899
311.18/312.29 c #Conflicts: 258000 | #Constraints: 57900
311.18/312.29 c #Conflicts: 259000 | #Constraints: 58900
311.18/312.29 c #Conflicts: 260000 | #Constraints: 59900
311.18/312.29 c #Conflicts: 261000 | #Constraints: 60900
311.18/312.29 c #Conflicts: 262000 | #Constraints: 61901
311.18/312.29 c #Conflicts: 263000 | #Constraints: 62902
311.18/312.29 c #Conflicts: 264000 | #Constraints: 63903
311.18/312.29 c #Conflicts: 265000 | #Constraints: 64904
311.18/312.29 c #Conflicts: 266000 | #Constraints: 65904
311.18/312.29 c INPROCESSING
311.18/312.29 c GARBAGE COLLECT
311.18/312.29 c rational objective 7
327.23/328.31 c #Conflicts: 267000 | #Constraints: 56686
327.23/328.31 c #Conflicts: 268000 | #Constraints: 57686
327.23/328.31 c #Conflicts: 269000 | #Constraints: 58686
327.23/328.31 c #Conflicts: 270000 | #Constraints: 59688
327.23/328.31 c #Conflicts: 271000 | #Constraints: 60691
327.23/328.31 c #Conflicts: 272000 | #Constraints: 61692
327.23/328.31 c #Conflicts: 273000 | #Constraints: 62693
327.23/328.31 c #Conflicts: 274000 | #Constraints: 63695
327.23/328.31 c #Conflicts: 275000 | #Constraints: 64696
327.23/328.31 c #Conflicts: 276000 | #Constraints: 65698
327.23/328.31 c #Conflicts: 277000 | #Constraints: 66698
327.23/328.31 c INPROCESSING
327.23/328.31 c GARBAGE COLLECT
327.23/328.31 c rational objective 7
339.60/340.76 c #Conflicts: 278000 | #Constraints: 57226
339.60/340.76 c #Conflicts: 279000 | #Constraints: 58226
339.60/340.76 c #Conflicts: 280000 | #Constraints: 59226
339.60/340.76 c #Conflicts: 281000 | #Constraints: 60227
339.60/340.76 c #Conflicts: 282000 | #Constraints: 61229
339.60/340.76 c #Conflicts: 283000 | #Constraints: 62230
339.60/340.76 c #Conflicts: 284000 | #Constraints: 63231
339.60/340.76 c #Conflicts: 285000 | #Constraints: 64233
339.60/340.76 c #Conflicts: 286000 | #Constraints: 65235
339.60/340.76 c #Conflicts: 287000 | #Constraints: 66236
339.60/340.76 c #Conflicts: 288000 | #Constraints: 67237
339.60/340.76 c INPROCESSING
339.60/340.76 c GARBAGE COLLECT
339.60/340.76 c rational objective 7
353.56/354.74 c #Conflicts: 289000 | #Constraints: 57596
353.56/354.74 c #Conflicts: 290000 | #Constraints: 58597
353.56/354.74 c #Conflicts: 291000 | #Constraints: 59597
353.56/354.74 c #Conflicts: 292000 | #Constraints: 60597
353.56/354.74 c #Conflicts: 293000 | #Constraints: 61599
353.56/354.74 c #Conflicts: 294000 | #Constraints: 62601
353.56/354.74 c #Conflicts: 295000 | #Constraints: 63604
353.56/354.74 c #Conflicts: 296000 | #Constraints: 64604
353.56/354.74 c #Conflicts: 297000 | #Constraints: 65605
353.56/354.74 c #Conflicts: 298000 | #Constraints: 66606
353.56/354.74 c #Conflicts: 299000 | #Constraints: 67607
353.56/354.74 c INPROCESSING
353.56/354.74 c GARBAGE COLLECT
353.56/354.74 c rational objective 7
367.42/368.67 c #Conflicts: 300000 | #Constraints: 57807
367.42/368.67 c #Conflicts: 301000 | #Constraints: 58808
367.42/368.67 c #Conflicts: 302000 | #Constraints: 59808
367.42/368.67 c #Conflicts: 303000 | #Constraints: 60808
367.42/368.67 c #Conflicts: 304000 | #Constraints: 61811
367.42/368.67 c #Conflicts: 305000 | #Constraints: 62813
367.42/368.67 c #Conflicts: 306000 | #Constraints: 63813
367.42/368.67 c #Conflicts: 307000 | #Constraints: 64817
367.42/368.67 c #Conflicts: 308000 | #Constraints: 65822
367.42/368.67 c #Conflicts: 309000 | #Constraints: 66823
367.42/368.67 c #Conflicts: 310000 | #Constraints: 67823
367.42/368.67 c INPROCESSING
367.42/368.67 c GARBAGE COLLECT
367.42/368.67 c rational objective 7
394.93/396.23 c #Conflicts: 311000 | #Constraints: 57669
394.93/396.23 c #Conflicts: 312000 | #Constraints: 58670
394.93/396.23 c #Conflicts: 313000 | #Constraints: 59670
394.93/396.23 c #Conflicts: 314000 | #Constraints: 60670
394.93/396.23 c #Conflicts: 315000 | #Constraints: 61671
394.93/396.23 c #Conflicts: 316000 | #Constraints: 62674
394.93/396.23 c #Conflicts: 317000 | #Constraints: 63676
394.93/396.23 c #Conflicts: 318000 | #Constraints: 64677
394.93/396.23 c #Conflicts: 319000 | #Constraints: 65677
394.93/396.23 c #Conflicts: 320000 | #Constraints: 66678
394.93/396.23 c #Conflicts: 321000 | #Constraints: 67678
394.93/396.23 c INPROCESSING
394.93/396.23 c GARBAGE COLLECT
394.93/396.23 c rational objective 7
410.49/411.81 c #Conflicts: 322000 | #Constraints: 57412
410.49/411.81 c #Conflicts: 323000 | #Constraints: 58412
410.49/411.81 c #Conflicts: 324000 | #Constraints: 59412
410.49/411.81 c #Conflicts: 325000 | #Constraints: 60412
410.49/411.81 c #Conflicts: 326000 | #Constraints: 61412
410.49/411.81 c #Conflicts: 327000 | #Constraints: 62415
410.49/411.81 c #Conflicts: 328000 | #Constraints: 63418
410.49/411.81 c #Conflicts: 329000 | #Constraints: 64422
410.49/411.81 c #Conflicts: 330000 | #Constraints: 65425
410.49/411.81 c #Conflicts: 331000 | #Constraints: 66427
410.49/411.81 c #Conflicts: 332000 | #Constraints: 67433
410.49/411.81 c #Conflicts: 333000 | #Constraints: 68435
410.49/411.81 c INPROCESSING
410.49/411.81 c GARBAGE COLLECT
410.49/411.81 c rational objective 7
431.32/432.79 c #Conflicts: 334000 | #Constraints: 57865
431.32/432.79 c #Conflicts: 335000 | #Constraints: 58865
431.32/432.79 c #Conflicts: 336000 | #Constraints: 59865
431.32/432.79 c #Conflicts: 337000 | #Constraints: 60865
431.32/432.79 c #Conflicts: 338000 | #Constraints: 61865
431.32/432.79 c #Conflicts: 339000 | #Constraints: 62865
431.32/432.79 c #Conflicts: 340000 | #Constraints: 63866
431.32/432.79 c #Conflicts: 341000 | #Constraints: 64868
431.32/432.79 c #Conflicts: 342000 | #Constraints: 65869
431.32/432.79 c #Conflicts: 343000 | #Constraints: 66871
431.32/432.79 c #Conflicts: 344000 | #Constraints: 67873
431.32/432.79 c #Conflicts: 345000 | #Constraints: 68874
431.32/432.79 c INPROCESSING
431.32/432.79 c GARBAGE COLLECT
431.32/432.79 c rational objective 7
448.17/449.68 c #Conflicts: 346000 | #Constraints: 58229
448.17/449.68 c #Conflicts: 347000 | #Constraints: 59229
448.17/449.68 c #Conflicts: 348000 | #Constraints: 60229
448.17/449.68 c #Conflicts: 349000 | #Constraints: 61229
448.17/449.68 c #Conflicts: 350000 | #Constraints: 62229
448.17/449.68 c #Conflicts: 351000 | #Constraints: 63229
448.17/449.68 c #Conflicts: 352000 | #Constraints: 64229
448.17/449.68 c #Conflicts: 353000 | #Constraints: 65230
448.17/449.68 c #Conflicts: 354000 | #Constraints: 66231
448.17/449.68 c #Conflicts: 355000 | #Constraints: 67232
448.17/449.68 c #Conflicts: 356000 | #Constraints: 68233
448.17/449.68 c #Conflicts: 357000 | #Constraints: 69235
448.17/449.68 c INPROCESSING
448.17/449.68 c GARBAGE COLLECT
448.17/449.68 c rational objective 7
464.43/465.92 c #Conflicts: 358000 | #Constraints: 58398
464.43/465.92 c #Conflicts: 359000 | #Constraints: 59398
464.43/465.92 c #Conflicts: 360000 | #Constraints: 60398
464.43/465.92 c #Conflicts: 361000 | #Constraints: 61398
464.43/465.92 c #Conflicts: 362000 | #Constraints: 62398
464.43/465.92 c #Conflicts: 363000 | #Constraints: 63399
464.43/465.92 c #Conflicts: 364000 | #Constraints: 64400
464.43/465.92 c #Conflicts: 365000 | #Constraints: 65400
464.43/465.92 c #Conflicts: 366000 | #Constraints: 66401
464.43/465.92 c #Conflicts: 367000 | #Constraints: 67403
464.43/465.92 c #Conflicts: 368000 | #Constraints: 68404
464.43/465.92 c #Conflicts: 369000 | #Constraints: 69405
464.43/465.92 c INPROCESSING
464.43/465.92 c GARBAGE COLLECT
464.43/465.92 c rational objective 7
480.18/481.72 c #Conflicts: 370000 | #Constraints: 58371
480.18/481.72 c #Conflicts: 371000 | #Constraints: 59371
480.18/481.72 c #Conflicts: 372000 | #Constraints: 60371
480.18/481.72 c #Conflicts: 373000 | #Constraints: 61371
480.18/481.72 c #Conflicts: 374000 | #Constraints: 62371
480.18/481.72 c #Conflicts: 375000 | #Constraints: 63371
480.18/481.72 c #Conflicts: 376000 | #Constraints: 64372
480.18/481.72 c #Conflicts: 377000 | #Constraints: 65373
480.18/481.72 c #Conflicts: 378000 | #Constraints: 66373
480.18/481.72 c #Conflicts: 379000 | #Constraints: 67374
480.18/481.72 c #Conflicts: 380000 | #Constraints: 68374
480.18/481.72 c #Conflicts: 381000 | #Constraints: 69375
480.18/481.72 c INPROCESSING
480.18/481.72 c GARBAGE COLLECT
480.18/481.72 c rational objective 7
498.63/500.24 c #Conflicts: 382000 | #Constraints: 58163
498.63/500.24 c #Conflicts: 383000 | #Constraints: 59163
498.63/500.24 c #Conflicts: 384000 | #Constraints: 60163
498.63/500.24 c #Conflicts: 385000 | #Constraints: 61163
498.63/500.24 c #Conflicts: 386000 | #Constraints: 62163
498.63/500.24 c #Conflicts: 387000 | #Constraints: 63165
498.63/500.24 c #Conflicts: 388000 | #Constraints: 64167
498.63/500.24 c #Conflicts: 389000 | #Constraints: 65168
498.63/500.24 c #Conflicts: 390000 | #Constraints: 66169
498.63/500.24 c #Conflicts: 391000 | #Constraints: 67170
498.63/500.24 c #Conflicts: 392000 | #Constraints: 68170
498.63/500.24 c #Conflicts: 393000 | #Constraints: 69171
498.63/500.24 c #Conflicts: 394000 | #Constraints: 70172
498.63/500.24 c INPROCESSING
498.63/500.24 c GARBAGE COLLECT
498.63/500.24 c rational objective 7
512.50/514.16 c #Conflicts: 395000 | #Constraints: 58754
512.50/514.16 c #Conflicts: 396000 | #Constraints: 59754
512.50/514.16 c #Conflicts: 397000 | #Constraints: 60754
512.50/514.16 c #Conflicts: 398000 | #Constraints: 61754
512.50/514.16 c #Conflicts: 399000 | #Constraints: 62754
512.50/514.16 c #Conflicts: 400000 | #Constraints: 63754
512.50/514.16 c #Conflicts: 401000 | #Constraints: 64754
512.50/514.16 c #Conflicts: 402000 | #Constraints: 65754
512.50/514.16 c #Conflicts: 403000 | #Constraints: 66754
512.50/514.16 c #Conflicts: 404000 | #Constraints: 67755
512.50/514.16 c #Conflicts: 405000 | #Constraints: 68756
512.50/514.16 c #Conflicts: 406000 | #Constraints: 69757
512.50/514.16 c #Conflicts: 407000 | #Constraints: 70758
512.50/514.16 c INPROCESSING
512.50/514.16 c GARBAGE COLLECT
512.50/514.16 c rational objective 7
525.75/527.44 c #Conflicts: 408000 | #Constraints: 59113
525.75/527.44 c #Conflicts: 409000 | #Constraints: 60113
525.75/527.44 c #Conflicts: 410000 | #Constraints: 61113
525.75/527.44 c #Conflicts: 411000 | #Constraints: 62113
525.75/527.44 c #Conflicts: 412000 | #Constraints: 63113
525.75/527.44 c #Conflicts: 413000 | #Constraints: 64113
525.75/527.44 c #Conflicts: 414000 | #Constraints: 65113
525.75/527.44 c #Conflicts: 415000 | #Constraints: 66113
525.75/527.44 c #Conflicts: 416000 | #Constraints: 67114
525.75/527.44 c #Conflicts: 417000 | #Constraints: 68114
525.75/527.44 c #Conflicts: 418000 | #Constraints: 69115
525.75/527.44 c #Conflicts: 419000 | #Constraints: 70116
525.75/527.44 c #Conflicts: 420000 | #Constraints: 71117
525.75/527.44 c INPROCESSING
525.75/527.44 c GARBAGE COLLECT
525.75/527.44 c rational objective 7
555.87/557.69 c #Conflicts: 421000 | #Constraints: 59290
555.87/557.69 c #Conflicts: 422000 | #Constraints: 60290
555.87/557.69 c #Conflicts: 423000 | #Constraints: 61290
555.87/557.69 c #Conflicts: 424000 | #Constraints: 62290
555.87/557.69 c #Conflicts: 425000 | #Constraints: 63292
555.87/557.69 c #Conflicts: 426000 | #Constraints: 64294
555.87/557.69 c #Conflicts: 427000 | #Constraints: 65295
555.87/557.69 c #Conflicts: 428000 | #Constraints: 66296
555.87/557.69 c #Conflicts: 429000 | #Constraints: 67297
555.87/557.69 c #Conflicts: 430000 | #Constraints: 68298
555.87/557.69 c #Conflicts: 431000 | #Constraints: 69299
555.87/557.69 c #Conflicts: 432000 | #Constraints: 70300
555.87/557.69 c #Conflicts: 433000 | #Constraints: 71301
555.87/557.69 c INPROCESSING
555.87/557.69 c GARBAGE COLLECT
555.87/557.69 c rational objective 7
574.12/576.00 c #Conflicts: 434000 | #Constraints: 59308
574.12/576.00 c #Conflicts: 435000 | #Constraints: 60308
574.12/576.00 c #Conflicts: 436000 | #Constraints: 61308
574.12/576.00 c #Conflicts: 437000 | #Constraints: 62308
574.12/576.00 c #Conflicts: 438000 | #Constraints: 63308
574.12/576.00 c #Conflicts: 439000 | #Constraints: 64308
574.12/576.00 c #Conflicts: 440000 | #Constraints: 65309
574.12/576.00 c #Conflicts: 441000 | #Constraints: 66309
574.12/576.00 c #Conflicts: 442000 | #Constraints: 67309
574.12/576.00 c #Conflicts: 443000 | #Constraints: 68310
574.12/576.00 c #Conflicts: 444000 | #Constraints: 69311
574.12/576.00 c #Conflicts: 445000 | #Constraints: 70311
574.12/576.00 c #Conflicts: 446000 | #Constraints: 71312
574.12/576.00 c INPROCESSING
574.12/576.00 c GARBAGE COLLECT
574.12/576.00 c rational objective 7
593.76/595.64 c #Conflicts: 447000 | #Constraints: 59106
593.76/595.64 c #Conflicts: 448000 | #Constraints: 60107
593.76/595.64 c #Conflicts: 449000 | #Constraints: 61107
593.76/595.64 c #Conflicts: 450000 | #Constraints: 62107
593.76/595.64 c #Conflicts: 451000 | #Constraints: 63107
593.76/595.64 c #Conflicts: 452000 | #Constraints: 64107
593.76/595.64 c #Conflicts: 453000 | #Constraints: 65107
593.76/595.64 c #Conflicts: 454000 | #Constraints: 66109
593.76/595.64 c #Conflicts: 455000 | #Constraints: 67110
593.76/595.64 c #Conflicts: 456000 | #Constraints: 68112
593.76/595.64 c #Conflicts: 457000 | #Constraints: 69113
593.76/595.64 c #Conflicts: 458000 | #Constraints: 70115
593.76/595.64 c #Conflicts: 459000 | #Constraints: 71118
593.76/595.64 c #Conflicts: 460000 | #Constraints: 72123
593.76/595.64 c INPROCESSING
593.76/595.64 c GARBAGE COLLECT
593.76/595.64 c rational objective 7
620.69/622.66 c #Conflicts: 461000 | #Constraints: 59709
620.69/622.66 c #Conflicts: 462000 | #Constraints: 60709
620.69/622.66 c #Conflicts: 463000 | #Constraints: 61709
620.69/622.66 c #Conflicts: 464000 | #Constraints: 62709
620.69/622.66 c #Conflicts: 465000 | #Constraints: 63710
620.69/622.66 c #Conflicts: 466000 | #Constraints: 64712
620.69/622.66 c #Conflicts: 467000 | #Constraints: 65713
620.69/622.66 c #Conflicts: 468000 | #Constraints: 66714
620.69/622.66 c #Conflicts: 469000 | #Constraints: 67716
620.69/622.66 c #Conflicts: 470000 | #Constraints: 68717
620.69/622.66 c #Conflicts: 471000 | #Constraints: 69717
620.69/622.66 c #Conflicts: 472000 | #Constraints: 70717
620.69/622.66 c #Conflicts: 473000 | #Constraints: 71718
620.69/622.66 c #Conflicts: 474000 | #Constraints: 72718
620.69/622.66 c INPROCESSING
620.69/622.66 c GARBAGE COLLECT
620.69/622.66 c rational objective 7
642.24/644.22 c #Conflicts: 475000 | #Constraints: 60053
642.24/644.22 c #Conflicts: 476000 | #Constraints: 61053
642.24/644.22 c #Conflicts: 477000 | #Constraints: 62053
642.24/644.22 c #Conflicts: 478000 | #Constraints: 63053
642.24/644.22 c #Conflicts: 479000 | #Constraints: 64053
642.24/644.22 c #Conflicts: 480000 | #Constraints: 65053
642.24/644.22 c #Conflicts: 481000 | #Constraints: 66053
642.24/644.22 c #Conflicts: 482000 | #Constraints: 67053
642.24/644.22 c #Conflicts: 483000 | #Constraints: 68053
642.24/644.22 c #Conflicts: 484000 | #Constraints: 69054
642.24/644.22 c #Conflicts: 485000 | #Constraints: 70054
642.24/644.22 c #Conflicts: 486000 | #Constraints: 71054
642.24/644.22 c #Conflicts: 487000 | #Constraints: 72055
642.24/644.22 c #Conflicts: 488000 | #Constraints: 73055
642.24/644.22 c INPROCESSING
642.24/644.22 c GARBAGE COLLECT
642.24/644.22 c rational objective 7
667.87/669.94 c #Conflicts: 489000 | #Constraints: 60251
667.87/669.94 c #Conflicts: 490000 | #Constraints: 61252
667.87/669.94 c #Conflicts: 491000 | #Constraints: 62252
667.87/669.94 c #Conflicts: 492000 | #Constraints: 63252
667.87/669.94 c #Conflicts: 493000 | #Constraints: 64254
667.87/669.94 c #Conflicts: 494000 | #Constraints: 65257
667.87/669.94 c #Conflicts: 495000 | #Constraints: 66259
667.87/669.94 c #Conflicts: 496000 | #Constraints: 67261
667.87/669.94 c #Conflicts: 497000 | #Constraints: 68264
667.87/669.94 c #Conflicts: 498000 | #Constraints: 69265
667.87/669.94 c #Conflicts: 499000 | #Constraints: 70268
667.87/669.94 c #Conflicts: 500000 | #Constraints: 71269
667.87/669.94 c #Conflicts: 501000 | #Constraints: 72270
667.87/669.94 c #Conflicts: 502000 | #Constraints: 73271
667.87/669.94 c INPROCESSING
667.87/669.94 c GARBAGE COLLECT
667.87/669.94 c rational objective 7
692.50/694.69 c #Conflicts: 503000 | #Constraints: 60176
692.50/694.69 c #Conflicts: 504000 | #Constraints: 61176
692.50/694.69 c #Conflicts: 505000 | #Constraints: 62176
692.50/694.69 c #Conflicts: 506000 | #Constraints: 63177
692.50/694.69 c #Conflicts: 507000 | #Constraints: 64181
692.50/694.69 c #Conflicts: 508000 | #Constraints: 65183
692.50/694.69 c #Conflicts: 509000 | #Constraints: 66184
692.50/694.69 c #Conflicts: 510000 | #Constraints: 67185
692.50/694.69 c #Conflicts: 511000 | #Constraints: 68186
692.50/694.69 c #Conflicts: 512000 | #Constraints: 69186
692.50/694.69 c #Conflicts: 513000 | #Constraints: 70186
692.50/694.69 c #Conflicts: 514000 | #Constraints: 71188
692.50/694.69 c #Conflicts: 515000 | #Constraints: 72189
692.50/694.69 c #Conflicts: 516000 | #Constraints: 73190
692.50/694.69 c INPROCESSING
692.50/694.69 c GARBAGE COLLECT
692.50/694.69 c rational objective 7
714.44/716.69 c #Conflicts: 517000 | #Constraints: 59900
714.44/716.69 c #Conflicts: 518000 | #Constraints: 60901
714.44/716.69 c #Conflicts: 519000 | #Constraints: 61901
714.44/716.69 c #Conflicts: 520000 | #Constraints: 62901
714.44/716.69 c #Conflicts: 521000 | #Constraints: 63901
714.44/716.69 c #Conflicts: 522000 | #Constraints: 64902
714.44/716.69 c #Conflicts: 523000 | #Constraints: 65903
714.44/716.69 c #Conflicts: 524000 | #Constraints: 66904
714.44/716.69 c #Conflicts: 525000 | #Constraints: 67905
714.44/716.69 c #Conflicts: 526000 | #Constraints: 68907
714.44/716.69 c #Conflicts: 527000 | #Constraints: 69907
714.44/716.69 c #Conflicts: 528000 | #Constraints: 70907
714.44/716.69 c #Conflicts: 529000 | #Constraints: 71908
714.44/716.69 c #Conflicts: 530000 | #Constraints: 72908
714.44/716.69 c #Conflicts: 531000 | #Constraints: 73908
714.44/716.69 c INPROCESSING
714.44/716.69 c GARBAGE COLLECT
714.44/716.69 c rational objective 7
737.18/739.41 c #Conflicts: 532000 | #Constraints: 60455
737.18/739.41 c #Conflicts: 533000 | #Constraints: 61456
737.18/739.41 c #Conflicts: 534000 | #Constraints: 62456
737.18/739.41 c #Conflicts: 535000 | #Constraints: 63456
737.18/739.41 c #Conflicts: 536000 | #Constraints: 64456
737.18/739.41 c #Conflicts: 537000 | #Constraints: 65457
737.18/739.41 c #Conflicts: 538000 | #Constraints: 66459
737.18/739.41 c #Conflicts: 539000 | #Constraints: 67463
737.18/739.41 c #Conflicts: 540000 | #Constraints: 68464
737.18/739.41 c #Conflicts: 541000 | #Constraints: 69465
737.18/739.41 c #Conflicts: 542000 | #Constraints: 70467
737.18/739.41 c #Conflicts: 543000 | #Constraints: 71469
737.18/739.41 c #Conflicts: 544000 | #Constraints: 72471
737.18/739.41 c #Conflicts: 545000 | #Constraints: 73473
737.18/739.41 c #Conflicts: 546000 | #Constraints: 74474
737.18/739.41 c INPROCESSING
737.18/739.41 c GARBAGE COLLECT
737.18/739.41 c rational objective 7
765.40/767.76 c #Conflicts: 547000 | #Constraints: 60805
765.40/767.76 c #Conflicts: 548000 | #Constraints: 61805
765.40/767.76 c #Conflicts: 549000 | #Constraints: 62806
765.40/767.76 c #Conflicts: 550000 | #Constraints: 63808
765.40/767.76 c #Conflicts: 551000 | #Constraints: 64808
765.40/767.76 c #Conflicts: 552000 | #Constraints: 65808
765.40/767.76 c #Conflicts: 553000 | #Constraints: 66808
765.40/767.76 c #Conflicts: 554000 | #Constraints: 67808
765.40/767.76 c #Conflicts: 555000 | #Constraints: 68808
765.40/767.76 c #Conflicts: 556000 | #Constraints: 69808
765.40/767.76 c #Conflicts: 557000 | #Constraints: 70809
765.40/767.76 c #Conflicts: 558000 | #Constraints: 71810
765.40/767.76 c #Conflicts: 559000 | #Constraints: 72812
765.40/767.76 c #Conflicts: 560000 | #Constraints: 73812
765.40/767.76 c #Conflicts: 561000 | #Constraints: 74813
765.40/767.76 c INPROCESSING
765.40/767.76 c GARBAGE COLLECT
765.40/767.76 c rational objective 7
788.24/790.60 c #Conflicts: 562000 | #Constraints: 61014
788.24/790.60 c #Conflicts: 563000 | #Constraints: 62015
788.24/790.60 c #Conflicts: 564000 | #Constraints: 63015
788.24/790.60 c #Conflicts: 565000 | #Constraints: 64015
788.24/790.60 c #Conflicts: 566000 | #Constraints: 65017
788.24/790.60 c #Conflicts: 567000 | #Constraints: 66018
788.24/790.60 c #Conflicts: 568000 | #Constraints: 67020
788.24/790.60 c #Conflicts: 569000 | #Constraints: 68022
788.24/790.60 c #Conflicts: 570000 | #Constraints: 69024
788.24/790.60 c #Conflicts: 571000 | #Constraints: 70026
788.24/790.60 c #Conflicts: 572000 | #Constraints: 71027
788.24/790.60 c #Conflicts: 573000 | #Constraints: 72028
788.24/790.60 c #Conflicts: 574000 | #Constraints: 73030
788.24/790.60 c #Conflicts: 575000 | #Constraints: 74031
788.24/790.60 c #Conflicts: 576000 | #Constraints: 75032
788.24/790.60 c INPROCESSING
788.24/790.60 c GARBAGE COLLECT
788.24/790.60 c rational objective 7
810.78/813.23 c #Conflicts: 577000 | #Constraints: 60962
810.78/813.23 c #Conflicts: 578000 | #Constraints: 61962
810.78/813.23 c #Conflicts: 579000 | #Constraints: 62962
810.78/813.23 c #Conflicts: 580000 | #Constraints: 63962
810.78/813.23 c #Conflicts: 581000 | #Constraints: 64962
810.78/813.23 c #Conflicts: 582000 | #Constraints: 65962
810.78/813.23 c #Conflicts: 583000 | #Constraints: 66962
810.78/813.23 c #Conflicts: 584000 | #Constraints: 67962
810.78/813.23 c #Conflicts: 585000 | #Constraints: 68963
810.78/813.23 c #Conflicts: 586000 | #Constraints: 69965
810.78/813.23 c #Conflicts: 587000 | #Constraints: 70966
810.78/813.23 c #Conflicts: 588000 | #Constraints: 71966
810.78/813.23 c #Conflicts: 589000 | #Constraints: 72967
810.78/813.23 c #Conflicts: 590000 | #Constraints: 73968
810.78/813.23 c #Conflicts: 591000 | #Constraints: 74968
810.78/813.23 c INPROCESSING
810.78/813.23 c GARBAGE COLLECT
810.78/813.23 c rational objective 7
835.41/837.94 c #Conflicts: 592000 | #Constraints: 60744
835.41/837.94 c #Conflicts: 593000 | #Constraints: 61744
835.41/837.94 c #Conflicts: 594000 | #Constraints: 62744
835.41/837.94 c #Conflicts: 595000 | #Constraints: 63744
835.41/837.94 c #Conflicts: 596000 | #Constraints: 64744
835.41/837.94 c #Conflicts: 597000 | #Constraints: 65744
835.41/837.94 c #Conflicts: 598000 | #Constraints: 66747
835.41/837.94 c #Conflicts: 599000 | #Constraints: 67753
835.41/837.94 c #Conflicts: 600000 | #Constraints: 68755
835.41/837.94 c #Conflicts: 601000 | #Constraints: 69758
835.41/837.94 c #Conflicts: 602000 | #Constraints: 70760
835.41/837.94 c #Conflicts: 603000 | #Constraints: 71765
835.41/837.94 c #Conflicts: 604000 | #Constraints: 72766
835.41/837.94 c #Conflicts: 605000 | #Constraints: 73768
835.41/837.94 c #Conflicts: 606000 | #Constraints: 74769
835.41/837.94 c #Conflicts: 607000 | #Constraints: 75770
835.41/837.94 c INPROCESSING
835.41/837.94 c GARBAGE COLLECT
835.41/837.94 c rational objective 7
858.85/861.40 c #Conflicts: 608000 | #Constraints: 61217
858.85/861.40 c #Conflicts: 609000 | #Constraints: 62217
858.85/861.40 c #Conflicts: 610000 | #Constraints: 63217
858.85/861.40 c #Conflicts: 611000 | #Constraints: 64217
858.85/861.40 c #Conflicts: 612000 | #Constraints: 65218
858.85/861.40 c #Conflicts: 613000 | #Constraints: 66219
858.85/861.40 c #Conflicts: 614000 | #Constraints: 67220
858.85/861.40 c #Conflicts: 615000 | #Constraints: 68221
858.85/861.40 c #Conflicts: 616000 | #Constraints: 69224
858.85/861.40 c #Conflicts: 617000 | #Constraints: 70225
858.85/861.40 c #Conflicts: 618000 | #Constraints: 71226
858.85/861.40 c #Conflicts: 619000 | #Constraints: 72228
858.85/861.40 c #Conflicts: 620000 | #Constraints: 73229
858.85/861.40 c #Conflicts: 621000 | #Constraints: 74231
858.85/861.40 c #Conflicts: 622000 | #Constraints: 75232
858.85/861.40 c #Conflicts: 623000 | #Constraints: 76232
858.85/861.40 c INPROCESSING
858.85/861.40 c GARBAGE COLLECT
858.85/861.40 c rational objective 7
888.37/891.03 c #Conflicts: 624000 | #Constraints: 61594
888.37/891.03 c #Conflicts: 625000 | #Constraints: 62594
888.37/891.03 c #Conflicts: 626000 | #Constraints: 63594
888.37/891.03 c #Conflicts: 627000 | #Constraints: 64594
888.37/891.03 c #Conflicts: 628000 | #Constraints: 65594
888.37/891.03 c #Conflicts: 629000 | #Constraints: 66594
888.37/891.03 c #Conflicts: 630000 | #Constraints: 67595
888.37/891.03 c #Conflicts: 631000 | #Constraints: 68595
888.37/891.03 c #Conflicts: 632000 | #Constraints: 69596
888.37/891.03 c #Conflicts: 633000 | #Constraints: 70596
888.37/891.03 c #Conflicts: 634000 | #Constraints: 71597
888.37/891.03 c #Conflicts: 635000 | #Constraints: 72598
888.37/891.03 c #Conflicts: 636000 | #Constraints: 73599
888.37/891.03 c #Conflicts: 637000 | #Constraints: 74600
888.37/891.03 c #Conflicts: 638000 | #Constraints: 75601
888.37/891.03 c #Conflicts: 639000 | #Constraints: 76602
888.37/891.03 c INPROCESSING
888.37/891.03 c GARBAGE COLLECT
888.37/891.03 c rational objective 7
908.61/911.33 c #Conflicts: 640000 | #Constraints: 61601
908.61/911.33 c #Conflicts: 641000 | #Constraints: 62601
908.61/911.33 c #Conflicts: 642000 | #Constraints: 63601
908.61/911.33 c #Conflicts: 643000 | #Constraints: 64601
908.61/911.33 c #Conflicts: 644000 | #Constraints: 65602
908.61/911.33 c #Conflicts: 645000 | #Constraints: 66604
908.61/911.33 c #Conflicts: 646000 | #Constraints: 67607
908.61/911.33 c #Conflicts: 647000 | #Constraints: 68610
908.61/911.33 c #Conflicts: 648000 | #Constraints: 69611
908.61/911.33 c #Conflicts: 649000 | #Constraints: 70611
908.61/911.33 c #Conflicts: 650000 | #Constraints: 71615
908.61/911.33 c #Conflicts: 651000 | #Constraints: 72616
908.61/911.33 c #Conflicts: 652000 | #Constraints: 73617
908.61/911.33 c #Conflicts: 653000 | #Constraints: 74618
908.61/911.33 c #Conflicts: 654000 | #Constraints: 75621
908.61/911.33 c #Conflicts: 655000 | #Constraints: 76623
908.61/911.33 c INPROCESSING
908.61/911.33 c GARBAGE COLLECT
908.61/911.33 c rational objective 7
941.42/944.21 c #Conflicts: 656000 | #Constraints: 61592
941.42/944.21 c #Conflicts: 657000 | #Constraints: 62593
941.42/944.21 c #Conflicts: 658000 | #Constraints: 63593
941.42/944.21 c #Conflicts: 659000 | #Constraints: 64593
941.42/944.21 c #Conflicts: 660000 | #Constraints: 65593
941.42/944.21 c #Conflicts: 661000 | #Constraints: 66594
941.42/944.21 c #Conflicts: 662000 | #Constraints: 67594
941.42/944.21 c #Conflicts: 663000 | #Constraints: 68595
941.42/944.21 c #Conflicts: 664000 | #Constraints: 69597
941.42/944.21 c #Conflicts: 665000 | #Constraints: 70597
941.42/944.21 c #Conflicts: 666000 | #Constraints: 71597
941.42/944.21 c #Conflicts: 667000 | #Constraints: 72599
941.42/944.21 c #Conflicts: 668000 | #Constraints: 73601
941.42/944.21 c #Conflicts: 669000 | #Constraints: 74603
941.42/944.21 c #Conflicts: 670000 | #Constraints: 75603
941.42/944.21 c #Conflicts: 671000 | #Constraints: 76603
941.42/944.21 c INPROCESSING
941.42/944.21 c GARBAGE COLLECT
941.42/944.21 c rational objective 7
976.33/979.20 c #Conflicts: 672000 | #Constraints: 61379
976.33/979.20 c #Conflicts: 673000 | #Constraints: 62379
976.33/979.20 c #Conflicts: 674000 | #Constraints: 63379
976.33/979.20 c #Conflicts: 675000 | #Constraints: 64380
976.33/979.20 c #Conflicts: 676000 | #Constraints: 65380
976.33/979.20 c #Conflicts: 677000 | #Constraints: 66380
976.33/979.20 c #Conflicts: 678000 | #Constraints: 67381
976.33/979.20 c #Conflicts: 679000 | #Constraints: 68387
976.33/979.20 c #Conflicts: 680000 | #Constraints: 69391
976.33/979.20 c #Conflicts: 681000 | #Constraints: 70393
976.33/979.20 c #Conflicts: 682000 | #Constraints: 71396
976.33/979.20 c #Conflicts: 683000 | #Constraints: 72397
976.33/979.20 c #Conflicts: 684000 | #Constraints: 73398
976.33/979.20 c #Conflicts: 685000 | #Constraints: 74399
976.33/979.20 c #Conflicts: 686000 | #Constraints: 75402
976.33/979.20 c #Conflicts: 687000 | #Constraints: 76403
976.33/979.20 c #Conflicts: 688000 | #Constraints: 77403
976.33/979.20 c INPROCESSING
976.33/979.20 c GARBAGE COLLECT
976.33/979.20 c rational objective 7
1014.62/1017.60 c #Conflicts: 689000 | #Constraints: 61927
1014.62/1017.60 c #Conflicts: 690000 | #Constraints: 62927
1014.62/1017.60 c #Conflicts: 691000 | #Constraints: 63927
1014.62/1017.60 c #Conflicts: 692000 | #Constraints: 64928
1014.62/1017.60 c #Conflicts: 693000 | #Constraints: 65930
1014.62/1017.60 c #Conflicts: 694000 | #Constraints: 66930
1014.62/1017.60 c #Conflicts: 695000 | #Constraints: 67932
1014.62/1017.60 c #Conflicts: 696000 | #Constraints: 68933
1014.62/1017.60 c #Conflicts: 697000 | #Constraints: 69934
1014.62/1017.60 c #Conflicts: 698000 | #Constraints: 70934
1014.62/1017.60 c #Conflicts: 699000 | #Constraints: 71936
1014.62/1017.60 c #Conflicts: 700000 | #Constraints: 72937
1014.62/1017.60 c #Conflicts: 701000 | #Constraints: 73938
1014.62/1017.60 c #Conflicts: 702000 | #Constraints: 74938
1014.62/1017.60 c #Conflicts: 703000 | #Constraints: 75939
1014.62/1017.60 c #Conflicts: 704000 | #Constraints: 76939
1014.62/1017.60 c #Conflicts: 705000 | #Constraints: 77939
1014.62/1017.60 c INPROCESSING
1014.62/1017.60 c GARBAGE COLLECT
1014.62/1017.60 c rational objective 7
1056.61/1059.75 c #Conflicts: 706000 | #Constraints: 62350
1056.61/1059.75 c #Conflicts: 707000 | #Constraints: 63351
1056.61/1059.75 c #Conflicts: 708000 | #Constraints: 64351
1056.61/1059.75 c #Conflicts: 709000 | #Constraints: 65351
1056.61/1059.75 c #Conflicts: 710000 | #Constraints: 66351
1056.61/1059.75 c #Conflicts: 711000 | #Constraints: 67351
1056.61/1059.75 c #Conflicts: 712000 | #Constraints: 68355
1056.61/1059.75 c #Conflicts: 713000 | #Constraints: 69357
1056.61/1059.75 c #Conflicts: 714000 | #Constraints: 70357
1056.61/1059.75 c #Conflicts: 715000 | #Constraints: 71359
1056.61/1059.75 c #Conflicts: 716000 | #Constraints: 72360
1056.61/1059.75 c #Conflicts: 717000 | #Constraints: 73363
1056.61/1059.75 c #Conflicts: 718000 | #Constraints: 74365
1056.61/1059.75 c #Conflicts: 719000 | #Constraints: 75366
1056.61/1059.75 c #Conflicts: 720000 | #Constraints: 76366
1056.61/1059.75 c #Conflicts: 721000 | #Constraints: 77367
1056.61/1059.75 c #Conflicts: 722000 | #Constraints: 78368
1056.61/1059.75 c INPROCESSING
1056.61/1059.75 c GARBAGE COLLECT
1056.61/1059.75 c rational objective 7
1095.10/1098.39 c #Conflicts: 723000 | #Constraints: 62536
1095.10/1098.39 c #Conflicts: 724000 | #Constraints: 63536
1095.10/1098.39 c #Conflicts: 725000 | #Constraints: 64536
1095.10/1098.39 c #Conflicts: 726000 | #Constraints: 65536
1095.10/1098.39 c #Conflicts: 727000 | #Constraints: 66536
1095.10/1098.39 c #Conflicts: 728000 | #Constraints: 67537
1095.10/1098.39 c #Conflicts: 729000 | #Constraints: 68538
1095.10/1098.39 c #Conflicts: 730000 | #Constraints: 69538
1095.10/1098.39 c #Conflicts: 731000 | #Constraints: 70538
1095.10/1098.39 c #Conflicts: 732000 | #Constraints: 71539
1095.10/1098.39 c #Conflicts: 733000 | #Constraints: 72539
1095.10/1098.39 c #Conflicts: 734000 | #Constraints: 73539
1095.10/1098.39 c #Conflicts: 735000 | #Constraints: 74539
1095.10/1098.39 c #Conflicts: 736000 | #Constraints: 75539
1095.10/1098.39 c #Conflicts: 737000 | #Constraints: 76540
1095.10/1098.39 c #Conflicts: 738000 | #Constraints: 77540
1095.10/1098.39 c #Conflicts: 739000 | #Constraints: 78540
1095.10/1098.39 c INPROCESSING
1095.10/1098.39 c GARBAGE COLLECT
1095.10/1098.39 c rational objective 7
1124.92/1128.28 c #Conflicts: 740000 | #Constraints: 62535
1124.92/1128.28 c #Conflicts: 741000 | #Constraints: 63535
1124.92/1128.28 c #Conflicts: 742000 | #Constraints: 64535
1124.92/1128.28 c #Conflicts: 743000 | #Constraints: 65535
1124.92/1128.28 c #Conflicts: 744000 | #Constraints: 66535
1124.92/1128.28 c #Conflicts: 745000 | #Constraints: 67537
1124.92/1128.28 c #Conflicts: 746000 | #Constraints: 68537
1124.92/1128.28 c #Conflicts: 747000 | #Constraints: 69537
1124.92/1128.28 c #Conflicts: 748000 | #Constraints: 70539
1124.92/1128.28 c #Conflicts: 749000 | #Constraints: 71541
1124.92/1128.28 c #Conflicts: 750000 | #Constraints: 72542
1124.92/1128.28 c #Conflicts: 751000 | #Constraints: 73544
1124.92/1128.28 c #Conflicts: 752000 | #Constraints: 74545
1124.92/1128.28 c #Conflicts: 753000 | #Constraints: 75548
1124.92/1128.28 c #Conflicts: 754000 | #Constraints: 76552
1124.92/1128.28 c #Conflicts: 755000 | #Constraints: 77553
1124.92/1128.28 c #Conflicts: 756000 | #Constraints: 78554
1124.92/1128.28 c INPROCESSING
1124.92/1128.28 c GARBAGE COLLECT
1124.92/1128.28 c rational objective 7
1166.01/1169.44 c #Conflicts: 757000 | #Constraints: 62265
1166.01/1169.44 c #Conflicts: 758000 | #Constraints: 63266
1166.01/1169.44 c #Conflicts: 759000 | #Constraints: 64267
1166.01/1169.44 c #Conflicts: 760000 | #Constraints: 65269
1166.01/1169.44 c #Conflicts: 761000 | #Constraints: 66271
1166.01/1169.44 c #Conflicts: 762000 | #Constraints: 67275
1166.01/1169.44 c #Conflicts: 763000 | #Constraints: 68277
1166.01/1169.44 c #Conflicts: 764000 | #Constraints: 69278
1166.01/1169.44 c #Conflicts: 765000 | #Constraints: 70280
1166.01/1169.44 c #Conflicts: 766000 | #Constraints: 71284
1166.01/1169.44 c #Conflicts: 767000 | #Constraints: 72286
1166.01/1169.44 c #Conflicts: 768000 | #Constraints: 73287
1166.01/1169.44 c #Conflicts: 769000 | #Constraints: 74287
1166.01/1169.44 c #Conflicts: 770000 | #Constraints: 75288
1166.01/1169.44 c #Conflicts: 771000 | #Constraints: 76289
1166.01/1169.44 c #Conflicts: 772000 | #Constraints: 77289
1166.01/1169.44 c #Conflicts: 773000 | #Constraints: 78290
1166.01/1169.44 c #Conflicts: 774000 | #Constraints: 79291
1166.01/1169.44 c INPROCESSING
1166.01/1169.44 c GARBAGE COLLECT
1166.01/1169.44 c rational objective 7
1195.63/1199.11 c #Conflicts: 775000 | #Constraints: 62848
1195.63/1199.11 c #Conflicts: 776000 | #Constraints: 63848
1195.63/1199.11 c #Conflicts: 777000 | #Constraints: 64848
1195.63/1199.11 c #Conflicts: 778000 | #Constraints: 65848
1195.63/1199.11 c #Conflicts: 779000 | #Constraints: 66848
1195.63/1199.11 c #Conflicts: 780000 | #Constraints: 67848
1195.63/1199.11 c #Conflicts: 781000 | #Constraints: 68848
1195.63/1199.11 c #Conflicts: 782000 | #Constraints: 69852
1195.63/1199.11 c #Conflicts: 783000 | #Constraints: 70854
1195.63/1199.11 c #Conflicts: 784000 | #Constraints: 71855
1195.63/1199.11 c #Conflicts: 785000 | #Constraints: 72856
1195.63/1199.11 c #Conflicts: 786000 | #Constraints: 73859
1195.63/1199.11 c #Conflicts: 787000 | #Constraints: 74861
1195.63/1199.11 c #Conflicts: 788000 | #Constraints: 75863
1195.63/1199.11 c #Conflicts: 789000 | #Constraints: 76865
1195.63/1199.11 c #Conflicts: 790000 | #Constraints: 77867
1195.63/1199.11 c #Conflicts: 791000 | #Constraints: 78869
1195.63/1199.11 c #Conflicts: 792000 | #Constraints: 79870
1195.63/1199.11 c INPROCESSING
1195.63/1199.11 c GARBAGE COLLECT
1195.63/1199.11 c rational objective 7
1223.85/1227.40 c #Conflicts: 793000 | #Constraints: 63196
1223.85/1227.40 c #Conflicts: 794000 | #Constraints: 64197
1223.85/1227.40 c #Conflicts: 795000 | #Constraints: 65197
1223.85/1227.40 c #Conflicts: 796000 | #Constraints: 66197
1223.85/1227.40 c #Conflicts: 797000 | #Constraints: 67197
1223.85/1227.40 c #Conflicts: 798000 | #Constraints: 68198
1223.85/1227.40 c #Conflicts: 799000 | #Constraints: 69198
1223.85/1227.40 c #Conflicts: 800000 | #Constraints: 70198
1223.85/1227.40 c #Conflicts: 801000 | #Constraints: 71200
1223.85/1227.40 c #Conflicts: 802000 | #Constraints: 72201
1223.85/1227.40 c #Conflicts: 803000 | #Constraints: 73202
1223.85/1227.40 c #Conflicts: 804000 | #Constraints: 74204
1223.85/1227.40 c #Conflicts: 805000 | #Constraints: 75207
1223.85/1227.40 c #Conflicts: 806000 | #Constraints: 76211
1223.85/1227.40 c #Conflicts: 807000 | #Constraints: 77215
1223.85/1227.40 c #Conflicts: 808000 | #Constraints: 78215
1223.85/1227.40 c #Conflicts: 809000 | #Constraints: 79216
1223.85/1227.40 c #Conflicts: 810000 | #Constraints: 80216
1223.85/1227.40 c INPROCESSING
1223.85/1227.40 c GARBAGE COLLECT
1223.85/1227.40 c rational objective 7
1253.87/1257.53 c #Conflicts: 811000 | #Constraints: 63395
1253.87/1257.53 c #Conflicts: 812000 | #Constraints: 64395
1253.87/1257.53 c #Conflicts: 813000 | #Constraints: 65395
1253.87/1257.53 c #Conflicts: 814000 | #Constraints: 66397
1253.87/1257.53 c #Conflicts: 815000 | #Constraints: 67397
1253.87/1257.53 c #Conflicts: 816000 | #Constraints: 68398
1253.87/1257.53 c #Conflicts: 817000 | #Constraints: 69399
1253.87/1257.53 c #Conflicts: 818000 | #Constraints: 70401
1253.87/1257.53 c #Conflicts: 819000 | #Constraints: 71402
1253.87/1257.53 c #Conflicts: 820000 | #Constraints: 72403
1253.87/1257.53 c #Conflicts: 821000 | #Constraints: 73404
1253.87/1257.53 c #Conflicts: 822000 | #Constraints: 74405
1253.87/1257.53 c #Conflicts: 823000 | #Constraints: 75405
1253.87/1257.53 c #Conflicts: 824000 | #Constraints: 76409
1253.87/1257.53 c #Conflicts: 825000 | #Constraints: 77413
1253.87/1257.53 c #Conflicts: 826000 | #Constraints: 78413
1253.87/1257.53 c #Conflicts: 827000 | #Constraints: 79414
1253.87/1257.53 c #Conflicts: 828000 | #Constraints: 80415
1253.87/1257.53 c INPROCESSING
1253.87/1257.53 c GARBAGE COLLECT
1253.87/1257.53 c rational objective 7
1293.76/1297.59 c #Conflicts: 829000 | #Constraints: 63331
1293.76/1297.59 c #Conflicts: 830000 | #Constraints: 64331
1293.76/1297.59 c #Conflicts: 831000 | #Constraints: 65331
1293.76/1297.59 c #Conflicts: 832000 | #Constraints: 66331
1293.76/1297.59 c #Conflicts: 833000 | #Constraints: 67331
1293.76/1297.59 c #Conflicts: 834000 | #Constraints: 68331
1293.76/1297.59 c #Conflicts: 835000 | #Constraints: 69332
1293.76/1297.59 c #Conflicts: 836000 | #Constraints: 70333
1293.76/1297.59 c #Conflicts: 837000 | #Constraints: 71336
1293.76/1297.59 c #Conflicts: 838000 | #Constraints: 72338
1293.76/1297.59 c #Conflicts: 839000 | #Constraints: 73341
1293.76/1297.59 c #Conflicts: 840000 | #Constraints: 74344
1293.76/1297.59 c #Conflicts: 841000 | #Constraints: 75347
1293.76/1297.59 c #Conflicts: 842000 | #Constraints: 76350
1293.76/1297.59 c #Conflicts: 843000 | #Constraints: 77353
1293.76/1297.59 c #Conflicts: 844000 | #Constraints: 78356
1293.76/1297.59 c #Conflicts: 845000 | #Constraints: 79358
1293.76/1297.59 c #Conflicts: 846000 | #Constraints: 80361
1293.76/1297.59 c INPROCESSING
1293.76/1297.59 c GARBAGE COLLECT
1293.76/1297.59 c rational objective 7
1324.07/1327.95 c #Conflicts: 847000 | #Constraints: 63081
1324.07/1327.95 c #Conflicts: 848000 | #Constraints: 64082
1324.07/1327.95 c #Conflicts: 849000 | #Constraints: 65082
1324.07/1327.95 c #Conflicts: 850000 | #Constraints: 66082
1324.07/1327.95 c #Conflicts: 851000 | #Constraints: 67084
1324.07/1327.95 c #Conflicts: 852000 | #Constraints: 68085
1324.07/1327.95 c #Conflicts: 853000 | #Constraints: 69086
1324.07/1327.95 c #Conflicts: 854000 | #Constraints: 70086
1324.07/1327.95 c #Conflicts: 855000 | #Constraints: 71087
1324.07/1327.95 c #Conflicts: 856000 | #Constraints: 72087
1324.07/1327.95 c #Conflicts: 857000 | #Constraints: 73088
1324.07/1327.95 c #Conflicts: 858000 | #Constraints: 74088
1324.07/1327.95 c #Conflicts: 859000 | #Constraints: 75088
1324.07/1327.95 c #Conflicts: 860000 | #Constraints: 76089
1324.07/1327.95 c #Conflicts: 861000 | #Constraints: 77090
1324.07/1327.95 c #Conflicts: 862000 | #Constraints: 78092
1324.07/1327.95 c #Conflicts: 863000 | #Constraints: 79094
1324.07/1327.95 c #Conflicts: 864000 | #Constraints: 80095
1324.07/1327.95 c #Conflicts: 865000 | #Constraints: 81096
1324.07/1327.95 c INPROCESSING
1324.07/1327.95 c GARBAGE COLLECT
1324.07/1327.95 c rational objective 7
1355.10/1359.04 c #Conflicts: 866000 | #Constraints: 63695
1355.10/1359.04 c #Conflicts: 867000 | #Constraints: 64695
1355.10/1359.04 c #Conflicts: 868000 | #Constraints: 65695
1355.10/1359.04 c #Conflicts: 869000 | #Constraints: 66697
1355.10/1359.04 c #Conflicts: 870000 | #Constraints: 67699
1355.10/1359.04 c #Conflicts: 871000 | #Constraints: 68699
1355.10/1359.04 c #Conflicts: 872000 | #Constraints: 69700
1355.10/1359.04 c #Conflicts: 873000 | #Constraints: 70703
1355.10/1359.04 c #Conflicts: 874000 | #Constraints: 71703
1355.10/1359.04 c #Conflicts: 875000 | #Constraints: 72703
1355.10/1359.04 c #Conflicts: 876000 | #Constraints: 73703
1355.10/1359.04 c #Conflicts: 877000 | #Constraints: 74704
1355.10/1359.04 c #Conflicts: 878000 | #Constraints: 75704
1355.10/1359.04 c #Conflicts: 879000 | #Constraints: 76704
1355.10/1359.04 c #Conflicts: 880000 | #Constraints: 77705
1355.10/1359.04 c #Conflicts: 881000 | #Constraints: 78706
1355.10/1359.04 c #Conflicts: 882000 | #Constraints: 79707
1355.10/1359.04 c #Conflicts: 883000 | #Constraints: 80708
1355.10/1359.04 c #Conflicts: 884000 | #Constraints: 81709
1355.10/1359.04 c INPROCESSING
1355.10/1359.04 c GARBAGE COLLECT
1355.10/1359.04 c rational objective 7
1399.16/1403.22 c #Conflicts: 885000 | #Constraints: 64101
1399.16/1403.22 c #Conflicts: 886000 | #Constraints: 65101
1399.16/1403.22 c #Conflicts: 887000 | #Constraints: 66101
1399.16/1403.22 c #Conflicts: 888000 | #Constraints: 67101
1399.16/1403.22 c #Conflicts: 889000 | #Constraints: 68102
1399.16/1403.22 c #Conflicts: 890000 | #Constraints: 69103
1399.16/1403.22 c #Conflicts: 891000 | #Constraints: 70104
1399.16/1403.22 c #Conflicts: 892000 | #Constraints: 71106
1399.16/1403.22 c #Conflicts: 893000 | #Constraints: 72106
1399.16/1403.22 c #Conflicts: 894000 | #Constraints: 73107
1399.16/1403.22 c #Conflicts: 895000 | #Constraints: 74108
1399.16/1403.22 c #Conflicts: 896000 | #Constraints: 75108
1399.16/1403.22 c #Conflicts: 897000 | #Constraints: 76109
1399.16/1403.22 c #Conflicts: 898000 | #Constraints: 77110
1399.16/1403.22 c #Conflicts: 899000 | #Constraints: 78110
1399.16/1403.22 c #Conflicts: 900000 | #Constraints: 79111
1399.16/1403.22 c #Conflicts: 901000 | #Constraints: 80112
1399.16/1403.22 c #Conflicts: 902000 | #Constraints: 81112
1399.16/1403.22 c #Conflicts: 903000 | #Constraints: 82113
1399.16/1403.22 c INPROCESSING
1399.16/1403.22 c GARBAGE COLLECT
1399.16/1403.22 c rational objective 7
1434.87/1439.08 c #Conflicts: 904000 | #Constraints: 64301
1434.87/1439.08 c #Conflicts: 905000 | #Constraints: 65301
1434.87/1439.08 c #Conflicts: 906000 | #Constraints: 66301
1434.87/1439.08 c #Conflicts: 907000 | #Constraints: 67301
1434.87/1439.08 c #Conflicts: 908000 | #Constraints: 68301
1434.87/1439.08 c #Conflicts: 909000 | #Constraints: 69301
1434.87/1439.08 c #Conflicts: 910000 | #Constraints: 70301
1434.87/1439.08 c #Conflicts: 911000 | #Constraints: 71303
1434.87/1439.08 c #Conflicts: 912000 | #Constraints: 72304
1434.87/1439.08 c #Conflicts: 913000 | #Constraints: 73306
1434.87/1439.08 c #Conflicts: 914000 | #Constraints: 74307
1434.87/1439.08 c #Conflicts: 915000 | #Constraints: 75307
1434.87/1439.08 c #Conflicts: 916000 | #Constraints: 76307
1434.87/1439.08 c #Conflicts: 917000 | #Constraints: 77307
1434.87/1439.08 c #Conflicts: 918000 | #Constraints: 78308
1434.87/1439.08 c #Conflicts: 919000 | #Constraints: 79308
1434.87/1439.08 c #Conflicts: 920000 | #Constraints: 80308
1434.87/1439.08 c #Conflicts: 921000 | #Constraints: 81308
1434.87/1439.08 c #Conflicts: 922000 | #Constraints: 82308
1434.87/1439.08 c INPROCESSING
1434.87/1439.08 c GARBAGE COLLECT
1434.87/1439.08 c rational objective 7
1474.36/1478.60 c #Conflicts: 923000 | #Constraints: 64292
1474.36/1478.60 c #Conflicts: 924000 | #Constraints: 65293
1474.36/1478.60 c #Conflicts: 925000 | #Constraints: 66293
1474.36/1478.60 c #Conflicts: 926000 | #Constraints: 67293
1474.36/1478.60 c #Conflicts: 927000 | #Constraints: 68293
1474.36/1478.60 c #Conflicts: 928000 | #Constraints: 69294
1474.36/1478.60 c #Conflicts: 929000 | #Constraints: 70294
1474.36/1478.60 c #Conflicts: 930000 | #Constraints: 71295
1474.36/1478.60 c #Conflicts: 931000 | #Constraints: 72295
1474.36/1478.60 c #Conflicts: 932000 | #Constraints: 73295
1474.36/1478.60 c #Conflicts: 933000 | #Constraints: 74295
1474.36/1478.60 c #Conflicts: 934000 | #Constraints: 75295
1474.36/1478.60 c #Conflicts: 935000 | #Constraints: 76295
1474.36/1478.60 c #Conflicts: 936000 | #Constraints: 77295
1474.36/1478.60 c #Conflicts: 937000 | #Constraints: 78296
1474.36/1478.60 c #Conflicts: 938000 | #Constraints: 79296
1474.36/1478.60 c #Conflicts: 939000 | #Constraints: 80297
1474.36/1478.60 c #Conflicts: 940000 | #Constraints: 81298
1474.36/1478.60 c #Conflicts: 941000 | #Constraints: 82299
1474.36/1478.60 c INPROCESSING
1474.36/1478.60 c GARBAGE COLLECT
1474.36/1478.60 c rational objective 7
1518.65/1523.03 c #Conflicts: 942000 | #Constraints: 64009
1518.65/1523.03 c #Conflicts: 943000 | #Constraints: 65009
1518.65/1523.03 c #Conflicts: 944000 | #Constraints: 66009
1518.65/1523.03 c #Conflicts: 945000 | #Constraints: 67009
1518.65/1523.03 c #Conflicts: 946000 | #Constraints: 68014
1518.65/1523.03 c #Conflicts: 947000 | #Constraints: 69016
1518.65/1523.03 c #Conflicts: 948000 | #Constraints: 70017
1518.65/1523.03 c #Conflicts: 949000 | #Constraints: 71017
1518.65/1523.03 c #Conflicts: 950000 | #Constraints: 72018
1518.65/1523.03 c #Conflicts: 951000 | #Constraints: 73020
1518.65/1523.03 c #Conflicts: 952000 | #Constraints: 74021
1518.65/1523.03 c #Conflicts: 953000 | #Constraints: 75023
1518.65/1523.03 c #Conflicts: 954000 | #Constraints: 76023
1518.65/1523.03 c #Conflicts: 955000 | #Constraints: 77024
1518.65/1523.03 c #Conflicts: 956000 | #Constraints: 78025
1518.65/1523.03 c #Conflicts: 957000 | #Constraints: 79025
1518.65/1523.03 c #Conflicts: 958000 | #Constraints: 80026
1518.65/1523.03 c #Conflicts: 959000 | #Constraints: 81027
1518.65/1523.03 c #Conflicts: 960000 | #Constraints: 82027
1518.65/1523.03 c #Conflicts: 961000 | #Constraints: 83027
1518.65/1523.03 c INPROCESSING
1518.65/1523.03 c GARBAGE COLLECT
1518.65/1523.03 c rational objective 7
1567.71/1572.29 c #Conflicts: 962000 | #Constraints: 64602
1567.71/1572.29 c #Conflicts: 963000 | #Constraints: 65602
1567.71/1572.29 c #Conflicts: 964000 | #Constraints: 66602
1567.71/1572.29 c #Conflicts: 965000 | #Constraints: 67602
1567.71/1572.29 c #Conflicts: 966000 | #Constraints: 68604
1567.71/1572.29 c #Conflicts: 967000 | #Constraints: 69604
1567.71/1572.29 c #Conflicts: 968000 | #Constraints: 70606
1567.71/1572.29 c #Conflicts: 969000 | #Constraints: 71607
1567.71/1572.29 c #Conflicts: 970000 | #Constraints: 72608
1567.71/1572.29 c #Conflicts: 971000 | #Constraints: 73609
1567.71/1572.29 c #Conflicts: 972000 | #Constraints: 74610
1567.71/1572.29 c #Conflicts: 973000 | #Constraints: 75611
1567.71/1572.29 c #Conflicts: 974000 | #Constraints: 76615
1567.71/1572.29 c #Conflicts: 975000 | #Constraints: 77620
1567.71/1572.29 c #Conflicts: 976000 | #Constraints: 78626
1567.71/1572.29 c #Conflicts: 977000 | #Constraints: 79630
1567.71/1572.29 c #Conflicts: 978000 | #Constraints: 80631
1567.71/1572.29 c #Conflicts: 979000 | #Constraints: 81632
1567.71/1572.29 c #Conflicts: 980000 | #Constraints: 82634
1567.71/1572.29 c #Conflicts: 981000 | #Constraints: 83635
1567.71/1572.29 c INPROCESSING
1567.71/1572.29 c GARBAGE COLLECT
1567.71/1572.29 c rational objective 7
1627.65/1632.38 c #Conflicts: 982000 | #Constraints: 65020
1627.65/1632.38 c #Conflicts: 983000 | #Constraints: 66020
1627.65/1632.38 c #Conflicts: 984000 | #Constraints: 67021
1627.65/1632.38 c #Conflicts: 985000 | #Constraints: 68024
1627.65/1632.38 c #Conflicts: 986000 | #Constraints: 69027
1627.65/1632.38 c #Conflicts: 987000 | #Constraints: 70029
1627.65/1632.38 c #Conflicts: 988000 | #Constraints: 71030
1627.65/1632.38 c #Conflicts: 989000 | #Constraints: 72030
1627.65/1632.38 c #Conflicts: 990000 | #Constraints: 73031
1627.65/1632.38 c #Conflicts: 991000 | #Constraints: 74032
1627.65/1632.38 c #Conflicts: 992000 | #Constraints: 75032
1627.65/1632.38 c #Conflicts: 993000 | #Constraints: 76032
1627.65/1632.38 c #Conflicts: 994000 | #Constraints: 77032
1627.65/1632.38 c #Conflicts: 995000 | #Constraints: 78033
1627.65/1632.38 c #Conflicts: 996000 | #Constraints: 79033
1627.65/1632.38 c #Conflicts: 997000 | #Constraints: 80033
1627.65/1632.38 c #Conflicts: 998000 | #Constraints: 81034
1627.65/1632.38 c #Conflicts: 999000 | #Constraints: 82034
1627.65/1632.38 c #Conflicts: 1000000 | #Constraints: 83035
1627.65/1632.38 c #Conflicts: 1001000 | #Constraints: 84035
1627.65/1632.38 c INPROCESSING
1627.65/1632.38 c GARBAGE COLLECT
1627.65/1632.38 c rational objective 7
1679.90/1684.78 c #Conflicts: 1002000 | #Constraints: 65202
1679.90/1684.78 c #Conflicts: 1003000 | #Constraints: 66203
1679.90/1684.78 c #Conflicts: 1004000 | #Constraints: 67203
1679.90/1684.78 c #Conflicts: 1005000 | #Constraints: 68203
1679.90/1684.78 c #Conflicts: 1006000 | #Constraints: 69203
1679.90/1684.78 c #Conflicts: 1007000 | #Constraints: 70204
1679.90/1684.78 c #Conflicts: 1008000 | #Constraints: 71205
1679.90/1684.78 c #Conflicts: 1009000 | #Constraints: 72206
1679.90/1684.78 c #Conflicts: 1010000 | #Constraints: 73206
1679.90/1684.78 c #Conflicts: 1011000 | #Constraints: 74207
1679.90/1684.78 c #Conflicts: 1012000 | #Constraints: 75208
1679.90/1684.78 c #Conflicts: 1013000 | #Constraints: 76208
1679.90/1684.78 c #Conflicts: 1014000 | #Constraints: 77209
1679.90/1684.78 c #Conflicts: 1015000 | #Constraints: 78210
1679.90/1684.78 c #Conflicts: 1016000 | #Constraints: 79211
1679.90/1684.78 c #Conflicts: 1017000 | #Constraints: 80212
1679.90/1684.78 c #Conflicts: 1018000 | #Constraints: 81214
1679.90/1684.78 c #Conflicts: 1019000 | #Constraints: 82215
1679.90/1684.78 c #Conflicts: 1020000 | #Constraints: 83217
1679.90/1684.78 c #Conflicts: 1021000 | #Constraints: 84218
1679.90/1684.78 c INPROCESSING
1679.90/1684.78 c GARBAGE COLLECT
1679.90/1684.78 c rational objective 7
1720.59/1725.52 c #Conflicts: 1022000 | #Constraints: 65264
1720.59/1725.52 c #Conflicts: 1023000 | #Constraints: 66264
1720.59/1725.52 c #Conflicts: 1024000 | #Constraints: 67264
1720.59/1725.52 c #Conflicts: 1025000 | #Constraints: 68264
1720.59/1725.52 c #Conflicts: 1026000 | #Constraints: 69264
1720.59/1725.52 c #Conflicts: 1027000 | #Constraints: 70267
1720.59/1725.52 c #Conflicts: 1028000 | #Constraints: 71269
1720.59/1725.52 c #Conflicts: 1029000 | #Constraints: 72273
1720.59/1725.52 c #Conflicts: 1030000 | #Constraints: 73274
1720.59/1725.52 c #Conflicts: 1031000 | #Constraints: 74276
1720.59/1725.52 c #Conflicts: 1032000 | #Constraints: 75279
1720.59/1725.52 c #Conflicts: 1033000 | #Constraints: 76279
1720.59/1725.52 c #Conflicts: 1034000 | #Constraints: 77279
1720.59/1725.52 c #Conflicts: 1035000 | #Constraints: 78279
1720.59/1725.52 c #Conflicts: 1036000 | #Constraints: 79280
1720.59/1725.52 c #Conflicts: 1037000 | #Constraints: 80280
1720.59/1725.52 c #Conflicts: 1038000 | #Constraints: 81280
1720.59/1725.52 c #Conflicts: 1039000 | #Constraints: 82282
1720.59/1725.52 c #Conflicts: 1040000 | #Constraints: 83282
1720.59/1725.52 c #Conflicts: 1041000 | #Constraints: 84282
1720.59/1725.52 c INPROCESSING
1720.59/1725.52 c GARBAGE COLLECT
1720.59/1725.52 c rational objective 7
1771.34/1776.43 c #Conflicts: 1042000 | #Constraints: 65013
1771.34/1776.43 c #Conflicts: 1043000 | #Constraints: 66014
1771.34/1776.43 c #Conflicts: 1044000 | #Constraints: 67014
1771.34/1776.43 c #Conflicts: 1045000 | #Constraints: 68014
1771.34/1776.43 c #Conflicts: 1046000 | #Constraints: 69015
1771.34/1776.43 c #Conflicts: 1047000 | #Constraints: 70016
1771.34/1776.43 c #Conflicts: 1048000 | #Constraints: 71017
1771.34/1776.43 c #Conflicts: 1049000 | #Constraints: 72019
1771.34/1776.43 c #Conflicts: 1050000 | #Constraints: 73021
1771.34/1776.43 c #Conflicts: 1051000 | #Constraints: 74021
1771.34/1776.43 c #Conflicts: 1052000 | #Constraints: 75022
1771.34/1776.43 c #Conflicts: 1053000 | #Constraints: 76022
1771.34/1776.43 c #Conflicts: 1054000 | #Constraints: 77023
1771.34/1776.43 c #Conflicts: 1055000 | #Constraints: 78023
1771.34/1776.43 c #Conflicts: 1056000 | #Constraints: 79023
1771.34/1776.43 c #Conflicts: 1057000 | #Constraints: 80024
1771.34/1776.43 c #Conflicts: 1058000 | #Constraints: 81024
1771.34/1776.43 c #Conflicts: 1059000 | #Constraints: 82025
1771.34/1776.43 c #Conflicts: 1060000 | #Constraints: 83025
1771.34/1776.43 c #Conflicts: 1061000 | #Constraints: 84025
1771.34/1776.43 c #Conflicts: 1062000 | #Constraints: 85026
1771.34/1776.43 c INPROCESSING
1771.34/1776.43 c GARBAGE COLLECT
1771.34/1776.43 c rational objective 7
1826.09/1831.33 c #Conflicts: 1063000 | #Constraints: 65591
1826.09/1831.33 c #Conflicts: 1064000 | #Constraints: 66592
1826.09/1831.33 c #Conflicts: 1065000 | #Constraints: 67592
1826.09/1831.33 c #Conflicts: 1066000 | #Constraints: 68592
1826.09/1831.33 c #Conflicts: 1067000 | #Constraints: 69592
1826.09/1831.33 c #Conflicts: 1068000 | #Constraints: 70592
1826.09/1831.33 c #Conflicts: 1069000 | #Constraints: 71593
1826.09/1831.33 c #Conflicts: 1070000 | #Constraints: 72594
1826.09/1831.33 c #Conflicts: 1071000 | #Constraints: 73595
1826.09/1831.33 c #Conflicts: 1072000 | #Constraints: 74595
1826.09/1831.33 c #Conflicts: 1073000 | #Constraints: 75595
1826.09/1831.33 c #Conflicts: 1074000 | #Constraints: 76597
1826.09/1831.33 c #Conflicts: 1075000 | #Constraints: 77597
1826.09/1831.33 c #Conflicts: 1076000 | #Constraints: 78597
1826.09/1831.33 c #Conflicts: 1077000 | #Constraints: 79598
1826.09/1831.33 c #Conflicts: 1078000 | #Constraints: 80598
1826.09/1831.33 c #Conflicts: 1079000 | #Constraints: 81598
1826.09/1831.33 c #Conflicts: 1080000 | #Constraints: 82600
1826.09/1831.33 c #Conflicts: 1081000 | #Constraints: 83601
1826.09/1831.33 c #Conflicts: 1082000 | #Constraints: 84603
1826.09/1831.33 c #Conflicts: 1083000 | #Constraints: 85605
1826.09/1831.33 c INPROCESSING
1826.09/1831.33 c GARBAGE COLLECT
1826.09/1831.33 c rational objective 7
1871.18/1876.55 c #Conflicts: 1084000 | #Constraints: 65939
1871.18/1876.55 c #Conflicts: 1085000 | #Constraints: 66939
1871.18/1876.55 c #Conflicts: 1086000 | #Constraints: 67939
1871.18/1876.55 c #Conflicts: 1087000 | #Constraints: 68939
1871.18/1876.55 c #Conflicts: 1088000 | #Constraints: 69939
1871.18/1876.55 c #Conflicts: 1089000 | #Constraints: 70940
1871.18/1876.55 c #Conflicts: 1090000 | #Constraints: 71941
1871.18/1876.55 c #Conflicts: 1091000 | #Constraints: 72942
1871.18/1876.55 c #Conflicts: 1092000 | #Constraints: 73943
1871.18/1876.55 c #Conflicts: 1093000 | #Constraints: 74944
1871.18/1876.55 c #Conflicts: 1094000 | #Constraints: 75944
1871.18/1876.55 c #Conflicts: 1095000 | #Constraints: 76946
1871.18/1876.55 c #Conflicts: 1096000 | #Constraints: 77948
1871.18/1876.55 c #Conflicts: 1097000 | #Constraints: 78950
1871.18/1876.55 c #Conflicts: 1098000 | #Constraints: 79951
1871.18/1876.55 c #Conflicts: 1099000 | #Constraints: 80952
1871.18/1876.55 c #Conflicts: 1100000 | #Constraints: 81953
1871.18/1876.55 c #Conflicts: 1101000 | #Constraints: 82954
1871.18/1876.55 c #Conflicts: 1102000 | #Constraints: 83954
1871.18/1876.55 c #Conflicts: 1103000 | #Constraints: 84955
1871.18/1876.55 c #Conflicts: 1104000 | #Constraints: 85956
1871.18/1876.55 c INPROCESSING
1871.18/1876.55 c GARBAGE COLLECT
1871.18/1876.55 c rational objective 7
1932.91/1938.49 c #Conflicts: 1105000 | #Constraints: 66155
1932.91/1938.49 c #Conflicts: 1106000 | #Constraints: 67155
1932.91/1938.49 c #Conflicts: 1107000 | #Constraints: 68155
1932.91/1938.49 c #Conflicts: 1108000 | #Constraints: 69155
1932.91/1938.49 c #Conflicts: 1109000 | #Constraints: 70155
1932.91/1938.49 c #Conflicts: 1110000 | #Constraints: 71157
1932.91/1938.49 c #Conflicts: 1111000 | #Constraints: 72158
1932.91/1938.49 c #Conflicts: 1112000 | #Constraints: 73159
1932.91/1938.49 c #Conflicts: 1113000 | #Constraints: 74162
1932.91/1938.49 c #Conflicts: 1114000 | #Constraints: 75163
1932.91/1938.49 c #Conflicts: 1115000 | #Constraints: 76164
1932.91/1938.49 c #Conflicts: 1116000 | #Constraints: 77165
1932.91/1938.49 c #Conflicts: 1117000 | #Constraints: 78166
1932.91/1938.49 c #Conflicts: 1118000 | #Constraints: 79166
1932.91/1938.49 c #Conflicts: 1119000 | #Constraints: 80166
1932.91/1938.49 c #Conflicts: 1120000 | #Constraints: 81168
1932.91/1938.49 c #Conflicts: 1121000 | #Constraints: 82168
1932.91/1938.49 c #Conflicts: 1122000 | #Constraints: 83169
1932.91/1938.49 c #Conflicts: 1123000 | #Constraints: 84169
1932.91/1938.49 c #Conflicts: 1124000 | #Constraints: 85169
1932.91/1938.49 c #Conflicts: 1125000 | #Constraints: 86170
1932.91/1938.49 c INPROCESSING
1932.91/1938.49 c GARBAGE COLLECT
1932.91/1938.49 c rational objective 7
1969.71/1975.31 c #Conflicts: 1126000 | #Constraints: 66154
1969.71/1975.31 c #Conflicts: 1127000 | #Constraints: 67154
1969.71/1975.31 c #Conflicts: 1128000 | #Constraints: 68154
1969.71/1975.31 c #Conflicts: 1129000 | #Constraints: 69154
1969.71/1975.31 c #Conflicts: 1130000 | #Constraints: 70154
1969.71/1975.31 c #Conflicts: 1131000 | #Constraints: 71155
1969.71/1975.31 c #Conflicts: 1132000 | #Constraints: 72156
1969.71/1975.31 c #Conflicts: 1133000 | #Constraints: 73157
1969.71/1975.31 c #Conflicts: 1134000 | #Constraints: 74160
1969.71/1975.31 c #Conflicts: 1135000 | #Constraints: 75162
1969.71/1975.31 c #Conflicts: 1136000 | #Constraints: 76163
1969.71/1975.31 c #Conflicts: 1137000 | #Constraints: 77165
1969.71/1975.31 c #Conflicts: 1138000 | #Constraints: 78171
1969.71/1975.31 c #Conflicts: 1139000 | #Constraints: 79171
1969.71/1975.31 c #Conflicts: 1140000 | #Constraints: 80171
1969.71/1975.31 c #Conflicts: 1141000 | #Constraints: 81172
1969.71/1975.31 c #Conflicts: 1142000 | #Constraints: 82173
1969.71/1975.31 c #Conflicts: 1143000 | #Constraints: 83174
1969.71/1975.31 c #Conflicts: 1144000 | #Constraints: 84175
1969.71/1975.31 c #Conflicts: 1145000 | #Constraints: 85177
1969.71/1975.31 c #Conflicts: 1146000 | #Constraints: 86178
1969.71/1975.31 c INPROCESSING
1969.71/1975.31 c GARBAGE COLLECT
1969.71/1975.31 c rational objective 7
2015.78/2021.55 c #Conflicts: 1147000 | #Constraints: 65940
2015.78/2021.55 c #Conflicts: 1148000 | #Constraints: 66942
2015.78/2021.55 c #Conflicts: 1149000 | #Constraints: 67942
2015.78/2021.55 c #Conflicts: 1150000 | #Constraints: 68943
2015.78/2021.55 c #Conflicts: 1151000 | #Constraints: 69944
2015.78/2021.55 c #Conflicts: 1152000 | #Constraints: 70945
2015.78/2021.55 c #Conflicts: 1153000 | #Constraints: 71947
2015.78/2021.55 c #Conflicts: 1154000 | #Constraints: 72949
2015.78/2021.55 c #Conflicts: 1155000 | #Constraints: 73950
2015.78/2021.55 c #Conflicts: 1156000 | #Constraints: 74952
2015.78/2021.55 c #Conflicts: 1157000 | #Constraints: 75952
2015.78/2021.55 c #Conflicts: 1158000 | #Constraints: 76953
2015.78/2021.55 c #Conflicts: 1159000 | #Constraints: 77953
2015.78/2021.55 c #Conflicts: 1160000 | #Constraints: 78954
2015.78/2021.55 c #Conflicts: 1161000 | #Constraints: 79955
2015.78/2021.55 c #Conflicts: 1162000 | #Constraints: 80956
2015.78/2021.55 c #Conflicts: 1163000 | #Constraints: 81956
2015.78/2021.55 c #Conflicts: 1164000 | #Constraints: 82956
2015.78/2021.55 c #Conflicts: 1165000 | #Constraints: 83957
2015.78/2021.55 c #Conflicts: 1166000 | #Constraints: 84957
2015.78/2021.55 c #Conflicts: 1167000 | #Constraints: 85958
2015.78/2021.55 c #Conflicts: 1168000 | #Constraints: 86960
2015.78/2021.55 c INPROCESSING
2015.78/2021.55 c GARBAGE COLLECT
2015.78/2021.55 c rational objective 7
2063.75/2069.65 c #Conflicts: 1169000 | #Constraints: 66536
2063.75/2069.65 c #Conflicts: 1170000 | #Constraints: 67536
2063.75/2069.65 c #Conflicts: 1171000 | #Constraints: 68536
2063.75/2069.65 c #Conflicts: 1172000 | #Constraints: 69536
2063.75/2069.65 c #Conflicts: 1173000 | #Constraints: 70537
2063.75/2069.65 c #Conflicts: 1174000 | #Constraints: 71538
2063.75/2069.65 c #Conflicts: 1175000 | #Constraints: 72539
2063.75/2069.65 c #Conflicts: 1176000 | #Constraints: 73542
2063.75/2069.65 c #Conflicts: 1177000 | #Constraints: 74546
2063.75/2069.65 c #Conflicts: 1178000 | #Constraints: 75549
2063.75/2069.65 c #Conflicts: 1179000 | #Constraints: 76551
2063.75/2069.65 c #Conflicts: 1180000 | #Constraints: 77553
2063.75/2069.65 c #Conflicts: 1181000 | #Constraints: 78554
2063.75/2069.65 c #Conflicts: 1182000 | #Constraints: 79554
2063.75/2069.65 c #Conflicts: 1183000 | #Constraints: 80555
2063.75/2069.65 c #Conflicts: 1184000 | #Constraints: 81556
2063.75/2069.65 c #Conflicts: 1185000 | #Constraints: 82557
2063.75/2069.65 c #Conflicts: 1186000 | #Constraints: 83558
2063.75/2069.65 c #Conflicts: 1187000 | #Constraints: 84558
2063.75/2069.65 c #Conflicts: 1188000 | #Constraints: 85559
2063.75/2069.65 c #Conflicts: 1189000 | #Constraints: 86560
2063.75/2069.65 c #Conflicts: 1190000 | #Constraints: 87560
2063.75/2069.65 c INPROCESSING
2063.75/2069.65 c GARBAGE COLLECT
2063.75/2069.65 c rational objective 7
2104.04/2110.06 c #Conflicts: 1191000 | #Constraints: 66930
2104.04/2110.06 c #Conflicts: 1192000 | #Constraints: 67930
2104.04/2110.06 c #Conflicts: 1193000 | #Constraints: 68930
2104.04/2110.06 c #Conflicts: 1194000 | #Constraints: 69931
2104.04/2110.06 c #Conflicts: 1195000 | #Constraints: 70931
2104.04/2110.06 c #Conflicts: 1196000 | #Constraints: 71932
2104.04/2110.06 c #Conflicts: 1197000 | #Constraints: 72933
2104.04/2110.06 c #Conflicts: 1198000 | #Constraints: 73937
2104.04/2110.06 c #Conflicts: 1199000 | #Constraints: 74938
2104.04/2110.06 c #Conflicts: 1200000 | #Constraints: 75939
2104.04/2110.06 c #Conflicts: 1201000 | #Constraints: 76939
2104.04/2110.06 c #Conflicts: 1202000 | #Constraints: 77940
2104.04/2110.06 c #Conflicts: 1203000 | #Constraints: 78942
2104.04/2110.06 c #Conflicts: 1204000 | #Constraints: 79943
2104.04/2110.06 c #Conflicts: 1205000 | #Constraints: 80943
2104.04/2110.06 c #Conflicts: 1206000 | #Constraints: 81944
2104.04/2110.06 c #Conflicts: 1207000 | #Constraints: 82946
2104.04/2110.06 c #Conflicts: 1208000 | #Constraints: 83947
2104.04/2110.06 c #Conflicts: 1209000 | #Constraints: 84947
2104.04/2110.06 c #Conflicts: 1210000 | #Constraints: 85949
2104.04/2110.06 c #Conflicts: 1211000 | #Constraints: 86949
2104.04/2110.06 c #Conflicts: 1212000 | #Constraints: 87950
2104.04/2110.06 c INPROCESSING
2104.04/2110.06 c GARBAGE COLLECT
2104.04/2110.06 c rational objective 7
2151.80/2157.96 c #Conflicts: 1213000 | #Constraints: 67034
2151.80/2157.96 c #Conflicts: 1214000 | #Constraints: 68034
2151.80/2157.96 c #Conflicts: 1215000 | #Constraints: 69034
2151.80/2157.96 c #Conflicts: 1216000 | #Constraints: 70034
2151.80/2157.96 c #Conflicts: 1217000 | #Constraints: 71034
2151.80/2157.96 c #Conflicts: 1218000 | #Constraints: 72035
2151.80/2157.96 c #Conflicts: 1219000 | #Constraints: 73036
2151.80/2157.96 c #Conflicts: 1220000 | #Constraints: 74039
2151.80/2157.96 c #Conflicts: 1221000 | #Constraints: 75041
2151.80/2157.96 c #Conflicts: 1222000 | #Constraints: 76041
2151.80/2157.96 c #Conflicts: 1223000 | #Constraints: 77041
2151.80/2157.96 c #Conflicts: 1224000 | #Constraints: 78041
2151.80/2157.96 c #Conflicts: 1225000 | #Constraints: 79042
2151.80/2157.96 c #Conflicts: 1226000 | #Constraints: 80042
2151.80/2157.96 c #Conflicts: 1227000 | #Constraints: 81042
2151.80/2157.96 c #Conflicts: 1228000 | #Constraints: 82042
2151.80/2157.96 c #Conflicts: 1229000 | #Constraints: 83043
2151.80/2157.96 c #Conflicts: 1230000 | #Constraints: 84043
2151.80/2157.96 c #Conflicts: 1231000 | #Constraints: 85044
2151.80/2157.96 c #Conflicts: 1232000 | #Constraints: 86044
2151.80/2157.96 c #Conflicts: 1233000 | #Constraints: 87046
2151.80/2157.96 c #Conflicts: 1234000 | #Constraints: 88047
2151.80/2157.96 c INPROCESSING
2151.80/2157.96 c GARBAGE COLLECT
2151.80/2157.96 c rational objective 7
2192.30/2198.56 c #Conflicts: 1235000 | #Constraints: 67018
2192.30/2198.56 c #Conflicts: 1236000 | #Constraints: 68018
2192.30/2198.56 c #Conflicts: 1237000 | #Constraints: 69018
2192.30/2198.56 c #Conflicts: 1238000 | #Constraints: 70018
2192.30/2198.56 c #Conflicts: 1239000 | #Constraints: 71018
2192.30/2198.56 c #Conflicts: 1240000 | #Constraints: 72018
2192.30/2198.56 c #Conflicts: 1241000 | #Constraints: 73024
2192.30/2198.56 c #Conflicts: 1242000 | #Constraints: 74027
2192.30/2198.56 c #Conflicts: 1243000 | #Constraints: 75030
2192.30/2198.56 c #Conflicts: 1244000 | #Constraints: 76036
2192.30/2198.56 c #Conflicts: 1245000 | #Constraints: 77043
2192.30/2198.56 c #Conflicts: 1246000 | #Constraints: 78044
2192.30/2198.56 c #Conflicts: 1247000 | #Constraints: 79044
2192.30/2198.56 c #Conflicts: 1248000 | #Constraints: 80044
2192.30/2198.56 c #Conflicts: 1249000 | #Constraints: 81044
2192.30/2198.56 c #Conflicts: 1250000 | #Constraints: 82045
2192.30/2198.56 c #Conflicts: 1251000 | #Constraints: 83046
2192.30/2198.56 c #Conflicts: 1252000 | #Constraints: 84046
2192.30/2198.56 c #Conflicts: 1253000 | #Constraints: 85047
2192.30/2198.56 c #Conflicts: 1254000 | #Constraints: 86048
2192.30/2198.56 c #Conflicts: 1255000 | #Constraints: 87049
2192.30/2198.56 c #Conflicts: 1256000 | #Constraints: 88050
2192.30/2198.56 c INPROCESSING
2192.30/2198.56 c GARBAGE COLLECT
2192.30/2198.56 c rational objective 7
2238.47/2244.84 c #Conflicts: 1257000 | #Constraints: 66833
2238.47/2244.84 c #Conflicts: 1258000 | #Constraints: 67834
2238.47/2244.84 c #Conflicts: 1259000 | #Constraints: 68834
2238.47/2244.84 c #Conflicts: 1260000 | #Constraints: 69834
2238.47/2244.84 c #Conflicts: 1261000 | #Constraints: 70834
2238.47/2244.84 c #Conflicts: 1262000 | #Constraints: 71834
2238.47/2244.84 c #Conflicts: 1263000 | #Constraints: 72834
2238.47/2244.84 c #Conflicts: 1264000 | #Constraints: 73837
2238.47/2244.84 c #Conflicts: 1265000 | #Constraints: 74838
2238.47/2244.84 c #Conflicts: 1266000 | #Constraints: 75839
2238.47/2244.84 c #Conflicts: 1267000 | #Constraints: 76842
2238.47/2244.84 c #Conflicts: 1268000 | #Constraints: 77843
2238.47/2244.84 c #Conflicts: 1269000 | #Constraints: 78844
2238.47/2244.84 c #Conflicts: 1270000 | #Constraints: 79844
2238.47/2244.84 c #Conflicts: 1271000 | #Constraints: 80844
2238.47/2244.84 c #Conflicts: 1272000 | #Constraints: 81845
2238.47/2244.84 c #Conflicts: 1273000 | #Constraints: 82846
2238.47/2244.84 c #Conflicts: 1274000 | #Constraints: 83847
2238.47/2244.84 c #Conflicts: 1275000 | #Constraints: 84848
2238.47/2244.84 c #Conflicts: 1276000 | #Constraints: 85848
2238.47/2244.85 c #Conflicts: 1277000 | #Constraints: 86848
2238.47/2244.85 c #Conflicts: 1278000 | #Constraints: 87848
2238.47/2244.85 c #Conflicts: 1279000 | #Constraints: 88848
2238.47/2244.85 c INPROCESSING
2238.47/2244.85 c GARBAGE COLLECT
2238.47/2244.85 c rational objective 7
2287.94/2294.47 c #Conflicts: 1280000 | #Constraints: 67411
2287.94/2294.47 c #Conflicts: 1281000 | #Constraints: 68411
2287.94/2294.47 c #Conflicts: 1282000 | #Constraints: 69411
2287.94/2294.47 c #Conflicts: 1283000 | #Constraints: 70413
2287.94/2294.47 c #Conflicts: 1284000 | #Constraints: 71415
2287.94/2294.47 c #Conflicts: 1285000 | #Constraints: 72415
2287.94/2294.47 c #Conflicts: 1286000 | #Constraints: 73417
2287.94/2294.47 c #Conflicts: 1287000 | #Constraints: 74419
2287.94/2294.47 c #Conflicts: 1288000 | #Constraints: 75420
2287.94/2294.47 c #Conflicts: 1289000 | #Constraints: 76421
2287.94/2294.47 c #Conflicts: 1290000 | #Constraints: 77424
2287.94/2294.47 c #Conflicts: 1291000 | #Constraints: 78425
2287.94/2294.47 c #Conflicts: 1292000 | #Constraints: 79426
2287.94/2294.47 c #Conflicts: 1293000 | #Constraints: 80428
2287.94/2294.47 c #Conflicts: 1294000 | #Constraints: 81429
2287.94/2294.47 c #Conflicts: 1295000 | #Constraints: 82429
2287.94/2294.47 c #Conflicts: 1296000 | #Constraints: 83430
2287.94/2294.47 c #Conflicts: 1297000 | #Constraints: 84430
2287.94/2294.47 c #Conflicts: 1298000 | #Constraints: 85431
2287.94/2294.47 c #Conflicts: 1299000 | #Constraints: 86431
2287.94/2294.47 c #Conflicts: 1300000 | #Constraints: 87432
2287.94/2294.47 c #Conflicts: 1301000 | #Constraints: 88432
2287.94/2294.47 c #Conflicts: 1302000 | #Constraints: 89432
2287.94/2294.47 c INPROCESSING
2287.94/2294.47 c GARBAGE COLLECT
2287.94/2294.47 c rational objective 7
2334.92/2341.50 c #Conflicts: 1303000 | #Constraints: 67852
2334.92/2341.50 c #Conflicts: 1304000 | #Constraints: 68852
2334.92/2341.50 c #Conflicts: 1305000 | #Constraints: 69852
2334.92/2341.50 c #Conflicts: 1306000 | #Constraints: 70853
2334.92/2341.50 c #Conflicts: 1307000 | #Constraints: 71855
2334.92/2341.50 c #Conflicts: 1308000 | #Constraints: 72858
2334.92/2341.50 c #Conflicts: 1309000 | #Constraints: 73858
2334.92/2341.50 c #Conflicts: 1310000 | #Constraints: 74860
2334.92/2341.50 c #Conflicts: 1311000 | #Constraints: 75861
2334.92/2341.50 c #Conflicts: 1312000 | #Constraints: 76861
2334.92/2341.50 c #Conflicts: 1313000 | #Constraints: 77861
2334.92/2341.50 c #Conflicts: 1314000 | #Constraints: 78862
2334.92/2341.50 c #Conflicts: 1315000 | #Constraints: 79863
2334.92/2341.50 c #Conflicts: 1316000 | #Constraints: 80863
2334.92/2341.50 c #Conflicts: 1317000 | #Constraints: 81864
2334.92/2341.50 c #Conflicts: 1318000 | #Constraints: 82865
2334.92/2341.50 c #Conflicts: 1319000 | #Constraints: 83866
2334.92/2341.50 c #Conflicts: 1320000 | #Constraints: 84868
2334.92/2341.50 c #Conflicts: 1321000 | #Constraints: 85868
2334.92/2341.50 c #Conflicts: 1322000 | #Constraints: 86871
2334.92/2341.50 c #Conflicts: 1323000 | #Constraints: 87872
2334.92/2341.50 c #Conflicts: 1324000 | #Constraints: 88873
2334.92/2341.50 c #Conflicts: 1325000 | #Constraints: 89874
2334.92/2341.50 c INPROCESSING
2334.92/2341.50 c GARBAGE COLLECT
2334.92/2341.50 c rational objective 7
2387.78/2394.50 c #Conflicts: 1326000 | #Constraints: 68035
2387.78/2394.50 c #Conflicts: 1327000 | #Constraints: 69036
2387.78/2394.50 c #Conflicts: 1328000 | #Constraints: 70036
2387.78/2394.50 c #Conflicts: 1329000 | #Constraints: 71036
2387.78/2394.50 c #Conflicts: 1330000 | #Constraints: 72036
2387.78/2394.50 c #Conflicts: 1331000 | #Constraints: 73036
2387.78/2394.50 c #Conflicts: 1332000 | #Constraints: 74037
2387.78/2394.50 c #Conflicts: 1333000 | #Constraints: 75039
2387.78/2394.50 c #Conflicts: 1334000 | #Constraints: 76040
2387.78/2394.50 c #Conflicts: 1335000 | #Constraints: 77042
2387.78/2394.50 c #Conflicts: 1336000 | #Constraints: 78044
2387.78/2394.50 c #Conflicts: 1337000 | #Constraints: 79045
2387.78/2394.50 c #Conflicts: 1338000 | #Constraints: 80046
2387.78/2394.50 c #Conflicts: 1339000 | #Constraints: 81047
2387.78/2394.50 c #Conflicts: 1340000 | #Constraints: 82048
2387.78/2394.50 c #Conflicts: 1341000 | #Constraints: 83048
2387.78/2394.50 c #Conflicts: 1342000 | #Constraints: 84049
2387.78/2394.50 c #Conflicts: 1343000 | #Constraints: 85049
2387.78/2394.50 c #Conflicts: 1344000 | #Constraints: 86049
2387.78/2394.50 c #Conflicts: 1345000 | #Constraints: 87050
2387.78/2394.50 c #Conflicts: 1346000 | #Constraints: 88051
2387.78/2394.50 c #Conflicts: 1347000 | #Constraints: 89051
2387.78/2394.50 c #Conflicts: 1348000 | #Constraints: 90051
2387.78/2394.50 c INPROCESSING
2387.78/2394.50 c GARBAGE COLLECT
2387.78/2394.50 c rational objective 7
2454.79/2461.77 c #Conflicts: 1349000 | #Constraints: 68044
2454.79/2461.77 c #Conflicts: 1350000 | #Constraints: 69044
2454.79/2461.77 c #Conflicts: 1351000 | #Constraints: 70044
2454.79/2461.77 c #Conflicts: 1352000 | #Constraints: 71044
2454.79/2461.77 c #Conflicts: 1353000 | #Constraints: 72044
2454.79/2461.77 c #Conflicts: 1354000 | #Constraints: 73046
2454.79/2461.77 c #Conflicts: 1355000 | #Constraints: 74047
2454.79/2461.77 c #Conflicts: 1356000 | #Constraints: 75047
2454.79/2461.77 c #Conflicts: 1357000 | #Constraints: 76048
2454.79/2461.77 c #Conflicts: 1358000 | #Constraints: 77048
2454.79/2461.77 c #Conflicts: 1359000 | #Constraints: 78050
2454.79/2461.77 c #Conflicts: 1360000 | #Constraints: 79051
2454.79/2461.77 c #Conflicts: 1361000 | #Constraints: 80052
2454.79/2461.77 c #Conflicts: 1362000 | #Constraints: 81054
2454.79/2461.77 c #Conflicts: 1363000 | #Constraints: 82054
2454.79/2461.77 c #Conflicts: 1364000 | #Constraints: 83056
2454.79/2461.77 c #Conflicts: 1365000 | #Constraints: 84056
2454.79/2461.77 c #Conflicts: 1366000 | #Constraints: 85056
2454.79/2461.77 c #Conflicts: 1367000 | #Constraints: 86057
2454.79/2461.77 c #Conflicts: 1368000 | #Constraints: 87058
2454.79/2461.77 c #Conflicts: 1369000 | #Constraints: 88059
2454.79/2461.77 c #Conflicts: 1370000 | #Constraints: 89060
2454.79/2461.77 c #Conflicts: 1371000 | #Constraints: 90061
2454.79/2461.77 c INPROCESSING
2454.79/2461.77 c GARBAGE COLLECT
2454.79/2461.77 c rational objective 7
2489.10/2496.11 c #Conflicts: 1372000 | #Constraints: 67825
2489.10/2496.11 c #Conflicts: 1373000 | #Constraints: 68825
2489.10/2496.11 c #Conflicts: 1374000 | #Constraints: 69826
2489.10/2496.11 c #Conflicts: 1375000 | #Constraints: 70826
2489.10/2496.11 c #Conflicts: 1376000 | #Constraints: 71826
2489.10/2496.11 c #Conflicts: 1377000 | #Constraints: 72826
2489.10/2496.11 c #Conflicts: 1378000 | #Constraints: 73827
2489.10/2496.11 c #Conflicts: 1379000 | #Constraints: 74828
2489.10/2496.11 c #Conflicts: 1380000 | #Constraints: 75829
2489.10/2496.11 c #Conflicts: 1381000 | #Constraints: 76829
2489.10/2496.11 c #Conflicts: 1382000 | #Constraints: 77831
2489.10/2496.11 c #Conflicts: 1383000 | #Constraints: 78833
2489.10/2496.11 c #Conflicts: 1384000 | #Constraints: 79836
2489.10/2496.11 c #Conflicts: 1385000 | #Constraints: 80837
2489.10/2496.11 c #Conflicts: 1386000 | #Constraints: 81837
2489.10/2496.11 c #Conflicts: 1387000 | #Constraints: 82840
2489.10/2496.11 c #Conflicts: 1388000 | #Constraints: 83843
2489.10/2496.11 c #Conflicts: 1389000 | #Constraints: 84845
2489.10/2496.11 c #Conflicts: 1390000 | #Constraints: 85845
2489.10/2496.11 c #Conflicts: 1391000 | #Constraints: 86846
2489.10/2496.11 c #Conflicts: 1392000 | #Constraints: 87849
2489.10/2496.11 c #Conflicts: 1393000 | #Constraints: 88851
2489.10/2496.11 c #Conflicts: 1394000 | #Constraints: 89853
2489.10/2496.11 c #Conflicts: 1395000 | #Constraints: 90856
2489.10/2496.11 c INPROCESSING
2489.10/2496.11 c GARBAGE COLLECT
2489.10/2496.11 c rational objective 7
2565.40/2572.67 c #Conflicts: 1396000 | #Constraints: 68414
2565.40/2572.67 c #Conflicts: 1397000 | #Constraints: 69414
2565.40/2572.67 c #Conflicts: 1398000 | #Constraints: 70414
2565.40/2572.67 c #Conflicts: 1399000 | #Constraints: 71415
2565.40/2572.67 c #Conflicts: 1400000 | #Constraints: 72416
2565.40/2572.67 c #Conflicts: 1401000 | #Constraints: 73417
2565.40/2572.67 c #Conflicts: 1402000 | #Constraints: 74418
2565.40/2572.67 c #Conflicts: 1403000 | #Constraints: 75420
2565.40/2572.67 c #Conflicts: 1404000 | #Constraints: 76421
2565.40/2572.67 c #Conflicts: 1405000 | #Constraints: 77421
2565.40/2572.67 c #Conflicts: 1406000 | #Constraints: 78421
2565.40/2572.67 c #Conflicts: 1407000 | #Constraints: 79423
2565.40/2572.67 c #Conflicts: 1408000 | #Constraints: 80425
2565.40/2572.67 c #Conflicts: 1409000 | #Constraints: 81426
2565.40/2572.67 c #Conflicts: 1410000 | #Constraints: 82427
2565.40/2572.67 c #Conflicts: 1411000 | #Constraints: 83428
2565.40/2572.67 c #Conflicts: 1412000 | #Constraints: 84429
2565.40/2572.67 c #Conflicts: 1413000 | #Constraints: 85430
2565.40/2572.67 c #Conflicts: 1414000 | #Constraints: 86430
2565.40/2572.67 c #Conflicts: 1415000 | #Constraints: 87431
2565.40/2572.67 c #Conflicts: 1416000 | #Constraints: 88432
2565.40/2572.67 c #Conflicts: 1417000 | #Constraints: 89432
2565.40/2572.67 c #Conflicts: 1418000 | #Constraints: 90433
2565.40/2572.67 c #Conflicts: 1419000 | #Constraints: 91433
2565.40/2572.67 c INPROCESSING
2565.40/2572.67 c GARBAGE COLLECT
2565.40/2572.67 c rational objective 7
2621.25/2628.60 c #Conflicts: 1420000 | #Constraints: 68790
2621.25/2628.60 c #Conflicts: 1421000 | #Constraints: 69790
2621.25/2628.60 c #Conflicts: 1422000 | #Constraints: 70790
2621.25/2628.60 c #Conflicts: 1423000 | #Constraints: 71790
2621.25/2628.60 c #Conflicts: 1424000 | #Constraints: 72790
2621.25/2628.60 c #Conflicts: 1425000 | #Constraints: 73790
2621.25/2628.60 c #Conflicts: 1426000 | #Constraints: 74793
2621.25/2628.60 c #Conflicts: 1427000 | #Constraints: 75794
2621.25/2628.60 c #Conflicts: 1428000 | #Constraints: 76794
2621.25/2628.60 c #Conflicts: 1429000 | #Constraints: 77795
2621.25/2628.60 c #Conflicts: 1430000 | #Constraints: 78795
2621.25/2628.60 c #Conflicts: 1431000 | #Constraints: 79797
2621.25/2628.60 c #Conflicts: 1432000 | #Constraints: 80799
2621.25/2628.60 c #Conflicts: 1433000 | #Constraints: 81801
2621.25/2628.60 c #Conflicts: 1434000 | #Constraints: 82803
2621.25/2628.60 c #Conflicts: 1435000 | #Constraints: 83803
2621.25/2628.60 c #Conflicts: 1436000 | #Constraints: 84803
2621.25/2628.60 c #Conflicts: 1437000 | #Constraints: 85804
2621.25/2628.60 c #Conflicts: 1438000 | #Constraints: 86805
2621.25/2628.60 c #Conflicts: 1439000 | #Constraints: 87805
2621.25/2628.60 c #Conflicts: 1440000 | #Constraints: 88805
2621.25/2628.60 c #Conflicts: 1441000 | #Constraints: 89806
2621.25/2628.60 c #Conflicts: 1442000 | #Constraints: 90808
2621.25/2628.60 c #Conflicts: 1443000 | #Constraints: 91809
2621.25/2628.60 c INPROCESSING
2621.25/2628.60 c GARBAGE COLLECT
2621.25/2628.60 c rational objective 7
2663.43/2670.98 c #Conflicts: 1444000 | #Constraints: 68898
2663.43/2670.98 c #Conflicts: 1445000 | #Constraints: 69898
2663.43/2670.98 c #Conflicts: 1446000 | #Constraints: 70898
2663.43/2670.98 c #Conflicts: 1447000 | #Constraints: 71898
2663.43/2670.98 c #Conflicts: 1448000 | #Constraints: 72898
2663.43/2670.98 c #Conflicts: 1449000 | #Constraints: 73898
2663.43/2670.98 c #Conflicts: 1450000 | #Constraints: 74898
2663.43/2670.98 c #Conflicts: 1451000 | #Constraints: 75901
2663.43/2670.98 c #Conflicts: 1452000 | #Constraints: 76906
2663.43/2670.98 c #Conflicts: 1453000 | #Constraints: 77910
2663.43/2670.98 c #Conflicts: 1454000 | #Constraints: 78914
2663.43/2670.98 c #Conflicts: 1455000 | #Constraints: 79917
2663.43/2670.98 c #Conflicts: 1456000 | #Constraints: 80921
2663.43/2670.98 c #Conflicts: 1457000 | #Constraints: 81924
2663.43/2670.98 c #Conflicts: 1458000 | #Constraints: 82925
2663.43/2670.98 c #Conflicts: 1459000 | #Constraints: 83927
2663.43/2670.98 c #Conflicts: 1460000 | #Constraints: 84928
2663.43/2670.98 c #Conflicts: 1461000 | #Constraints: 85929
2663.43/2670.98 c #Conflicts: 1462000 | #Constraints: 86930
2663.43/2670.98 c #Conflicts: 1463000 | #Constraints: 87931
2663.43/2670.98 c #Conflicts: 1464000 | #Constraints: 88932
2663.43/2670.98 c #Conflicts: 1465000 | #Constraints: 89933
2663.43/2670.98 c #Conflicts: 1466000 | #Constraints: 90934
2663.43/2670.98 c #Conflicts: 1467000 | #Constraints: 91937
2663.43/2670.98 c INPROCESSING
2663.43/2670.98 c GARBAGE COLLECT
2663.43/2670.98 c rational objective 7
2720.98/2728.62 c #Conflicts: 1468000 | #Constraints: 68919
2720.98/2728.62 c #Conflicts: 1469000 | #Constraints: 69919
2720.98/2728.62 c #Conflicts: 1470000 | #Constraints: 70919
2720.98/2728.62 c #Conflicts: 1471000 | #Constraints: 71919
2720.98/2728.62 c #Conflicts: 1472000 | #Constraints: 72920
2720.98/2728.62 c #Conflicts: 1473000 | #Constraints: 73922
2720.98/2728.62 c #Conflicts: 1474000 | #Constraints: 74923
2720.98/2728.62 c #Conflicts: 1475000 | #Constraints: 75924
2720.98/2728.62 c #Conflicts: 1476000 | #Constraints: 76925
2720.98/2728.62 c #Conflicts: 1477000 | #Constraints: 77927
2720.98/2728.62 c #Conflicts: 1478000 | #Constraints: 78929
2720.98/2728.62 c #Conflicts: 1479000 | #Constraints: 79930
2720.98/2728.62 c #Conflicts: 1480000 | #Constraints: 80933
2720.98/2728.62 c #Conflicts: 1481000 | #Constraints: 81935
2720.98/2728.62 c #Conflicts: 1482000 | #Constraints: 82936
2720.98/2728.62 c #Conflicts: 1483000 | #Constraints: 83936
2720.98/2728.62 c #Conflicts: 1484000 | #Constraints: 84937
2720.98/2728.62 c #Conflicts: 1485000 | #Constraints: 85939
2720.98/2728.62 c #Conflicts: 1486000 | #Constraints: 86941
2720.98/2728.62 c #Conflicts: 1487000 | #Constraints: 87944
2720.98/2728.62 c #Conflicts: 1488000 | #Constraints: 88945
2720.98/2728.62 c #Conflicts: 1489000 | #Constraints: 89945
2720.98/2728.62 c #Conflicts: 1490000 | #Constraints: 90946
2720.98/2728.62 c #Conflicts: 1491000 | #Constraints: 91947
2720.98/2728.62 c INPROCESSING
2720.98/2728.62 c GARBAGE COLLECT
2720.98/2728.62 c rational objective 7
2784.52/2792.36 c #Conflicts: 1492000 | #Constraints: 68727
2784.52/2792.36 c #Conflicts: 1493000 | #Constraints: 69727
2784.52/2792.36 c #Conflicts: 1494000 | #Constraints: 70727
2784.52/2792.36 c #Conflicts: 1495000 | #Constraints: 71727
2784.52/2792.36 c #Conflicts: 1496000 | #Constraints: 72727
2784.52/2792.36 c #Conflicts: 1497000 | #Constraints: 73727
2784.52/2792.36 c #Conflicts: 1498000 | #Constraints: 74729
2784.52/2792.36 c #Conflicts: 1499000 | #Constraints: 75730
2784.52/2792.36 c #Conflicts: 1500000 | #Constraints: 76730
2784.52/2792.36 c #Conflicts: 1501000 | #Constraints: 77732
2784.52/2792.36 c #Conflicts: 1502000 | #Constraints: 78733
2784.52/2792.36 c #Conflicts: 1503000 | #Constraints: 79734
2784.52/2792.36 c #Conflicts: 1504000 | #Constraints: 80735
2784.52/2792.36 c #Conflicts: 1505000 | #Constraints: 81735
2784.52/2792.36 c #Conflicts: 1506000 | #Constraints: 82737
2784.52/2792.36 c #Conflicts: 1507000 | #Constraints: 83737
2784.52/2792.36 c #Conflicts: 1508000 | #Constraints: 84739
2784.52/2792.36 c #Conflicts: 1509000 | #Constraints: 85740
2784.52/2792.36 c #Conflicts: 1510000 | #Constraints: 86740
2784.52/2792.36 c #Conflicts: 1511000 | #Constraints: 87741
2784.52/2792.36 c #Conflicts: 1512000 | #Constraints: 88741
2784.52/2792.36 c #Conflicts: 1513000 | #Constraints: 89742
2784.52/2792.36 c #Conflicts: 1514000 | #Constraints: 90742
2784.52/2792.36 c #Conflicts: 1515000 | #Constraints: 91742
2784.52/2792.36 c #Conflicts: 1516000 | #Constraints: 92742
2784.52/2792.36 c INPROCESSING
2784.52/2792.36 c GARBAGE COLLECT
2784.52/2792.36 c rational objective 7
2829.01/2836.91 c #Conflicts: 1517000 | #Constraints: 69331
2829.01/2836.91 c #Conflicts: 1518000 | #Constraints: 70331
2829.01/2836.91 c #Conflicts: 1519000 | #Constraints: 71331
2829.01/2836.91 c #Conflicts: 1520000 | #Constraints: 72331
2829.01/2836.91 c #Conflicts: 1521000 | #Constraints: 73331
2829.01/2836.91 c #Conflicts: 1522000 | #Constraints: 74331
2829.01/2836.91 c #Conflicts: 1523000 | #Constraints: 75331
2829.01/2836.91 c #Conflicts: 1524000 | #Constraints: 76331
2829.01/2836.91 c #Conflicts: 1525000 | #Constraints: 77332
2829.01/2836.91 c #Conflicts: 1526000 | #Constraints: 78333
2829.01/2836.91 c #Conflicts: 1527000 | #Constraints: 79334
2829.01/2836.91 c #Conflicts: 1528000 | #Constraints: 80334
2829.01/2836.91 c #Conflicts: 1529000 | #Constraints: 81337
2829.01/2836.91 c #Conflicts: 1530000 | #Constraints: 82337
2829.01/2836.91 c #Conflicts: 1531000 | #Constraints: 83340
2829.01/2836.91 c #Conflicts: 1532000 | #Constraints: 84340
2829.01/2836.91 c #Conflicts: 1533000 | #Constraints: 85341
2829.01/2836.91 c #Conflicts: 1534000 | #Constraints: 86343
2829.01/2836.91 c #Conflicts: 1535000 | #Constraints: 87344
2829.01/2836.91 c #Conflicts: 1536000 | #Constraints: 88344
2829.01/2836.91 c #Conflicts: 1537000 | #Constraints: 89344
2829.01/2836.91 c #Conflicts: 1538000 | #Constraints: 90345
2829.01/2836.91 c #Conflicts: 1539000 | #Constraints: 91345
2829.01/2836.91 c #Conflicts: 1540000 | #Constraints: 92345
2829.01/2836.91 c #Conflicts: 1541000 | #Constraints: 93346
2829.01/2836.91 c INPROCESSING
2829.01/2836.91 c GARBAGE COLLECT
2829.01/2836.91 c rational objective 7
2895.33/2903.44 c #Conflicts: 1542000 | #Constraints: 69716
2895.33/2903.44 c #Conflicts: 1543000 | #Constraints: 70717
2895.33/2903.44 c #Conflicts: 1544000 | #Constraints: 71717
2895.33/2903.44 c #Conflicts: 1545000 | #Constraints: 72717
2895.33/2903.44 c #Conflicts: 1546000 | #Constraints: 73719
2895.33/2903.44 c #Conflicts: 1547000 | #Constraints: 74721
2895.33/2903.44 c #Conflicts: 1548000 | #Constraints: 75722
2895.33/2903.44 c #Conflicts: 1549000 | #Constraints: 76722
2895.33/2903.44 c #Conflicts: 1550000 | #Constraints: 77724
2895.33/2903.44 c #Conflicts: 1551000 | #Constraints: 78725
2895.33/2903.44 c #Conflicts: 1552000 | #Constraints: 79727
2895.33/2903.44 c #Conflicts: 1553000 | #Constraints: 80728
2895.33/2903.44 c #Conflicts: 1554000 | #Constraints: 81729
2895.33/2903.44 c #Conflicts: 1555000 | #Constraints: 82733
2895.33/2903.44 c #Conflicts: 1556000 | #Constraints: 83733
2895.33/2903.44 c #Conflicts: 1557000 | #Constraints: 84736
2895.33/2903.44 c #Conflicts: 1558000 | #Constraints: 85740
2895.33/2903.44 c #Conflicts: 1559000 | #Constraints: 86744
2895.33/2903.44 c #Conflicts: 1560000 | #Constraints: 87746
2895.33/2903.44 c #Conflicts: 1561000 | #Constraints: 88748
2895.33/2903.44 c #Conflicts: 1562000 | #Constraints: 89751
2895.33/2903.44 c #Conflicts: 1563000 | #Constraints: 90756
2895.33/2903.44 c #Conflicts: 1564000 | #Constraints: 91758
2895.33/2903.44 c #Conflicts: 1565000 | #Constraints: 92764
2895.33/2903.44 c #Conflicts: 1566000 | #Constraints: 93768
2895.33/2903.44 c INPROCESSING
2895.33/2903.44 c GARBAGE COLLECT
2895.33/2903.44 c rational objective 7
3007.45/3015.89 c #Conflicts: 1567000 | #Constraints: 69942
3007.45/3015.89 c #Conflicts: 1568000 | #Constraints: 70942
3007.45/3015.89 c #Conflicts: 1569000 | #Constraints: 71942
3007.45/3015.89 c #Conflicts: 1570000 | #Constraints: 72942
3007.45/3015.89 c #Conflicts: 1571000 | #Constraints: 73942
3007.45/3015.89 c #Conflicts: 1572000 | #Constraints: 74943
3007.45/3015.89 c #Conflicts: 1573000 | #Constraints: 75944
3007.45/3015.89 c #Conflicts: 1574000 | #Constraints: 76947
3007.45/3015.89 c #Conflicts: 1575000 | #Constraints: 77948
3007.45/3015.89 c #Conflicts: 1576000 | #Constraints: 78949
3007.45/3015.89 c #Conflicts: 1577000 | #Constraints: 79950
3007.45/3015.89 c #Conflicts: 1578000 | #Constraints: 80951
3007.45/3015.89 c #Conflicts: 1579000 | #Constraints: 81951
3007.45/3015.89 c #Conflicts: 1580000 | #Constraints: 82952
3007.45/3015.89 c #Conflicts: 1581000 | #Constraints: 83952
3007.45/3015.89 c #Conflicts: 1582000 | #Constraints: 84953
3007.45/3015.89 c #Conflicts: 1583000 | #Constraints: 85953
3007.45/3015.89 c #Conflicts: 1584000 | #Constraints: 86954
3007.45/3015.89 c #Conflicts: 1585000 | #Constraints: 87955
3007.45/3015.89 c #Conflicts: 1586000 | #Constraints: 88956
3007.45/3015.89 c #Conflicts: 1587000 | #Constraints: 89956
3007.45/3015.89 c #Conflicts: 1588000 | #Constraints: 90957
3007.45/3015.89 c #Conflicts: 1589000 | #Constraints: 91958
3007.45/3015.89 c #Conflicts: 1590000 | #Constraints: 92958
3007.45/3015.89 c #Conflicts: 1591000 | #Constraints: 93958
3007.45/3015.89 c INPROCESSING
3007.45/3015.89 c GARBAGE COLLECT
3007.45/3015.89 c #Conflicts: 1592000 | #Constraints: 69914
3007.45/3015.89 c #Conflicts: 1593000 | #Constraints: 70914
3007.45/3015.89 c #Conflicts: 1594000 | #Constraints: 71914
3007.45/3015.89 c #Conflicts: 1595000 | #Constraints: 72914
3007.45/3015.89 c #Conflicts: 1596000 | #Constraints: 73914
3007.45/3015.89 c #Conflicts: 1597000 | #Constraints: 74914
3007.45/3015.89 c #Conflicts: 1598000 | #Constraints: 75914
3007.45/3015.89 c #Conflicts: 1599000 | #Constraints: 76914
3007.45/3015.89 c #Conflicts: 1600000 | #Constraints: 77914
3007.45/3015.89 c #Conflicts: 1601000 | #Constraints: 78914
3007.45/3015.89 c #Conflicts: 1602000 | #Constraints: 79914
3007.45/3015.89 c #Conflicts: 1603000 | #Constraints: 80914
3007.45/3015.89 c #Conflicts: 1604000 | #Constraints: 81914
3007.45/3015.89 c #Conflicts: 1605000 | #Constraints: 82914
3007.45/3015.89 c #Conflicts: 1606000 | #Constraints: 83914
3007.45/3015.89 c #Conflicts: 1607000 | #Constraints: 84914
3007.45/3015.89 c #Conflicts: 1608000 | #Constraints: 85914
3007.45/3015.89 c #Conflicts: 1609000 | #Constraints: 86914
3007.45/3015.89 c #Conflicts: 1610000 | #Constraints: 87914
3007.45/3015.89 c #Conflicts: 1611000 | #Constraints: 88914
3007.45/3015.89 c #Conflicts: 1612000 | #Constraints: 89914
3007.45/3015.89 c #Conflicts: 1613000 | #Constraints: 90914
3007.45/3015.89 c #Conflicts: 1614000 | #Constraints: 91914
3007.45/3015.89 c #Conflicts: 1615000 | #Constraints: 92914
3007.45/3015.89 c #Conflicts: 1616000 | #Constraints: 93914
3007.45/3015.89 c INPROCESSING
3007.45/3015.89 c GARBAGE COLLECT
3007.45/3015.89 c rational objective 7
3118.06/3126.70 c #Conflicts: 1617000 | #Constraints: 69711
3118.06/3126.70 c #Conflicts: 1618000 | #Constraints: 70711
3118.06/3126.70 c #Conflicts: 1619000 | #Constraints: 71712
3118.06/3126.70 c #Conflicts: 1620000 | #Constraints: 72712
3118.06/3126.70 c #Conflicts: 1621000 | #Constraints: 73712
3118.06/3126.70 c #Conflicts: 1622000 | #Constraints: 74712
3118.06/3126.70 c #Conflicts: 1623000 | #Constraints: 75713
3118.06/3126.70 c #Conflicts: 1624000 | #Constraints: 76714
3118.06/3126.70 c #Conflicts: 1625000 | #Constraints: 77714
3118.06/3126.70 c #Conflicts: 1626000 | #Constraints: 78715
3118.06/3126.70 c #Conflicts: 1627000 | #Constraints: 79716
3118.06/3126.70 c #Conflicts: 1628000 | #Constraints: 80718
3118.06/3126.70 c #Conflicts: 1629000 | #Constraints: 81718
3118.06/3126.70 c #Conflicts: 1630000 | #Constraints: 82718
3118.06/3126.70 c #Conflicts: 1631000 | #Constraints: 83719
3118.06/3126.70 c #Conflicts: 1632000 | #Constraints: 84719
3118.06/3126.70 c #Conflicts: 1633000 | #Constraints: 85720
3118.06/3126.70 c #Conflicts: 1634000 | #Constraints: 86721
3118.06/3126.70 c #Conflicts: 1635000 | #Constraints: 87722
3118.06/3126.70 c #Conflicts: 1636000 | #Constraints: 88722
3118.06/3126.70 c #Conflicts: 1637000 | #Constraints: 89722
3118.06/3126.70 c #Conflicts: 1638000 | #Constraints: 90723
3118.06/3126.70 c #Conflicts: 1639000 | #Constraints: 91723
3118.06/3126.70 c #Conflicts: 1640000 | #Constraints: 92724
3118.06/3126.70 c #Conflicts: 1641000 | #Constraints: 93725
3118.06/3126.70 c #Conflicts: 1642000 | #Constraints: 94725
3118.06/3126.70 c INPROCESSING
3118.06/3126.70 c GARBAGE COLLECT
3118.06/3126.70 c rational objective 7
3179.31/3188.19 c #Conflicts: 1643000 | #Constraints: 70311
3179.31/3188.19 c #Conflicts: 1644000 | #Constraints: 71312
3179.31/3188.19 c #Conflicts: 1645000 | #Constraints: 72312
3179.31/3188.19 c #Conflicts: 1646000 | #Constraints: 73312
3179.31/3188.19 c #Conflicts: 1647000 | #Constraints: 74313
3179.31/3188.19 c #Conflicts: 1648000 | #Constraints: 75314
3179.31/3188.19 c #Conflicts: 1649000 | #Constraints: 76315
3179.31/3188.19 c #Conflicts: 1650000 | #Constraints: 77317
3179.31/3188.19 c #Conflicts: 1651000 | #Constraints: 78318
3179.31/3188.19 c #Conflicts: 1652000 | #Constraints: 79318
3179.31/3188.19 c #Conflicts: 1653000 | #Constraints: 80319
3179.31/3188.19 c #Conflicts: 1654000 | #Constraints: 81320
3179.31/3188.19 c #Conflicts: 1655000 | #Constraints: 82321
3179.31/3188.19 c #Conflicts: 1656000 | #Constraints: 83322
3179.31/3188.19 c #Conflicts: 1657000 | #Constraints: 84323
3179.31/3188.19 c #Conflicts: 1658000 | #Constraints: 85323
3179.31/3188.19 c #Conflicts: 1659000 | #Constraints: 86323
3179.31/3188.19 c #Conflicts: 1660000 | #Constraints: 87324
3179.31/3188.19 c #Conflicts: 1661000 | #Constraints: 88324
3179.31/3188.19 c #Conflicts: 1662000 | #Constraints: 89325
3179.31/3188.19 c #Conflicts: 1663000 | #Constraints: 90326
3179.31/3188.19 c #Conflicts: 1664000 | #Constraints: 91327
3179.31/3188.19 c #Conflicts: 1665000 | #Constraints: 92328
3179.31/3188.19 c #Conflicts: 1666000 | #Constraints: 93328
3179.31/3188.19 c #Conflicts: 1667000 | #Constraints: 94328
3179.31/3188.19 c #Conflicts: 1668000 | #Constraints: 95328
3179.31/3188.19 c INPROCESSING
3179.31/3188.19 c GARBAGE COLLECT
3179.31/3188.19 c rational objective 7
3259.79/3268.83 c #Conflicts: 1669000 | #Constraints: 70747
3259.79/3268.83 c #Conflicts: 1670000 | #Constraints: 71747
3259.79/3268.83 c #Conflicts: 1671000 | #Constraints: 72747
3259.79/3268.83 c #Conflicts: 1672000 | #Constraints: 73747
3259.79/3268.83 c #Conflicts: 1673000 | #Constraints: 74747
3259.79/3268.83 c #Conflicts: 1674000 | #Constraints: 75749
3259.79/3268.83 c #Conflicts: 1675000 | #Constraints: 76750
3259.79/3268.83 c #Conflicts: 1676000 | #Constraints: 77754
3259.79/3268.83 c #Conflicts: 1677000 | #Constraints: 78756
3259.79/3268.83 c #Conflicts: 1678000 | #Constraints: 79757
3259.79/3268.83 c #Conflicts: 1679000 | #Constraints: 80759
3259.79/3268.83 c #Conflicts: 1680000 | #Constraints: 81760
3259.79/3268.83 c #Conflicts: 1681000 | #Constraints: 82760
3259.79/3268.83 c #Conflicts: 1682000 | #Constraints: 83760
3259.79/3268.83 c #Conflicts: 1683000 | #Constraints: 84761
3259.79/3268.83 c #Conflicts: 1684000 | #Constraints: 85762
3259.79/3268.83 c #Conflicts: 1685000 | #Constraints: 86763
3259.79/3268.83 c #Conflicts: 1686000 | #Constraints: 87763
3259.79/3268.83 c #Conflicts: 1687000 | #Constraints: 88763
3259.79/3268.83 c #Conflicts: 1688000 | #Constraints: 89764
3259.79/3268.83 c #Conflicts: 1689000 | #Constraints: 90765
3259.79/3268.83 c #Conflicts: 1690000 | #Constraints: 91766
3259.79/3268.83 c #Conflicts: 1691000 | #Constraints: 92767
3259.79/3268.83 c #Conflicts: 1692000 | #Constraints: 93769
3259.79/3268.83 c #Conflicts: 1693000 | #Constraints: 94770
3259.79/3268.83 c #Conflicts: 1694000 | #Constraints: 95770
3259.79/3268.83 c INPROCESSING
3259.79/3268.83 c GARBAGE COLLECT
3259.79/3268.83 c rational objective 7
3314.72/3323.99 c #Conflicts: 1695000 | #Constraints: 70931
3314.72/3323.99 c #Conflicts: 1696000 | #Constraints: 71931
3314.72/3323.99 c #Conflicts: 1697000 | #Constraints: 72931
3314.72/3323.99 c #Conflicts: 1698000 | #Constraints: 73931
3314.72/3323.99 c #Conflicts: 1699000 | #Constraints: 74931
3314.72/3323.99 c #Conflicts: 1700000 | #Constraints: 75932
3314.72/3323.99 c #Conflicts: 1701000 | #Constraints: 76934
3314.72/3323.99 c #Conflicts: 1702000 | #Constraints: 77939
3314.72/3323.99 c #Conflicts: 1703000 | #Constraints: 78939
3314.72/3323.99 c #Conflicts: 1704000 | #Constraints: 79940
3314.72/3323.99 c #Conflicts: 1705000 | #Constraints: 80942
3314.72/3323.99 c #Conflicts: 1706000 | #Constraints: 81946
3314.72/3323.99 c #Conflicts: 1707000 | #Constraints: 82946
3314.72/3323.99 c #Conflicts: 1708000 | #Constraints: 83948
3314.72/3323.99 c #Conflicts: 1709000 | #Constraints: 84949
3314.72/3323.99 c #Conflicts: 1710000 | #Constraints: 85950
3314.72/3323.99 c #Conflicts: 1711000 | #Constraints: 86951
3314.72/3323.99 c #Conflicts: 1712000 | #Constraints: 87951
3314.72/3323.99 c #Conflicts: 1713000 | #Constraints: 88951
3314.72/3323.99 c #Conflicts: 1714000 | #Constraints: 89953
3314.72/3323.99 c #Conflicts: 1715000 | #Constraints: 90954
3314.72/3323.99 c #Conflicts: 1716000 | #Constraints: 91955
3314.72/3323.99 c #Conflicts: 1717000 | #Constraints: 92955
3314.72/3323.99 c #Conflicts: 1718000 | #Constraints: 93956
3314.72/3323.99 c #Conflicts: 1719000 | #Constraints: 94957
3314.72/3323.99 c #Conflicts: 1720000 | #Constraints: 95957
3314.72/3323.99 c INPROCESSING
3314.72/3323.99 c GARBAGE COLLECT
3314.72/3323.99 c rational objective 7
3392.18/3401.66 c #Conflicts: 1721000 | #Constraints: 70995
3392.18/3401.66 c #Conflicts: 1722000 | #Constraints: 71996
3392.18/3401.66 c #Conflicts: 1723000 | #Constraints: 72996
3392.18/3401.66 c #Conflicts: 1724000 | #Constraints: 73996
3392.18/3401.66 c #Conflicts: 1725000 | #Constraints: 74996
3392.18/3401.66 c #Conflicts: 1726000 | #Constraints: 75996
3392.18/3401.66 c #Conflicts: 1727000 | #Constraints: 76997
3392.18/3401.66 c #Conflicts: 1728000 | #Constraints: 77998
3392.18/3401.66 c #Conflicts: 1729000 | #Constraints: 78999
3392.18/3401.66 c #Conflicts: 1730000 | #Constraints: 80000
3392.18/3401.66 c #Conflicts: 1731000 | #Constraints: 81001
3392.18/3401.66 c #Conflicts: 1732000 | #Constraints: 82002
3392.18/3401.66 c #Conflicts: 1733000 | #Constraints: 83003
3392.18/3401.66 c #Conflicts: 1734000 | #Constraints: 84003
3392.18/3401.66 c #Conflicts: 1735000 | #Constraints: 85004
3392.18/3401.66 c #Conflicts: 1736000 | #Constraints: 86004
3392.18/3401.66 c #Conflicts: 1737000 | #Constraints: 87005
3392.18/3401.66 c #Conflicts: 1738000 | #Constraints: 88005
3392.18/3401.66 c #Conflicts: 1739000 | #Constraints: 89006
3392.18/3401.66 c #Conflicts: 1740000 | #Constraints: 90006
3392.18/3401.66 c #Conflicts: 1741000 | #Constraints: 91007
3392.18/3401.66 c #Conflicts: 1742000 | #Constraints: 92007
3392.18/3401.66 c #Conflicts: 1743000 | #Constraints: 93007
3392.18/3401.66 c #Conflicts: 1744000 | #Constraints: 94008
3392.18/3401.66 c #Conflicts: 1745000 | #Constraints: 95008
3392.18/3401.66 c #Conflicts: 1746000 | #Constraints: 96008
3392.18/3401.66 c INPROCESSING
3392.18/3401.66 c GARBAGE COLLECT
3392.18/3401.66 c rational objective 7
3438.44/3448.02 c #Conflicts: 1747000 | #Constraints: 70731
3438.44/3448.02 c #Conflicts: 1748000 | #Constraints: 71731
3438.44/3448.02 c #Conflicts: 1749000 | #Constraints: 72732
3438.44/3448.02 c #Conflicts: 1750000 | #Constraints: 73732
3438.44/3448.02 c #Conflicts: 1751000 | #Constraints: 74732
3438.44/3448.02 c #Conflicts: 1752000 | #Constraints: 75736
3438.44/3448.02 c #Conflicts: 1753000 | #Constraints: 76738
3438.44/3448.02 c #Conflicts: 1754000 | #Constraints: 77739
3438.44/3448.02 c #Conflicts: 1755000 | #Constraints: 78741
3438.44/3448.02 c #Conflicts: 1756000 | #Constraints: 79742
3438.44/3448.02 c #Conflicts: 1757000 | #Constraints: 80742
3438.44/3448.02 c #Conflicts: 1758000 | #Constraints: 81742
3438.44/3448.02 c #Conflicts: 1759000 | #Constraints: 82743
3438.44/3448.02 c #Conflicts: 1760000 | #Constraints: 83745
3438.44/3448.02 c #Conflicts: 1761000 | #Constraints: 84745
3438.44/3448.02 c #Conflicts: 1762000 | #Constraints: 85745
3438.44/3448.02 c #Conflicts: 1763000 | #Constraints: 86745
3438.44/3448.02 c #Conflicts: 1764000 | #Constraints: 87746
3438.44/3448.02 c #Conflicts: 1765000 | #Constraints: 88746
3438.44/3448.02 c #Conflicts: 1766000 | #Constraints: 89747
3438.44/3448.02 c #Conflicts: 1767000 | #Constraints: 90748
3438.44/3448.02 c #Conflicts: 1768000 | #Constraints: 91749
3438.44/3448.02 c #Conflicts: 1769000 | #Constraints: 92750
3438.44/3448.02 c #Conflicts: 1770000 | #Constraints: 93750
3438.44/3448.02 c #Conflicts: 1771000 | #Constraints: 94752
3438.44/3448.02 c #Conflicts: 1772000 | #Constraints: 95752
3438.44/3448.02 c #Conflicts: 1773000 | #Constraints: 96753
3438.44/3448.02 c INPROCESSING
3438.44/3448.02 c GARBAGE COLLECT
3438.44/3448.02 c rational objective 7
3508.52/3518.39 c #Conflicts: 1774000 | #Constraints: 71353
3508.52/3518.39 c #Conflicts: 1775000 | #Constraints: 72353
3508.52/3518.39 c #Conflicts: 1776000 | #Constraints: 73353
3508.52/3518.39 c #Conflicts: 1777000 | #Constraints: 74353
3508.52/3518.39 c #Conflicts: 1778000 | #Constraints: 75356
3508.52/3518.39 c #Conflicts: 1779000 | #Constraints: 76358
3508.52/3518.39 c #Conflicts: 1780000 | #Constraints: 77358
3508.52/3518.39 c #Conflicts: 1781000 | #Constraints: 78359
3508.52/3518.39 c #Conflicts: 1782000 | #Constraints: 79360
3508.52/3518.39 c #Conflicts: 1783000 | #Constraints: 80362
3508.52/3518.39 c #Conflicts: 1784000 | #Constraints: 81363
3508.52/3518.39 c #Conflicts: 1785000 | #Constraints: 82365
3508.52/3518.39 c #Conflicts: 1786000 | #Constraints: 83367
3508.52/3518.39 c #Conflicts: 1787000 | #Constraints: 84368
3508.52/3518.39 c #Conflicts: 1788000 | #Constraints: 85370
3508.52/3518.39 c #Conflicts: 1789000 | #Constraints: 86372
3508.52/3518.39 c #Conflicts: 1790000 | #Constraints: 87373
3508.52/3518.39 c #Conflicts: 1791000 | #Constraints: 88376
3508.52/3518.39 c #Conflicts: 1792000 | #Constraints: 89377
3508.52/3518.39 c #Conflicts: 1793000 | #Constraints: 90378
3508.52/3518.39 c #Conflicts: 1794000 | #Constraints: 91378
3508.52/3518.39 c #Conflicts: 1795000 | #Constraints: 92379
3508.52/3518.39 c #Conflicts: 1796000 | #Constraints: 93379
3508.52/3518.39 c #Conflicts: 1797000 | #Constraints: 94380
3508.52/3518.39 c #Conflicts: 1798000 | #Constraints: 95381
3508.52/3518.39 c #Conflicts: 1799000 | #Constraints: 96382
3508.52/3518.39 c #Conflicts: 1800000 | #Constraints: 97383
3508.52/3518.39 c INPROCESSING
3508.52/3518.39 c GARBAGE COLLECT
3508.52/3518.39 c rational objective 7
3585.58/3595.62 c #Conflicts: 1801000 | #Constraints: 71737
3585.58/3595.62 c #Conflicts: 1802000 | #Constraints: 72737
3585.58/3595.62 c #Conflicts: 1803000 | #Constraints: 73739
3585.58/3595.62 c #Conflicts: 1804000 | #Constraints: 74741
3585.58/3595.62 c #Conflicts: 1805000 | #Constraints: 75743
3585.58/3595.62 c #Conflicts: 1806000 | #Constraints: 76744
3585.58/3595.62 c #Conflicts: 1807000 | #Constraints: 77745
3585.58/3595.62 c #Conflicts: 1808000 | #Constraints: 78748
3585.58/3595.62 c #Conflicts: 1809000 | #Constraints: 79749
3585.58/3595.62 c #Conflicts: 1810000 | #Constraints: 80751
3585.58/3595.62 c #Conflicts: 1811000 | #Constraints: 81752
3585.58/3595.62 c #Conflicts: 1812000 | #Constraints: 82752
3585.58/3595.62 c #Conflicts: 1813000 | #Constraints: 83753
3585.58/3595.62 c #Conflicts: 1814000 | #Constraints: 84754
3585.58/3595.62 c #Conflicts: 1815000 | #Constraints: 85756
3585.58/3595.62 c #Conflicts: 1816000 | #Constraints: 86759
3585.58/3595.62 c #Conflicts: 1817000 | #Constraints: 87761
3585.58/3595.62 c #Conflicts: 1818000 | #Constraints: 88761
3585.58/3595.62 c #Conflicts: 1819000 | #Constraints: 89761
3585.58/3595.62 c #Conflicts: 1820000 | #Constraints: 90761
3585.58/3595.62 c #Conflicts: 1821000 | #Constraints: 91761
3585.58/3595.62 c #Conflicts: 1822000 | #Constraints: 92762
3585.58/3595.62 c #Conflicts: 1823000 | #Constraints: 93763
3585.58/3595.62 c #Conflicts: 1824000 | #Constraints: 94765
3585.58/3595.62 c #Conflicts: 1825000 | #Constraints: 95767
3585.58/3595.62 c #Conflicts: 1826000 | #Constraints: 96768
3585.58/3595.62 c #Conflicts: 1827000 | #Constraints: 97769
3585.58/3595.62 c INPROCESSING
3585.58/3595.62 c GARBAGE COLLECT
3585.58/3595.62 c rational objective 7
3600.04/3610.10 c #Conflicts: 1828000 | #Constraints: 71947
3600.04/3610.10 c #Conflicts: 1829000 | #Constraints: 72947
3600.04/3610.10 c #Conflicts: 1830000 | #Constraints: 73947
3600.04/3610.10 c #Conflicts: 1831000 | #Constraints: 74947
3600.04/3610.10 c #Conflicts: 1832000 | #Constraints: 75947
3600.04/3610.10 c #Conflicts: 1833000 | #Constraints: 76948
3600.04/3610.10 c #Conflicts: 1834000 | #Constraints: 77948
3600.04/3610.10 c #Conflicts: 1835000 | #Constraints: 78948
3600.04/3610.10 c #Conflicts: 1836000 | #Constraints: 79948
3600.04/3610.10 c #Conflicts: 1837000 | #Constraints: 80949
3600.04/3610.10 c #Conflicts: 1838000 | #Constraints: 81949
3600.04/3610.10 c Disabling crashed LP
3600.04/3610.10 c cpu time 3579.76 s
3600.04/3610.10 c deterministic time 309675971837 3.10e+11
3600.04/3610.10 c optimization time 14.1403 s
3600.04/3610.10 c total solve time 3565.44 s
3600.04/3610.10 c core-guided solve time 1713.36 s
3600.04/3610.10 c propagation time 2415.42 s
3600.04/3610.10 c conflict analysis time 881.436 s
3600.04/3610.10 c propagations 901391740
3600.04/3610.10 c resolve steps 16354175
3600.04/3610.10 c decisions 9787641
3600.04/3610.10 c conflicts 1838697
3600.04/3610.10 c restarts 3579
3600.04/3610.10 c inprocessing phases 126
3600.04/3610.10 c garbage collections 126 ,( 100.00 )
3600.04/3610.10 c input clauses 52927 ,( 99.02 )
3600.04/3610.10 c input cardinalities 76 ,( 0.14 )
3600.04/3610.10 c input general constraints 448 ,( 0.84 )
3600.04/3610.10 c input average constraint length 3.66
3600.04/3610.10 c input average constraint degree 8.32
3600.04/3610.10 c learned clauses 285044 ,( 15.48 )
3600.04/3610.10 c learned cardinalities 21238 ,( 1.15 )
3600.04/3610.10 c learned general constraints 1534526 ,( 83.36 )
3600.04/3610.10 c learned average constraint length 678.40
3600.04/3610.10 c learned average constraint degree 3808394073.14
3600.04/3610.10 c watched CF 32, 64, 128, Arb: 627624 , 0 , 0 , 0
3600.04/3610.10 c counting CF 32, 64, 128, Arb: 907351 , 0 , 0 , 0
3600.04/3610.10 c watched constraints 627624 ,( 40.89 )
3600.04/3610.10 c counting constraints 907350 ,( 59.11 )
3600.04/3610.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 450292111 , 55127020 , 3184946452 ,( 426844012 , 2758102440 )
3600.04/3610.10 c gcd simplifications 179582
3600.04/3610.10 c detected cardinalities 766
3600.04/3610.10 c weakened non-implied lits 336660080
3600.04/3610.10 c weakened non-implying lits 1015883
3600.04/3610.10 c original variables 20753
3600.04/3610.10 c clausal propagations 389234935
3600.04/3610.10 c cardinality propagations 39748356
3600.04/3610.10 c watched propagations 5108404
3600.04/3610.10 c counting propagations 456747790
3600.04/3610.10 c watch lookups 170307933324
3600.04/3610.10 c watch backjump lookups 0
3600.04/3610.10 c watch checks 56281367486
3600.04/3610.10 c propagation checks 77226432080
3600.04/3610.10 c constraint additions 4033973636
3600.04/3610.10 c trail pops 913009775
3600.04/3610.10 c formula constraints 53451
3600.04/3610.10 c learned constraints 1837067
3600.04/3610.10 c bound constraints 0
3600.04/3610.10 c core-guided constraints 0
3600.04/3610.10 c encountered formula constraints 10622282
3600.04/3610.10 c encountered learned constraints 7308018
3600.04/3610.10 c encountered bound constraints 0
3600.04/3610.10 c encountered core-guided constraints 0
3600.04/3610.10 c LP total time 761.991 s
3600.04/3610.10 c LP solve time 707.86 s
3600.04/3610.10 c LP constraints added 56297
3600.04/3610.10 c LP constraints removed 2828
3600.04/3610.10 c LP pivots internal 1838697
3600.04/3610.10 c LP pivots root 237457
3600.04/3610.10 c LP calls 2126
3600.04/3610.10 c LP optimalities 491
3600.04/3610.10 c LP no pivot count 47
3600.04/3610.10 c LP infeasibilities 1631
3600.04/3610.10 c LP valid Farkas constraints 1630
3600.04/3610.10 c LP learned Farkas constraints 1630
3600.04/3610.10 c LP basis resets 1
3600.04/3610.10 c LP cycling count 0
3600.04/3610.10 c LP singular count 0
3600.04/3610.10 c LP no primal count 0
3600.04/3610.10 c LP no farkas count 1
3600.04/3610.10 c LP other issue count 0
3600.04/3610.10 c LP Gomory cuts 481
3600.04/3610.10 c LP learned cuts 2365
3600.04/3610.10 c LP deleted cuts 2828
3600.04/3610.10 c LP encountered Gomory constraints 32654
3600.04/3610.10 c LP encountered Farkas constraints 199819
3600.04/3610.10 c LP encountered learned Farkas constraints 28469
3600.04/3610.10 c CG auxiliary variables introduced 0
3600.04/3610.10 c CG solutions found 0
3600.04/3610.10 c CG cores constructed 0
3600.04/3610.10 c CG core cardinality constraints returned 0
3600.04/3610.10 c CG unit cores 0
3600.04/3610.10 c CG single cores 0
3600.04/3610.10 c CG blocks removed during cardinality reduction 0
3600.04/3610.10 c CG first core best 0
3600.04/3610.10 c CG decision core best 0
3600.04/3610.10 c CG core reduction tie 0
3600.04/3610.10 c CG core degree average 0.00
3600.04/3610.10 c CG core slack average 0.00
3600.04/3610.10 c CG core upper bound improvements 0
3600.04/3610.10 c STR number of successful calls 0
3600.04/3610.10 c STR number of unsuccessful calls 0
3600.04/3610.10 c STR number of inconclusive calls 0
3600.04/3610.10 c STR number of successful attempts 0
3600.04/3610.10 c STR number of unsuccessful attempts 0
3600.04/3610.10 c STR number of inconclusive attempts 0
3600.04/3610.10 c STR average degree increase per successful call inf
3600.04/3610.10 c STR average degree increase per successful attempt inf
3600.04/3610.10 c STR total number of conflicts for successful attempts 0
3600.04/3610.10 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.10 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.10 c STR average number of conflicts per successful attempt inf
3600.04/3610.10 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.10 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.10 c AVG.sumWPerc 49.85
3600.04/3610.10 c bigint constraints 0
3600.04/3610.10 s UNKNOWN
3600.04/3610.10 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: 63708 MiB (61913 MiB free)
memory of node 1: 64465 MiB (63531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499306-1751467075/watcher-4499306-1751467075 -o /tmp/evaluation-result-4499306-1751467075/solver-4499306-1751467075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751467075-60647 --watchdog 3760 run-opt-ls.sh HOME/instance-4499306-1751467075.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=60704, runsolver pid=60687
[startup+0.100057 s]*
/proc/loadavg: 1.44 1.98 2.52 5/269 60708
/proc/meminfo: memFree=128439380/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62385048 4292608 736 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 736 672 219 0 110 0
[pid=60707] ppid=60704 vsize=28796 memory=18184 CPUtime=0.07 cores=5,7
/proc/60707/stat : 60707 (pbsuma) R 60704 60704 60629 0 -1 4194304 4485 0 0 0 7 0 0 0 20 0 1 0 62385049 29487104 4546 18446744073709551615 4210688 4653049 140726823085120 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 12062720 140726823086435 140726823086642 140726823086642 140726823092207 0
/proc/60707/statm: 7199 4546 1024 108 0 4607 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 32988 KiB
Current children cumulated memory: 21128 KiB
[startup+0.205298 s]*
/proc/loadavg: 1.44 1.98 2.52 5/269 60709
/proc/meminfo: memFree=128421428/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62385048 4292608 736 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 736 672 219 0 110 0
[pid=60707] ppid=60704 vsize=25224 memory=16476 CPUtime=0.18 cores=5,7
/proc/60707/stat : 60707 (pbsuma) R 60704 60704 60629 0 -1 4194304 4916 0 0 0 18 0 0 0 20 0 1 0 62385049 25829376 4119 18446744073709551615 4210688 4653049 140726823085120 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 12062720 140726823086435 140726823086642 140726823086642 140726823092207 0
/proc/60707/statm: 6306 4119 1024 108 0 3714 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 29416 KiB
Current children cumulated memory: 19420 KiB
[startup+0.304816 s]*
/proc/loadavg: 1.44 1.98 2.52 5/269 60709
/proc/meminfo: memFree=128413376/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 62385048 4292608 736 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 736 672 219 0 110 0
[pid=60707] ppid=60704 vsize=25840 memory=17244 CPUtime=0.28 cores=5,7
/proc/60707/stat : 60707 (pbsuma) R 60704 60704 60629 0 -1 4194304 5111 0 0 0 28 0 0 0 20 0 1 0 62385049 26460160 4311 18446744073709551615 4210688 4653049 140726823085120 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 12062720 140726823086435 140726823086642 140726823086642 140726823092207 0
/proc/60707/statm: 6460 4311 1024 108 0 3868 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 30032 KiB
Current children cumulated memory: 20188 KiB
[startup+0.700155 s]
/proc/loadavg: 1.44 1.98 2.52 5/269 60710
/proc/meminfo: memFree=128387944/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=123288 memory=75120 CPUtime=0.24 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 11997 0 0 0 18 6 0 0 20 0 1 0 62385092 126246912 18780 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 30822 18780 2304 1147 0 18249 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 127480 KiB
Current children cumulated memory: 78192 KiB
[startup+1.50017 s]
/proc/loadavg: 1.44 1.98 2.52 4/266 60711
/proc/meminfo: memFree=128209188/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=161080 memory=112456 CPUtime=1.04 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 19364 0 0 0 93 11 0 0 20 0 1 0 62385092 164945920 28114 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 40270 28114 2400 1147 0 27697 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 165272 KiB
Current children cumulated memory: 115528 KiB
[startup+3.10459 s]
/proc/loadavg: 1.44 1.98 2.52 5/269 60758
/proc/meminfo: memFree=128152212/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=180936 memory=127660 CPUtime=2.64 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 22675 0 0 0 250 14 0 0 20 0 1 0 62385092 185278464 31915 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 45234 31915 2400 1147 0 32661 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 185128 KiB
Current children cumulated memory: 130732 KiB
[startup+6.30015 s]
/proc/loadavg: 1.64 2.02 2.53 4/264 60766
/proc/meminfo: memFree=128176452/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=206360 memory=151472 CPUtime=5.82 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 27603 0 0 0 564 18 0 0 20 0 1 0 62385092 211312640 37868 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 51590 37868 2400 1147 0 39017 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 210552 KiB
Current children cumulated memory: 154544 KiB
[startup+12.7002 s]
/proc/loadavg: 1.83 2.05 2.53 5/269 60805
/proc/meminfo: memFree=128102556/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=223624 memory=173204 CPUtime=12.2 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 32046 0 0 0 1191 29 0 0 20 0 1 0 62385092 228990976 43301 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 55906 43301 2400 1147 0 43333 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 227816 KiB
Current children cumulated memory: 176276 KiB
[startup+25.5002 s]
/proc/loadavg: 2.39 2.16 2.56 5/269 60805
/proc/meminfo: memFree=128082876/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=233392 memory=182292 CPUtime=24.96 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 34309 0 0 0 2448 48 0 0 20 0 1 0 62385092 238993408 45573 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 58348 45573 2400 1147 0 45775 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 237584 KiB
Current children cumulated memory: 185364 KiB
[startup+51.1055 s]
/proc/loadavg: 2.94 2.31 2.60 5/269 60806
/proc/meminfo: memFree=128004776/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=325512 memory=254444 CPUtime=50.48 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 48300 0 0 0 4964 84 0 0 20 0 1 0 62385092 333324288 63611 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 81378 63611 2400 1147 0 68805 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 329704 KiB
Current children cumulated memory: 257516 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.59 2.68 5/269 60809
/proc/meminfo: memFree=127874272/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=454412 memory=347464 CPUtime=101.51 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 68550 0 0 0 10013 138 0 0 20 0 1 0 62385092 465317888 86866 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 113603 86866 2400 1147 0 101030 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 458604 KiB
Current children cumulated memory: 350536 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.88 2.78 5/269 60811
/proc/meminfo: memFree=127756528/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=513412 memory=405428 CPUtime=161.31 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 81564 0 0 0 15935 196 0 0 20 0 1 0 62385092 525733888 101357 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 128353 101357 2400 1147 0 115780 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 517604 KiB
Current children cumulated memory: 408500 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.10 2.86 5/268 60813
/proc/meminfo: memFree=127650872/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=627044 memory=501344 CPUtime=221.12 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 95750 0 0 0 21865 247 0 0 20 0 1 0 62385092 642093056 125336 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 156761 125336 2400 1147 0 144188 0
################
# More data... #
################
/proc/60710/statm: 455904 407192 2400 1147 0 443331 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 1827808 KiB
Current children cumulated memory: 1631840 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/268 61115
/proc/meminfo: memFree=126433560/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=1823616 memory=1628768 CPUtime=3153.15 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 291119 0 0 0 313520 1795 0 0 20 0 1 0 62385092 1867382784 407192 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 455904 407192 2400 1147 0 443331 0
Current children cumulated CPU time: 3153.57 s
Current children cumulated vsize: 1827808 KiB
Current children cumulated memory: 1631840 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/270 61119
/proc/meminfo: memFree=126409440/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=1823616 memory=1628768 CPUtime=3213 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 291119 0 0 0 319481 1819 0 0 20 0 1 0 62385092 1867382784 407192 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 455904 407192 2400 1147 0 443331 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 1827808 KiB
Current children cumulated memory: 1631840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.41 4.20 4.09 5/270 61167
/proc/meminfo: memFree=126464172/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=1823616 memory=1628768 CPUtime=3272.83 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 291733 0 0 0 325441 1842 0 0 20 0 1 0 62385092 1867382784 407192 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 455904 407192 2400 1147 0 443331 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 1827808 KiB
Current children cumulated memory: 1631840 KiB
[startup+3342.3 s]
/proc/loadavg: 4.61 4.28 4.12 5/270 61169
/proc/meminfo: memFree=125514264/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=1823616 memory=1628768 CPUtime=3332.65 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 291790 0 0 0 331394 1871 0 0 20 0 1 0 62385092 1867382784 407192 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 455904 407192 2400 1147 0 443331 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 1827808 KiB
Current children cumulated memory: 1631840 KiB
[startup+3402.3 s]
/proc/loadavg: 4.32 4.25 4.12 5/269 61174
/proc/meminfo: memFree=124795704/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=1852520 memory=1650224 CPUtime=3392.46 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 296712 0 0 0 337354 1892 0 0 20 0 1 0 62385092 1896980480 412556 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 463130 412556 2400 1147 0 450557 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 1856712 KiB
Current children cumulated memory: 1653296 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.22 4.12 5/269 61176
/proc/meminfo: memFree=124472792/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=1852860 memory=1651376 CPUtime=3452.27 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 297008 0 0 0 343297 1930 0 0 20 0 1 0 62385092 1897328640 412844 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 463215 412844 2400 1147 0 450642 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 1857052 KiB
Current children cumulated memory: 1654448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.21 4.12 5/268 61178
/proc/meminfo: memFree=124123620/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=1852860 memory=1651376 CPUtime=3512.08 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 297008 0 0 0 349257 1951 0 0 20 0 1 0 62385092 1897328640 412844 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 463215 412844 2400 1147 0 450642 0
Current children cumulated CPU time: 3512.5 s
Current children cumulated vsize: 1857052 KiB
Current children cumulated memory: 1654448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.18 4.11 5/267 61180
/proc/meminfo: memFree=123883840/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=1852860 memory=1651376 CPUtime=3571.91 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 297077 0 0 0 355216 1975 0 0 20 0 1 0 62385092 1897328640 412844 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 463215 412844 2400 1147 0 450642 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 1857052 KiB
Current children cumulated memory: 1654448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.15 4.18 4.11 4/262 61189
/proc/meminfo: memFree=123909692/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=1853472 memory=1651376 CPUtime=3599.62 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 297091 0 0 0 357976 1986 0 0 20 0 1 0 62385092 1897955328 412844 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 463368 412844 2400 1147 0 450795 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1857664 KiB
Current children cumulated memory: 1654448 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.11 s]
# the end of solver process 60704 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.411776 s, system=0.015882 s
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 60710 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3580.18 s, system=19.8977 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.15 4.18 4.11 4/262 61189
/proc/meminfo: memFree=123909692/131250000 swapFree=33007332/33010684
[pid=60704] ppid=60687 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/60704/stat : 60704 (run-opt-ls.sh) S 60687 60704 60629 0 -1 4194304 236 5586 0 0 0 0 41 1 20 0 1 0 62385048 4292608 768 18446744073709551615 94041127059456 94041127953989 140720534422416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94041128193040 94041128240784 94041148010496 140720534428007 140720534428133 140720534428133 140720534433735 0
/proc/60704/statm: 1048 768 704 219 0 110 0
[pid=60710] ppid=60704 vsize=1853472 memory=1651376 CPUtime=3599.62 cores=5,7
/proc/60710/stat : 60710 (roundingsat) R 60704 60704 60629 0 -1 4194304 297091 0 0 0 357976 1986 0 0 20 0 1 0 62385092 1897955328 412844 18446744073709551615 4227072 8923433 140721346841872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22597632 140721346844998 140721346845224 140721346845224 140721346850794 0
/proc/60710/statm: 463368 412844 2400 1147 0 450795 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1857664 KiB
Current children cumulated memory: 1654448 KiB
Child status: 2
Real time (s): 3610.12
CPU time (s): 3600.08
CPU user time (s): 3580.18
CPU system time (s): 19.8977
CPU usage (%): 99.7218
Max. virtual memory (cumulated for all children) (KiB): 1857664
Max. memory (cumulated for all children) (KiB): 1654448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.18
system time used= 19.8977
maximum resident set size= 1651760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302935
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 482
involuntary context switches= 4467
# summary of solver processes directly reported to runsolver:
# pid: 60704,60710
# total CPU time (s): 3600.08
# total CPU user time (s): 3580.18
# total CPU system time (s): 19.8977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03473 second user time and 17.4164 second system time
The end
Begin job on nodeC019 at 2025-07-02 16:37:55
IDJOB=4499306
IDBENCH=148775
IDSOLVER=3355
FILE ID=nodeC019/4499306-1751467075
RUNJOBID= nodeC019-1751467075-60647
SLURM_JOB_ID= 9598485
Free space on /tmp= 431740 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499306-1751467075/watcher-4499306-1751467075 -o /tmp/evaluation-result-4499306-1751467075/solver-4499306-1751467075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751467075-60647 --watchdog 3760 run-opt-ls.sh HOME/instance-4499306-1751467075.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=272786780
nodeC019 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 : 0xb00002a
cpu MHz : 3599.677
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.654
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.164
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.821
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.681
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.689
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.170
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3638.278
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128463044 kB
MemAvailable: 129770512 kB
Buffers: 904 kB
Cached: 2112676 kB
SwapCached: 440 kB
Active: 211456 kB
Inactive: 1967820 kB
Active(anon): 53756 kB
Inactive(anon): 27780 kB
Active(file): 157700 kB
Inactive(file): 1940040 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29808 kB
Writeback: 0 kB
AnonPages: 69020 kB
Mapped: 102740 kB
Shmem: 15192 kB
KReclaimable: 97932 kB
Slab: 184896 kB
SReclaimable: 97932 kB
SUnreclaim: 86964 kB
KernelStack: 4108 kB
PageTables: 2692 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 329108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431704 MiB
End job on nodeC019 at 2025-07-02 17:38:06