0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.05 c [STEP] solving
0.00/0.05 c #variables 10989 #constraints 12472
0.00/0.05 c SMALL=int, LARGE=long long
0.00/0.05 c bounds - >= -5985 @ 0.033274
0.00/0.05 c stratification level: 3
0.49/0.59 c bounds - >= -5930 @ 0.075113
0.49/0.59 c bounds - >= -5927 @ 0.077101
0.49/0.59 c bounds - >= -5923 @ 0.078827
0.49/0.59 c bounds - >= -5920 @ 0.081622
0.49/0.59 c bounds - >= -5917 @ 0.083568
0.49/0.59 c bounds - >= -5914 @ 0.085459
0.49/0.59 c bounds - >= -5911 @ 0.086663
0.49/0.59 c bounds - >= -5908 @ 0.088537
0.49/0.59 c bounds - >= -5899 @ 0.090426
0.49/0.59 c bounds - >= -5896 @ 0.093523
0.49/0.59 c bounds - >= -5893 @ 0.095742
0.49/0.59 c bounds - >= -5890 @ 0.097176
0.49/0.59 c bounds - >= -5884 @ 0.100291
0.49/0.59 c bounds - >= -5878 @ 0.101613
0.49/0.59 c bounds - >= -5875 @ 0.103945
0.49/0.59 c bounds - >= -5872 @ 0.105379
0.49/0.59 c bounds - >= -5863 @ 0.106728
0.49/0.59 c bounds - >= -5860 @ 0.1092
0.49/0.59 c bounds - >= -5857 @ 0.111647
0.49/0.59 c bounds - >= -5854 @ 0.114249
0.49/0.59 c bounds - >= -5848 @ 0.116599
0.49/0.59 c bounds - >= -5845 @ 0.118278
0.49/0.59 c bounds - >= -5842 @ 0.119679
0.49/0.59 c bounds - >= -5839 @ 0.121333
0.49/0.59 c bounds - >= -5836 @ 0.121843
0.49/0.59 c bounds - >= -5833 @ 0.124521
0.49/0.59 c bounds - >= -5830 @ 0.128041
0.49/0.59 c bounds - >= -5824 @ 0.129657
0.49/0.59 c bounds - >= -5821 @ 0.131385
0.49/0.59 c bounds - >= -5818 @ 0.133927
0.49/0.59 c bounds - >= -5815 @ 0.135697
0.49/0.59 c bounds - >= -5812 @ 0.137513
0.49/0.59 c bounds - >= -5809 @ 0.140366
0.49/0.59 c bounds - >= -5806 @ 0.142999
0.49/0.59 c bounds - >= -5803 @ 0.144792
0.49/0.59 c bounds - >= -5800 @ 0.146558
0.49/0.59 c bounds - >= -5791 @ 0.149343
0.49/0.59 c bounds - >= -5788 @ 0.152118
0.49/0.59 c bounds - >= -5782 @ 0.155179
0.49/0.59 c bounds - >= -5779 @ 0.15606
0.49/0.59 c bounds - >= -5770 @ 0.158657
0.49/0.59 c bounds - >= -5767 @ 0.160559
0.49/0.59 c bounds - >= -5764 @ 0.164354
0.49/0.59 c bounds - >= -5761 @ 0.167256
0.49/0.59 c bounds - >= -5755 @ 0.171088
0.49/0.59 c bounds - >= -5749 @ 0.172125
0.49/0.59 c bounds - >= -5746 @ 0.173025
0.49/0.59 c bounds - >= -5743 @ 0.174608
0.49/0.59 c bounds - >= -5740 @ 0.176484
0.49/0.59 c bounds - >= -5737 @ 0.179242
0.49/0.59 c bounds - >= -5734 @ 0.18224
0.49/0.59 c bounds - >= -5731 @ 0.183392
0.49/0.59 c bounds - >= -5728 @ 0.185242
0.49/0.59 c bounds - >= -5722 @ 0.18713
0.49/0.59 c bounds - >= -5719 @ 0.188754
0.49/0.59 c bounds - >= -5710 @ 0.190682
0.49/0.59 c bounds - >= -5707 @ 0.192522
0.49/0.59 c bounds - >= -5701 @ 0.194456
0.49/0.59 c bounds - >= -5695 @ 0.197419
0.49/0.59 c bounds - >= -5692 @ 0.199401
0.49/0.59 c bounds - >= -5683 @ 0.202272
0.49/0.59 c bounds - >= -5677 @ 0.204312
0.49/0.59 c bounds - >= -5671 @ 0.207158
0.49/0.59 c bounds - >= -5668 @ 0.208223
0.49/0.59 c bounds - >= -5665 @ 0.209175
0.49/0.59 c bounds - >= -5662 @ 0.212139
0.49/0.59 c bounds - >= -5659 @ 0.214881
0.49/0.59 c bounds - >= -5653 @ 0.217081
0.49/0.59 c bounds - >= -5650 @ 0.219105
0.49/0.59 c bounds - >= -5647 @ 0.220117
0.49/0.59 c bounds - >= -5644 @ 0.222928
0.49/0.59 c bounds - >= -5641 @ 0.225148
0.49/0.59 c bounds - >= -5638 @ 0.227144
0.49/0.59 c bounds - >= -5635 @ 0.22915
0.49/0.59 c bounds - >= -5632 @ 0.232953
0.49/0.59 c bounds - >= -5629 @ 0.234243
0.49/0.59 c bounds - >= -5626 @ 0.236286
0.49/0.59 c bounds - >= -5623 @ 0.238349
0.49/0.59 c bounds - >= -5620 @ 0.240442
0.49/0.59 c bounds - >= -5617 @ 0.242564
0.49/0.59 c bounds - >= -5614 @ 0.244636
0.49/0.59 c bounds - >= -5611 @ 0.248055
0.49/0.59 c bounds - >= -5608 @ 0.250047
0.49/0.59 c bounds - >= -5605 @ 0.252308
0.49/0.59 c bounds - >= -5602 @ 0.255436
0.49/0.59 c bounds - >= -5599 @ 0.257672
0.49/0.59 c bounds - >= -5596 @ 0.259107
0.49/0.59 c bounds - >= -5593 @ 0.262193
0.49/0.59 c bounds - >= -5590 @ 0.265512
0.49/0.59 c bounds - >= -5587 @ 0.269151
0.49/0.59 c bounds - >= -5584 @ 0.273365
0.49/0.59 c bounds - >= -5581 @ 0.275875
0.49/0.59 c bounds - >= -5575 @ 0.277798
0.49/0.59 c bounds - >= -5572 @ 0.279166
0.49/0.59 c bounds - >= -5569 @ 0.280316
0.49/0.59 c bounds - >= -5566 @ 0.282863
0.49/0.59 c bounds - >= -5563 @ 0.284047
0.49/0.59 c bounds - >= -5560 @ 0.286143
0.49/0.59 c bounds - >= -5554 @ 0.287464
0.49/0.59 c bounds - >= -5551 @ 0.289703
0.49/0.59 c bounds - >= -5548 @ 0.292975
0.49/0.59 c bounds - >= -5545 @ 0.296287
0.49/0.59 c bounds - >= -5542 @ 0.298893
0.49/0.59 c bounds - >= -5539 @ 0.3011
0.49/0.59 c bounds - >= -5536 @ 0.3023
0.49/0.59 c bounds - >= -5533 @ 0.304882
0.49/0.59 c bounds - >= -5530 @ 0.308933
0.49/0.59 c bounds - >= -5527 @ 0.310296
0.49/0.59 c bounds - >= -5524 @ 0.31265
0.49/0.59 c bounds - >= -5521 @ 0.314146
0.49/0.59 c bounds - >= -5518 @ 0.315779
0.49/0.59 c bounds - >= -5515 @ 0.318878
0.49/0.59 c bounds - >= -5512 @ 0.322299
0.49/0.59 c bounds - >= -5506 @ 0.324996
0.49/0.59 c bounds - >= -5503 @ 0.327347
0.49/0.59 c bounds - >= -5500 @ 0.330032
0.49/0.59 c bounds - >= -5497 @ 0.332778
0.49/0.59 c bounds - >= -5494 @ 0.335984
0.49/0.59 c bounds - >= -5491 @ 0.33881
0.49/0.59 c bounds - >= -5488 @ 0.343104
0.49/0.59 c bounds - >= -5485 @ 0.345984
0.49/0.59 c bounds - >= -5482 @ 0.348557
0.49/0.59 c bounds - >= -5479 @ 0.35127
0.49/0.59 c finalizing WCE round: reformulating cores
648.91/650.72 c #Conflicts: 1000 | #Constraints: 13677
648.91/650.72 c #Conflicts: 2000 | #Constraints: 14698
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 3000 | #Constraints: 14552
648.91/650.72 c #Conflicts: 4000 | #Constraints: 15554
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 5000 | #Constraints: 14960
648.91/650.72 c #Conflicts: 6000 | #Constraints: 15962
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 7000 | #Constraints: 14968
648.91/650.72 c #Conflicts: 8000 | #Constraints: 15970
648.91/650.72 c #Conflicts: 9000 | #Constraints: 16974
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 10000 | #Constraints: 15675
648.91/650.72 c #Conflicts: 11000 | #Constraints: 16687
648.91/650.72 c #Conflicts: 12000 | #Constraints: 17702
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 13000 | #Constraints: 16164
648.91/650.72 c #Conflicts: 14000 | #Constraints: 17168
648.91/650.72 c #Conflicts: 15000 | #Constraints: 18170
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 16000 | #Constraints: 16398
648.91/650.72 c #Conflicts: 17000 | #Constraints: 17400
648.91/650.72 c #Conflicts: 18000 | #Constraints: 18402
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 19000 | #Constraints: 16423
648.91/650.72 c #Conflicts: 20000 | #Constraints: 17435
648.91/650.72 c #Conflicts: 21000 | #Constraints: 18439
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 22000 | #Constraints: 16241
648.91/650.72 c #Conflicts: 23000 | #Constraints: 17246
648.91/650.72 c #Conflicts: 24000 | #Constraints: 18254
648.91/650.72 c #Conflicts: 25000 | #Constraints: 19256
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 26000 | #Constraints: 16871
648.91/650.72 c #Conflicts: 27000 | #Constraints: 17874
648.91/650.72 c #Conflicts: 28000 | #Constraints: 18878
648.91/650.72 c #Conflicts: 29000 | #Constraints: 19890
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 30000 | #Constraints: 17282
648.91/650.72 c #Conflicts: 31000 | #Constraints: 18284
648.91/650.72 c #Conflicts: 32000 | #Constraints: 19286
648.91/650.72 c #Conflicts: 33000 | #Constraints: 20290
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 34000 | #Constraints: 17502
648.91/650.72 c #Conflicts: 35000 | #Constraints: 18504
648.91/650.72 c #Conflicts: 36000 | #Constraints: 19506
648.91/650.72 c #Conflicts: 37000 | #Constraints: 20510
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 38000 | #Constraints: 17520
648.91/650.72 c #Conflicts: 39000 | #Constraints: 18522
648.91/650.72 c #Conflicts: 40000 | #Constraints: 19524
648.91/650.72 c #Conflicts: 41000 | #Constraints: 20529
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 42000 | #Constraints: 17327
648.91/650.72 c #Conflicts: 43000 | #Constraints: 18329
648.91/650.72 c #Conflicts: 44000 | #Constraints: 19333
648.91/650.72 c #Conflicts: 45000 | #Constraints: 20335
648.91/650.72 c #Conflicts: 46000 | #Constraints: 21337
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 47000 | #Constraints: 17935
648.91/650.72 c #Conflicts: 48000 | #Constraints: 18937
648.91/650.72 c #Conflicts: 49000 | #Constraints: 19939
648.91/650.72 c #Conflicts: 50000 | #Constraints: 20943
648.91/650.72 c #Conflicts: 51000 | #Constraints: 21945
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 52000 | #Constraints: 18365
648.91/650.72 c #Conflicts: 53000 | #Constraints: 19367
648.91/650.72 c #Conflicts: 54000 | #Constraints: 20369
648.91/650.72 c #Conflicts: 55000 | #Constraints: 21373
648.91/650.72 c #Conflicts: 56000 | #Constraints: 22375
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 57000 | #Constraints: 18570
648.91/650.72 c #Conflicts: 58000 | #Constraints: 19572
648.91/650.72 c #Conflicts: 59000 | #Constraints: 20574
648.91/650.72 c #Conflicts: 60000 | #Constraints: 21578
648.91/650.72 c #Conflicts: 61000 | #Constraints: 22580
648.91/650.72 c INPROCESSING
648.91/650.72 c GARBAGE COLLECT
648.91/650.72 c #Conflicts: 62000 | #Constraints: 18590
648.91/650.72 c #Conflicts: 63000 | #Constraints: 19592
648.91/650.72 c #Conflicts: 64000 | #Constraints: 20594
648.91/650.72 c #Conflicts: 65000 | #Constraints: 21605
648.91/650.72 c bounds 703 >= -5479 @ 641.484
648.91/650.72 c bounds 702 >= -5479 @ 643.778
648.91/650.72 c stratification level: 2
652.01/653.86 c bounds 702 >= -5438 @ 643.932
652.01/653.86 c bounds 702 >= -5436 @ 643.943
652.01/653.86 c bounds 702 >= -5432 @ 643.951
652.01/653.86 c bounds 702 >= -5430 @ 643.956
652.01/653.86 c bounds 702 >= -5426 @ 643.967
652.01/653.86 c bounds 702 >= -5424 @ 643.976
652.01/653.86 c bounds 702 >= -5420 @ 643.988
652.01/653.86 c bounds 702 >= -5418 @ 643.998
652.01/653.86 c bounds 702 >= -5416 @ 644.007
652.01/653.86 c bounds 702 >= -5414 @ 644.017
652.01/653.86 c bounds 702 >= -5412 @ 644.028
652.01/653.86 c bounds 702 >= -5410 @ 644.039
652.01/653.86 c bounds 702 >= -5406 @ 644.05
652.01/653.86 c bounds 702 >= -5404 @ 644.063
652.01/653.86 c bounds 702 >= -5400 @ 644.076
652.01/653.86 c bounds 702 >= -5396 @ 644.091
652.01/653.86 c bounds 702 >= -5392 @ 644.102
652.01/653.86 c bounds 702 >= -5390 @ 644.116
652.01/653.86 c bounds 702 >= -5388 @ 644.129
652.01/653.86 c bounds 702 >= -5386 @ 644.143
652.01/653.86 c bounds 702 >= -5382 @ 644.16
652.01/653.86 c bounds 702 >= -5378 @ 644.174
652.01/653.86 c bounds 702 >= -5376 @ 644.188
652.01/653.86 c bounds 702 >= -5370 @ 644.208
652.01/653.86 c bounds 702 >= -5366 @ 644.223
652.01/653.86 c bounds 702 >= -5362 @ 644.242
652.01/653.86 c bounds 702 >= -5360 @ 644.26
652.01/653.86 c bounds 702 >= -5356 @ 644.276
652.01/653.86 c bounds 702 >= -5352 @ 644.292
652.01/653.86 c bounds 702 >= -5348 @ 644.312
652.01/653.86 c bounds 702 >= -5344 @ 644.328
652.01/653.86 c bounds 702 >= -5342 @ 644.346
652.01/653.86 c bounds 702 >= -5336 @ 644.364
652.01/653.86 c bounds 702 >= -5330 @ 644.389
652.01/653.86 c bounds 702 >= -5328 @ 644.406
652.01/653.86 c bounds 702 >= -5322 @ 644.421
652.01/653.86 c bounds 702 >= -5320 @ 644.441
652.01/653.86 c bounds 702 >= -5318 @ 644.46
652.01/653.86 c bounds 702 >= -5314 @ 644.482
652.01/653.86 c bounds 702 >= -5310 @ 644.5
652.01/653.86 c bounds 702 >= -5308 @ 644.517
652.01/653.86 c bounds 702 >= -5306 @ 644.535
652.01/653.86 c bounds 702 >= -5304 @ 644.554
652.01/653.86 c bounds 702 >= -5302 @ 644.576
652.01/653.86 c bounds 702 >= -5296 @ 644.594
652.01/653.86 c bounds 702 >= -5294 @ 644.627
652.01/653.86 c bounds 702 >= -5290 @ 644.648
652.01/653.86 c bounds 702 >= -5288 @ 644.665
652.01/653.86 c bounds 702 >= -5286 @ 644.688
652.01/653.86 c bounds 702 >= -5284 @ 644.716
652.01/653.86 c bounds 702 >= -5280 @ 644.747
652.01/653.86 c bounds 702 >= -5276 @ 644.766
652.01/653.86 c bounds 702 >= -5274 @ 644.785
652.01/653.86 c bounds 702 >= -5272 @ 644.803
652.01/653.86 c bounds 702 >= -5266 @ 644.821
652.01/653.86 c bounds 702 >= -5260 @ 644.841
652.01/653.86 c bounds 702 >= -5256 @ 644.86
652.01/653.86 c bounds 702 >= -5250 @ 644.878
652.01/653.86 c bounds 702 >= -5248 @ 644.896
652.01/653.86 c bounds 702 >= -5244 @ 644.916
652.01/653.86 c bounds 702 >= -5240 @ 644.936
652.01/653.86 c bounds 702 >= -5238 @ 644.956
652.01/653.86 c bounds 702 >= -5234 @ 644.977
652.01/653.86 c bounds 702 >= -5232 @ 644.995
652.01/653.86 c bounds 702 >= -5228 @ 645.014
652.01/653.86 c bounds 702 >= -5224 @ 645.035
652.01/653.86 c bounds 702 >= -5222 @ 645.056
652.01/653.86 c bounds 702 >= -5218 @ 645.078
652.01/653.86 c bounds 702 >= -5216 @ 645.095
652.01/653.86 c bounds 702 >= -5210 @ 645.119
652.01/653.86 c bounds 702 >= -5208 @ 645.139
652.01/653.86 c bounds 702 >= -5202 @ 645.167
652.01/653.86 c bounds 702 >= -5200 @ 645.189
652.01/653.86 c bounds 702 >= -5198 @ 645.215
652.01/653.86 c bounds 702 >= -5192 @ 645.247
652.01/653.86 c bounds 702 >= -5190 @ 645.27
652.01/653.86 c bounds 702 >= -5186 @ 645.293
652.01/653.86 c bounds 702 >= -5182 @ 645.322
652.01/653.86 c bounds 702 >= -5180 @ 645.345
652.01/653.86 c bounds 702 >= -5178 @ 645.371
652.01/653.86 c bounds 702 >= -5176 @ 645.395
652.01/653.86 c bounds 702 >= -5174 @ 645.425
652.01/653.86 c bounds 702 >= -5172 @ 645.448
652.01/653.86 c bounds 702 >= -5168 @ 645.47
652.01/653.86 c bounds 702 >= -5164 @ 645.491
652.01/653.86 c bounds 702 >= -5162 @ 645.513
652.01/653.86 c bounds 702 >= -5160 @ 645.548
652.01/653.86 c bounds 702 >= -5154 @ 645.57
652.01/653.86 c bounds 702 >= -5152 @ 645.603
652.01/653.86 c bounds 702 >= -5150 @ 645.627
652.01/653.86 c bounds 702 >= -5148 @ 645.648
652.01/653.86 c bounds 702 >= -5146 @ 645.669
652.01/653.86 c bounds 702 >= -5144 @ 645.694
652.01/653.86 c bounds 702 >= -5142 @ 645.713
652.01/653.86 c bounds 702 >= -5140 @ 645.741
652.01/653.86 c bounds 702 >= -5138 @ 645.764
652.01/653.86 c bounds 702 >= -5136 @ 645.786
652.01/653.86 c bounds 702 >= -5132 @ 645.809
652.01/653.86 c bounds 702 >= -5130 @ 645.837
652.01/653.86 c bounds 702 >= -5128 @ 645.86
652.01/653.86 c bounds 702 >= -5124 @ 645.885
652.01/653.86 c bounds 702 >= -5120 @ 645.911
652.01/653.86 c bounds 702 >= -5118 @ 645.935
652.01/653.86 c bounds 702 >= -5116 @ 645.96
652.01/653.86 c bounds 702 >= -5114 @ 645.987
652.01/653.86 c bounds 702 >= -5112 @ 646.014
652.01/653.86 c bounds 702 >= -5110 @ 646.04
652.01/653.86 c bounds 702 >= -5106 @ 646.073
652.01/653.86 c bounds 702 >= -5104 @ 646.102
652.01/653.86 c bounds 702 >= -5102 @ 646.127
652.01/653.86 c bounds 702 >= -5098 @ 646.156
652.01/653.86 c bounds 702 >= -5094 @ 646.181
652.01/653.86 c bounds 702 >= -5092 @ 646.207
652.01/653.86 c bounds 702 >= -5090 @ 646.227
652.01/653.86 c bounds 702 >= -5084 @ 646.255
652.01/653.86 c bounds 702 >= -5078 @ 646.28
652.01/653.86 c bounds 702 >= -5076 @ 646.309
652.01/653.86 c bounds 702 >= -5074 @ 646.334
652.01/653.86 c bounds 702 >= -5070 @ 646.358
652.01/653.86 c bounds 702 >= -5068 @ 646.38
652.01/653.86 c bounds 702 >= -5066 @ 646.408
652.01/653.86 c bounds 702 >= -5062 @ 646.436
652.01/653.86 c bounds 702 >= -5060 @ 646.462
652.01/653.86 c bounds 702 >= -5058 @ 646.492
652.01/653.86 c bounds 702 >= -5056 @ 646.516
652.01/653.86 c bounds 702 >= -5052 @ 646.552
652.01/653.86 c bounds 702 >= -5046 @ 646.579
652.01/653.86 c bounds 702 >= -5040 @ 646.61
652.01/653.86 c bounds 702 >= -5038 @ 646.643
656.30/658.16 c bounds 702 >= -5036 @ 646.67
656.30/658.16 c bounds 702 >= -5034 @ 646.699
656.30/658.16 c bounds 702 >= -5030 @ 646.726
656.30/658.16 c bounds 702 >= -5026 @ 646.75
656.30/658.16 c bounds 702 >= -5024 @ 646.78
656.30/658.16 c bounds 702 >= -5022 @ 646.803
656.30/658.16 c bounds 702 >= -5018 @ 646.828
656.30/658.16 c bounds 702 >= -5016 @ 646.854
656.30/658.16 c bounds 702 >= -5010 @ 646.877
656.30/658.16 c bounds 702 >= -5008 @ 646.906
656.30/658.16 c bounds 702 >= -5006 @ 646.936
656.30/658.16 c bounds 702 >= -5004 @ 646.961
656.30/658.16 c bounds 702 >= -5000 @ 646.987
656.30/658.16 c bounds 702 >= -4998 @ 647.022
656.30/658.16 c bounds 702 >= -4996 @ 647.045
656.30/658.16 c bounds 702 >= -4992 @ 647.074
656.30/658.16 c bounds 702 >= -4986 @ 647.1
656.30/658.16 c bounds 702 >= -4984 @ 647.124
656.30/658.16 c bounds 702 >= -4982 @ 647.162
656.30/658.16 c bounds 702 >= -4978 @ 647.189
656.30/658.16 c bounds 702 >= -4976 @ 647.221
656.30/658.16 c bounds 702 >= -4974 @ 647.247
656.30/658.16 c bounds 702 >= -4970 @ 647.278
656.30/658.16 c bounds 702 >= -4968 @ 647.306
656.30/658.16 c bounds 702 >= -4964 @ 647.346
656.30/658.16 c bounds 702 >= -4960 @ 647.372
656.30/658.16 c bounds 702 >= -4958 @ 647.402
656.30/658.16 c bounds 702 >= -4956 @ 647.44
656.30/658.16 c bounds 702 >= -4954 @ 647.465
656.30/658.16 c bounds 702 >= -4952 @ 647.49
656.30/658.16 c bounds 702 >= -4948 @ 647.517
656.30/658.16 c bounds 702 >= -4946 @ 647.544
656.30/658.16 c bounds 702 >= -4944 @ 647.569
656.30/658.16 c bounds 702 >= -4942 @ 647.593
656.30/658.16 c bounds 702 >= -4940 @ 647.622
656.30/658.16 c bounds 702 >= -4938 @ 647.65
656.30/658.16 c bounds 702 >= -4934 @ 647.682
656.30/658.16 c bounds 702 >= -4932 @ 647.712
656.30/658.16 c bounds 702 >= -4930 @ 647.744
656.30/658.16 c bounds 702 >= -4928 @ 647.78
656.30/658.16 c bounds 702 >= -4926 @ 647.819
656.30/658.16 c bounds 702 >= -4924 @ 647.851
656.30/658.16 c bounds 702 >= -4920 @ 647.883
656.30/658.16 c bounds 702 >= -4918 @ 647.916
656.30/658.16 c bounds 702 >= -4916 @ 647.948
656.30/658.16 c bounds 702 >= -4914 @ 647.98
656.30/658.16 c bounds 702 >= -4910 @ 648.015
656.30/658.16 c bounds 702 >= -4908 @ 648.045
656.30/658.16 c bounds 702 >= -4906 @ 648.079
656.30/658.16 c bounds 702 >= -4904 @ 648.119
656.30/658.16 c bounds 702 >= -4902 @ 648.152
656.30/658.16 c bounds 702 >= -4900 @ 648.187
656.30/658.16 c bounds 702 >= -4898 @ 648.217
656.30/658.16 c bounds 702 >= -4894 @ 648.25
656.30/658.16 c bounds 702 >= -4892 @ 648.288
656.30/658.16 c bounds 702 >= -4890 @ 648.322
656.30/658.16 c bounds 702 >= -4888 @ 648.353
656.30/658.16 c bounds 702 >= -4886 @ 648.385
656.30/658.16 c bounds 702 >= -4884 @ 648.415
656.30/658.16 c bounds 702 >= -4882 @ 648.449
656.30/658.16 c bounds 702 >= -4880 @ 648.483
656.30/658.16 c bounds 702 >= -4878 @ 648.527
656.30/658.16 c bounds 702 >= -4876 @ 648.561
656.30/658.16 c bounds 702 >= -4872 @ 648.599
656.30/658.16 c bounds 702 >= -4870 @ 648.635
656.30/658.16 c bounds 702 >= -4868 @ 648.675
656.30/658.16 c bounds 702 >= -4864 @ 648.712
656.30/658.16 c bounds 702 >= -4862 @ 648.749
656.30/658.16 c bounds 702 >= -4858 @ 648.788
656.30/658.16 c bounds 702 >= -4856 @ 648.829
656.30/658.16 c bounds 702 >= -4854 @ 648.874
656.30/658.16 c bounds 702 >= -4852 @ 648.908
656.30/658.16 c bounds 702 >= -4850 @ 648.943
656.30/658.16 c bounds 702 >= -4846 @ 648.977
656.30/658.16 c bounds 702 >= -4844 @ 649.008
656.30/658.16 c bounds 702 >= -4842 @ 649.043
656.30/658.16 c bounds 702 >= -4840 @ 649.074
656.30/658.16 c bounds 702 >= -4838 @ 649.105
656.30/658.16 c bounds 702 >= -4832 @ 649.143
656.30/658.16 c bounds 702 >= -4830 @ 649.176
656.30/658.16 c bounds 702 >= -4828 @ 649.222
656.30/658.16 c bounds 702 >= -4826 @ 649.252
656.30/658.16 c bounds 702 >= -4824 @ 649.286
656.30/658.16 c bounds 702 >= -4822 @ 649.324
656.30/658.16 c bounds 702 >= -4818 @ 649.361
656.30/658.16 c bounds 702 >= -4814 @ 649.393
656.30/658.16 c bounds 702 >= -4810 @ 649.431
656.30/658.16 c bounds 702 >= -4808 @ 649.473
656.30/658.16 c bounds 702 >= -4806 @ 649.503
656.30/658.16 c bounds 702 >= -4802 @ 649.536
656.30/658.16 c bounds 702 >= -4800 @ 649.572
656.30/658.16 c bounds 702 >= -4798 @ 649.602
656.30/658.16 c bounds 702 >= -4794 @ 649.635
656.30/658.16 c bounds 702 >= -4790 @ 649.667
656.30/658.16 c bounds 702 >= -4788 @ 649.697
656.30/658.16 c bounds 702 >= -4784 @ 649.724
656.30/658.16 c bounds 702 >= -4782 @ 649.752
656.30/658.16 c bounds 702 >= -4780 @ 649.784
656.30/658.16 c bounds 702 >= -4778 @ 649.811
656.30/658.16 c bounds 702 >= -4776 @ 649.841
656.30/658.16 c bounds 702 >= -4772 @ 649.873
656.30/658.16 c bounds 702 >= -4766 @ 649.904
656.30/658.16 c bounds 702 >= -4764 @ 649.928
656.30/658.16 c bounds 702 >= -4762 @ 649.958
656.30/658.16 c bounds 702 >= -4760 @ 649.98
656.30/658.16 c bounds 702 >= -4754 @ 650.012
656.30/658.16 c bounds 702 >= -4752 @ 650.034
656.30/658.16 c bounds 702 >= -4750 @ 650.068
656.30/658.16 c bounds 702 >= -4748 @ 650.095
656.30/658.16 c bounds 702 >= -4746 @ 650.126
656.30/658.16 c bounds 702 >= -4744 @ 650.155
656.30/658.16 c bounds 702 >= -4742 @ 650.185
656.30/658.16 c bounds 702 >= -4740 @ 650.217
656.30/658.16 c bounds 702 >= -4738 @ 650.251
656.30/658.16 c bounds 702 >= -4734 @ 650.278
656.30/658.16 c bounds 702 >= -4730 @ 650.306
656.30/658.16 c bounds 702 >= -4728 @ 650.336
656.30/658.16 c bounds 702 >= -4726 @ 650.369
656.30/658.16 c bounds 702 >= -4724 @ 650.396
656.30/658.16 c bounds 702 >= -4718 @ 650.423
656.30/658.16 c bounds 702 >= -4716 @ 650.448
656.30/658.16 c bounds 702 >= -4714 @ 650.473
656.30/658.16 c bounds 702 >= -4712 @ 650.504
656.30/658.16 c bounds 702 >= -4708 @ 650.535
656.30/658.16 c bounds 702 >= -4706 @ 650.563
656.30/658.16 c bounds 702 >= -4704 @ 650.595
656.30/658.16 c bounds 702 >= -4702 @ 650.619
656.30/658.16 c bounds 702 >= -4700 @ 650.651
661.29/663.18 c bounds 702 >= -4696 @ 650.68
661.29/663.18 c bounds 702 >= -4694 @ 650.709
661.29/663.18 c bounds 702 >= -4692 @ 650.736
661.29/663.18 c bounds 702 >= -4690 @ 650.763
661.29/663.18 c bounds 702 >= -4688 @ 650.792
661.29/663.18 c bounds 702 >= -4686 @ 650.817
661.29/663.18 c bounds 702 >= -4684 @ 650.844
661.29/663.18 c bounds 702 >= -4682 @ 650.885
661.29/663.18 c bounds 702 >= -4680 @ 650.911
661.29/663.18 c bounds 702 >= -4678 @ 650.942
661.29/663.18 c bounds 702 >= -4674 @ 650.98
661.29/663.18 c bounds 702 >= -4672 @ 651.003
661.29/663.18 c bounds 702 >= -4668 @ 651.029
661.29/663.18 c bounds 702 >= -4666 @ 651.052
661.29/663.18 c bounds 702 >= -4664 @ 651.076
661.29/663.18 c bounds 702 >= -4662 @ 651.097
661.29/663.18 c bounds 702 >= -4660 @ 651.118
661.29/663.18 c bounds 702 >= -4658 @ 651.152
661.29/663.18 c bounds 702 >= -4656 @ 651.174
661.29/663.18 c bounds 702 >= -4654 @ 651.201
661.29/663.18 c bounds 702 >= -4652 @ 651.22
661.29/663.18 c bounds 702 >= -4650 @ 651.244
661.29/663.18 c bounds 702 >= -4646 @ 651.262
661.29/663.18 c bounds 702 >= -4644 @ 651.289
661.29/663.18 c bounds 702 >= -4638 @ 651.309
661.29/663.18 c bounds 702 >= -4636 @ 651.345
661.29/663.18 c bounds 702 >= -4634 @ 651.376
661.29/663.18 c bounds 702 >= -4632 @ 651.401
661.29/663.18 c bounds 702 >= -4630 @ 651.429
661.29/663.18 c bounds 702 >= -4628 @ 651.46
661.29/663.18 c bounds 702 >= -4626 @ 651.489
661.29/663.18 c bounds 702 >= -4624 @ 651.516
661.29/663.18 c bounds 702 >= -4622 @ 651.547
661.29/663.18 c bounds 702 >= -4620 @ 651.577
661.29/663.18 c bounds 702 >= -4618 @ 651.608
661.29/663.18 c bounds 702 >= -4614 @ 651.644
661.29/663.18 c bounds 702 >= -4612 @ 651.68
661.29/663.18 c bounds 702 >= -4610 @ 651.712
661.29/663.18 c bounds 702 >= -4608 @ 651.747
661.29/663.18 c bounds 702 >= -4606 @ 651.772
661.29/663.18 c bounds 702 >= -4604 @ 651.796
661.29/663.18 c bounds 702 >= -4602 @ 651.823
661.29/663.18 c bounds 702 >= -4600 @ 651.861
661.29/663.18 c bounds 702 >= -4598 @ 651.892
661.29/663.18 c bounds 702 >= -4596 @ 651.924
661.29/663.18 c bounds 702 >= -4594 @ 651.959
661.29/663.18 c bounds 702 >= -4592 @ 651.996
661.29/663.18 c bounds 702 >= -4590 @ 652.038
661.29/663.18 c bounds 702 >= -4584 @ 652.077
661.29/663.18 c bounds 702 >= -4582 @ 652.112
661.29/663.18 c bounds 702 >= -4580 @ 652.143
661.29/663.18 c bounds 702 >= -4578 @ 652.181
661.29/663.18 c bounds 702 >= -4576 @ 652.221
661.29/663.18 c bounds 702 >= -4574 @ 652.261
661.29/663.18 c bounds 702 >= -4572 @ 652.295
661.29/663.18 c bounds 702 >= -4570 @ 652.329
661.29/663.18 c bounds 702 >= -4568 @ 652.369
661.29/663.18 c bounds 702 >= -4566 @ 652.402
661.29/663.18 c bounds 702 >= -4560 @ 652.442
661.29/663.18 c bounds 702 >= -4558 @ 652.488
661.29/663.18 c bounds 702 >= -4556 @ 652.519
661.29/663.18 c bounds 702 >= -4554 @ 652.55
661.29/663.18 c bounds 702 >= -4550 @ 652.59
661.29/663.18 c bounds 702 >= -4546 @ 652.626
661.29/663.18 c bounds 702 >= -4544 @ 652.666
661.29/663.18 c bounds 702 >= -4542 @ 652.704
661.29/663.18 c bounds 702 >= -4540 @ 652.744
661.29/663.18 c bounds 702 >= -4538 @ 652.782
661.29/663.18 c bounds 702 >= -4536 @ 652.819
661.29/663.18 c bounds 702 >= -4534 @ 652.854
661.29/663.18 c bounds 702 >= -4532 @ 652.886
661.29/663.18 c bounds 702 >= -4530 @ 652.917
661.29/663.18 c bounds 702 >= -4528 @ 652.954
661.29/663.18 c bounds 702 >= -4526 @ 652.989
661.29/663.18 c bounds 702 >= -4522 @ 653.024
661.29/663.18 c bounds 702 >= -4520 @ 653.063
661.29/663.18 c bounds 702 >= -4518 @ 653.097
661.29/663.18 c bounds 702 >= -4516 @ 653.136
661.29/663.18 c bounds 702 >= -4514 @ 653.171
661.29/663.18 c bounds 702 >= -4512 @ 653.204
661.29/663.18 c bounds 702 >= -4510 @ 653.238
661.29/663.18 c bounds 702 >= -4508 @ 653.274
661.29/663.18 c bounds 702 >= -4506 @ 653.317
661.29/663.18 c bounds 702 >= -4504 @ 653.36
661.29/663.18 c bounds 702 >= -4502 @ 653.4
661.29/663.18 c bounds 702 >= -4500 @ 653.432
661.29/663.18 c bounds 702 >= -4498 @ 653.468
661.29/663.18 c bounds 702 >= -4494 @ 653.511
661.29/663.18 c bounds 702 >= -4492 @ 653.544
661.29/663.18 c bounds 702 >= -4490 @ 653.585
661.29/663.18 c bounds 702 >= -4488 @ 653.625
661.29/663.18 c bounds 702 >= -4484 @ 653.663
661.29/663.18 c bounds 702 >= -4480 @ 653.708
661.29/663.18 c bounds 702 >= -4478 @ 653.752
661.29/663.18 c bounds 702 >= -4476 @ 653.792
661.29/663.18 c bounds 702 >= -4474 @ 653.831
661.29/663.18 c bounds 702 >= -4472 @ 653.87
661.29/663.18 c bounds 702 >= -4470 @ 653.911
661.29/663.18 c bounds 702 >= -4468 @ 653.956
661.29/663.18 c bounds 702 >= -4466 @ 653.997
661.29/663.18 c bounds 702 >= -4464 @ 654.057
661.29/663.18 c bounds 702 >= -4462 @ 654.103
661.29/663.18 c bounds 702 >= -4460 @ 654.15
661.29/663.18 c bounds 702 >= -4458 @ 654.196
661.29/663.18 c bounds 702 >= -4456 @ 654.241
661.29/663.18 c bounds 702 >= -4454 @ 654.294
661.29/663.18 c bounds 702 >= -4452 @ 654.343
661.29/663.18 c bounds 702 >= -4450 @ 654.388
661.29/663.18 c bounds 702 >= -4448 @ 654.432
661.29/663.18 c bounds 702 >= -4446 @ 654.476
661.29/663.18 c bounds 702 >= -4444 @ 654.524
661.29/663.18 c bounds 702 >= -4442 @ 654.569
661.29/663.18 c bounds 702 >= -4440 @ 654.612
661.29/663.18 c bounds 702 >= -4438 @ 654.659
661.29/663.18 c bounds 702 >= -4434 @ 654.715
661.29/663.18 c bounds 702 >= -4432 @ 654.759
661.29/663.18 c bounds 702 >= -4430 @ 654.81
661.29/663.18 c bounds 702 >= -4428 @ 654.859
661.29/663.18 c bounds 702 >= -4426 @ 654.906
661.29/663.18 c bounds 702 >= -4424 @ 654.953
661.29/663.18 c bounds 702 >= -4422 @ 655
661.29/663.18 c bounds 702 >= -4420 @ 655.051
661.29/663.18 c bounds 702 >= -4418 @ 655.095
661.29/663.18 c bounds 702 >= -4416 @ 655.15
661.29/663.18 c bounds 702 >= -4414 @ 655.201
661.29/663.18 c bounds 702 >= -4410 @ 655.252
661.29/663.18 c bounds 702 >= -4406 @ 655.301
661.29/663.18 c bounds 702 >= -4404 @ 655.351
661.29/663.18 c bounds 702 >= -4400 @ 655.406
931.23/933.86 c bounds 702 >= -4398 @ 655.455
931.23/933.86 c bounds 702 >= -4396 @ 655.504
931.23/933.86 c bounds 702 >= -4394 @ 655.556
931.23/933.86 c bounds 702 >= -4392 @ 655.609
931.23/933.86 c bounds 702 >= -4390 @ 655.66
931.23/933.86 c bounds 702 >= -4388 @ 655.726
931.23/933.86 c bounds 702 >= -4386 @ 655.785
931.23/933.86 c bounds 702 >= -4384 @ 655.841
931.23/933.86 c bounds 702 >= -4382 @ 655.902
931.23/933.86 c bounds 702 >= -4380 @ 655.969
931.23/933.86 c bounds 702 >= -4378 @ 656.029
931.23/933.86 c bounds 702 >= -4376 @ 656.091
931.23/933.86 c bounds 702 >= -4374 @ 656.15
931.23/933.86 c bounds 702 >= -4372 @ 656.206
931.23/933.86 c bounds 702 >= -4370 @ 656.264
931.23/933.86 c bounds 702 >= -4368 @ 656.335
931.23/933.86 c bounds 702 >= -4364 @ 656.403
931.23/933.86 c bounds 702 >= -4362 @ 656.464
931.23/933.86 c bounds 702 >= -4360 @ 656.533
931.23/933.86 c bounds 702 >= -4358 @ 656.6
931.23/933.86 c bounds 702 >= -4356 @ 656.665
931.23/933.86 c bounds 702 >= -4354 @ 656.732
931.23/933.86 c bounds 702 >= -4352 @ 656.799
931.23/933.86 c bounds 702 >= -4350 @ 656.867
931.23/933.86 c bounds 702 >= -4346 @ 656.936
931.23/933.86 c bounds 702 >= -4344 @ 657.008
931.23/933.86 c bounds 702 >= -4340 @ 657.081
931.23/933.86 c bounds 702 >= -4336 @ 657.154
931.23/933.86 c bounds 702 >= -4334 @ 657.224
931.23/933.86 c bounds 702 >= -4330 @ 657.295
931.23/933.86 c bounds 702 >= -4326 @ 657.364
931.23/933.86 c bounds 702 >= -4324 @ 657.442
931.23/933.86 c bounds 702 >= -4322 @ 657.52
931.23/933.86 c bounds 702 >= -4318 @ 657.619
931.23/933.86 c bounds 702 >= -4316 @ 657.723
931.23/933.86 c bounds 702 >= -4314 @ 657.829
931.23/933.86 c bounds 702 >= -4312 @ 657.934
931.23/933.86 c bounds 702 >= -4310 @ 658.029
931.23/933.86 c bounds 702 >= -4308 @ 658.134
931.23/933.86 c bounds 702 >= -4306 @ 658.234
931.23/933.86 c bounds 702 >= -4304 @ 658.339
931.23/933.86 c bounds 702 >= -4302 @ 658.442
931.23/933.86 c bounds 702 >= -4300 @ 658.542
931.23/933.86 c bounds 702 >= -4298 @ 658.644
931.23/933.86 c bounds 702 >= -4296 @ 658.744
931.23/933.86 c bounds 702 >= -4294 @ 658.842
931.23/933.86 c bounds 702 >= -4292 @ 658.945
931.23/933.86 c bounds 702 >= -4290 @ 659.048
931.23/933.86 c bounds 702 >= -4288 @ 659.168
931.23/933.86 c bounds 702 >= -4286 @ 659.29
931.23/933.86 c bounds 702 >= -4284 @ 659.413
931.23/933.86 c bounds 702 >= -4282 @ 659.529
931.23/933.86 c bounds 702 >= -4278 @ 659.653
931.23/933.86 c bounds 702 >= -4276 @ 659.775
931.23/933.86 c bounds 702 >= -4274 @ 659.894
931.23/933.86 c bounds 702 >= -4272 @ 660.018
931.23/933.86 c bounds 702 >= -4270 @ 660.151
931.23/933.86 c bounds 702 >= -4268 @ 660.278
931.23/933.86 c bounds 702 >= -4266 @ 660.415
931.23/933.86 c bounds 702 >= -4264 @ 660.546
931.23/933.86 c bounds 702 >= -4262 @ 660.682
931.23/933.86 c bounds 702 >= -4260 @ 660.821
931.23/933.86 c bounds 702 >= -4258 @ 660.962
931.23/933.86 c bounds 702 >= -4256 @ 661.126
931.23/933.86 c bounds 702 >= -4254 @ 661.291
931.23/933.86 c bounds 702 >= -4252 @ 661.476
931.23/933.86 c bounds 702 >= -4250 @ 661.671
931.23/933.86 c bounds 702 >= -4248 @ 661.868
931.23/933.86 c bounds 702 >= -4246 @ 662.063
931.23/933.86 c bounds 702 >= -4244 @ 662.267
931.23/933.86 c bounds 702 >= -4242 @ 662.461
931.23/933.86 c bounds 702 >= -4240 @ 662.683
931.23/933.86 c bounds 702 >= -4238 @ 662.921
931.23/933.86 c bounds 702 >= -4236 @ 663.194
931.23/933.86 c bounds 702 >= -4234 @ 663.451
931.23/933.86 c bounds 702 >= -4232 @ 663.713
931.23/933.86 c bounds 702 >= -4230 @ 663.969
931.23/933.86 c #Conflicts: 66000 | #Constraints: 23444
931.23/933.86 c INPROCESSING
931.23/933.86 c GARBAGE COLLECT
931.23/933.86 c #Conflicts: 67000 | #Constraints: 18587
931.23/933.86 c #Conflicts: 68000 | #Constraints: 19587
931.23/933.86 c #Conflicts: 69000 | #Constraints: 20587
931.23/933.86 c #Conflicts: 70000 | #Constraints: 21587
931.23/933.86 c #Conflicts: 71000 | #Constraints: 22587
931.23/933.86 c #Conflicts: 72000 | #Constraints: 23587
931.23/933.86 c INPROCESSING
931.23/933.86 c GARBAGE COLLECT
931.23/933.86 c #Conflicts: 73000 | #Constraints: 19087
931.23/933.86 c #Conflicts: 74000 | #Constraints: 20087
931.23/933.86 c #Conflicts: 75000 | #Constraints: 21087
931.23/933.86 c #Conflicts: 76000 | #Constraints: 22087
931.23/933.86 c #Conflicts: 77000 | #Constraints: 23087
931.23/933.86 c #Conflicts: 78000 | #Constraints: 24087
931.23/933.86 c INPROCESSING
931.23/933.86 c GARBAGE COLLECT
931.23/933.86 c #Conflicts: 79000 | #Constraints: 19435
931.23/933.86 c #Conflicts: 80000 | #Constraints: 20435
931.23/933.86 c #Conflicts: 81000 | #Constraints: 21435
931.23/933.86 c #Conflicts: 82000 | #Constraints: 22435
931.23/933.86 c #Conflicts: 83000 | #Constraints: 23435
931.23/933.86 c #Conflicts: 84000 | #Constraints: 24435
931.23/933.86 c INPROCESSING
931.23/933.86 c GARBAGE COLLECT
931.23/933.86 c #Conflicts: 85000 | #Constraints: 19619
931.23/933.86 c #Conflicts: 86000 | #Constraints: 20619
931.23/933.86 c #Conflicts: 87000 | #Constraints: 21619
931.23/933.86 c #Conflicts: 88000 | #Constraints: 22619
931.23/933.86 c #Conflicts: 89000 | #Constraints: 23619
931.23/933.86 c #Conflicts: 90000 | #Constraints: 24619
931.23/933.86 c INPROCESSING
931.23/933.86 c GARBAGE COLLECT
931.23/933.86 c #Conflicts: 91000 | #Constraints: 19631
931.23/933.86 c #Conflicts: 92000 | #Constraints: 20631
931.23/933.86 c #Conflicts: 93000 | #Constraints: 21631
1913.40/1918.85 c #Conflicts: 94000 | #Constraints: 22631
1913.40/1918.85 c #Conflicts: 95000 | #Constraints: 23631
1913.40/1918.85 c #Conflicts: 96000 | #Constraints: 24631
1913.40/1918.85 c INPROCESSING
1913.40/1918.85 c GARBAGE COLLECT
1913.40/1918.85 c #Conflicts: 97000 | #Constraints: 19411
1913.40/1918.85 c #Conflicts: 98000 | #Constraints: 20411
1913.40/1918.85 c #Conflicts: 99000 | #Constraints: 21411
1913.40/1918.85 c #Conflicts: 100000 | #Constraints: 22411
1913.40/1918.85 c #Conflicts: 101000 | #Constraints: 23411
1913.40/1918.85 c #Conflicts: 102000 | #Constraints: 24411
1913.40/1918.85 c #Conflicts: 103000 | #Constraints: 25411
1913.40/1918.85 c INPROCESSING
1913.40/1918.85 c GARBAGE COLLECT
1913.40/1918.85 c #Conflicts: 104000 | #Constraints: 20000
1913.40/1918.85 c #Conflicts: 105000 | #Constraints: 21000
1913.40/1918.85 c #Conflicts: 106000 | #Constraints: 22000
1913.40/1918.85 c #Conflicts: 107000 | #Constraints: 23000
1913.40/1918.85 c #Conflicts: 108000 | #Constraints: 24000
1913.40/1918.85 c #Conflicts: 109000 | #Constraints: 25000
1913.40/1918.85 c #Conflicts: 110000 | #Constraints: 26000
1913.40/1918.85 c INPROCESSING
1913.40/1918.85 c GARBAGE COLLECT
1913.40/1918.85 c #Conflicts: 111000 | #Constraints: 20417
1913.40/1918.85 c #Conflicts: 112000 | #Constraints: 21417
1913.40/1918.85 c #Conflicts: 113000 | #Constraints: 22417
1913.40/1918.85 c #Conflicts: 114000 | #Constraints: 23417
1913.40/1918.85 c #Conflicts: 115000 | #Constraints: 24417
1913.40/1918.85 c #Conflicts: 116000 | #Constraints: 25417
1913.40/1918.85 c #Conflicts: 117000 | #Constraints: 26417
1913.40/1918.85 c INPROCESSING
1913.40/1918.85 c GARBAGE COLLECT
1913.40/1918.85 c #Conflicts: 118000 | #Constraints: 20669
1913.40/1918.85 c #Conflicts: 119000 | #Constraints: 21669
1913.40/1918.85 c #Conflicts: 120000 | #Constraints: 22669
1913.40/1918.85 c #Conflicts: 121000 | #Constraints: 23669
1913.40/1918.85 c #Conflicts: 122000 | #Constraints: 24669
1913.40/1918.85 c #Conflicts: 123000 | #Constraints: 25669
1913.40/1918.85 c #Conflicts: 124000 | #Constraints: 26669
1913.40/1918.85 c INPROCESSING
1913.40/1918.85 c GARBAGE COLLECT
1913.40/1918.85 c #Conflicts: 125000 | #Constraints: 20687
1913.40/1918.85 c #Conflicts: 126000 | #Constraints: 21687
1913.40/1918.85 c #Conflicts: 127000 | #Constraints: 22687
1913.40/1918.85 c #Conflicts: 128000 | #Constraints: 23687
1913.40/1918.85 c #Conflicts: 129000 | #Constraints: 24687
1913.40/1918.85 c #Conflicts: 130000 | #Constraints: 25687
1913.40/1918.85 c #Conflicts: 131000 | #Constraints: 26687
1913.40/1918.85 c INPROCESSING
1913.40/1918.85 c GARBAGE COLLECT
1913.40/1918.85 c #Conflicts: 132000 | #Constraints: 20441
1913.40/1918.85 c #Conflicts: 133000 | #Constraints: 21441
1913.40/1918.85 c #Conflicts: 134000 | #Constraints: 22441
1913.40/1918.85 c #Conflicts: 135000 | #Constraints: 23441
1913.40/1918.85 c #Conflicts: 136000 | #Constraints: 24441
1913.40/1918.85 c #Conflicts: 137000 | #Constraints: 25441
1913.40/1918.85 c #Conflicts: 138000 | #Constraints: 26441
1913.40/1918.85 c #Conflicts: 139000 | #Constraints: 27441
1913.40/1918.85 c INPROCESSING
1913.40/1918.85 c GARBAGE COLLECT
1913.40/1918.85 c #Conflicts: 140000 | #Constraints: 21059
1913.40/1918.85 c #Conflicts: 141000 | #Constraints: 22059
1913.40/1918.85 c #Conflicts: 142000 | #Constraints: 23059
1913.40/1918.85 c #Conflicts: 143000 | #Constraints: 24059
1913.40/1918.85 c #Conflicts: 144000 | #Constraints: 25059
1913.40/1918.85 c #Conflicts: 145000 | #Constraints: 26059
1913.40/1918.85 c #Conflicts: 146000 | #Constraints: 27059
1913.40/1918.85 c #Conflicts: 147000 | #Constraints: 28059
1913.40/1918.85 c INPROCESSING
1913.40/1918.85 c GARBAGE COLLECT
1913.40/1918.85 c #Conflicts: 148000 | #Constraints: 21470
1913.40/1918.85 c #Conflicts: 149000 | #Constraints: 22470
1913.40/1918.85 c #Conflicts: 150000 | #Constraints: 23470
1913.40/1918.85 c #Conflicts: 151000 | #Constraints: 24470
1913.40/1918.85 c #Conflicts: 152000 | #Constraints: 25470
1913.40/1918.85 c #Conflicts: 153000 | #Constraints: 26470
1913.40/1918.85 c #Conflicts: 154000 | #Constraints: 27470
1913.40/1918.85 c #Conflicts: 155000 | #Constraints: 28470
1913.40/1918.85 c INPROCESSING
1913.40/1918.85 c GARBAGE COLLECT
1913.40/1918.85 c #Conflicts: 156000 | #Constraints: 21661
1913.40/1918.85 c #Conflicts: 157000 | #Constraints: 22661
1913.40/1918.85 c #Conflicts: 158000 | #Constraints: 23661
1913.40/1918.85 c #Conflicts: 159000 | #Constraints: 24661
1913.40/1918.85 c #Conflicts: 160000 | #Constraints: 25661
1913.40/1918.85 c #Conflicts: 161000 | #Constraints: 26661
1913.40/1918.85 c #Conflicts: 162000 | #Constraints: 27661
1913.40/1918.85 c #Conflicts: 163000 | #Constraints: 28661
1913.40/1918.85 c INPROCESSING
1913.40/1918.85 c GARBAGE COLLECT
1913.40/1918.85 c #Conflicts: 164000 | #Constraints: 21642
1913.40/1918.85 c #Conflicts: 165000 | #Constraints: 22642
1913.40/1918.85 c #Conflicts: 166000 | #Constraints: 23642
2080.41/2086.37 c #Conflicts: 167000 | #Constraints: 24642
2080.41/2086.37 c #Conflicts: 168000 | #Constraints: 25642
2080.41/2086.37 c #Conflicts: 169000 | #Constraints: 26642
2080.41/2086.37 c #Conflicts: 170000 | #Constraints: 27642
2080.41/2086.37 c #Conflicts: 171000 | #Constraints: 28642
2080.41/2086.37 c INPROCESSING
2080.41/2086.37 c GARBAGE COLLECT
2080.41/2086.37 c #Conflicts: 172000 | #Constraints: 21449
2080.41/2086.37 c #Conflicts: 173000 | #Constraints: 22449
2080.41/2086.37 c #Conflicts: 174000 | #Constraints: 23449
2080.41/2086.37 c #Conflicts: 175000 | #Constraints: 24449
2080.41/2086.37 c #Conflicts: 176000 | #Constraints: 25449
2080.41/2086.37 c finalizing WCE round: reformulating cores
2165.35/2171.54 free(): invalid next size (normal)
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: 63665 MiB (62967 MiB free)
memory of node 1: 64507 MiB (63628 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484580-1751292654/watcher-4484580-1751292654 -o /tmp/evaluation-result-4484580-1751292654/solver-4484580-1751292654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42302 --watchdog 3760 pb-oll-rs HOME/instance-4484580-1751292654.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=42353, runsolver pid=42344
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129610584/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=25932 memory=11720 CPUtime=0.08 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 2374 0 0 0 7 1 0 0 20 0 1 0 44943118 26554368 2930 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 6483 2930 1344 243 0 2732 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 25932 KiB
Current children cumulated memory: 11720 KiB
[startup+0.204897 s]*
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129598740/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=26072 memory=14592 CPUtime=0.19 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 2576 0 0 0 14 5 0 0 20 0 1 0 44943118 26697728 3648 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 6518 3648 1344 243 0 2767 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26072 KiB
Current children cumulated memory: 14592 KiB
[startup+0.30469 s]*
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129580628/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=28924 memory=18276 CPUtime=0.28 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 2968 0 0 0 19 9 0 0 20 0 1 0 44943118 29618176 4569 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 7231 4569 1344 243 0 3480 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 28924 KiB
Current children cumulated memory: 18276 KiB
[startup+0.700126 s]
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129572060/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=42736 memory=25024 CPUtime=0.68 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 4162 0 0 0 46 22 0 0 20 0 1 0 44943118 43761664 6256 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 10684 6256 1344 243 0 6933 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42736 KiB
Current children cumulated memory: 25024 KiB
[startup+1.50016 s]
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129525624/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=70992 memory=56444 CPUtime=1.48 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 8953 0 0 0 124 24 0 0 20 0 1 0 44943118 72695808 14111 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 17748 14111 1344 243 0 13997 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70992 KiB
Current children cumulated memory: 56444 KiB
[startup+3.10503 s]
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129319980/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=176984 memory=139564 CPUtime=3.08 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 24100 0 0 0 279 29 0 0 20 0 1 0 44943118 181231616 34891 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 44246 34891 1344 243 0 40495 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 176984 KiB
Current children cumulated memory: 139564 KiB
[startup+6.30016 s]
/proc/loadavg: 1.08 1.11 1.41 5/266 42363
/proc/meminfo: memFree=129203080/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=241192 memory=185564 CPUtime=6.26 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 28463 0 0 0 587 39 0 0 20 0 1 0 44943118 246980608 46391 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 60298 46391 1344 243 0 56547 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 241192 KiB
Current children cumulated memory: 185564 KiB
[startup+12.7001 s]
/proc/loadavg: 1.31 1.16 1.43 5/266 42363
/proc/meminfo: memFree=128944388/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=405508 memory=317380 CPUtime=12.65 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 49168 0 0 0 1208 57 0 0 20 0 1 0 44943118 415240192 79345 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 101377 79345 1344 243 0 97626 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 405508 KiB
Current children cumulated memory: 317380 KiB
[startup+25.5002 s]
/proc/loadavg: 1.91 1.30 1.47 5/266 42364
/proc/meminfo: memFree=128737420/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=533812 memory=481556 CPUtime=25.41 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 75412 0 0 0 2460 81 0 0 20 0 1 0 44943118 546623488 120389 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 133453 120389 1344 243 0 129702 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 533812 KiB
Current children cumulated memory: 481556 KiB
[startup+51.1054 s]
/proc/loadavg: 2.68 1.53 1.54 5/266 42364
/proc/meminfo: memFree=128393284/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=717128 memory=610804 CPUtime=50.95 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 91870 0 0 0 4990 105 0 0 20 0 1 0 44943118 734339072 152701 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 179282 152701 1344 243 0 175531 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 717128 KiB
Current children cumulated memory: 610804 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.93 1.68 5/266 42373
/proc/meminfo: memFree=128019512/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=1175792 memory=873560 CPUtime=102 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 134612 0 0 0 10038 162 0 0 20 0 1 0 44943118 1204011008 218390 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 293948 218390 1344 243 0 290197 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1175792 KiB
Current children cumulated memory: 873560 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 2.32 1.83 5/266 42375
/proc/meminfo: memFree=127881592/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=1182896 memory=902024 CPUtime=161.84 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 138737 0 0 0 15973 211 0 0 20 0 1 0 44943118 1211285504 225506 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 295724 225506 1344 243 0 291973 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1182896 KiB
Current children cumulated memory: 902024 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.65 1.97 5/265 42377
/proc/meminfo: memFree=127600848/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=1265540 memory=1045432 CPUtime=221.68 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 158748 0 0 0 21913 255 0 0 20 0 1 0 44943118 1295912960 261358 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 316385 261358 1344 243 0 312634 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1265540 KiB
Current children cumulated memory: 1045432 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.93 2.12 5/266 42380
/proc/meminfo: memFree=127501152/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=1269384 memory=1080728 CPUtime=281.52 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 161536 0 0 0 27855 297 0 0 20 0 1 0 44943118 1299849216 270182 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 317346 270182 1344 243 0 313595 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 1269384 KiB
Current children cumulated memory: 1080728 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.15 2.25 5/264 42382
/proc/meminfo: memFree=127299944/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=1296636 memory=1163536 CPUtime=341.36 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 171015 0 0 0 33803 333 0 0 20 0 1 0 44943118 1327755264 290884 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 324159 290884 1344 243 0 320408 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 1296636 KiB
Current children cumulated memory: 1163536 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.31 2.36 5/265 42385
/proc/meminfo: memFree=127165004/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=1652336 memory=1272512 CPUtime=401.2 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 181421 0 0 0 39755 365 0 0 20 0 1 0 44943118 1691992064 318128 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 413084 318128 1344 243 0 409333 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 1652336 KiB
Current children cumulated memory: 1272512 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.47 2.47 5/264 42387
/proc/meminfo: memFree=127048508/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=1655616 memory=1334432 CPUtime=461.03 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 185670 0 0 0 45701 402 0 0 20 0 1 0 44943118 1695350784 333608 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 413904 333608 1344 243 0 410153 0
Current children cumulated CPU time: 461.03 s
################
# More data... #
################
[pid=42353] ppid=42344 vsize=2992904 memory=2487296 CPUtime=1837.14 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 333050 0 0 0 182709 1005 0 0 20 0 1 0 44943118 3064733696 621824 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 748226 621824 1344 243 0 744475 0
Current children cumulated CPU time: 1837.14 s
Current children cumulated vsize: 2992904 KiB
Current children cumulated memory: 2487296 KiB
[startup+1902.3 s]
/proc/loadavg: 4.12 4.14 3.86 5/264 42460
/proc/meminfo: memFree=125349136/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3023444 memory=2632244 CPUtime=1896.96 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 338190 0 0 0 188670 1026 0 0 20 0 1 0 44943118 3096006656 658061 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 755861 658061 1344 243 0 752110 0
Current children cumulated CPU time: 1896.96 s
Current children cumulated vsize: 3023444 KiB
Current children cumulated memory: 2632244 KiB
[startup+1962.3 s]
/proc/loadavg: 4.08 4.13 3.87 5/264 42462
/proc/meminfo: memFree=125353656/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3023592 memory=2632372 CPUtime=1956.78 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 338504 0 0 0 194636 1042 0 0 20 0 1 0 44943118 3096158208 658093 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 755898 658093 1344 243 0 752147 0
Current children cumulated CPU time: 1956.78 s
Current children cumulated vsize: 3023592 KiB
Current children cumulated memory: 2632372 KiB
[startup+2022.3 s]
/proc/loadavg: 4.13 4.13 3.90 5/264 42464
/proc/meminfo: memFree=125303784/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3027052 memory=2677956 CPUtime=2016.6 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 340456 0 0 0 200603 1057 0 0 20 0 1 0 44943118 3099701248 669489 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 756763 669489 1344 243 0 753012 0
Current children cumulated CPU time: 2016.6 s
Current children cumulated vsize: 3027052 KiB
Current children cumulated memory: 2677956 KiB
[startup+2082.3 s]
/proc/loadavg: 4.10 4.12 3.91 5/264 42466
/proc/meminfo: memFree=125296848/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3027796 memory=2691144 CPUtime=2076.42 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 340739 0 0 0 206565 1077 0 0 20 0 1 0 44943118 3100463104 672786 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 756949 672786 1344 243 0 753198 0
Current children cumulated CPU time: 2076.42 s
Current children cumulated vsize: 3027796 KiB
Current children cumulated memory: 2691144 KiB
[startup+2142.3 s]
/proc/loadavg: 4.15 4.13 3.93 5/264 42469
/proc/meminfo: memFree=125292256/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3028716 memory=2692168 CPUtime=2136.23 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 341286 0 0 0 212527 1096 0 0 20 0 1 0 44943118 3101405184 673042 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 757179 673042 1344 243 0 753428 0
Current children cumulated CPU time: 2136.23 s
Current children cumulated vsize: 3028716 KiB
Current children cumulated memory: 2692168 KiB
[startup+2188.78 s]
# the end of solver process 42353 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=2154.32 s, system=11.7836 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2150.4 s]
/proc/loadavg: 4.13 4.12 3.93 5/264 42469
/proc/meminfo: memFree=125290972/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3028716 memory=2692296 CPUtime=2144.31 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) R 42344 42353 42292 0 -1 4194304 341572 0 0 0 213331 1100 0 0 20 0 1 0 44943118 3101405184 673074 18446744073709551615 4218880 5211445 140722597707216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 0
/proc/42353/statm: 757179 673074 1344 243 0 753428 0
Current children cumulated CPU time: 2144.31 s
Current children cumulated vsize: 3028716 KiB
Current children cumulated memory: 2692296 KiB
[startup+2176 s]*
/proc/loadavg: 4.08 4.11 3.93 5/266 42475
/proc/meminfo: memFree=124022184/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3029336 memory=2728068 CPUtime=2166.08 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) S 42344 42353 42292 0 -1 4195840 342320 0 0 0 215431 1177 0 0 20 0 1 0 44943118 3102040064 682017 18446744073709551615 4218880 5211445 140722597707216 140722597702944 139791849536108 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 6
/proc/42353/statm: 757334 682017 1376 243 0 753583 0
Current children cumulated CPU time: 2166.08 s
Current children cumulated vsize: 3029336 KiB
Current children cumulated memory: 2728068 KiB
[startup+2182.4 s]
/proc/loadavg: 4.16 4.13 3.94 5/266 42475
/proc/meminfo: memFree=123748172/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3029336 memory=2728068 CPUtime=2166.08 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) S 42344 42353 42292 0 -1 4195840 342320 0 0 0 215431 1177 0 0 20 0 1 0 44943118 3102040064 682017 18446744073709551615 4218880 5211445 140722597707216 140722597702944 139791849536108 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 6
/proc/42353/statm: 757334 682017 1376 243 0 753583 0
Current children cumulated CPU time: 2166.08 s
Current children cumulated vsize: 3029336 KiB
Current children cumulated memory: 2728068 KiB
[startup+2185.6 s]
/proc/loadavg: 4.22 4.14 3.94 4/266 42475
/proc/meminfo: memFree=123723992/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3029336 memory=2728068 CPUtime=2166.08 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) S 42344 42353 42292 0 -1 4195840 342320 0 0 0 215431 1177 0 0 20 0 1 0 44943118 3102040064 682017 18446744073709551615 4218880 5211445 140722597707216 140722597702944 139791849536108 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 6
/proc/42353/statm: 757334 682017 1376 243 0 753583 0
Current children cumulated CPU time: 2166.08 s
Current children cumulated vsize: 3029336 KiB
Current children cumulated memory: 2728068 KiB
[startup+2187.2 s]
/proc/loadavg: 4.22 4.14 3.94 4/266 42475
/proc/meminfo: memFree=123724260/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3029336 memory=2728068 CPUtime=2166.08 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) S 42344 42353 42292 0 -1 4195840 342320 0 0 0 215431 1177 0 0 20 0 1 0 44943118 3102040064 682017 18446744073709551615 4218880 5211445 140722597707216 140722597702944 139791849536108 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 6
/proc/42353/statm: 757334 682017 1376 243 0 753583 0
Current children cumulated CPU time: 2166.08 s
Current children cumulated vsize: 3029336 KiB
Current children cumulated memory: 2728068 KiB
[startup+2188 s]*
/proc/loadavg: 4.22 4.14 3.94 4/266 42475
/proc/meminfo: memFree=123724260/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3029336 memory=2728068 CPUtime=2166.08 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) S 42344 42353 42292 0 -1 4195840 342320 0 0 0 215431 1177 0 0 20 0 1 0 44943118 3102040064 682017 18446744073709551615 4218880 5211445 140722597707216 140722597702944 139791849536108 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 6
/proc/42353/statm: 757334 682017 1376 243 0 753583 0
Current children cumulated CPU time: 2166.08 s
Current children cumulated vsize: 3029336 KiB
Current children cumulated memory: 2728068 KiB
[startup+2188.4 s]
/proc/loadavg: 4.22 4.14 3.94 4/266 42475
/proc/meminfo: memFree=123724260/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3029336 memory=2728068 CPUtime=2166.08 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) S 42344 42353 42292 0 -1 4195840 342320 0 0 0 215431 1177 0 0 20 0 1 0 44943118 3102040064 682017 18446744073709551615 4218880 5211445 140722597707216 140722597702944 139791849536108 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 6
/proc/42353/statm: 757334 682017 1376 243 0 753583 0
Current children cumulated CPU time: 2166.08 s
Current children cumulated vsize: 3029336 KiB
Current children cumulated memory: 2728068 KiB
[startup+2188.6 s]
/proc/loadavg: 4.22 4.14 3.94 4/266 42475
/proc/meminfo: memFree=123724260/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3029336 memory=2728068 CPUtime=2166.08 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) S 42344 42353 42292 0 -1 4195840 342320 0 0 0 215431 1177 0 0 20 0 1 0 44943118 3102040064 682017 18446744073709551615 4218880 5211445 140722597707216 140722597702944 139791849536108 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 6
/proc/42353/statm: 757334 682017 1376 243 0 753583 0
Current children cumulated CPU time: 2166.08 s
Current children cumulated vsize: 3029336 KiB
Current children cumulated memory: 2728068 KiB
[startup+2188.7 s]
/proc/loadavg: 4.22 4.14 3.94 4/266 42475
/proc/meminfo: memFree=123724260/131249996 swapFree=33010684/33010684
[pid=42353] ppid=42344 vsize=3029336 memory=2728068 CPUtime=2166.08 cores=0,2
/proc/42353/stat : 42353 (pb-oll-rs) S 42344 42353 42292 0 -1 4195840 342320 0 0 0 215431 1177 0 0 20 0 1 0 44943118 3102040064 682017 18446744073709551615 4218880 5211445 140722597707216 140722597702944 139791849536108 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 5494472 5498400 18391040 140722597710236 140722597710313 140722597710313 140722597715915 6
/proc/42353/statm: 757334 682017 1376 243 0 753583 0
Current children cumulated CPU time: 2166.08 s
Current children cumulated vsize: 3029336 KiB
Current children cumulated memory: 2728068 KiB
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 2188.78
CPU time (s): 2166.1
CPU user time (s): 2154.32
CPU system time (s): 11.7836
CPU usage (%): 98.9636
Max. virtual memory (cumulated for all children) (KiB): 3029336
Max. memory (cumulated for all children) (KiB): 2728068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2154.32
system time used= 11.7836
maximum resident set size= 2728068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 342320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 607
involuntary context switches= 2859
# summary of solver processes directly reported to runsolver:
# pid: 42353
# total CPU time (s): 2166.1
# total CPU user time (s): 2154.32
# total CPU system time (s): 11.7836
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.95812 second user time and 9.6506 second system time
The end
Begin job on nodeC021 at 2025-06-30 16:10:54
IDJOB=4484580
IDBENCH=146662
IDSOLVER=3345
FILE ID=nodeC021/4484580-1751292654
RUNJOBID= nodeC021-1751292654-42302
SLURM_JOB_ID= 9594264
Free space on /tmp= 433064 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484580-1751292654/watcher-4484580-1751292654 -o /tmp/evaluation-result-4484580-1751292654/solver-4484580-1751292654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42302 --watchdog 3760 pb-oll-rs HOME/instance-4484580-1751292654.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3dc780a187102f53f7868f024506933f
RANDOM SEED=394225421
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.290
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.312
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.753
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.848
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.240
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.878
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.953
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.678
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129639720 kB
MemAvailable: 129760476 kB
Buffers: 3280 kB
Cached: 927904 kB
SwapCached: 0 kB
Active: 347380 kB
Inactive: 659388 kB
Active(anon): 93644 kB
Inactive(anon): 0 kB
Active(file): 253736 kB
Inactive(file): 659388 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7208 kB
Writeback: 8 kB
AnonPages: 78744 kB
Mapped: 103124 kB
Shmem: 18060 kB
KReclaimable: 93344 kB
Slab: 179600 kB
SReclaimable: 93344 kB
SUnreclaim: 86256 kB
KernelStack: 4096 kB
PageTables: 2884 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 348260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432584 MiB
End job on nodeC021 at 2025-06-30 16:47:23