0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4517449-1751523805.opb'
0.00/0.03 c read 0.40MB (15.39ms)
0.00/0.03 c [cnf: #variables 364 #clauses 12832 #duplicates 0 #arr 38844]
0.00/0.03 c output proof to 'PROOFDIR/proof-4517449-1751523805'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 8] (6.59ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.06 c candidate Johnson 13, ar 2
0.08/0.16 c found row 13x28, generating row predicate
0.08/0.16 c found row 8x26, generating row predicate
0.08/0.17 c found Johnson 13, ar 2, block_sz 42
0.08/0.17 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.17 c probe for row symmetry (limit=64, splits=16.78M)
0.08/0.17 c (132.23ms)
0.08/0.17 c
0.08/0.17 c detect symmetries on remainder
0.08/0.17 c [graph: #vertices 14275 #edges 79846]
0.08/0.17 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.17 c [group: #symmetries 1.00*10^0 #generators 0] (3.62ms)
0.08/0.17 c
0.08/0.17 c finalize break order and special generators
0.08/0.18 c
0.08/0.18 c generation finished
0.08/0.18 c [sbp: #constraints 3292 #add_vars 1087]
0.08/0.18 c
0.08/0.18 c write result to 'HOME/instance-4517449-1751523805.opb.pre'
0.08/0.18 c wrote 0.51MB (3.30ms)
0.08/0.18 c ------------------------------------------------------------------
0.08/0.18 c 132.23ms 77.78% detect_special
0.08/0.18 c 15.39ms 9.05% parse
0.08/0.18 c 8.84ms 5.20% other
0.08/0.18 c 6.59ms 3.88% approx_orbits
0.08/0.18 c 3.62ms 2.13% detect_generic
0.08/0.18 c 3.30ms 1.94% output
0.08/0.18 c 0.03ms 0.02% finalize_order
0.08/0.18 c ───────────────────────────────────────────────
0.08/0.18 c 170.00ms 100% total
0.08/0.18 c ------------------------------------------------------------------
0.08/0.20 c RoundingSat 2
0.08/0.20 c branch pb25
0.08/0.20 c commit 63f22ad
0.35/0.52 c #variables 1451 #constraints 16123
0.35/0.52 c objective is ce32
0.35/0.52 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.35/0.52 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.35/0.52 c bounds - >= 0 @ 0.223224
0.82/0.99 c bounds 12 >= 0 @ 0.681252
0.92/1.03 c bounds 12 >= 1 @ 0.70988
0.92/1.03 c bounds 11 >= 1 @ 0.711426
0.92/1.03 c bounds 10 >= 1 @ 0.712904
0.92/1.03 c bounds 9 >= 1 @ 0.714086
0.92/1.04 c bounds 8 >= 1 @ 0.716961
0.92/1.04 c bounds 7 >= 1 @ 0.718199
0.92/1.04 c bounds 6 >= 1 @ 0.720974
0.92/1.05 c bounds 5 >= 1 @ 0.723851
1.41/1.52 c #Conflicts: 1000 | #Constraints: 17133
1.41/1.52 c #Conflicts: 2000 | #Constraints: 18133
1.41/1.52 c INPROCESSING
1.41/1.52 c GARBAGE COLLECT
1.41/1.52 c rational objective 1
2.02/2.18 c #Conflicts: 3000 | #Constraints: 11976
2.02/2.18 c #Conflicts: 4000 | #Constraints: 12976
2.02/2.18 c INPROCESSING
2.02/2.18 c GARBAGE COLLECT
2.02/2.18 c rational objective 1
2.50/2.67 c #Conflicts: 5000 | #Constraints: 12435
2.50/2.67 c #Conflicts: 6000 | #Constraints: 13435
2.50/2.67 c INPROCESSING
2.50/2.67 c GARBAGE COLLECT
2.50/2.67 c rational objective 1
3.02/3.12 c #Conflicts: 7000 | #Constraints: 12086
3.02/3.12 c #Conflicts: 8000 | #Constraints: 13086
3.02/3.12 c bounds 5 >= 2 @ 2.71026
3.10/3.21 c #Conflicts: 9000 | #Constraints: 14089
3.10/3.21 c INPROCESSING
3.10/3.21 c GARBAGE COLLECT
3.10/3.21 c rational objective 2
3.68/3.82 c #Conflicts: 10000 | #Constraints: 12791
3.68/3.82 c #Conflicts: 11000 | #Constraints: 13791
3.68/3.82 c #Conflicts: 12000 | #Constraints: 14791
3.68/3.82 c INPROCESSING
3.68/3.82 c GARBAGE COLLECT
3.68/3.82 c rational objective 2
4.28/4.46 c #Conflicts: 13000 | #Constraints: 13005
4.28/4.46 c #Conflicts: 14000 | #Constraints: 14005
4.28/4.46 c #Conflicts: 15000 | #Constraints: 15005
4.28/4.46 c INPROCESSING
4.28/4.46 c GARBAGE COLLECT
4.28/4.46 c rational objective 2
4.88/5.06 c #Conflicts: 16000 | #Constraints: 13010
4.88/5.06 c #Conflicts: 17000 | #Constraints: 14010
4.88/5.06 c #Conflicts: 18000 | #Constraints: 15010
4.88/5.06 c INPROCESSING
4.88/5.06 c GARBAGE COLLECT
4.88/5.06 c rational objective 2
5.56/5.79 c #Conflicts: 19000 | #Constraints: 13108
5.56/5.79 c #Conflicts: 20000 | #Constraints: 14108
5.56/5.79 c #Conflicts: 21000 | #Constraints: 15108
5.56/5.79 c INPROCESSING
5.56/5.79 c GARBAGE COLLECT
5.56/5.79 c rational objective 2
6.36/6.52 c #Conflicts: 22000 | #Constraints: 12979
6.36/6.52 c #Conflicts: 23000 | #Constraints: 13979
6.36/6.52 c #Conflicts: 24000 | #Constraints: 14979
6.36/6.52 c #Conflicts: 25000 | #Constraints: 15979
6.36/6.52 c INPROCESSING
6.36/6.52 c GARBAGE COLLECT
6.36/6.52 c rational objective 2
7.06/7.28 c #Conflicts: 26000 | #Constraints: 13574
7.06/7.28 c #Conflicts: 27000 | #Constraints: 14574
7.06/7.28 c #Conflicts: 28000 | #Constraints: 15574
7.06/7.28 c #Conflicts: 29000 | #Constraints: 16574
7.06/7.28 c INPROCESSING
7.06/7.28 c GARBAGE COLLECT
7.06/7.28 c rational objective 2
7.86/8.07 c #Conflicts: 30000 | #Constraints: 14008
7.86/8.07 c #Conflicts: 31000 | #Constraints: 15008
7.86/8.07 c #Conflicts: 32000 | #Constraints: 16008
7.86/8.07 c #Conflicts: 33000 | #Constraints: 17008
7.86/8.07 c INPROCESSING
7.86/8.07 c GARBAGE COLLECT
7.86/8.07 c rational objective 2
8.74/8.97 c #Conflicts: 34000 | #Constraints: 14084
8.74/8.97 c #Conflicts: 35000 | #Constraints: 15084
8.74/8.97 c #Conflicts: 36000 | #Constraints: 16084
8.74/8.97 c #Conflicts: 37000 | #Constraints: 17084
8.74/8.97 c INPROCESSING
8.74/8.97 c GARBAGE COLLECT
8.74/8.97 c rational objective 2
9.65/9.84 c #Conflicts: 38000 | #Constraints: 14100
9.65/9.84 c #Conflicts: 39000 | #Constraints: 15100
9.65/9.84 c #Conflicts: 40000 | #Constraints: 16100
9.65/9.84 c #Conflicts: 41000 | #Constraints: 17100
9.65/9.84 c INPROCESSING
9.65/9.84 c GARBAGE COLLECT
9.65/9.84 c rational objective 2
10.55/10.75 c #Conflicts: 42000 | #Constraints: 13895
10.55/10.75 c #Conflicts: 43000 | #Constraints: 14895
10.55/10.75 c #Conflicts: 44000 | #Constraints: 15895
10.55/10.75 c #Conflicts: 45000 | #Constraints: 16895
10.55/10.75 c #Conflicts: 46000 | #Constraints: 17895
10.55/10.75 c INPROCESSING
10.55/10.75 c GARBAGE COLLECT
10.55/10.75 c rational objective 2
11.54/11.80 c #Conflicts: 47000 | #Constraints: 14499
11.54/11.80 c #Conflicts: 48000 | #Constraints: 15499
11.54/11.80 c #Conflicts: 49000 | #Constraints: 16499
11.54/11.80 c #Conflicts: 50000 | #Constraints: 17499
11.54/11.80 c #Conflicts: 51000 | #Constraints: 18499
11.54/11.80 c INPROCESSING
11.54/11.80 c GARBAGE COLLECT
11.54/11.80 c rational objective 2
12.73/12.92 c #Conflicts: 52000 | #Constraints: 14878
12.73/12.92 c #Conflicts: 53000 | #Constraints: 15878
12.73/12.92 c #Conflicts: 54000 | #Constraints: 16878
12.73/12.92 c #Conflicts: 55000 | #Constraints: 17878
12.73/12.92 c #Conflicts: 56000 | #Constraints: 18878
12.73/12.92 c INPROCESSING
12.73/12.92 c GARBAGE COLLECT
12.73/12.92 c rational objective 2
13.72/14.00 c #Conflicts: 57000 | #Constraints: 15097
13.72/14.00 c #Conflicts: 58000 | #Constraints: 16097
13.72/14.00 c #Conflicts: 59000 | #Constraints: 17097
13.72/14.00 c #Conflicts: 60000 | #Constraints: 18097
13.72/14.00 c #Conflicts: 61000 | #Constraints: 19097
13.72/14.00 c INPROCESSING
13.72/14.00 c GARBAGE COLLECT
13.72/14.00 c rational objective 2
15.02/15.25 c #Conflicts: 62000 | #Constraints: 15099
15.02/15.25 c #Conflicts: 63000 | #Constraints: 16099
15.02/15.25 c #Conflicts: 64000 | #Constraints: 17099
15.02/15.25 c #Conflicts: 65000 | #Constraints: 18099
15.02/15.25 c #Conflicts: 66000 | #Constraints: 19099
15.02/15.25 c INPROCESSING
15.02/15.25 c GARBAGE COLLECT
15.02/15.25 c rational objective 2
16.30/16.59 c #Conflicts: 67000 | #Constraints: 14906
16.30/16.59 c #Conflicts: 68000 | #Constraints: 15906
16.30/16.59 c #Conflicts: 69000 | #Constraints: 16906
16.30/16.59 c #Conflicts: 70000 | #Constraints: 17906
16.30/16.59 c #Conflicts: 71000 | #Constraints: 18906
16.30/16.59 c #Conflicts: 72000 | #Constraints: 19906
16.30/16.59 c INPROCESSING
16.30/16.59 c GARBAGE COLLECT
16.30/16.59 c rational objective 2
17.57/17.88 c #Conflicts: 73000 | #Constraints: 15507
17.57/17.88 c #Conflicts: 74000 | #Constraints: 16507
17.57/17.88 c #Conflicts: 75000 | #Constraints: 17507
17.57/17.88 c #Conflicts: 76000 | #Constraints: 18507
17.57/17.88 c #Conflicts: 77000 | #Constraints: 19507
17.57/17.88 c #Conflicts: 78000 | #Constraints: 20507
17.57/17.88 c INPROCESSING
17.57/17.88 c GARBAGE COLLECT
17.57/17.88 c rational objective 2
18.77/19.10 c #Conflicts: 79000 | #Constraints: 15909
18.77/19.10 c #Conflicts: 80000 | #Constraints: 16909
18.77/19.10 c #Conflicts: 81000 | #Constraints: 17909
18.77/19.10 c #Conflicts: 82000 | #Constraints: 18909
18.77/19.10 c #Conflicts: 83000 | #Constraints: 19909
18.77/19.10 c #Conflicts: 84000 | #Constraints: 20909
18.77/19.10 c INPROCESSING
18.77/19.10 c GARBAGE COLLECT
18.77/19.10 c rational objective 2
20.34/20.62 c #Conflicts: 85000 | #Constraints: 16108
20.34/20.62 c #Conflicts: 86000 | #Constraints: 17108
20.34/20.62 c #Conflicts: 87000 | #Constraints: 18108
20.34/20.62 c #Conflicts: 88000 | #Constraints: 19108
20.34/20.62 c #Conflicts: 89000 | #Constraints: 20108
20.34/20.62 c #Conflicts: 90000 | #Constraints: 21108
20.34/20.62 c INPROCESSING
20.34/20.62 c GARBAGE COLLECT
20.34/20.62 c rational objective 2
21.75/22.05 c #Conflicts: 91000 | #Constraints: 16111
21.75/22.05 c #Conflicts: 92000 | #Constraints: 17111
21.75/22.05 c #Conflicts: 93000 | #Constraints: 18111
21.75/22.05 c #Conflicts: 94000 | #Constraints: 19111
21.75/22.05 c #Conflicts: 95000 | #Constraints: 20111
21.75/22.05 c #Conflicts: 96000 | #Constraints: 21111
21.75/22.05 c INPROCESSING
21.75/22.05 c GARBAGE COLLECT
21.75/22.05 c rational objective 2
23.81/24.15 c #Conflicts: 97000 | #Constraints: 15899
23.81/24.15 c #Conflicts: 98000 | #Constraints: 16899
23.81/24.15 c #Conflicts: 99000 | #Constraints: 17899
23.81/24.15 c #Conflicts: 100000 | #Constraints: 18899
23.81/24.15 c #Conflicts: 101000 | #Constraints: 19899
23.81/24.15 c #Conflicts: 102000 | #Constraints: 20899
23.81/24.15 c #Conflicts: 103000 | #Constraints: 21899
23.81/24.15 c INPROCESSING
23.81/24.15 c GARBAGE COLLECT
23.81/24.15 c rational objective 2
25.29/25.65 c #Conflicts: 104000 | #Constraints: 16511
25.29/25.65 c #Conflicts: 105000 | #Constraints: 17511
25.29/25.65 c #Conflicts: 106000 | #Constraints: 18511
25.29/25.65 c #Conflicts: 107000 | #Constraints: 19511
25.29/25.65 c #Conflicts: 108000 | #Constraints: 20511
25.29/25.65 c #Conflicts: 109000 | #Constraints: 21511
25.29/25.65 c #Conflicts: 110000 | #Constraints: 22511
25.29/25.65 c INPROCESSING
25.29/25.65 c GARBAGE COLLECT
25.29/25.65 c rational objective 2
26.98/27.35 c #Conflicts: 111000 | #Constraints: 16896
26.98/27.35 c #Conflicts: 112000 | #Constraints: 17896
26.98/27.35 c #Conflicts: 113000 | #Constraints: 18896
26.98/27.35 c #Conflicts: 114000 | #Constraints: 19896
26.98/27.35 c #Conflicts: 115000 | #Constraints: 20896
26.98/27.35 c #Conflicts: 116000 | #Constraints: 21896
26.98/27.35 c #Conflicts: 117000 | #Constraints: 22896
26.98/27.35 c INPROCESSING
26.98/27.35 c GARBAGE COLLECT
26.98/27.35 c rational objective 2
28.56/28.90 c #Conflicts: 118000 | #Constraints: 17115
28.56/28.90 c #Conflicts: 119000 | #Constraints: 18115
28.56/28.90 c #Conflicts: 120000 | #Constraints: 19115
28.56/28.90 c #Conflicts: 121000 | #Constraints: 20115
28.56/28.90 c #Conflicts: 122000 | #Constraints: 21115
28.56/28.90 c #Conflicts: 123000 | #Constraints: 22115
28.56/28.90 c #Conflicts: 124000 | #Constraints: 23115
28.56/28.90 c INPROCESSING
28.56/28.90 c GARBAGE COLLECT
28.56/28.90 c rational objective 2
30.26/30.62 c #Conflicts: 125000 | #Constraints: 17106
30.26/30.62 c #Conflicts: 126000 | #Constraints: 18106
30.26/30.62 c #Conflicts: 127000 | #Constraints: 19106
30.26/30.62 c #Conflicts: 128000 | #Constraints: 20106
30.26/30.62 c #Conflicts: 129000 | #Constraints: 21106
30.26/30.62 c #Conflicts: 130000 | #Constraints: 22106
30.26/30.62 c #Conflicts: 131000 | #Constraints: 23106
30.26/30.62 c INPROCESSING
30.26/30.62 c GARBAGE COLLECT
30.26/30.62 c rational objective 2
31.94/32.33 c #Conflicts: 132000 | #Constraints: 16926
31.94/32.33 c #Conflicts: 133000 | #Constraints: 17926
31.94/32.33 c #Conflicts: 134000 | #Constraints: 18926
31.94/32.33 c #Conflicts: 135000 | #Constraints: 19926
31.94/32.33 c #Conflicts: 136000 | #Constraints: 20926
31.94/32.33 c #Conflicts: 137000 | #Constraints: 21926
31.94/32.33 c #Conflicts: 138000 | #Constraints: 22926
31.94/32.33 c #Conflicts: 139000 | #Constraints: 23926
31.94/32.33 c INPROCESSING
31.94/32.33 c GARBAGE COLLECT
31.94/32.33 c rational objective 2
34.01/34.47 c #Conflicts: 140000 | #Constraints: 17513
34.01/34.47 c #Conflicts: 141000 | #Constraints: 18513
34.01/34.47 c #Conflicts: 142000 | #Constraints: 19513
34.01/34.47 c #Conflicts: 143000 | #Constraints: 20513
34.01/34.47 c #Conflicts: 144000 | #Constraints: 21513
34.01/34.47 c #Conflicts: 145000 | #Constraints: 22513
34.01/34.47 c #Conflicts: 146000 | #Constraints: 23513
34.01/34.47 c #Conflicts: 147000 | #Constraints: 24513
34.01/34.47 c INPROCESSING
34.01/34.47 c GARBAGE COLLECT
34.01/34.47 c rational objective 2
35.79/36.23 c #Conflicts: 148000 | #Constraints: 17915
35.79/36.23 c #Conflicts: 149000 | #Constraints: 18915
35.79/36.23 c #Conflicts: 150000 | #Constraints: 19915
35.79/36.23 c #Conflicts: 151000 | #Constraints: 20915
35.79/36.23 c #Conflicts: 152000 | #Constraints: 21915
35.79/36.23 c #Conflicts: 153000 | #Constraints: 22915
35.79/36.23 c #Conflicts: 154000 | #Constraints: 23915
35.79/36.23 c #Conflicts: 155000 | #Constraints: 24915
35.79/36.23 c INPROCESSING
35.79/36.23 c GARBAGE COLLECT
35.79/36.23 c rational objective 2
38.05/38.52 c #Conflicts: 156000 | #Constraints: 18110
38.05/38.52 c #Conflicts: 157000 | #Constraints: 19110
38.05/38.52 c #Conflicts: 158000 | #Constraints: 20110
38.05/38.52 c #Conflicts: 159000 | #Constraints: 21110
38.05/38.52 c #Conflicts: 160000 | #Constraints: 22110
38.05/38.52 c #Conflicts: 161000 | #Constraints: 23110
38.05/38.52 c #Conflicts: 162000 | #Constraints: 24110
38.05/38.52 c #Conflicts: 163000 | #Constraints: 25110
38.05/38.52 c INPROCESSING
38.05/38.52 c GARBAGE COLLECT
38.05/38.52 c rational objective 2
39.93/40.40 c #Conflicts: 164000 | #Constraints: 18120
39.93/40.40 c #Conflicts: 165000 | #Constraints: 19120
39.93/40.40 c #Conflicts: 166000 | #Constraints: 20120
39.93/40.40 c #Conflicts: 167000 | #Constraints: 21120
39.93/40.40 c #Conflicts: 168000 | #Constraints: 22120
39.93/40.40 c #Conflicts: 169000 | #Constraints: 23120
39.93/40.40 c #Conflicts: 170000 | #Constraints: 24120
39.93/40.40 c #Conflicts: 171000 | #Constraints: 25120
39.93/40.40 c INPROCESSING
39.93/40.40 c GARBAGE COLLECT
39.93/40.40 c rational objective 2
41.90/42.49 c #Conflicts: 172000 | #Constraints: 17894
41.90/42.49 c #Conflicts: 173000 | #Constraints: 18894
41.90/42.49 c #Conflicts: 174000 | #Constraints: 19894
41.90/42.49 c #Conflicts: 175000 | #Constraints: 20894
41.90/42.49 c #Conflicts: 176000 | #Constraints: 21894
41.90/42.49 c #Conflicts: 177000 | #Constraints: 22894
41.90/42.49 c #Conflicts: 178000 | #Constraints: 23894
41.90/42.49 c #Conflicts: 179000 | #Constraints: 24894
41.90/42.49 c #Conflicts: 180000 | #Constraints: 25894
41.90/42.49 c INPROCESSING
41.90/42.49 c GARBAGE COLLECT
41.90/42.49 c rational objective 2
44.29/44.84 c #Conflicts: 181000 | #Constraints: 18500
44.29/44.84 c #Conflicts: 182000 | #Constraints: 19500
44.29/44.84 c #Conflicts: 183000 | #Constraints: 20500
44.29/44.84 c #Conflicts: 184000 | #Constraints: 21500
44.29/44.84 c #Conflicts: 185000 | #Constraints: 22500
44.29/44.84 c #Conflicts: 186000 | #Constraints: 23500
44.29/44.84 c #Conflicts: 187000 | #Constraints: 24500
44.29/44.84 c #Conflicts: 188000 | #Constraints: 25500
44.29/44.84 c #Conflicts: 189000 | #Constraints: 26500
44.29/44.84 c INPROCESSING
44.29/44.84 c GARBAGE COLLECT
44.29/44.84 c rational objective 2
46.48/47.09 c #Conflicts: 190000 | #Constraints: 18910
46.48/47.09 c #Conflicts: 191000 | #Constraints: 19910
46.48/47.09 c #Conflicts: 192000 | #Constraints: 20910
46.48/47.09 c #Conflicts: 193000 | #Constraints: 21910
46.48/47.09 c #Conflicts: 194000 | #Constraints: 22910
46.48/47.09 c #Conflicts: 195000 | #Constraints: 23910
46.48/47.09 c #Conflicts: 196000 | #Constraints: 24910
46.48/47.09 c #Conflicts: 197000 | #Constraints: 25910
46.48/47.09 c #Conflicts: 198000 | #Constraints: 26910
46.48/47.09 c INPROCESSING
46.48/47.09 c GARBAGE COLLECT
46.48/47.09 c rational objective 2
49.33/49.99 c #Conflicts: 199000 | #Constraints: 19114
49.33/49.99 c #Conflicts: 200000 | #Constraints: 20114
49.33/49.99 c #Conflicts: 201000 | #Constraints: 21114
49.33/49.99 c #Conflicts: 202000 | #Constraints: 22114
49.33/49.99 c #Conflicts: 203000 | #Constraints: 23114
49.33/49.99 c #Conflicts: 204000 | #Constraints: 24114
49.33/49.99 c #Conflicts: 205000 | #Constraints: 25114
49.33/49.99 c #Conflicts: 206000 | #Constraints: 26114
49.33/49.99 c #Conflicts: 207000 | #Constraints: 27114
49.33/49.99 c INPROCESSING
49.33/49.99 c GARBAGE COLLECT
49.33/49.99 c rational objective 2
51.42/52.05 c #Conflicts: 208000 | #Constraints: 19131
51.42/52.05 c #Conflicts: 209000 | #Constraints: 20131
51.42/52.05 c #Conflicts: 210000 | #Constraints: 21131
51.42/52.05 c #Conflicts: 211000 | #Constraints: 22131
51.42/52.05 c #Conflicts: 212000 | #Constraints: 23131
51.42/52.05 c #Conflicts: 213000 | #Constraints: 24131
51.42/52.05 c #Conflicts: 214000 | #Constraints: 25131
51.42/52.05 c #Conflicts: 215000 | #Constraints: 26131
51.42/52.05 c #Conflicts: 216000 | #Constraints: 27131
51.42/52.05 c INPROCESSING
51.42/52.05 c GARBAGE COLLECT
51.42/52.05 c rational objective 2
53.40/54.04 c #Conflicts: 217000 | #Constraints: 18925
53.40/54.04 c #Conflicts: 218000 | #Constraints: 19925
53.40/54.04 c #Conflicts: 219000 | #Constraints: 20925
53.40/54.04 c #Conflicts: 220000 | #Constraints: 21925
53.40/54.04 c #Conflicts: 221000 | #Constraints: 22925
53.40/54.04 c #Conflicts: 222000 | #Constraints: 23925
53.40/54.04 c #Conflicts: 223000 | #Constraints: 24925
53.40/54.04 c #Conflicts: 224000 | #Constraints: 25925
53.40/54.04 c #Conflicts: 225000 | #Constraints: 26925
53.40/54.04 c #Conflicts: 226000 | #Constraints: 27925
53.40/54.04 c INPROCESSING
53.40/54.04 c GARBAGE COLLECT
53.40/54.04 c rational objective 2
53.59/54.21 c bounds 5 >= 3 @ 51.7104
55.79/56.42 c #Conflicts: 227000 | #Constraints: 19529
55.79/56.42 c #Conflicts: 228000 | #Constraints: 20529
55.79/56.42 c #Conflicts: 229000 | #Constraints: 21529
55.79/56.42 c #Conflicts: 230000 | #Constraints: 22529
55.79/56.42 c #Conflicts: 231000 | #Constraints: 23529
55.79/56.42 c #Conflicts: 232000 | #Constraints: 24529
55.79/56.42 c #Conflicts: 233000 | #Constraints: 25529
55.79/56.42 c #Conflicts: 234000 | #Constraints: 26529
55.79/56.42 c #Conflicts: 235000 | #Constraints: 27529
55.79/56.42 c #Conflicts: 236000 | #Constraints: 28529
55.79/56.42 c INPROCESSING
55.79/56.42 c GARBAGE COLLECT
55.79/56.42 c rational objective 3
58.17/58.85 c #Conflicts: 237000 | #Constraints: 19930
58.17/58.85 c #Conflicts: 238000 | #Constraints: 20930
58.17/58.85 c #Conflicts: 239000 | #Constraints: 21930
58.17/58.85 c #Conflicts: 240000 | #Constraints: 22930
58.17/58.85 c #Conflicts: 241000 | #Constraints: 23930
58.17/58.85 c #Conflicts: 242000 | #Constraints: 24930
58.17/58.85 c #Conflicts: 243000 | #Constraints: 25930
58.17/58.85 c #Conflicts: 244000 | #Constraints: 26930
58.17/58.85 c #Conflicts: 245000 | #Constraints: 27930
58.17/58.85 c #Conflicts: 246000 | #Constraints: 28930
58.17/58.85 c INPROCESSING
58.17/58.85 c GARBAGE COLLECT
58.17/58.85 c rational objective 3
60.53/61.21 c #Conflicts: 247000 | #Constraints: 20134
60.53/61.21 c #Conflicts: 248000 | #Constraints: 21134
60.53/61.21 c #Conflicts: 249000 | #Constraints: 22134
60.53/61.21 c #Conflicts: 250000 | #Constraints: 23134
60.53/61.21 c #Conflicts: 251000 | #Constraints: 24134
60.53/61.21 c #Conflicts: 252000 | #Constraints: 25134
60.53/61.21 c #Conflicts: 253000 | #Constraints: 26134
60.53/61.21 c #Conflicts: 254000 | #Constraints: 27134
60.53/61.21 c #Conflicts: 255000 | #Constraints: 28134
60.53/61.21 c #Conflicts: 256000 | #Constraints: 29134
60.53/61.21 c INPROCESSING
60.53/61.21 c GARBAGE COLLECT
60.53/61.21 c rational objective 3
63.00/63.79 c #Conflicts: 257000 | #Constraints: 18873
63.00/63.79 c #Conflicts: 258000 | #Constraints: 19873
63.00/63.79 c #Conflicts: 259000 | #Constraints: 20873
63.00/63.79 c #Conflicts: 260000 | #Constraints: 21873
63.00/63.79 c #Conflicts: 261000 | #Constraints: 22873
63.00/63.79 c #Conflicts: 262000 | #Constraints: 23873
63.00/63.79 c #Conflicts: 263000 | #Constraints: 24873
63.00/63.79 c #Conflicts: 264000 | #Constraints: 25873
63.00/63.79 c #Conflicts: 265000 | #Constraints: 26873
63.00/63.79 c #Conflicts: 266000 | #Constraints: 27873
63.00/63.79 c INPROCESSING
63.00/63.79 c GARBAGE COLLECT
63.00/63.79 c rational objective 3
67.36/68.16 c #Conflicts: 267000 | #Constraints: 19174
67.36/68.16 c #Conflicts: 268000 | #Constraints: 20174
67.36/68.16 c #Conflicts: 269000 | #Constraints: 21174
67.36/68.16 c #Conflicts: 270000 | #Constraints: 22174
67.36/68.16 c #Conflicts: 271000 | #Constraints: 23174
67.36/68.16 c #Conflicts: 272000 | #Constraints: 24174
67.36/68.16 c #Conflicts: 273000 | #Constraints: 25174
67.36/68.16 c #Conflicts: 274000 | #Constraints: 26174
67.36/68.16 c #Conflicts: 275000 | #Constraints: 27174
67.36/68.16 c #Conflicts: 276000 | #Constraints: 28174
67.36/68.16 c #Conflicts: 277000 | #Constraints: 29174
67.36/68.16 c INPROCESSING
67.36/68.16 c GARBAGE COLLECT
67.36/68.16 c rational objective 3
70.22/71.02 c #Conflicts: 278000 | #Constraints: 20038
70.22/71.02 c #Conflicts: 279000 | #Constraints: 21038
70.22/71.02 c #Conflicts: 280000 | #Constraints: 22038
70.22/71.02 c #Conflicts: 281000 | #Constraints: 23038
70.22/71.02 c #Conflicts: 282000 | #Constraints: 24038
70.22/71.02 c #Conflicts: 283000 | #Constraints: 25038
70.22/71.02 c #Conflicts: 284000 | #Constraints: 26038
70.22/71.02 c #Conflicts: 285000 | #Constraints: 27038
70.22/71.02 c #Conflicts: 286000 | #Constraints: 28038
70.22/71.02 c #Conflicts: 287000 | #Constraints: 29038
70.22/71.02 c #Conflicts: 288000 | #Constraints: 30038
70.22/71.02 c INPROCESSING
70.22/71.02 c GARBAGE COLLECT
70.22/71.02 c rational objective 3
72.80/73.69 c #Conflicts: 289000 | #Constraints: 20563
72.80/73.69 c #Conflicts: 290000 | #Constraints: 21563
72.80/73.69 c #Conflicts: 291000 | #Constraints: 22563
72.80/73.69 c #Conflicts: 292000 | #Constraints: 23563
72.80/73.69 c #Conflicts: 293000 | #Constraints: 24563
72.80/73.69 c #Conflicts: 294000 | #Constraints: 25563
72.80/73.69 c #Conflicts: 295000 | #Constraints: 26563
72.80/73.69 c #Conflicts: 296000 | #Constraints: 27563
72.80/73.69 c #Conflicts: 297000 | #Constraints: 28563
72.80/73.69 c #Conflicts: 298000 | #Constraints: 29563
72.80/73.69 c #Conflicts: 299000 | #Constraints: 30563
72.80/73.69 c INPROCESSING
72.80/73.69 c GARBAGE COLLECT
72.80/73.69 c rational objective 3
75.69/76.55 c #Conflicts: 300000 | #Constraints: 20834
75.69/76.55 c #Conflicts: 301000 | #Constraints: 21834
75.69/76.55 c #Conflicts: 302000 | #Constraints: 22834
75.69/76.55 c #Conflicts: 303000 | #Constraints: 23834
75.69/76.55 c #Conflicts: 304000 | #Constraints: 24834
75.69/76.55 c #Conflicts: 305000 | #Constraints: 25834
75.69/76.55 c #Conflicts: 306000 | #Constraints: 26834
75.69/76.55 c #Conflicts: 307000 | #Constraints: 27834
75.69/76.55 c #Conflicts: 308000 | #Constraints: 28834
75.69/76.55 c #Conflicts: 309000 | #Constraints: 29834
75.69/76.55 c #Conflicts: 310000 | #Constraints: 30834
75.69/76.55 c INPROCESSING
75.69/76.55 c GARBAGE COLLECT
75.69/76.55 c rational objective 3
78.97/79.84 c #Conflicts: 311000 | #Constraints: 20859
78.97/79.84 c #Conflicts: 312000 | #Constraints: 21859
78.97/79.84 c #Conflicts: 313000 | #Constraints: 22859
78.97/79.84 c #Conflicts: 314000 | #Constraints: 23859
78.97/79.84 c #Conflicts: 315000 | #Constraints: 24859
78.97/79.84 c #Conflicts: 316000 | #Constraints: 25859
78.97/79.84 c #Conflicts: 317000 | #Constraints: 26859
78.97/79.84 c #Conflicts: 318000 | #Constraints: 27859
78.97/79.84 c #Conflicts: 319000 | #Constraints: 28859
78.97/79.84 c #Conflicts: 320000 | #Constraints: 29859
78.97/79.84 c #Conflicts: 321000 | #Constraints: 30859
78.97/79.84 c INPROCESSING
78.97/79.84 c GARBAGE COLLECT
78.97/79.84 c rational objective 3
82.06/82.91 c #Conflicts: 322000 | #Constraints: 20683
82.06/82.91 c #Conflicts: 323000 | #Constraints: 21683
82.06/82.91 c #Conflicts: 324000 | #Constraints: 22683
82.06/82.91 c #Conflicts: 325000 | #Constraints: 23683
82.06/82.91 c #Conflicts: 326000 | #Constraints: 24683
82.06/82.91 c #Conflicts: 327000 | #Constraints: 25683
82.06/82.91 c #Conflicts: 328000 | #Constraints: 26683
82.06/82.91 c #Conflicts: 329000 | #Constraints: 27683
82.06/82.91 c #Conflicts: 330000 | #Constraints: 28683
82.06/82.91 c #Conflicts: 331000 | #Constraints: 29683
82.06/82.91 c #Conflicts: 332000 | #Constraints: 30683
82.06/82.91 c #Conflicts: 333000 | #Constraints: 31683
82.06/82.91 c INPROCESSING
82.06/82.91 c GARBAGE COLLECT
82.06/82.91 c rational objective 3
85.06/86.00 c #Conflicts: 334000 | #Constraints: 21283
85.06/86.00 c #Conflicts: 335000 | #Constraints: 22283
85.06/86.00 c #Conflicts: 336000 | #Constraints: 23283
85.06/86.00 c #Conflicts: 337000 | #Constraints: 24283
85.06/86.00 c #Conflicts: 338000 | #Constraints: 25283
85.06/86.00 c #Conflicts: 339000 | #Constraints: 26283
85.06/86.00 c #Conflicts: 340000 | #Constraints: 27283
85.06/86.00 c #Conflicts: 341000 | #Constraints: 28283
85.06/86.00 c #Conflicts: 342000 | #Constraints: 29283
85.06/86.00 c #Conflicts: 343000 | #Constraints: 30283
85.06/86.00 c #Conflicts: 344000 | #Constraints: 31283
85.06/86.00 c #Conflicts: 345000 | #Constraints: 32283
85.06/86.00 c INPROCESSING
85.06/86.00 c GARBAGE COLLECT
85.06/86.00 c rational objective 3
88.26/89.19 c #Conflicts: 346000 | #Constraints: 21700
88.26/89.19 c #Conflicts: 347000 | #Constraints: 22700
88.26/89.19 c #Conflicts: 348000 | #Constraints: 23700
88.26/89.19 c #Conflicts: 349000 | #Constraints: 24700
88.26/89.19 c #Conflicts: 350000 | #Constraints: 25700
88.26/89.19 c #Conflicts: 351000 | #Constraints: 26700
88.26/89.19 c #Conflicts: 352000 | #Constraints: 27700
88.26/89.19 c #Conflicts: 353000 | #Constraints: 28700
88.26/89.19 c #Conflicts: 354000 | #Constraints: 29700
88.26/89.19 c #Conflicts: 355000 | #Constraints: 30700
88.26/89.19 c #Conflicts: 356000 | #Constraints: 31700
88.26/89.19 c #Conflicts: 357000 | #Constraints: 32700
88.26/89.19 c INPROCESSING
88.26/89.19 c GARBAGE COLLECT
88.26/89.19 c rational objective 3
91.44/92.38 c #Conflicts: 358000 | #Constraints: 21900
91.44/92.38 c #Conflicts: 359000 | #Constraints: 22900
91.44/92.38 c #Conflicts: 360000 | #Constraints: 23900
91.44/92.38 c #Conflicts: 361000 | #Constraints: 24900
91.44/92.38 c #Conflicts: 362000 | #Constraints: 25900
91.44/92.38 c #Conflicts: 363000 | #Constraints: 26900
91.44/92.38 c #Conflicts: 364000 | #Constraints: 27900
91.44/92.38 c #Conflicts: 365000 | #Constraints: 28900
91.44/92.38 c #Conflicts: 366000 | #Constraints: 29900
91.44/92.38 c #Conflicts: 367000 | #Constraints: 30900
91.44/92.38 c #Conflicts: 368000 | #Constraints: 31900
91.44/92.38 c #Conflicts: 369000 | #Constraints: 32900
91.44/92.38 c INPROCESSING
91.44/92.38 c GARBAGE COLLECT
91.44/92.38 c rational objective 3
95.12/96.10 c #Conflicts: 370000 | #Constraints: 21901
95.12/96.10 c #Conflicts: 371000 | #Constraints: 22901
95.12/96.10 c #Conflicts: 372000 | #Constraints: 23901
95.12/96.10 c #Conflicts: 373000 | #Constraints: 24901
95.12/96.10 c #Conflicts: 374000 | #Constraints: 25901
95.12/96.10 c #Conflicts: 375000 | #Constraints: 26901
95.12/96.10 c #Conflicts: 376000 | #Constraints: 27901
95.12/96.10 c #Conflicts: 377000 | #Constraints: 28901
95.12/96.10 c #Conflicts: 378000 | #Constraints: 29901
95.12/96.10 c #Conflicts: 379000 | #Constraints: 30901
95.12/96.10 c #Conflicts: 380000 | #Constraints: 31901
95.12/96.10 c #Conflicts: 381000 | #Constraints: 32901
95.12/96.10 c INPROCESSING
95.12/96.10 c GARBAGE COLLECT
95.12/96.10 c rational objective 3
99.09/100.05 c #Conflicts: 382000 | #Constraints: 21696
99.09/100.05 c #Conflicts: 383000 | #Constraints: 22696
99.09/100.05 c #Conflicts: 384000 | #Constraints: 23696
99.09/100.05 c #Conflicts: 385000 | #Constraints: 24696
99.09/100.05 c #Conflicts: 386000 | #Constraints: 25696
99.09/100.05 c #Conflicts: 387000 | #Constraints: 26696
99.09/100.05 c #Conflicts: 388000 | #Constraints: 27696
99.09/100.05 c #Conflicts: 389000 | #Constraints: 28696
99.09/100.05 c #Conflicts: 390000 | #Constraints: 29696
99.09/100.05 c #Conflicts: 391000 | #Constraints: 30696
99.09/100.05 c #Conflicts: 392000 | #Constraints: 31696
99.09/100.05 c #Conflicts: 393000 | #Constraints: 32696
99.09/100.05 c #Conflicts: 394000 | #Constraints: 33696
99.09/100.05 c INPROCESSING
99.09/100.05 c GARBAGE COLLECT
99.09/100.05 c rational objective 3
102.66/103.66 c #Conflicts: 395000 | #Constraints: 22290
102.66/103.66 c #Conflicts: 396000 | #Constraints: 23290
102.66/103.66 c #Conflicts: 397000 | #Constraints: 24290
102.66/103.66 c #Conflicts: 398000 | #Constraints: 25290
102.66/103.66 c #Conflicts: 399000 | #Constraints: 26290
102.66/103.66 c #Conflicts: 400000 | #Constraints: 27290
102.66/103.66 c #Conflicts: 401000 | #Constraints: 28290
102.66/103.66 c #Conflicts: 402000 | #Constraints: 29290
102.66/103.66 c #Conflicts: 403000 | #Constraints: 30290
102.66/103.66 c #Conflicts: 404000 | #Constraints: 31290
102.66/103.66 c #Conflicts: 405000 | #Constraints: 32290
102.66/103.66 c #Conflicts: 406000 | #Constraints: 33290
102.66/103.66 c #Conflicts: 407000 | #Constraints: 34290
102.66/103.66 c INPROCESSING
102.66/103.66 c GARBAGE COLLECT
102.66/103.66 c rational objective 3
106.74/107.78 c #Conflicts: 408000 | #Constraints: 22690
106.74/107.78 c #Conflicts: 409000 | #Constraints: 23690
106.74/107.78 c #Conflicts: 410000 | #Constraints: 24690
106.74/107.78 c #Conflicts: 411000 | #Constraints: 25690
106.74/107.78 c #Conflicts: 412000 | #Constraints: 26690
106.74/107.78 c #Conflicts: 413000 | #Constraints: 27690
106.74/107.78 c #Conflicts: 414000 | #Constraints: 28690
106.74/107.78 c #Conflicts: 415000 | #Constraints: 29690
106.74/107.78 c #Conflicts: 416000 | #Constraints: 30690
106.74/107.78 c #Conflicts: 417000 | #Constraints: 31690
106.74/107.78 c #Conflicts: 418000 | #Constraints: 32690
106.74/107.78 c #Conflicts: 419000 | #Constraints: 33690
106.74/107.78 c #Conflicts: 420000 | #Constraints: 34690
106.74/107.78 c INPROCESSING
106.74/107.78 c GARBAGE COLLECT
106.74/107.78 c rational objective 3
110.53/111.50 c #Conflicts: 421000 | #Constraints: 22894
110.53/111.50 c #Conflicts: 422000 | #Constraints: 23894
110.53/111.50 c #Conflicts: 423000 | #Constraints: 24894
110.53/111.50 c #Conflicts: 424000 | #Constraints: 25894
110.53/111.50 c #Conflicts: 425000 | #Constraints: 26894
110.53/111.50 c #Conflicts: 426000 | #Constraints: 27894
110.53/111.50 c #Conflicts: 427000 | #Constraints: 28894
110.53/111.50 c #Conflicts: 428000 | #Constraints: 29894
110.53/111.50 c #Conflicts: 429000 | #Constraints: 30894
110.53/111.50 c #Conflicts: 430000 | #Constraints: 31894
110.53/111.50 c #Conflicts: 431000 | #Constraints: 32894
110.53/111.50 c #Conflicts: 432000 | #Constraints: 33894
110.53/111.50 c #Conflicts: 433000 | #Constraints: 34894
110.53/111.50 c INPROCESSING
110.53/111.50 c GARBAGE COLLECT
110.53/111.50 c rational objective 3
114.00/115.07 c #Conflicts: 434000 | #Constraints: 22909
114.00/115.07 c #Conflicts: 435000 | #Constraints: 23909
114.00/115.07 c #Conflicts: 436000 | #Constraints: 24909
114.00/115.07 c #Conflicts: 437000 | #Constraints: 25909
114.00/115.07 c #Conflicts: 438000 | #Constraints: 26909
114.00/115.07 c #Conflicts: 439000 | #Constraints: 27909
114.00/115.07 c #Conflicts: 440000 | #Constraints: 28909
114.00/115.07 c #Conflicts: 441000 | #Constraints: 29909
114.00/115.07 c #Conflicts: 442000 | #Constraints: 30909
114.00/115.07 c #Conflicts: 443000 | #Constraints: 31909
114.00/115.07 c #Conflicts: 444000 | #Constraints: 32909
114.00/115.07 c #Conflicts: 445000 | #Constraints: 33909
114.00/115.07 c #Conflicts: 446000 | #Constraints: 34909
114.00/115.07 c INPROCESSING
114.00/115.07 c GARBAGE COLLECT
114.00/115.07 c rational objective 3
118.25/119.33 c #Conflicts: 447000 | #Constraints: 22695
118.25/119.33 c #Conflicts: 448000 | #Constraints: 23695
118.25/119.33 c #Conflicts: 449000 | #Constraints: 24695
118.25/119.33 c #Conflicts: 450000 | #Constraints: 25695
118.25/119.33 c #Conflicts: 451000 | #Constraints: 26695
118.25/119.33 c #Conflicts: 452000 | #Constraints: 27695
118.25/119.33 c #Conflicts: 453000 | #Constraints: 28695
118.25/119.33 c #Conflicts: 454000 | #Constraints: 29695
118.25/119.33 c #Conflicts: 455000 | #Constraints: 30695
118.25/119.33 c #Conflicts: 456000 | #Constraints: 31695
118.25/119.33 c #Conflicts: 457000 | #Constraints: 32695
118.25/119.33 c #Conflicts: 458000 | #Constraints: 33695
118.25/119.33 c #Conflicts: 459000 | #Constraints: 34695
118.25/119.33 c #Conflicts: 460000 | #Constraints: 35695
118.25/119.33 c INPROCESSING
118.25/119.33 c GARBAGE COLLECT
118.25/119.33 c rational objective 3
122.61/123.78 c #Conflicts: 461000 | #Constraints: 23308
122.61/123.78 c #Conflicts: 462000 | #Constraints: 24308
122.61/123.78 c #Conflicts: 463000 | #Constraints: 25308
122.61/123.78 c #Conflicts: 464000 | #Constraints: 26308
122.61/123.78 c #Conflicts: 465000 | #Constraints: 27308
122.61/123.78 c #Conflicts: 466000 | #Constraints: 28308
122.61/123.78 c #Conflicts: 467000 | #Constraints: 29308
122.61/123.78 c #Conflicts: 468000 | #Constraints: 30308
122.61/123.78 c #Conflicts: 469000 | #Constraints: 31308
122.61/123.78 c #Conflicts: 470000 | #Constraints: 32308
122.61/123.78 c #Conflicts: 471000 | #Constraints: 33308
122.61/123.78 c #Conflicts: 472000 | #Constraints: 34308
122.61/123.78 c #Conflicts: 473000 | #Constraints: 35308
122.61/123.78 c #Conflicts: 474000 | #Constraints: 36308
122.61/123.78 c INPROCESSING
122.61/123.78 c GARBAGE COLLECT
122.61/123.78 c rational objective 3
127.64/132.99 c #Conflicts: 475000 | #Constraints: 23707
127.64/132.99 c #Conflicts: 476000 | #Constraints: 24707
127.64/132.99 c #Conflicts: 477000 | #Constraints: 25707
127.64/132.99 c #Conflicts: 478000 | #Constraints: 26707
127.64/132.99 c #Conflicts: 479000 | #Constraints: 27707
127.64/132.99 c #Conflicts: 480000 | #Constraints: 28707
127.64/132.99 c #Conflicts: 481000 | #Constraints: 29707
127.64/132.99 c #Conflicts: 482000 | #Constraints: 30707
127.64/132.99 c #Conflicts: 483000 | #Constraints: 31707
127.64/132.99 c #Conflicts: 484000 | #Constraints: 32707
127.64/132.99 c #Conflicts: 485000 | #Constraints: 33707
127.64/132.99 c #Conflicts: 486000 | #Constraints: 34707
127.64/132.99 c #Conflicts: 487000 | #Constraints: 35707
127.64/132.99 c #Conflicts: 488000 | #Constraints: 36707
127.64/132.99 c INPROCESSING
127.64/132.99 c GARBAGE COLLECT
127.64/132.99 c rational objective 3
132.03/137.30 c #Conflicts: 489000 | #Constraints: 23914
132.03/137.30 c #Conflicts: 490000 | #Constraints: 24914
132.03/137.30 c #Conflicts: 491000 | #Constraints: 25914
132.03/137.30 c #Conflicts: 492000 | #Constraints: 26914
132.03/137.30 c #Conflicts: 493000 | #Constraints: 27914
132.03/137.30 c #Conflicts: 494000 | #Constraints: 28914
132.03/137.30 c #Conflicts: 495000 | #Constraints: 29914
132.03/137.30 c #Conflicts: 496000 | #Constraints: 30914
132.03/137.30 c #Conflicts: 497000 | #Constraints: 31914
132.03/137.30 c #Conflicts: 498000 | #Constraints: 32914
132.03/137.30 c #Conflicts: 499000 | #Constraints: 33914
132.03/137.30 c #Conflicts: 500000 | #Constraints: 34914
132.03/137.30 c #Conflicts: 501000 | #Constraints: 35914
132.03/137.30 c #Conflicts: 502000 | #Constraints: 36914
132.03/137.30 c INPROCESSING
132.03/137.30 c GARBAGE COLLECT
132.03/137.30 c rational objective 3
136.21/141.59 c #Conflicts: 503000 | #Constraints: 23908
136.21/141.59 c #Conflicts: 504000 | #Constraints: 24908
136.21/141.59 c #Conflicts: 505000 | #Constraints: 25908
136.21/141.59 c #Conflicts: 506000 | #Constraints: 26908
136.21/141.59 c #Conflicts: 507000 | #Constraints: 27908
136.21/141.59 c #Conflicts: 508000 | #Constraints: 28908
136.21/141.59 c #Conflicts: 509000 | #Constraints: 29908
136.21/141.59 c #Conflicts: 510000 | #Constraints: 30908
136.21/141.59 c #Conflicts: 511000 | #Constraints: 31908
136.21/141.59 c #Conflicts: 512000 | #Constraints: 32908
136.21/141.59 c #Conflicts: 513000 | #Constraints: 33908
136.21/141.59 c #Conflicts: 514000 | #Constraints: 34908
136.21/141.59 c #Conflicts: 515000 | #Constraints: 35908
136.21/141.59 c #Conflicts: 516000 | #Constraints: 36908
136.21/141.59 c INPROCESSING
136.21/141.59 c GARBAGE COLLECT
136.21/141.59 c rational objective 3
140.10/145.45 c #Conflicts: 517000 | #Constraints: 23697
140.10/145.45 c #Conflicts: 518000 | #Constraints: 24697
140.10/145.45 c #Conflicts: 519000 | #Constraints: 25697
140.10/145.45 c #Conflicts: 520000 | #Constraints: 26697
140.10/145.45 c #Conflicts: 521000 | #Constraints: 27697
140.10/145.45 c #Conflicts: 522000 | #Constraints: 28697
140.10/145.45 c #Conflicts: 523000 | #Constraints: 29697
140.10/145.45 c #Conflicts: 524000 | #Constraints: 30697
140.10/145.45 c #Conflicts: 525000 | #Constraints: 31697
140.10/145.45 c #Conflicts: 526000 | #Constraints: 32697
140.10/145.45 c #Conflicts: 527000 | #Constraints: 33697
140.10/145.45 c #Conflicts: 528000 | #Constraints: 34697
140.10/145.45 c #Conflicts: 529000 | #Constraints: 35697
140.10/145.45 c #Conflicts: 530000 | #Constraints: 36697
140.10/145.45 c #Conflicts: 531000 | #Constraints: 37697
140.10/145.45 c INPROCESSING
140.10/145.45 c GARBAGE COLLECT
140.10/145.45 c rational objective 3
144.49/149.89 c #Conflicts: 532000 | #Constraints: 24306
144.49/149.89 c #Conflicts: 533000 | #Constraints: 25306
144.49/149.89 c #Conflicts: 534000 | #Constraints: 26306
144.49/149.89 c #Conflicts: 535000 | #Constraints: 27306
144.49/149.89 c #Conflicts: 536000 | #Constraints: 28306
144.49/149.89 c #Conflicts: 537000 | #Constraints: 29306
144.49/149.89 c #Conflicts: 538000 | #Constraints: 30306
144.49/149.89 c #Conflicts: 539000 | #Constraints: 31306
144.49/149.89 c #Conflicts: 540000 | #Constraints: 32306
144.49/149.89 c #Conflicts: 541000 | #Constraints: 33306
144.49/149.89 c #Conflicts: 542000 | #Constraints: 34306
144.49/149.89 c #Conflicts: 543000 | #Constraints: 35306
144.49/149.89 c #Conflicts: 544000 | #Constraints: 36306
144.49/149.89 c #Conflicts: 545000 | #Constraints: 37306
144.49/149.89 c #Conflicts: 546000 | #Constraints: 38306
144.49/149.89 c INPROCESSING
144.49/149.89 c GARBAGE COLLECT
144.49/149.89 c rational objective 3
148.69/154.10 c #Conflicts: 547000 | #Constraints: 24708
148.69/154.10 c #Conflicts: 548000 | #Constraints: 25708
148.69/154.10 c #Conflicts: 549000 | #Constraints: 26708
148.69/154.10 c #Conflicts: 550000 | #Constraints: 27708
148.69/154.10 c #Conflicts: 551000 | #Constraints: 28708
148.69/154.10 c #Conflicts: 552000 | #Constraints: 29708
148.69/154.10 c #Conflicts: 553000 | #Constraints: 30708
148.69/154.10 c #Conflicts: 554000 | #Constraints: 31708
148.69/154.10 c #Conflicts: 555000 | #Constraints: 32708
148.69/154.10 c #Conflicts: 556000 | #Constraints: 33708
148.69/154.10 c #Conflicts: 557000 | #Constraints: 34708
148.69/154.10 c #Conflicts: 558000 | #Constraints: 35708
148.69/154.10 c #Conflicts: 559000 | #Constraints: 36708
148.69/154.10 c #Conflicts: 560000 | #Constraints: 37708
148.69/154.10 c #Conflicts: 561000 | #Constraints: 38708
148.69/154.10 c INPROCESSING
148.69/154.10 c GARBAGE COLLECT
148.69/154.10 c rational objective 3
153.26/158.61 c #Conflicts: 562000 | #Constraints: 24905
153.26/158.61 c #Conflicts: 563000 | #Constraints: 25905
153.26/158.61 c #Conflicts: 564000 | #Constraints: 26905
153.26/158.61 c #Conflicts: 565000 | #Constraints: 27905
153.26/158.61 c #Conflicts: 566000 | #Constraints: 28905
153.26/158.61 c #Conflicts: 567000 | #Constraints: 29905
153.26/158.61 c #Conflicts: 568000 | #Constraints: 30905
153.26/158.61 c #Conflicts: 569000 | #Constraints: 31905
153.26/158.61 c #Conflicts: 570000 | #Constraints: 32905
153.26/158.61 c #Conflicts: 571000 | #Constraints: 33905
153.26/158.61 c #Conflicts: 572000 | #Constraints: 34905
153.26/158.61 c #Conflicts: 573000 | #Constraints: 35905
153.26/158.61 c #Conflicts: 574000 | #Constraints: 36905
153.26/158.61 c #Conflicts: 575000 | #Constraints: 37905
153.26/158.61 c #Conflicts: 576000 | #Constraints: 38905
153.26/158.61 c INPROCESSING
153.26/158.61 c GARBAGE COLLECT
153.26/158.61 c rational objective 3
157.40/162.88 c #Conflicts: 577000 | #Constraints: 24914
157.40/162.88 c #Conflicts: 578000 | #Constraints: 25914
157.40/162.88 c #Conflicts: 579000 | #Constraints: 26914
157.40/162.88 c #Conflicts: 580000 | #Constraints: 27914
157.40/162.88 c #Conflicts: 581000 | #Constraints: 28914
157.40/162.88 c #Conflicts: 582000 | #Constraints: 29914
157.40/162.88 c #Conflicts: 583000 | #Constraints: 30914
157.40/162.88 c #Conflicts: 584000 | #Constraints: 31914
157.40/162.88 c #Conflicts: 585000 | #Constraints: 32914
157.40/162.88 c #Conflicts: 586000 | #Constraints: 33914
157.40/162.88 c #Conflicts: 587000 | #Constraints: 34914
157.40/162.88 c #Conflicts: 588000 | #Constraints: 35914
157.40/162.88 c #Conflicts: 589000 | #Constraints: 36914
157.40/162.88 c #Conflicts: 590000 | #Constraints: 37914
157.40/162.88 c #Conflicts: 591000 | #Constraints: 38914
157.40/162.88 c INPROCESSING
157.40/162.88 c GARBAGE COLLECT
157.40/162.88 c rational objective 3
162.38/167.82 c #Conflicts: 592000 | #Constraints: 24706
162.38/167.82 c #Conflicts: 593000 | #Constraints: 25706
162.38/167.82 c #Conflicts: 594000 | #Constraints: 26706
162.38/167.82 c #Conflicts: 595000 | #Constraints: 27706
162.38/167.82 c #Conflicts: 596000 | #Constraints: 28706
162.38/167.82 c #Conflicts: 597000 | #Constraints: 29706
162.38/167.82 c #Conflicts: 598000 | #Constraints: 30706
162.38/167.82 c #Conflicts: 599000 | #Constraints: 31706
162.38/167.82 c #Conflicts: 600000 | #Constraints: 32706
162.38/167.82 c #Conflicts: 601000 | #Constraints: 33706
162.38/167.82 c #Conflicts: 602000 | #Constraints: 34706
162.38/167.82 c #Conflicts: 603000 | #Constraints: 35706
162.38/167.82 c #Conflicts: 604000 | #Constraints: 36706
162.38/167.82 c #Conflicts: 605000 | #Constraints: 37706
162.38/167.82 c #Conflicts: 606000 | #Constraints: 38706
162.38/167.82 c #Conflicts: 607000 | #Constraints: 39706
162.38/167.82 c INPROCESSING
162.38/167.82 c GARBAGE COLLECT
162.38/167.82 c rational objective 3
166.45/171.92 c #Conflicts: 608000 | #Constraints: 25326
166.45/171.92 c #Conflicts: 609000 | #Constraints: 26326
166.45/171.92 c #Conflicts: 610000 | #Constraints: 27326
166.45/171.92 c #Conflicts: 611000 | #Constraints: 28326
166.45/171.92 c #Conflicts: 612000 | #Constraints: 29326
166.45/171.92 c #Conflicts: 613000 | #Constraints: 30326
166.45/171.92 c #Conflicts: 614000 | #Constraints: 31326
166.45/171.92 c #Conflicts: 615000 | #Constraints: 32326
166.45/171.92 c #Conflicts: 616000 | #Constraints: 33326
166.45/171.92 c #Conflicts: 617000 | #Constraints: 34326
166.45/171.92 c #Conflicts: 618000 | #Constraints: 35326
166.45/171.92 c #Conflicts: 619000 | #Constraints: 36326
166.45/171.92 c #Conflicts: 620000 | #Constraints: 37326
166.45/171.92 c #Conflicts: 621000 | #Constraints: 38326
166.45/171.92 c #Conflicts: 622000 | #Constraints: 39326
166.45/171.92 c #Conflicts: 623000 | #Constraints: 40326
166.45/171.92 c INPROCESSING
166.45/171.92 c GARBAGE COLLECT
166.45/171.92 c rational objective 3
172.13/177.61 c #Conflicts: 624000 | #Constraints: 25714
172.13/177.61 c #Conflicts: 625000 | #Constraints: 26714
172.13/177.61 c #Conflicts: 626000 | #Constraints: 27714
172.13/177.61 c #Conflicts: 627000 | #Constraints: 28714
172.13/177.61 c #Conflicts: 628000 | #Constraints: 29714
172.13/177.61 c #Conflicts: 629000 | #Constraints: 30714
172.13/177.61 c #Conflicts: 630000 | #Constraints: 31714
172.13/177.61 c #Conflicts: 631000 | #Constraints: 32714
172.13/177.61 c #Conflicts: 632000 | #Constraints: 33714
172.13/177.61 c #Conflicts: 633000 | #Constraints: 34714
172.13/177.61 c #Conflicts: 634000 | #Constraints: 35714
172.13/177.61 c #Conflicts: 635000 | #Constraints: 36714
172.13/177.61 c #Conflicts: 636000 | #Constraints: 37714
172.13/177.61 c #Conflicts: 637000 | #Constraints: 38714
172.13/177.61 c #Conflicts: 638000 | #Constraints: 39714
172.13/177.61 c #Conflicts: 639000 | #Constraints: 40714
172.13/177.61 c INPROCESSING
172.13/177.61 c GARBAGE COLLECT
172.13/177.61 c rational objective 3
176.62/182.17 c #Conflicts: 640000 | #Constraints: 25911
176.62/182.17 c #Conflicts: 641000 | #Constraints: 26911
176.62/182.17 c #Conflicts: 642000 | #Constraints: 27911
176.62/182.17 c #Conflicts: 643000 | #Constraints: 28911
176.62/182.17 c #Conflicts: 644000 | #Constraints: 29911
176.62/182.17 c #Conflicts: 645000 | #Constraints: 30911
176.62/182.17 c #Conflicts: 646000 | #Constraints: 31911
176.62/182.17 c #Conflicts: 647000 | #Constraints: 32911
176.62/182.17 c #Conflicts: 648000 | #Constraints: 33911
176.62/182.17 c #Conflicts: 649000 | #Constraints: 34911
176.62/182.17 c #Conflicts: 650000 | #Constraints: 35911
176.62/182.17 c #Conflicts: 651000 | #Constraints: 36911
176.62/182.17 c #Conflicts: 652000 | #Constraints: 37911
176.62/182.17 c #Conflicts: 653000 | #Constraints: 38911
176.62/182.17 c #Conflicts: 654000 | #Constraints: 39911
176.62/182.17 c #Conflicts: 655000 | #Constraints: 40911
176.62/182.17 c INPROCESSING
176.62/182.17 c GARBAGE COLLECT
176.62/182.17 c rational objective 3
181.39/187.01 c #Conflicts: 656000 | #Constraints: 25906
181.39/187.01 c #Conflicts: 657000 | #Constraints: 26906
181.39/187.01 c #Conflicts: 658000 | #Constraints: 27906
181.39/187.01 c #Conflicts: 659000 | #Constraints: 28906
181.39/187.01 c #Conflicts: 660000 | #Constraints: 29906
181.39/187.01 c #Conflicts: 661000 | #Constraints: 30906
181.39/187.01 c #Conflicts: 662000 | #Constraints: 31906
181.39/187.01 c #Conflicts: 663000 | #Constraints: 32906
181.39/187.01 c #Conflicts: 664000 | #Constraints: 33906
181.39/187.01 c #Conflicts: 665000 | #Constraints: 34906
181.39/187.01 c #Conflicts: 666000 | #Constraints: 35906
181.39/187.01 c #Conflicts: 667000 | #Constraints: 36906
181.39/187.01 c #Conflicts: 668000 | #Constraints: 37906
181.39/187.01 c #Conflicts: 669000 | #Constraints: 38906
181.39/187.01 c #Conflicts: 670000 | #Constraints: 39906
181.39/187.01 c #Conflicts: 671000 | #Constraints: 40906
181.39/187.01 c INPROCESSING
181.39/187.01 c GARBAGE COLLECT
181.39/187.01 c rational objective 3
186.34/191.98 c #Conflicts: 672000 | #Constraints: 25716
186.34/191.98 c #Conflicts: 673000 | #Constraints: 26716
186.34/191.98 c #Conflicts: 674000 | #Constraints: 27716
186.34/191.98 c #Conflicts: 675000 | #Constraints: 28716
186.34/191.98 c #Conflicts: 676000 | #Constraints: 29716
186.34/191.98 c #Conflicts: 677000 | #Constraints: 30716
186.34/191.98 c #Conflicts: 678000 | #Constraints: 31716
186.34/191.98 c #Conflicts: 679000 | #Constraints: 32716
186.34/191.98 c #Conflicts: 680000 | #Constraints: 33716
186.34/191.98 c #Conflicts: 681000 | #Constraints: 34716
186.34/191.98 c #Conflicts: 682000 | #Constraints: 35716
186.34/191.98 c #Conflicts: 683000 | #Constraints: 36716
186.34/191.98 c #Conflicts: 684000 | #Constraints: 37716
186.34/191.98 c #Conflicts: 685000 | #Constraints: 38716
186.34/191.98 c #Conflicts: 686000 | #Constraints: 39716
186.34/191.98 c bounds 5 >= 4 @ 181.336
187.14/192.78 c #Conflicts: 687000 | #Constraints: 40717
187.14/192.78 c #Conflicts: 688000 | #Constraints: 41717
187.14/192.78 c INPROCESSING
187.14/192.78 c GARBAGE COLLECT
187.14/192.78 c rational objective 4
191.30/196.93 c #Conflicts: 689000 | #Constraints: 18058
191.30/196.93 c #Conflicts: 690000 | #Constraints: 19058
191.30/196.93 c #Conflicts: 691000 | #Constraints: 20058
191.30/196.93 c #Conflicts: 692000 | #Constraints: 21058
191.30/196.93 c #Conflicts: 693000 | #Constraints: 22058
191.30/196.93 c #Conflicts: 694000 | #Constraints: 23058
191.30/196.93 c #Conflicts: 695000 | #Constraints: 24058
191.30/196.93 c #Conflicts: 696000 | #Constraints: 25058
191.30/196.93 c #Conflicts: 697000 | #Constraints: 26059
191.30/196.93 c #Conflicts: 698000 | #Constraints: 27059
191.30/196.93 c #Conflicts: 699000 | #Constraints: 28059
191.30/196.93 c #Conflicts: 700000 | #Constraints: 29059
191.30/196.93 c #Conflicts: 701000 | #Constraints: 30059
191.30/196.93 c #Conflicts: 702000 | #Constraints: 31059
191.30/196.93 c #Conflicts: 703000 | #Constraints: 32059
191.30/196.93 c #Conflicts: 704000 | #Constraints: 33059
191.30/196.93 c #Conflicts: 705000 | #Constraints: 34059
191.30/196.93 c INPROCESSING
191.30/196.93 c GARBAGE COLLECT
191.30/196.93 c rational objective 4
195.50/201.13 c #Conflicts: 706000 | #Constraints: 22415
195.50/201.13 c #Conflicts: 707000 | #Constraints: 23415
195.50/201.13 c #Conflicts: 708000 | #Constraints: 24415
195.50/201.13 c #Conflicts: 709000 | #Constraints: 25415
195.50/201.13 c #Conflicts: 710000 | #Constraints: 26415
195.50/201.13 c #Conflicts: 711000 | #Constraints: 27415
195.50/201.13 c #Conflicts: 712000 | #Constraints: 28415
195.50/201.13 c #Conflicts: 713000 | #Constraints: 29415
195.50/201.13 c #Conflicts: 714000 | #Constraints: 30415
195.50/201.13 c #Conflicts: 715000 | #Constraints: 31415
195.50/201.13 c #Conflicts: 716000 | #Constraints: 32415
195.50/201.13 c #Conflicts: 717000 | #Constraints: 33415
195.50/201.13 c #Conflicts: 718000 | #Constraints: 34415
195.50/201.13 c #Conflicts: 719000 | #Constraints: 35415
195.50/201.13 c #Conflicts: 720000 | #Constraints: 36415
195.50/201.13 c #Conflicts: 721000 | #Constraints: 37415
195.50/201.13 c #Conflicts: 722000 | #Constraints: 38415
195.50/201.13 c INPROCESSING
195.50/201.13 c GARBAGE COLLECT
195.50/201.13 c rational objective 4
202.27/207.91 c #Conflicts: 723000 | #Constraints: 24584
202.27/207.91 c #Conflicts: 724000 | #Constraints: 25584
202.27/207.91 c #Conflicts: 725000 | #Constraints: 26584
202.27/207.91 c #Conflicts: 726000 | #Constraints: 27584
202.27/207.91 c #Conflicts: 727000 | #Constraints: 28584
202.27/207.91 c #Conflicts: 728000 | #Constraints: 29584
202.27/207.91 c #Conflicts: 729000 | #Constraints: 30584
202.27/207.91 c #Conflicts: 730000 | #Constraints: 31584
202.27/207.91 c #Conflicts: 731000 | #Constraints: 32584
202.27/207.91 c #Conflicts: 732000 | #Constraints: 33584
202.27/207.91 c #Conflicts: 733000 | #Constraints: 34584
202.27/207.91 c #Conflicts: 734000 | #Constraints: 35584
202.27/207.91 c #Conflicts: 735000 | #Constraints: 36584
202.27/207.91 c #Conflicts: 736000 | #Constraints: 37584
202.27/207.91 c #Conflicts: 737000 | #Constraints: 38584
202.27/207.91 c #Conflicts: 738000 | #Constraints: 39584
202.27/207.91 c #Conflicts: 739000 | #Constraints: 40584
202.27/207.91 c INPROCESSING
202.27/207.91 c GARBAGE COLLECT
202.27/207.91 c rational objective 4
206.85/212.54 c #Conflicts: 740000 | #Constraints: 25568
206.85/212.54 c #Conflicts: 741000 | #Constraints: 26568
206.85/212.54 c #Conflicts: 742000 | #Constraints: 27568
206.85/212.54 c #Conflicts: 743000 | #Constraints: 28568
206.85/212.54 c #Conflicts: 744000 | #Constraints: 29568
206.85/212.54 c #Conflicts: 745000 | #Constraints: 30568
206.85/212.54 c #Conflicts: 746000 | #Constraints: 31568
206.85/212.54 c #Conflicts: 747000 | #Constraints: 32568
206.85/212.54 c #Conflicts: 748000 | #Constraints: 33568
206.85/212.54 c #Conflicts: 749000 | #Constraints: 34568
206.85/212.54 c #Conflicts: 750000 | #Constraints: 35568
206.85/212.54 c #Conflicts: 751000 | #Constraints: 36568
206.85/212.54 c #Conflicts: 752000 | #Constraints: 37568
206.85/212.54 c #Conflicts: 753000 | #Constraints: 38568
206.85/212.54 c #Conflicts: 754000 | #Constraints: 39568
206.85/212.54 c #Conflicts: 755000 | #Constraints: 40568
206.85/212.54 c #Conflicts: 756000 | #Constraints: 41568
206.85/212.54 c INPROCESSING
206.85/212.54 c GARBAGE COLLECT
206.85/212.54 c rational objective 4
211.64/217.30 c #Conflicts: 757000 | #Constraints: 25867
211.64/217.30 c #Conflicts: 758000 | #Constraints: 26867
211.64/217.30 c #Conflicts: 759000 | #Constraints: 27867
211.64/217.30 c #Conflicts: 760000 | #Constraints: 28867
211.64/217.30 c #Conflicts: 761000 | #Constraints: 29867
211.64/217.30 c #Conflicts: 762000 | #Constraints: 30867
211.64/217.30 c #Conflicts: 763000 | #Constraints: 31867
211.64/217.30 c #Conflicts: 764000 | #Constraints: 32867
211.64/217.30 c #Conflicts: 765000 | #Constraints: 33867
211.64/217.30 c #Conflicts: 766000 | #Constraints: 34867
211.64/217.30 c #Conflicts: 767000 | #Constraints: 35867
211.64/217.30 c #Conflicts: 768000 | #Constraints: 36867
211.64/217.30 c #Conflicts: 769000 | #Constraints: 37867
211.64/217.30 c #Conflicts: 770000 | #Constraints: 38867
211.64/217.30 c #Conflicts: 771000 | #Constraints: 39867
211.64/217.30 c #Conflicts: 772000 | #Constraints: 40867
211.64/217.30 c #Conflicts: 773000 | #Constraints: 41867
211.64/217.30 c #Conflicts: 774000 | #Constraints: 42867
211.64/217.30 c INPROCESSING
211.64/217.30 c GARBAGE COLLECT
211.64/217.30 c rational objective 4
220.27/226.03 c #Conflicts: 775000 | #Constraints: 26727
220.27/226.03 c #Conflicts: 776000 | #Constraints: 27727
220.27/226.03 c #Conflicts: 777000 | #Constraints: 28727
220.27/226.03 c #Conflicts: 778000 | #Constraints: 29727
220.27/226.03 c #Conflicts: 779000 | #Constraints: 30727
220.27/226.03 c #Conflicts: 780000 | #Constraints: 31727
220.27/226.03 c #Conflicts: 781000 | #Constraints: 32727
220.27/226.03 c #Conflicts: 782000 | #Constraints: 33727
220.27/226.03 c #Conflicts: 783000 | #Constraints: 34727
220.27/226.03 c #Conflicts: 784000 | #Constraints: 35727
220.27/226.03 c #Conflicts: 785000 | #Constraints: 36728
220.27/226.03 c #Conflicts: 786000 | #Constraints: 37728
220.27/226.03 c #Conflicts: 787000 | #Constraints: 38728
220.27/226.03 c #Conflicts: 788000 | #Constraints: 39728
220.27/226.03 c #Conflicts: 789000 | #Constraints: 40728
220.27/226.03 c #Conflicts: 790000 | #Constraints: 41728
220.27/226.03 c #Conflicts: 791000 | #Constraints: 42728
220.27/226.03 c #Conflicts: 792000 | #Constraints: 43728
220.27/226.03 c INPROCESSING
220.27/226.03 c GARBAGE COLLECT
220.27/226.03 c rational objective 4
225.43/231.26 c #Conflicts: 793000 | #Constraints: 27248
225.43/231.26 c #Conflicts: 794000 | #Constraints: 28248
225.43/231.26 c #Conflicts: 795000 | #Constraints: 29248
225.43/231.26 c #Conflicts: 796000 | #Constraints: 30248
225.43/231.26 c #Conflicts: 797000 | #Constraints: 31248
225.43/231.26 c #Conflicts: 798000 | #Constraints: 32248
225.43/231.26 c #Conflicts: 799000 | #Constraints: 33248
225.43/231.26 c #Conflicts: 800000 | #Constraints: 34248
225.43/231.26 c #Conflicts: 801000 | #Constraints: 35248
225.43/231.26 c #Conflicts: 802000 | #Constraints: 36248
225.43/231.26 c #Conflicts: 803000 | #Constraints: 37248
225.43/231.26 c #Conflicts: 804000 | #Constraints: 38248
225.43/231.26 c #Conflicts: 805000 | #Constraints: 39248
225.43/231.26 c #Conflicts: 806000 | #Constraints: 40248
225.43/231.26 c #Conflicts: 807000 | #Constraints: 41248
225.43/231.26 c #Conflicts: 808000 | #Constraints: 42248
225.43/231.26 c #Conflicts: 809000 | #Constraints: 43248
225.43/231.26 c #Conflicts: 810000 | #Constraints: 44248
225.43/231.26 c INPROCESSING
225.43/231.26 c GARBAGE COLLECT
225.43/231.26 c rational objective 4
230.34/236.19 c #Conflicts: 811000 | #Constraints: 27503
230.34/236.19 c #Conflicts: 812000 | #Constraints: 28503
230.34/236.19 c #Conflicts: 813000 | #Constraints: 29503
230.34/236.19 c #Conflicts: 814000 | #Constraints: 30503
230.34/236.19 c #Conflicts: 815000 | #Constraints: 31503
230.34/236.19 c #Conflicts: 816000 | #Constraints: 32503
230.34/236.19 c #Conflicts: 817000 | #Constraints: 33503
230.34/236.19 c #Conflicts: 818000 | #Constraints: 34503
230.34/236.19 c #Conflicts: 819000 | #Constraints: 35503
230.34/236.19 c #Conflicts: 820000 | #Constraints: 36503
230.34/236.19 c #Conflicts: 821000 | #Constraints: 37503
230.34/236.19 c #Conflicts: 822000 | #Constraints: 38503
230.34/236.19 c #Conflicts: 823000 | #Constraints: 39503
230.34/236.19 c #Conflicts: 824000 | #Constraints: 40503
230.34/236.19 c #Conflicts: 825000 | #Constraints: 41503
230.34/236.19 c #Conflicts: 826000 | #Constraints: 42503
230.34/236.19 c #Conflicts: 827000 | #Constraints: 43503
230.34/236.19 c #Conflicts: 828000 | #Constraints: 44503
230.34/236.19 c INPROCESSING
230.34/236.19 c GARBAGE COLLECT
230.34/236.19 c rational objective 4
240.69/246.57 c #Conflicts: 829000 | #Constraints: 27424
240.69/246.57 c #Conflicts: 830000 | #Constraints: 28424
240.69/246.57 c #Conflicts: 831000 | #Constraints: 29424
240.69/246.57 c #Conflicts: 832000 | #Constraints: 30425
240.69/246.57 c #Conflicts: 833000 | #Constraints: 31430
240.69/246.57 c #Conflicts: 834000 | #Constraints: 32676
240.69/246.57 c #Conflicts: 835000 | #Constraints: 34116
240.69/246.57 c #Conflicts: 836000 | #Constraints: 35558
240.69/246.57 c #Conflicts: 837000 | #Constraints: 37009
240.69/246.57 c #Conflicts: 838000 | #Constraints: 38455
240.69/246.57 c #Conflicts: 839000 | #Constraints: 39904
240.69/246.57 c #Conflicts: 840000 | #Constraints: 41318
240.69/246.57 c #Conflicts: 841000 | #Constraints: 42518
240.69/246.57 c #Conflicts: 842000 | #Constraints: 43619
240.69/246.57 c #Conflicts: 843000 | #Constraints: 44945
240.69/246.57 c #Conflicts: 844000 | #Constraints: 46091
240.69/246.57 c #Conflicts: 845000 | #Constraints: 47094
240.69/246.57 c #Conflicts: 846000 | #Constraints: 48224
240.69/246.57 c INPROCESSING
240.69/246.57 c GARBAGE COLLECT
240.69/246.57 c rational objective 4
246.45/252.35 c #Conflicts: 847000 | #Constraints: 29177
246.45/252.35 c #Conflicts: 848000 | #Constraints: 30177
246.45/252.35 c #Conflicts: 849000 | #Constraints: 31177
246.45/252.35 c #Conflicts: 850000 | #Constraints: 32177
246.45/252.35 c #Conflicts: 851000 | #Constraints: 33177
246.45/252.35 c #Conflicts: 852000 | #Constraints: 34177
246.45/252.35 c #Conflicts: 853000 | #Constraints: 35177
246.45/252.35 c #Conflicts: 854000 | #Constraints: 36177
246.45/252.35 c #Conflicts: 855000 | #Constraints: 37177
246.45/252.35 c #Conflicts: 856000 | #Constraints: 38177
246.45/252.35 c #Conflicts: 857000 | #Constraints: 39177
246.45/252.35 c #Conflicts: 858000 | #Constraints: 40177
246.45/252.35 c #Conflicts: 859000 | #Constraints: 41177
246.45/252.35 c #Conflicts: 860000 | #Constraints: 42177
246.45/252.35 c #Conflicts: 861000 | #Constraints: 43177
246.45/252.35 c #Conflicts: 862000 | #Constraints: 44177
246.45/252.35 c #Conflicts: 863000 | #Constraints: 45177
246.45/252.35 c #Conflicts: 864000 | #Constraints: 46177
246.45/252.35 c #Conflicts: 865000 | #Constraints: 47177
246.45/252.35 c INPROCESSING
246.45/252.35 c GARBAGE COLLECT
246.45/252.35 c rational objective 4
255.72/261.64 c #Conflicts: 866000 | #Constraints: 28816
255.72/261.64 c #Conflicts: 867000 | #Constraints: 29816
255.72/261.64 c #Conflicts: 868000 | #Constraints: 30938
255.72/261.64 c #Conflicts: 869000 | #Constraints: 32408
255.72/261.64 c #Conflicts: 870000 | #Constraints: 33687
255.72/261.64 c #Conflicts: 871000 | #Constraints: 34844
255.72/261.64 c #Conflicts: 872000 | #Constraints: 36010
255.72/261.64 c #Conflicts: 873000 | #Constraints: 37481
255.72/261.64 c #Conflicts: 874000 | #Constraints: 38891
255.72/261.64 c #Conflicts: 875000 | #Constraints: 40025
255.72/261.64 c #Conflicts: 876000 | #Constraints: 41127
255.72/261.64 c #Conflicts: 877000 | #Constraints: 42366
255.72/261.64 c #Conflicts: 878000 | #Constraints: 43476
255.72/261.64 c #Conflicts: 879000 | #Constraints: 44653
255.72/261.64 c #Conflicts: 880000 | #Constraints: 45730
255.72/261.64 c #Conflicts: 881000 | #Constraints: 46781
255.72/261.64 c #Conflicts: 882000 | #Constraints: 47826
255.72/261.64 c #Conflicts: 883000 | #Constraints: 48935
255.72/261.64 c #Conflicts: 884000 | #Constraints: 50011
255.72/261.64 c INPROCESSING
255.72/261.64 c GARBAGE COLLECT
255.72/261.64 c rational objective 4
261.12/267.09 c #Conflicts: 885000 | #Constraints: 29633
261.12/267.09 c #Conflicts: 886000 | #Constraints: 30633
261.12/267.09 c #Conflicts: 887000 | #Constraints: 31633
261.12/267.09 c #Conflicts: 888000 | #Constraints: 32633
261.12/267.09 c #Conflicts: 889000 | #Constraints: 33633
261.12/267.09 c #Conflicts: 890000 | #Constraints: 34633
261.12/267.09 c #Conflicts: 891000 | #Constraints: 35633
261.12/267.09 c #Conflicts: 892000 | #Constraints: 36633
261.12/267.09 c #Conflicts: 893000 | #Constraints: 37633
261.12/267.09 c #Conflicts: 894000 | #Constraints: 38633
261.12/267.09 c #Conflicts: 895000 | #Constraints: 39633
261.12/267.09 c #Conflicts: 896000 | #Constraints: 40633
261.12/267.09 c #Conflicts: 897000 | #Constraints: 41633
261.12/267.09 c #Conflicts: 898000 | #Constraints: 42633
261.12/267.09 c #Conflicts: 899000 | #Constraints: 43633
261.12/267.09 c #Conflicts: 900000 | #Constraints: 44633
261.12/267.09 c #Conflicts: 901000 | #Constraints: 45633
261.12/267.09 c #Conflicts: 902000 | #Constraints: 46633
261.12/267.09 c #Conflicts: 903000 | #Constraints: 47633
261.12/267.09 c INPROCESSING
261.12/267.09 c GARBAGE COLLECT
261.12/267.09 c rational objective 4
265.80/271.78 c #Conflicts: 904000 | #Constraints: 28799
265.80/271.78 c #Conflicts: 905000 | #Constraints: 29799
265.80/271.78 c #Conflicts: 906000 | #Constraints: 30799
265.80/271.78 c #Conflicts: 907000 | #Constraints: 31799
265.80/271.78 c #Conflicts: 908000 | #Constraints: 32799
265.80/271.78 c #Conflicts: 909000 | #Constraints: 33799
265.80/271.78 c #Conflicts: 910000 | #Constraints: 34800
265.80/271.78 c #Conflicts: 911000 | #Constraints: 35800
265.80/271.78 c #Conflicts: 912000 | #Constraints: 36802
265.80/271.78 c #Conflicts: 913000 | #Constraints: 37802
265.80/271.78 c #Conflicts: 914000 | #Constraints: 38802
265.80/271.78 c #Conflicts: 915000 | #Constraints: 39803
265.80/271.78 c #Conflicts: 916000 | #Constraints: 40803
265.80/271.78 c #Conflicts: 917000 | #Constraints: 41803
265.80/271.78 c #Conflicts: 918000 | #Constraints: 42803
265.80/271.78 c #Conflicts: 919000 | #Constraints: 43803
265.80/271.78 c #Conflicts: 920000 | #Constraints: 44803
265.80/271.78 c #Conflicts: 921000 | #Constraints: 45803
265.80/271.78 c #Conflicts: 922000 | #Constraints: 46804
265.80/271.78 c INPROCESSING
265.80/271.78 c GARBAGE COLLECT
265.80/271.78 c rational objective 4
270.98/276.93 c #Conflicts: 923000 | #Constraints: 28281
270.98/276.93 c #Conflicts: 924000 | #Constraints: 29282
270.98/276.93 c #Conflicts: 925000 | #Constraints: 30283
270.98/276.93 c #Conflicts: 926000 | #Constraints: 31284
270.98/276.93 c #Conflicts: 927000 | #Constraints: 32293
270.98/276.93 c #Conflicts: 928000 | #Constraints: 33293
270.98/276.93 c #Conflicts: 929000 | #Constraints: 34293
270.98/276.93 c #Conflicts: 930000 | #Constraints: 35294
270.98/276.93 c #Conflicts: 931000 | #Constraints: 36294
270.98/276.93 c #Conflicts: 932000 | #Constraints: 37294
270.98/276.93 c #Conflicts: 933000 | #Constraints: 38295
270.98/276.93 c #Conflicts: 934000 | #Constraints: 39295
270.98/276.93 c #Conflicts: 935000 | #Constraints: 40295
270.98/276.93 c #Conflicts: 936000 | #Constraints: 41295
270.98/276.93 c #Conflicts: 937000 | #Constraints: 42295
270.98/276.93 c #Conflicts: 938000 | #Constraints: 43295
270.98/276.93 c #Conflicts: 939000 | #Constraints: 44295
270.98/276.93 c #Conflicts: 940000 | #Constraints: 45296
270.98/276.93 c #Conflicts: 941000 | #Constraints: 46298
270.98/276.93 c INPROCESSING
270.98/276.93 c GARBAGE COLLECT
270.98/276.93 c rational objective 4
275.87/281.80 c #Conflicts: 942000 | #Constraints: 27835
275.87/281.80 c #Conflicts: 943000 | #Constraints: 28835
275.87/281.80 c #Conflicts: 944000 | #Constraints: 29835
275.87/281.80 c #Conflicts: 945000 | #Constraints: 30835
275.87/281.80 c #Conflicts: 946000 | #Constraints: 31835
275.87/281.80 c #Conflicts: 947000 | #Constraints: 32835
275.87/281.80 c #Conflicts: 948000 | #Constraints: 33835
275.87/281.80 c #Conflicts: 949000 | #Constraints: 34835
275.87/281.80 c #Conflicts: 950000 | #Constraints: 35835
275.87/281.80 c #Conflicts: 951000 | #Constraints: 36835
275.87/281.80 c #Conflicts: 952000 | #Constraints: 37835
275.87/281.80 c #Conflicts: 953000 | #Constraints: 38835
275.87/281.80 c #Conflicts: 954000 | #Constraints: 39835
275.87/281.80 c #Conflicts: 955000 | #Constraints: 40835
275.87/281.80 c #Conflicts: 956000 | #Constraints: 41835
275.87/281.80 c #Conflicts: 957000 | #Constraints: 42835
275.87/281.80 c #Conflicts: 958000 | #Constraints: 43835
275.87/281.80 c #Conflicts: 959000 | #Constraints: 44835
275.87/281.80 c #Conflicts: 960000 | #Constraints: 45835
275.87/281.80 c #Conflicts: 961000 | #Constraints: 46835
275.87/281.80 c INPROCESSING
275.87/281.80 c GARBAGE COLLECT
275.87/281.80 c rational objective 4
281.04/287.06 c #Conflicts: 962000 | #Constraints: 28299
281.04/287.06 c #Conflicts: 963000 | #Constraints: 29299
281.04/287.06 c #Conflicts: 964000 | #Constraints: 30299
281.04/287.06 c #Conflicts: 965000 | #Constraints: 31299
281.04/287.06 c #Conflicts: 966000 | #Constraints: 32299
281.04/287.06 c #Conflicts: 967000 | #Constraints: 33299
281.04/287.06 c #Conflicts: 968000 | #Constraints: 34299
281.04/287.06 c #Conflicts: 969000 | #Constraints: 35299
281.04/287.06 c #Conflicts: 970000 | #Constraints: 36299
281.04/287.06 c #Conflicts: 971000 | #Constraints: 37299
281.04/287.06 c #Conflicts: 972000 | #Constraints: 38299
281.04/287.06 c #Conflicts: 973000 | #Constraints: 39299
281.04/287.06 c #Conflicts: 974000 | #Constraints: 40299
281.04/287.06 c #Conflicts: 975000 | #Constraints: 41299
281.04/287.06 c #Conflicts: 976000 | #Constraints: 42299
281.04/287.06 c #Conflicts: 977000 | #Constraints: 43299
281.04/287.06 c #Conflicts: 978000 | #Constraints: 44299
281.04/287.06 c #Conflicts: 979000 | #Constraints: 45299
281.04/287.06 c #Conflicts: 980000 | #Constraints: 46299
281.04/287.06 c #Conflicts: 981000 | #Constraints: 47299
281.04/287.06 c INPROCESSING
281.04/287.06 c GARBAGE COLLECT
281.04/287.06 c rational objective 4
285.71/291.76 c #Conflicts: 982000 | #Constraints: 28626
285.71/291.76 c #Conflicts: 983000 | #Constraints: 29626
285.71/291.76 c #Conflicts: 984000 | #Constraints: 30626
285.71/291.76 c #Conflicts: 985000 | #Constraints: 31626
285.71/291.76 c #Conflicts: 986000 | #Constraints: 32626
285.71/291.76 c #Conflicts: 987000 | #Constraints: 33626
285.71/291.76 c #Conflicts: 988000 | #Constraints: 34626
285.71/291.76 c #Conflicts: 989000 | #Constraints: 35626
285.71/291.76 c #Conflicts: 990000 | #Constraints: 36626
285.71/291.76 c #Conflicts: 991000 | #Constraints: 37626
285.71/291.76 c #Conflicts: 992000 | #Constraints: 38626
285.71/291.76 c #Conflicts: 993000 | #Constraints: 39626
285.71/291.76 c #Conflicts: 994000 | #Constraints: 40626
285.71/291.76 c #Conflicts: 995000 | #Constraints: 41626
285.71/291.76 c #Conflicts: 996000 | #Constraints: 42626
285.71/291.76 c #Conflicts: 997000 | #Constraints: 43626
285.71/291.76 c #Conflicts: 998000 | #Constraints: 44626
285.71/291.76 c #Conflicts: 999000 | #Constraints: 45626
285.71/291.76 c #Conflicts: 1000000 | #Constraints: 46626
285.71/291.76 c #Conflicts: 1001000 | #Constraints: 47626
285.71/291.76 c INPROCESSING
285.71/291.76 c GARBAGE COLLECT
285.71/291.76 c rational objective 4
290.89/296.92 c #Conflicts: 1002000 | #Constraints: 28797
290.89/296.92 c #Conflicts: 1003000 | #Constraints: 29797
290.89/296.92 c #Conflicts: 1004000 | #Constraints: 30797
290.89/296.92 c #Conflicts: 1005000 | #Constraints: 31797
290.89/296.92 c #Conflicts: 1006000 | #Constraints: 32797
290.89/296.92 c #Conflicts: 1007000 | #Constraints: 33797
290.89/296.92 c #Conflicts: 1008000 | #Constraints: 34797
290.89/296.92 c #Conflicts: 1009000 | #Constraints: 35797
290.89/296.92 c #Conflicts: 1010000 | #Constraints: 36797
290.89/296.92 c #Conflicts: 1011000 | #Constraints: 37797
290.89/296.92 c #Conflicts: 1012000 | #Constraints: 38797
290.89/296.92 c #Conflicts: 1013000 | #Constraints: 39797
290.89/296.92 c #Conflicts: 1014000 | #Constraints: 40797
290.89/296.92 c #Conflicts: 1015000 | #Constraints: 41797
290.89/296.92 c #Conflicts: 1016000 | #Constraints: 42797
290.89/296.92 c #Conflicts: 1017000 | #Constraints: 43797
290.89/296.92 c #Conflicts: 1018000 | #Constraints: 44797
290.89/296.92 c #Conflicts: 1019000 | #Constraints: 45797
290.89/296.92 c #Conflicts: 1020000 | #Constraints: 46797
290.89/296.92 c #Conflicts: 1021000 | #Constraints: 47797
290.89/296.92 c INPROCESSING
290.89/296.92 c GARBAGE COLLECT
290.89/296.92 c rational objective 4
296.09/302.13 c #Conflicts: 1022000 | #Constraints: 28786
296.09/302.13 c #Conflicts: 1023000 | #Constraints: 29786
296.09/302.13 c #Conflicts: 1024000 | #Constraints: 30786
296.09/302.13 c #Conflicts: 1025000 | #Constraints: 31786
296.09/302.13 c #Conflicts: 1026000 | #Constraints: 32786
296.09/302.13 c #Conflicts: 1027000 | #Constraints: 33786
296.09/302.13 c #Conflicts: 1028000 | #Constraints: 34786
296.09/302.13 c #Conflicts: 1029000 | #Constraints: 35786
296.09/302.13 c #Conflicts: 1030000 | #Constraints: 36786
296.09/302.13 c #Conflicts: 1031000 | #Constraints: 37786
296.09/302.13 c #Conflicts: 1032000 | #Constraints: 38786
296.09/302.13 c #Conflicts: 1033000 | #Constraints: 39786
296.09/302.13 c #Conflicts: 1034000 | #Constraints: 40786
296.09/302.13 c #Conflicts: 1035000 | #Constraints: 41786
296.09/302.13 c #Conflicts: 1036000 | #Constraints: 42786
296.09/302.13 c #Conflicts: 1037000 | #Constraints: 43786
296.09/302.13 c #Conflicts: 1038000 | #Constraints: 44786
296.09/302.13 c #Conflicts: 1039000 | #Constraints: 45786
296.09/302.13 c #Conflicts: 1040000 | #Constraints: 46786
296.09/302.13 c #Conflicts: 1041000 | #Constraints: 47786
296.09/302.13 c INPROCESSING
296.09/302.13 c GARBAGE COLLECT
296.09/302.13 c rational objective 4
301.46/307.58 c #Conflicts: 1042000 | #Constraints: 28583
301.46/307.58 c #Conflicts: 1043000 | #Constraints: 29583
301.46/307.58 c #Conflicts: 1044000 | #Constraints: 30583
301.46/307.58 c #Conflicts: 1045000 | #Constraints: 31583
301.46/307.58 c #Conflicts: 1046000 | #Constraints: 32583
301.46/307.58 c #Conflicts: 1047000 | #Constraints: 33583
301.46/307.58 c #Conflicts: 1048000 | #Constraints: 34583
301.46/307.58 c #Conflicts: 1049000 | #Constraints: 35583
301.46/307.58 c #Conflicts: 1050000 | #Constraints: 36583
301.46/307.58 c #Conflicts: 1051000 | #Constraints: 37583
301.46/307.58 c #Conflicts: 1052000 | #Constraints: 38583
301.46/307.58 c #Conflicts: 1053000 | #Constraints: 39583
301.46/307.58 c #Conflicts: 1054000 | #Constraints: 40583
301.46/307.58 c #Conflicts: 1055000 | #Constraints: 41583
301.46/307.58 c #Conflicts: 1056000 | #Constraints: 42583
301.46/307.58 c #Conflicts: 1057000 | #Constraints: 43583
301.46/307.58 c #Conflicts: 1058000 | #Constraints: 44583
301.46/307.58 c #Conflicts: 1059000 | #Constraints: 45583
301.46/307.58 c #Conflicts: 1060000 | #Constraints: 46583
301.46/307.58 c #Conflicts: 1061000 | #Constraints: 47583
301.46/307.58 c #Conflicts: 1062000 | #Constraints: 48583
301.46/307.58 c INPROCESSING
301.46/307.58 c GARBAGE COLLECT
301.46/307.58 c rational objective 4
307.11/313.29 c #Conflicts: 1063000 | #Constraints: 29182
307.11/313.29 c #Conflicts: 1064000 | #Constraints: 30182
307.11/313.29 c #Conflicts: 1065000 | #Constraints: 31182
307.11/313.29 c #Conflicts: 1066000 | #Constraints: 32182
307.11/313.29 c #Conflicts: 1067000 | #Constraints: 33182
307.11/313.29 c #Conflicts: 1068000 | #Constraints: 34182
307.11/313.29 c #Conflicts: 1069000 | #Constraints: 35182
307.11/313.29 c #Conflicts: 1070000 | #Constraints: 36182
307.11/313.29 c #Conflicts: 1071000 | #Constraints: 37182
307.11/313.29 c #Conflicts: 1072000 | #Constraints: 38182
307.11/313.29 c #Conflicts: 1073000 | #Constraints: 39182
307.11/313.29 c #Conflicts: 1074000 | #Constraints: 40182
307.11/313.29 c #Conflicts: 1075000 | #Constraints: 41182
307.11/313.29 c #Conflicts: 1076000 | #Constraints: 42182
307.11/313.29 c #Conflicts: 1077000 | #Constraints: 43182
307.11/313.29 c #Conflicts: 1078000 | #Constraints: 44182
307.11/313.29 c #Conflicts: 1079000 | #Constraints: 45182
307.11/313.29 c #Conflicts: 1080000 | #Constraints: 46182
307.11/313.29 c #Conflicts: 1081000 | #Constraints: 47182
307.11/313.29 c #Conflicts: 1082000 | #Constraints: 48182
307.11/313.29 c #Conflicts: 1083000 | #Constraints: 49182
307.11/313.29 c INPROCESSING
307.11/313.29 c GARBAGE COLLECT
307.11/313.29 c rational objective 4
312.69/318.81 c #Conflicts: 1084000 | #Constraints: 29582
312.69/318.81 c #Conflicts: 1085000 | #Constraints: 30582
312.69/318.81 c #Conflicts: 1086000 | #Constraints: 31582
312.69/318.81 c #Conflicts: 1087000 | #Constraints: 32582
312.69/318.81 c #Conflicts: 1088000 | #Constraints: 33582
312.69/318.81 c #Conflicts: 1089000 | #Constraints: 34582
312.69/318.81 c #Conflicts: 1090000 | #Constraints: 35582
312.69/318.81 c #Conflicts: 1091000 | #Constraints: 36582
312.69/318.81 c #Conflicts: 1092000 | #Constraints: 37582
312.69/318.81 c #Conflicts: 1093000 | #Constraints: 38582
312.69/318.81 c #Conflicts: 1094000 | #Constraints: 39582
312.69/318.81 c #Conflicts: 1095000 | #Constraints: 40582
312.69/318.81 c #Conflicts: 1096000 | #Constraints: 41582
312.69/318.81 c #Conflicts: 1097000 | #Constraints: 42582
312.69/318.81 c #Conflicts: 1098000 | #Constraints: 43582
312.69/318.81 c #Conflicts: 1099000 | #Constraints: 44582
312.69/318.81 c #Conflicts: 1100000 | #Constraints: 45582
312.69/318.81 c #Conflicts: 1101000 | #Constraints: 46582
312.69/318.81 c #Conflicts: 1102000 | #Constraints: 47582
312.69/318.81 c #Conflicts: 1103000 | #Constraints: 48582
312.69/318.81 c #Conflicts: 1104000 | #Constraints: 49582
312.69/318.81 c INPROCESSING
312.69/318.81 c GARBAGE COLLECT
312.69/318.81 c rational objective 4
318.17/324.34 c #Conflicts: 1105000 | #Constraints: 29774
318.17/324.34 c #Conflicts: 1106000 | #Constraints: 30774
318.17/324.34 c #Conflicts: 1107000 | #Constraints: 31774
318.17/324.34 c #Conflicts: 1108000 | #Constraints: 32774
318.17/324.34 c #Conflicts: 1109000 | #Constraints: 33774
318.17/324.34 c #Conflicts: 1110000 | #Constraints: 34774
318.17/324.34 c #Conflicts: 1111000 | #Constraints: 35774
318.17/324.34 c #Conflicts: 1112000 | #Constraints: 36774
318.17/324.34 c #Conflicts: 1113000 | #Constraints: 37774
318.17/324.34 c #Conflicts: 1114000 | #Constraints: 38774
318.17/324.34 c #Conflicts: 1115000 | #Constraints: 39774
318.17/324.34 c #Conflicts: 1116000 | #Constraints: 40774
318.17/324.34 c #Conflicts: 1117000 | #Constraints: 41774
318.17/324.34 c #Conflicts: 1118000 | #Constraints: 42774
318.17/324.34 c #Conflicts: 1119000 | #Constraints: 43774
318.17/324.34 c #Conflicts: 1120000 | #Constraints: 44774
318.17/324.34 c #Conflicts: 1121000 | #Constraints: 45774
318.17/324.34 c #Conflicts: 1122000 | #Constraints: 46774
318.17/324.34 c #Conflicts: 1123000 | #Constraints: 47774
318.17/324.34 c #Conflicts: 1124000 | #Constraints: 48774
318.17/324.34 c #Conflicts: 1125000 | #Constraints: 49774
318.17/324.34 c INPROCESSING
318.17/324.34 c GARBAGE COLLECT
318.17/324.34 c rational objective 4
323.36/329.54 c #Conflicts: 1126000 | #Constraints: 29777
323.36/329.54 c #Conflicts: 1127000 | #Constraints: 30778
323.36/329.54 c #Conflicts: 1128000 | #Constraints: 31802
323.36/329.54 c #Conflicts: 1129000 | #Constraints: 32802
323.36/329.54 c #Conflicts: 1130000 | #Constraints: 33802
323.36/329.54 c #Conflicts: 1131000 | #Constraints: 34803
323.36/329.54 c #Conflicts: 1132000 | #Constraints: 35804
323.36/329.54 c #Conflicts: 1133000 | #Constraints: 36804
323.36/329.54 c #Conflicts: 1134000 | #Constraints: 37805
323.36/329.54 c #Conflicts: 1135000 | #Constraints: 38805
323.36/329.54 c #Conflicts: 1136000 | #Constraints: 39805
323.36/329.54 c #Conflicts: 1137000 | #Constraints: 40805
323.36/329.54 c #Conflicts: 1138000 | #Constraints: 41805
323.36/329.54 c #Conflicts: 1139000 | #Constraints: 42806
323.36/329.54 c #Conflicts: 1140000 | #Constraints: 43807
323.36/329.54 c #Conflicts: 1141000 | #Constraints: 44807
323.36/329.54 c #Conflicts: 1142000 | #Constraints: 45808
323.36/329.54 c #Conflicts: 1143000 | #Constraints: 46808
323.36/329.54 c #Conflicts: 1144000 | #Constraints: 47808
323.36/329.54 c #Conflicts: 1145000 | #Constraints: 48808
323.36/329.54 c #Conflicts: 1146000 | #Constraints: 49809
323.36/329.54 c INPROCESSING
323.36/329.54 c GARBAGE COLLECT
323.36/329.54 c rational objective 4
328.74/334.97 c #Conflicts: 1147000 | #Constraints: 29587
328.74/334.97 c #Conflicts: 1148000 | #Constraints: 30587
328.74/334.97 c #Conflicts: 1149000 | #Constraints: 31587
328.74/334.97 c #Conflicts: 1150000 | #Constraints: 32587
328.74/334.97 c #Conflicts: 1151000 | #Constraints: 33587
328.74/334.97 c #Conflicts: 1152000 | #Constraints: 34587
328.74/334.97 c #Conflicts: 1153000 | #Constraints: 35587
328.74/334.97 c #Conflicts: 1154000 | #Constraints: 36587
328.74/334.97 c #Conflicts: 1155000 | #Constraints: 37587
328.74/334.97 c #Conflicts: 1156000 | #Constraints: 38587
328.74/334.97 c #Conflicts: 1157000 | #Constraints: 39587
328.74/334.97 c #Conflicts: 1158000 | #Constraints: 40587
328.74/334.97 c #Conflicts: 1159000 | #Constraints: 41587
328.74/334.97 c #Conflicts: 1160000 | #Constraints: 42587
328.74/334.97 c #Conflicts: 1161000 | #Constraints: 43587
328.74/334.97 c #Conflicts: 1162000 | #Constraints: 44587
328.74/334.97 c #Conflicts: 1163000 | #Constraints: 45587
328.74/334.97 c #Conflicts: 1164000 | #Constraints: 46587
328.74/334.97 c #Conflicts: 1165000 | #Constraints: 47587
328.74/334.97 c #Conflicts: 1166000 | #Constraints: 48587
328.74/334.97 c #Conflicts: 1167000 | #Constraints: 49587
328.74/334.97 c #Conflicts: 1168000 | #Constraints: 50587
328.74/334.97 c INPROCESSING
328.74/334.97 c GARBAGE COLLECT
328.74/334.97 c rational objective 4
334.13/340.38 c #Conflicts: 1169000 | #Constraints: 30180
334.13/340.38 c #Conflicts: 1170000 | #Constraints: 31180
334.13/340.38 c #Conflicts: 1171000 | #Constraints: 32180
334.13/340.38 c #Conflicts: 1172000 | #Constraints: 33180
334.13/340.38 c #Conflicts: 1173000 | #Constraints: 34180
334.13/340.38 c #Conflicts: 1174000 | #Constraints: 35180
334.13/340.38 c #Conflicts: 1175000 | #Constraints: 36180
334.13/340.38 c #Conflicts: 1176000 | #Constraints: 37180
334.13/340.38 c #Conflicts: 1177000 | #Constraints: 38180
334.13/340.38 c #Conflicts: 1178000 | #Constraints: 39180
334.13/340.38 c #Conflicts: 1179000 | #Constraints: 40180
334.13/340.38 c #Conflicts: 1180000 | #Constraints: 41180
334.13/340.38 c #Conflicts: 1181000 | #Constraints: 42180
334.13/340.38 c #Conflicts: 1182000 | #Constraints: 43180
334.13/340.38 c #Conflicts: 1183000 | #Constraints: 44180
334.13/340.38 c #Conflicts: 1184000 | #Constraints: 45180
334.13/340.38 c #Conflicts: 1185000 | #Constraints: 46180
334.13/340.38 c #Conflicts: 1186000 | #Constraints: 47180
334.13/340.38 c #Conflicts: 1187000 | #Constraints: 48180
334.13/340.38 c #Conflicts: 1188000 | #Constraints: 49180
334.13/340.38 c #Conflicts: 1189000 | #Constraints: 50180
334.13/340.38 c #Conflicts: 1190000 | #Constraints: 51180
334.13/340.38 c INPROCESSING
334.13/340.38 c GARBAGE COLLECT
334.13/340.38 c rational objective 4
339.98/346.23 c #Conflicts: 1191000 | #Constraints: 30578
339.98/346.23 c #Conflicts: 1192000 | #Constraints: 31578
339.98/346.23 c #Conflicts: 1193000 | #Constraints: 32578
339.98/346.23 c #Conflicts: 1194000 | #Constraints: 33578
339.98/346.23 c #Conflicts: 1195000 | #Constraints: 34578
339.98/346.23 c #Conflicts: 1196000 | #Constraints: 35578
339.98/346.23 c #Conflicts: 1197000 | #Constraints: 36579
339.98/346.23 c #Conflicts: 1198000 | #Constraints: 37579
339.98/346.23 c #Conflicts: 1199000 | #Constraints: 38579
339.98/346.23 c #Conflicts: 1200000 | #Constraints: 39579
339.98/346.23 c #Conflicts: 1201000 | #Constraints: 40579
339.98/346.23 c #Conflicts: 1202000 | #Constraints: 41580
339.98/346.23 c #Conflicts: 1203000 | #Constraints: 42580
339.98/346.23 c #Conflicts: 1204000 | #Constraints: 43580
339.98/346.23 c #Conflicts: 1205000 | #Constraints: 44580
339.98/346.23 c #Conflicts: 1206000 | #Constraints: 45580
339.98/346.23 c #Conflicts: 1207000 | #Constraints: 46581
339.98/346.23 c #Conflicts: 1208000 | #Constraints: 47581
339.98/346.23 c #Conflicts: 1209000 | #Constraints: 48581
339.98/346.23 c #Conflicts: 1210000 | #Constraints: 49582
339.98/346.23 c #Conflicts: 1211000 | #Constraints: 50582
339.98/346.23 c #Conflicts: 1212000 | #Constraints: 51582
339.98/346.23 c INPROCESSING
339.98/346.23 c GARBAGE COLLECT
339.98/346.23 c rational objective 4
345.46/351.72 c #Conflicts: 1213000 | #Constraints: 30769
345.46/351.72 c #Conflicts: 1214000 | #Constraints: 31769
345.46/351.72 c #Conflicts: 1215000 | #Constraints: 32769
345.46/351.72 c #Conflicts: 1216000 | #Constraints: 33769
345.46/351.72 c #Conflicts: 1217000 | #Constraints: 34769
345.46/351.72 c #Conflicts: 1218000 | #Constraints: 35769
345.46/351.72 c #Conflicts: 1219000 | #Constraints: 36769
345.46/351.72 c #Conflicts: 1220000 | #Constraints: 37769
345.46/351.72 c #Conflicts: 1221000 | #Constraints: 38769
345.46/351.72 c #Conflicts: 1222000 | #Constraints: 39769
345.46/351.72 c #Conflicts: 1223000 | #Constraints: 40769
345.46/351.72 c #Conflicts: 1224000 | #Constraints: 41769
345.46/351.72 c #Conflicts: 1225000 | #Constraints: 42769
345.46/351.72 c #Conflicts: 1226000 | #Constraints: 43769
345.46/351.72 c #Conflicts: 1227000 | #Constraints: 44769
345.46/351.72 c #Conflicts: 1228000 | #Constraints: 45769
345.46/351.72 c #Conflicts: 1229000 | #Constraints: 46769
345.46/351.72 c #Conflicts: 1230000 | #Constraints: 47769
345.46/351.72 c #Conflicts: 1231000 | #Constraints: 48769
345.46/351.72 c #Conflicts: 1232000 | #Constraints: 49769
345.46/351.72 c #Conflicts: 1233000 | #Constraints: 50769
345.46/351.72 c #Conflicts: 1234000 | #Constraints: 51769
345.46/351.72 c INPROCESSING
345.46/351.72 c GARBAGE COLLECT
345.46/351.72 c rational objective 4
351.54/357.85 c #Conflicts: 1235000 | #Constraints: 30758
351.54/357.85 c #Conflicts: 1236000 | #Constraints: 31758
351.54/357.85 c #Conflicts: 1237000 | #Constraints: 32758
351.54/357.85 c #Conflicts: 1238000 | #Constraints: 33758
351.54/357.85 c #Conflicts: 1239000 | #Constraints: 34758
351.54/357.85 c #Conflicts: 1240000 | #Constraints: 35758
351.54/357.85 c #Conflicts: 1241000 | #Constraints: 36758
351.54/357.85 c #Conflicts: 1242000 | #Constraints: 37758
351.54/357.85 c #Conflicts: 1243000 | #Constraints: 38758
351.54/357.85 c #Conflicts: 1244000 | #Constraints: 39758
351.54/357.85 c #Conflicts: 1245000 | #Constraints: 40758
351.54/357.85 c #Conflicts: 1246000 | #Constraints: 41758
351.54/357.85 c #Conflicts: 1247000 | #Constraints: 42758
351.54/357.85 c #Conflicts: 1248000 | #Constraints: 43758
351.54/357.85 c #Conflicts: 1249000 | #Constraints: 44758
351.54/357.85 c #Conflicts: 1250000 | #Constraints: 45758
351.54/357.85 c #Conflicts: 1251000 | #Constraints: 46758
351.54/357.85 c #Conflicts: 1252000 | #Constraints: 47758
351.54/357.85 c #Conflicts: 1253000 | #Constraints: 48758
351.54/357.85 c #Conflicts: 1254000 | #Constraints: 49758
351.54/357.85 c #Conflicts: 1255000 | #Constraints: 50758
351.54/357.85 c #Conflicts: 1256000 | #Constraints: 51758
351.54/357.85 c INPROCESSING
351.54/357.85 c GARBAGE COLLECT
351.54/357.85 c rational objective 4
357.22/363.57 c #Conflicts: 1257000 | #Constraints: 28868
357.22/363.57 c #Conflicts: 1258000 | #Constraints: 29868
357.22/363.57 c #Conflicts: 1259000 | #Constraints: 30868
357.22/363.57 c #Conflicts: 1260000 | #Constraints: 31868
357.22/363.57 c #Conflicts: 1261000 | #Constraints: 32868
357.22/363.57 c #Conflicts: 1262000 | #Constraints: 33868
357.22/363.57 c #Conflicts: 1263000 | #Constraints: 34868
357.22/363.57 c #Conflicts: 1264000 | #Constraints: 35868
357.22/363.57 c #Conflicts: 1265000 | #Constraints: 36868
357.22/363.57 c #Conflicts: 1266000 | #Constraints: 37868
357.22/363.57 c #Conflicts: 1267000 | #Constraints: 38868
357.22/363.57 c #Conflicts: 1268000 | #Constraints: 39868
357.22/363.57 c #Conflicts: 1269000 | #Constraints: 40868
357.22/363.57 c #Conflicts: 1270000 | #Constraints: 41868
357.22/363.57 c #Conflicts: 1271000 | #Constraints: 42868
357.22/363.57 c #Conflicts: 1272000 | #Constraints: 43868
357.22/363.57 c #Conflicts: 1273000 | #Constraints: 44868
357.22/363.57 c #Conflicts: 1274000 | #Constraints: 45868
357.22/363.57 c #Conflicts: 1275000 | #Constraints: 46868
357.22/363.57 c #Conflicts: 1276000 | #Constraints: 47868
357.22/363.57 c #Conflicts: 1277000 | #Constraints: 48868
357.22/363.57 c #Conflicts: 1278000 | #Constraints: 49868
357.22/363.57 c #Conflicts: 1279000 | #Constraints: 50868
357.22/363.57 c INPROCESSING
357.22/363.57 c GARBAGE COLLECT
357.22/363.57 c rational objective 4
364.20/370.54 c #Conflicts: 1280000 | #Constraints: 30301
364.20/370.54 c #Conflicts: 1281000 | #Constraints: 31301
364.20/370.54 c #Conflicts: 1282000 | #Constraints: 32301
364.20/370.54 c #Conflicts: 1283000 | #Constraints: 33301
364.20/370.54 c #Conflicts: 1284000 | #Constraints: 34301
364.20/370.54 c #Conflicts: 1285000 | #Constraints: 35301
364.20/370.54 c #Conflicts: 1286000 | #Constraints: 36301
364.20/370.54 c #Conflicts: 1287000 | #Constraints: 37301
364.20/370.54 c #Conflicts: 1288000 | #Constraints: 38301
364.20/370.54 c #Conflicts: 1289000 | #Constraints: 39301
364.20/370.54 c #Conflicts: 1290000 | #Constraints: 40301
364.20/370.54 c #Conflicts: 1291000 | #Constraints: 41301
364.20/370.54 c #Conflicts: 1292000 | #Constraints: 42301
364.20/370.54 c #Conflicts: 1293000 | #Constraints: 43301
364.20/370.54 c #Conflicts: 1294000 | #Constraints: 44301
364.20/370.54 c #Conflicts: 1295000 | #Constraints: 45301
364.20/370.54 c #Conflicts: 1296000 | #Constraints: 46301
364.20/370.54 c #Conflicts: 1297000 | #Constraints: 47301
364.20/370.54 c #Conflicts: 1298000 | #Constraints: 48301
364.20/370.54 c #Conflicts: 1299000 | #Constraints: 49301
364.20/370.54 c #Conflicts: 1300000 | #Constraints: 50301
364.20/370.54 c #Conflicts: 1301000 | #Constraints: 51301
364.20/370.54 c #Conflicts: 1302000 | #Constraints: 52301
364.20/370.54 c INPROCESSING
364.20/370.54 c GARBAGE COLLECT
364.20/370.54 c rational objective 4
370.92/379.23 c #Conflicts: 1303000 | #Constraints: 31117
370.92/379.23 c #Conflicts: 1304000 | #Constraints: 32117
370.92/379.23 c #Conflicts: 1305000 | #Constraints: 33117
370.92/379.23 c #Conflicts: 1306000 | #Constraints: 34117
370.92/379.23 c #Conflicts: 1307000 | #Constraints: 35117
370.92/379.23 c #Conflicts: 1308000 | #Constraints: 36117
370.92/379.23 c #Conflicts: 1309000 | #Constraints: 37117
370.92/379.23 c #Conflicts: 1310000 | #Constraints: 38117
370.92/379.23 c #Conflicts: 1311000 | #Constraints: 39117
370.92/379.23 c #Conflicts: 1312000 | #Constraints: 40117
370.92/379.23 c #Conflicts: 1313000 | #Constraints: 41117
370.92/379.23 c #Conflicts: 1314000 | #Constraints: 42117
370.92/379.23 c #Conflicts: 1315000 | #Constraints: 43117
370.92/379.23 c #Conflicts: 1316000 | #Constraints: 44117
370.92/379.23 c #Conflicts: 1317000 | #Constraints: 45117
370.92/379.23 c #Conflicts: 1318000 | #Constraints: 46117
370.92/379.23 c #Conflicts: 1319000 | #Constraints: 47117
370.92/379.23 c #Conflicts: 1320000 | #Constraints: 48117
370.92/379.23 c #Conflicts: 1321000 | #Constraints: 49117
370.92/379.23 c #Conflicts: 1322000 | #Constraints: 50117
370.92/379.23 c #Conflicts: 1323000 | #Constraints: 51117
370.92/379.23 c #Conflicts: 1324000 | #Constraints: 52117
370.92/379.23 c #Conflicts: 1325000 | #Constraints: 53117
370.92/379.23 c INPROCESSING
370.92/379.23 c GARBAGE COLLECT
370.92/379.23 c rational objective 4
377.20/385.57 c #Conflicts: 1326000 | #Constraints: 31527
377.20/385.57 c #Conflicts: 1327000 | #Constraints: 32527
377.20/385.57 c #Conflicts: 1328000 | #Constraints: 33527
377.20/385.57 c #Conflicts: 1329000 | #Constraints: 34527
377.20/385.57 c #Conflicts: 1330000 | #Constraints: 35527
377.20/385.57 c #Conflicts: 1331000 | #Constraints: 36527
377.20/385.57 c #Conflicts: 1332000 | #Constraints: 37527
377.20/385.57 c #Conflicts: 1333000 | #Constraints: 38527
377.20/385.57 c #Conflicts: 1334000 | #Constraints: 39527
377.20/385.57 c #Conflicts: 1335000 | #Constraints: 40527
377.20/385.57 c #Conflicts: 1336000 | #Constraints: 41527
377.20/385.57 c #Conflicts: 1337000 | #Constraints: 42527
377.20/385.57 c #Conflicts: 1338000 | #Constraints: 43527
377.20/385.57 c #Conflicts: 1339000 | #Constraints: 44527
377.20/385.57 c #Conflicts: 1340000 | #Constraints: 45527
377.20/385.57 c #Conflicts: 1341000 | #Constraints: 46527
377.20/385.57 c #Conflicts: 1342000 | #Constraints: 47527
377.20/385.57 c #Conflicts: 1343000 | #Constraints: 48527
377.20/385.57 c #Conflicts: 1344000 | #Constraints: 49527
377.20/385.57 c #Conflicts: 1345000 | #Constraints: 50527
377.20/385.57 c #Conflicts: 1346000 | #Constraints: 51527
377.20/385.57 c #Conflicts: 1347000 | #Constraints: 52527
377.20/385.57 c #Conflicts: 1348000 | #Constraints: 53527
377.20/385.57 c INPROCESSING
377.20/385.57 c GARBAGE COLLECT
377.20/385.57 c rational objective 4
383.98/392.31 c #Conflicts: 1349000 | #Constraints: 31627
383.98/392.31 c #Conflicts: 1350000 | #Constraints: 32627
383.98/392.31 c #Conflicts: 1351000 | #Constraints: 33627
383.98/392.31 c #Conflicts: 1352000 | #Constraints: 34627
383.98/392.31 c #Conflicts: 1353000 | #Constraints: 35627
383.98/392.31 c #Conflicts: 1354000 | #Constraints: 36627
383.98/392.31 c #Conflicts: 1355000 | #Constraints: 37627
383.98/392.31 c #Conflicts: 1356000 | #Constraints: 38627
383.98/392.31 c #Conflicts: 1357000 | #Constraints: 39627
383.98/392.31 c #Conflicts: 1358000 | #Constraints: 40627
383.98/392.31 c #Conflicts: 1359000 | #Constraints: 41627
383.98/392.31 c #Conflicts: 1360000 | #Constraints: 42627
383.98/392.31 c #Conflicts: 1361000 | #Constraints: 43627
383.98/392.31 c #Conflicts: 1362000 | #Constraints: 44627
383.98/392.31 c #Conflicts: 1363000 | #Constraints: 45627
383.98/392.31 c #Conflicts: 1364000 | #Constraints: 46627
383.98/392.31 c #Conflicts: 1365000 | #Constraints: 47627
383.98/392.31 c #Conflicts: 1366000 | #Constraints: 48627
383.98/392.31 c #Conflicts: 1367000 | #Constraints: 49627
383.98/392.31 c #Conflicts: 1368000 | #Constraints: 50627
383.98/392.31 c #Conflicts: 1369000 | #Constraints: 51627
383.98/392.31 c #Conflicts: 1370000 | #Constraints: 52627
383.98/392.31 c #Conflicts: 1371000 | #Constraints: 53627
383.98/392.31 c INPROCESSING
383.98/392.31 c GARBAGE COLLECT
383.98/392.31 c rational objective 4
390.55/398.93 c #Conflicts: 1372000 | #Constraints: 27000
390.55/398.93 c #Conflicts: 1373000 | #Constraints: 28000
390.55/398.93 c #Conflicts: 1374000 | #Constraints: 29000
390.55/398.93 c #Conflicts: 1375000 | #Constraints: 30000
390.55/398.93 c #Conflicts: 1376000 | #Constraints: 31000
390.55/398.93 c #Conflicts: 1377000 | #Constraints: 32000
390.55/398.93 c #Conflicts: 1378000 | #Constraints: 33000
390.55/398.93 c #Conflicts: 1379000 | #Constraints: 34000
390.55/398.93 c #Conflicts: 1380000 | #Constraints: 35000
390.55/398.93 c #Conflicts: 1381000 | #Constraints: 36000
390.55/398.93 c #Conflicts: 1382000 | #Constraints: 37000
390.55/398.93 c #Conflicts: 1383000 | #Constraints: 38000
390.55/398.93 c #Conflicts: 1384000 | #Constraints: 39000
390.55/398.93 c #Conflicts: 1385000 | #Constraints: 40000
390.55/398.93 c #Conflicts: 1386000 | #Constraints: 41000
390.55/398.93 c #Conflicts: 1387000 | #Constraints: 42000
390.55/398.93 c #Conflicts: 1388000 | #Constraints: 43000
390.55/398.93 c #Conflicts: 1389000 | #Constraints: 44000
390.55/398.93 c #Conflicts: 1390000 | #Constraints: 45000
390.55/398.93 c #Conflicts: 1391000 | #Constraints: 46000
390.55/398.93 c #Conflicts: 1392000 | #Constraints: 47000
390.55/398.93 c #Conflicts: 1393000 | #Constraints: 48000
390.55/398.93 c #Conflicts: 1394000 | #Constraints: 49000
390.55/398.93 c #Conflicts: 1395000 | #Constraints: 50000
390.55/398.93 c INPROCESSING
390.55/398.93 c GARBAGE COLLECT
390.55/398.93 c rational objective 4
393.44/401.83 c #Conflicts: 1396000 | #Constraints: 29852
393.44/401.83 c #Conflicts: 1397000 | #Constraints: 30852
393.44/401.83 c #Conflicts: 1398000 | #Constraints: 31852
393.44/401.83 c #Conflicts: 1399000 | #Constraints: 32852
393.44/401.83 c #Conflicts: 1400000 | #Constraints: 33852
393.44/401.83 c #Conflicts: 1401000 | #Constraints: 34852
393.44/401.83 c #Conflicts: 1402000 | #Constraints: 35852
393.44/401.83 c #Conflicts: 1403000 | #Constraints: 36852
393.44/401.83 c #Conflicts: 1404000 | #Constraints: 37852
393.44/401.83 c #Conflicts: 1405000 | #Constraints: 38852
393.44/401.83 c bounds 5 >= 5 @ 383.796
393.44/401.83 c cpu time 383.796 s
393.44/401.83 c deterministic time 13394185744 1.34e+10
393.44/401.83 c optimization time 0.002327 s
393.44/401.83 c total solve time 383.57 s
393.44/401.83 c core-guided solve time 200.561 s
393.44/401.83 c propagation time 282.93 s
393.44/401.83 c conflict analysis time 75.836 s
393.44/401.83 c propagations 112618398
393.44/401.83 c resolve steps 20126546
393.44/401.83 c decisions 1751407
393.44/401.83 c conflicts 1405910
393.44/401.83 c restarts 2697
393.44/401.83 c inprocessing phases 109
393.44/401.83 c garbage collections 109 ,( 100.00 )
393.44/401.83 c input clauses 16122 ,( 99.86 )
393.44/401.83 c input cardinalities 20 ,( 0.12 )
393.44/401.83 c input general constraints 2 ,( 0.01 )
393.44/401.83 c input average constraint length 3.02
393.44/401.83 c input average constraint degree 1.01
393.44/401.83 c learned clauses 1329160 ,( 94.04 )
393.44/401.83 c learned cardinalities 227 ,( 0.02 )
393.44/401.83 c learned general constraints 83967 ,( 5.94 )
393.44/401.83 c learned average constraint length 108.96
393.44/401.83 c learned average constraint degree 10004176.12
393.44/401.83 c watched CF 32, 64, 128, Arb: 26700 , 0 , 0 , 0
393.44/401.83 c counting CF 32, 64, 128, Arb: 57270 , 0 , 0 , 0
393.44/401.83 c watched constraints 26700 ,( 31.80 )
393.44/401.83 c counting constraints 57269 ,( 68.20 )
393.44/401.83 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1224939781 , 16953445 , 600311042 ,( 26060444 , 574250598 )
393.44/401.83 c gcd simplifications 551
393.44/401.83 c detected cardinalities 9
393.44/401.83 c weakened non-implied lits 3795916
393.44/401.83 c weakened non-implying lits 34
393.44/401.83 c original variables 1451
393.44/401.83 c clausal propagations 103801683
393.44/401.83 c cardinality propagations 5290687
393.44/401.83 c watched propagations 50564
393.44/401.83 c counting propagations 2065410
393.44/401.83 c watch lookups 4243694387
393.44/401.83 c watch backjump lookups 0
393.44/401.83 c watch checks 6071647828
393.44/401.83 c propagation checks 2360029834
393.44/401.83 c constraint additions 487259691
393.44/401.83 c trail pops 115775070
393.44/401.83 c formula constraints 16123
393.44/401.83 c learned constraints 1405905
393.44/401.83 c bound constraints 11
393.44/401.83 c core-guided constraints 10
393.44/401.83 c encountered formula constraints 9065959
393.44/401.83 c encountered learned constraints 12414830
393.44/401.83 c encountered bound constraints 9
393.44/401.83 c encountered core-guided constraints 7
393.44/401.83 c LP total time 146.216 s
393.44/401.83 c LP solve time 127.1 s
393.44/401.83 c LP constraints added 18387
393.44/401.83 c LP constraints removed 2243
393.44/401.83 c LP pivots internal 1405917
393.44/401.83 c LP pivots root 3211
393.44/401.83 c LP calls 57876
393.44/401.83 c LP optimalities 50750
393.44/401.83 c LP no pivot count 3858
393.44/401.83 c LP infeasibilities 7125
393.44/401.83 c LP valid Farkas constraints 7124
393.44/401.83 c LP learned Farkas constraints 1
393.44/401.83 c LP basis resets 0
393.44/401.83 c LP cycling count 0
393.44/401.83 c LP singular count 0
393.44/401.83 c LP no primal count 0
393.44/401.83 c LP no farkas count 0
393.44/401.83 c LP other issue count 0
393.44/401.83 c LP Gomory cuts 324
393.44/401.83 c LP learned cuts 1940
393.44/401.83 c LP deleted cuts 2243
393.44/401.83 c LP encountered Gomory constraints 51642
393.44/401.83 c LP encountered Farkas constraints 7
393.44/401.83 c LP encountered learned Farkas constraints 1
393.44/401.83 c CG auxiliary variables introduced 4
393.44/401.83 c CG solutions found 8
393.44/401.83 c CG cores constructed 4
393.44/401.83 c CG core cardinality constraints returned 0
393.44/401.83 c CG unit cores 0
393.44/401.83 c CG single cores 4
393.44/401.83 c CG blocks removed during cardinality reduction 0
393.44/401.83 c CG first core best 0
393.44/401.83 c CG decision core best 0
393.44/401.83 c CG core reduction tie 0
393.44/401.83 c CG core degree average 1.00
393.44/401.83 c CG core slack average 3.00
393.44/401.83 c CG core upper bound improvements 1
393.44/401.83 c STR number of successful calls 0
393.44/401.83 c STR number of unsuccessful calls 0
393.44/401.83 c STR number of inconclusive calls 0
393.44/401.83 c STR number of successful attempts 0
393.44/401.83 c STR number of unsuccessful attempts 0
393.44/401.83 c STR number of inconclusive attempts 0
393.44/401.83 c STR average degree increase per successful call inf
393.44/401.83 c STR average degree increase per successful attempt inf
393.44/401.83 c STR total number of conflicts for successful attempts 0
393.44/401.83 c STR total number of conflicts for unsuccessful attempts 0
393.44/401.83 c STR total number of conflicts for inconclusive attempts 0
393.44/401.83 c STR average number of conflicts per successful attempt inf
393.44/401.83 c STR average number of conflicts per unsuccessful attempt inf
393.44/401.83 c STR average number of conflicts per inconclusive attempt inf
393.44/401.83 c AVG.sumWPerc 61.41
393.44/401.83 c bigint constraints 0
393.44/401.83 o 5
393.44/401.83 s OPTIMUM FOUND
393.44/401.88 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 x88 x89 x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 x294 x295 x296 x297 x298 x299 x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364
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: 63837 MiB (35121 MiB free)
memory of node 1: 64465 MiB (34769 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517449-1751523805/watcher-4517449-1751523805 -o /tmp/evaluation-result-4517449-1751523805/solver-4517449-1751523805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751516521-73567 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4517449-1751523805.opb PROOFDIR/proof-4517449-1751523805
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=74547, runsolver pid=74544
[startup+0.100073 s]*
/proc/loadavg: 4.22 4.23 4.23 5/266 74549
/proc/meminfo: memFree=71564524/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74549] ppid=74547 vsize=17860 memory=9688 CPUtime=0.08 cores=1,3
/proc/74549/stat : 74549 (pbsuma) R 74547 74547 73555 0 -1 4194304 1813 0 0 0 8 0 0 0 20 0 1 0 68059656 18288640 2422 18446744073709551615 4210688 4653049 140722225144800 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 24403968 140722225150179 140722225150514 140722225150514 140722225156079 0
/proc/74549/statm: 4465 2422 992 108 0 1873 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22052 KiB
Current children cumulated memory: 12632 KiB
[startup+0.213941 s]*
/proc/loadavg: 4.22 4.23 4.23 5/266 74550
/proc/meminfo: memFree=71557564/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=55556 memory=8576 CPUtime=0.01 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 426 0 0 0 1 0 0 0 20 0 1 0 68059674 56889344 2144 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 13889 2144 1952 1147 0 1316 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 59748 KiB
Current children cumulated memory: 11520 KiB
[startup+0.318138 s]*
/proc/loadavg: 4.22 4.23 4.23 5/266 74550
/proc/meminfo: memFree=71553092/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=56492 memory=11620 CPUtime=0.09 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 680 0 0 0 8 1 0 0 20 0 1 0 68059674 57847808 2905 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 14123 2905 1952 1147 0 1550 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 60684 KiB
Current children cumulated memory: 14564 KiB
[startup+0.700393 s]
/proc/loadavg: 4.22 4.23 4.23 5/266 74550
/proc/meminfo: memFree=71538412/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=75276 memory=31696 CPUtime=0.44 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 5419 0 0 0 39 5 0 0 20 0 1 0 68059674 77082624 7924 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 18819 7924 2304 1147 0 6246 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 79468 KiB
Current children cumulated memory: 34640 KiB
[startup+1.5004 s]
/proc/loadavg: 4.22 4.23 4.23 5/266 74550
/proc/meminfo: memFree=71522284/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=75144 memory=31952 CPUtime=1.24 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 5425 0 0 0 114 10 0 0 20 0 1 0 68059674 76947456 7988 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 18786 7988 2368 1147 0 6213 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 79336 KiB
Current children cumulated memory: 34896 KiB
[startup+3.11358 s]
/proc/loadavg: 4.22 4.23 4.23 5/266 74550
/proc/meminfo: memFree=71480200/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=79780 memory=35664 CPUtime=2.85 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 6341 0 0 0 270 15 0 0 20 0 1 0 68059674 81694720 8916 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 19945 8916 2400 1147 0 7372 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 83972 KiB
Current children cumulated memory: 38608 KiB
[startup+6.30039 s]
/proc/loadavg: 4.20 4.23 4.22 4/265 74550
/proc/meminfo: memFree=71469340/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=80640 memory=36560 CPUtime=5.98 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 6622 0 0 0 571 27 0 0 20 0 1 0 68059674 82575360 9140 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 20160 9140 2400 1147 0 7587 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 39504 KiB
[startup+12.7004 s]
/proc/loadavg: 4.18 4.22 4.22 5/264 74550
/proc/meminfo: memFree=75648472/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=81612 memory=39456 CPUtime=12.36 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 6829 0 0 0 1192 44 0 0 20 0 1 0 68059674 83570688 9864 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 20403 9864 2400 1147 0 7830 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 85804 KiB
Current children cumulated memory: 42400 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.21 4.22 4/255 74819
/proc/meminfo: memFree=129805024/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=87688 memory=43552 CPUtime=25.02 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 7864 0 0 0 2419 83 0 0 20 0 1 0 68059674 89792512 10888 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 21922 10888 2400 1147 0 9349 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 91880 KiB
Current children cumulated memory: 46496 KiB
[startup+51.1133 s]
/proc/loadavg: 4.31 4.24 4.23 4/263 75173
/proc/meminfo: memFree=129103228/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=96596 memory=53024 CPUtime=50.36 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 9976 0 0 0 4873 163 0 0 20 0 1 0 68059674 98914304 13256 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 24149 13256 2400 1147 0 11576 0
Current children cumulated CPU time: 50.53 s
Current children cumulated vsize: 100788 KiB
Current children cumulated memory: 55968 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.23 4.23 5/260 75392
/proc/meminfo: memFree=126747708/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=103380 memory=59552 CPUtime=101.19 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 11581 0 0 0 9821 298 0 0 20 0 1 0 68059674 105861120 14888 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 25845 14888 2400 1147 0 13272 0
Current children cumulated CPU time: 101.36 s
Current children cumulated vsize: 107572 KiB
Current children cumulated memory: 62496 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.22 4.22 5/264 75755
/proc/meminfo: memFree=123572976/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=119968 memory=71340 CPUtime=156.73 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 14040 0 0 0 15245 428 0 0 20 0 1 0 68059674 122847232 17835 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 29992 17835 2400 1147 0 17419 0
Current children cumulated CPU time: 156.9 s
Current children cumulated vsize: 124160 KiB
Current children cumulated memory: 74284 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 4.25 4.23 5/256 75927
/proc/meminfo: memFree=120883872/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=125428 memory=80892 CPUtime=216.43 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 15914 0 0 0 21086 557 0 0 20 0 1 0 68059674 128438272 20223 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 31357 20223 2400 1147 0 18784 0
Current children cumulated CPU time: 216.6 s
Current children cumulated vsize: 129620 KiB
Current children cumulated memory: 83836 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.19 4.21 5/260 75949
/proc/meminfo: memFree=118118740/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=126796 memory=82300 CPUtime=276.17 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 16270 0 0 0 26945 672 0 0 20 0 1 0 68059674 129839104 20575 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 31699 20575 2400 1147 0 19126 0
Current children cumulated CPU time: 276.34 s
Current children cumulated vsize: 130988 KiB
Current children cumulated memory: 85244 KiB
[startup+342.3 s]
/proc/loadavg: 4.27 4.22 4.21 5/261 75952
/proc/meminfo: memFree=115469228/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=128428 memory=86008 CPUtime=335.95 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 16682 0 0 0 32777 818 0 0 20 0 1 0 68059674 131510272 21502 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 32107 21502 2400 1147 0 19534 0
Current children cumulated CPU time: 336.12 s
Current children cumulated vsize: 132620 KiB
Current children cumulated memory: 88952 KiB
[startup+401.89 s]
# the end of solver process 74547 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=383.97 s, system=9.5432 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.21 4.21 4.21 6/264 75957
/proc/meminfo: memFree=114788472/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=128428 memory=86008 CPUtime=351.96 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 16684 0 0 0 34340 856 0 0 20 0 1 0 68059674 131510272 21502 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 32107 21502 2400 1147 0 19534 0
Current children cumulated CPU time: 352.13 s
Current children cumulated vsize: 132620 KiB
Current children cumulated memory: 88952 KiB
[startup+384 s]*
/proc/loadavg: 4.22 4.21 4.21 5/264 75957
/proc/meminfo: memFree=113647896/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=128428 memory=86136 CPUtime=375.54 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 16723 0 0 0 36644 910 0 0 20 0 1 0 68059674 131510272 21534 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 32107 21534 2400 1147 0 19534 0
Current children cumulated CPU time: 375.71 s
Current children cumulated vsize: 132620 KiB
Current children cumulated memory: 89080 KiB
[startup+390.4 s]
/proc/loadavg: 4.18 4.20 4.20 5/264 75957
/proc/meminfo: memFree=113356696/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=128428 memory=86136 CPUtime=381.91 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 16725 0 0 0 37266 925 0 0 20 0 1 0 68059674 131510272 21534 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 32107 21534 2400 1147 0 19534 0
Current children cumulated CPU time: 382.08 s
Current children cumulated vsize: 132620 KiB
Current children cumulated memory: 89080 KiB
[startup+396.8 s]
/proc/loadavg: 4.17 4.20 4.20 5/261 75977
/proc/meminfo: memFree=113262296/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=128428 memory=86648 CPUtime=388.29 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 16851 0 0 0 37889 940 0 0 20 0 1 0 68059674 131510272 21662 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 32107 21662 2400 1147 0 19534 0
Current children cumulated CPU time: 388.46 s
Current children cumulated vsize: 132620 KiB
Current children cumulated memory: 89592 KiB
[startup+400 s]*
/proc/loadavg: 4.16 4.19 4.20 5/259 75984
/proc/meminfo: memFree=113085012/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=128428 memory=86648 CPUtime=391.49 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 16851 0 0 0 38203 946 0 0 20 0 1 0 68059674 131510272 21662 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 32107 21662 2400 1147 0 19534 0
Current children cumulated CPU time: 391.66 s
Current children cumulated vsize: 132620 KiB
Current children cumulated memory: 89592 KiB
[startup+400.8 s]
/proc/loadavg: 4.16 4.19 4.20 5/259 75984
/proc/meminfo: memFree=113085012/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=128428 memory=86648 CPUtime=392.28 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 16851 0 0 0 38280 948 0 0 20 0 1 0 68059674 131510272 21662 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 32107 21662 2400 1147 0 19534 0
Current children cumulated CPU time: 392.45 s
Current children cumulated vsize: 132620 KiB
Current children cumulated memory: 89592 KiB
[startup+401.6 s]
/proc/loadavg: 4.16 4.19 4.20 5/259 75984
/proc/meminfo: memFree=112972452/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=128428 memory=86648 CPUtime=393.07 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 16851 0 0 0 38357 950 0 0 20 0 1 0 68059674 131510272 21662 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 32107 21662 2400 1147 0 19534 0
Current children cumulated CPU time: 393.24 s
Current children cumulated vsize: 132620 KiB
Current children cumulated memory: 89592 KiB
[startup+401.8 s]
/proc/loadavg: 4.16 4.19 4.20 5/259 75984
/proc/meminfo: memFree=112972452/131382116 swapFree=33009904/33010684
[pid=74547] ppid=74544 vsize=4192 memory=2944 CPUtime=0.17 cores=1,3
/proc/74547/stat : 74547 (run-opt-break-l) S 74544 74547 73555 0 -1 4194304 240 2192 0 0 0 0 16 1 20 0 1 0 68059655 4292608 736 18446744073709551615 94175819431936 94175820326469 140720574064752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94175820565520 94175820613264 94175823634432 140720574073109 140720574073310 140720574073310 140720574078912 0
/proc/74547/statm: 1048 736 672 219 0 110 0
[pid=74550] ppid=74547 vsize=128428 memory=86648 CPUtime=393.27 cores=1,3
/proc/74550/stat : 74550 (roundingsat) R 74547 74547 73555 0 -1 4194304 16851 0 0 0 38376 951 0 0 20 0 1 0 68059674 131510272 21662 18446744073709551615 4227072 8923433 140730691729824 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12668928 140730691733780 140730691734056 140730691734056 140730691739626 0
/proc/74550/statm: 32107 21662 2400 1147 0 19534 0
Current children cumulated CPU time: 393.44 s
Current children cumulated vsize: 132620 KiB
Current children cumulated memory: 89592 KiB
Child status: 0
Real time (s): 401.891
CPU time (s): 393.513
CPU user time (s): 383.97
CPU system time (s): 9.5432
CPU usage (%): 97.9154
Max. virtual memory (cumulated for all children) (KiB): 132620
Max. memory (cumulated for all children) (KiB): 89592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 383.97
system time used= 9.5432
maximum resident set size= 86648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19308
page faults= 0
swaps= 0
block input operations= 0
block output operations= 934208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1009
involuntary context switches= 799
# summary of solver processes directly reported to runsolver:
# pid: 74547
# total CPU time (s): 393.513
# total CPU user time (s): 383.97
# total CPU system time (s): 9.5432
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.07899 second user time and 4.17279 second system time
The end
Begin job on nodeC004 at 2025-07-03 08:23:25
IDJOB=4517449
IDBENCH=176086
IDSOLVER=3360
FILE ID=nodeC004/4517449-1751523805
RUNJOBID= nodeC004-1751516521-73567
SLURM_JOB_ID= 9598629
Free space on /tmp= 431696 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=8.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517449-1751523805/watcher-4517449-1751523805 -o /tmp/evaluation-result-4517449-1751523805/solver-4517449-1751523805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751516521-73567 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4517449-1751523805.opb PROOFDIR/proof-4517449-1751523805
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f78fc52c3f94736c8d8a5f9c953ef5f
RANDOM SEED=2099775402
nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.510
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.819
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.438
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.696
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.432
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.538
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.874
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 71568556 kB
MemAvailable: 119480712 kB
Buffers: 2128 kB
Cached: 48610772 kB
SwapCached: 40 kB
Active: 10961676 kB
Inactive: 48012992 kB
Active(anon): 10368952 kB
Inactive(anon): 10828 kB
Active(file): 592724 kB
Inactive(file): 48002164 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1825140 kB
Writeback: 8 kB
AnonPages: 10364400 kB
Mapped: 117280 kB
Shmem: 17924 kB
KReclaimable: 313792 kB
Slab: 458052 kB
SReclaimable: 313792 kB
SUnreclaim: 144260 kB
KernelStack: 4320 kB
PageTables: 26336 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 12695076 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149720 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1548288 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431692 MiB
End job on nodeC004 at 2025-07-03 08:30:07