0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4485739-1751309079.opb'
0.30/0.35 c read 14.59MB (332.49ms)
0.30/0.35 c [cnf: #variables 155020 #clauses 2676 #duplicates 0 #arr 855173]
0.30/0.35 c output proof to 'PROOFDIR/proof-4485739-1751309079'
0.30/0.35 c
0.30/0.35 c make graph and approximate orbits
0.87/0.90 c [group: #orbits ~= 7832] (547.23ms)
0.87/0.90 c
0.87/0.90 c detect special group actions
0.87/0.90 c probe for Johnson action (limit=64)
0.87/0.91 c probe for row-column symmetry (limit=64, splits=16.78M)
0.87/0.93 c probe for row symmetry (limit=64, splits=16.78M)
0.87/0.94 c (47.65ms)
0.87/0.94 c
0.87/0.94 c detect symmetries on remainder
0.87/0.95 c [graph: #vertices 1144181 #edges 3683316]
0.87/0.96 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.08/1.19 c [group: #symmetries 1.15*10^1146 #generators 3759] (246.95ms)
1.08/1.19 c
1.08/1.19 c optimize generators (opt_passes=64, conjugate_limit=256)
1.08/1.19 c ran it=0, +gens=0
1.27/1.32 c con best_support=4, best_gens=3750, +gens=0
1.27/1.32 c (132.49ms)
1.27/1.32 c
1.27/1.32 c finalize break order and special generators
1.27/1.33 c
1.27/1.33 c add generic predicates (break_depth=20)
1.27/1.33 c added predicates for 3759 generators (0.59ms)
1.27/1.35 c
1.27/1.35 c generation finished
1.27/1.35 c [sbp: #constraints 4272 #add_vars 171]
1.27/1.36 c
1.27/1.36 c write result to 'HOME/instance-4485739-1751309079.opb.pre'
1.37/1.40 c wrote 14.73MB (41.31ms)
1.37/1.40 c ------------------------------------------------------------------
1.37/1.40 c 547.23ms 39.37% approx_orbits
1.37/1.40 c 332.49ms 23.92% parse
1.37/1.40 c 246.95ms 17.77% detect_generic
1.37/1.40 c 132.49ms 9.53% optimize_gens
1.37/1.40 c 47.65ms 3.43% detect_special
1.37/1.40 c 41.31ms 2.97% output
1.37/1.40 c 32.38ms 2.33% other
1.37/1.40 c 8.92ms 0.64% finalize_order
1.37/1.40 c 0.59ms 0.04% break_generic
1.37/1.40 c ───────────────────────────────────────────────
1.37/1.40 c 1390.01ms 100% total
1.37/1.40 c ------------------------------------------------------------------
1.37/1.44 c RoundingSat 2
1.37/1.44 c branch pb25
1.37/1.44 c commit 63f22ad
2.54/2.62 c #variables 155191 #constraints 7579
2.54/2.62 c objective is ce64
2.54/2.62 c initial watched CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
2.54/2.62 c initial counting CF 32, 64, 128, Arb: 1116 , 3061 , 0 , 0
2.54/2.62 c bounds - >= -6514339591161790 @ 1.07638
9.12/9.24 c #Conflicts: 1000 | #Constraints: 8578
9.12/9.24 c #Conflicts: 2000 | #Constraints: 9578
9.12/9.24 c INPROCESSING
9.12/9.24 c GARBAGE COLLECT
9.12/9.24 c bounds - >= -914338413869450 @ 7.58145
9.12/9.25 c bounds - >= -872194047277450 @ 7.58808
9.12/9.25 c bounds - >= -851121863981450 @ 7.59441
9.12/9.26 c bounds - >= -840585772333450 @ 7.60027
9.12/9.26 c bounds - >= -835217063213450 @ 7.60553
9.12/9.27 c bounds - >= -829949017389450 @ 7.61129
9.12/9.28 c bounds - >= -825754713389450 @ 7.61881
9.12/9.28 c bounds - >= -823657561389450 @ 7.62488
9.12/9.29 c bounds - >= -822271763347850 @ 7.63044
9.22/9.30 c bounds - >= -821709391067530 @ 7.63706
9.22/9.30 c bounds - >= -821560409389450 @ 7.64324
9.22/9.31 c bounds - >= -818876054829450 @ 7.64884
9.22/9.31 c bounds - >= -816242031917450 @ 7.65488
9.22/9.32 c bounds - >= -814899854637450 @ 7.65882
9.22/9.33 c bounds - >= -813582843181450 @ 7.66438
9.22/9.33 c bounds - >= -812534267181450 @ 7.67024
9.22/9.34 c bounds - >= -811485691181450 @ 7.67478
9.22/9.34 c bounds - >= -810437115181450 @ 7.68039
9.22/9.35 c bounds - >= -809950911461770 @ 7.68904
9.22/9.36 c bounds - >= -809388539181450 @ 7.6957
9.22/9.37 c bounds - >= -808717450541450 @ 7.70156
9.22/9.37 c bounds - >= -808058944813450 @ 7.70771
9.22/9.38 c bounds - >= -807534656813450 @ 7.71273
9.22/9.38 c bounds - >= -807010368813450 @ 7.71662
9.22/9.39 c bounds - >= -806486080813450 @ 7.72041
9.22/9.40 c bounds - >= -805961792813450 @ 7.72618
9.32/9.40 c bounds - >= -805437504813450 @ 7.73205
9.32/9.41 c bounds - >= -804913216813450 @ 7.73707
9.32/9.41 c bounds - >= -804388928813450 @ 7.74296
9.32/9.42 c bounds - >= -803864640813450 @ 7.74926
9.32/9.43 c bounds - >= -802816064813450 @ 7.75637
9.32/9.43 c bounds - >= -801767488813450 @ 7.76108
9.32/9.44 c bounds - >= -800896751303050 @ 7.76778
9.32/9.45 c bounds - >= -800561206983050 @ 7.77391
9.32/9.45 c bounds - >= -800231954119050 @ 7.77825
9.32/9.46 c bounds - >= -799969810119050 @ 7.78325
9.32/9.47 c bounds - >= -799707666119050 @ 7.7892
9.32/9.47 c bounds - >= -799445522119050 @ 7.79516
9.32/9.48 c bounds - >= -799183378119050 @ 7.80115
9.32/9.48 c bounds - >= -798921234119050 @ 7.80621
9.32/9.49 c bounds - >= -798659090119050 @ 7.81131
9.32/9.50 c bounds - >= -798396946119050 @ 7.81732
9.43/9.50 c bounds - >= -798134802119050 @ 7.82253
9.43/9.51 c bounds - >= -797872658119050 @ 7.8276
9.43/9.51 c bounds - >= -797610514119050 @ 7.8336
9.43/9.52 c bounds - >= -797348370119050 @ 7.83959
9.43/9.53 c bounds - >= -797086226119050 @ 7.8456
9.43/9.53 c bounds - >= -796824082119050 @ 7.85155
9.43/9.54 c bounds - >= -796561938119050 @ 7.85759
9.43/9.54 c bounds - >= -796299794119050 @ 7.86272
9.43/9.55 c bounds - >= -796037650119050 @ 7.86786
9.43/9.56 c bounds - >= -795775506119050 @ 7.87395
9.43/9.56 c bounds - >= -795513362119050 @ 7.88005
9.43/9.57 c bounds - >= -795335523629450 @ 7.88744
9.43/9.58 c bounds - >= -795167751469450 @ 7.89478
9.43/9.58 c bounds - >= -795003125037450 @ 7.90054
9.43/9.59 c bounds - >= -794872053037450 @ 7.9062
9.52/9.60 c bounds - >= -794740981037450 @ 7.9126
9.52/9.60 c bounds - >= -794609909037450 @ 7.91805
9.52/9.61 c bounds - >= -794478837037450 @ 7.92375
9.52/9.62 c bounds - >= -794347765037450 @ 7.93023
9.52/9.62 c bounds - >= -794216693037450 @ 7.9364
9.52/9.63 c bounds - >= -794085621037450 @ 7.94332
9.52/9.64 c bounds - >= -793954549037450 @ 7.94994
9.52/9.65 c bounds - >= -793823477037450 @ 7.95671
9.52/9.66 c bounds - >= -793692405037450 @ 7.9622
9.52/9.66 c bounds - >= -793561333037450 @ 7.96863
9.52/9.67 c bounds - >= -793430261037450 @ 7.97407
9.52/9.67 c bounds - >= -793299189037450 @ 7.97956
9.52/9.68 c bounds - >= -793168117037450 @ 7.98516
9.52/9.69 c bounds - >= -793037045037450 @ 7.99189
9.52/9.69 c bounds - >= -792905973037450 @ 7.99844
9.62/9.71 c bounds - >= -792637537581450 @ 8.00906
9.62/9.71 c bounds - >= -792384704936330 @ 8.017
9.62/9.72 c bounds - >= -792253632936330 @ 8.02079
9.62/9.73 c bounds - >= -792122560936330 @ 8.02699
9.62/9.73 c bounds - >= -791991488936330 @ 8.03269
9.62/9.74 c bounds - >= -791860416936330 @ 8.03821
9.62/9.75 c bounds - >= -791729344936330 @ 8.0447
9.62/9.75 c bounds - >= -791598272936330 @ 8.05118
9.62/9.76 c bounds - >= -791467200936330 @ 8.05753
9.62/9.77 c bounds - >= -791249432672650 @ 8.06581
9.62/9.78 c bounds - >= -791118360672650 @ 8.07486
11.42/11.52 c #Conflicts: 3000 | #Constraints: 8964
11.42/11.52 c #Conflicts: 4000 | #Constraints: 9964
11.42/11.52 c INPROCESSING
11.42/11.52 c GARBAGE COLLECT
11.42/11.52 c #Conflicts: 5000 | #Constraints: 9281
11.42/11.52 c #Conflicts: 6000 | #Constraints: 10281
11.42/11.52 c INPROCESSING
11.42/11.52 c GARBAGE COLLECT
11.42/11.52 c bounds - >= 14188007327350 @ 9.76126
11.51/11.67 c bounds - >= 148405735327350 @ 9.90429
11.51/11.68 c bounds - >= 215514599327350 @ 9.91545
11.51/11.69 c bounds - >= 216909121521270 @ 9.92364
11.51/11.69 c bounds - >= 217451361142390 @ 9.93212
11.61/11.70 c bounds - >= 218303643715190 @ 9.9416
11.61/11.71 c bounds - >= 218475442407030 @ 9.95167
11.61/11.72 c bounds - >= 221092688103030 @ 9.96098
11.61/11.73 c bounds - >= 222547608274550 @ 9.97122
11.61/11.75 c bounds - >= 232291815327350 @ 9.98314
11.61/11.76 c bounds - >= 236586782623350 @ 9.99179
11.61/11.77 c bounds - >= 237029701125750 @ 10.0057
11.61/11.78 c bounds - >= 237472619628150 @ 10.0151
11.61/11.79 c bounds - >= 237694078879350 @ 10.023
11.72/11.80 c bounds - >= 237915538130550 @ 10.0307
11.72/11.80 c bounds - >= 239732846167670 @ 10.037
11.72/11.82 c bounds - >= 239938660664950 @ 10.0514
11.72/11.83 c bounds - >= 240081812260470 @ 10.062
11.72/11.83 c bounds - >= 240935437010550 @ 10.0669
11.72/11.84 c bounds - >= 242483135186550 @ 10.0718
11.72/11.85 c bounds - >= 242628090332790 @ 10.0832
11.72/11.86 c bounds - >= 243652171597430 @ 10.0931
11.72/11.87 c bounds - >= 244559441495670 @ 10.1029
11.72/11.88 c bounds - >= 244751960049270 @ 10.1149
11.81/11.90 c bounds - >= 244938522691190 @ 10.1259
11.81/11.91 c bounds - >= 245069594691190 @ 10.1414
12.21/12.36 c #Conflicts: 7000 | #Constraints: 9361
12.21/12.36 c bounds - >= 265624788076150 @ 10.5801
12.21/12.37 c bounds - >= 274234855327350 @ 10.5856
12.21/12.38 c bounds - >= 275258936591990 @ 10.5928
12.21/12.38 c bounds - >= 276052163364470 @ 10.6001
12.21/12.39 c bounds - >= 276203661624950 @ 10.6076
12.31/12.40 c bounds - >= 276348616771190 @ 10.6147
12.31/12.41 c bounds - >= 276479688771190 @ 10.6216
12.31/12.41 c bounds - >= 276610760771190 @ 10.6292
55.99/56.23 c #Conflicts: 8000 | #Constraints: 10444
55.99/56.23 c #Conflicts: 9000 | #Constraints: 11444
55.99/56.23 c INPROCESSING
55.99/56.23 c GARBAGE COLLECT
55.99/56.23 c #Conflicts: 10000 | #Constraints: 10050
55.99/56.23 c #Conflicts: 11000 | #Constraints: 11050
55.99/56.23 c #Conflicts: 12000 | #Constraints: 12050
55.99/56.23 c INPROCESSING
55.99/56.23 c GARBAGE COLLECT
55.99/56.23 c #Conflicts: 13000 | #Constraints: 10498
55.99/56.23 c #Conflicts: 14000 | #Constraints: 11498
55.99/56.23 c #Conflicts: 15000 | #Constraints: 12498
55.99/56.23 c INPROCESSING
55.99/56.23 c GARBAGE COLLECT
55.99/56.23 c #Conflicts: 16000 | #Constraints: 10726
55.99/56.23 c #Conflicts: 17000 | #Constraints: 11726
55.99/56.23 c #Conflicts: 18000 | #Constraints: 12726
55.99/56.23 c INPROCESSING
55.99/56.23 c GARBAGE COLLECT
55.99/56.23 c #Conflicts: 19000 | #Constraints: 10739
55.99/56.23 c #Conflicts: 20000 | #Constraints: 11739
55.99/56.23 c #Conflicts: 21000 | #Constraints: 12739
55.99/56.23 c INPROCESSING
55.99/56.23 c GARBAGE COLLECT
55.99/56.23 c #Conflicts: 22000 | #Constraints: 10545
55.99/56.23 c #Conflicts: 23000 | #Constraints: 11545
55.99/56.23 c #Conflicts: 24000 | #Constraints: 12545
55.99/56.23 c #Conflicts: 25000 | #Constraints: 13545
55.99/56.23 c INPROCESSING
55.99/56.23 c GARBAGE COLLECT
55.99/56.23 c #Conflicts: 26000 | #Constraints: 11145
55.99/56.23 c bounds - >= 276789228406390 @ 53.9837
55.99/56.24 c bounds - >= 277010687657590 @ 53.9929
55.99/56.25 c bounds - >= 277177579013750 @ 54.003
57.18/57.43 c #Conflicts: 27000 | #Constraints: 12160
57.18/57.43 c bounds - >= 277405078062710 @ 55.157
58.48/58.70 c #Conflicts: 28000 | #Constraints: 13166
58.48/58.70 c #Conflicts: 29000 | #Constraints: 14166
58.48/58.70 c INPROCESSING
58.48/58.70 c GARBAGE COLLECT
58.48/58.70 c bounds - >= 278429159327350 @ 56.4133
58.48/58.70 c bounds - >= 278560231327350 @ 56.4203
58.48/58.71 c bounds - >= 278711729587830 @ 56.4271
58.48/58.72 c bounds - >= 278842801587830 @ 56.4339
58.48/58.73 c bounds - >= 278973873587830 @ 56.4425
60.28/60.57 c #Conflicts: 30000 | #Constraints: 11582
60.28/60.57 c #Conflicts: 31000 | #Constraints: 12582
60.28/60.57 c bounds - >= 279160981489270 @ 58.2422
61.47/61.75 c #Conflicts: 32000 | #Constraints: 13587
61.47/61.75 c #Conflicts: 33000 | #Constraints: 14587
61.47/61.75 c INPROCESSING
61.47/61.75 c GARBAGE COLLECT
61.47/61.75 c bounds - >= 279292053489270 @ 59.3959
61.47/61.76 c bounds - >= 279423125489270 @ 59.4067
62.78/63.10 c #Conflicts: 34000 | #Constraints: 11792
62.78/63.10 c #Conflicts: 35000 | #Constraints: 12792
62.78/63.10 c bounds - >= 279554197489270 @ 60.7283
65.99/66.39 c #Conflicts: 36000 | #Constraints: 13798
65.99/66.39 c #Conflicts: 37000 | #Constraints: 14799
65.99/66.39 c INPROCESSING
65.99/66.39 c GARBAGE COLLECT
65.99/66.39 c bounds - >= 279685269489270 @ 63.9133
66.09/66.40 c bounds - >= 279816341489270 @ 63.9203
220.01/220.86 c #Conflicts: 38000 | #Constraints: 11804
220.01/220.86 c #Conflicts: 39000 | #Constraints: 12804
220.01/220.86 c #Conflicts: 40000 | #Constraints: 13804
220.01/220.86 c #Conflicts: 41000 | #Constraints: 14804
220.01/220.86 c INPROCESSING
220.01/220.86 c GARBAGE COLLECT
220.01/220.86 c #Conflicts: 42000 | #Constraints: 11596
220.01/220.86 c #Conflicts: 43000 | #Constraints: 12596
220.01/220.86 c #Conflicts: 44000 | #Constraints: 13596
220.01/220.86 c #Conflicts: 45000 | #Constraints: 14596
220.01/220.86 c #Conflicts: 46000 | #Constraints: 15596
220.01/220.86 c INPROCESSING
220.01/220.86 c GARBAGE COLLECT
220.01/220.86 c #Conflicts: 47000 | #Constraints: 12192
220.01/220.86 c #Conflicts: 48000 | #Constraints: 13192
220.01/220.86 c #Conflicts: 49000 | #Constraints: 14192
220.01/220.86 c #Conflicts: 50000 | #Constraints: 15192
220.01/220.86 c #Conflicts: 51000 | #Constraints: 16192
220.01/220.86 c INPROCESSING
220.01/220.86 c GARBAGE COLLECT
220.01/220.86 c #Conflicts: 52000 | #Constraints: 12591
220.01/220.86 c #Conflicts: 53000 | #Constraints: 13591
220.01/220.86 c #Conflicts: 54000 | #Constraints: 14591
220.01/220.86 c #Conflicts: 55000 | #Constraints: 15591
220.01/220.86 c #Conflicts: 56000 | #Constraints: 16591
220.01/220.86 c INPROCESSING
220.01/220.86 c GARBAGE COLLECT
220.01/220.86 c #Conflicts: 57000 | #Constraints: 12789
220.01/220.86 c #Conflicts: 58000 | #Constraints: 13789
220.01/220.86 c #Conflicts: 59000 | #Constraints: 14789
220.01/220.86 c #Conflicts: 60000 | #Constraints: 15789
220.01/220.86 c #Conflicts: 61000 | #Constraints: 16789
220.01/220.86 c INPROCESSING
220.01/220.86 c GARBAGE COLLECT
220.01/220.86 c #Conflicts: 62000 | #Constraints: 12792
220.01/220.86 c #Conflicts: 63000 | #Constraints: 13792
220.01/220.86 c #Conflicts: 64000 | #Constraints: 14792
220.01/220.86 c #Conflicts: 65000 | #Constraints: 15792
220.01/220.86 c #Conflicts: 66000 | #Constraints: 16792
220.01/220.86 c INPROCESSING
220.01/220.86 c GARBAGE COLLECT
220.01/220.86 c #Conflicts: 67000 | #Constraints: 12595
220.01/220.86 c #Conflicts: 68000 | #Constraints: 13595
220.01/220.86 c #Conflicts: 69000 | #Constraints: 14595
220.01/220.86 c #Conflicts: 70000 | #Constraints: 15595
220.01/220.86 c #Conflicts: 71000 | #Constraints: 16595
220.01/220.86 c #Conflicts: 72000 | #Constraints: 17595
220.01/220.86 c INPROCESSING
220.01/220.86 c GARBAGE COLLECT
220.01/220.86 c #Conflicts: 73000 | #Constraints: 13195
220.01/220.86 c #Conflicts: 74000 | #Constraints: 14195
220.01/220.86 c #Conflicts: 75000 | #Constraints: 15195
220.01/220.86 c #Conflicts: 76000 | #Constraints: 16195
220.01/220.86 c #Conflicts: 77000 | #Constraints: 17195
220.01/220.86 c #Conflicts: 78000 | #Constraints: 18195
220.01/220.86 c INPROCESSING
220.01/220.86 c GARBAGE COLLECT
220.01/220.86 c #Conflicts: 79000 | #Constraints: 13592
220.01/220.86 c #Conflicts: 80000 | #Constraints: 14592
220.01/220.86 c #Conflicts: 81000 | #Constraints: 15592
220.01/220.86 c #Conflicts: 82000 | #Constraints: 16592
220.01/220.86 c #Conflicts: 83000 | #Constraints: 17592
220.01/220.86 c #Conflicts: 84000 | #Constraints: 18592
220.01/220.86 c INPROCESSING
220.01/220.86 c GARBAGE COLLECT
220.01/220.86 c #Conflicts: 85000 | #Constraints: 13796
220.01/220.86 c #Conflicts: 86000 | #Constraints: 14796
220.01/220.86 c #Conflicts: 87000 | #Constraints: 15796
220.01/220.86 c #Conflicts: 88000 | #Constraints: 16796
220.01/220.86 c #Conflicts: 89000 | #Constraints: 17796
220.01/220.86 c #Conflicts: 90000 | #Constraints: 18796
220.01/220.86 c INPROCESSING
220.01/220.86 c GARBAGE COLLECT
220.01/220.86 c #Conflicts: 91000 | #Constraints: 13796
220.01/220.86 c #Conflicts: 92000 | #Constraints: 14796
220.01/220.86 c #Conflicts: 93000 | #Constraints: 15796
220.01/220.86 c #Conflicts: 94000 | #Constraints: 16796
220.01/220.86 c #Conflicts: 95000 | #Constraints: 17796
220.01/220.86 c #Conflicts: 96000 | #Constraints: 18796
220.01/220.86 c INPROCESSING
220.01/220.86 c GARBAGE COLLECT
220.01/220.86 c #Conflicts: 97000 | #Constraints: 13597
220.01/220.86 c #Conflicts: 98000 | #Constraints: 14597
220.01/220.86 c #Conflicts: 99000 | #Constraints: 15597
220.01/220.86 c #Conflicts: 100000 | #Constraints: 16597
220.01/220.86 c #Conflicts: 101000 | #Constraints: 17597
220.01/220.86 c #Conflicts: 102000 | #Constraints: 18597
220.01/220.86 c #Conflicts: 103000 | #Constraints: 19597
220.01/220.86 c INPROCESSING
220.01/220.86 c GARBAGE COLLECT
220.01/220.86 c #Conflicts: 104000 | #Constraints: 14194
220.01/220.86 c #Conflicts: 105000 | #Constraints: 15194
220.01/220.86 c #Conflicts: 106000 | #Constraints: 16194
220.01/220.86 c #Conflicts: 107000 | #Constraints: 17194
220.01/220.86 c #Conflicts: 108000 | #Constraints: 18194
220.01/220.86 c bounds - >= 280200917223030 @ 216.699
255.58/256.59 c #Conflicts: 109000 | #Constraints: 19202
255.58/256.59 c #Conflicts: 110000 | #Constraints: 20202
255.58/256.59 c INPROCESSING
255.58/256.59 c GARBAGE COLLECT
255.58/256.59 c #Conflicts: 111000 | #Constraints: 14601
255.58/256.59 c #Conflicts: 112000 | #Constraints: 15601
255.58/256.59 c #Conflicts: 113000 | #Constraints: 16601
255.58/256.59 c #Conflicts: 114000 | #Constraints: 17601
255.58/256.59 c #Conflicts: 115000 | #Constraints: 18601
255.58/256.59 c bounds - >= 281470616929910 @ 251.978
264.17/265.11 c #Conflicts: 116000 | #Constraints: 19605
264.17/265.11 c #Conflicts: 117000 | #Constraints: 20605
264.17/265.11 c INPROCESSING
264.17/265.11 c GARBAGE COLLECT
264.17/265.11 c #Conflicts: 118000 | #Constraints: 14802
264.17/265.11 c #Conflicts: 119000 | #Constraints: 15802
264.17/265.11 c #Conflicts: 120000 | #Constraints: 16802
264.17/265.11 c #Conflicts: 121000 | #Constraints: 17802
264.17/265.11 c #Conflicts: 122000 | #Constraints: 18802
264.17/265.11 c #Conflicts: 123000 | #Constraints: 19802
264.17/265.11 c #Conflicts: 124000 | #Constraints: 20802
264.17/265.11 c INPROCESSING
264.17/265.11 c GARBAGE COLLECT
264.17/265.11 c bounds - >= 281994904929910 @ 260.368
264.17/265.12 c bounds - >= 282298069223030 @ 260.375
267.83/268.87 c #Conflicts: 125000 | #Constraints: 14809
267.83/268.87 c #Conflicts: 126000 | #Constraints: 15809
267.83/268.87 c #Conflicts: 127000 | #Constraints: 16809
267.83/268.87 c bounds - >= 282429141223030 @ 264.056
267.83/268.88 c bounds - >= 282650264929910 @ 264.066
267.83/268.89 c bounds - >= 282781336929910 @ 264.076
460.29/462.11 c #Conflicts: 128000 | #Constraints: 17824
460.29/462.11 c #Conflicts: 129000 | #Constraints: 18824
460.29/462.11 c #Conflicts: 130000 | #Constraints: 19824
460.29/462.11 c #Conflicts: 131000 | #Constraints: 20824
460.29/462.11 c INPROCESSING
460.29/462.11 c GARBAGE COLLECT
460.29/462.11 c #Conflicts: 132000 | #Constraints: 14612
460.29/462.11 c #Conflicts: 133000 | #Constraints: 15612
460.29/462.11 c #Conflicts: 134000 | #Constraints: 16612
460.29/462.11 c #Conflicts: 135000 | #Constraints: 17612
460.29/462.11 c #Conflicts: 136000 | #Constraints: 18612
460.29/462.11 c #Conflicts: 137000 | #Constraints: 19612
460.29/462.11 c #Conflicts: 138000 | #Constraints: 20612
460.29/462.11 c #Conflicts: 139000 | #Constraints: 21612
460.29/462.11 c INPROCESSING
460.29/462.11 c GARBAGE COLLECT
460.29/462.11 c #Conflicts: 140000 | #Constraints: 15215
460.29/462.11 c #Conflicts: 141000 | #Constraints: 16215
460.29/462.11 c #Conflicts: 142000 | #Constraints: 17215
460.29/462.11 c #Conflicts: 143000 | #Constraints: 18215
460.29/462.11 c #Conflicts: 144000 | #Constraints: 19215
460.29/462.11 c #Conflicts: 145000 | #Constraints: 20215
460.29/462.11 c #Conflicts: 146000 | #Constraints: 21215
460.29/462.11 c #Conflicts: 147000 | #Constraints: 22215
460.29/462.11 c INPROCESSING
460.29/462.11 c GARBAGE COLLECT
460.29/462.11 c #Conflicts: 148000 | #Constraints: 15617
460.29/462.11 c #Conflicts: 149000 | #Constraints: 16617
460.29/462.11 c #Conflicts: 150000 | #Constraints: 17617
460.29/462.11 c #Conflicts: 151000 | #Constraints: 18617
460.29/462.11 c #Conflicts: 152000 | #Constraints: 19617
460.29/462.11 c #Conflicts: 153000 | #Constraints: 20617
460.29/462.11 c #Conflicts: 154000 | #Constraints: 21617
460.29/462.11 c #Conflicts: 155000 | #Constraints: 22617
460.29/462.11 c INPROCESSING
460.29/462.11 c GARBAGE COLLECT
460.29/462.11 c #Conflicts: 156000 | #Constraints: 15815
460.29/462.11 c #Conflicts: 157000 | #Constraints: 16815
460.29/462.11 c #Conflicts: 158000 | #Constraints: 17815
460.29/462.11 c #Conflicts: 159000 | #Constraints: 18815
460.29/462.11 c #Conflicts: 160000 | #Constraints: 19815
460.29/462.11 c #Conflicts: 161000 | #Constraints: 20815
460.29/462.11 c #Conflicts: 162000 | #Constraints: 21815
460.29/462.11 c #Conflicts: 163000 | #Constraints: 22815
460.29/462.11 c INPROCESSING
460.29/462.11 c GARBAGE COLLECT
460.29/462.11 c #Conflicts: 164000 | #Constraints: 15816
460.29/462.11 c #Conflicts: 165000 | #Constraints: 16816
460.29/462.11 c #Conflicts: 166000 | #Constraints: 17816
460.29/462.11 c #Conflicts: 167000 | #Constraints: 18816
460.29/462.11 c #Conflicts: 168000 | #Constraints: 19816
460.29/462.11 c #Conflicts: 169000 | #Constraints: 20816
460.29/462.11 c #Conflicts: 170000 | #Constraints: 21816
460.29/462.11 c #Conflicts: 171000 | #Constraints: 22816
460.29/462.11 c INPROCESSING
460.29/462.11 c GARBAGE COLLECT
460.29/462.11 c #Conflicts: 172000 | #Constraints: 15616
460.29/462.11 c #Conflicts: 173000 | #Constraints: 16616
460.29/462.11 c #Conflicts: 174000 | #Constraints: 17616
460.29/462.11 c #Conflicts: 175000 | #Constraints: 18616
460.29/462.11 c #Conflicts: 176000 | #Constraints: 19616
460.29/462.11 c #Conflicts: 177000 | #Constraints: 20616
460.29/462.11 c #Conflicts: 178000 | #Constraints: 21616
460.29/462.11 c #Conflicts: 179000 | #Constraints: 22616
460.29/462.11 c #Conflicts: 180000 | #Constraints: 23616
460.29/462.11 c INPROCESSING
460.29/462.11 c GARBAGE COLLECT
460.29/462.11 c #Conflicts: 181000 | #Constraints: 16214
460.29/462.11 c #Conflicts: 182000 | #Constraints: 17214
460.29/462.11 c #Conflicts: 183000 | #Constraints: 18214
460.29/462.11 c #Conflicts: 184000 | #Constraints: 19214
460.29/462.11 c #Conflicts: 185000 | #Constraints: 20215
460.29/462.11 c #Conflicts: 186000 | #Constraints: 21215
460.29/462.11 c #Conflicts: 187000 | #Constraints: 22215
460.29/462.11 c #Conflicts: 188000 | #Constraints: 23215
460.29/462.11 c #Conflicts: 189000 | #Constraints: 24215
460.29/462.11 c INPROCESSING
460.29/462.11 c GARBAGE COLLECT
460.29/462.11 c #Conflicts: 190000 | #Constraints: 16213
460.29/462.11 c #Conflicts: 191000 | #Constraints: 17213
460.29/462.11 c #Conflicts: 192000 | #Constraints: 18213
460.29/462.11 c #Conflicts: 193000 | #Constraints: 19213
460.29/462.11 c #Conflicts: 194000 | #Constraints: 20213
460.29/462.11 c #Conflicts: 195000 | #Constraints: 21213
460.29/462.11 c #Conflicts: 196000 | #Constraints: 22213
460.29/462.11 c #Conflicts: 197000 | #Constraints: 23213
460.29/462.11 c #Conflicts: 198000 | #Constraints: 24213
460.29/462.11 c INPROCESSING
460.29/462.11 c GARBAGE COLLECT
460.29/462.11 c #Conflicts: 199000 | #Constraints: 16615
460.29/462.11 c #Conflicts: 200000 | #Constraints: 17615
460.29/462.11 c #Conflicts: 201000 | #Constraints: 18615
661.53/663.98 c #Conflicts: 202000 | #Constraints: 19615
661.53/663.98 c #Conflicts: 203000 | #Constraints: 20615
661.53/663.98 c #Conflicts: 204000 | #Constraints: 21615
661.53/663.98 c #Conflicts: 205000 | #Constraints: 22615
661.53/663.98 c #Conflicts: 206000 | #Constraints: 23615
661.53/663.98 c #Conflicts: 207000 | #Constraints: 24615
661.53/663.98 c INPROCESSING
661.53/663.98 c GARBAGE COLLECT
661.53/663.98 c #Conflicts: 208000 | #Constraints: 16715
661.53/663.98 c #Conflicts: 209000 | #Constraints: 17715
661.53/663.98 c #Conflicts: 210000 | #Constraints: 18715
661.53/663.98 c #Conflicts: 211000 | #Constraints: 19715
661.53/663.98 c #Conflicts: 212000 | #Constraints: 20715
661.53/663.98 c #Conflicts: 213000 | #Constraints: 21715
661.53/663.98 c #Conflicts: 214000 | #Constraints: 22715
661.53/663.98 c #Conflicts: 215000 | #Constraints: 23715
661.53/663.98 c #Conflicts: 216000 | #Constraints: 24715
661.53/663.98 c INPROCESSING
661.53/663.98 c GARBAGE COLLECT
661.53/663.98 c #Conflicts: 217000 | #Constraints: 16566
661.53/663.98 c #Conflicts: 218000 | #Constraints: 17566
661.53/663.98 c #Conflicts: 219000 | #Constraints: 18566
661.53/663.98 c #Conflicts: 220000 | #Constraints: 19566
661.53/663.98 c #Conflicts: 221000 | #Constraints: 20566
661.53/663.98 c #Conflicts: 222000 | #Constraints: 21566
661.53/663.98 c #Conflicts: 223000 | #Constraints: 22566
661.53/663.98 c #Conflicts: 224000 | #Constraints: 23566
661.53/663.98 c #Conflicts: 225000 | #Constraints: 24566
661.53/663.98 c #Conflicts: 226000 | #Constraints: 25566
661.53/663.98 c INPROCESSING
661.53/663.98 c GARBAGE COLLECT
661.53/663.98 c #Conflicts: 227000 | #Constraints: 17191
661.53/663.98 c #Conflicts: 228000 | #Constraints: 18191
661.53/663.98 c #Conflicts: 229000 | #Constraints: 19191
661.53/663.98 c #Conflicts: 230000 | #Constraints: 20191
661.53/663.98 c #Conflicts: 231000 | #Constraints: 21191
661.53/663.98 c #Conflicts: 232000 | #Constraints: 22191
661.53/663.98 c #Conflicts: 233000 | #Constraints: 23191
661.53/663.98 c #Conflicts: 234000 | #Constraints: 24191
661.53/663.98 c #Conflicts: 235000 | #Constraints: 25191
661.53/663.98 c #Conflicts: 236000 | #Constraints: 26191
661.53/663.98 c INPROCESSING
661.53/663.98 c GARBAGE COLLECT
661.53/663.98 c #Conflicts: 237000 | #Constraints: 17601
661.53/663.98 c #Conflicts: 238000 | #Constraints: 18601
661.53/663.98 c #Conflicts: 239000 | #Constraints: 19601
661.53/663.98 c #Conflicts: 240000 | #Constraints: 20601
661.53/663.98 c #Conflicts: 241000 | #Constraints: 21601
661.53/663.98 c #Conflicts: 242000 | #Constraints: 22601
661.53/663.98 c #Conflicts: 243000 | #Constraints: 23601
661.53/663.98 c #Conflicts: 244000 | #Constraints: 24601
661.53/663.98 c #Conflicts: 245000 | #Constraints: 25601
661.53/663.98 c #Conflicts: 246000 | #Constraints: 26601
661.53/663.98 c INPROCESSING
661.53/663.98 c GARBAGE COLLECT
661.53/663.98 c #Conflicts: 247000 | #Constraints: 17807
661.53/663.98 c #Conflicts: 248000 | #Constraints: 18807
661.53/663.98 c #Conflicts: 249000 | #Constraints: 19807
661.53/663.98 c #Conflicts: 250000 | #Constraints: 20807
661.53/663.98 c #Conflicts: 251000 | #Constraints: 21807
661.53/663.98 c #Conflicts: 252000 | #Constraints: 22807
661.53/663.98 c #Conflicts: 253000 | #Constraints: 23807
661.53/663.98 c #Conflicts: 254000 | #Constraints: 24807
661.53/663.98 c #Conflicts: 255000 | #Constraints: 25807
661.53/663.98 c #Conflicts: 256000 | #Constraints: 26807
661.53/663.98 c INPROCESSING
661.53/663.98 c GARBAGE COLLECT
661.53/663.98 c #Conflicts: 257000 | #Constraints: 17811
661.53/663.98 c #Conflicts: 258000 | #Constraints: 18811
661.53/663.98 c #Conflicts: 259000 | #Constraints: 19811
661.53/663.98 c #Conflicts: 260000 | #Constraints: 20811
661.53/663.98 c #Conflicts: 261000 | #Constraints: 21811
661.53/663.98 c #Conflicts: 262000 | #Constraints: 22811
661.53/663.98 c #Conflicts: 263000 | #Constraints: 23811
661.53/663.98 c #Conflicts: 264000 | #Constraints: 24811
661.53/663.98 c #Conflicts: 265000 | #Constraints: 25811
661.53/663.98 c #Conflicts: 266000 | #Constraints: 26811
661.53/663.98 c INPROCESSING
661.53/663.98 c GARBAGE COLLECT
661.53/663.98 c #Conflicts: 267000 | #Constraints: 17612
661.53/663.98 c #Conflicts: 268000 | #Constraints: 18612
661.53/663.98 c #Conflicts: 269000 | #Constraints: 19612
661.53/663.98 c #Conflicts: 270000 | #Constraints: 20612
661.53/663.98 c #Conflicts: 271000 | #Constraints: 21612
661.53/663.98 c #Conflicts: 272000 | #Constraints: 22612
661.53/663.98 c #Conflicts: 273000 | #Constraints: 23612
661.53/663.98 c #Conflicts: 274000 | #Constraints: 24612
661.53/663.98 c #Conflicts: 275000 | #Constraints: 25612
676.70/679.16 c #Conflicts: 276000 | #Constraints: 26612
676.70/679.16 c #Conflicts: 277000 | #Constraints: 27612
676.70/679.16 c INPROCESSING
676.70/679.16 c GARBAGE COLLECT
676.70/679.16 c #Conflicts: 278000 | #Constraints: 18212
676.70/679.16 c #Conflicts: 279000 | #Constraints: 19212
676.70/679.16 c #Conflicts: 280000 | #Constraints: 20212
676.70/679.16 c #Conflicts: 281000 | #Constraints: 21212
676.70/679.16 c #Conflicts: 282000 | #Constraints: 22212
676.70/679.16 c #Conflicts: 283000 | #Constraints: 23212
676.70/679.16 c #Conflicts: 284000 | #Constraints: 24212
676.70/679.16 c #Conflicts: 285000 | #Constraints: 25212
676.70/679.16 c #Conflicts: 286000 | #Constraints: 26212
676.70/679.16 c #Conflicts: 287000 | #Constraints: 27212
676.70/679.16 c #Conflicts: 288000 | #Constraints: 28212
676.70/679.16 c INPROCESSING
676.70/679.16 c GARBAGE COLLECT
676.70/679.16 c #Conflicts: 289000 | #Constraints: 18613
676.70/679.16 c #Conflicts: 290000 | #Constraints: 19613
676.70/679.16 c #Conflicts: 291000 | #Constraints: 20613
676.70/679.16 c #Conflicts: 292000 | #Constraints: 21613
676.70/679.16 c #Conflicts: 293000 | #Constraints: 22613
676.70/679.16 c bounds - >= 283278655555190 @ 669.918
681.68/684.15 c #Conflicts: 294000 | #Constraints: 23629
681.68/684.15 c #Conflicts: 295000 | #Constraints: 24629
681.68/684.15 c #Conflicts: 296000 | #Constraints: 25629
681.68/684.15 c #Conflicts: 297000 | #Constraints: 26629
681.68/684.15 c #Conflicts: 298000 | #Constraints: 27629
681.68/684.15 c #Conflicts: 299000 | #Constraints: 28629
681.68/684.15 c INPROCESSING
681.68/684.15 c GARBAGE COLLECT
681.68/684.15 c bounds - >= 283430153815670 @ 674.834
681.68/684.15 c bounds - >= 283561225815670 @ 674.839
681.68/684.16 c bounds - >= 283692297815670 @ 674.846
681.68/684.17 c bounds - >= 283823369815670 @ 674.852
681.68/684.18 c bounds - >= 283954441815670 @ 674.861
681.68/684.19 c bounds - >= 284085513815670 @ 674.87
681.77/684.20 c bounds - >= 284216585815670 @ 674.878
681.77/684.21 c bounds - >= 284347657815670 @ 674.883
685.67/688.13 c #Conflicts: 300000 | #Constraints: 18860
685.67/688.13 c #Conflicts: 301000 | #Constraints: 19860
685.67/688.13 c #Conflicts: 302000 | #Constraints: 20860
685.67/688.13 c #Conflicts: 303000 | #Constraints: 21860
685.67/688.13 c #Conflicts: 304000 | #Constraints: 22860
685.67/688.13 c #Conflicts: 305000 | #Constraints: 23860
685.67/688.13 c bounds - >= 284478729815670 @ 678.723
732.02/734.67 c #Conflicts: 306000 | #Constraints: 24864
732.02/734.67 c #Conflicts: 307000 | #Constraints: 25864
732.02/734.67 c #Conflicts: 308000 | #Constraints: 26864
732.02/734.67 c #Conflicts: 309000 | #Constraints: 27864
732.02/734.67 c #Conflicts: 310000 | #Constraints: 28864
732.02/734.67 c INPROCESSING
732.02/734.67 c GARBAGE COLLECT
732.02/734.67 c #Conflicts: 311000 | #Constraints: 18843
732.02/734.67 c #Conflicts: 312000 | #Constraints: 19843
732.02/734.67 c #Conflicts: 313000 | #Constraints: 20843
732.02/734.67 c #Conflicts: 314000 | #Constraints: 21843
732.02/734.67 c #Conflicts: 315000 | #Constraints: 22843
732.02/734.67 c #Conflicts: 316000 | #Constraints: 23843
732.02/734.67 c #Conflicts: 317000 | #Constraints: 24843
732.02/734.67 c #Conflicts: 318000 | #Constraints: 25843
732.02/734.67 c #Conflicts: 319000 | #Constraints: 26843
732.02/734.67 c #Conflicts: 320000 | #Constraints: 27843
732.02/734.67 c #Conflicts: 321000 | #Constraints: 28843
732.02/734.67 c INPROCESSING
732.02/734.67 c GARBAGE COLLECT
732.02/734.67 c bounds - >= 284609801815670 @ 724.782
732.02/734.68 c bounds - >= 284740873815670 @ 724.789
732.02/734.69 c bounds - >= 284871945815670 @ 724.796
732.12/734.71 c bounds - >= 285003017815670 @ 724.81
887.52/890.68 c #Conflicts: 322000 | #Constraints: 18662
887.52/890.68 c #Conflicts: 323000 | #Constraints: 19662
887.52/890.68 c #Conflicts: 324000 | #Constraints: 20662
887.52/890.68 c #Conflicts: 325000 | #Constraints: 21662
887.52/890.68 c #Conflicts: 326000 | #Constraints: 22662
887.52/890.68 c #Conflicts: 327000 | #Constraints: 23662
887.52/890.68 c #Conflicts: 328000 | #Constraints: 24662
887.52/890.68 c #Conflicts: 329000 | #Constraints: 25662
887.52/890.68 c #Conflicts: 330000 | #Constraints: 26662
887.52/890.68 c #Conflicts: 331000 | #Constraints: 27662
887.52/890.68 c #Conflicts: 332000 | #Constraints: 28662
887.52/890.68 c #Conflicts: 333000 | #Constraints: 29662
887.52/890.68 c INPROCESSING
887.52/890.68 c GARBAGE COLLECT
887.52/890.68 c #Conflicts: 334000 | #Constraints: 19255
887.52/890.68 c #Conflicts: 335000 | #Constraints: 20255
887.52/890.68 c #Conflicts: 336000 | #Constraints: 21255
887.52/890.68 c #Conflicts: 337000 | #Constraints: 22255
887.52/890.68 c #Conflicts: 338000 | #Constraints: 23255
887.52/890.68 c #Conflicts: 339000 | #Constraints: 24255
887.52/890.68 c #Conflicts: 340000 | #Constraints: 25255
887.52/890.68 c #Conflicts: 341000 | #Constraints: 26255
887.52/890.68 c #Conflicts: 342000 | #Constraints: 27255
887.52/890.68 c #Conflicts: 343000 | #Constraints: 28255
887.52/890.68 c #Conflicts: 344000 | #Constraints: 29255
887.52/890.68 c #Conflicts: 345000 | #Constraints: 30255
887.52/890.68 c INPROCESSING
887.52/890.68 c GARBAGE COLLECT
887.52/890.68 c #Conflicts: 346000 | #Constraints: 19654
887.52/890.68 c #Conflicts: 347000 | #Constraints: 20654
887.52/890.68 c #Conflicts: 348000 | #Constraints: 21654
887.52/890.68 c #Conflicts: 349000 | #Constraints: 22654
887.52/890.68 c #Conflicts: 350000 | #Constraints: 23654
887.52/890.68 c #Conflicts: 351000 | #Constraints: 24654
887.52/890.68 c #Conflicts: 352000 | #Constraints: 25654
887.52/890.68 c #Conflicts: 353000 | #Constraints: 26654
887.52/890.68 c #Conflicts: 354000 | #Constraints: 27654
887.52/890.68 c #Conflicts: 355000 | #Constraints: 28654
887.52/890.68 c #Conflicts: 356000 | #Constraints: 29654
887.52/890.68 c #Conflicts: 357000 | #Constraints: 30654
887.52/890.68 c INPROCESSING
887.52/890.68 c GARBAGE COLLECT
887.52/890.68 c #Conflicts: 358000 | #Constraints: 19854
887.52/890.68 c #Conflicts: 359000 | #Constraints: 20854
887.52/890.68 c #Conflicts: 360000 | #Constraints: 21854
887.52/890.68 c #Conflicts: 361000 | #Constraints: 22854
887.52/890.68 c #Conflicts: 362000 | #Constraints: 23854
887.52/890.68 c #Conflicts: 363000 | #Constraints: 24854
887.52/890.68 c #Conflicts: 364000 | #Constraints: 25854
887.52/890.68 c #Conflicts: 365000 | #Constraints: 26854
887.52/890.68 c #Conflicts: 366000 | #Constraints: 27854
887.52/890.68 c #Conflicts: 367000 | #Constraints: 28854
887.52/890.68 c #Conflicts: 368000 | #Constraints: 29854
887.52/890.68 c #Conflicts: 369000 | #Constraints: 30854
887.52/890.68 c INPROCESSING
887.52/890.68 c GARBAGE COLLECT
887.52/890.68 c bounds - >= 285251530327670 @ 879.213
887.62/890.70 c bounds - >= 285396485473910 @ 879.226
887.62/890.75 c bounds - >= 285527557473910 @ 879.269
887.72/890.81 c bounds - >= 285658629473910 @ 879.33
887.72/890.84 c bounds - >= 285789701473910 @ 879.358
887.83/890.91 c bounds - >= 285920773473910 @ 879.424
887.83/890.99 c bounds - >= 286051845473910 @ 879.499
887.94/891.03 c bounds - >= 286182917473910 @ 879.536
887.94/891.07 c bounds - >= 286313989473910 @ 879.584
888.13/891.27 c bounds - >= 286445061473910 @ 879.774
888.42/891.56 c bounds - >= 286576133473910 @ 880.053
888.63/891.76 c bounds - >= 286813782738550 @ 880.238
888.72/891.86 c bounds - >= 286944854738550 @ 880.334
972.51/976.12 c #Conflicts: 370000 | #Constraints: 20048
972.51/976.12 c #Conflicts: 371000 | #Constraints: 21048
972.51/976.12 c #Conflicts: 372000 | #Constraints: 22048
972.51/976.12 c #Conflicts: 373000 | #Constraints: 23048
972.51/976.12 c #Conflicts: 374000 | #Constraints: 24048
972.51/976.12 c #Conflicts: 375000 | #Constraints: 25048
972.51/976.12 c #Conflicts: 376000 | #Constraints: 26048
972.51/976.12 c #Conflicts: 377000 | #Constraints: 27048
972.51/976.12 c #Conflicts: 378000 | #Constraints: 28048
972.51/976.12 c #Conflicts: 379000 | #Constraints: 29048
972.51/976.12 c #Conflicts: 380000 | #Constraints: 30048
972.51/976.12 c #Conflicts: 381000 | #Constraints: 31048
972.51/976.12 c INPROCESSING
972.51/976.12 c GARBAGE COLLECT
972.51/976.12 c #Conflicts: 382000 | #Constraints: 19756
972.51/976.12 c #Conflicts: 383000 | #Constraints: 20756
972.51/976.12 c #Conflicts: 384000 | #Constraints: 21756
972.51/976.12 c #Conflicts: 385000 | #Constraints: 22756
972.51/976.12 c #Conflicts: 386000 | #Constraints: 23756
972.51/976.12 c #Conflicts: 387000 | #Constraints: 24756
972.51/976.12 c #Conflicts: 388000 | #Constraints: 25756
972.51/976.12 c #Conflicts: 389000 | #Constraints: 26756
972.51/976.12 c #Conflicts: 390000 | #Constraints: 27756
972.51/976.12 c #Conflicts: 391000 | #Constraints: 28756
972.51/976.12 c #Conflicts: 392000 | #Constraints: 29756
972.51/976.12 c #Conflicts: 393000 | #Constraints: 30756
972.51/976.12 c #Conflicts: 394000 | #Constraints: 31756
972.51/976.12 c INPROCESSING
972.51/976.12 c GARBAGE COLLECT
972.51/976.12 c #Conflicts: 395000 | #Constraints: 20406
972.51/976.12 c #Conflicts: 396000 | #Constraints: 21406
972.51/976.12 c #Conflicts: 397000 | #Constraints: 22406
972.51/976.12 c #Conflicts: 398000 | #Constraints: 23406
972.51/976.12 c #Conflicts: 399000 | #Constraints: 24406
972.51/976.12 c #Conflicts: 400000 | #Constraints: 25406
972.51/976.12 c #Conflicts: 401000 | #Constraints: 26406
972.51/976.12 c #Conflicts: 402000 | #Constraints: 27406
972.51/976.12 c #Conflicts: 403000 | #Constraints: 28406
972.51/976.12 c #Conflicts: 404000 | #Constraints: 29406
972.51/976.12 c #Conflicts: 405000 | #Constraints: 30406
972.51/976.12 c #Conflicts: 406000 | #Constraints: 31406
972.51/976.12 c #Conflicts: 407000 | #Constraints: 32406
972.51/976.12 c INPROCESSING
972.51/976.12 c GARBAGE COLLECT
972.51/976.12 c #Conflicts: 408000 | #Constraints: 20860
972.51/976.12 c #Conflicts: 409000 | #Constraints: 21860
972.51/976.12 c #Conflicts: 410000 | #Constraints: 22860
972.51/976.12 c #Conflicts: 411000 | #Constraints: 23860
972.51/976.12 c #Conflicts: 412000 | #Constraints: 24860
972.51/976.12 c #Conflicts: 413000 | #Constraints: 25860
972.51/976.12 c #Conflicts: 414000 | #Constraints: 26860
972.51/976.12 c #Conflicts: 415000 | #Constraints: 27860
972.51/976.12 c #Conflicts: 416000 | #Constraints: 28860
972.51/976.12 c #Conflicts: 417000 | #Constraints: 29860
972.51/976.12 c #Conflicts: 418000 | #Constraints: 30860
972.51/976.12 c #Conflicts: 419000 | #Constraints: 31860
972.51/976.12 c #Conflicts: 420000 | #Constraints: 32860
972.51/976.12 c INPROCESSING
972.51/976.12 c GARBAGE COLLECT
972.51/976.12 c #Conflicts: 421000 | #Constraints: 21075
972.51/976.12 c #Conflicts: 422000 | #Constraints: 22075
972.51/976.12 c #Conflicts: 423000 | #Constraints: 23075
972.51/976.12 c #Conflicts: 424000 | #Constraints: 24075
972.51/976.12 c #Conflicts: 425000 | #Constraints: 25075
972.51/976.12 c #Conflicts: 426000 | #Constraints: 26075
972.51/976.12 c bounds - >= 287075926738550 @ 963.115
972.51/976.12 c bounds - >= 287206998738550 @ 963.122
1168.78/1173.16 c #Conflicts: 427000 | #Constraints: 27086
1168.78/1173.16 c #Conflicts: 428000 | #Constraints: 28086
1168.78/1173.16 c #Conflicts: 429000 | #Constraints: 29086
1168.78/1173.16 c #Conflicts: 430000 | #Constraints: 30086
1168.78/1173.16 c #Conflicts: 431000 | #Constraints: 31086
1168.78/1173.16 c #Conflicts: 432000 | #Constraints: 32086
1168.78/1173.16 c #Conflicts: 433000 | #Constraints: 33086
1168.78/1173.16 c INPROCESSING
1168.78/1173.16 c GARBAGE COLLECT
1168.78/1173.16 c #Conflicts: 434000 | #Constraints: 21096
1168.78/1173.16 c #Conflicts: 435000 | #Constraints: 22096
1168.78/1173.16 c #Conflicts: 436000 | #Constraints: 23096
1168.78/1173.16 c #Conflicts: 437000 | #Constraints: 24096
1168.78/1173.16 c #Conflicts: 438000 | #Constraints: 25096
1168.78/1173.16 c #Conflicts: 439000 | #Constraints: 26096
1168.78/1173.16 c #Conflicts: 440000 | #Constraints: 27096
1168.78/1173.16 c #Conflicts: 441000 | #Constraints: 28096
1168.78/1173.16 c #Conflicts: 442000 | #Constraints: 29096
1168.78/1173.16 c #Conflicts: 443000 | #Constraints: 30096
1168.78/1173.16 c #Conflicts: 444000 | #Constraints: 31096
1168.78/1173.16 c #Conflicts: 445000 | #Constraints: 32096
1168.78/1173.16 c #Conflicts: 446000 | #Constraints: 33096
1168.78/1173.16 c INPROCESSING
1168.78/1173.16 c GARBAGE COLLECT
1168.78/1173.16 c #Conflicts: 447000 | #Constraints: 20903
1168.78/1173.16 c #Conflicts: 448000 | #Constraints: 21903
1168.78/1173.16 c #Conflicts: 449000 | #Constraints: 22903
1168.78/1173.16 c #Conflicts: 450000 | #Constraints: 23903
1168.78/1173.16 c #Conflicts: 451000 | #Constraints: 24903
1168.78/1173.16 c #Conflicts: 452000 | #Constraints: 25903
1168.78/1173.16 c #Conflicts: 453000 | #Constraints: 26903
1168.78/1173.16 c #Conflicts: 454000 | #Constraints: 27903
1168.78/1173.16 c #Conflicts: 455000 | #Constraints: 28903
1168.78/1173.16 c #Conflicts: 456000 | #Constraints: 29903
1168.78/1173.16 c #Conflicts: 457000 | #Constraints: 30903
1168.78/1173.16 c #Conflicts: 458000 | #Constraints: 31903
1168.78/1173.16 c #Conflicts: 459000 | #Constraints: 32903
1168.78/1173.16 c #Conflicts: 460000 | #Constraints: 33903
1168.78/1173.16 c INPROCESSING
1168.78/1173.16 c GARBAGE COLLECT
1168.78/1173.16 c #Conflicts: 461000 | #Constraints: 21514
1168.78/1173.16 c #Conflicts: 462000 | #Constraints: 22514
1168.78/1173.16 c #Conflicts: 463000 | #Constraints: 23514
1168.78/1173.16 c #Conflicts: 464000 | #Constraints: 24514
1168.78/1173.16 c #Conflicts: 465000 | #Constraints: 25514
1168.78/1173.16 c #Conflicts: 466000 | #Constraints: 26514
1168.78/1173.16 c #Conflicts: 467000 | #Constraints: 27514
1168.78/1173.16 c #Conflicts: 468000 | #Constraints: 28514
1168.78/1173.16 c #Conflicts: 469000 | #Constraints: 29514
1168.78/1173.16 c #Conflicts: 470000 | #Constraints: 30514
1168.78/1173.16 c #Conflicts: 471000 | #Constraints: 31514
1168.78/1173.16 c #Conflicts: 472000 | #Constraints: 32514
1168.78/1173.16 c #Conflicts: 473000 | #Constraints: 33514
1168.78/1173.16 c #Conflicts: 474000 | #Constraints: 34514
1168.78/1173.16 c INPROCESSING
1168.78/1173.16 c GARBAGE COLLECT
1168.78/1173.16 c #Conflicts: 475000 | #Constraints: 21931
1168.78/1173.16 c #Conflicts: 476000 | #Constraints: 22931
1168.78/1173.16 c #Conflicts: 477000 | #Constraints: 23931
1168.78/1173.16 c #Conflicts: 478000 | #Constraints: 24931
1168.78/1173.16 c #Conflicts: 479000 | #Constraints: 25931
1168.78/1173.16 c #Conflicts: 480000 | #Constraints: 26931
1168.78/1173.16 c #Conflicts: 481000 | #Constraints: 27931
1168.78/1173.16 c #Conflicts: 482000 | #Constraints: 28931
1168.78/1173.16 c #Conflicts: 483000 | #Constraints: 29931
1168.78/1173.16 c #Conflicts: 484000 | #Constraints: 30931
1168.78/1173.16 c #Conflicts: 485000 | #Constraints: 31931
1168.78/1173.16 c #Conflicts: 486000 | #Constraints: 32931
1168.78/1173.16 c #Conflicts: 487000 | #Constraints: 33931
1168.78/1173.16 c #Conflicts: 488000 | #Constraints: 34931
1168.78/1173.16 c INPROCESSING
1168.78/1173.16 c GARBAGE COLLECT
1168.78/1173.16 c #Conflicts: 489000 | #Constraints: 22127
1168.78/1173.16 c #Conflicts: 490000 | #Constraints: 23127
1168.78/1173.16 c #Conflicts: 491000 | #Constraints: 24127
1168.78/1173.16 c #Conflicts: 492000 | #Constraints: 25127
1168.78/1173.16 c #Conflicts: 493000 | #Constraints: 26127
1168.78/1173.16 c #Conflicts: 494000 | #Constraints: 27127
1168.78/1173.16 c #Conflicts: 495000 | #Constraints: 28127
1168.78/1173.16 c #Conflicts: 496000 | #Constraints: 29127
1168.78/1173.16 c #Conflicts: 497000 | #Constraints: 30127
1168.78/1173.16 c #Conflicts: 498000 | #Constraints: 31127
1168.78/1173.16 c #Conflicts: 499000 | #Constraints: 32127
1168.78/1173.16 c #Conflicts: 500000 | #Constraints: 33127
1168.78/1173.16 c #Conflicts: 501000 | #Constraints: 34127
1168.78/1173.16 c #Conflicts: 502000 | #Constraints: 35127
1347.84/1353.06 c INPROCESSING
1347.84/1353.06 c GARBAGE COLLECT
1347.84/1353.06 c #Conflicts: 503000 | #Constraints: 22128
1347.84/1353.06 c #Conflicts: 504000 | #Constraints: 23128
1347.84/1353.06 c #Conflicts: 505000 | #Constraints: 24128
1347.84/1353.06 c #Conflicts: 506000 | #Constraints: 25128
1347.84/1353.06 c #Conflicts: 507000 | #Constraints: 26128
1347.84/1353.06 c #Conflicts: 508000 | #Constraints: 27128
1347.84/1353.06 c #Conflicts: 509000 | #Constraints: 28128
1347.84/1353.06 c #Conflicts: 510000 | #Constraints: 29128
1347.84/1353.06 c #Conflicts: 511000 | #Constraints: 30128
1347.84/1353.06 c #Conflicts: 512000 | #Constraints: 31128
1347.84/1353.06 c #Conflicts: 513000 | #Constraints: 32128
1347.84/1353.06 c #Conflicts: 514000 | #Constraints: 33128
1347.84/1353.06 c #Conflicts: 515000 | #Constraints: 34128
1347.84/1353.06 c #Conflicts: 516000 | #Constraints: 35128
1347.84/1353.06 c INPROCESSING
1347.84/1353.06 c GARBAGE COLLECT
1347.84/1353.06 c #Conflicts: 517000 | #Constraints: 21926
1347.84/1353.06 c #Conflicts: 518000 | #Constraints: 22926
1347.84/1353.06 c #Conflicts: 519000 | #Constraints: 23926
1347.84/1353.06 c #Conflicts: 520000 | #Constraints: 24926
1347.84/1353.06 c #Conflicts: 521000 | #Constraints: 25926
1347.84/1353.06 c #Conflicts: 522000 | #Constraints: 26926
1347.84/1353.06 c #Conflicts: 523000 | #Constraints: 27926
1347.84/1353.06 c #Conflicts: 524000 | #Constraints: 28926
1347.84/1353.06 c #Conflicts: 525000 | #Constraints: 29926
1347.84/1353.06 c #Conflicts: 526000 | #Constraints: 30926
1347.84/1353.06 c #Conflicts: 527000 | #Constraints: 31926
1347.84/1353.06 c #Conflicts: 528000 | #Constraints: 32926
1347.84/1353.06 c #Conflicts: 529000 | #Constraints: 33926
1347.84/1353.06 c #Conflicts: 530000 | #Constraints: 34926
1347.84/1353.06 c #Conflicts: 531000 | #Constraints: 35926
1347.84/1353.06 c INPROCESSING
1347.84/1353.06 c GARBAGE COLLECT
1347.84/1353.06 c #Conflicts: 532000 | #Constraints: 22526
1347.84/1353.06 c #Conflicts: 533000 | #Constraints: 23526
1347.84/1353.06 c #Conflicts: 534000 | #Constraints: 24526
1347.84/1353.06 c #Conflicts: 535000 | #Constraints: 25526
1347.84/1353.06 c #Conflicts: 536000 | #Constraints: 26526
1347.84/1353.06 c #Conflicts: 537000 | #Constraints: 27526
1347.84/1353.06 c #Conflicts: 538000 | #Constraints: 28526
1347.84/1353.06 c #Conflicts: 539000 | #Constraints: 29526
1347.84/1353.06 c #Conflicts: 540000 | #Constraints: 30526
1347.84/1353.06 c #Conflicts: 541000 | #Constraints: 31526
1347.84/1353.06 c #Conflicts: 542000 | #Constraints: 32526
1347.84/1353.06 c #Conflicts: 543000 | #Constraints: 33526
1347.84/1353.06 c #Conflicts: 544000 | #Constraints: 34526
1347.84/1353.06 c #Conflicts: 545000 | #Constraints: 35526
1347.84/1353.06 c #Conflicts: 546000 | #Constraints: 36526
1347.84/1353.06 c INPROCESSING
1347.84/1353.06 c GARBAGE COLLECT
1347.84/1353.06 c #Conflicts: 547000 | #Constraints: 22926
1347.84/1353.06 c #Conflicts: 548000 | #Constraints: 23926
1347.84/1353.06 c #Conflicts: 549000 | #Constraints: 24926
1347.84/1353.06 c #Conflicts: 550000 | #Constraints: 25926
1347.84/1353.06 c #Conflicts: 551000 | #Constraints: 26926
1347.84/1353.06 c #Conflicts: 552000 | #Constraints: 27926
1347.84/1353.06 c #Conflicts: 553000 | #Constraints: 28926
1347.84/1353.06 c #Conflicts: 554000 | #Constraints: 29926
1347.84/1353.06 c #Conflicts: 555000 | #Constraints: 30926
1347.84/1353.06 c #Conflicts: 556000 | #Constraints: 31926
1347.84/1353.06 c #Conflicts: 557000 | #Constraints: 32926
1347.84/1353.06 c #Conflicts: 558000 | #Constraints: 33926
1347.84/1353.06 c #Conflicts: 559000 | #Constraints: 34926
1347.84/1353.06 c #Conflicts: 560000 | #Constraints: 35926
1347.84/1353.06 c #Conflicts: 561000 | #Constraints: 36926
1347.84/1353.06 c INPROCESSING
1347.84/1353.06 c GARBAGE COLLECT
1347.84/1353.06 c #Conflicts: 562000 | #Constraints: 23123
1347.84/1353.06 c #Conflicts: 563000 | #Constraints: 24123
1347.84/1353.06 c #Conflicts: 564000 | #Constraints: 25123
1347.84/1353.06 c #Conflicts: 565000 | #Constraints: 26123
1347.84/1353.06 c #Conflicts: 566000 | #Constraints: 27123
1347.84/1353.06 c #Conflicts: 567000 | #Constraints: 28123
1347.84/1353.06 c #Conflicts: 568000 | #Constraints: 29123
1347.84/1353.06 c #Conflicts: 569000 | #Constraints: 30123
1347.84/1353.06 c #Conflicts: 570000 | #Constraints: 31123
1347.84/1353.06 c #Conflicts: 571000 | #Constraints: 32123
1347.84/1353.06 c #Conflicts: 572000 | #Constraints: 33123
1347.84/1353.06 c #Conflicts: 573000 | #Constraints: 34123
1347.84/1353.06 c #Conflicts: 574000 | #Constraints: 35123
1347.84/1353.06 c #Conflicts: 575000 | #Constraints: 36123
1347.84/1353.06 c #Conflicts: 576000 | #Constraints: 37123
1347.84/1353.06 c INPROCESSING
1347.84/1353.06 c GARBAGE COLLECT
1347.84/1353.06 c #Conflicts: 577000 | #Constraints: 23105
1502.18/1507.86 c #Conflicts: 578000 | #Constraints: 24105
1502.18/1507.86 c #Conflicts: 579000 | #Constraints: 25105
1502.18/1507.86 c #Conflicts: 580000 | #Constraints: 26105
1502.18/1507.86 c #Conflicts: 581000 | #Constraints: 27105
1502.18/1507.86 c #Conflicts: 582000 | #Constraints: 28105
1502.18/1507.86 c #Conflicts: 583000 | #Constraints: 29105
1502.18/1507.86 c #Conflicts: 584000 | #Constraints: 30105
1502.18/1507.86 c #Conflicts: 585000 | #Constraints: 31105
1502.18/1507.86 c #Conflicts: 586000 | #Constraints: 32105
1502.18/1507.86 c #Conflicts: 587000 | #Constraints: 33105
1502.18/1507.86 c #Conflicts: 588000 | #Constraints: 34105
1502.18/1507.86 c #Conflicts: 589000 | #Constraints: 35105
1502.18/1507.86 c #Conflicts: 590000 | #Constraints: 36105
1502.18/1507.86 c #Conflicts: 591000 | #Constraints: 37105
1502.18/1507.86 c INPROCESSING
1502.18/1507.86 c GARBAGE COLLECT
1502.18/1507.86 c #Conflicts: 592000 | #Constraints: 22928
1502.18/1507.86 c #Conflicts: 593000 | #Constraints: 23928
1502.18/1507.86 c #Conflicts: 594000 | #Constraints: 24928
1502.18/1507.86 c #Conflicts: 595000 | #Constraints: 25928
1502.18/1507.86 c #Conflicts: 596000 | #Constraints: 26928
1502.18/1507.86 c #Conflicts: 597000 | #Constraints: 27928
1502.18/1507.86 c #Conflicts: 598000 | #Constraints: 28928
1502.18/1507.86 c #Conflicts: 599000 | #Constraints: 29928
1502.18/1507.86 c #Conflicts: 600000 | #Constraints: 30928
1502.18/1507.86 c #Conflicts: 601000 | #Constraints: 31928
1502.18/1507.86 c #Conflicts: 602000 | #Constraints: 32928
1502.18/1507.86 c #Conflicts: 603000 | #Constraints: 33928
1502.18/1507.86 c #Conflicts: 604000 | #Constraints: 34928
1502.18/1507.86 c #Conflicts: 605000 | #Constraints: 35928
1502.18/1507.86 c #Conflicts: 606000 | #Constraints: 36928
1502.18/1507.86 c #Conflicts: 607000 | #Constraints: 37928
1502.18/1507.86 c INPROCESSING
1502.18/1507.86 c GARBAGE COLLECT
1502.18/1507.86 c #Conflicts: 608000 | #Constraints: 23538
1502.18/1507.86 c #Conflicts: 609000 | #Constraints: 24538
1502.18/1507.86 c #Conflicts: 610000 | #Constraints: 25538
1502.18/1507.86 c #Conflicts: 611000 | #Constraints: 26538
1502.18/1507.86 c #Conflicts: 612000 | #Constraints: 27538
1502.18/1507.86 c #Conflicts: 613000 | #Constraints: 28538
1502.18/1507.86 c #Conflicts: 614000 | #Constraints: 29538
1502.18/1507.86 c #Conflicts: 615000 | #Constraints: 30538
1502.18/1507.86 c #Conflicts: 616000 | #Constraints: 31538
1502.18/1507.86 c #Conflicts: 617000 | #Constraints: 32538
1502.18/1507.86 c #Conflicts: 618000 | #Constraints: 33538
1502.18/1507.86 c #Conflicts: 619000 | #Constraints: 34538
1502.18/1507.86 c #Conflicts: 620000 | #Constraints: 35538
1502.18/1507.86 c #Conflicts: 621000 | #Constraints: 36538
1502.18/1507.86 c #Conflicts: 622000 | #Constraints: 37538
1502.18/1507.86 c #Conflicts: 623000 | #Constraints: 38538
1502.18/1507.86 c INPROCESSING
1502.18/1507.86 c GARBAGE COLLECT
1502.18/1507.86 c #Conflicts: 624000 | #Constraints: 23277
1502.18/1507.86 c #Conflicts: 625000 | #Constraints: 24277
1502.18/1507.86 c #Conflicts: 626000 | #Constraints: 25277
1502.18/1507.86 c #Conflicts: 627000 | #Constraints: 26277
1502.18/1507.86 c #Conflicts: 628000 | #Constraints: 27277
1502.18/1507.86 c #Conflicts: 629000 | #Constraints: 28277
1502.18/1507.86 c #Conflicts: 630000 | #Constraints: 29277
1502.18/1507.86 c #Conflicts: 631000 | #Constraints: 30277
1502.18/1507.86 c #Conflicts: 632000 | #Constraints: 31277
1502.18/1507.86 c #Conflicts: 633000 | #Constraints: 32277
1502.18/1507.86 c #Conflicts: 634000 | #Constraints: 33277
1502.18/1507.86 c #Conflicts: 635000 | #Constraints: 34277
1502.18/1507.86 c #Conflicts: 636000 | #Constraints: 35277
1502.18/1507.86 c #Conflicts: 637000 | #Constraints: 36277
1502.18/1507.86 c #Conflicts: 638000 | #Constraints: 37277
1502.18/1507.86 c #Conflicts: 639000 | #Constraints: 38277
1502.18/1507.86 c INPROCESSING
1502.18/1507.86 c GARBAGE COLLECT
1502.18/1507.86 c #Conflicts: 640000 | #Constraints: 23795
1502.18/1507.86 c #Conflicts: 641000 | #Constraints: 24795
1502.18/1507.86 c #Conflicts: 642000 | #Constraints: 25795
1502.18/1507.86 c #Conflicts: 643000 | #Constraints: 26795
1502.18/1507.86 c #Conflicts: 644000 | #Constraints: 27795
1502.18/1507.86 c #Conflicts: 645000 | #Constraints: 28795
1502.18/1507.86 c #Conflicts: 646000 | #Constraints: 29795
1502.18/1507.86 c #Conflicts: 647000 | #Constraints: 30795
1502.18/1507.86 c #Conflicts: 648000 | #Constraints: 31795
1502.18/1507.86 c #Conflicts: 649000 | #Constraints: 32795
1502.18/1507.86 c #Conflicts: 650000 | #Constraints: 33795
1502.18/1507.86 c #Conflicts: 651000 | #Constraints: 34795
1502.18/1507.86 c #Conflicts: 652000 | #Constraints: 35795
1502.18/1507.86 c #Conflicts: 653000 | #Constraints: 36795
1698.86/1705.15 c #Conflicts: 654000 | #Constraints: 37795
1698.86/1705.15 c #Conflicts: 655000 | #Constraints: 38795
1698.86/1705.15 c INPROCESSING
1698.86/1705.15 c GARBAGE COLLECT
1698.86/1705.15 c #Conflicts: 656000 | #Constraints: 23953
1698.86/1705.15 c #Conflicts: 657000 | #Constraints: 24953
1698.86/1705.15 c #Conflicts: 658000 | #Constraints: 25953
1698.86/1705.15 c #Conflicts: 659000 | #Constraints: 26953
1698.86/1705.15 c #Conflicts: 660000 | #Constraints: 27953
1698.86/1705.15 c #Conflicts: 661000 | #Constraints: 28953
1698.86/1705.15 c #Conflicts: 662000 | #Constraints: 29953
1698.86/1705.15 c #Conflicts: 663000 | #Constraints: 30953
1698.86/1705.15 c #Conflicts: 664000 | #Constraints: 31953
1698.86/1705.15 c #Conflicts: 665000 | #Constraints: 32953
1698.86/1705.15 c #Conflicts: 666000 | #Constraints: 33953
1698.86/1705.15 c #Conflicts: 667000 | #Constraints: 34953
1698.86/1705.15 c #Conflicts: 668000 | #Constraints: 35953
1698.86/1705.15 c #Conflicts: 669000 | #Constraints: 36953
1698.86/1705.15 c #Conflicts: 670000 | #Constraints: 37953
1698.86/1705.15 c #Conflicts: 671000 | #Constraints: 38953
1698.86/1705.15 c INPROCESSING
1698.86/1705.15 c GARBAGE COLLECT
1698.86/1705.15 c #Conflicts: 672000 | #Constraints: 23832
1698.86/1705.15 c #Conflicts: 673000 | #Constraints: 24832
1698.86/1705.15 c #Conflicts: 674000 | #Constraints: 25832
1698.86/1705.15 c #Conflicts: 675000 | #Constraints: 26832
1698.86/1705.15 c #Conflicts: 676000 | #Constraints: 27832
1698.86/1705.15 c #Conflicts: 677000 | #Constraints: 28832
1698.86/1705.15 c #Conflicts: 678000 | #Constraints: 29832
1698.86/1705.15 c #Conflicts: 679000 | #Constraints: 30832
1698.86/1705.15 c #Conflicts: 680000 | #Constraints: 31832
1698.86/1705.15 c #Conflicts: 681000 | #Constraints: 32832
1698.86/1705.15 c #Conflicts: 682000 | #Constraints: 33832
1698.86/1705.15 c #Conflicts: 683000 | #Constraints: 34832
1698.86/1705.15 c #Conflicts: 684000 | #Constraints: 35832
1698.86/1705.15 c #Conflicts: 685000 | #Constraints: 36832
1698.86/1705.15 c #Conflicts: 686000 | #Constraints: 37832
1698.86/1705.15 c #Conflicts: 687000 | #Constraints: 38832
1698.86/1705.15 c #Conflicts: 688000 | #Constraints: 39832
1698.86/1705.15 c INPROCESSING
1698.86/1705.15 c GARBAGE COLLECT
1698.86/1705.15 c #Conflicts: 689000 | #Constraints: 24473
1698.86/1705.15 c #Conflicts: 690000 | #Constraints: 25473
1698.86/1705.15 c #Conflicts: 691000 | #Constraints: 26473
1698.86/1705.15 c #Conflicts: 692000 | #Constraints: 27473
1698.86/1705.15 c #Conflicts: 693000 | #Constraints: 28473
1698.86/1705.15 c #Conflicts: 694000 | #Constraints: 29473
1698.86/1705.15 c #Conflicts: 695000 | #Constraints: 30473
1698.86/1705.15 c #Conflicts: 696000 | #Constraints: 31473
1698.86/1705.15 c #Conflicts: 697000 | #Constraints: 32473
1698.86/1705.15 c #Conflicts: 698000 | #Constraints: 33473
1698.86/1705.15 c #Conflicts: 699000 | #Constraints: 34473
1698.86/1705.15 c #Conflicts: 700000 | #Constraints: 35473
1698.86/1705.15 c #Conflicts: 701000 | #Constraints: 36473
1698.86/1705.15 c #Conflicts: 702000 | #Constraints: 37473
1698.86/1705.15 c #Conflicts: 703000 | #Constraints: 38473
1698.86/1705.15 c #Conflicts: 704000 | #Constraints: 39473
1698.86/1705.15 c #Conflicts: 705000 | #Constraints: 40473
1698.86/1705.15 c INPROCESSING
1698.86/1705.15 c GARBAGE COLLECT
1698.86/1705.15 c #Conflicts: 706000 | #Constraints: 24893
1698.86/1705.15 c #Conflicts: 707000 | #Constraints: 25893
1698.86/1705.15 c #Conflicts: 708000 | #Constraints: 26893
1698.86/1705.15 c #Conflicts: 709000 | #Constraints: 27893
1698.86/1705.15 c #Conflicts: 710000 | #Constraints: 28893
1698.86/1705.15 c #Conflicts: 711000 | #Constraints: 29893
1698.86/1705.15 c #Conflicts: 712000 | #Constraints: 30893
1698.86/1705.15 c #Conflicts: 713000 | #Constraints: 31893
1698.86/1705.15 c #Conflicts: 714000 | #Constraints: 32893
1698.86/1705.15 c #Conflicts: 715000 | #Constraints: 33893
1698.86/1705.15 c #Conflicts: 716000 | #Constraints: 34893
1698.86/1705.15 c #Conflicts: 717000 | #Constraints: 35893
1698.86/1705.15 c #Conflicts: 718000 | #Constraints: 36893
1698.86/1705.15 c #Conflicts: 719000 | #Constraints: 37893
1698.86/1705.15 c #Conflicts: 720000 | #Constraints: 38893
1698.86/1705.15 c #Conflicts: 721000 | #Constraints: 39893
1698.86/1705.15 c #Conflicts: 722000 | #Constraints: 40893
1698.86/1705.15 c INPROCESSING
1698.86/1705.15 c GARBAGE COLLECT
1698.86/1705.15 c #Conflicts: 723000 | #Constraints: 25106
1698.86/1705.15 c #Conflicts: 724000 | #Constraints: 26106
1698.86/1705.15 c #Conflicts: 725000 | #Constraints: 27106
1698.86/1705.15 c #Conflicts: 726000 | #Constraints: 28106
1698.86/1705.15 c #Conflicts: 727000 | #Constraints: 29106
1698.86/1705.15 c #Conflicts: 728000 | #Constraints: 30106
1698.86/1705.15 c #Conflicts: 729000 | #Constraints: 31106
1899.67/1907.99 c #Conflicts: 730000 | #Constraints: 32106
1899.67/1907.99 c #Conflicts: 731000 | #Constraints: 33106
1899.67/1907.99 c #Conflicts: 732000 | #Constraints: 34106
1899.67/1907.99 c #Conflicts: 733000 | #Constraints: 35106
1899.67/1907.99 c #Conflicts: 734000 | #Constraints: 36106
1899.67/1907.99 c #Conflicts: 735000 | #Constraints: 37106
1899.67/1907.99 c #Conflicts: 736000 | #Constraints: 38106
1899.67/1907.99 c #Conflicts: 737000 | #Constraints: 39106
1899.67/1907.99 c #Conflicts: 738000 | #Constraints: 40106
1899.67/1907.99 c #Conflicts: 739000 | #Constraints: 41106
1899.67/1907.99 c INPROCESSING
1899.67/1907.99 c GARBAGE COLLECT
1899.67/1907.99 c #Conflicts: 740000 | #Constraints: 25112
1899.67/1907.99 c #Conflicts: 741000 | #Constraints: 26112
1899.67/1907.99 c #Conflicts: 742000 | #Constraints: 27112
1899.67/1907.99 c #Conflicts: 743000 | #Constraints: 28112
1899.67/1907.99 c #Conflicts: 744000 | #Constraints: 29112
1899.67/1907.99 c #Conflicts: 745000 | #Constraints: 30112
1899.67/1907.99 c #Conflicts: 746000 | #Constraints: 31112
1899.67/1907.99 c #Conflicts: 747000 | #Constraints: 32112
1899.67/1907.99 c #Conflicts: 748000 | #Constraints: 33112
1899.67/1907.99 c #Conflicts: 749000 | #Constraints: 34112
1899.67/1907.99 c #Conflicts: 750000 | #Constraints: 35112
1899.67/1907.99 c #Conflicts: 751000 | #Constraints: 36112
1899.67/1907.99 c #Conflicts: 752000 | #Constraints: 37112
1899.67/1907.99 c #Conflicts: 753000 | #Constraints: 38112
1899.67/1907.99 c #Conflicts: 754000 | #Constraints: 39112
1899.67/1907.99 c #Conflicts: 755000 | #Constraints: 40112
1899.67/1907.99 c #Conflicts: 756000 | #Constraints: 41112
1899.67/1907.99 c INPROCESSING
1899.67/1907.99 c GARBAGE COLLECT
1899.67/1907.99 c #Conflicts: 757000 | #Constraints: 24912
1899.67/1907.99 c #Conflicts: 758000 | #Constraints: 25912
1899.67/1907.99 c #Conflicts: 759000 | #Constraints: 26912
1899.67/1907.99 c #Conflicts: 760000 | #Constraints: 27912
1899.67/1907.99 c #Conflicts: 761000 | #Constraints: 28912
1899.67/1907.99 c #Conflicts: 762000 | #Constraints: 29912
1899.67/1907.99 c #Conflicts: 763000 | #Constraints: 30912
1899.67/1907.99 c #Conflicts: 764000 | #Constraints: 31912
1899.67/1907.99 c #Conflicts: 765000 | #Constraints: 32912
1899.67/1907.99 c #Conflicts: 766000 | #Constraints: 33912
1899.67/1907.99 c #Conflicts: 767000 | #Constraints: 34912
1899.67/1907.99 c #Conflicts: 768000 | #Constraints: 35912
1899.67/1907.99 c #Conflicts: 769000 | #Constraints: 36912
1899.67/1907.99 c #Conflicts: 770000 | #Constraints: 37912
1899.67/1907.99 c #Conflicts: 771000 | #Constraints: 38912
1899.67/1907.99 c #Conflicts: 772000 | #Constraints: 39912
1899.67/1907.99 c #Conflicts: 773000 | #Constraints: 40912
1899.67/1907.99 c #Conflicts: 774000 | #Constraints: 41912
1899.67/1907.99 c INPROCESSING
1899.67/1907.99 c GARBAGE COLLECT
1899.67/1907.99 c #Conflicts: 775000 | #Constraints: 25515
1899.67/1907.99 c #Conflicts: 776000 | #Constraints: 26515
1899.67/1907.99 c #Conflicts: 777000 | #Constraints: 27515
1899.67/1907.99 c #Conflicts: 778000 | #Constraints: 28515
1899.67/1907.99 c #Conflicts: 779000 | #Constraints: 29515
1899.67/1907.99 c #Conflicts: 780000 | #Constraints: 30515
1899.67/1907.99 c #Conflicts: 781000 | #Constraints: 31515
1899.67/1907.99 c #Conflicts: 782000 | #Constraints: 32515
1899.67/1907.99 c #Conflicts: 783000 | #Constraints: 33515
1899.67/1907.99 c #Conflicts: 784000 | #Constraints: 34515
1899.67/1907.99 c #Conflicts: 785000 | #Constraints: 35515
1899.67/1907.99 c #Conflicts: 786000 | #Constraints: 36515
1899.67/1907.99 c #Conflicts: 787000 | #Constraints: 37515
1899.67/1907.99 c #Conflicts: 788000 | #Constraints: 38515
1899.67/1907.99 c #Conflicts: 789000 | #Constraints: 39515
1899.67/1907.99 c #Conflicts: 790000 | #Constraints: 40515
1899.67/1907.99 c #Conflicts: 791000 | #Constraints: 41515
1899.67/1907.99 c #Conflicts: 792000 | #Constraints: 42515
1899.67/1907.99 c INPROCESSING
1899.67/1907.99 c GARBAGE COLLECT
1899.67/1907.99 c #Conflicts: 793000 | #Constraints: 25868
1899.67/1907.99 c #Conflicts: 794000 | #Constraints: 26868
1899.67/1907.99 c #Conflicts: 795000 | #Constraints: 27868
1899.67/1907.99 c #Conflicts: 796000 | #Constraints: 28868
1899.67/1907.99 c #Conflicts: 797000 | #Constraints: 29868
1899.67/1907.99 c #Conflicts: 798000 | #Constraints: 30868
1899.67/1907.99 c #Conflicts: 799000 | #Constraints: 31868
1899.67/1907.99 c bounds - >= 287516538373750 @ 1883.14
1899.67/1907.99 c bounds - >= 288002742093430 @ 1883.15
1899.67/1908.00 c bounds - >= 288565114373750 @ 1883.16
1899.96/1908.22 c bounds - >= 288696186373750 @ 1883.37
1899.96/1908.24 c bounds - >= 288869411128950 @ 1883.38
1900.46/1908.75 c bounds - >= 289000483128950 @ 1883.87
1901.87/1910.18 c #Conflicts: 800000 | #Constraints: 32916
1901.87/1910.18 c #Conflicts: 801000 | #Constraints: 33916
1901.87/1910.18 c bounds - >= 289131555128950 @ 1885.25
2017.73/2026.58 c #Conflicts: 802000 | #Constraints: 34922
2017.73/2026.58 c #Conflicts: 803000 | #Constraints: 35922
2017.73/2026.58 c #Conflicts: 804000 | #Constraints: 36922
2017.73/2026.58 c #Conflicts: 805000 | #Constraints: 37922
2017.73/2026.58 c #Conflicts: 806000 | #Constraints: 38922
2017.73/2026.58 c #Conflicts: 807000 | #Constraints: 39922
2017.73/2026.58 c #Conflicts: 808000 | #Constraints: 40922
2017.73/2026.58 c #Conflicts: 809000 | #Constraints: 41922
2017.73/2026.58 c #Conflicts: 810000 | #Constraints: 42922
2017.73/2026.58 c INPROCESSING
2017.73/2026.58 c GARBAGE COLLECT
2017.73/2026.58 c #Conflicts: 811000 | #Constraints: 26146
2017.73/2026.58 c #Conflicts: 812000 | #Constraints: 27146
2017.73/2026.58 c #Conflicts: 813000 | #Constraints: 28146
2017.73/2026.58 c #Conflicts: 814000 | #Constraints: 29146
2017.73/2026.58 c #Conflicts: 815000 | #Constraints: 30146
2017.73/2026.58 c #Conflicts: 816000 | #Constraints: 31146
2017.73/2026.58 c #Conflicts: 817000 | #Constraints: 32146
2017.73/2026.58 c #Conflicts: 818000 | #Constraints: 33146
2017.73/2026.58 c #Conflicts: 819000 | #Constraints: 34146
2017.73/2026.58 c #Conflicts: 820000 | #Constraints: 35146
2017.73/2026.58 c #Conflicts: 821000 | #Constraints: 36146
2017.73/2026.58 c #Conflicts: 822000 | #Constraints: 37146
2017.73/2026.58 c #Conflicts: 823000 | #Constraints: 38146
2017.73/2026.58 c #Conflicts: 824000 | #Constraints: 39146
2017.73/2026.58 c #Conflicts: 825000 | #Constraints: 40146
2017.73/2026.58 c #Conflicts: 826000 | #Constraints: 41146
2017.73/2026.58 c #Conflicts: 827000 | #Constraints: 42146
2017.73/2026.58 c #Conflicts: 828000 | #Constraints: 43146
2017.73/2026.58 c INPROCESSING
2017.73/2026.58 c GARBAGE COLLECT
2017.73/2026.58 c #Conflicts: 829000 | #Constraints: 26199
2017.73/2026.58 c #Conflicts: 830000 | #Constraints: 27199
2017.73/2026.58 c #Conflicts: 831000 | #Constraints: 28199
2017.73/2026.58 c #Conflicts: 832000 | #Constraints: 29199
2017.73/2026.58 c #Conflicts: 833000 | #Constraints: 30199
2017.73/2026.58 c #Conflicts: 834000 | #Constraints: 31199
2017.73/2026.58 c #Conflicts: 835000 | #Constraints: 32199
2017.73/2026.58 c #Conflicts: 836000 | #Constraints: 33199
2017.73/2026.58 c #Conflicts: 837000 | #Constraints: 34199
2017.73/2026.58 c #Conflicts: 838000 | #Constraints: 35199
2017.73/2026.58 c #Conflicts: 839000 | #Constraints: 36199
2017.73/2026.58 c #Conflicts: 840000 | #Constraints: 37199
2017.73/2026.58 c #Conflicts: 841000 | #Constraints: 38199
2017.73/2026.58 c #Conflicts: 842000 | #Constraints: 39199
2017.73/2026.58 c #Conflicts: 843000 | #Constraints: 40199
2017.73/2026.58 c #Conflicts: 844000 | #Constraints: 41199
2017.73/2026.58 c #Conflicts: 845000 | #Constraints: 42199
2017.73/2026.58 c #Conflicts: 846000 | #Constraints: 43199
2017.73/2026.58 c INPROCESSING
2017.73/2026.58 c GARBAGE COLLECT
2017.73/2026.58 c #Conflicts: 847000 | #Constraints: 26036
2017.73/2026.58 c #Conflicts: 848000 | #Constraints: 27036
2017.73/2026.58 c #Conflicts: 849000 | #Constraints: 28036
2017.73/2026.58 c #Conflicts: 850000 | #Constraints: 29036
2017.73/2026.58 c #Conflicts: 851000 | #Constraints: 30036
2017.73/2026.58 c #Conflicts: 852000 | #Constraints: 31036
2017.73/2026.58 c #Conflicts: 853000 | #Constraints: 32036
2017.73/2026.58 c #Conflicts: 854000 | #Constraints: 33036
2017.73/2026.58 c #Conflicts: 855000 | #Constraints: 34036
2017.73/2026.58 c #Conflicts: 856000 | #Constraints: 35036
2017.73/2026.58 c #Conflicts: 857000 | #Constraints: 36036
2017.73/2026.58 c #Conflicts: 858000 | #Constraints: 37036
2017.73/2026.58 c #Conflicts: 859000 | #Constraints: 38036
2017.73/2026.58 c #Conflicts: 860000 | #Constraints: 39036
2017.73/2026.58 c #Conflicts: 861000 | #Constraints: 40036
2017.73/2026.58 c #Conflicts: 862000 | #Constraints: 41036
2017.73/2026.58 c #Conflicts: 863000 | #Constraints: 42036
2017.73/2026.58 c #Conflicts: 864000 | #Constraints: 43036
2017.73/2026.58 c #Conflicts: 865000 | #Constraints: 44036
2017.73/2026.58 c INPROCESSING
2017.73/2026.58 c GARBAGE COLLECT
2017.73/2026.58 c #Conflicts: 866000 | #Constraints: 26674
2017.73/2026.58 c #Conflicts: 867000 | #Constraints: 27674
2017.73/2026.58 c #Conflicts: 868000 | #Constraints: 28674
2017.73/2026.58 c #Conflicts: 869000 | #Constraints: 29674
2017.73/2026.58 c #Conflicts: 870000 | #Constraints: 30674
2017.73/2026.58 c #Conflicts: 871000 | #Constraints: 31674
2017.73/2026.58 c #Conflicts: 872000 | #Constraints: 32674
2017.73/2026.58 c #Conflicts: 873000 | #Constraints: 33674
2017.73/2026.58 c #Conflicts: 874000 | #Constraints: 34674
2017.73/2026.58 c #Conflicts: 875000 | #Constraints: 35674
2017.73/2026.58 c #Conflicts: 876000 | #Constraints: 36674
2017.73/2026.58 c #Conflicts: 877000 | #Constraints: 37674
2017.73/2026.58 c #Conflicts: 878000 | #Constraints: 38674
2053.53/2062.97 c #Conflicts: 879000 | #Constraints: 39674
2053.53/2062.97 c #Conflicts: 880000 | #Constraints: 40674
2053.53/2062.97 c #Conflicts: 881000 | #Constraints: 41675
2053.53/2062.97 c #Conflicts: 882000 | #Constraints: 42675
2053.53/2062.97 c #Conflicts: 883000 | #Constraints: 43675
2053.53/2062.97 c #Conflicts: 884000 | #Constraints: 44675
2053.53/2062.97 c INPROCESSING
2053.53/2062.97 c GARBAGE COLLECT
2053.53/2062.97 c #Conflicts: 885000 | #Constraints: 26834
2053.53/2062.97 c #Conflicts: 886000 | #Constraints: 27834
2053.53/2062.97 c #Conflicts: 887000 | #Constraints: 28834
2053.53/2062.97 c #Conflicts: 888000 | #Constraints: 29834
2053.53/2062.97 c #Conflicts: 889000 | #Constraints: 30835
2053.53/2062.97 c #Conflicts: 890000 | #Constraints: 31835
2053.53/2062.97 c #Conflicts: 891000 | #Constraints: 32835
2053.53/2062.97 c #Conflicts: 892000 | #Constraints: 33835
2053.53/2062.97 c bounds - >= 289262627128950 @ 2034.9
2060.10/2069.54 c #Conflicts: 893000 | #Constraints: 34854
2060.10/2069.54 c #Conflicts: 894000 | #Constraints: 35854
2060.10/2069.54 c #Conflicts: 895000 | #Constraints: 36854
2060.10/2069.54 c bounds - >= 289393699128950 @ 2041.36
2060.21/2069.61 c bounds - >= 289524771128950 @ 2041.42
2060.30/2069.76 c bounds - >= 289957874959990 @ 2041.57
2060.30/2069.77 c bounds - >= 290482162959990 @ 2041.57
2060.30/2069.77 c bounds - >= 290703286666870 @ 2041.58
2060.40/2069.80 c bounds - >= 290834358666870 @ 2041.6
2065.09/2074.54 c #Conflicts: 896000 | #Constraints: 37902
2065.09/2074.54 c bounds - >= 290965430666870 @ 2046.25
2140.56/2151.84 c #Conflicts: 897000 | #Constraints: 38917
2140.56/2151.84 c #Conflicts: 898000 | #Constraints: 39917
2140.56/2151.84 c #Conflicts: 899000 | #Constraints: 40918
2140.56/2151.84 c #Conflicts: 900000 | #Constraints: 41918
2140.56/2151.84 c #Conflicts: 901000 | #Constraints: 42918
2140.56/2151.84 c #Conflicts: 902000 | #Constraints: 43918
2140.56/2151.84 c #Conflicts: 903000 | #Constraints: 44918
2140.56/2151.84 c INPROCESSING
2140.56/2151.84 c GARBAGE COLLECT
2140.56/2151.84 c #Conflicts: 904000 | #Constraints: 27177
2140.56/2151.84 c #Conflicts: 905000 | #Constraints: 28177
2140.56/2151.84 c #Conflicts: 906000 | #Constraints: 29177
2140.56/2151.84 c #Conflicts: 907000 | #Constraints: 30177
2140.56/2151.84 c #Conflicts: 908000 | #Constraints: 31177
2140.56/2151.84 c #Conflicts: 909000 | #Constraints: 32177
2140.56/2151.84 c #Conflicts: 910000 | #Constraints: 33177
2140.56/2151.84 c #Conflicts: 911000 | #Constraints: 34178
2140.56/2151.84 c #Conflicts: 912000 | #Constraints: 35178
2140.56/2151.84 c bounds - >= 291096502666870 @ 2120.72
2143.16/2154.42 c #Conflicts: 913000 | #Constraints: 36193
2143.16/2154.42 c bounds - >= 291227574666870 @ 2123.23
2143.16/2154.43 c bounds - >= 291358646666870 @ 2123.25
2147.14/2158.42 c #Conflicts: 914000 | #Constraints: 37199
2147.14/2158.42 c bounds - >= 291489718666870 @ 2127.15
2147.24/2158.55 c bounds - >= 291620790666870 @ 2127.28
2151.33/2162.63 c #Conflicts: 915000 | #Constraints: 38229
2151.33/2162.63 c #Conflicts: 916000 | #Constraints: 39229
2151.33/2162.63 c bounds - >= 291907429402230 @ 2131.29
2151.33/2162.64 c bounds - >= 292038501402230 @ 2131.3
2157.21/2168.56 c #Conflicts: 917000 | #Constraints: 40235
2157.21/2168.56 c #Conflicts: 918000 | #Constraints: 41235
2157.21/2168.56 c #Conflicts: 919000 | #Constraints: 42235
2157.21/2168.56 c #Conflicts: 920000 | #Constraints: 43235
2157.21/2168.56 c #Conflicts: 921000 | #Constraints: 44235
2157.21/2168.56 c #Conflicts: 922000 | #Constraints: 45235
2157.21/2168.56 c INPROCESSING
2157.21/2168.56 c GARBAGE COLLECT
2157.21/2168.56 c #Conflicts: 923000 | #Constraints: 27107
2157.21/2168.56 c #Conflicts: 924000 | #Constraints: 28107
2157.21/2168.56 c #Conflicts: 925000 | #Constraints: 29107
2157.21/2168.56 c bounds - >= 292176640804470 @ 2137.13
2387.30/2399.89 c #Conflicts: 926000 | #Constraints: 30112
2387.30/2399.89 c #Conflicts: 927000 | #Constraints: 31112
2387.30/2399.89 c #Conflicts: 928000 | #Constraints: 32112
2387.30/2399.89 c #Conflicts: 929000 | #Constraints: 33112
2387.30/2399.89 c #Conflicts: 930000 | #Constraints: 34112
2387.30/2399.89 c #Conflicts: 931000 | #Constraints: 35112
2387.30/2399.89 c #Conflicts: 932000 | #Constraints: 36112
2387.30/2399.89 c #Conflicts: 933000 | #Constraints: 37112
2387.30/2399.89 c #Conflicts: 934000 | #Constraints: 38112
2387.30/2399.89 c #Conflicts: 935000 | #Constraints: 39112
2387.30/2399.89 c #Conflicts: 936000 | #Constraints: 40112
2387.30/2399.89 c #Conflicts: 937000 | #Constraints: 41112
2387.30/2399.89 c #Conflicts: 938000 | #Constraints: 42112
2387.30/2399.89 c #Conflicts: 939000 | #Constraints: 43112
2387.30/2399.89 c #Conflicts: 940000 | #Constraints: 44112
2387.30/2399.89 c #Conflicts: 941000 | #Constraints: 45112
2387.30/2399.89 c INPROCESSING
2387.30/2399.89 c GARBAGE COLLECT
2387.30/2399.89 c #Conflicts: 942000 | #Constraints: 27047
2387.30/2399.89 c #Conflicts: 943000 | #Constraints: 28047
2387.30/2399.89 c #Conflicts: 944000 | #Constraints: 29047
2387.30/2399.89 c #Conflicts: 945000 | #Constraints: 30047
2387.30/2399.89 c #Conflicts: 946000 | #Constraints: 31047
2387.30/2399.89 c #Conflicts: 947000 | #Constraints: 32047
2387.30/2399.89 c #Conflicts: 948000 | #Constraints: 33047
2387.30/2399.89 c #Conflicts: 949000 | #Constraints: 34047
2387.30/2399.89 c #Conflicts: 950000 | #Constraints: 35047
2387.30/2399.89 c #Conflicts: 951000 | #Constraints: 36047
2387.30/2399.89 c #Conflicts: 952000 | #Constraints: 37047
2387.30/2399.89 c #Conflicts: 953000 | #Constraints: 38047
2387.30/2399.89 c #Conflicts: 954000 | #Constraints: 39047
2387.30/2399.89 c #Conflicts: 955000 | #Constraints: 40047
2387.30/2399.89 c #Conflicts: 956000 | #Constraints: 41047
2387.30/2399.89 c #Conflicts: 957000 | #Constraints: 42047
2387.30/2399.89 c #Conflicts: 958000 | #Constraints: 43047
2387.30/2399.89 c #Conflicts: 959000 | #Constraints: 44047
2387.30/2399.89 c #Conflicts: 960000 | #Constraints: 45047
2387.30/2399.89 c #Conflicts: 961000 | #Constraints: 46047
2387.30/2399.89 c INPROCESSING
2387.30/2399.89 c GARBAGE COLLECT
2387.30/2399.89 c #Conflicts: 962000 | #Constraints: 27717
2387.30/2399.89 c #Conflicts: 963000 | #Constraints: 28717
2387.30/2399.89 c #Conflicts: 964000 | #Constraints: 29717
2387.30/2399.89 c #Conflicts: 965000 | #Constraints: 30717
2387.30/2399.89 c #Conflicts: 966000 | #Constraints: 31717
2387.30/2399.89 c #Conflicts: 967000 | #Constraints: 32717
2387.30/2399.89 c #Conflicts: 968000 | #Constraints: 33717
2387.30/2399.89 c #Conflicts: 969000 | #Constraints: 34717
2387.30/2399.89 c #Conflicts: 970000 | #Constraints: 35717
2387.30/2399.89 c #Conflicts: 971000 | #Constraints: 36717
2387.30/2399.89 c #Conflicts: 972000 | #Constraints: 37717
2387.30/2399.89 c #Conflicts: 973000 | #Constraints: 38717
2387.30/2399.89 c #Conflicts: 974000 | #Constraints: 39717
2387.30/2399.89 c #Conflicts: 975000 | #Constraints: 40717
2387.30/2399.89 c #Conflicts: 976000 | #Constraints: 41717
2387.30/2399.89 c #Conflicts: 977000 | #Constraints: 42717
2387.30/2399.89 c #Conflicts: 978000 | #Constraints: 43717
2387.30/2399.89 c #Conflicts: 979000 | #Constraints: 44717
2387.30/2399.89 c #Conflicts: 980000 | #Constraints: 45717
2387.30/2399.89 c #Conflicts: 981000 | #Constraints: 46717
2387.30/2399.89 c INPROCESSING
2387.30/2399.89 c GARBAGE COLLECT
2387.30/2399.89 c #Conflicts: 982000 | #Constraints: 28152
2387.30/2399.89 c #Conflicts: 983000 | #Constraints: 29152
2387.30/2399.89 c #Conflicts: 984000 | #Constraints: 30152
2387.30/2399.89 c #Conflicts: 985000 | #Constraints: 31152
2387.30/2399.89 c #Conflicts: 986000 | #Constraints: 32152
2387.30/2399.89 c #Conflicts: 987000 | #Constraints: 33152
2387.30/2399.89 c #Conflicts: 988000 | #Constraints: 34152
2387.30/2399.89 c #Conflicts: 989000 | #Constraints: 35152
2387.30/2399.89 c #Conflicts: 990000 | #Constraints: 36152
2387.30/2399.89 c #Conflicts: 991000 | #Constraints: 37152
2387.30/2399.89 c #Conflicts: 992000 | #Constraints: 38152
2387.30/2399.89 c #Conflicts: 993000 | #Constraints: 39152
2387.30/2399.89 c bounds - >= 292307712804470 @ 2365.79
2387.40/2399.96 c bounds - >= 292438784804470 @ 2365.85
2387.62/2400.13 c bounds - >= 292569856804470 @ 2366.02
2502.26/2515.21 c #Conflicts: 994000 | #Constraints: 40188
2502.26/2515.21 c #Conflicts: 995000 | #Constraints: 41188
2502.26/2515.21 c #Conflicts: 996000 | #Constraints: 42188
2502.26/2515.21 c #Conflicts: 997000 | #Constraints: 43188
2502.26/2515.21 c #Conflicts: 998000 | #Constraints: 44188
2502.26/2515.21 c #Conflicts: 999000 | #Constraints: 45188
2502.26/2515.21 c #Conflicts: 1000000 | #Constraints: 46188
2502.26/2515.21 c #Conflicts: 1001000 | #Constraints: 47188
2502.26/2515.21 c INPROCESSING
2502.26/2515.21 c GARBAGE COLLECT
2502.26/2515.21 c #Conflicts: 1002000 | #Constraints: 28404
2502.26/2515.21 c #Conflicts: 1003000 | #Constraints: 29404
2502.26/2515.21 c #Conflicts: 1004000 | #Constraints: 30404
2502.26/2515.21 c #Conflicts: 1005000 | #Constraints: 31404
2502.26/2515.21 c #Conflicts: 1006000 | #Constraints: 32404
2502.26/2515.21 c #Conflicts: 1007000 | #Constraints: 33404
2502.26/2515.21 c #Conflicts: 1008000 | #Constraints: 34404
2502.26/2515.21 c #Conflicts: 1009000 | #Constraints: 35404
2502.26/2515.21 c #Conflicts: 1010000 | #Constraints: 36404
2502.26/2515.21 c #Conflicts: 1011000 | #Constraints: 37404
2502.26/2515.21 c #Conflicts: 1012000 | #Constraints: 38404
2502.26/2515.21 c #Conflicts: 1013000 | #Constraints: 39404
2502.26/2515.21 c #Conflicts: 1014000 | #Constraints: 40404
2502.26/2515.21 c #Conflicts: 1015000 | #Constraints: 41404
2502.26/2515.21 c #Conflicts: 1016000 | #Constraints: 42404
2502.26/2515.21 c #Conflicts: 1017000 | #Constraints: 43404
2502.26/2515.21 c #Conflicts: 1018000 | #Constraints: 44404
2502.26/2515.21 c #Conflicts: 1019000 | #Constraints: 45404
2502.26/2515.21 c #Conflicts: 1020000 | #Constraints: 46404
2502.26/2515.21 c #Conflicts: 1021000 | #Constraints: 47404
2502.26/2515.21 c INPROCESSING
2502.26/2515.21 c GARBAGE COLLECT
2502.26/2515.21 c #Conflicts: 1022000 | #Constraints: 28419
2502.26/2515.21 c #Conflicts: 1023000 | #Constraints: 29419
2502.26/2515.21 c #Conflicts: 1024000 | #Constraints: 30419
2502.26/2515.21 c #Conflicts: 1025000 | #Constraints: 31419
2502.26/2515.21 c #Conflicts: 1026000 | #Constraints: 32419
2502.26/2515.21 c #Conflicts: 1027000 | #Constraints: 33419
2502.26/2515.21 c #Conflicts: 1028000 | #Constraints: 34419
2502.26/2515.21 c #Conflicts: 1029000 | #Constraints: 35419
2502.26/2515.21 c #Conflicts: 1030000 | #Constraints: 36419
2502.26/2515.21 c #Conflicts: 1031000 | #Constraints: 37419
2502.26/2515.21 c #Conflicts: 1032000 | #Constraints: 38419
2502.26/2515.21 c #Conflicts: 1033000 | #Constraints: 39419
2502.26/2515.21 c #Conflicts: 1034000 | #Constraints: 40419
2502.26/2515.21 c #Conflicts: 1035000 | #Constraints: 41419
2502.26/2515.21 c #Conflicts: 1036000 | #Constraints: 42419
2502.26/2515.21 c #Conflicts: 1037000 | #Constraints: 43419
2502.26/2515.21 c #Conflicts: 1038000 | #Constraints: 44419
2502.26/2515.21 c #Conflicts: 1039000 | #Constraints: 45419
2502.26/2515.21 c #Conflicts: 1040000 | #Constraints: 46419
2502.26/2515.21 c #Conflicts: 1041000 | #Constraints: 47419
2502.26/2515.21 c bounds - >= 292700928804470 @ 2479.84
2731.11/2744.96 c INPROCESSING
2731.11/2744.96 c GARBAGE COLLECT
2731.11/2744.96 c #Conflicts: 1042000 | #Constraints: 28245
2731.11/2744.96 c #Conflicts: 1043000 | #Constraints: 29245
2731.11/2744.96 c #Conflicts: 1044000 | #Constraints: 30245
2731.11/2744.96 c #Conflicts: 1045000 | #Constraints: 31245
2731.11/2744.96 c #Conflicts: 1046000 | #Constraints: 32245
2731.11/2744.96 c #Conflicts: 1047000 | #Constraints: 33245
2731.11/2744.96 c #Conflicts: 1048000 | #Constraints: 34245
2731.11/2744.96 c #Conflicts: 1049000 | #Constraints: 35245
2731.11/2744.96 c #Conflicts: 1050000 | #Constraints: 36245
2731.11/2744.96 c #Conflicts: 1051000 | #Constraints: 37245
2731.11/2744.96 c #Conflicts: 1052000 | #Constraints: 38245
2731.11/2744.96 c #Conflicts: 1053000 | #Constraints: 39245
2731.11/2744.96 c #Conflicts: 1054000 | #Constraints: 40245
2731.11/2744.96 c #Conflicts: 1055000 | #Constraints: 41245
2731.11/2744.96 c #Conflicts: 1056000 | #Constraints: 42245
2731.11/2744.96 c #Conflicts: 1057000 | #Constraints: 43245
2731.11/2744.96 c #Conflicts: 1058000 | #Constraints: 44245
2731.11/2744.96 c #Conflicts: 1059000 | #Constraints: 45245
2731.11/2744.96 c #Conflicts: 1060000 | #Constraints: 46245
2731.11/2744.96 c #Conflicts: 1061000 | #Constraints: 47245
2731.11/2744.96 c #Conflicts: 1062000 | #Constraints: 48245
2731.11/2744.96 c INPROCESSING
2731.11/2744.96 c GARBAGE COLLECT
2731.11/2744.96 c #Conflicts: 1063000 | #Constraints: 28838
2731.11/2744.96 c #Conflicts: 1064000 | #Constraints: 29838
2731.11/2744.96 c #Conflicts: 1065000 | #Constraints: 30838
2731.11/2744.96 c #Conflicts: 1066000 | #Constraints: 31838
2731.11/2744.96 c #Conflicts: 1067000 | #Constraints: 32838
2731.11/2744.96 c #Conflicts: 1068000 | #Constraints: 33838
2731.11/2744.96 c #Conflicts: 1069000 | #Constraints: 34838
2731.11/2744.96 c #Conflicts: 1070000 | #Constraints: 35838
2731.11/2744.96 c #Conflicts: 1071000 | #Constraints: 36838
2731.11/2744.96 c #Conflicts: 1072000 | #Constraints: 37838
2731.11/2744.96 c #Conflicts: 1073000 | #Constraints: 38838
2731.11/2744.96 c #Conflicts: 1074000 | #Constraints: 39838
2731.11/2744.96 c #Conflicts: 1075000 | #Constraints: 40838
2731.11/2744.96 c #Conflicts: 1076000 | #Constraints: 41838
2731.11/2744.96 c #Conflicts: 1077000 | #Constraints: 42838
2731.11/2744.96 c #Conflicts: 1078000 | #Constraints: 43838
2731.11/2744.96 c #Conflicts: 1079000 | #Constraints: 44838
2731.11/2744.96 c #Conflicts: 1080000 | #Constraints: 45838
2731.11/2744.96 c #Conflicts: 1081000 | #Constraints: 46838
2731.11/2744.96 c #Conflicts: 1082000 | #Constraints: 47838
2731.11/2744.96 c #Conflicts: 1083000 | #Constraints: 48838
2731.11/2744.96 c INPROCESSING
2731.11/2744.96 c GARBAGE COLLECT
2731.11/2744.96 c #Conflicts: 1084000 | #Constraints: 29235
2731.11/2744.96 c #Conflicts: 1085000 | #Constraints: 30235
2731.11/2744.96 c #Conflicts: 1086000 | #Constraints: 31235
2731.11/2744.96 c #Conflicts: 1087000 | #Constraints: 32235
2731.11/2744.96 c #Conflicts: 1088000 | #Constraints: 33235
2731.11/2744.96 c #Conflicts: 1089000 | #Constraints: 34235
2731.11/2744.96 c #Conflicts: 1090000 | #Constraints: 35235
2731.11/2744.96 c #Conflicts: 1091000 | #Constraints: 36235
2731.11/2744.96 c #Conflicts: 1092000 | #Constraints: 37235
2731.11/2744.96 c #Conflicts: 1093000 | #Constraints: 38235
2731.11/2744.96 c #Conflicts: 1094000 | #Constraints: 39235
2731.11/2744.96 c #Conflicts: 1095000 | #Constraints: 40235
2731.11/2744.96 c #Conflicts: 1096000 | #Constraints: 41235
2731.11/2744.96 c #Conflicts: 1097000 | #Constraints: 42235
2731.11/2744.96 c #Conflicts: 1098000 | #Constraints: 43235
2731.11/2744.96 c #Conflicts: 1099000 | #Constraints: 44235
2731.11/2744.96 c #Conflicts: 1100000 | #Constraints: 45235
2731.11/2744.96 c #Conflicts: 1101000 | #Constraints: 46235
2731.11/2744.96 c #Conflicts: 1102000 | #Constraints: 47235
2731.11/2744.96 c #Conflicts: 1103000 | #Constraints: 48235
2731.11/2744.96 c #Conflicts: 1104000 | #Constraints: 49235
2731.11/2744.96 c INPROCESSING
2731.11/2744.96 c GARBAGE COLLECT
2731.11/2744.96 c #Conflicts: 1105000 | #Constraints: 29437
2731.11/2744.96 c #Conflicts: 1106000 | #Constraints: 30437
2731.11/2744.96 c #Conflicts: 1107000 | #Constraints: 31437
2731.11/2744.96 c #Conflicts: 1108000 | #Constraints: 32437
2731.11/2744.96 c #Conflicts: 1109000 | #Constraints: 33437
2731.11/2744.96 c #Conflicts: 1110000 | #Constraints: 34437
2731.11/2744.96 c #Conflicts: 1111000 | #Constraints: 35437
2731.11/2744.96 c #Conflicts: 1112000 | #Constraints: 36437
2731.11/2744.96 c #Conflicts: 1113000 | #Constraints: 37437
2731.11/2744.96 c #Conflicts: 1114000 | #Constraints: 38438
2731.11/2744.96 c #Conflicts: 1115000 | #Constraints: 39438
2731.11/2744.96 c #Conflicts: 1116000 | #Constraints: 40438
2731.11/2744.96 c #Conflicts: 1117000 | #Constraints: 41439
2731.11/2744.96 c #Conflicts: 1118000 | #Constraints: 42439
2988.49/3003.65 c #Conflicts: 1119000 | #Constraints: 43439
2988.49/3003.65 c #Conflicts: 1120000 | #Constraints: 44439
2988.49/3003.65 c #Conflicts: 1121000 | #Constraints: 45439
2988.49/3003.65 c #Conflicts: 1122000 | #Constraints: 46439
2988.49/3003.65 c #Conflicts: 1123000 | #Constraints: 47439
2988.49/3003.65 c #Conflicts: 1124000 | #Constraints: 48439
2988.49/3003.65 c #Conflicts: 1125000 | #Constraints: 49439
2988.49/3003.65 c INPROCESSING
2988.49/3003.65 c GARBAGE COLLECT
2988.49/3003.65 c #Conflicts: 1126000 | #Constraints: 29158
2988.49/3003.65 c #Conflicts: 1127000 | #Constraints: 30158
2988.49/3003.65 c #Conflicts: 1128000 | #Constraints: 31158
2988.49/3003.65 c #Conflicts: 1129000 | #Constraints: 32158
2988.49/3003.65 c #Conflicts: 1130000 | #Constraints: 33158
2988.49/3003.65 c #Conflicts: 1131000 | #Constraints: 34158
2988.49/3003.65 c #Conflicts: 1132000 | #Constraints: 35158
2988.49/3003.65 c #Conflicts: 1133000 | #Constraints: 36158
2988.49/3003.65 c #Conflicts: 1134000 | #Constraints: 37158
2988.49/3003.65 c #Conflicts: 1135000 | #Constraints: 38158
2988.49/3003.65 c #Conflicts: 1136000 | #Constraints: 39158
2988.49/3003.65 c #Conflicts: 1137000 | #Constraints: 40158
2988.49/3003.65 c #Conflicts: 1138000 | #Constraints: 41158
2988.49/3003.65 c #Conflicts: 1139000 | #Constraints: 42158
2988.49/3003.65 c #Conflicts: 1140000 | #Constraints: 43158
2988.49/3003.65 c #Conflicts: 1141000 | #Constraints: 44158
2988.49/3003.65 c #Conflicts: 1142000 | #Constraints: 45158
2988.49/3003.65 c #Conflicts: 1143000 | #Constraints: 46158
2988.49/3003.65 c #Conflicts: 1144000 | #Constraints: 47158
2988.49/3003.65 c #Conflicts: 1145000 | #Constraints: 48158
2988.49/3003.65 c #Conflicts: 1146000 | #Constraints: 49158
2988.49/3003.65 c INPROCESSING
2988.49/3003.65 c GARBAGE COLLECT
2988.49/3003.65 c #Conflicts: 1147000 | #Constraints: 29089
2988.49/3003.65 c #Conflicts: 1148000 | #Constraints: 30089
2988.49/3003.65 c #Conflicts: 1149000 | #Constraints: 31089
2988.49/3003.65 c #Conflicts: 1150000 | #Constraints: 32089
2988.49/3003.65 c #Conflicts: 1151000 | #Constraints: 33089
2988.49/3003.65 c #Conflicts: 1152000 | #Constraints: 34089
2988.49/3003.65 c #Conflicts: 1153000 | #Constraints: 35089
2988.49/3003.65 c #Conflicts: 1154000 | #Constraints: 36089
2988.49/3003.65 c #Conflicts: 1155000 | #Constraints: 37089
2988.49/3003.65 c #Conflicts: 1156000 | #Constraints: 38089
2988.49/3003.65 c #Conflicts: 1157000 | #Constraints: 39089
2988.49/3003.65 c #Conflicts: 1158000 | #Constraints: 40089
2988.49/3003.65 c #Conflicts: 1159000 | #Constraints: 41089
2988.49/3003.65 c #Conflicts: 1160000 | #Constraints: 42089
2988.49/3003.65 c #Conflicts: 1161000 | #Constraints: 43089
2988.49/3003.65 c #Conflicts: 1162000 | #Constraints: 44089
2988.49/3003.65 c #Conflicts: 1163000 | #Constraints: 45089
2988.49/3003.65 c #Conflicts: 1164000 | #Constraints: 46089
2988.49/3003.65 c #Conflicts: 1165000 | #Constraints: 47089
2988.49/3003.65 c #Conflicts: 1166000 | #Constraints: 48089
2988.49/3003.65 c #Conflicts: 1167000 | #Constraints: 49089
2988.49/3003.65 c #Conflicts: 1168000 | #Constraints: 50089
2988.49/3003.65 c INPROCESSING
2988.49/3003.65 c GARBAGE COLLECT
2988.49/3003.65 c #Conflicts: 1169000 | #Constraints: 29754
2988.49/3003.65 c #Conflicts: 1170000 | #Constraints: 30754
2988.49/3003.65 c #Conflicts: 1171000 | #Constraints: 31754
2988.49/3003.65 c #Conflicts: 1172000 | #Constraints: 32754
2988.49/3003.65 c #Conflicts: 1173000 | #Constraints: 33754
2988.49/3003.65 c #Conflicts: 1174000 | #Constraints: 34754
2988.49/3003.65 c #Conflicts: 1175000 | #Constraints: 35754
2988.49/3003.65 c #Conflicts: 1176000 | #Constraints: 36754
2988.49/3003.65 c #Conflicts: 1177000 | #Constraints: 37754
2988.49/3003.65 c #Conflicts: 1178000 | #Constraints: 38754
2988.49/3003.65 c #Conflicts: 1179000 | #Constraints: 39754
2988.49/3003.65 c #Conflicts: 1180000 | #Constraints: 40754
2988.49/3003.65 c #Conflicts: 1181000 | #Constraints: 41754
2988.49/3003.65 c #Conflicts: 1182000 | #Constraints: 42754
2988.49/3003.65 c #Conflicts: 1183000 | #Constraints: 43754
2988.49/3003.65 c #Conflicts: 1184000 | #Constraints: 44754
2988.49/3003.65 c #Conflicts: 1185000 | #Constraints: 45754
2988.49/3003.65 c #Conflicts: 1186000 | #Constraints: 46754
2988.49/3003.65 c #Conflicts: 1187000 | #Constraints: 47754
2988.49/3003.65 c #Conflicts: 1188000 | #Constraints: 48754
2988.49/3003.65 c #Conflicts: 1189000 | #Constraints: 49754
2988.49/3003.65 c #Conflicts: 1190000 | #Constraints: 50754
2988.49/3003.65 c INPROCESSING
2988.49/3003.65 c GARBAGE COLLECT
2988.49/3003.65 c #Conflicts: 1191000 | #Constraints: 30187
2988.49/3003.65 c #Conflicts: 1192000 | #Constraints: 31187
2988.49/3003.65 c #Conflicts: 1193000 | #Constraints: 32187
2988.49/3003.65 c #Conflicts: 1194000 | #Constraints: 33187
3178.04/3194.70 c #Conflicts: 1195000 | #Constraints: 34187
3178.04/3194.70 c #Conflicts: 1196000 | #Constraints: 35187
3178.04/3194.70 c #Conflicts: 1197000 | #Constraints: 36187
3178.04/3194.70 c #Conflicts: 1198000 | #Constraints: 37187
3178.04/3194.70 c #Conflicts: 1199000 | #Constraints: 38187
3178.04/3194.70 c #Conflicts: 1200000 | #Constraints: 39187
3178.04/3194.70 c #Conflicts: 1201000 | #Constraints: 40187
3178.04/3194.70 c #Conflicts: 1202000 | #Constraints: 41187
3178.04/3194.70 c #Conflicts: 1203000 | #Constraints: 42187
3178.04/3194.70 c #Conflicts: 1204000 | #Constraints: 43187
3178.04/3194.70 c #Conflicts: 1205000 | #Constraints: 44187
3178.04/3194.70 c #Conflicts: 1206000 | #Constraints: 45187
3178.04/3194.70 c #Conflicts: 1207000 | #Constraints: 46187
3178.04/3194.70 c #Conflicts: 1208000 | #Constraints: 47187
3178.04/3194.70 c #Conflicts: 1209000 | #Constraints: 48187
3178.04/3194.70 c #Conflicts: 1210000 | #Constraints: 49187
3178.04/3194.70 c #Conflicts: 1211000 | #Constraints: 50187
3178.04/3194.70 c #Conflicts: 1212000 | #Constraints: 51187
3178.04/3194.70 c INPROCESSING
3178.04/3194.70 c GARBAGE COLLECT
3178.04/3194.70 c #Conflicts: 1213000 | #Constraints: 30408
3178.04/3194.70 c #Conflicts: 1214000 | #Constraints: 31408
3178.04/3194.70 c #Conflicts: 1215000 | #Constraints: 32408
3178.04/3194.70 c #Conflicts: 1216000 | #Constraints: 33408
3178.04/3194.70 c #Conflicts: 1217000 | #Constraints: 34408
3178.04/3194.70 c #Conflicts: 1218000 | #Constraints: 35408
3178.04/3194.70 c #Conflicts: 1219000 | #Constraints: 36408
3178.04/3194.70 c #Conflicts: 1220000 | #Constraints: 37408
3178.04/3194.70 c #Conflicts: 1221000 | #Constraints: 38408
3178.04/3194.70 c #Conflicts: 1222000 | #Constraints: 39408
3178.04/3194.70 c #Conflicts: 1223000 | #Constraints: 40408
3178.04/3194.70 c #Conflicts: 1224000 | #Constraints: 41408
3178.04/3194.70 c #Conflicts: 1225000 | #Constraints: 42408
3178.04/3194.70 c #Conflicts: 1226000 | #Constraints: 43408
3178.04/3194.70 c #Conflicts: 1227000 | #Constraints: 44408
3178.04/3194.70 c #Conflicts: 1228000 | #Constraints: 45408
3178.04/3194.70 c #Conflicts: 1229000 | #Constraints: 46408
3178.04/3194.70 c #Conflicts: 1230000 | #Constraints: 47408
3178.04/3194.70 c #Conflicts: 1231000 | #Constraints: 48408
3178.04/3194.70 c #Conflicts: 1232000 | #Constraints: 49408
3178.04/3194.70 c #Conflicts: 1233000 | #Constraints: 50408
3178.04/3194.70 c #Conflicts: 1234000 | #Constraints: 51408
3178.04/3194.70 c INPROCESSING
3178.04/3194.70 c GARBAGE COLLECT
3178.04/3194.70 c #Conflicts: 1235000 | #Constraints: 30414
3178.04/3194.70 c #Conflicts: 1236000 | #Constraints: 31414
3178.04/3194.70 c #Conflicts: 1237000 | #Constraints: 32414
3178.04/3194.70 c #Conflicts: 1238000 | #Constraints: 33414
3178.04/3194.70 c #Conflicts: 1239000 | #Constraints: 34414
3178.04/3194.70 c #Conflicts: 1240000 | #Constraints: 35414
3178.04/3194.70 c #Conflicts: 1241000 | #Constraints: 36414
3178.04/3194.70 c #Conflicts: 1242000 | #Constraints: 37414
3178.04/3194.70 c #Conflicts: 1243000 | #Constraints: 38414
3178.04/3194.70 c #Conflicts: 1244000 | #Constraints: 39414
3178.04/3194.70 c #Conflicts: 1245000 | #Constraints: 40414
3178.04/3194.70 c #Conflicts: 1246000 | #Constraints: 41414
3178.04/3194.70 c #Conflicts: 1247000 | #Constraints: 42414
3178.04/3194.70 c #Conflicts: 1248000 | #Constraints: 43414
3178.04/3194.70 c #Conflicts: 1249000 | #Constraints: 44414
3178.04/3194.70 c #Conflicts: 1250000 | #Constraints: 45414
3178.04/3194.70 c #Conflicts: 1251000 | #Constraints: 46414
3178.04/3194.70 c #Conflicts: 1252000 | #Constraints: 47414
3178.04/3194.70 c #Conflicts: 1253000 | #Constraints: 48414
3178.04/3194.70 c #Conflicts: 1254000 | #Constraints: 49414
3178.04/3194.70 c #Conflicts: 1255000 | #Constraints: 50414
3178.04/3194.70 c #Conflicts: 1256000 | #Constraints: 51414
3178.04/3194.70 c INPROCESSING
3178.04/3194.70 c GARBAGE COLLECT
3178.04/3194.70 c #Conflicts: 1257000 | #Constraints: 30217
3178.04/3194.70 c #Conflicts: 1258000 | #Constraints: 31217
3178.04/3194.70 c #Conflicts: 1259000 | #Constraints: 32217
3178.04/3194.70 c #Conflicts: 1260000 | #Constraints: 33217
3178.04/3194.70 c #Conflicts: 1261000 | #Constraints: 34217
3178.04/3194.70 c #Conflicts: 1262000 | #Constraints: 35217
3178.04/3194.70 c #Conflicts: 1263000 | #Constraints: 36217
3178.04/3194.70 c #Conflicts: 1264000 | #Constraints: 37217
3178.04/3194.70 c #Conflicts: 1265000 | #Constraints: 38217
3178.04/3194.70 c #Conflicts: 1266000 | #Constraints: 39217
3178.04/3194.70 c #Conflicts: 1267000 | #Constraints: 40217
3178.04/3194.70 c #Conflicts: 1268000 | #Constraints: 41217
3178.04/3194.70 c #Conflicts: 1269000 | #Constraints: 42217
3178.04/3194.70 c #Conflicts: 1270000 | #Constraints: 43217
3178.04/3194.70 c #Conflicts: 1271000 | #Constraints: 44217
3358.87/3376.14 c #Conflicts: 1272000 | #Constraints: 45217
3358.87/3376.14 c #Conflicts: 1273000 | #Constraints: 46217
3358.87/3376.14 c #Conflicts: 1274000 | #Constraints: 47217
3358.87/3376.14 c #Conflicts: 1275000 | #Constraints: 48217
3358.87/3376.14 c #Conflicts: 1276000 | #Constraints: 49217
3358.87/3376.14 c #Conflicts: 1277000 | #Constraints: 50217
3358.87/3376.14 c #Conflicts: 1278000 | #Constraints: 51217
3358.87/3376.14 c #Conflicts: 1279000 | #Constraints: 52217
3358.87/3376.14 c INPROCESSING
3358.87/3376.14 c GARBAGE COLLECT
3358.87/3376.14 c #Conflicts: 1280000 | #Constraints: 30818
3358.87/3376.14 c #Conflicts: 1281000 | #Constraints: 31818
3358.87/3376.14 c #Conflicts: 1282000 | #Constraints: 32818
3358.87/3376.14 c #Conflicts: 1283000 | #Constraints: 33818
3358.87/3376.14 c #Conflicts: 1284000 | #Constraints: 34818
3358.87/3376.14 c #Conflicts: 1285000 | #Constraints: 35818
3358.87/3376.14 c #Conflicts: 1286000 | #Constraints: 36818
3358.87/3376.14 c #Conflicts: 1287000 | #Constraints: 37818
3358.87/3376.14 c #Conflicts: 1288000 | #Constraints: 38818
3358.87/3376.14 c #Conflicts: 1289000 | #Constraints: 39818
3358.87/3376.14 c #Conflicts: 1290000 | #Constraints: 40818
3358.87/3376.14 c #Conflicts: 1291000 | #Constraints: 41818
3358.87/3376.14 c #Conflicts: 1292000 | #Constraints: 42818
3358.87/3376.14 c #Conflicts: 1293000 | #Constraints: 43818
3358.87/3376.14 c #Conflicts: 1294000 | #Constraints: 44818
3358.87/3376.14 c #Conflicts: 1295000 | #Constraints: 45818
3358.87/3376.14 c #Conflicts: 1296000 | #Constraints: 46818
3358.87/3376.14 c #Conflicts: 1297000 | #Constraints: 47818
3358.87/3376.14 c #Conflicts: 1298000 | #Constraints: 48818
3358.87/3376.14 c #Conflicts: 1299000 | #Constraints: 49818
3358.87/3376.14 c #Conflicts: 1300000 | #Constraints: 50818
3358.87/3376.14 c #Conflicts: 1301000 | #Constraints: 51818
3358.87/3376.14 c #Conflicts: 1302000 | #Constraints: 52818
3358.87/3376.14 c INPROCESSING
3358.87/3376.14 c GARBAGE COLLECT
3358.87/3376.14 c #Conflicts: 1303000 | #Constraints: 31224
3358.87/3376.14 c #Conflicts: 1304000 | #Constraints: 32224
3358.87/3376.14 c #Conflicts: 1305000 | #Constraints: 33224
3358.87/3376.14 c #Conflicts: 1306000 | #Constraints: 34224
3358.87/3376.14 c #Conflicts: 1307000 | #Constraints: 35224
3358.87/3376.14 c #Conflicts: 1308000 | #Constraints: 36224
3358.87/3376.14 c #Conflicts: 1309000 | #Constraints: 37224
3358.87/3376.14 c #Conflicts: 1310000 | #Constraints: 38224
3358.87/3376.14 c #Conflicts: 1311000 | #Constraints: 39224
3358.87/3376.14 c #Conflicts: 1312000 | #Constraints: 40224
3358.87/3376.14 c #Conflicts: 1313000 | #Constraints: 41224
3358.87/3376.14 c #Conflicts: 1314000 | #Constraints: 42224
3358.87/3376.14 c #Conflicts: 1315000 | #Constraints: 43224
3358.87/3376.14 c #Conflicts: 1316000 | #Constraints: 44224
3358.87/3376.14 c #Conflicts: 1317000 | #Constraints: 45224
3358.87/3376.14 c #Conflicts: 1318000 | #Constraints: 46224
3358.87/3376.14 c #Conflicts: 1319000 | #Constraints: 47224
3358.87/3376.14 c #Conflicts: 1320000 | #Constraints: 48224
3358.87/3376.14 c #Conflicts: 1321000 | #Constraints: 49224
3358.87/3376.14 c #Conflicts: 1322000 | #Constraints: 50224
3358.87/3376.14 c #Conflicts: 1323000 | #Constraints: 51224
3358.87/3376.14 c #Conflicts: 1324000 | #Constraints: 52224
3358.87/3376.14 c #Conflicts: 1325000 | #Constraints: 53224
3358.87/3376.14 c INPROCESSING
3358.87/3376.14 c GARBAGE COLLECT
3358.87/3376.14 c #Conflicts: 1326000 | #Constraints: 31428
3358.87/3376.14 c #Conflicts: 1327000 | #Constraints: 32428
3358.87/3376.14 c #Conflicts: 1328000 | #Constraints: 33428
3358.87/3376.14 c #Conflicts: 1329000 | #Constraints: 34428
3358.87/3376.14 c #Conflicts: 1330000 | #Constraints: 35428
3358.87/3376.14 c #Conflicts: 1331000 | #Constraints: 36428
3358.87/3376.14 c #Conflicts: 1332000 | #Constraints: 37428
3358.87/3376.14 c #Conflicts: 1333000 | #Constraints: 38428
3358.87/3376.14 c #Conflicts: 1334000 | #Constraints: 39428
3358.87/3376.14 c #Conflicts: 1335000 | #Constraints: 40428
3358.87/3376.14 c #Conflicts: 1336000 | #Constraints: 41428
3358.87/3376.14 c #Conflicts: 1337000 | #Constraints: 42428
3358.87/3376.14 c #Conflicts: 1338000 | #Constraints: 43428
3358.87/3376.14 c #Conflicts: 1339000 | #Constraints: 44428
3358.87/3376.14 c #Conflicts: 1340000 | #Constraints: 45428
3358.87/3376.14 c #Conflicts: 1341000 | #Constraints: 46428
3358.87/3376.14 c #Conflicts: 1342000 | #Constraints: 47428
3358.87/3376.14 c #Conflicts: 1343000 | #Constraints: 48428
3358.87/3376.14 c #Conflicts: 1344000 | #Constraints: 49428
3358.87/3376.14 c #Conflicts: 1345000 | #Constraints: 50428
3358.87/3376.14 c #Conflicts: 1346000 | #Constraints: 51428
3358.87/3376.14 c #Conflicts: 1347000 | #Constraints: 52428
3358.87/3376.14 c #Conflicts: 1348000 | #Constraints: 53428
3600.06/3618.92 c INPROCESSING
3600.06/3618.92 c GARBAGE COLLECT
3600.06/3618.92 c #Conflicts: 1349000 | #Constraints: 31429
3600.06/3618.92 c #Conflicts: 1350000 | #Constraints: 32429
3600.06/3618.92 c #Conflicts: 1351000 | #Constraints: 33429
3600.06/3618.92 c #Conflicts: 1352000 | #Constraints: 34429
3600.06/3618.92 c #Conflicts: 1353000 | #Constraints: 35429
3600.06/3618.92 c #Conflicts: 1354000 | #Constraints: 36429
3600.06/3618.92 c #Conflicts: 1355000 | #Constraints: 37429
3600.06/3618.92 c #Conflicts: 1356000 | #Constraints: 38429
3600.06/3618.92 c #Conflicts: 1357000 | #Constraints: 39429
3600.06/3618.92 c #Conflicts: 1358000 | #Constraints: 40429
3600.06/3618.92 c #Conflicts: 1359000 | #Constraints: 41429
3600.06/3618.92 c #Conflicts: 1360000 | #Constraints: 42429
3600.06/3618.92 c #Conflicts: 1361000 | #Constraints: 43429
3600.06/3618.92 c #Conflicts: 1362000 | #Constraints: 44429
3600.06/3618.92 c #Conflicts: 1363000 | #Constraints: 45429
3600.06/3618.92 c #Conflicts: 1364000 | #Constraints: 46429
3600.06/3618.92 c #Conflicts: 1365000 | #Constraints: 47429
3600.06/3618.92 c #Conflicts: 1366000 | #Constraints: 48429
3600.06/3618.92 c #Conflicts: 1367000 | #Constraints: 49429
3600.06/3618.92 c #Conflicts: 1368000 | #Constraints: 50429
3600.06/3618.92 c #Conflicts: 1369000 | #Constraints: 51429
3600.06/3618.92 c #Conflicts: 1370000 | #Constraints: 52429
3600.06/3618.92 c #Conflicts: 1371000 | #Constraints: 53429
3600.06/3618.92 c INPROCESSING
3600.06/3618.92 c GARBAGE COLLECT
3600.06/3618.92 c #Conflicts: 1372000 | #Constraints: 31230
3600.06/3618.92 c #Conflicts: 1373000 | #Constraints: 32230
3600.06/3618.92 c #Conflicts: 1374000 | #Constraints: 33230
3600.06/3618.92 c #Conflicts: 1375000 | #Constraints: 34230
3600.06/3618.92 c #Conflicts: 1376000 | #Constraints: 35230
3600.06/3618.92 c #Conflicts: 1377000 | #Constraints: 36230
3600.06/3618.92 c #Conflicts: 1378000 | #Constraints: 37230
3600.06/3618.92 c #Conflicts: 1379000 | #Constraints: 38230
3600.06/3618.92 c #Conflicts: 1380000 | #Constraints: 39230
3600.06/3618.92 c #Conflicts: 1381000 | #Constraints: 40230
3600.06/3618.92 c #Conflicts: 1382000 | #Constraints: 41230
3600.06/3618.92 c #Conflicts: 1383000 | #Constraints: 42230
3600.06/3618.92 c #Conflicts: 1384000 | #Constraints: 43230
3600.06/3618.92 c #Conflicts: 1385000 | #Constraints: 44230
3600.06/3618.92 c #Conflicts: 1386000 | #Constraints: 45230
3600.06/3618.92 c #Conflicts: 1387000 | #Constraints: 46230
3600.06/3618.92 c #Conflicts: 1388000 | #Constraints: 47230
3600.06/3618.92 c #Conflicts: 1389000 | #Constraints: 48230
3600.06/3618.92 c #Conflicts: 1390000 | #Constraints: 49230
3600.06/3618.92 c #Conflicts: 1391000 | #Constraints: 50230
3600.06/3618.92 c #Conflicts: 1392000 | #Constraints: 51230
3600.06/3618.92 c #Conflicts: 1393000 | #Constraints: 52230
3600.06/3618.92 c #Conflicts: 1394000 | #Constraints: 53230
3600.06/3618.92 c #Conflicts: 1395000 | #Constraints: 54230
3600.06/3618.92 c INPROCESSING
3600.06/3618.92 c GARBAGE COLLECT
3600.06/3618.92 c #Conflicts: 1396000 | #Constraints: 31835
3600.06/3618.92 c #Conflicts: 1397000 | #Constraints: 32835
3600.06/3618.92 c #Conflicts: 1398000 | #Constraints: 33835
3600.06/3618.92 c #Conflicts: 1399000 | #Constraints: 34835
3600.06/3618.92 c #Conflicts: 1400000 | #Constraints: 35835
3600.06/3618.92 c #Conflicts: 1401000 | #Constraints: 36835
3600.06/3618.92 c #Conflicts: 1402000 | #Constraints: 37835
3600.06/3618.92 c #Conflicts: 1403000 | #Constraints: 38835
3600.06/3618.92 c #Conflicts: 1404000 | #Constraints: 39835
3600.06/3618.92 c #Conflicts: 1405000 | #Constraints: 40835
3600.06/3618.92 c #Conflicts: 1406000 | #Constraints: 41835
3600.06/3618.92 c #Conflicts: 1407000 | #Constraints: 42835
3600.06/3618.92 c #Conflicts: 1408000 | #Constraints: 43835
3600.06/3618.92 c #Conflicts: 1409000 | #Constraints: 44835
3600.06/3618.92 c #Conflicts: 1410000 | #Constraints: 45835
3600.06/3618.92 c #Conflicts: 1411000 | #Constraints: 46835
3600.06/3618.92 c #Conflicts: 1412000 | #Constraints: 47835
3600.06/3618.92 c #Conflicts: 1413000 | #Constraints: 48835
3600.06/3618.92 c #Conflicts: 1414000 | #Constraints: 49835
3600.06/3618.92 c #Conflicts: 1415000 | #Constraints: 50835
3600.06/3618.92 c #Conflicts: 1416000 | #Constraints: 51835
3600.06/3618.92 c #Conflicts: 1417000 | #Constraints: 52835
3600.06/3618.92 c #Conflicts: 1418000 | #Constraints: 53835
3600.06/3618.92 c #Conflicts: 1419000 | #Constraints: 54835
3600.06/3618.92 c INPROCESSING
3600.06/3618.92 c GARBAGE COLLECT
3600.06/3618.92 c #Conflicts: 1420000 | #Constraints: 32235
3600.06/3618.92 c #Conflicts: 1421000 | #Constraints: 33235
3600.06/3618.92 c #Conflicts: 1422000 | #Constraints: 34235
3600.06/3618.92 c #Conflicts: 1423000 | #Constraints: 35235
3600.06/3618.92 c Disabling crashed LP
3600.06/3618.92 c cpu time 3570.39 s
3600.06/3618.92 c deterministic time 343769190911 3.44e+11
3600.06/3618.92 c optimization time 18.1265 s
3600.06/3618.92 c total solve time 3551.2 s
3600.06/3618.92 c core-guided solve time 1449.35 s
3600.06/3618.92 c propagation time 1936.66 s
3600.06/3618.92 c conflict analysis time 183.109 s
3600.06/3618.92 c propagations 42141843
3600.06/3618.92 c resolve steps 4583218
3600.06/3618.92 c decisions 3415502
3600.06/3618.92 c conflicts 1423510
3600.06/3618.92 c restarts 2755
3600.06/3618.92 c inprocessing phases 110
3600.06/3618.92 c garbage collections 110 ,( 100.00 )
3600.06/3618.92 c input clauses 3322 ,( 38.39 )
3600.06/3618.92 c input cardinalities 668 ,( 7.72 )
3600.06/3618.92 c input general constraints 4664 ,( 53.89 )
3600.06/3618.92 c input average constraint length 289.51
3600.06/3618.92 c input average constraint degree 33054148492214.18
3600.06/3618.92 c learned clauses 462597 ,( 32.50 )
3600.06/3618.92 c learned cardinalities 147 ,( 0.01 )
3600.06/3618.92 c learned general constraints 960824 ,( 67.49 )
3600.06/3618.92 c learned average constraint length 113.36
3600.06/3618.92 c learned average constraint degree 1073992136.84
3600.06/3618.92 c watched CF 32, 64, 128, Arb: 142452 , 0 , 0 , 0
3600.06/3618.92 c counting CF 32, 64, 128, Arb: 819781 , 3256 , 0 , 0
3600.06/3618.92 c watched constraints 142452 ,( 14.75 )
3600.06/3618.92 c counting constraints 823036 ,( 85.25 )
3600.06/3618.92 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 38804473 , 249527 , 11483919726 ,( 37140980 , 11446778746 )
3600.06/3618.92 c gcd simplifications 581750
3600.06/3618.92 c detected cardinalities 453
3600.06/3618.92 c weakened non-implied lits 33682908
3600.06/3618.92 c weakened non-implying lits 2337499
3600.06/3618.92 c original variables 155191
3600.06/3618.92 c clausal propagations 287483
3600.06/3618.92 c cardinality propagations 134588
3600.06/3618.92 c watched propagations 320684
3600.06/3618.92 c counting propagations 39015541
3600.06/3618.92 c watch lookups 13177790391
3600.06/3618.92 c watch backjump lookups 0
3600.06/3618.92 c watch checks 1039213168
3600.06/3618.92 c propagation checks 328543221899
3600.06/3618.92 c constraint additions 913647043
3600.06/3618.92 c trail pops 46902984
3600.06/3618.92 c formula constraints 7579
3600.06/3618.92 c learned constraints 1423519
3600.06/3618.92 c bound constraints 195
3600.06/3618.92 c core-guided constraints 880
3600.06/3618.92 c encountered formula constraints 3827229
3600.06/3618.92 c encountered learned constraints 2143421
3600.06/3618.92 c encountered bound constraints 0
3600.06/3618.92 c encountered core-guided constraints 14734
3600.06/3618.92 c LP total time 2478.79 s
3600.06/3618.92 c LP solve time 2477.13 s
3600.06/3618.92 c LP constraints added 7579
3600.06/3618.92 c LP constraints removed 0
3600.06/3618.92 c LP pivots internal 1423510
3600.06/3618.92 c LP pivots root 1434570
3600.06/3618.92 c LP calls 154
3600.06/3618.92 c LP optimalities 0
3600.06/3618.92 c LP no pivot count 0
3600.06/3618.92 c LP infeasibilities 87
3600.06/3618.92 c LP valid Farkas constraints 27
3600.06/3618.92 c LP learned Farkas constraints 22
3600.06/3618.92 c LP basis resets 83
3600.06/3618.92 c LP cycling count 0
3600.06/3618.92 c LP singular count 60
3600.06/3618.92 c LP no primal count 0
3600.06/3618.92 c LP no farkas count 23
3600.06/3618.92 c LP other issue count 0
3600.06/3618.92 c LP Gomory cuts 0
3600.06/3618.92 c LP learned cuts 0
3600.06/3618.92 c LP deleted cuts 0
3600.06/3618.92 c LP encountered Gomory constraints 0
3600.06/3618.92 c LP encountered Farkas constraints 21250
3600.06/3618.92 c LP encountered learned Farkas constraints 72
3600.06/3618.92 c CG auxiliary variables introduced 372
3600.06/3618.92 c CG solutions found 0
3600.06/3618.92 c CG cores constructed 195
3600.06/3618.92 c CG core cardinality constraints returned 0
3600.06/3618.92 c CG unit cores 8
3600.06/3618.92 c CG single cores 174
3600.06/3618.92 c CG blocks removed during cardinality reduction 544
3600.06/3618.92 c CG first core best 1
3600.06/3618.92 c CG decision core best 7
3600.06/3618.92 c CG core reduction tie 5
3600.06/3618.92 c CG core degree average 1.00
3600.06/3618.92 c CG core slack average 7.77
3600.06/3618.92 c CG core upper bound improvements 0
3600.06/3618.92 c STR number of successful calls 0
3600.06/3618.92 c STR number of unsuccessful calls 0
3600.06/3618.92 c STR number of inconclusive calls 0
3600.06/3618.92 c STR number of successful attempts 0
3600.06/3618.92 c STR number of unsuccessful attempts 0
3600.06/3618.92 c STR number of inconclusive attempts 0
3600.06/3618.92 c STR average degree increase per successful call inf
3600.06/3618.92 c STR average degree increase per successful attempt inf
3600.06/3618.92 c STR total number of conflicts for successful attempts 0
3600.06/3618.92 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3618.92 c STR total number of conflicts for inconclusive attempts 0
3600.06/3618.92 c STR average number of conflicts per successful attempt inf
3600.06/3618.92 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3618.92 c STR average number of conflicts per inconclusive attempt inf
3600.06/3618.92 c AVG.sumWPerc 82.44
3600.06/3618.92 c bigint constraints 3256
3600.06/3618.92 s UNKNOWN
3600.06/3618.92 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62809 MiB free)
memory of node 1: 64507 MiB (63446 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485739-1751309079/watcher-4485739-1751309079 -o /tmp/evaluation-result-4485739-1751309079/solver-4485739-1751309079 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751305434-42087 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4485739-1751309079.opb PROOFDIR/proof-4485739-1751309079
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=42647, runsolver pid=42644
[startup+0.100101 s]*
/proc/loadavg: 4.30 4.22 4.22 5/276 42649
/proc/meminfo: memFree=129278372/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42649] ppid=42647 vsize=28224 memory=20720 CPUtime=0.09 cores=4,6
/proc/42649/stat : 42649 (pbsuma) R 42647 42647 42076 0 -1 4194304 4111 0 0 0 8 1 0 0 20 0 1 0 46587312 28901376 5180 18446744073709551615 4210688 4653049 140736960543408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 35700736 140736960547043 140736960547378 140736960547378 140736960552943 0
/proc/42649/statm: 7056 5180 928 108 0 4464 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32416 KiB
Current children cumulated memory: 23792 KiB
[startup+0.214643 s]*
/proc/loadavg: 4.27 4.21 4.22 5/276 42649
/proc/meminfo: memFree=129264448/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42649] ppid=42647 vsize=41888 memory=32176 CPUtime=0.2 cores=4,6
/proc/42649/stat : 42649 (pbsuma) R 42647 42647 42076 0 -1 4194304 7599 0 0 0 18 2 0 0 20 0 1 0 46587312 42893312 8044 18446744073709551615 4210688 4653049 140736960543408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 35700736 140736960547043 140736960547378 140736960547378 140736960552943 0
/proc/42649/statm: 10472 8044 928 108 0 7880 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46080 KiB
Current children cumulated memory: 35248 KiB
[startup+0.314303 s]*
/proc/loadavg: 4.27 4.21 4.22 5/276 42649
/proc/meminfo: memFree=129262432/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42649] ppid=42647 vsize=45968 memory=38064 CPUtime=0.3 cores=4,6
/proc/42649/stat : 42649 (pbsuma) R 42647 42647 42076 0 -1 4194304 9067 0 0 0 27 3 0 0 20 0 1 0 46587312 47071232 9516 18446744073709551615 4210688 4653049 140736960543408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 35700736 140736960547043 140736960547378 140736960547378 140736960552943 0
/proc/42649/statm: 11492 9516 928 108 0 8900 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50160 KiB
Current children cumulated memory: 41136 KiB
[startup+0.700411 s]
/proc/loadavg: 4.27 4.21 4.22 5/276 42649
/proc/meminfo: memFree=129165280/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42649] ppid=42647 vsize=274584 memory=209976 CPUtime=0.67 cores=4,6
/proc/42649/stat : 42649 (pbsuma) R 42647 42647 42076 0 -1 4194304 21989 0 0 0 58 9 0 0 20 0 1 0 46587312 281174016 52494 18446744073709551615 4210688 4653049 140736960543408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 35700736 140736960547043 140736960547378 140736960547378 140736960552943 0
/proc/42649/statm: 68646 52494 992 108 0 66054 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 278776 KiB
Current children cumulated memory: 213048 KiB
[startup+1.50038 s]
/proc/loadavg: 4.27 4.21 4.22 5/276 42649
/proc/meminfo: memFree=128983236/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+3.11415 s]
/proc/loadavg: 4.27 4.21 4.22 5/276 42650
/proc/meminfo: memFree=128770920/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=278204 memory=233564 CPUtime=1.66 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 41923 0 0 0 152 14 0 0 20 0 1 0 46587454 284880896 58391 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 69551 58391 2368 1147 0 56978 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 282396 KiB
Current children cumulated memory: 236636 KiB
[startup+6.30034 s]
/proc/loadavg: 4.33 4.22 4.22 5/276 42650
/proc/meminfo: memFree=128644712/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=278976 memory=234204 CPUtime=4.84 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 42131 0 0 0 466 18 0 0 20 0 1 0 46587454 285671424 58551 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 69744 58551 2368 1147 0 57171 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 283168 KiB
Current children cumulated memory: 237276 KiB
[startup+12.7003 s]
/proc/loadavg: 4.31 4.22 4.22 5/276 42650
/proc/meminfo: memFree=128308600/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=363764 memory=295004 CPUtime=11.22 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 52024 0 0 0 1090 32 0 0 20 0 1 0 46587454 372494336 73751 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 90941 73751 2400 1147 0 78368 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 367956 KiB
Current children cumulated memory: 298076 KiB
[startup+25.5004 s]
/proc/loadavg: 4.26 4.21 4.22 5/276 42650
/proc/meminfo: memFree=127963072/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=363764 memory=296284 CPUtime=23.98 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 52323 0 0 0 2354 44 0 0 20 0 1 0 46587454 372494336 74071 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 90941 74071 2400 1147 0 78368 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 367956 KiB
Current children cumulated memory: 299356 KiB
[startup+51.1141 s]
/proc/loadavg: 4.24 4.21 4.21 5/276 42650
/proc/meminfo: memFree=127100360/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=368184 memory=296668 CPUtime=49.52 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 52447 0 0 0 4894 58 0 0 20 0 1 0 46587454 377020416 74167 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 92046 74167 2400 1147 0 79473 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 372376 KiB
Current children cumulated memory: 299740 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.22 4.22 5/273 42652
/proc/meminfo: memFree=125355708/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=372548 memory=304544 CPUtime=100.5 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 53871 0 0 0 9949 101 0 0 20 0 1 0 46587454 381489152 76136 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 93137 76136 2464 1147 0 80564 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 376740 KiB
Current children cumulated memory: 307616 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.19 4.20 5/273 42654
/proc/meminfo: memFree=123608232/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=374456 memory=306592 CPUtime=160.29 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 54388 0 0 0 15887 142 0 0 20 0 1 0 46587454 383442944 76648 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 93614 76648 2464 1147 0 81041 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 378648 KiB
Current children cumulated memory: 309664 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.17 4.19 5/262 42656
/proc/meminfo: memFree=121147244/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=428348 memory=351032 CPUtime=220.1 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 61375 0 0 0 21811 199 0 0 20 0 1 0 46587454 438628352 87758 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 107087 87758 2464 1147 0 94514 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 432540 KiB
Current children cumulated memory: 354104 KiB
################
# More data... #
################
/proc/42650/statm: 294101 259585 2496 1147 0 281528 0
Current children cumulated CPU time: 3086.71 s
Current children cumulated vsize: 1180596 KiB
Current children cumulated memory: 1041412 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.21 4.20 5/262 42854
/proc/meminfo: memFree=21233300/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=1126428 memory=989924 CPUtime=3144.7 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 241668 0 0 0 311946 2524 0 0 20 0 1 0 46587454 1153462272 247481 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 281607 247481 2496 1147 0 269034 0
Current children cumulated CPU time: 3146.09 s
Current children cumulated vsize: 1130620 KiB
Current children cumulated memory: 992996 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.18 4.18 5/262 42856
/proc/meminfo: memFree=20165364/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=1186448 memory=1049072 CPUtime=3204.16 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 246744 0 0 0 317846 2570 0 0 20 0 1 0 46587454 1214922752 262268 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 296612 262268 2496 1147 0 284039 0
Current children cumulated CPU time: 3205.55 s
Current children cumulated vsize: 1190640 KiB
Current children cumulated memory: 1052144 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.18 5/263 42859
/proc/meminfo: memFree=18310748/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=1190944 memory=1052856 CPUtime=3264 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 251331 0 0 0 323798 2602 0 0 20 0 1 0 46587454 1219526656 263214 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 297736 263214 2496 1147 0 285163 0
Current children cumulated CPU time: 3265.39 s
Current children cumulated vsize: 1195136 KiB
Current children cumulated memory: 1055928 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/260 42861
/proc/meminfo: memFree=17212668/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=1209144 memory=1072600 CPUtime=3323.79 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 252293 0 0 0 329731 2648 0 0 20 0 1 0 46587454 1238163456 268150 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 302286 268150 2496 1147 0 289713 0
Current children cumulated CPU time: 3325.18 s
Current children cumulated vsize: 1213336 KiB
Current children cumulated memory: 1075672 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.18 4.18 5/261 42864
/proc/meminfo: memFree=15570748/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=1209144 memory=1072728 CPUtime=3383.58 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 252308 0 0 0 335665 2693 0 0 20 0 1 0 46587454 1238163456 268182 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 302286 268182 2496 1147 0 289713 0
Current children cumulated CPU time: 3384.97 s
Current children cumulated vsize: 1213336 KiB
Current children cumulated memory: 1075800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.76 4.35 4.24 5/261 42867
/proc/meminfo: memFree=14597208/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=1209144 memory=1072728 CPUtime=3443.38 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 252308 0 0 0 341617 2721 0 0 20 0 1 0 46587454 1238163456 268182 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 302286 268182 2496 1147 0 289713 0
Current children cumulated CPU time: 3444.77 s
Current children cumulated vsize: 1213336 KiB
Current children cumulated memory: 1075800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.31 4.23 5/261 42869
/proc/meminfo: memFree=12998700/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=1209144 memory=1072984 CPUtime=3502.37 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 252372 0 0 0 347471 2766 0 0 20 0 1 0 46587454 1238163456 268246 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 302286 268246 2496 1147 0 289713 0
Current children cumulated CPU time: 3503.76 s
Current children cumulated vsize: 1213336 KiB
Current children cumulated memory: 1076056 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.28 4.23 5/261 42871
/proc/meminfo: memFree=11650992/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=1217724 memory=1081628 CPUtime=3562.19 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 252996 0 0 0 353411 2808 0 0 20 0 1 0 46587454 1246949376 270407 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 304431 270407 2496 1147 0 291858 0
Current children cumulated CPU time: 3563.58 s
Current children cumulated vsize: 1221916 KiB
Current children cumulated memory: 1084700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3618.9 s]
/proc/loadavg: 4.29 4.28 4.23 5/249 42945
/proc/meminfo: memFree=25852148/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=1217724 memory=1081628 CPUtime=3598.67 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 253166 0 0 0 357037 2830 0 0 20 0 1 0 46587454 1246949376 270407 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 304431 270407 2496 1147 0 291858 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1221916 KiB
Current children cumulated memory: 1084700 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3618.91 s]
# the end of solver process 42647 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.22032 s, system=0.18913 s
Sleeping 2 seconds
[startup+3619 s]
# the end of solver process 42650 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3571.65 s, system=28.5128 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+3618.9 s]
/proc/loadavg: 4.29 4.28 4.23 5/249 42945
/proc/meminfo: memFree=25852148/131382120 swapFree=33010416/33010684
[pid=42647] ppid=42644 vsize=4192 memory=3072 CPUtime=1.39 cores=4,6
/proc/42647/stat : 42647 (run-opt-break-l) S 42644 42647 42076 0 -1 4194304 243 40298 0 0 0 0 121 18 20 0 1 0 46587311 4292608 768 18446744073709551615 93947758366720 93947759261253 140736113563408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93947759500304 93947759548048 93947770376192 140736113568021 140736113568222 140736113568222 140736113573824 0
/proc/42647/statm: 1048 768 704 219 0 110 0
[pid=42650] ppid=42647 vsize=1217724 memory=1081628 CPUtime=3598.67 cores=4,6
/proc/42650/stat : 42650 (roundingsat) R 42647 42647 42076 0 -1 4194304 253166 0 0 0 357037 2830 0 0 20 0 1 0 46587454 1246949376 270407 18446744073709551615 4227072 8923433 140733422844416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16756736 140733422852372 140733422852648 140733422852648 140733422858218 0
/proc/42650/statm: 304431 270407 2496 1147 0 291858 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1221916 KiB
Current children cumulated memory: 1084700 KiB
Child status: 2
Real time (s): 3619
CPU time (s): 3600.17
CPU user time (s): 3571.65
CPU system time (s): 28.5128
CPU usage (%): 99.4797
Max. virtual memory (cumulated for all children) (KiB): 1221916
Max. memory (cumulated for all children) (KiB): 1084700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.65
system time used= 28.5128
maximum resident set size= 1081756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14901384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1243
involuntary context switches= 20809
# summary of solver processes directly reported to runsolver:
# pid: 42647,42650
# total CPU time (s): 3600.17
# total CPU user time (s): 3571.65
# total CPU system time (s): 28.5128
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2976 second user time and 38.689 second system time
The end
Begin job on nodeC006 at 2025-06-30 20:44:39
IDJOB=4485739
IDBENCH=146868
IDSOLVER=3360
FILE ID=nodeC006/4485739-1751309079
RUNJOBID= nodeC006-1751305434-42087
SLURM_JOB_ID= 9594305
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485739-1751309079/watcher-4485739-1751309079 -o /tmp/evaluation-result-4485739-1751309079/solver-4485739-1751309079 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751305434-42087 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4485739-1751309079.opb PROOFDIR/proof-4485739-1751309079
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d021d78883fac2a7bf820bb220b2a7e2
RANDOM SEED=1750424376
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.342
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3620.482
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.347
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.111
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.145
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3620.295
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.369
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129286292 kB
MemAvailable: 129268332 kB
Buffers: 2128 kB
Cached: 785428 kB
SwapCached: 12 kB
Active: 936432 kB
Inactive: 462468 kB
Active(anon): 616200 kB
Inactive(anon): 13312 kB
Active(file): 320232 kB
Inactive(file): 449156 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 355052 kB
Writeback: 0 kB
AnonPages: 614640 kB
Mapped: 116408 kB
Shmem: 17948 kB
KReclaimable: 104176 kB
Slab: 196732 kB
SReclaimable: 104176 kB
SUnreclaim: 92556 kB
KernelStack: 4432 kB
PageTables: 4440 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 967792 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149768 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 114688 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC006 at 2025-06-30 21:44:59