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.02 c parse 'HOME/instance-4485738-1751312596.opb'
0.08/0.17 c read 14.59MB (151.41ms)
0.08/0.17 c [cnf: #variables 155020 #clauses 2676 #duplicates 0 #arr 855173]
0.08/0.17 c
0.08/0.17 c make graph and approximate orbits
0.48/0.55 c [group: #orbits ~= 7832] (384.63ms)
0.48/0.55 c
0.48/0.55 c detect special group actions
0.48/0.55 c probe for Johnson action (limit=64)
0.48/0.56 c probe for row-column symmetry (limit=64, splits=16.78M)
0.48/0.58 c probe for row symmetry (limit=64, splits=16.78M)
0.48/0.59 c (35.83ms)
0.48/0.59 c
0.48/0.59 c detect symmetries on remainder
0.48/0.59 c [graph: #vertices 1144181 #edges 3683316]
0.48/0.60 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.77 c [group: #symmetries 1.15*10^1146 #generators 3759] (180.06ms)
0.67/0.77 c
0.67/0.77 c optimize generators (opt_passes=64, conjugate_limit=256)
0.67/0.77 c ran it=0, +gens=0
0.77/0.87 c con best_support=4, best_gens=3750, +gens=0
0.77/0.87 c (98.69ms)
0.77/0.87 c
0.77/0.87 c finalize break order and special generators
0.77/0.87 c
0.77/0.87 c add generic predicates (break_depth=20)
0.77/0.87 c added predicates for 3759 generators (0.49ms)
0.77/0.87 c
0.77/0.87 c generation finished
0.77/0.87 c [sbp: #constraints 4272 #add_vars 171]
0.77/0.88 c
0.77/0.88 c write result to 'HOME/instance-4485738-1751312596.opb.pre'
0.87/0.91 c wrote 14.73MB (30.68ms)
0.87/0.91 c ------------------------------------------------------------------
0.87/0.91 c 384.63ms 42.89% approx_orbits
0.87/0.91 c 180.06ms 20.08% detect_generic
0.87/0.91 c 151.41ms 16.88% parse
0.87/0.91 c 98.69ms 11.01% optimize_gens
0.87/0.91 c 35.83ms 4.00% detect_special
0.87/0.91 c 30.68ms 3.42% output
0.87/0.91 c 8.21ms 0.92% other
0.87/0.91 c 6.72ms 0.75% finalize_order
0.87/0.91 c 0.49ms 0.05% break_generic
0.87/0.91 c ───────────────────────────────────────────────
0.87/0.91 c 896.72ms 100% total
0.87/0.91 c ------------------------------------------------------------------
0.87/0.94 c RoundingSat 2
0.87/0.94 c branch pb25
0.87/0.94 c commit 63f22ad
1.35/1.47 c #variables 155191 #constraints 7579
1.35/1.47 c objective is ce64
1.35/1.47 c initial watched CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
1.35/1.47 c initial counting CF 32, 64, 128, Arb: 1116 , 3061 , 0 , 0
1.35/1.47 c bounds - >= -6514339591161790 @ 0.467786
7.83/7.97 c #Conflicts: 1000 | #Constraints: 8578
7.83/7.97 c #Conflicts: 2000 | #Constraints: 9578
7.83/7.97 c INPROCESSING
7.83/7.97 c GARBAGE COLLECT
7.83/7.97 c bounds - >= -914338413869450 @ 6.87483
7.83/7.97 c bounds - >= -872194047277450 @ 6.87724
7.83/7.97 c bounds - >= -851121863981450 @ 6.87943
7.83/7.97 c bounds - >= -840585772333450 @ 6.88117
7.83/7.98 c bounds - >= -835217063213450 @ 6.88261
7.83/7.98 c bounds - >= -829949017389450 @ 6.88447
7.83/7.98 c bounds - >= -825754713389450 @ 6.88779
7.83/7.98 c bounds - >= -823657561389450 @ 6.8895
7.83/7.98 c bounds - >= -822271763347850 @ 6.89105
7.83/7.99 c bounds - >= -821709391067530 @ 6.89306
7.83/7.99 c bounds - >= -821560409389450 @ 6.89478
7.83/7.99 c bounds - >= -818876054829450 @ 6.89635
7.83/7.99 c bounds - >= -816242031917450 @ 6.89815
7.83/7.99 c bounds - >= -814899854637450 @ 6.90013
7.83/8.00 c bounds - >= -813582843181450 @ 6.90248
7.83/8.00 c bounds - >= -812534267181450 @ 6.90437
7.83/8.00 c bounds - >= -811485691181450 @ 6.90616
7.93/8.00 c bounds - >= -810437115181450 @ 6.90804
7.93/8.00 c bounds - >= -809950911461770 @ 6.91094
7.93/8.01 c bounds - >= -809388539181450 @ 6.91304
7.93/8.01 c bounds - >= -808717450541450 @ 6.91503
7.93/8.01 c bounds - >= -808058944813450 @ 6.91716
7.93/8.01 c bounds - >= -807534656813450 @ 6.91916
7.93/8.01 c bounds - >= -807010368813450 @ 6.92118
7.93/8.02 c bounds - >= -806486080813450 @ 6.92318
7.93/8.02 c bounds - >= -805961792813450 @ 6.92519
7.93/8.02 c bounds - >= -805437504813450 @ 6.9272
7.93/8.02 c bounds - >= -804913216813450 @ 6.9293
7.93/8.02 c bounds - >= -804388928813450 @ 6.9314
7.93/8.03 c bounds - >= -803864640813450 @ 6.93384
7.93/8.03 c bounds - >= -802816064813450 @ 6.93677
7.93/8.03 c bounds - >= -801767488813450 @ 6.9391
7.93/8.04 c bounds - >= -800896751303050 @ 6.94169
7.93/8.04 c bounds - >= -800561206983050 @ 6.94387
7.93/8.04 c bounds - >= -800231954119050 @ 6.94611
7.93/8.04 c bounds - >= -799969810119050 @ 6.94828
7.93/8.04 c bounds - >= -799707666119050 @ 6.94945
7.93/8.05 c bounds - >= -799445522119050 @ 6.95063
7.93/8.05 c bounds - >= -799183378119050 @ 6.95278
7.93/8.05 c bounds - >= -798921234119050 @ 6.95495
7.93/8.05 c bounds - >= -798659090119050 @ 6.95712
7.93/8.06 c bounds - >= -798396946119050 @ 6.95932
7.93/8.06 c bounds - >= -798134802119050 @ 6.96147
7.93/8.06 c bounds - >= -797872658119050 @ 6.96366
7.93/8.06 c bounds - >= -797610514119050 @ 6.96582
7.93/8.06 c bounds - >= -797348370119050 @ 6.96802
7.93/8.07 c bounds - >= -797086226119050 @ 6.97018
7.93/8.07 c bounds - >= -796824082119050 @ 6.97239
7.93/8.07 c bounds - >= -796561938119050 @ 6.9746
7.93/8.07 c bounds - >= -796299794119050 @ 6.97585
7.93/8.07 c bounds - >= -796037650119050 @ 6.97809
7.93/8.08 c bounds - >= -795775506119050 @ 6.98037
7.93/8.08 c bounds - >= -795513362119050 @ 6.98258
7.93/8.08 c bounds - >= -795335523629450 @ 6.98559
7.93/8.09 c bounds - >= -795167751469450 @ 6.98828
7.93/8.09 c bounds - >= -795003125037450 @ 6.99084
7.93/8.09 c bounds - >= -794872053037450 @ 6.99334
7.93/8.09 c bounds - >= -794740981037450 @ 6.99584
7.93/8.10 c bounds - >= -794609909037450 @ 6.99838
7.93/8.10 c bounds - >= -794478837037450 @ 7.00092
7.93/8.10 c bounds - >= -794347765037450 @ 7.00346
8.04/8.10 c bounds - >= -794216693037450 @ 7.00615
8.04/8.11 c bounds - >= -794085621037450 @ 7.00948
8.04/8.11 c bounds - >= -793954549037450 @ 7.01247
8.04/8.12 c bounds - >= -793823477037450 @ 7.0143
8.04/8.12 c bounds - >= -793692405037450 @ 7.01677
8.04/8.12 c bounds - >= -793561333037450 @ 7.01825
8.04/8.12 c bounds - >= -793430261037450 @ 7.02047
8.04/8.13 c bounds - >= -793299189037450 @ 7.0222
8.04/8.13 c bounds - >= -793168117037450 @ 7.02473
8.04/8.13 c bounds - >= -793037045037450 @ 7.02629
8.04/8.13 c bounds - >= -792905973037450 @ 7.02881
8.04/8.14 c bounds - >= -792637537581450 @ 7.0328
8.04/8.14 c bounds - >= -792384704936330 @ 7.03582
8.04/8.14 c bounds - >= -792253632936330 @ 7.03729
8.04/8.14 c bounds - >= -792122560936330 @ 7.03977
8.04/8.15 c bounds - >= -791991488936330 @ 7.04223
8.04/8.15 c bounds - >= -791860416936330 @ 7.04468
8.04/8.15 c bounds - >= -791729344936330 @ 7.04713
8.04/8.15 c bounds - >= -791598272936330 @ 7.04959
8.04/8.16 c bounds - >= -791467200936330 @ 7.05105
8.04/8.16 c bounds - >= -791249432672650 @ 7.05333
8.04/8.16 c bounds - >= -791118360672650 @ 7.05596
9.53/9.61 c #Conflicts: 3000 | #Constraints: 8964
9.53/9.61 c #Conflicts: 4000 | #Constraints: 9964
9.53/9.61 c INPROCESSING
9.53/9.61 c GARBAGE COLLECT
9.53/9.61 c #Conflicts: 5000 | #Constraints: 9281
9.53/9.61 c #Conflicts: 6000 | #Constraints: 10281
9.53/9.61 c INPROCESSING
9.53/9.61 c GARBAGE COLLECT
9.53/9.61 c bounds - >= 14188007327350 @ 8.46145
9.63/9.74 c bounds - >= 148405735327350 @ 8.58874
9.63/9.74 c bounds - >= 215514599327350 @ 8.59116
9.63/9.74 c bounds - >= 216909121521270 @ 8.59315
9.63/9.74 c bounds - >= 217451361142390 @ 8.59538
9.63/9.74 c bounds - >= 218303643715190 @ 8.59763
9.63/9.75 c bounds - >= 218475442407030 @ 8.59985
9.63/9.75 c bounds - >= 221092688103030 @ 8.60204
9.63/9.75 c bounds - >= 222547608274550 @ 8.60424
9.63/9.75 c bounds - >= 232291815327350 @ 8.60801
9.63/9.76 c bounds - >= 236586782623350 @ 8.60997
9.63/9.76 c bounds - >= 237029701125750 @ 8.61474
9.63/9.76 c bounds - >= 237472619628150 @ 8.61701
9.63/9.77 c bounds - >= 237694078879350 @ 8.61932
9.63/9.77 c bounds - >= 237915538130550 @ 8.62131
9.63/9.77 c bounds - >= 239732846167670 @ 8.62307
9.63/9.78 c bounds - >= 239938660664950 @ 8.62829
9.63/9.78 c bounds - >= 240081812260470 @ 8.6309
9.63/9.78 c bounds - >= 240935437010550 @ 8.63262
9.63/9.78 c bounds - >= 242483135186550 @ 8.6344
9.63/9.78 c bounds - >= 242628090332790 @ 8.63755
9.63/9.79 c bounds - >= 243652171597430 @ 8.6402
9.63/9.79 c bounds - >= 244559441495670 @ 8.64313
9.63/9.79 c bounds - >= 244751960049270 @ 8.64698
9.72/9.80 c bounds - >= 244938522691190 @ 8.65051
9.72/9.80 c bounds - >= 245069594691190 @ 8.65553
10.04/10.18 c #Conflicts: 7000 | #Constraints: 9361
10.04/10.18 c bounds - >= 265624788076150 @ 9.02758
10.04/10.18 c bounds - >= 274234855327350 @ 9.02904
10.04/10.19 c bounds - >= 275258936591990 @ 9.03168
10.04/10.19 c bounds - >= 276052163364470 @ 9.03307
10.04/10.19 c bounds - >= 276203661624950 @ 9.03598
10.04/10.20 c bounds - >= 276348616771190 @ 9.03857
10.13/10.20 c bounds - >= 276479688771190 @ 9.04159
10.13/10.20 c bounds - >= 276610760771190 @ 9.04459
53.32/53.52 c #Conflicts: 8000 | #Constraints: 10444
53.32/53.52 c #Conflicts: 9000 | #Constraints: 11444
53.32/53.52 c INPROCESSING
53.32/53.52 c GARBAGE COLLECT
53.32/53.52 c #Conflicts: 10000 | #Constraints: 10050
53.32/53.52 c #Conflicts: 11000 | #Constraints: 11050
53.32/53.52 c #Conflicts: 12000 | #Constraints: 12050
53.32/53.52 c INPROCESSING
53.32/53.52 c GARBAGE COLLECT
53.32/53.52 c #Conflicts: 13000 | #Constraints: 10498
53.32/53.52 c #Conflicts: 14000 | #Constraints: 11498
53.32/53.52 c #Conflicts: 15000 | #Constraints: 12498
53.32/53.52 c INPROCESSING
53.32/53.52 c GARBAGE COLLECT
53.32/53.52 c #Conflicts: 16000 | #Constraints: 10726
53.32/53.52 c #Conflicts: 17000 | #Constraints: 11726
53.32/53.52 c #Conflicts: 18000 | #Constraints: 12726
53.32/53.52 c INPROCESSING
53.32/53.52 c GARBAGE COLLECT
53.32/53.52 c #Conflicts: 19000 | #Constraints: 10739
53.32/53.52 c #Conflicts: 20000 | #Constraints: 11739
53.32/53.52 c #Conflicts: 21000 | #Constraints: 12739
53.32/53.52 c INPROCESSING
53.32/53.52 c GARBAGE COLLECT
53.32/53.52 c #Conflicts: 22000 | #Constraints: 10545
53.32/53.52 c #Conflicts: 23000 | #Constraints: 11545
53.32/53.52 c #Conflicts: 24000 | #Constraints: 12545
53.32/53.52 c #Conflicts: 25000 | #Constraints: 13545
53.32/53.52 c INPROCESSING
53.32/53.52 c GARBAGE COLLECT
53.32/53.52 c #Conflicts: 26000 | #Constraints: 11145
53.32/53.52 c bounds - >= 276789228406390 @ 51.9534
53.32/53.52 c bounds - >= 277010687657590 @ 51.9563
53.32/53.52 c bounds - >= 277177579013750 @ 51.9608
54.32/54.59 c #Conflicts: 27000 | #Constraints: 12160
54.32/54.59 c bounds - >= 277405078062710 @ 53.0076
55.51/55.75 c #Conflicts: 28000 | #Constraints: 13166
55.51/55.75 c #Conflicts: 29000 | #Constraints: 14166
55.51/55.75 c INPROCESSING
55.51/55.75 c GARBAGE COLLECT
55.51/55.75 c bounds - >= 278429159327350 @ 54.1588
55.51/55.76 c bounds - >= 278560231327350 @ 54.1614
55.51/55.76 c bounds - >= 278711729587830 @ 54.164
55.51/55.76 c bounds - >= 278842801587830 @ 54.1665
55.51/55.77 c bounds - >= 278973873587830 @ 54.1706
57.20/57.44 c #Conflicts: 30000 | #Constraints: 11582
57.20/57.44 c #Conflicts: 31000 | #Constraints: 12582
57.20/57.44 c bounds - >= 279160981489270 @ 55.8224
58.30/58.50 c #Conflicts: 32000 | #Constraints: 13587
58.30/58.50 c #Conflicts: 33000 | #Constraints: 14587
58.30/58.50 c INPROCESSING
58.30/58.50 c GARBAGE COLLECT
58.30/58.50 c bounds - >= 279292053489270 @ 56.8733
58.30/58.50 c bounds - >= 279423125489270 @ 56.8773
59.40/59.68 c #Conflicts: 34000 | #Constraints: 11792
59.40/59.68 c #Conflicts: 35000 | #Constraints: 12792
59.40/59.68 c bounds - >= 279554197489270 @ 58.0326
62.49/62.79 c #Conflicts: 36000 | #Constraints: 13798
62.49/62.79 c #Conflicts: 37000 | #Constraints: 14799
62.49/62.79 c INPROCESSING
62.49/62.79 c GARBAGE COLLECT
62.49/62.79 c bounds - >= 279685269489270 @ 61.1154
62.49/62.79 c bounds - >= 279816341489270 @ 61.1182
211.80/212.48 c #Conflicts: 38000 | #Constraints: 11804
211.80/212.48 c #Conflicts: 39000 | #Constraints: 12804
211.80/212.48 c #Conflicts: 40000 | #Constraints: 13804
211.80/212.48 c #Conflicts: 41000 | #Constraints: 14804
211.80/212.48 c INPROCESSING
211.80/212.48 c GARBAGE COLLECT
211.80/212.48 c #Conflicts: 42000 | #Constraints: 11596
211.80/212.48 c #Conflicts: 43000 | #Constraints: 12596
211.80/212.48 c #Conflicts: 44000 | #Constraints: 13596
211.80/212.48 c #Conflicts: 45000 | #Constraints: 14596
211.80/212.48 c #Conflicts: 46000 | #Constraints: 15596
211.80/212.48 c INPROCESSING
211.80/212.48 c GARBAGE COLLECT
211.80/212.48 c #Conflicts: 47000 | #Constraints: 12192
211.80/212.48 c #Conflicts: 48000 | #Constraints: 13192
211.80/212.48 c #Conflicts: 49000 | #Constraints: 14192
211.80/212.48 c #Conflicts: 50000 | #Constraints: 15192
211.80/212.48 c #Conflicts: 51000 | #Constraints: 16192
211.80/212.48 c INPROCESSING
211.80/212.48 c GARBAGE COLLECT
211.80/212.48 c #Conflicts: 52000 | #Constraints: 12591
211.80/212.48 c #Conflicts: 53000 | #Constraints: 13591
211.80/212.48 c #Conflicts: 54000 | #Constraints: 14591
211.80/212.48 c #Conflicts: 55000 | #Constraints: 15591
211.80/212.48 c #Conflicts: 56000 | #Constraints: 16591
211.80/212.48 c INPROCESSING
211.80/212.48 c GARBAGE COLLECT
211.80/212.48 c #Conflicts: 57000 | #Constraints: 12789
211.80/212.48 c #Conflicts: 58000 | #Constraints: 13789
211.80/212.48 c #Conflicts: 59000 | #Constraints: 14789
211.80/212.48 c #Conflicts: 60000 | #Constraints: 15789
211.80/212.48 c #Conflicts: 61000 | #Constraints: 16789
211.80/212.48 c INPROCESSING
211.80/212.48 c GARBAGE COLLECT
211.80/212.48 c #Conflicts: 62000 | #Constraints: 12792
211.80/212.48 c #Conflicts: 63000 | #Constraints: 13792
211.80/212.48 c #Conflicts: 64000 | #Constraints: 14792
211.80/212.48 c #Conflicts: 65000 | #Constraints: 15792
211.80/212.48 c #Conflicts: 66000 | #Constraints: 16792
211.80/212.48 c INPROCESSING
211.80/212.48 c GARBAGE COLLECT
211.80/212.48 c #Conflicts: 67000 | #Constraints: 12595
211.80/212.48 c #Conflicts: 68000 | #Constraints: 13595
211.80/212.48 c #Conflicts: 69000 | #Constraints: 14595
211.80/212.48 c #Conflicts: 70000 | #Constraints: 15595
211.80/212.48 c #Conflicts: 71000 | #Constraints: 16595
211.80/212.48 c #Conflicts: 72000 | #Constraints: 17595
211.80/212.48 c INPROCESSING
211.80/212.48 c GARBAGE COLLECT
211.80/212.48 c #Conflicts: 73000 | #Constraints: 13195
211.80/212.48 c #Conflicts: 74000 | #Constraints: 14195
211.80/212.48 c #Conflicts: 75000 | #Constraints: 15195
211.80/212.48 c #Conflicts: 76000 | #Constraints: 16195
211.80/212.48 c #Conflicts: 77000 | #Constraints: 17195
211.80/212.48 c #Conflicts: 78000 | #Constraints: 18195
211.80/212.48 c INPROCESSING
211.80/212.48 c GARBAGE COLLECT
211.80/212.48 c #Conflicts: 79000 | #Constraints: 13592
211.80/212.48 c #Conflicts: 80000 | #Constraints: 14592
211.80/212.48 c #Conflicts: 81000 | #Constraints: 15592
211.80/212.48 c #Conflicts: 82000 | #Constraints: 16592
211.80/212.48 c #Conflicts: 83000 | #Constraints: 17592
211.80/212.48 c #Conflicts: 84000 | #Constraints: 18592
211.80/212.48 c INPROCESSING
211.80/212.48 c GARBAGE COLLECT
211.80/212.48 c #Conflicts: 85000 | #Constraints: 13796
211.80/212.48 c #Conflicts: 86000 | #Constraints: 14796
211.80/212.48 c #Conflicts: 87000 | #Constraints: 15796
211.80/212.48 c #Conflicts: 88000 | #Constraints: 16796
211.80/212.48 c #Conflicts: 89000 | #Constraints: 17796
211.80/212.48 c #Conflicts: 90000 | #Constraints: 18796
211.80/212.48 c INPROCESSING
211.80/212.48 c GARBAGE COLLECT
211.80/212.48 c #Conflicts: 91000 | #Constraints: 13796
211.80/212.48 c #Conflicts: 92000 | #Constraints: 14796
211.80/212.48 c #Conflicts: 93000 | #Constraints: 15796
211.80/212.48 c #Conflicts: 94000 | #Constraints: 16796
211.80/212.48 c #Conflicts: 95000 | #Constraints: 17796
211.80/212.48 c #Conflicts: 96000 | #Constraints: 18796
211.80/212.48 c INPROCESSING
211.80/212.48 c GARBAGE COLLECT
211.80/212.48 c #Conflicts: 97000 | #Constraints: 13597
211.80/212.48 c #Conflicts: 98000 | #Constraints: 14597
211.80/212.48 c #Conflicts: 99000 | #Constraints: 15597
211.80/212.48 c #Conflicts: 100000 | #Constraints: 16597
211.80/212.48 c #Conflicts: 101000 | #Constraints: 17597
211.80/212.48 c #Conflicts: 102000 | #Constraints: 18597
211.80/212.48 c #Conflicts: 103000 | #Constraints: 19597
211.80/212.48 c INPROCESSING
211.80/212.48 c GARBAGE COLLECT
211.80/212.48 c #Conflicts: 104000 | #Constraints: 14194
211.80/212.48 c #Conflicts: 105000 | #Constraints: 15194
211.80/212.48 c #Conflicts: 106000 | #Constraints: 16194
211.80/212.48 c #Conflicts: 107000 | #Constraints: 17194
211.80/212.48 c #Conflicts: 108000 | #Constraints: 18194
211.80/212.48 c bounds - >= 280200917223030 @ 209.516
246.50/247.22 c #Conflicts: 109000 | #Constraints: 19202
246.50/247.22 c #Conflicts: 110000 | #Constraints: 20202
246.50/247.22 c INPROCESSING
246.50/247.22 c GARBAGE COLLECT
246.50/247.22 c #Conflicts: 111000 | #Constraints: 14601
246.50/247.22 c #Conflicts: 112000 | #Constraints: 15601
246.50/247.22 c #Conflicts: 113000 | #Constraints: 16601
246.50/247.22 c #Conflicts: 114000 | #Constraints: 17601
246.50/247.22 c #Conflicts: 115000 | #Constraints: 18601
246.50/247.22 c bounds - >= 281470616929910 @ 243.918
254.08/254.86 c #Conflicts: 116000 | #Constraints: 19605
254.08/254.86 c #Conflicts: 117000 | #Constraints: 20605
254.08/254.86 c INPROCESSING
254.08/254.86 c GARBAGE COLLECT
254.08/254.86 c #Conflicts: 118000 | #Constraints: 14802
254.08/254.86 c #Conflicts: 119000 | #Constraints: 15802
254.08/254.86 c #Conflicts: 120000 | #Constraints: 16802
254.08/254.86 c #Conflicts: 121000 | #Constraints: 17802
254.08/254.86 c #Conflicts: 122000 | #Constraints: 18802
254.08/254.86 c #Conflicts: 123000 | #Constraints: 19802
254.08/254.86 c #Conflicts: 124000 | #Constraints: 20802
254.08/254.86 c INPROCESSING
254.08/254.86 c GARBAGE COLLECT
254.08/254.86 c bounds - >= 281994904929910 @ 251.496
254.08/254.86 c bounds - >= 282298069223030 @ 251.498
257.67/258.40 c #Conflicts: 125000 | #Constraints: 14809
257.67/258.40 c #Conflicts: 126000 | #Constraints: 15809
257.67/258.40 c #Conflicts: 127000 | #Constraints: 16809
257.67/258.40 c bounds - >= 282429141223030 @ 254.982
257.67/258.41 c bounds - >= 282650264929910 @ 254.987
257.67/258.41 c bounds - >= 282781336929910 @ 254.991
440.60/441.85 c #Conflicts: 128000 | #Constraints: 17824
440.60/441.85 c #Conflicts: 129000 | #Constraints: 18824
440.60/441.85 c #Conflicts: 130000 | #Constraints: 19824
440.60/441.85 c #Conflicts: 131000 | #Constraints: 20824
440.60/441.85 c INPROCESSING
440.60/441.85 c GARBAGE COLLECT
440.60/441.85 c #Conflicts: 132000 | #Constraints: 14612
440.60/441.85 c #Conflicts: 133000 | #Constraints: 15612
440.60/441.85 c #Conflicts: 134000 | #Constraints: 16612
440.60/441.85 c #Conflicts: 135000 | #Constraints: 17612
440.60/441.85 c #Conflicts: 136000 | #Constraints: 18612
440.60/441.85 c #Conflicts: 137000 | #Constraints: 19612
440.60/441.85 c #Conflicts: 138000 | #Constraints: 20612
440.60/441.85 c #Conflicts: 139000 | #Constraints: 21612
440.60/441.85 c INPROCESSING
440.60/441.85 c GARBAGE COLLECT
440.60/441.85 c #Conflicts: 140000 | #Constraints: 15215
440.60/441.85 c #Conflicts: 141000 | #Constraints: 16215
440.60/441.85 c #Conflicts: 142000 | #Constraints: 17215
440.60/441.85 c #Conflicts: 143000 | #Constraints: 18215
440.60/441.85 c #Conflicts: 144000 | #Constraints: 19215
440.60/441.85 c #Conflicts: 145000 | #Constraints: 20215
440.60/441.85 c #Conflicts: 146000 | #Constraints: 21215
440.60/441.86 c #Conflicts: 147000 | #Constraints: 22215
440.60/441.86 c INPROCESSING
440.60/441.86 c GARBAGE COLLECT
440.60/441.86 c #Conflicts: 148000 | #Constraints: 15617
440.60/441.86 c #Conflicts: 149000 | #Constraints: 16617
440.60/441.86 c #Conflicts: 150000 | #Constraints: 17617
440.60/441.86 c #Conflicts: 151000 | #Constraints: 18617
440.60/441.86 c #Conflicts: 152000 | #Constraints: 19617
440.60/441.86 c #Conflicts: 153000 | #Constraints: 20617
440.60/441.86 c #Conflicts: 154000 | #Constraints: 21617
440.60/441.86 c #Conflicts: 155000 | #Constraints: 22617
440.60/441.86 c INPROCESSING
440.60/441.86 c GARBAGE COLLECT
440.60/441.86 c #Conflicts: 156000 | #Constraints: 15815
440.60/441.86 c #Conflicts: 157000 | #Constraints: 16815
440.60/441.86 c #Conflicts: 158000 | #Constraints: 17815
440.60/441.86 c #Conflicts: 159000 | #Constraints: 18815
440.60/441.86 c #Conflicts: 160000 | #Constraints: 19815
440.60/441.86 c #Conflicts: 161000 | #Constraints: 20815
440.60/441.86 c #Conflicts: 162000 | #Constraints: 21815
440.60/441.86 c #Conflicts: 163000 | #Constraints: 22815
440.60/441.86 c INPROCESSING
440.60/441.86 c GARBAGE COLLECT
440.60/441.86 c #Conflicts: 164000 | #Constraints: 15816
440.60/441.86 c #Conflicts: 165000 | #Constraints: 16816
440.60/441.86 c #Conflicts: 166000 | #Constraints: 17816
440.60/441.86 c #Conflicts: 167000 | #Constraints: 18816
440.60/441.86 c #Conflicts: 168000 | #Constraints: 19816
440.60/441.86 c #Conflicts: 169000 | #Constraints: 20816
440.60/441.86 c #Conflicts: 170000 | #Constraints: 21816
440.60/441.86 c #Conflicts: 171000 | #Constraints: 22816
440.60/441.86 c INPROCESSING
440.60/441.86 c GARBAGE COLLECT
440.60/441.86 c #Conflicts: 172000 | #Constraints: 15616
440.60/441.86 c #Conflicts: 173000 | #Constraints: 16616
440.60/441.86 c #Conflicts: 174000 | #Constraints: 17616
440.60/441.86 c #Conflicts: 175000 | #Constraints: 18616
440.60/441.86 c #Conflicts: 176000 | #Constraints: 19616
440.60/441.86 c #Conflicts: 177000 | #Constraints: 20616
440.60/441.86 c #Conflicts: 178000 | #Constraints: 21616
440.60/441.86 c #Conflicts: 179000 | #Constraints: 22616
440.60/441.86 c #Conflicts: 180000 | #Constraints: 23616
440.60/441.86 c INPROCESSING
440.60/441.86 c GARBAGE COLLECT
440.60/441.86 c #Conflicts: 181000 | #Constraints: 16214
440.60/441.86 c #Conflicts: 182000 | #Constraints: 17214
440.60/441.86 c #Conflicts: 183000 | #Constraints: 18214
440.60/441.86 c #Conflicts: 184000 | #Constraints: 19214
440.60/441.86 c #Conflicts: 185000 | #Constraints: 20215
440.60/441.86 c #Conflicts: 186000 | #Constraints: 21215
440.60/441.86 c #Conflicts: 187000 | #Constraints: 22215
440.60/441.86 c #Conflicts: 188000 | #Constraints: 23215
440.60/441.86 c #Conflicts: 189000 | #Constraints: 24215
440.60/441.86 c INPROCESSING
440.60/441.86 c GARBAGE COLLECT
440.60/441.86 c #Conflicts: 190000 | #Constraints: 16213
440.60/441.86 c #Conflicts: 191000 | #Constraints: 17213
440.60/441.86 c #Conflicts: 192000 | #Constraints: 18213
440.60/441.86 c #Conflicts: 193000 | #Constraints: 19213
440.60/441.86 c #Conflicts: 194000 | #Constraints: 20213
440.60/441.86 c #Conflicts: 195000 | #Constraints: 21213
440.60/441.86 c #Conflicts: 196000 | #Constraints: 22213
440.60/441.86 c #Conflicts: 197000 | #Constraints: 23213
440.60/441.86 c #Conflicts: 198000 | #Constraints: 24213
440.60/441.86 c INPROCESSING
440.60/441.86 c GARBAGE COLLECT
440.60/441.86 c #Conflicts: 199000 | #Constraints: 16615
440.60/441.86 c #Conflicts: 200000 | #Constraints: 17615
440.60/441.86 c #Conflicts: 201000 | #Constraints: 18615
631.51/633.27 c #Conflicts: 202000 | #Constraints: 19615
631.51/633.27 c #Conflicts: 203000 | #Constraints: 20615
631.51/633.27 c #Conflicts: 204000 | #Constraints: 21615
631.51/633.27 c #Conflicts: 205000 | #Constraints: 22615
631.51/633.27 c #Conflicts: 206000 | #Constraints: 23615
631.51/633.27 c #Conflicts: 207000 | #Constraints: 24615
631.51/633.27 c INPROCESSING
631.51/633.27 c GARBAGE COLLECT
631.51/633.27 c #Conflicts: 208000 | #Constraints: 16715
631.51/633.27 c #Conflicts: 209000 | #Constraints: 17715
631.51/633.27 c #Conflicts: 210000 | #Constraints: 18715
631.51/633.27 c #Conflicts: 211000 | #Constraints: 19715
631.51/633.27 c #Conflicts: 212000 | #Constraints: 20715
631.51/633.27 c #Conflicts: 213000 | #Constraints: 21715
631.51/633.27 c #Conflicts: 214000 | #Constraints: 22715
631.51/633.27 c #Conflicts: 215000 | #Constraints: 23715
631.51/633.27 c #Conflicts: 216000 | #Constraints: 24715
631.51/633.27 c INPROCESSING
631.51/633.27 c GARBAGE COLLECT
631.51/633.27 c #Conflicts: 217000 | #Constraints: 16566
631.51/633.27 c #Conflicts: 218000 | #Constraints: 17566
631.51/633.27 c #Conflicts: 219000 | #Constraints: 18566
631.51/633.27 c #Conflicts: 220000 | #Constraints: 19566
631.51/633.27 c #Conflicts: 221000 | #Constraints: 20566
631.51/633.27 c #Conflicts: 222000 | #Constraints: 21566
631.51/633.27 c #Conflicts: 223000 | #Constraints: 22566
631.51/633.27 c #Conflicts: 224000 | #Constraints: 23566
631.51/633.27 c #Conflicts: 225000 | #Constraints: 24566
631.51/633.27 c #Conflicts: 226000 | #Constraints: 25566
631.51/633.27 c INPROCESSING
631.51/633.27 c GARBAGE COLLECT
631.51/633.27 c #Conflicts: 227000 | #Constraints: 17191
631.51/633.27 c #Conflicts: 228000 | #Constraints: 18191
631.51/633.27 c #Conflicts: 229000 | #Constraints: 19191
631.51/633.27 c #Conflicts: 230000 | #Constraints: 20191
631.51/633.27 c #Conflicts: 231000 | #Constraints: 21191
631.51/633.27 c #Conflicts: 232000 | #Constraints: 22191
631.51/633.27 c #Conflicts: 233000 | #Constraints: 23191
631.51/633.27 c #Conflicts: 234000 | #Constraints: 24191
631.51/633.27 c #Conflicts: 235000 | #Constraints: 25191
631.51/633.27 c #Conflicts: 236000 | #Constraints: 26191
631.51/633.27 c INPROCESSING
631.51/633.27 c GARBAGE COLLECT
631.51/633.27 c #Conflicts: 237000 | #Constraints: 17601
631.51/633.27 c #Conflicts: 238000 | #Constraints: 18601
631.51/633.27 c #Conflicts: 239000 | #Constraints: 19601
631.51/633.27 c #Conflicts: 240000 | #Constraints: 20601
631.51/633.27 c #Conflicts: 241000 | #Constraints: 21601
631.51/633.27 c #Conflicts: 242000 | #Constraints: 22601
631.51/633.27 c #Conflicts: 243000 | #Constraints: 23601
631.51/633.27 c #Conflicts: 244000 | #Constraints: 24601
631.51/633.27 c #Conflicts: 245000 | #Constraints: 25601
631.51/633.27 c #Conflicts: 246000 | #Constraints: 26601
631.51/633.27 c INPROCESSING
631.51/633.27 c GARBAGE COLLECT
631.51/633.27 c #Conflicts: 247000 | #Constraints: 17807
631.51/633.27 c #Conflicts: 248000 | #Constraints: 18807
631.51/633.27 c #Conflicts: 249000 | #Constraints: 19807
631.51/633.27 c #Conflicts: 250000 | #Constraints: 20807
631.51/633.27 c #Conflicts: 251000 | #Constraints: 21807
631.51/633.27 c #Conflicts: 252000 | #Constraints: 22807
631.51/633.27 c #Conflicts: 253000 | #Constraints: 23807
631.51/633.27 c #Conflicts: 254000 | #Constraints: 24807
631.51/633.27 c #Conflicts: 255000 | #Constraints: 25807
631.51/633.27 c #Conflicts: 256000 | #Constraints: 26807
631.51/633.27 c INPROCESSING
631.51/633.27 c GARBAGE COLLECT
631.51/633.27 c #Conflicts: 257000 | #Constraints: 17811
631.51/633.27 c #Conflicts: 258000 | #Constraints: 18811
631.51/633.27 c #Conflicts: 259000 | #Constraints: 19811
631.51/633.27 c #Conflicts: 260000 | #Constraints: 20811
631.51/633.27 c #Conflicts: 261000 | #Constraints: 21811
631.51/633.27 c #Conflicts: 262000 | #Constraints: 22811
631.51/633.27 c #Conflicts: 263000 | #Constraints: 23811
631.51/633.27 c #Conflicts: 264000 | #Constraints: 24811
631.51/633.27 c #Conflicts: 265000 | #Constraints: 25811
631.51/633.27 c #Conflicts: 266000 | #Constraints: 26811
631.51/633.27 c INPROCESSING
631.51/633.27 c GARBAGE COLLECT
631.51/633.27 c #Conflicts: 267000 | #Constraints: 17612
631.51/633.27 c #Conflicts: 268000 | #Constraints: 18612
631.51/633.27 c #Conflicts: 269000 | #Constraints: 19612
631.51/633.27 c #Conflicts: 270000 | #Constraints: 20612
631.51/633.27 c #Conflicts: 271000 | #Constraints: 21612
631.51/633.27 c #Conflicts: 272000 | #Constraints: 22612
631.51/633.27 c #Conflicts: 273000 | #Constraints: 23612
631.51/633.27 c #Conflicts: 274000 | #Constraints: 24612
631.51/633.27 c #Conflicts: 275000 | #Constraints: 25612
645.37/647.14 c #Conflicts: 276000 | #Constraints: 26612
645.37/647.14 c #Conflicts: 277000 | #Constraints: 27612
645.37/647.14 c INPROCESSING
645.37/647.14 c GARBAGE COLLECT
645.37/647.14 c #Conflicts: 278000 | #Constraints: 18212
645.37/647.14 c #Conflicts: 279000 | #Constraints: 19212
645.37/647.14 c #Conflicts: 280000 | #Constraints: 20212
645.37/647.14 c #Conflicts: 281000 | #Constraints: 21212
645.37/647.14 c #Conflicts: 282000 | #Constraints: 22212
645.37/647.14 c #Conflicts: 283000 | #Constraints: 23212
645.37/647.14 c #Conflicts: 284000 | #Constraints: 24212
645.37/647.14 c #Conflicts: 285000 | #Constraints: 25212
645.37/647.14 c #Conflicts: 286000 | #Constraints: 26212
645.37/647.14 c #Conflicts: 287000 | #Constraints: 27212
645.37/647.14 c #Conflicts: 288000 | #Constraints: 28212
645.37/647.14 c INPROCESSING
645.37/647.14 c GARBAGE COLLECT
645.37/647.14 c #Conflicts: 289000 | #Constraints: 18613
645.37/647.14 c #Conflicts: 290000 | #Constraints: 19613
645.37/647.14 c #Conflicts: 291000 | #Constraints: 20613
645.37/647.14 c #Conflicts: 292000 | #Constraints: 21613
645.37/647.14 c #Conflicts: 293000 | #Constraints: 22613
645.37/647.14 c bounds - >= 283278655555190 @ 640.607
649.86/651.61 c #Conflicts: 294000 | #Constraints: 23629
649.86/651.61 c #Conflicts: 295000 | #Constraints: 24629
649.86/651.61 c #Conflicts: 296000 | #Constraints: 25629
649.86/651.61 c #Conflicts: 297000 | #Constraints: 26629
649.86/651.61 c #Conflicts: 298000 | #Constraints: 27629
649.86/651.61 c #Conflicts: 299000 | #Constraints: 28629
649.86/651.61 c INPROCESSING
649.86/651.61 c GARBAGE COLLECT
649.86/651.61 c bounds - >= 283430153815670 @ 645.046
649.86/651.61 c bounds - >= 283561225815670 @ 645.049
649.86/651.61 c bounds - >= 283692297815670 @ 645.052
649.86/651.62 c bounds - >= 283823369815670 @ 645.055
649.86/651.62 c bounds - >= 283954441815670 @ 645.059
649.86/651.62 c bounds - >= 284085513815670 @ 645.062
649.86/651.63 c bounds - >= 284216585815670 @ 645.064
649.86/651.63 c bounds - >= 284347657815670 @ 645.067
653.45/655.20 c #Conflicts: 300000 | #Constraints: 18860
653.45/655.20 c #Conflicts: 301000 | #Constraints: 19860
653.45/655.20 c #Conflicts: 302000 | #Constraints: 20860
653.45/655.20 c #Conflicts: 303000 | #Constraints: 21860
653.45/655.20 c #Conflicts: 304000 | #Constraints: 22860
653.45/655.20 c #Conflicts: 305000 | #Constraints: 23860
653.45/655.20 c bounds - >= 284478729815670 @ 648.575
697.83/699.75 c #Conflicts: 306000 | #Constraints: 24864
697.83/699.75 c #Conflicts: 307000 | #Constraints: 25864
697.83/699.75 c #Conflicts: 308000 | #Constraints: 26864
697.83/699.75 c #Conflicts: 309000 | #Constraints: 27864
697.83/699.75 c #Conflicts: 310000 | #Constraints: 28864
697.83/699.75 c INPROCESSING
697.83/699.75 c GARBAGE COLLECT
697.83/699.75 c #Conflicts: 311000 | #Constraints: 18843
697.83/699.75 c #Conflicts: 312000 | #Constraints: 19843
697.83/699.75 c #Conflicts: 313000 | #Constraints: 20843
697.83/699.75 c #Conflicts: 314000 | #Constraints: 21843
697.83/699.75 c #Conflicts: 315000 | #Constraints: 22843
697.83/699.75 c #Conflicts: 316000 | #Constraints: 23843
697.83/699.75 c #Conflicts: 317000 | #Constraints: 24843
697.83/699.75 c #Conflicts: 318000 | #Constraints: 25843
697.83/699.75 c #Conflicts: 319000 | #Constraints: 26843
697.83/699.75 c #Conflicts: 320000 | #Constraints: 27843
697.83/699.75 c #Conflicts: 321000 | #Constraints: 28843
697.83/699.75 c INPROCESSING
697.83/699.75 c GARBAGE COLLECT
697.83/699.75 c bounds - >= 284609801815670 @ 692.735
697.83/699.75 c bounds - >= 284740873815670 @ 692.738
697.83/699.76 c bounds - >= 284871945815670 @ 692.741
697.83/699.76 c bounds - >= 285003017815670 @ 692.746
849.05/851.36 c #Conflicts: 322000 | #Constraints: 18662
849.05/851.36 c #Conflicts: 323000 | #Constraints: 19662
849.05/851.36 c #Conflicts: 324000 | #Constraints: 20662
849.05/851.36 c #Conflicts: 325000 | #Constraints: 21662
849.05/851.36 c #Conflicts: 326000 | #Constraints: 22662
849.05/851.36 c #Conflicts: 327000 | #Constraints: 23662
849.05/851.36 c #Conflicts: 328000 | #Constraints: 24662
849.05/851.36 c #Conflicts: 329000 | #Constraints: 25662
849.05/851.36 c #Conflicts: 330000 | #Constraints: 26662
849.05/851.36 c #Conflicts: 331000 | #Constraints: 27662
849.05/851.36 c #Conflicts: 332000 | #Constraints: 28662
849.05/851.36 c #Conflicts: 333000 | #Constraints: 29662
849.05/851.36 c INPROCESSING
849.05/851.36 c GARBAGE COLLECT
849.05/851.36 c #Conflicts: 334000 | #Constraints: 19255
849.05/851.36 c #Conflicts: 335000 | #Constraints: 20255
849.05/851.36 c #Conflicts: 336000 | #Constraints: 21255
849.05/851.36 c #Conflicts: 337000 | #Constraints: 22255
849.05/851.36 c #Conflicts: 338000 | #Constraints: 23255
849.05/851.36 c #Conflicts: 339000 | #Constraints: 24255
849.05/851.36 c #Conflicts: 340000 | #Constraints: 25255
849.05/851.36 c #Conflicts: 341000 | #Constraints: 26255
849.05/851.36 c #Conflicts: 342000 | #Constraints: 27255
849.05/851.36 c #Conflicts: 343000 | #Constraints: 28255
849.05/851.36 c #Conflicts: 344000 | #Constraints: 29255
849.05/851.36 c #Conflicts: 345000 | #Constraints: 30255
849.05/851.36 c INPROCESSING
849.05/851.36 c GARBAGE COLLECT
849.05/851.36 c #Conflicts: 346000 | #Constraints: 19654
849.05/851.36 c #Conflicts: 347000 | #Constraints: 20654
849.05/851.36 c #Conflicts: 348000 | #Constraints: 21654
849.05/851.36 c #Conflicts: 349000 | #Constraints: 22654
849.05/851.36 c #Conflicts: 350000 | #Constraints: 23654
849.05/851.36 c #Conflicts: 351000 | #Constraints: 24654
849.05/851.36 c #Conflicts: 352000 | #Constraints: 25654
849.05/851.36 c #Conflicts: 353000 | #Constraints: 26654
849.05/851.36 c #Conflicts: 354000 | #Constraints: 27654
849.05/851.36 c #Conflicts: 355000 | #Constraints: 28654
849.05/851.36 c #Conflicts: 356000 | #Constraints: 29654
849.05/851.36 c #Conflicts: 357000 | #Constraints: 30654
849.05/851.36 c INPROCESSING
849.05/851.36 c GARBAGE COLLECT
849.05/851.36 c #Conflicts: 358000 | #Constraints: 19854
849.05/851.36 c #Conflicts: 359000 | #Constraints: 20854
849.05/851.36 c #Conflicts: 360000 | #Constraints: 21854
849.05/851.36 c #Conflicts: 361000 | #Constraints: 22854
849.05/851.36 c #Conflicts: 362000 | #Constraints: 23854
849.05/851.36 c #Conflicts: 363000 | #Constraints: 24854
849.05/851.36 c #Conflicts: 364000 | #Constraints: 25854
849.05/851.36 c #Conflicts: 365000 | #Constraints: 26854
849.05/851.36 c #Conflicts: 366000 | #Constraints: 27854
849.05/851.36 c #Conflicts: 367000 | #Constraints: 28854
849.05/851.36 c #Conflicts: 368000 | #Constraints: 29854
849.05/851.36 c #Conflicts: 369000 | #Constraints: 30854
849.05/851.36 c INPROCESSING
849.05/851.36 c GARBAGE COLLECT
849.05/851.36 c bounds - >= 285251530327670 @ 843.043
849.05/851.36 c bounds - >= 285396485473910 @ 843.049
849.05/851.39 c bounds - >= 285527557473910 @ 843.069
849.14/851.41 c bounds - >= 285658629473910 @ 843.092
849.14/851.42 c bounds - >= 285789701473910 @ 843.103
849.14/851.45 c bounds - >= 285920773473910 @ 843.125
849.14/851.48 c bounds - >= 286051845473910 @ 843.152
849.14/851.49 c bounds - >= 286182917473910 @ 843.166
849.24/851.51 c bounds - >= 286313989473910 @ 843.183
849.24/851.59 c bounds - >= 286445061473910 @ 843.26
849.44/851.70 c bounds - >= 286576133473910 @ 843.373
849.44/851.79 c bounds - >= 286813782738550 @ 843.457
849.54/851.83 c bounds - >= 286944854738550 @ 843.498
925.64/928.18 c #Conflicts: 370000 | #Constraints: 20048
925.64/928.18 c #Conflicts: 371000 | #Constraints: 21048
925.64/928.18 c #Conflicts: 372000 | #Constraints: 22048
925.64/928.18 c #Conflicts: 373000 | #Constraints: 23048
925.64/928.18 c #Conflicts: 374000 | #Constraints: 24048
925.64/928.18 c #Conflicts: 375000 | #Constraints: 25048
925.64/928.18 c #Conflicts: 376000 | #Constraints: 26048
925.64/928.18 c #Conflicts: 377000 | #Constraints: 27048
925.64/928.18 c #Conflicts: 378000 | #Constraints: 28048
925.64/928.18 c #Conflicts: 379000 | #Constraints: 29048
925.64/928.18 c #Conflicts: 380000 | #Constraints: 30048
925.64/928.18 c #Conflicts: 381000 | #Constraints: 31048
925.64/928.18 c INPROCESSING
925.64/928.18 c GARBAGE COLLECT
925.64/928.18 c #Conflicts: 382000 | #Constraints: 19756
925.64/928.18 c #Conflicts: 383000 | #Constraints: 20756
925.64/928.18 c #Conflicts: 384000 | #Constraints: 21756
925.64/928.18 c #Conflicts: 385000 | #Constraints: 22756
925.64/928.18 c #Conflicts: 386000 | #Constraints: 23756
925.64/928.18 c #Conflicts: 387000 | #Constraints: 24756
925.64/928.18 c #Conflicts: 388000 | #Constraints: 25756
925.64/928.18 c #Conflicts: 389000 | #Constraints: 26756
925.64/928.18 c #Conflicts: 390000 | #Constraints: 27756
925.64/928.18 c #Conflicts: 391000 | #Constraints: 28756
925.64/928.18 c #Conflicts: 392000 | #Constraints: 29756
925.64/928.18 c #Conflicts: 393000 | #Constraints: 30756
925.64/928.18 c #Conflicts: 394000 | #Constraints: 31756
925.64/928.18 c INPROCESSING
925.64/928.18 c GARBAGE COLLECT
925.64/928.18 c #Conflicts: 395000 | #Constraints: 20406
925.64/928.18 c #Conflicts: 396000 | #Constraints: 21406
925.64/928.18 c #Conflicts: 397000 | #Constraints: 22406
925.64/928.18 c #Conflicts: 398000 | #Constraints: 23406
925.64/928.18 c #Conflicts: 399000 | #Constraints: 24406
925.64/928.18 c #Conflicts: 400000 | #Constraints: 25406
925.64/928.18 c #Conflicts: 401000 | #Constraints: 26406
925.64/928.18 c #Conflicts: 402000 | #Constraints: 27406
925.64/928.18 c #Conflicts: 403000 | #Constraints: 28406
925.64/928.18 c #Conflicts: 404000 | #Constraints: 29406
925.64/928.18 c #Conflicts: 405000 | #Constraints: 30406
925.64/928.18 c #Conflicts: 406000 | #Constraints: 31406
925.64/928.18 c #Conflicts: 407000 | #Constraints: 32406
925.64/928.18 c INPROCESSING
925.64/928.18 c GARBAGE COLLECT
925.64/928.18 c #Conflicts: 408000 | #Constraints: 20860
925.64/928.18 c #Conflicts: 409000 | #Constraints: 21860
925.64/928.18 c #Conflicts: 410000 | #Constraints: 22860
925.64/928.18 c #Conflicts: 411000 | #Constraints: 23860
925.64/928.18 c #Conflicts: 412000 | #Constraints: 24860
925.64/928.18 c #Conflicts: 413000 | #Constraints: 25860
925.64/928.18 c #Conflicts: 414000 | #Constraints: 26860
925.64/928.18 c #Conflicts: 415000 | #Constraints: 27860
925.64/928.18 c #Conflicts: 416000 | #Constraints: 28860
925.64/928.18 c #Conflicts: 417000 | #Constraints: 29860
925.64/928.18 c #Conflicts: 418000 | #Constraints: 30860
925.64/928.18 c #Conflicts: 419000 | #Constraints: 31860
925.64/928.18 c #Conflicts: 420000 | #Constraints: 32860
925.64/928.18 c INPROCESSING
925.64/928.18 c GARBAGE COLLECT
925.64/928.18 c #Conflicts: 421000 | #Constraints: 21075
925.64/928.18 c #Conflicts: 422000 | #Constraints: 22075
925.64/928.18 c #Conflicts: 423000 | #Constraints: 23075
925.64/928.18 c #Conflicts: 424000 | #Constraints: 24075
925.64/928.18 c #Conflicts: 425000 | #Constraints: 25075
925.64/928.18 c #Conflicts: 426000 | #Constraints: 26075
925.64/928.18 c bounds - >= 287075926738550 @ 919.04
925.64/928.19 c bounds - >= 287206998738550 @ 919.042
1107.07/1110.01 c #Conflicts: 427000 | #Constraints: 27086
1107.07/1110.01 c #Conflicts: 428000 | #Constraints: 28086
1107.07/1110.01 c #Conflicts: 429000 | #Constraints: 29086
1107.07/1110.01 c #Conflicts: 430000 | #Constraints: 30086
1107.07/1110.01 c #Conflicts: 431000 | #Constraints: 31086
1107.07/1110.01 c #Conflicts: 432000 | #Constraints: 32086
1107.07/1110.01 c #Conflicts: 433000 | #Constraints: 33086
1107.07/1110.01 c INPROCESSING
1107.07/1110.01 c GARBAGE COLLECT
1107.07/1110.01 c #Conflicts: 434000 | #Constraints: 21096
1107.07/1110.01 c #Conflicts: 435000 | #Constraints: 22096
1107.07/1110.01 c #Conflicts: 436000 | #Constraints: 23096
1107.07/1110.01 c #Conflicts: 437000 | #Constraints: 24096
1107.07/1110.01 c #Conflicts: 438000 | #Constraints: 25096
1107.07/1110.01 c #Conflicts: 439000 | #Constraints: 26096
1107.07/1110.01 c #Conflicts: 440000 | #Constraints: 27096
1107.07/1110.01 c #Conflicts: 441000 | #Constraints: 28096
1107.07/1110.01 c #Conflicts: 442000 | #Constraints: 29096
1107.07/1110.01 c #Conflicts: 443000 | #Constraints: 30096
1107.07/1110.01 c #Conflicts: 444000 | #Constraints: 31096
1107.07/1110.01 c #Conflicts: 445000 | #Constraints: 32096
1107.07/1110.01 c #Conflicts: 446000 | #Constraints: 33096
1107.07/1110.01 c INPROCESSING
1107.07/1110.01 c GARBAGE COLLECT
1107.07/1110.01 c #Conflicts: 447000 | #Constraints: 20903
1107.07/1110.01 c #Conflicts: 448000 | #Constraints: 21903
1107.07/1110.01 c #Conflicts: 449000 | #Constraints: 22903
1107.07/1110.01 c #Conflicts: 450000 | #Constraints: 23903
1107.07/1110.01 c #Conflicts: 451000 | #Constraints: 24903
1107.07/1110.01 c #Conflicts: 452000 | #Constraints: 25903
1107.07/1110.01 c #Conflicts: 453000 | #Constraints: 26903
1107.07/1110.01 c #Conflicts: 454000 | #Constraints: 27903
1107.07/1110.01 c #Conflicts: 455000 | #Constraints: 28903
1107.07/1110.01 c #Conflicts: 456000 | #Constraints: 29903
1107.07/1110.01 c #Conflicts: 457000 | #Constraints: 30903
1107.07/1110.01 c #Conflicts: 458000 | #Constraints: 31903
1107.07/1110.01 c #Conflicts: 459000 | #Constraints: 32903
1107.07/1110.01 c #Conflicts: 460000 | #Constraints: 33903
1107.07/1110.01 c INPROCESSING
1107.07/1110.01 c GARBAGE COLLECT
1107.07/1110.01 c #Conflicts: 461000 | #Constraints: 21514
1107.07/1110.01 c #Conflicts: 462000 | #Constraints: 22514
1107.07/1110.01 c #Conflicts: 463000 | #Constraints: 23514
1107.07/1110.01 c #Conflicts: 464000 | #Constraints: 24514
1107.07/1110.01 c #Conflicts: 465000 | #Constraints: 25514
1107.07/1110.01 c #Conflicts: 466000 | #Constraints: 26514
1107.07/1110.01 c #Conflicts: 467000 | #Constraints: 27514
1107.07/1110.01 c #Conflicts: 468000 | #Constraints: 28514
1107.07/1110.01 c #Conflicts: 469000 | #Constraints: 29514
1107.07/1110.01 c #Conflicts: 470000 | #Constraints: 30514
1107.07/1110.01 c #Conflicts: 471000 | #Constraints: 31514
1107.07/1110.01 c #Conflicts: 472000 | #Constraints: 32514
1107.07/1110.01 c #Conflicts: 473000 | #Constraints: 33514
1107.07/1110.01 c #Conflicts: 474000 | #Constraints: 34514
1107.07/1110.01 c INPROCESSING
1107.07/1110.01 c GARBAGE COLLECT
1107.07/1110.01 c #Conflicts: 475000 | #Constraints: 21931
1107.07/1110.01 c #Conflicts: 476000 | #Constraints: 22931
1107.07/1110.01 c #Conflicts: 477000 | #Constraints: 23931
1107.07/1110.01 c #Conflicts: 478000 | #Constraints: 24931
1107.07/1110.01 c #Conflicts: 479000 | #Constraints: 25931
1107.07/1110.01 c #Conflicts: 480000 | #Constraints: 26931
1107.07/1110.01 c #Conflicts: 481000 | #Constraints: 27931
1107.07/1110.01 c #Conflicts: 482000 | #Constraints: 28931
1107.07/1110.01 c #Conflicts: 483000 | #Constraints: 29931
1107.07/1110.01 c #Conflicts: 484000 | #Constraints: 30931
1107.07/1110.01 c #Conflicts: 485000 | #Constraints: 31931
1107.07/1110.01 c #Conflicts: 486000 | #Constraints: 32931
1107.07/1110.01 c #Conflicts: 487000 | #Constraints: 33931
1107.07/1110.01 c #Conflicts: 488000 | #Constraints: 34931
1107.07/1110.01 c INPROCESSING
1107.07/1110.01 c GARBAGE COLLECT
1107.07/1110.01 c #Conflicts: 489000 | #Constraints: 22127
1107.07/1110.01 c #Conflicts: 490000 | #Constraints: 23127
1107.07/1110.01 c #Conflicts: 491000 | #Constraints: 24127
1107.07/1110.01 c #Conflicts: 492000 | #Constraints: 25127
1107.07/1110.01 c #Conflicts: 493000 | #Constraints: 26127
1107.07/1110.01 c #Conflicts: 494000 | #Constraints: 27127
1107.07/1110.01 c #Conflicts: 495000 | #Constraints: 28127
1107.07/1110.01 c #Conflicts: 496000 | #Constraints: 29127
1107.07/1110.01 c #Conflicts: 497000 | #Constraints: 30127
1107.07/1110.01 c #Conflicts: 498000 | #Constraints: 31127
1107.07/1110.01 c #Conflicts: 499000 | #Constraints: 32127
1107.07/1110.01 c #Conflicts: 500000 | #Constraints: 33127
1107.07/1110.01 c #Conflicts: 501000 | #Constraints: 34127
1107.07/1110.01 c #Conflicts: 502000 | #Constraints: 35127
1277.45/1280.81 c INPROCESSING
1277.45/1280.81 c GARBAGE COLLECT
1277.45/1280.81 c #Conflicts: 503000 | #Constraints: 22128
1277.45/1280.81 c #Conflicts: 504000 | #Constraints: 23128
1277.45/1280.81 c #Conflicts: 505000 | #Constraints: 24128
1277.45/1280.81 c #Conflicts: 506000 | #Constraints: 25128
1277.45/1280.81 c #Conflicts: 507000 | #Constraints: 26128
1277.45/1280.81 c #Conflicts: 508000 | #Constraints: 27128
1277.45/1280.81 c #Conflicts: 509000 | #Constraints: 28128
1277.45/1280.81 c #Conflicts: 510000 | #Constraints: 29128
1277.45/1280.81 c #Conflicts: 511000 | #Constraints: 30128
1277.45/1280.81 c #Conflicts: 512000 | #Constraints: 31128
1277.45/1280.81 c #Conflicts: 513000 | #Constraints: 32128
1277.45/1280.81 c #Conflicts: 514000 | #Constraints: 33128
1277.45/1280.81 c #Conflicts: 515000 | #Constraints: 34128
1277.45/1280.81 c #Conflicts: 516000 | #Constraints: 35128
1277.45/1280.81 c INPROCESSING
1277.45/1280.81 c GARBAGE COLLECT
1277.45/1280.81 c #Conflicts: 517000 | #Constraints: 21926
1277.45/1280.81 c #Conflicts: 518000 | #Constraints: 22926
1277.45/1280.81 c #Conflicts: 519000 | #Constraints: 23926
1277.45/1280.81 c #Conflicts: 520000 | #Constraints: 24926
1277.45/1280.81 c #Conflicts: 521000 | #Constraints: 25926
1277.45/1280.81 c #Conflicts: 522000 | #Constraints: 26926
1277.45/1280.81 c #Conflicts: 523000 | #Constraints: 27926
1277.45/1280.81 c #Conflicts: 524000 | #Constraints: 28926
1277.45/1280.81 c #Conflicts: 525000 | #Constraints: 29926
1277.45/1280.81 c #Conflicts: 526000 | #Constraints: 30926
1277.45/1280.81 c #Conflicts: 527000 | #Constraints: 31926
1277.45/1280.81 c #Conflicts: 528000 | #Constraints: 32926
1277.45/1280.81 c #Conflicts: 529000 | #Constraints: 33926
1277.45/1280.81 c #Conflicts: 530000 | #Constraints: 34926
1277.45/1280.81 c #Conflicts: 531000 | #Constraints: 35926
1277.45/1280.81 c INPROCESSING
1277.45/1280.81 c GARBAGE COLLECT
1277.45/1280.81 c #Conflicts: 532000 | #Constraints: 22526
1277.45/1280.81 c #Conflicts: 533000 | #Constraints: 23526
1277.45/1280.81 c #Conflicts: 534000 | #Constraints: 24526
1277.45/1280.81 c #Conflicts: 535000 | #Constraints: 25526
1277.45/1280.81 c #Conflicts: 536000 | #Constraints: 26526
1277.45/1280.81 c #Conflicts: 537000 | #Constraints: 27526
1277.45/1280.81 c #Conflicts: 538000 | #Constraints: 28526
1277.45/1280.81 c #Conflicts: 539000 | #Constraints: 29526
1277.45/1280.81 c #Conflicts: 540000 | #Constraints: 30526
1277.45/1280.81 c #Conflicts: 541000 | #Constraints: 31526
1277.45/1280.81 c #Conflicts: 542000 | #Constraints: 32526
1277.45/1280.81 c #Conflicts: 543000 | #Constraints: 33526
1277.45/1280.81 c #Conflicts: 544000 | #Constraints: 34526
1277.45/1280.81 c #Conflicts: 545000 | #Constraints: 35526
1277.45/1280.81 c #Conflicts: 546000 | #Constraints: 36526
1277.45/1280.81 c INPROCESSING
1277.45/1280.81 c GARBAGE COLLECT
1277.45/1280.81 c #Conflicts: 547000 | #Constraints: 22926
1277.45/1280.81 c #Conflicts: 548000 | #Constraints: 23926
1277.45/1280.81 c #Conflicts: 549000 | #Constraints: 24926
1277.45/1280.81 c #Conflicts: 550000 | #Constraints: 25926
1277.45/1280.81 c #Conflicts: 551000 | #Constraints: 26926
1277.45/1280.81 c #Conflicts: 552000 | #Constraints: 27926
1277.45/1280.81 c #Conflicts: 553000 | #Constraints: 28926
1277.45/1280.81 c #Conflicts: 554000 | #Constraints: 29926
1277.45/1280.81 c #Conflicts: 555000 | #Constraints: 30926
1277.45/1280.81 c #Conflicts: 556000 | #Constraints: 31926
1277.45/1280.81 c #Conflicts: 557000 | #Constraints: 32926
1277.45/1280.81 c #Conflicts: 558000 | #Constraints: 33926
1277.45/1280.81 c #Conflicts: 559000 | #Constraints: 34926
1277.45/1280.81 c #Conflicts: 560000 | #Constraints: 35926
1277.45/1280.81 c #Conflicts: 561000 | #Constraints: 36926
1277.45/1280.81 c INPROCESSING
1277.45/1280.81 c GARBAGE COLLECT
1277.45/1280.81 c #Conflicts: 562000 | #Constraints: 23123
1277.45/1280.81 c #Conflicts: 563000 | #Constraints: 24123
1277.45/1280.81 c #Conflicts: 564000 | #Constraints: 25123
1277.45/1280.81 c #Conflicts: 565000 | #Constraints: 26123
1277.45/1280.81 c #Conflicts: 566000 | #Constraints: 27123
1277.45/1280.81 c #Conflicts: 567000 | #Constraints: 28123
1277.45/1280.81 c #Conflicts: 568000 | #Constraints: 29123
1277.45/1280.81 c #Conflicts: 569000 | #Constraints: 30123
1277.45/1280.81 c #Conflicts: 570000 | #Constraints: 31123
1277.45/1280.81 c #Conflicts: 571000 | #Constraints: 32123
1277.45/1280.81 c #Conflicts: 572000 | #Constraints: 33123
1277.45/1280.81 c #Conflicts: 573000 | #Constraints: 34123
1277.45/1280.81 c #Conflicts: 574000 | #Constraints: 35123
1277.45/1280.81 c #Conflicts: 575000 | #Constraints: 36123
1277.45/1280.81 c #Conflicts: 576000 | #Constraints: 37123
1277.45/1280.81 c INPROCESSING
1277.45/1280.81 c GARBAGE COLLECT
1277.45/1280.81 c #Conflicts: 577000 | #Constraints: 23105
1423.40/1427.17 c #Conflicts: 578000 | #Constraints: 24105
1423.40/1427.17 c #Conflicts: 579000 | #Constraints: 25105
1423.40/1427.17 c #Conflicts: 580000 | #Constraints: 26105
1423.40/1427.17 c #Conflicts: 581000 | #Constraints: 27105
1423.40/1427.17 c #Conflicts: 582000 | #Constraints: 28105
1423.40/1427.17 c #Conflicts: 583000 | #Constraints: 29105
1423.40/1427.17 c #Conflicts: 584000 | #Constraints: 30105
1423.40/1427.17 c #Conflicts: 585000 | #Constraints: 31105
1423.40/1427.17 c #Conflicts: 586000 | #Constraints: 32105
1423.40/1427.17 c #Conflicts: 587000 | #Constraints: 33105
1423.40/1427.17 c #Conflicts: 588000 | #Constraints: 34105
1423.40/1427.17 c #Conflicts: 589000 | #Constraints: 35105
1423.40/1427.17 c #Conflicts: 590000 | #Constraints: 36105
1423.40/1427.17 c #Conflicts: 591000 | #Constraints: 37105
1423.40/1427.17 c INPROCESSING
1423.40/1427.17 c GARBAGE COLLECT
1423.40/1427.17 c #Conflicts: 592000 | #Constraints: 22928
1423.40/1427.17 c #Conflicts: 593000 | #Constraints: 23928
1423.40/1427.17 c #Conflicts: 594000 | #Constraints: 24928
1423.40/1427.17 c #Conflicts: 595000 | #Constraints: 25928
1423.40/1427.17 c #Conflicts: 596000 | #Constraints: 26928
1423.40/1427.17 c #Conflicts: 597000 | #Constraints: 27928
1423.40/1427.17 c #Conflicts: 598000 | #Constraints: 28928
1423.40/1427.17 c #Conflicts: 599000 | #Constraints: 29928
1423.40/1427.17 c #Conflicts: 600000 | #Constraints: 30928
1423.40/1427.17 c #Conflicts: 601000 | #Constraints: 31928
1423.40/1427.17 c #Conflicts: 602000 | #Constraints: 32928
1423.40/1427.17 c #Conflicts: 603000 | #Constraints: 33928
1423.40/1427.17 c #Conflicts: 604000 | #Constraints: 34928
1423.40/1427.17 c #Conflicts: 605000 | #Constraints: 35928
1423.40/1427.17 c #Conflicts: 606000 | #Constraints: 36928
1423.40/1427.17 c #Conflicts: 607000 | #Constraints: 37928
1423.40/1427.17 c INPROCESSING
1423.40/1427.17 c GARBAGE COLLECT
1423.40/1427.17 c #Conflicts: 608000 | #Constraints: 23538
1423.40/1427.17 c #Conflicts: 609000 | #Constraints: 24538
1423.40/1427.17 c #Conflicts: 610000 | #Constraints: 25538
1423.40/1427.17 c #Conflicts: 611000 | #Constraints: 26538
1423.40/1427.17 c #Conflicts: 612000 | #Constraints: 27538
1423.40/1427.17 c #Conflicts: 613000 | #Constraints: 28538
1423.40/1427.17 c #Conflicts: 614000 | #Constraints: 29538
1423.40/1427.17 c #Conflicts: 615000 | #Constraints: 30538
1423.40/1427.17 c #Conflicts: 616000 | #Constraints: 31538
1423.40/1427.17 c #Conflicts: 617000 | #Constraints: 32538
1423.40/1427.17 c #Conflicts: 618000 | #Constraints: 33538
1423.40/1427.17 c #Conflicts: 619000 | #Constraints: 34538
1423.40/1427.17 c #Conflicts: 620000 | #Constraints: 35538
1423.40/1427.17 c #Conflicts: 621000 | #Constraints: 36538
1423.40/1427.17 c #Conflicts: 622000 | #Constraints: 37538
1423.40/1427.17 c #Conflicts: 623000 | #Constraints: 38538
1423.40/1427.17 c INPROCESSING
1423.40/1427.17 c GARBAGE COLLECT
1423.40/1427.17 c #Conflicts: 624000 | #Constraints: 23277
1423.40/1427.17 c #Conflicts: 625000 | #Constraints: 24277
1423.40/1427.17 c #Conflicts: 626000 | #Constraints: 25277
1423.40/1427.17 c #Conflicts: 627000 | #Constraints: 26277
1423.40/1427.17 c #Conflicts: 628000 | #Constraints: 27277
1423.40/1427.17 c #Conflicts: 629000 | #Constraints: 28277
1423.40/1427.17 c #Conflicts: 630000 | #Constraints: 29277
1423.40/1427.17 c #Conflicts: 631000 | #Constraints: 30277
1423.40/1427.17 c #Conflicts: 632000 | #Constraints: 31277
1423.40/1427.17 c #Conflicts: 633000 | #Constraints: 32277
1423.40/1427.17 c #Conflicts: 634000 | #Constraints: 33277
1423.40/1427.17 c #Conflicts: 635000 | #Constraints: 34277
1423.40/1427.17 c #Conflicts: 636000 | #Constraints: 35277
1423.40/1427.17 c #Conflicts: 637000 | #Constraints: 36277
1423.40/1427.17 c #Conflicts: 638000 | #Constraints: 37277
1423.40/1427.17 c #Conflicts: 639000 | #Constraints: 38277
1423.40/1427.17 c INPROCESSING
1423.40/1427.17 c GARBAGE COLLECT
1423.40/1427.17 c #Conflicts: 640000 | #Constraints: 23795
1423.40/1427.17 c #Conflicts: 641000 | #Constraints: 24795
1423.40/1427.17 c #Conflicts: 642000 | #Constraints: 25795
1423.40/1427.17 c #Conflicts: 643000 | #Constraints: 26795
1423.40/1427.17 c #Conflicts: 644000 | #Constraints: 27795
1423.40/1427.17 c #Conflicts: 645000 | #Constraints: 28795
1423.40/1427.17 c #Conflicts: 646000 | #Constraints: 29795
1423.40/1427.17 c #Conflicts: 647000 | #Constraints: 30795
1423.40/1427.17 c #Conflicts: 648000 | #Constraints: 31795
1423.40/1427.17 c #Conflicts: 649000 | #Constraints: 32795
1423.40/1427.17 c #Conflicts: 650000 | #Constraints: 33795
1423.40/1427.17 c #Conflicts: 651000 | #Constraints: 34795
1423.40/1427.17 c #Conflicts: 652000 | #Constraints: 35795
1423.40/1427.17 c #Conflicts: 653000 | #Constraints: 36795
1614.82/1619.00 c #Conflicts: 654000 | #Constraints: 37795
1614.82/1619.00 c #Conflicts: 655000 | #Constraints: 38795
1614.82/1619.00 c INPROCESSING
1614.82/1619.00 c GARBAGE COLLECT
1614.82/1619.00 c #Conflicts: 656000 | #Constraints: 23953
1614.82/1619.00 c #Conflicts: 657000 | #Constraints: 24953
1614.82/1619.00 c #Conflicts: 658000 | #Constraints: 25953
1614.82/1619.00 c #Conflicts: 659000 | #Constraints: 26953
1614.82/1619.00 c #Conflicts: 660000 | #Constraints: 27953
1614.82/1619.00 c #Conflicts: 661000 | #Constraints: 28953
1614.82/1619.00 c #Conflicts: 662000 | #Constraints: 29953
1614.82/1619.00 c #Conflicts: 663000 | #Constraints: 30953
1614.82/1619.00 c #Conflicts: 664000 | #Constraints: 31953
1614.82/1619.00 c #Conflicts: 665000 | #Constraints: 32953
1614.82/1619.00 c #Conflicts: 666000 | #Constraints: 33953
1614.82/1619.00 c #Conflicts: 667000 | #Constraints: 34953
1614.82/1619.00 c #Conflicts: 668000 | #Constraints: 35953
1614.82/1619.00 c #Conflicts: 669000 | #Constraints: 36953
1614.82/1619.00 c #Conflicts: 670000 | #Constraints: 37953
1614.82/1619.00 c #Conflicts: 671000 | #Constraints: 38953
1614.82/1619.00 c INPROCESSING
1614.82/1619.00 c GARBAGE COLLECT
1614.82/1619.00 c #Conflicts: 672000 | #Constraints: 23832
1614.82/1619.00 c #Conflicts: 673000 | #Constraints: 24832
1614.82/1619.00 c #Conflicts: 674000 | #Constraints: 25832
1614.82/1619.00 c #Conflicts: 675000 | #Constraints: 26832
1614.82/1619.00 c #Conflicts: 676000 | #Constraints: 27832
1614.82/1619.00 c #Conflicts: 677000 | #Constraints: 28832
1614.82/1619.00 c #Conflicts: 678000 | #Constraints: 29832
1614.82/1619.00 c #Conflicts: 679000 | #Constraints: 30832
1614.82/1619.00 c #Conflicts: 680000 | #Constraints: 31832
1614.82/1619.00 c #Conflicts: 681000 | #Constraints: 32832
1614.82/1619.00 c #Conflicts: 682000 | #Constraints: 33832
1614.82/1619.00 c #Conflicts: 683000 | #Constraints: 34832
1614.82/1619.00 c #Conflicts: 684000 | #Constraints: 35832
1614.82/1619.00 c #Conflicts: 685000 | #Constraints: 36832
1614.82/1619.00 c #Conflicts: 686000 | #Constraints: 37832
1614.82/1619.00 c #Conflicts: 687000 | #Constraints: 38832
1614.82/1619.00 c #Conflicts: 688000 | #Constraints: 39832
1614.82/1619.00 c INPROCESSING
1614.82/1619.00 c GARBAGE COLLECT
1614.82/1619.00 c #Conflicts: 689000 | #Constraints: 24473
1614.82/1619.00 c #Conflicts: 690000 | #Constraints: 25473
1614.82/1619.00 c #Conflicts: 691000 | #Constraints: 26473
1614.82/1619.00 c #Conflicts: 692000 | #Constraints: 27473
1614.82/1619.00 c #Conflicts: 693000 | #Constraints: 28473
1614.82/1619.00 c #Conflicts: 694000 | #Constraints: 29473
1614.82/1619.00 c #Conflicts: 695000 | #Constraints: 30473
1614.82/1619.00 c #Conflicts: 696000 | #Constraints: 31473
1614.82/1619.00 c #Conflicts: 697000 | #Constraints: 32473
1614.82/1619.00 c #Conflicts: 698000 | #Constraints: 33473
1614.82/1619.00 c #Conflicts: 699000 | #Constraints: 34473
1614.82/1619.00 c #Conflicts: 700000 | #Constraints: 35473
1614.82/1619.00 c #Conflicts: 701000 | #Constraints: 36473
1614.82/1619.00 c #Conflicts: 702000 | #Constraints: 37473
1614.82/1619.00 c #Conflicts: 703000 | #Constraints: 38473
1614.82/1619.00 c #Conflicts: 704000 | #Constraints: 39473
1614.82/1619.00 c #Conflicts: 705000 | #Constraints: 40473
1614.82/1619.00 c INPROCESSING
1614.82/1619.00 c GARBAGE COLLECT
1614.82/1619.00 c #Conflicts: 706000 | #Constraints: 24893
1614.82/1619.00 c #Conflicts: 707000 | #Constraints: 25893
1614.82/1619.00 c #Conflicts: 708000 | #Constraints: 26893
1614.82/1619.00 c #Conflicts: 709000 | #Constraints: 27893
1614.82/1619.00 c #Conflicts: 710000 | #Constraints: 28893
1614.82/1619.00 c #Conflicts: 711000 | #Constraints: 29893
1614.82/1619.00 c #Conflicts: 712000 | #Constraints: 30893
1614.82/1619.00 c #Conflicts: 713000 | #Constraints: 31893
1614.82/1619.00 c #Conflicts: 714000 | #Constraints: 32893
1614.82/1619.00 c #Conflicts: 715000 | #Constraints: 33893
1614.82/1619.00 c #Conflicts: 716000 | #Constraints: 34893
1614.82/1619.00 c #Conflicts: 717000 | #Constraints: 35893
1614.82/1619.00 c #Conflicts: 718000 | #Constraints: 36893
1614.82/1619.00 c #Conflicts: 719000 | #Constraints: 37893
1614.82/1619.00 c #Conflicts: 720000 | #Constraints: 38893
1614.82/1619.00 c #Conflicts: 721000 | #Constraints: 39893
1614.82/1619.00 c #Conflicts: 722000 | #Constraints: 40893
1614.82/1619.00 c INPROCESSING
1614.82/1619.00 c GARBAGE COLLECT
1614.82/1619.00 c #Conflicts: 723000 | #Constraints: 25106
1614.82/1619.00 c #Conflicts: 724000 | #Constraints: 26106
1614.82/1619.00 c #Conflicts: 725000 | #Constraints: 27106
1614.82/1619.00 c #Conflicts: 726000 | #Constraints: 28106
1614.82/1619.00 c #Conflicts: 727000 | #Constraints: 29106
1614.82/1619.00 c #Conflicts: 728000 | #Constraints: 30106
1614.82/1619.00 c #Conflicts: 729000 | #Constraints: 31106
1799.07/1803.75 c #Conflicts: 730000 | #Constraints: 32106
1799.07/1803.75 c #Conflicts: 731000 | #Constraints: 33106
1799.07/1803.75 c #Conflicts: 732000 | #Constraints: 34106
1799.07/1803.75 c #Conflicts: 733000 | #Constraints: 35106
1799.07/1803.75 c #Conflicts: 734000 | #Constraints: 36106
1799.07/1803.75 c #Conflicts: 735000 | #Constraints: 37106
1799.07/1803.75 c #Conflicts: 736000 | #Constraints: 38106
1799.07/1803.75 c #Conflicts: 737000 | #Constraints: 39106
1799.07/1803.75 c #Conflicts: 738000 | #Constraints: 40106
1799.07/1803.75 c #Conflicts: 739000 | #Constraints: 41106
1799.07/1803.75 c INPROCESSING
1799.07/1803.75 c GARBAGE COLLECT
1799.07/1803.75 c #Conflicts: 740000 | #Constraints: 25112
1799.07/1803.75 c #Conflicts: 741000 | #Constraints: 26112
1799.07/1803.75 c #Conflicts: 742000 | #Constraints: 27112
1799.07/1803.75 c #Conflicts: 743000 | #Constraints: 28112
1799.07/1803.75 c #Conflicts: 744000 | #Constraints: 29112
1799.07/1803.75 c #Conflicts: 745000 | #Constraints: 30112
1799.07/1803.75 c #Conflicts: 746000 | #Constraints: 31112
1799.07/1803.75 c #Conflicts: 747000 | #Constraints: 32112
1799.07/1803.75 c #Conflicts: 748000 | #Constraints: 33112
1799.07/1803.75 c #Conflicts: 749000 | #Constraints: 34112
1799.07/1803.75 c #Conflicts: 750000 | #Constraints: 35112
1799.07/1803.75 c #Conflicts: 751000 | #Constraints: 36112
1799.07/1803.75 c #Conflicts: 752000 | #Constraints: 37112
1799.07/1803.75 c #Conflicts: 753000 | #Constraints: 38112
1799.07/1803.75 c #Conflicts: 754000 | #Constraints: 39112
1799.07/1803.75 c #Conflicts: 755000 | #Constraints: 40112
1799.07/1803.75 c #Conflicts: 756000 | #Constraints: 41112
1799.07/1803.75 c INPROCESSING
1799.07/1803.75 c GARBAGE COLLECT
1799.07/1803.75 c #Conflicts: 757000 | #Constraints: 24912
1799.07/1803.75 c #Conflicts: 758000 | #Constraints: 25912
1799.07/1803.75 c #Conflicts: 759000 | #Constraints: 26912
1799.07/1803.75 c #Conflicts: 760000 | #Constraints: 27912
1799.07/1803.75 c #Conflicts: 761000 | #Constraints: 28912
1799.07/1803.75 c #Conflicts: 762000 | #Constraints: 29912
1799.07/1803.75 c #Conflicts: 763000 | #Constraints: 30912
1799.07/1803.75 c #Conflicts: 764000 | #Constraints: 31912
1799.07/1803.75 c #Conflicts: 765000 | #Constraints: 32912
1799.07/1803.75 c #Conflicts: 766000 | #Constraints: 33912
1799.07/1803.75 c #Conflicts: 767000 | #Constraints: 34912
1799.07/1803.75 c #Conflicts: 768000 | #Constraints: 35912
1799.07/1803.75 c #Conflicts: 769000 | #Constraints: 36912
1799.07/1803.75 c #Conflicts: 770000 | #Constraints: 37912
1799.07/1803.75 c #Conflicts: 771000 | #Constraints: 38912
1799.07/1803.75 c #Conflicts: 772000 | #Constraints: 39912
1799.07/1803.75 c #Conflicts: 773000 | #Constraints: 40912
1799.07/1803.75 c #Conflicts: 774000 | #Constraints: 41912
1799.07/1803.75 c INPROCESSING
1799.07/1803.75 c GARBAGE COLLECT
1799.07/1803.75 c #Conflicts: 775000 | #Constraints: 25515
1799.07/1803.75 c #Conflicts: 776000 | #Constraints: 26515
1799.07/1803.75 c #Conflicts: 777000 | #Constraints: 27515
1799.07/1803.75 c #Conflicts: 778000 | #Constraints: 28515
1799.07/1803.75 c #Conflicts: 779000 | #Constraints: 29515
1799.07/1803.75 c #Conflicts: 780000 | #Constraints: 30515
1799.07/1803.75 c #Conflicts: 781000 | #Constraints: 31515
1799.07/1803.75 c #Conflicts: 782000 | #Constraints: 32515
1799.07/1803.75 c #Conflicts: 783000 | #Constraints: 33515
1799.07/1803.75 c #Conflicts: 784000 | #Constraints: 34515
1799.07/1803.75 c #Conflicts: 785000 | #Constraints: 35515
1799.07/1803.75 c #Conflicts: 786000 | #Constraints: 36515
1799.07/1803.75 c #Conflicts: 787000 | #Constraints: 37515
1799.07/1803.75 c #Conflicts: 788000 | #Constraints: 38515
1799.07/1803.75 c #Conflicts: 789000 | #Constraints: 39515
1799.07/1803.75 c #Conflicts: 790000 | #Constraints: 40515
1799.07/1803.75 c #Conflicts: 791000 | #Constraints: 41515
1799.07/1803.75 c #Conflicts: 792000 | #Constraints: 42515
1799.07/1803.75 c INPROCESSING
1799.07/1803.75 c GARBAGE COLLECT
1799.07/1803.75 c #Conflicts: 793000 | #Constraints: 25868
1799.07/1803.75 c #Conflicts: 794000 | #Constraints: 26868
1799.07/1803.75 c #Conflicts: 795000 | #Constraints: 27868
1799.07/1803.75 c #Conflicts: 796000 | #Constraints: 28868
1799.07/1803.75 c #Conflicts: 797000 | #Constraints: 29868
1799.07/1803.75 c #Conflicts: 798000 | #Constraints: 30868
1799.07/1803.75 c #Conflicts: 799000 | #Constraints: 31868
1799.07/1803.75 c bounds - >= 287516538373750 @ 1786.8
1799.07/1803.75 c bounds - >= 288002742093430 @ 1786.8
1799.07/1803.75 c bounds - >= 288565114373750 @ 1786.8
1799.17/1803.86 c bounds - >= 288696186373750 @ 1786.9
1799.17/1803.86 c bounds - >= 288869411128950 @ 1786.9
1799.38/1804.10 c bounds - >= 289000483128950 @ 1787.13
1800.27/1804.95 c #Conflicts: 800000 | #Constraints: 32916
1800.27/1804.95 c #Conflicts: 801000 | #Constraints: 33916
1800.27/1804.95 c bounds - >= 289131555128950 @ 1787.98
1903.82/1908.78 c #Conflicts: 802000 | #Constraints: 34922
1903.82/1908.78 c #Conflicts: 803000 | #Constraints: 35922
1903.82/1908.78 c #Conflicts: 804000 | #Constraints: 36922
1903.82/1908.78 c #Conflicts: 805000 | #Constraints: 37922
1903.82/1908.78 c #Conflicts: 806000 | #Constraints: 38922
1903.82/1908.78 c #Conflicts: 807000 | #Constraints: 39922
1903.82/1908.78 c #Conflicts: 808000 | #Constraints: 40922
1903.82/1908.78 c #Conflicts: 809000 | #Constraints: 41922
1903.82/1908.78 c #Conflicts: 810000 | #Constraints: 42922
1903.82/1908.78 c INPROCESSING
1903.82/1908.78 c GARBAGE COLLECT
1903.82/1908.78 c #Conflicts: 811000 | #Constraints: 26146
1903.82/1908.78 c #Conflicts: 812000 | #Constraints: 27146
1903.82/1908.78 c #Conflicts: 813000 | #Constraints: 28146
1903.82/1908.78 c #Conflicts: 814000 | #Constraints: 29146
1903.82/1908.78 c #Conflicts: 815000 | #Constraints: 30146
1903.82/1908.78 c #Conflicts: 816000 | #Constraints: 31146
1903.82/1908.78 c #Conflicts: 817000 | #Constraints: 32146
1903.82/1908.78 c #Conflicts: 818000 | #Constraints: 33146
1903.82/1908.78 c #Conflicts: 819000 | #Constraints: 34146
1903.82/1908.78 c #Conflicts: 820000 | #Constraints: 35146
1903.82/1908.78 c #Conflicts: 821000 | #Constraints: 36146
1903.82/1908.78 c #Conflicts: 822000 | #Constraints: 37146
1903.82/1908.78 c #Conflicts: 823000 | #Constraints: 38146
1903.82/1908.78 c #Conflicts: 824000 | #Constraints: 39146
1903.82/1908.78 c #Conflicts: 825000 | #Constraints: 40146
1903.82/1908.78 c #Conflicts: 826000 | #Constraints: 41146
1903.82/1908.78 c #Conflicts: 827000 | #Constraints: 42146
1903.82/1908.78 c #Conflicts: 828000 | #Constraints: 43146
1903.82/1908.78 c INPROCESSING
1903.82/1908.78 c GARBAGE COLLECT
1903.82/1908.78 c #Conflicts: 829000 | #Constraints: 26199
1903.82/1908.78 c #Conflicts: 830000 | #Constraints: 27199
1903.82/1908.78 c #Conflicts: 831000 | #Constraints: 28199
1903.82/1908.78 c #Conflicts: 832000 | #Constraints: 29199
1903.82/1908.78 c #Conflicts: 833000 | #Constraints: 30199
1903.82/1908.78 c #Conflicts: 834000 | #Constraints: 31199
1903.82/1908.78 c #Conflicts: 835000 | #Constraints: 32199
1903.82/1908.78 c #Conflicts: 836000 | #Constraints: 33199
1903.82/1908.78 c #Conflicts: 837000 | #Constraints: 34199
1903.82/1908.78 c #Conflicts: 838000 | #Constraints: 35199
1903.82/1908.78 c #Conflicts: 839000 | #Constraints: 36199
1903.82/1908.78 c #Conflicts: 840000 | #Constraints: 37199
1903.82/1908.78 c #Conflicts: 841000 | #Constraints: 38199
1903.82/1908.78 c #Conflicts: 842000 | #Constraints: 39199
1903.82/1908.78 c #Conflicts: 843000 | #Constraints: 40199
1903.82/1908.78 c #Conflicts: 844000 | #Constraints: 41199
1903.82/1908.78 c #Conflicts: 845000 | #Constraints: 42199
1903.82/1908.78 c #Conflicts: 846000 | #Constraints: 43199
1903.82/1908.78 c INPROCESSING
1903.82/1908.78 c GARBAGE COLLECT
1903.82/1908.78 c #Conflicts: 847000 | #Constraints: 26036
1903.82/1908.78 c #Conflicts: 848000 | #Constraints: 27036
1903.82/1908.78 c #Conflicts: 849000 | #Constraints: 28036
1903.82/1908.78 c #Conflicts: 850000 | #Constraints: 29036
1903.82/1908.78 c #Conflicts: 851000 | #Constraints: 30036
1903.82/1908.78 c #Conflicts: 852000 | #Constraints: 31036
1903.82/1908.78 c #Conflicts: 853000 | #Constraints: 32036
1903.82/1908.78 c #Conflicts: 854000 | #Constraints: 33036
1903.82/1908.78 c #Conflicts: 855000 | #Constraints: 34036
1903.82/1908.78 c #Conflicts: 856000 | #Constraints: 35036
1903.82/1908.78 c #Conflicts: 857000 | #Constraints: 36036
1903.82/1908.78 c #Conflicts: 858000 | #Constraints: 37036
1903.82/1908.78 c #Conflicts: 859000 | #Constraints: 38036
1903.82/1908.78 c #Conflicts: 860000 | #Constraints: 39036
1903.82/1908.78 c #Conflicts: 861000 | #Constraints: 40036
1903.82/1908.78 c #Conflicts: 862000 | #Constraints: 41036
1903.82/1908.78 c #Conflicts: 863000 | #Constraints: 42036
1903.82/1908.78 c #Conflicts: 864000 | #Constraints: 43036
1903.82/1908.78 c #Conflicts: 865000 | #Constraints: 44036
1903.82/1908.78 c INPROCESSING
1903.82/1908.78 c GARBAGE COLLECT
1903.82/1908.78 c #Conflicts: 866000 | #Constraints: 26674
1903.82/1908.78 c #Conflicts: 867000 | #Constraints: 27674
1903.82/1908.78 c #Conflicts: 868000 | #Constraints: 28674
1903.82/1908.78 c #Conflicts: 869000 | #Constraints: 29674
1903.82/1908.78 c #Conflicts: 870000 | #Constraints: 30674
1903.82/1908.78 c #Conflicts: 871000 | #Constraints: 31674
1903.82/1908.78 c #Conflicts: 872000 | #Constraints: 32674
1903.82/1908.78 c #Conflicts: 873000 | #Constraints: 33674
1903.82/1908.78 c #Conflicts: 874000 | #Constraints: 34674
1903.82/1908.78 c #Conflicts: 875000 | #Constraints: 35674
1903.82/1908.78 c #Conflicts: 876000 | #Constraints: 36674
1903.82/1908.78 c #Conflicts: 877000 | #Constraints: 37674
1903.82/1908.78 c #Conflicts: 878000 | #Constraints: 38674
1931.56/1936.50 c #Conflicts: 879000 | #Constraints: 39674
1931.56/1936.50 c #Conflicts: 880000 | #Constraints: 40674
1931.56/1936.50 c #Conflicts: 881000 | #Constraints: 41675
1931.56/1936.50 c #Conflicts: 882000 | #Constraints: 42675
1931.56/1936.50 c #Conflicts: 883000 | #Constraints: 43675
1931.56/1936.50 c #Conflicts: 884000 | #Constraints: 44675
1931.56/1936.50 c INPROCESSING
1931.56/1936.50 c GARBAGE COLLECT
1931.56/1936.50 c #Conflicts: 885000 | #Constraints: 26834
1931.56/1936.50 c #Conflicts: 886000 | #Constraints: 27834
1931.56/1936.50 c #Conflicts: 887000 | #Constraints: 28834
1931.56/1936.50 c #Conflicts: 888000 | #Constraints: 29834
1931.56/1936.50 c #Conflicts: 889000 | #Constraints: 30835
1931.56/1936.50 c #Conflicts: 890000 | #Constraints: 31835
1931.56/1936.50 c #Conflicts: 891000 | #Constraints: 32835
1931.56/1936.50 c #Conflicts: 892000 | #Constraints: 33835
1931.56/1936.50 c bounds - >= 289262627128950 @ 1918.15
1936.44/1941.49 c #Conflicts: 893000 | #Constraints: 34854
1936.44/1941.49 c #Conflicts: 894000 | #Constraints: 35854
1936.44/1941.49 c #Conflicts: 895000 | #Constraints: 36854
1936.44/1941.49 c bounds - >= 289393699128950 @ 1923.08
1936.54/1941.53 c bounds - >= 289524771128950 @ 1923.12
1936.64/1941.62 c bounds - >= 289957874959990 @ 1923.22
1936.64/1941.62 c bounds - >= 290482162959990 @ 1923.22
1936.64/1941.63 c bounds - >= 290703286666870 @ 1923.22
1936.64/1941.64 c bounds - >= 290834358666870 @ 1923.23
1939.63/1944.68 c #Conflicts: 896000 | #Constraints: 37902
1939.63/1944.68 c bounds - >= 290965430666870 @ 1926.25
1999.39/2004.50 c #Conflicts: 897000 | #Constraints: 38917
1999.39/2004.50 c #Conflicts: 898000 | #Constraints: 39917
1999.39/2004.50 c #Conflicts: 899000 | #Constraints: 40918
1999.39/2004.50 c #Conflicts: 900000 | #Constraints: 41918
1999.39/2004.50 c #Conflicts: 901000 | #Constraints: 42918
1999.39/2004.50 c #Conflicts: 902000 | #Constraints: 43918
1999.39/2004.50 c #Conflicts: 903000 | #Constraints: 44918
1999.39/2004.50 c INPROCESSING
1999.39/2004.50 c GARBAGE COLLECT
1999.39/2004.50 c #Conflicts: 904000 | #Constraints: 27177
1999.39/2004.50 c #Conflicts: 905000 | #Constraints: 28177
1999.39/2004.50 c #Conflicts: 906000 | #Constraints: 29177
1999.39/2004.50 c #Conflicts: 907000 | #Constraints: 30177
1999.39/2004.50 c #Conflicts: 908000 | #Constraints: 31177
1999.39/2004.50 c #Conflicts: 909000 | #Constraints: 32177
1999.39/2004.50 c #Conflicts: 910000 | #Constraints: 33177
1999.39/2004.50 c #Conflicts: 911000 | #Constraints: 34178
1999.39/2004.50 c #Conflicts: 912000 | #Constraints: 35178
1999.39/2004.50 c bounds - >= 291096502666870 @ 1985.6
2001.18/2006.30 c #Conflicts: 913000 | #Constraints: 36193
2001.18/2006.30 c bounds - >= 291227574666870 @ 1987.39
2001.18/2006.31 c bounds - >= 291358646666870 @ 1987.4
2003.47/2008.70 c #Conflicts: 914000 | #Constraints: 37199
2003.47/2008.70 c bounds - >= 291489718666870 @ 1989.76
2003.57/2008.77 c bounds - >= 291620790666870 @ 1989.84
2007.56/2012.72 c #Conflicts: 915000 | #Constraints: 38229
2007.56/2012.72 c #Conflicts: 916000 | #Constraints: 39229
2007.56/2012.72 c bounds - >= 291907429402230 @ 1993.74
2007.56/2012.72 c bounds - >= 292038501402230 @ 1993.74
2012.96/2018.15 c #Conflicts: 917000 | #Constraints: 40235
2012.96/2018.15 c #Conflicts: 918000 | #Constraints: 41235
2012.96/2018.15 c #Conflicts: 919000 | #Constraints: 42235
2012.96/2018.15 c #Conflicts: 920000 | #Constraints: 43235
2012.96/2018.15 c #Conflicts: 921000 | #Constraints: 44235
2012.96/2018.15 c #Conflicts: 922000 | #Constraints: 45235
2012.96/2018.15 c INPROCESSING
2012.96/2018.15 c GARBAGE COLLECT
2012.96/2018.15 c #Conflicts: 923000 | #Constraints: 27107
2012.96/2018.15 c #Conflicts: 924000 | #Constraints: 28107
2012.96/2018.15 c #Conflicts: 925000 | #Constraints: 29107
2012.96/2018.15 c bounds - >= 292176640804470 @ 1999.09
2229.93/2235.60 c #Conflicts: 926000 | #Constraints: 30112
2229.93/2235.60 c #Conflicts: 927000 | #Constraints: 31112
2229.93/2235.60 c #Conflicts: 928000 | #Constraints: 32112
2229.93/2235.60 c #Conflicts: 929000 | #Constraints: 33112
2229.93/2235.60 c #Conflicts: 930000 | #Constraints: 34112
2229.93/2235.60 c #Conflicts: 931000 | #Constraints: 35112
2229.93/2235.60 c #Conflicts: 932000 | #Constraints: 36112
2229.93/2235.60 c #Conflicts: 933000 | #Constraints: 37112
2229.93/2235.60 c #Conflicts: 934000 | #Constraints: 38112
2229.93/2235.60 c #Conflicts: 935000 | #Constraints: 39112
2229.93/2235.60 c #Conflicts: 936000 | #Constraints: 40112
2229.93/2235.60 c #Conflicts: 937000 | #Constraints: 41112
2229.93/2235.60 c #Conflicts: 938000 | #Constraints: 42112
2229.93/2235.60 c #Conflicts: 939000 | #Constraints: 43112
2229.93/2235.60 c #Conflicts: 940000 | #Constraints: 44112
2229.93/2235.60 c #Conflicts: 941000 | #Constraints: 45112
2229.93/2235.60 c INPROCESSING
2229.93/2235.60 c GARBAGE COLLECT
2229.93/2235.60 c #Conflicts: 942000 | #Constraints: 27047
2229.93/2235.60 c #Conflicts: 943000 | #Constraints: 28047
2229.93/2235.60 c #Conflicts: 944000 | #Constraints: 29047
2229.93/2235.60 c #Conflicts: 945000 | #Constraints: 30047
2229.93/2235.60 c #Conflicts: 946000 | #Constraints: 31047
2229.93/2235.60 c #Conflicts: 947000 | #Constraints: 32047
2229.93/2235.60 c #Conflicts: 948000 | #Constraints: 33047
2229.93/2235.60 c #Conflicts: 949000 | #Constraints: 34047
2229.93/2235.60 c #Conflicts: 950000 | #Constraints: 35047
2229.93/2235.60 c #Conflicts: 951000 | #Constraints: 36047
2229.93/2235.60 c #Conflicts: 952000 | #Constraints: 37047
2229.93/2235.60 c #Conflicts: 953000 | #Constraints: 38047
2229.93/2235.60 c #Conflicts: 954000 | #Constraints: 39047
2229.93/2235.60 c #Conflicts: 955000 | #Constraints: 40047
2229.93/2235.60 c #Conflicts: 956000 | #Constraints: 41047
2229.93/2235.60 c #Conflicts: 957000 | #Constraints: 42047
2229.93/2235.60 c #Conflicts: 958000 | #Constraints: 43047
2229.93/2235.60 c #Conflicts: 959000 | #Constraints: 44047
2229.93/2235.60 c #Conflicts: 960000 | #Constraints: 45047
2229.93/2235.60 c #Conflicts: 961000 | #Constraints: 46047
2229.93/2235.60 c INPROCESSING
2229.93/2235.60 c GARBAGE COLLECT
2229.93/2235.60 c #Conflicts: 962000 | #Constraints: 27717
2229.93/2235.60 c #Conflicts: 963000 | #Constraints: 28717
2229.93/2235.60 c #Conflicts: 964000 | #Constraints: 29717
2229.93/2235.60 c #Conflicts: 965000 | #Constraints: 30717
2229.93/2235.60 c #Conflicts: 966000 | #Constraints: 31717
2229.93/2235.60 c #Conflicts: 967000 | #Constraints: 32717
2229.93/2235.60 c #Conflicts: 968000 | #Constraints: 33717
2229.93/2235.60 c #Conflicts: 969000 | #Constraints: 34717
2229.93/2235.60 c #Conflicts: 970000 | #Constraints: 35717
2229.93/2235.60 c #Conflicts: 971000 | #Constraints: 36717
2229.93/2235.60 c #Conflicts: 972000 | #Constraints: 37717
2229.93/2235.60 c #Conflicts: 973000 | #Constraints: 38717
2229.93/2235.60 c #Conflicts: 974000 | #Constraints: 39717
2229.93/2235.60 c #Conflicts: 975000 | #Constraints: 40717
2229.93/2235.60 c #Conflicts: 976000 | #Constraints: 41717
2229.93/2235.60 c #Conflicts: 977000 | #Constraints: 42717
2229.93/2235.60 c #Conflicts: 978000 | #Constraints: 43717
2229.93/2235.60 c #Conflicts: 979000 | #Constraints: 44717
2229.93/2235.60 c #Conflicts: 980000 | #Constraints: 45717
2229.93/2235.60 c #Conflicts: 981000 | #Constraints: 46717
2229.93/2235.60 c INPROCESSING
2229.93/2235.60 c GARBAGE COLLECT
2229.93/2235.60 c #Conflicts: 982000 | #Constraints: 28152
2229.93/2235.60 c #Conflicts: 983000 | #Constraints: 29152
2229.93/2235.60 c #Conflicts: 984000 | #Constraints: 30152
2229.93/2235.60 c #Conflicts: 985000 | #Constraints: 31152
2229.93/2235.60 c #Conflicts: 986000 | #Constraints: 32152
2229.93/2235.60 c #Conflicts: 987000 | #Constraints: 33152
2229.93/2235.60 c #Conflicts: 988000 | #Constraints: 34152
2229.93/2235.60 c #Conflicts: 989000 | #Constraints: 35152
2229.93/2235.60 c #Conflicts: 990000 | #Constraints: 36152
2229.93/2235.60 c #Conflicts: 991000 | #Constraints: 37152
2229.93/2235.60 c #Conflicts: 992000 | #Constraints: 38152
2229.93/2235.60 c #Conflicts: 993000 | #Constraints: 39152
2229.93/2235.60 c bounds - >= 292307712804470 @ 2214.86
2229.93/2235.63 c bounds - >= 292438784804470 @ 2214.88
2230.03/2235.73 c bounds - >= 292569856804470 @ 2214.99
2337.36/2343.31 c #Conflicts: 994000 | #Constraints: 40188
2337.36/2343.31 c #Conflicts: 995000 | #Constraints: 41188
2337.36/2343.31 c #Conflicts: 996000 | #Constraints: 42188
2337.36/2343.31 c #Conflicts: 997000 | #Constraints: 43188
2337.36/2343.31 c #Conflicts: 998000 | #Constraints: 44188
2337.36/2343.31 c #Conflicts: 999000 | #Constraints: 45188
2337.36/2343.31 c #Conflicts: 1000000 | #Constraints: 46188
2337.36/2343.31 c #Conflicts: 1001000 | #Constraints: 47188
2337.36/2343.31 c INPROCESSING
2337.36/2343.31 c GARBAGE COLLECT
2337.36/2343.31 c #Conflicts: 1002000 | #Constraints: 28404
2337.36/2343.31 c #Conflicts: 1003000 | #Constraints: 29404
2337.36/2343.31 c #Conflicts: 1004000 | #Constraints: 30404
2337.36/2343.31 c #Conflicts: 1005000 | #Constraints: 31404
2337.36/2343.31 c #Conflicts: 1006000 | #Constraints: 32404
2337.36/2343.31 c #Conflicts: 1007000 | #Constraints: 33404
2337.36/2343.31 c #Conflicts: 1008000 | #Constraints: 34404
2337.36/2343.31 c #Conflicts: 1009000 | #Constraints: 35404
2337.36/2343.31 c #Conflicts: 1010000 | #Constraints: 36404
2337.36/2343.31 c #Conflicts: 1011000 | #Constraints: 37404
2337.36/2343.31 c #Conflicts: 1012000 | #Constraints: 38404
2337.36/2343.31 c #Conflicts: 1013000 | #Constraints: 39404
2337.36/2343.31 c #Conflicts: 1014000 | #Constraints: 40404
2337.36/2343.31 c #Conflicts: 1015000 | #Constraints: 41404
2337.36/2343.31 c #Conflicts: 1016000 | #Constraints: 42404
2337.36/2343.31 c #Conflicts: 1017000 | #Constraints: 43404
2337.36/2343.31 c #Conflicts: 1018000 | #Constraints: 44404
2337.36/2343.31 c #Conflicts: 1019000 | #Constraints: 45404
2337.36/2343.31 c #Conflicts: 1020000 | #Constraints: 46404
2337.36/2343.31 c #Conflicts: 1021000 | #Constraints: 47404
2337.36/2343.31 c INPROCESSING
2337.36/2343.31 c GARBAGE COLLECT
2337.36/2343.31 c #Conflicts: 1022000 | #Constraints: 28419
2337.36/2343.31 c #Conflicts: 1023000 | #Constraints: 29419
2337.36/2343.31 c #Conflicts: 1024000 | #Constraints: 30419
2337.36/2343.31 c #Conflicts: 1025000 | #Constraints: 31419
2337.36/2343.31 c #Conflicts: 1026000 | #Constraints: 32419
2337.36/2343.31 c #Conflicts: 1027000 | #Constraints: 33419
2337.36/2343.31 c #Conflicts: 1028000 | #Constraints: 34419
2337.36/2343.31 c #Conflicts: 1029000 | #Constraints: 35419
2337.36/2343.31 c #Conflicts: 1030000 | #Constraints: 36419
2337.36/2343.31 c #Conflicts: 1031000 | #Constraints: 37419
2337.36/2343.31 c #Conflicts: 1032000 | #Constraints: 38419
2337.36/2343.31 c #Conflicts: 1033000 | #Constraints: 39419
2337.36/2343.31 c #Conflicts: 1034000 | #Constraints: 40419
2337.36/2343.31 c #Conflicts: 1035000 | #Constraints: 41419
2337.36/2343.31 c #Conflicts: 1036000 | #Constraints: 42419
2337.36/2343.31 c #Conflicts: 1037000 | #Constraints: 43419
2337.36/2343.31 c #Conflicts: 1038000 | #Constraints: 44419
2337.36/2343.31 c #Conflicts: 1039000 | #Constraints: 45419
2337.36/2343.31 c #Conflicts: 1040000 | #Constraints: 46419
2337.36/2343.31 c #Conflicts: 1041000 | #Constraints: 47419
2337.36/2343.31 c bounds - >= 292700928804470 @ 2321.69
2549.15/2555.68 c INPROCESSING
2549.15/2555.68 c GARBAGE COLLECT
2549.15/2555.68 c #Conflicts: 1042000 | #Constraints: 28245
2549.15/2555.68 c #Conflicts: 1043000 | #Constraints: 29245
2549.15/2555.68 c #Conflicts: 1044000 | #Constraints: 30245
2549.15/2555.68 c #Conflicts: 1045000 | #Constraints: 31245
2549.15/2555.68 c #Conflicts: 1046000 | #Constraints: 32245
2549.15/2555.68 c #Conflicts: 1047000 | #Constraints: 33245
2549.15/2555.68 c #Conflicts: 1048000 | #Constraints: 34245
2549.15/2555.68 c #Conflicts: 1049000 | #Constraints: 35245
2549.15/2555.68 c #Conflicts: 1050000 | #Constraints: 36245
2549.15/2555.68 c #Conflicts: 1051000 | #Constraints: 37245
2549.15/2555.68 c #Conflicts: 1052000 | #Constraints: 38245
2549.15/2555.68 c #Conflicts: 1053000 | #Constraints: 39245
2549.15/2555.68 c #Conflicts: 1054000 | #Constraints: 40245
2549.15/2555.68 c #Conflicts: 1055000 | #Constraints: 41245
2549.15/2555.68 c #Conflicts: 1056000 | #Constraints: 42245
2549.15/2555.68 c #Conflicts: 1057000 | #Constraints: 43245
2549.15/2555.68 c #Conflicts: 1058000 | #Constraints: 44245
2549.15/2555.68 c #Conflicts: 1059000 | #Constraints: 45245
2549.15/2555.68 c #Conflicts: 1060000 | #Constraints: 46245
2549.15/2555.68 c #Conflicts: 1061000 | #Constraints: 47245
2549.15/2555.68 c #Conflicts: 1062000 | #Constraints: 48245
2549.15/2555.68 c INPROCESSING
2549.15/2555.68 c GARBAGE COLLECT
2549.15/2555.68 c #Conflicts: 1063000 | #Constraints: 28838
2549.15/2555.68 c #Conflicts: 1064000 | #Constraints: 29838
2549.15/2555.68 c #Conflicts: 1065000 | #Constraints: 30838
2549.15/2555.68 c #Conflicts: 1066000 | #Constraints: 31838
2549.15/2555.68 c #Conflicts: 1067000 | #Constraints: 32838
2549.15/2555.68 c #Conflicts: 1068000 | #Constraints: 33838
2549.15/2555.68 c #Conflicts: 1069000 | #Constraints: 34838
2549.15/2555.68 c #Conflicts: 1070000 | #Constraints: 35838
2549.15/2555.68 c #Conflicts: 1071000 | #Constraints: 36838
2549.15/2555.68 c #Conflicts: 1072000 | #Constraints: 37838
2549.15/2555.68 c #Conflicts: 1073000 | #Constraints: 38838
2549.15/2555.68 c #Conflicts: 1074000 | #Constraints: 39838
2549.15/2555.68 c #Conflicts: 1075000 | #Constraints: 40838
2549.15/2555.68 c #Conflicts: 1076000 | #Constraints: 41838
2549.15/2555.68 c #Conflicts: 1077000 | #Constraints: 42838
2549.15/2555.68 c #Conflicts: 1078000 | #Constraints: 43838
2549.15/2555.68 c #Conflicts: 1079000 | #Constraints: 44838
2549.15/2555.68 c #Conflicts: 1080000 | #Constraints: 45838
2549.15/2555.68 c #Conflicts: 1081000 | #Constraints: 46838
2549.15/2555.68 c #Conflicts: 1082000 | #Constraints: 47838
2549.15/2555.68 c #Conflicts: 1083000 | #Constraints: 48838
2549.15/2555.68 c INPROCESSING
2549.15/2555.68 c GARBAGE COLLECT
2549.15/2555.68 c #Conflicts: 1084000 | #Constraints: 29235
2549.15/2555.68 c #Conflicts: 1085000 | #Constraints: 30235
2549.15/2555.68 c #Conflicts: 1086000 | #Constraints: 31235
2549.15/2555.68 c #Conflicts: 1087000 | #Constraints: 32235
2549.15/2555.68 c #Conflicts: 1088000 | #Constraints: 33235
2549.15/2555.68 c #Conflicts: 1089000 | #Constraints: 34235
2549.15/2555.68 c #Conflicts: 1090000 | #Constraints: 35235
2549.15/2555.68 c #Conflicts: 1091000 | #Constraints: 36235
2549.15/2555.68 c #Conflicts: 1092000 | #Constraints: 37235
2549.15/2555.68 c #Conflicts: 1093000 | #Constraints: 38235
2549.15/2555.68 c #Conflicts: 1094000 | #Constraints: 39235
2549.15/2555.68 c #Conflicts: 1095000 | #Constraints: 40235
2549.15/2555.68 c #Conflicts: 1096000 | #Constraints: 41235
2549.15/2555.68 c #Conflicts: 1097000 | #Constraints: 42235
2549.15/2555.68 c #Conflicts: 1098000 | #Constraints: 43235
2549.15/2555.68 c #Conflicts: 1099000 | #Constraints: 44235
2549.15/2555.68 c #Conflicts: 1100000 | #Constraints: 45235
2549.15/2555.68 c #Conflicts: 1101000 | #Constraints: 46235
2549.15/2555.68 c #Conflicts: 1102000 | #Constraints: 47235
2549.15/2555.68 c #Conflicts: 1103000 | #Constraints: 48235
2549.15/2555.68 c #Conflicts: 1104000 | #Constraints: 49235
2549.15/2555.68 c INPROCESSING
2549.15/2555.68 c GARBAGE COLLECT
2549.15/2555.68 c #Conflicts: 1105000 | #Constraints: 29437
2549.15/2555.68 c #Conflicts: 1106000 | #Constraints: 30437
2549.15/2555.68 c #Conflicts: 1107000 | #Constraints: 31437
2549.15/2555.68 c #Conflicts: 1108000 | #Constraints: 32437
2549.15/2555.68 c #Conflicts: 1109000 | #Constraints: 33437
2549.15/2555.68 c #Conflicts: 1110000 | #Constraints: 34437
2549.15/2555.68 c #Conflicts: 1111000 | #Constraints: 35437
2549.15/2555.68 c #Conflicts: 1112000 | #Constraints: 36437
2549.15/2555.68 c #Conflicts: 1113000 | #Constraints: 37437
2549.15/2555.68 c #Conflicts: 1114000 | #Constraints: 38438
2549.15/2555.68 c #Conflicts: 1115000 | #Constraints: 39438
2549.15/2555.68 c #Conflicts: 1116000 | #Constraints: 40438
2549.15/2555.68 c #Conflicts: 1117000 | #Constraints: 41439
2549.15/2555.68 c #Conflicts: 1118000 | #Constraints: 42439
2788.63/2795.77 c #Conflicts: 1119000 | #Constraints: 43439
2788.63/2795.77 c #Conflicts: 1120000 | #Constraints: 44439
2788.63/2795.77 c #Conflicts: 1121000 | #Constraints: 45439
2788.63/2795.77 c #Conflicts: 1122000 | #Constraints: 46439
2788.63/2795.77 c #Conflicts: 1123000 | #Constraints: 47439
2788.63/2795.77 c #Conflicts: 1124000 | #Constraints: 48439
2788.63/2795.77 c #Conflicts: 1125000 | #Constraints: 49439
2788.63/2795.77 c INPROCESSING
2788.63/2795.77 c GARBAGE COLLECT
2788.63/2795.77 c #Conflicts: 1126000 | #Constraints: 29158
2788.63/2795.77 c #Conflicts: 1127000 | #Constraints: 30158
2788.63/2795.77 c #Conflicts: 1128000 | #Constraints: 31158
2788.63/2795.77 c #Conflicts: 1129000 | #Constraints: 32158
2788.63/2795.77 c #Conflicts: 1130000 | #Constraints: 33158
2788.63/2795.77 c #Conflicts: 1131000 | #Constraints: 34158
2788.63/2795.77 c #Conflicts: 1132000 | #Constraints: 35158
2788.63/2795.77 c #Conflicts: 1133000 | #Constraints: 36158
2788.63/2795.77 c #Conflicts: 1134000 | #Constraints: 37158
2788.63/2795.77 c #Conflicts: 1135000 | #Constraints: 38158
2788.63/2795.77 c #Conflicts: 1136000 | #Constraints: 39158
2788.63/2795.77 c #Conflicts: 1137000 | #Constraints: 40158
2788.63/2795.77 c #Conflicts: 1138000 | #Constraints: 41158
2788.63/2795.77 c #Conflicts: 1139000 | #Constraints: 42158
2788.63/2795.77 c #Conflicts: 1140000 | #Constraints: 43158
2788.63/2795.77 c #Conflicts: 1141000 | #Constraints: 44158
2788.63/2795.77 c #Conflicts: 1142000 | #Constraints: 45158
2788.63/2795.77 c #Conflicts: 1143000 | #Constraints: 46158
2788.63/2795.77 c #Conflicts: 1144000 | #Constraints: 47158
2788.63/2795.77 c #Conflicts: 1145000 | #Constraints: 48158
2788.63/2795.77 c #Conflicts: 1146000 | #Constraints: 49158
2788.63/2795.77 c INPROCESSING
2788.63/2795.77 c GARBAGE COLLECT
2788.63/2795.77 c #Conflicts: 1147000 | #Constraints: 29089
2788.63/2795.77 c #Conflicts: 1148000 | #Constraints: 30089
2788.63/2795.77 c #Conflicts: 1149000 | #Constraints: 31089
2788.63/2795.77 c #Conflicts: 1150000 | #Constraints: 32089
2788.63/2795.77 c #Conflicts: 1151000 | #Constraints: 33089
2788.63/2795.77 c #Conflicts: 1152000 | #Constraints: 34089
2788.63/2795.77 c #Conflicts: 1153000 | #Constraints: 35089
2788.63/2795.77 c #Conflicts: 1154000 | #Constraints: 36089
2788.63/2795.77 c #Conflicts: 1155000 | #Constraints: 37089
2788.63/2795.77 c #Conflicts: 1156000 | #Constraints: 38089
2788.63/2795.77 c #Conflicts: 1157000 | #Constraints: 39089
2788.63/2795.77 c #Conflicts: 1158000 | #Constraints: 40089
2788.63/2795.77 c #Conflicts: 1159000 | #Constraints: 41089
2788.63/2795.77 c #Conflicts: 1160000 | #Constraints: 42089
2788.63/2795.77 c #Conflicts: 1161000 | #Constraints: 43089
2788.63/2795.77 c #Conflicts: 1162000 | #Constraints: 44089
2788.63/2795.77 c #Conflicts: 1163000 | #Constraints: 45089
2788.63/2795.77 c #Conflicts: 1164000 | #Constraints: 46089
2788.63/2795.77 c #Conflicts: 1165000 | #Constraints: 47089
2788.63/2795.77 c #Conflicts: 1166000 | #Constraints: 48089
2788.63/2795.77 c #Conflicts: 1167000 | #Constraints: 49089
2788.63/2795.77 c #Conflicts: 1168000 | #Constraints: 50089
2788.63/2795.77 c INPROCESSING
2788.63/2795.77 c GARBAGE COLLECT
2788.63/2795.77 c #Conflicts: 1169000 | #Constraints: 29754
2788.63/2795.77 c #Conflicts: 1170000 | #Constraints: 30754
2788.63/2795.77 c #Conflicts: 1171000 | #Constraints: 31754
2788.63/2795.77 c #Conflicts: 1172000 | #Constraints: 32754
2788.63/2795.77 c #Conflicts: 1173000 | #Constraints: 33754
2788.63/2795.77 c #Conflicts: 1174000 | #Constraints: 34754
2788.63/2795.77 c #Conflicts: 1175000 | #Constraints: 35754
2788.63/2795.77 c #Conflicts: 1176000 | #Constraints: 36754
2788.63/2795.77 c #Conflicts: 1177000 | #Constraints: 37754
2788.63/2795.77 c #Conflicts: 1178000 | #Constraints: 38754
2788.63/2795.77 c #Conflicts: 1179000 | #Constraints: 39754
2788.63/2795.77 c #Conflicts: 1180000 | #Constraints: 40754
2788.63/2795.77 c #Conflicts: 1181000 | #Constraints: 41754
2788.63/2795.77 c #Conflicts: 1182000 | #Constraints: 42754
2788.63/2795.77 c #Conflicts: 1183000 | #Constraints: 43754
2788.63/2795.77 c #Conflicts: 1184000 | #Constraints: 44754
2788.63/2795.77 c #Conflicts: 1185000 | #Constraints: 45754
2788.63/2795.77 c #Conflicts: 1186000 | #Constraints: 46754
2788.63/2795.77 c #Conflicts: 1187000 | #Constraints: 47754
2788.63/2795.77 c #Conflicts: 1188000 | #Constraints: 48754
2788.63/2795.77 c #Conflicts: 1189000 | #Constraints: 49754
2788.63/2795.77 c #Conflicts: 1190000 | #Constraints: 50754
2788.63/2795.77 c INPROCESSING
2788.63/2795.77 c GARBAGE COLLECT
2788.63/2795.77 c #Conflicts: 1191000 | #Constraints: 30187
2788.63/2795.77 c #Conflicts: 1192000 | #Constraints: 31187
2788.63/2795.77 c #Conflicts: 1193000 | #Constraints: 32187
2788.63/2795.77 c #Conflicts: 1194000 | #Constraints: 33187
2965.20/2972.78 c #Conflicts: 1195000 | #Constraints: 34187
2965.20/2972.78 c #Conflicts: 1196000 | #Constraints: 35187
2965.20/2972.78 c #Conflicts: 1197000 | #Constraints: 36187
2965.20/2972.78 c #Conflicts: 1198000 | #Constraints: 37187
2965.20/2972.78 c #Conflicts: 1199000 | #Constraints: 38187
2965.20/2972.78 c #Conflicts: 1200000 | #Constraints: 39187
2965.20/2972.78 c #Conflicts: 1201000 | #Constraints: 40187
2965.20/2972.78 c #Conflicts: 1202000 | #Constraints: 41187
2965.20/2972.78 c #Conflicts: 1203000 | #Constraints: 42187
2965.20/2972.78 c #Conflicts: 1204000 | #Constraints: 43187
2965.20/2972.78 c #Conflicts: 1205000 | #Constraints: 44187
2965.20/2972.78 c #Conflicts: 1206000 | #Constraints: 45187
2965.20/2972.78 c #Conflicts: 1207000 | #Constraints: 46187
2965.20/2972.78 c #Conflicts: 1208000 | #Constraints: 47187
2965.20/2972.78 c #Conflicts: 1209000 | #Constraints: 48187
2965.20/2972.78 c #Conflicts: 1210000 | #Constraints: 49187
2965.20/2972.78 c #Conflicts: 1211000 | #Constraints: 50187
2965.20/2972.78 c #Conflicts: 1212000 | #Constraints: 51187
2965.20/2972.78 c INPROCESSING
2965.20/2972.78 c GARBAGE COLLECT
2965.20/2972.78 c #Conflicts: 1213000 | #Constraints: 30408
2965.20/2972.78 c #Conflicts: 1214000 | #Constraints: 31408
2965.20/2972.78 c #Conflicts: 1215000 | #Constraints: 32408
2965.20/2972.78 c #Conflicts: 1216000 | #Constraints: 33408
2965.20/2972.78 c #Conflicts: 1217000 | #Constraints: 34408
2965.20/2972.78 c #Conflicts: 1218000 | #Constraints: 35408
2965.20/2972.78 c #Conflicts: 1219000 | #Constraints: 36408
2965.20/2972.78 c #Conflicts: 1220000 | #Constraints: 37408
2965.20/2972.78 c #Conflicts: 1221000 | #Constraints: 38408
2965.20/2972.78 c #Conflicts: 1222000 | #Constraints: 39408
2965.20/2972.78 c #Conflicts: 1223000 | #Constraints: 40408
2965.20/2972.78 c #Conflicts: 1224000 | #Constraints: 41408
2965.20/2972.78 c #Conflicts: 1225000 | #Constraints: 42408
2965.20/2972.78 c #Conflicts: 1226000 | #Constraints: 43408
2965.20/2972.78 c #Conflicts: 1227000 | #Constraints: 44408
2965.20/2972.78 c #Conflicts: 1228000 | #Constraints: 45408
2965.20/2972.78 c #Conflicts: 1229000 | #Constraints: 46408
2965.20/2972.78 c #Conflicts: 1230000 | #Constraints: 47408
2965.20/2972.78 c #Conflicts: 1231000 | #Constraints: 48408
2965.20/2972.78 c #Conflicts: 1232000 | #Constraints: 49408
2965.20/2972.78 c #Conflicts: 1233000 | #Constraints: 50408
2965.20/2972.78 c #Conflicts: 1234000 | #Constraints: 51408
2965.20/2972.78 c INPROCESSING
2965.20/2972.78 c GARBAGE COLLECT
2965.20/2972.78 c #Conflicts: 1235000 | #Constraints: 30414
2965.20/2972.78 c #Conflicts: 1236000 | #Constraints: 31414
2965.20/2972.78 c #Conflicts: 1237000 | #Constraints: 32414
2965.20/2972.78 c #Conflicts: 1238000 | #Constraints: 33414
2965.20/2972.78 c #Conflicts: 1239000 | #Constraints: 34414
2965.20/2972.78 c #Conflicts: 1240000 | #Constraints: 35414
2965.20/2972.78 c #Conflicts: 1241000 | #Constraints: 36414
2965.20/2972.78 c #Conflicts: 1242000 | #Constraints: 37414
2965.20/2972.78 c #Conflicts: 1243000 | #Constraints: 38414
2965.20/2972.78 c #Conflicts: 1244000 | #Constraints: 39414
2965.20/2972.78 c #Conflicts: 1245000 | #Constraints: 40414
2965.20/2972.78 c #Conflicts: 1246000 | #Constraints: 41414
2965.20/2972.78 c #Conflicts: 1247000 | #Constraints: 42414
2965.20/2972.78 c #Conflicts: 1248000 | #Constraints: 43414
2965.20/2972.78 c #Conflicts: 1249000 | #Constraints: 44414
2965.20/2972.78 c #Conflicts: 1250000 | #Constraints: 45414
2965.20/2972.78 c #Conflicts: 1251000 | #Constraints: 46414
2965.20/2972.78 c #Conflicts: 1252000 | #Constraints: 47414
2965.20/2972.78 c #Conflicts: 1253000 | #Constraints: 48414
2965.20/2972.78 c #Conflicts: 1254000 | #Constraints: 49414
2965.20/2972.78 c #Conflicts: 1255000 | #Constraints: 50414
2965.20/2972.78 c #Conflicts: 1256000 | #Constraints: 51414
2965.20/2972.78 c INPROCESSING
2965.20/2972.78 c GARBAGE COLLECT
2965.20/2972.78 c #Conflicts: 1257000 | #Constraints: 30217
2965.20/2972.78 c #Conflicts: 1258000 | #Constraints: 31217
2965.20/2972.78 c #Conflicts: 1259000 | #Constraints: 32217
2965.20/2972.78 c #Conflicts: 1260000 | #Constraints: 33217
2965.20/2972.78 c #Conflicts: 1261000 | #Constraints: 34217
2965.20/2972.78 c #Conflicts: 1262000 | #Constraints: 35217
2965.20/2972.78 c #Conflicts: 1263000 | #Constraints: 36217
2965.20/2972.78 c #Conflicts: 1264000 | #Constraints: 37217
2965.20/2972.78 c #Conflicts: 1265000 | #Constraints: 38217
2965.20/2972.78 c #Conflicts: 1266000 | #Constraints: 39217
2965.20/2972.78 c #Conflicts: 1267000 | #Constraints: 40217
2965.20/2972.78 c #Conflicts: 1268000 | #Constraints: 41217
2965.20/2972.78 c #Conflicts: 1269000 | #Constraints: 42217
2965.20/2972.78 c #Conflicts: 1270000 | #Constraints: 43217
2965.20/2972.78 c #Conflicts: 1271000 | #Constraints: 44217
3135.19/3143.17 c #Conflicts: 1272000 | #Constraints: 45217
3135.19/3143.17 c #Conflicts: 1273000 | #Constraints: 46217
3135.19/3143.17 c #Conflicts: 1274000 | #Constraints: 47217
3135.19/3143.17 c #Conflicts: 1275000 | #Constraints: 48217
3135.19/3143.17 c #Conflicts: 1276000 | #Constraints: 49217
3135.19/3143.17 c #Conflicts: 1277000 | #Constraints: 50217
3135.19/3143.17 c #Conflicts: 1278000 | #Constraints: 51217
3135.19/3143.17 c #Conflicts: 1279000 | #Constraints: 52217
3135.19/3143.17 c INPROCESSING
3135.19/3143.17 c GARBAGE COLLECT
3135.19/3143.17 c #Conflicts: 1280000 | #Constraints: 30818
3135.19/3143.17 c #Conflicts: 1281000 | #Constraints: 31818
3135.19/3143.17 c #Conflicts: 1282000 | #Constraints: 32818
3135.19/3143.17 c #Conflicts: 1283000 | #Constraints: 33818
3135.19/3143.17 c #Conflicts: 1284000 | #Constraints: 34818
3135.19/3143.17 c #Conflicts: 1285000 | #Constraints: 35818
3135.19/3143.17 c #Conflicts: 1286000 | #Constraints: 36818
3135.19/3143.17 c #Conflicts: 1287000 | #Constraints: 37818
3135.19/3143.17 c #Conflicts: 1288000 | #Constraints: 38818
3135.19/3143.17 c #Conflicts: 1289000 | #Constraints: 39818
3135.19/3143.17 c #Conflicts: 1290000 | #Constraints: 40818
3135.19/3143.17 c #Conflicts: 1291000 | #Constraints: 41818
3135.19/3143.17 c #Conflicts: 1292000 | #Constraints: 42818
3135.19/3143.17 c #Conflicts: 1293000 | #Constraints: 43818
3135.19/3143.17 c #Conflicts: 1294000 | #Constraints: 44818
3135.19/3143.17 c #Conflicts: 1295000 | #Constraints: 45818
3135.19/3143.17 c #Conflicts: 1296000 | #Constraints: 46818
3135.19/3143.17 c #Conflicts: 1297000 | #Constraints: 47818
3135.19/3143.17 c #Conflicts: 1298000 | #Constraints: 48818
3135.19/3143.17 c #Conflicts: 1299000 | #Constraints: 49818
3135.19/3143.17 c #Conflicts: 1300000 | #Constraints: 50818
3135.19/3143.17 c #Conflicts: 1301000 | #Constraints: 51818
3135.19/3143.17 c #Conflicts: 1302000 | #Constraints: 52818
3135.19/3143.17 c INPROCESSING
3135.19/3143.17 c GARBAGE COLLECT
3135.19/3143.17 c #Conflicts: 1303000 | #Constraints: 31224
3135.19/3143.17 c #Conflicts: 1304000 | #Constraints: 32224
3135.19/3143.17 c #Conflicts: 1305000 | #Constraints: 33224
3135.19/3143.17 c #Conflicts: 1306000 | #Constraints: 34224
3135.19/3143.17 c #Conflicts: 1307000 | #Constraints: 35224
3135.19/3143.17 c #Conflicts: 1308000 | #Constraints: 36224
3135.19/3143.17 c #Conflicts: 1309000 | #Constraints: 37224
3135.19/3143.17 c #Conflicts: 1310000 | #Constraints: 38224
3135.19/3143.17 c #Conflicts: 1311000 | #Constraints: 39224
3135.19/3143.17 c #Conflicts: 1312000 | #Constraints: 40224
3135.19/3143.17 c #Conflicts: 1313000 | #Constraints: 41224
3135.19/3143.17 c #Conflicts: 1314000 | #Constraints: 42224
3135.19/3143.17 c #Conflicts: 1315000 | #Constraints: 43224
3135.19/3143.17 c #Conflicts: 1316000 | #Constraints: 44224
3135.19/3143.17 c #Conflicts: 1317000 | #Constraints: 45224
3135.19/3143.17 c #Conflicts: 1318000 | #Constraints: 46224
3135.19/3143.17 c #Conflicts: 1319000 | #Constraints: 47224
3135.19/3143.17 c #Conflicts: 1320000 | #Constraints: 48224
3135.19/3143.17 c #Conflicts: 1321000 | #Constraints: 49224
3135.19/3143.17 c #Conflicts: 1322000 | #Constraints: 50224
3135.19/3143.17 c #Conflicts: 1323000 | #Constraints: 51224
3135.19/3143.17 c #Conflicts: 1324000 | #Constraints: 52224
3135.19/3143.17 c #Conflicts: 1325000 | #Constraints: 53224
3135.19/3143.17 c INPROCESSING
3135.19/3143.17 c GARBAGE COLLECT
3135.19/3143.17 c #Conflicts: 1326000 | #Constraints: 31428
3135.19/3143.17 c #Conflicts: 1327000 | #Constraints: 32428
3135.19/3143.17 c #Conflicts: 1328000 | #Constraints: 33428
3135.19/3143.17 c #Conflicts: 1329000 | #Constraints: 34428
3135.19/3143.17 c #Conflicts: 1330000 | #Constraints: 35428
3135.19/3143.17 c #Conflicts: 1331000 | #Constraints: 36428
3135.19/3143.17 c #Conflicts: 1332000 | #Constraints: 37428
3135.19/3143.17 c #Conflicts: 1333000 | #Constraints: 38428
3135.19/3143.17 c #Conflicts: 1334000 | #Constraints: 39428
3135.19/3143.17 c #Conflicts: 1335000 | #Constraints: 40428
3135.19/3143.17 c #Conflicts: 1336000 | #Constraints: 41428
3135.19/3143.17 c #Conflicts: 1337000 | #Constraints: 42428
3135.19/3143.17 c #Conflicts: 1338000 | #Constraints: 43428
3135.19/3143.17 c #Conflicts: 1339000 | #Constraints: 44428
3135.19/3143.17 c #Conflicts: 1340000 | #Constraints: 45428
3135.19/3143.17 c #Conflicts: 1341000 | #Constraints: 46428
3135.19/3143.17 c #Conflicts: 1342000 | #Constraints: 47428
3135.19/3143.17 c #Conflicts: 1343000 | #Constraints: 48428
3135.19/3143.17 c #Conflicts: 1344000 | #Constraints: 49428
3135.19/3143.17 c #Conflicts: 1345000 | #Constraints: 50428
3135.19/3143.17 c #Conflicts: 1346000 | #Constraints: 51428
3135.19/3143.17 c #Conflicts: 1347000 | #Constraints: 52428
3135.19/3143.17 c #Conflicts: 1348000 | #Constraints: 53428
3394.25/3402.82 c INPROCESSING
3394.25/3402.82 c GARBAGE COLLECT
3394.25/3402.82 c #Conflicts: 1349000 | #Constraints: 31429
3394.25/3402.82 c #Conflicts: 1350000 | #Constraints: 32429
3394.25/3402.82 c #Conflicts: 1351000 | #Constraints: 33429
3394.25/3402.82 c #Conflicts: 1352000 | #Constraints: 34429
3394.25/3402.82 c #Conflicts: 1353000 | #Constraints: 35429
3394.25/3402.82 c #Conflicts: 1354000 | #Constraints: 36429
3394.25/3402.82 c #Conflicts: 1355000 | #Constraints: 37429
3394.25/3402.82 c #Conflicts: 1356000 | #Constraints: 38429
3394.25/3402.82 c #Conflicts: 1357000 | #Constraints: 39429
3394.25/3402.82 c #Conflicts: 1358000 | #Constraints: 40429
3394.25/3402.82 c #Conflicts: 1359000 | #Constraints: 41429
3394.25/3402.82 c #Conflicts: 1360000 | #Constraints: 42429
3394.25/3402.82 c #Conflicts: 1361000 | #Constraints: 43429
3394.25/3402.82 c #Conflicts: 1362000 | #Constraints: 44429
3394.25/3402.82 c #Conflicts: 1363000 | #Constraints: 45429
3394.25/3402.82 c #Conflicts: 1364000 | #Constraints: 46429
3394.25/3402.82 c #Conflicts: 1365000 | #Constraints: 47429
3394.25/3402.82 c #Conflicts: 1366000 | #Constraints: 48429
3394.25/3402.82 c #Conflicts: 1367000 | #Constraints: 49429
3394.25/3402.82 c #Conflicts: 1368000 | #Constraints: 50429
3394.25/3402.82 c #Conflicts: 1369000 | #Constraints: 51429
3394.25/3402.82 c #Conflicts: 1370000 | #Constraints: 52429
3394.25/3402.82 c #Conflicts: 1371000 | #Constraints: 53429
3394.25/3402.82 c INPROCESSING
3394.25/3402.82 c GARBAGE COLLECT
3394.25/3402.82 c #Conflicts: 1372000 | #Constraints: 31230
3394.25/3402.82 c #Conflicts: 1373000 | #Constraints: 32230
3394.25/3402.82 c #Conflicts: 1374000 | #Constraints: 33230
3394.25/3402.82 c #Conflicts: 1375000 | #Constraints: 34230
3394.25/3402.82 c #Conflicts: 1376000 | #Constraints: 35230
3394.25/3402.82 c #Conflicts: 1377000 | #Constraints: 36230
3394.25/3402.82 c #Conflicts: 1378000 | #Constraints: 37230
3394.25/3402.82 c #Conflicts: 1379000 | #Constraints: 38230
3394.25/3402.82 c #Conflicts: 1380000 | #Constraints: 39230
3394.25/3402.82 c #Conflicts: 1381000 | #Constraints: 40230
3394.25/3402.82 c #Conflicts: 1382000 | #Constraints: 41230
3394.25/3402.82 c #Conflicts: 1383000 | #Constraints: 42230
3394.25/3402.82 c #Conflicts: 1384000 | #Constraints: 43230
3394.25/3402.82 c #Conflicts: 1385000 | #Constraints: 44230
3394.25/3402.82 c #Conflicts: 1386000 | #Constraints: 45230
3394.25/3402.82 c #Conflicts: 1387000 | #Constraints: 46230
3394.25/3402.82 c #Conflicts: 1388000 | #Constraints: 47230
3394.25/3402.82 c #Conflicts: 1389000 | #Constraints: 48230
3394.25/3402.82 c #Conflicts: 1390000 | #Constraints: 49230
3394.25/3402.82 c #Conflicts: 1391000 | #Constraints: 50230
3394.25/3402.82 c #Conflicts: 1392000 | #Constraints: 51230
3394.25/3402.82 c #Conflicts: 1393000 | #Constraints: 52230
3394.25/3402.82 c #Conflicts: 1394000 | #Constraints: 53230
3394.25/3402.82 c #Conflicts: 1395000 | #Constraints: 54230
3394.25/3402.82 c INPROCESSING
3394.25/3402.82 c GARBAGE COLLECT
3394.25/3402.82 c #Conflicts: 1396000 | #Constraints: 31835
3394.25/3402.82 c #Conflicts: 1397000 | #Constraints: 32835
3394.25/3402.82 c #Conflicts: 1398000 | #Constraints: 33835
3394.25/3402.82 c #Conflicts: 1399000 | #Constraints: 34835
3394.25/3402.82 c #Conflicts: 1400000 | #Constraints: 35835
3394.25/3402.82 c #Conflicts: 1401000 | #Constraints: 36835
3394.25/3402.82 c #Conflicts: 1402000 | #Constraints: 37835
3394.25/3402.82 c #Conflicts: 1403000 | #Constraints: 38835
3394.25/3402.82 c #Conflicts: 1404000 | #Constraints: 39835
3394.25/3402.82 c #Conflicts: 1405000 | #Constraints: 40835
3394.25/3402.82 c #Conflicts: 1406000 | #Constraints: 41835
3394.25/3402.82 c #Conflicts: 1407000 | #Constraints: 42835
3394.25/3402.82 c #Conflicts: 1408000 | #Constraints: 43835
3394.25/3402.82 c #Conflicts: 1409000 | #Constraints: 44835
3394.25/3402.82 c #Conflicts: 1410000 | #Constraints: 45835
3394.25/3402.82 c #Conflicts: 1411000 | #Constraints: 46835
3394.25/3402.82 c #Conflicts: 1412000 | #Constraints: 47835
3394.25/3402.82 c #Conflicts: 1413000 | #Constraints: 48835
3394.25/3402.82 c #Conflicts: 1414000 | #Constraints: 49835
3394.25/3402.82 c #Conflicts: 1415000 | #Constraints: 50835
3394.25/3402.82 c #Conflicts: 1416000 | #Constraints: 51835
3394.25/3402.82 c #Conflicts: 1417000 | #Constraints: 52835
3394.25/3402.82 c #Conflicts: 1418000 | #Constraints: 53835
3394.25/3402.82 c #Conflicts: 1419000 | #Constraints: 54835
3394.25/3402.82 c INPROCESSING
3394.25/3402.82 c GARBAGE COLLECT
3394.25/3402.82 c #Conflicts: 1420000 | #Constraints: 32235
3394.25/3402.82 c #Conflicts: 1421000 | #Constraints: 33235
3394.25/3402.82 c #Conflicts: 1422000 | #Constraints: 34235
3394.25/3402.82 c #Conflicts: 1423000 | #Constraints: 35235
3394.25/3402.82 c #Conflicts: 1424000 | #Constraints: 36235
3564.84/3573.81 c #Conflicts: 1425000 | #Constraints: 37235
3564.84/3573.81 c #Conflicts: 1426000 | #Constraints: 38235
3564.84/3573.81 c #Conflicts: 1427000 | #Constraints: 39235
3564.84/3573.81 c #Conflicts: 1428000 | #Constraints: 40235
3564.84/3573.81 c #Conflicts: 1429000 | #Constraints: 41235
3564.84/3573.81 c #Conflicts: 1430000 | #Constraints: 42235
3564.84/3573.81 c #Conflicts: 1431000 | #Constraints: 43235
3564.84/3573.81 c #Conflicts: 1432000 | #Constraints: 44235
3564.84/3573.81 c #Conflicts: 1433000 | #Constraints: 45235
3564.84/3573.81 c #Conflicts: 1434000 | #Constraints: 46235
3564.84/3573.81 c #Conflicts: 1435000 | #Constraints: 47235
3564.84/3573.81 c #Conflicts: 1436000 | #Constraints: 48235
3564.84/3573.81 c #Conflicts: 1437000 | #Constraints: 49235
3564.84/3573.81 c #Conflicts: 1438000 | #Constraints: 50235
3564.84/3573.81 c #Conflicts: 1439000 | #Constraints: 51235
3564.84/3573.81 c #Conflicts: 1440000 | #Constraints: 52235
3564.84/3573.81 c #Conflicts: 1441000 | #Constraints: 53235
3564.84/3573.81 c #Conflicts: 1442000 | #Constraints: 54235
3564.84/3573.81 c #Conflicts: 1443000 | #Constraints: 55235
3564.84/3573.81 c INPROCESSING
3564.84/3573.81 c GARBAGE COLLECT
3564.84/3573.81 c #Conflicts: 1444000 | #Constraints: 32434
3564.84/3573.81 c #Conflicts: 1445000 | #Constraints: 33434
3564.84/3573.81 c #Conflicts: 1446000 | #Constraints: 34434
3564.84/3573.81 c #Conflicts: 1447000 | #Constraints: 35434
3564.84/3573.81 c #Conflicts: 1448000 | #Constraints: 36434
3564.84/3573.81 c #Conflicts: 1449000 | #Constraints: 37434
3564.84/3573.81 c #Conflicts: 1450000 | #Constraints: 38434
3564.84/3573.81 c #Conflicts: 1451000 | #Constraints: 39434
3564.84/3573.81 c #Conflicts: 1452000 | #Constraints: 40434
3564.84/3573.81 c #Conflicts: 1453000 | #Constraints: 41434
3564.84/3573.81 c #Conflicts: 1454000 | #Constraints: 42434
3564.84/3573.81 c #Conflicts: 1455000 | #Constraints: 43434
3564.84/3573.81 c #Conflicts: 1456000 | #Constraints: 44434
3564.84/3573.81 c #Conflicts: 1457000 | #Constraints: 45434
3564.84/3573.81 c #Conflicts: 1458000 | #Constraints: 46434
3564.84/3573.81 c #Conflicts: 1459000 | #Constraints: 47434
3564.84/3573.81 c #Conflicts: 1460000 | #Constraints: 48434
3564.84/3573.81 c #Conflicts: 1461000 | #Constraints: 49434
3564.84/3573.81 c #Conflicts: 1462000 | #Constraints: 50434
3564.84/3573.81 c #Conflicts: 1463000 | #Constraints: 51434
3564.84/3573.81 c #Conflicts: 1464000 | #Constraints: 52434
3564.84/3573.81 c #Conflicts: 1465000 | #Constraints: 53434
3564.84/3573.81 c #Conflicts: 1466000 | #Constraints: 54434
3564.84/3573.81 c #Conflicts: 1467000 | #Constraints: 55434
3564.84/3573.81 c INPROCESSING
3564.84/3573.81 c GARBAGE COLLECT
3564.84/3573.81 c #Conflicts: 1468000 | #Constraints: 32435
3564.84/3573.81 c #Conflicts: 1469000 | #Constraints: 33435
3564.84/3573.81 c #Conflicts: 1470000 | #Constraints: 34435
3564.84/3573.81 c #Conflicts: 1471000 | #Constraints: 35435
3564.84/3573.81 c #Conflicts: 1472000 | #Constraints: 36435
3564.84/3573.81 c #Conflicts: 1473000 | #Constraints: 37435
3564.84/3573.81 c #Conflicts: 1474000 | #Constraints: 38435
3564.84/3573.81 c #Conflicts: 1475000 | #Constraints: 39435
3564.84/3573.81 c #Conflicts: 1476000 | #Constraints: 40435
3564.84/3573.81 c #Conflicts: 1477000 | #Constraints: 41435
3564.84/3573.81 c #Conflicts: 1478000 | #Constraints: 42435
3564.84/3573.81 c #Conflicts: 1479000 | #Constraints: 43435
3564.84/3573.81 c #Conflicts: 1480000 | #Constraints: 44435
3564.84/3573.81 c #Conflicts: 1481000 | #Constraints: 45435
3564.84/3573.81 c #Conflicts: 1482000 | #Constraints: 46435
3564.84/3573.81 c #Conflicts: 1483000 | #Constraints: 47435
3564.84/3573.81 c #Conflicts: 1484000 | #Constraints: 48435
3564.84/3573.81 c #Conflicts: 1485000 | #Constraints: 49435
3564.84/3573.81 c #Conflicts: 1486000 | #Constraints: 50435
3564.84/3573.81 c #Conflicts: 1487000 | #Constraints: 51435
3564.84/3573.81 c #Conflicts: 1488000 | #Constraints: 52435
3564.84/3573.81 c #Conflicts: 1489000 | #Constraints: 53435
3564.84/3573.81 c #Conflicts: 1490000 | #Constraints: 54435
3564.84/3573.81 c #Conflicts: 1491000 | #Constraints: 55435
3564.84/3573.81 c INPROCESSING
3564.84/3573.81 c GARBAGE COLLECT
3564.84/3573.81 c #Conflicts: 1492000 | #Constraints: 32238
3564.84/3573.81 c #Conflicts: 1493000 | #Constraints: 33238
3564.84/3573.81 c #Conflicts: 1494000 | #Constraints: 34238
3564.84/3573.81 c #Conflicts: 1495000 | #Constraints: 35238
3564.84/3573.81 c #Conflicts: 1496000 | #Constraints: 36238
3564.84/3573.81 c #Conflicts: 1497000 | #Constraints: 37238
3564.84/3573.81 c #Conflicts: 1498000 | #Constraints: 38238
3564.84/3573.81 c #Conflicts: 1499000 | #Constraints: 39238
3564.84/3573.81 c #Conflicts: 1500000 | #Constraints: 40238
3564.84/3573.81 c #Conflicts:
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62955 MiB free)
memory of node 1: 64465 MiB (63601 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485738-1751312596/watcher-4485738-1751312596 -o /tmp/evaluation-result-4485738-1751312596/solver-4485738-1751312596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751305374-44693 --watchdog 3760 run-opt-break.sh HOME/instance-4485738-1751312596.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=45461, runsolver pid=45456
[startup+0.100063 s]*
/proc/loadavg: 4.14 4.14 4.10 4/260 45469
/proc/meminfo: memFree=129553944/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45463] ppid=45461 vsize=41608 memory=33332 CPUtime=0.08 cores=5,7
/proc/45463/stat : 45463 (pbsuma) R 45461 45461 44680 0 -1 4194304 7309 0 0 0 7 1 0 0 20 0 1 0 46939079 42606592 8333 18446744073709551615 4210688 4653049 140727144769168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37543936 140727144778083 140727144778290 140727144778290 140727144783855 0
/proc/45463/statm: 10402 8333 992 108 0 7810 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 45800 KiB
Current children cumulated memory: 36404 KiB
[startup+0.205772 s]*
/proc/loadavg: 4.14 4.14 4.10 3/259 45471
/proc/meminfo: memFree=129423952/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45463] ppid=45461 vsize=91244 memory=75640 CPUtime=0.18 cores=5,7
/proc/45463/stat : 45463 (pbsuma) R 45461 45461 44680 0 -1 4194304 12897 0 0 0 16 2 0 0 20 0 1 0 46939079 93433856 18910 18446744073709551615 4210688 4653049 140727144769168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37543936 140727144778083 140727144778290 140727144778290 140727144783855 0
/proc/45463/statm: 22811 18910 992 108 0 20219 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 95436 KiB
Current children cumulated memory: 78712 KiB
[startup+0.305709 s]*
/proc/loadavg: 4.14 4.14 4.10 5/268 45486
/proc/meminfo: memFree=129316076/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45463] ppid=45461 vsize=161868 memory=142520 CPUtime=0.28 cores=5,7
/proc/45463/stat : 45463 (pbsuma) R 45461 45461 44680 0 -1 4194304 17873 0 0 0 24 4 0 0 20 0 1 0 46939079 165752832 35630 18446744073709551615 4210688 4653049 140727144769168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37543936 140727144778083 140727144778290 140727144778290 140727144783855 0
/proc/45463/statm: 40467 35630 992 108 0 37875 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 166060 KiB
Current children cumulated memory: 145592 KiB
[startup+0.700214 s]
/proc/loadavg: 4.14 4.14 4.10 4/266 45486
/proc/meminfo: memFree=129197428/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45463] ppid=45461 vsize=415344 memory=307948 CPUtime=0.67 cores=5,7
/proc/45463/stat : 45463 (pbsuma) R 45461 45461 44680 0 -1 4194304 35722 0 0 0 57 10 0 0 20 0 1 0 46939079 425312256 76987 18446744073709551615 4210688 4653049 140727144769168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37543936 140727144778083 140727144778290 140727144778290 140727144783855 0
/proc/45463/statm: 103836 76987 1024 108 0 101244 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 419536 KiB
Current children cumulated memory: 311020 KiB
[startup+1.50019 s]
/proc/loadavg: 4.14 4.14 4.10 4/265 45530
/proc/meminfo: memFree=129150520/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=219288 memory=177272 CPUtime=0.55 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 32503 0 0 0 49 6 0 0 20 0 1 0 46939171 224550912 44318 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 54822 44318 2304 1147 0 42249 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 223480 KiB
Current children cumulated memory: 180344 KiB
[startup+3.10548 s]
/proc/loadavg: 4.14 4.14 4.10 4/265 45603
/proc/meminfo: memFree=129115968/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=265748 memory=221708 CPUtime=2.15 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 37960 0 0 0 205 10 0 0 20 0 1 0 46939171 272125952 55427 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 66437 55427 2368 1147 0 53864 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 269940 KiB
Current children cumulated memory: 224780 KiB
[startup+6.30019 s]
/proc/loadavg: 4.05 4.12 4.10 5/270 45757
/proc/meminfo: memFree=129134172/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=266388 memory=223244 CPUtime=5.34 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 38349 0 0 0 522 12 0 0 20 0 1 0 46939171 272781312 55811 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 66597 55811 2368 1147 0 54024 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 270580 KiB
Current children cumulated memory: 226316 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.12 4.09 5/270 45758
/proc/meminfo: memFree=129201668/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=343820 memory=280860 CPUtime=11.72 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 47162 0 0 0 1150 22 0 0 20 0 1 0 46939171 352071680 70215 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 85955 70215 2400 1147 0 73382 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 348012 KiB
Current children cumulated memory: 283932 KiB
[startup+25.5002 s]
/proc/loadavg: 4.03 4.11 4.09 5/270 45758
/proc/meminfo: memFree=128858644/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=348240 memory=281628 CPUtime=24.49 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 47338 0 0 0 2417 32 0 0 20 0 1 0 46939171 356597760 70407 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 87060 70407 2400 1147 0 74487 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 352432 KiB
Current children cumulated memory: 284700 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 4.12 4.09 5/270 45759
/proc/meminfo: memFree=128659632/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=348240 memory=282396 CPUtime=50.03 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 47533 0 0 0 4957 46 0 0 20 0 1 0 46939171 356597760 70599 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 87060 70599 2400 1147 0 74487 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 352432 KiB
Current children cumulated memory: 285468 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 45761
/proc/meminfo: memFree=127739940/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=348240 memory=285548 CPUtime=101.09 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 47676 0 0 0 10031 78 0 0 20 0 1 0 46939171 356597760 71387 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 87060 71387 2464 1147 0 74487 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 352432 KiB
Current children cumulated memory: 288620 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/270 45763
/proc/meminfo: memFree=127507308/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=348240 memory=298348 CPUtime=160.93 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 47706 0 0 0 15981 112 0 0 20 0 1 0 46939171 356597760 74587 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 87060 74587 2464 1147 0 74487 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 352432 KiB
Current children cumulated memory: 301420 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 45766
/proc/meminfo: memFree=127128652/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=393776 memory=341712 CPUtime=220.78 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 52734 0 0 0 21925 153 0 0 20 0 1 0 46939171 403226624 85428 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 98444 85428 2464 1147 0 85871 0
################
# More data... #
################
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/268 45929
/proc/meminfo: memFree=121974672/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=1186416 memory=1031472 CPUtime=3333 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 306617 0 0 0 331267 2033 0 0 20 0 1 0 46939171 1214889984 257868 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 296604 257868 2496 1147 0 284031 0
Current children cumulated CPU time: 3333.9 s
Current children cumulated vsize: 1190608 KiB
Current children cumulated memory: 1034544 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/268 45931
/proc/meminfo: memFree=121926984/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=1186416 memory=1031472 CPUtime=3392.85 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 306622 0 0 0 337224 2061 0 0 20 0 1 0 46939171 1214889984 257868 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 296604 257868 2496 1147 0 284031 0
Current children cumulated CPU time: 3393.75 s
Current children cumulated vsize: 1190608 KiB
Current children cumulated memory: 1034544 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/268 45933
/proc/meminfo: memFree=121827432/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=1186416 memory=1031472 CPUtime=3452.71 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 306635 0 0 0 343170 2101 0 0 20 0 1 0 46939171 1214889984 257868 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 296604 257868 2496 1147 0 284031 0
Current children cumulated CPU time: 3453.61 s
Current children cumulated vsize: 1190608 KiB
Current children cumulated memory: 1034544 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/268 45935
/proc/meminfo: memFree=121765868/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=1186416 memory=1031472 CPUtime=3512.57 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 306639 0 0 0 349122 2135 0 0 20 0 1 0 46939171 1214889984 257868 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 296604 257868 2496 1147 0 284031 0
Current children cumulated CPU time: 3513.47 s
Current children cumulated vsize: 1190608 KiB
Current children cumulated memory: 1034544 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/268 45938
/proc/meminfo: memFree=121755748/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=1186416 memory=1031472 CPUtime=3572.42 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 306639 0 0 0 355076 2166 0 0 20 0 1 0 46939171 1214889984 257868 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 296604 257868 2496 1147 0 284031 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 1190608 KiB
Current children cumulated memory: 1034544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.16 4.14 4.10 5/268 45939
/proc/meminfo: memFree=121757068/131250000 swapFree=33009904/33010684
[pid=45461] ppid=45456 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/45461/stat : 45461 (run-opt-break.s) S 45456 45461 44680 0 -1 4194304 238 42940 0 0 0 0 77 13 20 0 1 0 46939079 4292608 768 18446744073709551615 94020518354944 94020519249477 140735604861536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020519488528 94020519536272 94020538798080 140735604869473 140735604869602 140735604869602 140735604875204 0
/proc/45461/statm: 1048 768 704 219 0 110 0
[pid=45528] ppid=45461 vsize=1186416 memory=1031472 CPUtime=3599.16 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45461 45461 44680 0 -1 4194304 306639 0 0 0 357734 2182 0 0 20 0 1 0 46939171 1214889984 257868 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 296604 257868 2496 1147 0 284031 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1190608 KiB
Current children cumulated memory: 1034544 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.11 s]
# the end of solver process 45461 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.772325 s, system=0.138006 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.13 s]
# the end of solver process 45528 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3580.11 s, system=21.9944 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.16 4.14 4.10 5/267 45939
/proc/meminfo: memFree=121756564/131250000 swapFree=33009904/33010684
[pid=45528] ppid=45456 vsize=1186416 memory=1031472 CPUtime=3599.65 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45456 45461 44680 0 -1 4194304 306639 0 0 0 357783 2182 0 0 20 0 1 0 46939171 1214889984 257868 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 296604 257868 2496 1147 0 284031 0
Current cumulated CPU time of completed processes: 0.910331 s
Current children cumulated CPU time: 3599.65 s
Current children cumulated vsize: 1186416 KiB
Current children cumulated memory: 1031472 KiB
[startup+3610.4 s]
/proc/loadavg: 4.16 4.14 4.10 4/262 45954
/proc/meminfo: memFree=125536472/131250000 swapFree=33009904/33010684
[pid=45528] ppid=45456 vsize=1186416 memory=1031472 CPUtime=3600.45 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45456 45461 44680 0 -1 4194304 306639 0 0 0 357863 2182 0 0 20 0 1 0 46939171 1214889984 257868 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 296604 257868 2496 1147 0 284031 0
Current cumulated CPU time of completed processes: 0.910331 s
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 1186416 KiB
Current children cumulated memory: 1031472 KiB
[startup+3610.8 s]
/proc/loadavg: 4.16 4.14 4.10 4/262 45954
/proc/meminfo: memFree=125536472/131250000 swapFree=33009904/33010684
[pid=45528] ppid=45456 vsize=1186416 memory=1031472 CPUtime=3600.85 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45456 45461 44680 0 -1 4194304 306639 0 0 0 357903 2182 0 0 20 0 1 0 46939171 1214889984 257868 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 296604 257868 2496 1147 0 284031 0
Current cumulated CPU time of completed processes: 0.910331 s
Current children cumulated CPU time: 3600.85 s
Current children cumulated vsize: 1186416 KiB
Current children cumulated memory: 1031472 KiB
[startup+3611 s]*
/proc/loadavg: 4.16 4.14 4.10 4/260 45977
/proc/meminfo: memFree=125585288/131250000 swapFree=33009904/33010684
[pid=45528] ppid=45456 vsize=1186416 memory=1031472 CPUtime=3601.05 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45456 45461 44680 0 -1 4194304 306639 0 0 0 357923 2182 0 0 20 0 1 0 46939171 1214889984 257868 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 296604 257868 2496 1147 0 284031 0
Current cumulated CPU time of completed processes: 0.910331 s
Current children cumulated CPU time: 3601.05 s
Current children cumulated vsize: 1186416 KiB
Current children cumulated memory: 1031472 KiB
[startup+3611.11 s]
/proc/loadavg: 4.16 4.14 4.10 4/260 45977
/proc/meminfo: memFree=125585288/131250000 swapFree=33009904/33010684
[pid=45528] ppid=45456 vsize=1186416 memory=1031472 CPUtime=3601.15 cores=5,7
/proc/45528/stat : 45528 (roundingsat) R 45456 45461 44680 0 -1 4194304 306639 0 0 0 357933 2182 0 0 20 0 1 0 46939171 1214889984 257868 18446744073709551615 4227072 8923433 140731295392048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40415232 140731295398244 140731295398440 140731295398440 140731295404010 0
/proc/45528/statm: 296604 257868 2496 1147 0 284031 0
Current cumulated CPU time of completed processes: 0.910331 s
Current children cumulated CPU time: 3601.15 s
Current children cumulated vsize: 1186416 KiB
Current children cumulated memory: 1031472 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.13
CPU time (s): 3602.1
CPU user time (s): 3580.11
CPU system time (s): 21.9944
CPU usage (%): 99.7499
Max. virtual memory (cumulated for all children) (KiB): 1190608
Max. memory (cumulated for all children) (KiB): 1034544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.11
system time used= 21.9944
maximum resident set size= 1031472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349817
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 321
involuntary context switches= 4081
# summary of solver processes directly reported to runsolver:
# pid: 45461,45528
# total CPU time (s): 3602.1
# total CPU user time (s): 3580.11
# total CPU system time (s): 21.9944
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.81817 second user time and 15.8959 second system time
The end
Begin job on nodeC033 at 2025-06-30 21:43:17
IDJOB=4485738
IDBENCH=146868
IDSOLVER=3359
FILE ID=nodeC033/4485738-1751312596
RUNJOBID= nodeC033-1751305374-44693
SLURM_JOB_ID= 9594304
Free space on /tmp= 432724 MiB
SOLVER NAME= roundingsat+pbsuma-opt 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485738-1751312596/watcher-4485738-1751312596 -o /tmp/evaluation-result-4485738-1751312596/solver-4485738-1751312596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751305374-44693 --watchdog 3760 run-opt-break.sh HOME/instance-4485738-1751312596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d021d78883fac2a7bf820bb220b2a7e2
RANDOM SEED=332146985
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2029.122
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.923
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.237
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.012
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1199.742
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3922.495
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2030.614
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.067
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129582724 kB
MemAvailable: 129428980 kB
Buffers: 2128 kB
Cached: 645412 kB
SwapCached: 68 kB
Active: 246160 kB
Inactive: 468456 kB
Active(anon): 60296 kB
Inactive(anon): 24808 kB
Active(file): 185864 kB
Inactive(file): 443648 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 43328 kB
Writeback: 16 kB
AnonPages: 70572 kB
Mapped: 104324 kB
Shmem: 18028 kB
KReclaimable: 111968 kB
Slab: 200896 kB
SReclaimable: 111968 kB
SUnreclaim: 88928 kB
KernelStack: 4224 kB
PageTables: 3148 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 358612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432724 MiB
End job on nodeC033 at 2025-06-30 22:43:28