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-4509242-1751516006.opb'
0.00/0.09 c read 7.36MB (88.46ms)
0.00/0.09 c [cnf: #variables 163584 #clauses 2813 #duplicates 0 #arr 653056]
0.00/0.10 c
0.00/0.10 c make graph and approximate orbits
0.29/0.36 c [group: #orbits ~= 1432] (261.44ms)
0.29/0.36 c
0.29/0.36 c detect special group actions
0.29/0.36 c probe for Johnson action (limit=64)
0.49/0.59 c probe for row-column symmetry (limit=64, splits=16.78M)
1.37/1.46 c probe for row symmetry (limit=64, splits=16.78M)
1.48/1.50 c recursing 10856 blocks of candidate 59x2556r
1.48/1.54 c recursing 18 blocks of candidate 3x256r
1.48/1.54 c recursing 1456 blocks of candidate 8x2556r
1.48/1.55 c recursing 12 blocks of candidate 3x256r
1.48/1.57 c recursing 3420 blocks of candidate 19x2556r
1.48/1.58 c recursing 8 blocks of candidate 4x256r
1.58/1.61 c recursing 7120 blocks of candidate 40x2556r
1.58/1.68 c found row 4x256, generating row predicate
1.68/1.74 c found row 5x256, generating row predicate
1.78/1.82 c found row 6x256, generating row predicate
1.88/1.92 c found row 8x256, generating row predicate
1.88/1.95 c found row 3x256, generating row predicate
1.98/2.07 c found row 9x256, generating row predicate
2.18/2.20 c found row 10x256, generating row predicate
2.18/2.29 c found row 7x256, generating row predicate
2.38/2.44 c found row 11x256, generating row predicate
2.58/2.60 c found row 12x256, generating row predicate
2.67/2.78 c found row 13x256, generating row predicate
2.87/2.97 c found row 14x256, generating row predicate
3.17/3.20 c found row 16x256, generating row predicate
3.37/3.45 c found row 18x256, generating row predicate
3.67/3.71 c found row 19x256, generating row predicate
3.87/3.92 c found row 15x256, generating row predicate
4.17/4.20 c found row 20x256, generating row predicate
4.37/4.49 c found row 21x256, generating row predicate
4.77/4.80 c found row 22x256, generating row predicate
5.17/5.21 c found row 29x256, generating row predicate
5.56/5.65 c found row 31x256, generating row predicate
6.16/6.24 c found row 41x256, generating row predicate
6.86/6.94 c found row 49x256, generating row predicate
7.66/7.73 c found row 55x256, generating row predicate
8.56/8.64 c found row 63x256, generating row predicate
9.56/9.66 c found row 71x256, generating row predicate
12.25/12.31 c found row 182x256, generating row predicate
12.65/12.78 c found row 40x2556, generating row predicate
12.74/12.84 c found row 4x256, generating row predicate
13.05/13.16 c found row 19x2556, generating row predicate
13.14/13.20 c found row 3x256, generating row predicate
13.14/13.21 c recursing 22 blocks of candidate 11x256r
13.14/13.24 c recursing 7040 blocks of candidate 40x2556r
13.25/13.31 c found row 4x256, generating row predicate
13.25/13.37 c found row 5x256, generating row predicate
13.35/13.44 c found row 6x256, generating row predicate
13.45/13.55 c found row 8x256, generating row predicate
13.45/13.58 c found row 3x256, generating row predicate
13.65/13.70 c found row 9x256, generating row predicate
13.75/13.83 c found row 10x256, generating row predicate
13.85/13.92 c found row 7x256, generating row predicate
13.95/14.07 c found row 11x256, generating row predicate
14.15/14.23 c found row 12x256, generating row predicate
14.35/14.41 c found row 13x256, generating row predicate
14.54/14.61 c found row 14x256, generating row predicate
14.74/14.83 c found row 16x256, generating row predicate
14.94/15.08 c found row 18x256, generating row predicate
15.24/15.35 c found row 19x256, generating row predicate
15.44/15.56 c found row 15x256, generating row predicate
15.74/15.83 c found row 20x256, generating row predicate
16.04/16.13 c found row 21x256, generating row predicate
16.34/16.44 c found row 22x256, generating row predicate
16.73/16.85 c found row 29x256, generating row predicate
17.13/17.29 c found row 31x256, generating row predicate
17.73/17.87 c found row 41x256, generating row predicate
18.43/18.58 c found row 49x256, generating row predicate
19.23/19.37 c found row 55x256, generating row predicate
20.12/20.27 c found row 63x256, generating row predicate
21.22/21.30 c found row 71x256, generating row predicate
23.81/23.95 c found row 182x256, generating row predicate
24.32/24.41 c found row 40x2556, generating row predicate
24.42/24.57 c found row 11x256, generating row predicate
24.62/24.75 c found row 8x2556, generating row predicate
24.62/24.79 c found row 3x256, generating row predicate
24.72/24.81 c recursing 30 blocks of candidate 15x256r
24.72/24.84 c recursing 6960 blocks of candidate 40x2556r
24.82/24.91 c found row 4x256, generating row predicate
24.82/24.97 c found row 5x256, generating row predicate
24.92/25.04 c found row 6x256, generating row predicate
25.02/25.15 c found row 8x256, generating row predicate
25.02/25.18 c found row 3x256, generating row predicate
25.22/25.30 c found row 9x256, generating row predicate
25.32/25.43 c found row 10x256, generating row predicate
25.42/25.52 c found row 7x256, generating row predicate
25.52/25.67 c found row 11x256, generating row predicate
25.71/25.83 c found row 12x256, generating row predicate
25.92/26.01 c found row 13x256, generating row predicate
26.11/26.20 c found row 14x256, generating row predicate
26.31/26.43 c found row 16x256, generating row predicate
26.51/26.67 c found row 18x256, generating row predicate
26.81/26.94 c found row 19x256, generating row predicate
27.11/27.22 c found row 20x256, generating row predicate
27.41/27.51 c found row 21x256, generating row predicate
27.71/27.82 c found row 22x256, generating row predicate
28.11/28.23 c found row 29x256, generating row predicate
28.51/28.67 c found row 31x256, generating row predicate
29.10/29.27 c found row 41x256, generating row predicate
29.80/29.98 c found row 49x256, generating row predicate
30.60/30.77 c found row 55x256, generating row predicate
31.50/31.67 c found row 63x256, generating row predicate
32.50/32.70 c found row 71x256, generating row predicate
35.19/35.35 c found row 182x256, generating row predicate
35.69/35.80 c found row 40x2556, generating row predicate
35.89/36.03 c found row 15x256, generating row predicate
36.48/36.64 c found row 59x2556, generating row predicate
36.48/36.67 c (36309.52ms)
36.48/36.67 c
36.48/36.67 c detect symmetries on remainder
36.48/36.67 c [graph: #vertices 982773 #edges 2938864]
36.48/36.68 c dejavu (support_limit=2048.00MB, budget_limit=64)
36.89/37.05 c [group: #symmetries 2.93*10^262 #generators 362] (385.59ms)
36.89/37.05 c
36.89/37.05 c optimize generators (opt_passes=64, conjugate_limit=256)
36.89/37.06 c ran it=0, +gens=0
37.99/38.16 c con best_support=512, best_gens=362, +gens=45
37.99/38.16 c (1102.81ms)
37.99/38.16 c
37.99/38.16 c finalize break order and special generators
37.99/38.17 c
37.99/38.17 c add generic predicates (break_depth=20)
37.99/38.17 c added predicates for 407 generators (6.80ms)
37.99/38.17 c
37.99/38.17 c generation finished
37.99/38.17 c [sbp: #constraints 3240474 #add_vars 1079223]
37.99/38.17 c
37.99/38.17 c write result to 'HOME/instance-4509242-1751516006.opb.pre'
38.28/38.47 c wrote 143.86MB (295.79ms)
38.38/38.50 c ------------------------------------------------------------------
38.38/38.50 c 36309.52ms 94.32% detect_special
38.38/38.50 c 1102.81ms 2.86% optimize_gens
38.38/38.50 c 385.59ms 1.00% detect_generic
38.38/38.50 c 295.79ms 0.77% output
38.38/38.50 c 261.44ms 0.68% approx_orbits
38.38/38.50 c 88.46ms 0.23% parse
38.38/38.50 c 35.12ms 0.09% other
38.38/38.50 c 9.92ms 0.03% finalize_order
38.38/38.50 c 6.80ms 0.02% break_generic
38.38/38.50 c ───────────────────────────────────────────────
38.38/38.50 c 38495.43ms 100% total
38.38/38.50 c ------------------------------------------------------------------
38.38/38.54 c RoundingSat 2
38.38/38.54 c branch pb25
38.38/38.54 c commit 63f22ad
47.84/48.07 c #variables 1242807 #constraints 3240110
47.84/48.07 c objective is ce32
58.91/59.16 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
58.91/59.16 c initial counting CF 32, 64, 128, Arb: 259 , 0 , 0 , 0
58.91/59.16 c bounds - >= 0 @ 18.0361
64.69/64.91 c #Conflicts: 1000 | #Constraints: 3241109
64.69/64.91 c #Conflicts: 2000 | #Constraints: 3242109
64.69/64.91 c INPROCESSING
64.69/64.91 c bounds - >= 115 @ 23.4139
200.24/200.86 c #Conflicts: 3000 | #Constraints: 3211824
200.24/200.86 c #Conflicts: 4000 | #Constraints: 3212824
200.24/200.86 c #Conflicts: 5000 | #Constraints: 3213824
200.24/200.86 c #Conflicts: 6000 | #Constraints: 3214824
200.24/200.86 c INPROCESSING
200.24/200.86 c #Conflicts: 7000 | #Constraints: 3197686
200.24/200.86 c #Conflicts: 8000 | #Constraints: 3198686
200.24/200.86 c #Conflicts: 9000 | #Constraints: 3199686
200.24/200.86 c #Conflicts: 10000 | #Constraints: 3200686
200.24/200.86 c #Conflicts: 11000 | #Constraints: 3201686
200.24/200.86 c #Conflicts: 12000 | #Constraints: 3202686
200.24/200.86 c INPROCESSING
200.24/200.86 c #Conflicts: 13000 | #Constraints: 3193077
200.24/200.86 c #Conflicts: 14000 | #Constraints: 3194077
200.24/200.86 c #Conflicts: 15000 | #Constraints: 3195077
200.24/200.86 c #Conflicts: 16000 | #Constraints: 3196077
200.24/200.86 c #Conflicts: 17000 | #Constraints: 3197077
200.24/200.86 c #Conflicts: 18000 | #Constraints: 3198077
200.24/200.86 c #Conflicts: 19000 | #Constraints: 3199077
200.24/200.86 c #Conflicts: 20000 | #Constraints: 3200077
200.24/200.86 c INPROCESSING
200.24/200.86 c #Conflicts: 21000 | #Constraints: 3191994
200.24/200.86 c #Conflicts: 22000 | #Constraints: 3192994
200.24/200.86 c #Conflicts: 23000 | #Constraints: 3193994
200.24/200.86 c #Conflicts: 24000 | #Constraints: 3194994
200.24/200.86 c #Conflicts: 25000 | #Constraints: 3195994
200.24/200.86 c #Conflicts: 26000 | #Constraints: 3196994
200.24/200.86 c #Conflicts: 27000 | #Constraints: 3197994
200.24/200.86 c #Conflicts: 28000 | #Constraints: 3198994
200.24/200.86 c #Conflicts: 29000 | #Constraints: 3199994
200.24/200.86 c #Conflicts: 30000 | #Constraints: 3200994
200.24/200.86 c INPROCESSING
200.24/200.86 c #Conflicts: 31000 | #Constraints: 3191771
200.24/200.86 c #Conflicts: 32000 | #Constraints: 3192771
200.24/200.86 c #Conflicts: 33000 | #Constraints: 3193771
200.24/200.86 c #Conflicts: 34000 | #Constraints: 3194771
200.24/200.86 c #Conflicts: 35000 | #Constraints: 3195771
200.24/200.86 c #Conflicts: 36000 | #Constraints: 3196771
200.24/200.86 c #Conflicts: 37000 | #Constraints: 3197771
200.24/200.86 c #Conflicts: 38000 | #Constraints: 3198771
200.24/200.86 c #Conflicts: 39000 | #Constraints: 3199771
200.24/200.86 c #Conflicts: 40000 | #Constraints: 3200771
200.24/200.86 c #Conflicts: 41000 | #Constraints: 3201771
200.24/200.86 c #Conflicts: 42000 | #Constraints: 3202771
200.24/200.86 c INPROCESSING
200.24/200.86 c #Conflicts: 43000 | #Constraints: 3193648
200.24/200.86 c #Conflicts: 44000 | #Constraints: 3194648
200.24/200.86 c #Conflicts: 45000 | #Constraints: 3195648
200.24/200.86 c #Conflicts: 46000 | #Constraints: 3196648
200.24/200.86 c #Conflicts: 47000 | #Constraints: 3197648
200.24/200.86 c #Conflicts: 48000 | #Constraints: 3198648
200.24/200.86 c #Conflicts: 49000 | #Constraints: 3199648
200.24/200.86 c #Conflicts: 50000 | #Constraints: 3200648
200.24/200.86 c #Conflicts: 51000 | #Constraints: 3201648
200.24/200.86 c #Conflicts: 52000 | #Constraints: 3202648
200.24/200.86 c #Conflicts: 53000 | #Constraints: 3203648
200.24/200.86 c #Conflicts: 54000 | #Constraints: 3204648
200.24/200.86 c #Conflicts: 55000 | #Constraints: 3205648
200.24/200.86 c #Conflicts: 56000 | #Constraints: 3206648
200.24/200.86 c INPROCESSING
200.24/200.86 c GARBAGE COLLECT
200.24/200.86 c #Conflicts: 57000 | #Constraints: 3197689
200.24/200.86 c #Conflicts: 58000 | #Constraints: 3198689
200.24/200.86 c #Conflicts: 59000 | #Constraints: 3199689
200.24/200.86 c #Conflicts: 60000 | #Constraints: 3200689
200.24/200.86 c #Conflicts: 61000 | #Constraints: 3201689
200.24/200.86 c #Conflicts: 62000 | #Constraints: 3202689
200.24/200.86 c #Conflicts: 63000 | #Constraints: 3203689
200.24/200.86 c #Conflicts: 64000 | #Constraints: 3204689
200.24/200.86 c #Conflicts: 65000 | #Constraints: 3205689
200.24/200.86 c #Conflicts: 66000 | #Constraints: 3206689
200.24/200.86 c #Conflicts: 67000 | #Constraints: 3207689
200.24/200.86 c #Conflicts: 68000 | #Constraints: 3208689
200.24/200.86 c #Conflicts: 69000 | #Constraints: 3209689
200.24/200.86 c #Conflicts: 70000 | #Constraints: 3210689
200.24/200.86 c #Conflicts: 71000 | #Constraints: 3211689
200.24/200.86 c #Conflicts: 72000 | #Constraints: 3212689
200.24/200.86 c INPROCESSING
200.24/200.86 c #Conflicts: 73000 | #Constraints: 3201325
200.24/200.86 c #Conflicts: 74000 | #Constraints: 3202325
200.24/200.86 c #Conflicts: 75000 | #Constraints: 3203325
200.24/200.86 c #Conflicts: 76000 | #Constraints: 3204325
200.24/200.86 c #Conflicts: 77000 | #Constraints: 3205325
200.24/200.86 c #Conflicts: 78000 | #Constraints: 3206325
200.24/200.86 c #Conflicts: 79000 | #Constraints: 3207325
357.71/358.76 c #Conflicts: 80000 | #Constraints: 3208325
357.71/358.76 c #Conflicts: 81000 | #Constraints: 3209325
357.71/358.76 c #Conflicts: 82000 | #Constraints: 3210325
357.71/358.76 c #Conflicts: 83000 | #Constraints: 3211325
357.71/358.76 c #Conflicts: 84000 | #Constraints: 3212325
357.71/358.76 c #Conflicts: 85000 | #Constraints: 3213325
357.71/358.76 c #Conflicts: 86000 | #Constraints: 3214325
357.71/358.76 c #Conflicts: 87000 | #Constraints: 3215325
357.71/358.76 c #Conflicts: 88000 | #Constraints: 3216325
357.71/358.76 c #Conflicts: 89000 | #Constraints: 3217325
357.71/358.76 c #Conflicts: 90000 | #Constraints: 3218325
357.71/358.76 c INPROCESSING
357.71/358.76 c GARBAGE COLLECT
357.71/358.76 c #Conflicts: 91000 | #Constraints: 3203653
357.71/358.76 c #Conflicts: 92000 | #Constraints: 3204653
357.71/358.76 c #Conflicts: 93000 | #Constraints: 3205653
357.71/358.76 c #Conflicts: 94000 | #Constraints: 3206653
357.71/358.76 c #Conflicts: 95000 | #Constraints: 3207653
357.71/358.76 c #Conflicts: 96000 | #Constraints: 3208653
357.71/358.76 c #Conflicts: 97000 | #Constraints: 3209653
357.71/358.76 c #Conflicts: 98000 | #Constraints: 3210653
357.71/358.76 c #Conflicts: 99000 | #Constraints: 3211653
357.71/358.76 c #Conflicts: 100000 | #Constraints: 3212653
357.71/358.76 c #Conflicts: 101000 | #Constraints: 3213653
357.71/358.76 c #Conflicts: 102000 | #Constraints: 3214653
357.71/358.76 c #Conflicts: 103000 | #Constraints: 3215653
357.71/358.76 c #Conflicts: 104000 | #Constraints: 3216653
357.71/358.76 c #Conflicts: 105000 | #Constraints: 3217653
357.71/358.76 c #Conflicts: 106000 | #Constraints: 3218653
357.71/358.76 c #Conflicts: 107000 | #Constraints: 3219653
357.71/358.76 c #Conflicts: 108000 | #Constraints: 3220653
357.71/358.76 c #Conflicts: 109000 | #Constraints: 3221653
357.71/358.76 c #Conflicts: 110000 | #Constraints: 3222653
357.71/358.76 c INPROCESSING
357.71/358.76 c GARBAGE COLLECT
357.71/358.76 c #Conflicts: 111000 | #Constraints: 3206796
357.71/358.76 c #Conflicts: 112000 | #Constraints: 3207796
357.71/358.76 c #Conflicts: 113000 | #Constraints: 3208796
357.71/358.76 c #Conflicts: 114000 | #Constraints: 3209796
357.71/358.76 c #Conflicts: 115000 | #Constraints: 3210796
357.71/358.76 c #Conflicts: 116000 | #Constraints: 3211796
357.71/358.76 c #Conflicts: 117000 | #Constraints: 3212796
357.71/358.76 c #Conflicts: 118000 | #Constraints: 3213796
357.71/358.76 c #Conflicts: 119000 | #Constraints: 3214796
357.71/358.76 c #Conflicts: 120000 | #Constraints: 3215796
357.71/358.76 c #Conflicts: 121000 | #Constraints: 3216796
357.71/358.76 c #Conflicts: 122000 | #Constraints: 3217796
357.71/358.76 c #Conflicts: 123000 | #Constraints: 3218796
357.71/358.76 c #Conflicts: 124000 | #Constraints: 3219796
357.71/358.76 c #Conflicts: 125000 | #Constraints: 3220796
357.71/358.76 c #Conflicts: 126000 | #Constraints: 3221796
357.71/358.76 c #Conflicts: 127000 | #Constraints: 3222796
357.71/358.76 c #Conflicts: 128000 | #Constraints: 3223796
357.71/358.76 c #Conflicts: 129000 | #Constraints: 3224796
357.71/358.76 c #Conflicts: 130000 | #Constraints: 3225796
357.71/358.76 c #Conflicts: 131000 | #Constraints: 3226796
357.71/358.76 c #Conflicts: 132000 | #Constraints: 3227796
357.71/358.76 c INPROCESSING
357.71/358.76 c #Conflicts: 133000 | #Constraints: 3211590
357.71/358.76 c #Conflicts: 134000 | #Constraints: 3212590
357.71/358.76 c #Conflicts: 135000 | #Constraints: 3213590
357.71/358.76 c #Conflicts: 136000 | #Constraints: 3214590
357.71/358.76 c #Conflicts: 137000 | #Constraints: 3215590
357.71/358.76 c #Conflicts: 138000 | #Constraints: 3216590
357.71/358.76 c #Conflicts: 139000 | #Constraints: 3217590
357.71/358.76 c #Conflicts: 140000 | #Constraints: 3218590
357.71/358.76 c #Conflicts: 141000 | #Constraints: 3219590
357.71/358.76 c #Conflicts: 142000 | #Constraints: 3220590
357.71/358.76 c #Conflicts: 143000 | #Constraints: 3221590
357.71/358.76 c #Conflicts: 144000 | #Constraints: 3222590
357.71/358.76 c #Conflicts: 145000 | #Constraints: 3223590
357.71/358.76 c #Conflicts: 146000 | #Constraints: 3224590
357.71/358.76 c #Conflicts: 147000 | #Constraints: 3225590
357.71/358.76 c #Conflicts: 148000 | #Constraints: 3226590
357.71/358.76 c #Conflicts: 149000 | #Constraints: 3227590
357.71/358.76 c #Conflicts: 150000 | #Constraints: 3228590
357.71/358.76 c #Conflicts: 151000 | #Constraints: 3229590
357.71/358.76 c #Conflicts: 152000 | #Constraints: 3230590
357.71/358.76 c #Conflicts: 153000 | #Constraints: 3231590
357.71/358.76 c #Conflicts: 154000 | #Constraints: 3232590
357.71/358.76 c #Conflicts: 155000 | #Constraints: 3233590
357.71/358.76 c #Conflicts: 156000 | #Constraints: 3234590
725.65/727.61 c INPROCESSING
725.65/727.61 c GARBAGE COLLECT
725.65/727.61 c #Conflicts: 157000 | #Constraints: 3216101
725.65/727.61 c #Conflicts: 158000 | #Constraints: 3217101
725.65/727.61 c #Conflicts: 159000 | #Constraints: 3218101
725.65/727.61 c #Conflicts: 160000 | #Constraints: 3219101
725.65/727.61 c #Conflicts: 161000 | #Constraints: 3220101
725.65/727.61 c #Conflicts: 162000 | #Constraints: 3221101
725.65/727.61 c #Conflicts: 163000 | #Constraints: 3222101
725.65/727.61 c #Conflicts: 164000 | #Constraints: 3223101
725.65/727.61 c #Conflicts: 165000 | #Constraints: 3224101
725.65/727.61 c #Conflicts: 166000 | #Constraints: 3225101
725.65/727.61 c #Conflicts: 167000 | #Constraints: 3226101
725.65/727.61 c #Conflicts: 168000 | #Constraints: 3227101
725.65/727.61 c #Conflicts: 169000 | #Constraints: 3228101
725.65/727.61 c #Conflicts: 170000 | #Constraints: 3229101
725.65/727.61 c #Conflicts: 171000 | #Constraints: 3230101
725.65/727.61 c #Conflicts: 172000 | #Constraints: 3231101
725.65/727.61 c #Conflicts: 173000 | #Constraints: 3232101
725.65/727.61 c #Conflicts: 174000 | #Constraints: 3233101
725.65/727.61 c #Conflicts: 175000 | #Constraints: 3234101
725.65/727.61 c #Conflicts: 176000 | #Constraints: 3235101
725.65/727.61 c #Conflicts: 177000 | #Constraints: 3236101
725.65/727.61 c #Conflicts: 178000 | #Constraints: 3237101
725.65/727.61 c #Conflicts: 179000 | #Constraints: 3238101
725.65/727.61 c #Conflicts: 180000 | #Constraints: 3239101
725.65/727.61 c #Conflicts: 181000 | #Constraints: 3240101
725.65/727.61 c #Conflicts: 182000 | #Constraints: 3241101
725.65/727.61 c INPROCESSING
725.65/727.61 c #Conflicts: 183000 | #Constraints: 3221428
725.65/727.61 c #Conflicts: 184000 | #Constraints: 3222428
725.65/727.61 c #Conflicts: 185000 | #Constraints: 3223428
725.65/727.61 c #Conflicts: 186000 | #Constraints: 3224428
725.65/727.61 c #Conflicts: 187000 | #Constraints: 3225428
725.65/727.61 c #Conflicts: 188000 | #Constraints: 3226428
725.65/727.61 c #Conflicts: 189000 | #Constraints: 3227428
725.65/727.61 c #Conflicts: 190000 | #Constraints: 3228428
725.65/727.61 c #Conflicts: 191000 | #Constraints: 3229428
725.65/727.61 c #Conflicts: 192000 | #Constraints: 3230428
725.65/727.61 c #Conflicts: 193000 | #Constraints: 3231428
725.65/727.61 c #Conflicts: 194000 | #Constraints: 3232428
725.65/727.61 c #Conflicts: 195000 | #Constraints: 3233428
725.65/727.61 c #Conflicts: 196000 | #Constraints: 3234428
725.65/727.61 c #Conflicts: 197000 | #Constraints: 3235428
725.65/727.61 c #Conflicts: 198000 | #Constraints: 3236428
725.65/727.61 c #Conflicts: 199000 | #Constraints: 3237428
725.65/727.61 c #Conflicts: 200000 | #Constraints: 3238428
725.65/727.61 c #Conflicts: 201000 | #Constraints: 3239428
725.65/727.61 c #Conflicts: 202000 | #Constraints: 3240428
725.65/727.61 c #Conflicts: 203000 | #Constraints: 3241428
725.65/727.61 c #Conflicts: 204000 | #Constraints: 3242428
725.65/727.61 c #Conflicts: 205000 | #Constraints: 3243428
725.65/727.61 c #Conflicts: 206000 | #Constraints: 3244428
725.65/727.61 c #Conflicts: 207000 | #Constraints: 3245428
725.65/727.61 c #Conflicts: 208000 | #Constraints: 3246428
725.65/727.61 c #Conflicts: 209000 | #Constraints: 3247428
725.65/727.61 c #Conflicts: 210000 | #Constraints: 3248428
725.65/727.61 c INPROCESSING
725.65/727.61 c GARBAGE COLLECT
725.65/727.61 c #Conflicts: 211000 | #Constraints: 3223786
725.65/727.61 c #Conflicts: 212000 | #Constraints: 3224786
725.65/727.61 c #Conflicts: 213000 | #Constraints: 3225786
725.65/727.61 c #Conflicts: 214000 | #Constraints: 3226786
725.65/727.61 c #Conflicts: 215000 | #Constraints: 3227786
725.65/727.61 c #Conflicts: 216000 | #Constraints: 3228786
725.65/727.61 c #Conflicts: 217000 | #Constraints: 3229786
725.65/727.61 c #Conflicts: 218000 | #Constraints: 3230786
725.65/727.61 c #Conflicts: 219000 | #Constraints: 3231786
725.65/727.61 c #Conflicts: 220000 | #Constraints: 3232786
725.65/727.61 c #Conflicts: 221000 | #Constraints: 3233786
725.65/727.61 c #Conflicts: 222000 | #Constraints: 3234786
725.65/727.61 c #Conflicts: 223000 | #Constraints: 3235786
725.65/727.61 c #Conflicts: 224000 | #Constraints: 3236786
725.65/727.61 c #Conflicts: 225000 | #Constraints: 3237786
725.65/727.61 c #Conflicts: 226000 | #Constraints: 3238786
725.65/727.61 c #Conflicts: 227000 | #Constraints: 3239786
725.65/727.61 c #Conflicts: 228000 | #Constraints: 3240786
725.65/727.61 c #Conflicts: 229000 | #Constraints: 3241786
725.65/727.61 c #Conflicts: 230000 | #Constraints: 3242786
725.65/727.61 c #Conflicts: 231000 | #Constraints: 3243786
725.65/727.61 c #Conflicts: 232000 | #Constraints: 3244786
725.65/727.61 c #Conflicts: 233000 | #Constraints: 3245786
1030.55/1033.36 c #Conflicts: 234000 | #Constraints: 3246786
1030.55/1033.36 c #Conflicts: 235000 | #Constraints: 3247786
1030.55/1033.36 c #Conflicts: 236000 | #Constraints: 3248786
1030.55/1033.36 c #Conflicts: 237000 | #Constraints: 3249786
1030.55/1033.36 c #Conflicts: 238000 | #Constraints: 3250786
1030.55/1033.36 c #Conflicts: 239000 | #Constraints: 3251786
1030.55/1033.36 c #Conflicts: 240000 | #Constraints: 3252786
1030.55/1033.36 c INPROCESSING
1030.55/1033.36 c GARBAGE COLLECT
1030.55/1033.36 c #Conflicts: 241000 | #Constraints: 3226576
1030.55/1033.36 c #Conflicts: 242000 | #Constraints: 3227576
1030.55/1033.36 c #Conflicts: 243000 | #Constraints: 3228576
1030.55/1033.36 c #Conflicts: 244000 | #Constraints: 3229576
1030.55/1033.36 c #Conflicts: 245000 | #Constraints: 3230576
1030.55/1033.36 c #Conflicts: 246000 | #Constraints: 3231576
1030.55/1033.36 c #Conflicts: 247000 | #Constraints: 3232576
1030.55/1033.36 c #Conflicts: 248000 | #Constraints: 3233576
1030.55/1033.36 c #Conflicts: 249000 | #Constraints: 3234576
1030.55/1033.36 c #Conflicts: 250000 | #Constraints: 3235576
1030.55/1033.36 c #Conflicts: 251000 | #Constraints: 3236576
1030.55/1033.36 c #Conflicts: 252000 | #Constraints: 3237576
1030.55/1033.36 c #Conflicts: 253000 | #Constraints: 3238576
1030.55/1033.36 c #Conflicts: 254000 | #Constraints: 3239576
1030.55/1033.36 c #Conflicts: 255000 | #Constraints: 3240576
1030.55/1033.36 c #Conflicts: 256000 | #Constraints: 3241576
1030.55/1033.36 c #Conflicts: 257000 | #Constraints: 3242576
1030.55/1033.36 c #Conflicts: 258000 | #Constraints: 3243576
1030.55/1033.36 c #Conflicts: 259000 | #Constraints: 3244576
1030.55/1033.36 c #Conflicts: 260000 | #Constraints: 3245576
1030.55/1033.36 c #Conflicts: 261000 | #Constraints: 3246576
1030.55/1033.36 c #Conflicts: 262000 | #Constraints: 3247576
1030.55/1033.36 c #Conflicts: 263000 | #Constraints: 3248576
1030.55/1033.36 c #Conflicts: 264000 | #Constraints: 3249576
1030.55/1033.36 c #Conflicts: 265000 | #Constraints: 3250576
1030.55/1033.36 c #Conflicts: 266000 | #Constraints: 3251576
1030.55/1033.36 c #Conflicts: 267000 | #Constraints: 3252576
1030.55/1033.36 c #Conflicts: 268000 | #Constraints: 3253576
1030.55/1033.36 c #Conflicts: 269000 | #Constraints: 3254576
1030.55/1033.36 c #Conflicts: 270000 | #Constraints: 3255576
1030.55/1033.36 c #Conflicts: 271000 | #Constraints: 3256576
1030.55/1033.36 c #Conflicts: 272000 | #Constraints: 3257576
1030.55/1033.36 c INPROCESSING
1030.55/1033.36 c GARBAGE COLLECT
1030.55/1033.36 c #Conflicts: 273000 | #Constraints: 3232115
1030.55/1033.36 c #Conflicts: 274000 | #Constraints: 3233115
1030.55/1033.36 c #Conflicts: 275000 | #Constraints: 3234115
1030.55/1033.36 c #Conflicts: 276000 | #Constraints: 3235115
1030.55/1033.36 c #Conflicts: 277000 | #Constraints: 3236115
1030.55/1033.36 c #Conflicts: 278000 | #Constraints: 3237115
1030.55/1033.36 c #Conflicts: 279000 | #Constraints: 3238115
1030.55/1033.36 c #Conflicts: 280000 | #Constraints: 3239115
1030.55/1033.36 c #Conflicts: 281000 | #Constraints: 3240115
1030.55/1033.36 c #Conflicts: 282000 | #Constraints: 3241115
1030.55/1033.36 c #Conflicts: 283000 | #Constraints: 3242115
1030.55/1033.36 c #Conflicts: 284000 | #Constraints: 3243115
1030.55/1033.36 c #Conflicts: 285000 | #Constraints: 3244115
1030.55/1033.36 c #Conflicts: 286000 | #Constraints: 3245115
1030.55/1033.36 c #Conflicts: 287000 | #Constraints: 3246115
1030.55/1033.36 c #Conflicts: 288000 | #Constraints: 3247115
1030.55/1033.36 c #Conflicts: 289000 | #Constraints: 3248115
1030.55/1033.36 c #Conflicts: 290000 | #Constraints: 3249115
1030.55/1033.36 c #Conflicts: 291000 | #Constraints: 3250115
1030.55/1033.36 c #Conflicts: 292000 | #Constraints: 3251115
1030.55/1033.36 c #Conflicts: 293000 | #Constraints: 3252115
1030.55/1033.36 c #Conflicts: 294000 | #Constraints: 3253115
1030.55/1033.36 c #Conflicts: 295000 | #Constraints: 3254115
1030.55/1033.36 c #Conflicts: 296000 | #Constraints: 3255115
1030.55/1033.36 c #Conflicts: 297000 | #Constraints: 3256115
1030.55/1033.36 c #Conflicts: 298000 | #Constraints: 3257115
1030.55/1033.36 c #Conflicts: 299000 | #Constraints: 3258115
1030.55/1033.36 c #Conflicts: 300000 | #Constraints: 3259115
1030.55/1033.36 c #Conflicts: 301000 | #Constraints: 3260115
1030.55/1033.36 c #Conflicts: 302000 | #Constraints: 3261115
1030.55/1033.36 c #Conflicts: 303000 | #Constraints: 3262115
1030.55/1033.36 c #Conflicts: 304000 | #Constraints: 3263115
1030.55/1033.36 c #Conflicts: 305000 | #Constraints: 3264115
1030.55/1033.36 c #Conflicts: 306000 | #Constraints: 3265115
1030.55/1033.36 c INPROCESSING
1030.55/1033.36 c GARBAGE COLLECT
1030.55/1033.36 c #Conflicts: 307000 | #Constraints: 3233095
1030.55/1033.36 c #Conflicts: 308000 | #Constraints: 3234095
1030.55/1033.36 c #Conflicts: 309000 | #Constraints: 3235095
1030.55/1033.36 c #Conflicts: 310000 | #Constraints: 3236095
1265.81/1269.23 c #Conflicts: 311000 | #Constraints: 3237095
1265.81/1269.23 c #Conflicts: 312000 | #Constraints: 3238095
1265.81/1269.23 c #Conflicts: 313000 | #Constraints: 3239095
1265.81/1269.23 c #Conflicts: 314000 | #Constraints: 3240095
1265.81/1269.23 c #Conflicts: 315000 | #Constraints: 3241095
1265.81/1269.23 c #Conflicts: 316000 | #Constraints: 3242095
1265.81/1269.23 c #Conflicts: 317000 | #Constraints: 3243095
1265.81/1269.23 c #Conflicts: 318000 | #Constraints: 3244095
1265.81/1269.23 c #Conflicts: 319000 | #Constraints: 3245095
1265.81/1269.23 c #Conflicts: 320000 | #Constraints: 3246095
1265.81/1269.23 c #Conflicts: 321000 | #Constraints: 3247095
1265.81/1269.23 c #Conflicts: 322000 | #Constraints: 3248095
1265.81/1269.23 c #Conflicts: 323000 | #Constraints: 3249095
1265.81/1269.23 c #Conflicts: 324000 | #Constraints: 3250095
1265.81/1269.23 c #Conflicts: 325000 | #Constraints: 3251095
1265.81/1269.23 c #Conflicts: 326000 | #Constraints: 3252095
1265.81/1269.23 c #Conflicts: 327000 | #Constraints: 3253095
1265.81/1269.23 c #Conflicts: 328000 | #Constraints: 3254095
1265.81/1269.23 c #Conflicts: 329000 | #Constraints: 3255095
1265.81/1269.23 c #Conflicts: 330000 | #Constraints: 3256095
1265.81/1269.23 c #Conflicts: 331000 | #Constraints: 3257095
1265.81/1269.23 c #Conflicts: 332000 | #Constraints: 3258095
1265.81/1269.23 c #Conflicts: 333000 | #Constraints: 3259095
1265.81/1269.23 c #Conflicts: 334000 | #Constraints: 3260095
1265.81/1269.23 c #Conflicts: 335000 | #Constraints: 3261095
1265.81/1269.23 c #Conflicts: 336000 | #Constraints: 3262095
1265.81/1269.23 c #Conflicts: 337000 | #Constraints: 3263095
1265.81/1269.23 c #Conflicts: 338000 | #Constraints: 3264095
1265.81/1269.23 c #Conflicts: 339000 | #Constraints: 3265095
1265.81/1269.23 c #Conflicts: 340000 | #Constraints: 3266095
1265.81/1269.23 c #Conflicts: 341000 | #Constraints: 3267095
1265.81/1269.23 c #Conflicts: 342000 | #Constraints: 3268095
1265.81/1269.23 c INPROCESSING
1265.81/1269.23 c GARBAGE COLLECT
1265.81/1269.23 c #Conflicts: 343000 | #Constraints: 3237007
1265.81/1269.23 c #Conflicts: 344000 | #Constraints: 3238007
1265.81/1269.23 c #Conflicts: 345000 | #Constraints: 3239007
1265.81/1269.23 c #Conflicts: 346000 | #Constraints: 3240007
1265.81/1269.23 c #Conflicts: 347000 | #Constraints: 3241007
1265.81/1269.23 c #Conflicts: 348000 | #Constraints: 3242007
1265.81/1269.23 c #Conflicts: 349000 | #Constraints: 3243007
1265.81/1269.23 c #Conflicts: 350000 | #Constraints: 3244007
1265.81/1269.23 c #Conflicts: 351000 | #Constraints: 3245007
1265.81/1269.23 c #Conflicts: 352000 | #Constraints: 3246007
1265.81/1269.23 c #Conflicts: 353000 | #Constraints: 3247007
1265.81/1269.23 c #Conflicts: 354000 | #Constraints: 3248007
1265.81/1269.23 c #Conflicts: 355000 | #Constraints: 3249007
1265.81/1269.23 c #Conflicts: 356000 | #Constraints: 3250007
1265.81/1269.23 c #Conflicts: 357000 | #Constraints: 3251007
1265.81/1269.23 c #Conflicts: 358000 | #Constraints: 3252007
1265.81/1269.23 c #Conflicts: 359000 | #Constraints: 3253007
1265.81/1269.23 c #Conflicts: 360000 | #Constraints: 3254007
1265.81/1269.23 c #Conflicts: 361000 | #Constraints: 3255007
1265.81/1269.23 c #Conflicts: 362000 | #Constraints: 3256007
1265.81/1269.23 c #Conflicts: 363000 | #Constraints: 3257007
1265.81/1269.23 c #Conflicts: 364000 | #Constraints: 3258007
1265.81/1269.23 c #Conflicts: 365000 | #Constraints: 3259007
1265.81/1269.23 c #Conflicts: 366000 | #Constraints: 3260007
1265.81/1269.23 c #Conflicts: 367000 | #Constraints: 3261007
1265.81/1269.23 c #Conflicts: 368000 | #Constraints: 3262007
1265.81/1269.23 c #Conflicts: 369000 | #Constraints: 3263007
1265.81/1269.23 c #Conflicts: 370000 | #Constraints: 3264007
1265.81/1269.23 c #Conflicts: 371000 | #Constraints: 3265007
1265.81/1269.23 c #Conflicts: 372000 | #Constraints: 3266007
1265.81/1269.23 c #Conflicts: 373000 | #Constraints: 3267007
1265.81/1269.23 c #Conflicts: 374000 | #Constraints: 3268007
1265.81/1269.23 c #Conflicts: 375000 | #Constraints: 3269007
1265.81/1269.23 c #Conflicts: 376000 | #Constraints: 3270007
1265.81/1269.23 c #Conflicts: 377000 | #Constraints: 3271007
1265.81/1269.23 c #Conflicts: 378000 | #Constraints: 3272007
1265.81/1269.23 c #Conflicts: 379000 | #Constraints: 3273007
1265.81/1269.23 c #Conflicts: 380000 | #Constraints: 3274007
1265.81/1269.23 c INPROCESSING
1265.81/1269.23 c GARBAGE COLLECT
1265.81/1269.23 c #Conflicts: 381000 | #Constraints: 3242621
1265.81/1269.23 c #Conflicts: 382000 | #Constraints: 3243621
1265.81/1269.23 c #Conflicts: 383000 | #Constraints: 3244621
1265.81/1269.23 c #Conflicts: 384000 | #Constraints: 3245621
1265.81/1269.23 c #Conflicts: 385000 | #Constraints: 3246621
1265.81/1269.23 c #Conflicts: 386000 | #Constraints: 3247621
1265.81/1269.23 c #Conflicts: 387000 | #Constraints: 3248621
1265.81/1269.23 c #Conflicts: 388000 | #Constraints: 3249621
1474.06/1478.09 c #Conflicts: 389000 | #Constraints: 3250621
1474.06/1478.09 c #Conflicts: 390000 | #Constraints: 3251621
1474.06/1478.09 c #Conflicts: 391000 | #Constraints: 3252621
1474.06/1478.09 c #Conflicts: 392000 | #Constraints: 3253621
1474.06/1478.09 c #Conflicts: 393000 | #Constraints: 3254621
1474.06/1478.09 c #Conflicts: 394000 | #Constraints: 3255621
1474.06/1478.09 c #Conflicts: 395000 | #Constraints: 3256621
1474.06/1478.09 c #Conflicts: 396000 | #Constraints: 3257621
1474.06/1478.09 c #Conflicts: 397000 | #Constraints: 3258621
1474.06/1478.09 c #Conflicts: 398000 | #Constraints: 3259621
1474.06/1478.09 c #Conflicts: 399000 | #Constraints: 3260621
1474.06/1478.09 c #Conflicts: 400000 | #Constraints: 3261621
1474.06/1478.09 c #Conflicts: 401000 | #Constraints: 3262621
1474.06/1478.09 c #Conflicts: 402000 | #Constraints: 3263621
1474.06/1478.09 c #Conflicts: 403000 | #Constraints: 3264621
1474.06/1478.09 c #Conflicts: 404000 | #Constraints: 3265621
1474.06/1478.09 c #Conflicts: 405000 | #Constraints: 3266621
1474.06/1478.09 c #Conflicts: 406000 | #Constraints: 3267621
1474.06/1478.09 c #Conflicts: 407000 | #Constraints: 3268621
1474.06/1478.09 c #Conflicts: 408000 | #Constraints: 3269621
1474.06/1478.09 c #Conflicts: 409000 | #Constraints: 3270621
1474.06/1478.09 c #Conflicts: 410000 | #Constraints: 3271621
1474.06/1478.09 c #Conflicts: 411000 | #Constraints: 3272621
1474.06/1478.09 c #Conflicts: 412000 | #Constraints: 3273621
1474.06/1478.09 c #Conflicts: 413000 | #Constraints: 3274621
1474.06/1478.09 c #Conflicts: 414000 | #Constraints: 3275621
1474.06/1478.09 c #Conflicts: 415000 | #Constraints: 3276621
1474.06/1478.09 c #Conflicts: 416000 | #Constraints: 3277621
1474.06/1478.09 c #Conflicts: 417000 | #Constraints: 3278621
1474.06/1478.09 c #Conflicts: 418000 | #Constraints: 3279621
1474.06/1478.09 c #Conflicts: 419000 | #Constraints: 3280621
1474.06/1478.09 c #Conflicts: 420000 | #Constraints: 3281621
1474.06/1478.09 c INPROCESSING
1474.06/1478.09 c GARBAGE COLLECT
1474.06/1478.09 c #Conflicts: 421000 | #Constraints: 3247358
1474.06/1478.09 c #Conflicts: 422000 | #Constraints: 3248358
1474.06/1478.09 c #Conflicts: 423000 | #Constraints: 3249358
1474.06/1478.09 c #Conflicts: 424000 | #Constraints: 3250358
1474.06/1478.09 c #Conflicts: 425000 | #Constraints: 3251358
1474.06/1478.09 c #Conflicts: 426000 | #Constraints: 3252358
1474.06/1478.09 c #Conflicts: 427000 | #Constraints: 3253358
1474.06/1478.09 c #Conflicts: 428000 | #Constraints: 3254358
1474.06/1478.09 c #Conflicts: 429000 | #Constraints: 3255358
1474.06/1478.09 c #Conflicts: 430000 | #Constraints: 3256358
1474.06/1478.09 c #Conflicts: 431000 | #Constraints: 3257358
1474.06/1478.09 c #Conflicts: 432000 | #Constraints: 3258358
1474.06/1478.09 c #Conflicts: 433000 | #Constraints: 3259358
1474.06/1478.09 c #Conflicts: 434000 | #Constraints: 3260358
1474.06/1478.09 c #Conflicts: 435000 | #Constraints: 3261358
1474.06/1478.09 c #Conflicts: 436000 | #Constraints: 3262358
1474.06/1478.09 c #Conflicts: 437000 | #Constraints: 3263358
1474.06/1478.09 c #Conflicts: 438000 | #Constraints: 3264358
1474.06/1478.09 c #Conflicts: 439000 | #Constraints: 3265358
1474.06/1478.09 c #Conflicts: 440000 | #Constraints: 3266358
1474.06/1478.09 c #Conflicts: 441000 | #Constraints: 3267358
1474.06/1478.09 c #Conflicts: 442000 | #Constraints: 3268358
1474.06/1478.09 c #Conflicts: 443000 | #Constraints: 3269358
1474.06/1478.09 c #Conflicts: 444000 | #Constraints: 3270358
1474.06/1478.09 c #Conflicts: 445000 | #Constraints: 3271358
1474.06/1478.09 c #Conflicts: 446000 | #Constraints: 3272358
1474.06/1478.09 c #Conflicts: 447000 | #Constraints: 3273358
1474.06/1478.09 c #Conflicts: 448000 | #Constraints: 3274358
1474.06/1478.09 c #Conflicts: 449000 | #Constraints: 3275358
1474.06/1478.09 c #Conflicts: 450000 | #Constraints: 3276358
1474.06/1478.09 c #Conflicts: 451000 | #Constraints: 3277358
1474.06/1478.09 c #Conflicts: 452000 | #Constraints: 3278358
1474.06/1478.09 c #Conflicts: 453000 | #Constraints: 3279358
1474.06/1478.09 c #Conflicts: 454000 | #Constraints: 3280358
1474.06/1478.09 c #Conflicts: 455000 | #Constraints: 3281358
1474.06/1478.09 c #Conflicts: 456000 | #Constraints: 3282358
1474.06/1478.09 c #Conflicts: 457000 | #Constraints: 3283358
1474.06/1478.09 c #Conflicts: 458000 | #Constraints: 3284358
1474.06/1478.09 c #Conflicts: 459000 | #Constraints: 3285358
1474.06/1478.09 c #Conflicts: 460000 | #Constraints: 3286358
1474.06/1478.09 c #Conflicts: 461000 | #Constraints: 3287358
1474.06/1478.09 c #Conflicts: 462000 | #Constraints: 3288358
1474.06/1478.09 c INPROCESSING
1474.06/1478.09 c GARBAGE COLLECT
1474.06/1478.09 c #Conflicts: 463000 | #Constraints: 3250130
1474.06/1478.09 c #Conflicts: 464000 | #Constraints: 3251130
1474.06/1478.09 c #Conflicts: 465000 | #Constraints: 3252130
1812.66/1817.57 c #Conflicts: 466000 | #Constraints: 3253130
1812.66/1817.57 c #Conflicts: 467000 | #Constraints: 3254130
1812.66/1817.57 c #Conflicts: 468000 | #Constraints: 3255130
1812.66/1817.57 c #Conflicts: 469000 | #Constraints: 3256130
1812.66/1817.57 c #Conflicts: 470000 | #Constraints: 3257130
1812.66/1817.57 c #Conflicts: 471000 | #Constraints: 3258130
1812.66/1817.57 c #Conflicts: 472000 | #Constraints: 3259130
1812.66/1817.57 c #Conflicts: 473000 | #Constraints: 3260130
1812.66/1817.57 c #Conflicts: 474000 | #Constraints: 3261130
1812.66/1817.57 c #Conflicts: 475000 | #Constraints: 3262130
1812.66/1817.57 c #Conflicts: 476000 | #Constraints: 3263130
1812.66/1817.57 c #Conflicts: 477000 | #Constraints: 3264130
1812.66/1817.57 c #Conflicts: 478000 | #Constraints: 3265130
1812.66/1817.57 c #Conflicts: 479000 | #Constraints: 3266130
1812.66/1817.57 c #Conflicts: 480000 | #Constraints: 3267130
1812.66/1817.57 c #Conflicts: 481000 | #Constraints: 3268130
1812.66/1817.57 c #Conflicts: 482000 | #Constraints: 3269130
1812.66/1817.57 c #Conflicts: 483000 | #Constraints: 3270130
1812.66/1817.57 c #Conflicts: 484000 | #Constraints: 3271130
1812.66/1817.57 c #Conflicts: 485000 | #Constraints: 3272130
1812.66/1817.57 c #Conflicts: 486000 | #Constraints: 3273130
1812.66/1817.57 c #Conflicts: 487000 | #Constraints: 3274130
1812.66/1817.57 c #Conflicts: 488000 | #Constraints: 3275130
1812.66/1817.57 c #Conflicts: 489000 | #Constraints: 3276130
1812.66/1817.57 c #Conflicts: 490000 | #Constraints: 3277130
1812.66/1817.57 c #Conflicts: 491000 | #Constraints: 3278130
1812.66/1817.57 c #Conflicts: 492000 | #Constraints: 3279130
1812.66/1817.57 c #Conflicts: 493000 | #Constraints: 3280130
1812.66/1817.57 c #Conflicts: 494000 | #Constraints: 3281130
1812.66/1817.57 c #Conflicts: 495000 | #Constraints: 3282130
1812.66/1817.57 c #Conflicts: 496000 | #Constraints: 3283130
1812.66/1817.57 c #Conflicts: 497000 | #Constraints: 3284130
1812.66/1817.57 c #Conflicts: 498000 | #Constraints: 3285130
1812.66/1817.57 c #Conflicts: 499000 | #Constraints: 3286130
1812.66/1817.57 c #Conflicts: 500000 | #Constraints: 3287130
1812.66/1817.57 c #Conflicts: 501000 | #Constraints: 3288130
1812.66/1817.57 c #Conflicts: 502000 | #Constraints: 3289130
1812.66/1817.57 c #Conflicts: 503000 | #Constraints: 3290130
1812.66/1817.57 c #Conflicts: 504000 | #Constraints: 3291130
1812.66/1817.57 c #Conflicts: 505000 | #Constraints: 3292130
1812.66/1817.57 c #Conflicts: 506000 | #Constraints: 3293130
1812.66/1817.57 c INPROCESSING
1812.66/1817.57 c GARBAGE COLLECT
1812.66/1817.57 c #Conflicts: 507000 | #Constraints: 3252109
1812.66/1817.57 c #Conflicts: 508000 | #Constraints: 3253109
1812.66/1817.57 c #Conflicts: 509000 | #Constraints: 3254109
1812.66/1817.57 c #Conflicts: 510000 | #Constraints: 3255109
1812.66/1817.57 c #Conflicts: 511000 | #Constraints: 3256109
1812.66/1817.57 c #Conflicts: 512000 | #Constraints: 3257109
1812.66/1817.57 c #Conflicts: 513000 | #Constraints: 3258109
1812.66/1817.57 c #Conflicts: 514000 | #Constraints: 3259109
1812.66/1817.57 c #Conflicts: 515000 | #Constraints: 3260109
1812.66/1817.57 c #Conflicts: 516000 | #Constraints: 3261109
1812.66/1817.57 c #Conflicts: 517000 | #Constraints: 3262109
1812.66/1817.57 c #Conflicts: 518000 | #Constraints: 3263109
1812.66/1817.57 c #Conflicts: 519000 | #Constraints: 3264109
1812.66/1817.57 c #Conflicts: 520000 | #Constraints: 3265109
1812.66/1817.57 c #Conflicts: 521000 | #Constraints: 3266109
1812.66/1817.57 c #Conflicts: 522000 | #Constraints: 3267109
1812.66/1817.57 c #Conflicts: 523000 | #Constraints: 3268109
1812.66/1817.57 c #Conflicts: 524000 | #Constraints: 3269109
1812.66/1817.57 c #Conflicts: 525000 | #Constraints: 3270109
1812.66/1817.57 c #Conflicts: 526000 | #Constraints: 3271109
1812.66/1817.57 c #Conflicts: 527000 | #Constraints: 3272109
1812.66/1817.57 c #Conflicts: 528000 | #Constraints: 3273109
1812.66/1817.57 c #Conflicts: 529000 | #Constraints: 3274109
1812.66/1817.57 c #Conflicts: 530000 | #Constraints: 3275109
1812.66/1817.57 c #Conflicts: 531000 | #Constraints: 3276109
1812.66/1817.57 c #Conflicts: 532000 | #Constraints: 3277109
1812.66/1817.57 c #Conflicts: 533000 | #Constraints: 3278109
1812.66/1817.57 c #Conflicts: 534000 | #Constraints: 3279109
1812.66/1817.57 c #Conflicts: 535000 | #Constraints: 3280109
1812.66/1817.57 c #Conflicts: 536000 | #Constraints: 3281109
1812.66/1817.57 c #Conflicts: 537000 | #Constraints: 3282109
1812.66/1817.57 c #Conflicts: 538000 | #Constraints: 3283109
1812.66/1817.57 c #Conflicts: 539000 | #Constraints: 3284109
1812.66/1817.57 c #Conflicts: 540000 | #Constraints: 3285109
1812.66/1817.57 c #Conflicts: 541000 | #Constraints: 3286109
1812.66/1817.57 c #Conflicts: 542000 | #Constraints: 3287109
1812.66/1817.57 c #Conflicts: 543000 | #Constraints: 3288109
2064.08/2069.68 c #Conflicts: 544000 | #Constraints: 3289109
2064.08/2069.68 c #Conflicts: 545000 | #Constraints: 3290109
2064.08/2069.68 c #Conflicts: 546000 | #Constraints: 3291109
2064.08/2069.68 c #Conflicts: 547000 | #Constraints: 3292109
2064.08/2069.68 c #Conflicts: 548000 | #Constraints: 3293109
2064.08/2069.68 c #Conflicts: 549000 | #Constraints: 3294109
2064.08/2069.68 c #Conflicts: 550000 | #Constraints: 3295109
2064.08/2069.68 c #Conflicts: 551000 | #Constraints: 3296109
2064.08/2069.68 c #Conflicts: 552000 | #Constraints: 3297109
2064.08/2069.68 c INPROCESSING
2064.08/2069.68 c GARBAGE COLLECT
2064.08/2069.68 c #Conflicts: 553000 | #Constraints: 3259322
2064.08/2069.68 c #Conflicts: 554000 | #Constraints: 3260322
2064.08/2069.68 c #Conflicts: 555000 | #Constraints: 3261322
2064.08/2069.68 c #Conflicts: 556000 | #Constraints: 3262322
2064.08/2069.68 c #Conflicts: 557000 | #Constraints: 3263322
2064.08/2069.68 c #Conflicts: 558000 | #Constraints: 3264322
2064.08/2069.68 c #Conflicts: 559000 | #Constraints: 3265322
2064.08/2069.68 c #Conflicts: 560000 | #Constraints: 3266322
2064.08/2069.68 c #Conflicts: 561000 | #Constraints: 3267322
2064.08/2069.68 c #Conflicts: 562000 | #Constraints: 3268322
2064.08/2069.68 c #Conflicts: 563000 | #Constraints: 3269322
2064.08/2069.68 c #Conflicts: 564000 | #Constraints: 3270322
2064.08/2069.68 c #Conflicts: 565000 | #Constraints: 3271322
2064.08/2069.68 c #Conflicts: 566000 | #Constraints: 3272322
2064.08/2069.68 c #Conflicts: 567000 | #Constraints: 3273322
2064.08/2069.68 c #Conflicts: 568000 | #Constraints: 3274322
2064.08/2069.68 c #Conflicts: 569000 | #Constraints: 3275322
2064.08/2069.68 c #Conflicts: 570000 | #Constraints: 3276322
2064.08/2069.68 c #Conflicts: 571000 | #Constraints: 3277322
2064.08/2069.68 c #Conflicts: 572000 | #Constraints: 3278322
2064.08/2069.68 c #Conflicts: 573000 | #Constraints: 3279322
2064.08/2069.68 c #Conflicts: 574000 | #Constraints: 3280322
2064.08/2069.68 c #Conflicts: 575000 | #Constraints: 3281322
2064.08/2069.68 c #Conflicts: 576000 | #Constraints: 3282322
2064.08/2069.68 c #Conflicts: 577000 | #Constraints: 3283322
2064.08/2069.68 c #Conflicts: 578000 | #Constraints: 3284322
2064.08/2069.68 c #Conflicts: 579000 | #Constraints: 3285322
2064.08/2069.68 c #Conflicts: 580000 | #Constraints: 3286322
2064.08/2069.68 c #Conflicts: 581000 | #Constraints: 3287322
2064.08/2069.68 c #Conflicts: 582000 | #Constraints: 3288322
2064.08/2069.68 c #Conflicts: 583000 | #Constraints: 3289322
2064.08/2069.68 c #Conflicts: 584000 | #Constraints: 3290322
2064.08/2069.68 c #Conflicts: 585000 | #Constraints: 3291322
2064.08/2069.68 c #Conflicts: 586000 | #Constraints: 3292322
2064.08/2069.68 c #Conflicts: 587000 | #Constraints: 3293322
2064.08/2069.68 c #Conflicts: 588000 | #Constraints: 3294322
2064.08/2069.68 c #Conflicts: 589000 | #Constraints: 3295322
2064.08/2069.68 c #Conflicts: 590000 | #Constraints: 3296322
2064.08/2069.68 c #Conflicts: 591000 | #Constraints: 3297322
2064.08/2069.68 c #Conflicts: 592000 | #Constraints: 3298322
2064.08/2069.68 c #Conflicts: 593000 | #Constraints: 3299322
2064.08/2069.68 c #Conflicts: 594000 | #Constraints: 3300322
2064.08/2069.68 c #Conflicts: 595000 | #Constraints: 3301322
2064.08/2069.68 c #Conflicts: 596000 | #Constraints: 3302322
2064.08/2069.68 c #Conflicts: 597000 | #Constraints: 3303322
2064.08/2069.68 c #Conflicts: 598000 | #Constraints: 3304322
2064.08/2069.68 c #Conflicts: 599000 | #Constraints: 3305322
2064.08/2069.68 c #Conflicts: 600000 | #Constraints: 3306322
2064.08/2069.68 c INPROCESSING
2064.08/2069.68 c GARBAGE COLLECT
2064.08/2069.68 c #Conflicts: 601000 | #Constraints: 3265443
2064.08/2069.68 c #Conflicts: 602000 | #Constraints: 3266443
2064.08/2069.68 c #Conflicts: 603000 | #Constraints: 3267443
2064.08/2069.68 c #Conflicts: 604000 | #Constraints: 3268443
2064.08/2069.68 c #Conflicts: 605000 | #Constraints: 3269443
2064.08/2069.68 c #Conflicts: 606000 | #Constraints: 3270443
2064.08/2069.68 c #Conflicts: 607000 | #Constraints: 3271443
2064.08/2069.68 c #Conflicts: 608000 | #Constraints: 3272443
2064.08/2069.68 c #Conflicts: 609000 | #Constraints: 3273443
2064.08/2069.68 c #Conflicts: 610000 | #Constraints: 3274443
2064.08/2069.68 c #Conflicts: 611000 | #Constraints: 3275443
2064.08/2069.68 c #Conflicts: 612000 | #Constraints: 3276443
2064.08/2069.68 c #Conflicts: 613000 | #Constraints: 3277443
2064.08/2069.68 c #Conflicts: 614000 | #Constraints: 3278443
2064.08/2069.68 c #Conflicts: 615000 | #Constraints: 3279443
2064.08/2069.68 c #Conflicts: 616000 | #Constraints: 3280443
2064.08/2069.68 c #Conflicts: 617000 | #Constraints: 3281443
2064.08/2069.68 c #Conflicts: 618000 | #Constraints: 3282443
2064.08/2069.68 c #Conflicts: 619000 | #Constraints: 3283443
2064.08/2069.68 c #Conflicts: 620000 | #Constraints: 3284443
2064.08/2069.68 c #Conflicts: 621000 | #Constraints: 3285443
2304.66/2310.83 c #Conflicts: 622000 | #Constraints: 3286443
2304.66/2310.83 c #Conflicts: 623000 | #Constraints: 3287443
2304.66/2310.83 c #Conflicts: 624000 | #Constraints: 3288443
2304.66/2310.83 c #Conflicts: 625000 | #Constraints: 3289443
2304.66/2310.83 c #Conflicts: 626000 | #Constraints: 3290443
2304.66/2310.83 c #Conflicts: 627000 | #Constraints: 3291443
2304.66/2310.83 c #Conflicts: 628000 | #Constraints: 3292443
2304.66/2310.83 c #Conflicts: 629000 | #Constraints: 3293443
2304.66/2310.83 c #Conflicts: 630000 | #Constraints: 3294443
2304.66/2310.83 c #Conflicts: 631000 | #Constraints: 3295443
2304.66/2310.83 c #Conflicts: 632000 | #Constraints: 3296443
2304.66/2310.83 c #Conflicts: 633000 | #Constraints: 3297443
2304.66/2310.83 c #Conflicts: 634000 | #Constraints: 3298443
2304.66/2310.83 c #Conflicts: 635000 | #Constraints: 3299443
2304.66/2310.83 c #Conflicts: 636000 | #Constraints: 3300443
2304.66/2310.83 c #Conflicts: 637000 | #Constraints: 3301443
2304.66/2310.83 c #Conflicts: 638000 | #Constraints: 3302443
2304.66/2310.83 c #Conflicts: 639000 | #Constraints: 3303443
2304.66/2310.83 c #Conflicts: 640000 | #Constraints: 3304443
2304.66/2310.83 c #Conflicts: 641000 | #Constraints: 3305443
2304.66/2310.83 c #Conflicts: 642000 | #Constraints: 3306443
2304.66/2310.83 c #Conflicts: 643000 | #Constraints: 3307443
2304.66/2310.83 c #Conflicts: 644000 | #Constraints: 3308443
2304.66/2310.83 c #Conflicts: 645000 | #Constraints: 3309443
2304.66/2310.83 c #Conflicts: 646000 | #Constraints: 3310443
2304.66/2310.83 c #Conflicts: 647000 | #Constraints: 3311443
2304.66/2310.83 c #Conflicts: 648000 | #Constraints: 3312443
2304.66/2310.83 c #Conflicts: 649000 | #Constraints: 3313443
2304.66/2310.83 c #Conflicts: 650000 | #Constraints: 3314443
2304.66/2310.83 c INPROCESSING
2304.66/2310.83 c GARBAGE COLLECT
2304.66/2310.83 c #Conflicts: 651000 | #Constraints: 3270885
2304.66/2310.83 c #Conflicts: 652000 | #Constraints: 3271885
2304.66/2310.83 c #Conflicts: 653000 | #Constraints: 3272885
2304.66/2310.83 c #Conflicts: 654000 | #Constraints: 3273885
2304.66/2310.83 c #Conflicts: 655000 | #Constraints: 3274885
2304.66/2310.83 c #Conflicts: 656000 | #Constraints: 3275885
2304.66/2310.83 c #Conflicts: 657000 | #Constraints: 3276885
2304.66/2310.83 c #Conflicts: 658000 | #Constraints: 3277885
2304.66/2310.83 c #Conflicts: 659000 | #Constraints: 3278885
2304.66/2310.83 c #Conflicts: 660000 | #Constraints: 3279885
2304.66/2310.83 c #Conflicts: 661000 | #Constraints: 3280885
2304.66/2310.83 c #Conflicts: 662000 | #Constraints: 3281885
2304.66/2310.83 c #Conflicts: 663000 | #Constraints: 3282885
2304.66/2310.83 c #Conflicts: 664000 | #Constraints: 3283885
2304.66/2310.83 c #Conflicts: 665000 | #Constraints: 3284885
2304.66/2310.83 c #Conflicts: 666000 | #Constraints: 3285885
2304.66/2310.83 c #Conflicts: 667000 | #Constraints: 3286885
2304.66/2310.83 c #Conflicts: 668000 | #Constraints: 3287885
2304.66/2310.83 c #Conflicts: 669000 | #Constraints: 3288885
2304.66/2310.83 c #Conflicts: 670000 | #Constraints: 3289885
2304.66/2310.83 c #Conflicts: 671000 | #Constraints: 3290885
2304.66/2310.83 c #Conflicts: 672000 | #Constraints: 3291885
2304.66/2310.83 c #Conflicts: 673000 | #Constraints: 3292885
2304.66/2310.83 c #Conflicts: 674000 | #Constraints: 3293885
2304.66/2310.83 c #Conflicts: 675000 | #Constraints: 3294885
2304.66/2310.83 c #Conflicts: 676000 | #Constraints: 3295885
2304.66/2310.83 c #Conflicts: 677000 | #Constraints: 3296885
2304.66/2310.83 c #Conflicts: 678000 | #Constraints: 3297885
2304.66/2310.83 c #Conflicts: 679000 | #Constraints: 3298885
2304.66/2310.83 c #Conflicts: 680000 | #Constraints: 3299885
2304.66/2310.83 c #Conflicts: 681000 | #Constraints: 3300885
2304.66/2310.83 c #Conflicts: 682000 | #Constraints: 3301885
2304.66/2310.83 c #Conflicts: 683000 | #Constraints: 3302885
2304.66/2310.83 c #Conflicts: 684000 | #Constraints: 3303885
2304.66/2310.83 c #Conflicts: 685000 | #Constraints: 3304885
2304.66/2310.83 c #Conflicts: 686000 | #Constraints: 3305885
2304.66/2310.83 c #Conflicts: 687000 | #Constraints: 3306885
2304.66/2310.83 c #Conflicts: 688000 | #Constraints: 3307885
2304.66/2310.83 c #Conflicts: 689000 | #Constraints: 3308885
2304.66/2310.83 c #Conflicts: 690000 | #Constraints: 3309885
2304.66/2310.83 c #Conflicts: 691000 | #Constraints: 3310885
2304.66/2310.83 c #Conflicts: 692000 | #Constraints: 3311885
2304.66/2310.83 c #Conflicts: 693000 | #Constraints: 3312885
2304.66/2310.83 c #Conflicts: 694000 | #Constraints: 3313885
2304.66/2310.83 c #Conflicts: 695000 | #Constraints: 3314885
2304.66/2310.83 c #Conflicts: 696000 | #Constraints: 3315885
2304.66/2310.83 c #Conflicts: 697000 | #Constraints: 3316885
2304.66/2310.83 c #Conflicts: 698000 | #Constraints: 3317885
2304.66/2310.83 c #Conflicts: 699000 | #Constraints: 3318885
2716.65/2723.90 c #Conflicts: 700000 | #Constraints: 3319885
2716.65/2723.90 c #Conflicts: 701000 | #Constraints: 3320885
2716.65/2723.90 c #Conflicts: 702000 | #Constraints: 3321885
2716.65/2723.90 c INPROCESSING
2716.65/2723.90 c GARBAGE COLLECT
2716.65/2723.90 c #Conflicts: 703000 | #Constraints: 3276584
2716.65/2723.90 c #Conflicts: 704000 | #Constraints: 3277584
2716.65/2723.90 c #Conflicts: 705000 | #Constraints: 3278584
2716.65/2723.90 c #Conflicts: 706000 | #Constraints: 3279584
2716.65/2723.90 c #Conflicts: 707000 | #Constraints: 3280584
2716.65/2723.90 c #Conflicts: 708000 | #Constraints: 3281584
2716.65/2723.90 c #Conflicts: 709000 | #Constraints: 3282584
2716.65/2723.90 c #Conflicts: 710000 | #Constraints: 3283584
2716.65/2723.90 c #Conflicts: 711000 | #Constraints: 3284584
2716.65/2723.90 c #Conflicts: 712000 | #Constraints: 3285584
2716.65/2723.90 c #Conflicts: 713000 | #Constraints: 3286584
2716.65/2723.90 c #Conflicts: 714000 | #Constraints: 3287584
2716.65/2723.90 c #Conflicts: 715000 | #Constraints: 3288584
2716.65/2723.90 c #Conflicts: 716000 | #Constraints: 3289584
2716.65/2723.90 c #Conflicts: 717000 | #Constraints: 3290584
2716.65/2723.90 c #Conflicts: 718000 | #Constraints: 3291584
2716.65/2723.90 c #Conflicts: 719000 | #Constraints: 3292584
2716.65/2723.90 c #Conflicts: 720000 | #Constraints: 3293584
2716.65/2723.90 c #Conflicts: 721000 | #Constraints: 3294584
2716.65/2723.90 c #Conflicts: 722000 | #Constraints: 3295584
2716.65/2723.90 c #Conflicts: 723000 | #Constraints: 3296584
2716.65/2723.90 c #Conflicts: 724000 | #Constraints: 3297584
2716.65/2723.90 c #Conflicts: 725000 | #Constraints: 3298584
2716.65/2723.90 c #Conflicts: 726000 | #Constraints: 3299584
2716.65/2723.90 c #Conflicts: 727000 | #Constraints: 3300584
2716.65/2723.90 c #Conflicts: 728000 | #Constraints: 3301584
2716.65/2723.90 c #Conflicts: 729000 | #Constraints: 3302584
2716.65/2723.90 c #Conflicts: 730000 | #Constraints: 3303584
2716.65/2723.90 c #Conflicts: 731000 | #Constraints: 3304584
2716.65/2723.90 c #Conflicts: 732000 | #Constraints: 3305584
2716.65/2723.90 c #Conflicts: 733000 | #Constraints: 3306584
2716.65/2723.90 c #Conflicts: 734000 | #Constraints: 3307584
2716.65/2723.90 c #Conflicts: 735000 | #Constraints: 3308584
2716.65/2723.90 c #Conflicts: 736000 | #Constraints: 3309584
2716.65/2723.90 c #Conflicts: 737000 | #Constraints: 3310584
2716.65/2723.90 c #Conflicts: 738000 | #Constraints: 3311584
2716.65/2723.90 c #Conflicts: 739000 | #Constraints: 3312584
2716.65/2723.90 c #Conflicts: 740000 | #Constraints: 3313584
2716.65/2723.90 c #Conflicts: 741000 | #Constraints: 3314584
2716.65/2723.90 c #Conflicts: 742000 | #Constraints: 3315584
2716.65/2723.90 c #Conflicts: 743000 | #Constraints: 3316584
2716.65/2723.90 c #Conflicts: 744000 | #Constraints: 3317584
2716.65/2723.90 c #Conflicts: 745000 | #Constraints: 3318584
2716.65/2723.90 c #Conflicts: 746000 | #Constraints: 3319584
2716.65/2723.90 c #Conflicts: 747000 | #Constraints: 3320584
2716.65/2723.90 c #Conflicts: 748000 | #Constraints: 3321584
2716.65/2723.90 c #Conflicts: 749000 | #Constraints: 3322584
2716.65/2723.90 c #Conflicts: 750000 | #Constraints: 3323584
2716.65/2723.90 c #Conflicts: 751000 | #Constraints: 3324584
2716.65/2723.90 c #Conflicts: 752000 | #Constraints: 3325584
2716.65/2723.90 c #Conflicts: 753000 | #Constraints: 3326584
2716.65/2723.90 c #Conflicts: 754000 | #Constraints: 3327584
2716.65/2723.90 c #Conflicts: 755000 | #Constraints: 3328584
2716.65/2723.90 c #Conflicts: 756000 | #Constraints: 3329584
2716.65/2723.90 c INPROCESSING
2716.65/2723.90 c GARBAGE COLLECT
2716.65/2723.90 c #Conflicts: 757000 | #Constraints: 3277617
2716.65/2723.90 c #Conflicts: 758000 | #Constraints: 3278617
2716.65/2723.90 c #Conflicts: 759000 | #Constraints: 3279617
2716.65/2723.90 c #Conflicts: 760000 | #Constraints: 3280617
2716.65/2723.90 c #Conflicts: 761000 | #Constraints: 3281617
2716.65/2723.90 c #Conflicts: 762000 | #Constraints: 3282617
2716.65/2723.90 c #Conflicts: 763000 | #Constraints: 3283617
2716.65/2723.90 c #Conflicts: 764000 | #Constraints: 3284617
2716.65/2723.90 c #Conflicts: 765000 | #Constraints: 3285617
2716.65/2723.90 c #Conflicts: 766000 | #Constraints: 3286617
2716.65/2723.90 c #Conflicts: 767000 | #Constraints: 3287617
2716.65/2723.90 c #Conflicts: 768000 | #Constraints: 3288617
2716.65/2723.90 c #Conflicts: 769000 | #Constraints: 3289617
2716.65/2723.90 c #Conflicts: 770000 | #Constraints: 3290617
2716.65/2723.90 c #Conflicts: 771000 | #Constraints: 3291617
2716.65/2723.90 c #Conflicts: 772000 | #Constraints: 3292617
2716.65/2723.90 c #Conflicts: 773000 | #Constraints: 3293617
2716.65/2723.90 c #Conflicts: 774000 | #Constraints: 3294617
2716.65/2723.90 c #Conflicts: 775000 | #Constraints: 3295617
2716.65/2723.90 c #Conflicts: 776000 | #Constraints: 3296617
2977.28/2985.21 c #Conflicts: 777000 | #Constraints: 3297617
2977.28/2985.21 c #Conflicts: 778000 | #Constraints: 3298617
2977.28/2985.21 c #Conflicts: 779000 | #Constraints: 3299617
2977.28/2985.21 c #Conflicts: 780000 | #Constraints: 3300617
2977.28/2985.21 c #Conflicts: 781000 | #Constraints: 3301617
2977.28/2985.21 c #Conflicts: 782000 | #Constraints: 3302617
2977.28/2985.21 c #Conflicts: 783000 | #Constraints: 3303617
2977.28/2985.21 c #Conflicts: 784000 | #Constraints: 3304617
2977.28/2985.21 c #Conflicts: 785000 | #Constraints: 3305617
2977.28/2985.21 c #Conflicts: 786000 | #Constraints: 3306617
2977.28/2985.21 c #Conflicts: 787000 | #Constraints: 3307617
2977.28/2985.21 c #Conflicts: 788000 | #Constraints: 3308617
2977.28/2985.21 c #Conflicts: 789000 | #Constraints: 3309617
2977.28/2985.21 c #Conflicts: 790000 | #Constraints: 3310617
2977.28/2985.21 c #Conflicts: 791000 | #Constraints: 3311617
2977.28/2985.21 c #Conflicts: 792000 | #Constraints: 3312617
2977.28/2985.21 c #Conflicts: 793000 | #Constraints: 3313617
2977.28/2985.21 c #Conflicts: 794000 | #Constraints: 3314617
2977.28/2985.21 c #Conflicts: 795000 | #Constraints: 3315617
2977.28/2985.21 c #Conflicts: 796000 | #Constraints: 3316617
2977.28/2985.21 c #Conflicts: 797000 | #Constraints: 3317617
2977.28/2985.21 c #Conflicts: 798000 | #Constraints: 3318617
2977.28/2985.21 c #Conflicts: 799000 | #Constraints: 3319617
2977.28/2985.21 c #Conflicts: 800000 | #Constraints: 3320617
2977.28/2985.21 c #Conflicts: 801000 | #Constraints: 3321617
2977.28/2985.21 c #Conflicts: 802000 | #Constraints: 3322617
2977.28/2985.21 c #Conflicts: 803000 | #Constraints: 3323617
2977.28/2985.21 c #Conflicts: 804000 | #Constraints: 3324617
2977.28/2985.21 c #Conflicts: 805000 | #Constraints: 3325617
2977.28/2985.21 c #Conflicts: 806000 | #Constraints: 3326617
2977.28/2985.21 c #Conflicts: 807000 | #Constraints: 3327617
2977.28/2985.21 c #Conflicts: 808000 | #Constraints: 3328617
2977.28/2985.21 c #Conflicts: 809000 | #Constraints: 3329617
2977.28/2985.21 c #Conflicts: 810000 | #Constraints: 3330617
2977.28/2985.21 c #Conflicts: 811000 | #Constraints: 3331617
2977.28/2985.21 c #Conflicts: 812000 | #Constraints: 3332617
2977.28/2985.21 c INPROCESSING
2977.28/2985.21 c GARBAGE COLLECT
2977.28/2985.21 c #Conflicts: 813000 | #Constraints: 3284842
2977.28/2985.21 c #Conflicts: 814000 | #Constraints: 3285842
2977.28/2985.21 c #Conflicts: 815000 | #Constraints: 3286842
2977.28/2985.21 c #Conflicts: 816000 | #Constraints: 3287842
2977.28/2985.21 c #Conflicts: 817000 | #Constraints: 3288842
2977.28/2985.21 c #Conflicts: 818000 | #Constraints: 3289842
2977.28/2985.21 c #Conflicts: 819000 | #Constraints: 3290842
2977.28/2985.21 c #Conflicts: 820000 | #Constraints: 3291842
2977.28/2985.21 c #Conflicts: 821000 | #Constraints: 3292842
2977.28/2985.21 c #Conflicts: 822000 | #Constraints: 3293842
2977.28/2985.21 c #Conflicts: 823000 | #Constraints: 3294842
2977.28/2985.21 c #Conflicts: 824000 | #Constraints: 3295842
2977.28/2985.21 c #Conflicts: 825000 | #Constraints: 3296842
2977.28/2985.21 c #Conflicts: 826000 | #Constraints: 3297842
2977.28/2985.21 c #Conflicts: 827000 | #Constraints: 3298842
2977.28/2985.21 c #Conflicts: 828000 | #Constraints: 3299842
2977.28/2985.21 c #Conflicts: 829000 | #Constraints: 3300842
2977.28/2985.21 c #Conflicts: 830000 | #Constraints: 3301842
2977.28/2985.21 c #Conflicts: 831000 | #Constraints: 3302842
2977.28/2985.21 c #Conflicts: 832000 | #Constraints: 3303842
2977.28/2985.21 c #Conflicts: 833000 | #Constraints: 3304842
2977.28/2985.21 c #Conflicts: 834000 | #Constraints: 3305842
2977.28/2985.21 c #Conflicts: 835000 | #Constraints: 3306842
2977.28/2985.21 c #Conflicts: 836000 | #Constraints: 3307842
2977.28/2985.21 c #Conflicts: 837000 | #Constraints: 3308842
2977.28/2985.21 c #Conflicts: 838000 | #Constraints: 3309842
2977.28/2985.21 c #Conflicts: 839000 | #Constraints: 3310842
2977.28/2985.21 c #Conflicts: 840000 | #Constraints: 3311842
2977.28/2985.21 c #Conflicts: 841000 | #Constraints: 3312842
2977.28/2985.21 c #Conflicts: 842000 | #Constraints: 3313842
2977.28/2985.21 c #Conflicts: 843000 | #Constraints: 3314842
2977.28/2985.21 c #Conflicts: 844000 | #Constraints: 3315842
2977.28/2985.21 c #Conflicts: 845000 | #Constraints: 3316842
2977.28/2985.21 c #Conflicts: 846000 | #Constraints: 3317842
2977.28/2985.21 c #Conflicts: 847000 | #Constraints: 3318842
2977.28/2985.21 c #Conflicts: 848000 | #Constraints: 3319842
2977.28/2985.21 c #Conflicts: 849000 | #Constraints: 3320842
2977.28/2985.21 c #Conflicts: 850000 | #Constraints: 3321842
2977.28/2985.21 c #Conflicts: 851000 | #Constraints: 3322842
2977.28/2985.21 c #Conflicts: 852000 | #Constraints: 3323842
2977.28/2985.21 c #Conflicts: 853000 | #Constraints: 3324842
2977.28/2985.21 c #Conflicts: 854000 | #Constraints: 3325842
2977.28/2985.21 c #Conflicts: 855000 | #Constraints: 3326842
3287.07/3295.79 c #Conflicts: 856000 | #Constraints: 3327842
3287.07/3295.79 c #Conflicts: 857000 | #Constraints: 3328842
3287.07/3295.79 c #Conflicts: 858000 | #Constraints: 3329842
3287.07/3295.79 c #Conflicts: 859000 | #Constraints: 3330842
3287.07/3295.79 c #Conflicts: 860000 | #Constraints: 3331842
3287.07/3295.79 c #Conflicts: 861000 | #Constraints: 3332842
3287.07/3295.79 c #Conflicts: 862000 | #Constraints: 3333842
3287.07/3295.79 c #Conflicts: 863000 | #Constraints: 3334842
3287.07/3295.79 c #Conflicts: 864000 | #Constraints: 3335842
3287.07/3295.79 c #Conflicts: 865000 | #Constraints: 3336842
3287.07/3295.79 c #Conflicts: 866000 | #Constraints: 3337842
3287.07/3295.79 c #Conflicts: 867000 | #Constraints: 3338842
3287.07/3295.79 c #Conflicts: 868000 | #Constraints: 3339842
3287.07/3295.79 c #Conflicts: 869000 | #Constraints: 3340842
3287.07/3295.79 c #Conflicts: 870000 | #Constraints: 3341842
3287.07/3295.79 c INPROCESSING
3287.07/3295.79 c GARBAGE COLLECT
3287.07/3295.79 c #Conflicts: 871000 | #Constraints: 3290743
3287.07/3295.79 c #Conflicts: 872000 | #Constraints: 3291743
3287.07/3295.79 c #Conflicts: 873000 | #Constraints: 3292743
3287.07/3295.79 c #Conflicts: 874000 | #Constraints: 3293743
3287.07/3295.79 c #Conflicts: 875000 | #Constraints: 3294743
3287.07/3295.79 c #Conflicts: 876000 | #Constraints: 3295743
3287.07/3295.79 c #Conflicts: 877000 | #Constraints: 3296743
3287.07/3295.79 c #Conflicts: 878000 | #Constraints: 3297743
3287.07/3295.79 c #Conflicts: 879000 | #Constraints: 3298743
3287.07/3295.79 c #Conflicts: 880000 | #Constraints: 3299743
3287.07/3295.79 c #Conflicts: 881000 | #Constraints: 3300743
3287.07/3295.79 c #Conflicts: 882000 | #Constraints: 3301743
3287.07/3295.79 c #Conflicts: 883000 | #Constraints: 3302743
3287.07/3295.79 c #Conflicts: 884000 | #Constraints: 3303743
3287.07/3295.79 c #Conflicts: 885000 | #Constraints: 3304743
3287.07/3295.79 c #Conflicts: 886000 | #Constraints: 3305743
3287.07/3295.79 c #Conflicts: 887000 | #Constraints: 3306743
3287.07/3295.79 c #Conflicts: 888000 | #Constraints: 3307743
3287.07/3295.79 c #Conflicts: 889000 | #Constraints: 3308743
3287.07/3295.79 c #Conflicts: 890000 | #Constraints: 3309743
3287.07/3295.79 c #Conflicts: 891000 | #Constraints: 3310743
3287.07/3295.79 c #Conflicts: 892000 | #Constraints: 3311743
3287.07/3295.79 c #Conflicts: 893000 | #Constraints: 3312743
3287.07/3295.79 c #Conflicts: 894000 | #Constraints: 3313743
3287.07/3295.79 c #Conflicts: 895000 | #Constraints: 3314743
3287.07/3295.79 c #Conflicts: 896000 | #Constraints: 3315743
3287.07/3295.79 c #Conflicts: 897000 | #Constraints: 3316743
3287.07/3295.79 c #Conflicts: 898000 | #Constraints: 3317743
3287.07/3295.79 c #Conflicts: 899000 | #Constraints: 3318743
3287.07/3295.79 c #Conflicts: 900000 | #Constraints: 3319743
3287.07/3295.79 c #Conflicts: 901000 | #Constraints: 3320743
3287.07/3295.79 c #Conflicts: 902000 | #Constraints: 3321743
3287.07/3295.79 c #Conflicts: 903000 | #Constraints: 3322743
3287.07/3295.79 c #Conflicts: 904000 | #Constraints: 3323743
3287.07/3295.79 c #Conflicts: 905000 | #Constraints: 3324743
3287.07/3295.79 c #Conflicts: 906000 | #Constraints: 3325743
3287.07/3295.79 c #Conflicts: 907000 | #Constraints: 3326743
3287.07/3295.79 c #Conflicts: 908000 | #Constraints: 3327743
3287.07/3295.79 c #Conflicts: 909000 | #Constraints: 3328743
3287.07/3295.79 c #Conflicts: 910000 | #Constraints: 3329743
3287.07/3295.79 c #Conflicts: 911000 | #Constraints: 3330743
3287.07/3295.79 c #Conflicts: 912000 | #Constraints: 3331743
3287.07/3295.79 c #Conflicts: 913000 | #Constraints: 3332743
3287.07/3295.79 c #Conflicts: 914000 | #Constraints: 3333743
3287.07/3295.79 c #Conflicts: 915000 | #Constraints: 3334743
3287.07/3295.79 c #Conflicts: 916000 | #Constraints: 3335743
3287.07/3295.79 c #Conflicts: 917000 | #Constraints: 3336743
3287.07/3295.79 c #Conflicts: 918000 | #Constraints: 3337743
3287.07/3295.79 c #Conflicts: 919000 | #Constraints: 3338743
3287.07/3295.79 c #Conflicts: 920000 | #Constraints: 3339743
3287.07/3295.79 c #Conflicts: 921000 | #Constraints: 3340743
3287.07/3295.79 c #Conflicts: 922000 | #Constraints: 3341743
3287.07/3295.79 c #Conflicts: 923000 | #Constraints: 3342743
3287.07/3295.79 c #Conflicts: 924000 | #Constraints: 3343743
3287.07/3295.79 c #Conflicts: 925000 | #Constraints: 3344743
3287.07/3295.79 c #Conflicts: 926000 | #Constraints: 3345743
3287.07/3295.79 c #Conflicts: 927000 | #Constraints: 3346743
3287.07/3295.79 c #Conflicts: 928000 | #Constraints: 3347743
3287.07/3295.79 c #Conflicts: 929000 | #Constraints: 3348743
3287.07/3295.79 c #Conflicts: 930000 | #Constraints: 3349743
3287.07/3295.79 c INPROCESSING
3287.07/3295.79 c GARBAGE COLLECT
3287.07/3295.79 c #Conflicts: 931000 | #Constraints: 3298502
3287.07/3295.79 c #Conflicts: 932000 | #Constraints: 3299502
3600.02/3609.40 c #Conflicts: 933000 | #Constraints: 3300502
3600.02/3609.40 c #Conflicts: 934000 | #Constraints: 3301502
3600.02/3609.40 c #Conflicts: 935000 | #Constraints: 3302502
3600.02/3609.40 c #Conflicts: 936000 | #Constraints: 3303502
3600.02/3609.40 c #Conflicts: 937000 | #Constraints: 3304502
3600.02/3609.40 c #Conflicts: 938000 | #Constraints: 3305502
3600.02/3609.40 c #Conflicts: 939000 | #Constraints: 3306502
3600.02/3609.40 c #Conflicts: 940000 | #Constraints: 3307502
3600.02/3609.40 c #Conflicts: 941000 | #Constraints: 3308502
3600.02/3609.40 c #Conflicts: 942000 | #Constraints: 3309502
3600.02/3609.40 c #Conflicts: 943000 | #Constraints: 3310502
3600.02/3609.40 c #Conflicts: 944000 | #Constraints: 3311502
3600.02/3609.40 c #Conflicts: 945000 | #Constraints: 3312502
3600.02/3609.40 c #Conflicts: 946000 | #Constraints: 3313502
3600.02/3609.40 c #Conflicts: 947000 | #Constraints: 3314502
3600.02/3609.40 c #Conflicts: 948000 | #Constraints: 3315502
3600.02/3609.40 c #Conflicts: 949000 | #Constraints: 3316502
3600.02/3609.40 c #Conflicts: 950000 | #Constraints: 3317502
3600.02/3609.40 c #Conflicts: 951000 | #Constraints: 3318502
3600.02/3609.40 c #Conflicts: 952000 | #Constraints: 3319502
3600.02/3609.40 c #Conflicts: 953000 | #Constraints: 3320502
3600.02/3609.40 c #Conflicts: 954000 | #Constraints: 3321502
3600.02/3609.40 c #Conflicts: 955000 | #Constraints: 3322502
3600.02/3609.40 c #Conflicts: 956000 | #Constraints: 3323502
3600.02/3609.40 c #Conflicts: 957000 | #Constraints: 3324502
3600.02/3609.40 c #Conflicts: 958000 | #Constraints: 3325502
3600.02/3609.40 c #Conflicts: 959000 | #Constraints: 3326502
3600.02/3609.40 c #Conflicts: 960000 | #Constraints: 3327502
3600.02/3609.40 c #Conflicts: 961000 | #Constraints: 3328502
3600.02/3609.40 c #Conflicts: 962000 | #Constraints: 3329502
3600.02/3609.40 c #Conflicts: 963000 | #Constraints: 3330502
3600.02/3609.40 c #Conflicts: 964000 | #Constraints: 3331502
3600.02/3609.40 c #Conflicts: 965000 | #Constraints: 3332502
3600.02/3609.40 c #Conflicts: 966000 | #Constraints: 3333502
3600.02/3609.40 c #Conflicts: 967000 | #Constraints: 3334502
3600.02/3609.40 c #Conflicts: 968000 | #Constraints: 3335502
3600.02/3609.40 c #Conflicts: 969000 | #Constraints: 3336502
3600.02/3609.40 c #Conflicts: 970000 | #Constraints: 3337502
3600.02/3609.40 c #Conflicts: 971000 | #Constraints: 3338502
3600.02/3609.40 c #Conflicts: 972000 | #Constraints: 3339502
3600.02/3609.40 c #Conflicts: 973000 | #Constraints: 3340502
3600.02/3609.40 c #Conflicts: 974000 | #Constraints: 3341502
3600.02/3609.40 c #Conflicts: 975000 | #Constraints: 3342502
3600.02/3609.40 c #Conflicts: 976000 | #Constraints: 3343502
3600.02/3609.40 c #Conflicts: 977000 | #Constraints: 3344502
3600.02/3609.40 c #Conflicts: 978000 | #Constraints: 3345502
3600.02/3609.40 c #Conflicts: 979000 | #Constraints: 3346502
3600.02/3609.40 c #Conflicts: 980000 | #Constraints: 3347502
3600.02/3609.40 c #Conflicts: 981000 | #Constraints: 3348502
3600.02/3609.40 c #Conflicts: 982000 | #Constraints: 3349502
3600.02/3609.40 c #Conflicts: 983000 | #Constraints: 3350502
3600.02/3609.40 c #Conflicts: 984000 | #Constraints: 3351502
3600.02/3609.40 c #Conflicts: 985000 | #Constraints: 3352502
3600.02/3609.40 c #Conflicts: 986000 | #Constraints: 3353502
3600.02/3609.40 c #Conflicts: 987000 | #Constraints: 3354502
3600.02/3609.40 c #Conflicts: 988000 | #Constraints: 3355502
3600.02/3609.40 c #Conflicts: 989000 | #Constraints: 3356502
3600.02/3609.40 c #Conflicts: 990000 | #Constraints: 3357502
3600.02/3609.40 c #Conflicts: 991000 | #Constraints: 3358502
3600.02/3609.40 c #Conflicts: 992000 | #Constraints: 3359502
3600.02/3609.40 c INPROCESSING
3600.02/3609.40 c GARBAGE COLLECT
3600.02/3609.40 c #Conflicts: 993000 | #Constraints: 3298761
3600.02/3609.40 c #Conflicts: 994000 | #Constraints: 3299761
3600.02/3609.40 c #Conflicts: 995000 | #Constraints: 3300761
3600.02/3609.40 c #Conflicts: 996000 | #Constraints: 3301761
3600.02/3609.40 c #Conflicts: 997000 | #Constraints: 3302761
3600.02/3609.40 c #Conflicts: 998000 | #Constraints: 3303761
3600.02/3609.40 c #Conflicts: 999000 | #Constraints: 3304761
3600.02/3609.40 c #Conflicts: 1000000 | #Constraints: 3305761
3600.02/3609.40 c #Conflicts: 1001000 | #Constraints: 3306761
3600.02/3609.40 c #Conflicts: 1002000 | #Constraints: 3307761
3600.02/3609.40 c #Conflicts: 1003000 | #Constraints: 3308761
3600.02/3609.40 c #Conflicts: 1004000 | #Constraints: 3309761
3600.02/3609.40 c #Conflicts: 1005000 | #Constraints: 3310761
3600.02/3609.40 c #Conflicts: 1006000 | #Constraints: 3311761
3600.02/3609.40 c #Conflicts: 1007000 | #Constraints: 3312761
3600.02/3609.40 c #Conflicts: 1008000 | #Constraints: 3313761
3600.02/3609.40 c cpu time 3491.5 s
3600.02/3609.40 c deterministic time 348804662885 3.49e+11
3600.02/3609.40 c optimization time 148.28 s
3600.02/3609.40 c total solve time 3336.2 s
3600.02/3609.40 c core-guided solve time 2232.84 s
3600.02/3609.40 c propagation time 1697.09 s
3600.02/3609.40 c conflict analysis time 1573.12 s
3600.02/3609.40 c propagations 3792228107
3600.02/3609.40 c resolve steps 98998926
3600.02/3609.40 c decisions 93849307
3600.02/3609.40 c conflicts 1008554
3600.02/3609.40 c restarts 2045
3600.02/3609.40 c inprocessing phases 31
3600.02/3609.40 c garbage collections 22 ,( 70.97 )
3600.02/3609.40 c input clauses 3238575 ,( 99.95 )
3600.02/3609.40 c input cardinalities 1279 ,( 0.04 )
3600.02/3609.40 c input general constraints 259 ,( 0.01 )
3600.02/3609.40 c input average constraint length 3.20
3600.02/3609.40 c input average constraint degree 43.20
3600.02/3609.40 c learned clauses 526912 ,( 52.24 )
3600.02/3609.40 c learned cardinalities 42712 ,( 4.23 )
3600.02/3609.40 c learned general constraints 438929 ,( 43.52 )
3600.02/3609.40 c learned average constraint length 1018.34
3600.02/3609.40 c learned average constraint degree 38136412.85
3600.02/3609.40 c watched CF 32, 64, 128, Arb: 220020 , 0 , 0 , 0
3600.02/3609.40 c counting CF 32, 64, 128, Arb: 219169 , 0 , 0 , 0
3600.02/3609.40 c watched constraints 220020 ,( 50.10 )
3600.02/3609.40 c counting constraints 219168 ,( 49.90 )
3600.02/3609.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3312431422 , 153199961 , 1323721685 ,( 428832225 , 894889460 )
3600.02/3609.40 c gcd simplifications 14640
3600.02/3609.40 c detected cardinalities 843
3600.02/3609.40 c weakened non-implied lits 449814723
3600.02/3609.40 c weakened non-implying lits 188646
3600.02/3609.40 c original variables 1242807
3600.02/3609.40 c clausal propagations 3086804708
3600.02/3609.40 c cardinality propagations 317839892
3600.02/3609.40 c watched propagations 7018795
3600.02/3609.40 c counting propagations 368027833
3600.02/3609.40 c watch lookups 26103782209
3600.02/3609.40 c watch backjump lookups 0
3600.02/3609.40 c watch checks 213682028724
3600.02/3609.40 c propagation checks 96978051969
3600.02/3609.40 c constraint additions 4267744365
3600.02/3609.40 c trail pops 3886978203
3600.02/3609.40 c formula constraints 3240110
3600.02/3609.40 c learned constraints 1008553
3600.02/3609.40 c bound constraints 1
3600.02/3609.40 c core-guided constraints 2
3600.02/3609.40 c encountered formula constraints 82321636
3600.02/3609.40 c encountered learned constraints 17684267
3600.02/3609.40 c encountered bound constraints 13
3600.02/3609.40 c encountered core-guided constraints 1564
3600.02/3609.40 c LP total time 0 s
3600.02/3609.40 c LP solve time 0 s
3600.02/3609.40 c LP constraints added 0
3600.02/3609.40 c LP constraints removed 0
3600.02/3609.40 c LP pivots internal 0
3600.02/3609.40 c LP pivots root 0
3600.02/3609.40 c LP calls 0
3600.02/3609.40 c LP optimalities 0
3600.02/3609.40 c LP no pivot count 0
3600.02/3609.40 c LP infeasibilities 0
3600.02/3609.40 c LP valid Farkas constraints 0
3600.02/3609.40 c LP learned Farkas constraints 0
3600.02/3609.40 c LP basis resets 0
3600.02/3609.40 c LP cycling count 0
3600.02/3609.40 c LP singular count 0
3600.02/3609.40 c LP no primal count 0
3600.02/3609.40 c LP no farkas count 0
3600.02/3609.40 c LP other issue count 0
3600.02/3609.40 c LP Gomory cuts 0
3600.02/3609.40 c LP learned cuts 0
3600.02/3609.40 c LP deleted cuts 0
3600.02/3609.40 c LP encountered Gomory constraints 0
3600.02/3609.40 c LP encountered Farkas constraints 0
3600.02/3609.40 c LP encountered learned Farkas constraints 0
3600.02/3609.40 c CG auxiliary variables introduced 1
3600.02/3609.40 c CG solutions found 0
3600.02/3609.40 c CG cores constructed 1
3600.02/3609.40 c CG core cardinality constraints returned 1
3600.02/3609.40 c CG unit cores 0
3600.02/3609.40 c CG single cores 1
3600.02/3609.40 c CG blocks removed during cardinality reduction 0
3600.02/3609.40 c CG first core best 0
3600.02/3609.40 c CG decision core best 0
3600.02/3609.40 c CG core reduction tie 0
3600.02/3609.40 c CG core degree average 115.00
3600.02/3609.40 c CG core slack average 13.00
3600.02/3609.40 c CG core upper bound improvements 0
3600.02/3609.40 c STR number of successful calls 0
3600.02/3609.40 c STR number of unsuccessful calls 0
3600.02/3609.40 c STR number of inconclusive calls 0
3600.02/3609.40 c STR number of successful attempts 0
3600.02/3609.40 c STR number of unsuccessful attempts 0
3600.02/3609.40 c STR number of inconclusive attempts 0
3600.02/3609.40 c STR average degree increase per successful call inf
3600.02/3609.40 c STR average degree increase per successful attempt inf
3600.02/3609.40 c STR total number of conflicts for successful attempts 0
3600.02/3609.40 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.40 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.40 c STR average number of conflicts per successful attempt inf
3600.02/3609.40 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.40 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.40 c AVG.sumWPerc 47.47
3600.02/3609.40 c bigint constraints 0
3600.02/3609.40 s UNKNOWN
3600.02/3609.40 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 (55458 MiB free)
memory of node 1: 64507 MiB (45392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509242-1751516006/watcher-4509242-1751516006 -o /tmp/evaluation-result-4509242-1751516006/solver-4509242-1751516006 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751508121-72542 --watchdog 3760 run-opt-ls.sh HOME/instance-4509242-1751516006.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=73572, runsolver pid=73569
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.04 4.10 4.09 5/268 73574
/proc/meminfo: memFree=103243360/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73574] ppid=73572 vsize=53072 memory=38064 CPUtime=0.09 cores=0,2
/proc/73574/stat : 73574 (pbsuma) R 73572 73572 72530 0 -1 4194304 8198 0 0 0 7 2 0 0 20 0 1 0 67279509 54345728 9516 18446744073709551615 4210688 4653049 140733210314784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22568960 140733210323299 140733210323506 140733210323506 140733210329071 0
/proc/73574/statm: 13268 9516 1024 108 0 10676 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57264 KiB
Current children cumulated memory: 41136 KiB
[startup+0.205622 s]*
/proc/loadavg: 4.04 4.10 4.09 5/268 73574
/proc/meminfo: memFree=103158360/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73574] ppid=73572 vsize=155640 memory=122344 CPUtime=0.19 cores=0,2
/proc/73574/stat : 73574 (pbsuma) R 73572 73572 72530 0 -1 4194304 15507 0 0 0 15 4 0 0 20 0 1 0 67279509 159375360 30586 18446744073709551615 4210688 4653049 140733210314784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22568960 140733210323299 140733210323506 140733210323506 140733210329071 0
/proc/73574/statm: 38910 30586 1024 108 0 36318 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 159832 KiB
Current children cumulated memory: 125416 KiB
[startup+0.305571 s]*
/proc/loadavg: 4.04 4.10 4.09 5/268 73574
/proc/meminfo: memFree=103101272/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73574] ppid=73572 vsize=232420 memory=175568 CPUtime=0.29 cores=0,2
/proc/73574/stat : 73574 (pbsuma) R 73572 73572 72530 0 -1 4194304 19090 0 0 0 24 5 0 0 20 0 1 0 67279509 237998080 43892 18446744073709551615 4210688 4653049 140733210314784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22568960 140733210323299 140733210323506 140733210323506 140733210329071 0
/proc/73574/statm: 58105 43892 1024 108 0 55513 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 236612 KiB
Current children cumulated memory: 178640 KiB
[startup+0.700206 s]
/proc/loadavg: 4.04 4.10 4.09 5/268 73574
/proc/meminfo: memFree=103060568/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73574] ppid=73572 vsize=289556 memory=206616 CPUtime=0.68 cores=0,2
/proc/73574/stat : 73574 (pbsuma) R 73572 73572 72530 0 -1 4194304 24648 0 0 0 61 7 0 0 20 0 1 0 67279509 296505344 51654 18446744073709551615 4210688 4653049 140733210314784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22568960 140733210323299 140733210323506 140733210323506 140733210329071 0
/proc/73574/statm: 72389 51654 1024 108 0 69797 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 293748 KiB
Current children cumulated memory: 209688 KiB
[startup+1.5002 s]
/proc/loadavg: 4.04 4.10 4.09 5/268 73574
/proc/meminfo: memFree=103053008/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73574] ppid=73572 vsize=289556 memory=216196 CPUtime=1.48 cores=0,2
/proc/73574/stat : 73574 (pbsuma) R 73572 73572 72530 0 -1 4194304 26027 0 0 0 140 8 0 0 20 0 1 0 67279509 296505344 54049 18446744073709551615 4210688 4653049 140733210314784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22568960 140733210323299 140733210323506 140733210323506 140733210329071 0
/proc/73574/statm: 72389 54049 1024 108 0 69797 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 293748 KiB
Current children cumulated memory: 219268 KiB
[startup+3.10532 s]
/proc/loadavg: 4.04 4.10 4.09 5/268 73574
/proc/meminfo: memFree=102975864/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73574] ppid=73572 vsize=326468 memory=258768 CPUtime=3.08 cores=0,2
/proc/73574/stat : 73574 (pbsuma) R 73572 73572 72530 0 -1 4194304 36029 0 0 0 299 9 0 0 20 0 1 0 67279509 334303232 64692 18446744073709551615 4210688 4653049 140733210314784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22568960 140733210323299 140733210323506 140733210323506 140733210329071 0
/proc/73574/statm: 81617 64692 1024 108 0 79025 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 330660 KiB
Current children cumulated memory: 261840 KiB
[startup+6.30018 s]
/proc/loadavg: 4.03 4.10 4.08 5/269 73575
/proc/meminfo: memFree=102919044/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73574] ppid=73572 vsize=336680 memory=268368 CPUtime=6.26 cores=0,2
/proc/73574/stat : 73574 (pbsuma) R 73572 73572 72530 0 -1 4194304 38447 0 0 0 617 9 0 0 20 0 1 0 67279509 344760320 67092 18446744073709551615 4210688 4653049 140733210314784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22568960 140733210323299 140733210323506 140733210323506 140733210329071 0
/proc/73574/statm: 84170 67092 1024 108 0 81578 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 340872 KiB
Current children cumulated memory: 271440 KiB
[startup+12.7002 s]
/proc/loadavg: 4.03 4.10 4.08 5/269 73575
/proc/meminfo: memFree=102858512/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73574] ppid=73572 vsize=374892 memory=297588 CPUtime=12.65 cores=0,2
/proc/73574/stat : 73574 (pbsuma) R 73572 73572 72530 0 -1 4194304 40674 0 0 0 1255 10 0 0 20 0 1 0 67279509 383889408 74397 18446744073709551615 4210688 4653049 140733210314784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22568960 140733210323299 140733210323506 140733210323506 140733210329071 0
/proc/73574/statm: 93723 74397 1024 108 0 91131 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 379084 KiB
Current children cumulated memory: 300660 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 4.09 4.08 5/269 73575
/proc/meminfo: memFree=102676528/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73574] ppid=73572 vsize=409272 memory=350220 CPUtime=25.42 cores=0,2
/proc/73574/stat : 73574 (pbsuma) R 73572 73572 72530 0 -1 4194304 46188 0 0 0 2530 12 0 0 20 0 1 0 67279509 419094528 87555 18446744073709551615 4210688 4653049 140733210314784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22568960 140733210323299 140733210323506 140733210323506 140733210329071 0
/proc/73574/statm: 102318 87555 1024 108 0 99726 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 413464 KiB
Current children cumulated memory: 353292 KiB
[startup+51.1055 s]
/proc/loadavg: 4.07 4.10 4.09 5/269 73576
/proc/meminfo: memFree=101057368/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=38.41 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 237 64669 0 0 0 0 3818 23 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73576] ppid=73572 vsize=1708488 memory=1558156 CPUtime=12.52 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73572 73572 72530 0 -1 4194304 264366 0 0 0 999 253 0 0 20 0 1 0 67283362 1749491712 389539 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 427122 389539 2048 1147 0 414549 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1712680 KiB
Current children cumulated memory: 1561228 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 73578
/proc/meminfo: memFree=100688864/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=38.41 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 237 64669 0 0 0 0 3818 23 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73576] ppid=73572 vsize=2085900 memory=1807064 CPUtime=63.57 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73572 73572 72530 0 -1 4194304 290154 0 0 0 5936 421 0 0 20 0 1 0 67283362 2135961600 451766 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 521475 451766 2144 1147 0 508902 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2090092 KiB
Current children cumulated memory: 1810136 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 73580
/proc/meminfo: memFree=100497336/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=38.41 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 237 64669 0 0 0 0 3818 23 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73576] ppid=73572 vsize=2195612 memory=1928340 CPUtime=123.43 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73572 73572 72530 0 -1 4194304 312571 0 0 0 11760 583 0 0 20 0 1 0 67283362 2248306688 482085 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 548903 482085 2144 1147 0 536330 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2199804 KiB
Current children cumulated memory: 1931412 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 73582
/proc/meminfo: memFree=100403836/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=38.41 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 237 64669 0 0 0 0 3818 23 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73576] ppid=73572 vsize=2235364 memory=1997816 CPUtime=183.26 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73572 73572 72530 0 -1 4194304 318810 0 0 0 17583 743 0 0 20 0 1 0 67283362 2289012736 499454 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 558841 499454 2144 1147 0 546268 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/loadavg: 1.17 2.58 3.48 2/247 73826
/proc/meminfo: memFree=99410276/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=38.41 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 237 64669 0 0 0 0 3818 23 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73576] ppid=73572 vsize=7822384 memory=6914220 CPUtime=3115.56 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73572 73572 72530 0 -1 4194304 1232822 0 0 0 305063 6493 0 0 20 0 1 0 67283362 8010121216 1728555 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 1955596 1728555 2144 1147 0 1943023 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 7826576 KiB
Current children cumulated memory: 6917292 KiB
[startup+3222.3 s]
/proc/loadavg: 1.16 2.32 3.34 2/246 73828
/proc/meminfo: memFree=99364328/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=38.41 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 237 64669 0 0 0 0 3818 23 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73576] ppid=73572 vsize=7822384 memory=6935596 CPUtime=3175.41 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73572 73572 72530 0 -1 4194304 1233033 0 0 0 310798 6743 0 0 20 0 1 0 67283362 8010121216 1733899 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 1955596 1733899 2144 1147 0 1943023 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 7826576 KiB
Current children cumulated memory: 6938668 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 2.09 3.19 2/245 73830
/proc/meminfo: memFree=99362404/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=38.41 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 237 64669 0 0 0 0 3818 23 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73576] ppid=73572 vsize=7822384 memory=6935596 CPUtime=3235.3 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73572 73572 72530 0 -1 4194304 1234994 0 0 0 316683 6847 0 0 20 0 1 0 67283362 8010121216 1733899 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 1955596 1733899 2144 1147 0 1943023 0
Current children cumulated CPU time: 3273.71 s
Current children cumulated vsize: 7826576 KiB
Current children cumulated memory: 6938668 KiB
[startup+3342.3 s]
/proc/loadavg: 1.08 1.90 3.06 2/245 73832
/proc/meminfo: memFree=99315708/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=38.41 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 237 64669 0 0 0 0 3818 23 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73576] ppid=73572 vsize=7843504 memory=6958344 CPUtime=3295.13 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73572 73572 72530 0 -1 4194304 1242298 0 0 0 322622 6891 0 0 20 0 1 0 67283362 8031748096 1739586 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 1960876 1739586 2144 1147 0 1948303 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 7847696 KiB
Current children cumulated memory: 6961416 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.77 2.94 2/245 73834
/proc/meminfo: memFree=99283288/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=38.41 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 237 64669 0 0 0 0 3818 23 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73576] ppid=73572 vsize=7882192 memory=6987016 CPUtime=3354.98 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73572 73572 72530 0 -1 4194304 1250520 0 0 0 328563 6935 0 0 20 0 1 0 67283362 8071364608 1746754 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 1970548 1746754 2144 1147 0 1957975 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 7886384 KiB
Current children cumulated memory: 6990088 KiB
[startup+3462.3 s]
/proc/loadavg: 1.17 1.66 2.82 2/245 73837
/proc/meminfo: memFree=99214088/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=38.41 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 237 64669 0 0 0 0 3818 23 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73576] ppid=73572 vsize=7954392 memory=7050632 CPUtime=3414.83 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73572 73572 72530 0 -1 4194304 1267693 0 0 0 334500 6983 0 0 20 0 1 0 67283362 8145297408 1762658 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 1988598 1762658 2144 1147 0 1976025 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 7958584 KiB
Current children cumulated memory: 7053704 KiB
[startup+3522.3 s]
/proc/loadavg: 1.17 1.57 2.72 2/246 73844
/proc/meminfo: memFree=99111488/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=38.41 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 237 64669 0 0 0 0 3818 23 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73576] ppid=73572 vsize=8061560 memory=7162212 CPUtime=3474.69 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73572 73572 72530 0 -1 4194304 1280802 0 0 0 340465 7004 0 0 20 0 1 0 67283362 8255037440 1790553 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 2015390 1790553 2144 1147 0 2002817 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 8065752 KiB
Current children cumulated memory: 7165284 KiB
[startup+3582.3 s]
/proc/loadavg: 1.12 1.48 2.61 2/247 73849
/proc/meminfo: memFree=99085592/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=38.41 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 237 64669 0 0 0 0 3818 23 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73576] ppid=73572 vsize=8061560 memory=7189860 CPUtime=3534.56 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73572 73572 72530 0 -1 4194304 1282103 0 0 0 346447 7009 0 0 20 0 1 0 67283362 8255037440 1797465 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 2015390 1797465 2144 1147 0 2002817 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 8065752 KiB
Current children cumulated memory: 7192932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 1.14 1.45 2.57 2/247 73849
/proc/meminfo: memFree=99072284/131249988 swapFree=33010160/33010684
[pid=73572] ppid=73569 vsize=4192 memory=3072 CPUtime=38.41 cores=0,2
/proc/73572/stat : 73572 (run-opt-ls.sh) S 73569 73572 72530 0 -1 4194304 237 64669 0 0 0 0 3818 23 20 0 1 0 67279509 4292608 768 18446744073709551615 94317146329088 94317147223621 140727926754608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94317147462672 94317147510416 94317163536384 140727926757735 140727926757861 140727926757861 140727926763463 0
/proc/73572/statm: 1048 768 704 219 0 110 0
[pid=73576] ppid=73572 vsize=8061560 memory=7216640 CPUtime=3561.61 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73572 73572 72530 0 -1 4194304 1282403 0 0 0 349150 7011 0 0 20 0 1 0 67283362 8255037440 1804160 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 2015390 1804160 2144 1147 0 2002817 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 8065752 KiB
Current children cumulated memory: 7219712 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.4 s]
# the end of solver process 73572 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=38.1895 s, system=0.237706 s
Sleeping 2 seconds
[startup+3610.04 s]
# the end of solver process 73576 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3530.26 s, system=70.4227 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: 1.14 1.45 2.57 2/246 73849
/proc/meminfo: memFree=99132500/131249988 swapFree=33010160/33010684
[pid=73576] ppid=73569 vsize=7903608 memory=7092476 CPUtime=3561.81 cores=0,2
/proc/73576/stat : 73576 (roundingsat) R 73569 73572 72530 0 -1 4194304 1282559 0 0 0 349170 7011 0 0 20 0 1 0 67283362 8093294592 1773119 18446744073709551615 4227072 8923433 140723933066768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28323840 140723933071686 140723933071912 140723933071912 140723933077482 0
/proc/73576/statm: 1975902 1773119 2240 1147 0 1963329 0
Current cumulated CPU time of completed processes: 38.4272 s
Current children cumulated CPU time: 3561.81 s
Current children cumulated vsize: 7903608 KiB
Current children cumulated memory: 7092476 KiB
[startup+3610 s]*
/proc/loadavg: 1.14 1.45 2.57 2/246 73849
/proc/meminfo: memFree=105214956/131249988 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 38.4272 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): 3610.04
CPU time (s): 3600.68
CPU user time (s): 3530.26
CPU system time (s): 70.4227
CPU usage (%): 99.7408
Max. virtual memory (cumulated for all children) (KiB): 8112372
Max. memory (cumulated for all children) (KiB): 7219712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3530.26
system time used= 70.4227
maximum resident set size= 7217024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1348330
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= 439
involuntary context switches= 8081
# summary of solver processes directly reported to runsolver:
# pid: 73572,73576
# total CPU time (s): 3600.68
# total CPU user time (s): 3530.26
# total CPU system time (s): 70.4227
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.99578 second user time and 14.2996 second system time
The end