0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4531731-1752584603.opb'
0.08/0.17 c read 14.59MB (150.11ms)
0.08/0.17 c [cnf: #variables 155020 #clauses 2676 #duplicates 0 #arr 855173]
0.08/0.18 c output proof to 'PROOFDIR/proof-4531731-1752584603'
0.08/0.18 c
0.08/0.18 c make graph and approximate orbits
0.47/0.53 c [group: #orbits ~= 7832] (348.25ms)
0.47/0.53 c
0.47/0.53 c detect special group actions
0.47/0.53 c probe for Johnson action (limit=64)
0.47/0.54 c probe for row-column symmetry (limit=64, splits=16.78M)
0.47/0.55 c probe for row symmetry (limit=64, splits=16.78M)
0.47/0.56 c (34.60ms)
0.47/0.56 c
0.47/0.56 c detect symmetries on remainder
0.47/0.57 c [graph: #vertices 1144181 #edges 3683316]
0.47/0.57 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.65/0.74 c [group: #symmetries 1.15*10^1146 #generators 3759] (176.85ms)
0.65/0.74 c
0.65/0.74 c optimize generators (opt_passes=64, conjugate_limit=256)
0.65/0.74 c ran it=0, +gens=0
0.76/0.84 c con best_support=4, best_gens=3750, +gens=0
0.76/0.84 c (98.82ms)
0.76/0.84 c
0.76/0.84 c finalize break order and special generators
0.76/0.84 c
0.76/0.84 c add generic predicates (break_depth=20)
0.76/0.84 c added predicates for 3759 generators (0.44ms)
0.76/0.86 c
0.76/0.86 c generation finished
0.76/0.86 c [sbp: #constraints 4272 #add_vars 171]
0.76/0.87 c
0.76/0.87 c write result to 'HOME/instance-4531731-1752584603.opb.pre'
0.85/0.90 c wrote 14.73MB (30.63ms)
0.85/0.90 c ------------------------------------------------------------------
0.85/0.90 c 348.25ms 39.70% approx_orbits
0.85/0.90 c 176.85ms 20.16% detect_generic
0.85/0.90 c 150.11ms 17.11% parse
0.85/0.90 c 98.82ms 11.27% optimize_gens
0.85/0.90 c 34.60ms 3.94% detect_special
0.85/0.90 c 30.91ms 3.52% other
0.85/0.90 c 30.63ms 3.49% output
0.85/0.90 c 6.58ms 0.75% finalize_order
0.85/0.90 c 0.44ms 0.05% break_generic
0.85/0.90 c ───────────────────────────────────────────────
0.85/0.90 c 877.18ms 100% total
0.85/0.90 c ------------------------------------------------------------------
0.87/1.01 c RoundingSat 2
0.87/1.01 c branch pb25
0.87/1.01 c commit 0f876b3
1.94/2.14 c #variables 155191 #constraints 7579
1.94/2.14 c objective is ce64
27.66/27.98 c initial watched CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
27.66/27.98 c initial counting CF 32, 64, 128, Arb: 1116 , 3061 , 0 , 0
27.66/27.98 c bounds - >= -6514339591161790 @ 26.7725
36.04/36.31 c #Conflicts: 1000 | #Constraints: 8578
36.04/36.31 c #Conflicts: 2000 | #Constraints: 9578
36.04/36.31 c INPROCESSING
36.04/36.31 c GARBAGE COLLECT
36.04/36.31 c bounds - >= -914338413869450 @ 34.9872
36.04/36.32 c bounds - >= -872194047277450 @ 34.9935
36.04/36.32 c bounds - >= -851121863981450 @ 34.9996
36.04/36.33 c bounds - >= -840585772333450 @ 35.0052
36.04/36.33 c bounds - >= -835217063213450 @ 35.0104
36.04/36.34 c bounds - >= -829949017389450 @ 35.0162
36.04/36.35 c bounds - >= -825754713389450 @ 35.0234
36.04/36.35 c bounds - >= -823657561389450 @ 35.0293
36.04/36.36 c bounds - >= -822271763347850 @ 35.0347
36.04/36.36 c bounds - >= -821858372745610 @ 35.0403
36.04/36.37 c bounds - >= -821709391067530 @ 35.0462
36.04/36.38 c bounds - >= -821560409389450 @ 35.0519
36.04/36.38 c bounds - >= -818876054829450 @ 35.0573
36.04/36.39 c bounds - >= -816242031917450 @ 35.0634
36.04/36.39 c bounds - >= -814899854637450 @ 35.0674
36.14/36.40 c bounds - >= -813582843181450 @ 35.0735
36.14/36.41 c bounds - >= -812534267181450 @ 35.0789
36.14/36.41 c bounds - >= -811485691181450 @ 35.0833
36.14/36.42 c bounds - >= -810437115181450 @ 35.0889
36.14/36.42 c bounds - >= -809425784600970 @ 35.0959
36.14/36.43 c bounds - >= -808754695960970 @ 35.1019
36.14/36.44 c bounds - >= -808096190232970 @ 35.1069
36.14/36.44 c bounds - >= -807721722771850 @ 35.1144
36.14/36.45 c bounds - >= -807197434771850 @ 35.12
36.14/36.45 c bounds - >= -806673146771850 @ 35.1247
36.14/36.46 c bounds - >= -806148858771850 @ 35.1293
36.14/36.47 c bounds - >= -805624570771850 @ 35.1349
36.14/36.47 c bounds - >= -805100282771850 @ 35.1408
36.14/36.48 c bounds - >= -804575994771850 @ 35.1455
36.14/36.48 c bounds - >= -804051706771850 @ 35.1516
36.14/36.49 c bounds - >= -803527418771850 @ 35.1581
36.24/36.50 c bounds - >= -802478842771850 @ 35.1643
36.24/36.50 c bounds - >= -801430266771850 @ 35.1702
36.24/36.51 c bounds - >= -800905978771850 @ 35.1751
36.24/36.51 c bounds - >= -800570434451850 @ 35.1801
36.24/36.52 c bounds - >= -800241181587850 @ 35.1862
36.24/36.53 c bounds - >= -799979037587850 @ 35.1921
36.24/36.53 c bounds - >= -799716893587850 @ 35.198
36.24/36.54 c bounds - >= -799454749587850 @ 35.203
36.24/36.54 c bounds - >= -799192605587850 @ 35.209
36.24/36.55 c bounds - >= -798930461587850 @ 35.2149
36.24/36.56 c bounds - >= -798668317587850 @ 35.2208
36.24/36.56 c bounds - >= -798406173587850 @ 35.2267
36.24/36.57 c bounds - >= -798144029587850 @ 35.2315
36.24/36.57 c bounds - >= -797881885587850 @ 35.2373
36.24/36.58 c bounds - >= -797619741587850 @ 35.2411
36.24/36.59 c bounds - >= -797357597587850 @ 35.2469
36.24/36.59 c bounds - >= -797095453587850 @ 35.2527
36.33/36.60 c bounds - >= -796833309587850 @ 35.2585
36.33/36.60 c bounds - >= -796571165587850 @ 35.2644
36.33/36.61 c bounds - >= -796309021587850 @ 35.2703
36.33/36.61 c bounds - >= -796046877587850 @ 35.2753
36.33/36.62 c bounds - >= -795784733587850 @ 35.2804
36.33/36.63 c bounds - >= -795522589587850 @ 35.2853
36.33/36.63 c bounds - >= -795391391758730 @ 35.2911
36.33/36.64 c bounds - >= -795223619598730 @ 35.2979
36.33/36.65 c bounds - >= -795058993166730 @ 35.3033
36.33/36.65 c bounds - >= -794927921166730 @ 35.3096
36.33/36.66 c bounds - >= -794796849166730 @ 35.316
36.33/36.67 c bounds - >= -794665777166730 @ 35.3213
36.33/36.67 c bounds - >= -794534705166730 @ 35.3277
36.33/36.68 c bounds - >= -794403633166730 @ 35.3353
36.33/36.69 c bounds - >= -794272561166730 @ 35.343
36.43/36.70 c bounds - >= -794141489166730 @ 35.3498
36.43/36.70 c bounds - >= -794010417166730 @ 35.3563
36.43/36.71 c bounds - >= -793879345166730 @ 35.3623
36.43/36.72 c bounds - >= -793748273166730 @ 35.3679
36.43/36.72 c bounds - >= -793617201166730 @ 35.3732
36.43/36.73 c bounds - >= -793486129166730 @ 35.3796
36.43/36.74 c bounds - >= -793355057166730 @ 35.3849
36.43/36.74 c bounds - >= -793223985166730 @ 35.3912
36.43/36.75 c bounds - >= -793092913166730 @ 35.3966
36.43/36.75 c bounds - >= -792961841166730 @ 35.4028
36.43/36.77 c bounds - >= -792674783000970 @ 35.4131
36.43/36.77 c bounds - >= -792412639000970 @ 35.4207
36.43/36.78 c bounds - >= -792281567000970 @ 35.4262
36.43/36.79 c bounds - >= -792150495000970 @ 35.4324
36.43/36.79 c bounds - >= -792019423000970 @ 35.4367
36.54/36.80 c bounds - >= -791888351000970 @ 35.4428
36.54/36.81 c bounds - >= -791757279000970 @ 35.449
36.54/36.81 c bounds - >= -791626207000970 @ 35.4552
36.54/36.82 c bounds - >= -791495135000970 @ 35.4614
36.54/36.83 c bounds - >= -791357226285450 @ 35.4685
36.54/36.84 c bounds - >= -791226028456330 @ 35.4779
36.54/36.85 c bounds - >= -791094956456330 @ 35.4858
38.33/38.62 c #Conflicts: 3000 | #Constraints: 8968
38.33/38.62 c #Conflicts: 4000 | #Constraints: 9968
38.33/38.62 c INPROCESSING
38.33/38.62 c GARBAGE COLLECT
38.33/38.62 c #Conflicts: 5000 | #Constraints: 9284
38.33/38.62 c #Conflicts: 6000 | #Constraints: 10284
38.33/38.62 c INPROCESSING
38.33/38.62 c GARBAGE COLLECT
38.33/38.62 c bounds - >= 14211411543670 @ 37.2134
38.53/38.80 c bounds - >= 274258259543670 @ 37.3903
38.53/38.81 c bounds - >= 276355411543670 @ 37.3984
38.53/38.82 c bounds - >= 277403987543670 @ 37.4049
38.53/38.83 c bounds - >= 277928275543670 @ 37.413
38.53/38.83 c bounds - >= 278452563543670 @ 37.4188
39.23/39.56 c #Conflicts: 7000 | #Constraints: 9299
39.23/39.56 c bounds - >= 278640468362870 @ 38.1197
39.23/39.56 c bounds - >= 278825688827510 @ 38.125
39.23/39.57 c bounds - >= 279463894124150 @ 38.1312
39.23/39.58 c bounds - >= 279650456766070 @ 38.1384
39.23/39.59 c bounds - >= 279842765604470 @ 38.1487
48.80/49.13 c #Conflicts: 8000 | #Constraints: 10322
48.80/49.13 c #Conflicts: 9000 | #Constraints: 11322
48.80/49.13 c INPROCESSING
48.80/49.13 c GARBAGE COLLECT
48.80/49.13 c #Conflicts: 10000 | #Constraints: 9997
48.80/49.13 c #Conflicts: 11000 | #Constraints: 10997
48.80/49.13 c #Conflicts: 12000 | #Constraints: 11997
48.80/49.13 c INPROCESSING
48.80/49.13 c GARBAGE COLLECT
48.80/49.13 c bounds - >= 280367053604470 @ 47.5798
106.83/107.32 c #Conflicts: 13000 | #Constraints: 10447
106.83/107.32 c #Conflicts: 14000 | #Constraints: 11447
106.83/107.32 c #Conflicts: 15000 | #Constraints: 12447
106.83/107.32 c INPROCESSING
106.83/107.32 c GARBAGE COLLECT
106.83/107.32 c #Conflicts: 16000 | #Constraints: 10671
106.83/107.32 c #Conflicts: 17000 | #Constraints: 11671
106.83/107.32 c #Conflicts: 18000 | #Constraints: 12671
106.83/107.32 c INPROCESSING
106.83/107.32 c GARBAGE COLLECT
106.83/107.32 c #Conflicts: 19000 | #Constraints: 10685
106.83/107.32 c #Conflicts: 20000 | #Constraints: 11685
106.83/107.32 c #Conflicts: 21000 | #Constraints: 12685
106.83/107.32 c INPROCESSING
106.83/107.32 c GARBAGE COLLECT
106.83/107.32 c #Conflicts: 22000 | #Constraints: 10490
106.83/107.32 c #Conflicts: 23000 | #Constraints: 11490
106.83/107.32 c #Conflicts: 24000 | #Constraints: 12490
106.83/107.32 c #Conflicts: 25000 | #Constraints: 13490
106.83/107.32 c INPROCESSING
106.83/107.32 c GARBAGE COLLECT
106.83/107.32 c #Conflicts: 26000 | #Constraints: 11091
106.83/107.32 c #Conflicts: 27000 | #Constraints: 12091
106.83/107.32 c #Conflicts: 28000 | #Constraints: 13091
106.83/107.32 c #Conflicts: 29000 | #Constraints: 14091
106.83/107.32 c INPROCESSING
106.83/107.32 c GARBAGE COLLECT
106.83/107.32 c #Conflicts: 30000 | #Constraints: 11494
106.83/107.32 c #Conflicts: 31000 | #Constraints: 12494
106.83/107.32 c #Conflicts: 32000 | #Constraints: 13494
106.83/107.32 c #Conflicts: 33000 | #Constraints: 14494
106.83/107.32 c INPROCESSING
106.83/107.32 c GARBAGE COLLECT
106.83/107.32 c bounds - >= 280629197604470 @ 105.128
106.83/107.34 c bounds - >= 280760269604470 @ 105.141
106.83/107.35 c bounds - >= 280891341604470 @ 105.155
106.83/107.37 c bounds - >= 281022413604470 @ 105.172
106.83/107.38 c bounds - >= 281153485604470 @ 105.185
106.93/107.40 c bounds - >= 281284557604470 @ 105.201
106.93/107.42 c bounds - >= 281415629604470 @ 105.221
106.93/107.46 c bounds - >= 281546701604470 @ 105.256
106.93/107.48 c bounds - >= 281677773604470 @ 105.274
107.03/107.50 c bounds - >= 281808845604470 @ 105.3
107.03/107.55 c bounds - >= 281939917604470 @ 105.342
107.13/107.61 c bounds - >= 282070989604470 @ 105.398
107.23/107.72 c bounds - >= 282202061604470 @ 105.505
107.32/107.86 c bounds - >= 282333133604470 @ 105.64
107.92/108.41 c #Conflicts: 34000 | #Constraints: 11761
107.92/108.41 c bounds - >= 282478340408950 @ 106.174
109.63/110.10 c #Conflicts: 35000 | #Constraints: 12764
109.63/110.10 c #Conflicts: 36000 | #Constraints: 13764
109.63/110.10 c bounds - >= 282609412408950 @ 107.816
144.43/145.02 c #Conflicts: 37000 | #Constraints: 14767
144.43/145.02 c INPROCESSING
144.43/145.02 c GARBAGE COLLECT
144.43/145.02 c #Conflicts: 38000 | #Constraints: 11750
144.43/145.02 c #Conflicts: 39000 | #Constraints: 12750
144.43/145.02 c #Conflicts: 40000 | #Constraints: 13750
144.43/145.02 c #Conflicts: 41000 | #Constraints: 14750
144.43/145.02 c INPROCESSING
144.43/145.02 c GARBAGE COLLECT
144.43/145.02 c #Conflicts: 42000 | #Constraints: 11574
144.43/145.02 c #Conflicts: 43000 | #Constraints: 12574
144.43/145.02 c bounds - >= 282747551811190 @ 142.356
151.00/151.66 c #Conflicts: 44000 | #Constraints: 13577
151.00/151.66 c #Conflicts: 45000 | #Constraints: 14577
151.00/151.66 c #Conflicts: 46000 | #Constraints: 15577
151.00/151.66 c INPROCESSING
151.00/151.66 c GARBAGE COLLECT
151.00/151.66 c #Conflicts: 47000 | #Constraints: 12206
151.00/151.66 c #Conflicts: 48000 | #Constraints: 13206
151.00/151.66 c #Conflicts: 49000 | #Constraints: 14206
151.00/151.66 c #Conflicts: 50000 | #Constraints: 15206
151.00/151.66 c #Conflicts: 51000 | #Constraints: 16206
151.00/151.66 c INPROCESSING
151.00/151.66 c GARBAGE COLLECT
151.00/151.66 c #Conflicts: 52000 | #Constraints: 12626
151.00/151.66 c #Conflicts: 53000 | #Constraints: 13626
151.00/151.66 c #Conflicts: 54000 | #Constraints: 14626
151.00/151.66 c #Conflicts: 55000 | #Constraints: 15626
151.00/151.66 c #Conflicts: 56000 | #Constraints: 16626
151.00/151.66 c INPROCESSING
151.00/151.66 c GARBAGE COLLECT
151.00/151.66 c #Conflicts: 57000 | #Constraints: 12842
151.00/151.66 c #Conflicts: 58000 | #Constraints: 13843
151.00/151.66 c #Conflicts: 59000 | #Constraints: 14843
151.00/151.66 c #Conflicts: 60000 | #Constraints: 15843
151.00/151.66 c #Conflicts: 61000 | #Constraints: 16843
151.00/151.66 c INPROCESSING
151.00/151.66 c GARBAGE COLLECT
151.00/151.66 c #Conflicts: 62000 | #Constraints: 12848
151.00/151.66 c bounds - >= 283023369242230 @ 148.831
151.00/151.68 c bounds - >= 283154567071350 @ 148.844
151.10/151.70 c bounds - >= 283292475786870 @ 148.869
152.90/153.51 c #Conflicts: 63000 | #Constraints: 13866
152.90/153.51 c #Conflicts: 64000 | #Constraints: 14866
152.90/153.51 c bounds - >= 284844703811190 @ 150.651
152.90/153.52 c bounds - >= 285348355835510 @ 150.659
152.90/153.53 c bounds - >= 285624173266550 @ 150.666
152.90/153.54 c bounds - >= 285755371095670 @ 150.673
152.90/153.54 c bounds - >= 285893279811190 @ 150.68
215.01/215.88 c #Conflicts: 65000 | #Constraints: 15895
215.01/215.88 c #Conflicts: 66000 | #Constraints: 16895
215.01/215.88 c INPROCESSING
215.01/215.88 c GARBAGE COLLECT
215.01/215.88 c #Conflicts: 67000 | #Constraints: 12681
215.01/215.88 c #Conflicts: 68000 | #Constraints: 13681
215.01/215.88 c #Conflicts: 69000 | #Constraints: 14681
215.01/215.88 c #Conflicts: 70000 | #Constraints: 15681
215.01/215.88 c #Conflicts: 71000 | #Constraints: 16681
215.01/215.88 c #Conflicts: 72000 | #Constraints: 17682
215.01/215.88 c INPROCESSING
215.01/215.88 c GARBAGE COLLECT
215.01/215.88 c #Conflicts: 73000 | #Constraints: 13263
215.01/215.88 c #Conflicts: 74000 | #Constraints: 14263
215.01/215.88 c #Conflicts: 75000 | #Constraints: 15263
215.01/215.88 c #Conflicts: 76000 | #Constraints: 16263
215.01/215.88 c #Conflicts: 77000 | #Constraints: 17263
215.01/215.88 c #Conflicts: 78000 | #Constraints: 18263
215.01/215.88 c INPROCESSING
215.01/215.88 c GARBAGE COLLECT
215.01/215.88 c #Conflicts: 79000 | #Constraints: 13647
215.01/215.88 c #Conflicts: 80000 | #Constraints: 14647
215.01/215.88 c #Conflicts: 81000 | #Constraints: 15647
215.01/215.88 c #Conflicts: 82000 | #Constraints: 16647
215.01/215.88 c #Conflicts: 83000 | #Constraints: 17647
215.01/215.88 c #Conflicts: 84000 | #Constraints: 18647
215.01/215.88 c INPROCESSING
215.01/215.88 c GARBAGE COLLECT
215.01/215.88 c #Conflicts: 85000 | #Constraints: 13843
215.01/215.88 c #Conflicts: 86000 | #Constraints: 14843
215.01/215.88 c #Conflicts: 87000 | #Constraints: 15843
215.01/215.88 c #Conflicts: 88000 | #Constraints: 16843
215.01/215.88 c #Conflicts: 89000 | #Constraints: 17843
215.01/215.88 c #Conflicts: 90000 | #Constraints: 18843
215.01/215.88 c INPROCESSING
215.01/215.88 c GARBAGE COLLECT
215.01/215.88 c #Conflicts: 91000 | #Constraints: 13838
215.01/215.88 c #Conflicts: 92000 | #Constraints: 14838
215.01/215.88 c #Conflicts: 93000 | #Constraints: 15838
215.01/215.88 c #Conflicts: 94000 | #Constraints: 16838
215.01/215.88 c #Conflicts: 95000 | #Constraints: 17838
215.01/215.88 c #Conflicts: 96000 | #Constraints: 18838
215.01/215.88 c INPROCESSING
215.01/215.88 c GARBAGE COLLECT
215.01/215.88 c #Conflicts: 97000 | #Constraints: 13637
215.01/215.88 c #Conflicts: 98000 | #Constraints: 14637
215.01/215.88 c #Conflicts: 99000 | #Constraints: 15637
215.01/215.88 c #Conflicts: 100000 | #Constraints: 16637
215.01/215.88 c bounds - >= 286155423811190 @ 212.281
215.01/215.89 c bounds - >= 286417567811190 @ 212.288
215.01/215.89 c bounds - >= 286548639811190 @ 212.295
265.27/266.27 c #Conflicts: 101000 | #Constraints: 17649
265.27/266.27 c #Conflicts: 102000 | #Constraints: 18649
265.27/266.27 c #Conflicts: 103000 | #Constraints: 19649
265.27/266.27 c INPROCESSING
265.27/266.27 c GARBAGE COLLECT
265.27/266.27 c #Conflicts: 104000 | #Constraints: 14115
265.27/266.27 c #Conflicts: 105000 | #Constraints: 15115
265.27/266.27 c #Conflicts: 106000 | #Constraints: 16115
265.27/266.27 c #Conflicts: 107000 | #Constraints: 17115
265.27/266.27 c #Conflicts: 108000 | #Constraints: 18115
265.27/266.27 c #Conflicts: 109000 | #Constraints: 19115
265.27/266.27 c bounds - >= 286810783811190 @ 262.225
265.27/266.28 c bounds - >= 287072927811190 @ 262.232
265.77/266.71 c #Conflicts: 110000 | #Constraints: 20124
265.77/266.71 c INPROCESSING
265.77/266.71 c GARBAGE COLLECT
265.77/266.71 c #Conflicts: 111000 | #Constraints: 14587
265.77/266.71 c #Conflicts: 112000 | #Constraints: 15587
265.77/266.71 c bounds - >= 287203999811190 @ 262.653
265.77/266.74 c bounds - >= 287335071811190 @ 262.679
265.77/266.79 c bounds - >= 287466143811190 @ 262.73
265.86/266.83 c bounds - >= 287597215811190 @ 262.763
265.86/266.88 c bounds - >= 287728287811190 @ 262.812
265.97/266.94 c bounds - >= 287859359811190 @ 262.874
266.08/267.04 c bounds - >= 287990431811190 @ 262.969
266.17/267.12 c bounds - >= 288121503811190 @ 263.038
266.27/267.27 c #Conflicts: 113000 | #Constraints: 16701
266.27/267.27 c bounds - >= 288252575811190 @ 263.182
266.37/267.39 c bounds - >= 288383647811190 @ 263.307
266.56/267.59 c #Conflicts: 114000 | #Constraints: 17743
266.56/267.59 c bounds - >= 288514719811190 @ 263.493
266.96/267.90 c bounds - >= 288645791811190 @ 263.803
267.26/268.28 c #Conflicts: 115000 | #Constraints: 18779
267.26/268.28 c bounds - >= 288776863811190 @ 264.174
267.66/268.68 c #Conflicts: 116000 | #Constraints: 19797
267.66/268.68 c bounds - >= 288907935811190 @ 264.565
268.36/269.39 c #Conflicts: 117000 | #Constraints: 20815
268.36/269.39 c INPROCESSING
268.36/269.39 c GARBAGE COLLECT
268.36/269.39 c #Conflicts: 118000 | #Constraints: 14991
268.36/269.39 c bounds - >= 289039007811190 @ 265.233
269.95/270.90 c #Conflicts: 119000 | #Constraints: 16015
269.95/270.90 c #Conflicts: 120000 | #Constraints: 17015
269.95/270.90 c #Conflicts: 121000 | #Constraints: 18015
269.95/270.90 c #Conflicts: 122000 | #Constraints: 19015
269.95/270.90 c bounds - >= 289170079811190 @ 266.706
274.64/275.60 c #Conflicts: 123000 | #Constraints: 20033
274.64/275.60 c #Conflicts: 124000 | #Constraints: 21033
274.64/275.60 c INPROCESSING
274.64/275.60 c GARBAGE COLLECT
274.64/275.60 c #Conflicts: 125000 | #Constraints: 15021
274.64/275.60 c #Conflicts: 126000 | #Constraints: 16022
274.64/275.60 c bounds - >= 289301151811190 @ 271.298
276.34/277.32 c #Conflicts: 127000 | #Constraints: 17037
276.34/277.32 c #Conflicts: 128000 | #Constraints: 18037
276.34/277.32 c #Conflicts: 129000 | #Constraints: 19037
276.34/277.32 c bounds - >= 289432223811190 @ 272.969
512.55/514.24 c #Conflicts: 130000 | #Constraints: 20055
512.55/514.24 c #Conflicts: 131000 | #Constraints: 21055
512.55/514.24 c INPROCESSING
512.55/514.24 c GARBAGE COLLECT
512.55/514.24 c #Conflicts: 132000 | #Constraints: 14671
512.55/514.24 c #Conflicts: 133000 | #Constraints: 15671
512.55/514.24 c #Conflicts: 134000 | #Constraints: 16671
512.55/514.24 c #Conflicts: 135000 | #Constraints: 17672
512.55/514.24 c #Conflicts: 136000 | #Constraints: 18672
512.55/514.24 c #Conflicts: 137000 | #Constraints: 19672
512.55/514.24 c #Conflicts: 138000 | #Constraints: 20674
512.55/514.24 c #Conflicts: 139000 | #Constraints: 21674
512.55/514.24 c INPROCESSING
512.55/514.24 c GARBAGE COLLECT
512.55/514.24 c #Conflicts: 140000 | #Constraints: 15367
512.55/514.24 c #Conflicts: 141000 | #Constraints: 16367
512.55/514.24 c #Conflicts: 142000 | #Constraints: 17367
512.55/514.24 c #Conflicts: 143000 | #Constraints: 18367
512.55/514.24 c #Conflicts: 144000 | #Constraints: 19367
512.55/514.24 c #Conflicts: 145000 | #Constraints: 20367
512.55/514.24 c #Conflicts: 146000 | #Constraints: 21367
512.55/514.24 c #Conflicts: 147000 | #Constraints: 22367
512.55/514.24 c INPROCESSING
512.55/514.24 c GARBAGE COLLECT
512.55/514.24 c #Conflicts: 148000 | #Constraints: 15812
512.55/514.24 c #Conflicts: 149000 | #Constraints: 16812
512.55/514.24 c #Conflicts: 150000 | #Constraints: 17812
512.55/514.24 c #Conflicts: 151000 | #Constraints: 18812
512.55/514.24 c #Conflicts: 152000 | #Constraints: 19812
512.55/514.24 c #Conflicts: 153000 | #Constraints: 20812
512.55/514.24 c #Conflicts: 154000 | #Constraints: 21812
512.55/514.24 c #Conflicts: 155000 | #Constraints: 22812
512.55/514.24 c INPROCESSING
512.55/514.24 c GARBAGE COLLECT
512.55/514.24 c #Conflicts: 156000 | #Constraints: 16032
512.55/514.24 c #Conflicts: 157000 | #Constraints: 17032
512.55/514.24 c #Conflicts: 158000 | #Constraints: 18032
512.55/514.24 c #Conflicts: 159000 | #Constraints: 19032
512.55/514.24 c #Conflicts: 160000 | #Constraints: 20032
512.55/514.24 c #Conflicts: 161000 | #Constraints: 21032
512.55/514.24 c #Conflicts: 162000 | #Constraints: 22032
512.55/514.24 c #Conflicts: 163000 | #Constraints: 23032
512.55/514.24 c INPROCESSING
512.55/514.24 c GARBAGE COLLECT
512.55/514.24 c #Conflicts: 164000 | #Constraints: 16044
512.55/514.24 c #Conflicts: 165000 | #Constraints: 17044
512.55/514.24 c #Conflicts: 166000 | #Constraints: 18044
512.55/514.24 c #Conflicts: 167000 | #Constraints: 19044
512.55/514.24 c #Conflicts: 168000 | #Constraints: 20044
512.55/514.24 c #Conflicts: 169000 | #Constraints: 21044
512.55/514.24 c #Conflicts: 170000 | #Constraints: 22044
512.55/514.24 c #Conflicts: 171000 | #Constraints: 23044
512.55/514.24 c INPROCESSING
512.55/514.24 c GARBAGE COLLECT
512.55/514.24 c #Conflicts: 172000 | #Constraints: 15854
512.55/514.24 c #Conflicts: 173000 | #Constraints: 16854
512.55/514.24 c #Conflicts: 174000 | #Constraints: 17854
512.55/514.24 c #Conflicts: 175000 | #Constraints: 18854
512.55/514.24 c #Conflicts: 176000 | #Constraints: 19854
512.55/514.24 c #Conflicts: 177000 | #Constraints: 20854
512.55/514.24 c #Conflicts: 178000 | #Constraints: 21854
512.55/514.24 c #Conflicts: 179000 | #Constraints: 22854
512.55/514.24 c #Conflicts: 180000 | #Constraints: 23854
512.55/514.24 c INPROCESSING
512.55/514.24 c GARBAGE COLLECT
512.55/514.24 c #Conflicts: 181000 | #Constraints: 16459
512.55/514.24 c #Conflicts: 182000 | #Constraints: 17459
512.55/514.24 c #Conflicts: 183000 | #Constraints: 18459
512.55/514.24 c #Conflicts: 184000 | #Constraints: 19459
512.55/514.24 c #Conflicts: 185000 | #Constraints: 20459
512.55/514.24 c #Conflicts: 186000 | #Constraints: 21459
512.55/514.24 c #Conflicts: 187000 | #Constraints: 22459
512.55/514.24 c #Conflicts: 188000 | #Constraints: 23459
512.55/514.24 c #Conflicts: 189000 | #Constraints: 24459
512.55/514.24 c INPROCESSING
512.55/514.24 c GARBAGE COLLECT
512.55/514.24 c #Conflicts: 190000 | #Constraints: 16863
512.55/514.24 c #Conflicts: 191000 | #Constraints: 17863
512.55/514.24 c #Conflicts: 192000 | #Constraints: 18863
512.55/514.24 c #Conflicts: 193000 | #Constraints: 19863
512.55/514.24 c #Conflicts: 194000 | #Constraints: 20863
512.55/514.24 c #Conflicts: 195000 | #Constraints: 21863
512.55/514.24 c #Conflicts: 196000 | #Constraints: 22863
512.55/514.24 c #Conflicts: 197000 | #Constraints: 23863
512.55/514.24 c #Conflicts: 198000 | #Constraints: 24863
512.55/514.24 c INPROCESSING
512.55/514.24 c GARBAGE COLLECT
512.55/514.24 c #Conflicts: 199000 | #Constraints: 17066
512.55/514.24 c #Conflicts: 200000 | #Constraints: 18066
512.55/514.24 c #Conflicts: 201000 | #Constraints: 19066
512.55/514.24 c #Conflicts: 202000 | #Constraints: 20066
512.55/514.24 c #Conflicts: 203000 | #Constraints: 21066
644.17/646.23 c #Conflicts: 204000 | #Constraints: 22066
644.17/646.23 c #Conflicts: 205000 | #Constraints: 23066
644.17/646.23 c #Conflicts: 206000 | #Constraints: 24066
644.17/646.23 c #Conflicts: 207000 | #Constraints: 25066
644.17/646.23 c INPROCESSING
644.17/646.23 c GARBAGE COLLECT
644.17/646.23 c #Conflicts: 208000 | #Constraints: 17068
644.17/646.23 c #Conflicts: 209000 | #Constraints: 18068
644.17/646.23 c #Conflicts: 210000 | #Constraints: 19068
644.17/646.23 c #Conflicts: 211000 | #Constraints: 20068
644.17/646.23 c #Conflicts: 212000 | #Constraints: 21068
644.17/646.23 c #Conflicts: 213000 | #Constraints: 22068
644.17/646.23 c #Conflicts: 214000 | #Constraints: 23068
644.17/646.23 c #Conflicts: 215000 | #Constraints: 24068
644.17/646.23 c #Conflicts: 216000 | #Constraints: 25068
644.17/646.23 c INPROCESSING
644.17/646.23 c GARBAGE COLLECT
644.17/646.23 c #Conflicts: 217000 | #Constraints: 16871
644.17/646.23 c #Conflicts: 218000 | #Constraints: 17871
644.17/646.23 c #Conflicts: 219000 | #Constraints: 18871
644.17/646.23 c #Conflicts: 220000 | #Constraints: 19871
644.17/646.23 c #Conflicts: 221000 | #Constraints: 20871
644.17/646.23 c #Conflicts: 222000 | #Constraints: 21871
644.17/646.23 c #Conflicts: 223000 | #Constraints: 22871
644.17/646.23 c #Conflicts: 224000 | #Constraints: 23871
644.17/646.23 c #Conflicts: 225000 | #Constraints: 24871
644.17/646.23 c #Conflicts: 226000 | #Constraints: 25871
644.17/646.23 c INPROCESSING
644.17/646.23 c GARBAGE COLLECT
644.17/646.23 c #Conflicts: 227000 | #Constraints: 17470
644.17/646.23 c #Conflicts: 228000 | #Constraints: 18470
644.17/646.23 c #Conflicts: 229000 | #Constraints: 19470
644.17/646.23 c #Conflicts: 230000 | #Constraints: 20470
644.17/646.23 c #Conflicts: 231000 | #Constraints: 21470
644.17/646.23 c #Conflicts: 232000 | #Constraints: 22470
644.17/646.23 c #Conflicts: 233000 | #Constraints: 23470
644.17/646.23 c #Conflicts: 234000 | #Constraints: 24470
644.17/646.23 c #Conflicts: 235000 | #Constraints: 25470
644.17/646.23 c #Conflicts: 236000 | #Constraints: 26470
644.17/646.23 c INPROCESSING
644.17/646.23 c GARBAGE COLLECT
644.17/646.23 c #Conflicts: 237000 | #Constraints: 17872
644.17/646.23 c #Conflicts: 238000 | #Constraints: 18872
644.17/646.23 c #Conflicts: 239000 | #Constraints: 19872
644.17/646.23 c #Conflicts: 240000 | #Constraints: 20872
644.17/646.23 c #Conflicts: 241000 | #Constraints: 21872
644.17/646.23 c #Conflicts: 242000 | #Constraints: 22872
644.17/646.23 c #Conflicts: 243000 | #Constraints: 23872
644.17/646.23 c #Conflicts: 244000 | #Constraints: 24872
644.17/646.23 c #Conflicts: 245000 | #Constraints: 25872
644.17/646.23 c #Conflicts: 246000 | #Constraints: 26872
644.17/646.23 c INPROCESSING
644.17/646.23 c GARBAGE COLLECT
644.17/646.23 c #Conflicts: 247000 | #Constraints: 18071
644.17/646.23 c #Conflicts: 248000 | #Constraints: 19071
644.17/646.23 c #Conflicts: 249000 | #Constraints: 20071
644.17/646.23 c #Conflicts: 250000 | #Constraints: 21071
644.17/646.23 c #Conflicts: 251000 | #Constraints: 22071
644.17/646.23 c #Conflicts: 252000 | #Constraints: 23071
644.17/646.23 c #Conflicts: 253000 | #Constraints: 24071
644.17/646.23 c #Conflicts: 254000 | #Constraints: 25071
644.17/646.23 c #Conflicts: 255000 | #Constraints: 26071
644.17/646.23 c #Conflicts: 256000 | #Constraints: 27071
644.17/646.23 c INPROCESSING
644.17/646.23 c GARBAGE COLLECT
644.17/646.23 c #Conflicts: 257000 | #Constraints: 18072
644.17/646.23 c #Conflicts: 258000 | #Constraints: 19072
644.17/646.23 c #Conflicts: 259000 | #Constraints: 20072
644.17/646.23 c #Conflicts: 260000 | #Constraints: 21072
644.17/646.23 c #Conflicts: 261000 | #Constraints: 22072
644.17/646.23 c #Conflicts: 262000 | #Constraints: 23072
644.17/646.23 c #Conflicts: 263000 | #Constraints: 24072
644.17/646.23 c #Conflicts: 264000 | #Constraints: 25072
644.17/646.23 c #Conflicts: 265000 | #Constraints: 26072
644.17/646.23 c #Conflicts: 266000 | #Constraints: 27072
644.17/646.23 c INPROCESSING
644.17/646.23 c GARBAGE COLLECT
644.17/646.23 c #Conflicts: 267000 | #Constraints: 17880
644.17/646.23 c #Conflicts: 268000 | #Constraints: 18880
644.17/646.23 c #Conflicts: 269000 | #Constraints: 19880
644.17/646.23 c #Conflicts: 270000 | #Constraints: 20880
644.17/646.23 c #Conflicts: 271000 | #Constraints: 21880
644.17/646.23 c #Conflicts: 272000 | #Constraints: 22880
644.17/646.23 c #Conflicts: 273000 | #Constraints: 23880
644.17/646.23 c #Conflicts: 274000 | #Constraints: 24880
644.17/646.23 c #Conflicts: 275000 | #Constraints: 25880
644.17/646.23 c #Conflicts: 276000 | #Constraints: 26880
644.17/646.23 c #Conflicts: 277000 | #Constraints: 27880
658.23/660.37 c INPROCESSING
658.23/660.37 c GARBAGE COLLECT
658.23/660.37 c #Conflicts: 278000 | #Constraints: 18479
658.23/660.37 c #Conflicts: 279000 | #Constraints: 19479
658.23/660.37 c #Conflicts: 280000 | #Constraints: 20479
658.23/660.37 c #Conflicts: 281000 | #Constraints: 21479
658.23/660.37 c #Conflicts: 282000 | #Constraints: 22479
658.23/660.37 c #Conflicts: 283000 | #Constraints: 23479
658.23/660.37 c #Conflicts: 284000 | #Constraints: 24479
658.23/660.37 c #Conflicts: 285000 | #Constraints: 25479
658.23/660.37 c bounds - >= 289563295811190 @ 648.83
690.62/692.88 c #Conflicts: 286000 | #Constraints: 26483
690.62/692.88 c #Conflicts: 287000 | #Constraints: 27483
690.62/692.88 c #Conflicts: 288000 | #Constraints: 28483
690.62/692.88 c INPROCESSING
690.62/692.88 c GARBAGE COLLECT
690.62/692.88 c bounds - >= 289694367811190 @ 680.964
897.72/903.63 c #Conflicts: 289000 | #Constraints: 18881
897.72/903.63 c #Conflicts: 290000 | #Constraints: 19881
897.72/903.63 c #Conflicts: 291000 | #Constraints: 20881
897.72/903.63 c #Conflicts: 292000 | #Constraints: 21881
897.72/903.63 c #Conflicts: 293000 | #Constraints: 22881
897.72/903.63 c #Conflicts: 294000 | #Constraints: 23881
897.72/903.63 c #Conflicts: 295000 | #Constraints: 24881
897.72/903.63 c #Conflicts: 296000 | #Constraints: 25881
897.72/903.63 c #Conflicts: 297000 | #Constraints: 26881
897.72/903.63 c #Conflicts: 298000 | #Constraints: 27881
897.72/903.63 c #Conflicts: 299000 | #Constraints: 28881
897.72/903.63 c INPROCESSING
897.72/903.63 c GARBAGE COLLECT
897.72/903.63 c #Conflicts: 300000 | #Constraints: 19077
897.72/903.63 c #Conflicts: 301000 | #Constraints: 20077
897.72/903.63 c #Conflicts: 302000 | #Constraints: 21077
897.72/903.63 c #Conflicts: 303000 | #Constraints: 22077
897.72/903.63 c #Conflicts: 304000 | #Constraints: 23077
897.72/903.63 c #Conflicts: 305000 | #Constraints: 24077
897.72/903.63 c #Conflicts: 306000 | #Constraints: 25077
897.72/903.63 c #Conflicts: 307000 | #Constraints: 26077
897.72/903.63 c #Conflicts: 308000 | #Constraints: 27077
897.72/903.63 c #Conflicts: 309000 | #Constraints: 28077
897.72/903.63 c #Conflicts: 310000 | #Constraints: 29077
897.72/903.63 c INPROCESSING
897.72/903.63 c GARBAGE COLLECT
897.72/903.63 c #Conflicts: 311000 | #Constraints: 19075
897.72/903.63 c #Conflicts: 312000 | #Constraints: 20075
897.72/903.63 c #Conflicts: 313000 | #Constraints: 21075
897.72/903.63 c #Conflicts: 314000 | #Constraints: 22075
897.72/903.63 c #Conflicts: 315000 | #Constraints: 23075
897.72/903.63 c #Conflicts: 316000 | #Constraints: 24075
897.72/903.63 c #Conflicts: 317000 | #Constraints: 25075
897.72/903.63 c #Conflicts: 318000 | #Constraints: 26075
897.72/903.63 c #Conflicts: 319000 | #Constraints: 27075
897.72/903.63 c #Conflicts: 320000 | #Constraints: 28075
897.72/903.63 c #Conflicts: 321000 | #Constraints: 29075
897.72/903.63 c INPROCESSING
897.72/903.63 c GARBAGE COLLECT
897.72/903.63 c #Conflicts: 322000 | #Constraints: 18872
897.72/903.63 c #Conflicts: 323000 | #Constraints: 19872
897.72/903.63 c #Conflicts: 324000 | #Constraints: 20872
897.72/903.63 c #Conflicts: 325000 | #Constraints: 21872
897.72/903.63 c #Conflicts: 326000 | #Constraints: 22872
897.72/903.63 c #Conflicts: 327000 | #Constraints: 23872
897.72/903.63 c #Conflicts: 328000 | #Constraints: 24872
897.72/903.63 c #Conflicts: 329000 | #Constraints: 25872
897.72/903.63 c #Conflicts: 330000 | #Constraints: 26872
897.72/903.63 c #Conflicts: 331000 | #Constraints: 27872
897.72/903.63 c #Conflicts: 332000 | #Constraints: 28872
897.72/903.63 c #Conflicts: 333000 | #Constraints: 29872
897.72/903.63 c INPROCESSING
897.72/903.63 c GARBAGE COLLECT
897.72/903.63 c #Conflicts: 334000 | #Constraints: 19472
897.72/903.63 c #Conflicts: 335000 | #Constraints: 20472
897.72/903.63 c #Conflicts: 336000 | #Constraints: 21472
897.72/903.63 c #Conflicts: 337000 | #Constraints: 22472
897.72/903.63 c #Conflicts: 338000 | #Constraints: 23472
897.72/903.63 c #Conflicts: 339000 | #Constraints: 24472
897.72/903.63 c #Conflicts: 340000 | #Constraints: 25472
897.72/903.63 c #Conflicts: 341000 | #Constraints: 26472
897.72/903.63 c #Conflicts: 342000 | #Constraints: 27472
897.72/903.63 c #Conflicts: 343000 | #Constraints: 28472
897.72/903.63 c #Conflicts: 344000 | #Constraints: 29472
897.72/903.63 c #Conflicts: 345000 | #Constraints: 30472
897.72/903.63 c INPROCESSING
897.72/903.63 c GARBAGE COLLECT
897.72/903.63 c #Conflicts: 346000 | #Constraints: 19866
897.72/903.63 c #Conflicts: 347000 | #Constraints: 20866
897.72/903.63 c #Conflicts: 348000 | #Constraints: 21866
897.72/903.63 c #Conflicts: 349000 | #Constraints: 22866
897.72/903.63 c #Conflicts: 350000 | #Constraints: 23866
897.72/903.63 c #Conflicts: 351000 | #Constraints: 24866
897.72/903.63 c #Conflicts: 352000 | #Constraints: 25866
897.72/903.63 c #Conflicts: 353000 | #Constraints: 26866
897.72/903.63 c #Conflicts: 354000 | #Constraints: 27866
897.72/903.63 c #Conflicts: 355000 | #Constraints: 28866
897.72/903.63 c #Conflicts: 356000 | #Constraints: 29866
897.72/903.63 c #Conflicts: 357000 | #Constraints: 30866
897.72/903.63 c INPROCESSING
897.72/903.63 c GARBAGE COLLECT
897.72/903.63 c #Conflicts: 358000 | #Constraints: 20061
897.72/903.63 c #Conflicts: 359000 | #Constraints: 21061
897.72/903.63 c #Conflicts: 360000 | #Constraints: 22061
897.72/903.63 c #Conflicts: 361000 | #Constraints: 23061
897.72/903.63 c #Conflicts: 362000 | #Constraints: 24061
897.72/903.63 c #Conflicts: 363000 | #Constraints: 25061
1066.26/1074.65 c #Conflicts: 364000 | #Constraints: 26061
1066.26/1074.65 c #Conflicts: 365000 | #Constraints: 27061
1066.26/1074.65 c #Conflicts: 366000 | #Constraints: 28061
1066.26/1074.65 c #Conflicts: 367000 | #Constraints: 29061
1066.26/1074.65 c #Conflicts: 368000 | #Constraints: 30061
1066.26/1074.65 c #Conflicts: 369000 | #Constraints: 31061
1066.26/1074.65 c INPROCESSING
1066.26/1074.65 c GARBAGE COLLECT
1066.26/1074.65 c #Conflicts: 370000 | #Constraints: 20065
1066.26/1074.65 c #Conflicts: 371000 | #Constraints: 21065
1066.26/1074.65 c #Conflicts: 372000 | #Constraints: 22065
1066.26/1074.65 c #Conflicts: 373000 | #Constraints: 23065
1066.26/1074.65 c #Conflicts: 374000 | #Constraints: 24065
1066.26/1074.65 c #Conflicts: 375000 | #Constraints: 25065
1066.26/1074.65 c #Conflicts: 376000 | #Constraints: 26065
1066.26/1074.65 c #Conflicts: 377000 | #Constraints: 27065
1066.26/1074.65 c #Conflicts: 378000 | #Constraints: 28065
1066.26/1074.65 c #Conflicts: 379000 | #Constraints: 29065
1066.26/1074.65 c #Conflicts: 380000 | #Constraints: 30065
1066.26/1074.65 c #Conflicts: 381000 | #Constraints: 31065
1066.26/1074.65 c INPROCESSING
1066.26/1074.65 c GARBAGE COLLECT
1066.26/1074.65 c #Conflicts: 382000 | #Constraints: 19861
1066.26/1074.65 c #Conflicts: 383000 | #Constraints: 20861
1066.26/1074.65 c #Conflicts: 384000 | #Constraints: 21861
1066.26/1074.65 c #Conflicts: 385000 | #Constraints: 22861
1066.26/1074.65 c #Conflicts: 386000 | #Constraints: 23861
1066.26/1074.65 c #Conflicts: 387000 | #Constraints: 24861
1066.26/1074.65 c #Conflicts: 388000 | #Constraints: 25861
1066.26/1074.65 c #Conflicts: 389000 | #Constraints: 26861
1066.26/1074.65 c #Conflicts: 390000 | #Constraints: 27861
1066.26/1074.65 c #Conflicts: 391000 | #Constraints: 28861
1066.26/1074.65 c #Conflicts: 392000 | #Constraints: 29861
1066.26/1074.65 c #Conflicts: 393000 | #Constraints: 30861
1066.26/1074.65 c #Conflicts: 394000 | #Constraints: 31861
1066.26/1074.65 c INPROCESSING
1066.26/1074.65 c GARBAGE COLLECT
1066.26/1074.65 c #Conflicts: 395000 | #Constraints: 20471
1066.26/1074.65 c #Conflicts: 396000 | #Constraints: 21471
1066.26/1074.65 c #Conflicts: 397000 | #Constraints: 22471
1066.26/1074.65 c #Conflicts: 398000 | #Constraints: 23471
1066.26/1074.65 c #Conflicts: 399000 | #Constraints: 24471
1066.26/1074.65 c #Conflicts: 400000 | #Constraints: 25471
1066.26/1074.65 c #Conflicts: 401000 | #Constraints: 26471
1066.26/1074.65 c #Conflicts: 402000 | #Constraints: 27471
1066.26/1074.65 c #Conflicts: 403000 | #Constraints: 28471
1066.26/1074.65 c #Conflicts: 404000 | #Constraints: 29471
1066.26/1074.65 c #Conflicts: 405000 | #Constraints: 30471
1066.26/1074.65 c #Conflicts: 406000 | #Constraints: 31471
1066.26/1074.65 c #Conflicts: 407000 | #Constraints: 32471
1066.26/1074.65 c INPROCESSING
1066.26/1074.65 c GARBAGE COLLECT
1066.26/1074.65 c #Conflicts: 408000 | #Constraints: 20873
1066.26/1074.65 c #Conflicts: 409000 | #Constraints: 21873
1066.26/1074.65 c #Conflicts: 410000 | #Constraints: 22873
1066.26/1074.65 c #Conflicts: 411000 | #Constraints: 23873
1066.26/1074.65 c #Conflicts: 412000 | #Constraints: 24873
1066.26/1074.65 c #Conflicts: 413000 | #Constraints: 25873
1066.26/1074.65 c #Conflicts: 414000 | #Constraints: 26873
1066.26/1074.65 c #Conflicts: 415000 | #Constraints: 27873
1066.26/1074.65 c #Conflicts: 416000 | #Constraints: 28873
1066.26/1074.65 c #Conflicts: 417000 | #Constraints: 29873
1066.26/1074.65 c #Conflicts: 418000 | #Constraints: 30873
1066.26/1074.65 c #Conflicts: 419000 | #Constraints: 31873
1066.26/1074.65 c #Conflicts: 420000 | #Constraints: 32873
1066.26/1074.65 c INPROCESSING
1066.26/1074.65 c GARBAGE COLLECT
1066.26/1074.65 c #Conflicts: 421000 | #Constraints: 21074
1066.26/1074.65 c #Conflicts: 422000 | #Constraints: 22074
1066.26/1074.65 c #Conflicts: 423000 | #Constraints: 23074
1066.26/1074.65 c #Conflicts: 424000 | #Constraints: 24074
1066.26/1074.65 c #Conflicts: 425000 | #Constraints: 25074
1066.26/1074.65 c #Conflicts: 426000 | #Constraints: 26074
1066.26/1074.65 c #Conflicts: 427000 | #Constraints: 27074
1066.26/1074.65 c #Conflicts: 428000 | #Constraints: 28074
1066.26/1074.65 c #Conflicts: 429000 | #Constraints: 29075
1066.26/1074.65 c #Conflicts: 430000 | #Constraints: 30075
1066.26/1074.65 c #Conflicts: 431000 | #Constraints: 31075
1066.26/1074.65 c #Conflicts: 432000 | #Constraints: 32075
1066.26/1074.65 c #Conflicts: 433000 | #Constraints: 33075
1066.26/1074.65 c INPROCESSING
1066.26/1074.65 c GARBAGE COLLECT
1066.26/1074.65 c #Conflicts: 434000 | #Constraints: 21077
1066.26/1074.65 c #Conflicts: 435000 | #Constraints: 22077
1066.26/1074.65 c #Conflicts: 436000 | #Constraints: 23077
1066.26/1074.65 c #Conflicts: 437000 | #Constraints: 24077
1066.26/1074.65 c bounds - >= 292315807811190 @ 1051.44
1144.92/1154.03 c #Conflicts: 438000 | #Constraints: 25083
1144.92/1154.03 c #Conflicts: 439000 | #Constraints: 26083
1144.92/1154.03 c #Conflicts: 440000 | #Constraints: 27083
1144.92/1154.03 c #Conflicts: 441000 | #Constraints: 28083
1144.92/1154.03 c #Conflicts: 442000 | #Constraints: 29083
1144.92/1154.03 c #Conflicts: 443000 | #Constraints: 30083
1144.92/1154.03 c #Conflicts: 444000 | #Constraints: 31083
1144.92/1154.03 c #Conflicts: 445000 | #Constraints: 32083
1144.92/1154.03 c #Conflicts: 446000 | #Constraints: 33083
1144.92/1154.03 c INPROCESSING
1144.92/1154.03 c GARBAGE COLLECT
1144.92/1154.03 c #Conflicts: 447000 | #Constraints: 20849
1144.92/1154.03 c #Conflicts: 448000 | #Constraints: 21849
1144.92/1154.03 c #Conflicts: 449000 | #Constraints: 22849
1144.92/1154.03 c #Conflicts: 450000 | #Constraints: 23849
1144.92/1154.03 c #Conflicts: 451000 | #Constraints: 24849
1144.92/1154.03 c #Conflicts: 452000 | #Constraints: 25849
1144.92/1154.03 c #Conflicts: 453000 | #Constraints: 26849
1144.92/1154.03 c #Conflicts: 454000 | #Constraints: 27849
1144.92/1154.03 c #Conflicts: 455000 | #Constraints: 28850
1144.92/1154.03 c #Conflicts: 456000 | #Constraints: 29850
1144.92/1154.03 c #Conflicts: 457000 | #Constraints: 30850
1144.92/1154.03 c #Conflicts: 458000 | #Constraints: 31850
1144.92/1154.03 c #Conflicts: 459000 | #Constraints: 32850
1144.92/1154.03 c #Conflicts: 460000 | #Constraints: 33850
1144.92/1154.03 c INPROCESSING
1144.92/1154.03 c GARBAGE COLLECT
1144.92/1154.03 c #Conflicts: 461000 | #Constraints: 21449
1144.92/1154.03 c #Conflicts: 462000 | #Constraints: 22449
1144.92/1154.03 c #Conflicts: 463000 | #Constraints: 23449
1144.92/1154.03 c #Conflicts: 464000 | #Constraints: 24449
1144.92/1154.03 c #Conflicts: 465000 | #Constraints: 25449
1144.92/1154.03 c #Conflicts: 466000 | #Constraints: 26449
1144.92/1154.03 c #Conflicts: 467000 | #Constraints: 27449
1144.92/1154.03 c #Conflicts: 468000 | #Constraints: 28449
1144.92/1154.03 c #Conflicts: 469000 | #Constraints: 29449
1144.92/1154.03 c #Conflicts: 470000 | #Constraints: 30449
1144.92/1154.03 c #Conflicts: 471000 | #Constraints: 31449
1144.92/1154.03 c #Conflicts: 472000 | #Constraints: 32449
1144.92/1154.03 c #Conflicts: 473000 | #Constraints: 33449
1144.92/1154.03 c #Conflicts: 474000 | #Constraints: 34449
1144.92/1154.03 c INPROCESSING
1144.92/1154.03 c GARBAGE COLLECT
1144.92/1154.03 c #Conflicts: 475000 | #Constraints: 21850
1144.92/1154.03 c #Conflicts: 476000 | #Constraints: 22850
1144.92/1154.03 c #Conflicts: 477000 | #Constraints: 23850
1144.92/1154.03 c #Conflicts: 478000 | #Constraints: 24850
1144.92/1154.03 c #Conflicts: 479000 | #Constraints: 25850
1144.92/1154.03 c #Conflicts: 480000 | #Constraints: 26850
1144.92/1154.03 c #Conflicts: 481000 | #Constraints: 27850
1144.92/1154.03 c #Conflicts: 482000 | #Constraints: 28851
1144.92/1154.03 c bounds - >= 292446879811190 @ 1129.54
1390.64/1401.61 c #Conflicts: 483000 | #Constraints: 29855
1390.64/1401.61 c #Conflicts: 484000 | #Constraints: 30856
1390.64/1401.61 c #Conflicts: 485000 | #Constraints: 31856
1390.64/1401.61 c #Conflicts: 486000 | #Constraints: 32856
1390.64/1401.61 c #Conflicts: 487000 | #Constraints: 33856
1390.64/1401.61 c #Conflicts: 488000 | #Constraints: 34856
1390.64/1401.61 c INPROCESSING
1390.64/1401.61 c GARBAGE COLLECT
1390.64/1401.61 c #Conflicts: 489000 | #Constraints: 21987
1390.64/1401.61 c #Conflicts: 490000 | #Constraints: 22988
1390.64/1401.61 c #Conflicts: 491000 | #Constraints: 23988
1390.64/1401.61 c #Conflicts: 492000 | #Constraints: 24988
1390.64/1401.61 c #Conflicts: 493000 | #Constraints: 25988
1390.64/1401.61 c #Conflicts: 494000 | #Constraints: 26988
1390.64/1401.61 c #Conflicts: 495000 | #Constraints: 27988
1390.64/1401.61 c #Conflicts: 496000 | #Constraints: 28988
1390.64/1401.61 c #Conflicts: 497000 | #Constraints: 29988
1390.64/1401.61 c #Conflicts: 498000 | #Constraints: 30988
1390.64/1401.61 c #Conflicts: 499000 | #Constraints: 31988
1390.64/1401.61 c #Conflicts: 500000 | #Constraints: 32988
1390.64/1401.61 c #Conflicts: 501000 | #Constraints: 33988
1390.64/1401.61 c #Conflicts: 502000 | #Constraints: 34988
1390.64/1401.61 c INPROCESSING
1390.64/1401.61 c GARBAGE COLLECT
1390.64/1401.61 c #Conflicts: 503000 | #Constraints: 21984
1390.64/1401.61 c #Conflicts: 504000 | #Constraints: 22984
1390.64/1401.61 c #Conflicts: 505000 | #Constraints: 23984
1390.64/1401.61 c #Conflicts: 506000 | #Constraints: 24984
1390.64/1401.61 c #Conflicts: 507000 | #Constraints: 25984
1390.64/1401.61 c #Conflicts: 508000 | #Constraints: 26984
1390.64/1401.61 c #Conflicts: 509000 | #Constraints: 27984
1390.64/1401.61 c #Conflicts: 510000 | #Constraints: 28984
1390.64/1401.61 c #Conflicts: 511000 | #Constraints: 29984
1390.64/1401.61 c #Conflicts: 512000 | #Constraints: 30984
1390.64/1401.61 c #Conflicts: 513000 | #Constraints: 31984
1390.64/1401.61 c #Conflicts: 514000 | #Constraints: 32984
1390.64/1401.61 c #Conflicts: 515000 | #Constraints: 33984
1390.64/1401.61 c #Conflicts: 516000 | #Constraints: 34984
1390.64/1401.61 c INPROCESSING
1390.64/1401.61 c GARBAGE COLLECT
1390.64/1401.61 c #Conflicts: 517000 | #Constraints: 21812
1390.64/1401.61 c #Conflicts: 518000 | #Constraints: 22812
1390.64/1401.61 c #Conflicts: 519000 | #Constraints: 23812
1390.64/1401.61 c #Conflicts: 520000 | #Constraints: 24812
1390.64/1401.61 c #Conflicts: 521000 | #Constraints: 25812
1390.64/1401.61 c #Conflicts: 522000 | #Constraints: 26812
1390.64/1401.61 c #Conflicts: 523000 | #Constraints: 27812
1390.64/1401.61 c #Conflicts: 524000 | #Constraints: 28812
1390.64/1401.61 c #Conflicts: 525000 | #Constraints: 29812
1390.64/1401.61 c #Conflicts: 526000 | #Constraints: 30812
1390.64/1401.61 c #Conflicts: 527000 | #Constraints: 31812
1390.64/1401.61 c #Conflicts: 528000 | #Constraints: 32812
1390.64/1401.61 c #Conflicts: 529000 | #Constraints: 33812
1390.64/1401.61 c #Conflicts: 530000 | #Constraints: 34812
1390.64/1401.61 c #Conflicts: 531000 | #Constraints: 35812
1390.64/1401.61 c INPROCESSING
1390.64/1401.61 c GARBAGE COLLECT
1390.64/1401.61 c #Conflicts: 532000 | #Constraints: 22429
1390.64/1401.61 c #Conflicts: 533000 | #Constraints: 23429
1390.64/1401.61 c #Conflicts: 534000 | #Constraints: 24429
1390.64/1401.61 c #Conflicts: 535000 | #Constraints: 25429
1390.64/1401.61 c #Conflicts: 536000 | #Constraints: 26429
1390.64/1401.61 c #Conflicts: 537000 | #Constraints: 27429
1390.64/1401.61 c #Conflicts: 538000 | #Constraints: 28429
1390.64/1401.61 c #Conflicts: 539000 | #Constraints: 29429
1390.64/1401.61 c #Conflicts: 540000 | #Constraints: 30429
1390.64/1401.61 c #Conflicts: 541000 | #Constraints: 31429
1390.64/1401.61 c #Conflicts: 542000 | #Constraints: 32429
1390.64/1401.61 c #Conflicts: 543000 | #Constraints: 33429
1390.64/1401.61 c #Conflicts: 544000 | #Constraints: 34429
1390.64/1401.61 c #Conflicts: 545000 | #Constraints: 35429
1390.64/1401.61 c #Conflicts: 546000 | #Constraints: 36429
1390.64/1401.61 c INPROCESSING
1390.64/1401.61 c GARBAGE COLLECT
1390.64/1401.61 c #Conflicts: 547000 | #Constraints: 22834
1390.64/1401.61 c #Conflicts: 548000 | #Constraints: 23834
1390.64/1401.61 c #Conflicts: 549000 | #Constraints: 24834
1390.64/1401.61 c #Conflicts: 550000 | #Constraints: 25834
1390.64/1401.61 c #Conflicts: 551000 | #Constraints: 26834
1390.64/1401.61 c #Conflicts: 552000 | #Constraints: 27834
1390.64/1401.61 c #Conflicts: 553000 | #Constraints: 28834
1390.64/1401.61 c #Conflicts: 554000 | #Constraints: 29834
1390.64/1401.61 c #Conflicts: 555000 | #Constraints: 30834
1390.64/1401.61 c #Conflicts: 556000 | #Constraints: 31834
1390.64/1401.61 c #Conflicts: 557000 | #Constraints: 32834
1390.64/1401.61 c #Conflicts: 558000 | #Constraints: 33834
1554.35/1569.09 c #Conflicts: 559000 | #Constraints: 34834
1554.35/1569.09 c #Conflicts: 560000 | #Constraints: 35834
1554.35/1569.09 c #Conflicts: 561000 | #Constraints: 36834
1554.35/1569.09 c INPROCESSING
1554.35/1569.09 c GARBAGE COLLECT
1554.35/1569.09 c #Conflicts: 562000 | #Constraints: 23036
1554.35/1569.09 c #Conflicts: 563000 | #Constraints: 24036
1554.35/1569.09 c #Conflicts: 564000 | #Constraints: 25036
1554.35/1569.09 c #Conflicts: 565000 | #Constraints: 26036
1554.35/1569.09 c #Conflicts: 566000 | #Constraints: 27036
1554.35/1569.09 c #Conflicts: 567000 | #Constraints: 28036
1554.35/1569.09 c #Conflicts: 568000 | #Constraints: 29036
1554.35/1569.09 c #Conflicts: 569000 | #Constraints: 30036
1554.35/1569.09 c #Conflicts: 570000 | #Constraints: 31036
1554.35/1569.09 c #Conflicts: 571000 | #Constraints: 32036
1554.35/1569.09 c #Conflicts: 572000 | #Constraints: 33036
1554.35/1569.09 c #Conflicts: 573000 | #Constraints: 34036
1554.35/1569.09 c #Conflicts: 574000 | #Constraints: 35036
1554.35/1569.09 c #Conflicts: 575000 | #Constraints: 36036
1554.35/1569.09 c #Conflicts: 576000 | #Constraints: 37036
1554.35/1569.09 c INPROCESSING
1554.35/1569.09 c GARBAGE COLLECT
1554.35/1569.09 c #Conflicts: 577000 | #Constraints: 23039
1554.35/1569.09 c #Conflicts: 578000 | #Constraints: 24039
1554.35/1569.09 c #Conflicts: 579000 | #Constraints: 25039
1554.35/1569.09 c #Conflicts: 580000 | #Constraints: 26039
1554.35/1569.09 c #Conflicts: 581000 | #Constraints: 27039
1554.35/1569.09 c #Conflicts: 582000 | #Constraints: 28039
1554.35/1569.09 c #Conflicts: 583000 | #Constraints: 29039
1554.35/1569.09 c #Conflicts: 584000 | #Constraints: 30039
1554.35/1569.09 c #Conflicts: 585000 | #Constraints: 31039
1554.35/1569.09 c #Conflicts: 586000 | #Constraints: 32039
1554.35/1569.09 c #Conflicts: 587000 | #Constraints: 33039
1554.35/1569.09 c #Conflicts: 588000 | #Constraints: 34039
1554.35/1569.09 c #Conflicts: 589000 | #Constraints: 35039
1554.35/1569.09 c #Conflicts: 590000 | #Constraints: 36039
1554.35/1569.09 c #Conflicts: 591000 | #Constraints: 37039
1554.35/1569.09 c INPROCESSING
1554.35/1569.09 c GARBAGE COLLECT
1554.35/1569.09 c #Conflicts: 592000 | #Constraints: 22857
1554.35/1569.09 c #Conflicts: 593000 | #Constraints: 23857
1554.35/1569.09 c #Conflicts: 594000 | #Constraints: 24857
1554.35/1569.09 c #Conflicts: 595000 | #Constraints: 25857
1554.35/1569.09 c #Conflicts: 596000 | #Constraints: 26857
1554.35/1569.09 c #Conflicts: 597000 | #Constraints: 27857
1554.35/1569.09 c #Conflicts: 598000 | #Constraints: 28857
1554.35/1569.09 c #Conflicts: 599000 | #Constraints: 29857
1554.35/1569.09 c #Conflicts: 600000 | #Constraints: 30857
1554.35/1569.09 c #Conflicts: 601000 | #Constraints: 31857
1554.35/1569.09 c #Conflicts: 602000 | #Constraints: 32857
1554.35/1569.09 c #Conflicts: 603000 | #Constraints: 33857
1554.35/1569.09 c #Conflicts: 604000 | #Constraints: 34857
1554.35/1569.09 c #Conflicts: 605000 | #Constraints: 35857
1554.35/1569.09 c #Conflicts: 606000 | #Constraints: 36857
1554.35/1569.09 c #Conflicts: 607000 | #Constraints: 37857
1554.35/1569.09 c INPROCESSING
1554.35/1569.09 c GARBAGE COLLECT
1554.35/1569.09 c #Conflicts: 608000 | #Constraints: 23471
1554.35/1569.09 c #Conflicts: 609000 | #Constraints: 24471
1554.35/1569.09 c #Conflicts: 610000 | #Constraints: 25471
1554.35/1569.09 c #Conflicts: 611000 | #Constraints: 26471
1554.35/1569.09 c #Conflicts: 612000 | #Constraints: 27471
1554.35/1569.09 c #Conflicts: 613000 | #Constraints: 28471
1554.35/1569.09 c #Conflicts: 614000 | #Constraints: 29471
1554.35/1569.09 c #Conflicts: 615000 | #Constraints: 30471
1554.35/1569.09 c #Conflicts: 616000 | #Constraints: 31471
1554.35/1569.09 c #Conflicts: 617000 | #Constraints: 32471
1554.35/1569.09 c #Conflicts: 618000 | #Constraints: 33471
1554.35/1569.09 c #Conflicts: 619000 | #Constraints: 34471
1554.35/1569.09 c #Conflicts: 620000 | #Constraints: 35471
1554.35/1569.09 c #Conflicts: 621000 | #Constraints: 36471
1554.35/1569.09 c #Conflicts: 622000 | #Constraints: 37471
1554.35/1569.09 c #Conflicts: 623000 | #Constraints: 38471
1554.35/1569.09 c INPROCESSING
1554.35/1569.09 c GARBAGE COLLECT
1554.35/1569.09 c #Conflicts: 624000 | #Constraints: 23873
1554.35/1569.09 c #Conflicts: 625000 | #Constraints: 24873
1554.35/1569.09 c #Conflicts: 626000 | #Constraints: 25873
1554.35/1569.09 c #Conflicts: 627000 | #Constraints: 26873
1554.35/1569.09 c #Conflicts: 628000 | #Constraints: 27873
1554.35/1569.09 c #Conflicts: 629000 | #Constraints: 28873
1554.35/1569.09 c #Conflicts: 630000 | #Constraints: 29873
1554.35/1569.09 c #Conflicts: 631000 | #Constraints: 30873
1554.35/1569.09 c #Conflicts: 632000 | #Constraints: 31873
1554.35/1569.09 c #Conflicts: 633000 | #Constraints: 32873
1554.35/1569.09 c #Conflicts: 634000 | #Constraints: 33873
1784.33/1800.77 c #Conflicts: 635000 | #Constraints: 34873
1784.33/1800.77 c #Conflicts: 636000 | #Constraints: 35873
1784.33/1800.77 c #Conflicts: 637000 | #Constraints: 36873
1784.33/1800.77 c #Conflicts: 638000 | #Constraints: 37873
1784.33/1800.77 c #Conflicts: 639000 | #Constraints: 38873
1784.33/1800.77 c INPROCESSING
1784.33/1800.77 c GARBAGE COLLECT
1784.33/1800.77 c #Conflicts: 640000 | #Constraints: 24077
1784.33/1800.77 c #Conflicts: 641000 | #Constraints: 25077
1784.33/1800.77 c #Conflicts: 642000 | #Constraints: 26077
1784.33/1800.77 c #Conflicts: 643000 | #Constraints: 27077
1784.33/1800.77 c #Conflicts: 644000 | #Constraints: 28077
1784.33/1800.77 c #Conflicts: 645000 | #Constraints: 29077
1784.33/1800.77 c #Conflicts: 646000 | #Constraints: 30077
1784.33/1800.77 c #Conflicts: 647000 | #Constraints: 31077
1784.33/1800.77 c #Conflicts: 648000 | #Constraints: 32077
1784.33/1800.77 c #Conflicts: 649000 | #Constraints: 33077
1784.33/1800.77 c #Conflicts: 650000 | #Constraints: 34077
1784.33/1800.77 c #Conflicts: 651000 | #Constraints: 35077
1784.33/1800.77 c #Conflicts: 652000 | #Constraints: 36077
1784.33/1800.77 c #Conflicts: 653000 | #Constraints: 37077
1784.33/1800.77 c #Conflicts: 654000 | #Constraints: 38077
1784.33/1800.77 c #Conflicts: 655000 | #Constraints: 39077
1784.33/1800.77 c INPROCESSING
1784.33/1800.77 c GARBAGE COLLECT
1784.33/1800.77 c #Conflicts: 656000 | #Constraints: 24079
1784.33/1800.77 c #Conflicts: 657000 | #Constraints: 25079
1784.33/1800.77 c #Conflicts: 658000 | #Constraints: 26079
1784.33/1800.77 c #Conflicts: 659000 | #Constraints: 27079
1784.33/1800.77 c #Conflicts: 660000 | #Constraints: 28079
1784.33/1800.77 c #Conflicts: 661000 | #Constraints: 29079
1784.33/1800.77 c #Conflicts: 662000 | #Constraints: 30079
1784.33/1800.77 c #Conflicts: 663000 | #Constraints: 31079
1784.33/1800.77 c #Conflicts: 664000 | #Constraints: 32079
1784.33/1800.77 c #Conflicts: 665000 | #Constraints: 33079
1784.33/1800.77 c #Conflicts: 666000 | #Constraints: 34079
1784.33/1800.77 c #Conflicts: 667000 | #Constraints: 35079
1784.33/1800.77 c #Conflicts: 668000 | #Constraints: 36079
1784.33/1800.77 c #Conflicts: 669000 | #Constraints: 37079
1784.33/1800.77 c #Conflicts: 670000 | #Constraints: 38079
1784.33/1800.77 c #Conflicts: 671000 | #Constraints: 39079
1784.33/1800.77 c INPROCESSING
1784.33/1800.77 c GARBAGE COLLECT
1784.33/1800.77 c #Conflicts: 672000 | #Constraints: 23885
1784.33/1800.77 c #Conflicts: 673000 | #Constraints: 24885
1784.33/1800.77 c #Conflicts: 674000 | #Constraints: 25885
1784.33/1800.77 c #Conflicts: 675000 | #Constraints: 26885
1784.33/1800.77 c #Conflicts: 676000 | #Constraints: 27885
1784.33/1800.77 c #Conflicts: 677000 | #Constraints: 28885
1784.33/1800.77 c #Conflicts: 678000 | #Constraints: 29885
1784.33/1800.77 c #Conflicts: 679000 | #Constraints: 30885
1784.33/1800.77 c #Conflicts: 680000 | #Constraints: 31885
1784.33/1800.77 c #Conflicts: 681000 | #Constraints: 32885
1784.33/1800.77 c #Conflicts: 682000 | #Constraints: 33885
1784.33/1800.77 c #Conflicts: 683000 | #Constraints: 34885
1784.33/1800.77 c #Conflicts: 684000 | #Constraints: 35885
1784.33/1800.77 c #Conflicts: 685000 | #Constraints: 36885
1784.33/1800.77 c #Conflicts: 686000 | #Constraints: 37885
1784.33/1800.77 c #Conflicts: 687000 | #Constraints: 38885
1784.33/1800.77 c #Conflicts: 688000 | #Constraints: 39885
1784.33/1800.77 c INPROCESSING
1784.33/1800.77 c GARBAGE COLLECT
1784.33/1800.77 c #Conflicts: 689000 | #Constraints: 24485
1784.33/1800.77 c #Conflicts: 690000 | #Constraints: 25485
1784.33/1800.77 c #Conflicts: 691000 | #Constraints: 26485
1784.33/1800.77 c #Conflicts: 692000 | #Constraints: 27485
1784.33/1800.77 c #Conflicts: 693000 | #Constraints: 28485
1784.33/1800.77 c #Conflicts: 694000 | #Constraints: 29485
1784.33/1800.77 c #Conflicts: 695000 | #Constraints: 30485
1784.33/1800.77 c #Conflicts: 696000 | #Constraints: 31485
1784.33/1800.77 c #Conflicts: 697000 | #Constraints: 32485
1784.33/1800.77 c #Conflicts: 698000 | #Constraints: 33485
1784.33/1800.77 c #Conflicts: 699000 | #Constraints: 34485
1784.33/1800.77 c #Conflicts: 700000 | #Constraints: 35485
1784.33/1800.77 c #Conflicts: 701000 | #Constraints: 36485
1784.33/1800.77 c #Conflicts: 702000 | #Constraints: 37485
1784.33/1800.77 c #Conflicts: 703000 | #Constraints: 38485
1784.33/1800.77 c #Conflicts: 704000 | #Constraints: 39485
1784.33/1800.77 c #Conflicts: 705000 | #Constraints: 40485
1784.33/1800.77 c INPROCESSING
1784.33/1800.77 c GARBAGE COLLECT
1784.33/1800.77 c #Conflicts: 706000 | #Constraints: 24882
1784.33/1800.77 c #Conflicts: 707000 | #Constraints: 25882
1784.33/1800.77 c #Conflicts: 708000 | #Constraints: 26882
1784.33/1800.77 c #Conflicts: 709000 | #Constraints: 27882
1949.47/1966.75 c #Conflicts: 710000 | #Constraints: 28882
1949.47/1966.75 c #Conflicts: 711000 | #Constraints: 29882
1949.47/1966.75 c #Conflicts: 712000 | #Constraints: 30882
1949.47/1966.75 c #Conflicts: 713000 | #Constraints: 31882
1949.47/1966.75 c #Conflicts: 714000 | #Constraints: 32882
1949.47/1966.75 c #Conflicts: 715000 | #Constraints: 33882
1949.47/1966.75 c #Conflicts: 716000 | #Constraints: 34882
1949.47/1966.75 c #Conflicts: 717000 | #Constraints: 35882
1949.47/1966.75 c #Conflicts: 718000 | #Constraints: 36882
1949.47/1966.75 c #Conflicts: 719000 | #Constraints: 37882
1949.47/1966.75 c #Conflicts: 720000 | #Constraints: 38882
1949.47/1966.75 c #Conflicts: 721000 | #Constraints: 39882
1949.47/1966.75 c #Conflicts: 722000 | #Constraints: 40882
1949.47/1966.75 c INPROCESSING
1949.47/1966.75 c GARBAGE COLLECT
1949.47/1966.75 c #Conflicts: 723000 | #Constraints: 25082
1949.47/1966.75 c #Conflicts: 724000 | #Constraints: 26082
1949.47/1966.75 c #Conflicts: 725000 | #Constraints: 27082
1949.47/1966.75 c #Conflicts: 726000 | #Constraints: 28082
1949.47/1966.75 c #Conflicts: 727000 | #Constraints: 29082
1949.47/1966.75 c #Conflicts: 728000 | #Constraints: 30082
1949.47/1966.75 c #Conflicts: 729000 | #Constraints: 31082
1949.47/1966.75 c #Conflicts: 730000 | #Constraints: 32082
1949.47/1966.75 c #Conflicts: 731000 | #Constraints: 33082
1949.47/1966.75 c #Conflicts: 732000 | #Constraints: 34082
1949.47/1966.75 c #Conflicts: 733000 | #Constraints: 35082
1949.47/1966.75 c #Conflicts: 734000 | #Constraints: 36082
1949.47/1966.75 c #Conflicts: 735000 | #Constraints: 37082
1949.47/1966.75 c #Conflicts: 736000 | #Constraints: 38082
1949.47/1966.75 c #Conflicts: 737000 | #Constraints: 39082
1949.47/1966.75 c #Conflicts: 738000 | #Constraints: 40082
1949.47/1966.75 c #Conflicts: 739000 | #Constraints: 41082
1949.47/1966.75 c INPROCESSING
1949.47/1966.75 c GARBAGE COLLECT
1949.47/1966.75 c #Conflicts: 740000 | #Constraints: 25086
1949.47/1966.75 c #Conflicts: 741000 | #Constraints: 26086
1949.47/1966.75 c #Conflicts: 742000 | #Constraints: 27086
1949.47/1966.75 c #Conflicts: 743000 | #Constraints: 28086
1949.47/1966.75 c #Conflicts: 744000 | #Constraints: 29086
1949.47/1966.75 c #Conflicts: 745000 | #Constraints: 30086
1949.47/1966.75 c #Conflicts: 746000 | #Constraints: 31086
1949.47/1966.75 c #Conflicts: 747000 | #Constraints: 32086
1949.47/1966.75 c #Conflicts: 748000 | #Constraints: 33086
1949.47/1966.75 c #Conflicts: 749000 | #Constraints: 34086
1949.47/1966.75 c #Conflicts: 750000 | #Constraints: 35086
1949.47/1966.75 c #Conflicts: 751000 | #Constraints: 36086
1949.47/1966.75 c #Conflicts: 752000 | #Constraints: 37086
1949.47/1966.75 c #Conflicts: 753000 | #Constraints: 38086
1949.47/1966.75 c #Conflicts: 754000 | #Constraints: 39086
1949.47/1966.75 c #Conflicts: 755000 | #Constraints: 40086
1949.47/1966.75 c #Conflicts: 756000 | #Constraints: 41086
1949.47/1966.75 c INPROCESSING
1949.47/1966.75 c GARBAGE COLLECT
1949.47/1966.75 c #Conflicts: 757000 | #Constraints: 24881
1949.47/1966.75 c #Conflicts: 758000 | #Constraints: 25881
1949.47/1966.75 c #Conflicts: 759000 | #Constraints: 26881
1949.47/1966.75 c #Conflicts: 760000 | #Constraints: 27881
1949.47/1966.75 c #Conflicts: 761000 | #Constraints: 28881
1949.47/1966.75 c #Conflicts: 762000 | #Constraints: 29881
1949.47/1966.75 c #Conflicts: 763000 | #Constraints: 30881
1949.47/1966.75 c #Conflicts: 764000 | #Constraints: 31881
1949.47/1966.75 c #Conflicts: 765000 | #Constraints: 32881
1949.47/1966.75 c #Conflicts: 766000 | #Constraints: 33881
1949.47/1966.75 c #Conflicts: 767000 | #Constraints: 34881
1949.47/1966.75 c #Conflicts: 768000 | #Constraints: 35881
1949.47/1966.75 c #Conflicts: 769000 | #Constraints: 36881
1949.47/1966.75 c #Conflicts: 770000 | #Constraints: 37881
1949.47/1966.75 c #Conflicts: 771000 | #Constraints: 38881
1949.47/1966.75 c #Conflicts: 772000 | #Constraints: 39881
1949.47/1966.75 c #Conflicts: 773000 | #Constraints: 40881
1949.47/1966.75 c #Conflicts: 774000 | #Constraints: 41881
1949.47/1966.75 c INPROCESSING
1949.47/1966.75 c GARBAGE COLLECT
1949.47/1966.75 c #Conflicts: 775000 | #Constraints: 25479
1949.47/1966.75 c #Conflicts: 776000 | #Constraints: 26479
1949.47/1966.75 c #Conflicts: 777000 | #Constraints: 27479
1949.47/1966.75 c #Conflicts: 778000 | #Constraints: 28479
1949.47/1966.75 c #Conflicts: 779000 | #Constraints: 29479
1949.47/1966.75 c #Conflicts: 780000 | #Constraints: 30479
1949.47/1966.75 c #Conflicts: 781000 | #Constraints: 31479
1949.47/1966.75 c #Conflicts: 782000 | #Constraints: 32479
1949.47/1966.75 c #Conflicts: 783000 | #Constraints: 33479
1949.47/1966.75 c #Conflicts: 784000 | #Constraints: 34479
1949.47/1966.75 c #Conflicts: 785000 | #Constraints: 35479
1949.47/1966.75 c #Conflicts: 786000 | #Constraints: 36479
2119.22/2137.10 c #Conflicts: 787000 | #Constraints: 37479
2119.22/2137.10 c #Conflicts: 788000 | #Constraints: 38479
2119.22/2137.10 c #Conflicts: 789000 | #Constraints: 39479
2119.22/2137.10 c #Conflicts: 790000 | #Constraints: 40479
2119.22/2137.10 c #Conflicts: 791000 | #Constraints: 41479
2119.22/2137.10 c #Conflicts: 792000 | #Constraints: 42479
2119.22/2137.10 c INPROCESSING
2119.22/2137.10 c GARBAGE COLLECT
2119.22/2137.10 c #Conflicts: 793000 | #Constraints: 25874
2119.22/2137.10 c #Conflicts: 794000 | #Constraints: 26874
2119.22/2137.10 c #Conflicts: 795000 | #Constraints: 27874
2119.22/2137.10 c #Conflicts: 796000 | #Constraints: 28874
2119.22/2137.10 c #Conflicts: 797000 | #Constraints: 29874
2119.22/2137.10 c #Conflicts: 798000 | #Constraints: 30874
2119.22/2137.10 c #Conflicts: 799000 | #Constraints: 31874
2119.22/2137.10 c #Conflicts: 800000 | #Constraints: 32874
2119.22/2137.10 c #Conflicts: 801000 | #Constraints: 33874
2119.22/2137.10 c #Conflicts: 802000 | #Constraints: 34874
2119.22/2137.10 c #Conflicts: 803000 | #Constraints: 35874
2119.22/2137.10 c #Conflicts: 804000 | #Constraints: 36874
2119.22/2137.10 c #Conflicts: 805000 | #Constraints: 37874
2119.22/2137.10 c #Conflicts: 806000 | #Constraints: 38874
2119.22/2137.10 c #Conflicts: 807000 | #Constraints: 39874
2119.22/2137.10 c #Conflicts: 808000 | #Constraints: 40874
2119.22/2137.10 c #Conflicts: 809000 | #Constraints: 41874
2119.22/2137.10 c #Conflicts: 810000 | #Constraints: 42874
2119.22/2137.10 c INPROCESSING
2119.22/2137.10 c GARBAGE COLLECT
2119.22/2137.10 c #Conflicts: 811000 | #Constraints: 26072
2119.22/2137.10 c #Conflicts: 812000 | #Constraints: 27072
2119.22/2137.10 c #Conflicts: 813000 | #Constraints: 28072
2119.22/2137.10 c #Conflicts: 814000 | #Constraints: 29072
2119.22/2137.10 c #Conflicts: 815000 | #Constraints: 30072
2119.22/2137.10 c #Conflicts: 816000 | #Constraints: 31072
2119.22/2137.10 c #Conflicts: 817000 | #Constraints: 32072
2119.22/2137.10 c #Conflicts: 818000 | #Constraints: 33072
2119.22/2137.10 c #Conflicts: 819000 | #Constraints: 34072
2119.22/2137.10 c #Conflicts: 820000 | #Constraints: 35072
2119.22/2137.10 c #Conflicts: 821000 | #Constraints: 36072
2119.22/2137.10 c #Conflicts: 822000 | #Constraints: 37072
2119.22/2137.10 c #Conflicts: 823000 | #Constraints: 38072
2119.22/2137.10 c #Conflicts: 824000 | #Constraints: 39072
2119.22/2137.10 c #Conflicts: 825000 | #Constraints: 40072
2119.22/2137.10 c #Conflicts: 826000 | #Constraints: 41072
2119.22/2137.10 c #Conflicts: 827000 | #Constraints: 42072
2119.22/2137.10 c #Conflicts: 828000 | #Constraints: 43072
2119.22/2137.10 c INPROCESSING
2119.22/2137.10 c GARBAGE COLLECT
2119.22/2137.10 c #Conflicts: 829000 | #Constraints: 26074
2119.22/2137.10 c #Conflicts: 830000 | #Constraints: 27074
2119.22/2137.10 c #Conflicts: 831000 | #Constraints: 28074
2119.22/2137.10 c #Conflicts: 832000 | #Constraints: 29074
2119.22/2137.10 c #Conflicts: 833000 | #Constraints: 30074
2119.22/2137.10 c #Conflicts: 834000 | #Constraints: 31074
2119.22/2137.10 c #Conflicts: 835000 | #Constraints: 32074
2119.22/2137.10 c #Conflicts: 836000 | #Constraints: 33074
2119.22/2137.10 c #Conflicts: 837000 | #Constraints: 34074
2119.22/2137.10 c #Conflicts: 838000 | #Constraints: 35074
2119.22/2137.10 c #Conflicts: 839000 | #Constraints: 36074
2119.22/2137.10 c #Conflicts: 840000 | #Constraints: 37074
2119.22/2137.10 c #Conflicts: 841000 | #Constraints: 38074
2119.22/2137.10 c #Conflicts: 842000 | #Constraints: 39074
2119.22/2137.10 c #Conflicts: 843000 | #Constraints: 40074
2119.22/2137.10 c #Conflicts: 844000 | #Constraints: 41074
2119.22/2137.10 c #Conflicts: 845000 | #Constraints: 42074
2119.22/2137.10 c #Conflicts: 846000 | #Constraints: 43074
2119.22/2137.10 c INPROCESSING
2119.22/2137.10 c GARBAGE COLLECT
2119.22/2137.10 c #Conflicts: 847000 | #Constraints: 25871
2119.22/2137.10 c #Conflicts: 848000 | #Constraints: 26871
2119.22/2137.10 c #Conflicts: 849000 | #Constraints: 27871
2119.22/2137.10 c #Conflicts: 850000 | #Constraints: 28871
2119.22/2137.10 c #Conflicts: 851000 | #Constraints: 29871
2119.22/2137.10 c #Conflicts: 852000 | #Constraints: 30871
2119.22/2137.10 c #Conflicts: 853000 | #Constraints: 31871
2119.22/2137.10 c #Conflicts: 854000 | #Constraints: 32871
2119.22/2137.10 c #Conflicts: 855000 | #Constraints: 33871
2119.22/2137.10 c #Conflicts: 856000 | #Constraints: 34871
2119.22/2137.10 c #Conflicts: 857000 | #Constraints: 35871
2119.22/2137.10 c #Conflicts: 858000 | #Constraints: 36871
2119.22/2137.10 c #Conflicts: 859000 | #Constraints: 37871
2119.22/2137.10 c #Conflicts: 860000 | #Constraints: 38871
2119.22/2137.10 c #Conflicts: 861000 | #Constraints: 39871
2119.22/2137.10 c #Conflicts: 862000 | #Constraints: 40871
2341.93/2360.35 c #Conflicts: 863000 | #Constraints: 41871
2341.93/2360.35 c #Conflicts: 864000 | #Constraints: 42871
2341.93/2360.35 c #Conflicts: 865000 | #Constraints: 43871
2341.93/2360.35 c INPROCESSING
2341.93/2360.35 c GARBAGE COLLECT
2341.93/2360.35 c #Conflicts: 866000 | #Constraints: 26469
2341.93/2360.35 c #Conflicts: 867000 | #Constraints: 27469
2341.93/2360.35 c #Conflicts: 868000 | #Constraints: 28469
2341.93/2360.35 c #Conflicts: 869000 | #Constraints: 29469
2341.93/2360.35 c #Conflicts: 870000 | #Constraints: 30469
2341.93/2360.35 c #Conflicts: 871000 | #Constraints: 31469
2341.93/2360.35 c #Conflicts: 872000 | #Constraints: 32469
2341.93/2360.35 c #Conflicts: 873000 | #Constraints: 33469
2341.93/2360.35 c #Conflicts: 874000 | #Constraints: 34469
2341.93/2360.35 c #Conflicts: 875000 | #Constraints: 35469
2341.93/2360.35 c #Conflicts: 876000 | #Constraints: 36469
2341.93/2360.35 c #Conflicts: 877000 | #Constraints: 37469
2341.93/2360.35 c #Conflicts: 878000 | #Constraints: 38469
2341.93/2360.35 c #Conflicts: 879000 | #Constraints: 39469
2341.93/2360.35 c #Conflicts: 880000 | #Constraints: 40469
2341.93/2360.35 c #Conflicts: 881000 | #Constraints: 41469
2341.93/2360.35 c #Conflicts: 882000 | #Constraints: 42469
2341.93/2360.35 c #Conflicts: 883000 | #Constraints: 43469
2341.93/2360.35 c #Conflicts: 884000 | #Constraints: 44469
2341.93/2360.35 c INPROCESSING
2341.93/2360.35 c GARBAGE COLLECT
2341.93/2360.35 c #Conflicts: 885000 | #Constraints: 26870
2341.93/2360.35 c #Conflicts: 886000 | #Constraints: 27870
2341.93/2360.35 c #Conflicts: 887000 | #Constraints: 28870
2341.93/2360.35 c #Conflicts: 888000 | #Constraints: 29870
2341.93/2360.35 c #Conflicts: 889000 | #Constraints: 30870
2341.93/2360.35 c #Conflicts: 890000 | #Constraints: 31870
2341.93/2360.35 c #Conflicts: 891000 | #Constraints: 32870
2341.93/2360.35 c #Conflicts: 892000 | #Constraints: 33870
2341.93/2360.35 c #Conflicts: 893000 | #Constraints: 34870
2341.93/2360.35 c #Conflicts: 894000 | #Constraints: 35870
2341.93/2360.35 c #Conflicts: 895000 | #Constraints: 36870
2341.93/2360.35 c #Conflicts: 896000 | #Constraints: 37870
2341.93/2360.35 c #Conflicts: 897000 | #Constraints: 38870
2341.93/2360.35 c #Conflicts: 898000 | #Constraints: 39870
2341.93/2360.35 c #Conflicts: 899000 | #Constraints: 40870
2341.93/2360.35 c #Conflicts: 900000 | #Constraints: 41870
2341.93/2360.35 c #Conflicts: 901000 | #Constraints: 42870
2341.93/2360.35 c #Conflicts: 902000 | #Constraints: 43870
2341.93/2360.35 c #Conflicts: 903000 | #Constraints: 44870
2341.93/2360.35 c INPROCESSING
2341.93/2360.35 c GARBAGE COLLECT
2341.93/2360.35 c #Conflicts: 904000 | #Constraints: 27069
2341.93/2360.35 c #Conflicts: 905000 | #Constraints: 28069
2341.93/2360.35 c #Conflicts: 906000 | #Constraints: 29069
2341.93/2360.35 c #Conflicts: 907000 | #Constraints: 30069
2341.93/2360.35 c #Conflicts: 908000 | #Constraints: 31069
2341.93/2360.35 c #Conflicts: 909000 | #Constraints: 32069
2341.93/2360.35 c #Conflicts: 910000 | #Constraints: 33069
2341.93/2360.35 c #Conflicts: 911000 | #Constraints: 34069
2341.93/2360.35 c #Conflicts: 912000 | #Constraints: 35069
2341.93/2360.35 c #Conflicts: 913000 | #Constraints: 36069
2341.93/2360.35 c #Conflicts: 914000 | #Constraints: 37069
2341.93/2360.35 c #Conflicts: 915000 | #Constraints: 38069
2341.93/2360.35 c #Conflicts: 916000 | #Constraints: 39069
2341.93/2360.35 c #Conflicts: 917000 | #Constraints: 40069
2341.93/2360.35 c #Conflicts: 918000 | #Constraints: 41069
2341.93/2360.35 c #Conflicts: 919000 | #Constraints: 42069
2341.93/2360.35 c #Conflicts: 920000 | #Constraints: 43069
2341.93/2360.35 c #Conflicts: 921000 | #Constraints: 44069
2341.93/2360.35 c #Conflicts: 922000 | #Constraints: 45069
2341.93/2360.35 c INPROCESSING
2341.93/2360.35 c GARBAGE COLLECT
2341.93/2360.35 c #Conflicts: 923000 | #Constraints: 27070
2341.93/2360.35 c #Conflicts: 924000 | #Constraints: 28070
2341.93/2360.35 c #Conflicts: 925000 | #Constraints: 29070
2341.93/2360.35 c #Conflicts: 926000 | #Constraints: 30070
2341.93/2360.35 c #Conflicts: 927000 | #Constraints: 31070
2341.93/2360.35 c #Conflicts: 928000 | #Constraints: 32070
2341.93/2360.35 c #Conflicts: 929000 | #Constraints: 33070
2341.93/2360.35 c #Conflicts: 930000 | #Constraints: 34070
2341.93/2360.35 c #Conflicts: 931000 | #Constraints: 35070
2341.93/2360.35 c #Conflicts: 932000 | #Constraints: 36070
2341.93/2360.35 c #Conflicts: 933000 | #Constraints: 37070
2341.93/2360.35 c #Conflicts: 934000 | #Constraints: 38070
2341.93/2360.35 c #Conflicts: 935000 | #Constraints: 39070
2341.93/2360.35 c #Conflicts: 936000 | #Constraints: 40070
2341.93/2360.35 c #Conflicts: 937000 | #Constraints: 41070
2341.93/2360.35 c #Conflicts: 938000 | #Constraints: 42070
2507.34/2526.39 c #Conflicts: 939000 | #Constraints: 43070
2507.34/2526.39 c #Conflicts: 940000 | #Constraints: 44070
2507.34/2526.39 c #Conflicts: 941000 | #Constraints: 45070
2507.34/2526.39 c INPROCESSING
2507.34/2526.39 c GARBAGE COLLECT
2507.34/2526.39 c #Conflicts: 942000 | #Constraints: 26871
2507.34/2526.39 c #Conflicts: 943000 | #Constraints: 27871
2507.34/2526.39 c #Conflicts: 944000 | #Constraints: 28871
2507.34/2526.39 c #Conflicts: 945000 | #Constraints: 29871
2507.34/2526.39 c #Conflicts: 946000 | #Constraints: 30871
2507.34/2526.39 c #Conflicts: 947000 | #Constraints: 31871
2507.34/2526.39 c #Conflicts: 948000 | #Constraints: 32871
2507.34/2526.39 c #Conflicts: 949000 | #Constraints: 33871
2507.34/2526.39 c #Conflicts: 950000 | #Constraints: 34871
2507.34/2526.39 c #Conflicts: 951000 | #Constraints: 35871
2507.34/2526.39 c #Conflicts: 952000 | #Constraints: 36871
2507.34/2526.39 c #Conflicts: 953000 | #Constraints: 37871
2507.34/2526.39 c #Conflicts: 954000 | #Constraints: 38871
2507.34/2526.39 c #Conflicts: 955000 | #Constraints: 39871
2507.34/2526.39 c #Conflicts: 956000 | #Constraints: 40871
2507.34/2526.39 c #Conflicts: 957000 | #Constraints: 41871
2507.34/2526.39 c #Conflicts: 958000 | #Constraints: 42871
2507.34/2526.39 c #Conflicts: 959000 | #Constraints: 43871
2507.34/2526.39 c #Conflicts: 960000 | #Constraints: 44871
2507.34/2526.39 c #Conflicts: 961000 | #Constraints: 45871
2507.34/2526.39 c INPROCESSING
2507.34/2526.39 c GARBAGE COLLECT
2507.34/2526.39 c #Conflicts: 962000 | #Constraints: 27472
2507.34/2526.39 c #Conflicts: 963000 | #Constraints: 28472
2507.34/2526.39 c #Conflicts: 964000 | #Constraints: 29472
2507.34/2526.39 c #Conflicts: 965000 | #Constraints: 30472
2507.34/2526.39 c #Conflicts: 966000 | #Constraints: 31472
2507.34/2526.39 c #Conflicts: 967000 | #Constraints: 32472
2507.34/2526.39 c #Conflicts: 968000 | #Constraints: 33472
2507.34/2526.39 c #Conflicts: 969000 | #Constraints: 34472
2507.34/2526.39 c #Conflicts: 970000 | #Constraints: 35472
2507.34/2526.39 c #Conflicts: 971000 | #Constraints: 36472
2507.34/2526.39 c #Conflicts: 972000 | #Constraints: 37472
2507.34/2526.39 c #Conflicts: 973000 | #Constraints: 38472
2507.34/2526.39 c #Conflicts: 974000 | #Constraints: 39472
2507.34/2526.39 c #Conflicts: 975000 | #Constraints: 40472
2507.34/2526.39 c #Conflicts: 976000 | #Constraints: 41472
2507.34/2526.39 c #Conflicts: 977000 | #Constraints: 42472
2507.34/2526.39 c #Conflicts: 978000 | #Constraints: 43472
2507.34/2526.39 c #Conflicts: 979000 | #Constraints: 44472
2507.34/2526.39 c #Conflicts: 980000 | #Constraints: 45472
2507.34/2526.39 c #Conflicts: 981000 | #Constraints: 46472
2507.34/2526.39 c INPROCESSING
2507.34/2526.39 c GARBAGE COLLECT
2507.34/2526.39 c #Conflicts: 982000 | #Constraints: 27873
2507.34/2526.39 c #Conflicts: 983000 | #Constraints: 28873
2507.34/2526.39 c #Conflicts: 984000 | #Constraints: 29873
2507.34/2526.39 c #Conflicts: 985000 | #Constraints: 30873
2507.34/2526.39 c #Conflicts: 986000 | #Constraints: 31873
2507.34/2526.39 c #Conflicts: 987000 | #Constraints: 32873
2507.34/2526.39 c #Conflicts: 988000 | #Constraints: 33873
2507.34/2526.39 c #Conflicts: 989000 | #Constraints: 34873
2507.34/2526.39 c #Conflicts: 990000 | #Constraints: 35873
2507.34/2526.39 c #Conflicts: 991000 | #Constraints: 36873
2507.34/2526.39 c #Conflicts: 992000 | #Constraints: 37873
2507.34/2526.39 c #Conflicts: 993000 | #Constraints: 38873
2507.34/2526.39 c #Conflicts: 994000 | #Constraints: 39873
2507.34/2526.39 c #Conflicts: 995000 | #Constraints: 40873
2507.34/2526.39 c #Conflicts: 996000 | #Constraints: 41873
2507.34/2526.39 c #Conflicts: 997000 | #Constraints: 42873
2507.34/2526.39 c #Conflicts: 998000 | #Constraints: 43873
2507.34/2526.39 c #Conflicts: 999000 | #Constraints: 44873
2507.34/2526.39 c #Conflicts: 1000000 | #Constraints: 45873
2507.34/2526.39 c #Conflicts: 1001000 | #Constraints: 46873
2507.34/2526.39 c INPROCESSING
2507.34/2526.39 c GARBAGE COLLECT
2507.34/2526.39 c #Conflicts: 1002000 | #Constraints: 28074
2507.34/2526.39 c #Conflicts: 1003000 | #Constraints: 29074
2507.34/2526.39 c #Conflicts: 1004000 | #Constraints: 30074
2507.34/2526.39 c #Conflicts: 1005000 | #Constraints: 31074
2507.34/2526.39 c #Conflicts: 1006000 | #Constraints: 32074
2507.34/2526.39 c #Conflicts: 1007000 | #Constraints: 33074
2507.34/2526.39 c #Conflicts: 1008000 | #Constraints: 34074
2507.34/2526.39 c #Conflicts: 1009000 | #Constraints: 35074
2507.34/2526.39 c #Conflicts: 1010000 | #Constraints: 36074
2507.34/2526.39 c #Conflicts: 1011000 | #Constraints: 37074
2507.34/2526.39 c #Conflicts: 1012000 | #Constraints: 38074
2507.34/2526.39 c #Conflicts: 1013000 | #Constraints: 39074
2507.34/2526.39 c #Conflicts: 1014000 | #Constraints: 40074
2660.27/2680.39 c #Conflicts: 1015000 | #Constraints: 41074
2660.27/2680.39 c #Conflicts: 1016000 | #Constraints: 42074
2660.27/2680.39 c #Conflicts: 1017000 | #Constraints: 43074
2660.27/2680.39 c #Conflicts: 1018000 | #Constraints: 44074
2660.27/2680.39 c #Conflicts: 1019000 | #Constraints: 45074
2660.27/2680.39 c #Conflicts: 1020000 | #Constraints: 46074
2660.27/2680.39 c #Conflicts: 1021000 | #Constraints: 47074
2660.27/2680.39 c INPROCESSING
2660.27/2680.39 c GARBAGE COLLECT
2660.27/2680.39 c #Conflicts: 1022000 | #Constraints: 28075
2660.27/2680.39 c #Conflicts: 1023000 | #Constraints: 29075
2660.27/2680.39 c #Conflicts: 1024000 | #Constraints: 30075
2660.27/2680.39 c #Conflicts: 1025000 | #Constraints: 31075
2660.27/2680.39 c #Conflicts: 1026000 | #Constraints: 32075
2660.27/2680.39 c #Conflicts: 1027000 | #Constraints: 33075
2660.27/2680.39 c #Conflicts: 1028000 | #Constraints: 34075
2660.27/2680.39 c #Conflicts: 1029000 | #Constraints: 35075
2660.27/2680.39 c #Conflicts: 1030000 | #Constraints: 36075
2660.27/2680.39 c #Conflicts: 1031000 | #Constraints: 37075
2660.27/2680.39 c #Conflicts: 1032000 | #Constraints: 38075
2660.27/2680.39 c #Conflicts: 1033000 | #Constraints: 39075
2660.27/2680.39 c #Conflicts: 1034000 | #Constraints: 40075
2660.27/2680.39 c #Conflicts: 1035000 | #Constraints: 41075
2660.27/2680.39 c #Conflicts: 1036000 | #Constraints: 42075
2660.27/2680.39 c #Conflicts: 1037000 | #Constraints: 43075
2660.27/2680.39 c #Conflicts: 1038000 | #Constraints: 44075
2660.27/2680.39 c #Conflicts: 1039000 | #Constraints: 45075
2660.27/2680.39 c #Conflicts: 1040000 | #Constraints: 46075
2660.27/2680.39 c #Conflicts: 1041000 | #Constraints: 47075
2660.27/2680.39 c INPROCESSING
2660.27/2680.39 c GARBAGE COLLECT
2660.27/2680.39 c #Conflicts: 1042000 | #Constraints: 27876
2660.27/2680.39 c #Conflicts: 1043000 | #Constraints: 28876
2660.27/2680.39 c #Conflicts: 1044000 | #Constraints: 29876
2660.27/2680.39 c #Conflicts: 1045000 | #Constraints: 30876
2660.27/2680.39 c #Conflicts: 1046000 | #Constraints: 31876
2660.27/2680.39 c #Conflicts: 1047000 | #Constraints: 32876
2660.27/2680.39 c #Conflicts: 1048000 | #Constraints: 33876
2660.27/2680.39 c #Conflicts: 1049000 | #Constraints: 34876
2660.27/2680.39 c #Conflicts: 1050000 | #Constraints: 35876
2660.27/2680.39 c #Conflicts: 1051000 | #Constraints: 36876
2660.27/2680.39 c #Conflicts: 1052000 | #Constraints: 37876
2660.27/2680.39 c #Conflicts: 1053000 | #Constraints: 38876
2660.27/2680.39 c #Conflicts: 1054000 | #Constraints: 39876
2660.27/2680.39 c #Conflicts: 1055000 | #Constraints: 40876
2660.27/2680.39 c #Conflicts: 1056000 | #Constraints: 41876
2660.27/2680.39 c #Conflicts: 1057000 | #Constraints: 42876
2660.27/2680.39 c #Conflicts: 1058000 | #Constraints: 43876
2660.27/2680.39 c #Conflicts: 1059000 | #Constraints: 44876
2660.27/2680.39 c #Conflicts: 1060000 | #Constraints: 45876
2660.27/2680.39 c #Conflicts: 1061000 | #Constraints: 46876
2660.27/2680.39 c #Conflicts: 1062000 | #Constraints: 47876
2660.27/2680.39 c INPROCESSING
2660.27/2680.39 c GARBAGE COLLECT
2660.27/2680.39 c #Conflicts: 1063000 | #Constraints: 28476
2660.27/2680.39 c #Conflicts: 1064000 | #Constraints: 29476
2660.27/2680.39 c #Conflicts: 1065000 | #Constraints: 30476
2660.27/2680.39 c #Conflicts: 1066000 | #Constraints: 31476
2660.27/2680.39 c #Conflicts: 1067000 | #Constraints: 32476
2660.27/2680.39 c #Conflicts: 1068000 | #Constraints: 33476
2660.27/2680.39 c #Conflicts: 1069000 | #Constraints: 34476
2660.27/2680.39 c #Conflicts: 1070000 | #Constraints: 35476
2660.27/2680.39 c #Conflicts: 1071000 | #Constraints: 36476
2660.27/2680.39 c #Conflicts: 1072000 | #Constraints: 37476
2660.27/2680.39 c #Conflicts: 1073000 | #Constraints: 38476
2660.27/2680.39 c #Conflicts: 1074000 | #Constraints: 39476
2660.27/2680.39 c #Conflicts: 1075000 | #Constraints: 40476
2660.27/2680.39 c #Conflicts: 1076000 | #Constraints: 41476
2660.27/2680.39 c #Conflicts: 1077000 | #Constraints: 42476
2660.27/2680.39 c #Conflicts: 1078000 | #Constraints: 43476
2660.27/2680.39 c #Conflicts: 1079000 | #Constraints: 44476
2660.27/2680.39 c #Conflicts: 1080000 | #Constraints: 45476
2660.27/2680.39 c #Conflicts: 1081000 | #Constraints: 46476
2660.27/2680.39 c #Conflicts: 1082000 | #Constraints: 47476
2660.27/2680.39 c #Conflicts: 1083000 | #Constraints: 48476
2660.27/2680.39 c INPROCESSING
2660.27/2680.39 c GARBAGE COLLECT
2660.27/2680.39 c #Conflicts: 1084000 | #Constraints: 28876
2660.27/2680.39 c #Conflicts: 1085000 | #Constraints: 29876
2660.27/2680.39 c #Conflicts: 1086000 | #Constraints: 30876
2660.27/2680.39 c #Conflicts: 1087000 | #Constraints: 31876
2660.27/2680.39 c #Conflicts: 1088000 | #Constraints: 32876
2660.27/2680.39 c #Conflicts: 1089000 | #Constraints: 33876
2660.27/2680.39 c #Conflicts: 1090000 | #Constraints: 34876
2801.03/2822.14 c #Conflicts: 1091000 | #Constraints: 35876
2801.03/2822.14 c #Conflicts: 1092000 | #Constraints: 36876
2801.03/2822.14 c #Conflicts: 1093000 | #Constraints: 37876
2801.03/2822.14 c #Conflicts: 1094000 | #Constraints: 38876
2801.03/2822.14 c #Conflicts: 1095000 | #Constraints: 39876
2801.03/2822.14 c #Conflicts: 1096000 | #Constraints: 40876
2801.03/2822.14 c #Conflicts: 1097000 | #Constraints: 41876
2801.03/2822.14 c #Conflicts: 1098000 | #Constraints: 42876
2801.03/2822.14 c #Conflicts: 1099000 | #Constraints: 43876
2801.03/2822.14 c #Conflicts: 1100000 | #Constraints: 44876
2801.03/2822.14 c #Conflicts: 1101000 | #Constraints: 45876
2801.03/2822.14 c #Conflicts: 1102000 | #Constraints: 46876
2801.03/2822.14 c #Conflicts: 1103000 | #Constraints: 47876
2801.03/2822.14 c #Conflicts: 1104000 | #Constraints: 48876
2801.03/2822.14 c INPROCESSING
2801.03/2822.14 c GARBAGE COLLECT
2801.03/2822.14 c #Conflicts: 1105000 | #Constraints: 29075
2801.03/2822.14 c #Conflicts: 1106000 | #Constraints: 30075
2801.03/2822.14 c #Conflicts: 1107000 | #Constraints: 31075
2801.03/2822.14 c #Conflicts: 1108000 | #Constraints: 32075
2801.03/2822.14 c #Conflicts: 1109000 | #Constraints: 33075
2801.03/2822.14 c #Conflicts: 1110000 | #Constraints: 34075
2801.03/2822.14 c #Conflicts: 1111000 | #Constraints: 35075
2801.03/2822.14 c #Conflicts: 1112000 | #Constraints: 36075
2801.03/2822.14 c #Conflicts: 1113000 | #Constraints: 37075
2801.03/2822.14 c #Conflicts: 1114000 | #Constraints: 38075
2801.03/2822.14 c #Conflicts: 1115000 | #Constraints: 39075
2801.03/2822.14 c #Conflicts: 1116000 | #Constraints: 40075
2801.03/2822.14 c #Conflicts: 1117000 | #Constraints: 41075
2801.03/2822.14 c #Conflicts: 1118000 | #Constraints: 42075
2801.03/2822.14 c #Conflicts: 1119000 | #Constraints: 43075
2801.03/2822.14 c #Conflicts: 1120000 | #Constraints: 44075
2801.03/2822.14 c #Conflicts: 1121000 | #Constraints: 45075
2801.03/2822.14 c #Conflicts: 1122000 | #Constraints: 46075
2801.03/2822.14 c #Conflicts: 1123000 | #Constraints: 47075
2801.03/2822.14 c #Conflicts: 1124000 | #Constraints: 48075
2801.03/2822.14 c #Conflicts: 1125000 | #Constraints: 49075
2801.03/2822.14 c INPROCESSING
2801.03/2822.14 c GARBAGE COLLECT
2801.03/2822.14 c #Conflicts: 1126000 | #Constraints: 29075
2801.03/2822.14 c #Conflicts: 1127000 | #Constraints: 30075
2801.03/2822.14 c #Conflicts: 1128000 | #Constraints: 31075
2801.03/2822.14 c #Conflicts: 1129000 | #Constraints: 32075
2801.03/2822.14 c #Conflicts: 1130000 | #Constraints: 33075
2801.03/2822.14 c #Conflicts: 1131000 | #Constraints: 34075
2801.03/2822.14 c #Conflicts: 1132000 | #Constraints: 35075
2801.03/2822.14 c #Conflicts: 1133000 | #Constraints: 36075
2801.03/2822.14 c #Conflicts: 1134000 | #Constraints: 37075
2801.03/2822.14 c #Conflicts: 1135000 | #Constraints: 38075
2801.03/2822.14 c #Conflicts: 1136000 | #Constraints: 39075
2801.03/2822.14 c #Conflicts: 1137000 | #Constraints: 40075
2801.03/2822.14 c #Conflicts: 1138000 | #Constraints: 41075
2801.03/2822.14 c #Conflicts: 1139000 | #Constraints: 42075
2801.03/2822.14 c #Conflicts: 1140000 | #Constraints: 43075
2801.03/2822.14 c #Conflicts: 1141000 | #Constraints: 44075
2801.03/2822.14 c #Conflicts: 1142000 | #Constraints: 45075
2801.03/2822.14 c #Conflicts: 1143000 | #Constraints: 46075
2801.03/2822.14 c #Conflicts: 1144000 | #Constraints: 47075
2801.03/2822.14 c #Conflicts: 1145000 | #Constraints: 48075
2801.03/2822.14 c #Conflicts: 1146000 | #Constraints: 49075
2801.03/2822.14 c INPROCESSING
2801.03/2822.14 c GARBAGE COLLECT
2801.03/2822.14 c #Conflicts: 1147000 | #Constraints: 28872
2801.03/2822.14 c #Conflicts: 1148000 | #Constraints: 29872
2801.03/2822.14 c #Conflicts: 1149000 | #Constraints: 30872
2801.03/2822.14 c #Conflicts: 1150000 | #Constraints: 31872
2801.03/2822.14 c #Conflicts: 1151000 | #Constraints: 32872
2801.03/2822.14 c #Conflicts: 1152000 | #Constraints: 33872
2801.03/2822.14 c #Conflicts: 1153000 | #Constraints: 34872
2801.03/2822.14 c #Conflicts: 1154000 | #Constraints: 35872
2801.03/2822.14 c #Conflicts: 1155000 | #Constraints: 36872
2801.03/2822.14 c #Conflicts: 1156000 | #Constraints: 37872
2801.03/2822.14 c #Conflicts: 1157000 | #Constraints: 38872
2801.03/2822.14 c #Conflicts: 1158000 | #Constraints: 39872
2801.03/2822.14 c #Conflicts: 1159000 | #Constraints: 40872
2801.03/2822.14 c #Conflicts: 1160000 | #Constraints: 41872
2801.03/2822.14 c #Conflicts: 1161000 | #Constraints: 42872
2801.03/2822.14 c #Conflicts: 1162000 | #Constraints: 43872
2801.03/2822.14 c #Conflicts: 1163000 | #Constraints: 44872
2801.03/2822.14 c #Conflicts: 1164000 | #Constraints: 45872
2801.03/2822.14 c #Conflicts: 1165000 | #Constraints: 46872
2801.03/2822.14 c #Conflicts: 1166000 | #Constraints: 47872
2801.03/2822.14 c #Conflicts: 1167000 | #Constraints: 48872
3045.36/3067.57 c #Conflicts: 1168000 | #Constraints: 49872
3045.36/3067.57 c INPROCESSING
3045.36/3067.57 c GARBAGE COLLECT
3045.36/3067.57 c #Conflicts: 1169000 | #Constraints: 29472
3045.36/3067.57 c #Conflicts: 1170000 | #Constraints: 30472
3045.36/3067.57 c #Conflicts: 1171000 | #Constraints: 31472
3045.36/3067.57 c #Conflicts: 1172000 | #Constraints: 32472
3045.36/3067.57 c #Conflicts: 1173000 | #Constraints: 33472
3045.36/3067.57 c #Conflicts: 1174000 | #Constraints: 34472
3045.36/3067.57 c #Conflicts: 1175000 | #Constraints: 35472
3045.36/3067.57 c #Conflicts: 1176000 | #Constraints: 36472
3045.36/3067.57 c #Conflicts: 1177000 | #Constraints: 37472
3045.36/3067.57 c #Conflicts: 1178000 | #Constraints: 38472
3045.36/3067.57 c #Conflicts: 1179000 | #Constraints: 39472
3045.36/3067.57 c #Conflicts: 1180000 | #Constraints: 40472
3045.36/3067.57 c #Conflicts: 1181000 | #Constraints: 41472
3045.36/3067.57 c #Conflicts: 1182000 | #Constraints: 42472
3045.36/3067.57 c #Conflicts: 1183000 | #Constraints: 43472
3045.36/3067.57 c #Conflicts: 1184000 | #Constraints: 44472
3045.36/3067.57 c #Conflicts: 1185000 | #Constraints: 45472
3045.36/3067.57 c #Conflicts: 1186000 | #Constraints: 46472
3045.36/3067.57 c #Conflicts: 1187000 | #Constraints: 47472
3045.36/3067.57 c #Conflicts: 1188000 | #Constraints: 48472
3045.36/3067.57 c #Conflicts: 1189000 | #Constraints: 49472
3045.36/3067.57 c #Conflicts: 1190000 | #Constraints: 50472
3045.36/3067.57 c INPROCESSING
3045.36/3067.57 c GARBAGE COLLECT
3045.36/3067.57 c #Conflicts: 1191000 | #Constraints: 29873
3045.36/3067.57 c #Conflicts: 1192000 | #Constraints: 30873
3045.36/3067.57 c #Conflicts: 1193000 | #Constraints: 31873
3045.36/3067.57 c #Conflicts: 1194000 | #Constraints: 32873
3045.36/3067.57 c #Conflicts: 1195000 | #Constraints: 33873
3045.36/3067.57 c #Conflicts: 1196000 | #Constraints: 34873
3045.36/3067.57 c #Conflicts: 1197000 | #Constraints: 35873
3045.36/3067.57 c #Conflicts: 1198000 | #Constraints: 36873
3045.36/3067.57 c #Conflicts: 1199000 | #Constraints: 37873
3045.36/3067.57 c #Conflicts: 1200000 | #Constraints: 38873
3045.36/3067.57 c #Conflicts: 1201000 | #Constraints: 39873
3045.36/3067.57 c #Conflicts: 1202000 | #Constraints: 40873
3045.36/3067.57 c #Conflicts: 1203000 | #Constraints: 41873
3045.36/3067.57 c #Conflicts: 1204000 | #Constraints: 42873
3045.36/3067.57 c #Conflicts: 1205000 | #Constraints: 43873
3045.36/3067.57 c #Conflicts: 1206000 | #Constraints: 44873
3045.36/3067.57 c #Conflicts: 1207000 | #Constraints: 45873
3045.36/3067.57 c #Conflicts: 1208000 | #Constraints: 46873
3045.36/3067.57 c #Conflicts: 1209000 | #Constraints: 47873
3045.36/3067.57 c #Conflicts: 1210000 | #Constraints: 48873
3045.36/3067.57 c #Conflicts: 1211000 | #Constraints: 49873
3045.36/3067.57 c #Conflicts: 1212000 | #Constraints: 50873
3045.36/3067.57 c INPROCESSING
3045.36/3067.57 c GARBAGE COLLECT
3045.36/3067.57 c #Conflicts: 1213000 | #Constraints: 30069
3045.36/3067.57 c #Conflicts: 1214000 | #Constraints: 31069
3045.36/3067.57 c #Conflicts: 1215000 | #Constraints: 32069
3045.36/3067.57 c #Conflicts: 1216000 | #Constraints: 33069
3045.36/3067.57 c #Conflicts: 1217000 | #Constraints: 34069
3045.36/3067.57 c #Conflicts: 1218000 | #Constraints: 35069
3045.36/3067.57 c #Conflicts: 1219000 | #Constraints: 36069
3045.36/3067.57 c #Conflicts: 1220000 | #Constraints: 37069
3045.36/3067.57 c #Conflicts: 1221000 | #Constraints: 38069
3045.36/3067.57 c #Conflicts: 1222000 | #Constraints: 39069
3045.36/3067.57 c #Conflicts: 1223000 | #Constraints: 40069
3045.36/3067.57 c #Conflicts: 1224000 | #Constraints: 41069
3045.36/3067.57 c #Conflicts: 1225000 | #Constraints: 42069
3045.36/3067.57 c #Conflicts: 1226000 | #Constraints: 43069
3045.36/3067.57 c #Conflicts: 1227000 | #Constraints: 44069
3045.36/3067.57 c #Conflicts: 1228000 | #Constraints: 45069
3045.36/3067.57 c #Conflicts: 1229000 | #Constraints: 46069
3045.36/3067.57 c #Conflicts: 1230000 | #Constraints: 47069
3045.36/3067.57 c #Conflicts: 1231000 | #Constraints: 48069
3045.36/3067.57 c #Conflicts: 1232000 | #Constraints: 49069
3045.36/3067.57 c #Conflicts: 1233000 | #Constraints: 50069
3045.36/3067.57 c #Conflicts: 1234000 | #Constraints: 51069
3045.36/3067.57 c INPROCESSING
3045.36/3067.57 c GARBAGE COLLECT
3045.36/3067.57 c #Conflicts: 1235000 | #Constraints: 30069
3045.36/3067.57 c #Conflicts: 1236000 | #Constraints: 31069
3045.36/3067.57 c #Conflicts: 1237000 | #Constraints: 32069
3045.36/3067.57 c #Conflicts: 1238000 | #Constraints: 33069
3045.36/3067.57 c #Conflicts: 1239000 | #Constraints: 34069
3045.36/3067.57 c #Conflicts: 1240000 | #Constraints: 35069
3045.36/3067.57 c #Conflicts: 1241000 | #Constraints: 36069
3045.36/3067.57 c #Conflicts: 1242000 | #Constraints: 37069
3045.36/3067.57 c #Conflicts: 1243000 | #Constraints: 38069
3045.36/3067.57 c #Conflicts: 1244000 | #Constraints: 39069
3219.79/3243.05 c #Conflicts: 1245000 | #Constraints: 40069
3219.79/3243.05 c #Conflicts: 1246000 | #Constraints: 41069
3219.79/3243.05 c #Conflicts: 1247000 | #Constraints: 42069
3219.79/3243.05 c #Conflicts: 1248000 | #Constraints: 43069
3219.79/3243.05 c #Conflicts: 1249000 | #Constraints: 44069
3219.79/3243.05 c #Conflicts: 1250000 | #Constraints: 45069
3219.79/3243.05 c #Conflicts: 1251000 | #Constraints: 46069
3219.79/3243.05 c #Conflicts: 1252000 | #Constraints: 47069
3219.79/3243.05 c #Conflicts: 1253000 | #Constraints: 48069
3219.79/3243.05 c #Conflicts: 1254000 | #Constraints: 49069
3219.79/3243.05 c #Conflicts: 1255000 | #Constraints: 50069
3219.79/3243.05 c #Conflicts: 1256000 | #Constraints: 51069
3219.79/3243.05 c INPROCESSING
3219.79/3243.05 c GARBAGE COLLECT
3219.79/3243.05 c #Conflicts: 1257000 | #Constraints: 29876
3219.79/3243.05 c #Conflicts: 1258000 | #Constraints: 30876
3219.79/3243.05 c #Conflicts: 1259000 | #Constraints: 31876
3219.79/3243.05 c #Conflicts: 1260000 | #Constraints: 32876
3219.79/3243.05 c #Conflicts: 1261000 | #Constraints: 33876
3219.79/3243.05 c #Conflicts: 1262000 | #Constraints: 34876
3219.79/3243.05 c #Conflicts: 1263000 | #Constraints: 35876
3219.79/3243.05 c #Conflicts: 1264000 | #Constraints: 36876
3219.79/3243.05 c #Conflicts: 1265000 | #Constraints: 37876
3219.79/3243.05 c #Conflicts: 1266000 | #Constraints: 38876
3219.79/3243.05 c #Conflicts: 1267000 | #Constraints: 39876
3219.79/3243.05 c #Conflicts: 1268000 | #Constraints: 40876
3219.79/3243.05 c #Conflicts: 1269000 | #Constraints: 41876
3219.79/3243.05 c #Conflicts: 1270000 | #Constraints: 42876
3219.79/3243.05 c #Conflicts: 1271000 | #Constraints: 43876
3219.79/3243.05 c #Conflicts: 1272000 | #Constraints: 44876
3219.79/3243.05 c #Conflicts: 1273000 | #Constraints: 45876
3219.79/3243.05 c #Conflicts: 1274000 | #Constraints: 46876
3219.79/3243.05 c #Conflicts: 1275000 | #Constraints: 47876
3219.79/3243.05 c #Conflicts: 1276000 | #Constraints: 48876
3219.79/3243.05 c #Conflicts: 1277000 | #Constraints: 49876
3219.79/3243.05 c #Conflicts: 1278000 | #Constraints: 50876
3219.79/3243.05 c #Conflicts: 1279000 | #Constraints: 51876
3219.79/3243.05 c INPROCESSING
3219.79/3243.05 c GARBAGE COLLECT
3219.79/3243.05 c #Conflicts: 1280000 | #Constraints: 30476
3219.79/3243.05 c #Conflicts: 1281000 | #Constraints: 31476
3219.79/3243.05 c #Conflicts: 1282000 | #Constraints: 32476
3219.79/3243.05 c #Conflicts: 1283000 | #Constraints: 33476
3219.79/3243.05 c #Conflicts: 1284000 | #Constraints: 34476
3219.79/3243.05 c #Conflicts: 1285000 | #Constraints: 35476
3219.79/3243.05 c #Conflicts: 1286000 | #Constraints: 36476
3219.79/3243.05 c #Conflicts: 1287000 | #Constraints: 37476
3219.79/3243.05 c #Conflicts: 1288000 | #Constraints: 38476
3219.79/3243.05 c #Conflicts: 1289000 | #Constraints: 39476
3219.79/3243.05 c #Conflicts: 1290000 | #Constraints: 40476
3219.79/3243.05 c #Conflicts: 1291000 | #Constraints: 41476
3219.79/3243.05 c #Conflicts: 1292000 | #Constraints: 42476
3219.79/3243.05 c #Conflicts: 1293000 | #Constraints: 43476
3219.79/3243.05 c #Conflicts: 1294000 | #Constraints: 44476
3219.79/3243.05 c #Conflicts: 1295000 | #Constraints: 45476
3219.79/3243.05 c #Conflicts: 1296000 | #Constraints: 46476
3219.79/3243.05 c #Conflicts: 1297000 | #Constraints: 47476
3219.79/3243.05 c #Conflicts: 1298000 | #Constraints: 48476
3219.79/3243.05 c #Conflicts: 1299000 | #Constraints: 49476
3219.79/3243.05 c #Conflicts: 1300000 | #Constraints: 50476
3219.79/3243.05 c #Conflicts: 1301000 | #Constraints: 51476
3219.79/3243.05 c #Conflicts: 1302000 | #Constraints: 52476
3219.79/3243.05 c INPROCESSING
3219.79/3243.05 c GARBAGE COLLECT
3219.79/3243.05 c #Conflicts: 1303000 | #Constraints: 30876
3219.79/3243.05 c #Conflicts: 1304000 | #Constraints: 31876
3219.79/3243.05 c #Conflicts: 1305000 | #Constraints: 32876
3219.79/3243.05 c #Conflicts: 1306000 | #Constraints: 33876
3219.79/3243.05 c #Conflicts: 1307000 | #Constraints: 34876
3219.79/3243.05 c #Conflicts: 1308000 | #Constraints: 35876
3219.79/3243.05 c #Conflicts: 1309000 | #Constraints: 36876
3219.79/3243.05 c #Conflicts: 1310000 | #Constraints: 37876
3219.79/3243.05 c #Conflicts: 1311000 | #Constraints: 38876
3219.79/3243.05 c #Conflicts: 1312000 | #Constraints: 39876
3219.79/3243.05 c #Conflicts: 1313000 | #Constraints: 40876
3219.79/3243.05 c #Conflicts: 1314000 | #Constraints: 41876
3219.79/3243.05 c #Conflicts: 1315000 | #Constraints: 42876
3219.79/3243.05 c #Conflicts: 1316000 | #Constraints: 43876
3219.79/3243.05 c #Conflicts: 1317000 | #Constraints: 44876
3219.79/3243.05 c #Conflicts: 1318000 | #Constraints: 45876
3219.79/3243.05 c #Conflicts: 1319000 | #Constraints: 46876
3219.79/3243.05 c #Conflicts: 1320000 | #Constraints: 47876
3426.51/3452.25 c #Conflicts: 1321000 | #Constraints: 48876
3426.51/3452.25 c #Conflicts: 1322000 | #Constraints: 49876
3426.51/3452.25 c #Conflicts: 1323000 | #Constraints: 50876
3426.51/3452.25 c #Conflicts: 1324000 | #Constraints: 51876
3426.51/3452.25 c #Conflicts: 1325000 | #Constraints: 52876
3426.51/3452.25 c INPROCESSING
3426.51/3452.25 c GARBAGE COLLECT
3426.51/3452.25 c #Conflicts: 1326000 | #Constraints: 31079
3426.51/3452.25 c #Conflicts: 1327000 | #Constraints: 32079
3426.51/3452.25 c #Conflicts: 1328000 | #Constraints: 33079
3426.51/3452.25 c #Conflicts: 1329000 | #Constraints: 34079
3426.51/3452.25 c #Conflicts: 1330000 | #Constraints: 35079
3426.51/3452.25 c #Conflicts: 1331000 | #Constraints: 36079
3426.51/3452.25 c #Conflicts: 1332000 | #Constraints: 37079
3426.51/3452.25 c #Conflicts: 1333000 | #Constraints: 38079
3426.51/3452.25 c #Conflicts: 1334000 | #Constraints: 39079
3426.51/3452.25 c #Conflicts: 1335000 | #Constraints: 40079
3426.51/3452.25 c #Conflicts: 1336000 | #Constraints: 41079
3426.51/3452.25 c #Conflicts: 1337000 | #Constraints: 42079
3426.51/3452.25 c #Conflicts: 1338000 | #Constraints: 43079
3426.51/3452.25 c #Conflicts: 1339000 | #Constraints: 44079
3426.51/3452.25 c #Conflicts: 1340000 | #Constraints: 45079
3426.51/3452.25 c #Conflicts: 1341000 | #Constraints: 46079
3426.51/3452.25 c #Conflicts: 1342000 | #Constraints: 47079
3426.51/3452.25 c #Conflicts: 1343000 | #Constraints: 48079
3426.51/3452.25 c #Conflicts: 1344000 | #Constraints: 49079
3426.51/3452.25 c #Conflicts: 1345000 | #Constraints: 50079
3426.51/3452.25 c #Conflicts: 1346000 | #Constraints: 51079
3426.51/3452.25 c #Conflicts: 1347000 | #Constraints: 52079
3426.51/3452.25 c #Conflicts: 1348000 | #Constraints: 53079
3426.51/3452.25 c INPROCESSING
3426.51/3452.25 c GARBAGE COLLECT
3426.51/3452.25 c #Conflicts: 1349000 | #Constraints: 31079
3426.51/3452.25 c #Conflicts: 1350000 | #Constraints: 32079
3426.51/3452.25 c #Conflicts: 1351000 | #Constraints: 33079
3426.51/3452.25 c #Conflicts: 1352000 | #Constraints: 34079
3426.51/3452.25 c #Conflicts: 1353000 | #Constraints: 35079
3426.51/3452.25 c #Conflicts: 1354000 | #Constraints: 36079
3426.51/3452.25 c #Conflicts: 1355000 | #Constraints: 37079
3426.51/3452.25 c #Conflicts: 1356000 | #Constraints: 38079
3426.51/3452.25 c #Conflicts: 1357000 | #Constraints: 39079
3426.51/3452.25 c #Conflicts: 1358000 | #Constraints: 40079
3426.51/3452.25 c #Conflicts: 1359000 | #Constraints: 41079
3426.51/3452.25 c #Conflicts: 1360000 | #Constraints: 42079
3426.51/3452.25 c #Conflicts: 1361000 | #Constraints: 43079
3426.51/3452.25 c #Conflicts: 1362000 | #Constraints: 44079
3426.51/3452.25 c #Conflicts: 1363000 | #Constraints: 45079
3426.51/3452.25 c #Conflicts: 1364000 | #Constraints: 46079
3426.51/3452.25 c #Conflicts: 1365000 | #Constraints: 47079
3426.51/3452.25 c #Conflicts: 1366000 | #Constraints: 48079
3426.51/3452.25 c #Conflicts: 1367000 | #Constraints: 49079
3426.51/3452.25 c #Conflicts: 1368000 | #Constraints: 50079
3426.51/3452.25 c #Conflicts: 1369000 | #Constraints: 51079
3426.51/3452.25 c #Conflicts: 1370000 | #Constraints: 52079
3426.51/3452.25 c #Conflicts: 1371000 | #Constraints: 53079
3426.51/3452.25 c INPROCESSING
3426.51/3452.25 c GARBAGE COLLECT
3426.51/3452.25 c #Conflicts: 1372000 | #Constraints: 30876
3426.51/3452.25 c #Conflicts: 1373000 | #Constraints: 31876
3426.51/3452.25 c #Conflicts: 1374000 | #Constraints: 32876
3426.51/3452.25 c #Conflicts: 1375000 | #Constraints: 33876
3426.51/3452.25 c #Conflicts: 1376000 | #Constraints: 34876
3426.51/3452.25 c #Conflicts: 1377000 | #Constraints: 35876
3426.51/3452.25 c #Conflicts: 1378000 | #Constraints: 36876
3426.51/3452.25 c #Conflicts: 1379000 | #Constraints: 37876
3426.51/3452.25 c #Conflicts: 1380000 | #Constraints: 38876
3426.51/3452.25 c #Conflicts: 1381000 | #Constraints: 39876
3426.51/3452.25 c #Conflicts: 1382000 | #Constraints: 40876
3426.51/3452.25 c #Conflicts: 1383000 | #Constraints: 41876
3426.51/3452.25 c #Conflicts: 1384000 | #Constraints: 42876
3426.51/3452.25 c #Conflicts: 1385000 | #Constraints: 43876
3426.51/3452.25 c #Conflicts: 1386000 | #Constraints: 44876
3426.51/3452.25 c #Conflicts: 1387000 | #Constraints: 45876
3426.51/3452.25 c #Conflicts: 1388000 | #Constraints: 46876
3426.51/3452.25 c #Conflicts: 1389000 | #Constraints: 47876
3426.51/3452.25 c #Conflicts: 1390000 | #Constraints: 48876
3426.51/3452.25 c #Conflicts: 1391000 | #Constraints: 49876
3426.51/3452.25 c #Conflicts: 1392000 | #Constraints: 50876
3426.51/3452.25 c #Conflicts: 1393000 | #Constraints: 51876
3426.51/3452.25 c #Conflicts: 1394000 | #Constraints: 52876
3426.51/3452.25 c #Conflicts: 1395000 | #Constraints: 53876
3426.51/3452.25 c INPROCESSING
3426.51/3452.25 c GARBAGE COLLECT
3426.51/3452.25 c #Conflicts: 1396000 | #Constraints: 31474
3426.51/3452.25 c #Conf
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (59387 MiB free)
memory of node 1: 64465 MiB (58788 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531731-1752584603/watcher-4531731-1752584603 -o /tmp/evaluation-result-4531731-1752584603/solver-4531731-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752584602-129838 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531731-1752584603.opb PROOFDIR/proof-4531731-1752584603
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=129898, runsolver pid=129891
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 0.10 0.31 0.24 6/271 129901
/proc/meminfo: memFree=120911572/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129901] ppid=129898 vsize=37804 memory=30028 CPUtime=0.08 cores=4,6
/proc/129901/stat : 129901 (pbsuma) R 129898 129898 129827 0 -1 4194304 6621 0 0 0 7 1 0 0 20 0 1 0 174139801 38711296 7507 18446744073709551615 4210688 4653049 140722230089360 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23224320 140722230094049 140722230094384 140722230094384 140722230099951 0
/proc/129901/statm: 9451 7507 960 108 0 6859 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 41996 KiB
Current children cumulated memory: 32972 KiB
[startup+0.205821 s]*
/proc/loadavg: 0.10 0.31 0.24 6/271 129901
/proc/meminfo: memFree=120802196/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129901] ppid=129898 vsize=91240 memory=75172 CPUtime=0.17 cores=4,6
/proc/129901/stat : 129901 (pbsuma) R 129898 129898 129827 0 -1 4194304 12281 0 0 0 14 3 0 0 20 0 1 0 174139801 93429760 18793 18446744073709551615 4210688 4653049 140722230089360 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23224320 140722230094049 140722230094384 140722230094384 140722230099951 0
/proc/129901/statm: 22810 18793 992 108 0 20218 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 95432 KiB
Current children cumulated memory: 78116 KiB
[startup+0.305787 s]*
/proc/loadavg: 0.41 0.37 0.26 6/271 129901
/proc/meminfo: memFree=120708752/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129901] ppid=129898 vsize=161864 memory=143544 CPUtime=0.27 cores=4,6
/proc/129901/stat : 129901 (pbsuma) R 129898 129898 129827 0 -1 4194304 16608 0 0 0 22 5 0 0 20 0 1 0 174139801 165748736 35886 18446744073709551615 4210688 4653049 140722230089360 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23224320 140722230094049 140722230094384 140722230094384 140722230099951 0
/proc/129901/statm: 40466 35886 992 108 0 37874 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 166056 KiB
Current children cumulated memory: 146488 KiB
[startup+0.700221 s]
/proc/loadavg: 0.41 0.37 0.26 6/271 129902
/proc/meminfo: memFree=120500816/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129901] ppid=129898 vsize=523600 memory=363072 CPUtime=0.65 cores=4,6
/proc/129901/stat : 129901 (pbsuma) R 129898 129898 129827 0 -1 4194304 37798 0 0 0 53 12 0 0 20 0 1 0 174139801 536166400 90768 18446744073709551615 4210688 4653049 140722230089360 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23224320 140722230094049 140722230094384 140722230094384 140722230099951 0
/proc/129901/statm: 130900 90768 1024 108 0 128308 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 527792 KiB
Current children cumulated memory: 366016 KiB
[startup+1.50022 s]
/proc/loadavg: 0.41 0.37 0.26 5/271 129903
/proc/meminfo: memFree=120477220/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=139804 memory=92936 CPUtime=0.48 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 16361 0 0 0 43 5 0 0 20 0 1 0 174139892 143159296 23234 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 34951 23234 2080 1147 0 22377 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 143996 KiB
Current children cumulated memory: 95880 KiB
[startup+3.10548 s]
/proc/loadavg: 0.41 0.37 0.26 6/271 129903
/proc/meminfo: memFree=120248228/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=224764 memory=180480 CPUtime=2.06 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 37865 0 0 0 196 10 0 0 20 0 1 0 174139892 230158336 45120 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 56191 45120 2368 1147 0 43617 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 228956 KiB
Current children cumulated memory: 183424 KiB
[startup+6.3002 s]
/proc/loadavg: 0.70 0.43 0.28 6/271 129903
/proc/meminfo: memFree=120273852/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=224764 memory=180480 CPUtime=5.24 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 37866 0 0 0 514 10 0 0 20 0 1 0 174139892 230158336 45120 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 56191 45120 2368 1147 0 43617 0
Current children cumulated CPU time: 6.11 s
Current children cumulated vsize: 228956 KiB
Current children cumulated memory: 183424 KiB
[startup+12.7002 s]
/proc/loadavg: 0.96 0.49 0.30 6/271 129904
/proc/meminfo: memFree=120491324/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=224764 memory=180608 CPUtime=11.62 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 37868 0 0 0 1152 10 0 0 20 0 1 0 174139892 230158336 45152 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 56191 45152 2368 1147 0 43617 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 228956 KiB
Current children cumulated memory: 183552 KiB
[startup+25.5002 s]
/proc/loadavg: 1.51 0.62 0.35 6/271 129905
/proc/meminfo: memFree=120433656/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=224764 memory=180608 CPUtime=24.39 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 37868 0 0 0 2429 10 0 0 20 0 1 0 174139892 230158336 45152 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 56191 45152 2368 1147 0 43617 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 228956 KiB
Current children cumulated memory: 183552 KiB
[startup+51.1055 s]
/proc/loadavg: 2.49 0.95 0.46 6/271 129905
/proc/meminfo: memFree=119674976/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=405576 memory=336524 CPUtime=49.94 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 55127 0 0 0 4949 45 0 0 20 0 1 0 174139892 415309824 84131 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 101394 84131 2464 1147 0 88820 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 409768 KiB
Current children cumulated memory: 339468 KiB
[startup+102.3 s]
/proc/loadavg: 3.39 1.44 0.66 6/272 129910
/proc/meminfo: memFree=117448348/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=442956 memory=376908 CPUtime=100.97 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 60009 0 0 0 10014 83 0 0 20 0 1 0 174139892 453586944 94227 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 110739 94227 2528 1147 0 98165 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 447148 KiB
Current children cumulated memory: 379852 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 1.95 0.88 6/273 129913
/proc/meminfo: memFree=115353076/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=481608 memory=415640 CPUtime=160.8 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 64333 0 0 0 15931 149 0 0 20 0 1 0 174139892 493166592 103910 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 120402 103910 2528 1147 0 107828 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 485800 KiB
Current children cumulated memory: 418584 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.34 1.09 6/272 129915
/proc/meminfo: memFree=113361664/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=481608 memory=415768 CPUtime=220.63 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 64360 0 0 0 21867 196 0 0 20 0 1 0 174139892 493166592 103942 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 120402 103942 2528 1147 0 107828 0
Current children cumulated CPU time: 221.5 s
################
# More data... #
################
/proc/meminfo: memFree=24291524/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=674568 memory=620828 CPUtime=3258.11 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 114184 0 0 0 322915 2896 0 0 20 0 1 0 174139892 690757632 155207 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 168642 155207 2560 1147 0 156068 0
Current children cumulated CPU time: 3258.98 s
Current children cumulated vsize: 678760 KiB
Current children cumulated memory: 623772 KiB
[startup+3342.3 s]
/proc/loadavg: 4.51 4.24 4.10 6/274 130094
/proc/meminfo: memFree=22274660/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=674568 memory=620828 CPUtime=3317.65 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 114184 0 0 0 328835 2930 0 0 20 0 1 0 174139892 690757632 155207 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 168642 155207 2560 1147 0 156068 0
Current children cumulated CPU time: 3318.52 s
Current children cumulated vsize: 678760 KiB
Current children cumulated memory: 623772 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.21 4.09 6/275 130098
/proc/meminfo: memFree=20525556/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=674568 memory=620828 CPUtime=3377.3 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 114184 0 0 0 334761 2969 0 0 20 0 1 0 174139892 690757632 155207 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 168642 155207 2560 1147 0 156068 0
Current children cumulated CPU time: 3378.17 s
Current children cumulated vsize: 678760 KiB
Current children cumulated memory: 623772 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.18 4.09 6/275 130111
/proc/meminfo: memFree=18248848/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=677756 memory=624028 CPUtime=3435.37 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 115740 0 0 0 340503 3034 0 0 20 0 1 0 174139892 694022144 156007 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 169439 156007 2560 1147 0 156865 0
Current children cumulated CPU time: 3436.24 s
Current children cumulated vsize: 681948 KiB
Current children cumulated memory: 626972 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.09 6/274 130113
/proc/meminfo: memFree=16744052/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=691720 memory=638620 CPUtime=3495.15 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 119496 0 0 0 346441 3074 0 0 20 0 1 0 174139892 708321280 159655 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 172930 159655 2560 1147 0 160356 0
Current children cumulated CPU time: 3496.02 s
Current children cumulated vsize: 695912 KiB
Current children cumulated memory: 641564 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.15 4.09 6/273 130115
/proc/meminfo: memFree=15163772/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=698096 memory=644892 CPUtime=3554.98 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 133645 0 0 0 352373 3125 0 0 20 0 1 0 174139892 714850304 161223 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 174524 161223 2560 1147 0 161950 0
Current children cumulated CPU time: 3555.85 s
Current children cumulated vsize: 702288 KiB
Current children cumulated memory: 647836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3626.6 s]
/proc/loadavg: 4.54 4.24 4.12 3/269 130116
/proc/meminfo: memFree=13870544/131250000 swapFree=33009904/33010684
[pid=129898] ppid=129891 vsize=4192 memory=2944 CPUtime=0.87 cores=4,6
/proc/129898/stat : 129898 (run-opt-ls-log.) S 129891 129898 129827 0 -1 4194304 242 41860 0 0 0 0 72 15 20 0 1 0 174139800 4292608 736 18446744073709551615 94397916917760 94397917812293 140728095100304 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397918051344 94397918099088 94397950365696 140728095103257 140728095103455 140728095103455 140728095109059 0
/proc/129898/statm: 1048 736 672 219 0 110 0
[pid=129903] ppid=129898 vsize=698420 memory=645148 CPUtime=3599.14 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129898 129898 129827 0 -1 4194304 140282 0 0 0 356763 3151 0 0 20 0 1 0 174139892 715182080 161287 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 174605 161287 2560 1147 0 162031 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 702612 KiB
Current children cumulated memory: 648092 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3626.6 s]
# the end of solver process 129898 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.729739 s, system=0.154371 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3628.6 s]
# the end of solver process 129903 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3570.36 s, system=31.6754 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3627.2 s]
/proc/loadavg: 4.58 4.25 4.13 3/268 130116
/proc/meminfo: memFree=13870040/131250000 swapFree=33009904/33010684
[pid=129903] ppid=129891 vsize=698420 memory=645148 CPUtime=3599.74 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129891 129898 129827 0 -1 4194304 140282 0 0 0 356823 3151 0 0 20 0 1 0 174139892 715182080 161287 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 174605 161287 2560 1147 0 162031 0
Current cumulated CPU time of completed processes: 0.88411 s
Current children cumulated CPU time: 3599.74 s
Current children cumulated vsize: 698420 KiB
Current children cumulated memory: 645148 KiB
[startup+3628 s]*
/proc/loadavg: 4.58 4.25 4.13 3/268 130116
/proc/meminfo: memFree=13870040/131250000 swapFree=33009904/33010684
[pid=129903] ppid=129891 vsize=698420 memory=645148 CPUtime=3600.55 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129891 129898 129827 0 -1 4194304 140282 0 0 0 356904 3151 0 0 20 0 1 0 174139892 715182080 161287 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 174605 161287 2560 1147 0 162031 0
Current cumulated CPU time of completed processes: 0.88411 s
Current children cumulated CPU time: 3600.55 s
Current children cumulated vsize: 698420 KiB
Current children cumulated memory: 645148 KiB
[startup+3628.4 s]
/proc/loadavg: 4.58 4.25 4.13 3/268 130116
/proc/meminfo: memFree=13870040/131250000 swapFree=33009904/33010684
[pid=129903] ppid=129891 vsize=698420 memory=645148 CPUtime=3600.94 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129891 129898 129827 0 -1 4194304 140282 0 0 0 356943 3151 0 0 20 0 1 0 174139892 715182080 161287 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 174605 161287 2560 1147 0 162031 0
Current cumulated CPU time of completed processes: 0.88411 s
Current children cumulated CPU time: 3600.94 s
Current children cumulated vsize: 698420 KiB
Current children cumulated memory: 645148 KiB
[startup+3628.6 s]
/proc/loadavg: 4.58 4.25 4.13 3/268 130116
/proc/meminfo: memFree=13870040/131250000 swapFree=33009904/33010684
[pid=129903] ppid=129891 vsize=698420 memory=645148 CPUtime=3601.14 cores=4,6
/proc/129903/stat : 129903 (roundingsat) R 129891 129898 129827 0 -1 4194304 140282 0 0 0 356963 3151 0 0 20 0 1 0 174139892 715182080 161287 18446744073709551615 4227072 8923577 140732641342592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 22781952 140732641347828 140732641348134 140732641348134 140732641353706 0
/proc/129903/statm: 174605 161287 2560 1147 0 162031 0
Current cumulated CPU time of completed processes: 0.88411 s
Current children cumulated CPU time: 3601.14 s
Current children cumulated vsize: 698420 KiB
Current children cumulated memory: 645148 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3628.6
CPU time (s): 3602.04
CPU user time (s): 3570.36
CPU system time (s): 31.6754
CPU usage (%): 99.2679
Max. virtual memory (cumulated for all children) (KiB): 702612
Max. memory (cumulated for all children) (KiB): 648092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.36
system time used= 31.6754
maximum resident set size= 645148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182384
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20219224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 400
involuntary context switches= 5891
# summary of solver processes directly reported to runsolver:
# pid: 129898,129903
# total CPU time (s): 3602.04
# total CPU user time (s): 3570.36
# total CPU system time (s): 31.6754
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49968 second user time and 18.0219 second system time
The end
Begin job on nodeC033 at 2025-07-15 15:03:24
IDJOB=4531731
IDBENCH=146868
IDSOLVER=3392
FILE ID=nodeC033/4531731-1752584603
RUNJOBID= nodeC033-1752584602-129838
SLURM_JOB_ID= 9684363
Free space on /tmp= 432476 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531731-1752584603/watcher-4531731-1752584603 -o /tmp/evaluation-result-4531731-1752584603/solver-4531731-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752584602-129838 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531731-1752584603.opb PROOFDIR/proof-4531731-1752584603
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d021d78883fac2a7bf820bb220b2a7e2
RANDOM SEED=1057340159
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.040
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.054
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.023
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3520.422
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.693
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.225
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.066
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.067
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121061568 kB
MemAvailable: 129711752 kB
Buffers: 2128 kB
Cached: 9371292 kB
SwapCached: 68 kB
Active: 798256 kB
Inactive: 8649700 kB
Active(anon): 87208 kB
Inactive(anon): 5360 kB
Active(file): 711048 kB
Inactive(file): 8644340 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 66544 kB
Writeback: 0 kB
AnonPages: 77636 kB
Mapped: 110904 kB
Shmem: 18028 kB
KReclaimable: 268068 kB
Slab: 365216 kB
SReclaimable: 268068 kB
SUnreclaim: 97148 kB
KernelStack: 4192 kB
PageTables: 3008 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 378568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432420 MiB
End job on nodeC033 at 2025-07-15 16:03:53