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-4508784-1751509148.opb'
0.00/0.01 c read 0.02MB (0.44ms)
0.00/0.01 c [cnf: #variables 441 #clauses 577 #duplicates 0 #arr 2117]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.53ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.09ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 2460 #edges 7118]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (0.17ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4508784-1751509148.opb.pre'
0.00/0.01 c wrote 0.02MB (0.11ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.53ms 35.96% approx_orbits
0.00/0.01 c 0.44ms 29.96% parse
0.00/0.01 c 0.17ms 11.92% detect_generic
0.00/0.01 c 0.11ms 7.54% output
0.00/0.01 c 0.11ms 7.45% other
0.00/0.01 c 0.09ms 6.28% detect_special
0.00/0.01 c 0.01ms 0.88% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 1.47ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 441 #constraints 576
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 289 , 0 , 0 , 0
0.00/0.03 c bounds - >= -210 @ 0.001168
0.00/0.03 c rational objective -100
0.00/0.04 c bounds -58 >= -210 @ 0.013091
0.00/0.04 c bounds -58 >= -209 @ 0.01324
0.00/0.04 c bounds -58 >= -208 @ 0.013312
0.00/0.04 c bounds -58 >= -207 @ 0.013382
0.00/0.04 c bounds -58 >= -206 @ 0.013449
0.00/0.04 c bounds -58 >= -205 @ 0.013514
0.00/0.04 c bounds -58 >= -204 @ 0.013582
0.00/0.04 c bounds -58 >= -203 @ 0.013652
0.00/0.04 c bounds -58 >= -202 @ 0.013721
0.00/0.04 c bounds -58 >= -201 @ 0.013789
0.00/0.04 c bounds -58 >= -200 @ 0.013859
0.00/0.04 c bounds -58 >= -199 @ 0.013929
0.00/0.04 c bounds -58 >= -198 @ 0.013998
0.00/0.04 c bounds -58 >= -197 @ 0.014067
0.00/0.04 c bounds -58 >= -196 @ 0.014141
0.00/0.04 c bounds -58 >= -195 @ 0.014217
0.00/0.04 c bounds -58 >= -194 @ 0.014292
0.00/0.04 c bounds -58 >= -193 @ 0.014319
0.00/0.04 c bounds -58 >= -192 @ 0.014319
0.00/0.04 c bounds -58 >= -191 @ 0.014319
0.00/0.04 c bounds -58 >= -190 @ 0.014319
0.00/0.04 c bounds -58 >= -189 @ 0.014319
0.00/0.04 c bounds -58 >= -188 @ 0.014319
0.00/0.04 c bounds -58 >= -187 @ 0.014319
0.00/0.04 c bounds -58 >= -186 @ 0.014319
0.00/0.04 c bounds -58 >= -185 @ 0.014319
0.00/0.04 c bounds -58 >= -184 @ 0.014319
0.00/0.04 c bounds -59 >= -184 @ 0.01466
0.00/0.04 c bounds -59 >= -183 @ 0.014743
0.00/0.04 c bounds -59 >= -182 @ 0.014826
0.00/0.04 c bounds -59 >= -181 @ 0.014905
0.00/0.04 c bounds -59 >= -180 @ 0.014982
0.00/0.04 c bounds -59 >= -179 @ 0.015061
0.00/0.04 c bounds -59 >= -178 @ 0.015134
0.00/0.04 c bounds -59 >= -177 @ 0.015212
0.00/0.04 c bounds -59 >= -176 @ 0.015286
0.00/0.04 c bounds -59 >= -175 @ 0.015361
0.00/0.04 c bounds -59 >= -174 @ 0.015439
0.00/0.04 c bounds -59 >= -173 @ 0.015485
0.00/0.04 c bounds -59 >= -172 @ 0.015485
0.00/0.04 c bounds -59 >= -171 @ 0.015485
0.00/0.04 c bounds -59 >= -170 @ 0.015485
0.00/0.04 c bounds -59 >= -169 @ 0.015485
0.00/0.04 c bounds -59 >= -168 @ 0.015485
0.00/0.04 c bounds -59 >= -167 @ 0.015485
0.00/0.04 c bounds -59 >= -166 @ 0.015485
0.00/0.04 c bounds -59 >= -165 @ 0.015485
0.00/0.04 c bounds -59 >= -164 @ 0.015485
0.00/0.04 c bounds -59 >= -163 @ 0.015485
0.00/0.04 c bounds -59 >= -162 @ 0.015485
0.00/0.04 c bounds -59 >= -161 @ 0.015485
0.00/0.05 c bounds -60 >= -161 @ 0.016757
0.00/0.05 c bounds -60 >= -160 @ 0.016847
0.00/0.05 c bounds -60 >= -159 @ 0.016925
0.00/0.05 c bounds -60 >= -158 @ 0.017002
0.00/0.05 c bounds -60 >= -157 @ 0.017077
0.00/0.05 c bounds -60 >= -156 @ 0.017151
0.00/0.05 c bounds -60 >= -155 @ 0.017227
0.00/0.05 c bounds -60 >= -154 @ 0.0173
0.00/0.05 c bounds -60 >= -153 @ 0.017372
0.00/0.05 c bounds -60 >= -152 @ 0.017447
0.00/0.05 c bounds -60 >= -151 @ 0.017531
0.00/0.05 c bounds -60 >= -150 @ 0.017611
0.00/0.05 c bounds -60 >= -149 @ 0.017685
0.00/0.05 c bounds -60 >= -148 @ 0.017757
0.00/0.05 c bounds -60 >= -147 @ 0.017842
0.00/0.05 c bounds -60 >= -146 @ 0.01793
0.00/0.05 c bounds -60 >= -145 @ 0.018014
0.00/0.05 c bounds -60 >= -144 @ 0.018101
0.00/0.05 c bounds -60 >= -143 @ 0.018183
0.00/0.05 c bounds -60 >= -142 @ 0.018263
0.00/0.05 c bounds -60 >= -141 @ 0.018348
0.00/0.05 c bounds -60 >= -140 @ 0.018469
0.00/0.05 c bounds -60 >= -139 @ 0.018668
0.00/0.05 c bounds -60 >= -138 @ 0.018774
0.00/0.05 c bounds -60 >= -137 @ 0.01887
0.00/0.05 c bounds -60 >= -136 @ 0.018965
0.00/0.05 c bounds -60 >= -135 @ 0.019064
0.00/0.05 c bounds -60 >= -134 @ 0.019167
0.00/0.05 c bounds -60 >= -133 @ 0.01927
0.00/0.05 c bounds -60 >= -132 @ 0.01937
0.00/0.05 c bounds -60 >= -131 @ 0.019486
0.00/0.05 c bounds -60 >= -130 @ 0.019612
0.00/0.05 c bounds -60 >= -129 @ 0.019741
0.00/0.05 c bounds -60 >= -128 @ 0.019869
0.00/0.05 c bounds -60 >= -127 @ 0.020006
0.00/0.05 c bounds -60 >= -126 @ 0.020137
0.00/0.05 c bounds -60 >= -125 @ 0.020265
0.00/0.05 c bounds -60 >= -124 @ 0.020401
0.00/0.05 c bounds -60 >= -123 @ 0.020544
0.00/0.05 c bounds -60 >= -122 @ 0.020679
0.00/0.05 c bounds -60 >= -121 @ 0.020816
0.00/0.05 c bounds -60 >= -120 @ 0.02096
0.00/0.05 c bounds -60 >= -119 @ 0.021099
0.00/0.05 c bounds -60 >= -118 @ 0.02124
0.00/0.05 c bounds -60 >= -117 @ 0.021374
0.00/0.05 c bounds -60 >= -116 @ 0.021409
0.00/0.05 c bounds -60 >= -115 @ 0.021409
0.00/0.05 c bounds -60 >= -114 @ 0.021409
0.00/0.05 c bounds -60 >= -113 @ 0.021409
0.00/0.05 c bounds -60 >= -112 @ 0.021409
0.00/0.05 c bounds -60 >= -111 @ 0.021409
0.00/0.05 c bounds -60 >= -110 @ 0.021456
0.00/0.05 c bounds -60 >= -109 @ 0.021607
0.00/0.05 c bounds -60 >= -108 @ 0.021759
0.00/0.05 c bounds -60 >= -107 @ 0.021906
0.00/0.05 c bounds -61 >= -107 @ 0.022578
0.00/0.05 c bounds -61 >= -106 @ 0.022747
0.00/0.05 c bounds -61 >= -105 @ 0.022906
0.00/0.05 c bounds -61 >= -104 @ 0.023058
0.00/0.05 c bounds -61 >= -103 @ 0.02322
0.00/0.05 c bounds -61 >= -102 @ 0.023377
0.00/0.05 c bounds -61 >= -101 @ 0.023535
0.00/0.05 c bounds -61 >= -100 @ 0.023714
0.00/0.05 c bounds -61 >= -99 @ 0.023894
0.00/0.05 c bounds -61 >= -98 @ 0.024227
0.00/0.05 c bounds -61 >= -97 @ 0.024529
0.00/0.05 c bounds -62 >= -97 @ 0.025387
0.00/0.05 c bounds -62 >= -96 @ 0.025679
0.00/0.06 c bounds -62 >= -95 @ 0.025966
0.00/0.06 c bounds -62 >= -94 @ 0.026323
0.00/0.07 c bounds -62 >= -93 @ 0.036233
0.00/0.07 c bounds -62 >= -92 @ 0.036663
0.00/0.07 c bounds -63 >= -92 @ 0.037681
0.00/0.07 c bounds -63 >= -91 @ 0.03801
0.00/0.07 c bounds -63 >= -90 @ 0.039028
0.00/0.07 c bounds -64 >= -90 @ 0.040437
0.00/0.07 c bounds -64 >= -89 @ 0.041429
0.00/0.08 c bounds -64 >= -88 @ 0.044156
0.00/0.08 c bounds -65 >= -88 @ 0.049933
0.00/0.08 c bounds -65 >= -87 @ 0.05058
0.00/0.09 c bounds -65 >= -86 @ 0.056784
0.00/0.09 c bounds -66 >= -86 @ 0.058032
0.00/0.09 c bounds -67 >= -86 @ 0.058716
0.00/0.09 c bounds -68 >= -86 @ 0.059424
0.00/0.10 c bounds -69 >= -86 @ 0.062012
0.00/0.10 c bounds -70 >= -86 @ 0.06299
0.07/0.11 c bounds -71 >= -86 @ 0.07292
0.07/0.16 c #Conflicts: 1000 | #Constraints: 2388
0.07/0.16 c bounds -71 >= -85 @ 0.122327
0.07/0.16 c bounds -72 >= -85 @ 0.12276
0.28/0.35 c #Conflicts: 2000 | #Constraints: 3448
0.28/0.35 c INPROCESSING
0.28/0.35 c GARBAGE COLLECT
0.28/0.35 c rational objective -85
0.37/0.49 c #Conflicts: 3000 | #Constraints: 3210
0.37/0.49 c bounds -72 >= -84 @ 0.435514
0.48/0.54 c bounds -73 >= -84 @ 0.481178
0.57/0.64 c #Conflicts: 4000 | #Constraints: 4256
0.57/0.64 c INPROCESSING
0.57/0.64 c GARBAGE COLLECT
0.57/0.64 c rational objective -84
0.57/0.66 c bounds -74 >= -84 @ 0.602246
0.97/1.09 c #Conflicts: 5000 | #Constraints: 3605
0.97/1.09 c #Conflicts: 6000 | #Constraints: 4649
0.97/1.09 c INPROCESSING
0.97/1.09 c GARBAGE COLLECT
0.97/1.09 c rational objective -84
1.46/1.50 c #Conflicts: 7000 | #Constraints: 3602
1.46/1.50 c #Conflicts: 8000 | #Constraints: 4602
1.46/1.50 c #Conflicts: 9000 | #Constraints: 5602
1.46/1.50 c INPROCESSING
1.46/1.50 c GARBAGE COLLECT
1.46/1.50 c rational objective -84
1.46/1.53 c bounds -75 >= -84 @ 1.43655
1.46/1.58 c bounds -76 >= -84 @ 1.4837
1.97/2.07 c #Conflicts: 10000 | #Constraints: 4284
1.97/2.07 c #Conflicts: 11000 | #Constraints: 5304
1.97/2.07 c #Conflicts: 12000 | #Constraints: 6328
1.97/2.07 c INPROCESSING
1.97/2.07 c GARBAGE COLLECT
1.97/2.07 c rational objective -84
2.26/2.35 c #Conflicts: 13000 | #Constraints: 4710
2.26/2.35 c bounds -76 >= -83 @ 2.22762
2.46/2.59 c #Conflicts: 14000 | #Constraints: 5758
2.46/2.59 c #Conflicts: 15000 | #Constraints: 6758
2.46/2.59 c INPROCESSING
2.46/2.59 c GARBAGE COLLECT
2.46/2.59 c rational objective -83
2.66/2.71 c bounds -77 >= -83 @ 2.57643
3.16/3.27 c #Conflicts: 16000 | #Constraints: 4987
3.16/3.27 c #Conflicts: 17000 | #Constraints: 6049
3.16/3.27 c #Conflicts: 18000 | #Constraints: 7108
3.16/3.27 c INPROCESSING
3.16/3.27 c GARBAGE COLLECT
3.16/3.27 c rational objective -83
3.86/3.94 c #Conflicts: 19000 | #Constraints: 5034
3.86/3.94 c #Conflicts: 20000 | #Constraints: 6034
3.86/3.94 c #Conflicts: 21000 | #Constraints: 7034
3.86/3.94 c INPROCESSING
3.86/3.94 c GARBAGE COLLECT
3.86/3.94 c rational objective -83
4.06/4.17 c #Conflicts: 22000 | #Constraints: 4819
4.06/4.17 c bounds -78 >= -83 @ 3.99329
4.56/4.63 c #Conflicts: 23000 | #Constraints: 5860
4.56/4.63 c #Conflicts: 24000 | #Constraints: 6924
4.56/4.63 c #Conflicts: 25000 | #Constraints: 7993
4.56/4.63 c INPROCESSING
4.56/4.63 c GARBAGE COLLECT
4.56/4.63 c rational objective -83
5.35/5.45 c #Conflicts: 26000 | #Constraints: 5475
5.35/5.45 c #Conflicts: 27000 | #Constraints: 6475
5.35/5.45 c #Conflicts: 28000 | #Constraints: 7475
5.35/5.45 c #Conflicts: 29000 | #Constraints: 8475
5.35/5.45 c INPROCESSING
5.35/5.45 c GARBAGE COLLECT
5.35/5.45 c rational objective -83
6.25/6.33 c #Conflicts: 30000 | #Constraints: 5853
6.25/6.33 c #Conflicts: 31000 | #Constraints: 6906
6.25/6.33 c #Conflicts: 32000 | #Constraints: 7967
6.25/6.33 c #Conflicts: 33000 | #Constraints: 9028
6.25/6.33 c INPROCESSING
6.25/6.33 c GARBAGE COLLECT
6.25/6.33 c rational objective -83
7.25/7.35 c #Conflicts: 34000 | #Constraints: 6089
7.25/7.35 c #Conflicts: 35000 | #Constraints: 7089
7.25/7.35 c #Conflicts: 36000 | #Constraints: 8089
7.25/7.35 c #Conflicts: 37000 | #Constraints: 9089
7.25/7.35 c INPROCESSING
7.25/7.35 c GARBAGE COLLECT
7.25/7.35 c rational objective -83
8.05/8.16 c #Conflicts: 38000 | #Constraints: 6078
8.05/8.16 c #Conflicts: 39000 | #Constraints: 7137
8.05/8.16 c #Conflicts: 40000 | #Constraints: 8194
8.05/8.16 c #Conflicts: 41000 | #Constraints: 9248
8.05/8.16 c INPROCESSING
8.05/8.16 c GARBAGE COLLECT
8.05/8.16 c rational objective -83
9.05/9.11 c #Conflicts: 42000 | #Constraints: 5930
9.05/9.11 c #Conflicts: 43000 | #Constraints: 6991
9.05/9.11 c #Conflicts: 44000 | #Constraints: 8030
9.05/9.11 c #Conflicts: 45000 | #Constraints: 9066
9.05/9.11 c #Conflicts: 46000 | #Constraints: 10106
9.05/9.11 c INPROCESSING
9.05/9.11 c GARBAGE COLLECT
9.05/9.11 c rational objective -83
9.54/9.66 c #Conflicts: 47000 | #Constraints: 6537
9.54/9.66 c #Conflicts: 48000 | #Constraints: 7537
9.54/9.66 c bounds -78 >= -82 @ 9.32847
10.15/10.29 c #Conflicts: 49000 | #Constraints: 8573
10.15/10.29 c #Conflicts: 50000 | #Constraints: 9573
10.15/10.29 c #Conflicts: 51000 | #Constraints: 10573
10.15/10.29 c INPROCESSING
10.15/10.29 c GARBAGE COLLECT
10.15/10.29 c rational objective -82
11.14/11.29 c #Conflicts: 52000 | #Constraints: 6953
11.14/11.29 c #Conflicts: 53000 | #Constraints: 7997
11.14/11.29 c #Conflicts: 54000 | #Constraints: 9053
11.14/11.29 c #Conflicts: 55000 | #Constraints: 10097
11.14/11.29 c #Conflicts: 56000 | #Constraints: 11154
11.14/11.29 c INPROCESSING
11.14/11.29 c GARBAGE COLLECT
11.14/11.29 c rational objective -82
12.44/12.58 c #Conflicts: 57000 | #Constraints: 7163
12.44/12.58 c #Conflicts: 58000 | #Constraints: 8163
12.44/12.58 c #Conflicts: 59000 | #Constraints: 9163
12.44/12.58 c #Conflicts: 60000 | #Constraints: 10163
12.44/12.58 c #Conflicts: 61000 | #Constraints: 11163
12.44/12.58 c INPROCESSING
12.44/12.58 c GARBAGE COLLECT
12.44/12.58 c rational objective -82
13.54/13.64 c #Conflicts: 62000 | #Constraints: 7112
13.54/13.64 c #Conflicts: 63000 | #Constraints: 8128
13.54/13.64 c #Conflicts: 64000 | #Constraints: 9156
13.54/13.64 c #Conflicts: 65000 | #Constraints: 10215
13.54/13.64 c #Conflicts: 66000 | #Constraints: 11276
13.54/13.64 c INPROCESSING
13.54/13.64 c GARBAGE COLLECT
13.54/13.64 c rational objective -82
14.93/15.07 c #Conflicts: 67000 | #Constraints: 6945
14.93/15.07 c #Conflicts: 68000 | #Constraints: 7945
14.93/15.07 c #Conflicts: 69000 | #Constraints: 8945
14.93/15.07 c #Conflicts: 70000 | #Constraints: 9945
14.93/15.07 c #Conflicts: 71000 | #Constraints: 10945
14.93/15.07 c #Conflicts: 72000 | #Constraints: 11945
14.93/15.07 c INPROCESSING
14.93/15.07 c GARBAGE COLLECT
14.93/15.07 c rational objective -82
16.32/16.46 c #Conflicts: 73000 | #Constraints: 7539
16.32/16.46 c #Conflicts: 74000 | #Constraints: 8621
16.32/16.46 c #Conflicts: 75000 | #Constraints: 9697
16.32/16.46 c #Conflicts: 76000 | #Constraints: 10766
16.32/16.46 c #Conflicts: 77000 | #Constraints: 11832
16.32/16.46 c #Conflicts: 78000 | #Constraints: 12880
16.32/16.46 c INPROCESSING
16.32/16.46 c GARBAGE COLLECT
16.32/16.46 c rational objective -82
17.52/17.62 c #Conflicts: 79000 | #Constraints: 8067
17.52/17.62 c #Conflicts: 80000 | #Constraints: 9096
17.52/17.62 c #Conflicts: 81000 | #Constraints: 10158
17.52/17.62 c #Conflicts: 82000 | #Constraints: 11200
17.52/17.62 c #Conflicts: 83000 | #Constraints: 12251
17.52/17.62 c #Conflicts: 84000 | #Constraints: 13305
17.52/17.62 c INPROCESSING
17.52/17.62 c GARBAGE COLLECT
17.52/17.62 c rational objective -82
19.22/19.30 c #Conflicts: 85000 | #Constraints: 8243
19.22/19.30 c #Conflicts: 86000 | #Constraints: 9243
19.22/19.30 c #Conflicts: 87000 | #Constraints: 10243
19.22/19.30 c #Conflicts: 88000 | #Constraints: 11243
19.22/19.30 c #Conflicts: 89000 | #Constraints: 12243
19.22/19.30 c #Conflicts: 90000 | #Constraints: 13243
19.22/19.30 c INPROCESSING
19.22/19.30 c GARBAGE COLLECT
19.22/19.30 c rational objective -82
20.62/20.77 c #Conflicts: 91000 | #Constraints: 8148
20.62/20.77 c #Conflicts: 92000 | #Constraints: 9161
20.62/20.77 c #Conflicts: 93000 | #Constraints: 10185
20.62/20.77 c #Conflicts: 94000 | #Constraints: 11208
20.62/20.77 c #Conflicts: 95000 | #Constraints: 12229
20.62/20.77 c #Conflicts: 96000 | #Constraints: 13269
20.62/20.77 c INPROCESSING
20.62/20.77 c GARBAGE COLLECT
20.62/20.77 c rational objective -82
22.41/22.57 c #Conflicts: 97000 | #Constraints: 7943
22.41/22.57 c #Conflicts: 98000 | #Constraints: 8943
22.41/22.57 c #Conflicts: 99000 | #Constraints: 9943
22.41/22.57 c #Conflicts: 100000 | #Constraints: 10943
22.41/22.57 c #Conflicts: 101000 | #Constraints: 11943
22.41/22.57 c #Conflicts: 102000 | #Constraints: 12943
22.41/22.57 c #Conflicts: 103000 | #Constraints: 13943
22.41/22.57 c INPROCESSING
22.41/22.57 c GARBAGE COLLECT
22.41/22.57 c rational objective -82
23.80/24.00 c #Conflicts: 104000 | #Constraints: 8522
23.80/24.00 c #Conflicts: 105000 | #Constraints: 9598
23.80/24.00 c #Conflicts: 106000 | #Constraints: 10676
23.80/24.00 c #Conflicts: 107000 | #Constraints: 11736
23.80/24.00 c #Conflicts: 108000 | #Constraints: 12796
23.80/24.00 c #Conflicts: 109000 | #Constraints: 13846
23.80/24.00 c #Conflicts: 110000 | #Constraints: 14892
23.80/24.00 c INPROCESSING
23.80/24.00 c GARBAGE COLLECT
23.80/24.00 c rational objective -82
25.90/26.10 c #Conflicts: 111000 | #Constraints: 9044
25.90/26.10 c #Conflicts: 112000 | #Constraints: 10044
25.90/26.10 c #Conflicts: 113000 | #Constraints: 11044
25.90/26.10 c #Conflicts: 114000 | #Constraints: 12044
25.90/26.10 c #Conflicts: 115000 | #Constraints: 13044
25.90/26.10 c #Conflicts: 116000 | #Constraints: 14044
25.90/26.10 c #Conflicts: 117000 | #Constraints: 15044
25.90/26.10 c INPROCESSING
25.90/26.10 c GARBAGE COLLECT
25.90/26.10 c rational objective -82
27.60/27.72 c #Conflicts: 118000 | #Constraints: 9162
27.60/27.72 c #Conflicts: 119000 | #Constraints: 10190
27.60/27.72 c #Conflicts: 120000 | #Constraints: 11224
27.60/27.72 c #Conflicts: 121000 | #Constraints: 12252
27.60/27.72 c #Conflicts: 122000 | #Constraints: 13279
27.60/27.72 c #Conflicts: 123000 | #Constraints: 14308
27.60/27.72 c #Conflicts: 124000 | #Constraints: 15338
27.60/27.72 c INPROCESSING
27.60/27.72 c GARBAGE COLLECT
27.60/27.72 c rational objective -82
29.29/29.41 c #Conflicts: 125000 | #Constraints: 9180
29.29/29.41 c #Conflicts: 126000 | #Constraints: 10208
29.29/29.41 c #Conflicts: 127000 | #Constraints: 11237
29.29/29.41 c #Conflicts: 128000 | #Constraints: 12280
29.29/29.41 c #Conflicts: 129000 | #Constraints: 13312
29.29/29.41 c #Conflicts: 130000 | #Constraints: 14343
29.29/29.41 c #Conflicts: 131000 | #Constraints: 15374
29.29/29.41 c INPROCESSING
29.29/29.41 c GARBAGE COLLECT
29.29/29.41 c rational objective -82
31.58/31.79 c #Conflicts: 132000 | #Constraints: 8989
31.58/31.79 c #Conflicts: 133000 | #Constraints: 9989
31.58/31.79 c #Conflicts: 134000 | #Constraints: 10989
31.58/31.79 c #Conflicts: 135000 | #Constraints: 11989
31.58/31.79 c #Conflicts: 136000 | #Constraints: 12989
31.58/31.79 c #Conflicts: 137000 | #Constraints: 13989
31.58/31.79 c #Conflicts: 138000 | #Constraints: 14989
31.58/31.79 c #Conflicts: 139000 | #Constraints: 15989
31.58/31.79 c INPROCESSING
31.58/31.79 c GARBAGE COLLECT
31.58/31.79 c rational objective -82
33.78/33.99 c #Conflicts: 140000 | #Constraints: 9517
33.78/33.99 c #Conflicts: 141000 | #Constraints: 10538
33.78/33.99 c #Conflicts: 142000 | #Constraints: 11555
33.78/33.99 c #Conflicts: 143000 | #Constraints: 12579
33.78/33.99 c #Conflicts: 144000 | #Constraints: 13600
33.78/33.99 c #Conflicts: 145000 | #Constraints: 14618
33.78/33.99 c #Conflicts: 146000 | #Constraints: 15638
33.78/33.99 c #Conflicts: 147000 | #Constraints: 16648
33.78/33.99 c INPROCESSING
33.78/33.99 c GARBAGE COLLECT
33.78/33.99 c rational objective -82
36.37/36.56 c #Conflicts: 148000 | #Constraints: 9921
36.37/36.56 c #Conflicts: 149000 | #Constraints: 10921
36.37/36.56 c #Conflicts: 150000 | #Constraints: 11921
36.37/36.56 c #Conflicts: 151000 | #Constraints: 12921
36.37/36.56 c #Conflicts: 152000 | #Constraints: 13921
36.37/36.56 c #Conflicts: 153000 | #Constraints: 14921
36.37/36.56 c #Conflicts: 154000 | #Constraints: 15921
36.37/36.56 c #Conflicts: 155000 | #Constraints: 16921
36.37/36.56 c INPROCESSING
36.37/36.56 c GARBAGE COLLECT
36.37/36.56 c rational objective -82
38.66/38.87 c #Conflicts: 156000 | #Constraints: 10081
38.66/38.87 c #Conflicts: 157000 | #Constraints: 11111
38.66/38.87 c #Conflicts: 158000 | #Constraints: 12148
38.66/38.87 c #Conflicts: 159000 | #Constraints: 13160
38.66/38.87 c #Conflicts: 160000 | #Constraints: 14182
38.66/38.87 c #Conflicts: 161000 | #Constraints: 15205
38.66/38.87 c #Conflicts: 162000 | #Constraints: 16218
38.66/38.87 c #Conflicts: 163000 | #Constraints: 17236
38.66/38.87 c INPROCESSING
38.66/38.87 c GARBAGE COLLECT
38.66/38.87 c rational objective -82
41.46/41.65 c #Conflicts: 164000 | #Constraints: 10113
41.46/41.65 c #Conflicts: 165000 | #Constraints: 11113
41.46/41.65 c #Conflicts: 166000 | #Constraints: 12113
41.46/41.65 c #Conflicts: 167000 | #Constraints: 13113
41.46/41.65 c #Conflicts: 168000 | #Constraints: 14113
41.46/41.65 c #Conflicts: 169000 | #Constraints: 15113
41.46/41.65 c #Conflicts: 170000 | #Constraints: 16113
41.46/41.65 c #Conflicts: 171000 | #Constraints: 17113
41.46/41.65 c INPROCESSING
41.46/41.65 c GARBAGE COLLECT
41.46/41.65 c rational objective -82
44.35/44.53 c #Conflicts: 172000 | #Constraints: 9879
44.35/44.53 c #Conflicts: 173000 | #Constraints: 10879
44.35/44.53 c #Conflicts: 174000 | #Constraints: 11879
44.35/44.53 c #Conflicts: 175000 | #Constraints: 12879
44.35/44.53 c #Conflicts: 176000 | #Constraints: 13879
44.35/44.53 c #Conflicts: 177000 | #Constraints: 14879
44.35/44.53 c #Conflicts: 178000 | #Constraints: 15879
44.35/44.53 c #Conflicts: 179000 | #Constraints: 16879
44.35/44.53 c #Conflicts: 180000 | #Constraints: 17879
44.35/44.53 c INPROCESSING
44.35/44.53 c GARBAGE COLLECT
44.35/44.53 c rational objective -82
46.75/46.94 c #Conflicts: 181000 | #Constraints: 10466
46.75/46.94 c #Conflicts: 182000 | #Constraints: 11495
46.75/46.94 c #Conflicts: 183000 | #Constraints: 12523
46.75/46.94 c #Conflicts: 184000 | #Constraints: 13537
46.75/46.94 c #Conflicts: 185000 | #Constraints: 14572
46.75/46.94 c #Conflicts: 186000 | #Constraints: 15608
46.75/46.94 c #Conflicts: 187000 | #Constraints: 16641
46.75/46.94 c #Conflicts: 188000 | #Constraints: 17671
46.75/46.94 c #Conflicts: 189000 | #Constraints: 18695
46.75/46.94 c INPROCESSING
46.75/46.94 c GARBAGE COLLECT
46.75/46.94 c rational objective -82
50.03/50.29 c #Conflicts: 190000 | #Constraints: 10922
50.03/50.29 c #Conflicts: 191000 | #Constraints: 11922
50.03/50.29 c #Conflicts: 192000 | #Constraints: 12922
50.03/50.29 c #Conflicts: 193000 | #Constraints: 13922
50.03/50.29 c #Conflicts: 194000 | #Constraints: 14922
50.03/50.29 c #Conflicts: 195000 | #Constraints: 15922
50.03/50.29 c #Conflicts: 196000 | #Constraints: 16922
50.03/50.29 c #Conflicts: 197000 | #Constraints: 17922
50.03/50.29 c #Conflicts: 198000 | #Constraints: 18922
50.03/50.29 c INPROCESSING
50.03/50.29 c GARBAGE COLLECT
50.03/50.29 c rational objective -82
52.53/52.76 c #Conflicts: 199000 | #Constraints: 11098
52.53/52.76 c #Conflicts: 200000 | #Constraints: 12122
52.53/52.76 c #Conflicts: 201000 | #Constraints: 13141
52.53/52.76 c #Conflicts: 202000 | #Constraints: 14194
52.53/52.76 c #Conflicts: 203000 | #Constraints: 15241
52.53/52.76 c #Conflicts: 204000 | #Constraints: 16284
52.53/52.76 c #Conflicts: 205000 | #Constraints: 17337
52.53/52.76 c #Conflicts: 206000 | #Constraints: 18385
52.53/52.76 c #Conflicts: 207000 | #Constraints: 19431
52.53/52.76 c INPROCESSING
52.53/52.76 c GARBAGE COLLECT
52.53/52.76 c rational objective -82
54.73/54.98 c #Conflicts: 208000 | #Constraints: 11246
54.73/54.98 c #Conflicts: 209000 | #Constraints: 12291
54.73/54.98 c #Conflicts: 210000 | #Constraints: 13337
54.73/54.98 c #Conflicts: 211000 | #Constraints: 14396
54.73/54.98 c #Conflicts: 212000 | #Constraints: 15458
54.73/54.98 c #Conflicts: 213000 | #Constraints: 16509
54.73/54.98 c #Conflicts: 214000 | #Constraints: 17560
54.73/54.98 c #Conflicts: 215000 | #Constraints: 18609
54.73/54.98 c #Conflicts: 216000 | #Constraints: 19645
54.73/54.98 c INPROCESSING
54.73/54.98 c GARBAGE COLLECT
54.73/54.98 c rational objective -82
58.42/58.64 c #Conflicts: 217000 | #Constraints: 11141
58.42/58.64 c #Conflicts: 218000 | #Constraints: 12141
58.42/58.64 c #Conflicts: 219000 | #Constraints: 13141
58.42/58.64 c #Conflicts: 220000 | #Constraints: 14141
58.42/58.64 c #Conflicts: 221000 | #Constraints: 15141
58.42/58.64 c #Conflicts: 222000 | #Constraints: 16141
58.42/58.64 c #Conflicts: 223000 | #Constraints: 17141
58.42/58.64 c #Conflicts: 224000 | #Constraints: 18141
58.42/58.64 c #Conflicts: 225000 | #Constraints: 19141
58.42/58.64 c #Conflicts: 226000 | #Constraints: 20141
58.42/58.64 c INPROCESSING
58.42/58.64 c GARBAGE COLLECT
58.42/58.64 c rational objective -82
60.81/61.05 c #Conflicts: 227000 | #Constraints: 11626
60.81/61.05 c #Conflicts: 228000 | #Constraints: 12690
60.81/61.05 c #Conflicts: 229000 | #Constraints: 13736
60.81/61.05 c #Conflicts: 230000 | #Constraints: 14771
60.81/61.05 c #Conflicts: 231000 | #Constraints: 15829
60.81/61.05 c #Conflicts: 232000 | #Constraints: 16898
60.81/61.05 c #Conflicts: 233000 | #Constraints: 17948
60.81/61.05 c #Conflicts: 234000 | #Constraints: 19006
60.81/61.05 c #Conflicts: 235000 | #Constraints: 20051
60.81/61.05 c #Conflicts: 236000 | #Constraints: 21099
60.81/61.05 c INPROCESSING
60.81/61.05 c GARBAGE COLLECT
60.81/61.05 c rational objective -82
64.80/65.05 c #Conflicts: 237000 | #Constraints: 12148
64.80/65.05 c #Conflicts: 238000 | #Constraints: 13148
64.80/65.05 c #Conflicts: 239000 | #Constraints: 14148
64.80/65.05 c #Conflicts: 240000 | #Constraints: 15148
64.80/65.05 c #Conflicts: 241000 | #Constraints: 16148
64.80/65.05 c #Conflicts: 242000 | #Constraints: 17148
64.80/65.05 c #Conflicts: 243000 | #Constraints: 18148
64.80/65.05 c #Conflicts: 244000 | #Constraints: 19148
64.80/65.05 c #Conflicts: 245000 | #Constraints: 20148
64.80/65.05 c #Conflicts: 246000 | #Constraints: 21148
64.80/65.05 c INPROCESSING
64.80/65.05 c GARBAGE COLLECT
64.80/65.05 c rational objective -82
67.69/68.00 c #Conflicts: 247000 | #Constraints: 12237
67.69/68.00 c #Conflicts: 248000 | #Constraints: 13268
67.69/68.00 c #Conflicts: 249000 | #Constraints: 14290
67.69/68.00 c #Conflicts: 250000 | #Constraints: 15320
67.69/68.00 c #Conflicts: 251000 | #Constraints: 16370
67.69/68.00 c #Conflicts: 252000 | #Constraints: 17397
67.69/68.00 c #Conflicts: 253000 | #Constraints: 18440
67.69/68.00 c #Conflicts: 254000 | #Constraints: 19503
67.69/68.00 c #Conflicts: 255000 | #Constraints: 20559
67.69/68.00 c #Conflicts: 256000 | #Constraints: 21615
67.69/68.00 c INPROCESSING
67.69/68.00 c GARBAGE COLLECT
67.69/68.00 c rational objective -82
70.29/70.55 c #Conflicts: 257000 | #Constraints: 12355
70.29/70.55 c #Conflicts: 258000 | #Constraints: 13401
70.29/70.55 c #Conflicts: 259000 | #Constraints: 14461
70.29/70.55 c #Conflicts: 260000 | #Constraints: 15508
70.29/70.55 c #Conflicts: 261000 | #Constraints: 16549
70.29/70.55 c #Conflicts: 262000 | #Constraints: 17606
70.29/70.55 c #Conflicts: 263000 | #Constraints: 18652
70.29/70.55 c #Conflicts: 264000 | #Constraints: 19696
70.29/70.55 c #Conflicts: 265000 | #Constraints: 20740
70.29/70.55 c #Conflicts: 266000 | #Constraints: 21793
70.29/70.55 c INPROCESSING
70.29/70.55 c GARBAGE COLLECT
70.29/70.55 c rational objective -82
74.67/74.98 c #Conflicts: 267000 | #Constraints: 12216
74.67/74.98 c #Conflicts: 268000 | #Constraints: 13216
74.67/74.98 c #Conflicts: 269000 | #Constraints: 14216
74.67/74.98 c #Conflicts: 270000 | #Constraints: 15216
74.67/74.98 c #Conflicts: 271000 | #Constraints: 16216
74.67/74.98 c #Conflicts: 272000 | #Constraints: 17216
74.67/74.98 c #Conflicts: 273000 | #Constraints: 18216
74.67/74.98 c #Conflicts: 274000 | #Constraints: 19216
74.67/74.98 c #Conflicts: 275000 | #Constraints: 20216
74.67/74.98 c #Conflicts: 276000 | #Constraints: 21216
74.67/74.98 c #Conflicts: 277000 | #Constraints: 22216
74.67/74.98 c INPROCESSING
74.67/74.98 c GARBAGE COLLECT
74.67/74.98 c rational objective -82
77.96/78.23 c #Conflicts: 278000 | #Constraints: 12638
77.96/78.23 c #Conflicts: 279000 | #Constraints: 13650
77.96/78.23 c #Conflicts: 280000 | #Constraints: 14668
77.96/78.23 c #Conflicts: 281000 | #Constraints: 15696
77.96/78.23 c #Conflicts: 282000 | #Constraints: 16717
77.96/78.23 c #Conflicts: 283000 | #Constraints: 17735
77.96/78.23 c #Conflicts: 284000 | #Constraints: 18761
77.96/78.23 c #Conflicts: 285000 | #Constraints: 19772
77.96/78.23 c #Conflicts: 286000 | #Constraints: 20798
77.96/78.23 c #Conflicts: 287000 | #Constraints: 21824
77.96/78.23 c #Conflicts: 288000 | #Constraints: 22839
77.96/78.23 c INPROCESSING
77.96/78.23 c GARBAGE COLLECT
77.96/78.23 c rational objective -82
78.86/79.10 c #Conflicts: 289000 | #Constraints: 13012
78.86/79.10 c #Conflicts: 290000 | #Constraints: 14012
78.86/79.10 c bounds -78 >= -81 @ 76.9404
82.55/82.81 c #Conflicts: 291000 | #Constraints: 15051
82.55/82.81 c #Conflicts: 292000 | #Constraints: 16051
82.55/82.81 c #Conflicts: 293000 | #Constraints: 17051
82.55/82.81 c #Conflicts: 294000 | #Constraints: 18051
82.55/82.81 c #Conflicts: 295000 | #Constraints: 19051
82.55/82.81 c #Conflicts: 296000 | #Constraints: 20051
82.55/82.81 c #Conflicts: 297000 | #Constraints: 21051
82.55/82.81 c #Conflicts: 298000 | #Constraints: 22051
82.55/82.81 c #Conflicts: 299000 | #Constraints: 23051
82.55/82.81 c INPROCESSING
82.55/82.81 c GARBAGE COLLECT
82.55/82.81 c rational objective -81
83.34/83.61 c #Conflicts: 300000 | #Constraints: 13176
83.34/83.61 c #Conflicts: 301000 | #Constraints: 14210
83.34/83.61 c #Conflicts: 302000 | #Constraints: 15247
83.34/83.61 c bounds -79 >= -81 @ 81.3597
85.64/85.97 c #Conflicts: 303000 | #Constraints: 16304
85.64/85.97 c #Conflicts: 304000 | #Constraints: 17345
85.64/85.97 c #Conflicts: 305000 | #Constraints: 18418
85.64/85.97 c #Conflicts: 306000 | #Constraints: 19475
85.64/85.97 c #Conflicts: 307000 | #Constraints: 20520
85.64/85.97 c #Conflicts: 308000 | #Constraints: 21567
85.64/85.97 c #Conflicts: 309000 | #Constraints: 22605
85.64/85.97 c #Conflicts: 310000 | #Constraints: 23654
85.64/85.97 c INPROCESSING
85.64/85.97 c GARBAGE COLLECT
85.64/85.97 c rational objective -81
90.53/90.88 c #Conflicts: 311000 | #Constraints: 13338
90.53/90.88 c #Conflicts: 312000 | #Constraints: 14338
90.53/90.88 c #Conflicts: 313000 | #Constraints: 15338
90.53/90.88 c #Conflicts: 314000 | #Constraints: 16338
90.53/90.88 c #Conflicts: 315000 | #Constraints: 17338
90.53/90.88 c #Conflicts: 316000 | #Constraints: 18338
90.53/90.88 c #Conflicts: 317000 | #Constraints: 19338
90.53/90.88 c #Conflicts: 318000 | #Constraints: 20338
90.53/90.88 c #Conflicts: 319000 | #Constraints: 21338
90.53/90.88 c #Conflicts: 320000 | #Constraints: 22338
90.53/90.88 c #Conflicts: 321000 | #Constraints: 23338
90.53/90.88 c INPROCESSING
90.53/90.88 c GARBAGE COLLECT
90.53/90.88 c rational objective -81
93.72/94.08 c #Conflicts: 322000 | #Constraints: 12998
93.72/94.08 c #Conflicts: 323000 | #Constraints: 14043
93.72/94.08 c #Conflicts: 324000 | #Constraints: 15089
93.72/94.08 c #Conflicts: 325000 | #Constraints: 16129
93.72/94.08 c #Conflicts: 326000 | #Constraints: 17174
93.72/94.08 c #Conflicts: 327000 | #Constraints: 18220
93.72/94.08 c #Conflicts: 328000 | #Constraints: 19266
93.72/94.08 c #Conflicts: 329000 | #Constraints: 20309
93.72/94.08 c #Conflicts: 330000 | #Constraints: 21356
93.72/94.08 c #Conflicts: 331000 | #Constraints: 22397
93.72/94.08 c #Conflicts: 332000 | #Constraints: 23434
93.72/94.08 c #Conflicts: 333000 | #Constraints: 24481
93.72/94.08 c INPROCESSING
93.72/94.08 c GARBAGE COLLECT
93.72/94.08 c rational objective -81
97.01/97.39 c #Conflicts: 334000 | #Constraints: 13802
97.01/97.39 c #Conflicts: 335000 | #Constraints: 14863
97.01/97.39 c #Conflicts: 336000 | #Constraints: 15899
97.01/97.39 c #Conflicts: 337000 | #Constraints: 16946
97.01/97.39 c #Conflicts: 338000 | #Constraints: 17974
97.01/97.39 c #Conflicts: 339000 | #Constraints: 19006
97.01/97.39 c #Conflicts: 340000 | #Constraints: 20060
97.01/97.39 c #Conflicts: 341000 | #Constraints: 21100
97.01/97.39 c #Conflicts: 342000 | #Constraints: 22150
97.01/97.39 c #Conflicts: 343000 | #Constraints: 23191
97.01/97.39 c #Conflicts: 344000 | #Constraints: 24236
97.01/97.39 c #Conflicts: 345000 | #Constraints: 25260
97.01/97.39 c INPROCESSING
97.01/97.39 c GARBAGE COLLECT
97.01/97.39 c rational objective -81
102.40/102.73 c #Conflicts: 346000 | #Constraints: 14241
102.40/102.73 c #Conflicts: 347000 | #Constraints: 15241
102.40/102.73 c #Conflicts: 348000 | #Constraints: 16241
102.40/102.73 c #Conflicts: 349000 | #Constraints: 17241
102.40/102.73 c #Conflicts: 350000 | #Constraints: 18241
102.40/102.73 c #Conflicts: 351000 | #Constraints: 19241
102.40/102.73 c #Conflicts: 352000 | #Constraints: 20241
102.40/102.73 c #Conflicts: 353000 | #Constraints: 21241
102.40/102.73 c #Conflicts: 354000 | #Constraints: 22241
102.40/102.73 c #Conflicts: 355000 | #Constraints: 23241
102.40/102.73 c #Conflicts: 356000 | #Constraints: 24241
102.40/102.73 c #Conflicts: 357000 | #Constraints: 25241
102.40/102.73 c INPROCESSING
102.40/102.73 c GARBAGE COLLECT
102.40/102.73 c rational objective -81
105.39/105.74 c #Conflicts: 358000 | #Constraints: 14305
105.39/105.74 c #Conflicts: 359000 | #Constraints: 15370
105.39/105.74 c #Conflicts: 360000 | #Constraints: 16440
105.39/105.74 c #Conflicts: 361000 | #Constraints: 17483
105.39/105.74 c #Conflicts: 362000 | #Constraints: 18522
105.39/105.74 c #Conflicts: 363000 | #Constraints: 19567
105.39/105.74 c #Conflicts: 364000 | #Constraints: 20622
105.39/105.74 c #Conflicts: 365000 | #Constraints: 21680
105.39/105.74 c #Conflicts: 366000 | #Constraints: 22735
105.39/105.74 c #Conflicts: 367000 | #Constraints: 23789
105.39/105.74 c #Conflicts: 368000 | #Constraints: 24852
105.39/105.74 c #Conflicts: 369000 | #Constraints: 25909
105.39/105.74 c INPROCESSING
105.39/105.74 c GARBAGE COLLECT
105.39/105.74 c rational objective -81
111.07/111.44 c #Conflicts: 370000 | #Constraints: 14464
111.07/111.44 c #Conflicts: 371000 | #Constraints: 15464
111.07/111.44 c #Conflicts: 372000 | #Constraints: 16464
111.07/111.44 c #Conflicts: 373000 | #Constraints: 17464
111.07/111.44 c #Conflicts: 374000 | #Constraints: 18464
111.07/111.44 c #Conflicts: 375000 | #Constraints: 19464
111.07/111.44 c #Conflicts: 376000 | #Constraints: 20464
111.07/111.44 c #Conflicts: 377000 | #Constraints: 21464
111.07/111.44 c #Conflicts: 378000 | #Constraints: 22464
111.07/111.44 c #Conflicts: 379000 | #Constraints: 23464
111.07/111.44 c #Conflicts: 380000 | #Constraints: 24464
111.07/111.44 c #Conflicts: 381000 | #Constraints: 25464
111.07/111.44 c INPROCESSING
111.07/111.44 c GARBAGE COLLECT
111.07/111.44 c rational objective -81
114.87/115.23 c #Conflicts: 382000 | #Constraints: 14078
114.87/115.23 c #Conflicts: 383000 | #Constraints: 15109
114.87/115.23 c #Conflicts: 384000 | #Constraints: 16139
114.87/115.23 c #Conflicts: 385000 | #Constraints: 17184
114.87/115.23 c #Conflicts: 386000 | #Constraints: 18218
114.87/115.23 c #Conflicts: 387000 | #Constraints: 19251
114.87/115.23 c #Conflicts: 388000 | #Constraints: 20286
114.87/115.23 c #Conflicts: 389000 | #Constraints: 21320
114.87/115.23 c #Conflicts: 390000 | #Constraints: 22356
114.87/115.23 c #Conflicts: 391000 | #Constraints: 23390
114.87/115.23 c #Conflicts: 392000 | #Constraints: 24422
114.87/115.23 c #Conflicts: 393000 | #Constraints: 25447
114.87/115.23 c #Conflicts: 394000 | #Constraints: 26476
114.87/115.23 c INPROCESSING
114.87/115.23 c GARBAGE COLLECT
114.87/115.23 c rational objective -81
120.95/121.34 c #Conflicts: 395000 | #Constraints: 14754
120.95/121.34 c #Conflicts: 396000 | #Constraints: 15754
120.95/121.34 c #Conflicts: 397000 | #Constraints: 16754
120.95/121.34 c #Conflicts: 398000 | #Constraints: 17754
120.95/121.34 c #Conflicts: 399000 | #Constraints: 18754
120.95/121.34 c #Conflicts: 400000 | #Constraints: 19754
120.95/121.34 c #Conflicts: 401000 | #Constraints: 20754
120.95/121.34 c #Conflicts: 402000 | #Constraints: 21754
120.95/121.34 c #Conflicts: 403000 | #Constraints: 22754
120.95/121.34 c #Conflicts: 404000 | #Constraints: 23754
120.95/121.34 c #Conflicts: 405000 | #Constraints: 24754
120.95/121.34 c #Conflicts: 406000 | #Constraints: 25754
120.95/121.34 c #Conflicts: 407000 | #Constraints: 26754
120.95/121.34 c INPROCESSING
120.95/121.34 c GARBAGE COLLECT
120.95/121.34 c rational objective -81
123.95/124.39 c #Conflicts: 408000 | #Constraints: 15092
123.95/124.39 c #Conflicts: 409000 | #Constraints: 16142
123.95/124.39 c #Conflicts: 410000 | #Constraints: 17190
123.95/124.39 c #Conflicts: 411000 | #Constraints: 18228
123.95/124.39 c #Conflicts: 412000 | #Constraints: 19276
123.95/124.39 c #Conflicts: 413000 | #Constraints: 20324
123.95/124.39 c #Conflicts: 414000 | #Constraints: 21374
123.95/124.39 c #Conflicts: 415000 | #Constraints: 22432
123.95/124.39 c #Conflicts: 416000 | #Constraints: 23483
123.95/124.39 c #Conflicts: 417000 | #Constraints: 24520
123.95/124.39 c #Conflicts: 418000 | #Constraints: 25558
123.95/124.39 c #Conflicts: 419000 | #Constraints: 26598
123.95/124.39 c #Conflicts: 420000 | #Constraints: 27648
123.95/124.39 c INPROCESSING
123.95/124.39 c GARBAGE COLLECT
123.95/124.39 c rational objective -81
127.14/127.52 c #Conflicts: 421000 | #Constraints: 15460
127.14/127.52 c #Conflicts: 422000 | #Constraints: 16511
127.14/127.52 c #Conflicts: 423000 | #Constraints: 17554
127.14/127.52 c #Conflicts: 424000 | #Constraints: 18612
127.14/127.52 c #Conflicts: 425000 | #Constraints: 19678
127.14/127.52 c #Conflicts: 426000 | #Constraints: 20739
127.14/127.52 c #Conflicts: 427000 | #Constraints: 21787
127.14/127.52 c #Conflicts: 428000 | #Constraints: 22828
127.14/127.52 c #Conflicts: 429000 | #Constraints: 23874
127.14/127.52 c #Conflicts: 430000 | #Constraints: 24922
127.14/127.52 c #Conflicts: 431000 | #Constraints: 25970
127.14/127.52 c #Conflicts: 432000 | #Constraints: 27010
127.14/127.52 c #Conflicts: 433000 | #Constraints: 28051
127.14/127.52 c INPROCESSING
127.14/127.52 c GARBAGE COLLECT
127.14/127.52 c rational objective -81
133.42/133.80 c #Conflicts: 434000 | #Constraints: 15547
133.42/133.80 c #Conflicts: 435000 | #Constraints: 16547
133.42/133.80 c #Conflicts: 436000 | #Constraints: 17547
133.42/133.80 c #Conflicts: 437000 | #Constraints: 18547
133.42/133.80 c #Conflicts: 438000 | #Constraints: 19547
133.42/133.80 c #Conflicts: 439000 | #Constraints: 20547
133.42/133.80 c #Conflicts: 440000 | #Constraints: 21547
133.42/133.80 c #Conflicts: 441000 | #Constraints: 22547
133.42/133.80 c #Conflicts: 442000 | #Constraints: 23547
133.42/133.80 c #Conflicts: 443000 | #Constraints: 24547
133.42/133.80 c #Conflicts: 444000 | #Constraints: 25547
133.42/133.80 c #Conflicts: 445000 | #Constraints: 26547
133.42/133.80 c #Conflicts: 446000 | #Constraints: 27547
133.42/133.80 c INPROCESSING
133.42/133.80 c GARBAGE COLLECT
133.42/133.80 c rational objective -81
136.62/137.04 c #Conflicts: 447000 | #Constraints: 15119
136.62/137.04 c #Conflicts: 448000 | #Constraints: 16170
136.62/137.04 c #Conflicts: 449000 | #Constraints: 17216
136.62/137.04 c #Conflicts: 450000 | #Constraints: 18270
136.62/137.04 c #Conflicts: 451000 | #Constraints: 19308
136.62/137.04 c #Conflicts: 452000 | #Constraints: 20346
136.62/137.04 c #Conflicts: 453000 | #Constraints: 21387
136.62/137.04 c #Conflicts: 454000 | #Constraints: 22432
136.62/137.04 c #Conflicts: 455000 | #Constraints: 23472
136.62/137.04 c #Conflicts: 456000 | #Constraints: 24514
136.62/137.04 c #Conflicts: 457000 | #Constraints: 25547
136.62/137.04 c #Conflicts: 458000 | #Constraints: 26575
136.62/137.04 c #Conflicts: 459000 | #Constraints: 27610
136.62/137.04 c #Conflicts: 460000 | #Constraints: 28636
136.62/137.04 c INPROCESSING
136.62/137.04 c GARBAGE COLLECT
136.62/137.04 c rational objective -81
140.00/140.42 c #Conflicts: 461000 | #Constraints: 15882
140.00/140.42 c #Conflicts: 462000 | #Constraints: 16932
140.00/140.42 c #Conflicts: 463000 | #Constraints: 17987
140.00/140.42 c #Conflicts: 464000 | #Constraints: 19020
140.00/140.42 c #Conflicts: 465000 | #Constraints: 20052
140.00/140.42 c #Conflicts: 466000 | #Constraints: 21081
140.00/140.42 c #Conflicts: 467000 | #Constraints: 22125
140.00/140.42 c #Conflicts: 468000 | #Constraints: 23164
140.00/140.42 c #Conflicts: 469000 | #Constraints: 24188
140.00/140.42 c #Conflicts: 470000 | #Constraints: 25218
140.00/140.42 c #Conflicts: 471000 | #Constraints: 26259
140.00/140.42 c #Conflicts: 472000 | #Constraints: 27295
140.00/140.42 c #Conflicts: 473000 | #Constraints: 28338
140.00/140.42 c #Conflicts: 474000 | #Constraints: 29370
140.00/140.42 c INPROCESSING
140.00/140.42 c GARBAGE COLLECT
140.00/140.42 c rational objective -81
146.48/146.91 c #Conflicts: 475000 | #Constraints: 16289
146.48/146.91 c #Conflicts: 476000 | #Constraints: 17289
146.48/146.91 c #Conflicts: 477000 | #Constraints: 18289
146.48/146.91 c #Conflicts: 478000 | #Constraints: 19289
146.48/146.91 c #Conflicts: 479000 | #Constraints: 20289
146.48/146.91 c #Conflicts: 480000 | #Constraints: 21289
146.48/146.91 c #Conflicts: 481000 | #Constraints: 22289
146.48/146.91 c #Conflicts: 482000 | #Constraints: 23289
146.48/146.91 c #Conflicts: 483000 | #Constraints: 24289
146.48/146.91 c #Conflicts: 484000 | #Constraints: 25289
146.48/146.91 c #Conflicts: 485000 | #Constraints: 26289
146.48/146.91 c #Conflicts: 486000 | #Constraints: 27294
146.48/146.91 c #Conflicts: 487000 | #Constraints: 28295
146.48/146.91 c #Conflicts: 488000 | #Constraints: 29299
146.48/146.91 c INPROCESSING
146.48/146.91 c GARBAGE COLLECT
146.48/146.91 c rational objective -81
153.97/154.42 c #Conflicts: 489000 | #Constraints: 16322
153.97/154.42 c #Conflicts: 490000 | #Constraints: 17722
153.97/154.42 c #Conflicts: 491000 | #Constraints: 18888
153.97/154.42 c #Conflicts: 492000 | #Constraints: 20189
153.97/154.42 c #Conflicts: 493000 | #Constraints: 21301
153.97/154.42 c #Conflicts: 494000 | #Constraints: 22379
153.97/154.42 c #Conflicts: 495000 | #Constraints: 23528
153.97/154.42 c #Conflicts: 496000 | #Constraints: 24970
153.97/154.42 c #Conflicts: 497000 | #Constraints: 26158
153.97/154.42 c #Conflicts: 498000 | #Constraints: 27292
153.97/154.42 c #Conflicts: 499000 | #Constraints: 28450
153.97/154.42 c #Conflicts: 500000 | #Constraints: 29517
153.97/154.42 c #Conflicts: 501000 | #Constraints: 30707
153.97/154.42 c #Conflicts: 502000 | #Constraints: 31986
153.97/154.42 c INPROCESSING
153.97/154.42 c GARBAGE COLLECT
153.97/154.42 c rational objective -81
161.75/162.23 c #Conflicts: 503000 | #Constraints: 17578
161.75/162.23 c #Conflicts: 504000 | #Constraints: 18619
161.75/162.23 c #Conflicts: 505000 | #Constraints: 19621
161.75/162.23 c #Conflicts: 506000 | #Constraints: 20626
161.75/162.23 c #Conflicts: 507000 | #Constraints: 21633
161.75/162.23 c #Conflicts: 508000 | #Constraints: 22636
161.75/162.23 c #Conflicts: 509000 | #Constraints: 23642
161.75/162.23 c #Conflicts: 510000 | #Constraints: 24649
161.75/162.23 c #Conflicts: 511000 | #Constraints: 25652
161.75/162.23 c #Conflicts: 512000 | #Constraints: 26655
161.75/162.23 c #Conflicts: 513000 | #Constraints: 27660
161.75/162.23 c #Conflicts: 514000 | #Constraints: 28665
161.75/162.23 c #Conflicts: 515000 | #Constraints: 29676
161.75/162.23 c #Conflicts: 516000 | #Constraints: 30681
161.75/162.23 c INPROCESSING
161.75/162.23 c GARBAGE COLLECT
161.75/162.23 c rational objective -81
179.60/180.14 c #Conflicts: 517000 | #Constraints: 16725
179.60/180.14 c #Conflicts: 518000 | #Constraints: 18097
179.60/180.14 c #Conflicts: 519000 | #Constraints: 19470
179.60/180.14 c #Conflicts: 520000 | #Constraints: 20874
179.60/180.14 c #Conflicts: 521000 | #Constraints: 22307
179.60/180.14 c #Conflicts: 522000 | #Constraints: 23722
179.60/180.14 c #Conflicts: 523000 | #Constraints: 25118
179.60/180.14 c #Conflicts: 524000 | #Constraints: 26519
179.60/180.14 c #Conflicts: 525000 | #Constraints: 27906
179.60/180.14 c #Conflicts: 526000 | #Constraints: 29274
179.60/180.14 c #Conflicts: 527000 | #Constraints: 30702
179.60/180.14 c #Conflicts: 528000 | #Constraints: 32103
179.60/180.14 c #Conflicts: 529000 | #Constraints: 33483
179.60/180.14 c #Conflicts: 530000 | #Constraints: 34887
179.60/180.14 c #Conflicts: 531000 | #Constraints: 36319
179.60/180.14 c INPROCESSING
179.60/180.14 c GARBAGE COLLECT
179.60/180.14 c rational objective -81
188.77/189.37 c #Conflicts: 532000 | #Constraints: 19706
188.77/189.37 c #Conflicts: 533000 | #Constraints: 20706
188.77/189.37 c #Conflicts: 534000 | #Constraints: 21706
188.77/189.37 c #Conflicts: 535000 | #Constraints: 22706
188.77/189.37 c #Conflicts: 536000 | #Constraints: 23706
188.77/189.37 c #Conflicts: 537000 | #Constraints: 24706
188.77/189.37 c #Conflicts: 538000 | #Constraints: 25706
188.77/189.37 c #Conflicts: 539000 | #Constraints: 26706
188.77/189.37 c #Conflicts: 540000 | #Constraints: 27706
188.77/189.37 c #Conflicts: 541000 | #Constraints: 28706
188.77/189.37 c #Conflicts: 542000 | #Constraints: 29706
188.77/189.37 c #Conflicts: 543000 | #Constraints: 30706
188.77/189.37 c #Conflicts: 544000 | #Constraints: 31706
188.77/189.37 c #Conflicts: 545000 | #Constraints: 32706
188.77/189.37 c #Conflicts: 546000 | #Constraints: 33706
188.77/189.37 c INPROCESSING
188.77/189.37 c GARBAGE COLLECT
188.77/189.37 c rational objective -81
196.85/197.48 c #Conflicts: 547000 | #Constraints: 18510
196.85/197.48 c #Conflicts: 548000 | #Constraints: 19529
196.85/197.48 c #Conflicts: 549000 | #Constraints: 20532
196.85/197.48 c #Conflicts: 550000 | #Constraints: 21535
196.85/197.48 c #Conflicts: 551000 | #Constraints: 22536
196.85/197.48 c #Conflicts: 552000 | #Constraints: 23542
196.85/197.48 c #Conflicts: 553000 | #Constraints: 24548
196.85/197.48 c #Conflicts: 554000 | #Constraints: 25550
196.85/197.48 c #Conflicts: 555000 | #Constraints: 26555
196.85/197.48 c #Conflicts: 556000 | #Constraints: 27558
196.85/197.48 c #Conflicts: 557000 | #Constraints: 28559
196.85/197.48 c #Conflicts: 558000 | #Constraints: 29560
196.85/197.48 c #Conflicts: 559000 | #Constraints: 30562
196.85/197.48 c #Conflicts: 560000 | #Constraints: 31566
196.85/197.48 c #Conflicts: 561000 | #Constraints: 32579
196.85/197.48 c INPROCESSING
196.85/197.48 c GARBAGE COLLECT
196.85/197.48 c rational objective -81
327.79/328.73 c #Conflicts: 562000 | #Constraints: 18234
327.79/328.73 c #Conflicts: 563000 | #Constraints: 19575
327.79/328.73 c #Conflicts: 564000 | #Constraints: 20870
327.79/328.73 c #Conflicts: 565000 | #Constraints: 22172
327.79/328.73 c #Conflicts: 566000 | #Constraints: 23633
327.79/328.73 c #Conflicts: 567000 | #Constraints: 24980
327.79/328.73 c #Conflicts: 568000 | #Constraints: 26338
327.79/328.73 c #Conflicts: 569000 | #Constraints: 27565
327.79/328.73 c #Conflicts: 570000 | #Constraints: 28652
327.79/328.73 c #Conflicts: 571000 | #Constraints: 29846
327.79/328.73 c #Conflicts: 572000 | #Constraints: 31102
327.79/328.73 c #Conflicts: 573000 | #Constraints: 32443
327.79/328.73 c #Conflicts: 574000 | #Constraints: 33761
327.79/328.73 c #Conflicts: 575000 | #Constraints: 35055
327.79/328.73 c #Conflicts: 576000 | #Constraints: 36333
327.79/328.73 c INPROCESSING
327.79/328.73 c GARBAGE COLLECT
327.79/328.73 c #Conflicts: 577000 | #Constraints: 20061
327.79/328.73 c #Conflicts: 578000 | #Constraints: 21489
327.79/328.73 c #Conflicts: 579000 | #Constraints: 22883
327.79/328.73 c #Conflicts: 580000 | #Constraints: 24278
327.79/328.73 c #Conflicts: 581000 | #Constraints: 25657
327.79/328.73 c #Conflicts: 582000 | #Constraints: 27042
327.79/328.73 c #Conflicts: 583000 | #Constraints: 28437
327.79/328.73 c #Conflicts: 584000 | #Constraints: 29816
327.79/328.73 c #Conflicts: 585000 | #Constraints: 31229
327.79/328.73 c #Conflicts: 586000 | #Constraints: 32623
327.79/328.73 c #Conflicts: 587000 | #Constraints: 34015
327.79/328.73 c #Conflicts: 588000 | #Constraints: 35413
327.79/328.73 c #Conflicts: 589000 | #Constraints: 36789
327.79/328.73 c #Conflicts: 590000 | #Constraints: 38188
327.79/328.73 c #Conflicts: 591000 | #Constraints: 39592
327.79/328.73 c INPROCESSING
327.79/328.73 c GARBAGE COLLECT
327.79/328.73 c #Conflicts: 592000 | #Constraints: 21424
327.79/328.73 c #Conflicts: 593000 | #Constraints: 22866
327.79/328.73 c #Conflicts: 594000 | #Constraints: 24309
327.79/328.73 c #Conflicts: 595000 | #Constraints: 25756
327.79/328.73 c #Conflicts: 596000 | #Constraints: 27218
327.79/328.73 c #Conflicts: 597000 | #Constraints: 28672
327.79/328.73 c #Conflicts: 598000 | #Constraints: 30138
327.79/328.73 c #Conflicts: 599000 | #Constraints: 31589
327.79/328.73 c #Conflicts: 600000 | #Constraints: 33041
327.79/328.73 c #Conflicts: 601000 | #Constraints: 34498
327.79/328.73 c #Conflicts: 602000 | #Constraints: 35961
327.79/328.73 c #Conflicts: 603000 | #Constraints: 37432
327.79/328.73 c #Conflicts: 604000 | #Constraints: 38887
327.79/328.73 c #Conflicts: 605000 | #Constraints: 40315
327.79/328.73 c #Conflicts: 606000 | #Constraints: 41761
327.79/328.73 c #Conflicts: 607000 | #Constraints: 42994
327.79/328.73 c INPROCESSING
327.79/328.73 c GARBAGE COLLECT
327.79/328.73 c #Conflicts: 608000 | #Constraints: 23188
327.79/328.73 c #Conflicts: 609000 | #Constraints: 24319
327.79/328.73 c #Conflicts: 610000 | #Constraints: 25680
327.79/328.73 c #Conflicts: 611000 | #Constraints: 27154
327.79/328.73 c #Conflicts: 612000 | #Constraints: 28582
327.79/328.73 c #Conflicts: 613000 | #Constraints: 29990
327.79/328.73 c #Conflicts: 614000 | #Constraints: 31399
327.79/328.73 c #Conflicts: 615000 | #Constraints: 32886
327.79/328.73 c #Conflicts: 616000 | #Constraints: 34384
327.79/328.73 c #Conflicts: 617000 | #Constraints: 35806
327.79/328.73 c #Conflicts: 618000 | #Constraints: 37230
327.79/328.73 c #Conflicts: 619000 | #Constraints: 38641
327.79/328.73 c #Conflicts: 620000 | #Constraints: 40025
327.79/328.73 c #Conflicts: 621000 | #Constraints: 41433
327.79/328.73 c #Conflicts: 622000 | #Constraints: 42827
327.79/328.73 c #Conflicts: 623000 | #Constraints: 44270
327.79/328.73 c INPROCESSING
327.79/328.73 c GARBAGE COLLECT
327.79/328.73 c #Conflicts: 624000 | #Constraints: 24196
327.79/328.73 c #Conflicts: 625000 | #Constraints: 25642
327.79/328.73 c #Conflicts: 626000 | #Constraints: 27101
327.79/328.73 c #Conflicts: 627000 | #Constraints: 28535
327.79/328.73 c #Conflicts: 628000 | #Constraints: 29993
327.79/328.73 c #Conflicts: 629000 | #Constraints: 31464
327.79/328.73 c #Conflicts: 630000 | #Constraints: 32911
327.79/328.73 c #Conflicts: 631000 | #Constraints: 34228
327.79/328.73 c #Conflicts: 632000 | #Constraints: 35325
327.79/328.73 c #Conflicts: 633000 | #Constraints: 36449
327.79/328.73 c #Conflicts: 634000 | #Constraints: 37573
327.79/328.73 c #Conflicts: 635000 | #Constraints: 38802
327.79/328.73 c #Conflicts: 636000 | #Constraints: 40201
327.79/328.73 c #Conflicts: 637000 | #Constraints: 41456
327.79/328.73 c #Conflicts: 638000 | #Constraints: 42723
454.06/455.32 c #Conflicts: 639000 | #Constraints: 44063
454.06/455.32 c INPROCESSING
454.06/455.32 c GARBAGE COLLECT
454.06/455.32 c #Conflicts: 640000 | #Constraints: 24063
454.06/455.32 c #Conflicts: 641000 | #Constraints: 25442
454.06/455.32 c #Conflicts: 642000 | #Constraints: 26828
454.06/455.32 c #Conflicts: 643000 | #Constraints: 28245
454.06/455.32 c #Conflicts: 644000 | #Constraints: 29600
454.06/455.32 c #Conflicts: 645000 | #Constraints: 31027
454.06/455.32 c #Conflicts: 646000 | #Constraints: 32458
454.06/455.32 c #Conflicts: 647000 | #Constraints: 33875
454.06/455.32 c #Conflicts: 648000 | #Constraints: 35282
454.06/455.32 c #Conflicts: 649000 | #Constraints: 36717
454.06/455.32 c #Conflicts: 650000 | #Constraints: 38141
454.06/455.32 c #Conflicts: 651000 | #Constraints: 39533
454.06/455.32 c #Conflicts: 652000 | #Constraints: 40988
454.06/455.32 c #Conflicts: 653000 | #Constraints: 42447
454.06/455.32 c #Conflicts: 654000 | #Constraints: 43916
454.06/455.32 c #Conflicts: 655000 | #Constraints: 45347
454.06/455.32 c INPROCESSING
454.06/455.32 c GARBAGE COLLECT
454.06/455.32 c #Conflicts: 656000 | #Constraints: 24603
454.06/455.32 c #Conflicts: 657000 | #Constraints: 26070
454.06/455.32 c #Conflicts: 658000 | #Constraints: 27525
454.06/455.32 c #Conflicts: 659000 | #Constraints: 28993
454.06/455.32 c #Conflicts: 660000 | #Constraints: 30458
454.06/455.32 c #Conflicts: 661000 | #Constraints: 31902
454.06/455.32 c #Conflicts: 662000 | #Constraints: 33379
454.06/455.32 c #Conflicts: 663000 | #Constraints: 34833
454.06/455.32 c #Conflicts: 664000 | #Constraints: 36291
454.06/455.32 c #Conflicts: 665000 | #Constraints: 37758
454.06/455.32 c #Conflicts: 666000 | #Constraints: 39218
454.06/455.32 c #Conflicts: 667000 | #Constraints: 40679
454.06/455.32 c #Conflicts: 668000 | #Constraints: 42123
454.06/455.32 c #Conflicts: 669000 | #Constraints: 43575
454.06/455.32 c #Conflicts: 670000 | #Constraints: 45035
454.06/455.32 c #Conflicts: 671000 | #Constraints: 46503
454.06/455.32 c INPROCESSING
454.06/455.32 c GARBAGE COLLECT
454.06/455.32 c #Conflicts: 672000 | #Constraints: 24926
454.06/455.32 c #Conflicts: 673000 | #Constraints: 26295
454.06/455.32 c #Conflicts: 674000 | #Constraints: 27684
454.06/455.32 c #Conflicts: 675000 | #Constraints: 29051
454.06/455.32 c #Conflicts: 676000 | #Constraints: 30424
454.06/455.32 c #Conflicts: 677000 | #Constraints: 31818
454.06/455.32 c #Conflicts: 678000 | #Constraints: 33225
454.06/455.32 c #Conflicts: 679000 | #Constraints: 34559
454.06/455.32 c #Conflicts: 680000 | #Constraints: 35917
454.06/455.32 c #Conflicts: 681000 | #Constraints: 37321
454.06/455.32 c #Conflicts: 682000 | #Constraints: 38739
454.06/455.32 c #Conflicts: 683000 | #Constraints: 40111
454.06/455.32 c #Conflicts: 684000 | #Constraints: 41515
454.06/455.32 c #Conflicts: 685000 | #Constraints: 42928
454.06/455.32 c #Conflicts: 686000 | #Constraints: 44329
454.06/455.32 c #Conflicts: 687000 | #Constraints: 45730
454.06/455.32 c #Conflicts: 688000 | #Constraints: 47115
454.06/455.32 c INPROCESSING
454.06/455.32 c GARBAGE COLLECT
454.06/455.32 c #Conflicts: 689000 | #Constraints: 25384
454.06/455.32 c #Conflicts: 690000 | #Constraints: 26788
454.06/455.32 c #Conflicts: 691000 | #Constraints: 28191
454.06/455.32 c #Conflicts: 692000 | #Constraints: 29583
454.06/455.32 c #Conflicts: 693000 | #Constraints: 30986
454.06/455.32 c #Conflicts: 694000 | #Constraints: 32389
454.06/455.32 c #Conflicts: 695000 | #Constraints: 33786
454.06/455.32 c #Conflicts: 696000 | #Constraints: 35210
454.06/455.32 c #Conflicts: 697000 | #Constraints: 36636
454.06/455.32 c #Conflicts: 698000 | #Constraints: 38057
454.06/455.32 c #Conflicts: 699000 | #Constraints: 39486
454.06/455.32 c #Conflicts: 700000 | #Constraints: 40889
454.06/455.32 c #Conflicts: 701000 | #Constraints: 42257
454.06/455.32 c #Conflicts: 702000 | #Constraints: 43648
454.06/455.32 c #Conflicts: 703000 | #Constraints: 45079
454.06/455.32 c #Conflicts: 704000 | #Constraints: 46546
454.06/455.32 c #Conflicts: 705000 | #Constraints: 47922
454.06/455.32 c INPROCESSING
454.06/455.32 c GARBAGE COLLECT
454.06/455.32 c #Conflicts: 706000 | #Constraints: 26026
454.06/455.32 c #Conflicts: 707000 | #Constraints: 27470
454.06/455.32 c #Conflicts: 708000 | #Constraints: 28920
454.06/455.32 c #Conflicts: 709000 | #Constraints: 30390
454.06/455.32 c #Conflicts: 710000 | #Constraints: 31838
454.06/455.32 c #Conflicts: 711000 | #Constraints: 33302
454.06/455.32 c #Conflicts: 712000 | #Constraints: 34722
454.06/455.32 c #Conflicts: 713000 | #Constraints: 36180
613.44/615.17 c #Conflicts: 714000 | #Constraints: 37611
613.44/615.17 c #Conflicts: 715000 | #Constraints: 39044
613.44/615.17 c #Conflicts: 716000 | #Constraints: 40328
613.44/615.17 c #Conflicts: 717000 | #Constraints: 41417
613.44/615.17 c #Conflicts: 718000 | #Constraints: 42544
613.44/615.17 c #Conflicts: 719000 | #Constraints: 43719
613.44/615.17 c #Conflicts: 720000 | #Constraints: 44951
613.44/615.17 c #Conflicts: 721000 | #Constraints: 46232
613.44/615.17 c #Conflicts: 722000 | #Constraints: 47465
613.44/615.17 c INPROCESSING
613.44/615.17 c GARBAGE COLLECT
613.44/615.17 c #Conflicts: 723000 | #Constraints: 25806
613.44/615.17 c #Conflicts: 724000 | #Constraints: 27304
613.44/615.17 c #Conflicts: 725000 | #Constraints: 28771
613.44/615.17 c #Conflicts: 726000 | #Constraints: 30245
613.44/615.17 c #Conflicts: 727000 | #Constraints: 31717
613.44/615.17 c #Conflicts: 728000 | #Constraints: 33182
613.44/615.17 c #Conflicts: 729000 | #Constraints: 34631
613.44/615.17 c #Conflicts: 730000 | #Constraints: 36104
613.44/615.17 c #Conflicts: 731000 | #Constraints: 37610
613.44/615.17 c #Conflicts: 732000 | #Constraints: 39136
613.44/615.17 c #Conflicts: 733000 | #Constraints: 40657
613.44/615.17 c #Conflicts: 734000 | #Constraints: 42181
613.44/615.17 c #Conflicts: 735000 | #Constraints: 43683
613.44/615.17 c #Conflicts: 736000 | #Constraints: 45191
613.44/615.17 c #Conflicts: 737000 | #Constraints: 46743
613.44/615.17 c #Conflicts: 738000 | #Constraints: 48239
613.44/615.17 c #Conflicts: 739000 | #Constraints: 49756
613.44/615.17 c INPROCESSING
613.44/615.17 c GARBAGE COLLECT
613.44/615.17 c #Conflicts: 740000 | #Constraints: 26814
613.44/615.17 c #Conflicts: 741000 | #Constraints: 28267
613.44/615.17 c #Conflicts: 742000 | #Constraints: 29721
613.44/615.17 c #Conflicts: 743000 | #Constraints: 31177
613.44/615.17 c #Conflicts: 744000 | #Constraints: 32629
613.44/615.17 c #Conflicts: 745000 | #Constraints: 34083
613.44/615.17 c #Conflicts: 746000 | #Constraints: 35541
613.44/615.17 c #Conflicts: 747000 | #Constraints: 36989
613.44/615.17 c #Conflicts: 748000 | #Constraints: 38433
613.44/615.17 c #Conflicts: 749000 | #Constraints: 39876
613.44/615.17 c #Conflicts: 750000 | #Constraints: 41359
613.44/615.17 c #Conflicts: 751000 | #Constraints: 42827
613.44/615.17 c #Conflicts: 752000 | #Constraints: 44274
613.44/615.17 c #Conflicts: 753000 | #Constraints: 45712
613.44/615.17 c #Conflicts: 754000 | #Constraints: 47021
613.44/615.17 c #Conflicts: 755000 | #Constraints: 48240
613.44/615.17 c #Conflicts: 756000 | #Constraints: 49485
613.44/615.17 c INPROCESSING
613.44/615.17 c GARBAGE COLLECT
613.44/615.17 c #Conflicts: 757000 | #Constraints: 26398
613.44/615.17 c #Conflicts: 758000 | #Constraints: 27807
613.44/615.17 c #Conflicts: 759000 | #Constraints: 29221
613.44/615.17 c #Conflicts: 760000 | #Constraints: 30632
613.44/615.17 c #Conflicts: 761000 | #Constraints: 32063
613.44/615.17 c #Conflicts: 762000 | #Constraints: 33454
613.44/615.17 c #Conflicts: 763000 | #Constraints: 34847
613.44/615.17 c #Conflicts: 764000 | #Constraints: 36248
613.44/615.17 c #Conflicts: 765000 | #Constraints: 37664
613.44/615.17 c #Conflicts: 766000 | #Constraints: 39088
613.44/615.17 c #Conflicts: 767000 | #Constraints: 40458
613.44/615.17 c #Conflicts: 768000 | #Constraints: 41846
613.44/615.17 c #Conflicts: 769000 | #Constraints: 43241
613.44/615.17 c #Conflicts: 770000 | #Constraints: 44654
613.44/615.17 c #Conflicts: 771000 | #Constraints: 46100
613.44/615.17 c #Conflicts: 772000 | #Constraints: 47501
613.44/615.17 c #Conflicts: 773000 | #Constraints: 48906
613.44/615.17 c #Conflicts: 774000 | #Constraints: 50353
613.44/615.17 c INPROCESSING
613.44/615.17 c GARBAGE COLLECT
613.44/615.17 c #Conflicts: 775000 | #Constraints: 27104
613.44/615.17 c #Conflicts: 776000 | #Constraints: 28549
613.44/615.17 c #Conflicts: 777000 | #Constraints: 30001
613.44/615.17 c #Conflicts: 778000 | #Constraints: 31468
613.44/615.17 c #Conflicts: 779000 | #Constraints: 32925
613.44/615.17 c #Conflicts: 780000 | #Constraints: 34375
613.44/615.17 c #Conflicts: 781000 | #Constraints: 35833
613.44/615.17 c #Conflicts: 782000 | #Constraints: 37288
613.44/615.17 c #Conflicts: 783000 | #Constraints: 38743
613.44/615.17 c #Conflicts: 784000 | #Constraints: 40207
613.44/615.17 c #Conflicts: 785000 | #Constraints: 41652
613.44/615.17 c #Conflicts: 786000 | #Constraints: 42934
613.44/615.17 c #Conflicts: 787000 | #Constraints: 44112
613.44/615.17 c #Conflicts: 788000 | #Constraints: 45217
613.44/615.17 c #Conflicts: 789000 | #Constraints: 46415
613.44/615.17 c #Conflicts: 790000 | #Constraints: 47706
755.26/757.40 c #Conflicts: 791000 | #Constraints: 48967
755.26/757.40 c #Conflicts: 792000 | #Constraints: 50169
755.26/757.40 c INPROCESSING
755.26/757.40 c GARBAGE COLLECT
755.26/757.40 c #Conflicts: 793000 | #Constraints: 27095
755.26/757.40 c #Conflicts: 794000 | #Constraints: 28514
755.26/757.40 c #Conflicts: 795000 | #Constraints: 29906
755.26/757.40 c #Conflicts: 796000 | #Constraints: 31293
755.26/757.40 c #Conflicts: 797000 | #Constraints: 32709
755.26/757.40 c #Conflicts: 798000 | #Constraints: 34095
755.26/757.40 c #Conflicts: 799000 | #Constraints: 35494
755.26/757.40 c #Conflicts: 800000 | #Constraints: 36895
755.26/757.40 c #Conflicts: 801000 | #Constraints: 38321
755.26/757.40 c #Conflicts: 802000 | #Constraints: 39718
755.26/757.40 c #Conflicts: 803000 | #Constraints: 41157
755.26/757.40 c #Conflicts: 804000 | #Constraints: 42593
755.26/757.40 c #Conflicts: 805000 | #Constraints: 43978
755.26/757.40 c #Conflicts: 806000 | #Constraints: 45438
755.26/757.40 c #Conflicts: 807000 | #Constraints: 46878
755.26/757.40 c #Conflicts: 808000 | #Constraints: 48272
755.26/757.40 c #Conflicts: 809000 | #Constraints: 49704
755.26/757.40 c #Conflicts: 810000 | #Constraints: 51146
755.26/757.40 c INPROCESSING
755.26/757.40 c GARBAGE COLLECT
755.26/757.40 c #Conflicts: 811000 | #Constraints: 27652
755.26/757.40 c #Conflicts: 812000 | #Constraints: 29118
755.26/757.40 c #Conflicts: 813000 | #Constraints: 30554
755.26/757.40 c #Conflicts: 814000 | #Constraints: 32015
755.26/757.40 c #Conflicts: 815000 | #Constraints: 33458
755.26/757.40 c #Conflicts: 816000 | #Constraints: 34914
755.26/757.40 c #Conflicts: 817000 | #Constraints: 36349
755.26/757.40 c #Conflicts: 818000 | #Constraints: 37793
755.26/757.40 c #Conflicts: 819000 | #Constraints: 39212
755.26/757.40 c #Conflicts: 820000 | #Constraints: 40548
755.26/757.40 c #Conflicts: 821000 | #Constraints: 41982
755.26/757.40 c #Conflicts: 822000 | #Constraints: 43402
755.26/757.40 c #Conflicts: 823000 | #Constraints: 44855
755.26/757.40 c #Conflicts: 824000 | #Constraints: 46212
755.26/757.40 c #Conflicts: 825000 | #Constraints: 47363
755.26/757.40 c #Conflicts: 826000 | #Constraints: 48690
755.26/757.40 c #Conflicts: 827000 | #Constraints: 49925
755.26/757.40 c #Conflicts: 828000 | #Constraints: 51104
755.26/757.40 c INPROCESSING
755.26/757.40 c GARBAGE COLLECT
755.26/757.40 c #Conflicts: 829000 | #Constraints: 27252
755.26/757.40 c #Conflicts: 830000 | #Constraints: 28642
755.26/757.40 c #Conflicts: 831000 | #Constraints: 29983
755.26/757.40 c #Conflicts: 832000 | #Constraints: 31383
755.26/757.40 c #Conflicts: 833000 | #Constraints: 32835
755.26/757.40 c #Conflicts: 834000 | #Constraints: 34286
755.26/757.40 c #Conflicts: 835000 | #Constraints: 35743
755.26/757.40 c #Conflicts: 836000 | #Constraints: 37132
755.26/757.40 c #Conflicts: 837000 | #Constraints: 38541
755.26/757.40 c #Conflicts: 838000 | #Constraints: 39966
755.26/757.40 c #Conflicts: 839000 | #Constraints: 41381
755.26/757.40 c #Conflicts: 840000 | #Constraints: 42796
755.26/757.40 c #Conflicts: 841000 | #Constraints: 44212
755.26/757.40 c #Conflicts: 842000 | #Constraints: 45664
755.26/757.40 c #Conflicts: 843000 | #Constraints: 47122
755.26/757.40 c #Conflicts: 844000 | #Constraints: 48549
755.26/757.40 c #Conflicts: 845000 | #Constraints: 49959
755.26/757.40 c #Conflicts: 846000 | #Constraints: 51399
755.26/757.40 c INPROCESSING
755.26/757.40 c GARBAGE COLLECT
755.26/757.40 c #Conflicts: 847000 | #Constraints: 27342
755.26/757.40 c #Conflicts: 848000 | #Constraints: 28746
755.26/757.40 c #Conflicts: 849000 | #Constraints: 30162
755.26/757.40 c #Conflicts: 850000 | #Constraints: 31621
755.26/757.40 c #Conflicts: 851000 | #Constraints: 33014
755.26/757.40 c #Conflicts: 852000 | #Constraints: 34434
755.26/757.40 c #Conflicts: 853000 | #Constraints: 35841
755.26/757.40 c #Conflicts: 854000 | #Constraints: 37229
755.26/757.40 c #Conflicts: 855000 | #Constraints: 38677
755.26/757.40 c #Conflicts: 856000 | #Constraints: 40107
755.26/757.40 c #Conflicts: 857000 | #Constraints: 41542
755.26/757.40 c #Conflicts: 858000 | #Constraints: 42975
755.26/757.40 c #Conflicts: 859000 | #Constraints: 44420
755.26/757.40 c #Conflicts: 860000 | #Constraints: 45867
755.26/757.40 c #Conflicts: 861000 | #Constraints: 47283
755.26/757.40 c #Conflicts: 862000 | #Constraints: 48709
755.26/757.40 c #Conflicts: 863000 | #Constraints: 50152
755.26/757.40 c #Conflicts: 864000 | #Constraints: 51558
755.26/757.40 c #Conflicts: 865000 | #Constraints: 52948
755.26/757.40 c INPROCESSING
917.23/919.78 c GARBAGE COLLECT
917.23/919.78 c #Conflicts: 866000 | #Constraints: 28381
917.23/919.78 c #Conflicts: 867000 | #Constraints: 29820
917.23/919.78 c #Conflicts: 868000 | #Constraints: 31282
917.23/919.78 c #Conflicts: 869000 | #Constraints: 32751
917.23/919.78 c #Conflicts: 870000 | #Constraints: 34205
917.23/919.78 c #Conflicts: 871000 | #Constraints: 35660
917.23/919.78 c #Conflicts: 872000 | #Constraints: 37105
917.23/919.78 c #Conflicts: 873000 | #Constraints: 38572
917.23/919.78 c #Conflicts: 874000 | #Constraints: 40020
917.23/919.78 c #Conflicts: 875000 | #Constraints: 41500
917.23/919.78 c #Conflicts: 876000 | #Constraints: 42965
917.23/919.78 c #Conflicts: 877000 | #Constraints: 44391
917.23/919.78 c #Conflicts: 878000 | #Constraints: 45564
917.23/919.78 c #Conflicts: 879000 | #Constraints: 46787
917.23/919.78 c #Conflicts: 880000 | #Constraints: 48022
917.23/919.78 c #Conflicts: 881000 | #Constraints: 49304
917.23/919.78 c #Conflicts: 882000 | #Constraints: 50496
917.23/919.78 c #Conflicts: 883000 | #Constraints: 51717
917.23/919.78 c #Conflicts: 884000 | #Constraints: 52922
917.23/919.78 c INPROCESSING
917.23/919.78 c GARBAGE COLLECT
917.23/919.78 c #Conflicts: 885000 | #Constraints: 28294
917.23/919.78 c #Conflicts: 886000 | #Constraints: 29700
917.23/919.78 c #Conflicts: 887000 | #Constraints: 31129
917.23/919.78 c #Conflicts: 888000 | #Constraints: 32543
917.23/919.78 c #Conflicts: 889000 | #Constraints: 33970
917.23/919.78 c #Conflicts: 890000 | #Constraints: 35379
917.23/919.78 c #Conflicts: 891000 | #Constraints: 36803
917.23/919.78 c #Conflicts: 892000 | #Constraints: 38229
917.23/919.78 c #Conflicts: 893000 | #Constraints: 39635
917.23/919.78 c #Conflicts: 894000 | #Constraints: 41050
917.23/919.78 c #Conflicts: 895000 | #Constraints: 42486
917.23/919.78 c #Conflicts: 896000 | #Constraints: 43884
917.23/919.78 c #Conflicts: 897000 | #Constraints: 45298
917.23/919.78 c #Conflicts: 898000 | #Constraints: 46738
917.23/919.78 c #Conflicts: 899000 | #Constraints: 48168
917.23/919.78 c #Conflicts: 900000 | #Constraints: 49581
917.23/919.78 c #Conflicts: 901000 | #Constraints: 51009
917.23/919.78 c #Conflicts: 902000 | #Constraints: 52433
917.23/919.78 c #Conflicts: 903000 | #Constraints: 53867
917.23/919.78 c INPROCESSING
917.23/919.78 c GARBAGE COLLECT
917.23/919.78 c #Conflicts: 904000 | #Constraints: 28986
917.23/919.78 c #Conflicts: 905000 | #Constraints: 30439
917.23/919.78 c #Conflicts: 906000 | #Constraints: 31880
917.23/919.78 c #Conflicts: 907000 | #Constraints: 33316
917.23/919.78 c #Conflicts: 908000 | #Constraints: 34773
917.23/919.78 c #Conflicts: 909000 | #Constraints: 36249
917.23/919.78 c #Conflicts: 910000 | #Constraints: 37683
917.23/919.78 c #Conflicts: 911000 | #Constraints: 39112
917.23/919.78 c #Conflicts: 912000 | #Constraints: 40562
917.23/919.78 c #Conflicts: 913000 | #Constraints: 42027
917.23/919.78 c #Conflicts: 914000 | #Constraints: 43462
917.23/919.78 c #Conflicts: 915000 | #Constraints: 44907
917.23/919.78 c #Conflicts: 916000 | #Constraints: 46356
917.23/919.78 c #Conflicts: 917000 | #Constraints: 47799
917.23/919.78 c #Conflicts: 918000 | #Constraints: 49257
917.23/919.78 c #Conflicts: 919000 | #Constraints: 50721
917.23/919.78 c #Conflicts: 920000 | #Constraints: 52037
917.23/919.78 c #Conflicts: 921000 | #Constraints: 53271
917.23/919.78 c #Conflicts: 922000 | #Constraints: 54591
917.23/919.78 c INPROCESSING
917.23/919.78 c GARBAGE COLLECT
917.23/919.78 c #Conflicts: 923000 | #Constraints: 29113
917.23/919.78 c #Conflicts: 924000 | #Constraints: 30449
917.23/919.78 c #Conflicts: 925000 | #Constraints: 31878
917.23/919.78 c #Conflicts: 926000 | #Constraints: 33348
917.23/919.78 c #Conflicts: 927000 | #Constraints: 34760
917.23/919.78 c #Conflicts: 928000 | #Constraints: 36179
917.23/919.78 c #Conflicts: 929000 | #Constraints: 37615
917.23/919.78 c #Conflicts: 930000 | #Constraints: 39001
917.23/919.78 c #Conflicts: 931000 | #Constraints: 40427
917.23/919.78 c #Conflicts: 932000 | #Constraints: 41887
917.23/919.78 c #Conflicts: 933000 | #Constraints: 43355
917.23/919.78 c #Conflicts: 934000 | #Constraints: 44853
917.23/919.78 c #Conflicts: 935000 | #Constraints: 46299
917.23/919.78 c #Conflicts: 936000 | #Constraints: 47718
917.23/919.78 c #Conflicts: 937000 | #Constraints: 49208
917.23/919.78 c #Conflicts: 938000 | #Constraints: 50682
917.23/919.78 c #Conflicts: 939000 | #Constraints: 52149
917.23/919.78 c #Conflicts: 940000 | #Constraints: 53638
917.23/919.78 c #Conflicts: 941000 | #Constraints: 55101
917.23/919.78 c INPROCESSING
917.23/919.78 c GARBAGE COLLECT
1090.37/1093.34 c #Conflicts: 942000 | #Constraints: 29186
1090.37/1093.34 c #Conflicts: 943000 | #Constraints: 30632
1090.37/1093.34 c #Conflicts: 944000 | #Constraints: 32065
1090.37/1093.34 c #Conflicts: 945000 | #Constraints: 33472
1090.37/1093.34 c #Conflicts: 946000 | #Constraints: 34800
1090.37/1093.34 c #Conflicts: 947000 | #Constraints: 36287
1090.37/1093.34 c #Conflicts: 948000 | #Constraints: 37728
1090.37/1093.34 c #Conflicts: 949000 | #Constraints: 39175
1090.37/1093.34 c #Conflicts: 950000 | #Constraints: 40620
1090.37/1093.34 c #Conflicts: 951000 | #Constraints: 42078
1090.37/1093.34 c #Conflicts: 952000 | #Constraints: 43524
1090.37/1093.34 c #Conflicts: 953000 | #Constraints: 44971
1090.37/1093.34 c #Conflicts: 954000 | #Constraints: 46423
1090.37/1093.34 c #Conflicts: 955000 | #Constraints: 47873
1090.37/1093.34 c #Conflicts: 956000 | #Constraints: 49335
1090.37/1093.34 c #Conflicts: 957000 | #Constraints: 50796
1090.37/1093.34 c #Conflicts: 958000 | #Constraints: 52243
1090.37/1093.34 c #Conflicts: 959000 | #Constraints: 53684
1090.37/1093.34 c #Conflicts: 960000 | #Constraints: 55123
1090.37/1093.34 c #Conflicts: 961000 | #Constraints: 56584
1090.37/1093.34 c INPROCESSING
1090.37/1093.34 c GARBAGE COLLECT
1090.37/1093.34 c #Conflicts: 962000 | #Constraints: 30238
1090.37/1093.34 c #Conflicts: 963000 | #Constraints: 31687
1090.37/1093.34 c #Conflicts: 964000 | #Constraints: 33105
1090.37/1093.34 c #Conflicts: 965000 | #Constraints: 34575
1090.37/1093.34 c #Conflicts: 966000 | #Constraints: 35948
1090.37/1093.34 c #Conflicts: 967000 | #Constraints: 37346
1090.37/1093.34 c #Conflicts: 968000 | #Constraints: 38716
1090.37/1093.34 c #Conflicts: 969000 | #Constraints: 40057
1090.37/1093.34 c #Conflicts: 970000 | #Constraints: 41463
1090.37/1093.34 c #Conflicts: 971000 | #Constraints: 42837
1090.37/1093.34 c #Conflicts: 972000 | #Constraints: 44226
1090.37/1093.34 c #Conflicts: 973000 | #Constraints: 45611
1090.37/1093.34 c #Conflicts: 974000 | #Constraints: 47027
1090.37/1093.34 c #Conflicts: 975000 | #Constraints: 48414
1090.37/1093.34 c #Conflicts: 976000 | #Constraints: 49848
1090.37/1093.34 c #Conflicts: 977000 | #Constraints: 51277
1090.37/1093.34 c #Conflicts: 978000 | #Constraints: 52682
1090.37/1093.34 c #Conflicts: 979000 | #Constraints: 54089
1090.37/1093.34 c #Conflicts: 980000 | #Constraints: 55481
1090.37/1093.34 c #Conflicts: 981000 | #Constraints: 56840
1090.37/1093.34 c INPROCESSING
1090.37/1093.34 c GARBAGE COLLECT
1090.37/1093.34 c #Conflicts: 982000 | #Constraints: 30464
1090.37/1093.34 c #Conflicts: 983000 | #Constraints: 31899
1090.37/1093.34 c #Conflicts: 984000 | #Constraints: 33353
1090.37/1093.34 c #Conflicts: 985000 | #Constraints: 34815
1090.37/1093.34 c #Conflicts: 986000 | #Constraints: 36254
1090.37/1093.34 c #Conflicts: 987000 | #Constraints: 37712
1090.37/1093.34 c #Conflicts: 988000 | #Constraints: 39148
1090.37/1093.34 c #Conflicts: 989000 | #Constraints: 40590
1090.37/1093.34 c #Conflicts: 990000 | #Constraints: 42061
1090.37/1093.34 c #Conflicts: 991000 | #Constraints: 43507
1090.37/1093.34 c #Conflicts: 992000 | #Constraints: 44940
1090.37/1093.34 c #Conflicts: 993000 | #Constraints: 46395
1090.37/1093.34 c #Conflicts: 994000 | #Constraints: 47854
1090.37/1093.34 c #Conflicts: 995000 | #Constraints: 49288
1090.37/1093.34 c #Conflicts: 996000 | #Constraints: 50732
1090.37/1093.34 c #Conflicts: 997000 | #Constraints: 52191
1090.37/1093.34 c #Conflicts: 998000 | #Constraints: 53631
1090.37/1093.34 c #Conflicts: 999000 | #Constraints: 55096
1090.37/1093.34 c #Conflicts: 1000000 | #Constraints: 56570
1090.37/1093.34 c #Conflicts: 1001000 | #Constraints: 58028
1090.37/1093.34 c INPROCESSING
1090.37/1093.34 c GARBAGE COLLECT
1090.37/1093.34 c #Conflicts: 1002000 | #Constraints: 31098
1090.37/1093.34 c #Conflicts: 1003000 | #Constraints: 32552
1090.37/1093.34 c #Conflicts: 1004000 | #Constraints: 34004
1090.37/1093.34 c #Conflicts: 1005000 | #Constraints: 35471
1090.37/1093.34 c #Conflicts: 1006000 | #Constraints: 36941
1090.37/1093.34 c #Conflicts: 1007000 | #Constraints: 38375
1090.37/1093.34 c #Conflicts: 1008000 | #Constraints: 39799
1090.37/1093.34 c #Conflicts: 1009000 | #Constraints: 41234
1090.37/1093.34 c #Conflicts: 1010000 | #Constraints: 42673
1090.37/1093.34 c #Conflicts: 1011000 | #Constraints: 44111
1090.37/1093.34 c #Conflicts: 1012000 | #Constraints: 45588
1090.37/1093.34 c #Conflicts: 1013000 | #Constraints: 47041
1090.37/1093.34 c #Conflicts: 1014000 | #Constraints: 48464
1090.37/1093.34 c #Conflicts: 1015000 | #Constraints: 49929
1090.37/1093.34 c #Conflicts: 1016000 | #Constraints: 51391
1090.37/1093.34 c #Conflicts: 1017000 | #Constraints: 52841
1090.37/1093.34 c #Conflicts: 1018000 | #Constraints: 54323
1274.16/1277.63 c #Conflicts: 1019000 | #Constraints: 55773
1274.16/1277.63 c #Conflicts: 1020000 | #Constraints: 57188
1274.16/1277.63 c #Conflicts: 1021000 | #Constraints: 58644
1274.16/1277.63 c INPROCESSING
1274.16/1277.63 c GARBAGE COLLECT
1274.16/1277.63 c #Conflicts: 1022000 | #Constraints: 31271
1274.16/1277.63 c #Conflicts: 1023000 | #Constraints: 32730
1274.16/1277.63 c #Conflicts: 1024000 | #Constraints: 34189
1274.16/1277.63 c #Conflicts: 1025000 | #Constraints: 35636
1274.16/1277.63 c #Conflicts: 1026000 | #Constraints: 37093
1274.16/1277.63 c #Conflicts: 1027000 | #Constraints: 38525
1274.16/1277.63 c #Conflicts: 1028000 | #Constraints: 39980
1274.16/1277.63 c #Conflicts: 1029000 | #Constraints: 41450
1274.16/1277.63 c #Conflicts: 1030000 | #Constraints: 42886
1274.16/1277.63 c #Conflicts: 1031000 | #Constraints: 44314
1274.16/1277.63 c #Conflicts: 1032000 | #Constraints: 45769
1274.16/1277.63 c #Conflicts: 1033000 | #Constraints: 47205
1274.16/1277.63 c #Conflicts: 1034000 | #Constraints: 48641
1274.16/1277.63 c #Conflicts: 1035000 | #Constraints: 50088
1274.16/1277.63 c #Conflicts: 1036000 | #Constraints: 51520
1274.16/1277.63 c #Conflicts: 1037000 | #Constraints: 52954
1274.16/1277.63 c #Conflicts: 1038000 | #Constraints: 54401
1274.16/1277.63 c #Conflicts: 1039000 | #Constraints: 55833
1274.16/1277.63 c #Conflicts: 1040000 | #Constraints: 57277
1274.16/1277.63 c #Conflicts: 1041000 | #Constraints: 58729
1274.16/1277.63 c INPROCESSING
1274.16/1277.63 c GARBAGE COLLECT
1274.16/1277.63 c #Conflicts: 1042000 | #Constraints: 31021
1274.16/1277.63 c #Conflicts: 1043000 | #Constraints: 32497
1274.16/1277.63 c #Conflicts: 1044000 | #Constraints: 33952
1274.16/1277.63 c #Conflicts: 1045000 | #Constraints: 35375
1274.16/1277.63 c #Conflicts: 1046000 | #Constraints: 36821
1274.16/1277.63 c #Conflicts: 1047000 | #Constraints: 38287
1274.16/1277.63 c #Conflicts: 1048000 | #Constraints: 39713
1274.16/1277.63 c #Conflicts: 1049000 | #Constraints: 41160
1274.16/1277.63 c #Conflicts: 1050000 | #Constraints: 42630
1274.16/1277.63 c #Conflicts: 1051000 | #Constraints: 44108
1274.16/1277.63 c #Conflicts: 1052000 | #Constraints: 45536
1274.16/1277.63 c #Conflicts: 1053000 | #Constraints: 47015
1274.16/1277.63 c #Conflicts: 1054000 | #Constraints: 48462
1274.16/1277.63 c #Conflicts: 1055000 | #Constraints: 49885
1274.16/1277.63 c #Conflicts: 1056000 | #Constraints: 51309
1274.16/1277.63 c #Conflicts: 1057000 | #Constraints: 52775
1274.16/1277.63 c #Conflicts: 1058000 | #Constraints: 54253
1274.16/1277.63 c #Conflicts: 1059000 | #Constraints: 55686
1274.16/1277.63 c #Conflicts: 1060000 | #Constraints: 57172
1274.16/1277.63 c #Conflicts: 1061000 | #Constraints: 58642
1274.16/1277.63 c #Conflicts: 1062000 | #Constraints: 60082
1274.16/1277.63 c INPROCESSING
1274.16/1277.63 c GARBAGE COLLECT
1274.16/1277.63 c #Conflicts: 1063000 | #Constraints: 31976
1274.16/1277.63 c #Conflicts: 1064000 | #Constraints: 33460
1274.16/1277.63 c #Conflicts: 1065000 | #Constraints: 34925
1274.16/1277.63 c #Conflicts: 1066000 | #Constraints: 36369
1274.16/1277.63 c #Conflicts: 1067000 | #Constraints: 37830
1274.16/1277.63 c #Conflicts: 1068000 | #Constraints: 39278
1274.16/1277.63 c #Conflicts: 1069000 | #Constraints: 40736
1274.16/1277.63 c #Conflicts: 1070000 | #Constraints: 42205
1274.16/1277.63 c #Conflicts: 1071000 | #Constraints: 43655
1274.16/1277.63 c #Conflicts: 1072000 | #Constraints: 45105
1274.16/1277.63 c #Conflicts: 1073000 | #Constraints: 46548
1274.16/1277.63 c #Conflicts: 1074000 | #Constraints: 47994
1274.16/1277.63 c #Conflicts: 1075000 | #Constraints: 49456
1274.16/1277.63 c #Conflicts: 1076000 | #Constraints: 50917
1274.16/1277.63 c #Conflicts: 1077000 | #Constraints: 52390
1274.16/1277.63 c #Conflicts: 1078000 | #Constraints: 53845
1274.16/1277.63 c #Conflicts: 1079000 | #Constraints: 55280
1274.16/1277.63 c #Conflicts: 1080000 | #Constraints: 56753
1274.16/1277.63 c #Conflicts: 1081000 | #Constraints: 58133
1274.16/1277.63 c #Conflicts: 1082000 | #Constraints: 59361
1274.16/1277.63 c #Conflicts: 1083000 | #Constraints: 60637
1274.16/1277.63 c INPROCESSING
1274.16/1277.63 c GARBAGE COLLECT
1274.16/1277.63 c #Conflicts: 1084000 | #Constraints: 32382
1274.16/1277.63 c #Conflicts: 1085000 | #Constraints: 33784
1274.16/1277.63 c #Conflicts: 1086000 | #Constraints: 35124
1274.16/1277.63 c #Conflicts: 1087000 | #Constraints: 36418
1274.16/1277.63 c #Conflicts: 1088000 | #Constraints: 37763
1274.16/1277.63 c #Conflicts: 1089000 | #Constraints: 39063
1274.16/1277.63 c #Conflicts: 1090000 | #Constraints: 40386
1274.16/1277.63 c #Conflicts: 1091000 | #Constraints: 41692
1274.16/1277.63 c #Conflicts: 1092000 | #Constraints: 43017
1274.16/1277.63 c #Conflicts: 1093000 | #Constraints: 44386
1274.16/1277.63 c #Conflicts: 1094000 | #Constraints: 45851
1454.78/1458.71 c #Conflicts: 1095000 | #Constraints: 47213
1454.78/1458.71 c #Conflicts: 1096000 | #Constraints: 48579
1454.78/1458.71 c #Conflicts: 1097000 | #Constraints: 49934
1454.78/1458.71 c #Conflicts: 1098000 | #Constraints: 51340
1454.78/1458.71 c #Conflicts: 1099000 | #Constraints: 52583
1454.78/1458.71 c #Conflicts: 1100000 | #Constraints: 53923
1454.78/1458.71 c #Conflicts: 1101000 | #Constraints: 55368
1454.78/1458.71 c #Conflicts: 1102000 | #Constraints: 56784
1454.78/1458.71 c #Conflicts: 1103000 | #Constraints: 58136
1454.78/1458.71 c #Conflicts: 1104000 | #Constraints: 59520
1454.78/1458.71 c INPROCESSING
1454.78/1458.71 c GARBAGE COLLECT
1454.78/1458.71 c #Conflicts: 1105000 | #Constraints: 31843
1454.78/1458.71 c #Conflicts: 1106000 | #Constraints: 33287
1454.78/1458.71 c #Conflicts: 1107000 | #Constraints: 34726
1454.78/1458.71 c #Conflicts: 1108000 | #Constraints: 36156
1454.78/1458.71 c #Conflicts: 1109000 | #Constraints: 37600
1454.78/1458.71 c #Conflicts: 1110000 | #Constraints: 39032
1454.78/1458.71 c #Conflicts: 1111000 | #Constraints: 40483
1454.78/1458.71 c #Conflicts: 1112000 | #Constraints: 41919
1454.78/1458.71 c #Conflicts: 1113000 | #Constraints: 43374
1454.78/1458.71 c #Conflicts: 1114000 | #Constraints: 44803
1454.78/1458.71 c #Conflicts: 1115000 | #Constraints: 46265
1454.78/1458.71 c #Conflicts: 1116000 | #Constraints: 47727
1454.78/1458.71 c #Conflicts: 1117000 | #Constraints: 49127
1454.78/1458.71 c #Conflicts: 1118000 | #Constraints: 50507
1454.78/1458.71 c #Conflicts: 1119000 | #Constraints: 51933
1454.78/1458.71 c #Conflicts: 1120000 | #Constraints: 53338
1454.78/1458.71 c #Conflicts: 1121000 | #Constraints: 54776
1454.78/1458.71 c #Conflicts: 1122000 | #Constraints: 56253
1454.78/1458.71 c #Conflicts: 1123000 | #Constraints: 57671
1454.78/1458.71 c #Conflicts: 1124000 | #Constraints: 59084
1454.78/1458.71 c #Conflicts: 1125000 | #Constraints: 60535
1454.78/1458.71 c INPROCESSING
1454.78/1458.71 c GARBAGE COLLECT
1454.78/1458.71 c #Conflicts: 1126000 | #Constraints: 32207
1454.78/1458.71 c #Conflicts: 1127000 | #Constraints: 33668
1454.78/1458.71 c #Conflicts: 1128000 | #Constraints: 35125
1454.78/1458.71 c #Conflicts: 1129000 | #Constraints: 36574
1454.78/1458.71 c #Conflicts: 1130000 | #Constraints: 38042
1454.78/1458.71 c #Conflicts: 1131000 | #Constraints: 39493
1454.78/1458.71 c #Conflicts: 1132000 | #Constraints: 40930
1454.78/1458.71 c #Conflicts: 1133000 | #Constraints: 42374
1454.78/1458.71 c #Conflicts: 1134000 | #Constraints: 43844
1454.78/1458.71 c #Conflicts: 1135000 | #Constraints: 45319
1454.78/1458.71 c #Conflicts: 1136000 | #Constraints: 46771
1454.78/1458.71 c #Conflicts: 1137000 | #Constraints: 48223
1454.78/1458.71 c #Conflicts: 1138000 | #Constraints: 49649
1454.78/1458.71 c #Conflicts: 1139000 | #Constraints: 51099
1454.78/1458.71 c #Conflicts: 1140000 | #Constraints: 52526
1454.78/1458.71 c #Conflicts: 1141000 | #Constraints: 53968
1454.78/1458.71 c #Conflicts: 1142000 | #Constraints: 55401
1454.78/1458.71 c #Conflicts: 1143000 | #Constraints: 56846
1454.78/1458.71 c #Conflicts: 1144000 | #Constraints: 58270
1454.78/1458.71 c #Conflicts: 1145000 | #Constraints: 59711
1454.78/1458.71 c #Conflicts: 1146000 | #Constraints: 61152
1454.78/1458.71 c INPROCESSING
1454.78/1458.71 c GARBAGE COLLECT
1454.78/1458.71 c #Conflicts: 1147000 | #Constraints: 32249
1454.78/1458.71 c #Conflicts: 1148000 | #Constraints: 33711
1454.78/1458.71 c #Conflicts: 1149000 | #Constraints: 35152
1454.78/1458.71 c #Conflicts: 1150000 | #Constraints: 36558
1454.78/1458.71 c #Conflicts: 1151000 | #Constraints: 37990
1454.78/1458.71 c #Conflicts: 1152000 | #Constraints: 39380
1454.78/1458.71 c #Conflicts: 1153000 | #Constraints: 40794
1454.78/1458.71 c #Conflicts: 1154000 | #Constraints: 42260
1454.78/1458.71 c #Conflicts: 1155000 | #Constraints: 43681
1454.78/1458.71 c #Conflicts: 1156000 | #Constraints: 45088
1454.78/1458.71 c #Conflicts: 1157000 | #Constraints: 46506
1454.78/1458.71 c #Conflicts: 1158000 | #Constraints: 47963
1454.78/1458.71 c #Conflicts: 1159000 | #Constraints: 49376
1454.78/1458.71 c #Conflicts: 1160000 | #Constraints: 50771
1454.78/1458.71 c #Conflicts: 1161000 | #Constraints: 52197
1454.78/1458.71 c #Conflicts: 1162000 | #Constraints: 53627
1454.78/1458.71 c #Conflicts: 1163000 | #Constraints: 55029
1454.78/1458.71 c #Conflicts: 1164000 | #Constraints: 56411
1454.78/1458.71 c #Conflicts: 1165000 | #Constraints: 57807
1454.78/1458.71 c #Conflicts: 1166000 | #Constraints: 59212
1454.78/1458.71 c #Conflicts: 1167000 | #Constraints: 60644
1454.78/1458.71 c #Conflicts: 1168000 | #Constraints: 62071
1454.78/1458.71 c INPROCESSING
1454.78/1458.71 c GARBAGE COLLECT
1454.78/1458.71 c #Conflicts: 1169000 | #Constraints: 32940
1454.78/1458.71 c #Conflicts: 1170000 | #Constraints: 34396
1454.78/1458.71 c #Conflicts: 1171000 | #Constraints: 35830
1630.01/1634.43 c #Conflicts: 1172000 | #Constraints: 37267
1630.01/1634.43 c #Conflicts: 1173000 | #Constraints: 38695
1630.01/1634.43 c #Conflicts: 1174000 | #Constraints: 40144
1630.01/1634.43 c #Conflicts: 1175000 | #Constraints: 41596
1630.01/1634.43 c #Conflicts: 1176000 | #Constraints: 43048
1630.01/1634.43 c #Conflicts: 1177000 | #Constraints: 44469
1630.01/1634.43 c #Conflicts: 1178000 | #Constraints: 45925
1630.01/1634.43 c #Conflicts: 1179000 | #Constraints: 47355
1630.01/1634.43 c #Conflicts: 1180000 | #Constraints: 48802
1630.01/1634.43 c #Conflicts: 1181000 | #Constraints: 50234
1630.01/1634.43 c #Conflicts: 1182000 | #Constraints: 51696
1630.01/1634.43 c #Conflicts: 1183000 | #Constraints: 53129
1630.01/1634.43 c #Conflicts: 1184000 | #Constraints: 54574
1630.01/1634.43 c #Conflicts: 1185000 | #Constraints: 56035
1630.01/1634.43 c #Conflicts: 1186000 | #Constraints: 57494
1630.01/1634.43 c #Conflicts: 1187000 | #Constraints: 58948
1630.01/1634.43 c #Conflicts: 1188000 | #Constraints: 60394
1630.01/1634.43 c #Conflicts: 1189000 | #Constraints: 61848
1630.01/1634.43 c #Conflicts: 1190000 | #Constraints: 63292
1630.01/1634.43 c INPROCESSING
1630.01/1634.43 c GARBAGE COLLECT
1630.01/1634.43 c #Conflicts: 1191000 | #Constraints: 33718
1630.01/1634.43 c #Conflicts: 1192000 | #Constraints: 35078
1630.01/1634.43 c #Conflicts: 1193000 | #Constraints: 36470
1630.01/1634.43 c #Conflicts: 1194000 | #Constraints: 37911
1630.01/1634.43 c #Conflicts: 1195000 | #Constraints: 39325
1630.01/1634.43 c #Conflicts: 1196000 | #Constraints: 40742
1630.01/1634.43 c #Conflicts: 1197000 | #Constraints: 42154
1630.01/1634.43 c #Conflicts: 1198000 | #Constraints: 43530
1630.01/1634.43 c #Conflicts: 1199000 | #Constraints: 44906
1630.01/1634.43 c #Conflicts: 1200000 | #Constraints: 46316
1630.01/1634.43 c #Conflicts: 1201000 | #Constraints: 47751
1630.01/1634.43 c #Conflicts: 1202000 | #Constraints: 49147
1630.01/1634.43 c #Conflicts: 1203000 | #Constraints: 50542
1630.01/1634.43 c #Conflicts: 1204000 | #Constraints: 51935
1630.01/1634.43 c #Conflicts: 1205000 | #Constraints: 53343
1630.01/1634.43 c #Conflicts: 1206000 | #Constraints: 54713
1630.01/1634.43 c #Conflicts: 1207000 | #Constraints: 56102
1630.01/1634.43 c #Conflicts: 1208000 | #Constraints: 57494
1630.01/1634.43 c #Conflicts: 1209000 | #Constraints: 58929
1630.01/1634.43 c #Conflicts: 1210000 | #Constraints: 60365
1630.01/1634.43 c #Conflicts: 1211000 | #Constraints: 61765
1630.01/1634.43 c #Conflicts: 1212000 | #Constraints: 63196
1630.01/1634.43 c INPROCESSING
1630.01/1634.43 c GARBAGE COLLECT
1630.01/1634.43 c #Conflicts: 1213000 | #Constraints: 33681
1630.01/1634.43 c #Conflicts: 1214000 | #Constraints: 35112
1630.01/1634.43 c #Conflicts: 1215000 | #Constraints: 36549
1630.01/1634.43 c #Conflicts: 1216000 | #Constraints: 37980
1630.01/1634.43 c #Conflicts: 1217000 | #Constraints: 39446
1630.01/1634.43 c #Conflicts: 1218000 | #Constraints: 40896
1630.01/1634.43 c #Conflicts: 1219000 | #Constraints: 42345
1630.01/1634.43 c #Conflicts: 1220000 | #Constraints: 43821
1630.01/1634.43 c #Conflicts: 1221000 | #Constraints: 45257
1630.01/1634.43 c #Conflicts: 1222000 | #Constraints: 46708
1630.01/1634.43 c #Conflicts: 1223000 | #Constraints: 48157
1630.01/1634.43 c #Conflicts: 1224000 | #Constraints: 49610
1630.01/1634.43 c #Conflicts: 1225000 | #Constraints: 51057
1630.01/1634.43 c #Conflicts: 1226000 | #Constraints: 52502
1630.01/1634.43 c #Conflicts: 1227000 | #Constraints: 53930
1630.01/1634.43 c #Conflicts: 1228000 | #Constraints: 55369
1630.01/1634.43 c #Conflicts: 1229000 | #Constraints: 56657
1630.01/1634.43 c #Conflicts: 1230000 | #Constraints: 57789
1630.01/1634.43 c #Conflicts: 1231000 | #Constraints: 59058
1630.01/1634.43 c #Conflicts: 1232000 | #Constraints: 60431
1630.01/1634.43 c #Conflicts: 1233000 | #Constraints: 61656
1630.01/1634.43 c #Conflicts: 1234000 | #Constraints: 63005
1630.01/1634.43 c INPROCESSING
1630.01/1634.43 c GARBAGE COLLECT
1630.01/1634.43 c #Conflicts: 1235000 | #Constraints: 33385
1630.01/1634.43 c #Conflicts: 1236000 | #Constraints: 34766
1630.01/1634.43 c #Conflicts: 1237000 | #Constraints: 36123
1630.01/1634.43 c #Conflicts: 1238000 | #Constraints: 37577
1630.01/1634.43 c #Conflicts: 1239000 | #Constraints: 39021
1630.01/1634.43 c #Conflicts: 1240000 | #Constraints: 40450
1630.01/1634.43 c #Conflicts: 1241000 | #Constraints: 41871
1630.01/1634.43 c #Conflicts: 1242000 | #Constraints: 43288
1630.01/1634.43 c #Conflicts: 1243000 | #Constraints: 44714
1630.01/1634.43 c #Conflicts: 1244000 | #Constraints: 46120
1630.01/1634.43 c #Conflicts: 1245000 | #Constraints: 47578
1630.01/1634.43 c #Conflicts: 1246000 | #Constraints: 49004
1630.01/1634.43 c #Conflicts: 1247000 | #Constraints: 50418
1630.01/1634.43 c #Conflicts: 1248000 | #Constraints: 51823
1816.83/1821.73 c #Conflicts: 1249000 | #Constraints: 53244
1816.83/1821.73 c #Conflicts: 1250000 | #Constraints: 54661
1816.83/1821.73 c #Conflicts: 1251000 | #Constraints: 56036
1816.83/1821.73 c #Conflicts: 1252000 | #Constraints: 57445
1816.83/1821.73 c #Conflicts: 1253000 | #Constraints: 58883
1816.83/1821.73 c #Conflicts: 1254000 | #Constraints: 60309
1816.83/1821.73 c #Conflicts: 1255000 | #Constraints: 61732
1816.83/1821.73 c #Conflicts: 1256000 | #Constraints: 63179
1816.83/1821.73 c INPROCESSING
1816.83/1821.73 c GARBAGE COLLECT
1816.83/1821.73 c #Conflicts: 1257000 | #Constraints: 33194
1816.83/1821.73 c #Conflicts: 1258000 | #Constraints: 34585
1816.83/1821.73 c #Conflicts: 1259000 | #Constraints: 35992
1816.83/1821.73 c #Conflicts: 1260000 | #Constraints: 37416
1816.83/1821.73 c #Conflicts: 1261000 | #Constraints: 38841
1816.83/1821.73 c #Conflicts: 1262000 | #Constraints: 40276
1816.83/1821.73 c #Conflicts: 1263000 | #Constraints: 41725
1816.83/1821.73 c #Conflicts: 1264000 | #Constraints: 43169
1816.83/1821.73 c #Conflicts: 1265000 | #Constraints: 44568
1816.83/1821.73 c #Conflicts: 1266000 | #Constraints: 45948
1816.83/1821.73 c #Conflicts: 1267000 | #Constraints: 47344
1816.83/1821.73 c #Conflicts: 1268000 | #Constraints: 48738
1816.83/1821.73 c #Conflicts: 1269000 | #Constraints: 50154
1816.83/1821.73 c #Conflicts: 1270000 | #Constraints: 51566
1816.83/1821.73 c #Conflicts: 1271000 | #Constraints: 52966
1816.83/1821.73 c #Conflicts: 1272000 | #Constraints: 54377
1816.83/1821.73 c #Conflicts: 1273000 | #Constraints: 55810
1816.83/1821.73 c #Conflicts: 1274000 | #Constraints: 57246
1816.83/1821.73 c #Conflicts: 1275000 | #Constraints: 58733
1816.83/1821.73 c #Conflicts: 1276000 | #Constraints: 60190
1816.83/1821.73 c #Conflicts: 1277000 | #Constraints: 61571
1816.83/1821.73 c #Conflicts: 1278000 | #Constraints: 63001
1816.83/1821.73 c #Conflicts: 1279000 | #Constraints: 64431
1816.83/1821.73 c INPROCESSING
1816.83/1821.73 c GARBAGE COLLECT
1816.83/1821.73 c #Conflicts: 1280000 | #Constraints: 34122
1816.83/1821.73 c #Conflicts: 1281000 | #Constraints: 35562
1816.83/1821.73 c #Conflicts: 1282000 | #Constraints: 37003
1816.83/1821.73 c #Conflicts: 1283000 | #Constraints: 38450
1816.83/1821.73 c #Conflicts: 1284000 | #Constraints: 39904
1816.83/1821.73 c #Conflicts: 1285000 | #Constraints: 41360
1816.83/1821.73 c #Conflicts: 1286000 | #Constraints: 42806
1816.83/1821.73 c #Conflicts: 1287000 | #Constraints: 44251
1816.83/1821.73 c #Conflicts: 1288000 | #Constraints: 45698
1816.83/1821.73 c #Conflicts: 1289000 | #Constraints: 47154
1816.83/1821.73 c #Conflicts: 1290000 | #Constraints: 48584
1816.83/1821.73 c #Conflicts: 1291000 | #Constraints: 50050
1816.83/1821.73 c #Conflicts: 1292000 | #Constraints: 51510
1816.83/1821.73 c #Conflicts: 1293000 | #Constraints: 52956
1816.83/1821.73 c #Conflicts: 1294000 | #Constraints: 54402
1816.83/1821.73 c #Conflicts: 1295000 | #Constraints: 55868
1816.83/1821.73 c #Conflicts: 1296000 | #Constraints: 57321
1816.83/1821.73 c #Conflicts: 1297000 | #Constraints: 58772
1816.83/1821.73 c #Conflicts: 1298000 | #Constraints: 60224
1816.83/1821.73 c #Conflicts: 1299000 | #Constraints: 61679
1816.83/1821.73 c #Conflicts: 1300000 | #Constraints: 63145
1816.83/1821.73 c #Conflicts: 1301000 | #Constraints: 64608
1816.83/1821.73 c #Conflicts: 1302000 | #Constraints: 66090
1816.83/1821.73 c INPROCESSING
1816.83/1821.73 c GARBAGE COLLECT
1816.83/1821.73 c #Conflicts: 1303000 | #Constraints: 35154
1816.83/1821.73 c #Conflicts: 1304000 | #Constraints: 36572
1816.83/1821.73 c #Conflicts: 1305000 | #Constraints: 37991
1816.83/1821.73 c #Conflicts: 1306000 | #Constraints: 39381
1816.83/1821.73 c #Conflicts: 1307000 | #Constraints: 40770
1816.83/1821.73 c #Conflicts: 1308000 | #Constraints: 42179
1816.83/1821.73 c #Conflicts: 1309000 | #Constraints: 43577
1816.83/1821.73 c #Conflicts: 1310000 | #Constraints: 44974
1816.83/1821.73 c #Conflicts: 1311000 | #Constraints: 46364
1816.83/1821.73 c #Conflicts: 1312000 | #Constraints: 47787
1816.83/1821.73 c #Conflicts: 1313000 | #Constraints: 49145
1816.83/1821.73 c #Conflicts: 1314000 | #Constraints: 50482
1816.83/1821.73 c #Conflicts: 1315000 | #Constraints: 51881
1816.83/1821.73 c #Conflicts: 1316000 | #Constraints: 53283
1816.83/1821.73 c #Conflicts: 1317000 | #Constraints: 54699
1816.83/1821.73 c #Conflicts: 1318000 | #Constraints: 56137
1816.83/1821.73 c #Conflicts: 1319000 | #Constraints: 57527
1816.83/1821.73 c #Conflicts: 1320000 | #Constraints: 58931
1816.83/1821.73 c #Conflicts: 1321000 | #Constraints: 60339
1816.83/1821.73 c #Conflicts: 1322000 | #Constraints: 61780
1816.83/1821.73 c #Conflicts: 1323000 | #Constraints: 63226
1816.83/1821.73 c #Conflicts: 1324000 | #Constraints: 64652
2021.69/2027.16 c #Conflicts: 1325000 | #Constraints: 66081
2021.69/2027.16 c INPROCESSING
2021.69/2027.16 c GARBAGE COLLECT
2021.69/2027.16 c #Conflicts: 1326000 | #Constraints: 35131
2021.69/2027.16 c #Conflicts: 1327000 | #Constraints: 36587
2021.69/2027.16 c #Conflicts: 1328000 | #Constraints: 38029
2021.69/2027.16 c #Conflicts: 1329000 | #Constraints: 39495
2021.69/2027.16 c #Conflicts: 1330000 | #Constraints: 40955
2021.69/2027.16 c #Conflicts: 1331000 | #Constraints: 42410
2021.69/2027.16 c #Conflicts: 1332000 | #Constraints: 43858
2021.69/2027.16 c #Conflicts: 1333000 | #Constraints: 45289
2021.69/2027.16 c #Conflicts: 1334000 | #Constraints: 46747
2021.69/2027.16 c #Conflicts: 1335000 | #Constraints: 48204
2021.69/2027.16 c #Conflicts: 1336000 | #Constraints: 49675
2021.69/2027.16 c #Conflicts: 1337000 | #Constraints: 51122
2021.69/2027.16 c #Conflicts: 1338000 | #Constraints: 52570
2021.69/2027.16 c #Conflicts: 1339000 | #Constraints: 54016
2021.69/2027.16 c #Conflicts: 1340000 | #Constraints: 55465
2021.69/2027.16 c #Conflicts: 1341000 | #Constraints: 56918
2021.69/2027.16 c #Conflicts: 1342000 | #Constraints: 58357
2021.69/2027.16 c #Conflicts: 1343000 | #Constraints: 59833
2021.69/2027.16 c #Conflicts: 1344000 | #Constraints: 61274
2021.69/2027.16 c #Conflicts: 1345000 | #Constraints: 62735
2021.69/2027.16 c #Conflicts: 1346000 | #Constraints: 64183
2021.69/2027.16 c #Conflicts: 1347000 | #Constraints: 65616
2021.69/2027.16 c #Conflicts: 1348000 | #Constraints: 67039
2021.69/2027.16 c INPROCESSING
2021.69/2027.16 c GARBAGE COLLECT
2021.69/2027.16 c #Conflicts: 1349000 | #Constraints: 35456
2021.69/2027.16 c #Conflicts: 1350000 | #Constraints: 36910
2021.69/2027.16 c #Conflicts: 1351000 | #Constraints: 38374
2021.69/2027.16 c #Conflicts: 1352000 | #Constraints: 39846
2021.69/2027.16 c #Conflicts: 1353000 | #Constraints: 41227
2021.69/2027.16 c #Conflicts: 1354000 | #Constraints: 42465
2021.69/2027.16 c #Conflicts: 1355000 | #Constraints: 43816
2021.69/2027.16 c #Conflicts: 1356000 | #Constraints: 45181
2021.69/2027.16 c #Conflicts: 1357000 | #Constraints: 46522
2021.69/2027.16 c #Conflicts: 1358000 | #Constraints: 47947
2021.69/2027.16 c #Conflicts: 1359000 | #Constraints: 49308
2021.69/2027.16 c #Conflicts: 1360000 | #Constraints: 50626
2021.69/2027.16 c #Conflicts: 1361000 | #Constraints: 52047
2021.69/2027.16 c #Conflicts: 1362000 | #Constraints: 53438
2021.69/2027.16 c #Conflicts: 1363000 | #Constraints: 54817
2021.69/2027.16 c #Conflicts: 1364000 | #Constraints: 56218
2021.69/2027.16 c #Conflicts: 1365000 | #Constraints: 57626
2021.69/2027.16 c #Conflicts: 1366000 | #Constraints: 59076
2021.69/2027.16 c #Conflicts: 1367000 | #Constraints: 60502
2021.69/2027.16 c #Conflicts: 1368000 | #Constraints: 61900
2021.69/2027.16 c #Conflicts: 1369000 | #Constraints: 63272
2021.69/2027.16 c #Conflicts: 1370000 | #Constraints: 64673
2021.69/2027.16 c #Conflicts: 1371000 | #Constraints: 66071
2021.69/2027.16 c INPROCESSING
2021.69/2027.16 c GARBAGE COLLECT
2021.69/2027.16 c #Conflicts: 1372000 | #Constraints: 34643
2021.69/2027.16 c #Conflicts: 1373000 | #Constraints: 36093
2021.69/2027.16 c #Conflicts: 1374000 | #Constraints: 37535
2021.69/2027.16 c #Conflicts: 1375000 | #Constraints: 38993
2021.69/2027.16 c #Conflicts: 1376000 | #Constraints: 40423
2021.69/2027.16 c #Conflicts: 1377000 | #Constraints: 41866
2021.69/2027.16 c #Conflicts: 1378000 | #Constraints: 43304
2021.69/2027.16 c #Conflicts: 1379000 | #Constraints: 44757
2021.69/2027.16 c #Conflicts: 1380000 | #Constraints: 46211
2021.69/2027.16 c #Conflicts: 1381000 | #Constraints: 47667
2021.69/2027.16 c #Conflicts: 1382000 | #Constraints: 49118
2021.69/2027.16 c #Conflicts: 1383000 | #Constraints: 50560
2021.69/2027.16 c #Conflicts: 1384000 | #Constraints: 52009
2021.69/2027.16 c #Conflicts: 1385000 | #Constraints: 53449
2021.69/2027.16 c #Conflicts: 1386000 | #Constraints: 54891
2021.69/2027.16 c #Conflicts: 1387000 | #Constraints: 56318
2021.69/2027.16 c #Conflicts: 1388000 | #Constraints: 57792
2021.69/2027.16 c #Conflicts: 1389000 | #Constraints: 59231
2021.69/2027.16 c #Conflicts: 1390000 | #Constraints: 60674
2021.69/2027.16 c #Conflicts: 1391000 | #Constraints: 61920
2021.69/2027.16 c #Conflicts: 1392000 | #Constraints: 63129
2021.69/2027.16 c #Conflicts: 1393000 | #Constraints: 64432
2021.69/2027.16 c #Conflicts: 1394000 | #Constraints: 65699
2021.69/2027.16 c #Conflicts: 1395000 | #Constraints: 67011
2021.69/2027.16 c INPROCESSING
2021.69/2027.16 c GARBAGE COLLECT
2021.69/2027.16 c #Conflicts: 1396000 | #Constraints: 35297
2021.69/2027.16 c #Conflicts: 1397000 | #Constraints: 36616
2021.69/2027.16 c #Conflicts: 1398000 | #Constraints: 37875
2021.69/2027.16 c #Conflicts: 1399000 | #Constraints: 39235
2021.69/2027.16 c #Conflicts: 1400000 | #Constraints: 40720
2021.69/2027.16 c #Conflicts: 1401000 | #Constraints: 42157
2221.06/2227.06 c #Conflicts: 1402000 | #Constraints: 43477
2221.06/2227.06 c #Conflicts: 1403000 | #Constraints: 44873
2221.06/2227.06 c #Conflicts: 1404000 | #Constraints: 46274
2221.06/2227.06 c #Conflicts: 1405000 | #Constraints: 47684
2221.06/2227.06 c #Conflicts: 1406000 | #Constraints: 49093
2221.06/2227.06 c #Conflicts: 1407000 | #Constraints: 50492
2221.06/2227.06 c #Conflicts: 1408000 | #Constraints: 51911
2221.06/2227.06 c #Conflicts: 1409000 | #Constraints: 53284
2221.06/2227.06 c #Conflicts: 1410000 | #Constraints: 54704
2221.06/2227.06 c #Conflicts: 1411000 | #Constraints: 56128
2221.06/2227.06 c #Conflicts: 1412000 | #Constraints: 57558
2221.06/2227.06 c #Conflicts: 1413000 | #Constraints: 59011
2221.06/2227.06 c #Conflicts: 1414000 | #Constraints: 60444
2221.06/2227.06 c #Conflicts: 1415000 | #Constraints: 61860
2221.06/2227.06 c #Conflicts: 1416000 | #Constraints: 63268
2221.06/2227.06 c #Conflicts: 1417000 | #Constraints: 64676
2221.06/2227.06 c #Conflicts: 1418000 | #Constraints: 66095
2221.06/2227.06 c #Conflicts: 1419000 | #Constraints: 67538
2221.06/2227.06 c INPROCESSING
2221.06/2227.06 c GARBAGE COLLECT
2221.06/2227.06 c #Conflicts: 1420000 | #Constraints: 35836
2221.06/2227.06 c #Conflicts: 1421000 | #Constraints: 37287
2221.06/2227.06 c #Conflicts: 1422000 | #Constraints: 38731
2221.06/2227.06 c #Conflicts: 1423000 | #Constraints: 40185
2221.06/2227.06 c #Conflicts: 1424000 | #Constraints: 41648
2221.06/2227.06 c #Conflicts: 1425000 | #Constraints: 43091
2221.06/2227.06 c #Conflicts: 1426000 | #Constraints: 44539
2221.06/2227.06 c #Conflicts: 1427000 | #Constraints: 45987
2221.06/2227.06 c #Conflicts: 1428000 | #Constraints: 47430
2221.06/2227.06 c #Conflicts: 1429000 | #Constraints: 48874
2221.06/2227.06 c #Conflicts: 1430000 | #Constraints: 50319
2221.06/2227.06 c #Conflicts: 1431000 | #Constraints: 51750
2221.06/2227.06 c #Conflicts: 1432000 | #Constraints: 53177
2221.06/2227.06 c #Conflicts: 1433000 | #Constraints: 54418
2221.06/2227.06 c #Conflicts: 1434000 | #Constraints: 55709
2221.06/2227.06 c #Conflicts: 1435000 | #Constraints: 56932
2221.06/2227.06 c #Conflicts: 1436000 | #Constraints: 58310
2221.06/2227.06 c #Conflicts: 1437000 | #Constraints: 59630
2221.06/2227.06 c #Conflicts: 1438000 | #Constraints: 61031
2221.06/2227.06 c #Conflicts: 1439000 | #Constraints: 62360
2221.06/2227.06 c #Conflicts: 1440000 | #Constraints: 63771
2221.06/2227.06 c #Conflicts: 1441000 | #Constraints: 64946
2221.06/2227.06 c #Conflicts: 1442000 | #Constraints: 66266
2221.06/2227.06 c #Conflicts: 1443000 | #Constraints: 67652
2221.06/2227.06 c INPROCESSING
2221.06/2227.06 c GARBAGE COLLECT
2221.06/2227.06 c #Conflicts: 1444000 | #Constraints: 35659
2221.06/2227.06 c #Conflicts: 1445000 | #Constraints: 36821
2221.06/2227.06 c #Conflicts: 1446000 | #Constraints: 38009
2221.06/2227.06 c #Conflicts: 1447000 | #Constraints: 39299
2221.06/2227.06 c #Conflicts: 1448000 | #Constraints: 40668
2221.06/2227.06 c #Conflicts: 1449000 | #Constraints: 42150
2221.06/2227.06 c #Conflicts: 1450000 | #Constraints: 43585
2221.06/2227.06 c #Conflicts: 1451000 | #Constraints: 44980
2221.06/2227.06 c #Conflicts: 1452000 | #Constraints: 46409
2221.06/2227.06 c #Conflicts: 1453000 | #Constraints: 47806
2221.06/2227.06 c #Conflicts: 1454000 | #Constraints: 49238
2221.06/2227.06 c #Conflicts: 1455000 | #Constraints: 50684
2221.06/2227.06 c #Conflicts: 1456000 | #Constraints: 52141
2221.06/2227.06 c #Conflicts: 1457000 | #Constraints: 53573
2221.06/2227.06 c #Conflicts: 1458000 | #Constraints: 55030
2221.06/2227.06 c #Conflicts: 1459000 | #Constraints: 56435
2221.06/2227.06 c #Conflicts: 1460000 | #Constraints: 57856
2221.06/2227.06 c #Conflicts: 1461000 | #Constraints: 59247
2221.06/2227.06 c #Conflicts: 1462000 | #Constraints: 60673
2221.06/2227.06 c #Conflicts: 1463000 | #Constraints: 62114
2221.06/2227.06 c #Conflicts: 1464000 | #Constraints: 63556
2221.06/2227.06 c #Conflicts: 1465000 | #Constraints: 64978
2221.06/2227.06 c #Conflicts: 1466000 | #Constraints: 66422
2221.06/2227.06 c #Conflicts: 1467000 | #Constraints: 67823
2221.06/2227.06 c INPROCESSING
2221.06/2227.06 c GARBAGE COLLECT
2221.06/2227.06 c #Conflicts: 1468000 | #Constraints: 35821
2221.06/2227.06 c #Conflicts: 1469000 | #Constraints: 37260
2221.06/2227.06 c #Conflicts: 1470000 | #Constraints: 38704
2221.06/2227.06 c #Conflicts: 1471000 | #Constraints: 40129
2221.06/2227.06 c #Conflicts: 1472000 | #Constraints: 41581
2221.06/2227.06 c #Conflicts: 1473000 | #Constraints: 43033
2221.06/2227.06 c #Conflicts: 1474000 | #Constraints: 44473
2221.06/2227.06 c #Conflicts: 1475000 | #Constraints: 45923
2221.06/2227.06 c #Conflicts: 1476000 | #Constraints: 47363
2221.06/2227.06 c #Conflicts: 1477000 | #Constraints: 48827
2221.06/2227.06 c #Conflicts: 1478000 | #Constraints: 50278
2438.18/2444.77 c #Conflicts: 1479000 | #Constraints: 51705
2438.18/2444.77 c #Conflicts: 1480000 | #Constraints: 53155
2438.18/2444.77 c #Conflicts: 1481000 | #Constraints: 54592
2438.18/2444.77 c #Conflicts: 1482000 | #Constraints: 56039
2438.18/2444.77 c #Conflicts: 1483000 | #Constraints: 57479
2438.18/2444.77 c #Conflicts: 1484000 | #Constraints: 58937
2438.18/2444.77 c #Conflicts: 1485000 | #Constraints: 60362
2438.18/2444.77 c #Conflicts: 1486000 | #Constraints: 61814
2438.18/2444.77 c #Conflicts: 1487000 | #Constraints: 63279
2438.18/2444.77 c #Conflicts: 1488000 | #Constraints: 64737
2438.18/2444.77 c #Conflicts: 1489000 | #Constraints: 66212
2438.18/2444.77 c #Conflicts: 1490000 | #Constraints: 67663
2438.18/2444.77 c #Conflicts: 1491000 | #Constraints: 69116
2438.18/2444.77 c INPROCESSING
2438.18/2444.77 c GARBAGE COLLECT
2438.18/2444.77 c #Conflicts: 1492000 | #Constraints: 36210
2438.18/2444.77 c #Conflicts: 1493000 | #Constraints: 37632
2438.18/2444.77 c #Conflicts: 1494000 | #Constraints: 39052
2438.18/2444.77 c #Conflicts: 1495000 | #Constraints: 40461
2438.18/2444.77 c #Conflicts: 1496000 | #Constraints: 41873
2438.18/2444.77 c #Conflicts: 1497000 | #Constraints: 43284
2438.18/2444.77 c #Conflicts: 1498000 | #Constraints: 44713
2438.18/2444.77 c #Conflicts: 1499000 | #Constraints: 46121
2438.18/2444.77 c #Conflicts: 1500000 | #Constraints: 47525
2438.18/2444.77 c #Conflicts: 1501000 | #Constraints: 48980
2438.18/2444.77 c #Conflicts: 1502000 | #Constraints: 50409
2438.18/2444.77 c #Conflicts: 1503000 | #Constraints: 51819
2438.18/2444.77 c #Conflicts: 1504000 | #Constraints: 53266
2438.18/2444.77 c #Conflicts: 1505000 | #Constraints: 54705
2438.18/2444.77 c #Conflicts: 1506000 | #Constraints: 56109
2438.18/2444.77 c #Conflicts: 1507000 | #Constraints: 57509
2438.18/2444.77 c #Conflicts: 1508000 | #Constraints: 58935
2438.18/2444.77 c #Conflicts: 1509000 | #Constraints: 60381
2438.18/2444.77 c #Conflicts: 1510000 | #Constraints: 61772
2438.18/2444.77 c #Conflicts: 1511000 | #Constraints: 63191
2438.18/2444.77 c #Conflicts: 1512000 | #Constraints: 64624
2438.18/2444.77 c #Conflicts: 1513000 | #Constraints: 66040
2438.18/2444.77 c #Conflicts: 1514000 | #Constraints: 67432
2438.18/2444.77 c #Conflicts: 1515000 | #Constraints: 68865
2438.18/2444.77 c #Conflicts: 1516000 | #Constraints: 70265
2438.18/2444.77 c INPROCESSING
2438.18/2444.77 c GARBAGE COLLECT
2438.18/2444.77 c #Conflicts: 1517000 | #Constraints: 37055
2438.18/2444.77 c #Conflicts: 1518000 | #Constraints: 38504
2438.18/2444.77 c #Conflicts: 1519000 | #Constraints: 39958
2438.18/2444.77 c #Conflicts: 1520000 | #Constraints: 41410
2438.18/2444.77 c #Conflicts: 1521000 | #Constraints: 42850
2438.18/2444.77 c #Conflicts: 1522000 | #Constraints: 44270
2438.18/2444.77 c #Conflicts: 1523000 | #Constraints: 45702
2438.18/2444.77 c #Conflicts: 1524000 | #Constraints: 47162
2438.18/2444.77 c #Conflicts: 1525000 | #Constraints: 48610
2438.18/2444.77 c #Conflicts: 1526000 | #Constraints: 50040
2438.18/2444.77 c #Conflicts: 1527000 | #Constraints: 51482
2438.18/2444.77 c #Conflicts: 1528000 | #Constraints: 52930
2438.18/2444.77 c #Conflicts: 1529000 | #Constraints: 54383
2438.18/2444.77 c #Conflicts: 1530000 | #Constraints: 55836
2438.18/2444.77 c #Conflicts: 1531000 | #Constraints: 57295
2438.18/2444.77 c #Conflicts: 1532000 | #Constraints: 58744
2438.18/2444.77 c #Conflicts: 1533000 | #Constraints: 60185
2438.18/2444.77 c #Conflicts: 1534000 | #Constraints: 61644
2438.18/2444.77 c #Conflicts: 1535000 | #Constraints: 63082
2438.18/2444.77 c #Conflicts: 1536000 | #Constraints: 64527
2438.18/2444.77 c #Conflicts: 1537000 | #Constraints: 65993
2438.18/2444.77 c #Conflicts: 1538000 | #Constraints: 67439
2438.18/2444.77 c #Conflicts: 1539000 | #Constraints: 68900
2438.18/2444.77 c #Conflicts: 1540000 | #Constraints: 70350
2438.18/2444.77 c #Conflicts: 1541000 | #Constraints: 71800
2438.18/2444.77 c INPROCESSING
2438.18/2444.77 c GARBAGE COLLECT
2438.18/2444.77 c #Conflicts: 1542000 | #Constraints: 37938
2438.18/2444.77 c #Conflicts: 1543000 | #Constraints: 39363
2438.18/2444.77 c #Conflicts: 1544000 | #Constraints: 40754
2438.18/2444.77 c #Conflicts: 1545000 | #Constraints: 42161
2438.18/2444.77 c #Conflicts: 1546000 | #Constraints: 43581
2438.18/2444.77 c #Conflicts: 1547000 | #Constraints: 45031
2438.18/2444.77 c #Conflicts: 1548000 | #Constraints: 46423
2438.18/2444.77 c #Conflicts: 1549000 | #Constraints: 47837
2438.18/2444.77 c #Conflicts: 1550000 | #Constraints: 49202
2438.18/2444.77 c #Conflicts: 1551000 | #Constraints: 50588
2438.18/2444.77 c #Conflicts: 1552000 | #Constraints: 52052
2438.18/2444.77 c #Conflicts: 1553000 | #Constraints: 53503
2438.18/2444.77 c #Conflicts: 1554000 | #Constraints: 54916
2658.90/2666.09 c #Conflicts: 1555000 | #Constraints: 56317
2658.90/2666.09 c #Conflicts: 1556000 | #Constraints: 57739
2658.90/2666.09 c #Conflicts: 1557000 | #Constraints: 59173
2658.90/2666.09 c #Conflicts: 1558000 | #Constraints: 60600
2658.90/2666.09 c #Conflicts: 1559000 | #Constraints: 62064
2658.90/2666.09 c #Conflicts: 1560000 | #Constraints: 63532
2658.90/2666.09 c #Conflicts: 1561000 | #Constraints: 65040
2658.90/2666.09 c #Conflicts: 1562000 | #Constraints: 66514
2658.90/2666.09 c #Conflicts: 1563000 | #Constraints: 67992
2658.90/2666.09 c #Conflicts: 1564000 | #Constraints: 69440
2658.90/2666.09 c #Conflicts: 1565000 | #Constraints: 70965
2658.90/2666.09 c #Conflicts: 1566000 | #Constraints: 72399
2658.90/2666.09 c INPROCESSING
2658.90/2666.09 c GARBAGE COLLECT
2658.90/2666.09 c #Conflicts: 1567000 | #Constraints: 38286
2658.90/2666.09 c #Conflicts: 1568000 | #Constraints: 39742
2658.90/2666.09 c #Conflicts: 1569000 | #Constraints: 41208
2658.90/2666.09 c #Conflicts: 1570000 | #Constraints: 42657
2658.90/2666.09 c #Conflicts: 1571000 | #Constraints: 44106
2658.90/2666.09 c #Conflicts: 1572000 | #Constraints: 45580
2658.90/2666.09 c #Conflicts: 1573000 | #Constraints: 47035
2658.90/2666.09 c #Conflicts: 1574000 | #Constraints: 48495
2658.90/2666.09 c #Conflicts: 1575000 | #Constraints: 49932
2658.90/2666.09 c #Conflicts: 1576000 | #Constraints: 51383
2658.90/2666.09 c #Conflicts: 1577000 | #Constraints: 52837
2658.90/2666.09 c #Conflicts: 1578000 | #Constraints: 54293
2658.90/2666.09 c #Conflicts: 1579000 | #Constraints: 55745
2658.90/2666.09 c #Conflicts: 1580000 | #Constraints: 57204
2658.90/2666.09 c #Conflicts: 1581000 | #Constraints: 58681
2658.90/2666.09 c #Conflicts: 1582000 | #Constraints: 60130
2658.90/2666.09 c #Conflicts: 1583000 | #Constraints: 61571
2658.90/2666.09 c #Conflicts: 1584000 | #Constraints: 63010
2658.90/2666.09 c #Conflicts: 1585000 | #Constraints: 64459
2658.90/2666.09 c #Conflicts: 1586000 | #Constraints: 65889
2658.90/2666.09 c #Conflicts: 1587000 | #Constraints: 67336
2658.90/2666.09 c #Conflicts: 1588000 | #Constraints: 68763
2658.90/2666.09 c #Conflicts: 1589000 | #Constraints: 70214
2658.90/2666.09 c #Conflicts: 1590000 | #Constraints: 71670
2658.90/2666.09 c #Conflicts: 1591000 | #Constraints: 73102
2658.90/2666.09 c INPROCESSING
2658.90/2666.09 c GARBAGE COLLECT
2658.90/2666.09 c #Conflicts: 1592000 | #Constraints: 38487
2658.90/2666.09 c #Conflicts: 1593000 | #Constraints: 39912
2658.90/2666.09 c #Conflicts: 1594000 | #Constraints: 41343
2658.90/2666.09 c #Conflicts: 1595000 | #Constraints: 42832
2658.90/2666.09 c #Conflicts: 1596000 | #Constraints: 44310
2658.90/2666.09 c #Conflicts: 1597000 | #Constraints: 45752
2658.90/2666.09 c #Conflicts: 1598000 | #Constraints: 47203
2658.90/2666.09 c #Conflicts: 1599000 | #Constraints: 48683
2658.90/2666.09 c #Conflicts: 1600000 | #Constraints: 50156
2658.90/2666.09 c #Conflicts: 1601000 | #Constraints: 51610
2658.90/2666.09 c #Conflicts: 1602000 | #Constraints: 53106
2658.90/2666.09 c #Conflicts: 1603000 | #Constraints: 54605
2658.90/2666.09 c #Conflicts: 1604000 | #Constraints: 56107
2658.90/2666.09 c #Conflicts: 1605000 | #Constraints: 57621
2658.90/2666.09 c #Conflicts: 1606000 | #Constraints: 59150
2658.90/2666.09 c #Conflicts: 1607000 | #Constraints: 60655
2658.90/2666.09 c #Conflicts: 1608000 | #Constraints: 62141
2658.90/2666.09 c #Conflicts: 1609000 | #Constraints: 63649
2658.90/2666.09 c #Conflicts: 1610000 | #Constraints: 65093
2658.90/2666.09 c #Conflicts: 1611000 | #Constraints: 66592
2658.90/2666.09 c #Conflicts: 1612000 | #Constraints: 68080
2658.90/2666.09 c #Conflicts: 1613000 | #Constraints: 69628
2658.90/2666.09 c #Conflicts: 1614000 | #Constraints: 71149
2658.90/2666.09 c #Conflicts: 1615000 | #Constraints: 72606
2658.90/2666.09 c #Conflicts: 1616000 | #Constraints: 74102
2658.90/2666.09 c INPROCESSING
2658.90/2666.09 c GARBAGE COLLECT
2658.90/2666.09 c #Conflicts: 1617000 | #Constraints: 38698
2658.90/2666.09 c #Conflicts: 1618000 | #Constraints: 40144
2658.90/2666.09 c #Conflicts: 1619000 | #Constraints: 41590
2658.90/2666.09 c #Conflicts: 1620000 | #Constraints: 43036
2658.90/2666.09 c #Conflicts: 1621000 | #Constraints: 44478
2658.90/2666.09 c #Conflicts: 1622000 | #Constraints: 45938
2658.90/2666.09 c #Conflicts: 1623000 | #Constraints: 47381
2658.90/2666.09 c #Conflicts: 1624000 | #Constraints: 48819
2658.90/2666.09 c #Conflicts: 1625000 | #Constraints: 50289
2658.90/2666.09 c #Conflicts: 1626000 | #Constraints: 51736
2658.90/2666.09 c #Conflicts: 1627000 | #Constraints: 53194
2658.90/2666.09 c #Conflicts: 1628000 | #Constraints: 54617
2658.90/2666.09 c #Conflicts: 1629000 | #Constraints: 56043
2658.90/2666.09 c #Conflicts: 1630000 | #Constraints: 57491
2658.90/2666.09 c #Conflicts: 1631000 | #Constraints: 58929
2895.17/2902.98 c #Conflicts: 1632000 | #Constraints: 60372
2895.17/2902.98 c #Conflicts: 1633000 | #Constraints: 61819
2895.17/2902.98 c #Conflicts: 1634000 | #Constraints: 63265
2895.17/2902.98 c #Conflicts: 1635000 | #Constraints: 64714
2895.17/2902.98 c #Conflicts: 1636000 | #Constraints: 66124
2895.17/2902.98 c #Conflicts: 1637000 | #Constraints: 67560
2895.17/2902.98 c #Conflicts: 1638000 | #Constraints: 68991
2895.17/2902.98 c #Conflicts: 1639000 | #Constraints: 70422
2895.17/2902.98 c #Conflicts: 1640000 | #Constraints: 71873
2895.17/2902.98 c #Conflicts: 1641000 | #Constraints: 73310
2895.17/2902.98 c #Conflicts: 1642000 | #Constraints: 74746
2895.17/2902.98 c INPROCESSING
2895.17/2902.98 c GARBAGE COLLECT
2895.17/2902.98 c #Conflicts: 1643000 | #Constraints: 39307
2895.17/2902.98 c #Conflicts: 1644000 | #Constraints: 40690
2895.17/2902.98 c #Conflicts: 1645000 | #Constraints: 42114
2895.17/2902.98 c #Conflicts: 1646000 | #Constraints: 43523
2895.17/2902.98 c #Conflicts: 1647000 | #Constraints: 44944
2895.17/2902.98 c #Conflicts: 1648000 | #Constraints: 46382
2895.17/2902.98 c #Conflicts: 1649000 | #Constraints: 47832
2895.17/2902.98 c #Conflicts: 1650000 | #Constraints: 49281
2895.17/2902.98 c #Conflicts: 1651000 | #Constraints: 50754
2895.17/2902.98 c #Conflicts: 1652000 | #Constraints: 52193
2895.17/2902.98 c #Conflicts: 1653000 | #Constraints: 53626
2895.17/2902.98 c #Conflicts: 1654000 | #Constraints: 55070
2895.17/2902.98 c #Conflicts: 1655000 | #Constraints: 56546
2895.17/2902.98 c #Conflicts: 1656000 | #Constraints: 58006
2895.17/2902.98 c #Conflicts: 1657000 | #Constraints: 59442
2895.17/2902.98 c #Conflicts: 1658000 | #Constraints: 60862
2895.17/2902.98 c #Conflicts: 1659000 | #Constraints: 62283
2895.17/2902.98 c #Conflicts: 1660000 | #Constraints: 63730
2895.17/2902.98 c #Conflicts: 1661000 | #Constraints: 65164
2895.17/2902.98 c #Conflicts: 1662000 | #Constraints: 66609
2895.17/2902.98 c #Conflicts: 1663000 | #Constraints: 68082
2895.17/2902.98 c #Conflicts: 1664000 | #Constraints: 69539
2895.17/2902.98 c #Conflicts: 1665000 | #Constraints: 70958
2895.17/2902.98 c #Conflicts: 1666000 | #Constraints: 72429
2895.17/2902.98 c #Conflicts: 1667000 | #Constraints: 73845
2895.17/2902.98 c #Conflicts: 1668000 | #Constraints: 75306
2895.17/2902.98 c INPROCESSING
2895.17/2902.98 c GARBAGE COLLECT
2895.17/2902.98 c #Conflicts: 1669000 | #Constraints: 39757
2895.17/2902.98 c #Conflicts: 1670000 | #Constraints: 41217
2895.17/2902.98 c #Conflicts: 1671000 | #Constraints: 42677
2895.17/2902.98 c #Conflicts: 1672000 | #Constraints: 44145
2895.17/2902.98 c #Conflicts: 1673000 | #Constraints: 45600
2895.17/2902.98 c #Conflicts: 1674000 | #Constraints: 47042
2895.17/2902.98 c #Conflicts: 1675000 | #Constraints: 48500
2895.17/2902.98 c #Conflicts: 1676000 | #Constraints: 49939
2895.17/2902.98 c #Conflicts: 1677000 | #Constraints: 51423
2895.17/2902.98 c #Conflicts: 1678000 | #Constraints: 52890
2895.17/2902.98 c #Conflicts: 1679000 | #Constraints: 54348
2895.17/2902.98 c #Conflicts: 1680000 | #Constraints: 55795
2895.17/2902.98 c #Conflicts: 1681000 | #Constraints: 57263
2895.17/2902.98 c #Conflicts: 1682000 | #Constraints: 58718
2895.17/2902.98 c #Conflicts: 1683000 | #Constraints: 60164
2895.17/2902.98 c #Conflicts: 1684000 | #Constraints: 61628
2895.17/2902.98 c #Conflicts: 1685000 | #Constraints: 63074
2895.17/2902.98 c #Conflicts: 1686000 | #Constraints: 64500
2895.17/2902.98 c #Conflicts: 1687000 | #Constraints: 65951
2895.17/2902.98 c #Conflicts: 1688000 | #Constraints: 67391
2895.17/2902.98 c #Conflicts: 1689000 | #Constraints: 68861
2895.17/2902.98 c #Conflicts: 1690000 | #Constraints: 70322
2895.17/2902.98 c #Conflicts: 1691000 | #Constraints: 71759
2895.17/2902.98 c #Conflicts: 1692000 | #Constraints: 73227
2895.17/2902.98 c #Conflicts: 1693000 | #Constraints: 74688
2895.17/2902.98 c #Conflicts: 1694000 | #Constraints: 76138
2895.17/2902.98 c INPROCESSING
2895.17/2902.98 c GARBAGE COLLECT
2895.17/2902.98 c #Conflicts: 1695000 | #Constraints: 40171
2895.17/2902.98 c #Conflicts: 1696000 | #Constraints: 41544
2895.17/2902.98 c #Conflicts: 1697000 | #Constraints: 42956
2895.17/2902.98 c #Conflicts: 1698000 | #Constraints: 44407
2895.17/2902.98 c #Conflicts: 1699000 | #Constraints: 45835
2895.17/2902.98 c #Conflicts: 1700000 | #Constraints: 47242
2895.17/2902.98 c #Conflicts: 1701000 | #Constraints: 48620
2895.17/2902.98 c #Conflicts: 1702000 | #Constraints: 50065
2895.17/2902.98 c #Conflicts: 1703000 | #Constraints: 51504
2895.17/2902.98 c #Conflicts: 1704000 | #Constraints: 52956
2895.17/2902.98 c #Conflicts: 1705000 | #Constraints: 54332
2895.17/2902.98 c #Conflicts: 1706000 | #Constraints: 55743
2895.17/2902.98 c #Conflicts: 1707000 | #Constraints: 57169
2895.17/2902.98 c #Conflicts: 1708000 | #Constraints: 58589
3135.93/3144.33 c #Conflicts: 1709000 | #Constraints: 60022
3135.93/3144.33 c #Conflicts: 1710000 | #Constraints: 61466
3135.93/3144.33 c #Conflicts: 1711000 | #Constraints: 62901
3135.93/3144.33 c #Conflicts: 1712000 | #Constraints: 64317
3135.93/3144.33 c #Conflicts: 1713000 | #Constraints: 65779
3135.93/3144.33 c #Conflicts: 1714000 | #Constraints: 67233
3135.93/3144.33 c #Conflicts: 1715000 | #Constraints: 68661
3135.93/3144.33 c #Conflicts: 1716000 | #Constraints: 70108
3135.93/3144.33 c #Conflicts: 1717000 | #Constraints: 71553
3135.93/3144.33 c #Conflicts: 1718000 | #Constraints: 73009
3135.93/3144.33 c #Conflicts: 1719000 | #Constraints: 74447
3135.93/3144.33 c #Conflicts: 1720000 | #Constraints: 75881
3135.93/3144.33 c INPROCESSING
3135.93/3144.33 c GARBAGE COLLECT
3135.93/3144.33 c #Conflicts: 1721000 | #Constraints: 39849
3135.93/3144.33 c #Conflicts: 1722000 | #Constraints: 41299
3135.93/3144.33 c #Conflicts: 1723000 | #Constraints: 42738
3135.93/3144.33 c #Conflicts: 1724000 | #Constraints: 44165
3135.93/3144.33 c #Conflicts: 1725000 | #Constraints: 45596
3135.93/3144.33 c #Conflicts: 1726000 | #Constraints: 47027
3135.93/3144.33 c #Conflicts: 1727000 | #Constraints: 48440
3135.93/3144.33 c #Conflicts: 1728000 | #Constraints: 49873
3135.93/3144.33 c #Conflicts: 1729000 | #Constraints: 51319
3135.93/3144.33 c #Conflicts: 1730000 | #Constraints: 52757
3135.93/3144.33 c #Conflicts: 1731000 | #Constraints: 54218
3135.93/3144.33 c #Conflicts: 1732000 | #Constraints: 55683
3135.93/3144.33 c #Conflicts: 1733000 | #Constraints: 57138
3135.93/3144.33 c #Conflicts: 1734000 | #Constraints: 58590
3135.93/3144.33 c #Conflicts: 1735000 | #Constraints: 60044
3135.93/3144.33 c #Conflicts: 1736000 | #Constraints: 61507
3135.93/3144.33 c #Conflicts: 1737000 | #Constraints: 62966
3135.93/3144.33 c #Conflicts: 1738000 | #Constraints: 64413
3135.93/3144.33 c #Conflicts: 1739000 | #Constraints: 65860
3135.93/3144.33 c #Conflicts: 1740000 | #Constraints: 67322
3135.93/3144.33 c #Conflicts: 1741000 | #Constraints: 68764
3135.93/3144.33 c #Conflicts: 1742000 | #Constraints: 70199
3135.93/3144.33 c #Conflicts: 1743000 | #Constraints: 71661
3135.93/3144.33 c #Conflicts: 1744000 | #Constraints: 73092
3135.93/3144.33 c #Conflicts: 1745000 | #Constraints: 74522
3135.93/3144.33 c #Conflicts: 1746000 | #Constraints: 75954
3135.93/3144.33 c INPROCESSING
3135.93/3144.33 c GARBAGE COLLECT
3135.93/3144.33 c #Conflicts: 1747000 | #Constraints: 39650
3135.93/3144.33 c #Conflicts: 1748000 | #Constraints: 41078
3135.93/3144.33 c #Conflicts: 1749000 | #Constraints: 42479
3135.93/3144.33 c #Conflicts: 1750000 | #Constraints: 43868
3135.93/3144.33 c #Conflicts: 1751000 | #Constraints: 45307
3135.93/3144.33 c #Conflicts: 1752000 | #Constraints: 46699
3135.93/3144.33 c #Conflicts: 1753000 | #Constraints: 48127
3135.93/3144.33 c #Conflicts: 1754000 | #Constraints: 49586
3135.93/3144.33 c #Conflicts: 1755000 | #Constraints: 51081
3135.93/3144.33 c #Conflicts: 1756000 | #Constraints: 52562
3135.93/3144.33 c #Conflicts: 1757000 | #Constraints: 53966
3135.93/3144.33 c #Conflicts: 1758000 | #Constraints: 55411
3135.93/3144.33 c #Conflicts: 1759000 | #Constraints: 56861
3135.93/3144.33 c #Conflicts: 1760000 | #Constraints: 58298
3135.93/3144.33 c #Conflicts: 1761000 | #Constraints: 59764
3135.93/3144.33 c #Conflicts: 1762000 | #Constraints: 61252
3135.93/3144.33 c #Conflicts: 1763000 | #Constraints: 62695
3135.93/3144.33 c #Conflicts: 1764000 | #Constraints: 64141
3135.93/3144.33 c #Conflicts: 1765000 | #Constraints: 65583
3135.93/3144.33 c #Conflicts: 1766000 | #Constraints: 67035
3135.93/3144.33 c #Conflicts: 1767000 | #Constraints: 68512
3135.93/3144.33 c #Conflicts: 1768000 | #Constraints: 69972
3135.93/3144.33 c #Conflicts: 1769000 | #Constraints: 71439
3135.93/3144.33 c #Conflicts: 1770000 | #Constraints: 72904
3135.93/3144.33 c #Conflicts: 1771000 | #Constraints: 74371
3135.93/3144.33 c #Conflicts: 1772000 | #Constraints: 75841
3135.93/3144.33 c #Conflicts: 1773000 | #Constraints: 77297
3135.93/3144.33 c INPROCESSING
3135.93/3144.33 c GARBAGE COLLECT
3135.93/3144.33 c #Conflicts: 1774000 | #Constraints: 40568
3135.93/3144.33 c #Conflicts: 1775000 | #Constraints: 42001
3135.93/3144.33 c #Conflicts: 1776000 | #Constraints: 43463
3135.93/3144.33 c #Conflicts: 1777000 | #Constraints: 44882
3135.93/3144.33 c #Conflicts: 1778000 | #Constraints: 46332
3135.93/3144.33 c #Conflicts: 1779000 | #Constraints: 47798
3135.93/3144.33 c #Conflicts: 1780000 | #Constraints: 49246
3135.93/3144.33 c #Conflicts: 1781000 | #Constraints: 50673
3135.93/3144.33 c #Conflicts: 1782000 | #Constraints: 51999
3135.93/3144.33 c #Conflicts: 1783000 | #Constraints: 53307
3135.93/3144.33 c #Conflicts: 1784000 | #Constraints: 54573
3135.93/3144.33 c #Conflicts: 1785000 | #Constraints: 55693
3182.62/3191.11 c #Conflicts: 1786000 | #Constraints: 57057
3182.62/3191.11 c #Conflicts: 1787000 | #Constraints: 58345
3182.62/3191.11 c #Conflicts: 1788000 | #Constraints: 59782
3182.62/3191.11 c #Conflicts: 1789000 | #Constraints: 61132
3182.62/3191.11 c #Conflicts: 1790000 | #Constraints: 62402
3182.62/3191.11 c #Conflicts: 1791000 | #Constraints: 63747
3182.62/3191.11 c #Conflicts: 1792000 | #Constraints: 65041
3182.62/3191.11 c #Conflicts: 1793000 | #Constraints: 66266
3182.62/3191.11 c #Conflicts: 1794000 | #Constraints: 67486
3182.62/3191.11 c #Conflicts: 1795000 | #Constraints: 68819
3182.62/3191.11 c #Conflicts: 1796000 | #Constraints: 70030
3182.62/3191.11 c #Conflicts: 1797000 | #Constraints: 71371
3182.62/3191.11 c bounds -79 >= -80 @ 3167.12
3278.36/3287.16 c #Conflicts: 1798000 | #Constraints: 72651
3278.36/3287.16 c #Conflicts: 1799000 | #Constraints: 74096
3278.36/3287.16 c #Conflicts: 1800000 | #Constraints: 75462
3278.36/3287.16 c INPROCESSING
3278.36/3287.16 c GARBAGE COLLECT
3278.36/3287.16 c #Conflicts: 1801000 | #Constraints: 39623
3278.36/3287.16 c #Conflicts: 1802000 | #Constraints: 40991
3278.36/3287.16 c #Conflicts: 1803000 | #Constraints: 42414
3278.36/3287.16 c #Conflicts: 1804000 | #Constraints: 43903
3278.36/3287.16 c #Conflicts: 1805000 | #Constraints: 45358
3278.36/3287.16 c #Conflicts: 1806000 | #Constraints: 46816
3278.36/3287.16 c #Conflicts: 1807000 | #Constraints: 48225
3278.36/3287.16 c #Conflicts: 1808000 | #Constraints: 49479
3278.36/3287.16 c #Conflicts: 1809000 | #Constraints: 50743
3278.36/3287.16 c #Conflicts: 1810000 | #Constraints: 52176
3278.36/3287.16 c #Conflicts: 1811000 | #Constraints: 53393
3278.36/3287.16 c #Conflicts: 1812000 | #Constraints: 54838
3278.36/3287.16 c #Conflicts: 1813000 | #Constraints: 56285
3278.36/3287.16 c #Conflicts: 1814000 | #Constraints: 57703
3278.36/3287.16 c #Conflicts: 1815000 | #Constraints: 59107
3278.36/3287.16 c #Conflicts: 1816000 | #Constraints: 60561
3278.36/3287.16 c #Conflicts: 1817000 | #Constraints: 62036
3278.36/3287.16 c #Conflicts: 1818000 | #Constraints: 63467
3278.36/3287.16 c #Conflicts: 1819000 | #Constraints: 64880
3278.36/3287.16 c #Conflicts: 1820000 | #Constraints: 66353
3278.36/3287.16 c #Conflicts: 1821000 | #Constraints: 67691
3278.36/3287.16 c #Conflicts: 1822000 | #Constraints: 69049
3278.36/3287.16 c #Conflicts: 1823000 | #Constraints: 70404
3278.36/3287.16 c #Conflicts: 1824000 | #Constraints: 71880
3278.36/3287.16 c #Conflicts: 1825000 | #Constraints: 73327
3278.36/3287.16 c #Conflicts: 1826000 | #Constraints: 74778
3278.36/3287.16 c #Conflicts: 1827000 | #Constraints: 76238
3278.36/3287.16 c INPROCESSING
3278.36/3287.16 c GARBAGE COLLECT
3278.36/3287.16 c bounds -80 >= -80 @ 3262.65
3278.36/3287.16 c cpu time 3262.65 s
3278.36/3287.16 c deterministic time 262087879458 2.62e+11
3278.36/3287.16 c optimization time 0.009018 s
3278.36/3287.16 c total solve time 3262.64 s
3278.36/3287.16 c core-guided solve time 1754.09 s
3278.36/3287.16 c propagation time 2327.49 s
3278.36/3287.16 c conflict analysis time 907.673 s
3278.36/3287.16 c propagations 206574613
3278.36/3287.16 c resolve steps 26358898
3278.36/3287.16 c decisions 3411096
3278.36/3287.16 c conflicts 1827290
3278.36/3287.16 c restarts 3577
3278.36/3287.16 c inprocessing phases 126
3278.36/3287.16 c garbage collections 126 ,( 100.00 )
3278.36/3287.16 c input clauses 524 ,( 32.47 )
3278.36/3287.16 c input cardinalities 433 ,( 26.83 )
3278.36/3287.16 c input general constraints 657 ,( 40.71 )
3278.36/3287.16 c input average constraint length 42.47
3278.36/3287.16 c input average constraint degree 12.07
3278.36/3287.16 c learned clauses 1080791 ,( 45.45 )
3278.36/3287.16 c learned cardinalities 558 ,( 0.02 )
3278.36/3287.16 c learned general constraints 1296811 ,( 54.53 )
3278.36/3287.16 c learned average constraint length 159.09
3278.36/3287.16 c learned average constraint degree 3519928922.67
3278.36/3287.16 c watched CF 32, 64, 128, Arb: 324880 , 0 , 0 , 0
3278.36/3287.16 c counting CF 32, 64, 128, Arb: 972589 , 0 , 0 , 0
3278.36/3287.16 c watched constraints 324880 ,( 25.04 )
3278.36/3287.16 c counting constraints 972588 ,( 74.96 )
3278.36/3287.16 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 795353652 , 101843830 , 9475866978 ,( 378284977 , 9097582001 )
3278.36/3287.16 c gcd simplifications 82813
3278.36/3287.16 c detected cardinalities 263
3278.36/3287.16 c weakened non-implied lits 147318588
3278.36/3287.16 c weakened non-implying lits 82389
3278.36/3287.16 c original variables 441
3278.36/3287.16 c clausal propagations 42494694
3278.36/3287.16 c cardinality propagations 12579461
3278.36/3287.16 c watched propagations 884177
3278.36/3287.16 c counting propagations 143456012
3278.36/3287.16 c watch lookups 239575269811
3278.36/3287.16 c watch backjump lookups 0
3278.36/3287.16 c watch checks 6420361951
3278.36/3287.16 c propagation checks 14837537943
3278.36/3287.16 c constraint additions 831084832
3278.36/3287.16 c trail pops 211801649
3278.36/3287.16 c formula constraints 576
3278.36/3287.16 c learned constraints 1816086
3278.36/3287.16 c bound constraints 178
3278.36/3287.16 c core-guided constraints 860
3278.36/3287.16 c encountered formula constraints 8174027
3278.36/3287.16 c encountered learned constraints 14778401
3278.36/3287.16 c encountered bound constraints 483
3278.36/3287.16 c encountered core-guided constraints 4179472
3278.36/3287.16 c LP total time 224.452 s
3278.36/3287.16 c LP solve time 129.93 s
3278.36/3287.16 c LP constraints added 1528
3278.36/3287.16 c LP constraints removed 927
3278.36/3287.16 c LP pivots internal 1827213
3278.36/3287.16 c LP pivots root 10349
3278.36/3287.16 c LP calls 601719
3278.36/3287.16 c LP optimalities 51230
3278.36/3287.16 c LP no pivot count 18177
3278.36/3287.16 c LP infeasibilities 550487
3278.36/3287.16 c LP valid Farkas constraints 550487
3278.36/3287.16 c LP learned Farkas constraints 11253
3278.36/3287.16 c LP basis resets 1
3278.36/3287.16 c LP cycling count 0
3278.36/3287.16 c LP singular count 1
3278.36/3287.16 c LP no primal count 0
3278.36/3287.16 c LP no farkas count 0
3278.36/3287.16 c LP other issue count 0
3278.36/3287.16 c LP Gomory cuts 334
3278.36/3287.16 c LP learned cuts 618
3278.36/3287.16 c LP deleted cuts 927
3278.36/3287.16 c LP encountered Gomory constraints 690466
3278.36/3287.16 c LP encountered Farkas constraints 300876
3278.36/3287.16 c LP encountered learned Farkas constraints 51210
3278.36/3287.16 c CG auxiliary variables introduced 330
3278.36/3287.16 c CG solutions found 23
3278.36/3287.16 c CG cores constructed 130
3278.36/3287.16 c CG core cardinality constraints returned 0
3278.36/3287.16 c CG unit cores 0
3278.36/3287.16 c CG single cores 130
3278.36/3287.16 c CG blocks removed during cardinality reduction 0
3278.36/3287.16 c CG first core best 0
3278.36/3287.16 c CG decision core best 0
3278.36/3287.16 c CG core reduction tie 0
3278.36/3287.16 c CG core degree average 1.00
3278.36/3287.16 c CG core slack average 4.58
3278.36/3287.16 c CG core upper bound improvements 36
3278.36/3287.16 c STR number of successful calls 0
3278.36/3287.16 c STR number of unsuccessful calls 0
3278.36/3287.16 c STR number of inconclusive calls 0
3278.36/3287.16 c STR number of successful attempts 0
3278.36/3287.16 c STR number of unsuccessful attempts 0
3278.36/3287.16 c STR number of inconclusive attempts 0
3278.36/3287.16 c STR average degree increase per successful call inf
3278.36/3287.16 c STR average degree increase per successful attempt inf
3278.36/3287.16 c STR total number of conflicts for successful attempts 0
3278.36/3287.16 c STR total number of conflicts for unsuccessful attempts 0
3278.36/3287.16 c STR total number of conflicts for inconclusive attempts 0
3278.36/3287.16 c STR average number of conflicts per successful attempt inf
3278.36/3287.16 c STR average number of conflicts per unsuccessful attempt inf
3278.36/3287.16 c STR average number of conflicts per inconclusive attempt inf
3278.36/3287.16 c AVG.sumWPerc 50.67
3278.36/3287.16 c bigint constraints 0
3278.36/3287.16 o -80
3278.36/3287.16 s OPTIMUM FOUND
3278.36/3287.16 v x1 x2 x3 -x4 -x5 x6 -x7 -x8 x9 -x10 x11 -x12 x13 -x14 -x15 x16 x17 x18 x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 -x28 x29 x30 -x31 x32 x33 x34 -x35 x36 -x37 x38 x39 -x40 x41 -x42 -x43 x44 -x45 -x46 x47 x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 x63 x64 x65 x66 x67 -x68 -x69 x70 x71 -x72 x73 x74 -x75 x76 -x77 -x78 x79 -x80 -x81 x82 x83 -x84 -x85 -x86 x87 x88 -x89 -x90 x91 x92 -x93 -x94 -x95 x96 x97 x98 -x99 x100 -x101 -x102 x103 x104 x105 x106 -x107 -x108 -x109 x110 -x111 -x112 x113 -x114 x115 x116 x117 x118 x119 -x120 x121 x122 -x123 x124 -x125 x126 -x127 -x128 x129 -x130 -x131 -x132 x133 x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 x142 x143 x144 x145 x146 x147 x148 -x149 -x150 x151 x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 x248 -x249 x250 x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 x324 x325 x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 x341 x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 x416 x417 x418 -x419 -x420 x421 -x422 -x423 -x424 x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 x437 x438 -x439 -x440 x441
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 (62726 MiB free)
memory of node 1: 64507 MiB (63889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508784-1751509148/watcher-4508784-1751509148 -o /tmp/evaluation-result-4508784-1751509148/solver-4508784-1751509148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751509141-76422 --watchdog 3760 run-opt-break.sh HOME/instance-4508784-1751509148.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=76945, runsolver pid=76941
[startup+0.100057 s]*
/proc/loadavg: 1.06 2.29 3.33 5/269 76958
/proc/meminfo: memFree=129644152/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=58416 memory=15136 CPUtime=0.07 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 1215 0 0 0 6 1 0 0 20 0 1 0 66595086 59817984 3784 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 14604 3784 2400 1147 0 2031 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62608 KiB
Current children cumulated memory: 18080 KiB
[startup+0.205783 s]*
/proc/loadavg: 1.06 2.29 3.33 5/269 76958
/proc/meminfo: memFree=129556684/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=59628 memory=16416 CPUtime=0.18 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 1537 0 0 0 16 2 0 0 20 0 1 0 66595086 61059072 4104 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 14907 4104 2400 1147 0 2334 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63820 KiB
Current children cumulated memory: 19360 KiB
[startup+0.305662 s]*
/proc/loadavg: 1.06 2.29 3.33 5/269 76958
/proc/meminfo: memFree=129530600/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=60844 memory=17568 CPUtime=0.28 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 1820 0 0 0 26 2 0 0 20 0 1 0 66595086 62304256 4392 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 15211 4392 2400 1147 0 2638 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 65036 KiB
Current children cumulated memory: 20512 KiB
[startup+0.700179 s]
/proc/loadavg: 1.06 2.29 3.33 5/269 76958
/proc/meminfo: memFree=129415168/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=61456 memory=18208 CPUtime=0.67 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 1984 0 0 0 63 4 0 0 20 0 1 0 66595086 62930944 4552 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 15364 4552 2400 1147 0 2791 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 65648 KiB
Current children cumulated memory: 21152 KiB
[startup+1.50016 s]
/proc/loadavg: 1.06 2.29 3.33 5/269 76959
/proc/meminfo: memFree=129487176/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=63404 memory=22052 CPUtime=1.46 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 2417 0 0 0 140 6 0 0 20 0 1 0 66595086 64925696 5513 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 15851 5513 2400 1147 0 3278 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 67596 KiB
Current children cumulated memory: 24996 KiB
[startup+3.10553 s]
/proc/loadavg: 1.30 2.32 3.33 5/269 76959
/proc/meminfo: memFree=129178776/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=67812 memory=25892 CPUtime=3.06 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 3401 0 0 0 295 11 0 0 20 0 1 0 66595086 69439488 6473 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 16953 6473 2400 1147 0 4380 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 72004 KiB
Current children cumulated memory: 28836 KiB
[startup+6.30019 s]
/proc/loadavg: 1.30 2.32 3.33 5/269 76959
/proc/meminfo: memFree=129010648/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=70916 memory=28708 CPUtime=6.25 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 4083 0 0 0 603 22 0 0 20 0 1 0 66595086 72617984 7177 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 17729 7177 2400 1147 0 5156 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 75108 KiB
Current children cumulated memory: 31652 KiB
[startup+12.7002 s]
/proc/loadavg: 1.51 2.35 3.33 5/269 76959
/proc/meminfo: memFree=128864900/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=75072 memory=30244 CPUtime=12.63 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 4483 0 0 0 1226 37 0 0 20 0 1 0 66595086 76873728 7561 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 18768 7561 2400 1147 0 6195 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 79264 KiB
Current children cumulated memory: 33188 KiB
[startup+25.5001 s]
/proc/loadavg: 2.06 2.43 3.35 5/270 76961
/proc/meminfo: memFree=128645700/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=80380 memory=37412 CPUtime=25.4 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 6268 0 0 0 2470 70 0 0 20 0 1 0 66595086 82309120 9353 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 20095 9353 2400 1147 0 7522 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 84572 KiB
Current children cumulated memory: 40356 KiB
[startup+51.1057 s]
/proc/loadavg: 2.73 2.56 3.37 5/270 76961
/proc/meminfo: memFree=128292540/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=101784 memory=55660 CPUtime=50.94 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 10340 0 0 0 4970 124 0 0 20 0 1 0 66595086 104226816 13915 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 25446 13915 2400 1147 0 12873 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 105976 KiB
Current children cumulated memory: 58604 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.82 3.41 5/269 76967
/proc/meminfo: memFree=127354452/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=122880 memory=70796 CPUtime=102 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 14263 0 0 0 9963 237 0 0 20 0 1 0 66595086 125829120 17699 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 30720 17699 2400 1147 0 18147 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 127072 KiB
Current children cumulated memory: 73740 KiB
[startup+162.3 s]
/proc/loadavg: 4.33 3.19 3.51 5/269 76969
/proc/meminfo: memFree=126858792/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=135016 memory=83332 CPUtime=161.84 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 17124 0 0 0 15839 345 0 0 20 0 1 0 66595086 138256384 20833 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 33754 20833 2400 1147 0 21181 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 139208 KiB
Current children cumulated memory: 86276 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 3.37 3.55 5/269 76973
/proc/meminfo: memFree=125980524/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=224100 memory=148808 CPUtime=221.69 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 30587 0 0 0 21774 395 0 0 20 0 1 0 66595086 229478400 37202 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 56025 37202 2400 1147 0 43452 0
################
# More data... #
################
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 62467 0 0 0 295950 1486 0 0 20 0 1 0 66595086 399745024 75801 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 97594 75801 2496 1147 0 85021 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 394568 KiB
Current children cumulated memory: 306148 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/267 77112
/proc/meminfo: memFree=120561376/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=390376 memory=303352 CPUtime=3034.2 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 62605 0 0 0 301920 1500 0 0 20 0 1 0 66595086 399745024 75838 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 97594 75838 2496 1147 0 85021 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 394568 KiB
Current children cumulated memory: 306296 KiB
[startup+3102.3 s]
/proc/loadavg: 4.35 4.18 4.08 5/267 77118
/proc/meminfo: memFree=120535700/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=390376 memory=303352 CPUtime=3094.05 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 62616 0 0 0 307883 1522 0 0 20 0 1 0 66595086 399745024 75838 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 97594 75838 2496 1147 0 85021 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 394568 KiB
Current children cumulated memory: 306296 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.08 5/266 77120
/proc/meminfo: memFree=120508772/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=392592 memory=309436 CPUtime=3153.89 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 63232 0 0 0 313845 1544 0 0 20 0 1 0 66595086 402014208 77359 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 98148 77359 2496 1147 0 85575 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 396784 KiB
Current children cumulated memory: 312380 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/267 77125
/proc/meminfo: memFree=120487420/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=393180 memory=309820 CPUtime=3213.72 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 63356 0 0 0 319809 1563 0 0 20 0 1 0 66595086 402616320 77455 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 98295 77455 2496 1147 0 85722 0
Current children cumulated CPU time: 3213.72 s
Current children cumulated vsize: 397372 KiB
Current children cumulated memory: 312764 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.08 5/267 77127
/proc/meminfo: memFree=120473160/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=393180 memory=309820 CPUtime=3273.57 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 63356 0 0 0 325780 1577 0 0 20 0 1 0 66595086 402616320 77455 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 98295 77455 2496 1147 0 85722 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 397372 KiB
Current children cumulated memory: 312764 KiB
[startup+3287.17 s]
# the end of solver process 76945 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3262.65 s, system=15.7885 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3283.2 s]
/proc/loadavg: 4.14 4.14 4.08 5/267 77127
/proc/meminfo: memFree=120473160/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=393180 memory=309820 CPUtime=3274.47 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 63356 0 0 0 325870 1577 0 0 20 0 1 0 66595086 402616320 77455 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 98295 77455 2496 1147 0 85722 0
Current children cumulated CPU time: 3274.47 s
Current children cumulated vsize: 397372 KiB
Current children cumulated memory: 312764 KiB
[startup+3284.8 s]
/proc/loadavg: 4.13 4.14 4.08 5/267 77127
/proc/meminfo: memFree=120469680/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=393180 memory=309820 CPUtime=3276.06 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 63356 0 0 0 326029 1577 0 0 20 0 1 0 66595086 402616320 77455 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 98295 77455 2496 1147 0 85722 0
Current children cumulated CPU time: 3276.06 s
Current children cumulated vsize: 397372 KiB
Current children cumulated memory: 312764 KiB
[startup+3286.4 s]
/proc/loadavg: 4.13 4.14 4.08 5/267 77127
/proc/meminfo: memFree=120469680/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=393180 memory=309820 CPUtime=3277.66 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 63357 0 0 0 326189 1577 0 0 20 0 1 0 66595086 402616320 77455 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 98295 77455 2496 1147 0 85722 0
Current children cumulated CPU time: 3277.66 s
Current children cumulated vsize: 397372 KiB
Current children cumulated memory: 312764 KiB
[startup+3286.8 s]
/proc/loadavg: 4.13 4.14 4.08 5/267 77127
/proc/meminfo: memFree=120469680/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=393180 memory=309820 CPUtime=3278.06 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 63357 0 0 0 326229 1577 0 0 20 0 1 0 66595086 402616320 77455 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 98295 77455 2496 1147 0 85722 0
Current children cumulated CPU time: 3278.06 s
Current children cumulated vsize: 397372 KiB
Current children cumulated memory: 312764 KiB
[startup+3287 s]*
/proc/loadavg: 4.13 4.14 4.08 5/267 77127
/proc/meminfo: memFree=120469680/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=393180 memory=309820 CPUtime=3278.26 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 63359 0 0 0 326249 1577 0 0 20 0 1 0 66595086 402616320 77455 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 98295 77455 2496 1147 0 85722 0
Current children cumulated CPU time: 3278.26 s
Current children cumulated vsize: 397372 KiB
Current children cumulated memory: 312764 KiB
[startup+3287.11 s]
/proc/loadavg: 4.13 4.14 4.08 5/267 77127
/proc/meminfo: memFree=120469680/131250000 swapFree=33008100/33010684
[pid=76945] ppid=76941 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76945/stat : 76945 (run-opt-break.s) S 76941 76945 76410 0 -1 4194304 238 387 0 0 0 0 0 0 20 0 1 0 66595084 4292608 736 18446744073709551615 94787996852224 94787997746757 140732891610656 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94787997985808 94787998033552 94788015411200 140732891617633 140732891617762 140732891617762 140732891623364 0
/proc/76945/statm: 1048 736 672 219 0 110 0
[pid=76948] ppid=76945 vsize=393180 memory=309820 CPUtime=3278.36 cores=1,3
/proc/76948/stat : 76948 (roundingsat) R 76945 76945 76410 0 -1 4194304 63359 0 0 0 326259 1577 0 0 20 0 1 0 66595086 402616320 77455 18446744073709551615 4227072 8923433 140736787618832 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35717120 140736787622244 140736787622440 140736787622440 140736787628010 0
/proc/76948/statm: 98295 77455 2496 1147 0 85722 0
Current children cumulated CPU time: 3278.36 s
Current children cumulated vsize: 397372 KiB
Current children cumulated memory: 312764 KiB
Child status: 0
Real time (s): 3287.17
CPU time (s): 3278.44
CPU user time (s): 3262.65
CPU system time (s): 15.7885
CPU usage (%): 99.7345
Max. virtual memory (cumulated for all children) (KiB): 397372
Max. memory (cumulated for all children) (KiB): 312764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3262.65
system time used= 15.7885
maximum resident set size= 309900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64009
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 292
involuntary context switches= 5187
# summary of solver processes directly reported to runsolver:
# pid: 76945
# total CPU time (s): 3278.44
# total CPU user time (s): 3262.65
# total CPU system time (s): 15.7885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95846 second user time and 16.1071 second system time
The end
Begin job on nodeC013 at 2025-07-03 04:19:08
IDJOB=4508784
IDBENCH=158472
IDSOLVER=3359
FILE ID=nodeC013/4508784-1751509148
RUNJOBID= nodeC013-1751509141-76422
SLURM_JOB_ID= 9598609
Free space on /tmp= 432672 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament18.lin.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508784-1751509148/watcher-4508784-1751509148 -o /tmp/evaluation-result-4508784-1751509148/solver-4508784-1751509148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751509141-76422 --watchdog 3760 run-opt-break.sh HOME/instance-4508784-1751509148.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 609ffeb3252de5d8ecab6cf3f101c41d
RANDOM SEED=1501966946
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.841
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3598.718
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3781.060
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.836
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.840
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.884
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3601.270
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129655564 kB
MemAvailable: 129616588 kB
Buffers: 1668 kB
Cached: 758552 kB
SwapCached: 2128 kB
Active: 536596 kB
Inactive: 494096 kB
Active(anon): 263604 kB
Inactive(anon): 18020 kB
Active(file): 272992 kB
Inactive(file): 476076 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008100 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25864 kB
Writeback: 0 kB
AnonPages: 271480 kB
Mapped: 109136 kB
Shmem: 11148 kB
KReclaimable: 101992 kB
Slab: 190768 kB
SReclaimable: 101992 kB
SUnreclaim: 88776 kB
KernelStack: 4256 kB
PageTables: 3612 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 579548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 112640 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432636 MiB
End job on nodeC013 at 2025-07-03 05:13:56