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-4510548-1751196625.opb'
0.00/0.01 c read 0.03MB (0.42ms)
0.00/0.01 c [cnf: #variables 501 #clauses 502 #duplicates 196 #arr 2004]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 300] (0.49ms)
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 (6.66ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 2506 #edges 7014]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 4.00*10^0 #generators 2] (1.69ms)
0.00/0.02 c
0.00/0.02 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.02 c (0.00ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.02 c
0.00/0.02 c add generic predicates (break_depth=10)
0.00/0.02 c added predicates for 2 generators (0.04ms)
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 56 #add_vars 18]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4510548-1751196625.opb.pre'
0.00/0.02 c wrote 0.02MB (0.12ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 6.66ms 69.81% detect_special
0.00/0.02 c 1.69ms 17.77% detect_generic
0.00/0.02 c 0.49ms 5.10% approx_orbits
0.00/0.02 c 0.42ms 4.36% parse
0.00/0.02 c 0.12ms 1.26% output
0.00/0.02 c 0.09ms 0.95% other
0.00/0.02 c 0.04ms 0.43% break_generic
0.00/0.02 c 0.03ms 0.29% finalize_order
0.00/0.02 c 0.00ms 0.04% optimize_gens
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 9.53ms 100% total
0.00/0.02 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.03 c #variables 519 #constraints 558
0.00/0.03 c rational objective 250.5
0.17/0.21 c #Conflicts: 1000 | #Constraints: 1561
0.17/0.21 c #Conflicts: 2000 | #Constraints: 2562
0.17/0.21 c INPROCESSING
0.17/0.21 c GARBAGE COLLECT
0.17/0.21 c #Conflicts: 3000 | #Constraints: 2589
0.17/0.21 c #Conflicts: 4000 | #Constraints: 3589
0.17/0.21 c INPROCESSING
0.17/0.21 c GARBAGE COLLECT
0.17/0.21 c #Conflicts: 5000 | #Constraints: 3014
0.17/0.21 c #Conflicts: 6000 | #Constraints: 4014
0.17/0.21 c INPROCESSING
0.17/0.21 c GARBAGE COLLECT
0.17/0.21 c rational objective 250.5
0.17/0.30 c #Conflicts: 7000 | #Constraints: 3029
0.17/0.30 c #Conflicts: 8000 | #Constraints: 4029
0.17/0.30 c #Conflicts: 9000 | #Constraints: 5029
0.17/0.30 c INPROCESSING
0.17/0.30 c GARBAGE COLLECT
0.17/0.30 c rational objective 250.5
0.36/0.41 c #Conflicts: 10000 | #Constraints: 3731
0.36/0.41 c #Conflicts: 11000 | #Constraints: 4731
0.36/0.41 c #Conflicts: 12000 | #Constraints: 5731
0.36/0.41 c INPROCESSING
0.36/0.41 c GARBAGE COLLECT
0.36/0.41 c rational objective 250.5
0.46/0.51 c #Conflicts: 13000 | #Constraints: 4187
0.46/0.51 c #Conflicts: 14000 | #Constraints: 5187
0.46/0.51 c #Conflicts: 15000 | #Constraints: 6187
0.46/0.51 c INPROCESSING
0.46/0.51 c GARBAGE COLLECT
0.46/0.51 c rational objective 250.5
0.56/0.63 c #Conflicts: 16000 | #Constraints: 4414
0.56/0.63 c #Conflicts: 17000 | #Constraints: 5414
0.56/0.63 c #Conflicts: 18000 | #Constraints: 6414
0.56/0.63 c INPROCESSING
0.56/0.63 c GARBAGE COLLECT
0.56/0.63 c rational objective 250.5
0.65/0.75 c #Conflicts: 19000 | #Constraints: 4432
0.65/0.75 c #Conflicts: 20000 | #Constraints: 5432
0.65/0.75 c #Conflicts: 21000 | #Constraints: 6432
0.65/0.75 c INPROCESSING
0.65/0.75 c GARBAGE COLLECT
0.65/0.75 c rational objective 250.5
0.76/0.88 c #Conflicts: 22000 | #Constraints: 4235
0.76/0.88 c #Conflicts: 23000 | #Constraints: 5235
0.76/0.88 c #Conflicts: 24000 | #Constraints: 6235
0.76/0.88 c #Conflicts: 25000 | #Constraints: 7235
0.76/0.88 c INPROCESSING
0.76/0.88 c GARBAGE COLLECT
0.76/0.88 c rational objective 250.5
0.96/1.02 c #Conflicts: 26000 | #Constraints: 4838
0.96/1.02 c #Conflicts: 27000 | #Constraints: 5838
0.96/1.02 c #Conflicts: 28000 | #Constraints: 6838
0.96/1.02 c #Conflicts: 29000 | #Constraints: 7838
0.96/1.02 c INPROCESSING
0.96/1.02 c GARBAGE COLLECT
0.96/1.02 c rational objective 250.5
1.06/1.16 c #Conflicts: 30000 | #Constraints: 5239
1.06/1.16 c #Conflicts: 31000 | #Constraints: 6239
1.06/1.16 c #Conflicts: 32000 | #Constraints: 7239
1.06/1.16 c #Conflicts: 33000 | #Constraints: 8239
1.06/1.16 c INPROCESSING
1.06/1.16 c GARBAGE COLLECT
1.06/1.16 c rational objective 250.5
1.25/1.31 c #Conflicts: 34000 | #Constraints: 5437
1.25/1.31 c #Conflicts: 35000 | #Constraints: 6437
1.25/1.31 c #Conflicts: 36000 | #Constraints: 7437
1.25/1.31 c #Conflicts: 37000 | #Constraints: 8437
1.25/1.31 c INPROCESSING
1.25/1.31 c GARBAGE COLLECT
1.25/1.31 c rational objective 250.5
1.45/1.50 c #Conflicts: 38000 | #Constraints: 5443
1.45/1.50 c #Conflicts: 39000 | #Constraints: 6443
1.45/1.50 c #Conflicts: 40000 | #Constraints: 7443
1.45/1.50 c #Conflicts: 41000 | #Constraints: 8443
1.45/1.50 c INPROCESSING
1.45/1.50 c GARBAGE COLLECT
1.45/1.50 c rational objective 250.5
1.56/1.66 c #Conflicts: 42000 | #Constraints: 5252
1.56/1.66 c #Conflicts: 43000 | #Constraints: 6252
1.56/1.66 c #Conflicts: 44000 | #Constraints: 7252
1.56/1.66 c #Conflicts: 45000 | #Constraints: 8252
1.56/1.66 c #Conflicts: 46000 | #Constraints: 9252
1.56/1.66 c INPROCESSING
1.56/1.66 c GARBAGE COLLECT
1.56/1.66 c rational objective 250.5
1.75/1.84 c #Conflicts: 47000 | #Constraints: 5847
1.75/1.84 c #Conflicts: 48000 | #Constraints: 6847
1.75/1.84 c #Conflicts: 49000 | #Constraints: 7847
1.75/1.84 c #Conflicts: 50000 | #Constraints: 8847
1.75/1.84 c #Conflicts: 51000 | #Constraints: 9847
1.75/1.84 c INPROCESSING
1.75/1.84 c GARBAGE COLLECT
1.75/1.84 c rational objective 250.5
1.95/2.05 c #Conflicts: 52000 | #Constraints: 6246
1.95/2.05 c #Conflicts: 53000 | #Constraints: 7246
1.95/2.05 c #Conflicts: 54000 | #Constraints: 8246
1.95/2.05 c #Conflicts: 55000 | #Constraints: 9246
1.95/2.05 c #Conflicts: 56000 | #Constraints: 10246
1.95/2.05 c INPROCESSING
1.95/2.05 c GARBAGE COLLECT
1.95/2.05 c rational objective 250.5
2.15/2.26 c #Conflicts: 57000 | #Constraints: 6442
2.15/2.26 c #Conflicts: 58000 | #Constraints: 7442
2.15/2.26 c #Conflicts: 59000 | #Constraints: 8442
2.15/2.26 c #Conflicts: 60000 | #Constraints: 9442
2.15/2.26 c #Conflicts: 61000 | #Constraints: 10442
2.15/2.26 c INPROCESSING
2.15/2.26 c GARBAGE COLLECT
2.15/2.26 c rational objective 250.5
2.35/2.47 c #Conflicts: 62000 | #Constraints: 6442
2.35/2.47 c #Conflicts: 63000 | #Constraints: 7442
2.35/2.47 c #Conflicts: 64000 | #Constraints: 8442
2.35/2.47 c #Conflicts: 65000 | #Constraints: 9442
2.35/2.47 c #Conflicts: 66000 | #Constraints: 10442
2.35/2.47 c INPROCESSING
2.35/2.47 c GARBAGE COLLECT
2.35/2.47 c rational objective 250.5
2.55/2.69 c #Conflicts: 67000 | #Constraints: 6243
2.55/2.69 c #Conflicts: 68000 | #Constraints: 7243
2.55/2.69 c #Conflicts: 69000 | #Constraints: 8243
2.55/2.69 c #Conflicts: 70000 | #Constraints: 9243
2.55/2.69 c #Conflicts: 71000 | #Constraints: 10243
2.55/2.69 c #Conflicts: 72000 | #Constraints: 11243
2.55/2.69 c INPROCESSING
2.55/2.69 c GARBAGE COLLECT
2.55/2.69 c rational objective 250.5
2.85/2.91 c #Conflicts: 73000 | #Constraints: 6844
2.85/2.91 c #Conflicts: 74000 | #Constraints: 7844
2.85/2.91 c #Conflicts: 75000 | #Constraints: 8844
2.85/2.91 c #Conflicts: 76000 | #Constraints: 9844
2.85/2.91 c #Conflicts: 77000 | #Constraints: 10844
2.85/2.91 c #Conflicts: 78000 | #Constraints: 11844
2.85/2.91 c INPROCESSING
2.85/2.91 c GARBAGE COLLECT
2.85/2.91 c rational objective 250.5
3.06/3.14 c #Conflicts: 79000 | #Constraints: 7250
3.06/3.14 c #Conflicts: 80000 | #Constraints: 8250
3.06/3.14 c #Conflicts: 81000 | #Constraints: 9250
3.06/3.14 c #Conflicts: 82000 | #Constraints: 10250
3.06/3.14 c #Conflicts: 83000 | #Constraints: 11250
3.06/3.14 c #Conflicts: 84000 | #Constraints: 12250
3.06/3.14 c INPROCESSING
3.06/3.14 c GARBAGE COLLECT
3.06/3.14 c rational objective 250.5
3.35/3.42 c #Conflicts: 85000 | #Constraints: 7451
3.35/3.42 c #Conflicts: 86000 | #Constraints: 8451
3.35/3.42 c #Conflicts: 87000 | #Constraints: 9451
3.35/3.42 c #Conflicts: 88000 | #Constraints: 10451
3.35/3.42 c #Conflicts: 89000 | #Constraints: 11451
3.35/3.42 c #Conflicts: 90000 | #Constraints: 12451
3.35/3.42 c INPROCESSING
3.35/3.42 c GARBAGE COLLECT
3.35/3.42 c rational objective 250.5
3.65/3.73 c #Conflicts: 91000 | #Constraints: 7443
3.65/3.73 c #Conflicts: 92000 | #Constraints: 8443
3.65/3.73 c #Conflicts: 93000 | #Constraints: 9443
3.65/3.73 c #Conflicts: 94000 | #Constraints: 10443
3.65/3.73 c #Conflicts: 95000 | #Constraints: 11443
3.65/3.73 c #Conflicts: 96000 | #Constraints: 12443
3.65/3.73 c INPROCESSING
3.65/3.73 c GARBAGE COLLECT
3.65/3.73 c rational objective 250.5
3.95/4.04 c #Conflicts: 97000 | #Constraints: 7249
3.95/4.04 c #Conflicts: 98000 | #Constraints: 8249
3.95/4.04 c #Conflicts: 99000 | #Constraints: 9249
3.95/4.04 c #Conflicts: 100000 | #Constraints: 10249
3.95/4.04 c #Conflicts: 101000 | #Constraints: 11249
3.95/4.04 c #Conflicts: 102000 | #Constraints: 12249
3.95/4.04 c #Conflicts: 103000 | #Constraints: 13249
3.95/4.04 c INPROCESSING
3.95/4.04 c GARBAGE COLLECT
3.95/4.04 c rational objective 250.5
4.25/4.34 c #Conflicts: 104000 | #Constraints: 7847
4.25/4.34 c #Conflicts: 105000 | #Constraints: 8847
4.25/4.34 c #Conflicts: 106000 | #Constraints: 9847
4.25/4.34 c #Conflicts: 107000 | #Constraints: 10847
4.25/4.34 c #Conflicts: 108000 | #Constraints: 11847
4.25/4.34 c #Conflicts: 109000 | #Constraints: 12847
4.25/4.34 c #Conflicts: 110000 | #Constraints: 13847
4.25/4.34 c INPROCESSING
4.25/4.34 c GARBAGE COLLECT
4.25/4.34 c rational objective 250.5
4.54/4.65 c #Conflicts: 111000 | #Constraints: 8245
4.54/4.65 c #Conflicts: 112000 | #Constraints: 9245
4.54/4.65 c #Conflicts: 113000 | #Constraints: 10245
4.54/4.65 c #Conflicts: 114000 | #Constraints: 11245
4.54/4.65 c #Conflicts: 115000 | #Constraints: 12245
4.54/4.65 c #Conflicts: 116000 | #Constraints: 13245
4.54/4.65 c #Conflicts: 117000 | #Constraints: 14245
4.54/4.65 c INPROCESSING
4.54/4.65 c GARBAGE COLLECT
4.54/4.65 c rational objective 250.5
4.85/4.99 c #Conflicts: 118000 | #Constraints: 8444
4.85/4.99 c #Conflicts: 119000 | #Constraints: 9444
4.85/4.99 c #Conflicts: 120000 | #Constraints: 10444
4.85/4.99 c #Conflicts: 121000 | #Constraints: 11444
4.85/4.99 c #Conflicts: 122000 | #Constraints: 12444
4.85/4.99 c #Conflicts: 123000 | #Constraints: 13444
4.85/4.99 c #Conflicts: 124000 | #Constraints: 14444
4.85/4.99 c INPROCESSING
4.85/4.99 c GARBAGE COLLECT
4.85/4.99 c rational objective 250.5
5.24/5.32 c #Conflicts: 125000 | #Constraints: 8436
5.24/5.32 c #Conflicts: 126000 | #Constraints: 9436
5.24/5.32 c #Conflicts: 127000 | #Constraints: 10436
5.24/5.32 c #Conflicts: 128000 | #Constraints: 11436
5.24/5.32 c #Conflicts: 129000 | #Constraints: 12436
5.24/5.32 c #Conflicts: 130000 | #Constraints: 13436
5.24/5.32 c #Conflicts: 131000 | #Constraints: 14436
5.24/5.32 c INPROCESSING
5.24/5.32 c GARBAGE COLLECT
5.24/5.32 c rational objective 250.5
5.54/5.62 c #Conflicts: 132000 | #Constraints: 8243
5.54/5.62 c #Conflicts: 133000 | #Constraints: 9243
5.54/5.62 c #Conflicts: 134000 | #Constraints: 10243
5.54/5.62 c #Conflicts: 135000 | #Constraints: 11243
5.54/5.62 c #Conflicts: 136000 | #Constraints: 12243
5.54/5.62 c #Conflicts: 137000 | #Constraints: 13243
5.54/5.62 c #Conflicts: 138000 | #Constraints: 14243
5.54/5.62 c #Conflicts: 139000 | #Constraints: 15243
5.54/5.62 c INPROCESSING
5.54/5.62 c GARBAGE COLLECT
5.54/5.62 c rational objective 250.5
5.84/5.96 c #Conflicts: 140000 | #Constraints: 8847
5.84/5.96 c #Conflicts: 141000 | #Constraints: 9847
5.84/5.96 c #Conflicts: 142000 | #Constraints: 10847
5.84/5.96 c #Conflicts: 143000 | #Constraints: 11847
5.84/5.96 c #Conflicts: 144000 | #Constraints: 12847
5.84/5.96 c #Conflicts: 145000 | #Constraints: 13847
5.84/5.96 c #Conflicts: 146000 | #Constraints: 14847
5.84/5.96 c #Conflicts: 147000 | #Constraints: 15847
5.84/5.96 c INPROCESSING
5.84/5.96 c GARBAGE COLLECT
5.84/5.96 c rational objective 250.5
6.14/6.26 c #Conflicts: 148000 | #Constraints: 9238
6.14/6.26 c #Conflicts: 149000 | #Constraints: 10238
6.14/6.26 c #Conflicts: 150000 | #Constraints: 11238
6.14/6.26 c #Conflicts: 151000 | #Constraints: 12238
6.14/6.26 c #Conflicts: 152000 | #Constraints: 13238
6.14/6.26 c #Conflicts: 153000 | #Constraints: 14238
6.14/6.26 c #Conflicts: 154000 | #Constraints: 15238
6.14/6.26 c #Conflicts: 155000 | #Constraints: 16238
6.14/6.26 c INPROCESSING
6.14/6.26 c GARBAGE COLLECT
6.14/6.26 c rational objective 250.5
6.44/6.59 c #Conflicts: 156000 | #Constraints: 9445
6.44/6.59 c #Conflicts: 157000 | #Constraints: 10445
6.44/6.59 c #Conflicts: 158000 | #Constraints: 11445
6.44/6.59 c #Conflicts: 159000 | #Constraints: 12445
6.44/6.59 c #Conflicts: 160000 | #Constraints: 13445
6.44/6.59 c #Conflicts: 161000 | #Constraints: 14445
6.44/6.59 c #Conflicts: 162000 | #Constraints: 15445
6.44/6.59 c #Conflicts: 163000 | #Constraints: 16445
6.44/6.59 c INPROCESSING
6.44/6.59 c GARBAGE COLLECT
6.44/6.59 c rational objective 250.5
6.84/6.93 c #Conflicts: 164000 | #Constraints: 9451
6.84/6.93 c #Conflicts: 165000 | #Constraints: 10451
6.84/6.93 c #Conflicts: 166000 | #Constraints: 11451
6.84/6.93 c #Conflicts: 167000 | #Constraints: 12451
6.84/6.93 c #Conflicts: 168000 | #Constraints: 13451
6.84/6.93 c #Conflicts: 169000 | #Constraints: 14451
6.84/6.93 c #Conflicts: 170000 | #Constraints: 15451
6.84/6.93 c #Conflicts: 171000 | #Constraints: 16451
6.84/6.93 c INPROCESSING
6.84/6.93 c GARBAGE COLLECT
6.84/6.93 c rational objective 250.5
7.14/7.26 c #Conflicts: 172000 | #Constraints: 9255
7.14/7.26 c #Conflicts: 173000 | #Constraints: 10255
7.14/7.26 c #Conflicts: 174000 | #Constraints: 11255
7.14/7.26 c #Conflicts: 175000 | #Constraints: 12255
7.14/7.26 c #Conflicts: 176000 | #Constraints: 13255
7.14/7.26 c #Conflicts: 177000 | #Constraints: 14255
7.14/7.26 c #Conflicts: 178000 | #Constraints: 15255
7.14/7.26 c #Conflicts: 179000 | #Constraints: 16255
7.14/7.26 c #Conflicts: 180000 | #Constraints: 17255
7.14/7.26 c INPROCESSING
7.14/7.26 c GARBAGE COLLECT
7.14/7.26 c rational objective 250.5
7.44/7.58 c #Conflicts: 181000 | #Constraints: 9849
7.44/7.58 c #Conflicts: 182000 | #Constraints: 10849
7.44/7.58 c #Conflicts: 183000 | #Constraints: 11849
7.44/7.58 c #Conflicts: 184000 | #Constraints: 12849
7.44/7.58 c #Conflicts: 185000 | #Constraints: 13849
7.44/7.58 c #Conflicts: 186000 | #Constraints: 14849
7.44/7.58 c #Conflicts: 187000 | #Constraints: 15849
7.44/7.58 c #Conflicts: 188000 | #Constraints: 16849
7.44/7.58 c #Conflicts: 189000 | #Constraints: 17849
7.44/7.58 c INPROCESSING
7.44/7.58 c GARBAGE COLLECT
7.44/7.58 c rational objective 250.5
7.83/7.97 c #Conflicts: 190000 | #Constraints: 10248
7.83/7.97 c #Conflicts: 191000 | #Constraints: 11248
7.83/7.97 c #Conflicts: 192000 | #Constraints: 12248
7.83/7.97 c #Conflicts: 193000 | #Constraints: 13248
7.83/7.97 c #Conflicts: 194000 | #Constraints: 14248
7.83/7.97 c #Conflicts: 195000 | #Constraints: 15248
7.83/7.97 c #Conflicts: 196000 | #Constraints: 16248
7.83/7.97 c #Conflicts: 197000 | #Constraints: 17248
7.83/7.97 c #Conflicts: 198000 | #Constraints: 18248
7.83/7.97 c INPROCESSING
7.83/7.97 c GARBAGE COLLECT
7.83/7.97 c rational objective 250.5
8.23/8.36 c #Conflicts: 199000 | #Constraints: 10451
8.23/8.36 c #Conflicts: 200000 | #Constraints: 11451
8.23/8.36 c #Conflicts: 201000 | #Constraints: 12451
8.23/8.36 c #Conflicts: 202000 | #Constraints: 13451
8.23/8.36 c #Conflicts: 203000 | #Constraints: 14452
8.23/8.36 c #Conflicts: 204000 | #Constraints: 15452
8.23/8.36 c #Conflicts: 205000 | #Constraints: 16452
8.23/8.36 c #Conflicts: 206000 | #Constraints: 17452
8.23/8.36 c #Conflicts: 207000 | #Constraints: 18452
8.23/8.36 c INPROCESSING
8.23/8.36 c GARBAGE COLLECT
8.23/8.36 c rational objective 250.5
8.73/8.80 c #Conflicts: 208000 | #Constraints: 10459
8.73/8.80 c #Conflicts: 209000 | #Constraints: 11459
8.73/8.80 c #Conflicts: 210000 | #Constraints: 12459
8.73/8.80 c #Conflicts: 211000 | #Constraints: 13459
8.73/8.80 c #Conflicts: 212000 | #Constraints: 14459
8.73/8.80 c #Conflicts: 213000 | #Constraints: 15459
8.73/8.80 c #Conflicts: 214000 | #Constraints: 16459
8.73/8.80 c #Conflicts: 215000 | #Constraints: 17459
8.73/8.80 c #Conflicts: 216000 | #Constraints: 18459
8.73/8.80 c INPROCESSING
8.73/8.80 c GARBAGE COLLECT
8.73/8.80 c rational objective 250.5
9.03/9.17 c #Conflicts: 217000 | #Constraints: 10262
9.03/9.17 c #Conflicts: 218000 | #Constraints: 11262
9.03/9.17 c #Conflicts: 219000 | #Constraints: 12262
9.03/9.17 c #Conflicts: 220000 | #Constraints: 13262
9.03/9.17 c #Conflicts: 221000 | #Constraints: 14262
9.03/9.17 c #Conflicts: 222000 | #Constraints: 15262
9.03/9.17 c #Conflicts: 223000 | #Constraints: 16262
9.03/9.17 c #Conflicts: 224000 | #Constraints: 17262
9.03/9.17 c #Conflicts: 225000 | #Constraints: 18262
9.03/9.17 c #Conflicts: 226000 | #Constraints: 19262
9.03/9.17 c INPROCESSING
9.03/9.17 c GARBAGE COLLECT
9.03/9.17 c rational objective 250.5
9.43/9.58 c #Conflicts: 227000 | #Constraints: 10866
9.43/9.58 c #Conflicts: 228000 | #Constraints: 11866
9.43/9.58 c #Conflicts: 229000 | #Constraints: 12866
9.43/9.58 c #Conflicts: 230000 | #Constraints: 13866
9.43/9.58 c #Conflicts: 231000 | #Constraints: 14866
9.43/9.58 c #Conflicts: 232000 | #Constraints: 15866
9.43/9.58 c #Conflicts: 233000 | #Constraints: 16866
9.43/9.58 c #Conflicts: 234000 | #Constraints: 17866
9.43/9.58 c #Conflicts: 235000 | #Constraints: 18866
9.43/9.58 c #Conflicts: 236000 | #Constraints: 19866
9.43/9.58 c INPROCESSING
9.43/9.58 c GARBAGE COLLECT
9.43/9.58 c rational objective 250.5
9.83/9.96 c #Conflicts: 237000 | #Constraints: 11257
9.83/9.96 c #Conflicts: 238000 | #Constraints: 12257
9.83/9.96 c #Conflicts: 239000 | #Constraints: 13257
9.83/9.96 c #Conflicts: 240000 | #Constraints: 14257
9.83/9.96 c #Conflicts: 241000 | #Constraints: 15257
9.83/9.96 c #Conflicts: 242000 | #Constraints: 16257
9.83/9.96 c #Conflicts: 243000 | #Constraints: 17257
9.83/9.96 c #Conflicts: 244000 | #Constraints: 18257
9.83/9.96 c #Conflicts: 245000 | #Constraints: 19257
9.83/9.96 c #Conflicts: 246000 | #Constraints: 20257
9.83/9.96 c INPROCESSING
9.83/9.96 c GARBAGE COLLECT
9.83/9.96 c rational objective 250.5
10.23/10.35 c #Conflicts: 247000 | #Constraints: 11464
10.23/10.35 c #Conflicts: 248000 | #Constraints: 12464
10.23/10.35 c #Conflicts: 249000 | #Constraints: 13464
10.23/10.35 c #Conflicts: 250000 | #Constraints: 14464
10.23/10.35 c #Conflicts: 251000 | #Constraints: 15464
10.23/10.35 c #Conflicts: 252000 | #Constraints: 16464
10.23/10.35 c #Conflicts: 253000 | #Constraints: 17464
10.23/10.35 c #Conflicts: 254000 | #Constraints: 18464
10.23/10.35 c #Conflicts: 255000 | #Constraints: 19464
10.23/10.35 c #Conflicts: 256000 | #Constraints: 20464
10.23/10.35 c INPROCESSING
10.23/10.35 c GARBAGE COLLECT
10.23/10.35 c rational objective 250.5
10.63/10.74 c #Conflicts: 257000 | #Constraints: 11456
10.63/10.74 c #Conflicts: 258000 | #Constraints: 12456
10.63/10.74 c #Conflicts: 259000 | #Constraints: 13456
10.63/10.74 c #Conflicts: 260000 | #Constraints: 14456
10.63/10.74 c #Conflicts: 261000 | #Constraints: 15456
10.63/10.74 c #Conflicts: 262000 | #Constraints: 16456
10.63/10.74 c #Conflicts: 263000 | #Constraints: 17456
10.63/10.74 c #Conflicts: 264000 | #Constraints: 18456
10.63/10.74 c #Conflicts: 265000 | #Constraints: 19456
10.63/10.74 c #Conflicts: 266000 | #Constraints: 20456
10.63/10.74 c INPROCESSING
10.63/10.74 c GARBAGE COLLECT
10.63/10.74 c rational objective 250.5
11.03/11.17 c #Conflicts: 267000 | #Constraints: 11262
11.03/11.17 c #Conflicts: 268000 | #Constraints: 12262
11.03/11.17 c #Conflicts: 269000 | #Constraints: 13262
11.03/11.17 c #Conflicts: 270000 | #Constraints: 14262
11.03/11.17 c #Conflicts: 271000 | #Constraints: 15262
11.03/11.17 c #Conflicts: 272000 | #Constraints: 16262
11.03/11.17 c #Conflicts: 273000 | #Constraints: 17262
11.03/11.17 c #Conflicts: 274000 | #Constraints: 18262
11.03/11.17 c #Conflicts: 275000 | #Constraints: 19262
11.03/11.17 c #Conflicts: 276000 | #Constraints: 20262
11.03/11.17 c #Conflicts: 277000 | #Constraints: 21262
11.03/11.17 c INPROCESSING
11.03/11.17 c GARBAGE COLLECT
11.03/11.17 c rational objective 250.5
11.42/11.59 c #Conflicts: 278000 | #Constraints: 11850
11.42/11.59 c #Conflicts: 279000 | #Constraints: 12850
11.42/11.59 c #Conflicts: 280000 | #Constraints: 13850
11.42/11.59 c #Conflicts: 281000 | #Constraints: 14850
11.42/11.59 c #Conflicts: 282000 | #Constraints: 15851
11.42/11.59 c #Conflicts: 283000 | #Constraints: 16851
11.42/11.59 c #Conflicts: 284000 | #Constraints: 17851
11.42/11.59 c #Conflicts: 285000 | #Constraints: 18851
11.42/11.59 c #Conflicts: 286000 | #Constraints: 19851
11.42/11.59 c #Conflicts: 287000 | #Constraints: 20851
11.42/11.59 c #Conflicts: 288000 | #Constraints: 21851
11.42/11.59 c INPROCESSING
11.42/11.59 c GARBAGE COLLECT
11.42/11.59 c rational objective 250.5
11.93/12.03 c #Conflicts: 289000 | #Constraints: 12246
11.93/12.03 c #Conflicts: 290000 | #Constraints: 13246
11.93/12.03 c #Conflicts: 291000 | #Constraints: 14246
11.93/12.03 c #Conflicts: 292000 | #Constraints: 15246
11.93/12.03 c #Conflicts: 293000 | #Constraints: 16246
11.93/12.03 c #Conflicts: 294000 | #Constraints: 17246
11.93/12.03 c #Conflicts: 295000 | #Constraints: 18246
11.93/12.03 c #Conflicts: 296000 | #Constraints: 19246
11.93/12.03 c #Conflicts: 297000 | #Constraints: 20246
11.93/12.03 c #Conflicts: 298000 | #Constraints: 21246
11.93/12.03 c #Conflicts: 299000 | #Constraints: 22246
11.93/12.03 c INPROCESSING
11.93/12.03 c GARBAGE COLLECT
11.93/12.03 c rational objective 250.5
12.32/12.49 c #Conflicts: 300000 | #Constraints: 12452
12.32/12.49 c #Conflicts: 301000 | #Constraints: 13452
12.32/12.49 c #Conflicts: 302000 | #Constraints: 14452
12.32/12.49 c #Conflicts: 303000 | #Constraints: 15452
12.32/12.49 c #Conflicts: 304000 | #Constraints: 16452
12.32/12.49 c #Conflicts: 305000 | #Constraints: 17452
12.32/12.49 c #Conflicts: 306000 | #Constraints: 18452
12.32/12.49 c #Conflicts: 307000 | #Constraints: 19452
12.32/12.49 c #Conflicts: 308000 | #Constraints: 20452
12.32/12.49 c #Conflicts: 309000 | #Constraints: 21452
12.32/12.49 c #Conflicts: 310000 | #Constraints: 22452
12.32/12.49 c INPROCESSING
12.32/12.49 c GARBAGE COLLECT
12.32/12.49 c rational objective 250.5
12.82/12.96 c #Conflicts: 311000 | #Constraints: 12459
12.82/12.96 c #Conflicts: 312000 | #Constraints: 13459
12.82/12.96 c #Conflicts: 313000 | #Constraints: 14459
12.82/12.96 c #Conflicts: 314000 | #Constraints: 15459
12.82/12.96 c #Conflicts: 315000 | #Constraints: 16459
12.82/12.96 c #Conflicts: 316000 | #Constraints: 17459
12.82/12.96 c #Conflicts: 317000 | #Constraints: 18459
12.82/12.96 c #Conflicts: 318000 | #Constraints: 19459
12.82/12.96 c #Conflicts: 319000 | #Constraints: 20459
12.82/12.96 c #Conflicts: 320000 | #Constraints: 21459
12.82/12.96 c #Conflicts: 321000 | #Constraints: 22459
12.82/12.96 c INPROCESSING
12.82/12.96 c GARBAGE COLLECT
12.82/12.96 c rational objective 250.5
13.31/13.44 c #Conflicts: 322000 | #Constraints: 12263
13.31/13.44 c #Conflicts: 323000 | #Constraints: 13263
13.31/13.44 c #Conflicts: 324000 | #Constraints: 14263
13.31/13.44 c #Conflicts: 325000 | #Constraints: 15263
13.31/13.44 c #Conflicts: 326000 | #Constraints: 16263
13.31/13.44 c #Conflicts: 327000 | #Constraints: 17263
13.31/13.44 c #Conflicts: 328000 | #Constraints: 18263
13.31/13.44 c #Conflicts: 329000 | #Constraints: 19263
13.31/13.44 c #Conflicts: 330000 | #Constraints: 20263
13.31/13.44 c #Conflicts: 331000 | #Constraints: 21263
13.31/13.44 c #Conflicts: 332000 | #Constraints: 22263
13.31/13.44 c #Conflicts: 333000 | #Constraints: 23263
13.31/13.44 c INPROCESSING
13.31/13.44 c GARBAGE COLLECT
13.31/13.44 c rational objective 250.5
13.81/13.90 c #Conflicts: 334000 | #Constraints: 12856
13.81/13.90 c #Conflicts: 335000 | #Constraints: 13856
13.81/13.90 c #Conflicts: 336000 | #Constraints: 14856
13.81/13.90 c #Conflicts: 337000 | #Constraints: 15856
13.81/13.90 c #Conflicts: 338000 | #Constraints: 16856
13.81/13.90 c #Conflicts: 339000 | #Constraints: 17856
13.81/13.90 c #Conflicts: 340000 | #Constraints: 18856
13.81/13.90 c #Conflicts: 341000 | #Constraints: 19856
13.81/13.90 c #Conflicts: 342000 | #Constraints: 20856
13.81/13.90 c #Conflicts: 343000 | #Constraints: 21856
13.81/13.90 c #Conflicts: 344000 | #Constraints: 22856
13.81/13.90 c #Conflicts: 345000 | #Constraints: 23856
13.81/13.90 c INPROCESSING
13.81/13.90 c GARBAGE COLLECT
13.81/13.90 c rational objective 250.5
14.21/14.37 c #Conflicts: 346000 | #Constraints: 13262
14.21/14.37 c #Conflicts: 347000 | #Constraints: 14262
14.21/14.37 c #Conflicts: 348000 | #Constraints: 15262
14.21/14.37 c #Conflicts: 349000 | #Constraints: 16262
14.21/14.37 c #Conflicts: 350000 | #Constraints: 17262
14.21/14.37 c #Conflicts: 351000 | #Constraints: 18262
14.21/14.37 c #Conflicts: 352000 | #Constraints: 19262
14.21/14.37 c #Conflicts: 353000 | #Constraints: 20262
14.21/14.37 c #Conflicts: 354000 | #Constraints: 21262
14.21/14.37 c #Conflicts: 355000 | #Constraints: 22262
14.21/14.37 c #Conflicts: 356000 | #Constraints: 23262
14.21/14.37 c #Conflicts: 357000 | #Constraints: 24262
14.21/14.37 c INPROCESSING
14.21/14.37 c GARBAGE COLLECT
14.21/14.37 c rational objective 250.5
14.71/14.85 c #Conflicts: 358000 | #Constraints: 13461
14.71/14.85 c #Conflicts: 359000 | #Constraints: 14461
14.71/14.85 c #Conflicts: 360000 | #Constraints: 15461
14.71/14.85 c #Conflicts: 361000 | #Constraints: 16461
14.71/14.85 c #Conflicts: 362000 | #Constraints: 17461
14.71/14.85 c #Conflicts: 363000 | #Constraints: 18461
14.71/14.85 c #Conflicts: 364000 | #Constraints: 19461
14.71/14.85 c #Conflicts: 365000 | #Constraints: 20461
14.71/14.85 c #Conflicts: 366000 | #Constraints: 21461
14.71/14.85 c #Conflicts: 367000 | #Constraints: 22461
14.71/14.85 c #Conflicts: 368000 | #Constraints: 23461
14.71/14.85 c #Conflicts: 369000 | #Constraints: 24461
14.71/14.85 c INPROCESSING
14.71/14.85 c GARBAGE COLLECT
14.71/14.85 c rational objective 250.5
15.21/15.37 c #Conflicts: 370000 | #Constraints: 13464
15.21/15.37 c #Conflicts: 371000 | #Constraints: 14464
15.21/15.37 c #Conflicts: 372000 | #Constraints: 15464
15.21/15.37 c #Conflicts: 373000 | #Constraints: 16464
15.21/15.37 c #Conflicts: 374000 | #Constraints: 17464
15.21/15.37 c #Conflicts: 375000 | #Constraints: 18464
15.21/15.37 c #Conflicts: 376000 | #Constraints: 19464
15.21/15.37 c #Conflicts: 377000 | #Constraints: 20464
15.21/15.37 c #Conflicts: 378000 | #Constraints: 21464
15.21/15.37 c #Conflicts: 379000 | #Constraints: 22464
15.21/15.37 c #Conflicts: 380000 | #Constraints: 23464
15.21/15.37 c #Conflicts: 381000 | #Constraints: 24464
15.21/15.37 c INPROCESSING
15.21/15.37 c GARBAGE COLLECT
15.21/15.37 c rational objective 250.5
15.71/15.86 c #Conflicts: 382000 | #Constraints: 13254
15.71/15.86 c #Conflicts: 383000 | #Constraints: 14254
15.71/15.86 c #Conflicts: 384000 | #Constraints: 15254
15.71/15.86 c #Conflicts: 385000 | #Constraints: 16254
15.71/15.86 c #Conflicts: 386000 | #Constraints: 17254
15.71/15.86 c #Conflicts: 387000 | #Constraints: 18254
15.71/15.86 c #Conflicts: 388000 | #Constraints: 19254
15.71/15.86 c #Conflicts: 389000 | #Constraints: 20254
15.71/15.86 c #Conflicts: 390000 | #Constraints: 21254
15.71/15.86 c #Conflicts: 391000 | #Constraints: 22254
15.71/15.86 c #Conflicts: 392000 | #Constraints: 23254
15.71/15.86 c #Conflicts: 393000 | #Constraints: 24254
15.71/15.86 c #Conflicts: 394000 | #Constraints: 25254
15.71/15.86 c INPROCESSING
15.71/15.86 c GARBAGE COLLECT
15.71/15.86 c rational objective 250.5
16.21/16.36 c #Conflicts: 395000 | #Constraints: 13853
16.21/16.36 c #Conflicts: 396000 | #Constraints: 14854
16.21/16.36 c #Conflicts: 397000 | #Constraints: 15854
16.21/16.36 c #Conflicts: 398000 | #Constraints: 16854
16.21/16.36 c #Conflicts: 399000 | #Constraints: 17854
16.21/16.36 c #Conflicts: 400000 | #Constraints: 18854
16.21/16.36 c #Conflicts: 401000 | #Constraints: 19854
16.21/16.36 c #Conflicts: 402000 | #Constraints: 20854
16.21/16.36 c #Conflicts: 403000 | #Constraints: 21854
16.21/16.36 c #Conflicts: 404000 | #Constraints: 22854
16.21/16.36 c #Conflicts: 405000 | #Constraints: 23854
16.21/16.36 c #Conflicts: 406000 | #Constraints: 24854
16.21/16.36 c #Conflicts: 407000 | #Constraints: 25854
16.21/16.36 c INPROCESSING
16.21/16.36 c GARBAGE COLLECT
16.21/16.36 c rational objective 250.5
16.71/16.89 c #Conflicts: 408000 | #Constraints: 14256
16.71/16.89 c #Conflicts: 409000 | #Constraints: 15256
16.71/16.89 c #Conflicts: 410000 | #Constraints: 16256
16.71/16.89 c #Conflicts: 411000 | #Constraints: 17256
16.71/16.89 c #Conflicts: 412000 | #Constraints: 18256
16.71/16.89 c #Conflicts: 413000 | #Constraints: 19257
16.71/16.89 c #Conflicts: 414000 | #Constraints: 20257
16.71/16.89 c #Conflicts: 415000 | #Constraints: 21257
16.71/16.89 c #Conflicts: 416000 | #Constraints: 22257
16.71/16.89 c #Conflicts: 417000 | #Constraints: 23257
16.71/16.89 c #Conflicts: 418000 | #Constraints: 24257
16.71/16.89 c #Conflicts: 419000 | #Constraints: 25257
16.71/16.89 c #Conflicts: 420000 | #Constraints: 26257
16.71/16.89 c INPROCESSING
16.71/16.89 c GARBAGE COLLECT
16.71/16.89 c rational objective 250.5
17.31/17.45 c #Conflicts: 421000 | #Constraints: 14464
17.31/17.45 c #Conflicts: 422000 | #Constraints: 15464
17.31/17.45 c #Conflicts: 423000 | #Constraints: 16464
17.31/17.45 c #Conflicts: 424000 | #Constraints: 17464
17.31/17.45 c #Conflicts: 425000 | #Constraints: 18464
17.31/17.45 c #Conflicts: 426000 | #Constraints: 19464
17.31/17.45 c #Conflicts: 427000 | #Constraints: 20464
17.31/17.45 c #Conflicts: 428000 | #Constraints: 21464
17.31/17.45 c #Conflicts: 429000 | #Constraints: 22464
17.31/17.45 c #Conflicts: 430000 | #Constraints: 23464
17.31/17.45 c #Conflicts: 431000 | #Constraints: 24464
17.31/17.45 c #Conflicts: 432000 | #Constraints: 25464
17.31/17.45 c #Conflicts: 433000 | #Constraints: 26464
17.31/17.45 c INPROCESSING
17.31/17.45 c GARBAGE COLLECT
17.31/17.45 c rational objective 250.5
17.91/18.09 c #Conflicts: 434000 | #Constraints: 14466
17.91/18.09 c #Conflicts: 435000 | #Constraints: 15466
17.91/18.09 c #Conflicts: 436000 | #Constraints: 16466
17.91/18.09 c #Conflicts: 437000 | #Constraints: 17466
17.91/18.09 c #Conflicts: 438000 | #Constraints: 18466
17.91/18.09 c #Conflicts: 439000 | #Constraints: 19466
17.91/18.09 c #Conflicts: 440000 | #Constraints: 20466
17.91/18.09 c #Conflicts: 441000 | #Constraints: 21466
17.91/18.09 c #Conflicts: 442000 | #Constraints: 22466
17.91/18.09 c #Conflicts: 443000 | #Constraints: 23466
17.91/18.09 c #Conflicts: 444000 | #Constraints: 24466
17.91/18.09 c #Conflicts: 445000 | #Constraints: 25466
17.91/18.09 c #Conflicts: 446000 | #Constraints: 26466
17.91/18.09 c INPROCESSING
17.91/18.09 c GARBAGE COLLECT
17.91/18.09 c rational objective 250.5
18.80/18.90 c #Conflicts: 447000 | #Constraints: 14258
18.80/18.90 c #Conflicts: 448000 | #Constraints: 15258
18.80/18.90 c #Conflicts: 449000 | #Constraints: 16258
18.80/18.90 c #Conflicts: 450000 | #Constraints: 17258
18.80/18.90 c #Conflicts: 451000 | #Constraints: 18258
18.80/18.90 c #Conflicts: 452000 | #Constraints: 19258
18.80/18.90 c #Conflicts: 453000 | #Constraints: 20258
18.80/18.90 c #Conflicts: 454000 | #Constraints: 21258
18.80/18.90 c #Conflicts: 455000 | #Constraints: 22258
18.80/18.90 c #Conflicts: 456000 | #Constraints: 23258
18.80/18.90 c #Conflicts: 457000 | #Constraints: 24258
18.80/18.90 c #Conflicts: 458000 | #Constraints: 25258
18.80/18.90 c #Conflicts: 459000 | #Constraints: 26258
18.80/18.90 c #Conflicts: 460000 | #Constraints: 27258
18.80/18.90 c INPROCESSING
18.80/18.90 c GARBAGE COLLECT
18.80/18.90 c rational objective 250.5
19.50/19.63 c #Conflicts: 461000 | #Constraints: 14863
19.50/19.63 c #Conflicts: 462000 | #Constraints: 15863
19.50/19.63 c #Conflicts: 463000 | #Constraints: 16863
19.50/19.63 c #Conflicts: 464000 | #Constraints: 17863
19.50/19.63 c #Conflicts: 465000 | #Constraints: 18863
19.50/19.63 c #Conflicts: 466000 | #Constraints: 19863
19.50/19.63 c #Conflicts: 467000 | #Constraints: 20863
19.50/19.63 c #Conflicts: 468000 | #Constraints: 21863
19.50/19.63 c #Conflicts: 469000 | #Constraints: 22863
19.50/19.63 c #Conflicts: 470000 | #Constraints: 23863
19.50/19.63 c #Conflicts: 471000 | #Constraints: 24863
19.50/19.63 c #Conflicts: 472000 | #Constraints: 25863
19.50/19.63 c #Conflicts: 473000 | #Constraints: 26863
19.50/19.63 c #Conflicts: 474000 | #Constraints: 27863
19.50/19.63 c INPROCESSING
19.50/19.63 c GARBAGE COLLECT
19.50/19.63 c rational objective 250.5
20.10/20.21 c #Conflicts: 475000 | #Constraints: 15268
20.10/20.21 c #Conflicts: 476000 | #Constraints: 16268
20.10/20.21 c #Conflicts: 477000 | #Constraints: 17268
20.10/20.21 c #Conflicts: 478000 | #Constraints: 18268
20.10/20.21 c #Conflicts: 479000 | #Constraints: 19268
20.10/20.21 c #Conflicts: 480000 | #Constraints: 20268
20.10/20.21 c #Conflicts: 481000 | #Constraints: 21268
20.10/20.21 c #Conflicts: 482000 | #Constraints: 22268
20.10/20.21 c #Conflicts: 483000 | #Constraints: 23268
20.10/20.21 c #Conflicts: 484000 | #Constraints: 24268
20.10/20.21 c #Conflicts: 485000 | #Constraints: 25268
20.10/20.21 c #Conflicts: 486000 | #Constraints: 26268
20.10/20.21 c #Conflicts: 487000 | #Constraints: 27268
20.10/20.21 c #Conflicts: 488000 | #Constraints: 28268
20.10/20.21 c INPROCESSING
20.10/20.21 c GARBAGE COLLECT
20.10/20.21 c rational objective 250.5
20.70/20.85 c #Conflicts: 489000 | #Constraints: 15466
20.70/20.85 c #Conflicts: 490000 | #Constraints: 16466
20.70/20.85 c #Conflicts: 491000 | #Constraints: 17466
20.70/20.85 c #Conflicts: 492000 | #Constraints: 18466
20.70/20.85 c #Conflicts: 493000 | #Constraints: 19466
20.70/20.85 c #Conflicts: 494000 | #Constraints: 20466
20.70/20.85 c #Conflicts: 495000 | #Constraints: 21466
20.70/20.85 c #Conflicts: 496000 | #Constraints: 22466
20.70/20.85 c #Conflicts: 497000 | #Constraints: 23466
20.70/20.85 c #Conflicts: 498000 | #Constraints: 24466
20.70/20.85 c #Conflicts: 499000 | #Constraints: 25466
20.70/20.85 c #Conflicts: 500000 | #Constraints: 26466
20.70/20.85 c #Conflicts: 501000 | #Constraints: 27466
20.70/20.85 c #Conflicts: 502000 | #Constraints: 28466
20.70/20.85 c INPROCESSING
20.70/20.85 c GARBAGE COLLECT
20.70/20.85 c rational objective 250.5
21.39/21.55 c #Conflicts: 503000 | #Constraints: 15466
21.39/21.55 c #Conflicts: 504000 | #Constraints: 16466
21.39/21.55 c #Conflicts: 505000 | #Constraints: 17466
21.39/21.55 c #Conflicts: 506000 | #Constraints: 18466
21.39/21.55 c #Conflicts: 507000 | #Constraints: 19466
21.39/21.55 c #Conflicts: 508000 | #Constraints: 20466
21.39/21.55 c #Conflicts: 509000 | #Constraints: 21466
21.39/21.55 c #Conflicts: 510000 | #Constraints: 22466
21.39/21.55 c #Conflicts: 511000 | #Constraints: 23466
21.39/21.55 c #Conflicts: 512000 | #Constraints: 24466
21.39/21.55 c #Conflicts: 513000 | #Constraints: 25466
21.39/21.55 c #Conflicts: 514000 | #Constraints: 26466
21.39/21.55 c #Conflicts: 515000 | #Constraints: 27466
21.39/21.55 c #Conflicts: 516000 | #Constraints: 28466
21.39/21.55 c INPROCESSING
21.39/21.55 c GARBAGE COLLECT
21.39/21.55 c rational objective 250.5
22.00/22.18 c #Conflicts: 517000 | #Constraints: 15257
22.00/22.18 c #Conflicts: 518000 | #Constraints: 16257
22.00/22.18 c #Conflicts: 519000 | #Constraints: 17257
22.00/22.18 c #Conflicts: 520000 | #Constraints: 18257
22.00/22.18 c #Conflicts: 521000 | #Constraints: 19257
22.00/22.18 c #Conflicts: 522000 | #Constraints: 20257
22.00/22.18 c #Conflicts: 523000 | #Constraints: 21257
22.00/22.18 c #Conflicts: 524000 | #Constraints: 22257
22.00/22.18 c #Conflicts: 525000 | #Constraints: 23257
22.00/22.18 c #Conflicts: 526000 | #Constraints: 24257
22.00/22.18 c #Conflicts: 527000 | #Constraints: 25257
22.00/22.18 c #Conflicts: 528000 | #Constraints: 26257
22.00/22.18 c #Conflicts: 529000 | #Constraints: 27257
22.00/22.18 c #Conflicts: 530000 | #Constraints: 28257
22.00/22.18 c #Conflicts: 531000 | #Constraints: 29257
22.00/22.18 c INPROCESSING
22.00/22.18 c GARBAGE COLLECT
22.00/22.18 c rational objective 250.5
22.59/22.78 c #Conflicts: 532000 | #Constraints: 15857
22.59/22.78 c #Conflicts: 533000 | #Constraints: 16857
22.59/22.78 c #Conflicts: 534000 | #Constraints: 17857
22.59/22.78 c #Conflicts: 535000 | #Constraints: 18857
22.59/22.78 c #Conflicts: 536000 | #Constraints: 19857
22.59/22.78 c #Conflicts: 537000 | #Constraints: 20857
22.59/22.78 c #Conflicts: 538000 | #Constraints: 21857
22.59/22.78 c #Conflicts: 539000 | #Constraints: 22857
22.59/22.78 c #Conflicts: 540000 | #Constraints: 23857
22.59/22.78 c #Conflicts: 541000 | #Constraints: 24857
22.59/22.78 c #Conflicts: 542000 | #Constraints: 25857
22.59/22.78 c #Conflicts: 543000 | #Constraints: 26857
22.59/22.78 c #Conflicts: 544000 | #Constraints: 27857
22.59/22.78 c #Conflicts: 545000 | #Constraints: 28857
22.59/22.78 c #Conflicts: 546000 | #Constraints: 29857
22.59/22.78 c INPROCESSING
22.59/22.78 c GARBAGE COLLECT
22.59/22.78 c rational objective 250.5
23.39/23.51 c #Conflicts: 547000 | #Constraints: 16264
23.39/23.51 c #Conflicts: 548000 | #Constraints: 17264
23.39/23.51 c #Conflicts: 549000 | #Constraints: 18264
23.39/23.51 c #Conflicts: 550000 | #Constraints: 19264
23.39/23.51 c #Conflicts: 551000 | #Constraints: 20264
23.39/23.51 c #Conflicts: 552000 | #Constraints: 21264
23.39/23.51 c #Conflicts: 553000 | #Constraints: 22264
23.39/23.51 c #Conflicts: 554000 | #Constraints: 23264
23.39/23.51 c #Conflicts: 555000 | #Constraints: 24264
23.39/23.51 c #Conflicts: 556000 | #Constraints: 25264
23.39/23.51 c #Conflicts: 557000 | #Constraints: 26264
23.39/23.51 c #Conflicts: 558000 | #Constraints: 27264
23.39/23.51 c #Conflicts: 559000 | #Constraints: 28264
23.39/23.51 c #Conflicts: 560000 | #Constraints: 29264
23.39/23.51 c #Conflicts: 561000 | #Constraints: 30264
23.39/23.51 c INPROCESSING
23.39/23.51 c GARBAGE COLLECT
23.39/23.51 c rational objective 250.5
24.08/24.22 c #Conflicts: 562000 | #Constraints: 16459
24.08/24.22 c #Conflicts: 563000 | #Constraints: 17459
24.08/24.22 c #Conflicts: 564000 | #Constraints: 18459
24.08/24.22 c #Conflicts: 565000 | #Constraints: 19459
24.08/24.22 c #Conflicts: 566000 | #Constraints: 20459
24.08/24.22 c #Conflicts: 567000 | #Constraints: 21459
24.08/24.22 c #Conflicts: 568000 | #Constraints: 22459
24.08/24.22 c #Conflicts: 569000 | #Constraints: 23459
24.08/24.22 c #Conflicts: 570000 | #Constraints: 24459
24.08/24.22 c #Conflicts: 571000 | #Constraints: 25459
24.08/24.22 c #Conflicts: 572000 | #Constraints: 26459
24.08/24.22 c #Conflicts: 573000 | #Constraints: 27459
24.08/24.22 c #Conflicts: 574000 | #Constraints: 28459
24.08/24.22 c #Conflicts: 575000 | #Constraints: 29459
24.08/24.22 c #Conflicts: 576000 | #Constraints: 30459
24.08/24.22 c INPROCESSING
24.08/24.22 c GARBAGE COLLECT
24.08/24.22 c rational objective 250.5
24.68/24.86 c #Conflicts: 577000 | #Constraints: 16463
24.68/24.86 c #Conflicts: 578000 | #Constraints: 17463
24.68/24.86 c #Conflicts: 579000 | #Constraints: 18463
24.68/24.86 c #Conflicts: 580000 | #Constraints: 19463
24.68/24.86 c #Conflicts: 581000 | #Constraints: 20463
24.68/24.86 c #Conflicts: 582000 | #Constraints: 21463
24.68/24.86 c #Conflicts: 583000 | #Constraints: 22463
24.68/24.86 c #Conflicts: 584000 | #Constraints: 23463
24.68/24.86 c #Conflicts: 585000 | #Constraints: 24463
24.68/24.86 c #Conflicts: 586000 | #Constraints: 25463
24.68/24.86 c #Conflicts: 587000 | #Constraints: 26463
24.68/24.86 c #Conflicts: 588000 | #Constraints: 27463
24.68/24.86 c #Conflicts: 589000 | #Constraints: 28463
24.68/24.86 c #Conflicts: 590000 | #Constraints: 29463
24.68/24.86 c #Conflicts: 591000 | #Constraints: 30463
24.68/24.86 c INPROCESSING
24.68/24.86 c GARBAGE COLLECT
24.68/24.86 c rational objective 250.5
25.38/25.57 c #Conflicts: 592000 | #Constraints: 16267
25.38/25.57 c #Conflicts: 593000 | #Constraints: 17267
25.38/25.57 c #Conflicts: 594000 | #Constraints: 18267
25.38/25.57 c #Conflicts: 595000 | #Constraints: 19267
25.38/25.57 c #Conflicts: 596000 | #Constraints: 20267
25.38/25.57 c #Conflicts: 597000 | #Constraints: 21267
25.38/25.57 c #Conflicts: 598000 | #Constraints: 22267
25.38/25.57 c #Conflicts: 599000 | #Constraints: 23267
25.38/25.57 c #Conflicts: 600000 | #Constraints: 24267
25.38/25.57 c #Conflicts: 601000 | #Constraints: 25267
25.38/25.57 c #Conflicts: 602000 | #Constraints: 26267
25.38/25.57 c #Conflicts: 603000 | #Constraints: 27267
25.38/25.57 c #Conflicts: 604000 | #Constraints: 28267
25.38/25.57 c #Conflicts: 605000 | #Constraints: 29267
25.38/25.57 c #Conflicts: 606000 | #Constraints: 30267
25.38/25.57 c #Conflicts: 607000 | #Constraints: 31267
25.38/25.57 c INPROCESSING
25.38/25.57 c GARBAGE COLLECT
25.38/25.57 c rational objective 250.5
26.08/26.24 c #Conflicts: 608000 | #Constraints: 16865
26.08/26.24 c #Conflicts: 609000 | #Constraints: 17865
26.08/26.24 c #Conflicts: 610000 | #Constraints: 18865
26.08/26.24 c #Conflicts: 611000 | #Constraints: 19865
26.08/26.24 c #Conflicts: 612000 | #Constraints: 20865
26.08/26.24 c #Conflicts: 613000 | #Constraints: 21865
26.08/26.24 c #Conflicts: 614000 | #Constraints: 22865
26.08/26.24 c #Conflicts: 615000 | #Constraints: 23865
26.08/26.24 c #Conflicts: 616000 | #Constraints: 24865
26.08/26.24 c #Conflicts: 617000 | #Constraints: 25865
26.08/26.24 c #Conflicts: 618000 | #Constraints: 26865
26.08/26.24 c #Conflicts: 619000 | #Constraints: 27865
26.08/26.24 c #Conflicts: 620000 | #Constraints: 28865
26.08/26.24 c #Conflicts: 621000 | #Constraints: 29865
26.08/26.24 c #Conflicts: 622000 | #Constraints: 30865
26.08/26.24 c #Conflicts: 623000 | #Constraints: 31865
26.08/26.24 c INPROCESSING
26.08/26.24 c GARBAGE COLLECT
26.08/26.24 c rational objective 250.5
26.78/26.94 c #Conflicts: 624000 | #Constraints: 17259
26.78/26.94 c #Conflicts: 625000 | #Constraints: 18259
26.78/26.94 c #Conflicts: 626000 | #Constraints: 19259
26.78/26.94 c #Conflicts: 627000 | #Constraints: 20259
26.78/26.94 c #Conflicts: 628000 | #Constraints: 21259
26.78/26.94 c #Conflicts: 629000 | #Constraints: 22259
26.78/26.94 c #Conflicts: 630000 | #Constraints: 23259
26.78/26.94 c #Conflicts: 631000 | #Constraints: 24259
26.78/26.94 c #Conflicts: 632000 | #Constraints: 25259
26.78/26.94 c #Conflicts: 633000 | #Constraints: 26259
26.78/26.94 c #Conflicts: 634000 | #Constraints: 27259
26.78/26.94 c #Conflicts: 635000 | #Constraints: 28259
26.78/26.94 c #Conflicts: 636000 | #Constraints: 29259
26.78/26.94 c #Conflicts: 637000 | #Constraints: 30259
26.78/26.94 c #Conflicts: 638000 | #Constraints: 31259
26.78/26.94 c #Conflicts: 639000 | #Constraints: 32259
26.78/26.94 c INPROCESSING
26.78/26.94 c GARBAGE COLLECT
26.78/26.94 c rational objective 250.5
27.47/27.65 c #Conflicts: 640000 | #Constraints: 17460
27.47/27.65 c #Conflicts: 641000 | #Constraints: 18460
27.47/27.65 c #Conflicts: 642000 | #Constraints: 19460
27.47/27.65 c #Conflicts: 643000 | #Constraints: 20460
27.47/27.65 c #Conflicts: 644000 | #Constraints: 21460
27.47/27.65 c #Conflicts: 645000 | #Constraints: 22460
27.47/27.65 c #Conflicts: 646000 | #Constraints: 23460
27.47/27.65 c #Conflicts: 647000 | #Constraints: 24460
27.47/27.65 c #Conflicts: 648000 | #Constraints: 25460
27.47/27.65 c #Conflicts: 649000 | #Constraints: 26460
27.47/27.65 c #Conflicts: 650000 | #Constraints: 27460
27.47/27.65 c #Conflicts: 651000 | #Constraints: 28460
27.47/27.65 c #Conflicts: 652000 | #Constraints: 29460
27.47/27.65 c #Conflicts: 653000 | #Constraints: 30460
27.47/27.65 c #Conflicts: 654000 | #Constraints: 31460
27.47/27.65 c #Conflicts: 655000 | #Constraints: 32460
27.47/27.65 c INPROCESSING
27.47/27.65 c GARBAGE COLLECT
27.47/27.65 c rational objective 250.5
28.17/28.37 c #Conflicts: 656000 | #Constraints: 17458
28.17/28.37 c #Conflicts: 657000 | #Constraints: 18458
28.17/28.37 c #Conflicts: 658000 | #Constraints: 19458
28.17/28.37 c #Conflicts: 659000 | #Constraints: 20458
28.17/28.37 c #Conflicts: 660000 | #Constraints: 21458
28.17/28.37 c #Conflicts: 661000 | #Constraints: 22458
28.17/28.37 c #Conflicts: 662000 | #Constraints: 23458
28.17/28.37 c #Conflicts: 663000 | #Constraints: 24458
28.17/28.37 c #Conflicts: 664000 | #Constraints: 25458
28.17/28.37 c #Conflicts: 665000 | #Constraints: 26458
28.17/28.37 c #Conflicts: 666000 | #Constraints: 27458
28.17/28.37 c #Conflicts: 667000 | #Constraints: 28458
28.17/28.37 c #Conflicts: 668000 | #Constraints: 29458
28.17/28.37 c #Conflicts: 669000 | #Constraints: 30458
28.17/28.37 c #Conflicts: 670000 | #Constraints: 31458
28.17/28.37 c #Conflicts: 671000 | #Constraints: 32458
28.17/28.37 c INPROCESSING
28.17/28.37 c GARBAGE COLLECT
28.17/28.37 c rational objective 250.5
28.97/29.10 c #Conflicts: 672000 | #Constraints: 17265
28.97/29.10 c #Conflicts: 673000 | #Constraints: 18265
28.97/29.10 c #Conflicts: 674000 | #Constraints: 19265
28.97/29.10 c #Conflicts: 675000 | #Constraints: 20265
28.97/29.10 c #Conflicts: 676000 | #Constraints: 21265
28.97/29.10 c #Conflicts: 677000 | #Constraints: 22265
28.97/29.10 c #Conflicts: 678000 | #Constraints: 23265
28.97/29.10 c #Conflicts: 679000 | #Constraints: 24265
28.97/29.10 c #Conflicts: 680000 | #Constraints: 25265
28.97/29.10 c #Conflicts: 681000 | #Constraints: 26265
28.97/29.10 c #Conflicts: 682000 | #Constraints: 27265
28.97/29.10 c #Conflicts: 683000 | #Constraints: 28265
28.97/29.10 c #Conflicts: 684000 | #Constraints: 29265
28.97/29.10 c #Conflicts: 685000 | #Constraints: 30265
28.97/29.10 c #Conflicts: 686000 | #Constraints: 31265
28.97/29.10 c #Conflicts: 687000 | #Constraints: 32265
28.97/29.10 c #Conflicts: 688000 | #Constraints: 33265
28.97/29.10 c INPROCESSING
28.97/29.10 c GARBAGE COLLECT
28.97/29.10 c rational objective 250.5
29.67/29.86 c #Conflicts: 689000 | #Constraints: 17873
29.67/29.86 c #Conflicts: 690000 | #Constraints: 18873
29.67/29.86 c #Conflicts: 691000 | #Constraints: 19873
29.67/29.86 c #Conflicts: 692000 | #Constraints: 20873
29.67/29.86 c #Conflicts: 693000 | #Constraints: 21873
29.67/29.86 c #Conflicts: 694000 | #Constraints: 22873
29.67/29.86 c #Conflicts: 695000 | #Constraints: 23873
29.67/29.86 c #Conflicts: 696000 | #Constraints: 24873
29.67/29.86 c #Conflicts: 697000 | #Constraints: 25873
29.67/29.86 c #Conflicts: 698000 | #Constraints: 26873
29.67/29.86 c #Conflicts: 699000 | #Constraints: 27873
29.67/29.86 c #Conflicts: 700000 | #Constraints: 28873
29.67/29.86 c #Conflicts: 701000 | #Constraints: 29873
29.67/29.86 c #Conflicts: 702000 | #Constraints: 30873
29.67/29.86 c #Conflicts: 703000 | #Constraints: 31873
29.67/29.86 c #Conflicts: 704000 | #Constraints: 32873
29.67/29.86 c #Conflicts: 705000 | #Constraints: 33873
29.67/29.86 c INPROCESSING
29.67/29.86 c GARBAGE COLLECT
29.67/29.86 c rational objective 250.5
30.56/30.79 c #Conflicts: 706000 | #Constraints: 18276
30.56/30.79 c #Conflicts: 707000 | #Constraints: 19276
30.56/30.79 c #Conflicts: 708000 | #Constraints: 20276
30.56/30.79 c #Conflicts: 709000 | #Constraints: 21276
30.56/30.79 c #Conflicts: 710000 | #Constraints: 22276
30.56/30.79 c #Conflicts: 711000 | #Constraints: 23276
30.56/30.79 c #Conflicts: 712000 | #Constraints: 24276
30.56/30.79 c #Conflicts: 713000 | #Constraints: 25276
30.56/30.79 c #Conflicts: 714000 | #Constraints: 26276
30.56/30.79 c #Conflicts: 715000 | #Constraints: 27276
30.56/30.79 c #Conflicts: 716000 | #Constraints: 28276
30.56/30.79 c #Conflicts: 717000 | #Constraints: 29276
30.56/30.79 c #Conflicts: 718000 | #Constraints: 30276
30.56/30.79 c #Conflicts: 719000 | #Constraints: 31276
30.56/30.79 c #Conflicts: 720000 | #Constraints: 32276
30.56/30.79 c #Conflicts: 721000 | #Constraints: 33276
30.56/30.79 c #Conflicts: 722000 | #Constraints: 34276
30.56/30.79 c INPROCESSING
30.56/30.79 c GARBAGE COLLECT
30.56/30.79 c rational objective 250.5
31.56/31.73 c #Conflicts: 723000 | #Constraints: 18474
31.56/31.73 c #Conflicts: 724000 | #Constraints: 19474
31.56/31.73 c #Conflicts: 725000 | #Constraints: 20474
31.56/31.73 c #Conflicts: 726000 | #Constraints: 21474
31.56/31.73 c #Conflicts: 727000 | #Constraints: 22474
31.56/31.73 c #Conflicts: 728000 | #Constraints: 23474
31.56/31.73 c #Conflicts: 729000 | #Constraints: 24474
31.56/31.73 c #Conflicts: 730000 | #Constraints: 25474
31.56/31.73 c #Conflicts: 731000 | #Constraints: 26474
31.56/31.73 c #Conflicts: 732000 | #Constraints: 27474
31.56/31.73 c #Conflicts: 733000 | #Constraints: 28474
31.56/31.73 c #Conflicts: 734000 | #Constraints: 29474
31.56/31.73 c #Conflicts: 735000 | #Constraints: 30474
31.56/31.73 c #Conflicts: 736000 | #Constraints: 31474
31.56/31.73 c #Conflicts: 737000 | #Constraints: 32474
31.56/31.73 c #Conflicts: 738000 | #Constraints: 33474
31.56/31.73 c #Conflicts: 739000 | #Constraints: 34474
31.56/31.73 c INPROCESSING
31.56/31.73 c GARBAGE COLLECT
31.56/31.73 c rational objective 250.5
32.27/32.47 c #Conflicts: 740000 | #Constraints: 18474
32.27/32.47 c #Conflicts: 741000 | #Constraints: 19474
32.27/32.47 c #Conflicts: 742000 | #Constraints: 20474
32.27/32.47 c #Conflicts: 743000 | #Constraints: 21474
32.27/32.47 c #Conflicts: 744000 | #Constraints: 22474
32.27/32.47 c #Conflicts: 745000 | #Constraints: 23474
32.27/32.47 c #Conflicts: 746000 | #Constraints: 24474
32.27/32.47 c #Conflicts: 747000 | #Constraints: 25474
32.27/32.47 c #Conflicts: 748000 | #Constraints: 26474
32.27/32.47 c #Conflicts: 749000 | #Constraints: 27474
32.27/32.47 c #Conflicts: 750000 | #Constraints: 28474
32.27/32.47 c #Conflicts: 751000 | #Constraints: 29474
32.27/32.47 c #Conflicts: 752000 | #Constraints: 30474
32.27/32.47 c #Conflicts: 753000 | #Constraints: 31474
32.27/32.47 c #Conflicts: 754000 | #Constraints: 32474
32.27/32.47 c #Conflicts: 755000 | #Constraints: 33474
32.27/32.47 c #Conflicts: 756000 | #Constraints: 34474
32.27/32.47 c INPROCESSING
32.27/32.47 c GARBAGE COLLECT
32.27/32.47 c rational objective 250.5
33.06/33.26 c #Conflicts: 757000 | #Constraints: 18269
33.06/33.26 c #Conflicts: 758000 | #Constraints: 19269
33.06/33.26 c #Conflicts: 759000 | #Constraints: 20269
33.06/33.26 c #Conflicts: 760000 | #Constraints: 21269
33.06/33.26 c #Conflicts: 761000 | #Constraints: 22269
33.06/33.26 c #Conflicts: 762000 | #Constraints: 23269
33.06/33.26 c #Conflicts: 763000 | #Constraints: 24269
33.06/33.26 c #Conflicts: 764000 | #Constraints: 25269
33.06/33.26 c #Conflicts: 765000 | #Constraints: 26269
33.06/33.26 c #Conflicts: 766000 | #Constraints: 27269
33.06/33.26 c #Conflicts: 767000 | #Constraints: 28269
33.06/33.26 c #Conflicts: 768000 | #Constraints: 29269
33.06/33.26 c #Conflicts: 769000 | #Constraints: 30269
33.06/33.26 c #Conflicts: 770000 | #Constraints: 31269
33.06/33.26 c #Conflicts: 771000 | #Constraints: 32269
33.06/33.26 c #Conflicts: 772000 | #Constraints: 33269
33.06/33.26 c #Conflicts: 773000 | #Constraints: 34269
33.06/33.26 c #Conflicts: 774000 | #Constraints: 35269
33.06/33.26 c INPROCESSING
33.06/33.26 c GARBAGE COLLECT
33.06/33.26 c rational objective 250.5
33.86/34.05 c #Conflicts: 775000 | #Constraints: 18870
33.86/34.05 c #Conflicts: 776000 | #Constraints: 19870
33.86/34.05 c #Conflicts: 777000 | #Constraints: 20870
33.86/34.05 c #Conflicts: 778000 | #Constraints: 21870
33.86/34.05 c #Conflicts: 779000 | #Constraints: 22870
33.86/34.05 c #Conflicts: 780000 | #Constraints: 23870
33.86/34.05 c #Conflicts: 781000 | #Constraints: 24870
33.86/34.05 c #Conflicts: 782000 | #Constraints: 25870
33.86/34.05 c #Conflicts: 783000 | #Constraints: 26870
33.86/34.05 c #Conflicts: 784000 | #Constraints: 27870
33.86/34.05 c #Conflicts: 785000 | #Constraints: 28870
33.86/34.05 c #Conflicts: 786000 | #Constraints: 29870
33.86/34.05 c #Conflicts: 787000 | #Constraints: 30870
33.86/34.05 c #Conflicts: 788000 | #Constraints: 31870
33.86/34.05 c #Conflicts: 789000 | #Constraints: 32870
33.86/34.05 c #Conflicts: 790000 | #Constraints: 33870
33.86/34.05 c #Conflicts: 791000 | #Constraints: 34870
33.86/34.05 c #Conflicts: 792000 | #Constraints: 35870
33.86/34.05 c INPROCESSING
33.86/34.05 c GARBAGE COLLECT
33.86/34.05 c rational objective 250.5
34.55/34.79 c #Conflicts: 793000 | #Constraints: 19271
34.55/34.79 c #Conflicts: 794000 | #Constraints: 20271
34.55/34.79 c #Conflicts: 795000 | #Constraints: 21271
34.55/34.79 c #Conflicts: 796000 | #Constraints: 22271
34.55/34.79 c #Conflicts: 797000 | #Constraints: 23271
34.55/34.79 c #Conflicts: 798000 | #Constraints: 24271
34.55/34.79 c #Conflicts: 799000 | #Constraints: 25271
34.55/34.79 c #Conflicts: 800000 | #Constraints: 26271
34.55/34.79 c #Conflicts: 801000 | #Constraints: 27271
34.55/34.79 c #Conflicts: 802000 | #Constraints: 28271
34.55/34.79 c #Conflicts: 803000 | #Constraints: 29271
34.55/34.79 c #Conflicts: 804000 | #Constraints: 30271
34.55/34.79 c #Conflicts: 805000 | #Constraints: 31271
34.55/34.79 c #Conflicts: 806000 | #Constraints: 32271
34.55/34.79 c #Conflicts: 807000 | #Constraints: 33271
34.55/34.79 c #Conflicts: 808000 | #Constraints: 34271
34.55/34.79 c #Conflicts: 809000 | #Constraints: 35271
34.55/34.79 c #Conflicts: 810000 | #Constraints: 36271
34.55/34.79 c INPROCESSING
34.55/34.79 c GARBAGE COLLECT
34.55/34.79 c rational objective 250.5
35.45/35.61 c #Conflicts: 811000 | #Constraints: 19468
35.45/35.61 c #Conflicts: 812000 | #Constraints: 20468
35.45/35.61 c #Conflicts: 813000 | #Constraints: 21468
35.45/35.61 c #Conflicts: 814000 | #Constraints: 22468
35.45/35.61 c #Conflicts: 815000 | #Constraints: 23468
35.45/35.61 c #Conflicts: 816000 | #Constraints: 24468
35.45/35.61 c #Conflicts: 817000 | #Constraints: 25468
35.45/35.61 c #Conflicts: 818000 | #Constraints: 26468
35.45/35.61 c #Conflicts: 819000 | #Constraints: 27468
35.45/35.61 c #Conflicts: 820000 | #Constraints: 28468
35.45/35.61 c #Conflicts: 821000 | #Constraints: 29468
35.45/35.61 c #Conflicts: 822000 | #Constraints: 30468
35.45/35.61 c #Conflicts: 823000 | #Constraints: 31468
35.45/35.61 c #Conflicts: 824000 | #Constraints: 32468
35.45/35.61 c #Conflicts: 825000 | #Constraints: 33468
35.45/35.61 c #Conflicts: 826000 | #Constraints: 34468
35.45/35.61 c #Conflicts: 827000 | #Constraints: 35468
35.45/35.61 c #Conflicts: 828000 | #Constraints: 36468
35.45/35.61 c INPROCESSING
35.45/35.61 c GARBAGE COLLECT
35.45/35.61 c rational objective 250.5
36.35/36.57 c #Conflicts: 829000 | #Constraints: 19479
36.35/36.57 c #Conflicts: 830000 | #Constraints: 20479
36.35/36.57 c #Conflicts: 831000 | #Constraints: 21479
36.35/36.57 c #Conflicts: 832000 | #Constraints: 22479
36.35/36.57 c #Conflicts: 833000 | #Constraints: 23479
36.35/36.57 c #Conflicts: 834000 | #Constraints: 24479
36.35/36.57 c #Conflicts: 835000 | #Constraints: 25479
36.35/36.57 c #Conflicts: 836000 | #Constraints: 26479
36.35/36.57 c #Conflicts: 837000 | #Constraints: 27479
36.35/36.57 c #Conflicts: 838000 | #Constraints: 28479
36.35/36.57 c #Conflicts: 839000 | #Constraints: 29479
36.35/36.57 c #Conflicts: 840000 | #Constraints: 30479
36.35/36.57 c #Conflicts: 841000 | #Constraints: 31479
36.35/36.57 c #Conflicts: 842000 | #Constraints: 32479
36.35/36.57 c #Conflicts: 843000 | #Constraints: 33479
36.35/36.57 c #Conflicts: 844000 | #Constraints: 34479
36.35/36.57 c #Conflicts: 845000 | #Constraints: 35479
36.35/36.57 c #Conflicts: 846000 | #Constraints: 36479
36.35/36.57 c INPROCESSING
36.35/36.57 c GARBAGE COLLECT
36.35/36.57 c rational objective 250.5
37.14/37.37 c #Conflicts: 847000 | #Constraints: 19280
37.14/37.37 c #Conflicts: 848000 | #Constraints: 20280
37.14/37.37 c #Conflicts: 849000 | #Constraints: 21280
37.14/37.37 c #Conflicts: 850000 | #Constraints: 22280
37.14/37.37 c #Conflicts: 851000 | #Constraints: 23280
37.14/37.37 c #Conflicts: 852000 | #Constraints: 24280
37.14/37.37 c #Conflicts: 853000 | #Constraints: 25280
37.14/37.37 c #Conflicts: 854000 | #Constraints: 26280
37.14/37.37 c #Conflicts: 855000 | #Constraints: 27280
37.14/37.37 c #Conflicts: 856000 | #Constraints: 28280
37.14/37.37 c #Conflicts: 857000 | #Constraints: 29280
37.14/37.37 c #Conflicts: 858000 | #Constraints: 30280
37.14/37.37 c #Conflicts: 859000 | #Constraints: 31280
37.14/37.37 c #Conflicts: 860000 | #Constraints: 32280
37.14/37.37 c #Conflicts: 861000 | #Constraints: 33280
37.14/37.37 c #Conflicts: 862000 | #Constraints: 34280
37.14/37.37 c #Conflicts: 863000 | #Constraints: 35280
37.14/37.37 c #Conflicts: 864000 | #Constraints: 36280
37.14/37.37 c #Conflicts: 865000 | #Constraints: 37280
37.14/37.37 c INPROCESSING
37.14/37.37 c GARBAGE COLLECT
37.14/37.37 c rational objective 250.5
38.04/38.26 c #Conflicts: 866000 | #Constraints: 19874
38.04/38.26 c #Conflicts: 867000 | #Constraints: 20874
38.04/38.26 c #Conflicts: 868000 | #Constraints: 21874
38.04/38.26 c #Conflicts: 869000 | #Constraints: 22874
38.04/38.26 c #Conflicts: 870000 | #Constraints: 23874
38.04/38.26 c #Conflicts: 871000 | #Constraints: 24874
38.04/38.26 c #Conflicts: 872000 | #Constraints: 25874
38.04/38.26 c #Conflicts: 873000 | #Constraints: 26874
38.04/38.26 c #Conflicts: 874000 | #Constraints: 27874
38.04/38.26 c #Conflicts: 875000 | #Constraints: 28874
38.04/38.26 c #Conflicts: 876000 | #Constraints: 29874
38.04/38.26 c #Conflicts: 877000 | #Constraints: 30874
38.04/38.26 c #Conflicts: 878000 | #Constraints: 31874
38.04/38.26 c #Conflicts: 879000 | #Constraints: 32874
38.04/38.26 c #Conflicts: 880000 | #Constraints: 33874
38.04/38.26 c #Conflicts: 881000 | #Constraints: 34874
38.04/38.26 c #Conflicts: 882000 | #Constraints: 35874
38.04/38.26 c #Conflicts: 883000 | #Constraints: 36874
38.04/38.26 c #Conflicts: 884000 | #Constraints: 37874
38.04/38.26 c INPROCESSING
38.04/38.26 c GARBAGE COLLECT
38.04/38.26 c rational objective 250.5
39.04/39.25 c #Conflicts: 885000 | #Constraints: 20286
39.04/39.25 c #Conflicts: 886000 | #Constraints: 21286
39.04/39.25 c #Conflicts: 887000 | #Constraints: 22286
39.04/39.25 c #Conflicts: 888000 | #Constraints: 23286
39.04/39.25 c #Conflicts: 889000 | #Constraints: 24286
39.04/39.25 c #Conflicts: 890000 | #Constraints: 25286
39.04/39.25 c #Conflicts: 891000 | #Constraints: 26286
39.04/39.25 c #Conflicts: 892000 | #Constraints: 27286
39.04/39.25 c #Conflicts: 893000 | #Constraints: 28286
39.04/39.25 c #Conflicts: 894000 | #Constraints: 29286
39.04/39.25 c #Conflicts: 895000 | #Constraints: 30286
39.04/39.25 c #Conflicts: 896000 | #Constraints: 31286
39.04/39.25 c #Conflicts: 897000 | #Constraints: 32286
39.04/39.25 c #Conflicts: 898000 | #Constraints: 33286
39.04/39.25 c #Conflicts: 899000 | #Constraints: 34286
39.04/39.25 c #Conflicts: 900000 | #Constraints: 35286
39.04/39.25 c #Conflicts: 901000 | #Constraints: 36286
39.04/39.25 c #Conflicts: 902000 | #Constraints: 37286
39.04/39.25 c #Conflicts: 903000 | #Constraints: 38286
39.04/39.25 c INPROCESSING
39.04/39.25 c GARBAGE COLLECT
39.04/39.25 c rational objective 250.5
40.04/40.26 c #Conflicts: 904000 | #Constraints: 20480
40.04/40.26 c #Conflicts: 905000 | #Constraints: 21480
40.04/40.26 c #Conflicts: 906000 | #Constraints: 22480
40.04/40.26 c #Conflicts: 907000 | #Constraints: 23480
40.04/40.26 c #Conflicts: 908000 | #Constraints: 24480
40.04/40.26 c #Conflicts: 909000 | #Constraints: 25480
40.04/40.26 c #Conflicts: 910000 | #Constraints: 26480
40.04/40.26 c #Conflicts: 911000 | #Constraints: 27480
40.04/40.26 c #Conflicts: 912000 | #Constraints: 28480
40.04/40.26 c #Conflicts: 913000 | #Constraints: 29480
40.04/40.26 c #Conflicts: 914000 | #Constraints: 30480
40.04/40.26 c #Conflicts: 915000 | #Constraints: 31480
40.04/40.26 c #Conflicts: 916000 | #Constraints: 32480
40.04/40.26 c #Conflicts: 917000 | #Constraints: 33480
40.04/40.26 c #Conflicts: 918000 | #Constraints: 34480
40.04/40.26 c #Conflicts: 919000 | #Constraints: 35480
40.04/40.26 c #Conflicts: 920000 | #Constraints: 36480
40.04/40.26 c #Conflicts: 921000 | #Constraints: 37480
40.04/40.26 c #Conflicts: 922000 | #Constraints: 38480
40.04/40.26 c INPROCESSING
40.04/40.26 c GARBAGE COLLECT
40.04/40.26 c rational objective 250.5
41.03/41.29 c #Conflicts: 923000 | #Constraints: 20483
41.03/41.29 c #Conflicts: 924000 | #Constraints: 21483
41.03/41.29 c #Conflicts: 925000 | #Constraints: 22483
41.03/41.29 c #Conflicts: 926000 | #Constraints: 23483
41.03/41.29 c #Conflicts: 927000 | #Constraints: 24483
41.03/41.29 c #Conflicts: 928000 | #Constraints: 25483
41.03/41.29 c #Conflicts: 929000 | #Constraints: 26483
41.03/41.29 c #Conflicts: 930000 | #Constraints: 27483
41.03/41.29 c #Conflicts: 931000 | #Constraints: 28483
41.03/41.29 c #Conflicts: 932000 | #Constraints: 29483
41.03/41.29 c #Conflicts: 933000 | #Constraints: 30483
41.03/41.29 c #Conflicts: 934000 | #Constraints: 31483
41.03/41.29 c #Conflicts: 935000 | #Constraints: 32483
41.03/41.29 c #Conflicts: 936000 | #Constraints: 33483
41.03/41.29 c #Conflicts: 937000 | #Constraints: 34483
41.03/41.29 c #Conflicts: 938000 | #Constraints: 35483
41.03/41.29 c #Conflicts: 939000 | #Constraints: 36483
41.03/41.29 c #Conflicts: 940000 | #Constraints: 37483
41.03/41.29 c #Conflicts: 941000 | #Constraints: 38483
41.03/41.29 c INPROCESSING
41.03/41.29 c GARBAGE COLLECT
41.03/41.29 c rational objective 250.5
41.93/42.18 c #Conflicts: 942000 | #Constraints: 20291
41.93/42.18 c #Conflicts: 943000 | #Constraints: 21291
41.93/42.18 c #Conflicts: 944000 | #Constraints: 22291
41.93/42.18 c #Conflicts: 945000 | #Constraints: 23291
41.93/42.18 c #Conflicts: 946000 | #Constraints: 24291
41.93/42.18 c #Conflicts: 947000 | #Constraints: 25291
41.93/42.18 c #Conflicts: 948000 | #Constraints: 26291
41.93/42.18 c #Conflicts: 949000 | #Constraints: 27291
41.93/42.18 c #Conflicts: 950000 | #Constraints: 28291
41.93/42.18 c #Conflicts: 951000 | #Constraints: 29291
41.93/42.18 c #Conflicts: 952000 | #Constraints: 30291
41.93/42.18 c #Conflicts: 953000 | #Constraints: 31291
41.93/42.18 c #Conflicts: 954000 | #Constraints: 32291
41.93/42.18 c #Conflicts: 955000 | #Constraints: 33291
41.93/42.18 c #Conflicts: 956000 | #Constraints: 34291
41.93/42.18 c #Conflicts: 957000 | #Constraints: 35291
41.93/42.18 c #Conflicts: 958000 | #Constraints: 36291
41.93/42.18 c #Conflicts: 959000 | #Constraints: 37291
41.93/42.18 c #Conflicts: 960000 | #Constraints: 38291
41.93/42.18 c #Conflicts: 961000 | #Constraints: 39291
41.93/42.18 c INPROCESSING
41.93/42.18 c GARBAGE COLLECT
41.93/42.18 c rational objective 250.5
43.12/43.35 c #Conflicts: 962000 | #Constraints: 20895
43.12/43.35 c #Conflicts: 963000 | #Constraints: 21895
43.12/43.35 c #Conflicts: 964000 | #Constraints: 22895
43.12/43.35 c #Conflicts: 965000 | #Constraints: 23895
43.12/43.35 c #Conflicts: 966000 | #Constraints: 24895
43.12/43.35 c #Conflicts: 967000 | #Constraints: 25895
43.12/43.35 c #Conflicts: 968000 | #Constraints: 26895
43.12/43.35 c #Conflicts: 969000 | #Constraints: 27895
43.12/43.35 c #Conflicts: 970000 | #Constraints: 28895
43.12/43.35 c #Conflicts: 971000 | #Constraints: 29895
43.12/43.35 c #Conflicts: 972000 | #Constraints: 30895
43.12/43.35 c #Conflicts: 973000 | #Constraints: 31895
43.12/43.35 c #Conflicts: 974000 | #Constraints: 32895
43.12/43.35 c #Conflicts: 975000 | #Constraints: 33895
43.12/43.35 c #Conflicts: 976000 | #Constraints: 34895
43.12/43.35 c #Conflicts: 977000 | #Constraints: 35895
43.12/43.35 c #Conflicts: 978000 | #Constraints: 36895
43.12/43.35 c #Conflicts: 979000 | #Constraints: 37895
43.12/43.35 c #Conflicts: 980000 | #Constraints: 38895
43.12/43.35 c #Conflicts: 981000 | #Constraints: 39895
43.12/43.35 c INPROCESSING
43.12/43.35 c GARBAGE COLLECT
43.12/43.35 c rational objective 250.5
44.53/44.76 c #Conflicts: 982000 | #Constraints: 21294
44.53/44.76 c #Conflicts: 983000 | #Constraints: 22294
44.53/44.76 c #Conflicts: 984000 | #Constraints: 23294
44.53/44.76 c #Conflicts: 985000 | #Constraints: 24294
44.53/44.76 c #Conflicts: 986000 | #Constraints: 25294
44.53/44.76 c #Conflicts: 987000 | #Constraints: 26294
44.53/44.76 c #Conflicts: 988000 | #Constraints: 27294
44.53/44.76 c #Conflicts: 989000 | #Constraints: 28294
44.53/44.76 c #Conflicts: 990000 | #Constraints: 29294
44.53/44.76 c #Conflicts: 991000 | #Constraints: 30294
44.53/44.76 c #Conflicts: 992000 | #Constraints: 31294
44.53/44.76 c #Conflicts: 993000 | #Constraints: 32294
44.53/44.76 c #Conflicts: 994000 | #Constraints: 33294
44.53/44.76 c #Conflicts: 995000 | #Constraints: 34294
44.53/44.76 c #Conflicts: 996000 | #Constraints: 35294
44.53/44.76 c #Conflicts: 997000 | #Constraints: 36294
44.53/44.76 c #Conflicts: 998000 | #Constraints: 37294
44.53/44.76 c #Conflicts: 999000 | #Constraints: 38294
44.53/44.76 c #Conflicts: 1000000 | #Constraints: 39294
44.53/44.76 c #Conflicts: 1001000 | #Constraints: 40294
44.53/44.76 c INPROCESSING
44.53/44.76 c GARBAGE COLLECT
44.53/44.76 c rational objective 250.5
45.53/45.72 c #Conflicts: 1002000 | #Constraints: 21502
45.53/45.72 c #Conflicts: 1003000 | #Constraints: 22502
45.53/45.72 c #Conflicts: 1004000 | #Constraints: 23502
45.53/45.72 c #Conflicts: 1005000 | #Constraints: 24502
45.53/45.72 c #Conflicts: 1006000 | #Constraints: 25502
45.53/45.72 c #Conflicts: 1007000 | #Constraints: 26502
45.53/45.72 c #Conflicts: 1008000 | #Constraints: 27502
45.53/45.72 c #Conflicts: 1009000 | #Constraints: 28502
45.53/45.72 c #Conflicts: 1010000 | #Constraints: 29502
45.53/45.72 c #Conflicts: 1011000 | #Constraints: 30502
45.53/45.72 c #Conflicts: 1012000 | #Constraints: 31502
45.53/45.72 c #Conflicts: 1013000 | #Constraints: 32502
45.53/45.72 c #Conflicts: 1014000 | #Constraints: 33502
45.53/45.72 c #Conflicts: 1015000 | #Constraints: 34502
45.53/45.72 c #Conflicts: 1016000 | #Constraints: 35502
45.53/45.72 c #Conflicts: 1017000 | #Constraints: 36502
45.53/45.72 c #Conflicts: 1018000 | #Constraints: 37502
45.53/45.72 c #Conflicts: 1019000 | #Constraints: 38502
45.53/45.72 c #Conflicts: 1020000 | #Constraints: 39502
45.53/45.72 c #Conflicts: 1021000 | #Constraints: 40502
45.53/45.72 c INPROCESSING
45.53/45.72 c GARBAGE COLLECT
45.53/45.72 c rational objective 250.5
46.62/46.89 c #Conflicts: 1022000 | #Constraints: 21498
46.62/46.89 c #Conflicts: 1023000 | #Constraints: 22498
46.62/46.89 c #Conflicts: 1024000 | #Constraints: 23498
46.62/46.89 c #Conflicts: 1025000 | #Constraints: 24498
46.62/46.89 c #Conflicts: 1026000 | #Constraints: 25498
46.62/46.89 c #Conflicts: 1027000 | #Constraints: 26498
46.62/46.89 c #Conflicts: 1028000 | #Constraints: 27498
46.62/46.89 c #Conflicts: 1029000 | #Constraints: 28498
46.62/46.89 c #Conflicts: 1030000 | #Constraints: 29498
46.62/46.89 c #Conflicts: 1031000 | #Constraints: 30498
46.62/46.89 c #Conflicts: 1032000 | #Constraints: 31498
46.62/46.89 c #Conflicts: 1033000 | #Constraints: 32498
46.62/46.89 c #Conflicts: 1034000 | #Constraints: 33498
46.62/46.89 c #Conflicts: 1035000 | #Constraints: 34498
46.62/46.89 c #Conflicts: 1036000 | #Constraints: 35498
46.62/46.89 c #Conflicts: 1037000 | #Constraints: 36498
46.62/46.89 c #Conflicts: 1038000 | #Constraints: 37498
46.62/46.89 c #Conflicts: 1039000 | #Constraints: 38498
46.62/46.89 c #Conflicts: 1040000 | #Constraints: 39498
46.62/46.89 c #Conflicts: 1041000 | #Constraints: 40498
46.62/46.89 c INPROCESSING
46.62/46.89 c GARBAGE COLLECT
46.62/46.89 c rational objective 250.5
47.82/48.02 c #Conflicts: 1042000 | #Constraints: 21297
47.82/48.02 c #Conflicts: 1043000 | #Constraints: 22297
47.82/48.02 c #Conflicts: 1044000 | #Constraints: 23297
47.82/48.02 c #Conflicts: 1045000 | #Constraints: 24297
47.82/48.02 c #Conflicts: 1046000 | #Constraints: 25297
47.82/48.02 c #Conflicts: 1047000 | #Constraints: 26297
47.82/48.02 c #Conflicts: 1048000 | #Constraints: 27297
47.82/48.02 c #Conflicts: 1049000 | #Constraints: 28297
47.82/48.02 c #Conflicts: 1050000 | #Constraints: 29297
47.82/48.02 c #Conflicts: 1051000 | #Constraints: 30297
47.82/48.02 c #Conflicts: 1052000 | #Constraints: 31297
47.82/48.02 c #Conflicts: 1053000 | #Constraints: 32297
47.82/48.02 c #Conflicts: 1054000 | #Constraints: 33297
47.82/48.02 c #Conflicts: 1055000 | #Constraints: 34297
47.82/48.02 c #Conflicts: 1056000 | #Constraints: 35297
47.82/48.02 c #Conflicts: 1057000 | #Constraints: 36297
47.82/48.02 c #Conflicts: 1058000 | #Constraints: 37297
47.82/48.02 c #Conflicts: 1059000 | #Constraints: 38297
47.82/48.02 c #Conflicts: 1060000 | #Constraints: 39297
47.82/48.02 c #Conflicts: 1061000 | #Constraints: 40297
47.82/48.02 c #Conflicts: 1062000 | #Constraints: 41297
47.82/48.02 c INPROCESSING
47.82/48.02 c GARBAGE COLLECT
47.82/48.02 c rational objective 250.5
48.62/48.87 c #Conflicts: 1063000 | #Constraints: 21902
48.62/48.87 c #Conflicts: 1064000 | #Constraints: 22902
48.62/48.87 c #Conflicts: 1065000 | #Constraints: 23902
48.62/48.87 c #Conflicts: 1066000 | #Constraints: 24902
48.62/48.87 c #Conflicts: 1067000 | #Constraints: 25902
48.62/48.87 c #Conflicts: 1068000 | #Constraints: 26902
48.62/48.87 c #Conflicts: 1069000 | #Constraints: 27902
48.62/48.87 c #Conflicts: 1070000 | #Constraints: 28902
48.62/48.87 c #Conflicts: 1071000 | #Constraints: 29902
48.62/48.87 c #Conflicts: 1072000 | #Constraints: 30902
48.62/48.87 c #Conflicts: 1073000 | #Constraints: 31902
48.62/48.87 c #Conflicts: 1074000 | #Constraints: 32902
48.62/48.87 c #Conflicts: 1075000 | #Constraints: 33902
48.62/48.87 c #Conflicts: 1076000 | #Constraints: 34902
48.62/48.87 c #Conflicts: 1077000 | #Constraints: 35902
48.62/48.87 c #Conflicts: 1078000 | #Constraints: 36902
48.62/48.87 c #Conflicts: 1079000 | #Constraints: 37902
48.62/48.87 c #Conflicts: 1080000 | #Constraints: 38902
48.62/48.87 c #Conflicts: 1081000 | #Constraints: 39902
48.62/48.87 c #Conflicts: 1082000 | #Constraints: 40902
48.62/48.87 c #Conflicts: 1083000 | #Constraints: 41902
48.62/48.87 c INPROCESSING
48.62/48.87 c GARBAGE COLLECT
48.62/48.87 c rational objective 250.5
49.51/49.79 c #Conflicts: 1084000 | #Constraints: 22297
49.51/49.79 c #Conflicts: 1085000 | #Constraints: 23297
49.51/49.79 c #Conflicts: 1086000 | #Constraints: 24297
49.51/49.79 c #Conflicts: 1087000 | #Constraints: 25297
49.51/49.79 c #Conflicts: 1088000 | #Constraints: 26297
49.51/49.79 c #Conflicts: 1089000 | #Constraints: 27297
49.51/49.79 c #Conflicts: 1090000 | #Constraints: 28297
49.51/49.79 c #Conflicts: 1091000 | #Constraints: 29297
49.51/49.79 c #Conflicts: 1092000 | #Constraints: 30297
49.51/49.79 c #Conflicts: 1093000 | #Constraints: 31297
49.51/49.79 c #Conflicts: 1094000 | #Constraints: 32297
49.51/49.79 c #Conflicts: 1095000 | #Constraints: 33297
49.51/49.79 c #Conflicts: 1096000 | #Constraints: 34297
49.51/49.79 c #Conflicts: 1097000 | #Constraints: 35297
49.51/49.79 c #Conflicts: 1098000 | #Constraints: 36297
49.51/49.79 c #Conflicts: 1099000 | #Constraints: 37297
49.51/49.79 c #Conflicts: 1100000 | #Constraints: 38297
49.51/49.79 c #Conflicts: 1101000 | #Constraints: 39297
49.51/49.79 c #Conflicts: 1102000 | #Constraints: 40297
49.51/49.79 c #Conflicts: 1103000 | #Constraints: 41297
49.51/49.79 c #Conflicts: 1104000 | #Constraints: 42297
49.51/49.79 c INPROCESSING
49.51/49.79 c GARBAGE COLLECT
49.51/49.79 c rational objective 250.5
50.81/51.04 c #Conflicts: 1105000 | #Constraints: 22495
50.81/51.04 c #Conflicts: 1106000 | #Constraints: 23495
50.81/51.04 c #Conflicts: 1107000 | #Constraints: 24495
50.81/51.04 c #Conflicts: 1108000 | #Constraints: 25495
50.81/51.04 c #Conflicts: 1109000 | #Constraints: 26495
50.81/51.04 c #Conflicts: 1110000 | #Constraints: 27495
50.81/51.04 c #Conflicts: 1111000 | #Constraints: 28495
50.81/51.04 c #Conflicts: 1112000 | #Constraints: 29495
50.81/51.04 c #Conflicts: 1113000 | #Constraints: 30495
50.81/51.04 c #Conflicts: 1114000 | #Constraints: 31495
50.81/51.04 c #Conflicts: 1115000 | #Constraints: 32495
50.81/51.04 c #Conflicts: 1116000 | #Constraints: 33495
50.81/51.04 c #Conflicts: 1117000 | #Constraints: 34495
50.81/51.04 c #Conflicts: 1118000 | #Constraints: 35495
50.81/51.04 c #Conflicts: 1119000 | #Constraints: 36495
50.81/51.04 c #Conflicts: 1120000 | #Constraints: 37495
50.81/51.04 c #Conflicts: 1121000 | #Constraints: 38495
50.81/51.04 c #Conflicts: 1122000 | #Constraints: 39495
50.81/51.04 c #Conflicts: 1123000 | #Constraints: 40495
50.81/51.04 c #Conflicts: 1124000 | #Constraints: 41495
50.81/51.04 c #Conflicts: 1125000 | #Constraints: 42495
50.81/51.04 c INPROCESSING
50.81/51.04 c GARBAGE COLLECT
50.81/51.04 c rational objective 250.5
51.81/52.08 c #Conflicts: 1126000 | #Constraints: 22502
51.81/52.08 c #Conflicts: 1127000 | #Constraints: 23502
51.81/52.08 c #Conflicts: 1128000 | #Constraints: 24502
51.81/52.08 c #Conflicts: 1129000 | #Constraints: 25502
51.81/52.08 c #Conflicts: 1130000 | #Constraints: 26502
51.81/52.08 c #Conflicts: 1131000 | #Constraints: 27502
51.81/52.08 c #Conflicts: 1132000 | #Constraints: 28502
51.81/52.08 c #Conflicts: 1133000 | #Constraints: 29502
51.81/52.08 c #Conflicts: 1134000 | #Constraints: 30502
51.81/52.08 c #Conflicts: 1135000 | #Constraints: 31502
51.81/52.08 c #Conflicts: 1136000 | #Constraints: 32502
51.81/52.08 c #Conflicts: 1137000 | #Constraints: 33502
51.81/52.08 c #Conflicts: 1138000 | #Constraints: 34502
51.81/52.08 c #Conflicts: 1139000 | #Constraints: 35502
51.81/52.08 c #Conflicts: 1140000 | #Constraints: 36502
51.81/52.08 c #Conflicts: 1141000 | #Constraints: 37502
51.81/52.08 c #Conflicts: 1142000 | #Constraints: 38502
51.81/52.08 c #Conflicts: 1143000 | #Constraints: 39502
51.81/52.08 c #Conflicts: 1144000 | #Constraints: 40502
51.81/52.08 c #Conflicts: 1145000 | #Constraints: 41502
51.81/52.08 c #Conflicts: 1146000 | #Constraints: 42502
51.81/52.08 c INPROCESSING
51.81/52.08 c GARBAGE COLLECT
51.81/52.08 c rational objective 250.5
52.80/53.09 c #Conflicts: 1147000 | #Constraints: 22300
52.80/53.09 c #Conflicts: 1148000 | #Constraints: 23300
52.80/53.09 c #Conflicts: 1149000 | #Constraints: 24300
52.80/53.09 c #Conflicts: 1150000 | #Constraints: 25300
52.80/53.09 c #Conflicts: 1151000 | #Constraints: 26300
52.80/53.09 c #Conflicts: 1152000 | #Constraints: 27300
52.80/53.09 c #Conflicts: 1153000 | #Constraints: 28300
52.80/53.09 c #Conflicts: 1154000 | #Constraints: 29300
52.80/53.09 c #Conflicts: 1155000 | #Constraints: 30300
52.80/53.09 c #Conflicts: 1156000 | #Constraints: 31300
52.80/53.09 c #Conflicts: 1157000 | #Constraints: 32300
52.80/53.09 c #Conflicts: 1158000 | #Constraints: 33300
52.80/53.09 c #Conflicts: 1159000 | #Constraints: 34300
52.80/53.09 c #Conflicts: 1160000 | #Constraints: 35300
52.80/53.09 c #Conflicts: 1161000 | #Constraints: 36300
52.80/53.09 c #Conflicts: 1162000 | #Constraints: 37300
52.80/53.09 c #Conflicts: 1163000 | #Constraints: 38300
52.80/53.09 c #Conflicts: 1164000 | #Constraints: 39300
52.80/53.09 c #Conflicts: 1165000 | #Constraints: 40300
52.80/53.09 c #Conflicts: 1166000 | #Constraints: 41300
52.80/53.09 c #Conflicts: 1167000 | #Constraints: 42300
52.80/53.09 c #Conflicts: 1168000 | #Constraints: 43300
52.80/53.09 c INPROCESSING
52.80/53.09 c GARBAGE COLLECT
52.80/53.09 c rational objective 250.5
54.00/54.22 c #Conflicts: 1169000 | #Constraints: 22899
54.00/54.22 c #Conflicts: 1170000 | #Constraints: 23899
54.00/54.22 c #Conflicts: 1171000 | #Constraints: 24899
54.00/54.22 c #Conflicts: 1172000 | #Constraints: 25899
54.00/54.22 c #Conflicts: 1173000 | #Constraints: 26899
54.00/54.22 c #Conflicts: 1174000 | #Constraints: 27899
54.00/54.22 c #Conflicts: 1175000 | #Constraints: 28899
54.00/54.22 c #Conflicts: 1176000 | #Constraints: 29899
54.00/54.22 c #Conflicts: 1177000 | #Constraints: 30899
54.00/54.22 c #Conflicts: 1178000 | #Constraints: 31899
54.00/54.22 c #Conflicts: 1179000 | #Constraints: 32899
54.00/54.22 c #Conflicts: 1180000 | #Constraints: 33899
54.00/54.22 c #Conflicts: 1181000 | #Constraints: 34899
54.00/54.22 c #Conflicts: 1182000 | #Constraints: 35899
54.00/54.22 c #Conflicts: 1183000 | #Constraints: 36899
54.00/54.22 c #Conflicts: 1184000 | #Constraints: 37899
54.00/54.22 c #Conflicts: 1185000 | #Constraints: 38899
54.00/54.22 c #Conflicts: 1186000 | #Constraints: 39899
54.00/54.22 c #Conflicts: 1187000 | #Constraints: 40899
54.00/54.22 c #Conflicts: 1188000 | #Constraints: 41899
54.00/54.22 c #Conflicts: 1189000 | #Constraints: 42899
54.00/54.22 c #Conflicts: 1190000 | #Constraints: 43899
54.00/54.22 c INPROCESSING
54.00/54.22 c GARBAGE COLLECT
54.00/54.22 c rational objective 250.5
55.00/55.29 c #Conflicts: 1191000 | #Constraints: 23299
55.00/55.29 c #Conflicts: 1192000 | #Constraints: 24299
55.00/55.29 c #Conflicts: 1193000 | #Constraints: 25299
55.00/55.29 c #Conflicts: 1194000 | #Constraints: 26299
55.00/55.29 c #Conflicts: 1195000 | #Constraints: 27299
55.00/55.29 c #Conflicts: 1196000 | #Constraints: 28299
55.00/55.29 c #Conflicts: 1197000 | #Constraints: 29299
55.00/55.29 c #Conflicts: 1198000 | #Constraints: 30299
55.00/55.29 c #Conflicts: 1199000 | #Constraints: 31299
55.00/55.29 c #Conflicts: 1200000 | #Constraints: 32299
55.00/55.29 c #Conflicts: 1201000 | #Constraints: 33299
55.00/55.29 c #Conflicts: 1202000 | #Constraints: 34299
55.00/55.29 c #Conflicts: 1203000 | #Constraints: 35299
55.00/55.29 c #Conflicts: 1204000 | #Constraints: 36299
55.00/55.29 c #Conflicts: 1205000 | #Constraints: 37299
55.00/55.29 c #Conflicts: 1206000 | #Constraints: 38299
55.00/55.29 c #Conflicts: 1207000 | #Constraints: 39299
55.00/55.29 c #Conflicts: 1208000 | #Constraints: 40299
55.00/55.29 c #Conflicts: 1209000 | #Constraints: 41299
55.00/55.29 c #Conflicts: 1210000 | #Constraints: 42299
55.00/55.29 c #Conflicts: 1211000 | #Constraints: 43299
55.00/55.29 c #Conflicts: 1212000 | #Constraints: 44299
55.00/55.29 c INPROCESSING
55.00/55.29 c GARBAGE COLLECT
55.00/55.29 c rational objective 250.5
56.19/56.40 c #Conflicts: 1213000 | #Constraints: 23500
56.19/56.40 c #Conflicts: 1214000 | #Constraints: 24500
56.19/56.40 c #Conflicts: 1215000 | #Constraints: 25500
56.19/56.40 c #Conflicts: 1216000 | #Constraints: 26500
56.19/56.40 c #Conflicts: 1217000 | #Constraints: 27500
56.19/56.40 c #Conflicts: 1218000 | #Constraints: 28500
56.19/56.40 c #Conflicts: 1219000 | #Constraints: 29500
56.19/56.40 c #Conflicts: 1220000 | #Constraints: 30500
56.19/56.40 c #Conflicts: 1221000 | #Constraints: 31500
56.19/56.40 c #Conflicts: 1222000 | #Constraints: 32500
56.19/56.40 c #Conflicts: 1223000 | #Constraints: 33500
56.19/56.40 c #Conflicts: 1224000 | #Constraints: 34500
56.19/56.40 c #Conflicts: 1225000 | #Constraints: 35500
56.19/56.40 c #Conflicts: 1226000 | #Constraints: 36500
56.19/56.40 c #Conflicts: 1227000 | #Constraints: 37500
56.19/56.40 c #Conflicts: 1228000 | #Constraints: 38500
56.19/56.40 c #Conflicts: 1229000 | #Constraints: 39500
56.19/56.40 c #Conflicts: 1230000 | #Constraints: 40500
56.19/56.40 c #Conflicts: 1231000 | #Constraints: 41500
56.19/56.40 c #Conflicts: 1232000 | #Constraints: 42500
56.19/56.40 c #Conflicts: 1233000 | #Constraints: 43500
56.19/56.40 c #Conflicts: 1234000 | #Constraints: 44500
56.19/56.40 c INPROCESSING
56.19/56.40 c GARBAGE COLLECT
56.19/56.40 c rational objective 250.5
57.29/57.51 c #Conflicts: 1235000 | #Constraints: 23499
57.29/57.51 c #Conflicts: 1236000 | #Constraints: 24499
57.29/57.51 c #Conflicts: 1237000 | #Constraints: 25499
57.29/57.51 c #Conflicts: 1238000 | #Constraints: 26499
57.29/57.51 c #Conflicts: 1239000 | #Constraints: 27499
57.29/57.51 c #Conflicts: 1240000 | #Constraints: 28499
57.29/57.51 c #Conflicts: 1241000 | #Constraints: 29499
57.29/57.51 c #Conflicts: 1242000 | #Constraints: 30499
57.29/57.51 c #Conflicts: 1243000 | #Constraints: 31499
57.29/57.51 c #Conflicts: 1244000 | #Constraints: 32499
57.29/57.51 c #Conflicts: 1245000 | #Constraints: 33499
57.29/57.51 c #Conflicts: 1246000 | #Constraints: 34499
57.29/57.51 c #Conflicts: 1247000 | #Constraints: 35499
57.29/57.51 c #Conflicts: 1248000 | #Constraints: 36499
57.29/57.51 c #Conflicts: 1249000 | #Constraints: 37499
57.29/57.51 c #Conflicts: 1250000 | #Constraints: 38499
57.29/57.51 c #Conflicts: 1251000 | #Constraints: 39499
57.29/57.51 c #Conflicts: 1252000 | #Constraints: 40499
57.29/57.51 c #Conflicts: 1253000 | #Constraints: 41499
57.29/57.51 c #Conflicts: 1254000 | #Constraints: 42499
57.29/57.51 c #Conflicts: 1255000 | #Constraints: 43499
57.29/57.51 c #Conflicts: 1256000 | #Constraints: 44499
57.29/57.51 c INPROCESSING
57.29/57.51 c GARBAGE COLLECT
57.29/57.51 c rational objective 250.5
58.39/58.63 c #Conflicts: 1257000 | #Constraints: 23304
58.39/58.63 c #Conflicts: 1258000 | #Constraints: 24304
58.39/58.63 c #Conflicts: 1259000 | #Constraints: 25304
58.39/58.63 c #Conflicts: 1260000 | #Constraints: 26304
58.39/58.63 c #Conflicts: 1261000 | #Constraints: 27304
58.39/58.63 c #Conflicts: 1262000 | #Constraints: 28304
58.39/58.63 c #Conflicts: 1263000 | #Constraints: 29304
58.39/58.63 c #Conflicts: 1264000 | #Constraints: 30304
58.39/58.63 c #Conflicts: 1265000 | #Constraints: 31304
58.39/58.63 c #Conflicts: 1266000 | #Constraints: 32304
58.39/58.63 c #Conflicts: 1267000 | #Constraints: 33304
58.39/58.63 c #Conflicts: 1268000 | #Constraints: 34304
58.39/58.63 c #Conflicts: 1269000 | #Constraints: 35304
58.39/58.63 c #Conflicts: 1270000 | #Constraints: 36304
58.39/58.63 c #Conflicts: 1271000 | #Constraints: 37304
58.39/58.63 c #Conflicts: 1272000 | #Constraints: 38304
58.39/58.63 c #Conflicts: 1273000 | #Constraints: 39304
58.39/58.63 c #Conflicts: 1274000 | #Constraints: 40304
58.39/58.63 c #Conflicts: 1275000 | #Constraints: 41304
58.39/58.63 c #Conflicts: 1276000 | #Constraints: 42304
58.39/58.63 c #Conflicts: 1277000 | #Constraints: 43304
58.39/58.63 c #Conflicts: 1278000 | #Constraints: 44304
58.39/58.63 c #Conflicts: 1279000 | #Constraints: 45304
58.39/58.63 c INPROCESSING
58.39/58.63 c GARBAGE COLLECT
58.39/58.63 c rational objective 250.5
59.48/59.76 c #Conflicts: 1280000 | #Constraints: 23905
59.48/59.76 c #Conflicts: 1281000 | #Constraints: 24905
59.48/59.76 c #Conflicts: 1282000 | #Constraints: 25905
59.48/59.76 c #Conflicts: 1283000 | #Constraints: 26905
59.48/59.76 c #Conflicts: 1284000 | #Constraints: 27905
59.48/59.76 c #Conflicts: 1285000 | #Constraints: 28905
59.48/59.76 c #Conflicts: 1286000 | #Constraints: 29905
59.48/59.76 c #Conflicts: 1287000 | #Constraints: 30905
59.48/59.76 c #Conflicts: 1288000 | #Constraints: 31905
59.48/59.76 c #Conflicts: 1289000 | #Constraints: 32905
59.48/59.76 c #Conflicts: 1290000 | #Constraints: 33905
59.48/59.76 c #Conflicts: 1291000 | #Constraints: 34905
59.48/59.76 c #Conflicts: 1292000 | #Constraints: 35905
59.48/59.76 c #Conflicts: 1293000 | #Constraints: 36905
59.48/59.76 c #Conflicts: 1294000 | #Constraints: 37905
59.48/59.76 c #Conflicts: 1295000 | #Constraints: 38905
59.48/59.76 c #Conflicts: 1296000 | #Constraints: 39905
59.48/59.76 c #Conflicts: 1297000 | #Constraints: 40905
59.48/59.76 c #Conflicts: 1298000 | #Constraints: 41905
59.48/59.76 c #Conflicts: 1299000 | #Constraints: 42905
59.48/59.76 c #Conflicts: 1300000 | #Constraints: 43905
59.48/59.76 c #Conflicts: 1301000 | #Constraints: 44905
59.48/59.76 c #Conflicts: 1302000 | #Constraints: 45905
59.48/59.76 c INPROCESSING
59.48/59.76 c GARBAGE COLLECT
59.48/59.76 c rational objective 250.5
60.58/60.85 c #Conflicts: 1303000 | #Constraints: 24306
60.58/60.85 c #Conflicts: 1304000 | #Constraints: 25306
60.58/60.85 c #Conflicts: 1305000 | #Constraints: 26306
60.58/60.85 c #Conflicts: 1306000 | #Constraints: 27306
60.58/60.85 c #Conflicts: 1307000 | #Constraints: 28306
60.58/60.85 c #Conflicts: 1308000 | #Constraints: 29306
60.58/60.85 c #Conflicts: 1309000 | #Constraints: 30306
60.58/60.85 c #Conflicts: 1310000 | #Constraints: 31306
60.58/60.85 c #Conflicts: 1311000 | #Constraints: 32306
60.58/60.85 c #Conflicts: 1312000 | #Constraints: 33306
60.58/60.85 c #Conflicts: 1313000 | #Constraints: 34306
60.58/60.85 c #Conflicts: 1314000 | #Constraints: 35306
60.58/60.85 c #Conflicts: 1315000 | #Constraints: 36306
60.58/60.85 c #Conflicts: 1316000 | #Constraints: 37306
60.58/60.85 c #Conflicts: 1317000 | #Constraints: 38306
60.58/60.85 c #Conflicts: 1318000 | #Constraints: 39306
60.58/60.85 c #Conflicts: 1319000 | #Constraints: 40306
60.58/60.85 c #Conflicts: 1320000 | #Constraints: 41306
60.58/60.85 c #Conflicts: 1321000 | #Constraints: 42306
60.58/60.85 c #Conflicts: 1322000 | #Constraints: 43306
60.58/60.85 c #Conflicts: 1323000 | #Constraints: 44306
60.58/60.85 c #Conflicts: 1324000 | #Constraints: 45306
60.58/60.85 c #Conflicts: 1325000 | #Constraints: 46306
60.58/60.85 c INPROCESSING
60.58/60.85 c GARBAGE COLLECT
60.58/60.85 c rational objective 250.5
61.78/62.02 c #Conflicts: 1326000 | #Constraints: 24506
61.78/62.02 c #Conflicts: 1327000 | #Constraints: 25506
61.78/62.02 c #Conflicts: 1328000 | #Constraints: 26506
61.78/62.02 c #Conflicts: 1329000 | #Constraints: 27506
61.78/62.02 c #Conflicts: 1330000 | #Constraints: 28506
61.78/62.02 c #Conflicts: 1331000 | #Constraints: 29506
61.78/62.02 c #Conflicts: 1332000 | #Constraints: 30506
61.78/62.02 c #Conflicts: 1333000 | #Constraints: 31506
61.78/62.02 c #Conflicts: 1334000 | #Constraints: 32506
61.78/62.02 c #Conflicts: 1335000 | #Constraints: 33506
61.78/62.02 c #Conflicts: 1336000 | #Constraints: 34506
61.78/62.02 c #Conflicts: 1337000 | #Constraints: 35506
61.78/62.02 c #Conflicts: 1338000 | #Constraints: 36506
61.78/62.02 c #Conflicts: 1339000 | #Constraints: 37506
61.78/62.02 c #Conflicts: 1340000 | #Constraints: 38506
61.78/62.02 c #Conflicts: 1341000 | #Constraints: 39506
61.78/62.02 c #Conflicts: 1342000 | #Constraints: 40506
61.78/62.02 c #Conflicts: 1343000 | #Constraints: 41506
61.78/62.02 c #Conflicts: 1344000 | #Constraints: 42506
61.78/62.02 c #Conflicts: 1345000 | #Constraints: 43506
61.78/62.02 c #Conflicts: 1346000 | #Constraints: 44506
61.78/62.02 c #Conflicts: 1347000 | #Constraints: 45506
61.78/62.02 c #Conflicts: 1348000 | #Constraints: 46506
61.78/62.02 c INPROCESSING
61.78/62.02 c GARBAGE COLLECT
61.78/62.02 c rational objective 250.5
62.88/63.15 c #Conflicts: 1349000 | #Constraints: 24515
62.88/63.15 c #Conflicts: 1350000 | #Constraints: 25515
62.88/63.15 c #Conflicts: 1351000 | #Constraints: 26515
62.88/63.15 c #Conflicts: 1352000 | #Constraints: 27515
62.88/63.15 c #Conflicts: 1353000 | #Constraints: 28515
62.88/63.15 c #Conflicts: 1354000 | #Constraints: 29515
62.88/63.15 c #Conflicts: 1355000 | #Constraints: 30515
62.88/63.15 c #Conflicts: 1356000 | #Constraints: 31515
62.88/63.15 c #Conflicts: 1357000 | #Constraints: 32515
62.88/63.15 c #Conflicts: 1358000 | #Constraints: 33515
62.88/63.15 c #Conflicts: 1359000 | #Constraints: 34515
62.88/63.15 c #Conflicts: 1360000 | #Constraints: 35515
62.88/63.15 c #Conflicts: 1361000 | #Constraints: 36515
62.88/63.15 c #Conflicts: 1362000 | #Constraints: 37515
62.88/63.15 c #Conflicts: 1363000 | #Constraints: 38515
62.88/63.15 c #Conflicts: 1364000 | #Constraints: 39515
62.88/63.15 c #Conflicts: 1365000 | #Constraints: 40515
62.88/63.15 c #Conflicts: 1366000 | #Constraints: 41515
62.88/63.15 c #Conflicts: 1367000 | #Constraints: 42515
62.88/63.15 c #Conflicts: 1368000 | #Constraints: 43515
62.88/63.15 c #Conflicts: 1369000 | #Constraints: 44515
62.88/63.15 c #Conflicts: 1370000 | #Constraints: 45515
62.88/63.15 c #Conflicts: 1371000 | #Constraints: 46515
62.88/63.15 c INPROCESSING
62.88/63.15 c GARBAGE COLLECT
62.88/63.15 c rational objective 250.5
63.97/64.23 c #Conflicts: 1372000 | #Constraints: 24309
63.97/64.23 c #Conflicts: 1373000 | #Constraints: 25309
63.97/64.23 c #Conflicts: 1374000 | #Constraints: 26309
63.97/64.23 c #Conflicts: 1375000 | #Constraints: 27309
63.97/64.23 c #Conflicts: 1376000 | #Constraints: 28309
63.97/64.23 c #Conflicts: 1377000 | #Constraints: 29309
63.97/64.23 c #Conflicts: 1378000 | #Constraints: 30309
63.97/64.23 c #Conflicts: 1379000 | #Constraints: 31309
63.97/64.23 c #Conflicts: 1380000 | #Constraints: 32309
63.97/64.23 c #Conflicts: 1381000 | #Constraints: 33309
63.97/64.23 c #Conflicts: 1382000 | #Constraints: 34309
63.97/64.23 c #Conflicts: 1383000 | #Constraints: 35309
63.97/64.23 c #Conflicts: 1384000 | #Constraints: 36309
63.97/64.23 c #Conflicts: 1385000 | #Constraints: 37309
63.97/64.23 c #Conflicts: 1386000 | #Constraints: 38309
63.97/64.23 c #Conflicts: 1387000 | #Constraints: 39309
63.97/64.23 c #Conflicts: 1388000 | #Constraints: 40309
63.97/64.23 c #Conflicts: 1389000 | #Constraints: 41309
63.97/64.23 c #Conflicts: 1390000 | #Constraints: 42309
63.97/64.23 c #Conflicts: 1391000 | #Constraints: 43309
63.97/64.23 c #Conflicts: 1392000 | #Constraints: 44309
63.97/64.23 c #Conflicts: 1393000 | #Constraints: 45309
63.97/64.23 c #Conflicts: 1394000 | #Constraints: 46309
63.97/64.23 c #Conflicts: 1395000 | #Constraints: 47309
63.97/64.23 c INPROCESSING
63.97/64.23 c GARBAGE COLLECT
63.97/64.23 c rational objective 250.5
65.07/65.34 c #Conflicts: 1396000 | #Constraints: 24909
65.07/65.34 c #Conflicts: 1397000 | #Constraints: 25909
65.07/65.34 c #Conflicts: 1398000 | #Constraints: 26909
65.07/65.34 c #Conflicts: 1399000 | #Constraints: 27909
65.07/65.34 c #Conflicts: 1400000 | #Constraints: 28909
65.07/65.34 c #Conflicts: 1401000 | #Constraints: 29909
65.07/65.34 c #Conflicts: 1402000 | #Constraints: 30909
65.07/65.34 c #Conflicts: 1403000 | #Constraints: 31909
65.07/65.34 c #Conflicts: 1404000 | #Constraints: 32909
65.07/65.34 c #Conflicts: 1405000 | #Constraints: 33909
65.07/65.34 c #Conflicts: 1406000 | #Constraints: 34909
65.07/65.34 c #Conflicts: 1407000 | #Constraints: 35909
65.07/65.34 c #Conflicts: 1408000 | #Constraints: 36909
65.07/65.34 c #Conflicts: 1409000 | #Constraints: 37909
65.07/65.34 c #Conflicts: 1410000 | #Constraints: 38909
65.07/65.34 c #Conflicts: 1411000 | #Constraints: 39909
65.07/65.34 c #Conflicts: 1412000 | #Constraints: 40909
65.07/65.34 c #Conflicts: 1413000 | #Constraints: 41909
65.07/65.34 c #Conflicts: 1414000 | #Constraints: 42909
65.07/65.34 c #Conflicts: 1415000 | #Constraints: 43909
65.07/65.34 c #Conflicts: 1416000 | #Constraints: 44909
65.07/65.34 c #Conflicts: 1417000 | #Constraints: 45909
65.07/65.34 c #Conflicts: 1418000 | #Constraints: 46909
65.07/65.34 c #Conflicts: 1419000 | #Constraints: 47909
65.07/65.34 c INPROCESSING
65.07/65.34 c GARBAGE COLLECT
65.07/65.34 c rational objective 250.5
66.26/66.55 c #Conflicts: 1420000 | #Constraints: 25309
66.26/66.55 c #Conflicts: 1421000 | #Constraints: 26309
66.26/66.55 c #Conflicts: 1422000 | #Constraints: 27309
66.26/66.55 c #Conflicts: 1423000 | #Constraints: 28309
66.26/66.55 c #Conflicts: 1424000 | #Constraints: 29309
66.26/66.55 c #Conflicts: 1425000 | #Constraints: 30309
66.26/66.55 c #Conflicts: 1426000 | #Constraints: 31309
66.26/66.55 c #Conflicts: 1427000 | #Constraints: 32309
66.26/66.55 c #Conflicts: 1428000 | #Constraints: 33309
66.26/66.55 c #Conflicts: 1429000 | #Constraints: 34309
66.26/66.55 c #Conflicts: 1430000 | #Constraints: 35309
66.26/66.55 c #Conflicts: 1431000 | #Constraints: 36309
66.26/66.55 c #Conflicts: 1432000 | #Constraints: 37309
66.26/66.55 c #Conflicts: 1433000 | #Constraints: 38309
66.26/66.55 c #Conflicts: 1434000 | #Constraints: 39309
66.26/66.55 c #Conflicts: 1435000 | #Constraints: 40309
66.26/66.55 c #Conflicts: 1436000 | #Constraints: 41309
66.26/66.55 c #Conflicts: 1437000 | #Constraints: 42309
66.26/66.55 c #Conflicts: 1438000 | #Constraints: 43309
66.26/66.55 c #Conflicts: 1439000 | #Constraints: 44309
66.26/66.55 c #Conflicts: 1440000 | #Constraints: 45309
66.26/66.55 c #Conflicts: 1441000 | #Constraints: 46309
66.26/66.55 c #Conflicts: 1442000 | #Constraints: 47309
66.26/66.55 c #Conflicts: 1443000 | #Constraints: 48309
66.26/66.55 c INPROCESSING
66.26/66.55 c GARBAGE COLLECT
66.26/66.55 c rational objective 250.5
67.56/67.81 c #Conflicts: 1444000 | #Constraints: 25509
67.56/67.81 c #Conflicts: 1445000 | #Constraints: 26509
67.56/67.81 c #Conflicts: 1446000 | #Constraints: 27509
67.56/67.81 c #Conflicts: 1447000 | #Constraints: 28509
67.56/67.81 c #Conflicts: 1448000 | #Constraints: 29509
67.56/67.81 c #Conflicts: 1449000 | #Constraints: 30509
67.56/67.81 c #Conflicts: 1450000 | #Constraints: 31509
67.56/67.81 c #Conflicts: 1451000 | #Constraints: 32509
67.56/67.81 c #Conflicts: 1452000 | #Constraints: 33509
67.56/67.81 c #Conflicts: 1453000 | #Constraints: 34509
67.56/67.81 c #Conflicts: 1454000 | #Constraints: 35509
67.56/67.81 c #Conflicts: 1455000 | #Constraints: 36509
67.56/67.81 c #Conflicts: 1456000 | #Constraints: 37509
67.56/67.81 c #Conflicts: 1457000 | #Constraints: 38509
67.56/67.81 c #Conflicts: 1458000 | #Constraints: 39509
67.56/67.81 c #Conflicts: 1459000 | #Constraints: 40509
67.56/67.81 c #Conflicts: 1460000 | #Constraints: 41509
67.56/67.81 c #Conflicts: 1461000 | #Constraints: 42509
67.56/67.81 c #Conflicts: 1462000 | #Constraints: 43509
67.56/67.81 c #Conflicts: 1463000 | #Constraints: 44509
67.56/67.81 c #Conflicts: 1464000 | #Constraints: 45509
67.56/67.81 c #Conflicts: 1465000 | #Constraints: 46509
67.56/67.81 c #Conflicts: 1466000 | #Constraints: 47509
67.56/67.81 c #Conflicts: 1467000 | #Constraints: 48509
67.56/67.81 c INPROCESSING
67.56/67.81 c GARBAGE COLLECT
67.56/67.81 c rational objective 250.5
68.76/69.04 c #Conflicts: 1468000 | #Constraints: 25506
68.76/69.04 c #Conflicts: 1469000 | #Constraints: 26506
68.76/69.04 c #Conflicts: 1470000 | #Constraints: 27506
68.76/69.04 c #Conflicts: 1471000 | #Constraints: 28506
68.76/69.04 c #Conflicts: 1472000 | #Constraints: 29506
68.76/69.04 c #Conflicts: 1473000 | #Constraints: 30506
68.76/69.04 c #Conflicts: 1474000 | #Constraints: 31506
68.76/69.04 c #Conflicts: 1475000 | #Constraints: 32506
68.76/69.04 c #Conflicts: 1476000 | #Constraints: 33506
68.76/69.04 c #Conflicts: 1477000 | #Constraints: 34506
68.76/69.04 c #Conflicts: 1478000 | #Constraints: 35506
68.76/69.04 c #Conflicts: 1479000 | #Constraints: 36506
68.76/69.04 c #Conflicts: 1480000 | #Constraints: 37506
68.76/69.04 c #Conflicts: 1481000 | #Constraints: 38506
68.76/69.04 c #Conflicts: 1482000 | #Constraints: 39506
68.76/69.04 c #Conflicts: 1483000 | #Constraints: 40506
68.76/69.04 c #Conflicts: 1484000 | #Constraints: 41506
68.76/69.04 c #Conflicts: 1485000 | #Constraints: 42506
68.76/69.04 c #Conflicts: 1486000 | #Constraints: 43506
68.76/69.04 c #Conflicts: 1487000 | #Constraints: 44506
68.76/69.04 c #Conflicts: 1488000 | #Constraints: 45506
68.76/69.04 c #Conflicts: 1489000 | #Constraints: 46506
68.76/69.04 c #Conflicts: 1490000 | #Constraints: 47506
68.76/69.04 c #Conflicts: 1491000 | #Constraints: 48506
68.76/69.04 c INPROCESSING
68.76/69.04 c GARBAGE COLLECT
68.76/69.04 c rational objective 250.5
70.05/70.32 c #Conflicts: 1492000 | #Constraints: 25304
70.05/70.32 c #Conflicts: 1493000 | #Constraints: 26304
70.05/70.32 c #Conflicts: 1494000 | #Constraints: 27304
70.05/70.32 c #Conflicts: 1495000 | #Constraints: 28304
70.05/70.32 c #Conflicts: 1496000 | #Constraints: 29304
70.05/70.32 c #Conflicts: 1497000 | #Constraints: 30304
70.05/70.32 c #Conflicts: 1498000 | #Constraints: 31304
70.05/70.32 c #Conflicts: 1499000 | #Constraints: 32304
70.05/70.32 c #Conflicts: 1500000 | #Constraints: 33304
70.05/70.32 c #Conflicts: 1501000 | #Constraints: 34304
70.05/70.32 c #Conflicts: 1502000 | #Constraints: 35304
70.05/70.32 c #Conflicts: 1503000 | #Constraints: 36304
70.05/70.32 c #Conflicts: 1504000 | #Constraints: 37304
70.05/70.32 c #Conflicts: 1505000 | #Constraints: 38304
70.05/70.32 c #Conflicts: 1506000 | #Constraints: 39304
70.05/70.32 c #Conflicts: 1507000 | #Constraints: 40304
70.05/70.32 c #Conflicts: 1508000 | #Constraints: 41304
70.05/70.32 c #Conflicts: 1509000 | #Constraints: 42304
70.05/70.32 c #Conflicts: 1510000 | #Constraints: 43304
70.05/70.32 c #Conflicts: 1511000 | #Constraints: 44304
70.05/70.32 c #Conflicts: 1512000 | #Constraints: 45304
70.05/70.32 c #Conflicts: 1513000 | #Constraints: 46304
70.05/70.32 c #Conflicts: 1514000 | #Constraints: 47304
70.05/70.32 c #Conflicts: 1515000 | #Constraints: 48304
70.05/70.32 c #Conflicts: 1516000 | #Constraints: 49304
70.05/70.32 c INPROCESSING
70.05/70.32 c GARBAGE COLLECT
70.05/70.32 c rational objective 250.5
71.35/71.65 c #Conflicts: 1517000 | #Constraints: 25908
71.35/71.65 c #Conflicts: 1518000 | #Constraints: 26908
71.35/71.65 c #Conflicts: 1519000 | #Constraints: 27908
71.35/71.65 c #Conflicts: 1520000 | #Constraints: 28908
71.35/71.65 c #Conflicts: 1521000 | #Constraints: 29908
71.35/71.65 c #Conflicts: 1522000 | #Constraints: 30908
71.35/71.65 c #Conflicts: 1523000 | #Constraints: 31908
71.35/71.65 c #Conflicts: 1524000 | #Constraints: 32908
71.35/71.65 c #Conflicts: 1525000 | #Constraints: 33908
71.35/71.65 c #Conflicts: 1526000 | #Constraints: 34908
71.35/71.65 c #Conflicts: 1527000 | #Constraints: 35908
71.35/71.65 c #Conflicts: 1528000 | #Constraints: 36908
71.35/71.65 c #Conflicts: 1529000 | #Constraints: 37908
71.35/71.65 c #Conflicts: 1530000 | #Constraints: 38908
71.35/71.65 c #Conflicts: 1531000 | #Constraints: 39908
71.35/71.65 c #Conflicts: 1532000 | #Constraints: 40908
71.35/71.65 c #Conflicts: 1533000 | #Constraints: 41908
71.35/71.65 c #Conflicts: 1534000 | #Constraints: 42908
71.35/71.65 c #Conflicts: 1535000 | #Constraints: 43908
71.35/71.65 c #Conflicts: 1536000 | #Constraints: 44908
71.35/71.65 c #Conflicts: 1537000 | #Constraints: 45908
71.35/71.65 c #Conflicts: 1538000 | #Constraints: 46908
71.35/71.65 c #Conflicts: 1539000 | #Constraints: 47908
71.35/71.65 c #Conflicts: 1540000 | #Constraints: 48908
71.35/71.65 c #Conflicts: 1541000 | #Constraints: 49908
71.35/71.65 c INPROCESSING
71.35/71.65 c GARBAGE COLLECT
71.35/71.65 c rational objective 250.5
72.75/73.03 c #Conflicts: 1542000 | #Constraints: 26307
72.75/73.03 c #Conflicts: 1543000 | #Constraints: 27307
72.75/73.03 c #Conflicts: 1544000 | #Constraints: 28307
72.75/73.03 c #Conflicts: 1545000 | #Constraints: 29307
72.75/73.03 c #Conflicts: 1546000 | #Constraints: 30307
72.75/73.03 c #Conflicts: 1547000 | #Constraints: 31307
72.75/73.03 c #Conflicts: 1548000 | #Constraints: 32307
72.75/73.03 c #Conflicts: 1549000 | #Constraints: 33307
72.75/73.03 c #Conflicts: 1550000 | #Constraints: 34307
72.75/73.03 c #Conflicts: 1551000 | #Constraints: 35307
72.75/73.03 c #Conflicts: 1552000 | #Constraints: 36307
72.75/73.03 c #Conflicts: 1553000 | #Constraints: 37307
72.75/73.03 c #Conflicts: 1554000 | #Constraints: 38307
72.75/73.03 c #Conflicts: 1555000 | #Constraints: 39307
72.75/73.03 c #Conflicts: 1556000 | #Constraints: 40307
72.75/73.03 c #Conflicts: 1557000 | #Constraints: 41307
72.75/73.03 c #Conflicts: 1558000 | #Constraints: 42307
72.75/73.03 c #Conflicts: 1559000 | #Constraints: 43307
72.75/73.03 c #Conflicts: 1560000 | #Constraints: 44307
72.75/73.03 c #Conflicts: 1561000 | #Constraints: 45307
72.75/73.03 c #Conflicts: 1562000 | #Constraints: 46307
72.75/73.03 c #Conflicts: 1563000 | #Constraints: 47307
72.75/73.03 c #Conflicts: 1564000 | #Constraints: 48307
72.75/73.03 c #Conflicts: 1565000 | #Constraints: 49307
72.75/73.03 c #Conflicts: 1566000 | #Constraints: 50307
72.75/73.03 c INPROCESSING
72.75/73.03 c GARBAGE COLLECT
72.75/73.03 c rational objective 250.5
74.04/74.38 c #Conflicts: 1567000 | #Constraints: 26510
74.04/74.38 c #Conflicts: 1568000 | #Constraints: 27510
74.04/74.38 c #Conflicts: 1569000 | #Constraints: 28510
74.04/74.38 c #Conflicts: 1570000 | #Constraints: 29510
74.04/74.38 c #Conflicts: 1571000 | #Constraints: 30510
74.04/74.38 c #Conflicts: 1572000 | #Constraints: 31510
74.04/74.38 c #Conflicts: 1573000 | #Constraints: 32510
74.04/74.38 c #Conflicts: 1574000 | #Constraints: 33510
74.04/74.38 c #Conflicts: 1575000 | #Constraints: 34510
74.04/74.38 c #Conflicts: 1576000 | #Constraints: 35510
74.04/74.38 c #Conflicts: 1577000 | #Constraints: 36510
74.04/74.38 c #Conflicts: 1578000 | #Constraints: 37510
74.04/74.38 c #Conflicts: 1579000 | #Constraints: 38510
74.04/74.38 c #Conflicts: 1580000 | #Constraints: 39510
74.04/74.38 c #Conflicts: 1581000 | #Constraints: 40510
74.04/74.38 c #Conflicts: 1582000 | #Constraints: 41510
74.04/74.38 c #Conflicts: 1583000 | #Constraints: 42510
74.04/74.38 c #Conflicts: 1584000 | #Constraints: 43510
74.04/74.38 c #Conflicts: 1585000 | #Constraints: 44510
74.04/74.38 c #Conflicts: 1586000 | #Constraints: 45510
74.04/74.38 c #Conflicts: 1587000 | #Constraints: 46510
74.04/74.38 c #Conflicts: 1588000 | #Constraints: 47510
74.04/74.38 c #Conflicts: 1589000 | #Constraints: 48510
74.04/74.38 c #Conflicts: 1590000 | #Constraints: 49510
74.04/74.38 c #Conflicts: 1591000 | #Constraints: 50510
74.04/74.38 c INPROCESSING
74.04/74.38 c GARBAGE COLLECT
74.04/74.38 c rational objective 250.5
75.53/75.80 c #Conflicts: 1592000 | #Constraints: 26508
75.53/75.80 c #Conflicts: 1593000 | #Constraints: 27508
75.53/75.80 c #Conflicts: 1594000 | #Constraints: 28508
75.53/75.80 c #Conflicts: 1595000 | #Constraints: 29508
75.53/75.80 c #Conflicts: 1596000 | #Constraints: 30508
75.53/75.80 c #Conflicts: 1597000 | #Constraints: 31508
75.53/75.80 c #Conflicts: 1598000 | #Constraints: 32508
75.53/75.80 c #Conflicts: 1599000 | #Constraints: 33508
75.53/75.80 c #Conflicts: 1600000 | #Constraints: 34508
75.53/75.80 c #Conflicts: 1601000 | #Constraints: 35508
75.53/75.80 c #Conflicts: 1602000 | #Constraints: 36508
75.53/75.80 c #Conflicts: 1603000 | #Constraints: 37508
75.53/75.80 c #Conflicts: 1604000 | #Constraints: 38508
75.53/75.80 c #Conflicts: 1605000 | #Constraints: 39508
75.53/75.80 c #Conflicts: 1606000 | #Constraints: 40508
75.53/75.80 c #Conflicts: 1607000 | #Constraints: 41508
75.53/75.80 c #Conflicts: 1608000 | #Constraints: 42508
75.53/75.80 c #Conflicts: 1609000 | #Constraints: 43508
75.53/75.80 c #Conflicts: 1610000 | #Constraints: 44508
75.53/75.80 c #Conflicts: 1611000 | #Constraints: 45508
75.53/75.80 c #Conflicts: 1612000 | #Constraints: 46508
75.53/75.80 c #Conflicts: 1613000 | #Constraints: 47508
75.53/75.80 c #Conflicts: 1614000 | #Constraints: 48508
75.53/75.80 c #Conflicts: 1615000 | #Constraints: 49508
75.53/75.80 c #Conflicts: 1616000 | #Constraints: 50508
75.53/75.80 c INPROCESSING
75.53/75.80 c GARBAGE COLLECT
75.53/75.80 c rational objective 250.5
75.83/76.15 c #Conflicts: 1617000 | #Constraints: 12624
75.83/76.15 c #Conflicts: 1618000 | #Constraints: 13624
75.83/76.15 c #Conflicts: 1619000 | #Constraints: 14624
75.83/76.15 c #Conflicts: 1620000 | #Constraints: 15624
75.83/76.15 c #Conflicts: 1621000 | #Constraints: 16624
75.83/76.15 c #Conflicts: 1622000 | #Constraints: 17624
75.83/76.15 c #Conflicts: 1623000 | #Constraints: 18624
75.83/76.15 c #Conflicts: 1624000 | #Constraints: 19624
75.83/76.15 c #Conflicts: 1625000 | #Constraints: 20624
75.83/76.15 c cpu time 70.7567 s
75.83/76.15 c deterministic time 3329340739 3.33e+09
75.83/76.15 c optimization time 9.9e-05 s
75.83/76.15 c total solve time 70.7535 s
75.83/76.15 c core-guided solve time 0 s
75.83/76.15 c propagation time 51.606 s
75.83/76.15 c conflict analysis time 11.1333 s
75.83/76.15 c propagations 10073846
75.83/76.15 c resolve steps 4978839
75.83/76.15 c decisions 2651639
75.83/76.15 c conflicts 1625688
75.83/76.15 c restarts 3069
75.83/76.15 c inprocessing phases 118
75.83/76.15 c garbage collections 118 ,( 100.00 )
75.83/76.15 c input clauses 58 ,( 10.39 )
75.83/76.15 c input cardinalities 500 ,( 89.61 )
75.83/76.15 c input general constraints 0 ,( 0.00 )
75.83/76.15 c input average constraint length 3.88
75.83/76.15 c input average constraint degree 1.90
75.83/76.15 c learned clauses 1542480 ,( 94.85 )
75.83/76.15 c learned cardinalities 4353 ,( 0.27 )
75.83/76.15 c learned general constraints 79370 ,( 4.88 )
75.83/76.15 c learned average constraint length 16.68
75.83/76.15 c learned average constraint degree 86689.89
75.83/76.15 c watched CF 32, 64, 128, Arb: 39446 , 0 , 0 , 0
75.83/76.15 c counting CF 32, 64, 128, Arb: 39924 , 0 , 0 , 0
75.83/76.15 c watched constraints 39446 ,( 49.70 )
75.83/76.15 c counting constraints 39924 ,( 50.30 )
75.83/76.15 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 537948925 , 26788935 , 25841159 ,( 17478398 , 8362761 )
75.83/76.15 c gcd simplifications 3823
75.83/76.15 c detected cardinalities 776
75.83/76.15 c weakened non-implied lits 628914
75.83/76.15 c weakened non-implying lits 1112
75.83/76.15 c original variables 519
75.83/76.15 c clausal propagations 3294926
75.83/76.15 c cardinality propagations 2326164
75.83/76.15 c watched propagations 176826
75.83/76.15 c counting propagations 2619616
75.83/76.15 c watch lookups 2014998819
75.83/76.15 c watch backjump lookups 0
75.83/76.15 c watch checks 1114897141
75.83/76.15 c propagation checks 84920625
75.83/76.15 c constraint additions 87284171
75.83/76.15 c trail pops 14351145
75.83/76.15 c formula constraints 558
75.83/76.15 c learned constraints 1625678
75.83/76.15 c bound constraints 0
75.83/76.15 c core-guided constraints 0
75.83/76.15 c encountered formula constraints 94469
75.83/76.15 c encountered learned constraints 6508753
75.83/76.15 c encountered bound constraints 0
75.83/76.15 c encountered core-guided constraints 0
75.83/76.15 c LP total time 7.75669 s
75.83/76.15 c LP solve time 4.58 s
75.83/76.15 c LP constraints added 1176
75.83/76.15 c LP constraints removed 609
75.83/76.15 c LP pivots internal 162574
75.83/76.15 c LP pivots root 778
75.83/76.15 c LP calls 15591
75.83/76.15 c LP optimalities 15582
75.83/76.15 c LP no pivot count 975
75.83/76.15 c LP infeasibilities 9
75.83/76.15 c LP valid Farkas constraints 9
75.83/76.15 c LP learned Farkas constraints 9
75.83/76.15 c LP basis resets 0
75.83/76.15 c LP cycling count 0
75.83/76.15 c LP singular count 0
75.83/76.15 c LP no primal count 0
75.83/76.15 c LP no farkas count 0
75.83/76.15 c LP other issue count 0
75.83/76.15 c LP Gomory cuts 507
75.83/76.15 c LP learned cuts 111
75.83/76.15 c LP deleted cuts 609
75.83/76.15 c LP encountered Gomory constraints 0
75.83/76.15 c LP encountered Farkas constraints 733
75.83/76.15 c LP encountered learned Farkas constraints 563
75.83/76.15 c CG auxiliary variables introduced 0
75.83/76.15 c CG solutions found 0
75.83/76.15 c CG cores constructed 0
75.83/76.15 c CG core cardinality constraints returned 0
75.83/76.15 c CG unit cores 0
75.83/76.15 c CG single cores 0
75.83/76.15 c CG blocks removed during cardinality reduction 0
75.83/76.15 c CG first core best 0
75.83/76.15 c CG decision core best 0
75.83/76.15 c CG core reduction tie 0
75.83/76.15 c CG core degree average 0.00
75.83/76.15 c CG core slack average 0.00
75.83/76.15 c CG core upper bound improvements 0
75.83/76.15 c STR number of successful calls 0
75.83/76.15 c STR number of unsuccessful calls 0
75.83/76.15 c STR number of inconclusive calls 0
75.83/76.15 c STR number of successful attempts 0
75.83/76.15 c STR number of unsuccessful attempts 0
75.83/76.15 c STR number of inconclusive attempts 0
75.83/76.15 c STR average degree increase per successful call inf
75.83/76.15 c STR average degree increase per successful attempt inf
75.83/76.15 c STR total number of conflicts for successful attempts 0
75.83/76.15 c STR total number of conflicts for unsuccessful attempts 0
75.83/76.15 c STR total number of conflicts for inconclusive attempts 0
75.83/76.15 c STR average number of conflicts per successful attempt inf
75.83/76.15 c STR average number of conflicts per unsuccessful attempt inf
75.83/76.15 c STR average number of conflicts per inconclusive attempt inf
75.83/76.15 c AVG.sumWPerc 39.34
75.83/76.15 c bigint constraints 0
75.83/76.15 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62941 MiB free)
memory of node 1: 64465 MiB (63897 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510548-1751196625/watcher-4510548-1751196625 -o /tmp/evaluation-result-4510548-1751196625/solver-4510548-1751196625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751196526-23371 --watchdog 3760 run-dec-break.sh HOME/instance-4510548-1751196625.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
solver pid=23861, runsolver pid=23858
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 3.43 3.01 3.85 5/270 23864
/proc/meminfo: memFree=129881608/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=57768 memory=14372 CPUtime=0.06 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 1054 0 0 0 6 0 0 0 20 0 1 0 35339966 59154432 3593 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 14442 3593 2368 1147 0 1869 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 61960 KiB
Current children cumulated memory: 17444 KiB
[startup+0.205628 s]*
/proc/loadavg: 3.43 3.01 3.85 5/270 23864
/proc/meminfo: memFree=129881608/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=58300 memory=14884 CPUtime=0.17 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 1204 0 0 0 15 2 0 0 20 0 1 0 35339966 59699200 3721 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 14575 3721 2368 1147 0 2002 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 62492 KiB
Current children cumulated memory: 17956 KiB
[startup+0.30522 s]*
/proc/loadavg: 3.43 3.01 3.85 6/270 23864
/proc/meminfo: memFree=129881608/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=58572 memory=15268 CPUtime=0.26 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 1275 0 0 0 23 3 0 0 20 0 1 0 35339966 59977728 3817 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 14643 3817 2368 1147 0 2070 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 62764 KiB
Current children cumulated memory: 18340 KiB
[startup+0.700129 s]
/proc/loadavg: 3.43 3.01 3.85 5/270 23864
/proc/meminfo: memFree=129880600/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=59276 memory=15780 CPUtime=0.65 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 1426 0 0 0 56 9 0 0 20 0 1 0 35339966 60698624 3945 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 14819 3945 2368 1147 0 2246 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 63468 KiB
Current children cumulated memory: 18852 KiB
[startup+1.50016 s]
/proc/loadavg: 3.43 3.01 3.85 5/270 23864
/proc/meminfo: memFree=129879844/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=60052 memory=16548 CPUtime=1.45 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 1606 0 0 0 127 18 0 0 20 0 1 0 35339966 61493248 4137 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 15013 4137 2368 1147 0 2440 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 64244 KiB
Current children cumulated memory: 19620 KiB
[startup+3.1057 s]
/proc/loadavg: 3.48 3.02 3.85 5/270 23864
/proc/meminfo: memFree=129879640/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=60660 memory=17188 CPUtime=3.06 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 1768 0 0 0 268 38 0 0 20 0 1 0 35339966 62115840 4297 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 15165 4297 2368 1147 0 2592 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 64852 KiB
Current children cumulated memory: 20260 KiB
[startup+6.30013 s]
/proc/loadavg: 3.48 3.02 3.85 5/270 23864
/proc/meminfo: memFree=129860024/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=62752 memory=19364 CPUtime=6.23 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 2311 0 0 0 559 64 0 0 20 0 1 0 35339966 64258048 4841 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 15688 4841 2368 1147 0 3115 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 66944 KiB
Current children cumulated memory: 22436 KiB
[startup+12.7001 s]
/proc/loadavg: 3.56 3.06 3.86 5/270 23864
/proc/meminfo: memFree=129855740/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=63496 memory=20208 CPUtime=12.62 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 2915 0 0 0 1141 121 0 0 20 0 1 0 35339966 65019904 5052 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 15874 5052 2368 1147 0 3301 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 67688 KiB
Current children cumulated memory: 23280 KiB
[startup+25.5002 s]
/proc/loadavg: 3.71 3.10 3.86 5/271 23866
/proc/meminfo: memFree=129833560/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=66344 memory=24620 CPUtime=25.38 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 5629 0 0 0 2324 214 0 0 20 0 1 0 35339966 67936256 6155 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 16586 6155 2368 1147 0 4013 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 70536 KiB
Current children cumulated memory: 27692 KiB
[startup+51.1058 s]
/proc/loadavg: 3.81 3.18 3.87 5/272 23867
/proc/meminfo: memFree=129799944/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=68692 memory=26988 CPUtime=50.91 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 8887 0 0 0 4726 365 0 0 20 0 1 0 35339966 70340608 6747 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 17173 6747 2368 1147 0 4600 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 72884 KiB
Current children cumulated memory: 30060 KiB
[startup+76.1521 s]
# the end of solver process 23861 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=70.7677 s, system=5.13902 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 3.81 3.18 3.87 5/272 23867
/proc/meminfo: memFree=129799944/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=68692 memory=26988 CPUtime=51.01 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 8887 0 0 0 4735 366 0 0 20 0 1 0 35339966 70340608 6747 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 17173 6747 2368 1147 0 4600 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 72884 KiB
Current children cumulated memory: 30060 KiB
[startup+64.0002 s]*
/proc/loadavg: 3.85 3.22 3.87 5/273 23871
/proc/meminfo: memFree=129827580/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=70444 memory=28456 CPUtime=63.77 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 11491 0 0 0 5934 443 0 0 20 0 1 0 35339966 72134656 7114 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 17611 7114 2368 1147 0 5038 0
Current children cumulated CPU time: 63.77 s
Current children cumulated vsize: 74636 KiB
Current children cumulated memory: 31528 KiB
[startup+70.4001 s]
/proc/loadavg: 3.94 3.25 3.88 5/273 23871
/proc/meminfo: memFree=129813088/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=73804 memory=29216 CPUtime=70.15 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 12843 0 0 0 6534 481 0 0 20 0 1 0 35339966 75575296 7304 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 18451 7304 2368 1147 0 5878 0
Current children cumulated CPU time: 70.15 s
Current children cumulated vsize: 77996 KiB
Current children cumulated memory: 32288 KiB
[startup+73.6001 s]
/proc/loadavg: 3.95 3.26 3.88 5/273 23871
/proc/meminfo: memFree=129812080/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=73932 memory=29352 CPUtime=73.34 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 13313 0 0 0 6837 497 0 0 20 0 1 0 35339966 75706368 7338 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 18483 7338 2368 1147 0 5910 0
Current children cumulated CPU time: 73.34 s
Current children cumulated vsize: 78124 KiB
Current children cumulated memory: 32424 KiB
[startup+75.2001 s]
/proc/loadavg: 3.95 3.26 3.88 5/273 23871
/proc/meminfo: memFree=129812080/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=73932 memory=29392 CPUtime=74.94 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 13542 0 0 0 6987 507 0 0 20 0 1 0 35339966 75706368 7348 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 18483 7348 2368 1147 0 5910 0
Current children cumulated CPU time: 74.94 s
Current children cumulated vsize: 78124 KiB
Current children cumulated memory: 32464 KiB
[startup+75.6002 s]
/proc/loadavg: 3.95 3.26 3.88 5/273 23871
/proc/meminfo: memFree=129812080/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=73932 memory=29392 CPUtime=75.33 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 13552 0 0 0 7024 509 0 0 20 0 1 0 35339966 75706368 7348 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 18483 7348 2368 1147 0 5910 0
Current children cumulated CPU time: 75.33 s
Current children cumulated vsize: 78124 KiB
Current children cumulated memory: 32464 KiB
[startup+76.0001 s]*
/proc/loadavg: 3.95 3.26 3.88 5/273 23871
/proc/meminfo: memFree=129812080/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=74716 memory=29904 CPUtime=75.74 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 13676 0 0 0 7062 512 0 0 20 0 1 0 35339966 76509184 7476 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 18679 7476 2368 1147 0 6106 0
Current children cumulated CPU time: 75.74 s
Current children cumulated vsize: 78908 KiB
Current children cumulated memory: 32976 KiB
[startup+76.1054 s]
/proc/loadavg: 3.95 3.26 3.88 5/273 23871
/proc/meminfo: memFree=129812080/131250000 swapFree=33010684/33010684
[pid=23861] ppid=23858 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23861/stat : 23861 (run-dec-break.s) S 23858 23861 23358 0 -1 4194304 237 525 0 0 0 0 0 0 20 0 1 0 35339964 4292608 768 18446744073709551615 94652220915712 94652221810245 140722815064064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94652222049296 94652222097040 94652247064576 140722815072609 140722815072738 140722815072738 140722815078340 0
/proc/23861/statm: 1048 768 704 219 0 110 0
[pid=23864] ppid=23861 vsize=74716 memory=29904 CPUtime=75.83 cores=5,7
/proc/23864/stat : 23864 (roundingsat) R 23861 23861 23358 0 -1 4194304 13676 0 0 0 7071 512 0 0 20 0 1 0 35339966 76509184 7476 18446744073709551615 4227072 8923433 140734767341152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10883072 140734767348036 140734767348264 140734767348264 140734767353834 0
/proc/23864/statm: 18679 7476 2368 1147 0 6106 0
Current children cumulated CPU time: 75.83 s
Current children cumulated vsize: 78908 KiB
Current children cumulated memory: 32976 KiB
Child status: 0
Real time (s): 76.1521
CPU time (s): 75.9067
CPU user time (s): 70.7677
CPU system time (s): 5.13902
CPU usage (%): 99.6777
Max. virtual memory (cumulated for all children) (KiB): 78908
Max. memory (cumulated for all children) (KiB): 32976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.7677
system time used= 5.13902
maximum resident set size= 30248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 136
# summary of solver processes directly reported to runsolver:
# pid: 23861
# total CPU time (s): 75.9067
# total CPU user time (s): 70.7677
# total CPU system time (s): 5.13902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.172607 second user time and 0.351725 second system time
The end
Begin job on nodeC019 at 2025-06-29 13:30:25
IDJOB=4510548
IDBENCH=160372
IDSOLVER=3357
FILE ID=nodeC019/4510548-1751196625
RUNJOBID= nodeC019-1751196526-23371
SLURM_JOB_ID= 9587609
Free space on /tmp= 433044 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510548-1751196625/watcher-4510548-1751196625 -o /tmp/evaluation-result-4510548-1751196625/solver-4510548-1751196625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751196526-23371 --watchdog 3760 run-dec-break.sh HOME/instance-4510548-1751196625.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= becd4f2905a31b4ccafbaa36ee1998fb
RANDOM SEED=1966495093
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.658
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.673
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3588.567
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.175
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.679
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.648
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3646.565
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.678
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129884276 kB
MemAvailable: 129714784 kB
Buffers: 3280 kB
Cached: 640388 kB
SwapCached: 0 kB
Active: 444996 kB
Inactive: 383608 kB
Active(anon): 203032 kB
Inactive(anon): 0 kB
Active(file): 241964 kB
Inactive(file): 383608 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7180 kB
Writeback: 0 kB
AnonPages: 188072 kB
Mapped: 113948 kB
Shmem: 18064 kB
KReclaimable: 88352 kB
Slab: 173220 kB
SReclaimable: 88352 kB
SUnreclaim: 84868 kB
KernelStack: 4352 kB
PageTables: 3548 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 530928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 40960 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC019 at 2025-06-29 13:31:41