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-4517448-1751528687.opb'
0.00/0.01 c read 0.40MB (5.67ms)
0.00/0.01 c [cnf: #variables 364 #clauses 12832 #duplicates 0 #arr 38844]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 8] (2.36ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c candidate Johnson 13, ar 2
0.00/0.07 c found row 13x28, generating row predicate
0.00/0.07 c found row 8x26, generating row predicate
0.00/0.07 c found Johnson 13, ar 2, block_sz 42
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (57.82ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 14275 #edges 79846]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 1.00*10^0 #generators 0] (1.96ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 3292 #add_vars 1087]
0.00/0.08 c
0.00/0.08 c write result to 'HOME/instance-4517448-1751528687.opb.pre'
0.00/0.08 c wrote 0.51MB (1.29ms)
0.00/0.08 c ------------------------------------------------------------------
0.00/0.08 c 57.82ms 83.44% detect_special
0.00/0.08 c 5.67ms 8.18% parse
0.00/0.08 c 2.36ms 3.41% approx_orbits
0.00/0.08 c 1.96ms 2.83% detect_generic
0.00/0.08 c 1.29ms 1.87% output
0.00/0.08 c 0.17ms 0.25% other
0.00/0.08 c 0.02ms 0.02% finalize_order
0.00/0.08 c ───────────────────────────────────────────────
0.00/0.08 c 69.30ms 100% total
0.00/0.08 c ------------------------------------------------------------------
0.00/0.09 c RoundingSat 2
0.00/0.09 c branch pb25
0.00/0.09 c commit 63f22ad
0.06/0.16 c #variables 1451 #constraints 16123
0.06/0.16 c objective is ce32
0.06/0.16 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.16 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.06/0.16 c bounds - >= 0 @ 0.04595
0.26/0.34 c bounds 12 >= 0 @ 0.216971
0.26/0.35 c bounds 12 >= 1 @ 0.225388
0.26/0.35 c bounds 11 >= 1 @ 0.226378
0.26/0.35 c bounds 10 >= 1 @ 0.226811
0.26/0.35 c bounds 9 >= 1 @ 0.227296
0.26/0.36 c bounds 8 >= 1 @ 0.228157
0.26/0.36 c bounds 7 >= 1 @ 0.228774
0.26/0.36 c bounds 6 >= 1 @ 0.22959
0.26/0.36 c bounds 5 >= 1 @ 0.229701
0.46/0.56 c #Conflicts: 1000 | #Constraints: 17133
0.46/0.56 c #Conflicts: 2000 | #Constraints: 18133
0.46/0.56 c INPROCESSING
0.46/0.56 c GARBAGE COLLECT
0.46/0.56 c rational objective 1
0.84/0.94 c #Conflicts: 3000 | #Constraints: 11976
0.84/0.94 c #Conflicts: 4000 | #Constraints: 12976
0.84/0.94 c INPROCESSING
0.84/0.94 c GARBAGE COLLECT
0.84/0.94 c rational objective 1
1.24/1.32 c #Conflicts: 5000 | #Constraints: 12435
1.24/1.32 c #Conflicts: 6000 | #Constraints: 13435
1.24/1.32 c INPROCESSING
1.24/1.32 c GARBAGE COLLECT
1.24/1.32 c rational objective 1
1.64/1.71 c #Conflicts: 7000 | #Constraints: 12086
1.64/1.71 c #Conflicts: 8000 | #Constraints: 13086
1.64/1.71 c bounds 5 >= 2 @ 1.53364
1.64/1.77 c #Conflicts: 9000 | #Constraints: 14089
1.64/1.77 c INPROCESSING
1.64/1.77 c GARBAGE COLLECT
1.64/1.77 c rational objective 2
2.14/2.29 c #Conflicts: 10000 | #Constraints: 12791
2.14/2.29 c #Conflicts: 11000 | #Constraints: 13791
2.14/2.29 c #Conflicts: 12000 | #Constraints: 14791
2.14/2.29 c INPROCESSING
2.14/2.29 c GARBAGE COLLECT
2.14/2.29 c rational objective 2
2.74/2.88 c #Conflicts: 13000 | #Constraints: 13005
2.74/2.88 c #Conflicts: 14000 | #Constraints: 14005
2.74/2.88 c #Conflicts: 15000 | #Constraints: 15005
2.74/2.88 c INPROCESSING
2.74/2.88 c GARBAGE COLLECT
2.74/2.88 c rational objective 2
3.34/3.40 c #Conflicts: 16000 | #Constraints: 13010
3.34/3.40 c #Conflicts: 17000 | #Constraints: 14010
3.34/3.40 c #Conflicts: 18000 | #Constraints: 15010
3.34/3.40 c INPROCESSING
3.34/3.40 c GARBAGE COLLECT
3.34/3.40 c rational objective 2
3.94/4.03 c #Conflicts: 19000 | #Constraints: 13108
3.94/4.03 c #Conflicts: 20000 | #Constraints: 14108
3.94/4.03 c #Conflicts: 21000 | #Constraints: 15108
3.94/4.03 c INPROCESSING
3.94/4.03 c GARBAGE COLLECT
3.94/4.03 c rational objective 2
4.63/4.71 c #Conflicts: 22000 | #Constraints: 12979
4.63/4.71 c #Conflicts: 23000 | #Constraints: 13979
4.63/4.71 c #Conflicts: 24000 | #Constraints: 14979
4.63/4.71 c #Conflicts: 25000 | #Constraints: 15979
4.63/4.71 c INPROCESSING
4.63/4.71 c GARBAGE COLLECT
4.63/4.71 c rational objective 2
5.33/5.40 c #Conflicts: 26000 | #Constraints: 13574
5.33/5.40 c #Conflicts: 27000 | #Constraints: 14574
5.33/5.40 c #Conflicts: 28000 | #Constraints: 15574
5.33/5.40 c #Conflicts: 29000 | #Constraints: 16574
5.33/5.40 c INPROCESSING
5.33/5.40 c GARBAGE COLLECT
5.33/5.40 c rational objective 2
6.04/6.12 c #Conflicts: 30000 | #Constraints: 14008
6.04/6.12 c #Conflicts: 31000 | #Constraints: 15008
6.04/6.12 c #Conflicts: 32000 | #Constraints: 16008
6.04/6.12 c #Conflicts: 33000 | #Constraints: 17008
6.04/6.12 c INPROCESSING
6.04/6.12 c GARBAGE COLLECT
6.04/6.12 c rational objective 2
6.83/6.94 c #Conflicts: 34000 | #Constraints: 14084
6.83/6.94 c #Conflicts: 35000 | #Constraints: 15084
6.83/6.94 c #Conflicts: 36000 | #Constraints: 16084
6.83/6.94 c #Conflicts: 37000 | #Constraints: 17084
6.83/6.94 c INPROCESSING
6.83/6.94 c GARBAGE COLLECT
6.83/6.94 c rational objective 2
7.62/7.72 c #Conflicts: 38000 | #Constraints: 14100
7.62/7.72 c #Conflicts: 39000 | #Constraints: 15100
7.62/7.72 c #Conflicts: 40000 | #Constraints: 16100
7.62/7.72 c #Conflicts: 41000 | #Constraints: 17100
7.62/7.72 c INPROCESSING
7.62/7.72 c GARBAGE COLLECT
7.62/7.72 c rational objective 2
8.42/8.51 c #Conflicts: 42000 | #Constraints: 13895
8.42/8.51 c #Conflicts: 43000 | #Constraints: 14895
8.42/8.51 c #Conflicts: 44000 | #Constraints: 15895
8.42/8.51 c #Conflicts: 45000 | #Constraints: 16895
8.42/8.51 c #Conflicts: 46000 | #Constraints: 17895
8.42/8.51 c INPROCESSING
8.42/8.51 c GARBAGE COLLECT
8.42/8.51 c rational objective 2
9.33/9.44 c #Conflicts: 47000 | #Constraints: 14499
9.33/9.44 c #Conflicts: 48000 | #Constraints: 15499
9.33/9.44 c #Conflicts: 49000 | #Constraints: 16499
9.33/9.44 c #Conflicts: 50000 | #Constraints: 17499
9.33/9.44 c #Conflicts: 51000 | #Constraints: 18499
9.33/9.44 c INPROCESSING
9.33/9.44 c GARBAGE COLLECT
9.33/9.44 c rational objective 2
10.22/10.39 c #Conflicts: 52000 | #Constraints: 14878
10.22/10.39 c #Conflicts: 53000 | #Constraints: 15878
10.22/10.39 c #Conflicts: 54000 | #Constraints: 16878
10.22/10.39 c #Conflicts: 55000 | #Constraints: 17878
10.22/10.39 c #Conflicts: 56000 | #Constraints: 18878
10.22/10.39 c INPROCESSING
10.22/10.39 c GARBAGE COLLECT
10.22/10.39 c rational objective 2
11.21/11.35 c #Conflicts: 57000 | #Constraints: 15097
11.21/11.35 c #Conflicts: 58000 | #Constraints: 16097
11.21/11.35 c #Conflicts: 59000 | #Constraints: 17097
11.21/11.35 c #Conflicts: 60000 | #Constraints: 18097
11.21/11.35 c #Conflicts: 61000 | #Constraints: 19097
11.21/11.35 c INPROCESSING
11.21/11.35 c GARBAGE COLLECT
11.21/11.35 c rational objective 2
12.42/12.53 c #Conflicts: 62000 | #Constraints: 15099
12.42/12.53 c #Conflicts: 63000 | #Constraints: 16099
12.42/12.53 c #Conflicts: 64000 | #Constraints: 17099
12.42/12.53 c #Conflicts: 65000 | #Constraints: 18099
12.42/12.53 c #Conflicts: 66000 | #Constraints: 19099
12.42/12.53 c INPROCESSING
12.42/12.53 c GARBAGE COLLECT
12.42/12.53 c rational objective 2
13.61/13.78 c #Conflicts: 67000 | #Constraints: 14906
13.61/13.78 c #Conflicts: 68000 | #Constraints: 15906
13.61/13.78 c #Conflicts: 69000 | #Constraints: 16906
13.61/13.78 c #Conflicts: 70000 | #Constraints: 17906
13.61/13.78 c #Conflicts: 71000 | #Constraints: 18906
13.61/13.78 c #Conflicts: 72000 | #Constraints: 19906
13.61/13.78 c INPROCESSING
13.61/13.78 c GARBAGE COLLECT
13.61/13.78 c rational objective 2
14.91/15.01 c #Conflicts: 73000 | #Constraints: 15507
14.91/15.01 c #Conflicts: 74000 | #Constraints: 16507
14.91/15.01 c #Conflicts: 75000 | #Constraints: 17507
14.91/15.01 c #Conflicts: 76000 | #Constraints: 18507
14.91/15.01 c #Conflicts: 77000 | #Constraints: 19507
14.91/15.01 c #Conflicts: 78000 | #Constraints: 20507
14.91/15.01 c INPROCESSING
14.91/15.01 c GARBAGE COLLECT
14.91/15.01 c rational objective 2
16.01/16.17 c #Conflicts: 79000 | #Constraints: 15909
16.01/16.17 c #Conflicts: 80000 | #Constraints: 16909
16.01/16.17 c #Conflicts: 81000 | #Constraints: 17909
16.01/16.17 c #Conflicts: 82000 | #Constraints: 18909
16.01/16.17 c #Conflicts: 83000 | #Constraints: 19909
16.01/16.17 c #Conflicts: 84000 | #Constraints: 20909
16.01/16.17 c INPROCESSING
16.01/16.17 c GARBAGE COLLECT
16.01/16.17 c rational objective 2
17.60/17.74 c #Conflicts: 85000 | #Constraints: 16108
17.60/17.74 c #Conflicts: 86000 | #Constraints: 17108
17.60/17.74 c #Conflicts: 87000 | #Constraints: 18108
17.60/17.74 c #Conflicts: 88000 | #Constraints: 19108
17.60/17.74 c #Conflicts: 89000 | #Constraints: 20108
17.60/17.74 c #Conflicts: 90000 | #Constraints: 21108
17.60/17.74 c INPROCESSING
17.60/17.74 c GARBAGE COLLECT
17.60/17.74 c rational objective 2
19.00/19.15 c #Conflicts: 91000 | #Constraints: 16111
19.00/19.15 c #Conflicts: 92000 | #Constraints: 17111
19.00/19.15 c #Conflicts: 93000 | #Constraints: 18111
19.00/19.15 c #Conflicts: 94000 | #Constraints: 19111
19.00/19.15 c #Conflicts: 95000 | #Constraints: 20111
19.00/19.15 c #Conflicts: 96000 | #Constraints: 21111
19.00/19.15 c INPROCESSING
19.00/19.15 c GARBAGE COLLECT
19.00/19.15 c rational objective 2
21.09/21.29 c #Conflicts: 97000 | #Constraints: 15899
21.09/21.29 c #Conflicts: 98000 | #Constraints: 16899
21.09/21.29 c #Conflicts: 99000 | #Constraints: 17899
21.09/21.29 c #Conflicts: 100000 | #Constraints: 18899
21.09/21.29 c #Conflicts: 101000 | #Constraints: 19899
21.09/21.29 c #Conflicts: 102000 | #Constraints: 20899
21.09/21.29 c #Conflicts: 103000 | #Constraints: 21899
21.09/21.29 c INPROCESSING
21.09/21.29 c GARBAGE COLLECT
21.09/21.29 c rational objective 2
22.59/22.74 c #Conflicts: 104000 | #Constraints: 16511
22.59/22.74 c #Conflicts: 105000 | #Constraints: 17511
22.59/22.74 c #Conflicts: 106000 | #Constraints: 18511
22.59/22.74 c #Conflicts: 107000 | #Constraints: 19511
22.59/22.74 c #Conflicts: 108000 | #Constraints: 20511
22.59/22.74 c #Conflicts: 109000 | #Constraints: 21511
22.59/22.74 c #Conflicts: 110000 | #Constraints: 22511
22.59/22.74 c INPROCESSING
22.59/22.74 c GARBAGE COLLECT
22.59/22.74 c rational objective 2
24.29/24.44 c #Conflicts: 111000 | #Constraints: 16896
24.29/24.44 c #Conflicts: 112000 | #Constraints: 17896
24.29/24.44 c #Conflicts: 113000 | #Constraints: 18896
24.29/24.44 c #Conflicts: 114000 | #Constraints: 19896
24.29/24.44 c #Conflicts: 115000 | #Constraints: 20896
24.29/24.44 c #Conflicts: 116000 | #Constraints: 21896
24.29/24.44 c #Conflicts: 117000 | #Constraints: 22896
24.29/24.44 c INPROCESSING
24.29/24.44 c GARBAGE COLLECT
24.29/24.44 c rational objective 2
25.78/25.93 c #Conflicts: 118000 | #Constraints: 17115
25.78/25.93 c #Conflicts: 119000 | #Constraints: 18115
25.78/25.93 c #Conflicts: 120000 | #Constraints: 19115
25.78/25.93 c #Conflicts: 121000 | #Constraints: 20115
25.78/25.93 c #Conflicts: 122000 | #Constraints: 21115
25.78/25.93 c #Conflicts: 123000 | #Constraints: 22115
25.78/25.93 c #Conflicts: 124000 | #Constraints: 23115
25.78/25.93 c INPROCESSING
25.78/25.93 c GARBAGE COLLECT
25.78/25.93 c rational objective 2
27.48/27.66 c #Conflicts: 125000 | #Constraints: 17106
27.48/27.66 c #Conflicts: 126000 | #Constraints: 18106
27.48/27.66 c #Conflicts: 127000 | #Constraints: 19106
27.48/27.66 c #Conflicts: 128000 | #Constraints: 20106
27.48/27.66 c #Conflicts: 129000 | #Constraints: 21106
27.48/27.66 c #Conflicts: 130000 | #Constraints: 22106
27.48/27.66 c #Conflicts: 131000 | #Constraints: 23106
27.48/27.66 c INPROCESSING
27.48/27.66 c GARBAGE COLLECT
27.48/27.66 c rational objective 2
29.17/29.30 c #Conflicts: 132000 | #Constraints: 16926
29.17/29.30 c #Conflicts: 133000 | #Constraints: 17926
29.17/29.30 c #Conflicts: 134000 | #Constraints: 18926
29.17/29.30 c #Conflicts: 135000 | #Constraints: 19926
29.17/29.30 c #Conflicts: 136000 | #Constraints: 20926
29.17/29.30 c #Conflicts: 137000 | #Constraints: 21926
29.17/29.30 c #Conflicts: 138000 | #Constraints: 22926
29.17/29.30 c #Conflicts: 139000 | #Constraints: 23926
29.17/29.30 c INPROCESSING
29.17/29.30 c GARBAGE COLLECT
29.17/29.30 c rational objective 2
31.27/31.41 c #Conflicts: 140000 | #Constraints: 17513
31.27/31.41 c #Conflicts: 141000 | #Constraints: 18513
31.27/31.41 c #Conflicts: 142000 | #Constraints: 19513
31.27/31.41 c #Conflicts: 143000 | #Constraints: 20513
31.27/31.41 c #Conflicts: 144000 | #Constraints: 21513
31.27/31.41 c #Conflicts: 145000 | #Constraints: 22513
31.27/31.41 c #Conflicts: 146000 | #Constraints: 23513
31.27/31.41 c #Conflicts: 147000 | #Constraints: 24513
31.27/31.41 c INPROCESSING
31.27/31.41 c GARBAGE COLLECT
31.27/31.41 c rational objective 2
32.87/33.07 c #Conflicts: 148000 | #Constraints: 17915
32.87/33.07 c #Conflicts: 149000 | #Constraints: 18915
32.87/33.07 c #Conflicts: 150000 | #Constraints: 19915
32.87/33.07 c #Conflicts: 151000 | #Constraints: 20915
32.87/33.07 c #Conflicts: 152000 | #Constraints: 21915
32.87/33.07 c #Conflicts: 153000 | #Constraints: 22915
32.87/33.07 c #Conflicts: 154000 | #Constraints: 23915
32.87/33.07 c #Conflicts: 155000 | #Constraints: 24915
32.87/33.07 c INPROCESSING
32.87/33.07 c GARBAGE COLLECT
32.87/33.07 c rational objective 2
35.26/35.48 c #Conflicts: 156000 | #Constraints: 18110
35.26/35.48 c #Conflicts: 157000 | #Constraints: 19110
35.26/35.48 c #Conflicts: 158000 | #Constraints: 20110
35.26/35.48 c #Conflicts: 159000 | #Constraints: 21110
35.26/35.48 c #Conflicts: 160000 | #Constraints: 22110
35.26/35.48 c #Conflicts: 161000 | #Constraints: 23110
35.26/35.48 c #Conflicts: 162000 | #Constraints: 24110
35.26/35.48 c #Conflicts: 163000 | #Constraints: 25110
35.26/35.48 c INPROCESSING
35.26/35.48 c GARBAGE COLLECT
35.26/35.48 c rational objective 2
37.15/37.31 c #Conflicts: 164000 | #Constraints: 18120
37.15/37.31 c #Conflicts: 165000 | #Constraints: 19120
37.15/37.31 c #Conflicts: 166000 | #Constraints: 20120
37.15/37.31 c #Conflicts: 167000 | #Constraints: 21120
37.15/37.31 c #Conflicts: 168000 | #Constraints: 22120
37.15/37.31 c #Conflicts: 169000 | #Constraints: 23120
37.15/37.31 c #Conflicts: 170000 | #Constraints: 24120
37.15/37.31 c #Conflicts: 171000 | #Constraints: 25120
37.15/37.31 c INPROCESSING
37.15/37.31 c GARBAGE COLLECT
37.15/37.31 c rational objective 2
39.14/39.36 c #Conflicts: 172000 | #Constraints: 17894
39.14/39.36 c #Conflicts: 173000 | #Constraints: 18894
39.14/39.36 c #Conflicts: 174000 | #Constraints: 19894
39.14/39.36 c #Conflicts: 175000 | #Constraints: 20894
39.14/39.36 c #Conflicts: 176000 | #Constraints: 21894
39.14/39.36 c #Conflicts: 177000 | #Constraints: 22894
39.14/39.36 c #Conflicts: 178000 | #Constraints: 23894
39.14/39.36 c #Conflicts: 179000 | #Constraints: 24894
39.14/39.36 c #Conflicts: 180000 | #Constraints: 25894
39.14/39.36 c INPROCESSING
39.14/39.36 c GARBAGE COLLECT
39.14/39.36 c rational objective 2
41.64/41.81 c #Conflicts: 181000 | #Constraints: 18500
41.64/41.81 c #Conflicts: 182000 | #Constraints: 19500
41.64/41.81 c #Conflicts: 183000 | #Constraints: 20500
41.64/41.81 c #Conflicts: 184000 | #Constraints: 21500
41.64/41.81 c #Conflicts: 185000 | #Constraints: 22500
41.64/41.81 c #Conflicts: 186000 | #Constraints: 23500
41.64/41.81 c #Conflicts: 187000 | #Constraints: 24500
41.64/41.81 c #Conflicts: 188000 | #Constraints: 25500
41.64/41.81 c #Conflicts: 189000 | #Constraints: 26500
41.64/41.81 c INPROCESSING
41.64/41.81 c GARBAGE COLLECT
41.64/41.81 c rational objective 2
43.73/43.98 c #Conflicts: 190000 | #Constraints: 18910
43.73/43.98 c #Conflicts: 191000 | #Constraints: 19910
43.73/43.98 c #Conflicts: 192000 | #Constraints: 20910
43.73/43.98 c #Conflicts: 193000 | #Constraints: 21910
43.73/43.98 c #Conflicts: 194000 | #Constraints: 22910
43.73/43.98 c #Conflicts: 195000 | #Constraints: 23910
43.73/43.98 c #Conflicts: 196000 | #Constraints: 24910
43.73/43.98 c #Conflicts: 197000 | #Constraints: 25910
43.73/43.98 c #Conflicts: 198000 | #Constraints: 26910
43.73/43.98 c INPROCESSING
43.73/43.98 c GARBAGE COLLECT
43.73/43.98 c rational objective 2
46.53/46.79 c #Conflicts: 199000 | #Constraints: 19114
46.53/46.79 c #Conflicts: 200000 | #Constraints: 20114
46.53/46.79 c #Conflicts: 201000 | #Constraints: 21114
46.53/46.79 c #Conflicts: 202000 | #Constraints: 22114
46.53/46.79 c #Conflicts: 203000 | #Constraints: 23114
46.53/46.79 c #Conflicts: 204000 | #Constraints: 24114
46.53/46.79 c #Conflicts: 205000 | #Constraints: 25114
46.53/46.79 c #Conflicts: 206000 | #Constraints: 26114
46.53/46.79 c #Conflicts: 207000 | #Constraints: 27114
46.53/46.79 c INPROCESSING
46.53/46.79 c GARBAGE COLLECT
46.53/46.79 c rational objective 2
48.52/48.74 c #Conflicts: 208000 | #Constraints: 19131
48.52/48.74 c #Conflicts: 209000 | #Constraints: 20131
48.52/48.74 c #Conflicts: 210000 | #Constraints: 21131
48.52/48.74 c #Conflicts: 211000 | #Constraints: 22131
48.52/48.74 c #Conflicts: 212000 | #Constraints: 23131
48.52/48.74 c #Conflicts: 213000 | #Constraints: 24131
48.52/48.74 c #Conflicts: 214000 | #Constraints: 25131
48.52/48.74 c #Conflicts: 215000 | #Constraints: 26131
48.52/48.74 c #Conflicts: 216000 | #Constraints: 27131
48.52/48.74 c INPROCESSING
48.52/48.74 c GARBAGE COLLECT
48.52/48.74 c rational objective 2
50.41/50.68 c #Conflicts: 217000 | #Constraints: 18925
50.41/50.68 c #Conflicts: 218000 | #Constraints: 19925
50.41/50.68 c #Conflicts: 219000 | #Constraints: 20925
50.41/50.68 c #Conflicts: 220000 | #Constraints: 21925
50.41/50.68 c #Conflicts: 221000 | #Constraints: 22925
50.41/50.68 c #Conflicts: 222000 | #Constraints: 23925
50.41/50.68 c #Conflicts: 223000 | #Constraints: 24925
50.41/50.68 c #Conflicts: 224000 | #Constraints: 25925
50.41/50.68 c #Conflicts: 225000 | #Constraints: 26925
50.41/50.68 c #Conflicts: 226000 | #Constraints: 27925
50.41/50.68 c INPROCESSING
50.41/50.68 c GARBAGE COLLECT
50.41/50.68 c rational objective 2
50.62/50.83 c bounds 5 >= 3 @ 49.4377
52.91/53.12 c #Conflicts: 227000 | #Constraints: 19529
52.91/53.12 c #Conflicts: 228000 | #Constraints: 20529
52.91/53.12 c #Conflicts: 229000 | #Constraints: 21529
52.91/53.12 c #Conflicts: 230000 | #Constraints: 22529
52.91/53.12 c #Conflicts: 231000 | #Constraints: 23529
52.91/53.12 c #Conflicts: 232000 | #Constraints: 24529
52.91/53.12 c #Conflicts: 233000 | #Constraints: 25529
52.91/53.12 c #Conflicts: 234000 | #Constraints: 26529
52.91/53.12 c #Conflicts: 235000 | #Constraints: 27529
52.91/53.12 c #Conflicts: 236000 | #Constraints: 28529
52.91/53.12 c INPROCESSING
52.91/53.12 c GARBAGE COLLECT
52.91/53.12 c rational objective 3
55.30/55.53 c #Conflicts: 237000 | #Constraints: 19930
55.30/55.53 c #Conflicts: 238000 | #Constraints: 20930
55.30/55.53 c #Conflicts: 239000 | #Constraints: 21930
55.30/55.53 c #Conflicts: 240000 | #Constraints: 22930
55.30/55.53 c #Conflicts: 241000 | #Constraints: 23930
55.30/55.53 c #Conflicts: 242000 | #Constraints: 24930
55.30/55.53 c #Conflicts: 243000 | #Constraints: 25930
55.30/55.53 c #Conflicts: 244000 | #Constraints: 26930
55.30/55.53 c #Conflicts: 245000 | #Constraints: 27930
55.30/55.53 c #Conflicts: 246000 | #Constraints: 28930
55.30/55.53 c INPROCESSING
55.30/55.53 c GARBAGE COLLECT
55.30/55.53 c rational objective 3
57.70/57.90 c #Conflicts: 247000 | #Constraints: 20134
57.70/57.90 c #Conflicts: 248000 | #Constraints: 21134
57.70/57.90 c #Conflicts: 249000 | #Constraints: 22134
57.70/57.90 c #Conflicts: 250000 | #Constraints: 23134
57.70/57.90 c #Conflicts: 251000 | #Constraints: 24134
57.70/57.90 c #Conflicts: 252000 | #Constraints: 25134
57.70/57.90 c #Conflicts: 253000 | #Constraints: 26134
57.70/57.90 c #Conflicts: 254000 | #Constraints: 27134
57.70/57.90 c #Conflicts: 255000 | #Constraints: 28134
57.70/57.90 c #Conflicts: 256000 | #Constraints: 29134
57.70/57.90 c INPROCESSING
57.70/57.90 c GARBAGE COLLECT
57.70/57.90 c rational objective 3
60.19/60.45 c #Conflicts: 257000 | #Constraints: 18873
60.19/60.45 c #Conflicts: 258000 | #Constraints: 19873
60.19/60.45 c #Conflicts: 259000 | #Constraints: 20873
60.19/60.45 c #Conflicts: 260000 | #Constraints: 21873
60.19/60.45 c #Conflicts: 261000 | #Constraints: 22873
60.19/60.45 c #Conflicts: 262000 | #Constraints: 23873
60.19/60.45 c #Conflicts: 263000 | #Constraints: 24873
60.19/60.45 c #Conflicts: 264000 | #Constraints: 25873
60.19/60.45 c #Conflicts: 265000 | #Constraints: 26873
60.19/60.45 c #Conflicts: 266000 | #Constraints: 27873
60.19/60.45 c INPROCESSING
60.19/60.45 c GARBAGE COLLECT
60.19/60.45 c rational objective 3
63.08/63.33 c #Conflicts: 267000 | #Constraints: 19174
63.08/63.33 c #Conflicts: 268000 | #Constraints: 20174
63.08/63.33 c #Conflicts: 269000 | #Constraints: 21174
63.08/63.33 c #Conflicts: 270000 | #Constraints: 22174
63.08/63.33 c #Conflicts: 271000 | #Constraints: 23174
63.08/63.33 c #Conflicts: 272000 | #Constraints: 24174
63.08/63.33 c #Conflicts: 273000 | #Constraints: 25174
63.08/63.33 c #Conflicts: 274000 | #Constraints: 26174
63.08/63.33 c #Conflicts: 275000 | #Constraints: 27174
63.08/63.33 c #Conflicts: 276000 | #Constraints: 28174
63.08/63.33 c #Conflicts: 277000 | #Constraints: 29174
63.08/63.33 c INPROCESSING
63.08/63.33 c GARBAGE COLLECT
63.08/63.33 c rational objective 3
65.79/66.07 c #Conflicts: 278000 | #Constraints: 20038
65.79/66.07 c #Conflicts: 279000 | #Constraints: 21038
65.79/66.07 c #Conflicts: 280000 | #Constraints: 22038
65.79/66.07 c #Conflicts: 281000 | #Constraints: 23038
65.79/66.07 c #Conflicts: 282000 | #Constraints: 24038
65.79/66.07 c #Conflicts: 283000 | #Constraints: 25038
65.79/66.07 c #Conflicts: 284000 | #Constraints: 26038
65.79/66.07 c #Conflicts: 285000 | #Constraints: 27038
65.79/66.07 c #Conflicts: 286000 | #Constraints: 28038
65.79/66.07 c #Conflicts: 287000 | #Constraints: 29038
65.79/66.07 c #Conflicts: 288000 | #Constraints: 30038
65.79/66.07 c INPROCESSING
65.79/66.07 c GARBAGE COLLECT
65.79/66.07 c rational objective 3
68.56/68.83 c #Conflicts: 289000 | #Constraints: 20563
68.56/68.83 c #Conflicts: 290000 | #Constraints: 21563
68.56/68.83 c #Conflicts: 291000 | #Constraints: 22563
68.56/68.83 c #Conflicts: 292000 | #Constraints: 23563
68.56/68.83 c #Conflicts: 293000 | #Constraints: 24563
68.56/68.83 c #Conflicts: 294000 | #Constraints: 25563
68.56/68.83 c #Conflicts: 295000 | #Constraints: 26563
68.56/68.83 c #Conflicts: 296000 | #Constraints: 27563
68.56/68.83 c #Conflicts: 297000 | #Constraints: 28563
68.56/68.83 c #Conflicts: 298000 | #Constraints: 29563
68.56/68.83 c #Conflicts: 299000 | #Constraints: 30563
68.56/68.83 c INPROCESSING
68.56/68.83 c GARBAGE COLLECT
68.56/68.83 c rational objective 3
71.46/71.72 c #Conflicts: 300000 | #Constraints: 20834
71.46/71.72 c #Conflicts: 301000 | #Constraints: 21834
71.46/71.72 c #Conflicts: 302000 | #Constraints: 22834
71.46/71.72 c #Conflicts: 303000 | #Constraints: 23834
71.46/71.72 c #Conflicts: 304000 | #Constraints: 24834
71.46/71.72 c #Conflicts: 305000 | #Constraints: 25834
71.46/71.72 c #Conflicts: 306000 | #Constraints: 26834
71.46/71.72 c #Conflicts: 307000 | #Constraints: 27834
71.46/71.72 c #Conflicts: 308000 | #Constraints: 28834
71.46/71.72 c #Conflicts: 309000 | #Constraints: 29834
71.46/71.72 c #Conflicts: 310000 | #Constraints: 30834
71.46/71.72 c INPROCESSING
71.46/71.72 c GARBAGE COLLECT
71.46/71.72 c rational objective 3
74.65/74.95 c #Conflicts: 311000 | #Constraints: 20859
74.65/74.95 c #Conflicts: 312000 | #Constraints: 21859
74.65/74.95 c #Conflicts: 313000 | #Constraints: 22859
74.65/74.95 c #Conflicts: 314000 | #Constraints: 23859
74.65/74.95 c #Conflicts: 315000 | #Constraints: 24859
74.65/74.95 c #Conflicts: 316000 | #Constraints: 25859
74.65/74.95 c #Conflicts: 317000 | #Constraints: 26859
74.65/74.95 c #Conflicts: 318000 | #Constraints: 27859
74.65/74.95 c #Conflicts: 319000 | #Constraints: 28859
74.65/74.95 c #Conflicts: 320000 | #Constraints: 29859
74.65/74.95 c #Conflicts: 321000 | #Constraints: 30859
74.65/74.95 c INPROCESSING
74.65/74.95 c GARBAGE COLLECT
74.65/74.95 c rational objective 3
77.65/77.93 c #Conflicts: 322000 | #Constraints: 20683
77.65/77.93 c #Conflicts: 323000 | #Constraints: 21683
77.65/77.93 c #Conflicts: 324000 | #Constraints: 22683
77.65/77.93 c #Conflicts: 325000 | #Constraints: 23683
77.65/77.93 c #Conflicts: 326000 | #Constraints: 24683
77.65/77.93 c #Conflicts: 327000 | #Constraints: 25683
77.65/77.93 c #Conflicts: 328000 | #Constraints: 26683
77.65/77.93 c #Conflicts: 329000 | #Constraints: 27683
77.65/77.93 c #Conflicts: 330000 | #Constraints: 28683
77.65/77.93 c #Conflicts: 331000 | #Constraints: 29683
77.65/77.93 c #Conflicts: 332000 | #Constraints: 30683
77.65/77.93 c #Conflicts: 333000 | #Constraints: 31683
77.65/77.93 c INPROCESSING
77.65/77.93 c GARBAGE COLLECT
77.65/77.93 c rational objective 3
80.54/80.89 c #Conflicts: 334000 | #Constraints: 21283
80.54/80.89 c #Conflicts: 335000 | #Constraints: 22283
80.54/80.89 c #Conflicts: 336000 | #Constraints: 23283
80.54/80.89 c #Conflicts: 337000 | #Constraints: 24283
80.54/80.89 c #Conflicts: 338000 | #Constraints: 25283
80.54/80.89 c #Conflicts: 339000 | #Constraints: 26283
80.54/80.89 c #Conflicts: 340000 | #Constraints: 27283
80.54/80.89 c #Conflicts: 341000 | #Constraints: 28283
80.54/80.89 c #Conflicts: 342000 | #Constraints: 29283
80.54/80.89 c #Conflicts: 343000 | #Constraints: 30283
80.54/80.89 c #Conflicts: 344000 | #Constraints: 31283
80.54/80.89 c #Conflicts: 345000 | #Constraints: 32283
80.54/80.89 c INPROCESSING
80.54/80.89 c GARBAGE COLLECT
80.54/80.89 c rational objective 3
83.53/83.87 c #Conflicts: 346000 | #Constraints: 21700
83.53/83.87 c #Conflicts: 347000 | #Constraints: 22700
83.53/83.87 c #Conflicts: 348000 | #Constraints: 23700
83.53/83.87 c #Conflicts: 349000 | #Constraints: 24700
83.53/83.87 c #Conflicts: 350000 | #Constraints: 25700
83.53/83.87 c #Conflicts: 351000 | #Constraints: 26700
83.53/83.87 c #Conflicts: 352000 | #Constraints: 27700
83.53/83.87 c #Conflicts: 353000 | #Constraints: 28700
83.53/83.87 c #Conflicts: 354000 | #Constraints: 29700
83.53/83.87 c #Conflicts: 355000 | #Constraints: 30700
83.53/83.87 c #Conflicts: 356000 | #Constraints: 31700
83.53/83.87 c #Conflicts: 357000 | #Constraints: 32700
83.53/83.87 c INPROCESSING
83.53/83.87 c GARBAGE COLLECT
83.53/83.87 c rational objective 3
86.62/86.90 c #Conflicts: 358000 | #Constraints: 21900
86.62/86.90 c #Conflicts: 359000 | #Constraints: 22900
86.62/86.90 c #Conflicts: 360000 | #Constraints: 23900
86.62/86.90 c #Conflicts: 361000 | #Constraints: 24900
86.62/86.90 c #Conflicts: 362000 | #Constraints: 25900
86.62/86.90 c #Conflicts: 363000 | #Constraints: 26900
86.62/86.90 c #Conflicts: 364000 | #Constraints: 27900
86.62/86.90 c #Conflicts: 365000 | #Constraints: 28900
86.62/86.90 c #Conflicts: 366000 | #Constraints: 29900
86.62/86.90 c #Conflicts: 367000 | #Constraints: 30900
86.62/86.90 c #Conflicts: 368000 | #Constraints: 31900
86.62/86.90 c #Conflicts: 369000 | #Constraints: 32900
86.62/86.90 c INPROCESSING
86.62/86.90 c GARBAGE COLLECT
86.62/86.90 c rational objective 3
90.11/90.43 c #Conflicts: 370000 | #Constraints: 21901
90.11/90.43 c #Conflicts: 371000 | #Constraints: 22901
90.11/90.43 c #Conflicts: 372000 | #Constraints: 23901
90.11/90.43 c #Conflicts: 373000 | #Constraints: 24901
90.11/90.43 c #Conflicts: 374000 | #Constraints: 25901
90.11/90.43 c #Conflicts: 375000 | #Constraints: 26901
90.11/90.43 c #Conflicts: 376000 | #Constraints: 27901
90.11/90.43 c #Conflicts: 377000 | #Constraints: 28901
90.11/90.43 c #Conflicts: 378000 | #Constraints: 29901
90.11/90.43 c #Conflicts: 379000 | #Constraints: 30901
90.11/90.43 c #Conflicts: 380000 | #Constraints: 31901
90.11/90.43 c #Conflicts: 381000 | #Constraints: 32901
90.11/90.43 c INPROCESSING
90.11/90.43 c GARBAGE COLLECT
90.11/90.43 c rational objective 3
93.00/93.34 c #Conflicts: 382000 | #Constraints: 21696
93.00/93.34 c #Conflicts: 383000 | #Constraints: 22696
93.00/93.34 c #Conflicts: 384000 | #Constraints: 23696
93.00/93.34 c #Conflicts: 385000 | #Constraints: 24696
93.00/93.34 c #Conflicts: 386000 | #Constraints: 25696
93.00/93.34 c #Conflicts: 387000 | #Constraints: 26696
93.00/93.34 c #Conflicts: 388000 | #Constraints: 27696
93.00/93.34 c #Conflicts: 389000 | #Constraints: 28696
93.00/93.34 c #Conflicts: 390000 | #Constraints: 29696
93.00/93.34 c #Conflicts: 391000 | #Constraints: 30696
93.00/93.34 c #Conflicts: 392000 | #Constraints: 31696
93.00/93.34 c #Conflicts: 393000 | #Constraints: 32696
93.00/93.34 c #Conflicts: 394000 | #Constraints: 33696
93.00/93.34 c INPROCESSING
93.00/93.34 c GARBAGE COLLECT
93.00/93.34 c rational objective 3
96.50/96.81 c #Conflicts: 395000 | #Constraints: 22290
96.50/96.81 c #Conflicts: 396000 | #Constraints: 23290
96.50/96.81 c #Conflicts: 397000 | #Constraints: 24290
96.50/96.81 c #Conflicts: 398000 | #Constraints: 25290
96.50/96.81 c #Conflicts: 399000 | #Constraints: 26290
96.50/96.81 c #Conflicts: 400000 | #Constraints: 27290
96.50/96.81 c #Conflicts: 401000 | #Constraints: 28290
96.50/96.81 c #Conflicts: 402000 | #Constraints: 29290
96.50/96.81 c #Conflicts: 403000 | #Constraints: 30290
96.50/96.81 c #Conflicts: 404000 | #Constraints: 31290
96.50/96.81 c #Conflicts: 405000 | #Constraints: 32290
96.50/96.81 c #Conflicts: 406000 | #Constraints: 33290
96.50/96.81 c #Conflicts: 407000 | #Constraints: 34290
96.50/96.81 c INPROCESSING
96.50/96.81 c GARBAGE COLLECT
96.50/96.81 c rational objective 3
100.60/100.93 c #Conflicts: 408000 | #Constraints: 22690
100.60/100.93 c #Conflicts: 409000 | #Constraints: 23690
100.60/100.93 c #Conflicts: 410000 | #Constraints: 24690
100.60/100.93 c #Conflicts: 411000 | #Constraints: 25690
100.60/100.93 c #Conflicts: 412000 | #Constraints: 26690
100.60/100.93 c #Conflicts: 413000 | #Constraints: 27690
100.60/100.93 c #Conflicts: 414000 | #Constraints: 28690
100.60/100.93 c #Conflicts: 415000 | #Constraints: 29690
100.60/100.93 c #Conflicts: 416000 | #Constraints: 30690
100.60/100.93 c #Conflicts: 417000 | #Constraints: 31690
100.60/100.93 c #Conflicts: 418000 | #Constraints: 32690
100.60/100.93 c #Conflicts: 419000 | #Constraints: 33690
100.60/100.93 c #Conflicts: 420000 | #Constraints: 34690
100.60/100.93 c INPROCESSING
100.60/100.93 c GARBAGE COLLECT
100.60/100.93 c rational objective 3
104.18/104.59 c #Conflicts: 421000 | #Constraints: 22894
104.18/104.59 c #Conflicts: 422000 | #Constraints: 23894
104.18/104.59 c #Conflicts: 423000 | #Constraints: 24894
104.18/104.59 c #Conflicts: 424000 | #Constraints: 25894
104.18/104.59 c #Conflicts: 425000 | #Constraints: 26894
104.18/104.59 c #Conflicts: 426000 | #Constraints: 27894
104.18/104.59 c #Conflicts: 427000 | #Constraints: 28894
104.18/104.59 c #Conflicts: 428000 | #Constraints: 29894
104.18/104.59 c #Conflicts: 429000 | #Constraints: 30894
104.18/104.59 c #Conflicts: 430000 | #Constraints: 31894
104.18/104.59 c #Conflicts: 431000 | #Constraints: 32894
104.18/104.59 c #Conflicts: 432000 | #Constraints: 33894
104.18/104.59 c #Conflicts: 433000 | #Constraints: 34894
104.18/104.59 c INPROCESSING
104.18/104.59 c GARBAGE COLLECT
104.18/104.59 c rational objective 3
107.77/108.13 c #Conflicts: 434000 | #Constraints: 22909
107.77/108.13 c #Conflicts: 435000 | #Constraints: 23909
107.77/108.13 c #Conflicts: 436000 | #Constraints: 24909
107.77/108.13 c #Conflicts: 437000 | #Constraints: 25909
107.77/108.13 c #Conflicts: 438000 | #Constraints: 26909
107.77/108.13 c #Conflicts: 439000 | #Constraints: 27909
107.77/108.13 c #Conflicts: 440000 | #Constraints: 28909
107.77/108.13 c #Conflicts: 441000 | #Constraints: 29909
107.77/108.13 c #Conflicts: 442000 | #Constraints: 30909
107.77/108.13 c #Conflicts: 443000 | #Constraints: 31909
107.77/108.13 c #Conflicts: 444000 | #Constraints: 32909
107.77/108.13 c #Conflicts: 445000 | #Constraints: 33909
107.77/108.13 c #Conflicts: 446000 | #Constraints: 34909
107.77/108.13 c INPROCESSING
107.77/108.13 c GARBAGE COLLECT
107.77/108.13 c rational objective 3
112.06/112.42 c #Conflicts: 447000 | #Constraints: 22695
112.06/112.42 c #Conflicts: 448000 | #Constraints: 23695
112.06/112.42 c #Conflicts: 449000 | #Constraints: 24695
112.06/112.42 c #Conflicts: 450000 | #Constraints: 25695
112.06/112.42 c #Conflicts: 451000 | #Constraints: 26695
112.06/112.42 c #Conflicts: 452000 | #Constraints: 27695
112.06/112.42 c #Conflicts: 453000 | #Constraints: 28695
112.06/112.42 c #Conflicts: 454000 | #Constraints: 29695
112.06/112.42 c #Conflicts: 455000 | #Constraints: 30695
112.06/112.42 c #Conflicts: 456000 | #Constraints: 31695
112.06/112.42 c #Conflicts: 457000 | #Constraints: 32695
112.06/112.42 c #Conflicts: 458000 | #Constraints: 33695
112.06/112.42 c #Conflicts: 459000 | #Constraints: 34695
112.06/112.42 c #Conflicts: 460000 | #Constraints: 35695
112.06/112.42 c INPROCESSING
112.06/112.42 c GARBAGE COLLECT
112.06/112.42 c rational objective 3
116.35/116.77 c #Conflicts: 461000 | #Constraints: 23308
116.35/116.77 c #Conflicts: 462000 | #Constraints: 24308
116.35/116.77 c #Conflicts: 463000 | #Constraints: 25308
116.35/116.77 c #Conflicts: 464000 | #Constraints: 26308
116.35/116.77 c #Conflicts: 465000 | #Constraints: 27308
116.35/116.77 c #Conflicts: 466000 | #Constraints: 28308
116.35/116.77 c #Conflicts: 467000 | #Constraints: 29308
116.35/116.77 c #Conflicts: 468000 | #Constraints: 30308
116.35/116.77 c #Conflicts: 469000 | #Constraints: 31308
116.35/116.77 c #Conflicts: 470000 | #Constraints: 32308
116.35/116.77 c #Conflicts: 471000 | #Constraints: 33308
116.35/116.77 c #Conflicts: 472000 | #Constraints: 34308
116.35/116.77 c #Conflicts: 473000 | #Constraints: 35308
116.35/116.77 c #Conflicts: 474000 | #Constraints: 36308
116.35/116.77 c INPROCESSING
116.35/116.77 c GARBAGE COLLECT
116.35/116.77 c rational objective 3
120.54/120.98 c #Conflicts: 475000 | #Constraints: 23707
120.54/120.98 c #Conflicts: 476000 | #Constraints: 24707
120.54/120.98 c #Conflicts: 477000 | #Constraints: 25707
120.54/120.98 c #Conflicts: 478000 | #Constraints: 26707
120.54/120.98 c #Conflicts: 479000 | #Constraints: 27707
120.54/120.98 c #Conflicts: 480000 | #Constraints: 28707
120.54/120.98 c #Conflicts: 481000 | #Constraints: 29707
120.54/120.98 c #Conflicts: 482000 | #Constraints: 30707
120.54/120.98 c #Conflicts: 483000 | #Constraints: 31707
120.54/120.98 c #Conflicts: 484000 | #Constraints: 32707
120.54/120.98 c #Conflicts: 485000 | #Constraints: 33707
120.54/120.98 c #Conflicts: 486000 | #Constraints: 34707
120.54/120.98 c #Conflicts: 487000 | #Constraints: 35707
120.54/120.98 c #Conflicts: 488000 | #Constraints: 36707
120.54/120.98 c INPROCESSING
120.54/120.98 c GARBAGE COLLECT
120.54/120.98 c rational objective 3
124.64/125.01 c #Conflicts: 489000 | #Constraints: 23914
124.64/125.01 c #Conflicts: 490000 | #Constraints: 24914
124.64/125.01 c #Conflicts: 491000 | #Constraints: 25914
124.64/125.01 c #Conflicts: 492000 | #Constraints: 26914
124.64/125.01 c #Conflicts: 493000 | #Constraints: 27914
124.64/125.01 c #Conflicts: 494000 | #Constraints: 28914
124.64/125.01 c #Conflicts: 495000 | #Constraints: 29914
124.64/125.01 c #Conflicts: 496000 | #Constraints: 30914
124.64/125.01 c #Conflicts: 497000 | #Constraints: 31914
124.64/125.01 c #Conflicts: 498000 | #Constraints: 32914
124.64/125.01 c #Conflicts: 499000 | #Constraints: 33914
124.64/125.01 c #Conflicts: 500000 | #Constraints: 34914
124.64/125.01 c #Conflicts: 501000 | #Constraints: 35914
124.64/125.01 c #Conflicts: 502000 | #Constraints: 36914
124.64/125.01 c INPROCESSING
124.64/125.01 c GARBAGE COLLECT
124.64/125.01 c rational objective 3
128.82/129.26 c #Conflicts: 503000 | #Constraints: 23908
128.82/129.26 c #Conflicts: 504000 | #Constraints: 24908
128.82/129.26 c #Conflicts: 505000 | #Constraints: 25908
128.82/129.26 c #Conflicts: 506000 | #Constraints: 26908
128.82/129.26 c #Conflicts: 507000 | #Constraints: 27908
128.82/129.26 c #Conflicts: 508000 | #Constraints: 28908
128.82/129.26 c #Conflicts: 509000 | #Constraints: 29908
128.82/129.26 c #Conflicts: 510000 | #Constraints: 30908
128.82/129.26 c #Conflicts: 511000 | #Constraints: 31908
128.82/129.26 c #Conflicts: 512000 | #Constraints: 32908
128.82/129.26 c #Conflicts: 513000 | #Constraints: 33908
128.82/129.26 c #Conflicts: 514000 | #Constraints: 34908
128.82/129.26 c #Conflicts: 515000 | #Constraints: 35908
128.82/129.26 c #Conflicts: 516000 | #Constraints: 36908
128.82/129.26 c INPROCESSING
128.82/129.26 c GARBAGE COLLECT
128.82/129.26 c rational objective 3
132.81/133.24 c #Conflicts: 517000 | #Constraints: 23697
132.81/133.24 c #Conflicts: 518000 | #Constraints: 24697
132.81/133.24 c #Conflicts: 519000 | #Constraints: 25697
132.81/133.24 c #Conflicts: 520000 | #Constraints: 26697
132.81/133.24 c #Conflicts: 521000 | #Constraints: 27697
132.81/133.24 c #Conflicts: 522000 | #Constraints: 28697
132.81/133.24 c #Conflicts: 523000 | #Constraints: 29697
132.81/133.24 c #Conflicts: 524000 | #Constraints: 30697
132.81/133.24 c #Conflicts: 525000 | #Constraints: 31697
132.81/133.24 c #Conflicts: 526000 | #Constraints: 32697
132.81/133.24 c #Conflicts: 527000 | #Constraints: 33697
132.81/133.24 c #Conflicts: 528000 | #Constraints: 34697
132.81/133.24 c #Conflicts: 529000 | #Constraints: 35697
132.81/133.24 c #Conflicts: 530000 | #Constraints: 36697
132.81/133.24 c #Conflicts: 531000 | #Constraints: 37697
132.81/133.24 c INPROCESSING
132.81/133.24 c GARBAGE COLLECT
132.81/133.24 c rational objective 3
137.40/137.86 c #Conflicts: 532000 | #Constraints: 24306
137.40/137.86 c #Conflicts: 533000 | #Constraints: 25306
137.40/137.86 c #Conflicts: 534000 | #Constraints: 26306
137.40/137.86 c #Conflicts: 535000 | #Constraints: 27306
137.40/137.86 c #Conflicts: 536000 | #Constraints: 28306
137.40/137.86 c #Conflicts: 537000 | #Constraints: 29306
137.40/137.86 c #Conflicts: 538000 | #Constraints: 30306
137.40/137.86 c #Conflicts: 539000 | #Constraints: 31306
137.40/137.86 c #Conflicts: 540000 | #Constraints: 32306
137.40/137.86 c #Conflicts: 541000 | #Constraints: 33306
137.40/137.86 c #Conflicts: 542000 | #Constraints: 34306
137.40/137.86 c #Conflicts: 543000 | #Constraints: 35306
137.40/137.86 c #Conflicts: 544000 | #Constraints: 36306
137.40/137.86 c #Conflicts: 545000 | #Constraints: 37306
137.40/137.86 c #Conflicts: 546000 | #Constraints: 38306
137.40/137.86 c INPROCESSING
137.40/137.86 c GARBAGE COLLECT
137.40/137.86 c rational objective 3
141.59/142.02 c #Conflicts: 547000 | #Constraints: 24708
141.59/142.02 c #Conflicts: 548000 | #Constraints: 25708
141.59/142.02 c #Conflicts: 549000 | #Constraints: 26708
141.59/142.02 c #Conflicts: 550000 | #Constraints: 27708
141.59/142.02 c #Conflicts: 551000 | #Constraints: 28708
141.59/142.02 c #Conflicts: 552000 | #Constraints: 29708
141.59/142.02 c #Conflicts: 553000 | #Constraints: 30708
141.59/142.02 c #Conflicts: 554000 | #Constraints: 31708
141.59/142.02 c #Conflicts: 555000 | #Constraints: 32708
141.59/142.02 c #Conflicts: 556000 | #Constraints: 33708
141.59/142.02 c #Conflicts: 557000 | #Constraints: 34708
141.59/142.02 c #Conflicts: 558000 | #Constraints: 35708
141.59/142.02 c #Conflicts: 559000 | #Constraints: 36708
141.59/142.02 c #Conflicts: 560000 | #Constraints: 37708
141.59/142.02 c #Conflicts: 561000 | #Constraints: 38708
141.59/142.02 c INPROCESSING
141.59/142.02 c GARBAGE COLLECT
141.59/142.02 c rational objective 3
145.88/146.37 c #Conflicts: 562000 | #Constraints: 24905
145.88/146.37 c #Conflicts: 563000 | #Constraints: 25905
145.88/146.37 c #Conflicts: 564000 | #Constraints: 26905
145.88/146.37 c #Conflicts: 565000 | #Constraints: 27905
145.88/146.37 c #Conflicts: 566000 | #Constraints: 28905
145.88/146.37 c #Conflicts: 567000 | #Constraints: 29905
145.88/146.37 c #Conflicts: 568000 | #Constraints: 30905
145.88/146.37 c #Conflicts: 569000 | #Constraints: 31905
145.88/146.37 c #Conflicts: 570000 | #Constraints: 32905
145.88/146.37 c #Conflicts: 571000 | #Constraints: 33905
145.88/146.37 c #Conflicts: 572000 | #Constraints: 34905
145.88/146.37 c #Conflicts: 573000 | #Constraints: 35905
145.88/146.37 c #Conflicts: 574000 | #Constraints: 36905
145.88/146.37 c #Conflicts: 575000 | #Constraints: 37905
145.88/146.37 c #Conflicts: 576000 | #Constraints: 38905
145.88/146.37 c INPROCESSING
145.88/146.37 c GARBAGE COLLECT
145.88/146.37 c rational objective 3
149.87/150.37 c #Conflicts: 577000 | #Constraints: 24914
149.87/150.37 c #Conflicts: 578000 | #Constraints: 25914
149.87/150.37 c #Conflicts: 579000 | #Constraints: 26914
149.87/150.37 c #Conflicts: 580000 | #Constraints: 27914
149.87/150.37 c #Conflicts: 581000 | #Constraints: 28914
149.87/150.37 c #Conflicts: 582000 | #Constraints: 29914
149.87/150.37 c #Conflicts: 583000 | #Constraints: 30914
149.87/150.37 c #Conflicts: 584000 | #Constraints: 31914
149.87/150.37 c #Conflicts: 585000 | #Constraints: 32914
149.87/150.37 c #Conflicts: 586000 | #Constraints: 33914
149.87/150.37 c #Conflicts: 587000 | #Constraints: 34914
149.87/150.37 c #Conflicts: 588000 | #Constraints: 35914
149.87/150.37 c #Conflicts: 589000 | #Constraints: 36914
149.87/150.37 c #Conflicts: 590000 | #Constraints: 37914
149.87/150.37 c #Conflicts: 591000 | #Constraints: 38914
149.87/150.37 c INPROCESSING
149.87/150.37 c GARBAGE COLLECT
149.87/150.37 c rational objective 3
154.46/154.97 c #Conflicts: 592000 | #Constraints: 24706
154.46/154.97 c #Conflicts: 593000 | #Constraints: 25706
154.46/154.97 c #Conflicts: 594000 | #Constraints: 26706
154.46/154.97 c #Conflicts: 595000 | #Constraints: 27706
154.46/154.97 c #Conflicts: 596000 | #Constraints: 28706
154.46/154.97 c #Conflicts: 597000 | #Constraints: 29706
154.46/154.97 c #Conflicts: 598000 | #Constraints: 30706
154.46/154.97 c #Conflicts: 599000 | #Constraints: 31706
154.46/154.97 c #Conflicts: 600000 | #Constraints: 32706
154.46/154.97 c #Conflicts: 601000 | #Constraints: 33706
154.46/154.97 c #Conflicts: 602000 | #Constraints: 34706
154.46/154.97 c #Conflicts: 603000 | #Constraints: 35706
154.46/154.97 c #Conflicts: 604000 | #Constraints: 36706
154.46/154.97 c #Conflicts: 605000 | #Constraints: 37706
154.46/154.97 c #Conflicts: 606000 | #Constraints: 38706
154.46/154.97 c #Conflicts: 607000 | #Constraints: 39706
154.46/154.97 c INPROCESSING
154.46/154.97 c GARBAGE COLLECT
154.46/154.97 c rational objective 3
158.45/159.00 c #Conflicts: 608000 | #Constraints: 25326
158.45/159.00 c #Conflicts: 609000 | #Constraints: 26326
158.45/159.00 c #Conflicts: 610000 | #Constraints: 27326
158.45/159.00 c #Conflicts: 611000 | #Constraints: 28326
158.45/159.00 c #Conflicts: 612000 | #Constraints: 29326
158.45/159.00 c #Conflicts: 613000 | #Constraints: 30326
158.45/159.00 c #Conflicts: 614000 | #Constraints: 31326
158.45/159.00 c #Conflicts: 615000 | #Constraints: 32326
158.45/159.00 c #Conflicts: 616000 | #Constraints: 33326
158.45/159.00 c #Conflicts: 617000 | #Constraints: 34326
158.45/159.00 c #Conflicts: 618000 | #Constraints: 35326
158.45/159.00 c #Conflicts: 619000 | #Constraints: 36326
158.45/159.00 c #Conflicts: 620000 | #Constraints: 37326
158.45/159.00 c #Conflicts: 621000 | #Constraints: 38326
158.45/159.00 c #Conflicts: 622000 | #Constraints: 39326
158.45/159.00 c #Conflicts: 623000 | #Constraints: 40326
158.45/159.00 c INPROCESSING
158.45/159.00 c GARBAGE COLLECT
158.45/159.00 c rational objective 3
164.03/164.57 c #Conflicts: 624000 | #Constraints: 25714
164.03/164.57 c #Conflicts: 625000 | #Constraints: 26714
164.03/164.57 c #Conflicts: 626000 | #Constraints: 27714
164.03/164.57 c #Conflicts: 627000 | #Constraints: 28714
164.03/164.57 c #Conflicts: 628000 | #Constraints: 29714
164.03/164.57 c #Conflicts: 629000 | #Constraints: 30714
164.03/164.57 c #Conflicts: 630000 | #Constraints: 31714
164.03/164.57 c #Conflicts: 631000 | #Constraints: 32714
164.03/164.57 c #Conflicts: 632000 | #Constraints: 33714
164.03/164.57 c #Conflicts: 633000 | #Constraints: 34714
164.03/164.57 c #Conflicts: 634000 | #Constraints: 35714
164.03/164.57 c #Conflicts: 635000 | #Constraints: 36714
164.03/164.57 c #Conflicts: 636000 | #Constraints: 37714
164.03/164.57 c #Conflicts: 637000 | #Constraints: 38714
164.03/164.57 c #Conflicts: 638000 | #Constraints: 39714
164.03/164.57 c #Conflicts: 639000 | #Constraints: 40714
164.03/164.57 c INPROCESSING
164.03/164.57 c GARBAGE COLLECT
164.03/164.57 c rational objective 3
168.42/168.97 c #Conflicts: 640000 | #Constraints: 25911
168.42/168.97 c #Conflicts: 641000 | #Constraints: 26911
168.42/168.97 c #Conflicts: 642000 | #Constraints: 27911
168.42/168.97 c #Conflicts: 643000 | #Constraints: 28911
168.42/168.97 c #Conflicts: 644000 | #Constraints: 29911
168.42/168.97 c #Conflicts: 645000 | #Constraints: 30911
168.42/168.97 c #Conflicts: 646000 | #Constraints: 31911
168.42/168.97 c #Conflicts: 647000 | #Constraints: 32911
168.42/168.97 c #Conflicts: 648000 | #Constraints: 33911
168.42/168.97 c #Conflicts: 649000 | #Constraints: 34911
168.42/168.97 c #Conflicts: 650000 | #Constraints: 35911
168.42/168.97 c #Conflicts: 651000 | #Constraints: 36911
168.42/168.97 c #Conflicts: 652000 | #Constraints: 37911
168.42/168.97 c #Conflicts: 653000 | #Constraints: 38911
168.42/168.97 c #Conflicts: 654000 | #Constraints: 39911
168.42/168.97 c #Conflicts: 655000 | #Constraints: 40911
168.42/168.97 c INPROCESSING
168.42/168.97 c GARBAGE COLLECT
168.42/168.97 c rational objective 3
173.21/173.79 c #Conflicts: 656000 | #Constraints: 25906
173.21/173.79 c #Conflicts: 657000 | #Constraints: 26906
173.21/173.79 c #Conflicts: 658000 | #Constraints: 27906
173.21/173.79 c #Conflicts: 659000 | #Constraints: 28906
173.21/173.79 c #Conflicts: 660000 | #Constraints: 29906
173.21/173.79 c #Conflicts: 661000 | #Constraints: 30906
173.21/173.79 c #Conflicts: 662000 | #Constraints: 31906
173.21/173.79 c #Conflicts: 663000 | #Constraints: 32906
173.21/173.79 c #Conflicts: 664000 | #Constraints: 33906
173.21/173.79 c #Conflicts: 665000 | #Constraints: 34906
173.21/173.79 c #Conflicts: 666000 | #Constraints: 35906
173.21/173.79 c #Conflicts: 667000 | #Constraints: 36906
173.21/173.79 c #Conflicts: 668000 | #Constraints: 37906
173.21/173.79 c #Conflicts: 669000 | #Constraints: 38906
173.21/173.79 c #Conflicts: 670000 | #Constraints: 39906
173.21/173.79 c #Conflicts: 671000 | #Constraints: 40906
173.21/173.79 c INPROCESSING
173.21/173.79 c GARBAGE COLLECT
173.21/173.79 c rational objective 3
177.90/178.46 c #Conflicts: 672000 | #Constraints: 25716
177.90/178.46 c #Conflicts: 673000 | #Constraints: 26716
177.90/178.46 c #Conflicts: 674000 | #Constraints: 27716
177.90/178.46 c #Conflicts: 675000 | #Constraints: 28716
177.90/178.46 c #Conflicts: 676000 | #Constraints: 29716
177.90/178.46 c #Conflicts: 677000 | #Constraints: 30716
177.90/178.46 c #Conflicts: 678000 | #Constraints: 31716
177.90/178.46 c #Conflicts: 679000 | #Constraints: 32716
177.90/178.46 c #Conflicts: 680000 | #Constraints: 33716
177.90/178.46 c #Conflicts: 681000 | #Constraints: 34716
177.90/178.46 c #Conflicts: 682000 | #Constraints: 35716
177.90/178.46 c #Conflicts: 683000 | #Constraints: 36716
177.90/178.46 c #Conflicts: 684000 | #Constraints: 37716
177.90/178.46 c #Conflicts: 685000 | #Constraints: 38716
177.90/178.46 c #Conflicts: 686000 | #Constraints: 39716
177.90/178.46 c bounds 5 >= 4 @ 174.214
178.69/179.22 c #Conflicts: 687000 | #Constraints: 40717
178.69/179.22 c #Conflicts: 688000 | #Constraints: 41717
178.69/179.22 c INPROCESSING
178.69/179.22 c GARBAGE COLLECT
178.69/179.22 c rational objective 4
182.49/183.06 c #Conflicts: 689000 | #Constraints: 18058
182.49/183.06 c #Conflicts: 690000 | #Constraints: 19058
182.49/183.06 c #Conflicts: 691000 | #Constraints: 20058
182.49/183.06 c #Conflicts: 692000 | #Constraints: 21058
182.49/183.06 c #Conflicts: 693000 | #Constraints: 22058
182.49/183.06 c #Conflicts: 694000 | #Constraints: 23058
182.49/183.06 c #Conflicts: 695000 | #Constraints: 24058
182.49/183.06 c #Conflicts: 696000 | #Constraints: 25058
182.49/183.06 c #Conflicts: 697000 | #Constraints: 26059
182.49/183.06 c #Conflicts: 698000 | #Constraints: 27059
182.49/183.06 c #Conflicts: 699000 | #Constraints: 28059
182.49/183.06 c #Conflicts: 700000 | #Constraints: 29059
182.49/183.06 c #Conflicts: 701000 | #Constraints: 30059
182.49/183.06 c #Conflicts: 702000 | #Constraints: 31059
182.49/183.06 c #Conflicts: 703000 | #Constraints: 32059
182.49/183.06 c #Conflicts: 704000 | #Constraints: 33059
182.49/183.06 c #Conflicts: 705000 | #Constraints: 34059
182.49/183.06 c INPROCESSING
182.49/183.06 c GARBAGE COLLECT
182.49/183.06 c rational objective 4
186.48/187.00 c #Conflicts: 706000 | #Constraints: 22415
186.48/187.00 c #Conflicts: 707000 | #Constraints: 23415
186.48/187.00 c #Conflicts: 708000 | #Constraints: 24415
186.48/187.00 c #Conflicts: 709000 | #Constraints: 25415
186.48/187.00 c #Conflicts: 710000 | #Constraints: 26415
186.48/187.00 c #Conflicts: 711000 | #Constraints: 27415
186.48/187.00 c #Conflicts: 712000 | #Constraints: 28415
186.48/187.00 c #Conflicts: 713000 | #Constraints: 29415
186.48/187.00 c #Conflicts: 714000 | #Constraints: 30415
186.48/187.00 c #Conflicts: 715000 | #Constraints: 31415
186.48/187.00 c #Conflicts: 716000 | #Constraints: 32415
186.48/187.00 c #Conflicts: 717000 | #Constraints: 33415
186.48/187.00 c #Conflicts: 718000 | #Constraints: 34415
186.48/187.00 c #Conflicts: 719000 | #Constraints: 35415
186.48/187.00 c #Conflicts: 720000 | #Constraints: 36415
186.48/187.00 c #Conflicts: 721000 | #Constraints: 37415
186.48/187.00 c #Conflicts: 722000 | #Constraints: 38415
186.48/187.00 c INPROCESSING
186.48/187.00 c GARBAGE COLLECT
186.48/187.00 c rational objective 4
193.07/193.65 c #Conflicts: 723000 | #Constraints: 24584
193.07/193.65 c #Conflicts: 724000 | #Constraints: 25584
193.07/193.65 c #Conflicts: 725000 | #Constraints: 26584
193.07/193.65 c #Conflicts: 726000 | #Constraints: 27584
193.07/193.65 c #Conflicts: 727000 | #Constraints: 28584
193.07/193.65 c #Conflicts: 728000 | #Constraints: 29584
193.07/193.65 c #Conflicts: 729000 | #Constraints: 30584
193.07/193.65 c #Conflicts: 730000 | #Constraints: 31584
193.07/193.65 c #Conflicts: 731000 | #Constraints: 32584
193.07/193.65 c #Conflicts: 732000 | #Constraints: 33584
193.07/193.65 c #Conflicts: 733000 | #Constraints: 34584
193.07/193.65 c #Conflicts: 734000 | #Constraints: 35584
193.07/193.65 c #Conflicts: 735000 | #Constraints: 36584
193.07/193.65 c #Conflicts: 736000 | #Constraints: 37584
193.07/193.65 c #Conflicts: 737000 | #Constraints: 38584
193.07/193.65 c #Conflicts: 738000 | #Constraints: 39584
193.07/193.65 c #Conflicts: 739000 | #Constraints: 40584
193.07/193.65 c INPROCESSING
193.07/193.65 c GARBAGE COLLECT
193.07/193.65 c rational objective 4
197.46/198.03 c #Conflicts: 740000 | #Constraints: 25568
197.46/198.03 c #Conflicts: 741000 | #Constraints: 26568
197.46/198.03 c #Conflicts: 742000 | #Constraints: 27568
197.46/198.03 c #Conflicts: 743000 | #Constraints: 28568
197.46/198.03 c #Conflicts: 744000 | #Constraints: 29568
197.46/198.03 c #Conflicts: 745000 | #Constraints: 30568
197.46/198.03 c #Conflicts: 746000 | #Constraints: 31568
197.46/198.03 c #Conflicts: 747000 | #Constraints: 32568
197.46/198.03 c #Conflicts: 748000 | #Constraints: 33568
197.46/198.03 c #Conflicts: 749000 | #Constraints: 34568
197.46/198.03 c #Conflicts: 750000 | #Constraints: 35568
197.46/198.03 c #Conflicts: 751000 | #Constraints: 36568
197.46/198.03 c #Conflicts: 752000 | #Constraints: 37568
197.46/198.03 c #Conflicts: 753000 | #Constraints: 38568
197.46/198.03 c #Conflicts: 754000 | #Constraints: 39568
197.46/198.03 c #Conflicts: 755000 | #Constraints: 40568
197.46/198.03 c #Conflicts: 756000 | #Constraints: 41568
197.46/198.03 c INPROCESSING
197.46/198.03 c GARBAGE COLLECT
197.46/198.03 c rational objective 4
201.94/202.53 c #Conflicts: 757000 | #Constraints: 25867
201.94/202.53 c #Conflicts: 758000 | #Constraints: 26867
201.94/202.53 c #Conflicts: 759000 | #Constraints: 27867
201.94/202.53 c #Conflicts: 760000 | #Constraints: 28867
201.94/202.53 c #Conflicts: 761000 | #Constraints: 29867
201.94/202.53 c #Conflicts: 762000 | #Constraints: 30867
201.94/202.53 c #Conflicts: 763000 | #Constraints: 31867
201.94/202.53 c #Conflicts: 764000 | #Constraints: 32867
201.94/202.53 c #Conflicts: 765000 | #Constraints: 33867
201.94/202.53 c #Conflicts: 766000 | #Constraints: 34867
201.94/202.53 c #Conflicts: 767000 | #Constraints: 35867
201.94/202.53 c #Conflicts: 768000 | #Constraints: 36867
201.94/202.53 c #Conflicts: 769000 | #Constraints: 37867
201.94/202.53 c #Conflicts: 770000 | #Constraints: 38867
201.94/202.53 c #Conflicts: 771000 | #Constraints: 39867
201.94/202.53 c #Conflicts: 772000 | #Constraints: 40867
201.94/202.53 c #Conflicts: 773000 | #Constraints: 41867
201.94/202.53 c #Conflicts: 774000 | #Constraints: 42867
201.94/202.53 c INPROCESSING
201.94/202.53 c GARBAGE COLLECT
201.94/202.53 c rational objective 4
208.83/209.46 c #Conflicts: 775000 | #Constraints: 26727
208.83/209.46 c #Conflicts: 776000 | #Constraints: 27727
208.83/209.46 c #Conflicts: 777000 | #Constraints: 28727
208.83/209.46 c #Conflicts: 778000 | #Constraints: 29727
208.83/209.46 c #Conflicts: 779000 | #Constraints: 30727
208.83/209.46 c #Conflicts: 780000 | #Constraints: 31727
208.83/209.46 c #Conflicts: 781000 | #Constraints: 32727
208.83/209.46 c #Conflicts: 782000 | #Constraints: 33727
208.83/209.46 c #Conflicts: 783000 | #Constraints: 34727
208.83/209.46 c #Conflicts: 784000 | #Constraints: 35727
208.83/209.46 c #Conflicts: 785000 | #Constraints: 36728
208.83/209.46 c #Conflicts: 786000 | #Constraints: 37728
208.83/209.46 c #Conflicts: 787000 | #Constraints: 38728
208.83/209.46 c #Conflicts: 788000 | #Constraints: 39728
208.83/209.46 c #Conflicts: 789000 | #Constraints: 40728
208.83/209.46 c #Conflicts: 790000 | #Constraints: 41728
208.83/209.46 c #Conflicts: 791000 | #Constraints: 42728
208.83/209.46 c #Conflicts: 792000 | #Constraints: 43728
208.83/209.46 c INPROCESSING
208.83/209.46 c GARBAGE COLLECT
208.83/209.46 c rational objective 4
213.82/214.48 c #Conflicts: 793000 | #Constraints: 27248
213.82/214.48 c #Conflicts: 794000 | #Constraints: 28248
213.82/214.48 c #Conflicts: 795000 | #Constraints: 29248
213.82/214.48 c #Conflicts: 796000 | #Constraints: 30248
213.82/214.48 c #Conflicts: 797000 | #Constraints: 31248
213.82/214.48 c #Conflicts: 798000 | #Constraints: 32248
213.82/214.48 c #Conflicts: 799000 | #Constraints: 33248
213.82/214.48 c #Conflicts: 800000 | #Constraints: 34248
213.82/214.48 c #Conflicts: 801000 | #Constraints: 35248
213.82/214.48 c #Conflicts: 802000 | #Constraints: 36248
213.82/214.48 c #Conflicts: 803000 | #Constraints: 37248
213.82/214.48 c #Conflicts: 804000 | #Constraints: 38248
213.82/214.48 c #Conflicts: 805000 | #Constraints: 39248
213.82/214.48 c #Conflicts: 806000 | #Constraints: 40248
213.82/214.48 c #Conflicts: 807000 | #Constraints: 41248
213.82/214.48 c #Conflicts: 808000 | #Constraints: 42248
213.82/214.48 c #Conflicts: 809000 | #Constraints: 43248
213.82/214.48 c #Conflicts: 810000 | #Constraints: 44248
213.82/214.48 c INPROCESSING
213.82/214.48 c GARBAGE COLLECT
213.82/214.48 c rational objective 4
218.60/219.27 c #Conflicts: 811000 | #Constraints: 27503
218.60/219.27 c #Conflicts: 812000 | #Constraints: 28503
218.60/219.27 c #Conflicts: 813000 | #Constraints: 29503
218.60/219.27 c #Conflicts: 814000 | #Constraints: 30503
218.60/219.27 c #Conflicts: 815000 | #Constraints: 31503
218.60/219.27 c #Conflicts: 816000 | #Constraints: 32503
218.60/219.27 c #Conflicts: 817000 | #Constraints: 33503
218.60/219.27 c #Conflicts: 818000 | #Constraints: 34503
218.60/219.27 c #Conflicts: 819000 | #Constraints: 35503
218.60/219.27 c #Conflicts: 820000 | #Constraints: 36503
218.60/219.27 c #Conflicts: 821000 | #Constraints: 37503
218.60/219.27 c #Conflicts: 822000 | #Constraints: 38503
218.60/219.27 c #Conflicts: 823000 | #Constraints: 39503
218.60/219.27 c #Conflicts: 824000 | #Constraints: 40503
218.60/219.27 c #Conflicts: 825000 | #Constraints: 41503
218.60/219.27 c #Conflicts: 826000 | #Constraints: 42503
218.60/219.27 c #Conflicts: 827000 | #Constraints: 43503
218.60/219.27 c #Conflicts: 828000 | #Constraints: 44503
218.60/219.27 c INPROCESSING
218.60/219.27 c GARBAGE COLLECT
218.60/219.27 c rational objective 4
229.18/229.86 c #Conflicts: 829000 | #Constraints: 27424
229.18/229.86 c #Conflicts: 830000 | #Constraints: 28424
229.18/229.86 c #Conflicts: 831000 | #Constraints: 29424
229.18/229.86 c #Conflicts: 832000 | #Constraints: 30425
229.18/229.86 c #Conflicts: 833000 | #Constraints: 31430
229.18/229.86 c #Conflicts: 834000 | #Constraints: 32676
229.18/229.86 c #Conflicts: 835000 | #Constraints: 34116
229.18/229.86 c #Conflicts: 836000 | #Constraints: 35558
229.18/229.86 c #Conflicts: 837000 | #Constraints: 37009
229.18/229.86 c #Conflicts: 838000 | #Constraints: 38455
229.18/229.86 c #Conflicts: 839000 | #Constraints: 39904
229.18/229.86 c #Conflicts: 840000 | #Constraints: 41318
229.18/229.86 c #Conflicts: 841000 | #Constraints: 42518
229.18/229.86 c #Conflicts: 842000 | #Constraints: 43619
229.18/229.86 c #Conflicts: 843000 | #Constraints: 44945
229.18/229.86 c #Conflicts: 844000 | #Constraints: 46091
229.18/229.86 c #Conflicts: 845000 | #Constraints: 47094
229.18/229.86 c #Conflicts: 846000 | #Constraints: 48224
229.18/229.86 c INPROCESSING
229.18/229.86 c GARBAGE COLLECT
229.18/229.86 c rational objective 4
234.57/235.26 c #Conflicts: 847000 | #Constraints: 29177
234.57/235.26 c #Conflicts: 848000 | #Constraints: 30177
234.57/235.26 c #Conflicts: 849000 | #Constraints: 31177
234.57/235.26 c #Conflicts: 850000 | #Constraints: 32177
234.57/235.26 c #Conflicts: 851000 | #Constraints: 33177
234.57/235.26 c #Conflicts: 852000 | #Constraints: 34177
234.57/235.26 c #Conflicts: 853000 | #Constraints: 35177
234.57/235.26 c #Conflicts: 854000 | #Constraints: 36177
234.57/235.26 c #Conflicts: 855000 | #Constraints: 37177
234.57/235.26 c #Conflicts: 856000 | #Constraints: 38177
234.57/235.26 c #Conflicts: 857000 | #Constraints: 39177
234.57/235.26 c #Conflicts: 858000 | #Constraints: 40177
234.57/235.26 c #Conflicts: 859000 | #Constraints: 41177
234.57/235.26 c #Conflicts: 860000 | #Constraints: 42177
234.57/235.26 c #Conflicts: 861000 | #Constraints: 43177
234.57/235.26 c #Conflicts: 862000 | #Constraints: 44177
234.57/235.26 c #Conflicts: 863000 | #Constraints: 45177
234.57/235.26 c #Conflicts: 864000 | #Constraints: 46177
234.57/235.26 c #Conflicts: 865000 | #Constraints: 47177
234.57/235.26 c INPROCESSING
234.57/235.26 c GARBAGE COLLECT
234.57/235.26 c rational objective 4
243.64/244.33 c #Conflicts: 866000 | #Constraints: 28816
243.64/244.33 c #Conflicts: 867000 | #Constraints: 29816
243.64/244.33 c #Conflicts: 868000 | #Constraints: 30938
243.64/244.33 c #Conflicts: 869000 | #Constraints: 32408
243.64/244.33 c #Conflicts: 870000 | #Constraints: 33687
243.64/244.33 c #Conflicts: 871000 | #Constraints: 34844
243.64/244.33 c #Conflicts: 872000 | #Constraints: 36010
243.64/244.33 c #Conflicts: 873000 | #Constraints: 37481
243.64/244.33 c #Conflicts: 874000 | #Constraints: 38891
243.64/244.33 c #Conflicts: 875000 | #Constraints: 40025
243.64/244.33 c #Conflicts: 876000 | #Constraints: 41127
243.64/244.33 c #Conflicts: 877000 | #Constraints: 42366
243.64/244.33 c #Conflicts: 878000 | #Constraints: 43476
243.64/244.33 c #Conflicts: 879000 | #Constraints: 44653
243.64/244.33 c #Conflicts: 880000 | #Constraints: 45730
243.64/244.33 c #Conflicts: 881000 | #Constraints: 46781
243.64/244.33 c #Conflicts: 882000 | #Constraints: 47826
243.64/244.33 c #Conflicts: 883000 | #Constraints: 48935
243.64/244.33 c #Conflicts: 884000 | #Constraints: 50011
243.64/244.33 c INPROCESSING
243.64/244.33 c GARBAGE COLLECT
243.64/244.33 c rational objective 4
249.13/249.85 c #Conflicts: 885000 | #Constraints: 29633
249.13/249.85 c #Conflicts: 886000 | #Constraints: 30633
249.13/249.85 c #Conflicts: 887000 | #Constraints: 31633
249.13/249.85 c #Conflicts: 888000 | #Constraints: 32633
249.13/249.85 c #Conflicts: 889000 | #Constraints: 33633
249.13/249.85 c #Conflicts: 890000 | #Constraints: 34633
249.13/249.85 c #Conflicts: 891000 | #Constraints: 35633
249.13/249.85 c #Conflicts: 892000 | #Constraints: 36633
249.13/249.85 c #Conflicts: 893000 | #Constraints: 37633
249.13/249.85 c #Conflicts: 894000 | #Constraints: 38633
249.13/249.85 c #Conflicts: 895000 | #Constraints: 39633
249.13/249.85 c #Conflicts: 896000 | #Constraints: 40633
249.13/249.85 c #Conflicts: 897000 | #Constraints: 41633
249.13/249.85 c #Conflicts: 898000 | #Constraints: 42633
249.13/249.85 c #Conflicts: 899000 | #Constraints: 43633
249.13/249.85 c #Conflicts: 900000 | #Constraints: 44633
249.13/249.85 c #Conflicts: 901000 | #Constraints: 45633
249.13/249.85 c #Conflicts: 902000 | #Constraints: 46633
249.13/249.85 c #Conflicts: 903000 | #Constraints: 47633
249.13/249.85 c INPROCESSING
249.13/249.85 c GARBAGE COLLECT
249.13/249.85 c rational objective 4
253.51/254.29 c #Conflicts: 904000 | #Constraints: 28799
253.51/254.29 c #Conflicts: 905000 | #Constraints: 29799
253.51/254.29 c #Conflicts: 906000 | #Constraints: 30799
253.51/254.29 c #Conflicts: 907000 | #Constraints: 31799
253.51/254.29 c #Conflicts: 908000 | #Constraints: 32799
253.51/254.29 c #Conflicts: 909000 | #Constraints: 33799
253.51/254.29 c #Conflicts: 910000 | #Constraints: 34800
253.51/254.29 c #Conflicts: 911000 | #Constraints: 35800
253.51/254.29 c #Conflicts: 912000 | #Constraints: 36802
253.51/254.29 c #Conflicts: 913000 | #Constraints: 37802
253.51/254.29 c #Conflicts: 914000 | #Constraints: 38802
253.51/254.29 c #Conflicts: 915000 | #Constraints: 39803
253.51/254.29 c #Conflicts: 916000 | #Constraints: 40803
253.51/254.29 c #Conflicts: 917000 | #Constraints: 41803
253.51/254.29 c #Conflicts: 918000 | #Constraints: 42803
253.51/254.29 c #Conflicts: 919000 | #Constraints: 43803
253.51/254.29 c #Conflicts: 920000 | #Constraints: 44803
253.51/254.29 c #Conflicts: 921000 | #Constraints: 45803
253.51/254.29 c #Conflicts: 922000 | #Constraints: 46804
253.51/254.29 c INPROCESSING
253.51/254.29 c GARBAGE COLLECT
253.51/254.29 c rational objective 4
258.40/259.11 c #Conflicts: 923000 | #Constraints: 28281
258.40/259.11 c #Conflicts: 924000 | #Constraints: 29282
258.40/259.11 c #Conflicts: 925000 | #Constraints: 30283
258.40/259.11 c #Conflicts: 926000 | #Constraints: 31284
258.40/259.11 c #Conflicts: 927000 | #Constraints: 32293
258.40/259.11 c #Conflicts: 928000 | #Constraints: 33293
258.40/259.11 c #Conflicts: 929000 | #Constraints: 34293
258.40/259.11 c #Conflicts: 930000 | #Constraints: 35294
258.40/259.11 c #Conflicts: 931000 | #Constraints: 36294
258.40/259.11 c #Conflicts: 932000 | #Constraints: 37294
258.40/259.11 c #Conflicts: 933000 | #Constraints: 38295
258.40/259.11 c #Conflicts: 934000 | #Constraints: 39295
258.40/259.11 c #Conflicts: 935000 | #Constraints: 40295
258.40/259.11 c #Conflicts: 936000 | #Constraints: 41295
258.40/259.11 c #Conflicts: 937000 | #Constraints: 42295
258.40/259.11 c #Conflicts: 938000 | #Constraints: 43295
258.40/259.11 c #Conflicts: 939000 | #Constraints: 44295
258.40/259.11 c #Conflicts: 940000 | #Constraints: 45296
258.40/259.11 c #Conflicts: 941000 | #Constraints: 46298
258.40/259.11 c INPROCESSING
258.40/259.11 c GARBAGE COLLECT
258.40/259.11 c rational objective 4
262.89/263.68 c #Conflicts: 942000 | #Constraints: 27835
262.89/263.68 c #Conflicts: 943000 | #Constraints: 28835
262.89/263.68 c #Conflicts: 944000 | #Constraints: 29835
262.89/263.68 c #Conflicts: 945000 | #Constraints: 30835
262.89/263.68 c #Conflicts: 946000 | #Constraints: 31835
262.89/263.68 c #Conflicts: 947000 | #Constraints: 32835
262.89/263.68 c #Conflicts: 948000 | #Constraints: 33835
262.89/263.68 c #Conflicts: 949000 | #Constraints: 34835
262.89/263.68 c #Conflicts: 950000 | #Constraints: 35835
262.89/263.68 c #Conflicts: 951000 | #Constraints: 36835
262.89/263.68 c #Conflicts: 952000 | #Constraints: 37835
262.89/263.68 c #Conflicts: 953000 | #Constraints: 38835
262.89/263.68 c #Conflicts: 954000 | #Constraints: 39835
262.89/263.68 c #Conflicts: 955000 | #Constraints: 40835
262.89/263.68 c #Conflicts: 956000 | #Constraints: 41835
262.89/263.68 c #Conflicts: 957000 | #Constraints: 42835
262.89/263.68 c #Conflicts: 958000 | #Constraints: 43835
262.89/263.68 c #Conflicts: 959000 | #Constraints: 44835
262.89/263.68 c #Conflicts: 960000 | #Constraints: 45835
262.89/263.68 c #Conflicts: 961000 | #Constraints: 46835
262.89/263.68 c INPROCESSING
262.89/263.68 c GARBAGE COLLECT
262.89/263.68 c rational objective 4
267.78/268.54 c #Conflicts: 962000 | #Constraints: 28299
267.78/268.54 c #Conflicts: 963000 | #Constraints: 29299
267.78/268.54 c #Conflicts: 964000 | #Constraints: 30299
267.78/268.54 c #Conflicts: 965000 | #Constraints: 31299
267.78/268.54 c #Conflicts: 966000 | #Constraints: 32299
267.78/268.54 c #Conflicts: 967000 | #Constraints: 33299
267.78/268.54 c #Conflicts: 968000 | #Constraints: 34299
267.78/268.54 c #Conflicts: 969000 | #Constraints: 35299
267.78/268.54 c #Conflicts: 970000 | #Constraints: 36299
267.78/268.54 c #Conflicts: 971000 | #Constraints: 37299
267.78/268.54 c #Conflicts: 972000 | #Constraints: 38299
267.78/268.54 c #Conflicts: 973000 | #Constraints: 39299
267.78/268.54 c #Conflicts: 974000 | #Constraints: 40299
267.78/268.54 c #Conflicts: 975000 | #Constraints: 41299
267.78/268.54 c #Conflicts: 976000 | #Constraints: 42299
267.78/268.54 c #Conflicts: 977000 | #Constraints: 43299
267.78/268.54 c #Conflicts: 978000 | #Constraints: 44299
267.78/268.54 c #Conflicts: 979000 | #Constraints: 45299
267.78/268.54 c #Conflicts: 980000 | #Constraints: 46299
267.78/268.54 c #Conflicts: 981000 | #Constraints: 47299
267.78/268.54 c INPROCESSING
267.78/268.54 c GARBAGE COLLECT
267.78/268.54 c rational objective 4
272.28/273.08 c #Conflicts: 982000 | #Constraints: 28626
272.28/273.08 c #Conflicts: 983000 | #Constraints: 29626
272.28/273.08 c #Conflicts: 984000 | #Constraints: 30626
272.28/273.08 c #Conflicts: 985000 | #Constraints: 31626
272.28/273.08 c #Conflicts: 986000 | #Constraints: 32626
272.28/273.08 c #Conflicts: 987000 | #Constraints: 33626
272.28/273.08 c #Conflicts: 988000 | #Constraints: 34626
272.28/273.08 c #Conflicts: 989000 | #Constraints: 35626
272.28/273.08 c #Conflicts: 990000 | #Constraints: 36626
272.28/273.08 c #Conflicts: 991000 | #Constraints: 37626
272.28/273.08 c #Conflicts: 992000 | #Constraints: 38626
272.28/273.08 c #Conflicts: 993000 | #Constraints: 39626
272.28/273.08 c #Conflicts: 994000 | #Constraints: 40626
272.28/273.08 c #Conflicts: 995000 | #Constraints: 41626
272.28/273.08 c #Conflicts: 996000 | #Constraints: 42626
272.28/273.08 c #Conflicts: 997000 | #Constraints: 43626
272.28/273.08 c #Conflicts: 998000 | #Constraints: 44626
272.28/273.08 c #Conflicts: 999000 | #Constraints: 45626
272.28/273.08 c #Conflicts: 1000000 | #Constraints: 46626
272.28/273.08 c #Conflicts: 1001000 | #Constraints: 47626
272.28/273.08 c INPROCESSING
272.28/273.08 c GARBAGE COLLECT
272.28/273.08 c rational objective 4
277.26/278.07 c #Conflicts: 1002000 | #Constraints: 28797
277.26/278.07 c #Conflicts: 1003000 | #Constraints: 29797
277.26/278.07 c #Conflicts: 1004000 | #Constraints: 30797
277.26/278.07 c #Conflicts: 1005000 | #Constraints: 31797
277.26/278.07 c #Conflicts: 1006000 | #Constraints: 32797
277.26/278.07 c #Conflicts: 1007000 | #Constraints: 33797
277.26/278.07 c #Conflicts: 1008000 | #Constraints: 34797
277.26/278.07 c #Conflicts: 1009000 | #Constraints: 35797
277.26/278.07 c #Conflicts: 1010000 | #Constraints: 36797
277.26/278.07 c #Conflicts: 1011000 | #Constraints: 37797
277.26/278.07 c #Conflicts: 1012000 | #Constraints: 38797
277.26/278.07 c #Conflicts: 1013000 | #Constraints: 39797
277.26/278.07 c #Conflicts: 1014000 | #Constraints: 40797
277.26/278.07 c #Conflicts: 1015000 | #Constraints: 41797
277.26/278.07 c #Conflicts: 1016000 | #Constraints: 42797
277.26/278.07 c #Conflicts: 1017000 | #Constraints: 43797
277.26/278.07 c #Conflicts: 1018000 | #Constraints: 44797
277.26/278.07 c #Conflicts: 1019000 | #Constraints: 45797
277.26/278.07 c #Conflicts: 1020000 | #Constraints: 46797
277.26/278.07 c #Conflicts: 1021000 | #Constraints: 47797
277.26/278.07 c INPROCESSING
277.26/278.07 c GARBAGE COLLECT
277.26/278.07 c rational objective 4
282.45/283.20 c #Conflicts: 1022000 | #Constraints: 28786
282.45/283.20 c #Conflicts: 1023000 | #Constraints: 29786
282.45/283.20 c #Conflicts: 1024000 | #Constraints: 30786
282.45/283.20 c #Conflicts: 1025000 | #Constraints: 31786
282.45/283.20 c #Conflicts: 1026000 | #Constraints: 32786
282.45/283.20 c #Conflicts: 1027000 | #Constraints: 33786
282.45/283.20 c #Conflicts: 1028000 | #Constraints: 34786
282.45/283.20 c #Conflicts: 1029000 | #Constraints: 35786
282.45/283.20 c #Conflicts: 1030000 | #Constraints: 36786
282.45/283.20 c #Conflicts: 1031000 | #Constraints: 37786
282.45/283.20 c #Conflicts: 1032000 | #Constraints: 38786
282.45/283.20 c #Conflicts: 1033000 | #Constraints: 39786
282.45/283.20 c #Conflicts: 1034000 | #Constraints: 40786
282.45/283.20 c #Conflicts: 1035000 | #Constraints: 41786
282.45/283.20 c #Conflicts: 1036000 | #Constraints: 42786
282.45/283.20 c #Conflicts: 1037000 | #Constraints: 43786
282.45/283.20 c #Conflicts: 1038000 | #Constraints: 44786
282.45/283.20 c #Conflicts: 1039000 | #Constraints: 45786
282.45/283.20 c #Conflicts: 1040000 | #Constraints: 46786
282.45/283.20 c #Conflicts: 1041000 | #Constraints: 47786
282.45/283.20 c INPROCESSING
282.45/283.20 c GARBAGE COLLECT
282.45/283.20 c rational objective 4
287.43/288.28 c #Conflicts: 1042000 | #Constraints: 28583
287.43/288.28 c #Conflicts: 1043000 | #Constraints: 29583
287.43/288.28 c #Conflicts: 1044000 | #Constraints: 30583
287.43/288.28 c #Conflicts: 1045000 | #Constraints: 31583
287.43/288.28 c #Conflicts: 1046000 | #Constraints: 32583
287.43/288.28 c #Conflicts: 1047000 | #Constraints: 33583
287.43/288.28 c #Conflicts: 1048000 | #Constraints: 34583
287.43/288.28 c #Conflicts: 1049000 | #Constraints: 35583
287.43/288.28 c #Conflicts: 1050000 | #Constraints: 36583
287.43/288.28 c #Conflicts: 1051000 | #Constraints: 37583
287.43/288.28 c #Conflicts: 1052000 | #Constraints: 38583
287.43/288.28 c #Conflicts: 1053000 | #Constraints: 39583
287.43/288.28 c #Conflicts: 1054000 | #Constraints: 40583
287.43/288.28 c #Conflicts: 1055000 | #Constraints: 41583
287.43/288.28 c #Conflicts: 1056000 | #Constraints: 42583
287.43/288.28 c #Conflicts: 1057000 | #Constraints: 43583
287.43/288.28 c #Conflicts: 1058000 | #Constraints: 44583
287.43/288.28 c #Conflicts: 1059000 | #Constraints: 45583
287.43/288.28 c #Conflicts: 1060000 | #Constraints: 46583
287.43/288.28 c #Conflicts: 1061000 | #Constraints: 47583
287.43/288.28 c #Conflicts: 1062000 | #Constraints: 48583
287.43/288.28 c INPROCESSING
287.43/288.28 c GARBAGE COLLECT
287.43/288.28 c rational objective 4
292.72/293.51 c #Conflicts: 1063000 | #Constraints: 29182
292.72/293.51 c #Conflicts: 1064000 | #Constraints: 30182
292.72/293.51 c #Conflicts: 1065000 | #Constraints: 31182
292.72/293.51 c #Conflicts: 1066000 | #Constraints: 32182
292.72/293.51 c #Conflicts: 1067000 | #Constraints: 33182
292.72/293.51 c #Conflicts: 1068000 | #Constraints: 34182
292.72/293.51 c #Conflicts: 1069000 | #Constraints: 35182
292.72/293.51 c #Conflicts: 1070000 | #Constraints: 36182
292.72/293.51 c #Conflicts: 1071000 | #Constraints: 37182
292.72/293.51 c #Conflicts: 1072000 | #Constraints: 38182
292.72/293.51 c #Conflicts: 1073000 | #Constraints: 39182
292.72/293.51 c #Conflicts: 1074000 | #Constraints: 40182
292.72/293.51 c #Conflicts: 1075000 | #Constraints: 41182
292.72/293.51 c #Conflicts: 1076000 | #Constraints: 42182
292.72/293.51 c #Conflicts: 1077000 | #Constraints: 43182
292.72/293.51 c #Conflicts: 1078000 | #Constraints: 44182
292.72/293.51 c #Conflicts: 1079000 | #Constraints: 45182
292.72/293.51 c #Conflicts: 1080000 | #Constraints: 46182
292.72/293.51 c #Conflicts: 1081000 | #Constraints: 47182
292.72/293.51 c #Conflicts: 1082000 | #Constraints: 48182
292.72/293.51 c #Conflicts: 1083000 | #Constraints: 49182
292.72/293.51 c INPROCESSING
292.72/293.51 c GARBAGE COLLECT
292.72/293.51 c rational objective 4
297.81/298.62 c #Conflicts: 1084000 | #Constraints: 29582
297.81/298.62 c #Conflicts: 1085000 | #Constraints: 30582
297.81/298.62 c #Conflicts: 1086000 | #Constraints: 31582
297.81/298.62 c #Conflicts: 1087000 | #Constraints: 32582
297.81/298.62 c #Conflicts: 1088000 | #Constraints: 33582
297.81/298.62 c #Conflicts: 1089000 | #Constraints: 34582
297.81/298.62 c #Conflicts: 1090000 | #Constraints: 35582
297.81/298.62 c #Conflicts: 1091000 | #Constraints: 36582
297.81/298.62 c #Conflicts: 1092000 | #Constraints: 37582
297.81/298.62 c #Conflicts: 1093000 | #Constraints: 38582
297.81/298.62 c #Conflicts: 1094000 | #Constraints: 39582
297.81/298.62 c #Conflicts: 1095000 | #Constraints: 40582
297.81/298.62 c #Conflicts: 1096000 | #Constraints: 41582
297.81/298.62 c #Conflicts: 1097000 | #Constraints: 42582
297.81/298.62 c #Conflicts: 1098000 | #Constraints: 43582
297.81/298.62 c #Conflicts: 1099000 | #Constraints: 44582
297.81/298.62 c #Conflicts: 1100000 | #Constraints: 45582
297.81/298.62 c #Conflicts: 1101000 | #Constraints: 46582
297.81/298.62 c #Conflicts: 1102000 | #Constraints: 47582
297.81/298.62 c #Conflicts: 1103000 | #Constraints: 48582
297.81/298.62 c #Conflicts: 1104000 | #Constraints: 49582
297.81/298.62 c INPROCESSING
297.81/298.62 c GARBAGE COLLECT
297.81/298.62 c rational objective 4
303.10/303.92 c #Conflicts: 1105000 | #Constraints: 29774
303.10/303.92 c #Conflicts: 1106000 | #Constraints: 30774
303.10/303.92 c #Conflicts: 1107000 | #Constraints: 31774
303.10/303.92 c #Conflicts: 1108000 | #Constraints: 32774
303.10/303.92 c #Conflicts: 1109000 | #Constraints: 33774
303.10/303.92 c #Conflicts: 1110000 | #Constraints: 34774
303.10/303.92 c #Conflicts: 1111000 | #Constraints: 35774
303.10/303.92 c #Conflicts: 1112000 | #Constraints: 36774
303.10/303.92 c #Conflicts: 1113000 | #Constraints: 37774
303.10/303.92 c #Conflicts: 1114000 | #Constraints: 38774
303.10/303.92 c #Conflicts: 1115000 | #Constraints: 39774
303.10/303.92 c #Conflicts: 1116000 | #Constraints: 40774
303.10/303.92 c #Conflicts: 1117000 | #Constraints: 41774
303.10/303.92 c #Conflicts: 1118000 | #Constraints: 42774
303.10/303.92 c #Conflicts: 1119000 | #Constraints: 43774
303.10/303.92 c #Conflicts: 1120000 | #Constraints: 44774
303.10/303.92 c #Conflicts: 1121000 | #Constraints: 45774
303.10/303.92 c #Conflicts: 1122000 | #Constraints: 46774
303.10/303.92 c #Conflicts: 1123000 | #Constraints: 47774
303.10/303.92 c #Conflicts: 1124000 | #Constraints: 48774
303.10/303.92 c #Conflicts: 1125000 | #Constraints: 49774
303.10/303.92 c INPROCESSING
303.10/303.92 c GARBAGE COLLECT
303.10/303.92 c rational objective 4
307.99/308.85 c #Conflicts: 1126000 | #Constraints: 29777
307.99/308.85 c #Conflicts: 1127000 | #Constraints: 30778
307.99/308.85 c #Conflicts: 1128000 | #Constraints: 31802
307.99/308.85 c #Conflicts: 1129000 | #Constraints: 32802
307.99/308.85 c #Conflicts: 1130000 | #Constraints: 33802
307.99/308.85 c #Conflicts: 1131000 | #Constraints: 34803
307.99/308.85 c #Conflicts: 1132000 | #Constraints: 35804
307.99/308.85 c #Conflicts: 1133000 | #Constraints: 36804
307.99/308.85 c #Conflicts: 1134000 | #Constraints: 37805
307.99/308.85 c #Conflicts: 1135000 | #Constraints: 38805
307.99/308.85 c #Conflicts: 1136000 | #Constraints: 39805
307.99/308.85 c #Conflicts: 1137000 | #Constraints: 40805
307.99/308.85 c #Conflicts: 1138000 | #Constraints: 41805
307.99/308.85 c #Conflicts: 1139000 | #Constraints: 42806
307.99/308.85 c #Conflicts: 1140000 | #Constraints: 43807
307.99/308.85 c #Conflicts: 1141000 | #Constraints: 44807
307.99/308.85 c #Conflicts: 1142000 | #Constraints: 45808
307.99/308.85 c #Conflicts: 1143000 | #Constraints: 46808
307.99/308.85 c #Conflicts: 1144000 | #Constraints: 47808
307.99/308.85 c #Conflicts: 1145000 | #Constraints: 48808
307.99/308.85 c #Conflicts: 1146000 | #Constraints: 49809
307.99/308.85 c INPROCESSING
307.99/308.85 c GARBAGE COLLECT
307.99/308.85 c rational objective 4
313.28/314.11 c #Conflicts: 1147000 | #Constraints: 29587
313.28/314.11 c #Conflicts: 1148000 | #Constraints: 30587
313.28/314.11 c #Conflicts: 1149000 | #Constraints: 31587
313.28/314.11 c #Conflicts: 1150000 | #Constraints: 32587
313.28/314.11 c #Conflicts: 1151000 | #Constraints: 33587
313.28/314.11 c #Conflicts: 1152000 | #Constraints: 34587
313.28/314.11 c #Conflicts: 1153000 | #Constraints: 35587
313.28/314.11 c #Conflicts: 1154000 | #Constraints: 36587
313.28/314.11 c #Conflicts: 1155000 | #Constraints: 37587
313.28/314.11 c #Conflicts: 1156000 | #Constraints: 38587
313.28/314.11 c #Conflicts: 1157000 | #Constraints: 39587
313.28/314.11 c #Conflicts: 1158000 | #Constraints: 40587
313.28/314.11 c #Conflicts: 1159000 | #Constraints: 41587
313.28/314.11 c #Conflicts: 1160000 | #Constraints: 42587
313.28/314.11 c #Conflicts: 1161000 | #Constraints: 43587
313.28/314.11 c #Conflicts: 1162000 | #Constraints: 44587
313.28/314.11 c #Conflicts: 1163000 | #Constraints: 45587
313.28/314.11 c #Conflicts: 1164000 | #Constraints: 46587
313.28/314.11 c #Conflicts: 1165000 | #Constraints: 47587
313.28/314.11 c #Conflicts: 1166000 | #Constraints: 48587
313.28/314.11 c #Conflicts: 1167000 | #Constraints: 49587
313.28/314.11 c #Conflicts: 1168000 | #Constraints: 50587
313.28/314.11 c INPROCESSING
313.28/314.11 c GARBAGE COLLECT
313.28/314.11 c rational objective 4
318.56/319.45 c #Conflicts: 1169000 | #Constraints: 30180
318.56/319.45 c #Conflicts: 1170000 | #Constraints: 31180
318.56/319.45 c #Conflicts: 1171000 | #Constraints: 32180
318.56/319.45 c #Conflicts: 1172000 | #Constraints: 33180
318.56/319.45 c #Conflicts: 1173000 | #Constraints: 34180
318.56/319.45 c #Conflicts: 1174000 | #Constraints: 35180
318.56/319.45 c #Conflicts: 1175000 | #Constraints: 36180
318.56/319.45 c #Conflicts: 1176000 | #Constraints: 37180
318.56/319.45 c #Conflicts: 1177000 | #Constraints: 38180
318.56/319.45 c #Conflicts: 1178000 | #Constraints: 39180
318.56/319.45 c #Conflicts: 1179000 | #Constraints: 40180
318.56/319.45 c #Conflicts: 1180000 | #Constraints: 41180
318.56/319.45 c #Conflicts: 1181000 | #Constraints: 42180
318.56/319.45 c #Conflicts: 1182000 | #Constraints: 43180
318.56/319.45 c #Conflicts: 1183000 | #Constraints: 44180
318.56/319.45 c #Conflicts: 1184000 | #Constraints: 45180
318.56/319.45 c #Conflicts: 1185000 | #Constraints: 46180
318.56/319.45 c #Conflicts: 1186000 | #Constraints: 47180
318.56/319.45 c #Conflicts: 1187000 | #Constraints: 48180
318.56/319.45 c #Conflicts: 1188000 | #Constraints: 49180
318.56/319.45 c #Conflicts: 1189000 | #Constraints: 50180
318.56/319.45 c #Conflicts: 1190000 | #Constraints: 51180
318.56/319.45 c INPROCESSING
318.56/319.45 c GARBAGE COLLECT
318.56/319.45 c rational objective 4
324.35/325.23 c #Conflicts: 1191000 | #Constraints: 30578
324.35/325.23 c #Conflicts: 1192000 | #Constraints: 31578
324.35/325.23 c #Conflicts: 1193000 | #Constraints: 32578
324.35/325.23 c #Conflicts: 1194000 | #Constraints: 33578
324.35/325.23 c #Conflicts: 1195000 | #Constraints: 34578
324.35/325.23 c #Conflicts: 1196000 | #Constraints: 35578
324.35/325.23 c #Conflicts: 1197000 | #Constraints: 36579
324.35/325.23 c #Conflicts: 1198000 | #Constraints: 37579
324.35/325.23 c #Conflicts: 1199000 | #Constraints: 38579
324.35/325.23 c #Conflicts: 1200000 | #Constraints: 39579
324.35/325.23 c #Conflicts: 1201000 | #Constraints: 40579
324.35/325.23 c #Conflicts: 1202000 | #Constraints: 41580
324.35/325.23 c #Conflicts: 1203000 | #Constraints: 42580
324.35/325.23 c #Conflicts: 1204000 | #Constraints: 43580
324.35/325.23 c #Conflicts: 1205000 | #Constraints: 44580
324.35/325.23 c #Conflicts: 1206000 | #Constraints: 45580
324.35/325.23 c #Conflicts: 1207000 | #Constraints: 46581
324.35/325.23 c #Conflicts: 1208000 | #Constraints: 47581
324.35/325.23 c #Conflicts: 1209000 | #Constraints: 48581
324.35/325.23 c #Conflicts: 1210000 | #Constraints: 49582
324.35/325.23 c #Conflicts: 1211000 | #Constraints: 50582
324.35/325.23 c #Conflicts: 1212000 | #Constraints: 51582
324.35/325.23 c INPROCESSING
324.35/325.23 c GARBAGE COLLECT
324.35/325.23 c rational objective 4
329.73/330.63 c #Conflicts: 1213000 | #Constraints: 30769
329.73/330.63 c #Conflicts: 1214000 | #Constraints: 31769
329.73/330.63 c #Conflicts: 1215000 | #Constraints: 32769
329.73/330.63 c #Conflicts: 1216000 | #Constraints: 33769
329.73/330.63 c #Conflicts: 1217000 | #Constraints: 34769
329.73/330.63 c #Conflicts: 1218000 | #Constraints: 35769
329.73/330.63 c #Conflicts: 1219000 | #Constraints: 36769
329.73/330.63 c #Conflicts: 1220000 | #Constraints: 37769
329.73/330.63 c #Conflicts: 1221000 | #Constraints: 38769
329.73/330.63 c #Conflicts: 1222000 | #Constraints: 39769
329.73/330.63 c #Conflicts: 1223000 | #Constraints: 40769
329.73/330.63 c #Conflicts: 1224000 | #Constraints: 41769
329.73/330.63 c #Conflicts: 1225000 | #Constraints: 42769
329.73/330.63 c #Conflicts: 1226000 | #Constraints: 43769
329.73/330.63 c #Conflicts: 1227000 | #Constraints: 44769
329.73/330.63 c #Conflicts: 1228000 | #Constraints: 45769
329.73/330.63 c #Conflicts: 1229000 | #Constraints: 46769
329.73/330.63 c #Conflicts: 1230000 | #Constraints: 47769
329.73/330.63 c #Conflicts: 1231000 | #Constraints: 48769
329.73/330.63 c #Conflicts: 1232000 | #Constraints: 49769
329.73/330.63 c #Conflicts: 1233000 | #Constraints: 50769
329.73/330.63 c #Conflicts: 1234000 | #Constraints: 51769
329.73/330.63 c INPROCESSING
329.73/330.63 c GARBAGE COLLECT
329.73/330.63 c rational objective 4
335.72/336.66 c #Conflicts: 1235000 | #Constraints: 30758
335.72/336.66 c #Conflicts: 1236000 | #Constraints: 31758
335.72/336.66 c #Conflicts: 1237000 | #Constraints: 32758
335.72/336.66 c #Conflicts: 1238000 | #Constraints: 33758
335.72/336.66 c #Conflicts: 1239000 | #Constraints: 34758
335.72/336.66 c #Conflicts: 1240000 | #Constraints: 35758
335.72/336.66 c #Conflicts: 1241000 | #Constraints: 36758
335.72/336.66 c #Conflicts: 1242000 | #Constraints: 37758
335.72/336.66 c #Conflicts: 1243000 | #Constraints: 38758
335.72/336.66 c #Conflicts: 1244000 | #Constraints: 39758
335.72/336.66 c #Conflicts: 1245000 | #Constraints: 40758
335.72/336.66 c #Conflicts: 1246000 | #Constraints: 41758
335.72/336.66 c #Conflicts: 1247000 | #Constraints: 42758
335.72/336.66 c #Conflicts: 1248000 | #Constraints: 43758
335.72/336.66 c #Conflicts: 1249000 | #Constraints: 44758
335.72/336.66 c #Conflicts: 1250000 | #Constraints: 45758
335.72/336.66 c #Conflicts: 1251000 | #Constraints: 46758
335.72/336.66 c #Conflicts: 1252000 | #Constraints: 47758
335.72/336.66 c #Conflicts: 1253000 | #Constraints: 48758
335.72/336.66 c #Conflicts: 1254000 | #Constraints: 49758
335.72/336.66 c #Conflicts: 1255000 | #Constraints: 50758
335.72/336.66 c #Conflicts: 1256000 | #Constraints: 51758
335.72/336.66 c INPROCESSING
335.72/336.66 c GARBAGE COLLECT
335.72/336.66 c rational objective 4
341.00/341.90 c #Conflicts: 1257000 | #Constraints: 28868
341.00/341.90 c #Conflicts: 1258000 | #Constraints: 29868
341.00/341.90 c #Conflicts: 1259000 | #Constraints: 30868
341.00/341.90 c #Conflicts: 1260000 | #Constraints: 31868
341.00/341.90 c #Conflicts: 1261000 | #Constraints: 32868
341.00/341.90 c #Conflicts: 1262000 | #Constraints: 33868
341.00/341.90 c #Conflicts: 1263000 | #Constraints: 34868
341.00/341.90 c #Conflicts: 1264000 | #Constraints: 35868
341.00/341.90 c #Conflicts: 1265000 | #Constraints: 36868
341.00/341.90 c #Conflicts: 1266000 | #Constraints: 37868
341.00/341.90 c #Conflicts: 1267000 | #Constraints: 38868
341.00/341.90 c #Conflicts: 1268000 | #Constraints: 39868
341.00/341.90 c #Conflicts: 1269000 | #Constraints: 40868
341.00/341.90 c #Conflicts: 1270000 | #Constraints: 41868
341.00/341.90 c #Conflicts: 1271000 | #Constraints: 42868
341.00/341.90 c #Conflicts: 1272000 | #Constraints: 43868
341.00/341.90 c #Conflicts: 1273000 | #Constraints: 44868
341.00/341.90 c #Conflicts: 1274000 | #Constraints: 45868
341.00/341.90 c #Conflicts: 1275000 | #Constraints: 46868
341.00/341.90 c #Conflicts: 1276000 | #Constraints: 47868
341.00/341.90 c #Conflicts: 1277000 | #Constraints: 48868
341.00/341.90 c #Conflicts: 1278000 | #Constraints: 49868
341.00/341.90 c #Conflicts: 1279000 | #Constraints: 50868
341.00/341.90 c INPROCESSING
341.00/341.90 c GARBAGE COLLECT
341.00/341.90 c rational objective 4
347.29/348.25 c #Conflicts: 1280000 | #Constraints: 30301
347.29/348.25 c #Conflicts: 1281000 | #Constraints: 31301
347.29/348.25 c #Conflicts: 1282000 | #Constraints: 32301
347.29/348.25 c #Conflicts: 1283000 | #Constraints: 33301
347.29/348.25 c #Conflicts: 1284000 | #Constraints: 34301
347.29/348.25 c #Conflicts: 1285000 | #Constraints: 35301
347.29/348.25 c #Conflicts: 1286000 | #Constraints: 36301
347.29/348.25 c #Conflicts: 1287000 | #Constraints: 37301
347.29/348.25 c #Conflicts: 1288000 | #Constraints: 38301
347.29/348.25 c #Conflicts: 1289000 | #Constraints: 39301
347.29/348.25 c #Conflicts: 1290000 | #Constraints: 40301
347.29/348.25 c #Conflicts: 1291000 | #Constraints: 41301
347.29/348.25 c #Conflicts: 1292000 | #Constraints: 42301
347.29/348.25 c #Conflicts: 1293000 | #Constraints: 43301
347.29/348.25 c #Conflicts: 1294000 | #Constraints: 44301
347.29/348.25 c #Conflicts: 1295000 | #Constraints: 45301
347.29/348.25 c #Conflicts: 1296000 | #Constraints: 46301
347.29/348.25 c #Conflicts: 1297000 | #Constraints: 47301
347.29/348.25 c #Conflicts: 1298000 | #Constraints: 48301
347.29/348.25 c #Conflicts: 1299000 | #Constraints: 49301
347.29/348.25 c #Conflicts: 1300000 | #Constraints: 50301
347.29/348.25 c #Conflicts: 1301000 | #Constraints: 51301
347.29/348.25 c #Conflicts: 1302000 | #Constraints: 52301
347.29/348.25 c INPROCESSING
347.29/348.25 c GARBAGE COLLECT
347.29/348.25 c rational objective 4
352.87/353.80 c #Conflicts: 1303000 | #Constraints: 31117
352.87/353.80 c #Conflicts: 1304000 | #Constraints: 32117
352.87/353.80 c #Conflicts: 1305000 | #Constraints: 33117
352.87/353.80 c #Conflicts: 1306000 | #Constraints: 34117
352.87/353.80 c #Conflicts: 1307000 | #Constraints: 35117
352.87/353.80 c #Conflicts: 1308000 | #Constraints: 36117
352.87/353.80 c #Conflicts: 1309000 | #Constraints: 37117
352.87/353.80 c #Conflicts: 1310000 | #Constraints: 38117
352.87/353.80 c #Conflicts: 1311000 | #Constraints: 39117
352.87/353.80 c #Conflicts: 1312000 | #Constraints: 40117
352.87/353.80 c #Conflicts: 1313000 | #Constraints: 41117
352.87/353.80 c #Conflicts: 1314000 | #Constraints: 42117
352.87/353.80 c #Conflicts: 1315000 | #Constraints: 43117
352.87/353.80 c #Conflicts: 1316000 | #Constraints: 44117
352.87/353.80 c #Conflicts: 1317000 | #Constraints: 45117
352.87/353.80 c #Conflicts: 1318000 | #Constraints: 46117
352.87/353.80 c #Conflicts: 1319000 | #Constraints: 47117
352.87/353.80 c #Conflicts: 1320000 | #Constraints: 48117
352.87/353.80 c #Conflicts: 1321000 | #Constraints: 49117
352.87/353.80 c #Conflicts: 1322000 | #Constraints: 50117
352.87/353.80 c #Conflicts: 1323000 | #Constraints: 51117
352.87/353.80 c #Conflicts: 1324000 | #Constraints: 52117
352.87/353.80 c #Conflicts: 1325000 | #Constraints: 53117
352.87/353.80 c INPROCESSING
352.87/353.80 c GARBAGE COLLECT
352.87/353.80 c rational objective 4
358.86/359.88 c #Conflicts: 1326000 | #Constraints: 31527
358.86/359.88 c #Conflicts: 1327000 | #Constraints: 32527
358.86/359.88 c #Conflicts: 1328000 | #Constraints: 33527
358.86/359.88 c #Conflicts: 1329000 | #Constraints: 34527
358.86/359.88 c #Conflicts: 1330000 | #Constraints: 35527
358.86/359.88 c #Conflicts: 1331000 | #Constraints: 36527
358.86/359.88 c #Conflicts: 1332000 | #Constraints: 37527
358.86/359.88 c #Conflicts: 1333000 | #Constraints: 38527
358.86/359.88 c #Conflicts: 1334000 | #Constraints: 39527
358.86/359.88 c #Conflicts: 1335000 | #Constraints: 40527
358.86/359.88 c #Conflicts: 1336000 | #Constraints: 41527
358.86/359.88 c #Conflicts: 1337000 | #Constraints: 42527
358.86/359.88 c #Conflicts: 1338000 | #Constraints: 43527
358.86/359.88 c #Conflicts: 1339000 | #Constraints: 44527
358.86/359.88 c #Conflicts: 1340000 | #Constraints: 45527
358.86/359.88 c #Conflicts: 1341000 | #Constraints: 46527
358.86/359.88 c #Conflicts: 1342000 | #Constraints: 47527
358.86/359.88 c #Conflicts: 1343000 | #Constraints: 48527
358.86/359.88 c #Conflicts: 1344000 | #Constraints: 49527
358.86/359.88 c #Conflicts: 1345000 | #Constraints: 50527
358.86/359.88 c #Conflicts: 1346000 | #Constraints: 51527
358.86/359.88 c #Conflicts: 1347000 | #Constraints: 52527
358.86/359.88 c #Conflicts: 1348000 | #Constraints: 53527
358.86/359.88 c INPROCESSING
358.86/359.88 c GARBAGE COLLECT
358.86/359.88 c rational objective 4
365.44/366.43 c #Conflicts: 1349000 | #Constraints: 31627
365.44/366.43 c #Conflicts: 1350000 | #Constraints: 32627
365.44/366.43 c #Conflicts: 1351000 | #Constraints: 33627
365.44/366.43 c #Conflicts: 1352000 | #Constraints: 34627
365.44/366.43 c #Conflicts: 1353000 | #Constraints: 35627
365.44/366.43 c #Conflicts: 1354000 | #Constraints: 36627
365.44/366.43 c #Conflicts: 1355000 | #Constraints: 37627
365.44/366.43 c #Conflicts: 1356000 | #Constraints: 38627
365.44/366.43 c #Conflicts: 1357000 | #Constraints: 39627
365.44/366.43 c #Conflicts: 1358000 | #Constraints: 40627
365.44/366.43 c #Conflicts: 1359000 | #Constraints: 41627
365.44/366.43 c #Conflicts: 1360000 | #Constraints: 42627
365.44/366.43 c #Conflicts: 1361000 | #Constraints: 43627
365.44/366.43 c #Conflicts: 1362000 | #Constraints: 44627
365.44/366.43 c #Conflicts: 1363000 | #Constraints: 45627
365.44/366.43 c #Conflicts: 1364000 | #Constraints: 46627
365.44/366.43 c #Conflicts: 1365000 | #Constraints: 47627
365.44/366.43 c #Conflicts: 1366000 | #Constraints: 48627
365.44/366.43 c #Conflicts: 1367000 | #Constraints: 49627
365.44/366.43 c #Conflicts: 1368000 | #Constraints: 50627
365.44/366.43 c #Conflicts: 1369000 | #Constraints: 51627
365.44/366.43 c #Conflicts: 1370000 | #Constraints: 52627
365.44/366.43 c #Conflicts: 1371000 | #Constraints: 53627
365.44/366.43 c INPROCESSING
365.44/366.43 c GARBAGE COLLECT
365.44/366.43 c rational objective 4
371.53/372.52 c #Conflicts: 1372000 | #Constraints: 27000
371.53/372.52 c #Conflicts: 1373000 | #Constraints: 28000
371.53/372.52 c #Conflicts: 1374000 | #Constraints: 29000
371.53/372.52 c #Conflicts: 1375000 | #Constraints: 30000
371.53/372.52 c #Conflicts: 1376000 | #Constraints: 31000
371.53/372.52 c #Conflicts: 1377000 | #Constraints: 32000
371.53/372.52 c #Conflicts: 1378000 | #Constraints: 33000
371.53/372.52 c #Conflicts: 1379000 | #Constraints: 34000
371.53/372.52 c #Conflicts: 1380000 | #Constraints: 35000
371.53/372.52 c #Conflicts: 1381000 | #Constraints: 36000
371.53/372.52 c #Conflicts: 1382000 | #Constraints: 37000
371.53/372.52 c #Conflicts: 1383000 | #Constraints: 38000
371.53/372.52 c #Conflicts: 1384000 | #Constraints: 39000
371.53/372.52 c #Conflicts: 1385000 | #Constraints: 40000
371.53/372.52 c #Conflicts: 1386000 | #Constraints: 41000
371.53/372.52 c #Conflicts: 1387000 | #Constraints: 42000
371.53/372.52 c #Conflicts: 1388000 | #Constraints: 43000
371.53/372.52 c #Conflicts: 1389000 | #Constraints: 44000
371.53/372.52 c #Conflicts: 1390000 | #Constraints: 45000
371.53/372.52 c #Conflicts: 1391000 | #Constraints: 46000
371.53/372.52 c #Conflicts: 1392000 | #Constraints: 47000
371.53/372.52 c #Conflicts: 1393000 | #Constraints: 48000
371.53/372.52 c #Conflicts: 1394000 | #Constraints: 49000
371.53/372.52 c #Conflicts: 1395000 | #Constraints: 50000
371.53/372.52 c INPROCESSING
371.53/372.52 c GARBAGE COLLECT
371.53/372.52 c rational objective 4
374.12/375.13 c #Conflicts: 1396000 | #Constraints: 29852
374.12/375.13 c #Conflicts: 1397000 | #Constraints: 30852
374.12/375.13 c #Conflicts: 1398000 | #Constraints: 31852
374.12/375.13 c #Conflicts: 1399000 | #Constraints: 32852
374.12/375.13 c #Conflicts: 1400000 | #Constraints: 33852
374.12/375.13 c #Conflicts: 1401000 | #Constraints: 34852
374.12/375.13 c #Conflicts: 1402000 | #Constraints: 35852
374.12/375.13 c #Conflicts: 1403000 | #Constraints: 36852
374.12/375.13 c #Conflicts: 1404000 | #Constraints: 37852
374.12/375.13 c #Conflicts: 1405000 | #Constraints: 38852
374.12/375.13 c bounds 5 >= 5 @ 366.42
374.12/375.13 c cpu time 366.42 s
374.12/375.13 c deterministic time 13394185744 1.34e+10
374.12/375.13 c optimization time 0.000793 s
374.12/375.13 c total solve time 366.373 s
374.12/375.13 c core-guided solve time 191.166 s
374.12/375.13 c propagation time 282.466 s
374.12/375.13 c conflict analysis time 62.1364 s
374.12/375.13 c propagations 112618398
374.12/375.13 c resolve steps 20126546
374.12/375.13 c decisions 1751407
374.12/375.13 c conflicts 1405910
374.12/375.13 c restarts 2697
374.12/375.13 c inprocessing phases 109
374.12/375.13 c garbage collections 109 ,( 100.00 )
374.12/375.13 c input clauses 16122 ,( 99.86 )
374.12/375.13 c input cardinalities 20 ,( 0.12 )
374.12/375.13 c input general constraints 2 ,( 0.01 )
374.12/375.13 c input average constraint length 3.02
374.12/375.13 c input average constraint degree 1.01
374.12/375.13 c learned clauses 1329160 ,( 94.04 )
374.12/375.13 c learned cardinalities 227 ,( 0.02 )
374.12/375.13 c learned general constraints 83967 ,( 5.94 )
374.12/375.13 c learned average constraint length 108.96
374.12/375.13 c learned average constraint degree 10004176.12
374.12/375.13 c watched CF 32, 64, 128, Arb: 26700 , 0 , 0 , 0
374.12/375.13 c counting CF 32, 64, 128, Arb: 57270 , 0 , 0 , 0
374.12/375.13 c watched constraints 26700 ,( 31.80 )
374.12/375.13 c counting constraints 57269 ,( 68.20 )
374.12/375.13 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1224939781 , 16953445 , 600311042 ,( 26060444 , 574250598 )
374.12/375.13 c gcd simplifications 551
374.12/375.13 c detected cardinalities 9
374.12/375.13 c weakened non-implied lits 3795916
374.12/375.13 c weakened non-implying lits 34
374.12/375.13 c original variables 1451
374.12/375.13 c clausal propagations 103801683
374.12/375.13 c cardinality propagations 5290687
374.12/375.13 c watched propagations 50564
374.12/375.13 c counting propagations 2065410
374.12/375.13 c watch lookups 4243694387
374.12/375.13 c watch backjump lookups 0
374.12/375.13 c watch checks 6071647828
374.12/375.13 c propagation checks 2360029834
374.12/375.13 c constraint additions 487259691
374.12/375.13 c trail pops 115775070
374.12/375.13 c formula constraints 16123
374.12/375.13 c learned constraints 1405905
374.12/375.13 c bound constraints 11
374.12/375.13 c core-guided constraints 10
374.12/375.13 c encountered formula constraints 9065959
374.12/375.13 c encountered learned constraints 12414830
374.12/375.13 c encountered bound constraints 9
374.12/375.13 c encountered core-guided constraints 7
374.12/375.13 c LP total time 146.876 s
374.12/375.13 c LP solve time 129.32 s
374.12/375.13 c LP constraints added 18387
374.12/375.13 c LP constraints removed 2243
374.12/375.13 c LP pivots internal 1405917
374.12/375.13 c LP pivots root 3211
374.12/375.13 c LP calls 57876
374.12/375.13 c LP optimalities 50750
374.12/375.13 c LP no pivot count 3858
374.12/375.13 c LP infeasibilities 7125
374.12/375.13 c LP valid Farkas constraints 7124
374.12/375.13 c LP learned Farkas constraints 1
374.12/375.13 c LP basis resets 0
374.12/375.13 c LP cycling count 0
374.12/375.13 c LP singular count 0
374.12/375.13 c LP no primal count 0
374.12/375.13 c LP no farkas count 0
374.12/375.13 c LP other issue count 0
374.12/375.13 c LP Gomory cuts 324
374.12/375.13 c LP learned cuts 1940
374.12/375.13 c LP deleted cuts 2243
374.12/375.13 c LP encountered Gomory constraints 51642
374.12/375.13 c LP encountered Farkas constraints 7
374.12/375.13 c LP encountered learned Farkas constraints 1
374.12/375.13 c CG auxiliary variables introduced 4
374.12/375.13 c CG solutions found 8
374.12/375.13 c CG cores constructed 4
374.12/375.13 c CG core cardinality constraints returned 0
374.12/375.13 c CG unit cores 0
374.12/375.13 c CG single cores 4
374.12/375.13 c CG blocks removed during cardinality reduction 0
374.12/375.13 c CG first core best 0
374.12/375.13 c CG decision core best 0
374.12/375.13 c CG core reduction tie 0
374.12/375.13 c CG core degree average 1.00
374.12/375.13 c CG core slack average 3.00
374.12/375.13 c CG core upper bound improvements 1
374.12/375.13 c STR number of successful calls 0
374.12/375.13 c STR number of unsuccessful calls 0
374.12/375.13 c STR number of inconclusive calls 0
374.12/375.13 c STR number of successful attempts 0
374.12/375.13 c STR number of unsuccessful attempts 0
374.12/375.13 c STR number of inconclusive attempts 0
374.12/375.13 c STR average degree increase per successful call inf
374.12/375.13 c STR average degree increase per successful attempt inf
374.12/375.13 c STR total number of conflicts for successful attempts 0
374.12/375.13 c STR total number of conflicts for unsuccessful attempts 0
374.12/375.13 c STR total number of conflicts for inconclusive attempts 0
374.12/375.13 c STR average number of conflicts per successful attempt inf
374.12/375.13 c STR average number of conflicts per unsuccessful attempt inf
374.12/375.13 c STR average number of conflicts per inconclusive attempt inf
374.12/375.13 c AVG.sumWPerc 61.41
374.12/375.13 c bigint constraints 0
374.12/375.13 o 5
374.12/375.13 s OPTIMUM FOUND
374.12/375.13 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: 63665 MiB (61827 MiB free)
memory of node 1: 64507 MiB (63337 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517448-1751528687/watcher-4517448-1751528687 -o /tmp/evaluation-result-4517448-1751528687/solver-4517448-1751528687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751524861-73754 --watchdog 3760 run-opt-break.sh HOME/instance-4517448-1751528687.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=74675, runsolver pid=74672
Current StackSize limit: 8192 KiB
[startup+0.100027 s]*
/proc/loadavg: 4.17 4.09 4.08 5/268 74678
/proc/meminfo: memFree=128163716/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=55680 memory=8704 CPUtime=0 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 478 0 0 0 0 0 0 0 20 0 1 0 68546371 57016320 2176 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 13920 2176 1920 1147 0 1347 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 59872 KiB
Current children cumulated memory: 11648 KiB
[startup+0.205662 s]*
/proc/loadavg: 4.17 4.09 4.08 5/268 74678
/proc/meminfo: memFree=128147084/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=74588 memory=31064 CPUtime=0.1 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 5242 0 0 0 8 2 0 0 20 0 1 0 68546371 76378112 7766 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 18647 7766 2304 1147 0 6074 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 78780 KiB
Current children cumulated memory: 34008 KiB
[startup+0.305597 s]*
/proc/loadavg: 4.17 4.09 4.08 5/268 74678
/proc/meminfo: memFree=128147084/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=74588 memory=31192 CPUtime=0.2 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 5243 0 0 0 18 2 0 0 20 0 1 0 68546371 76378112 7798 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 18647 7798 2336 1147 0 6074 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 78780 KiB
Current children cumulated memory: 34136 KiB
[startup+0.700225 s]
/proc/loadavg: 4.17 4.09 4.08 5/268 74678
/proc/meminfo: memFree=128147084/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=77964 memory=33624 CPUtime=0.58 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 5819 0 0 0 55 3 0 0 20 0 1 0 68546371 79835136 8406 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 19491 8406 2432 1147 0 6918 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 82156 KiB
Current children cumulated memory: 36568 KiB
[startup+1.5002 s]
/proc/loadavg: 4.17 4.09 4.08 5/268 74678
/proc/meminfo: memFree=128140828/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=78660 memory=34648 CPUtime=1.39 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 6055 0 0 0 133 6 0 0 20 0 1 0 68546371 80547840 8662 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 19665 8662 2432 1147 0 7092 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 82852 KiB
Current children cumulated memory: 37592 KiB
[startup+3.10541 s]
/proc/loadavg: 4.17 4.09 4.08 5/268 74678
/proc/meminfo: memFree=128143884/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=78912 memory=34648 CPUtime=2.98 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 6058 0 0 0 288 10 0 0 20 0 1 0 68546371 80805888 8662 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 19728 8662 2432 1147 0 7155 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 83104 KiB
Current children cumulated memory: 37592 KiB
[startup+6.3002 s]
/proc/loadavg: 4.16 4.09 4.08 5/268 74678
/proc/meminfo: memFree=128143884/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=79940 memory=37620 CPUtime=6.17 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 6286 0 0 0 598 19 0 0 20 0 1 0 68546371 81858560 9405 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 19985 9405 2432 1147 0 7412 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 84132 KiB
Current children cumulated memory: 40564 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.09 4.08 5/268 74678
/proc/meminfo: memFree=128144212/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=79940 memory=37748 CPUtime=12.56 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 6330 0 0 0 1219 37 0 0 20 0 1 0 68546371 81858560 9437 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 19985 9437 2432 1147 0 7412 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 84132 KiB
Current children cumulated memory: 40692 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.08 4.07 5/268 74678
/proc/meminfo: memFree=128096828/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=84204 memory=40308 CPUtime=25.32 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 6968 0 0 0 2470 62 0 0 20 0 1 0 68546371 86224896 10077 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 21051 10077 2432 1147 0 8478 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 88396 KiB
Current children cumulated memory: 43252 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.09 4.08 5/268 74679
/proc/meminfo: memFree=127950804/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=90876 memory=46324 CPUtime=50.86 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 8480 0 0 0 4969 117 0 0 20 0 1 0 68546371 93057024 11581 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 22719 11581 2432 1147 0 10146 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 95068 KiB
Current children cumulated memory: 49268 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.08 5/268 74680
/proc/meminfo: memFree=127860104/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=94704 memory=50164 CPUtime=101.93 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 9444 0 0 0 9964 229 0 0 20 0 1 0 68546371 96976896 12541 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 23676 12541 2432 1147 0 11103 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 98896 KiB
Current children cumulated memory: 53108 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.07 4.07 5/268 74683
/proc/meminfo: memFree=127739536/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=103688 memory=54864 CPUtime=161.78 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 10135 0 0 0 15836 342 0 0 20 0 1 0 68546371 106176512 13716 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 25922 13716 2432 1147 0 13349 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 107880 KiB
Current children cumulated memory: 57808 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.08 5/268 74685
/proc/meminfo: memFree=127637964/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=112468 memory=67236 CPUtime=221.63 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 12698 0 0 0 21715 448 0 0 20 0 1 0 68546371 115167232 16809 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 28117 16809 2432 1147 0 15544 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 116660 KiB
Current children cumulated memory: 70180 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/268 74687
/proc/meminfo: memFree=127467892/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=116972 memory=71716 CPUtime=281.49 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 13825 0 0 0 27583 566 0 0 20 0 1 0 68546371 119779328 17929 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 29243 17929 2432 1147 0 16670 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 121164 KiB
Current children cumulated memory: 74660 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/269 74694
/proc/meminfo: memFree=127331564/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=118168 memory=75000 CPUtime=341.34 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 14127 0 0 0 33433 701 0 0 20 0 1 0 68546371 121004032 18750 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 29542 18750 2432 1147 0 16969 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 122360 KiB
Current children cumulated memory: 77944 KiB
[startup+375.135 s]
# the end of solver process 74675 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=366.49 s, system=7.69152 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.06 4.08 4.08 5/270 74697
/proc/meminfo: memFree=127322992/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=118168 memory=75128 CPUtime=357.4 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 14165 0 0 0 35005 735 0 0 20 0 1 0 68546371 121004032 18782 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 29542 18782 2432 1147 0 16969 0
Current children cumulated CPU time: 357.46 s
Current children cumulated vsize: 122360 KiB
Current children cumulated memory: 78072 KiB
[startup+364.8 s]
/proc/loadavg: 4.05 4.08 4.08 5/270 74698
/proc/meminfo: memFree=127322608/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=118168 memory=75128 CPUtime=363.79 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 14165 0 0 0 35631 748 0 0 20 0 1 0 68546371 121004032 18782 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 29542 18782 2432 1147 0 16969 0
Current children cumulated CPU time: 363.85 s
Current children cumulated vsize: 122360 KiB
Current children cumulated memory: 78072 KiB
[startup+371.2 s]
/proc/loadavg: 4.04 4.07 4.08 5/270 74698
/proc/meminfo: memFree=127314616/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=118168 memory=75512 CPUtime=370.17 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 14290 0 0 0 36259 758 0 0 20 0 1 0 68546371 121004032 18878 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 29542 18878 2432 1147 0 16969 0
Current children cumulated CPU time: 370.23 s
Current children cumulated vsize: 122360 KiB
Current children cumulated memory: 78456 KiB
[startup+372.8 s]
/proc/loadavg: 4.04 4.07 4.08 5/270 74698
/proc/meminfo: memFree=127306552/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=118168 memory=75512 CPUtime=371.77 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 14290 0 0 0 36415 762 0 0 20 0 1 0 68546371 121004032 18878 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 29542 18878 2432 1147 0 16969 0
Current children cumulated CPU time: 371.83 s
Current children cumulated vsize: 122360 KiB
Current children cumulated memory: 78456 KiB
[startup+374.4 s]
/proc/loadavg: 4.04 4.07 4.08 5/270 74698
/proc/meminfo: memFree=127298360/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=118168 memory=75512 CPUtime=373.37 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 14290 0 0 0 36571 766 0 0 20 0 1 0 68546371 121004032 18878 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 29542 18878 2432 1147 0 16969 0
Current children cumulated CPU time: 373.43 s
Current children cumulated vsize: 122360 KiB
Current children cumulated memory: 78456 KiB
[startup+374.8 s]
/proc/loadavg: 4.04 4.07 4.08 5/270 74698
/proc/meminfo: memFree=127298360/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=118168 memory=75512 CPUtime=373.77 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 14290 0 0 0 36610 767 0 0 20 0 1 0 68546371 121004032 18878 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 29542 18878 2432 1147 0 16969 0
Current children cumulated CPU time: 373.83 s
Current children cumulated vsize: 122360 KiB
Current children cumulated memory: 78456 KiB
[startup+375 s]*
/proc/loadavg: 4.04 4.07 4.08 5/270 74698
/proc/meminfo: memFree=127294264/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=118168 memory=75512 CPUtime=373.97 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 14290 0 0 0 36630 767 0 0 20 0 1 0 68546371 121004032 18878 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 29542 18878 2432 1147 0 16969 0
Current children cumulated CPU time: 374.03 s
Current children cumulated vsize: 122360 KiB
Current children cumulated memory: 78456 KiB
[startup+375.105 s]
/proc/loadavg: 4.04 4.07 4.08 5/270 74698
/proc/meminfo: memFree=127294264/131249996 swapFree=33003468/33010684
[pid=74675] ppid=74672 vsize=4192 memory=2944 CPUtime=0.06 cores=1,3
/proc/74675/stat : 74675 (run-opt-break.s) S 74672 74675 73742 0 -1 4194304 236 2227 0 0 0 0 6 0 20 0 1 0 68546363 4292608 736 18446744073709551615 94085212499968 94085213394501 140728370177120 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94085213633552 94085213681296 94085223444480 140728370178401 140728370178530 140728370178530 140728370184132 0
/proc/74675/statm: 1048 736 672 219 0 110 0
[pid=74678] ppid=74675 vsize=118168 memory=75512 CPUtime=374.06 cores=1,3
/proc/74678/stat : 74678 (roundingsat) R 74675 74675 73742 0 -1 4194304 14290 0 0 0 36639 767 0 0 20 0 1 0 68546371 121004032 18878 18446744073709551615 4227072 8923433 140734620999792 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26988544 140734621006180 140734621006376 140734621006376 140734621011946 0
/proc/74678/statm: 29542 18878 2432 1147 0 16969 0
Current children cumulated CPU time: 374.12 s
Current children cumulated vsize: 122360 KiB
Current children cumulated memory: 78456 KiB
Child status: 0
Real time (s): 375.135
CPU time (s): 374.182
CPU user time (s): 366.49
CPU system time (s): 7.69152
CPU usage (%): 99.746
Max. virtual memory (cumulated for all children) (KiB): 122360
Max. memory (cumulated for all children) (KiB): 78456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 366.49
system time used= 7.69152
maximum resident set size= 75512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16777
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 708
# summary of solver processes directly reported to runsolver:
# pid: 74675
# total CPU time (s): 374.182
# total CPU user time (s): 366.49
# total CPU system time (s): 7.69152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.769888 second user time and 1.63852 second system time
The end
Begin job on nodeC021 at 2025-07-03 09:44:47
IDJOB=4517448
IDBENCH=176086
IDSOLVER=3359
FILE ID=nodeC021/4517448-1751528687
RUNJOBID= nodeC021-1751524861-73754
SLURM_JOB_ID= 9598653
Free space on /tmp= 430912 MiB
SOLVER NAME= roundingsat+pbsuma-opt 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517448-1751528687/watcher-4517448-1751528687 -o /tmp/evaluation-result-4517448-1751528687/solver-4517448-1751528687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751524861-73754 --watchdog 3760 run-opt-break.sh HOME/instance-4517448-1751528687.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f78fc52c3f94736c8d8a5f9c953ef5f
RANDOM SEED=853312070
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.774
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.779
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3611.784
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.336
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.796
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.758
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3576.082
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.754
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128169608 kB
MemAvailable: 128141800 kB
Buffers: 1056 kB
Cached: 706568 kB
SwapCached: 32 kB
Active: 2071960 kB
Inactive: 248812 kB
Active(anon): 1585540 kB
Inactive(anon): 41064 kB
Active(file): 486420 kB
Inactive(file): 207748 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7580 kB
Writeback: 4 kB
AnonPages: 1615616 kB
Mapped: 112408 kB
Shmem: 13452 kB
KReclaimable: 234124 kB
Slab: 326408 kB
SReclaimable: 234124 kB
SUnreclaim: 92284 kB
KernelStack: 4320 kB
PageTables: 6636 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2256832 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 690176 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430904 MiB
End job on nodeC021 at 2025-07-03 09:51:02