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-4523150-1751647360.opb'
0.00/0.01 c read 0.23MB (3.49ms)
0.00/0.01 c [cnf: #variables 6424 #clauses 181 #duplicates 0 #arr 25302]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 0] (6.89ms)
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.31ms)
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.52ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 0 #add_vars 0]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4523150-1751647360.opb.pre'
0.00/0.02 c wrote 0.23MB (0.62ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 6.89ms 47.35% approx_orbits
0.00/0.02 c 3.49ms 23.96% parse
0.00/0.02 c 1.52ms 10.44% detect_generic
0.00/0.02 c 1.31ms 9.03% detect_special
0.00/0.02 c 0.62ms 4.24% output
0.00/0.02 c 0.53ms 3.64% other
0.00/0.02 c 0.20ms 1.34% finalize_order
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 14.55ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.04 c #variables 6424 #constraints 180
0.00/0.04 c objective is ce32
0.28/0.39 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.28/0.39 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.28/0.39 c bounds -1690 >= -684049 @ 0.354895
0.37/0.41 c rational objective -7246
0.37/0.43 c bounds -1824 >= -684049 @ 0.394835
0.37/0.44 c bounds -1824 >= -683789 @ 0.396528
0.37/0.44 c bounds -1949 >= -683789 @ 0.399516
0.37/0.45 c bounds -1991 >= -683789 @ 0.405291
0.37/0.45 c bounds -2021 >= -683789 @ 0.407162
0.37/0.45 c bounds -2021 >= -683282 @ 0.408026
0.37/0.45 c bounds -2021 >= -682788 @ 0.408749
0.37/0.46 c bounds -2076 >= -682788 @ 0.412859
0.37/0.46 c bounds -2076 >= -682541 @ 0.413589
0.37/0.46 c bounds -2360 >= -682541 @ 0.415905
0.37/0.46 c bounds -2360 >= -682308 @ 0.416738
0.37/0.46 c bounds -2360 >= -681614 @ 0.417419
0.37/0.46 c bounds -2360 >= -680915 @ 0.418126
0.37/0.47 c bounds -2360 >= -679291 @ 0.418978
0.37/0.47 c bounds -2360 >= -677889 @ 0.419728
0.37/0.47 c bounds -2465 >= -677889 @ 0.422484
0.37/0.47 c bounds -2465 >= -677660 @ 0.423173
0.37/0.47 c bounds -2465 >= -677193 @ 0.423848
0.37/0.47 c bounds -2465 >= -676967 @ 0.424523
0.37/0.47 c bounds -2465 >= -676272 @ 0.425216
0.37/0.47 c bounds -2465 >= -675592 @ 0.425963
0.37/0.47 c bounds -2465 >= -675365 @ 0.426726
0.37/0.48 c bounds -2465 >= -675136 @ 0.427734
0.37/0.48 c bounds -2561 >= -675136 @ 0.430249
0.37/0.48 c bounds -2561 >= -674910 @ 0.431209
0.37/0.50 c bounds -3065 >= -674910 @ 0.451703
0.47/0.51 c bounds -3175 >= -674910 @ 0.454193
0.47/0.51 c bounds -3175 >= -674462 @ 0.455188
0.47/0.51 c bounds -3176 >= -674462 @ 0.461362
0.47/0.52 c bounds -3196 >= -674462 @ 0.469723
0.47/0.52 c bounds -3196 >= -674020 @ 0.470702
0.47/0.53 c bounds -3196 >= -673798 @ 0.471421
0.47/0.53 c bounds -3196 >= -673576 @ 0.472308
0.47/0.53 c bounds -3196 >= -673135 @ 0.473558
0.47/0.53 c bounds -3196 >= -672915 @ 0.473558
0.47/0.53 c bounds -3196 >= -672695 @ 0.474207
0.47/0.53 c bounds -3236 >= -672695 @ 0.476106
0.47/0.54 c bounds -3314 >= -672695 @ 0.478874
0.47/0.54 c bounds -3314 >= -672476 @ 0.479527
0.47/0.54 c bounds -3314 >= -672257 @ 0.480096
0.47/0.54 c bounds -3314 >= -672038 @ 0.480829
0.47/0.54 c bounds -3350 >= -672038 @ 0.48303
0.47/0.55 c bounds -3509 >= -672038 @ 0.486503
0.47/0.56 c bounds -3532 >= -672038 @ 0.488881
0.47/0.56 c bounds -3556 >= -672038 @ 0.494648
0.47/0.57 c bounds -3556 >= -671820 @ 0.495492
0.47/0.57 c bounds -3556 >= -671602 @ 0.496182
0.47/0.57 c bounds -3556 >= -671166 @ 0.497192
0.47/0.57 c bounds -3556 >= -670948 @ 0.498452
0.47/0.57 c bounds -3556 >= -670730 @ 0.499838
0.47/0.58 c bounds -3625 >= -670730 @ 0.50972
0.47/0.59 c bounds -3626 >= -670730 @ 0.512502
0.47/0.60 c bounds -3672 >= -670730 @ 0.519622
0.57/0.61 c bounds -3749 >= -670730 @ 0.529192
0.57/0.61 c bounds -3749 >= -670513 @ 0.529818
0.57/0.61 c bounds -3749 >= -670296 @ 0.530471
0.57/0.61 c bounds -3814 >= -670296 @ 0.532613
0.57/0.62 c bounds -3814 >= -670080 @ 0.533548
0.57/0.62 c bounds -3814 >= -669864 @ 0.534393
0.57/0.64 c bounds -3830 >= -669864 @ 0.554157
0.57/0.64 c bounds -3832 >= -669864 @ 0.554869
0.57/0.65 c bounds -3834 >= -669864 @ 0.556514
0.57/0.66 c bounds -3879 >= -669864 @ 0.56737
0.57/0.66 c bounds -3879 >= -669436 @ 0.568289
0.57/0.66 c bounds -3879 >= -669221 @ 0.569201
0.57/0.66 c bounds -3879 >= -669007 @ 0.569215
0.57/0.68 c bounds -3908 >= -669007 @ 0.578629
0.57/0.68 c bounds -3909 >= -669007 @ 0.580041
0.57/0.68 c bounds -3909 >= -668582 @ 0.581539
0.57/0.68 c bounds -3909 >= -668157 @ 0.582323
0.57/0.68 c bounds -3909 >= -667735 @ 0.583255
0.57/0.69 c bounds -3909 >= -667523 @ 0.584077
0.57/0.69 c bounds -3909 >= -667101 @ 0.585025
0.57/0.69 c bounds -3909 >= -666890 @ 0.585711
0.57/0.69 c bounds -3909 >= -666679 @ 0.587203
0.67/0.70 c bounds -3929 >= -666679 @ 0.591766
0.67/0.70 c bounds -3979 >= -666679 @ 0.593685
0.67/0.71 c bounds -3981 >= -666679 @ 0.599806
0.67/0.71 c bounds -3981 >= -666259 @ 0.601377
0.67/0.71 c bounds -3981 >= -666049 @ 0.604823
0.67/0.72 c bounds -4106 >= -666049 @ 0.608789
0.67/0.72 c bounds -4144 >= -666049 @ 0.612757
0.67/0.73 c bounds -4144 >= -665840 @ 0.613635
0.67/0.73 c bounds -4144 >= -665631 @ 0.614781
0.67/0.73 c bounds -4144 >= -665422 @ 0.615561
0.67/0.73 c bounds -4144 >= -665213 @ 0.61639
0.67/0.73 c bounds -4144 >= -665004 @ 0.617169
0.67/0.73 c bounds -4144 >= -664795 @ 0.618581
0.67/0.74 c bounds -4202 >= -664795 @ 0.626374
0.67/0.77 c bounds -4242 >= -664795 @ 0.647754
0.67/0.77 c bounds -4243 >= -664795 @ 0.648821
0.67/0.78 c bounds -4245 >= -664795 @ 0.650852
0.67/0.78 c bounds -4246 >= -664795 @ 0.652864
0.67/0.78 c bounds -4246 >= -664587 @ 0.653793
0.67/0.78 c bounds -4246 >= -664379 @ 0.654884
0.67/0.79 c bounds -4328 >= -664379 @ 0.656831
0.67/0.79 c bounds -4330 >= -664379 @ 0.660811
0.77/0.80 c bounds -4332 >= -664379 @ 0.662824
0.77/0.80 c bounds -4332 >= -664172 @ 0.663765
0.77/0.80 c bounds -4332 >= -663965 @ 0.664607
0.77/0.80 c bounds -4332 >= -663758 @ 0.665395
0.77/0.81 c bounds -4362 >= -663758 @ 0.670983
0.77/0.81 c bounds -4362 >= -663551 @ 0.671723
0.77/0.81 c bounds -4362 >= -663344 @ 0.672658
0.77/0.86 c bounds -4365 >= -663344 @ 0.719794
0.86/0.90 c bounds -4382 >= -663344 @ 0.754884
0.86/0.90 c bounds -4553 >= -663344 @ 0.758414
0.86/0.91 c bounds -4585 >= -663344 @ 0.760047
0.86/0.91 c bounds -4585 >= -663138 @ 0.761073
0.86/0.91 c bounds -4585 >= -662932 @ 0.761936
0.86/0.95 c bounds -4659 >= -662932 @ 0.793432
0.86/0.95 c bounds -4659 >= -662726 @ 0.794275
0.86/0.95 c bounds -4669 >= -662726 @ 0.797858
0.86/0.95 c bounds -4669 >= -662521 @ 0.798858
0.86/0.95 c bounds -4669 >= -662316 @ 0.799662
0.86/0.95 c bounds -4669 >= -661906 @ 0.800582
0.86/0.98 c bounds -4694 >= -661906 @ 0.829509
0.86/0.99 c bounds -4730 >= -661906 @ 0.834291
0.86/1.00 c bounds -4767 >= -661906 @ 0.838049
0.86/1.00 c bounds -4767 >= -661498 @ 0.838954
0.86/1.00 c bounds -4767 >= -661090 @ 0.839729
0.86/1.00 c bounds -4767 >= -660886 @ 0.840994
0.97/1.00 c bounds -4767 >= -660682 @ 0.842015
0.97/1.03 c bounds -4771 >= -660682 @ 0.862688
0.97/1.03 c bounds -4773 >= -660682 @ 0.865552
0.97/1.05 c bounds -4828 >= -660682 @ 0.882273
0.97/1.05 c bounds -4828 >= -660479 @ 0.8832
0.97/1.05 c bounds -4828 >= -660276 @ 0.88397
0.97/1.05 c bounds -4828 >= -660073 @ 0.884869
0.97/1.06 c bounds -4828 >= -659870 @ 0.887188
0.97/1.07 c bounds -4850 >= -659870 @ 0.897224
0.97/1.08 c bounds -4865 >= -659870 @ 0.904061
0.97/1.08 c bounds -4865 >= -659668 @ 0.905026
0.97/1.08 c bounds -4865 >= -659466 @ 0.905847
0.97/1.08 c bounds -4865 >= -659264 @ 0.906674
0.97/1.08 c bounds -4865 >= -659062 @ 0.907502
0.97/1.09 c bounds -4865 >= -658860 @ 0.908435
0.97/1.09 c bounds -4890 >= -658860 @ 0.913825
1.06/1.10 c bounds -5017 >= -658860 @ 0.918225
1.06/1.11 c bounds -5189 >= -658860 @ 0.922261
1.06/1.13 c bounds -5191 >= -658860 @ 0.938614
1.06/1.13 c bounds -5191 >= -658458 @ 0.939549
1.06/1.13 c bounds -5191 >= -657855 @ 0.940327
1.06/1.13 c bounds -5191 >= -657654 @ 0.941143
1.06/1.13 c bounds -5191 >= -657453 @ 0.941287
1.06/1.13 c bounds -5191 >= -657252 @ 0.942262
1.06/1.13 c bounds -5191 >= -657051 @ 0.943524
1.16/1.26 c bounds -5221 >= -657051 @ 1.06731
1.16/1.28 c bounds -5243 >= -657051 @ 1.07983
1.36/1.49 c bounds -5252 >= -657051 @ 1.28737
1.36/1.49 c bounds -5252 >= -656451 @ 1.28882
1.36/1.49 c bounds -5252 >= -655651 @ 1.29001
1.46/1.51 c bounds -5252 >= -655451 @ 1.30594
1.46/1.55 c bounds -5264 >= -655451 @ 1.34598
1.46/1.55 c bounds -5264 >= -655252 @ 1.3469
1.46/1.55 c bounds -5264 >= -654655 @ 1.34763
1.46/1.55 c bounds -5264 >= -654456 @ 1.34836
1.46/1.55 c bounds -5264 >= -654257 @ 1.34946
1.46/1.59 c bounds -5326 >= -654257 @ 1.38136
1.46/1.59 c bounds -5326 >= -654059 @ 1.38225
1.46/1.59 c bounds -5326 >= -653663 @ 1.38311
1.46/1.59 c bounds -5326 >= -653465 @ 1.38392
1.46/1.59 c bounds -5326 >= -653267 @ 1.38521
1.46/1.59 c bounds -5326 >= -653069 @ 1.3864
1.46/1.59 c bounds -5326 >= -652871 @ 1.3876
1.86/1.95 c bounds -5380 >= -652871 @ 1.72933
1.86/1.95 c bounds -5395 >= -652871 @ 1.73358
1.96/2.05 c bounds -5418 >= -652871 @ 1.82165
1.96/2.07 c bounds -5440 >= -652871 @ 1.83774
1.96/2.08 c bounds -5442 >= -652871 @ 1.84598
2.07/2.12 c bounds -5464 >= -652871 @ 1.87823
2.07/2.13 c bounds -5493 >= -652871 @ 1.88294
2.07/2.13 c bounds -5513 >= -652871 @ 1.88731
2.07/2.14 c bounds -5514 >= -652871 @ 1.89258
2.07/2.16 c bounds -5636 >= -652871 @ 1.90484
2.07/2.17 c bounds -5712 >= -652871 @ 1.91433
2.07/2.19 c bounds -5725 >= -652871 @ 1.93395
2.16/2.20 c bounds -5786 >= -652871 @ 1.94058
2.16/2.22 c bounds -5825 >= -652871 @ 1.94849
2.16/2.26 c bounds -5846 >= -652871 @ 1.99092
2.26/2.35 c bounds -5869 >= -652871 @ 2.06606
2.26/2.35 c bounds -5869 >= -652674 @ 2.06713
2.26/2.35 c bounds -5869 >= -652477 @ 2.06801
2.26/2.35 c bounds -5869 >= -652280 @ 2.06891
2.26/2.35 c bounds -5869 >= -652083 @ 2.06989
2.26/2.35 c bounds -5869 >= -651886 @ 2.07241
2.86/2.95 c #Conflicts: 1000 | #Constraints: 1662
2.86/2.95 c bounds -5883 >= -651886 @ 2.65866
3.16/3.23 c bounds -5887 >= -651886 @ 2.93058
3.16/3.27 c bounds -5949 >= -651886 @ 2.96436
3.16/3.28 c bounds -6173 >= -651886 @ 2.97637
3.26/3.30 c bounds -6180 >= -651886 @ 2.98709
3.26/3.36 c bounds -6261 >= -651886 @ 3.04157
3.36/3.43 c bounds -6283 >= -651886 @ 3.10997
3.46/3.57 c bounds -6340 >= -651886 @ 3.24458
3.56/3.61 c bounds -6341 >= -651886 @ 3.28487
3.56/3.69 c bounds -6364 >= -651886 @ 3.35878
3.56/3.69 c bounds -6364 >= -651690 @ 3.36124
3.56/3.69 c bounds -6364 >= -651495 @ 3.36253
3.56/3.69 c bounds -6364 >= -651300 @ 3.36478
3.65/3.70 c bounds -6364 >= -651105 @ 3.36686
3.85/3.95 c bounds -6477 >= -651105 @ 3.60242
3.85/3.95 c bounds -6477 >= -650910 @ 3.60356
3.85/3.96 c bounds -6477 >= -650715 @ 3.61543
4.66/4.70 c bounds -6477 >= -650520 @ 4.3476
4.75/4.83 c bounds -6489 >= -650520 @ 4.47566
4.75/4.87 c bounds -6509 >= -650520 @ 4.50938
4.85/4.90 c bounds -6593 >= -650520 @ 4.5375
4.85/4.96 c bounds -6658 >= -650520 @ 4.59307
5.06/5.12 c bounds -6680 >= -650520 @ 4.74473
5.65/5.71 c #Conflicts: 2000 | #Constraints: 2760
5.65/5.71 c INPROCESSING
5.65/5.71 c GARBAGE COLLECT
5.65/5.71 c rational objective -7236
5.86/5.99 c bounds -6724 >= -650520 @ 5.60518
5.96/6.07 c bounds -6748 >= -650520 @ 5.67794
6.05/6.15 c bounds -6765 >= -650520 @ 5.76099
6.05/6.17 c bounds -6772 >= -650520 @ 5.7733
6.15/6.24 c bounds -6787 >= -650520 @ 5.84238
6.25/6.34 c bounds -6819 >= -650520 @ 5.94512
6.25/6.35 c bounds -6819 >= -649744 @ 5.94741
6.25/6.35 c bounds -6819 >= -649356 @ 5.94912
6.25/6.35 c bounds -6819 >= -649162 @ 5.95398
6.25/6.35 c bounds -6819 >= -648968 @ 5.95543
6.25/6.36 c bounds -6819 >= -648774 @ 5.9567
6.25/6.36 c bounds -6819 >= -648580 @ 5.96306
6.55/6.65 c bounds -6821 >= -648580 @ 6.2455
8.64/8.78 c bounds -6821 >= -648386 @ 8.34366
9.45/9.53 c #Conflicts: 3000 | #Constraints: 2587
9.45/9.53 c bounds -6847 >= -648386 @ 9.08095
9.64/9.76 c bounds -6875 >= -648386 @ 9.30643
9.95/10.06 c bounds -6882 >= -648386 @ 9.59639
10.14/10.23 c bounds -6939 >= -648386 @ 9.75459
10.24/10.36 c bounds -7010 >= -648386 @ 9.87763
10.44/10.53 c bounds -7057 >= -648386 @ 10.0493
11.14/11.21 c bounds -7069 >= -648386 @ 10.7025
15.23/15.30 c #Conflicts: 4000 | #Constraints: 3657
15.23/15.30 c INPROCESSING
15.23/15.30 c GARBAGE COLLECT
15.23/15.30 c rational objective -7236
15.73/15.87 c bounds -7074 >= -648386 @ 15.3267
15.93/16.08 c bounds -7103 >= -648386 @ 15.529
15.93/16.09 c bounds -7105 >= -648386 @ 15.5385
16.22/16.39 c bounds -7131 >= -648386 @ 15.8256
17.22/17.34 c bounds -7140 >= -648386 @ 16.7744
17.93/18.09 c bounds -7171 >= -648386 @ 17.5085
18.32/18.41 c #Conflicts: 5000 | #Constraints: 3041
18.32/18.41 c bounds -7221 >= -648386 @ 17.8178
18.32/18.46 c bounds -7236 >= -648386 @ 17.8646
18.32/18.49 c bounds -7236 >= -7236 @ 17.891
18.32/18.49 c cpu time 17.891 s
18.32/18.49 c deterministic time 1115002992 1.12e+09
18.32/18.49 c optimization time 0.511015 s
18.32/18.49 c total solve time 17.371 s
18.32/18.49 c core-guided solve time 9.10161 s
18.32/18.49 c propagation time 9.51066 s
18.32/18.49 c conflict analysis time 6.06275 s
18.32/18.49 c propagations 5460159
18.32/18.49 c resolve steps 27531
18.32/18.49 c decisions 624259
18.32/18.49 c conflicts 5181
18.32/18.49 c restarts 28
18.32/18.49 c inprocessing phases 2
18.32/18.49 c garbage collections 2 ,( 100.00 )
18.32/18.49 c input clauses 128 ,( 17.49 )
18.32/18.49 c input cardinalities 328 ,( 44.81 )
18.32/18.49 c input general constraints 276 ,( 37.70 )
18.32/18.49 c input average constraint length 2109.32
18.32/18.49 c input average constraint degree 4112.33
18.32/18.49 c learned clauses 500 ,( 9.28 )
18.32/18.49 c learned cardinalities 81 ,( 1.50 )
18.32/18.49 c learned general constraints 4806 ,( 89.21 )
18.32/18.49 c learned average constraint length 3210.05
18.32/18.49 c learned average constraint degree 94798211664.22
18.32/18.49 c watched CF 32, 64, 128, Arb: 2181 , 0 , 0 , 0
18.32/18.49 c counting CF 32, 64, 128, Arb: 2902 , 0 , 0 , 0
18.32/18.49 c watched constraints 2181 ,( 42.92 )
18.32/18.49 c counting constraints 2901 ,( 57.08 )
18.32/18.49 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 61537 , 186352 , 1560416 ,( 571996 , 988420 )
18.32/18.49 c gcd simplifications 93
18.32/18.49 c detected cardinalities 10
18.32/18.49 c weakened non-implied lits 10526611
18.32/18.49 c weakened non-implying lits 9107
18.32/18.49 c original variables 6424
18.32/18.49 c clausal propagations 35367
18.32/18.49 c cardinality propagations 1608312
18.32/18.49 c watched propagations 17818
18.32/18.49 c counting propagations 3390454
18.32/18.49 c watch lookups 485241524
18.32/18.49 c watch backjump lookups 0
18.32/18.49 c watch checks 210485859
18.32/18.49 c propagation checks 348934909
18.32/18.49 c constraint additions 58164295
18.32/18.49 c trail pops 6085613
18.32/18.49 c formula constraints 180
18.32/18.49 c learned constraints 5007
18.32/18.49 c bound constraints 239
18.32/18.49 c core-guided constraints 313
18.32/18.49 c encountered formula constraints 16760
18.32/18.49 c encountered learned constraints 7047
18.32/18.49 c encountered bound constraints 563
18.32/18.49 c encountered core-guided constraints 3570
18.32/18.49 c LP total time 1.16584 s
18.32/18.49 c LP solve time 0.55 s
18.32/18.49 c LP constraints added 182
18.32/18.49 c LP constraints removed 0
18.32/18.49 c LP pivots internal 5187
18.32/18.49 c LP pivots root 1186
18.32/18.49 c LP calls 234
18.32/18.49 c LP optimalities 44
18.32/18.49 c LP no pivot count 6
18.32/18.49 c LP infeasibilities 190
18.32/18.49 c LP valid Farkas constraints 189
18.32/18.49 c LP learned Farkas constraints 189
18.32/18.49 c LP basis resets 0
18.32/18.49 c LP cycling count 0
18.32/18.49 c LP singular count 0
18.32/18.49 c LP no primal count 0
18.32/18.49 c LP no farkas count 0
18.32/18.49 c LP other issue count 0
18.32/18.49 c LP Gomory cuts 2
18.32/18.49 c LP learned cuts 0
18.32/18.49 c LP deleted cuts 0
18.32/18.49 c LP encountered Gomory constraints 0
18.32/18.49 c LP encountered Farkas constraints 4408
18.32/18.49 c LP encountered learned Farkas constraints 174
18.32/18.49 c CG auxiliary variables introduced 150
18.32/18.49 c CG solutions found 120
18.32/18.49 c CG cores constructed 118
18.32/18.49 c CG core cardinality constraints returned 30
18.32/18.49 c CG unit cores 4
18.32/18.49 c CG single cores 107
18.32/18.49 c CG blocks removed during cardinality reduction 3
18.32/18.49 c CG first core best 0
18.32/18.49 c CG decision core best 4
18.32/18.49 c CG core reduction tie 3
18.32/18.49 c CG core degree average 1.44
18.32/18.49 c CG core slack average 1.47
18.32/18.49 c CG core upper bound improvements 0
18.32/18.49 c STR number of successful calls 0
18.32/18.49 c STR number of unsuccessful calls 0
18.32/18.49 c STR number of inconclusive calls 0
18.32/18.49 c STR number of successful attempts 0
18.32/18.49 c STR number of unsuccessful attempts 0
18.32/18.49 c STR number of inconclusive attempts 0
18.32/18.49 c STR average degree increase per successful call inf
18.32/18.49 c STR average degree increase per successful attempt inf
18.32/18.49 c STR total number of conflicts for successful attempts 0
18.32/18.49 c STR total number of conflicts for unsuccessful attempts 0
18.32/18.49 c STR total number of conflicts for inconclusive attempts 0
18.32/18.49 c STR average number of conflicts per successful attempt inf
18.32/18.49 c STR average number of conflicts per unsuccessful attempt inf
18.32/18.49 c STR average number of conflicts per inconclusive attempt inf
18.32/18.49 c AVG.sumWPerc 51.74
18.32/18.49 c bigint constraints 0
18.32/18.49 o -7236
18.32/18.49 s OPTIMUM FOUND
18.32/18.49 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 (62099 MiB free)
memory of node 1: 64465 MiB (59390 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523150-1751647360/watcher-4523150-1751647360 -o /tmp/evaluation-result-4523150-1751647360/solver-4523150-1751647360 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751647258-97971 --watchdog 3760 run-opt-ls.sh HOME/instance-4523150-1751647360.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=98095, runsolver pid=98092
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 3.50 1.95 1.40 5/270 98098
/proc/meminfo: memFree=124398072/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
[pid=98098] ppid=98095 vsize=59712 memory=14308 CPUtime=0.06 cores=0,2
/proc/98098/stat : 98098 (roundingsat) R 98095 98095 97586 0 -1 4194304 1875 0 0 0 6 0 0 0 20 0 1 0 80410521 61145088 3577 18446744073709551615 4227072 8923433 140724485106768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41029632 140724485114181 140724485114407 140724485114407 140724485119978 0
/proc/98098/statm: 14928 3577 2336 1147 0 2355 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63904 KiB
Current children cumulated memory: 17380 KiB
[startup+0.205514 s]*
/proc/loadavg: 3.50 1.95 1.40 5/270 98098
/proc/meminfo: memFree=124398072/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
[pid=98098] ppid=98095 vsize=59712 memory=14308 CPUtime=0.17 cores=0,2
/proc/98098/stat : 98098 (roundingsat) R 98095 98095 97586 0 -1 4194304 1875 0 0 0 17 0 0 0 20 0 1 0 80410521 61145088 3577 18446744073709551615 4227072 8923433 140724485106768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41029632 140724485114181 140724485114407 140724485114407 140724485119978 0
/proc/98098/statm: 14928 3577 2336 1147 0 2355 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63904 KiB
Current children cumulated memory: 17380 KiB
[startup+0.304688 s]*
/proc/loadavg: 3.50 1.95 1.40 5/270 98098
/proc/meminfo: memFree=124398072/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
[pid=98098] ppid=98095 vsize=59712 memory=14308 CPUtime=0.27 cores=0,2
/proc/98098/stat : 98098 (roundingsat) R 98095 98095 97586 0 -1 4194304 1875 0 0 0 27 0 0 0 20 0 1 0 80410521 61145088 3577 18446744073709551615 4227072 8923433 140724485106768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41029632 140724485114181 140724485114407 140724485114407 140724485119978 0
/proc/98098/statm: 14928 3577 2336 1147 0 2355 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 63904 KiB
Current children cumulated memory: 17380 KiB
[startup+0.700139 s]
/proc/loadavg: 3.50 1.95 1.40 5/270 98098
/proc/meminfo: memFree=124398072/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
[pid=98098] ppid=98095 vsize=69128 memory=26220 CPUtime=0.66 cores=0,2
/proc/98098/stat : 98098 (roundingsat) R 98095 98095 97586 0 -1 4194304 3867 0 0 0 59 7 0 0 20 0 1 0 80410521 70787072 6555 18446744073709551615 4227072 8923433 140724485106768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41029632 140724485114181 140724485114407 140724485114407 140724485119978 0
/proc/98098/statm: 17282 6555 2432 1147 0 4709 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 73320 KiB
Current children cumulated memory: 29292 KiB
[startup+1.50013 s]
/proc/loadavg: 3.54 1.99 1.41 5/270 98098
/proc/meminfo: memFree=124385940/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
[pid=98098] ppid=98095 vsize=94884 memory=45460 CPUtime=1.45 cores=0,2
/proc/98098/stat : 98098 (roundingsat) R 98095 98095 97586 0 -1 4194304 6587 0 0 0 129 16 0 0 20 0 1 0 80410521 97161216 11365 18446744073709551615 4227072 8923433 140724485106768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41029632 140724485114181 140724485114407 140724485114407 140724485119978 0
/proc/98098/statm: 23721 11365 2464 1147 0 11148 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 99076 KiB
Current children cumulated memory: 48532 KiB
[startup+3.10541 s]
/proc/loadavg: 3.54 1.99 1.41 5/270 98098
/proc/meminfo: memFree=124331576/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
[pid=98098] ppid=98095 vsize=153124 memory=82884 CPUtime=3.05 cores=0,2
/proc/98098/stat : 98098 (roundingsat) R 98095 98095 97586 0 -1 4194304 9301 0 0 0 280 25 0 0 20 0 1 0 80410521 156798976 20721 18446744073709551615 4227072 8923433 140724485106768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41029632 140724485114181 140724485114407 140724485114407 140724485119978 0
/proc/98098/statm: 38281 20721 2464 1147 0 25708 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 157316 KiB
Current children cumulated memory: 85956 KiB
[startup+6.3002 s]
/proc/loadavg: 3.66 2.04 1.43 5/270 98098
/proc/meminfo: memFree=123848808/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
[pid=98098] ppid=98095 vsize=184892 memory=135096 CPUtime=6.24 cores=0,2
/proc/98098/stat : 98098 (roundingsat) R 98095 98095 97586 0 -1 4194304 17241 0 0 0 589 35 0 0 20 0 1 0 80410521 189329408 33774 18446744073709551615 4227072 8923433 140724485106768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41029632 140724485114181 140724485114407 140724485114407 140724485119978 0
/proc/98098/statm: 46223 33774 2464 1147 0 33650 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 189084 KiB
Current children cumulated memory: 138168 KiB
[startup+12.7002 s]
/proc/loadavg: 3.69 2.07 1.45 5/270 98098
/proc/meminfo: memFree=123784020/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
[pid=98098] ppid=98095 vsize=273276 memory=217656 CPUtime=12.62 cores=0,2
/proc/98098/stat : 98098 (roundingsat) R 98095 98095 97586 0 -1 4194304 37896 0 0 0 1217 45 0 0 20 0 1 0 80410521 279834624 54414 18446744073709551615 4227072 8923433 140724485106768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41029632 140724485114181 140724485114407 140724485114407 140724485119978 0
/proc/98098/statm: 68319 54414 2464 1147 0 55746 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 277468 KiB
Current children cumulated memory: 220728 KiB
[startup+18.5047 s]
# the end of solver process 98095 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=17.9082 s, system=0.531876 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 3.69 2.07 1.45 5/270 98098
/proc/meminfo: memFree=123784020/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
[pid=98098] ppid=98095 vsize=273416 memory=217656 CPUtime=12.72 cores=0,2
/proc/98098/stat : 98098 (roundingsat) R 98095 98095 97586 0 -1 4194304 37916 0 0 0 1227 45 0 0 20 0 1 0 80410521 279977984 54414 18446744073709551615 4227072 8923433 140724485106768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41029632 140724485114181 140724485114407 140724485114407 140724485119978 0
/proc/98098/statm: 68354 54414 2464 1147 0 55781 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 277608 KiB
Current children cumulated memory: 220728 KiB
[startup+16.0001 s]*
/proc/loadavg: 3.71 2.10 1.46 5/270 98098
/proc/meminfo: memFree=123756760/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
[pid=98098] ppid=98095 vsize=278916 memory=222776 CPUtime=15.92 cores=0,2
/proc/98098/stat : 98098 (roundingsat) R 98095 98095 97586 0 -1 4194304 39196 0 0 0 1545 47 0 0 20 0 1 0 80410521 285609984 55694 18446744073709551615 4227072 8923433 140724485106768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41029632 140724485114181 140724485114407 140724485114407 140724485119978 0
/proc/98098/statm: 69729 55694 2464 1147 0 57156 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 283108 KiB
Current children cumulated memory: 225848 KiB
[startup+17.6001 s]
/proc/loadavg: 3.71 2.10 1.46 5/270 98098
/proc/meminfo: memFree=123757012/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
[pid=98098] ppid=98095 vsize=282840 memory=226488 CPUtime=17.51 cores=0,2
/proc/98098/stat : 98098 (roundingsat) R 98095 98095 97586 0 -1 4194304 40121 0 0 0 1701 50 0 0 20 0 1 0 80410521 289628160 56622 18446744073709551615 4227072 8923433 140724485106768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41029632 140724485114181 140724485114407 140724485114407 140724485119978 0
/proc/98098/statm: 70710 56622 2464 1147 0 58137 0
Current children cumulated CPU time: 17.52 s
Current children cumulated vsize: 287032 KiB
Current children cumulated memory: 229560 KiB
[startup+18.0001 s]*
/proc/loadavg: 3.71 2.10 1.46 5/270 98098
/proc/meminfo: memFree=123749200/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
[pid=98098] ppid=98095 vsize=288108 memory=231352 CPUtime=17.92 cores=0,2
/proc/98098/stat : 98098 (roundingsat) R 98095 98095 97586 0 -1 4194304 41339 0 0 0 1742 50 0 0 20 0 1 0 80410521 295022592 57838 18446744073709551615 4227072 8923433 140724485106768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41029632 140724485114181 140724485114407 140724485114407 140724485119978 0
/proc/98098/statm: 72027 57838 2464 1147 0 59454 0
Current children cumulated CPU time: 17.93 s
Current children cumulated vsize: 292300 KiB
Current children cumulated memory: 234424 KiB
[startup+18.4001 s]
/proc/loadavg: 3.71 2.10 1.46 5/270 98098
/proc/meminfo: memFree=123749200/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
[pid=98098] ppid=98095 vsize=289284 memory=232376 CPUtime=18.31 cores=0,2
/proc/98098/stat : 98098 (roundingsat) R 98095 98095 97586 0 -1 4194304 41575 0 0 0 1780 51 0 0 20 0 1 0 80410521 296226816 58094 18446744073709551615 4227072 8923433 140724485106768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41029632 140724485114181 140724485114407 140724485114407 140724485119978 0
/proc/98098/statm: 72321 58094 2464 1147 0 59748 0
Current children cumulated CPU time: 18.32 s
Current children cumulated vsize: 293476 KiB
Current children cumulated memory: 235448 KiB
[startup+18.5001 s]
/proc/loadavg: 3.71 2.10 1.46 5/270 98098
/proc/meminfo: memFree=123749200/131249992 swapFree=33009392/33010684
[pid=98095] ppid=98092 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/98095/stat : 98095 (run-opt-ls.sh) S 98092 98095 97586 0 -1 4194304 237 2860 0 0 0 0 1 0 20 0 1 0 80410519 4292608 768 18446744073709551615 94607399534592 94607400429125 140736074935344 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94607400668176 94607400715920 94607417298944 140736074942822 140736074942948 140736074942948 140736074948551 0
/proc/98095/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 18.5048
CPU time (s): 18.44
CPU user time (s): 17.9082
CPU system time (s): 0.531876
CPU usage (%): 99.6502
Max. virtual memory (cumulated for all children) (KiB): 293476
Max. memory (cumulated for all children) (KiB): 235448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.9082
system time used= 0.531876
maximum resident set size= 232504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44725
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 57
# summary of solver processes directly reported to runsolver:
# pid: 98095
# total CPU time (s): 18.44
# total CPU user time (s): 17.9082
# total CPU system time (s): 0.531876
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046127 second user time and 0.112308 second system time
The end
Begin job on nodeC035 at 2025-07-04 18:42:40
IDJOB=4523150
IDBENCH=179713
IDSOLVER=3355
FILE ID=nodeC035/4523150-1751647360
RUNJOBID= nodeC035-1751647258-97971
SLURM_JOB_ID= 9672340
Free space on /tmp= 432512 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_230_000.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523150-1751647360/watcher-4523150-1751647360 -o /tmp/evaluation-result-4523150-1751647360/solver-4523150-1751647360 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751647258-97971 --watchdog 3760 run-opt-ls.sh HOME/instance-4523150-1751647360.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c0a31fcc227365986291d6c595cc47ca
RANDOM SEED=421011247
nodeC035 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.714
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.749
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.51
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 : 3603.309
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.594
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.51
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.751
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.51
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.822
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.51
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.202
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.51
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 : 3700.000
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 124406356 kB
MemAvailable: 127370340 kB
Buffers: 664 kB
Cached: 3712376 kB
SwapCached: 332 kB
Active: 2654516 kB
Inactive: 3401400 kB
Active(anon): 2339540 kB
Inactive(anon): 21036 kB
Active(file): 314976 kB
Inactive(file): 3380364 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7460 kB
Writeback: 232 kB
AnonPages: 2345588 kB
Mapped: 118312 kB
Shmem: 17700 kB
KReclaimable: 215768 kB
Slab: 308096 kB
SReclaimable: 215768 kB
SUnreclaim: 92328 kB
KernelStack: 4368 kB
PageTables: 7980 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3017340 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1042432 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432504 MiB
End job on nodeC035 at 2025-07-04 18:42:59