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-4532246-1752600056.opb'
0.00/0.01 c read 0.23MB (3.50ms)
0.00/0.01 c [cnf: #variables 6424 #clauses 181 #duplicates 0 #arr 25302]
0.00/0.01 c output proof to 'PROOFDIR/proof-4532246-1752600056'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 0] (7.03ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (1.27ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 25875 #edges 89144]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 1.00*10^0 #generators 0] (1.60ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 0 #add_vars 0]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4532246-1752600056.opb.pre'
0.00/0.03 c wrote 0.23MB (0.66ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 7.03ms 37.49% approx_orbits
0.00/0.03 c 4.49ms 23.93% other
0.00/0.03 c 3.50ms 18.65% parse
0.00/0.03 c 1.60ms 8.54% detect_generic
0.00/0.03 c 1.27ms 6.79% detect_special
0.00/0.03 c 0.66ms 3.54% output
0.00/0.03 c 0.20ms 1.07% finalize_order
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 18.75ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 0f876b3
0.00/0.05 c #variables 6424 #constraints 180
0.00/0.05 c objective is ce32
0.27/0.40 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.27/0.40 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.27/0.40 c bounds -1690 >= -684049 @ 0.359485
0.37/0.42 c rational objective -7246
0.37/0.48 c bounds -1824 >= -684049 @ 0.425698
0.37/0.48 c bounds -1824 >= -683789 @ 0.428211
0.37/0.48 c bounds -1949 >= -683789 @ 0.430603
0.37/0.49 c bounds -1991 >= -683789 @ 0.436138
0.37/0.50 c bounds -2021 >= -683789 @ 0.439384
0.37/0.50 c bounds -2021 >= -683282 @ 0.442498
0.37/0.50 c bounds -2021 >= -682788 @ 0.444402
0.47/0.51 c bounds -2076 >= -682788 @ 0.447211
0.47/0.51 c bounds -2076 >= -682541 @ 0.449141
0.47/0.51 c bounds -2360 >= -682541 @ 0.450884
0.47/0.52 c bounds -2360 >= -682308 @ 0.451834
0.47/0.52 c bounds -2360 >= -681614 @ 0.455651
0.47/0.52 c bounds -2360 >= -680915 @ 0.459557
0.47/0.53 c bounds -2360 >= -679291 @ 0.464698
0.47/0.54 c bounds -2360 >= -677889 @ 0.470725
0.47/0.54 c bounds -2465 >= -677889 @ 0.473003
0.47/0.54 c bounds -2465 >= -677660 @ 0.473879
0.47/0.54 c bounds -2465 >= -677193 @ 0.476695
0.47/0.55 c bounds -2465 >= -676967 @ 0.47745
0.47/0.55 c bounds -2465 >= -676272 @ 0.481296
0.47/0.55 c bounds -2465 >= -675592 @ 0.484246
0.47/0.56 c bounds -2465 >= -675365 @ 0.48616
0.47/0.56 c bounds -2465 >= -675136 @ 0.488377
0.47/0.56 c bounds -2561 >= -675136 @ 0.490327
0.47/0.56 c bounds -2561 >= -674910 @ 0.492485
0.47/0.59 c bounds -3065 >= -674910 @ 0.51622
0.47/0.59 c bounds -3175 >= -674910 @ 0.517093
0.47/0.59 c bounds -3175 >= -674462 @ 0.519328
0.56/0.60 c bounds -3176 >= -674462 @ 0.525207
0.56/0.61 c bounds -3196 >= -674462 @ 0.534708
0.56/0.62 c bounds -3196 >= -674020 @ 0.537929
0.56/0.62 c bounds -3196 >= -673798 @ 0.539764
0.56/0.62 c bounds -3196 >= -673576 @ 0.541834
0.56/0.62 c bounds -3196 >= -673135 @ 0.545299
0.56/0.62 c bounds -3196 >= -672915 @ 0.547232
0.56/0.63 c bounds -3196 >= -672695 @ 0.550416
0.56/0.63 c bounds -3236 >= -672695 @ 0.553702
0.56/0.64 c bounds -3314 >= -672695 @ 0.555849
0.56/0.64 c bounds -3314 >= -672476 @ 0.558348
0.56/0.64 c bounds -3314 >= -672257 @ 0.560268
0.56/0.64 c bounds -3314 >= -672038 @ 0.562092
0.56/0.65 c bounds -3350 >= -672038 @ 0.564679
0.56/0.65 c bounds -3509 >= -672038 @ 0.566494
0.56/0.66 c bounds -3532 >= -672038 @ 0.570197
0.56/0.67 c bounds -3556 >= -672038 @ 0.574642
0.56/0.67 c bounds -3556 >= -671820 @ 0.576568
0.56/0.67 c bounds -3556 >= -671602 @ 0.578358
0.56/0.67 c bounds -3556 >= -671166 @ 0.580687
0.56/0.68 c bounds -3556 >= -670948 @ 0.583933
0.56/0.68 c bounds -3556 >= -670730 @ 0.587272
0.56/0.69 c bounds -3625 >= -670730 @ 0.59704
0.66/0.70 c bounds -3626 >= -670730 @ 0.59911
0.66/0.71 c bounds -3672 >= -670730 @ 0.60394
0.66/0.72 c bounds -3749 >= -670730 @ 0.614442
0.66/0.72 c bounds -3749 >= -670513 @ 0.616438
0.66/0.73 c bounds -3749 >= -670296 @ 0.618204
0.66/0.73 c bounds -3814 >= -670296 @ 0.62275
0.66/0.73 c bounds -3814 >= -670080 @ 0.624915
0.66/0.73 c bounds -3814 >= -669864 @ 0.62723
0.66/0.76 c bounds -3830 >= -669864 @ 0.647758
0.66/0.76 c bounds -3832 >= -669864 @ 0.650886
0.66/0.77 c bounds -3834 >= -669864 @ 0.654885
0.66/0.78 c bounds -3879 >= -669864 @ 0.668051
0.66/0.78 c bounds -3879 >= -669436 @ 0.670218
0.66/0.79 c bounds -3879 >= -669221 @ 0.67235
0.66/0.79 c bounds -3879 >= -669007 @ 0.674302
0.76/0.80 c bounds -3908 >= -669007 @ 0.685186
0.76/0.81 c bounds -3909 >= -669007 @ 0.689088
0.76/0.81 c bounds -3909 >= -668582 @ 0.692899
0.76/0.82 c bounds -3909 >= -668157 @ 0.695899
0.76/0.82 c bounds -3909 >= -667735 @ 0.698152
0.76/0.82 c bounds -3909 >= -667523 @ 0.700142
0.76/0.82 c bounds -3909 >= -667101 @ 0.702537
0.76/0.83 c bounds -3909 >= -666890 @ 0.706001
0.76/0.83 c bounds -3909 >= -666679 @ 0.70883
0.76/0.84 c bounds -3929 >= -666679 @ 0.711837
0.76/0.84 c bounds -3979 >= -666679 @ 0.716137
0.76/0.85 c bounds -3981 >= -666679 @ 0.722022
0.76/0.85 c bounds -3981 >= -666259 @ 0.724716
0.76/0.86 c bounds -3981 >= -666049 @ 0.730353
0.76/0.86 c bounds -4106 >= -666049 @ 0.734842
0.76/0.87 c bounds -4144 >= -666049 @ 0.738307
0.76/0.87 c bounds -4144 >= -665840 @ 0.740276
0.76/0.87 c bounds -4144 >= -665631 @ 0.742891
0.76/0.88 c bounds -4144 >= -665422 @ 0.744771
0.76/0.88 c bounds -4144 >= -665213 @ 0.746743
0.76/0.88 c bounds -4144 >= -665004 @ 0.748638
0.76/0.88 c bounds -4144 >= -664795 @ 0.750794
0.86/0.90 c bounds -4202 >= -664795 @ 0.762601
0.86/0.92 c bounds -4242 >= -664795 @ 0.785516
0.86/0.93 c bounds -4243 >= -664795 @ 0.788089
0.86/0.93 c bounds -4245 >= -664795 @ 0.79148
0.86/0.94 c bounds -4246 >= -664795 @ 0.793872
0.86/0.94 c bounds -4246 >= -664587 @ 0.796009
0.86/0.94 c bounds -4246 >= -664379 @ 0.798543
0.86/0.95 c bounds -4328 >= -664379 @ 0.80199
0.86/0.95 c bounds -4330 >= -664379 @ 0.804406
0.86/0.96 c bounds -4332 >= -664379 @ 0.805792
0.86/0.96 c bounds -4332 >= -664172 @ 0.807945
0.86/0.96 c bounds -4332 >= -663965 @ 0.809998
0.86/0.96 c bounds -4332 >= -663758 @ 0.811937
0.86/0.97 c bounds -4362 >= -663758 @ 0.817413
0.86/0.98 c bounds -4362 >= -663551 @ 0.819347
0.86/0.98 c bounds -4362 >= -663344 @ 0.821591
0.96/1.03 c bounds -4365 >= -663344 @ 0.876931
0.96/1.07 c bounds -4382 >= -663344 @ 0.915009
0.96/1.08 c bounds -4553 >= -663344 @ 0.92032
0.96/1.09 c bounds -4585 >= -663344 @ 0.923336
0.96/1.09 c bounds -4585 >= -663138 @ 0.924726
0.96/1.09 c bounds -4585 >= -662932 @ 0.92681
1.06/1.13 c bounds -4659 >= -662932 @ 0.959445
1.06/1.13 c bounds -4659 >= -662726 @ 0.961538
1.06/1.14 c bounds -4669 >= -662726 @ 0.965954
1.06/1.14 c bounds -4669 >= -662521 @ 0.968176
1.06/1.14 c bounds -4669 >= -662316 @ 0.970087
1.06/1.14 c bounds -4669 >= -661906 @ 0.972214
1.06/1.18 c bounds -4694 >= -661906 @ 1.00178
1.06/1.18 c bounds -4730 >= -661906 @ 1.00811
1.06/1.19 c bounds -4767 >= -661906 @ 1.01435
1.06/1.19 c bounds -4767 >= -661498 @ 1.01638
1.06/1.19 c bounds -4767 >= -661090 @ 1.01825
1.16/1.20 c bounds -4767 >= -660886 @ 1.02093
1.16/1.20 c bounds -4767 >= -660682 @ 1.02528
1.16/1.23 c bounds -4771 >= -660682 @ 1.04587
1.16/1.23 c bounds -4773 >= -660682 @ 1.04825
1.16/1.25 c bounds -4828 >= -660682 @ 1.06488
1.16/1.25 c bounds -4828 >= -660479 @ 1.067
1.16/1.26 c bounds -4828 >= -660276 @ 1.06888
1.16/1.26 c bounds -4828 >= -660073 @ 1.07092
1.16/1.26 c bounds -4828 >= -659870 @ 1.07483
1.16/1.28 c bounds -4850 >= -659870 @ 1.08827
1.16/1.29 c bounds -4865 >= -659870 @ 1.09701
1.16/1.29 c bounds -4865 >= -659668 @ 1.09921
1.16/1.29 c bounds -4865 >= -659466 @ 1.10115
1.26/1.30 c bounds -4865 >= -659264 @ 1.10309
1.26/1.30 c bounds -4865 >= -659062 @ 1.10504
1.26/1.30 c bounds -4865 >= -658860 @ 1.10711
1.26/1.31 c bounds -4890 >= -658860 @ 1.11197
1.26/1.32 c bounds -5017 >= -658860 @ 1.11894
1.26/1.33 c bounds -5189 >= -658860 @ 1.12448
1.26/1.35 c bounds -5191 >= -658860 @ 1.14349
1.26/1.35 c bounds -5191 >= -658458 @ 1.14562
1.26/1.35 c bounds -5191 >= -657855 @ 1.14752
1.26/1.35 c bounds -5191 >= -657654 @ 1.14947
1.26/1.35 c bounds -5191 >= -657453 @ 1.15201
1.26/1.36 c bounds -5191 >= -657252 @ 1.15426
1.26/1.36 c bounds -5191 >= -657051 @ 1.15697
1.46/1.50 c bounds -5221 >= -657051 @ 1.29422
1.46/1.52 c bounds -5243 >= -657051 @ 1.30828
1.66/1.75 c bounds -5252 >= -657051 @ 1.53468
1.66/1.75 c bounds -5252 >= -656451 @ 1.53729
1.66/1.75 c bounds -5252 >= -655651 @ 1.5398
1.66/1.78 c bounds -5252 >= -655451 @ 1.55894
1.75/1.82 c bounds -5264 >= -655451 @ 1.59862
1.75/1.82 c bounds -5264 >= -655252 @ 1.60067
1.75/1.82 c bounds -5264 >= -654655 @ 1.60251
1.75/1.83 c bounds -5264 >= -654456 @ 1.60435
1.75/1.83 c bounds -5264 >= -654257 @ 1.60696
1.75/1.87 c bounds -5326 >= -654257 @ 1.64238
1.75/1.87 c bounds -5326 >= -654059 @ 1.64441
1.75/1.87 c bounds -5326 >= -653663 @ 1.6464
1.75/1.87 c bounds -5326 >= -653465 @ 1.64829
1.75/1.88 c bounds -5326 >= -653267 @ 1.65099
1.75/1.88 c bounds -5326 >= -653069 @ 1.6535
1.75/1.88 c bounds -5326 >= -652871 @ 1.65612
2.16/2.28 c bounds -5380 >= -652871 @ 2.04914
2.16/2.29 c bounds -5395 >= -652871 @ 2.05285
2.26/2.39 c bounds -5418 >= -652871 @ 2.15415
2.35/2.41 c bounds -5440 >= -652871 @ 2.17229
2.35/2.43 c bounds -5442 >= -652871 @ 2.18381
2.35/2.47 c bounds -5464 >= -652871 @ 2.22059
2.35/2.48 c bounds -5493 >= -652871 @ 2.22672
2.35/2.48 c bounds -5513 >= -652871 @ 2.23042
2.35/2.49 c bounds -5514 >= -652871 @ 2.23578
2.45/2.51 c bounds -5636 >= -652871 @ 2.25163
2.45/2.53 c bounds -5712 >= -652871 @ 2.26129
2.45/2.55 c bounds -5725 >= -652871 @ 2.27831
2.45/2.56 c bounds -5786 >= -652871 @ 2.28757
2.45/2.57 c bounds -5825 >= -652871 @ 2.29525
2.55/2.62 c bounds -5846 >= -652871 @ 2.33847
2.66/2.71 c bounds -5869 >= -652871 @ 2.42614
2.66/2.71 c bounds -5869 >= -652674 @ 2.42828
2.66/2.72 c bounds -5869 >= -652477 @ 2.43026
2.66/2.72 c bounds -5869 >= -652280 @ 2.43241
2.66/2.72 c bounds -5869 >= -652083 @ 2.4347
2.66/2.73 c bounds -5869 >= -651886 @ 2.43906
3.35/3.43 c #Conflicts: 1000 | #Constraints: 1662
3.35/3.43 c bounds -5883 >= -651886 @ 3.12645
3.66/3.79 c bounds -5887 >= -651886 @ 3.47442
3.75/3.83 c bounds -5949 >= -651886 @ 3.51535
3.75/3.85 c bounds -6173 >= -651886 @ 3.52773
3.75/3.87 c bounds -6180 >= -651886 @ 3.541
3.85/3.94 c bounds -6261 >= -651886 @ 3.61488
3.96/4.05 c bounds -6283 >= -651886 @ 3.70987
4.15/4.25 c bounds -6340 >= -651886 @ 3.90234
4.25/4.31 c bounds -6341 >= -651886 @ 3.95747
4.35/4.41 c bounds -6364 >= -651886 @ 4.06547
4.35/4.42 c bounds -6364 >= -651690 @ 4.0697
4.35/4.42 c bounds -6364 >= -651495 @ 4.07119
4.35/4.43 c bounds -6364 >= -651300 @ 4.07501
4.35/4.43 c bounds -6364 >= -651105 @ 4.07864
4.75/4.81 c bounds -6477 >= -651105 @ 4.44492
4.75/4.81 c bounds -6477 >= -650910 @ 4.44717
4.75/4.83 c bounds -6477 >= -650715 @ 4.45994
5.84/5.98 c bounds -6477 >= -650520 @ 5.56934
6.05/6.13 c bounds -6489 >= -650520 @ 5.71664
6.05/6.17 c bounds -6509 >= -650520 @ 5.75345
6.14/6.21 c bounds -6593 >= -650520 @ 5.78572
6.14/6.28 c bounds -6658 >= -650520 @ 5.85322
6.35/6.48 c bounds -6680 >= -650520 @ 6.05209
7.14/7.27 c #Conflicts: 2000 | #Constraints: 2760
7.14/7.27 c INPROCESSING
7.14/7.27 c GARBAGE COLLECT
7.14/7.27 c rational objective -7236
7.54/7.60 c bounds -6724 >= -650520 @ 7.14351
7.54/7.69 c bounds -6748 >= -650520 @ 7.23432
7.74/7.80 c bounds -6765 >= -650520 @ 7.34332
7.74/7.82 c bounds -6772 >= -650520 @ 7.35565
7.84/7.90 c bounds -6787 >= -650520 @ 7.44028
7.94/8.05 c bounds -6819 >= -650520 @ 7.58263
7.94/8.05 c bounds -6819 >= -649744 @ 7.58598
7.94/8.06 c bounds -6819 >= -649356 @ 7.58868
7.94/8.06 c bounds -6819 >= -649162 @ 7.59448
7.94/8.06 c bounds -6819 >= -648968 @ 7.59693
7.94/8.07 c bounds -6819 >= -648774 @ 7.59823
7.94/8.07 c bounds -6819 >= -648580 @ 7.60545
8.34/8.46 c bounds -6821 >= -648580 @ 7.97325
11.43/11.57 c bounds -6821 >= -648386 @ 10.9816
12.53/12.63 c #Conflicts: 3000 | #Constraints: 2587
12.53/12.63 c bounds -6847 >= -648386 @ 12.0032
12.82/12.94 c bounds -6875 >= -648386 @ 12.3127
13.23/13.34 c bounds -6882 >= -648386 @ 12.6938
13.43/13.58 c bounds -6939 >= -648386 @ 12.9221
13.62/13.74 c bounds -7010 >= -648386 @ 13.084
13.82/13.98 c bounds -7057 >= -648386 @ 13.3142
14.82/14.90 c bounds -7069 >= -648386 @ 14.2045
19.71/19.81 c #Conflicts: 4000 | #Constraints: 3657
19.71/19.81 c INPROCESSING
19.71/19.81 c GARBAGE COLLECT
19.71/19.81 c rational objective -7236
20.60/20.77 c bounds -7074 >= -648386 @ 19.9621
21.01/21.14 c bounds -7103 >= -648386 @ 20.3142
21.01/21.16 c bounds -7105 >= -648386 @ 20.3263
21.51/21.61 c bounds -7131 >= -648386 @ 20.7762
22.90/23.05 c bounds -7140 >= -648386 @ 22.1717
24.20/24.37 c bounds -7171 >= -648386 @ 23.4493
24.80/24.97 c #Conflicts: 5000 | #Constraints: 3041
24.80/24.97 c bounds -7221 >= -648386 @ 24.028
24.90/25.04 c bounds -7236 >= -648386 @ 24.0916
24.90/25.07 c bounds -7236 >= -7236 @ 24.1229
24.90/25.07 c cpu time 24.123 s
24.90/25.07 c deterministic time 1115002992 1.12e+09
24.90/25.07 c optimization time 0.70805 s
24.90/25.07 c total solve time 23.4037 s
24.90/25.07 c core-guided solve time 11.5436 s
24.90/25.07 c propagation time 11.1226 s
24.90/25.07 c conflict analysis time 9.85668 s
24.90/25.07 c propagations 5460159
24.90/25.07 c resolve steps 27531
24.90/25.07 c decisions 624259
24.90/25.07 c conflicts 5181
24.90/25.07 c restarts 28
24.90/25.07 c inprocessing phases 2
24.90/25.07 c garbage collections 2 ,( 100.00 )
24.90/25.07 c input clauses 128 ,( 17.49 )
24.90/25.07 c input cardinalities 328 ,( 44.81 )
24.90/25.07 c input general constraints 276 ,( 37.70 )
24.90/25.07 c input average constraint length 2109.32
24.90/25.07 c input average constraint degree 4112.33
24.90/25.07 c learned clauses 500 ,( 9.28 )
24.90/25.07 c learned cardinalities 81 ,( 1.50 )
24.90/25.07 c learned general constraints 4806 ,( 89.21 )
24.90/25.07 c learned average constraint length 3210.05
24.90/25.07 c learned average constraint degree 94798211664.22
24.90/25.07 c watched CF 32, 64, 128, Arb: 2181 , 0 , 0 , 0
24.90/25.07 c counting CF 32, 64, 128, Arb: 2902 , 0 , 0 , 0
24.90/25.07 c watched constraints 2181 ,( 42.92 )
24.90/25.07 c counting constraints 2901 ,( 57.08 )
24.90/25.07 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 61537 , 186352 , 1560416 ,( 571996 , 988420 )
24.90/25.07 c gcd simplifications 93
24.90/25.07 c detected cardinalities 10
24.90/25.07 c weakened non-implied lits 10526611
24.90/25.07 c weakened non-implying lits 9107
24.90/25.07 c original variables 6424
24.90/25.07 c clausal propagations 35367
24.90/25.07 c cardinality propagations 1608312
24.90/25.07 c watched propagations 17818
24.90/25.07 c counting propagations 3390454
24.90/25.07 c watch lookups 485241524
24.90/25.07 c watch backjump lookups 0
24.90/25.07 c watch checks 210485859
24.90/25.07 c propagation checks 348934909
24.90/25.07 c constraint additions 58164295
24.90/25.07 c trail pops 6085613
24.90/25.07 c formula constraints 180
24.90/25.07 c learned constraints 5007
24.90/25.07 c bound constraints 239
24.90/25.07 c core-guided constraints 313
24.90/25.07 c encountered formula constraints 16760
24.90/25.07 c encountered learned constraints 7047
24.90/25.07 c encountered bound constraints 563
24.90/25.07 c encountered core-guided constraints 3570
24.90/25.07 c LP total time 1.35822 s
24.90/25.07 c LP solve time 0.56 s
24.90/25.07 c LP constraints added 182
24.90/25.07 c LP constraints removed 0
24.90/25.07 c LP pivots internal 5187
24.90/25.07 c LP pivots root 1186
24.90/25.07 c LP calls 234
24.90/25.07 c LP optimalities 44
24.90/25.07 c LP no pivot count 6
24.90/25.07 c LP infeasibilities 190
24.90/25.07 c LP valid Farkas constraints 189
24.90/25.07 c LP learned Farkas constraints 189
24.90/25.07 c LP basis resets 0
24.90/25.07 c LP cycling count 0
24.90/25.07 c LP singular count 0
24.90/25.07 c LP no primal count 0
24.90/25.07 c LP no farkas count 0
24.90/25.07 c LP other issue count 0
24.90/25.07 c LP Gomory cuts 2
24.90/25.07 c LP learned cuts 0
24.90/25.07 c LP deleted cuts 0
24.90/25.07 c LP encountered Gomory constraints 0
24.90/25.07 c LP encountered Farkas constraints 4408
24.90/25.07 c LP encountered learned Farkas constraints 174
24.90/25.07 c CG auxiliary variables introduced 150
24.90/25.07 c CG solutions found 120
24.90/25.07 c CG cores constructed 118
24.90/25.07 c CG core cardinality constraints returned 30
24.90/25.07 c CG unit cores 4
24.90/25.07 c CG single cores 107
24.90/25.07 c CG blocks removed during cardinality reduction 3
24.90/25.07 c CG first core best 0
24.90/25.07 c CG decision core best 4
24.90/25.07 c CG core reduction tie 3
24.90/25.07 c CG core degree average 1.44
24.90/25.07 c CG core slack average 1.47
24.90/25.07 c CG core upper bound improvements 0
24.90/25.07 c STR number of successful calls 0
24.90/25.07 c STR number of unsuccessful calls 0
24.90/25.07 c STR number of inconclusive calls 0
24.90/25.07 c STR number of successful attempts 0
24.90/25.07 c STR number of unsuccessful attempts 0
24.90/25.07 c STR number of inconclusive attempts 0
24.90/25.07 c STR average degree increase per successful call inf
24.90/25.07 c STR average degree increase per successful attempt inf
24.90/25.07 c STR total number of conflicts for successful attempts 0
24.90/25.07 c STR total number of conflicts for unsuccessful attempts 0
24.90/25.07 c STR total number of conflicts for inconclusive attempts 0
24.90/25.07 c STR average number of conflicts per successful attempt inf
24.90/25.07 c STR average number of conflicts per unsuccessful attempt inf
24.90/25.07 c STR average number of conflicts per inconclusive attempt inf
24.90/25.07 c AVG.sumWPerc 51.74
24.90/25.07 c bigint constraints 0
24.90/25.07 o -7236
24.90/25.07 s OPTIMUM FOUND
24.90/25.07 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 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 x5494 -x5495 -x5496 -x5497 x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 x5569 -x5570 x5571 -x5572 -x5573 x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 x5889 -x5890 -x5891 x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 x6259 -x6260 -x6261 x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (50455 MiB free)
memory of node 1: 64465 MiB (62108 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532246-1752600056/watcher-4532246-1752600056 -o /tmp/evaluation-result-4532246-1752600056/solver-4532246-1752600056 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752596240-130169 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532246-1752600056.opb PROOFDIR/proof-4532246-1752600056
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=131093, runsolver pid=131090
[startup+0.100065 s]*
/proc/loadavg: 4.13 4.10 4.09 5/272 131096
/proc/meminfo: memFree=115258020/131249988 swapFree=33010160/33010684
[pid=131093] ppid=131090 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/131093/stat : 131093 (run-opt-ls-log.) S 131090 131093 130157 0 -1 4194304 243 2865 0 0 0 0 1 0 20 0 1 0 175683121 4292608 768 18446744073709551615 93907577528320 93907578422853 140733396882352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93907578661904 93907578709648 93907610845184 140733396887833 140733396888031 140733396888031 140733396893635 0
/proc/131093/statm: 1048 768 704 219 0 110 0
[pid=131096] ppid=131093 vsize=59860 memory=14316 CPUtime=0.05 cores=1,3
/proc/131096/stat : 131096 (roundingsat) R 131093 131093 130157 0 -1 4194304 1887 0 0 0 5 0 0 0 20 0 1 0 175683124 61296640 3579 18446744073709551615 4227072 8923577 140734919511536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 20807680 140734919514356 140734919514662 140734919514662 140734919520234 0
/proc/131096/statm: 14965 3579 2304 1147 0 2391 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 64052 KiB
Current children cumulated memory: 17388 KiB
[startup+0.206002 s]*
/proc/loadavg: 4.12 4.10 4.09 5/272 131096
/proc/meminfo: memFree=115258020/131249988 swapFree=33010160/33010684
[pid=131093] ppid=131090 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/131093/stat : 131093 (run-opt-ls-log.) S 131090 131093 130157 0 -1 4194304 243 2865 0 0 0 0 1 0 20 0 1 0 175683121 4292608 768 18446744073709551615 93907577528320 93907578422853 140733396882352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93907578661904 93907578709648 93907610845184 140733396887833 140733396888031 140733396888031 140733396893635 0
/proc/131093/statm: 1048 768 704 219 0 110 0
[pid=131096] ppid=131093 vsize=59860 memory=14316 CPUtime=0.16 cores=1,3
/proc/131096/stat : 131096 (roundingsat) R 131093 131093 130157 0 -1 4194304 1887 0 0 0 16 0 0 0 20 0 1 0 175683124 61296640 3579 18446744073709551615 4227072 8923577 140734919511536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 20807680 140734919514356 140734919514662 140734919514662 140734919520234 0
/proc/131096/statm: 14965 3579 2304 1147 0 2391 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 64052 KiB
Current children cumulated memory: 17388 KiB
[startup+0.305902 s]*
/proc/loadavg: 4.12 4.10 4.09 5/272 131096
/proc/meminfo: memFree=115258020/131249988 swapFree=33010160/33010684
[pid=131093] ppid=131090 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/131093/stat : 131093 (run-opt-ls-log.) S 131090 131093 130157 0 -1 4194304 243 2865 0 0 0 0 1 0 20 0 1 0 175683121 4292608 768 18446744073709551615 93907577528320 93907578422853 140733396882352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93907578661904 93907578709648 93907610845184 140733396887833 140733396888031 140733396888031 140733396893635 0
/proc/131093/statm: 1048 768 704 219 0 110 0
[pid=131096] ppid=131093 vsize=59860 memory=14316 CPUtime=0.26 cores=1,3
/proc/131096/stat : 131096 (roundingsat) R 131093 131093 130157 0 -1 4194304 1887 0 0 0 26 0 0 0 20 0 1 0 175683124 61296640 3579 18446744073709551615 4227072 8923577 140734919511536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 20807680 140734919514356 140734919514662 140734919514662 140734919520234 0
/proc/131096/statm: 14965 3579 2304 1147 0 2391 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 64052 KiB
Current children cumulated memory: 17388 KiB
[startup+0.700197 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 131096
/proc/meminfo: memFree=115256256/131249988 swapFree=33010160/33010684
[pid=131093] ppid=131090 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/131093/stat : 131093 (run-opt-ls-log.) S 131090 131093 130157 0 -1 4194304 243 2865 0 0 0 0 1 0 20 0 1 0 175683121 4292608 768 18446744073709551615 93907577528320 93907578422853 140733396882352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93907578661904 93907578709648 93907610845184 140733396887833 140733396888031 140733396888031 140733396893635 0
/proc/131093/statm: 1048 768 704 219 0 110 0
[pid=131096] ppid=131093 vsize=67396 memory=25244 CPUtime=0.65 cores=1,3
/proc/131096/stat : 131096 (roundingsat) R 131093 131093 130157 0 -1 4194304 3603 0 0 0 60 5 0 0 20 0 1 0 175683124 69013504 6311 18446744073709551615 4227072 8923577 140734919511536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 20807680 140734919514356 140734919514662 140734919514662 140734919520234 0
/proc/131096/statm: 16849 6311 2400 1147 0 4275 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 71588 KiB
Current children cumulated memory: 28316 KiB
[startup+1.50021 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 131096
/proc/meminfo: memFree=115236916/131249988 swapFree=33010160/33010684
[pid=131093] ppid=131090 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/131093/stat : 131093 (run-opt-ls-log.) S 131090 131093 130157 0 -1 4194304 243 2865 0 0 0 0 1 0 20 0 1 0 175683121 4292608 768 18446744073709551615 93907577528320 93907578422853 140733396882352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93907578661904 93907578709648 93907610845184 140733396887833 140733396888031 140733396888031 140733396893635 0
/proc/131093/statm: 1048 768 704 219 0 110 0
[pid=131096] ppid=131093 vsize=83836 memory=40768 CPUtime=1.45 cores=1,3
/proc/131096/stat : 131096 (roundingsat) R 131093 131093 130157 0 -1 4194304 5980 0 0 0 129 16 0 0 20 0 1 0 175683124 85848064 10192 18446744073709551615 4227072 8923577 140734919511536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 20807680 140734919514356 140734919514662 140734919514662 140734919520234 0
/proc/131096/statm: 20959 10192 2400 1147 0 8385 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 88028 KiB
Current children cumulated memory: 43840 KiB
[startup+3.1057 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 131096
/proc/meminfo: memFree=115184872/131249988 swapFree=33010160/33010684
[pid=131093] ppid=131090 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/131093/stat : 131093 (run-opt-ls-log.) S 131090 131093 130157 0 -1 4194304 243 2865 0 0 0 0 1 0 20 0 1 0 175683121 4292608 768 18446744073709551615 93907577528320 93907578422853 140733396882352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93907578661904 93907578709648 93907610845184 140733396887833 140733396888031 140733396888031 140733396893635 0
/proc/131093/statm: 1048 768 704 219 0 110 0
[pid=131096] ppid=131093 vsize=117992 memory=71516 CPUtime=3.04 cores=1,3
/proc/131096/stat : 131096 (roundingsat) R 131093 131093 130157 0 -1 4194304 8038 0 0 0 280 24 0 0 20 0 1 0 175683124 120823808 17879 18446744073709551615 4227072 8923577 140734919511536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 20807680 140734919514356 140734919514662 140734919514662 140734919520234 0
/proc/131096/statm: 29498 17879 2400 1147 0 16924 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 122184 KiB
Current children cumulated memory: 74588 KiB
[startup+6.30019 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 131097
/proc/meminfo: memFree=115039544/131249988 swapFree=33010160/33010684
[pid=131093] ppid=131090 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/131093/stat : 131093 (run-opt-ls-log.) S 131090 131093 130157 0 -1 4194304 243 2865 0 0 0 0 1 0 20 0 1 0 175683121 4292608 768 18446744073709551615 93907577528320 93907578422853 140733396882352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93907578661904 93907578709648 93907610845184 140733396887833 140733396888031 140733396888031 140733396893635 0
/proc/131093/statm: 1048 768 704 219 0 110 0
[pid=131096] ppid=131093 vsize=179312 memory=124772 CPUtime=6.24 cores=1,3
/proc/131096/stat : 131096 (roundingsat) R 131093 131093 130157 0 -1 4194304 15735 0 0 0 587 37 0 0 20 0 1 0 175683124 183615488 31193 18446744073709551615 4227072 8923577 140734919511536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 20807680 140734919514356 140734919514662 140734919514662 140734919520234 0
/proc/131096/statm: 44828 31193 2400 1147 0 32254 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 183504 KiB
Current children cumulated memory: 127844 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 4/266 131123
/proc/meminfo: memFree=114817364/131249988 swapFree=33010160/33010684
[pid=131093] ppid=131090 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/131093/stat : 131093 (run-opt-ls-log.) S 131090 131093 130157 0 -1 4194304 243 2865 0 0 0 0 1 0 20 0 1 0 175683121 4292608 768 18446744073709551615 93907577528320 93907578422853 140733396882352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93907578661904 93907578709648 93907610845184 140733396887833 140733396888031 140733396888031 140733396893635 0
/proc/131093/statm: 1048 768 704 219 0 110 0
[pid=131096] ppid=131093 vsize=230328 memory=178248 CPUtime=12.61 cores=1,3
/proc/131096/stat : 131096 (roundingsat) R 131093 131093 130157 0 -1 4194304 28096 0 0 0 1206 55 0 0 20 0 1 0 175683124 235855872 44562 18446744073709551615 4227072 8923577 140734919511536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 20807680 140734919514356 140734919514662 140734919514662 140734919520234 0
/proc/131096/statm: 57582 44562 2400 1147 0 45008 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 234520 KiB
Current children cumulated memory: 181320 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.11 4.09 5/272 131144
/proc/meminfo: memFree=126239640/131249988 swapFree=33010160/33010684
[pid=131093] ppid=131090 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/131093/stat : 131093 (run-opt-ls-log.) S 131090 131093 130157 0 -1 4194304 243 2865 0 0 0 0 1 0 20 0 1 0 175683121 4292608 768 18446744073709551615 93907577528320 93907578422853 140733396882352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93907578661904 93907578709648 93907610845184 140733396887833 140733396888031 140733396888031 140733396893635 0
/proc/131093/statm: 1048 768 704 219 0 110 0
[pid=131096] ppid=131093 vsize=291596 memory=233928 CPUtime=25.03 cores=1,3
/proc/131096/stat : 131096 (roundingsat) D 131093 131093 130157 0 -1 4194304 41997 0 0 0 2412 91 0 0 20 0 1 0 175683124 298594304 58482 18446744073709551615 4227072 8923577 140734919511536 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 20807680 140734919514356 140734919514662 140734919514662 140734919520234 0
/proc/131096/statm: 72899 58482 2400 1147 0 60325 0
Current children cumulated CPU time: 25.04 s
Current children cumulated vsize: 295788 KiB
Current children cumulated memory: 237000 KiB
[startup+26.3107 s]
# the end of solver process 131093 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=24.1463 s, system=1.00129 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.16 4.11 4.09 5/272 131144
/proc/meminfo: memFree=126239640/131249988 swapFree=33010160/33010684
[pid=131093] ppid=131090 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/131093/stat : 131093 (run-opt-ls-log.) S 131090 131093 130157 0 -1 4194304 243 2865 0 0 0 0 1 0 20 0 1 0 175683121 4292608 768 18446744073709551615 93907577528320 93907578422853 140733396882352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93907578661904 93907578709648 93907610845184 140733396887833 140733396888031 140733396888031 140733396893635 0
/proc/131093/statm: 1048 768 704 219 0 110 0
[pid=131096] ppid=131093 vsize=291596 memory=233928 CPUtime=25.04 cores=1,3
/proc/131096/stat : 131096 (roundingsat) D 131093 131093 130157 0 -1 4194304 41997 0 0 0 2412 92 0 0 20 0 1 0 175683124 298594304 58482 18446744073709551615 4227072 8923577 140734919511536 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 20807680 140734919514356 140734919514662 140734919514662 140734919520234 0
/proc/131096/statm: 72899 58482 2400 1147 0 60325 0
Current children cumulated CPU time: 25.05 s
Current children cumulated vsize: 295788 KiB
Current children cumulated memory: 237000 KiB
[startup+26.0002 s]*
/proc/loadavg: 4.15 4.10 4.09 4/272 131144
/proc/meminfo: memFree=126248864/131249988 swapFree=33010160/33010684
[pid=131093] ppid=131090 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/131093/stat : 131093 (run-opt-ls-log.) S 131090 131093 130157 0 -1 4194304 243 2865 0 0 0 0 1 0 20 0 1 0 175683121 4292608 768 18446744073709551615 93907577528320 93907578422853 140733396882352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93907578661904 93907578709648 93907610845184 140733396887833 140733396888031 140733396888031 140733396893635 0
/proc/131093/statm: 1048 768 704 219 0 110 0
[pid=131096] ppid=131093 vsize=291596 memory=233928 CPUtime=25.05 cores=1,3
/proc/131096/stat : 131096 (roundingsat) D 131093 131093 130157 0 -1 4194304 41997 0 0 0 2413 92 0 0 20 0 1 0 175683124 298594304 58482 18446744073709551615 4227072 8923577 140734919511536 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 20807680 140734919514356 140734919514662 140734919514662 140734919520234 0
/proc/131096/statm: 72899 58482 2400 1147 0 60325 0
Current children cumulated CPU time: 25.06 s
Current children cumulated vsize: 295788 KiB
Current children cumulated memory: 237000 KiB
[startup+26.2002 s]
/proc/loadavg: 4.15 4.10 4.09 4/272 131144
/proc/meminfo: memFree=126248864/131249988 swapFree=33010160/33010684
[pid=131093] ppid=131090 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/131093/stat : 131093 (run-opt-ls-log.) S 131090 131093 130157 0 -1 4194304 243 2865 0 0 0 0 1 0 20 0 1 0 175683121 4292608 768 18446744073709551615 93907577528320 93907578422853 140733396882352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93907578661904 93907578709648 93907610845184 140733396887833 140733396888031 140733396888031 140733396893635 0
/proc/131093/statm: 1048 768 704 219 0 110 0
[pid=131096] ppid=131093 vsize=291596 memory=233928 CPUtime=25.06 cores=1,3
/proc/131096/stat : 131096 (roundingsat) D 131093 131093 130157 0 -1 4194304 41997 0 0 0 2413 93 0 0 20 0 1 0 175683124 298594304 58482 18446744073709551615 4227072 8923577 140734919511536 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 20807680 140734919514356 140734919514662 140734919514662 140734919520234 0
/proc/131096/statm: 72899 58482 2400 1147 0 60325 0
Current children cumulated CPU time: 25.07 s
Current children cumulated vsize: 295788 KiB
Current children cumulated memory: 237000 KiB
[startup+26.3002 s]
/proc/loadavg: 4.15 4.10 4.09 4/272 131144
/proc/meminfo: memFree=126248864/131249988 swapFree=33010160/33010684
[pid=131093] ppid=131090 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/131093/stat : 131093 (run-opt-ls-log.) S 131090 131093 130157 0 -1 4194304 243 2865 0 0 0 0 1 0 20 0 1 0 175683121 4292608 768 18446744073709551615 93907577528320 93907578422853 140733396882352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93907578661904 93907578709648 93907610845184 140733396887833 140733396888031 140733396888031 140733396893635 0
/proc/131093/statm: 1048 768 704 219 0 110 0
[pid=131096] ppid=131093 vsize=291060 memory=212724 CPUtime=25.11 cores=1,3
/proc/131096/stat : 131096 (roundingsat) R 131093 131093 130157 0 -1 4194304 41997 0 0 0 2413 98 0 0 20 0 1 0 175683124 298045440 53693 18446744073709551615 4227072 8923577 140734919511536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 20807680 140734919514356 140734919514662 140734919514662 140734919520234 0
/proc/131096/statm: 72765 53181 2400 1147 0 60191 0
Current children cumulated CPU time: 25.12 s
Current children cumulated vsize: 295252 KiB
Current children cumulated memory: 215796 KiB
Child status: 0
Real time (s): 26.3108
CPU time (s): 25.1476
CPU user time (s): 24.1463
CPU system time (s): 1.00129
CPU usage (%): 95.5791
Max. virtual memory (cumulated for all children) (KiB): 295788
Max. memory (cumulated for all children) (KiB): 237000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.1463
system time used= 1.00129
maximum resident set size= 233928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1097056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16787
involuntary context switches= 61
# summary of solver processes directly reported to runsolver:
# pid: 131093
# total CPU time (s): 25.1476
# total CPU user time (s): 24.1463
# total CPU system time (s): 1.00129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083798 second user time and 0.1395 second system time
The end
Begin job on nodeC020 at 2025-07-15 19:20:56
IDJOB=4532246
IDBENCH=179713
IDSOLVER=3392
FILE ID=nodeC020/4532246-1752600056
RUNJOBID= nodeC020-1752596240-130169
SLURM_JOB_ID= 9684367
Free space on /tmp= 432108 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_230_000.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532246-1752600056/watcher-4532246-1752600056 -o /tmp/evaluation-result-4532246-1752600056/solver-4532246-1752600056 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752596240-130169 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532246-1752600056.opb PROOFDIR/proof-4532246-1752600056
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c0a31fcc227365986291d6c595cc47ca
RANDOM SEED=1611371971
nodeC020 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.905
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.79
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 : 3600.050
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.79
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.050
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.79
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.869
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.79
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.895
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.79
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.898
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.79
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.506
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.970
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 115265504 kB
MemAvailable: 128264720 kB
Buffers: 2128 kB
Cached: 13784392 kB
SwapCached: 8 kB
Active: 2347456 kB
Inactive: 12993208 kB
Active(anon): 1555844 kB
Inactive(anon): 24544 kB
Active(file): 791612 kB
Inactive(file): 12968664 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 21012 kB
Writeback: 0 kB
AnonPages: 1552768 kB
Mapped: 121792 kB
Shmem: 26236 kB
KReclaimable: 156356 kB
Slab: 251956 kB
SReclaimable: 156356 kB
SUnreclaim: 95600 kB
KernelStack: 4400 kB
PageTables: 6364 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1959504 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 546816 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432100 MiB
End job on nodeC020 at 2025-07-15 19:21:22