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-4496040-1751158078.opb'
0.00/0.01 c read 0.00MB (0.12ms)
0.00/0.01 c [cnf: #variables 86 #clauses 2 #duplicates 0 #arr 172]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.09ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.04ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 346 #edges 860]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (0.04ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4496040-1751158078.opb.pre'
0.00/0.01 c wrote 0.00MB (0.07ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.12ms 29.05% parse
0.00/0.01 c 0.09ms 21.70% approx_orbits
0.00/0.01 c 0.07ms 17.56% output
0.00/0.01 c 0.04ms 10.99% other
0.00/0.01 c 0.04ms 10.75% detect_generic
0.00/0.01 c 0.04ms 8.79% detect_special
0.00/0.01 c 0.00ms 1.16% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 0.40ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 86 #constraints 2
0.00/0.02 c rational objective 1.25844
0.07/0.19 c #Conflicts: 1000 | #Constraints: 1052
0.07/0.19 c #Conflicts: 2000 | #Constraints: 2154
0.07/0.19 c INPROCESSING
0.07/0.19 c GARBAGE COLLECT
0.07/0.19 c rational objective 2
0.38/0.49 c #Conflicts: 3000 | #Constraints: 2189
0.38/0.49 c #Conflicts: 4000 | #Constraints: 3293
0.38/0.49 c INPROCESSING
0.38/0.49 c GARBAGE COLLECT
0.38/0.49 c rational objective 2
0.77/0.83 c #Conflicts: 5000 | #Constraints: 2557
0.77/0.83 c #Conflicts: 6000 | #Constraints: 3557
0.77/0.83 c INPROCESSING
0.77/0.83 c GARBAGE COLLECT
0.77/0.83 c rational objective 2
1.17/1.25 c #Conflicts: 7000 | #Constraints: 2484
1.17/1.25 c #Conflicts: 8000 | #Constraints: 3484
1.17/1.25 c #Conflicts: 9000 | #Constraints: 4588
1.17/1.25 c INPROCESSING
1.17/1.25 c GARBAGE COLLECT
1.17/1.25 c rational objective 2
1.76/1.84 c #Conflicts: 10000 | #Constraints: 3285
1.76/1.84 c #Conflicts: 11000 | #Constraints: 4384
1.76/1.84 c #Conflicts: 12000 | #Constraints: 5497
1.76/1.84 c INPROCESSING
1.76/1.84 c GARBAGE COLLECT
1.76/1.84 c rational objective 2
2.36/2.49 c #Conflicts: 13000 | #Constraints: 3863
2.36/2.49 c #Conflicts: 14000 | #Constraints: 5006
2.36/2.49 c #Conflicts: 15000 | #Constraints: 6178
2.36/2.49 c INPROCESSING
2.36/2.49 c GARBAGE COLLECT
2.36/2.49 c rational objective 2
3.16/3.22 c #Conflicts: 16000 | #Constraints: 4156
3.16/3.22 c #Conflicts: 17000 | #Constraints: 5244
3.16/3.22 c #Conflicts: 18000 | #Constraints: 6328
3.16/3.22 c INPROCESSING
3.16/3.22 c GARBAGE COLLECT
3.16/3.22 c rational objective 2
3.97/4.04 c #Conflicts: 19000 | #Constraints: 4113
3.97/4.04 c #Conflicts: 20000 | #Constraints: 5206
3.97/4.04 c #Conflicts: 21000 | #Constraints: 6242
3.97/4.04 c INPROCESSING
3.97/4.04 c GARBAGE COLLECT
3.97/4.04 c rational objective 2.00014
4.86/4.91 c #Conflicts: 22000 | #Constraints: 3856
4.86/4.91 c #Conflicts: 23000 | #Constraints: 4916
4.86/4.91 c #Conflicts: 24000 | #Constraints: 5965
4.86/4.91 c #Conflicts: 25000 | #Constraints: 7015
4.86/4.91 c INPROCESSING
4.86/4.91 c GARBAGE COLLECT
4.86/4.91 c rational objective 2.00007
5.85/5.96 c #Conflicts: 26000 | #Constraints: 4490
5.85/5.96 c #Conflicts: 27000 | #Constraints: 5526
5.85/5.96 c #Conflicts: 28000 | #Constraints: 6526
5.85/5.96 c #Conflicts: 29000 | #Constraints: 7526
5.85/5.96 c INPROCESSING
5.85/5.96 c GARBAGE COLLECT
5.85/5.96 c rational objective 2
7.15/7.26 c #Conflicts: 30000 | #Constraints: 4869
7.15/7.26 c #Conflicts: 31000 | #Constraints: 5964
7.15/7.26 c #Conflicts: 32000 | #Constraints: 7087
7.15/7.26 c #Conflicts: 33000 | #Constraints: 8184
7.15/7.26 c INPROCESSING
7.15/7.26 c GARBAGE COLLECT
7.15/7.26 c rational objective 2
8.55/8.64 c #Conflicts: 34000 | #Constraints: 5172
8.55/8.64 c #Conflicts: 35000 | #Constraints: 6243
8.55/8.64 c #Conflicts: 36000 | #Constraints: 7366
8.55/8.64 c #Conflicts: 37000 | #Constraints: 8495
8.55/8.64 c INPROCESSING
8.55/8.64 c GARBAGE COLLECT
8.55/8.64 c rational objective 2
10.44/10.50 c #Conflicts: 38000 | #Constraints: 5211
10.44/10.50 c #Conflicts: 39000 | #Constraints: 6417
10.44/10.50 c #Conflicts: 40000 | #Constraints: 7963
10.44/10.50 c #Conflicts: 41000 | #Constraints: 9269
10.44/10.50 c INPROCESSING
10.44/10.50 c GARBAGE COLLECT
10.44/10.50 c rational objective 2
12.14/12.29 c #Conflicts: 42000 | #Constraints: 5381
12.14/12.29 c #Conflicts: 43000 | #Constraints: 6400
12.14/12.29 c #Conflicts: 44000 | #Constraints: 7402
12.14/12.29 c #Conflicts: 45000 | #Constraints: 8438
12.14/12.29 c #Conflicts: 46000 | #Constraints: 9493
12.14/12.29 c INPROCESSING
12.14/12.29 c GARBAGE COLLECT
12.14/12.29 c rational objective 2
14.04/14.13 c #Conflicts: 47000 | #Constraints: 5710
14.04/14.13 c #Conflicts: 48000 | #Constraints: 6774
14.04/14.13 c #Conflicts: 49000 | #Constraints: 7790
14.04/14.13 c #Conflicts: 50000 | #Constraints: 8804
14.04/14.13 c #Conflicts: 51000 | #Constraints: 9805
14.04/14.13 c INPROCESSING
14.04/14.13 c GARBAGE COLLECT
14.04/14.13 c rational objective 2
16.23/16.32 c #Conflicts: 52000 | #Constraints: 5907
16.23/16.32 c #Conflicts: 53000 | #Constraints: 6907
16.23/16.32 c #Conflicts: 54000 | #Constraints: 7918
16.23/16.32 c #Conflicts: 55000 | #Constraints: 8950
16.23/16.32 c #Conflicts: 56000 | #Constraints: 9987
16.23/16.32 c INPROCESSING
16.23/16.32 c GARBAGE COLLECT
16.23/16.32 c rational objective 2.01386
18.43/18.52 c #Conflicts: 57000 | #Constraints: 6040
18.43/18.52 c #Conflicts: 58000 | #Constraints: 7067
18.43/18.52 c #Conflicts: 59000 | #Constraints: 8072
18.43/18.52 c #Conflicts: 60000 | #Constraints: 9072
18.43/18.52 c #Conflicts: 61000 | #Constraints: 10072
18.43/18.52 c INPROCESSING
18.43/18.52 c GARBAGE COLLECT
18.43/18.52 c rational objective 2
21.22/21.32 c #Conflicts: 62000 | #Constraints: 5956
21.22/21.32 c #Conflicts: 63000 | #Constraints: 6956
21.22/21.32 c #Conflicts: 64000 | #Constraints: 7956
21.22/21.32 c #Conflicts: 65000 | #Constraints: 8956
21.22/21.32 c #Conflicts: 66000 | #Constraints: 9968
21.22/21.32 c INPROCESSING
21.22/21.32 c GARBAGE COLLECT
21.22/21.32 c rational objective 2
24.11/24.25 c #Conflicts: 67000 | #Constraints: 5711
24.11/24.25 c #Conflicts: 68000 | #Constraints: 6760
24.11/24.25 c #Conflicts: 69000 | #Constraints: 7838
24.11/24.25 c #Conflicts: 70000 | #Constraints: 8895
24.11/24.25 c #Conflicts: 71000 | #Constraints: 9923
24.11/24.25 c #Conflicts: 72000 | #Constraints: 11043
24.11/24.25 c INPROCESSING
24.11/24.25 c GARBAGE COLLECT
24.11/24.25 c rational objective 2
27.01/27.16 c #Conflicts: 73000 | #Constraints: 6473
27.01/27.16 c #Conflicts: 74000 | #Constraints: 7473
27.01/27.16 c #Conflicts: 75000 | #Constraints: 8473
27.01/27.16 c #Conflicts: 76000 | #Constraints: 9473
27.01/27.16 c #Conflicts: 77000 | #Constraints: 10473
27.01/27.16 c #Conflicts: 78000 | #Constraints: 11473
27.01/27.16 c INPROCESSING
27.01/27.16 c GARBAGE COLLECT
27.01/27.16 c rational objective 2
30.20/30.33 c #Conflicts: 79000 | #Constraints: 6844
30.20/30.33 c #Conflicts: 80000 | #Constraints: 7991
30.20/30.33 c #Conflicts: 81000 | #Constraints: 9091
30.20/30.33 c #Conflicts: 82000 | #Constraints: 10215
30.20/30.33 c #Conflicts: 83000 | #Constraints: 11316
30.20/30.33 c #Conflicts: 84000 | #Constraints: 12415
30.20/30.33 c INPROCESSING
30.20/30.33 c GARBAGE COLLECT
30.20/30.33 c rational objective 2
33.79/33.92 c #Conflicts: 85000 | #Constraints: 7333
33.79/33.92 c #Conflicts: 86000 | #Constraints: 8448
33.79/33.92 c #Conflicts: 87000 | #Constraints: 9608
33.79/33.92 c #Conflicts: 88000 | #Constraints: 10729
33.79/33.92 c #Conflicts: 89000 | #Constraints: 11871
33.79/33.92 c #Conflicts: 90000 | #Constraints: 12987
33.79/33.92 c INPROCESSING
33.79/33.92 c GARBAGE COLLECT
33.79/33.92 c rational objective 2
38.08/38.28 c #Conflicts: 91000 | #Constraints: 7441
38.08/38.28 c #Conflicts: 92000 | #Constraints: 8493
38.08/38.28 c #Conflicts: 93000 | #Constraints: 9520
38.08/38.28 c #Conflicts: 94000 | #Constraints: 10520
38.08/38.28 c #Conflicts: 95000 | #Constraints: 11520
38.08/38.28 c #Conflicts: 96000 | #Constraints: 12520
38.08/38.28 c INPROCESSING
38.08/38.28 c GARBAGE COLLECT
38.08/38.28 c rational objective 2
42.37/42.57 c #Conflicts: 97000 | #Constraints: 7016
42.37/42.57 c #Conflicts: 98000 | #Constraints: 8103
42.37/42.57 c #Conflicts: 99000 | #Constraints: 9258
42.37/42.57 c #Conflicts: 100000 | #Constraints: 10374
42.37/42.57 c #Conflicts: 101000 | #Constraints: 11490
42.37/42.57 c #Conflicts: 102000 | #Constraints: 12599
42.37/42.57 c #Conflicts: 103000 | #Constraints: 13690
42.37/42.57 c INPROCESSING
42.37/42.57 c GARBAGE COLLECT
42.37/42.57 c rational objective 2
46.66/46.86 c #Conflicts: 104000 | #Constraints: 7830
46.66/46.86 c #Conflicts: 105000 | #Constraints: 8889
46.66/46.86 c #Conflicts: 106000 | #Constraints: 9928
46.66/46.86 c #Conflicts: 107000 | #Constraints: 10936
46.66/46.86 c #Conflicts: 108000 | #Constraints: 11966
46.66/46.86 c #Conflicts: 109000 | #Constraints: 12979
46.66/46.86 c #Conflicts: 110000 | #Constraints: 14164
46.66/46.86 c INPROCESSING
46.66/46.86 c GARBAGE COLLECT
46.66/46.86 c rational objective 2
51.15/51.35 c #Conflicts: 111000 | #Constraints: 8209
51.15/51.35 c #Conflicts: 112000 | #Constraints: 9336
51.15/51.35 c #Conflicts: 113000 | #Constraints: 10402
51.15/51.35 c #Conflicts: 114000 | #Constraints: 11519
51.15/51.35 c #Conflicts: 115000 | #Constraints: 12635
51.15/51.35 c #Conflicts: 116000 | #Constraints: 13691
51.15/51.35 c #Conflicts: 117000 | #Constraints: 14758
51.15/51.35 c INPROCESSING
51.15/51.35 c GARBAGE COLLECT
51.15/51.35 c rational objective 2
56.34/56.51 c #Conflicts: 118000 | #Constraints: 8433
56.34/56.51 c #Conflicts: 119000 | #Constraints: 9467
56.34/56.51 c #Conflicts: 120000 | #Constraints: 10504
56.34/56.51 c #Conflicts: 121000 | #Constraints: 11646
56.34/56.51 c #Conflicts: 122000 | #Constraints: 12852
56.34/56.51 c #Conflicts: 123000 | #Constraints: 13939
56.34/56.51 c #Conflicts: 124000 | #Constraints: 15013
56.34/56.51 c INPROCESSING
56.34/56.51 c GARBAGE COLLECT
56.34/56.51 c rational objective 2
61.63/61.82 c #Conflicts: 125000 | #Constraints: 8443
61.63/61.82 c #Conflicts: 126000 | #Constraints: 9530
61.63/61.82 c #Conflicts: 127000 | #Constraints: 10574
61.63/61.82 c #Conflicts: 128000 | #Constraints: 11634
61.63/61.82 c #Conflicts: 129000 | #Constraints: 12655
61.63/61.82 c #Conflicts: 130000 | #Constraints: 13683
61.63/61.82 c #Conflicts: 131000 | #Constraints: 14765
61.63/61.82 c INPROCESSING
61.63/61.82 c GARBAGE COLLECT
61.63/61.82 c rational objective 2
67.11/67.32 c #Conflicts: 132000 | #Constraints: 8136
67.11/67.32 c #Conflicts: 133000 | #Constraints: 9158
67.11/67.32 c #Conflicts: 134000 | #Constraints: 10239
67.11/67.32 c #Conflicts: 135000 | #Constraints: 11284
67.11/67.32 c #Conflicts: 136000 | #Constraints: 12284
67.11/67.32 c #Conflicts: 137000 | #Constraints: 13315
67.11/67.32 c #Conflicts: 138000 | #Constraints: 14345
67.11/67.32 c #Conflicts: 139000 | #Constraints: 15388
67.11/67.32 c INPROCESSING
67.11/67.32 c GARBAGE COLLECT
67.11/67.32 c rational objective 2
72.39/72.69 c #Conflicts: 140000 | #Constraints: 8661
72.39/72.69 c #Conflicts: 141000 | #Constraints: 9661
72.39/72.69 c #Conflicts: 142000 | #Constraints: 10661
72.39/72.69 c #Conflicts: 143000 | #Constraints: 11661
72.39/72.69 c #Conflicts: 144000 | #Constraints: 12661
72.39/72.69 c #Conflicts: 145000 | #Constraints: 13661
72.39/72.69 c #Conflicts: 146000 | #Constraints: 14661
72.39/72.69 c #Conflicts: 147000 | #Constraints: 15661
72.39/72.69 c INPROCESSING
72.39/72.69 c GARBAGE COLLECT
72.39/72.69 c rational objective 2
78.48/78.76 c #Conflicts: 148000 | #Constraints: 8946
78.48/78.76 c #Conflicts: 149000 | #Constraints: 10044
78.48/78.76 c #Conflicts: 150000 | #Constraints: 11137
78.48/78.76 c #Conflicts: 151000 | #Constraints: 12238
78.48/78.76 c #Conflicts: 152000 | #Constraints: 13346
78.48/78.76 c #Conflicts: 153000 | #Constraints: 14455
78.48/78.76 c #Conflicts: 154000 | #Constraints: 15577
78.48/78.76 c #Conflicts: 155000 | #Constraints: 16691
78.48/78.76 c INPROCESSING
78.48/78.76 c GARBAGE COLLECT
78.48/78.76 c rational objective 2
85.26/85.51 c #Conflicts: 156000 | #Constraints: 9466
85.26/85.51 c #Conflicts: 157000 | #Constraints: 10550
85.26/85.51 c #Conflicts: 158000 | #Constraints: 11687
85.26/85.51 c #Conflicts: 159000 | #Constraints: 12804
85.26/85.51 c #Conflicts: 160000 | #Constraints: 13912
85.26/85.51 c #Conflicts: 161000 | #Constraints: 14967
85.26/85.51 c #Conflicts: 162000 | #Constraints: 15972
85.26/85.51 c #Conflicts: 163000 | #Constraints: 17039
85.26/85.51 c INPROCESSING
85.26/85.51 c GARBAGE COLLECT
85.26/85.51 c rational objective 2
91.95/92.27 c #Conflicts: 164000 | #Constraints: 9445
91.95/92.27 c #Conflicts: 165000 | #Constraints: 10445
91.95/92.27 c #Conflicts: 166000 | #Constraints: 11488
91.95/92.27 c #Conflicts: 167000 | #Constraints: 12526
91.95/92.27 c #Conflicts: 168000 | #Constraints: 13604
91.95/92.27 c #Conflicts: 169000 | #Constraints: 14678
91.95/92.27 c #Conflicts: 170000 | #Constraints: 15747
91.95/92.27 c #Conflicts: 171000 | #Constraints: 16821
91.95/92.27 c INPROCESSING
91.95/92.27 c GARBAGE COLLECT
91.95/92.27 c rational objective 2
98.63/98.94 c #Conflicts: 172000 | #Constraints: 9167
98.63/98.94 c #Conflicts: 173000 | #Constraints: 10173
98.63/98.94 c #Conflicts: 174000 | #Constraints: 11173
98.63/98.94 c #Conflicts: 175000 | #Constraints: 12190
98.63/98.94 c #Conflicts: 176000 | #Constraints: 13232
98.63/98.94 c #Conflicts: 177000 | #Constraints: 14298
98.63/98.94 c #Conflicts: 178000 | #Constraints: 15398
98.63/98.94 c #Conflicts: 179000 | #Constraints: 16404
98.63/98.94 c #Conflicts: 180000 | #Constraints: 17425
98.63/98.94 c INPROCESSING
98.63/98.94 c GARBAGE COLLECT
98.63/98.94 c rational objective 2
105.91/106.29 c #Conflicts: 181000 | #Constraints: 9651
105.91/106.29 c #Conflicts: 182000 | #Constraints: 10733
105.91/106.29 c #Conflicts: 183000 | #Constraints: 11848
105.91/106.29 c #Conflicts: 184000 | #Constraints: 12965
105.91/106.29 c #Conflicts: 185000 | #Constraints: 14067
105.91/106.29 c #Conflicts: 186000 | #Constraints: 15191
105.91/106.29 c #Conflicts: 187000 | #Constraints: 16301
105.91/106.29 c #Conflicts: 188000 | #Constraints: 17406
105.91/106.29 c #Conflicts: 189000 | #Constraints: 18499
105.91/106.29 c INPROCESSING
105.91/106.29 c GARBAGE COLLECT
105.91/106.29 c rational objective 2
114.19/114.58 c #Conflicts: 190000 | #Constraints: 10293
114.19/114.58 c #Conflicts: 191000 | #Constraints: 11326
114.19/114.58 c #Conflicts: 192000 | #Constraints: 12378
114.19/114.58 c #Conflicts: 193000 | #Constraints: 13424
114.19/114.58 c #Conflicts: 194000 | #Constraints: 14504
114.19/114.58 c #Conflicts: 195000 | #Constraints: 15648
114.19/114.58 c #Conflicts: 196000 | #Constraints: 16759
114.19/114.58 c #Conflicts: 197000 | #Constraints: 17845
114.19/114.58 c #Conflicts: 198000 | #Constraints: 18894
114.19/114.58 c INPROCESSING
114.19/114.58 c GARBAGE COLLECT
114.19/114.58 c rational objective 2
123.27/123.62 c #Conflicts: 199000 | #Constraints: 10472
123.27/123.62 c #Conflicts: 200000 | #Constraints: 11476
123.27/123.62 c #Conflicts: 201000 | #Constraints: 12476
123.27/123.62 c #Conflicts: 202000 | #Constraints: 13478
123.27/123.62 c #Conflicts: 203000 | #Constraints: 14496
123.27/123.62 c #Conflicts: 204000 | #Constraints: 15531
123.27/123.62 c #Conflicts: 205000 | #Constraints: 16566
123.27/123.62 c #Conflicts: 206000 | #Constraints: 17570
123.27/123.62 c #Conflicts: 207000 | #Constraints: 18570
123.27/123.62 c INPROCESSING
123.27/123.62 c GARBAGE COLLECT
123.27/123.62 c rational objective 2
131.55/131.95 c #Conflicts: 208000 | #Constraints: 10265
131.55/131.95 c #Conflicts: 209000 | #Constraints: 11420
131.55/131.95 c #Conflicts: 210000 | #Constraints: 12561
131.55/131.95 c #Conflicts: 211000 | #Constraints: 13675
131.55/131.95 c #Conflicts: 212000 | #Constraints: 14830
131.55/131.95 c #Conflicts: 213000 | #Constraints: 15942
131.55/131.95 c #Conflicts: 214000 | #Constraints: 17070
131.55/131.95 c #Conflicts: 215000 | #Constraints: 18227
131.55/131.95 c #Conflicts: 216000 | #Constraints: 19419
131.55/131.95 c INPROCESSING
131.55/131.95 c GARBAGE COLLECT
131.55/131.95 c rational objective 2
141.63/142.05 c #Conflicts: 217000 | #Constraints: 10484
141.63/142.05 c #Conflicts: 218000 | #Constraints: 11524
141.63/142.05 c #Conflicts: 219000 | #Constraints: 12685
141.63/142.05 c #Conflicts: 220000 | #Constraints: 13863
141.63/142.05 c #Conflicts: 221000 | #Constraints: 15005
141.63/142.05 c #Conflicts: 222000 | #Constraints: 16207
141.63/142.05 c #Conflicts: 223000 | #Constraints: 17726
141.63/142.05 c #Conflicts: 224000 | #Constraints: 19207
141.63/142.05 c #Conflicts: 225000 | #Constraints: 20640
141.63/142.05 c #Conflicts: 226000 | #Constraints: 22044
141.63/142.05 c INPROCESSING
141.63/142.05 c GARBAGE COLLECT
141.63/142.05 c rational objective 2
151.70/152.19 c #Conflicts: 227000 | #Constraints: 11987
151.70/152.19 c #Conflicts: 228000 | #Constraints: 12987
151.70/152.19 c #Conflicts: 229000 | #Constraints: 13987
151.70/152.19 c #Conflicts: 230000 | #Constraints: 15010
151.70/152.19 c #Conflicts: 231000 | #Constraints: 16041
151.70/152.19 c #Conflicts: 232000 | #Constraints: 17065
151.70/152.19 c #Conflicts: 233000 | #Constraints: 18089
151.70/152.19 c #Conflicts: 234000 | #Constraints: 19089
151.70/152.19 c #Conflicts: 235000 | #Constraints: 20089
151.70/152.19 c #Conflicts: 236000 | #Constraints: 21089
151.70/152.19 c INPROCESSING
151.70/152.19 c GARBAGE COLLECT
151.70/152.19 c rational objective 2
161.37/161.88 c #Conflicts: 237000 | #Constraints: 11656
161.37/161.88 c #Conflicts: 238000 | #Constraints: 12737
161.37/161.88 c #Conflicts: 239000 | #Constraints: 13819
161.37/161.88 c #Conflicts: 240000 | #Constraints: 14924
161.37/161.88 c #Conflicts: 241000 | #Constraints: 16027
161.37/161.88 c #Conflicts: 242000 | #Constraints: 17132
161.37/161.88 c #Conflicts: 243000 | #Constraints: 18231
161.37/161.88 c #Conflicts: 244000 | #Constraints: 19335
161.37/161.88 c #Conflicts: 245000 | #Constraints: 20442
161.37/161.88 c #Conflicts: 246000 | #Constraints: 21544
161.37/161.88 c INPROCESSING
161.37/161.88 c GARBAGE COLLECT
161.37/161.88 c rational objective 2
172.35/172.84 c #Conflicts: 247000 | #Constraints: 11812
172.35/172.84 c #Conflicts: 248000 | #Constraints: 12879
172.35/172.84 c #Conflicts: 249000 | #Constraints: 13979
172.35/172.84 c #Conflicts: 250000 | #Constraints: 15080
172.35/172.84 c #Conflicts: 251000 | #Constraints: 16175
172.35/172.84 c #Conflicts: 252000 | #Constraints: 17295
172.35/172.84 c #Conflicts: 253000 | #Constraints: 18366
172.35/172.84 c #Conflicts: 254000 | #Constraints: 19430
172.35/172.84 c #Conflicts: 255000 | #Constraints: 20552
172.35/172.84 c #Conflicts: 256000 | #Constraints: 21668
172.35/172.84 c INPROCESSING
172.35/172.84 c GARBAGE COLLECT
172.35/172.84 c rational objective 2
182.72/183.27 c #Conflicts: 257000 | #Constraints: 11742
182.72/183.27 c #Conflicts: 258000 | #Constraints: 12807
182.72/183.27 c #Conflicts: 259000 | #Constraints: 13956
182.72/183.27 c #Conflicts: 260000 | #Constraints: 15001
182.72/183.27 c #Conflicts: 261000 | #Constraints: 16072
182.72/183.27 c #Conflicts: 262000 | #Constraints: 17073
182.72/183.27 c #Conflicts: 263000 | #Constraints: 18073
182.72/183.27 c #Conflicts: 264000 | #Constraints: 19073
182.72/183.27 c #Conflicts: 265000 | #Constraints: 20073
182.72/183.27 c #Conflicts: 266000 | #Constraints: 21073
182.72/183.27 c INPROCESSING
182.72/183.27 c GARBAGE COLLECT
182.72/183.27 c rational objective 2
194.40/194.99 c #Conflicts: 267000 | #Constraints: 11255
194.40/194.99 c #Conflicts: 268000 | #Constraints: 12301
194.40/194.99 c #Conflicts: 269000 | #Constraints: 13301
194.40/194.99 c #Conflicts: 270000 | #Constraints: 14301
194.40/194.99 c #Conflicts: 271000 | #Constraints: 15400
194.40/194.99 c #Conflicts: 272000 | #Constraints: 16582
194.40/194.99 c #Conflicts: 273000 | #Constraints: 17988
194.40/194.99 c #Conflicts: 274000 | #Constraints: 19017
194.40/194.99 c #Conflicts: 275000 | #Constraints: 20120
194.40/194.99 c #Conflicts: 276000 | #Constraints: 21208
194.40/194.99 c #Conflicts: 277000 | #Constraints: 22262
194.40/194.99 c INPROCESSING
194.40/194.99 c GARBAGE COLLECT
194.40/194.99 c rational objective 2
205.36/205.99 c #Conflicts: 278000 | #Constraints: 12033
205.36/205.99 c #Conflicts: 279000 | #Constraints: 13039
205.36/205.99 c #Conflicts: 280000 | #Constraints: 14114
205.36/205.99 c #Conflicts: 281000 | #Constraints: 15254
205.36/205.99 c #Conflicts: 282000 | #Constraints: 16372
205.36/205.99 c #Conflicts: 283000 | #Constraints: 17480
205.36/205.99 c #Conflicts: 284000 | #Constraints: 18525
205.36/205.99 c #Conflicts: 285000 | #Constraints: 19640
205.36/205.99 c #Conflicts: 286000 | #Constraints: 20743
205.36/205.99 c #Conflicts: 287000 | #Constraints: 21849
205.36/205.99 c #Conflicts: 288000 | #Constraints: 22949
205.36/205.99 c INPROCESSING
205.36/205.99 c GARBAGE COLLECT
205.36/205.99 c rational objective 2
217.43/218.04 c #Conflicts: 289000 | #Constraints: 12507
217.43/218.04 c #Conflicts: 290000 | #Constraints: 13507
217.43/218.04 c #Conflicts: 291000 | #Constraints: 14507
217.43/218.04 c #Conflicts: 292000 | #Constraints: 15507
217.43/218.04 c #Conflicts: 293000 | #Constraints: 16536
217.43/218.04 c #Conflicts: 294000 | #Constraints: 17586
217.43/218.04 c #Conflicts: 295000 | #Constraints: 18616
217.43/218.04 c #Conflicts: 296000 | #Constraints: 19681
217.43/218.04 c #Conflicts: 297000 | #Constraints: 20732
217.43/218.04 c #Conflicts: 298000 | #Constraints: 21803
217.43/218.04 c #Conflicts: 299000 | #Constraints: 22962
217.43/218.04 c INPROCESSING
217.43/218.04 c GARBAGE COLLECT
217.43/218.04 c rational objective 2
230.00/230.67 c #Conflicts: 300000 | #Constraints: 12522
230.00/230.67 c #Conflicts: 301000 | #Constraints: 13651
230.00/230.67 c #Conflicts: 302000 | #Constraints: 14731
230.00/230.67 c #Conflicts: 303000 | #Constraints: 15786
230.00/230.67 c #Conflicts: 304000 | #Constraints: 16907
230.00/230.67 c #Conflicts: 305000 | #Constraints: 17965
230.00/230.67 c #Conflicts: 306000 | #Constraints: 18965
230.00/230.67 c #Conflicts: 307000 | #Constraints: 19965
230.00/230.67 c #Conflicts: 308000 | #Constraints: 20965
230.00/230.67 c #Conflicts: 309000 | #Constraints: 21965
230.00/230.67 c #Conflicts: 310000 | #Constraints: 22965
230.00/230.67 c INPROCESSING
230.00/230.67 c GARBAGE COLLECT
230.00/230.67 c rational objective 2
242.48/243.16 c #Conflicts: 311000 | #Constraints: 12428
242.48/243.16 c #Conflicts: 312000 | #Constraints: 13497
242.48/243.16 c #Conflicts: 313000 | #Constraints: 14586
242.48/243.16 c #Conflicts: 314000 | #Constraints: 15714
242.48/243.16 c #Conflicts: 315000 | #Constraints: 16814
242.48/243.16 c #Conflicts: 316000 | #Constraints: 17866
242.48/243.16 c #Conflicts: 317000 | #Constraints: 18866
242.48/243.16 c #Conflicts: 318000 | #Constraints: 19866
242.48/243.16 c #Conflicts: 319000 | #Constraints: 20866
242.48/243.16 c #Conflicts: 320000 | #Constraints: 21866
242.48/243.16 c #Conflicts: 321000 | #Constraints: 22866
242.48/243.16 c INPROCESSING
242.48/243.16 c GARBAGE COLLECT
242.48/243.16 c rational objective 2
256.13/256.89 c #Conflicts: 322000 | #Constraints: 12157
256.13/256.89 c #Conflicts: 323000 | #Constraints: 13192
256.13/256.89 c #Conflicts: 324000 | #Constraints: 14299
256.13/256.89 c #Conflicts: 325000 | #Constraints: 15399
256.13/256.89 c #Conflicts: 326000 | #Constraints: 16454
256.13/256.89 c #Conflicts: 327000 | #Constraints: 17494
256.13/256.89 c #Conflicts: 328000 | #Constraints: 18494
256.13/256.89 c #Conflicts: 329000 | #Constraints: 19570
256.13/256.89 c #Conflicts: 330000 | #Constraints: 20611
256.13/256.89 c #Conflicts: 331000 | #Constraints: 21677
256.13/256.89 c #Conflicts: 332000 | #Constraints: 22733
256.13/256.89 c #Conflicts: 333000 | #Constraints: 23770
256.13/256.89 c INPROCESSING
256.13/256.89 c GARBAGE COLLECT
256.13/256.89 c rational objective 2
269.41/270.19 c #Conflicts: 334000 | #Constraints: 12803
269.41/270.19 c #Conflicts: 335000 | #Constraints: 13811
269.41/270.19 c #Conflicts: 336000 | #Constraints: 14890
269.41/270.19 c #Conflicts: 337000 | #Constraints: 16084
269.41/270.19 c #Conflicts: 338000 | #Constraints: 17182
269.41/270.19 c #Conflicts: 339000 | #Constraints: 18216
269.41/270.19 c #Conflicts: 340000 | #Constraints: 19216
269.41/270.19 c #Conflicts: 341000 | #Constraints: 20220
269.41/270.19 c #Conflicts: 342000 | #Constraints: 21238
269.41/270.19 c #Conflicts: 343000 | #Constraints: 22291
269.41/270.19 c #Conflicts: 344000 | #Constraints: 23465
269.41/270.19 c #Conflicts: 345000 | #Constraints: 24465
269.41/270.19 c INPROCESSING
269.41/270.19 c GARBAGE COLLECT
269.41/270.19 c rational objective 2
283.27/284.03 c #Conflicts: 346000 | #Constraints: 13267
283.27/284.03 c #Conflicts: 347000 | #Constraints: 14530
283.27/284.03 c #Conflicts: 348000 | #Constraints: 15564
283.27/284.03 c #Conflicts: 349000 | #Constraints: 16584
283.27/284.03 c #Conflicts: 350000 | #Constraints: 17588
283.27/284.03 c #Conflicts: 351000 | #Constraints: 18622
283.27/284.03 c #Conflicts: 352000 | #Constraints: 19654
283.27/284.03 c #Conflicts: 353000 | #Constraints: 20722
283.27/284.03 c #Conflicts: 354000 | #Constraints: 21770
283.27/284.03 c #Conflicts: 355000 | #Constraints: 22770
283.27/284.03 c #Conflicts: 356000 | #Constraints: 23770
283.27/284.03 c #Conflicts: 357000 | #Constraints: 24770
283.27/284.03 c INPROCESSING
283.27/284.03 c GARBAGE COLLECT
283.27/284.03 c rational objective 2
297.33/298.19 c #Conflicts: 358000 | #Constraints: 13493
297.33/298.19 c #Conflicts: 359000 | #Constraints: 14579
297.33/298.19 c #Conflicts: 360000 | #Constraints: 15701
297.33/298.19 c #Conflicts: 361000 | #Constraints: 16846
297.33/298.19 c #Conflicts: 362000 | #Constraints: 17961
297.33/298.19 c #Conflicts: 363000 | #Constraints: 19100
297.33/298.19 c #Conflicts: 364000 | #Constraints: 20241
297.33/298.19 c #Conflicts: 365000 | #Constraints: 21347
297.33/298.19 c #Conflicts: 366000 | #Constraints: 22461
297.33/298.19 c #Conflicts: 367000 | #Constraints: 23566
297.33/298.19 c #Conflicts: 368000 | #Constraints: 24665
297.33/298.19 c #Conflicts: 369000 | #Constraints: 25777
297.33/298.19 c INPROCESSING
297.33/298.19 c GARBAGE COLLECT
297.33/298.19 c rational objective 2
313.29/314.15 c #Conflicts: 370000 | #Constraints: 13849
313.29/314.15 c #Conflicts: 371000 | #Constraints: 14936
313.29/314.15 c #Conflicts: 372000 | #Constraints: 15979
313.29/314.15 c #Conflicts: 373000 | #Constraints: 17099
313.29/314.15 c #Conflicts: 374000 | #Constraints: 18253
313.29/314.15 c #Conflicts: 375000 | #Constraints: 19378
313.29/314.15 c #Conflicts: 376000 | #Constraints: 20529
313.29/314.15 c #Conflicts: 377000 | #Constraints: 21716
313.29/314.15 c #Conflicts: 378000 | #Constraints: 22906
313.29/314.15 c #Conflicts: 379000 | #Constraints: 24078
313.29/314.15 c #Conflicts: 380000 | #Constraints: 25260
313.29/314.15 c #Conflicts: 381000 | #Constraints: 26407
313.29/314.15 c INPROCESSING
313.29/314.15 c GARBAGE COLLECT
313.29/314.15 c rational objective 2
329.34/330.27 c #Conflicts: 382000 | #Constraints: 13980
329.34/330.27 c #Conflicts: 383000 | #Constraints: 15016
329.34/330.27 c #Conflicts: 384000 | #Constraints: 16078
329.34/330.27 c #Conflicts: 385000 | #Constraints: 17080
329.34/330.27 c #Conflicts: 386000 | #Constraints: 18080
329.34/330.27 c #Conflicts: 387000 | #Constraints: 19175
329.34/330.27 c #Conflicts: 388000 | #Constraints: 20277
329.34/330.27 c #Conflicts: 389000 | #Constraints: 21317
329.34/330.27 c #Conflicts: 390000 | #Constraints: 22331
329.34/330.27 c #Conflicts: 391000 | #Constraints: 23347
329.34/330.27 c #Conflicts: 392000 | #Constraints: 24382
329.34/330.27 c #Conflicts: 393000 | #Constraints: 25444
329.34/330.27 c #Conflicts: 394000 | #Constraints: 26537
329.34/330.27 c INPROCESSING
329.34/330.27 c GARBAGE COLLECT
329.34/330.27 c rational objective 2
346.10/347.02 c #Conflicts: 395000 | #Constraints: 14191
346.10/347.02 c #Conflicts: 396000 | #Constraints: 15191
346.10/347.02 c #Conflicts: 397000 | #Constraints: 16191
346.10/347.02 c #Conflicts: 398000 | #Constraints: 17191
346.10/347.02 c #Conflicts: 399000 | #Constraints: 18191
346.10/347.02 c #Conflicts: 400000 | #Constraints: 19191
346.10/347.02 c #Conflicts: 401000 | #Constraints: 20191
346.10/347.02 c #Conflicts: 402000 | #Constraints: 21191
346.10/347.02 c #Conflicts: 403000 | #Constraints: 22275
346.10/347.02 c #Conflicts: 404000 | #Constraints: 23432
346.10/347.02 c #Conflicts: 405000 | #Constraints: 24498
346.10/347.02 c #Conflicts: 406000 | #Constraints: 25533
346.10/347.02 c #Conflicts: 407000 | #Constraints: 26567
346.10/347.02 c INPROCESSING
346.10/347.02 c GARBAGE COLLECT
346.10/347.02 c rational objective 2
361.85/362.87 c #Conflicts: 408000 | #Constraints: 14293
361.85/362.87 c #Conflicts: 409000 | #Constraints: 15293
361.85/362.87 c #Conflicts: 410000 | #Constraints: 16312
361.85/362.87 c #Conflicts: 411000 | #Constraints: 17433
361.85/362.87 c #Conflicts: 412000 | #Constraints: 18510
361.85/362.87 c #Conflicts: 413000 | #Constraints: 19626
361.85/362.87 c #Conflicts: 414000 | #Constraints: 20709
361.85/362.87 c #Conflicts: 415000 | #Constraints: 21843
361.85/362.87 c #Conflicts: 416000 | #Constraints: 22942
361.85/362.87 c #Conflicts: 417000 | #Constraints: 24068
361.85/362.87 c #Conflicts: 418000 | #Constraints: 25197
361.85/362.87 c #Conflicts: 419000 | #Constraints: 26311
361.85/362.87 c #Conflicts: 420000 | #Constraints: 27384
361.85/362.87 c INPROCESSING
361.85/362.87 c GARBAGE COLLECT
361.85/362.87 c rational objective 2
381.40/382.45 c #Conflicts: 421000 | #Constraints: 14785
381.40/382.45 c #Conflicts: 422000 | #Constraints: 15933
381.40/382.45 c #Conflicts: 423000 | #Constraints: 17042
381.40/382.45 c #Conflicts: 424000 | #Constraints: 18112
381.40/382.45 c #Conflicts: 425000 | #Constraints: 19151
381.40/382.45 c #Conflicts: 426000 | #Constraints: 20168
381.40/382.45 c #Conflicts: 427000 | #Constraints: 21191
381.40/382.45 c #Conflicts: 428000 | #Constraints: 22198
381.40/382.45 c #Conflicts: 429000 | #Constraints: 23198
381.40/382.45 c #Conflicts: 430000 | #Constraints: 24225
381.40/382.45 c #Conflicts: 431000 | #Constraints: 25255
381.40/382.45 c #Conflicts: 432000 | #Constraints: 26334
381.40/382.45 c #Conflicts: 433000 | #Constraints: 27388
381.40/382.45 c INPROCESSING
381.40/382.45 c GARBAGE COLLECT
381.40/382.45 c rational objective 2
399.74/400.83 c #Conflicts: 434000 | #Constraints: 14622
399.74/400.83 c #Conflicts: 435000 | #Constraints: 15630
399.74/400.83 c #Conflicts: 436000 | #Constraints: 16660
399.74/400.83 c #Conflicts: 437000 | #Constraints: 17672
399.74/400.83 c #Conflicts: 438000 | #Constraints: 18672
399.74/400.83 c #Conflicts: 439000 | #Constraints: 19679
399.74/400.83 c #Conflicts: 440000 | #Constraints: 20699
399.74/400.83 c #Conflicts: 441000 | #Constraints: 21718
399.74/400.83 c #Conflicts: 442000 | #Constraints: 22741
399.74/400.83 c #Conflicts: 443000 | #Constraints: 23775
399.74/400.83 c #Conflicts: 444000 | #Constraints: 24837
399.74/400.83 c #Conflicts: 445000 | #Constraints: 25862
399.74/400.83 c #Conflicts: 446000 | #Constraints: 26918
399.74/400.83 c INPROCESSING
399.74/400.83 c GARBAGE COLLECT
399.74/400.83 c rational objective 2
420.20/421.32 c #Conflicts: 447000 | #Constraints: 14196
420.20/421.32 c #Conflicts: 448000 | #Constraints: 15242
420.20/421.32 c #Conflicts: 449000 | #Constraints: 16280
420.20/421.32 c #Conflicts: 450000 | #Constraints: 17340
420.20/421.32 c #Conflicts: 451000 | #Constraints: 18464
420.20/421.32 c #Conflicts: 452000 | #Constraints: 19535
420.20/421.32 c #Conflicts: 453000 | #Constraints: 20654
420.20/421.32 c #Conflicts: 454000 | #Constraints: 21771
420.20/421.32 c #Conflicts: 455000 | #Constraints: 22904
420.20/421.32 c #Conflicts: 456000 | #Constraints: 23926
420.20/421.32 c #Conflicts: 457000 | #Constraints: 24926
420.20/421.32 c #Conflicts: 458000 | #Constraints: 25926
420.20/421.32 c #Conflicts: 459000 | #Constraints: 26926
420.20/421.32 c #Conflicts: 460000 | #Constraints: 27926
420.20/421.32 c INPROCESSING
420.20/421.32 c GARBAGE COLLECT
420.20/421.32 c rational objective 2
444.43/445.63 c #Conflicts: 461000 | #Constraints: 15064
444.43/445.63 c #Conflicts: 462000 | #Constraints: 16469
444.43/445.63 c #Conflicts: 463000 | #Constraints: 17837
444.43/445.63 c #Conflicts: 464000 | #Constraints: 19164
444.43/445.63 c #Conflicts: 465000 | #Constraints: 20351
444.43/445.63 c #Conflicts: 466000 | #Constraints: 21550
444.43/445.63 c #Conflicts: 467000 | #Constraints: 22902
444.43/445.63 c #Conflicts: 468000 | #Constraints: 24190
444.43/445.63 c #Conflicts: 469000 | #Constraints: 25481
444.43/445.63 c #Conflicts: 470000 | #Constraints: 26758
444.43/445.63 c #Conflicts: 471000 | #Constraints: 28117
444.43/445.63 c #Conflicts: 472000 | #Constraints: 29417
444.43/445.63 c #Conflicts: 473000 | #Constraints: 30654
444.43/445.63 c #Conflicts: 474000 | #Constraints: 31902
444.43/445.63 c INPROCESSING
444.43/445.63 c GARBAGE COLLECT
444.43/445.63 c rational objective 2
467.57/468.88 c #Conflicts: 475000 | #Constraints: 17010
467.57/468.88 c #Conflicts: 476000 | #Constraints: 18072
467.57/468.88 c #Conflicts: 477000 | #Constraints: 19111
467.57/468.88 c #Conflicts: 478000 | #Constraints: 20168
467.57/468.88 c #Conflicts: 479000 | #Constraints: 21254
467.57/468.88 c #Conflicts: 480000 | #Constraints: 22362
467.57/468.88 c #Conflicts: 481000 | #Constraints: 23420
467.57/468.88 c #Conflicts: 482000 | #Constraints: 24495
467.57/468.88 c #Conflicts: 483000 | #Constraints: 25610
467.57/468.88 c #Conflicts: 484000 | #Constraints: 26688
467.57/468.88 c #Conflicts: 485000 | #Constraints: 27787
467.57/468.88 c #Conflicts: 486000 | #Constraints: 28882
467.57/468.88 c #Conflicts: 487000 | #Constraints: 29977
467.57/468.88 c #Conflicts: 488000 | #Constraints: 31065
467.57/468.88 c INPROCESSING
467.57/468.88 c GARBAGE COLLECT
467.57/468.88 c rational objective 2
491.41/492.74 c #Conflicts: 489000 | #Constraints: 16596
491.41/492.74 c #Conflicts: 490000 | #Constraints: 17599
491.41/492.74 c #Conflicts: 491000 | #Constraints: 18631
491.41/492.74 c #Conflicts: 492000 | #Constraints: 19699
491.41/492.74 c #Conflicts: 493000 | #Constraints: 20862
491.41/492.74 c #Conflicts: 494000 | #Constraints: 21933
491.41/492.74 c #Conflicts: 495000 | #Constraints: 22973
491.41/492.74 c #Conflicts: 496000 | #Constraints: 24021
491.41/492.74 c #Conflicts: 497000 | #Constraints: 25126
491.41/492.74 c #Conflicts: 498000 | #Constraints: 26459
491.41/492.74 c #Conflicts: 499000 | #Constraints: 27958
491.41/492.74 c #Conflicts: 500000 | #Constraints: 29303
491.41/492.74 c #Conflicts: 501000 | #Constraints: 30805
491.41/492.74 c #Conflicts: 502000 | #Constraints: 32333
491.41/492.74 c INPROCESSING
491.41/492.74 c GARBAGE COLLECT
491.41/492.74 c rational objective 2.00006
515.34/516.71 c #Conflicts: 503000 | #Constraints: 17203
515.34/516.71 c #Conflicts: 504000 | #Constraints: 18264
515.34/516.71 c #Conflicts: 505000 | #Constraints: 19278
515.34/516.71 c #Conflicts: 506000 | #Constraints: 20278
515.34/516.71 c #Conflicts: 507000 | #Constraints: 21305
515.34/516.71 c #Conflicts: 508000 | #Constraints: 22319
515.34/516.71 c #Conflicts: 509000 | #Constraints: 23319
515.34/516.71 c #Conflicts: 510000 | #Constraints: 24341
515.34/516.71 c #Conflicts: 511000 | #Constraints: 25396
515.34/516.71 c #Conflicts: 512000 | #Constraints: 26464
515.34/516.71 c #Conflicts: 513000 | #Constraints: 27489
515.34/516.71 c #Conflicts: 514000 | #Constraints: 28498
515.34/516.71 c #Conflicts: 515000 | #Constraints: 29498
515.34/516.71 c #Conflicts: 516000 | #Constraints: 30500
515.34/516.71 c INPROCESSING
515.34/516.71 c GARBAGE COLLECT
515.34/516.71 c rational objective 2
558.54/560.08 c #Conflicts: 517000 | #Constraints: 15969
558.54/560.08 c #Conflicts: 518000 | #Constraints: 17016
558.54/560.08 c #Conflicts: 519000 | #Constraints: 18073
558.54/560.08 c #Conflicts: 520000 | #Constraints: 19081
558.54/560.08 c #Conflicts: 521000 | #Constraints: 20081
558.54/560.08 c #Conflicts: 522000 | #Constraints: 21081
558.54/560.08 c #Conflicts: 523000 | #Constraints: 22081
558.54/560.08 c #Conflicts: 524000 | #Constraints: 23087
558.54/560.08 c #Conflicts: 525000 | #Constraints: 24090
558.54/560.08 c #Conflicts: 526000 | #Constraints: 25090
558.54/560.08 c #Conflicts: 527000 | #Constraints: 26090
558.54/560.08 c #Conflicts: 528000 | #Constraints: 27090
558.54/560.08 c #Conflicts: 529000 | #Constraints: 28090
558.54/560.08 c #Conflicts: 530000 | #Constraints: 29113
558.54/560.08 c #Conflicts: 531000 | #Constraints: 30144
558.54/560.08 c INPROCESSING
558.54/560.08 c GARBAGE COLLECT
558.54/560.08 c #Conflicts: 532000 | #Constraints: 15994
558.54/560.08 c #Conflicts: 533000 | #Constraints: 17015
558.54/560.08 c #Conflicts: 534000 | #Constraints: 18015
558.54/560.08 c #Conflicts: 535000 | #Constraints: 19046
558.54/560.08 c #Conflicts: 536000 | #Constraints: 20071
558.54/560.08 c #Conflicts: 537000 | #Constraints: 21116
558.54/560.08 c #Conflicts: 538000 | #Constraints: 22128
558.54/560.08 c #Conflicts: 539000 | #Constraints: 23128
558.54/560.08 c #Conflicts: 540000 | #Constraints: 24162
558.54/560.08 c #Conflicts: 541000 | #Constraints: 25176
558.54/560.08 c #Conflicts: 542000 | #Constraints: 26176
558.54/560.08 c #Conflicts: 543000 | #Constraints: 27176
558.54/560.08 c #Conflicts: 544000 | #Constraints: 28176
558.54/560.08 c #Conflicts: 545000 | #Constraints: 29242
558.54/560.08 c #Conflicts: 546000 | #Constraints: 30242
558.54/560.08 c INPROCESSING
558.54/560.08 c GARBAGE COLLECT
558.54/560.08 c rational objective 2
578.88/580.49 c #Conflicts: 547000 | #Constraints: 16145
578.88/580.49 c #Conflicts: 548000 | #Constraints: 17169
578.88/580.49 c #Conflicts: 549000 | #Constraints: 18173
578.88/580.49 c #Conflicts: 550000 | #Constraints: 19173
578.88/580.49 c #Conflicts: 551000 | #Constraints: 20173
578.88/580.49 c #Conflicts: 552000 | #Constraints: 21173
578.88/580.49 c #Conflicts: 553000 | #Constraints: 22173
578.88/580.49 c #Conflicts: 554000 | #Constraints: 23173
578.88/580.49 c #Conflicts: 555000 | #Constraints: 24173
578.88/580.49 c #Conflicts: 556000 | #Constraints: 25173
578.88/580.49 c #Conflicts: 557000 | #Constraints: 26173
578.88/580.49 c #Conflicts: 558000 | #Constraints: 27173
578.88/580.49 c #Conflicts: 559000 | #Constraints: 28173
578.88/580.49 c #Conflicts: 560000 | #Constraints: 29173
578.88/580.49 c #Conflicts: 561000 | #Constraints: 30173
578.88/580.49 c INPROCESSING
578.88/580.49 c GARBAGE COLLECT
578.88/580.49 c rational objective 2
603.31/605.00 c #Conflicts: 562000 | #Constraints: 16105
603.31/605.00 c #Conflicts: 563000 | #Constraints: 17120
603.31/605.00 c #Conflicts: 564000 | #Constraints: 18120
603.31/605.00 c #Conflicts: 565000 | #Constraints: 19120
603.31/605.00 c #Conflicts: 566000 | #Constraints: 20120
603.31/605.00 c #Conflicts: 567000 | #Constraints: 21120
603.31/605.00 c #Conflicts: 568000 | #Constraints: 22132
603.31/605.00 c #Conflicts: 569000 | #Constraints: 23167
603.31/605.00 c #Conflicts: 570000 | #Constraints: 24190
603.31/605.00 c #Conflicts: 571000 | #Constraints: 25232
603.31/605.00 c #Conflicts: 572000 | #Constraints: 26232
603.31/605.00 c #Conflicts: 573000 | #Constraints: 27232
603.31/605.00 c #Conflicts: 574000 | #Constraints: 28232
603.31/605.00 c #Conflicts: 575000 | #Constraints: 29232
603.31/605.00 c #Conflicts: 576000 | #Constraints: 30232
603.31/605.00 c INPROCESSING
603.31/605.00 c GARBAGE COLLECT
603.31/605.00 c rational objective 2
625.46/627.19 c #Conflicts: 577000 | #Constraints: 16039
625.46/627.19 c #Conflicts: 578000 | #Constraints: 17059
625.46/627.19 c #Conflicts: 579000 | #Constraints: 18061
625.46/627.19 c #Conflicts: 580000 | #Constraints: 19062
625.46/627.19 c #Conflicts: 581000 | #Constraints: 20062
625.46/627.19 c #Conflicts: 582000 | #Constraints: 21066
625.46/627.19 c #Conflicts: 583000 | #Constraints: 22066
625.46/627.19 c #Conflicts: 584000 | #Constraints: 23066
625.46/627.19 c #Conflicts: 585000 | #Constraints: 24066
625.46/627.19 c #Conflicts: 586000 | #Constraints: 25066
625.46/627.19 c #Conflicts: 587000 | #Constraints: 26066
625.46/627.19 c #Conflicts: 588000 | #Constraints: 27066
625.46/627.19 c #Conflicts: 589000 | #Constraints: 28066
625.46/627.19 c #Conflicts: 590000 | #Constraints: 29066
625.46/627.19 c #Conflicts: 591000 | #Constraints: 30066
625.46/627.19 c INPROCESSING
625.46/627.19 c GARBAGE COLLECT
625.46/627.19 c rational objective 2
647.80/649.58 c #Conflicts: 592000 | #Constraints: 15752
647.80/649.58 c #Conflicts: 593000 | #Constraints: 16783
647.80/649.58 c #Conflicts: 594000 | #Constraints: 17783
647.80/649.58 c #Conflicts: 595000 | #Constraints: 18783
647.80/649.58 c #Conflicts: 596000 | #Constraints: 19783
647.80/649.58 c #Conflicts: 597000 | #Constraints: 20783
647.80/649.58 c #Conflicts: 598000 | #Constraints: 21783
647.80/649.58 c #Conflicts: 599000 | #Constraints: 22783
647.80/649.58 c #Conflicts: 600000 | #Constraints: 23783
647.80/649.58 c #Conflicts: 601000 | #Constraints: 24783
647.80/649.58 c #Conflicts: 602000 | #Constraints: 25783
647.80/649.58 c #Conflicts: 603000 | #Constraints: 26783
647.80/649.58 c #Conflicts: 604000 | #Constraints: 27783
647.80/649.58 c #Conflicts: 605000 | #Constraints: 28783
647.80/649.58 c #Conflicts: 606000 | #Constraints: 29783
647.80/649.58 c #Conflicts: 607000 | #Constraints: 30783
647.80/649.58 c INPROCESSING
647.80/649.58 c GARBAGE COLLECT
647.80/649.58 c rational objective 2
670.54/672.39 c #Conflicts: 608000 | #Constraints: 16322
670.54/672.39 c #Conflicts: 609000 | #Constraints: 17375
670.54/672.39 c #Conflicts: 610000 | #Constraints: 18395
670.54/672.39 c #Conflicts: 611000 | #Constraints: 19395
670.54/672.39 c #Conflicts: 612000 | #Constraints: 20395
670.54/672.39 c #Conflicts: 613000 | #Constraints: 21395
670.54/672.39 c #Conflicts: 614000 | #Constraints: 22395
670.54/672.39 c #Conflicts: 615000 | #Constraints: 23395
670.54/672.39 c #Conflicts: 616000 | #Constraints: 24396
670.54/672.39 c #Conflicts: 617000 | #Constraints: 25402
670.54/672.39 c #Conflicts: 618000 | #Constraints: 26444
670.54/672.39 c #Conflicts: 619000 | #Constraints: 27503
670.54/672.39 c #Conflicts: 620000 | #Constraints: 28521
670.54/672.39 c #Conflicts: 621000 | #Constraints: 29546
670.54/672.39 c #Conflicts: 622000 | #Constraints: 30546
670.54/672.39 c #Conflicts: 623000 | #Constraints: 31546
670.54/672.39 c INPROCESSING
670.54/672.39 c GARBAGE COLLECT
670.54/672.39 c rational objective 2
692.98/694.81 c #Conflicts: 624000 | #Constraints: 16794
692.98/694.81 c #Conflicts: 625000 | #Constraints: 17794
692.98/694.81 c #Conflicts: 626000 | #Constraints: 18794
692.98/694.81 c #Conflicts: 627000 | #Constraints: 19794
692.98/694.81 c #Conflicts: 628000 | #Constraints: 20794
692.98/694.81 c #Conflicts: 629000 | #Constraints: 21794
692.98/694.81 c #Conflicts: 630000 | #Constraints: 22794
692.98/694.81 c #Conflicts: 631000 | #Constraints: 23794
692.98/694.81 c #Conflicts: 632000 | #Constraints: 24794
692.98/694.81 c #Conflicts: 633000 | #Constraints: 25794
692.98/694.81 c #Conflicts: 634000 | #Constraints: 26794
692.98/694.81 c #Conflicts: 635000 | #Constraints: 27798
692.98/694.81 c #Conflicts: 636000 | #Constraints: 28798
692.98/694.81 c #Conflicts: 637000 | #Constraints: 29798
692.98/694.81 c #Conflicts: 638000 | #Constraints: 30798
692.98/694.81 c #Conflicts: 639000 | #Constraints: 31798
692.98/694.81 c INPROCESSING
692.98/694.81 c GARBAGE COLLECT
692.98/694.81 c rational objective 2
715.82/717.73 c #Conflicts: 640000 | #Constraints: 16928
715.82/717.73 c #Conflicts: 641000 | #Constraints: 17936
715.82/717.73 c #Conflicts: 642000 | #Constraints: 18936
715.82/717.73 c #Conflicts: 643000 | #Constraints: 19936
715.82/717.73 c #Conflicts: 644000 | #Constraints: 20936
715.82/717.73 c #Conflicts: 645000 | #Constraints: 21939
715.82/717.73 c #Conflicts: 646000 | #Constraints: 22939
715.82/717.73 c #Conflicts: 647000 | #Constraints: 23987
715.82/717.73 c #Conflicts: 648000 | #Constraints: 25028
715.82/717.73 c #Conflicts: 649000 | #Constraints: 26028
715.82/717.73 c #Conflicts: 650000 | #Constraints: 27028
715.82/717.73 c #Conflicts: 651000 | #Constraints: 28028
715.82/717.73 c #Conflicts: 652000 | #Constraints: 29028
715.82/717.73 c #Conflicts: 653000 | #Constraints: 30028
715.82/717.73 c #Conflicts: 654000 | #Constraints: 31028
715.82/717.73 c #Conflicts: 655000 | #Constraints: 32028
715.82/717.73 c INPROCESSING
715.82/717.73 c GARBAGE COLLECT
715.82/717.73 c rational objective 2
744.44/746.42 c #Conflicts: 656000 | #Constraints: 16961
744.44/746.42 c #Conflicts: 657000 | #Constraints: 18086
744.44/746.42 c #Conflicts: 658000 | #Constraints: 19328
744.44/746.42 c #Conflicts: 659000 | #Constraints: 20629
744.44/746.42 c #Conflicts: 660000 | #Constraints: 21875
744.44/746.42 c #Conflicts: 661000 | #Constraints: 22939
744.44/746.42 c #Conflicts: 662000 | #Constraints: 23994
744.44/746.42 c #Conflicts: 663000 | #Constraints: 25030
744.44/746.42 c #Conflicts: 664000 | #Constraints: 26071
744.44/746.42 c #Conflicts: 665000 | #Constraints: 27076
744.44/746.42 c #Conflicts: 666000 | #Constraints: 28076
744.44/746.42 c #Conflicts: 667000 | #Constraints: 29076
744.44/746.42 c #Conflicts: 668000 | #Constraints: 30076
744.44/746.42 c #Conflicts: 669000 | #Constraints: 31087
744.44/746.42 c #Conflicts: 670000 | #Constraints: 32087
744.44/746.42 c #Conflicts: 671000 | #Constraints: 33087
744.44/746.42 c INPROCESSING
744.44/746.42 c GARBAGE COLLECT
744.44/746.42 c rational objective 2
771.18/773.24 c #Conflicts: 672000 | #Constraints: 17268
771.18/773.24 c #Conflicts: 673000 | #Constraints: 18268
771.18/773.24 c #Conflicts: 674000 | #Constraints: 19268
771.18/773.24 c #Conflicts: 675000 | #Constraints: 20268
771.18/773.24 c #Conflicts: 676000 | #Constraints: 21268
771.18/773.24 c #Conflicts: 677000 | #Constraints: 22268
771.18/773.24 c #Conflicts: 678000 | #Constraints: 23268
771.18/773.24 c #Conflicts: 679000 | #Constraints: 24268
771.18/773.24 c #Conflicts: 680000 | #Constraints: 25268
771.18/773.24 c #Conflicts: 681000 | #Constraints: 26268
771.18/773.24 c #Conflicts: 682000 | #Constraints: 27268
771.18/773.24 c #Conflicts: 683000 | #Constraints: 28268
771.18/773.24 c #Conflicts: 684000 | #Constraints: 29275
771.18/773.24 c #Conflicts: 685000 | #Constraints: 30277
771.18/773.24 c #Conflicts: 686000 | #Constraints: 31301
771.18/773.24 c #Conflicts: 687000 | #Constraints: 32307
771.18/773.24 c #Conflicts: 688000 | #Constraints: 33311
771.18/773.24 c INPROCESSING
771.18/773.24 c GARBAGE COLLECT
771.18/773.24 c rational objective 2
798.50/800.61 c #Conflicts: 689000 | #Constraints: 17576
798.50/800.61 c #Conflicts: 690000 | #Constraints: 18579
798.50/800.61 c #Conflicts: 691000 | #Constraints: 19579
798.50/800.61 c #Conflicts: 692000 | #Constraints: 20579
798.50/800.61 c #Conflicts: 693000 | #Constraints: 21581
798.50/800.61 c #Conflicts: 694000 | #Constraints: 22607
798.50/800.61 c #Conflicts: 695000 | #Constraints: 23636
798.50/800.61 c #Conflicts: 696000 | #Constraints: 24643
798.50/800.61 c #Conflicts: 697000 | #Constraints: 25643
798.50/800.61 c #Conflicts: 698000 | #Constraints: 26643
798.50/800.61 c #Conflicts: 699000 | #Constraints: 27643
798.50/800.61 c #Conflicts: 700000 | #Constraints: 28643
798.50/800.61 c #Conflicts: 701000 | #Constraints: 29643
798.50/800.61 c #Conflicts: 702000 | #Constraints: 30643
798.50/800.61 c #Conflicts: 703000 | #Constraints: 31643
798.50/800.61 c #Conflicts: 704000 | #Constraints: 32643
798.50/800.61 c #Conflicts: 705000 | #Constraints: 33643
798.50/800.61 c INPROCESSING
798.50/800.61 c GARBAGE COLLECT
798.50/800.61 c rational objective 2
827.94/830.14 c #Conflicts: 706000 | #Constraints: 17879
827.94/830.14 c #Conflicts: 707000 | #Constraints: 18932
827.94/830.14 c #Conflicts: 708000 | #Constraints: 19941
827.94/830.14 c #Conflicts: 709000 | #Constraints: 20941
827.94/830.14 c #Conflicts: 710000 | #Constraints: 21941
827.94/830.14 c #Conflicts: 711000 | #Constraints: 22941
827.94/830.14 c #Conflicts: 712000 | #Constraints: 23941
827.94/830.14 c #Conflicts: 713000 | #Constraints: 24941
827.94/830.14 c #Conflicts: 714000 | #Constraints: 25941
827.94/830.14 c #Conflicts: 715000 | #Constraints: 26941
827.94/830.14 c #Conflicts: 716000 | #Constraints: 27941
827.94/830.14 c #Conflicts: 717000 | #Constraints: 28941
827.94/830.14 c #Conflicts: 718000 | #Constraints: 29941
827.94/830.14 c #Conflicts: 719000 | #Constraints: 30941
827.94/830.14 c #Conflicts: 720000 | #Constraints: 31941
827.94/830.14 c #Conflicts: 721000 | #Constraints: 32941
827.94/830.14 c #Conflicts: 722000 | #Constraints: 33941
827.94/830.14 c INPROCESSING
827.94/830.14 c GARBAGE COLLECT
827.94/830.14 c rational objective 2
856.65/858.94 c #Conflicts: 723000 | #Constraints: 17999
856.65/858.94 c #Conflicts: 724000 | #Constraints: 18999
856.65/858.94 c #Conflicts: 725000 | #Constraints: 19999
856.65/858.94 c #Conflicts: 726000 | #Constraints: 20999
856.65/858.94 c #Conflicts: 727000 | #Constraints: 21999
856.65/858.94 c #Conflicts: 728000 | #Constraints: 22999
856.65/858.94 c #Conflicts: 729000 | #Constraints: 23999
856.65/858.94 c #Conflicts: 730000 | #Constraints: 24999
856.65/858.94 c #Conflicts: 731000 | #Constraints: 25999
856.65/858.94 c #Conflicts: 732000 | #Constraints: 26999
856.65/858.94 c #Conflicts: 733000 | #Constraints: 27999
856.65/858.94 c #Conflicts: 734000 | #Constraints: 28999
856.65/858.94 c #Conflicts: 735000 | #Constraints: 29999
856.65/858.94 c #Conflicts: 736000 | #Constraints: 30999
856.65/858.94 c #Conflicts: 737000 | #Constraints: 31999
856.65/858.94 c #Conflicts: 738000 | #Constraints: 32999
856.65/858.94 c #Conflicts: 739000 | #Constraints: 33999
856.65/858.94 c INPROCESSING
856.65/858.94 c GARBAGE COLLECT
856.65/858.94 c rational objective 2
884.48/886.87 c #Conflicts: 740000 | #Constraints: 17933
884.48/886.87 c #Conflicts: 741000 | #Constraints: 18960
884.48/886.87 c #Conflicts: 742000 | #Constraints: 19960
884.48/886.87 c #Conflicts: 743000 | #Constraints: 20960
884.48/886.87 c #Conflicts: 744000 | #Constraints: 21960
884.48/886.87 c #Conflicts: 745000 | #Constraints: 22960
884.48/886.87 c #Conflicts: 746000 | #Constraints: 23980
884.48/886.87 c #Conflicts: 747000 | #Constraints: 25004
884.48/886.87 c #Conflicts: 748000 | #Constraints: 26004
884.48/886.87 c #Conflicts: 749000 | #Constraints: 27004
884.48/886.87 c #Conflicts: 750000 | #Constraints: 28004
884.48/886.87 c #Conflicts: 751000 | #Constraints: 29004
884.48/886.87 c #Conflicts: 752000 | #Constraints: 30004
884.48/886.87 c #Conflicts: 753000 | #Constraints: 31004
884.48/886.87 c #Conflicts: 754000 | #Constraints: 32004
884.48/886.87 c #Conflicts: 755000 | #Constraints: 33004
884.48/886.87 c #Conflicts: 756000 | #Constraints: 34004
884.48/886.87 c INPROCESSING
884.48/886.87 c GARBAGE COLLECT
884.48/886.87 c rational objective 2
914.29/916.78 c #Conflicts: 757000 | #Constraints: 17722
914.29/916.78 c #Conflicts: 758000 | #Constraints: 18843
914.29/916.78 c #Conflicts: 759000 | #Constraints: 19852
914.29/916.78 c #Conflicts: 760000 | #Constraints: 20852
914.29/916.78 c #Conflicts: 761000 | #Constraints: 21852
914.29/916.78 c #Conflicts: 762000 | #Constraints: 22852
914.29/916.78 c #Conflicts: 763000 | #Constraints: 23852
914.29/916.78 c #Conflicts: 764000 | #Constraints: 24852
914.29/916.78 c #Conflicts: 765000 | #Constraints: 25852
914.29/916.78 c #Conflicts: 766000 | #Constraints: 26852
914.29/916.78 c #Conflicts: 767000 | #Constraints: 27879
914.29/916.78 c #Conflicts: 768000 | #Constraints: 28879
914.29/916.78 c #Conflicts: 769000 | #Constraints: 29879
914.29/916.78 c #Conflicts: 770000 | #Constraints: 30879
914.29/916.78 c #Conflicts: 771000 | #Constraints: 31879
914.29/916.78 c #Conflicts: 772000 | #Constraints: 32879
914.29/916.78 c #Conflicts: 773000 | #Constraints: 33879
914.29/916.78 c #Conflicts: 774000 | #Constraints: 34879
914.29/916.78 c INPROCESSING
914.29/916.78 c GARBAGE COLLECT
914.29/916.78 c rational objective 2
945.31/947.82 c #Conflicts: 775000 | #Constraints: 18436
945.31/947.82 c #Conflicts: 776000 | #Constraints: 19490
945.31/947.82 c #Conflicts: 777000 | #Constraints: 20490
945.31/947.82 c #Conflicts: 778000 | #Constraints: 21490
945.31/947.82 c #Conflicts: 779000 | #Constraints: 22490
945.31/947.82 c #Conflicts: 780000 | #Constraints: 23490
945.31/947.82 c #Conflicts: 781000 | #Constraints: 24490
945.31/947.82 c #Conflicts: 782000 | #Constraints: 25490
945.31/947.82 c #Conflicts: 783000 | #Constraints: 26490
945.31/947.82 c #Conflicts: 784000 | #Constraints: 27490
945.31/947.82 c #Conflicts: 785000 | #Constraints: 28490
945.31/947.82 c #Conflicts: 786000 | #Constraints: 29490
945.31/947.82 c #Conflicts: 787000 | #Constraints: 30490
945.31/947.82 c #Conflicts: 788000 | #Constraints: 31490
945.31/947.82 c #Conflicts: 789000 | #Constraints: 32490
945.31/947.82 c #Conflicts: 790000 | #Constraints: 33490
945.31/947.82 c #Conflicts: 791000 | #Constraints: 34490
945.31/947.82 c #Conflicts: 792000 | #Constraints: 35490
945.31/947.82 c INPROCESSING
945.31/947.82 c GARBAGE COLLECT
945.31/947.82 c rational objective 2.00006
976.83/979.40 c #Conflicts: 793000 | #Constraints: 18802
976.83/979.40 c #Conflicts: 794000 | #Constraints: 19876
976.83/979.40 c #Conflicts: 795000 | #Constraints: 20891
976.83/979.40 c #Conflicts: 796000 | #Constraints: 21891
976.83/979.40 c #Conflicts: 797000 | #Constraints: 22893
976.83/979.40 c #Conflicts: 798000 | #Constraints: 23899
976.83/979.40 c #Conflicts: 799000 | #Constraints: 24899
976.83/979.40 c #Conflicts: 800000 | #Constraints: 25899
976.83/979.40 c #Conflicts: 801000 | #Constraints: 26899
976.83/979.40 c #Conflicts: 802000 | #Constraints: 27899
976.83/979.40 c #Conflicts: 803000 | #Constraints: 28899
976.83/979.40 c #Conflicts: 804000 | #Constraints: 29899
976.83/979.40 c #Conflicts: 805000 | #Constraints: 30899
976.83/979.40 c #Conflicts: 806000 | #Constraints: 31899
976.83/979.40 c #Conflicts: 807000 | #Constraints: 32899
976.83/979.40 c #Conflicts: 808000 | #Constraints: 33899
976.83/979.40 c #Conflicts: 809000 | #Constraints: 34899
976.83/979.40 c #Conflicts: 810000 | #Constraints: 35899
976.83/979.40 c INPROCESSING
976.83/979.40 c GARBAGE COLLECT
976.83/979.40 c rational objective 2.00004
1009.34/1012.05 c #Conflicts: 811000 | #Constraints: 19065
1009.34/1012.05 c #Conflicts: 812000 | #Constraints: 20151
1009.34/1012.05 c #Conflicts: 813000 | #Constraints: 21152
1009.34/1012.05 c #Conflicts: 814000 | #Constraints: 22152
1009.34/1012.05 c #Conflicts: 815000 | #Constraints: 23160
1009.34/1012.05 c #Conflicts: 816000 | #Constraints: 24196
1009.34/1012.05 c #Conflicts: 817000 | #Constraints: 25299
1009.34/1012.05 c #Conflicts: 818000 | #Constraints: 26357
1009.34/1012.05 c #Conflicts: 819000 | #Constraints: 27357
1009.34/1012.05 c #Conflicts: 820000 | #Constraints: 28357
1009.34/1012.05 c #Conflicts: 821000 | #Constraints: 29357
1009.34/1012.05 c #Conflicts: 822000 | #Constraints: 30357
1009.34/1012.05 c #Conflicts: 823000 | #Constraints: 31357
1009.34/1012.05 c #Conflicts: 824000 | #Constraints: 32357
1009.34/1012.05 c #Conflicts: 825000 | #Constraints: 33357
1009.34/1012.05 c #Conflicts: 826000 | #Constraints: 34357
1009.34/1012.05 c #Conflicts: 827000 | #Constraints: 35357
1009.34/1012.05 c #Conflicts: 828000 | #Constraints: 36357
1009.34/1012.05 c INPROCESSING
1009.34/1012.05 c GARBAGE COLLECT
1009.34/1012.05 c rational objective 2.00004
1050.72/1053.53 c #Conflicts: 829000 | #Constraints: 19140
1050.72/1053.53 c #Conflicts: 830000 | #Constraints: 20206
1050.72/1053.53 c #Conflicts: 831000 | #Constraints: 21302
1050.72/1053.53 c #Conflicts: 832000 | #Constraints: 22384
1050.72/1053.53 c #Conflicts: 833000 | #Constraints: 23430
1050.72/1053.53 c #Conflicts: 834000 | #Constraints: 24435
1050.72/1053.53 c #Conflicts: 835000 | #Constraints: 25458
1050.72/1053.53 c #Conflicts: 836000 | #Constraints: 26483
1050.72/1053.53 c #Conflicts: 837000 | #Constraints: 27573
1050.72/1053.53 c #Conflicts: 838000 | #Constraints: 28659
1050.72/1053.53 c #Conflicts: 839000 | #Constraints: 29734
1050.72/1053.53 c #Conflicts: 840000 | #Constraints: 30734
1050.72/1053.53 c #Conflicts: 841000 | #Constraints: 31734
1050.72/1053.53 c #Conflicts: 842000 | #Constraints: 32734
1050.72/1053.53 c #Conflicts: 843000 | #Constraints: 33734
1050.72/1053.53 c #Conflicts: 844000 | #Constraints: 34734
1050.72/1053.53 c #Conflicts: 845000 | #Constraints: 35734
1050.72/1053.53 c #Conflicts: 846000 | #Constraints: 36734
1050.72/1053.53 c INPROCESSING
1050.72/1053.53 c GARBAGE COLLECT
1050.72/1053.53 c rational objective 2.00027
1088.32/1091.27 c #Conflicts: 847000 | #Constraints: 19095
1088.32/1091.27 c #Conflicts: 848000 | #Constraints: 20130
1088.32/1091.27 c #Conflicts: 849000 | #Constraints: 21152
1088.32/1091.27 c #Conflicts: 850000 | #Constraints: 22173
1088.32/1091.27 c #Conflicts: 851000 | #Constraints: 23173
1088.32/1091.27 c #Conflicts: 852000 | #Constraints: 24215
1088.32/1091.27 c #Conflicts: 853000 | #Constraints: 25284
1088.32/1091.27 c #Conflicts: 854000 | #Constraints: 26320
1088.32/1091.27 c #Conflicts: 855000 | #Constraints: 27406
1088.32/1091.27 c #Conflicts: 856000 | #Constraints: 28494
1088.32/1091.27 c #Conflicts: 857000 | #Constraints: 29570
1088.32/1091.27 c #Conflicts: 858000 | #Constraints: 30633
1088.32/1091.27 c #Conflicts: 859000 | #Constraints: 31699
1088.32/1091.27 c #Conflicts: 860000 | #Constraints: 32785
1088.32/1091.27 c #Conflicts: 861000 | #Constraints: 33868
1088.32/1091.27 c #Conflicts: 862000 | #Constraints: 35024
1088.32/1091.27 c #Conflicts: 863000 | #Constraints: 36189
1088.32/1091.27 c #Conflicts: 864000 | #Constraints: 37352
1088.32/1091.27 c #Conflicts: 865000 | #Constraints: 38556
1088.32/1091.27 c INPROCESSING
1088.32/1091.27 c GARBAGE COLLECT
1088.32/1091.27 c rational objective 1.99985
1129.60/1132.60 c #Conflicts: 866000 | #Constraints: 20267
1129.60/1132.60 c #Conflicts: 867000 | #Constraints: 21325
1129.60/1132.60 c #Conflicts: 868000 | #Constraints: 22382
1129.60/1132.60 c #Conflicts: 869000 | #Constraints: 23437
1129.60/1132.60 c #Conflicts: 870000 | #Constraints: 24474
1129.60/1132.60 c #Conflicts: 871000 | #Constraints: 25489
1129.60/1132.60 c #Conflicts: 872000 | #Constraints: 26489
1129.60/1132.60 c #Conflicts: 873000 | #Constraints: 27489
1129.60/1132.60 c #Conflicts: 874000 | #Constraints: 28495
1129.60/1132.60 c #Conflicts: 875000 | #Constraints: 29499
1129.60/1132.60 c #Conflicts: 876000 | #Constraints: 30527
1129.60/1132.60 c #Conflicts: 877000 | #Constraints: 31579
1129.60/1132.60 c #Conflicts: 878000 | #Constraints: 32610
1129.60/1132.60 c #Conflicts: 879000 | #Constraints: 33655
1129.60/1132.60 c #Conflicts: 880000 | #Constraints: 34670
1129.60/1132.60 c #Conflicts: 881000 | #Constraints: 35670
1129.60/1132.60 c #Conflicts: 882000 | #Constraints: 36691
1129.60/1132.60 c #Conflicts: 883000 | #Constraints: 37740
1129.60/1132.60 c #Conflicts: 884000 | #Constraints: 38742
1129.60/1132.60 c INPROCESSING
1129.60/1132.60 c GARBAGE COLLECT
1129.60/1132.60 c rational objective 1.99991
1167.00/1170.12 c #Conflicts: 885000 | #Constraints: 20410
1167.00/1170.12 c #Conflicts: 886000 | #Constraints: 21410
1167.00/1170.12 c #Conflicts: 887000 | #Constraints: 22410
1167.00/1170.12 c #Conflicts: 888000 | #Constraints: 23410
1167.00/1170.12 c #Conflicts: 889000 | #Constraints: 24410
1167.00/1170.12 c #Conflicts: 890000 | #Constraints: 25410
1167.00/1170.12 c #Conflicts: 891000 | #Constraints: 26410
1167.00/1170.12 c #Conflicts: 892000 | #Constraints: 27410
1167.00/1170.12 c #Conflicts: 893000 | #Constraints: 28410
1167.00/1170.12 c #Conflicts: 894000 | #Constraints: 29413
1167.00/1170.12 c #Conflicts: 895000 | #Constraints: 30443
1167.00/1170.12 c #Conflicts: 896000 | #Constraints: 31465
1167.00/1170.12 c #Conflicts: 897000 | #Constraints: 32494
1167.00/1170.12 c #Conflicts: 898000 | #Constraints: 33494
1167.00/1170.12 c #Conflicts: 899000 | #Constraints: 34494
1167.00/1170.12 c #Conflicts: 900000 | #Constraints: 35494
1167.00/1170.12 c #Conflicts: 901000 | #Constraints: 36494
1167.00/1170.12 c #Conflicts: 902000 | #Constraints: 37494
1167.00/1170.12 c #Conflicts: 903000 | #Constraints: 38494
1167.00/1170.12 c INPROCESSING
1167.00/1170.12 c GARBAGE COLLECT
1167.00/1170.12 c rational objective 1.9998
1206.18/1209.41 c #Conflicts: 904000 | #Constraints: 20266
1206.18/1209.41 c #Conflicts: 905000 | #Constraints: 21286
1206.18/1209.41 c #Conflicts: 906000 | #Constraints: 22308
1206.18/1209.41 c #Conflicts: 907000 | #Constraints: 23345
1206.18/1209.41 c #Conflicts: 908000 | #Constraints: 24346
1206.18/1209.41 c #Conflicts: 909000 | #Constraints: 25346
1206.18/1209.41 c #Conflicts: 910000 | #Constraints: 26346
1206.18/1209.41 c #Conflicts: 911000 | #Constraints: 27346
1206.18/1209.41 c #Conflicts: 912000 | #Constraints: 28346
1206.18/1209.41 c #Conflicts: 913000 | #Constraints: 29346
1206.18/1209.41 c #Conflicts: 914000 | #Constraints: 30346
1206.18/1209.41 c #Conflicts: 915000 | #Constraints: 31346
1206.18/1209.41 c #Conflicts: 916000 | #Constraints: 32346
1206.18/1209.41 c #Conflicts: 917000 | #Constraints: 33346
1206.18/1209.41 c #Conflicts: 918000 | #Constraints: 34346
1206.18/1209.41 c #Conflicts: 919000 | #Constraints: 35346
1206.18/1209.41 c #Conflicts: 920000 | #Constraints: 36346
1206.18/1209.41 c #Conflicts: 921000 | #Constraints: 37346
1206.18/1209.41 c #Conflicts: 922000 | #Constraints: 38346
1206.18/1209.41 c INPROCESSING
1206.18/1209.41 c GARBAGE COLLECT
1206.18/1209.41 c rational objective 1.99938
1252.86/1256.21 c #Conflicts: 923000 | #Constraints: 20124
1252.86/1256.21 c #Conflicts: 924000 | #Constraints: 21211
1252.86/1256.21 c #Conflicts: 925000 | #Constraints: 22291
1252.86/1256.21 c #Conflicts: 926000 | #Constraints: 23417
1252.86/1256.21 c #Conflicts: 927000 | #Constraints: 24545
1252.86/1256.21 c #Conflicts: 928000 | #Constraints: 25675
1252.86/1256.21 c #Conflicts: 929000 | #Constraints: 26780
1252.86/1256.21 c #Conflicts: 930000 | #Constraints: 27871
1252.86/1256.21 c #Conflicts: 931000 | #Constraints: 29020
1252.86/1256.21 c #Conflicts: 932000 | #Constraints: 30182
1252.86/1256.21 c #Conflicts: 933000 | #Constraints: 31300
1252.86/1256.21 c #Conflicts: 934000 | #Constraints: 32443
1252.86/1256.21 c #Conflicts: 935000 | #Constraints: 33558
1252.86/1256.21 c #Conflicts: 936000 | #Constraints: 34653
1252.86/1256.21 c #Conflicts: 937000 | #Constraints: 35729
1252.86/1256.21 c #Conflicts: 938000 | #Constraints: 36823
1252.86/1256.21 c #Conflicts: 939000 | #Constraints: 37866
1252.86/1256.21 c #Conflicts: 940000 | #Constraints: 38955
1252.86/1256.21 c #Conflicts: 941000 | #Constraints: 40037
1252.86/1256.21 c INPROCESSING
1252.86/1256.21 c GARBAGE COLLECT
1252.86/1256.21 c rational objective 1.99938
1296.64/1300.15 c #Conflicts: 942000 | #Constraints: 20783
1296.64/1300.15 c #Conflicts: 943000 | #Constraints: 21816
1296.64/1300.15 c #Conflicts: 944000 | #Constraints: 22830
1296.64/1300.15 c #Conflicts: 945000 | #Constraints: 23830
1296.64/1300.15 c #Conflicts: 946000 | #Constraints: 24830
1296.64/1300.15 c #Conflicts: 947000 | #Constraints: 25830
1296.64/1300.15 c #Conflicts: 948000 | #Constraints: 26830
1296.64/1300.15 c #Conflicts: 949000 | #Constraints: 27830
1296.64/1300.15 c #Conflicts: 950000 | #Constraints: 28830
1296.64/1300.15 c #Conflicts: 951000 | #Constraints: 29830
1296.64/1300.15 c #Conflicts: 952000 | #Constraints: 30830
1296.64/1300.15 c #Conflicts: 953000 | #Constraints: 31830
1296.64/1300.15 c #Conflicts: 954000 | #Constraints: 32830
1296.64/1300.15 c #Conflicts: 955000 | #Constraints: 33830
1296.64/1300.15 c #Conflicts: 956000 | #Constraints: 34830
1296.64/1300.15 c #Conflicts: 957000 | #Constraints: 35830
1296.64/1300.15 c #Conflicts: 958000 | #Constraints: 36830
1296.64/1300.15 c #Conflicts: 959000 | #Constraints: 37830
1296.64/1300.15 c #Conflicts: 960000 | #Constraints: 38830
1296.64/1300.15 c #Conflicts: 961000 | #Constraints: 39830
1296.64/1300.15 c INPROCESSING
1296.64/1300.15 c GARBAGE COLLECT
1296.64/1300.15 c rational objective 1.99938
1347.79/1351.40 c #Conflicts: 962000 | #Constraints: 20876
1347.79/1351.40 c #Conflicts: 963000 | #Constraints: 21924
1347.79/1351.40 c #Conflicts: 964000 | #Constraints: 22979
1347.79/1351.40 c #Conflicts: 965000 | #Constraints: 24018
1347.79/1351.40 c #Conflicts: 966000 | #Constraints: 25058
1347.79/1351.40 c #Conflicts: 967000 | #Constraints: 26100
1347.79/1351.40 c #Conflicts: 968000 | #Constraints: 27130
1347.79/1351.40 c #Conflicts: 969000 | #Constraints: 28172
1347.79/1351.40 c #Conflicts: 970000 | #Constraints: 29215
1347.79/1351.40 c #Conflicts: 971000 | #Constraints: 30221
1347.79/1351.40 c #Conflicts: 972000 | #Constraints: 31221
1347.79/1351.40 c #Conflicts: 973000 | #Constraints: 32221
1347.79/1351.40 c #Conflicts: 974000 | #Constraints: 33221
1347.79/1351.40 c #Conflicts: 975000 | #Constraints: 34221
1347.79/1351.40 c #Conflicts: 976000 | #Constraints: 35221
1347.79/1351.40 c #Conflicts: 977000 | #Constraints: 36221
1347.79/1351.40 c #Conflicts: 978000 | #Constraints: 37221
1347.79/1351.40 c #Conflicts: 979000 | #Constraints: 38221
1347.79/1351.40 c #Conflicts: 980000 | #Constraints: 39221
1347.79/1351.40 c #Conflicts: 981000 | #Constraints: 40221
1347.79/1351.40 c INPROCESSING
1347.79/1351.40 c GARBAGE COLLECT
1347.79/1351.40 c rational objective 1.9994
1398.85/1402.63 c #Conflicts: 982000 | #Constraints: 21218
1398.85/1402.63 c #Conflicts: 983000 | #Constraints: 22308
1398.85/1402.63 c #Conflicts: 984000 | #Constraints: 23434
1398.85/1402.63 c #Conflicts: 985000 | #Constraints: 24474
1398.85/1402.63 c #Conflicts: 986000 | #Constraints: 25474
1398.85/1402.63 c #Conflicts: 987000 | #Constraints: 26474
1398.85/1402.63 c #Conflicts: 988000 | #Constraints: 27474
1398.85/1402.63 c #Conflicts: 989000 | #Constraints: 28474
1398.85/1402.63 c #Conflicts: 990000 | #Constraints: 29474
1398.85/1402.63 c #Conflicts: 991000 | #Constraints: 30474
1398.85/1402.63 c #Conflicts: 992000 | #Constraints: 31474
1398.85/1402.63 c #Conflicts: 993000 | #Constraints: 32474
1398.85/1402.63 c #Conflicts: 994000 | #Constraints: 33474
1398.85/1402.63 c #Conflicts: 995000 | #Constraints: 34474
1398.85/1402.63 c #Conflicts: 996000 | #Constraints: 35474
1398.85/1402.63 c #Conflicts: 997000 | #Constraints: 36474
1398.85/1402.63 c #Conflicts: 998000 | #Constraints: 37474
1398.85/1402.63 c #Conflicts: 999000 | #Constraints: 38474
1398.85/1402.63 c #Conflicts: 1000000 | #Constraints: 39474
1398.85/1402.63 c #Conflicts: 1001000 | #Constraints: 40474
1398.85/1402.63 c INPROCESSING
1398.85/1402.63 c GARBAGE COLLECT
1398.85/1402.63 c rational objective 1.99941
1447.41/1451.30 c #Conflicts: 1002000 | #Constraints: 21296
1447.41/1451.30 c #Conflicts: 1003000 | #Constraints: 22325
1447.41/1451.30 c #Conflicts: 1004000 | #Constraints: 23349
1447.41/1451.30 c #Conflicts: 1005000 | #Constraints: 24357
1447.41/1451.30 c #Conflicts: 1006000 | #Constraints: 25398
1447.41/1451.30 c #Conflicts: 1007000 | #Constraints: 26398
1447.41/1451.30 c #Conflicts: 1008000 | #Constraints: 27398
1447.41/1451.30 c #Conflicts: 1009000 | #Constraints: 28398
1447.41/1451.30 c #Conflicts: 1010000 | #Constraints: 29398
1447.41/1451.30 c #Conflicts: 1011000 | #Constraints: 30398
1447.41/1451.30 c #Conflicts: 1012000 | #Constraints: 31398
1447.41/1451.30 c #Conflicts: 1013000 | #Constraints: 32398
1447.41/1451.30 c #Conflicts: 1014000 | #Constraints: 33398
1447.41/1451.30 c #Conflicts: 1015000 | #Constraints: 34398
1447.41/1451.30 c #Conflicts: 1016000 | #Constraints: 35398
1447.41/1451.30 c #Conflicts: 1017000 | #Constraints: 36398
1447.41/1451.30 c #Conflicts: 1018000 | #Constraints: 37398
1447.41/1451.30 c #Conflicts: 1019000 | #Constraints: 38398
1447.41/1451.30 c #Conflicts: 1020000 | #Constraints: 39398
1447.41/1451.30 c #Conflicts: 1021000 | #Constraints: 40398
1447.41/1451.30 c INPROCESSING
1447.41/1451.30 c GARBAGE COLLECT
1447.41/1451.30 c rational objective 1.99975
1495.58/1499.65 c #Conflicts: 1022000 | #Constraints: 21124
1495.58/1499.65 c #Conflicts: 1023000 | #Constraints: 22162
1495.58/1499.65 c #Conflicts: 1024000 | #Constraints: 23202
1495.58/1499.65 c #Conflicts: 1025000 | #Constraints: 24234
1495.58/1499.65 c #Conflicts: 1026000 | #Constraints: 25268
1495.58/1499.65 c #Conflicts: 1027000 | #Constraints: 26290
1495.58/1499.65 c #Conflicts: 1028000 | #Constraints: 27315
1495.58/1499.65 c #Conflicts: 1029000 | #Constraints: 28315
1495.58/1499.65 c #Conflicts: 1030000 | #Constraints: 29315
1495.58/1499.65 c #Conflicts: 1031000 | #Constraints: 30315
1495.58/1499.65 c #Conflicts: 1032000 | #Constraints: 31315
1495.58/1499.65 c #Conflicts: 1033000 | #Constraints: 32315
1495.58/1499.65 c #Conflicts: 1034000 | #Constraints: 33315
1495.58/1499.65 c #Conflicts: 1035000 | #Constraints: 34315
1495.58/1499.65 c #Conflicts: 1036000 | #Constraints: 35315
1495.58/1499.65 c #Conflicts: 1037000 | #Constraints: 36315
1495.58/1499.65 c #Conflicts: 1038000 | #Constraints: 37315
1495.58/1499.65 c #Conflicts: 1039000 | #Constraints: 38315
1495.58/1499.65 c #Conflicts: 1040000 | #Constraints: 39315
1495.58/1499.65 c #Conflicts: 1041000 | #Constraints: 40315
1495.58/1499.65 c INPROCESSING
1495.58/1499.65 c GARBAGE COLLECT
1495.58/1499.65 c rational objective 1.99936
1548.12/1552.33 c #Conflicts: 1042000 | #Constraints: 20867
1548.12/1552.33 c #Conflicts: 1043000 | #Constraints: 21892
1548.12/1552.33 c #Conflicts: 1044000 | #Constraints: 22892
1548.12/1552.33 c #Conflicts: 1045000 | #Constraints: 23892
1548.12/1552.33 c #Conflicts: 1046000 | #Constraints: 24892
1548.12/1552.33 c #Conflicts: 1047000 | #Constraints: 25892
1548.12/1552.33 c #Conflicts: 1048000 | #Constraints: 26892
1548.12/1552.33 c #Conflicts: 1049000 | #Constraints: 27892
1548.12/1552.33 c #Conflicts: 1050000 | #Constraints: 28892
1548.12/1552.33 c #Conflicts: 1051000 | #Constraints: 29892
1548.12/1552.33 c #Conflicts: 1052000 | #Constraints: 30892
1548.12/1552.33 c #Conflicts: 1053000 | #Constraints: 31892
1548.12/1552.33 c #Conflicts: 1054000 | #Constraints: 32892
1548.12/1552.33 c #Conflicts: 1055000 | #Constraints: 33892
1548.12/1552.33 c #Conflicts: 1056000 | #Constraints: 34892
1548.12/1552.33 c #Conflicts: 1057000 | #Constraints: 35892
1548.12/1552.33 c #Conflicts: 1058000 | #Constraints: 36892
1548.12/1552.33 c #Conflicts: 1059000 | #Constraints: 37892
1548.12/1552.33 c #Conflicts: 1060000 | #Constraints: 38892
1548.12/1552.33 c #Conflicts: 1061000 | #Constraints: 39892
1548.12/1552.33 c #Conflicts: 1062000 | #Constraints: 40892
1548.12/1552.33 c INPROCESSING
1548.12/1552.33 c GARBAGE COLLECT
1548.12/1552.33 c rational objective 1.99897
1599.58/1603.98 c #Conflicts: 1063000 | #Constraints: 21395
1599.58/1603.98 c #Conflicts: 1064000 | #Constraints: 22465
1599.58/1603.98 c #Conflicts: 1065000 | #Constraints: 23502
1599.58/1603.98 c #Conflicts: 1066000 | #Constraints: 24502
1599.58/1603.98 c #Conflicts: 1067000 | #Constraints: 25502
1599.58/1603.98 c #Conflicts: 1068000 | #Constraints: 26503
1599.58/1603.98 c #Conflicts: 1069000 | #Constraints: 27543
1599.58/1603.98 c #Conflicts: 1070000 | #Constraints: 28548
1599.58/1603.98 c #Conflicts: 1071000 | #Constraints: 29548
1599.58/1603.98 c #Conflicts: 1072000 | #Constraints: 30548
1599.58/1603.98 c #Conflicts: 1073000 | #Constraints: 31548
1599.58/1603.98 c #Conflicts: 1074000 | #Constraints: 32548
1599.58/1603.98 c #Conflicts: 1075000 | #Constraints: 33548
1599.58/1603.98 c #Conflicts: 1076000 | #Constraints: 34552
1599.58/1603.98 c #Conflicts: 1077000 | #Constraints: 35552
1599.58/1603.98 c #Conflicts: 1078000 | #Constraints: 36552
1599.58/1603.98 c #Conflicts: 1079000 | #Constraints: 37552
1599.58/1603.98 c #Conflicts: 1080000 | #Constraints: 38552
1599.58/1603.98 c #Conflicts: 1081000 | #Constraints: 39552
1599.58/1603.98 c #Conflicts: 1082000 | #Constraints: 40552
1599.58/1603.98 c #Conflicts: 1083000 | #Constraints: 41552
1599.58/1603.98 c INPROCESSING
1599.58/1603.98 c GARBAGE COLLECT
1599.58/1603.98 c rational objective 1.99997
1661.60/1666.16 c #Conflicts: 1084000 | #Constraints: 21810
1661.60/1666.16 c #Conflicts: 1085000 | #Constraints: 22810
1661.60/1666.16 c #Conflicts: 1086000 | #Constraints: 23817
1661.60/1666.16 c #Conflicts: 1087000 | #Constraints: 24898
1661.60/1666.16 c #Conflicts: 1088000 | #Constraints: 26000
1661.60/1666.16 c #Conflicts: 1089000 | #Constraints: 27100
1661.60/1666.16 c #Conflicts: 1090000 | #Constraints: 28235
1661.60/1666.16 c #Conflicts: 1091000 | #Constraints: 29354
1661.60/1666.16 c #Conflicts: 1092000 | #Constraints: 30507
1661.60/1666.16 c #Conflicts: 1093000 | #Constraints: 31621
1661.60/1666.16 c #Conflicts: 1094000 | #Constraints: 32734
1661.60/1666.16 c #Conflicts: 1095000 | #Constraints: 33857
1661.60/1666.16 c #Conflicts: 1096000 | #Constraints: 34986
1661.60/1666.16 c #Conflicts: 1097000 | #Constraints: 36112
1661.60/1666.16 c #Conflicts: 1098000 | #Constraints: 37266
1661.60/1666.16 c #Conflicts: 1099000 | #Constraints: 38411
1661.60/1666.16 c #Conflicts: 1100000 | #Constraints: 39522
1661.60/1666.16 c #Conflicts: 1101000 | #Constraints: 40629
1661.60/1666.16 c #Conflicts: 1102000 | #Constraints: 41733
1661.60/1666.16 c #Conflicts: 1103000 | #Constraints: 42847
1661.60/1666.16 c #Conflicts: 1104000 | #Constraints: 43961
1661.60/1666.16 c INPROCESSING
1661.60/1666.16 c GARBAGE COLLECT
1661.60/1666.16 c rational objective 1.99997
1717.36/1722.08 c #Conflicts: 1105000 | #Constraints: 23053
1717.36/1722.08 c #Conflicts: 1106000 | #Constraints: 24113
1717.36/1722.08 c #Conflicts: 1107000 | #Constraints: 25166
1717.36/1722.08 c #Conflicts: 1108000 | #Constraints: 26248
1717.36/1722.08 c #Conflicts: 1109000 | #Constraints: 27302
1717.36/1722.08 c #Conflicts: 1110000 | #Constraints: 28352
1717.36/1722.08 c #Conflicts: 1111000 | #Constraints: 29365
1717.36/1722.08 c #Conflicts: 1112000 | #Constraints: 30411
1717.36/1722.08 c #Conflicts: 1113000 | #Constraints: 31465
1717.36/1722.08 c #Conflicts: 1114000 | #Constraints: 32503
1717.36/1722.08 c #Conflicts: 1115000 | #Constraints: 33546
1717.36/1722.08 c #Conflicts: 1116000 | #Constraints: 34586
1717.36/1722.08 c #Conflicts: 1117000 | #Constraints: 35636
1717.36/1722.08 c #Conflicts: 1118000 | #Constraints: 36691
1717.36/1722.08 c #Conflicts: 1119000 | #Constraints: 37748
1717.36/1722.08 c #Conflicts: 1120000 | #Constraints: 38829
1717.36/1722.08 c #Conflicts: 1121000 | #Constraints: 39875
1717.36/1722.08 c #Conflicts: 1122000 | #Constraints: 40914
1717.36/1722.08 c #Conflicts: 1123000 | #Constraints: 41958
1717.36/1722.08 c #Conflicts: 1124000 | #Constraints: 42989
1717.36/1722.08 c #Conflicts: 1125000 | #Constraints: 44030
1717.36/1722.08 c INPROCESSING
1717.36/1722.08 c GARBAGE COLLECT
1717.36/1722.08 c rational objective 2.00044
1769.02/1773.86 c #Conflicts: 1126000 | #Constraints: 22941
1769.02/1773.86 c #Conflicts: 1127000 | #Constraints: 23965
1769.02/1773.86 c #Conflicts: 1128000 | #Constraints: 25009
1769.02/1773.86 c #Conflicts: 1129000 | #Constraints: 26061
1769.02/1773.86 c #Conflicts: 1130000 | #Constraints: 27077
1769.02/1773.86 c #Conflicts: 1131000 | #Constraints: 28091
1769.02/1773.86 c #Conflicts: 1132000 | #Constraints: 29094
1769.02/1773.86 c #Conflicts: 1133000 | #Constraints: 30094
1769.02/1773.86 c #Conflicts: 1134000 | #Constraints: 31094
1769.02/1773.86 c #Conflicts: 1135000 | #Constraints: 32094
1769.02/1773.86 c #Conflicts: 1136000 | #Constraints: 33095
1769.02/1773.86 c #Conflicts: 1137000 | #Constraints: 34095
1769.02/1773.86 c #Conflicts: 1138000 | #Constraints: 35095
1769.02/1773.86 c #Conflicts: 1139000 | #Constraints: 36095
1769.02/1773.86 c #Conflicts: 1140000 | #Constraints: 37095
1769.02/1773.86 c #Conflicts: 1141000 | #Constraints: 38095
1769.02/1773.86 c #Conflicts: 1142000 | #Constraints: 39117
1769.02/1773.86 c #Conflicts: 1143000 | #Constraints: 40151
1769.02/1773.86 c #Conflicts: 1144000 | #Constraints: 41159
1769.02/1773.86 c #Conflicts: 1145000 | #Constraints: 42191
1769.02/1773.86 c #Conflicts: 1146000 | #Constraints: 43233
1769.02/1773.86 c INPROCESSING
1769.02/1773.86 c GARBAGE COLLECT
1769.02/1773.86 c rational objective 1.99999
1823.66/1828.60 c #Conflicts: 1147000 | #Constraints: 22338
1823.66/1828.60 c #Conflicts: 1148000 | #Constraints: 23338
1823.66/1828.60 c #Conflicts: 1149000 | #Constraints: 24399
1823.66/1828.60 c #Conflicts: 1150000 | #Constraints: 25450
1823.66/1828.60 c #Conflicts: 1151000 | #Constraints: 26450
1823.66/1828.60 c #Conflicts: 1152000 | #Constraints: 27450
1823.66/1828.60 c #Conflicts: 1153000 | #Constraints: 28450
1823.66/1828.60 c #Conflicts: 1154000 | #Constraints: 29450
1823.66/1828.60 c #Conflicts: 1155000 | #Constraints: 30450
1823.66/1828.60 c #Conflicts: 1156000 | #Constraints: 31471
1823.66/1828.60 c #Conflicts: 1157000 | #Constraints: 32471
1823.66/1828.60 c #Conflicts: 1158000 | #Constraints: 33471
1823.66/1828.60 c #Conflicts: 1159000 | #Constraints: 34471
1823.66/1828.60 c #Conflicts: 1160000 | #Constraints: 35471
1823.66/1828.60 c #Conflicts: 1161000 | #Constraints: 36471
1823.66/1828.60 c #Conflicts: 1162000 | #Constraints: 37471
1823.66/1828.60 c #Conflicts: 1163000 | #Constraints: 38471
1823.66/1828.60 c #Conflicts: 1164000 | #Constraints: 39471
1823.66/1828.60 c #Conflicts: 1165000 | #Constraints: 40471
1823.66/1828.60 c #Conflicts: 1166000 | #Constraints: 41471
1823.66/1828.60 c #Conflicts: 1167000 | #Constraints: 42471
1823.66/1828.60 c #Conflicts: 1168000 | #Constraints: 43471
1823.66/1828.60 c INPROCESSING
1823.66/1828.60 c GARBAGE COLLECT
1823.66/1828.60 c rational objective 1.99895
1881.51/1886.62 c #Conflicts: 1169000 | #Constraints: 22687
1881.51/1886.62 c #Conflicts: 1170000 | #Constraints: 23687
1881.51/1886.62 c #Conflicts: 1171000 | #Constraints: 24687
1881.51/1886.62 c #Conflicts: 1172000 | #Constraints: 25687
1881.51/1886.62 c #Conflicts: 1173000 | #Constraints: 26692
1881.51/1886.62 c #Conflicts: 1174000 | #Constraints: 27692
1881.51/1886.62 c #Conflicts: 1175000 | #Constraints: 28704
1881.51/1886.62 c #Conflicts: 1176000 | #Constraints: 29704
1881.51/1886.62 c #Conflicts: 1177000 | #Constraints: 30704
1881.51/1886.62 c #Conflicts: 1178000 | #Constraints: 31706
1881.51/1886.62 c #Conflicts: 1179000 | #Constraints: 32706
1881.51/1886.62 c #Conflicts: 1180000 | #Constraints: 33715
1881.51/1886.62 c #Conflicts: 1181000 | #Constraints: 34728
1881.51/1886.62 c #Conflicts: 1182000 | #Constraints: 35728
1881.51/1886.62 c #Conflicts: 1183000 | #Constraints: 36728
1881.51/1886.62 c #Conflicts: 1184000 | #Constraints: 37728
1881.51/1886.62 c #Conflicts: 1185000 | #Constraints: 38728
1881.51/1886.62 c #Conflicts: 1186000 | #Constraints: 39728
1881.51/1886.62 c #Conflicts: 1187000 | #Constraints: 40728
1881.51/1886.62 c #Conflicts: 1188000 | #Constraints: 41728
1881.51/1886.62 c #Conflicts: 1189000 | #Constraints: 42728
1881.51/1886.62 c #Conflicts: 1190000 | #Constraints: 43728
1881.51/1886.62 c INPROCESSING
1881.51/1886.62 c GARBAGE COLLECT
1881.51/1886.62 c rational objective 1.99895
1950.32/1955.63 c #Conflicts: 1191000 | #Constraints: 22878
1950.32/1955.63 c #Conflicts: 1192000 | #Constraints: 23878
1950.32/1955.63 c #Conflicts: 1193000 | #Constraints: 24893
1950.32/1955.63 c #Conflicts: 1194000 | #Constraints: 26007
1950.32/1955.63 c #Conflicts: 1195000 | #Constraints: 27112
1950.32/1955.63 c #Conflicts: 1196000 | #Constraints: 28192
1950.32/1955.63 c #Conflicts: 1197000 | #Constraints: 29350
1950.32/1955.63 c #Conflicts: 1198000 | #Constraints: 30496
1950.32/1955.63 c #Conflicts: 1199000 | #Constraints: 31593
1950.32/1955.63 c #Conflicts: 1200000 | #Constraints: 32676
1950.32/1955.63 c #Conflicts: 1201000 | #Constraints: 33738
1950.32/1955.63 c #Conflicts: 1202000 | #Constraints: 34844
1950.32/1955.63 c #Conflicts: 1203000 | #Constraints: 35946
1950.32/1955.63 c #Conflicts: 1204000 | #Constraints: 37020
1950.32/1955.63 c #Conflicts: 1205000 | #Constraints: 38111
1950.32/1955.63 c #Conflicts: 1206000 | #Constraints: 39223
1950.32/1955.63 c #Conflicts: 1207000 | #Constraints: 40353
1950.32/1955.63 c #Conflicts: 1208000 | #Constraints: 41471
1950.32/1955.63 c #Conflicts: 1209000 | #Constraints: 42527
1950.32/1955.63 c #Conflicts: 1210000 | #Constraints: 43621
1950.32/1955.63 c #Conflicts: 1211000 | #Constraints: 44705
1950.32/1955.63 c #Conflicts: 1212000 | #Constraints: 45768
1950.32/1955.63 c INPROCESSING
1950.32/1955.63 c GARBAGE COLLECT
1950.32/1955.63 c rational objective 1.99895
2022.01/2027.57 c #Conflicts: 1213000 | #Constraints: 23969
2022.01/2027.57 c #Conflicts: 1214000 | #Constraints: 25028
2022.01/2027.57 c #Conflicts: 1215000 | #Constraints: 26084
2022.01/2027.57 c #Conflicts: 1216000 | #Constraints: 27149
2022.01/2027.57 c #Conflicts: 1217000 | #Constraints: 28248
2022.01/2027.57 c #Conflicts: 1218000 | #Constraints: 29323
2022.01/2027.57 c #Conflicts: 1219000 | #Constraints: 30417
2022.01/2027.57 c #Conflicts: 1220000 | #Constraints: 31521
2022.01/2027.57 c #Conflicts: 1221000 | #Constraints: 32595
2022.01/2027.57 c #Conflicts: 1222000 | #Constraints: 33695
2022.01/2027.57 c #Conflicts: 1223000 | #Constraints: 34780
2022.01/2027.57 c #Conflicts: 1224000 | #Constraints: 35879
2022.01/2027.57 c #Conflicts: 1225000 | #Constraints: 36969
2022.01/2027.57 c #Conflicts: 1226000 | #Constraints: 38066
2022.01/2027.57 c #Conflicts: 1227000 | #Constraints: 39168
2022.01/2027.57 c #Conflicts: 1228000 | #Constraints: 40278
2022.01/2027.57 c #Conflicts: 1229000 | #Constraints: 41382
2022.01/2027.57 c #Conflicts: 1230000 | #Constraints: 42458
2022.01/2027.57 c #Conflicts: 1231000 | #Constraints: 43578
2022.01/2027.57 c #Conflicts: 1232000 | #Constraints: 44675
2022.01/2027.57 c #Conflicts: 1233000 | #Constraints: 45771
2022.01/2027.57 c #Conflicts: 1234000 | #Constraints: 46886
2022.01/2027.57 c INPROCESSING
2022.01/2027.57 c GARBAGE COLLECT
2022.01/2027.57 c rational objective 1.99895
2089.13/2094.80 c #Conflicts: 1235000 | #Constraints: 24435
2089.13/2094.80 c #Conflicts: 1236000 | #Constraints: 25614
2089.13/2094.80 c #Conflicts: 1237000 | #Constraints: 26742
2089.13/2094.80 c #Conflicts: 1238000 | #Constraints: 27851
2089.13/2094.80 c #Conflicts: 1239000 | #Constraints: 28937
2089.13/2094.80 c #Conflicts: 1240000 | #Constraints: 30019
2089.13/2094.80 c #Conflicts: 1241000 | #Constraints: 31093
2089.13/2094.80 c #Conflicts: 1242000 | #Constraints: 32253
2089.13/2094.80 c #Conflicts: 1243000 | #Constraints: 33378
2089.13/2094.80 c #Conflicts: 1244000 | #Constraints: 34491
2089.13/2094.80 c #Conflicts: 1245000 | #Constraints: 35641
2089.13/2094.80 c #Conflicts: 1246000 | #Constraints: 36800
2089.13/2094.80 c #Conflicts: 1247000 | #Constraints: 37912
2089.13/2094.80 c #Conflicts: 1248000 | #Constraints: 39052
2089.13/2094.80 c #Conflicts: 1249000 | #Constraints: 40125
2089.13/2094.80 c #Conflicts: 1250000 | #Constraints: 41186
2089.13/2094.80 c #Conflicts: 1251000 | #Constraints: 42296
2089.13/2094.80 c #Conflicts: 1252000 | #Constraints: 43388
2089.13/2094.80 c #Conflicts: 1253000 | #Constraints: 44484
2089.13/2094.80 c #Conflicts: 1254000 | #Constraints: 45609
2089.13/2094.80 c #Conflicts: 1255000 | #Constraints: 46729
2089.13/2094.80 c #Conflicts: 1256000 | #Constraints: 47832
2089.13/2094.80 c INPROCESSING
2089.13/2094.80 c GARBAGE COLLECT
2089.13/2094.80 c rational objective 1.99895
2157.83/2163.73 c #Conflicts: 1257000 | #Constraints: 24662
2157.83/2163.73 c #Conflicts: 1258000 | #Constraints: 25737
2157.83/2163.73 c #Conflicts: 1259000 | #Constraints: 26796
2157.83/2163.73 c #Conflicts: 1260000 | #Constraints: 27876
2157.83/2163.73 c #Conflicts: 1261000 | #Constraints: 28904
2157.83/2163.73 c #Conflicts: 1262000 | #Constraints: 29975
2157.83/2163.73 c #Conflicts: 1263000 | #Constraints: 31065
2157.83/2163.73 c #Conflicts: 1264000 | #Constraints: 32143
2157.83/2163.73 c #Conflicts: 1265000 | #Constraints: 33218
2157.83/2163.73 c #Conflicts: 1266000 | #Constraints: 34322
2157.83/2163.73 c #Conflicts: 1267000 | #Constraints: 35434
2157.83/2163.73 c #Conflicts: 1268000 | #Constraints: 36555
2157.83/2163.73 c #Conflicts: 1269000 | #Constraints: 37625
2157.83/2163.73 c #Conflicts: 1270000 | #Constraints: 38657
2157.83/2163.73 c #Conflicts: 1271000 | #Constraints: 39699
2157.83/2163.73 c #Conflicts: 1272000 | #Constraints: 40730
2157.83/2163.73 c #Conflicts: 1273000 | #Constraints: 41775
2157.83/2163.73 c #Conflicts: 1274000 | #Constraints: 42811
2157.83/2163.73 c #Conflicts: 1275000 | #Constraints: 43894
2157.83/2163.73 c #Conflicts: 1276000 | #Constraints: 44948
2157.83/2163.73 c #Conflicts: 1277000 | #Constraints: 46018
2157.83/2163.73 c #Conflicts: 1278000 | #Constraints: 47147
2157.83/2163.73 c #Conflicts: 1279000 | #Constraints: 48225
2157.83/2163.73 c INPROCESSING
2157.83/2163.73 c GARBAGE COLLECT
2157.83/2163.73 c rational objective 1.99895
2224.46/2230.55 c #Conflicts: 1280000 | #Constraints: 25088
2224.46/2230.55 c #Conflicts: 1281000 | #Constraints: 26150
2224.46/2230.55 c #Conflicts: 1282000 | #Constraints: 27202
2224.46/2230.55 c #Conflicts: 1283000 | #Constraints: 28202
2224.46/2230.55 c #Conflicts: 1284000 | #Constraints: 29248
2224.46/2230.55 c #Conflicts: 1285000 | #Constraints: 30290
2224.46/2230.55 c #Conflicts: 1286000 | #Constraints: 31342
2224.46/2230.55 c #Conflicts: 1287000 | #Constraints: 32393
2224.46/2230.55 c #Conflicts: 1288000 | #Constraints: 33432
2224.46/2230.55 c #Conflicts: 1289000 | #Constraints: 34503
2224.46/2230.55 c #Conflicts: 1290000 | #Constraints: 35599
2224.46/2230.55 c #Conflicts: 1291000 | #Constraints: 36736
2224.46/2230.55 c #Conflicts: 1292000 | #Constraints: 37821
2224.46/2230.55 c #Conflicts: 1293000 | #Constraints: 38906
2224.46/2230.55 c #Conflicts: 1294000 | #Constraints: 40052
2224.46/2230.55 c #Conflicts: 1295000 | #Constraints: 41148
2224.46/2230.55 c #Conflicts: 1296000 | #Constraints: 42197
2224.46/2230.55 c #Conflicts: 1297000 | #Constraints: 43266
2224.46/2230.55 c #Conflicts: 1298000 | #Constraints: 44313
2224.46/2230.55 c #Conflicts: 1299000 | #Constraints: 45370
2224.46/2230.55 c #Conflicts: 1300000 | #Constraints: 46430
2224.46/2230.55 c #Conflicts: 1301000 | #Constraints: 47504
2224.46/2230.55 c #Conflicts: 1302000 | #Constraints: 48554
2224.46/2230.55 c INPROCESSING
2224.46/2230.55 c GARBAGE COLLECT
2224.46/2230.55 c rational objective 1.99895
2291.99/2298.24 c #Conflicts: 1303000 | #Constraints: 25306
2291.99/2298.24 c #Conflicts: 1304000 | #Constraints: 26319
2291.99/2298.24 c #Conflicts: 1305000 | #Constraints: 27355
2291.99/2298.24 c #Conflicts: 1306000 | #Constraints: 28376
2291.99/2298.24 c #Conflicts: 1307000 | #Constraints: 29376
2291.99/2298.24 c #Conflicts: 1308000 | #Constraints: 30376
2291.99/2298.24 c #Conflicts: 1309000 | #Constraints: 31376
2291.99/2298.24 c #Conflicts: 1310000 | #Constraints: 32376
2291.99/2298.24 c #Conflicts: 1311000 | #Constraints: 33376
2291.99/2298.24 c #Conflicts: 1312000 | #Constraints: 34376
2291.99/2298.24 c #Conflicts: 1313000 | #Constraints: 35376
2291.99/2298.24 c #Conflicts: 1314000 | #Constraints: 36376
2291.99/2298.24 c #Conflicts: 1315000 | #Constraints: 37376
2291.99/2298.24 c #Conflicts: 1316000 | #Constraints: 38376
2291.99/2298.24 c #Conflicts: 1317000 | #Constraints: 39376
2291.99/2298.24 c #Conflicts: 1318000 | #Constraints: 40376
2291.99/2298.24 c #Conflicts: 1319000 | #Constraints: 41376
2291.99/2298.24 c #Conflicts: 1320000 | #Constraints: 42376
2291.99/2298.24 c #Conflicts: 1321000 | #Constraints: 43376
2291.99/2298.24 c #Conflicts: 1322000 | #Constraints: 44376
2291.99/2298.24 c #Conflicts: 1323000 | #Constraints: 45376
2291.99/2298.24 c #Conflicts: 1324000 | #Constraints: 46376
2291.99/2298.24 c #Conflicts: 1325000 | #Constraints: 47376
2291.99/2298.24 c INPROCESSING
2291.99/2298.24 c GARBAGE COLLECT
2291.99/2298.24 c rational objective 1.99895
2348.45/2354.88 c #Conflicts: 1326000 | #Constraints: 24737
2348.45/2354.88 c #Conflicts: 1327000 | #Constraints: 25824
2348.45/2354.88 c #Conflicts: 1328000 | #Constraints: 26852
2348.45/2354.88 c #Conflicts: 1329000 | #Constraints: 27852
2348.45/2354.88 c #Conflicts: 1330000 | #Constraints: 28852
2348.45/2354.88 c #Conflicts: 1331000 | #Constraints: 29852
2348.45/2354.88 c #Conflicts: 1332000 | #Constraints: 30852
2348.45/2354.88 c #Conflicts: 1333000 | #Constraints: 31852
2348.45/2354.88 c #Conflicts: 1334000 | #Constraints: 32852
2348.45/2354.88 c #Conflicts: 1335000 | #Constraints: 33852
2348.45/2354.88 c #Conflicts: 1336000 | #Constraints: 34852
2348.45/2354.88 c #Conflicts: 1337000 | #Constraints: 35852
2348.45/2354.88 c #Conflicts: 1338000 | #Constraints: 36852
2348.45/2354.88 c #Conflicts: 1339000 | #Constraints: 37852
2348.45/2354.88 c #Conflicts: 1340000 | #Constraints: 38852
2348.45/2354.88 c #Conflicts: 1341000 | #Constraints: 39852
2348.45/2354.88 c #Conflicts: 1342000 | #Constraints: 40852
2348.45/2354.88 c #Conflicts: 1343000 | #Constraints: 41852
2348.45/2354.88 c #Conflicts: 1344000 | #Constraints: 42852
2348.45/2354.88 c #Conflicts: 1345000 | #Constraints: 43852
2348.45/2354.88 c #Conflicts: 1346000 | #Constraints: 44852
2348.45/2354.88 c #Conflicts: 1347000 | #Constraints: 45852
2348.45/2354.88 c #Conflicts: 1348000 | #Constraints: 46852
2348.45/2354.88 c INPROCESSING
2348.45/2354.88 c GARBAGE COLLECT
2348.45/2354.88 c rational objective 1.99895
2419.56/2426.17 c #Conflicts: 1349000 | #Constraints: 24424
2419.56/2426.17 c #Conflicts: 1350000 | #Constraints: 25568
2419.56/2426.17 c #Conflicts: 1351000 | #Constraints: 26746
2419.56/2426.17 c #Conflicts: 1352000 | #Constraints: 27887
2419.56/2426.17 c #Conflicts: 1353000 | #Constraints: 29058
2419.56/2426.17 c #Conflicts: 1354000 | #Constraints: 30202
2419.56/2426.17 c #Conflicts: 1355000 | #Constraints: 31326
2419.56/2426.17 c #Conflicts: 1356000 | #Constraints: 32485
2419.56/2426.17 c #Conflicts: 1357000 | #Constraints: 33648
2419.56/2426.17 c #Conflicts: 1358000 | #Constraints: 34795
2419.56/2426.17 c #Conflicts: 1359000 | #Constraints: 35940
2419.56/2426.17 c #Conflicts: 1360000 | #Constraints: 37049
2419.56/2426.17 c #Conflicts: 1361000 | #Constraints: 38160
2419.56/2426.17 c #Conflicts: 1362000 | #Constraints: 39269
2419.56/2426.17 c #Conflicts: 1363000 | #Constraints: 40391
2419.56/2426.17 c #Conflicts: 1364000 | #Constraints: 41488
2419.56/2426.17 c #Conflicts: 1365000 | #Constraints: 42603
2419.56/2426.17 c #Conflicts: 1366000 | #Constraints: 43693
2419.56/2426.17 c #Conflicts: 1367000 | #Constraints: 44785
2419.56/2426.17 c #Conflicts: 1368000 | #Constraints: 45902
2419.56/2426.17 c #Conflicts: 1369000 | #Constraints: 46981
2419.56/2426.17 c #Conflicts: 1370000 | #Constraints: 48070
2419.56/2426.17 c #Conflicts: 1371000 | #Constraints: 49179
2419.56/2426.17 c INPROCESSING
2419.56/2426.17 c GARBAGE COLLECT
2419.56/2426.17 c rational objective 1.99895
2496.55/2503.31 c #Conflicts: 1372000 | #Constraints: 25368
2496.55/2503.31 c #Conflicts: 1373000 | #Constraints: 26480
2496.55/2503.31 c #Conflicts: 1374000 | #Constraints: 27609
2496.55/2503.31 c #Conflicts: 1375000 | #Constraints: 28686
2496.55/2503.31 c #Conflicts: 1376000 | #Constraints: 29744
2496.55/2503.31 c #Conflicts: 1377000 | #Constraints: 30816
2496.55/2503.31 c #Conflicts: 1378000 | #Constraints: 31865
2496.55/2503.31 c #Conflicts: 1379000 | #Constraints: 32968
2496.55/2503.31 c #Conflicts: 1380000 | #Constraints: 34090
2496.55/2503.31 c #Conflicts: 1381000 | #Constraints: 35204
2496.55/2503.31 c #Conflicts: 1382000 | #Constraints: 36269
2496.55/2503.31 c #Conflicts: 1383000 | #Constraints: 37327
2496.55/2503.31 c #Conflicts: 1384000 | #Constraints: 38398
2496.55/2503.31 c #Conflicts: 1385000 | #Constraints: 39471
2496.55/2503.31 c #Conflicts: 1386000 | #Constraints: 40548
2496.55/2503.31 c #Conflicts: 1387000 | #Constraints: 41645
2496.55/2503.31 c #Conflicts: 1388000 | #Constraints: 42701
2496.55/2503.31 c #Conflicts: 1389000 | #Constraints: 43777
2496.55/2503.31 c #Conflicts: 1390000 | #Constraints: 44839
2496.55/2503.31 c #Conflicts: 1391000 | #Constraints: 45939
2496.55/2503.31 c #Conflicts: 1392000 | #Constraints: 47004
2496.55/2503.31 c #Conflicts: 1393000 | #Constraints: 48044
2496.55/2503.31 c #Conflicts: 1394000 | #Constraints: 49087
2496.55/2503.31 c #Conflicts: 1395000 | #Constraints: 50126
2496.55/2503.31 c INPROCESSING
2496.55/2503.31 c GARBAGE COLLECT
2496.55/2503.31 c rational objective 1.99895
2568.67/2575.64 c #Conflicts: 1396000 | #Constraints: 26042
2568.67/2575.64 c #Conflicts: 1397000 | #Constraints: 27082
2568.67/2575.64 c #Conflicts: 1398000 | #Constraints: 28082
2568.67/2575.64 c #Conflicts: 1399000 | #Constraints: 29082
2568.67/2575.64 c #Conflicts: 1400000 | #Constraints: 30082
2568.67/2575.64 c #Conflicts: 1401000 | #Constraints: 31082
2568.67/2575.64 c #Conflicts: 1402000 | #Constraints: 32082
2568.67/2575.64 c #Conflicts: 1403000 | #Constraints: 33082
2568.67/2575.64 c #Conflicts: 1404000 | #Constraints: 34082
2568.67/2575.64 c #Conflicts: 1405000 | #Constraints: 35082
2568.67/2575.64 c #Conflicts: 1406000 | #Constraints: 36101
2568.67/2575.64 c #Conflicts: 1407000 | #Constraints: 37141
2568.67/2575.64 c #Conflicts: 1408000 | #Constraints: 38176
2568.67/2575.64 c #Conflicts: 1409000 | #Constraints: 39212
2568.67/2575.64 c #Conflicts: 1410000 | #Constraints: 40253
2568.67/2575.64 c #Conflicts: 1411000 | #Constraints: 41282
2568.67/2575.64 c #Conflicts: 1412000 | #Constraints: 42322
2568.67/2575.64 c #Conflicts: 1413000 | #Constraints: 43353
2568.67/2575.64 c #Conflicts: 1414000 | #Constraints: 44388
2568.67/2575.64 c #Conflicts: 1415000 | #Constraints: 45420
2568.67/2575.64 c #Conflicts: 1416000 | #Constraints: 46459
2568.67/2575.64 c #Conflicts: 1417000 | #Constraints: 47506
2568.67/2575.64 c #Conflicts: 1418000 | #Constraints: 48547
2568.67/2575.64 c #Conflicts: 1419000 | #Constraints: 49668
2568.67/2575.64 c INPROCESSING
2568.67/2575.64 c GARBAGE COLLECT
2568.67/2575.64 c rational objective 1.99895
2632.71/2639.82 c #Conflicts: 1420000 | #Constraints: 25873
2632.71/2639.82 c #Conflicts: 1421000 | #Constraints: 26900
2632.71/2639.82 c #Conflicts: 1422000 | #Constraints: 27921
2632.71/2639.82 c #Conflicts: 1423000 | #Constraints: 28985
2632.71/2639.82 c #Conflicts: 1424000 | #Constraints: 30038
2632.71/2639.82 c #Conflicts: 1425000 | #Constraints: 31073
2632.71/2639.82 c #Conflicts: 1426000 | #Constraints: 32105
2632.71/2639.82 c #Conflicts: 1427000 | #Constraints: 33112
2632.71/2639.82 c #Conflicts: 1428000 | #Constraints: 34112
2632.71/2639.82 c #Conflicts: 1429000 | #Constraints: 35112
2632.71/2639.82 c #Conflicts: 1430000 | #Constraints: 36112
2632.71/2639.82 c #Conflicts: 1431000 | #Constraints: 37112
2632.71/2639.82 c #Conflicts: 1432000 | #Constraints: 38112
2632.71/2639.82 c #Conflicts: 1433000 | #Constraints: 39112
2632.71/2639.82 c #Conflicts: 1434000 | #Constraints: 40112
2632.71/2639.82 c #Conflicts: 1435000 | #Constraints: 41112
2632.71/2639.82 c #Conflicts: 1436000 | #Constraints: 42112
2632.71/2639.82 c #Conflicts: 1437000 | #Constraints: 43112
2632.71/2639.82 c #Conflicts: 1438000 | #Constraints: 44112
2632.71/2639.82 c #Conflicts: 1439000 | #Constraints: 45112
2632.71/2639.82 c #Conflicts: 1440000 | #Constraints: 46112
2632.71/2639.82 c #Conflicts: 1441000 | #Constraints: 47112
2632.71/2639.82 c #Conflicts: 1442000 | #Constraints: 48112
2632.71/2639.82 c #Conflicts: 1443000 | #Constraints: 49112
2632.71/2639.82 c INPROCESSING
2632.71/2639.82 c GARBAGE COLLECT
2632.71/2639.82 c rational objective 1.99895
2710.21/2717.53 c #Conflicts: 1444000 | #Constraints: 25666
2710.21/2717.53 c #Conflicts: 1445000 | #Constraints: 26762
2710.21/2717.53 c #Conflicts: 1446000 | #Constraints: 27845
2710.21/2717.53 c #Conflicts: 1447000 | #Constraints: 28932
2710.21/2717.53 c #Conflicts: 1448000 | #Constraints: 30015
2710.21/2717.53 c #Conflicts: 1449000 | #Constraints: 31209
2710.21/2717.53 c #Conflicts: 1450000 | #Constraints: 32352
2710.21/2717.53 c #Conflicts: 1451000 | #Constraints: 33510
2710.21/2717.53 c #Conflicts: 1452000 | #Constraints: 34661
2710.21/2717.53 c #Conflicts: 1453000 | #Constraints: 35819
2710.21/2717.53 c #Conflicts: 1454000 | #Constraints: 36954
2710.21/2717.53 c #Conflicts: 1455000 | #Constraints: 38074
2710.21/2717.53 c #Conflicts: 1456000 | #Constraints: 39204
2710.21/2717.53 c #Conflicts: 1457000 | #Constraints: 40347
2710.21/2717.53 c #Conflicts: 1458000 | #Constraints: 41473
2710.21/2717.53 c #Conflicts: 1459000 | #Constraints: 42582
2710.21/2717.53 c #Conflicts: 1460000 | #Constraints: 43746
2710.21/2717.53 c #Conflicts: 1461000 | #Constraints: 44859
2710.21/2717.53 c #Conflicts: 1462000 | #Constraints: 45946
2710.21/2717.53 c #Conflicts: 1463000 | #Constraints: 47041
2710.21/2717.53 c #Conflicts: 1464000 | #Constraints: 48102
2710.21/2717.53 c #Conflicts: 1465000 | #Constraints: 49184
2710.21/2717.53 c #Conflicts: 1466000 | #Constraints: 50278
2710.21/2717.53 c #Conflicts: 1467000 | #Constraints: 51391
2710.21/2717.53 c INPROCESSING
2710.21/2717.53 c GARBAGE COLLECT
2710.21/2717.53 c rational objective 1.99895
2803.76/2811.31 c #Conflicts: 1468000 | #Constraints: 26679
2803.76/2811.31 c #Conflicts: 1469000 | #Constraints: 27755
2803.76/2811.31 c #Conflicts: 1470000 | #Constraints: 28872
2803.76/2811.31 c #Conflicts: 1471000 | #Constraints: 29948
2803.76/2811.31 c #Conflicts: 1472000 | #Constraints: 31026
2803.76/2811.31 c #Conflicts: 1473000 | #Constraints: 32113
2803.76/2811.31 c #Conflicts: 1474000 | #Constraints: 33184
2803.76/2811.31 c #Conflicts: 1475000 | #Constraints: 34322
2803.76/2811.31 c #Conflicts: 1476000 | #Constraints: 35418
2803.76/2811.31 c #Conflicts: 1477000 | #Constraints: 36527
2803.76/2811.31 c #Conflicts: 1478000 | #Constraints: 37652
2803.76/2811.31 c #Conflicts: 1479000 | #Constraints: 38803
2803.76/2811.31 c #Conflicts: 1480000 | #Constraints: 39903
2803.76/2811.31 c #Conflicts: 1481000 | #Constraints: 41041
2803.76/2811.31 c #Conflicts: 1482000 | #Constraints: 42159
2803.76/2811.31 c #Conflicts: 1483000 | #Constraints: 43250
2803.76/2811.31 c #Conflicts: 1484000 | #Constraints: 44347
2803.76/2811.31 c #Conflicts: 1485000 | #Constraints: 45428
2803.76/2811.31 c #Conflicts: 1486000 | #Constraints: 46538
2803.76/2811.31 c #Conflicts: 1487000 | #Constraints: 47611
2803.76/2811.31 c #Conflicts: 1488000 | #Constraints: 48704
2803.76/2811.31 c #Conflicts: 1489000 | #Constraints: 49805
2803.76/2811.31 c #Conflicts: 1490000 | #Constraints: 50954
2803.76/2811.31 c #Conflicts: 1491000 | #Constraints: 52033
2803.76/2811.31 c INPROCESSING
2803.76/2811.31 c GARBAGE COLLECT
2803.76/2811.31 c rational objective 1.99899
2891.92/2899.75 c #Conflicts: 1492000 | #Constraints: 26755
2891.92/2899.75 c #Conflicts: 1493000 | #Constraints: 27811
2891.92/2899.75 c #Conflicts: 1494000 | #Constraints: 28873
2891.92/2899.75 c #Conflicts: 1495000 | #Constraints: 29956
2891.92/2899.75 c #Conflicts: 1496000 | #Constraints: 31058
2891.92/2899.75 c #Conflicts: 1497000 | #Constraints: 32108
2891.92/2899.75 c #Conflicts: 1498000 | #Constraints: 33202
2891.92/2899.75 c #Conflicts: 1499000 | #Constraints: 34274
2891.92/2899.75 c #Conflicts: 1500000 | #Constraints: 35339
2891.92/2899.75 c #Conflicts: 1501000 | #Constraints: 36394
2891.92/2899.75 c #Conflicts: 1502000 | #Constraints: 37455
2891.92/2899.75 c #Conflicts: 1503000 | #Constraints: 38511
2891.92/2899.75 c #Conflicts: 1504000 | #Constraints: 39569
2891.92/2899.75 c #Conflicts: 1505000 | #Constraints: 40634
2891.92/2899.75 c #Conflicts: 1506000 | #Constraints: 41767
2891.92/2899.75 c #Conflicts: 1507000 | #Constraints: 42829
2891.92/2899.75 c #Conflicts: 1508000 | #Constraints: 43906
2891.92/2899.75 c #Conflicts: 1509000 | #Constraints: 44978
2891.92/2899.75 c #Conflicts: 1510000 | #Constraints: 46077
2891.92/2899.75 c #Conflicts: 1511000 | #Constraints: 47078
2891.92/2899.75 c #Conflicts: 1512000 | #Constraints: 48134
2891.92/2899.75 c #Conflicts: 1513000 | #Constraints: 49189
2891.92/2899.75 c #Conflicts: 1514000 | #Constraints: 50289
2891.92/2899.75 c #Conflicts: 1515000 | #Constraints: 51362
2891.92/2899.75 c #Conflicts: 1516000 | #Constraints: 52437
2891.92/2899.75 c INPROCESSING
2891.92/2899.75 c GARBAGE COLLECT
2891.92/2899.75 c rational objective 2.00816
2981.38/2989.41 c #Conflicts: 1517000 | #Constraints: 27219
2981.38/2989.41 c #Conflicts: 1518000 | #Constraints: 28300
2981.38/2989.41 c #Conflicts: 1519000 | #Constraints: 29392
2981.38/2989.41 c #Conflicts: 1520000 | #Constraints: 30571
2981.38/2989.41 c #Conflicts: 1521000 | #Constraints: 31687
2981.38/2989.41 c #Conflicts: 1522000 | #Constraints: 32794
2981.38/2989.41 c #Conflicts: 1523000 | #Constraints: 33895
2981.38/2989.41 c #Conflicts: 1524000 | #Constraints: 35036
2981.38/2989.41 c #Conflicts: 1525000 | #Constraints: 36144
2981.38/2989.41 c #Conflicts: 1526000 | #Constraints: 37217
2981.38/2989.41 c #Conflicts: 1527000 | #Constraints: 38309
2981.38/2989.41 c #Conflicts: 1528000 | #Constraints: 39309
2981.38/2989.41 c #Conflicts: 1529000 | #Constraints: 40309
2981.38/2989.41 c #Conflicts: 1530000 | #Constraints: 41309
2981.38/2989.41 c #Conflicts: 1531000 | #Constraints: 42309
2981.38/2989.41 c #Conflicts: 1532000 | #Constraints: 43309
2981.38/2989.41 c #Conflicts: 1533000 | #Constraints: 44309
2981.38/2989.41 c #Conflicts: 1534000 | #Constraints: 45309
2981.38/2989.41 c #Conflicts: 1535000 | #Constraints: 46360
2981.38/2989.41 c #Conflicts: 1536000 | #Constraints: 47449
2981.38/2989.41 c #Conflicts: 1537000 | #Constraints: 48541
2981.38/2989.41 c #Conflicts: 1538000 | #Constraints: 49647
2981.38/2989.41 c #Conflicts: 1539000 | #Constraints: 50748
2981.38/2989.41 c #Conflicts: 1540000 | #Constraints: 51874
2981.38/2989.41 c #Conflicts: 1541000 | #Constraints: 52984
2981.38/2989.41 c INPROCESSING
2981.38/2989.41 c GARBAGE COLLECT
2981.38/2989.41 c rational objective 2.21162
3081.31/3089.63 c #Conflicts: 1542000 | #Constraints: 27558
3081.31/3089.63 c #Conflicts: 1543000 | #Constraints: 28634
3081.31/3089.63 c #Conflicts: 1544000 | #Constraints: 29749
3081.31/3089.63 c #Conflicts: 1545000 | #Constraints: 30883
3081.31/3089.63 c #Conflicts: 1546000 | #Constraints: 31992
3081.31/3089.63 c #Conflicts: 1547000 | #Constraints: 33057
3081.31/3089.63 c #Conflicts: 1548000 | #Constraints: 34117
3081.31/3089.63 c #Conflicts: 1549000 | #Constraints: 35204
3081.31/3089.63 c #Conflicts: 1550000 | #Constraints: 36364
3081.31/3089.63 c #Conflicts: 1551000 | #Constraints: 37450
3081.31/3089.63 c #Conflicts: 1552000 | #Constraints: 38644
3081.31/3089.63 c #Conflicts: 1553000 | #Constraints: 39839
3081.31/3089.63 c #Conflicts: 1554000 | #Constraints: 41004
3081.31/3089.63 c #Conflicts: 1555000 | #Constraints: 42201
3081.31/3089.63 c #Conflicts: 1556000 | #Constraints: 43341
3081.31/3089.63 c #Conflicts: 1557000 | #Constraints: 44499
3081.31/3089.63 c #Conflicts: 1558000 | #Constraints: 45650
3081.31/3089.63 c #Conflicts: 1559000 | #Constraints: 46841
3081.31/3089.63 c #Conflicts: 1560000 | #Constraints: 48022
3081.31/3089.63 c #Conflicts: 1561000 | #Constraints: 49205
3081.31/3089.63 c #Conflicts: 1562000 | #Constraints: 50437
3081.31/3089.63 c #Conflicts: 1563000 | #Constraints: 51666
3081.31/3089.63 c #Conflicts: 1564000 | #Constraints: 52858
3081.31/3089.63 c #Conflicts: 1565000 | #Constraints: 54065
3081.31/3089.63 c #Conflicts: 1566000 | #Constraints: 55255
3081.31/3089.63 c INPROCESSING
3081.31/3089.63 c GARBAGE COLLECT
3081.31/3089.63 c rational objective 2.33509
3195.18/3203.82 c #Conflicts: 1567000 | #Constraints: 28687
3195.18/3203.82 c #Conflicts: 1568000 | #Constraints: 29727
3195.18/3203.82 c #Conflicts: 1569000 | #Constraints: 30802
3195.18/3203.82 c #Conflicts: 1570000 | #Constraints: 31867
3195.18/3203.82 c #Conflicts: 1571000 | #Constraints: 32989
3195.18/3203.82 c #Conflicts: 1572000 | #Constraints: 34066
3195.18/3203.82 c #Conflicts: 1573000 | #Constraints: 35119
3195.18/3203.82 c #Conflicts: 1574000 | #Constraints: 36192
3195.18/3203.82 c #Conflicts: 1575000 | #Constraints: 37448
3195.18/3203.82 c #Conflicts: 1576000 | #Constraints: 38466
3195.18/3203.82 c #Conflicts: 1577000 | #Constraints: 39507
3195.18/3203.82 c #Conflicts: 1578000 | #Constraints: 40536
3195.18/3203.82 c #Conflicts: 1579000 | #Constraints: 41586
3195.18/3203.82 c #Conflicts: 1580000 | #Constraints: 42619
3195.18/3203.82 c #Conflicts: 1581000 | #Constraints: 43659
3195.18/3203.82 c #Conflicts: 1582000 | #Constraints: 44704
3195.18/3203.82 c #Conflicts: 1583000 | #Constraints: 45741
3195.18/3203.82 c #Conflicts: 1584000 | #Constraints: 46778
3195.18/3203.82 c #Conflicts: 1585000 | #Constraints: 47836
3195.18/3203.82 c #Conflicts: 1586000 | #Constraints: 48902
3195.18/3203.82 c #Conflicts: 1587000 | #Constraints: 49939
3195.18/3203.82 c #Conflicts: 1588000 | #Constraints: 50987
3195.18/3203.82 c #Conflicts: 1589000 | #Constraints: 52025
3195.18/3203.82 c #Conflicts: 1590000 | #Constraints: 53082
3195.18/3203.82 c #Conflicts: 1591000 | #Constraints: 54129
3195.18/3203.82 c INPROCESSING
3195.18/3203.82 c GARBAGE COLLECT
3195.18/3203.82 c rational objective 2.15646
3292.42/3301.38 c #Conflicts: 1592000 | #Constraints: 28008
3292.42/3301.38 c #Conflicts: 1593000 | #Constraints: 29063
3292.42/3301.38 c #Conflicts: 1594000 | #Constraints: 30106
3292.42/3301.38 c #Conflicts: 1595000 | #Constraints: 31152
3292.42/3301.38 c #Conflicts: 1596000 | #Constraints: 32198
3292.42/3301.38 c #Conflicts: 1597000 | #Constraints: 33228
3292.42/3301.38 c #Conflicts: 1598000 | #Constraints: 34254
3292.42/3301.38 c #Conflicts: 1599000 | #Constraints: 35300
3292.42/3301.38 c #Conflicts: 1600000 | #Constraints: 36341
3292.42/3301.38 c #Conflicts: 1601000 | #Constraints: 37407
3292.42/3301.38 c #Conflicts: 1602000 | #Constraints: 38416
3292.42/3301.38 c #Conflicts: 1603000 | #Constraints: 39416
3292.42/3301.38 c #Conflicts: 1604000 | #Constraints: 40421
3292.42/3301.38 c #Conflicts: 1605000 | #Constraints: 41421
3292.42/3301.38 c #Conflicts: 1606000 | #Constraints: 42421
3292.42/3301.38 c #Conflicts: 1607000 | #Constraints: 43421
3292.42/3301.38 c #Conflicts: 1608000 | #Constraints: 44421
3292.42/3301.38 c #Conflicts: 1609000 | #Constraints: 45421
3292.42/3301.38 c #Conflicts: 1610000 | #Constraints: 46421
3292.42/3301.38 c #Conflicts: 1611000 | #Constraints: 47421
3292.42/3301.38 c #Conflicts: 1612000 | #Constraints: 48421
3292.42/3301.38 c #Conflicts: 1613000 | #Constraints: 49421
3292.42/3301.38 c #Conflicts: 1614000 | #Constraints: 50421
3292.42/3301.38 c #Conflicts: 1615000 | #Constraints: 51421
3292.42/3301.38 c #Conflicts: 1616000 | #Constraints: 52421
3292.42/3301.38 c INPROCESSING
3292.42/3301.38 c GARBAGE COLLECT
3292.42/3301.38 c rational objective 2.25405
3384.69/3393.85 c #Conflicts: 1617000 | #Constraints: 26918
3384.69/3393.85 c #Conflicts: 1618000 | #Constraints: 27961
3384.69/3393.85 c #Conflicts: 1619000 | #Constraints: 29015
3384.69/3393.85 c #Conflicts: 1620000 | #Constraints: 30100
3384.69/3393.85 c #Conflicts: 1621000 | #Constraints: 31117
3384.69/3393.85 c #Conflicts: 1622000 | #Constraints: 32117
3384.69/3393.85 c #Conflicts: 1623000 | #Constraints: 33117
3384.69/3393.85 c #Conflicts: 1624000 | #Constraints: 34148
3384.69/3393.85 c #Conflicts: 1625000 | #Constraints: 35182
3384.69/3393.85 c #Conflicts: 1626000 | #Constraints: 36235
3384.69/3393.85 c #Conflicts: 1627000 | #Constraints: 37245
3384.69/3393.85 c #Conflicts: 1628000 | #Constraints: 38245
3384.69/3393.85 c #Conflicts: 1629000 | #Constraints: 39289
3384.69/3393.85 c #Conflicts: 1630000 | #Constraints: 40327
3384.69/3393.85 c #Conflicts: 1631000 | #Constraints: 41370
3384.69/3393.85 c #Conflicts: 1632000 | #Constraints: 42420
3384.69/3393.85 c #Conflicts: 1633000 | #Constraints: 43468
3384.69/3393.85 c #Conflicts: 1634000 | #Constraints: 44511
3384.69/3393.85 c #Conflicts: 1635000 | #Constraints: 45552
3384.69/3393.85 c #Conflicts: 1636000 | #Constraints: 46564
3384.69/3393.85 c #Conflicts: 1637000 | #Constraints: 47564
3384.69/3393.85 c #Conflicts: 1638000 | #Constraints: 48564
3384.69/3393.85 c #Conflicts: 1639000 | #Constraints: 49564
3384.69/3393.85 c #Conflicts: 1640000 | #Constraints: 50564
3384.69/3393.85 c #Conflicts: 1641000 | #Constraints: 51564
3384.69/3393.85 c #Conflicts: 1642000 | #Constraints: 52564
3384.69/3393.85 c INPROCESSING
3384.69/3393.85 c GARBAGE COLLECT
3384.69/3393.85 c rational objective 2.26744
3464.69/3474.03 c #Conflicts: 1643000 | #Constraints: 27218
3464.69/3474.03 c #Conflicts: 1644000 | #Constraints: 28241
3464.69/3474.03 c #Conflicts: 1645000 | #Constraints: 29287
3464.69/3474.03 c #Conflicts: 1646000 | #Constraints: 30331
3464.69/3474.03 c #Conflicts: 1647000 | #Constraints: 31341
3464.69/3474.03 c #Conflicts: 1648000 | #Constraints: 32378
3464.69/3474.03 c #Conflicts: 1649000 | #Constraints: 33384
3464.69/3474.03 c #Conflicts: 1650000 | #Constraints: 34384
3464.69/3474.03 c #Conflicts: 1651000 | #Constraints: 35434
3464.69/3474.03 c #Conflicts: 1652000 | #Constraints: 36474
3464.69/3474.03 c #Conflicts: 1653000 | #Constraints: 37518
3464.69/3474.03 c #Conflicts: 1654000 | #Constraints: 38556
3464.69/3474.03 c #Conflicts: 1655000 | #Constraints: 39596
3464.69/3474.03 c #Conflicts: 1656000 | #Constraints: 40617
3464.69/3474.03 c #Conflicts: 1657000 | #Constraints: 41669
3464.69/3474.03 c #Conflicts: 1658000 | #Constraints: 42738
3464.69/3474.03 c #Conflicts: 1659000 | #Constraints: 43775
3464.69/3474.03 c #Conflicts: 1660000 | #Constraints: 44839
3464.69/3474.03 c #Conflicts: 1661000 | #Constraints: 45885
3464.69/3474.03 c #Conflicts: 1662000 | #Constraints: 46927
3464.69/3474.03 c #Conflicts: 1663000 | #Constraints: 47973
3464.69/3474.03 c #Conflicts: 1664000 | #Constraints: 49015
3464.69/3474.03 c #Conflicts: 1665000 | #Constraints: 50054
3464.69/3474.03 c #Conflicts: 1666000 | #Constraints: 51084
3464.69/3474.03 c #Conflicts: 1667000 | #Constraints: 52125
3464.69/3474.03 c #Conflicts: 1668000 | #Constraints: 53165
3464.69/3474.03 c INPROCESSING
3464.69/3474.03 c GARBAGE COLLECT
3464.69/3474.03 c rational objective 2.26744
3561.02/3570.69 c #Conflicts: 1669000 | #Constraints: 27597
3561.02/3570.69 c #Conflicts: 1670000 | #Constraints: 28628
3561.02/3570.69 c #Conflicts: 1671000 | #Constraints: 29677
3561.02/3570.69 c #Conflicts: 1672000 | #Constraints: 30711
3561.02/3570.69 c #Conflicts: 1673000 | #Constraints: 31738
3561.02/3570.69 c #Conflicts: 1674000 | #Constraints: 32774
3561.02/3570.69 c #Conflicts: 1675000 | #Constraints: 33792
3561.02/3570.69 c #Conflicts: 1676000 | #Constraints: 34822
3561.02/3570.69 c #Conflicts: 1677000 | #Constraints: 35868
3561.02/3570.69 c #Conflicts: 1678000 | #Constraints: 36907
3561.02/3570.69 c #Conflicts: 1679000 | #Constraints: 37971
3561.02/3570.69 c #Conflicts: 1680000 | #Constraints: 39009
3561.02/3570.69 c #Conflicts: 1681000 | #Constraints: 40049
3561.02/3570.69 c #Conflicts: 1682000 | #Constraints: 41072
3561.02/3570.69 c #Conflicts: 1683000 | #Constraints: 42106
3561.02/3570.69 c #Conflicts: 1684000 | #Constraints: 43138
3561.02/3570.69 c #Conflicts: 1685000 | #Constraints: 44172
3561.02/3570.69 c #Conflicts: 1686000 | #Constraints: 45230
3561.02/3570.69 c #Conflicts: 1687000 | #Constraints: 46263
3561.02/3570.69 c #Conflicts: 1688000 | #Constraints: 47283
3561.02/3570.69 c #Conflicts: 1689000 | #Constraints: 48317
3561.02/3570.69 c #Conflicts: 1690000 | #Constraints: 49366
3561.02/3570.69 c #Conflicts: 1691000 | #Constraints: 50390
3561.02/3570.69 c #Conflicts: 1692000 | #Constraints: 51430
3561.02/3570.69 c #Conflicts: 1693000 | #Constraints: 52467
3561.02/3570.69 c #Conflicts: 1694000 | #Constraints: 53487
3561.02/3570.69 c INPROCESSING
3561.02/3570.69 c GARBAGE COLLECT
3561.02/3570.69 c rational objective 2.00582
3600.01/3609.70 c #Conflicts: 1695000 | #Constraints: 27747
3600.01/3609.70 c #Conflicts: 1696000 | #Constraints: 28747
3600.01/3609.70 c #Conflicts: 1697000 | #Constraints: 29808
3600.01/3609.70 c #Conflicts: 1698000 | #Constraints: 30856
3600.01/3609.70 c #Conflicts: 1699000 | #Constraints: 31856
3600.01/3609.70 c #Conflicts: 1700000 | #Constraints: 32856
3600.01/3609.70 c #Conflicts: 1701000 | #Constraints: 33856
3600.01/3609.70 c #Conflicts: 1702000 | #Constraints: 34856
3600.01/3609.70 c #Conflicts: 1703000 | #Constraints: 35856
3600.01/3609.70 c #Conflicts: 1704000 | #Constraints: 36856
3600.01/3609.70 c #Conflicts: 1705000 | #Constraints: 37856
3600.01/3609.70 c #Conflicts: 1706000 | #Constraints: 38856
3600.01/3609.70 c cpu time 3587.71 s
3600.01/3609.70 c deterministic time 1013697854323 1.01e+12
3600.01/3609.70 c optimization time 38.6959 s
3600.01/3609.70 c total solve time 3549.01 s
3600.01/3609.70 c core-guided solve time 0 s
3600.01/3609.70 c propagation time 3388.08 s
3600.01/3609.70 c conflict analysis time 173.516 s
3600.01/3609.70 c propagations 10601366
3600.01/3609.70 c resolve steps 4721037
3600.01/3609.70 c decisions 2140916
3600.01/3609.70 c conflicts 1706141
3600.01/3609.70 c restarts 3272
3600.01/3609.70 c inprocessing phases 121
3600.01/3609.70 c garbage collections 121 ,( 100.00 )
3600.01/3609.70 c input clauses 0 ,( 0.00 )
3600.01/3609.70 c input cardinalities 0 ,( 0.00 )
3600.01/3609.70 c input general constraints 2 ,( 100.00 )
3600.01/3609.70 c input average constraint length 86.00
3600.01/3609.70 c input average constraint degree 139154376.00
3600.01/3609.70 c learned clauses 1043682 ,( 58.20 )
3600.01/3609.70 c learned cardinalities 24 ,( 0.00 )
3600.01/3609.70 c learned general constraints 749474 ,( 41.80 )
3600.01/3609.70 c learned average constraint length 73.20
3600.01/3609.70 c learned average constraint degree 54563013.21
3600.01/3609.70 c watched CF 32, 64, 128, Arb: 365359 , 0 , 0 , 0
3600.01/3609.70 c counting CF 32, 64, 128, Arb: 384117 , 0 , 0 , 0
3600.01/3609.70 c watched constraints 365359 ,( 48.75 )
3600.01/3609.70 c counting constraints 384117 ,( 51.25 )
3600.01/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 59069941 , 25420 , 52107459153 ,( 438256531 , 51669202622 )
3600.01/3609.70 c gcd simplifications 1115018
3600.01/3609.70 c detected cardinalities 24
3600.01/3609.70 c weakened non-implied lits 4755953
3600.01/3609.70 c weakened non-implying lits 1443643
3600.01/3609.70 c original variables 86
3600.01/3609.70 c clausal propagations 89892
3600.01/3609.70 c cardinality propagations 103
3600.01/3609.70 c watched propagations 884586
3600.01/3609.70 c counting propagations 7624836
3600.01/3609.70 c watch lookups 55068176919
3600.01/3609.70 c watch backjump lookups 0
3600.01/3609.70 c watch checks 4649246353
3600.01/3609.70 c propagation checks 953434526043
3600.01/3609.70 c constraint additions 518541521
3600.01/3609.70 c trail pops 14448337
3600.01/3609.70 c formula constraints 2
3600.01/3609.70 c learned constraints 1706140
3600.01/3609.70 c bound constraints 0
3600.01/3609.70 c core-guided constraints 0
3600.01/3609.70 c encountered formula constraints 3785937
3600.01/3609.70 c encountered learned constraints 2641216
3600.01/3609.70 c encountered bound constraints 0
3600.01/3609.70 c encountered core-guided constraints 0
3600.01/3609.70 c LP total time 24.3002 s
3600.01/3609.70 c LP solve time 12.76 s
3600.01/3609.70 c LP constraints added 140
3600.01/3609.70 c LP constraints removed 130
3600.01/3609.70 c LP pivots internal 170614
3600.01/3609.70 c LP pivots root 2253
3600.01/3609.70 c LP calls 131388
3600.01/3609.70 c LP optimalities 43993
3600.01/3609.70 c LP no pivot count 6904
3600.01/3609.70 c LP infeasibilities 87317
3600.01/3609.70 c LP valid Farkas constraints 86947
3600.01/3609.70 c LP learned Farkas constraints 0
3600.01/3609.70 c LP basis resets 78
3600.01/3609.70 c LP cycling count 25
3600.01/3609.70 c LP singular count 52
3600.01/3609.70 c LP no primal count 0
3600.01/3609.70 c LP no farkas count 0
3600.01/3609.70 c LP other issue count 1
3600.01/3609.70 c LP Gomory cuts 93
3600.01/3609.70 c LP learned cuts 45
3600.01/3609.70 c LP deleted cuts 130
3600.01/3609.70 c LP encountered Gomory constraints 20
3600.01/3609.70 c LP encountered Farkas constraints 5
3600.01/3609.70 c LP encountered learned Farkas constraints 0
3600.01/3609.70 c CG auxiliary variables introduced 0
3600.01/3609.70 c CG solutions found 0
3600.01/3609.70 c CG cores constructed 0
3600.01/3609.70 c CG core cardinality constraints returned 0
3600.01/3609.70 c CG unit cores 0
3600.01/3609.70 c CG single cores 0
3600.01/3609.70 c CG blocks removed during cardinality reduction 0
3600.01/3609.70 c CG first core best 0
3600.01/3609.70 c CG decision core best 0
3600.01/3609.70 c CG core reduction tie 0
3600.01/3609.70 c CG core degree average 0.00
3600.01/3609.70 c CG core slack average 0.00
3600.01/3609.70 c CG core upper bound improvements 0
3600.01/3609.70 c STR number of successful calls 0
3600.01/3609.70 c STR number of unsuccessful calls 0
3600.01/3609.70 c STR number of inconclusive calls 0
3600.01/3609.70 c STR number of successful attempts 0
3600.01/3609.70 c STR number of unsuccessful attempts 0
3600.01/3609.70 c STR number of inconclusive attempts 0
3600.01/3609.70 c STR average degree increase per successful call inf
3600.01/3609.70 c STR average degree increase per successful attempt inf
3600.01/3609.70 c STR total number of conflicts for successful attempts 0
3600.01/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.70 c STR average number of conflicts per successful attempt inf
3600.01/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.70 c AVG.sumWPerc 43.30
3600.01/3609.70 c bigint constraints 0
3600.01/3609.70 s UNKNOWN
3600.01/3609.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62927 MiB free)
memory of node 1: 64507 MiB (62967 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496040-1751158078/watcher-4496040-1751158078 -o /tmp/evaluation-result-4496040-1751158078/solver-4496040-1751158078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760 run-dec-break.sh HOME/instance-4496040-1751158078.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21404, runsolver pid=21401
[startup+0.100065 s]*
/proc/loadavg: 4.08 4.10 4.04 5/270 21407
/proc/meminfo: memFree=128916284/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=56208 memory=13284 CPUtime=0.07 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 657 0 0 0 7 0 0 0 20 0 1 0 31485673 57556992 3321 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 14052 3321 2400 1147 0 1479 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 60400 KiB
Current children cumulated memory: 16356 KiB
[startup+0.205785 s]*
/proc/loadavg: 4.08 4.10 4.04 5/270 21407
/proc/meminfo: memFree=128916284/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=57156 memory=14180 CPUtime=0.19 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 862 0 0 0 18 1 0 0 20 0 1 0 31485673 58527744 3545 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 14289 3545 2400 1147 0 1716 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61348 KiB
Current children cumulated memory: 17252 KiB
[startup+0.305701 s]*
/proc/loadavg: 4.08 4.10 4.04 5/270 21407
/proc/meminfo: memFree=128916284/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=57300 memory=14308 CPUtime=0.28 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 889 0 0 0 27 1 0 0 20 0 1 0 31485673 58675200 3577 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 14325 3577 2400 1147 0 1752 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61492 KiB
Current children cumulated memory: 17380 KiB
[startup+0.700165 s]
/proc/loadavg: 4.08 4.10 4.04 5/270 21407
/proc/meminfo: memFree=128916284/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=58404 memory=15204 CPUtime=0.67 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 1122 0 0 0 65 2 0 0 20 0 1 0 31485673 59805696 3801 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 14601 3801 2400 1147 0 2028 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62596 KiB
Current children cumulated memory: 18276 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.10 4.04 5/270 21407
/proc/meminfo: memFree=128904124/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=59284 memory=18024 CPUtime=1.47 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 1322 0 0 0 143 4 0 0 20 0 1 0 31485673 60706816 4506 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 14821 4506 2400 1147 0 2248 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63476 KiB
Current children cumulated memory: 21096 KiB
[startup+3.10551 s]
/proc/loadavg: 4.08 4.10 4.04 5/270 21407
/proc/meminfo: memFree=128904332/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=61076 memory=19816 CPUtime=3.07 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 1767 0 0 0 300 7 0 0 20 0 1 0 31485673 62541824 4954 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 15269 4954 2400 1147 0 2696 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65268 KiB
Current children cumulated memory: 22888 KiB
[startup+6.30019 s]
/proc/loadavg: 4.08 4.10 4.04 5/270 21407
/proc/meminfo: memFree=128900236/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=63508 memory=21864 CPUtime=6.25 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 2288 0 0 0 611 14 0 0 20 0 1 0 31485673 65032192 5466 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 15877 5466 2400 1147 0 3304 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 67700 KiB
Current children cumulated memory: 24936 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.05 5/270 21407
/proc/meminfo: memFree=128896960/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=68808 memory=25576 CPUtime=12.64 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 3111 0 0 0 1241 23 0 0 20 0 1 0 31485673 70459392 6394 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 17202 6394 2496 1147 0 4629 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 73000 KiB
Current children cumulated memory: 28648 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.04 5/269 21407
/proc/meminfo: memFree=128894964/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=72636 memory=29032 CPUtime=25.41 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 3988 0 0 0 2504 37 0 0 20 0 1 0 31485673 74379264 7258 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 18159 7258 2496 1147 0 5586 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 76828 KiB
Current children cumulated memory: 32104 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 4.12 4.05 5/268 21409
/proc/meminfo: memFree=128886924/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=79400 memory=33512 CPUtime=50.95 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 5176 0 0 0 5033 62 0 0 20 0 1 0 31485673 81305600 8378 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 19850 8378 2496 1147 0 7277 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 83592 KiB
Current children cumulated memory: 36584 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/268 21410
/proc/meminfo: memFree=128882700/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=86872 memory=39800 CPUtime=102.02 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 7266 0 0 0 10099 103 0 0 20 0 1 0 31485673 88956928 9950 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 21718 9950 2496 1147 0 9145 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 91064 KiB
Current children cumulated memory: 42872 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/268 21412
/proc/meminfo: memFree=128867960/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=97912 memory=46600 CPUtime=161.87 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 9238 0 0 0 16047 140 0 0 20 0 1 0 31485673 100261888 11650 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 24478 11650 2496 1147 0 11905 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 102104 KiB
Current children cumulated memory: 49672 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/269 21416
/proc/meminfo: memFree=128862524/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=98716 memory=47368 CPUtime=221.73 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 9555 0 0 0 22000 173 0 0 20 0 1 0 31485673 101085184 11842 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 24679 11842 2496 1147 0 12106 0
Current children cumulated CPU time: 221.73 s
################
# More data... #
################
/proc/21407/statm: 35546 24524 2496 1147 0 22973 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 146376 KiB
Current children cumulated memory: 101168 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/268 22059
/proc/meminfo: memFree=129543628/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=142696 memory=98100 CPUtime=3153.81 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 22678 0 0 0 314248 1133 0 0 20 0 1 0 31485673 146120704 24525 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 35674 24525 2496 1147 0 23101 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 146888 KiB
Current children cumulated memory: 101172 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/268 22061
/proc/meminfo: memFree=129564056/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=143416 memory=98868 CPUtime=3213.64 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 22873 0 0 0 320221 1143 0 0 20 0 1 0 31485673 146857984 24717 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 35854 24717 2496 1147 0 23281 0
Current children cumulated CPU time: 3213.64 s
Current children cumulated vsize: 147608 KiB
Current children cumulated memory: 101940 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/268 22063
/proc/meminfo: memFree=129552740/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=143416 memory=99124 CPUtime=3273.48 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 22948 0 0 0 326191 1157 0 0 20 0 1 0 31485673 146857984 24781 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 35854 24781 2496 1147 0 23281 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 147608 KiB
Current children cumulated memory: 102196 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/268 22066
/proc/meminfo: memFree=129543284/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=144680 memory=99932 CPUtime=3333.32 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 23330 0 0 0 332164 1168 0 0 20 0 1 0 31485673 148152320 24983 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 36170 24983 2496 1147 0 23597 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 148872 KiB
Current children cumulated memory: 103004 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/268 22068
/proc/meminfo: memFree=129510548/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=145192 memory=100444 CPUtime=3393.18 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 23459 0 0 0 338135 1183 0 0 20 0 1 0 31485673 148676608 25111 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 36298 25111 2496 1147 0 23725 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 149384 KiB
Current children cumulated memory: 103516 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/268 22070
/proc/meminfo: memFree=129488348/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=145192 memory=100444 CPUtime=3453.02 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 23459 0 0 0 344105 1197 0 0 20 0 1 0 31485673 148676608 25111 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 36298 25111 2496 1147 0 23725 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 149384 KiB
Current children cumulated memory: 103516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.34 4.21 4.15 5/268 22072
/proc/meminfo: memFree=129461632/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=145192 memory=100444 CPUtime=3512.86 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 23481 0 0 0 350077 1209 0 0 20 0 1 0 31485673 148676608 25111 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 36298 25111 2496 1147 0 23725 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 149384 KiB
Current children cumulated memory: 103516 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.20 4.15 5/269 22079
/proc/meminfo: memFree=129448188/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=145192 memory=100444 CPUtime=3572.69 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 23487 0 0 0 356047 1222 0 0 20 0 1 0 31485673 148676608 25111 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 36298 25111 2496 1147 0 23725 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 149384 KiB
Current children cumulated memory: 103516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.14 4.18 4.15 5/269 22081
/proc/meminfo: memFree=129446392/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=145192 memory=100444 CPUtime=3600.01 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 23487 0 0 0 358770 1231 0 0 20 0 1 0 31485673 148676608 25111 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 36298 25111 2496 1147 0 23725 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 149384 KiB
Current children cumulated memory: 103516 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 21404 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001195 s, system=0.003683 s
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 21407 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3587.71 s, system=12.3175 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.14 4.18 4.15 5/269 22081
/proc/meminfo: memFree=129446392/131249996 swapFree=33010684/33010684
[pid=21404] ppid=21401 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21404/stat : 21404 (run-dec-break.s) S 21401 21404 17835 0 -1 4194304 240 213 0 0 0 0 0 0 20 0 1 0 31485672 4292608 768 18446744073709551615 94804142780416 94804143674949 140737249560240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94804143914000 94804143961744 94804158267392 140737249565025 140737249565154 140737249565154 140737249570756 0
/proc/21404/statm: 1048 768 704 219 0 110 0
[pid=21407] ppid=21404 vsize=145192 memory=100444 CPUtime=3600.01 cores=5,7
/proc/21407/stat : 21407 (roundingsat) R 21404 21404 17835 0 -1 4194304 23487 0 0 0 358770 1231 0 0 20 0 1 0 31485673 148676608 25111 18446744073709551615 4227072 8923433 140722330728064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23212032 140722330732868 140722330733096 140722330733096 140722330738666 0
/proc/21407/statm: 36298 25111 2496 1147 0 23725 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 149384 KiB
Current children cumulated memory: 103516 KiB
Child status: 2
Real time (s): 3609.71
CPU time (s): 3600.03
CPU user time (s): 3587.71
CPU system time (s): 12.3175
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (KiB): 149384
Max. memory (cumulated for all children) (KiB): 103516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.71
system time used= 12.3175
maximum resident set size= 100700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23958
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 231
involuntary context switches= 2591
# summary of solver processes directly reported to runsolver:
# pid: 21404,21407
# total CPU time (s): 3600.03
# total CPU user time (s): 3587.71
# total CPU system time (s): 12.3175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20673 second user time and 17.2726 second system time
The end
Begin job on nodeC024 at 2025-06-29 02:47:58
IDJOB=4496040
IDBENCH=148105
IDSOLVER=3357
FILE ID=nodeC024/4496040-1751158078
RUNJOBID= nodeC024-1751155906-17848
SLURM_JOB_ID= 9587473
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob8.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496040-1751158078/watcher-4496040-1751158078 -o /tmp/evaluation-result-4496040-1751158078/solver-4496040-1751158078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760 run-dec-break.sh HOME/instance-4496040-1751158078.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f61e6943d6ec76e40473bfb8d86b810
RANDOM SEED=238219529
nodeC024 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.601
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.36
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.685
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.36
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 : 3562.181
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.36
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.590
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.36
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.238
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.36
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 : 3601.449
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.36
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 : 3600.135
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.36
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.682
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128915868 kB
MemAvailable: 128548248 kB
Buffers: 3280 kB
Cached: 428156 kB
SwapCached: 0 kB
Active: 1536008 kB
Inactive: 208152 kB
Active(anon): 1330788 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 208152 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7216 kB
Writeback: 0 kB
AnonPages: 1311636 kB
Mapped: 117132 kB
Shmem: 18064 kB
KReclaimable: 86344 kB
Slab: 169756 kB
SReclaimable: 86344 kB
SUnreclaim: 83412 kB
KernelStack: 4384 kB
PageTables: 5916 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1888528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1148928 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC024 at 2025-06-29 03:48:08