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-4532656-1752686330.opb'
0.00/0.01 c read 0.02MB (0.45ms)
0.00/0.01 c [cnf: #variables 441 #clauses 577 #duplicates 0 #arr 2117]
0.00/0.01 c output proof to '/tmp/proof-4532656-1752686330'
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-4532656-1752686330.opb.pre'
0.00/0.01 c wrote 0.02MB (0.11ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.53ms 34.19% approx_orbits
0.00/0.01 c 0.45ms 29.37% parse
0.00/0.01 c 0.17ms 11.25% other
0.00/0.01 c 0.17ms 11.03% detect_generic
0.00/0.01 c 0.11ms 7.32% output
0.00/0.01 c 0.09ms 5.98% detect_special
0.00/0.01 c 0.01ms 0.86% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 1.54ms 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 0f876b3
0.00/0.02 c #variables 441 #constraints 576
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 289 , 0 , 0 , 0
0.00/0.02 c bounds - >= -210 @ 0.003071
0.00/0.03 c rational objective -100
0.00/0.05 c bounds -58 >= -210 @ 0.024574
0.00/0.05 c bounds -58 >= -209 @ 0.024824
0.00/0.05 c bounds -58 >= -208 @ 0.024978
0.00/0.05 c bounds -58 >= -207 @ 0.025126
0.00/0.05 c bounds -58 >= -206 @ 0.025286
0.00/0.05 c bounds -58 >= -205 @ 0.025434
0.00/0.05 c bounds -58 >= -204 @ 0.025582
0.00/0.05 c bounds -58 >= -203 @ 0.025723
0.00/0.05 c bounds -58 >= -202 @ 0.025868
0.00/0.05 c bounds -58 >= -201 @ 0.026009
0.00/0.05 c bounds -58 >= -200 @ 0.026149
0.00/0.05 c bounds -58 >= -199 @ 0.026149
0.00/0.05 c bounds -58 >= -198 @ 0.026149
0.00/0.05 c bounds -58 >= -197 @ 0.026149
0.00/0.05 c bounds -58 >= -196 @ 0.026149
0.00/0.05 c bounds -58 >= -195 @ 0.026149
0.00/0.05 c bounds -58 >= -194 @ 0.026149
0.00/0.05 c bounds -58 >= -193 @ 0.02624
0.00/0.05 c bounds -58 >= -192 @ 0.026395
0.00/0.05 c bounds -58 >= -191 @ 0.026545
0.00/0.05 c bounds -58 >= -190 @ 0.026699
0.00/0.05 c bounds -58 >= -189 @ 0.026849
0.00/0.05 c bounds -58 >= -188 @ 0.026981
0.00/0.05 c bounds -58 >= -187 @ 0.027114
0.00/0.05 c bounds -58 >= -186 @ 0.027147
0.00/0.05 c bounds -58 >= -185 @ 0.027147
0.00/0.05 c bounds -58 >= -184 @ 0.027147
0.00/0.05 c bounds -59 >= -184 @ 0.027147
0.00/0.05 c bounds -59 >= -183 @ 0.027243
0.00/0.05 c bounds -59 >= -182 @ 0.027391
0.00/0.05 c bounds -59 >= -181 @ 0.027537
0.00/0.05 c bounds -59 >= -180 @ 0.027692
0.00/0.05 c bounds -59 >= -179 @ 0.027827
0.00/0.05 c bounds -59 >= -178 @ 0.027951
0.00/0.05 c bounds -59 >= -177 @ 0.028072
0.00/0.05 c bounds -59 >= -176 @ 0.028206
0.00/0.05 c bounds -59 >= -175 @ 0.028359
0.00/0.05 c bounds -59 >= -174 @ 0.028503
0.00/0.05 c bounds -59 >= -173 @ 0.028654
0.00/0.05 c bounds -59 >= -172 @ 0.028795
0.00/0.05 c bounds -59 >= -171 @ 0.028942
0.00/0.05 c bounds -59 >= -170 @ 0.02909
0.00/0.05 c bounds -59 >= -169 @ 0.029224
0.00/0.05 c bounds -59 >= -168 @ 0.029758
0.00/0.05 c bounds -59 >= -167 @ 0.02991
0.00/0.05 c bounds -59 >= -166 @ 0.030053
0.00/0.05 c bounds -59 >= -165 @ 0.030203
0.00/0.05 c bounds -59 >= -164 @ 0.030344
0.00/0.05 c bounds -59 >= -163 @ 0.030486
0.00/0.05 c bounds -59 >= -162 @ 0.030632
0.00/0.05 c bounds -59 >= -161 @ 0.030775
0.00/0.06 c bounds -60 >= -161 @ 0.033346
0.00/0.06 c bounds -60 >= -160 @ 0.033504
0.00/0.06 c bounds -60 >= -159 @ 0.033645
0.00/0.06 c bounds -60 >= -158 @ 0.033797
0.00/0.06 c bounds -60 >= -157 @ 0.033936
0.00/0.06 c bounds -60 >= -156 @ 0.034071
0.00/0.06 c bounds -60 >= -155 @ 0.034218
0.00/0.06 c bounds -60 >= -154 @ 0.034355
0.00/0.06 c bounds -60 >= -153 @ 0.034495
0.00/0.06 c bounds -60 >= -152 @ 0.034646
0.00/0.06 c bounds -60 >= -151 @ 0.034783
0.00/0.06 c bounds -60 >= -150 @ 0.034918
0.00/0.06 c bounds -60 >= -149 @ 0.035059
0.00/0.06 c bounds -60 >= -148 @ 0.035196
0.00/0.06 c bounds -60 >= -147 @ 0.035345
0.00/0.06 c bounds -60 >= -146 @ 0.035501
0.00/0.06 c bounds -60 >= -145 @ 0.035658
0.00/0.06 c bounds -60 >= -144 @ 0.035817
0.00/0.06 c bounds -60 >= -143 @ 0.035968
0.00/0.06 c bounds -60 >= -142 @ 0.036118
0.00/0.06 c bounds -60 >= -141 @ 0.036268
0.00/0.06 c bounds -60 >= -140 @ 0.03646
0.00/0.06 c bounds -60 >= -139 @ 0.036726
0.00/0.06 c bounds -60 >= -138 @ 0.036894
0.00/0.06 c bounds -60 >= -137 @ 0.037057
0.00/0.06 c bounds -60 >= -136 @ 0.037211
0.00/0.06 c bounds -60 >= -135 @ 0.037372
0.00/0.06 c bounds -60 >= -134 @ 0.037546
0.00/0.06 c bounds -60 >= -133 @ 0.037713
0.00/0.06 c bounds -60 >= -132 @ 0.037878
0.00/0.06 c bounds -60 >= -131 @ 0.038063
0.00/0.06 c bounds -60 >= -130 @ 0.038116
0.00/0.06 c bounds -60 >= -129 @ 0.038116
0.00/0.06 c bounds -60 >= -128 @ 0.038116
0.00/0.06 c bounds -60 >= -127 @ 0.038116
0.00/0.06 c bounds -60 >= -126 @ 0.038116
0.00/0.06 c bounds -60 >= -125 @ 0.038116
0.00/0.06 c bounds -60 >= -124 @ 0.038116
0.00/0.06 c bounds -60 >= -123 @ 0.038116
0.00/0.06 c bounds -60 >= -122 @ 0.038116
0.00/0.06 c bounds -60 >= -121 @ 0.038116
0.00/0.06 c bounds -60 >= -120 @ 0.038272
0.00/0.06 c bounds -60 >= -119 @ 0.038466
0.00/0.06 c bounds -60 >= -118 @ 0.03867
0.00/0.06 c bounds -60 >= -117 @ 0.038861
0.00/0.06 c bounds -60 >= -116 @ 0.039057
0.00/0.06 c bounds -60 >= -115 @ 0.039114
0.00/0.06 c bounds -60 >= -114 @ 0.039114
0.00/0.06 c bounds -60 >= -113 @ 0.039114
0.00/0.07 c bounds -60 >= -112 @ 0.039114
0.00/0.07 c bounds -60 >= -111 @ 0.039131
0.00/0.07 c bounds -60 >= -110 @ 0.039344
0.00/0.07 c bounds -60 >= -109 @ 0.039552
0.00/0.07 c bounds -60 >= -108 @ 0.039762
0.00/0.07 c bounds -60 >= -107 @ 0.039971
0.00/0.07 c bounds -61 >= -107 @ 0.040785
0.00/0.07 c bounds -61 >= -106 @ 0.041058
0.00/0.07 c bounds -61 >= -105 @ 0.04111
0.00/0.07 c bounds -61 >= -104 @ 0.04111
0.00/0.07 c bounds -61 >= -103 @ 0.04111
0.00/0.07 c bounds -61 >= -102 @ 0.04111
0.00/0.07 c bounds -61 >= -101 @ 0.041207
0.00/0.07 c bounds -61 >= -100 @ 0.041478
0.00/0.07 c bounds -61 >= -99 @ 0.041745
0.00/0.07 c bounds -61 >= -98 @ 0.04221
0.00/0.07 c bounds -61 >= -97 @ 0.042645
0.00/0.07 c bounds -62 >= -97 @ 0.043684
0.00/0.07 c bounds -62 >= -96 @ 0.04409
0.00/0.07 c bounds -62 >= -95 @ 0.044101
0.00/0.07 c bounds -62 >= -94 @ 0.044101
0.00/0.09 c bounds -62 >= -93 @ 0.057293
0.00/0.09 c bounds -62 >= -92 @ 0.057898
0.00/0.09 c bounds -63 >= -92 @ 0.059166
0.00/0.09 c bounds -63 >= -91 @ 0.059659
0.00/0.09 c bounds -63 >= -90 @ 0.060061
0.00/0.09 c bounds -64 >= -90 @ 0.060911
0.00/0.09 c bounds -64 >= -89 @ 0.062172
0.00/0.10 c bounds -64 >= -88 @ 0.065727
0.07/0.11 c bounds -65 >= -88 @ 0.07237
0.07/0.11 c bounds -65 >= -87 @ 0.073272
0.07/0.12 c bounds -65 >= -86 @ 0.080669
0.07/0.12 c bounds -66 >= -86 @ 0.082129
0.07/0.12 c bounds -67 >= -86 @ 0.082931
0.07/0.12 c bounds -68 >= -86 @ 0.083763
0.07/0.12 c bounds -69 >= -86 @ 0.087072
0.07/0.12 c bounds -70 >= -86 @ 0.087674
0.07/0.14 c bounds -71 >= -86 @ 0.101341
0.07/0.20 c #Conflicts: 1000 | #Constraints: 2388
0.07/0.20 c bounds -71 >= -85 @ 0.157519
0.07/0.20 c bounds -72 >= -85 @ 0.158046
0.38/0.44 c #Conflicts: 2000 | #Constraints: 3448
0.38/0.44 c INPROCESSING
0.38/0.44 c GARBAGE COLLECT
0.38/0.44 c rational objective -85
0.58/0.62 c #Conflicts: 3000 | #Constraints: 3210
0.58/0.62 c bounds -72 >= -84 @ 0.547233
0.58/0.68 c bounds -73 >= -84 @ 0.605795
0.76/0.80 c #Conflicts: 4000 | #Constraints: 4256
0.76/0.80 c INPROCESSING
0.76/0.80 c GARBAGE COLLECT
0.76/0.80 c rational objective -84
0.76/0.84 c bounds -74 >= -84 @ 0.759308
1.36/1.42 c #Conflicts: 5000 | #Constraints: 3605
1.36/1.42 c #Conflicts: 6000 | #Constraints: 4649
1.36/1.42 c INPROCESSING
1.36/1.42 c GARBAGE COLLECT
1.36/1.42 c rational objective -84
1.86/1.90 c #Conflicts: 7000 | #Constraints: 3602
1.86/1.90 c #Conflicts: 8000 | #Constraints: 4602
1.86/1.90 c #Conflicts: 9000 | #Constraints: 5602
1.86/1.90 c INPROCESSING
1.86/1.90 c GARBAGE COLLECT
1.86/1.90 c rational objective -84
1.86/1.94 c bounds -75 >= -84 @ 1.80859
1.97/2.00 c bounds -76 >= -84 @ 1.86788
2.56/2.61 c #Conflicts: 10000 | #Constraints: 4284
2.56/2.61 c #Conflicts: 11000 | #Constraints: 5304
2.56/2.61 c #Conflicts: 12000 | #Constraints: 6328
2.56/2.61 c INPROCESSING
2.56/2.61 c GARBAGE COLLECT
2.56/2.61 c rational objective -84
2.86/2.95 c #Conflicts: 13000 | #Constraints: 4710
2.86/2.95 c bounds -76 >= -83 @ 2.77591
3.16/3.23 c #Conflicts: 14000 | #Constraints: 5758
3.16/3.23 c #Conflicts: 15000 | #Constraints: 6758
3.16/3.23 c INPROCESSING
3.16/3.23 c GARBAGE COLLECT
3.16/3.23 c rational objective -83
3.36/3.44 c bounds -77 >= -83 @ 3.24228
4.15/4.22 c #Conflicts: 16000 | #Constraints: 4987
4.15/4.22 c #Conflicts: 17000 | #Constraints: 6049
4.15/4.22 c #Conflicts: 18000 | #Constraints: 7108
4.15/4.22 c INPROCESSING
4.15/4.22 c GARBAGE COLLECT
4.15/4.22 c rational objective -83
4.96/5.00 c #Conflicts: 19000 | #Constraints: 5034
4.96/5.00 c #Conflicts: 20000 | #Constraints: 6034
4.96/5.00 c #Conflicts: 21000 | #Constraints: 7034
4.96/5.00 c INPROCESSING
4.96/5.00 c GARBAGE COLLECT
4.96/5.00 c rational objective -83
5.25/5.32 c #Conflicts: 22000 | #Constraints: 4819
5.25/5.32 c bounds -78 >= -83 @ 5.05127
5.85/5.96 c #Conflicts: 23000 | #Constraints: 5860
5.85/5.96 c #Conflicts: 24000 | #Constraints: 6924
5.85/5.96 c #Conflicts: 25000 | #Constraints: 7993
5.85/5.96 c INPROCESSING
5.85/5.96 c GARBAGE COLLECT
5.85/5.96 c rational objective -83
6.75/6.89 c #Conflicts: 26000 | #Constraints: 5475
6.75/6.89 c #Conflicts: 27000 | #Constraints: 6475
6.75/6.89 c #Conflicts: 28000 | #Constraints: 7475
6.75/6.89 c #Conflicts: 29000 | #Constraints: 8475
6.75/6.89 c INPROCESSING
6.75/6.89 c GARBAGE COLLECT
6.75/6.89 c rational objective -83
8.05/8.12 c #Conflicts: 30000 | #Constraints: 5853
8.05/8.12 c #Conflicts: 31000 | #Constraints: 6906
8.05/8.12 c #Conflicts: 32000 | #Constraints: 7967
8.05/8.12 c #Conflicts: 33000 | #Constraints: 9028
8.05/8.12 c INPROCESSING
8.05/8.12 c GARBAGE COLLECT
8.05/8.12 c rational objective -83
9.24/9.34 c #Conflicts: 34000 | #Constraints: 6089
9.24/9.34 c #Conflicts: 35000 | #Constraints: 7089
9.24/9.34 c #Conflicts: 36000 | #Constraints: 8089
9.24/9.34 c #Conflicts: 37000 | #Constraints: 9089
9.24/9.34 c INPROCESSING
9.24/9.34 c GARBAGE COLLECT
9.24/9.34 c rational objective -83
10.34/10.49 c #Conflicts: 38000 | #Constraints: 6078
10.34/10.49 c #Conflicts: 39000 | #Constraints: 7137
10.34/10.49 c #Conflicts: 40000 | #Constraints: 8194
10.34/10.49 c #Conflicts: 41000 | #Constraints: 9248
10.34/10.49 c INPROCESSING
10.34/10.49 c GARBAGE COLLECT
10.34/10.49 c rational objective -83
11.83/11.90 c #Conflicts: 42000 | #Constraints: 5930
11.83/11.90 c #Conflicts: 43000 | #Constraints: 6991
11.83/11.90 c #Conflicts: 44000 | #Constraints: 8030
11.83/11.90 c #Conflicts: 45000 | #Constraints: 9066
11.83/11.90 c #Conflicts: 46000 | #Constraints: 10106
11.83/11.90 c INPROCESSING
11.83/11.90 c GARBAGE COLLECT
11.83/11.90 c rational objective -83
12.44/12.54 c #Conflicts: 47000 | #Constraints: 6537
12.44/12.54 c #Conflicts: 48000 | #Constraints: 7537
12.44/12.54 c bounds -78 >= -82 @ 12.0128
13.13/13.25 c #Conflicts: 49000 | #Constraints: 8573
13.13/13.25 c #Conflicts: 50000 | #Constraints: 9573
13.13/13.25 c #Conflicts: 51000 | #Constraints: 10573
13.13/13.25 c INPROCESSING
13.13/13.25 c GARBAGE COLLECT
13.13/13.25 c rational objective -82
14.53/14.66 c #Conflicts: 52000 | #Constraints: 6953
14.53/14.66 c #Conflicts: 53000 | #Constraints: 7997
14.53/14.66 c #Conflicts: 54000 | #Constraints: 9053
14.53/14.66 c #Conflicts: 55000 | #Constraints: 10097
14.53/14.66 c #Conflicts: 56000 | #Constraints: 11154
14.53/14.66 c INPROCESSING
14.53/14.66 c GARBAGE COLLECT
14.53/14.66 c rational objective -82
16.03/16.14 c #Conflicts: 57000 | #Constraints: 7163
16.03/16.14 c #Conflicts: 58000 | #Constraints: 8163
16.03/16.14 c #Conflicts: 59000 | #Constraints: 9163
16.03/16.14 c #Conflicts: 60000 | #Constraints: 10163
16.03/16.14 c #Conflicts: 61000 | #Constraints: 11163
16.03/16.14 c INPROCESSING
16.03/16.14 c GARBAGE COLLECT
16.03/16.14 c rational objective -82
17.42/17.56 c #Conflicts: 62000 | #Constraints: 7112
17.42/17.56 c #Conflicts: 63000 | #Constraints: 8128
17.42/17.56 c #Conflicts: 64000 | #Constraints: 9156
17.42/17.56 c #Conflicts: 65000 | #Constraints: 10215
17.42/17.56 c #Conflicts: 66000 | #Constraints: 11276
17.42/17.56 c INPROCESSING
17.42/17.56 c GARBAGE COLLECT
17.42/17.56 c rational objective -82
19.02/19.17 c #Conflicts: 67000 | #Constraints: 6945
19.02/19.17 c #Conflicts: 68000 | #Constraints: 7945
19.02/19.17 c #Conflicts: 69000 | #Constraints: 8945
19.02/19.17 c #Conflicts: 70000 | #Constraints: 9945
19.02/19.17 c #Conflicts: 71000 | #Constraints: 10945
19.02/19.17 c #Conflicts: 72000 | #Constraints: 11945
19.02/19.17 c INPROCESSING
19.02/19.17 c GARBAGE COLLECT
19.02/19.17 c rational objective -82
21.01/21.10 c #Conflicts: 73000 | #Constraints: 7539
21.01/21.10 c #Conflicts: 74000 | #Constraints: 8621
21.01/21.10 c #Conflicts: 75000 | #Constraints: 9697
21.01/21.10 c #Conflicts: 76000 | #Constraints: 10766
21.01/21.10 c #Conflicts: 77000 | #Constraints: 11832
21.01/21.10 c #Conflicts: 78000 | #Constraints: 12880
21.01/21.10 c INPROCESSING
21.01/21.10 c GARBAGE COLLECT
21.01/21.10 c rational objective -82
22.60/22.77 c #Conflicts: 79000 | #Constraints: 8067
22.60/22.77 c #Conflicts: 80000 | #Constraints: 9096
22.60/22.77 c #Conflicts: 81000 | #Constraints: 10158
22.60/22.77 c #Conflicts: 82000 | #Constraints: 11200
22.60/22.77 c #Conflicts: 83000 | #Constraints: 12251
22.60/22.77 c #Conflicts: 84000 | #Constraints: 13305
22.60/22.77 c INPROCESSING
22.60/22.77 c GARBAGE COLLECT
22.60/22.77 c rational objective -82
24.60/24.70 c #Conflicts: 85000 | #Constraints: 8243
24.60/24.70 c #Conflicts: 86000 | #Constraints: 9243
24.60/24.70 c #Conflicts: 87000 | #Constraints: 10243
24.60/24.70 c #Conflicts: 88000 | #Constraints: 11243
24.60/24.70 c #Conflicts: 89000 | #Constraints: 12243
24.60/24.70 c #Conflicts: 90000 | #Constraints: 13243
24.60/24.70 c INPROCESSING
24.60/24.70 c GARBAGE COLLECT
24.60/24.70 c rational objective -82
26.39/26.56 c #Conflicts: 91000 | #Constraints: 8148
26.39/26.56 c #Conflicts: 92000 | #Constraints: 9161
26.39/26.56 c #Conflicts: 93000 | #Constraints: 10185
26.39/26.56 c #Conflicts: 94000 | #Constraints: 11208
26.39/26.56 c #Conflicts: 95000 | #Constraints: 12229
26.39/26.56 c #Conflicts: 96000 | #Constraints: 13269
26.39/26.56 c INPROCESSING
26.39/26.56 c GARBAGE COLLECT
26.39/26.56 c rational objective -82
28.39/28.58 c #Conflicts: 97000 | #Constraints: 7943
28.39/28.58 c #Conflicts: 98000 | #Constraints: 8943
28.39/28.58 c #Conflicts: 99000 | #Constraints: 9943
28.39/28.58 c #Conflicts: 100000 | #Constraints: 10943
28.39/28.58 c #Conflicts: 101000 | #Constraints: 11943
28.39/28.58 c #Conflicts: 102000 | #Constraints: 12943
28.39/28.58 c #Conflicts: 103000 | #Constraints: 13943
28.39/28.58 c INPROCESSING
28.39/28.58 c GARBAGE COLLECT
28.39/28.58 c rational objective -82
30.39/30.58 c #Conflicts: 104000 | #Constraints: 8522
30.39/30.58 c #Conflicts: 105000 | #Constraints: 9598
30.39/30.58 c #Conflicts: 106000 | #Constraints: 10676
30.39/30.58 c #Conflicts: 107000 | #Constraints: 11736
30.39/30.58 c #Conflicts: 108000 | #Constraints: 12796
30.39/30.58 c #Conflicts: 109000 | #Constraints: 13846
30.39/30.58 c #Conflicts: 110000 | #Constraints: 14892
30.39/30.58 c INPROCESSING
30.39/30.58 c GARBAGE COLLECT
30.39/30.58 c rational objective -82
32.78/32.93 c #Conflicts: 111000 | #Constraints: 9044
32.78/32.93 c #Conflicts: 112000 | #Constraints: 10044
32.78/32.93 c #Conflicts: 113000 | #Constraints: 11044
32.78/32.93 c #Conflicts: 114000 | #Constraints: 12044
32.78/32.93 c #Conflicts: 115000 | #Constraints: 13044
32.78/32.93 c #Conflicts: 116000 | #Constraints: 14044
32.78/32.93 c #Conflicts: 117000 | #Constraints: 15044
32.78/32.93 c INPROCESSING
32.78/32.93 c GARBAGE COLLECT
32.78/32.93 c rational objective -82
34.77/34.95 c #Conflicts: 118000 | #Constraints: 9162
34.77/34.95 c #Conflicts: 119000 | #Constraints: 10190
34.77/34.95 c #Conflicts: 120000 | #Constraints: 11224
34.77/34.95 c #Conflicts: 121000 | #Constraints: 12252
34.77/34.95 c #Conflicts: 122000 | #Constraints: 13279
34.77/34.95 c #Conflicts: 123000 | #Constraints: 14308
34.77/34.95 c #Conflicts: 124000 | #Constraints: 15338
34.77/34.95 c INPROCESSING
34.77/34.95 c GARBAGE COLLECT
34.77/34.95 c rational objective -82
36.86/37.01 c #Conflicts: 125000 | #Constraints: 9180
36.86/37.01 c #Conflicts: 126000 | #Constraints: 10208
36.86/37.01 c #Conflicts: 127000 | #Constraints: 11237
36.86/37.01 c #Conflicts: 128000 | #Constraints: 12280
36.86/37.01 c #Conflicts: 129000 | #Constraints: 13312
36.86/37.01 c #Conflicts: 130000 | #Constraints: 14343
36.86/37.01 c #Conflicts: 131000 | #Constraints: 15374
36.86/37.01 c INPROCESSING
36.86/37.01 c GARBAGE COLLECT
36.86/37.01 c rational objective -82
39.46/39.64 c #Conflicts: 132000 | #Constraints: 8989
39.46/39.64 c #Conflicts: 133000 | #Constraints: 9989
39.46/39.64 c #Conflicts: 134000 | #Constraints: 10989
39.46/39.64 c #Conflicts: 135000 | #Constraints: 11989
39.46/39.64 c #Conflicts: 136000 | #Constraints: 12989
39.46/39.64 c #Conflicts: 137000 | #Constraints: 13989
39.46/39.64 c #Conflicts: 138000 | #Constraints: 14989
39.46/39.64 c #Conflicts: 139000 | #Constraints: 15989
39.46/39.64 c INPROCESSING
39.46/39.64 c GARBAGE COLLECT
39.46/39.64 c rational objective -82
42.15/42.30 c #Conflicts: 140000 | #Constraints: 9517
42.15/42.30 c #Conflicts: 141000 | #Constraints: 10538
42.15/42.30 c #Conflicts: 142000 | #Constraints: 11555
42.15/42.30 c #Conflicts: 143000 | #Constraints: 12579
42.15/42.30 c #Conflicts: 144000 | #Constraints: 13600
42.15/42.30 c #Conflicts: 145000 | #Constraints: 14618
42.15/42.30 c #Conflicts: 146000 | #Constraints: 15638
42.15/42.30 c #Conflicts: 147000 | #Constraints: 16648
42.15/42.30 c INPROCESSING
42.15/42.30 c GARBAGE COLLECT
42.15/42.30 c rational objective -82
44.94/45.13 c #Conflicts: 148000 | #Constraints: 9921
44.94/45.13 c #Conflicts: 149000 | #Constraints: 10921
44.94/45.13 c #Conflicts: 150000 | #Constraints: 11921
44.94/45.13 c #Conflicts: 151000 | #Constraints: 12921
44.94/45.13 c #Conflicts: 152000 | #Constraints: 13921
44.94/45.13 c #Conflicts: 153000 | #Constraints: 14921
44.94/45.13 c #Conflicts: 154000 | #Constraints: 15921
44.94/45.13 c #Conflicts: 155000 | #Constraints: 16921
44.94/45.13 c INPROCESSING
44.94/45.13 c GARBAGE COLLECT
44.94/45.13 c rational objective -82
47.63/47.84 c #Conflicts: 156000 | #Constraints: 10081
47.63/47.84 c #Conflicts: 157000 | #Constraints: 11111
47.63/47.84 c #Conflicts: 158000 | #Constraints: 12148
47.63/47.84 c #Conflicts: 159000 | #Constraints: 13160
47.63/47.84 c #Conflicts: 160000 | #Constraints: 14182
47.63/47.84 c #Conflicts: 161000 | #Constraints: 15205
47.63/47.84 c #Conflicts: 162000 | #Constraints: 16218
47.63/47.84 c #Conflicts: 163000 | #Constraints: 17236
47.63/47.84 c INPROCESSING
47.63/47.84 c GARBAGE COLLECT
47.63/47.84 c rational objective -82
50.62/50.89 c #Conflicts: 164000 | #Constraints: 10113
50.62/50.89 c #Conflicts: 165000 | #Constraints: 11113
50.62/50.89 c #Conflicts: 166000 | #Constraints: 12113
50.62/50.89 c #Conflicts: 167000 | #Constraints: 13113
50.62/50.89 c #Conflicts: 168000 | #Constraints: 14113
50.62/50.89 c #Conflicts: 169000 | #Constraints: 15113
50.62/50.89 c #Conflicts: 170000 | #Constraints: 16113
50.62/50.89 c #Conflicts: 171000 | #Constraints: 17113
50.62/50.89 c INPROCESSING
50.62/50.89 c GARBAGE COLLECT
50.62/50.89 c rational objective -82
53.81/54.04 c #Conflicts: 172000 | #Constraints: 9879
53.81/54.04 c #Conflicts: 173000 | #Constraints: 10879
53.81/54.04 c #Conflicts: 174000 | #Constraints: 11879
53.81/54.04 c #Conflicts: 175000 | #Constraints: 12879
53.81/54.04 c #Conflicts: 176000 | #Constraints: 13879
53.81/54.04 c #Conflicts: 177000 | #Constraints: 14879
53.81/54.04 c #Conflicts: 178000 | #Constraints: 15879
53.81/54.04 c #Conflicts: 179000 | #Constraints: 16879
53.81/54.04 c #Conflicts: 180000 | #Constraints: 17879
53.81/54.04 c INPROCESSING
53.81/54.04 c GARBAGE COLLECT
53.81/54.04 c rational objective -82
56.70/56.92 c #Conflicts: 181000 | #Constraints: 10466
56.70/56.92 c #Conflicts: 182000 | #Constraints: 11495
56.70/56.92 c #Conflicts: 183000 | #Constraints: 12523
56.70/56.92 c #Conflicts: 184000 | #Constraints: 13537
56.70/56.92 c #Conflicts: 185000 | #Constraints: 14572
56.70/56.92 c #Conflicts: 186000 | #Constraints: 15608
56.70/56.92 c #Conflicts: 187000 | #Constraints: 16641
56.70/56.92 c #Conflicts: 188000 | #Constraints: 17671
56.70/56.92 c #Conflicts: 189000 | #Constraints: 18695
56.70/56.92 c INPROCESSING
56.70/56.92 c GARBAGE COLLECT
56.70/56.92 c rational objective -82
60.29/60.54 c #Conflicts: 190000 | #Constraints: 10922
60.29/60.54 c #Conflicts: 191000 | #Constraints: 11922
60.29/60.54 c #Conflicts: 192000 | #Constraints: 12922
60.29/60.54 c #Conflicts: 193000 | #Constraints: 13922
60.29/60.54 c #Conflicts: 194000 | #Constraints: 14922
60.29/60.54 c #Conflicts: 195000 | #Constraints: 15922
60.29/60.54 c #Conflicts: 196000 | #Constraints: 16922
60.29/60.54 c #Conflicts: 197000 | #Constraints: 17922
60.29/60.54 c #Conflicts: 198000 | #Constraints: 18922
60.29/60.54 c INPROCESSING
60.29/60.54 c GARBAGE COLLECT
60.29/60.54 c rational objective -82
63.37/63.60 c #Conflicts: 199000 | #Constraints: 11098
63.37/63.60 c #Conflicts: 200000 | #Constraints: 12122
63.37/63.60 c #Conflicts: 201000 | #Constraints: 13141
63.37/63.60 c #Conflicts: 202000 | #Constraints: 14194
63.37/63.60 c #Conflicts: 203000 | #Constraints: 15241
63.37/63.60 c #Conflicts: 204000 | #Constraints: 16284
63.37/63.60 c #Conflicts: 205000 | #Constraints: 17337
63.37/63.60 c #Conflicts: 206000 | #Constraints: 18385
63.37/63.60 c #Conflicts: 207000 | #Constraints: 19431
63.37/63.60 c INPROCESSING
63.37/63.60 c GARBAGE COLLECT
63.37/63.60 c rational objective -82
66.17/66.48 c #Conflicts: 208000 | #Constraints: 11246
66.17/66.48 c #Conflicts: 209000 | #Constraints: 12291
66.17/66.48 c #Conflicts: 210000 | #Constraints: 13337
66.17/66.48 c #Conflicts: 211000 | #Constraints: 14396
66.17/66.48 c #Conflicts: 212000 | #Constraints: 15458
66.17/66.48 c #Conflicts: 213000 | #Constraints: 16509
66.17/66.48 c #Conflicts: 214000 | #Constraints: 17560
66.17/66.48 c #Conflicts: 215000 | #Constraints: 18609
66.17/66.48 c #Conflicts: 216000 | #Constraints: 19645
66.17/66.48 c INPROCESSING
66.17/66.48 c GARBAGE COLLECT
66.17/66.48 c rational objective -82
70.05/70.39 c #Conflicts: 217000 | #Constraints: 11141
70.05/70.39 c #Conflicts: 218000 | #Constraints: 12141
70.05/70.39 c #Conflicts: 219000 | #Constraints: 13141
70.05/70.39 c #Conflicts: 220000 | #Constraints: 14141
70.05/70.39 c #Conflicts: 221000 | #Constraints: 15141
70.05/70.39 c #Conflicts: 222000 | #Constraints: 16141
70.05/70.39 c #Conflicts: 223000 | #Constraints: 17141
70.05/70.39 c #Conflicts: 224000 | #Constraints: 18141
70.05/70.39 c #Conflicts: 225000 | #Constraints: 19141
70.05/70.39 c #Conflicts: 226000 | #Constraints: 20141
70.05/70.39 c INPROCESSING
70.05/70.39 c GARBAGE COLLECT
70.05/70.39 c rational objective -82
73.24/73.59 c #Conflicts: 227000 | #Constraints: 11626
73.24/73.59 c #Conflicts: 228000 | #Constraints: 12690
73.24/73.59 c #Conflicts: 229000 | #Constraints: 13736
73.24/73.59 c #Conflicts: 230000 | #Constraints: 14771
73.24/73.59 c #Conflicts: 231000 | #Constraints: 15829
73.24/73.59 c #Conflicts: 232000 | #Constraints: 16898
73.24/73.59 c #Conflicts: 233000 | #Constraints: 17948
73.24/73.59 c #Conflicts: 234000 | #Constraints: 19006
73.24/73.59 c #Conflicts: 235000 | #Constraints: 20051
73.24/73.59 c #Conflicts: 236000 | #Constraints: 21099
73.24/73.59 c INPROCESSING
73.24/73.59 c GARBAGE COLLECT
73.24/73.59 c rational objective -82
77.52/77.84 c #Conflicts: 237000 | #Constraints: 12148
77.52/77.84 c #Conflicts: 238000 | #Constraints: 13148
77.52/77.84 c #Conflicts: 239000 | #Constraints: 14148
77.52/77.84 c #Conflicts: 240000 | #Constraints: 15148
77.52/77.84 c #Conflicts: 241000 | #Constraints: 16148
77.52/77.84 c #Conflicts: 242000 | #Constraints: 17148
77.52/77.84 c #Conflicts: 243000 | #Constraints: 18148
77.52/77.84 c #Conflicts: 244000 | #Constraints: 19148
77.52/77.84 c #Conflicts: 245000 | #Constraints: 20148
77.52/77.84 c #Conflicts: 246000 | #Constraints: 21148
77.52/77.84 c INPROCESSING
77.52/77.84 c GARBAGE COLLECT
77.52/77.84 c rational objective -82
81.11/81.47 c #Conflicts: 247000 | #Constraints: 12237
81.11/81.47 c #Conflicts: 248000 | #Constraints: 13268
81.11/81.47 c #Conflicts: 249000 | #Constraints: 14290
81.11/81.47 c #Conflicts: 250000 | #Constraints: 15320
81.11/81.47 c #Conflicts: 251000 | #Constraints: 16370
81.11/81.47 c #Conflicts: 252000 | #Constraints: 17397
81.11/81.47 c #Conflicts: 253000 | #Constraints: 18440
81.11/81.47 c #Conflicts: 254000 | #Constraints: 19503
81.11/81.47 c #Conflicts: 255000 | #Constraints: 20559
81.11/81.47 c #Conflicts: 256000 | #Constraints: 21615
81.11/81.47 c INPROCESSING
81.11/81.47 c GARBAGE COLLECT
81.11/81.47 c rational objective -82
84.50/84.82 c #Conflicts: 257000 | #Constraints: 12355
84.50/84.82 c #Conflicts: 258000 | #Constraints: 13401
84.50/84.82 c #Conflicts: 259000 | #Constraints: 14461
84.50/84.82 c #Conflicts: 260000 | #Constraints: 15508
84.50/84.82 c #Conflicts: 261000 | #Constraints: 16549
84.50/84.82 c #Conflicts: 262000 | #Constraints: 17606
84.50/84.82 c #Conflicts: 263000 | #Constraints: 18652
84.50/84.82 c #Conflicts: 264000 | #Constraints: 19696
84.50/84.82 c #Conflicts: 265000 | #Constraints: 20740
84.50/84.82 c #Conflicts: 266000 | #Constraints: 21793
84.50/84.82 c INPROCESSING
84.50/84.82 c GARBAGE COLLECT
84.50/84.82 c rational objective -82
89.29/89.64 c #Conflicts: 267000 | #Constraints: 12216
89.29/89.64 c #Conflicts: 268000 | #Constraints: 13216
89.29/89.64 c #Conflicts: 269000 | #Constraints: 14216
89.29/89.64 c #Conflicts: 270000 | #Constraints: 15216
89.29/89.64 c #Conflicts: 271000 | #Constraints: 16216
89.29/89.64 c #Conflicts: 272000 | #Constraints: 17216
89.29/89.64 c #Conflicts: 273000 | #Constraints: 18216
89.29/89.64 c #Conflicts: 274000 | #Constraints: 19216
89.29/89.64 c #Conflicts: 275000 | #Constraints: 20216
89.29/89.64 c #Conflicts: 276000 | #Constraints: 21216
89.29/89.64 c #Conflicts: 277000 | #Constraints: 22216
89.29/89.64 c INPROCESSING
89.29/89.64 c GARBAGE COLLECT
89.29/89.64 c rational objective -82
92.97/93.38 c #Conflicts: 278000 | #Constraints: 12638
92.97/93.38 c #Conflicts: 279000 | #Constraints: 13650
92.97/93.38 c #Conflicts: 280000 | #Constraints: 14668
92.97/93.38 c #Conflicts: 281000 | #Constraints: 15696
92.97/93.38 c #Conflicts: 282000 | #Constraints: 16717
92.97/93.38 c #Conflicts: 283000 | #Constraints: 17735
92.97/93.38 c #Conflicts: 284000 | #Constraints: 18761
92.97/93.38 c #Conflicts: 285000 | #Constraints: 19772
92.97/93.38 c #Conflicts: 286000 | #Constraints: 20798
92.97/93.38 c #Conflicts: 287000 | #Constraints: 21824
92.97/93.38 c #Conflicts: 288000 | #Constraints: 22839
92.97/93.38 c INPROCESSING
92.97/93.38 c GARBAGE COLLECT
92.97/93.38 c rational objective -82
93.97/94.36 c #Conflicts: 289000 | #Constraints: 13012
93.97/94.36 c #Conflicts: 290000 | #Constraints: 14012
93.97/94.36 c bounds -78 >= -81 @ 91.19
97.96/98.36 c #Conflicts: 291000 | #Constraints: 15051
97.96/98.36 c #Conflicts: 292000 | #Constraints: 16051
97.96/98.36 c #Conflicts: 293000 | #Constraints: 17051
97.96/98.36 c #Conflicts: 294000 | #Constraints: 18051
97.96/98.36 c #Conflicts: 295000 | #Constraints: 19051
97.96/98.36 c #Conflicts: 296000 | #Constraints: 20051
97.96/98.36 c #Conflicts: 297000 | #Constraints: 21051
97.96/98.36 c #Conflicts: 298000 | #Constraints: 22051
97.96/98.36 c #Conflicts: 299000 | #Constraints: 23051
97.96/98.36 c INPROCESSING
97.96/98.36 c GARBAGE COLLECT
97.96/98.36 c rational objective -81
98.95/99.34 c #Conflicts: 300000 | #Constraints: 13176
98.95/99.34 c #Conflicts: 301000 | #Constraints: 14210
98.95/99.34 c #Conflicts: 302000 | #Constraints: 15247
98.95/99.34 c bounds -79 >= -81 @ 96.0373
101.84/102.22 c #Conflicts: 303000 | #Constraints: 16304
101.84/102.22 c #Conflicts: 304000 | #Constraints: 17345
101.84/102.22 c #Conflicts: 305000 | #Constraints: 18418
101.84/102.22 c #Conflicts: 306000 | #Constraints: 19475
101.84/102.22 c #Conflicts: 307000 | #Constraints: 20520
101.84/102.22 c #Conflicts: 308000 | #Constraints: 21567
101.84/102.22 c #Conflicts: 309000 | #Constraints: 22605
101.84/102.22 c #Conflicts: 310000 | #Constraints: 23654
101.84/102.22 c INPROCESSING
101.84/102.22 c GARBAGE COLLECT
101.84/102.22 c rational objective -81
107.03/107.49 c #Conflicts: 311000 | #Constraints: 13338
107.03/107.49 c #Conflicts: 312000 | #Constraints: 14338
107.03/107.49 c #Conflicts: 313000 | #Constraints: 15338
107.03/107.49 c #Conflicts: 314000 | #Constraints: 16338
107.03/107.49 c #Conflicts: 315000 | #Constraints: 17338
107.03/107.49 c #Conflicts: 316000 | #Constraints: 18338
107.03/107.49 c #Conflicts: 317000 | #Constraints: 19338
107.03/107.49 c #Conflicts: 318000 | #Constraints: 20338
107.03/107.49 c #Conflicts: 319000 | #Constraints: 21338
107.03/107.49 c #Conflicts: 320000 | #Constraints: 22338
107.03/107.49 c #Conflicts: 321000 | #Constraints: 23338
107.03/107.49 c INPROCESSING
107.03/107.49 c GARBAGE COLLECT
107.03/107.49 c rational objective -81
111.01/111.44 c #Conflicts: 322000 | #Constraints: 12998
111.01/111.44 c #Conflicts: 323000 | #Constraints: 14043
111.01/111.44 c #Conflicts: 324000 | #Constraints: 15089
111.01/111.44 c #Conflicts: 325000 | #Constraints: 16129
111.01/111.44 c #Conflicts: 326000 | #Constraints: 17174
111.01/111.44 c #Conflicts: 327000 | #Constraints: 18220
111.01/111.44 c #Conflicts: 328000 | #Constraints: 19266
111.01/111.44 c #Conflicts: 329000 | #Constraints: 20309
111.01/111.44 c #Conflicts: 330000 | #Constraints: 21356
111.01/111.44 c #Conflicts: 331000 | #Constraints: 22397
111.01/111.44 c #Conflicts: 332000 | #Constraints: 23434
111.01/111.44 c #Conflicts: 333000 | #Constraints: 24481
111.01/111.44 c INPROCESSING
111.01/111.44 c GARBAGE COLLECT
111.01/111.44 c rational objective -81
115.10/115.52 c #Conflicts: 334000 | #Constraints: 13802
115.10/115.52 c #Conflicts: 335000 | #Constraints: 14863
115.10/115.52 c #Conflicts: 336000 | #Constraints: 15899
115.10/115.52 c #Conflicts: 337000 | #Constraints: 16946
115.10/115.52 c #Conflicts: 338000 | #Constraints: 17974
115.10/115.52 c #Conflicts: 339000 | #Constraints: 19006
115.10/115.52 c #Conflicts: 340000 | #Constraints: 20060
115.10/115.52 c #Conflicts: 341000 | #Constraints: 21100
115.10/115.52 c #Conflicts: 342000 | #Constraints: 22150
115.10/115.52 c #Conflicts: 343000 | #Constraints: 23191
115.10/115.52 c #Conflicts: 344000 | #Constraints: 24236
115.10/115.52 c #Conflicts: 345000 | #Constraints: 25260
115.10/115.52 c INPROCESSING
115.10/115.52 c GARBAGE COLLECT
115.10/115.52 c rational objective -81
120.88/121.33 c #Conflicts: 346000 | #Constraints: 14241
120.88/121.33 c #Conflicts: 347000 | #Constraints: 15241
120.88/121.33 c #Conflicts: 348000 | #Constraints: 16241
120.88/121.33 c #Conflicts: 349000 | #Constraints: 17241
120.88/121.33 c #Conflicts: 350000 | #Constraints: 18241
120.88/121.33 c #Conflicts: 351000 | #Constraints: 19241
120.88/121.33 c #Conflicts: 352000 | #Constraints: 20241
120.88/121.33 c #Conflicts: 353000 | #Constraints: 21241
120.88/121.33 c #Conflicts: 354000 | #Constraints: 22241
120.88/121.33 c #Conflicts: 355000 | #Constraints: 23241
120.88/121.33 c #Conflicts: 356000 | #Constraints: 24241
120.88/121.33 c #Conflicts: 357000 | #Constraints: 25241
120.88/121.33 c INPROCESSING
120.88/121.33 c GARBAGE COLLECT
120.88/121.33 c rational objective -81
124.77/125.21 c #Conflicts: 358000 | #Constraints: 14305
124.77/125.21 c #Conflicts: 359000 | #Constraints: 15370
124.77/125.21 c #Conflicts: 360000 | #Constraints: 16440
124.77/125.21 c #Conflicts: 361000 | #Constraints: 17483
124.77/125.21 c #Conflicts: 362000 | #Constraints: 18522
124.77/125.21 c #Conflicts: 363000 | #Constraints: 19567
124.77/125.21 c #Conflicts: 364000 | #Constraints: 20622
124.77/125.21 c #Conflicts: 365000 | #Constraints: 21680
124.77/125.21 c #Conflicts: 366000 | #Constraints: 22735
124.77/125.21 c #Conflicts: 367000 | #Constraints: 23789
124.77/125.21 c #Conflicts: 368000 | #Constraints: 24852
124.77/125.21 c #Conflicts: 369000 | #Constraints: 25909
124.77/125.21 c INPROCESSING
124.77/125.21 c GARBAGE COLLECT
124.77/125.21 c rational objective -81
130.75/131.25 c #Conflicts: 370000 | #Constraints: 14464
130.75/131.25 c #Conflicts: 371000 | #Constraints: 15464
130.75/131.25 c #Conflicts: 372000 | #Constraints: 16464
130.75/131.25 c #Conflicts: 373000 | #Constraints: 17464
130.75/131.25 c #Conflicts: 374000 | #Constraints: 18464
130.75/131.25 c #Conflicts: 375000 | #Constraints: 19464
130.75/131.25 c #Conflicts: 376000 | #Constraints: 20464
130.75/131.25 c #Conflicts: 377000 | #Constraints: 21464
130.75/131.25 c #Conflicts: 378000 | #Constraints: 22464
130.75/131.25 c #Conflicts: 379000 | #Constraints: 23464
130.75/131.25 c #Conflicts: 380000 | #Constraints: 24464
130.75/131.25 c #Conflicts: 381000 | #Constraints: 25464
130.75/131.25 c INPROCESSING
130.75/131.25 c GARBAGE COLLECT
130.75/131.25 c rational objective -81
135.14/135.64 c #Conflicts: 382000 | #Constraints: 14078
135.14/135.64 c #Conflicts: 383000 | #Constraints: 15109
135.14/135.64 c #Conflicts: 384000 | #Constraints: 16139
135.14/135.64 c #Conflicts: 385000 | #Constraints: 17184
135.14/135.64 c #Conflicts: 386000 | #Constraints: 18218
135.14/135.64 c #Conflicts: 387000 | #Constraints: 19251
135.14/135.64 c #Conflicts: 388000 | #Constraints: 20286
135.14/135.64 c #Conflicts: 389000 | #Constraints: 21320
135.14/135.64 c #Conflicts: 390000 | #Constraints: 22356
135.14/135.64 c #Conflicts: 391000 | #Constraints: 23390
135.14/135.64 c #Conflicts: 392000 | #Constraints: 24422
135.14/135.64 c #Conflicts: 393000 | #Constraints: 25447
135.14/135.64 c #Conflicts: 394000 | #Constraints: 26476
135.14/135.64 c INPROCESSING
135.14/135.64 c GARBAGE COLLECT
135.14/135.64 c rational objective -81
141.52/142.08 c #Conflicts: 395000 | #Constraints: 14754
141.52/142.08 c #Conflicts: 396000 | #Constraints: 15754
141.52/142.08 c #Conflicts: 397000 | #Constraints: 16754
141.52/142.08 c #Conflicts: 398000 | #Constraints: 17754
141.52/142.08 c #Conflicts: 399000 | #Constraints: 18754
141.52/142.08 c #Conflicts: 400000 | #Constraints: 19754
141.52/142.08 c #Conflicts: 401000 | #Constraints: 20754
141.52/142.08 c #Conflicts: 402000 | #Constraints: 21754
141.52/142.08 c #Conflicts: 403000 | #Constraints: 22754
141.52/142.08 c #Conflicts: 404000 | #Constraints: 23754
141.52/142.08 c #Conflicts: 405000 | #Constraints: 24754
141.52/142.08 c #Conflicts: 406000 | #Constraints: 25754
141.52/142.08 c #Conflicts: 407000 | #Constraints: 26754
141.52/142.08 c INPROCESSING
141.52/142.08 c GARBAGE COLLECT
141.52/142.08 c rational objective -81
145.50/146.08 c #Conflicts: 408000 | #Constraints: 15092
145.50/146.08 c #Conflicts: 409000 | #Constraints: 16142
145.50/146.08 c #Conflicts: 410000 | #Constraints: 17190
145.50/146.08 c #Conflicts: 411000 | #Constraints: 18228
145.50/146.08 c #Conflicts: 412000 | #Constraints: 19276
145.50/146.08 c #Conflicts: 413000 | #Constraints: 20324
145.50/146.08 c #Conflicts: 414000 | #Constraints: 21374
145.50/146.08 c #Conflicts: 415000 | #Constraints: 22432
145.50/146.08 c #Conflicts: 416000 | #Constraints: 23483
145.50/146.08 c #Conflicts: 417000 | #Constraints: 24520
145.50/146.08 c #Conflicts: 418000 | #Constraints: 25558
145.50/146.08 c #Conflicts: 419000 | #Constraints: 26598
145.50/146.08 c #Conflicts: 420000 | #Constraints: 27648
145.50/146.08 c INPROCESSING
145.50/146.08 c GARBAGE COLLECT
145.50/146.08 c rational objective -81
149.68/150.28 c #Conflicts: 421000 | #Constraints: 15460
149.68/150.28 c #Conflicts: 422000 | #Constraints: 16511
149.68/150.28 c #Conflicts: 423000 | #Constraints: 17554
149.68/150.28 c #Conflicts: 424000 | #Constraints: 18612
149.68/150.28 c #Conflicts: 425000 | #Constraints: 19678
149.68/150.28 c #Conflicts: 426000 | #Constraints: 20739
149.68/150.28 c #Conflicts: 427000 | #Constraints: 21787
149.68/150.28 c #Conflicts: 428000 | #Constraints: 22828
149.68/150.28 c #Conflicts: 429000 | #Constraints: 23874
149.68/150.28 c #Conflicts: 430000 | #Constraints: 24922
149.68/150.28 c #Conflicts: 431000 | #Constraints: 25970
149.68/150.28 c #Conflicts: 432000 | #Constraints: 27010
149.68/150.28 c #Conflicts: 433000 | #Constraints: 28051
149.68/150.28 c INPROCESSING
149.68/150.28 c GARBAGE COLLECT
149.68/150.28 c rational objective -81
156.27/156.85 c #Conflicts: 434000 | #Constraints: 15547
156.27/156.85 c #Conflicts: 435000 | #Constraints: 16547
156.27/156.85 c #Conflicts: 436000 | #Constraints: 17547
156.27/156.85 c #Conflicts: 437000 | #Constraints: 18547
156.27/156.85 c #Conflicts: 438000 | #Constraints: 19547
156.27/156.85 c #Conflicts: 439000 | #Constraints: 20547
156.27/156.85 c #Conflicts: 440000 | #Constraints: 21547
156.27/156.85 c #Conflicts: 441000 | #Constraints: 22547
156.27/156.85 c #Conflicts: 442000 | #Constraints: 23547
156.27/156.85 c #Conflicts: 443000 | #Constraints: 24547
156.27/156.85 c #Conflicts: 444000 | #Constraints: 25547
156.27/156.85 c #Conflicts: 445000 | #Constraints: 26547
156.27/156.85 c #Conflicts: 446000 | #Constraints: 27547
156.27/156.85 c INPROCESSING
156.27/156.85 c GARBAGE COLLECT
156.27/156.85 c rational objective -81
160.45/161.09 c #Conflicts: 447000 | #Constraints: 15119
160.45/161.09 c #Conflicts: 448000 | #Constraints: 16170
160.45/161.09 c #Conflicts: 449000 | #Constraints: 17216
160.45/161.09 c #Conflicts: 450000 | #Constraints: 18270
160.45/161.09 c #Conflicts: 451000 | #Constraints: 19308
160.45/161.09 c #Conflicts: 452000 | #Constraints: 20346
160.45/161.09 c #Conflicts: 453000 | #Constraints: 21387
160.45/161.09 c #Conflicts: 454000 | #Constraints: 22432
160.45/161.09 c #Conflicts: 455000 | #Constraints: 23472
160.45/161.09 c #Conflicts: 456000 | #Constraints: 24514
160.45/161.09 c #Conflicts: 457000 | #Constraints: 25547
160.45/161.09 c #Conflicts: 458000 | #Constraints: 26575
160.45/161.09 c #Conflicts: 459000 | #Constraints: 27610
160.45/161.09 c #Conflicts: 460000 | #Constraints: 28636
160.45/161.09 c INPROCESSING
160.45/161.09 c GARBAGE COLLECT
160.45/161.09 c rational objective -81
164.84/165.47 c #Conflicts: 461000 | #Constraints: 15882
164.84/165.47 c #Conflicts: 462000 | #Constraints: 16932
164.84/165.47 c #Conflicts: 463000 | #Constraints: 17987
164.84/165.47 c #Conflicts: 464000 | #Constraints: 19020
164.84/165.47 c #Conflicts: 465000 | #Constraints: 20052
164.84/165.47 c #Conflicts: 466000 | #Constraints: 21081
164.84/165.47 c #Conflicts: 467000 | #Constraints: 22125
164.84/165.47 c #Conflicts: 468000 | #Constraints: 23164
164.84/165.47 c #Conflicts: 469000 | #Constraints: 24188
164.84/165.47 c #Conflicts: 470000 | #Constraints: 25218
164.84/165.47 c #Conflicts: 471000 | #Constraints: 26259
164.84/165.47 c #Conflicts: 472000 | #Constraints: 27295
164.84/165.47 c #Conflicts: 473000 | #Constraints: 28338
164.84/165.47 c #Conflicts: 474000 | #Constraints: 29370
164.84/165.47 c INPROCESSING
164.84/165.47 c GARBAGE COLLECT
164.84/165.47 c rational objective -81
171.43/172.06 c #Conflicts: 475000 | #Constraints: 16289
171.43/172.06 c #Conflicts: 476000 | #Constraints: 17289
171.43/172.06 c #Conflicts: 477000 | #Constraints: 18289
171.43/172.06 c #Conflicts: 478000 | #Constraints: 19289
171.43/172.06 c #Conflicts: 479000 | #Constraints: 20289
171.43/172.06 c #Conflicts: 480000 | #Constraints: 21289
171.43/172.06 c #Conflicts: 481000 | #Constraints: 22289
171.43/172.06 c #Conflicts: 482000 | #Constraints: 23289
171.43/172.06 c #Conflicts: 483000 | #Constraints: 24289
171.43/172.06 c #Conflicts: 484000 | #Constraints: 25289
171.43/172.06 c #Conflicts: 485000 | #Constraints: 26289
171.43/172.06 c #Conflicts: 486000 | #Constraints: 27294
171.43/172.06 c #Conflicts: 487000 | #Constraints: 28295
171.43/172.06 c #Conflicts: 488000 | #Constraints: 29299
171.43/172.06 c INPROCESSING
171.43/172.06 c GARBAGE COLLECT
171.43/172.06 c rational objective -81
179.20/179.86 c #Conflicts: 489000 | #Constraints: 16322
179.20/179.86 c #Conflicts: 490000 | #Constraints: 17722
179.20/179.86 c #Conflicts: 491000 | #Constraints: 18888
179.20/179.86 c #Conflicts: 492000 | #Constraints: 20189
179.20/179.86 c #Conflicts: 493000 | #Constraints: 21301
179.20/179.86 c #Conflicts: 494000 | #Constraints: 22379
179.20/179.86 c #Conflicts: 495000 | #Constraints: 23528
179.20/179.86 c #Conflicts: 496000 | #Constraints: 24970
179.20/179.86 c #Conflicts: 497000 | #Constraints: 26158
179.20/179.86 c #Conflicts: 498000 | #Constraints: 27292
179.20/179.86 c #Conflicts: 499000 | #Constraints: 28450
179.20/179.86 c #Conflicts: 500000 | #Constraints: 29517
179.20/179.86 c #Conflicts: 501000 | #Constraints: 30707
179.20/179.86 c #Conflicts: 502000 | #Constraints: 31986
179.20/179.86 c INPROCESSING
179.20/179.86 c GARBAGE COLLECT
179.20/179.86 c rational objective -81
187.18/187.83 c #Conflicts: 503000 | #Constraints: 17578
187.18/187.83 c #Conflicts: 504000 | #Constraints: 18619
187.18/187.83 c #Conflicts: 505000 | #Constraints: 19621
187.18/187.83 c #Conflicts: 506000 | #Constraints: 20626
187.18/187.83 c #Conflicts: 507000 | #Constraints: 21633
187.18/187.83 c #Conflicts: 508000 | #Constraints: 22636
187.18/187.83 c #Conflicts: 509000 | #Constraints: 23642
187.18/187.83 c #Conflicts: 510000 | #Constraints: 24649
187.18/187.83 c #Conflicts: 511000 | #Constraints: 25652
187.18/187.83 c #Conflicts: 512000 | #Constraints: 26655
187.18/187.83 c #Conflicts: 513000 | #Constraints: 27660
187.18/187.83 c #Conflicts: 514000 | #Constraints: 28665
187.18/187.83 c #Conflicts: 515000 | #Constraints: 29676
187.18/187.83 c #Conflicts: 516000 | #Constraints: 30681
187.18/187.83 c INPROCESSING
187.18/187.83 c GARBAGE COLLECT
187.18/187.83 c rational objective -81
205.53/206.24 c #Conflicts: 517000 | #Constraints: 16725
205.53/206.24 c #Conflicts: 518000 | #Constraints: 18097
205.53/206.24 c #Conflicts: 519000 | #Constraints: 19470
205.53/206.24 c #Conflicts: 520000 | #Constraints: 20874
205.53/206.24 c #Conflicts: 521000 | #Constraints: 22307
205.53/206.24 c #Conflicts: 522000 | #Constraints: 23722
205.53/206.24 c #Conflicts: 523000 | #Constraints: 25118
205.53/206.24 c #Conflicts: 524000 | #Constraints: 26519
205.53/206.24 c #Conflicts: 525000 | #Constraints: 27906
205.53/206.24 c #Conflicts: 526000 | #Constraints: 29274
205.53/206.24 c #Conflicts: 527000 | #Constraints: 30702
205.53/206.24 c #Conflicts: 528000 | #Constraints: 32103
205.53/206.24 c #Conflicts: 529000 | #Constraints: 33483
205.53/206.24 c #Conflicts: 530000 | #Constraints: 34887
205.53/206.24 c #Conflicts: 531000 | #Constraints: 36319
205.53/206.24 c INPROCESSING
205.53/206.24 c GARBAGE COLLECT
205.53/206.24 c rational objective -81
215.11/215.83 c #Conflicts: 532000 | #Constraints: 19706
215.11/215.83 c #Conflicts: 533000 | #Constraints: 20706
215.11/215.83 c #Conflicts: 534000 | #Constraints: 21706
215.11/215.83 c #Conflicts: 535000 | #Constraints: 22706
215.11/215.83 c #Conflicts: 536000 | #Constraints: 23706
215.11/215.83 c #Conflicts: 537000 | #Constraints: 24706
215.11/215.83 c #Conflicts: 538000 | #Constraints: 25706
215.11/215.83 c #Conflicts: 539000 | #Constraints: 26706
215.11/215.83 c #Conflicts: 540000 | #Constraints: 27706
215.11/215.83 c #Conflicts: 541000 | #Constraints: 28706
215.11/215.83 c #Conflicts: 542000 | #Constraints: 29706
215.11/215.83 c #Conflicts: 543000 | #Constraints: 30706
215.11/215.83 c #Conflicts: 544000 | #Constraints: 31706
215.11/215.83 c #Conflicts: 545000 | #Constraints: 32706
215.11/215.83 c #Conflicts: 546000 | #Constraints: 33706
215.11/215.83 c INPROCESSING
215.11/215.83 c GARBAGE COLLECT
215.11/215.83 c rational objective -81
223.68/224.49 c #Conflicts: 547000 | #Constraints: 18510
223.68/224.49 c #Conflicts: 548000 | #Constraints: 19529
223.68/224.49 c #Conflicts: 549000 | #Constraints: 20532
223.68/224.49 c #Conflicts: 550000 | #Constraints: 21535
223.68/224.49 c #Conflicts: 551000 | #Constraints: 22536
223.68/224.49 c #Conflicts: 552000 | #Constraints: 23542
223.68/224.49 c #Conflicts: 553000 | #Constraints: 24548
223.68/224.49 c #Conflicts: 554000 | #Constraints: 25550
223.68/224.49 c #Conflicts: 555000 | #Constraints: 26555
223.68/224.49 c #Conflicts: 556000 | #Constraints: 27558
223.68/224.49 c #Conflicts: 557000 | #Constraints: 28559
223.68/224.49 c #Conflicts: 558000 | #Constraints: 29560
223.68/224.49 c #Conflicts: 559000 | #Constraints: 30562
223.68/224.49 c #Conflicts: 560000 | #Constraints: 31566
223.68/224.49 c #Conflicts: 561000 | #Constraints: 32579
223.68/224.49 c INPROCESSING
223.68/224.49 c GARBAGE COLLECT
223.68/224.49 c rational objective -81
358.78/359.95 c #Conflicts: 562000 | #Constraints: 18234
358.78/359.95 c #Conflicts: 563000 | #Constraints: 19575
358.78/359.95 c #Conflicts: 564000 | #Constraints: 20870
358.78/359.95 c #Conflicts: 565000 | #Constraints: 22172
358.78/359.95 c #Conflicts: 566000 | #Constraints: 23633
358.78/359.95 c #Conflicts: 567000 | #Constraints: 24980
358.78/359.95 c #Conflicts: 568000 | #Constraints: 26338
358.78/359.95 c #Conflicts: 569000 | #Constraints: 27565
358.78/359.95 c #Conflicts: 570000 | #Constraints: 28652
358.78/359.95 c #Conflicts: 571000 | #Constraints: 29846
358.78/359.95 c #Conflicts: 572000 | #Constraints: 31102
358.78/359.95 c #Conflicts: 573000 | #Constraints: 32443
358.78/359.95 c #Conflicts: 574000 | #Constraints: 33761
358.78/359.95 c #Conflicts: 575000 | #Constraints: 35055
358.78/359.95 c #Conflicts: 576000 | #Constraints: 36333
358.78/359.95 c INPROCESSING
358.78/359.95 c GARBAGE COLLECT
358.78/359.95 c #Conflicts: 577000 | #Constraints: 20061
358.78/359.95 c #Conflicts: 578000 | #Constraints: 21489
358.78/359.95 c #Conflicts: 579000 | #Constraints: 22883
358.78/359.95 c #Conflicts: 580000 | #Constraints: 24278
358.78/359.95 c #Conflicts: 581000 | #Constraints: 25657
358.78/359.95 c #Conflicts: 582000 | #Constraints: 27042
358.78/359.95 c #Conflicts: 583000 | #Constraints: 28437
358.78/359.95 c #Conflicts: 584000 | #Constraints: 29816
358.78/359.95 c #Conflicts: 585000 | #Constraints: 31229
358.78/359.95 c #Conflicts: 586000 | #Constraints: 32623
358.78/359.95 c #Conflicts: 587000 | #Constraints: 34015
358.78/359.95 c #Conflicts: 588000 | #Constraints: 35413
358.78/359.95 c #Conflicts: 589000 | #Constraints: 36789
358.78/359.95 c #Conflicts: 590000 | #Constraints: 38188
358.78/359.95 c #Conflicts: 591000 | #Constraints: 39592
358.78/359.95 c INPROCESSING
358.78/359.95 c GARBAGE COLLECT
358.78/359.95 c #Conflicts: 592000 | #Constraints: 21424
358.78/359.95 c #Conflicts: 593000 | #Constraints: 22866
358.78/359.95 c #Conflicts: 594000 | #Constraints: 24309
358.78/359.95 c #Conflicts: 595000 | #Constraints: 25756
358.78/359.95 c #Conflicts: 596000 | #Constraints: 27218
358.78/359.95 c #Conflicts: 597000 | #Constraints: 28672
358.78/359.95 c #Conflicts: 598000 | #Constraints: 30138
358.78/359.95 c #Conflicts: 599000 | #Constraints: 31589
358.78/359.95 c #Conflicts: 600000 | #Constraints: 33041
358.78/359.95 c #Conflicts: 601000 | #Constraints: 34498
358.78/359.95 c #Conflicts: 602000 | #Constraints: 35961
358.78/359.95 c #Conflicts: 603000 | #Constraints: 37432
358.78/359.95 c #Conflicts: 604000 | #Constraints: 38887
358.78/359.95 c #Conflicts: 605000 | #Constraints: 40315
358.78/359.95 c #Conflicts: 606000 | #Constraints: 41761
358.78/359.95 c #Conflicts: 607000 | #Constraints: 42994
358.78/359.95 c INPROCESSING
358.78/359.95 c GARBAGE COLLECT
358.78/359.95 c #Conflicts: 608000 | #Constraints: 23188
358.78/359.95 c #Conflicts: 609000 | #Constraints: 24319
358.78/359.95 c #Conflicts: 610000 | #Constraints: 25680
358.78/359.95 c #Conflicts: 611000 | #Constraints: 27154
358.78/359.95 c #Conflicts: 612000 | #Constraints: 28582
358.78/359.95 c #Conflicts: 613000 | #Constraints: 29990
358.78/359.95 c #Conflicts: 614000 | #Constraints: 31399
358.78/359.95 c #Conflicts: 615000 | #Constraints: 32886
358.78/359.95 c #Conflicts: 616000 | #Constraints: 34384
358.78/359.95 c #Conflicts: 617000 | #Constraints: 35806
358.78/359.95 c #Conflicts: 618000 | #Constraints: 37230
358.78/359.95 c #Conflicts: 619000 | #Constraints: 38641
358.78/359.95 c #Conflicts: 620000 | #Constraints: 40025
358.78/359.95 c #Conflicts: 621000 | #Constraints: 41433
358.78/359.95 c #Conflicts: 622000 | #Constraints: 42827
358.78/359.95 c #Conflicts: 623000 | #Constraints: 44270
358.78/359.95 c INPROCESSING
358.78/359.95 c GARBAGE COLLECT
358.78/359.95 c #Conflicts: 624000 | #Constraints: 24196
358.78/359.95 c #Conflicts: 625000 | #Constraints: 25642
358.78/359.95 c #Conflicts: 626000 | #Constraints: 27101
358.78/359.95 c #Conflicts: 627000 | #Constraints: 28535
358.78/359.95 c #Conflicts: 628000 | #Constraints: 29993
358.78/359.95 c #Conflicts: 629000 | #Constraints: 31464
358.78/359.95 c #Conflicts: 630000 | #Constraints: 32911
358.78/359.95 c #Conflicts: 631000 | #Constraints: 34228
358.78/359.95 c #Conflicts: 632000 | #Constraints: 35325
358.78/359.95 c #Conflicts: 633000 | #Constraints: 36449
358.78/359.95 c #Conflicts: 634000 | #Constraints: 37573
358.78/359.95 c #Conflicts: 635000 | #Constraints: 38802
358.78/359.95 c #Conflicts: 636000 | #Constraints: 40201
358.78/359.95 c #Conflicts: 637000 | #Constraints: 41456
358.78/359.95 c #Conflicts: 638000 | #Constraints: 42723
492.53/494.17 c #Conflicts: 639000 | #Constraints: 44063
492.53/494.17 c INPROCESSING
492.53/494.17 c GARBAGE COLLECT
492.53/494.17 c #Conflicts: 640000 | #Constraints: 24063
492.53/494.17 c #Conflicts: 641000 | #Constraints: 25442
492.53/494.17 c #Conflicts: 642000 | #Constraints: 26828
492.53/494.17 c #Conflicts: 643000 | #Constraints: 28245
492.53/494.17 c #Conflicts: 644000 | #Constraints: 29600
492.53/494.17 c #Conflicts: 645000 | #Constraints: 31027
492.53/494.17 c #Conflicts: 646000 | #Constraints: 32458
492.53/494.17 c #Conflicts: 647000 | #Constraints: 33875
492.53/494.17 c #Conflicts: 648000 | #Constraints: 35282
492.53/494.17 c #Conflicts: 649000 | #Constraints: 36717
492.53/494.17 c #Conflicts: 650000 | #Constraints: 38141
492.53/494.17 c #Conflicts: 651000 | #Constraints: 39533
492.53/494.17 c #Conflicts: 652000 | #Constraints: 40988
492.53/494.17 c #Conflicts: 653000 | #Constraints: 42447
492.53/494.17 c #Conflicts: 654000 | #Constraints: 43916
492.53/494.17 c #Conflicts: 655000 | #Constraints: 45347
492.53/494.17 c INPROCESSING
492.53/494.17 c GARBAGE COLLECT
492.53/494.17 c #Conflicts: 656000 | #Constraints: 24603
492.53/494.17 c #Conflicts: 657000 | #Constraints: 26070
492.53/494.17 c #Conflicts: 658000 | #Constraints: 27525
492.53/494.17 c #Conflicts: 659000 | #Constraints: 28993
492.53/494.17 c #Conflicts: 660000 | #Constraints: 30458
492.53/494.17 c #Conflicts: 661000 | #Constraints: 31902
492.53/494.17 c #Conflicts: 662000 | #Constraints: 33379
492.53/494.17 c #Conflicts: 663000 | #Constraints: 34833
492.53/494.17 c #Conflicts: 664000 | #Constraints: 36291
492.53/494.17 c #Conflicts: 665000 | #Constraints: 37758
492.53/494.17 c #Conflicts: 666000 | #Constraints: 39218
492.53/494.17 c #Conflicts: 667000 | #Constraints: 40679
492.53/494.17 c #Conflicts: 668000 | #Constraints: 42123
492.53/494.17 c #Conflicts: 669000 | #Constraints: 43575
492.53/494.17 c #Conflicts: 670000 | #Constraints: 45035
492.53/494.17 c #Conflicts: 671000 | #Constraints: 46503
492.53/494.17 c INPROCESSING
492.53/494.17 c GARBAGE COLLECT
492.53/494.17 c #Conflicts: 672000 | #Constraints: 24926
492.53/494.17 c #Conflicts: 673000 | #Constraints: 26295
492.53/494.17 c #Conflicts: 674000 | #Constraints: 27684
492.53/494.17 c #Conflicts: 675000 | #Constraints: 29051
492.53/494.17 c #Conflicts: 676000 | #Constraints: 30424
492.53/494.17 c #Conflicts: 677000 | #Constraints: 31818
492.53/494.17 c #Conflicts: 678000 | #Constraints: 33225
492.53/494.17 c #Conflicts: 679000 | #Constraints: 34559
492.53/494.17 c #Conflicts: 680000 | #Constraints: 35917
492.53/494.17 c #Conflicts: 681000 | #Constraints: 37321
492.53/494.17 c #Conflicts: 682000 | #Constraints: 38739
492.53/494.17 c #Conflicts: 683000 | #Constraints: 40111
492.53/494.17 c #Conflicts: 684000 | #Constraints: 41515
492.53/494.17 c #Conflicts: 685000 | #Constraints: 42928
492.53/494.17 c #Conflicts: 686000 | #Constraints: 44329
492.53/494.17 c #Conflicts: 687000 | #Constraints: 45730
492.53/494.17 c #Conflicts: 688000 | #Constraints: 47115
492.53/494.17 c INPROCESSING
492.53/494.17 c GARBAGE COLLECT
492.53/494.17 c #Conflicts: 689000 | #Constraints: 25384
492.53/494.17 c #Conflicts: 690000 | #Constraints: 26788
492.53/494.17 c #Conflicts: 691000 | #Constraints: 28191
492.53/494.17 c #Conflicts: 692000 | #Constraints: 29583
492.53/494.17 c #Conflicts: 693000 | #Constraints: 30986
492.53/494.17 c #Conflicts: 694000 | #Constraints: 32389
492.53/494.17 c #Conflicts: 695000 | #Constraints: 33786
492.53/494.17 c #Conflicts: 696000 | #Constraints: 35210
492.53/494.17 c #Conflicts: 697000 | #Constraints: 36636
492.53/494.17 c #Conflicts: 698000 | #Constraints: 38057
492.53/494.17 c #Conflicts: 699000 | #Constraints: 39486
492.53/494.17 c #Conflicts: 700000 | #Constraints: 40889
492.53/494.17 c #Conflicts: 701000 | #Constraints: 42257
492.53/494.17 c #Conflicts: 702000 | #Constraints: 43648
492.53/494.17 c #Conflicts: 703000 | #Constraints: 45079
492.53/494.17 c #Conflicts: 704000 | #Constraints: 46546
492.53/494.17 c #Conflicts: 705000 | #Constraints: 47922
492.53/494.17 c INPROCESSING
492.53/494.17 c GARBAGE COLLECT
492.53/494.17 c #Conflicts: 706000 | #Constraints: 26026
492.53/494.17 c #Conflicts: 707000 | #Constraints: 27470
492.53/494.17 c #Conflicts: 708000 | #Constraints: 28920
492.53/494.17 c #Conflicts: 709000 | #Constraints: 30390
492.53/494.17 c #Conflicts: 710000 | #Constraints: 31838
492.53/494.17 c #Conflicts: 711000 | #Constraints: 33302
492.53/494.17 c #Conflicts: 712000 | #Constraints: 34722
492.53/494.17 c #Conflicts: 713000 | #Constraints: 36180
654.46/656.51 c #Conflicts: 714000 | #Constraints: 37611
654.46/656.51 c #Conflicts: 715000 | #Constraints: 39044
654.46/656.51 c #Conflicts: 716000 | #Constraints: 40328
654.46/656.51 c #Conflicts: 717000 | #Constraints: 41417
654.46/656.51 c #Conflicts: 718000 | #Constraints: 42544
654.46/656.51 c #Conflicts: 719000 | #Constraints: 43719
654.46/656.51 c #Conflicts: 720000 | #Constraints: 44951
654.46/656.51 c #Conflicts: 721000 | #Constraints: 46232
654.46/656.51 c #Conflicts: 722000 | #Constraints: 47465
654.46/656.51 c INPROCESSING
654.46/656.51 c GARBAGE COLLECT
654.46/656.51 c #Conflicts: 723000 | #Constraints: 25806
654.46/656.51 c #Conflicts: 724000 | #Constraints: 27304
654.46/656.51 c #Conflicts: 725000 | #Constraints: 28771
654.46/656.51 c #Conflicts: 726000 | #Constraints: 30245
654.46/656.51 c #Conflicts: 727000 | #Constraints: 31717
654.46/656.51 c #Conflicts: 728000 | #Constraints: 33182
654.46/656.51 c #Conflicts: 729000 | #Constraints: 34631
654.46/656.51 c #Conflicts: 730000 | #Constraints: 36104
654.46/656.51 c #Conflicts: 731000 | #Constraints: 37610
654.46/656.51 c #Conflicts: 732000 | #Constraints: 39136
654.46/656.51 c #Conflicts: 733000 | #Constraints: 40657
654.46/656.51 c #Conflicts: 734000 | #Constraints: 42181
654.46/656.51 c #Conflicts: 735000 | #Constraints: 43683
654.46/656.51 c #Conflicts: 736000 | #Constraints: 45191
654.46/656.51 c #Conflicts: 737000 | #Constraints: 46743
654.46/656.51 c #Conflicts: 738000 | #Constraints: 48239
654.46/656.51 c #Conflicts: 739000 | #Constraints: 49756
654.46/656.51 c INPROCESSING
654.46/656.51 c GARBAGE COLLECT
654.46/656.51 c #Conflicts: 740000 | #Constraints: 26814
654.46/656.51 c #Conflicts: 741000 | #Constraints: 28267
654.46/656.51 c #Conflicts: 742000 | #Constraints: 29721
654.46/656.51 c #Conflicts: 743000 | #Constraints: 31177
654.46/656.51 c #Conflicts: 744000 | #Constraints: 32629
654.46/656.51 c #Conflicts: 745000 | #Constraints: 34083
654.46/656.51 c #Conflicts: 746000 | #Constraints: 35541
654.46/656.51 c #Conflicts: 747000 | #Constraints: 36989
654.46/656.51 c #Conflicts: 748000 | #Constraints: 38433
654.46/656.51 c #Conflicts: 749000 | #Constraints: 39876
654.46/656.51 c #Conflicts: 750000 | #Constraints: 41359
654.46/656.51 c #Conflicts: 751000 | #Constraints: 42827
654.46/656.51 c #Conflicts: 752000 | #Constraints: 44274
654.46/656.51 c #Conflicts: 753000 | #Constraints: 45712
654.46/656.51 c #Conflicts: 754000 | #Constraints: 47021
654.46/656.51 c #Conflicts: 755000 | #Constraints: 48240
654.46/656.51 c #Conflicts: 756000 | #Constraints: 49485
654.46/656.51 c INPROCESSING
654.46/656.51 c GARBAGE COLLECT
654.46/656.51 c #Conflicts: 757000 | #Constraints: 26398
654.46/656.51 c #Conflicts: 758000 | #Constraints: 27807
654.46/656.51 c #Conflicts: 759000 | #Constraints: 29221
654.46/656.51 c #Conflicts: 760000 | #Constraints: 30632
654.46/656.51 c #Conflicts: 761000 | #Constraints: 32063
654.46/656.51 c #Conflicts: 762000 | #Constraints: 33454
654.46/656.51 c #Conflicts: 763000 | #Constraints: 34847
654.46/656.51 c #Conflicts: 764000 | #Constraints: 36248
654.46/656.51 c #Conflicts: 765000 | #Constraints: 37664
654.46/656.51 c #Conflicts: 766000 | #Constraints: 39088
654.46/656.51 c #Conflicts: 767000 | #Constraints: 40458
654.46/656.51 c #Conflicts: 768000 | #Constraints: 41846
654.46/656.51 c #Conflicts: 769000 | #Constraints: 43241
654.46/656.51 c #Conflicts: 770000 | #Constraints: 44654
654.46/656.51 c #Conflicts: 771000 | #Constraints: 46100
654.46/656.51 c #Conflicts: 772000 | #Constraints: 47501
654.46/656.51 c #Conflicts: 773000 | #Constraints: 48906
654.46/656.51 c #Conflicts: 774000 | #Constraints: 50353
654.46/656.51 c INPROCESSING
654.46/656.51 c GARBAGE COLLECT
654.46/656.51 c #Conflicts: 775000 | #Constraints: 27104
654.46/656.51 c #Conflicts: 776000 | #Constraints: 28549
654.46/656.51 c #Conflicts: 777000 | #Constraints: 30001
654.46/656.51 c #Conflicts: 778000 | #Constraints: 31468
654.46/656.51 c #Conflicts: 779000 | #Constraints: 32925
654.46/656.51 c #Conflicts: 780000 | #Constraints: 34375
654.46/656.51 c #Conflicts: 781000 | #Constraints: 35833
654.46/656.51 c #Conflicts: 782000 | #Constraints: 37288
654.46/656.51 c #Conflicts: 783000 | #Constraints: 38743
654.46/656.51 c #Conflicts: 784000 | #Constraints: 40207
654.46/656.51 c #Conflicts: 785000 | #Constraints: 41652
654.46/656.51 c #Conflicts: 786000 | #Constraints: 42934
654.46/656.51 c #Conflicts: 787000 | #Constraints: 44112
654.46/656.51 c #Conflicts: 788000 | #Constraints: 45217
654.46/656.51 c #Conflicts: 789000 | #Constraints: 46415
654.46/656.51 c #Conflicts: 790000 | #Constraints: 47706
798.22/800.72 c #Conflicts: 791000 | #Constraints: 48967
798.22/800.72 c #Conflicts: 792000 | #Constraints: 50169
798.22/800.72 c INPROCESSING
798.22/800.72 c GARBAGE COLLECT
798.22/800.72 c #Conflicts: 793000 | #Constraints: 27095
798.22/800.72 c #Conflicts: 794000 | #Constraints: 28514
798.22/800.72 c #Conflicts: 795000 | #Constraints: 29906
798.22/800.72 c #Conflicts: 796000 | #Constraints: 31293
798.22/800.72 c #Conflicts: 797000 | #Constraints: 32709
798.22/800.72 c #Conflicts: 798000 | #Constraints: 34095
798.22/800.72 c #Conflicts: 799000 | #Constraints: 35494
798.22/800.72 c #Conflicts: 800000 | #Constraints: 36895
798.22/800.72 c #Conflicts: 801000 | #Constraints: 38321
798.22/800.72 c #Conflicts: 802000 | #Constraints: 39718
798.22/800.72 c #Conflicts: 803000 | #Constraints: 41157
798.22/800.72 c #Conflicts: 804000 | #Constraints: 42593
798.22/800.72 c #Conflicts: 805000 | #Constraints: 43978
798.22/800.72 c #Conflicts: 806000 | #Constraints: 45438
798.22/800.72 c #Conflicts: 807000 | #Constraints: 46878
798.22/800.72 c #Conflicts: 808000 | #Constraints: 48272
798.22/800.72 c #Conflicts: 809000 | #Constraints: 49704
798.22/800.72 c #Conflicts: 810000 | #Constraints: 51146
798.22/800.72 c INPROCESSING
798.22/800.72 c GARBAGE COLLECT
798.22/800.72 c #Conflicts: 811000 | #Constraints: 27652
798.22/800.72 c #Conflicts: 812000 | #Constraints: 29118
798.22/800.72 c #Conflicts: 813000 | #Constraints: 30554
798.22/800.72 c #Conflicts: 814000 | #Constraints: 32015
798.22/800.72 c #Conflicts: 815000 | #Constraints: 33458
798.22/800.72 c #Conflicts: 816000 | #Constraints: 34914
798.22/800.72 c #Conflicts: 817000 | #Constraints: 36349
798.22/800.72 c #Conflicts: 818000 | #Constraints: 37793
798.22/800.72 c #Conflicts: 819000 | #Constraints: 39212
798.22/800.72 c #Conflicts: 820000 | #Constraints: 40548
798.22/800.72 c #Conflicts: 821000 | #Constraints: 41982
798.22/800.72 c #Conflicts: 822000 | #Constraints: 43402
798.22/800.72 c #Conflicts: 823000 | #Constraints: 44855
798.22/800.72 c #Conflicts: 824000 | #Constraints: 46212
798.22/800.72 c #Conflicts: 825000 | #Constraints: 47363
798.22/800.72 c #Conflicts: 826000 | #Constraints: 48690
798.22/800.72 c #Conflicts: 827000 | #Constraints: 49925
798.22/800.72 c #Conflicts: 828000 | #Constraints: 51104
798.22/800.72 c INPROCESSING
798.22/800.72 c GARBAGE COLLECT
798.22/800.72 c #Conflicts: 829000 | #Constraints: 27252
798.22/800.72 c #Conflicts: 830000 | #Constraints: 28642
798.22/800.72 c #Conflicts: 831000 | #Constraints: 29983
798.22/800.72 c #Conflicts: 832000 | #Constraints: 31383
798.22/800.72 c #Conflicts: 833000 | #Constraints: 32835
798.22/800.72 c #Conflicts: 834000 | #Constraints: 34286
798.22/800.72 c #Conflicts: 835000 | #Constraints: 35743
798.22/800.72 c #Conflicts: 836000 | #Constraints: 37132
798.22/800.72 c #Conflicts: 837000 | #Constraints: 38541
798.22/800.72 c #Conflicts: 838000 | #Constraints: 39966
798.22/800.72 c #Conflicts: 839000 | #Constraints: 41381
798.22/800.72 c #Conflicts: 840000 | #Constraints: 42796
798.22/800.72 c #Conflicts: 841000 | #Constraints: 44212
798.22/800.72 c #Conflicts: 842000 | #Constraints: 45664
798.22/800.72 c #Conflicts: 843000 | #Constraints: 47122
798.22/800.72 c #Conflicts: 844000 | #Constraints: 48549
798.22/800.72 c #Conflicts: 845000 | #Constraints: 49959
798.22/800.72 c #Conflicts: 846000 | #Constraints: 51399
798.22/800.72 c INPROCESSING
798.22/800.72 c GARBAGE COLLECT
798.22/800.72 c #Conflicts: 847000 | #Constraints: 27342
798.22/800.72 c #Conflicts: 848000 | #Constraints: 28746
798.22/800.72 c #Conflicts: 849000 | #Constraints: 30162
798.22/800.72 c #Conflicts: 850000 | #Constraints: 31621
798.22/800.72 c #Conflicts: 851000 | #Constraints: 33014
798.22/800.72 c #Conflicts: 852000 | #Constraints: 34434
798.22/800.72 c #Conflicts: 853000 | #Constraints: 35841
798.22/800.72 c #Conflicts: 854000 | #Constraints: 37229
798.22/800.72 c #Conflicts: 855000 | #Constraints: 38677
798.22/800.72 c #Conflicts: 856000 | #Constraints: 40107
798.22/800.72 c #Conflicts: 857000 | #Constraints: 41542
798.22/800.72 c #Conflicts: 858000 | #Constraints: 42975
798.22/800.72 c #Conflicts: 859000 | #Constraints: 44420
798.22/800.72 c #Conflicts: 860000 | #Constraints: 45867
798.22/800.72 c #Conflicts: 861000 | #Constraints: 47283
798.22/800.72 c #Conflicts: 862000 | #Constraints: 48709
798.22/800.72 c #Conflicts: 863000 | #Constraints: 50152
798.22/800.72 c #Conflicts: 864000 | #Constraints: 51558
798.22/800.72 c #Conflicts: 865000 | #Constraints: 52948
798.22/800.72 c INPROCESSING
962.87/965.99 c GARBAGE COLLECT
962.87/965.99 c #Conflicts: 866000 | #Constraints: 28381
962.87/965.99 c #Conflicts: 867000 | #Constraints: 29820
962.87/965.99 c #Conflicts: 868000 | #Constraints: 31282
962.87/965.99 c #Conflicts: 869000 | #Constraints: 32751
962.87/965.99 c #Conflicts: 870000 | #Constraints: 34205
962.87/965.99 c #Conflicts: 871000 | #Constraints: 35660
962.87/965.99 c #Conflicts: 872000 | #Constraints: 37105
962.87/965.99 c #Conflicts: 873000 | #Constraints: 38572
962.87/965.99 c #Conflicts: 874000 | #Constraints: 40020
962.87/965.99 c #Conflicts: 875000 | #Constraints: 41500
962.87/965.99 c #Conflicts: 876000 | #Constraints: 42965
962.87/965.99 c #Conflicts: 877000 | #Constraints: 44391
962.87/965.99 c #Conflicts: 878000 | #Constraints: 45564
962.87/965.99 c #Conflicts: 879000 | #Constraints: 46787
962.87/965.99 c #Conflicts: 880000 | #Constraints: 48022
962.87/965.99 c #Conflicts: 881000 | #Constraints: 49304
962.87/965.99 c #Conflicts: 882000 | #Constraints: 50496
962.87/965.99 c #Conflicts: 883000 | #Constraints: 51717
962.87/965.99 c #Conflicts: 884000 | #Constraints: 52922
962.87/965.99 c INPROCESSING
962.87/965.99 c GARBAGE COLLECT
962.87/965.99 c #Conflicts: 885000 | #Constraints: 28294
962.87/965.99 c #Conflicts: 886000 | #Constraints: 29700
962.87/965.99 c #Conflicts: 887000 | #Constraints: 31129
962.87/965.99 c #Conflicts: 888000 | #Constraints: 32543
962.87/965.99 c #Conflicts: 889000 | #Constraints: 33970
962.87/965.99 c #Conflicts: 890000 | #Constraints: 35379
962.87/965.99 c #Conflicts: 891000 | #Constraints: 36803
962.87/965.99 c #Conflicts: 892000 | #Constraints: 38229
962.87/965.99 c #Conflicts: 893000 | #Constraints: 39635
962.87/965.99 c #Conflicts: 894000 | #Constraints: 41050
962.87/965.99 c #Conflicts: 895000 | #Constraints: 42486
962.87/965.99 c #Conflicts: 896000 | #Constraints: 43884
962.87/965.99 c #Conflicts: 897000 | #Constraints: 45298
962.87/965.99 c #Conflicts: 898000 | #Constraints: 46738
962.87/965.99 c #Conflicts: 899000 | #Constraints: 48168
962.87/965.99 c #Conflicts: 900000 | #Constraints: 49581
962.87/965.99 c #Conflicts: 901000 | #Constraints: 51009
962.87/965.99 c #Conflicts: 902000 | #Constraints: 52433
962.87/965.99 c #Conflicts: 903000 | #Constraints: 53867
962.87/965.99 c INPROCESSING
962.87/965.99 c GARBAGE COLLECT
962.87/965.99 c #Conflicts: 904000 | #Constraints: 28986
962.87/965.99 c #Conflicts: 905000 | #Constraints: 30439
962.87/965.99 c #Conflicts: 906000 | #Constraints: 31880
962.87/965.99 c #Conflicts: 907000 | #Constraints: 33316
962.87/965.99 c #Conflicts: 908000 | #Constraints: 34773
962.87/965.99 c #Conflicts: 909000 | #Constraints: 36249
962.87/965.99 c #Conflicts: 910000 | #Constraints: 37683
962.87/965.99 c #Conflicts: 911000 | #Constraints: 39112
962.87/965.99 c #Conflicts: 912000 | #Constraints: 40562
962.87/965.99 c #Conflicts: 913000 | #Constraints: 42027
962.87/965.99 c #Conflicts: 914000 | #Constraints: 43462
962.87/965.99 c #Conflicts: 915000 | #Constraints: 44907
962.87/965.99 c #Conflicts: 916000 | #Constraints: 46356
962.87/965.99 c #Conflicts: 917000 | #Constraints: 47799
962.87/965.99 c #Conflicts: 918000 | #Constraints: 49257
962.87/965.99 c #Conflicts: 919000 | #Constraints: 50721
962.87/965.99 c #Conflicts: 920000 | #Constraints: 52037
962.87/965.99 c #Conflicts: 921000 | #Constraints: 53271
962.87/965.99 c #Conflicts: 922000 | #Constraints: 54591
962.87/965.99 c INPROCESSING
962.87/965.99 c GARBAGE COLLECT
962.87/965.99 c #Conflicts: 923000 | #Constraints: 29113
962.87/965.99 c #Conflicts: 924000 | #Constraints: 30449
962.87/965.99 c #Conflicts: 925000 | #Constraints: 31878
962.87/965.99 c #Conflicts: 926000 | #Constraints: 33348
962.87/965.99 c #Conflicts: 927000 | #Constraints: 34760
962.87/965.99 c #Conflicts: 928000 | #Constraints: 36179
962.87/965.99 c #Conflicts: 929000 | #Constraints: 37615
962.87/965.99 c #Conflicts: 930000 | #Constraints: 39001
962.87/965.99 c #Conflicts: 931000 | #Constraints: 40427
962.87/965.99 c #Conflicts: 932000 | #Constraints: 41887
962.87/965.99 c #Conflicts: 933000 | #Constraints: 43355
962.87/965.99 c #Conflicts: 934000 | #Constraints: 44853
962.87/965.99 c #Conflicts: 935000 | #Constraints: 46299
962.87/965.99 c #Conflicts: 936000 | #Constraints: 47718
962.87/965.99 c #Conflicts: 937000 | #Constraints: 49208
962.87/965.99 c #Conflicts: 938000 | #Constraints: 50682
962.87/965.99 c #Conflicts: 939000 | #Constraints: 52149
962.87/965.99 c #Conflicts: 940000 | #Constraints: 53638
962.87/965.99 c #Conflicts: 941000 | #Constraints: 55101
962.87/965.99 c INPROCESSING
962.87/965.99 c GARBAGE COLLECT
1137.25/1140.81 c #Conflicts: 942000 | #Constraints: 29186
1137.25/1140.81 c #Conflicts: 943000 | #Constraints: 30632
1137.25/1140.81 c #Conflicts: 944000 | #Constraints: 32065
1137.25/1140.81 c #Conflicts: 945000 | #Constraints: 33472
1137.25/1140.81 c #Conflicts: 946000 | #Constraints: 34800
1137.25/1140.81 c #Conflicts: 947000 | #Constraints: 36287
1137.25/1140.81 c #Conflicts: 948000 | #Constraints: 37728
1137.25/1140.81 c #Conflicts: 949000 | #Constraints: 39175
1137.25/1140.81 c #Conflicts: 950000 | #Constraints: 40620
1137.25/1140.81 c #Conflicts: 951000 | #Constraints: 42078
1137.25/1140.81 c #Conflicts: 952000 | #Constraints: 43524
1137.25/1140.81 c #Conflicts: 953000 | #Constraints: 44971
1137.25/1140.81 c #Conflicts: 954000 | #Constraints: 46423
1137.25/1140.81 c #Conflicts: 955000 | #Constraints: 47873
1137.25/1140.81 c #Conflicts: 956000 | #Constraints: 49335
1137.25/1140.81 c #Conflicts: 957000 | #Constraints: 50796
1137.25/1140.81 c #Conflicts: 958000 | #Constraints: 52243
1137.25/1140.81 c #Conflicts: 959000 | #Constraints: 53684
1137.25/1140.81 c #Conflicts: 960000 | #Constraints: 55123
1137.25/1140.81 c #Conflicts: 961000 | #Constraints: 56584
1137.25/1140.81 c INPROCESSING
1137.25/1140.81 c GARBAGE COLLECT
1137.25/1140.81 c #Conflicts: 962000 | #Constraints: 30238
1137.25/1140.81 c #Conflicts: 963000 | #Constraints: 31687
1137.25/1140.81 c #Conflicts: 964000 | #Constraints: 33105
1137.25/1140.81 c #Conflicts: 965000 | #Constraints: 34575
1137.25/1140.81 c #Conflicts: 966000 | #Constraints: 35948
1137.25/1140.81 c #Conflicts: 967000 | #Constraints: 37346
1137.25/1140.81 c #Conflicts: 968000 | #Constraints: 38716
1137.25/1140.81 c #Conflicts: 969000 | #Constraints: 40057
1137.25/1140.81 c #Conflicts: 970000 | #Constraints: 41463
1137.25/1140.81 c #Conflicts: 971000 | #Constraints: 42837
1137.25/1140.81 c #Conflicts: 972000 | #Constraints: 44226
1137.25/1140.81 c #Conflicts: 973000 | #Constraints: 45611
1137.25/1140.81 c #Conflicts: 974000 | #Constraints: 47027
1137.25/1140.81 c #Conflicts: 975000 | #Constraints: 48414
1137.25/1140.81 c #Conflicts: 976000 | #Constraints: 49848
1137.25/1140.81 c #Conflicts: 977000 | #Constraints: 51277
1137.25/1140.81 c #Conflicts: 978000 | #Constraints: 52682
1137.25/1140.81 c #Conflicts: 979000 | #Constraints: 54089
1137.25/1140.81 c #Conflicts: 980000 | #Constraints: 55481
1137.25/1140.81 c #Conflicts: 981000 | #Constraints: 56840
1137.25/1140.81 c INPROCESSING
1137.25/1140.81 c GARBAGE COLLECT
1137.25/1140.81 c #Conflicts: 982000 | #Constraints: 30464
1137.25/1140.81 c #Conflicts: 983000 | #Constraints: 31899
1137.25/1140.81 c #Conflicts: 984000 | #Constraints: 33353
1137.25/1140.81 c #Conflicts: 985000 | #Constraints: 34815
1137.25/1140.81 c #Conflicts: 986000 | #Constraints: 36254
1137.25/1140.81 c #Conflicts: 987000 | #Constraints: 37712
1137.25/1140.81 c #Conflicts: 988000 | #Constraints: 39148
1137.25/1140.81 c #Conflicts: 989000 | #Constraints: 40590
1137.25/1140.81 c #Conflicts: 990000 | #Constraints: 42061
1137.25/1140.81 c #Conflicts: 991000 | #Constraints: 43507
1137.25/1140.81 c #Conflicts: 992000 | #Constraints: 44940
1137.25/1140.81 c #Conflicts: 993000 | #Constraints: 46395
1137.25/1140.81 c #Conflicts: 994000 | #Constraints: 47854
1137.25/1140.81 c #Conflicts: 995000 | #Constraints: 49288
1137.25/1140.81 c #Conflicts: 996000 | #Constraints: 50732
1137.25/1140.81 c #Conflicts: 997000 | #Constraints: 52191
1137.25/1140.81 c #Conflicts: 998000 | #Constraints: 53631
1137.25/1140.81 c #Conflicts: 999000 | #Constraints: 55096
1137.25/1140.81 c #Conflicts: 1000000 | #Constraints: 56570
1137.25/1140.81 c #Conflicts: 1001000 | #Constraints: 58028
1137.25/1140.81 c INPROCESSING
1137.25/1140.81 c GARBAGE COLLECT
1137.25/1140.81 c #Conflicts: 1002000 | #Constraints: 31098
1137.25/1140.81 c #Conflicts: 1003000 | #Constraints: 32552
1137.25/1140.81 c #Conflicts: 1004000 | #Constraints: 34004
1137.25/1140.81 c #Conflicts: 1005000 | #Constraints: 35471
1137.25/1140.81 c #Conflicts: 1006000 | #Constraints: 36941
1137.25/1140.81 c #Conflicts: 1007000 | #Constraints: 38375
1137.25/1140.81 c #Conflicts: 1008000 | #Constraints: 39799
1137.25/1140.81 c #Conflicts: 1009000 | #Constraints: 41234
1137.25/1140.81 c #Conflicts: 1010000 | #Constraints: 42673
1137.25/1140.81 c #Conflicts: 1011000 | #Constraints: 44111
1137.25/1140.81 c #Conflicts: 1012000 | #Constraints: 45588
1137.25/1140.81 c #Conflicts: 1013000 | #Constraints: 47041
1137.25/1140.81 c #Conflicts: 1014000 | #Constraints: 48464
1137.25/1140.81 c #Conflicts: 1015000 | #Constraints: 49929
1137.25/1140.81 c #Conflicts: 1016000 | #Constraints: 51391
1137.25/1140.81 c #Conflicts: 1017000 | #Constraints: 52841
1137.25/1140.81 c #Conflicts: 1018000 | #Constraints: 54323
1320.24/1324.35 c #Conflicts: 1019000 | #Constraints: 55773
1320.24/1324.35 c #Conflicts: 1020000 | #Constraints: 57188
1320.24/1324.35 c #Conflicts: 1021000 | #Constraints: 58644
1320.24/1324.35 c INPROCESSING
1320.24/1324.35 c GARBAGE COLLECT
1320.24/1324.35 c #Conflicts: 1022000 | #Constraints: 31271
1320.24/1324.35 c #Conflicts: 1023000 | #Constraints: 32730
1320.24/1324.35 c #Conflicts: 1024000 | #Constraints: 34189
1320.24/1324.35 c #Conflicts: 1025000 | #Constraints: 35636
1320.24/1324.35 c #Conflicts: 1026000 | #Constraints: 37093
1320.24/1324.35 c #Conflicts: 1027000 | #Constraints: 38525
1320.24/1324.35 c #Conflicts: 1028000 | #Constraints: 39980
1320.24/1324.35 c #Conflicts: 1029000 | #Constraints: 41450
1320.24/1324.35 c #Conflicts: 1030000 | #Constraints: 42886
1320.24/1324.35 c #Conflicts: 1031000 | #Constraints: 44314
1320.24/1324.35 c #Conflicts: 1032000 | #Constraints: 45769
1320.24/1324.35 c #Conflicts: 1033000 | #Constraints: 47205
1320.24/1324.35 c #Conflicts: 1034000 | #Constraints: 48641
1320.24/1324.35 c #Conflicts: 1035000 | #Constraints: 50088
1320.24/1324.35 c #Conflicts: 1036000 | #Constraints: 51520
1320.24/1324.35 c #Conflicts: 1037000 | #Constraints: 52954
1320.24/1324.35 c #Conflicts: 1038000 | #Constraints: 54401
1320.24/1324.35 c #Conflicts: 1039000 | #Constraints: 55833
1320.24/1324.35 c #Conflicts: 1040000 | #Constraints: 57277
1320.24/1324.35 c #Conflicts: 1041000 | #Constraints: 58729
1320.24/1324.35 c INPROCESSING
1320.24/1324.35 c GARBAGE COLLECT
1320.24/1324.35 c #Conflicts: 1042000 | #Constraints: 31021
1320.24/1324.35 c #Conflicts: 1043000 | #Constraints: 32497
1320.24/1324.35 c #Conflicts: 1044000 | #Constraints: 33952
1320.24/1324.35 c #Conflicts: 1045000 | #Constraints: 35375
1320.24/1324.35 c #Conflicts: 1046000 | #Constraints: 36821
1320.24/1324.35 c #Conflicts: 1047000 | #Constraints: 38287
1320.24/1324.35 c #Conflicts: 1048000 | #Constraints: 39713
1320.24/1324.35 c #Conflicts: 1049000 | #Constraints: 41160
1320.24/1324.35 c #Conflicts: 1050000 | #Constraints: 42630
1320.24/1324.35 c #Conflicts: 1051000 | #Constraints: 44108
1320.24/1324.35 c #Conflicts: 1052000 | #Constraints: 45536
1320.24/1324.35 c #Conflicts: 1053000 | #Constraints: 47015
1320.24/1324.35 c #Conflicts: 1054000 | #Constraints: 48462
1320.24/1324.35 c #Conflicts: 1055000 | #Constraints: 49885
1320.24/1324.35 c #Conflicts: 1056000 | #Constraints: 51309
1320.24/1324.35 c #Conflicts: 1057000 | #Constraints: 52775
1320.24/1324.35 c #Conflicts: 1058000 | #Constraints: 54253
1320.24/1324.35 c #Conflicts: 1059000 | #Constraints: 55686
1320.24/1324.35 c #Conflicts: 1060000 | #Constraints: 57172
1320.24/1324.35 c #Conflicts: 1061000 | #Constraints: 58642
1320.24/1324.35 c #Conflicts: 1062000 | #Constraints: 60082
1320.24/1324.35 c INPROCESSING
1320.24/1324.35 c GARBAGE COLLECT
1320.24/1324.35 c #Conflicts: 1063000 | #Constraints: 31976
1320.24/1324.35 c #Conflicts: 1064000 | #Constraints: 33460
1320.24/1324.35 c #Conflicts: 1065000 | #Constraints: 34925
1320.24/1324.35 c #Conflicts: 1066000 | #Constraints: 36369
1320.24/1324.35 c #Conflicts: 1067000 | #Constraints: 37830
1320.24/1324.35 c #Conflicts: 1068000 | #Constraints: 39278
1320.24/1324.35 c #Conflicts: 1069000 | #Constraints: 40736
1320.24/1324.35 c #Conflicts: 1070000 | #Constraints: 42205
1320.24/1324.35 c #Conflicts: 1071000 | #Constraints: 43655
1320.24/1324.35 c #Conflicts: 1072000 | #Constraints: 45105
1320.24/1324.35 c #Conflicts: 1073000 | #Constraints: 46548
1320.24/1324.35 c #Conflicts: 1074000 | #Constraints: 47994
1320.24/1324.35 c #Conflicts: 1075000 | #Constraints: 49456
1320.24/1324.35 c #Conflicts: 1076000 | #Constraints: 50917
1320.24/1324.35 c #Conflicts: 1077000 | #Constraints: 52390
1320.24/1324.35 c #Conflicts: 1078000 | #Constraints: 53845
1320.24/1324.35 c #Conflicts: 1079000 | #Constraints: 55280
1320.24/1324.35 c #Conflicts: 1080000 | #Constraints: 56753
1320.24/1324.35 c #Conflicts: 1081000 | #Constraints: 58133
1320.24/1324.35 c #Conflicts: 1082000 | #Constraints: 59361
1320.24/1324.35 c #Conflicts: 1083000 | #Constraints: 60637
1320.24/1324.35 c INPROCESSING
1320.24/1324.35 c GARBAGE COLLECT
1320.24/1324.35 c #Conflicts: 1084000 | #Constraints: 32382
1320.24/1324.35 c #Conflicts: 1085000 | #Constraints: 33784
1320.24/1324.35 c #Conflicts: 1086000 | #Constraints: 35124
1320.24/1324.35 c #Conflicts: 1087000 | #Constraints: 36418
1320.24/1324.35 c #Conflicts: 1088000 | #Constraints: 37763
1320.24/1324.35 c #Conflicts: 1089000 | #Constraints: 39063
1320.24/1324.35 c #Conflicts: 1090000 | #Constraints: 40386
1320.24/1324.35 c #Conflicts: 1091000 | #Constraints: 41692
1320.24/1324.35 c #Conflicts: 1092000 | #Constraints: 43017
1320.24/1324.35 c #Conflicts: 1093000 | #Constraints: 44386
1320.24/1324.35 c #Conflicts: 1094000 | #Constraints: 45851
1501.67/1506.37 c #Conflicts: 1095000 | #Constraints: 47213
1501.67/1506.37 c #Conflicts: 1096000 | #Constraints: 48579
1501.67/1506.37 c #Conflicts: 1097000 | #Constraints: 49934
1501.67/1506.37 c #Conflicts: 1098000 | #Constraints: 51340
1501.67/1506.37 c #Conflicts: 1099000 | #Constraints: 52583
1501.67/1506.37 c #Conflicts: 1100000 | #Constraints: 53923
1501.67/1506.37 c #Conflicts: 1101000 | #Constraints: 55368
1501.67/1506.37 c #Conflicts: 1102000 | #Constraints: 56784
1501.67/1506.37 c #Conflicts: 1103000 | #Constraints: 58136
1501.67/1506.37 c #Conflicts: 1104000 | #Constraints: 59520
1501.67/1506.37 c INPROCESSING
1501.67/1506.37 c GARBAGE COLLECT
1501.67/1506.37 c #Conflicts: 1105000 | #Constraints: 31843
1501.67/1506.37 c #Conflicts: 1106000 | #Constraints: 33287
1501.67/1506.37 c #Conflicts: 1107000 | #Constraints: 34726
1501.67/1506.37 c #Conflicts: 1108000 | #Constraints: 36156
1501.67/1506.37 c #Conflicts: 1109000 | #Constraints: 37600
1501.67/1506.37 c #Conflicts: 1110000 | #Constraints: 39032
1501.67/1506.37 c #Conflicts: 1111000 | #Constraints: 40483
1501.67/1506.37 c #Conflicts: 1112000 | #Constraints: 41919
1501.67/1506.37 c #Conflicts: 1113000 | #Constraints: 43374
1501.67/1506.37 c #Conflicts: 1114000 | #Constraints: 44803
1501.67/1506.37 c #Conflicts: 1115000 | #Constraints: 46265
1501.67/1506.37 c #Conflicts: 1116000 | #Constraints: 47727
1501.67/1506.37 c #Conflicts: 1117000 | #Constraints: 49127
1501.67/1506.37 c #Conflicts: 1118000 | #Constraints: 50507
1501.67/1506.37 c #Conflicts: 1119000 | #Constraints: 51933
1501.67/1506.37 c #Conflicts: 1120000 | #Constraints: 53338
1501.67/1506.37 c #Conflicts: 1121000 | #Constraints: 54776
1501.67/1506.37 c #Conflicts: 1122000 | #Constraints: 56253
1501.67/1506.37 c #Conflicts: 1123000 | #Constraints: 57671
1501.67/1506.37 c #Conflicts: 1124000 | #Constraints: 59084
1501.67/1506.37 c #Conflicts: 1125000 | #Constraints: 60535
1501.67/1506.37 c INPROCESSING
1501.67/1506.37 c GARBAGE COLLECT
1501.67/1506.37 c #Conflicts: 1126000 | #Constraints: 32207
1501.67/1506.37 c #Conflicts: 1127000 | #Constraints: 33668
1501.67/1506.37 c #Conflicts: 1128000 | #Constraints: 35125
1501.67/1506.37 c #Conflicts: 1129000 | #Constraints: 36574
1501.67/1506.37 c #Conflicts: 1130000 | #Constraints: 38042
1501.67/1506.37 c #Conflicts: 1131000 | #Constraints: 39493
1501.67/1506.37 c #Conflicts: 1132000 | #Constraints: 40930
1501.67/1506.37 c #Conflicts: 1133000 | #Constraints: 42374
1501.67/1506.37 c #Conflicts: 1134000 | #Constraints: 43844
1501.67/1506.37 c #Conflicts: 1135000 | #Constraints: 45319
1501.67/1506.37 c #Conflicts: 1136000 | #Constraints: 46771
1501.67/1506.37 c #Conflicts: 1137000 | #Constraints: 48223
1501.67/1506.37 c #Conflicts: 1138000 | #Constraints: 49649
1501.67/1506.37 c #Conflicts: 1139000 | #Constraints: 51099
1501.67/1506.37 c #Conflicts: 1140000 | #Constraints: 52526
1501.67/1506.37 c #Conflicts: 1141000 | #Constraints: 53968
1501.67/1506.37 c #Conflicts: 1142000 | #Constraints: 55401
1501.67/1506.37 c #Conflicts: 1143000 | #Constraints: 56846
1501.67/1506.37 c #Conflicts: 1144000 | #Constraints: 58270
1501.67/1506.37 c #Conflicts: 1145000 | #Constraints: 59711
1501.67/1506.37 c #Conflicts: 1146000 | #Constraints: 61152
1501.67/1506.37 c INPROCESSING
1501.67/1506.37 c GARBAGE COLLECT
1501.67/1506.37 c #Conflicts: 1147000 | #Constraints: 32249
1501.67/1506.37 c #Conflicts: 1148000 | #Constraints: 33711
1501.67/1506.37 c #Conflicts: 1149000 | #Constraints: 35152
1501.67/1506.37 c #Conflicts: 1150000 | #Constraints: 36558
1501.67/1506.37 c #Conflicts: 1151000 | #Constraints: 37990
1501.67/1506.37 c #Conflicts: 1152000 | #Constraints: 39380
1501.67/1506.37 c #Conflicts: 1153000 | #Constraints: 40794
1501.67/1506.37 c #Conflicts: 1154000 | #Constraints: 42260
1501.67/1506.37 c #Conflicts: 1155000 | #Constraints: 43681
1501.67/1506.37 c #Conflicts: 1156000 | #Constraints: 45088
1501.67/1506.37 c #Conflicts: 1157000 | #Constraints: 46506
1501.67/1506.37 c #Conflicts: 1158000 | #Constraints: 47963
1501.67/1506.37 c #Conflicts: 1159000 | #Constraints: 49376
1501.67/1506.37 c #Conflicts: 1160000 | #Constraints: 50771
1501.67/1506.37 c #Conflicts: 1161000 | #Constraints: 52197
1501.67/1506.37 c #Conflicts: 1162000 | #Constraints: 53627
1501.67/1506.37 c #Conflicts: 1163000 | #Constraints: 55029
1501.67/1506.37 c #Conflicts: 1164000 | #Constraints: 56411
1501.67/1506.37 c #Conflicts: 1165000 | #Constraints: 57807
1501.67/1506.37 c #Conflicts: 1166000 | #Constraints: 59212
1501.67/1506.37 c #Conflicts: 1167000 | #Constraints: 60644
1501.67/1506.37 c #Conflicts: 1168000 | #Constraints: 62071
1501.67/1506.37 c INPROCESSING
1501.67/1506.37 c GARBAGE COLLECT
1501.67/1506.37 c #Conflicts: 1169000 | #Constraints: 32940
1501.67/1506.37 c #Conflicts: 1170000 | #Constraints: 34396
1501.67/1506.37 c #Conflicts: 1171000 | #Constraints: 35830
1678.12/1683.39 c #Conflicts: 1172000 | #Constraints: 37267
1678.12/1683.39 c #Conflicts: 1173000 | #Constraints: 38695
1678.12/1683.39 c #Conflicts: 1174000 | #Constraints: 40144
1678.12/1683.39 c #Conflicts: 1175000 | #Constraints: 41596
1678.12/1683.39 c #Conflicts: 1176000 | #Constraints: 43048
1678.12/1683.39 c #Conflicts: 1177000 | #Constraints: 44469
1678.12/1683.39 c #Conflicts: 1178000 | #Constraints: 45925
1678.12/1683.39 c #Conflicts: 1179000 | #Constraints: 47355
1678.12/1683.39 c #Conflicts: 1180000 | #Constraints: 48802
1678.12/1683.39 c #Conflicts: 1181000 | #Constraints: 50234
1678.12/1683.39 c #Conflicts: 1182000 | #Constraints: 51696
1678.12/1683.39 c #Conflicts: 1183000 | #Constraints: 53129
1678.12/1683.39 c #Conflicts: 1184000 | #Constraints: 54574
1678.12/1683.39 c #Conflicts: 1185000 | #Constraints: 56035
1678.12/1683.39 c #Conflicts: 1186000 | #Constraints: 57494
1678.12/1683.39 c #Conflicts: 1187000 | #Constraints: 58948
1678.12/1683.39 c #Conflicts: 1188000 | #Constraints: 60394
1678.12/1683.39 c #Conflicts: 1189000 | #Constraints: 61848
1678.12/1683.39 c #Conflicts: 1190000 | #Constraints: 63292
1678.12/1683.39 c INPROCESSING
1678.12/1683.39 c GARBAGE COLLECT
1678.12/1683.39 c #Conflicts: 1191000 | #Constraints: 33718
1678.12/1683.39 c #Conflicts: 1192000 | #Constraints: 35078
1678.12/1683.39 c #Conflicts: 1193000 | #Constraints: 36470
1678.12/1683.39 c #Conflicts: 1194000 | #Constraints: 37911
1678.12/1683.39 c #Conflicts: 1195000 | #Constraints: 39325
1678.12/1683.39 c #Conflicts: 1196000 | #Constraints: 40742
1678.12/1683.39 c #Conflicts: 1197000 | #Constraints: 42154
1678.12/1683.39 c #Conflicts: 1198000 | #Constraints: 43530
1678.12/1683.39 c #Conflicts: 1199000 | #Constraints: 44906
1678.12/1683.39 c #Conflicts: 1200000 | #Constraints: 46316
1678.12/1683.39 c #Conflicts: 1201000 | #Constraints: 47751
1678.12/1683.39 c #Conflicts: 1202000 | #Constraints: 49147
1678.12/1683.39 c #Conflicts: 1203000 | #Constraints: 50542
1678.12/1683.39 c #Conflicts: 1204000 | #Constraints: 51935
1678.12/1683.39 c #Conflicts: 1205000 | #Constraints: 53343
1678.12/1683.39 c #Conflicts: 1206000 | #Constraints: 54713
1678.12/1683.39 c #Conflicts: 1207000 | #Constraints: 56102
1678.12/1683.39 c #Conflicts: 1208000 | #Constraints: 57494
1678.12/1683.39 c #Conflicts: 1209000 | #Constraints: 58929
1678.12/1683.39 c #Conflicts: 1210000 | #Constraints: 60365
1678.12/1683.39 c #Conflicts: 1211000 | #Constraints: 61765
1678.12/1683.39 c #Conflicts: 1212000 | #Constraints: 63196
1678.12/1683.39 c INPROCESSING
1678.12/1683.39 c GARBAGE COLLECT
1678.12/1683.39 c #Conflicts: 1213000 | #Constraints: 33681
1678.12/1683.39 c #Conflicts: 1214000 | #Constraints: 35112
1678.12/1683.39 c #Conflicts: 1215000 | #Constraints: 36549
1678.12/1683.39 c #Conflicts: 1216000 | #Constraints: 37980
1678.12/1683.39 c #Conflicts: 1217000 | #Constraints: 39446
1678.12/1683.39 c #Conflicts: 1218000 | #Constraints: 40896
1678.12/1683.39 c #Conflicts: 1219000 | #Constraints: 42345
1678.12/1683.39 c #Conflicts: 1220000 | #Constraints: 43821
1678.12/1683.39 c #Conflicts: 1221000 | #Constraints: 45257
1678.12/1683.39 c #Conflicts: 1222000 | #Constraints: 46708
1678.12/1683.39 c #Conflicts: 1223000 | #Constraints: 48157
1678.12/1683.39 c #Conflicts: 1224000 | #Constraints: 49610
1678.12/1683.39 c #Conflicts: 1225000 | #Constraints: 51057
1678.12/1683.39 c #Conflicts: 1226000 | #Constraints: 52502
1678.12/1683.39 c #Conflicts: 1227000 | #Constraints: 53930
1678.12/1683.39 c #Conflicts: 1228000 | #Constraints: 55369
1678.12/1683.39 c #Conflicts: 1229000 | #Constraints: 56657
1678.12/1683.39 c #Conflicts: 1230000 | #Constraints: 57789
1678.12/1683.39 c #Conflicts: 1231000 | #Constraints: 59058
1678.12/1683.39 c #Conflicts: 1232000 | #Constraints: 60431
1678.12/1683.39 c #Conflicts: 1233000 | #Constraints: 61656
1678.12/1683.39 c #Conflicts: 1234000 | #Constraints: 63005
1678.12/1683.39 c INPROCESSING
1678.12/1683.39 c GARBAGE COLLECT
1678.12/1683.39 c #Conflicts: 1235000 | #Constraints: 33385
1678.12/1683.39 c #Conflicts: 1236000 | #Constraints: 34766
1678.12/1683.39 c #Conflicts: 1237000 | #Constraints: 36123
1678.12/1683.39 c #Conflicts: 1238000 | #Constraints: 37577
1678.12/1683.39 c #Conflicts: 1239000 | #Constraints: 39021
1678.12/1683.39 c #Conflicts: 1240000 | #Constraints: 40450
1678.12/1683.39 c #Conflicts: 1241000 | #Constraints: 41871
1678.12/1683.39 c #Conflicts: 1242000 | #Constraints: 43288
1678.12/1683.39 c #Conflicts: 1243000 | #Constraints: 44714
1678.12/1683.39 c #Conflicts: 1244000 | #Constraints: 46120
1678.12/1683.39 c #Conflicts: 1245000 | #Constraints: 47578
1678.12/1683.39 c #Conflicts: 1246000 | #Constraints: 49004
1678.12/1683.39 c #Conflicts: 1247000 | #Constraints: 50418
1678.12/1683.39 c #Conflicts: 1248000 | #Constraints: 51823
1867.79/1873.58 c #Conflicts: 1249000 | #Constraints: 53244
1867.79/1873.58 c #Conflicts: 1250000 | #Constraints: 54661
1867.79/1873.58 c #Conflicts: 1251000 | #Constraints: 56036
1867.79/1873.58 c #Conflicts: 1252000 | #Constraints: 57445
1867.79/1873.58 c #Conflicts: 1253000 | #Constraints: 58883
1867.79/1873.58 c #Conflicts: 1254000 | #Constraints: 60309
1867.79/1873.58 c #Conflicts: 1255000 | #Constraints: 61732
1867.79/1873.58 c #Conflicts: 1256000 | #Constraints: 63179
1867.79/1873.58 c INPROCESSING
1867.79/1873.58 c GARBAGE COLLECT
1867.79/1873.58 c #Conflicts: 1257000 | #Constraints: 33194
1867.79/1873.58 c #Conflicts: 1258000 | #Constraints: 34585
1867.79/1873.58 c #Conflicts: 1259000 | #Constraints: 35992
1867.79/1873.58 c #Conflicts: 1260000 | #Constraints: 37416
1867.79/1873.58 c #Conflicts: 1261000 | #Constraints: 38841
1867.79/1873.58 c #Conflicts: 1262000 | #Constraints: 40276
1867.79/1873.58 c #Conflicts: 1263000 | #Constraints: 41725
1867.79/1873.58 c #Conflicts: 1264000 | #Constraints: 43169
1867.79/1873.58 c #Conflicts: 1265000 | #Constraints: 44568
1867.79/1873.58 c #Conflicts: 1266000 | #Constraints: 45948
1867.79/1873.58 c #Conflicts: 1267000 | #Constraints: 47344
1867.79/1873.58 c #Conflicts: 1268000 | #Constraints: 48738
1867.79/1873.58 c #Conflicts: 1269000 | #Constraints: 50154
1867.79/1873.58 c #Conflicts: 1270000 | #Constraints: 51566
1867.79/1873.58 c #Conflicts: 1271000 | #Constraints: 52966
1867.79/1873.58 c #Conflicts: 1272000 | #Constraints: 54377
1867.79/1873.58 c #Conflicts: 1273000 | #Constraints: 55810
1867.79/1873.58 c #Conflicts: 1274000 | #Constraints: 57246
1867.79/1873.58 c #Conflicts: 1275000 | #Constraints: 58733
1867.79/1873.58 c #Conflicts: 1276000 | #Constraints: 60190
1867.79/1873.58 c #Conflicts: 1277000 | #Constraints: 61571
1867.79/1873.58 c #Conflicts: 1278000 | #Constraints: 63001
1867.79/1873.58 c #Conflicts: 1279000 | #Constraints: 64431
1867.79/1873.58 c INPROCESSING
1867.79/1873.58 c GARBAGE COLLECT
1867.79/1873.58 c #Conflicts: 1280000 | #Constraints: 34122
1867.79/1873.58 c #Conflicts: 1281000 | #Constraints: 35562
1867.79/1873.58 c #Conflicts: 1282000 | #Constraints: 37003
1867.79/1873.58 c #Conflicts: 1283000 | #Constraints: 38450
1867.79/1873.58 c #Conflicts: 1284000 | #Constraints: 39904
1867.79/1873.58 c #Conflicts: 1285000 | #Constraints: 41360
1867.79/1873.58 c #Conflicts: 1286000 | #Constraints: 42806
1867.79/1873.58 c #Conflicts: 1287000 | #Constraints: 44251
1867.79/1873.58 c #Conflicts: 1288000 | #Constraints: 45698
1867.79/1873.58 c #Conflicts: 1289000 | #Constraints: 47154
1867.79/1873.58 c #Conflicts: 1290000 | #Constraints: 48584
1867.79/1873.58 c #Conflicts: 1291000 | #Constraints: 50050
1867.79/1873.58 c #Conflicts: 1292000 | #Constraints: 51510
1867.79/1873.58 c #Conflicts: 1293000 | #Constraints: 52956
1867.79/1873.58 c #Conflicts: 1294000 | #Constraints: 54402
1867.79/1873.58 c #Conflicts: 1295000 | #Constraints: 55868
1867.79/1873.58 c #Conflicts: 1296000 | #Constraints: 57321
1867.79/1873.58 c #Conflicts: 1297000 | #Constraints: 58772
1867.79/1873.58 c #Conflicts: 1298000 | #Constraints: 60224
1867.79/1873.58 c #Conflicts: 1299000 | #Constraints: 61679
1867.79/1873.58 c #Conflicts: 1300000 | #Constraints: 63145
1867.79/1873.58 c #Conflicts: 1301000 | #Constraints: 64608
1867.79/1873.58 c #Conflicts: 1302000 | #Constraints: 66090
1867.79/1873.58 c INPROCESSING
1867.79/1873.58 c GARBAGE COLLECT
1867.79/1873.58 c #Conflicts: 1303000 | #Constraints: 35154
1867.79/1873.58 c #Conflicts: 1304000 | #Constraints: 36572
1867.79/1873.58 c #Conflicts: 1305000 | #Constraints: 37991
1867.79/1873.58 c #Conflicts: 1306000 | #Constraints: 39381
1867.79/1873.58 c #Conflicts: 1307000 | #Constraints: 40770
1867.79/1873.58 c #Conflicts: 1308000 | #Constraints: 42179
1867.79/1873.58 c #Conflicts: 1309000 | #Constraints: 43577
1867.79/1873.58 c #Conflicts: 1310000 | #Constraints: 44974
1867.79/1873.58 c #Conflicts: 1311000 | #Constraints: 46364
1867.79/1873.58 c #Conflicts: 1312000 | #Constraints: 47787
1867.79/1873.58 c #Conflicts: 1313000 | #Constraints: 49145
1867.79/1873.58 c #Conflicts: 1314000 | #Constraints: 50482
1867.79/1873.58 c #Conflicts: 1315000 | #Constraints: 51881
1867.79/1873.58 c #Conflicts: 1316000 | #Constraints: 53283
1867.79/1873.58 c #Conflicts: 1317000 | #Constraints: 54699
1867.79/1873.58 c #Conflicts: 1318000 | #Constraints: 56137
1867.79/1873.58 c #Conflicts: 1319000 | #Constraints: 57527
1867.79/1873.58 c #Conflicts: 1320000 | #Constraints: 58931
1867.79/1873.58 c #Conflicts: 1321000 | #Constraints: 60339
1867.79/1873.58 c #Conflicts: 1322000 | #Constraints: 61780
1867.79/1873.58 c #Conflicts: 1323000 | #Constraints: 63226
1867.79/1873.58 c #Conflicts: 1324000 | #Constraints: 64652
2074.57/2080.90 c #Conflicts: 1325000 | #Constraints: 66081
2074.57/2080.90 c INPROCESSING
2074.57/2080.90 c GARBAGE COLLECT
2074.57/2080.90 c #Conflicts: 1326000 | #Constraints: 35131
2074.57/2080.90 c #Conflicts: 1327000 | #Constraints: 36587
2074.57/2080.90 c #Conflicts: 1328000 | #Constraints: 38029
2074.57/2080.90 c #Conflicts: 1329000 | #Constraints: 39495
2074.57/2080.90 c #Conflicts: 1330000 | #Constraints: 40955
2074.57/2080.90 c #Conflicts: 1331000 | #Constraints: 42410
2074.57/2080.90 c #Conflicts: 1332000 | #Constraints: 43858
2074.57/2080.90 c #Conflicts: 1333000 | #Constraints: 45289
2074.57/2080.90 c #Conflicts: 1334000 | #Constraints: 46747
2074.57/2080.90 c #Conflicts: 1335000 | #Constraints: 48204
2074.57/2080.90 c #Conflicts: 1336000 | #Constraints: 49675
2074.57/2080.90 c #Conflicts: 1337000 | #Constraints: 51122
2074.57/2080.90 c #Conflicts: 1338000 | #Constraints: 52570
2074.57/2080.90 c #Conflicts: 1339000 | #Constraints: 54016
2074.57/2080.90 c #Conflicts: 1340000 | #Constraints: 55465
2074.57/2080.90 c #Conflicts: 1341000 | #Constraints: 56918
2074.57/2080.90 c #Conflicts: 1342000 | #Constraints: 58357
2074.57/2080.90 c #Conflicts: 1343000 | #Constraints: 59833
2074.57/2080.90 c #Conflicts: 1344000 | #Constraints: 61274
2074.57/2080.90 c #Conflicts: 1345000 | #Constraints: 62735
2074.57/2080.90 c #Conflicts: 1346000 | #Constraints: 64183
2074.57/2080.90 c #Conflicts: 1347000 | #Constraints: 65616
2074.57/2080.90 c #Conflicts: 1348000 | #Constraints: 67039
2074.57/2080.90 c INPROCESSING
2074.57/2080.90 c GARBAGE COLLECT
2074.57/2080.90 c #Conflicts: 1349000 | #Constraints: 35456
2074.57/2080.90 c #Conflicts: 1350000 | #Constraints: 36910
2074.57/2080.90 c #Conflicts: 1351000 | #Constraints: 38374
2074.57/2080.90 c #Conflicts: 1352000 | #Constraints: 39846
2074.57/2080.90 c #Conflicts: 1353000 | #Constraints: 41227
2074.57/2080.90 c #Conflicts: 1354000 | #Constraints: 42465
2074.57/2080.90 c #Conflicts: 1355000 | #Constraints: 43816
2074.57/2080.90 c #Conflicts: 1356000 | #Constraints: 45181
2074.57/2080.90 c #Conflicts: 1357000 | #Constraints: 46522
2074.57/2080.90 c #Conflicts: 1358000 | #Constraints: 47947
2074.57/2080.90 c #Conflicts: 1359000 | #Constraints: 49308
2074.57/2080.90 c #Conflicts: 1360000 | #Constraints: 50626
2074.57/2080.90 c #Conflicts: 1361000 | #Constraints: 52047
2074.57/2080.90 c #Conflicts: 1362000 | #Constraints: 53438
2074.57/2080.90 c #Conflicts: 1363000 | #Constraints: 54817
2074.57/2080.90 c #Conflicts: 1364000 | #Constraints: 56218
2074.57/2080.90 c #Conflicts: 1365000 | #Constraints: 57626
2074.57/2080.90 c #Conflicts: 1366000 | #Constraints: 59076
2074.57/2080.90 c #Conflicts: 1367000 | #Constraints: 60502
2074.57/2080.90 c #Conflicts: 1368000 | #Constraints: 61900
2074.57/2080.90 c #Conflicts: 1369000 | #Constraints: 63272
2074.57/2080.90 c #Conflicts: 1370000 | #Constraints: 64673
2074.57/2080.90 c #Conflicts: 1371000 | #Constraints: 66071
2074.57/2080.90 c INPROCESSING
2074.57/2080.90 c GARBAGE COLLECT
2074.57/2080.90 c #Conflicts: 1372000 | #Constraints: 34643
2074.57/2080.90 c #Conflicts: 1373000 | #Constraints: 36093
2074.57/2080.90 c #Conflicts: 1374000 | #Constraints: 37535
2074.57/2080.90 c #Conflicts: 1375000 | #Constraints: 38993
2074.57/2080.90 c #Conflicts: 1376000 | #Constraints: 40423
2074.57/2080.90 c #Conflicts: 1377000 | #Constraints: 41866
2074.57/2080.90 c #Conflicts: 1378000 | #Constraints: 43304
2074.57/2080.90 c #Conflicts: 1379000 | #Constraints: 44757
2074.57/2080.90 c #Conflicts: 1380000 | #Constraints: 46211
2074.57/2080.90 c #Conflicts: 1381000 | #Constraints: 47667
2074.57/2080.90 c #Conflicts: 1382000 | #Constraints: 49118
2074.57/2080.90 c #Conflicts: 1383000 | #Constraints: 50560
2074.57/2080.90 c #Conflicts: 1384000 | #Constraints: 52009
2074.57/2080.90 c #Conflicts: 1385000 | #Constraints: 53449
2074.57/2080.90 c #Conflicts: 1386000 | #Constraints: 54891
2074.57/2080.90 c #Conflicts: 1387000 | #Constraints: 56318
2074.57/2080.90 c #Conflicts: 1388000 | #Constraints: 57792
2074.57/2080.90 c #Conflicts: 1389000 | #Constraints: 59231
2074.57/2080.90 c #Conflicts: 1390000 | #Constraints: 60674
2074.57/2080.90 c #Conflicts: 1391000 | #Constraints: 61920
2074.57/2080.90 c #Conflicts: 1392000 | #Constraints: 63129
2074.57/2080.90 c #Conflicts: 1393000 | #Constraints: 64432
2074.57/2080.90 c #Conflicts: 1394000 | #Constraints: 65699
2074.57/2080.90 c #Conflicts: 1395000 | #Constraints: 67011
2074.57/2080.90 c INPROCESSING
2074.57/2080.90 c GARBAGE COLLECT
2074.57/2080.90 c #Conflicts: 1396000 | #Constraints: 35297
2074.57/2080.90 c #Conflicts: 1397000 | #Constraints: 36616
2074.57/2080.90 c #Conflicts: 1398000 | #Constraints: 37875
2074.57/2080.90 c #Conflicts: 1399000 | #Constraints: 39235
2074.57/2080.90 c #Conflicts: 1400000 | #Constraints: 40720
2074.57/2080.90 c #Conflicts: 1401000 | #Constraints: 42157
2273.07/2280.05 c #Conflicts: 1402000 | #Constraints: 43477
2273.07/2280.05 c #Conflicts: 1403000 | #Constraints: 44873
2273.07/2280.05 c #Conflicts: 1404000 | #Constraints: 46274
2273.07/2280.05 c #Conflicts: 1405000 | #Constraints: 47684
2273.07/2280.05 c #Conflicts: 1406000 | #Constraints: 49093
2273.07/2280.05 c #Conflicts: 1407000 | #Constraints: 50492
2273.07/2280.05 c #Conflicts: 1408000 | #Constraints: 51911
2273.07/2280.05 c #Conflicts: 1409000 | #Constraints: 53284
2273.07/2280.05 c #Conflicts: 1410000 | #Constraints: 54704
2273.07/2280.05 c #Conflicts: 1411000 | #Constraints: 56128
2273.07/2280.05 c #Conflicts: 1412000 | #Constraints: 57558
2273.07/2280.05 c #Conflicts: 1413000 | #Constraints: 59011
2273.07/2280.05 c #Conflicts: 1414000 | #Constraints: 60444
2273.07/2280.05 c #Conflicts: 1415000 | #Constraints: 61860
2273.07/2280.05 c #Conflicts: 1416000 | #Constraints: 63268
2273.07/2280.05 c #Conflicts: 1417000 | #Constraints: 64676
2273.07/2280.05 c #Conflicts: 1418000 | #Constraints: 66095
2273.07/2280.05 c #Conflicts: 1419000 | #Constraints: 67538
2273.07/2280.05 c INPROCESSING
2273.07/2280.05 c GARBAGE COLLECT
2273.07/2280.05 c #Conflicts: 1420000 | #Constraints: 35836
2273.07/2280.05 c #Conflicts: 1421000 | #Constraints: 37287
2273.07/2280.05 c #Conflicts: 1422000 | #Constraints: 38731
2273.07/2280.05 c #Conflicts: 1423000 | #Constraints: 40185
2273.07/2280.05 c #Conflicts: 1424000 | #Constraints: 41648
2273.07/2280.05 c #Conflicts: 1425000 | #Constraints: 43091
2273.07/2280.05 c #Conflicts: 1426000 | #Constraints: 44539
2273.07/2280.05 c #Conflicts: 1427000 | #Constraints: 45987
2273.07/2280.05 c #Conflicts: 1428000 | #Constraints: 47430
2273.07/2280.05 c #Conflicts: 1429000 | #Constraints: 48874
2273.07/2280.05 c #Conflicts: 1430000 | #Constraints: 50319
2273.07/2280.05 c #Conflicts: 1431000 | #Constraints: 51750
2273.07/2280.05 c #Conflicts: 1432000 | #Constraints: 53177
2273.07/2280.05 c #Conflicts: 1433000 | #Constraints: 54418
2273.07/2280.05 c #Conflicts: 1434000 | #Constraints: 55709
2273.07/2280.05 c #Conflicts: 1435000 | #Constraints: 56932
2273.07/2280.05 c #Conflicts: 1436000 | #Constraints: 58310
2273.07/2280.05 c #Conflicts: 1437000 | #Constraints: 59630
2273.07/2280.05 c #Conflicts: 1438000 | #Constraints: 61031
2273.07/2280.05 c #Conflicts: 1439000 | #Constraints: 62360
2273.07/2280.05 c #Conflicts: 1440000 | #Constraints: 63771
2273.07/2280.05 c #Conflicts: 1441000 | #Constraints: 64946
2273.07/2280.05 c #Conflicts: 1442000 | #Constraints: 66266
2273.07/2280.05 c #Conflicts: 1443000 | #Constraints: 67652
2273.07/2280.05 c INPROCESSING
2273.07/2280.05 c GARBAGE COLLECT
2273.07/2280.05 c #Conflicts: 1444000 | #Constraints: 35659
2273.07/2280.05 c #Conflicts: 1445000 | #Constraints: 36821
2273.07/2280.05 c #Conflicts: 1446000 | #Constraints: 38009
2273.07/2280.05 c #Conflicts: 1447000 | #Constraints: 39299
2273.07/2280.05 c #Conflicts: 1448000 | #Constraints: 40668
2273.07/2280.05 c #Conflicts: 1449000 | #Constraints: 42150
2273.07/2280.05 c #Conflicts: 1450000 | #Constraints: 43585
2273.07/2280.05 c #Conflicts: 1451000 | #Constraints: 44980
2273.07/2280.05 c #Conflicts: 1452000 | #Constraints: 46409
2273.07/2280.05 c #Conflicts: 1453000 | #Constraints: 47806
2273.07/2280.05 c #Conflicts: 1454000 | #Constraints: 49238
2273.07/2280.05 c #Conflicts: 1455000 | #Constraints: 50684
2273.07/2280.05 c #Conflicts: 1456000 | #Constraints: 52141
2273.07/2280.05 c #Conflicts: 1457000 | #Constraints: 53573
2273.07/2280.05 c #Conflicts: 1458000 | #Constraints: 55030
2273.07/2280.05 c #Conflicts: 1459000 | #Constraints: 56435
2273.07/2280.05 c #Conflicts: 1460000 | #Constraints: 57856
2273.07/2280.05 c #Conflicts: 1461000 | #Constraints: 59247
2273.07/2280.05 c #Conflicts: 1462000 | #Constraints: 60673
2273.07/2280.05 c #Conflicts: 1463000 | #Constraints: 62114
2273.07/2280.05 c #Conflicts: 1464000 | #Constraints: 63556
2273.07/2280.05 c #Conflicts: 1465000 | #Constraints: 64978
2273.07/2280.05 c #Conflicts: 1466000 | #Constraints: 66422
2273.07/2280.05 c #Conflicts: 1467000 | #Constraints: 67823
2273.07/2280.05 c INPROCESSING
2273.07/2280.05 c GARBAGE COLLECT
2273.07/2280.05 c #Conflicts: 1468000 | #Constraints: 35821
2273.07/2280.05 c #Conflicts: 1469000 | #Constraints: 37260
2273.07/2280.05 c #Conflicts: 1470000 | #Constraints: 38704
2273.07/2280.05 c #Conflicts: 1471000 | #Constraints: 40129
2273.07/2280.05 c #Conflicts: 1472000 | #Constraints: 41581
2273.07/2280.05 c #Conflicts: 1473000 | #Constraints: 43033
2273.07/2280.05 c #Conflicts: 1474000 | #Constraints: 44473
2273.07/2280.05 c #Conflicts: 1475000 | #Constraints: 45923
2273.07/2280.05 c #Conflicts: 1476000 | #Constraints: 47363
2273.07/2280.05 c #Conflicts: 1477000 | #Constraints: 48827
2273.07/2280.05 c #Conflicts: 1478000 | #Constraints: 50278
2491.84/2499.48 c #Conflicts: 1479000 | #Constraints: 51705
2491.84/2499.48 c #Conflicts: 1480000 | #Constraints: 53155
2491.84/2499.48 c #Conflicts: 1481000 | #Constraints: 54592
2491.84/2499.48 c #Conflicts: 1482000 | #Constraints: 56039
2491.84/2499.48 c #Conflicts: 1483000 | #Constraints: 57479
2491.84/2499.48 c #Conflicts: 1484000 | #Constraints: 58937
2491.84/2499.48 c #Conflicts: 1485000 | #Constraints: 60362
2491.84/2499.48 c #Conflicts: 1486000 | #Constraints: 61814
2491.84/2499.48 c #Conflicts: 1487000 | #Constraints: 63279
2491.84/2499.48 c #Conflicts: 1488000 | #Constraints: 64737
2491.84/2499.48 c #Conflicts: 1489000 | #Constraints: 66212
2491.84/2499.48 c #Conflicts: 1490000 | #Constraints: 67663
2491.84/2499.48 c #Conflicts: 1491000 | #Constraints: 69116
2491.84/2499.48 c INPROCESSING
2491.84/2499.48 c GARBAGE COLLECT
2491.84/2499.48 c #Conflicts: 1492000 | #Constraints: 36210
2491.84/2499.48 c #Conflicts: 1493000 | #Constraints: 37632
2491.84/2499.48 c #Conflicts: 1494000 | #Constraints: 39052
2491.84/2499.48 c #Conflicts: 1495000 | #Constraints: 40461
2491.84/2499.48 c #Conflicts: 1496000 | #Constraints: 41873
2491.84/2499.48 c #Conflicts: 1497000 | #Constraints: 43284
2491.84/2499.48 c #Conflicts: 1498000 | #Constraints: 44713
2491.84/2499.48 c #Conflicts: 1499000 | #Constraints: 46121
2491.84/2499.48 c #Conflicts: 1500000 | #Constraints: 47525
2491.84/2499.48 c #Conflicts: 1501000 | #Constraints: 48980
2491.84/2499.48 c #Conflicts: 1502000 | #Constraints: 50409
2491.84/2499.48 c #Conflicts: 1503000 | #Constraints: 51819
2491.84/2499.48 c #Conflicts: 1504000 | #Constraints: 53266
2491.84/2499.48 c #Conflicts: 1505000 | #Constraints: 54705
2491.84/2499.48 c #Conflicts: 1506000 | #Constraints: 56109
2491.84/2499.48 c #Conflicts: 1507000 | #Constraints: 57509
2491.84/2499.48 c #Conflicts: 1508000 | #Constraints: 58935
2491.84/2499.48 c #Conflicts: 1509000 | #Constraints: 60381
2491.84/2499.48 c #Conflicts: 1510000 | #Constraints: 61772
2491.84/2499.48 c #Conflicts: 1511000 | #Constraints: 63191
2491.84/2499.48 c #Conflicts: 1512000 | #Constraints: 64624
2491.84/2499.48 c #Conflicts: 1513000 | #Constraints: 66040
2491.84/2499.48 c #Conflicts: 1514000 | #Constraints: 67432
2491.84/2499.48 c #Conflicts: 1515000 | #Constraints: 68865
2491.84/2499.48 c #Conflicts: 1516000 | #Constraints: 70265
2491.84/2499.48 c INPROCESSING
2491.84/2499.48 c GARBAGE COLLECT
2491.84/2499.48 c #Conflicts: 1517000 | #Constraints: 37055
2491.84/2499.48 c #Conflicts: 1518000 | #Constraints: 38504
2491.84/2499.48 c #Conflicts: 1519000 | #Constraints: 39958
2491.84/2499.48 c #Conflicts: 1520000 | #Constraints: 41410
2491.84/2499.48 c #Conflicts: 1521000 | #Constraints: 42850
2491.84/2499.48 c #Conflicts: 1522000 | #Constraints: 44270
2491.84/2499.48 c #Conflicts: 1523000 | #Constraints: 45702
2491.84/2499.48 c #Conflicts: 1524000 | #Constraints: 47162
2491.84/2499.48 c #Conflicts: 1525000 | #Constraints: 48610
2491.84/2499.48 c #Conflicts: 1526000 | #Constraints: 50040
2491.84/2499.48 c #Conflicts: 1527000 | #Constraints: 51482
2491.84/2499.48 c #Conflicts: 1528000 | #Constraints: 52930
2491.84/2499.48 c #Conflicts: 1529000 | #Constraints: 54383
2491.84/2499.48 c #Conflicts: 1530000 | #Constraints: 55836
2491.84/2499.48 c #Conflicts: 1531000 | #Constraints: 57295
2491.84/2499.48 c #Conflicts: 1532000 | #Constraints: 58744
2491.84/2499.48 c #Conflicts: 1533000 | #Constraints: 60185
2491.84/2499.48 c #Conflicts: 1534000 | #Constraints: 61644
2491.84/2499.48 c #Conflicts: 1535000 | #Constraints: 63082
2491.84/2499.48 c #Conflicts: 1536000 | #Constraints: 64527
2491.84/2499.48 c #Conflicts: 1537000 | #Constraints: 65993
2491.84/2499.48 c #Conflicts: 1538000 | #Constraints: 67439
2491.84/2499.48 c #Conflicts: 1539000 | #Constraints: 68900
2491.84/2499.48 c #Conflicts: 1540000 | #Constraints: 70350
2491.84/2499.48 c #Conflicts: 1541000 | #Constraints: 71800
2491.84/2499.48 c INPROCESSING
2491.84/2499.48 c GARBAGE COLLECT
2491.84/2499.48 c #Conflicts: 1542000 | #Constraints: 37938
2491.84/2499.48 c #Conflicts: 1543000 | #Constraints: 39363
2491.84/2499.48 c #Conflicts: 1544000 | #Constraints: 40754
2491.84/2499.48 c #Conflicts: 1545000 | #Constraints: 42161
2491.84/2499.48 c #Conflicts: 1546000 | #Constraints: 43581
2491.84/2499.48 c #Conflicts: 1547000 | #Constraints: 45031
2491.84/2499.48 c #Conflicts: 1548000 | #Constraints: 46423
2491.84/2499.48 c #Conflicts: 1549000 | #Constraints: 47837
2491.84/2499.48 c #Conflicts: 1550000 | #Constraints: 49202
2491.84/2499.48 c #Conflicts: 1551000 | #Constraints: 50588
2491.84/2499.48 c #Conflicts: 1552000 | #Constraints: 52052
2491.84/2499.48 c #Conflicts: 1553000 | #Constraints: 53503
2491.84/2499.48 c #Conflicts: 1554000 | #Constraints: 54916
2714.59/2722.83 c #Conflicts: 1555000 | #Constraints: 56317
2714.59/2722.83 c #Conflicts: 1556000 | #Constraints: 57739
2714.59/2722.83 c #Conflicts: 1557000 | #Constraints: 59173
2714.59/2722.83 c #Conflicts: 1558000 | #Constraints: 60600
2714.59/2722.83 c #Conflicts: 1559000 | #Constraints: 62064
2714.59/2722.83 c #Conflicts: 1560000 | #Constraints: 63532
2714.59/2722.83 c #Conflicts: 1561000 | #Constraints: 65040
2714.59/2722.83 c #Conflicts: 1562000 | #Constraints: 66514
2714.59/2722.83 c #Conflicts: 1563000 | #Constraints: 67992
2714.59/2722.83 c #Conflicts: 1564000 | #Constraints: 69440
2714.59/2722.83 c #Conflicts: 1565000 | #Constraints: 70965
2714.59/2722.83 c #Conflicts: 1566000 | #Constraints: 72399
2714.59/2722.83 c INPROCESSING
2714.59/2722.83 c GARBAGE COLLECT
2714.59/2722.83 c #Conflicts: 1567000 | #Constraints: 38286
2714.59/2722.83 c #Conflicts: 1568000 | #Constraints: 39742
2714.59/2722.83 c #Conflicts: 1569000 | #Constraints: 41208
2714.59/2722.83 c #Conflicts: 1570000 | #Constraints: 42657
2714.59/2722.83 c #Conflicts: 1571000 | #Constraints: 44106
2714.59/2722.83 c #Conflicts: 1572000 | #Constraints: 45580
2714.59/2722.83 c #Conflicts: 1573000 | #Constraints: 47035
2714.59/2722.83 c #Conflicts: 1574000 | #Constraints: 48495
2714.59/2722.83 c #Conflicts: 1575000 | #Constraints: 49932
2714.59/2722.83 c #Conflicts: 1576000 | #Constraints: 51383
2714.59/2722.83 c #Conflicts: 1577000 | #Constraints: 52837
2714.59/2722.83 c #Conflicts: 1578000 | #Constraints: 54293
2714.59/2722.83 c #Conflicts: 1579000 | #Constraints: 55745
2714.59/2722.83 c #Conflicts: 1580000 | #Constraints: 57204
2714.59/2722.83 c #Conflicts: 1581000 | #Constraints: 58681
2714.59/2722.83 c #Conflicts: 1582000 | #Constraints: 60130
2714.59/2722.83 c #Conflicts: 1583000 | #Constraints: 61571
2714.59/2722.83 c #Conflicts: 1584000 | #Constraints: 63010
2714.59/2722.83 c #Conflicts: 1585000 | #Constraints: 64459
2714.59/2722.83 c #Conflicts: 1586000 | #Constraints: 65889
2714.59/2722.83 c #Conflicts: 1587000 | #Constraints: 67336
2714.59/2722.83 c #Conflicts: 1588000 | #Constraints: 68763
2714.59/2722.83 c #Conflicts: 1589000 | #Constraints: 70214
2714.59/2722.83 c #Conflicts: 1590000 | #Constraints: 71670
2714.59/2722.83 c #Conflicts: 1591000 | #Constraints: 73102
2714.59/2722.83 c INPROCESSING
2714.59/2722.83 c GARBAGE COLLECT
2714.59/2722.83 c #Conflicts: 1592000 | #Constraints: 38487
2714.59/2722.83 c #Conflicts: 1593000 | #Constraints: 39912
2714.59/2722.83 c #Conflicts: 1594000 | #Constraints: 41343
2714.59/2722.83 c #Conflicts: 1595000 | #Constraints: 42832
2714.59/2722.83 c #Conflicts: 1596000 | #Constraints: 44310
2714.59/2722.83 c #Conflicts: 1597000 | #Constraints: 45752
2714.59/2722.83 c #Conflicts: 1598000 | #Constraints: 47203
2714.59/2722.83 c #Conflicts: 1599000 | #Constraints: 48683
2714.59/2722.83 c #Conflicts: 1600000 | #Constraints: 50156
2714.59/2722.83 c #Conflicts: 1601000 | #Constraints: 51610
2714.59/2722.83 c #Conflicts: 1602000 | #Constraints: 53106
2714.59/2722.83 c #Conflicts: 1603000 | #Constraints: 54605
2714.59/2722.83 c #Conflicts: 1604000 | #Constraints: 56107
2714.59/2722.83 c #Conflicts: 1605000 | #Constraints: 57621
2714.59/2722.83 c #Conflicts: 1606000 | #Constraints: 59150
2714.59/2722.83 c #Conflicts: 1607000 | #Constraints: 60655
2714.59/2722.83 c #Conflicts: 1608000 | #Constraints: 62141
2714.59/2722.83 c #Conflicts: 1609000 | #Constraints: 63649
2714.59/2722.83 c #Conflicts: 1610000 | #Constraints: 65093
2714.59/2722.83 c #Conflicts: 1611000 | #Constraints: 66592
2714.59/2722.83 c #Conflicts: 1612000 | #Constraints: 68080
2714.59/2722.83 c #Conflicts: 1613000 | #Constraints: 69628
2714.59/2722.83 c #Conflicts: 1614000 | #Constraints: 71149
2714.59/2722.83 c #Conflicts: 1615000 | #Constraints: 72606
2714.59/2722.83 c #Conflicts: 1616000 | #Constraints: 74102
2714.59/2722.83 c INPROCESSING
2714.59/2722.83 c GARBAGE COLLECT
2714.59/2722.83 c #Conflicts: 1617000 | #Constraints: 38698
2714.59/2722.83 c #Conflicts: 1618000 | #Constraints: 40144
2714.59/2722.83 c #Conflicts: 1619000 | #Constraints: 41590
2714.59/2722.83 c #Conflicts: 1620000 | #Constraints: 43036
2714.59/2722.83 c #Conflicts: 1621000 | #Constraints: 44478
2714.59/2722.83 c #Conflicts: 1622000 | #Constraints: 45938
2714.59/2722.83 c #Conflicts: 1623000 | #Constraints: 47381
2714.59/2722.83 c #Conflicts: 1624000 | #Constraints: 48819
2714.59/2722.83 c #Conflicts: 1625000 | #Constraints: 50289
2714.59/2722.83 c #Conflicts: 1626000 | #Constraints: 51736
2714.59/2722.83 c #Conflicts: 1627000 | #Constraints: 53194
2714.59/2722.83 c #Conflicts: 1628000 | #Constraints: 54617
2714.59/2722.83 c #Conflicts: 1629000 | #Constraints: 56043
2714.59/2722.83 c #Conflicts: 1630000 | #Constraints: 57491
2714.59/2722.83 c #Conflicts: 1631000 | #Constraints: 58929
2951.23/2960.24 c #Conflicts: 1632000 | #Constraints: 60372
2951.23/2960.24 c #Conflicts: 1633000 | #Constraints: 61819
2951.23/2960.24 c #Conflicts: 1634000 | #Constraints: 63265
2951.23/2960.24 c #Conflicts: 1635000 | #Constraints: 64714
2951.23/2960.24 c #Conflicts: 1636000 | #Constraints: 66124
2951.23/2960.24 c #Conflicts: 1637000 | #Constraints: 67560
2951.23/2960.24 c #Conflicts: 1638000 | #Constraints: 68991
2951.23/2960.24 c #Conflicts: 1639000 | #Constraints: 70422
2951.23/2960.24 c #Conflicts: 1640000 | #Constraints: 71873
2951.23/2960.24 c #Conflicts: 1641000 | #Constraints: 73310
2951.23/2960.24 c #Conflicts: 1642000 | #Constraints: 74746
2951.23/2960.24 c INPROCESSING
2951.23/2960.24 c GARBAGE COLLECT
2951.23/2960.24 c #Conflicts: 1643000 | #Constraints: 39307
2951.23/2960.24 c #Conflicts: 1644000 | #Constraints: 40690
2951.23/2960.24 c #Conflicts: 1645000 | #Constraints: 42114
2951.23/2960.24 c #Conflicts: 1646000 | #Constraints: 43523
2951.23/2960.24 c #Conflicts: 1647000 | #Constraints: 44944
2951.23/2960.24 c #Conflicts: 1648000 | #Constraints: 46382
2951.23/2960.24 c #Conflicts: 1649000 | #Constraints: 47832
2951.23/2960.24 c #Conflicts: 1650000 | #Constraints: 49281
2951.23/2960.24 c #Conflicts: 1651000 | #Constraints: 50754
2951.23/2960.24 c #Conflicts: 1652000 | #Constraints: 52193
2951.23/2960.24 c #Conflicts: 1653000 | #Constraints: 53626
2951.23/2960.24 c #Conflicts: 1654000 | #Constraints: 55070
2951.23/2960.24 c #Conflicts: 1655000 | #Constraints: 56546
2951.23/2960.24 c #Conflicts: 1656000 | #Constraints: 58006
2951.23/2960.24 c #Conflicts: 1657000 | #Constraints: 59442
2951.23/2960.24 c #Conflicts: 1658000 | #Constraints: 60862
2951.23/2960.24 c #Conflicts: 1659000 | #Constraints: 62283
2951.23/2960.24 c #Conflicts: 1660000 | #Constraints: 63730
2951.23/2960.24 c #Conflicts: 1661000 | #Constraints: 65164
2951.23/2960.24 c #Conflicts: 1662000 | #Constraints: 66609
2951.23/2960.24 c #Conflicts: 1663000 | #Constraints: 68082
2951.23/2960.24 c #Conflicts: 1664000 | #Constraints: 69539
2951.23/2960.24 c #Conflicts: 1665000 | #Constraints: 70958
2951.23/2960.24 c #Conflicts: 1666000 | #Constraints: 72429
2951.23/2960.24 c #Conflicts: 1667000 | #Constraints: 73845
2951.23/2960.24 c #Conflicts: 1668000 | #Constraints: 75306
2951.23/2960.24 c INPROCESSING
2951.23/2960.24 c GARBAGE COLLECT
2951.23/2960.24 c #Conflicts: 1669000 | #Constraints: 39757
2951.23/2960.24 c #Conflicts: 1670000 | #Constraints: 41217
2951.23/2960.24 c #Conflicts: 1671000 | #Constraints: 42677
2951.23/2960.24 c #Conflicts: 1672000 | #Constraints: 44145
2951.23/2960.24 c #Conflicts: 1673000 | #Constraints: 45600
2951.23/2960.24 c #Conflicts: 1674000 | #Constraints: 47042
2951.23/2960.24 c #Conflicts: 1675000 | #Constraints: 48500
2951.23/2960.24 c #Conflicts: 1676000 | #Constraints: 49939
2951.23/2960.24 c #Conflicts: 1677000 | #Constraints: 51423
2951.23/2960.24 c #Conflicts: 1678000 | #Constraints: 52890
2951.23/2960.24 c #Conflicts: 1679000 | #Constraints: 54348
2951.23/2960.24 c #Conflicts: 1680000 | #Constraints: 55795
2951.23/2960.24 c #Conflicts: 1681000 | #Constraints: 57263
2951.23/2960.24 c #Conflicts: 1682000 | #Constraints: 58718
2951.23/2960.24 c #Conflicts: 1683000 | #Constraints: 60164
2951.23/2960.24 c #Conflicts: 1684000 | #Constraints: 61628
2951.23/2960.24 c #Conflicts: 1685000 | #Constraints: 63074
2951.23/2960.24 c #Conflicts: 1686000 | #Constraints: 64500
2951.23/2960.24 c #Conflicts: 1687000 | #Constraints: 65951
2951.23/2960.24 c #Conflicts: 1688000 | #Constraints: 67391
2951.23/2960.24 c #Conflicts: 1689000 | #Constraints: 68861
2951.23/2960.24 c #Conflicts: 1690000 | #Constraints: 70322
2951.23/2960.24 c #Conflicts: 1691000 | #Constraints: 71759
2951.23/2960.24 c #Conflicts: 1692000 | #Constraints: 73227
2951.23/2960.24 c #Conflicts: 1693000 | #Constraints: 74688
2951.23/2960.24 c #Conflicts: 1694000 | #Constraints: 76138
2951.23/2960.24 c INPROCESSING
2951.23/2960.24 c GARBAGE COLLECT
2951.23/2960.24 c #Conflicts: 1695000 | #Constraints: 40171
2951.23/2960.24 c #Conflicts: 1696000 | #Constraints: 41544
2951.23/2960.24 c #Conflicts: 1697000 | #Constraints: 42956
2951.23/2960.24 c #Conflicts: 1698000 | #Constraints: 44407
2951.23/2960.24 c #Conflicts: 1699000 | #Constraints: 45835
2951.23/2960.24 c #Conflicts: 1700000 | #Constraints: 47242
2951.23/2960.24 c #Conflicts: 1701000 | #Constraints: 48620
2951.23/2960.24 c #Conflicts: 1702000 | #Constraints: 50065
2951.23/2960.24 c #Conflicts: 1703000 | #Constraints: 51504
2951.23/2960.24 c #Conflicts: 1704000 | #Constraints: 52956
2951.23/2960.24 c #Conflicts: 1705000 | #Constraints: 54332
2951.23/2960.24 c #Conflicts: 1706000 | #Constraints: 55743
2951.23/2960.24 c #Conflicts: 1707000 | #Constraints: 57169
2951.23/2960.24 c #Conflicts: 1708000 | #Constraints: 58589
3192.63/3202.35 c #Conflicts: 1709000 | #Constraints: 60022
3192.63/3202.35 c #Conflicts: 1710000 | #Constraints: 61466
3192.63/3202.35 c #Conflicts: 1711000 | #Constraints: 62901
3192.63/3202.35 c #Conflicts: 1712000 | #Constraints: 64317
3192.63/3202.35 c #Conflicts: 1713000 | #Constraints: 65779
3192.63/3202.35 c #Conflicts: 1714000 | #Constraints: 67233
3192.63/3202.35 c #Conflicts: 1715000 | #Constraints: 68661
3192.63/3202.35 c #Conflicts: 1716000 | #Constraints: 70108
3192.63/3202.35 c #Conflicts: 1717000 | #Constraints: 71553
3192.63/3202.35 c #Conflicts: 1718000 | #Constraints: 73009
3192.63/3202.35 c #Conflicts: 1719000 | #Constraints: 74447
3192.63/3202.35 c #Conflicts: 1720000 | #Constraints: 75881
3192.63/3202.35 c INPROCESSING
3192.63/3202.35 c GARBAGE COLLECT
3192.63/3202.35 c #Conflicts: 1721000 | #Constraints: 39849
3192.63/3202.35 c #Conflicts: 1722000 | #Constraints: 41299
3192.63/3202.35 c #Conflicts: 1723000 | #Constraints: 42738
3192.63/3202.35 c #Conflicts: 1724000 | #Constraints: 44165
3192.63/3202.35 c #Conflicts: 1725000 | #Constraints: 45596
3192.63/3202.35 c #Conflicts: 1726000 | #Constraints: 47027
3192.63/3202.35 c #Conflicts: 1727000 | #Constraints: 48440
3192.63/3202.35 c #Conflicts: 1728000 | #Constraints: 49873
3192.63/3202.35 c #Conflicts: 1729000 | #Constraints: 51319
3192.63/3202.35 c #Conflicts: 1730000 | #Constraints: 52757
3192.63/3202.35 c #Conflicts: 1731000 | #Constraints: 54218
3192.63/3202.35 c #Conflicts: 1732000 | #Constraints: 55683
3192.63/3202.35 c #Conflicts: 1733000 | #Constraints: 57138
3192.63/3202.35 c #Conflicts: 1734000 | #Constraints: 58590
3192.63/3202.35 c #Conflicts: 1735000 | #Constraints: 60044
3192.63/3202.35 c #Conflicts: 1736000 | #Constraints: 61507
3192.63/3202.35 c #Conflicts: 1737000 | #Constraints: 62966
3192.63/3202.35 c #Conflicts: 1738000 | #Constraints: 64413
3192.63/3202.35 c #Conflicts: 1739000 | #Constraints: 65860
3192.63/3202.35 c #Conflicts: 1740000 | #Constraints: 67322
3192.63/3202.35 c #Conflicts: 1741000 | #Constraints: 68764
3192.63/3202.35 c #Conflicts: 1742000 | #Constraints: 70199
3192.63/3202.35 c #Conflicts: 1743000 | #Constraints: 71661
3192.63/3202.35 c #Conflicts: 1744000 | #Constraints: 73092
3192.63/3202.35 c #Conflicts: 1745000 | #Constraints: 74522
3192.63/3202.35 c #Conflicts: 1746000 | #Constraints: 75954
3192.63/3202.35 c INPROCESSING
3192.63/3202.35 c GARBAGE COLLECT
3192.63/3202.35 c #Conflicts: 1747000 | #Constraints: 39650
3192.63/3202.35 c #Conflicts: 1748000 | #Constraints: 41078
3192.63/3202.35 c #Conflicts: 1749000 | #Constraints: 42479
3192.63/3202.35 c #Conflicts: 1750000 | #Constraints: 43868
3192.63/3202.35 c #Conflicts: 1751000 | #Constraints: 45307
3192.63/3202.35 c #Conflicts: 1752000 | #Constraints: 46699
3192.63/3202.35 c #Conflicts: 1753000 | #Constraints: 48127
3192.63/3202.35 c #Conflicts: 1754000 | #Constraints: 49586
3192.63/3202.35 c #Conflicts: 1755000 | #Constraints: 51081
3192.63/3202.35 c #Conflicts: 1756000 | #Constraints: 52562
3192.63/3202.35 c #Conflicts: 1757000 | #Constraints: 53966
3192.63/3202.35 c #Conflicts: 1758000 | #Constraints: 55411
3192.63/3202.35 c #Conflicts: 1759000 | #Constraints: 56861
3192.63/3202.35 c #Conflicts: 1760000 | #Constraints: 58298
3192.63/3202.35 c #Conflicts: 1761000 | #Constraints: 59764
3192.63/3202.35 c #Conflicts: 1762000 | #Constraints: 61252
3192.63/3202.35 c #Conflicts: 1763000 | #Constraints: 62695
3192.63/3202.35 c #Conflicts: 1764000 | #Constraints: 64141
3192.63/3202.35 c #Conflicts: 1765000 | #Constraints: 65583
3192.63/3202.35 c #Conflicts: 1766000 | #Constraints: 67035
3192.63/3202.35 c #Conflicts: 1767000 | #Constraints: 68512
3192.63/3202.35 c #Conflicts: 1768000 | #Constraints: 69972
3192.63/3202.35 c #Conflicts: 1769000 | #Constraints: 71439
3192.63/3202.35 c #Conflicts: 1770000 | #Constraints: 72904
3192.63/3202.35 c #Conflicts: 1771000 | #Constraints: 74371
3192.63/3202.35 c #Conflicts: 1772000 | #Constraints: 75841
3192.63/3202.35 c #Conflicts: 1773000 | #Constraints: 77297
3192.63/3202.35 c INPROCESSING
3192.63/3202.35 c GARBAGE COLLECT
3192.63/3202.35 c #Conflicts: 1774000 | #Constraints: 40568
3192.63/3202.35 c #Conflicts: 1775000 | #Constraints: 42001
3192.63/3202.35 c #Conflicts: 1776000 | #Constraints: 43463
3192.63/3202.35 c #Conflicts: 1777000 | #Constraints: 44882
3192.63/3202.35 c #Conflicts: 1778000 | #Constraints: 46332
3192.63/3202.35 c #Conflicts: 1779000 | #Constraints: 47798
3192.63/3202.35 c #Conflicts: 1780000 | #Constraints: 49246
3192.63/3202.35 c #Conflicts: 1781000 | #Constraints: 50673
3192.63/3202.35 c #Conflicts: 1782000 | #Constraints: 51999
3192.63/3202.35 c #Conflicts: 1783000 | #Constraints: 53307
3192.63/3202.35 c #Conflicts: 1784000 | #Constraints: 54573
3192.63/3202.35 c #Conflicts: 1785000 | #Constraints: 55693
3239.80/3249.62 c #Conflicts: 1786000 | #Constraints: 57057
3239.80/3249.62 c #Conflicts: 1787000 | #Constraints: 58345
3239.80/3249.62 c #Conflicts: 1788000 | #Constraints: 59782
3239.80/3249.62 c #Conflicts: 1789000 | #Constraints: 61132
3239.80/3249.62 c #Conflicts: 1790000 | #Constraints: 62402
3239.80/3249.62 c #Conflicts: 1791000 | #Constraints: 63747
3239.80/3249.62 c #Conflicts: 1792000 | #Constraints: 65041
3239.80/3249.62 c #Conflicts: 1793000 | #Constraints: 66266
3239.80/3249.62 c #Conflicts: 1794000 | #Constraints: 67486
3239.80/3249.62 c #Conflicts: 1795000 | #Constraints: 68819
3239.80/3249.62 c #Conflicts: 1796000 | #Constraints: 70030
3239.80/3249.62 c #Conflicts: 1797000 | #Constraints: 71371
3239.80/3249.62 c bounds -79 >= -80 @ 3214.15
3336.64/3346.76 c #Conflicts: 1798000 | #Constraints: 72651
3336.64/3346.76 c #Conflicts: 1799000 | #Constraints: 74096
3336.64/3346.76 c #Conflicts: 1800000 | #Constraints: 75462
3336.64/3346.76 c INPROCESSING
3336.64/3346.76 c GARBAGE COLLECT
3336.64/3346.76 c #Conflicts: 1801000 | #Constraints: 39623
3336.64/3346.76 c #Conflicts: 1802000 | #Constraints: 40991
3336.64/3346.76 c #Conflicts: 1803000 | #Constraints: 42414
3336.64/3346.76 c #Conflicts: 1804000 | #Constraints: 43903
3336.64/3346.76 c #Conflicts: 1805000 | #Constraints: 45358
3336.64/3346.76 c #Conflicts: 1806000 | #Constraints: 46816
3336.64/3346.76 c #Conflicts: 1807000 | #Constraints: 48225
3336.64/3346.76 c #Conflicts: 1808000 | #Constraints: 49479
3336.64/3346.76 c #Conflicts: 1809000 | #Constraints: 50743
3336.64/3346.76 c #Conflicts: 1810000 | #Constraints: 52176
3336.64/3346.76 c #Conflicts: 1811000 | #Constraints: 53393
3336.64/3346.76 c #Conflicts: 1812000 | #Constraints: 54838
3336.64/3346.76 c #Conflicts: 1813000 | #Constraints: 56285
3336.64/3346.76 c #Conflicts: 1814000 | #Constraints: 57703
3336.64/3346.76 c #Conflicts: 1815000 | #Constraints: 59107
3336.64/3346.76 c #Conflicts: 1816000 | #Constraints: 60561
3336.64/3346.76 c #Conflicts: 1817000 | #Constraints: 62036
3336.64/3346.76 c #Conflicts: 1818000 | #Constraints: 63467
3336.64/3346.76 c #Conflicts: 1819000 | #Constraints: 64880
3336.64/3346.76 c #Conflicts: 1820000 | #Constraints: 66353
3336.64/3346.76 c #Conflicts: 1821000 | #Constraints: 67691
3336.64/3346.76 c #Conflicts: 1822000 | #Constraints: 69049
3336.64/3346.76 c #Conflicts: 1823000 | #Constraints: 70404
3336.64/3346.76 c #Conflicts: 1824000 | #Constraints: 71880
3336.64/3346.76 c #Conflicts: 1825000 | #Constraints: 73327
3336.64/3346.76 c #Conflicts: 1826000 | #Constraints: 74778
3336.64/3346.76 c #Conflicts: 1827000 | #Constraints: 76238
3336.64/3346.76 c INPROCESSING
3336.64/3346.76 c GARBAGE COLLECT
3336.64/3346.76 c bounds -80 >= -80 @ 3310.52
3336.64/3346.76 c cpu time 3310.52 s
3336.64/3346.76 c deterministic time 262087879458 2.62e+11
3336.64/3346.76 c optimization time 0.019881 s
3336.64/3346.76 c total solve time 3310.49 s
3336.64/3346.76 c core-guided solve time 1760.06 s
3336.64/3346.76 c propagation time 2338.72 s
3336.64/3346.76 c conflict analysis time 938.808 s
3336.64/3346.76 c propagations 206574613
3336.64/3346.76 c resolve steps 26358898
3336.64/3346.76 c decisions 3411096
3336.64/3346.76 c conflicts 1827290
3336.64/3346.76 c restarts 3577
3336.64/3346.76 c inprocessing phases 126
3336.64/3346.76 c garbage collections 126 ,( 100.00 )
3336.64/3346.76 c input clauses 524 ,( 32.47 )
3336.64/3346.76 c input cardinalities 433 ,( 26.83 )
3336.64/3346.76 c input general constraints 657 ,( 40.71 )
3336.64/3346.76 c input average constraint length 42.47
3336.64/3346.76 c input average constraint degree 12.07
3336.64/3346.76 c learned clauses 1080791 ,( 45.45 )
3336.64/3346.76 c learned cardinalities 558 ,( 0.02 )
3336.64/3346.76 c learned general constraints 1296811 ,( 54.53 )
3336.64/3346.76 c learned average constraint length 159.09
3336.64/3346.76 c learned average constraint degree 3519928922.67
3336.64/3346.76 c watched CF 32, 64, 128, Arb: 324880 , 0 , 0 , 0
3336.64/3346.76 c counting CF 32, 64, 128, Arb: 972589 , 0 , 0 , 0
3336.64/3346.76 c watched constraints 324880 ,( 25.04 )
3336.64/3346.76 c counting constraints 972588 ,( 74.96 )
3336.64/3346.76 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 795353652 , 101843830 , 9475866978 ,( 378284977 , 9097582001 )
3336.64/3346.76 c gcd simplifications 82813
3336.64/3346.76 c detected cardinalities 263
3336.64/3346.76 c weakened non-implied lits 147318588
3336.64/3346.76 c weakened non-implying lits 82389
3336.64/3346.76 c original variables 441
3336.64/3346.76 c clausal propagations 42494694
3336.64/3346.76 c cardinality propagations 12579461
3336.64/3346.76 c watched propagations 884177
3336.64/3346.76 c counting propagations 143456012
3336.64/3346.76 c watch lookups 239575269811
3336.64/3346.76 c watch backjump lookups 0
3336.64/3346.76 c watch checks 6420361951
3336.64/3346.76 c propagation checks 14837537943
3336.64/3346.76 c constraint additions 831084832
3336.64/3346.76 c trail pops 211801649
3336.64/3346.76 c formula constraints 576
3336.64/3346.76 c learned constraints 1816086
3336.64/3346.76 c bound constraints 178
3336.64/3346.76 c core-guided constraints 860
3336.64/3346.76 c encountered formula constraints 8174027
3336.64/3346.76 c encountered learned constraints 14778401
3336.64/3346.76 c encountered bound constraints 483
3336.64/3346.76 c encountered core-guided constraints 4179472
3336.64/3346.76 c LP total time 294.58 s
3336.64/3346.76 c LP solve time 131.21 s
3336.64/3346.76 c LP constraints added 1528
3336.64/3346.76 c LP constraints removed 927
3336.64/3346.76 c LP pivots internal 1827213
3336.64/3346.76 c LP pivots root 10349
3336.64/3346.76 c LP calls 601719
3336.64/3346.76 c LP optimalities 51230
3336.64/3346.76 c LP no pivot count 18177
3336.64/3346.76 c LP infeasibilities 550487
3336.64/3346.76 c LP valid Farkas constraints 550487
3336.64/3346.76 c LP learned Farkas constraints 11253
3336.64/3346.76 c LP basis resets 1
3336.64/3346.76 c LP cycling count 0
3336.64/3346.76 c LP singular count 1
3336.64/3346.76 c LP no primal count 0
3336.64/3346.76 c LP no farkas count 0
3336.64/3346.76 c LP other issue count 0
3336.64/3346.76 c LP Gomory cuts 334
3336.64/3346.76 c LP learned cuts 618
3336.64/3346.76 c LP deleted cuts 927
3336.64/3346.76 c LP encountered Gomory constraints 690466
3336.64/3346.76 c LP encountered Farkas constraints 300876
3336.64/3346.76 c LP encountered learned Farkas constraints 51210
3336.64/3346.76 c CG auxiliary variables introduced 330
3336.64/3346.76 c CG solutions found 23
3336.64/3346.76 c CG cores constructed 130
3336.64/3346.76 c CG core cardinality constraints returned 0
3336.64/3346.76 c CG unit cores 0
3336.64/3346.76 c CG single cores 130
3336.64/3346.76 c CG blocks removed during cardinality reduction 0
3336.64/3346.76 c CG first core best 0
3336.64/3346.76 c CG decision core best 0
3336.64/3346.76 c CG core reduction tie 0
3336.64/3346.76 c CG core degree average 1.00
3336.64/3346.76 c CG core slack average 4.58
3336.64/3346.76 c CG core upper bound improvements 36
3336.64/3346.76 c STR number of successful calls 0
3336.64/3346.76 c STR number of unsuccessful calls 0
3336.64/3346.76 c STR number of inconclusive calls 0
3336.64/3346.76 c STR number of successful attempts 0
3336.64/3346.76 c STR number of unsuccessful attempts 0
3336.64/3346.76 c STR number of inconclusive attempts 0
3336.64/3346.76 c STR average degree increase per successful call inf
3336.64/3346.76 c STR average degree increase per successful attempt inf
3336.64/3346.76 c STR total number of conflicts for successful attempts 0
3336.64/3346.76 c STR total number of conflicts for unsuccessful attempts 0
3336.64/3346.76 c STR total number of conflicts for inconclusive attempts 0
3336.64/3346.76 c STR average number of conflicts per successful attempt inf
3336.64/3346.76 c STR average number of conflicts per unsuccessful attempt inf
3336.64/3346.76 c STR average number of conflicts per inconclusive attempt inf
3336.64/3346.76 c AVG.sumWPerc 50.67
3336.64/3346.76 c bigint constraints 0
3336.64/3346.76 o -80
3336.64/3346.76 s OPTIMUM FOUND
3336.64/3346.77 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: 63708 MiB (22811 MiB free)
memory of node 1: 64465 MiB (31968 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532656-1752686330/watcher-4532656-1752686330 -o /tmp/evaluation-result-4532656-1752686330/solver-4532656-1752686330 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752683038-137169 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532656-1752686330.opb /tmp/proof-4532656-1752686330
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=137697, runsolver pid=137694
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.82 4.83 4.73 5/275 137700
/proc/meminfo: memFree=56073896/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=58292 memory=15076 CPUtime=0.07 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 1182 0 0 0 6 1 0 0 20 0 1 0 184307544 59691008 3769 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 14573 3769 2432 1147 0 1999 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62484 KiB
Current children cumulated memory: 18148 KiB
[startup+0.20574 s]*
/proc/loadavg: 4.82 4.83 4.73 5/275 137700
/proc/meminfo: memFree=56073896/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=59352 memory=16100 CPUtime=0.18 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 1452 0 0 0 16 2 0 0 20 0 1 0 184307544 60776448 4025 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 14838 4025 2432 1147 0 2264 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63544 KiB
Current children cumulated memory: 19172 KiB
[startup+0.305665 s]*
/proc/loadavg: 4.82 4.83 4.73 5/275 137700
/proc/meminfo: memFree=56073896/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=60424 memory=17252 CPUtime=0.28 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 1723 0 0 0 25 3 0 0 20 0 1 0 184307544 61874176 4313 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 15106 4313 2432 1147 0 2532 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 64616 KiB
Current children cumulated memory: 20324 KiB
[startup+0.700191 s]
/proc/loadavg: 4.82 4.83 4.73 5/275 137700
/proc/meminfo: memFree=56066356/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=61808 memory=18532 CPUtime=0.67 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 2063 0 0 0 62 5 0 0 20 0 1 0 184307544 63291392 4633 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 15452 4633 2432 1147 0 2878 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 66000 KiB
Current children cumulated memory: 21604 KiB
[startup+1.50021 s]
/proc/loadavg: 4.82 4.83 4.73 5/275 137700
/proc/meminfo: memFree=56049376/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=63944 memory=22584 CPUtime=1.47 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 2570 0 0 0 139 8 0 0 20 0 1 0 184307544 65478656 5646 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 15986 5646 2432 1147 0 3412 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 68136 KiB
Current children cumulated memory: 25656 KiB
[startup+3.10551 s]
/proc/loadavg: 4.82 4.83 4.73 5/275 137700
/proc/meminfo: memFree=55955248/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=68596 memory=26552 CPUtime=3.07 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 3557 0 0 0 292 15 0 0 20 0 1 0 184307544 70242304 6638 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 17149 6638 2432 1147 0 4575 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 72788 KiB
Current children cumulated memory: 29624 KiB
[startup+6.30018 s]
/proc/loadavg: 4.76 4.82 4.72 5/275 137700
/proc/meminfo: memFree=55829104/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=70636 memory=28600 CPUtime=6.25 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 4076 0 0 0 598 27 0 0 20 0 1 0 184307544 72331264 7150 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 17659 7150 2432 1147 0 5085 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 74828 KiB
Current children cumulated memory: 31672 KiB
[startup+12.7002 s]
/proc/loadavg: 4.70 4.81 4.72 5/275 137700
/proc/meminfo: memFree=55613524/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=73828 memory=31544 CPUtime=12.63 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 4813 0 0 0 1216 47 0 0 20 0 1 0 184307544 75599872 7886 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 18457 7886 2432 1147 0 5883 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 78020 KiB
Current children cumulated memory: 34616 KiB
[startup+25.5002 s]
/proc/loadavg: 4.54 4.77 4.71 5/275 137700
/proc/meminfo: memFree=55061352/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=79996 memory=36280 CPUtime=25.4 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 5982 0 0 0 2448 92 0 0 20 0 1 0 184307544 81915904 9070 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 19999 9070 2432 1147 0 7425 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 39352 KiB
[startup+51.1056 s]
/proc/loadavg: 4.63 4.77 4.71 5/276 137702
/proc/meminfo: memFree=53785896/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=102212 memory=56180 CPUtime=50.92 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 10457 0 0 0 4924 168 0 0 20 0 1 0 184307544 104665088 14045 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 25553 14045 2432 1147 0 12979 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 106404 KiB
Current children cumulated memory: 59252 KiB
[startup+102.3 s]
/proc/loadavg: 4.58 4.73 4.70 5/278 137709
/proc/meminfo: memFree=50507900/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=124340 memory=72324 CPUtime=101.94 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 14500 0 0 0 9889 305 0 0 20 0 1 0 184307544 127324160 18081 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 31085 18081 2432 1147 0 18511 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 128532 KiB
Current children cumulated memory: 75396 KiB
[startup+162.3 s]
/proc/loadavg: 4.43 4.67 4.68 5/277 137762
/proc/meminfo: memFree=107574820/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=131968 memory=86804 CPUtime=161.75 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 16849 0 0 0 15716 459 0 0 20 0 1 0 184307544 135135232 21701 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 32992 21701 2432 1147 0 20418 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 136160 KiB
Current children cumulated memory: 89876 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 4.62 4.67 5/277 137764
/proc/meminfo: memFree=105121832/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=220312 memory=152652 CPUtime=221.58 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 30216 0 0 0 21604 554 0 0 20 0 1 0 184307544 225599488 38163 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 55078 38163 2432 1147 0 42504 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 60007 0 0 0 294900 2426 0 0 20 0 1 0 184307544 402944000 82922 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 98375 82922 2496 1147 0 85801 0
Current children cumulated CPU time: 2973.26 s
Current children cumulated vsize: 397692 KiB
Current children cumulated memory: 334760 KiB
[startup+3042.3 s]
/proc/loadavg: 2.15 2.14 2.27 3/255 138090
/proc/meminfo: memFree=107390252/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=394988 memory=340372 CPUtime=3033.08 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 60483 0 0 0 300843 2465 0 0 20 0 1 0 184307544 404467712 85093 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 98747 85093 2496 1147 0 86173 0
Current children cumulated CPU time: 3033.08 s
Current children cumulated vsize: 399180 KiB
Current children cumulated memory: 343444 KiB
[startup+3102.3 s]
/proc/loadavg: 2.17 2.15 2.26 3/255 138093
/proc/meminfo: memFree=107125464/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=395832 memory=341624 CPUtime=3092.91 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 60731 0 0 0 306802 2489 0 0 20 0 1 0 184307544 405331968 85406 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 98958 85406 2496 1147 0 86384 0
Current children cumulated CPU time: 3092.91 s
Current children cumulated vsize: 400024 KiB
Current children cumulated memory: 344696 KiB
[startup+3162.3 s]
/proc/loadavg: 2.16 2.15 2.26 3/255 138095
/proc/meminfo: memFree=106840476/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=395832 memory=341624 CPUtime=3152.74 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 60731 0 0 0 312750 2524 0 0 20 0 1 0 184307544 405331968 85406 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 98958 85406 2496 1147 0 86384 0
Current children cumulated CPU time: 3152.74 s
Current children cumulated vsize: 400024 KiB
Current children cumulated memory: 344696 KiB
[startup+3222.3 s]
/proc/loadavg: 2.10 2.13 2.24 3/255 138096
/proc/meminfo: memFree=106522108/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=398888 memory=347328 CPUtime=3212.57 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 61263 0 0 0 318700 2557 0 0 20 0 1 0 184307544 408461312 86832 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 99722 86832 2496 1147 0 87148 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 403080 KiB
Current children cumulated memory: 350400 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.12 2.23 3/254 138098
/proc/meminfo: memFree=106182348/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=399480 memory=347712 CPUtime=3272.42 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 61387 0 0 0 324647 2595 0 0 20 0 1 0 184307544 409067520 86928 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 99870 86928 2496 1147 0 87296 0
Current children cumulated CPU time: 3272.42 s
Current children cumulated vsize: 403672 KiB
Current children cumulated memory: 350784 KiB
[startup+3342.3 s]
/proc/loadavg: 2.09 2.11 2.22 3/254 138100
/proc/meminfo: memFree=105931980/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=399480 memory=347712 CPUtime=3332.25 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 61387 0 0 0 330607 2618 0 0 20 0 1 0 184307544 409067520 86928 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 99870 86928 2496 1147 0 87296 0
Current children cumulated CPU time: 3332.25 s
Current children cumulated vsize: 403672 KiB
Current children cumulated memory: 350784 KiB
[startup+3346.77 s]
# the end of solver process 137697 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3310.52 s, system=26.2034 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3344 s]*
/proc/loadavg: 2.08 2.11 2.22 3/254 138100
/proc/meminfo: memFree=105911756/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=399480 memory=347712 CPUtime=3333.95 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 61387 0 0 0 330777 2618 0 0 20 0 1 0 184307544 409067520 86928 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 99870 86928 2496 1147 0 87296 0
Current children cumulated CPU time: 3333.95 s
Current children cumulated vsize: 403672 KiB
Current children cumulated memory: 350784 KiB
[startup+3345.6 s]
/proc/loadavg: 2.08 2.11 2.22 3/254 138100
/proc/meminfo: memFree=105911756/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=399480 memory=347712 CPUtime=3335.54 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 61387 0 0 0 330935 2619 0 0 20 0 1 0 184307544 409067520 86928 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 99870 86928 2496 1147 0 87296 0
Current children cumulated CPU time: 3335.54 s
Current children cumulated vsize: 403672 KiB
Current children cumulated memory: 350784 KiB
[startup+3346.4 s]
/proc/loadavg: 2.08 2.11 2.22 3/254 138101
/proc/meminfo: memFree=105911820/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=399480 memory=347712 CPUtime=3336.34 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 61387 0 0 0 331015 2619 0 0 20 0 1 0 184307544 409067520 86928 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 99870 86928 2496 1147 0 87296 0
Current children cumulated CPU time: 3336.34 s
Current children cumulated vsize: 403672 KiB
Current children cumulated memory: 350784 KiB
[startup+3346.6 s]
/proc/loadavg: 2.08 2.11 2.22 3/254 138101
/proc/meminfo: memFree=105911820/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=399480 memory=347712 CPUtime=3336.54 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 61389 0 0 0 331035 2619 0 0 20 0 1 0 184307544 409067520 86928 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 99870 86928 2496 1147 0 87296 0
Current children cumulated CPU time: 3336.54 s
Current children cumulated vsize: 403672 KiB
Current children cumulated memory: 350784 KiB
[startup+3346.7 s]
/proc/loadavg: 2.08 2.11 2.22 3/254 138101
/proc/meminfo: memFree=105911820/131249992 swapFree=33009392/33010684
[pid=137697] ppid=137694 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137697/stat : 137697 (run-opt-break-l) S 137694 137697 137152 0 -1 4194304 239 387 0 0 0 0 0 0 20 0 1 0 184307543 4292608 768 18446744073709551615 94577162764288 94577163658821 140732767686656 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94577163897872 94577163945616 94577165934592 140732767693113 140732767693276 140732767693276 140732767698880 0
/proc/137697/statm: 1048 768 704 219 0 110 0
[pid=137700] ppid=137697 vsize=399480 memory=347712 CPUtime=3336.64 cores=1,3
/proc/137700/stat : 137700 (roundingsat) R 137697 137697 137152 0 -1 4194304 61389 0 0 0 331045 2619 0 0 20 0 1 0 184307544 409067520 86928 18446744073709551615 4227072 8923577 140722968485312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 21815296 140722968492344 140722968492582 140722968492582 140722968498154 0
/proc/137700/statm: 99870 86928 2496 1147 0 87296 0
Current children cumulated CPU time: 3336.64 s
Current children cumulated vsize: 403672 KiB
Current children cumulated memory: 350784 KiB
Child status: 0
Real time (s): 3346.77
CPU time (s): 3336.73
CPU user time (s): 3310.52
CPU system time (s): 26.2034
CPU usage (%): 99.6999
Max. virtual memory (cumulated for all children) (KiB): 403672
Max. memory (cumulated for all children) (KiB): 350784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3310.52
system time used= 26.2034
maximum resident set size= 347840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62040
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15889696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 303
involuntary context switches= 4494
# summary of solver processes directly reported to runsolver:
# pid: 137697
# total CPU time (s): 3336.73
# total CPU user time (s): 3310.52
# total CPU system time (s): 26.2034
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07462 second user time and 14.5104 second system time
The end
Begin job on nodeC035 at 2025-07-16 19:18:50
IDJOB=4532656
IDBENCH=158472
IDSOLVER=3393
FILE ID=nodeC035/4532656-1752686330
RUNJOBID= nodeC035-1752683038-137169
SLURM_JOB_ID= 9686930
Free space on /tmp= 278372 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament18.lin.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532656-1752686330/watcher-4532656-1752686330 -o /tmp/evaluation-result-4532656-1752686330/solver-4532656-1752686330 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752683038-137169 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532656-1752686330.opb /tmp/proof-4532656-1752686330
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 609ffeb3252de5d8ecab6cf3f101c41d
RANDOM SEED=706019769
nodeC035 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.660
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.005
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.51
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 : 3585.659
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.145
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.51
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.746
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.51
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.746
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.51
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 : 3624.359
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.51
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 : 3598.461
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 56093320 kB
MemAvailable: 123350492 kB
Buffers: 664 kB
Cached: 67792776 kB
SwapCached: 332 kB
Active: 7149456 kB
Inactive: 66918780 kB
Active(anon): 6281472 kB
Inactive(anon): 18896 kB
Active(file): 867984 kB
Inactive(file): 66899884 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 248568 kB
Writeback: 4 kB
AnonPages: 6269168 kB
Mapped: 122628 kB
Shmem: 25892 kB
KReclaimable: 550104 kB
Slab: 652520 kB
SReclaimable: 550104 kB
SUnreclaim: 102416 kB
KernelStack: 4412 kB
PageTables: 16232 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 7440928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150776 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3545088 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 403712 MiB
End job on nodeC035 at 2025-07-16 20:14:37