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-4508785-1751498052.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 'PROOFDIR/proof-4508785-1751498052'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.52ms)
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.10ms)
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-4508785-1751498052.opb.pre'
0.00/0.01 c wrote 0.02MB (0.13ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 1.12ms 45.04% other
0.00/0.01 c 0.52ms 20.68% approx_orbits
0.00/0.01 c 0.45ms 17.86% parse
0.00/0.01 c 0.17ms 6.73% detect_generic
0.00/0.01 c 0.13ms 5.34% output
0.00/0.01 c 0.10ms 3.84% detect_special
0.00/0.01 c 0.01ms 0.52% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 2.50ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 441 #constraints 576
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 289 , 0 , 0 , 0
0.00/0.03 c bounds - >= -210 @ 0.003425
0.00/0.03 c rational objective -100
0.00/0.05 c bounds -58 >= -210 @ 0.024498
0.00/0.05 c bounds -58 >= -209 @ 0.024498
0.00/0.05 c bounds -58 >= -208 @ 0.024498
0.00/0.05 c bounds -58 >= -207 @ 0.024498
0.00/0.05 c bounds -58 >= -206 @ 0.024606
0.00/0.05 c bounds -58 >= -205 @ 0.024747
0.00/0.05 c bounds -58 >= -204 @ 0.024897
0.00/0.05 c bounds -58 >= -203 @ 0.025041
0.00/0.05 c bounds -58 >= -202 @ 0.025188
0.00/0.05 c bounds -58 >= -201 @ 0.025313
0.00/0.05 c bounds -58 >= -200 @ 0.025435
0.00/0.05 c bounds -58 >= -199 @ 0.025578
0.00/0.05 c bounds -58 >= -198 @ 0.025721
0.00/0.05 c bounds -58 >= -197 @ 0.025869
0.00/0.05 c bounds -58 >= -196 @ 0.026019
0.00/0.05 c bounds -58 >= -195 @ 0.026168
0.00/0.05 c bounds -58 >= -194 @ 0.026324
0.00/0.05 c bounds -58 >= -193 @ 0.026474
0.00/0.05 c bounds -58 >= -192 @ 0.026624
0.00/0.05 c bounds -58 >= -191 @ 0.026776
0.00/0.05 c bounds -58 >= -190 @ 0.026935
0.00/0.05 c bounds -58 >= -189 @ 0.027088
0.00/0.05 c bounds -58 >= -188 @ 0.027242
0.00/0.05 c bounds -58 >= -187 @ 0.027401
0.00/0.05 c bounds -58 >= -186 @ 0.027555
0.00/0.05 c bounds -58 >= -185 @ 0.027711
0.00/0.05 c bounds -58 >= -184 @ 0.027862
0.00/0.05 c bounds -59 >= -184 @ 0.028323
0.00/0.05 c bounds -59 >= -183 @ 0.02848
0.00/0.05 c bounds -59 >= -182 @ 0.028498
0.00/0.05 c bounds -59 >= -181 @ 0.028498
0.00/0.05 c bounds -59 >= -180 @ 0.028498
0.00/0.05 c bounds -59 >= -179 @ 0.028498
0.00/0.05 c bounds -59 >= -178 @ 0.028498
0.00/0.05 c bounds -59 >= -177 @ 0.028498
0.00/0.06 c bounds -59 >= -176 @ 0.028588
0.00/0.06 c bounds -59 >= -175 @ 0.028741
0.00/0.06 c bounds -59 >= -174 @ 0.028888
0.00/0.06 c bounds -59 >= -173 @ 0.029042
0.00/0.06 c bounds -59 >= -172 @ 0.029185
0.00/0.06 c bounds -59 >= -171 @ 0.029322
0.00/0.06 c bounds -59 >= -170 @ 0.029449
0.00/0.06 c bounds -59 >= -169 @ 0.029583
0.00/0.06 c bounds -59 >= -168 @ 0.030129
0.00/0.06 c bounds -59 >= -167 @ 0.030283
0.00/0.06 c bounds -59 >= -166 @ 0.030429
0.00/0.06 c bounds -59 >= -165 @ 0.030578
0.00/0.06 c bounds -59 >= -164 @ 0.030724
0.00/0.06 c bounds -59 >= -163 @ 0.030867
0.00/0.06 c bounds -59 >= -162 @ 0.031018
0.00/0.06 c bounds -59 >= -161 @ 0.031167
0.00/0.06 c bounds -60 >= -161 @ 0.03281
0.00/0.06 c bounds -60 >= -160 @ 0.032972
0.00/0.06 c bounds -60 >= -159 @ 0.033117
0.00/0.06 c bounds -60 >= -158 @ 0.03327
0.00/0.06 c bounds -60 >= -157 @ 0.033412
0.00/0.06 c bounds -60 >= -156 @ 0.033552
0.00/0.06 c bounds -60 >= -155 @ 0.0337
0.00/0.06 c bounds -60 >= -154 @ 0.033839
0.00/0.06 c bounds -60 >= -153 @ 0.033977
0.00/0.06 c bounds -60 >= -152 @ 0.034122
0.00/0.06 c bounds -60 >= -151 @ 0.034259
0.00/0.06 c bounds -60 >= -150 @ 0.034396
0.00/0.06 c bounds -60 >= -149 @ 0.03454
0.00/0.06 c bounds -60 >= -148 @ 0.034677
0.00/0.06 c bounds -60 >= -147 @ 0.034829
0.00/0.06 c bounds -60 >= -146 @ 0.034984
0.00/0.06 c bounds -60 >= -145 @ 0.035139
0.00/0.06 c bounds -60 >= -144 @ 0.035291
0.00/0.06 c bounds -60 >= -143 @ 0.035441
0.00/0.06 c bounds -60 >= -142 @ 0.035578
0.00/0.06 c bounds -60 >= -141 @ 0.035732
0.00/0.06 c bounds -60 >= -140 @ 0.035924
0.00/0.06 c bounds -60 >= -139 @ 0.036196
0.00/0.06 c bounds -60 >= -138 @ 0.036365
0.00/0.06 c bounds -60 >= -137 @ 0.036532
0.00/0.06 c bounds -60 >= -136 @ 0.036688
0.00/0.06 c bounds -60 >= -135 @ 0.036852
0.00/0.06 c bounds -60 >= -134 @ 0.037027
0.00/0.06 c bounds -60 >= -133 @ 0.03719
0.00/0.06 c bounds -60 >= -132 @ 0.03735
0.00/0.07 c bounds -60 >= -131 @ 0.037532
0.00/0.07 c bounds -60 >= -130 @ 0.037748
0.00/0.07 c bounds -60 >= -129 @ 0.037938
0.00/0.07 c bounds -60 >= -128 @ 0.038138
0.00/0.07 c bounds -60 >= -127 @ 0.038358
0.00/0.07 c bounds -60 >= -126 @ 0.038546
0.00/0.07 c bounds -60 >= -125 @ 0.038744
0.00/0.07 c bounds -60 >= -124 @ 0.038939
0.00/0.07 c bounds -60 >= -123 @ 0.039146
0.00/0.07 c bounds -60 >= -122 @ 0.039348
0.00/0.07 c bounds -60 >= -121 @ 0.039546
0.00/0.07 c bounds -60 >= -120 @ 0.039756
0.00/0.07 c bounds -60 >= -119 @ 0.039954
0.00/0.07 c bounds -60 >= -118 @ 0.040158
0.00/0.07 c bounds -60 >= -117 @ 0.04035
0.00/0.07 c bounds -60 >= -116 @ 0.040548
0.00/0.07 c bounds -60 >= -115 @ 0.040754
0.00/0.07 c bounds -60 >= -114 @ 0.040997
0.00/0.07 c bounds -60 >= -113 @ 0.041195
0.00/0.07 c bounds -60 >= -112 @ 0.041394
0.00/0.07 c bounds -60 >= -111 @ 0.041462
0.00/0.07 c bounds -60 >= -110 @ 0.041462
0.00/0.07 c bounds -60 >= -109 @ 0.041462
0.00/0.07 c bounds -60 >= -108 @ 0.041462
0.00/0.07 c bounds -60 >= -107 @ 0.041462
0.00/0.07 c bounds -61 >= -107 @ 0.04225
0.00/0.07 c bounds -61 >= -106 @ 0.04252
0.00/0.07 c bounds -61 >= -105 @ 0.042735
0.00/0.07 c bounds -61 >= -104 @ 0.04295
0.00/0.07 c bounds -61 >= -103 @ 0.043186
0.00/0.07 c bounds -61 >= -102 @ 0.043416
0.00/0.07 c bounds -61 >= -101 @ 0.043654
0.00/0.07 c bounds -61 >= -100 @ 0.043926
0.00/0.07 c bounds -61 >= -99 @ 0.044195
0.00/0.07 c bounds -61 >= -98 @ 0.044665
0.00/0.07 c bounds -61 >= -97 @ 0.045105
0.00/0.07 c bounds -62 >= -97 @ 0.046142
0.00/0.08 c bounds -62 >= -96 @ 0.046543
0.00/0.08 c bounds -62 >= -95 @ 0.04695
0.00/0.08 c bounds -62 >= -94 @ 0.047489
0.00/0.09 c bounds -62 >= -93 @ 0.060697
0.00/0.09 c bounds -62 >= -92 @ 0.061362
0.00/0.09 c bounds -63 >= -92 @ 0.062671
0.00/0.09 c bounds -63 >= -91 @ 0.063171
0.00/0.09 c bounds -63 >= -90 @ 0.063587
0.00/0.10 c bounds -64 >= -90 @ 0.065422
0.00/0.10 c bounds -64 >= -89 @ 0.066375
0.00/0.10 c bounds -64 >= -88 @ 0.069476
0.07/0.11 c bounds -65 >= -88 @ 0.075301
0.07/0.11 c bounds -65 >= -87 @ 0.075315
0.07/0.12 c bounds -65 >= -86 @ 0.084608
0.07/0.12 c bounds -66 >= -86 @ 0.086104
0.07/0.12 c bounds -67 >= -86 @ 0.086912
0.07/0.12 c bounds -68 >= -86 @ 0.087753
0.07/0.12 c bounds -69 >= -86 @ 0.09105
0.07/0.13 c bounds -70 >= -86 @ 0.092115
0.07/0.14 c bounds -71 >= -86 @ 0.104273
0.07/0.20 c #Conflicts: 1000 | #Constraints: 2388
0.07/0.20 c bounds -71 >= -85 @ 0.163212
0.07/0.20 c bounds -72 >= -85 @ 0.163963
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.57/0.62 c #Conflicts: 3000 | #Constraints: 3210
0.57/0.62 c bounds -72 >= -84 @ 0.556507
0.57/0.68 c bounds -73 >= -84 @ 0.615305
0.77/0.80 c #Conflicts: 4000 | #Constraints: 4256
0.77/0.80 c INPROCESSING
0.77/0.80 c GARBAGE COLLECT
0.77/0.80 c rational objective -84
0.77/0.84 c bounds -74 >= -84 @ 0.766216
1.36/1.41 c #Conflicts: 5000 | #Constraints: 3605
1.36/1.41 c #Conflicts: 6000 | #Constraints: 4649
1.36/1.41 c INPROCESSING
1.36/1.41 c GARBAGE COLLECT
1.36/1.41 c rational objective -84
1.76/1.88 c #Conflicts: 7000 | #Constraints: 3602
1.76/1.88 c #Conflicts: 8000 | #Constraints: 4602
1.76/1.88 c #Conflicts: 9000 | #Constraints: 5602
1.76/1.88 c INPROCESSING
1.76/1.88 c GARBAGE COLLECT
1.76/1.88 c rational objective -84
1.86/1.92 c bounds -75 >= -84 @ 1.80538
1.86/1.98 c bounds -76 >= -84 @ 1.86362
2.46/2.57 c #Conflicts: 10000 | #Constraints: 4284
2.46/2.57 c #Conflicts: 11000 | #Constraints: 5304
2.46/2.57 c #Conflicts: 12000 | #Constraints: 6328
2.46/2.57 c INPROCESSING
2.46/2.57 c GARBAGE COLLECT
2.46/2.57 c rational objective -84
2.86/2.91 c #Conflicts: 13000 | #Constraints: 4710
2.86/2.91 c bounds -76 >= -83 @ 2.75996
3.06/3.18 c #Conflicts: 14000 | #Constraints: 5758
3.06/3.18 c #Conflicts: 15000 | #Constraints: 6758
3.06/3.18 c INPROCESSING
3.06/3.18 c GARBAGE COLLECT
3.06/3.18 c rational objective -83
3.26/3.39 c bounds -77 >= -83 @ 3.21897
4.06/4.15 c #Conflicts: 16000 | #Constraints: 4987
4.06/4.15 c #Conflicts: 17000 | #Constraints: 6049
4.06/4.15 c #Conflicts: 18000 | #Constraints: 7108
4.06/4.15 c INPROCESSING
4.06/4.15 c GARBAGE COLLECT
4.06/4.15 c rational objective -83
4.85/4.93 c #Conflicts: 19000 | #Constraints: 5034
4.85/4.93 c #Conflicts: 20000 | #Constraints: 6034
4.85/4.93 c #Conflicts: 21000 | #Constraints: 7034
4.85/4.93 c INPROCESSING
4.85/4.93 c GARBAGE COLLECT
4.85/4.93 c rational objective -83
5.16/5.25 c #Conflicts: 22000 | #Constraints: 4819
5.16/5.25 c bounds -78 >= -83 @ 5.00952
5.75/5.88 c #Conflicts: 23000 | #Constraints: 5860
5.75/5.88 c #Conflicts: 24000 | #Constraints: 6924
5.75/5.88 c #Conflicts: 25000 | #Constraints: 7993
5.75/5.88 c INPROCESSING
5.75/5.88 c GARBAGE COLLECT
5.75/5.88 c rational objective -83
6.65/6.80 c #Conflicts: 26000 | #Constraints: 5475
6.65/6.80 c #Conflicts: 27000 | #Constraints: 6475
6.65/6.80 c #Conflicts: 28000 | #Constraints: 7475
6.65/6.80 c #Conflicts: 29000 | #Constraints: 8475
6.65/6.80 c INPROCESSING
6.65/6.80 c GARBAGE COLLECT
6.65/6.80 c rational objective -83
7.95/8.02 c #Conflicts: 30000 | #Constraints: 5853
7.95/8.02 c #Conflicts: 31000 | #Constraints: 6906
7.95/8.02 c #Conflicts: 32000 | #Constraints: 7967
7.95/8.02 c #Conflicts: 33000 | #Constraints: 9028
7.95/8.02 c INPROCESSING
7.95/8.02 c GARBAGE COLLECT
7.95/8.02 c rational objective -83
9.15/9.23 c #Conflicts: 34000 | #Constraints: 6089
9.15/9.23 c #Conflicts: 35000 | #Constraints: 7089
9.15/9.23 c #Conflicts: 36000 | #Constraints: 8089
9.15/9.23 c #Conflicts: 37000 | #Constraints: 9089
9.15/9.23 c INPROCESSING
9.15/9.23 c GARBAGE COLLECT
9.15/9.23 c rational objective -83
10.24/10.37 c #Conflicts: 38000 | #Constraints: 6078
10.24/10.37 c #Conflicts: 39000 | #Constraints: 7137
10.24/10.37 c #Conflicts: 40000 | #Constraints: 8194
10.24/10.37 c #Conflicts: 41000 | #Constraints: 9248
10.24/10.37 c INPROCESSING
10.24/10.37 c GARBAGE COLLECT
10.24/10.37 c rational objective -83
11.63/11.79 c #Conflicts: 42000 | #Constraints: 5930
11.63/11.79 c #Conflicts: 43000 | #Constraints: 6991
11.63/11.79 c #Conflicts: 44000 | #Constraints: 8030
11.63/11.79 c #Conflicts: 45000 | #Constraints: 9066
11.63/11.79 c #Conflicts: 46000 | #Constraints: 10106
11.63/11.79 c INPROCESSING
11.63/11.79 c GARBAGE COLLECT
11.63/11.79 c rational objective -83
12.33/12.43 c #Conflicts: 47000 | #Constraints: 6537
12.33/12.43 c #Conflicts: 48000 | #Constraints: 7537
12.33/12.43 c bounds -78 >= -82 @ 11.9132
13.03/13.13 c #Conflicts: 49000 | #Constraints: 8573
13.03/13.13 c #Conflicts: 50000 | #Constraints: 9573
13.03/13.13 c #Conflicts: 51000 | #Constraints: 10573
13.03/13.13 c INPROCESSING
13.03/13.13 c GARBAGE COLLECT
13.03/13.13 c rational objective -82
14.42/14.57 c #Conflicts: 52000 | #Constraints: 6953
14.42/14.57 c #Conflicts: 53000 | #Constraints: 7997
14.42/14.57 c #Conflicts: 54000 | #Constraints: 9053
14.42/14.57 c #Conflicts: 55000 | #Constraints: 10097
14.42/14.57 c #Conflicts: 56000 | #Constraints: 11154
14.42/14.57 c INPROCESSING
14.42/14.57 c GARBAGE COLLECT
14.42/14.57 c rational objective -82
15.92/16.03 c #Conflicts: 57000 | #Constraints: 7163
15.92/16.03 c #Conflicts: 58000 | #Constraints: 8163
15.92/16.03 c #Conflicts: 59000 | #Constraints: 9163
15.92/16.03 c #Conflicts: 60000 | #Constraints: 10163
15.92/16.03 c #Conflicts: 61000 | #Constraints: 11163
15.92/16.03 c INPROCESSING
15.92/16.03 c GARBAGE COLLECT
15.92/16.03 c rational objective -82
17.31/17.46 c #Conflicts: 62000 | #Constraints: 7112
17.31/17.46 c #Conflicts: 63000 | #Constraints: 8128
17.31/17.46 c #Conflicts: 64000 | #Constraints: 9156
17.31/17.46 c #Conflicts: 65000 | #Constraints: 10215
17.31/17.46 c #Conflicts: 66000 | #Constraints: 11276
17.31/17.46 c INPROCESSING
17.31/17.46 c GARBAGE COLLECT
17.31/17.46 c rational objective -82
18.91/19.08 c #Conflicts: 67000 | #Constraints: 6945
18.91/19.08 c #Conflicts: 68000 | #Constraints: 7945
18.91/19.08 c #Conflicts: 69000 | #Constraints: 8945
18.91/19.08 c #Conflicts: 70000 | #Constraints: 9945
18.91/19.08 c #Conflicts: 71000 | #Constraints: 10945
18.91/19.08 c #Conflicts: 72000 | #Constraints: 11945
18.91/19.08 c INPROCESSING
18.91/19.08 c GARBAGE COLLECT
18.91/19.08 c rational objective -82
20.91/21.02 c #Conflicts: 73000 | #Constraints: 7539
20.91/21.02 c #Conflicts: 74000 | #Constraints: 8621
20.91/21.02 c #Conflicts: 75000 | #Constraints: 9697
20.91/21.02 c #Conflicts: 76000 | #Constraints: 10766
20.91/21.02 c #Conflicts: 77000 | #Constraints: 11832
20.91/21.02 c #Conflicts: 78000 | #Constraints: 12880
20.91/21.02 c INPROCESSING
20.91/21.02 c GARBAGE COLLECT
20.91/21.02 c rational objective -82
22.60/22.70 c #Conflicts: 79000 | #Constraints: 8067
22.60/22.70 c #Conflicts: 80000 | #Constraints: 9096
22.60/22.70 c #Conflicts: 81000 | #Constraints: 10158
22.60/22.70 c #Conflicts: 82000 | #Constraints: 11200
22.60/22.70 c #Conflicts: 83000 | #Constraints: 12251
22.60/22.70 c #Conflicts: 84000 | #Constraints: 13305
22.60/22.70 c INPROCESSING
22.60/22.70 c GARBAGE COLLECT
22.60/22.70 c rational objective -82
24.49/24.62 c #Conflicts: 85000 | #Constraints: 8243
24.49/24.62 c #Conflicts: 86000 | #Constraints: 9243
24.49/24.62 c #Conflicts: 87000 | #Constraints: 10243
24.49/24.62 c #Conflicts: 88000 | #Constraints: 11243
24.49/24.62 c #Conflicts: 89000 | #Constraints: 12243
24.49/24.62 c #Conflicts: 90000 | #Constraints: 13243
24.49/24.62 c INPROCESSING
24.49/24.62 c GARBAGE COLLECT
24.49/24.62 c rational objective -82
26.38/26.50 c #Conflicts: 91000 | #Constraints: 8148
26.38/26.50 c #Conflicts: 92000 | #Constraints: 9161
26.38/26.50 c #Conflicts: 93000 | #Constraints: 10185
26.38/26.50 c #Conflicts: 94000 | #Constraints: 11208
26.38/26.50 c #Conflicts: 95000 | #Constraints: 12229
26.38/26.50 c #Conflicts: 96000 | #Constraints: 13269
26.38/26.50 c INPROCESSING
26.38/26.50 c GARBAGE COLLECT
26.38/26.50 c rational objective -82
28.38/28.55 c #Conflicts: 97000 | #Constraints: 7943
28.38/28.55 c #Conflicts: 98000 | #Constraints: 8943
28.38/28.55 c #Conflicts: 99000 | #Constraints: 9943
28.38/28.55 c #Conflicts: 100000 | #Constraints: 10943
28.38/28.55 c #Conflicts: 101000 | #Constraints: 11943
28.38/28.55 c #Conflicts: 102000 | #Constraints: 12943
28.38/28.55 c #Conflicts: 103000 | #Constraints: 13943
28.38/28.55 c INPROCESSING
28.38/28.55 c GARBAGE COLLECT
28.38/28.55 c rational objective -82
30.37/30.59 c #Conflicts: 104000 | #Constraints: 8522
30.37/30.59 c #Conflicts: 105000 | #Constraints: 9598
30.37/30.59 c #Conflicts: 106000 | #Constraints: 10676
30.37/30.59 c #Conflicts: 107000 | #Constraints: 11736
30.37/30.59 c #Conflicts: 108000 | #Constraints: 12796
30.37/30.59 c #Conflicts: 109000 | #Constraints: 13846
30.37/30.59 c #Conflicts: 110000 | #Constraints: 14892
30.37/30.59 c INPROCESSING
30.37/30.59 c GARBAGE COLLECT
30.37/30.59 c rational objective -82
32.77/32.99 c #Conflicts: 111000 | #Constraints: 9044
32.77/32.99 c #Conflicts: 112000 | #Constraints: 10044
32.77/32.99 c #Conflicts: 113000 | #Constraints: 11044
32.77/32.99 c #Conflicts: 114000 | #Constraints: 12044
32.77/32.99 c #Conflicts: 115000 | #Constraints: 13044
32.77/32.99 c #Conflicts: 116000 | #Constraints: 14044
32.77/32.99 c #Conflicts: 117000 | #Constraints: 15044
32.77/32.99 c INPROCESSING
32.77/32.99 c GARBAGE COLLECT
32.77/32.99 c rational objective -82
34.85/35.10 c #Conflicts: 118000 | #Constraints: 9162
34.85/35.10 c #Conflicts: 119000 | #Constraints: 10190
34.85/35.10 c #Conflicts: 120000 | #Constraints: 11224
34.85/35.10 c #Conflicts: 121000 | #Constraints: 12252
34.85/35.10 c #Conflicts: 122000 | #Constraints: 13279
34.85/35.10 c #Conflicts: 123000 | #Constraints: 14308
34.85/35.10 c #Conflicts: 124000 | #Constraints: 15338
34.85/35.10 c INPROCESSING
34.85/35.10 c GARBAGE COLLECT
34.85/35.10 c rational objective -82
36.94/37.19 c #Conflicts: 125000 | #Constraints: 9180
36.94/37.19 c #Conflicts: 126000 | #Constraints: 10208
36.94/37.19 c #Conflicts: 127000 | #Constraints: 11237
36.94/37.19 c #Conflicts: 128000 | #Constraints: 12280
36.94/37.19 c #Conflicts: 129000 | #Constraints: 13312
36.94/37.19 c #Conflicts: 130000 | #Constraints: 14343
36.94/37.19 c #Conflicts: 131000 | #Constraints: 15374
36.94/37.19 c INPROCESSING
36.94/37.19 c GARBAGE COLLECT
36.94/37.19 c rational objective -82
39.63/39.87 c #Conflicts: 132000 | #Constraints: 8989
39.63/39.87 c #Conflicts: 133000 | #Constraints: 9989
39.63/39.87 c #Conflicts: 134000 | #Constraints: 10989
39.63/39.87 c #Conflicts: 135000 | #Constraints: 11989
39.63/39.87 c #Conflicts: 136000 | #Constraints: 12989
39.63/39.87 c #Conflicts: 137000 | #Constraints: 13989
39.63/39.87 c #Conflicts: 138000 | #Constraints: 14989
39.63/39.87 c #Conflicts: 139000 | #Constraints: 15989
39.63/39.87 c INPROCESSING
39.63/39.87 c GARBAGE COLLECT
39.63/39.87 c rational objective -82
42.31/42.58 c #Conflicts: 140000 | #Constraints: 9517
42.31/42.58 c #Conflicts: 141000 | #Constraints: 10538
42.31/42.58 c #Conflicts: 142000 | #Constraints: 11555
42.31/42.58 c #Conflicts: 143000 | #Constraints: 12579
42.31/42.58 c #Conflicts: 144000 | #Constraints: 13600
42.31/42.58 c #Conflicts: 145000 | #Constraints: 14618
42.31/42.58 c #Conflicts: 146000 | #Constraints: 15638
42.31/42.58 c #Conflicts: 147000 | #Constraints: 16648
42.31/42.58 c INPROCESSING
42.31/42.58 c GARBAGE COLLECT
42.31/42.58 c rational objective -82
45.20/45.48 c #Conflicts: 148000 | #Constraints: 9921
45.20/45.48 c #Conflicts: 149000 | #Constraints: 10921
45.20/45.48 c #Conflicts: 150000 | #Constraints: 11921
45.20/45.48 c #Conflicts: 151000 | #Constraints: 12921
45.20/45.48 c #Conflicts: 152000 | #Constraints: 13921
45.20/45.48 c #Conflicts: 153000 | #Constraints: 14921
45.20/45.48 c #Conflicts: 154000 | #Constraints: 15921
45.20/45.48 c #Conflicts: 155000 | #Constraints: 16921
45.20/45.48 c INPROCESSING
45.20/45.48 c GARBAGE COLLECT
45.20/45.48 c rational objective -82
48.00/48.28 c #Conflicts: 156000 | #Constraints: 10081
48.00/48.28 c #Conflicts: 157000 | #Constraints: 11111
48.00/48.28 c #Conflicts: 158000 | #Constraints: 12148
48.00/48.28 c #Conflicts: 159000 | #Constraints: 13160
48.00/48.28 c #Conflicts: 160000 | #Constraints: 14182
48.00/48.28 c #Conflicts: 161000 | #Constraints: 15205
48.00/48.28 c #Conflicts: 162000 | #Constraints: 16218
48.00/48.28 c #Conflicts: 163000 | #Constraints: 17236
48.00/48.28 c INPROCESSING
48.00/48.28 c GARBAGE COLLECT
48.00/48.28 c rational objective -82
51.20/51.44 c #Conflicts: 164000 | #Constraints: 10113
51.20/51.44 c #Conflicts: 165000 | #Constraints: 11113
51.20/51.44 c #Conflicts: 166000 | #Constraints: 12113
51.20/51.44 c #Conflicts: 167000 | #Constraints: 13113
51.20/51.44 c #Conflicts: 168000 | #Constraints: 14113
51.20/51.44 c #Conflicts: 169000 | #Constraints: 15113
51.20/51.44 c #Conflicts: 170000 | #Constraints: 16113
51.20/51.44 c #Conflicts: 171000 | #Constraints: 17113
51.20/51.44 c INPROCESSING
51.20/51.44 c GARBAGE COLLECT
51.20/51.44 c rational objective -82
54.38/54.69 c #Conflicts: 172000 | #Constraints: 9879
54.38/54.69 c #Conflicts: 173000 | #Constraints: 10879
54.38/54.69 c #Conflicts: 174000 | #Constraints: 11879
54.38/54.69 c #Conflicts: 175000 | #Constraints: 12879
54.38/54.69 c #Conflicts: 176000 | #Constraints: 13879
54.38/54.69 c #Conflicts: 177000 | #Constraints: 14879
54.38/54.69 c #Conflicts: 178000 | #Constraints: 15879
54.38/54.69 c #Conflicts: 179000 | #Constraints: 16879
54.38/54.69 c #Conflicts: 180000 | #Constraints: 17879
54.38/54.69 c INPROCESSING
54.38/54.69 c GARBAGE COLLECT
54.38/54.69 c rational objective -82
57.37/57.62 c #Conflicts: 181000 | #Constraints: 10466
57.37/57.62 c #Conflicts: 182000 | #Constraints: 11495
57.37/57.62 c #Conflicts: 183000 | #Constraints: 12523
57.37/57.62 c #Conflicts: 184000 | #Constraints: 13537
57.37/57.62 c #Conflicts: 185000 | #Constraints: 14572
57.37/57.62 c #Conflicts: 186000 | #Constraints: 15608
57.37/57.62 c #Conflicts: 187000 | #Constraints: 16641
57.37/57.62 c #Conflicts: 188000 | #Constraints: 17671
57.37/57.62 c #Conflicts: 189000 | #Constraints: 18695
57.37/57.62 c INPROCESSING
57.37/57.62 c GARBAGE COLLECT
57.37/57.62 c rational objective -82
61.06/61.30 c #Conflicts: 190000 | #Constraints: 10922
61.06/61.30 c #Conflicts: 191000 | #Constraints: 11922
61.06/61.30 c #Conflicts: 192000 | #Constraints: 12922
61.06/61.30 c #Conflicts: 193000 | #Constraints: 13922
61.06/61.30 c #Conflicts: 194000 | #Constraints: 14922
61.06/61.30 c #Conflicts: 195000 | #Constraints: 15922
61.06/61.30 c #Conflicts: 196000 | #Constraints: 16922
61.06/61.30 c #Conflicts: 197000 | #Constraints: 17922
61.06/61.30 c #Conflicts: 198000 | #Constraints: 18922
61.06/61.30 c INPROCESSING
61.06/61.30 c GARBAGE COLLECT
61.06/61.30 c rational objective -82
64.06/64.36 c #Conflicts: 199000 | #Constraints: 11098
64.06/64.36 c #Conflicts: 200000 | #Constraints: 12122
64.06/64.36 c #Conflicts: 201000 | #Constraints: 13141
64.06/64.36 c #Conflicts: 202000 | #Constraints: 14194
64.06/64.36 c #Conflicts: 203000 | #Constraints: 15241
64.06/64.36 c #Conflicts: 204000 | #Constraints: 16284
64.06/64.36 c #Conflicts: 205000 | #Constraints: 17337
64.06/64.36 c #Conflicts: 206000 | #Constraints: 18385
64.06/64.36 c #Conflicts: 207000 | #Constraints: 19431
64.06/64.36 c INPROCESSING
64.06/64.36 c GARBAGE COLLECT
64.06/64.36 c rational objective -82
66.95/68.07 c #Conflicts: 208000 | #Constraints: 11246
66.95/68.07 c #Conflicts: 209000 | #Constraints: 12291
66.95/68.07 c #Conflicts: 210000 | #Constraints: 13337
66.95/68.07 c #Conflicts: 211000 | #Constraints: 14396
66.95/68.07 c #Conflicts: 212000 | #Constraints: 15458
66.95/68.07 c #Conflicts: 213000 | #Constraints: 16509
66.95/68.07 c #Conflicts: 214000 | #Constraints: 17560
66.95/68.07 c #Conflicts: 215000 | #Constraints: 18609
66.95/68.07 c #Conflicts: 216000 | #Constraints: 19645
66.95/68.07 c INPROCESSING
66.95/68.07 c GARBAGE COLLECT
66.95/68.07 c rational objective -82
70.94/72.03 c #Conflicts: 217000 | #Constraints: 11141
70.94/72.03 c #Conflicts: 218000 | #Constraints: 12141
70.94/72.03 c #Conflicts: 219000 | #Constraints: 13141
70.94/72.03 c #Conflicts: 220000 | #Constraints: 14141
70.94/72.03 c #Conflicts: 221000 | #Constraints: 15141
70.94/72.03 c #Conflicts: 222000 | #Constraints: 16141
70.94/72.03 c #Conflicts: 223000 | #Constraints: 17141
70.94/72.03 c #Conflicts: 224000 | #Constraints: 18141
70.94/72.03 c #Conflicts: 225000 | #Constraints: 19141
70.94/72.03 c #Conflicts: 226000 | #Constraints: 20141
70.94/72.03 c INPROCESSING
70.94/72.03 c GARBAGE COLLECT
70.94/72.03 c rational objective -82
74.13/75.26 c #Conflicts: 227000 | #Constraints: 11626
74.13/75.26 c #Conflicts: 228000 | #Constraints: 12690
74.13/75.26 c #Conflicts: 229000 | #Constraints: 13736
74.13/75.26 c #Conflicts: 230000 | #Constraints: 14771
74.13/75.26 c #Conflicts: 231000 | #Constraints: 15829
74.13/75.26 c #Conflicts: 232000 | #Constraints: 16898
74.13/75.26 c #Conflicts: 233000 | #Constraints: 17948
74.13/75.26 c #Conflicts: 234000 | #Constraints: 19006
74.13/75.26 c #Conflicts: 235000 | #Constraints: 20051
74.13/75.26 c #Conflicts: 236000 | #Constraints: 21099
74.13/75.26 c INPROCESSING
74.13/75.26 c GARBAGE COLLECT
74.13/75.26 c rational objective -82
78.42/79.56 c #Conflicts: 237000 | #Constraints: 12148
78.42/79.56 c #Conflicts: 238000 | #Constraints: 13148
78.42/79.56 c #Conflicts: 239000 | #Constraints: 14148
78.42/79.56 c #Conflicts: 240000 | #Constraints: 15148
78.42/79.56 c #Conflicts: 241000 | #Constraints: 16148
78.42/79.56 c #Conflicts: 242000 | #Constraints: 17148
78.42/79.56 c #Conflicts: 243000 | #Constraints: 18148
78.42/79.56 c #Conflicts: 244000 | #Constraints: 19148
78.42/79.56 c #Conflicts: 245000 | #Constraints: 20148
78.42/79.56 c #Conflicts: 246000 | #Constraints: 21148
78.42/79.56 c INPROCESSING
78.42/79.56 c GARBAGE COLLECT
78.42/79.56 c rational objective -82
82.02/83.16 c #Conflicts: 247000 | #Constraints: 12237
82.02/83.16 c #Conflicts: 248000 | #Constraints: 13268
82.02/83.16 c #Conflicts: 249000 | #Constraints: 14290
82.02/83.16 c #Conflicts: 250000 | #Constraints: 15320
82.02/83.16 c #Conflicts: 251000 | #Constraints: 16370
82.02/83.16 c #Conflicts: 252000 | #Constraints: 17397
82.02/83.16 c #Conflicts: 253000 | #Constraints: 18440
82.02/83.16 c #Conflicts: 254000 | #Constraints: 19503
82.02/83.16 c #Conflicts: 255000 | #Constraints: 20559
82.02/83.16 c #Conflicts: 256000 | #Constraints: 21615
82.02/83.16 c INPROCESSING
82.02/83.16 c GARBAGE COLLECT
82.02/83.16 c rational objective -82
85.40/86.50 c #Conflicts: 257000 | #Constraints: 12355
85.40/86.50 c #Conflicts: 258000 | #Constraints: 13401
85.40/86.50 c #Conflicts: 259000 | #Constraints: 14461
85.40/86.50 c #Conflicts: 260000 | #Constraints: 15508
85.40/86.50 c #Conflicts: 261000 | #Constraints: 16549
85.40/86.50 c #Conflicts: 262000 | #Constraints: 17606
85.40/86.50 c #Conflicts: 263000 | #Constraints: 18652
85.40/86.50 c #Conflicts: 264000 | #Constraints: 19696
85.40/86.50 c #Conflicts: 265000 | #Constraints: 20740
85.40/86.50 c #Conflicts: 266000 | #Constraints: 21793
85.40/86.50 c INPROCESSING
85.40/86.50 c GARBAGE COLLECT
85.40/86.50 c rational objective -82
90.19/91.32 c #Conflicts: 267000 | #Constraints: 12216
90.19/91.32 c #Conflicts: 268000 | #Constraints: 13216
90.19/91.32 c #Conflicts: 269000 | #Constraints: 14216
90.19/91.32 c #Conflicts: 270000 | #Constraints: 15216
90.19/91.32 c #Conflicts: 271000 | #Constraints: 16216
90.19/91.32 c #Conflicts: 272000 | #Constraints: 17216
90.19/91.32 c #Conflicts: 273000 | #Constraints: 18216
90.19/91.32 c #Conflicts: 274000 | #Constraints: 19216
90.19/91.32 c #Conflicts: 275000 | #Constraints: 20216
90.19/91.32 c #Conflicts: 276000 | #Constraints: 21216
90.19/91.32 c #Conflicts: 277000 | #Constraints: 22216
90.19/91.32 c INPROCESSING
90.19/91.32 c GARBAGE COLLECT
90.19/91.32 c rational objective -82
93.88/95.08 c #Conflicts: 278000 | #Constraints: 12638
93.88/95.08 c #Conflicts: 279000 | #Constraints: 13650
93.88/95.08 c #Conflicts: 280000 | #Constraints: 14668
93.88/95.08 c #Conflicts: 281000 | #Constraints: 15696
93.88/95.08 c #Conflicts: 282000 | #Constraints: 16717
93.88/95.08 c #Conflicts: 283000 | #Constraints: 17735
93.88/95.08 c #Conflicts: 284000 | #Constraints: 18761
93.88/95.08 c #Conflicts: 285000 | #Constraints: 19772
93.88/95.08 c #Conflicts: 286000 | #Constraints: 20798
93.88/95.08 c #Conflicts: 287000 | #Constraints: 21824
93.88/95.08 c #Conflicts: 288000 | #Constraints: 22839
93.88/95.08 c INPROCESSING
93.88/95.08 c GARBAGE COLLECT
93.88/95.08 c rational objective -82
94.87/96.27 c #Conflicts: 289000 | #Constraints: 13012
94.87/96.27 c #Conflicts: 290000 | #Constraints: 14012
94.87/96.27 c bounds -78 >= -81 @ 92.1868
98.86/100.26 c #Conflicts: 291000 | #Constraints: 15051
98.86/100.26 c #Conflicts: 292000 | #Constraints: 16051
98.86/100.26 c #Conflicts: 293000 | #Constraints: 17051
98.86/100.26 c #Conflicts: 294000 | #Constraints: 18051
98.86/100.26 c #Conflicts: 295000 | #Constraints: 19051
98.86/100.26 c #Conflicts: 296000 | #Constraints: 20051
98.86/100.26 c #Conflicts: 297000 | #Constraints: 21051
98.86/100.26 c #Conflicts: 298000 | #Constraints: 22051
98.86/100.26 c #Conflicts: 299000 | #Constraints: 23051
98.86/100.26 c INPROCESSING
98.86/100.26 c GARBAGE COLLECT
98.86/100.26 c rational objective -81
99.85/101.24 c #Conflicts: 300000 | #Constraints: 13176
99.85/101.24 c #Conflicts: 301000 | #Constraints: 14210
99.85/101.24 c #Conflicts: 302000 | #Constraints: 15247
99.85/101.24 c bounds -79 >= -81 @ 97.0411
102.76/104.15 c #Conflicts: 303000 | #Constraints: 16304
102.76/104.15 c #Conflicts: 304000 | #Constraints: 17345
102.76/104.15 c #Conflicts: 305000 | #Constraints: 18418
102.76/104.15 c #Conflicts: 306000 | #Constraints: 19475
102.76/104.15 c #Conflicts: 307000 | #Constraints: 20520
102.76/104.15 c #Conflicts: 308000 | #Constraints: 21567
102.76/104.15 c #Conflicts: 309000 | #Constraints: 22605
102.76/104.15 c #Conflicts: 310000 | #Constraints: 23654
102.76/104.15 c INPROCESSING
102.76/104.15 c GARBAGE COLLECT
102.76/104.15 c rational objective -81
108.13/109.51 c #Conflicts: 311000 | #Constraints: 13338
108.13/109.51 c #Conflicts: 312000 | #Constraints: 14338
108.13/109.51 c #Conflicts: 313000 | #Constraints: 15338
108.13/109.51 c #Conflicts: 314000 | #Constraints: 16338
108.13/109.51 c #Conflicts: 315000 | #Constraints: 17338
108.13/109.51 c #Conflicts: 316000 | #Constraints: 18338
108.13/109.51 c #Conflicts: 317000 | #Constraints: 19338
108.13/109.51 c #Conflicts: 318000 | #Constraints: 20338
108.13/109.51 c #Conflicts: 319000 | #Constraints: 21338
108.13/109.51 c #Conflicts: 320000 | #Constraints: 22338
108.13/109.51 c #Conflicts: 321000 | #Constraints: 23338
108.13/109.51 c INPROCESSING
108.13/109.51 c GARBAGE COLLECT
108.13/109.51 c rational objective -81
112.13/113.52 c #Conflicts: 322000 | #Constraints: 12998
112.13/113.52 c #Conflicts: 323000 | #Constraints: 14043
112.13/113.52 c #Conflicts: 324000 | #Constraints: 15089
112.13/113.52 c #Conflicts: 325000 | #Constraints: 16129
112.13/113.52 c #Conflicts: 326000 | #Constraints: 17174
112.13/113.52 c #Conflicts: 327000 | #Constraints: 18220
112.13/113.52 c #Conflicts: 328000 | #Constraints: 19266
112.13/113.52 c #Conflicts: 329000 | #Constraints: 20309
112.13/113.52 c #Conflicts: 330000 | #Constraints: 21356
112.13/113.52 c #Conflicts: 331000 | #Constraints: 22397
112.13/113.52 c #Conflicts: 332000 | #Constraints: 23434
112.13/113.52 c #Conflicts: 333000 | #Constraints: 24481
112.13/113.52 c INPROCESSING
112.13/113.52 c GARBAGE COLLECT
112.13/113.52 c rational objective -81
116.22/117.66 c #Conflicts: 334000 | #Constraints: 13802
116.22/117.66 c #Conflicts: 335000 | #Constraints: 14863
116.22/117.66 c #Conflicts: 336000 | #Constraints: 15899
116.22/117.66 c #Conflicts: 337000 | #Constraints: 16946
116.22/117.66 c #Conflicts: 338000 | #Constraints: 17974
116.22/117.66 c #Conflicts: 339000 | #Constraints: 19006
116.22/117.66 c #Conflicts: 340000 | #Constraints: 20060
116.22/117.66 c #Conflicts: 341000 | #Constraints: 21100
116.22/117.66 c #Conflicts: 342000 | #Constraints: 22150
116.22/117.66 c #Conflicts: 343000 | #Constraints: 23191
116.22/117.66 c #Conflicts: 344000 | #Constraints: 24236
116.22/117.66 c #Conflicts: 345000 | #Constraints: 25260
116.22/117.66 c INPROCESSING
116.22/117.66 c GARBAGE COLLECT
116.22/117.66 c rational objective -81
122.09/123.51 c #Conflicts: 346000 | #Constraints: 14241
122.09/123.51 c #Conflicts: 347000 | #Constraints: 15241
122.09/123.51 c #Conflicts: 348000 | #Constraints: 16241
122.09/123.51 c #Conflicts: 349000 | #Constraints: 17241
122.09/123.51 c #Conflicts: 350000 | #Constraints: 18241
122.09/123.51 c #Conflicts: 351000 | #Constraints: 19241
122.09/123.51 c #Conflicts: 352000 | #Constraints: 20241
122.09/123.51 c #Conflicts: 353000 | #Constraints: 21241
122.09/123.51 c #Conflicts: 354000 | #Constraints: 22241
122.09/123.51 c #Conflicts: 355000 | #Constraints: 23241
122.09/123.51 c #Conflicts: 356000 | #Constraints: 24241
122.09/123.51 c #Conflicts: 357000 | #Constraints: 25241
122.09/123.51 c INPROCESSING
122.09/123.51 c GARBAGE COLLECT
122.09/123.51 c rational objective -81
126.00/127.60 c #Conflicts: 358000 | #Constraints: 14305
126.00/127.60 c #Conflicts: 359000 | #Constraints: 15370
126.00/127.60 c #Conflicts: 360000 | #Constraints: 16440
126.00/127.60 c #Conflicts: 361000 | #Constraints: 17483
126.00/127.60 c #Conflicts: 362000 | #Constraints: 18522
126.00/127.60 c #Conflicts: 363000 | #Constraints: 19567
126.00/127.60 c #Conflicts: 364000 | #Constraints: 20622
126.00/127.60 c #Conflicts: 365000 | #Constraints: 21680
126.00/127.60 c #Conflicts: 366000 | #Constraints: 22735
126.00/127.60 c #Conflicts: 367000 | #Constraints: 23789
126.00/127.60 c #Conflicts: 368000 | #Constraints: 24852
126.00/127.60 c #Conflicts: 369000 | #Constraints: 25909
126.00/127.60 c INPROCESSING
126.00/127.60 c GARBAGE COLLECT
126.00/127.60 c rational objective -81
132.18/133.83 c #Conflicts: 370000 | #Constraints: 14464
132.18/133.83 c #Conflicts: 371000 | #Constraints: 15464
132.18/133.83 c #Conflicts: 372000 | #Constraints: 16464
132.18/133.83 c #Conflicts: 373000 | #Constraints: 17464
132.18/133.83 c #Conflicts: 374000 | #Constraints: 18464
132.18/133.83 c #Conflicts: 375000 | #Constraints: 19464
132.18/133.83 c #Conflicts: 376000 | #Constraints: 20464
132.18/133.83 c #Conflicts: 377000 | #Constraints: 21464
132.18/133.83 c #Conflicts: 378000 | #Constraints: 22464
132.18/133.83 c #Conflicts: 379000 | #Constraints: 23464
132.18/133.83 c #Conflicts: 380000 | #Constraints: 24464
132.18/133.83 c #Conflicts: 381000 | #Constraints: 25464
132.18/133.83 c INPROCESSING
132.18/133.83 c GARBAGE COLLECT
132.18/133.83 c rational objective -81
136.67/138.31 c #Conflicts: 382000 | #Constraints: 14078
136.67/138.31 c #Conflicts: 383000 | #Constraints: 15109
136.67/138.31 c #Conflicts: 384000 | #Constraints: 16139
136.67/138.31 c #Conflicts: 385000 | #Constraints: 17184
136.67/138.31 c #Conflicts: 386000 | #Constraints: 18218
136.67/138.31 c #Conflicts: 387000 | #Constraints: 19251
136.67/138.31 c #Conflicts: 388000 | #Constraints: 20286
136.67/138.31 c #Conflicts: 389000 | #Constraints: 21320
136.67/138.31 c #Conflicts: 390000 | #Constraints: 22356
136.67/138.31 c #Conflicts: 391000 | #Constraints: 23390
136.67/138.31 c #Conflicts: 392000 | #Constraints: 24422
136.67/138.31 c #Conflicts: 393000 | #Constraints: 25447
136.67/138.31 c #Conflicts: 394000 | #Constraints: 26476
136.67/138.31 c INPROCESSING
136.67/138.31 c GARBAGE COLLECT
136.67/138.31 c rational objective -81
143.25/144.94 c #Conflicts: 395000 | #Constraints: 14754
143.25/144.94 c #Conflicts: 396000 | #Constraints: 15754
143.25/144.94 c #Conflicts: 397000 | #Constraints: 16754
143.25/144.94 c #Conflicts: 398000 | #Constraints: 17754
143.25/144.94 c #Conflicts: 399000 | #Constraints: 18754
143.25/144.94 c #Conflicts: 400000 | #Constraints: 19754
143.25/144.94 c #Conflicts: 401000 | #Constraints: 20754
143.25/144.94 c #Conflicts: 402000 | #Constraints: 21754
143.25/144.94 c #Conflicts: 403000 | #Constraints: 22754
143.25/144.94 c #Conflicts: 404000 | #Constraints: 23754
143.25/144.94 c #Conflicts: 405000 | #Constraints: 24754
143.25/144.94 c #Conflicts: 406000 | #Constraints: 25754
143.25/144.94 c #Conflicts: 407000 | #Constraints: 26754
143.25/144.94 c INPROCESSING
143.25/144.94 c GARBAGE COLLECT
143.25/144.94 c rational objective -81
147.35/149.02 c #Conflicts: 408000 | #Constraints: 15092
147.35/149.02 c #Conflicts: 409000 | #Constraints: 16142
147.35/149.02 c #Conflicts: 410000 | #Constraints: 17190
147.35/149.02 c #Conflicts: 411000 | #Constraints: 18228
147.35/149.02 c #Conflicts: 412000 | #Constraints: 19276
147.35/149.02 c #Conflicts: 413000 | #Constraints: 20324
147.35/149.02 c #Conflicts: 414000 | #Constraints: 21374
147.35/149.02 c #Conflicts: 415000 | #Constraints: 22432
147.35/149.02 c #Conflicts: 416000 | #Constraints: 23483
147.35/149.02 c #Conflicts: 417000 | #Constraints: 24520
147.35/149.02 c #Conflicts: 418000 | #Constraints: 25558
147.35/149.02 c #Conflicts: 419000 | #Constraints: 26598
147.35/149.02 c #Conflicts: 420000 | #Constraints: 27648
147.35/149.02 c INPROCESSING
147.35/149.02 c GARBAGE COLLECT
147.35/149.02 c rational objective -81
151.62/153.30 c #Conflicts: 421000 | #Constraints: 15460
151.62/153.30 c #Conflicts: 422000 | #Constraints: 16511
151.62/153.30 c #Conflicts: 423000 | #Constraints: 17554
151.62/153.30 c #Conflicts: 424000 | #Constraints: 18612
151.62/153.30 c #Conflicts: 425000 | #Constraints: 19678
151.62/153.30 c #Conflicts: 426000 | #Constraints: 20739
151.62/153.30 c #Conflicts: 427000 | #Constraints: 21787
151.62/153.30 c #Conflicts: 428000 | #Constraints: 22828
151.62/153.30 c #Conflicts: 429000 | #Constraints: 23874
151.62/153.30 c #Conflicts: 430000 | #Constraints: 24922
151.62/153.30 c #Conflicts: 431000 | #Constraints: 25970
151.62/153.30 c #Conflicts: 432000 | #Constraints: 27010
151.62/153.30 c #Conflicts: 433000 | #Constraints: 28051
151.62/153.30 c INPROCESSING
151.62/153.30 c GARBAGE COLLECT
151.62/153.30 c rational objective -81
158.42/160.33 c #Conflicts: 434000 | #Constraints: 15547
158.42/160.33 c #Conflicts: 435000 | #Constraints: 16547
158.42/160.33 c #Conflicts: 436000 | #Constraints: 17547
158.42/160.33 c #Conflicts: 437000 | #Constraints: 18547
158.42/160.33 c #Conflicts: 438000 | #Constraints: 19547
158.42/160.33 c #Conflicts: 439000 | #Constraints: 20547
158.42/160.33 c #Conflicts: 440000 | #Constraints: 21547
158.42/160.33 c #Conflicts: 441000 | #Constraints: 22547
158.42/160.33 c #Conflicts: 442000 | #Constraints: 23547
158.42/160.33 c #Conflicts: 443000 | #Constraints: 24547
158.42/160.33 c #Conflicts: 444000 | #Constraints: 25547
158.42/160.33 c #Conflicts: 445000 | #Constraints: 26547
158.42/160.33 c #Conflicts: 446000 | #Constraints: 27547
158.42/160.33 c INPROCESSING
158.42/160.33 c GARBAGE COLLECT
158.42/160.33 c rational objective -81
162.70/164.69 c #Conflicts: 447000 | #Constraints: 15119
162.70/164.69 c #Conflicts: 448000 | #Constraints: 16170
162.70/164.69 c #Conflicts: 449000 | #Constraints: 17216
162.70/164.69 c #Conflicts: 450000 | #Constraints: 18270
162.70/164.69 c #Conflicts: 451000 | #Constraints: 19308
162.70/164.69 c #Conflicts: 452000 | #Constraints: 20346
162.70/164.69 c #Conflicts: 453000 | #Constraints: 21387
162.70/164.69 c #Conflicts: 454000 | #Constraints: 22432
162.70/164.69 c #Conflicts: 455000 | #Constraints: 23472
162.70/164.69 c #Conflicts: 456000 | #Constraints: 24514
162.70/164.69 c #Conflicts: 457000 | #Constraints: 25547
162.70/164.69 c #Conflicts: 458000 | #Constraints: 26575
162.70/164.69 c #Conflicts: 459000 | #Constraints: 27610
162.70/164.69 c #Conflicts: 460000 | #Constraints: 28636
162.70/164.69 c INPROCESSING
162.70/164.69 c GARBAGE COLLECT
162.70/164.69 c rational objective -81
167.20/169.15 c #Conflicts: 461000 | #Constraints: 15882
167.20/169.15 c #Conflicts: 462000 | #Constraints: 16932
167.20/169.15 c #Conflicts: 463000 | #Constraints: 17987
167.20/169.15 c #Conflicts: 464000 | #Constraints: 19020
167.20/169.15 c #Conflicts: 465000 | #Constraints: 20052
167.20/169.15 c #Conflicts: 466000 | #Constraints: 21081
167.20/169.15 c #Conflicts: 467000 | #Constraints: 22125
167.20/169.15 c #Conflicts: 468000 | #Constraints: 23164
167.20/169.15 c #Conflicts: 469000 | #Constraints: 24188
167.20/169.15 c #Conflicts: 470000 | #Constraints: 25218
167.20/169.15 c #Conflicts: 471000 | #Constraints: 26259
167.20/169.15 c #Conflicts: 472000 | #Constraints: 27295
167.20/169.15 c #Conflicts: 473000 | #Constraints: 28338
167.20/169.15 c #Conflicts: 474000 | #Constraints: 29370
167.20/169.15 c INPROCESSING
167.20/169.15 c GARBAGE COLLECT
167.20/169.15 c rational objective -81
174.18/176.14 c #Conflicts: 475000 | #Constraints: 16289
174.18/176.14 c #Conflicts: 476000 | #Constraints: 17289
174.18/176.14 c #Conflicts: 477000 | #Constraints: 18289
174.18/176.14 c #Conflicts: 478000 | #Constraints: 19289
174.18/176.14 c #Conflicts: 479000 | #Constraints: 20289
174.18/176.14 c #Conflicts: 480000 | #Constraints: 21289
174.18/176.14 c #Conflicts: 481000 | #Constraints: 22289
174.18/176.14 c #Conflicts: 482000 | #Constraints: 23289
174.18/176.14 c #Conflicts: 483000 | #Constraints: 24289
174.18/176.14 c #Conflicts: 484000 | #Constraints: 25289
174.18/176.14 c #Conflicts: 485000 | #Constraints: 26289
174.18/176.14 c #Conflicts: 486000 | #Constraints: 27294
174.18/176.14 c #Conflicts: 487000 | #Constraints: 28295
174.18/176.14 c #Conflicts: 488000 | #Constraints: 29299
174.18/176.14 c INPROCESSING
174.18/176.14 c GARBAGE COLLECT
174.18/176.14 c rational objective -81
182.16/184.15 c #Conflicts: 489000 | #Constraints: 16322
182.16/184.15 c #Conflicts: 490000 | #Constraints: 17722
182.16/184.15 c #Conflicts: 491000 | #Constraints: 18888
182.16/184.15 c #Conflicts: 492000 | #Constraints: 20189
182.16/184.15 c #Conflicts: 493000 | #Constraints: 21301
182.16/184.15 c #Conflicts: 494000 | #Constraints: 22379
182.16/184.15 c #Conflicts: 495000 | #Constraints: 23528
182.16/184.15 c #Conflicts: 496000 | #Constraints: 24970
182.16/184.15 c #Conflicts: 497000 | #Constraints: 26158
182.16/184.15 c #Conflicts: 498000 | #Constraints: 27292
182.16/184.15 c #Conflicts: 499000 | #Constraints: 28450
182.16/184.15 c #Conflicts: 500000 | #Constraints: 29517
182.16/184.15 c #Conflicts: 501000 | #Constraints: 30707
182.16/184.15 c #Conflicts: 502000 | #Constraints: 31986
182.16/184.15 c INPROCESSING
182.16/184.15 c GARBAGE COLLECT
182.16/184.15 c rational objective -81
190.56/192.78 c #Conflicts: 503000 | #Constraints: 17578
190.56/192.78 c #Conflicts: 504000 | #Constraints: 18619
190.56/192.78 c #Conflicts: 505000 | #Constraints: 19621
190.56/192.78 c #Conflicts: 506000 | #Constraints: 20626
190.56/192.78 c #Conflicts: 507000 | #Constraints: 21633
190.56/192.78 c #Conflicts: 508000 | #Constraints: 22636
190.56/192.78 c #Conflicts: 509000 | #Constraints: 23642
190.56/192.78 c #Conflicts: 510000 | #Constraints: 24649
190.56/192.78 c #Conflicts: 511000 | #Constraints: 25652
190.56/192.78 c #Conflicts: 512000 | #Constraints: 26655
190.56/192.78 c #Conflicts: 513000 | #Constraints: 27660
190.56/192.78 c #Conflicts: 514000 | #Constraints: 28665
190.56/192.78 c #Conflicts: 515000 | #Constraints: 29676
190.56/192.78 c #Conflicts: 516000 | #Constraints: 30681
190.56/192.78 c INPROCESSING
190.56/192.78 c GARBAGE COLLECT
190.56/192.78 c rational objective -81
209.70/211.93 c #Conflicts: 517000 | #Constraints: 16725
209.70/211.93 c #Conflicts: 518000 | #Constraints: 18097
209.70/211.93 c #Conflicts: 519000 | #Constraints: 19470
209.70/211.93 c #Conflicts: 520000 | #Constraints: 20874
209.70/211.93 c #Conflicts: 521000 | #Constraints: 22307
209.70/211.93 c #Conflicts: 522000 | #Constraints: 23722
209.70/211.93 c #Conflicts: 523000 | #Constraints: 25118
209.70/211.93 c #Conflicts: 524000 | #Constraints: 26519
209.70/211.93 c #Conflicts: 525000 | #Constraints: 27906
209.70/211.93 c #Conflicts: 526000 | #Constraints: 29274
209.70/211.93 c #Conflicts: 527000 | #Constraints: 30702
209.70/211.93 c #Conflicts: 528000 | #Constraints: 32103
209.70/211.93 c #Conflicts: 529000 | #Constraints: 33483
209.70/211.93 c #Conflicts: 530000 | #Constraints: 34887
209.70/211.93 c #Conflicts: 531000 | #Constraints: 36319
209.70/211.93 c INPROCESSING
209.70/211.93 c GARBAGE COLLECT
209.70/211.93 c rational objective -81
219.48/221.90 c #Conflicts: 532000 | #Constraints: 19706
219.48/221.90 c #Conflicts: 533000 | #Constraints: 20706
219.48/221.90 c #Conflicts: 534000 | #Constraints: 21706
219.48/221.90 c #Conflicts: 535000 | #Constraints: 22706
219.48/221.90 c #Conflicts: 536000 | #Constraints: 23706
219.48/221.90 c #Conflicts: 537000 | #Constraints: 24706
219.48/221.90 c #Conflicts: 538000 | #Constraints: 25706
219.48/221.90 c #Conflicts: 539000 | #Constraints: 26706
219.48/221.90 c #Conflicts: 540000 | #Constraints: 27706
219.48/221.90 c #Conflicts: 541000 | #Constraints: 28706
219.48/221.90 c #Conflicts: 542000 | #Constraints: 29706
219.48/221.90 c #Conflicts: 543000 | #Constraints: 30706
219.48/221.90 c #Conflicts: 544000 | #Constraints: 31706
219.48/221.90 c #Conflicts: 545000 | #Constraints: 32706
219.48/221.90 c #Conflicts: 546000 | #Constraints: 33706
219.48/221.90 c INPROCESSING
219.48/221.90 c GARBAGE COLLECT
219.48/221.90 c rational objective -81
228.25/230.70 c #Conflicts: 547000 | #Constraints: 18510
228.25/230.70 c #Conflicts: 548000 | #Constraints: 19529
228.25/230.70 c #Conflicts: 549000 | #Constraints: 20532
228.25/230.70 c #Conflicts: 550000 | #Constraints: 21535
228.25/230.70 c #Conflicts: 551000 | #Constraints: 22536
228.25/230.70 c #Conflicts: 552000 | #Constraints: 23542
228.25/230.70 c #Conflicts: 553000 | #Constraints: 24548
228.25/230.70 c #Conflicts: 554000 | #Constraints: 25550
228.25/230.70 c #Conflicts: 555000 | #Constraints: 26555
228.25/230.70 c #Conflicts: 556000 | #Constraints: 27558
228.25/230.70 c #Conflicts: 557000 | #Constraints: 28559
228.25/230.70 c #Conflicts: 558000 | #Constraints: 29560
228.25/230.70 c #Conflicts: 559000 | #Constraints: 30562
228.25/230.70 c #Conflicts: 560000 | #Constraints: 31566
228.25/230.70 c #Conflicts: 561000 | #Constraints: 32579
228.25/230.70 c INPROCESSING
228.25/230.70 c GARBAGE COLLECT
228.25/230.70 c rational objective -81
368.61/371.78 c #Conflicts: 562000 | #Constraints: 18234
368.61/371.78 c #Conflicts: 563000 | #Constraints: 19575
368.61/371.78 c #Conflicts: 564000 | #Constraints: 20870
368.61/371.78 c #Conflicts: 565000 | #Constraints: 22172
368.61/371.78 c #Conflicts: 566000 | #Constraints: 23633
368.61/371.78 c #Conflicts: 567000 | #Constraints: 24980
368.61/371.78 c #Conflicts: 568000 | #Constraints: 26338
368.61/371.78 c #Conflicts: 569000 | #Constraints: 27565
368.61/371.78 c #Conflicts: 570000 | #Constraints: 28652
368.61/371.78 c #Conflicts: 571000 | #Constraints: 29846
368.61/371.78 c #Conflicts: 572000 | #Constraints: 31102
368.61/371.78 c #Conflicts: 573000 | #Constraints: 32443
368.61/371.78 c #Conflicts: 574000 | #Constraints: 33761
368.61/371.78 c #Conflicts: 575000 | #Constraints: 35055
368.61/371.78 c #Conflicts: 576000 | #Constraints: 36333
368.61/371.78 c INPROCESSING
368.61/371.78 c GARBAGE COLLECT
368.61/371.78 c #Conflicts: 577000 | #Constraints: 20061
368.61/371.78 c #Conflicts: 578000 | #Constraints: 21489
368.61/371.78 c #Conflicts: 579000 | #Constraints: 22883
368.61/371.78 c #Conflicts: 580000 | #Constraints: 24278
368.61/371.78 c #Conflicts: 581000 | #Constraints: 25657
368.61/371.78 c #Conflicts: 582000 | #Constraints: 27042
368.61/371.78 c #Conflicts: 583000 | #Constraints: 28437
368.61/371.78 c #Conflicts: 584000 | #Constraints: 29816
368.61/371.78 c #Conflicts: 585000 | #Constraints: 31229
368.61/371.78 c #Conflicts: 586000 | #Constraints: 32623
368.61/371.78 c #Conflicts: 587000 | #Constraints: 34015
368.61/371.78 c #Conflicts: 588000 | #Constraints: 35413
368.61/371.78 c #Conflicts: 589000 | #Constraints: 36789
368.61/371.78 c #Conflicts: 590000 | #Constraints: 38188
368.61/371.78 c #Conflicts: 591000 | #Constraints: 39592
368.61/371.78 c INPROCESSING
368.61/371.78 c GARBAGE COLLECT
368.61/371.78 c #Conflicts: 592000 | #Constraints: 21424
368.61/371.78 c #Conflicts: 593000 | #Constraints: 22866
368.61/371.78 c #Conflicts: 594000 | #Constraints: 24309
368.61/371.78 c #Conflicts: 595000 | #Constraints: 25756
368.61/371.78 c #Conflicts: 596000 | #Constraints: 27218
368.61/371.78 c #Conflicts: 597000 | #Constraints: 28672
368.61/371.78 c #Conflicts: 598000 | #Constraints: 30138
368.61/371.78 c #Conflicts: 599000 | #Constraints: 31589
368.61/371.78 c #Conflicts: 600000 | #Constraints: 33041
368.61/371.78 c #Conflicts: 601000 | #Constraints: 34498
368.61/371.78 c #Conflicts: 602000 | #Constraints: 35961
368.61/371.78 c #Conflicts: 603000 | #Constraints: 37432
368.61/371.78 c #Conflicts: 604000 | #Constraints: 38887
368.61/371.78 c #Conflicts: 605000 | #Constraints: 40315
368.61/371.78 c #Conflicts: 606000 | #Constraints: 41761
368.61/371.78 c #Conflicts: 607000 | #Constraints: 42994
368.61/371.78 c INPROCESSING
368.61/371.78 c GARBAGE COLLECT
368.61/371.78 c #Conflicts: 608000 | #Constraints: 23188
368.61/371.78 c #Conflicts: 609000 | #Constraints: 24319
368.61/371.78 c #Conflicts: 610000 | #Constraints: 25680
368.61/371.78 c #Conflicts: 611000 | #Constraints: 27154
368.61/371.78 c #Conflicts: 612000 | #Constraints: 28582
368.61/371.78 c #Conflicts: 613000 | #Constraints: 29990
368.61/371.78 c #Conflicts: 614000 | #Constraints: 31399
368.61/371.78 c #Conflicts: 615000 | #Constraints: 32886
368.61/371.78 c #Conflicts: 616000 | #Constraints: 34384
368.61/371.78 c #Conflicts: 617000 | #Constraints: 35806
368.61/371.78 c #Conflicts: 618000 | #Constraints: 37230
368.61/371.78 c #Conflicts: 619000 | #Constraints: 38641
368.61/371.78 c #Conflicts: 620000 | #Constraints: 40025
368.61/371.78 c #Conflicts: 621000 | #Constraints: 41433
368.61/371.78 c #Conflicts: 622000 | #Constraints: 42827
368.61/371.78 c #Conflicts: 623000 | #Constraints: 44270
368.61/371.78 c INPROCESSING
368.61/371.78 c GARBAGE COLLECT
368.61/371.78 c #Conflicts: 624000 | #Constraints: 24196
368.61/371.78 c #Conflicts: 625000 | #Constraints: 25642
368.61/371.78 c #Conflicts: 626000 | #Constraints: 27101
368.61/371.78 c #Conflicts: 627000 | #Constraints: 28535
368.61/371.78 c #Conflicts: 628000 | #Constraints: 29993
368.61/371.78 c #Conflicts: 629000 | #Constraints: 31464
368.61/371.78 c #Conflicts: 630000 | #Constraints: 32911
368.61/371.78 c #Conflicts: 631000 | #Constraints: 34228
368.61/371.78 c #Conflicts: 632000 | #Constraints: 35325
368.61/371.78 c #Conflicts: 633000 | #Constraints: 36449
368.61/371.78 c #Conflicts: 634000 | #Constraints: 37573
368.61/371.78 c #Conflicts: 635000 | #Constraints: 38802
368.61/371.78 c #Conflicts: 636000 | #Constraints: 40201
368.61/371.78 c #Conflicts: 637000 | #Constraints: 41456
368.61/371.78 c #Conflicts: 638000 | #Constraints: 42723
505.89/516.65 c #Conflicts: 639000 | #Constraints: 44063
505.89/516.65 c INPROCESSING
505.89/516.65 c GARBAGE COLLECT
505.89/516.65 c #Conflicts: 640000 | #Constraints: 24063
505.89/516.65 c #Conflicts: 641000 | #Constraints: 25442
505.89/516.65 c #Conflicts: 642000 | #Constraints: 26828
505.89/516.65 c #Conflicts: 643000 | #Constraints: 28245
505.89/516.65 c #Conflicts: 644000 | #Constraints: 29600
505.89/516.65 c #Conflicts: 645000 | #Constraints: 31027
505.89/516.65 c #Conflicts: 646000 | #Constraints: 32458
505.89/516.65 c #Conflicts: 647000 | #Constraints: 33875
505.89/516.65 c #Conflicts: 648000 | #Constraints: 35282
505.89/516.65 c #Conflicts: 649000 | #Constraints: 36717
505.89/516.65 c #Conflicts: 650000 | #Constraints: 38141
505.89/516.65 c #Conflicts: 651000 | #Constraints: 39533
505.89/516.65 c #Conflicts: 652000 | #Constraints: 40988
505.89/516.65 c #Conflicts: 653000 | #Constraints: 42447
505.89/516.65 c #Conflicts: 654000 | #Constraints: 43916
505.89/516.65 c #Conflicts: 655000 | #Constraints: 45347
505.89/516.65 c INPROCESSING
505.89/516.65 c GARBAGE COLLECT
505.89/516.65 c #Conflicts: 656000 | #Constraints: 24603
505.89/516.65 c #Conflicts: 657000 | #Constraints: 26070
505.89/516.65 c #Conflicts: 658000 | #Constraints: 27525
505.89/516.65 c #Conflicts: 659000 | #Constraints: 28993
505.89/516.65 c #Conflicts: 660000 | #Constraints: 30458
505.89/516.65 c #Conflicts: 661000 | #Constraints: 31902
505.89/516.65 c #Conflicts: 662000 | #Constraints: 33379
505.89/516.65 c #Conflicts: 663000 | #Constraints: 34833
505.89/516.65 c #Conflicts: 664000 | #Constraints: 36291
505.89/516.65 c #Conflicts: 665000 | #Constraints: 37758
505.89/516.65 c #Conflicts: 666000 | #Constraints: 39218
505.89/516.65 c #Conflicts: 667000 | #Constraints: 40679
505.89/516.65 c #Conflicts: 668000 | #Constraints: 42123
505.89/516.65 c #Conflicts: 669000 | #Constraints: 43575
505.89/516.65 c #Conflicts: 670000 | #Constraints: 45035
505.89/516.65 c #Conflicts: 671000 | #Constraints: 46503
505.89/516.65 c INPROCESSING
505.89/516.65 c GARBAGE COLLECT
505.89/516.65 c #Conflicts: 672000 | #Constraints: 24926
505.89/516.65 c #Conflicts: 673000 | #Constraints: 26295
505.89/516.65 c #Conflicts: 674000 | #Constraints: 27684
505.89/516.65 c #Conflicts: 675000 | #Constraints: 29051
505.89/516.65 c #Conflicts: 676000 | #Constraints: 30424
505.89/516.65 c #Conflicts: 677000 | #Constraints: 31818
505.89/516.65 c #Conflicts: 678000 | #Constraints: 33225
505.89/516.65 c #Conflicts: 679000 | #Constraints: 34559
505.89/516.65 c #Conflicts: 680000 | #Constraints: 35917
505.89/516.65 c #Conflicts: 681000 | #Constraints: 37321
505.89/516.65 c #Conflicts: 682000 | #Constraints: 38739
505.89/516.65 c #Conflicts: 683000 | #Constraints: 40111
505.89/516.65 c #Conflicts: 684000 | #Constraints: 41515
505.89/516.65 c #Conflicts: 685000 | #Constraints: 42928
505.89/516.65 c #Conflicts: 686000 | #Constraints: 44329
505.89/516.65 c #Conflicts: 687000 | #Constraints: 45730
505.89/516.65 c #Conflicts: 688000 | #Constraints: 47115
505.89/516.65 c INPROCESSING
505.89/516.65 c GARBAGE COLLECT
505.89/516.65 c #Conflicts: 689000 | #Constraints: 25384
505.89/516.65 c #Conflicts: 690000 | #Constraints: 26788
505.89/516.65 c #Conflicts: 691000 | #Constraints: 28191
505.89/516.65 c #Conflicts: 692000 | #Constraints: 29583
505.89/516.65 c #Conflicts: 693000 | #Constraints: 30986
505.89/516.65 c #Conflicts: 694000 | #Constraints: 32389
505.89/516.65 c #Conflicts: 695000 | #Constraints: 33786
505.89/516.65 c #Conflicts: 696000 | #Constraints: 35210
505.89/516.65 c #Conflicts: 697000 | #Constraints: 36636
505.89/516.65 c #Conflicts: 698000 | #Constraints: 38057
505.89/516.65 c #Conflicts: 699000 | #Constraints: 39486
505.89/516.65 c #Conflicts: 700000 | #Constraints: 40889
505.89/516.65 c #Conflicts: 701000 | #Constraints: 42257
505.89/516.65 c #Conflicts: 702000 | #Constraints: 43648
505.89/516.65 c #Conflicts: 703000 | #Constraints: 45079
505.89/516.65 c #Conflicts: 704000 | #Constraints: 46546
505.89/516.65 c #Conflicts: 705000 | #Constraints: 47922
505.89/516.65 c INPROCESSING
505.89/516.65 c GARBAGE COLLECT
505.89/516.65 c #Conflicts: 706000 | #Constraints: 26026
505.89/516.65 c #Conflicts: 707000 | #Constraints: 27470
505.89/516.65 c #Conflicts: 708000 | #Constraints: 28920
505.89/516.65 c #Conflicts: 709000 | #Constraints: 30390
505.89/516.65 c #Conflicts: 710000 | #Constraints: 31838
505.89/516.65 c #Conflicts: 711000 | #Constraints: 33302
505.89/516.65 c #Conflicts: 712000 | #Constraints: 34722
505.89/516.65 c #Conflicts: 713000 | #Constraints: 36180
675.68/704.95 c #Conflicts: 714000 | #Constraints: 37611
675.68/704.95 c #Conflicts: 715000 | #Constraints: 39044
675.68/704.95 c #Conflicts: 716000 | #Constraints: 40328
675.68/704.95 c #Conflicts: 717000 | #Constraints: 41417
675.68/704.95 c #Conflicts: 718000 | #Constraints: 42544
675.68/704.95 c #Conflicts: 719000 | #Constraints: 43719
675.68/704.95 c #Conflicts: 720000 | #Constraints: 44951
675.68/704.95 c #Conflicts: 721000 | #Constraints: 46232
675.68/704.95 c #Conflicts: 722000 | #Constraints: 47465
675.68/704.95 c INPROCESSING
675.68/704.95 c GARBAGE COLLECT
675.68/704.95 c #Conflicts: 723000 | #Constraints: 25806
675.68/704.95 c #Conflicts: 724000 | #Constraints: 27304
675.68/704.95 c #Conflicts: 725000 | #Constraints: 28771
675.68/704.95 c #Conflicts: 726000 | #Constraints: 30245
675.68/704.95 c #Conflicts: 727000 | #Constraints: 31717
675.68/704.95 c #Conflicts: 728000 | #Constraints: 33182
675.68/704.95 c #Conflicts: 729000 | #Constraints: 34631
675.68/704.95 c #Conflicts: 730000 | #Constraints: 36104
675.68/704.95 c #Conflicts: 731000 | #Constraints: 37610
675.68/704.95 c #Conflicts: 732000 | #Constraints: 39136
675.68/704.95 c #Conflicts: 733000 | #Constraints: 40657
675.68/704.95 c #Conflicts: 734000 | #Constraints: 42181
675.68/704.95 c #Conflicts: 735000 | #Constraints: 43683
675.68/704.95 c #Conflicts: 736000 | #Constraints: 45191
675.68/704.95 c #Conflicts: 737000 | #Constraints: 46743
675.68/704.95 c #Conflicts: 738000 | #Constraints: 48239
675.68/704.95 c #Conflicts: 739000 | #Constraints: 49756
675.68/704.95 c INPROCESSING
675.68/704.95 c GARBAGE COLLECT
675.68/704.95 c #Conflicts: 740000 | #Constraints: 26814
675.68/704.95 c #Conflicts: 741000 | #Constraints: 28267
675.68/704.95 c #Conflicts: 742000 | #Constraints: 29721
675.68/704.95 c #Conflicts: 743000 | #Constraints: 31177
675.68/704.95 c #Conflicts: 744000 | #Constraints: 32629
675.68/704.95 c #Conflicts: 745000 | #Constraints: 34083
675.68/704.95 c #Conflicts: 746000 | #Constraints: 35541
675.68/704.95 c #Conflicts: 747000 | #Constraints: 36989
675.68/704.95 c #Conflicts: 748000 | #Constraints: 38433
675.68/704.95 c #Conflicts: 749000 | #Constraints: 39876
675.68/704.95 c #Conflicts: 750000 | #Constraints: 41359
675.68/704.95 c #Conflicts: 751000 | #Constraints: 42827
675.68/704.95 c #Conflicts: 752000 | #Constraints: 44274
675.68/704.95 c #Conflicts: 753000 | #Constraints: 45712
675.68/704.95 c #Conflicts: 754000 | #Constraints: 47021
675.68/704.95 c #Conflicts: 755000 | #Constraints: 48240
675.68/704.95 c #Conflicts: 756000 | #Constraints: 49485
675.68/704.95 c INPROCESSING
675.68/704.95 c GARBAGE COLLECT
675.68/704.95 c #Conflicts: 757000 | #Constraints: 26398
675.68/704.95 c #Conflicts: 758000 | #Constraints: 27807
675.68/704.95 c #Conflicts: 759000 | #Constraints: 29221
675.68/704.95 c #Conflicts: 760000 | #Constraints: 30632
675.68/704.95 c #Conflicts: 761000 | #Constraints: 32063
675.68/704.95 c #Conflicts: 762000 | #Constraints: 33454
675.68/704.95 c #Conflicts: 763000 | #Constraints: 34847
675.68/704.95 c #Conflicts: 764000 | #Constraints: 36248
675.68/704.95 c #Conflicts: 765000 | #Constraints: 37664
675.68/704.95 c #Conflicts: 766000 | #Constraints: 39088
675.68/704.95 c #Conflicts: 767000 | #Constraints: 40458
675.68/704.95 c #Conflicts: 768000 | #Constraints: 41846
675.68/704.95 c #Conflicts: 769000 | #Constraints: 43241
675.68/704.95 c #Conflicts: 770000 | #Constraints: 44654
675.68/704.95 c #Conflicts: 771000 | #Constraints: 46100
675.68/704.95 c #Conflicts: 772000 | #Constraints: 47501
675.68/704.95 c #Conflicts: 773000 | #Constraints: 48906
675.68/704.95 c #Conflicts: 774000 | #Constraints: 50353
675.68/704.95 c INPROCESSING
675.68/704.95 c GARBAGE COLLECT
675.68/704.95 c #Conflicts: 775000 | #Constraints: 27104
675.68/704.95 c #Conflicts: 776000 | #Constraints: 28549
675.68/704.95 c #Conflicts: 777000 | #Constraints: 30001
675.68/704.95 c #Conflicts: 778000 | #Constraints: 31468
675.68/704.95 c #Conflicts: 779000 | #Constraints: 32925
675.68/704.95 c #Conflicts: 780000 | #Constraints: 34375
675.68/704.95 c #Conflicts: 781000 | #Constraints: 35833
675.68/704.95 c #Conflicts: 782000 | #Constraints: 37288
675.68/704.95 c #Conflicts: 783000 | #Constraints: 38743
675.68/704.95 c #Conflicts: 784000 | #Constraints: 40207
675.68/704.95 c #Conflicts: 785000 | #Constraints: 41652
675.68/704.95 c #Conflicts: 786000 | #Constraints: 42934
675.68/704.95 c #Conflicts: 787000 | #Constraints: 44112
675.68/704.95 c #Conflicts: 788000 | #Constraints: 45217
675.68/704.95 c #Conflicts: 789000 | #Constraints: 46415
675.68/704.95 c #Conflicts: 790000 | #Constraints: 47706
828.19/864.22 c #Conflicts: 791000 | #Constraints: 48967
828.19/864.22 c #Conflicts: 792000 | #Constraints: 50169
828.19/864.22 c INPROCESSING
828.19/864.22 c GARBAGE COLLECT
828.19/864.22 c #Conflicts: 793000 | #Constraints: 27095
828.19/864.22 c #Conflicts: 794000 | #Constraints: 28514
828.19/864.22 c #Conflicts: 795000 | #Constraints: 29906
828.19/864.22 c #Conflicts: 796000 | #Constraints: 31293
828.19/864.22 c #Conflicts: 797000 | #Constraints: 32709
828.19/864.22 c #Conflicts: 798000 | #Constraints: 34095
828.19/864.22 c #Conflicts: 799000 | #Constraints: 35494
828.19/864.22 c #Conflicts: 800000 | #Constraints: 36895
828.19/864.22 c #Conflicts: 801000 | #Constraints: 38321
828.19/864.22 c #Conflicts: 802000 | #Constraints: 39718
828.19/864.22 c #Conflicts: 803000 | #Constraints: 41157
828.19/864.22 c #Conflicts: 804000 | #Constraints: 42593
828.19/864.22 c #Conflicts: 805000 | #Constraints: 43978
828.19/864.22 c #Conflicts: 806000 | #Constraints: 45438
828.19/864.22 c #Conflicts: 807000 | #Constraints: 46878
828.19/864.22 c #Conflicts: 808000 | #Constraints: 48272
828.19/864.22 c #Conflicts: 809000 | #Constraints: 49704
828.19/864.22 c #Conflicts: 810000 | #Constraints: 51146
828.19/864.22 c INPROCESSING
828.19/864.22 c GARBAGE COLLECT
828.19/864.22 c #Conflicts: 811000 | #Constraints: 27652
828.19/864.22 c #Conflicts: 812000 | #Constraints: 29118
828.19/864.22 c #Conflicts: 813000 | #Constraints: 30554
828.19/864.22 c #Conflicts: 814000 | #Constraints: 32015
828.19/864.22 c #Conflicts: 815000 | #Constraints: 33458
828.19/864.22 c #Conflicts: 816000 | #Constraints: 34914
828.19/864.22 c #Conflicts: 817000 | #Constraints: 36349
828.19/864.22 c #Conflicts: 818000 | #Constraints: 37793
828.19/864.22 c #Conflicts: 819000 | #Constraints: 39212
828.19/864.22 c #Conflicts: 820000 | #Constraints: 40548
828.19/864.22 c #Conflicts: 821000 | #Constraints: 41982
828.19/864.22 c #Conflicts: 822000 | #Constraints: 43402
828.19/864.22 c #Conflicts: 823000 | #Constraints: 44855
828.19/864.22 c #Conflicts: 824000 | #Constraints: 46212
828.19/864.22 c #Conflicts: 825000 | #Constraints: 47363
828.19/864.22 c #Conflicts: 826000 | #Constraints: 48690
828.19/864.22 c #Conflicts: 827000 | #Constraints: 49925
828.19/864.22 c #Conflicts: 828000 | #Constraints: 51104
828.19/864.22 c INPROCESSING
828.19/864.22 c GARBAGE COLLECT
828.19/864.22 c #Conflicts: 829000 | #Constraints: 27252
828.19/864.22 c #Conflicts: 830000 | #Constraints: 28642
828.19/864.22 c #Conflicts: 831000 | #Constraints: 29983
828.19/864.22 c #Conflicts: 832000 | #Constraints: 31383
828.19/864.22 c #Conflicts: 833000 | #Constraints: 32835
828.19/864.22 c #Conflicts: 834000 | #Constraints: 34286
828.19/864.22 c #Conflicts: 835000 | #Constraints: 35743
828.19/864.22 c #Conflicts: 836000 | #Constraints: 37132
828.19/864.22 c #Conflicts: 837000 | #Constraints: 38541
828.19/864.22 c #Conflicts: 838000 | #Constraints: 39966
828.19/864.22 c #Conflicts: 839000 | #Constraints: 41381
828.19/864.22 c #Conflicts: 840000 | #Constraints: 42796
828.19/864.22 c #Conflicts: 841000 | #Constraints: 44212
828.19/864.22 c #Conflicts: 842000 | #Constraints: 45664
828.19/864.22 c #Conflicts: 843000 | #Constraints: 47122
828.19/864.22 c #Conflicts: 844000 | #Constraints: 48549
828.19/864.22 c #Conflicts: 845000 | #Constraints: 49959
828.19/864.22 c #Conflicts: 846000 | #Constraints: 51399
828.19/864.22 c INPROCESSING
828.19/864.22 c GARBAGE COLLECT
828.19/864.22 c #Conflicts: 847000 | #Constraints: 27342
828.19/864.22 c #Conflicts: 848000 | #Constraints: 28746
828.19/864.22 c #Conflicts: 849000 | #Constraints: 30162
828.19/864.22 c #Conflicts: 850000 | #Constraints: 31621
828.19/864.22 c #Conflicts: 851000 | #Constraints: 33014
828.19/864.22 c #Conflicts: 852000 | #Constraints: 34434
828.19/864.22 c #Conflicts: 853000 | #Constraints: 35841
828.19/864.22 c #Conflicts: 854000 | #Constraints: 37229
828.19/864.22 c #Conflicts: 855000 | #Constraints: 38677
828.19/864.22 c #Conflicts: 856000 | #Constraints: 40107
828.19/864.22 c #Conflicts: 857000 | #Constraints: 41542
828.19/864.22 c #Conflicts: 858000 | #Constraints: 42975
828.19/864.22 c #Conflicts: 859000 | #Constraints: 44420
828.19/864.22 c #Conflicts: 860000 | #Constraints: 45867
828.19/864.22 c #Conflicts: 861000 | #Constraints: 47283
828.19/864.22 c #Conflicts: 862000 | #Constraints: 48709
828.19/864.22 c #Conflicts: 863000 | #Constraints: 50152
828.19/864.22 c #Conflicts: 864000 | #Constraints: 51558
828.19/864.22 c #Conflicts: 865000 | #Constraints: 52948
828.19/864.22 c INPROCESSING
1000.53/1043.34 c GARBAGE COLLECT
1000.53/1043.34 c #Conflicts: 866000 | #Constraints: 28381
1000.53/1043.34 c #Conflicts: 867000 | #Constraints: 29820
1000.53/1043.34 c #Conflicts: 868000 | #Constraints: 31282
1000.53/1043.34 c #Conflicts: 869000 | #Constraints: 32751
1000.53/1043.34 c #Conflicts: 870000 | #Constraints: 34205
1000.53/1043.34 c #Conflicts: 871000 | #Constraints: 35660
1000.53/1043.34 c #Conflicts: 872000 | #Constraints: 37105
1000.53/1043.34 c #Conflicts: 873000 | #Constraints: 38572
1000.53/1043.34 c #Conflicts: 874000 | #Constraints: 40020
1000.53/1043.34 c #Conflicts: 875000 | #Constraints: 41500
1000.53/1043.34 c #Conflicts: 876000 | #Constraints: 42965
1000.53/1043.34 c #Conflicts: 877000 | #Constraints: 44391
1000.53/1043.34 c #Conflicts: 878000 | #Constraints: 45564
1000.53/1043.34 c #Conflicts: 879000 | #Constraints: 46787
1000.53/1043.34 c #Conflicts: 880000 | #Constraints: 48022
1000.53/1043.34 c #Conflicts: 881000 | #Constraints: 49304
1000.53/1043.34 c #Conflicts: 882000 | #Constraints: 50496
1000.53/1043.34 c #Conflicts: 883000 | #Constraints: 51717
1000.53/1043.34 c #Conflicts: 884000 | #Constraints: 52922
1000.53/1043.34 c INPROCESSING
1000.53/1043.34 c GARBAGE COLLECT
1000.53/1043.34 c #Conflicts: 885000 | #Constraints: 28294
1000.53/1043.34 c #Conflicts: 886000 | #Constraints: 29700
1000.53/1043.34 c #Conflicts: 887000 | #Constraints: 31129
1000.53/1043.34 c #Conflicts: 888000 | #Constraints: 32543
1000.53/1043.34 c #Conflicts: 889000 | #Constraints: 33970
1000.53/1043.34 c #Conflicts: 890000 | #Constraints: 35379
1000.53/1043.34 c #Conflicts: 891000 | #Constraints: 36803
1000.53/1043.34 c #Conflicts: 892000 | #Constraints: 38229
1000.53/1043.34 c #Conflicts: 893000 | #Constraints: 39635
1000.53/1043.34 c #Conflicts: 894000 | #Constraints: 41050
1000.53/1043.34 c #Conflicts: 895000 | #Constraints: 42486
1000.53/1043.34 c #Conflicts: 896000 | #Constraints: 43884
1000.53/1043.34 c #Conflicts: 897000 | #Constraints: 45298
1000.53/1043.34 c #Conflicts: 898000 | #Constraints: 46738
1000.53/1043.34 c #Conflicts: 899000 | #Constraints: 48168
1000.53/1043.34 c #Conflicts: 900000 | #Constraints: 49581
1000.53/1043.34 c #Conflicts: 901000 | #Constraints: 51009
1000.53/1043.34 c #Conflicts: 902000 | #Constraints: 52433
1000.53/1043.34 c #Conflicts: 903000 | #Constraints: 53867
1000.53/1043.34 c INPROCESSING
1000.53/1043.34 c GARBAGE COLLECT
1000.53/1043.34 c #Conflicts: 904000 | #Constraints: 28986
1000.53/1043.34 c #Conflicts: 905000 | #Constraints: 30439
1000.53/1043.34 c #Conflicts: 906000 | #Constraints: 31880
1000.53/1043.34 c #Conflicts: 907000 | #Constraints: 33316
1000.53/1043.34 c #Conflicts: 908000 | #Constraints: 34773
1000.53/1043.34 c #Conflicts: 909000 | #Constraints: 36249
1000.53/1043.34 c #Conflicts: 910000 | #Constraints: 37683
1000.53/1043.34 c #Conflicts: 911000 | #Constraints: 39112
1000.53/1043.34 c #Conflicts: 912000 | #Constraints: 40562
1000.53/1043.34 c #Conflicts: 913000 | #Constraints: 42027
1000.53/1043.34 c #Conflicts: 914000 | #Constraints: 43462
1000.53/1043.34 c #Conflicts: 915000 | #Constraints: 44907
1000.53/1043.34 c #Conflicts: 916000 | #Constraints: 46356
1000.53/1043.34 c #Conflicts: 917000 | #Constraints: 47799
1000.53/1043.34 c #Conflicts: 918000 | #Constraints: 49257
1000.53/1043.34 c #Conflicts: 919000 | #Constraints: 50721
1000.53/1043.34 c #Conflicts: 920000 | #Constraints: 52037
1000.53/1043.34 c #Conflicts: 921000 | #Constraints: 53271
1000.53/1043.34 c #Conflicts: 922000 | #Constraints: 54591
1000.53/1043.34 c INPROCESSING
1000.53/1043.34 c GARBAGE COLLECT
1000.53/1043.34 c #Conflicts: 923000 | #Constraints: 29113
1000.53/1043.34 c #Conflicts: 924000 | #Constraints: 30449
1000.53/1043.34 c #Conflicts: 925000 | #Constraints: 31878
1000.53/1043.34 c #Conflicts: 926000 | #Constraints: 33348
1000.53/1043.34 c #Conflicts: 927000 | #Constraints: 34760
1000.53/1043.34 c #Conflicts: 928000 | #Constraints: 36179
1000.53/1043.34 c #Conflicts: 929000 | #Constraints: 37615
1000.53/1043.34 c #Conflicts: 930000 | #Constraints: 39001
1000.53/1043.34 c #Conflicts: 931000 | #Constraints: 40427
1000.53/1043.34 c #Conflicts: 932000 | #Constraints: 41887
1000.53/1043.34 c #Conflicts: 933000 | #Constraints: 43355
1000.53/1043.34 c #Conflicts: 934000 | #Constraints: 44853
1000.53/1043.34 c #Conflicts: 935000 | #Constraints: 46299
1000.53/1043.34 c #Conflicts: 936000 | #Constraints: 47718
1000.53/1043.34 c #Conflicts: 937000 | #Constraints: 49208
1000.53/1043.34 c #Conflicts: 938000 | #Constraints: 50682
1000.53/1043.34 c #Conflicts: 939000 | #Constraints: 52149
1000.53/1043.34 c #Conflicts: 940000 | #Constraints: 53638
1000.53/1043.34 c #Conflicts: 941000 | #Constraints: 55101
1000.53/1043.34 c INPROCESSING
1000.53/1043.34 c GARBAGE COLLECT
1184.53/1232.80 c #Conflicts: 942000 | #Constraints: 29186
1184.53/1232.80 c #Conflicts: 943000 | #Constraints: 30632
1184.53/1232.80 c #Conflicts: 944000 | #Constraints: 32065
1184.53/1232.80 c #Conflicts: 945000 | #Constraints: 33472
1184.53/1232.80 c #Conflicts: 946000 | #Constraints: 34800
1184.53/1232.80 c #Conflicts: 947000 | #Constraints: 36287
1184.53/1232.80 c #Conflicts: 948000 | #Constraints: 37728
1184.53/1232.80 c #Conflicts: 949000 | #Constraints: 39175
1184.53/1232.80 c #Conflicts: 950000 | #Constraints: 40620
1184.53/1232.80 c #Conflicts: 951000 | #Constraints: 42078
1184.53/1232.80 c #Conflicts: 952000 | #Constraints: 43524
1184.53/1232.80 c #Conflicts: 953000 | #Constraints: 44971
1184.53/1232.80 c #Conflicts: 954000 | #Constraints: 46423
1184.53/1232.80 c #Conflicts: 955000 | #Constraints: 47873
1184.53/1232.80 c #Conflicts: 956000 | #Constraints: 49335
1184.53/1232.80 c #Conflicts: 957000 | #Constraints: 50796
1184.53/1232.80 c #Conflicts: 958000 | #Constraints: 52243
1184.53/1232.80 c #Conflicts: 959000 | #Constraints: 53684
1184.53/1232.80 c #Conflicts: 960000 | #Constraints: 55123
1184.53/1232.80 c #Conflicts: 961000 | #Constraints: 56584
1184.53/1232.80 c INPROCESSING
1184.53/1232.80 c GARBAGE COLLECT
1184.53/1232.80 c #Conflicts: 962000 | #Constraints: 30238
1184.53/1232.80 c #Conflicts: 963000 | #Constraints: 31687
1184.53/1232.80 c #Conflicts: 964000 | #Constraints: 33105
1184.53/1232.80 c #Conflicts: 965000 | #Constraints: 34575
1184.53/1232.80 c #Conflicts: 966000 | #Constraints: 35948
1184.53/1232.80 c #Conflicts: 967000 | #Constraints: 37346
1184.53/1232.80 c #Conflicts: 968000 | #Constraints: 38716
1184.53/1232.80 c #Conflicts: 969000 | #Constraints: 40057
1184.53/1232.80 c #Conflicts: 970000 | #Constraints: 41463
1184.53/1232.80 c #Conflicts: 971000 | #Constraints: 42837
1184.53/1232.80 c #Conflicts: 972000 | #Constraints: 44226
1184.53/1232.80 c #Conflicts: 973000 | #Constraints: 45611
1184.53/1232.80 c #Conflicts: 974000 | #Constraints: 47027
1184.53/1232.80 c #Conflicts: 975000 | #Constraints: 48414
1184.53/1232.80 c #Conflicts: 976000 | #Constraints: 49848
1184.53/1232.80 c #Conflicts: 977000 | #Constraints: 51277
1184.53/1232.80 c #Conflicts: 978000 | #Constraints: 52682
1184.53/1232.80 c #Conflicts: 979000 | #Constraints: 54089
1184.53/1232.80 c #Conflicts: 980000 | #Constraints: 55481
1184.53/1232.80 c #Conflicts: 981000 | #Constraints: 56840
1184.53/1232.80 c INPROCESSING
1184.53/1232.80 c GARBAGE COLLECT
1184.53/1232.80 c #Conflicts: 982000 | #Constraints: 30464
1184.53/1232.80 c #Conflicts: 983000 | #Constraints: 31899
1184.53/1232.80 c #Conflicts: 984000 | #Constraints: 33353
1184.53/1232.80 c #Conflicts: 985000 | #Constraints: 34815
1184.53/1232.80 c #Conflicts: 986000 | #Constraints: 36254
1184.53/1232.80 c #Conflicts: 987000 | #Constraints: 37712
1184.53/1232.80 c #Conflicts: 988000 | #Constraints: 39148
1184.53/1232.80 c #Conflicts: 989000 | #Constraints: 40590
1184.53/1232.80 c #Conflicts: 990000 | #Constraints: 42061
1184.53/1232.80 c #Conflicts: 991000 | #Constraints: 43507
1184.53/1232.80 c #Conflicts: 992000 | #Constraints: 44940
1184.53/1232.80 c #Conflicts: 993000 | #Constraints: 46395
1184.53/1232.80 c #Conflicts: 994000 | #Constraints: 47854
1184.53/1232.80 c #Conflicts: 995000 | #Constraints: 49288
1184.53/1232.80 c #Conflicts: 996000 | #Constraints: 50732
1184.53/1232.80 c #Conflicts: 997000 | #Constraints: 52191
1184.53/1232.80 c #Conflicts: 998000 | #Constraints: 53631
1184.53/1232.80 c #Conflicts: 999000 | #Constraints: 55096
1184.53/1232.80 c #Conflicts: 1000000 | #Constraints: 56570
1184.53/1232.80 c #Conflicts: 1001000 | #Constraints: 58028
1184.53/1232.80 c INPROCESSING
1184.53/1232.80 c GARBAGE COLLECT
1184.53/1232.80 c #Conflicts: 1002000 | #Constraints: 31098
1184.53/1232.80 c #Conflicts: 1003000 | #Constraints: 32552
1184.53/1232.80 c #Conflicts: 1004000 | #Constraints: 34004
1184.53/1232.80 c #Conflicts: 1005000 | #Constraints: 35471
1184.53/1232.80 c #Conflicts: 1006000 | #Constraints: 36941
1184.53/1232.80 c #Conflicts: 1007000 | #Constraints: 38375
1184.53/1232.80 c #Conflicts: 1008000 | #Constraints: 39799
1184.53/1232.80 c #Conflicts: 1009000 | #Constraints: 41234
1184.53/1232.80 c #Conflicts: 1010000 | #Constraints: 42673
1184.53/1232.80 c #Conflicts: 1011000 | #Constraints: 44111
1184.53/1232.80 c #Conflicts: 1012000 | #Constraints: 45588
1184.53/1232.80 c #Conflicts: 1013000 | #Constraints: 47041
1184.53/1232.80 c #Conflicts: 1014000 | #Constraints: 48464
1184.53/1232.80 c #Conflicts: 1015000 | #Constraints: 49929
1184.53/1232.80 c #Conflicts: 1016000 | #Constraints: 51391
1184.53/1232.80 c #Conflicts: 1017000 | #Constraints: 52841
1184.53/1232.80 c #Conflicts: 1018000 | #Constraints: 54323
1378.71/1428.00 c #Conflicts: 1019000 | #Constraints: 55773
1378.71/1428.00 c #Conflicts: 1020000 | #Constraints: 57188
1378.71/1428.00 c #Conflicts: 1021000 | #Constraints: 58644
1378.71/1428.00 c INPROCESSING
1378.71/1428.00 c GARBAGE COLLECT
1378.71/1428.00 c #Conflicts: 1022000 | #Constraints: 31271
1378.71/1428.00 c #Conflicts: 1023000 | #Constraints: 32730
1378.71/1428.00 c #Conflicts: 1024000 | #Constraints: 34189
1378.71/1428.00 c #Conflicts: 1025000 | #Constraints: 35636
1378.71/1428.00 c #Conflicts: 1026000 | #Constraints: 37093
1378.71/1428.00 c #Conflicts: 1027000 | #Constraints: 38525
1378.71/1428.00 c #Conflicts: 1028000 | #Constraints: 39980
1378.71/1428.00 c #Conflicts: 1029000 | #Constraints: 41450
1378.71/1428.00 c #Conflicts: 1030000 | #Constraints: 42886
1378.71/1428.00 c #Conflicts: 1031000 | #Constraints: 44314
1378.71/1428.00 c #Conflicts: 1032000 | #Constraints: 45769
1378.71/1428.00 c #Conflicts: 1033000 | #Constraints: 47205
1378.71/1428.00 c #Conflicts: 1034000 | #Constraints: 48641
1378.71/1428.00 c #Conflicts: 1035000 | #Constraints: 50088
1378.71/1428.00 c #Conflicts: 1036000 | #Constraints: 51520
1378.71/1428.00 c #Conflicts: 1037000 | #Constraints: 52954
1378.71/1428.00 c #Conflicts: 1038000 | #Constraints: 54401
1378.71/1428.00 c #Conflicts: 1039000 | #Constraints: 55833
1378.71/1428.00 c #Conflicts: 1040000 | #Constraints: 57277
1378.71/1428.00 c #Conflicts: 1041000 | #Constraints: 58729
1378.71/1428.00 c INPROCESSING
1378.71/1428.00 c GARBAGE COLLECT
1378.71/1428.00 c #Conflicts: 1042000 | #Constraints: 31021
1378.71/1428.00 c #Conflicts: 1043000 | #Constraints: 32497
1378.71/1428.00 c #Conflicts: 1044000 | #Constraints: 33952
1378.71/1428.00 c #Conflicts: 1045000 | #Constraints: 35375
1378.71/1428.00 c #Conflicts: 1046000 | #Constraints: 36821
1378.71/1428.00 c #Conflicts: 1047000 | #Constraints: 38287
1378.71/1428.00 c #Conflicts: 1048000 | #Constraints: 39713
1378.71/1428.00 c #Conflicts: 1049000 | #Constraints: 41160
1378.71/1428.00 c #Conflicts: 1050000 | #Constraints: 42630
1378.71/1428.00 c #Conflicts: 1051000 | #Constraints: 44108
1378.71/1428.00 c #Conflicts: 1052000 | #Constraints: 45536
1378.71/1428.00 c #Conflicts: 1053000 | #Constraints: 47015
1378.71/1428.00 c #Conflicts: 1054000 | #Constraints: 48462
1378.71/1428.00 c #Conflicts: 1055000 | #Constraints: 49885
1378.71/1428.00 c #Conflicts: 1056000 | #Constraints: 51309
1378.71/1428.00 c #Conflicts: 1057000 | #Constraints: 52775
1378.71/1428.00 c #Conflicts: 1058000 | #Constraints: 54253
1378.71/1428.00 c #Conflicts: 1059000 | #Constraints: 55686
1378.71/1428.00 c #Conflicts: 1060000 | #Constraints: 57172
1378.71/1428.00 c #Conflicts: 1061000 | #Constraints: 58642
1378.71/1428.00 c #Conflicts: 1062000 | #Constraints: 60082
1378.71/1428.00 c INPROCESSING
1378.71/1428.00 c GARBAGE COLLECT
1378.71/1428.00 c #Conflicts: 1063000 | #Constraints: 31976
1378.71/1428.00 c #Conflicts: 1064000 | #Constraints: 33460
1378.71/1428.00 c #Conflicts: 1065000 | #Constraints: 34925
1378.71/1428.00 c #Conflicts: 1066000 | #Constraints: 36369
1378.71/1428.00 c #Conflicts: 1067000 | #Constraints: 37830
1378.71/1428.00 c #Conflicts: 1068000 | #Constraints: 39278
1378.71/1428.00 c #Conflicts: 1069000 | #Constraints: 40736
1378.71/1428.00 c #Conflicts: 1070000 | #Constraints: 42205
1378.71/1428.00 c #Conflicts: 1071000 | #Constraints: 43655
1378.71/1428.00 c #Conflicts: 1072000 | #Constraints: 45105
1378.71/1428.00 c #Conflicts: 1073000 | #Constraints: 46548
1378.71/1428.00 c #Conflicts: 1074000 | #Constraints: 47994
1378.71/1428.00 c #Conflicts: 1075000 | #Constraints: 49456
1378.71/1428.00 c #Conflicts: 1076000 | #Constraints: 50917
1378.71/1428.00 c #Conflicts: 1077000 | #Constraints: 52390
1378.71/1428.00 c #Conflicts: 1078000 | #Constraints: 53845
1378.71/1428.00 c #Conflicts: 1079000 | #Constraints: 55280
1378.71/1428.00 c #Conflicts: 1080000 | #Constraints: 56753
1378.71/1428.00 c #Conflicts: 1081000 | #Constraints: 58133
1378.71/1428.00 c #Conflicts: 1082000 | #Constraints: 59361
1378.71/1428.00 c #Conflicts: 1083000 | #Constraints: 60637
1378.71/1428.00 c INPROCESSING
1378.71/1428.00 c GARBAGE COLLECT
1378.71/1428.00 c #Conflicts: 1084000 | #Constraints: 32382
1378.71/1428.00 c #Conflicts: 1085000 | #Constraints: 33784
1378.71/1428.00 c #Conflicts: 1086000 | #Constraints: 35124
1378.71/1428.00 c #Conflicts: 1087000 | #Constraints: 36418
1378.71/1428.00 c #Conflicts: 1088000 | #Constraints: 37763
1378.71/1428.00 c #Conflicts: 1089000 | #Constraints: 39063
1378.71/1428.00 c #Conflicts: 1090000 | #Constraints: 40386
1378.71/1428.00 c #Conflicts: 1091000 | #Constraints: 41692
1378.71/1428.00 c #Conflicts: 1092000 | #Constraints: 43017
1378.71/1428.00 c #Conflicts: 1093000 | #Constraints: 44386
1378.71/1428.00 c #Conflicts: 1094000 | #Constraints: 45851
1570.47/1620.74 c #Conflicts: 1095000 | #Constraints: 47213
1570.47/1620.74 c #Conflicts: 1096000 | #Constraints: 48579
1570.47/1620.74 c #Conflicts: 1097000 | #Constraints: 49934
1570.47/1620.74 c #Conflicts: 1098000 | #Constraints: 51340
1570.47/1620.74 c #Conflicts: 1099000 | #Constraints: 52583
1570.47/1620.74 c #Conflicts: 1100000 | #Constraints: 53923
1570.47/1620.74 c #Conflicts: 1101000 | #Constraints: 55368
1570.47/1620.74 c #Conflicts: 1102000 | #Constraints: 56784
1570.47/1620.74 c #Conflicts: 1103000 | #Constraints: 58136
1570.47/1620.74 c #Conflicts: 1104000 | #Constraints: 59520
1570.47/1620.74 c INPROCESSING
1570.47/1620.74 c GARBAGE COLLECT
1570.47/1620.74 c #Conflicts: 1105000 | #Constraints: 31843
1570.47/1620.74 c #Conflicts: 1106000 | #Constraints: 33287
1570.47/1620.74 c #Conflicts: 1107000 | #Constraints: 34726
1570.47/1620.74 c #Conflicts: 1108000 | #Constraints: 36156
1570.47/1620.74 c #Conflicts: 1109000 | #Constraints: 37600
1570.47/1620.74 c #Conflicts: 1110000 | #Constraints: 39032
1570.47/1620.74 c #Conflicts: 1111000 | #Constraints: 40483
1570.47/1620.74 c #Conflicts: 1112000 | #Constraints: 41919
1570.47/1620.74 c #Conflicts: 1113000 | #Constraints: 43374
1570.47/1620.74 c #Conflicts: 1114000 | #Constraints: 44803
1570.47/1620.74 c #Conflicts: 1115000 | #Constraints: 46265
1570.47/1620.74 c #Conflicts: 1116000 | #Constraints: 47727
1570.47/1620.74 c #Conflicts: 1117000 | #Constraints: 49127
1570.47/1620.74 c #Conflicts: 1118000 | #Constraints: 50507
1570.47/1620.74 c #Conflicts: 1119000 | #Constraints: 51933
1570.47/1620.74 c #Conflicts: 1120000 | #Constraints: 53338
1570.47/1620.74 c #Conflicts: 1121000 | #Constraints: 54776
1570.47/1620.74 c #Conflicts: 1122000 | #Constraints: 56253
1570.47/1620.74 c #Conflicts: 1123000 | #Constraints: 57671
1570.47/1620.74 c #Conflicts: 1124000 | #Constraints: 59084
1570.47/1620.74 c #Conflicts: 1125000 | #Constraints: 60535
1570.47/1620.74 c INPROCESSING
1570.47/1620.74 c GARBAGE COLLECT
1570.47/1620.74 c #Conflicts: 1126000 | #Constraints: 32207
1570.47/1620.74 c #Conflicts: 1127000 | #Constraints: 33668
1570.47/1620.74 c #Conflicts: 1128000 | #Constraints: 35125
1570.47/1620.74 c #Conflicts: 1129000 | #Constraints: 36574
1570.47/1620.74 c #Conflicts: 1130000 | #Constraints: 38042
1570.47/1620.74 c #Conflicts: 1131000 | #Constraints: 39493
1570.47/1620.74 c #Conflicts: 1132000 | #Constraints: 40930
1570.47/1620.74 c #Conflicts: 1133000 | #Constraints: 42374
1570.47/1620.74 c #Conflicts: 1134000 | #Constraints: 43844
1570.47/1620.74 c #Conflicts: 1135000 | #Constraints: 45319
1570.47/1620.74 c #Conflicts: 1136000 | #Constraints: 46771
1570.47/1620.74 c #Conflicts: 1137000 | #Constraints: 48223
1570.47/1620.74 c #Conflicts: 1138000 | #Constraints: 49649
1570.47/1620.74 c #Conflicts: 1139000 | #Constraints: 51099
1570.47/1620.74 c #Conflicts: 1140000 | #Constraints: 52526
1570.47/1620.74 c #Conflicts: 1141000 | #Constraints: 53968
1570.47/1620.74 c #Conflicts: 1142000 | #Constraints: 55401
1570.47/1620.74 c #Conflicts: 1143000 | #Constraints: 56846
1570.47/1620.74 c #Conflicts: 1144000 | #Constraints: 58270
1570.47/1620.74 c #Conflicts: 1145000 | #Constraints: 59711
1570.47/1620.74 c #Conflicts: 1146000 | #Constraints: 61152
1570.47/1620.74 c INPROCESSING
1570.47/1620.74 c GARBAGE COLLECT
1570.47/1620.74 c #Conflicts: 1147000 | #Constraints: 32249
1570.47/1620.74 c #Conflicts: 1148000 | #Constraints: 33711
1570.47/1620.74 c #Conflicts: 1149000 | #Constraints: 35152
1570.47/1620.74 c #Conflicts: 1150000 | #Constraints: 36558
1570.47/1620.74 c #Conflicts: 1151000 | #Constraints: 37990
1570.47/1620.74 c #Conflicts: 1152000 | #Constraints: 39380
1570.47/1620.74 c #Conflicts: 1153000 | #Constraints: 40794
1570.47/1620.74 c #Conflicts: 1154000 | #Constraints: 42260
1570.47/1620.74 c #Conflicts: 1155000 | #Constraints: 43681
1570.47/1620.74 c #Conflicts: 1156000 | #Constraints: 45088
1570.47/1620.74 c #Conflicts: 1157000 | #Constraints: 46506
1570.47/1620.74 c #Conflicts: 1158000 | #Constraints: 47963
1570.47/1620.74 c #Conflicts: 1159000 | #Constraints: 49376
1570.47/1620.74 c #Conflicts: 1160000 | #Constraints: 50771
1570.47/1620.74 c #Conflicts: 1161000 | #Constraints: 52197
1570.47/1620.74 c #Conflicts: 1162000 | #Constraints: 53627
1570.47/1620.74 c #Conflicts: 1163000 | #Constraints: 55029
1570.47/1620.74 c #Conflicts: 1164000 | #Constraints: 56411
1570.47/1620.74 c #Conflicts: 1165000 | #Constraints: 57807
1570.47/1620.74 c #Conflicts: 1166000 | #Constraints: 59212
1570.47/1620.74 c #Conflicts: 1167000 | #Constraints: 60644
1570.47/1620.74 c #Conflicts: 1168000 | #Constraints: 62071
1570.47/1620.74 c INPROCESSING
1570.47/1620.74 c GARBAGE COLLECT
1570.47/1620.74 c #Conflicts: 1169000 | #Constraints: 32940
1570.47/1620.74 c #Conflicts: 1170000 | #Constraints: 34396
1570.47/1620.74 c #Conflicts: 1171000 | #Constraints: 35830
1757.03/1808.58 c #Conflicts: 1172000 | #Constraints: 37267
1757.03/1808.58 c #Conflicts: 1173000 | #Constraints: 38695
1757.03/1808.58 c #Conflicts: 1174000 | #Constraints: 40144
1757.03/1808.58 c #Conflicts: 1175000 | #Constraints: 41596
1757.03/1808.58 c #Conflicts: 1176000 | #Constraints: 43048
1757.03/1808.58 c #Conflicts: 1177000 | #Constraints: 44469
1757.03/1808.58 c #Conflicts: 1178000 | #Constraints: 45925
1757.03/1808.58 c #Conflicts: 1179000 | #Constraints: 47355
1757.03/1808.58 c #Conflicts: 1180000 | #Constraints: 48802
1757.03/1808.58 c #Conflicts: 1181000 | #Constraints: 50234
1757.03/1808.58 c #Conflicts: 1182000 | #Constraints: 51696
1757.03/1808.58 c #Conflicts: 1183000 | #Constraints: 53129
1757.03/1808.58 c #Conflicts: 1184000 | #Constraints: 54574
1757.03/1808.58 c #Conflicts: 1185000 | #Constraints: 56035
1757.03/1808.58 c #Conflicts: 1186000 | #Constraints: 57494
1757.03/1808.58 c #Conflicts: 1187000 | #Constraints: 58948
1757.03/1808.58 c #Conflicts: 1188000 | #Constraints: 60394
1757.03/1808.58 c #Conflicts: 1189000 | #Constraints: 61848
1757.03/1808.58 c #Conflicts: 1190000 | #Constraints: 63292
1757.03/1808.58 c INPROCESSING
1757.03/1808.58 c GARBAGE COLLECT
1757.03/1808.58 c #Conflicts: 1191000 | #Constraints: 33718
1757.03/1808.58 c #Conflicts: 1192000 | #Constraints: 35078
1757.03/1808.58 c #Conflicts: 1193000 | #Constraints: 36470
1757.03/1808.58 c #Conflicts: 1194000 | #Constraints: 37911
1757.03/1808.58 c #Conflicts: 1195000 | #Constraints: 39325
1757.03/1808.58 c #Conflicts: 1196000 | #Constraints: 40742
1757.03/1808.58 c #Conflicts: 1197000 | #Constraints: 42154
1757.03/1808.58 c #Conflicts: 1198000 | #Constraints: 43530
1757.03/1808.58 c #Conflicts: 1199000 | #Constraints: 44906
1757.03/1808.58 c #Conflicts: 1200000 | #Constraints: 46316
1757.03/1808.58 c #Conflicts: 1201000 | #Constraints: 47751
1757.03/1808.58 c #Conflicts: 1202000 | #Constraints: 49147
1757.03/1808.58 c #Conflicts: 1203000 | #Constraints: 50542
1757.03/1808.58 c #Conflicts: 1204000 | #Constraints: 51935
1757.03/1808.58 c #Conflicts: 1205000 | #Constraints: 53343
1757.03/1808.58 c #Conflicts: 1206000 | #Constraints: 54713
1757.03/1808.58 c #Conflicts: 1207000 | #Constraints: 56102
1757.03/1808.58 c #Conflicts: 1208000 | #Constraints: 57494
1757.03/1808.58 c #Conflicts: 1209000 | #Constraints: 58929
1757.03/1808.58 c #Conflicts: 1210000 | #Constraints: 60365
1757.03/1808.58 c #Conflicts: 1211000 | #Constraints: 61765
1757.03/1808.58 c #Conflicts: 1212000 | #Constraints: 63196
1757.03/1808.58 c INPROCESSING
1757.03/1808.58 c GARBAGE COLLECT
1757.03/1808.58 c #Conflicts: 1213000 | #Constraints: 33681
1757.03/1808.58 c #Conflicts: 1214000 | #Constraints: 35112
1757.03/1808.58 c #Conflicts: 1215000 | #Constraints: 36549
1757.03/1808.58 c #Conflicts: 1216000 | #Constraints: 37980
1757.03/1808.58 c #Conflicts: 1217000 | #Constraints: 39446
1757.03/1808.58 c #Conflicts: 1218000 | #Constraints: 40896
1757.03/1808.58 c #Conflicts: 1219000 | #Constraints: 42345
1757.03/1808.58 c #Conflicts: 1220000 | #Constraints: 43821
1757.03/1808.58 c #Conflicts: 1221000 | #Constraints: 45257
1757.03/1808.58 c #Conflicts: 1222000 | #Constraints: 46708
1757.03/1808.58 c #Conflicts: 1223000 | #Constraints: 48157
1757.03/1808.58 c #Conflicts: 1224000 | #Constraints: 49610
1757.03/1808.58 c #Conflicts: 1225000 | #Constraints: 51057
1757.03/1808.58 c #Conflicts: 1226000 | #Constraints: 52502
1757.03/1808.58 c #Conflicts: 1227000 | #Constraints: 53930
1757.03/1808.58 c #Conflicts: 1228000 | #Constraints: 55369
1757.03/1808.58 c #Conflicts: 1229000 | #Constraints: 56657
1757.03/1808.58 c #Conflicts: 1230000 | #Constraints: 57789
1757.03/1808.58 c #Conflicts: 1231000 | #Constraints: 59058
1757.03/1808.58 c #Conflicts: 1232000 | #Constraints: 60431
1757.03/1808.58 c #Conflicts: 1233000 | #Constraints: 61656
1757.03/1808.58 c #Conflicts: 1234000 | #Constraints: 63005
1757.03/1808.58 c INPROCESSING
1757.03/1808.58 c GARBAGE COLLECT
1757.03/1808.58 c #Conflicts: 1235000 | #Constraints: 33385
1757.03/1808.58 c #Conflicts: 1236000 | #Constraints: 34766
1757.03/1808.58 c #Conflicts: 1237000 | #Constraints: 36123
1757.03/1808.58 c #Conflicts: 1238000 | #Constraints: 37577
1757.03/1808.58 c #Conflicts: 1239000 | #Constraints: 39021
1757.03/1808.58 c #Conflicts: 1240000 | #Constraints: 40450
1757.03/1808.58 c #Conflicts: 1241000 | #Constraints: 41871
1757.03/1808.58 c #Conflicts: 1242000 | #Constraints: 43288
1757.03/1808.58 c #Conflicts: 1243000 | #Constraints: 44714
1757.03/1808.58 c #Conflicts: 1244000 | #Constraints: 46120
1757.03/1808.58 c #Conflicts: 1245000 | #Constraints: 47578
1757.03/1808.58 c #Conflicts: 1246000 | #Constraints: 49004
1757.03/1808.58 c #Conflicts: 1247000 | #Constraints: 50418
1757.03/1808.58 c #Conflicts: 1248000 | #Constraints: 51823
1956.09/2011.16 c #Conflicts: 1249000 | #Constraints: 53244
1956.09/2011.16 c #Conflicts: 1250000 | #Constraints: 54661
1956.09/2011.16 c #Conflicts: 1251000 | #Constraints: 56036
1956.09/2011.16 c #Conflicts: 1252000 | #Constraints: 57445
1956.09/2011.16 c #Conflicts: 1253000 | #Constraints: 58883
1956.09/2011.16 c #Conflicts: 1254000 | #Constraints: 60309
1956.09/2011.16 c #Conflicts: 1255000 | #Constraints: 61732
1956.09/2011.16 c #Conflicts: 1256000 | #Constraints: 63179
1956.09/2011.16 c INPROCESSING
1956.09/2011.16 c GARBAGE COLLECT
1956.09/2011.16 c #Conflicts: 1257000 | #Constraints: 33194
1956.09/2011.16 c #Conflicts: 1258000 | #Constraints: 34585
1956.09/2011.16 c #Conflicts: 1259000 | #Constraints: 35992
1956.09/2011.16 c #Conflicts: 1260000 | #Constraints: 37416
1956.09/2011.16 c #Conflicts: 1261000 | #Constraints: 38841
1956.09/2011.16 c #Conflicts: 1262000 | #Constraints: 40276
1956.09/2011.16 c #Conflicts: 1263000 | #Constraints: 41725
1956.09/2011.16 c #Conflicts: 1264000 | #Constraints: 43169
1956.09/2011.16 c #Conflicts: 1265000 | #Constraints: 44568
1956.09/2011.16 c #Conflicts: 1266000 | #Constraints: 45948
1956.09/2011.16 c #Conflicts: 1267000 | #Constraints: 47344
1956.09/2011.16 c #Conflicts: 1268000 | #Constraints: 48738
1956.09/2011.16 c #Conflicts: 1269000 | #Constraints: 50154
1956.09/2011.16 c #Conflicts: 1270000 | #Constraints: 51566
1956.09/2011.16 c #Conflicts: 1271000 | #Constraints: 52966
1956.09/2011.16 c #Conflicts: 1272000 | #Constraints: 54377
1956.09/2011.16 c #Conflicts: 1273000 | #Constraints: 55810
1956.09/2011.16 c #Conflicts: 1274000 | #Constraints: 57246
1956.09/2011.16 c #Conflicts: 1275000 | #Constraints: 58733
1956.09/2011.16 c #Conflicts: 1276000 | #Constraints: 60190
1956.09/2011.16 c #Conflicts: 1277000 | #Constraints: 61571
1956.09/2011.16 c #Conflicts: 1278000 | #Constraints: 63001
1956.09/2011.16 c #Conflicts: 1279000 | #Constraints: 64431
1956.09/2011.16 c INPROCESSING
1956.09/2011.16 c GARBAGE COLLECT
1956.09/2011.16 c #Conflicts: 1280000 | #Constraints: 34122
1956.09/2011.16 c #Conflicts: 1281000 | #Constraints: 35562
1956.09/2011.16 c #Conflicts: 1282000 | #Constraints: 37003
1956.09/2011.16 c #Conflicts: 1283000 | #Constraints: 38450
1956.09/2011.16 c #Conflicts: 1284000 | #Constraints: 39904
1956.09/2011.16 c #Conflicts: 1285000 | #Constraints: 41360
1956.09/2011.16 c #Conflicts: 1286000 | #Constraints: 42806
1956.09/2011.16 c #Conflicts: 1287000 | #Constraints: 44251
1956.09/2011.16 c #Conflicts: 1288000 | #Constraints: 45698
1956.09/2011.16 c #Conflicts: 1289000 | #Constraints: 47154
1956.09/2011.16 c #Conflicts: 1290000 | #Constraints: 48584
1956.09/2011.16 c #Conflicts: 1291000 | #Constraints: 50050
1956.09/2011.16 c #Conflicts: 1292000 | #Constraints: 51510
1956.09/2011.16 c #Conflicts: 1293000 | #Constraints: 52956
1956.09/2011.16 c #Conflicts: 1294000 | #Constraints: 54402
1956.09/2011.16 c #Conflicts: 1295000 | #Constraints: 55868
1956.09/2011.16 c #Conflicts: 1296000 | #Constraints: 57321
1956.09/2011.16 c #Conflicts: 1297000 | #Constraints: 58772
1956.09/2011.16 c #Conflicts: 1298000 | #Constraints: 60224
1956.09/2011.16 c #Conflicts: 1299000 | #Constraints: 61679
1956.09/2011.16 c #Conflicts: 1300000 | #Constraints: 63145
1956.09/2011.16 c #Conflicts: 1301000 | #Constraints: 64608
1956.09/2011.16 c #Conflicts: 1302000 | #Constraints: 66090
1956.09/2011.16 c INPROCESSING
1956.09/2011.16 c GARBAGE COLLECT
1956.09/2011.16 c #Conflicts: 1303000 | #Constraints: 35154
1956.09/2011.16 c #Conflicts: 1304000 | #Constraints: 36572
1956.09/2011.16 c #Conflicts: 1305000 | #Constraints: 37991
1956.09/2011.16 c #Conflicts: 1306000 | #Constraints: 39381
1956.09/2011.16 c #Conflicts: 1307000 | #Constraints: 40770
1956.09/2011.16 c #Conflicts: 1308000 | #Constraints: 42179
1956.09/2011.16 c #Conflicts: 1309000 | #Constraints: 43577
1956.09/2011.16 c #Conflicts: 1310000 | #Constraints: 44974
1956.09/2011.16 c #Conflicts: 1311000 | #Constraints: 46364
1956.09/2011.16 c #Conflicts: 1312000 | #Constraints: 47787
1956.09/2011.16 c #Conflicts: 1313000 | #Constraints: 49145
1956.09/2011.16 c #Conflicts: 1314000 | #Constraints: 50482
1956.09/2011.16 c #Conflicts: 1315000 | #Constraints: 51881
1956.09/2011.16 c #Conflicts: 1316000 | #Constraints: 53283
1956.09/2011.16 c #Conflicts: 1317000 | #Constraints: 54699
1956.09/2011.16 c #Conflicts: 1318000 | #Constraints: 56137
1956.09/2011.16 c #Conflicts: 1319000 | #Constraints: 57527
1956.09/2011.16 c #Conflicts: 1320000 | #Constraints: 58931
1956.09/2011.16 c #Conflicts: 1321000 | #Constraints: 60339
1956.09/2011.16 c #Conflicts: 1322000 | #Constraints: 61780
1956.09/2011.16 c #Conflicts: 1323000 | #Constraints: 63226
1956.09/2011.16 c #Conflicts: 1324000 | #Constraints: 64652
2172.85/2230.08 c #Conflicts: 1325000 | #Constraints: 66081
2172.85/2230.08 c INPROCESSING
2172.85/2230.08 c GARBAGE COLLECT
2172.85/2230.08 c #Conflicts: 1326000 | #Constraints: 35131
2172.85/2230.08 c #Conflicts: 1327000 | #Constraints: 36587
2172.85/2230.08 c #Conflicts: 1328000 | #Constraints: 38029
2172.85/2230.08 c #Conflicts: 1329000 | #Constraints: 39495
2172.85/2230.08 c #Conflicts: 1330000 | #Constraints: 40955
2172.85/2230.08 c #Conflicts: 1331000 | #Constraints: 42410
2172.85/2230.08 c #Conflicts: 1332000 | #Constraints: 43858
2172.85/2230.08 c #Conflicts: 1333000 | #Constraints: 45289
2172.85/2230.08 c #Conflicts: 1334000 | #Constraints: 46747
2172.85/2230.08 c #Conflicts: 1335000 | #Constraints: 48204
2172.85/2230.08 c #Conflicts: 1336000 | #Constraints: 49675
2172.85/2230.08 c #Conflicts: 1337000 | #Constraints: 51122
2172.85/2230.08 c #Conflicts: 1338000 | #Constraints: 52570
2172.85/2230.08 c #Conflicts: 1339000 | #Constraints: 54016
2172.85/2230.08 c #Conflicts: 1340000 | #Constraints: 55465
2172.85/2230.08 c #Conflicts: 1341000 | #Constraints: 56918
2172.85/2230.08 c #Conflicts: 1342000 | #Constraints: 58357
2172.85/2230.08 c #Conflicts: 1343000 | #Constraints: 59833
2172.85/2230.08 c #Conflicts: 1344000 | #Constraints: 61274
2172.85/2230.08 c #Conflicts: 1345000 | #Constraints: 62735
2172.85/2230.08 c #Conflicts: 1346000 | #Constraints: 64183
2172.85/2230.08 c #Conflicts: 1347000 | #Constraints: 65616
2172.85/2230.08 c #Conflicts: 1348000 | #Constraints: 67039
2172.85/2230.08 c INPROCESSING
2172.85/2230.08 c GARBAGE COLLECT
2172.85/2230.08 c #Conflicts: 1349000 | #Constraints: 35456
2172.85/2230.08 c #Conflicts: 1350000 | #Constraints: 36910
2172.85/2230.08 c #Conflicts: 1351000 | #Constraints: 38374
2172.85/2230.08 c #Conflicts: 1352000 | #Constraints: 39846
2172.85/2230.08 c #Conflicts: 1353000 | #Constraints: 41227
2172.85/2230.08 c #Conflicts: 1354000 | #Constraints: 42465
2172.85/2230.08 c #Conflicts: 1355000 | #Constraints: 43816
2172.85/2230.08 c #Conflicts: 1356000 | #Constraints: 45181
2172.85/2230.08 c #Conflicts: 1357000 | #Constraints: 46522
2172.85/2230.08 c #Conflicts: 1358000 | #Constraints: 47947
2172.85/2230.08 c #Conflicts: 1359000 | #Constraints: 49308
2172.85/2230.08 c #Conflicts: 1360000 | #Constraints: 50626
2172.85/2230.08 c #Conflicts: 1361000 | #Constraints: 52047
2172.85/2230.08 c #Conflicts: 1362000 | #Constraints: 53438
2172.85/2230.08 c #Conflicts: 1363000 | #Constraints: 54817
2172.85/2230.08 c #Conflicts: 1364000 | #Constraints: 56218
2172.85/2230.08 c #Conflicts: 1365000 | #Constraints: 57626
2172.85/2230.08 c #Conflicts: 1366000 | #Constraints: 59076
2172.85/2230.08 c #Conflicts: 1367000 | #Constraints: 60502
2172.85/2230.08 c #Conflicts: 1368000 | #Constraints: 61900
2172.85/2230.08 c #Conflicts: 1369000 | #Constraints: 63272
2172.85/2230.08 c #Conflicts: 1370000 | #Constraints: 64673
2172.85/2230.08 c #Conflicts: 1371000 | #Constraints: 66071
2172.85/2230.08 c INPROCESSING
2172.85/2230.08 c GARBAGE COLLECT
2172.85/2230.08 c #Conflicts: 1372000 | #Constraints: 34643
2172.85/2230.08 c #Conflicts: 1373000 | #Constraints: 36093
2172.85/2230.08 c #Conflicts: 1374000 | #Constraints: 37535
2172.85/2230.08 c #Conflicts: 1375000 | #Constraints: 38993
2172.85/2230.08 c #Conflicts: 1376000 | #Constraints: 40423
2172.85/2230.08 c #Conflicts: 1377000 | #Constraints: 41866
2172.85/2230.08 c #Conflicts: 1378000 | #Constraints: 43304
2172.85/2230.08 c #Conflicts: 1379000 | #Constraints: 44757
2172.85/2230.08 c #Conflicts: 1380000 | #Constraints: 46211
2172.85/2230.08 c #Conflicts: 1381000 | #Constraints: 47667
2172.85/2230.08 c #Conflicts: 1382000 | #Constraints: 49118
2172.85/2230.08 c #Conflicts: 1383000 | #Constraints: 50560
2172.85/2230.08 c #Conflicts: 1384000 | #Constraints: 52009
2172.85/2230.08 c #Conflicts: 1385000 | #Constraints: 53449
2172.85/2230.08 c #Conflicts: 1386000 | #Constraints: 54891
2172.85/2230.08 c #Conflicts: 1387000 | #Constraints: 56318
2172.85/2230.08 c #Conflicts: 1388000 | #Constraints: 57792
2172.85/2230.08 c #Conflicts: 1389000 | #Constraints: 59231
2172.85/2230.08 c #Conflicts: 1390000 | #Constraints: 60674
2172.85/2230.08 c #Conflicts: 1391000 | #Constraints: 61920
2172.85/2230.08 c #Conflicts: 1392000 | #Constraints: 63129
2172.85/2230.08 c #Conflicts: 1393000 | #Constraints: 64432
2172.85/2230.08 c #Conflicts: 1394000 | #Constraints: 65699
2172.85/2230.08 c #Conflicts: 1395000 | #Constraints: 67011
2172.85/2230.08 c INPROCESSING
2172.85/2230.08 c GARBAGE COLLECT
2172.85/2230.08 c #Conflicts: 1396000 | #Constraints: 35297
2172.85/2230.08 c #Conflicts: 1397000 | #Constraints: 36616
2172.85/2230.08 c #Conflicts: 1398000 | #Constraints: 37875
2172.85/2230.08 c #Conflicts: 1399000 | #Constraints: 39235
2172.85/2230.08 c #Conflicts: 1400000 | #Constraints: 40720
2172.85/2230.08 c #Conflicts: 1401000 | #Constraints: 42157
2383.36/2444.65 c #Conflicts: 1402000 | #Constraints: 43477
2383.36/2444.65 c #Conflicts: 1403000 | #Constraints: 44873
2383.36/2444.65 c #Conflicts: 1404000 | #Constraints: 46274
2383.36/2444.65 c #Conflicts: 1405000 | #Constraints: 47684
2383.36/2444.65 c #Conflicts: 1406000 | #Constraints: 49093
2383.36/2444.65 c #Conflicts: 1407000 | #Constraints: 50492
2383.36/2444.65 c #Conflicts: 1408000 | #Constraints: 51911
2383.36/2444.65 c #Conflicts: 1409000 | #Constraints: 53284
2383.36/2444.65 c #Conflicts: 1410000 | #Constraints: 54704
2383.36/2444.65 c #Conflicts: 1411000 | #Constraints: 56128
2383.36/2444.65 c #Conflicts: 1412000 | #Constraints: 57558
2383.36/2444.65 c #Conflicts: 1413000 | #Constraints: 59011
2383.36/2444.65 c #Conflicts: 1414000 | #Constraints: 60444
2383.36/2444.65 c #Conflicts: 1415000 | #Constraints: 61860
2383.36/2444.65 c #Conflicts: 1416000 | #Constraints: 63268
2383.36/2444.65 c #Conflicts: 1417000 | #Constraints: 64676
2383.36/2444.65 c #Conflicts: 1418000 | #Constraints: 66095
2383.36/2444.65 c #Conflicts: 1419000 | #Constraints: 67538
2383.36/2444.65 c INPROCESSING
2383.36/2444.65 c GARBAGE COLLECT
2383.36/2444.65 c #Conflicts: 1420000 | #Constraints: 35836
2383.36/2444.65 c #Conflicts: 1421000 | #Constraints: 37287
2383.36/2444.65 c #Conflicts: 1422000 | #Constraints: 38731
2383.36/2444.65 c #Conflicts: 1423000 | #Constraints: 40185
2383.36/2444.65 c #Conflicts: 1424000 | #Constraints: 41648
2383.36/2444.65 c #Conflicts: 1425000 | #Constraints: 43091
2383.36/2444.65 c #Conflicts: 1426000 | #Constraints: 44539
2383.36/2444.65 c #Conflicts: 1427000 | #Constraints: 45987
2383.36/2444.65 c #Conflicts: 1428000 | #Constraints: 47430
2383.36/2444.65 c #Conflicts: 1429000 | #Constraints: 48874
2383.36/2444.65 c #Conflicts: 1430000 | #Constraints: 50319
2383.36/2444.65 c #Conflicts: 1431000 | #Constraints: 51750
2383.36/2444.65 c #Conflicts: 1432000 | #Constraints: 53177
2383.36/2444.65 c #Conflicts: 1433000 | #Constraints: 54418
2383.36/2444.65 c #Conflicts: 1434000 | #Constraints: 55709
2383.36/2444.65 c #Conflicts: 1435000 | #Constraints: 56932
2383.36/2444.65 c #Conflicts: 1436000 | #Constraints: 58310
2383.36/2444.65 c #Conflicts: 1437000 | #Constraints: 59630
2383.36/2444.65 c #Conflicts: 1438000 | #Constraints: 61031
2383.36/2444.65 c #Conflicts: 1439000 | #Constraints: 62360
2383.36/2444.65 c #Conflicts: 1440000 | #Constraints: 63771
2383.36/2444.65 c #Conflicts: 1441000 | #Constraints: 64946
2383.36/2444.65 c #Conflicts: 1442000 | #Constraints: 66266
2383.36/2444.65 c #Conflicts: 1443000 | #Constraints: 67652
2383.36/2444.65 c INPROCESSING
2383.36/2444.65 c GARBAGE COLLECT
2383.36/2444.65 c #Conflicts: 1444000 | #Constraints: 35659
2383.36/2444.65 c #Conflicts: 1445000 | #Constraints: 36821
2383.36/2444.65 c #Conflicts: 1446000 | #Constraints: 38009
2383.36/2444.65 c #Conflicts: 1447000 | #Constraints: 39299
2383.36/2444.65 c #Conflicts: 1448000 | #Constraints: 40668
2383.36/2444.65 c #Conflicts: 1449000 | #Constraints: 42150
2383.36/2444.65 c #Conflicts: 1450000 | #Constraints: 43585
2383.36/2444.65 c #Conflicts: 1451000 | #Constraints: 44980
2383.36/2444.65 c #Conflicts: 1452000 | #Constraints: 46409
2383.36/2444.65 c #Conflicts: 1453000 | #Constraints: 47806
2383.36/2444.65 c #Conflicts: 1454000 | #Constraints: 49238
2383.36/2444.65 c #Conflicts: 1455000 | #Constraints: 50684
2383.36/2444.65 c #Conflicts: 1456000 | #Constraints: 52141
2383.36/2444.65 c #Conflicts: 1457000 | #Constraints: 53573
2383.36/2444.65 c #Conflicts: 1458000 | #Constraints: 55030
2383.36/2444.65 c #Conflicts: 1459000 | #Constraints: 56435
2383.36/2444.65 c #Conflicts: 1460000 | #Constraints: 57856
2383.36/2444.65 c #Conflicts: 1461000 | #Constraints: 59247
2383.36/2444.65 c #Conflicts: 1462000 | #Constraints: 60673
2383.36/2444.65 c #Conflicts: 1463000 | #Constraints: 62114
2383.36/2444.65 c #Conflicts: 1464000 | #Constraints: 63556
2383.36/2444.65 c #Conflicts: 1465000 | #Constraints: 64978
2383.36/2444.65 c #Conflicts: 1466000 | #Constraints: 66422
2383.36/2444.65 c #Conflicts: 1467000 | #Constraints: 67823
2383.36/2444.65 c INPROCESSING
2383.36/2444.65 c GARBAGE COLLECT
2383.36/2444.65 c #Conflicts: 1468000 | #Constraints: 35821
2383.36/2444.65 c #Conflicts: 1469000 | #Constraints: 37260
2383.36/2444.65 c #Conflicts: 1470000 | #Constraints: 38704
2383.36/2444.65 c #Conflicts: 1471000 | #Constraints: 40129
2383.36/2444.65 c #Conflicts: 1472000 | #Constraints: 41581
2383.36/2444.65 c #Conflicts: 1473000 | #Constraints: 43033
2383.36/2444.65 c #Conflicts: 1474000 | #Constraints: 44473
2383.36/2444.65 c #Conflicts: 1475000 | #Constraints: 45923
2383.36/2444.65 c #Conflicts: 1476000 | #Constraints: 47363
2383.36/2444.65 c #Conflicts: 1477000 | #Constraints: 48827
2383.36/2444.65 c #Conflicts: 1478000 | #Constraints: 50278
2613.90/2676.21 c #Conflicts: 1479000 | #Constraints: 51705
2613.90/2676.21 c #Conflicts: 1480000 | #Constraints: 53155
2613.90/2676.21 c #Conflicts: 1481000 | #Constraints: 54592
2613.90/2676.21 c #Conflicts: 1482000 | #Constraints: 56039
2613.90/2676.21 c #Conflicts: 1483000 | #Constraints: 57479
2613.90/2676.21 c #Conflicts: 1484000 | #Constraints: 58937
2613.90/2676.21 c #Conflicts: 1485000 | #Constraints: 60362
2613.90/2676.21 c #Conflicts: 1486000 | #Constraints: 61814
2613.90/2676.21 c #Conflicts: 1487000 | #Constraints: 63279
2613.90/2676.21 c #Conflicts: 1488000 | #Constraints: 64737
2613.90/2676.21 c #Conflicts: 1489000 | #Constraints: 66212
2613.90/2676.21 c #Conflicts: 1490000 | #Constraints: 67663
2613.90/2676.21 c #Conflicts: 1491000 | #Constraints: 69116
2613.90/2676.21 c INPROCESSING
2613.90/2676.21 c GARBAGE COLLECT
2613.90/2676.21 c #Conflicts: 1492000 | #Constraints: 36210
2613.90/2676.21 c #Conflicts: 1493000 | #Constraints: 37632
2613.90/2676.21 c #Conflicts: 1494000 | #Constraints: 39052
2613.90/2676.21 c #Conflicts: 1495000 | #Constraints: 40461
2613.90/2676.21 c #Conflicts: 1496000 | #Constraints: 41873
2613.90/2676.21 c #Conflicts: 1497000 | #Constraints: 43284
2613.90/2676.21 c #Conflicts: 1498000 | #Constraints: 44713
2613.90/2676.21 c #Conflicts: 1499000 | #Constraints: 46121
2613.90/2676.21 c #Conflicts: 1500000 | #Constraints: 47525
2613.90/2676.21 c #Conflicts: 1501000 | #Constraints: 48980
2613.90/2676.21 c #Conflicts: 1502000 | #Constraints: 50409
2613.90/2676.21 c #Conflicts: 1503000 | #Constraints: 51819
2613.90/2676.21 c #Conflicts: 1504000 | #Constraints: 53266
2613.90/2676.21 c #Conflicts: 1505000 | #Constraints: 54705
2613.90/2676.21 c #Conflicts: 1506000 | #Constraints: 56109
2613.90/2676.21 c #Conflicts: 1507000 | #Constraints: 57509
2613.90/2676.21 c #Conflicts: 1508000 | #Constraints: 58935
2613.90/2676.21 c #Conflicts: 1509000 | #Constraints: 60381
2613.90/2676.21 c #Conflicts: 1510000 | #Constraints: 61772
2613.90/2676.21 c #Conflicts: 1511000 | #Constraints: 63191
2613.90/2676.21 c #Conflicts: 1512000 | #Constraints: 64624
2613.90/2676.21 c #Conflicts: 1513000 | #Constraints: 66040
2613.90/2676.21 c #Conflicts: 1514000 | #Constraints: 67432
2613.90/2676.21 c #Conflicts: 1515000 | #Constraints: 68865
2613.90/2676.21 c #Conflicts: 1516000 | #Constraints: 70265
2613.90/2676.21 c INPROCESSING
2613.90/2676.21 c GARBAGE COLLECT
2613.90/2676.21 c #Conflicts: 1517000 | #Constraints: 37055
2613.90/2676.21 c #Conflicts: 1518000 | #Constraints: 38504
2613.90/2676.21 c #Conflicts: 1519000 | #Constraints: 39958
2613.90/2676.21 c #Conflicts: 1520000 | #Constraints: 41410
2613.90/2676.21 c #Conflicts: 1521000 | #Constraints: 42850
2613.90/2676.21 c #Conflicts: 1522000 | #Constraints: 44270
2613.90/2676.21 c #Conflicts: 1523000 | #Constraints: 45702
2613.90/2676.21 c #Conflicts: 1524000 | #Constraints: 47162
2613.90/2676.21 c #Conflicts: 1525000 | #Constraints: 48610
2613.90/2676.21 c #Conflicts: 1526000 | #Constraints: 50040
2613.90/2676.21 c #Conflicts: 1527000 | #Constraints: 51482
2613.90/2676.21 c #Conflicts: 1528000 | #Constraints: 52930
2613.90/2676.21 c #Conflicts: 1529000 | #Constraints: 54383
2613.90/2676.21 c #Conflicts: 1530000 | #Constraints: 55836
2613.90/2676.21 c #Conflicts: 1531000 | #Constraints: 57295
2613.90/2676.21 c #Conflicts: 1532000 | #Constraints: 58744
2613.90/2676.21 c #Conflicts: 1533000 | #Constraints: 60185
2613.90/2676.21 c #Conflicts: 1534000 | #Constraints: 61644
2613.90/2676.21 c #Conflicts: 1535000 | #Constraints: 63082
2613.90/2676.21 c #Conflicts: 1536000 | #Constraints: 64527
2613.90/2676.21 c #Conflicts: 1537000 | #Constraints: 65993
2613.90/2676.21 c #Conflicts: 1538000 | #Constraints: 67439
2613.90/2676.21 c #Conflicts: 1539000 | #Constraints: 68900
2613.90/2676.21 c #Conflicts: 1540000 | #Constraints: 70350
2613.90/2676.21 c #Conflicts: 1541000 | #Constraints: 71800
2613.90/2676.21 c INPROCESSING
2613.90/2676.21 c GARBAGE COLLECT
2613.90/2676.21 c #Conflicts: 1542000 | #Constraints: 37938
2613.90/2676.21 c #Conflicts: 1543000 | #Constraints: 39363
2613.90/2676.21 c #Conflicts: 1544000 | #Constraints: 40754
2613.90/2676.21 c #Conflicts: 1545000 | #Constraints: 42161
2613.90/2676.21 c #Conflicts: 1546000 | #Constraints: 43581
2613.90/2676.21 c #Conflicts: 1547000 | #Constraints: 45031
2613.90/2676.21 c #Conflicts: 1548000 | #Constraints: 46423
2613.90/2676.21 c #Conflicts: 1549000 | #Constraints: 47837
2613.90/2676.21 c #Conflicts: 1550000 | #Constraints: 49202
2613.90/2676.21 c #Conflicts: 1551000 | #Constraints: 50588
2613.90/2676.21 c #Conflicts: 1552000 | #Constraints: 52052
2613.90/2676.21 c #Conflicts: 1553000 | #Constraints: 53503
2613.90/2676.21 c #Conflicts: 1554000 | #Constraints: 54916
2847.92/2914.32 c #Conflicts: 1555000 | #Constraints: 56317
2847.92/2914.32 c #Conflicts: 1556000 | #Constraints: 57739
2847.92/2914.32 c #Conflicts: 1557000 | #Constraints: 59173
2847.92/2914.32 c #Conflicts: 1558000 | #Constraints: 60600
2847.92/2914.32 c #Conflicts: 1559000 | #Constraints: 62064
2847.92/2914.32 c #Conflicts: 1560000 | #Constraints: 63532
2847.92/2914.32 c #Conflicts: 1561000 | #Constraints: 65040
2847.92/2914.32 c #Conflicts: 1562000 | #Constraints: 66514
2847.92/2914.32 c #Conflicts: 1563000 | #Constraints: 67992
2847.92/2914.32 c #Conflicts: 1564000 | #Constraints: 69440
2847.92/2914.32 c #Conflicts: 1565000 | #Constraints: 70965
2847.92/2914.32 c #Conflicts: 1566000 | #Constraints: 72399
2847.92/2914.32 c INPROCESSING
2847.92/2914.32 c GARBAGE COLLECT
2847.92/2914.32 c #Conflicts: 1567000 | #Constraints: 38286
2847.92/2914.32 c #Conflicts: 1568000 | #Constraints: 39742
2847.92/2914.32 c #Conflicts: 1569000 | #Constraints: 41208
2847.92/2914.32 c #Conflicts: 1570000 | #Constraints: 42657
2847.92/2914.32 c #Conflicts: 1571000 | #Constraints: 44106
2847.92/2914.32 c #Conflicts: 1572000 | #Constraints: 45580
2847.92/2914.32 c #Conflicts: 1573000 | #Constraints: 47035
2847.92/2914.32 c #Conflicts: 1574000 | #Constraints: 48495
2847.92/2914.32 c #Conflicts: 1575000 | #Constraints: 49932
2847.92/2914.32 c #Conflicts: 1576000 | #Constraints: 51383
2847.92/2914.32 c #Conflicts: 1577000 | #Constraints: 52837
2847.92/2914.32 c #Conflicts: 1578000 | #Constraints: 54293
2847.92/2914.32 c #Conflicts: 1579000 | #Constraints: 55745
2847.92/2914.32 c #Conflicts: 1580000 | #Constraints: 57204
2847.92/2914.32 c #Conflicts: 1581000 | #Constraints: 58681
2847.92/2914.32 c #Conflicts: 1582000 | #Constraints: 60130
2847.92/2914.32 c #Conflicts: 1583000 | #Constraints: 61571
2847.92/2914.32 c #Conflicts: 1584000 | #Constraints: 63010
2847.92/2914.32 c #Conflicts: 1585000 | #Constraints: 64459
2847.92/2914.32 c #Conflicts: 1586000 | #Constraints: 65889
2847.92/2914.32 c #Conflicts: 1587000 | #Constraints: 67336
2847.92/2914.32 c #Conflicts: 1588000 | #Constraints: 68763
2847.92/2914.32 c #Conflicts: 1589000 | #Constraints: 70214
2847.92/2914.32 c #Conflicts: 1590000 | #Constraints: 71670
2847.92/2914.32 c #Conflicts: 1591000 | #Constraints: 73102
2847.92/2914.32 c INPROCESSING
2847.92/2914.32 c GARBAGE COLLECT
2847.92/2914.32 c #Conflicts: 1592000 | #Constraints: 38487
2847.92/2914.32 c #Conflicts: 1593000 | #Constraints: 39912
2847.92/2914.32 c #Conflicts: 1594000 | #Constraints: 41343
2847.92/2914.32 c #Conflicts: 1595000 | #Constraints: 42832
2847.92/2914.32 c #Conflicts: 1596000 | #Constraints: 44310
2847.92/2914.32 c #Conflicts: 1597000 | #Constraints: 45752
2847.92/2914.32 c #Conflicts: 1598000 | #Constraints: 47203
2847.92/2914.32 c #Conflicts: 1599000 | #Constraints: 48683
2847.92/2914.32 c #Conflicts: 1600000 | #Constraints: 50156
2847.92/2914.32 c #Conflicts: 1601000 | #Constraints: 51610
2847.92/2914.32 c #Conflicts: 1602000 | #Constraints: 53106
2847.92/2914.32 c #Conflicts: 1603000 | #Constraints: 54605
2847.92/2914.32 c #Conflicts: 1604000 | #Constraints: 56107
2847.92/2914.32 c #Conflicts: 1605000 | #Constraints: 57621
2847.92/2914.32 c #Conflicts: 1606000 | #Constraints: 59150
2847.92/2914.32 c #Conflicts: 1607000 | #Constraints: 60655
2847.92/2914.32 c #Conflicts: 1608000 | #Constraints: 62141
2847.92/2914.32 c #Conflicts: 1609000 | #Constraints: 63649
2847.92/2914.32 c #Conflicts: 1610000 | #Constraints: 65093
2847.92/2914.32 c #Conflicts: 1611000 | #Constraints: 66592
2847.92/2914.32 c #Conflicts: 1612000 | #Constraints: 68080
2847.92/2914.32 c #Conflicts: 1613000 | #Constraints: 69628
2847.92/2914.32 c #Conflicts: 1614000 | #Constraints: 71149
2847.92/2914.32 c #Conflicts: 1615000 | #Constraints: 72606
2847.92/2914.32 c #Conflicts: 1616000 | #Constraints: 74102
2847.92/2914.32 c INPROCESSING
2847.92/2914.32 c GARBAGE COLLECT
2847.92/2914.32 c #Conflicts: 1617000 | #Constraints: 38698
2847.92/2914.32 c #Conflicts: 1618000 | #Constraints: 40144
2847.92/2914.32 c #Conflicts: 1619000 | #Constraints: 41590
2847.92/2914.32 c #Conflicts: 1620000 | #Constraints: 43036
2847.92/2914.32 c #Conflicts: 1621000 | #Constraints: 44478
2847.92/2914.32 c #Conflicts: 1622000 | #Constraints: 45938
2847.92/2914.32 c #Conflicts: 1623000 | #Constraints: 47381
2847.92/2914.32 c #Conflicts: 1624000 | #Constraints: 48819
2847.92/2914.32 c #Conflicts: 1625000 | #Constraints: 50289
2847.92/2914.32 c #Conflicts: 1626000 | #Constraints: 51736
2847.92/2914.32 c #Conflicts: 1627000 | #Constraints: 53194
2847.92/2914.32 c #Conflicts: 1628000 | #Constraints: 54617
2847.92/2914.32 c #Conflicts: 1629000 | #Constraints: 56043
2847.92/2914.32 c #Conflicts: 1630000 | #Constraints: 57491
2847.92/2914.32 c #Conflicts: 1631000 | #Constraints: 58929
3098.27/3165.74 c #Conflicts: 1632000 | #Constraints: 60372
3098.27/3165.74 c #Conflicts: 1633000 | #Constraints: 61819
3098.27/3165.74 c #Conflicts: 1634000 | #Constraints: 63265
3098.27/3165.74 c #Conflicts: 1635000 | #Constraints: 64714
3098.27/3165.74 c #Conflicts: 1636000 | #Constraints: 66124
3098.27/3165.74 c #Conflicts: 1637000 | #Constraints: 67560
3098.27/3165.74 c #Conflicts: 1638000 | #Constraints: 68991
3098.27/3165.74 c #Conflicts: 1639000 | #Constraints: 70422
3098.27/3165.74 c #Conflicts: 1640000 | #Constraints: 71873
3098.27/3165.74 c #Conflicts: 1641000 | #Constraints: 73310
3098.27/3165.74 c #Conflicts: 1642000 | #Constraints: 74746
3098.27/3165.74 c INPROCESSING
3098.27/3165.74 c GARBAGE COLLECT
3098.27/3165.74 c #Conflicts: 1643000 | #Constraints: 39307
3098.27/3165.74 c #Conflicts: 1644000 | #Constraints: 40690
3098.27/3165.74 c #Conflicts: 1645000 | #Constraints: 42114
3098.27/3165.74 c #Conflicts: 1646000 | #Constraints: 43523
3098.27/3165.74 c #Conflicts: 1647000 | #Constraints: 44944
3098.27/3165.74 c #Conflicts: 1648000 | #Constraints: 46382
3098.27/3165.74 c #Conflicts: 1649000 | #Constraints: 47832
3098.27/3165.74 c #Conflicts: 1650000 | #Constraints: 49281
3098.27/3165.74 c #Conflicts: 1651000 | #Constraints: 50754
3098.27/3165.74 c #Conflicts: 1652000 | #Constraints: 52193
3098.27/3165.74 c #Conflicts: 1653000 | #Constraints: 53626
3098.27/3165.74 c #Conflicts: 1654000 | #Constraints: 55070
3098.27/3165.74 c #Conflicts: 1655000 | #Constraints: 56546
3098.27/3165.74 c #Conflicts: 1656000 | #Constraints: 58006
3098.27/3165.74 c #Conflicts: 1657000 | #Constraints: 59442
3098.27/3165.74 c #Conflicts: 1658000 | #Constraints: 60862
3098.27/3165.74 c #Conflicts: 1659000 | #Constraints: 62283
3098.27/3165.74 c #Conflicts: 1660000 | #Constraints: 63730
3098.27/3165.74 c #Conflicts: 1661000 | #Constraints: 65164
3098.27/3165.74 c #Conflicts: 1662000 | #Constraints: 66609
3098.27/3165.74 c #Conflicts: 1663000 | #Constraints: 68082
3098.27/3165.74 c #Conflicts: 1664000 | #Constraints: 69539
3098.27/3165.74 c #Conflicts: 1665000 | #Constraints: 70958
3098.27/3165.74 c #Conflicts: 1666000 | #Constraints: 72429
3098.27/3165.74 c #Conflicts: 1667000 | #Constraints: 73845
3098.27/3165.74 c #Conflicts: 1668000 | #Constraints: 75306
3098.27/3165.74 c INPROCESSING
3098.27/3165.74 c GARBAGE COLLECT
3098.27/3165.74 c #Conflicts: 1669000 | #Constraints: 39757
3098.27/3165.74 c #Conflicts: 1670000 | #Constraints: 41217
3098.27/3165.74 c #Conflicts: 1671000 | #Constraints: 42677
3098.27/3165.74 c #Conflicts: 1672000 | #Constraints: 44145
3098.27/3165.74 c #Conflicts: 1673000 | #Constraints: 45600
3098.27/3165.74 c #Conflicts: 1674000 | #Constraints: 47042
3098.27/3165.74 c #Conflicts: 1675000 | #Constraints: 48500
3098.27/3165.74 c #Conflicts: 1676000 | #Constraints: 49939
3098.27/3165.74 c #Conflicts: 1677000 | #Constraints: 51423
3098.27/3165.74 c #Conflicts: 1678000 | #Constraints: 52890
3098.27/3165.74 c #Conflicts: 1679000 | #Constraints: 54348
3098.27/3165.74 c #Conflicts: 1680000 | #Constraints: 55795
3098.27/3165.74 c #Conflicts: 1681000 | #Constraints: 57263
3098.27/3165.74 c #Conflicts: 1682000 | #Constraints: 58718
3098.27/3165.74 c #Conflicts: 1683000 | #Constraints: 60164
3098.27/3165.74 c #Conflicts: 1684000 | #Constraints: 61628
3098.27/3165.74 c #Conflicts: 1685000 | #Constraints: 63074
3098.27/3165.74 c #Conflicts: 1686000 | #Constraints: 64500
3098.27/3165.74 c #Conflicts: 1687000 | #Constraints: 65951
3098.27/3165.74 c #Conflicts: 1688000 | #Constraints: 67391
3098.27/3165.74 c #Conflicts: 1689000 | #Constraints: 68861
3098.27/3165.74 c #Conflicts: 1690000 | #Constraints: 70322
3098.27/3165.74 c #Conflicts: 1691000 | #Constraints: 71759
3098.27/3165.74 c #Conflicts: 1692000 | #Constraints: 73227
3098.27/3165.74 c #Conflicts: 1693000 | #Constraints: 74688
3098.27/3165.74 c #Conflicts: 1694000 | #Constraints: 76138
3098.27/3165.74 c INPROCESSING
3098.27/3165.74 c GARBAGE COLLECT
3098.27/3165.74 c #Conflicts: 1695000 | #Constraints: 40171
3098.27/3165.74 c #Conflicts: 1696000 | #Constraints: 41544
3098.27/3165.74 c #Conflicts: 1697000 | #Constraints: 42956
3098.27/3165.74 c #Conflicts: 1698000 | #Constraints: 44407
3098.27/3165.74 c #Conflicts: 1699000 | #Constraints: 45835
3098.27/3165.74 c #Conflicts: 1700000 | #Constraints: 47242
3098.27/3165.74 c #Conflicts: 1701000 | #Constraints: 48620
3098.27/3165.74 c #Conflicts: 1702000 | #Constraints: 50065
3098.27/3165.74 c #Conflicts: 1703000 | #Constraints: 51504
3098.27/3165.74 c #Conflicts: 1704000 | #Constraints: 52956
3098.27/3165.74 c #Conflicts: 1705000 | #Constraints: 54332
3098.27/3165.74 c #Conflicts: 1706000 | #Constraints: 55743
3098.27/3165.74 c #Conflicts: 1707000 | #Constraints: 57169
3098.27/3165.74 c #Conflicts: 1708000 | #Constraints: 58589
3341.16/3409.79 c #Conflicts: 1709000 | #Constraints: 60022
3341.16/3409.79 c #Conflicts: 1710000 | #Constraints: 61466
3341.16/3409.79 c #Conflicts: 1711000 | #Constraints: 62901
3341.16/3409.79 c #Conflicts: 1712000 | #Constraints: 64317
3341.16/3409.79 c #Conflicts: 1713000 | #Constraints: 65779
3341.16/3409.79 c #Conflicts: 1714000 | #Constraints: 67233
3341.16/3409.79 c #Conflicts: 1715000 | #Constraints: 68661
3341.16/3409.79 c #Conflicts: 1716000 | #Constraints: 70108
3341.16/3409.79 c #Conflicts: 1717000 | #Constraints: 71553
3341.16/3409.79 c #Conflicts: 1718000 | #Constraints: 73009
3341.16/3409.79 c #Conflicts: 1719000 | #Constraints: 74447
3341.16/3409.79 c #Conflicts: 1720000 | #Constraints: 75881
3341.16/3409.79 c INPROCESSING
3341.16/3409.79 c GARBAGE COLLECT
3341.16/3409.79 c #Conflicts: 1721000 | #Constraints: 39849
3341.16/3409.79 c #Conflicts: 1722000 | #Constraints: 41299
3341.16/3409.79 c #Conflicts: 1723000 | #Constraints: 42738
3341.16/3409.79 c #Conflicts: 1724000 | #Constraints: 44165
3341.16/3409.79 c #Conflicts: 1725000 | #Constraints: 45596
3341.16/3409.79 c #Conflicts: 1726000 | #Constraints: 47027
3341.16/3409.79 c #Conflicts: 1727000 | #Constraints: 48440
3341.16/3409.79 c #Conflicts: 1728000 | #Constraints: 49873
3341.16/3409.79 c #Conflicts: 1729000 | #Constraints: 51319
3341.16/3409.79 c #Conflicts: 1730000 | #Constraints: 52757
3341.16/3409.79 c #Conflicts: 1731000 | #Constraints: 54218
3341.16/3409.79 c #Conflicts: 1732000 | #Constraints: 55683
3341.16/3409.79 c #Conflicts: 1733000 | #Constraints: 57138
3341.16/3409.79 c #Conflicts: 1734000 | #Constraints: 58590
3341.16/3409.79 c #Conflicts: 1735000 | #Constraints: 60044
3341.16/3409.79 c #Conflicts: 1736000 | #Constraints: 61507
3341.16/3409.79 c #Conflicts: 1737000 | #Constraints: 62966
3341.16/3409.79 c #Conflicts: 1738000 | #Constraints: 64413
3341.16/3409.79 c #Conflicts: 1739000 | #Constraints: 65860
3341.16/3409.79 c #Conflicts: 1740000 | #Constraints: 67322
3341.16/3409.79 c #Conflicts: 1741000 | #Constraints: 68764
3341.16/3409.79 c #Conflicts: 1742000 | #Constraints: 70199
3341.16/3409.79 c #Conflicts: 1743000 | #Constraints: 71661
3341.16/3409.79 c #Conflicts: 1744000 | #Constraints: 73092
3341.16/3409.79 c #Conflicts: 1745000 | #Constraints: 74522
3341.16/3409.79 c #Conflicts: 1746000 | #Constraints: 75954
3341.16/3409.79 c INPROCESSING
3341.16/3409.79 c GARBAGE COLLECT
3341.16/3409.79 c #Conflicts: 1747000 | #Constraints: 39650
3341.16/3409.79 c #Conflicts: 1748000 | #Constraints: 41078
3341.16/3409.79 c #Conflicts: 1749000 | #Constraints: 42479
3341.16/3409.79 c #Conflicts: 1750000 | #Constraints: 43868
3341.16/3409.79 c #Conflicts: 1751000 | #Constraints: 45307
3341.16/3409.79 c #Conflicts: 1752000 | #Constraints: 46699
3341.16/3409.79 c #Conflicts: 1753000 | #Constraints: 48127
3341.16/3409.79 c #Conflicts: 1754000 | #Constraints: 49586
3341.16/3409.79 c #Conflicts: 1755000 | #Constraints: 51081
3341.16/3409.79 c #Conflicts: 1756000 | #Constraints: 52562
3341.16/3409.79 c #Conflicts: 1757000 | #Constraints: 53966
3341.16/3409.79 c #Conflicts: 1758000 | #Constraints: 55411
3341.16/3409.79 c #Conflicts: 1759000 | #Constraints: 56861
3341.16/3409.79 c #Conflicts: 1760000 | #Constraints: 58298
3341.16/3409.79 c #Conflicts: 1761000 | #Constraints: 59764
3341.16/3409.79 c #Conflicts: 1762000 | #Constraints: 61252
3341.16/3409.79 c #Conflicts: 1763000 | #Constraints: 62695
3341.16/3409.79 c #Conflicts: 1764000 | #Constraints: 64141
3341.16/3409.79 c #Conflicts: 1765000 | #Constraints: 65583
3341.16/3409.79 c #Conflicts: 1766000 | #Constraints: 67035
3341.16/3409.79 c #Conflicts: 1767000 | #Constraints: 68512
3341.16/3409.79 c #Conflicts: 1768000 | #Constraints: 69972
3341.16/3409.79 c #Conflicts: 1769000 | #Constraints: 71439
3341.16/3409.79 c #Conflicts: 1770000 | #Constraints: 72904
3341.16/3409.79 c #Conflicts: 1771000 | #Constraints: 74371
3341.16/3409.79 c #Conflicts: 1772000 | #Constraints: 75841
3341.16/3409.79 c #Conflicts: 1773000 | #Constraints: 77297
3341.16/3409.79 c INPROCESSING
3341.16/3409.79 c GARBAGE COLLECT
3341.16/3409.79 c #Conflicts: 1774000 | #Constraints: 40568
3341.16/3409.79 c #Conflicts: 1775000 | #Constraints: 42001
3341.16/3409.79 c #Conflicts: 1776000 | #Constraints: 43463
3341.16/3409.79 c #Conflicts: 1777000 | #Constraints: 44882
3341.16/3409.79 c #Conflicts: 1778000 | #Constraints: 46332
3341.16/3409.79 c #Conflicts: 1779000 | #Constraints: 47798
3341.16/3409.79 c #Conflicts: 1780000 | #Constraints: 49246
3341.16/3409.79 c #Conflicts: 1781000 | #Constraints: 50673
3341.16/3409.79 c #Conflicts: 1782000 | #Constraints: 51999
3341.16/3409.79 c #Conflicts: 1783000 | #Constraints: 53307
3341.16/3409.79 c #Conflicts: 1784000 | #Constraints: 54573
3341.16/3409.79 c #Conflicts: 1785000 | #Constraints: 55693
3386.69/3455.42 c #Conflicts: 1786000 | #Constraints: 57057
3386.69/3455.42 c #Conflicts: 1787000 | #Constraints: 58345
3386.69/3455.42 c #Conflicts: 1788000 | #Constraints: 59782
3386.69/3455.42 c #Conflicts: 1789000 | #Constraints: 61132
3386.69/3455.42 c #Conflicts: 1790000 | #Constraints: 62402
3386.69/3455.42 c #Conflicts: 1791000 | #Constraints: 63747
3386.69/3455.42 c #Conflicts: 1792000 | #Constraints: 65041
3386.69/3455.42 c #Conflicts: 1793000 | #Constraints: 66266
3386.69/3455.42 c #Conflicts: 1794000 | #Constraints: 67486
3386.69/3455.42 c #Conflicts: 1795000 | #Constraints: 68819
3386.69/3455.42 c #Conflicts: 1796000 | #Constraints: 70030
3386.69/3455.42 c #Conflicts: 1797000 | #Constraints: 71371
3386.69/3455.42 c bounds -79 >= -80 @ 3357.28
3481.10/3550.28 c #Conflicts: 1798000 | #Constraints: 72651
3481.10/3550.28 c #Conflicts: 1799000 | #Constraints: 74096
3481.10/3550.28 c #Conflicts: 1800000 | #Constraints: 75462
3481.10/3550.28 c INPROCESSING
3481.10/3550.28 c GARBAGE COLLECT
3481.10/3550.28 c #Conflicts: 1801000 | #Constraints: 39623
3481.10/3550.28 c #Conflicts: 1802000 | #Constraints: 40991
3481.10/3550.28 c #Conflicts: 1803000 | #Constraints: 42414
3481.10/3550.28 c #Conflicts: 1804000 | #Constraints: 43903
3481.10/3550.28 c #Conflicts: 1805000 | #Constraints: 45358
3481.10/3550.28 c #Conflicts: 1806000 | #Constraints: 46816
3481.10/3550.28 c #Conflicts: 1807000 | #Constraints: 48225
3481.10/3550.28 c #Conflicts: 1808000 | #Constraints: 49479
3481.10/3550.28 c #Conflicts: 1809000 | #Constraints: 50743
3481.10/3550.28 c #Conflicts: 1810000 | #Constraints: 52176
3481.10/3550.28 c #Conflicts: 1811000 | #Constraints: 53393
3481.10/3550.28 c #Conflicts: 1812000 | #Constraints: 54838
3481.10/3550.28 c #Conflicts: 1813000 | #Constraints: 56285
3481.10/3550.28 c #Conflicts: 1814000 | #Constraints: 57703
3481.10/3550.28 c #Conflicts: 1815000 | #Constraints: 59107
3481.10/3550.28 c #Conflicts: 1816000 | #Constraints: 60561
3481.10/3550.28 c #Conflicts: 1817000 | #Constraints: 62036
3481.10/3550.28 c #Conflicts: 1818000 | #Constraints: 63467
3481.10/3550.28 c #Conflicts: 1819000 | #Constraints: 64880
3481.10/3550.28 c #Conflicts: 1820000 | #Constraints: 66353
3481.10/3550.28 c #Conflicts: 1821000 | #Constraints: 67691
3481.10/3550.28 c #Conflicts: 1822000 | #Constraints: 69049
3481.10/3550.28 c #Conflicts: 1823000 | #Constraints: 70404
3481.10/3550.28 c #Conflicts: 1824000 | #Constraints: 71880
3481.10/3550.28 c #Conflicts: 1825000 | #Constraints: 73327
3481.10/3550.28 c #Conflicts: 1826000 | #Constraints: 74778
3481.10/3550.28 c #Conflicts: 1827000 | #Constraints: 76238
3481.10/3550.28 c INPROCESSING
3481.10/3550.28 c GARBAGE COLLECT
3481.10/3550.28 c bounds -80 >= -80 @ 3451.26
3481.10/3550.28 c cpu time 3451.26 s
3481.10/3550.28 c deterministic time 262087879458 2.62e+11
3481.10/3550.28 c optimization time 0.021528 s
3481.10/3550.28 c total solve time 3451.23 s
3481.10/3550.28 c core-guided solve time 1845.92 s
3481.10/3550.28 c propagation time 2463.37 s
3481.10/3550.28 c conflict analysis time 953.274 s
3481.10/3550.28 c propagations 206574613
3481.10/3550.28 c resolve steps 26358898
3481.10/3550.28 c decisions 3411096
3481.10/3550.28 c conflicts 1827290
3481.10/3550.28 c restarts 3577
3481.10/3550.28 c inprocessing phases 126
3481.10/3550.28 c garbage collections 126 ,( 100.00 )
3481.10/3550.28 c input clauses 524 ,( 32.47 )
3481.10/3550.28 c input cardinalities 433 ,( 26.83 )
3481.10/3550.28 c input general constraints 657 ,( 40.71 )
3481.10/3550.28 c input average constraint length 42.47
3481.10/3550.28 c input average constraint degree 12.07
3481.10/3550.28 c learned clauses 1080791 ,( 45.45 )
3481.10/3550.28 c learned cardinalities 558 ,( 0.02 )
3481.10/3550.28 c learned general constraints 1296811 ,( 54.53 )
3481.10/3550.28 c learned average constraint length 159.09
3481.10/3550.28 c learned average constraint degree 3519928922.67
3481.10/3550.28 c watched CF 32, 64, 128, Arb: 324880 , 0 , 0 , 0
3481.10/3550.28 c counting CF 32, 64, 128, Arb: 972589 , 0 , 0 , 0
3481.10/3550.28 c watched constraints 324880 ,( 25.04 )
3481.10/3550.28 c counting constraints 972588 ,( 74.96 )
3481.10/3550.28 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 795353652 , 101843830 , 9475866978 ,( 378284977 , 9097582001 )
3481.10/3550.28 c gcd simplifications 82813
3481.10/3550.28 c detected cardinalities 263
3481.10/3550.28 c weakened non-implied lits 147318588
3481.10/3550.28 c weakened non-implying lits 82389
3481.10/3550.28 c original variables 441
3481.10/3550.28 c clausal propagations 42494694
3481.10/3550.28 c cardinality propagations 12579461
3481.10/3550.28 c watched propagations 884177
3481.10/3550.28 c counting propagations 143456012
3481.10/3550.28 c watch lookups 239575269811
3481.10/3550.28 c watch backjump lookups 0
3481.10/3550.28 c watch checks 6420361951
3481.10/3550.28 c propagation checks 14837537943
3481.10/3550.28 c constraint additions 831084832
3481.10/3550.28 c trail pops 211801649
3481.10/3550.28 c formula constraints 576
3481.10/3550.28 c learned constraints 1816086
3481.10/3550.28 c bound constraints 178
3481.10/3550.28 c core-guided constraints 860
3481.10/3550.28 c encountered formula constraints 8174027
3481.10/3550.28 c encountered learned constraints 14778401
3481.10/3550.28 c encountered bound constraints 483
3481.10/3550.28 c encountered core-guided constraints 4179472
3481.10/3550.28 c LP total time 303.13 s
3481.10/3550.28 c LP solve time 131.76 s
3481.10/3550.28 c LP constraints added 1528
3481.10/3550.28 c LP constraints removed 927
3481.10/3550.28 c LP pivots internal 1827213
3481.10/3550.28 c LP pivots root 10349
3481.10/3550.28 c LP calls 601719
3481.10/3550.28 c LP optimalities 51230
3481.10/3550.28 c LP no pivot count 18177
3481.10/3550.28 c LP infeasibilities 550487
3481.10/3550.28 c LP valid Farkas constraints 550487
3481.10/3550.28 c LP learned Farkas constraints 11253
3481.10/3550.28 c LP basis resets 1
3481.10/3550.28 c LP cycling count 0
3481.10/3550.28 c LP singular count 1
3481.10/3550.28 c LP no primal count 0
3481.10/3550.28 c LP no farkas count 0
3481.10/3550.28 c LP other issue count 0
3481.10/3550.28 c LP Gomory cuts 334
3481.10/3550.28 c LP learned cuts 618
3481.10/3550.28 c LP deleted cuts 927
3481.10/3550.28 c LP encountered Gomory constraints 690466
3481.10/3550.28 c LP encountered Farkas constraints 300876
3481.10/3550.28 c LP encountered learned Farkas constraints 51210
3481.10/3550.28 c CG auxiliary variables introduced 330
3481.10/3550.28 c CG solutions found 23
3481.10/3550.28 c CG cores constructed 130
3481.10/3550.28 c CG core cardinality constraints returned 0
3481.10/3550.28 c CG unit cores 0
3481.10/3550.28 c CG single cores 130
3481.10/3550.28 c CG blocks removed during cardinality reduction 0
3481.10/3550.28 c CG first core best 0
3481.10/3550.28 c CG decision core best 0
3481.10/3550.28 c CG core reduction tie 0
3481.10/3550.28 c CG core degree average 1.00
3481.10/3550.28 c CG core slack average 4.58
3481.10/3550.28 c CG core upper bound improvements 36
3481.10/3550.28 c STR number of successful calls 0
3481.10/3550.28 c STR number of unsuccessful calls 0
3481.10/3550.28 c STR number of inconclusive calls 0
3481.10/3550.28 c STR number of successful attempts 0
3481.10/3550.28 c STR number of unsuccessful attempts 0
3481.10/3550.28 c STR number of inconclusive attempts 0
3481.10/3550.28 c STR average degree increase per successful call inf
3481.10/3550.28 c STR average degree increase per successful attempt inf
3481.10/3550.28 c STR total number of conflicts for successful attempts 0
3481.10/3550.28 c STR total number of conflicts for unsuccessful attempts 0
3481.10/3550.28 c STR total number of conflicts for inconclusive attempts 0
3481.10/3550.28 c STR average number of conflicts per successful attempt inf
3481.10/3550.28 c STR average number of conflicts per unsuccessful attempt inf
3481.10/3550.28 c STR average number of conflicts per inconclusive attempt inf
3481.10/3550.28 c AVG.sumWPerc 50.67
3481.10/3550.28 c bigint constraints 0
3481.10/3550.28 o -80
3481.10/3550.28 s OPTIMUM FOUND
3481.19/3550.30 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 (51043 MiB free)
memory of node 1: 64465 MiB (54885 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508785-1751498052/watcher-4508785-1751498052 -o /tmp/evaluation-result-4508785-1751498052/solver-4508785-1751498052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751490240-67631 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4508785-1751498052.opb PROOFDIR/proof-4508785-1751498052
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=69458, runsolver pid=69455
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.26 4.19 4.12 5/274 69461
/proc/meminfo: memFree=108467488/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=58156 memory=14820 CPUtime=0.07 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 1171 0 0 0 7 0 0 0 20 0 1 0 65483843 59551744 3705 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 14539 3705 2368 1147 0 1966 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62348 KiB
Current children cumulated memory: 17764 KiB
[startup+0.205832 s]*
/proc/loadavg: 4.26 4.19 4.12 5/274 69461
/proc/meminfo: memFree=108467488/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=59216 memory=15972 CPUtime=0.17 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 1433 0 0 0 16 1 0 0 20 0 1 0 65483843 60637184 3993 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 14804 3993 2368 1147 0 2231 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63408 KiB
Current children cumulated memory: 18916 KiB
[startup+0.305775 s]*
/proc/loadavg: 4.26 4.19 4.12 5/274 69461
/proc/meminfo: memFree=108467488/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=60424 memory=16996 CPUtime=0.28 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 1718 0 0 0 26 2 0 0 20 0 1 0 65483843 61874176 4249 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 15106 4249 2368 1147 0 2533 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 64616 KiB
Current children cumulated memory: 19940 KiB
[startup+0.7002 s]
/proc/loadavg: 4.26 4.19 4.12 5/274 69461
/proc/meminfo: memFree=108463476/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=61848 memory=18404 CPUtime=0.66 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 2059 0 0 0 62 4 0 0 20 0 1 0 65483843 63332352 4601 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 15462 4601 2368 1147 0 2889 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 66040 KiB
Current children cumulated memory: 21348 KiB
[startup+1.50013 s]
/proc/loadavg: 4.26 4.19 4.12 5/274 69461
/proc/meminfo: memFree=108455412/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=63952 memory=22484 CPUtime=1.46 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 2581 0 0 0 139 7 0 0 20 0 1 0 65483843 65486848 5621 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 15988 5621 2368 1147 0 3415 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 68144 KiB
Current children cumulated memory: 25428 KiB
[startup+3.10542 s]
/proc/loadavg: 4.32 4.20 4.12 5/274 69461
/proc/meminfo: memFree=108415636/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=68584 memory=26452 CPUtime=3.06 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 3571 0 0 0 294 12 0 0 20 0 1 0 65483843 70230016 6613 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 17146 6613 2368 1147 0 4573 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 72776 KiB
Current children cumulated memory: 29396 KiB
[startup+6.30019 s]
/proc/loadavg: 4.32 4.20 4.12 5/274 69461
/proc/meminfo: memFree=108339044/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=70588 memory=28500 CPUtime=6.25 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 4078 0 0 0 601 24 0 0 20 0 1 0 65483843 72282112 7125 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 17647 7125 2368 1147 0 5074 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 74780 KiB
Current children cumulated memory: 31444 KiB
[startup+12.7002 s]
/proc/loadavg: 4.30 4.20 4.12 5/274 69461
/proc/meminfo: memFree=108233564/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=73720 memory=31444 CPUtime=12.63 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 4802 0 0 0 1217 46 0 0 20 0 1 0 65483843 75489280 7861 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 18430 7861 2368 1147 0 5857 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 77912 KiB
Current children cumulated memory: 34388 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.19 4.12 5/274 69461
/proc/meminfo: memFree=108038632/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=79908 memory=36180 CPUtime=25.39 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 5987 0 0 0 2451 88 0 0 20 0 1 0 65483843 81825792 9045 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 19977 9045 2368 1147 0 7404 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 84100 KiB
Current children cumulated memory: 39124 KiB
[startup+51.1057 s]
/proc/loadavg: 4.22 4.19 4.12 5/274 69461
/proc/meminfo: memFree=107747628/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=102172 memory=55848 CPUtime=50.9 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 10426 0 0 0 4926 164 0 0 20 0 1 0 65483843 104624128 13962 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 25543 13962 2368 1147 0 12970 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 106364 KiB
Current children cumulated memory: 58792 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/273 69463
/proc/meminfo: memFree=106850420/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=123932 memory=71636 CPUtime=100.95 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 14272 0 0 0 9806 289 0 0 20 0 1 0 65483843 126906368 17909 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 30983 17909 2368 1147 0 18410 0
Current children cumulated CPU time: 100.95 s
Current children cumulated vsize: 128124 KiB
Current children cumulated memory: 74580 KiB
[startup+162.3 s]
/proc/loadavg: 4.33 4.24 4.15 5/274 69466
/proc/meminfo: memFree=104948160/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=131304 memory=78036 CPUtime=160.42 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 15859 0 0 0 15605 437 0 0 20 0 1 0 65483843 134455296 19509 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 32826 19509 2368 1147 0 20253 0
Current children cumulated CPU time: 160.42 s
Current children cumulated vsize: 135496 KiB
Current children cumulated memory: 80980 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 4.23 4.15 5/276 69472
/proc/meminfo: memFree=104086516/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=219120 memory=146972 CPUtime=219.87 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 29886 0 0 0 21448 539 0 0 20 0 1 0 65483843 224378880 36743 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 54780 36743 2368 1147 0 42207 0
################
# More data... #
################
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 66845 0 0 0 324524 2883 0 0 20 0 1 0 65483843 406970368 76806 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 99358 76806 2464 1147 0 86785 0
Current children cumulated CPU time: 3274.07 s
Current children cumulated vsize: 401624 KiB
Current children cumulated memory: 310168 KiB
[startup+3402.3 s]
/proc/loadavg: 2.03 3.26 3.77 2/253 69745
/proc/meminfo: memFree=107053948/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=400408 memory=313756 CPUtime=3333.84 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 67597 0 0 0 330465 2919 0 0 20 0 1 0 65483843 410017792 78439 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 100102 78439 2464 1147 0 87529 0
Current children cumulated CPU time: 3333.84 s
Current children cumulated vsize: 404600 KiB
Current children cumulated memory: 316700 KiB
[startup+3462.3 s]
/proc/loadavg: 1.44 2.86 3.60 2/253 69752
/proc/meminfo: memFree=107016284/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=400408 memory=315164 CPUtime=3393.57 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 67616 0 0 0 336411 2946 0 0 20 0 1 0 65483843 410017792 78791 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 100102 78791 2464 1147 0 87529 0
Current children cumulated CPU time: 3393.57 s
Current children cumulated vsize: 404600 KiB
Current children cumulated memory: 318108 KiB
[startup+3522.3 s]
/proc/loadavg: 1.21 2.53 3.44 2/251 69754
/proc/meminfo: memFree=106924504/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=400996 memory=331292 CPUtime=3453.3 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 67754 0 0 0 342349 2981 0 0 20 0 1 0 65483843 410619904 82823 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 100249 82823 2464 1147 0 87676 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 405188 KiB
Current children cumulated memory: 334236 KiB
[startup+3550.3 s]
# the end of solver process 69458 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3451.27 s, system=29.9421 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 1.25 2.50 3.42 2/251 69754
/proc/meminfo: memFree=106900088/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=400996 memory=335772 CPUtime=3463.77 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 67758 0 0 0 343391 2986 0 0 20 0 1 0 65483843 410619904 83943 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 100249 83943 2464 1147 0 87676 0
Current children cumulated CPU time: 3463.77 s
Current children cumulated vsize: 405188 KiB
Current children cumulated memory: 338716 KiB
[startup+3539.2 s]
/proc/loadavg: 1.21 2.45 3.39 2/251 69754
/proc/meminfo: memFree=106875640/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=400996 memory=340764 CPUtime=3470.15 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 67762 0 0 0 344027 2988 0 0 20 0 1 0 65483843 410619904 85191 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 100249 85191 2464 1147 0 87676 0
Current children cumulated CPU time: 3470.15 s
Current children cumulated vsize: 405188 KiB
Current children cumulated memory: 343708 KiB
[startup+3545.6 s]
/proc/loadavg: 1.19 2.42 3.38 2/251 69754
/proc/meminfo: memFree=106865848/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=400996 memory=347804 CPUtime=3476.53 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 67766 0 0 0 344662 2991 0 0 20 0 1 0 65483843 410619904 86951 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 100249 86951 2464 1147 0 87676 0
Current children cumulated CPU time: 3476.53 s
Current children cumulated vsize: 405188 KiB
Current children cumulated memory: 350748 KiB
[startup+3548.8 s]
/proc/loadavg: 1.19 2.42 3.38 2/251 69754
/proc/meminfo: memFree=106885476/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=400996 memory=347804 CPUtime=3479.7 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 67766 0 0 0 344978 2992 0 0 20 0 1 0 65483843 410619904 86951 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 100249 86951 2464 1147 0 87676 0
Current children cumulated CPU time: 3479.7 s
Current children cumulated vsize: 405188 KiB
Current children cumulated memory: 350748 KiB
[startup+3549.6 s]
/proc/loadavg: 1.18 2.40 3.36 2/251 69754
/proc/meminfo: memFree=106885228/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=400996 memory=347804 CPUtime=3480.49 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 67766 0 0 0 345057 2992 0 0 20 0 1 0 65483843 410619904 86951 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 100249 86951 2464 1147 0 87676 0
Current children cumulated CPU time: 3480.49 s
Current children cumulated vsize: 405188 KiB
Current children cumulated memory: 350748 KiB
[startup+3550 s]*
/proc/loadavg: 1.18 2.40 3.36 2/251 69754
/proc/meminfo: memFree=106885228/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=400996 memory=347804 CPUtime=3480.9 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 67768 0 0 0 345097 2993 0 0 20 0 1 0 65483843 410619904 86951 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 100249 86951 2464 1147 0 87676 0
Current children cumulated CPU time: 3480.9 s
Current children cumulated vsize: 405188 KiB
Current children cumulated memory: 350748 KiB
[startup+3550.2 s]
/proc/loadavg: 1.18 2.40 3.36 2/251 69754
/proc/meminfo: memFree=106885228/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=400996 memory=347804 CPUtime=3481.1 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 67768 0 0 0 345117 2993 0 0 20 0 1 0 65483843 410619904 86951 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 100249 86951 2464 1147 0 87676 0
Current children cumulated CPU time: 3481.1 s
Current children cumulated vsize: 405188 KiB
Current children cumulated memory: 350748 KiB
[startup+3550.3 s]
/proc/loadavg: 1.18 2.40 3.36 2/251 69754
/proc/meminfo: memFree=106885228/131250000 swapFree=33010684/33010684
[pid=69458] ppid=69455 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69458/stat : 69458 (run-opt-break-l) S 69455 69458 67620 0 -1 4194304 239 389 0 0 0 0 0 0 20 0 1 0 65483842 4292608 736 18446744073709551615 94260377251840 94260378146373 140720554551008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94260378385424 94260378433168 94260408291328 140720554559765 140720554559966 140720554559966 140720554565568 0
/proc/69458/statm: 1048 736 672 219 0 110 0
[pid=69461] ppid=69458 vsize=286428 memory=245844 CPUtime=3481.19 cores=0,2
/proc/69461/stat : 69461 (roundingsat) R 69458 69458 67620 0 -1 4194304 67768 0 0 0 345126 2993 0 0 20 0 1 0 65483843 293302272 61461 18446744073709551615 4227072 8923433 140732545290160 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25042944 140732545296660 140732545296936 140732545296936 140732545302506 0
/proc/69461/statm: 71607 61461 2464 1147 0 59034 0
Current children cumulated CPU time: 3481.19 s
Current children cumulated vsize: 290620 KiB
Current children cumulated memory: 248788 KiB
Child status: 0
Real time (s): 3550.3
CPU time (s): 3481.21
CPU user time (s): 3451.27
CPU system time (s): 29.9421
CPU usage (%): 98.0539
Max. virtual memory (cumulated for all children) (KiB): 405208
Max. memory (cumulated for all children) (KiB): 350748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3451.27
system time used= 29.9421
maximum resident set size= 347804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68421
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15889816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 560
involuntary context switches= 8829
# summary of solver processes directly reported to runsolver:
# pid: 69458
# total CPU time (s): 3481.21
# total CPU user time (s): 3451.27
# total CPU system time (s): 29.9421
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28416 second user time and 16.1346 second system time
The end
Begin job on nodeC026 at 2025-07-03 01:14:12
IDJOB=4508785
IDBENCH=158472
IDSOLVER=3360
FILE ID=nodeC026/4508785-1751498052
RUNJOBID= nodeC026-1751490240-67631
SLURM_JOB_ID= 9598553
Free space on /tmp= 430532 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4508785-1751498052/watcher-4508785-1751498052 -o /tmp/evaluation-result-4508785-1751498052/solver-4508785-1751498052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751490240-67631 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4508785-1751498052.opb PROOFDIR/proof-4508785-1751498052
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 609ffeb3252de5d8ecab6cf3f101c41d
RANDOM SEED=1021468628
nodeC026 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.664
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.778
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.59
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.600
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.779
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.59
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.789
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.59
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.381
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.59
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 : 3595.750
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.59
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 : 3700.000
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 108471836 kB
MemAvailable: 125802312 kB
Buffers: 3280 kB
Cached: 18072988 kB
SwapCached: 0 kB
Active: 4276244 kB
Inactive: 17751624 kB
Active(anon): 3969736 kB
Inactive(anon): 0 kB
Active(file): 306508 kB
Inactive(file): 17751624 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 166052 kB
Writeback: 0 kB
AnonPages: 3954536 kB
Mapped: 118064 kB
Shmem: 18080 kB
KReclaimable: 223164 kB
Slab: 320596 kB
SReclaimable: 223164 kB
SUnreclaim: 97432 kB
KernelStack: 4448 kB
PageTables: 11208 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5179568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 929792 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430576 MiB
End job on nodeC026 at 2025-07-03 02:13:23