0.00/0.03 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03 c │ pbsuma -- a PB interface for satsuma │
0.00/0.03 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.03 c │ (c) 2025 Markus Anders │
0.00/0.03 c └────────────────────────────────────────────────────────────────┘
0.00/0.03 c parse 'HOME/instance-4532286-1752584603.opb'
0.38/0.44 c read 14.59MB (407.26ms)
0.38/0.44 c [cnf: #variables 155020 #clauses 2676 #duplicates 0 #arr 855173]
0.38/0.44 c output proof to 'PROOFDIR/proof-4532286-1752584603'
0.38/0.45 c
0.38/0.45 c make graph and approximate orbits
0.96/1.08 c [group: #orbits ~= 7832] (632.35ms)
0.96/1.08 c
0.96/1.08 c detect special group actions
0.96/1.08 c probe for Johnson action (limit=64)
0.96/1.09 c probe for row-column symmetry (limit=64, splits=16.78M)
1.07/1.11 c probe for row symmetry (limit=64, splits=16.78M)
1.07/1.13 c (47.25ms)
1.07/1.13 c
1.07/1.13 c detect symmetries on remainder
1.07/1.13 c [graph: #vertices 1144181 #edges 3683316]
1.07/1.14 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.25/1.37 c [group: #symmetries 1.15*10^1146 #generators 3759] (248.61ms)
1.25/1.37 c
1.25/1.37 c optimize generators (opt_passes=64, conjugate_limit=256)
1.25/1.38 c ran it=0, +gens=0
1.45/1.52 c con best_support=4, best_gens=3750, +gens=0
1.45/1.52 c (145.90ms)
1.45/1.52 c
1.45/1.52 c finalize break order and special generators
1.45/1.53 c
1.45/1.53 c add generic predicates (break_depth=20)
1.45/1.53 c added predicates for 3759 generators (0.65ms)
1.45/1.55 c
1.45/1.55 c generation finished
1.45/1.55 c [sbp: #constraints 4272 #add_vars 171]
1.45/1.56 c
1.45/1.56 c write result to 'HOME/instance-4532286-1752584603.opb.pre'
1.55/1.60 c wrote 14.73MB (36.64ms)
1.55/1.60 c ------------------------------------------------------------------
1.55/1.60 c 632.35ms 40.40% approx_orbits
1.55/1.60 c 407.25ms 26.02% parse
1.55/1.60 c 248.61ms 15.88% detect_generic
1.55/1.60 c 145.90ms 9.32% optimize_gens
1.55/1.60 c 47.25ms 3.02% detect_special
1.55/1.60 c 36.65ms 2.34% other
1.55/1.60 c 36.64ms 2.34% output
1.55/1.60 c 9.82ms 0.63% finalize_order
1.55/1.60 c 0.65ms 0.04% break_generic
1.55/1.60 c ───────────────────────────────────────────────
1.55/1.60 c 1565.11ms 100% total
1.55/1.60 c ------------------------------------------------------------------
1.56/1.84 c RoundingSat 2
1.56/1.84 c branch pb25
1.56/1.84 c commit 0f876b3
2.72/3.09 c #variables 155191 #constraints 7579
2.72/3.09 c objective is ce64
2.72/3.09 c initial watched CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
2.72/3.09 c initial counting CF 32, 64, 128, Arb: 1116 , 3061 , 0 , 0
2.72/3.09 c bounds - >= -6514339591161790 @ 1.15436
9.29/9.67 c #Conflicts: 1000 | #Constraints: 8578
9.29/9.67 c #Conflicts: 2000 | #Constraints: 9578
9.29/9.67 c INPROCESSING
9.29/9.67 c GARBAGE COLLECT
9.29/9.67 c bounds - >= -914338413869450 @ 7.61289
9.29/9.67 c bounds - >= -872194047277450 @ 7.62003
9.29/9.68 c bounds - >= -851121863981450 @ 7.62664
9.29/9.69 c bounds - >= -840585772333450 @ 7.63311
9.29/9.69 c bounds - >= -835217063213450 @ 7.63861
9.39/9.70 c bounds - >= -829949017389450 @ 7.64502
9.39/9.71 c bounds - >= -825754713389450 @ 7.65299
9.39/9.71 c bounds - >= -823657561389450 @ 7.65956
9.39/9.72 c bounds - >= -822271763347850 @ 7.66527
9.39/9.73 c bounds - >= -821709391067530 @ 7.67236
9.39/9.73 c bounds - >= -821560409389450 @ 7.67882
9.39/9.74 c bounds - >= -818876054829450 @ 7.68379
9.39/9.75 c bounds - >= -816242031917450 @ 7.68925
9.39/9.75 c bounds - >= -814899854637450 @ 7.69578
9.39/9.76 c bounds - >= -813582843181450 @ 7.70202
9.39/9.77 c bounds - >= -812534267181450 @ 7.70855
9.39/9.77 c bounds - >= -811485691181450 @ 7.71448
9.39/9.78 c bounds - >= -810437115181450 @ 7.72023
9.39/9.79 c bounds - >= -809950911461770 @ 7.7283
9.39/9.79 c bounds - >= -809388539181450 @ 7.73534
9.48/9.80 c bounds - >= -808717450541450 @ 7.74073
9.48/9.81 c bounds - >= -808058944813450 @ 7.74715
9.48/9.81 c bounds - >= -807534656813450 @ 7.7524
9.48/9.82 c bounds - >= -807010368813450 @ 7.75833
9.48/9.82 c bounds - >= -806486080813450 @ 7.76438
9.48/9.83 c bounds - >= -805961792813450 @ 7.7692
9.48/9.84 c bounds - >= -805437504813450 @ 7.77532
9.48/9.84 c bounds - >= -804913216813450 @ 7.78126
9.48/9.85 c bounds - >= -804388928813450 @ 7.78751
9.48/9.86 c bounds - >= -803864640813450 @ 7.79284
9.48/9.86 c bounds - >= -802816064813450 @ 7.80057
9.48/9.87 c bounds - >= -801767488813450 @ 7.80761
9.48/9.88 c bounds - >= -800896751303050 @ 7.81514
9.48/9.89 c bounds - >= -800561206983050 @ 7.82076
9.48/9.89 c bounds - >= -800231954119050 @ 7.82672
9.59/9.90 c bounds - >= -799969810119050 @ 7.83298
9.59/9.90 c bounds - >= -799707666119050 @ 7.83932
9.59/9.91 c bounds - >= -799445522119050 @ 7.84436
9.59/9.92 c bounds - >= -799183378119050 @ 7.84958
9.59/9.92 c bounds - >= -798921234119050 @ 7.85569
9.59/9.93 c bounds - >= -798659090119050 @ 7.86192
9.59/9.94 c bounds - >= -798396946119050 @ 7.86783
9.59/9.94 c bounds - >= -798134802119050 @ 7.87403
9.59/9.95 c bounds - >= -797872658119050 @ 7.8801
9.59/9.95 c bounds - >= -797610514119050 @ 7.88661
9.59/9.96 c bounds - >= -797348370119050 @ 7.89286
9.59/9.97 c bounds - >= -797086226119050 @ 7.89895
9.59/9.97 c bounds - >= -796824082119050 @ 7.90475
9.59/9.98 c bounds - >= -796561938119050 @ 7.9101
9.59/9.98 c bounds - >= -796299794119050 @ 7.91623
9.59/9.99 c bounds - >= -796037650119050 @ 7.92224
9.59/10.00 c bounds - >= -795775506119050 @ 7.92877
9.59/10.00 c bounds - >= -795513362119050 @ 7.93501
9.70/10.01 c bounds - >= -795335523629450 @ 7.94303
9.70/10.02 c bounds - >= -795167751469450 @ 7.94983
9.70/10.03 c bounds - >= -795003125037450 @ 7.95561
9.70/10.03 c bounds - >= -794872053037450 @ 7.96262
9.70/10.04 c bounds - >= -794740981037450 @ 7.96899
9.70/10.05 c bounds - >= -794609909037450 @ 7.97582
9.70/10.05 c bounds - >= -794478837037450 @ 7.98278
9.70/10.06 c bounds - >= -794347765037450 @ 7.98916
9.70/10.07 c bounds - >= -794216693037450 @ 7.99611
9.70/10.08 c bounds - >= -794085621037450 @ 8.00448
9.70/10.09 c bounds - >= -793954549037450 @ 8.01281
9.70/10.09 c bounds - >= -793823477037450 @ 8.0196
9.70/10.10 c bounds - >= -793692405037450 @ 8.02512
9.70/10.11 c bounds - >= -793561333037450 @ 8.03222
9.80/10.11 c bounds - >= -793430261037450 @ 8.03684
9.80/10.12 c bounds - >= -793299189037450 @ 8.04276
9.80/10.13 c bounds - >= -793168117037450 @ 8.04962
9.80/10.13 c bounds - >= -793037045037450 @ 8.0552
9.80/10.14 c bounds - >= -792905973037450 @ 8.06219
9.80/10.15 c bounds - >= -792637537581450 @ 8.07127
9.80/10.16 c bounds - >= -792384704936330 @ 8.08092
9.80/10.17 c bounds - >= -792253632936330 @ 8.08749
9.80/10.17 c bounds - >= -792122560936330 @ 8.09455
9.80/10.18 c bounds - >= -791991488936330 @ 8.09999
9.80/10.19 c bounds - >= -791860416936330 @ 8.1055
9.80/10.19 c bounds - >= -791729344936330 @ 8.11133
9.89/10.20 c bounds - >= -791598272936330 @ 8.11777
9.89/10.21 c bounds - >= -791467200936330 @ 8.12459
9.89/10.22 c bounds - >= -791249432672650 @ 8.13332
9.89/10.23 c bounds - >= -791118360672650 @ 8.14291
11.58/11.94 c #Conflicts: 3000 | #Constraints: 8964
11.58/11.94 c #Conflicts: 4000 | #Constraints: 9964
11.58/11.94 c INPROCESSING
11.58/11.94 c GARBAGE COLLECT
11.58/11.94 c #Conflicts: 5000 | #Constraints: 9281
11.58/11.94 c #Conflicts: 6000 | #Constraints: 10281
11.58/11.94 c INPROCESSING
11.58/11.94 c GARBAGE COLLECT
11.58/11.94 c bounds - >= 14188007327350 @ 9.81796
11.70/12.09 c bounds - >= 148405735327350 @ 9.95424
11.70/12.10 c bounds - >= 215514599327350 @ 9.96506
11.70/12.10 c bounds - >= 216909121521270 @ 9.9725
11.79/12.11 c bounds - >= 217451361142390 @ 9.98105
11.79/12.12 c bounds - >= 218303643715190 @ 9.98934
11.79/12.13 c bounds - >= 218475442407030 @ 9.99684
11.79/12.14 c bounds - >= 221092688103030 @ 10.0051
11.79/12.15 c bounds - >= 222547608274550 @ 10.0133
11.79/12.16 c bounds - >= 232291815327350 @ 10.0238
11.79/12.16 c bounds - >= 236586782623350 @ 10.0308
11.79/12.18 c bounds - >= 237029701125750 @ 10.0433
11.79/12.19 c bounds - >= 237472619628150 @ 10.0519
11.79/12.19 c bounds - >= 237694078879350 @ 10.0606
11.88/12.20 c bounds - >= 237915538130550 @ 10.0684
11.88/12.21 c bounds - >= 239732846167670 @ 10.0744
11.88/12.22 c bounds - >= 239938660664950 @ 10.0889
11.88/12.23 c bounds - >= 240081812260470 @ 10.0989
11.88/12.24 c bounds - >= 240935437010550 @ 10.1048
11.88/12.24 c bounds - >= 242483135186550 @ 10.1095
11.88/12.26 c bounds - >= 242628090332790 @ 10.1209
11.88/12.27 c bounds - >= 243652171597430 @ 10.1302
11.88/12.28 c bounds - >= 244559441495670 @ 10.1412
11.88/12.29 c bounds - >= 244751960049270 @ 10.1522
11.99/12.30 c bounds - >= 244938522691190 @ 10.1646
11.99/12.32 c bounds - >= 245069594691190 @ 10.1788
12.38/12.76 c #Conflicts: 7000 | #Constraints: 9361
12.38/12.76 c bounds - >= 265624788076150 @ 10.6154
12.38/12.77 c bounds - >= 274234855327350 @ 10.6214
12.38/12.78 c bounds - >= 275258936591990 @ 10.628
12.38/12.78 c bounds - >= 276052163364470 @ 10.6354
12.38/12.79 c bounds - >= 276203661624950 @ 10.6437
12.48/12.80 c bounds - >= 276348616771190 @ 10.6511
12.48/12.81 c bounds - >= 276479688771190 @ 10.66
12.48/12.82 c bounds - >= 276610760771190 @ 10.6682
56.05/56.50 c #Conflicts: 8000 | #Constraints: 10444
56.05/56.50 c #Conflicts: 9000 | #Constraints: 11444
56.05/56.50 c INPROCESSING
56.05/56.50 c GARBAGE COLLECT
56.05/56.50 c #Conflicts: 10000 | #Constraints: 10050
56.05/56.50 c #Conflicts: 11000 | #Constraints: 11050
56.05/56.50 c #Conflicts: 12000 | #Constraints: 12050
56.05/56.50 c INPROCESSING
56.05/56.50 c GARBAGE COLLECT
56.05/56.50 c #Conflicts: 13000 | #Constraints: 10498
56.05/56.50 c #Conflicts: 14000 | #Constraints: 11498
56.05/56.50 c #Conflicts: 15000 | #Constraints: 12498
56.05/56.50 c INPROCESSING
56.05/56.50 c GARBAGE COLLECT
56.05/56.50 c #Conflicts: 16000 | #Constraints: 10726
56.05/56.50 c #Conflicts: 17000 | #Constraints: 11726
56.05/56.50 c #Conflicts: 18000 | #Constraints: 12726
56.05/56.50 c INPROCESSING
56.05/56.50 c GARBAGE COLLECT
56.05/56.50 c #Conflicts: 19000 | #Constraints: 10739
56.05/56.50 c #Conflicts: 20000 | #Constraints: 11739
56.05/56.50 c #Conflicts: 21000 | #Constraints: 12739
56.05/56.50 c INPROCESSING
56.05/56.50 c GARBAGE COLLECT
56.05/56.50 c #Conflicts: 22000 | #Constraints: 10545
56.05/56.50 c #Conflicts: 23000 | #Constraints: 11545
56.05/56.50 c #Conflicts: 24000 | #Constraints: 12545
56.05/56.50 c #Conflicts: 25000 | #Constraints: 13545
56.05/56.50 c INPROCESSING
56.05/56.50 c GARBAGE COLLECT
56.05/56.50 c #Conflicts: 26000 | #Constraints: 11145
56.05/56.50 c bounds - >= 276789228406390 @ 53.8694
56.05/56.51 c bounds - >= 277010687657590 @ 53.8771
56.05/56.52 c bounds - >= 277177579013750 @ 53.8874
57.15/57.67 c #Conflicts: 27000 | #Constraints: 12160
57.15/57.67 c bounds - >= 277405078062710 @ 55.0138
58.35/58.89 c #Conflicts: 28000 | #Constraints: 13166
58.35/58.89 c #Conflicts: 29000 | #Constraints: 14166
58.35/58.89 c INPROCESSING
58.35/58.89 c GARBAGE COLLECT
58.35/58.89 c bounds - >= 278429159327350 @ 56.2296
58.45/58.90 c bounds - >= 278560231327350 @ 56.2355
58.45/58.91 c bounds - >= 278711729587830 @ 56.2419
58.45/58.91 c bounds - >= 278842801587830 @ 56.2483
58.45/58.92 c bounds - >= 278973873587830 @ 56.2571
60.24/60.72 c #Conflicts: 30000 | #Constraints: 11582
60.24/60.72 c #Conflicts: 31000 | #Constraints: 12582
60.24/60.72 c bounds - >= 279160981489270 @ 58.0199
61.34/61.86 c #Conflicts: 32000 | #Constraints: 13587
61.34/61.86 c #Conflicts: 33000 | #Constraints: 14587
61.34/61.86 c INPROCESSING
61.34/61.86 c GARBAGE COLLECT
61.34/61.86 c bounds - >= 279292053489270 @ 59.1462
61.34/61.87 c bounds - >= 279423125489270 @ 59.1585
62.73/63.21 c #Conflicts: 34000 | #Constraints: 11792
62.73/63.21 c #Conflicts: 35000 | #Constraints: 12792
62.73/63.21 c bounds - >= 279554197489270 @ 60.4793
65.93/66.43 c #Conflicts: 36000 | #Constraints: 13798
65.93/66.43 c #Conflicts: 37000 | #Constraints: 14799
65.93/66.43 c INPROCESSING
65.93/66.43 c GARBAGE COLLECT
65.93/66.43 c bounds - >= 279685269489270 @ 63.6553
65.93/66.44 c bounds - >= 279816341489270 @ 63.6636
218.95/220.90 c #Conflicts: 38000 | #Constraints: 11804
218.95/220.90 c #Conflicts: 39000 | #Constraints: 12804
218.95/220.90 c #Conflicts: 40000 | #Constraints: 13804
218.95/220.90 c #Conflicts: 41000 | #Constraints: 14804
218.95/220.90 c INPROCESSING
218.95/220.90 c GARBAGE COLLECT
218.95/220.90 c #Conflicts: 42000 | #Constraints: 11596
218.95/220.90 c #Conflicts: 43000 | #Constraints: 12596
218.95/220.90 c #Conflicts: 44000 | #Constraints: 13596
218.95/220.90 c #Conflicts: 45000 | #Constraints: 14596
218.95/220.90 c #Conflicts: 46000 | #Constraints: 15596
218.95/220.90 c INPROCESSING
218.95/220.90 c GARBAGE COLLECT
218.95/220.90 c #Conflicts: 47000 | #Constraints: 12192
218.95/220.90 c #Conflicts: 48000 | #Constraints: 13192
218.95/220.90 c #Conflicts: 49000 | #Constraints: 14192
218.95/220.90 c #Conflicts: 50000 | #Constraints: 15192
218.95/220.90 c #Conflicts: 51000 | #Constraints: 16192
218.95/220.90 c INPROCESSING
218.95/220.90 c GARBAGE COLLECT
218.95/220.90 c #Conflicts: 52000 | #Constraints: 12591
218.95/220.90 c #Conflicts: 53000 | #Constraints: 13591
218.95/220.90 c #Conflicts: 54000 | #Constraints: 14591
218.95/220.90 c #Conflicts: 55000 | #Constraints: 15591
218.95/220.90 c #Conflicts: 56000 | #Constraints: 16591
218.95/220.90 c INPROCESSING
218.95/220.90 c GARBAGE COLLECT
218.95/220.90 c #Conflicts: 57000 | #Constraints: 12789
218.95/220.90 c #Conflicts: 58000 | #Constraints: 13789
218.95/220.90 c #Conflicts: 59000 | #Constraints: 14789
218.95/220.90 c #Conflicts: 60000 | #Constraints: 15789
218.95/220.90 c #Conflicts: 61000 | #Constraints: 16789
218.95/220.90 c INPROCESSING
218.95/220.90 c GARBAGE COLLECT
218.95/220.90 c #Conflicts: 62000 | #Constraints: 12792
218.95/220.90 c #Conflicts: 63000 | #Constraints: 13792
218.95/220.90 c #Conflicts: 64000 | #Constraints: 14792
218.95/220.90 c #Conflicts: 65000 | #Constraints: 15792
218.95/220.90 c #Conflicts: 66000 | #Constraints: 16792
218.95/220.90 c INPROCESSING
218.95/220.90 c GARBAGE COLLECT
218.95/220.90 c #Conflicts: 67000 | #Constraints: 12595
218.95/220.90 c #Conflicts: 68000 | #Constraints: 13595
218.95/220.90 c #Conflicts: 69000 | #Constraints: 14595
218.95/220.90 c #Conflicts: 70000 | #Constraints: 15595
218.95/220.90 c #Conflicts: 71000 | #Constraints: 16595
218.95/220.90 c #Conflicts: 72000 | #Constraints: 17595
218.95/220.90 c INPROCESSING
218.95/220.90 c GARBAGE COLLECT
218.95/220.90 c #Conflicts: 73000 | #Constraints: 13195
218.95/220.90 c #Conflicts: 74000 | #Constraints: 14195
218.95/220.90 c #Conflicts: 75000 | #Constraints: 15195
218.95/220.90 c #Conflicts: 76000 | #Constraints: 16195
218.95/220.90 c #Conflicts: 77000 | #Constraints: 17195
218.95/220.90 c #Conflicts: 78000 | #Constraints: 18195
218.95/220.90 c INPROCESSING
218.95/220.90 c GARBAGE COLLECT
218.95/220.90 c #Conflicts: 79000 | #Constraints: 13592
218.95/220.90 c #Conflicts: 80000 | #Constraints: 14592
218.95/220.90 c #Conflicts: 81000 | #Constraints: 15592
218.95/220.90 c #Conflicts: 82000 | #Constraints: 16592
218.95/220.90 c #Conflicts: 83000 | #Constraints: 17592
218.95/220.90 c #Conflicts: 84000 | #Constraints: 18592
218.95/220.90 c INPROCESSING
218.95/220.90 c GARBAGE COLLECT
218.95/220.90 c #Conflicts: 85000 | #Constraints: 13796
218.95/220.90 c #Conflicts: 86000 | #Constraints: 14796
218.95/220.90 c #Conflicts: 87000 | #Constraints: 15796
218.95/220.90 c #Conflicts: 88000 | #Constraints: 16796
218.95/220.90 c #Conflicts: 89000 | #Constraints: 17796
218.95/220.90 c #Conflicts: 90000 | #Constraints: 18796
218.95/220.90 c INPROCESSING
218.95/220.90 c GARBAGE COLLECT
218.95/220.90 c #Conflicts: 91000 | #Constraints: 13796
218.95/220.90 c #Conflicts: 92000 | #Constraints: 14796
218.95/220.90 c #Conflicts: 93000 | #Constraints: 15796
218.95/220.90 c #Conflicts: 94000 | #Constraints: 16796
218.95/220.90 c #Conflicts: 95000 | #Constraints: 17796
218.95/220.90 c #Conflicts: 96000 | #Constraints: 18796
218.95/220.90 c INPROCESSING
218.95/220.90 c GARBAGE COLLECT
218.95/220.90 c #Conflicts: 97000 | #Constraints: 13597
218.95/220.90 c #Conflicts: 98000 | #Constraints: 14597
218.95/220.90 c #Conflicts: 99000 | #Constraints: 15597
218.95/220.90 c #Conflicts: 100000 | #Constraints: 16597
218.95/220.90 c #Conflicts: 101000 | #Constraints: 17597
218.95/220.90 c #Conflicts: 102000 | #Constraints: 18597
218.95/220.90 c #Conflicts: 103000 | #Constraints: 19597
218.95/220.90 c INPROCESSING
218.95/220.90 c GARBAGE COLLECT
218.95/220.90 c #Conflicts: 104000 | #Constraints: 14194
218.95/220.90 c #Conflicts: 105000 | #Constraints: 15194
218.95/220.90 c #Conflicts: 106000 | #Constraints: 16194
218.95/220.90 c #Conflicts: 107000 | #Constraints: 17194
218.95/220.90 c #Conflicts: 108000 | #Constraints: 18194
218.95/220.90 c bounds - >= 280200917223030 @ 215.426
253.96/256.26 c #Conflicts: 109000 | #Constraints: 19202
253.96/256.26 c #Conflicts: 110000 | #Constraints: 20202
253.96/256.26 c INPROCESSING
253.96/256.26 c GARBAGE COLLECT
253.96/256.26 c #Conflicts: 111000 | #Constraints: 14601
253.96/256.26 c #Conflicts: 112000 | #Constraints: 15601
253.96/256.26 c #Conflicts: 113000 | #Constraints: 16601
253.96/256.26 c #Conflicts: 114000 | #Constraints: 17601
253.96/256.26 c #Conflicts: 115000 | #Constraints: 18601
253.96/256.26 c bounds - >= 281470616929910 @ 250.202
262.24/264.52 c #Conflicts: 116000 | #Constraints: 19605
262.24/264.52 c #Conflicts: 117000 | #Constraints: 20605
262.24/264.52 c INPROCESSING
262.24/264.52 c GARBAGE COLLECT
262.24/264.52 c #Conflicts: 118000 | #Constraints: 14802
262.24/264.52 c #Conflicts: 119000 | #Constraints: 15802
262.24/264.52 c #Conflicts: 120000 | #Constraints: 16802
262.24/264.52 c #Conflicts: 121000 | #Constraints: 17802
262.24/264.52 c #Conflicts: 122000 | #Constraints: 18802
262.24/264.52 c #Conflicts: 123000 | #Constraints: 19802
262.24/264.52 c #Conflicts: 124000 | #Constraints: 20802
262.24/264.52 c INPROCESSING
262.24/264.52 c GARBAGE COLLECT
262.24/264.52 c bounds - >= 281994904929910 @ 258.341
262.24/264.52 c bounds - >= 282298069223030 @ 258.348
265.92/268.25 c #Conflicts: 125000 | #Constraints: 14809
265.92/268.25 c #Conflicts: 126000 | #Constraints: 15809
265.92/268.25 c #Conflicts: 127000 | #Constraints: 16809
265.92/268.25 c bounds - >= 282429141223030 @ 261.999
265.92/268.26 c bounds - >= 282650264929910 @ 262.01
265.92/268.27 c bounds - >= 282781336929910 @ 262.022
458.53/465.53 c #Conflicts: 128000 | #Constraints: 17824
458.53/465.53 c #Conflicts: 129000 | #Constraints: 18824
458.53/465.53 c #Conflicts: 130000 | #Constraints: 19824
458.53/465.53 c #Conflicts: 131000 | #Constraints: 20824
458.53/465.53 c INPROCESSING
458.53/465.53 c GARBAGE COLLECT
458.53/465.53 c #Conflicts: 132000 | #Constraints: 14612
458.53/465.53 c #Conflicts: 133000 | #Constraints: 15612
458.53/465.53 c #Conflicts: 134000 | #Constraints: 16612
458.53/465.53 c #Conflicts: 135000 | #Constraints: 17612
458.53/465.53 c #Conflicts: 136000 | #Constraints: 18612
458.53/465.53 c #Conflicts: 137000 | #Constraints: 19612
458.53/465.53 c #Conflicts: 138000 | #Constraints: 20612
458.53/465.53 c #Conflicts: 139000 | #Constraints: 21612
458.53/465.53 c INPROCESSING
458.53/465.53 c GARBAGE COLLECT
458.53/465.53 c #Conflicts: 140000 | #Constraints: 15215
458.53/465.53 c #Conflicts: 141000 | #Constraints: 16215
458.53/465.53 c #Conflicts: 142000 | #Constraints: 17215
458.53/465.53 c #Conflicts: 143000 | #Constraints: 18215
458.53/465.53 c #Conflicts: 144000 | #Constraints: 19215
458.53/465.53 c #Conflicts: 145000 | #Constraints: 20215
458.53/465.53 c #Conflicts: 146000 | #Constraints: 21215
458.53/465.53 c #Conflicts: 147000 | #Constraints: 22215
458.53/465.53 c INPROCESSING
458.53/465.53 c GARBAGE COLLECT
458.53/465.53 c #Conflicts: 148000 | #Constraints: 15617
458.53/465.53 c #Conflicts: 149000 | #Constraints: 16617
458.53/465.53 c #Conflicts: 150000 | #Constraints: 17617
458.53/465.53 c #Conflicts: 151000 | #Constraints: 18617
458.53/465.53 c #Conflicts: 152000 | #Constraints: 19617
458.53/465.53 c #Conflicts: 153000 | #Constraints: 20617
458.53/465.53 c #Conflicts: 154000 | #Constraints: 21617
458.53/465.53 c #Conflicts: 155000 | #Constraints: 22617
458.53/465.53 c INPROCESSING
458.53/465.53 c GARBAGE COLLECT
458.53/465.53 c #Conflicts: 156000 | #Constraints: 15815
458.53/465.53 c #Conflicts: 157000 | #Constraints: 16815
458.53/465.53 c #Conflicts: 158000 | #Constraints: 17815
458.53/465.53 c #Conflicts: 159000 | #Constraints: 18815
458.53/465.53 c #Conflicts: 160000 | #Constraints: 19815
458.53/465.53 c #Conflicts: 161000 | #Constraints: 20815
458.53/465.53 c #Conflicts: 162000 | #Constraints: 21815
458.53/465.53 c #Conflicts: 163000 | #Constraints: 22815
458.53/465.53 c INPROCESSING
458.53/465.53 c GARBAGE COLLECT
458.53/465.53 c #Conflicts: 164000 | #Constraints: 15816
458.53/465.53 c #Conflicts: 165000 | #Constraints: 16816
458.53/465.53 c #Conflicts: 166000 | #Constraints: 17816
458.53/465.53 c #Conflicts: 167000 | #Constraints: 18816
458.53/465.53 c #Conflicts: 168000 | #Constraints: 19816
458.53/465.53 c #Conflicts: 169000 | #Constraints: 20816
458.53/465.53 c #Conflicts: 170000 | #Constraints: 21816
458.53/465.53 c #Conflicts: 171000 | #Constraints: 22816
458.53/465.53 c INPROCESSING
458.53/465.53 c GARBAGE COLLECT
458.53/465.53 c #Conflicts: 172000 | #Constraints: 15616
458.53/465.53 c #Conflicts: 173000 | #Constraints: 16616
458.53/465.53 c #Conflicts: 174000 | #Constraints: 17616
458.53/465.53 c #Conflicts: 175000 | #Constraints: 18616
458.53/465.53 c #Conflicts: 176000 | #Constraints: 19616
458.53/465.53 c #Conflicts: 177000 | #Constraints: 20616
458.53/465.53 c #Conflicts: 178000 | #Constraints: 21616
458.53/465.53 c #Conflicts: 179000 | #Constraints: 22616
458.53/465.53 c #Conflicts: 180000 | #Constraints: 23616
458.53/465.53 c INPROCESSING
458.53/465.53 c GARBAGE COLLECT
458.53/465.53 c #Conflicts: 181000 | #Constraints: 16214
458.53/465.53 c #Conflicts: 182000 | #Constraints: 17214
458.53/465.53 c #Conflicts: 183000 | #Constraints: 18214
458.53/465.53 c #Conflicts: 184000 | #Constraints: 19214
458.53/465.53 c #Conflicts: 185000 | #Constraints: 20215
458.53/465.53 c #Conflicts: 186000 | #Constraints: 21215
458.53/465.53 c #Conflicts: 187000 | #Constraints: 22215
458.53/465.53 c #Conflicts: 188000 | #Constraints: 23215
458.53/465.53 c #Conflicts: 189000 | #Constraints: 24215
458.53/465.53 c INPROCESSING
458.53/465.53 c GARBAGE COLLECT
458.53/465.53 c #Conflicts: 190000 | #Constraints: 16213
458.53/465.53 c #Conflicts: 191000 | #Constraints: 17213
458.53/465.53 c #Conflicts: 192000 | #Constraints: 18213
458.53/465.53 c #Conflicts: 193000 | #Constraints: 19213
458.53/465.53 c #Conflicts: 194000 | #Constraints: 20213
458.53/465.53 c #Conflicts: 195000 | #Constraints: 21213
458.53/465.53 c #Conflicts: 196000 | #Constraints: 22213
458.53/465.53 c #Conflicts: 197000 | #Constraints: 23213
458.53/465.53 c #Conflicts: 198000 | #Constraints: 24213
458.53/465.53 c INPROCESSING
458.53/465.53 c GARBAGE COLLECT
458.53/465.53 c #Conflicts: 199000 | #Constraints: 16615
458.53/465.53 c #Conflicts: 200000 | #Constraints: 17615
458.53/465.53 c #Conflicts: 201000 | #Constraints: 18615
657.01/667.02 c #Conflicts: 202000 | #Constraints: 19615
657.01/667.02 c #Conflicts: 203000 | #Constraints: 20615
657.01/667.02 c #Conflicts: 204000 | #Constraints: 21615
657.01/667.02 c #Conflicts: 205000 | #Constraints: 22615
657.01/667.02 c #Conflicts: 206000 | #Constraints: 23615
657.01/667.02 c #Conflicts: 207000 | #Constraints: 24615
657.01/667.02 c INPROCESSING
657.01/667.02 c GARBAGE COLLECT
657.01/667.02 c #Conflicts: 208000 | #Constraints: 16715
657.01/667.02 c #Conflicts: 209000 | #Constraints: 17715
657.01/667.02 c #Conflicts: 210000 | #Constraints: 18715
657.01/667.02 c #Conflicts: 211000 | #Constraints: 19715
657.01/667.02 c #Conflicts: 212000 | #Constraints: 20715
657.01/667.02 c #Conflicts: 213000 | #Constraints: 21715
657.01/667.02 c #Conflicts: 214000 | #Constraints: 22715
657.01/667.02 c #Conflicts: 215000 | #Constraints: 23715
657.01/667.02 c #Conflicts: 216000 | #Constraints: 24715
657.01/667.02 c INPROCESSING
657.01/667.02 c GARBAGE COLLECT
657.01/667.02 c #Conflicts: 217000 | #Constraints: 16566
657.01/667.02 c #Conflicts: 218000 | #Constraints: 17566
657.01/667.02 c #Conflicts: 219000 | #Constraints: 18566
657.01/667.02 c #Conflicts: 220000 | #Constraints: 19566
657.01/667.02 c #Conflicts: 221000 | #Constraints: 20566
657.01/667.02 c #Conflicts: 222000 | #Constraints: 21566
657.01/667.02 c #Conflicts: 223000 | #Constraints: 22566
657.01/667.02 c #Conflicts: 224000 | #Constraints: 23566
657.01/667.02 c #Conflicts: 225000 | #Constraints: 24566
657.01/667.02 c #Conflicts: 226000 | #Constraints: 25566
657.01/667.02 c INPROCESSING
657.01/667.02 c GARBAGE COLLECT
657.01/667.02 c #Conflicts: 227000 | #Constraints: 17191
657.01/667.02 c #Conflicts: 228000 | #Constraints: 18191
657.01/667.02 c #Conflicts: 229000 | #Constraints: 19191
657.01/667.02 c #Conflicts: 230000 | #Constraints: 20191
657.01/667.02 c #Conflicts: 231000 | #Constraints: 21191
657.01/667.02 c #Conflicts: 232000 | #Constraints: 22191
657.01/667.02 c #Conflicts: 233000 | #Constraints: 23191
657.01/667.02 c #Conflicts: 234000 | #Constraints: 24191
657.01/667.02 c #Conflicts: 235000 | #Constraints: 25191
657.01/667.02 c #Conflicts: 236000 | #Constraints: 26191
657.01/667.02 c INPROCESSING
657.01/667.02 c GARBAGE COLLECT
657.01/667.02 c #Conflicts: 237000 | #Constraints: 17601
657.01/667.02 c #Conflicts: 238000 | #Constraints: 18601
657.01/667.02 c #Conflicts: 239000 | #Constraints: 19601
657.01/667.02 c #Conflicts: 240000 | #Constraints: 20601
657.01/667.02 c #Conflicts: 241000 | #Constraints: 21601
657.01/667.02 c #Conflicts: 242000 | #Constraints: 22601
657.01/667.02 c #Conflicts: 243000 | #Constraints: 23601
657.01/667.02 c #Conflicts: 244000 | #Constraints: 24601
657.01/667.02 c #Conflicts: 245000 | #Constraints: 25601
657.01/667.02 c #Conflicts: 246000 | #Constraints: 26601
657.01/667.02 c INPROCESSING
657.01/667.02 c GARBAGE COLLECT
657.01/667.02 c #Conflicts: 247000 | #Constraints: 17807
657.01/667.02 c #Conflicts: 248000 | #Constraints: 18807
657.01/667.02 c #Conflicts: 249000 | #Constraints: 19807
657.01/667.02 c #Conflicts: 250000 | #Constraints: 20807
657.01/667.02 c #Conflicts: 251000 | #Constraints: 21807
657.01/667.02 c #Conflicts: 252000 | #Constraints: 22807
657.01/667.02 c #Conflicts: 253000 | #Constraints: 23807
657.01/667.02 c #Conflicts: 254000 | #Constraints: 24807
657.01/667.02 c #Conflicts: 255000 | #Constraints: 25807
657.01/667.02 c #Conflicts: 256000 | #Constraints: 26807
657.01/667.02 c INPROCESSING
657.01/667.02 c GARBAGE COLLECT
657.01/667.02 c #Conflicts: 257000 | #Constraints: 17811
657.01/667.02 c #Conflicts: 258000 | #Constraints: 18811
657.01/667.02 c #Conflicts: 259000 | #Constraints: 19811
657.01/667.02 c #Conflicts: 260000 | #Constraints: 20811
657.01/667.02 c #Conflicts: 261000 | #Constraints: 21811
657.01/667.02 c #Conflicts: 262000 | #Constraints: 22811
657.01/667.02 c #Conflicts: 263000 | #Constraints: 23811
657.01/667.02 c #Conflicts: 264000 | #Constraints: 24811
657.01/667.02 c #Conflicts: 265000 | #Constraints: 25811
657.01/667.02 c #Conflicts: 266000 | #Constraints: 26811
657.01/667.02 c INPROCESSING
657.01/667.02 c GARBAGE COLLECT
657.01/667.02 c #Conflicts: 267000 | #Constraints: 17612
657.01/667.02 c #Conflicts: 268000 | #Constraints: 18612
657.01/667.02 c #Conflicts: 269000 | #Constraints: 19612
657.01/667.02 c #Conflicts: 270000 | #Constraints: 20612
657.01/667.02 c #Conflicts: 271000 | #Constraints: 21612
657.01/667.02 c #Conflicts: 272000 | #Constraints: 22612
657.01/667.02 c #Conflicts: 273000 | #Constraints: 23612
657.01/667.02 c #Conflicts: 274000 | #Constraints: 24612
657.01/667.02 c #Conflicts: 275000 | #Constraints: 25612
671.76/681.86 c #Conflicts: 276000 | #Constraints: 26612
671.76/681.86 c #Conflicts: 277000 | #Constraints: 27612
671.76/681.86 c INPROCESSING
671.76/681.86 c GARBAGE COLLECT
671.76/681.86 c #Conflicts: 278000 | #Constraints: 18212
671.76/681.86 c #Conflicts: 279000 | #Constraints: 19212
671.76/681.86 c #Conflicts: 280000 | #Constraints: 20212
671.76/681.86 c #Conflicts: 281000 | #Constraints: 21212
671.76/681.86 c #Conflicts: 282000 | #Constraints: 22212
671.76/681.86 c #Conflicts: 283000 | #Constraints: 23212
671.76/681.86 c #Conflicts: 284000 | #Constraints: 24212
671.76/681.86 c #Conflicts: 285000 | #Constraints: 25212
671.76/681.86 c #Conflicts: 286000 | #Constraints: 26212
671.76/681.86 c #Conflicts: 287000 | #Constraints: 27212
671.76/681.86 c #Conflicts: 288000 | #Constraints: 28212
671.76/681.86 c INPROCESSING
671.76/681.86 c GARBAGE COLLECT
671.76/681.86 c #Conflicts: 289000 | #Constraints: 18613
671.76/681.86 c #Conflicts: 290000 | #Constraints: 19613
671.76/681.86 c #Conflicts: 291000 | #Constraints: 20613
671.76/681.86 c #Conflicts: 292000 | #Constraints: 21613
671.76/681.86 c #Conflicts: 293000 | #Constraints: 22613
671.76/681.86 c bounds - >= 283278655555190 @ 664.721
676.64/686.71 c #Conflicts: 294000 | #Constraints: 23629
676.64/686.71 c #Conflicts: 295000 | #Constraints: 24629
676.64/686.71 c #Conflicts: 296000 | #Constraints: 25629
676.64/686.71 c #Conflicts: 297000 | #Constraints: 26629
676.64/686.71 c #Conflicts: 298000 | #Constraints: 27629
676.64/686.71 c #Conflicts: 299000 | #Constraints: 28629
676.64/686.71 c INPROCESSING
676.64/686.71 c GARBAGE COLLECT
676.64/686.71 c bounds - >= 283430153815670 @ 669.495
676.64/686.72 c bounds - >= 283561225815670 @ 669.503
676.64/686.73 c bounds - >= 283692297815670 @ 669.511
676.64/686.73 c bounds - >= 283823369815670 @ 669.518
676.64/686.74 c bounds - >= 283954441815670 @ 669.528
676.64/686.76 c bounds - >= 284085513815670 @ 669.539
676.64/686.77 c bounds - >= 284216585815670 @ 669.548
676.64/686.77 c bounds - >= 284347657815670 @ 669.556
680.52/690.64 c #Conflicts: 300000 | #Constraints: 18860
680.52/690.64 c #Conflicts: 301000 | #Constraints: 19860
680.52/690.64 c #Conflicts: 302000 | #Constraints: 20860
680.52/690.64 c #Conflicts: 303000 | #Constraints: 21860
680.52/690.64 c #Conflicts: 304000 | #Constraints: 22860
680.52/690.64 c #Conflicts: 305000 | #Constraints: 23860
680.52/690.64 c bounds - >= 284478729815670 @ 673.338
725.57/735.85 c #Conflicts: 306000 | #Constraints: 24864
725.57/735.85 c #Conflicts: 307000 | #Constraints: 25864
725.57/735.85 c #Conflicts: 308000 | #Constraints: 26864
725.57/735.85 c #Conflicts: 309000 | #Constraints: 27864
725.57/735.85 c #Conflicts: 310000 | #Constraints: 28864
725.57/735.85 c INPROCESSING
725.57/735.85 c GARBAGE COLLECT
725.57/735.85 c #Conflicts: 311000 | #Constraints: 18843
725.57/735.85 c #Conflicts: 312000 | #Constraints: 19843
725.57/735.85 c #Conflicts: 313000 | #Constraints: 20843
725.57/735.85 c #Conflicts: 314000 | #Constraints: 21843
725.57/735.85 c #Conflicts: 315000 | #Constraints: 22843
725.57/735.85 c #Conflicts: 316000 | #Constraints: 23843
725.57/735.85 c #Conflicts: 317000 | #Constraints: 24843
725.57/735.85 c #Conflicts: 318000 | #Constraints: 25843
725.57/735.85 c #Conflicts: 319000 | #Constraints: 26843
725.57/735.85 c #Conflicts: 320000 | #Constraints: 27843
725.57/735.85 c #Conflicts: 321000 | #Constraints: 28843
725.57/735.85 c INPROCESSING
725.57/735.85 c GARBAGE COLLECT
725.57/735.85 c bounds - >= 284609801815670 @ 718.042
725.57/735.85 c bounds - >= 284740873815670 @ 718.051
725.57/735.86 c bounds - >= 284871945815670 @ 718.058
725.57/735.88 c bounds - >= 285003017815670 @ 718.072
878.50/889.20 c #Conflicts: 322000 | #Constraints: 18662
878.50/889.20 c #Conflicts: 323000 | #Constraints: 19662
878.50/889.20 c #Conflicts: 324000 | #Constraints: 20662
878.50/889.20 c #Conflicts: 325000 | #Constraints: 21662
878.50/889.20 c #Conflicts: 326000 | #Constraints: 22662
878.50/889.20 c #Conflicts: 327000 | #Constraints: 23662
878.50/889.20 c #Conflicts: 328000 | #Constraints: 24662
878.50/889.20 c #Conflicts: 329000 | #Constraints: 25662
878.50/889.20 c #Conflicts: 330000 | #Constraints: 26662
878.50/889.20 c #Conflicts: 331000 | #Constraints: 27662
878.50/889.20 c #Conflicts: 332000 | #Constraints: 28662
878.50/889.20 c #Conflicts: 333000 | #Constraints: 29662
878.50/889.20 c INPROCESSING
878.50/889.20 c GARBAGE COLLECT
878.50/889.20 c #Conflicts: 334000 | #Constraints: 19255
878.50/889.20 c #Conflicts: 335000 | #Constraints: 20255
878.50/889.20 c #Conflicts: 336000 | #Constraints: 21255
878.50/889.20 c #Conflicts: 337000 | #Constraints: 22255
878.50/889.20 c #Conflicts: 338000 | #Constraints: 23255
878.50/889.20 c #Conflicts: 339000 | #Constraints: 24255
878.50/889.20 c #Conflicts: 340000 | #Constraints: 25255
878.50/889.20 c #Conflicts: 341000 | #Constraints: 26255
878.50/889.20 c #Conflicts: 342000 | #Constraints: 27255
878.50/889.20 c #Conflicts: 343000 | #Constraints: 28255
878.50/889.20 c #Conflicts: 344000 | #Constraints: 29255
878.50/889.20 c #Conflicts: 345000 | #Constraints: 30255
878.50/889.20 c INPROCESSING
878.50/889.20 c GARBAGE COLLECT
878.50/889.20 c #Conflicts: 346000 | #Constraints: 19654
878.50/889.20 c #Conflicts: 347000 | #Constraints: 20654
878.50/889.20 c #Conflicts: 348000 | #Constraints: 21654
878.50/889.20 c #Conflicts: 349000 | #Constraints: 22654
878.50/889.20 c #Conflicts: 350000 | #Constraints: 23654
878.50/889.20 c #Conflicts: 351000 | #Constraints: 24654
878.50/889.20 c #Conflicts: 352000 | #Constraints: 25654
878.50/889.20 c #Conflicts: 353000 | #Constraints: 26654
878.50/889.20 c #Conflicts: 354000 | #Constraints: 27654
878.50/889.20 c #Conflicts: 355000 | #Constraints: 28654
878.50/889.20 c #Conflicts: 356000 | #Constraints: 29654
878.50/889.20 c #Conflicts: 357000 | #Constraints: 30654
878.50/889.20 c INPROCESSING
878.50/889.20 c GARBAGE COLLECT
878.50/889.20 c #Conflicts: 358000 | #Constraints: 19854
878.50/889.20 c #Conflicts: 359000 | #Constraints: 20854
878.50/889.20 c #Conflicts: 360000 | #Constraints: 21854
878.50/889.20 c #Conflicts: 361000 | #Constraints: 22854
878.50/889.20 c #Conflicts: 362000 | #Constraints: 23854
878.50/889.20 c #Conflicts: 363000 | #Constraints: 24854
878.50/889.20 c #Conflicts: 364000 | #Constraints: 25854
878.50/889.20 c #Conflicts: 365000 | #Constraints: 26854
878.50/889.20 c #Conflicts: 366000 | #Constraints: 27854
878.50/889.20 c #Conflicts: 367000 | #Constraints: 28854
878.50/889.20 c #Conflicts: 368000 | #Constraints: 29854
878.50/889.20 c #Conflicts: 369000 | #Constraints: 30854
878.50/889.20 c INPROCESSING
878.50/889.20 c GARBAGE COLLECT
878.50/889.20 c bounds - >= 285251530327670 @ 869.832
878.50/889.22 c bounds - >= 285396485473910 @ 869.844
878.50/889.26 c bounds - >= 285527557473910 @ 869.884
878.60/889.32 c bounds - >= 285658629473910 @ 869.944
878.60/889.35 c bounds - >= 285789701473910 @ 869.972
878.70/889.42 c bounds - >= 285920773473910 @ 870.035
878.80/889.50 c bounds - >= 286051845473910 @ 870.107
878.80/889.53 c bounds - >= 286182917473910 @ 870.139
878.80/889.58 c bounds - >= 286313989473910 @ 870.186
879.00/889.77 c bounds - >= 286445061473910 @ 870.368
879.31/890.05 c bounds - >= 286576133473910 @ 870.638
879.50/890.23 c bounds - >= 286813782738550 @ 870.811
879.60/890.33 c bounds - >= 286944854738550 @ 870.905
965.19/977.78 c #Conflicts: 370000 | #Constraints: 20048
965.19/977.78 c #Conflicts: 371000 | #Constraints: 21048
965.19/977.78 c #Conflicts: 372000 | #Constraints: 22048
965.19/977.78 c #Conflicts: 373000 | #Constraints: 23048
965.19/977.78 c #Conflicts: 374000 | #Constraints: 24048
965.19/977.78 c #Conflicts: 375000 | #Constraints: 25048
965.19/977.78 c #Conflicts: 376000 | #Constraints: 26048
965.19/977.78 c #Conflicts: 377000 | #Constraints: 27048
965.19/977.78 c #Conflicts: 378000 | #Constraints: 28048
965.19/977.78 c #Conflicts: 379000 | #Constraints: 29048
965.19/977.78 c #Conflicts: 380000 | #Constraints: 30048
965.19/977.78 c #Conflicts: 381000 | #Constraints: 31048
965.19/977.78 c INPROCESSING
965.19/977.78 c GARBAGE COLLECT
965.19/977.78 c #Conflicts: 382000 | #Constraints: 19756
965.19/977.78 c #Conflicts: 383000 | #Constraints: 20756
965.19/977.78 c #Conflicts: 384000 | #Constraints: 21756
965.19/977.78 c #Conflicts: 385000 | #Constraints: 22756
965.19/977.78 c #Conflicts: 386000 | #Constraints: 23756
965.19/977.78 c #Conflicts: 387000 | #Constraints: 24756
965.19/977.78 c #Conflicts: 388000 | #Constraints: 25756
965.19/977.78 c #Conflicts: 389000 | #Constraints: 26756
965.19/977.79 c #Conflicts: 390000 | #Constraints: 27756
965.19/977.79 c #Conflicts: 391000 | #Constraints: 28756
965.19/977.79 c #Conflicts: 392000 | #Constraints: 29756
965.19/977.79 c #Conflicts: 393000 | #Constraints: 30756
965.19/977.79 c #Conflicts: 394000 | #Constraints: 31756
965.19/977.79 c INPROCESSING
965.19/977.79 c GARBAGE COLLECT
965.19/977.79 c #Conflicts: 395000 | #Constraints: 20406
965.19/977.79 c #Conflicts: 396000 | #Constraints: 21406
965.19/977.79 c #Conflicts: 397000 | #Constraints: 22406
965.19/977.79 c #Conflicts: 398000 | #Constraints: 23406
965.19/977.79 c #Conflicts: 399000 | #Constraints: 24406
965.19/977.79 c #Conflicts: 400000 | #Constraints: 25406
965.19/977.79 c #Conflicts: 401000 | #Constraints: 26406
965.19/977.79 c #Conflicts: 402000 | #Constraints: 27406
965.19/977.79 c #Conflicts: 403000 | #Constraints: 28406
965.19/977.79 c #Conflicts: 404000 | #Constraints: 29406
965.19/977.79 c #Conflicts: 405000 | #Constraints: 30406
965.19/977.79 c #Conflicts: 406000 | #Constraints: 31406
965.19/977.79 c #Conflicts: 407000 | #Constraints: 32406
965.19/977.79 c INPROCESSING
965.19/977.79 c GARBAGE COLLECT
965.19/977.79 c #Conflicts: 408000 | #Constraints: 20860
965.19/977.79 c #Conflicts: 409000 | #Constraints: 21860
965.19/977.79 c #Conflicts: 410000 | #Constraints: 22860
965.19/977.79 c #Conflicts: 411000 | #Constraints: 23860
965.19/977.79 c #Conflicts: 412000 | #Constraints: 24860
965.19/977.79 c #Conflicts: 413000 | #Constraints: 25860
965.19/977.79 c #Conflicts: 414000 | #Constraints: 26860
965.19/977.79 c #Conflicts: 415000 | #Constraints: 27860
965.19/977.79 c #Conflicts: 416000 | #Constraints: 28860
965.19/977.79 c #Conflicts: 417000 | #Constraints: 29860
965.19/977.79 c #Conflicts: 418000 | #Constraints: 30860
965.19/977.79 c #Conflicts: 419000 | #Constraints: 31860
965.19/977.79 c #Conflicts: 420000 | #Constraints: 32860
965.19/977.79 c INPROCESSING
965.19/977.79 c GARBAGE COLLECT
965.19/977.79 c #Conflicts: 421000 | #Constraints: 21075
965.19/977.79 c #Conflicts: 422000 | #Constraints: 22075
965.19/977.79 c #Conflicts: 423000 | #Constraints: 23075
965.19/977.79 c #Conflicts: 424000 | #Constraints: 24075
965.19/977.79 c #Conflicts: 425000 | #Constraints: 25075
965.19/977.79 c #Conflicts: 426000 | #Constraints: 26075
965.19/977.79 c bounds - >= 287075926738550 @ 955.553
965.19/977.79 c bounds - >= 287206998738550 @ 955.559
1157.82/1174.05 c #Conflicts: 427000 | #Constraints: 27086
1157.82/1174.05 c #Conflicts: 428000 | #Constraints: 28086
1157.82/1174.05 c #Conflicts: 429000 | #Constraints: 29086
1157.82/1174.05 c #Conflicts: 430000 | #Constraints: 30086
1157.82/1174.05 c #Conflicts: 431000 | #Constraints: 31086
1157.82/1174.05 c #Conflicts: 432000 | #Constraints: 32086
1157.82/1174.05 c #Conflicts: 433000 | #Constraints: 33086
1157.82/1174.05 c INPROCESSING
1157.82/1174.05 c GARBAGE COLLECT
1157.82/1174.05 c #Conflicts: 434000 | #Constraints: 21096
1157.82/1174.05 c #Conflicts: 435000 | #Constraints: 22096
1157.82/1174.05 c #Conflicts: 436000 | #Constraints: 23096
1157.82/1174.05 c #Conflicts: 437000 | #Constraints: 24096
1157.82/1174.05 c #Conflicts: 438000 | #Constraints: 25096
1157.82/1174.05 c #Conflicts: 439000 | #Constraints: 26096
1157.82/1174.05 c #Conflicts: 440000 | #Constraints: 27096
1157.82/1174.05 c #Conflicts: 441000 | #Constraints: 28096
1157.82/1174.05 c #Conflicts: 442000 | #Constraints: 29096
1157.82/1174.05 c #Conflicts: 443000 | #Constraints: 30096
1157.82/1174.05 c #Conflicts: 444000 | #Constraints: 31096
1157.82/1174.05 c #Conflicts: 445000 | #Constraints: 32096
1157.82/1174.05 c #Conflicts: 446000 | #Constraints: 33096
1157.82/1174.05 c INPROCESSING
1157.82/1174.05 c GARBAGE COLLECT
1157.82/1174.05 c #Conflicts: 447000 | #Constraints: 20903
1157.82/1174.05 c #Conflicts: 448000 | #Constraints: 21903
1157.82/1174.05 c #Conflicts: 449000 | #Constraints: 22903
1157.82/1174.05 c #Conflicts: 450000 | #Constraints: 23903
1157.82/1174.05 c #Conflicts: 451000 | #Constraints: 24903
1157.82/1174.05 c #Conflicts: 452000 | #Constraints: 25903
1157.82/1174.05 c #Conflicts: 453000 | #Constraints: 26903
1157.82/1174.05 c #Conflicts: 454000 | #Constraints: 27903
1157.82/1174.05 c #Conflicts: 455000 | #Constraints: 28903
1157.82/1174.05 c #Conflicts: 456000 | #Constraints: 29903
1157.82/1174.05 c #Conflicts: 457000 | #Constraints: 30903
1157.82/1174.05 c #Conflicts: 458000 | #Constraints: 31903
1157.82/1174.05 c #Conflicts: 459000 | #Constraints: 32903
1157.82/1174.05 c #Conflicts: 460000 | #Constraints: 33903
1157.82/1174.05 c INPROCESSING
1157.82/1174.05 c GARBAGE COLLECT
1157.82/1174.05 c #Conflicts: 461000 | #Constraints: 21514
1157.82/1174.05 c #Conflicts: 462000 | #Constraints: 22514
1157.82/1174.05 c #Conflicts: 463000 | #Constraints: 23514
1157.82/1174.05 c #Conflicts: 464000 | #Constraints: 24514
1157.82/1174.05 c #Conflicts: 465000 | #Constraints: 25514
1157.82/1174.05 c #Conflicts: 466000 | #Constraints: 26514
1157.82/1174.05 c #Conflicts: 467000 | #Constraints: 27514
1157.82/1174.05 c #Conflicts: 468000 | #Constraints: 28514
1157.82/1174.05 c #Conflicts: 469000 | #Constraints: 29514
1157.82/1174.05 c #Conflicts: 470000 | #Constraints: 30514
1157.82/1174.05 c #Conflicts: 471000 | #Constraints: 31514
1157.82/1174.05 c #Conflicts: 472000 | #Constraints: 32514
1157.82/1174.05 c #Conflicts: 473000 | #Constraints: 33514
1157.82/1174.05 c #Conflicts: 474000 | #Constraints: 34514
1157.82/1174.05 c INPROCESSING
1157.82/1174.05 c GARBAGE COLLECT
1157.82/1174.05 c #Conflicts: 475000 | #Constraints: 21931
1157.82/1174.05 c #Conflicts: 476000 | #Constraints: 22931
1157.82/1174.05 c #Conflicts: 477000 | #Constraints: 23931
1157.82/1174.05 c #Conflicts: 478000 | #Constraints: 24931
1157.82/1174.05 c #Conflicts: 479000 | #Constraints: 25931
1157.82/1174.05 c #Conflicts: 480000 | #Constraints: 26931
1157.82/1174.05 c #Conflicts: 481000 | #Constraints: 27931
1157.82/1174.05 c #Conflicts: 482000 | #Constraints: 28931
1157.82/1174.05 c #Conflicts: 483000 | #Constraints: 29931
1157.82/1174.05 c #Conflicts: 484000 | #Constraints: 30931
1157.82/1174.05 c #Conflicts: 485000 | #Constraints: 31931
1157.82/1174.05 c #Conflicts: 486000 | #Constraints: 32931
1157.82/1174.05 c #Conflicts: 487000 | #Constraints: 33931
1157.82/1174.05 c #Conflicts: 488000 | #Constraints: 34931
1157.82/1174.05 c INPROCESSING
1157.82/1174.05 c GARBAGE COLLECT
1157.82/1174.05 c #Conflicts: 489000 | #Constraints: 22127
1157.82/1174.05 c #Conflicts: 490000 | #Constraints: 23127
1157.82/1174.05 c #Conflicts: 491000 | #Constraints: 24127
1157.82/1174.05 c #Conflicts: 492000 | #Constraints: 25127
1157.82/1174.05 c #Conflicts: 493000 | #Constraints: 26127
1157.82/1174.05 c #Conflicts: 494000 | #Constraints: 27127
1157.82/1174.05 c #Conflicts: 495000 | #Constraints: 28127
1157.82/1174.05 c #Conflicts: 496000 | #Constraints: 29127
1157.82/1174.05 c #Conflicts: 497000 | #Constraints: 30127
1157.82/1174.05 c #Conflicts: 498000 | #Constraints: 31127
1157.82/1174.05 c #Conflicts: 499000 | #Constraints: 32127
1157.82/1174.05 c #Conflicts: 500000 | #Constraints: 33127
1157.82/1174.05 c #Conflicts: 501000 | #Constraints: 34127
1157.82/1174.05 c #Conflicts: 502000 | #Constraints: 35127
1338.96/1357.22 c INPROCESSING
1338.96/1357.22 c GARBAGE COLLECT
1338.96/1357.22 c #Conflicts: 503000 | #Constraints: 22128
1338.96/1357.22 c #Conflicts: 504000 | #Constraints: 23128
1338.96/1357.22 c #Conflicts: 505000 | #Constraints: 24128
1338.96/1357.22 c #Conflicts: 506000 | #Constraints: 25128
1338.96/1357.22 c #Conflicts: 507000 | #Constraints: 26128
1338.96/1357.22 c #Conflicts: 508000 | #Constraints: 27128
1338.96/1357.22 c #Conflicts: 509000 | #Constraints: 28128
1338.96/1357.22 c #Conflicts: 510000 | #Constraints: 29128
1338.96/1357.22 c #Conflicts: 511000 | #Constraints: 30128
1338.96/1357.22 c #Conflicts: 512000 | #Constraints: 31128
1338.96/1357.22 c #Conflicts: 513000 | #Constraints: 32128
1338.96/1357.22 c #Conflicts: 514000 | #Constraints: 33128
1338.96/1357.22 c #Conflicts: 515000 | #Constraints: 34128
1338.96/1357.22 c #Conflicts: 516000 | #Constraints: 35128
1338.96/1357.22 c INPROCESSING
1338.96/1357.22 c GARBAGE COLLECT
1338.96/1357.22 c #Conflicts: 517000 | #Constraints: 21926
1338.96/1357.22 c #Conflicts: 518000 | #Constraints: 22926
1338.96/1357.22 c #Conflicts: 519000 | #Constraints: 23926
1338.96/1357.22 c #Conflicts: 520000 | #Constraints: 24926
1338.96/1357.22 c #Conflicts: 521000 | #Constraints: 25926
1338.96/1357.22 c #Conflicts: 522000 | #Constraints: 26926
1338.96/1357.22 c #Conflicts: 523000 | #Constraints: 27926
1338.96/1357.22 c #Conflicts: 524000 | #Constraints: 28926
1338.96/1357.22 c #Conflicts: 525000 | #Constraints: 29926
1338.96/1357.22 c #Conflicts: 526000 | #Constraints: 30926
1338.96/1357.22 c #Conflicts: 527000 | #Constraints: 31926
1338.96/1357.22 c #Conflicts: 528000 | #Constraints: 32926
1338.96/1357.22 c #Conflicts: 529000 | #Constraints: 33926
1338.96/1357.22 c #Conflicts: 530000 | #Constraints: 34926
1338.96/1357.22 c #Conflicts: 531000 | #Constraints: 35926
1338.96/1357.22 c INPROCESSING
1338.96/1357.22 c GARBAGE COLLECT
1338.96/1357.22 c #Conflicts: 532000 | #Constraints: 22526
1338.96/1357.22 c #Conflicts: 533000 | #Constraints: 23526
1338.96/1357.22 c #Conflicts: 534000 | #Constraints: 24526
1338.96/1357.22 c #Conflicts: 535000 | #Constraints: 25526
1338.96/1357.22 c #Conflicts: 536000 | #Constraints: 26526
1338.96/1357.22 c #Conflicts: 537000 | #Constraints: 27526
1338.96/1357.22 c #Conflicts: 538000 | #Constraints: 28526
1338.96/1357.22 c #Conflicts: 539000 | #Constraints: 29526
1338.96/1357.22 c #Conflicts: 540000 | #Constraints: 30526
1338.96/1357.22 c #Conflicts: 541000 | #Constraints: 31526
1338.96/1357.22 c #Conflicts: 542000 | #Constraints: 32526
1338.96/1357.22 c #Conflicts: 543000 | #Constraints: 33526
1338.96/1357.22 c #Conflicts: 544000 | #Constraints: 34526
1338.96/1357.22 c #Conflicts: 545000 | #Constraints: 35526
1338.96/1357.22 c #Conflicts: 546000 | #Constraints: 36526
1338.96/1357.22 c INPROCESSING
1338.96/1357.22 c GARBAGE COLLECT
1338.96/1357.22 c #Conflicts: 547000 | #Constraints: 22926
1338.96/1357.22 c #Conflicts: 548000 | #Constraints: 23926
1338.96/1357.22 c #Conflicts: 549000 | #Constraints: 24926
1338.96/1357.22 c #Conflicts: 550000 | #Constraints: 25926
1338.96/1357.22 c #Conflicts: 551000 | #Constraints: 26926
1338.96/1357.22 c #Conflicts: 552000 | #Constraints: 27926
1338.96/1357.22 c #Conflicts: 553000 | #Constraints: 28926
1338.96/1357.22 c #Conflicts: 554000 | #Constraints: 29926
1338.96/1357.22 c #Conflicts: 555000 | #Constraints: 30926
1338.96/1357.22 c #Conflicts: 556000 | #Constraints: 31926
1338.96/1357.22 c #Conflicts: 557000 | #Constraints: 32926
1338.96/1357.22 c #Conflicts: 558000 | #Constraints: 33926
1338.96/1357.22 c #Conflicts: 559000 | #Constraints: 34926
1338.96/1357.22 c #Conflicts: 560000 | #Constraints: 35926
1338.96/1357.22 c #Conflicts: 561000 | #Constraints: 36926
1338.96/1357.22 c INPROCESSING
1338.96/1357.22 c GARBAGE COLLECT
1338.96/1357.22 c #Conflicts: 562000 | #Constraints: 23123
1338.96/1357.22 c #Conflicts: 563000 | #Constraints: 24123
1338.96/1357.22 c #Conflicts: 564000 | #Constraints: 25123
1338.96/1357.22 c #Conflicts: 565000 | #Constraints: 26123
1338.96/1357.22 c #Conflicts: 566000 | #Constraints: 27123
1338.96/1357.22 c #Conflicts: 567000 | #Constraints: 28123
1338.96/1357.22 c #Conflicts: 568000 | #Constraints: 29123
1338.96/1357.22 c #Conflicts: 569000 | #Constraints: 30123
1338.96/1357.22 c #Conflicts: 570000 | #Constraints: 31123
1338.96/1357.22 c #Conflicts: 571000 | #Constraints: 32123
1338.96/1357.22 c #Conflicts: 572000 | #Constraints: 33123
1338.96/1357.22 c #Conflicts: 573000 | #Constraints: 34123
1338.96/1357.22 c #Conflicts: 574000 | #Constraints: 35123
1338.96/1357.22 c #Conflicts: 575000 | #Constraints: 36123
1338.96/1357.22 c #Conflicts: 576000 | #Constraints: 37123
1338.96/1357.22 c INPROCESSING
1338.96/1357.22 c GARBAGE COLLECT
1338.96/1357.22 c #Conflicts: 577000 | #Constraints: 23105
1494.61/1513.70 c #Conflicts: 578000 | #Constraints: 24105
1494.61/1513.70 c #Conflicts: 579000 | #Constraints: 25105
1494.61/1513.70 c #Conflicts: 580000 | #Constraints: 26105
1494.61/1513.70 c #Conflicts: 581000 | #Constraints: 27105
1494.61/1513.70 c #Conflicts: 582000 | #Constraints: 28105
1494.61/1513.70 c #Conflicts: 583000 | #Constraints: 29105
1494.61/1513.70 c #Conflicts: 584000 | #Constraints: 30105
1494.61/1513.70 c #Conflicts: 585000 | #Constraints: 31105
1494.61/1513.70 c #Conflicts: 586000 | #Constraints: 32105
1494.61/1513.70 c #Conflicts: 587000 | #Constraints: 33105
1494.61/1513.70 c #Conflicts: 588000 | #Constraints: 34105
1494.61/1513.70 c #Conflicts: 589000 | #Constraints: 35105
1494.61/1513.70 c #Conflicts: 590000 | #Constraints: 36105
1494.61/1513.70 c #Conflicts: 591000 | #Constraints: 37105
1494.61/1513.70 c INPROCESSING
1494.61/1513.70 c GARBAGE COLLECT
1494.61/1513.70 c #Conflicts: 592000 | #Constraints: 22928
1494.61/1513.70 c #Conflicts: 593000 | #Constraints: 23928
1494.61/1513.70 c #Conflicts: 594000 | #Constraints: 24928
1494.61/1513.70 c #Conflicts: 595000 | #Constraints: 25928
1494.61/1513.70 c #Conflicts: 596000 | #Constraints: 26928
1494.61/1513.70 c #Conflicts: 597000 | #Constraints: 27928
1494.61/1513.70 c #Conflicts: 598000 | #Constraints: 28928
1494.61/1513.70 c #Conflicts: 599000 | #Constraints: 29928
1494.61/1513.70 c #Conflicts: 600000 | #Constraints: 30928
1494.61/1513.70 c #Conflicts: 601000 | #Constraints: 31928
1494.61/1513.70 c #Conflicts: 602000 | #Constraints: 32928
1494.61/1513.70 c #Conflicts: 603000 | #Constraints: 33928
1494.61/1513.70 c #Conflicts: 604000 | #Constraints: 34928
1494.61/1513.70 c #Conflicts: 605000 | #Constraints: 35928
1494.61/1513.70 c #Conflicts: 606000 | #Constraints: 36928
1494.61/1513.70 c #Conflicts: 607000 | #Constraints: 37928
1494.61/1513.70 c INPROCESSING
1494.61/1513.70 c GARBAGE COLLECT
1494.61/1513.70 c #Conflicts: 608000 | #Constraints: 23538
1494.61/1513.70 c #Conflicts: 609000 | #Constraints: 24538
1494.61/1513.70 c #Conflicts: 610000 | #Constraints: 25538
1494.61/1513.70 c #Conflicts: 611000 | #Constraints: 26538
1494.61/1513.70 c #Conflicts: 612000 | #Constraints: 27538
1494.61/1513.70 c #Conflicts: 613000 | #Constraints: 28538
1494.61/1513.70 c #Conflicts: 614000 | #Constraints: 29538
1494.61/1513.70 c #Conflicts: 615000 | #Constraints: 30538
1494.61/1513.70 c #Conflicts: 616000 | #Constraints: 31538
1494.61/1513.70 c #Conflicts: 617000 | #Constraints: 32538
1494.61/1513.70 c #Conflicts: 618000 | #Constraints: 33538
1494.61/1513.70 c #Conflicts: 619000 | #Constraints: 34538
1494.61/1513.70 c #Conflicts: 620000 | #Constraints: 35538
1494.61/1513.70 c #Conflicts: 621000 | #Constraints: 36538
1494.61/1513.70 c #Conflicts: 622000 | #Constraints: 37538
1494.61/1513.70 c #Conflicts: 623000 | #Constraints: 38538
1494.61/1513.70 c INPROCESSING
1494.61/1513.70 c GARBAGE COLLECT
1494.61/1513.70 c #Conflicts: 624000 | #Constraints: 23277
1494.61/1513.70 c #Conflicts: 625000 | #Constraints: 24277
1494.61/1513.70 c #Conflicts: 626000 | #Constraints: 25277
1494.61/1513.70 c #Conflicts: 627000 | #Constraints: 26277
1494.61/1513.70 c #Conflicts: 628000 | #Constraints: 27277
1494.61/1513.70 c #Conflicts: 629000 | #Constraints: 28277
1494.61/1513.70 c #Conflicts: 630000 | #Constraints: 29277
1494.61/1513.70 c #Conflicts: 631000 | #Constraints: 30277
1494.61/1513.70 c #Conflicts: 632000 | #Constraints: 31277
1494.61/1513.70 c #Conflicts: 633000 | #Constraints: 32277
1494.61/1513.70 c #Conflicts: 634000 | #Constraints: 33277
1494.61/1513.70 c #Conflicts: 635000 | #Constraints: 34277
1494.61/1513.70 c #Conflicts: 636000 | #Constraints: 35277
1494.61/1513.70 c #Conflicts: 637000 | #Constraints: 36277
1494.61/1513.70 c #Conflicts: 638000 | #Constraints: 37277
1494.61/1513.70 c #Conflicts: 639000 | #Constraints: 38277
1494.61/1513.70 c INPROCESSING
1494.61/1513.70 c GARBAGE COLLECT
1494.61/1513.70 c #Conflicts: 640000 | #Constraints: 23795
1494.61/1513.70 c #Conflicts: 641000 | #Constraints: 24795
1494.61/1513.70 c #Conflicts: 642000 | #Constraints: 25795
1494.61/1513.70 c #Conflicts: 643000 | #Constraints: 26795
1494.61/1513.70 c #Conflicts: 644000 | #Constraints: 27795
1494.61/1513.70 c #Conflicts: 645000 | #Constraints: 28795
1494.61/1513.70 c #Conflicts: 646000 | #Constraints: 29795
1494.61/1513.70 c #Conflicts: 647000 | #Constraints: 30795
1494.61/1513.70 c #Conflicts: 648000 | #Constraints: 31795
1494.61/1513.70 c #Conflicts: 649000 | #Constraints: 32795
1494.61/1513.70 c #Conflicts: 650000 | #Constraints: 33795
1494.61/1513.70 c #Conflicts: 651000 | #Constraints: 34795
1494.61/1513.70 c #Conflicts: 652000 | #Constraints: 35795
1494.61/1513.70 c #Conflicts: 653000 | #Constraints: 36795
1694.83/1714.92 c #Conflicts: 654000 | #Constraints: 37795
1694.83/1714.92 c #Conflicts: 655000 | #Constraints: 38795
1694.83/1714.92 c INPROCESSING
1694.83/1714.92 c GARBAGE COLLECT
1694.83/1714.92 c #Conflicts: 656000 | #Constraints: 23953
1694.83/1714.92 c #Conflicts: 657000 | #Constraints: 24953
1694.83/1714.92 c #Conflicts: 658000 | #Constraints: 25953
1694.83/1714.92 c #Conflicts: 659000 | #Constraints: 26953
1694.83/1714.92 c #Conflicts: 660000 | #Constraints: 27953
1694.83/1714.92 c #Conflicts: 661000 | #Constraints: 28953
1694.83/1714.92 c #Conflicts: 662000 | #Constraints: 29953
1694.83/1714.92 c #Conflicts: 663000 | #Constraints: 30953
1694.83/1714.92 c #Conflicts: 664000 | #Constraints: 31953
1694.83/1714.92 c #Conflicts: 665000 | #Constraints: 32953
1694.83/1714.92 c #Conflicts: 666000 | #Constraints: 33953
1694.83/1714.92 c #Conflicts: 667000 | #Constraints: 34953
1694.83/1714.92 c #Conflicts: 668000 | #Constraints: 35953
1694.83/1714.92 c #Conflicts: 669000 | #Constraints: 36953
1694.83/1714.92 c #Conflicts: 670000 | #Constraints: 37953
1694.83/1714.92 c #Conflicts: 671000 | #Constraints: 38953
1694.83/1714.92 c INPROCESSING
1694.83/1714.92 c GARBAGE COLLECT
1694.83/1714.92 c #Conflicts: 672000 | #Constraints: 23832
1694.83/1714.92 c #Conflicts: 673000 | #Constraints: 24832
1694.83/1714.92 c #Conflicts: 674000 | #Constraints: 25832
1694.83/1714.92 c #Conflicts: 675000 | #Constraints: 26832
1694.83/1714.92 c #Conflicts: 676000 | #Constraints: 27832
1694.83/1714.92 c #Conflicts: 677000 | #Constraints: 28832
1694.83/1714.92 c #Conflicts: 678000 | #Constraints: 29832
1694.83/1714.92 c #Conflicts: 679000 | #Constraints: 30832
1694.83/1714.92 c #Conflicts: 680000 | #Constraints: 31832
1694.83/1714.92 c #Conflicts: 681000 | #Constraints: 32832
1694.83/1714.92 c #Conflicts: 682000 | #Constraints: 33832
1694.83/1714.92 c #Conflicts: 683000 | #Constraints: 34832
1694.83/1714.92 c #Conflicts: 684000 | #Constraints: 35832
1694.83/1714.92 c #Conflicts: 685000 | #Constraints: 36832
1694.83/1714.92 c #Conflicts: 686000 | #Constraints: 37832
1694.83/1714.92 c #Conflicts: 687000 | #Constraints: 38832
1694.83/1714.92 c #Conflicts: 688000 | #Constraints: 39832
1694.83/1714.92 c INPROCESSING
1694.83/1714.92 c GARBAGE COLLECT
1694.83/1714.92 c #Conflicts: 689000 | #Constraints: 24473
1694.83/1714.92 c #Conflicts: 690000 | #Constraints: 25473
1694.83/1714.92 c #Conflicts: 691000 | #Constraints: 26473
1694.83/1714.92 c #Conflicts: 692000 | #Constraints: 27473
1694.83/1714.92 c #Conflicts: 693000 | #Constraints: 28473
1694.83/1714.92 c #Conflicts: 694000 | #Constraints: 29473
1694.83/1714.92 c #Conflicts: 695000 | #Constraints: 30473
1694.83/1714.92 c #Conflicts: 696000 | #Constraints: 31473
1694.83/1714.92 c #Conflicts: 697000 | #Constraints: 32473
1694.83/1714.92 c #Conflicts: 698000 | #Constraints: 33473
1694.83/1714.92 c #Conflicts: 699000 | #Constraints: 34473
1694.83/1714.92 c #Conflicts: 700000 | #Constraints: 35473
1694.83/1714.92 c #Conflicts: 701000 | #Constraints: 36473
1694.83/1714.92 c #Conflicts: 702000 | #Constraints: 37473
1694.83/1714.92 c #Conflicts: 703000 | #Constraints: 38473
1694.83/1714.92 c #Conflicts: 704000 | #Constraints: 39473
1694.83/1714.92 c #Conflicts: 705000 | #Constraints: 40473
1694.83/1714.92 c INPROCESSING
1694.83/1714.92 c GARBAGE COLLECT
1694.83/1714.92 c #Conflicts: 706000 | #Constraints: 24893
1694.83/1714.92 c #Conflicts: 707000 | #Constraints: 25893
1694.83/1714.92 c #Conflicts: 708000 | #Constraints: 26893
1694.83/1714.92 c #Conflicts: 709000 | #Constraints: 27893
1694.83/1714.92 c #Conflicts: 710000 | #Constraints: 28893
1694.83/1714.92 c #Conflicts: 711000 | #Constraints: 29893
1694.83/1714.92 c #Conflicts: 712000 | #Constraints: 30893
1694.83/1714.92 c #Conflicts: 713000 | #Constraints: 31893
1694.83/1714.92 c #Conflicts: 714000 | #Constraints: 32893
1694.83/1714.92 c #Conflicts: 715000 | #Constraints: 33893
1694.83/1714.92 c #Conflicts: 716000 | #Constraints: 34893
1694.83/1714.92 c #Conflicts: 717000 | #Constraints: 35893
1694.83/1714.92 c #Conflicts: 718000 | #Constraints: 36893
1694.83/1714.92 c #Conflicts: 719000 | #Constraints: 37893
1694.83/1714.92 c #Conflicts: 720000 | #Constraints: 38893
1694.83/1714.92 c #Conflicts: 721000 | #Constraints: 39893
1694.83/1714.92 c #Conflicts: 722000 | #Constraints: 40893
1694.83/1714.92 c INPROCESSING
1694.83/1714.92 c GARBAGE COLLECT
1694.83/1714.92 c #Conflicts: 723000 | #Constraints: 25106
1694.83/1714.92 c #Conflicts: 724000 | #Constraints: 26106
1694.83/1714.92 c #Conflicts: 725000 | #Constraints: 27106
1694.83/1714.92 c #Conflicts: 726000 | #Constraints: 28106
1694.83/1714.92 c #Conflicts: 727000 | #Constraints: 29106
1694.83/1714.92 c #Conflicts: 728000 | #Constraints: 30106
1694.83/1714.92 c #Conflicts: 729000 | #Constraints: 31106
1894.59/1915.98 c #Conflicts: 730000 | #Constraints: 32106
1894.59/1915.98 c #Conflicts: 731000 | #Constraints: 33106
1894.59/1915.98 c #Conflicts: 732000 | #Constraints: 34106
1894.59/1915.98 c #Conflicts: 733000 | #Constraints: 35106
1894.59/1915.98 c #Conflicts: 734000 | #Constraints: 36106
1894.59/1915.98 c #Conflicts: 735000 | #Constraints: 37106
1894.59/1915.98 c #Conflicts: 736000 | #Constraints: 38106
1894.59/1915.98 c #Conflicts: 737000 | #Constraints: 39106
1894.59/1915.98 c #Conflicts: 738000 | #Constraints: 40106
1894.59/1915.98 c #Conflicts: 739000 | #Constraints: 41106
1894.59/1915.98 c INPROCESSING
1894.59/1915.98 c GARBAGE COLLECT
1894.59/1915.98 c #Conflicts: 740000 | #Constraints: 25112
1894.59/1915.98 c #Conflicts: 741000 | #Constraints: 26112
1894.59/1915.98 c #Conflicts: 742000 | #Constraints: 27112
1894.59/1915.98 c #Conflicts: 743000 | #Constraints: 28112
1894.59/1915.98 c #Conflicts: 744000 | #Constraints: 29112
1894.59/1915.98 c #Conflicts: 745000 | #Constraints: 30112
1894.59/1915.98 c #Conflicts: 746000 | #Constraints: 31112
1894.59/1915.98 c #Conflicts: 747000 | #Constraints: 32112
1894.59/1915.98 c #Conflicts: 748000 | #Constraints: 33112
1894.59/1915.98 c #Conflicts: 749000 | #Constraints: 34112
1894.59/1915.98 c #Conflicts: 750000 | #Constraints: 35112
1894.59/1915.98 c #Conflicts: 751000 | #Constraints: 36112
1894.59/1915.98 c #Conflicts: 752000 | #Constraints: 37112
1894.59/1915.98 c #Conflicts: 753000 | #Constraints: 38112
1894.59/1915.98 c #Conflicts: 754000 | #Constraints: 39112
1894.59/1915.98 c #Conflicts: 755000 | #Constraints: 40112
1894.59/1915.98 c #Conflicts: 756000 | #Constraints: 41112
1894.59/1915.98 c INPROCESSING
1894.59/1915.98 c GARBAGE COLLECT
1894.59/1915.98 c #Conflicts: 757000 | #Constraints: 24912
1894.59/1915.98 c #Conflicts: 758000 | #Constraints: 25912
1894.59/1915.98 c #Conflicts: 759000 | #Constraints: 26912
1894.59/1915.98 c #Conflicts: 760000 | #Constraints: 27912
1894.59/1915.98 c #Conflicts: 761000 | #Constraints: 28912
1894.59/1915.98 c #Conflicts: 762000 | #Constraints: 29912
1894.59/1915.98 c #Conflicts: 763000 | #Constraints: 30912
1894.59/1915.98 c #Conflicts: 764000 | #Constraints: 31912
1894.59/1915.98 c #Conflicts: 765000 | #Constraints: 32912
1894.59/1915.98 c #Conflicts: 766000 | #Constraints: 33912
1894.59/1915.98 c #Conflicts: 767000 | #Constraints: 34912
1894.59/1915.98 c #Conflicts: 768000 | #Constraints: 35912
1894.59/1915.98 c #Conflicts: 769000 | #Constraints: 36912
1894.59/1915.98 c #Conflicts: 770000 | #Constraints: 37912
1894.59/1915.98 c #Conflicts: 771000 | #Constraints: 38912
1894.59/1915.98 c #Conflicts: 772000 | #Constraints: 39912
1894.59/1915.98 c #Conflicts: 773000 | #Constraints: 40912
1894.59/1915.98 c #Conflicts: 774000 | #Constraints: 41912
1894.59/1915.98 c INPROCESSING
1894.59/1915.98 c GARBAGE COLLECT
1894.59/1915.98 c #Conflicts: 775000 | #Constraints: 25515
1894.59/1915.98 c #Conflicts: 776000 | #Constraints: 26515
1894.59/1915.98 c #Conflicts: 777000 | #Constraints: 27515
1894.59/1915.98 c #Conflicts: 778000 | #Constraints: 28515
1894.59/1915.98 c #Conflicts: 779000 | #Constraints: 29515
1894.59/1915.98 c #Conflicts: 780000 | #Constraints: 30515
1894.59/1915.98 c #Conflicts: 781000 | #Constraints: 31515
1894.59/1915.98 c #Conflicts: 782000 | #Constraints: 32515
1894.59/1915.98 c #Conflicts: 783000 | #Constraints: 33515
1894.59/1915.98 c #Conflicts: 784000 | #Constraints: 34515
1894.59/1915.98 c #Conflicts: 785000 | #Constraints: 35515
1894.59/1915.98 c #Conflicts: 786000 | #Constraints: 36515
1894.59/1915.98 c #Conflicts: 787000 | #Constraints: 37515
1894.59/1915.98 c #Conflicts: 788000 | #Constraints: 38515
1894.59/1915.98 c #Conflicts: 789000 | #Constraints: 39515
1894.59/1915.98 c #Conflicts: 790000 | #Constraints: 40515
1894.59/1915.98 c #Conflicts: 791000 | #Constraints: 41515
1894.59/1915.98 c #Conflicts: 792000 | #Constraints: 42515
1894.59/1915.98 c INPROCESSING
1894.59/1915.98 c GARBAGE COLLECT
1894.59/1915.98 c #Conflicts: 793000 | #Constraints: 25868
1894.59/1915.98 c #Conflicts: 794000 | #Constraints: 26868
1894.59/1915.98 c #Conflicts: 795000 | #Constraints: 27868
1894.59/1915.98 c #Conflicts: 796000 | #Constraints: 28868
1894.59/1915.98 c #Conflicts: 797000 | #Constraints: 29868
1894.59/1915.98 c #Conflicts: 798000 | #Constraints: 30868
1894.59/1915.98 c #Conflicts: 799000 | #Constraints: 31868
1894.59/1915.98 c bounds - >= 287516538373750 @ 1877.41
1894.59/1915.99 c bounds - >= 288002742093430 @ 1877.42
1894.59/1916.00 c bounds - >= 288565114373750 @ 1877.43
1894.89/1916.23 c bounds - >= 288696186373750 @ 1877.65
1894.89/1916.24 c bounds - >= 288869411128950 @ 1877.66
1895.49/1916.80 c bounds - >= 289000483128950 @ 1878.19
1896.89/1918.22 c #Conflicts: 800000 | #Constraints: 32916
1896.89/1918.22 c #Conflicts: 801000 | #Constraints: 33916
1896.89/1918.22 c bounds - >= 289131555128950 @ 1879.55
2016.04/2038.48 c #Conflicts: 802000 | #Constraints: 34922
2016.04/2038.48 c #Conflicts: 803000 | #Constraints: 35922
2016.04/2038.48 c #Conflicts: 804000 | #Constraints: 36922
2016.04/2038.48 c #Conflicts: 805000 | #Constraints: 37922
2016.04/2038.48 c #Conflicts: 806000 | #Constraints: 38922
2016.04/2038.48 c #Conflicts: 807000 | #Constraints: 39922
2016.04/2038.48 c #Conflicts: 808000 | #Constraints: 40922
2016.04/2038.48 c #Conflicts: 809000 | #Constraints: 41922
2016.04/2038.48 c #Conflicts: 810000 | #Constraints: 42922
2016.04/2038.48 c INPROCESSING
2016.04/2038.48 c GARBAGE COLLECT
2016.04/2038.48 c #Conflicts: 811000 | #Constraints: 26146
2016.04/2038.48 c #Conflicts: 812000 | #Constraints: 27146
2016.04/2038.48 c #Conflicts: 813000 | #Constraints: 28146
2016.04/2038.48 c #Conflicts: 814000 | #Constraints: 29146
2016.04/2038.48 c #Conflicts: 815000 | #Constraints: 30146
2016.04/2038.48 c #Conflicts: 816000 | #Constraints: 31146
2016.04/2038.48 c #Conflicts: 817000 | #Constraints: 32146
2016.04/2038.48 c #Conflicts: 818000 | #Constraints: 33146
2016.04/2038.48 c #Conflicts: 819000 | #Constraints: 34146
2016.04/2038.48 c #Conflicts: 820000 | #Constraints: 35146
2016.04/2038.48 c #Conflicts: 821000 | #Constraints: 36146
2016.04/2038.48 c #Conflicts: 822000 | #Constraints: 37146
2016.04/2038.48 c #Conflicts: 823000 | #Constraints: 38146
2016.04/2038.48 c #Conflicts: 824000 | #Constraints: 39146
2016.04/2038.48 c #Conflicts: 825000 | #Constraints: 40146
2016.04/2038.48 c #Conflicts: 826000 | #Constraints: 41146
2016.04/2038.48 c #Conflicts: 827000 | #Constraints: 42146
2016.04/2038.48 c #Conflicts: 828000 | #Constraints: 43146
2016.04/2038.48 c INPROCESSING
2016.04/2038.48 c GARBAGE COLLECT
2016.04/2038.48 c #Conflicts: 829000 | #Constraints: 26199
2016.04/2038.48 c #Conflicts: 830000 | #Constraints: 27199
2016.04/2038.48 c #Conflicts: 831000 | #Constraints: 28199
2016.04/2038.48 c #Conflicts: 832000 | #Constraints: 29199
2016.04/2038.48 c #Conflicts: 833000 | #Constraints: 30199
2016.04/2038.48 c #Conflicts: 834000 | #Constraints: 31199
2016.04/2038.48 c #Conflicts: 835000 | #Constraints: 32199
2016.04/2038.48 c #Conflicts: 836000 | #Constraints: 33199
2016.04/2038.48 c #Conflicts: 837000 | #Constraints: 34199
2016.04/2038.48 c #Conflicts: 838000 | #Constraints: 35199
2016.04/2038.48 c #Conflicts: 839000 | #Constraints: 36199
2016.04/2038.48 c #Conflicts: 840000 | #Constraints: 37199
2016.04/2038.48 c #Conflicts: 841000 | #Constraints: 38199
2016.04/2038.48 c #Conflicts: 842000 | #Constraints: 39199
2016.04/2038.48 c #Conflicts: 843000 | #Constraints: 40199
2016.04/2038.48 c #Conflicts: 844000 | #Constraints: 41199
2016.04/2038.48 c #Conflicts: 845000 | #Constraints: 42199
2016.04/2038.48 c #Conflicts: 846000 | #Constraints: 43199
2016.04/2038.48 c INPROCESSING
2016.04/2038.48 c GARBAGE COLLECT
2016.04/2038.48 c #Conflicts: 847000 | #Constraints: 26036
2016.04/2038.48 c #Conflicts: 848000 | #Constraints: 27036
2016.04/2038.48 c #Conflicts: 849000 | #Constraints: 28036
2016.04/2038.48 c #Conflicts: 850000 | #Constraints: 29036
2016.04/2038.48 c #Conflicts: 851000 | #Constraints: 30036
2016.04/2038.48 c #Conflicts: 852000 | #Constraints: 31036
2016.04/2038.48 c #Conflicts: 853000 | #Constraints: 32036
2016.04/2038.48 c #Conflicts: 854000 | #Constraints: 33036
2016.04/2038.48 c #Conflicts: 855000 | #Constraints: 34036
2016.04/2038.48 c #Conflicts: 856000 | #Constraints: 35036
2016.04/2038.48 c #Conflicts: 857000 | #Constraints: 36036
2016.04/2038.48 c #Conflicts: 858000 | #Constraints: 37036
2016.04/2038.48 c #Conflicts: 859000 | #Constraints: 38036
2016.04/2038.48 c #Conflicts: 860000 | #Constraints: 39036
2016.04/2038.48 c #Conflicts: 861000 | #Constraints: 40036
2016.04/2038.48 c #Conflicts: 862000 | #Constraints: 41036
2016.04/2038.48 c #Conflicts: 863000 | #Constraints: 42036
2016.04/2038.48 c #Conflicts: 864000 | #Constraints: 43036
2016.04/2038.48 c #Conflicts: 865000 | #Constraints: 44036
2016.04/2038.48 c INPROCESSING
2016.04/2038.48 c GARBAGE COLLECT
2016.04/2038.48 c #Conflicts: 866000 | #Constraints: 26674
2016.04/2038.48 c #Conflicts: 867000 | #Constraints: 27674
2016.04/2038.48 c #Conflicts: 868000 | #Constraints: 28674
2016.04/2038.48 c #Conflicts: 869000 | #Constraints: 29674
2016.04/2038.48 c #Conflicts: 870000 | #Constraints: 30674
2016.04/2038.48 c #Conflicts: 871000 | #Constraints: 31674
2016.04/2038.48 c #Conflicts: 872000 | #Constraints: 32674
2016.04/2038.48 c #Conflicts: 873000 | #Constraints: 33674
2016.04/2038.48 c #Conflicts: 874000 | #Constraints: 34674
2016.04/2038.48 c #Conflicts: 875000 | #Constraints: 35674
2016.04/2038.48 c #Conflicts: 876000 | #Constraints: 36674
2016.04/2038.48 c #Conflicts: 877000 | #Constraints: 37674
2016.04/2038.48 c #Conflicts: 878000 | #Constraints: 38674
2053.06/2075.89 c #Conflicts: 879000 | #Constraints: 39674
2053.06/2075.89 c #Conflicts: 880000 | #Constraints: 40674
2053.06/2075.89 c #Conflicts: 881000 | #Constraints: 41675
2053.06/2075.89 c #Conflicts: 882000 | #Constraints: 42675
2053.06/2075.89 c #Conflicts: 883000 | #Constraints: 43675
2053.06/2075.89 c #Conflicts: 884000 | #Constraints: 44675
2053.06/2075.89 c INPROCESSING
2053.06/2075.89 c GARBAGE COLLECT
2053.06/2075.89 c #Conflicts: 885000 | #Constraints: 26834
2053.06/2075.89 c #Conflicts: 886000 | #Constraints: 27834
2053.06/2075.89 c #Conflicts: 887000 | #Constraints: 28834
2053.06/2075.89 c #Conflicts: 888000 | #Constraints: 29834
2053.06/2075.89 c #Conflicts: 889000 | #Constraints: 30835
2053.06/2075.89 c #Conflicts: 890000 | #Constraints: 31835
2053.06/2075.89 c #Conflicts: 891000 | #Constraints: 32835
2053.06/2075.89 c #Conflicts: 892000 | #Constraints: 33835
2053.06/2075.89 c bounds - >= 289262627128950 @ 2033.75
2060.72/2084.00 c #Conflicts: 893000 | #Constraints: 34854
2060.72/2084.00 c #Conflicts: 894000 | #Constraints: 35854
2060.72/2084.00 c #Conflicts: 895000 | #Constraints: 36854
2060.72/2084.00 c bounds - >= 289393699128950 @ 2041.32
2060.84/2084.07 c bounds - >= 289524771128950 @ 2041.37
2061.02/2084.21 c bounds - >= 289957874959990 @ 2041.51
2061.02/2084.22 c bounds - >= 290482162959990 @ 2041.52
2061.02/2084.22 c bounds - >= 290703286666870 @ 2041.52
2061.02/2084.25 c bounds - >= 290834358666870 @ 2041.55
2065.52/2088.79 c #Conflicts: 896000 | #Constraints: 37902
2065.52/2088.79 c bounds - >= 290965430666870 @ 2045.98
2141.30/2166.07 c #Conflicts: 897000 | #Constraints: 38917
2141.30/2166.07 c #Conflicts: 898000 | #Constraints: 39917
2141.30/2166.07 c #Conflicts: 899000 | #Constraints: 40918
2141.30/2166.07 c #Conflicts: 900000 | #Constraints: 41918
2141.30/2166.07 c #Conflicts: 901000 | #Constraints: 42918
2141.30/2166.07 c #Conflicts: 902000 | #Constraints: 43918
2141.30/2166.07 c #Conflicts: 903000 | #Constraints: 44918
2141.30/2166.07 c INPROCESSING
2141.30/2166.07 c GARBAGE COLLECT
2141.30/2166.07 c #Conflicts: 904000 | #Constraints: 27177
2141.30/2166.07 c #Conflicts: 905000 | #Constraints: 28177
2141.30/2166.07 c #Conflicts: 906000 | #Constraints: 29177
2141.30/2166.07 c #Conflicts: 907000 | #Constraints: 30177
2141.30/2166.07 c #Conflicts: 908000 | #Constraints: 31177
2141.30/2166.07 c #Conflicts: 909000 | #Constraints: 32177
2141.30/2166.07 c #Conflicts: 910000 | #Constraints: 33177
2141.30/2166.07 c #Conflicts: 911000 | #Constraints: 34178
2141.30/2166.07 c #Conflicts: 912000 | #Constraints: 35178
2141.30/2166.07 c bounds - >= 291096502666870 @ 2120.67
2143.78/2168.53 c #Conflicts: 913000 | #Constraints: 36193
2143.78/2168.53 c bounds - >= 291227574666870 @ 2123.08
2143.78/2168.54 c bounds - >= 291358646666870 @ 2123.09
2148.85/2174.16 c #Conflicts: 914000 | #Constraints: 37199
2148.85/2174.16 c bounds - >= 291489718666870 @ 2128.03
2148.93/2174.28 c bounds - >= 291620790666870 @ 2128.15
2153.02/2178.34 c #Conflicts: 915000 | #Constraints: 38229
2153.02/2178.34 c #Conflicts: 916000 | #Constraints: 39229
2153.02/2178.34 c bounds - >= 291907429402230 @ 2132.16
2153.02/2178.35 c bounds - >= 292038501402230 @ 2132.17
2158.93/2184.44 c #Conflicts: 917000 | #Constraints: 40235
2158.93/2184.44 c #Conflicts: 918000 | #Constraints: 41235
2158.93/2184.44 c #Conflicts: 919000 | #Constraints: 42235
2158.93/2184.44 c #Conflicts: 920000 | #Constraints: 43235
2158.93/2184.44 c #Conflicts: 921000 | #Constraints: 44235
2158.93/2184.44 c #Conflicts: 922000 | #Constraints: 45235
2158.93/2184.44 c INPROCESSING
2158.93/2184.44 c GARBAGE COLLECT
2158.93/2184.44 c #Conflicts: 923000 | #Constraints: 27107
2158.93/2184.44 c #Conflicts: 924000 | #Constraints: 28107
2158.93/2184.44 c #Conflicts: 925000 | #Constraints: 29107
2158.93/2184.44 c bounds - >= 292176640804470 @ 2137.98
2384.69/2411.15 c #Conflicts: 926000 | #Constraints: 30112
2384.69/2411.15 c #Conflicts: 927000 | #Constraints: 31112
2384.69/2411.15 c #Conflicts: 928000 | #Constraints: 32112
2384.69/2411.15 c #Conflicts: 929000 | #Constraints: 33112
2384.69/2411.15 c #Conflicts: 930000 | #Constraints: 34112
2384.69/2411.15 c #Conflicts: 931000 | #Constraints: 35112
2384.69/2411.15 c #Conflicts: 932000 | #Constraints: 36112
2384.69/2411.15 c #Conflicts: 933000 | #Constraints: 37112
2384.69/2411.15 c #Conflicts: 934000 | #Constraints: 38112
2384.69/2411.15 c #Conflicts: 935000 | #Constraints: 39112
2384.69/2411.15 c #Conflicts: 936000 | #Constraints: 40112
2384.69/2411.15 c #Conflicts: 937000 | #Constraints: 41112
2384.69/2411.15 c #Conflicts: 938000 | #Constraints: 42112
2384.69/2411.15 c #Conflicts: 939000 | #Constraints: 43112
2384.69/2411.15 c #Conflicts: 940000 | #Constraints: 44112
2384.69/2411.15 c #Conflicts: 941000 | #Constraints: 45112
2384.69/2411.15 c INPROCESSING
2384.69/2411.15 c GARBAGE COLLECT
2384.69/2411.15 c #Conflicts: 942000 | #Constraints: 27047
2384.69/2411.15 c #Conflicts: 943000 | #Constraints: 28047
2384.69/2411.15 c #Conflicts: 944000 | #Constraints: 29047
2384.69/2411.15 c #Conflicts: 945000 | #Constraints: 30047
2384.69/2411.15 c #Conflicts: 946000 | #Constraints: 31047
2384.69/2411.15 c #Conflicts: 947000 | #Constraints: 32047
2384.69/2411.15 c #Conflicts: 948000 | #Constraints: 33047
2384.69/2411.15 c #Conflicts: 949000 | #Constraints: 34047
2384.69/2411.15 c #Conflicts: 950000 | #Constraints: 35047
2384.69/2411.15 c #Conflicts: 951000 | #Constraints: 36047
2384.69/2411.15 c #Conflicts: 952000 | #Constraints: 37047
2384.69/2411.15 c #Conflicts: 953000 | #Constraints: 38047
2384.69/2411.15 c #Conflicts: 954000 | #Constraints: 39047
2384.69/2411.15 c #Conflicts: 955000 | #Constraints: 40047
2384.69/2411.15 c #Conflicts: 956000 | #Constraints: 41047
2384.69/2411.15 c #Conflicts: 957000 | #Constraints: 42047
2384.69/2411.15 c #Conflicts: 958000 | #Constraints: 43047
2384.69/2411.15 c #Conflicts: 959000 | #Constraints: 44047
2384.69/2411.15 c #Conflicts: 960000 | #Constraints: 45047
2384.69/2411.15 c #Conflicts: 961000 | #Constraints: 46047
2384.69/2411.15 c INPROCESSING
2384.69/2411.15 c GARBAGE COLLECT
2384.69/2411.15 c #Conflicts: 962000 | #Constraints: 27717
2384.69/2411.15 c #Conflicts: 963000 | #Constraints: 28717
2384.69/2411.15 c #Conflicts: 964000 | #Constraints: 29717
2384.69/2411.15 c #Conflicts: 965000 | #Constraints: 30717
2384.69/2411.15 c #Conflicts: 966000 | #Constraints: 31717
2384.69/2411.15 c #Conflicts: 967000 | #Constraints: 32717
2384.69/2411.15 c #Conflicts: 968000 | #Constraints: 33717
2384.69/2411.15 c #Conflicts: 969000 | #Constraints: 34717
2384.69/2411.15 c #Conflicts: 970000 | #Constraints: 35717
2384.69/2411.15 c #Conflicts: 971000 | #Constraints: 36717
2384.69/2411.15 c #Conflicts: 972000 | #Constraints: 37717
2384.69/2411.15 c #Conflicts: 973000 | #Constraints: 38717
2384.69/2411.15 c #Conflicts: 974000 | #Constraints: 39717
2384.69/2411.15 c #Conflicts: 975000 | #Constraints: 40717
2384.69/2411.15 c #Conflicts: 976000 | #Constraints: 41717
2384.69/2411.15 c #Conflicts: 977000 | #Constraints: 42717
2384.69/2411.15 c #Conflicts: 978000 | #Constraints: 43717
2384.69/2411.15 c #Conflicts: 979000 | #Constraints: 44717
2384.69/2411.15 c #Conflicts: 980000 | #Constraints: 45717
2384.69/2411.15 c #Conflicts: 981000 | #Constraints: 46717
2384.69/2411.15 c INPROCESSING
2384.69/2411.15 c GARBAGE COLLECT
2384.69/2411.15 c #Conflicts: 982000 | #Constraints: 28152
2384.69/2411.15 c #Conflicts: 983000 | #Constraints: 29152
2384.69/2411.15 c #Conflicts: 984000 | #Constraints: 30152
2384.69/2411.15 c #Conflicts: 985000 | #Constraints: 31152
2384.69/2411.15 c #Conflicts: 986000 | #Constraints: 32152
2384.69/2411.15 c #Conflicts: 987000 | #Constraints: 33152
2384.69/2411.15 c #Conflicts: 988000 | #Constraints: 34152
2384.69/2411.15 c #Conflicts: 989000 | #Constraints: 35152
2384.69/2411.15 c #Conflicts: 990000 | #Constraints: 36152
2384.69/2411.15 c #Conflicts: 991000 | #Constraints: 37152
2384.69/2411.15 c #Conflicts: 992000 | #Constraints: 38152
2384.69/2411.15 c #Conflicts: 993000 | #Constraints: 39152
2384.69/2411.15 c bounds - >= 292307712804470 @ 2362.24
2384.79/2411.21 c bounds - >= 292438784804470 @ 2362.29
2384.88/2411.38 c bounds - >= 292569856804470 @ 2362.46
2497.47/2524.39 c #Conflicts: 994000 | #Constraints: 40188
2497.47/2524.39 c #Conflicts: 995000 | #Constraints: 41188
2497.47/2524.39 c #Conflicts: 996000 | #Constraints: 42188
2497.47/2524.39 c #Conflicts: 997000 | #Constraints: 43188
2497.47/2524.39 c #Conflicts: 998000 | #Constraints: 44188
2497.47/2524.39 c #Conflicts: 999000 | #Constraints: 45188
2497.47/2524.39 c #Conflicts: 1000000 | #Constraints: 46188
2497.47/2524.39 c #Conflicts: 1001000 | #Constraints: 47188
2497.47/2524.39 c INPROCESSING
2497.47/2524.39 c GARBAGE COLLECT
2497.47/2524.39 c #Conflicts: 1002000 | #Constraints: 28404
2497.47/2524.39 c #Conflicts: 1003000 | #Constraints: 29404
2497.47/2524.39 c #Conflicts: 1004000 | #Constraints: 30404
2497.47/2524.39 c #Conflicts: 1005000 | #Constraints: 31404
2497.47/2524.39 c #Conflicts: 1006000 | #Constraints: 32404
2497.47/2524.39 c #Conflicts: 1007000 | #Constraints: 33404
2497.47/2524.39 c #Conflicts: 1008000 | #Constraints: 34404
2497.47/2524.39 c #Conflicts: 1009000 | #Constraints: 35404
2497.47/2524.39 c #Conflicts: 1010000 | #Constraints: 36404
2497.47/2524.39 c #Conflicts: 1011000 | #Constraints: 37404
2497.47/2524.39 c #Conflicts: 1012000 | #Constraints: 38404
2497.47/2524.39 c #Conflicts: 1013000 | #Constraints: 39404
2497.47/2524.39 c #Conflicts: 1014000 | #Constraints: 40404
2497.47/2524.39 c #Conflicts: 1015000 | #Constraints: 41404
2497.47/2524.39 c #Conflicts: 1016000 | #Constraints: 42404
2497.47/2524.39 c #Conflicts: 1017000 | #Constraints: 43404
2497.47/2524.39 c #Conflicts: 1018000 | #Constraints: 44404
2497.47/2524.39 c #Conflicts: 1019000 | #Constraints: 45404
2497.47/2524.39 c #Conflicts: 1020000 | #Constraints: 46404
2497.47/2524.39 c #Conflicts: 1021000 | #Constraints: 47404
2497.47/2524.39 c INPROCESSING
2497.47/2524.39 c GARBAGE COLLECT
2497.47/2524.39 c #Conflicts: 1022000 | #Constraints: 28419
2497.47/2524.39 c #Conflicts: 1023000 | #Constraints: 29419
2497.47/2524.39 c #Conflicts: 1024000 | #Constraints: 30419
2497.47/2524.39 c #Conflicts: 1025000 | #Constraints: 31419
2497.47/2524.39 c #Conflicts: 1026000 | #Constraints: 32419
2497.47/2524.39 c #Conflicts: 1027000 | #Constraints: 33419
2497.47/2524.39 c #Conflicts: 1028000 | #Constraints: 34419
2497.47/2524.39 c #Conflicts: 1029000 | #Constraints: 35419
2497.47/2524.39 c #Conflicts: 1030000 | #Constraints: 36419
2497.47/2524.39 c #Conflicts: 1031000 | #Constraints: 37419
2497.47/2524.39 c #Conflicts: 1032000 | #Constraints: 38419
2497.47/2524.39 c #Conflicts: 1033000 | #Constraints: 39419
2497.47/2524.39 c #Conflicts: 1034000 | #Constraints: 40419
2497.47/2524.39 c #Conflicts: 1035000 | #Constraints: 41419
2497.47/2524.39 c #Conflicts: 1036000 | #Constraints: 42419
2497.47/2524.39 c #Conflicts: 1037000 | #Constraints: 43419
2497.47/2524.39 c #Conflicts: 1038000 | #Constraints: 44419
2497.47/2524.39 c #Conflicts: 1039000 | #Constraints: 45419
2497.47/2524.39 c #Conflicts: 1040000 | #Constraints: 46419
2497.47/2524.39 c #Conflicts: 1041000 | #Constraints: 47419
2497.47/2524.39 c bounds - >= 292700928804470 @ 2474.07
2725.16/2758.39 c INPROCESSING
2725.16/2758.39 c GARBAGE COLLECT
2725.16/2758.39 c #Conflicts: 1042000 | #Constraints: 28245
2725.16/2758.39 c #Conflicts: 1043000 | #Constraints: 29245
2725.16/2758.39 c #Conflicts: 1044000 | #Constraints: 30245
2725.16/2758.39 c #Conflicts: 1045000 | #Constraints: 31245
2725.16/2758.39 c #Conflicts: 1046000 | #Constraints: 32245
2725.16/2758.39 c #Conflicts: 1047000 | #Constraints: 33245
2725.16/2758.39 c #Conflicts: 1048000 | #Constraints: 34245
2725.16/2758.39 c #Conflicts: 1049000 | #Constraints: 35245
2725.16/2758.39 c #Conflicts: 1050000 | #Constraints: 36245
2725.16/2758.39 c #Conflicts: 1051000 | #Constraints: 37245
2725.16/2758.39 c #Conflicts: 1052000 | #Constraints: 38245
2725.16/2758.39 c #Conflicts: 1053000 | #Constraints: 39245
2725.16/2758.39 c #Conflicts: 1054000 | #Constraints: 40245
2725.16/2758.39 c #Conflicts: 1055000 | #Constraints: 41245
2725.16/2758.39 c #Conflicts: 1056000 | #Constraints: 42245
2725.16/2758.39 c #Conflicts: 1057000 | #Constraints: 43245
2725.16/2758.39 c #Conflicts: 1058000 | #Constraints: 44245
2725.16/2758.39 c #Conflicts: 1059000 | #Constraints: 45245
2725.16/2758.39 c #Conflicts: 1060000 | #Constraints: 46245
2725.16/2758.39 c #Conflicts: 1061000 | #Constraints: 47245
2725.16/2758.39 c #Conflicts: 1062000 | #Constraints: 48245
2725.16/2758.39 c INPROCESSING
2725.16/2758.39 c GARBAGE COLLECT
2725.16/2758.39 c #Conflicts: 1063000 | #Constraints: 28838
2725.16/2758.39 c #Conflicts: 1064000 | #Constraints: 29838
2725.16/2758.39 c #Conflicts: 1065000 | #Constraints: 30838
2725.16/2758.39 c #Conflicts: 1066000 | #Constraints: 31838
2725.16/2758.39 c #Conflicts: 1067000 | #Constraints: 32838
2725.16/2758.39 c #Conflicts: 1068000 | #Constraints: 33838
2725.16/2758.39 c #Conflicts: 1069000 | #Constraints: 34838
2725.16/2758.39 c #Conflicts: 1070000 | #Constraints: 35838
2725.16/2758.39 c #Conflicts: 1071000 | #Constraints: 36838
2725.16/2758.39 c #Conflicts: 1072000 | #Constraints: 37838
2725.16/2758.39 c #Conflicts: 1073000 | #Constraints: 38838
2725.16/2758.39 c #Conflicts: 1074000 | #Constraints: 39838
2725.16/2758.39 c #Conflicts: 1075000 | #Constraints: 40838
2725.16/2758.39 c #Conflicts: 1076000 | #Constraints: 41838
2725.16/2758.39 c #Conflicts: 1077000 | #Constraints: 42838
2725.16/2758.39 c #Conflicts: 1078000 | #Constraints: 43838
2725.16/2758.39 c #Conflicts: 1079000 | #Constraints: 44838
2725.16/2758.39 c #Conflicts: 1080000 | #Constraints: 45838
2725.16/2758.39 c #Conflicts: 1081000 | #Constraints: 46838
2725.16/2758.39 c #Conflicts: 1082000 | #Constraints: 47838
2725.16/2758.39 c #Conflicts: 1083000 | #Constraints: 48838
2725.16/2758.39 c INPROCESSING
2725.16/2758.39 c GARBAGE COLLECT
2725.16/2758.39 c #Conflicts: 1084000 | #Constraints: 29235
2725.16/2758.39 c #Conflicts: 1085000 | #Constraints: 30235
2725.16/2758.39 c #Conflicts: 1086000 | #Constraints: 31235
2725.16/2758.39 c #Conflicts: 1087000 | #Constraints: 32235
2725.16/2758.39 c #Conflicts: 1088000 | #Constraints: 33235
2725.16/2758.39 c #Conflicts: 1089000 | #Constraints: 34235
2725.16/2758.39 c #Conflicts: 1090000 | #Constraints: 35235
2725.16/2758.39 c #Conflicts: 1091000 | #Constraints: 36235
2725.16/2758.39 c #Conflicts: 1092000 | #Constraints: 37235
2725.16/2758.39 c #Conflicts: 1093000 | #Constraints: 38235
2725.16/2758.39 c #Conflicts: 1094000 | #Constraints: 39235
2725.16/2758.39 c #Conflicts: 1095000 | #Constraints: 40235
2725.16/2758.39 c #Conflicts: 1096000 | #Constraints: 41235
2725.16/2758.39 c #Conflicts: 1097000 | #Constraints: 42235
2725.16/2758.39 c #Conflicts: 1098000 | #Constraints: 43235
2725.16/2758.39 c #Conflicts: 1099000 | #Constraints: 44235
2725.16/2758.39 c #Conflicts: 1100000 | #Constraints: 45235
2725.16/2758.39 c #Conflicts: 1101000 | #Constraints: 46235
2725.16/2758.39 c #Conflicts: 1102000 | #Constraints: 47235
2725.16/2758.39 c #Conflicts: 1103000 | #Constraints: 48235
2725.16/2758.39 c #Conflicts: 1104000 | #Constraints: 49235
2725.16/2758.39 c INPROCESSING
2725.16/2758.39 c GARBAGE COLLECT
2725.16/2758.39 c #Conflicts: 1105000 | #Constraints: 29437
2725.16/2758.39 c #Conflicts: 1106000 | #Constraints: 30437
2725.16/2758.39 c #Conflicts: 1107000 | #Constraints: 31437
2725.16/2758.39 c #Conflicts: 1108000 | #Constraints: 32437
2725.16/2758.39 c #Conflicts: 1109000 | #Constraints: 33437
2725.16/2758.39 c #Conflicts: 1110000 | #Constraints: 34437
2725.16/2758.39 c #Conflicts: 1111000 | #Constraints: 35437
2725.16/2758.39 c #Conflicts: 1112000 | #Constraints: 36437
2725.16/2758.39 c #Conflicts: 1113000 | #Constraints: 37437
2725.16/2758.39 c #Conflicts: 1114000 | #Constraints: 38438
2725.16/2758.39 c #Conflicts: 1115000 | #Constraints: 39438
2725.16/2758.39 c #Conflicts: 1116000 | #Constraints: 40438
2725.16/2758.39 c #Conflicts: 1117000 | #Constraints: 41439
2725.16/2758.39 c #Conflicts: 1118000 | #Constraints: 42439
2980.54/3014.74 c #Conflicts: 1119000 | #Constraints: 43439
2980.54/3014.74 c #Conflicts: 1120000 | #Constraints: 44439
2980.54/3014.74 c #Conflicts: 1121000 | #Constraints: 45439
2980.54/3014.74 c #Conflicts: 1122000 | #Constraints: 46439
2980.54/3014.74 c #Conflicts: 1123000 | #Constraints: 47439
2980.54/3014.74 c #Conflicts: 1124000 | #Constraints: 48439
2980.54/3014.74 c #Conflicts: 1125000 | #Constraints: 49439
2980.54/3014.74 c INPROCESSING
2980.54/3014.74 c GARBAGE COLLECT
2980.54/3014.74 c #Conflicts: 1126000 | #Constraints: 29158
2980.54/3014.74 c #Conflicts: 1127000 | #Constraints: 30158
2980.54/3014.74 c #Conflicts: 1128000 | #Constraints: 31158
2980.54/3014.74 c #Conflicts: 1129000 | #Constraints: 32158
2980.54/3014.74 c #Conflicts: 1130000 | #Constraints: 33158
2980.54/3014.74 c #Conflicts: 1131000 | #Constraints: 34158
2980.54/3014.74 c #Conflicts: 1132000 | #Constraints: 35158
2980.54/3014.74 c #Conflicts: 1133000 | #Constraints: 36158
2980.54/3014.74 c #Conflicts: 1134000 | #Constraints: 37158
2980.54/3014.74 c #Conflicts: 1135000 | #Constraints: 38158
2980.54/3014.74 c #Conflicts: 1136000 | #Constraints: 39158
2980.54/3014.74 c #Conflicts: 1137000 | #Constraints: 40158
2980.54/3014.74 c #Conflicts: 1138000 | #Constraints: 41158
2980.54/3014.74 c #Conflicts: 1139000 | #Constraints: 42158
2980.54/3014.74 c #Conflicts: 1140000 | #Constraints: 43158
2980.54/3014.74 c #Conflicts: 1141000 | #Constraints: 44158
2980.54/3014.74 c #Conflicts: 1142000 | #Constraints: 45158
2980.54/3014.74 c #Conflicts: 1143000 | #Constraints: 46158
2980.54/3014.74 c #Conflicts: 1144000 | #Constraints: 47158
2980.54/3014.74 c #Conflicts: 1145000 | #Constraints: 48158
2980.54/3014.74 c #Conflicts: 1146000 | #Constraints: 49158
2980.54/3014.74 c INPROCESSING
2980.54/3014.74 c GARBAGE COLLECT
2980.54/3014.74 c #Conflicts: 1147000 | #Constraints: 29089
2980.54/3014.74 c #Conflicts: 1148000 | #Constraints: 30089
2980.54/3014.74 c #Conflicts: 1149000 | #Constraints: 31089
2980.54/3014.74 c #Conflicts: 1150000 | #Constraints: 32089
2980.54/3014.74 c #Conflicts: 1151000 | #Constraints: 33089
2980.54/3014.74 c #Conflicts: 1152000 | #Constraints: 34089
2980.54/3014.74 c #Conflicts: 1153000 | #Constraints: 35089
2980.54/3014.74 c #Conflicts: 1154000 | #Constraints: 36089
2980.54/3014.74 c #Conflicts: 1155000 | #Constraints: 37089
2980.54/3014.74 c #Conflicts: 1156000 | #Constraints: 38089
2980.54/3014.74 c #Conflicts: 1157000 | #Constraints: 39089
2980.54/3014.74 c #Conflicts: 1158000 | #Constraints: 40089
2980.54/3014.74 c #Conflicts: 1159000 | #Constraints: 41089
2980.54/3014.74 c #Conflicts: 1160000 | #Constraints: 42089
2980.54/3014.74 c #Conflicts: 1161000 | #Constraints: 43089
2980.54/3014.74 c #Conflicts: 1162000 | #Constraints: 44089
2980.54/3014.74 c #Conflicts: 1163000 | #Constraints: 45089
2980.54/3014.74 c #Conflicts: 1164000 | #Constraints: 46089
2980.54/3014.74 c #Conflicts: 1165000 | #Constraints: 47089
2980.54/3014.74 c #Conflicts: 1166000 | #Constraints: 48089
2980.54/3014.74 c #Conflicts: 1167000 | #Constraints: 49089
2980.54/3014.74 c #Conflicts: 1168000 | #Constraints: 50089
2980.54/3014.74 c INPROCESSING
2980.54/3014.74 c GARBAGE COLLECT
2980.54/3014.74 c #Conflicts: 1169000 | #Constraints: 29754
2980.54/3014.74 c #Conflicts: 1170000 | #Constraints: 30754
2980.54/3014.74 c #Conflicts: 1171000 | #Constraints: 31754
2980.54/3014.74 c #Conflicts: 1172000 | #Constraints: 32754
2980.54/3014.74 c #Conflicts: 1173000 | #Constraints: 33754
2980.54/3014.74 c #Conflicts: 1174000 | #Constraints: 34754
2980.54/3014.74 c #Conflicts: 1175000 | #Constraints: 35754
2980.54/3014.74 c #Conflicts: 1176000 | #Constraints: 36754
2980.54/3014.74 c #Conflicts: 1177000 | #Constraints: 37754
2980.54/3014.74 c #Conflicts: 1178000 | #Constraints: 38754
2980.54/3014.74 c #Conflicts: 1179000 | #Constraints: 39754
2980.54/3014.74 c #Conflicts: 1180000 | #Constraints: 40754
2980.54/3014.74 c #Conflicts: 1181000 | #Constraints: 41754
2980.54/3014.74 c #Conflicts: 1182000 | #Constraints: 42754
2980.54/3014.74 c #Conflicts: 1183000 | #Constraints: 43754
2980.54/3014.74 c #Conflicts: 1184000 | #Constraints: 44754
2980.54/3014.74 c #Conflicts: 1185000 | #Constraints: 45754
2980.54/3014.74 c #Conflicts: 1186000 | #Constraints: 46754
2980.54/3014.74 c #Conflicts: 1187000 | #Constraints: 47754
2980.54/3014.74 c #Conflicts: 1188000 | #Constraints: 48754
2980.54/3014.74 c #Conflicts: 1189000 | #Constraints: 49754
2980.54/3014.74 c #Conflicts: 1190000 | #Constraints: 50754
2980.54/3014.74 c INPROCESSING
2980.54/3014.74 c GARBAGE COLLECT
2980.54/3014.74 c #Conflicts: 1191000 | #Constraints: 30187
2980.54/3014.74 c #Conflicts: 1192000 | #Constraints: 31187
2980.54/3014.74 c #Conflicts: 1193000 | #Constraints: 32187
2980.54/3014.74 c #Conflicts: 1194000 | #Constraints: 33187
3172.17/3207.09 c #Conflicts: 1195000 | #Constraints: 34187
3172.17/3207.09 c #Conflicts: 1196000 | #Constraints: 35187
3172.17/3207.09 c #Conflicts: 1197000 | #Constraints: 36187
3172.17/3207.09 c #Conflicts: 1198000 | #Constraints: 37187
3172.17/3207.09 c #Conflicts: 1199000 | #Constraints: 38187
3172.17/3207.09 c #Conflicts: 1200000 | #Constraints: 39187
3172.17/3207.09 c #Conflicts: 1201000 | #Constraints: 40187
3172.17/3207.09 c #Conflicts: 1202000 | #Constraints: 41187
3172.17/3207.09 c #Conflicts: 1203000 | #Constraints: 42187
3172.17/3207.09 c #Conflicts: 1204000 | #Constraints: 43187
3172.17/3207.09 c #Conflicts: 1205000 | #Constraints: 44187
3172.17/3207.09 c #Conflicts: 1206000 | #Constraints: 45187
3172.17/3207.09 c #Conflicts: 1207000 | #Constraints: 46187
3172.17/3207.09 c #Conflicts: 1208000 | #Constraints: 47187
3172.17/3207.09 c #Conflicts: 1209000 | #Constraints: 48187
3172.17/3207.09 c #Conflicts: 1210000 | #Constraints: 49187
3172.17/3207.09 c #Conflicts: 1211000 | #Constraints: 50187
3172.17/3207.09 c #Conflicts: 1212000 | #Constraints: 51187
3172.17/3207.09 c INPROCESSING
3172.17/3207.09 c GARBAGE COLLECT
3172.17/3207.09 c #Conflicts: 1213000 | #Constraints: 30408
3172.17/3207.09 c #Conflicts: 1214000 | #Constraints: 31408
3172.17/3207.09 c #Conflicts: 1215000 | #Constraints: 32408
3172.17/3207.09 c #Conflicts: 1216000 | #Constraints: 33408
3172.17/3207.09 c #Conflicts: 1217000 | #Constraints: 34408
3172.17/3207.09 c #Conflicts: 1218000 | #Constraints: 35408
3172.17/3207.09 c #Conflicts: 1219000 | #Constraints: 36408
3172.17/3207.09 c #Conflicts: 1220000 | #Constraints: 37408
3172.17/3207.09 c #Conflicts: 1221000 | #Constraints: 38408
3172.17/3207.09 c #Conflicts: 1222000 | #Constraints: 39408
3172.17/3207.09 c #Conflicts: 1223000 | #Constraints: 40408
3172.17/3207.09 c #Conflicts: 1224000 | #Constraints: 41408
3172.17/3207.09 c #Conflicts: 1225000 | #Constraints: 42408
3172.17/3207.09 c #Conflicts: 1226000 | #Constraints: 43408
3172.17/3207.09 c #Conflicts: 1227000 | #Constraints: 44408
3172.17/3207.09 c #Conflicts: 1228000 | #Constraints: 45408
3172.17/3207.09 c #Conflicts: 1229000 | #Constraints: 46408
3172.17/3207.09 c #Conflicts: 1230000 | #Constraints: 47408
3172.17/3207.09 c #Conflicts: 1231000 | #Constraints: 48408
3172.17/3207.09 c #Conflicts: 1232000 | #Constraints: 49408
3172.17/3207.09 c #Conflicts: 1233000 | #Constraints: 50408
3172.17/3207.09 c #Conflicts: 1234000 | #Constraints: 51408
3172.17/3207.09 c INPROCESSING
3172.17/3207.09 c GARBAGE COLLECT
3172.17/3207.09 c #Conflicts: 1235000 | #Constraints: 30414
3172.17/3207.09 c #Conflicts: 1236000 | #Constraints: 31414
3172.17/3207.09 c #Conflicts: 1237000 | #Constraints: 32414
3172.17/3207.09 c #Conflicts: 1238000 | #Constraints: 33414
3172.17/3207.09 c #Conflicts: 1239000 | #Constraints: 34414
3172.17/3207.09 c #Conflicts: 1240000 | #Constraints: 35414
3172.17/3207.09 c #Conflicts: 1241000 | #Constraints: 36414
3172.17/3207.09 c #Conflicts: 1242000 | #Constraints: 37414
3172.17/3207.09 c #Conflicts: 1243000 | #Constraints: 38414
3172.17/3207.09 c #Conflicts: 1244000 | #Constraints: 39414
3172.17/3207.09 c #Conflicts: 1245000 | #Constraints: 40414
3172.17/3207.09 c #Conflicts: 1246000 | #Constraints: 41414
3172.17/3207.09 c #Conflicts: 1247000 | #Constraints: 42414
3172.17/3207.09 c #Conflicts: 1248000 | #Constraints: 43414
3172.17/3207.09 c #Conflicts: 1249000 | #Constraints: 44414
3172.17/3207.09 c #Conflicts: 1250000 | #Constraints: 45414
3172.17/3207.09 c #Conflicts: 1251000 | #Constraints: 46414
3172.17/3207.09 c #Conflicts: 1252000 | #Constraints: 47414
3172.17/3207.09 c #Conflicts: 1253000 | #Constraints: 48414
3172.17/3207.09 c #Conflicts: 1254000 | #Constraints: 49414
3172.17/3207.09 c #Conflicts: 1255000 | #Constraints: 50414
3172.17/3207.09 c #Conflicts: 1256000 | #Constraints: 51414
3172.17/3207.09 c INPROCESSING
3172.17/3207.09 c GARBAGE COLLECT
3172.17/3207.09 c #Conflicts: 1257000 | #Constraints: 30217
3172.17/3207.09 c #Conflicts: 1258000 | #Constraints: 31217
3172.17/3207.09 c #Conflicts: 1259000 | #Constraints: 32217
3172.17/3207.09 c #Conflicts: 1260000 | #Constraints: 33217
3172.17/3207.09 c #Conflicts: 1261000 | #Constraints: 34217
3172.17/3207.09 c #Conflicts: 1262000 | #Constraints: 35217
3172.17/3207.09 c #Conflicts: 1263000 | #Constraints: 36217
3172.17/3207.09 c #Conflicts: 1264000 | #Constraints: 37217
3172.17/3207.09 c #Conflicts: 1265000 | #Constraints: 38217
3172.17/3207.09 c #Conflicts: 1266000 | #Constraints: 39217
3172.17/3207.09 c #Conflicts: 1267000 | #Constraints: 40217
3172.17/3207.09 c #Conflicts: 1268000 | #Constraints: 41217
3172.17/3207.09 c #Conflicts: 1269000 | #Constraints: 42217
3172.17/3207.09 c #Conflicts: 1270000 | #Constraints: 43217
3172.17/3207.09 c #Conflicts: 1271000 | #Constraints: 44217
3358.07/3393.70 c #Conflicts: 1272000 | #Constraints: 45217
3358.07/3393.70 c #Conflicts: 1273000 | #Constraints: 46217
3358.07/3393.70 c #Conflicts: 1274000 | #Constraints: 47217
3358.07/3393.70 c #Conflicts: 1275000 | #Constraints: 48217
3358.07/3393.70 c #Conflicts: 1276000 | #Constraints: 49217
3358.07/3393.70 c #Conflicts: 1277000 | #Constraints: 50217
3358.07/3393.70 c #Conflicts: 1278000 | #Constraints: 51217
3358.07/3393.70 c #Conflicts: 1279000 | #Constraints: 52217
3358.07/3393.70 c INPROCESSING
3358.07/3393.70 c GARBAGE COLLECT
3358.07/3393.70 c #Conflicts: 1280000 | #Constraints: 30818
3358.07/3393.70 c #Conflicts: 1281000 | #Constraints: 31818
3358.07/3393.70 c #Conflicts: 1282000 | #Constraints: 32818
3358.07/3393.70 c #Conflicts: 1283000 | #Constraints: 33818
3358.07/3393.70 c #Conflicts: 1284000 | #Constraints: 34818
3358.07/3393.70 c #Conflicts: 1285000 | #Constraints: 35818
3358.07/3393.70 c #Conflicts: 1286000 | #Constraints: 36818
3358.07/3393.70 c #Conflicts: 1287000 | #Constraints: 37818
3358.07/3393.70 c #Conflicts: 1288000 | #Constraints: 38818
3358.07/3393.70 c #Conflicts: 1289000 | #Constraints: 39818
3358.07/3393.70 c #Conflicts: 1290000 | #Constraints: 40818
3358.07/3393.70 c #Conflicts: 1291000 | #Constraints: 41818
3358.07/3393.70 c #Conflicts: 1292000 | #Constraints: 42818
3358.07/3393.70 c #Conflicts: 1293000 | #Constraints: 43818
3358.07/3393.70 c #Conflicts: 1294000 | #Constraints: 44818
3358.07/3393.70 c #Conflicts: 1295000 | #Constraints: 45818
3358.07/3393.70 c #Conflicts: 1296000 | #Constraints: 46818
3358.07/3393.70 c #Conflicts: 1297000 | #Constraints: 47818
3358.07/3393.70 c #Conflicts: 1298000 | #Constraints: 48818
3358.07/3393.70 c #Conflicts: 1299000 | #Constraints: 49818
3358.07/3393.70 c #Conflicts: 1300000 | #Constraints: 50818
3358.07/3393.70 c #Conflicts: 1301000 | #Constraints: 51818
3358.07/3393.70 c #Conflicts: 1302000 | #Constraints: 52818
3358.07/3393.70 c INPROCESSING
3358.07/3393.70 c GARBAGE COLLECT
3358.07/3393.70 c #Conflicts: 1303000 | #Constraints: 31224
3358.07/3393.70 c #Conflicts: 1304000 | #Constraints: 32224
3358.07/3393.70 c #Conflicts: 1305000 | #Constraints: 33224
3358.07/3393.70 c #Conflicts: 1306000 | #Constraints: 34224
3358.07/3393.70 c #Conflicts: 1307000 | #Constraints: 35224
3358.07/3393.70 c #Conflicts: 1308000 | #Constraints: 36224
3358.07/3393.70 c #Conflicts: 1309000 | #Constraints: 37224
3358.07/3393.70 c #Conflicts: 1310000 | #Constraints: 38224
3358.07/3393.70 c #Conflicts: 1311000 | #Constraints: 39224
3358.07/3393.70 c #Conflicts: 1312000 | #Constraints: 40224
3358.07/3393.70 c #Conflicts: 1313000 | #Constraints: 41224
3358.07/3393.70 c #Conflicts: 1314000 | #Constraints: 42224
3358.07/3393.70 c #Conflicts: 1315000 | #Constraints: 43224
3358.07/3393.70 c #Conflicts: 1316000 | #Constraints: 44224
3358.07/3393.70 c #Conflicts: 1317000 | #Constraints: 45224
3358.07/3393.70 c #Conflicts: 1318000 | #Constraints: 46224
3358.07/3393.70 c #Conflicts: 1319000 | #Constraints: 47224
3358.07/3393.70 c #Conflicts: 1320000 | #Constraints: 48224
3358.07/3393.70 c #Conflicts: 1321000 | #Constraints: 49224
3358.07/3393.70 c #Conflicts: 1322000 | #Constraints: 50224
3358.07/3393.70 c #Conflicts: 1323000 | #Constraints: 51224
3358.07/3393.70 c #Conflicts: 1324000 | #Constraints: 52224
3358.07/3393.70 c #Conflicts: 1325000 | #Constraints: 53224
3358.07/3393.70 c INPROCESSING
3358.07/3393.70 c GARBAGE COLLECT
3358.07/3393.70 c #Conflicts: 1326000 | #Constraints: 31428
3358.07/3393.70 c #Conflicts: 1327000 | #Constraints: 32428
3358.07/3393.70 c #Conflicts: 1328000 | #Constraints: 33428
3358.07/3393.70 c #Conflicts: 1329000 | #Constraints: 34428
3358.07/3393.70 c #Conflicts: 1330000 | #Constraints: 35428
3358.07/3393.70 c #Conflicts: 1331000 | #Constraints: 36428
3358.07/3393.70 c #Conflicts: 1332000 | #Constraints: 37428
3358.07/3393.70 c #Conflicts: 1333000 | #Constraints: 38428
3358.07/3393.70 c #Conflicts: 1334000 | #Constraints: 39428
3358.07/3393.70 c #Conflicts: 1335000 | #Constraints: 40428
3358.07/3393.70 c #Conflicts: 1336000 | #Constraints: 41428
3358.07/3393.70 c #Conflicts: 1337000 | #Constraints: 42428
3358.07/3393.70 c #Conflicts: 1338000 | #Constraints: 43428
3358.07/3393.70 c #Conflicts: 1339000 | #Constraints: 44428
3358.07/3393.70 c #Conflicts: 1340000 | #Constraints: 45428
3358.07/3393.70 c #Conflicts: 1341000 | #Constraints: 46428
3358.07/3393.70 c #Conflicts: 1342000 | #Constraints: 47428
3358.07/3393.70 c #Conflicts: 1343000 | #Constraints: 48428
3358.07/3393.70 c #Conflicts: 1344000 | #Constraints: 49428
3358.07/3393.70 c #Conflicts: 1345000 | #Constraints: 50428
3358.07/3393.70 c #Conflicts: 1346000 | #Constraints: 51428
3358.07/3393.70 c #Conflicts: 1347000 | #Constraints: 52428
3358.07/3393.70 c #Conflicts: 1348000 | #Constraints: 53428
3600.08/3639.55 c INPROCESSING
3600.08/3639.55 c GARBAGE COLLECT
3600.08/3639.55 c #Conflicts: 1349000 | #Constraints: 31429
3600.08/3639.55 c #Conflicts: 1350000 | #Constraints: 32429
3600.08/3639.55 c #Conflicts: 1351000 | #Constraints: 33429
3600.08/3639.55 c #Conflicts: 1352000 | #Constraints: 34429
3600.08/3639.55 c #Conflicts: 1353000 | #Constraints: 35429
3600.08/3639.55 c #Conflicts: 1354000 | #Constraints: 36429
3600.08/3639.55 c #Conflicts: 1355000 | #Constraints: 37429
3600.08/3639.55 c #Conflicts: 1356000 | #Constraints: 38429
3600.08/3639.55 c #Conflicts: 1357000 | #Constraints: 39429
3600.08/3639.55 c #Conflicts: 1358000 | #Constraints: 40429
3600.08/3639.55 c #Conflicts: 1359000 | #Constraints: 41429
3600.08/3639.55 c #Conflicts: 1360000 | #Constraints: 42429
3600.08/3639.55 c #Conflicts: 1361000 | #Constraints: 43429
3600.08/3639.55 c #Conflicts: 1362000 | #Constraints: 44429
3600.08/3639.55 c #Conflicts: 1363000 | #Constraints: 45429
3600.08/3639.55 c #Conflicts: 1364000 | #Constraints: 46429
3600.08/3639.55 c #Conflicts: 1365000 | #Constraints: 47429
3600.08/3639.55 c #Conflicts: 1366000 | #Constraints: 48429
3600.08/3639.55 c #Conflicts: 1367000 | #Constraints: 49429
3600.08/3639.55 c #Conflicts: 1368000 | #Constraints: 50429
3600.08/3639.55 c #Conflicts: 1369000 | #Constraints: 51429
3600.08/3639.55 c #Conflicts: 1370000 | #Constraints: 52429
3600.08/3639.55 c #Conflicts: 1371000 | #Constraints: 53429
3600.08/3639.55 c INPROCESSING
3600.08/3639.55 c GARBAGE COLLECT
3600.08/3639.55 c #Conflicts: 1372000 | #Constraints: 31230
3600.08/3639.55 c #Conflicts: 1373000 | #Constraints: 32230
3600.08/3639.55 c #Conflicts: 1374000 | #Constraints: 33230
3600.08/3639.55 c #Conflicts: 1375000 | #Constraints: 34230
3600.08/3639.55 c #Conflicts: 1376000 | #Constraints: 35230
3600.08/3639.55 c #Conflicts: 1377000 | #Constraints: 36230
3600.08/3639.55 c #Conflicts: 1378000 | #Constraints: 37230
3600.08/3639.55 c #Conflicts: 1379000 | #Constraints: 38230
3600.08/3639.55 c #Conflicts: 1380000 | #Constraints: 39230
3600.08/3639.55 c #Conflicts: 1381000 | #Constraints: 40230
3600.08/3639.55 c #Conflicts: 1382000 | #Constraints: 41230
3600.08/3639.55 c #Conflicts: 1383000 | #Constraints: 42230
3600.08/3639.55 c #Conflicts: 1384000 | #Constraints: 43230
3600.08/3639.55 c #Conflicts: 1385000 | #Constraints: 44230
3600.08/3639.55 c #Conflicts: 1386000 | #Constraints: 45230
3600.08/3639.55 c #Conflicts: 1387000 | #Constraints: 46230
3600.08/3639.55 c #Conflicts: 1388000 | #Constraints: 47230
3600.08/3639.55 c #Conflicts: 1389000 | #Constraints: 48230
3600.08/3639.55 c #Conflicts: 1390000 | #Constraints: 49230
3600.08/3639.55 c #Conflicts: 1391000 | #Constraints: 50230
3600.08/3639.55 c #Conflicts: 1392000 | #Constraints: 51230
3600.08/3639.55 c #Conflicts: 1393000 | #Constraints: 52230
3600.08/3639.55 c #Conflicts: 1394000 | #Constraints: 53230
3600.08/3639.55 c #Conflicts: 1395000 | #Constraints: 54230
3600.08/3639.55 c INPROCESSING
3600.08/3639.55 c GARBAGE COLLECT
3600.08/3639.55 c #Conflicts: 1396000 | #Constraints: 31835
3600.08/3639.55 c #Conflicts: 1397000 | #Constraints: 32835
3600.08/3639.55 c #Conflicts: 1398000 | #Constraints: 33835
3600.08/3639.55 c #Conflicts: 1399000 | #Constraints: 34835
3600.08/3639.55 c #Conflicts: 1400000 | #Constraints: 35835
3600.08/3639.55 c #Conflicts: 1401000 | #Constraints: 36835
3600.08/3639.55 c #Conflicts: 1402000 | #Constraints: 37835
3600.08/3639.55 c #Conflicts: 1403000 | #Constraints: 38835
3600.08/3639.55 c #Conflicts: 1404000 | #Constraints: 39835
3600.08/3639.55 c #Conflicts: 1405000 | #Constraints: 40835
3600.08/3639.55 c #Conflicts: 1406000 | #Constraints: 41835
3600.08/3639.55 c #Conflicts: 1407000 | #Constraints: 42835
3600.08/3639.55 c #Conflicts: 1408000 | #Constraints: 43835
3600.08/3639.55 c #Conflicts: 1409000 | #Constraints: 44835
3600.08/3639.55 c #Conflicts: 1410000 | #Constraints: 45835
3600.08/3639.55 c #Conflicts: 1411000 | #Constraints: 46835
3600.08/3639.55 c #Conflicts: 1412000 | #Constraints: 47835
3600.08/3639.55 c #Conflicts: 1413000 | #Constraints: 48835
3600.08/3639.55 c #Conflicts: 1414000 | #Constraints: 49835
3600.08/3639.55 c #Conflicts: 1415000 | #Constraints: 50835
3600.08/3639.55 c #Conflicts: 1416000 | #Constraints: 51835
3600.08/3639.55 c #Conflicts: 1417000 | #Constraints: 52835
3600.08/3639.55 c #Conflicts: 1418000 | #Constraints: 53835
3600.08/3639.55 c #Conflicts: 1419000 | #Constraints: 54835
3600.08/3639.55 c INPROCESSING
3600.08/3639.55 c GARBAGE COLLECT
3600.08/3639.55 c #Conflicts: 1420000 | #Constraints: 32235
3600.08/3639.55 c #Conflicts: 1421000 | #Constraints: 33235
3600.08/3639.55 c #Conflicts: 1422000 | #Constraints: 34235
3600.08/3639.55 c #Conflicts: 1423000 | #Constraints: 35235
3600.08/3639.55 c Disabling crashed LP
3600.08/3639.55 c cpu time 3567.93 s
3600.08/3639.55 c deterministic time 343769190911 3.44e+11
3600.08/3639.55 c optimization time 20.5582 s
3600.08/3639.55 c total solve time 3546.22 s
3600.08/3639.55 c core-guided solve time 1447.98 s
3600.08/3639.55 c propagation time 1935.23 s
3600.08/3639.55 c conflict analysis time 185.667 s
3600.08/3639.55 c propagations 42141843
3600.08/3639.55 c resolve steps 4583218
3600.08/3639.55 c decisions 3415502
3600.08/3639.55 c conflicts 1423510
3600.08/3639.55 c restarts 2755
3600.08/3639.55 c inprocessing phases 110
3600.08/3639.55 c garbage collections 110 ,( 100.00 )
3600.08/3639.55 c input clauses 3322 ,( 38.39 )
3600.08/3639.55 c input cardinalities 668 ,( 7.72 )
3600.08/3639.55 c input general constraints 4664 ,( 53.89 )
3600.08/3639.55 c input average constraint length 289.51
3600.08/3639.55 c input average constraint degree 33054148492214.18
3600.08/3639.55 c learned clauses 462597 ,( 32.50 )
3600.08/3639.55 c learned cardinalities 147 ,( 0.01 )
3600.08/3639.55 c learned general constraints 960824 ,( 67.49 )
3600.08/3639.55 c learned average constraint length 113.36
3600.08/3639.55 c learned average constraint degree 1073992136.84
3600.08/3639.55 c watched CF 32, 64, 128, Arb: 142452 , 0 , 0 , 0
3600.08/3639.55 c counting CF 32, 64, 128, Arb: 819781 , 3256 , 0 , 0
3600.08/3639.55 c watched constraints 142452 ,( 14.75 )
3600.08/3639.55 c counting constraints 823036 ,( 85.25 )
3600.08/3639.55 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 38804473 , 249527 , 11483919726 ,( 37140980 , 11446778746 )
3600.08/3639.55 c gcd simplifications 581750
3600.08/3639.55 c detected cardinalities 453
3600.08/3639.55 c weakened non-implied lits 33682908
3600.08/3639.55 c weakened non-implying lits 2337499
3600.08/3639.55 c original variables 155191
3600.08/3639.55 c clausal propagations 287483
3600.08/3639.55 c cardinality propagations 134588
3600.08/3639.55 c watched propagations 320684
3600.08/3639.55 c counting propagations 39015541
3600.08/3639.55 c watch lookups 13177790391
3600.08/3639.55 c watch backjump lookups 0
3600.08/3639.55 c watch checks 1039213168
3600.08/3639.55 c propagation checks 328543221899
3600.08/3639.55 c constraint additions 913647043
3600.08/3639.55 c trail pops 46902984
3600.08/3639.55 c formula constraints 7579
3600.08/3639.55 c learned constraints 1423519
3600.08/3639.55 c bound constraints 195
3600.08/3639.55 c core-guided constraints 880
3600.08/3639.55 c encountered formula constraints 3827229
3600.08/3639.55 c encountered learned constraints 2143421
3600.08/3639.55 c encountered bound constraints 0
3600.08/3639.55 c encountered core-guided constraints 14734
3600.08/3639.55 c LP total time 2467.83 s
3600.08/3639.55 c LP solve time 2466.11 s
3600.08/3639.55 c LP constraints added 7579
3600.08/3639.55 c LP constraints removed 0
3600.08/3639.55 c LP pivots internal 1423510
3600.08/3639.55 c LP pivots root 1434570
3600.08/3639.55 c LP calls 154
3600.08/3639.55 c LP optimalities 0
3600.08/3639.55 c LP no pivot count 0
3600.08/3639.55 c LP infeasibilities 87
3600.08/3639.55 c LP valid Farkas constraints 27
3600.08/3639.55 c LP learned Farkas constraints 22
3600.08/3639.55 c LP basis resets 83
3600.08/3639.55 c LP cycling count 0
3600.08/3639.55 c LP singular count 60
3600.08/3639.55 c LP no primal count 0
3600.08/3639.55 c LP no farkas count 23
3600.08/3639.55 c LP other issue count 0
3600.08/3639.55 c LP Gomory cuts 0
3600.08/3639.55 c LP learned cuts 0
3600.08/3639.55 c LP deleted cuts 0
3600.08/3639.55 c LP encountered Gomory constraints 0
3600.08/3639.55 c LP encountered Farkas constraints 21250
3600.08/3639.55 c LP encountered learned Farkas constraints 72
3600.08/3639.55 c CG auxiliary variables introduced 372
3600.08/3639.55 c CG solutions found 0
3600.08/3639.55 c CG cores constructed 195
3600.08/3639.55 c CG core cardinality constraints returned 0
3600.08/3639.55 c CG unit cores 8
3600.08/3639.55 c CG single cores 174
3600.08/3639.55 c CG blocks removed during cardinality reduction 544
3600.08/3639.55 c CG first core best 1
3600.08/3639.55 c CG decision core best 7
3600.08/3639.55 c CG core reduction tie 5
3600.08/3639.55 c CG core degree average 1.00
3600.08/3639.55 c CG core slack average 7.77
3600.08/3639.55 c CG core upper bound improvements 0
3600.08/3639.55 c STR number of successful calls 0
3600.08/3639.55 c STR number of unsuccessful calls 0
3600.08/3639.55 c STR number of inconclusive calls 0
3600.08/3639.55 c STR number of successful attempts 0
3600.08/3639.55 c STR number of unsuccessful attempts 0
3600.08/3639.55 c STR number of inconclusive attempts 0
3600.08/3639.55 c STR average degree increase per successful call inf
3600.08/3639.55 c STR average degree increase per successful attempt inf
3600.08/3639.55 c STR total number of conflicts for successful attempts 0
3600.08/3639.55 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3639.55 c STR total number of conflicts for inconclusive attempts 0
3600.08/3639.55 c STR average number of conflicts per successful attempt inf
3600.08/3639.55 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3639.55 c STR average number of conflicts per inconclusive attempt inf
3600.08/3639.55 c AVG.sumWPerc 82.44
3600.08/3639.55 c bigint constraints 3256
3600.08/3639.55 s UNKNOWN
3600.08/3639.55 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62652 MiB free)
memory of node 1: 64507 MiB (61561 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532286-1752584603/watcher-4532286-1752584603 -o /tmp/evaluation-result-4532286-1752584603/solver-4532286-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752584603-123456 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532286-1752584603.opb PROOFDIR/proof-4532286-1752584603
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=123513, runsolver pid=123502
Current StackSize limit: 8192 KiB
[startup+0.100076 s]*
/proc/loadavg: 0.10 0.38 0.29 6/259 123517
/proc/meminfo: memFree=127157368/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123517] ppid=123513 vsize=28224 memory=20004 CPUtime=0.07 cores=1,3
/proc/123517/stat : 123517 (pbsuma) R 123513 123513 123444 0 -1 4194304 3920 0 0 0 6 1 0 0 20 0 1 0 174139767 28901376 5001 18446744073709551615 4210688 4653049 140726261784000 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13627392 140726261786849 140726261787184 140726261787184 140726261792751 0
/proc/123517/statm: 7056 5001 960 108 0 4464 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 32416 KiB
Current children cumulated memory: 23076 KiB
[startup+0.214672 s]*
/proc/loadavg: 0.10 0.38 0.29 6/259 123517
/proc/meminfo: memFree=127096796/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123517] ppid=123513 vsize=38784 memory=27536 CPUtime=0.18 cores=1,3
/proc/123517/stat : 123517 (pbsuma) R 123513 123513 123444 0 -1 4194304 5746 0 0 0 16 2 0 0 20 0 1 0 174139767 39714816 6884 18446744073709551615 4210688 4653049 140726261784000 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13627392 140726261786849 140726261787184 140726261787184 140726261792751 0
/proc/123517/statm: 9696 6884 960 108 0 7104 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 30608 KiB
[startup+0.314433 s]*
/proc/loadavg: 0.10 0.38 0.29 6/259 123518
/proc/meminfo: memFree=127086412/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123517] ppid=123513 vsize=43144 memory=34280 CPUtime=0.28 cores=1,3
/proc/123517/stat : 123517 (pbsuma) R 123513 123513 123444 0 -1 4194304 8107 0 0 0 25 3 0 0 20 0 1 0 174139767 44179456 8570 18446744073709551615 4210688 4653049 140726261784000 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13627392 140726261786849 140726261787184 140726261787184 140726261792751 0
/proc/123517/statm: 10786 8570 960 108 0 8194 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 47336 KiB
Current children cumulated memory: 37352 KiB
[startup+0.700475 s]
/proc/loadavg: 0.10 0.38 0.29 5/259 123518
/proc/meminfo: memFree=126993856/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123517] ppid=123513 vsize=161860 memory=143964 CPUtime=0.66 cores=1,3
/proc/123517/stat : 123517 (pbsuma) R 123513 123513 123444 0 -1 4194304 19298 0 0 0 54 12 0 0 20 0 1 0 174139767 165744640 35991 18446744073709551615 4210688 4653049 140726261784000 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13627392 140726261786849 140726261787184 140726261787184 140726261792751 0
/proc/123517/statm: 40465 35991 992 108 0 37873 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 166052 KiB
Current children cumulated memory: 147036 KiB
[startup+1.50043 s]
/proc/loadavg: 0.41 0.44 0.31 5/259 123519
/proc/meminfo: memFree=126728188/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123517] ppid=123513 vsize=312544 memory=250920 CPUtime=1.45 cores=1,3
/proc/123517/stat : 123517 (pbsuma) R 123513 123513 123444 0 -1 4194304 42437 0 0 0 120 25 0 0 20 0 1 0 174139767 320045056 62730 18446744073709551615 4210688 4653049 140726261784000 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13627392 140726261786849 140726261787184 140726261787184 140726261792751 0
/proc/123517/statm: 78136 62730 1024 108 0 75544 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 316736 KiB
Current children cumulated memory: 253992 KiB
[startup+3.11342 s]
/proc/loadavg: 0.41 0.44 0.31 4/254 123526
/proc/meminfo: memFree=126705288/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=212568 memory=170636 CPUtime=1.26 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 34399 0 0 0 116 10 0 0 20 0 1 0 174139928 217669632 42659 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 53142 42659 2304 1147 0 40568 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 216760 KiB
Current children cumulated memory: 173708 KiB
[startup+6.30038 s]
/proc/loadavg: 0.78 0.52 0.33 4/254 123529
/proc/meminfo: memFree=126472516/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=278980 memory=234284 CPUtime=4.44 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 42628 0 0 0 428 16 0 0 20 0 1 0 174139928 285675520 58571 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 69745 58571 2368 1147 0 57171 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 283172 KiB
Current children cumulated memory: 237356 KiB
[startup+12.7003 s]
/proc/loadavg: 1.04 0.58 0.35 4/254 123529
/proc/meminfo: memFree=126180088/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=363768 memory=294684 CPUtime=10.82 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 51913 0 0 0 1055 27 0 0 20 0 1 0 174139928 372498432 73671 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 90942 73671 2400 1147 0 78368 0
Current children cumulated CPU time: 12.38 s
Current children cumulated vsize: 367960 KiB
Current children cumulated memory: 297756 KiB
[startup+25.5004 s]
/proc/loadavg: 1.49 0.69 0.39 5/259 123569
/proc/meminfo: memFree=125365040/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=363768 memory=295836 CPUtime=23.58 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 52226 0 0 0 2320 38 0 0 20 0 1 0 174139928 372498432 73959 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 90942 73959 2400 1147 0 78368 0
Current children cumulated CPU time: 25.14 s
Current children cumulated vsize: 367960 KiB
Current children cumulated memory: 298908 KiB
[startup+51.1135 s]
/proc/loadavg: 2.56 1.02 0.51 5/258 123570
/proc/meminfo: memFree=123513448/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=368188 memory=296348 CPUtime=49.13 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 52362 0 0 0 4859 54 0 0 20 0 1 0 174139928 377024512 74087 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 92047 74087 2400 1147 0 79473 0
Current children cumulated CPU time: 50.69 s
Current children cumulated vsize: 372380 KiB
Current children cumulated memory: 299420 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.50 0.70 5/258 123573
/proc/meminfo: memFree=119932140/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=372552 memory=303708 CPUtime=99.69 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 53706 0 0 0 9870 99 0 0 20 0 1 0 174139928 381493248 75927 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 93138 75927 2496 1147 0 80564 0
Current children cumulated CPU time: 101.25 s
Current children cumulated vsize: 376744 KiB
Current children cumulated memory: 306780 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.97 0.92 5/258 123575
/proc/meminfo: memFree=115898444/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=374460 memory=305756 CPUtime=159.1 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 54244 0 0 0 15770 140 0 0 20 0 1 0 174139928 383447040 76439 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 93615 76439 2496 1147 0 81041 0
Current children cumulated CPU time: 160.66 s
Current children cumulated vsize: 378652 KiB
Current children cumulated memory: 308828 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 2.39 1.13 5/258 123577
/proc/meminfo: memFree=111810112/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=428352 memory=352504 CPUtime=218.78 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 61407 0 0 0 21680 198 0 0 20 0 1 0 174139928 438632448 88126 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 107088 88126 2496 1147 0 94514 0
Current children cumulated CPU time: 220.34 s
################
# More data... #
################
/proc/loadavg: 4.20 4.21 4.13 5/262 123776
/proc/meminfo: memFree=34716364/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=1125888 memory=968640 CPUtime=3126.04 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 261477 0 0 0 309937 2667 0 0 20 0 1 0 174139928 1152909312 242160 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 281472 242160 2528 1147 0 268898 0
Current children cumulated CPU time: 3127.6 s
Current children cumulated vsize: 1130080 KiB
Current children cumulated memory: 971712 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.18 4.12 5/264 123780
/proc/meminfo: memFree=33553972/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=1128228 memory=970840 CPUtime=3185.82 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 269626 0 0 0 315857 2725 0 0 20 0 1 0 174139928 1155305472 242710 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 282057 242710 2528 1147 0 269483 0
Current children cumulated CPU time: 3187.38 s
Current children cumulated vsize: 1132420 KiB
Current children cumulated memory: 973912 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.18 4.12 5/264 123789
/proc/meminfo: memFree=32259676/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=1190948 memory=1031800 CPUtime=3245.63 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 300286 0 0 0 321796 2767 0 0 20 0 1 0 174139928 1219530752 257950 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 297737 257950 2528 1147 0 285163 0
Current children cumulated CPU time: 3247.19 s
Current children cumulated vsize: 1195140 KiB
Current children cumulated memory: 1034872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.19 4.13 5/262 123791
/proc/meminfo: memFree=31019108/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=1209148 memory=1051640 CPUtime=3305.42 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 305493 0 0 0 327724 2818 0 0 20 0 1 0 174139928 1238167552 262910 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 302287 262910 2528 1147 0 289713 0
Current children cumulated CPU time: 3306.98 s
Current children cumulated vsize: 1213340 KiB
Current children cumulated memory: 1054712 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.18 4.13 5/261 123794
/proc/meminfo: memFree=29697484/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=1209148 memory=1051768 CPUtime=3365.07 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 305517 0 0 0 333634 2873 0 0 20 0 1 0 174139928 1238167552 262942 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 302287 262942 2528 1147 0 289713 0
Current children cumulated CPU time: 3366.63 s
Current children cumulated vsize: 1213340 KiB
Current children cumulated memory: 1054840 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.19 4.13 5/262 123808
/proc/meminfo: memFree=27602984/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=1209148 memory=1051768 CPUtime=3424.81 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 305517 0 0 0 339572 2909 0 0 20 0 1 0 174139928 1238167552 262942 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 302287 262942 2528 1147 0 289713 0
Current children cumulated CPU time: 3426.37 s
Current children cumulated vsize: 1213340 KiB
Current children cumulated memory: 1054840 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/256 123810
/proc/meminfo: memFree=24992308/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=1209148 memory=1052024 CPUtime=3482.07 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 305595 0 0 0 345250 2957 0 0 20 0 1 0 174139928 1238167552 263006 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 302287 263006 2528 1147 0 289713 0
Current children cumulated CPU time: 3483.63 s
Current children cumulated vsize: 1213340 KiB
Current children cumulated memory: 1055096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/256 123813
/proc/meminfo: memFree=22160304/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=1217728 memory=1060600 CPUtime=3541.55 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 307756 0 0 0 351132 3023 0 0 20 0 1 0 174139928 1246953472 265150 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 304432 265150 2528 1147 0 291858 0
Current children cumulated CPU time: 3543.11 s
Current children cumulated vsize: 1221920 KiB
Current children cumulated memory: 1063672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3639.5 s]
/proc/loadavg: 4.12 4.15 4.12 3/255 123862
/proc/meminfo: memFree=20535736/131382120 swapFree=33010416/33010684
[pid=123513] ppid=123502 vsize=4192 memory=3072 CPUtime=1.56 cores=1,3
/proc/123513/stat : 123513 (run-opt-break-l) S 123502 123513 123444 0 -1 4194304 243 42784 0 0 0 0 130 26 20 0 1 0 174139766 4292608 768 18446744073709551615 93920440147968 93920441042501 140729528741104 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93920441281552 93920441329296 93920441511936 140729528748307 140729528748508 140729528748508 140729528754112 0
/proc/123513/statm: 1048 768 704 219 0 110 0
[pid=123521] ppid=123513 vsize=1217728 memory=1060600 CPUtime=3598.52 cores=1,3
/proc/123521/stat : 123521 (roundingsat) R 123513 123513 123444 0 -1 4194304 307806 0 0 0 356791 3061 0 0 20 0 1 0 174139928 1246953472 265150 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 304432 265150 2528 1147 0 291858 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1221920 KiB
Current children cumulated memory: 1063672 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3639.51 s]
# the end of solver process 123513 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.3083 s, system=0.273903 s
Sleeping 2 seconds
[startup+3639.73 s]
# the end of solver process 123521 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3569.3 s, system=30.9303 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3639.61 s]*
/proc/loadavg: 4.12 4.15 4.12 2/254 123862
/proc/meminfo: memFree=20604012/131382120 swapFree=33010416/33010684
[pid=123521] ppid=123502 vsize=1118848 memory=962048 CPUtime=3598.54 cores=1,3
/proc/123521/stat : 123521 (roundingsat) D 123502 123513 123444 0 -1 4194304 307838 0 2 0 356793 3061 0 0 20 0 1 0 174139928 1145700352 240512 18446744073709551615 4227072 8923577 140731054484272 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 42029056 140731054491922 140731054492198 140731054492198 140731054497770 0
/proc/123521/statm: 279712 240512 2560 1147 0 267138 0
Current cumulated CPU time of completed processes: 1.5822 s
Current children cumulated CPU time: 3598.54 s
Current children cumulated vsize: 1118848 KiB
Current children cumulated memory: 962048 KiB
[startup+3639.71 s]*
/proc/loadavg: 4.12 4.15 4.12 3/254 123862
/proc/meminfo: memFree=21355428/131382120 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 1.5822 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3639.73
CPU time (s): 3600.23
CPU user time (s): 3569.3
CPU system time (s): 30.9303
CPU usage (%): 98.9148
Max. virtual memory (cumulated for all children) (KiB): 1221920
Max. memory (cumulated for all children) (KiB): 1063672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.3
system time used= 30.9303
maximum resident set size= 1060728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350926
page faults= 2
swaps= 0
block input operations= 3400
block output operations= 14901672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 478
involuntary context switches= 6856
# summary of solver processes directly reported to runsolver:
# pid: 123513,123521
# total CPU time (s): 3600.23
# total CPU user time (s): 3569.3
# total CPU system time (s): 30.9303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.9772 second user time and 38.1226 second system time
The end
Begin job on nodeC006 at 2025-07-15 15:03:24
IDJOB=4532286
IDBENCH=146868
IDSOLVER=3393
FILE ID=nodeC006/4532286-1752584603
RUNJOBID= nodeC006-1752584603-123456
SLURM_JOB_ID= 9684336
Free space on /tmp= 432324 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532286-1752584603/watcher-4532286-1752584603 -o /tmp/evaluation-result-4532286-1752584603/solver-4532286-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752584603-123456 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532286-1752584603.opb PROOFDIR/proof-4532286-1752584603
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d021d78883fac2a7bf820bb220b2a7e2
RANDOM SEED=1057340159
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.130
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.142
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.113
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.095
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.254
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.139
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.596
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.377
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127238560 kB
MemAvailable: 129915188 kB
Buffers: 2128 kB
Cached: 3438320 kB
SwapCached: 12 kB
Active: 600288 kB
Inactive: 2919060 kB
Active(anon): 85864 kB
Inactive(anon): 10992 kB
Active(file): 514424 kB
Inactive(file): 2908068 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 64184 kB
Writeback: 0 kB
AnonPages: 80840 kB
Mapped: 106576 kB
Shmem: 17948 kB
KReclaimable: 187140 kB
Slab: 276928 kB
SReclaimable: 187140 kB
SUnreclaim: 89788 kB
KernelStack: 3920 kB
PageTables: 3000 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 377960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432224 MiB
End job on nodeC006 at 2025-07-15 16:04:04