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-4485737-1751308607.opb'
0.09/0.15 c read 14.59MB (145.89ms)
0.09/0.15 c [cnf: #variables 155020 #clauses 2676 #duplicates 0 #arr 855173]
0.09/0.15 c output proof to 'PROOFDIR/proof-4485737-1751308607'
0.09/0.15 c
0.09/0.15 c make graph and approximate orbits
0.39/0.50 c [group: #orbits ~= 7832] (343.77ms)
0.39/0.50 c
0.39/0.50 c detect special group actions
0.39/0.50 c probe for Johnson action (limit=64)
0.49/0.51 c probe for row-column symmetry (limit=64, splits=16.78M)
0.49/0.52 c probe for row symmetry (limit=64, splits=16.78M)
0.49/0.53 c (34.88ms)
0.49/0.53 c
0.49/0.53 c detect symmetries on remainder
0.49/0.54 c [graph: #vertices 1144181 #edges 3683316]
0.49/0.54 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.68/0.71 c [group: #symmetries 1.15*10^1146 #generators 3759] (176.52ms)
0.68/0.71 c
0.68/0.71 c optimize generators (opt_passes=64, conjugate_limit=256)
0.68/0.71 c ran it=0, +gens=0
0.77/0.81 c con best_support=4, best_gens=3750, +gens=0
0.77/0.81 c (99.39ms)
0.77/0.81 c
0.77/0.81 c finalize break order and special generators
0.77/0.82 c
0.77/0.82 c add generic predicates (break_depth=20)
0.77/0.82 c added predicates for 3759 generators (0.44ms)
0.77/0.83 c
0.77/0.83 c generation finished
0.77/0.83 c [sbp: #constraints 4272 #add_vars 171]
0.77/0.84 c
0.77/0.84 c write result to 'HOME/instance-4485737-1751308607.opb.pre'
0.77/0.87 c wrote 14.73MB (30.65ms)
0.77/0.87 c ------------------------------------------------------------------
0.77/0.87 c 343.77ms 39.85% approx_orbits
0.77/0.87 c 176.52ms 20.46% detect_generic
0.77/0.87 c 145.89ms 16.91% parse
0.77/0.87 c 99.39ms 11.52% optimize_gens
0.77/0.87 c 34.88ms 4.04% detect_special
0.77/0.87 c 30.65ms 3.55% output
0.77/0.87 c 24.58ms 2.85% other
0.77/0.87 c 6.65ms 0.77% finalize_order
0.77/0.87 c 0.44ms 0.05% break_generic
0.77/0.87 c ───────────────────────────────────────────────
0.77/0.87 c 862.77ms 100% total
0.77/0.87 c ------------------------------------------------------------------
0.77/0.89 c RoundingSat 2
0.77/0.89 c branch pb25
0.77/0.89 c commit 63f22ad
1.97/2.03 c #variables 155191 #constraints 7579
1.97/2.03 c objective is ce64
27.89/28.04 c initial watched CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
27.89/28.04 c initial counting CF 32, 64, 128, Arb: 1116 , 3061 , 0 , 0
27.89/28.04 c bounds - >= -6514339591161790 @ 26.9804
36.17/36.33 c #Conflicts: 1000 | #Constraints: 8578
36.17/36.33 c #Conflicts: 2000 | #Constraints: 9578
36.17/36.33 c INPROCESSING
36.17/36.33 c GARBAGE COLLECT
36.17/36.33 c bounds - >= -914338413869450 @ 35.141
36.17/36.34 c bounds - >= -872194047277450 @ 35.1463
36.17/36.34 c bounds - >= -851121863981450 @ 35.1522
36.17/36.35 c bounds - >= -840585772333450 @ 35.1578
36.17/36.36 c bounds - >= -835217063213450 @ 35.1629
36.17/36.36 c bounds - >= -829949017389450 @ 35.1686
36.17/36.37 c bounds - >= -825754713389450 @ 35.1757
36.17/36.37 c bounds - >= -823657561389450 @ 35.1805
36.17/36.38 c bounds - >= -822271763347850 @ 35.1858
36.17/36.39 c bounds - >= -821858372745610 @ 35.1913
36.17/36.39 c bounds - >= -821709391067530 @ 35.1971
36.27/36.40 c bounds - >= -821560409389450 @ 35.2027
36.27/36.40 c bounds - >= -818876054829450 @ 35.2081
36.27/36.41 c bounds - >= -816242031917450 @ 35.2142
36.27/36.41 c bounds - >= -814899854637450 @ 35.2192
36.27/36.42 c bounds - >= -813582843181450 @ 35.2241
36.27/36.43 c bounds - >= -812534267181450 @ 35.2296
36.27/36.43 c bounds - >= -811485691181450 @ 35.235
36.27/36.44 c bounds - >= -810437115181450 @ 35.2404
36.27/36.44 c bounds - >= -809425784600970 @ 35.2473
36.27/36.45 c bounds - >= -808754695960970 @ 35.2521
36.27/36.46 c bounds - >= -808096190232970 @ 35.258
36.27/36.46 c bounds - >= -807721722771850 @ 35.2645
36.27/36.47 c bounds - >= -807197434771850 @ 35.2701
36.27/36.48 c bounds - >= -806673146771850 @ 35.2747
36.27/36.48 c bounds - >= -806148858771850 @ 35.2793
36.27/36.49 c bounds - >= -805624570771850 @ 35.2839
36.27/36.49 c bounds - >= -805100282771850 @ 35.2896
36.36/36.50 c bounds - >= -804575994771850 @ 35.2943
36.36/36.50 c bounds - >= -804051706771850 @ 35.3003
36.36/36.51 c bounds - >= -803527418771850 @ 35.306
36.36/36.52 c bounds - >= -802478842771850 @ 35.3124
36.36/36.52 c bounds - >= -801430266771850 @ 35.3183
36.36/36.53 c bounds - >= -800905978771850 @ 35.3244
36.36/36.54 c bounds - >= -800570434451850 @ 35.3293
36.36/36.54 c bounds - >= -800241181587850 @ 35.3355
36.36/36.55 c bounds - >= -799979037587850 @ 35.3414
36.36/36.55 c bounds - >= -799716893587850 @ 35.3462
36.36/36.56 c bounds - >= -799454749587850 @ 35.3521
36.36/36.56 c bounds - >= -799192605587850 @ 35.358
36.36/36.57 c bounds - >= -798930461587850 @ 35.3638
36.36/36.58 c bounds - >= -798668317587850 @ 35.3697
36.36/36.58 c bounds - >= -798406173587850 @ 35.3756
36.36/36.59 c bounds - >= -798144029587850 @ 35.3814
36.36/36.59 c bounds - >= -797881885587850 @ 35.3873
36.47/36.60 c bounds - >= -797619741587850 @ 35.3931
36.47/36.61 c bounds - >= -797357597587850 @ 35.3991
36.47/36.61 c bounds - >= -797095453587850 @ 35.4041
36.47/36.62 c bounds - >= -796833309587850 @ 35.4101
36.47/36.62 c bounds - >= -796571165587850 @ 35.4162
36.47/36.63 c bounds - >= -796309021587850 @ 35.4223
36.47/36.64 c bounds - >= -796046877587850 @ 35.4282
36.47/36.64 c bounds - >= -795784733587850 @ 35.4331
36.47/36.65 c bounds - >= -795522589587850 @ 35.4391
36.47/36.66 c bounds - >= -795391391758730 @ 35.4458
36.47/36.66 c bounds - >= -795223619598730 @ 35.4518
36.47/36.67 c bounds - >= -795058993166730 @ 35.4584
36.47/36.67 c bounds - >= -794927921166730 @ 35.4637
36.47/36.68 c bounds - >= -794796849166730 @ 35.4699
36.47/36.69 c bounds - >= -794665777166730 @ 35.4761
36.47/36.69 c bounds - >= -794534705166730 @ 35.4824
36.56/36.70 c bounds - >= -794403633166730 @ 35.49
36.56/36.71 c bounds - >= -794272561166730 @ 35.4985
36.56/36.72 c bounds - >= -794141489166730 @ 35.5053
36.56/36.73 c bounds - >= -794010417166730 @ 35.5118
36.56/36.73 c bounds - >= -793879345166730 @ 35.5179
36.56/36.74 c bounds - >= -793748273166730 @ 35.5234
36.56/36.74 c bounds - >= -793617201166730 @ 35.5296
36.56/36.75 c bounds - >= -793486129166730 @ 35.5358
36.56/36.76 c bounds - >= -793355057166730 @ 35.5418
36.56/36.76 c bounds - >= -793223985166730 @ 35.5463
36.56/36.77 c bounds - >= -793092913166730 @ 35.5516
36.56/36.78 c bounds - >= -792961841166730 @ 35.5579
36.56/36.79 c bounds - >= -792674783000970 @ 35.5682
36.56/36.79 c bounds - >= -792412639000970 @ 35.5762
36.66/36.80 c bounds - >= -792281567000970 @ 35.5815
36.66/36.81 c bounds - >= -792150495000970 @ 35.5877
36.66/36.81 c bounds - >= -792019423000970 @ 35.594
36.66/36.82 c bounds - >= -791888351000970 @ 35.5992
36.66/36.83 c bounds - >= -791757279000970 @ 35.6053
36.66/36.83 c bounds - >= -791626207000970 @ 35.6114
36.66/36.84 c bounds - >= -791495135000970 @ 35.6156
36.66/36.85 c bounds - >= -791357226285450 @ 35.6238
36.66/36.86 c bounds - >= -791226028456330 @ 35.6334
36.66/36.87 c bounds - >= -791094956456330 @ 35.641
38.46/38.65 c #Conflicts: 3000 | #Constraints: 8968
38.46/38.65 c #Conflicts: 4000 | #Constraints: 9968
38.46/38.65 c INPROCESSING
38.46/38.65 c GARBAGE COLLECT
38.46/38.65 c #Conflicts: 5000 | #Constraints: 9284
38.46/38.65 c #Conflicts: 6000 | #Constraints: 10284
38.46/38.65 c INPROCESSING
38.46/38.65 c GARBAGE COLLECT
38.46/38.65 c bounds - >= 14211411543670 @ 37.3803
38.66/38.83 c bounds - >= 274258259543670 @ 37.5565
38.66/38.84 c bounds - >= 276355411543670 @ 37.565
38.66/38.85 c bounds - >= 277403987543670 @ 37.5718
38.66/38.86 c bounds - >= 277928275543670 @ 37.5771
38.66/38.86 c bounds - >= 278452563543670 @ 37.5841
39.35/39.59 c #Conflicts: 7000 | #Constraints: 9299
39.35/39.59 c bounds - >= 278640468362870 @ 38.2983
39.46/39.60 c bounds - >= 278825688827510 @ 38.3049
39.46/39.61 c bounds - >= 279463894124150 @ 38.3113
39.46/39.62 c bounds - >= 279650456766070 @ 38.3223
39.46/39.63 c bounds - >= 279842765604470 @ 38.3329
48.93/49.15 c #Conflicts: 8000 | #Constraints: 10322
48.93/49.15 c #Conflicts: 9000 | #Constraints: 11322
48.93/49.15 c INPROCESSING
48.93/49.15 c GARBAGE COLLECT
48.93/49.15 c #Conflicts: 10000 | #Constraints: 9997
48.93/49.15 c #Conflicts: 11000 | #Constraints: 10997
48.93/49.15 c #Conflicts: 12000 | #Constraints: 11997
48.93/49.15 c INPROCESSING
48.93/49.15 c GARBAGE COLLECT
48.93/49.15 c bounds - >= 280367053604470 @ 47.7551
106.85/107.22 c #Conflicts: 13000 | #Constraints: 10447
106.85/107.22 c #Conflicts: 14000 | #Constraints: 11447
106.85/107.22 c #Conflicts: 15000 | #Constraints: 12447
106.85/107.22 c INPROCESSING
106.85/107.22 c GARBAGE COLLECT
106.85/107.22 c #Conflicts: 16000 | #Constraints: 10671
106.85/107.22 c #Conflicts: 17000 | #Constraints: 11671
106.85/107.22 c #Conflicts: 18000 | #Constraints: 12671
106.85/107.22 c INPROCESSING
106.85/107.22 c GARBAGE COLLECT
106.85/107.22 c #Conflicts: 19000 | #Constraints: 10685
106.85/107.22 c #Conflicts: 20000 | #Constraints: 11685
106.85/107.22 c #Conflicts: 21000 | #Constraints: 12685
106.85/107.22 c INPROCESSING
106.85/107.22 c GARBAGE COLLECT
106.85/107.22 c #Conflicts: 22000 | #Constraints: 10490
106.85/107.22 c #Conflicts: 23000 | #Constraints: 11490
106.85/107.22 c #Conflicts: 24000 | #Constraints: 12490
106.85/107.22 c #Conflicts: 25000 | #Constraints: 13490
106.85/107.22 c INPROCESSING
106.85/107.22 c GARBAGE COLLECT
106.85/107.22 c #Conflicts: 26000 | #Constraints: 11091
106.85/107.22 c #Conflicts: 27000 | #Constraints: 12091
106.85/107.22 c #Conflicts: 28000 | #Constraints: 13091
106.85/107.22 c #Conflicts: 29000 | #Constraints: 14091
106.85/107.22 c INPROCESSING
106.85/107.22 c GARBAGE COLLECT
106.85/107.22 c #Conflicts: 30000 | #Constraints: 11494
106.85/107.22 c #Conflicts: 31000 | #Constraints: 12494
106.85/107.22 c #Conflicts: 32000 | #Constraints: 13494
106.85/107.22 c #Conflicts: 33000 | #Constraints: 14494
106.85/107.22 c INPROCESSING
106.85/107.22 c GARBAGE COLLECT
106.85/107.22 c bounds - >= 280629197604470 @ 105.179
106.85/107.23 c bounds - >= 280760269604470 @ 105.192
106.85/107.25 c bounds - >= 280891341604470 @ 105.208
106.85/107.27 c bounds - >= 281022413604470 @ 105.224
106.85/107.28 c bounds - >= 281153485604470 @ 105.237
106.95/107.30 c bounds - >= 281284557604470 @ 105.254
106.95/107.32 c bounds - >= 281415629604470 @ 105.276
106.95/107.35 c bounds - >= 281546701604470 @ 105.31
106.95/107.37 c bounds - >= 281677773604470 @ 105.327
107.05/107.40 c bounds - >= 281808845604470 @ 105.355
107.05/107.44 c bounds - >= 281939917604470 @ 105.396
107.14/107.50 c bounds - >= 282070989604470 @ 105.449
107.24/107.61 c bounds - >= 282202061604470 @ 105.555
107.34/107.75 c bounds - >= 282333133604470 @ 105.686
107.94/108.32 c #Conflicts: 34000 | #Constraints: 11761
107.94/108.32 c bounds - >= 282478340408950 @ 106.225
109.64/110.01 c #Conflicts: 35000 | #Constraints: 12764
109.64/110.01 c #Conflicts: 36000 | #Constraints: 13764
109.64/110.01 c bounds - >= 282609412408950 @ 107.875
144.72/145.25 c #Conflicts: 37000 | #Constraints: 14767
144.72/145.25 c INPROCESSING
144.72/145.25 c GARBAGE COLLECT
144.72/145.25 c #Conflicts: 38000 | #Constraints: 11750
144.72/145.25 c #Conflicts: 39000 | #Constraints: 12750
144.72/145.25 c #Conflicts: 40000 | #Constraints: 13750
144.72/145.25 c #Conflicts: 41000 | #Constraints: 14750
144.72/145.25 c INPROCESSING
144.72/145.25 c GARBAGE COLLECT
144.72/145.25 c #Conflicts: 42000 | #Constraints: 11574
144.72/145.25 c #Conflicts: 43000 | #Constraints: 12574
144.72/145.25 c bounds - >= 282747551811190 @ 142.702
151.30/151.89 c #Conflicts: 44000 | #Constraints: 13577
151.30/151.89 c #Conflicts: 45000 | #Constraints: 14577
151.30/151.89 c #Conflicts: 46000 | #Constraints: 15577
151.30/151.89 c INPROCESSING
151.30/151.89 c GARBAGE COLLECT
151.30/151.89 c #Conflicts: 47000 | #Constraints: 12206
151.30/151.89 c #Conflicts: 48000 | #Constraints: 13206
151.30/151.89 c #Conflicts: 49000 | #Constraints: 14206
151.30/151.89 c #Conflicts: 50000 | #Constraints: 15206
151.30/151.89 c #Conflicts: 51000 | #Constraints: 16206
151.30/151.89 c INPROCESSING
151.30/151.89 c GARBAGE COLLECT
151.30/151.89 c #Conflicts: 52000 | #Constraints: 12626
151.30/151.89 c #Conflicts: 53000 | #Constraints: 13626
151.30/151.89 c #Conflicts: 54000 | #Constraints: 14626
151.30/151.89 c #Conflicts: 55000 | #Constraints: 15626
151.30/151.89 c #Conflicts: 56000 | #Constraints: 16626
151.30/151.89 c INPROCESSING
151.30/151.89 c GARBAGE COLLECT
151.30/151.89 c #Conflicts: 57000 | #Constraints: 12842
151.30/151.89 c #Conflicts: 58000 | #Constraints: 13843
151.30/151.89 c #Conflicts: 59000 | #Constraints: 14843
151.30/151.89 c #Conflicts: 60000 | #Constraints: 15843
151.30/151.89 c #Conflicts: 61000 | #Constraints: 16843
151.30/151.89 c INPROCESSING
151.30/151.89 c GARBAGE COLLECT
151.30/151.89 c #Conflicts: 62000 | #Constraints: 12848
151.30/151.89 c bounds - >= 283023369242230 @ 149.192
151.40/151.91 c bounds - >= 283154567071350 @ 149.204
151.40/151.93 c bounds - >= 283292475786870 @ 149.229
153.20/153.73 c #Conflicts: 63000 | #Constraints: 13866
153.20/153.73 c #Conflicts: 64000 | #Constraints: 14866
153.20/153.73 c bounds - >= 284844703811190 @ 150.998
153.20/153.74 c bounds - >= 285348355835510 @ 151.005
153.20/153.75 c bounds - >= 285624173266550 @ 151.011
153.20/153.75 c bounds - >= 285755371095670 @ 151.017
153.20/153.76 c bounds - >= 285893279811190 @ 151.024
215.05/215.87 c #Conflicts: 65000 | #Constraints: 15895
215.05/215.87 c #Conflicts: 66000 | #Constraints: 16895
215.05/215.87 c INPROCESSING
215.05/215.87 c GARBAGE COLLECT
215.05/215.87 c #Conflicts: 67000 | #Constraints: 12681
215.05/215.87 c #Conflicts: 68000 | #Constraints: 13681
215.05/215.87 c #Conflicts: 69000 | #Constraints: 14681
215.05/215.87 c #Conflicts: 70000 | #Constraints: 15681
215.05/215.87 c #Conflicts: 71000 | #Constraints: 16681
215.05/215.87 c #Conflicts: 72000 | #Constraints: 17682
215.05/215.87 c INPROCESSING
215.05/215.87 c GARBAGE COLLECT
215.05/215.87 c #Conflicts: 73000 | #Constraints: 13263
215.05/215.87 c #Conflicts: 74000 | #Constraints: 14263
215.05/215.87 c #Conflicts: 75000 | #Constraints: 15263
215.05/215.87 c #Conflicts: 76000 | #Constraints: 16263
215.05/215.87 c #Conflicts: 77000 | #Constraints: 17263
215.05/215.87 c #Conflicts: 78000 | #Constraints: 18263
215.05/215.87 c INPROCESSING
215.05/215.87 c GARBAGE COLLECT
215.05/215.87 c #Conflicts: 79000 | #Constraints: 13647
215.05/215.87 c #Conflicts: 80000 | #Constraints: 14647
215.05/215.87 c #Conflicts: 81000 | #Constraints: 15647
215.05/215.87 c #Conflicts: 82000 | #Constraints: 16647
215.05/215.87 c #Conflicts: 83000 | #Constraints: 17647
215.05/215.87 c #Conflicts: 84000 | #Constraints: 18647
215.05/215.87 c INPROCESSING
215.05/215.87 c GARBAGE COLLECT
215.05/215.87 c #Conflicts: 85000 | #Constraints: 13843
215.05/215.87 c #Conflicts: 86000 | #Constraints: 14843
215.05/215.87 c #Conflicts: 87000 | #Constraints: 15843
215.05/215.87 c #Conflicts: 88000 | #Constraints: 16843
215.05/215.87 c #Conflicts: 89000 | #Constraints: 17843
215.05/215.87 c #Conflicts: 90000 | #Constraints: 18843
215.05/215.87 c INPROCESSING
215.05/215.87 c GARBAGE COLLECT
215.05/215.87 c #Conflicts: 91000 | #Constraints: 13838
215.05/215.87 c #Conflicts: 92000 | #Constraints: 14838
215.05/215.87 c #Conflicts: 93000 | #Constraints: 15838
215.05/215.87 c #Conflicts: 94000 | #Constraints: 16838
215.05/215.87 c #Conflicts: 95000 | #Constraints: 17838
215.05/215.87 c #Conflicts: 96000 | #Constraints: 18838
215.05/215.87 c INPROCESSING
215.05/215.87 c GARBAGE COLLECT
215.05/215.87 c #Conflicts: 97000 | #Constraints: 13637
215.05/215.87 c #Conflicts: 98000 | #Constraints: 14637
215.05/215.87 c #Conflicts: 99000 | #Constraints: 15637
215.05/215.87 c #Conflicts: 100000 | #Constraints: 16637
215.05/215.87 c bounds - >= 286155423811190 @ 212.297
215.05/215.88 c bounds - >= 286417567811190 @ 212.304
215.05/215.88 c bounds - >= 286548639811190 @ 212.311
265.22/266.16 c #Conflicts: 101000 | #Constraints: 17649
265.22/266.16 c #Conflicts: 102000 | #Constraints: 18649
265.22/266.16 c #Conflicts: 103000 | #Constraints: 19649
265.22/266.16 c INPROCESSING
265.22/266.16 c GARBAGE COLLECT
265.22/266.16 c #Conflicts: 104000 | #Constraints: 14115
265.22/266.16 c #Conflicts: 105000 | #Constraints: 15115
265.22/266.16 c #Conflicts: 106000 | #Constraints: 16115
265.22/266.16 c #Conflicts: 107000 | #Constraints: 17115
265.22/266.16 c #Conflicts: 108000 | #Constraints: 18115
265.22/266.16 c #Conflicts: 109000 | #Constraints: 19115
265.22/266.16 c bounds - >= 286810783811190 @ 262.123
265.22/266.17 c bounds - >= 287072927811190 @ 262.132
265.71/266.60 c #Conflicts: 110000 | #Constraints: 20124
265.71/266.60 c INPROCESSING
265.71/266.60 c GARBAGE COLLECT
265.71/266.60 c #Conflicts: 111000 | #Constraints: 14587
265.71/266.60 c #Conflicts: 112000 | #Constraints: 15587
265.71/266.60 c bounds - >= 287203999811190 @ 262.556
265.71/266.63 c bounds - >= 287335071811190 @ 262.583
265.71/266.69 c bounds - >= 287466143811190 @ 262.634
265.81/266.72 c bounds - >= 287597215811190 @ 262.665
265.81/266.77 c bounds - >= 287728287811190 @ 262.716
265.91/266.84 c bounds - >= 287859359811190 @ 262.778
266.01/266.94 c bounds - >= 287990431811190 @ 262.877
266.11/267.02 c bounds - >= 288121503811190 @ 262.951
266.21/267.16 c #Conflicts: 113000 | #Constraints: 16701
266.21/267.16 c bounds - >= 288252575811190 @ 263.089
266.31/267.29 c bounds - >= 288383647811190 @ 263.207
266.50/267.49 c #Conflicts: 114000 | #Constraints: 17743
266.50/267.49 c bounds - >= 288514719811190 @ 263.399
266.91/267.81 c bounds - >= 288645791811190 @ 263.706
267.21/268.20 c #Conflicts: 115000 | #Constraints: 18779
267.21/268.20 c bounds - >= 288776863811190 @ 264.076
267.71/268.60 c #Conflicts: 116000 | #Constraints: 19797
267.71/268.60 c bounds - >= 288907935811190 @ 264.467
268.40/269.31 c #Conflicts: 117000 | #Constraints: 20815
268.40/269.31 c INPROCESSING
268.40/269.31 c GARBAGE COLLECT
268.40/269.31 c #Conflicts: 118000 | #Constraints: 14991
268.40/269.31 c bounds - >= 289039007811190 @ 265.163
269.90/270.84 c #Conflicts: 119000 | #Constraints: 16015
269.90/270.84 c #Conflicts: 120000 | #Constraints: 17015
269.90/270.84 c #Conflicts: 121000 | #Constraints: 18015
269.90/270.84 c #Conflicts: 122000 | #Constraints: 19015
269.90/270.84 c bounds - >= 289170079811190 @ 266.643
274.58/275.54 c #Conflicts: 123000 | #Constraints: 20033
274.58/275.54 c #Conflicts: 124000 | #Constraints: 21033
274.58/275.54 c INPROCESSING
274.58/275.54 c GARBAGE COLLECT
274.58/275.54 c #Conflicts: 125000 | #Constraints: 15021
274.58/275.54 c #Conflicts: 126000 | #Constraints: 16022
274.58/275.54 c bounds - >= 289301151811190 @ 271.251
276.28/277.28 c #Conflicts: 127000 | #Constraints: 17037
276.28/277.28 c #Conflicts: 128000 | #Constraints: 18037
276.28/277.28 c #Conflicts: 129000 | #Constraints: 19037
276.28/277.28 c bounds - >= 289432223811190 @ 272.947
511.77/513.52 c #Conflicts: 130000 | #Constraints: 20055
511.77/513.52 c #Conflicts: 131000 | #Constraints: 21055
511.77/513.52 c INPROCESSING
511.77/513.52 c GARBAGE COLLECT
511.77/513.52 c #Conflicts: 132000 | #Constraints: 14671
511.77/513.52 c #Conflicts: 133000 | #Constraints: 15671
511.77/513.52 c #Conflicts: 134000 | #Constraints: 16671
511.77/513.52 c #Conflicts: 135000 | #Constraints: 17672
511.77/513.52 c #Conflicts: 136000 | #Constraints: 18672
511.77/513.52 c #Conflicts: 137000 | #Constraints: 19672
511.77/513.52 c #Conflicts: 138000 | #Constraints: 20674
511.77/513.52 c #Conflicts: 139000 | #Constraints: 21674
511.77/513.52 c INPROCESSING
511.77/513.52 c GARBAGE COLLECT
511.77/513.52 c #Conflicts: 140000 | #Constraints: 15367
511.77/513.52 c #Conflicts: 141000 | #Constraints: 16367
511.77/513.52 c #Conflicts: 142000 | #Constraints: 17367
511.77/513.52 c #Conflicts: 143000 | #Constraints: 18367
511.77/513.52 c #Conflicts: 144000 | #Constraints: 19367
511.77/513.52 c #Conflicts: 145000 | #Constraints: 20367
511.77/513.52 c #Conflicts: 146000 | #Constraints: 21367
511.77/513.52 c #Conflicts: 147000 | #Constraints: 22367
511.77/513.52 c INPROCESSING
511.77/513.52 c GARBAGE COLLECT
511.77/513.52 c #Conflicts: 148000 | #Constraints: 15812
511.77/513.52 c #Conflicts: 149000 | #Constraints: 16812
511.77/513.52 c #Conflicts: 150000 | #Constraints: 17812
511.77/513.52 c #Conflicts: 151000 | #Constraints: 18812
511.77/513.52 c #Conflicts: 152000 | #Constraints: 19812
511.77/513.52 c #Conflicts: 153000 | #Constraints: 20812
511.77/513.52 c #Conflicts: 154000 | #Constraints: 21812
511.77/513.52 c #Conflicts: 155000 | #Constraints: 22812
511.77/513.52 c INPROCESSING
511.77/513.52 c GARBAGE COLLECT
511.77/513.52 c #Conflicts: 156000 | #Constraints: 16032
511.77/513.52 c #Conflicts: 157000 | #Constraints: 17032
511.77/513.52 c #Conflicts: 158000 | #Constraints: 18032
511.77/513.52 c #Conflicts: 159000 | #Constraints: 19032
511.77/513.52 c #Conflicts: 160000 | #Constraints: 20032
511.77/513.52 c #Conflicts: 161000 | #Constraints: 21032
511.77/513.52 c #Conflicts: 162000 | #Constraints: 22032
511.77/513.52 c #Conflicts: 163000 | #Constraints: 23032
511.77/513.52 c INPROCESSING
511.77/513.52 c GARBAGE COLLECT
511.77/513.52 c #Conflicts: 164000 | #Constraints: 16044
511.77/513.52 c #Conflicts: 165000 | #Constraints: 17044
511.77/513.52 c #Conflicts: 166000 | #Constraints: 18044
511.77/513.52 c #Conflicts: 167000 | #Constraints: 19044
511.77/513.52 c #Conflicts: 168000 | #Constraints: 20044
511.77/513.52 c #Conflicts: 169000 | #Constraints: 21044
511.77/513.52 c #Conflicts: 170000 | #Constraints: 22044
511.77/513.52 c #Conflicts: 171000 | #Constraints: 23044
511.77/513.52 c INPROCESSING
511.77/513.52 c GARBAGE COLLECT
511.77/513.52 c #Conflicts: 172000 | #Constraints: 15854
511.77/513.52 c #Conflicts: 173000 | #Constraints: 16854
511.77/513.52 c #Conflicts: 174000 | #Constraints: 17854
511.77/513.52 c #Conflicts: 175000 | #Constraints: 18854
511.77/513.52 c #Conflicts: 176000 | #Constraints: 19854
511.77/513.52 c #Conflicts: 177000 | #Constraints: 20854
511.77/513.52 c #Conflicts: 178000 | #Constraints: 21854
511.77/513.52 c #Conflicts: 179000 | #Constraints: 22854
511.77/513.52 c #Conflicts: 180000 | #Constraints: 23854
511.77/513.52 c INPROCESSING
511.77/513.52 c GARBAGE COLLECT
511.77/513.52 c #Conflicts: 181000 | #Constraints: 16459
511.77/513.52 c #Conflicts: 182000 | #Constraints: 17459
511.77/513.52 c #Conflicts: 183000 | #Constraints: 18459
511.77/513.52 c #Conflicts: 184000 | #Constraints: 19459
511.77/513.52 c #Conflicts: 185000 | #Constraints: 20459
511.77/513.52 c #Conflicts: 186000 | #Constraints: 21459
511.77/513.52 c #Conflicts: 187000 | #Constraints: 22459
511.77/513.52 c #Conflicts: 188000 | #Constraints: 23459
511.77/513.52 c #Conflicts: 189000 | #Constraints: 24459
511.77/513.52 c INPROCESSING
511.77/513.52 c GARBAGE COLLECT
511.77/513.52 c #Conflicts: 190000 | #Constraints: 16863
511.77/513.52 c #Conflicts: 191000 | #Constraints: 17863
511.77/513.52 c #Conflicts: 192000 | #Constraints: 18863
511.77/513.52 c #Conflicts: 193000 | #Constraints: 19863
511.77/513.52 c #Conflicts: 194000 | #Constraints: 20863
511.77/513.52 c #Conflicts: 195000 | #Constraints: 21863
511.77/513.52 c #Conflicts: 196000 | #Constraints: 22863
511.77/513.52 c #Conflicts: 197000 | #Constraints: 23863
511.77/513.52 c #Conflicts: 198000 | #Constraints: 24863
511.77/513.52 c INPROCESSING
511.77/513.52 c GARBAGE COLLECT
511.77/513.52 c #Conflicts: 199000 | #Constraints: 17066
511.77/513.52 c #Conflicts: 200000 | #Constraints: 18066
511.77/513.52 c #Conflicts: 201000 | #Constraints: 19066
511.77/513.52 c #Conflicts: 202000 | #Constraints: 20066
511.77/513.52 c #Conflicts: 203000 | #Constraints: 21066
644.71/646.82 c #Conflicts: 204000 | #Constraints: 22066
644.71/646.82 c #Conflicts: 205000 | #Constraints: 23066
644.71/646.82 c #Conflicts: 206000 | #Constraints: 24066
644.71/646.82 c #Conflicts: 207000 | #Constraints: 25066
644.71/646.82 c INPROCESSING
644.71/646.82 c GARBAGE COLLECT
644.71/646.82 c #Conflicts: 208000 | #Constraints: 17068
644.71/646.82 c #Conflicts: 209000 | #Constraints: 18068
644.71/646.82 c #Conflicts: 210000 | #Constraints: 19068
644.71/646.82 c #Conflicts: 211000 | #Constraints: 20068
644.71/646.82 c #Conflicts: 212000 | #Constraints: 21068
644.71/646.82 c #Conflicts: 213000 | #Constraints: 22068
644.71/646.82 c #Conflicts: 214000 | #Constraints: 23068
644.71/646.82 c #Conflicts: 215000 | #Constraints: 24068
644.71/646.82 c #Conflicts: 216000 | #Constraints: 25068
644.71/646.82 c INPROCESSING
644.71/646.82 c GARBAGE COLLECT
644.71/646.82 c #Conflicts: 217000 | #Constraints: 16871
644.71/646.82 c #Conflicts: 218000 | #Constraints: 17871
644.71/646.82 c #Conflicts: 219000 | #Constraints: 18871
644.71/646.82 c #Conflicts: 220000 | #Constraints: 19871
644.71/646.82 c #Conflicts: 221000 | #Constraints: 20871
644.71/646.82 c #Conflicts: 222000 | #Constraints: 21871
644.71/646.82 c #Conflicts: 223000 | #Constraints: 22871
644.71/646.82 c #Conflicts: 224000 | #Constraints: 23871
644.71/646.82 c #Conflicts: 225000 | #Constraints: 24871
644.71/646.82 c #Conflicts: 226000 | #Constraints: 25871
644.71/646.82 c INPROCESSING
644.71/646.82 c GARBAGE COLLECT
644.71/646.82 c #Conflicts: 227000 | #Constraints: 17470
644.71/646.82 c #Conflicts: 228000 | #Constraints: 18470
644.71/646.82 c #Conflicts: 229000 | #Constraints: 19470
644.71/646.82 c #Conflicts: 230000 | #Constraints: 20470
644.71/646.82 c #Conflicts: 231000 | #Constraints: 21470
644.71/646.82 c #Conflicts: 232000 | #Constraints: 22470
644.71/646.82 c #Conflicts: 233000 | #Constraints: 23470
644.71/646.82 c #Conflicts: 234000 | #Constraints: 24470
644.71/646.82 c #Conflicts: 235000 | #Constraints: 25470
644.71/646.82 c #Conflicts: 236000 | #Constraints: 26470
644.71/646.82 c INPROCESSING
644.71/646.82 c GARBAGE COLLECT
644.71/646.82 c #Conflicts: 237000 | #Constraints: 17872
644.71/646.82 c #Conflicts: 238000 | #Constraints: 18872
644.71/646.82 c #Conflicts: 239000 | #Constraints: 19872
644.71/646.82 c #Conflicts: 240000 | #Constraints: 20872
644.71/646.82 c #Conflicts: 241000 | #Constraints: 21872
644.71/646.82 c #Conflicts: 242000 | #Constraints: 22872
644.71/646.82 c #Conflicts: 243000 | #Constraints: 23872
644.71/646.82 c #Conflicts: 244000 | #Constraints: 24872
644.71/646.82 c #Conflicts: 245000 | #Constraints: 25872
644.71/646.82 c #Conflicts: 246000 | #Constraints: 26872
644.71/646.82 c INPROCESSING
644.71/646.82 c GARBAGE COLLECT
644.71/646.82 c #Conflicts: 247000 | #Constraints: 18071
644.71/646.82 c #Conflicts: 248000 | #Constraints: 19071
644.71/646.82 c #Conflicts: 249000 | #Constraints: 20071
644.71/646.82 c #Conflicts: 250000 | #Constraints: 21071
644.71/646.82 c #Conflicts: 251000 | #Constraints: 22071
644.71/646.82 c #Conflicts: 252000 | #Constraints: 23071
644.71/646.82 c #Conflicts: 253000 | #Constraints: 24071
644.71/646.82 c #Conflicts: 254000 | #Constraints: 25071
644.71/646.82 c #Conflicts: 255000 | #Constraints: 26071
644.71/646.82 c #Conflicts: 256000 | #Constraints: 27071
644.71/646.82 c INPROCESSING
644.71/646.82 c GARBAGE COLLECT
644.71/646.82 c #Conflicts: 257000 | #Constraints: 18072
644.71/646.82 c #Conflicts: 258000 | #Constraints: 19072
644.71/646.82 c #Conflicts: 259000 | #Constraints: 20072
644.71/646.82 c #Conflicts: 260000 | #Constraints: 21072
644.71/646.82 c #Conflicts: 261000 | #Constraints: 22072
644.71/646.82 c #Conflicts: 262000 | #Constraints: 23072
644.71/646.82 c #Conflicts: 263000 | #Constraints: 24072
644.71/646.82 c #Conflicts: 264000 | #Constraints: 25072
644.71/646.82 c #Conflicts: 265000 | #Constraints: 26072
644.71/646.82 c #Conflicts: 266000 | #Constraints: 27072
644.71/646.82 c INPROCESSING
644.71/646.82 c GARBAGE COLLECT
644.71/646.82 c #Conflicts: 267000 | #Constraints: 17880
644.71/646.82 c #Conflicts: 268000 | #Constraints: 18880
644.71/646.82 c #Conflicts: 269000 | #Constraints: 19880
644.71/646.82 c #Conflicts: 270000 | #Constraints: 20880
644.71/646.82 c #Conflicts: 271000 | #Constraints: 21880
644.71/646.82 c #Conflicts: 272000 | #Constraints: 22880
644.71/646.82 c #Conflicts: 273000 | #Constraints: 23880
644.71/646.82 c #Conflicts: 274000 | #Constraints: 24880
644.71/646.82 c #Conflicts: 275000 | #Constraints: 25880
644.71/646.82 c #Conflicts: 276000 | #Constraints: 26880
644.71/646.82 c #Conflicts: 277000 | #Constraints: 27880
659.06/661.28 c INPROCESSING
659.06/661.28 c GARBAGE COLLECT
659.06/661.28 c #Conflicts: 278000 | #Constraints: 18479
659.06/661.28 c #Conflicts: 279000 | #Constraints: 19479
659.06/661.28 c #Conflicts: 280000 | #Constraints: 20479
659.06/661.28 c #Conflicts: 281000 | #Constraints: 21479
659.06/661.28 c #Conflicts: 282000 | #Constraints: 22479
659.06/661.28 c #Conflicts: 283000 | #Constraints: 23479
659.06/661.28 c #Conflicts: 284000 | #Constraints: 24479
659.06/661.28 c #Conflicts: 285000 | #Constraints: 25479
659.06/661.28 c bounds - >= 289563295811190 @ 649.515
691.88/694.14 c #Conflicts: 286000 | #Constraints: 26483
691.88/694.14 c #Conflicts: 287000 | #Constraints: 27483
691.88/694.14 c #Conflicts: 288000 | #Constraints: 28483
691.88/694.14 c INPROCESSING
691.88/694.14 c GARBAGE COLLECT
691.88/694.14 c bounds - >= 289694367811190 @ 682.033
901.85/904.75 c #Conflicts: 289000 | #Constraints: 18881
901.85/904.75 c #Conflicts: 290000 | #Constraints: 19881
901.85/904.75 c #Conflicts: 291000 | #Constraints: 20881
901.85/904.75 c #Conflicts: 292000 | #Constraints: 21881
901.85/904.75 c #Conflicts: 293000 | #Constraints: 22881
901.85/904.75 c #Conflicts: 294000 | #Constraints: 23881
901.85/904.75 c #Conflicts: 295000 | #Constraints: 24881
901.85/904.75 c #Conflicts: 296000 | #Constraints: 25881
901.85/904.75 c #Conflicts: 297000 | #Constraints: 26881
901.85/904.75 c #Conflicts: 298000 | #Constraints: 27881
901.85/904.75 c #Conflicts: 299000 | #Constraints: 28881
901.85/904.75 c INPROCESSING
901.85/904.75 c GARBAGE COLLECT
901.85/904.75 c #Conflicts: 300000 | #Constraints: 19077
901.85/904.75 c #Conflicts: 301000 | #Constraints: 20077
901.85/904.75 c #Conflicts: 302000 | #Constraints: 21077
901.85/904.75 c #Conflicts: 303000 | #Constraints: 22077
901.85/904.75 c #Conflicts: 304000 | #Constraints: 23077
901.85/904.75 c #Conflicts: 305000 | #Constraints: 24077
901.85/904.75 c #Conflicts: 306000 | #Constraints: 25077
901.85/904.75 c #Conflicts: 307000 | #Constraints: 26077
901.85/904.75 c #Conflicts: 308000 | #Constraints: 27077
901.85/904.75 c #Conflicts: 309000 | #Constraints: 28077
901.85/904.75 c #Conflicts: 310000 | #Constraints: 29077
901.85/904.75 c INPROCESSING
901.85/904.75 c GARBAGE COLLECT
901.85/904.75 c #Conflicts: 311000 | #Constraints: 19075
901.85/904.75 c #Conflicts: 312000 | #Constraints: 20075
901.85/904.75 c #Conflicts: 313000 | #Constraints: 21075
901.85/904.75 c #Conflicts: 314000 | #Constraints: 22075
901.85/904.75 c #Conflicts: 315000 | #Constraints: 23075
901.85/904.75 c #Conflicts: 316000 | #Constraints: 24075
901.85/904.75 c #Conflicts: 317000 | #Constraints: 25075
901.85/904.75 c #Conflicts: 318000 | #Constraints: 26075
901.85/904.75 c #Conflicts: 319000 | #Constraints: 27075
901.85/904.75 c #Conflicts: 320000 | #Constraints: 28075
901.85/904.75 c #Conflicts: 321000 | #Constraints: 29075
901.85/904.75 c INPROCESSING
901.85/904.75 c GARBAGE COLLECT
901.85/904.75 c #Conflicts: 322000 | #Constraints: 18872
901.85/904.75 c #Conflicts: 323000 | #Constraints: 19872
901.85/904.75 c #Conflicts: 324000 | #Constraints: 20872
901.85/904.75 c #Conflicts: 325000 | #Constraints: 21872
901.85/904.75 c #Conflicts: 326000 | #Constraints: 22872
901.85/904.75 c #Conflicts: 327000 | #Constraints: 23872
901.85/904.75 c #Conflicts: 328000 | #Constraints: 24872
901.85/904.75 c #Conflicts: 329000 | #Constraints: 25872
901.85/904.75 c #Conflicts: 330000 | #Constraints: 26872
901.85/904.75 c #Conflicts: 331000 | #Constraints: 27872
901.85/904.75 c #Conflicts: 332000 | #Constraints: 28872
901.85/904.75 c #Conflicts: 333000 | #Constraints: 29872
901.85/904.75 c INPROCESSING
901.85/904.75 c GARBAGE COLLECT
901.85/904.75 c #Conflicts: 334000 | #Constraints: 19472
901.85/904.75 c #Conflicts: 335000 | #Constraints: 20472
901.85/904.75 c #Conflicts: 336000 | #Constraints: 21472
901.85/904.75 c #Conflicts: 337000 | #Constraints: 22472
901.85/904.75 c #Conflicts: 338000 | #Constraints: 23472
901.85/904.75 c #Conflicts: 339000 | #Constraints: 24472
901.85/904.75 c #Conflicts: 340000 | #Constraints: 25472
901.85/904.75 c #Conflicts: 341000 | #Constraints: 26472
901.85/904.75 c #Conflicts: 342000 | #Constraints: 27472
901.85/904.75 c #Conflicts: 343000 | #Constraints: 28472
901.85/904.75 c #Conflicts: 344000 | #Constraints: 29472
901.85/904.75 c #Conflicts: 345000 | #Constraints: 30472
901.85/904.75 c INPROCESSING
901.85/904.75 c GARBAGE COLLECT
901.85/904.75 c #Conflicts: 346000 | #Constraints: 19866
901.85/904.75 c #Conflicts: 347000 | #Constraints: 20866
901.85/904.75 c #Conflicts: 348000 | #Constraints: 21866
901.85/904.75 c #Conflicts: 349000 | #Constraints: 22866
901.85/904.75 c #Conflicts: 350000 | #Constraints: 23866
901.85/904.75 c #Conflicts: 351000 | #Constraints: 24866
901.85/904.75 c #Conflicts: 352000 | #Constraints: 25866
901.85/904.75 c #Conflicts: 353000 | #Constraints: 26866
901.85/904.75 c #Conflicts: 354000 | #Constraints: 27866
901.85/904.75 c #Conflicts: 355000 | #Constraints: 28866
901.85/904.75 c #Conflicts: 356000 | #Constraints: 29866
901.85/904.75 c #Conflicts: 357000 | #Constraints: 30866
901.85/904.75 c INPROCESSING
901.85/904.75 c GARBAGE COLLECT
901.85/904.75 c #Conflicts: 358000 | #Constraints: 20061
901.85/904.75 c #Conflicts: 359000 | #Constraints: 21061
901.85/904.75 c #Conflicts: 360000 | #Constraints: 22061
901.85/904.75 c #Conflicts: 361000 | #Constraints: 23061
901.85/904.75 c #Conflicts: 362000 | #Constraints: 24061
901.85/904.75 c #Conflicts: 363000 | #Constraints: 25061
1072.91/1076.35 c #Conflicts: 364000 | #Constraints: 26061
1072.91/1076.35 c #Conflicts: 365000 | #Constraints: 27061
1072.91/1076.35 c #Conflicts: 366000 | #Constraints: 28061
1072.91/1076.35 c #Conflicts: 367000 | #Constraints: 29061
1072.91/1076.35 c #Conflicts: 368000 | #Constraints: 30061
1072.91/1076.35 c #Conflicts: 369000 | #Constraints: 31061
1072.91/1076.35 c INPROCESSING
1072.91/1076.35 c GARBAGE COLLECT
1072.91/1076.35 c #Conflicts: 370000 | #Constraints: 20065
1072.91/1076.35 c #Conflicts: 371000 | #Constraints: 21065
1072.91/1076.35 c #Conflicts: 372000 | #Constraints: 22065
1072.91/1076.35 c #Conflicts: 373000 | #Constraints: 23065
1072.91/1076.35 c #Conflicts: 374000 | #Constraints: 24065
1072.91/1076.35 c #Conflicts: 375000 | #Constraints: 25065
1072.91/1076.35 c #Conflicts: 376000 | #Constraints: 26065
1072.91/1076.35 c #Conflicts: 377000 | #Constraints: 27065
1072.91/1076.35 c #Conflicts: 378000 | #Constraints: 28065
1072.91/1076.35 c #Conflicts: 379000 | #Constraints: 29065
1072.91/1076.35 c #Conflicts: 380000 | #Constraints: 30065
1072.91/1076.35 c #Conflicts: 381000 | #Constraints: 31065
1072.91/1076.35 c INPROCESSING
1072.91/1076.35 c GARBAGE COLLECT
1072.91/1076.35 c #Conflicts: 382000 | #Constraints: 19861
1072.91/1076.35 c #Conflicts: 383000 | #Constraints: 20861
1072.91/1076.35 c #Conflicts: 384000 | #Constraints: 21861
1072.91/1076.35 c #Conflicts: 385000 | #Constraints: 22861
1072.91/1076.35 c #Conflicts: 386000 | #Constraints: 23861
1072.91/1076.35 c #Conflicts: 387000 | #Constraints: 24861
1072.91/1076.35 c #Conflicts: 388000 | #Constraints: 25861
1072.91/1076.35 c #Conflicts: 389000 | #Constraints: 26861
1072.91/1076.35 c #Conflicts: 390000 | #Constraints: 27861
1072.91/1076.35 c #Conflicts: 391000 | #Constraints: 28861
1072.91/1076.35 c #Conflicts: 392000 | #Constraints: 29861
1072.91/1076.35 c #Conflicts: 393000 | #Constraints: 30861
1072.91/1076.35 c #Conflicts: 394000 | #Constraints: 31861
1072.91/1076.35 c INPROCESSING
1072.91/1076.35 c GARBAGE COLLECT
1072.91/1076.35 c #Conflicts: 395000 | #Constraints: 20471
1072.91/1076.35 c #Conflicts: 396000 | #Constraints: 21471
1072.91/1076.35 c #Conflicts: 397000 | #Constraints: 22471
1072.91/1076.35 c #Conflicts: 398000 | #Constraints: 23471
1072.91/1076.35 c #Conflicts: 399000 | #Constraints: 24471
1072.91/1076.35 c #Conflicts: 400000 | #Constraints: 25471
1072.91/1076.35 c #Conflicts: 401000 | #Constraints: 26471
1072.91/1076.35 c #Conflicts: 402000 | #Constraints: 27471
1072.91/1076.35 c #Conflicts: 403000 | #Constraints: 28471
1072.91/1076.35 c #Conflicts: 404000 | #Constraints: 29471
1072.91/1076.35 c #Conflicts: 405000 | #Constraints: 30471
1072.91/1076.35 c #Conflicts: 406000 | #Constraints: 31471
1072.91/1076.35 c #Conflicts: 407000 | #Constraints: 32471
1072.91/1076.35 c INPROCESSING
1072.91/1076.35 c GARBAGE COLLECT
1072.91/1076.35 c #Conflicts: 408000 | #Constraints: 20873
1072.91/1076.35 c #Conflicts: 409000 | #Constraints: 21873
1072.91/1076.35 c #Conflicts: 410000 | #Constraints: 22873
1072.91/1076.35 c #Conflicts: 411000 | #Constraints: 23873
1072.91/1076.35 c #Conflicts: 412000 | #Constraints: 24873
1072.91/1076.35 c #Conflicts: 413000 | #Constraints: 25873
1072.91/1076.35 c #Conflicts: 414000 | #Constraints: 26873
1072.91/1076.35 c #Conflicts: 415000 | #Constraints: 27873
1072.91/1076.35 c #Conflicts: 416000 | #Constraints: 28873
1072.91/1076.35 c #Conflicts: 417000 | #Constraints: 29873
1072.91/1076.35 c #Conflicts: 418000 | #Constraints: 30873
1072.91/1076.35 c #Conflicts: 419000 | #Constraints: 31873
1072.91/1076.35 c #Conflicts: 420000 | #Constraints: 32873
1072.91/1076.35 c INPROCESSING
1072.91/1076.35 c GARBAGE COLLECT
1072.91/1076.35 c #Conflicts: 421000 | #Constraints: 21074
1072.91/1076.35 c #Conflicts: 422000 | #Constraints: 22074
1072.91/1076.35 c #Conflicts: 423000 | #Constraints: 23074
1072.91/1076.35 c #Conflicts: 424000 | #Constraints: 24074
1072.91/1076.35 c #Conflicts: 425000 | #Constraints: 25074
1072.91/1076.35 c #Conflicts: 426000 | #Constraints: 26074
1072.91/1076.35 c #Conflicts: 427000 | #Constraints: 27074
1072.91/1076.35 c #Conflicts: 428000 | #Constraints: 28074
1072.91/1076.35 c #Conflicts: 429000 | #Constraints: 29075
1072.91/1076.35 c #Conflicts: 430000 | #Constraints: 30075
1072.91/1076.35 c #Conflicts: 431000 | #Constraints: 31075
1072.91/1076.35 c #Conflicts: 432000 | #Constraints: 32075
1072.91/1076.35 c #Conflicts: 433000 | #Constraints: 33075
1072.91/1076.35 c INPROCESSING
1072.91/1076.35 c GARBAGE COLLECT
1072.91/1076.35 c #Conflicts: 434000 | #Constraints: 21077
1072.91/1076.35 c #Conflicts: 435000 | #Constraints: 22077
1072.91/1076.35 c #Conflicts: 436000 | #Constraints: 23077
1072.91/1076.35 c #Conflicts: 437000 | #Constraints: 24077
1072.91/1076.35 c bounds - >= 292315807811190 @ 1057.76
1153.11/1156.87 c #Conflicts: 438000 | #Constraints: 25083
1153.11/1156.87 c #Conflicts: 439000 | #Constraints: 26083
1153.11/1156.87 c #Conflicts: 440000 | #Constraints: 27083
1153.11/1156.87 c #Conflicts: 441000 | #Constraints: 28083
1153.11/1156.87 c #Conflicts: 442000 | #Constraints: 29083
1153.11/1156.87 c #Conflicts: 443000 | #Constraints: 30083
1153.11/1156.87 c #Conflicts: 444000 | #Constraints: 31083
1153.11/1156.87 c #Conflicts: 445000 | #Constraints: 32083
1153.11/1156.87 c #Conflicts: 446000 | #Constraints: 33083
1153.11/1156.87 c INPROCESSING
1153.11/1156.87 c GARBAGE COLLECT
1153.11/1156.87 c #Conflicts: 447000 | #Constraints: 20849
1153.11/1156.87 c #Conflicts: 448000 | #Constraints: 21849
1153.11/1156.87 c #Conflicts: 449000 | #Constraints: 22849
1153.11/1156.87 c #Conflicts: 450000 | #Constraints: 23849
1153.11/1156.87 c #Conflicts: 451000 | #Constraints: 24849
1153.11/1156.87 c #Conflicts: 452000 | #Constraints: 25849
1153.11/1156.87 c #Conflicts: 453000 | #Constraints: 26849
1153.11/1156.87 c #Conflicts: 454000 | #Constraints: 27849
1153.11/1156.87 c #Conflicts: 455000 | #Constraints: 28850
1153.11/1156.87 c #Conflicts: 456000 | #Constraints: 29850
1153.11/1156.87 c #Conflicts: 457000 | #Constraints: 30850
1153.11/1156.87 c #Conflicts: 458000 | #Constraints: 31850
1153.11/1156.87 c #Conflicts: 459000 | #Constraints: 32850
1153.11/1156.87 c #Conflicts: 460000 | #Constraints: 33850
1153.11/1156.87 c INPROCESSING
1153.11/1156.87 c GARBAGE COLLECT
1153.11/1156.87 c #Conflicts: 461000 | #Constraints: 21449
1153.11/1156.87 c #Conflicts: 462000 | #Constraints: 22449
1153.11/1156.87 c #Conflicts: 463000 | #Constraints: 23449
1153.11/1156.87 c #Conflicts: 464000 | #Constraints: 24449
1153.11/1156.87 c #Conflicts: 465000 | #Constraints: 25449
1153.11/1156.87 c #Conflicts: 466000 | #Constraints: 26449
1153.11/1156.87 c #Conflicts: 467000 | #Constraints: 27449
1153.11/1156.87 c #Conflicts: 468000 | #Constraints: 28449
1153.11/1156.87 c #Conflicts: 469000 | #Constraints: 29449
1153.11/1156.87 c #Conflicts: 470000 | #Constraints: 30449
1153.11/1156.87 c #Conflicts: 471000 | #Constraints: 31449
1153.11/1156.87 c #Conflicts: 472000 | #Constraints: 32449
1153.11/1156.87 c #Conflicts: 473000 | #Constraints: 33449
1153.11/1156.87 c #Conflicts: 474000 | #Constraints: 34449
1153.11/1156.87 c INPROCESSING
1153.11/1156.87 c GARBAGE COLLECT
1153.11/1156.87 c #Conflicts: 475000 | #Constraints: 21850
1153.11/1156.87 c #Conflicts: 476000 | #Constraints: 22850
1153.11/1156.87 c #Conflicts: 477000 | #Constraints: 23850
1153.11/1156.87 c #Conflicts: 478000 | #Constraints: 24850
1153.11/1156.87 c #Conflicts: 479000 | #Constraints: 25850
1153.11/1156.87 c #Conflicts: 480000 | #Constraints: 26850
1153.11/1156.87 c #Conflicts: 481000 | #Constraints: 27850
1153.11/1156.87 c #Conflicts: 482000 | #Constraints: 28851
1153.11/1156.87 c bounds - >= 292446879811190 @ 1137.41
1401.54/1405.98 c #Conflicts: 483000 | #Constraints: 29855
1401.54/1405.98 c #Conflicts: 484000 | #Constraints: 30856
1401.54/1405.98 c #Conflicts: 485000 | #Constraints: 31856
1401.54/1405.98 c #Conflicts: 486000 | #Constraints: 32856
1401.54/1405.98 c #Conflicts: 487000 | #Constraints: 33856
1401.54/1405.98 c #Conflicts: 488000 | #Constraints: 34856
1401.54/1405.98 c INPROCESSING
1401.54/1405.98 c GARBAGE COLLECT
1401.54/1405.98 c #Conflicts: 489000 | #Constraints: 21987
1401.54/1405.98 c #Conflicts: 490000 | #Constraints: 22988
1401.54/1405.98 c #Conflicts: 491000 | #Constraints: 23988
1401.54/1405.98 c #Conflicts: 492000 | #Constraints: 24988
1401.54/1405.98 c #Conflicts: 493000 | #Constraints: 25988
1401.54/1405.98 c #Conflicts: 494000 | #Constraints: 26988
1401.54/1405.98 c #Conflicts: 495000 | #Constraints: 27988
1401.54/1405.98 c #Conflicts: 496000 | #Constraints: 28988
1401.54/1405.98 c #Conflicts: 497000 | #Constraints: 29988
1401.54/1405.98 c #Conflicts: 498000 | #Constraints: 30988
1401.54/1405.98 c #Conflicts: 499000 | #Constraints: 31988
1401.54/1405.98 c #Conflicts: 500000 | #Constraints: 32988
1401.54/1405.98 c #Conflicts: 501000 | #Constraints: 33988
1401.54/1405.98 c #Conflicts: 502000 | #Constraints: 34988
1401.54/1405.98 c INPROCESSING
1401.54/1405.98 c GARBAGE COLLECT
1401.54/1405.98 c #Conflicts: 503000 | #Constraints: 21984
1401.54/1405.98 c #Conflicts: 504000 | #Constraints: 22984
1401.54/1405.98 c #Conflicts: 505000 | #Constraints: 23984
1401.54/1405.98 c #Conflicts: 506000 | #Constraints: 24984
1401.54/1405.98 c #Conflicts: 507000 | #Constraints: 25984
1401.54/1405.98 c #Conflicts: 508000 | #Constraints: 26984
1401.54/1405.98 c #Conflicts: 509000 | #Constraints: 27984
1401.54/1405.98 c #Conflicts: 510000 | #Constraints: 28984
1401.54/1405.98 c #Conflicts: 511000 | #Constraints: 29984
1401.54/1405.98 c #Conflicts: 512000 | #Constraints: 30984
1401.54/1405.98 c #Conflicts: 513000 | #Constraints: 31984
1401.54/1405.98 c #Conflicts: 514000 | #Constraints: 32984
1401.54/1405.98 c #Conflicts: 515000 | #Constraints: 33984
1401.54/1405.98 c #Conflicts: 516000 | #Constraints: 34984
1401.54/1405.98 c INPROCESSING
1401.54/1405.98 c GARBAGE COLLECT
1401.54/1405.98 c #Conflicts: 517000 | #Constraints: 21812
1401.54/1405.98 c #Conflicts: 518000 | #Constraints: 22812
1401.54/1405.98 c #Conflicts: 519000 | #Constraints: 23812
1401.54/1405.98 c #Conflicts: 520000 | #Constraints: 24812
1401.54/1405.98 c #Conflicts: 521000 | #Constraints: 25812
1401.54/1405.98 c #Conflicts: 522000 | #Constraints: 26812
1401.54/1405.98 c #Conflicts: 523000 | #Constraints: 27812
1401.54/1405.98 c #Conflicts: 524000 | #Constraints: 28812
1401.54/1405.98 c #Conflicts: 525000 | #Constraints: 29812
1401.54/1405.98 c #Conflicts: 526000 | #Constraints: 30812
1401.54/1405.98 c #Conflicts: 527000 | #Constraints: 31812
1401.54/1405.98 c #Conflicts: 528000 | #Constraints: 32812
1401.54/1405.98 c #Conflicts: 529000 | #Constraints: 33812
1401.54/1405.98 c #Conflicts: 530000 | #Constraints: 34812
1401.54/1405.98 c #Conflicts: 531000 | #Constraints: 35812
1401.54/1405.98 c INPROCESSING
1401.54/1405.98 c GARBAGE COLLECT
1401.54/1405.98 c #Conflicts: 532000 | #Constraints: 22429
1401.54/1405.98 c #Conflicts: 533000 | #Constraints: 23429
1401.54/1405.98 c #Conflicts: 534000 | #Constraints: 24429
1401.54/1405.98 c #Conflicts: 535000 | #Constraints: 25429
1401.54/1405.98 c #Conflicts: 536000 | #Constraints: 26429
1401.54/1405.98 c #Conflicts: 537000 | #Constraints: 27429
1401.54/1405.98 c #Conflicts: 538000 | #Constraints: 28429
1401.54/1405.98 c #Conflicts: 539000 | #Constraints: 29429
1401.54/1405.98 c #Conflicts: 540000 | #Constraints: 30429
1401.54/1405.98 c #Conflicts: 541000 | #Constraints: 31429
1401.54/1405.98 c #Conflicts: 542000 | #Constraints: 32429
1401.54/1405.98 c #Conflicts: 543000 | #Constraints: 33429
1401.54/1405.98 c #Conflicts: 544000 | #Constraints: 34429
1401.54/1405.98 c #Conflicts: 545000 | #Constraints: 35429
1401.54/1405.98 c #Conflicts: 546000 | #Constraints: 36429
1401.54/1405.98 c INPROCESSING
1401.54/1405.98 c GARBAGE COLLECT
1401.54/1405.98 c #Conflicts: 547000 | #Constraints: 22834
1401.54/1405.98 c #Conflicts: 548000 | #Constraints: 23834
1401.54/1405.98 c #Conflicts: 549000 | #Constraints: 24834
1401.54/1405.98 c #Conflicts: 550000 | #Constraints: 25834
1401.54/1405.98 c #Conflicts: 551000 | #Constraints: 26834
1401.54/1405.98 c #Conflicts: 552000 | #Constraints: 27834
1401.54/1405.98 c #Conflicts: 553000 | #Constraints: 28834
1401.54/1405.98 c #Conflicts: 554000 | #Constraints: 29834
1401.54/1405.98 c #Conflicts: 555000 | #Constraints: 30834
1401.54/1405.98 c #Conflicts: 556000 | #Constraints: 31834
1401.54/1405.98 c #Conflicts: 557000 | #Constraints: 32834
1401.54/1405.98 c #Conflicts: 558000 | #Constraints: 33834
1565.28/1570.14 c #Conflicts: 559000 | #Constraints: 34834
1565.28/1570.14 c #Conflicts: 560000 | #Constraints: 35834
1565.28/1570.14 c #Conflicts: 561000 | #Constraints: 36834
1565.28/1570.14 c INPROCESSING
1565.28/1570.14 c GARBAGE COLLECT
1565.28/1570.14 c #Conflicts: 562000 | #Constraints: 23036
1565.28/1570.14 c #Conflicts: 563000 | #Constraints: 24036
1565.28/1570.14 c #Conflicts: 564000 | #Constraints: 25036
1565.28/1570.14 c #Conflicts: 565000 | #Constraints: 26036
1565.28/1570.14 c #Conflicts: 566000 | #Constraints: 27036
1565.28/1570.14 c #Conflicts: 567000 | #Constraints: 28036
1565.28/1570.14 c #Conflicts: 568000 | #Constraints: 29036
1565.28/1570.14 c #Conflicts: 569000 | #Constraints: 30036
1565.28/1570.14 c #Conflicts: 570000 | #Constraints: 31036
1565.28/1570.14 c #Conflicts: 571000 | #Constraints: 32036
1565.28/1570.14 c #Conflicts: 572000 | #Constraints: 33036
1565.28/1570.14 c #Conflicts: 573000 | #Constraints: 34036
1565.28/1570.14 c #Conflicts: 574000 | #Constraints: 35036
1565.28/1570.14 c #Conflicts: 575000 | #Constraints: 36036
1565.28/1570.14 c #Conflicts: 576000 | #Constraints: 37036
1565.28/1570.14 c INPROCESSING
1565.28/1570.14 c GARBAGE COLLECT
1565.28/1570.14 c #Conflicts: 577000 | #Constraints: 23039
1565.28/1570.14 c #Conflicts: 578000 | #Constraints: 24039
1565.28/1570.14 c #Conflicts: 579000 | #Constraints: 25039
1565.28/1570.14 c #Conflicts: 580000 | #Constraints: 26039
1565.28/1570.14 c #Conflicts: 581000 | #Constraints: 27039
1565.28/1570.14 c #Conflicts: 582000 | #Constraints: 28039
1565.28/1570.14 c #Conflicts: 583000 | #Constraints: 29039
1565.28/1570.14 c #Conflicts: 584000 | #Constraints: 30039
1565.28/1570.14 c #Conflicts: 585000 | #Constraints: 31039
1565.28/1570.14 c #Conflicts: 586000 | #Constraints: 32039
1565.28/1570.14 c #Conflicts: 587000 | #Constraints: 33039
1565.28/1570.14 c #Conflicts: 588000 | #Constraints: 34039
1565.28/1570.14 c #Conflicts: 589000 | #Constraints: 35039
1565.28/1570.14 c #Conflicts: 590000 | #Constraints: 36039
1565.28/1570.14 c #Conflicts: 591000 | #Constraints: 37039
1565.28/1570.14 c INPROCESSING
1565.28/1570.14 c GARBAGE COLLECT
1565.28/1570.14 c #Conflicts: 592000 | #Constraints: 22857
1565.28/1570.14 c #Conflicts: 593000 | #Constraints: 23857
1565.28/1570.14 c #Conflicts: 594000 | #Constraints: 24857
1565.28/1570.14 c #Conflicts: 595000 | #Constraints: 25857
1565.28/1570.14 c #Conflicts: 596000 | #Constraints: 26857
1565.28/1570.14 c #Conflicts: 597000 | #Constraints: 27857
1565.28/1570.14 c #Conflicts: 598000 | #Constraints: 28857
1565.28/1570.14 c #Conflicts: 599000 | #Constraints: 29857
1565.28/1570.14 c #Conflicts: 600000 | #Constraints: 30857
1565.28/1570.14 c #Conflicts: 601000 | #Constraints: 31857
1565.28/1570.14 c #Conflicts: 602000 | #Constraints: 32857
1565.28/1570.14 c #Conflicts: 603000 | #Constraints: 33857
1565.28/1570.14 c #Conflicts: 604000 | #Constraints: 34857
1565.28/1570.14 c #Conflicts: 605000 | #Constraints: 35857
1565.28/1570.14 c #Conflicts: 606000 | #Constraints: 36857
1565.28/1570.14 c #Conflicts: 607000 | #Constraints: 37857
1565.28/1570.14 c INPROCESSING
1565.28/1570.14 c GARBAGE COLLECT
1565.28/1570.14 c #Conflicts: 608000 | #Constraints: 23471
1565.28/1570.14 c #Conflicts: 609000 | #Constraints: 24471
1565.28/1570.14 c #Conflicts: 610000 | #Constraints: 25471
1565.28/1570.14 c #Conflicts: 611000 | #Constraints: 26471
1565.28/1570.14 c #Conflicts: 612000 | #Constraints: 27471
1565.28/1570.14 c #Conflicts: 613000 | #Constraints: 28471
1565.28/1570.14 c #Conflicts: 614000 | #Constraints: 29471
1565.28/1570.14 c #Conflicts: 615000 | #Constraints: 30471
1565.28/1570.14 c #Conflicts: 616000 | #Constraints: 31471
1565.28/1570.14 c #Conflicts: 617000 | #Constraints: 32471
1565.28/1570.14 c #Conflicts: 618000 | #Constraints: 33471
1565.28/1570.14 c #Conflicts: 619000 | #Constraints: 34471
1565.28/1570.14 c #Conflicts: 620000 | #Constraints: 35471
1565.28/1570.14 c #Conflicts: 621000 | #Constraints: 36471
1565.28/1570.14 c #Conflicts: 622000 | #Constraints: 37471
1565.28/1570.14 c #Conflicts: 623000 | #Constraints: 38471
1565.28/1570.14 c INPROCESSING
1565.28/1570.14 c GARBAGE COLLECT
1565.28/1570.14 c #Conflicts: 624000 | #Constraints: 23873
1565.28/1570.14 c #Conflicts: 625000 | #Constraints: 24873
1565.28/1570.14 c #Conflicts: 626000 | #Constraints: 25873
1565.28/1570.14 c #Conflicts: 627000 | #Constraints: 26873
1565.28/1570.14 c #Conflicts: 628000 | #Constraints: 27873
1565.28/1570.14 c #Conflicts: 629000 | #Constraints: 28873
1565.28/1570.14 c #Conflicts: 630000 | #Constraints: 29873
1565.28/1570.14 c #Conflicts: 631000 | #Constraints: 30873
1565.28/1570.14 c #Conflicts: 632000 | #Constraints: 31873
1565.28/1570.14 c #Conflicts: 633000 | #Constraints: 32873
1565.28/1570.14 c #Conflicts: 634000 | #Constraints: 33873
1798.11/1803.76 c #Conflicts: 635000 | #Constraints: 34873
1798.11/1803.76 c #Conflicts: 636000 | #Constraints: 35873
1798.11/1803.76 c #Conflicts: 637000 | #Constraints: 36873
1798.11/1803.76 c #Conflicts: 638000 | #Constraints: 37873
1798.11/1803.76 c #Conflicts: 639000 | #Constraints: 38873
1798.11/1803.76 c INPROCESSING
1798.11/1803.76 c GARBAGE COLLECT
1798.11/1803.76 c #Conflicts: 640000 | #Constraints: 24077
1798.11/1803.76 c #Conflicts: 641000 | #Constraints: 25077
1798.11/1803.76 c #Conflicts: 642000 | #Constraints: 26077
1798.11/1803.76 c #Conflicts: 643000 | #Constraints: 27077
1798.11/1803.76 c #Conflicts: 644000 | #Constraints: 28077
1798.11/1803.76 c #Conflicts: 645000 | #Constraints: 29077
1798.11/1803.76 c #Conflicts: 646000 | #Constraints: 30077
1798.11/1803.76 c #Conflicts: 647000 | #Constraints: 31077
1798.11/1803.76 c #Conflicts: 648000 | #Constraints: 32077
1798.11/1803.76 c #Conflicts: 649000 | #Constraints: 33077
1798.11/1803.76 c #Conflicts: 650000 | #Constraints: 34077
1798.11/1803.76 c #Conflicts: 651000 | #Constraints: 35077
1798.11/1803.76 c #Conflicts: 652000 | #Constraints: 36077
1798.11/1803.76 c #Conflicts: 653000 | #Constraints: 37077
1798.11/1803.76 c #Conflicts: 654000 | #Constraints: 38077
1798.11/1803.76 c #Conflicts: 655000 | #Constraints: 39077
1798.11/1803.76 c INPROCESSING
1798.11/1803.76 c GARBAGE COLLECT
1798.11/1803.76 c #Conflicts: 656000 | #Constraints: 24079
1798.11/1803.76 c #Conflicts: 657000 | #Constraints: 25079
1798.11/1803.76 c #Conflicts: 658000 | #Constraints: 26079
1798.11/1803.76 c #Conflicts: 659000 | #Constraints: 27079
1798.11/1803.76 c #Conflicts: 660000 | #Constraints: 28079
1798.11/1803.76 c #Conflicts: 661000 | #Constraints: 29079
1798.11/1803.76 c #Conflicts: 662000 | #Constraints: 30079
1798.11/1803.76 c #Conflicts: 663000 | #Constraints: 31079
1798.11/1803.76 c #Conflicts: 664000 | #Constraints: 32079
1798.11/1803.76 c #Conflicts: 665000 | #Constraints: 33079
1798.11/1803.76 c #Conflicts: 666000 | #Constraints: 34079
1798.11/1803.76 c #Conflicts: 667000 | #Constraints: 35079
1798.11/1803.76 c #Conflicts: 668000 | #Constraints: 36079
1798.11/1803.76 c #Conflicts: 669000 | #Constraints: 37079
1798.11/1803.76 c #Conflicts: 670000 | #Constraints: 38079
1798.11/1803.76 c #Conflicts: 671000 | #Constraints: 39079
1798.11/1803.76 c INPROCESSING
1798.11/1803.76 c GARBAGE COLLECT
1798.11/1803.76 c #Conflicts: 672000 | #Constraints: 23885
1798.11/1803.76 c #Conflicts: 673000 | #Constraints: 24885
1798.11/1803.76 c #Conflicts: 674000 | #Constraints: 25885
1798.11/1803.76 c #Conflicts: 675000 | #Constraints: 26885
1798.11/1803.76 c #Conflicts: 676000 | #Constraints: 27885
1798.11/1803.76 c #Conflicts: 677000 | #Constraints: 28885
1798.11/1803.76 c #Conflicts: 678000 | #Constraints: 29885
1798.11/1803.76 c #Conflicts: 679000 | #Constraints: 30885
1798.11/1803.76 c #Conflicts: 680000 | #Constraints: 31885
1798.11/1803.76 c #Conflicts: 681000 | #Constraints: 32885
1798.11/1803.76 c #Conflicts: 682000 | #Constraints: 33885
1798.11/1803.76 c #Conflicts: 683000 | #Constraints: 34885
1798.11/1803.76 c #Conflicts: 684000 | #Constraints: 35885
1798.11/1803.76 c #Conflicts: 685000 | #Constraints: 36885
1798.11/1803.76 c #Conflicts: 686000 | #Constraints: 37885
1798.11/1803.76 c #Conflicts: 687000 | #Constraints: 38885
1798.11/1803.76 c #Conflicts: 688000 | #Constraints: 39885
1798.11/1803.76 c INPROCESSING
1798.11/1803.76 c GARBAGE COLLECT
1798.11/1803.76 c #Conflicts: 689000 | #Constraints: 24485
1798.11/1803.76 c #Conflicts: 690000 | #Constraints: 25485
1798.11/1803.76 c #Conflicts: 691000 | #Constraints: 26485
1798.11/1803.76 c #Conflicts: 692000 | #Constraints: 27485
1798.11/1803.76 c #Conflicts: 693000 | #Constraints: 28485
1798.11/1803.76 c #Conflicts: 694000 | #Constraints: 29485
1798.11/1803.76 c #Conflicts: 695000 | #Constraints: 30485
1798.11/1803.76 c #Conflicts: 696000 | #Constraints: 31485
1798.11/1803.76 c #Conflicts: 697000 | #Constraints: 32485
1798.11/1803.76 c #Conflicts: 698000 | #Constraints: 33485
1798.11/1803.76 c #Conflicts: 699000 | #Constraints: 34485
1798.11/1803.76 c #Conflicts: 700000 | #Constraints: 35485
1798.11/1803.76 c #Conflicts: 701000 | #Constraints: 36485
1798.11/1803.76 c #Conflicts: 702000 | #Constraints: 37485
1798.11/1803.76 c #Conflicts: 703000 | #Constraints: 38485
1798.11/1803.76 c #Conflicts: 704000 | #Constraints: 39485
1798.11/1803.76 c #Conflicts: 705000 | #Constraints: 40485
1798.11/1803.76 c INPROCESSING
1798.11/1803.76 c GARBAGE COLLECT
1798.11/1803.76 c #Conflicts: 706000 | #Constraints: 24882
1798.11/1803.76 c #Conflicts: 707000 | #Constraints: 25882
1798.11/1803.76 c #Conflicts: 708000 | #Constraints: 26882
1798.11/1803.76 c #Conflicts: 709000 | #Constraints: 27882
1964.89/1971.02 c #Conflicts: 710000 | #Constraints: 28882
1964.89/1971.02 c #Conflicts: 711000 | #Constraints: 29882
1964.89/1971.02 c #Conflicts: 712000 | #Constraints: 30882
1964.89/1971.02 c #Conflicts: 713000 | #Constraints: 31882
1964.89/1971.02 c #Conflicts: 714000 | #Constraints: 32882
1964.89/1971.02 c #Conflicts: 715000 | #Constraints: 33882
1964.89/1971.02 c #Conflicts: 716000 | #Constraints: 34882
1964.89/1971.02 c #Conflicts: 717000 | #Constraints: 35882
1964.89/1971.02 c #Conflicts: 718000 | #Constraints: 36882
1964.89/1971.02 c #Conflicts: 719000 | #Constraints: 37882
1964.89/1971.02 c #Conflicts: 720000 | #Constraints: 38882
1964.89/1971.02 c #Conflicts: 721000 | #Constraints: 39882
1964.89/1971.02 c #Conflicts: 722000 | #Constraints: 40882
1964.89/1971.02 c INPROCESSING
1964.89/1971.02 c GARBAGE COLLECT
1964.89/1971.02 c #Conflicts: 723000 | #Constraints: 25082
1964.89/1971.02 c #Conflicts: 724000 | #Constraints: 26082
1964.89/1971.02 c #Conflicts: 725000 | #Constraints: 27082
1964.89/1971.02 c #Conflicts: 726000 | #Constraints: 28082
1964.89/1971.02 c #Conflicts: 727000 | #Constraints: 29082
1964.89/1971.02 c #Conflicts: 728000 | #Constraints: 30082
1964.89/1971.02 c #Conflicts: 729000 | #Constraints: 31082
1964.89/1971.02 c #Conflicts: 730000 | #Constraints: 32082
1964.89/1971.02 c #Conflicts: 731000 | #Constraints: 33082
1964.89/1971.02 c #Conflicts: 732000 | #Constraints: 34082
1964.89/1971.02 c #Conflicts: 733000 | #Constraints: 35082
1964.89/1971.02 c #Conflicts: 734000 | #Constraints: 36082
1964.89/1971.02 c #Conflicts: 735000 | #Constraints: 37082
1964.89/1971.02 c #Conflicts: 736000 | #Constraints: 38082
1964.89/1971.02 c #Conflicts: 737000 | #Constraints: 39082
1964.89/1971.02 c #Conflicts: 738000 | #Constraints: 40082
1964.89/1971.02 c #Conflicts: 739000 | #Constraints: 41082
1964.89/1971.02 c INPROCESSING
1964.89/1971.02 c GARBAGE COLLECT
1964.89/1971.02 c #Conflicts: 740000 | #Constraints: 25086
1964.89/1971.02 c #Conflicts: 741000 | #Constraints: 26086
1964.89/1971.02 c #Conflicts: 742000 | #Constraints: 27086
1964.89/1971.02 c #Conflicts: 743000 | #Constraints: 28086
1964.89/1971.02 c #Conflicts: 744000 | #Constraints: 29086
1964.89/1971.02 c #Conflicts: 745000 | #Constraints: 30086
1964.89/1971.02 c #Conflicts: 746000 | #Constraints: 31086
1964.89/1971.02 c #Conflicts: 747000 | #Constraints: 32086
1964.89/1971.02 c #Conflicts: 748000 | #Constraints: 33086
1964.89/1971.02 c #Conflicts: 749000 | #Constraints: 34086
1964.89/1971.02 c #Conflicts: 750000 | #Constraints: 35086
1964.89/1971.02 c #Conflicts: 751000 | #Constraints: 36086
1964.89/1971.02 c #Conflicts: 752000 | #Constraints: 37086
1964.89/1971.02 c #Conflicts: 753000 | #Constraints: 38086
1964.89/1971.02 c #Conflicts: 754000 | #Constraints: 39086
1964.89/1971.02 c #Conflicts: 755000 | #Constraints: 40086
1964.89/1971.02 c #Conflicts: 756000 | #Constraints: 41086
1964.89/1971.02 c INPROCESSING
1964.89/1971.02 c GARBAGE COLLECT
1964.89/1971.02 c #Conflicts: 757000 | #Constraints: 24881
1964.89/1971.02 c #Conflicts: 758000 | #Constraints: 25881
1964.89/1971.02 c #Conflicts: 759000 | #Constraints: 26881
1964.89/1971.02 c #Conflicts: 760000 | #Constraints: 27881
1964.89/1971.02 c #Conflicts: 761000 | #Constraints: 28881
1964.89/1971.02 c #Conflicts: 762000 | #Constraints: 29881
1964.89/1971.02 c #Conflicts: 763000 | #Constraints: 30881
1964.89/1971.02 c #Conflicts: 764000 | #Constraints: 31881
1964.89/1971.02 c #Conflicts: 765000 | #Constraints: 32881
1964.89/1971.02 c #Conflicts: 766000 | #Constraints: 33881
1964.89/1971.02 c #Conflicts: 767000 | #Constraints: 34881
1964.89/1971.02 c #Conflicts: 768000 | #Constraints: 35881
1964.89/1971.02 c #Conflicts: 769000 | #Constraints: 36881
1964.89/1971.02 c #Conflicts: 770000 | #Constraints: 37881
1964.89/1971.02 c #Conflicts: 771000 | #Constraints: 38881
1964.89/1971.02 c #Conflicts: 772000 | #Constraints: 39881
1964.89/1971.02 c #Conflicts: 773000 | #Constraints: 40881
1964.89/1971.02 c #Conflicts: 774000 | #Constraints: 41881
1964.89/1971.02 c INPROCESSING
1964.89/1971.02 c GARBAGE COLLECT
1964.89/1971.02 c #Conflicts: 775000 | #Constraints: 25479
1964.89/1971.02 c #Conflicts: 776000 | #Constraints: 26479
1964.89/1971.02 c #Conflicts: 777000 | #Constraints: 27479
1964.89/1971.02 c #Conflicts: 778000 | #Constraints: 28479
1964.89/1971.02 c #Conflicts: 779000 | #Constraints: 29479
1964.89/1971.02 c #Conflicts: 780000 | #Constraints: 30479
1964.89/1971.02 c #Conflicts: 781000 | #Constraints: 31479
1964.89/1971.02 c #Conflicts: 782000 | #Constraints: 32479
1964.89/1971.02 c #Conflicts: 783000 | #Constraints: 33479
1964.89/1971.02 c #Conflicts: 784000 | #Constraints: 34479
1964.89/1971.02 c #Conflicts: 785000 | #Constraints: 35479
1964.89/1971.02 c #Conflicts: 786000 | #Constraints: 36479
2132.95/2139.63 c #Conflicts: 787000 | #Constraints: 37479
2132.95/2139.63 c #Conflicts: 788000 | #Constraints: 38479
2132.95/2139.63 c #Conflicts: 789000 | #Constraints: 39479
2132.95/2139.63 c #Conflicts: 790000 | #Constraints: 40479
2132.95/2139.63 c #Conflicts: 791000 | #Constraints: 41479
2132.95/2139.63 c #Conflicts: 792000 | #Constraints: 42479
2132.95/2139.63 c INPROCESSING
2132.95/2139.63 c GARBAGE COLLECT
2132.95/2139.63 c #Conflicts: 793000 | #Constraints: 25874
2132.95/2139.63 c #Conflicts: 794000 | #Constraints: 26874
2132.95/2139.63 c #Conflicts: 795000 | #Constraints: 27874
2132.95/2139.63 c #Conflicts: 796000 | #Constraints: 28874
2132.95/2139.63 c #Conflicts: 797000 | #Constraints: 29874
2132.95/2139.63 c #Conflicts: 798000 | #Constraints: 30874
2132.95/2139.63 c #Conflicts: 799000 | #Constraints: 31874
2132.95/2139.63 c #Conflicts: 800000 | #Constraints: 32874
2132.95/2139.63 c #Conflicts: 801000 | #Constraints: 33874
2132.95/2139.63 c #Conflicts: 802000 | #Constraints: 34874
2132.95/2139.63 c #Conflicts: 803000 | #Constraints: 35874
2132.95/2139.63 c #Conflicts: 804000 | #Constraints: 36874
2132.95/2139.63 c #Conflicts: 805000 | #Constraints: 37874
2132.95/2139.63 c #Conflicts: 806000 | #Constraints: 38874
2132.95/2139.63 c #Conflicts: 807000 | #Constraints: 39874
2132.95/2139.63 c #Conflicts: 808000 | #Constraints: 40874
2132.95/2139.63 c #Conflicts: 809000 | #Constraints: 41874
2132.95/2139.63 c #Conflicts: 810000 | #Constraints: 42874
2132.95/2139.63 c INPROCESSING
2132.95/2139.63 c GARBAGE COLLECT
2132.95/2139.63 c #Conflicts: 811000 | #Constraints: 26072
2132.95/2139.63 c #Conflicts: 812000 | #Constraints: 27072
2132.95/2139.63 c #Conflicts: 813000 | #Constraints: 28072
2132.95/2139.63 c #Conflicts: 814000 | #Constraints: 29072
2132.95/2139.63 c #Conflicts: 815000 | #Constraints: 30072
2132.95/2139.63 c #Conflicts: 816000 | #Constraints: 31072
2132.95/2139.63 c #Conflicts: 817000 | #Constraints: 32072
2132.95/2139.63 c #Conflicts: 818000 | #Constraints: 33072
2132.95/2139.63 c #Conflicts: 819000 | #Constraints: 34072
2132.95/2139.63 c #Conflicts: 820000 | #Constraints: 35072
2132.95/2139.63 c #Conflicts: 821000 | #Constraints: 36072
2132.95/2139.63 c #Conflicts: 822000 | #Constraints: 37072
2132.95/2139.63 c #Conflicts: 823000 | #Constraints: 38072
2132.95/2139.63 c #Conflicts: 824000 | #Constraints: 39072
2132.95/2139.63 c #Conflicts: 825000 | #Constraints: 40072
2132.95/2139.63 c #Conflicts: 826000 | #Constraints: 41072
2132.95/2139.63 c #Conflicts: 827000 | #Constraints: 42072
2132.95/2139.63 c #Conflicts: 828000 | #Constraints: 43072
2132.95/2139.63 c INPROCESSING
2132.95/2139.63 c GARBAGE COLLECT
2132.95/2139.63 c #Conflicts: 829000 | #Constraints: 26074
2132.95/2139.63 c #Conflicts: 830000 | #Constraints: 27074
2132.95/2139.63 c #Conflicts: 831000 | #Constraints: 28074
2132.95/2139.63 c #Conflicts: 832000 | #Constraints: 29074
2132.95/2139.63 c #Conflicts: 833000 | #Constraints: 30074
2132.95/2139.63 c #Conflicts: 834000 | #Constraints: 31074
2132.95/2139.63 c #Conflicts: 835000 | #Constraints: 32074
2132.95/2139.63 c #Conflicts: 836000 | #Constraints: 33074
2132.95/2139.63 c #Conflicts: 837000 | #Constraints: 34074
2132.95/2139.63 c #Conflicts: 838000 | #Constraints: 35074
2132.95/2139.63 c #Conflicts: 839000 | #Constraints: 36074
2132.95/2139.63 c #Conflicts: 840000 | #Constraints: 37074
2132.95/2139.63 c #Conflicts: 841000 | #Constraints: 38074
2132.95/2139.63 c #Conflicts: 842000 | #Constraints: 39074
2132.95/2139.63 c #Conflicts: 843000 | #Constraints: 40074
2132.95/2139.63 c #Conflicts: 844000 | #Constraints: 41074
2132.95/2139.63 c #Conflicts: 845000 | #Constraints: 42074
2132.95/2139.63 c #Conflicts: 846000 | #Constraints: 43074
2132.95/2139.63 c INPROCESSING
2132.95/2139.63 c GARBAGE COLLECT
2132.95/2139.63 c #Conflicts: 847000 | #Constraints: 25871
2132.95/2139.63 c #Conflicts: 848000 | #Constraints: 26871
2132.95/2139.63 c #Conflicts: 849000 | #Constraints: 27871
2132.95/2139.63 c #Conflicts: 850000 | #Constraints: 28871
2132.95/2139.63 c #Conflicts: 851000 | #Constraints: 29871
2132.95/2139.63 c #Conflicts: 852000 | #Constraints: 30871
2132.95/2139.63 c #Conflicts: 853000 | #Constraints: 31871
2132.95/2139.63 c #Conflicts: 854000 | #Constraints: 32871
2132.95/2139.63 c #Conflicts: 855000 | #Constraints: 33871
2132.95/2139.63 c #Conflicts: 856000 | #Constraints: 34871
2132.95/2139.63 c #Conflicts: 857000 | #Constraints: 35871
2132.95/2139.63 c #Conflicts: 858000 | #Constraints: 36871
2132.95/2139.63 c #Conflicts: 859000 | #Constraints: 37871
2132.95/2139.63 c #Conflicts: 860000 | #Constraints: 38871
2132.95/2139.63 c #Conflicts: 861000 | #Constraints: 39871
2132.95/2139.63 c #Conflicts: 862000 | #Constraints: 40871
2354.86/2362.11 c #Conflicts: 863000 | #Constraints: 41871
2354.86/2362.11 c #Conflicts: 864000 | #Constraints: 42871
2354.86/2362.11 c #Conflicts: 865000 | #Constraints: 43871
2354.86/2362.11 c INPROCESSING
2354.86/2362.11 c GARBAGE COLLECT
2354.86/2362.11 c #Conflicts: 866000 | #Constraints: 26469
2354.86/2362.11 c #Conflicts: 867000 | #Constraints: 27469
2354.86/2362.11 c #Conflicts: 868000 | #Constraints: 28469
2354.86/2362.11 c #Conflicts: 869000 | #Constraints: 29469
2354.86/2362.11 c #Conflicts: 870000 | #Constraints: 30469
2354.86/2362.11 c #Conflicts: 871000 | #Constraints: 31469
2354.86/2362.11 c #Conflicts: 872000 | #Constraints: 32469
2354.86/2362.11 c #Conflicts: 873000 | #Constraints: 33469
2354.86/2362.11 c #Conflicts: 874000 | #Constraints: 34469
2354.86/2362.11 c #Conflicts: 875000 | #Constraints: 35469
2354.86/2362.11 c #Conflicts: 876000 | #Constraints: 36469
2354.86/2362.11 c #Conflicts: 877000 | #Constraints: 37469
2354.86/2362.11 c #Conflicts: 878000 | #Constraints: 38469
2354.86/2362.11 c #Conflicts: 879000 | #Constraints: 39469
2354.86/2362.11 c #Conflicts: 880000 | #Constraints: 40469
2354.86/2362.11 c #Conflicts: 881000 | #Constraints: 41469
2354.86/2362.11 c #Conflicts: 882000 | #Constraints: 42469
2354.86/2362.11 c #Conflicts: 883000 | #Constraints: 43469
2354.86/2362.11 c #Conflicts: 884000 | #Constraints: 44469
2354.86/2362.11 c INPROCESSING
2354.86/2362.11 c GARBAGE COLLECT
2354.86/2362.11 c #Conflicts: 885000 | #Constraints: 26870
2354.86/2362.11 c #Conflicts: 886000 | #Constraints: 27870
2354.86/2362.11 c #Conflicts: 887000 | #Constraints: 28870
2354.86/2362.11 c #Conflicts: 888000 | #Constraints: 29870
2354.86/2362.11 c #Conflicts: 889000 | #Constraints: 30870
2354.86/2362.11 c #Conflicts: 890000 | #Constraints: 31870
2354.86/2362.11 c #Conflicts: 891000 | #Constraints: 32870
2354.86/2362.11 c #Conflicts: 892000 | #Constraints: 33870
2354.86/2362.11 c #Conflicts: 893000 | #Constraints: 34870
2354.86/2362.11 c #Conflicts: 894000 | #Constraints: 35870
2354.86/2362.11 c #Conflicts: 895000 | #Constraints: 36870
2354.86/2362.11 c #Conflicts: 896000 | #Constraints: 37870
2354.86/2362.11 c #Conflicts: 897000 | #Constraints: 38870
2354.86/2362.11 c #Conflicts: 898000 | #Constraints: 39870
2354.86/2362.11 c #Conflicts: 899000 | #Constraints: 40870
2354.86/2362.11 c #Conflicts: 900000 | #Constraints: 41870
2354.86/2362.11 c #Conflicts: 901000 | #Constraints: 42870
2354.86/2362.11 c #Conflicts: 902000 | #Constraints: 43870
2354.86/2362.11 c #Conflicts: 903000 | #Constraints: 44870
2354.86/2362.11 c INPROCESSING
2354.86/2362.11 c GARBAGE COLLECT
2354.86/2362.11 c #Conflicts: 904000 | #Constraints: 27069
2354.86/2362.11 c #Conflicts: 905000 | #Constraints: 28069
2354.86/2362.11 c #Conflicts: 906000 | #Constraints: 29069
2354.86/2362.11 c #Conflicts: 907000 | #Constraints: 30069
2354.86/2362.11 c #Conflicts: 908000 | #Constraints: 31069
2354.86/2362.11 c #Conflicts: 909000 | #Constraints: 32069
2354.86/2362.11 c #Conflicts: 910000 | #Constraints: 33069
2354.86/2362.11 c #Conflicts: 911000 | #Constraints: 34069
2354.86/2362.11 c #Conflicts: 912000 | #Constraints: 35069
2354.86/2362.11 c #Conflicts: 913000 | #Constraints: 36069
2354.86/2362.11 c #Conflicts: 914000 | #Constraints: 37069
2354.86/2362.11 c #Conflicts: 915000 | #Constraints: 38069
2354.86/2362.11 c #Conflicts: 916000 | #Constraints: 39069
2354.86/2362.11 c #Conflicts: 917000 | #Constraints: 40069
2354.86/2362.11 c #Conflicts: 918000 | #Constraints: 41069
2354.86/2362.11 c #Conflicts: 919000 | #Constraints: 42069
2354.86/2362.11 c #Conflicts: 920000 | #Constraints: 43069
2354.86/2362.11 c #Conflicts: 921000 | #Constraints: 44069
2354.86/2362.11 c #Conflicts: 922000 | #Constraints: 45069
2354.86/2362.11 c INPROCESSING
2354.86/2362.11 c GARBAGE COLLECT
2354.86/2362.11 c #Conflicts: 923000 | #Constraints: 27070
2354.86/2362.11 c #Conflicts: 924000 | #Constraints: 28070
2354.86/2362.11 c #Conflicts: 925000 | #Constraints: 29070
2354.86/2362.11 c #Conflicts: 926000 | #Constraints: 30070
2354.86/2362.11 c #Conflicts: 927000 | #Constraints: 31070
2354.86/2362.11 c #Conflicts: 928000 | #Constraints: 32070
2354.86/2362.11 c #Conflicts: 929000 | #Constraints: 33070
2354.86/2362.11 c #Conflicts: 930000 | #Constraints: 34070
2354.86/2362.11 c #Conflicts: 931000 | #Constraints: 35070
2354.86/2362.11 c #Conflicts: 932000 | #Constraints: 36070
2354.86/2362.11 c #Conflicts: 933000 | #Constraints: 37070
2354.86/2362.11 c #Conflicts: 934000 | #Constraints: 38070
2354.86/2362.11 c #Conflicts: 935000 | #Constraints: 39070
2354.86/2362.11 c #Conflicts: 936000 | #Constraints: 40070
2354.86/2362.11 c #Conflicts: 937000 | #Constraints: 41070
2354.86/2362.11 c #Conflicts: 938000 | #Constraints: 42070
2520.78/2528.54 c #Conflicts: 939000 | #Constraints: 43070
2520.78/2528.54 c #Conflicts: 940000 | #Constraints: 44070
2520.78/2528.54 c #Conflicts: 941000 | #Constraints: 45070
2520.78/2528.54 c INPROCESSING
2520.78/2528.54 c GARBAGE COLLECT
2520.78/2528.54 c #Conflicts: 942000 | #Constraints: 26871
2520.78/2528.54 c #Conflicts: 943000 | #Constraints: 27871
2520.78/2528.54 c #Conflicts: 944000 | #Constraints: 28871
2520.78/2528.54 c #Conflicts: 945000 | #Constraints: 29871
2520.78/2528.54 c #Conflicts: 946000 | #Constraints: 30871
2520.78/2528.54 c #Conflicts: 947000 | #Constraints: 31871
2520.78/2528.54 c #Conflicts: 948000 | #Constraints: 32871
2520.78/2528.54 c #Conflicts: 949000 | #Constraints: 33871
2520.78/2528.54 c #Conflicts: 950000 | #Constraints: 34871
2520.78/2528.54 c #Conflicts: 951000 | #Constraints: 35871
2520.78/2528.54 c #Conflicts: 952000 | #Constraints: 36871
2520.78/2528.54 c #Conflicts: 953000 | #Constraints: 37871
2520.78/2528.54 c #Conflicts: 954000 | #Constraints: 38871
2520.78/2528.54 c #Conflicts: 955000 | #Constraints: 39871
2520.78/2528.54 c #Conflicts: 956000 | #Constraints: 40871
2520.78/2528.54 c #Conflicts: 957000 | #Constraints: 41871
2520.78/2528.54 c #Conflicts: 958000 | #Constraints: 42871
2520.78/2528.54 c #Conflicts: 959000 | #Constraints: 43871
2520.78/2528.54 c #Conflicts: 960000 | #Constraints: 44871
2520.78/2528.54 c #Conflicts: 961000 | #Constraints: 45871
2520.78/2528.54 c INPROCESSING
2520.78/2528.54 c GARBAGE COLLECT
2520.78/2528.54 c #Conflicts: 962000 | #Constraints: 27472
2520.78/2528.54 c #Conflicts: 963000 | #Constraints: 28472
2520.78/2528.54 c #Conflicts: 964000 | #Constraints: 29472
2520.78/2528.54 c #Conflicts: 965000 | #Constraints: 30472
2520.78/2528.54 c #Conflicts: 966000 | #Constraints: 31472
2520.78/2528.54 c #Conflicts: 967000 | #Constraints: 32472
2520.78/2528.54 c #Conflicts: 968000 | #Constraints: 33472
2520.78/2528.54 c #Conflicts: 969000 | #Constraints: 34472
2520.78/2528.54 c #Conflicts: 970000 | #Constraints: 35472
2520.78/2528.54 c #Conflicts: 971000 | #Constraints: 36472
2520.78/2528.54 c #Conflicts: 972000 | #Constraints: 37472
2520.78/2528.54 c #Conflicts: 973000 | #Constraints: 38472
2520.78/2528.54 c #Conflicts: 974000 | #Constraints: 39472
2520.78/2528.54 c #Conflicts: 975000 | #Constraints: 40472
2520.78/2528.54 c #Conflicts: 976000 | #Constraints: 41472
2520.78/2528.54 c #Conflicts: 977000 | #Constraints: 42472
2520.78/2528.54 c #Conflicts: 978000 | #Constraints: 43472
2520.78/2528.54 c #Conflicts: 979000 | #Constraints: 44472
2520.78/2528.54 c #Conflicts: 980000 | #Constraints: 45472
2520.78/2528.54 c #Conflicts: 981000 | #Constraints: 46472
2520.78/2528.54 c INPROCESSING
2520.78/2528.54 c GARBAGE COLLECT
2520.78/2528.54 c #Conflicts: 982000 | #Constraints: 27873
2520.78/2528.54 c #Conflicts: 983000 | #Constraints: 28873
2520.78/2528.54 c #Conflicts: 984000 | #Constraints: 29873
2520.78/2528.54 c #Conflicts: 985000 | #Constraints: 30873
2520.78/2528.54 c #Conflicts: 986000 | #Constraints: 31873
2520.78/2528.54 c #Conflicts: 987000 | #Constraints: 32873
2520.78/2528.54 c #Conflicts: 988000 | #Constraints: 33873
2520.78/2528.54 c #Conflicts: 989000 | #Constraints: 34873
2520.78/2528.54 c #Conflicts: 990000 | #Constraints: 35873
2520.78/2528.54 c #Conflicts: 991000 | #Constraints: 36873
2520.78/2528.54 c #Conflicts: 992000 | #Constraints: 37873
2520.78/2528.54 c #Conflicts: 993000 | #Constraints: 38873
2520.78/2528.54 c #Conflicts: 994000 | #Constraints: 39873
2520.78/2528.54 c #Conflicts: 995000 | #Constraints: 40873
2520.78/2528.54 c #Conflicts: 996000 | #Constraints: 41873
2520.78/2528.54 c #Conflicts: 997000 | #Constraints: 42873
2520.78/2528.54 c #Conflicts: 998000 | #Constraints: 43873
2520.78/2528.54 c #Conflicts: 999000 | #Constraints: 44873
2520.78/2528.54 c #Conflicts: 1000000 | #Constraints: 45873
2520.78/2528.54 c #Conflicts: 1001000 | #Constraints: 46873
2520.78/2528.54 c INPROCESSING
2520.78/2528.54 c GARBAGE COLLECT
2520.78/2528.54 c #Conflicts: 1002000 | #Constraints: 28074
2520.78/2528.54 c #Conflicts: 1003000 | #Constraints: 29074
2520.78/2528.54 c #Conflicts: 1004000 | #Constraints: 30074
2520.78/2528.54 c #Conflicts: 1005000 | #Constraints: 31074
2520.78/2528.54 c #Conflicts: 1006000 | #Constraints: 32074
2520.78/2528.54 c #Conflicts: 1007000 | #Constraints: 33074
2520.78/2528.54 c #Conflicts: 1008000 | #Constraints: 34074
2520.78/2528.54 c #Conflicts: 1009000 | #Constraints: 35074
2520.78/2528.54 c #Conflicts: 1010000 | #Constraints: 36074
2520.78/2528.54 c #Conflicts: 1011000 | #Constraints: 37074
2520.78/2528.54 c #Conflicts: 1012000 | #Constraints: 38074
2520.78/2528.54 c #Conflicts: 1013000 | #Constraints: 39074
2520.78/2528.54 c #Conflicts: 1014000 | #Constraints: 40074
2673.74/2682.06 c #Conflicts: 1015000 | #Constraints: 41074
2673.74/2682.06 c #Conflicts: 1016000 | #Constraints: 42074
2673.74/2682.06 c #Conflicts: 1017000 | #Constraints: 43074
2673.74/2682.06 c #Conflicts: 1018000 | #Constraints: 44074
2673.74/2682.06 c #Conflicts: 1019000 | #Constraints: 45074
2673.74/2682.06 c #Conflicts: 1020000 | #Constraints: 46074
2673.74/2682.06 c #Conflicts: 1021000 | #Constraints: 47074
2673.74/2682.06 c INPROCESSING
2673.74/2682.06 c GARBAGE COLLECT
2673.74/2682.06 c #Conflicts: 1022000 | #Constraints: 28075
2673.74/2682.06 c #Conflicts: 1023000 | #Constraints: 29075
2673.74/2682.06 c #Conflicts: 1024000 | #Constraints: 30075
2673.74/2682.06 c #Conflicts: 1025000 | #Constraints: 31075
2673.74/2682.06 c #Conflicts: 1026000 | #Constraints: 32075
2673.74/2682.06 c #Conflicts: 1027000 | #Constraints: 33075
2673.74/2682.06 c #Conflicts: 1028000 | #Constraints: 34075
2673.74/2682.06 c #Conflicts: 1029000 | #Constraints: 35075
2673.74/2682.06 c #Conflicts: 1030000 | #Constraints: 36075
2673.74/2682.06 c #Conflicts: 1031000 | #Constraints: 37075
2673.74/2682.06 c #Conflicts: 1032000 | #Constraints: 38075
2673.74/2682.06 c #Conflicts: 1033000 | #Constraints: 39075
2673.74/2682.06 c #Conflicts: 1034000 | #Constraints: 40075
2673.74/2682.06 c #Conflicts: 1035000 | #Constraints: 41075
2673.74/2682.06 c #Conflicts: 1036000 | #Constraints: 42075
2673.74/2682.06 c #Conflicts: 1037000 | #Constraints: 43075
2673.74/2682.06 c #Conflicts: 1038000 | #Constraints: 44075
2673.74/2682.06 c #Conflicts: 1039000 | #Constraints: 45075
2673.74/2682.06 c #Conflicts: 1040000 | #Constraints: 46075
2673.74/2682.06 c #Conflicts: 1041000 | #Constraints: 47075
2673.74/2682.06 c INPROCESSING
2673.74/2682.06 c GARBAGE COLLECT
2673.74/2682.06 c #Conflicts: 1042000 | #Constraints: 27876
2673.74/2682.06 c #Conflicts: 1043000 | #Constraints: 28876
2673.74/2682.06 c #Conflicts: 1044000 | #Constraints: 29876
2673.74/2682.06 c #Conflicts: 1045000 | #Constraints: 30876
2673.74/2682.06 c #Conflicts: 1046000 | #Constraints: 31876
2673.74/2682.06 c #Conflicts: 1047000 | #Constraints: 32876
2673.74/2682.06 c #Conflicts: 1048000 | #Constraints: 33876
2673.74/2682.06 c #Conflicts: 1049000 | #Constraints: 34876
2673.74/2682.06 c #Conflicts: 1050000 | #Constraints: 35876
2673.74/2682.06 c #Conflicts: 1051000 | #Constraints: 36876
2673.74/2682.06 c #Conflicts: 1052000 | #Constraints: 37876
2673.74/2682.06 c #Conflicts: 1053000 | #Constraints: 38876
2673.74/2682.06 c #Conflicts: 1054000 | #Constraints: 39876
2673.74/2682.06 c #Conflicts: 1055000 | #Constraints: 40876
2673.74/2682.06 c #Conflicts: 1056000 | #Constraints: 41876
2673.74/2682.06 c #Conflicts: 1057000 | #Constraints: 42876
2673.74/2682.06 c #Conflicts: 1058000 | #Constraints: 43876
2673.74/2682.06 c #Conflicts: 1059000 | #Constraints: 44876
2673.74/2682.06 c #Conflicts: 1060000 | #Constraints: 45876
2673.74/2682.06 c #Conflicts: 1061000 | #Constraints: 46876
2673.74/2682.06 c #Conflicts: 1062000 | #Constraints: 47876
2673.74/2682.06 c INPROCESSING
2673.74/2682.06 c GARBAGE COLLECT
2673.74/2682.06 c #Conflicts: 1063000 | #Constraints: 28476
2673.74/2682.06 c #Conflicts: 1064000 | #Constraints: 29476
2673.74/2682.06 c #Conflicts: 1065000 | #Constraints: 30476
2673.74/2682.06 c #Conflicts: 1066000 | #Constraints: 31476
2673.74/2682.06 c #Conflicts: 1067000 | #Constraints: 32476
2673.74/2682.06 c #Conflicts: 1068000 | #Constraints: 33476
2673.74/2682.06 c #Conflicts: 1069000 | #Constraints: 34476
2673.74/2682.06 c #Conflicts: 1070000 | #Constraints: 35476
2673.74/2682.06 c #Conflicts: 1071000 | #Constraints: 36476
2673.74/2682.06 c #Conflicts: 1072000 | #Constraints: 37476
2673.74/2682.06 c #Conflicts: 1073000 | #Constraints: 38476
2673.74/2682.06 c #Conflicts: 1074000 | #Constraints: 39476
2673.74/2682.06 c #Conflicts: 1075000 | #Constraints: 40476
2673.74/2682.06 c #Conflicts: 1076000 | #Constraints: 41476
2673.74/2682.06 c #Conflicts: 1077000 | #Constraints: 42476
2673.74/2682.06 c #Conflicts: 1078000 | #Constraints: 43476
2673.74/2682.06 c #Conflicts: 1079000 | #Constraints: 44476
2673.74/2682.06 c #Conflicts: 1080000 | #Constraints: 45476
2673.74/2682.06 c #Conflicts: 1081000 | #Constraints: 46476
2673.74/2682.06 c #Conflicts: 1082000 | #Constraints: 47476
2673.74/2682.06 c #Conflicts: 1083000 | #Constraints: 48476
2673.74/2682.06 c INPROCESSING
2673.74/2682.06 c GARBAGE COLLECT
2673.74/2682.06 c #Conflicts: 1084000 | #Constraints: 28876
2673.74/2682.06 c #Conflicts: 1085000 | #Constraints: 29876
2673.74/2682.06 c #Conflicts: 1086000 | #Constraints: 30876
2673.74/2682.06 c #Conflicts: 1087000 | #Constraints: 31876
2673.74/2682.06 c #Conflicts: 1088000 | #Constraints: 32876
2673.74/2682.06 c #Conflicts: 1089000 | #Constraints: 33876
2673.74/2682.06 c #Conflicts: 1090000 | #Constraints: 34876
2813.93/2822.63 c #Conflicts: 1091000 | #Constraints: 35876
2813.93/2822.63 c #Conflicts: 1092000 | #Constraints: 36876
2813.93/2822.63 c #Conflicts: 1093000 | #Constraints: 37876
2813.93/2822.63 c #Conflicts: 1094000 | #Constraints: 38876
2813.93/2822.63 c #Conflicts: 1095000 | #Constraints: 39876
2813.93/2822.63 c #Conflicts: 1096000 | #Constraints: 40876
2813.93/2822.63 c #Conflicts: 1097000 | #Constraints: 41876
2813.93/2822.63 c #Conflicts: 1098000 | #Constraints: 42876
2813.93/2822.63 c #Conflicts: 1099000 | #Constraints: 43876
2813.93/2822.63 c #Conflicts: 1100000 | #Constraints: 44876
2813.93/2822.63 c #Conflicts: 1101000 | #Constraints: 45876
2813.93/2822.63 c #Conflicts: 1102000 | #Constraints: 46876
2813.93/2822.63 c #Conflicts: 1103000 | #Constraints: 47876
2813.93/2822.63 c #Conflicts: 1104000 | #Constraints: 48876
2813.93/2822.63 c INPROCESSING
2813.93/2822.63 c GARBAGE COLLECT
2813.93/2822.63 c #Conflicts: 1105000 | #Constraints: 29075
2813.93/2822.63 c #Conflicts: 1106000 | #Constraints: 30075
2813.93/2822.63 c #Conflicts: 1107000 | #Constraints: 31075
2813.93/2822.63 c #Conflicts: 1108000 | #Constraints: 32075
2813.93/2822.63 c #Conflicts: 1109000 | #Constraints: 33075
2813.93/2822.63 c #Conflicts: 1110000 | #Constraints: 34075
2813.93/2822.63 c #Conflicts: 1111000 | #Constraints: 35075
2813.93/2822.63 c #Conflicts: 1112000 | #Constraints: 36075
2813.93/2822.63 c #Conflicts: 1113000 | #Constraints: 37075
2813.93/2822.63 c #Conflicts: 1114000 | #Constraints: 38075
2813.93/2822.63 c #Conflicts: 1115000 | #Constraints: 39075
2813.93/2822.63 c #Conflicts: 1116000 | #Constraints: 40075
2813.93/2822.63 c #Conflicts: 1117000 | #Constraints: 41075
2813.93/2822.63 c #Conflicts: 1118000 | #Constraints: 42075
2813.93/2822.63 c #Conflicts: 1119000 | #Constraints: 43075
2813.93/2822.63 c #Conflicts: 1120000 | #Constraints: 44075
2813.93/2822.63 c #Conflicts: 1121000 | #Constraints: 45075
2813.93/2822.63 c #Conflicts: 1122000 | #Constraints: 46075
2813.93/2822.63 c #Conflicts: 1123000 | #Constraints: 47075
2813.93/2822.63 c #Conflicts: 1124000 | #Constraints: 48075
2813.93/2822.63 c #Conflicts: 1125000 | #Constraints: 49075
2813.93/2822.63 c INPROCESSING
2813.93/2822.63 c GARBAGE COLLECT
2813.93/2822.63 c #Conflicts: 1126000 | #Constraints: 29075
2813.93/2822.63 c #Conflicts: 1127000 | #Constraints: 30075
2813.93/2822.63 c #Conflicts: 1128000 | #Constraints: 31075
2813.93/2822.63 c #Conflicts: 1129000 | #Constraints: 32075
2813.93/2822.63 c #Conflicts: 1130000 | #Constraints: 33075
2813.93/2822.63 c #Conflicts: 1131000 | #Constraints: 34075
2813.93/2822.63 c #Conflicts: 1132000 | #Constraints: 35075
2813.93/2822.63 c #Conflicts: 1133000 | #Constraints: 36075
2813.93/2822.63 c #Conflicts: 1134000 | #Constraints: 37075
2813.93/2822.63 c #Conflicts: 1135000 | #Constraints: 38075
2813.93/2822.63 c #Conflicts: 1136000 | #Constraints: 39075
2813.93/2822.63 c #Conflicts: 1137000 | #Constraints: 40075
2813.93/2822.63 c #Conflicts: 1138000 | #Constraints: 41075
2813.93/2822.63 c #Conflicts: 1139000 | #Constraints: 42075
2813.93/2822.63 c #Conflicts: 1140000 | #Constraints: 43075
2813.93/2822.63 c #Conflicts: 1141000 | #Constraints: 44075
2813.93/2822.63 c #Conflicts: 1142000 | #Constraints: 45075
2813.93/2822.63 c #Conflicts: 1143000 | #Constraints: 46075
2813.93/2822.63 c #Conflicts: 1144000 | #Constraints: 47075
2813.93/2822.63 c #Conflicts: 1145000 | #Constraints: 48075
2813.93/2822.63 c #Conflicts: 1146000 | #Constraints: 49075
2813.93/2822.63 c INPROCESSING
2813.93/2822.63 c GARBAGE COLLECT
2813.93/2822.63 c #Conflicts: 1147000 | #Constraints: 28872
2813.93/2822.63 c #Conflicts: 1148000 | #Constraints: 29872
2813.93/2822.63 c #Conflicts: 1149000 | #Constraints: 30872
2813.93/2822.63 c #Conflicts: 1150000 | #Constraints: 31872
2813.93/2822.63 c #Conflicts: 1151000 | #Constraints: 32872
2813.93/2822.63 c #Conflicts: 1152000 | #Constraints: 33872
2813.93/2822.63 c #Conflicts: 1153000 | #Constraints: 34872
2813.93/2822.63 c #Conflicts: 1154000 | #Constraints: 35872
2813.93/2822.63 c #Conflicts: 1155000 | #Constraints: 36872
2813.93/2822.63 c #Conflicts: 1156000 | #Constraints: 37872
2813.93/2822.63 c #Conflicts: 1157000 | #Constraints: 38872
2813.93/2822.63 c #Conflicts: 1158000 | #Constraints: 39872
2813.93/2822.63 c #Conflicts: 1159000 | #Constraints: 40872
2813.93/2822.63 c #Conflicts: 1160000 | #Constraints: 41872
2813.93/2822.63 c #Conflicts: 1161000 | #Constraints: 42872
2813.93/2822.63 c #Conflicts: 1162000 | #Constraints: 43872
2813.93/2822.63 c #Conflicts: 1163000 | #Constraints: 44872
2813.93/2822.63 c #Conflicts: 1164000 | #Constraints: 45872
2813.93/2822.63 c #Conflicts: 1165000 | #Constraints: 46872
2813.93/2822.63 c #Conflicts: 1166000 | #Constraints: 47872
2813.93/2822.63 c #Conflicts: 1167000 | #Constraints: 48872
3057.22/3066.65 c #Conflicts: 1168000 | #Constraints: 49872
3057.22/3066.65 c INPROCESSING
3057.22/3066.65 c GARBAGE COLLECT
3057.22/3066.65 c #Conflicts: 1169000 | #Constraints: 29472
3057.22/3066.65 c #Conflicts: 1170000 | #Constraints: 30472
3057.22/3066.65 c #Conflicts: 1171000 | #Constraints: 31472
3057.22/3066.65 c #Conflicts: 1172000 | #Constraints: 32472
3057.22/3066.65 c #Conflicts: 1173000 | #Constraints: 33472
3057.22/3066.65 c #Conflicts: 1174000 | #Constraints: 34472
3057.22/3066.65 c #Conflicts: 1175000 | #Constraints: 35472
3057.22/3066.65 c #Conflicts: 1176000 | #Constraints: 36472
3057.22/3066.65 c #Conflicts: 1177000 | #Constraints: 37472
3057.22/3066.65 c #Conflicts: 1178000 | #Constraints: 38472
3057.22/3066.65 c #Conflicts: 1179000 | #Constraints: 39472
3057.22/3066.65 c #Conflicts: 1180000 | #Constraints: 40472
3057.22/3066.65 c #Conflicts: 1181000 | #Constraints: 41472
3057.22/3066.65 c #Conflicts: 1182000 | #Constraints: 42472
3057.22/3066.65 c #Conflicts: 1183000 | #Constraints: 43472
3057.22/3066.65 c #Conflicts: 1184000 | #Constraints: 44472
3057.22/3066.65 c #Conflicts: 1185000 | #Constraints: 45472
3057.22/3066.65 c #Conflicts: 1186000 | #Constraints: 46472
3057.22/3066.65 c #Conflicts: 1187000 | #Constraints: 47472
3057.22/3066.65 c #Conflicts: 1188000 | #Constraints: 48472
3057.22/3066.65 c #Conflicts: 1189000 | #Constraints: 49472
3057.22/3066.65 c #Conflicts: 1190000 | #Constraints: 50472
3057.22/3066.65 c INPROCESSING
3057.22/3066.65 c GARBAGE COLLECT
3057.22/3066.65 c #Conflicts: 1191000 | #Constraints: 29873
3057.22/3066.65 c #Conflicts: 1192000 | #Constraints: 30873
3057.22/3066.65 c #Conflicts: 1193000 | #Constraints: 31873
3057.22/3066.65 c #Conflicts: 1194000 | #Constraints: 32873
3057.22/3066.65 c #Conflicts: 1195000 | #Constraints: 33873
3057.22/3066.65 c #Conflicts: 1196000 | #Constraints: 34873
3057.22/3066.65 c #Conflicts: 1197000 | #Constraints: 35873
3057.22/3066.65 c #Conflicts: 1198000 | #Constraints: 36873
3057.22/3066.65 c #Conflicts: 1199000 | #Constraints: 37873
3057.22/3066.65 c #Conflicts: 1200000 | #Constraints: 38873
3057.22/3066.65 c #Conflicts: 1201000 | #Constraints: 39873
3057.22/3066.65 c #Conflicts: 1202000 | #Constraints: 40873
3057.22/3066.65 c #Conflicts: 1203000 | #Constraints: 41873
3057.22/3066.65 c #Conflicts: 1204000 | #Constraints: 42873
3057.22/3066.65 c #Conflicts: 1205000 | #Constraints: 43873
3057.22/3066.65 c #Conflicts: 1206000 | #Constraints: 44873
3057.22/3066.65 c #Conflicts: 1207000 | #Constraints: 45873
3057.22/3066.65 c #Conflicts: 1208000 | #Constraints: 46873
3057.22/3066.65 c #Conflicts: 1209000 | #Constraints: 47873
3057.22/3066.65 c #Conflicts: 1210000 | #Constraints: 48873
3057.22/3066.65 c #Conflicts: 1211000 | #Constraints: 49873
3057.22/3066.65 c #Conflicts: 1212000 | #Constraints: 50873
3057.22/3066.65 c INPROCESSING
3057.22/3066.65 c GARBAGE COLLECT
3057.22/3066.65 c #Conflicts: 1213000 | #Constraints: 30069
3057.22/3066.65 c #Conflicts: 1214000 | #Constraints: 31069
3057.22/3066.65 c #Conflicts: 1215000 | #Constraints: 32069
3057.22/3066.65 c #Conflicts: 1216000 | #Constraints: 33069
3057.22/3066.65 c #Conflicts: 1217000 | #Constraints: 34069
3057.22/3066.65 c #Conflicts: 1218000 | #Constraints: 35069
3057.22/3066.65 c #Conflicts: 1219000 | #Constraints: 36069
3057.22/3066.65 c #Conflicts: 1220000 | #Constraints: 37069
3057.22/3066.65 c #Conflicts: 1221000 | #Constraints: 38069
3057.22/3066.65 c #Conflicts: 1222000 | #Constraints: 39069
3057.22/3066.65 c #Conflicts: 1223000 | #Constraints: 40069
3057.22/3066.65 c #Conflicts: 1224000 | #Constraints: 41069
3057.22/3066.65 c #Conflicts: 1225000 | #Constraints: 42069
3057.22/3066.65 c #Conflicts: 1226000 | #Constraints: 43069
3057.22/3066.65 c #Conflicts: 1227000 | #Constraints: 44069
3057.22/3066.65 c #Conflicts: 1228000 | #Constraints: 45069
3057.22/3066.65 c #Conflicts: 1229000 | #Constraints: 46069
3057.22/3066.65 c #Conflicts: 1230000 | #Constraints: 47069
3057.22/3066.65 c #Conflicts: 1231000 | #Constraints: 48069
3057.22/3066.65 c #Conflicts: 1232000 | #Constraints: 49069
3057.22/3066.65 c #Conflicts: 1233000 | #Constraints: 50069
3057.22/3066.65 c #Conflicts: 1234000 | #Constraints: 51069
3057.22/3066.65 c INPROCESSING
3057.22/3066.65 c GARBAGE COLLECT
3057.22/3066.65 c #Conflicts: 1235000 | #Constraints: 30069
3057.22/3066.65 c #Conflicts: 1236000 | #Constraints: 31069
3057.22/3066.65 c #Conflicts: 1237000 | #Constraints: 32069
3057.22/3066.65 c #Conflicts: 1238000 | #Constraints: 33069
3057.22/3066.65 c #Conflicts: 1239000 | #Constraints: 34069
3057.22/3066.65 c #Conflicts: 1240000 | #Constraints: 35069
3057.22/3066.65 c #Conflicts: 1241000 | #Constraints: 36069
3057.22/3066.65 c #Conflicts: 1242000 | #Constraints: 37069
3057.22/3066.65 c #Conflicts: 1243000 | #Constraints: 38069
3057.22/3066.65 c #Conflicts: 1244000 | #Constraints: 39069
3232.02/3241.95 c #Conflicts: 1245000 | #Constraints: 40069
3232.02/3241.95 c #Conflicts: 1246000 | #Constraints: 41069
3232.02/3241.95 c #Conflicts: 1247000 | #Constraints: 42069
3232.02/3241.95 c #Conflicts: 1248000 | #Constraints: 43069
3232.02/3241.95 c #Conflicts: 1249000 | #Constraints: 44069
3232.02/3241.95 c #Conflicts: 1250000 | #Constraints: 45069
3232.02/3241.95 c #Conflicts: 1251000 | #Constraints: 46069
3232.02/3241.95 c #Conflicts: 1252000 | #Constraints: 47069
3232.02/3241.95 c #Conflicts: 1253000 | #Constraints: 48069
3232.02/3241.95 c #Conflicts: 1254000 | #Constraints: 49069
3232.02/3241.95 c #Conflicts: 1255000 | #Constraints: 50069
3232.02/3241.95 c #Conflicts: 1256000 | #Constraints: 51069
3232.02/3241.95 c INPROCESSING
3232.02/3241.95 c GARBAGE COLLECT
3232.02/3241.95 c #Conflicts: 1257000 | #Constraints: 29876
3232.02/3241.95 c #Conflicts: 1258000 | #Constraints: 30876
3232.02/3241.95 c #Conflicts: 1259000 | #Constraints: 31876
3232.02/3241.95 c #Conflicts: 1260000 | #Constraints: 32876
3232.02/3241.95 c #Conflicts: 1261000 | #Constraints: 33876
3232.02/3241.95 c #Conflicts: 1262000 | #Constraints: 34876
3232.02/3241.95 c #Conflicts: 1263000 | #Constraints: 35876
3232.02/3241.95 c #Conflicts: 1264000 | #Constraints: 36876
3232.02/3241.95 c #Conflicts: 1265000 | #Constraints: 37876
3232.02/3241.95 c #Conflicts: 1266000 | #Constraints: 38876
3232.02/3241.95 c #Conflicts: 1267000 | #Constraints: 39876
3232.02/3241.95 c #Conflicts: 1268000 | #Constraints: 40876
3232.02/3241.95 c #Conflicts: 1269000 | #Constraints: 41876
3232.02/3241.95 c #Conflicts: 1270000 | #Constraints: 42876
3232.02/3241.95 c #Conflicts: 1271000 | #Constraints: 43876
3232.02/3241.95 c #Conflicts: 1272000 | #Constraints: 44876
3232.02/3241.95 c #Conflicts: 1273000 | #Constraints: 45876
3232.02/3241.95 c #Conflicts: 1274000 | #Constraints: 46876
3232.02/3241.95 c #Conflicts: 1275000 | #Constraints: 47876
3232.02/3241.95 c #Conflicts: 1276000 | #Constraints: 48876
3232.02/3241.95 c #Conflicts: 1277000 | #Constraints: 49876
3232.02/3241.95 c #Conflicts: 1278000 | #Constraints: 50876
3232.02/3241.95 c #Conflicts: 1279000 | #Constraints: 51876
3232.02/3241.95 c INPROCESSING
3232.02/3241.95 c GARBAGE COLLECT
3232.02/3241.95 c #Conflicts: 1280000 | #Constraints: 30476
3232.02/3241.95 c #Conflicts: 1281000 | #Constraints: 31476
3232.02/3241.95 c #Conflicts: 1282000 | #Constraints: 32476
3232.02/3241.95 c #Conflicts: 1283000 | #Constraints: 33476
3232.02/3241.95 c #Conflicts: 1284000 | #Constraints: 34476
3232.02/3241.95 c #Conflicts: 1285000 | #Constraints: 35476
3232.02/3241.95 c #Conflicts: 1286000 | #Constraints: 36476
3232.02/3241.95 c #Conflicts: 1287000 | #Constraints: 37476
3232.02/3241.95 c #Conflicts: 1288000 | #Constraints: 38476
3232.02/3241.95 c #Conflicts: 1289000 | #Constraints: 39476
3232.02/3241.95 c #Conflicts: 1290000 | #Constraints: 40476
3232.02/3241.95 c #Conflicts: 1291000 | #Constraints: 41476
3232.02/3241.95 c #Conflicts: 1292000 | #Constraints: 42476
3232.02/3241.95 c #Conflicts: 1293000 | #Constraints: 43476
3232.02/3241.95 c #Conflicts: 1294000 | #Constraints: 44476
3232.02/3241.95 c #Conflicts: 1295000 | #Constraints: 45476
3232.02/3241.95 c #Conflicts: 1296000 | #Constraints: 46476
3232.02/3241.95 c #Conflicts: 1297000 | #Constraints: 47476
3232.02/3241.95 c #Conflicts: 1298000 | #Constraints: 48476
3232.02/3241.95 c #Conflicts: 1299000 | #Constraints: 49476
3232.02/3241.95 c #Conflicts: 1300000 | #Constraints: 50476
3232.02/3241.95 c #Conflicts: 1301000 | #Constraints: 51476
3232.02/3241.95 c #Conflicts: 1302000 | #Constraints: 52476
3232.02/3241.95 c INPROCESSING
3232.02/3241.95 c GARBAGE COLLECT
3232.02/3241.95 c #Conflicts: 1303000 | #Constraints: 30876
3232.02/3241.95 c #Conflicts: 1304000 | #Constraints: 31876
3232.02/3241.95 c #Conflicts: 1305000 | #Constraints: 32876
3232.02/3241.95 c #Conflicts: 1306000 | #Constraints: 33876
3232.02/3241.95 c #Conflicts: 1307000 | #Constraints: 34876
3232.02/3241.95 c #Conflicts: 1308000 | #Constraints: 35876
3232.02/3241.95 c #Conflicts: 1309000 | #Constraints: 36876
3232.02/3241.95 c #Conflicts: 1310000 | #Constraints: 37876
3232.02/3241.95 c #Conflicts: 1311000 | #Constraints: 38876
3232.02/3241.95 c #Conflicts: 1312000 | #Constraints: 39876
3232.02/3241.95 c #Conflicts: 1313000 | #Constraints: 40876
3232.02/3241.95 c #Conflicts: 1314000 | #Constraints: 41876
3232.02/3241.95 c #Conflicts: 1315000 | #Constraints: 42876
3232.02/3241.95 c #Conflicts: 1316000 | #Constraints: 43876
3232.02/3241.95 c #Conflicts: 1317000 | #Constraints: 44876
3232.02/3241.95 c #Conflicts: 1318000 | #Constraints: 45876
3232.02/3241.95 c #Conflicts: 1319000 | #Constraints: 46876
3232.02/3241.95 c #Conflicts: 1320000 | #Constraints: 47876
3436.68/3447.64 c #Conflicts: 1321000 | #Constraints: 48876
3436.68/3447.64 c #Conflicts: 1322000 | #Constraints: 49876
3436.68/3447.64 c #Conflicts: 1323000 | #Constraints: 50876
3436.68/3447.64 c #Conflicts: 1324000 | #Constraints: 51876
3436.68/3447.64 c #Conflicts: 1325000 | #Constraints: 52876
3436.68/3447.64 c INPROCESSING
3436.68/3447.64 c GARBAGE COLLECT
3436.68/3447.64 c #Conflicts: 1326000 | #Constraints: 31079
3436.68/3447.64 c #Conflicts: 1327000 | #Constraints: 32079
3436.68/3447.64 c #Conflicts: 1328000 | #Constraints: 33079
3436.68/3447.64 c #Conflicts: 1329000 | #Constraints: 34079
3436.68/3447.64 c #Conflicts: 1330000 | #Constraints: 35079
3436.68/3447.64 c #Conflicts: 1331000 | #Constraints: 36079
3436.68/3447.64 c #Conflicts: 1332000 | #Constraints: 37079
3436.68/3447.64 c #Conflicts: 1333000 | #Constraints: 38079
3436.68/3447.64 c #Conflicts: 1334000 | #Constraints: 39079
3436.68/3447.64 c #Conflicts: 1335000 | #Constraints: 40079
3436.68/3447.64 c #Conflicts: 1336000 | #Constraints: 41079
3436.68/3447.64 c #Conflicts: 1337000 | #Constraints: 42079
3436.68/3447.64 c #Conflicts: 1338000 | #Constraints: 43079
3436.68/3447.64 c #Conflicts: 1339000 | #Constraints: 44079
3436.68/3447.64 c #Conflicts: 1340000 | #Constraints: 45079
3436.68/3447.64 c #Conflicts: 1341000 | #Constraints: 46079
3436.68/3447.64 c #Conflicts: 1342000 | #Constraints: 47079
3436.68/3447.64 c #Conflicts: 1343000 | #Constraints: 48079
3436.68/3447.64 c #Conflicts: 1344000 | #Constraints: 49079
3436.68/3447.64 c #Conflicts: 1345000 | #Constraints: 50079
3436.68/3447.64 c #Conflicts: 1346000 | #Constraints: 51079
3436.68/3447.64 c #Conflicts: 1347000 | #Constraints: 52079
3436.68/3447.64 c #Conflicts: 1348000 | #Constraints: 53079
3436.68/3447.64 c INPROCESSING
3436.68/3447.64 c GARBAGE COLLECT
3436.68/3447.64 c #Conflicts: 1349000 | #Constraints: 31079
3436.68/3447.64 c #Conflicts: 1350000 | #Constraints: 32079
3436.68/3447.64 c #Conflicts: 1351000 | #Constraints: 33079
3436.68/3447.64 c #Conflicts: 1352000 | #Constraints: 34079
3436.68/3447.64 c #Conflicts: 1353000 | #Constraints: 35079
3436.68/3447.64 c #Conflicts: 1354000 | #Constraints: 36079
3436.68/3447.64 c #Conflicts: 1355000 | #Constraints: 37079
3436.68/3447.64 c #Conflicts: 1356000 | #Constraints: 38079
3436.68/3447.64 c #Conflicts: 1357000 | #Constraints: 39079
3436.68/3447.64 c #Conflicts: 1358000 | #Constraints: 40079
3436.68/3447.64 c #Conflicts: 1359000 | #Constraints: 41079
3436.68/3447.64 c #Conflicts: 1360000 | #Constraints: 42079
3436.68/3447.64 c #Conflicts: 1361000 | #Constraints: 43079
3436.68/3447.64 c #Conflicts: 1362000 | #Constraints: 44079
3436.68/3447.64 c #Conflicts: 1363000 | #Constraints: 45079
3436.68/3447.64 c #Conflicts: 1364000 | #Constraints: 46079
3436.68/3447.64 c #Conflicts: 1365000 | #Constraints: 47079
3436.68/3447.64 c #Conflicts: 1366000 | #Constraints: 48079
3436.68/3447.64 c #Conflicts: 1367000 | #Constraints: 49079
3436.68/3447.64 c #Conflicts: 1368000 | #Constraints: 50079
3436.68/3447.64 c #Conflicts: 1369000 | #Constraints: 51079
3436.68/3447.64 c #Conflicts: 1370000 | #Constraints: 52079
3436.68/3447.64 c #Conflicts: 1371000 | #Constraints: 53079
3436.68/3447.64 c INPROCESSING
3436.68/3447.64 c GARBAGE COLLECT
3436.68/3447.64 c #Conflicts: 1372000 | #Constraints: 30876
3436.68/3447.64 c #Conflicts: 1373000 | #Constraints: 31876
3436.68/3447.64 c #Conflicts: 1374000 | #Constraints: 32876
3436.68/3447.64 c #Conflicts: 1375000 | #Constraints: 33876
3436.68/3447.64 c #Conflicts: 1376000 | #Constraints: 34876
3436.68/3447.64 c #Conflicts: 1377000 | #Constraints: 35876
3436.68/3447.64 c #Conflicts: 1378000 | #Constraints: 36876
3436.68/3447.64 c #Conflicts: 1379000 | #Constraints: 37876
3436.68/3447.64 c #Conflicts: 1380000 | #Constraints: 38876
3436.68/3447.64 c #Conflicts: 1381000 | #Constraints: 39876
3436.68/3447.64 c #Conflicts: 1382000 | #Constraints: 40876
3436.68/3447.64 c #Conflicts: 1383000 | #Constraints: 41876
3436.68/3447.64 c #Conflicts: 1384000 | #Constraints: 42876
3436.68/3447.64 c #Conflicts: 1385000 | #Constraints: 43876
3436.68/3447.64 c #Conflicts: 1386000 | #Constraints: 44876
3436.68/3447.64 c #Conflicts: 1387000 | #Constraints: 45876
3436.68/3447.64 c #Conflicts: 1388000 | #Constraints: 46876
3436.68/3447.64 c #Conflicts: 1389000 | #Constraints: 47876
3436.68/3447.64 c #Conflicts: 1390000 | #Constraints: 48876
3436.68/3447.64 c #Conflicts: 1391000 | #Constraints: 49876
3436.68/3447.64 c #Conflicts: 1392000 | #Constraints: 50876
3436.68/3447.64 c #Conflicts: 1393000 | #Constraints: 51876
3436.68/3447.64 c #Conflicts: 1394000 | #Constraints: 52876
3436.68/3447.64 c #Conflicts: 1395000 | #Constraints: 53876
3436.68/3447.64 c INPROCESSING
3436.68/3447.64 c GARBAGE COLLECT
3436.68/3447.64 c #Conflicts: 1396000 | #Constraints: 31474
3436.68/3447.64 c #Conflicts: 1397000 | #Constraints: 32474
3600.04/3611.42 c #Conflicts: 1398000 | #Constraints: 33474
3600.04/3611.42 c #Conflicts: 1399000 | #Constraints: 34474
3600.04/3611.42 c #Conflicts: 1400000 | #Constraints: 35474
3600.04/3611.42 c #Conflicts: 1401000 | #Constraints: 36474
3600.04/3611.42 c #Conflicts: 1402000 | #Constraints: 37474
3600.04/3611.42 c #Conflicts: 1403000 | #Constraints: 38474
3600.04/3611.42 c #Conflicts: 1404000 | #Constraints: 39474
3600.04/3611.42 c #Conflicts: 1405000 | #Constraints: 40474
3600.04/3611.42 c #Conflicts: 1406000 | #Constraints: 41474
3600.04/3611.42 c #Conflicts: 1407000 | #Constraints: 42474
3600.04/3611.42 c #Conflicts: 1408000 | #Constraints: 43474
3600.04/3611.42 c #Conflicts: 1409000 | #Constraints: 44474
3600.04/3611.42 c #Conflicts: 1410000 | #Constraints: 45474
3600.04/3611.42 c #Conflicts: 1411000 | #Constraints: 46474
3600.04/3611.42 c #Conflicts: 1412000 | #Constraints: 47474
3600.04/3611.42 c #Conflicts: 1413000 | #Constraints: 48474
3600.04/3611.42 c #Conflicts: 1414000 | #Constraints: 49474
3600.04/3611.42 c #Conflicts: 1415000 | #Constraints: 50474
3600.04/3611.42 c #Conflicts: 1416000 | #Constraints: 51474
3600.04/3611.42 c #Conflicts: 1417000 | #Constraints: 52474
3600.04/3611.42 c #Conflicts: 1418000 | #Constraints: 53474
3600.04/3611.42 c #Conflicts: 1419000 | #Constraints: 54474
3600.04/3611.42 c INPROCESSING
3600.04/3611.42 c GARBAGE COLLECT
3600.04/3611.42 c #Conflicts: 1420000 | #Constraints: 31875
3600.04/3611.42 c #Conflicts: 1421000 | #Constraints: 32875
3600.04/3611.42 c #Conflicts: 1422000 | #Constraints: 33875
3600.04/3611.42 c #Conflicts: 1423000 | #Constraints: 34875
3600.04/3611.42 c #Conflicts: 1424000 | #Constraints: 35875
3600.04/3611.42 c #Conflicts: 1425000 | #Constraints: 36875
3600.04/3611.42 c #Conflicts: 1426000 | #Constraints: 37875
3600.04/3611.42 c #Conflicts: 1427000 | #Constraints: 38875
3600.04/3611.42 c #Conflicts: 1428000 | #Constraints: 39875
3600.04/3611.42 c #Conflicts: 1429000 | #Constraints: 40875
3600.04/3611.42 c #Conflicts: 1430000 | #Constraints: 41875
3600.04/3611.42 c #Conflicts: 1431000 | #Constraints: 42875
3600.04/3611.42 c #Conflicts: 1432000 | #Constraints: 43875
3600.04/3611.42 c #Conflicts: 1433000 | #Constraints: 44875
3600.04/3611.42 c #Conflicts: 1434000 | #Constraints: 45875
3600.04/3611.42 c #Conflicts: 1435000 | #Constraints: 46875
3600.04/3611.42 c #Conflicts: 1436000 | #Constraints: 47875
3600.04/3611.42 c #Conflicts: 1437000 | #Constraints: 48875
3600.04/3611.42 c #Conflicts: 1438000 | #Constraints: 49875
3600.04/3611.42 c #Conflicts: 1439000 | #Constraints: 50875
3600.04/3611.42 c #Conflicts: 1440000 | #Constraints: 51875
3600.04/3611.42 c #Conflicts: 1441000 | #Constraints: 52876
3600.04/3611.42 c #Conflicts: 1442000 | #Constraints: 53876
3600.04/3611.42 c #Conflicts: 1443000 | #Constraints: 54876
3600.04/3611.42 c INPROCESSING
3600.04/3611.42 c GARBAGE COLLECT
3600.04/3611.42 c #Conflicts: 1444000 | #Constraints: 25562
3600.04/3611.42 c #Conflicts: 1445000 | #Constraints: 26562
3600.04/3611.42 c #Conflicts: 1446000 | #Constraints: 27562
3600.04/3611.42 c #Conflicts: 1447000 | #Constraints: 28562
3600.04/3611.42 c #Conflicts: 1448000 | #Constraints: 29562
3600.04/3611.42 c #Conflicts: 1449000 | #Constraints: 30562
3600.04/3611.42 c #Conflicts: 1450000 | #Constraints: 31562
3600.04/3611.42 c #Conflicts: 1451000 | #Constraints: 32562
3600.04/3611.42 c #Conflicts: 1452000 | #Constraints: 33562
3600.04/3611.42 c #Conflicts: 1453000 | #Constraints: 34562
3600.04/3611.42 c #Conflicts: 1454000 | #Constraints: 35562
3600.04/3611.42 c #Conflicts: 1455000 | #Constraints: 36562
3600.04/3611.42 c #Conflicts: 1456000 | #Constraints: 37562
3600.04/3611.42 c #Conflicts: 1457000 | #Constraints: 38562
3600.04/3611.42 c #Conflicts: 1458000 | #Constraints: 39562
3600.04/3611.42 c #Conflicts: 1459000 | #Constraints: 40562
3600.04/3611.42 c #Conflicts: 1460000 | #Constraints: 41562
3600.04/3611.42 c #Conflicts: 1461000 | #Constraints: 42562
3600.04/3611.42 c #Conflicts: 1462000 | #Constraints: 43562
3600.04/3611.42 c #Conflicts: 1463000 | #Constraints: 44562
3600.04/3611.42 c #Conflicts: 1464000 | #Constraints: 45562
3600.04/3611.42 c #Conflicts: 1465000 | #Constraints: 46562
3600.04/3611.42 c #Conflicts: 1466000 | #Constraints: 47562
3600.04/3611.42 c #Conflicts: 1467000 | #Constraints: 48562
3600.04/3611.42 c INPROCESSING
3600.04/3611.42 c GARBAGE COLLECT
3600.04/3611.42 c Disabling crashed LP
3600.04/3611.42 c cpu time 3568.36 s
3600.04/3611.42 c deterministic time 232380044543 2.32e+11
3600.04/3611.42 c optimization time 26.7988 s
3600.04/3611.42 c total solve time 3540.51 s
3600.04/3611.42 c core-guided solve time 1842.05 s
3600.04/3611.42 c propagation time 1887.19 s
3600.04/3611.42 c conflict analysis time 195.671 s
3600.04/3611.42 c propagations 28361767
3600.04/3611.42 c resolve steps 4406622
3600.04/3611.42 c decisions 6396876
3600.04/3611.42 c conflicts 1467200
3600.04/3611.42 c restarts 2843
3600.04/3611.42 c inprocessing phases 112
3600.04/3611.42 c garbage collections 112 ,( 100.00 )
3600.04/3611.42 c input clauses 3250 ,( 39.03 )
3600.04/3611.42 c input cardinalities 601 ,( 7.22 )
3600.04/3611.42 c input general constraints 4476 ,( 53.75 )
3600.04/3611.42 c input average constraint length 259.23
3600.04/3611.42 c input average constraint degree 33007701496170.45
3600.04/3611.42 c learned clauses 736438 ,( 50.19 )
3600.04/3611.42 c learned cardinalities 100 ,( 0.01 )
3600.04/3611.42 c learned general constraints 730709 ,( 49.80 )
3600.04/3611.42 c learned average constraint length 88.53
3600.04/3611.42 c learned average constraint degree 510309314.34
3600.04/3611.42 c watched CF 32, 64, 128, Arb: 180712 , 0 , 0 , 0
3600.04/3611.42 c counting CF 32, 64, 128, Arb: 551264 , 3210 , 0 , 0
3600.04/3611.42 c watched constraints 180712 ,( 24.58 )
3600.04/3611.42 c counting constraints 554473 ,( 75.42 )
3600.04/3611.42 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 45727102 , 981119 , 12793574100 ,( 62280835 , 12731293265 )
3600.04/3611.42 c gcd simplifications 848754
3600.04/3611.42 c detected cardinalities 423
3600.04/3611.42 c weakened non-implied lits 10667090
3600.04/3611.42 c weakened non-implying lits 2159671
3600.04/3611.42 c original variables 155191
3600.04/3611.42 c clausal propagations 467972
3600.04/3611.42 c cardinality propagations 204642
3600.04/3611.42 c watched propagations 557490
3600.04/3611.42 c counting propagations 25057982
3600.04/3611.42 c watch lookups 14230600144
3600.04/3611.42 c watch backjump lookups 0
3600.04/3611.42 c watch checks 1473676715
3600.04/3611.42 c propagation checks 215699794474
3600.04/3611.42 c constraint additions 902111385
3600.04/3611.42 c trail pops 36150317
3600.04/3611.42 c formula constraints 7579
3600.04/3611.42 c learned constraints 1467203
3600.04/3611.42 c bound constraints 149
3600.04/3611.42 c core-guided constraints 599
3600.04/3611.42 c encountered formula constraints 3504776
3600.04/3611.42 c encountered learned constraints 2212336
3600.04/3611.42 c encountered bound constraints 0
3600.04/3611.42 c encountered core-guided constraints 139616
3600.04/3611.42 c LP total time 2599.24 s
3600.04/3611.42 c LP solve time 2597.98 s
3600.04/3611.42 c LP constraints added 7579
3600.04/3611.42 c LP constraints removed 0
3600.04/3611.42 c LP pivots internal 1488021
3600.04/3611.42 c LP pivots root 1464843
3600.04/3611.42 c LP calls 116
3600.04/3611.42 c LP optimalities 0
3600.04/3611.42 c LP no pivot count 0
3600.04/3611.42 c LP infeasibilities 50
3600.04/3611.42 c LP valid Farkas constraints 23
3600.04/3611.42 c LP learned Farkas constraints 21
3600.04/3611.42 c LP basis resets 69
3600.04/3611.42 c LP cycling count 0
3600.04/3611.42 c LP singular count 59
3600.04/3611.42 c LP no primal count 0
3600.04/3611.42 c LP no farkas count 10
3600.04/3611.42 c LP other issue count 0
3600.04/3611.42 c LP Gomory cuts 0
3600.04/3611.42 c LP learned cuts 0
3600.04/3611.42 c LP deleted cuts 0
3600.04/3611.42 c LP encountered Gomory constraints 0
3600.04/3611.42 c LP encountered Farkas constraints 17069
3600.04/3611.42 c LP encountered learned Farkas constraints 4
3600.04/3611.42 c CG auxiliary variables introduced 247
3600.04/3611.42 c CG solutions found 0
3600.04/3611.42 c CG cores constructed 149
3600.04/3611.42 c CG core cardinality constraints returned 2
3600.04/3611.42 c CG unit cores 5
3600.04/3611.42 c CG single cores 137
3600.04/3611.42 c CG blocks removed during cardinality reduction 214
3600.04/3611.42 c CG first core best 0
3600.04/3611.42 c CG decision core best 5
3600.04/3611.42 c CG core reduction tie 2
3600.04/3611.42 c CG core degree average 1.01
3600.04/3611.42 c CG core slack average 5.35
3600.04/3611.42 c CG core upper bound improvements 0
3600.04/3611.42 c STR number of successful calls 0
3600.04/3611.42 c STR number of unsuccessful calls 0
3600.04/3611.42 c STR number of inconclusive calls 0
3600.04/3611.42 c STR number of successful attempts 0
3600.04/3611.42 c STR number of unsuccessful attempts 0
3600.04/3611.42 c STR number of inconclusive attempts 0
3600.04/3611.42 c STR average degree increase per successful call inf
3600.04/3611.42 c STR average degree increase per successful attempt inf
3600.04/3611.42 c STR total number of conflicts for successful attempts 0
3600.04/3611.42 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.42 c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.42 c STR average number of conflicts per successful attempt inf
3600.04/3611.42 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.42 c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.42 c AVG.sumWPerc 73.56
3600.04/3611.42 c bigint constraints 3210
3600.04/3611.42 s UNKNOWN
3600.04/3611.42 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 (28476 MiB free)
memory of node 1: 64507 MiB (63516 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485737-1751308607/watcher-4485737-1751308607 -o /tmp/evaluation-result-4485737-1751308607/solver-4485737-1751308607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751301353-38985 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4485737-1751308607.opb PROOFDIR/proof-4485737-1751308607
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39873, runsolver pid=39870
[startup+0.100065 s]*
/proc/loadavg: 4.27 4.15 4.15 5/268 39875
/proc/meminfo: memFree=94172316/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46540643 4292608 736 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 736 672 219 0 110 0
[pid=39875] ppid=39873 vsize=42556 memory=33200 CPUtime=0.09 cores=5,7
/proc/39875/stat : 39875 (pbsuma) R 39873 39873 38972 0 -1 4194304 7818 0 0 0 8 1 0 0 20 0 1 0 46540644 43577344 8300 18446744073709551615 4210688 4653049 140723150307632 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31784960 140723150309603 140723150309938 140723150309938 140723150315503 0
/proc/39875/statm: 10639 8300 960 108 0 8047 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46748 KiB
Current children cumulated memory: 36144 KiB
[startup+0.20582 s]*
/proc/loadavg: 4.27 4.15 4.15 4/268 39884
/proc/meminfo: memFree=94179348/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46540643 4292608 736 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 736 672 219 0 110 0
[pid=39875] ppid=39873 vsize=132200 memory=115832 CPUtime=0.19 cores=5,7
/proc/39875/stat : 39875 (pbsuma) R 39873 39873 38972 0 -1 4194304 14243 0 0 0 16 3 0 0 20 0 1 0 46540644 135372800 28958 18446744073709551615 4210688 4653049 140723150307632 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31784960 140723150309603 140723150309938 140723150309938 140723150315503 0
/proc/39875/statm: 33050 28958 1024 108 0 30458 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 136392 KiB
Current children cumulated memory: 118776 KiB
[startup+0.305912 s]*
/proc/loadavg: 4.27 4.15 4.15 5/265 39887
/proc/meminfo: memFree=94166304/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46540643 4292608 736 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 736 672 219 0 110 0
[pid=39875] ppid=39873 vsize=204108 memory=179160 CPUtime=0.29 cores=5,7
/proc/39875/stat : 39875 (pbsuma) R 39873 39873 38972 0 -1 4194304 19347 0 0 0 25 4 0 0 20 0 1 0 46540644 209006592 44790 18446744073709551615 4210688 4653049 140723150307632 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31784960 140723150309603 140723150309938 140723150309938 140723150315503 0
/proc/39875/statm: 51027 44790 1024 108 0 48435 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 208300 KiB
Current children cumulated memory: 182104 KiB
[startup+0.700215 s]
/proc/loadavg: 4.27 4.15 4.15 5/265 39887
/proc/meminfo: memFree=94145600/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46540643 4292608 736 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 736 672 219 0 110 0
[pid=39875] ppid=39873 vsize=510188 memory=362752 CPUtime=0.68 cores=5,7
/proc/39875/stat : 39875 (pbsuma) R 39873 39873 38972 0 -1 4194304 38875 0 0 0 57 11 0 0 20 0 1 0 46540644 522432512 90688 18446744073709551615 4210688 4653049 140723150307632 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31784960 140723150309603 140723150309938 140723150309938 140723150315503 0
/proc/39875/statm: 127547 90688 1024 108 0 124955 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 514380 KiB
Current children cumulated memory: 365696 KiB
[startup+1.5002 s]
/proc/loadavg: 4.27 4.15 4.15 5/265 39888
/proc/meminfo: memFree=103379360/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=147708 memory=100868 CPUtime=0.6 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 18354 0 0 0 56 4 0 0 20 0 1 0 46540732 151252992 25217 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 36927 25217 2048 1147 0 24354 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 151900 KiB
Current children cumulated memory: 103940 KiB
[startup+3.10563 s]
/proc/loadavg: 4.25 4.15 4.15 5/271 39908
/proc/meminfo: memFree=129361108/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=224760 memory=180476 CPUtime=2.19 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 37865 0 0 0 210 9 0 0 20 0 1 0 46540732 230154240 45119 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 56190 45119 2336 1147 0 43617 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 228952 KiB
Current children cumulated memory: 183548 KiB
[startup+6.3002 s]
/proc/loadavg: 4.25 4.15 4.15 5/271 39908
/proc/meminfo: memFree=128993420/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=224760 memory=180476 CPUtime=5.38 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 37866 0 0 0 529 9 0 0 20 0 1 0 46540732 230154240 45119 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 56190 45119 2336 1147 0 43617 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 228952 KiB
Current children cumulated memory: 183548 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.14 4.15 5/271 39908
/proc/meminfo: memFree=128850280/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=224760 memory=180476 CPUtime=11.76 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 37868 0 0 0 1167 9 0 0 20 0 1 0 46540732 230154240 45119 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 56190 45119 2336 1147 0 43617 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 228952 KiB
Current children cumulated memory: 183548 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.14 4.15 5/271 39909
/proc/meminfo: memFree=128574640/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=224760 memory=180476 CPUtime=24.53 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 37868 0 0 0 2444 9 0 0 20 0 1 0 46540732 230154240 45119 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 56190 45119 2336 1147 0 43617 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 228952 KiB
Current children cumulated memory: 183548 KiB
[startup+51.1056 s]
/proc/loadavg: 4.41 4.20 4.17 5/271 39910
/proc/meminfo: memFree=127536768/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=405572 memory=335780 CPUtime=50.06 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 55979 0 0 0 4965 41 0 0 20 0 1 0 46540732 415305728 83945 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 101393 83945 2432 1147 0 88820 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 409764 KiB
Current children cumulated memory: 338852 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.16 5/271 39912
/proc/meminfo: memFree=126033072/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=442952 memory=376164 CPUtime=101.09 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 61883 0 0 0 10030 79 0 0 20 0 1 0 46540732 453582848 94041 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 110738 94041 2496 1147 0 98165 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 447144 KiB
Current children cumulated memory: 379236 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.17 4.16 5/271 39914
/proc/meminfo: memFree=123864616/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=481604 memory=414964 CPUtime=160.83 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 66711 0 0 0 15935 148 0 0 20 0 1 0 46540732 493162496 103741 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 120401 103741 2496 1147 0 107828 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 485796 KiB
Current children cumulated memory: 418036 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.17 4.16 5/272 39923
/proc/meminfo: memFree=121991192/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=481604 memory=414964 CPUtime=220.66 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 66737 0 0 0 21868 198 0 0 20 0 1 0 46540732 493162496 103741 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 120401 103741 2496 1147 0 107828 0
################
# More data... #
################
/proc/39888/statm: 168641 155271 2528 1147 0 156068 0
Current children cumulated CPU time: 3032.98 s
Current children cumulated vsize: 678756 KiB
Current children cumulated memory: 624156 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/274 40078
/proc/meminfo: memFree=44743292/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=674564 memory=621084 CPUtime=3091.92 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 98135 0 0 0 306443 2749 0 0 20 0 1 0 46540732 690753536 155271 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 168641 155271 2528 1147 0 156068 0
Current children cumulated CPU time: 3092.79 s
Current children cumulated vsize: 678756 KiB
Current children cumulated memory: 624156 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.12 4.14 5/274 40080
/proc/meminfo: memFree=43674900/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=674564 memory=621084 CPUtime=3151.75 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 98135 0 0 0 312398 2777 0 0 20 0 1 0 46540732 690753536 155271 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 168641 155271 2528 1147 0 156068 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 678756 KiB
Current children cumulated memory: 624156 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.16 4.15 5/275 40088
/proc/meminfo: memFree=42184936/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=674564 memory=621084 CPUtime=3211.6 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 98135 0 0 0 318344 2816 0 0 20 0 1 0 46540732 690753536 155271 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 168641 155271 2528 1147 0 156068 0
Current children cumulated CPU time: 3212.47 s
Current children cumulated vsize: 678756 KiB
Current children cumulated memory: 624156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/276 40091
/proc/meminfo: memFree=40492456/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=674564 memory=621084 CPUtime=3271.44 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 98135 0 0 0 324299 2845 0 0 20 0 1 0 46540732 690753536 155271 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 168641 155271 2528 1147 0 156068 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 678756 KiB
Current children cumulated memory: 624156 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/276 40093
/proc/meminfo: memFree=39072348/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=674564 memory=621084 CPUtime=3331.28 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 98135 0 0 0 330246 2882 0 0 20 0 1 0 46540732 690753536 155271 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 168641 155271 2528 1147 0 156068 0
Current children cumulated CPU time: 3332.15 s
Current children cumulated vsize: 678756 KiB
Current children cumulated memory: 624156 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/276 40095
/proc/meminfo: memFree=36622452/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=674564 memory=621084 CPUtime=3391.12 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 98135 0 0 0 336189 2923 0 0 20 0 1 0 46540732 690753536 155271 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 168641 155271 2528 1147 0 156068 0
Current children cumulated CPU time: 3391.99 s
Current children cumulated vsize: 678756 KiB
Current children cumulated memory: 624156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/276 40097
/proc/meminfo: memFree=34271228/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=691716 memory=638236 CPUtime=3450.48 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 99366 0 0 0 342062 2986 0 0 20 0 1 0 46540732 708317184 159559 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 172929 159559 2528 1147 0 160356 0
Current children cumulated CPU time: 3451.35 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 641308 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/273 40099
/proc/meminfo: memFree=33567684/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=691716 memory=640324 CPUtime=3510.32 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 99485 0 0 0 348007 3025 0 0 20 0 1 0 46540732 708317184 160081 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 172929 160081 2528 1147 0 160356 0
Current children cumulated CPU time: 3511.19 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 643396 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/272 40101
/proc/meminfo: memFree=32378324/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=698092 memory=646596 CPUtime=3570.15 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 101209 0 0 0 353944 3071 0 0 20 0 1 0 46540732 714846208 161649 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 174523 161649 2528 1147 0 161950 0
Current children cumulated CPU time: 3571.02 s
Current children cumulated vsize: 702284 KiB
Current children cumulated memory: 649668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.11 4.10 4.11 3/265 40111
/proc/meminfo: memFree=36778896/131250000 swapFree=33010416/33010684
[pid=39873] ppid=39870 vsize=4192 memory=3072 CPUtime=0.87 cores=5,7
/proc/39873/stat : 39873 (run-opt-ls-log.) S 39870 39873 38972 0 -1 4194304 242 40753 0 0 0 0 74 13 20 0 1 0 46540643 4292608 768 18446744073709551615 93889597997056 93889598891589 140726349202992 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93889599130640 93889599178384 93889613058048 140726349207835 140726349208033 140726349208033 140726349213635 0
/proc/39873/statm: 1048 768 704 219 0 110 0
[pid=39888] ppid=39873 vsize=698416 memory=646852 CPUtime=3599.17 cores=5,7
/proc/39888/stat : 39888 (roundingsat) R 39873 39873 38972 0 -1 4194304 101290 0 0 0 356833 3084 0 0 20 0 1 0 46540732 715177984 161713 18446744073709551615 4227072 8923433 140727987518112 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42242048 140727987521782 140727987522088 140727987522088 140727987527658 0
/proc/39888/statm: 174604 161713 2528 1147 0 162031 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 702608 KiB
Current children cumulated memory: 649924 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.4 s]
# the end of solver process 39873 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.742556 s, system=0.133819 s
Sleeping 2 seconds
[startup+3611.47 s]
# the end of solver process 39888 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3569.14 s, system=30.9807 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
Child status: 2
Real time (s): 3611.47
CPU time (s): 3600.12
CPU user time (s): 3569.14
CPU system time (s): 30.9807
CPU usage (%): 99.6858
Max. virtual memory (cumulated for all children) (KiB): 702608
Max. memory (cumulated for all children) (KiB): 649924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.14
system time used= 30.9807
maximum resident set size= 646980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20218984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 311
involuntary context switches= 4709
# summary of solver processes directly reported to runsolver:
# pid: 39873,39888
# total CPU time (s): 3600.12
# total CPU user time (s): 3569.14
# total CPU system time (s): 30.9807
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80182 second user time and 17.0361 second system time
The end
Begin job on nodeC027 at 2025-06-30 20:36:48
IDJOB=4485737
IDBENCH=146868
IDSOLVER=3356
FILE ID=nodeC027/4485737-1751308607
RUNJOBID= nodeC027-1751301353-38985
SLURM_JOB_ID= 9594276
Free space on /tmp= 433008 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485737-1751308607/watcher-4485737-1751308607 -o /tmp/evaluation-result-4485737-1751308607/solver-4485737-1751308607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751301353-38985 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4485737-1751308607.opb PROOFDIR/proof-4485737-1751308607
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d021d78883fac2a7bf820bb220b2a7e2
RANDOM SEED=1531340873
nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.632
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.649
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3510.292
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3594.233
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.662
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3895.189
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3556.549
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.855
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 94205524 kB
MemAvailable: 129432392 kB
Buffers: 2488 kB
Cached: 35972124 kB
SwapCached: 12 kB
Active: 511204 kB
Inactive: 35667384 kB
Active(anon): 219592 kB
Inactive(anon): 2796 kB
Active(file): 291612 kB
Inactive(file): 35664588 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 96416 kB
Writeback: 4 kB
AnonPages: 207804 kB
Mapped: 113552 kB
Shmem: 18056 kB
KReclaimable: 219416 kB
Slab: 311320 kB
SReclaimable: 219416 kB
SUnreclaim: 91904 kB
KernelStack: 4336 kB
PageTables: 3520 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 535868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 40960 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432956 MiB
End job on nodeC027 at 2025-06-30 21:36:59