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-4523242-1751647475.opb'
0.00/0.01 c read 0.20MB (2.98ms)
0.00/0.01 c [cnf: #variables 5475 #clauses 182 #duplicates 0 #arr 21518]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 0] (5.76ms)
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 (0.80ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 22079 #edges 75880]
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.28ms)
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-4523242-1751647475.opb.pre'
0.00/0.02 c wrote 0.20MB (0.59ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 5.76ms 47.65% approx_orbits
0.00/0.02 c 2.98ms 24.64% parse
0.00/0.02 c 1.28ms 10.58% detect_generic
0.00/0.02 c 0.80ms 6.63% detect_special
0.00/0.02 c 0.59ms 4.90% output
0.00/0.02 c 0.50ms 4.16% other
0.00/0.02 c 0.18ms 1.45% finalize_order
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 12.10ms 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 5475 #constraints 181
0.00/0.04 c objective is ce32
0.18/0.28 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.18/0.28 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.18/0.28 c bounds -2066 >= -629333 @ 0.251806
0.18/0.31 c rational objective -7948.5
0.28/0.34 c bounds -2152 >= -629333 @ 0.300075
0.28/0.34 c bounds -2152 >= -627921 @ 0.301595
0.28/0.34 c bounds -2152 >= -626731 @ 0.302246
0.28/0.34 c bounds -2152 >= -625320 @ 0.302937
0.28/0.34 c bounds -2152 >= -625079 @ 0.303563
0.28/0.34 c bounds -2152 >= -624610 @ 0.304162
0.28/0.34 c bounds -2152 >= -624379 @ 0.304751
0.28/0.34 c bounds -2152 >= -624149 @ 0.305398
0.28/0.34 c bounds -2152 >= -623222 @ 0.306015
0.28/0.35 c bounds -3574 >= -623222 @ 0.306457
0.28/0.35 c bounds -3758 >= -623222 @ 0.30833
0.28/0.35 c bounds -3773 >= -623222 @ 0.312667
0.28/0.35 c bounds -3773 >= -622081 @ 0.313513
0.28/0.36 c bounds -3773 >= -621623 @ 0.314716
0.28/0.36 c bounds -3773 >= -621165 @ 0.315418
0.28/0.36 c bounds -3773 >= -620937 @ 0.316113
0.28/0.36 c bounds -3880 >= -620937 @ 0.316763
0.28/0.36 c bounds -3880 >= -620709 @ 0.317497
0.38/0.46 c bounds -3911 >= -620709 @ 0.41544
0.38/0.46 c bounds -4015 >= -620709 @ 0.41634
0.38/0.46 c bounds -4026 >= -620709 @ 0.417053
0.38/0.47 c bounds -4119 >= -620709 @ 0.42117
0.38/0.48 c bounds -4131 >= -620709 @ 0.43
0.38/0.49 c bounds -4320 >= -620709 @ 0.439837
0.38/0.50 c bounds -4348 >= -620709 @ 0.443779
0.38/0.50 c bounds -4389 >= -620709 @ 0.447481
0.38/0.50 c bounds -4475 >= -620709 @ 0.44853
0.48/0.51 c bounds -4647 >= -620709 @ 0.452503
0.48/0.51 c bounds -4704 >= -620709 @ 0.454055
0.48/0.51 c bounds -4767 >= -620709 @ 0.457012
0.48/0.52 c bounds -4848 >= -620709 @ 0.459407
0.48/0.52 c bounds -4881 >= -620709 @ 0.467736
0.48/0.54 c bounds -4919 >= -620709 @ 0.48085
0.48/0.55 c bounds -4933 >= -620709 @ 0.487973
0.48/0.55 c bounds -4977 >= -620709 @ 0.491255
0.48/0.58 c bounds -5012 >= -620709 @ 0.511934
0.48/0.58 c bounds -5115 >= -620709 @ 0.516284
0.48/0.60 c bounds -5117 >= -620709 @ 0.528446
0.58/0.60 c bounds -5162 >= -620709 @ 0.530972
0.58/0.60 c bounds -5352 >= -620709 @ 0.533916
0.58/0.61 c bounds -5461 >= -620709 @ 0.537285
0.58/0.61 c bounds -5550 >= -620709 @ 0.540153
0.58/0.62 c bounds -5627 >= -620709 @ 0.545755
0.58/0.63 c bounds -5679 >= -620709 @ 0.548853
0.58/0.63 c bounds -5732 >= -620709 @ 0.553308
0.58/0.64 c bounds -5876 >= -620709 @ 0.557926
0.58/0.66 c bounds -5922 >= -620709 @ 0.578439
0.58/0.67 c bounds -5983 >= -620709 @ 0.585616
0.58/0.68 c bounds -5997 >= -620709 @ 0.594582
0.58/0.69 c bounds -5997 >= -620482 @ 0.595384
0.58/0.69 c bounds -5997 >= -620255 @ 0.596104
0.58/0.69 c bounds -5997 >= -620028 @ 0.597026
0.58/0.69 c bounds -5997 >= -619801 @ 0.597154
0.58/0.69 c bounds -5997 >= -619574 @ 0.597624
0.58/0.69 c bounds -5997 >= -619347 @ 0.598336
0.67/0.77 c bounds -6030 >= -619347 @ 0.670102
0.67/0.77 c bounds -6031 >= -619347 @ 0.672588
0.67/0.78 c bounds -6034 >= -619347 @ 0.678629
0.67/0.78 c bounds -6193 >= -619347 @ 0.682538
0.67/0.78 c bounds -6204 >= -619347 @ 0.684725
0.67/0.79 c bounds -6296 >= -619347 @ 0.689326
0.67/0.79 c bounds -6381 >= -619347 @ 0.689474
0.77/0.80 c bounds -6384 >= -619347 @ 0.69155
0.77/0.80 c bounds -6397 >= -619347 @ 0.698025
0.77/0.81 c bounds -6422 >= -619347 @ 0.703055
0.77/0.81 c bounds -6460 >= -619347 @ 0.707324
0.87/0.94 c bounds -6482 >= -619347 @ 0.828646
0.87/0.94 c bounds -6482 >= -619121 @ 0.829511
0.87/0.94 c bounds -6482 >= -618895 @ 0.830119
0.87/0.94 c bounds -6482 >= -618669 @ 0.830969
0.87/0.94 c bounds -6482 >= -618443 @ 0.832086
0.87/0.96 c bounds -6550 >= -618443 @ 0.848618
0.87/0.96 c bounds -6550 >= -618218 @ 0.84937
0.87/0.96 c bounds -6550 >= -617993 @ 0.850298
0.87/0.96 c bounds -6550 >= -617543 @ 0.851134
1.07/1.13 c bounds -6571 >= -617543 @ 1.01169
1.07/1.15 c bounds -6626 >= -617543 @ 1.02889
1.17/1.26 c bounds -6686 >= -617543 @ 1.13863
1.17/1.26 c bounds -6686 >= -617319 @ 1.13999
1.17/1.26 c bounds -6686 >= -617095 @ 1.14099
1.17/1.26 c bounds -6686 >= -616423 @ 1.14188
1.17/1.26 c bounds -6686 >= -615975 @ 1.14286
1.57/1.69 c bounds -6732 >= -615975 @ 1.56246
1.87/1.92 c bounds -6746 >= -615975 @ 1.78957
1.97/2.03 c bounds -6751 >= -615975 @ 1.89267
1.97/2.03 c bounds -6751 >= -615752 @ 1.89371
1.97/2.03 c bounds -6751 >= -615083 @ 1.89467
1.97/2.04 c bounds -6751 >= -614637 @ 1.89581
1.97/2.04 c bounds -6751 >= -614414 @ 1.8965
1.97/2.04 c bounds -6751 >= -614191 @ 1.89755
2.07/2.12 c bounds -6754 >= -614191 @ 1.97712
2.07/2.12 c bounds -6754 >= -613747 @ 1.97819
2.07/2.12 c bounds -6754 >= -613303 @ 1.97899
2.07/2.12 c bounds -6754 >= -613081 @ 1.97989
2.07/2.17 c bounds -6777 >= -613081 @ 2.02723
2.07/2.17 c bounds -6777 >= -612861 @ 2.02812
2.07/2.18 c bounds -6777 >= -612200 @ 2.02901
2.07/2.18 c bounds -6777 >= -611759 @ 2.02983
2.07/2.18 c bounds -6777 >= -611318 @ 2.03084
2.07/2.18 c bounds -6777 >= -611097 @ 2.03164
2.07/2.18 c bounds -6777 >= -610877 @ 2.03251
2.07/2.18 c bounds -6777 >= -610657 @ 2.0339
2.37/2.46 c bounds -6782 >= -610657 @ 2.3009
2.97/3.02 c #Conflicts: 1000 | #Constraints: 1438
2.97/3.02 c bounds -6804 >= -610657 @ 2.8549
2.97/3.02 c bounds -6804 >= -610000 @ 2.85574
2.97/3.02 c bounds -6804 >= -609781 @ 2.85675
2.97/3.04 c bounds -6804 >= -609562 @ 2.87546
2.97/3.04 c bounds -6804 >= -609343 @ 2.87662
2.97/3.04 c bounds -6804 >= -609124 @ 2.8777
3.97/4.04 c bounds -6813 >= -609124 @ 3.85044
4.06/4.18 c bounds -6838 >= -609124 @ 3.98377
4.36/4.48 c bounds -6882 >= -609124 @ 4.27474
4.46/4.59 c bounds -6926 >= -609124 @ 4.37494
4.56/4.67 c bounds -6927 >= -609124 @ 4.45273
4.56/4.67 c bounds -6927 >= -608688 @ 4.45526
4.56/4.67 c bounds -6927 >= -608252 @ 4.45754
4.56/4.67 c bounds -6927 >= -607816 @ 4.45927
5.06/5.15 c #Conflicts: 2000 | #Constraints: 2501
5.06/5.15 c INPROCESSING
5.06/5.15 c GARBAGE COLLECT
5.06/5.15 c rational objective -7944
5.36/5.45 c bounds -6932 >= -607816 @ 5.22185
5.75/5.80 c bounds -7007 >= -607816 @ 5.56089
5.75/5.80 c bounds -7007 >= -607599 @ 5.56279
5.75/5.80 c bounds -7007 >= -607382 @ 5.5649
5.75/5.80 c bounds -7007 >= -606731 @ 5.56783
5.75/5.80 c bounds -7007 >= -606514 @ 5.56931
5.75/5.81 c bounds -7007 >= -606297 @ 5.57223
6.75/6.82 c bounds -7010 >= -606297 @ 6.56069
6.75/6.85 c bounds -7015 >= -606297 @ 6.58666
6.86/6.95 c bounds -7017 >= -606297 @ 6.68098
6.96/7.07 c bounds -7086 >= -606297 @ 6.79953
6.96/7.07 c bounds -7086 >= -606081 @ 6.80295
7.85/7.93 c #Conflicts: 3000 | #Constraints: 2417
7.85/7.93 c bounds -7293 >= -606081 @ 7.64693
7.85/7.94 c bounds -7293 >= -605865 @ 7.65332
7.85/7.94 c bounds -7293 >= -605649 @ 7.65997
7.85/7.95 c bounds -7293 >= -605433 @ 7.66535
7.85/7.95 c bounds -7293 >= -605217 @ 7.66934
9.35/9.47 c bounds -7293 >= -605001 @ 9.15999
12.05/12.17 c #Conflicts: 4000 | #Constraints: 3445
12.05/12.17 c bounds -7297 >= -605001 @ 11.8141
12.14/12.21 c bounds -7324 >= -605001 @ 11.8561
12.14/12.26 c bounds -7386 >= -605001 @ 11.9063
12.24/12.33 c bounds -7387 >= -605001 @ 11.9693
12.44/12.52 c bounds -7419 >= -605001 @ 12.1578
12.54/12.65 c bounds -7424 >= -605001 @ 12.2871
12.54/12.69 c bounds -7430 >= -605001 @ 12.3239
12.83/12.98 c INPROCESSING
12.83/12.98 c GARBAGE COLLECT
12.83/12.98 c rational objective -7944
13.24/13.34 c bounds -7433 >= -605001 @ 12.9643
13.63/13.76 c bounds -7508 >= -605001 @ 13.3798
13.94/14.09 c bounds -7524 >= -605001 @ 13.7031
14.13/14.20 c bounds -7552 >= -605001 @ 13.8114
14.13/14.23 c bounds -7553 >= -605001 @ 13.8347
14.64/14.75 c bounds -7586 >= -605001 @ 14.3571
15.04/15.12 c bounds -7605 >= -605001 @ 14.7192
15.53/15.67 c bounds -7608 >= -605001 @ 15.2583
16.04/16.16 c #Conflicts: 5000 | #Constraints: 2878
16.04/16.16 c bounds -7743 >= -605001 @ 15.7349
16.04/16.17 c bounds -7743 >= -604786 @ 15.7425
16.04/16.18 c bounds -7743 >= -604571 @ 15.7463
16.04/16.18 c bounds -7743 >= -604356 @ 15.7545
16.13/16.21 c bounds -7743 >= -604141 @ 15.778
16.13/16.23 c bounds -7743 >= -603926 @ 15.7964
21.81/22.00 c bounds -7743 >= -603711 @ 21.5168
23.01/23.14 c #Conflicts: 6000 | #Constraints: 3924
23.01/23.14 c bounds -7757 >= -603711 @ 22.6401
23.41/23.58 c bounds -7758 >= -603711 @ 23.0679
23.81/23.95 c bounds -7769 >= -603711 @ 23.4265
24.01/24.13 c bounds -7781 >= -603711 @ 23.6055
24.31/24.45 c bounds -7818 >= -603711 @ 23.915
24.50/24.64 c bounds -7824 >= -603711 @ 24.1038
24.80/24.94 c INPROCESSING
24.80/24.94 c GARBAGE COLLECT
24.80/24.94 c rational objective -7944
25.30/25.45 c bounds -7850 >= -603711 @ 24.9082
25.70/25.84 c bounds -7889 >= -603711 @ 25.2935
25.90/26.10 c #Conflicts: 7000 | #Constraints: 2883
25.90/26.10 c bounds -7891 >= -603711 @ 25.5407
26.10/26.29 c bounds -7901 >= -603711 @ 25.7315
26.80/26.93 c bounds -7903 >= -603711 @ 26.3682
26.80/26.99 c bounds -7914 >= -603711 @ 26.4322
27.00/27.12 c bounds -7917 >= -603711 @ 26.5521
28.20/28.30 c #Conflicts: 8000 | #Constraints: 3929
28.20/28.30 c bounds -7929 >= -603711 @ 27.7243
30.09/30.22 c bounds -7935 >= -603711 @ 29.6202
30.19/30.37 c bounds -7935 >= -247110 @ 29.7701
30.59/30.71 c bounds -7935 >= -243555 @ 30.1103
30.59/30.78 c bounds -7941 >= -243555 @ 30.1789
30.59/30.79 c bounds -7941 >= -237997 @ 30.1832
30.59/30.79 c bounds -7941 >= -237783 @ 30.1905
30.69/30.89 c bounds -7941 >= -237569 @ 30.2841
31.48/31.63 c #Conflicts: 9000 | #Constraints: 4980
31.48/31.63 c bounds -7941 >= -218875 @ 31.028
31.48/31.65 c bounds -7942 >= -218875 @ 31.0491
31.48/31.67 c bounds -7944 >= -218875 @ 31.0649
31.48/31.69 c bounds -7944 >= -7944 @ 31.0801
31.48/31.69 c cpu time 31.0801 s
31.48/31.69 c deterministic time 2323520500 2.32e+09
31.48/31.69 c optimization time 0.354867 s
31.48/31.69 c total solve time 30.7168 s
31.48/31.69 c core-guided solve time 15.1633 s
31.48/31.69 c propagation time 17.6103 s
31.48/31.69 c conflict analysis time 9.87407 s
31.48/31.69 c propagations 4143131
31.48/31.69 c resolve steps 50754
31.48/31.69 c decisions 401371
31.48/31.69 c conflicts 9106
31.48/31.69 c restarts 37
31.48/31.69 c inprocessing phases 3
31.48/31.69 c garbage collections 3 ,( 100.00 )
31.48/31.69 c input clauses 103 ,( 18.13 )
31.48/31.69 c input cardinalities 272 ,( 47.89 )
31.48/31.69 c input general constraints 193 ,( 33.98 )
31.48/31.69 c input average constraint length 1673.89
31.48/31.69 c input average constraint degree 3258.03
31.48/31.69 c learned clauses 499 ,( 5.30 )
31.48/31.69 c learned cardinalities 96 ,( 1.02 )
31.48/31.69 c learned general constraints 8816 ,( 93.68 )
31.48/31.69 c learned average constraint length 2834.55
31.48/31.69 c learned average constraint degree 80671947157.37
31.48/31.69 c watched CF 32, 64, 128, Arb: 3872 , 0 , 0 , 0
31.48/31.69 c counting CF 32, 64, 128, Arb: 5138 , 0 , 0 , 0
31.48/31.69 c watched constraints 3872 ,( 42.98 )
31.48/31.69 c counting constraints 5137 ,( 57.02 )
31.48/31.69 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 73107 , 240185 , 2974070 ,( 1311440 , 1662630 )
31.48/31.69 c gcd simplifications 109
31.48/31.69 c detected cardinalities 34
31.48/31.69 c weakened non-implied lits 11335194
31.48/31.69 c weakened non-implying lits 20008
31.48/31.69 c original variables 5475
31.48/31.69 c clausal propagations 34257
31.48/31.69 c cardinality propagations 1190479
31.48/31.69 c watched propagations 54462
31.48/31.69 c counting propagations 2489915
31.48/31.69 c watch lookups 1208093496
31.48/31.69 c watch backjump lookups 0
31.48/31.69 c watch checks 458587887
31.48/31.69 c propagation checks 552980549
31.48/31.69 c constraint additions 94754018
31.48/31.69 c trail pops 4549553
31.48/31.69 c formula constraints 181
31.48/31.69 c learned constraints 8812
31.48/31.69 c bound constraints 182
31.48/31.69 c core-guided constraints 205
31.48/31.69 c encountered formula constraints 32996
31.48/31.69 c encountered learned constraints 12293
31.48/31.69 c encountered bound constraints 814
31.48/31.69 c encountered core-guided constraints 1874
31.48/31.69 c LP total time 1.91008 s
31.48/31.69 c LP solve time 0.74 s
31.48/31.69 c LP constraints added 182
31.48/31.69 c LP constraints removed 0
31.48/31.69 c LP pivots internal 9131
31.48/31.69 c LP pivots root 1363
31.48/31.69 c LP calls 338
31.48/31.69 c LP optimalities 38
31.48/31.69 c LP no pivot count 4
31.48/31.69 c LP infeasibilities 300
31.48/31.69 c LP valid Farkas constraints 299
31.48/31.69 c LP learned Farkas constraints 299
31.48/31.69 c LP basis resets 0
31.48/31.69 c LP cycling count 0
31.48/31.69 c LP singular count 0
31.48/31.69 c LP no primal count 0
31.48/31.69 c LP no farkas count 0
31.48/31.69 c LP other issue count 0
31.48/31.69 c LP Gomory cuts 1
31.48/31.69 c LP learned cuts 0
31.48/31.69 c LP deleted cuts 0
31.48/31.69 c LP encountered Gomory constraints 0
31.48/31.69 c LP encountered Farkas constraints 11150
31.48/31.69 c LP encountered learned Farkas constraints 433
31.48/31.69 c CG auxiliary variables introduced 99
31.48/31.69 c CG solutions found 105
31.48/31.69 c CG cores constructed 76
31.48/31.69 c CG core cardinality constraints returned 24
31.48/31.69 c CG unit cores 0
31.48/31.69 c CG single cores 73
31.48/31.69 c CG blocks removed during cardinality reduction 1
31.48/31.69 c CG first core best 0
31.48/31.69 c CG decision core best 1
31.48/31.69 c CG core reduction tie 2
31.48/31.69 c CG core degree average 1.59
31.48/31.69 c CG core slack average 1.24
31.48/31.69 c CG core upper bound improvements 0
31.48/31.69 c STR number of successful calls 0
31.48/31.69 c STR number of unsuccessful calls 0
31.48/31.69 c STR number of inconclusive calls 0
31.48/31.69 c STR number of successful attempts 0
31.48/31.69 c STR number of unsuccessful attempts 0
31.48/31.69 c STR number of inconclusive attempts 0
31.48/31.69 c STR average degree increase per successful call inf
31.48/31.69 c STR average degree increase per successful attempt inf
31.48/31.69 c STR total number of conflicts for successful attempts 0
31.48/31.69 c STR total number of conflicts for unsuccessful attempts 0
31.48/31.69 c STR total number of conflicts for inconclusive attempts 0
31.48/31.69 c STR average number of conflicts per successful attempt inf
31.48/31.69 c STR average number of conflicts per unsuccessful attempt inf
31.48/31.69 c STR average number of conflicts per inconclusive attempt inf
31.48/31.69 c AVG.sumWPerc 51.05
31.48/31.69 c bigint constraints 0
31.48/31.69 o -7944
31.48/31.69 s OPTIMUM FOUND
31.48/31.69 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
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 (54491 MiB free)
memory of node 1: 64465 MiB (51467 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523242-1751647475/watcher-4523242-1751647475 -o /tmp/evaluation-result-4523242-1751647475/solver-4523242-1751647475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751647313-93238 --watchdog 3760 run-opt-ls.sh HOME/instance-4523242-1751647475.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=93402, runsolver pid=93399
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 3.89 2.39 1.83 5/274 93405
/proc/meminfo: memFree=108502636/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=59204 memory=13600 CPUtime=0.06 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 1690 0 0 0 6 0 0 0 20 0 1 0 80426167 60624896 3400 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 14801 3400 2272 1147 0 2228 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63396 KiB
Current children cumulated memory: 16672 KiB
[startup+0.20574 s]*
/proc/loadavg: 3.89 2.39 1.83 5/274 93405
/proc/meminfo: memFree=108502664/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=59204 memory=13600 CPUtime=0.17 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 1690 0 0 0 17 0 0 0 20 0 1 0 80426167 60624896 3400 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 14801 3400 2272 1147 0 2228 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63396 KiB
Current children cumulated memory: 16672 KiB
[startup+0.305498 s]*
/proc/loadavg: 3.89 2.39 1.83 5/274 93405
/proc/meminfo: memFree=108502664/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=62316 memory=16800 CPUtime=0.27 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 2452 0 0 0 27 0 0 0 20 0 1 0 80426167 63811584 4200 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 15579 4200 2336 1147 0 3006 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 66508 KiB
Current children cumulated memory: 19872 KiB
[startup+0.700195 s]
/proc/loadavg: 3.89 2.39 1.83 5/274 93405
/proc/meminfo: memFree=108494032/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=73164 memory=27748 CPUtime=0.66 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 4177 0 0 0 60 6 0 0 20 0 1 0 80426167 74919936 6937 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 18291 6937 2400 1147 0 5718 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 77356 KiB
Current children cumulated memory: 30820 KiB
[startup+1.50021 s]
/proc/loadavg: 3.89 2.39 1.83 5/274 93405
/proc/meminfo: memFree=108480548/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=94976 memory=47608 CPUtime=1.45 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 6587 0 0 0 136 9 0 0 20 0 1 0 80426167 97255424 11902 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 23744 11902 2400 1147 0 11171 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 99168 KiB
Current children cumulated memory: 50680 KiB
[startup+3.10556 s]
/proc/loadavg: 3.89 2.39 1.83 5/274 93405
/proc/meminfo: memFree=108424424/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=119224 memory=75352 CPUtime=3.06 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 8419 0 0 0 293 13 0 0 20 0 1 0 80426167 122085376 18838 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 29806 18838 2400 1147 0 17233 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 123416 KiB
Current children cumulated memory: 78424 KiB
[startup+6.30019 s]
/proc/loadavg: 3.90 2.42 1.84 5/274 93405
/proc/meminfo: memFree=108341368/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=194528 memory=144376 CPUtime=6.24 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 19552 0 0 0 604 20 0 0 20 0 1 0 80426167 199196672 36094 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 48632 36094 2400 1147 0 36059 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 198720 KiB
Current children cumulated memory: 147448 KiB
[startup+12.7002 s]
/proc/loadavg: 3.91 2.45 1.85 5/274 93405
/proc/meminfo: memFree=108185312/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=322196 memory=229708 CPUtime=12.63 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 37815 0 0 0 1233 30 0 0 20 0 1 0 80426167 329928704 57427 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 80549 57427 2400 1147 0 67976 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 326388 KiB
Current children cumulated memory: 232780 KiB
[startup+25.5002 s]
/proc/loadavg: 4.00 2.54 1.90 5/274 93406
/proc/meminfo: memFree=107973556/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=432660 memory=339844 CPUtime=25.39 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 62293 0 0 0 2494 45 0 0 20 0 1 0 80426167 443043840 84961 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 108165 84961 2400 1147 0 95592 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 436852 KiB
Current children cumulated memory: 342916 KiB
[startup+31.711 s]
# the end of solver process 93402 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=31.0927 s, system=0.522272 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.00 2.54 1.90 5/274 93406
/proc/meminfo: memFree=107973556/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=432660 memory=339844 CPUtime=25.49 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 62293 0 0 0 2504 45 0 0 20 0 1 0 80426167 443043840 84961 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 108165 84961 2400 1147 0 95592 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 436852 KiB
Current children cumulated memory: 342916 KiB
[startup+28.8002 s]
/proc/loadavg: 4.00 2.54 1.90 5/274 93406
/proc/meminfo: memFree=107948864/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=439780 memory=345092 CPUtime=28.68 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 63595 0 0 0 2820 48 0 0 20 0 1 0 80426167 450334720 86273 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 109945 86273 2400 1147 0 97372 0
Current children cumulated CPU time: 28.69 s
Current children cumulated vsize: 443972 KiB
Current children cumulated memory: 348164 KiB
[startup+30.4002 s]
/proc/loadavg: 4.00 2.56 1.91 5/274 93406
/proc/meminfo: memFree=107879180/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=448128 memory=351492 CPUtime=30.28 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 65208 0 0 0 2979 49 0 0 20 0 1 0 80426167 458883072 87873 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 112032 87873 2400 1147 0 99459 0
Current children cumulated CPU time: 30.29 s
Current children cumulated vsize: 452320 KiB
Current children cumulated memory: 354564 KiB
[startup+31.2002 s]
/proc/loadavg: 4.00 2.56 1.91 5/274 93406
/proc/meminfo: memFree=107867144/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=451120 memory=354052 CPUtime=31.08 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 65863 0 0 0 3059 49 0 0 20 0 1 0 80426167 461946880 88513 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 112780 88513 2400 1147 0 100207 0
Current children cumulated CPU time: 31.09 s
Current children cumulated vsize: 455312 KiB
Current children cumulated memory: 357124 KiB
[startup+31.6002 s]
/proc/loadavg: 4.00 2.56 1.91 5/274 93406
/proc/meminfo: memFree=107867144/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/statm: 1048 768 704 219 0 110 0
[pid=93405] ppid=93402 vsize=451760 memory=354692 CPUtime=31.47 cores=4,6
/proc/93405/stat : 93405 (roundingsat) R 93402 93402 92843 0 -1 4194304 66005 0 0 0 3098 49 0 0 20 0 1 0 80426167 462602240 88673 18446744073709551615 4227072 8923433 140728744579424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35692544 140728744581445 140728744581671 140728744581671 140728744587242 0
/proc/93405/statm: 112940 88673 2400 1147 0 100367 0
Current children cumulated CPU time: 31.48 s
Current children cumulated vsize: 455952 KiB
Current children cumulated memory: 357764 KiB
[startup+31.7002 s]
/proc/loadavg: 4.00 2.56 1.91 5/274 93406
/proc/meminfo: memFree=107867144/131249996 swapFree=33010160/33010684
[pid=93402] ppid=93399 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/93402/stat : 93402 (run-opt-ls.sh) S 93399 93402 92843 0 -1 4194304 236 2124 0 0 0 0 1 0 20 0 1 0 80426165 4292608 768 18446744073709551615 94028856975360 94028857869893 140720350227168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94028858108944 94028858156688 94028867342336 140720350230886 140720350231012 140720350231012 140720350236615 0
/proc/93402/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): 31.711
CPU time (s): 31.615
CPU user time (s): 31.0927
CPU system time (s): 0.522272
CPU usage (%): 99.6971
Max. virtual memory (cumulated for all children) (KiB): 455952
Max. memory (cumulated for all children) (KiB): 357764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.0927
system time used= 0.522272
maximum resident set size= 354820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68421
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
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: 93402
# total CPU time (s): 31.615
# total CPU user time (s): 31.0927
# total CPU system time (s): 0.522272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062042 second user time and 0.192977 second system time
The end
Begin job on nodeC032 at 2025-07-04 18:44:35
IDJOB=4523242
IDBENCH=179855
IDSOLVER=3355
FILE ID=nodeC032/4523242-1751647475
RUNJOBID= nodeC032-1751647313-93238
SLURM_JOB_ID= 9672337
Free space on /tmp= 428972 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_260_007.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523242-1751647475/watcher-4523242-1751647475 -o /tmp/evaluation-result-4523242-1751647475/solver-4523242-1751647475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751647313-93238 --watchdog 3760 run-opt-ls.sh HOME/instance-4523242-1751647475.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 19358b71c175af654e98554c4f116d17
RANDOM SEED=1977981394
nodeC032 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.828
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.69
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.851
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.709
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.869
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.078
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.69
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.865
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.69
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 : 3644.079
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.69
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 : 3625.976
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 108506732 kB
MemAvailable: 127595632 kB
Buffers: 2728 kB
Cached: 19765132 kB
SwapCached: 20 kB
Active: 2417740 kB
Inactive: 19395544 kB
Active(anon): 2060348 kB
Inactive(anon): 3124 kB
Active(file): 357392 kB
Inactive(file): 19392420 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7424 kB
Writeback: 0 kB
AnonPages: 2048428 kB
Mapped: 118240 kB
Shmem: 18048 kB
KReclaimable: 356656 kB
Slab: 452644 kB
SReclaimable: 356656 kB
SUnreclaim: 95988 kB
KernelStack: 4380 kB
PageTables: 7436 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2506592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 882688 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 428968 MiB
End job on nodeC032 at 2025-07-04 18:45:07