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-4510549-1751197660.opb'
0.00/0.01 c read 0.03MB (0.44ms)
0.00/0.01 c [cnf: #variables 501 #clauses 502 #duplicates 196 #arr 2004]
0.00/0.01 c output proof to 'PROOFDIR/proof-4510549-1751197660'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 300] (0.48ms)
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.75ms)
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.71ms)
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.01ms)
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-4510549-1751197660.opb.pre'
0.00/0.02 c wrote 0.02MB (0.10ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 6.75ms 59.54% detect_special
0.00/0.02 c 1.82ms 16.05% other
0.00/0.02 c 1.71ms 15.07% detect_generic
0.00/0.02 c 0.48ms 4.23% approx_orbits
0.00/0.02 c 0.44ms 3.84% parse
0.00/0.02 c 0.10ms 0.92% output
0.00/0.02 c 0.03ms 0.24% finalize_order
0.00/0.02 c 0.01ms 0.09% break_generic
0.00/0.02 c 0.00ms 0.03% optimize_gens
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 11.34ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.03 c #variables 519 #constraints 558
0.00/0.04 c rational objective 250.5
0.17/0.25 c #Conflicts: 1000 | #Constraints: 1561
0.17/0.25 c #Conflicts: 2000 | #Constraints: 2562
0.17/0.25 c INPROCESSING
0.17/0.25 c GARBAGE COLLECT
0.17/0.25 c #Conflicts: 3000 | #Constraints: 2589
0.17/0.25 c #Conflicts: 4000 | #Constraints: 3589
0.17/0.25 c INPROCESSING
0.17/0.25 c GARBAGE COLLECT
0.17/0.25 c #Conflicts: 5000 | #Constraints: 3014
0.17/0.25 c #Conflicts: 6000 | #Constraints: 4014
0.17/0.25 c INPROCESSING
0.17/0.25 c GARBAGE COLLECT
0.17/0.25 c rational objective 250.5
0.27/0.35 c #Conflicts: 7000 | #Constraints: 3029
0.27/0.35 c #Conflicts: 8000 | #Constraints: 4029
0.27/0.35 c #Conflicts: 9000 | #Constraints: 5029
0.27/0.35 c INPROCESSING
0.27/0.35 c GARBAGE COLLECT
0.27/0.35 c rational objective 250.5
0.37/0.49 c #Conflicts: 10000 | #Constraints: 3731
0.37/0.49 c #Conflicts: 11000 | #Constraints: 4731
0.37/0.49 c #Conflicts: 12000 | #Constraints: 5731
0.37/0.49 c INPROCESSING
0.37/0.49 c GARBAGE COLLECT
0.37/0.49 c rational objective 250.5
0.56/0.62 c #Conflicts: 13000 | #Constraints: 4187
0.56/0.62 c #Conflicts: 14000 | #Constraints: 5187
0.56/0.62 c #Conflicts: 15000 | #Constraints: 6187
0.56/0.62 c INPROCESSING
0.56/0.62 c GARBAGE COLLECT
0.56/0.62 c rational objective 250.5
0.65/0.76 c #Conflicts: 16000 | #Constraints: 4414
0.65/0.76 c #Conflicts: 17000 | #Constraints: 5414
0.65/0.76 c #Conflicts: 18000 | #Constraints: 6414
0.65/0.76 c INPROCESSING
0.65/0.76 c GARBAGE COLLECT
0.65/0.76 c rational objective 250.5
0.86/0.91 c #Conflicts: 19000 | #Constraints: 4432
0.86/0.91 c #Conflicts: 20000 | #Constraints: 5432
0.86/0.91 c #Conflicts: 21000 | #Constraints: 6432
0.86/0.91 c INPROCESSING
0.86/0.91 c GARBAGE COLLECT
0.86/0.91 c rational objective 250.5
0.96/1.06 c #Conflicts: 22000 | #Constraints: 4235
0.96/1.06 c #Conflicts: 23000 | #Constraints: 5235
0.96/1.06 c #Conflicts: 24000 | #Constraints: 6235
0.96/1.06 c #Conflicts: 25000 | #Constraints: 7235
0.96/1.06 c INPROCESSING
0.96/1.06 c GARBAGE COLLECT
0.96/1.06 c rational objective 250.5
1.15/1.23 c #Conflicts: 26000 | #Constraints: 4838
1.15/1.23 c #Conflicts: 27000 | #Constraints: 5838
1.15/1.23 c #Conflicts: 28000 | #Constraints: 6838
1.15/1.23 c #Conflicts: 29000 | #Constraints: 7838
1.15/1.23 c INPROCESSING
1.15/1.23 c GARBAGE COLLECT
1.15/1.23 c rational objective 250.5
1.35/1.40 c #Conflicts: 30000 | #Constraints: 5239
1.35/1.40 c #Conflicts: 31000 | #Constraints: 6239
1.35/1.40 c #Conflicts: 32000 | #Constraints: 7239
1.35/1.40 c #Conflicts: 33000 | #Constraints: 8239
1.35/1.40 c INPROCESSING
1.35/1.40 c GARBAGE COLLECT
1.35/1.40 c rational objective 250.5
1.46/1.58 c #Conflicts: 34000 | #Constraints: 5437
1.46/1.58 c #Conflicts: 35000 | #Constraints: 6437
1.46/1.58 c #Conflicts: 36000 | #Constraints: 7437
1.46/1.58 c #Conflicts: 37000 | #Constraints: 8437
1.46/1.58 c INPROCESSING
1.46/1.58 c GARBAGE COLLECT
1.46/1.58 c rational objective 250.5
1.75/1.80 c #Conflicts: 38000 | #Constraints: 5443
1.75/1.80 c #Conflicts: 39000 | #Constraints: 6443
1.75/1.80 c #Conflicts: 40000 | #Constraints: 7443
1.75/1.80 c #Conflicts: 41000 | #Constraints: 8443
1.75/1.80 c INPROCESSING
1.75/1.80 c GARBAGE COLLECT
1.75/1.80 c rational objective 250.5
1.85/1.99 c #Conflicts: 42000 | #Constraints: 5252
1.85/1.99 c #Conflicts: 43000 | #Constraints: 6252
1.85/1.99 c #Conflicts: 44000 | #Constraints: 7252
1.85/1.99 c #Conflicts: 45000 | #Constraints: 8252
1.85/1.99 c #Conflicts: 46000 | #Constraints: 9252
1.85/1.99 c INPROCESSING
1.85/1.99 c GARBAGE COLLECT
1.85/1.99 c rational objective 250.5
2.15/2.21 c #Conflicts: 47000 | #Constraints: 5847
2.15/2.21 c #Conflicts: 48000 | #Constraints: 6847
2.15/2.21 c #Conflicts: 49000 | #Constraints: 7847
2.15/2.21 c #Conflicts: 50000 | #Constraints: 8847
2.15/2.21 c #Conflicts: 51000 | #Constraints: 9847
2.15/2.21 c INPROCESSING
2.15/2.21 c GARBAGE COLLECT
2.15/2.21 c rational objective 250.5
2.35/2.46 c #Conflicts: 52000 | #Constraints: 6246
2.35/2.46 c #Conflicts: 53000 | #Constraints: 7246
2.35/2.46 c #Conflicts: 54000 | #Constraints: 8246
2.35/2.46 c #Conflicts: 55000 | #Constraints: 9246
2.35/2.46 c #Conflicts: 56000 | #Constraints: 10246
2.35/2.46 c INPROCESSING
2.35/2.46 c GARBAGE COLLECT
2.35/2.46 c rational objective 250.5
2.65/2.71 c #Conflicts: 57000 | #Constraints: 6442
2.65/2.71 c #Conflicts: 58000 | #Constraints: 7442
2.65/2.71 c #Conflicts: 59000 | #Constraints: 8442
2.65/2.71 c #Conflicts: 60000 | #Constraints: 9442
2.65/2.71 c #Conflicts: 61000 | #Constraints: 10442
2.65/2.71 c INPROCESSING
2.65/2.71 c GARBAGE COLLECT
2.65/2.71 c rational objective 250.5
2.85/2.96 c #Conflicts: 62000 | #Constraints: 6442
2.85/2.96 c #Conflicts: 63000 | #Constraints: 7442
2.85/2.96 c #Conflicts: 64000 | #Constraints: 8442
2.85/2.96 c #Conflicts: 65000 | #Constraints: 9442
2.85/2.96 c #Conflicts: 66000 | #Constraints: 10442
2.85/2.96 c INPROCESSING
2.85/2.96 c GARBAGE COLLECT
2.85/2.96 c rational objective 250.5
3.15/3.22 c #Conflicts: 67000 | #Constraints: 6243
3.15/3.22 c #Conflicts: 68000 | #Constraints: 7243
3.15/3.22 c #Conflicts: 69000 | #Constraints: 8243
3.15/3.22 c #Conflicts: 70000 | #Constraints: 9243
3.15/3.22 c #Conflicts: 71000 | #Constraints: 10243
3.15/3.22 c #Conflicts: 72000 | #Constraints: 11243
3.15/3.22 c INPROCESSING
3.15/3.22 c GARBAGE COLLECT
3.15/3.22 c rational objective 250.5
3.34/3.48 c #Conflicts: 73000 | #Constraints: 6844
3.34/3.48 c #Conflicts: 74000 | #Constraints: 7844
3.34/3.48 c #Conflicts: 75000 | #Constraints: 8844
3.34/3.48 c #Conflicts: 76000 | #Constraints: 9844
3.34/3.48 c #Conflicts: 77000 | #Constraints: 10844
3.34/3.48 c #Conflicts: 78000 | #Constraints: 11844
3.34/3.48 c INPROCESSING
3.34/3.48 c GARBAGE COLLECT
3.34/3.48 c rational objective 250.5
3.65/3.75 c #Conflicts: 79000 | #Constraints: 7250
3.65/3.75 c #Conflicts: 80000 | #Constraints: 8250
3.65/3.75 c #Conflicts: 81000 | #Constraints: 9250
3.65/3.75 c #Conflicts: 82000 | #Constraints: 10250
3.65/3.75 c #Conflicts: 83000 | #Constraints: 11250
3.65/3.75 c #Conflicts: 84000 | #Constraints: 12250
3.65/3.75 c INPROCESSING
3.65/3.75 c GARBAGE COLLECT
3.65/3.75 c rational objective 250.5
3.95/4.09 c #Conflicts: 85000 | #Constraints: 7451
3.95/4.09 c #Conflicts: 86000 | #Constraints: 8451
3.95/4.09 c #Conflicts: 87000 | #Constraints: 9451
3.95/4.09 c #Conflicts: 88000 | #Constraints: 10451
3.95/4.09 c #Conflicts: 89000 | #Constraints: 11451
3.95/4.09 c #Conflicts: 90000 | #Constraints: 12451
3.95/4.09 c INPROCESSING
3.95/4.09 c GARBAGE COLLECT
3.95/4.09 c rational objective 250.5
4.34/4.44 c #Conflicts: 91000 | #Constraints: 7443
4.34/4.44 c #Conflicts: 92000 | #Constraints: 8443
4.34/4.44 c #Conflicts: 93000 | #Constraints: 9443
4.34/4.44 c #Conflicts: 94000 | #Constraints: 10443
4.34/4.44 c #Conflicts: 95000 | #Constraints: 11443
4.34/4.44 c #Conflicts: 96000 | #Constraints: 12443
4.34/4.44 c INPROCESSING
4.34/4.44 c GARBAGE COLLECT
4.34/4.44 c rational objective 250.5
4.75/4.82 c #Conflicts: 97000 | #Constraints: 7249
4.75/4.82 c #Conflicts: 98000 | #Constraints: 8249
4.75/4.82 c #Conflicts: 99000 | #Constraints: 9249
4.75/4.82 c #Conflicts: 100000 | #Constraints: 10249
4.75/4.82 c #Conflicts: 101000 | #Constraints: 11249
4.75/4.82 c #Conflicts: 102000 | #Constraints: 12249
4.75/4.82 c #Conflicts: 103000 | #Constraints: 13249
4.75/4.82 c INPROCESSING
4.75/4.82 c GARBAGE COLLECT
4.75/4.82 c rational objective 250.5
5.05/5.17 c #Conflicts: 104000 | #Constraints: 7847
5.05/5.17 c #Conflicts: 105000 | #Constraints: 8847
5.05/5.17 c #Conflicts: 106000 | #Constraints: 9847
5.05/5.17 c #Conflicts: 107000 | #Constraints: 10847
5.05/5.17 c #Conflicts: 108000 | #Constraints: 11847
5.05/5.17 c #Conflicts: 109000 | #Constraints: 12847
5.05/5.17 c #Conflicts: 110000 | #Constraints: 13847
5.05/5.17 c INPROCESSING
5.05/5.17 c GARBAGE COLLECT
5.05/5.17 c rational objective 250.5
5.45/5.53 c #Conflicts: 111000 | #Constraints: 8245
5.45/5.53 c #Conflicts: 112000 | #Constraints: 9245
5.45/5.53 c #Conflicts: 113000 | #Constraints: 10245
5.45/5.53 c #Conflicts: 114000 | #Constraints: 11245
5.45/5.53 c #Conflicts: 115000 | #Constraints: 12245
5.45/5.53 c #Conflicts: 116000 | #Constraints: 13245
5.45/5.53 c #Conflicts: 117000 | #Constraints: 14245
5.45/5.53 c INPROCESSING
5.45/5.53 c GARBAGE COLLECT
5.45/5.53 c rational objective 250.5
5.84/5.92 c #Conflicts: 118000 | #Constraints: 8444
5.84/5.92 c #Conflicts: 119000 | #Constraints: 9444
5.84/5.92 c #Conflicts: 120000 | #Constraints: 10444
5.84/5.92 c #Conflicts: 121000 | #Constraints: 11444
5.84/5.92 c #Conflicts: 122000 | #Constraints: 12444
5.84/5.92 c #Conflicts: 123000 | #Constraints: 13444
5.84/5.92 c #Conflicts: 124000 | #Constraints: 14444
5.84/5.92 c INPROCESSING
5.84/5.92 c GARBAGE COLLECT
5.84/5.92 c rational objective 250.5
6.14/6.29 c #Conflicts: 125000 | #Constraints: 8436
6.14/6.29 c #Conflicts: 126000 | #Constraints: 9436
6.14/6.29 c #Conflicts: 127000 | #Constraints: 10436
6.14/6.29 c #Conflicts: 128000 | #Constraints: 11436
6.14/6.29 c #Conflicts: 129000 | #Constraints: 12436
6.14/6.29 c #Conflicts: 130000 | #Constraints: 13436
6.14/6.29 c #Conflicts: 131000 | #Constraints: 14436
6.14/6.29 c INPROCESSING
6.14/6.29 c GARBAGE COLLECT
6.14/6.29 c rational objective 250.5
6.54/6.65 c #Conflicts: 132000 | #Constraints: 8243
6.54/6.65 c #Conflicts: 133000 | #Constraints: 9243
6.54/6.65 c #Conflicts: 134000 | #Constraints: 10243
6.54/6.65 c #Conflicts: 135000 | #Constraints: 11243
6.54/6.65 c #Conflicts: 136000 | #Constraints: 12243
6.54/6.65 c #Conflicts: 137000 | #Constraints: 13243
6.54/6.65 c #Conflicts: 138000 | #Constraints: 14243
6.54/6.65 c #Conflicts: 139000 | #Constraints: 15243
6.54/6.65 c INPROCESSING
6.54/6.65 c GARBAGE COLLECT
6.54/6.65 c rational objective 250.5
6.95/7.04 c #Conflicts: 140000 | #Constraints: 8847
6.95/7.04 c #Conflicts: 141000 | #Constraints: 9847
6.95/7.04 c #Conflicts: 142000 | #Constraints: 10847
6.95/7.04 c #Conflicts: 143000 | #Constraints: 11847
6.95/7.04 c #Conflicts: 144000 | #Constraints: 12847
6.95/7.04 c #Conflicts: 145000 | #Constraints: 13847
6.95/7.04 c #Conflicts: 146000 | #Constraints: 14847
6.95/7.04 c #Conflicts: 147000 | #Constraints: 15847
6.95/7.04 c INPROCESSING
6.95/7.04 c GARBAGE COLLECT
6.95/7.04 c rational objective 250.5
7.24/7.37 c #Conflicts: 148000 | #Constraints: 9238
7.24/7.37 c #Conflicts: 149000 | #Constraints: 10238
7.24/7.37 c #Conflicts: 150000 | #Constraints: 11238
7.24/7.37 c #Conflicts: 151000 | #Constraints: 12238
7.24/7.37 c #Conflicts: 152000 | #Constraints: 13238
7.24/7.37 c #Conflicts: 153000 | #Constraints: 14238
7.24/7.37 c #Conflicts: 154000 | #Constraints: 15238
7.24/7.37 c #Conflicts: 155000 | #Constraints: 16238
7.24/7.37 c INPROCESSING
7.24/7.37 c GARBAGE COLLECT
7.24/7.37 c rational objective 250.5
7.64/7.76 c #Conflicts: 156000 | #Constraints: 9445
7.64/7.76 c #Conflicts: 157000 | #Constraints: 10445
7.64/7.76 c #Conflicts: 158000 | #Constraints: 11445
7.64/7.76 c #Conflicts: 159000 | #Constraints: 12445
7.64/7.76 c #Conflicts: 160000 | #Constraints: 13445
7.64/7.76 c #Conflicts: 161000 | #Constraints: 14445
7.64/7.76 c #Conflicts: 162000 | #Constraints: 15445
7.64/7.76 c #Conflicts: 163000 | #Constraints: 16445
7.64/7.76 c INPROCESSING
7.64/7.76 c GARBAGE COLLECT
7.64/7.76 c rational objective 250.5
8.04/8.14 c #Conflicts: 164000 | #Constraints: 9451
8.04/8.14 c #Conflicts: 165000 | #Constraints: 10451
8.04/8.14 c #Conflicts: 166000 | #Constraints: 11451
8.04/8.14 c #Conflicts: 167000 | #Constraints: 12451
8.04/8.14 c #Conflicts: 168000 | #Constraints: 13451
8.04/8.14 c #Conflicts: 169000 | #Constraints: 14451
8.04/8.14 c #Conflicts: 170000 | #Constraints: 15451
8.04/8.14 c #Conflicts: 171000 | #Constraints: 16451
8.04/8.14 c INPROCESSING
8.04/8.14 c GARBAGE COLLECT
8.04/8.14 c rational objective 250.5
8.44/8.52 c #Conflicts: 172000 | #Constraints: 9255
8.44/8.52 c #Conflicts: 173000 | #Constraints: 10255
8.44/8.52 c #Conflicts: 174000 | #Constraints: 11255
8.44/8.52 c #Conflicts: 175000 | #Constraints: 12255
8.44/8.52 c #Conflicts: 176000 | #Constraints: 13255
8.44/8.52 c #Conflicts: 177000 | #Constraints: 14255
8.44/8.52 c #Conflicts: 178000 | #Constraints: 15255
8.44/8.52 c #Conflicts: 179000 | #Constraints: 16255
8.44/8.52 c #Conflicts: 180000 | #Constraints: 17255
8.44/8.52 c INPROCESSING
8.44/8.52 c GARBAGE COLLECT
8.44/8.52 c rational objective 250.5
8.73/8.89 c #Conflicts: 181000 | #Constraints: 9849
8.73/8.89 c #Conflicts: 182000 | #Constraints: 10849
8.73/8.89 c #Conflicts: 183000 | #Constraints: 11849
8.73/8.89 c #Conflicts: 184000 | #Constraints: 12849
8.73/8.89 c #Conflicts: 185000 | #Constraints: 13849
8.73/8.89 c #Conflicts: 186000 | #Constraints: 14849
8.73/8.89 c #Conflicts: 187000 | #Constraints: 15849
8.73/8.89 c #Conflicts: 188000 | #Constraints: 16849
8.73/8.89 c #Conflicts: 189000 | #Constraints: 17849
8.73/8.89 c INPROCESSING
8.73/8.89 c GARBAGE COLLECT
8.73/8.89 c rational objective 250.5
9.23/9.33 c #Conflicts: 190000 | #Constraints: 10248
9.23/9.33 c #Conflicts: 191000 | #Constraints: 11248
9.23/9.33 c #Conflicts: 192000 | #Constraints: 12248
9.23/9.33 c #Conflicts: 193000 | #Constraints: 13248
9.23/9.33 c #Conflicts: 194000 | #Constraints: 14248
9.23/9.33 c #Conflicts: 195000 | #Constraints: 15248
9.23/9.33 c #Conflicts: 196000 | #Constraints: 16248
9.23/9.33 c #Conflicts: 197000 | #Constraints: 17248
9.23/9.33 c #Conflicts: 198000 | #Constraints: 18248
9.23/9.33 c INPROCESSING
9.23/9.33 c GARBAGE COLLECT
9.23/9.33 c rational objective 250.5
9.63/9.79 c #Conflicts: 199000 | #Constraints: 10451
9.63/9.79 c #Conflicts: 200000 | #Constraints: 11451
9.63/9.79 c #Conflicts: 201000 | #Constraints: 12451
9.63/9.79 c #Conflicts: 202000 | #Constraints: 13451
9.63/9.79 c #Conflicts: 203000 | #Constraints: 14452
9.63/9.79 c #Conflicts: 204000 | #Constraints: 15452
9.63/9.79 c #Conflicts: 205000 | #Constraints: 16452
9.63/9.79 c #Conflicts: 206000 | #Constraints: 17452
9.63/9.79 c #Conflicts: 207000 | #Constraints: 18452
9.63/9.79 c INPROCESSING
9.63/9.79 c GARBAGE COLLECT
9.63/9.79 c rational objective 250.5
10.13/10.28 c #Conflicts: 208000 | #Constraints: 10459
10.13/10.28 c #Conflicts: 209000 | #Constraints: 11459
10.13/10.28 c #Conflicts: 210000 | #Constraints: 12459
10.13/10.28 c #Conflicts: 211000 | #Constraints: 13459
10.13/10.28 c #Conflicts: 212000 | #Constraints: 14459
10.13/10.28 c #Conflicts: 213000 | #Constraints: 15459
10.13/10.28 c #Conflicts: 214000 | #Constraints: 16459
10.13/10.28 c #Conflicts: 215000 | #Constraints: 17459
10.13/10.28 c #Conflicts: 216000 | #Constraints: 18459
10.13/10.28 c INPROCESSING
10.13/10.28 c GARBAGE COLLECT
10.13/10.28 c rational objective 250.5
10.63/10.72 c #Conflicts: 217000 | #Constraints: 10262
10.63/10.72 c #Conflicts: 218000 | #Constraints: 11262
10.63/10.72 c #Conflicts: 219000 | #Constraints: 12262
10.63/10.72 c #Conflicts: 220000 | #Constraints: 13262
10.63/10.72 c #Conflicts: 221000 | #Constraints: 14262
10.63/10.72 c #Conflicts: 222000 | #Constraints: 15262
10.63/10.72 c #Conflicts: 223000 | #Constraints: 16262
10.63/10.72 c #Conflicts: 224000 | #Constraints: 17262
10.63/10.72 c #Conflicts: 225000 | #Constraints: 18262
10.63/10.72 c #Conflicts: 226000 | #Constraints: 19262
10.63/10.72 c INPROCESSING
10.63/10.72 c GARBAGE COLLECT
10.63/10.72 c rational objective 250.5
11.03/11.18 c #Conflicts: 227000 | #Constraints: 10866
11.03/11.18 c #Conflicts: 228000 | #Constraints: 11866
11.03/11.18 c #Conflicts: 229000 | #Constraints: 12866
11.03/11.18 c #Conflicts: 230000 | #Constraints: 13866
11.03/11.18 c #Conflicts: 231000 | #Constraints: 14866
11.03/11.18 c #Conflicts: 232000 | #Constraints: 15866
11.03/11.18 c #Conflicts: 233000 | #Constraints: 16866
11.03/11.18 c #Conflicts: 234000 | #Constraints: 17866
11.03/11.18 c #Conflicts: 235000 | #Constraints: 18866
11.03/11.18 c #Conflicts: 236000 | #Constraints: 19866
11.03/11.18 c INPROCESSING
11.03/11.18 c GARBAGE COLLECT
11.03/11.18 c rational objective 250.5
11.53/11.62 c #Conflicts: 237000 | #Constraints: 11257
11.53/11.62 c #Conflicts: 238000 | #Constraints: 12257
11.53/11.62 c #Conflicts: 239000 | #Constraints: 13257
11.53/11.62 c #Conflicts: 240000 | #Constraints: 14257
11.53/11.62 c #Conflicts: 241000 | #Constraints: 15257
11.53/11.62 c #Conflicts: 242000 | #Constraints: 16257
11.53/11.62 c #Conflicts: 243000 | #Constraints: 17257
11.53/11.62 c #Conflicts: 244000 | #Constraints: 18257
11.53/11.62 c #Conflicts: 245000 | #Constraints: 19257
11.53/11.62 c #Conflicts: 246000 | #Constraints: 20257
11.53/11.62 c INPROCESSING
11.53/11.62 c GARBAGE COLLECT
11.53/11.62 c rational objective 250.5
11.93/12.07 c #Conflicts: 247000 | #Constraints: 11464
11.93/12.07 c #Conflicts: 248000 | #Constraints: 12464
11.93/12.07 c #Conflicts: 249000 | #Constraints: 13464
11.93/12.07 c #Conflicts: 250000 | #Constraints: 14464
11.93/12.07 c #Conflicts: 251000 | #Constraints: 15464
11.93/12.07 c #Conflicts: 252000 | #Constraints: 16464
11.93/12.07 c #Conflicts: 253000 | #Constraints: 17464
11.93/12.07 c #Conflicts: 254000 | #Constraints: 18464
11.93/12.07 c #Conflicts: 255000 | #Constraints: 19464
11.93/12.07 c #Conflicts: 256000 | #Constraints: 20464
11.93/12.07 c INPROCESSING
11.93/12.07 c GARBAGE COLLECT
11.93/12.07 c rational objective 250.5
12.43/12.51 c #Conflicts: 257000 | #Constraints: 11456
12.43/12.51 c #Conflicts: 258000 | #Constraints: 12456
12.43/12.51 c #Conflicts: 259000 | #Constraints: 13456
12.43/12.51 c #Conflicts: 260000 | #Constraints: 14456
12.43/12.51 c #Conflicts: 261000 | #Constraints: 15456
12.43/12.51 c #Conflicts: 262000 | #Constraints: 16456
12.43/12.51 c #Conflicts: 263000 | #Constraints: 17456
12.43/12.51 c #Conflicts: 264000 | #Constraints: 18456
12.43/12.51 c #Conflicts: 265000 | #Constraints: 19456
12.43/12.51 c #Conflicts: 266000 | #Constraints: 20456
12.43/12.51 c INPROCESSING
12.43/12.51 c GARBAGE COLLECT
12.43/12.51 c rational objective 250.5
12.83/13.00 c #Conflicts: 267000 | #Constraints: 11262
12.83/13.00 c #Conflicts: 268000 | #Constraints: 12262
12.83/13.00 c #Conflicts: 269000 | #Constraints: 13262
12.83/13.00 c #Conflicts: 270000 | #Constraints: 14262
12.83/13.00 c #Conflicts: 271000 | #Constraints: 15262
12.83/13.00 c #Conflicts: 272000 | #Constraints: 16262
12.83/13.00 c #Conflicts: 273000 | #Constraints: 17262
12.83/13.00 c #Conflicts: 274000 | #Constraints: 18262
12.83/13.00 c #Conflicts: 275000 | #Constraints: 19262
12.83/13.00 c #Conflicts: 276000 | #Constraints: 20262
12.83/13.00 c #Conflicts: 277000 | #Constraints: 21262
12.83/13.00 c INPROCESSING
12.83/13.00 c GARBAGE COLLECT
12.83/13.00 c rational objective 250.5
13.32/13.48 c #Conflicts: 278000 | #Constraints: 11850
13.32/13.48 c #Conflicts: 279000 | #Constraints: 12850
13.32/13.48 c #Conflicts: 280000 | #Constraints: 13850
13.32/13.48 c #Conflicts: 281000 | #Constraints: 14850
13.32/13.48 c #Conflicts: 282000 | #Constraints: 15851
13.32/13.48 c #Conflicts: 283000 | #Constraints: 16851
13.32/13.48 c #Conflicts: 284000 | #Constraints: 17851
13.32/13.48 c #Conflicts: 285000 | #Constraints: 18851
13.32/13.48 c #Conflicts: 286000 | #Constraints: 19851
13.32/13.48 c #Conflicts: 287000 | #Constraints: 20851
13.32/13.48 c #Conflicts: 288000 | #Constraints: 21851
13.32/13.48 c INPROCESSING
13.32/13.48 c GARBAGE COLLECT
13.32/13.48 c rational objective 250.5
13.82/13.98 c #Conflicts: 289000 | #Constraints: 12246
13.82/13.98 c #Conflicts: 290000 | #Constraints: 13246
13.82/13.98 c #Conflicts: 291000 | #Constraints: 14246
13.82/13.98 c #Conflicts: 292000 | #Constraints: 15246
13.82/13.98 c #Conflicts: 293000 | #Constraints: 16246
13.82/13.98 c #Conflicts: 294000 | #Constraints: 17246
13.82/13.98 c #Conflicts: 295000 | #Constraints: 18246
13.82/13.98 c #Conflicts: 296000 | #Constraints: 19246
13.82/13.98 c #Conflicts: 297000 | #Constraints: 20246
13.82/13.98 c #Conflicts: 298000 | #Constraints: 21246
13.82/13.98 c #Conflicts: 299000 | #Constraints: 22246
13.82/13.98 c INPROCESSING
13.82/13.98 c GARBAGE COLLECT
13.82/13.98 c rational objective 250.5
14.42/14.51 c #Conflicts: 300000 | #Constraints: 12452
14.42/14.51 c #Conflicts: 301000 | #Constraints: 13452
14.42/14.51 c #Conflicts: 302000 | #Constraints: 14452
14.42/14.51 c #Conflicts: 303000 | #Constraints: 15452
14.42/14.51 c #Conflicts: 304000 | #Constraints: 16452
14.42/14.51 c #Conflicts: 305000 | #Constraints: 17452
14.42/14.51 c #Conflicts: 306000 | #Constraints: 18452
14.42/14.51 c #Conflicts: 307000 | #Constraints: 19452
14.42/14.51 c #Conflicts: 308000 | #Constraints: 20452
14.42/14.51 c #Conflicts: 309000 | #Constraints: 21452
14.42/14.51 c #Conflicts: 310000 | #Constraints: 22452
14.42/14.51 c INPROCESSING
14.42/14.51 c GARBAGE COLLECT
14.42/14.51 c rational objective 250.5
14.93/15.05 c #Conflicts: 311000 | #Constraints: 12459
14.93/15.05 c #Conflicts: 312000 | #Constraints: 13459
14.93/15.05 c #Conflicts: 313000 | #Constraints: 14459
14.93/15.05 c #Conflicts: 314000 | #Constraints: 15459
14.93/15.05 c #Conflicts: 315000 | #Constraints: 16459
14.93/15.05 c #Conflicts: 316000 | #Constraints: 17459
14.93/15.05 c #Conflicts: 317000 | #Constraints: 18459
14.93/15.05 c #Conflicts: 318000 | #Constraints: 19459
14.93/15.05 c #Conflicts: 319000 | #Constraints: 20459
14.93/15.05 c #Conflicts: 320000 | #Constraints: 21459
14.93/15.05 c #Conflicts: 321000 | #Constraints: 22459
14.93/15.05 c INPROCESSING
14.93/15.05 c GARBAGE COLLECT
14.93/15.05 c rational objective 250.5
15.42/15.59 c #Conflicts: 322000 | #Constraints: 12263
15.42/15.59 c #Conflicts: 323000 | #Constraints: 13263
15.42/15.59 c #Conflicts: 324000 | #Constraints: 14263
15.42/15.59 c #Conflicts: 325000 | #Constraints: 15263
15.42/15.59 c #Conflicts: 326000 | #Constraints: 16263
15.42/15.59 c #Conflicts: 327000 | #Constraints: 17263
15.42/15.59 c #Conflicts: 328000 | #Constraints: 18263
15.42/15.59 c #Conflicts: 329000 | #Constraints: 19263
15.42/15.59 c #Conflicts: 330000 | #Constraints: 20263
15.42/15.59 c #Conflicts: 331000 | #Constraints: 21263
15.42/15.59 c #Conflicts: 332000 | #Constraints: 22263
15.42/15.59 c #Conflicts: 333000 | #Constraints: 23263
15.42/15.59 c INPROCESSING
15.42/15.59 c GARBAGE COLLECT
15.42/15.59 c rational objective 250.5
16.02/16.12 c #Conflicts: 334000 | #Constraints: 12856
16.02/16.12 c #Conflicts: 335000 | #Constraints: 13856
16.02/16.12 c #Conflicts: 336000 | #Constraints: 14856
16.02/16.12 c #Conflicts: 337000 | #Constraints: 15856
16.02/16.12 c #Conflicts: 338000 | #Constraints: 16856
16.02/16.12 c #Conflicts: 339000 | #Constraints: 17856
16.02/16.12 c #Conflicts: 340000 | #Constraints: 18856
16.02/16.12 c #Conflicts: 341000 | #Constraints: 19856
16.02/16.12 c #Conflicts: 342000 | #Constraints: 20856
16.02/16.12 c #Conflicts: 343000 | #Constraints: 21856
16.02/16.12 c #Conflicts: 344000 | #Constraints: 22856
16.02/16.12 c #Conflicts: 345000 | #Constraints: 23856
16.02/16.12 c INPROCESSING
16.02/16.12 c GARBAGE COLLECT
16.02/16.12 c rational objective 250.5
16.51/16.66 c #Conflicts: 346000 | #Constraints: 13262
16.51/16.66 c #Conflicts: 347000 | #Constraints: 14262
16.51/16.66 c #Conflicts: 348000 | #Constraints: 15262
16.51/16.66 c #Conflicts: 349000 | #Constraints: 16262
16.51/16.66 c #Conflicts: 350000 | #Constraints: 17262
16.51/16.66 c #Conflicts: 351000 | #Constraints: 18262
16.51/16.66 c #Conflicts: 352000 | #Constraints: 19262
16.51/16.66 c #Conflicts: 353000 | #Constraints: 20262
16.51/16.66 c #Conflicts: 354000 | #Constraints: 21262
16.51/16.66 c #Conflicts: 355000 | #Constraints: 22262
16.51/16.66 c #Conflicts: 356000 | #Constraints: 23262
16.51/16.66 c #Conflicts: 357000 | #Constraints: 24262
16.51/16.66 c INPROCESSING
16.51/16.66 c GARBAGE COLLECT
16.51/16.66 c rational objective 250.5
17.11/17.20 c #Conflicts: 358000 | #Constraints: 13461
17.11/17.20 c #Conflicts: 359000 | #Constraints: 14461
17.11/17.20 c #Conflicts: 360000 | #Constraints: 15461
17.11/17.20 c #Conflicts: 361000 | #Constraints: 16461
17.11/17.20 c #Conflicts: 362000 | #Constraints: 17461
17.11/17.20 c #Conflicts: 363000 | #Constraints: 18461
17.11/17.20 c #Conflicts: 364000 | #Constraints: 19461
17.11/17.20 c #Conflicts: 365000 | #Constraints: 20461
17.11/17.20 c #Conflicts: 366000 | #Constraints: 21461
17.11/17.20 c #Conflicts: 367000 | #Constraints: 22461
17.11/17.20 c #Conflicts: 368000 | #Constraints: 23461
17.11/17.20 c #Conflicts: 369000 | #Constraints: 24461
17.11/17.20 c INPROCESSING
17.11/17.20 c GARBAGE COLLECT
17.11/17.20 c rational objective 250.5
17.61/17.79 c #Conflicts: 370000 | #Constraints: 13464
17.61/17.79 c #Conflicts: 371000 | #Constraints: 14464
17.61/17.79 c #Conflicts: 372000 | #Constraints: 15464
17.61/17.79 c #Conflicts: 373000 | #Constraints: 16464
17.61/17.79 c #Conflicts: 374000 | #Constraints: 17464
17.61/17.79 c #Conflicts: 375000 | #Constraints: 18464
17.61/17.79 c #Conflicts: 376000 | #Constraints: 19464
17.61/17.79 c #Conflicts: 377000 | #Constraints: 20464
17.61/17.79 c #Conflicts: 378000 | #Constraints: 21464
17.61/17.79 c #Conflicts: 379000 | #Constraints: 22464
17.61/17.79 c #Conflicts: 380000 | #Constraints: 23464
17.61/17.79 c #Conflicts: 381000 | #Constraints: 24464
17.61/17.79 c INPROCESSING
17.61/17.79 c GARBAGE COLLECT
17.61/17.79 c rational objective 250.5
18.21/18.35 c #Conflicts: 382000 | #Constraints: 13254
18.21/18.35 c #Conflicts: 383000 | #Constraints: 14254
18.21/18.35 c #Conflicts: 384000 | #Constraints: 15254
18.21/18.35 c #Conflicts: 385000 | #Constraints: 16254
18.21/18.35 c #Conflicts: 386000 | #Constraints: 17254
18.21/18.35 c #Conflicts: 387000 | #Constraints: 18254
18.21/18.35 c #Conflicts: 388000 | #Constraints: 19254
18.21/18.35 c #Conflicts: 389000 | #Constraints: 20254
18.21/18.35 c #Conflicts: 390000 | #Constraints: 21254
18.21/18.35 c #Conflicts: 391000 | #Constraints: 22254
18.21/18.35 c #Conflicts: 392000 | #Constraints: 23254
18.21/18.35 c #Conflicts: 393000 | #Constraints: 24254
18.21/18.35 c #Conflicts: 394000 | #Constraints: 25254
18.21/18.35 c INPROCESSING
18.21/18.35 c GARBAGE COLLECT
18.21/18.35 c rational objective 250.5
18.80/18.91 c #Conflicts: 395000 | #Constraints: 13853
18.80/18.91 c #Conflicts: 396000 | #Constraints: 14854
18.80/18.91 c #Conflicts: 397000 | #Constraints: 15854
18.80/18.91 c #Conflicts: 398000 | #Constraints: 16854
18.80/18.91 c #Conflicts: 399000 | #Constraints: 17854
18.80/18.91 c #Conflicts: 400000 | #Constraints: 18854
18.80/18.91 c #Conflicts: 401000 | #Constraints: 19854
18.80/18.91 c #Conflicts: 402000 | #Constraints: 20854
18.80/18.91 c #Conflicts: 403000 | #Constraints: 21854
18.80/18.91 c #Conflicts: 404000 | #Constraints: 22854
18.80/18.91 c #Conflicts: 405000 | #Constraints: 23854
18.80/18.91 c #Conflicts: 406000 | #Constraints: 24854
18.80/18.91 c #Conflicts: 407000 | #Constraints: 25854
18.80/18.91 c INPROCESSING
18.80/18.91 c GARBAGE COLLECT
18.80/18.91 c rational objective 250.5
19.41/19.50 c #Conflicts: 408000 | #Constraints: 14256
19.41/19.50 c #Conflicts: 409000 | #Constraints: 15256
19.41/19.50 c #Conflicts: 410000 | #Constraints: 16256
19.41/19.50 c #Conflicts: 411000 | #Constraints: 17256
19.41/19.50 c #Conflicts: 412000 | #Constraints: 18256
19.41/19.50 c #Conflicts: 413000 | #Constraints: 19257
19.41/19.50 c #Conflicts: 414000 | #Constraints: 20257
19.41/19.50 c #Conflicts: 415000 | #Constraints: 21257
19.41/19.50 c #Conflicts: 416000 | #Constraints: 22257
19.41/19.50 c #Conflicts: 417000 | #Constraints: 23257
19.41/19.50 c #Conflicts: 418000 | #Constraints: 24257
19.41/19.50 c #Conflicts: 419000 | #Constraints: 25257
19.41/19.50 c #Conflicts: 420000 | #Constraints: 26257
19.41/19.50 c INPROCESSING
19.41/19.50 c GARBAGE COLLECT
19.41/19.50 c rational objective 250.5
20.01/20.14 c #Conflicts: 421000 | #Constraints: 14464
20.01/20.14 c #Conflicts: 422000 | #Constraints: 15464
20.01/20.14 c #Conflicts: 423000 | #Constraints: 16464
20.01/20.14 c #Conflicts: 424000 | #Constraints: 17464
20.01/20.14 c #Conflicts: 425000 | #Constraints: 18464
20.01/20.14 c #Conflicts: 426000 | #Constraints: 19464
20.01/20.14 c #Conflicts: 427000 | #Constraints: 20464
20.01/20.14 c #Conflicts: 428000 | #Constraints: 21464
20.01/20.14 c #Conflicts: 429000 | #Constraints: 22464
20.01/20.14 c #Conflicts: 430000 | #Constraints: 23464
20.01/20.14 c #Conflicts: 431000 | #Constraints: 24464
20.01/20.14 c #Conflicts: 432000 | #Constraints: 25464
20.01/20.14 c #Conflicts: 433000 | #Constraints: 26464
20.01/20.14 c INPROCESSING
20.01/20.14 c GARBAGE COLLECT
20.01/20.14 c rational objective 250.5
20.70/20.85 c #Conflicts: 434000 | #Constraints: 14466
20.70/20.85 c #Conflicts: 435000 | #Constraints: 15466
20.70/20.85 c #Conflicts: 436000 | #Constraints: 16466
20.70/20.85 c #Conflicts: 437000 | #Constraints: 17466
20.70/20.85 c #Conflicts: 438000 | #Constraints: 18466
20.70/20.85 c #Conflicts: 439000 | #Constraints: 19466
20.70/20.85 c #Conflicts: 440000 | #Constraints: 20466
20.70/20.85 c #Conflicts: 441000 | #Constraints: 21466
20.70/20.85 c #Conflicts: 442000 | #Constraints: 22466
20.70/20.85 c #Conflicts: 443000 | #Constraints: 23466
20.70/20.85 c #Conflicts: 444000 | #Constraints: 24466
20.70/20.85 c #Conflicts: 445000 | #Constraints: 25466
20.70/20.85 c #Conflicts: 446000 | #Constraints: 26466
20.70/20.85 c INPROCESSING
20.70/20.85 c GARBAGE COLLECT
20.70/20.85 c rational objective 250.5
21.60/21.73 c #Conflicts: 447000 | #Constraints: 14258
21.60/21.73 c #Conflicts: 448000 | #Constraints: 15258
21.60/21.73 c #Conflicts: 449000 | #Constraints: 16258
21.60/21.73 c #Conflicts: 450000 | #Constraints: 17258
21.60/21.73 c #Conflicts: 451000 | #Constraints: 18258
21.60/21.73 c #Conflicts: 452000 | #Constraints: 19258
21.60/21.73 c #Conflicts: 453000 | #Constraints: 20258
21.60/21.73 c #Conflicts: 454000 | #Constraints: 21258
21.60/21.73 c #Conflicts: 455000 | #Constraints: 22258
21.60/21.73 c #Conflicts: 456000 | #Constraints: 23258
21.60/21.73 c #Conflicts: 457000 | #Constraints: 24258
21.60/21.73 c #Conflicts: 458000 | #Constraints: 25258
21.60/21.73 c #Conflicts: 459000 | #Constraints: 26258
21.60/21.73 c #Conflicts: 460000 | #Constraints: 27258
21.60/21.73 c INPROCESSING
21.60/21.73 c GARBAGE COLLECT
21.60/21.73 c rational objective 250.5
22.39/22.54 c #Conflicts: 461000 | #Constraints: 14863
22.39/22.54 c #Conflicts: 462000 | #Constraints: 15863
22.39/22.54 c #Conflicts: 463000 | #Constraints: 16863
22.39/22.54 c #Conflicts: 464000 | #Constraints: 17863
22.39/22.54 c #Conflicts: 465000 | #Constraints: 18863
22.39/22.54 c #Conflicts: 466000 | #Constraints: 19863
22.39/22.54 c #Conflicts: 467000 | #Constraints: 20863
22.39/22.54 c #Conflicts: 468000 | #Constraints: 21863
22.39/22.54 c #Conflicts: 469000 | #Constraints: 22863
22.39/22.54 c #Conflicts: 470000 | #Constraints: 23863
22.39/22.54 c #Conflicts: 471000 | #Constraints: 24863
22.39/22.54 c #Conflicts: 472000 | #Constraints: 25863
22.39/22.54 c #Conflicts: 473000 | #Constraints: 26863
22.39/22.54 c #Conflicts: 474000 | #Constraints: 27863
22.39/22.54 c INPROCESSING
22.39/22.54 c GARBAGE COLLECT
22.39/22.54 c rational objective 250.5
23.00/23.19 c #Conflicts: 475000 | #Constraints: 15268
23.00/23.19 c #Conflicts: 476000 | #Constraints: 16268
23.00/23.19 c #Conflicts: 477000 | #Constraints: 17268
23.00/23.19 c #Conflicts: 478000 | #Constraints: 18268
23.00/23.19 c #Conflicts: 479000 | #Constraints: 19268
23.00/23.19 c #Conflicts: 480000 | #Constraints: 20268
23.00/23.19 c #Conflicts: 481000 | #Constraints: 21268
23.00/23.19 c #Conflicts: 482000 | #Constraints: 22268
23.00/23.19 c #Conflicts: 483000 | #Constraints: 23268
23.00/23.19 c #Conflicts: 484000 | #Constraints: 24268
23.00/23.19 c #Conflicts: 485000 | #Constraints: 25268
23.00/23.19 c #Conflicts: 486000 | #Constraints: 26268
23.00/23.19 c #Conflicts: 487000 | #Constraints: 27268
23.00/23.19 c #Conflicts: 488000 | #Constraints: 28268
23.00/23.19 c INPROCESSING
23.00/23.19 c GARBAGE COLLECT
23.00/23.19 c rational objective 250.5
23.79/23.90 c #Conflicts: 489000 | #Constraints: 15466
23.79/23.90 c #Conflicts: 490000 | #Constraints: 16466
23.79/23.90 c #Conflicts: 491000 | #Constraints: 17466
23.79/23.90 c #Conflicts: 492000 | #Constraints: 18466
23.79/23.90 c #Conflicts: 493000 | #Constraints: 19466
23.79/23.90 c #Conflicts: 494000 | #Constraints: 20466
23.79/23.90 c #Conflicts: 495000 | #Constraints: 21466
23.79/23.90 c #Conflicts: 496000 | #Constraints: 22466
23.79/23.90 c #Conflicts: 497000 | #Constraints: 23466
23.79/23.90 c #Conflicts: 498000 | #Constraints: 24466
23.79/23.90 c #Conflicts: 499000 | #Constraints: 25466
23.79/23.90 c #Conflicts: 500000 | #Constraints: 26466
23.79/23.90 c #Conflicts: 501000 | #Constraints: 27466
23.79/23.90 c #Conflicts: 502000 | #Constraints: 28466
23.79/23.90 c INPROCESSING
23.79/23.90 c GARBAGE COLLECT
23.79/23.90 c rational objective 250.5
24.49/24.67 c #Conflicts: 503000 | #Constraints: 15466
24.49/24.67 c #Conflicts: 504000 | #Constraints: 16466
24.49/24.67 c #Conflicts: 505000 | #Constraints: 17466
24.49/24.67 c #Conflicts: 506000 | #Constraints: 18466
24.49/24.67 c #Conflicts: 507000 | #Constraints: 19466
24.49/24.67 c #Conflicts: 508000 | #Constraints: 20466
24.49/24.67 c #Conflicts: 509000 | #Constraints: 21466
24.49/24.67 c #Conflicts: 510000 | #Constraints: 22466
24.49/24.67 c #Conflicts: 511000 | #Constraints: 23466
24.49/24.67 c #Conflicts: 512000 | #Constraints: 24466
24.49/24.67 c #Conflicts: 513000 | #Constraints: 25466
24.49/24.67 c #Conflicts: 514000 | #Constraints: 26466
24.49/24.67 c #Conflicts: 515000 | #Constraints: 27466
24.49/24.67 c #Conflicts: 516000 | #Constraints: 28466
24.49/24.67 c INPROCESSING
24.49/24.67 c GARBAGE COLLECT
24.49/24.67 c rational objective 250.5
25.19/25.38 c #Conflicts: 517000 | #Constraints: 15257
25.19/25.38 c #Conflicts: 518000 | #Constraints: 16257
25.19/25.38 c #Conflicts: 519000 | #Constraints: 17257
25.19/25.38 c #Conflicts: 520000 | #Constraints: 18257
25.19/25.38 c #Conflicts: 521000 | #Constraints: 19257
25.19/25.38 c #Conflicts: 522000 | #Constraints: 20257
25.19/25.38 c #Conflicts: 523000 | #Constraints: 21257
25.19/25.38 c #Conflicts: 524000 | #Constraints: 22257
25.19/25.38 c #Conflicts: 525000 | #Constraints: 23257
25.19/25.38 c #Conflicts: 526000 | #Constraints: 24257
25.19/25.38 c #Conflicts: 527000 | #Constraints: 25257
25.19/25.38 c #Conflicts: 528000 | #Constraints: 26257
25.19/25.38 c #Conflicts: 529000 | #Constraints: 27257
25.19/25.38 c #Conflicts: 530000 | #Constraints: 28257
25.19/25.38 c #Conflicts: 531000 | #Constraints: 29257
25.19/25.38 c INPROCESSING
25.19/25.38 c GARBAGE COLLECT
25.19/25.38 c rational objective 250.5
25.90/26.05 c #Conflicts: 532000 | #Constraints: 15857
25.90/26.05 c #Conflicts: 533000 | #Constraints: 16857
25.90/26.05 c #Conflicts: 534000 | #Constraints: 17857
25.90/26.05 c #Conflicts: 535000 | #Constraints: 18857
25.90/26.05 c #Conflicts: 536000 | #Constraints: 19857
25.90/26.05 c #Conflicts: 537000 | #Constraints: 20857
25.90/26.05 c #Conflicts: 538000 | #Constraints: 21857
25.90/26.05 c #Conflicts: 539000 | #Constraints: 22857
25.90/26.05 c #Conflicts: 540000 | #Constraints: 23857
25.90/26.05 c #Conflicts: 541000 | #Constraints: 24857
25.90/26.05 c #Conflicts: 542000 | #Constraints: 25857
25.90/26.05 c #Conflicts: 543000 | #Constraints: 26857
25.90/26.05 c #Conflicts: 544000 | #Constraints: 27857
25.90/26.05 c #Conflicts: 545000 | #Constraints: 28857
25.90/26.05 c #Conflicts: 546000 | #Constraints: 29857
25.90/26.05 c INPROCESSING
25.90/26.05 c GARBAGE COLLECT
25.90/26.05 c rational objective 250.5
26.68/26.86 c #Conflicts: 547000 | #Constraints: 16264
26.68/26.86 c #Conflicts: 548000 | #Constraints: 17264
26.68/26.86 c #Conflicts: 549000 | #Constraints: 18264
26.68/26.86 c #Conflicts: 550000 | #Constraints: 19264
26.68/26.86 c #Conflicts: 551000 | #Constraints: 20264
26.68/26.86 c #Conflicts: 552000 | #Constraints: 21264
26.68/26.86 c #Conflicts: 553000 | #Constraints: 22264
26.68/26.86 c #Conflicts: 554000 | #Constraints: 23264
26.68/26.86 c #Conflicts: 555000 | #Constraints: 24264
26.68/26.86 c #Conflicts: 556000 | #Constraints: 25264
26.68/26.86 c #Conflicts: 557000 | #Constraints: 26264
26.68/26.86 c #Conflicts: 558000 | #Constraints: 27264
26.68/26.86 c #Conflicts: 559000 | #Constraints: 28264
26.68/26.86 c #Conflicts: 560000 | #Constraints: 29264
26.68/26.86 c #Conflicts: 561000 | #Constraints: 30264
26.68/26.86 c INPROCESSING
26.68/26.86 c GARBAGE COLLECT
26.68/26.86 c rational objective 250.5
27.48/27.66 c #Conflicts: 562000 | #Constraints: 16459
27.48/27.66 c #Conflicts: 563000 | #Constraints: 17459
27.48/27.66 c #Conflicts: 564000 | #Constraints: 18459
27.48/27.66 c #Conflicts: 565000 | #Constraints: 19459
27.48/27.66 c #Conflicts: 566000 | #Constraints: 20459
27.48/27.66 c #Conflicts: 567000 | #Constraints: 21459
27.48/27.66 c #Conflicts: 568000 | #Constraints: 22459
27.48/27.66 c #Conflicts: 569000 | #Constraints: 23459
27.48/27.66 c #Conflicts: 570000 | #Constraints: 24459
27.48/27.66 c #Conflicts: 571000 | #Constraints: 25459
27.48/27.66 c #Conflicts: 572000 | #Constraints: 26459
27.48/27.66 c #Conflicts: 573000 | #Constraints: 27459
27.48/27.66 c #Conflicts: 574000 | #Constraints: 28459
27.48/27.66 c #Conflicts: 575000 | #Constraints: 29459
27.48/27.66 c #Conflicts: 576000 | #Constraints: 30459
27.48/27.66 c INPROCESSING
27.48/27.66 c GARBAGE COLLECT
27.48/27.66 c rational objective 250.5
28.18/28.38 c #Conflicts: 577000 | #Constraints: 16463
28.18/28.38 c #Conflicts: 578000 | #Constraints: 17463
28.18/28.38 c #Conflicts: 579000 | #Constraints: 18463
28.18/28.38 c #Conflicts: 580000 | #Constraints: 19463
28.18/28.38 c #Conflicts: 581000 | #Constraints: 20463
28.18/28.38 c #Conflicts: 582000 | #Constraints: 21463
28.18/28.38 c #Conflicts: 583000 | #Constraints: 22463
28.18/28.38 c #Conflicts: 584000 | #Constraints: 23463
28.18/28.38 c #Conflicts: 585000 | #Constraints: 24463
28.18/28.38 c #Conflicts: 586000 | #Constraints: 25463
28.18/28.38 c #Conflicts: 587000 | #Constraints: 26463
28.18/28.38 c #Conflicts: 588000 | #Constraints: 27463
28.18/28.38 c #Conflicts: 589000 | #Constraints: 28463
28.18/28.38 c #Conflicts: 590000 | #Constraints: 29463
28.18/28.38 c #Conflicts: 591000 | #Constraints: 30463
28.18/28.38 c INPROCESSING
28.18/28.38 c GARBAGE COLLECT
28.18/28.38 c rational objective 250.5
28.99/29.19 c #Conflicts: 592000 | #Constraints: 16267
28.99/29.19 c #Conflicts: 593000 | #Constraints: 17267
28.99/29.19 c #Conflicts: 594000 | #Constraints: 18267
28.99/29.19 c #Conflicts: 595000 | #Constraints: 19267
28.99/29.19 c #Conflicts: 596000 | #Constraints: 20267
28.99/29.19 c #Conflicts: 597000 | #Constraints: 21267
28.99/29.19 c #Conflicts: 598000 | #Constraints: 22267
28.99/29.19 c #Conflicts: 599000 | #Constraints: 23267
28.99/29.19 c #Conflicts: 600000 | #Constraints: 24267
28.99/29.19 c #Conflicts: 601000 | #Constraints: 25267
28.99/29.19 c #Conflicts: 602000 | #Constraints: 26267
28.99/29.19 c #Conflicts: 603000 | #Constraints: 27267
28.99/29.19 c #Conflicts: 604000 | #Constraints: 28267
28.99/29.19 c #Conflicts: 605000 | #Constraints: 29267
28.99/29.19 c #Conflicts: 606000 | #Constraints: 30267
28.99/29.19 c #Conflicts: 607000 | #Constraints: 31267
28.99/29.19 c INPROCESSING
28.99/29.19 c GARBAGE COLLECT
28.99/29.19 c rational objective 250.5
29.77/29.93 c #Conflicts: 608000 | #Constraints: 16865
29.77/29.93 c #Conflicts: 609000 | #Constraints: 17865
29.77/29.93 c #Conflicts: 610000 | #Constraints: 18865
29.77/29.93 c #Conflicts: 611000 | #Constraints: 19865
29.77/29.93 c #Conflicts: 612000 | #Constraints: 20865
29.77/29.93 c #Conflicts: 613000 | #Constraints: 21865
29.77/29.93 c #Conflicts: 614000 | #Constraints: 22865
29.77/29.93 c #Conflicts: 615000 | #Constraints: 23865
29.77/29.93 c #Conflicts: 616000 | #Constraints: 24865
29.77/29.93 c #Conflicts: 617000 | #Constraints: 25865
29.77/29.93 c #Conflicts: 618000 | #Constraints: 26865
29.77/29.93 c #Conflicts: 619000 | #Constraints: 27865
29.77/29.93 c #Conflicts: 620000 | #Constraints: 28865
29.77/29.93 c #Conflicts: 621000 | #Constraints: 29865
29.77/29.93 c #Conflicts: 622000 | #Constraints: 30865
29.77/29.93 c #Conflicts: 623000 | #Constraints: 31865
29.77/29.93 c INPROCESSING
29.77/29.93 c GARBAGE COLLECT
29.77/29.93 c rational objective 250.5
30.57/30.72 c #Conflicts: 624000 | #Constraints: 17259
30.57/30.72 c #Conflicts: 625000 | #Constraints: 18259
30.57/30.72 c #Conflicts: 626000 | #Constraints: 19259
30.57/30.72 c #Conflicts: 627000 | #Constraints: 20259
30.57/30.72 c #Conflicts: 628000 | #Constraints: 21259
30.57/30.72 c #Conflicts: 629000 | #Constraints: 22259
30.57/30.72 c #Conflicts: 630000 | #Constraints: 23259
30.57/30.72 c #Conflicts: 631000 | #Constraints: 24259
30.57/30.72 c #Conflicts: 632000 | #Constraints: 25259
30.57/30.72 c #Conflicts: 633000 | #Constraints: 26259
30.57/30.72 c #Conflicts: 634000 | #Constraints: 27259
30.57/30.72 c #Conflicts: 635000 | #Constraints: 28259
30.57/30.72 c #Conflicts: 636000 | #Constraints: 29259
30.57/30.72 c #Conflicts: 637000 | #Constraints: 30259
30.57/30.72 c #Conflicts: 638000 | #Constraints: 31259
30.57/30.72 c #Conflicts: 639000 | #Constraints: 32259
30.57/30.72 c INPROCESSING
30.57/30.72 c GARBAGE COLLECT
30.57/30.72 c rational objective 250.5
31.37/31.51 c #Conflicts: 640000 | #Constraints: 17460
31.37/31.51 c #Conflicts: 641000 | #Constraints: 18460
31.37/31.51 c #Conflicts: 642000 | #Constraints: 19460
31.37/31.51 c #Conflicts: 643000 | #Constraints: 20460
31.37/31.51 c #Conflicts: 644000 | #Constraints: 21460
31.37/31.51 c #Conflicts: 645000 | #Constraints: 22460
31.37/31.51 c #Conflicts: 646000 | #Constraints: 23460
31.37/31.51 c #Conflicts: 647000 | #Constraints: 24460
31.37/31.51 c #Conflicts: 648000 | #Constraints: 25460
31.37/31.51 c #Conflicts: 649000 | #Constraints: 26460
31.37/31.51 c #Conflicts: 650000 | #Constraints: 27460
31.37/31.51 c #Conflicts: 651000 | #Constraints: 28460
31.37/31.51 c #Conflicts: 652000 | #Constraints: 29460
31.37/31.51 c #Conflicts: 653000 | #Constraints: 30460
31.37/31.51 c #Conflicts: 654000 | #Constraints: 31460
31.37/31.51 c #Conflicts: 655000 | #Constraints: 32460
31.37/31.51 c INPROCESSING
31.37/31.51 c GARBAGE COLLECT
31.37/31.51 c rational objective 250.5
32.17/32.31 c #Conflicts: 656000 | #Constraints: 17458
32.17/32.31 c #Conflicts: 657000 | #Constraints: 18458
32.17/32.31 c #Conflicts: 658000 | #Constraints: 19458
32.17/32.31 c #Conflicts: 659000 | #Constraints: 20458
32.17/32.31 c #Conflicts: 660000 | #Constraints: 21458
32.17/32.31 c #Conflicts: 661000 | #Constraints: 22458
32.17/32.31 c #Conflicts: 662000 | #Constraints: 23458
32.17/32.31 c #Conflicts: 663000 | #Constraints: 24458
32.17/32.31 c #Conflicts: 664000 | #Constraints: 25458
32.17/32.31 c #Conflicts: 665000 | #Constraints: 26458
32.17/32.31 c #Conflicts: 666000 | #Constraints: 27458
32.17/32.31 c #Conflicts: 667000 | #Constraints: 28458
32.17/32.31 c #Conflicts: 668000 | #Constraints: 29458
32.17/32.31 c #Conflicts: 669000 | #Constraints: 30458
32.17/32.31 c #Conflicts: 670000 | #Constraints: 31458
32.17/32.31 c #Conflicts: 671000 | #Constraints: 32458
32.17/32.31 c INPROCESSING
32.17/32.31 c GARBAGE COLLECT
32.17/32.31 c rational objective 250.5
32.97/33.13 c #Conflicts: 672000 | #Constraints: 17265
32.97/33.13 c #Conflicts: 673000 | #Constraints: 18265
32.97/33.13 c #Conflicts: 674000 | #Constraints: 19265
32.97/33.13 c #Conflicts: 675000 | #Constraints: 20265
32.97/33.13 c #Conflicts: 676000 | #Constraints: 21265
32.97/33.13 c #Conflicts: 677000 | #Constraints: 22265
32.97/33.13 c #Conflicts: 678000 | #Constraints: 23265
32.97/33.13 c #Conflicts: 679000 | #Constraints: 24265
32.97/33.13 c #Conflicts: 680000 | #Constraints: 25265
32.97/33.13 c #Conflicts: 681000 | #Constraints: 26265
32.97/33.13 c #Conflicts: 682000 | #Constraints: 27265
32.97/33.13 c #Conflicts: 683000 | #Constraints: 28265
32.97/33.13 c #Conflicts: 684000 | #Constraints: 29265
32.97/33.13 c #Conflicts: 685000 | #Constraints: 30265
32.97/33.13 c #Conflicts: 686000 | #Constraints: 31265
32.97/33.13 c #Conflicts: 687000 | #Constraints: 32265
32.97/33.13 c #Conflicts: 688000 | #Constraints: 33265
32.97/33.13 c INPROCESSING
32.97/33.13 c GARBAGE COLLECT
32.97/33.13 c rational objective 250.5
33.76/33.97 c #Conflicts: 689000 | #Constraints: 17873
33.76/33.97 c #Conflicts: 690000 | #Constraints: 18873
33.76/33.97 c #Conflicts: 691000 | #Constraints: 19873
33.76/33.97 c #Conflicts: 692000 | #Constraints: 20873
33.76/33.97 c #Conflicts: 693000 | #Constraints: 21873
33.76/33.97 c #Conflicts: 694000 | #Constraints: 22873
33.76/33.97 c #Conflicts: 695000 | #Constraints: 23873
33.76/33.97 c #Conflicts: 696000 | #Constraints: 24873
33.76/33.97 c #Conflicts: 697000 | #Constraints: 25873
33.76/33.97 c #Conflicts: 698000 | #Constraints: 26873
33.76/33.97 c #Conflicts: 699000 | #Constraints: 27873
33.76/33.97 c #Conflicts: 700000 | #Constraints: 28873
33.76/33.97 c #Conflicts: 701000 | #Constraints: 29873
33.76/33.97 c #Conflicts: 702000 | #Constraints: 30873
33.76/33.97 c #Conflicts: 703000 | #Constraints: 31873
33.76/33.97 c #Conflicts: 704000 | #Constraints: 32873
33.76/33.97 c #Conflicts: 705000 | #Constraints: 33873
33.76/33.97 c INPROCESSING
33.76/33.97 c GARBAGE COLLECT
33.76/33.97 c rational objective 250.5
34.81/35.06 c #Conflicts: 706000 | #Constraints: 18276
34.81/35.06 c #Conflicts: 707000 | #Constraints: 19276
34.81/35.06 c #Conflicts: 708000 | #Constraints: 20276
34.81/35.06 c #Conflicts: 709000 | #Constraints: 21276
34.81/35.06 c #Conflicts: 710000 | #Constraints: 22276
34.81/35.06 c #Conflicts: 711000 | #Constraints: 23276
34.81/35.06 c #Conflicts: 712000 | #Constraints: 24276
34.81/35.06 c #Conflicts: 713000 | #Constraints: 25276
34.81/35.06 c #Conflicts: 714000 | #Constraints: 26276
34.81/35.06 c #Conflicts: 715000 | #Constraints: 27276
34.81/35.06 c #Conflicts: 716000 | #Constraints: 28276
34.81/35.06 c #Conflicts: 717000 | #Constraints: 29276
34.81/35.06 c #Conflicts: 718000 | #Constraints: 30276
34.81/35.06 c #Conflicts: 719000 | #Constraints: 31276
34.81/35.06 c #Conflicts: 720000 | #Constraints: 32276
34.81/35.06 c #Conflicts: 721000 | #Constraints: 33276
34.81/35.06 c #Conflicts: 722000 | #Constraints: 34276
34.81/35.06 c INPROCESSING
34.81/35.06 c GARBAGE COLLECT
34.81/35.06 c rational objective 250.5
35.80/36.09 c #Conflicts: 723000 | #Constraints: 18474
35.80/36.09 c #Conflicts: 724000 | #Constraints: 19474
35.80/36.09 c #Conflicts: 725000 | #Constraints: 20474
35.80/36.09 c #Conflicts: 726000 | #Constraints: 21474
35.80/36.09 c #Conflicts: 727000 | #Constraints: 22474
35.80/36.09 c #Conflicts: 728000 | #Constraints: 23474
35.80/36.09 c #Conflicts: 729000 | #Constraints: 24474
35.80/36.09 c #Conflicts: 730000 | #Constraints: 25474
35.80/36.09 c #Conflicts: 731000 | #Constraints: 26474
35.80/36.09 c #Conflicts: 732000 | #Constraints: 27474
35.80/36.09 c #Conflicts: 733000 | #Constraints: 28474
35.80/36.09 c #Conflicts: 734000 | #Constraints: 29474
35.80/36.09 c #Conflicts: 735000 | #Constraints: 30474
35.80/36.09 c #Conflicts: 736000 | #Constraints: 31474
35.80/36.09 c #Conflicts: 737000 | #Constraints: 32474
35.80/36.09 c #Conflicts: 738000 | #Constraints: 33474
35.80/36.09 c #Conflicts: 739000 | #Constraints: 34474
35.80/36.09 c INPROCESSING
35.80/36.09 c GARBAGE COLLECT
35.80/36.09 c rational objective 250.5
36.69/36.92 c #Conflicts: 740000 | #Constraints: 18474
36.69/36.92 c #Conflicts: 741000 | #Constraints: 19474
36.69/36.92 c #Conflicts: 742000 | #Constraints: 20474
36.69/36.92 c #Conflicts: 743000 | #Constraints: 21474
36.69/36.92 c #Conflicts: 744000 | #Constraints: 22474
36.69/36.92 c #Conflicts: 745000 | #Constraints: 23474
36.69/36.92 c #Conflicts: 746000 | #Constraints: 24474
36.69/36.92 c #Conflicts: 747000 | #Constraints: 25474
36.69/36.92 c #Conflicts: 748000 | #Constraints: 26474
36.69/36.92 c #Conflicts: 749000 | #Constraints: 27474
36.69/36.92 c #Conflicts: 750000 | #Constraints: 28474
36.69/36.92 c #Conflicts: 751000 | #Constraints: 29474
36.69/36.92 c #Conflicts: 752000 | #Constraints: 30474
36.69/36.92 c #Conflicts: 753000 | #Constraints: 31474
36.69/36.92 c #Conflicts: 754000 | #Constraints: 32474
36.69/36.92 c #Conflicts: 755000 | #Constraints: 33474
36.69/36.92 c #Conflicts: 756000 | #Constraints: 34474
36.69/36.92 c INPROCESSING
36.69/36.92 c GARBAGE COLLECT
36.69/36.92 c rational objective 250.5
37.49/37.79 c #Conflicts: 757000 | #Constraints: 18269
37.49/37.79 c #Conflicts: 758000 | #Constraints: 19269
37.49/37.79 c #Conflicts: 759000 | #Constraints: 20269
37.49/37.79 c #Conflicts: 760000 | #Constraints: 21269
37.49/37.79 c #Conflicts: 761000 | #Constraints: 22269
37.49/37.79 c #Conflicts: 762000 | #Constraints: 23269
37.49/37.79 c #Conflicts: 763000 | #Constraints: 24269
37.49/37.79 c #Conflicts: 764000 | #Constraints: 25269
37.49/37.79 c #Conflicts: 765000 | #Constraints: 26269
37.49/37.79 c #Conflicts: 766000 | #Constraints: 27269
37.49/37.79 c #Conflicts: 767000 | #Constraints: 28269
37.49/37.79 c #Conflicts: 768000 | #Constraints: 29269
37.49/37.79 c #Conflicts: 769000 | #Constraints: 30269
37.49/37.79 c #Conflicts: 770000 | #Constraints: 31269
37.49/37.79 c #Conflicts: 771000 | #Constraints: 32269
37.49/37.79 c #Conflicts: 772000 | #Constraints: 33269
37.49/37.79 c #Conflicts: 773000 | #Constraints: 34269
37.49/37.79 c #Conflicts: 774000 | #Constraints: 35269
37.49/37.79 c INPROCESSING
37.49/37.79 c GARBAGE COLLECT
37.49/37.79 c rational objective 250.5
38.39/38.66 c #Conflicts: 775000 | #Constraints: 18870
38.39/38.66 c #Conflicts: 776000 | #Constraints: 19870
38.39/38.66 c #Conflicts: 777000 | #Constraints: 20870
38.39/38.66 c #Conflicts: 778000 | #Constraints: 21870
38.39/38.66 c #Conflicts: 779000 | #Constraints: 22870
38.39/38.66 c #Conflicts: 780000 | #Constraints: 23870
38.39/38.66 c #Conflicts: 781000 | #Constraints: 24870
38.39/38.66 c #Conflicts: 782000 | #Constraints: 25870
38.39/38.66 c #Conflicts: 783000 | #Constraints: 26870
38.39/38.66 c #Conflicts: 784000 | #Constraints: 27870
38.39/38.66 c #Conflicts: 785000 | #Constraints: 28870
38.39/38.66 c #Conflicts: 786000 | #Constraints: 29870
38.39/38.66 c #Conflicts: 787000 | #Constraints: 30870
38.39/38.66 c #Conflicts: 788000 | #Constraints: 31870
38.39/38.66 c #Conflicts: 789000 | #Constraints: 32870
38.39/38.66 c #Conflicts: 790000 | #Constraints: 33870
38.39/38.66 c #Conflicts: 791000 | #Constraints: 34870
38.39/38.66 c #Conflicts: 792000 | #Constraints: 35870
38.39/38.66 c INPROCESSING
38.39/38.66 c GARBAGE COLLECT
38.39/38.66 c rational objective 250.5
39.19/39.49 c #Conflicts: 793000 | #Constraints: 19271
39.19/39.49 c #Conflicts: 794000 | #Constraints: 20271
39.19/39.49 c #Conflicts: 795000 | #Constraints: 21271
39.19/39.49 c #Conflicts: 796000 | #Constraints: 22271
39.19/39.49 c #Conflicts: 797000 | #Constraints: 23271
39.19/39.49 c #Conflicts: 798000 | #Constraints: 24271
39.19/39.49 c #Conflicts: 799000 | #Constraints: 25271
39.19/39.49 c #Conflicts: 800000 | #Constraints: 26271
39.19/39.49 c #Conflicts: 801000 | #Constraints: 27271
39.19/39.49 c #Conflicts: 802000 | #Constraints: 28271
39.19/39.49 c #Conflicts: 803000 | #Constraints: 29271
39.19/39.49 c #Conflicts: 804000 | #Constraints: 30271
39.19/39.49 c #Conflicts: 805000 | #Constraints: 31271
39.19/39.49 c #Conflicts: 806000 | #Constraints: 32271
39.19/39.49 c #Conflicts: 807000 | #Constraints: 33271
39.19/39.49 c #Conflicts: 808000 | #Constraints: 34271
39.19/39.49 c #Conflicts: 809000 | #Constraints: 35271
39.19/39.49 c #Conflicts: 810000 | #Constraints: 36271
39.19/39.49 c INPROCESSING
39.19/39.49 c GARBAGE COLLECT
39.19/39.49 c rational objective 250.5
40.19/40.41 c #Conflicts: 811000 | #Constraints: 19468
40.19/40.41 c #Conflicts: 812000 | #Constraints: 20468
40.19/40.41 c #Conflicts: 813000 | #Constraints: 21468
40.19/40.41 c #Conflicts: 814000 | #Constraints: 22468
40.19/40.41 c #Conflicts: 815000 | #Constraints: 23468
40.19/40.41 c #Conflicts: 816000 | #Constraints: 24468
40.19/40.41 c #Conflicts: 817000 | #Constraints: 25468
40.19/40.41 c #Conflicts: 818000 | #Constraints: 26468
40.19/40.41 c #Conflicts: 819000 | #Constraints: 27468
40.19/40.41 c #Conflicts: 820000 | #Constraints: 28468
40.19/40.41 c #Conflicts: 821000 | #Constraints: 29468
40.19/40.41 c #Conflicts: 822000 | #Constraints: 30468
40.19/40.41 c #Conflicts: 823000 | #Constraints: 31468
40.19/40.41 c #Conflicts: 824000 | #Constraints: 32468
40.19/40.41 c #Conflicts: 825000 | #Constraints: 33468
40.19/40.41 c #Conflicts: 826000 | #Constraints: 34468
40.19/40.41 c #Conflicts: 827000 | #Constraints: 35468
40.19/40.41 c #Conflicts: 828000 | #Constraints: 36468
40.19/40.41 c INPROCESSING
40.19/40.41 c GARBAGE COLLECT
40.19/40.41 c rational objective 250.5
41.18/41.46 c #Conflicts: 829000 | #Constraints: 19479
41.18/41.46 c #Conflicts: 830000 | #Constraints: 20479
41.18/41.46 c #Conflicts: 831000 | #Constraints: 21479
41.18/41.46 c #Conflicts: 832000 | #Constraints: 22479
41.18/41.46 c #Conflicts: 833000 | #Constraints: 23479
41.18/41.46 c #Conflicts: 834000 | #Constraints: 24479
41.18/41.46 c #Conflicts: 835000 | #Constraints: 25479
41.18/41.46 c #Conflicts: 836000 | #Constraints: 26479
41.18/41.46 c #Conflicts: 837000 | #Constraints: 27479
41.18/41.46 c #Conflicts: 838000 | #Constraints: 28479
41.18/41.46 c #Conflicts: 839000 | #Constraints: 29479
41.18/41.46 c #Conflicts: 840000 | #Constraints: 30479
41.18/41.46 c #Conflicts: 841000 | #Constraints: 31479
41.18/41.46 c #Conflicts: 842000 | #Constraints: 32479
41.18/41.46 c #Conflicts: 843000 | #Constraints: 33479
41.18/41.46 c #Conflicts: 844000 | #Constraints: 34479
41.18/41.46 c #Conflicts: 845000 | #Constraints: 35479
41.18/41.46 c #Conflicts: 846000 | #Constraints: 36479
41.18/41.46 c INPROCESSING
41.18/41.46 c GARBAGE COLLECT
41.18/41.46 c rational objective 250.5
42.08/42.35 c #Conflicts: 847000 | #Constraints: 19280
42.08/42.35 c #Conflicts: 848000 | #Constraints: 20280
42.08/42.35 c #Conflicts: 849000 | #Constraints: 21280
42.08/42.35 c #Conflicts: 850000 | #Constraints: 22280
42.08/42.35 c #Conflicts: 851000 | #Constraints: 23280
42.08/42.35 c #Conflicts: 852000 | #Constraints: 24280
42.08/42.35 c #Conflicts: 853000 | #Constraints: 25280
42.08/42.35 c #Conflicts: 854000 | #Constraints: 26280
42.08/42.35 c #Conflicts: 855000 | #Constraints: 27280
42.08/42.35 c #Conflicts: 856000 | #Constraints: 28280
42.08/42.35 c #Conflicts: 857000 | #Constraints: 29280
42.08/42.35 c #Conflicts: 858000 | #Constraints: 30280
42.08/42.35 c #Conflicts: 859000 | #Constraints: 31280
42.08/42.35 c #Conflicts: 860000 | #Constraints: 32280
42.08/42.35 c #Conflicts: 861000 | #Constraints: 33280
42.08/42.35 c #Conflicts: 862000 | #Constraints: 34280
42.08/42.35 c #Conflicts: 863000 | #Constraints: 35280
42.08/42.35 c #Conflicts: 864000 | #Constraints: 36280
42.08/42.35 c #Conflicts: 865000 | #Constraints: 37280
42.08/42.35 c INPROCESSING
42.08/42.35 c GARBAGE COLLECT
42.08/42.35 c rational objective 250.5
43.08/43.33 c #Conflicts: 866000 | #Constraints: 19874
43.08/43.33 c #Conflicts: 867000 | #Constraints: 20874
43.08/43.33 c #Conflicts: 868000 | #Constraints: 21874
43.08/43.33 c #Conflicts: 869000 | #Constraints: 22874
43.08/43.33 c #Conflicts: 870000 | #Constraints: 23874
43.08/43.33 c #Conflicts: 871000 | #Constraints: 24874
43.08/43.33 c #Conflicts: 872000 | #Constraints: 25874
43.08/43.33 c #Conflicts: 873000 | #Constraints: 26874
43.08/43.33 c #Conflicts: 874000 | #Constraints: 27874
43.08/43.33 c #Conflicts: 875000 | #Constraints: 28874
43.08/43.33 c #Conflicts: 876000 | #Constraints: 29874
43.08/43.33 c #Conflicts: 877000 | #Constraints: 30874
43.08/43.33 c #Conflicts: 878000 | #Constraints: 31874
43.08/43.33 c #Conflicts: 879000 | #Constraints: 32874
43.08/43.33 c #Conflicts: 880000 | #Constraints: 33874
43.08/43.33 c #Conflicts: 881000 | #Constraints: 34874
43.08/43.33 c #Conflicts: 882000 | #Constraints: 35874
43.08/43.33 c #Conflicts: 883000 | #Constraints: 36874
43.08/43.33 c #Conflicts: 884000 | #Constraints: 37874
43.08/43.33 c INPROCESSING
43.08/43.33 c GARBAGE COLLECT
43.08/43.33 c rational objective 250.5
44.18/44.42 c #Conflicts: 885000 | #Constraints: 20286
44.18/44.42 c #Conflicts: 886000 | #Constraints: 21286
44.18/44.42 c #Conflicts: 887000 | #Constraints: 22286
44.18/44.42 c #Conflicts: 888000 | #Constraints: 23286
44.18/44.42 c #Conflicts: 889000 | #Constraints: 24286
44.18/44.42 c #Conflicts: 890000 | #Constraints: 25286
44.18/44.42 c #Conflicts: 891000 | #Constraints: 26286
44.18/44.42 c #Conflicts: 892000 | #Constraints: 27286
44.18/44.42 c #Conflicts: 893000 | #Constraints: 28286
44.18/44.42 c #Conflicts: 894000 | #Constraints: 29286
44.18/44.42 c #Conflicts: 895000 | #Constraints: 30286
44.18/44.42 c #Conflicts: 896000 | #Constraints: 31286
44.18/44.42 c #Conflicts: 897000 | #Constraints: 32286
44.18/44.42 c #Conflicts: 898000 | #Constraints: 33286
44.18/44.42 c #Conflicts: 899000 | #Constraints: 34286
44.18/44.42 c #Conflicts: 900000 | #Constraints: 35286
44.18/44.42 c #Conflicts: 901000 | #Constraints: 36286
44.18/44.42 c #Conflicts: 902000 | #Constraints: 37286
44.18/44.42 c #Conflicts: 903000 | #Constraints: 38286
44.18/44.42 c INPROCESSING
44.18/44.42 c GARBAGE COLLECT
44.18/44.42 c rational objective 250.5
45.27/45.52 c #Conflicts: 904000 | #Constraints: 20480
45.27/45.52 c #Conflicts: 905000 | #Constraints: 21480
45.27/45.52 c #Conflicts: 906000 | #Constraints: 22480
45.27/45.52 c #Conflicts: 907000 | #Constraints: 23480
45.27/45.52 c #Conflicts: 908000 | #Constraints: 24480
45.27/45.52 c #Conflicts: 909000 | #Constraints: 25480
45.27/45.52 c #Conflicts: 910000 | #Constraints: 26480
45.27/45.52 c #Conflicts: 911000 | #Constraints: 27480
45.27/45.52 c #Conflicts: 912000 | #Constraints: 28480
45.27/45.52 c #Conflicts: 913000 | #Constraints: 29480
45.27/45.52 c #Conflicts: 914000 | #Constraints: 30480
45.27/45.52 c #Conflicts: 915000 | #Constraints: 31480
45.27/45.52 c #Conflicts: 916000 | #Constraints: 32480
45.27/45.52 c #Conflicts: 917000 | #Constraints: 33480
45.27/45.52 c #Conflicts: 918000 | #Constraints: 34480
45.27/45.52 c #Conflicts: 919000 | #Constraints: 35480
45.27/45.52 c #Conflicts: 920000 | #Constraints: 36480
45.27/45.52 c #Conflicts: 921000 | #Constraints: 37480
45.27/45.52 c #Conflicts: 922000 | #Constraints: 38480
45.27/45.52 c INPROCESSING
45.27/45.52 c GARBAGE COLLECT
45.27/45.52 c rational objective 250.5
46.37/46.64 c #Conflicts: 923000 | #Constraints: 20483
46.37/46.64 c #Conflicts: 924000 | #Constraints: 21483
46.37/46.64 c #Conflicts: 925000 | #Constraints: 22483
46.37/46.64 c #Conflicts: 926000 | #Constraints: 23483
46.37/46.64 c #Conflicts: 927000 | #Constraints: 24483
46.37/46.64 c #Conflicts: 928000 | #Constraints: 25483
46.37/46.64 c #Conflicts: 929000 | #Constraints: 26483
46.37/46.64 c #Conflicts: 930000 | #Constraints: 27483
46.37/46.64 c #Conflicts: 931000 | #Constraints: 28483
46.37/46.64 c #Conflicts: 932000 | #Constraints: 29483
46.37/46.64 c #Conflicts: 933000 | #Constraints: 30483
46.37/46.64 c #Conflicts: 934000 | #Constraints: 31483
46.37/46.64 c #Conflicts: 935000 | #Constraints: 32483
46.37/46.64 c #Conflicts: 936000 | #Constraints: 33483
46.37/46.64 c #Conflicts: 937000 | #Constraints: 34483
46.37/46.64 c #Conflicts: 938000 | #Constraints: 35483
46.37/46.64 c #Conflicts: 939000 | #Constraints: 36483
46.37/46.64 c #Conflicts: 940000 | #Constraints: 37483
46.37/46.64 c #Conflicts: 941000 | #Constraints: 38483
46.37/46.64 c INPROCESSING
46.37/46.64 c GARBAGE COLLECT
46.37/46.64 c rational objective 250.5
47.36/47.62 c #Conflicts: 942000 | #Constraints: 20291
47.36/47.62 c #Conflicts: 943000 | #Constraints: 21291
47.36/47.62 c #Conflicts: 944000 | #Constraints: 22291
47.36/47.62 c #Conflicts: 945000 | #Constraints: 23291
47.36/47.62 c #Conflicts: 946000 | #Constraints: 24291
47.36/47.62 c #Conflicts: 947000 | #Constraints: 25291
47.36/47.62 c #Conflicts: 948000 | #Constraints: 26291
47.36/47.62 c #Conflicts: 949000 | #Constraints: 27291
47.36/47.62 c #Conflicts: 950000 | #Constraints: 28291
47.36/47.62 c #Conflicts: 951000 | #Constraints: 29291
47.36/47.62 c #Conflicts: 952000 | #Constraints: 30291
47.36/47.62 c #Conflicts: 953000 | #Constraints: 31291
47.36/47.62 c #Conflicts: 954000 | #Constraints: 32291
47.36/47.62 c #Conflicts: 955000 | #Constraints: 33291
47.36/47.62 c #Conflicts: 956000 | #Constraints: 34291
47.36/47.62 c #Conflicts: 957000 | #Constraints: 35291
47.36/47.62 c #Conflicts: 958000 | #Constraints: 36291
47.36/47.62 c #Conflicts: 959000 | #Constraints: 37291
47.36/47.62 c #Conflicts: 960000 | #Constraints: 38291
47.36/47.62 c #Conflicts: 961000 | #Constraints: 39291
47.36/47.62 c INPROCESSING
47.36/47.62 c GARBAGE COLLECT
47.36/47.62 c rational objective 250.5
48.56/48.87 c #Conflicts: 962000 | #Constraints: 20895
48.56/48.87 c #Conflicts: 963000 | #Constraints: 21895
48.56/48.87 c #Conflicts: 964000 | #Constraints: 22895
48.56/48.87 c #Conflicts: 965000 | #Constraints: 23895
48.56/48.87 c #Conflicts: 966000 | #Constraints: 24895
48.56/48.87 c #Conflicts: 967000 | #Constraints: 25895
48.56/48.87 c #Conflicts: 968000 | #Constraints: 26895
48.56/48.87 c #Conflicts: 969000 | #Constraints: 27895
48.56/48.87 c #Conflicts: 970000 | #Constraints: 28895
48.56/48.87 c #Conflicts: 971000 | #Constraints: 29895
48.56/48.87 c #Conflicts: 972000 | #Constraints: 30895
48.56/48.87 c #Conflicts: 973000 | #Constraints: 31895
48.56/48.87 c #Conflicts: 974000 | #Constraints: 32895
48.56/48.87 c #Conflicts: 975000 | #Constraints: 33895
48.56/48.87 c #Conflicts: 976000 | #Constraints: 34895
48.56/48.87 c #Conflicts: 977000 | #Constraints: 35895
48.56/48.87 c #Conflicts: 978000 | #Constraints: 36895
48.56/48.87 c #Conflicts: 979000 | #Constraints: 37895
48.56/48.87 c #Conflicts: 980000 | #Constraints: 38895
48.56/48.87 c #Conflicts: 981000 | #Constraints: 39895
48.56/48.87 c INPROCESSING
48.56/48.87 c GARBAGE COLLECT
48.56/48.87 c rational objective 250.5
50.06/50.39 c #Conflicts: 982000 | #Constraints: 21294
50.06/50.39 c #Conflicts: 983000 | #Constraints: 22294
50.06/50.39 c #Conflicts: 984000 | #Constraints: 23294
50.06/50.39 c #Conflicts: 985000 | #Constraints: 24294
50.06/50.39 c #Conflicts: 986000 | #Constraints: 25294
50.06/50.39 c #Conflicts: 987000 | #Constraints: 26294
50.06/50.39 c #Conflicts: 988000 | #Constraints: 27294
50.06/50.39 c #Conflicts: 989000 | #Constraints: 28294
50.06/50.39 c #Conflicts: 990000 | #Constraints: 29294
50.06/50.39 c #Conflicts: 991000 | #Constraints: 30294
50.06/50.39 c #Conflicts: 992000 | #Constraints: 31294
50.06/50.39 c #Conflicts: 993000 | #Constraints: 32294
50.06/50.39 c #Conflicts: 994000 | #Constraints: 33294
50.06/50.39 c #Conflicts: 995000 | #Constraints: 34294
50.06/50.39 c #Conflicts: 996000 | #Constraints: 35294
50.06/50.39 c #Conflicts: 997000 | #Constraints: 36294
50.06/50.39 c #Conflicts: 998000 | #Constraints: 37294
50.06/50.39 c #Conflicts: 999000 | #Constraints: 38294
50.06/50.39 c #Conflicts: 1000000 | #Constraints: 39294
50.06/50.39 c #Conflicts: 1001000 | #Constraints: 40294
50.06/50.39 c INPROCESSING
50.06/50.39 c GARBAGE COLLECT
50.06/50.39 c rational objective 250.5
51.16/51.43 c #Conflicts: 1002000 | #Constraints: 21502
51.16/51.43 c #Conflicts: 1003000 | #Constraints: 22502
51.16/51.43 c #Conflicts: 1004000 | #Constraints: 23502
51.16/51.43 c #Conflicts: 1005000 | #Constraints: 24502
51.16/51.43 c #Conflicts: 1006000 | #Constraints: 25502
51.16/51.43 c #Conflicts: 1007000 | #Constraints: 26502
51.16/51.43 c #Conflicts: 1008000 | #Constraints: 27502
51.16/51.43 c #Conflicts: 1009000 | #Constraints: 28502
51.16/51.43 c #Conflicts: 1010000 | #Constraints: 29502
51.16/51.43 c #Conflicts: 1011000 | #Constraints: 30502
51.16/51.43 c #Conflicts: 1012000 | #Constraints: 31502
51.16/51.43 c #Conflicts: 1013000 | #Constraints: 32502
51.16/51.43 c #Conflicts: 1014000 | #Constraints: 33502
51.16/51.43 c #Conflicts: 1015000 | #Constraints: 34502
51.16/51.43 c #Conflicts: 1016000 | #Constraints: 35502
51.16/51.43 c #Conflicts: 1017000 | #Constraints: 36502
51.16/51.43 c #Conflicts: 1018000 | #Constraints: 37502
51.16/51.43 c #Conflicts: 1019000 | #Constraints: 38502
51.16/51.43 c #Conflicts: 1020000 | #Constraints: 39502
51.16/51.43 c #Conflicts: 1021000 | #Constraints: 40502
51.16/51.43 c INPROCESSING
51.16/51.43 c GARBAGE COLLECT
51.16/51.43 c rational objective 250.5
52.35/52.69 c #Conflicts: 1022000 | #Constraints: 21498
52.35/52.69 c #Conflicts: 1023000 | #Constraints: 22498
52.35/52.69 c #Conflicts: 1024000 | #Constraints: 23498
52.35/52.69 c #Conflicts: 1025000 | #Constraints: 24498
52.35/52.69 c #Conflicts: 1026000 | #Constraints: 25498
52.35/52.69 c #Conflicts: 1027000 | #Constraints: 26498
52.35/52.69 c #Conflicts: 1028000 | #Constraints: 27498
52.35/52.69 c #Conflicts: 1029000 | #Constraints: 28498
52.35/52.69 c #Conflicts: 1030000 | #Constraints: 29498
52.35/52.69 c #Conflicts: 1031000 | #Constraints: 30498
52.35/52.69 c #Conflicts: 1032000 | #Constraints: 31498
52.35/52.69 c #Conflicts: 1033000 | #Constraints: 32498
52.35/52.69 c #Conflicts: 1034000 | #Constraints: 33498
52.35/52.69 c #Conflicts: 1035000 | #Constraints: 34498
52.35/52.69 c #Conflicts: 1036000 | #Constraints: 35498
52.35/52.69 c #Conflicts: 1037000 | #Constraints: 36498
52.35/52.69 c #Conflicts: 1038000 | #Constraints: 37498
52.35/52.69 c #Conflicts: 1039000 | #Constraints: 38498
52.35/52.69 c #Conflicts: 1040000 | #Constraints: 39498
52.35/52.69 c #Conflicts: 1041000 | #Constraints: 40498
52.35/52.69 c INPROCESSING
52.35/52.69 c GARBAGE COLLECT
52.35/52.69 c rational objective 250.5
53.65/53.92 c #Conflicts: 1042000 | #Constraints: 21297
53.65/53.92 c #Conflicts: 1043000 | #Constraints: 22297
53.65/53.92 c #Conflicts: 1044000 | #Constraints: 23297
53.65/53.92 c #Conflicts: 1045000 | #Constraints: 24297
53.65/53.92 c #Conflicts: 1046000 | #Constraints: 25297
53.65/53.92 c #Conflicts: 1047000 | #Constraints: 26297
53.65/53.92 c #Conflicts: 1048000 | #Constraints: 27297
53.65/53.92 c #Conflicts: 1049000 | #Constraints: 28297
53.65/53.92 c #Conflicts: 1050000 | #Constraints: 29297
53.65/53.92 c #Conflicts: 1051000 | #Constraints: 30297
53.65/53.92 c #Conflicts: 1052000 | #Constraints: 31297
53.65/53.92 c #Conflicts: 1053000 | #Constraints: 32297
53.65/53.92 c #Conflicts: 1054000 | #Constraints: 33297
53.65/53.92 c #Conflicts: 1055000 | #Constraints: 34297
53.65/53.92 c #Conflicts: 1056000 | #Constraints: 35297
53.65/53.92 c #Conflicts: 1057000 | #Constraints: 36297
53.65/53.92 c #Conflicts: 1058000 | #Constraints: 37297
53.65/53.92 c #Conflicts: 1059000 | #Constraints: 38297
53.65/53.92 c #Conflicts: 1060000 | #Constraints: 39297
53.65/53.92 c #Conflicts: 1061000 | #Constraints: 40297
53.65/53.92 c #Conflicts: 1062000 | #Constraints: 41297
53.65/53.92 c INPROCESSING
53.65/53.92 c GARBAGE COLLECT
53.65/53.92 c rational objective 250.5
54.55/54.86 c #Conflicts: 1063000 | #Constraints: 21902
54.55/54.86 c #Conflicts: 1064000 | #Constraints: 22902
54.55/54.86 c #Conflicts: 1065000 | #Constraints: 23902
54.55/54.86 c #Conflicts: 1066000 | #Constraints: 24902
54.55/54.86 c #Conflicts: 1067000 | #Constraints: 25902
54.55/54.86 c #Conflicts: 1068000 | #Constraints: 26902
54.55/54.86 c #Conflicts: 1069000 | #Constraints: 27902
54.55/54.86 c #Conflicts: 1070000 | #Constraints: 28902
54.55/54.86 c #Conflicts: 1071000 | #Constraints: 29902
54.55/54.86 c #Conflicts: 1072000 | #Constraints: 30902
54.55/54.86 c #Conflicts: 1073000 | #Constraints: 31902
54.55/54.86 c #Conflicts: 1074000 | #Constraints: 32902
54.55/54.86 c #Conflicts: 1075000 | #Constraints: 33902
54.55/54.86 c #Conflicts: 1076000 | #Constraints: 34902
54.55/54.86 c #Conflicts: 1077000 | #Constraints: 35902
54.55/54.86 c #Conflicts: 1078000 | #Constraints: 36902
54.55/54.86 c #Conflicts: 1079000 | #Constraints: 37902
54.55/54.86 c #Conflicts: 1080000 | #Constraints: 38902
54.55/54.86 c #Conflicts: 1081000 | #Constraints: 39902
54.55/54.86 c #Conflicts: 1082000 | #Constraints: 40902
54.55/54.86 c #Conflicts: 1083000 | #Constraints: 41902
54.55/54.86 c INPROCESSING
54.55/54.86 c GARBAGE COLLECT
54.55/54.86 c rational objective 250.5
55.55/55.86 c #Conflicts: 1084000 | #Constraints: 22297
55.55/55.86 c #Conflicts: 1085000 | #Constraints: 23297
55.55/55.86 c #Conflicts: 1086000 | #Constraints: 24297
55.55/55.86 c #Conflicts: 1087000 | #Constraints: 25297
55.55/55.86 c #Conflicts: 1088000 | #Constraints: 26297
55.55/55.86 c #Conflicts: 1089000 | #Constraints: 27297
55.55/55.86 c #Conflicts: 1090000 | #Constraints: 28297
55.55/55.86 c #Conflicts: 1091000 | #Constraints: 29297
55.55/55.86 c #Conflicts: 1092000 | #Constraints: 30297
55.55/55.86 c #Conflicts: 1093000 | #Constraints: 31297
55.55/55.86 c #Conflicts: 1094000 | #Constraints: 32297
55.55/55.86 c #Conflicts: 1095000 | #Constraints: 33297
55.55/55.86 c #Conflicts: 1096000 | #Constraints: 34297
55.55/55.86 c #Conflicts: 1097000 | #Constraints: 35297
55.55/55.86 c #Conflicts: 1098000 | #Constraints: 36297
55.55/55.86 c #Conflicts: 1099000 | #Constraints: 37297
55.55/55.86 c #Conflicts: 1100000 | #Constraints: 38297
55.55/55.86 c #Conflicts: 1101000 | #Constraints: 39297
55.55/55.86 c #Conflicts: 1102000 | #Constraints: 40297
55.55/55.86 c #Conflicts: 1103000 | #Constraints: 41297
55.55/55.86 c #Conflicts: 1104000 | #Constraints: 42297
55.55/55.86 c INPROCESSING
55.55/55.86 c GARBAGE COLLECT
55.55/55.86 c rational objective 250.5
56.94/57.21 c #Conflicts: 1105000 | #Constraints: 22495
56.94/57.21 c #Conflicts: 1106000 | #Constraints: 23495
56.94/57.21 c #Conflicts: 1107000 | #Constraints: 24495
56.94/57.21 c #Conflicts: 1108000 | #Constraints: 25495
56.94/57.21 c #Conflicts: 1109000 | #Constraints: 26495
56.94/57.21 c #Conflicts: 1110000 | #Constraints: 27495
56.94/57.21 c #Conflicts: 1111000 | #Constraints: 28495
56.94/57.21 c #Conflicts: 1112000 | #Constraints: 29495
56.94/57.21 c #Conflicts: 1113000 | #Constraints: 30495
56.94/57.21 c #Conflicts: 1114000 | #Constraints: 31495
56.94/57.21 c #Conflicts: 1115000 | #Constraints: 32495
56.94/57.21 c #Conflicts: 1116000 | #Constraints: 33495
56.94/57.21 c #Conflicts: 1117000 | #Constraints: 34495
56.94/57.21 c #Conflicts: 1118000 | #Constraints: 35495
56.94/57.21 c #Conflicts: 1119000 | #Constraints: 36495
56.94/57.21 c #Conflicts: 1120000 | #Constraints: 37495
56.94/57.21 c #Conflicts: 1121000 | #Constraints: 38495
56.94/57.21 c #Conflicts: 1122000 | #Constraints: 39495
56.94/57.21 c #Conflicts: 1123000 | #Constraints: 40495
56.94/57.21 c #Conflicts: 1124000 | #Constraints: 41495
56.94/57.21 c #Conflicts: 1125000 | #Constraints: 42495
56.94/57.21 c INPROCESSING
56.94/57.21 c GARBAGE COLLECT
56.94/57.21 c rational objective 250.5
58.04/58.35 c #Conflicts: 1126000 | #Constraints: 22502
58.04/58.35 c #Conflicts: 1127000 | #Constraints: 23502
58.04/58.35 c #Conflicts: 1128000 | #Constraints: 24502
58.04/58.35 c #Conflicts: 1129000 | #Constraints: 25502
58.04/58.35 c #Conflicts: 1130000 | #Constraints: 26502
58.04/58.35 c #Conflicts: 1131000 | #Constraints: 27502
58.04/58.35 c #Conflicts: 1132000 | #Constraints: 28502
58.04/58.35 c #Conflicts: 1133000 | #Constraints: 29502
58.04/58.35 c #Conflicts: 1134000 | #Constraints: 30502
58.04/58.35 c #Conflicts: 1135000 | #Constraints: 31502
58.04/58.35 c #Conflicts: 1136000 | #Constraints: 32502
58.04/58.35 c #Conflicts: 1137000 | #Constraints: 33502
58.04/58.35 c #Conflicts: 1138000 | #Constraints: 34502
58.04/58.35 c #Conflicts: 1139000 | #Constraints: 35502
58.04/58.35 c #Conflicts: 1140000 | #Constraints: 36502
58.04/58.35 c #Conflicts: 1141000 | #Constraints: 37502
58.04/58.35 c #Conflicts: 1142000 | #Constraints: 38502
58.04/58.35 c #Conflicts: 1143000 | #Constraints: 39502
58.04/58.35 c #Conflicts: 1144000 | #Constraints: 40502
58.04/58.35 c #Conflicts: 1145000 | #Constraints: 41502
58.04/58.35 c #Conflicts: 1146000 | #Constraints: 42502
58.04/58.35 c INPROCESSING
58.04/58.35 c GARBAGE COLLECT
58.04/58.35 c rational objective 250.5
59.14/59.44 c #Conflicts: 1147000 | #Constraints: 22300
59.14/59.44 c #Conflicts: 1148000 | #Constraints: 23300
59.14/59.44 c #Conflicts: 1149000 | #Constraints: 24300
59.14/59.44 c #Conflicts: 1150000 | #Constraints: 25300
59.14/59.44 c #Conflicts: 1151000 | #Constraints: 26300
59.14/59.44 c #Conflicts: 1152000 | #Constraints: 27300
59.14/59.44 c #Conflicts: 1153000 | #Constraints: 28300
59.14/59.44 c #Conflicts: 1154000 | #Constraints: 29300
59.14/59.44 c #Conflicts: 1155000 | #Constraints: 30300
59.14/59.44 c #Conflicts: 1156000 | #Constraints: 31300
59.14/59.44 c #Conflicts: 1157000 | #Constraints: 32300
59.14/59.44 c #Conflicts: 1158000 | #Constraints: 33300
59.14/59.44 c #Conflicts: 1159000 | #Constraints: 34300
59.14/59.44 c #Conflicts: 1160000 | #Constraints: 35300
59.14/59.44 c #Conflicts: 1161000 | #Constraints: 36300
59.14/59.44 c #Conflicts: 1162000 | #Constraints: 37300
59.14/59.44 c #Conflicts: 1163000 | #Constraints: 38300
59.14/59.44 c #Conflicts: 1164000 | #Constraints: 39300
59.14/59.44 c #Conflicts: 1165000 | #Constraints: 40300
59.14/59.44 c #Conflicts: 1166000 | #Constraints: 41300
59.14/59.44 c #Conflicts: 1167000 | #Constraints: 42300
59.14/59.44 c #Conflicts: 1168000 | #Constraints: 43300
59.14/59.44 c INPROCESSING
59.14/59.44 c GARBAGE COLLECT
59.14/59.44 c rational objective 250.5
60.33/60.66 c #Conflicts: 1169000 | #Constraints: 22899
60.33/60.66 c #Conflicts: 1170000 | #Constraints: 23899
60.33/60.66 c #Conflicts: 1171000 | #Constraints: 24899
60.33/60.66 c #Conflicts: 1172000 | #Constraints: 25899
60.33/60.66 c #Conflicts: 1173000 | #Constraints: 26899
60.33/60.66 c #Conflicts: 1174000 | #Constraints: 27899
60.33/60.66 c #Conflicts: 1175000 | #Constraints: 28899
60.33/60.66 c #Conflicts: 1176000 | #Constraints: 29899
60.33/60.66 c #Conflicts: 1177000 | #Constraints: 30899
60.33/60.66 c #Conflicts: 1178000 | #Constraints: 31899
60.33/60.66 c #Conflicts: 1179000 | #Constraints: 32899
60.33/60.66 c #Conflicts: 1180000 | #Constraints: 33899
60.33/60.66 c #Conflicts: 1181000 | #Constraints: 34899
60.33/60.66 c #Conflicts: 1182000 | #Constraints: 35899
60.33/60.66 c #Conflicts: 1183000 | #Constraints: 36899
60.33/60.66 c #Conflicts: 1184000 | #Constraints: 37899
60.33/60.66 c #Conflicts: 1185000 | #Constraints: 38899
60.33/60.66 c #Conflicts: 1186000 | #Constraints: 39899
60.33/60.66 c #Conflicts: 1187000 | #Constraints: 40899
60.33/60.66 c #Conflicts: 1188000 | #Constraints: 41899
60.33/60.66 c #Conflicts: 1189000 | #Constraints: 42899
60.33/60.66 c #Conflicts: 1190000 | #Constraints: 43899
60.33/60.66 c INPROCESSING
60.33/60.66 c GARBAGE COLLECT
60.33/60.66 c rational objective 250.5
61.53/61.83 c #Conflicts: 1191000 | #Constraints: 23299
61.53/61.83 c #Conflicts: 1192000 | #Constraints: 24299
61.53/61.83 c #Conflicts: 1193000 | #Constraints: 25299
61.53/61.83 c #Conflicts: 1194000 | #Constraints: 26299
61.53/61.83 c #Conflicts: 1195000 | #Constraints: 27299
61.53/61.83 c #Conflicts: 1196000 | #Constraints: 28299
61.53/61.83 c #Conflicts: 1197000 | #Constraints: 29299
61.53/61.83 c #Conflicts: 1198000 | #Constraints: 30299
61.53/61.83 c #Conflicts: 1199000 | #Constraints: 31299
61.53/61.83 c #Conflicts: 1200000 | #Constraints: 32299
61.53/61.83 c #Conflicts: 1201000 | #Constraints: 33299
61.53/61.83 c #Conflicts: 1202000 | #Constraints: 34299
61.53/61.83 c #Conflicts: 1203000 | #Constraints: 35299
61.53/61.83 c #Conflicts: 1204000 | #Constraints: 36299
61.53/61.83 c #Conflicts: 1205000 | #Constraints: 37299
61.53/61.83 c #Conflicts: 1206000 | #Constraints: 38299
61.53/61.83 c #Conflicts: 1207000 | #Constraints: 39299
61.53/61.83 c #Conflicts: 1208000 | #Constraints: 40299
61.53/61.83 c #Conflicts: 1209000 | #Constraints: 41299
61.53/61.83 c #Conflicts: 1210000 | #Constraints: 42299
61.53/61.83 c #Conflicts: 1211000 | #Constraints: 43299
61.53/61.83 c #Conflicts: 1212000 | #Constraints: 44299
61.53/61.83 c INPROCESSING
61.53/61.83 c GARBAGE COLLECT
61.53/61.83 c rational objective 250.5
62.73/63.04 c #Conflicts: 1213000 | #Constraints: 23500
62.73/63.04 c #Conflicts: 1214000 | #Constraints: 24500
62.73/63.04 c #Conflicts: 1215000 | #Constraints: 25500
62.73/63.04 c #Conflicts: 1216000 | #Constraints: 26500
62.73/63.04 c #Conflicts: 1217000 | #Constraints: 27500
62.73/63.04 c #Conflicts: 1218000 | #Constraints: 28500
62.73/63.04 c #Conflicts: 1219000 | #Constraints: 29500
62.73/63.04 c #Conflicts: 1220000 | #Constraints: 30500
62.73/63.04 c #Conflicts: 1221000 | #Constraints: 31500
62.73/63.04 c #Conflicts: 1222000 | #Constraints: 32500
62.73/63.04 c #Conflicts: 1223000 | #Constraints: 33500
62.73/63.04 c #Conflicts: 1224000 | #Constraints: 34500
62.73/63.04 c #Conflicts: 1225000 | #Constraints: 35500
62.73/63.04 c #Conflicts: 1226000 | #Constraints: 36500
62.73/63.04 c #Conflicts: 1227000 | #Constraints: 37500
62.73/63.04 c #Conflicts: 1228000 | #Constraints: 38500
62.73/63.04 c #Conflicts: 1229000 | #Constraints: 39500
62.73/63.04 c #Conflicts: 1230000 | #Constraints: 40500
62.73/63.04 c #Conflicts: 1231000 | #Constraints: 41500
62.73/63.04 c #Conflicts: 1232000 | #Constraints: 42500
62.73/63.04 c #Conflicts: 1233000 | #Constraints: 43500
62.73/63.04 c #Conflicts: 1234000 | #Constraints: 44500
62.73/63.04 c INPROCESSING
62.73/63.04 c GARBAGE COLLECT
62.73/63.04 c rational objective 250.5
63.93/64.24 c #Conflicts: 1235000 | #Constraints: 23499
63.93/64.24 c #Conflicts: 1236000 | #Constraints: 24499
63.93/64.24 c #Conflicts: 1237000 | #Constraints: 25499
63.93/64.24 c #Conflicts: 1238000 | #Constraints: 26499
63.93/64.24 c #Conflicts: 1239000 | #Constraints: 27499
63.93/64.24 c #Conflicts: 1240000 | #Constraints: 28499
63.93/64.24 c #Conflicts: 1241000 | #Constraints: 29499
63.93/64.24 c #Conflicts: 1242000 | #Constraints: 30499
63.93/64.24 c #Conflicts: 1243000 | #Constraints: 31499
63.93/64.24 c #Conflicts: 1244000 | #Constraints: 32499
63.93/64.24 c #Conflicts: 1245000 | #Constraints: 33499
63.93/64.24 c #Conflicts: 1246000 | #Constraints: 34499
63.93/64.24 c #Conflicts: 1247000 | #Constraints: 35499
63.93/64.24 c #Conflicts: 1248000 | #Constraints: 36499
63.93/64.24 c #Conflicts: 1249000 | #Constraints: 37499
63.93/64.24 c #Conflicts: 1250000 | #Constraints: 38499
63.93/64.24 c #Conflicts: 1251000 | #Constraints: 39499
63.93/64.24 c #Conflicts: 1252000 | #Constraints: 40499
63.93/64.24 c #Conflicts: 1253000 | #Constraints: 41499
63.93/64.24 c #Conflicts: 1254000 | #Constraints: 42499
63.93/64.24 c #Conflicts: 1255000 | #Constraints: 43499
63.93/64.24 c #Conflicts: 1256000 | #Constraints: 44499
63.93/64.24 c INPROCESSING
63.93/64.24 c GARBAGE COLLECT
63.93/64.24 c rational objective 250.5
65.17/65.51 c #Conflicts: 1257000 | #Constraints: 23304
65.17/65.51 c #Conflicts: 1258000 | #Constraints: 24304
65.17/65.51 c #Conflicts: 1259000 | #Constraints: 25304
65.17/65.51 c #Conflicts: 1260000 | #Constraints: 26304
65.17/65.51 c #Conflicts: 1261000 | #Constraints: 27304
65.17/65.51 c #Conflicts: 1262000 | #Constraints: 28304
65.17/65.51 c #Conflicts: 1263000 | #Constraints: 29304
65.17/65.51 c #Conflicts: 1264000 | #Constraints: 30304
65.17/65.51 c #Conflicts: 1265000 | #Constraints: 31304
65.17/65.51 c #Conflicts: 1266000 | #Constraints: 32304
65.17/65.51 c #Conflicts: 1267000 | #Constraints: 33304
65.17/65.51 c #Conflicts: 1268000 | #Constraints: 34304
65.17/65.51 c #Conflicts: 1269000 | #Constraints: 35304
65.17/65.51 c #Conflicts: 1270000 | #Constraints: 36304
65.17/65.51 c #Conflicts: 1271000 | #Constraints: 37304
65.17/65.51 c #Conflicts: 1272000 | #Constraints: 38304
65.17/65.51 c #Conflicts: 1273000 | #Constraints: 39304
65.17/65.51 c #Conflicts: 1274000 | #Constraints: 40304
65.17/65.51 c #Conflicts: 1275000 | #Constraints: 41304
65.17/65.51 c #Conflicts: 1276000 | #Constraints: 42304
65.17/65.51 c #Conflicts: 1277000 | #Constraints: 43304
65.17/65.51 c #Conflicts: 1278000 | #Constraints: 44304
65.17/65.51 c #Conflicts: 1279000 | #Constraints: 45304
65.17/65.51 c INPROCESSING
65.17/65.51 c GARBAGE COLLECT
65.17/65.51 c rational objective 250.5
66.37/66.72 c #Conflicts: 1280000 | #Constraints: 23905
66.37/66.72 c #Conflicts: 1281000 | #Constraints: 24905
66.37/66.72 c #Conflicts: 1282000 | #Constraints: 25905
66.37/66.72 c #Conflicts: 1283000 | #Constraints: 26905
66.37/66.72 c #Conflicts: 1284000 | #Constraints: 27905
66.37/66.72 c #Conflicts: 1285000 | #Constraints: 28905
66.37/66.72 c #Conflicts: 1286000 | #Constraints: 29905
66.37/66.72 c #Conflicts: 1287000 | #Constraints: 30905
66.37/66.72 c #Conflicts: 1288000 | #Constraints: 31905
66.37/66.72 c #Conflicts: 1289000 | #Constraints: 32905
66.37/66.72 c #Conflicts: 1290000 | #Constraints: 33905
66.37/66.72 c #Conflicts: 1291000 | #Constraints: 34905
66.37/66.72 c #Conflicts: 1292000 | #Constraints: 35905
66.37/66.72 c #Conflicts: 1293000 | #Constraints: 36905
66.37/66.72 c #Conflicts: 1294000 | #Constraints: 37905
66.37/66.72 c #Conflicts: 1295000 | #Constraints: 38905
66.37/66.72 c #Conflicts: 1296000 | #Constraints: 39905
66.37/66.72 c #Conflicts: 1297000 | #Constraints: 40905
66.37/66.72 c #Conflicts: 1298000 | #Constraints: 41905
66.37/66.72 c #Conflicts: 1299000 | #Constraints: 42905
66.37/66.72 c #Conflicts: 1300000 | #Constraints: 43905
66.37/66.72 c #Conflicts: 1301000 | #Constraints: 44905
66.37/66.72 c #Conflicts: 1302000 | #Constraints: 45905
66.37/66.72 c INPROCESSING
66.37/66.72 c GARBAGE COLLECT
66.37/66.72 c rational objective 250.5
67.57/67.91 c #Conflicts: 1303000 | #Constraints: 24306
67.57/67.91 c #Conflicts: 1304000 | #Constraints: 25306
67.57/67.91 c #Conflicts: 1305000 | #Constraints: 26306
67.57/67.91 c #Conflicts: 1306000 | #Constraints: 27306
67.57/67.91 c #Conflicts: 1307000 | #Constraints: 28306
67.57/67.91 c #Conflicts: 1308000 | #Constraints: 29306
67.57/67.91 c #Conflicts: 1309000 | #Constraints: 30306
67.57/67.91 c #Conflicts: 1310000 | #Constraints: 31306
67.57/67.91 c #Conflicts: 1311000 | #Constraints: 32306
67.57/67.91 c #Conflicts: 1312000 | #Constraints: 33306
67.57/67.91 c #Conflicts: 1313000 | #Constraints: 34306
67.57/67.91 c #Conflicts: 1314000 | #Constraints: 35306
67.57/67.91 c #Conflicts: 1315000 | #Constraints: 36306
67.57/67.91 c #Conflicts: 1316000 | #Constraints: 37306
67.57/67.91 c #Conflicts: 1317000 | #Constraints: 38306
67.57/67.91 c #Conflicts: 1318000 | #Constraints: 39306
67.57/67.91 c #Conflicts: 1319000 | #Constraints: 40306
67.57/67.91 c #Conflicts: 1320000 | #Constraints: 41306
67.57/67.91 c #Conflicts: 1321000 | #Constraints: 42306
67.57/67.91 c #Conflicts: 1322000 | #Constraints: 43306
67.57/67.91 c #Conflicts: 1323000 | #Constraints: 44306
67.57/67.91 c #Conflicts: 1324000 | #Constraints: 45306
67.57/67.91 c #Conflicts: 1325000 | #Constraints: 46306
67.57/67.91 c INPROCESSING
67.57/67.91 c GARBAGE COLLECT
67.57/67.91 c rational objective 250.5
68.77/69.18 c #Conflicts: 1326000 | #Constraints: 24506
68.77/69.18 c #Conflicts: 1327000 | #Constraints: 25506
68.77/69.18 c #Conflicts: 1328000 | #Constraints: 26506
68.77/69.18 c #Conflicts: 1329000 | #Constraints: 27506
68.77/69.18 c #Conflicts: 1330000 | #Constraints: 28506
68.77/69.18 c #Conflicts: 1331000 | #Constraints: 29506
68.77/69.18 c #Conflicts: 1332000 | #Constraints: 30506
68.77/69.18 c #Conflicts: 1333000 | #Constraints: 31506
68.77/69.18 c #Conflicts: 1334000 | #Constraints: 32506
68.77/69.18 c #Conflicts: 1335000 | #Constraints: 33506
68.77/69.18 c #Conflicts: 1336000 | #Constraints: 34506
68.77/69.18 c #Conflicts: 1337000 | #Constraints: 35506
68.77/69.18 c #Conflicts: 1338000 | #Constraints: 36506
68.77/69.18 c #Conflicts: 1339000 | #Constraints: 37506
68.77/69.18 c #Conflicts: 1340000 | #Constraints: 38506
68.77/69.18 c #Conflicts: 1341000 | #Constraints: 39506
68.77/69.18 c #Conflicts: 1342000 | #Constraints: 40506
68.77/69.18 c #Conflicts: 1343000 | #Constraints: 41506
68.77/69.18 c #Conflicts: 1344000 | #Constraints: 42506
68.77/69.18 c #Conflicts: 1345000 | #Constraints: 43506
68.77/69.18 c #Conflicts: 1346000 | #Constraints: 44506
68.77/69.18 c #Conflicts: 1347000 | #Constraints: 45506
68.77/69.18 c #Conflicts: 1348000 | #Constraints: 46506
68.77/69.18 c INPROCESSING
68.77/69.18 c GARBAGE COLLECT
68.77/69.18 c rational objective 250.5
70.06/70.42 c #Conflicts: 1349000 | #Constraints: 24515
70.06/70.42 c #Conflicts: 1350000 | #Constraints: 25515
70.06/70.42 c #Conflicts: 1351000 | #Constraints: 26515
70.06/70.42 c #Conflicts: 1352000 | #Constraints: 27515
70.06/70.42 c #Conflicts: 1353000 | #Constraints: 28515
70.06/70.42 c #Conflicts: 1354000 | #Constraints: 29515
70.06/70.42 c #Conflicts: 1355000 | #Constraints: 30515
70.06/70.42 c #Conflicts: 1356000 | #Constraints: 31515
70.06/70.42 c #Conflicts: 1357000 | #Constraints: 32515
70.06/70.42 c #Conflicts: 1358000 | #Constraints: 33515
70.06/70.42 c #Conflicts: 1359000 | #Constraints: 34515
70.06/70.42 c #Conflicts: 1360000 | #Constraints: 35515
70.06/70.42 c #Conflicts: 1361000 | #Constraints: 36515
70.06/70.42 c #Conflicts: 1362000 | #Constraints: 37515
70.06/70.42 c #Conflicts: 1363000 | #Constraints: 38515
70.06/70.42 c #Conflicts: 1364000 | #Constraints: 39515
70.06/70.42 c #Conflicts: 1365000 | #Constraints: 40515
70.06/70.42 c #Conflicts: 1366000 | #Constraints: 41515
70.06/70.42 c #Conflicts: 1367000 | #Constraints: 42515
70.06/70.42 c #Conflicts: 1368000 | #Constraints: 43515
70.06/70.42 c #Conflicts: 1369000 | #Constraints: 44515
70.06/70.42 c #Conflicts: 1370000 | #Constraints: 45515
70.06/70.42 c #Conflicts: 1371000 | #Constraints: 46515
70.06/70.42 c INPROCESSING
70.06/70.42 c GARBAGE COLLECT
70.06/70.42 c rational objective 250.5
71.16/71.59 c #Conflicts: 1372000 | #Constraints: 24309
71.16/71.59 c #Conflicts: 1373000 | #Constraints: 25309
71.16/71.59 c #Conflicts: 1374000 | #Constraints: 26309
71.16/71.59 c #Conflicts: 1375000 | #Constraints: 27309
71.16/71.59 c #Conflicts: 1376000 | #Constraints: 28309
71.16/71.59 c #Conflicts: 1377000 | #Constraints: 29309
71.16/71.59 c #Conflicts: 1378000 | #Constraints: 30309
71.16/71.59 c #Conflicts: 1379000 | #Constraints: 31309
71.16/71.59 c #Conflicts: 1380000 | #Constraints: 32309
71.16/71.59 c #Conflicts: 1381000 | #Constraints: 33309
71.16/71.59 c #Conflicts: 1382000 | #Constraints: 34309
71.16/71.59 c #Conflicts: 1383000 | #Constraints: 35309
71.16/71.59 c #Conflicts: 1384000 | #Constraints: 36309
71.16/71.59 c #Conflicts: 1385000 | #Constraints: 37309
71.16/71.59 c #Conflicts: 1386000 | #Constraints: 38309
71.16/71.59 c #Conflicts: 1387000 | #Constraints: 39309
71.16/71.59 c #Conflicts: 1388000 | #Constraints: 40309
71.16/71.59 c #Conflicts: 1389000 | #Constraints: 41309
71.16/71.59 c #Conflicts: 1390000 | #Constraints: 42309
71.16/71.59 c #Conflicts: 1391000 | #Constraints: 43309
71.16/71.59 c #Conflicts: 1392000 | #Constraints: 44309
71.16/71.59 c #Conflicts: 1393000 | #Constraints: 45309
71.16/71.59 c #Conflicts: 1394000 | #Constraints: 46309
71.16/71.59 c #Conflicts: 1395000 | #Constraints: 47309
71.16/71.59 c INPROCESSING
71.16/71.59 c GARBAGE COLLECT
71.16/71.59 c rational objective 250.5
72.46/72.80 c #Conflicts: 1396000 | #Constraints: 24909
72.46/72.80 c #Conflicts: 1397000 | #Constraints: 25909
72.46/72.80 c #Conflicts: 1398000 | #Constraints: 26909
72.46/72.80 c #Conflicts: 1399000 | #Constraints: 27909
72.46/72.80 c #Conflicts: 1400000 | #Constraints: 28909
72.46/72.80 c #Conflicts: 1401000 | #Constraints: 29909
72.46/72.80 c #Conflicts: 1402000 | #Constraints: 30909
72.46/72.80 c #Conflicts: 1403000 | #Constraints: 31909
72.46/72.80 c #Conflicts: 1404000 | #Constraints: 32909
72.46/72.80 c #Conflicts: 1405000 | #Constraints: 33909
72.46/72.80 c #Conflicts: 1406000 | #Constraints: 34909
72.46/72.80 c #Conflicts: 1407000 | #Constraints: 35909
72.46/72.80 c #Conflicts: 1408000 | #Constraints: 36909
72.46/72.80 c #Conflicts: 1409000 | #Constraints: 37909
72.46/72.80 c #Conflicts: 1410000 | #Constraints: 38909
72.46/72.80 c #Conflicts: 1411000 | #Constraints: 39909
72.46/72.80 c #Conflicts: 1412000 | #Constraints: 40909
72.46/72.80 c #Conflicts: 1413000 | #Constraints: 41909
72.46/72.80 c #Conflicts: 1414000 | #Constraints: 42909
72.46/72.80 c #Conflicts: 1415000 | #Constraints: 43909
72.46/72.80 c #Conflicts: 1416000 | #Constraints: 44909
72.46/72.80 c #Conflicts: 1417000 | #Constraints: 45909
72.46/72.80 c #Conflicts: 1418000 | #Constraints: 46909
72.46/72.80 c #Conflicts: 1419000 | #Constraints: 47909
72.46/72.80 c INPROCESSING
72.46/72.80 c GARBAGE COLLECT
72.46/72.80 c rational objective 250.5
73.76/74.10 c #Conflicts: 1420000 | #Constraints: 25309
73.76/74.10 c #Conflicts: 1421000 | #Constraints: 26309
73.76/74.10 c #Conflicts: 1422000 | #Constraints: 27309
73.76/74.10 c #Conflicts: 1423000 | #Constraints: 28309
73.76/74.10 c #Conflicts: 1424000 | #Constraints: 29309
73.76/74.10 c #Conflicts: 1425000 | #Constraints: 30309
73.76/74.10 c #Conflicts: 1426000 | #Constraints: 31309
73.76/74.10 c #Conflicts: 1427000 | #Constraints: 32309
73.76/74.10 c #Conflicts: 1428000 | #Constraints: 33309
73.76/74.10 c #Conflicts: 1429000 | #Constraints: 34309
73.76/74.10 c #Conflicts: 1430000 | #Constraints: 35309
73.76/74.10 c #Conflicts: 1431000 | #Constraints: 36309
73.76/74.10 c #Conflicts: 1432000 | #Constraints: 37309
73.76/74.10 c #Conflicts: 1433000 | #Constraints: 38309
73.76/74.10 c #Conflicts: 1434000 | #Constraints: 39309
73.76/74.10 c #Conflicts: 1435000 | #Constraints: 40309
73.76/74.10 c #Conflicts: 1436000 | #Constraints: 41309
73.76/74.10 c #Conflicts: 1437000 | #Constraints: 42309
73.76/74.10 c #Conflicts: 1438000 | #Constraints: 43309
73.76/74.10 c #Conflicts: 1439000 | #Constraints: 44309
73.76/74.10 c #Conflicts: 1440000 | #Constraints: 45309
73.76/74.10 c #Conflicts: 1441000 | #Constraints: 46309
73.76/74.10 c #Conflicts: 1442000 | #Constraints: 47309
73.76/74.10 c #Conflicts: 1443000 | #Constraints: 48309
73.76/74.10 c INPROCESSING
73.76/74.10 c GARBAGE COLLECT
73.76/74.10 c rational objective 250.5
75.05/75.45 c #Conflicts: 1444000 | #Constraints: 25509
75.05/75.45 c #Conflicts: 1445000 | #Constraints: 26509
75.05/75.45 c #Conflicts: 1446000 | #Constraints: 27509
75.05/75.45 c #Conflicts: 1447000 | #Constraints: 28509
75.05/75.45 c #Conflicts: 1448000 | #Constraints: 29509
75.05/75.45 c #Conflicts: 1449000 | #Constraints: 30509
75.05/75.45 c #Conflicts: 1450000 | #Constraints: 31509
75.05/75.45 c #Conflicts: 1451000 | #Constraints: 32509
75.05/75.45 c #Conflicts: 1452000 | #Constraints: 33509
75.05/75.45 c #Conflicts: 1453000 | #Constraints: 34509
75.05/75.45 c #Conflicts: 1454000 | #Constraints: 35509
75.05/75.45 c #Conflicts: 1455000 | #Constraints: 36509
75.05/75.45 c #Conflicts: 1456000 | #Constraints: 37509
75.05/75.45 c #Conflicts: 1457000 | #Constraints: 38509
75.05/75.45 c #Conflicts: 1458000 | #Constraints: 39509
75.05/75.45 c #Conflicts: 1459000 | #Constraints: 40509
75.05/75.45 c #Conflicts: 1460000 | #Constraints: 41509
75.05/75.45 c #Conflicts: 1461000 | #Constraints: 42509
75.05/75.45 c #Conflicts: 1462000 | #Constraints: 43509
75.05/75.45 c #Conflicts: 1463000 | #Constraints: 44509
75.05/75.45 c #Conflicts: 1464000 | #Constraints: 45509
75.05/75.45 c #Conflicts: 1465000 | #Constraints: 46509
75.05/75.45 c #Conflicts: 1466000 | #Constraints: 47509
75.05/75.45 c #Conflicts: 1467000 | #Constraints: 48509
75.05/75.45 c INPROCESSING
75.05/75.45 c GARBAGE COLLECT
75.05/75.45 c rational objective 250.5
76.34/76.77 c #Conflicts: 1468000 | #Constraints: 25506
76.34/76.77 c #Conflicts: 1469000 | #Constraints: 26506
76.34/76.77 c #Conflicts: 1470000 | #Constraints: 27506
76.34/76.77 c #Conflicts: 1471000 | #Constraints: 28506
76.34/76.77 c #Conflicts: 1472000 | #Constraints: 29506
76.34/76.77 c #Conflicts: 1473000 | #Constraints: 30506
76.34/76.77 c #Conflicts: 1474000 | #Constraints: 31506
76.34/76.77 c #Conflicts: 1475000 | #Constraints: 32506
76.34/76.77 c #Conflicts: 1476000 | #Constraints: 33506
76.34/76.77 c #Conflicts: 1477000 | #Constraints: 34506
76.34/76.77 c #Conflicts: 1478000 | #Constraints: 35506
76.34/76.77 c #Conflicts: 1479000 | #Constraints: 36506
76.34/76.77 c #Conflicts: 1480000 | #Constraints: 37506
76.34/76.77 c #Conflicts: 1481000 | #Constraints: 38506
76.34/76.77 c #Conflicts: 1482000 | #Constraints: 39506
76.34/76.77 c #Conflicts: 1483000 | #Constraints: 40506
76.34/76.77 c #Conflicts: 1484000 | #Constraints: 41506
76.34/76.77 c #Conflicts: 1485000 | #Constraints: 42506
76.34/76.77 c #Conflicts: 1486000 | #Constraints: 43506
76.34/76.77 c #Conflicts: 1487000 | #Constraints: 44506
76.34/76.77 c #Conflicts: 1488000 | #Constraints: 45506
76.34/76.77 c #Conflicts: 1489000 | #Constraints: 46506
76.34/76.77 c #Conflicts: 1490000 | #Constraints: 47506
76.34/76.77 c #Conflicts: 1491000 | #Constraints: 48506
76.34/76.77 c INPROCESSING
76.34/76.77 c GARBAGE COLLECT
76.34/76.77 c rational objective 250.5
77.75/78.15 c #Conflicts: 1492000 | #Constraints: 25304
77.75/78.15 c #Conflicts: 1493000 | #Constraints: 26304
77.75/78.15 c #Conflicts: 1494000 | #Constraints: 27304
77.75/78.15 c #Conflicts: 1495000 | #Constraints: 28304
77.75/78.15 c #Conflicts: 1496000 | #Constraints: 29304
77.75/78.15 c #Conflicts: 1497000 | #Constraints: 30304
77.75/78.15 c #Conflicts: 1498000 | #Constraints: 31304
77.75/78.15 c #Conflicts: 1499000 | #Constraints: 32304
77.75/78.15 c #Conflicts: 1500000 | #Constraints: 33304
77.75/78.15 c #Conflicts: 1501000 | #Constraints: 34304
77.75/78.15 c #Conflicts: 1502000 | #Constraints: 35304
77.75/78.15 c #Conflicts: 1503000 | #Constraints: 36304
77.75/78.15 c #Conflicts: 1504000 | #Constraints: 37304
77.75/78.15 c #Conflicts: 1505000 | #Constraints: 38304
77.75/78.15 c #Conflicts: 1506000 | #Constraints: 39304
77.75/78.15 c #Conflicts: 1507000 | #Constraints: 40304
77.75/78.15 c #Conflicts: 1508000 | #Constraints: 41304
77.75/78.15 c #Conflicts: 1509000 | #Constraints: 42304
77.75/78.15 c #Conflicts: 1510000 | #Constraints: 43304
77.75/78.15 c #Conflicts: 1511000 | #Constraints: 44304
77.75/78.15 c #Conflicts: 1512000 | #Constraints: 45304
77.75/78.15 c #Conflicts: 1513000 | #Constraints: 46304
77.75/78.15 c #Conflicts: 1514000 | #Constraints: 47304
77.75/78.15 c #Conflicts: 1515000 | #Constraints: 48304
77.75/78.15 c #Conflicts: 1516000 | #Constraints: 49304
77.75/78.15 c INPROCESSING
77.75/78.15 c GARBAGE COLLECT
77.75/78.15 c rational objective 250.5
79.14/79.57 c #Conflicts: 1517000 | #Constraints: 25908
79.14/79.57 c #Conflicts: 1518000 | #Constraints: 26908
79.14/79.57 c #Conflicts: 1519000 | #Constraints: 27908
79.14/79.57 c #Conflicts: 1520000 | #Constraints: 28908
79.14/79.57 c #Conflicts: 1521000 | #Constraints: 29908
79.14/79.57 c #Conflicts: 1522000 | #Constraints: 30908
79.14/79.57 c #Conflicts: 1523000 | #Constraints: 31908
79.14/79.57 c #Conflicts: 1524000 | #Constraints: 32908
79.14/79.57 c #Conflicts: 1525000 | #Constraints: 33908
79.14/79.57 c #Conflicts: 1526000 | #Constraints: 34908
79.14/79.57 c #Conflicts: 1527000 | #Constraints: 35908
79.14/79.57 c #Conflicts: 1528000 | #Constraints: 36908
79.14/79.57 c #Conflicts: 1529000 | #Constraints: 37908
79.14/79.57 c #Conflicts: 1530000 | #Constraints: 38908
79.14/79.57 c #Conflicts: 1531000 | #Constraints: 39908
79.14/79.57 c #Conflicts: 1532000 | #Constraints: 40908
79.14/79.57 c #Conflicts: 1533000 | #Constraints: 41908
79.14/79.57 c #Conflicts: 1534000 | #Constraints: 42908
79.14/79.57 c #Conflicts: 1535000 | #Constraints: 43908
79.14/79.57 c #Conflicts: 1536000 | #Constraints: 44908
79.14/79.57 c #Conflicts: 1537000 | #Constraints: 45908
79.14/79.57 c #Conflicts: 1538000 | #Constraints: 46908
79.14/79.57 c #Conflicts: 1539000 | #Constraints: 47908
79.14/79.57 c #Conflicts: 1540000 | #Constraints: 48908
79.14/79.57 c #Conflicts: 1541000 | #Constraints: 49908
79.14/79.57 c INPROCESSING
79.14/79.57 c GARBAGE COLLECT
79.14/79.57 c rational objective 250.5
80.65/81.06 c #Conflicts: 1542000 | #Constraints: 26307
80.65/81.06 c #Conflicts: 1543000 | #Constraints: 27307
80.65/81.06 c #Conflicts: 1544000 | #Constraints: 28307
80.65/81.06 c #Conflicts: 1545000 | #Constraints: 29307
80.65/81.06 c #Conflicts: 1546000 | #Constraints: 30307
80.65/81.06 c #Conflicts: 1547000 | #Constraints: 31307
80.65/81.06 c #Conflicts: 1548000 | #Constraints: 32307
80.65/81.06 c #Conflicts: 1549000 | #Constraints: 33307
80.65/81.06 c #Conflicts: 1550000 | #Constraints: 34307
80.65/81.06 c #Conflicts: 1551000 | #Constraints: 35307
80.65/81.06 c #Conflicts: 1552000 | #Constraints: 36307
80.65/81.06 c #Conflicts: 1553000 | #Constraints: 37307
80.65/81.06 c #Conflicts: 1554000 | #Constraints: 38307
80.65/81.06 c #Conflicts: 1555000 | #Constraints: 39307
80.65/81.06 c #Conflicts: 1556000 | #Constraints: 40307
80.65/81.06 c #Conflicts: 1557000 | #Constraints: 41307
80.65/81.06 c #Conflicts: 1558000 | #Constraints: 42307
80.65/81.06 c #Conflicts: 1559000 | #Constraints: 43307
80.65/81.06 c #Conflicts: 1560000 | #Constraints: 44307
80.65/81.06 c #Conflicts: 1561000 | #Constraints: 45307
80.65/81.06 c #Conflicts: 1562000 | #Constraints: 46307
80.65/81.06 c #Conflicts: 1563000 | #Constraints: 47307
80.65/81.06 c #Conflicts: 1564000 | #Constraints: 48307
80.65/81.06 c #Conflicts: 1565000 | #Constraints: 49307
80.65/81.06 c #Conflicts: 1566000 | #Constraints: 50307
80.65/81.06 c INPROCESSING
80.65/81.06 c GARBAGE COLLECT
80.65/81.06 c rational objective 250.5
82.13/82.51 c #Conflicts: 1567000 | #Constraints: 26510
82.13/82.51 c #Conflicts: 1568000 | #Constraints: 27510
82.13/82.51 c #Conflicts: 1569000 | #Constraints: 28510
82.13/82.51 c #Conflicts: 1570000 | #Constraints: 29510
82.13/82.51 c #Conflicts: 1571000 | #Constraints: 30510
82.13/82.51 c #Conflicts: 1572000 | #Constraints: 31510
82.13/82.51 c #Conflicts: 1573000 | #Constraints: 32510
82.13/82.51 c #Conflicts: 1574000 | #Constraints: 33510
82.13/82.51 c #Conflicts: 1575000 | #Constraints: 34510
82.13/82.51 c #Conflicts: 1576000 | #Constraints: 35510
82.13/82.51 c #Conflicts: 1577000 | #Constraints: 36510
82.13/82.51 c #Conflicts: 1578000 | #Constraints: 37510
82.13/82.51 c #Conflicts: 1579000 | #Constraints: 38510
82.13/82.51 c #Conflicts: 1580000 | #Constraints: 39510
82.13/82.51 c #Conflicts: 1581000 | #Constraints: 40510
82.13/82.51 c #Conflicts: 1582000 | #Constraints: 41510
82.13/82.51 c #Conflicts: 1583000 | #Constraints: 42510
82.13/82.51 c #Conflicts: 1584000 | #Constraints: 43510
82.13/82.51 c #Conflicts: 1585000 | #Constraints: 44510
82.13/82.51 c #Conflicts: 1586000 | #Constraints: 45510
82.13/82.51 c #Conflicts: 1587000 | #Constraints: 46510
82.13/82.51 c #Conflicts: 1588000 | #Constraints: 47510
82.13/82.51 c #Conflicts: 1589000 | #Constraints: 48510
82.13/82.51 c #Conflicts: 1590000 | #Constraints: 49510
82.13/82.51 c #Conflicts: 1591000 | #Constraints: 50510
82.13/82.51 c INPROCESSING
82.13/82.51 c GARBAGE COLLECT
82.13/82.51 c rational objective 250.5
83.63/84.03 c #Conflicts: 1592000 | #Constraints: 26508
83.63/84.03 c #Conflicts: 1593000 | #Constraints: 27508
83.63/84.03 c #Conflicts: 1594000 | #Constraints: 28508
83.63/84.03 c #Conflicts: 1595000 | #Constraints: 29508
83.63/84.03 c #Conflicts: 1596000 | #Constraints: 30508
83.63/84.03 c #Conflicts: 1597000 | #Constraints: 31508
83.63/84.03 c #Conflicts: 1598000 | #Constraints: 32508
83.63/84.03 c #Conflicts: 1599000 | #Constraints: 33508
83.63/84.03 c #Conflicts: 1600000 | #Constraints: 34508
83.63/84.03 c #Conflicts: 1601000 | #Constraints: 35508
83.63/84.03 c #Conflicts: 1602000 | #Constraints: 36508
83.63/84.03 c #Conflicts: 1603000 | #Constraints: 37508
83.63/84.03 c #Conflicts: 1604000 | #Constraints: 38508
83.63/84.03 c #Conflicts: 1605000 | #Constraints: 39508
83.63/84.03 c #Conflicts: 1606000 | #Constraints: 40508
83.63/84.03 c #Conflicts: 1607000 | #Constraints: 41508
83.63/84.03 c #Conflicts: 1608000 | #Constraints: 42508
83.63/84.03 c #Conflicts: 1609000 | #Constraints: 43508
83.63/84.03 c #Conflicts: 1610000 | #Constraints: 44508
83.63/84.03 c #Conflicts: 1611000 | #Constraints: 45508
83.63/84.03 c #Conflicts: 1612000 | #Constraints: 46508
83.63/84.03 c #Conflicts: 1613000 | #Constraints: 47508
83.63/84.03 c #Conflicts: 1614000 | #Constraints: 48508
83.63/84.03 c #Conflicts: 1615000 | #Constraints: 49508
83.63/84.03 c #Conflicts: 1616000 | #Constraints: 50508
83.63/84.03 c INPROCESSING
83.63/84.03 c GARBAGE COLLECT
83.63/84.03 c rational objective 250.5
84.03/84.48 c #Conflicts: 1617000 | #Constraints: 12624
84.03/84.48 c #Conflicts: 1618000 | #Constraints: 13624
84.03/84.48 c #Conflicts: 1619000 | #Constraints: 14624
84.03/84.48 c #Conflicts: 1620000 | #Constraints: 15624
84.03/84.48 c #Conflicts: 1621000 | #Constraints: 16624
84.03/84.48 c #Conflicts: 1622000 | #Constraints: 17624
84.03/84.48 c #Conflicts: 1623000 | #Constraints: 18624
84.03/84.48 c #Conflicts: 1624000 | #Constraints: 19624
84.03/84.48 c #Conflicts: 1625000 | #Constraints: 20624
84.03/84.48 c cpu time 78.7874 s
84.03/84.48 c deterministic time 3329340739 3.33e+09
84.03/84.48 c optimization time 8.3e-05 s
84.03/84.48 c total solve time 78.7853 s
84.03/84.48 c core-guided solve time 0 s
84.03/84.48 c propagation time 54.3537 s
84.03/84.48 c conflict analysis time 14.0842 s
84.03/84.48 c propagations 10073846
84.03/84.48 c resolve steps 4978839
84.03/84.48 c decisions 2651639
84.03/84.48 c conflicts 1625688
84.03/84.48 c restarts 3069
84.03/84.48 c inprocessing phases 118
84.03/84.48 c garbage collections 118 ,( 100.00 )
84.03/84.48 c input clauses 58 ,( 10.39 )
84.03/84.48 c input cardinalities 500 ,( 89.61 )
84.03/84.48 c input general constraints 0 ,( 0.00 )
84.03/84.48 c input average constraint length 3.88
84.03/84.48 c input average constraint degree 1.90
84.03/84.48 c learned clauses 1542480 ,( 94.85 )
84.03/84.48 c learned cardinalities 4353 ,( 0.27 )
84.03/84.48 c learned general constraints 79370 ,( 4.88 )
84.03/84.48 c learned average constraint length 16.68
84.03/84.48 c learned average constraint degree 86689.89
84.03/84.48 c watched CF 32, 64, 128, Arb: 39446 , 0 , 0 , 0
84.03/84.48 c counting CF 32, 64, 128, Arb: 39924 , 0 , 0 , 0
84.03/84.48 c watched constraints 39446 ,( 49.70 )
84.03/84.48 c counting constraints 39924 ,( 50.30 )
84.03/84.48 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 537948925 , 26788935 , 25841159 ,( 17478398 , 8362761 )
84.03/84.48 c gcd simplifications 3823
84.03/84.48 c detected cardinalities 776
84.03/84.48 c weakened non-implied lits 628914
84.03/84.48 c weakened non-implying lits 1112
84.03/84.48 c original variables 519
84.03/84.48 c clausal propagations 3294926
84.03/84.48 c cardinality propagations 2326164
84.03/84.48 c watched propagations 176826
84.03/84.48 c counting propagations 2619616
84.03/84.48 c watch lookups 2014998819
84.03/84.48 c watch backjump lookups 0
84.03/84.48 c watch checks 1114897141
84.03/84.48 c propagation checks 84920625
84.03/84.48 c constraint additions 87284171
84.03/84.48 c trail pops 14351145
84.03/84.48 c formula constraints 558
84.03/84.48 c learned constraints 1625678
84.03/84.48 c bound constraints 0
84.03/84.48 c core-guided constraints 0
84.03/84.48 c encountered formula constraints 94469
84.03/84.48 c encountered learned constraints 6508753
84.03/84.48 c encountered bound constraints 0
84.03/84.48 c encountered core-guided constraints 0
84.03/84.48 c LP total time 8.98221 s
84.03/84.48 c LP solve time 4.97 s
84.03/84.48 c LP constraints added 1176
84.03/84.48 c LP constraints removed 609
84.03/84.48 c LP pivots internal 162574
84.03/84.48 c LP pivots root 778
84.03/84.48 c LP calls 15591
84.03/84.48 c LP optimalities 15582
84.03/84.48 c LP no pivot count 975
84.03/84.48 c LP infeasibilities 9
84.03/84.48 c LP valid Farkas constraints 9
84.03/84.48 c LP learned Farkas constraints 9
84.03/84.48 c LP basis resets 0
84.03/84.48 c LP cycling count 0
84.03/84.48 c LP singular count 0
84.03/84.48 c LP no primal count 0
84.03/84.48 c LP no farkas count 0
84.03/84.48 c LP other issue count 0
84.03/84.48 c LP Gomory cuts 507
84.03/84.48 c LP learned cuts 111
84.03/84.48 c LP deleted cuts 609
84.03/84.48 c LP encountered Gomory constraints 0
84.03/84.48 c LP encountered Farkas constraints 733
84.03/84.48 c LP encountered learned Farkas constraints 563
84.03/84.48 c CG auxiliary variables introduced 0
84.03/84.48 c CG solutions found 0
84.03/84.48 c CG cores constructed 0
84.03/84.48 c CG core cardinality constraints returned 0
84.03/84.48 c CG unit cores 0
84.03/84.48 c CG single cores 0
84.03/84.48 c CG blocks removed during cardinality reduction 0
84.03/84.48 c CG first core best 0
84.03/84.48 c CG decision core best 0
84.03/84.48 c CG core reduction tie 0
84.03/84.48 c CG core degree average 0.00
84.03/84.48 c CG core slack average 0.00
84.03/84.48 c CG core upper bound improvements 0
84.03/84.48 c STR number of successful calls 0
84.03/84.48 c STR number of unsuccessful calls 0
84.03/84.48 c STR number of inconclusive calls 0
84.03/84.48 c STR number of successful attempts 0
84.03/84.48 c STR number of unsuccessful attempts 0
84.03/84.48 c STR number of inconclusive attempts 0
84.03/84.48 c STR average degree increase per successful call inf
84.03/84.48 c STR average degree increase per successful attempt inf
84.03/84.48 c STR total number of conflicts for successful attempts 0
84.03/84.48 c STR total number of conflicts for unsuccessful attempts 0
84.03/84.48 c STR total number of conflicts for inconclusive attempts 0
84.03/84.48 c STR average number of conflicts per successful attempt inf
84.03/84.48 c STR average number of conflicts per unsuccessful attempt inf
84.03/84.48 c STR average number of conflicts per inconclusive attempt inf
84.03/84.48 c AVG.sumWPerc 39.34
84.03/84.48 c bigint constraints 0
84.03/84.48 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: 63665 MiB (62732 MiB free)
memory of node 1: 64507 MiB (63297 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510549-1751197660/watcher-4510549-1751197660 -o /tmp/evaluation-result-4510549-1751197660/solver-4510549-1751197660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751197546-21225 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4510549-1751197660.opb PROOFDIR/proof-4510549-1751197660
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21728, runsolver pid=21725
[startup+0.100059 s]*
/proc/loadavg: 3.55 1.93 1.53 5/271 21731
/proc/meminfo: memFree=129051912/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=57784 memory=14488 CPUtime=0.06 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 1077 0 0 0 5 1 0 0 20 0 1 0 35445591 59170816 3622 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 14446 3622 2368 1147 0 1873 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 61976 KiB
Current children cumulated memory: 17560 KiB
[startup+0.20567 s]*
/proc/loadavg: 3.55 1.93 1.53 5/271 21731
/proc/meminfo: memFree=129051912/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=58188 memory=14872 CPUtime=0.17 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 1179 0 0 0 14 3 0 0 20 0 1 0 35445591 59584512 3718 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 14547 3718 2368 1147 0 1974 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 62380 KiB
Current children cumulated memory: 17944 KiB
[startup+0.305125 s]*
/proc/loadavg: 3.55 1.93 1.53 5/271 21731
/proc/meminfo: memFree=129049896/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=58620 memory=15256 CPUtime=0.27 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 1269 0 0 0 23 4 0 0 20 0 1 0 35445591 60026880 3814 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 14655 3814 2368 1147 0 2082 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 62812 KiB
Current children cumulated memory: 18328 KiB
[startup+0.700153 s]
/proc/loadavg: 3.55 1.93 1.53 5/271 21731
/proc/meminfo: memFree=129049896/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=59488 memory=16024 CPUtime=0.65 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 1475 0 0 0 57 8 0 0 20 0 1 0 35445591 60915712 4006 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 14872 4006 2368 1147 0 2299 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 63680 KiB
Current children cumulated memory: 19096 KiB
[startup+1.50014 s]
/proc/loadavg: 3.55 1.93 1.53 5/271 21731
/proc/meminfo: memFree=129053320/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=60084 memory=16664 CPUtime=1.46 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 1637 0 0 0 129 17 0 0 20 0 1 0 35445591 61526016 4166 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 15021 4166 2368 1147 0 2448 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 64276 KiB
Current children cumulated memory: 19736 KiB
[startup+3.10549 s]
/proc/loadavg: 3.55 1.93 1.53 5/271 21731
/proc/meminfo: memFree=129051552/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=61232 memory=17688 CPUtime=3.06 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 1899 0 0 0 274 32 0 0 20 0 1 0 35445591 62701568 4422 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 15308 4422 2368 1147 0 2735 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 65424 KiB
Current children cumulated memory: 20760 KiB
[startup+6.30014 s]
/proc/loadavg: 3.59 1.97 1.54 5/271 21731
/proc/meminfo: memFree=129055292/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=63192 memory=19736 CPUtime=6.24 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 2419 0 0 0 564 60 0 0 20 0 1 0 35445591 64708608 4934 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 15798 4934 2368 1147 0 3225 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 67384 KiB
Current children cumulated memory: 22808 KiB
[startup+12.7002 s]
/proc/loadavg: 3.62 2.00 1.56 5/271 21731
/proc/meminfo: memFree=129053492/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=65256 memory=21784 CPUtime=12.62 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 2915 0 0 0 1150 112 0 0 20 0 1 0 35445591 66822144 5446 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 16314 5446 2368 1147 0 3741 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 69448 KiB
Current children cumulated memory: 24856 KiB
[startup+25.5002 s]
/proc/loadavg: 3.76 2.08 1.59 5/271 21732
/proc/meminfo: memFree=128951784/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=67596 memory=25980 CPUtime=25.39 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 5351 0 0 0 2339 200 0 0 20 0 1 0 35445591 69218304 6495 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 16899 6495 2368 1147 0 4326 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 71788 KiB
Current children cumulated memory: 29052 KiB
[startup+51.1055 s]
/proc/loadavg: 3.86 2.27 1.67 5/271 21732
/proc/meminfo: memFree=128768008/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=70124 memory=28556 CPUtime=50.86 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 7133 0 0 0 4736 350 0 0 20 0 1 0 35445591 71806976 7139 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 17531 7139 2368 1147 0 4958 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 74316 KiB
Current children cumulated memory: 31628 KiB
[startup+84.4837 s]
# the end of solver process 21728 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=78.7971 s, system=5.30312 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 3.86 2.27 1.67 5/271 21732
/proc/meminfo: memFree=128768008/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=70124 memory=28556 CPUtime=50.96 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 7133 0 0 0 4745 351 0 0 20 0 1 0 35445591 71806976 7139 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 17531 7139 2368 1147 0 4958 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 74316 KiB
Current children cumulated memory: 31628 KiB
[startup+64.0001 s]*
/proc/loadavg: 3.88 2.32 1.69 5/271 21733
/proc/meminfo: memFree=128677284/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=72100 memory=30612 CPUtime=63.73 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 9336 0 0 0 5950 423 0 0 20 0 1 0 35445591 73830400 7653 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 18025 7653 2368 1147 0 5452 0
Current children cumulated CPU time: 63.73 s
Current children cumulated vsize: 76292 KiB
Current children cumulated memory: 33684 KiB
[startup+76.8002 s]
/proc/loadavg: 3.97 2.42 1.74 5/271 21733
/proc/meminfo: memFree=128608232/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=75800 memory=31612 CPUtime=76.45 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 11977 0 0 0 7155 490 0 0 20 0 1 0 35445591 77619200 7903 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 18950 7903 2368 1147 0 6377 0
Current children cumulated CPU time: 76.45 s
Current children cumulated vsize: 79992 KiB
Current children cumulated memory: 34684 KiB
[startup+80.0001 s]*
/proc/loadavg: 3.97 2.42 1.74 5/271 21734
/proc/meminfo: memFree=128571404/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=76312 memory=32032 CPUtime=79.64 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 12540 0 0 0 7460 504 0 0 20 0 1 0 35445591 78143488 8008 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 19078 8008 2368 1147 0 6505 0
Current children cumulated CPU time: 79.64 s
Current children cumulated vsize: 80504 KiB
Current children cumulated memory: 35104 KiB
[startup+81.6001 s]
/proc/loadavg: 3.98 2.45 1.75 5/271 21734
/proc/meminfo: memFree=128567876/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=76312 memory=32036 CPUtime=81.24 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 12759 0 0 0 7611 513 0 0 20 0 1 0 35445591 78143488 8009 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 19078 8009 2368 1147 0 6505 0
Current children cumulated CPU time: 81.24 s
Current children cumulated vsize: 80504 KiB
Current children cumulated memory: 35108 KiB
[startup+83.2001 s]
/proc/loadavg: 3.98 2.45 1.75 5/271 21734
/proc/meminfo: memFree=128557548/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=76312 memory=32076 CPUtime=82.83 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 12989 0 0 0 7761 522 0 0 20 0 1 0 35445591 78143488 8019 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 19078 8019 2368 1147 0 6505 0
Current children cumulated CPU time: 82.83 s
Current children cumulated vsize: 80504 KiB
Current children cumulated memory: 35148 KiB
[startup+84.0001 s]*
/proc/loadavg: 3.98 2.45 1.75 5/271 21734
/proc/meminfo: memFree=128554020/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=76568 memory=32076 CPUtime=83.63 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 13004 0 0 0 7837 526 0 0 20 0 1 0 35445591 78405632 8019 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 19142 8019 2368 1147 0 6569 0
Current children cumulated CPU time: 83.63 s
Current children cumulated vsize: 80760 KiB
Current children cumulated memory: 35148 KiB
[startup+84.4001 s]
/proc/loadavg: 3.98 2.45 1.75 5/271 21734
/proc/meminfo: memFree=128554020/131249996 swapFree=33010684/33010684
[pid=21728] ppid=21725 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/21728/stat : 21728 (run-dec-break-l) S 21725 21728 21214 0 -1 4194304 243 528 0 0 0 0 0 0 20 0 1 0 35445589 4292608 768 18446744073709551615 94895418494976 94895419389509 140735723710304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895419628560 94895419676304 94895451676672 140735723714837 140735723715038 140735723715038 140735723720640 0
/proc/21728/statm: 1048 768 704 219 0 110 0
[pid=21731] ppid=21728 vsize=77444 memory=32716 CPUtime=84.03 cores=4,6
/proc/21731/stat : 21731 (roundingsat) R 21728 21728 21214 0 -1 4194304 13152 0 0 0 7874 529 0 0 20 0 1 0 35445591 79302656 8179 18446744073709551615 4227072 8923433 140737014325280 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40964096 140737014327540 140737014327848 140737014327848 140737014333418 0
/proc/21731/statm: 19361 8179 2368 1147 0 6788 0
Current children cumulated CPU time: 84.03 s
Current children cumulated vsize: 81636 KiB
Current children cumulated memory: 35788 KiB
Child status: 0
Real time (s): 84.4838
CPU time (s): 84.1003
CPU user time (s): 78.7971
CPU system time (s): 5.30312
CPU usage (%): 99.5461
Max. virtual memory (cumulated for all children) (KiB): 81636
Max. memory (cumulated for all children) (KiB): 35788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.7972
system time used= 5.30312
maximum resident set size= 32932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 301016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1288
involuntary context switches= 144
# summary of solver processes directly reported to runsolver:
# pid: 21728
# total CPU time (s): 84.1003
# total CPU user time (s): 78.7971
# total CPU system time (s): 5.30312
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.157502 second user time and 0.404046 second system time
The end
Begin job on nodeC030 at 2025-06-29 13:47:40
IDJOB=4510549
IDBENCH=160372
IDSOLVER=3358
FILE ID=nodeC030/4510549-1751197660
RUNJOBID= nodeC030-1751197546-21225
SLURM_JOB_ID= 9587610
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510549-1751197660/watcher-4510549-1751197660 -o /tmp/evaluation-result-4510549-1751197660/solver-4510549-1751197660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751197546-21225 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4510549-1751197660.opb PROOFDIR/proof-4510549-1751197660
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= becd4f2905a31b4ccafbaa36ee1998fb
RANDOM SEED=1332320852
nodeC030 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 : 3600.329
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 : 7000.62
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 : 3600.320
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 : 7000.62
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 : 3599.750
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 : 7000.62
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 : 3604.953
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 : 7000.62
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 : 3600.331
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 : 7000.62
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 : 3600.314
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.969
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 : 7000.62
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.940
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129055356 kB
MemAvailable: 129595612 kB
Buffers: 3280 kB
Cached: 1349868 kB
SwapCached: 0 kB
Active: 454620 kB
Inactive: 1093040 kB
Active(anon): 212664 kB
Inactive(anon): 0 kB
Active(file): 241956 kB
Inactive(file): 1093040 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 112092 kB
Writeback: 0 kB
AnonPages: 196548 kB
Mapped: 114276 kB
Shmem: 18064 kB
KReclaimable: 88596 kB
Slab: 177216 kB
SReclaimable: 88596 kB
SUnreclaim: 88620 kB
KernelStack: 4368 kB
PageTables: 3608 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 543448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 75776 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC030 at 2025-06-29 13:49:05