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-4509244-1751516364.opb'
0.00/0.09 c read 7.36MB (87.11ms)
0.00/0.09 c [cnf: #variables 163584 #clauses 2813 #duplicates 0 #arr 653056]
0.00/0.09 c
0.00/0.09 c make graph and approximate orbits
0.29/0.34 c [group: #orbits ~= 1432] (246.51ms)
0.29/0.34 c
0.29/0.34 c detect special group actions
0.29/0.34 c probe for Johnson action (limit=64)
0.49/0.56 c probe for row-column symmetry (limit=64, splits=16.78M)
1.38/1.40 c probe for row symmetry (limit=64, splits=16.78M)
1.38/1.44 c recursing 10856 blocks of candidate 59x2556r
1.38/1.48 c recursing 18 blocks of candidate 3x256r
1.38/1.49 c recursing 1456 blocks of candidate 8x2556r
1.38/1.49 c recursing 12 blocks of candidate 3x256r
1.48/1.51 c recursing 3420 blocks of candidate 19x2556r
1.48/1.52 c recursing 8 blocks of candidate 4x256r
1.48/1.55 c recursing 7120 blocks of candidate 40x2556r
1.58/1.62 c found row 4x256, generating row predicate
1.58/1.68 c found row 5x256, generating row predicate
1.68/1.75 c found row 6x256, generating row predicate
1.78/1.86 c found row 8x256, generating row predicate
1.78/1.89 c found row 3x256, generating row predicate
1.98/2.00 c found row 9x256, generating row predicate
2.08/2.14 c found row 10x256, generating row predicate
2.17/2.23 c found row 7x256, generating row predicate
2.27/2.37 c found row 11x256, generating row predicate
2.47/2.53 c found row 12x256, generating row predicate
2.67/2.71 c found row 13x256, generating row predicate
2.87/2.90 c found row 14x256, generating row predicate
3.07/3.12 c found row 16x256, generating row predicate
3.28/3.37 c found row 18x256, generating row predicate
3.58/3.63 c found row 19x256, generating row predicate
3.77/3.84 c found row 15x256, generating row predicate
4.08/4.11 c found row 20x256, generating row predicate
4.37/4.40 c found row 21x256, generating row predicate
4.67/4.71 c found row 22x256, generating row predicate
5.08/5.12 c found row 29x256, generating row predicate
5.47/5.55 c found row 31x256, generating row predicate
6.07/6.14 c found row 41x256, generating row predicate
6.77/6.83 c found row 49x256, generating row predicate
7.56/7.63 c found row 55x256, generating row predicate
8.46/8.53 c found row 63x256, generating row predicate
9.46/9.54 c found row 71x256, generating row predicate
12.06/12.17 c found row 182x256, generating row predicate
12.46/12.59 c found row 40x2556, generating row predicate
12.56/12.66 c found row 4x256, generating row predicate
12.85/12.95 c found row 19x2556, generating row predicate
12.85/12.99 c found row 3x256, generating row predicate
12.96/13.00 c recursing 22 blocks of candidate 11x256r
12.96/13.03 c recursing 7040 blocks of candidate 40x2556r
12.96/13.10 c found row 4x256, generating row predicate
13.06/13.16 c found row 5x256, generating row predicate
13.15/13.23 c found row 6x256, generating row predicate
13.25/13.33 c found row 8x256, generating row predicate
13.25/13.37 c found row 3x256, generating row predicate
13.35/13.48 c found row 9x256, generating row predicate
13.55/13.61 c found row 10x256, generating row predicate
13.65/13.70 c found row 7x256, generating row predicate
13.75/13.85 c found row 11x256, generating row predicate
13.95/14.01 c found row 12x256, generating row predicate
14.05/14.18 c found row 13x256, generating row predicate
14.24/14.38 c found row 14x256, generating row predicate
14.54/14.61 c found row 16x256, generating row predicate
14.74/14.85 c found row 18x256, generating row predicate
15.05/15.11 c found row 19x256, generating row predicate
15.24/15.32 c found row 15x256, generating row predicate
15.44/15.59 c found row 20x256, generating row predicate
15.74/15.88 c found row 21x256, generating row predicate
16.04/16.19 c found row 22x256, generating row predicate
16.44/16.59 c found row 29x256, generating row predicate
16.94/17.03 c found row 31x256, generating row predicate
17.54/17.61 c found row 41x256, generating row predicate
18.24/18.30 c found row 49x256, generating row predicate
18.95/19.08 c found row 55x256, generating row predicate
19.84/19.98 c found row 63x256, generating row predicate
20.83/20.99 c found row 71x256, generating row predicate
23.53/23.62 c found row 182x256, generating row predicate
23.93/24.03 c found row 40x2556, generating row predicate
24.12/24.20 c found row 11x256, generating row predicate
24.22/24.36 c found row 8x2556, generating row predicate
24.32/24.40 c found row 3x256, generating row predicate
24.32/24.42 c recursing 30 blocks of candidate 15x256r
24.32/24.45 c recursing 6960 blocks of candidate 40x2556r
24.42/24.52 c found row 4x256, generating row predicate
24.42/24.58 c found row 5x256, generating row predicate
24.52/24.65 c found row 6x256, generating row predicate
24.62/24.75 c found row 8x256, generating row predicate
24.62/24.78 c found row 3x256, generating row predicate
24.82/24.90 c found row 9x256, generating row predicate
24.92/25.03 c found row 10x256, generating row predicate
25.03/25.12 c found row 7x256, generating row predicate
25.13/25.27 c found row 11x256, generating row predicate
25.33/25.43 c found row 12x256, generating row predicate
25.53/25.60 c found row 13x256, generating row predicate
25.63/25.79 c found row 14x256, generating row predicate
25.93/26.02 c found row 16x256, generating row predicate
26.12/26.26 c found row 18x256, generating row predicate
26.42/26.53 c found row 19x256, generating row predicate
26.72/26.80 c found row 20x256, generating row predicate
26.93/27.09 c found row 21x256, generating row predicate
27.32/27.40 c found row 22x256, generating row predicate
27.72/27.80 c found row 29x256, generating row predicate
28.12/28.24 c found row 31x256, generating row predicate
28.72/28.83 c found row 41x256, generating row predicate
29.41/29.53 c found row 49x256, generating row predicate
30.21/30.31 c found row 55x256, generating row predicate
31.11/31.20 c found row 63x256, generating row predicate
32.11/32.21 c found row 71x256, generating row predicate
34.70/34.84 c found row 182x256, generating row predicate
35.10/35.26 c found row 40x2556, generating row predicate
35.29/35.48 c found row 15x256, generating row predicate
35.90/36.04 c found row 59x2556, generating row predicate
35.90/36.07 c (35732.17ms)
35.90/36.07 c
35.90/36.07 c detect symmetries on remainder
35.90/36.08 c [graph: #vertices 982773 #edges 2938864]
35.90/36.08 c dejavu (support_limit=2048.00MB, budget_limit=64)
36.30/36.44 c [group: #symmetries 2.93*10^262 #generators 362] (367.29ms)
36.30/36.44 c
36.30/36.44 c optimize generators (opt_passes=64, conjugate_limit=256)
36.30/36.45 c ran it=0, +gens=0
37.40/37.52 c con best_support=512, best_gens=362, +gens=45
37.40/37.52 c (1078.02ms)
37.40/37.52 c
37.40/37.52 c finalize break order and special generators
37.40/37.53 c
37.40/37.53 c add generic predicates (break_depth=20)
37.40/37.54 c added predicates for 407 generators (7.18ms)
37.40/37.54 c
37.40/37.54 c generation finished
37.40/37.54 c [sbp: #constraints 3240474 #add_vars 1079223]
37.40/37.54 c
37.40/37.54 c write result to 'HOME/instance-4509244-1751516364.opb.pre'
37.69/37.83 c wrote 143.86MB (296.12ms)
37.69/37.87 c ------------------------------------------------------------------
37.69/37.87 c 35732.17ms 94.38% detect_special
37.69/37.87 c 1078.02ms 2.85% optimize_gens
37.69/37.87 c 367.29ms 0.97% detect_generic
37.69/37.87 c 296.12ms 0.78% output
37.69/37.87 c 246.51ms 0.65% approx_orbits
37.69/37.87 c 87.11ms 0.23% parse
37.69/37.87 c 34.99ms 0.09% other
37.69/37.87 c 9.53ms 0.03% finalize_order
37.69/37.87 c 7.18ms 0.02% break_generic
37.69/37.87 c ───────────────────────────────────────────────
37.69/37.87 c 37858.92ms 100% total
37.69/37.87 c ------------------------------------------------------------------
0.00/37.91 c RoundingSat 2
0.00/37.91 c branch pb25
0.00/37.91 c commit 63f22ad
46.56/46.77 c #variables 1242807 #constraints 3240110
46.56/46.77 c objective is ce32
46.56/46.78 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
46.56/46.78 c initial counting CF 32, 64, 128, Arb: 259 , 0 , 0 , 0
46.56/46.78 c bounds - >= 0 @ 6.66034
51.95/52.13 c #Conflicts: 1000 | #Constraints: 3241109
51.95/52.13 c #Conflicts: 2000 | #Constraints: 3242109
51.95/52.13 c INPROCESSING
51.95/52.13 c bounds - >= 115 @ 11.6496
180.40/180.96 c #Conflicts: 3000 | #Constraints: 3211824
180.40/180.96 c #Conflicts: 4000 | #Constraints: 3212824
180.40/180.96 c #Conflicts: 5000 | #Constraints: 3213824
180.40/180.96 c #Conflicts: 6000 | #Constraints: 3214824
180.40/180.96 c INPROCESSING
180.40/180.96 c #Conflicts: 7000 | #Constraints: 3197686
180.40/180.96 c #Conflicts: 8000 | #Constraints: 3198686
180.40/180.96 c #Conflicts: 9000 | #Constraints: 3199686
180.40/180.96 c #Conflicts: 10000 | #Constraints: 3200686
180.40/180.96 c #Conflicts: 11000 | #Constraints: 3201686
180.40/180.96 c #Conflicts: 12000 | #Constraints: 3202686
180.40/180.96 c INPROCESSING
180.40/180.96 c #Conflicts: 13000 | #Constraints: 3193077
180.40/180.96 c #Conflicts: 14000 | #Constraints: 3194077
180.40/180.96 c #Conflicts: 15000 | #Constraints: 3195077
180.40/180.96 c #Conflicts: 16000 | #Constraints: 3196077
180.40/180.96 c #Conflicts: 17000 | #Constraints: 3197077
180.40/180.96 c #Conflicts: 18000 | #Constraints: 3198077
180.40/180.96 c #Conflicts: 19000 | #Constraints: 3199077
180.40/180.96 c #Conflicts: 20000 | #Constraints: 3200077
180.40/180.96 c INPROCESSING
180.40/180.96 c #Conflicts: 21000 | #Constraints: 3191994
180.40/180.96 c #Conflicts: 22000 | #Constraints: 3192994
180.40/180.96 c #Conflicts: 23000 | #Constraints: 3193994
180.40/180.96 c #Conflicts: 24000 | #Constraints: 3194994
180.40/180.96 c #Conflicts: 25000 | #Constraints: 3195994
180.40/180.96 c #Conflicts: 26000 | #Constraints: 3196994
180.40/180.96 c #Conflicts: 27000 | #Constraints: 3197994
180.40/180.96 c #Conflicts: 28000 | #Constraints: 3198994
180.40/180.96 c #Conflicts: 29000 | #Constraints: 3199994
180.40/180.96 c #Conflicts: 30000 | #Constraints: 3200994
180.40/180.96 c INPROCESSING
180.40/180.96 c #Conflicts: 31000 | #Constraints: 3191771
180.40/180.96 c #Conflicts: 32000 | #Constraints: 3192771
180.40/180.96 c #Conflicts: 33000 | #Constraints: 3193771
180.40/180.96 c #Conflicts: 34000 | #Constraints: 3194771
180.40/180.96 c #Conflicts: 35000 | #Constraints: 3195771
180.40/180.96 c #Conflicts: 36000 | #Constraints: 3196771
180.40/180.96 c #Conflicts: 37000 | #Constraints: 3197771
180.40/180.96 c #Conflicts: 38000 | #Constraints: 3198771
180.40/180.96 c #Conflicts: 39000 | #Constraints: 3199771
180.40/180.96 c #Conflicts: 40000 | #Constraints: 3200771
180.40/180.96 c #Conflicts: 41000 | #Constraints: 3201771
180.40/180.96 c #Conflicts: 42000 | #Constraints: 3202771
180.40/180.96 c INPROCESSING
180.40/180.96 c #Conflicts: 43000 | #Constraints: 3193648
180.40/180.96 c #Conflicts: 44000 | #Constraints: 3194648
180.40/180.96 c #Conflicts: 45000 | #Constraints: 3195648
180.40/180.96 c #Conflicts: 46000 | #Constraints: 3196648
180.40/180.96 c #Conflicts: 47000 | #Constraints: 3197648
180.40/180.96 c #Conflicts: 48000 | #Constraints: 3198648
180.40/180.96 c #Conflicts: 49000 | #Constraints: 3199648
180.40/180.96 c #Conflicts: 50000 | #Constraints: 3200648
180.40/180.96 c #Conflicts: 51000 | #Constraints: 3201648
180.40/180.96 c #Conflicts: 52000 | #Constraints: 3202648
180.40/180.96 c #Conflicts: 53000 | #Constraints: 3203648
180.40/180.96 c #Conflicts: 54000 | #Constraints: 3204648
180.40/180.96 c #Conflicts: 55000 | #Constraints: 3205648
180.40/180.96 c #Conflicts: 56000 | #Constraints: 3206648
180.40/180.96 c INPROCESSING
180.40/180.96 c GARBAGE COLLECT
180.40/180.96 c #Conflicts: 57000 | #Constraints: 3197689
180.40/180.96 c #Conflicts: 58000 | #Constraints: 3198689
180.40/180.96 c #Conflicts: 59000 | #Constraints: 3199689
180.40/180.96 c #Conflicts: 60000 | #Constraints: 3200689
180.40/180.96 c #Conflicts: 61000 | #Constraints: 3201689
180.40/180.96 c #Conflicts: 62000 | #Constraints: 3202689
180.40/180.96 c #Conflicts: 63000 | #Constraints: 3203689
180.40/180.96 c #Conflicts: 64000 | #Constraints: 3204689
180.40/180.96 c #Conflicts: 65000 | #Constraints: 3205689
180.40/180.96 c #Conflicts: 66000 | #Constraints: 3206689
180.40/180.96 c #Conflicts: 67000 | #Constraints: 3207689
180.40/180.96 c #Conflicts: 68000 | #Constraints: 3208689
180.40/180.96 c #Conflicts: 69000 | #Constraints: 3209689
180.40/180.96 c #Conflicts: 70000 | #Constraints: 3210689
180.40/180.96 c #Conflicts: 71000 | #Constraints: 3211689
180.40/180.96 c #Conflicts: 72000 | #Constraints: 3212689
180.40/180.96 c INPROCESSING
180.40/180.96 c #Conflicts: 73000 | #Constraints: 3201325
180.40/180.96 c #Conflicts: 74000 | #Constraints: 3202325
180.40/180.96 c #Conflicts: 75000 | #Constraints: 3203325
180.40/180.96 c #Conflicts: 76000 | #Constraints: 3204325
180.40/180.96 c #Conflicts: 77000 | #Constraints: 3205325
180.40/180.96 c #Conflicts: 78000 | #Constraints: 3206325
180.40/180.96 c #Conflicts: 79000 | #Constraints: 3207325
327.17/328.19 c #Conflicts: 80000 | #Constraints: 3208325
327.17/328.19 c #Conflicts: 81000 | #Constraints: 3209325
327.17/328.19 c #Conflicts: 82000 | #Constraints: 3210325
327.17/328.19 c #Conflicts: 83000 | #Constraints: 3211325
327.17/328.19 c #Conflicts: 84000 | #Constraints: 3212325
327.17/328.19 c #Conflicts: 85000 | #Constraints: 3213325
327.17/328.19 c #Conflicts: 86000 | #Constraints: 3214325
327.17/328.19 c #Conflicts: 87000 | #Constraints: 3215325
327.17/328.19 c #Conflicts: 88000 | #Constraints: 3216325
327.17/328.19 c #Conflicts: 89000 | #Constraints: 3217325
327.17/328.19 c #Conflicts: 90000 | #Constraints: 3218325
327.17/328.19 c INPROCESSING
327.17/328.19 c GARBAGE COLLECT
327.17/328.19 c #Conflicts: 91000 | #Constraints: 3203653
327.17/328.19 c #Conflicts: 92000 | #Constraints: 3204653
327.17/328.19 c #Conflicts: 93000 | #Constraints: 3205653
327.17/328.19 c #Conflicts: 94000 | #Constraints: 3206653
327.17/328.19 c #Conflicts: 95000 | #Constraints: 3207653
327.17/328.19 c #Conflicts: 96000 | #Constraints: 3208653
327.17/328.19 c #Conflicts: 97000 | #Constraints: 3209653
327.17/328.19 c #Conflicts: 98000 | #Constraints: 3210653
327.17/328.19 c #Conflicts: 99000 | #Constraints: 3211653
327.17/328.19 c #Conflicts: 100000 | #Constraints: 3212653
327.17/328.19 c #Conflicts: 101000 | #Constraints: 3213653
327.17/328.19 c #Conflicts: 102000 | #Constraints: 3214653
327.17/328.19 c #Conflicts: 103000 | #Constraints: 3215653
327.17/328.19 c #Conflicts: 104000 | #Constraints: 3216653
327.17/328.19 c #Conflicts: 105000 | #Constraints: 3217653
327.17/328.19 c #Conflicts: 106000 | #Constraints: 3218653
327.17/328.19 c #Conflicts: 107000 | #Constraints: 3219653
327.17/328.19 c #Conflicts: 108000 | #Constraints: 3220653
327.17/328.19 c #Conflicts: 109000 | #Constraints: 3221653
327.17/328.19 c #Conflicts: 110000 | #Constraints: 3222653
327.17/328.19 c INPROCESSING
327.17/328.19 c GARBAGE COLLECT
327.17/328.19 c #Conflicts: 111000 | #Constraints: 3206796
327.17/328.19 c #Conflicts: 112000 | #Constraints: 3207796
327.17/328.19 c #Conflicts: 113000 | #Constraints: 3208796
327.17/328.19 c #Conflicts: 114000 | #Constraints: 3209796
327.17/328.19 c #Conflicts: 115000 | #Constraints: 3210796
327.17/328.19 c #Conflicts: 116000 | #Constraints: 3211796
327.17/328.19 c #Conflicts: 117000 | #Constraints: 3212796
327.17/328.19 c #Conflicts: 118000 | #Constraints: 3213796
327.17/328.19 c #Conflicts: 119000 | #Constraints: 3214796
327.17/328.19 c #Conflicts: 120000 | #Constraints: 3215796
327.17/328.19 c #Conflicts: 121000 | #Constraints: 3216796
327.17/328.19 c #Conflicts: 122000 | #Constraints: 3217796
327.17/328.19 c #Conflicts: 123000 | #Constraints: 3218796
327.17/328.19 c #Conflicts: 124000 | #Constraints: 3219796
327.17/328.19 c #Conflicts: 125000 | #Constraints: 3220796
327.17/328.19 c #Conflicts: 126000 | #Constraints: 3221796
327.17/328.19 c #Conflicts: 127000 | #Constraints: 3222796
327.17/328.19 c #Conflicts: 128000 | #Constraints: 3223796
327.17/328.19 c #Conflicts: 129000 | #Constraints: 3224796
327.17/328.19 c #Conflicts: 130000 | #Constraints: 3225796
327.17/328.19 c #Conflicts: 131000 | #Constraints: 3226796
327.17/328.19 c #Conflicts: 132000 | #Constraints: 3227796
327.17/328.19 c INPROCESSING
327.17/328.19 c #Conflicts: 133000 | #Constraints: 3211590
327.17/328.19 c #Conflicts: 134000 | #Constraints: 3212590
327.17/328.19 c #Conflicts: 135000 | #Constraints: 3213590
327.17/328.19 c #Conflicts: 136000 | #Constraints: 3214590
327.17/328.19 c #Conflicts: 137000 | #Constraints: 3215590
327.17/328.19 c #Conflicts: 138000 | #Constraints: 3216590
327.17/328.19 c #Conflicts: 139000 | #Constraints: 3217590
327.17/328.19 c #Conflicts: 140000 | #Constraints: 3218590
327.17/328.19 c #Conflicts: 141000 | #Constraints: 3219590
327.17/328.19 c #Conflicts: 142000 | #Constraints: 3220590
327.17/328.19 c #Conflicts: 143000 | #Constraints: 3221590
327.17/328.19 c #Conflicts: 144000 | #Constraints: 3222590
327.17/328.19 c #Conflicts: 145000 | #Constraints: 3223590
327.17/328.19 c #Conflicts: 146000 | #Constraints: 3224590
327.17/328.19 c #Conflicts: 147000 | #Constraints: 3225590
327.17/328.19 c #Conflicts: 148000 | #Constraints: 3226590
327.17/328.19 c #Conflicts: 149000 | #Constraints: 3227590
327.17/328.19 c #Conflicts: 150000 | #Constraints: 3228590
327.17/328.19 c #Conflicts: 151000 | #Constraints: 3229590
327.17/328.19 c #Conflicts: 152000 | #Constraints: 3230590
327.17/328.19 c #Conflicts: 153000 | #Constraints: 3231590
327.17/328.19 c #Conflicts: 154000 | #Constraints: 3232590
327.17/328.19 c #Conflicts: 155000 | #Constraints: 3233590
327.17/328.19 c #Conflicts: 156000 | #Constraints: 3234590
682.75/684.71 c INPROCESSING
682.75/684.71 c GARBAGE COLLECT
682.75/684.71 c #Conflicts: 157000 | #Constraints: 3216101
682.75/684.71 c #Conflicts: 158000 | #Constraints: 3217101
682.75/684.71 c #Conflicts: 159000 | #Constraints: 3218101
682.75/684.71 c #Conflicts: 160000 | #Constraints: 3219101
682.75/684.71 c #Conflicts: 161000 | #Constraints: 3220101
682.75/684.71 c #Conflicts: 162000 | #Constraints: 3221101
682.75/684.71 c #Conflicts: 163000 | #Constraints: 3222101
682.75/684.71 c #Conflicts: 164000 | #Constraints: 3223101
682.75/684.71 c #Conflicts: 165000 | #Constraints: 3224101
682.75/684.71 c #Conflicts: 166000 | #Constraints: 3225101
682.75/684.71 c #Conflicts: 167000 | #Constraints: 3226101
682.75/684.71 c #Conflicts: 168000 | #Constraints: 3227101
682.75/684.71 c #Conflicts: 169000 | #Constraints: 3228101
682.75/684.71 c #Conflicts: 170000 | #Constraints: 3229101
682.75/684.71 c #Conflicts: 171000 | #Constraints: 3230101
682.75/684.71 c #Conflicts: 172000 | #Constraints: 3231101
682.75/684.71 c #Conflicts: 173000 | #Constraints: 3232101
682.75/684.71 c #Conflicts: 174000 | #Constraints: 3233101
682.75/684.71 c #Conflicts: 175000 | #Constraints: 3234101
682.75/684.71 c #Conflicts: 176000 | #Constraints: 3235101
682.75/684.71 c #Conflicts: 177000 | #Constraints: 3236101
682.75/684.71 c #Conflicts: 178000 | #Constraints: 3237101
682.75/684.71 c #Conflicts: 179000 | #Constraints: 3238101
682.75/684.71 c #Conflicts: 180000 | #Constraints: 3239101
682.75/684.71 c #Conflicts: 181000 | #Constraints: 3240101
682.75/684.71 c #Conflicts: 182000 | #Constraints: 3241101
682.75/684.71 c INPROCESSING
682.75/684.71 c #Conflicts: 183000 | #Constraints: 3221428
682.75/684.71 c #Conflicts: 184000 | #Constraints: 3222428
682.75/684.71 c #Conflicts: 185000 | #Constraints: 3223428
682.75/684.71 c #Conflicts: 186000 | #Constraints: 3224428
682.75/684.71 c #Conflicts: 187000 | #Constraints: 3225428
682.75/684.71 c #Conflicts: 188000 | #Constraints: 3226428
682.75/684.71 c #Conflicts: 189000 | #Constraints: 3227428
682.75/684.71 c #Conflicts: 190000 | #Constraints: 3228428
682.75/684.71 c #Conflicts: 191000 | #Constraints: 3229428
682.75/684.71 c #Conflicts: 192000 | #Constraints: 3230428
682.75/684.71 c #Conflicts: 193000 | #Constraints: 3231428
682.75/684.71 c #Conflicts: 194000 | #Constraints: 3232428
682.75/684.71 c #Conflicts: 195000 | #Constraints: 3233428
682.75/684.71 c #Conflicts: 196000 | #Constraints: 3234428
682.75/684.71 c #Conflicts: 197000 | #Constraints: 3235428
682.75/684.71 c #Conflicts: 198000 | #Constraints: 3236428
682.75/684.71 c #Conflicts: 199000 | #Constraints: 3237428
682.75/684.71 c #Conflicts: 200000 | #Constraints: 3238428
682.75/684.71 c #Conflicts: 201000 | #Constraints: 3239428
682.75/684.71 c #Conflicts: 202000 | #Constraints: 3240428
682.75/684.71 c #Conflicts: 203000 | #Constraints: 3241428
682.75/684.71 c #Conflicts: 204000 | #Constraints: 3242428
682.75/684.71 c #Conflicts: 205000 | #Constraints: 3243428
682.75/684.71 c #Conflicts: 206000 | #Constraints: 3244428
682.75/684.71 c #Conflicts: 207000 | #Constraints: 3245428
682.75/684.71 c #Conflicts: 208000 | #Constraints: 3246428
682.75/684.71 c #Conflicts: 209000 | #Constraints: 3247428
682.75/684.71 c #Conflicts: 210000 | #Constraints: 3248428
682.75/684.71 c INPROCESSING
682.75/684.71 c GARBAGE COLLECT
682.75/684.71 c #Conflicts: 211000 | #Constraints: 3223786
682.75/684.71 c #Conflicts: 212000 | #Constraints: 3224786
682.75/684.71 c #Conflicts: 213000 | #Constraints: 3225786
682.75/684.71 c #Conflicts: 214000 | #Constraints: 3226786
682.75/684.71 c #Conflicts: 215000 | #Constraints: 3227786
682.75/684.71 c #Conflicts: 216000 | #Constraints: 3228786
682.75/684.71 c #Conflicts: 217000 | #Constraints: 3229786
682.75/684.71 c #Conflicts: 218000 | #Constraints: 3230786
682.75/684.71 c #Conflicts: 219000 | #Constraints: 3231786
682.75/684.71 c #Conflicts: 220000 | #Constraints: 3232786
682.75/684.71 c #Conflicts: 221000 | #Constraints: 3233786
682.75/684.71 c #Conflicts: 222000 | #Constraints: 3234786
682.75/684.71 c #Conflicts: 223000 | #Constraints: 3235786
682.75/684.71 c #Conflicts: 224000 | #Constraints: 3236786
682.75/684.71 c #Conflicts: 225000 | #Constraints: 3237786
682.75/684.71 c #Conflicts: 226000 | #Constraints: 3238786
682.75/684.71 c #Conflicts: 227000 | #Constraints: 3239786
682.75/684.71 c #Conflicts: 228000 | #Constraints: 3240786
682.75/684.71 c #Conflicts: 229000 | #Constraints: 3241786
682.75/684.71 c #Conflicts: 230000 | #Constraints: 3242786
682.75/684.71 c #Conflicts: 231000 | #Constraints: 3243786
682.75/684.71 c #Conflicts: 232000 | #Constraints: 3244786
682.75/684.71 c #Conflicts: 233000 | #Constraints: 3245786
964.89/967.54 c #Conflicts: 234000 | #Constraints: 3246786
964.89/967.54 c #Conflicts: 235000 | #Constraints: 3247786
964.89/967.54 c #Conflicts: 236000 | #Constraints: 3248786
964.89/967.54 c #Conflicts: 237000 | #Constraints: 3249786
964.89/967.54 c #Conflicts: 238000 | #Constraints: 3250786
964.89/967.54 c #Conflicts: 239000 | #Constraints: 3251786
964.89/967.54 c #Conflicts: 240000 | #Constraints: 3252786
964.89/967.54 c INPROCESSING
964.89/967.54 c GARBAGE COLLECT
964.89/967.54 c #Conflicts: 241000 | #Constraints: 3226576
964.89/967.54 c #Conflicts: 242000 | #Constraints: 3227576
964.89/967.54 c #Conflicts: 243000 | #Constraints: 3228576
964.89/967.54 c #Conflicts: 244000 | #Constraints: 3229576
964.89/967.54 c #Conflicts: 245000 | #Constraints: 3230576
964.89/967.54 c #Conflicts: 246000 | #Constraints: 3231576
964.89/967.54 c #Conflicts: 247000 | #Constraints: 3232576
964.89/967.54 c #Conflicts: 248000 | #Constraints: 3233576
964.89/967.54 c #Conflicts: 249000 | #Constraints: 3234576
964.89/967.54 c #Conflicts: 250000 | #Constraints: 3235576
964.89/967.54 c #Conflicts: 251000 | #Constraints: 3236576
964.89/967.54 c #Conflicts: 252000 | #Constraints: 3237576
964.89/967.54 c #Conflicts: 253000 | #Constraints: 3238576
964.89/967.54 c #Conflicts: 254000 | #Constraints: 3239576
964.89/967.54 c #Conflicts: 255000 | #Constraints: 3240576
964.89/967.54 c #Conflicts: 256000 | #Constraints: 3241576
964.89/967.54 c #Conflicts: 257000 | #Constraints: 3242576
964.89/967.54 c #Conflicts: 258000 | #Constraints: 3243576
964.89/967.54 c #Conflicts: 259000 | #Constraints: 3244576
964.89/967.54 c #Conflicts: 260000 | #Constraints: 3245576
964.89/967.54 c #Conflicts: 261000 | #Constraints: 3246576
964.89/967.54 c #Conflicts: 262000 | #Constraints: 3247576
964.89/967.54 c #Conflicts: 263000 | #Constraints: 3248576
964.89/967.54 c #Conflicts: 264000 | #Constraints: 3249576
964.89/967.54 c #Conflicts: 265000 | #Constraints: 3250576
964.89/967.54 c #Conflicts: 266000 | #Constraints: 3251576
964.89/967.54 c #Conflicts: 267000 | #Constraints: 3252576
964.89/967.54 c #Conflicts: 268000 | #Constraints: 3253576
964.89/967.54 c #Conflicts: 269000 | #Constraints: 3254576
964.89/967.54 c #Conflicts: 270000 | #Constraints: 3255576
964.89/967.54 c #Conflicts: 271000 | #Constraints: 3256576
964.89/967.54 c #Conflicts: 272000 | #Constraints: 3257576
964.89/967.54 c INPROCESSING
964.89/967.54 c GARBAGE COLLECT
964.89/967.54 c #Conflicts: 273000 | #Constraints: 3232115
964.89/967.54 c #Conflicts: 274000 | #Constraints: 3233115
964.89/967.54 c #Conflicts: 275000 | #Constraints: 3234115
964.89/967.54 c #Conflicts: 276000 | #Constraints: 3235115
964.89/967.54 c #Conflicts: 277000 | #Constraints: 3236115
964.89/967.54 c #Conflicts: 278000 | #Constraints: 3237115
964.89/967.54 c #Conflicts: 279000 | #Constraints: 3238115
964.89/967.54 c #Conflicts: 280000 | #Constraints: 3239115
964.89/967.54 c #Conflicts: 281000 | #Constraints: 3240115
964.89/967.54 c #Conflicts: 282000 | #Constraints: 3241115
964.89/967.54 c #Conflicts: 283000 | #Constraints: 3242115
964.89/967.54 c #Conflicts: 284000 | #Constraints: 3243115
964.89/967.54 c #Conflicts: 285000 | #Constraints: 3244115
964.89/967.54 c #Conflicts: 286000 | #Constraints: 3245115
964.89/967.54 c #Conflicts: 287000 | #Constraints: 3246115
964.89/967.54 c #Conflicts: 288000 | #Constraints: 3247115
964.89/967.54 c #Conflicts: 289000 | #Constraints: 3248115
964.89/967.54 c #Conflicts: 290000 | #Constraints: 3249115
964.89/967.54 c #Conflicts: 291000 | #Constraints: 3250115
964.89/967.54 c #Conflicts: 292000 | #Constraints: 3251115
964.89/967.54 c #Conflicts: 293000 | #Constraints: 3252115
964.89/967.54 c #Conflicts: 294000 | #Constraints: 3253115
964.89/967.54 c #Conflicts: 295000 | #Constraints: 3254115
964.89/967.54 c #Conflicts: 296000 | #Constraints: 3255115
964.89/967.54 c #Conflicts: 297000 | #Constraints: 3256115
964.89/967.54 c #Conflicts: 298000 | #Constraints: 3257115
964.89/967.54 c #Conflicts: 299000 | #Constraints: 3258115
964.89/967.54 c #Conflicts: 300000 | #Constraints: 3259115
964.89/967.54 c #Conflicts: 301000 | #Constraints: 3260115
964.89/967.54 c #Conflicts: 302000 | #Constraints: 3261115
964.89/967.54 c #Conflicts: 303000 | #Constraints: 3262115
964.89/967.54 c #Conflicts: 304000 | #Constraints: 3263115
964.89/967.54 c #Conflicts: 305000 | #Constraints: 3264115
964.89/967.54 c #Conflicts: 306000 | #Constraints: 3265115
964.89/967.54 c INPROCESSING
964.89/967.54 c GARBAGE COLLECT
964.89/967.54 c #Conflicts: 307000 | #Constraints: 3233095
964.89/967.54 c #Conflicts: 308000 | #Constraints: 3234095
964.89/967.54 c #Conflicts: 309000 | #Constraints: 3235095
964.89/967.54 c #Conflicts: 310000 | #Constraints: 3236095
1186.35/1189.59 c #Conflicts: 311000 | #Constraints: 3237095
1186.35/1189.59 c #Conflicts: 312000 | #Constraints: 3238095
1186.35/1189.59 c #Conflicts: 313000 | #Constraints: 3239095
1186.35/1189.59 c #Conflicts: 314000 | #Constraints: 3240095
1186.35/1189.59 c #Conflicts: 315000 | #Constraints: 3241095
1186.35/1189.59 c #Conflicts: 316000 | #Constraints: 3242095
1186.35/1189.59 c #Conflicts: 317000 | #Constraints: 3243095
1186.35/1189.59 c #Conflicts: 318000 | #Constraints: 3244095
1186.35/1189.59 c #Conflicts: 319000 | #Constraints: 3245095
1186.35/1189.59 c #Conflicts: 320000 | #Constraints: 3246095
1186.35/1189.59 c #Conflicts: 321000 | #Constraints: 3247095
1186.35/1189.59 c #Conflicts: 322000 | #Constraints: 3248095
1186.35/1189.59 c #Conflicts: 323000 | #Constraints: 3249095
1186.35/1189.59 c #Conflicts: 324000 | #Constraints: 3250095
1186.35/1189.59 c #Conflicts: 325000 | #Constraints: 3251095
1186.35/1189.59 c #Conflicts: 326000 | #Constraints: 3252095
1186.35/1189.59 c #Conflicts: 327000 | #Constraints: 3253095
1186.35/1189.59 c #Conflicts: 328000 | #Constraints: 3254095
1186.35/1189.59 c #Conflicts: 329000 | #Constraints: 3255095
1186.35/1189.59 c #Conflicts: 330000 | #Constraints: 3256095
1186.35/1189.59 c #Conflicts: 331000 | #Constraints: 3257095
1186.35/1189.59 c #Conflicts: 332000 | #Constraints: 3258095
1186.35/1189.59 c #Conflicts: 333000 | #Constraints: 3259095
1186.35/1189.59 c #Conflicts: 334000 | #Constraints: 3260095
1186.35/1189.59 c #Conflicts: 335000 | #Constraints: 3261095
1186.35/1189.59 c #Conflicts: 336000 | #Constraints: 3262095
1186.35/1189.59 c #Conflicts: 337000 | #Constraints: 3263095
1186.35/1189.59 c #Conflicts: 338000 | #Constraints: 3264095
1186.35/1189.59 c #Conflicts: 339000 | #Constraints: 3265095
1186.35/1189.59 c #Conflicts: 340000 | #Constraints: 3266095
1186.35/1189.59 c #Conflicts: 341000 | #Constraints: 3267095
1186.35/1189.59 c #Conflicts: 342000 | #Constraints: 3268095
1186.35/1189.59 c INPROCESSING
1186.35/1189.59 c GARBAGE COLLECT
1186.35/1189.59 c #Conflicts: 343000 | #Constraints: 3237007
1186.35/1189.59 c #Conflicts: 344000 | #Constraints: 3238007
1186.35/1189.59 c #Conflicts: 345000 | #Constraints: 3239007
1186.35/1189.59 c #Conflicts: 346000 | #Constraints: 3240007
1186.35/1189.59 c #Conflicts: 347000 | #Constraints: 3241007
1186.35/1189.59 c #Conflicts: 348000 | #Constraints: 3242007
1186.35/1189.59 c #Conflicts: 349000 | #Constraints: 3243007
1186.35/1189.59 c #Conflicts: 350000 | #Constraints: 3244007
1186.35/1189.59 c #Conflicts: 351000 | #Constraints: 3245007
1186.35/1189.59 c #Conflicts: 352000 | #Constraints: 3246007
1186.35/1189.59 c #Conflicts: 353000 | #Constraints: 3247007
1186.35/1189.59 c #Conflicts: 354000 | #Constraints: 3248007
1186.35/1189.59 c #Conflicts: 355000 | #Constraints: 3249007
1186.35/1189.59 c #Conflicts: 356000 | #Constraints: 3250007
1186.35/1189.59 c #Conflicts: 357000 | #Constraints: 3251007
1186.35/1189.59 c #Conflicts: 358000 | #Constraints: 3252007
1186.35/1189.59 c #Conflicts: 359000 | #Constraints: 3253007
1186.35/1189.59 c #Conflicts: 360000 | #Constraints: 3254007
1186.35/1189.59 c #Conflicts: 361000 | #Constraints: 3255007
1186.35/1189.59 c #Conflicts: 362000 | #Constraints: 3256007
1186.35/1189.59 c #Conflicts: 363000 | #Constraints: 3257007
1186.35/1189.59 c #Conflicts: 364000 | #Constraints: 3258007
1186.35/1189.59 c #Conflicts: 365000 | #Constraints: 3259007
1186.35/1189.59 c #Conflicts: 366000 | #Constraints: 3260007
1186.35/1189.59 c #Conflicts: 367000 | #Constraints: 3261007
1186.35/1189.59 c #Conflicts: 368000 | #Constraints: 3262007
1186.35/1189.59 c #Conflicts: 369000 | #Constraints: 3263007
1186.35/1189.59 c #Conflicts: 370000 | #Constraints: 3264007
1186.35/1189.59 c #Conflicts: 371000 | #Constraints: 3265007
1186.35/1189.59 c #Conflicts: 372000 | #Constraints: 3266007
1186.35/1189.59 c #Conflicts: 373000 | #Constraints: 3267007
1186.35/1189.59 c #Conflicts: 374000 | #Constraints: 3268007
1186.35/1189.59 c #Conflicts: 375000 | #Constraints: 3269007
1186.35/1189.59 c #Conflicts: 376000 | #Constraints: 3270007
1186.35/1189.59 c #Conflicts: 377000 | #Constraints: 3271007
1186.35/1189.59 c #Conflicts: 378000 | #Constraints: 3272007
1186.35/1189.59 c #Conflicts: 379000 | #Constraints: 3273007
1186.35/1189.59 c #Conflicts: 380000 | #Constraints: 3274007
1186.35/1189.59 c INPROCESSING
1186.35/1189.59 c GARBAGE COLLECT
1186.35/1189.59 c #Conflicts: 381000 | #Constraints: 3242621
1186.35/1189.59 c #Conflicts: 382000 | #Constraints: 3243621
1186.35/1189.59 c #Conflicts: 383000 | #Constraints: 3244621
1186.35/1189.59 c #Conflicts: 384000 | #Constraints: 3245621
1186.35/1189.59 c #Conflicts: 385000 | #Constraints: 3246621
1186.35/1189.59 c #Conflicts: 386000 | #Constraints: 3247621
1186.35/1189.59 c #Conflicts: 387000 | #Constraints: 3248621
1186.35/1189.59 c #Conflicts: 388000 | #Constraints: 3249621
1386.46/1390.19 c #Conflicts: 389000 | #Constraints: 3250621
1386.46/1390.19 c #Conflicts: 390000 | #Constraints: 3251621
1386.46/1390.19 c #Conflicts: 391000 | #Constraints: 3252621
1386.46/1390.19 c #Conflicts: 392000 | #Constraints: 3253621
1386.46/1390.19 c #Conflicts: 393000 | #Constraints: 3254621
1386.46/1390.19 c #Conflicts: 394000 | #Constraints: 3255621
1386.46/1390.19 c #Conflicts: 395000 | #Constraints: 3256621
1386.46/1390.19 c #Conflicts: 396000 | #Constraints: 3257621
1386.46/1390.19 c #Conflicts: 397000 | #Constraints: 3258621
1386.46/1390.19 c #Conflicts: 398000 | #Constraints: 3259621
1386.46/1390.19 c #Conflicts: 399000 | #Constraints: 3260621
1386.46/1390.19 c #Conflicts: 400000 | #Constraints: 3261621
1386.46/1390.19 c #Conflicts: 401000 | #Constraints: 3262621
1386.46/1390.19 c #Conflicts: 402000 | #Constraints: 3263621
1386.46/1390.19 c #Conflicts: 403000 | #Constraints: 3264621
1386.46/1390.19 c #Conflicts: 404000 | #Constraints: 3265621
1386.46/1390.19 c #Conflicts: 405000 | #Constraints: 3266621
1386.46/1390.19 c #Conflicts: 406000 | #Constraints: 3267621
1386.46/1390.19 c #Conflicts: 407000 | #Constraints: 3268621
1386.46/1390.19 c #Conflicts: 408000 | #Constraints: 3269621
1386.46/1390.19 c #Conflicts: 409000 | #Constraints: 3270621
1386.46/1390.19 c #Conflicts: 410000 | #Constraints: 3271621
1386.46/1390.19 c #Conflicts: 411000 | #Constraints: 3272621
1386.46/1390.19 c #Conflicts: 412000 | #Constraints: 3273621
1386.46/1390.19 c #Conflicts: 413000 | #Constraints: 3274621
1386.46/1390.19 c #Conflicts: 414000 | #Constraints: 3275621
1386.46/1390.19 c #Conflicts: 415000 | #Constraints: 3276621
1386.46/1390.19 c #Conflicts: 416000 | #Constraints: 3277621
1386.46/1390.19 c #Conflicts: 417000 | #Constraints: 3278621
1386.46/1390.19 c #Conflicts: 418000 | #Constraints: 3279621
1386.46/1390.19 c #Conflicts: 419000 | #Constraints: 3280621
1386.46/1390.19 c #Conflicts: 420000 | #Constraints: 3281621
1386.46/1390.19 c INPROCESSING
1386.46/1390.19 c GARBAGE COLLECT
1386.46/1390.19 c #Conflicts: 421000 | #Constraints: 3247358
1386.46/1390.19 c #Conflicts: 422000 | #Constraints: 3248358
1386.46/1390.19 c #Conflicts: 423000 | #Constraints: 3249358
1386.46/1390.19 c #Conflicts: 424000 | #Constraints: 3250358
1386.46/1390.19 c #Conflicts: 425000 | #Constraints: 3251358
1386.46/1390.19 c #Conflicts: 426000 | #Constraints: 3252358
1386.46/1390.19 c #Conflicts: 427000 | #Constraints: 3253358
1386.46/1390.19 c #Conflicts: 428000 | #Constraints: 3254358
1386.46/1390.19 c #Conflicts: 429000 | #Constraints: 3255358
1386.46/1390.19 c #Conflicts: 430000 | #Constraints: 3256358
1386.46/1390.19 c #Conflicts: 431000 | #Constraints: 3257358
1386.46/1390.19 c #Conflicts: 432000 | #Constraints: 3258358
1386.46/1390.19 c #Conflicts: 433000 | #Constraints: 3259358
1386.46/1390.19 c #Conflicts: 434000 | #Constraints: 3260358
1386.46/1390.19 c #Conflicts: 435000 | #Constraints: 3261358
1386.46/1390.19 c #Conflicts: 436000 | #Constraints: 3262358
1386.46/1390.19 c #Conflicts: 437000 | #Constraints: 3263358
1386.46/1390.19 c #Conflicts: 438000 | #Constraints: 3264358
1386.46/1390.19 c #Conflicts: 439000 | #Constraints: 3265358
1386.46/1390.19 c #Conflicts: 440000 | #Constraints: 3266358
1386.46/1390.19 c #Conflicts: 441000 | #Constraints: 3267358
1386.46/1390.19 c #Conflicts: 442000 | #Constraints: 3268358
1386.46/1390.19 c #Conflicts: 443000 | #Constraints: 3269358
1386.46/1390.19 c #Conflicts: 444000 | #Constraints: 3270358
1386.46/1390.19 c #Conflicts: 445000 | #Constraints: 3271358
1386.46/1390.19 c #Conflicts: 446000 | #Constraints: 3272358
1386.46/1390.19 c #Conflicts: 447000 | #Constraints: 3273358
1386.46/1390.19 c #Conflicts: 448000 | #Constraints: 3274358
1386.46/1390.19 c #Conflicts: 449000 | #Constraints: 3275358
1386.46/1390.19 c #Conflicts: 450000 | #Constraints: 3276358
1386.46/1390.19 c #Conflicts: 451000 | #Constraints: 3277358
1386.46/1390.19 c #Conflicts: 452000 | #Constraints: 3278358
1386.46/1390.19 c #Conflicts: 453000 | #Constraints: 3279358
1386.46/1390.19 c #Conflicts: 454000 | #Constraints: 3280358
1386.46/1390.19 c #Conflicts: 455000 | #Constraints: 3281358
1386.46/1390.19 c #Conflicts: 456000 | #Constraints: 3282358
1386.46/1390.19 c #Conflicts: 457000 | #Constraints: 3283358
1386.46/1390.19 c #Conflicts: 458000 | #Constraints: 3284358
1386.46/1390.19 c #Conflicts: 459000 | #Constraints: 3285358
1386.46/1390.19 c #Conflicts: 460000 | #Constraints: 3286358
1386.46/1390.19 c #Conflicts: 461000 | #Constraints: 3287358
1386.46/1390.19 c #Conflicts: 462000 | #Constraints: 3288358
1386.46/1390.19 c INPROCESSING
1386.46/1390.19 c GARBAGE COLLECT
1386.46/1390.19 c #Conflicts: 463000 | #Constraints: 3250130
1386.46/1390.19 c #Conflicts: 464000 | #Constraints: 3251130
1386.46/1390.19 c #Conflicts: 465000 | #Constraints: 3252130
1715.06/1719.56 c #Conflicts: 466000 | #Constraints: 3253130
1715.06/1719.56 c #Conflicts: 467000 | #Constraints: 3254130
1715.06/1719.56 c #Conflicts: 468000 | #Constraints: 3255130
1715.06/1719.56 c #Conflicts: 469000 | #Constraints: 3256130
1715.06/1719.56 c #Conflicts: 470000 | #Constraints: 3257130
1715.06/1719.56 c #Conflicts: 471000 | #Constraints: 3258130
1715.06/1719.56 c #Conflicts: 472000 | #Constraints: 3259130
1715.06/1719.56 c #Conflicts: 473000 | #Constraints: 3260130
1715.06/1719.56 c #Conflicts: 474000 | #Constraints: 3261130
1715.06/1719.56 c #Conflicts: 475000 | #Constraints: 3262130
1715.06/1719.56 c #Conflicts: 476000 | #Constraints: 3263130
1715.06/1719.56 c #Conflicts: 477000 | #Constraints: 3264130
1715.06/1719.56 c #Conflicts: 478000 | #Constraints: 3265130
1715.06/1719.56 c #Conflicts: 479000 | #Constraints: 3266130
1715.06/1719.56 c #Conflicts: 480000 | #Constraints: 3267130
1715.06/1719.56 c #Conflicts: 481000 | #Constraints: 3268130
1715.06/1719.56 c #Conflicts: 482000 | #Constraints: 3269130
1715.06/1719.56 c #Conflicts: 483000 | #Constraints: 3270130
1715.06/1719.56 c #Conflicts: 484000 | #Constraints: 3271130
1715.06/1719.56 c #Conflicts: 485000 | #Constraints: 3272130
1715.06/1719.56 c #Conflicts: 486000 | #Constraints: 3273130
1715.06/1719.56 c #Conflicts: 487000 | #Constraints: 3274130
1715.06/1719.56 c #Conflicts: 488000 | #Constraints: 3275130
1715.06/1719.56 c #Conflicts: 489000 | #Constraints: 3276130
1715.06/1719.56 c #Conflicts: 490000 | #Constraints: 3277130
1715.06/1719.56 c #Conflicts: 491000 | #Constraints: 3278130
1715.06/1719.56 c #Conflicts: 492000 | #Constraints: 3279130
1715.06/1719.56 c #Conflicts: 493000 | #Constraints: 3280130
1715.06/1719.56 c #Conflicts: 494000 | #Constraints: 3281130
1715.06/1719.56 c #Conflicts: 495000 | #Constraints: 3282130
1715.06/1719.56 c #Conflicts: 496000 | #Constraints: 3283130
1715.06/1719.56 c #Conflicts: 497000 | #Constraints: 3284130
1715.06/1719.56 c #Conflicts: 498000 | #Constraints: 3285130
1715.06/1719.56 c #Conflicts: 499000 | #Constraints: 3286130
1715.06/1719.56 c #Conflicts: 500000 | #Constraints: 3287130
1715.06/1719.56 c #Conflicts: 501000 | #Constraints: 3288130
1715.06/1719.56 c #Conflicts: 502000 | #Constraints: 3289130
1715.06/1719.56 c #Conflicts: 503000 | #Constraints: 3290130
1715.06/1719.56 c #Conflicts: 504000 | #Constraints: 3291130
1715.06/1719.56 c #Conflicts: 505000 | #Constraints: 3292130
1715.06/1719.56 c #Conflicts: 506000 | #Constraints: 3293130
1715.06/1719.56 c INPROCESSING
1715.06/1719.56 c GARBAGE COLLECT
1715.06/1719.56 c #Conflicts: 507000 | #Constraints: 3252109
1715.06/1719.56 c #Conflicts: 508000 | #Constraints: 3253109
1715.06/1719.56 c #Conflicts: 509000 | #Constraints: 3254109
1715.06/1719.56 c #Conflicts: 510000 | #Constraints: 3255109
1715.06/1719.56 c #Conflicts: 511000 | #Constraints: 3256109
1715.06/1719.56 c #Conflicts: 512000 | #Constraints: 3257109
1715.06/1719.56 c #Conflicts: 513000 | #Constraints: 3258109
1715.06/1719.56 c #Conflicts: 514000 | #Constraints: 3259109
1715.06/1719.56 c #Conflicts: 515000 | #Constraints: 3260109
1715.06/1719.56 c #Conflicts: 516000 | #Constraints: 3261109
1715.06/1719.56 c #Conflicts: 517000 | #Constraints: 3262109
1715.06/1719.56 c #Conflicts: 518000 | #Constraints: 3263109
1715.06/1719.56 c #Conflicts: 519000 | #Constraints: 3264109
1715.06/1719.56 c #Conflicts: 520000 | #Constraints: 3265109
1715.06/1719.56 c #Conflicts: 521000 | #Constraints: 3266109
1715.06/1719.56 c #Conflicts: 522000 | #Constraints: 3267109
1715.06/1719.56 c #Conflicts: 523000 | #Constraints: 3268109
1715.06/1719.56 c #Conflicts: 524000 | #Constraints: 3269109
1715.06/1719.56 c #Conflicts: 525000 | #Constraints: 3270109
1715.06/1719.56 c #Conflicts: 526000 | #Constraints: 3271109
1715.06/1719.56 c #Conflicts: 527000 | #Constraints: 3272109
1715.06/1719.56 c #Conflicts: 528000 | #Constraints: 3273109
1715.06/1719.56 c #Conflicts: 529000 | #Constraints: 3274109
1715.06/1719.56 c #Conflicts: 530000 | #Constraints: 3275109
1715.06/1719.56 c #Conflicts: 531000 | #Constraints: 3276109
1715.06/1719.56 c #Conflicts: 532000 | #Constraints: 3277109
1715.06/1719.56 c #Conflicts: 533000 | #Constraints: 3278109
1715.06/1719.56 c #Conflicts: 534000 | #Constraints: 3279109
1715.06/1719.56 c #Conflicts: 535000 | #Constraints: 3280109
1715.06/1719.56 c #Conflicts: 536000 | #Constraints: 3281109
1715.06/1719.56 c #Conflicts: 537000 | #Constraints: 3282109
1715.06/1719.56 c #Conflicts: 538000 | #Constraints: 3283109
1715.06/1719.56 c #Conflicts: 539000 | #Constraints: 3284109
1715.06/1719.56 c #Conflicts: 540000 | #Constraints: 3285109
1715.06/1719.56 c #Conflicts: 541000 | #Constraints: 3286109
1715.06/1719.56 c #Conflicts: 542000 | #Constraints: 3287109
1715.06/1719.56 c #Conflicts: 543000 | #Constraints: 3288109
1954.08/1959.18 c #Conflicts: 544000 | #Constraints: 3289109
1954.08/1959.18 c #Conflicts: 545000 | #Constraints: 3290109
1954.08/1959.18 c #Conflicts: 546000 | #Constraints: 3291109
1954.08/1959.18 c #Conflicts: 547000 | #Constraints: 3292109
1954.08/1959.18 c #Conflicts: 548000 | #Constraints: 3293109
1954.08/1959.18 c #Conflicts: 549000 | #Constraints: 3294109
1954.08/1959.18 c #Conflicts: 550000 | #Constraints: 3295109
1954.08/1959.18 c #Conflicts: 551000 | #Constraints: 3296109
1954.08/1959.18 c #Conflicts: 552000 | #Constraints: 3297109
1954.08/1959.18 c INPROCESSING
1954.08/1959.18 c GARBAGE COLLECT
1954.08/1959.18 c #Conflicts: 553000 | #Constraints: 3259322
1954.08/1959.18 c #Conflicts: 554000 | #Constraints: 3260322
1954.08/1959.18 c #Conflicts: 555000 | #Constraints: 3261322
1954.08/1959.18 c #Conflicts: 556000 | #Constraints: 3262322
1954.08/1959.18 c #Conflicts: 557000 | #Constraints: 3263322
1954.08/1959.18 c #Conflicts: 558000 | #Constraints: 3264322
1954.08/1959.18 c #Conflicts: 559000 | #Constraints: 3265322
1954.08/1959.18 c #Conflicts: 560000 | #Constraints: 3266322
1954.08/1959.18 c #Conflicts: 561000 | #Constraints: 3267322
1954.08/1959.18 c #Conflicts: 562000 | #Constraints: 3268322
1954.08/1959.18 c #Conflicts: 563000 | #Constraints: 3269322
1954.08/1959.18 c #Conflicts: 564000 | #Constraints: 3270322
1954.08/1959.18 c #Conflicts: 565000 | #Constraints: 3271322
1954.08/1959.18 c #Conflicts: 566000 | #Constraints: 3272322
1954.08/1959.18 c #Conflicts: 567000 | #Constraints: 3273322
1954.08/1959.18 c #Conflicts: 568000 | #Constraints: 3274322
1954.08/1959.18 c #Conflicts: 569000 | #Constraints: 3275322
1954.08/1959.18 c #Conflicts: 570000 | #Constraints: 3276322
1954.08/1959.18 c #Conflicts: 571000 | #Constraints: 3277322
1954.08/1959.18 c #Conflicts: 572000 | #Constraints: 3278322
1954.08/1959.18 c #Conflicts: 573000 | #Constraints: 3279322
1954.08/1959.18 c #Conflicts: 574000 | #Constraints: 3280322
1954.08/1959.18 c #Conflicts: 575000 | #Constraints: 3281322
1954.08/1959.18 c #Conflicts: 576000 | #Constraints: 3282322
1954.08/1959.18 c #Conflicts: 577000 | #Constraints: 3283322
1954.08/1959.18 c #Conflicts: 578000 | #Constraints: 3284322
1954.08/1959.18 c #Conflicts: 579000 | #Constraints: 3285322
1954.08/1959.18 c #Conflicts: 580000 | #Constraints: 3286322
1954.08/1959.18 c #Conflicts: 581000 | #Constraints: 3287322
1954.08/1959.18 c #Conflicts: 582000 | #Constraints: 3288322
1954.08/1959.18 c #Conflicts: 583000 | #Constraints: 3289322
1954.08/1959.18 c #Conflicts: 584000 | #Constraints: 3290322
1954.08/1959.18 c #Conflicts: 585000 | #Constraints: 3291322
1954.08/1959.18 c #Conflicts: 586000 | #Constraints: 3292322
1954.08/1959.18 c #Conflicts: 587000 | #Constraints: 3293322
1954.08/1959.18 c #Conflicts: 588000 | #Constraints: 3294322
1954.08/1959.18 c #Conflicts: 589000 | #Constraints: 3295322
1954.08/1959.18 c #Conflicts: 590000 | #Constraints: 3296322
1954.08/1959.18 c #Conflicts: 591000 | #Constraints: 3297322
1954.08/1959.18 c #Conflicts: 592000 | #Constraints: 3298322
1954.08/1959.18 c #Conflicts: 593000 | #Constraints: 3299322
1954.08/1959.18 c #Conflicts: 594000 | #Constraints: 3300322
1954.08/1959.18 c #Conflicts: 595000 | #Constraints: 3301322
1954.08/1959.18 c #Conflicts: 596000 | #Constraints: 3302322
1954.08/1959.18 c #Conflicts: 597000 | #Constraints: 3303322
1954.08/1959.18 c #Conflicts: 598000 | #Constraints: 3304322
1954.08/1959.18 c #Conflicts: 599000 | #Constraints: 3305322
1954.08/1959.18 c #Conflicts: 600000 | #Constraints: 3306322
1954.08/1959.18 c INPROCESSING
1954.08/1959.18 c GARBAGE COLLECT
1954.08/1959.18 c #Conflicts: 601000 | #Constraints: 3265443
1954.08/1959.18 c #Conflicts: 602000 | #Constraints: 3266443
1954.08/1959.18 c #Conflicts: 603000 | #Constraints: 3267443
1954.08/1959.18 c #Conflicts: 604000 | #Constraints: 3268443
1954.08/1959.18 c #Conflicts: 605000 | #Constraints: 3269443
1954.08/1959.18 c #Conflicts: 606000 | #Constraints: 3270443
1954.08/1959.18 c #Conflicts: 607000 | #Constraints: 3271443
1954.08/1959.18 c #Conflicts: 608000 | #Constraints: 3272443
1954.08/1959.18 c #Conflicts: 609000 | #Constraints: 3273443
1954.08/1959.18 c #Conflicts: 610000 | #Constraints: 3274443
1954.08/1959.18 c #Conflicts: 611000 | #Constraints: 3275443
1954.08/1959.18 c #Conflicts: 612000 | #Constraints: 3276443
1954.08/1959.18 c #Conflicts: 613000 | #Constraints: 3277443
1954.08/1959.18 c #Conflicts: 614000 | #Constraints: 3278443
1954.08/1959.18 c #Conflicts: 615000 | #Constraints: 3279443
1954.08/1959.18 c #Conflicts: 616000 | #Constraints: 3280443
1954.08/1959.18 c #Conflicts: 617000 | #Constraints: 3281443
1954.08/1959.18 c #Conflicts: 618000 | #Constraints: 3282443
1954.08/1959.18 c #Conflicts: 619000 | #Constraints: 3283443
1954.08/1959.18 c #Conflicts: 620000 | #Constraints: 3284443
1954.08/1959.18 c #Conflicts: 621000 | #Constraints: 3285443
2186.73/2192.31 c #Conflicts: 622000 | #Constraints: 3286443
2186.73/2192.31 c #Conflicts: 623000 | #Constraints: 3287443
2186.73/2192.31 c #Conflicts: 624000 | #Constraints: 3288443
2186.73/2192.31 c #Conflicts: 625000 | #Constraints: 3289443
2186.73/2192.31 c #Conflicts: 626000 | #Constraints: 3290443
2186.73/2192.31 c #Conflicts: 627000 | #Constraints: 3291443
2186.73/2192.31 c #Conflicts: 628000 | #Constraints: 3292443
2186.73/2192.31 c #Conflicts: 629000 | #Constraints: 3293443
2186.73/2192.31 c #Conflicts: 630000 | #Constraints: 3294443
2186.73/2192.31 c #Conflicts: 631000 | #Constraints: 3295443
2186.73/2192.31 c #Conflicts: 632000 | #Constraints: 3296443
2186.73/2192.31 c #Conflicts: 633000 | #Constraints: 3297443
2186.73/2192.31 c #Conflicts: 634000 | #Constraints: 3298443
2186.73/2192.31 c #Conflicts: 635000 | #Constraints: 3299443
2186.73/2192.31 c #Conflicts: 636000 | #Constraints: 3300443
2186.73/2192.31 c #Conflicts: 637000 | #Constraints: 3301443
2186.73/2192.31 c #Conflicts: 638000 | #Constraints: 3302443
2186.73/2192.31 c #Conflicts: 639000 | #Constraints: 3303443
2186.73/2192.31 c #Conflicts: 640000 | #Constraints: 3304443
2186.73/2192.31 c #Conflicts: 641000 | #Constraints: 3305443
2186.73/2192.31 c #Conflicts: 642000 | #Constraints: 3306443
2186.73/2192.31 c #Conflicts: 643000 | #Constraints: 3307443
2186.73/2192.31 c #Conflicts: 644000 | #Constraints: 3308443
2186.73/2192.31 c #Conflicts: 645000 | #Constraints: 3309443
2186.73/2192.31 c #Conflicts: 646000 | #Constraints: 3310443
2186.73/2192.31 c #Conflicts: 647000 | #Constraints: 3311443
2186.73/2192.31 c #Conflicts: 648000 | #Constraints: 3312443
2186.73/2192.31 c #Conflicts: 649000 | #Constraints: 3313443
2186.73/2192.31 c #Conflicts: 650000 | #Constraints: 3314443
2186.73/2192.31 c INPROCESSING
2186.73/2192.31 c GARBAGE COLLECT
2186.73/2192.31 c #Conflicts: 651000 | #Constraints: 3270885
2186.73/2192.31 c #Conflicts: 652000 | #Constraints: 3271885
2186.73/2192.31 c #Conflicts: 653000 | #Constraints: 3272885
2186.73/2192.31 c #Conflicts: 654000 | #Constraints: 3273885
2186.73/2192.31 c #Conflicts: 655000 | #Constraints: 3274885
2186.73/2192.31 c #Conflicts: 656000 | #Constraints: 3275885
2186.73/2192.31 c #Conflicts: 657000 | #Constraints: 3276885
2186.73/2192.31 c #Conflicts: 658000 | #Constraints: 3277885
2186.73/2192.31 c #Conflicts: 659000 | #Constraints: 3278885
2186.73/2192.31 c #Conflicts: 660000 | #Constraints: 3279885
2186.73/2192.31 c #Conflicts: 661000 | #Constraints: 3280885
2186.73/2192.31 c #Conflicts: 662000 | #Constraints: 3281885
2186.73/2192.31 c #Conflicts: 663000 | #Constraints: 3282885
2186.73/2192.31 c #Conflicts: 664000 | #Constraints: 3283885
2186.73/2192.31 c #Conflicts: 665000 | #Constraints: 3284885
2186.73/2192.31 c #Conflicts: 666000 | #Constraints: 3285885
2186.73/2192.31 c #Conflicts: 667000 | #Constraints: 3286885
2186.73/2192.31 c #Conflicts: 668000 | #Constraints: 3287885
2186.73/2192.31 c #Conflicts: 669000 | #Constraints: 3288885
2186.73/2192.31 c #Conflicts: 670000 | #Constraints: 3289885
2186.73/2192.31 c #Conflicts: 671000 | #Constraints: 3290885
2186.73/2192.31 c #Conflicts: 672000 | #Constraints: 3291885
2186.73/2192.31 c #Conflicts: 673000 | #Constraints: 3292885
2186.73/2192.31 c #Conflicts: 674000 | #Constraints: 3293885
2186.73/2192.31 c #Conflicts: 675000 | #Constraints: 3294885
2186.73/2192.31 c #Conflicts: 676000 | #Constraints: 3295885
2186.73/2192.31 c #Conflicts: 677000 | #Constraints: 3296885
2186.73/2192.31 c #Conflicts: 678000 | #Constraints: 3297885
2186.73/2192.31 c #Conflicts: 679000 | #Constraints: 3298885
2186.73/2192.31 c #Conflicts: 680000 | #Constraints: 3299885
2186.73/2192.31 c #Conflicts: 681000 | #Constraints: 3300885
2186.73/2192.31 c #Conflicts: 682000 | #Constraints: 3301885
2186.73/2192.31 c #Conflicts: 683000 | #Constraints: 3302885
2186.73/2192.31 c #Conflicts: 684000 | #Constraints: 3303885
2186.73/2192.31 c #Conflicts: 685000 | #Constraints: 3304885
2186.73/2192.31 c #Conflicts: 686000 | #Constraints: 3305885
2186.73/2192.31 c #Conflicts: 687000 | #Constraints: 3306885
2186.73/2192.31 c #Conflicts: 688000 | #Constraints: 3307885
2186.73/2192.31 c #Conflicts: 689000 | #Constraints: 3308885
2186.73/2192.31 c #Conflicts: 690000 | #Constraints: 3309885
2186.73/2192.31 c #Conflicts: 691000 | #Constraints: 3310885
2186.73/2192.31 c #Conflicts: 692000 | #Constraints: 3311885
2186.73/2192.31 c #Conflicts: 693000 | #Constraints: 3312885
2186.73/2192.31 c #Conflicts: 694000 | #Constraints: 3313885
2186.73/2192.31 c #Conflicts: 695000 | #Constraints: 3314885
2186.73/2192.31 c #Conflicts: 696000 | #Constraints: 3315885
2186.73/2192.31 c #Conflicts: 697000 | #Constraints: 3316885
2186.73/2192.31 c #Conflicts: 698000 | #Constraints: 3317885
2186.73/2192.31 c #Conflicts: 699000 | #Constraints: 3318885
2593.29/2600.00 c #Conflicts: 700000 | #Constraints: 3319885
2593.29/2600.00 c #Conflicts: 701000 | #Constraints: 3320885
2593.29/2600.00 c #Conflicts: 702000 | #Constraints: 3321885
2593.29/2600.00 c INPROCESSING
2593.29/2600.00 c GARBAGE COLLECT
2593.29/2600.00 c #Conflicts: 703000 | #Constraints: 3276584
2593.29/2600.00 c #Conflicts: 704000 | #Constraints: 3277584
2593.29/2600.00 c #Conflicts: 705000 | #Constraints: 3278584
2593.29/2600.00 c #Conflicts: 706000 | #Constraints: 3279584
2593.29/2600.00 c #Conflicts: 707000 | #Constraints: 3280584
2593.29/2600.00 c #Conflicts: 708000 | #Constraints: 3281584
2593.29/2600.00 c #Conflicts: 709000 | #Constraints: 3282584
2593.29/2600.00 c #Conflicts: 710000 | #Constraints: 3283584
2593.29/2600.00 c #Conflicts: 711000 | #Constraints: 3284584
2593.29/2600.00 c #Conflicts: 712000 | #Constraints: 3285584
2593.29/2600.00 c #Conflicts: 713000 | #Constraints: 3286584
2593.29/2600.00 c #Conflicts: 714000 | #Constraints: 3287584
2593.29/2600.00 c #Conflicts: 715000 | #Constraints: 3288584
2593.29/2600.00 c #Conflicts: 716000 | #Constraints: 3289584
2593.29/2600.00 c #Conflicts: 717000 | #Constraints: 3290584
2593.29/2600.00 c #Conflicts: 718000 | #Constraints: 3291584
2593.29/2600.00 c #Conflicts: 719000 | #Constraints: 3292584
2593.29/2600.00 c #Conflicts: 720000 | #Constraints: 3293584
2593.29/2600.00 c #Conflicts: 721000 | #Constraints: 3294584
2593.29/2600.00 c #Conflicts: 722000 | #Constraints: 3295584
2593.29/2600.00 c #Conflicts: 723000 | #Constraints: 3296584
2593.29/2600.00 c #Conflicts: 724000 | #Constraints: 3297584
2593.29/2600.00 c #Conflicts: 725000 | #Constraints: 3298584
2593.29/2600.00 c #Conflicts: 726000 | #Constraints: 3299584
2593.29/2600.00 c #Conflicts: 727000 | #Constraints: 3300584
2593.29/2600.00 c #Conflicts: 728000 | #Constraints: 3301584
2593.29/2600.00 c #Conflicts: 729000 | #Constraints: 3302584
2593.29/2600.00 c #Conflicts: 730000 | #Constraints: 3303584
2593.29/2600.00 c #Conflicts: 731000 | #Constraints: 3304584
2593.29/2600.00 c #Conflicts: 732000 | #Constraints: 3305584
2593.29/2600.00 c #Conflicts: 733000 | #Constraints: 3306584
2593.29/2600.00 c #Conflicts: 734000 | #Constraints: 3307584
2593.29/2600.00 c #Conflicts: 735000 | #Constraints: 3308584
2593.29/2600.00 c #Conflicts: 736000 | #Constraints: 3309584
2593.29/2600.00 c #Conflicts: 737000 | #Constraints: 3310584
2593.29/2600.00 c #Conflicts: 738000 | #Constraints: 3311584
2593.29/2600.00 c #Conflicts: 739000 | #Constraints: 3312584
2593.29/2600.00 c #Conflicts: 740000 | #Constraints: 3313584
2593.29/2600.00 c #Conflicts: 741000 | #Constraints: 3314584
2593.29/2600.00 c #Conflicts: 742000 | #Constraints: 3315584
2593.29/2600.00 c #Conflicts: 743000 | #Constraints: 3316584
2593.29/2600.00 c #Conflicts: 744000 | #Constraints: 3317584
2593.29/2600.00 c #Conflicts: 745000 | #Constraints: 3318584
2593.29/2600.00 c #Conflicts: 746000 | #Constraints: 3319584
2593.29/2600.00 c #Conflicts: 747000 | #Constraints: 3320584
2593.29/2600.00 c #Conflicts: 748000 | #Constraints: 3321584
2593.29/2600.00 c #Conflicts: 749000 | #Constraints: 3322584
2593.29/2600.00 c #Conflicts: 750000 | #Constraints: 3323584
2593.29/2600.00 c #Conflicts: 751000 | #Constraints: 3324584
2593.29/2600.00 c #Conflicts: 752000 | #Constraints: 3325584
2593.29/2600.00 c #Conflicts: 753000 | #Constraints: 3326584
2593.29/2600.00 c #Conflicts: 754000 | #Constraints: 3327584
2593.29/2600.00 c #Conflicts: 755000 | #Constraints: 3328584
2593.29/2600.00 c #Conflicts: 756000 | #Constraints: 3329584
2593.29/2600.00 c INPROCESSING
2593.29/2600.00 c GARBAGE COLLECT
2593.29/2600.00 c #Conflicts: 757000 | #Constraints: 3277617
2593.29/2600.00 c #Conflicts: 758000 | #Constraints: 3278617
2593.29/2600.00 c #Conflicts: 759000 | #Constraints: 3279617
2593.29/2600.00 c #Conflicts: 760000 | #Constraints: 3280617
2593.29/2600.00 c #Conflicts: 761000 | #Constraints: 3281617
2593.29/2600.00 c #Conflicts: 762000 | #Constraints: 3282617
2593.29/2600.00 c #Conflicts: 763000 | #Constraints: 3283617
2593.29/2600.00 c #Conflicts: 764000 | #Constraints: 3284617
2593.29/2600.00 c #Conflicts: 765000 | #Constraints: 3285617
2593.29/2600.00 c #Conflicts: 766000 | #Constraints: 3286617
2593.29/2600.00 c #Conflicts: 767000 | #Constraints: 3287617
2593.29/2600.00 c #Conflicts: 768000 | #Constraints: 3288617
2593.29/2600.00 c #Conflicts: 769000 | #Constraints: 3289617
2593.29/2600.00 c #Conflicts: 770000 | #Constraints: 3290617
2593.29/2600.00 c #Conflicts: 771000 | #Constraints: 3291617
2593.29/2600.00 c #Conflicts: 772000 | #Constraints: 3292617
2593.29/2600.00 c #Conflicts: 773000 | #Constraints: 3293617
2593.29/2600.00 c #Conflicts: 774000 | #Constraints: 3294617
2593.29/2600.00 c #Conflicts: 775000 | #Constraints: 3295617
2593.29/2600.00 c #Conflicts: 776000 | #Constraints: 3296617
2846.70/2853.91 c #Conflicts: 777000 | #Constraints: 3297617
2846.70/2853.91 c #Conflicts: 778000 | #Constraints: 3298617
2846.70/2853.91 c #Conflicts: 779000 | #Constraints: 3299617
2846.70/2853.91 c #Conflicts: 780000 | #Constraints: 3300617
2846.70/2853.91 c #Conflicts: 781000 | #Constraints: 3301617
2846.70/2853.91 c #Conflicts: 782000 | #Constraints: 3302617
2846.70/2853.91 c #Conflicts: 783000 | #Constraints: 3303617
2846.70/2853.91 c #Conflicts: 784000 | #Constraints: 3304617
2846.70/2853.91 c #Conflicts: 785000 | #Constraints: 3305617
2846.70/2853.91 c #Conflicts: 786000 | #Constraints: 3306617
2846.70/2853.91 c #Conflicts: 787000 | #Constraints: 3307617
2846.70/2853.91 c #Conflicts: 788000 | #Constraints: 3308617
2846.70/2853.91 c #Conflicts: 789000 | #Constraints: 3309617
2846.70/2853.91 c #Conflicts: 790000 | #Constraints: 3310617
2846.70/2853.91 c #Conflicts: 791000 | #Constraints: 3311617
2846.70/2853.91 c #Conflicts: 792000 | #Constraints: 3312617
2846.70/2853.91 c #Conflicts: 793000 | #Constraints: 3313617
2846.70/2853.91 c #Conflicts: 794000 | #Constraints: 3314617
2846.70/2853.91 c #Conflicts: 795000 | #Constraints: 3315617
2846.70/2853.91 c #Conflicts: 796000 | #Constraints: 3316617
2846.70/2853.91 c #Conflicts: 797000 | #Constraints: 3317617
2846.70/2853.91 c #Conflicts: 798000 | #Constraints: 3318617
2846.70/2853.91 c #Conflicts: 799000 | #Constraints: 3319617
2846.70/2853.91 c #Conflicts: 800000 | #Constraints: 3320617
2846.70/2853.91 c #Conflicts: 801000 | #Constraints: 3321617
2846.70/2853.91 c #Conflicts: 802000 | #Constraints: 3322617
2846.70/2853.91 c #Conflicts: 803000 | #Constraints: 3323617
2846.70/2853.91 c #Conflicts: 804000 | #Constraints: 3324617
2846.70/2853.91 c #Conflicts: 805000 | #Constraints: 3325617
2846.70/2853.91 c #Conflicts: 806000 | #Constraints: 3326617
2846.70/2853.91 c #Conflicts: 807000 | #Constraints: 3327617
2846.70/2853.91 c #Conflicts: 808000 | #Constraints: 3328617
2846.70/2853.91 c #Conflicts: 809000 | #Constraints: 3329617
2846.70/2853.91 c #Conflicts: 810000 | #Constraints: 3330617
2846.70/2853.91 c #Conflicts: 811000 | #Constraints: 3331617
2846.70/2853.91 c #Conflicts: 812000 | #Constraints: 3332617
2846.70/2853.91 c INPROCESSING
2846.70/2853.91 c GARBAGE COLLECT
2846.70/2853.91 c #Conflicts: 813000 | #Constraints: 3284842
2846.70/2853.91 c #Conflicts: 814000 | #Constraints: 3285842
2846.70/2853.91 c #Conflicts: 815000 | #Constraints: 3286842
2846.70/2853.91 c #Conflicts: 816000 | #Constraints: 3287842
2846.70/2853.91 c #Conflicts: 817000 | #Constraints: 3288842
2846.70/2853.91 c #Conflicts: 818000 | #Constraints: 3289842
2846.70/2853.91 c #Conflicts: 819000 | #Constraints: 3290842
2846.70/2853.91 c #Conflicts: 820000 | #Constraints: 3291842
2846.70/2853.91 c #Conflicts: 821000 | #Constraints: 3292842
2846.70/2853.91 c #Conflicts: 822000 | #Constraints: 3293842
2846.70/2853.91 c #Conflicts: 823000 | #Constraints: 3294842
2846.70/2853.91 c #Conflicts: 824000 | #Constraints: 3295842
2846.70/2853.91 c #Conflicts: 825000 | #Constraints: 3296842
2846.70/2853.91 c #Conflicts: 826000 | #Constraints: 3297842
2846.70/2853.91 c #Conflicts: 827000 | #Constraints: 3298842
2846.70/2853.91 c #Conflicts: 828000 | #Constraints: 3299842
2846.70/2853.91 c #Conflicts: 829000 | #Constraints: 3300842
2846.70/2853.91 c #Conflicts: 830000 | #Constraints: 3301842
2846.70/2853.91 c #Conflicts: 831000 | #Constraints: 3302842
2846.70/2853.91 c #Conflicts: 832000 | #Constraints: 3303842
2846.70/2853.91 c #Conflicts: 833000 | #Constraints: 3304842
2846.70/2853.91 c #Conflicts: 834000 | #Constraints: 3305842
2846.70/2853.91 c #Conflicts: 835000 | #Constraints: 3306842
2846.70/2853.91 c #Conflicts: 836000 | #Constraints: 3307842
2846.70/2853.91 c #Conflicts: 837000 | #Constraints: 3308842
2846.70/2853.91 c #Conflicts: 838000 | #Constraints: 3309842
2846.70/2853.91 c #Conflicts: 839000 | #Constraints: 3310842
2846.70/2853.91 c #Conflicts: 840000 | #Constraints: 3311842
2846.70/2853.91 c #Conflicts: 841000 | #Constraints: 3312842
2846.70/2853.91 c #Conflicts: 842000 | #Constraints: 3313842
2846.70/2853.91 c #Conflicts: 843000 | #Constraints: 3314842
2846.70/2853.91 c #Conflicts: 844000 | #Constraints: 3315842
2846.70/2853.91 c #Conflicts: 845000 | #Constraints: 3316842
2846.70/2853.91 c #Conflicts: 846000 | #Constraints: 3317842
2846.70/2853.91 c #Conflicts: 847000 | #Constraints: 3318842
2846.70/2853.91 c #Conflicts: 848000 | #Constraints: 3319842
2846.70/2853.91 c #Conflicts: 849000 | #Constraints: 3320842
2846.70/2853.91 c #Conflicts: 850000 | #Constraints: 3321842
2846.70/2853.91 c #Conflicts: 851000 | #Constraints: 3322842
2846.70/2853.91 c #Conflicts: 852000 | #Constraints: 3323842
2846.70/2853.91 c #Conflicts: 853000 | #Constraints: 3324842
2846.70/2853.91 c #Conflicts: 854000 | #Constraints: 3325842
2846.70/2853.91 c #Conflicts: 855000 | #Constraints: 3326842
3162.46/3170.44 c #Conflicts: 856000 | #Constraints: 3327842
3162.46/3170.44 c #Conflicts: 857000 | #Constraints: 3328842
3162.46/3170.44 c #Conflicts: 858000 | #Constraints: 3329842
3162.46/3170.44 c #Conflicts: 859000 | #Constraints: 3330842
3162.46/3170.44 c #Conflicts: 860000 | #Constraints: 3331842
3162.46/3170.44 c #Conflicts: 861000 | #Constraints: 3332842
3162.46/3170.44 c #Conflicts: 862000 | #Constraints: 3333842
3162.46/3170.44 c #Conflicts: 863000 | #Constraints: 3334842
3162.46/3170.44 c #Conflicts: 864000 | #Constraints: 3335842
3162.46/3170.44 c #Conflicts: 865000 | #Constraints: 3336842
3162.46/3170.44 c #Conflicts: 866000 | #Constraints: 3337842
3162.46/3170.44 c #Conflicts: 867000 | #Constraints: 3338842
3162.46/3170.44 c #Conflicts: 868000 | #Constraints: 3339842
3162.46/3170.44 c #Conflicts: 869000 | #Constraints: 3340842
3162.46/3170.44 c #Conflicts: 870000 | #Constraints: 3341842
3162.46/3170.44 c INPROCESSING
3162.46/3170.44 c GARBAGE COLLECT
3162.46/3170.44 c #Conflicts: 871000 | #Constraints: 3290743
3162.46/3170.44 c #Conflicts: 872000 | #Constraints: 3291743
3162.46/3170.44 c #Conflicts: 873000 | #Constraints: 3292743
3162.46/3170.44 c #Conflicts: 874000 | #Constraints: 3293743
3162.46/3170.44 c #Conflicts: 875000 | #Constraints: 3294743
3162.46/3170.44 c #Conflicts: 876000 | #Constraints: 3295743
3162.46/3170.44 c #Conflicts: 877000 | #Constraints: 3296743
3162.46/3170.44 c #Conflicts: 878000 | #Constraints: 3297743
3162.46/3170.44 c #Conflicts: 879000 | #Constraints: 3298743
3162.46/3170.44 c #Conflicts: 880000 | #Constraints: 3299743
3162.46/3170.44 c #Conflicts: 881000 | #Constraints: 3300743
3162.46/3170.44 c #Conflicts: 882000 | #Constraints: 3301743
3162.46/3170.44 c #Conflicts: 883000 | #Constraints: 3302743
3162.46/3170.44 c #Conflicts: 884000 | #Constraints: 3303743
3162.46/3170.44 c #Conflicts: 885000 | #Constraints: 3304743
3162.46/3170.44 c #Conflicts: 886000 | #Constraints: 3305743
3162.46/3170.44 c #Conflicts: 887000 | #Constraints: 3306743
3162.46/3170.44 c #Conflicts: 888000 | #Constraints: 3307743
3162.46/3170.44 c #Conflicts: 889000 | #Constraints: 3308743
3162.46/3170.44 c #Conflicts: 890000 | #Constraints: 3309743
3162.46/3170.44 c #Conflicts: 891000 | #Constraints: 3310743
3162.46/3170.44 c #Conflicts: 892000 | #Constraints: 3311743
3162.46/3170.44 c #Conflicts: 893000 | #Constraints: 3312743
3162.46/3170.44 c #Conflicts: 894000 | #Constraints: 3313743
3162.46/3170.44 c #Conflicts: 895000 | #Constraints: 3314743
3162.46/3170.44 c #Conflicts: 896000 | #Constraints: 3315743
3162.46/3170.44 c #Conflicts: 897000 | #Constraints: 3316743
3162.46/3170.44 c #Conflicts: 898000 | #Constraints: 3317743
3162.46/3170.44 c #Conflicts: 899000 | #Constraints: 3318743
3162.46/3170.44 c #Conflicts: 900000 | #Constraints: 3319743
3162.46/3170.44 c #Conflicts: 901000 | #Constraints: 3320743
3162.46/3170.44 c #Conflicts: 902000 | #Constraints: 3321743
3162.46/3170.44 c #Conflicts: 903000 | #Constraints: 3322743
3162.46/3170.44 c #Conflicts: 904000 | #Constraints: 3323743
3162.46/3170.44 c #Conflicts: 905000 | #Constraints: 3324743
3162.46/3170.44 c #Conflicts: 906000 | #Constraints: 3325743
3162.46/3170.44 c #Conflicts: 907000 | #Constraints: 3326743
3162.46/3170.44 c #Conflicts: 908000 | #Constraints: 3327743
3162.46/3170.44 c #Conflicts: 909000 | #Constraints: 3328743
3162.46/3170.44 c #Conflicts: 910000 | #Constraints: 3329743
3162.46/3170.44 c #Conflicts: 911000 | #Constraints: 3330743
3162.46/3170.44 c #Conflicts: 912000 | #Constraints: 3331743
3162.46/3170.44 c #Conflicts: 913000 | #Constraints: 3332743
3162.46/3170.44 c #Conflicts: 914000 | #Constraints: 3333743
3162.46/3170.44 c #Conflicts: 915000 | #Constraints: 3334743
3162.46/3170.44 c #Conflicts: 916000 | #Constraints: 3335743
3162.46/3170.44 c #Conflicts: 917000 | #Constraints: 3336743
3162.46/3170.44 c #Conflicts: 918000 | #Constraints: 3337743
3162.46/3170.44 c #Conflicts: 919000 | #Constraints: 3338743
3162.46/3170.44 c #Conflicts: 920000 | #Constraints: 3339743
3162.46/3170.44 c #Conflicts: 921000 | #Constraints: 3340743
3162.46/3170.44 c #Conflicts: 922000 | #Constraints: 3341743
3162.46/3170.44 c #Conflicts: 923000 | #Constraints: 3342743
3162.46/3170.44 c #Conflicts: 924000 | #Constraints: 3343743
3162.46/3170.44 c #Conflicts: 925000 | #Constraints: 3344743
3162.46/3170.44 c #Conflicts: 926000 | #Constraints: 3345743
3162.46/3170.44 c #Conflicts: 927000 | #Constraints: 3346743
3162.46/3170.44 c #Conflicts: 928000 | #Constraints: 3347743
3162.46/3170.44 c #Conflicts: 929000 | #Constraints: 3348743
3162.46/3170.44 c #Conflicts: 930000 | #Constraints: 3349743
3162.46/3170.44 c INPROCESSING
3162.46/3170.44 c GARBAGE COLLECT
3162.46/3170.44 c #Conflicts: 931000 | #Constraints: 3298502
3162.46/3170.44 c #Conflicts: 932000 | #Constraints: 3299502
3507.52/3516.59 c #Conflicts: 933000 | #Constraints: 3300502
3507.52/3516.59 c #Conflicts: 934000 | #Constraints: 3301502
3507.52/3516.59 c #Conflicts: 935000 | #Constraints: 3302502
3507.52/3516.59 c #Conflicts: 936000 | #Constraints: 3303502
3507.52/3516.59 c #Conflicts: 937000 | #Constraints: 3304502
3507.52/3516.59 c #Conflicts: 938000 | #Constraints: 3305502
3507.52/3516.59 c #Conflicts: 939000 | #Constraints: 3306502
3507.52/3516.59 c #Conflicts: 940000 | #Constraints: 3307502
3507.52/3516.59 c #Conflicts: 941000 | #Constraints: 3308502
3507.52/3516.59 c #Conflicts: 942000 | #Constraints: 3309502
3507.52/3516.59 c #Conflicts: 943000 | #Constraints: 3310502
3507.52/3516.59 c #Conflicts: 944000 | #Constraints: 3311502
3507.52/3516.59 c #Conflicts: 945000 | #Constraints: 3312502
3507.52/3516.59 c #Conflicts: 946000 | #Constraints: 3313502
3507.52/3516.59 c #Conflicts: 947000 | #Constraints: 3314502
3507.52/3516.59 c #Conflicts: 948000 | #Constraints: 3315502
3507.52/3516.59 c #Conflicts: 949000 | #Constraints: 3316502
3507.52/3516.59 c #Conflicts: 950000 | #Constraints: 3317502
3507.52/3516.59 c #Conflicts: 951000 | #Constraints: 3318502
3507.52/3516.59 c #Conflicts: 952000 | #Constraints: 3319502
3507.52/3516.59 c #Conflicts: 953000 | #Constraints: 3320502
3507.52/3516.59 c #Conflicts: 954000 | #Constraints: 3321502
3507.52/3516.59 c #Conflicts: 955000 | #Constraints: 3322502
3507.52/3516.59 c #Conflicts: 956000 | #Constraints: 3323502
3507.52/3516.59 c #Conflicts: 957000 | #Constraints: 3324502
3507.52/3516.59 c #Conflicts: 958000 | #Constraints: 3325502
3507.52/3516.59 c #Conflicts: 959000 | #Constraints: 3326502
3507.52/3516.59 c #Conflicts: 960000 | #Constraints: 3327502
3507.52/3516.59 c #Conflicts: 961000 | #Constraints: 3328502
3507.52/3516.59 c #Conflicts: 962000 | #Constraints: 3329502
3507.52/3516.59 c #Conflicts: 963000 | #Constraints: 3330502
3507.52/3516.59 c #Conflicts: 964000 | #Constraints: 3331502
3507.52/3516.59 c #Conflicts: 965000 | #Constraints: 3332502
3507.52/3516.59 c #Conflicts: 966000 | #Constraints: 3333502
3507.52/3516.59 c #Conflicts: 967000 | #Constraints: 3334502
3507.52/3516.59 c #Conflicts: 968000 | #Constraints: 3335502
3507.52/3516.59 c #Conflicts: 969000 | #Constraints: 3336502
3507.52/3516.59 c #Conflicts: 970000 | #Constraints: 3337502
3507.52/3516.59 c #Conflicts: 971000 | #Constraints: 3338502
3507.52/3516.59 c #Conflicts: 972000 | #Constraints: 3339502
3507.52/3516.59 c #Conflicts: 973000 | #Constraints: 3340502
3507.52/3516.59 c #Conflicts: 974000 | #Constraints: 3341502
3507.52/3516.59 c #Conflicts: 975000 | #Constraints: 3342502
3507.52/3516.59 c #Conflicts: 976000 | #Constraints: 3343502
3507.52/3516.59 c #Conflicts: 977000 | #Constraints: 3344502
3507.52/3516.59 c #Conflicts: 978000 | #Constraints: 3345502
3507.52/3516.59 c #Conflicts: 979000 | #Constraints: 3346502
3507.52/3516.59 c #Conflicts: 980000 | #Constraints: 3347502
3507.52/3516.59 c #Conflicts: 981000 | #Constraints: 3348502
3507.52/3516.59 c #Conflicts: 982000 | #Constraints: 3349502
3507.52/3516.59 c #Conflicts: 983000 | #Constraints: 3350502
3507.52/3516.59 c #Conflicts: 984000 | #Constraints: 3351502
3507.52/3516.59 c #Conflicts: 985000 | #Constraints: 3352502
3507.52/3516.59 c #Conflicts: 986000 | #Constraints: 3353502
3507.52/3516.59 c #Conflicts: 987000 | #Constraints: 3354502
3507.52/3516.59 c #Conflicts: 988000 | #Constraints: 3355502
3507.52/3516.59 c #Conflicts: 989000 | #Constraints: 3356502
3507.52/3516.59 c #Conflicts: 990000 | #Constraints: 3357502
3507.52/3516.59 c #Conflicts: 991000 | #Constraints: 3358502
3507.52/3516.59 c #Conflicts: 992000 | #Constraints: 3359502
3507.52/3516.59 c INPROCESSING
3507.52/3516.59 c GARBAGE COLLECT
3507.52/3516.59 c #Conflicts: 993000 | #Constraints: 3298761
3507.52/3516.59 c #Conflicts: 994000 | #Constraints: 3299761
3507.52/3516.59 c #Conflicts: 995000 | #Constraints: 3300761
3507.52/3516.59 c #Conflicts: 996000 | #Constraints: 3301761
3507.52/3516.59 c #Conflicts: 997000 | #Constraints: 3302761
3507.52/3516.59 c #Conflicts: 998000 | #Constraints: 3303761
3507.52/3516.59 c #Conflicts: 999000 | #Constraints: 3304761
3507.52/3516.59 c #Conflicts: 1000000 | #Constraints: 3305761
3507.52/3516.59 c #Conflicts: 1001000 | #Constraints: 3306761
3507.52/3516.59 c #Conflicts: 1002000 | #Constraints: 3307761
3507.52/3516.59 c #Conflicts: 1003000 | #Constraints: 3308761
3507.52/3516.59 c #Conflicts: 1004000 | #Constraints: 3309761
3507.52/3516.59 c #Conflicts: 1005000 | #Constraints: 3310761
3507.52/3516.59 c #Conflicts: 1006000 | #Constraints: 3311761
3507.52/3516.59 c #Conflicts: 1007000 | #Constraints: 3312761
3507.52/3516.59 c #Conflicts: 1008000 | #Constraints: 3313761
3507.52/3516.59 c #Conflicts: 1009000 | #Constraints: 3314761
3507.52/3516.59 c #Conflicts: 1010000 | #Constraints: 3315761
3600.04/3609.30 c #Conflicts: 1011000 | #Constraints: 3316761
3600.04/3609.30 c #Conflicts: 1012000 | #Constraints: 3317761
3600.04/3609.30 c #Conflicts: 1013000 | #Constraints: 3318761
3600.04/3609.30 c #Conflicts: 1014000 | #Constraints: 3319761
3600.04/3609.30 c #Conflicts: 1015000 | #Constraints: 3320761
3600.04/3609.30 c #Conflicts: 1016000 | #Constraints: 3321761
3600.04/3609.30 c #Conflicts: 1017000 | #Constraints: 3322761
3600.04/3609.30 c #Conflicts: 1018000 | #Constraints: 3323761
3600.04/3609.30 c #Conflicts: 1019000 | #Constraints: 3324761
3600.04/3609.30 c #Conflicts: 1020000 | #Constraints: 3325761
3600.04/3609.30 c #Conflicts: 1021000 | #Constraints: 3326761
3600.04/3609.30 c cpu time 3491.99 s
3600.04/3609.30 c deterministic time 354044619917 3.54e+11
3600.04/3609.30 c optimization time 243.901 s
3600.04/3609.30 c total solve time 3241.43 s
3600.04/3609.30 c core-guided solve time 2174.31 s
3600.04/3609.30 c propagation time 1665.02 s
3600.04/3609.30 c conflict analysis time 1621.17 s
3600.04/3609.30 c propagations 3822278031
3600.04/3609.30 c resolve steps 101997861
3600.04/3609.30 c decisions 94168763
3600.04/3609.30 c conflicts 1021918
3600.04/3609.30 c restarts 2045
3600.04/3609.30 c inprocessing phases 31
3600.04/3609.30 c garbage collections 22 ,( 70.97 )
3600.04/3609.30 c input clauses 3238575 ,( 99.95 )
3600.04/3609.30 c input cardinalities 1279 ,( 0.04 )
3600.04/3609.30 c input general constraints 259 ,( 0.01 )
3600.04/3609.30 c input average constraint length 3.20
3600.04/3609.30 c input average constraint degree 43.20
3600.04/3609.30 c learned clauses 534750 ,( 52.33 )
3600.04/3609.30 c learned cardinalities 42897 ,( 4.20 )
3600.04/3609.30 c learned general constraints 444270 ,( 43.47 )
3600.04/3609.30 c learned average constraint length 1025.86
3600.04/3609.30 c learned average constraint degree 40412284.26
3600.04/3609.30 c watched CF 32, 64, 128, Arb: 223477 , 0 , 0 , 0
3600.04/3609.30 c counting CF 32, 64, 128, Arb: 221053 , 0 , 0 , 0
3600.04/3609.30 c watched constraints 223477 ,( 50.27 )
3600.04/3609.30 c counting constraints 221052 ,( 49.73 )
3600.04/3609.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3342652994 , 157543053 , 1435731614 ,( 432331867 , 1003399747 )
3600.04/3609.30 c gcd simplifications 14687
3600.04/3609.30 c detected cardinalities 849
3600.04/3609.30 c weakened non-implied lits 454553933
3600.04/3609.30 c weakened non-implying lits 195417
3600.04/3609.30 c original variables 1242807
3600.04/3609.30 c clausal propagations 3111484020
3600.04/3609.30 c cardinality propagations 320199638
3600.04/3609.30 c watched propagations 7197060
3600.04/3609.30 c counting propagations 370761713
3600.04/3609.30 c watch lookups 27382521652
3600.04/3609.30 c watch backjump lookups 0
3600.04/3609.30 c watch checks 216298383510
3600.04/3609.30 c propagation checks 98184796093
3600.04/3609.30 c constraint additions 4345728049
3600.04/3609.30 c trail pops 3916743818
3600.04/3609.30 c formula constraints 3240110
3600.04/3609.30 c learned constraints 1021917
3600.04/3609.30 c bound constraints 1
3600.04/3609.30 c core-guided constraints 2
3600.04/3609.30 c encountered formula constraints 84603502
3600.04/3609.30 c encountered learned constraints 18414698
3600.04/3609.30 c encountered bound constraints 13
3600.04/3609.30 c encountered core-guided constraints 1566
3600.04/3609.30 c LP total time 0 s
3600.04/3609.30 c LP solve time 0 s
3600.04/3609.30 c LP constraints added 0
3600.04/3609.30 c LP constraints removed 0
3600.04/3609.30 c LP pivots internal 0
3600.04/3609.30 c LP pivots root 0
3600.04/3609.30 c LP calls 0
3600.04/3609.30 c LP optimalities 0
3600.04/3609.30 c LP no pivot count 0
3600.04/3609.30 c LP infeasibilities 0
3600.04/3609.30 c LP valid Farkas constraints 0
3600.04/3609.30 c LP learned Farkas constraints 0
3600.04/3609.30 c LP basis resets 0
3600.04/3609.30 c LP cycling count 0
3600.04/3609.30 c LP singular count 0
3600.04/3609.30 c LP no primal count 0
3600.04/3609.30 c LP no farkas count 0
3600.04/3609.30 c LP other issue count 0
3600.04/3609.30 c LP Gomory cuts 0
3600.04/3609.30 c LP learned cuts 0
3600.04/3609.30 c LP deleted cuts 0
3600.04/3609.30 c LP encountered Gomory constraints 0
3600.04/3609.30 c LP encountered Farkas constraints 0
3600.04/3609.30 c LP encountered learned Farkas constraints 0
3600.04/3609.30 c CG auxiliary variables introduced 1
3600.04/3609.30 c CG solutions found 0
3600.04/3609.30 c CG cores constructed 1
3600.04/3609.30 c CG core cardinality constraints returned 1
3600.04/3609.30 c CG unit cores 0
3600.04/3609.30 c CG single cores 1
3600.04/3609.30 c CG blocks removed during cardinality reduction 0
3600.04/3609.30 c CG first core best 0
3600.04/3609.30 c CG decision core best 0
3600.04/3609.30 c CG core reduction tie 0
3600.04/3609.30 c CG core degree average 115.00
3600.04/3609.30 c CG core slack average 13.00
3600.04/3609.30 c CG core upper bound improvements 0
3600.04/3609.30 c STR number of successful calls 0
3600.04/3609.30 c STR number of unsuccessful calls 0
3600.04/3609.30 c STR number of inconclusive calls 0
3600.04/3609.30 c STR number of successful attempts 0
3600.04/3609.30 c STR number of unsuccessful attempts 0
3600.04/3609.30 c STR number of inconclusive attempts 0
3600.04/3609.30 c STR average degree increase per successful call inf
3600.04/3609.30 c STR average degree increase per successful attempt inf
3600.04/3609.30 c STR total number of conflicts for successful attempts 0
3600.04/3609.30 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.30 c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.30 c STR average number of conflicts per successful attempt inf
3600.04/3609.30 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.30 c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.30 c AVG.sumWPerc 47.42
3600.04/3609.30 c bigint constraints 0
3600.04/3609.30 s UNKNOWN
3600.04/3609.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62280 MiB free)
memory of node 1: 64507 MiB (63787 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509244-1751516364/watcher-4509244-1751516364 -o /tmp/evaluation-result-4509244-1751516364/solver-4509244-1751516364 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751509141-76421 --watchdog 3760 run-opt-break.sh HOME/instance-4509244-1751516364.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=77786, runsolver pid=77783
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.09 4.09 4.09 5/267 77788
/proc/meminfo: memFree=129061480/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77788] ppid=77786 vsize=57164 memory=36884 CPUtime=0.09 cores=4,6
/proc/77788/stat : 77788 (pbsuma) R 77786 77786 76410 0 -1 4194304 8988 0 0 0 8 1 0 0 20 0 1 0 67316654 58535936 9221 18446744073709551615 4210688 4653049 140736601468080 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 11395072 140736601471331 140736601471538 140736601471538 140736601477103 0
/proc/77788/statm: 14291 9221 960 108 0 11699 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61356 KiB
Current children cumulated memory: 39956 KiB
[startup+0.205547 s]*
/proc/loadavg: 4.09 4.09 4.09 5/267 77788
/proc/meminfo: memFree=128964004/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77788] ppid=77786 vsize=170992 memory=139812 CPUtime=0.19 cores=4,6
/proc/77788/stat : 77788 (pbsuma) R 77786 77786 76410 0 -1 4194304 17859 0 0 0 15 4 0 0 20 0 1 0 67316654 175095808 34953 18446744073709551615 4210688 4653049 140736601468080 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 11395072 140736601471331 140736601471538 140736601471538 140736601477103 0
/proc/77788/statm: 42748 34953 960 108 0 40156 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 175184 KiB
Current children cumulated memory: 142884 KiB
[startup+0.305596 s]*
/proc/loadavg: 4.09 4.09 4.09 5/267 77788
/proc/meminfo: memFree=128923204/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77788] ppid=77786 vsize=247772 memory=179836 CPUtime=0.29 cores=4,6
/proc/77788/stat : 77788 (pbsuma) R 77786 77786 76410 0 -1 4194304 20711 0 0 0 24 5 0 0 20 0 1 0 67316654 253718528 44959 18446744073709551615 4210688 4653049 140736601468080 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 11395072 140736601471331 140736601471538 140736601471538 140736601477103 0
/proc/77788/statm: 61943 44959 960 108 0 59351 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 251964 KiB
Current children cumulated memory: 182908 KiB
[startup+0.700201 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 77788
/proc/meminfo: memFree=128886596/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77788] ppid=77786 vsize=289552 memory=196228 CPUtime=0.68 cores=4,6
/proc/77788/stat : 77788 (pbsuma) R 77786 77786 76410 0 -1 4194304 27208 0 0 0 61 7 0 0 20 0 1 0 67316654 296501248 49057 18446744073709551615 4210688 4653049 140736601468080 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 11395072 140736601471331 140736601471538 140736601471538 140736601477103 0
/proc/77788/statm: 72388 49057 992 108 0 69796 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 293744 KiB
Current children cumulated memory: 199300 KiB
[startup+1.50018 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 77788
/proc/meminfo: memFree=128860640/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77788] ppid=77786 vsize=293388 memory=225904 CPUtime=1.48 cores=4,6
/proc/77788/stat : 77788 (pbsuma) R 77786 77786 76410 0 -1 4194304 31669 0 0 0 140 8 0 0 20 0 1 0 67316654 300429312 56476 18446744073709551615 4210688 4653049 140736601468080 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 11395072 140736601471331 140736601471538 140736601471538 140736601477103 0
/proc/77788/statm: 73347 56476 992 108 0 70755 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 297580 KiB
Current children cumulated memory: 228976 KiB
[startup+3.10525 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 77788
/proc/meminfo: memFree=128808584/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77788] ppid=77786 vsize=326464 memory=250736 CPUtime=3.07 cores=4,6
/proc/77788/stat : 77788 (pbsuma) R 77786 77786 76410 0 -1 4194304 39185 0 0 0 298 9 0 0 20 0 1 0 67316654 334299136 62684 18446744073709551615 4210688 4653049 140736601468080 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 11395072 140736601471331 140736601471538 140736601471538 140736601477103 0
/proc/77788/statm: 81616 62684 992 108 0 79024 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 330656 KiB
Current children cumulated memory: 253808 KiB
[startup+6.30013 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 77802
/proc/meminfo: memFree=129253092/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77788] ppid=77786 vsize=336676 memory=260336 CPUtime=6.27 cores=4,6
/proc/77788/stat : 77788 (pbsuma) R 77786 77786 76410 0 -1 4194304 41594 0 0 0 617 10 0 0 20 0 1 0 67316654 344756224 65084 18446744073709551615 4210688 4653049 140736601468080 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 11395072 140736601471331 140736601471538 140736601471538 140736601477103 0
/proc/77788/statm: 84169 65084 992 108 0 81577 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 340868 KiB
Current children cumulated memory: 263408 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 77835
/proc/meminfo: memFree=128921404/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77788] ppid=77786 vsize=374888 memory=299044 CPUtime=12.65 cores=4,6
/proc/77788/stat : 77788 (pbsuma) R 77786 77786 76410 0 -1 4194304 44647 0 0 0 1254 11 0 0 20 0 1 0 67316654 383885312 74761 18446744073709551615 4210688 4653049 140736601468080 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 11395072 140736601471331 140736601471538 140736601471538 140736601477103 0
/proc/77788/statm: 93722 74761 992 108 0 91130 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 379080 KiB
Current children cumulated memory: 302116 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 77835
/proc/meminfo: memFree=128631344/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77788] ppid=77786 vsize=409268 memory=341216 CPUtime=25.43 cores=4,6
/proc/77788/stat : 77788 (pbsuma) R 77786 77786 76410 0 -1 4194304 49601 0 0 0 2530 13 0 0 20 0 1 0 67316654 419090432 85304 18446744073709551615 4210688 4653049 140736601468080 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 11395072 140736601471331 140736601471538 140736601471538 140736601477103 0
/proc/77788/statm: 102317 85304 992 108 0 99725 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 413460 KiB
Current children cumulated memory: 344288 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 77836
/proc/meminfo: memFree=127900200/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=37.8 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 236 67813 0 0 0 0 3755 25 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77836] ppid=77786 vsize=850116 memory=735116 CPUtime=13.16 cores=4,6
/proc/77836/stat : 77836 (roundingsat) R 77786 77786 76410 0 -1 4194304 86505 0 0 0 1069 247 0 0 20 0 1 0 67320444 870518784 183779 18446744073709551615 4227072 8923433 140729182057264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40177664 140729182058852 140729182059048 140729182059048 140729182064618 0
/proc/77836/statm: 212529 183779 2016 1147 0 199956 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 854308 KiB
Current children cumulated memory: 738188 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/268 77844
/proc/meminfo: memFree=126940152/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=37.8 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 236 67813 0 0 0 0 3755 25 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77836] ppid=77786 vsize=1136056 memory=886708 CPUtime=64.23 cores=4,6
/proc/77836/stat : 77836 (roundingsat) R 77786 77786 76410 0 -1 4194304 93675 0 0 0 5990 433 0 0 20 0 1 0 67320444 1163321344 221677 18446744073709551615 4227072 8923433 140729182057264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40177664 140729182058852 140729182059048 140729182059048 140729182064618 0
/proc/77836/statm: 284014 221677 2048 1147 0 271441 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1140248 KiB
Current children cumulated memory: 889780 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 77846
/proc/meminfo: memFree=126450316/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=37.8 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 236 67813 0 0 0 0 3755 25 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77836] ppid=77786 vsize=1226316 memory=991332 CPUtime=124.05 cores=4,6
/proc/77836/stat : 77836 (roundingsat) R 77786 77786 76410 0 -1 4194304 113837 0 0 0 11828 577 0 0 20 0 1 0 67320444 1255747584 247833 18446744073709551615 4227072 8923433 140729182057264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40177664 140729182058852 140729182059048 140729182059048 140729182064618 0
/proc/77836/statm: 306579 247833 2048 1147 0 294006 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1230508 KiB
Current children cumulated memory: 994404 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 77850
/proc/meminfo: memFree=126111620/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=37.8 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 236 67813 0 0 0 0 3755 25 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77836] ppid=77786 vsize=1398328 memory=1095048 CPUtime=183.87 cores=4,6
/proc/77836/stat : 77836 (roundingsat) R 77786 77786 76410 0 -1 4194304 120943 0 0 0 17600 787 0 0 20 0 1 0 67320444 1431887872 273762 18446744073709551615 4227072 8923433 140729182057264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40177664 140729182058852 140729182059048 140729182059048 140729182064618 0
/proc/77836/statm: 349582 273762 2048 1147 0 337009 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
Current children cumulated memory: 5566984 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/266 77996
/proc/meminfo: memFree=113086396/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=37.8 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 236 67813 0 0 0 0 3755 25 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77836] ppid=77786 vsize=6805668 memory=5563912 CPUtime=3116.59 cores=4,6
/proc/77836/stat : 77836 (roundingsat) R 77786 77786 76410 0 -1 4194304 1038405 0 0 0 304817 6842 0 0 20 0 1 0 67320444 6969004032 1390978 18446744073709551615 4227072 8923433 140729182057264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40177664 140729182058852 140729182059048 140729182059048 140729182064618 0
/proc/77836/statm: 1701417 1390978 2048 1147 0 1688844 0
Current children cumulated CPU time: 3154.39 s
Current children cumulated vsize: 6809860 KiB
Current children cumulated memory: 5566984 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/267 78001
/proc/meminfo: memFree=113023904/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=37.8 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 236 67813 0 0 0 0 3755 25 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77836] ppid=77786 vsize=6850588 memory=5601620 CPUtime=3176.43 cores=4,6
/proc/77836/stat : 77836 (roundingsat) R 77786 77786 76410 0 -1 4194304 1052786 0 0 0 310753 6890 0 0 20 0 1 0 67320444 7015002112 1400405 18446744073709551615 4227072 8923433 140729182057264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40177664 140729182058852 140729182059048 140729182059048 140729182064618 0
/proc/77836/statm: 1712647 1400405 2048 1147 0 1700074 0
Current children cumulated CPU time: 3214.23 s
Current children cumulated vsize: 6854780 KiB
Current children cumulated memory: 5604692 KiB
[startup+3282.3 s]
/proc/loadavg: 4.29 4.22 4.13 5/267 78003
/proc/meminfo: memFree=112899040/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=37.8 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 236 67813 0 0 0 0 3755 25 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77836] ppid=77786 vsize=6901904 memory=5640916 CPUtime=3236.24 cores=4,6
/proc/77836/stat : 77836 (roundingsat) R 77786 77786 76410 0 -1 4194304 1063242 0 0 0 316717 6907 0 0 20 0 1 0 67320444 7067549696 1410229 18446744073709551615 4227072 8923433 140729182057264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40177664 140729182058852 140729182059048 140729182059048 140729182064618 0
/proc/77836/statm: 1725476 1410229 2048 1147 0 1712903 0
Current children cumulated CPU time: 3274.04 s
Current children cumulated vsize: 6906096 KiB
Current children cumulated memory: 5643988 KiB
[startup+3342.3 s]
/proc/loadavg: 3.68 4.06 4.09 4/260 78035
/proc/meminfo: memFree=112962812/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=37.8 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 236 67813 0 0 0 0 3755 25 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77836] ppid=77786 vsize=6966988 memory=5698772 CPUtime=3296.05 cores=4,6
/proc/77836/stat : 77836 (roundingsat) R 77786 77786 76410 0 -1 4194304 1077958 0 0 0 322639 6966 0 0 20 0 1 0 67320444 7134195712 1424693 18446744073709551615 4227072 8923433 140729182057264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40177664 140729182058852 140729182059048 140729182059048 140729182064618 0
/proc/77836/statm: 1741747 1424693 2048 1147 0 1729174 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 6971180 KiB
Current children cumulated memory: 5701844 KiB
[startup+3402.3 s]
/proc/loadavg: 3.29 3.88 4.02 4/260 78037
/proc/meminfo: memFree=112693152/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=37.8 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 236 67813 0 0 0 0 3755 25 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77836] ppid=77786 vsize=7045092 memory=5764568 CPUtime=3355.86 cores=4,6
/proc/77836/stat : 77836 (roundingsat) R 77786 77786 76410 0 -1 4194304 1095949 0 0 0 328597 6989 0 0 20 0 1 0 67320444 7214174208 1441142 18446744073709551615 4227072 8923433 140729182057264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40177664 140729182058852 140729182059048 140729182059048 140729182064618 0
/proc/77836/statm: 1761273 1441142 2048 1147 0 1748700 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 7049284 KiB
Current children cumulated memory: 5767640 KiB
[startup+3462.3 s]
/proc/loadavg: 3.21 3.75 3.96 4/260 78039
/proc/meminfo: memFree=112697188/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=37.8 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 236 67813 0 0 0 0 3755 25 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77836] ppid=77786 vsize=7045092 memory=5764568 CPUtime=3415.68 cores=4,6
/proc/77836/stat : 77836 (roundingsat) R 77786 77786 76410 0 -1 4194304 1096081 0 0 0 334576 6992 0 0 20 0 1 0 67320444 7214174208 1441142 18446744073709551615 4227072 8923433 140729182057264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40177664 140729182058852 140729182059048 140729182059048 140729182064618 0
/proc/77836/statm: 1761273 1441142 2048 1147 0 1748700 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 7049284 KiB
Current children cumulated memory: 5767640 KiB
[startup+3522.3 s]
/proc/loadavg: 3.08 3.61 3.90 4/259 78041
/proc/meminfo: memFree=112696480/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=37.8 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 236 67813 0 0 0 0 3755 25 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77836] ppid=77786 vsize=7045092 memory=5777080 CPUtime=3475.51 cores=4,6
/proc/77836/stat : 77836 (roundingsat) R 77786 77786 76410 0 -1 4194304 1097120 0 0 0 340551 7000 0 0 20 0 1 0 67320444 7214174208 1444270 18446744073709551615 4227072 8923433 140729182057264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40177664 140729182058852 140729182059048 140729182059048 140729182064618 0
/proc/77836/statm: 1761273 1444270 2048 1147 0 1748700 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 7049284 KiB
Current children cumulated memory: 5780152 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.53 3.85 4/259 78043
/proc/meminfo: memFree=112616148/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=37.8 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 236 67813 0 0 0 0 3755 25 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77836] ppid=77786 vsize=7045092 memory=5777080 CPUtime=3535.33 cores=4,6
/proc/77836/stat : 77836 (roundingsat) R 77786 77786 76410 0 -1 4194304 1097581 0 0 0 346529 7004 0 0 20 0 1 0 67320444 7214174208 1444270 18446744073709551615 4227072 8923433 140729182057264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40177664 140729182058852 140729182059048 140729182059048 140729182064618 0
/proc/77836/statm: 1761273 1444270 2048 1147 0 1748700 0
Current children cumulated CPU time: 3573.13 s
Current children cumulated vsize: 7049284 KiB
Current children cumulated memory: 5780152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 3.09 3.48 3.82 4/259 78044
/proc/meminfo: memFree=112595784/131250000 swapFree=33008100/33010684
[pid=77786] ppid=77783 vsize=4192 memory=3072 CPUtime=37.8 cores=4,6
/proc/77786/stat : 77786 (run-opt-break.s) S 77783 77786 76410 0 -1 4194304 236 67813 0 0 0 0 3755 25 20 0 1 0 67316653 4292608 768 18446744073709551615 93834058145792 93834059040325 140732325824880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93834059279376 93834059327120 93834081214464 140732325828961 140732325829090 140732325829090 140732325834692 0
/proc/77786/statm: 1048 768 704 219 0 110 0
[pid=77836] ppid=77786 vsize=7045092 memory=5777080 CPUtime=3562.24 cores=4,6
/proc/77836/stat : 77836 (roundingsat) R 77786 77786 76410 0 -1 4194304 1097819 0 0 0 349199 7025 0 0 20 0 1 0 67320444 7214174208 1444270 18446744073709551615 4227072 8923433 140729182057264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40177664 140729182058852 140729182059048 140729182059048 140729182064618 0
/proc/77836/statm: 1761273 1444270 2048 1147 0 1748700 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 7049284 KiB
Current children cumulated memory: 5780152 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.3 s]
# the end of solver process 77786 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=37.5524 s, system=0.253438 s
Sleeping 2 seconds
[startup+3609.73 s]
# the end of solver process 77836 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3529.82 s, system=70.6587 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]*
/proc/loadavg: 3.09 3.48 3.82 4/258 78044
/proc/meminfo: memFree=114938448/131250000 swapFree=33008100/33010684
Current cumulated CPU time of completed processes: 37.8058 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3609.71 s]
/proc/loadavg: 3.09 3.48 3.82 4/258 78044
/proc/meminfo: memFree=114938448/131250000 swapFree=33008100/33010684
Current cumulated CPU time of completed processes: 37.8058 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3609.73
CPU time (s): 3600.48
CPU user time (s): 3529.82
CPU system time (s): 70.6587
CPU usage (%): 99.7438
Max. virtual memory (cumulated for all children) (KiB): 7142888
Max. memory (cumulated for all children) (KiB): 5861100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3529.82
system time used= 70.6587
maximum resident set size= 5858028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1165958
page faults= 0
swaps= 0
block input operations= 0
block output operations= 280984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 258
involuntary context switches= 3066
# summary of solver processes directly reported to runsolver:
# pid: 77786,77836
# total CPU time (s): 3600.48
# total CPU user time (s): 3529.82
# total CPU system time (s): 70.6587
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72746 second user time and 15.784 second system time
The end