0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4484126-1751283726.opb'
0.00/0.01 c read 0.03MB (0.55ms)
0.00/0.01 c [cnf: #variables 907 #clauses 404 #duplicates 0 #arr 3726]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 222] (0.99ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c found row 4x14, generating row predicate
0.00/0.01 c found row 6x14, generating row predicate
0.00/0.01 c found row 7x14, generating row predicate
0.00/0.01 c found row 27x14, generating row predicate
0.00/0.01 c found row 3x14, generating row predicate
0.00/0.01 c found row 4x14, generating row predicate
0.00/0.01 c found row 6x14, generating row predicate
0.00/0.01 c found row 4x14, generating row predicate
0.00/0.01 c found row 3x14, generating row predicate
0.00/0.01 c found row 4x14, generating row predicate
0.00/0.01 c (4.24ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 4364 #edges 13558]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 3.84*10^2 #generators 8] (0.87ms)
0.00/0.01 c
0.00/0.01 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.01 c (0.01ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c add generic predicates (break_depth=20)
0.00/0.01 c added predicates for 8 generators (0.02ms)
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 2568 #add_vars 834]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4484126-1751283726.opb.pre'
0.00/0.01 c wrote 0.12MB (0.32ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 4.24ms 59.26% detect_special
0.00/0.01 c 0.99ms 13.80% approx_orbits
0.00/0.01 c 0.87ms 12.17% detect_generic
0.00/0.01 c 0.55ms 7.68% parse
0.00/0.01 c 0.32ms 4.47% output
0.00/0.01 c 0.13ms 1.87% other
0.00/0.01 c 0.03ms 0.42% finalize_order
0.00/0.01 c 0.02ms 0.25% break_generic
0.00/0.01 c 0.01ms 0.09% optimize_gens
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 7.15ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.04 c #variables 1741 #constraints 3231
0.00/0.04 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05 c bounds 6284 >= -415 @ 0.020115
0.00/0.10 c bounds 6183 >= -415 @ 0.062235
0.00/0.10 c bounds 6183 >= -174 @ 0.062596
0.00/0.10 c bounds 6183 >= -173 @ 0.062785
0.00/0.10 c bounds 6183 >= -172 @ 0.062981
0.00/0.10 c bounds 6183 >= -171 @ 0.063044
0.00/0.10 c bounds 6183 >= -71 @ 0.063044
0.00/0.10 c bounds 6183 >= -70 @ 0.063044
0.00/0.10 c bounds 6183 >= -69 @ 0.063236
0.00/0.10 c bounds 6183 >= -68 @ 0.063567
0.00/0.10 c bounds 6183 >= -67 @ 0.063896
0.00/0.10 c bounds 6183 >= -66 @ 0.063984
0.00/0.10 c bounds 6183 >= -65 @ 0.063984
0.07/0.10 c bounds 6183 >= -64 @ 0.063984
0.07/0.10 c bounds 6183 >= -63 @ 0.063984
0.07/0.10 c bounds 6183 >= -62 @ 0.063984
0.07/0.10 c bounds 6183 >= -61 @ 0.063984
0.07/0.10 c bounds 6183 >= -60 @ 0.063984
0.07/0.10 c bounds 6183 >= -59 @ 0.063984
0.07/0.10 c bounds 6183 >= -58 @ 0.063984
0.07/0.10 c bounds 6183 >= -57 @ 0.064331
0.07/0.10 c bounds 6183 >= -56 @ 0.06467
0.07/0.10 c bounds 6183 >= -55 @ 0.064952
0.07/0.10 c bounds 6183 >= -54 @ 0.0653
0.07/0.10 c bounds 6183 >= -53 @ 0.06565
0.07/0.10 c bounds 6183 >= -52 @ 0.066003
0.07/0.11 c bounds 6183 >= -51 @ 0.066358
0.07/0.11 c bounds 6183 >= -50 @ 0.066715
0.07/0.11 c bounds 6183 >= -49 @ 0.067074
0.07/0.11 c bounds 6183 >= -48 @ 0.067435
0.07/0.11 c bounds 6183 >= -47 @ 0.067801
0.07/0.11 c bounds 6183 >= -46 @ 0.067929
0.07/0.11 c bounds 6183 >= -45 @ 0.067929
0.07/0.11 c bounds 6182 >= -45 @ 0.070602
0.07/0.11 c bounds 6182 >= -44 @ 0.071013
0.07/0.11 c bounds 6182 >= -43 @ 0.071401
0.07/0.11 c bounds 6182 >= -42 @ 0.071794
0.07/0.11 c bounds 6182 >= -41 @ 0.07192
0.07/0.11 c bounds 6182 >= -40 @ 0.07192
0.07/0.11 c bounds 6182 >= -39 @ 0.071973
0.07/0.11 c bounds 6182 >= -38 @ 0.072363
0.07/0.11 c bounds 6182 >= -37 @ 0.072758
0.07/0.11 c bounds 6182 >= -36 @ 0.072916
0.07/0.11 c bounds 6182 >= -35 @ 0.072916
0.07/0.12 c bounds 6083 >= -35 @ 0.077749
0.07/0.12 c bounds 6083 >= -34 @ 0.077892
0.07/0.12 c bounds 6083 >= -33 @ 0.077892
0.07/0.12 c bounds 6083 >= -32 @ 0.077892
0.07/0.12 c bounds 6083 >= -31 @ 0.077892
0.07/0.12 c bounds 6083 >= -30 @ 0.077892
0.07/0.12 c bounds 6083 >= 33 @ 0.078528
0.07/0.12 c bounds 6083 >= 34 @ 0.078849
0.07/0.12 c bounds 6083 >= 35 @ 0.078881
0.07/0.12 c bounds 6083 >= 36 @ 0.078881
0.07/0.12 c bounds 6083 >= 37 @ 0.078881
0.07/0.13 c bounds 6083 >= 38 @ 0.079072
0.07/0.13 c bounds 6083 >= 39 @ 0.079382
0.07/0.13 c bounds 6083 >= 40 @ 0.079668
0.07/0.13 c bounds 6083 >= 41 @ 0.079872
0.07/0.13 c bounds 6083 >= 42 @ 0.079872
0.07/0.13 c bounds 6083 >= 43 @ 0.079872
0.07/0.13 c bounds 6083 >= 44 @ 0.079872
0.07/0.13 c bounds 6083 >= 45 @ 0.079872
0.07/0.13 c bounds 6083 >= 46 @ 0.079872
0.07/0.13 c bounds 6083 >= 47 @ 0.079872
0.07/0.13 c bounds 6083 >= 48 @ 0.080073
0.07/0.13 c bounds 6083 >= 49 @ 0.080374
0.07/0.13 c bounds 6083 >= 50 @ 0.080668
0.07/0.13 c bounds 6083 >= 51 @ 0.080858
0.07/0.13 c bounds 6083 >= 52 @ 0.080858
0.07/0.13 c bounds 6083 >= 53 @ 0.080858
0.07/0.13 c bounds 6083 >= 54 @ 0.080858
0.07/0.13 c bounds 6083 >= 55 @ 0.081165
0.07/0.13 c bounds 6083 >= 56 @ 0.08145
0.07/0.13 c bounds 6083 >= 57 @ 0.081735
0.07/0.13 c bounds 6083 >= 156 @ 0.08185
0.07/0.13 c bounds 6083 >= 157 @ 0.08185
0.07/0.13 c bounds 6082 >= 157 @ 0.084484
0.07/0.13 c bounds 6082 >= 158 @ 0.084843
0.07/0.14 c bounds 6082 >= 159 @ 0.084843
0.07/0.14 c bounds 6082 >= 160 @ 0.084843
0.07/0.14 c bounds 6082 >= 162 @ 0.084843
0.07/0.14 c bounds 6082 >= 163 @ 0.084843
0.07/0.14 c bounds 6082 >= 164 @ 0.084906
0.07/0.14 c bounds 6082 >= 165 @ 0.085309
0.07/0.14 c bounds 6082 >= 166 @ 0.085701
0.07/0.14 c bounds 6082 >= 167 @ 0.085828
0.07/0.14 c bounds 5982 >= 167 @ 0.087821
0.07/0.14 c bounds 5982 >= 168 @ 0.088024
0.07/0.14 c bounds 5982 >= 170 @ 0.088427
0.07/0.14 c bounds 5982 >= 171 @ 0.088813
0.07/0.14 c bounds 5982 >= 172 @ 0.089217
0.07/0.14 c bounds 5982 >= 174 @ 0.089619
0.07/0.14 c bounds 5982 >= 176 @ 0.089811
0.07/0.14 c bounds 5982 >= 177 @ 0.089811
0.07/0.14 c bounds 5982 >= 178 @ 0.08983
0.07/0.15 c bounds 5982 >= 180 @ 0.090232
0.07/0.15 c bounds 5982 >= 181 @ 0.090639
0.07/0.15 c bounds 5982 >= 182 @ 0.090806
0.07/0.15 c bounds 5982 >= 183 @ 0.090806
0.07/0.15 c bounds 5982 >= 184 @ 0.090867
0.07/0.15 c bounds 5982 >= 186 @ 0.091281
0.07/0.15 c bounds 5981 >= 186 @ 0.093796
0.07/0.15 c bounds 5981 >= 188 @ 0.093796
0.07/0.15 c bounds 5981 >= 189 @ 0.094039
0.07/0.15 c bounds 5981 >= 192 @ 0.094448
0.07/0.15 c bounds 5981 >= 194 @ 0.094851
0.07/0.15 c bounds 5981 >= 195 @ 0.095255
0.07/0.15 c bounds 5981 >= 196 @ 0.095659
0.07/0.15 c bounds 5981 >= 198 @ 0.096066
0.07/0.16 c bounds 5980 >= 198 @ 0.098719
0.07/0.16 c bounds 5980 >= 200 @ 0.098781
0.07/0.16 c bounds 5980 >= 202 @ 0.098781
0.07/0.16 c bounds 5980 >= 203 @ 0.099198
0.07/0.16 c bounds 5980 >= 217 @ 0.099677
0.07/0.16 c bounds 5980 >= 218 @ 0.099782
0.07/0.16 c bounds 5979 >= 218 @ 0.101398
0.07/0.16 c bounds 5979 >= 219 @ 0.101858
0.07/0.16 c bounds 5979 >= 220 @ 0.102288
0.07/0.16 c bounds 5979 >= 221 @ 0.10271
0.07/0.16 c bounds 5979 >= 222 @ 0.10277
0.07/0.16 c bounds 5979 >= 223 @ 0.10277
0.07/0.16 c bounds 5979 >= 224 @ 0.10277
0.07/0.16 c bounds 5979 >= 225 @ 0.10277
0.07/0.17 c bounds 5979 >= 226 @ 0.10277
0.07/0.17 c bounds 5979 >= 227 @ 0.10277
0.07/0.17 c bounds 5979 >= 228 @ 0.102832
0.07/0.17 c bounds 5979 >= 229 @ 0.103288
0.07/0.17 c bounds 5880 >= 229 @ 0.106668
0.07/0.17 c bounds 5880 >= 230 @ 0.107181
0.07/0.17 c bounds 5880 >= 231 @ 0.107662
0.07/0.17 c bounds 5880 >= 232 @ 0.107744
0.07/0.17 c bounds 5880 >= 233 @ 0.107744
0.07/0.17 c bounds 5880 >= 234 @ 0.108127
0.07/0.17 c bounds 5880 >= 235 @ 0.108619
0.07/0.17 c bounds 5880 >= 236 @ 0.108744
0.07/0.18 c bounds 5780 >= 236 @ 0.114814
0.07/0.18 c bounds 5780 >= 237 @ 0.115372
0.07/0.18 c bounds 5780 >= 238 @ 0.115891
0.07/0.18 c bounds 5780 >= 239 @ 0.116391
0.07/0.18 c bounds 5780 >= 240 @ 0.116727
0.07/0.18 c bounds 5780 >= 241 @ 0.116727
0.07/0.18 c bounds 5780 >= 242 @ 0.1169
0.07/0.18 c bounds 5780 >= 243 @ 0.117402
0.07/0.18 c bounds 5780 >= 244 @ 0.117902
0.07/0.18 c bounds 5780 >= 245 @ 0.118398
0.07/0.19 c bounds 5780 >= 246 @ 0.118896
0.07/0.19 c bounds 5780 >= 247 @ 0.119389
0.07/0.19 c bounds 5780 >= 248 @ 0.120155
0.07/0.19 c bounds 5780 >= 249 @ 0.121026
0.07/0.19 c bounds 5780 >= 250 @ 0.121705
0.07/0.19 c bounds 5779 >= 250 @ 0.124961
0.07/0.19 c bounds 5779 >= 251 @ 0.125858
0.07/0.19 c bounds 5779 >= 252 @ 0.126569
0.07/0.19 c bounds 5779 >= 347 @ 0.126712
0.07/0.20 c bounds 5779 >= 351 @ 0.126861
0.07/0.20 c bounds 5779 >= 352 @ 0.127818
0.07/0.20 c bounds 5779 >= 446 @ 0.128611
0.07/0.20 c bounds 5779 >= 451 @ 0.128711
0.07/0.20 c bounds 5778 >= 451 @ 0.130741
0.07/0.20 c bounds 5778 >= 452 @ 0.13191
0.07/0.20 c bounds 5778 >= 453 @ 0.132713
0.07/0.20 c bounds 5778 >= 542 @ 0.133169
0.07/0.20 c bounds 5778 >= 545 @ 0.133626
0.07/0.20 c bounds 5778 >= 546 @ 0.134229
0.17/0.21 c bounds 5777 >= 546 @ 0.138558
0.17/0.21 c bounds 5777 >= 547 @ 0.139488
0.17/0.21 c bounds 5777 >= 551 @ 0.140206
0.17/0.21 c bounds 5777 >= 552 @ 0.140996
0.17/0.21 c bounds 5777 >= 553 @ 0.141516
0.17/0.21 c bounds 5777 >= 554 @ 0.141601
0.17/0.21 c bounds 5777 >= 555 @ 0.141601
0.17/0.21 c bounds 5777 >= 556 @ 0.142089
0.17/0.22 c bounds 5776 >= 556 @ 0.145032
0.17/0.22 c bounds 5776 >= 557 @ 0.145595
0.17/0.22 c bounds 5776 >= 558 @ 0.146151
0.17/0.22 c bounds 5776 >= 559 @ 0.146736
0.17/0.22 c bounds 5776 >= 560 @ 0.147299
0.17/0.22 c bounds 5776 >= 561 @ 0.147865
0.17/0.22 c bounds 5776 >= 562 @ 0.148432
0.17/0.22 c bounds 5776 >= 563 @ 0.148599
0.17/0.22 c bounds 5776 >= 564 @ 0.148599
0.17/0.22 c bounds 5776 >= 565 @ 0.1486
0.17/0.22 c bounds 5776 >= 566 @ 0.148668
0.17/0.23 c bounds 5776 >= 567 @ 0.149216
0.17/0.23 c bounds 5776 >= 568 @ 0.149767
0.17/0.23 c bounds 5776 >= 569 @ 0.150319
0.17/0.23 c bounds 5678 >= 569 @ 0.155761
0.17/0.23 c bounds 5678 >= 570 @ 0.156352
0.17/0.23 c bounds 5678 >= 571 @ 0.1569
0.17/0.23 c bounds 5678 >= 572 @ 0.157421
0.17/0.23 c bounds 5678 >= 573 @ 0.157578
0.17/0.23 c bounds 5678 >= 574 @ 0.157578
0.17/0.24 c bounds 5678 >= 631 @ 0.157583
0.17/0.24 c bounds 5678 >= 634 @ 0.157695
0.17/0.24 c bounds 5678 >= 635 @ 0.158384
0.17/0.24 c bounds 5678 >= 636 @ 0.159774
0.17/0.24 c bounds 5678 >= 637 @ 0.160407
0.17/0.24 c bounds 5678 >= 638 @ 0.160574
0.17/0.24 c bounds 5677 >= 638 @ 0.163567
0.17/0.24 c bounds 5677 >= 639 @ 0.163567
0.17/0.25 c bounds 5677 >= 640 @ 0.163807
0.17/0.25 c bounds 5677 >= 641 @ 0.164593
0.17/0.25 c bounds 5677 >= 642 @ 0.165283
0.17/0.25 c bounds 5677 >= 643 @ 0.16556
0.17/0.25 c bounds 5677 >= 644 @ 0.165814
0.17/0.25 c bounds 5677 >= 645 @ 0.166615
0.17/0.25 c bounds 5676 >= 645 @ 0.171015
0.17/0.25 c bounds 5676 >= 646 @ 0.171606
0.17/0.26 c bounds 5676 >= 647 @ 0.172513
0.17/0.26 c bounds 5676 >= 648 @ 0.172545
0.17/0.26 c bounds 5676 >= 650 @ 0.173135
0.17/0.26 c bounds 5676 >= 651 @ 0.17392
0.17/0.26 c bounds 5676 >= 652 @ 0.178188
0.17/0.27 c bounds 5675 >= 652 @ 0.182516
0.17/0.27 c bounds 5675 >= 653 @ 0.185702
0.17/0.28 c bounds 5574 >= 653 @ 0.190696
0.17/0.29 c bounds 5574 >= 654 @ 0.204295
0.17/0.30 c bounds 5573 >= 654 @ 0.211299
0.27/0.31 c bounds 5572 >= 654 @ 0.218108
0.27/0.32 c bounds 5472 >= 654 @ 0.224437
0.27/0.34 c bounds 5472 >= 655 @ 0.247012
0.27/0.35 c bounds 5371 >= 655 @ 0.257892
0.37/0.41 c #Conflicts: 1000 | #Constraints: 5151
0.37/0.41 c bounds 5370 >= 655 @ 0.312519
0.37/0.41 c bounds 5370 >= 664 @ 0.314688
0.37/0.41 c bounds 5370 >= 701 @ 0.315234
0.37/0.42 c bounds 5370 >= 710 @ 0.315234
0.37/0.42 c bounds 5370 >= 711 @ 0.315234
0.37/0.42 c bounds 5370 >= 712 @ 0.315557
0.37/0.42 c bounds 5370 >= 713 @ 0.3159
0.37/0.42 c bounds 5370 >= 714 @ 0.316242
0.37/0.42 c bounds 5370 >= 715 @ 0.316594
0.37/0.42 c bounds 5370 >= 716 @ 0.316941
0.37/0.42 c bounds 5370 >= 717 @ 0.317293
0.37/0.42 c bounds 5370 >= 718 @ 0.317648
0.37/0.42 c bounds 5370 >= 719 @ 0.318169
0.37/0.42 c bounds 5370 >= 720 @ 0.319206
0.37/0.42 c bounds 5370 >= 721 @ 0.319656
0.37/0.42 c bounds 5370 >= 724 @ 0.320046
0.37/0.43 c bounds 5370 >= 725 @ 0.32063
0.37/0.43 c bounds 5370 >= 726 @ 0.321233
0.37/0.43 c bounds 5370 >= 727 @ 0.321771
0.37/0.43 c bounds 5370 >= 728 @ 0.322825
0.37/0.43 c bounds 5370 >= 729 @ 0.323232
0.37/0.43 c bounds 5370 >= 730 @ 0.323232
0.37/0.43 c bounds 5370 >= 731 @ 0.3243
0.37/0.43 c bounds 5370 >= 732 @ 0.325308
0.37/0.43 c bounds 5370 >= 733 @ 0.327045
0.37/0.48 c bounds 5370 >= 734 @ 0.370133
0.37/0.48 c bounds 5370 >= 735 @ 0.370605
0.37/0.48 c bounds 5370 >= 736 @ 0.371703
0.37/0.48 c bounds 5370 >= 737 @ 0.373115
0.37/0.49 c bounds 5370 >= 738 @ 0.373408
0.37/0.49 c bounds 5370 >= 739 @ 0.37516
0.37/0.49 c bounds 5370 >= 740 @ 0.377025
0.37/0.49 c bounds 5370 >= 741 @ 0.379541
0.37/0.49 c bounds 5370 >= 742 @ 0.38193
0.37/0.50 c bounds 5370 >= 743 @ 0.385935
0.37/0.50 c bounds 5370 >= 744 @ 0.390882
0.47/0.51 c bounds 5370 >= 745 @ 0.397941
0.47/0.52 c bounds 5369 >= 745 @ 0.405388
0.47/0.53 c bounds 5369 >= 746 @ 0.416504
0.47/0.55 c bounds 5268 >= 746 @ 0.435416
0.47/0.57 c bounds 5268 >= 747 @ 0.457296
0.57/0.62 c bounds 5268 >= 748 @ 0.501859
0.86/0.90 c #Conflicts: 2000 | #Constraints: 6717
0.86/0.90 c INPROCESSING
0.86/0.90 c GARBAGE COLLECT
0.86/0.90 c #Conflicts: 3000 | #Constraints: 6318
0.86/0.90 c bounds 5168 >= 748 @ 0.768616
0.86/0.90 c bounds 5168 >= 749 @ 0.770322
0.86/0.90 c bounds 5168 >= 754 @ 0.771335
0.86/0.91 c bounds 5168 >= 791 @ 0.773774
0.86/0.91 c bounds 5168 >= 795 @ 0.774166
0.86/0.91 c bounds 5168 >= 796 @ 0.774587
0.86/0.91 c bounds 5168 >= 798 @ 0.775808
0.86/0.91 c bounds 5168 >= 799 @ 0.77649
0.86/0.91 c bounds 5168 >= 800 @ 0.778661
0.86/0.91 c bounds 5168 >= 801 @ 0.780199
0.86/0.92 c bounds 5168 >= 802 @ 0.782486
0.86/0.92 c bounds 5168 >= 803 @ 0.78448
0.86/0.92 c bounds 5168 >= 804 @ 0.786915
0.86/0.92 c bounds 5168 >= 805 @ 0.78958
0.86/0.93 c bounds 5168 >= 806 @ 0.792409
0.86/0.93 c bounds 5168 >= 807 @ 0.795463
0.86/0.93 c bounds 5168 >= 808 @ 0.797434
0.86/0.93 c bounds 5168 >= 809 @ 0.798272
0.86/0.94 c bounds 5168 >= 810 @ 0.799372
0.86/0.94 c bounds 5168 >= 811 @ 0.800965
0.86/0.94 c bounds 5168 >= 812 @ 0.802455
0.86/0.94 c bounds 5168 >= 813 @ 0.803877
0.86/0.94 c bounds 5168 >= 814 @ 0.805487
0.86/0.94 c bounds 5168 >= 815 @ 0.807452
0.86/0.98 c bounds 5168 >= 816 @ 0.845461
0.86/0.98 c bounds 5168 >= 817 @ 0.846403
0.86/0.98 c bounds 5168 >= 818 @ 0.84773
0.86/0.99 c bounds 5168 >= 819 @ 0.849022
0.86/0.99 c bounds 5168 >= 820 @ 0.850483
0.86/0.99 c bounds 5168 >= 821 @ 0.852518
0.86/0.99 c bounds 5168 >= 822 @ 0.853887
0.86/0.99 c bounds 5168 >= 823 @ 0.854282
0.86/0.99 c bounds 5168 >= 824 @ 0.855825
0.86/1.00 c bounds 5168 >= 825 @ 0.857586
0.86/1.00 c bounds 5168 >= 826 @ 0.859726
0.97/1.00 c bounds 5168 >= 827 @ 0.862447
0.97/1.00 c bounds 5168 >= 828 @ 0.864817
0.97/1.01 c bounds 5168 >= 829 @ 0.8662
0.97/1.01 c bounds 5168 >= 830 @ 0.869392
0.97/1.02 c bounds 5168 >= 831 @ 0.872795
0.97/1.02 c bounds 5168 >= 832 @ 0.876817
0.97/1.02 c bounds 5168 >= 833 @ 0.879865
0.97/1.03 c bounds 5168 >= 834 @ 0.884976
0.97/1.04 c bounds 5168 >= 835 @ 0.890224
0.97/1.04 c bounds 5168 >= 836 @ 0.899376
0.97/1.05 c bounds 5168 >= 837 @ 0.907835
0.97/1.07 c bounds 5168 >= 838 @ 0.921287
0.97/1.08 c bounds 5168 >= 839 @ 0.938678
1.07/1.11 c bounds 5168 >= 840 @ 0.963281
1.07/1.18 c bounds 5168 >= 841 @ 1.02802
1.07/1.18 c bounds 3259 >= 841 @ 1.03275
1.07/1.19 c bounds 3258 >= 841 @ 1.0385
1.16/1.20 c bounds 3257 >= 841 @ 1.04983
1.16/1.21 c #Conflicts: 4000 | #Constraints: 8149
1.16/1.21 c bounds 3256 >= 841 @ 1.06119
1.16/1.22 c bounds 3255 >= 841 @ 1.07061
1.16/1.23 c bounds 3154 >= 841 @ 1.07812
1.16/1.25 c bounds 3154 >= 842 @ 1.09322
1.26/1.36 c INPROCESSING
1.26/1.36 c GARBAGE COLLECT
1.26/1.36 c rational objective 2642
1.26/1.38 c bounds 3153 >= 842 @ 1.22307
1.26/1.39 c bounds 3053 >= 842 @ 1.2292
1.36/1.40 c bounds 3053 >= 843 @ 1.24054
1.36/1.41 c bounds 3052 >= 843 @ 1.24813
1.36/1.42 c bounds 3051 >= 843 @ 1.25587
1.36/1.43 c bounds 3051 >= 844 @ 1.25908
1.36/1.49 c bounds 3050 >= 844 @ 1.31926
1.36/1.49 c bounds 3050 >= 846 @ 1.32023
1.36/1.49 c bounds 3050 >= 847 @ 1.32096
1.36/1.49 c bounds 3050 >= 852 @ 1.32169
1.36/1.49 c bounds 3050 >= 853 @ 1.32243
1.46/1.53 c #Conflicts: 5000 | #Constraints: 7400
1.46/1.53 c bounds 3050 >= 854 @ 1.36469
1.46/1.56 c bounds 3049 >= 854 @ 1.38972
1.46/1.56 c bounds 3049 >= 855 @ 1.39072
1.46/1.57 c bounds 3049 >= 856 @ 1.39117
1.46/1.57 c bounds 3049 >= 861 @ 1.3916
1.46/1.57 c bounds 3049 >= 863 @ 1.39249
1.46/1.57 c bounds 3049 >= 864 @ 1.39363
1.46/1.57 c bounds 3049 >= 865 @ 1.39793
1.46/1.57 c bounds 3049 >= 866 @ 1.3991
1.46/1.58 c bounds 3049 >= 867 @ 1.40088
1.46/1.58 c bounds 3049 >= 868 @ 1.40232
1.46/1.58 c bounds 3049 >= 869 @ 1.40309
1.46/1.58 c bounds 3049 >= 870 @ 1.40395
1.46/1.58 c bounds 3049 >= 871 @ 1.40469
1.46/1.60 c bounds 3049 >= 872 @ 1.41896
1.56/1.60 c bounds 3049 >= 873 @ 1.41998
1.56/1.60 c bounds 3049 >= 874 @ 1.42091
1.56/1.60 c bounds 3049 >= 875 @ 1.42208
1.56/1.60 c bounds 3049 >= 876 @ 1.42355
1.56/1.60 c bounds 3049 >= 877 @ 1.42364
1.56/1.60 c bounds 3049 >= 878 @ 1.42364
1.56/1.60 c bounds 3049 >= 879 @ 1.42449
1.56/1.61 c bounds 3049 >= 880 @ 1.42475
1.56/1.61 c bounds 3049 >= 881 @ 1.4264
1.56/1.61 c bounds 3049 >= 882 @ 1.42726
1.56/1.61 c bounds 3049 >= 883 @ 1.42798
1.56/1.61 c bounds 3049 >= 884 @ 1.4304
1.56/1.62 c bounds 3049 >= 885 @ 1.43293
1.56/1.62 c bounds 3049 >= 886 @ 1.43536
1.56/1.62 c bounds 3049 >= 887 @ 1.4378
1.56/1.62 c bounds 3049 >= 888 @ 1.44055
1.56/1.63 c bounds 3049 >= 889 @ 1.44261
1.56/1.63 c bounds 3049 >= 890 @ 1.44582
1.56/1.63 c bounds 3049 >= 891 @ 1.4494
1.56/1.64 c bounds 3048 >= 891 @ 1.46034
1.56/1.66 c bounds 3048 >= 892 @ 1.4733
1.56/1.66 c bounds 3048 >= 893 @ 1.47687
1.66/1.70 c bounds 3047 >= 893 @ 1.51089
1.66/1.73 c bounds 3047 >= 894 @ 1.5389
1.66/1.73 c bounds 3047 >= 895 @ 1.54551
1.66/1.74 c bounds 3047 >= 896 @ 1.55195
1.66/1.75 c bounds 3047 >= 897 @ 1.55698
1.66/1.75 c bounds 3047 >= 898 @ 1.56327
1.66/1.76 c bounds 3047 >= 899 @ 1.56954
1.66/1.77 c bounds 3047 >= 900 @ 1.5763
1.66/1.78 c bounds 3047 >= 901 @ 1.58444
1.76/1.80 c #Conflicts: 6000 | #Constraints: 9252
1.76/1.80 c bounds 3046 >= 901 @ 1.60996
1.76/1.84 c bounds 3046 >= 902 @ 1.6434
1.76/1.84 c bounds 3046 >= 903 @ 1.65059
1.76/1.85 c bounds 3046 >= 904 @ 1.65837
1.76/1.86 c bounds 3046 >= 905 @ 1.66495
1.76/1.86 c bounds 3046 >= 906 @ 1.67114
1.76/1.87 c bounds 3046 >= 907 @ 1.67707
1.76/1.88 c bounds 3046 >= 908 @ 1.68441
1.86/1.97 c bounds 2946 >= 908 @ 1.7716
1.86/1.99 c bounds 2946 >= 909 @ 1.7878
1.97/2.04 c INPROCESSING
1.97/2.04 c GARBAGE COLLECT
1.97/2.04 c rational objective 2642
1.97/2.07 c bounds 2946 >= 910 @ 1.85953
1.97/2.07 c bounds 2946 >= 911 @ 1.86565
1.97/2.08 c bounds 2946 >= 912 @ 1.87302
1.97/2.09 c bounds 2946 >= 913 @ 1.87958
2.06/2.16 c bounds 2946 >= 914 @ 1.95406
2.06/2.17 c bounds 2946 >= 915 @ 1.9624
2.06/2.18 c bounds 2946 >= 916 @ 1.9704
2.06/2.19 c bounds 2946 >= 917 @ 1.97808
2.16/2.20 c bounds 2946 >= 918 @ 1.98773
2.16/2.21 c bounds 2946 >= 919 @ 1.9953
2.16/2.22 c bounds 2946 >= 920 @ 2.00571
2.16/2.23 c bounds 2946 >= 921 @ 2.01597
2.16/2.24 c bounds 2946 >= 922 @ 2.02703
2.16/2.25 c bounds 2946 >= 923 @ 2.03921
2.16/2.26 c bounds 2946 >= 924 @ 2.04882
2.16/2.28 c bounds 2946 >= 925 @ 2.06155
2.16/2.29 c bounds 2946 >= 926 @ 2.07416
2.26/2.30 c bounds 2946 >= 927 @ 2.08884
2.26/2.32 c bounds 2946 >= 928 @ 2.1078
2.26/2.34 c bounds 2946 >= 929 @ 2.12348
2.26/2.35 c bounds 2945 >= 929 @ 2.13587
2.26/2.36 c bounds 2945 >= 931 @ 2.13702
2.26/2.36 c #Conflicts: 7000 | #Constraints: 8558
2.26/2.36 c bounds 2945 >= 932 @ 2.14069
2.26/2.36 c bounds 2945 >= 946 @ 2.14107
2.26/2.36 c bounds 2945 >= 947 @ 2.14143
2.26/2.36 c bounds 2945 >= 948 @ 2.14177
2.26/2.36 c bounds 2945 >= 949 @ 2.14212
2.26/2.36 c bounds 2945 >= 950 @ 2.14247
2.26/2.36 c bounds 2945 >= 951 @ 2.14284
2.26/2.36 c bounds 2945 >= 952 @ 2.1432
2.26/2.36 c bounds 2945 >= 953 @ 2.14375
2.36/2.41 c bounds 2945 >= 954 @ 2.18551
2.76/2.81 c #Conflicts: 8000 | #Constraints: 9643
2.76/2.81 c #Conflicts: 9000 | #Constraints: 10644
2.76/2.81 c INPROCESSING
2.76/2.81 c GARBAGE COLLECT
2.76/2.81 c rational objective 2642
2.76/2.85 c bounds 2945 >= 955 @ 2.60972
2.76/2.86 c bounds 2945 >= 956 @ 2.61181
2.76/2.86 c bounds 2945 >= 957 @ 2.61311
2.76/2.86 c bounds 2945 >= 958 @ 2.61409
2.76/2.86 c bounds 2945 >= 959 @ 2.61517
2.76/2.86 c bounds 2945 >= 960 @ 2.6163
2.76/2.86 c bounds 2945 >= 961 @ 2.61745
2.76/2.86 c bounds 2945 >= 962 @ 2.61791
2.76/2.86 c bounds 2945 >= 963 @ 2.61816
2.76/2.86 c bounds 2945 >= 964 @ 2.61896
2.76/2.86 c bounds 2945 >= 965 @ 2.61982
2.76/2.87 c bounds 2945 >= 966 @ 2.61991
2.76/2.87 c bounds 2945 >= 967 @ 2.62116
2.76/2.87 c bounds 2945 >= 968 @ 2.622
2.76/2.87 c bounds 2945 >= 969 @ 2.62264
2.76/2.87 c bounds 2945 >= 970 @ 2.6229
2.76/2.87 c bounds 2945 >= 971 @ 2.6229
2.76/2.87 c bounds 2945 >= 972 @ 2.62384
2.76/2.87 c bounds 2945 >= 973 @ 2.62447
2.76/2.88 c bounds 2945 >= 974 @ 2.62541
2.76/2.88 c bounds 2945 >= 975 @ 2.62709
2.76/2.88 c bounds 2945 >= 976 @ 2.62868
2.76/2.88 c bounds 2945 >= 977 @ 2.62889
2.76/2.88 c bounds 2945 >= 978 @ 2.6293
2.76/2.88 c bounds 2945 >= 979 @ 2.63121
2.76/2.88 c bounds 2945 >= 980 @ 2.63228
2.76/2.89 c bounds 2945 >= 981 @ 2.63464
2.86/2.96 c bounds 2945 >= 982 @ 2.70389
2.86/2.97 c bounds 2945 >= 983 @ 2.70842
2.86/2.97 c bounds 2945 >= 984 @ 2.71133
2.86/2.97 c bounds 2945 >= 985 @ 2.7136
2.86/2.98 c bounds 2945 >= 986 @ 2.71534
2.86/2.98 c bounds 2945 >= 987 @ 2.71744
2.86/2.98 c bounds 2945 >= 988 @ 2.71952
2.86/2.99 c bounds 2945 >= 989 @ 2.72204
2.86/2.99 c bounds 2945 >= 990 @ 2.7252
2.86/2.99 c bounds 2945 >= 991 @ 2.7286
2.86/3.00 c bounds 2945 >= 992 @ 2.73146
2.86/3.00 c bounds 2945 >= 993 @ 2.73529
2.96/3.00 c bounds 2945 >= 994 @ 2.73809
2.96/3.01 c bounds 2945 >= 995 @ 2.74291
2.96/3.01 c bounds 2945 >= 996 @ 2.74899
2.96/3.02 c bounds 2945 >= 997 @ 2.75542
2.96/3.03 c bounds 2945 >= 998 @ 2.76063
2.96/3.03 c bounds 2945 >= 999 @ 2.76714
2.96/3.04 c bounds 2945 >= 1000 @ 2.77436
2.96/3.05 c bounds 2945 >= 1001 @ 2.78099
2.96/3.05 c bounds 2945 >= 1002 @ 2.78772
2.96/3.06 c bounds 2945 >= 1003 @ 2.7954
2.96/3.07 c bounds 2945 >= 1004 @ 2.80142
2.96/3.07 c bounds 2945 >= 1005 @ 2.80692
2.96/3.08 c bounds 2945 >= 1006 @ 2.81383
2.96/3.09 c bounds 2945 >= 1007 @ 2.82334
2.96/3.10 c bounds 2945 >= 1008 @ 2.8318
3.06/3.11 c bounds 2945 >= 1009 @ 2.84318
3.06/3.11 c bounds 2945 >= 1010 @ 2.84636
3.06/3.12 c bounds 2945 >= 1011 @ 2.85112
3.06/3.12 c bounds 2945 >= 1012 @ 2.85518
3.06/3.13 c bounds 2945 >= 1013 @ 2.85809
3.06/3.13 c bounds 2945 >= 1014 @ 2.86045
3.06/3.13 c bounds 2945 >= 1015 @ 2.86407
3.06/3.14 c bounds 2945 >= 1016 @ 2.86747
3.06/3.14 c bounds 2945 >= 1017 @ 2.87197
3.06/3.15 c bounds 2945 >= 1018 @ 2.87705
3.06/3.15 c bounds 2945 >= 1019 @ 2.88106
3.06/3.16 c bounds 2945 >= 1020 @ 2.8881
3.06/3.17 c bounds 2945 >= 1021 @ 2.89355
3.06/3.17 c bounds 2945 >= 1022 @ 2.89826
3.06/3.18 c bounds 2945 >= 1023 @ 2.904
3.06/3.18 c bounds 2945 >= 1024 @ 2.90997
3.06/3.19 c bounds 2945 >= 1025 @ 2.91592
3.16/3.20 c bounds 2945 >= 1026 @ 2.92289
3.16/3.21 c bounds 2945 >= 1027 @ 2.92956
3.16/3.21 c bounds 2945 >= 1028 @ 2.93671
3.16/3.22 c bounds 2945 >= 1029 @ 2.94406
3.16/3.23 c bounds 2945 >= 1030 @ 2.95137
3.16/3.24 c bounds 2945 >= 1031 @ 2.95996
3.16/3.25 c bounds 2945 >= 1032 @ 2.96968
3.16/3.26 c bounds 2945 >= 1033 @ 2.97662
3.16/3.27 c bounds 2945 >= 1034 @ 2.98456
3.16/3.28 c bounds 2945 >= 1035 @ 2.99426
3.16/3.29 c bounds 2945 >= 1036 @ 3.00314
3.16/3.30 c bounds 2945 >= 1037 @ 3.01311
3.26/3.30 c bounds 2945 >= 1038 @ 3.02266
3.26/3.31 c bounds 2945 >= 1039 @ 3.02973
3.26/3.32 c bounds 2945 >= 1040 @ 3.03763
3.26/3.33 c bounds 2945 >= 1041 @ 3.04687
3.26/3.34 c bounds 2945 >= 1042 @ 3.05718
3.26/3.35 c bounds 2945 >= 1043 @ 3.0674
3.26/3.37 c bounds 2945 >= 1044 @ 3.07887
3.26/3.37 c bounds 2945 >= 1045 @ 3.08675
3.26/3.38 c bounds 2945 >= 1046 @ 3.09175
3.26/3.39 c bounds 2945 >= 1047 @ 3.0979
3.26/3.39 c bounds 2945 >= 1048 @ 3.10566
3.35/3.40 c bounds 2945 >= 1049 @ 3.11154
3.35/3.41 c bounds 2945 >= 1050 @ 3.11943
3.35/3.42 c bounds 2945 >= 1051 @ 3.12703
3.35/3.43 c bounds 2945 >= 1052 @ 3.13688
3.35/3.44 c bounds 2945 >= 1053 @ 3.14785
3.56/3.62 c #Conflicts: 10000 | #Constraints: 11081
3.56/3.62 c bounds 2945 >= 1054 @ 3.32404
3.96/4.07 c #Conflicts: 11000 | #Constraints: 12102
3.96/4.07 c bounds 2945 >= 1055 @ 3.76122
4.06/4.11 c bounds 2844 >= 1055 @ 3.80515
4.15/4.24 c #Conflicts: 12000 | #Constraints: 13175
4.15/4.24 c INPROCESSING
4.15/4.24 c GARBAGE COLLECT
4.15/4.24 WSVECS04 Frhs2[24]: 6 0 1.00001 shouldn't be
4.15/4.24 WSVECS04 Frhs2[30]: 6 0 1.00009 shouldn't be
4.15/4.24 WSVECS04 Frhs2[35]: 6 0 1.00002 shouldn't be
4.15/4.24 WSVECS04 Frhs2[39]: 6 0 1.00006 shouldn't be
4.15/4.24 WSVECS04 Frhs2[45]: 6 0 1.00005 shouldn't be
4.15/4.24 WSVECS04 Frhs2[50]: 6 0 1.00006 shouldn't be
4.15/4.24 WSVECS04 Frhs2[52]: 6 0 1.00001 shouldn't be
4.15/4.24 WSVECS04 Frhs2[58]: 6 0 1.00002 shouldn't be
4.15/4.24 WSVECS04 Frhs2[62]: 6 0 1.00007 shouldn't be
4.15/4.24 WSVECS04 Frhs2[75]: 6 0 1.00009 shouldn't be
4.15/4.24 WSVECS04 Frhs2[77]: 6 0 1.00005 shouldn't be
4.15/4.24 WSVECS04 Frhs2[82]: 6 0 1.00004 shouldn't be
4.15/4.24 WSVECS04 Frhs2[89]: 6 0 1.00002 shouldn't be
4.15/4.24 WSVECS04 Frhs2[94]: 6 0 1.0001 shouldn't be
4.15/4.24 WSVECS04 Frhs2[99]: 6 0 1.00008 shouldn't be
4.15/4.24 WSVECS04 Frhs2[103]: 6 0 1.00009 shouldn't be
4.15/4.24 WSVECS04 Frhs2[109]: 6 0 1.00008 shouldn't be
4.15/4.24 WSVECS04 Frhs2[117]: 6 0 1.00005 shouldn't be
4.15/4.25 c rational objective 2642
4.26/4.38 c bounds 2744 >= 1055 @ 4.06589
4.96/5.05 c #Conflicts: 13000 | #Constraints: 11134
4.96/5.05 c bounds 2744 >= 1056 @ 4.72084
4.96/5.06 c bounds 2743 >= 1056 @ 4.73633
5.26/5.35 c #Conflicts: 14000 | #Constraints: 12170
5.26/5.35 c bounds 2642 >= 1056 @ 5.0164
5.35/5.40 WSVECS04 Frhs2[9]: 6 0 1.00004 shouldn't be
5.35/5.40 WSVECS04 Frhs2[22]: 6 0 1.00004 shouldn't be
5.35/5.40 WSVECS04 Frhs2[65]: 6 0 1.0001 shouldn't be
5.35/5.40 WSVECS04 Frhs2[67]: 6 0 1.00007 shouldn't be
5.35/5.40 WSVECS04 Frhs2[374]: 6 0 1.00002 shouldn't be
5.35/5.40 WSVECS04 Frhs2[465]: 6 0 1.00005 shouldn't be
5.35/5.40 WSVECS04 Frhs2[484]: 6 0 1.00002 shouldn't be
5.35/5.40 WSVECS04 Frhs2[568]: 6 0 1.00002 shouldn't be
5.35/5.40 WSVECS04 Frhs2[582]: 6 0 1.00007 shouldn't be
5.35/5.40 WSVECS04 Frhs2[607]: 6 0 1.0001 shouldn't be
5.35/5.40 WSVECS04 Frhs2[616]: 6 0 1.00002 shouldn't be
5.35/5.40 WSVECS04 Frhs2[699]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[717]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[732]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[734]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[738]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[740]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[743]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[751]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[753]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[761]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[763]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[780]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[826]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[836]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[839]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[848]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[852]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[853]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[854]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[864]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[875]: 6 -100 0 shouldn't be
5.35/5.40 WSVECS04 Frhs2[902]: 6 -100 0 shouldn't be
5.35/5.41 c bounds 2642 >= 2642 @ 5.06779
5.35/5.41 c cpu time 5.0678 s
5.35/5.41 c deterministic time 212824438 2.13e+08
5.35/5.41 c optimization time 0.072385 s
5.35/5.41 c total solve time 4.98441 s
5.35/5.41 c core-guided solve time 2.97509 s
5.35/5.41 c propagation time 2.06789 s
5.35/5.41 c conflict analysis time 2.14403 s
5.35/5.41 c propagations 3201946
5.35/5.41 c resolve steps 324259
5.35/5.41 c decisions 428783
5.35/5.41 c conflicts 14885
5.35/5.41 c restarts 61
5.35/5.41 c inprocessing phases 5
5.35/5.41 c garbage collections 5 ,( 100.00 )
5.35/5.41 c input clauses 4596 ,( 49.40 )
5.35/5.41 c input cardinalities 2371 ,( 25.48 )
5.35/5.41 c input general constraints 2337 ,( 25.12 )
5.35/5.41 c input average constraint length 54.01
5.35/5.41 c input average constraint degree 198.51
5.35/5.41 c learned clauses 6838 ,( 45.52 )
5.35/5.41 c learned cardinalities 328 ,( 2.18 )
5.35/5.41 c learned general constraints 7857 ,( 52.30 )
5.35/5.41 c learned average constraint length 251.52
5.35/5.41 c learned average constraint degree 569969472.33
5.35/5.41 c watched CF 32, 64, 128, Arb: 902 , 0 , 0 , 0
5.35/5.41 c counting CF 32, 64, 128, Arb: 9293 , 0 , 0 , 0
5.35/5.41 c watched constraints 902 ,( 8.85 )
5.35/5.41 c counting constraints 9292 ,( 91.15 )
5.35/5.41 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1512272 , 1487340 , 10228770 ,( 178337 , 10050433 )
5.35/5.41 c gcd simplifications 446
5.35/5.41 c detected cardinalities 18
5.35/5.41 c weakened non-implied lits 1425287
5.35/5.41 c weakened non-implying lits 3426
5.35/5.41 c original variables 1741
5.35/5.41 c clausal propagations 961437
5.35/5.41 c cardinality propagations 495433
5.35/5.41 c watched propagations 3857
5.35/5.41 c counting propagations 1398835
5.35/5.41 c watch lookups 81201320
5.35/5.41 c watch backjump lookups 0
5.35/5.41 c watch checks 19140630
5.35/5.41 c propagation checks 89488627
5.35/5.41 c constraint additions 15690929
5.35/5.41 c trail pops 3645585
5.35/5.41 c formula constraints 3231
5.35/5.41 c learned constraints 14948
5.35/5.41 c bound constraints 527
5.35/5.41 c core-guided constraints 5546
5.35/5.41 c encountered formula constraints 63295
5.35/5.41 c encountered learned constraints 53490
5.35/5.41 c encountered bound constraints 53
5.35/5.41 c encountered core-guided constraints 220852
5.35/5.41 c LP total time 0.856383 s
5.35/5.41 c LP solve time 0.74 s
5.35/5.41 c LP constraints added 3282
5.35/5.41 c LP constraints removed 33
5.35/5.41 c LP pivots internal 14904
5.35/5.41 c LP pivots root 11713
5.35/5.41 c LP calls 39
5.35/5.41 c LP optimalities 16
5.35/5.41 c LP no pivot count 0
5.35/5.41 c LP infeasibilities 21
5.35/5.41 c LP valid Farkas constraints 20
5.35/5.41 c LP learned Farkas constraints 20
5.35/5.41 c LP basis resets 0
5.35/5.41 c LP cycling count 0
5.35/5.41 c LP singular count 0
5.35/5.41 c LP no primal count 0
5.35/5.41 c LP no farkas count 0
5.35/5.41 c LP other issue count 0
5.35/5.41 c LP Gomory cuts 35
5.35/5.41 c LP learned cuts 16
5.35/5.41 c LP deleted cuts 33
5.35/5.41 c LP encountered Gomory constraints 122
5.35/5.41 c LP encountered Farkas constraints 1114
5.35/5.41 c LP encountered learned Farkas constraints 197
5.35/5.41 c CG auxiliary variables introduced 2008
5.35/5.41 c CG solutions found 48
5.35/5.41 c CG cores constructed 478
5.35/5.41 c CG core cardinality constraints returned 14
5.35/5.41 c CG unit cores 0
5.35/5.41 c CG single cores 462
5.35/5.41 c CG blocks removed during cardinality reduction 0
5.35/5.41 c CG first core best 0
5.35/5.41 c CG decision core best 2
5.35/5.41 c CG core reduction tie 14
5.35/5.41 c CG core degree average 1.18
5.35/5.41 c CG core slack average 12.80
5.35/5.41 c CG core upper bound improvements 5
5.35/5.41 c STR number of successful calls 0
5.35/5.41 c STR number of unsuccessful calls 0
5.35/5.41 c STR number of inconclusive calls 0
5.35/5.41 c STR number of successful attempts 0
5.35/5.41 c STR number of unsuccessful attempts 0
5.35/5.41 c STR number of inconclusive attempts 0
5.35/5.41 c STR average degree increase per successful call inf
5.35/5.41 c STR average degree increase per successful attempt inf
5.35/5.41 c STR total number of conflicts for successful attempts 0
5.35/5.41 c STR total number of conflicts for unsuccessful attempts 0
5.35/5.41 c STR total number of conflicts for inconclusive attempts 0
5.35/5.41 c STR average number of conflicts per successful attempt inf
5.35/5.41 c STR average number of conflicts per unsuccessful attempt inf
5.35/5.41 c STR average number of conflicts per inconclusive attempt inf
5.35/5.41 c AVG.sumWPerc 72.67
5.35/5.41 c bigint constraints 0
5.35/5.41 o 2642
5.35/5.41 s OPTIMUM FOUND
5.35/5.41 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 x60 x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 x72 x73 x74 x75 x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 x89 -x90 x91 -x92 -x93 x94 -x95 -x96 x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 x118 -x119 x120 x121 x122 -x123 x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 x134 x135 x136 -x137 x138 x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 -x149 x150 x151 -x152 x153 x154 -x155 -x156 -x157 x158 x159 -x160 x161 -x162 -x163 x164 x165 -x166 x167 -x168 x169 -x170 x171 x172 -x173 -x174 -x175 x176 -x177 x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 x214 -x215 -x216 -x217 -x218 x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 x227 x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 x256 x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 x317 x318 x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 x333 x334 x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 x364 x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 x377 x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 x393 -x394 x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 x407 x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 x422 -x423 -x424 -x425 x426 x427 -x428 x429 -x430 -x431 x432 x433 x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 x510 x511 -x512 x513 x514 -x515 -x516 -x517 -x518 x519 -x520 x521 x522 x523 x524 x525 -x526 x527 x528 -x529 x530 x531 x532 x533 x534 x535 x536 -x537 x538 -x539 -x540 x541 -x542 -x543 x544 x545 -x546 x547 -x548 x549 x550 x551 x552 -x553 -x554 x555 x556 x557 -x558 x559 x560 -x561 x562 x563 -x564 -x565 -x566 x567 -x568 x569 -x570 -x571 -x572 x573 x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 x673 x674 -x675 x676 x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 x713 -x714 x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 x727 x728 x729 -x730 x731 x732 x733 -x734 -x735 -x736 -x737 x738 x739 x740 -x741 x742 x743 x744 x745 -x746 -x747 -x748 x749 -x750 x751 -x752 x753 x754 -x755 x756 -x757 -x758 -x759 x760 x761 -x762 x763 x764 x765 -x766 x767 -x768 x769 -x770 x771 x772 x773 x774 x775 x776 -x777 -x778 -x779 x780 -x781 -x782 x783 -x784 x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 x834 -x835 x836 -x837 -x838 x839 x840 -x841 -x842 x843 -x844 -x845 x846 -x847 x848 -x849 x850 -x851 x852 x853 x854 -x855 -x856 -x857 x858 -x859 x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 x868 x869 x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 x884 -x885 x886 -x887 -x888 x889 -x890 x891 -x892 x893 -x894 -x895 x896 -x897 -x898 -x899 x900 -x901 x902 -x903 x904 -x905 -x906 -x907
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 (60031 MiB free)
memory of node 1: 64507 MiB (63859 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484126-1751283726/watcher-4484126-1751283726 -o /tmp/evaluation-result-4484126-1751283726/solver-4484126-1751283726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751280113-42673 --watchdog 3760 run-opt-ls.sh HOME/instance-4484126-1751283726.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=43162, runsolver pid=43159
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.09 4.14 4.12 5/269 43165
/proc/meminfo: memFree=126860192/131250000 swapFree=33010684/33010684
[pid=43162] ppid=43159 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43162/stat : 43162 (run-opt-ls.sh) S 43159 43162 42660 0 -1 4194304 239 735 0 0 0 0 0 0 20 0 1 0 44050472 4292608 736 18446744073709551615 93904172908544 93904173803077 140721503397232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93904174042128 93904174089872 93904206057472 140721503402343 140721503402469 140721503402469 140721503408071 0
/proc/43162/statm: 1048 736 672 219 0 110 0
[pid=43165] ppid=43162 vsize=62852 memory=19080 CPUtime=0.07 cores=5,7
/proc/43165/stat : 43165 (roundingsat) R 43162 43162 42660 0 -1 4194304 2654 0 0 0 6 1 0 0 20 0 1 0 44050474 64360448 4770 18446744073709551615 4227072 8923433 140735462961728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14974976 140735462963526 140735462963752 140735462963752 140735462969322 0
/proc/43165/statm: 15713 4770 2400 1147 0 3140 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67044 KiB
Current children cumulated memory: 22024 KiB
[startup+0.205607 s]*
/proc/loadavg: 4.09 4.14 4.12 6/269 43165
/proc/meminfo: memFree=126852128/131250000 swapFree=33010684/33010684
[pid=43162] ppid=43159 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43162/stat : 43162 (run-opt-ls.sh) S 43159 43162 42660 0 -1 4194304 239 735 0 0 0 0 0 0 20 0 1 0 44050472 4292608 736 18446744073709551615 93904172908544 93904173803077 140721503397232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93904174042128 93904174089872 93904206057472 140721503402343 140721503402469 140721503402469 140721503408071 0
/proc/43162/statm: 1048 736 672 219 0 110 0
[pid=43165] ppid=43162 vsize=66288 memory=24704 CPUtime=0.17 cores=5,7
/proc/43165/stat : 43165 (roundingsat) R 43162 43162 42660 0 -1 4194304 3504 0 0 0 13 4 0 0 20 0 1 0 44050474 67878912 6176 18446744073709551615 4227072 8923433 140735462961728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14974976 140735462963526 140735462963752 140735462963752 140735462969322 0
/proc/43165/statm: 16572 6176 2432 1147 0 3999 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 70480 KiB
Current children cumulated memory: 27648 KiB
[startup+0.305542 s]*
/proc/loadavg: 4.09 4.14 4.12 5/269 43165
/proc/meminfo: memFree=126848032/131250000 swapFree=33010684/33010684
[pid=43162] ppid=43159 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43162/stat : 43162 (run-opt-ls.sh) S 43159 43162 42660 0 -1 4194304 239 735 0 0 0 0 0 0 20 0 1 0 44050472 4292608 736 18446744073709551615 93904172908544 93904173803077 140721503397232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93904174042128 93904174089872 93904206057472 140721503402343 140721503402469 140721503402469 140721503408071 0
/proc/43162/statm: 1048 736 672 219 0 110 0
[pid=43165] ppid=43162 vsize=70292 memory=28544 CPUtime=0.27 cores=5,7
/proc/43165/stat : 43165 (roundingsat) R 43162 43162 42660 0 -1 4194304 4472 0 0 0 21 6 0 0 20 0 1 0 44050474 71979008 7136 18446744073709551615 4227072 8923433 140735462961728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14974976 140735462963526 140735462963752 140735462963752 140735462969322 0
/proc/43165/statm: 17573 7136 2432 1147 0 5000 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 74484 KiB
Current children cumulated memory: 31488 KiB
[startup+0.700202 s]
/proc/loadavg: 4.09 4.14 4.12 5/269 43165
/proc/meminfo: memFree=126818484/131250000 swapFree=33010684/33010684
[pid=43162] ppid=43159 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43162/stat : 43162 (run-opt-ls.sh) S 43159 43162 42660 0 -1 4194304 239 735 0 0 0 0 0 0 20 0 1 0 44050472 4292608 736 18446744073709551615 93904172908544 93904173803077 140721503397232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93904174042128 93904174089872 93904206057472 140721503402343 140721503402469 140721503402469 140721503408071 0
/proc/43162/statm: 1048 736 672 219 0 110 0
[pid=43165] ppid=43162 vsize=94180 memory=50688 CPUtime=0.66 cores=5,7
/proc/43165/stat : 43165 (roundingsat) R 43162 43162 42660 0 -1 4194304 10026 0 0 0 57 9 0 0 20 0 1 0 44050474 96440320 12672 18446744073709551615 4227072 8923433 140735462961728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14974976 140735462963526 140735462963752 140735462963752 140735462969322 0
/proc/43165/statm: 23545 12672 2432 1147 0 10972 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 98372 KiB
Current children cumulated memory: 53632 KiB
[startup+1.5002 s]
/proc/loadavg: 4.09 4.14 4.12 5/269 43165
/proc/meminfo: memFree=126778036/131250000 swapFree=33010684/33010684
[pid=43162] ppid=43159 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43162/stat : 43162 (run-opt-ls.sh) S 43159 43162 42660 0 -1 4194304 239 735 0 0 0 0 0 0 20 0 1 0 44050472 4292608 736 18446744073709551615 93904172908544 93904173803077 140721503397232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93904174042128 93904174089872 93904206057472 140721503402343 140721503402469 140721503402469 140721503408071 0
/proc/43162/statm: 1048 736 672 219 0 110 0
[pid=43165] ppid=43162 vsize=101744 memory=54912 CPUtime=1.46 cores=5,7
/proc/43165/stat : 43165 (roundingsat) R 43162 43162 42660 0 -1 4194304 11065 0 0 0 132 14 0 0 20 0 1 0 44050474 104185856 13728 18446744073709551615 4227072 8923433 140735462961728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14974976 140735462963526 140735462963752 140735462963752 140735462969322 0
/proc/43165/statm: 25436 13728 2432 1147 0 12863 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 105936 KiB
Current children cumulated memory: 57856 KiB
[startup+3.10547 s]
/proc/loadavg: 4.09 4.14 4.12 5/269 43165
/proc/meminfo: memFree=126728456/131250000 swapFree=33010684/33010684
[pid=43162] ppid=43159 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43162/stat : 43162 (run-opt-ls.sh) S 43159 43162 42660 0 -1 4194304 239 735 0 0 0 0 0 0 20 0 1 0 44050472 4292608 736 18446744073709551615 93904172908544 93904173803077 140721503397232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93904174042128 93904174089872 93904206057472 140721503402343 140721503402469 140721503402469 140721503408071 0
/proc/43162/statm: 1048 736 672 219 0 110 0
[pid=43165] ppid=43162 vsize=103568 memory=56448 CPUtime=3.06 cores=5,7
/proc/43165/stat : 43165 (roundingsat) R 43162 43162 42660 0 -1 4194304 11460 0 0 0 283 23 0 0 20 0 1 0 44050474 106053632 14112 18446744073709551615 4227072 8923433 140735462961728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14974976 140735462963526 140735462963752 140735462963752 140735462969322 0
/proc/43165/statm: 25892 14112 2432 1147 0 13319 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 107760 KiB
Current children cumulated memory: 59392 KiB
[startup+5.41902 s]
# the end of solver process 43162 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=5.07751 s, system=0.314 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20024 s]
/proc/loadavg: 4.09 4.14 4.12 5/269 43165
/proc/meminfo: memFree=126728456/131250000 swapFree=33010684/33010684
[pid=43162] ppid=43159 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43162/stat : 43162 (run-opt-ls.sh) S 43159 43162 42660 0 -1 4194304 239 735 0 0 0 0 0 0 20 0 1 0 44050472 4292608 736 18446744073709551615 93904172908544 93904173803077 140721503397232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93904174042128 93904174089872 93904206057472 140721503402343 140721503402469 140721503402469 140721503408071 0
/proc/43162/statm: 1048 736 672 219 0 110 0
[pid=43165] ppid=43162 vsize=104084 memory=56704 CPUtime=3.16 cores=5,7
/proc/43165/stat : 43165 (roundingsat) R 43162 43162 42660 0 -1 4194304 11532 0 0 0 292 24 0 0 20 0 1 0 44050474 106582016 14176 18446744073709551615 4227072 8923433 140735462961728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14974976 140735462963526 140735462963752 140735462963752 140735462969322 0
/proc/43165/statm: 26021 14176 2432 1147 0 13448 0
Current children cumulated CPU time: 3.16 s
Current children cumulated vsize: 108276 KiB
Current children cumulated memory: 59648 KiB
[startup+4.80016 s]
/proc/loadavg: 4.08 4.13 4.12 5/269 43165
/proc/meminfo: memFree=126710564/131250000 swapFree=33010684/33010684
[pid=43162] ppid=43159 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43162/stat : 43162 (run-opt-ls.sh) S 43159 43162 42660 0 -1 4194304 239 735 0 0 0 0 0 0 20 0 1 0 44050472 4292608 736 18446744073709551615 93904172908544 93904173803077 140721503397232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93904174042128 93904174089872 93904206057472 140721503402343 140721503402469 140721503402469 140721503408071 0
/proc/43162/statm: 1048 736 672 219 0 110 0
[pid=43165] ppid=43162 vsize=104696 memory=57344 CPUtime=4.75 cores=5,7
/proc/43165/stat : 43165 (roundingsat) R 43162 43162 42660 0 -1 4194304 11680 0 0 0 447 28 0 0 20 0 1 0 44050474 107208704 14336 18446744073709551615 4227072 8923433 140735462961728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14974976 140735462963526 140735462963752 140735462963752 140735462969322 0
/proc/43165/statm: 26174 14336 2432 1147 0 13601 0
Current children cumulated CPU time: 4.75 s
Current children cumulated vsize: 108888 KiB
Current children cumulated memory: 60288 KiB
[startup+5.20019 s]
/proc/loadavg: 4.08 4.13 4.12 5/269 43165
/proc/meminfo: memFree=126650648/131250000 swapFree=33010684/33010684
[pid=43162] ppid=43159 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43162/stat : 43162 (run-opt-ls.sh) S 43159 43162 42660 0 -1 4194304 239 735 0 0 0 0 0 0 20 0 1 0 44050472 4292608 736 18446744073709551615 93904172908544 93904173803077 140721503397232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93904174042128 93904174089872 93904206057472 140721503402343 140721503402469 140721503402469 140721503408071 0
/proc/43162/statm: 1048 736 672 219 0 110 0
[pid=43165] ppid=43162 vsize=104696 memory=57344 CPUtime=5.15 cores=5,7
/proc/43165/stat : 43165 (roundingsat) R 43162 43162 42660 0 -1 4194304 11682 0 0 0 486 29 0 0 20 0 1 0 44050474 107208704 14336 18446744073709551615 4227072 8923433 140735462961728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14974976 140735462963526 140735462963752 140735462963752 140735462969322 0
/proc/43165/statm: 26174 14336 2432 1147 0 13601 0
Current children cumulated CPU time: 5.15 s
Current children cumulated vsize: 108888 KiB
Current children cumulated memory: 60288 KiB
[startup+5.40018 s]
/proc/loadavg: 4.08 4.13 4.12 5/269 43165
/proc/meminfo: memFree=126650648/131250000 swapFree=33010684/33010684
[pid=43162] ppid=43159 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43162/stat : 43162 (run-opt-ls.sh) S 43159 43162 42660 0 -1 4194304 239 735 0 0 0 0 0 0 20 0 1 0 44050472 4292608 736 18446744073709551615 93904172908544 93904173803077 140721503397232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93904174042128 93904174089872 93904206057472 140721503402343 140721503402469 140721503402469 140721503408071 0
/proc/43162/statm: 1048 736 672 219 0 110 0
[pid=43165] ppid=43162 vsize=104856 memory=57600 CPUtime=5.35 cores=5,7
/proc/43165/stat : 43165 (roundingsat) R 43162 43162 42660 0 -1 4194304 11761 0 0 0 505 30 0 0 20 0 1 0 44050474 107372544 14400 18446744073709551615 4227072 8923433 140735462961728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14974976 140735462963526 140735462963752 140735462963752 140735462969322 0
/proc/43165/statm: 26214 14400 2432 1147 0 13641 0
Current children cumulated CPU time: 5.35 s
Current children cumulated vsize: 109048 KiB
Current children cumulated memory: 60544 KiB
Child status: 0
Real time (s): 5.41905
CPU time (s): 5.39151
CPU user time (s): 5.07751
CPU system time (s): 0.314
CPU usage (%): 99.4918
Max. virtual memory (cumulated for all children) (KiB): 109048
Max. memory (cumulated for all children) (KiB): 60544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.07751
system time used= 0.314
maximum resident set size= 57728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 35
# summary of solver processes directly reported to runsolver:
# pid: 43162
# total CPU time (s): 5.39151
# total CPU user time (s): 5.07751
# total CPU system time (s): 0.314
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019149 second user time and 0.06174 second system time
The end
Begin job on nodeC018 at 2025-06-30 13:42:06
IDJOB=4484126
IDBENCH=146650
IDSOLVER=3355
FILE ID=nodeC018/4484126-1751283726
RUNJOBID= nodeC018-1751280113-42673
SLURM_JOB_ID= 9594225
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484126-1751283726/watcher-4484126-1751283726 -o /tmp/evaluation-result-4484126-1751283726/solver-4484126-1751283726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751280113-42673 --watchdog 3760 run-opt-ls.sh HOME/instance-4484126-1751283726.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1
RANDOM SEED=2084240328
nodeC018 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 : 3599.827
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.66
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.842
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.66
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 : 3600.011
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.66
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 : 3700.000
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.66
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 : 3599.445
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.66
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.836
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.66
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 : 3497.174
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.66
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 : 3522.980
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126867924 kB
MemAvailable: 127864704 kB
Buffers: 3280 kB
Cached: 1798432 kB
SwapCached: 0 kB
Active: 2221332 kB
Inactive: 1541244 kB
Active(anon): 1978960 kB
Inactive(anon): 0 kB
Active(file): 242372 kB
Inactive(file): 1541244 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25056 kB
Writeback: 0 kB
AnonPages: 1962984 kB
Mapped: 116708 kB
Shmem: 18076 kB
KReclaimable: 104408 kB
Slab: 191512 kB
SReclaimable: 104408 kB
SUnreclaim: 87104 kB
KernelStack: 4352 kB
PageTables: 6916 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2516904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1343488 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC018 at 2025-06-30 13:42:12