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-4485736-1751308990.opb'
0.30/0.39 c read 14.59MB (379.10ms)
0.30/0.39 c [cnf: #variables 155020 #clauses 2676 #duplicates 0 #arr 855173]
0.30/0.40 c
0.30/0.40 c make graph and approximate orbits
0.87/0.99 c [group: #orbits ~= 7832] (593.12ms)
0.87/0.99 c
0.87/0.99 c detect special group actions
0.87/0.99 c probe for Johnson action (limit=64)
0.87/1.00 c probe for row-column symmetry (limit=64, splits=16.78M)
0.98/1.02 c probe for row symmetry (limit=64, splits=16.78M)
0.98/1.04 c (51.62ms)
0.98/1.04 c
0.98/1.04 c detect symmetries on remainder
0.98/1.05 c [graph: #vertices 1144181 #edges 3683316]
0.98/1.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.17/1.29 c [group: #symmetries 1.15*10^1146 #generators 3759] (252.18ms)
1.17/1.29 c
1.17/1.29 c optimize generators (opt_passes=64, conjugate_limit=256)
1.17/1.29 c ran it=0, +gens=0
1.37/1.44 c con best_support=4, best_gens=3750, +gens=0
1.37/1.44 c (149.29ms)
1.37/1.44 c
1.37/1.44 c finalize break order and special generators
1.37/1.45 c
1.37/1.45 c add generic predicates (break_depth=20)
1.37/1.45 c added predicates for 3759 generators (0.77ms)
1.37/1.45 c
1.37/1.45 c generation finished
1.37/1.45 c [sbp: #constraints 4272 #add_vars 171]
1.37/1.46 c
1.37/1.46 c write result to 'HOME/instance-4485736-1751308990.opb.pre'
1.47/1.51 c wrote 14.73MB (45.00ms)
1.47/1.51 c ------------------------------------------------------------------
1.47/1.51 c 593.12ms 39.71% approx_orbits
1.47/1.51 c 379.10ms 25.38% parse
1.47/1.51 c 252.18ms 16.88% detect_generic
1.47/1.51 c 149.29ms 9.99% optimize_gens
1.47/1.51 c 51.62ms 3.46% detect_special
1.47/1.51 c 45.00ms 3.01% output
1.47/1.51 c 12.80ms 0.86% other
1.47/1.51 c 9.83ms 0.66% finalize_order
1.47/1.51 c 0.77ms 0.05% break_generic
1.47/1.51 c ───────────────────────────────────────────────
1.47/1.51 c 1493.72ms 100% total
1.47/1.51 c ------------------------------------------------------------------
1.47/1.53 c RoundingSat 2
1.47/1.53 c branch pb25
1.47/1.53 c commit 63f22ad
2.07/2.14 c #variables 155191 #constraints 7579
2.07/2.14 c objective is ce64
28.09/28.30 c initial watched CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
28.09/28.30 c initial counting CF 32, 64, 128, Arb: 1116 , 3061 , 0 , 0
28.09/28.30 c bounds - >= -6514339591161790 @ 26.6103
36.26/36.47 c #Conflicts: 1000 | #Constraints: 8578
36.26/36.47 c #Conflicts: 2000 | #Constraints: 9578
36.26/36.47 c INPROCESSING
36.26/36.47 c GARBAGE COLLECT
36.26/36.47 c bounds - >= -914338413869450 @ 34.6885
36.26/36.47 c bounds - >= -872194047277450 @ 34.691
36.26/36.48 c bounds - >= -851121863981450 @ 34.693
36.26/36.48 c bounds - >= -840585772333450 @ 34.6947
36.26/36.48 c bounds - >= -835217063213450 @ 34.6962
36.26/36.48 c bounds - >= -829949017389450 @ 34.6981
36.26/36.48 c bounds - >= -825754713389450 @ 34.7017
36.26/36.49 c bounds - >= -823657561389450 @ 34.7037
36.26/36.49 c bounds - >= -822271763347850 @ 34.7054
36.26/36.49 c bounds - >= -821858372745610 @ 34.7071
36.26/36.49 c bounds - >= -821709391067530 @ 34.7089
36.26/36.49 c bounds - >= -821560409389450 @ 34.7106
36.26/36.49 c bounds - >= -818876054829450 @ 34.7123
36.36/36.50 c bounds - >= -816242031917450 @ 34.7136
36.36/36.50 c bounds - >= -814899854637450 @ 34.716
36.36/36.50 c bounds - >= -813582843181450 @ 34.7181
36.36/36.50 c bounds - >= -812534267181450 @ 34.7199
36.36/36.51 c bounds - >= -811485691181450 @ 34.7217
36.36/36.51 c bounds - >= -810437115181450 @ 34.7237
36.36/36.51 c bounds - >= -809425784600970 @ 34.7266
36.36/36.51 c bounds - >= -808754695960970 @ 34.7287
36.36/36.51 c bounds - >= -808096190232970 @ 34.7308
36.36/36.52 c bounds - >= -807721722771850 @ 34.7335
36.36/36.52 c bounds - >= -807197434771850 @ 34.7355
36.36/36.52 c bounds - >= -806673146771850 @ 34.7375
36.36/36.52 c bounds - >= -806148858771850 @ 34.7394
36.36/36.52 c bounds - >= -805624570771850 @ 34.7414
36.36/36.53 c bounds - >= -805100282771850 @ 34.7435
36.36/36.53 c bounds - >= -804575994771850 @ 34.7456
36.36/36.53 c bounds - >= -804051706771850 @ 34.7481
36.36/36.53 c bounds - >= -803527418771850 @ 34.7509
36.36/36.54 c bounds - >= -802478842771850 @ 34.7532
36.36/36.54 c bounds - >= -801430266771850 @ 34.7552
36.36/36.54 c bounds - >= -800905978771850 @ 34.7574
36.36/36.54 c bounds - >= -800570434451850 @ 34.7596
36.36/36.55 c bounds - >= -800241181587850 @ 34.762
36.36/36.55 c bounds - >= -799979037587850 @ 34.7643
36.36/36.55 c bounds - >= -799716893587850 @ 34.7664
36.36/36.55 c bounds - >= -799454749587850 @ 34.7687
36.36/36.55 c bounds - >= -799192605587850 @ 34.771
36.36/36.56 c bounds - >= -798930461587850 @ 34.7722
36.36/36.56 c bounds - >= -798668317587850 @ 34.7745
36.36/36.56 c bounds - >= -798406173587850 @ 34.7767
36.36/36.56 c bounds - >= -798144029587850 @ 34.778
36.36/36.57 c bounds - >= -797881885587850 @ 34.7803
36.36/36.57 c bounds - >= -797619741587850 @ 34.7825
36.36/36.57 c bounds - >= -797357597587850 @ 34.7848
36.36/36.57 c bounds - >= -797095453587850 @ 34.7862
36.36/36.57 c bounds - >= -796833309587850 @ 34.7884
36.36/36.58 c bounds - >= -796571165587850 @ 34.7907
36.36/36.58 c bounds - >= -796309021587850 @ 34.793
36.36/36.58 c bounds - >= -796046877587850 @ 34.7954
36.36/36.58 c bounds - >= -795784733587850 @ 34.7977
36.36/36.59 c bounds - >= -795522589587850 @ 34.8001
36.36/36.59 c bounds - >= -795391391758730 @ 34.8029
36.36/36.59 c bounds - >= -795223619598730 @ 34.8048
36.36/36.60 c bounds - >= -795058993166730 @ 34.8074
36.45/36.60 c bounds - >= -794927921166730 @ 34.8101
36.45/36.60 c bounds - >= -794796849166730 @ 34.8129
36.45/36.60 c bounds - >= -794665777166730 @ 34.8156
36.45/36.61 c bounds - >= -794534705166730 @ 34.8181
36.45/36.61 c bounds - >= -794403633166730 @ 34.8205
36.45/36.62 c bounds - >= -794272561166730 @ 34.8256
36.45/36.62 c bounds - >= -794141489166730 @ 34.8295
36.45/36.62 c bounds - >= -794010417166730 @ 34.8323
36.45/36.63 c bounds - >= -793879345166730 @ 34.8349
36.45/36.63 c bounds - >= -793748273166730 @ 34.8376
36.45/36.63 c bounds - >= -793617201166730 @ 34.8403
36.45/36.63 c bounds - >= -793486129166730 @ 34.8419
36.45/36.64 c bounds - >= -793355057166730 @ 34.8445
36.45/36.64 c bounds - >= -793223985166730 @ 34.8471
36.45/36.64 c bounds - >= -793092913166730 @ 34.8497
36.45/36.64 c bounds - >= -792961841166730 @ 34.8523
36.45/36.65 c bounds - >= -792674783000970 @ 34.8564
36.45/36.65 c bounds - >= -792412639000970 @ 34.8586
36.45/36.65 c bounds - >= -792281567000970 @ 34.8611
36.45/36.66 c bounds - >= -792150495000970 @ 34.8638
36.45/36.66 c bounds - >= -792019423000970 @ 34.8653
36.45/36.66 c bounds - >= -791888351000970 @ 34.8669
36.45/36.66 c bounds - >= -791757279000970 @ 34.8694
36.45/36.67 c bounds - >= -791626207000970 @ 34.8721
36.45/36.67 c bounds - >= -791495135000970 @ 34.8737
36.45/36.67 c bounds - >= -791357226285450 @ 34.8772
36.45/36.68 c bounds - >= -791226028456330 @ 34.8814
36.45/36.68 c bounds - >= -791094956456330 @ 34.8837
38.05/38.23 c #Conflicts: 3000 | #Constraints: 8968
38.05/38.23 c #Conflicts: 4000 | #Constraints: 9968
38.05/38.23 c INPROCESSING
38.05/38.23 c GARBAGE COLLECT
38.05/38.23 c #Conflicts: 5000 | #Constraints: 9284
38.05/38.23 c #Conflicts: 6000 | #Constraints: 10284
38.05/38.23 c INPROCESSING
38.05/38.23 c GARBAGE COLLECT
38.05/38.23 c bounds - >= 14211411543670 @ 36.4017
38.15/38.38 c bounds - >= 274258259543670 @ 36.551
38.15/38.39 c bounds - >= 276355411543670 @ 36.553
38.15/38.39 c bounds - >= 277403987543670 @ 36.5543
38.15/38.39 c bounds - >= 277928275543670 @ 36.5579
38.15/38.39 c bounds - >= 278452563543670 @ 36.5604
38.86/39.06 c #Conflicts: 7000 | #Constraints: 9299
38.86/39.06 c bounds - >= 278640468362870 @ 37.2181
38.86/39.07 c bounds - >= 278825688827510 @ 37.2195
38.86/39.07 c bounds - >= 279463894124150 @ 37.2216
38.86/39.07 c bounds - >= 279650456766070 @ 37.2255
38.86/39.08 c bounds - >= 279842765604470 @ 37.228
48.03/48.24 c #Conflicts: 8000 | #Constraints: 10322
48.03/48.24 c #Conflicts: 9000 | #Constraints: 11322
48.03/48.24 c INPROCESSING
48.03/48.24 c GARBAGE COLLECT
48.03/48.24 c #Conflicts: 10000 | #Constraints: 9997
48.03/48.24 c #Conflicts: 11000 | #Constraints: 10997
48.03/48.24 c #Conflicts: 12000 | #Constraints: 11997
48.03/48.24 c INPROCESSING
48.03/48.24 c GARBAGE COLLECT
48.03/48.24 c bounds - >= 280367053604470 @ 46.2977
105.03/105.45 c #Conflicts: 13000 | #Constraints: 10447
105.03/105.45 c #Conflicts: 14000 | #Constraints: 11447
105.03/105.45 c #Conflicts: 15000 | #Constraints: 12447
105.03/105.45 c INPROCESSING
105.03/105.45 c GARBAGE COLLECT
105.03/105.45 c #Conflicts: 16000 | #Constraints: 10671
105.03/105.45 c #Conflicts: 17000 | #Constraints: 11671
105.03/105.45 c #Conflicts: 18000 | #Constraints: 12671
105.03/105.45 c INPROCESSING
105.03/105.45 c GARBAGE COLLECT
105.03/105.45 c #Conflicts: 19000 | #Constraints: 10685
105.03/105.45 c #Conflicts: 20000 | #Constraints: 11685
105.03/105.45 c #Conflicts: 21000 | #Constraints: 12685
105.03/105.45 c INPROCESSING
105.03/105.45 c GARBAGE COLLECT
105.03/105.45 c #Conflicts: 22000 | #Constraints: 10490
105.03/105.45 c #Conflicts: 23000 | #Constraints: 11490
105.03/105.45 c #Conflicts: 24000 | #Constraints: 12490
105.03/105.45 c #Conflicts: 25000 | #Constraints: 13490
105.03/105.45 c INPROCESSING
105.03/105.45 c GARBAGE COLLECT
105.03/105.45 c #Conflicts: 26000 | #Constraints: 11091
105.03/105.45 c #Conflicts: 27000 | #Constraints: 12091
105.03/105.45 c #Conflicts: 28000 | #Constraints: 13091
105.03/105.45 c #Conflicts: 29000 | #Constraints: 14091
105.03/105.45 c INPROCESSING
105.03/105.45 c GARBAGE COLLECT
105.03/105.45 c #Conflicts: 30000 | #Constraints: 11494
105.03/105.45 c #Conflicts: 31000 | #Constraints: 12494
105.03/105.45 c #Conflicts: 32000 | #Constraints: 13494
105.03/105.45 c #Conflicts: 33000 | #Constraints: 14494
105.03/105.45 c INPROCESSING
105.03/105.45 c GARBAGE COLLECT
105.03/105.45 c bounds - >= 280629197604470 @ 102.912
105.03/105.46 c bounds - >= 280760269604470 @ 102.92
105.03/105.47 c bounds - >= 280891341604470 @ 102.928
105.03/105.48 c bounds - >= 281022413604470 @ 102.937
105.03/105.48 c bounds - >= 281153485604470 @ 102.944
105.03/105.49 c bounds - >= 281284557604470 @ 102.952
105.12/105.50 c bounds - >= 281415629604470 @ 102.961
105.12/105.52 c bounds - >= 281546701604470 @ 102.977
105.12/105.53 c bounds - >= 281677773604470 @ 102.986
105.12/105.54 c bounds - >= 281808845604470 @ 102.998
105.12/105.56 c bounds - >= 281939917604470 @ 103.019
105.12/105.59 c bounds - >= 282070989604470 @ 103.044
105.23/105.64 c bounds - >= 282202061604470 @ 103.098
105.33/105.72 c bounds - >= 282333133604470 @ 103.175
105.64/106.04 c #Conflicts: 34000 | #Constraints: 11761
105.64/106.04 c bounds - >= 282478340408950 @ 103.48
106.82/107.22 c #Conflicts: 35000 | #Constraints: 12764
106.82/107.22 c #Conflicts: 36000 | #Constraints: 13764
106.82/107.22 c bounds - >= 282609412408950 @ 104.644
141.40/141.95 c #Conflicts: 37000 | #Constraints: 14767
141.40/141.95 c INPROCESSING
141.40/141.95 c GARBAGE COLLECT
141.40/141.95 c #Conflicts: 38000 | #Constraints: 11750
141.40/141.95 c #Conflicts: 39000 | #Constraints: 12750
141.40/141.95 c #Conflicts: 40000 | #Constraints: 13750
141.40/141.95 c #Conflicts: 41000 | #Constraints: 14750
141.40/141.95 c INPROCESSING
141.40/141.95 c GARBAGE COLLECT
141.40/141.95 c #Conflicts: 42000 | #Constraints: 11574
141.40/141.95 c #Conflicts: 43000 | #Constraints: 12574
141.40/141.95 c bounds - >= 282747551811190 @ 139.029
147.08/147.69 c #Conflicts: 44000 | #Constraints: 13577
147.08/147.69 c #Conflicts: 45000 | #Constraints: 14577
147.08/147.69 c #Conflicts: 46000 | #Constraints: 15577
147.08/147.69 c INPROCESSING
147.08/147.69 c GARBAGE COLLECT
147.08/147.69 c #Conflicts: 47000 | #Constraints: 12206
147.08/147.69 c #Conflicts: 48000 | #Constraints: 13206
147.08/147.69 c #Conflicts: 49000 | #Constraints: 14206
147.08/147.69 c #Conflicts: 50000 | #Constraints: 15206
147.08/147.69 c #Conflicts: 51000 | #Constraints: 16206
147.08/147.69 c INPROCESSING
147.08/147.69 c GARBAGE COLLECT
147.08/147.69 c #Conflicts: 52000 | #Constraints: 12626
147.08/147.69 c #Conflicts: 53000 | #Constraints: 13626
147.08/147.69 c #Conflicts: 54000 | #Constraints: 14626
147.08/147.69 c #Conflicts: 55000 | #Constraints: 15626
147.08/147.69 c #Conflicts: 56000 | #Constraints: 16626
147.08/147.69 c INPROCESSING
147.08/147.69 c GARBAGE COLLECT
147.08/147.69 c #Conflicts: 57000 | #Constraints: 12842
147.08/147.69 c #Conflicts: 58000 | #Constraints: 13843
147.08/147.69 c #Conflicts: 59000 | #Constraints: 14843
147.08/147.69 c #Conflicts: 60000 | #Constraints: 15843
147.08/147.69 c #Conflicts: 61000 | #Constraints: 16843
147.08/147.69 c INPROCESSING
147.08/147.69 c GARBAGE COLLECT
147.08/147.69 c #Conflicts: 62000 | #Constraints: 12848
147.08/147.69 c bounds - >= 283023369242230 @ 144.64
147.08/147.69 c bounds - >= 283154567071350 @ 144.644
147.18/147.70 c bounds - >= 283292475786870 @ 144.655
148.77/149.36 c #Conflicts: 63000 | #Constraints: 13866
148.77/149.36 c #Conflicts: 64000 | #Constraints: 14866
148.77/149.36 c bounds - >= 284844703811190 @ 146.279
148.77/149.36 c bounds - >= 285348355835510 @ 146.282
148.77/149.37 c bounds - >= 285624173266550 @ 146.284
148.77/149.37 c bounds - >= 285755371095670 @ 146.286
148.77/149.37 c bounds - >= 285893279811190 @ 146.289
209.67/210.41 c #Conflicts: 65000 | #Constraints: 15895
209.67/210.41 c #Conflicts: 66000 | #Constraints: 16895
209.67/210.41 c INPROCESSING
209.67/210.41 c GARBAGE COLLECT
209.67/210.41 c #Conflicts: 67000 | #Constraints: 12681
209.67/210.41 c #Conflicts: 68000 | #Constraints: 13681
209.67/210.41 c #Conflicts: 69000 | #Constraints: 14681
209.67/210.41 c #Conflicts: 70000 | #Constraints: 15681
209.67/210.41 c #Conflicts: 71000 | #Constraints: 16681
209.67/210.41 c #Conflicts: 72000 | #Constraints: 17682
209.67/210.41 c INPROCESSING
209.67/210.41 c GARBAGE COLLECT
209.67/210.41 c #Conflicts: 73000 | #Constraints: 13263
209.67/210.41 c #Conflicts: 74000 | #Constraints: 14263
209.67/210.41 c #Conflicts: 75000 | #Constraints: 15263
209.67/210.41 c #Conflicts: 76000 | #Constraints: 16263
209.67/210.41 c #Conflicts: 77000 | #Constraints: 17263
209.67/210.41 c #Conflicts: 78000 | #Constraints: 18263
209.67/210.41 c INPROCESSING
209.67/210.41 c GARBAGE COLLECT
209.67/210.41 c #Conflicts: 79000 | #Constraints: 13647
209.67/210.41 c #Conflicts: 80000 | #Constraints: 14647
209.67/210.41 c #Conflicts: 81000 | #Constraints: 15647
209.67/210.41 c #Conflicts: 82000 | #Constraints: 16647
209.67/210.41 c #Conflicts: 83000 | #Constraints: 17647
209.67/210.41 c #Conflicts: 84000 | #Constraints: 18647
209.67/210.41 c INPROCESSING
209.67/210.41 c GARBAGE COLLECT
209.67/210.41 c #Conflicts: 85000 | #Constraints: 13843
209.67/210.41 c #Conflicts: 86000 | #Constraints: 14843
209.67/210.41 c #Conflicts: 87000 | #Constraints: 15843
209.67/210.41 c #Conflicts: 88000 | #Constraints: 16843
209.67/210.41 c #Conflicts: 89000 | #Constraints: 17843
209.67/210.41 c #Conflicts: 90000 | #Constraints: 18843
209.67/210.41 c INPROCESSING
209.67/210.41 c GARBAGE COLLECT
209.67/210.41 c #Conflicts: 91000 | #Constraints: 13838
209.67/210.41 c #Conflicts: 92000 | #Constraints: 14838
209.67/210.41 c #Conflicts: 93000 | #Constraints: 15838
209.67/210.41 c #Conflicts: 94000 | #Constraints: 16838
209.67/210.41 c #Conflicts: 95000 | #Constraints: 17838
209.67/210.41 c #Conflicts: 96000 | #Constraints: 18838
209.67/210.41 c INPROCESSING
209.67/210.41 c GARBAGE COLLECT
209.67/210.41 c #Conflicts: 97000 | #Constraints: 13637
209.67/210.41 c #Conflicts: 98000 | #Constraints: 14637
209.67/210.41 c #Conflicts: 99000 | #Constraints: 15637
209.67/210.41 c #Conflicts: 100000 | #Constraints: 16637
209.67/210.41 c bounds - >= 286155423811190 @ 206.69
209.67/210.42 c bounds - >= 286417567811190 @ 206.693
209.67/210.42 c bounds - >= 286548639811190 @ 206.697
259.31/260.28 c #Conflicts: 101000 | #Constraints: 17649
259.31/260.28 c #Conflicts: 102000 | #Constraints: 18649
259.31/260.28 c #Conflicts: 103000 | #Constraints: 19649
259.31/260.28 c INPROCESSING
259.31/260.28 c GARBAGE COLLECT
259.31/260.28 c #Conflicts: 104000 | #Constraints: 14115
259.31/260.28 c #Conflicts: 105000 | #Constraints: 15115
259.31/260.28 c #Conflicts: 106000 | #Constraints: 16115
259.31/260.28 c #Conflicts: 107000 | #Constraints: 17115
259.31/260.28 c #Conflicts: 108000 | #Constraints: 18115
259.31/260.28 c #Conflicts: 109000 | #Constraints: 19115
259.31/260.28 c bounds - >= 286810783811190 @ 256.113
259.31/260.28 c bounds - >= 287072927811190 @ 256.116
259.70/260.66 c #Conflicts: 110000 | #Constraints: 20124
259.70/260.66 c INPROCESSING
259.70/260.66 c GARBAGE COLLECT
259.70/260.66 c #Conflicts: 111000 | #Constraints: 14587
259.70/260.66 c #Conflicts: 112000 | #Constraints: 15587
259.70/260.66 c bounds - >= 287203999811190 @ 256.479
259.70/260.67 c bounds - >= 287335071811190 @ 256.489
259.81/260.70 c bounds - >= 287466143811190 @ 256.514
259.81/260.72 c bounds - >= 287597215811190 @ 256.529
259.81/260.75 c bounds - >= 287728287811190 @ 256.557
259.81/260.78 c bounds - >= 287859359811190 @ 256.591
259.90/260.84 c bounds - >= 287990431811190 @ 256.643
259.90/260.88 c bounds - >= 288121503811190 @ 256.685
260.00/260.96 c #Conflicts: 113000 | #Constraints: 16701
260.00/260.96 c bounds - >= 288252575811190 @ 256.767
260.12/261.04 c bounds - >= 288383647811190 @ 256.841
260.22/261.16 c #Conflicts: 114000 | #Constraints: 17743
260.22/261.16 c bounds - >= 288514719811190 @ 256.958
260.41/261.37 c bounds - >= 288645791811190 @ 257.159
260.70/261.62 c #Conflicts: 115000 | #Constraints: 18779
260.70/261.62 c bounds - >= 288776863811190 @ 257.401
260.90/261.89 c #Conflicts: 116000 | #Constraints: 19797
260.90/261.89 c bounds - >= 288907935811190 @ 257.664
261.40/262.39 c #Conflicts: 117000 | #Constraints: 20815
261.40/262.39 c INPROCESSING
261.40/262.39 c GARBAGE COLLECT
261.40/262.39 c #Conflicts: 118000 | #Constraints: 14991
261.40/262.39 c bounds - >= 289039007811190 @ 258.15
262.49/263.43 c #Conflicts: 119000 | #Constraints: 16015
262.49/263.43 c #Conflicts: 120000 | #Constraints: 17015
262.49/263.43 c #Conflicts: 121000 | #Constraints: 18015
262.49/263.43 c #Conflicts: 122000 | #Constraints: 19015
262.49/263.43 c bounds - >= 289170079811190 @ 259.166
266.38/267.36 c #Conflicts: 123000 | #Constraints: 20033
266.38/267.36 c #Conflicts: 124000 | #Constraints: 21033
266.38/267.36 c INPROCESSING
266.38/267.36 c GARBAGE COLLECT
266.38/267.36 c #Conflicts: 125000 | #Constraints: 15021
266.38/267.36 c #Conflicts: 126000 | #Constraints: 16022
266.38/267.36 c bounds - >= 289301151811190 @ 263.036
267.58/268.57 c #Conflicts: 127000 | #Constraints: 17037
267.58/268.57 c #Conflicts: 128000 | #Constraints: 18037
267.58/268.57 c #Conflicts: 129000 | #Constraints: 19037
267.58/268.57 c bounds - >= 289432223811190 @ 264.231
485.73/487.45 c #Conflicts: 130000 | #Constraints: 20055
485.73/487.45 c #Conflicts: 131000 | #Constraints: 21055
485.73/487.45 c INPROCESSING
485.73/487.45 c GARBAGE COLLECT
485.73/487.45 c #Conflicts: 132000 | #Constraints: 14671
485.73/487.45 c #Conflicts: 133000 | #Constraints: 15671
485.73/487.45 c #Conflicts: 134000 | #Constraints: 16671
485.73/487.45 c #Conflicts: 135000 | #Constraints: 17672
485.73/487.45 c #Conflicts: 136000 | #Constraints: 18672
485.73/487.45 c #Conflicts: 137000 | #Constraints: 19672
485.73/487.45 c #Conflicts: 138000 | #Constraints: 20674
485.73/487.45 c #Conflicts: 139000 | #Constraints: 21674
485.73/487.45 c INPROCESSING
485.73/487.45 c GARBAGE COLLECT
485.73/487.45 c #Conflicts: 140000 | #Constraints: 15367
485.73/487.45 c #Conflicts: 141000 | #Constraints: 16367
485.73/487.45 c #Conflicts: 142000 | #Constraints: 17367
485.73/487.45 c #Conflicts: 143000 | #Constraints: 18367
485.73/487.45 c #Conflicts: 144000 | #Constraints: 19367
485.73/487.45 c #Conflicts: 145000 | #Constraints: 20367
485.73/487.45 c #Conflicts: 146000 | #Constraints: 21367
485.73/487.45 c #Conflicts: 147000 | #Constraints: 22367
485.73/487.45 c INPROCESSING
485.73/487.45 c GARBAGE COLLECT
485.73/487.45 c #Conflicts: 148000 | #Constraints: 15812
485.73/487.45 c #Conflicts: 149000 | #Constraints: 16812
485.73/487.45 c #Conflicts: 150000 | #Constraints: 17812
485.73/487.45 c #Conflicts: 151000 | #Constraints: 18812
485.73/487.45 c #Conflicts: 152000 | #Constraints: 19812
485.73/487.45 c #Conflicts: 153000 | #Constraints: 20812
485.73/487.45 c #Conflicts: 154000 | #Constraints: 21812
485.73/487.45 c #Conflicts: 155000 | #Constraints: 22812
485.73/487.45 c INPROCESSING
485.73/487.45 c GARBAGE COLLECT
485.73/487.45 c #Conflicts: 156000 | #Constraints: 16032
485.73/487.45 c #Conflicts: 157000 | #Constraints: 17032
485.73/487.45 c #Conflicts: 158000 | #Constraints: 18032
485.73/487.45 c #Conflicts: 159000 | #Constraints: 19032
485.73/487.45 c #Conflicts: 160000 | #Constraints: 20032
485.73/487.45 c #Conflicts: 161000 | #Constraints: 21032
485.73/487.45 c #Conflicts: 162000 | #Constraints: 22032
485.73/487.45 c #Conflicts: 163000 | #Constraints: 23032
485.73/487.45 c INPROCESSING
485.73/487.45 c GARBAGE COLLECT
485.73/487.45 c #Conflicts: 164000 | #Constraints: 16044
485.73/487.45 c #Conflicts: 165000 | #Constraints: 17044
485.73/487.45 c #Conflicts: 166000 | #Constraints: 18044
485.73/487.45 c #Conflicts: 167000 | #Constraints: 19044
485.73/487.45 c #Conflicts: 168000 | #Constraints: 20044
485.73/487.45 c #Conflicts: 169000 | #Constraints: 21044
485.73/487.45 c #Conflicts: 170000 | #Constraints: 22044
485.73/487.45 c #Conflicts: 171000 | #Constraints: 23044
485.73/487.45 c INPROCESSING
485.73/487.45 c GARBAGE COLLECT
485.73/487.45 c #Conflicts: 172000 | #Constraints: 15854
485.73/487.45 c #Conflicts: 173000 | #Constraints: 16854
485.73/487.45 c #Conflicts: 174000 | #Constraints: 17854
485.73/487.45 c #Conflicts: 175000 | #Constraints: 18854
485.73/487.45 c #Conflicts: 176000 | #Constraints: 19854
485.73/487.45 c #Conflicts: 177000 | #Constraints: 20854
485.73/487.45 c #Conflicts: 178000 | #Constraints: 21854
485.73/487.45 c #Conflicts: 179000 | #Constraints: 22854
485.73/487.45 c #Conflicts: 180000 | #Constraints: 23854
485.73/487.45 c INPROCESSING
485.73/487.45 c GARBAGE COLLECT
485.73/487.45 c #Conflicts: 181000 | #Constraints: 16459
485.73/487.45 c #Conflicts: 182000 | #Constraints: 17459
485.73/487.45 c #Conflicts: 183000 | #Constraints: 18459
485.73/487.45 c #Conflicts: 184000 | #Constraints: 19459
485.73/487.45 c #Conflicts: 185000 | #Constraints: 20459
485.73/487.45 c #Conflicts: 186000 | #Constraints: 21459
485.73/487.45 c #Conflicts: 187000 | #Constraints: 22459
485.73/487.45 c #Conflicts: 188000 | #Constraints: 23459
485.73/487.45 c #Conflicts: 189000 | #Constraints: 24459
485.73/487.45 c INPROCESSING
485.73/487.45 c GARBAGE COLLECT
485.73/487.45 c #Conflicts: 190000 | #Constraints: 16863
485.73/487.45 c #Conflicts: 191000 | #Constraints: 17863
485.73/487.45 c #Conflicts: 192000 | #Constraints: 18863
485.73/487.45 c #Conflicts: 193000 | #Constraints: 19863
485.73/487.45 c #Conflicts: 194000 | #Constraints: 20863
485.73/487.45 c #Conflicts: 195000 | #Constraints: 21863
485.73/487.45 c #Conflicts: 196000 | #Constraints: 22863
485.73/487.45 c #Conflicts: 197000 | #Constraints: 23863
485.73/487.45 c #Conflicts: 198000 | #Constraints: 24863
485.73/487.45 c INPROCESSING
485.73/487.45 c GARBAGE COLLECT
485.73/487.45 c #Conflicts: 199000 | #Constraints: 17066
485.73/487.45 c #Conflicts: 200000 | #Constraints: 18066
485.73/487.45 c #Conflicts: 201000 | #Constraints: 19066
485.73/487.45 c #Conflicts: 202000 | #Constraints: 20066
485.73/487.45 c #Conflicts: 203000 | #Constraints: 21066
599.08/601.18 c #Conflicts: 204000 | #Constraints: 22066
599.08/601.18 c #Conflicts: 205000 | #Constraints: 23066
599.08/601.18 c #Conflicts: 206000 | #Constraints: 24066
599.08/601.18 c #Conflicts: 207000 | #Constraints: 25066
599.08/601.18 c INPROCESSING
599.08/601.18 c GARBAGE COLLECT
599.08/601.18 c #Conflicts: 208000 | #Constraints: 17068
599.08/601.18 c #Conflicts: 209000 | #Constraints: 18068
599.08/601.18 c #Conflicts: 210000 | #Constraints: 19068
599.08/601.18 c #Conflicts: 211000 | #Constraints: 20068
599.08/601.18 c #Conflicts: 212000 | #Constraints: 21068
599.08/601.18 c #Conflicts: 213000 | #Constraints: 22068
599.08/601.18 c #Conflicts: 214000 | #Constraints: 23068
599.08/601.18 c #Conflicts: 215000 | #Constraints: 24068
599.08/601.18 c #Conflicts: 216000 | #Constraints: 25068
599.08/601.18 c INPROCESSING
599.08/601.18 c GARBAGE COLLECT
599.08/601.18 c #Conflicts: 217000 | #Constraints: 16871
599.08/601.18 c #Conflicts: 218000 | #Constraints: 17871
599.08/601.18 c #Conflicts: 219000 | #Constraints: 18871
599.08/601.18 c #Conflicts: 220000 | #Constraints: 19871
599.08/601.18 c #Conflicts: 221000 | #Constraints: 20871
599.08/601.18 c #Conflicts: 222000 | #Constraints: 21871
599.08/601.18 c #Conflicts: 223000 | #Constraints: 22871
599.08/601.18 c #Conflicts: 224000 | #Constraints: 23871
599.08/601.18 c #Conflicts: 225000 | #Constraints: 24871
599.08/601.18 c #Conflicts: 226000 | #Constraints: 25871
599.08/601.18 c INPROCESSING
599.08/601.18 c GARBAGE COLLECT
599.08/601.18 c #Conflicts: 227000 | #Constraints: 17470
599.08/601.18 c #Conflicts: 228000 | #Constraints: 18470
599.08/601.18 c #Conflicts: 229000 | #Constraints: 19470
599.08/601.18 c #Conflicts: 230000 | #Constraints: 20470
599.08/601.18 c #Conflicts: 231000 | #Constraints: 21470
599.08/601.18 c #Conflicts: 232000 | #Constraints: 22470
599.08/601.18 c #Conflicts: 233000 | #Constraints: 23470
599.08/601.18 c #Conflicts: 234000 | #Constraints: 24470
599.08/601.18 c #Conflicts: 235000 | #Constraints: 25470
599.08/601.18 c #Conflicts: 236000 | #Constraints: 26470
599.08/601.18 c INPROCESSING
599.08/601.18 c GARBAGE COLLECT
599.08/601.18 c #Conflicts: 237000 | #Constraints: 17872
599.08/601.18 c #Conflicts: 238000 | #Constraints: 18872
599.08/601.18 c #Conflicts: 239000 | #Constraints: 19872
599.08/601.18 c #Conflicts: 240000 | #Constraints: 20872
599.08/601.18 c #Conflicts: 241000 | #Constraints: 21872
599.08/601.18 c #Conflicts: 242000 | #Constraints: 22872
599.08/601.18 c #Conflicts: 243000 | #Constraints: 23872
599.08/601.18 c #Conflicts: 244000 | #Constraints: 24872
599.08/601.18 c #Conflicts: 245000 | #Constraints: 25872
599.08/601.18 c #Conflicts: 246000 | #Constraints: 26872
599.08/601.18 c INPROCESSING
599.08/601.18 c GARBAGE COLLECT
599.08/601.18 c #Conflicts: 247000 | #Constraints: 18071
599.08/601.18 c #Conflicts: 248000 | #Constraints: 19071
599.08/601.18 c #Conflicts: 249000 | #Constraints: 20071
599.08/601.18 c #Conflicts: 250000 | #Constraints: 21071
599.08/601.18 c #Conflicts: 251000 | #Constraints: 22071
599.08/601.18 c #Conflicts: 252000 | #Constraints: 23071
599.08/601.18 c #Conflicts: 253000 | #Constraints: 24071
599.08/601.18 c #Conflicts: 254000 | #Constraints: 25071
599.08/601.18 c #Conflicts: 255000 | #Constraints: 26071
599.08/601.18 c #Conflicts: 256000 | #Constraints: 27071
599.08/601.18 c INPROCESSING
599.08/601.18 c GARBAGE COLLECT
599.08/601.18 c #Conflicts: 257000 | #Constraints: 18072
599.08/601.18 c #Conflicts: 258000 | #Constraints: 19072
599.08/601.18 c #Conflicts: 259000 | #Constraints: 20072
599.08/601.18 c #Conflicts: 260000 | #Constraints: 21072
599.08/601.18 c #Conflicts: 261000 | #Constraints: 22072
599.08/601.18 c #Conflicts: 262000 | #Constraints: 23072
599.08/601.18 c #Conflicts: 263000 | #Constraints: 24072
599.08/601.18 c #Conflicts: 264000 | #Constraints: 25072
599.08/601.18 c #Conflicts: 265000 | #Constraints: 26072
599.08/601.18 c #Conflicts: 266000 | #Constraints: 27072
599.08/601.18 c INPROCESSING
599.08/601.18 c GARBAGE COLLECT
599.08/601.18 c #Conflicts: 267000 | #Constraints: 17880
599.08/601.18 c #Conflicts: 268000 | #Constraints: 18880
599.08/601.18 c #Conflicts: 269000 | #Constraints: 19880
599.08/601.18 c #Conflicts: 270000 | #Constraints: 20880
599.08/601.18 c #Conflicts: 271000 | #Constraints: 21880
599.08/601.18 c #Conflicts: 272000 | #Constraints: 22880
599.08/601.18 c #Conflicts: 273000 | #Constraints: 23880
599.08/601.18 c #Conflicts: 274000 | #Constraints: 24880
599.08/601.18 c #Conflicts: 275000 | #Constraints: 25880
599.08/601.18 c #Conflicts: 276000 | #Constraints: 26880
599.08/601.18 c #Conflicts: 277000 | #Constraints: 27880
610.73/612.80 c INPROCESSING
610.73/612.80 c GARBAGE COLLECT
610.73/612.80 c #Conflicts: 278000 | #Constraints: 18479
610.73/612.80 c #Conflicts: 279000 | #Constraints: 19479
610.73/612.80 c #Conflicts: 280000 | #Constraints: 20479
610.73/612.80 c #Conflicts: 281000 | #Constraints: 21479
610.73/612.80 c #Conflicts: 282000 | #Constraints: 22479
610.73/612.80 c #Conflicts: 283000 | #Constraints: 23479
610.73/612.80 c #Conflicts: 284000 | #Constraints: 24479
610.73/612.80 c #Conflicts: 285000 | #Constraints: 25479
610.73/612.80 c bounds - >= 289563295811190 @ 603.706
642.42/644.60 c #Conflicts: 286000 | #Constraints: 26483
642.42/644.60 c #Conflicts: 287000 | #Constraints: 27483
642.42/644.60 c #Conflicts: 288000 | #Constraints: 28483
642.42/644.60 c INPROCESSING
642.42/644.60 c GARBAGE COLLECT
642.42/644.60 c bounds - >= 289694367811190 @ 635.197
830.57/833.49 c #Conflicts: 289000 | #Constraints: 18881
830.57/833.49 c #Conflicts: 290000 | #Constraints: 19881
830.57/833.49 c #Conflicts: 291000 | #Constraints: 20881
830.57/833.49 c #Conflicts: 292000 | #Constraints: 21881
830.57/833.49 c #Conflicts: 293000 | #Constraints: 22881
830.57/833.49 c #Conflicts: 294000 | #Constraints: 23881
830.57/833.49 c #Conflicts: 295000 | #Constraints: 24881
830.57/833.49 c #Conflicts: 296000 | #Constraints: 25881
830.57/833.49 c #Conflicts: 297000 | #Constraints: 26881
830.57/833.49 c #Conflicts: 298000 | #Constraints: 27881
830.57/833.49 c #Conflicts: 299000 | #Constraints: 28881
830.57/833.49 c INPROCESSING
830.57/833.49 c GARBAGE COLLECT
830.57/833.49 c #Conflicts: 300000 | #Constraints: 19077
830.57/833.49 c #Conflicts: 301000 | #Constraints: 20077
830.57/833.49 c #Conflicts: 302000 | #Constraints: 21077
830.57/833.49 c #Conflicts: 303000 | #Constraints: 22077
830.57/833.49 c #Conflicts: 304000 | #Constraints: 23077
830.57/833.49 c #Conflicts: 305000 | #Constraints: 24077
830.57/833.49 c #Conflicts: 306000 | #Constraints: 25077
830.57/833.49 c #Conflicts: 307000 | #Constraints: 26077
830.57/833.49 c #Conflicts: 308000 | #Constraints: 27077
830.57/833.49 c #Conflicts: 309000 | #Constraints: 28077
830.57/833.49 c #Conflicts: 310000 | #Constraints: 29077
830.57/833.49 c INPROCESSING
830.57/833.49 c GARBAGE COLLECT
830.57/833.49 c #Conflicts: 311000 | #Constraints: 19075
830.57/833.49 c #Conflicts: 312000 | #Constraints: 20075
830.57/833.49 c #Conflicts: 313000 | #Constraints: 21075
830.57/833.49 c #Conflicts: 314000 | #Constraints: 22075
830.57/833.49 c #Conflicts: 315000 | #Constraints: 23075
830.57/833.49 c #Conflicts: 316000 | #Constraints: 24075
830.57/833.49 c #Conflicts: 317000 | #Constraints: 25075
830.57/833.49 c #Conflicts: 318000 | #Constraints: 26075
830.57/833.49 c #Conflicts: 319000 | #Constraints: 27075
830.57/833.49 c #Conflicts: 320000 | #Constraints: 28075
830.57/833.49 c #Conflicts: 321000 | #Constraints: 29075
830.57/833.49 c INPROCESSING
830.57/833.49 c GARBAGE COLLECT
830.57/833.49 c #Conflicts: 322000 | #Constraints: 18872
830.57/833.49 c #Conflicts: 323000 | #Constraints: 19872
830.57/833.49 c #Conflicts: 324000 | #Constraints: 20872
830.57/833.49 c #Conflicts: 325000 | #Constraints: 21872
830.57/833.49 c #Conflicts: 326000 | #Constraints: 22872
830.57/833.49 c #Conflicts: 327000 | #Constraints: 23872
830.57/833.49 c #Conflicts: 328000 | #Constraints: 24872
830.57/833.49 c #Conflicts: 329000 | #Constraints: 25872
830.57/833.49 c #Conflicts: 330000 | #Constraints: 26872
830.57/833.49 c #Conflicts: 331000 | #Constraints: 27872
830.57/833.49 c #Conflicts: 332000 | #Constraints: 28872
830.57/833.49 c #Conflicts: 333000 | #Constraints: 29872
830.57/833.49 c INPROCESSING
830.57/833.49 c GARBAGE COLLECT
830.57/833.49 c #Conflicts: 334000 | #Constraints: 19472
830.57/833.49 c #Conflicts: 335000 | #Constraints: 20472
830.57/833.49 c #Conflicts: 336000 | #Constraints: 21472
830.57/833.49 c #Conflicts: 337000 | #Constraints: 22472
830.57/833.49 c #Conflicts: 338000 | #Constraints: 23472
830.57/833.49 c #Conflicts: 339000 | #Constraints: 24472
830.57/833.49 c #Conflicts: 340000 | #Constraints: 25472
830.57/833.49 c #Conflicts: 341000 | #Constraints: 26472
830.57/833.49 c #Conflicts: 342000 | #Constraints: 27472
830.57/833.49 c #Conflicts: 343000 | #Constraints: 28472
830.57/833.49 c #Conflicts: 344000 | #Constraints: 29472
830.57/833.49 c #Conflicts: 345000 | #Constraints: 30472
830.57/833.49 c INPROCESSING
830.57/833.49 c GARBAGE COLLECT
830.57/833.49 c #Conflicts: 346000 | #Constraints: 19866
830.57/833.49 c #Conflicts: 347000 | #Constraints: 20866
830.57/833.49 c #Conflicts: 348000 | #Constraints: 21866
830.57/833.49 c #Conflicts: 349000 | #Constraints: 22866
830.57/833.49 c #Conflicts: 350000 | #Constraints: 23866
830.57/833.49 c #Conflicts: 351000 | #Constraints: 24866
830.57/833.49 c #Conflicts: 352000 | #Constraints: 25866
830.57/833.49 c #Conflicts: 353000 | #Constraints: 26866
830.57/833.49 c #Conflicts: 354000 | #Constraints: 27866
830.57/833.49 c #Conflicts: 355000 | #Constraints: 28866
830.57/833.49 c #Conflicts: 356000 | #Constraints: 29866
830.57/833.49 c #Conflicts: 357000 | #Constraints: 30866
830.57/833.49 c INPROCESSING
830.57/833.49 c GARBAGE COLLECT
830.57/833.49 c #Conflicts: 358000 | #Constraints: 20061
830.57/833.49 c #Conflicts: 359000 | #Constraints: 21061
830.57/833.49 c #Conflicts: 360000 | #Constraints: 22061
830.57/833.49 c #Conflicts: 361000 | #Constraints: 23061
830.57/833.49 c #Conflicts: 362000 | #Constraints: 24061
830.57/833.49 c #Conflicts: 363000 | #Constraints: 25061
986.15/989.55 c #Conflicts: 364000 | #Constraints: 26061
986.15/989.55 c #Conflicts: 365000 | #Constraints: 27061
986.15/989.55 c #Conflicts: 366000 | #Constraints: 28061
986.15/989.55 c #Conflicts: 367000 | #Constraints: 29061
986.15/989.55 c #Conflicts: 368000 | #Constraints: 30061
986.15/989.55 c #Conflicts: 369000 | #Constraints: 31061
986.15/989.55 c INPROCESSING
986.15/989.55 c GARBAGE COLLECT
986.15/989.55 c #Conflicts: 370000 | #Constraints: 20065
986.15/989.55 c #Conflicts: 371000 | #Constraints: 21065
986.15/989.55 c #Conflicts: 372000 | #Constraints: 22065
986.15/989.55 c #Conflicts: 373000 | #Constraints: 23065
986.15/989.55 c #Conflicts: 374000 | #Constraints: 24065
986.15/989.55 c #Conflicts: 375000 | #Constraints: 25065
986.15/989.55 c #Conflicts: 376000 | #Constraints: 26065
986.15/989.55 c #Conflicts: 377000 | #Constraints: 27065
986.15/989.55 c #Conflicts: 378000 | #Constraints: 28065
986.15/989.55 c #Conflicts: 379000 | #Constraints: 29065
986.15/989.55 c #Conflicts: 380000 | #Constraints: 30065
986.15/989.55 c #Conflicts: 381000 | #Constraints: 31065
986.15/989.55 c INPROCESSING
986.15/989.55 c GARBAGE COLLECT
986.15/989.55 c #Conflicts: 382000 | #Constraints: 19861
986.15/989.55 c #Conflicts: 383000 | #Constraints: 20861
986.15/989.55 c #Conflicts: 384000 | #Constraints: 21861
986.15/989.55 c #Conflicts: 385000 | #Constraints: 22861
986.15/989.55 c #Conflicts: 386000 | #Constraints: 23861
986.15/989.55 c #Conflicts: 387000 | #Constraints: 24861
986.15/989.55 c #Conflicts: 388000 | #Constraints: 25861
986.15/989.55 c #Conflicts: 389000 | #Constraints: 26861
986.15/989.55 c #Conflicts: 390000 | #Constraints: 27861
986.15/989.55 c #Conflicts: 391000 | #Constraints: 28861
986.15/989.55 c #Conflicts: 392000 | #Constraints: 29861
986.15/989.55 c #Conflicts: 393000 | #Constraints: 30861
986.15/989.55 c #Conflicts: 394000 | #Constraints: 31861
986.15/989.55 c INPROCESSING
986.15/989.55 c GARBAGE COLLECT
986.15/989.55 c #Conflicts: 395000 | #Constraints: 20471
986.15/989.55 c #Conflicts: 396000 | #Constraints: 21471
986.15/989.55 c #Conflicts: 397000 | #Constraints: 22471
986.15/989.55 c #Conflicts: 398000 | #Constraints: 23471
986.15/989.55 c #Conflicts: 399000 | #Constraints: 24471
986.15/989.55 c #Conflicts: 400000 | #Constraints: 25471
986.15/989.55 c #Conflicts: 401000 | #Constraints: 26471
986.15/989.55 c #Conflicts: 402000 | #Constraints: 27471
986.15/989.55 c #Conflicts: 403000 | #Constraints: 28471
986.15/989.55 c #Conflicts: 404000 | #Constraints: 29471
986.15/989.55 c #Conflicts: 405000 | #Constraints: 30471
986.15/989.55 c #Conflicts: 406000 | #Constraints: 31471
986.15/989.55 c #Conflicts: 407000 | #Constraints: 32471
986.15/989.55 c INPROCESSING
986.15/989.55 c GARBAGE COLLECT
986.15/989.55 c #Conflicts: 408000 | #Constraints: 20873
986.15/989.55 c #Conflicts: 409000 | #Constraints: 21873
986.15/989.55 c #Conflicts: 410000 | #Constraints: 22873
986.15/989.55 c #Conflicts: 411000 | #Constraints: 23873
986.15/989.55 c #Conflicts: 412000 | #Constraints: 24873
986.15/989.55 c #Conflicts: 413000 | #Constraints: 25873
986.15/989.55 c #Conflicts: 414000 | #Constraints: 26873
986.15/989.55 c #Conflicts: 415000 | #Constraints: 27873
986.15/989.55 c #Conflicts: 416000 | #Constraints: 28873
986.15/989.55 c #Conflicts: 417000 | #Constraints: 29873
986.15/989.55 c #Conflicts: 418000 | #Constraints: 30873
986.15/989.55 c #Conflicts: 419000 | #Constraints: 31873
986.15/989.55 c #Conflicts: 420000 | #Constraints: 32873
986.15/989.55 c INPROCESSING
986.15/989.55 c GARBAGE COLLECT
986.15/989.55 c #Conflicts: 421000 | #Constraints: 21074
986.15/989.55 c #Conflicts: 422000 | #Constraints: 22074
986.15/989.55 c #Conflicts: 423000 | #Constraints: 23074
986.15/989.55 c #Conflicts: 424000 | #Constraints: 24074
986.15/989.55 c #Conflicts: 425000 | #Constraints: 25074
986.15/989.55 c #Conflicts: 426000 | #Constraints: 26074
986.15/989.55 c #Conflicts: 427000 | #Constraints: 27074
986.15/989.55 c #Conflicts: 428000 | #Constraints: 28074
986.15/989.55 c #Conflicts: 429000 | #Constraints: 29075
986.15/989.55 c #Conflicts: 430000 | #Constraints: 30075
986.15/989.55 c #Conflicts: 431000 | #Constraints: 31075
986.15/989.55 c #Conflicts: 432000 | #Constraints: 32075
986.15/989.55 c #Conflicts: 433000 | #Constraints: 33075
986.15/989.55 c INPROCESSING
986.15/989.55 c GARBAGE COLLECT
986.15/989.55 c #Conflicts: 434000 | #Constraints: 21077
986.15/989.55 c #Conflicts: 435000 | #Constraints: 22077
986.15/989.55 c #Conflicts: 436000 | #Constraints: 23077
986.15/989.55 c #Conflicts: 437000 | #Constraints: 24077
986.15/989.55 c bounds - >= 292315807811190 @ 976.065
1067.75/1071.48 c #Conflicts: 438000 | #Constraints: 25083
1067.75/1071.48 c #Conflicts: 439000 | #Constraints: 26083
1067.75/1071.48 c #Conflicts: 440000 | #Constraints: 27083
1067.75/1071.48 c #Conflicts: 441000 | #Constraints: 28083
1067.75/1071.48 c #Conflicts: 442000 | #Constraints: 29083
1067.75/1071.48 c #Conflicts: 443000 | #Constraints: 30083
1067.75/1071.48 c #Conflicts: 444000 | #Constraints: 31083
1067.75/1071.48 c #Conflicts: 445000 | #Constraints: 32083
1067.75/1071.48 c #Conflicts: 446000 | #Constraints: 33083
1067.75/1071.48 c INPROCESSING
1067.75/1071.48 c GARBAGE COLLECT
1067.75/1071.48 c #Conflicts: 447000 | #Constraints: 20849
1067.75/1071.48 c #Conflicts: 448000 | #Constraints: 21849
1067.75/1071.48 c #Conflicts: 449000 | #Constraints: 22849
1067.75/1071.48 c #Conflicts: 450000 | #Constraints: 23849
1067.75/1071.48 c #Conflicts: 451000 | #Constraints: 24849
1067.75/1071.48 c #Conflicts: 452000 | #Constraints: 25849
1067.75/1071.48 c #Conflicts: 453000 | #Constraints: 26849
1067.75/1071.48 c #Conflicts: 454000 | #Constraints: 27849
1067.75/1071.48 c #Conflicts: 455000 | #Constraints: 28850
1067.75/1071.48 c #Conflicts: 456000 | #Constraints: 29850
1067.75/1071.48 c #Conflicts: 457000 | #Constraints: 30850
1067.75/1071.48 c #Conflicts: 458000 | #Constraints: 31850
1067.75/1071.48 c #Conflicts: 459000 | #Constraints: 32850
1067.75/1071.48 c #Conflicts: 460000 | #Constraints: 33850
1067.75/1071.48 c INPROCESSING
1067.75/1071.48 c GARBAGE COLLECT
1067.75/1071.48 c #Conflicts: 461000 | #Constraints: 21449
1067.75/1071.48 c #Conflicts: 462000 | #Constraints: 22449
1067.75/1071.48 c #Conflicts: 463000 | #Constraints: 23449
1067.75/1071.48 c #Conflicts: 464000 | #Constraints: 24449
1067.75/1071.48 c #Conflicts: 465000 | #Constraints: 25449
1067.75/1071.48 c #Conflicts: 466000 | #Constraints: 26449
1067.75/1071.48 c #Conflicts: 467000 | #Constraints: 27449
1067.75/1071.48 c #Conflicts: 468000 | #Constraints: 28449
1067.75/1071.48 c #Conflicts: 469000 | #Constraints: 29449
1067.75/1071.48 c #Conflicts: 470000 | #Constraints: 30449
1067.75/1071.48 c #Conflicts: 471000 | #Constraints: 31449
1067.75/1071.48 c #Conflicts: 472000 | #Constraints: 32449
1067.75/1071.48 c #Conflicts: 473000 | #Constraints: 33449
1067.75/1071.48 c #Conflicts: 474000 | #Constraints: 34449
1067.75/1071.48 c INPROCESSING
1067.75/1071.48 c GARBAGE COLLECT
1067.75/1071.48 c #Conflicts: 475000 | #Constraints: 21850
1067.75/1071.48 c #Conflicts: 476000 | #Constraints: 22850
1067.75/1071.48 c #Conflicts: 477000 | #Constraints: 23850
1067.75/1071.48 c #Conflicts: 478000 | #Constraints: 24850
1067.75/1071.48 c #Conflicts: 479000 | #Constraints: 25850
1067.75/1071.48 c #Conflicts: 480000 | #Constraints: 26850
1067.75/1071.48 c #Conflicts: 481000 | #Constraints: 27850
1067.75/1071.48 c #Conflicts: 482000 | #Constraints: 28851
1067.75/1071.48 c bounds - >= 292446879811190 @ 1057.27
1313.31/1317.88 c #Conflicts: 483000 | #Constraints: 29855
1313.31/1317.88 c #Conflicts: 484000 | #Constraints: 30856
1313.31/1317.88 c #Conflicts: 485000 | #Constraints: 31856
1313.31/1317.88 c #Conflicts: 486000 | #Constraints: 32856
1313.31/1317.88 c #Conflicts: 487000 | #Constraints: 33856
1313.31/1317.88 c #Conflicts: 488000 | #Constraints: 34856
1313.31/1317.88 c INPROCESSING
1313.31/1317.88 c GARBAGE COLLECT
1313.31/1317.88 c #Conflicts: 489000 | #Constraints: 21987
1313.31/1317.88 c #Conflicts: 490000 | #Constraints: 22988
1313.31/1317.88 c #Conflicts: 491000 | #Constraints: 23988
1313.31/1317.88 c #Conflicts: 492000 | #Constraints: 24988
1313.31/1317.88 c #Conflicts: 493000 | #Constraints: 25988
1313.31/1317.88 c #Conflicts: 494000 | #Constraints: 26988
1313.31/1317.88 c #Conflicts: 495000 | #Constraints: 27988
1313.31/1317.88 c #Conflicts: 496000 | #Constraints: 28988
1313.31/1317.88 c #Conflicts: 497000 | #Constraints: 29988
1313.31/1317.88 c #Conflicts: 498000 | #Constraints: 30988
1313.31/1317.88 c #Conflicts: 499000 | #Constraints: 31988
1313.31/1317.88 c #Conflicts: 500000 | #Constraints: 32988
1313.31/1317.88 c #Conflicts: 501000 | #Constraints: 33988
1313.31/1317.88 c #Conflicts: 502000 | #Constraints: 34988
1313.31/1317.88 c INPROCESSING
1313.31/1317.88 c GARBAGE COLLECT
1313.31/1317.88 c #Conflicts: 503000 | #Constraints: 21984
1313.31/1317.88 c #Conflicts: 504000 | #Constraints: 22984
1313.31/1317.88 c #Conflicts: 505000 | #Constraints: 23984
1313.31/1317.88 c #Conflicts: 506000 | #Constraints: 24984
1313.31/1317.88 c #Conflicts: 507000 | #Constraints: 25984
1313.31/1317.88 c #Conflicts: 508000 | #Constraints: 26984
1313.31/1317.88 c #Conflicts: 509000 | #Constraints: 27984
1313.31/1317.88 c #Conflicts: 510000 | #Constraints: 28984
1313.31/1317.88 c #Conflicts: 511000 | #Constraints: 29984
1313.31/1317.88 c #Conflicts: 512000 | #Constraints: 30984
1313.31/1317.88 c #Conflicts: 513000 | #Constraints: 31984
1313.31/1317.88 c #Conflicts: 514000 | #Constraints: 32984
1313.31/1317.88 c #Conflicts: 515000 | #Constraints: 33984
1313.31/1317.88 c #Conflicts: 516000 | #Constraints: 34984
1313.31/1317.88 c INPROCESSING
1313.31/1317.88 c GARBAGE COLLECT
1313.31/1317.88 c #Conflicts: 517000 | #Constraints: 21812
1313.31/1317.88 c #Conflicts: 518000 | #Constraints: 22812
1313.31/1317.88 c #Conflicts: 519000 | #Constraints: 23812
1313.31/1317.88 c #Conflicts: 520000 | #Constraints: 24812
1313.31/1317.88 c #Conflicts: 521000 | #Constraints: 25812
1313.31/1317.88 c #Conflicts: 522000 | #Constraints: 26812
1313.31/1317.88 c #Conflicts: 523000 | #Constraints: 27812
1313.31/1317.88 c #Conflicts: 524000 | #Constraints: 28812
1313.31/1317.88 c #Conflicts: 525000 | #Constraints: 29812
1313.31/1317.88 c #Conflicts: 526000 | #Constraints: 30812
1313.31/1317.88 c #Conflicts: 527000 | #Constraints: 31812
1313.31/1317.88 c #Conflicts: 528000 | #Constraints: 32812
1313.31/1317.88 c #Conflicts: 529000 | #Constraints: 33812
1313.31/1317.88 c #Conflicts: 530000 | #Constraints: 34812
1313.31/1317.88 c #Conflicts: 531000 | #Constraints: 35812
1313.31/1317.88 c INPROCESSING
1313.31/1317.88 c GARBAGE COLLECT
1313.31/1317.88 c #Conflicts: 532000 | #Constraints: 22429
1313.31/1317.88 c #Conflicts: 533000 | #Constraints: 23429
1313.31/1317.88 c #Conflicts: 534000 | #Constraints: 24429
1313.31/1317.88 c #Conflicts: 535000 | #Constraints: 25429
1313.31/1317.88 c #Conflicts: 536000 | #Constraints: 26429
1313.31/1317.88 c #Conflicts: 537000 | #Constraints: 27429
1313.31/1317.88 c #Conflicts: 538000 | #Constraints: 28429
1313.31/1317.88 c #Conflicts: 539000 | #Constraints: 29429
1313.31/1317.88 c #Conflicts: 540000 | #Constraints: 30429
1313.31/1317.88 c #Conflicts: 541000 | #Constraints: 31429
1313.31/1317.88 c #Conflicts: 542000 | #Constraints: 32429
1313.31/1317.88 c #Conflicts: 543000 | #Constraints: 33429
1313.31/1317.88 c #Conflicts: 544000 | #Constraints: 34429
1313.31/1317.88 c #Conflicts: 545000 | #Constraints: 35429
1313.31/1317.88 c #Conflicts: 546000 | #Constraints: 36429
1313.31/1317.88 c INPROCESSING
1313.31/1317.88 c GARBAGE COLLECT
1313.31/1317.88 c #Conflicts: 547000 | #Constraints: 22834
1313.31/1317.88 c #Conflicts: 548000 | #Constraints: 23834
1313.31/1317.88 c #Conflicts: 549000 | #Constraints: 24834
1313.31/1317.88 c #Conflicts: 550000 | #Constraints: 25834
1313.31/1317.88 c #Conflicts: 551000 | #Constraints: 26834
1313.31/1317.88 c #Conflicts: 552000 | #Constraints: 27834
1313.31/1317.88 c #Conflicts: 553000 | #Constraints: 28834
1313.31/1317.88 c #Conflicts: 554000 | #Constraints: 29834
1313.31/1317.88 c #Conflicts: 555000 | #Constraints: 30834
1313.31/1317.88 c #Conflicts: 556000 | #Constraints: 31834
1313.31/1317.88 c #Conflicts: 557000 | #Constraints: 32834
1313.31/1317.88 c #Conflicts: 558000 | #Constraints: 33834
1474.46/1479.59 c #Conflicts: 559000 | #Constraints: 34834
1474.46/1479.59 c #Conflicts: 560000 | #Constraints: 35834
1474.46/1479.59 c #Conflicts: 561000 | #Constraints: 36834
1474.46/1479.59 c INPROCESSING
1474.46/1479.59 c GARBAGE COLLECT
1474.46/1479.59 c #Conflicts: 562000 | #Constraints: 23036
1474.46/1479.59 c #Conflicts: 563000 | #Constraints: 24036
1474.46/1479.59 c #Conflicts: 564000 | #Constraints: 25036
1474.46/1479.59 c #Conflicts: 565000 | #Constraints: 26036
1474.46/1479.59 c #Conflicts: 566000 | #Constraints: 27036
1474.46/1479.59 c #Conflicts: 567000 | #Constraints: 28036
1474.46/1479.59 c #Conflicts: 568000 | #Constraints: 29036
1474.46/1479.59 c #Conflicts: 569000 | #Constraints: 30036
1474.46/1479.59 c #Conflicts: 570000 | #Constraints: 31036
1474.46/1479.59 c #Conflicts: 571000 | #Constraints: 32036
1474.46/1479.59 c #Conflicts: 572000 | #Constraints: 33036
1474.46/1479.59 c #Conflicts: 573000 | #Constraints: 34036
1474.46/1479.59 c #Conflicts: 574000 | #Constraints: 35036
1474.46/1479.59 c #Conflicts: 575000 | #Constraints: 36036
1474.46/1479.59 c #Conflicts: 576000 | #Constraints: 37036
1474.46/1479.59 c INPROCESSING
1474.46/1479.59 c GARBAGE COLLECT
1474.46/1479.59 c #Conflicts: 577000 | #Constraints: 23039
1474.46/1479.59 c #Conflicts: 578000 | #Constraints: 24039
1474.46/1479.59 c #Conflicts: 579000 | #Constraints: 25039
1474.46/1479.59 c #Conflicts: 580000 | #Constraints: 26039
1474.46/1479.59 c #Conflicts: 581000 | #Constraints: 27039
1474.46/1479.59 c #Conflicts: 582000 | #Constraints: 28039
1474.46/1479.59 c #Conflicts: 583000 | #Constraints: 29039
1474.46/1479.59 c #Conflicts: 584000 | #Constraints: 30039
1474.46/1479.59 c #Conflicts: 585000 | #Constraints: 31039
1474.46/1479.59 c #Conflicts: 586000 | #Constraints: 32039
1474.46/1479.59 c #Conflicts: 587000 | #Constraints: 33039
1474.46/1479.59 c #Conflicts: 588000 | #Constraints: 34039
1474.46/1479.59 c #Conflicts: 589000 | #Constraints: 35039
1474.46/1479.59 c #Conflicts: 590000 | #Constraints: 36039
1474.46/1479.59 c #Conflicts: 591000 | #Constraints: 37039
1474.46/1479.59 c INPROCESSING
1474.46/1479.59 c GARBAGE COLLECT
1474.46/1479.59 c #Conflicts: 592000 | #Constraints: 22857
1474.46/1479.59 c #Conflicts: 593000 | #Constraints: 23857
1474.46/1479.59 c #Conflicts: 594000 | #Constraints: 24857
1474.46/1479.59 c #Conflicts: 595000 | #Constraints: 25857
1474.46/1479.59 c #Conflicts: 596000 | #Constraints: 26857
1474.46/1479.59 c #Conflicts: 597000 | #Constraints: 27857
1474.46/1479.59 c #Conflicts: 598000 | #Constraints: 28857
1474.46/1479.59 c #Conflicts: 599000 | #Constraints: 29857
1474.46/1479.59 c #Conflicts: 600000 | #Constraints: 30857
1474.46/1479.59 c #Conflicts: 601000 | #Constraints: 31857
1474.46/1479.59 c #Conflicts: 602000 | #Constraints: 32857
1474.46/1479.59 c #Conflicts: 603000 | #Constraints: 33857
1474.46/1479.59 c #Conflicts: 604000 | #Constraints: 34857
1474.46/1479.59 c #Conflicts: 605000 | #Constraints: 35857
1474.46/1479.59 c #Conflicts: 606000 | #Constraints: 36857
1474.46/1479.59 c #Conflicts: 607000 | #Constraints: 37857
1474.46/1479.59 c INPROCESSING
1474.46/1479.59 c GARBAGE COLLECT
1474.46/1479.59 c #Conflicts: 608000 | #Constraints: 23471
1474.46/1479.59 c #Conflicts: 609000 | #Constraints: 24471
1474.46/1479.59 c #Conflicts: 610000 | #Constraints: 25471
1474.46/1479.59 c #Conflicts: 611000 | #Constraints: 26471
1474.46/1479.59 c #Conflicts: 612000 | #Constraints: 27471
1474.46/1479.59 c #Conflicts: 613000 | #Constraints: 28471
1474.46/1479.59 c #Conflicts: 614000 | #Constraints: 29471
1474.46/1479.59 c #Conflicts: 615000 | #Constraints: 30471
1474.46/1479.59 c #Conflicts: 616000 | #Constraints: 31471
1474.46/1479.59 c #Conflicts: 617000 | #Constraints: 32471
1474.46/1479.59 c #Conflicts: 618000 | #Constraints: 33471
1474.46/1479.59 c #Conflicts: 619000 | #Constraints: 34471
1474.46/1479.59 c #Conflicts: 620000 | #Constraints: 35471
1474.46/1479.59 c #Conflicts: 621000 | #Constraints: 36471
1474.46/1479.59 c #Conflicts: 622000 | #Constraints: 37471
1474.46/1479.59 c #Conflicts: 623000 | #Constraints: 38471
1474.46/1479.59 c INPROCESSING
1474.46/1479.59 c GARBAGE COLLECT
1474.46/1479.59 c #Conflicts: 624000 | #Constraints: 23873
1474.46/1479.59 c #Conflicts: 625000 | #Constraints: 24873
1474.46/1479.59 c #Conflicts: 626000 | #Constraints: 25873
1474.46/1479.59 c #Conflicts: 627000 | #Constraints: 26873
1474.46/1479.59 c #Conflicts: 628000 | #Constraints: 27873
1474.46/1479.59 c #Conflicts: 629000 | #Constraints: 28873
1474.46/1479.59 c #Conflicts: 630000 | #Constraints: 29873
1474.46/1479.59 c #Conflicts: 631000 | #Constraints: 30873
1474.46/1479.59 c #Conflicts: 632000 | #Constraints: 31873
1474.46/1479.59 c #Conflicts: 633000 | #Constraints: 32873
1474.46/1479.59 c #Conflicts: 634000 | #Constraints: 33873
1712.24/1718.12 c #Conflicts: 635000 | #Constraints: 34873
1712.24/1718.12 c #Conflicts: 636000 | #Constraints: 35873
1712.24/1718.12 c #Conflicts: 637000 | #Constraints: 36873
1712.24/1718.12 c #Conflicts: 638000 | #Constraints: 37873
1712.24/1718.12 c #Conflicts: 639000 | #Constraints: 38873
1712.24/1718.12 c INPROCESSING
1712.24/1718.12 c GARBAGE COLLECT
1712.24/1718.12 c #Conflicts: 640000 | #Constraints: 24077
1712.24/1718.12 c #Conflicts: 641000 | #Constraints: 25077
1712.24/1718.12 c #Conflicts: 642000 | #Constraints: 26077
1712.24/1718.12 c #Conflicts: 643000 | #Constraints: 27077
1712.24/1718.12 c #Conflicts: 644000 | #Constraints: 28077
1712.24/1718.12 c #Conflicts: 645000 | #Constraints: 29077
1712.24/1718.12 c #Conflicts: 646000 | #Constraints: 30077
1712.24/1718.12 c #Conflicts: 647000 | #Constraints: 31077
1712.24/1718.12 c #Conflicts: 648000 | #Constraints: 32077
1712.24/1718.12 c #Conflicts: 649000 | #Constraints: 33077
1712.24/1718.12 c #Conflicts: 650000 | #Constraints: 34077
1712.24/1718.12 c #Conflicts: 651000 | #Constraints: 35077
1712.24/1718.12 c #Conflicts: 652000 | #Constraints: 36077
1712.24/1718.12 c #Conflicts: 653000 | #Constraints: 37077
1712.24/1718.12 c #Conflicts: 654000 | #Constraints: 38077
1712.24/1718.12 c #Conflicts: 655000 | #Constraints: 39077
1712.24/1718.12 c INPROCESSING
1712.24/1718.12 c GARBAGE COLLECT
1712.24/1718.12 c #Conflicts: 656000 | #Constraints: 24079
1712.24/1718.12 c #Conflicts: 657000 | #Constraints: 25079
1712.24/1718.12 c #Conflicts: 658000 | #Constraints: 26079
1712.24/1718.12 c #Conflicts: 659000 | #Constraints: 27079
1712.24/1718.12 c #Conflicts: 660000 | #Constraints: 28079
1712.24/1718.12 c #Conflicts: 661000 | #Constraints: 29079
1712.24/1718.12 c #Conflicts: 662000 | #Constraints: 30079
1712.24/1718.12 c #Conflicts: 663000 | #Constraints: 31079
1712.24/1718.12 c #Conflicts: 664000 | #Constraints: 32079
1712.24/1718.12 c #Conflicts: 665000 | #Constraints: 33079
1712.24/1718.12 c #Conflicts: 666000 | #Constraints: 34079
1712.24/1718.12 c #Conflicts: 667000 | #Constraints: 35079
1712.24/1718.12 c #Conflicts: 668000 | #Constraints: 36079
1712.24/1718.12 c #Conflicts: 669000 | #Constraints: 37079
1712.24/1718.12 c #Conflicts: 670000 | #Constraints: 38079
1712.24/1718.12 c #Conflicts: 671000 | #Constraints: 39079
1712.24/1718.12 c INPROCESSING
1712.24/1718.12 c GARBAGE COLLECT
1712.24/1718.12 c #Conflicts: 672000 | #Constraints: 23885
1712.24/1718.12 c #Conflicts: 673000 | #Constraints: 24885
1712.24/1718.12 c #Conflicts: 674000 | #Constraints: 25885
1712.24/1718.12 c #Conflicts: 675000 | #Constraints: 26885
1712.24/1718.12 c #Conflicts: 676000 | #Constraints: 27885
1712.24/1718.12 c #Conflicts: 677000 | #Constraints: 28885
1712.24/1718.12 c #Conflicts: 678000 | #Constraints: 29885
1712.24/1718.12 c #Conflicts: 679000 | #Constraints: 30885
1712.24/1718.12 c #Conflicts: 680000 | #Constraints: 31885
1712.24/1718.12 c #Conflicts: 681000 | #Constraints: 32885
1712.24/1718.12 c #Conflicts: 682000 | #Constraints: 33885
1712.24/1718.12 c #Conflicts: 683000 | #Constraints: 34885
1712.24/1718.12 c #Conflicts: 684000 | #Constraints: 35885
1712.24/1718.12 c #Conflicts: 685000 | #Constraints: 36885
1712.24/1718.12 c #Conflicts: 686000 | #Constraints: 37885
1712.24/1718.12 c #Conflicts: 687000 | #Constraints: 38885
1712.24/1718.12 c #Conflicts: 688000 | #Constraints: 39885
1712.24/1718.12 c INPROCESSING
1712.24/1718.12 c GARBAGE COLLECT
1712.24/1718.12 c #Conflicts: 689000 | #Constraints: 24485
1712.24/1718.12 c #Conflicts: 690000 | #Constraints: 25485
1712.24/1718.12 c #Conflicts: 691000 | #Constraints: 26485
1712.24/1718.12 c #Conflicts: 692000 | #Constraints: 27485
1712.24/1718.12 c #Conflicts: 693000 | #Constraints: 28485
1712.24/1718.12 c #Conflicts: 694000 | #Constraints: 29485
1712.24/1718.12 c #Conflicts: 695000 | #Constraints: 30485
1712.24/1718.12 c #Conflicts: 696000 | #Constraints: 31485
1712.24/1718.12 c #Conflicts: 697000 | #Constraints: 32485
1712.24/1718.12 c #Conflicts: 698000 | #Constraints: 33485
1712.24/1718.12 c #Conflicts: 699000 | #Constraints: 34485
1712.24/1718.12 c #Conflicts: 700000 | #Constraints: 35485
1712.24/1718.12 c #Conflicts: 701000 | #Constraints: 36485
1712.24/1718.12 c #Conflicts: 702000 | #Constraints: 37485
1712.24/1718.12 c #Conflicts: 703000 | #Constraints: 38485
1712.24/1718.12 c #Conflicts: 704000 | #Constraints: 39485
1712.24/1718.12 c #Conflicts: 705000 | #Constraints: 40485
1712.24/1718.12 c INPROCESSING
1712.24/1718.12 c GARBAGE COLLECT
1712.24/1718.12 c #Conflicts: 706000 | #Constraints: 24882
1712.24/1718.12 c #Conflicts: 707000 | #Constraints: 25882
1712.24/1718.12 c #Conflicts: 708000 | #Constraints: 26882
1712.24/1718.12 c #Conflicts: 709000 | #Constraints: 27882
1877.36/1883.89 c #Conflicts: 710000 | #Constraints: 28882
1877.36/1883.89 c #Conflicts: 711000 | #Constraints: 29882
1877.36/1883.89 c #Conflicts: 712000 | #Constraints: 30882
1877.36/1883.89 c #Conflicts: 713000 | #Constraints: 31882
1877.36/1883.89 c #Conflicts: 714000 | #Constraints: 32882
1877.36/1883.89 c #Conflicts: 715000 | #Constraints: 33882
1877.36/1883.89 c #Conflicts: 716000 | #Constraints: 34882
1877.36/1883.89 c #Conflicts: 717000 | #Constraints: 35882
1877.36/1883.89 c #Conflicts: 718000 | #Constraints: 36882
1877.36/1883.89 c #Conflicts: 719000 | #Constraints: 37882
1877.36/1883.89 c #Conflicts: 720000 | #Constraints: 38882
1877.36/1883.89 c #Conflicts: 721000 | #Constraints: 39882
1877.36/1883.89 c #Conflicts: 722000 | #Constraints: 40882
1877.36/1883.89 c INPROCESSING
1877.36/1883.89 c GARBAGE COLLECT
1877.36/1883.89 c #Conflicts: 723000 | #Constraints: 25082
1877.36/1883.89 c #Conflicts: 724000 | #Constraints: 26082
1877.36/1883.89 c #Conflicts: 725000 | #Constraints: 27082
1877.36/1883.89 c #Conflicts: 726000 | #Constraints: 28082
1877.36/1883.89 c #Conflicts: 727000 | #Constraints: 29082
1877.36/1883.89 c #Conflicts: 728000 | #Constraints: 30082
1877.36/1883.89 c #Conflicts: 729000 | #Constraints: 31082
1877.36/1883.89 c #Conflicts: 730000 | #Constraints: 32082
1877.36/1883.89 c #Conflicts: 731000 | #Constraints: 33082
1877.36/1883.89 c #Conflicts: 732000 | #Constraints: 34082
1877.36/1883.89 c #Conflicts: 733000 | #Constraints: 35082
1877.36/1883.89 c #Conflicts: 734000 | #Constraints: 36082
1877.36/1883.89 c #Conflicts: 735000 | #Constraints: 37082
1877.36/1883.89 c #Conflicts: 736000 | #Constraints: 38082
1877.36/1883.89 c #Conflicts: 737000 | #Constraints: 39082
1877.36/1883.89 c #Conflicts: 738000 | #Constraints: 40082
1877.36/1883.89 c #Conflicts: 739000 | #Constraints: 41082
1877.36/1883.89 c INPROCESSING
1877.36/1883.89 c GARBAGE COLLECT
1877.36/1883.89 c #Conflicts: 740000 | #Constraints: 25086
1877.36/1883.89 c #Conflicts: 741000 | #Constraints: 26086
1877.36/1883.89 c #Conflicts: 742000 | #Constraints: 27086
1877.36/1883.89 c #Conflicts: 743000 | #Constraints: 28086
1877.36/1883.89 c #Conflicts: 744000 | #Constraints: 29086
1877.36/1883.89 c #Conflicts: 745000 | #Constraints: 30086
1877.36/1883.89 c #Conflicts: 746000 | #Constraints: 31086
1877.36/1883.89 c #Conflicts: 747000 | #Constraints: 32086
1877.36/1883.89 c #Conflicts: 748000 | #Constraints: 33086
1877.36/1883.89 c #Conflicts: 749000 | #Constraints: 34086
1877.36/1883.89 c #Conflicts: 750000 | #Constraints: 35086
1877.36/1883.89 c #Conflicts: 751000 | #Constraints: 36086
1877.36/1883.89 c #Conflicts: 752000 | #Constraints: 37086
1877.36/1883.89 c #Conflicts: 753000 | #Constraints: 38086
1877.36/1883.89 c #Conflicts: 754000 | #Constraints: 39086
1877.36/1883.89 c #Conflicts: 755000 | #Constraints: 40086
1877.36/1883.89 c #Conflicts: 756000 | #Constraints: 41086
1877.36/1883.89 c INPROCESSING
1877.36/1883.89 c GARBAGE COLLECT
1877.36/1883.89 c #Conflicts: 757000 | #Constraints: 24881
1877.36/1883.89 c #Conflicts: 758000 | #Constraints: 25881
1877.36/1883.89 c #Conflicts: 759000 | #Constraints: 26881
1877.36/1883.89 c #Conflicts: 760000 | #Constraints: 27881
1877.36/1883.89 c #Conflicts: 761000 | #Constraints: 28881
1877.36/1883.89 c #Conflicts: 762000 | #Constraints: 29881
1877.36/1883.89 c #Conflicts: 763000 | #Constraints: 30881
1877.36/1883.89 c #Conflicts: 764000 | #Constraints: 31881
1877.36/1883.89 c #Conflicts: 765000 | #Constraints: 32881
1877.36/1883.89 c #Conflicts: 766000 | #Constraints: 33881
1877.36/1883.89 c #Conflicts: 767000 | #Constraints: 34881
1877.36/1883.89 c #Conflicts: 768000 | #Constraints: 35881
1877.36/1883.89 c #Conflicts: 769000 | #Constraints: 36881
1877.36/1883.89 c #Conflicts: 770000 | #Constraints: 37881
1877.36/1883.89 c #Conflicts: 771000 | #Constraints: 38881
1877.36/1883.89 c #Conflicts: 772000 | #Constraints: 39881
1877.36/1883.89 c #Conflicts: 773000 | #Constraints: 40881
1877.36/1883.89 c #Conflicts: 774000 | #Constraints: 41881
1877.36/1883.89 c INPROCESSING
1877.36/1883.89 c GARBAGE COLLECT
1877.36/1883.89 c #Conflicts: 775000 | #Constraints: 25479
1877.36/1883.89 c #Conflicts: 776000 | #Constraints: 26479
1877.36/1883.89 c #Conflicts: 777000 | #Constraints: 27479
1877.36/1883.89 c #Conflicts: 778000 | #Constraints: 28479
1877.36/1883.89 c #Conflicts: 779000 | #Constraints: 29479
1877.36/1883.89 c #Conflicts: 780000 | #Constraints: 30479
1877.36/1883.89 c #Conflicts: 781000 | #Constraints: 31479
1877.36/1883.89 c #Conflicts: 782000 | #Constraints: 32479
1877.36/1883.89 c #Conflicts: 783000 | #Constraints: 33479
1877.36/1883.89 c #Conflicts: 784000 | #Constraints: 34479
1877.36/1883.89 c #Conflicts: 785000 | #Constraints: 35479
1877.36/1883.89 c #Conflicts: 786000 | #Constraints: 36479
2047.29/2054.39 c #Conflicts: 787000 | #Constraints: 37479
2047.29/2054.39 c #Conflicts: 788000 | #Constraints: 38479
2047.29/2054.39 c #Conflicts: 789000 | #Constraints: 39479
2047.29/2054.39 c #Conflicts: 790000 | #Constraints: 40479
2047.29/2054.39 c #Conflicts: 791000 | #Constraints: 41479
2047.29/2054.39 c #Conflicts: 792000 | #Constraints: 42479
2047.29/2054.39 c INPROCESSING
2047.29/2054.39 c GARBAGE COLLECT
2047.29/2054.39 c #Conflicts: 793000 | #Constraints: 25874
2047.29/2054.39 c #Conflicts: 794000 | #Constraints: 26874
2047.29/2054.39 c #Conflicts: 795000 | #Constraints: 27874
2047.29/2054.39 c #Conflicts: 796000 | #Constraints: 28874
2047.29/2054.39 c #Conflicts: 797000 | #Constraints: 29874
2047.29/2054.39 c #Conflicts: 798000 | #Constraints: 30874
2047.29/2054.39 c #Conflicts: 799000 | #Constraints: 31874
2047.29/2054.39 c #Conflicts: 800000 | #Constraints: 32874
2047.29/2054.39 c #Conflicts: 801000 | #Constraints: 33874
2047.29/2054.39 c #Conflicts: 802000 | #Constraints: 34874
2047.29/2054.39 c #Conflicts: 803000 | #Constraints: 35874
2047.29/2054.39 c #Conflicts: 804000 | #Constraints: 36874
2047.29/2054.39 c #Conflicts: 805000 | #Constraints: 37874
2047.29/2054.39 c #Conflicts: 806000 | #Constraints: 38874
2047.29/2054.39 c #Conflicts: 807000 | #Constraints: 39874
2047.29/2054.39 c #Conflicts: 808000 | #Constraints: 40874
2047.29/2054.39 c #Conflicts: 809000 | #Constraints: 41874
2047.29/2054.39 c #Conflicts: 810000 | #Constraints: 42874
2047.29/2054.39 c INPROCESSING
2047.29/2054.39 c GARBAGE COLLECT
2047.29/2054.39 c #Conflicts: 811000 | #Constraints: 26072
2047.29/2054.39 c #Conflicts: 812000 | #Constraints: 27072
2047.29/2054.39 c #Conflicts: 813000 | #Constraints: 28072
2047.29/2054.39 c #Conflicts: 814000 | #Constraints: 29072
2047.29/2054.39 c #Conflicts: 815000 | #Constraints: 30072
2047.29/2054.39 c #Conflicts: 816000 | #Constraints: 31072
2047.29/2054.39 c #Conflicts: 817000 | #Constraints: 32072
2047.29/2054.39 c #Conflicts: 818000 | #Constraints: 33072
2047.29/2054.39 c #Conflicts: 819000 | #Constraints: 34072
2047.29/2054.39 c #Conflicts: 820000 | #Constraints: 35072
2047.29/2054.39 c #Conflicts: 821000 | #Constraints: 36072
2047.29/2054.39 c #Conflicts: 822000 | #Constraints: 37072
2047.29/2054.39 c #Conflicts: 823000 | #Constraints: 38072
2047.29/2054.39 c #Conflicts: 824000 | #Constraints: 39072
2047.29/2054.39 c #Conflicts: 825000 | #Constraints: 40072
2047.29/2054.39 c #Conflicts: 826000 | #Constraints: 41072
2047.29/2054.39 c #Conflicts: 827000 | #Constraints: 42072
2047.29/2054.39 c #Conflicts: 828000 | #Constraints: 43072
2047.29/2054.39 c INPROCESSING
2047.29/2054.39 c GARBAGE COLLECT
2047.29/2054.39 c #Conflicts: 829000 | #Constraints: 26074
2047.29/2054.39 c #Conflicts: 830000 | #Constraints: 27074
2047.29/2054.39 c #Conflicts: 831000 | #Constraints: 28074
2047.29/2054.39 c #Conflicts: 832000 | #Constraints: 29074
2047.29/2054.39 c #Conflicts: 833000 | #Constraints: 30074
2047.29/2054.39 c #Conflicts: 834000 | #Constraints: 31074
2047.29/2054.39 c #Conflicts: 835000 | #Constraints: 32074
2047.29/2054.39 c #Conflicts: 836000 | #Constraints: 33074
2047.29/2054.39 c #Conflicts: 837000 | #Constraints: 34074
2047.29/2054.39 c #Conflicts: 838000 | #Constraints: 35074
2047.29/2054.39 c #Conflicts: 839000 | #Constraints: 36074
2047.29/2054.39 c #Conflicts: 840000 | #Constraints: 37074
2047.29/2054.39 c #Conflicts: 841000 | #Constraints: 38074
2047.29/2054.39 c #Conflicts: 842000 | #Constraints: 39074
2047.29/2054.39 c #Conflicts: 843000 | #Constraints: 40074
2047.29/2054.39 c #Conflicts: 844000 | #Constraints: 41074
2047.29/2054.39 c #Conflicts: 845000 | #Constraints: 42074
2047.29/2054.39 c #Conflicts: 846000 | #Constraints: 43074
2047.29/2054.39 c INPROCESSING
2047.29/2054.39 c GARBAGE COLLECT
2047.29/2054.39 c #Conflicts: 847000 | #Constraints: 25871
2047.29/2054.39 c #Conflicts: 848000 | #Constraints: 26871
2047.29/2054.39 c #Conflicts: 849000 | #Constraints: 27871
2047.29/2054.39 c #Conflicts: 850000 | #Constraints: 28871
2047.29/2054.39 c #Conflicts: 851000 | #Constraints: 29871
2047.29/2054.39 c #Conflicts: 852000 | #Constraints: 30871
2047.29/2054.39 c #Conflicts: 853000 | #Constraints: 31871
2047.29/2054.39 c #Conflicts: 854000 | #Constraints: 32871
2047.29/2054.39 c #Conflicts: 855000 | #Constraints: 33871
2047.29/2054.39 c #Conflicts: 856000 | #Constraints: 34871
2047.29/2054.39 c #Conflicts: 857000 | #Constraints: 35871
2047.29/2054.39 c #Conflicts: 858000 | #Constraints: 36871
2047.29/2054.39 c #Conflicts: 859000 | #Constraints: 37871
2047.29/2054.39 c #Conflicts: 860000 | #Constraints: 38871
2047.29/2054.39 c #Conflicts: 861000 | #Constraints: 39871
2047.29/2054.39 c #Conflicts: 862000 | #Constraints: 40871
2269.35/2277.14 c #Conflicts: 863000 | #Constraints: 41871
2269.35/2277.14 c #Conflicts: 864000 | #Constraints: 42871
2269.35/2277.14 c #Conflicts: 865000 | #Constraints: 43871
2269.35/2277.14 c INPROCESSING
2269.35/2277.14 c GARBAGE COLLECT
2269.35/2277.14 c #Conflicts: 866000 | #Constraints: 26469
2269.35/2277.14 c #Conflicts: 867000 | #Constraints: 27469
2269.35/2277.14 c #Conflicts: 868000 | #Constraints: 28469
2269.35/2277.14 c #Conflicts: 869000 | #Constraints: 29469
2269.35/2277.14 c #Conflicts: 870000 | #Constraints: 30469
2269.35/2277.14 c #Conflicts: 871000 | #Constraints: 31469
2269.35/2277.14 c #Conflicts: 872000 | #Constraints: 32469
2269.35/2277.14 c #Conflicts: 873000 | #Constraints: 33469
2269.35/2277.14 c #Conflicts: 874000 | #Constraints: 34469
2269.35/2277.14 c #Conflicts: 875000 | #Constraints: 35469
2269.35/2277.14 c #Conflicts: 876000 | #Constraints: 36469
2269.35/2277.14 c #Conflicts: 877000 | #Constraints: 37469
2269.35/2277.14 c #Conflicts: 878000 | #Constraints: 38469
2269.35/2277.14 c #Conflicts: 879000 | #Constraints: 39469
2269.35/2277.14 c #Conflicts: 880000 | #Constraints: 40469
2269.35/2277.14 c #Conflicts: 881000 | #Constraints: 41469
2269.35/2277.14 c #Conflicts: 882000 | #Constraints: 42469
2269.35/2277.14 c #Conflicts: 883000 | #Constraints: 43469
2269.35/2277.14 c #Conflicts: 884000 | #Constraints: 44469
2269.35/2277.14 c INPROCESSING
2269.35/2277.14 c GARBAGE COLLECT
2269.35/2277.14 c #Conflicts: 885000 | #Constraints: 26870
2269.35/2277.14 c #Conflicts: 886000 | #Constraints: 27870
2269.35/2277.14 c #Conflicts: 887000 | #Constraints: 28870
2269.35/2277.14 c #Conflicts: 888000 | #Constraints: 29870
2269.35/2277.14 c #Conflicts: 889000 | #Constraints: 30870
2269.35/2277.14 c #Conflicts: 890000 | #Constraints: 31870
2269.35/2277.14 c #Conflicts: 891000 | #Constraints: 32870
2269.35/2277.14 c #Conflicts: 892000 | #Constraints: 33870
2269.35/2277.14 c #Conflicts: 893000 | #Constraints: 34870
2269.35/2277.14 c #Conflicts: 894000 | #Constraints: 35870
2269.35/2277.14 c #Conflicts: 895000 | #Constraints: 36870
2269.35/2277.14 c #Conflicts: 896000 | #Constraints: 37870
2269.35/2277.14 c #Conflicts: 897000 | #Constraints: 38870
2269.35/2277.14 c #Conflicts: 898000 | #Constraints: 39870
2269.35/2277.14 c #Conflicts: 899000 | #Constraints: 40870
2269.35/2277.14 c #Conflicts: 900000 | #Constraints: 41870
2269.35/2277.14 c #Conflicts: 901000 | #Constraints: 42870
2269.35/2277.14 c #Conflicts: 902000 | #Constraints: 43870
2269.35/2277.14 c #Conflicts: 903000 | #Constraints: 44870
2269.35/2277.14 c INPROCESSING
2269.35/2277.14 c GARBAGE COLLECT
2269.35/2277.14 c #Conflicts: 904000 | #Constraints: 27069
2269.35/2277.14 c #Conflicts: 905000 | #Constraints: 28069
2269.35/2277.14 c #Conflicts: 906000 | #Constraints: 29069
2269.35/2277.14 c #Conflicts: 907000 | #Constraints: 30069
2269.35/2277.14 c #Conflicts: 908000 | #Constraints: 31069
2269.35/2277.14 c #Conflicts: 909000 | #Constraints: 32069
2269.35/2277.14 c #Conflicts: 910000 | #Constraints: 33069
2269.35/2277.14 c #Conflicts: 911000 | #Constraints: 34069
2269.35/2277.14 c #Conflicts: 912000 | #Constraints: 35069
2269.35/2277.14 c #Conflicts: 913000 | #Constraints: 36069
2269.35/2277.14 c #Conflicts: 914000 | #Constraints: 37069
2269.35/2277.14 c #Conflicts: 915000 | #Constraints: 38069
2269.35/2277.14 c #Conflicts: 916000 | #Constraints: 39069
2269.35/2277.14 c #Conflicts: 917000 | #Constraints: 40069
2269.35/2277.14 c #Conflicts: 918000 | #Constraints: 41069
2269.35/2277.14 c #Conflicts: 919000 | #Constraints: 42069
2269.35/2277.14 c #Conflicts: 920000 | #Constraints: 43069
2269.35/2277.14 c #Conflicts: 921000 | #Constraints: 44069
2269.35/2277.14 c #Conflicts: 922000 | #Constraints: 45069
2269.35/2277.14 c INPROCESSING
2269.35/2277.14 c GARBAGE COLLECT
2269.35/2277.14 c #Conflicts: 923000 | #Constraints: 27070
2269.35/2277.14 c #Conflicts: 924000 | #Constraints: 28070
2269.35/2277.14 c #Conflicts: 925000 | #Constraints: 29070
2269.35/2277.14 c #Conflicts: 926000 | #Constraints: 30070
2269.35/2277.14 c #Conflicts: 927000 | #Constraints: 31070
2269.35/2277.14 c #Conflicts: 928000 | #Constraints: 32070
2269.35/2277.14 c #Conflicts: 929000 | #Constraints: 33070
2269.35/2277.14 c #Conflicts: 930000 | #Constraints: 34070
2269.35/2277.14 c #Conflicts: 931000 | #Constraints: 35070
2269.35/2277.14 c #Conflicts: 932000 | #Constraints: 36070
2269.35/2277.14 c #Conflicts: 933000 | #Constraints: 37070
2269.35/2277.14 c #Conflicts: 934000 | #Constraints: 38070
2269.35/2277.14 c #Conflicts: 935000 | #Constraints: 39070
2269.35/2277.14 c #Conflicts: 936000 | #Constraints: 40070
2269.35/2277.14 c #Conflicts: 937000 | #Constraints: 41070
2269.35/2277.14 c #Conflicts: 938000 | #Constraints: 42070
2434.09/2442.45 c #Conflicts: 939000 | #Constraints: 43070
2434.09/2442.45 c #Conflicts: 940000 | #Constraints: 44070
2434.09/2442.45 c #Conflicts: 941000 | #Constraints: 45070
2434.09/2442.45 c INPROCESSING
2434.09/2442.45 c GARBAGE COLLECT
2434.09/2442.45 c #Conflicts: 942000 | #Constraints: 26871
2434.09/2442.45 c #Conflicts: 943000 | #Constraints: 27871
2434.09/2442.45 c #Conflicts: 944000 | #Constraints: 28871
2434.09/2442.45 c #Conflicts: 945000 | #Constraints: 29871
2434.09/2442.45 c #Conflicts: 946000 | #Constraints: 30871
2434.09/2442.45 c #Conflicts: 947000 | #Constraints: 31871
2434.09/2442.45 c #Conflicts: 948000 | #Constraints: 32871
2434.09/2442.45 c #Conflicts: 949000 | #Constraints: 33871
2434.09/2442.45 c #Conflicts: 950000 | #Constraints: 34871
2434.09/2442.45 c #Conflicts: 951000 | #Constraints: 35871
2434.09/2442.45 c #Conflicts: 952000 | #Constraints: 36871
2434.09/2442.45 c #Conflicts: 953000 | #Constraints: 37871
2434.09/2442.45 c #Conflicts: 954000 | #Constraints: 38871
2434.09/2442.45 c #Conflicts: 955000 | #Constraints: 39871
2434.09/2442.45 c #Conflicts: 956000 | #Constraints: 40871
2434.09/2442.45 c #Conflicts: 957000 | #Constraints: 41871
2434.09/2442.45 c #Conflicts: 958000 | #Constraints: 42871
2434.09/2442.45 c #Conflicts: 959000 | #Constraints: 43871
2434.09/2442.45 c #Conflicts: 960000 | #Constraints: 44871
2434.09/2442.45 c #Conflicts: 961000 | #Constraints: 45871
2434.09/2442.45 c INPROCESSING
2434.09/2442.45 c GARBAGE COLLECT
2434.09/2442.45 c #Conflicts: 962000 | #Constraints: 27472
2434.09/2442.45 c #Conflicts: 963000 | #Constraints: 28472
2434.09/2442.45 c #Conflicts: 964000 | #Constraints: 29472
2434.09/2442.45 c #Conflicts: 965000 | #Constraints: 30472
2434.09/2442.45 c #Conflicts: 966000 | #Constraints: 31472
2434.09/2442.45 c #Conflicts: 967000 | #Constraints: 32472
2434.09/2442.45 c #Conflicts: 968000 | #Constraints: 33472
2434.09/2442.45 c #Conflicts: 969000 | #Constraints: 34472
2434.09/2442.45 c #Conflicts: 970000 | #Constraints: 35472
2434.09/2442.45 c #Conflicts: 971000 | #Constraints: 36472
2434.09/2442.45 c #Conflicts: 972000 | #Constraints: 37472
2434.09/2442.45 c #Conflicts: 973000 | #Constraints: 38472
2434.09/2442.45 c #Conflicts: 974000 | #Constraints: 39472
2434.09/2442.45 c #Conflicts: 975000 | #Constraints: 40472
2434.09/2442.45 c #Conflicts: 976000 | #Constraints: 41472
2434.09/2442.45 c #Conflicts: 977000 | #Constraints: 42472
2434.09/2442.45 c #Conflicts: 978000 | #Constraints: 43472
2434.09/2442.45 c #Conflicts: 979000 | #Constraints: 44472
2434.09/2442.45 c #Conflicts: 980000 | #Constraints: 45472
2434.09/2442.45 c #Conflicts: 981000 | #Constraints: 46472
2434.09/2442.45 c INPROCESSING
2434.09/2442.45 c GARBAGE COLLECT
2434.09/2442.45 c #Conflicts: 982000 | #Constraints: 27873
2434.09/2442.45 c #Conflicts: 983000 | #Constraints: 28873
2434.09/2442.45 c #Conflicts: 984000 | #Constraints: 29873
2434.09/2442.45 c #Conflicts: 985000 | #Constraints: 30873
2434.09/2442.45 c #Conflicts: 986000 | #Constraints: 31873
2434.09/2442.45 c #Conflicts: 987000 | #Constraints: 32873
2434.09/2442.45 c #Conflicts: 988000 | #Constraints: 33873
2434.09/2442.45 c #Conflicts: 989000 | #Constraints: 34873
2434.09/2442.45 c #Conflicts: 990000 | #Constraints: 35873
2434.09/2442.45 c #Conflicts: 991000 | #Constraints: 36873
2434.09/2442.45 c #Conflicts: 992000 | #Constraints: 37873
2434.09/2442.45 c #Conflicts: 993000 | #Constraints: 38873
2434.09/2442.45 c #Conflicts: 994000 | #Constraints: 39873
2434.09/2442.45 c #Conflicts: 995000 | #Constraints: 40873
2434.09/2442.45 c #Conflicts: 996000 | #Constraints: 41873
2434.09/2442.45 c #Conflicts: 997000 | #Constraints: 42873
2434.09/2442.45 c #Conflicts: 998000 | #Constraints: 43873
2434.09/2442.45 c #Conflicts: 999000 | #Constraints: 44873
2434.09/2442.45 c #Conflicts: 1000000 | #Constraints: 45873
2434.09/2442.45 c #Conflicts: 1001000 | #Constraints: 46873
2434.09/2442.45 c INPROCESSING
2434.09/2442.45 c GARBAGE COLLECT
2434.09/2442.45 c #Conflicts: 1002000 | #Constraints: 28074
2434.09/2442.45 c #Conflicts: 1003000 | #Constraints: 29074
2434.09/2442.45 c #Conflicts: 1004000 | #Constraints: 30074
2434.09/2442.45 c #Conflicts: 1005000 | #Constraints: 31074
2434.09/2442.45 c #Conflicts: 1006000 | #Constraints: 32074
2434.09/2442.45 c #Conflicts: 1007000 | #Constraints: 33074
2434.09/2442.45 c #Conflicts: 1008000 | #Constraints: 34074
2434.09/2442.45 c #Conflicts: 1009000 | #Constraints: 35074
2434.09/2442.45 c #Conflicts: 1010000 | #Constraints: 36074
2434.09/2442.45 c #Conflicts: 1011000 | #Constraints: 37074
2434.09/2442.45 c #Conflicts: 1012000 | #Constraints: 38074
2434.09/2442.45 c #Conflicts: 1013000 | #Constraints: 39074
2434.09/2442.45 c #Conflicts: 1014000 | #Constraints: 40074
2587.75/2596.69 c #Conflicts: 1015000 | #Constraints: 41074
2587.75/2596.69 c #Conflicts: 1016000 | #Constraints: 42074
2587.75/2596.69 c #Conflicts: 1017000 | #Constraints: 43074
2587.75/2596.69 c #Conflicts: 1018000 | #Constraints: 44074
2587.75/2596.69 c #Conflicts: 1019000 | #Constraints: 45074
2587.75/2596.69 c #Conflicts: 1020000 | #Constraints: 46074
2587.75/2596.69 c #Conflicts: 1021000 | #Constraints: 47074
2587.75/2596.69 c INPROCESSING
2587.75/2596.69 c GARBAGE COLLECT
2587.75/2596.69 c #Conflicts: 1022000 | #Constraints: 28075
2587.75/2596.69 c #Conflicts: 1023000 | #Constraints: 29075
2587.75/2596.69 c #Conflicts: 1024000 | #Constraints: 30075
2587.75/2596.69 c #Conflicts: 1025000 | #Constraints: 31075
2587.75/2596.69 c #Conflicts: 1026000 | #Constraints: 32075
2587.75/2596.69 c #Conflicts: 1027000 | #Constraints: 33075
2587.75/2596.69 c #Conflicts: 1028000 | #Constraints: 34075
2587.75/2596.69 c #Conflicts: 1029000 | #Constraints: 35075
2587.75/2596.69 c #Conflicts: 1030000 | #Constraints: 36075
2587.75/2596.69 c #Conflicts: 1031000 | #Constraints: 37075
2587.75/2596.69 c #Conflicts: 1032000 | #Constraints: 38075
2587.75/2596.69 c #Conflicts: 1033000 | #Constraints: 39075
2587.75/2596.69 c #Conflicts: 1034000 | #Constraints: 40075
2587.75/2596.69 c #Conflicts: 1035000 | #Constraints: 41075
2587.75/2596.69 c #Conflicts: 1036000 | #Constraints: 42075
2587.75/2596.69 c #Conflicts: 1037000 | #Constraints: 43075
2587.75/2596.69 c #Conflicts: 1038000 | #Constraints: 44075
2587.75/2596.69 c #Conflicts: 1039000 | #Constraints: 45075
2587.75/2596.69 c #Conflicts: 1040000 | #Constraints: 46075
2587.75/2596.69 c #Conflicts: 1041000 | #Constraints: 47075
2587.75/2596.69 c INPROCESSING
2587.75/2596.69 c GARBAGE COLLECT
2587.75/2596.69 c #Conflicts: 1042000 | #Constraints: 27876
2587.75/2596.69 c #Conflicts: 1043000 | #Constraints: 28876
2587.75/2596.69 c #Conflicts: 1044000 | #Constraints: 29876
2587.75/2596.69 c #Conflicts: 1045000 | #Constraints: 30876
2587.75/2596.69 c #Conflicts: 1046000 | #Constraints: 31876
2587.75/2596.69 c #Conflicts: 1047000 | #Constraints: 32876
2587.75/2596.69 c #Conflicts: 1048000 | #Constraints: 33876
2587.75/2596.69 c #Conflicts: 1049000 | #Constraints: 34876
2587.75/2596.69 c #Conflicts: 1050000 | #Constraints: 35876
2587.75/2596.69 c #Conflicts: 1051000 | #Constraints: 36876
2587.75/2596.69 c #Conflicts: 1052000 | #Constraints: 37876
2587.75/2596.69 c #Conflicts: 1053000 | #Constraints: 38876
2587.75/2596.69 c #Conflicts: 1054000 | #Constraints: 39876
2587.75/2596.69 c #Conflicts: 1055000 | #Constraints: 40876
2587.75/2596.69 c #Conflicts: 1056000 | #Constraints: 41876
2587.75/2596.69 c #Conflicts: 1057000 | #Constraints: 42876
2587.75/2596.69 c #Conflicts: 1058000 | #Constraints: 43876
2587.75/2596.69 c #Conflicts: 1059000 | #Constraints: 44876
2587.75/2596.69 c #Conflicts: 1060000 | #Constraints: 45876
2587.75/2596.69 c #Conflicts: 1061000 | #Constraints: 46876
2587.75/2596.69 c #Conflicts: 1062000 | #Constraints: 47876
2587.75/2596.69 c INPROCESSING
2587.75/2596.69 c GARBAGE COLLECT
2587.75/2596.69 c #Conflicts: 1063000 | #Constraints: 28476
2587.75/2596.69 c #Conflicts: 1064000 | #Constraints: 29476
2587.75/2596.69 c #Conflicts: 1065000 | #Constraints: 30476
2587.75/2596.69 c #Conflicts: 1066000 | #Constraints: 31476
2587.75/2596.69 c #Conflicts: 1067000 | #Constraints: 32476
2587.75/2596.69 c #Conflicts: 1068000 | #Constraints: 33476
2587.75/2596.69 c #Conflicts: 1069000 | #Constraints: 34476
2587.75/2596.69 c #Conflicts: 1070000 | #Constraints: 35476
2587.75/2596.69 c #Conflicts: 1071000 | #Constraints: 36476
2587.75/2596.69 c #Conflicts: 1072000 | #Constraints: 37476
2587.75/2596.69 c #Conflicts: 1073000 | #Constraints: 38476
2587.75/2596.69 c #Conflicts: 1074000 | #Constraints: 39476
2587.75/2596.69 c #Conflicts: 1075000 | #Constraints: 40476
2587.75/2596.69 c #Conflicts: 1076000 | #Constraints: 41476
2587.75/2596.69 c #Conflicts: 1077000 | #Constraints: 42476
2587.75/2596.69 c #Conflicts: 1078000 | #Constraints: 43476
2587.75/2596.69 c #Conflicts: 1079000 | #Constraints: 44476
2587.75/2596.69 c #Conflicts: 1080000 | #Constraints: 45476
2587.75/2596.69 c #Conflicts: 1081000 | #Constraints: 46476
2587.75/2596.69 c #Conflicts: 1082000 | #Constraints: 47476
2587.75/2596.69 c #Conflicts: 1083000 | #Constraints: 48476
2587.75/2596.69 c INPROCESSING
2587.75/2596.69 c GARBAGE COLLECT
2587.75/2596.69 c #Conflicts: 1084000 | #Constraints: 28876
2587.75/2596.69 c #Conflicts: 1085000 | #Constraints: 29876
2587.75/2596.69 c #Conflicts: 1086000 | #Constraints: 30876
2587.75/2596.69 c #Conflicts: 1087000 | #Constraints: 31876
2587.75/2596.69 c #Conflicts: 1088000 | #Constraints: 32876
2587.75/2596.69 c #Conflicts: 1089000 | #Constraints: 33876
2587.75/2596.69 c #Conflicts: 1090000 | #Constraints: 34876
2729.07/2738.40 c #Conflicts: 1091000 | #Constraints: 35876
2729.07/2738.40 c #Conflicts: 1092000 | #Constraints: 36876
2729.07/2738.40 c #Conflicts: 1093000 | #Constraints: 37876
2729.07/2738.40 c #Conflicts: 1094000 | #Constraints: 38876
2729.07/2738.40 c #Conflicts: 1095000 | #Constraints: 39876
2729.07/2738.40 c #Conflicts: 1096000 | #Constraints: 40876
2729.07/2738.40 c #Conflicts: 1097000 | #Constraints: 41876
2729.07/2738.40 c #Conflicts: 1098000 | #Constraints: 42876
2729.07/2738.40 c #Conflicts: 1099000 | #Constraints: 43876
2729.07/2738.40 c #Conflicts: 1100000 | #Constraints: 44876
2729.07/2738.40 c #Conflicts: 1101000 | #Constraints: 45876
2729.07/2738.40 c #Conflicts: 1102000 | #Constraints: 46876
2729.07/2738.40 c #Conflicts: 1103000 | #Constraints: 47876
2729.07/2738.40 c #Conflicts: 1104000 | #Constraints: 48876
2729.07/2738.40 c INPROCESSING
2729.07/2738.40 c GARBAGE COLLECT
2729.07/2738.40 c #Conflicts: 1105000 | #Constraints: 29075
2729.07/2738.40 c #Conflicts: 1106000 | #Constraints: 30075
2729.07/2738.40 c #Conflicts: 1107000 | #Constraints: 31075
2729.07/2738.40 c #Conflicts: 1108000 | #Constraints: 32075
2729.07/2738.40 c #Conflicts: 1109000 | #Constraints: 33075
2729.07/2738.40 c #Conflicts: 1110000 | #Constraints: 34075
2729.07/2738.40 c #Conflicts: 1111000 | #Constraints: 35075
2729.07/2738.40 c #Conflicts: 1112000 | #Constraints: 36075
2729.07/2738.40 c #Conflicts: 1113000 | #Constraints: 37075
2729.07/2738.40 c #Conflicts: 1114000 | #Constraints: 38075
2729.07/2738.40 c #Conflicts: 1115000 | #Constraints: 39075
2729.07/2738.40 c #Conflicts: 1116000 | #Constraints: 40075
2729.07/2738.40 c #Conflicts: 1117000 | #Constraints: 41075
2729.07/2738.40 c #Conflicts: 1118000 | #Constraints: 42075
2729.07/2738.40 c #Conflicts: 1119000 | #Constraints: 43075
2729.07/2738.40 c #Conflicts: 1120000 | #Constraints: 44075
2729.07/2738.40 c #Conflicts: 1121000 | #Constraints: 45075
2729.07/2738.40 c #Conflicts: 1122000 | #Constraints: 46075
2729.07/2738.40 c #Conflicts: 1123000 | #Constraints: 47075
2729.07/2738.40 c #Conflicts: 1124000 | #Constraints: 48075
2729.07/2738.40 c #Conflicts: 1125000 | #Constraints: 49075
2729.07/2738.40 c INPROCESSING
2729.07/2738.40 c GARBAGE COLLECT
2729.07/2738.40 c #Conflicts: 1126000 | #Constraints: 29075
2729.07/2738.40 c #Conflicts: 1127000 | #Constraints: 30075
2729.07/2738.40 c #Conflicts: 1128000 | #Constraints: 31075
2729.07/2738.40 c #Conflicts: 1129000 | #Constraints: 32075
2729.07/2738.40 c #Conflicts: 1130000 | #Constraints: 33075
2729.07/2738.40 c #Conflicts: 1131000 | #Constraints: 34075
2729.07/2738.40 c #Conflicts: 1132000 | #Constraints: 35075
2729.07/2738.40 c #Conflicts: 1133000 | #Constraints: 36075
2729.07/2738.40 c #Conflicts: 1134000 | #Constraints: 37075
2729.07/2738.40 c #Conflicts: 1135000 | #Constraints: 38075
2729.07/2738.40 c #Conflicts: 1136000 | #Constraints: 39075
2729.07/2738.40 c #Conflicts: 1137000 | #Constraints: 40075
2729.07/2738.40 c #Conflicts: 1138000 | #Constraints: 41075
2729.07/2738.40 c #Conflicts: 1139000 | #Constraints: 42075
2729.07/2738.40 c #Conflicts: 1140000 | #Constraints: 43075
2729.07/2738.40 c #Conflicts: 1141000 | #Constraints: 44075
2729.07/2738.40 c #Conflicts: 1142000 | #Constraints: 45075
2729.07/2738.40 c #Conflicts: 1143000 | #Constraints: 46075
2729.07/2738.40 c #Conflicts: 1144000 | #Constraints: 47075
2729.07/2738.40 c #Conflicts: 1145000 | #Constraints: 48075
2729.07/2738.40 c #Conflicts: 1146000 | #Constraints: 49075
2729.07/2738.40 c INPROCESSING
2729.07/2738.40 c GARBAGE COLLECT
2729.07/2738.40 c #Conflicts: 1147000 | #Constraints: 28872
2729.07/2738.40 c #Conflicts: 1148000 | #Constraints: 29872
2729.07/2738.40 c #Conflicts: 1149000 | #Constraints: 30872
2729.07/2738.40 c #Conflicts: 1150000 | #Constraints: 31872
2729.07/2738.40 c #Conflicts: 1151000 | #Constraints: 32872
2729.07/2738.40 c #Conflicts: 1152000 | #Constraints: 33872
2729.07/2738.40 c #Conflicts: 1153000 | #Constraints: 34872
2729.07/2738.40 c #Conflicts: 1154000 | #Constraints: 35872
2729.07/2738.40 c #Conflicts: 1155000 | #Constraints: 36872
2729.07/2738.40 c #Conflicts: 1156000 | #Constraints: 37872
2729.07/2738.40 c #Conflicts: 1157000 | #Constraints: 38872
2729.07/2738.40 c #Conflicts: 1158000 | #Constraints: 39872
2729.07/2738.40 c #Conflicts: 1159000 | #Constraints: 40872
2729.07/2738.40 c #Conflicts: 1160000 | #Constraints: 41872
2729.07/2738.40 c #Conflicts: 1161000 | #Constraints: 42872
2729.07/2738.40 c #Conflicts: 1162000 | #Constraints: 43872
2729.07/2738.40 c #Conflicts: 1163000 | #Constraints: 44872
2729.07/2738.40 c #Conflicts: 1164000 | #Constraints: 45872
2729.07/2738.40 c #Conflicts: 1165000 | #Constraints: 46872
2729.07/2738.40 c #Conflicts: 1166000 | #Constraints: 47872
2729.07/2738.40 c #Conflicts: 1167000 | #Constraints: 48872
2977.93/2988.19 c #Conflicts: 1168000 | #Constraints: 49872
2977.93/2988.19 c INPROCESSING
2977.93/2988.19 c GARBAGE COLLECT
2977.93/2988.19 c #Conflicts: 1169000 | #Constraints: 29472
2977.93/2988.19 c #Conflicts: 1170000 | #Constraints: 30472
2977.93/2988.19 c #Conflicts: 1171000 | #Constraints: 31472
2977.93/2988.19 c #Conflicts: 1172000 | #Constraints: 32472
2977.93/2988.19 c #Conflicts: 1173000 | #Constraints: 33472
2977.93/2988.19 c #Conflicts: 1174000 | #Constraints: 34472
2977.93/2988.19 c #Conflicts: 1175000 | #Constraints: 35472
2977.93/2988.19 c #Conflicts: 1176000 | #Constraints: 36472
2977.93/2988.19 c #Conflicts: 1177000 | #Constraints: 37472
2977.93/2988.19 c #Conflicts: 1178000 | #Constraints: 38472
2977.93/2988.19 c #Conflicts: 1179000 | #Constraints: 39472
2977.93/2988.19 c #Conflicts: 1180000 | #Constraints: 40472
2977.93/2988.19 c #Conflicts: 1181000 | #Constraints: 41472
2977.93/2988.19 c #Conflicts: 1182000 | #Constraints: 42472
2977.93/2988.19 c #Conflicts: 1183000 | #Constraints: 43472
2977.93/2988.19 c #Conflicts: 1184000 | #Constraints: 44472
2977.93/2988.19 c #Conflicts: 1185000 | #Constraints: 45472
2977.93/2988.19 c #Conflicts: 1186000 | #Constraints: 46472
2977.93/2988.19 c #Conflicts: 1187000 | #Constraints: 47472
2977.93/2988.19 c #Conflicts: 1188000 | #Constraints: 48472
2977.93/2988.19 c #Conflicts: 1189000 | #Constraints: 49472
2977.93/2988.19 c #Conflicts: 1190000 | #Constraints: 50472
2977.93/2988.19 c INPROCESSING
2977.93/2988.19 c GARBAGE COLLECT
2977.93/2988.19 c #Conflicts: 1191000 | #Constraints: 29873
2977.93/2988.19 c #Conflicts: 1192000 | #Constraints: 30873
2977.93/2988.19 c #Conflicts: 1193000 | #Constraints: 31873
2977.93/2988.19 c #Conflicts: 1194000 | #Constraints: 32873
2977.93/2988.19 c #Conflicts: 1195000 | #Constraints: 33873
2977.93/2988.19 c #Conflicts: 1196000 | #Constraints: 34873
2977.93/2988.19 c #Conflicts: 1197000 | #Constraints: 35873
2977.93/2988.19 c #Conflicts: 1198000 | #Constraints: 36873
2977.93/2988.19 c #Conflicts: 1199000 | #Constraints: 37873
2977.93/2988.19 c #Conflicts: 1200000 | #Constraints: 38873
2977.93/2988.19 c #Conflicts: 1201000 | #Constraints: 39873
2977.93/2988.19 c #Conflicts: 1202000 | #Constraints: 40873
2977.93/2988.19 c #Conflicts: 1203000 | #Constraints: 41873
2977.93/2988.19 c #Conflicts: 1204000 | #Constraints: 42873
2977.93/2988.19 c #Conflicts: 1205000 | #Constraints: 43873
2977.93/2988.19 c #Conflicts: 1206000 | #Constraints: 44873
2977.93/2988.19 c #Conflicts: 1207000 | #Constraints: 45873
2977.93/2988.19 c #Conflicts: 1208000 | #Constraints: 46873
2977.93/2988.19 c #Conflicts: 1209000 | #Constraints: 47873
2977.93/2988.19 c #Conflicts: 1210000 | #Constraints: 48873
2977.93/2988.19 c #Conflicts: 1211000 | #Constraints: 49873
2977.93/2988.19 c #Conflicts: 1212000 | #Constraints: 50873
2977.93/2988.19 c INPROCESSING
2977.93/2988.19 c GARBAGE COLLECT
2977.93/2988.19 c #Conflicts: 1213000 | #Constraints: 30069
2977.93/2988.19 c #Conflicts: 1214000 | #Constraints: 31069
2977.93/2988.19 c #Conflicts: 1215000 | #Constraints: 32069
2977.93/2988.19 c #Conflicts: 1216000 | #Constraints: 33069
2977.93/2988.19 c #Conflicts: 1217000 | #Constraints: 34069
2977.93/2988.19 c #Conflicts: 1218000 | #Constraints: 35069
2977.93/2988.19 c #Conflicts: 1219000 | #Constraints: 36069
2977.93/2988.19 c #Conflicts: 1220000 | #Constraints: 37069
2977.93/2988.19 c #Conflicts: 1221000 | #Constraints: 38069
2977.93/2988.19 c #Conflicts: 1222000 | #Constraints: 39069
2977.93/2988.19 c #Conflicts: 1223000 | #Constraints: 40069
2977.93/2988.19 c #Conflicts: 1224000 | #Constraints: 41069
2977.93/2988.19 c #Conflicts: 1225000 | #Constraints: 42069
2977.93/2988.19 c #Conflicts: 1226000 | #Constraints: 43069
2977.93/2988.19 c #Conflicts: 1227000 | #Constraints: 44069
2977.93/2988.19 c #Conflicts: 1228000 | #Constraints: 45069
2977.93/2988.19 c #Conflicts: 1229000 | #Constraints: 46069
2977.93/2988.19 c #Conflicts: 1230000 | #Constraints: 47069
2977.93/2988.19 c #Conflicts: 1231000 | #Constraints: 48069
2977.93/2988.19 c #Conflicts: 1232000 | #Constraints: 49069
2977.93/2988.19 c #Conflicts: 1233000 | #Constraints: 50069
2977.93/2988.19 c #Conflicts: 1234000 | #Constraints: 51069
2977.93/2988.19 c INPROCESSING
2977.93/2988.19 c GARBAGE COLLECT
2977.93/2988.19 c #Conflicts: 1235000 | #Constraints: 30069
2977.93/2988.19 c #Conflicts: 1236000 | #Constraints: 31069
2977.93/2988.19 c #Conflicts: 1237000 | #Constraints: 32069
2977.93/2988.19 c #Conflicts: 1238000 | #Constraints: 33069
2977.93/2988.19 c #Conflicts: 1239000 | #Constraints: 34069
2977.93/2988.19 c #Conflicts: 1240000 | #Constraints: 35069
2977.93/2988.19 c #Conflicts: 1241000 | #Constraints: 36069
2977.93/2988.19 c #Conflicts: 1242000 | #Constraints: 37069
2977.93/2988.19 c #Conflicts: 1243000 | #Constraints: 38069
2977.93/2988.19 c #Conflicts: 1244000 | #Constraints: 39069
3154.22/3165.02 c #Conflicts: 1245000 | #Constraints: 40069
3154.22/3165.02 c #Conflicts: 1246000 | #Constraints: 41069
3154.22/3165.02 c #Conflicts: 1247000 | #Constraints: 42069
3154.22/3165.02 c #Conflicts: 1248000 | #Constraints: 43069
3154.22/3165.02 c #Conflicts: 1249000 | #Constraints: 44069
3154.22/3165.02 c #Conflicts: 1250000 | #Constraints: 45069
3154.22/3165.02 c #Conflicts: 1251000 | #Constraints: 46069
3154.22/3165.02 c #Conflicts: 1252000 | #Constraints: 47069
3154.22/3165.02 c #Conflicts: 1253000 | #Constraints: 48069
3154.22/3165.02 c #Conflicts: 1254000 | #Constraints: 49069
3154.22/3165.02 c #Conflicts: 1255000 | #Constraints: 50069
3154.22/3165.02 c #Conflicts: 1256000 | #Constraints: 51069
3154.22/3165.02 c INPROCESSING
3154.22/3165.02 c GARBAGE COLLECT
3154.22/3165.02 c #Conflicts: 1257000 | #Constraints: 29876
3154.22/3165.02 c #Conflicts: 1258000 | #Constraints: 30876
3154.22/3165.02 c #Conflicts: 1259000 | #Constraints: 31876
3154.22/3165.02 c #Conflicts: 1260000 | #Constraints: 32876
3154.22/3165.02 c #Conflicts: 1261000 | #Constraints: 33876
3154.22/3165.02 c #Conflicts: 1262000 | #Constraints: 34876
3154.22/3165.02 c #Conflicts: 1263000 | #Constraints: 35876
3154.22/3165.02 c #Conflicts: 1264000 | #Constraints: 36876
3154.22/3165.02 c #Conflicts: 1265000 | #Constraints: 37876
3154.22/3165.02 c #Conflicts: 1266000 | #Constraints: 38876
3154.22/3165.02 c #Conflicts: 1267000 | #Constraints: 39876
3154.22/3165.02 c #Conflicts: 1268000 | #Constraints: 40876
3154.22/3165.02 c #Conflicts: 1269000 | #Constraints: 41876
3154.22/3165.02 c #Conflicts: 1270000 | #Constraints: 42876
3154.22/3165.02 c #Conflicts: 1271000 | #Constraints: 43876
3154.22/3165.02 c #Conflicts: 1272000 | #Constraints: 44876
3154.22/3165.02 c #Conflicts: 1273000 | #Constraints: 45876
3154.22/3165.02 c #Conflicts: 1274000 | #Constraints: 46876
3154.22/3165.02 c #Conflicts: 1275000 | #Constraints: 47876
3154.22/3165.02 c #Conflicts: 1276000 | #Constraints: 48876
3154.22/3165.02 c #Conflicts: 1277000 | #Constraints: 49876
3154.22/3165.02 c #Conflicts: 1278000 | #Constraints: 50876
3154.22/3165.02 c #Conflicts: 1279000 | #Constraints: 51876
3154.22/3165.02 c INPROCESSING
3154.22/3165.02 c GARBAGE COLLECT
3154.22/3165.02 c #Conflicts: 1280000 | #Constraints: 30476
3154.22/3165.02 c #Conflicts: 1281000 | #Constraints: 31476
3154.22/3165.02 c #Conflicts: 1282000 | #Constraints: 32476
3154.22/3165.02 c #Conflicts: 1283000 | #Constraints: 33476
3154.22/3165.02 c #Conflicts: 1284000 | #Constraints: 34476
3154.22/3165.02 c #Conflicts: 1285000 | #Constraints: 35476
3154.22/3165.02 c #Conflicts: 1286000 | #Constraints: 36476
3154.22/3165.02 c #Conflicts: 1287000 | #Constraints: 37476
3154.22/3165.02 c #Conflicts: 1288000 | #Constraints: 38476
3154.22/3165.02 c #Conflicts: 1289000 | #Constraints: 39476
3154.22/3165.02 c #Conflicts: 1290000 | #Constraints: 40476
3154.22/3165.02 c #Conflicts: 1291000 | #Constraints: 41476
3154.22/3165.02 c #Conflicts: 1292000 | #Constraints: 42476
3154.22/3165.02 c #Conflicts: 1293000 | #Constraints: 43476
3154.22/3165.02 c #Conflicts: 1294000 | #Constraints: 44476
3154.22/3165.02 c #Conflicts: 1295000 | #Constraints: 45476
3154.22/3165.02 c #Conflicts: 1296000 | #Constraints: 46476
3154.22/3165.02 c #Conflicts: 1297000 | #Constraints: 47476
3154.22/3165.02 c #Conflicts: 1298000 | #Constraints: 48476
3154.22/3165.02 c #Conflicts: 1299000 | #Constraints: 49476
3154.22/3165.02 c #Conflicts: 1300000 | #Constraints: 50476
3154.22/3165.02 c #Conflicts: 1301000 | #Constraints: 51476
3154.22/3165.02 c #Conflicts: 1302000 | #Constraints: 52476
3154.22/3165.02 c INPROCESSING
3154.22/3165.02 c GARBAGE COLLECT
3154.22/3165.02 c #Conflicts: 1303000 | #Constraints: 30876
3154.22/3165.02 c #Conflicts: 1304000 | #Constraints: 31876
3154.22/3165.02 c #Conflicts: 1305000 | #Constraints: 32876
3154.22/3165.02 c #Conflicts: 1306000 | #Constraints: 33876
3154.22/3165.02 c #Conflicts: 1307000 | #Constraints: 34876
3154.22/3165.02 c #Conflicts: 1308000 | #Constraints: 35876
3154.22/3165.02 c #Conflicts: 1309000 | #Constraints: 36876
3154.22/3165.02 c #Conflicts: 1310000 | #Constraints: 37876
3154.22/3165.02 c #Conflicts: 1311000 | #Constraints: 38876
3154.22/3165.02 c #Conflicts: 1312000 | #Constraints: 39876
3154.22/3165.02 c #Conflicts: 1313000 | #Constraints: 40876
3154.22/3165.02 c #Conflicts: 1314000 | #Constraints: 41876
3154.22/3165.02 c #Conflicts: 1315000 | #Constraints: 42876
3154.22/3165.02 c #Conflicts: 1316000 | #Constraints: 43876
3154.22/3165.02 c #Conflicts: 1317000 | #Constraints: 44876
3154.22/3165.02 c #Conflicts: 1318000 | #Constraints: 45876
3154.22/3165.02 c #Conflicts: 1319000 | #Constraints: 46876
3154.22/3165.02 c #Conflicts: 1320000 | #Constraints: 47876
3357.93/3369.45 c #Conflicts: 1321000 | #Constraints: 48876
3357.93/3369.45 c #Conflicts: 1322000 | #Constraints: 49876
3357.93/3369.45 c #Conflicts: 1323000 | #Constraints: 50876
3357.93/3369.45 c #Conflicts: 1324000 | #Constraints: 51876
3357.93/3369.45 c #Conflicts: 1325000 | #Constraints: 52876
3357.93/3369.45 c INPROCESSING
3357.93/3369.45 c GARBAGE COLLECT
3357.93/3369.45 c #Conflicts: 1326000 | #Constraints: 31079
3357.93/3369.45 c #Conflicts: 1327000 | #Constraints: 32079
3357.93/3369.45 c #Conflicts: 1328000 | #Constraints: 33079
3357.93/3369.45 c #Conflicts: 1329000 | #Constraints: 34079
3357.93/3369.45 c #Conflicts: 1330000 | #Constraints: 35079
3357.93/3369.45 c #Conflicts: 1331000 | #Constraints: 36079
3357.93/3369.45 c #Conflicts: 1332000 | #Constraints: 37079
3357.93/3369.45 c #Conflicts: 1333000 | #Constraints: 38079
3357.93/3369.45 c #Conflicts: 1334000 | #Constraints: 39079
3357.93/3369.45 c #Conflicts: 1335000 | #Constraints: 40079
3357.93/3369.45 c #Conflicts: 1336000 | #Constraints: 41079
3357.93/3369.45 c #Conflicts: 1337000 | #Constraints: 42079
3357.93/3369.45 c #Conflicts: 1338000 | #Constraints: 43079
3357.93/3369.45 c #Conflicts: 1339000 | #Constraints: 44079
3357.93/3369.45 c #Conflicts: 1340000 | #Constraints: 45079
3357.93/3369.45 c #Conflicts: 1341000 | #Constraints: 46079
3357.93/3369.45 c #Conflicts: 1342000 | #Constraints: 47079
3357.93/3369.45 c #Conflicts: 1343000 | #Constraints: 48079
3357.93/3369.45 c #Conflicts: 1344000 | #Constraints: 49079
3357.93/3369.45 c #Conflicts: 1345000 | #Constraints: 50079
3357.93/3369.45 c #Conflicts: 1346000 | #Constraints: 51079
3357.93/3369.45 c #Conflicts: 1347000 | #Constraints: 52079
3357.93/3369.45 c #Conflicts: 1348000 | #Constraints: 53079
3357.93/3369.45 c INPROCESSING
3357.93/3369.45 c GARBAGE COLLECT
3357.93/3369.45 c #Conflicts: 1349000 | #Constraints: 31079
3357.93/3369.45 c #Conflicts: 1350000 | #Constraints: 32079
3357.93/3369.45 c #Conflicts: 1351000 | #Constraints: 33079
3357.93/3369.45 c #Conflicts: 1352000 | #Constraints: 34079
3357.93/3369.45 c #Conflicts: 1353000 | #Constraints: 35079
3357.93/3369.45 c #Conflicts: 1354000 | #Constraints: 36079
3357.93/3369.45 c #Conflicts: 1355000 | #Constraints: 37079
3357.93/3369.45 c #Conflicts: 1356000 | #Constraints: 38079
3357.93/3369.45 c #Conflicts: 1357000 | #Constraints: 39079
3357.93/3369.45 c #Conflicts: 1358000 | #Constraints: 40079
3357.93/3369.45 c #Conflicts: 1359000 | #Constraints: 41079
3357.93/3369.45 c #Conflicts: 1360000 | #Constraints: 42079
3357.93/3369.45 c #Conflicts: 1361000 | #Constraints: 43079
3357.93/3369.45 c #Conflicts: 1362000 | #Constraints: 44079
3357.93/3369.45 c #Conflicts: 1363000 | #Constraints: 45079
3357.93/3369.45 c #Conflicts: 1364000 | #Constraints: 46079
3357.93/3369.45 c #Conflicts: 1365000 | #Constraints: 47079
3357.93/3369.45 c #Conflicts: 1366000 | #Constraints: 48079
3357.93/3369.45 c #Conflicts: 1367000 | #Constraints: 49079
3357.93/3369.45 c #Conflicts: 1368000 | #Constraints: 50079
3357.93/3369.45 c #Conflicts: 1369000 | #Constraints: 51079
3357.93/3369.45 c #Conflicts: 1370000 | #Constraints: 52079
3357.93/3369.45 c #Conflicts: 1371000 | #Constraints: 53079
3357.93/3369.45 c INPROCESSING
3357.93/3369.45 c GARBAGE COLLECT
3357.93/3369.45 c #Conflicts: 1372000 | #Constraints: 30876
3357.93/3369.45 c #Conflicts: 1373000 | #Constraints: 31876
3357.93/3369.45 c #Conflicts: 1374000 | #Constraints: 32876
3357.93/3369.45 c #Conflicts: 1375000 | #Constraints: 33876
3357.93/3369.45 c #Conflicts: 1376000 | #Constraints: 34876
3357.93/3369.45 c #Conflicts: 1377000 | #Constraints: 35876
3357.93/3369.45 c #Conflicts: 1378000 | #Constraints: 36876
3357.93/3369.45 c #Conflicts: 1379000 | #Constraints: 37876
3357.93/3369.45 c #Conflicts: 1380000 | #Constraints: 38876
3357.93/3369.45 c #Conflicts: 1381000 | #Constraints: 39876
3357.93/3369.45 c #Conflicts: 1382000 | #Constraints: 40876
3357.93/3369.45 c #Conflicts: 1383000 | #Constraints: 41876
3357.93/3369.45 c #Conflicts: 1384000 | #Constraints: 42876
3357.93/3369.45 c #Conflicts: 1385000 | #Constraints: 43876
3357.93/3369.45 c #Conflicts: 1386000 | #Constraints: 44876
3357.93/3369.45 c #Conflicts: 1387000 | #Constraints: 45876
3357.93/3369.45 c #Conflicts: 1388000 | #Constraints: 46876
3357.93/3369.45 c #Conflicts: 1389000 | #Constraints: 47876
3357.93/3369.45 c #Conflicts: 1390000 | #Constraints: 48876
3357.93/3369.45 c #Conflicts: 1391000 | #Constraints: 49876
3357.93/3369.45 c #Conflicts: 1392000 | #Constraints: 50876
3357.93/3369.45 c #Conflicts: 1393000 | #Constraints: 51876
3357.93/3369.45 c #Conflicts: 1394000 | #Constraints: 52876
3357.93/3369.45 c #Conflicts: 1395000 | #Constraints: 53876
3357.93/3369.45 c INPROCESSING
3357.93/3369.45 c GARBAGE COLLECT
3357.93/3369.45 c #Conflicts: 1396000 | #Constraints: 31474
3357.93/3369.45 c #Conflicts: 1397000 | #Constraints: 32474
3530.63/3542.77 c #Conflicts: 1398000 | #Constraints: 33474
3530.63/3542.77 c #Conflicts: 1399000 | #Constraints: 34474
3530.63/3542.77 c #Conflicts: 1400000 | #Constraints: 35474
3530.63/3542.77 c #Conflicts: 1401000 | #Constraints: 36474
3530.63/3542.77 c #Conflicts: 1402000 | #Constraints: 37474
3530.63/3542.77 c #Conflicts: 1403000 | #Constraints: 38474
3530.63/3542.77 c #Conflicts: 1404000 | #Constraints: 39474
3530.63/3542.77 c #Conflicts: 1405000 | #Constraints: 40474
3530.63/3542.77 c #Conflicts: 1406000 | #Constraints: 41474
3530.63/3542.77 c #Conflicts: 1407000 | #Constraints: 42474
3530.63/3542.77 c #Conflicts: 1408000 | #Constraints: 43474
3530.63/3542.77 c #Conflicts: 1409000 | #Constraints: 44474
3530.63/3542.77 c #Conflicts: 1410000 | #Constraints: 45474
3530.63/3542.77 c #Conflicts: 1411000 | #Constraints: 46474
3530.63/3542.77 c #Conflicts: 1412000 | #Constraints: 47474
3530.63/3542.77 c #Conflicts: 1413000 | #Constraints: 48474
3530.63/3542.77 c #Conflicts: 1414000 | #Constraints: 49474
3530.63/3542.77 c #Conflicts: 1415000 | #Constraints: 50474
3530.63/3542.77 c #Conflicts: 1416000 | #Constraints: 51474
3530.63/3542.77 c #Conflicts: 1417000 | #Constraints: 52474
3530.63/3542.77 c #Conflicts: 1418000 | #Constraints: 53474
3530.63/3542.77 c #Conflicts: 1419000 | #Constraints: 54474
3530.63/3542.77 c INPROCESSING
3530.63/3542.77 c GARBAGE COLLECT
3530.63/3542.77 c #Conflicts: 1420000 | #Constraints: 31875
3530.63/3542.77 c #Conflicts: 1421000 | #Constraints: 32875
3530.63/3542.77 c #Conflicts: 1422000 | #Constraints: 33875
3530.63/3542.77 c #Conflicts: 1423000 | #Constraints: 34875
3530.63/3542.77 c #Conflicts: 1424000 | #Constraints: 35875
3530.63/3542.77 c #Conflicts: 1425000 | #Constraints: 36875
3530.63/3542.77 c #Conflicts: 1426000 | #Constraints: 37875
3530.63/3542.77 c #Conflicts: 1427000 | #Constraints: 38875
3530.63/3542.77 c #Conflicts: 1428000 | #Constraints: 39875
3530.63/3542.77 c #Conflicts: 1429000 | #Constraints: 40875
3530.63/3542.77 c #Conflicts: 1430000 | #Constraints: 41875
3530.63/3542.77 c #Conflicts: 1431000 | #Constraints: 42875
3530.63/3542.77 c #Conflicts: 1432000 | #Constraints: 43875
3530.63/3542.77 c #Conflicts: 1433000 | #Constraints: 44875
3530.63/3542.77 c #Conflicts: 1434000 | #Constraints: 45875
3530.63/3542.77 c #Conflicts: 1435000 | #Constraints: 46875
3530.63/3542.77 c #Conflicts: 1436000 | #Constraints: 47875
3530.63/3542.77 c #Conflicts: 1437000 | #Constraints: 48875
3530.63/3542.77 c #Conflicts: 1438000 | #Constraints: 49875
3530.63/3542.77 c #Conflicts: 1439000 | #Constraints: 50875
3530.63/3542.77 c #Conflicts: 1440000 | #Constraints: 51875
3530.63/3542.77 c #Conflicts: 1441000 | #Constraints: 52876
3530.63/3542.77 c #Conflicts: 1442000 | #Constraints: 53876
3530.63/3542.77 c #Conflicts: 1443000 | #Constraints: 54876
3530.63/3542.77 c INPROCESSING
3530.63/3542.77 c GARBAGE COLLECT
3530.63/3542.77 c #Conflicts: 1444000 | #Constraints: 25562
3530.63/3542.77 c #Conflicts: 1445000 | #Constraints: 26562
3530.63/3542.77 c #Conflicts: 1446000 | #Constraints: 27562
3530.63/3542.77 c #Conflicts: 1447000 | #Constraints: 28562
3530.63/3542.77 c #Conflicts: 1448000 | #Constraints: 29562
3530.63/3542.77 c #Conflicts: 1449000 | #Constraints: 30562
3530.63/3542.77 c #Conflicts: 1450000 | #Constraints: 31562
3530.63/3542.77 c #Conflicts: 1451000 | #Constraints: 32562
3530.63/3542.77 c #Conflicts: 1452000 | #Constraints: 33562
3530.63/3542.77 c #Conflicts: 1453000 | #Constraints: 34562
3530.63/3542.77 c #Conflicts: 1454000 | #Constraints: 35562
3530.63/3542.77 c #Conflicts: 1455000 | #Constraints: 36562
3530.63/3542.77 c #Conflicts: 1456000 | #Constraints: 37562
3530.63/3542.77 c #Conflicts: 1457000 | #Constraints: 38562
3530.63/3542.77 c #Conflicts: 1458000 | #Constraints: 39562
3530.63/3542.77 c #Conflicts: 1459000 | #Constraints: 40562
3530.63/3542.77 c #Conflicts: 1460000 | #Constraints: 41562
3530.63/3542.77 c #Conflicts: 1461000 | #Constraints: 42562
3530.63/3542.77 c #Conflicts: 1462000 | #Constraints: 43562
3530.63/3542.77 c #Conflicts: 1463000 | #Constraints: 44562
3530.63/3542.77 c #Conflicts: 1464000 | #Constraints: 45562
3530.63/3542.77 c #Conflicts: 1465000 | #Constraints: 46562
3530.63/3542.77 c #Conflicts: 1466000 | #Constraints: 47562
3530.63/3542.77 c #Conflicts: 1467000 | #Constraints: 48562
3530.63/3542.77 c INPROCESSING
3530.63/3542.77 c GARBAGE COLLECT
3530.63/3542.77 c #Conflicts: 1468000 | #Constraints: 28819
3530.63/3542.77 c #Conflicts: 1469000 | #Constraints: 29819
3530.63/3542.77 c #Conflicts: 1470000 | #Constraints: 30819
3530.63/3542.77 c #Conflicts: 1471000 | #Constraints: 31819
3530.63/3542.77 c #Conflicts: 1472000 | #Constraints: 32819
3530.63/3542.77 c #Conflicts: 1473000 | #Constraints: 33819
3600.06/3612.40 c #Conflicts: 1474000 | #Constraints: 34819
3600.06/3612.40 c #Conflicts: 1475000 | #Constraints: 35819
3600.06/3612.40 c #Conflicts: 1476000 | #Constraints: 36819
3600.06/3612.40 c #Conflicts: 1477000 | #Constraints: 37819
3600.06/3612.40 c #Conflicts: 1478000 | #Constraints: 38819
3600.06/3612.40 c #Conflicts: 1479000 | #Constraints: 39819
3600.06/3612.40 c #Conflicts: 1480000 | #Constraints: 40819
3600.06/3612.40 c #Conflicts: 1481000 | #Constraints: 41819
3600.06/3612.40 c #Conflicts: 1482000 | #Constraints: 42819
3600.06/3612.40 c #Conflicts: 1483000 | #Constraints: 43819
3600.06/3612.40 c #Conflicts: 1484000 | #Constraints: 44819
3600.06/3612.40 c #Conflicts: 1485000 | #Constraints: 45819
3600.06/3612.40 c #Conflicts: 1486000 | #Constraints: 46819
3600.06/3612.40 c #Conflicts: 1487000 | #Constraints: 47819
3600.06/3612.40 c #Conflicts: 1488000 | #Constraints: 48819
3600.06/3612.40 c #Conflicts: 1489000 | #Constraints: 49819
3600.06/3612.40 c #Conflicts: 1490000 | #Constraints: 50819
3600.06/3612.40 c #Conflicts: 1491000 | #Constraints: 51819
3600.06/3612.40 c INPROCESSING
3600.06/3612.40 c GARBAGE COLLECT
3600.06/3612.40 c #Conflicts: 1492000 | #Constraints: 30248
3600.06/3612.40 c #Conflicts: 1493000 | #Constraints: 31248
3600.06/3612.40 c #Conflicts: 1494000 | #Constraints: 32248
3600.06/3612.40 c #Conflicts: 1495000 | #Constraints: 33248
3600.06/3612.40 c #Conflicts: 1496000 | #Constraints: 34248
3600.06/3612.40 c #Conflicts: 1497000 | #Constraints: 35248
3600.06/3612.40 c #Conflicts: 1498000 | #Constraints: 36248
3600.06/3612.40 c #Conflicts: 1499000 | #Constraints: 37248
3600.06/3612.40 c #Conflicts: 1500000 | #Constraints: 38248
3600.06/3612.40 c #Conflicts: 1501000 | #Constraints: 39248
3600.06/3612.40 c #Conflicts: 1502000 | #Constraints: 40248
3600.06/3612.40 c #Conflicts: 1503000 | #Constraints: 41248
3600.06/3612.40 c #Conflicts: 1504000 | #Constraints: 42248
3600.06/3612.40 c #Conflicts: 1505000 | #Constraints: 43248
3600.06/3612.40 c #Conflicts: 1506000 | #Constraints: 44248
3600.06/3612.40 c cpu time 3575.79 s
3600.06/3612.40 c deterministic time 244745033531 2.45e+11
3600.06/3612.40 c optimization time 37.5455 s
3600.06/3612.40 c total solve time 3537.72 s
3600.06/3612.40 c core-guided solve time 1864.93 s
3600.06/3612.40 c propagation time 1978.99 s
3600.06/3612.40 c conflict analysis time 86.273 s
3600.06/3612.40 c propagations 28827545
3600.06/3612.40 c resolve steps 4516083
3600.06/3612.40 c decisions 6493610
3600.06/3612.40 c conflicts 1506372
3600.06/3612.40 c restarts 2946
3600.06/3612.40 c inprocessing phases 113
3600.06/3612.40 c garbage collections 113 ,( 100.00 )
3600.06/3612.40 c input clauses 3250 ,( 39.03 )
3600.06/3612.40 c input cardinalities 601 ,( 7.22 )
3600.06/3612.40 c input general constraints 4476 ,( 53.75 )
3600.06/3612.40 c input average constraint length 259.23
3600.06/3612.40 c input average constraint degree 33007701496170.45
3600.06/3612.40 c learned clauses 762026 ,( 50.59 )
3600.06/3612.40 c learned cardinalities 101 ,( 0.01 )
3600.06/3612.40 c learned general constraints 744292 ,( 49.41 )
3600.06/3612.40 c learned average constraint length 89.00
3600.06/3612.40 c learned average constraint degree 505458961.03
3600.06/3612.40 c watched CF 32, 64, 128, Arb: 182827 , 0 , 0 , 0
3600.06/3612.40 c counting CF 32, 64, 128, Arb: 562732 , 3210 , 0 , 0
3600.06/3612.40 c watched constraints 182827 ,( 24.42 )
3600.06/3612.40 c counting constraints 565941 ,( 75.58 )
3600.06/3612.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 47580550 , 984289 , 13230381123 ,( 64785102 , 13165596021 )
3600.06/3612.40 c gcd simplifications 877667
3600.06/3612.40 c detected cardinalities 424
3600.06/3612.40 c weakened non-implied lits 10797161
3600.06/3612.40 c weakened non-implying lits 2307370
3600.06/3612.40 c original variables 155191
3600.06/3612.40 c clausal propagations 488139
3600.06/3612.40 c cardinality propagations 207072
3600.06/3612.40 c watched propagations 564129
3600.06/3612.40 c counting propagations 25453582
3600.06/3612.40 c watch lookups 14699392221
3600.06/3612.40 c watch backjump lookups 0
3600.06/3612.40 c watch checks 1528832292
3600.06/3612.40 c propagation checks 227518030919
3600.06/3612.40 c constraint additions 923658486
3600.06/3612.40 c trail pops 36751778
3600.06/3612.40 c formula constraints 7579
3600.06/3612.40 c learned constraints 1506375
3600.06/3612.40 c bound constraints 149
3600.06/3612.40 c core-guided constraints 599
3600.06/3612.40 c encountered formula constraints 3597621
3600.06/3612.40 c encountered learned constraints 2268108
3600.06/3612.40 c encountered bound constraints 0
3600.06/3612.40 c encountered core-guided constraints 139616
3600.06/3612.40 c LP total time 2729.87 s
3600.06/3612.40 c LP solve time 2728.67 s
3600.06/3612.40 c LP constraints added 7579
3600.06/3612.40 c LP constraints removed 0
3600.06/3612.40 c LP pivots internal 1527084
3600.06/3612.40 c LP pivots root 1519595
3600.06/3612.40 c LP calls 118
3600.06/3612.40 c LP optimalities 0
3600.06/3612.40 c LP no pivot count 0
3600.06/3612.40 c LP infeasibilities 50
3600.06/3612.40 c LP valid Farkas constraints 23
3600.06/3612.40 c LP learned Farkas constraints 21
3600.06/3612.40 c LP basis resets 71
3600.06/3612.40 c LP cycling count 0
3600.06/3612.40 c LP singular count 61
3600.06/3612.40 c LP no primal count 0
3600.06/3612.40 c LP no farkas count 10
3600.06/3612.40 c LP other issue count 0
3600.06/3612.40 c LP Gomory cuts 0
3600.06/3612.40 c LP learned cuts 0
3600.06/3612.40 c LP deleted cuts 0
3600.06/3612.40 c LP encountered Gomory constraints 0
3600.06/3612.40 c LP encountered Farkas constraints 17085
3600.06/3612.40 c LP encountered learned Farkas constraints 4
3600.06/3612.40 c CG auxiliary variables introduced 247
3600.06/3612.40 c CG solutions found 0
3600.06/3612.40 c CG cores constructed 149
3600.06/3612.40 c CG core cardinality constraints returned 2
3600.06/3612.40 c CG unit cores 5
3600.06/3612.40 c CG single cores 137
3600.06/3612.40 c CG blocks removed during cardinality reduction 214
3600.06/3612.40 c CG first core best 0
3600.06/3612.40 c CG decision core best 5
3600.06/3612.40 c CG core reduction tie 2
3600.06/3612.40 c CG core degree average 1.01
3600.06/3612.40 c CG core slack average 5.35
3600.06/3612.40 c CG core upper bound improvements 0
3600.06/3612.40 c STR number of successful calls 0
3600.06/3612.40 c STR number of unsuccessful calls 0
3600.06/3612.40 c STR number of inconclusive calls 0
3600.06/3612.40 c STR number of successful attempts 0
3600.06/3612.40 c STR number of unsuccessful attempts 0
3600.06/3612.40 c STR number of inconclusive attempts 0
3600.06/3612.40 c STR average degree increase per successful call inf
3600.06/3612.40 c STR average degree increase per successful attempt inf
3600.06/3612.40 c STR total number of conflicts for successful attempts 0
3600.06/3612.40 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3612.40 c STR total number of conflicts for inconclusive attempts 0
3600.06/3612.40 c STR average number of conflicts per successful attempt inf
3600.06/3612.40 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3612.40 c STR average number of conflicts per inconclusive attempt inf
3600.06/3612.40 c AVG.sumWPerc 73.70
3600.06/3612.40 c bigint constraints 3210
3600.06/3612.40 s UNKNOWN
3600.06/3612.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63236 MiB free)
memory of node 1: 64465 MiB (63723 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485736-1751308990/watcher-4485736-1751308990 -o /tmp/evaluation-result-4485736-1751308990/solver-4485736-1751308990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751305374-39324 --watchdog 3760 run-opt-ls.sh HOME/instance-4485736-1751308990.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39801, runsolver pid=39798
[startup+0.100067 s]*
/proc/loadavg: 4.17 4.11 4.09 5/255 39803
/proc/meminfo: memFree=129990760/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39803] ppid=39801 vsize=28224 memory=20924 CPUtime=0.08 cores=1,3
/proc/39803/stat : 39803 (pbsuma) R 39801 39801 39312 0 -1 4194304 4140 0 0 0 7 1 0 0 20 0 1 0 46578193 28901376 5231 18446744073709551615 4210688 4653049 140723035165744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14884864 140723035167075 140723035167282 140723035167282 140723035172847 0
/proc/39803/statm: 7056 5231 960 108 0 4464 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 32416 KiB
Current children cumulated memory: 23996 KiB
[startup+0.212335 s]*
/proc/loadavg: 4.17 4.11 4.09 5/255 39803
/proc/meminfo: memFree=129990760/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39803] ppid=39801 vsize=37804 memory=29876 CPUtime=0.2 cores=1,3
/proc/39803/stat : 39803 (pbsuma) R 39801 39801 39312 0 -1 4194304 6609 0 0 0 18 2 0 0 20 0 1 0 46578193 38711296 7469 18446744073709551615 4210688 4653049 140723035165744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14884864 140723035167075 140723035167282 140723035167282 140723035172847 0
/proc/39803/statm: 9451 7469 960 108 0 6859 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41996 KiB
Current children cumulated memory: 32948 KiB
[startup+0.310789 s]*
/proc/loadavg: 4.17 4.11 4.09 5/255 39803
/proc/meminfo: memFree=129990760/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39803] ppid=39801 vsize=43992 memory=35624 CPUtime=0.3 cores=1,3
/proc/39803/stat : 39803 (pbsuma) R 39801 39801 39312 0 -1 4194304 7949 0 0 0 27 3 0 0 20 0 1 0 46578193 45047808 8906 18446744073709551615 4210688 4653049 140723035165744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14884864 140723035167075 140723035167282 140723035167282 140723035172847 0
/proc/39803/statm: 10998 8906 960 108 0 8406 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48184 KiB
Current children cumulated memory: 38696 KiB
[startup+0.700379 s]
/proc/loadavg: 4.17 4.11 4.09 5/255 39803
/proc/meminfo: memFree=129980804/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39803] ppid=39801 vsize=204108 memory=185532 CPUtime=0.67 cores=1,3
/proc/39803/stat : 39803 (pbsuma) R 39801 39801 39312 0 -1 4194304 18448 0 0 0 58 9 0 0 20 0 1 0 46578193 209006592 46383 18446744073709551615 4210688 4653049 140723035165744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14884864 140723035167075 140723035167282 140723035167282 140723035172847 0
/proc/39803/statm: 51027 46383 992 108 0 48435 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 208300 KiB
Current children cumulated memory: 188604 KiB
[startup+1.50038 s]
/proc/loadavg: 4.17 4.11 4.09 5/255 39803
/proc/meminfo: memFree=129863484/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39803] ppid=39801 vsize=240044 memory=178884 CPUtime=1.47 cores=1,3
/proc/39803/stat : 39803 (pbsuma) R 39801 39801 39312 0 -1 4194304 40265 0 0 0 129 18 0 0 20 0 1 0 46578193 245805056 44721 18446744073709551615 4210688 4653049 140723035165744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14884864 140723035167075 140723035167282 140723035167282 140723035172847 0
/proc/39803/statm: 60011 44721 1024 108 0 57419 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 244236 KiB
Current children cumulated memory: 181956 KiB
[startup+3.11292 s]
/proc/loadavg: 4.15 4.11 4.09 5/255 39804
/proc/meminfo: memFree=129663820/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=215892 memory=171768 CPUtime=1.57 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 36161 0 0 0 149 8 0 0 20 0 1 0 46578345 221073408 42942 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 53973 42942 2368 1147 0 41400 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 220084 KiB
Current children cumulated memory: 174840 KiB
[startup+6.3004 s]
/proc/loadavg: 4.15 4.11 4.09 5/255 39804
/proc/meminfo: memFree=129440716/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=215892 memory=171768 CPUtime=4.75 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 36163 0 0 0 467 8 0 0 20 0 1 0 46578345 221073408 42942 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 53973 42942 2368 1147 0 41400 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 220084 KiB
Current children cumulated memory: 174840 KiB
[startup+12.7004 s]
/proc/loadavg: 4.28 4.14 4.10 5/255 39804
/proc/meminfo: memFree=129261204/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=215892 memory=171768 CPUtime=11.13 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 36165 0 0 0 1105 8 0 0 20 0 1 0 46578345 221073408 42942 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 53973 42942 2368 1147 0 41400 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 220084 KiB
Current children cumulated memory: 174840 KiB
[startup+25.5004 s]
/proc/loadavg: 4.23 4.13 4.10 5/255 39805
/proc/meminfo: memFree=129156404/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=215892 memory=171768 CPUtime=23.9 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 36165 0 0 0 2382 8 0 0 20 0 1 0 46578345 221073408 42942 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 53973 42942 2368 1147 0 41400 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 220084 KiB
Current children cumulated memory: 174840 KiB
[startup+51.113 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 39805
/proc/meminfo: memFree=128813476/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=385076 memory=318424 CPUtime=49.42 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 53854 0 0 0 4911 31 0 0 20 0 1 0 46578345 394317824 79606 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 96269 79606 2464 1147 0 83696 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 389268 KiB
Current children cumulated memory: 321496 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/255 39807
/proc/meminfo: memFree=127919780/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=411568 memory=348200 CPUtime=100.44 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 56575 0 0 0 9979 65 0 0 20 0 1 0 46578345 421445632 87050 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 102892 87050 2528 1147 0 90319 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 415760 KiB
Current children cumulated memory: 351272 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 39809
/proc/meminfo: memFree=127169908/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=449864 memory=386416 CPUtime=160.23 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 59739 0 0 0 15907 116 0 0 20 0 1 0 46578345 460660736 96604 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 112466 96604 2528 1147 0 99893 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 454056 KiB
Current children cumulated memory: 389488 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 39811
/proc/meminfo: memFree=127066164/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=479172 memory=415436 CPUtime=220.03 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 61388 0 0 0 21848 155 0 0 20 0 1 0 46578345 490672128 103859 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 119793 103859 2528 1147 0 107220 0
################
# More data... #
################
/proc/39804/statm: 161955 143346 2560 1147 0 149382 0
Current children cumulated CPU time: 3031.94 s
Current children cumulated vsize: 652012 KiB
Current children cumulated memory: 576456 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/254 39955
/proc/meminfo: memFree=116315764/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=647820 memory=573384 CPUtime=3090.22 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 107670 0 0 0 307027 1995 0 0 20 0 1 0 46578345 663367680 143346 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 161955 143346 2560 1147 0 149382 0
Current children cumulated CPU time: 3091.72 s
Current children cumulated vsize: 652012 KiB
Current children cumulated memory: 576456 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/254 39957
/proc/meminfo: memFree=116271440/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=647820 memory=573384 CPUtime=3150.01 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 107684 0 0 0 312978 2023 0 0 20 0 1 0 46578345 663367680 143346 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 161955 143346 2560 1147 0 149382 0
Current children cumulated CPU time: 3151.51 s
Current children cumulated vsize: 652012 KiB
Current children cumulated memory: 576456 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/254 39959
/proc/meminfo: memFree=116221596/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=647820 memory=573384 CPUtime=3209.81 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 107684 0 0 0 318928 2053 0 0 20 0 1 0 46578345 663367680 143346 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 161955 143346 2560 1147 0 149382 0
Current children cumulated CPU time: 3211.31 s
Current children cumulated vsize: 652012 KiB
Current children cumulated memory: 576456 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/253 39961
/proc/meminfo: memFree=116189324/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=647820 memory=573384 CPUtime=3269.61 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 107684 0 0 0 324876 2085 0 0 20 0 1 0 46578345 663367680 143346 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 161955 143346 2560 1147 0 149382 0
Current children cumulated CPU time: 3271.11 s
Current children cumulated vsize: 652012 KiB
Current children cumulated memory: 576456 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.15 4.15 5/253 39963
/proc/meminfo: memFree=116136100/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=647820 memory=573384 CPUtime=3329.41 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 107689 0 0 0 330819 2122 0 0 20 0 1 0 46578345 663367680 143346 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 161955 143346 2560 1147 0 149382 0
Current children cumulated CPU time: 3330.91 s
Current children cumulated vsize: 652012 KiB
Current children cumulated memory: 576456 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/253 39965
/proc/meminfo: memFree=116086584/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=649876 memory=577152 CPUtime=3389.22 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 108116 0 0 0 336754 2168 0 0 20 0 1 0 46578345 665473024 144288 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 162469 144288 2560 1147 0 149896 0
Current children cumulated CPU time: 3390.72 s
Current children cumulated vsize: 654068 KiB
Current children cumulated memory: 580224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/253 39967
/proc/meminfo: memFree=116043028/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=663124 memory=590664 CPUtime=3449.01 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 108967 0 0 0 342703 2198 0 0 20 0 1 0 46578345 679038976 147666 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 165781 147666 2560 1147 0 153208 0
Current children cumulated CPU time: 3450.51 s
Current children cumulated vsize: 667316 KiB
Current children cumulated memory: 593736 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/254 39969
/proc/meminfo: memFree=115954060/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=659800 memory=587336 CPUtime=3508.8 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 110281 0 0 0 348651 2229 0 0 20 0 1 0 46578345 675635200 146834 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 164950 146834 2560 1147 0 152377 0
Current children cumulated CPU time: 3510.3 s
Current children cumulated vsize: 663992 KiB
Current children cumulated memory: 590408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.39 4.19 4.16 5/254 39973
/proc/meminfo: memFree=115786916/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=665264 memory=592584 CPUtime=3568.59 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 113207 0 0 0 354597 2262 0 0 20 0 1 0 46578345 681230336 148146 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 166316 148146 2560 1147 0 153743 0
Current children cumulated CPU time: 3570.09 s
Current children cumulated vsize: 669456 KiB
Current children cumulated memory: 595656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.55 4.25 4.18 5/251 40159
/proc/meminfo: memFree=129353332/131382120 swapFree=33010160/33010684
[pid=39801] ppid=39798 vsize=4192 memory=3072 CPUtime=1.5 cores=1,3
/proc/39801/stat : 39801 (run-opt-ls.sh) S 39798 39801 39312 0 -1 4194304 238 40268 0 0 0 0 131 19 20 0 1 0 46578192 4292608 768 18446744073709551615 93880093270016 93880094164549 140729145800496 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93880094403600 93880094451344 93880095641600 140729145805159 140729145805285 140729145805285 140729145810887 0
/proc/39801/statm: 1048 768 704 219 0 110 0
[pid=39804] ppid=39801 vsize=619316 memory=547096 CPUtime=3598.56 cores=1,3
/proc/39804/stat : 39804 (roundingsat) R 39801 39801 39312 0 -1 4194304 113311 0 0 0 357579 2277 0 0 20 0 1 0 46578345 634179584 136774 18446744073709551615 4227072 8923433 140720318568720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21917696 140720318572870 140720318573096 140720318573096 140720318578666 0
/proc/39804/statm: 154829 136774 2560 1147 0 142256 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 623508 KiB
Current children cumulated memory: 550168 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.41 s]
# the end of solver process 39801 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.31255 s, system=0.195759 s
Sleeping 2 seconds
[startup+3612.45 s]
# the end of solver process 39804 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3577.14 s, system=22.9867 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): 3612.45
CPU time (s): 3600.13
CPU user time (s): 3577.14
CPU system time (s): 22.9867
CPU usage (%): 99.6588
Max. virtual memory (cumulated for all children) (KiB): 669456
Max. memory (cumulated for all children) (KiB): 595656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.14
system time used= 22.9867
maximum resident set size= 592584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153843
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 2509
# summary of solver processes directly reported to runsolver:
# pid: 39801,39804
# total CPU time (s): 3600.13
# total CPU user time (s): 3577.14
# total CPU system time (s): 22.9867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0729 second user time and 36.9773 second system time
The end
Begin job on nodeC008 at 2025-06-30 20:43:11
IDJOB=4485736
IDBENCH=146868
IDSOLVER=3355
FILE ID=nodeC008/4485736-1751308990
RUNJOBID= nodeC008-1751305374-39324
SLURM_JOB_ID= 9594303
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ls+pbsuma 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485736-1751308990/watcher-4485736-1751308990 -o /tmp/evaluation-result-4485736-1751308990/solver-4485736-1751308990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751305374-39324 --watchdog 3760 run-opt-ls.sh HOME/instance-4485736-1751308990.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d021d78883fac2a7bf820bb220b2a7e2
RANDOM SEED=332146985
nodeC008 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 : 0xb00001f
cpu MHz : 3491.918
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.208
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.631
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1296.997
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3662.379
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3691.406
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.526
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130006600 kB
MemAvailable: 129757872 kB
Buffers: 2144 kB
Cached: 561652 kB
SwapCached: 16 kB
Active: 383324 kB
Inactive: 345520 kB
Active(anon): 146260 kB
Inactive(anon): 36720 kB
Active(file): 237064 kB
Inactive(file): 308800 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 53572 kB
Writeback: 0 kB
AnonPages: 168228 kB
Mapped: 116032 kB
Shmem: 17920 kB
KReclaimable: 90068 kB
Slab: 171640 kB
SReclaimable: 90068 kB
SUnreclaim: 81572 kB
KernelStack: 4096 kB
PageTables: 3484 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 505880 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 28672 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC008 at 2025-06-30 21:43:23