Trace number 4437705

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-LSMabP+Exact 2024-07-11SAT4727387 3586.94 3596.04

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
MD5SUM90cf94310e57120d5401aeddd838603e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4219117
Best CPU time to get the best result obtained on this benchmark1168.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 89969826346
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 89969826346
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3586.88/3596.03	o 203376635
3586.88/3596.03	o 126259053
3586.88/3596.03	o 89645627
3586.88/3596.03	o 89644051
3586.88/3596.03	o 89487461
3586.88/3596.03	o 57689091
3586.88/3596.03	o 57688789
3586.88/3596.03	o 47360101
3586.88/3596.03	o 47247517
3586.88/3596.03	o 47203429
3586.88/3596.03	o 47174093
3586.88/3596.03	o 47167167
3586.88/3596.03	o 47146909
3586.88/3596.03	o 43219979
3586.88/3596.03	o 42501249
3586.88/3596.03	o 42499769
3586.88/3596.03	o 42490203
3586.88/3596.03	o 42476825
3586.88/3596.03	o 42469753
3586.88/3596.03	o 42465595
3586.88/3596.03	o 42458041
3586.88/3596.03	o 42435223
3586.88/3596.03	o 42435097
3586.88/3596.03	o 42209245
3586.88/3596.03	o 42177651
3586.88/3596.03	o 42159719
3586.88/3596.03	o 42068269
3586.88/3596.03	o 42041637
3586.88/3596.03	o 42030451
3586.88/3596.03	o 41956251
3586.88/3596.03	o 41933445
3586.88/3596.03	o 39905347
3586.88/3596.03	o 38364267
3586.88/3596.03	o 38258517
3586.88/3596.03	o 37605365
3586.88/3596.03	o 37603511
3586.88/3596.03	o 37582481
3586.88/3596.03	o 37471623
3586.88/3596.03	o 37464807
3586.88/3596.03	o 21147965
3586.88/3596.03	o 21143299
3586.88/3596.03	o 21137761
3586.88/3596.03	o 21137605
3586.88/3596.03	o 21134719
3586.88/3596.03	o 21129181
3586.88/3596.03	o 21127075
3586.88/3596.03	o 21103933
3586.88/3596.03	o 21077649
3586.88/3596.03	o 21074373
3586.88/3596.03	o 21050685
3586.88/3596.03	o 19629471
3586.88/3596.03	o 19622597
3586.88/3596.03	o 19622191
3586.88/3596.03	o 19598909
3586.88/3596.03	o 19595633
3586.88/3596.03	o 19587193
3586.88/3596.03	o 19539135
3586.88/3596.03	o 19526841
3586.88/3596.03	o 19519967
3586.88/3596.03	o 19501375
3586.88/3596.03	o 18716623
3586.88/3596.03	o 18677219
3586.88/3596.03	o 18602665
3586.88/3596.03	o 18601869
3586.88/3596.03	o 18589153
3586.88/3596.03	o 18562869
3586.88/3596.03	o 18553103
3586.88/3596.03	o 18545301
3586.88/3596.03	o 13983405
3586.88/3596.03	o 13982075
3586.88/3596.03	o 13971155
3586.88/3596.03	o 13953805
3586.88/3596.03	o 13941481
3586.88/3596.03	o 13937751
3586.88/3596.03	o 13931593
3586.88/3596.03	o 13560709
3586.88/3596.03	o 13162973
3586.88/3596.03	o 13159205
3586.88/3596.03	o 13141535
3586.88/3596.03	o 13133201
3586.88/3596.03	o 13131633
3586.88/3596.03	o 13118951
3586.88/3596.03	o 13112785
3586.88/3596.03	o 13107147
3586.88/3596.03	o 13062551
3586.88/3596.03	o 13060103
3586.88/3596.03	o 13044599
3586.88/3596.03	o 13031489
3586.88/3596.03	o 12964289
3586.88/3596.03	o 12931709
3586.88/3596.03	o 12930535
3586.88/3596.03	o 12890407
3586.88/3596.03	o 12873551
3586.88/3596.03	o 12855955
3586.88/3596.03	o 12829735
3586.88/3596.03	o 12826239
3586.88/3596.03	o 12820601
3586.88/3596.03	o 12820457
3586.88/3596.03	o 12819033
3586.88/3596.03	o 12799901
3586.88/3596.03	o 12771949
3586.88/3596.03	o 12766311
3586.88/3596.03	o 12766167
3586.88/3596.03	o 12759517
3586.88/3596.03	o 12753879
3586.88/3596.03	o 12747633
3586.88/3596.03	o 12717137
3586.88/3596.03	o 11474313
3586.88/3596.03	o 11461425
3586.88/3596.03	o 11455881
3586.88/3596.03	o 11454775
3586.88/3596.03	o 11450369
3586.88/3596.03	o 11438793
3586.88/3596.03	o 11433439
3586.88/3596.03	o 11421943
3586.88/3596.03	o 11421835
3586.88/3596.03	o 11417411
3586.88/3596.03	o 11414155
3586.88/3596.03	o 11412265
3586.88/3596.03	o 11408879
3586.88/3596.03	o 11400783
3586.88/3596.03	o 11394537
3586.88/3596.03	o 11388993
3586.88/3596.03	o 11342271
3586.88/3596.03	o 11333077
3586.88/3596.03	o 11325877
3586.88/3596.03	o 11324135
3586.88/3596.03	o 11315693
3586.88/3596.03	o 11309021
3586.88/3596.03	o 11295645
3586.88/3596.03	o 11284069
3586.88/3596.03	o 11236517
3586.88/3596.03	o 11208277
3586.88/3596.03	o 11198645
3586.88/3596.03	o 11193101
3586.88/3596.03	o 11185511
3586.88/3596.03	o 11180157
3586.88/3596.03	o 11168581
3586.88/3596.03	o 11165599
3586.88/3596.03	o 11150897
3586.88/3596.03	o 11139185
3586.88/3596.03	o 11125105
3586.88/3596.03	o 11114117
3586.88/3596.03	o 11107885
3586.88/3596.03	o 11101421
3586.88/3596.03	o 11082739
3586.88/3596.03	o 11077195
3586.88/3596.03	o 11075305
3586.88/3596.03	o 10483739
3586.88/3596.03	o 10453099
3586.88/3596.03	o 10381629
3586.88/3596.03	o 10335193
3586.88/3596.03	o 10331843
3586.88/3596.03	o 10319595
3586.88/3596.03	o 10258509
3586.88/3596.03	o 10253581
3586.88/3596.03	o 10193707
3586.88/3596.03	o 10191979
3586.88/3596.03	o 10176531
3586.88/3596.03	o 10173025
3586.88/3596.03	o 10155637
3586.88/3596.03	o 10153821
3586.88/3596.03	o 10145577
3586.88/3596.03	o 10142227
3586.88/3596.03	o 10138721
3586.88/3596.03	o 10131155
3586.88/3596.03	o 10119561
3586.88/3596.03	o 10077879
3586.88/3596.03	o 10074805
3586.88/3596.03	o 10071301
3586.88/3596.03	o 10016605
3586.88/3596.03	o 9977813
3586.88/3596.03	o 9963305
3586.88/3596.03	o 9955061
3586.88/3596.03	o 9951711
3586.88/3596.03	o 9948207
3586.88/3596.03	o 9921547
3586.88/3596.03	o 9913303
3586.88/3596.03	o 9909953
3586.88/3596.03	o 9857251
3586.88/3596.03	o 9849007
3586.88/3596.03	o 9815729
3586.88/3596.03	o 9765425
3586.88/3596.03	o 9756745
3586.88/3596.03	o 9749803
3586.88/3596.03	o 9746865
3586.88/3596.03	o 9739249
3586.88/3596.03	o 9737265
3586.88/3596.03	o 9725305
3586.88/3596.03	o 9724531
3586.88/3596.03	o 9723577
3586.88/3596.03	o 9683687
3586.88/3596.03	o 9677401
3586.88/3596.03	o 9676745
3586.88/3596.03	o 9674761
3586.88/3596.03	o 9625483
3586.88/3596.03	o 9624827
3586.88/3596.03	o 9568377
3586.88/3596.03	o 9562091
3586.88/3596.03	o 9543121
3586.88/3596.03	o 9538829
3586.88/3596.03	o 9535357
3586.88/3596.03	o 9527351
3586.88/3596.03	o 9473395
3586.88/3596.03	o 9472721
3586.88/3596.03	o 9429971
3586.88/3596.03	o 9390917
3586.88/3596.03	o 9363749
3586.88/3596.03	o 9359355
3586.88/3596.03	o 9349877
3586.88/3596.03	o 9325019
3586.88/3596.03	o 9186363
3586.88/3596.03	o 9170997
3586.88/3596.03	o 9168459
3586.88/3596.03	o 9127755
3586.88/3596.03	o 9100235
3586.88/3596.03	o 9089283
3586.88/3596.03	o 9061523
3586.88/3596.03	o 9059747
3586.88/3596.03	o 9045269
3586.88/3596.03	o 9043611
3586.88/3596.03	o 9040881
3586.88/3596.03	o 9037369
3586.88/3596.03	o 9021905
3586.88/3596.03	o 9018377
3586.88/3596.03	o 9018281
3586.88/3596.03	o 9013153
3586.88/3596.03	o 8998537
3586.88/3596.03	o 8982355
3586.88/3596.03	o 8979625
3586.88/3596.03	o 8914409
3586.88/3596.03	o 8855609
3586.88/3596.03	o 8827849
3586.88/3596.03	o 8789209
3586.88/3596.03	o 8758851
3586.88/3596.03	o 8754319
3586.88/3596.03	o 8747651
3586.88/3596.03	o 8715237
3586.88/3596.03	o 8712651
3586.88/3596.03	o 8697775
3586.88/3596.03	o 8696211
3586.88/3596.03	o 8692313
3586.88/3596.03	o 8682741
3586.88/3596.03	o 8681507
3586.88/3596.03	o 8679107
3586.88/3596.03	o 8674275
3586.88/3596.03	o 8669715
3586.88/3596.03	o 8652457
3586.88/3596.03	o 8641123
3586.88/3596.03	o 7408615
3586.88/3596.03	o 7404295
3586.88/3596.03	o 7397799
3586.88/3596.03	o 7395655
3586.88/3596.03	o 7394629
3586.88/3596.03	o 7377679
3586.88/3596.03	o 7319533
3586.88/3596.03	o 7304035
3586.88/3596.03	o 7301173
3586.88/3596.03	o 7298617
3586.88/3596.03	o 7240733
3586.88/3596.03	o 7221799
3586.88/3596.03	o 7208765
3586.88/3596.03	o 7194859
3586.88/3596.03	o 7168203
3586.88/3596.03	o 7153635
3586.88/3596.03	o 7142955
3586.88/3596.03	o 7141533
3586.88/3596.03	o 7139649
3586.88/3596.03	o 7134667
3586.88/3596.03	o 7117005
3586.88/3596.03	o 7110141
3586.88/3596.03	o 7104981
3586.88/3596.03	o 7102281
3586.88/3596.03	o 7085331
3586.88/3596.03	o 7075591
3586.88/3596.03	o 7051983
3586.88/3596.03	o 7049839
3586.88/3596.03	o 7032399
3586.88/3596.03	o 7030551
3586.88/3596.03	o 6996503
3586.88/3596.03	o 6993253
3586.88/3596.03	o 6978821
3586.88/3596.03	o 6967543
3586.88/3596.03	o 6964293
3586.88/3596.03	o 6957493
3586.88/3596.03	o 6934677
3586.88/3596.03	o 6925383
3586.88/3596.03	o 6910017
3586.88/3596.03	o 6906705
3586.88/3596.03	o 6890639
3586.88/3596.03	o 6890343
3586.88/3596.03	o 6886929
3586.88/3596.03	o 6880359
3586.88/3596.03	o 6760153
3586.88/3596.03	o 6759883
3586.88/3596.03	o 6757741
3586.88/3596.03	o 6745885
3586.88/3596.03	o 6742155
3586.88/3596.03	o 6694727
3586.88/3596.03	o 6669353
3586.88/3596.03	o 6658139
3586.88/3596.03	o 6653107
3586.88/3596.03	o 6652853
3586.88/3596.03	o 6648067
3586.88/3596.03	o 6647599
3586.88/3596.03	o 6645343
3586.88/3596.03	o 6644881
3586.88/3596.03	o 6641185
3586.88/3596.03	o 6637669
3586.88/3596.03	o 6634945
3586.88/3596.03	o 6634369
3586.88/3596.03	o 5838375
3586.88/3596.03	o 5825489
3586.88/3596.03	o 5824271
3586.88/3596.03	o 5812599
3586.88/3596.03	o 5809813
3586.88/3596.03	o 5806809
3586.88/3596.03	o 5805591
3586.88/3596.03	o 5793919
3586.88/3596.03	o 5766875
3586.88/3596.03	o 5760499
3586.88/3596.03	o 5746153
3586.88/3596.03	o 5744183
3586.88/3596.03	o 5732991
3586.88/3596.03	o 5707513
3586.88/3596.03	o 5704359
3586.88/3596.03	o 5699153
3586.88/3596.03	o 5671579
3586.88/3596.03	o 5668977
3586.88/3596.03	o 5668315
3586.88/3596.03	o 5661687
3586.88/3596.03	o 5659085
3586.88/3596.03	o 5658533
3586.88/3596.03	o 5635349
3586.88/3596.03	o 5632747
3586.88/3596.03	o 5628565
3586.88/3596.03	o 5614851
3586.88/3596.03	o 5608225
3586.88/3596.03	o 5607637
3586.88/3596.03	o 5592309
3586.88/3596.03	o 5587513
3586.88/3596.03	o 5579153
3586.88/3596.03	o 5555417
3586.88/3596.03	o 5552141
3586.88/3596.03	o 5543441
3586.88/3596.03	o 5540837
3586.88/3596.03	o 5539811
3586.88/3596.03	o 5538083
3586.88/3596.03	o 5528795
3586.88/3596.03	o 5526191
3586.88/3596.03	o 5516195
3586.88/3596.03	o 5507835
3586.88/3596.03	o 5503811
3586.88/3596.03	o 5492615
3586.88/3596.03	o 5490011
3586.88/3596.03	o 5478503
3586.88/3596.03	o 5467427
3586.88/3596.03	o 5460617
3586.88/3596.03	o 5457889
3586.88/3596.03	o 5441573
3586.88/3596.03	o 5437549
3586.88/3596.03	o 5434945
3586.88/3596.03	o 5433055
3586.88/3596.03	o 5423027
3586.88/3596.03	o 5419003
3586.88/3596.03	o 5416399
3586.88/3596.03	o 5395685
3586.88/3596.03	o 5388397
3586.88/3596.03	o 5387179
3586.88/3596.03	o 5384181
3586.88/3596.03	o 5371861
3586.88/3596.03	o 5353207
3586.88/3596.03	o 5347711
3586.88/3596.03	o 5345047
3586.88/3596.03	o 5342761
3586.88/3596.03	o 5341735
3586.88/3596.03	o 5340319
3586.88/3596.03	o 5336295
3586.88/3596.03	o 5312745
3586.88/3596.03	o 5295319
3586.88/3596.03	o 5293913
3586.88/3596.03	o 5282579
3586.88/3596.03	o 5269753
3586.88/3596.03	o 5267699
3586.88/3596.03	o 5264941
3586.88/3596.03	o 5258165
3586.88/3596.03	o 5254141
3586.88/3596.03	o 5253261
3586.88/3596.03	o 5251053
3586.88/3596.03	o 5249647
3586.88/3596.03	o 5242489
3586.88/3596.03	o 5237425
3586.88/3596.03	o 5234113
3586.88/3596.03	o 5228559
3586.88/3596.03	o 5220495
3586.88/3596.03	o 5219489
3586.88/3596.03	o 5217897
3586.88/3596.03	o 5217391
3586.88/3596.03	o 5201313
3586.88/3596.03	o 5200495
3586.88/3596.03	o 5195745
3586.88/3596.03	o 5193149
3586.88/3596.03	o 5191063
3586.88/3596.03	o 5190985
3586.88/3596.03	o 5162225
3586.88/3596.03	o 5159815
3586.88/3596.03	o 5158527
3586.88/3596.03	o 5154887
3586.88/3596.03	o 5151117
3586.88/3596.03	o 5131029
3586.88/3596.03	o 5129741
3586.88/3596.03	o 5111851
3586.88/3596.03	o 5089675
3586.88/3596.03	o 5079325
3586.88/3596.03	o 5079307
3586.88/3596.03	o 5070549
3586.88/3596.03	o 5068685
3586.88/3596.03	o 5067069
3586.88/3596.03	o 5065695
3586.88/3596.03	o 5060991
3586.88/3596.03	o 5057029
3586.88/3596.03	o 5051555
3586.88/3596.03	o 5048553
3586.88/3596.03	o 5048475
3586.88/3596.03	o 5022025
3586.88/3596.03	o 5019703
3586.88/3596.03	o 5012251
3586.88/3596.03	o 5001639
3586.88/3596.03	o 5001599
3586.88/3596.03	o 4986829
3586.88/3596.03	o 4982401
3586.88/3596.03	o 4974817
3586.88/3596.03	o 4974351
3586.88/3596.03	o 4974261
3586.88/3596.03	o 4971745
3586.88/3596.03	o 4942637
3586.88/3596.03	o 4940863
3586.88/3596.03	o 4939933
3586.88/3596.03	o 4937717
3586.88/3596.03	o 4935201
3586.88/3596.03	o 4925255
3586.88/3596.03	o 4914025
3586.88/3596.03	o 4913095
3586.88/3596.03	o 4911649
3586.88/3596.03	o 4910879
3586.88/3596.03	o 4909971
3586.88/3596.03	o 4908289
3586.88/3596.03	o 4907523
3586.88/3596.03	o 4891633
3586.88/3596.03	o 4889933
3586.88/3596.03	o 4889025
3586.88/3596.03	o 4886649
3586.88/3596.03	o 4883147
3586.88/3596.03	o 4877195
3586.88/3596.03	o 4876639
3586.88/3596.03	o 4873751
3586.88/3596.03	o 4870231
3586.88/3596.03	o 4865511
3586.88/3596.03	o 4863835
3586.88/3596.03	o 4862433
3586.88/3596.03	o 4848291
3586.88/3596.03	o 4847533
3586.88/3596.03	o 4846551
3586.88/3596.03	o 4845815
3586.88/3596.03	o 4842141
3586.88/3596.03	o 4839457
3586.88/3596.03	o 4834721
3586.88/3596.03	o 4834441
3586.88/3596.03	o 4827191
3586.88/3596.03	o 4826781
3586.88/3596.03	o 4823553
3586.88/3596.03	o 4815263
3586.88/3596.03	o 4811583
3586.88/3596.03	o 4810813
3586.88/3596.03	o 4803999
3586.88/3596.03	o 4800661
3586.88/3596.03	o 4797889
3586.88/3596.03	o 4790843
3586.88/3596.03	o 4784947
3586.88/3596.03	o 4783129
3586.88/3596.03	o 4776083
3586.88/3596.03	o 4773613
3586.88/3596.03	o 4771991
3586.88/3596.03	o 4771111
3586.88/3596.03	o 4763653
3586.88/3596.03	o 4748027
3586.88/3596.03	o 4747257
3586.88/3596.03	o 4747235
3586.88/3596.03	o 4746331
3586.88/3596.03	o 4733673
3586.88/3596.03	o 4727387
3586.88/3596.03	c Program interrupted by user.
3586.88/3596.03	s SATISFIABLE
3586.88/3596.03	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 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 x8130 -x8131 -x8132 x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940

Verifier Data 

OK	4727387

Watcher Data 

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: 63968 MiB (62761 MiB free)
  memory of node 1: 64473 MiB (63327 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437705-1722977083/watcher-4437705-1722977083 -o /tmp/evaluation-result-4437705-1722977083/solver-4437705-1722977083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722971683-351965 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437705-1722977083.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=355460, runsolver pid=355457

[startup+0.100684 s]*
/proc/loadavg: 4.52 4.22 4.13 5/267 355464
/proc/meminfo: memFree=129083716/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64310632 10170368 669 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 669 592 264 0 134 0
[pid=355463] ppid=355460 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/355463/stat : 355463 (timeout) S 355460 355463 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64310632 8867840 259 134679101440 94318718582784 94318718617800 140724931051744 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94318720715216 94318720717348 94318726070272 140724931060771 140724931060893 140724931060893 140724931067879 0
/proc/355463/statm: 2165 259 234 9 0 87 0
[pid=355464] ppid=355463 vsize=53884 memory=35708 CPUtime=0.09 cores=5,7
/proc/355464/stat : 355464 (LS-MabP) R 355463 355463 351952 0 -1 4194304 7508 0 0 0 8 1 0 0 20 0 1 0 64310632 55177216 8927 134679101440 4194304 15467897 140728325637568 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38264832 140728325641271 140728325641380 140728325641380 140728325648366 0
/proc/355464/statm: 13471 8927 1057 2753 0 10124 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72476 KiB
Current children cumulated memory: 39420 KiB

[startup+0.205933 s]*
/proc/loadavg: 4.52 4.22 4.13 6/267 355464
/proc/meminfo: memFree=129052432/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64310632 10170368 669 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 669 592 264 0 134 0
[pid=355463] ppid=355460 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/355463/stat : 355463 (timeout) S 355460 355463 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64310632 8867840 259 134679101440 94318718582784 94318718617800 140724931051744 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94318720715216 94318720717348 94318726070272 140724931060771 140724931060893 140724931060893 140724931067879 0
/proc/355463/statm: 2165 259 234 9 0 87 0
[pid=355464] ppid=355463 vsize=80744 memory=66108 CPUtime=0.2 cores=5,7
/proc/355464/stat : 355464 (LS-MabP) R 355463 355463 351952 0 -1 4194304 15154 0 0 0 18 2 0 0 20 0 1 0 64310632 82681856 16527 134679101440 4194304 15467897 140728325637568 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38264832 140728325641271 140728325641380 140728325641380 140728325648366 0
/proc/355464/statm: 20186 16527 1073 2753 0 16839 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99336 KiB
Current children cumulated memory: 69820 KiB

[startup+0.305891 s]*
/proc/loadavg: 4.52 4.22 4.13 5/267 355466
/proc/meminfo: memFree=129051896/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64310632 10170368 669 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 669 592 264 0 134 0
[pid=355463] ppid=355460 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/355463/stat : 355463 (timeout) S 355460 355463 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64310632 8867840 259 134679101440 94318718582784 94318718617800 140724931051744 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94318720715216 94318720717348 94318726070272 140724931060771 140724931060893 140724931060893 140724931067879 0
/proc/355463/statm: 2165 259 234 9 0 87 0
[pid=355464] ppid=355463 vsize=80744 memory=66372 CPUtime=0.3 cores=5,7
/proc/355464/stat : 355464 (LS-MabP) R 355463 355463 351952 0 -1 4194304 15224 0 0 0 28 2 0 0 20 0 1 0 64310632 82681856 16593 134679101440 4194304 15467897 140728325637568 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38264832 140728325641271 140728325641380 140728325641380 140728325648366 0
/proc/355464/statm: 20186 16593 1073 2753 0 16839 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 99336 KiB
Current children cumulated memory: 70084 KiB

[startup+0.700256 s]
/proc/loadavg: 4.52 4.22 4.13 5/267 355466
/proc/meminfo: memFree=129051620/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64310632 10170368 669 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 669 592 264 0 134 0
[pid=355463] ppid=355460 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/355463/stat : 355463 (timeout) S 355460 355463 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64310632 8867840 259 134679101440 94318718582784 94318718617800 140724931051744 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94318720715216 94318720717348 94318726070272 140724931060771 140724931060893 140724931060893 140724931067879 0
/proc/355463/statm: 2165 259 234 9 0 87 0
[pid=355464] ppid=355463 vsize=80744 memory=66372 CPUtime=0.68 cores=5,7
/proc/355464/stat : 355464 (LS-MabP) R 355463 355463 351952 0 -1 4194304 15227 0 0 0 66 2 0 0 20 0 1 0 64310632 82681856 16593 134679101440 4194304 15467897 140728325637568 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38264832 140728325641271 140728325641380 140728325641380 140728325648366 0
/proc/355464/statm: 20186 16593 1073 2753 0 16839 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 99336 KiB
Current children cumulated memory: 70084 KiB

[startup+1.50024 s]
/proc/loadavg: 4.52 4.22 4.13 5/267 355466
/proc/meminfo: memFree=129051624/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64310632 10170368 669 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 669 592 264 0 134 0
[pid=355463] ppid=355460 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/355463/stat : 355463 (timeout) S 355460 355463 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64310632 8867840 259 134679101440 94318718582784 94318718617800 140724931051744 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94318720715216 94318720717348 94318726070272 140724931060771 140724931060893 140724931060893 140724931067879 0
/proc/355463/statm: 2165 259 234 9 0 87 0
[pid=355464] ppid=355463 vsize=80744 memory=66372 CPUtime=1.48 cores=5,7
/proc/355464/stat : 355464 (LS-MabP) R 355463 355463 351952 0 -1 4194304 15227 0 0 0 145 3 0 0 20 0 1 0 64310632 82681856 16593 134679101440 4194304 15467897 140728325637568 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38264832 140728325641271 140728325641380 140728325641380 140728325648366 0
/proc/355464/statm: 20186 16593 1073 2753 0 16839 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 99336 KiB
Current children cumulated memory: 70084 KiB

[startup+3.1058 s]
/proc/loadavg: 4.48 4.21 4.13 5/267 355466
/proc/meminfo: memFree=129051640/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64310632 10170368 669 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 669 592 264 0 134 0
[pid=355463] ppid=355460 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/355463/stat : 355463 (timeout) S 355460 355463 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64310632 8867840 259 134679101440 94318718582784 94318718617800 140724931051744 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94318720715216 94318720717348 94318726070272 140724931060771 140724931060893 140724931060893 140724931067879 0
/proc/355463/statm: 2165 259 234 9 0 87 0
[pid=355464] ppid=355463 vsize=80744 memory=66636 CPUtime=3.08 cores=5,7
/proc/355464/stat : 355464 (LS-MabP) R 355463 355463 351952 0 -1 4194304 15238 0 0 0 304 4 0 0 20 0 1 0 64310632 82681856 16659 134679101440 4194304 15467897 140728325637568 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38264832 140728325641271 140728325641380 140728325641380 140728325648366 0
/proc/355464/statm: 20186 16659 1073 2753 0 16839 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 99336 KiB
Current children cumulated memory: 70348 KiB

[startup+6.30023 s]
/proc/loadavg: 4.48 4.21 4.13 5/266 355466
/proc/meminfo: memFree=129051416/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64310632 10170368 669 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 669 592 264 0 134 0
[pid=355463] ppid=355460 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/355463/stat : 355463 (timeout) S 355460 355463 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64310632 8867840 259 134679101440 94318718582784 94318718617800 140724931051744 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94318720715216 94318720717348 94318726070272 140724931060771 140724931060893 140724931060893 140724931067879 0
/proc/355463/statm: 2165 259 234 9 0 87 0
[pid=355464] ppid=355463 vsize=80744 memory=66636 CPUtime=6.27 cores=5,7
/proc/355464/stat : 355464 (LS-MabP) R 355463 355463 351952 0 -1 4194304 15238 0 0 0 620 7 0 0 20 0 1 0 64310632 82681856 16659 134679101440 4194304 15467897 140728325637568 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38264832 140728325641271 140728325641380 140728325641380 140728325648366 0
/proc/355464/statm: 20186 16659 1073 2753 0 16839 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 99336 KiB
Current children cumulated memory: 70348 KiB

[startup+12.7002 s]
/proc/loadavg: 4.44 4.21 4.13 5/266 355467
/proc/meminfo: memFree=129051116/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64310632 10170368 669 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 669 592 264 0 134 0
[pid=355463] ppid=355460 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/355463/stat : 355463 (timeout) S 355460 355463 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64310632 8867840 259 134679101440 94318718582784 94318718617800 140724931051744 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94318720715216 94318720717348 94318726070272 140724931060771 140724931060893 140724931060893 140724931067879 0
/proc/355463/statm: 2165 259 234 9 0 87 0
[pid=355464] ppid=355463 vsize=80744 memory=66636 CPUtime=12.65 cores=5,7
/proc/355464/stat : 355464 (LS-MabP) R 355463 355463 351952 0 -1 4194304 15241 0 0 0 1253 12 0 0 20 0 1 0 64310632 82681856 16659 134679101440 4194304 15467897 140728325637568 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38264832 140728325641271 140728325641380 140728325641380 140728325648366 0
/proc/355464/statm: 20186 16659 1073 2753 0 16839 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 99336 KiB
Current children cumulated memory: 70348 KiB

[startup+25.5003 s]
/proc/loadavg: 4.42 4.22 4.13 5/266 355469
/proc/meminfo: memFree=129050316/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64310632 10170368 669 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 669 592 264 0 134 0
[pid=355463] ppid=355460 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/355463/stat : 355463 (timeout) S 355460 355463 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64310632 8867840 259 134679101440 94318718582784 94318718617800 140724931051744 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94318720715216 94318720717348 94318726070272 140724931060771 140724931060893 140724931060893 140724931067879 0
/proc/355463/statm: 2165 259 234 9 0 87 0
[pid=355464] ppid=355463 vsize=80744 memory=66636 CPUtime=25.43 cores=5,7
/proc/355464/stat : 355464 (LS-MabP) R 355463 355463 351952 0 -1 4194304 15243 0 0 0 2522 21 0 0 20 0 1 0 64310632 82681856 16659 134679101440 4194304 15467897 140728325637568 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38264832 140728325641271 140728325641380 140728325641380 140728325648366 0
/proc/355464/statm: 20186 16659 1073 2753 0 16839 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 99336 KiB
Current children cumulated memory: 70348 KiB

[startup+51.1057 s]
/proc/loadavg: 4.27 4.20 4.13 5/264 355535
/proc/meminfo: memFree=129071904/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64310632 10170368 669 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 669 592 264 0 134 0
[pid=355463] ppid=355460 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/355463/stat : 355463 (timeout) S 355460 355463 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64310632 8867840 259 134679101440 94318718582784 94318718617800 140724931051744 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94318720715216 94318720717348 94318726070272 140724931060771 140724931060893 140724931060893 140724931067879 0
/proc/355463/statm: 2165 259 234 9 0 87 0
[pid=355464] ppid=355463 vsize=80744 memory=66932 CPUtime=50.97 cores=5,7
/proc/355464/stat : 355464 (LS-MabP) R 355463 355463 351952 0 -1 4194304 15329 0 0 0 5058 39 0 0 20 0 1 0 64310632 82681856 16733 134679101440 4194304 15467897 140728325637568 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38264832 140728325641271 140728325641380 140728325641380 140728325648366 0
/proc/355464/statm: 20186 16733 1089 2753 0 16839 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 99336 KiB
Current children cumulated memory: 70644 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.18 4.13 5/264 355544
/proc/meminfo: memFree=129071036/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 236 99 0 0 0 0 0 0 20 0 1 0 64310632 10170368 669 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0

################
# More data... #
################

/proc/356426/statm: 161841 122559 852 745 0 160906 0
Current children cumulated CPU time: 3393.65 s
Current children cumulated vsize: 665956 KiB
Current children cumulated memory: 493976 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/264 357401
/proc/meminfo: memFree=127421352/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2728 CPUtime=1793.99 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 269 16253 0 0 0 0 178109 1290 20 0 1 0 64310632 10170368 682 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 682 592 264 0 134 0
[pid=356425] ppid=355460 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356425/stat : 356425 (timeout) S 355460 356425 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64490432 8867840 253 134679101440 94544214544384 94544214579400 140720402691376 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94544216676816 94544216678948 94544241143808 140720402695156 140720402695325 140720402695325 140720402702311 0
/proc/356425/statm: 2165 253 229 9 0 87 0
[pid=356426] ppid=356425 vsize=653584 memory=494792 CPUtime=1659.51 cores=5,7
/proc/356426/stat : 356426 (Exact) R 356425 356425 351952 0 -1 4194304 81296 0 0 0 165921 30 0 0 20 0 1 0 64490432 669270016 123698 134679101440 4194304 7243121 140736140887568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 19656704 140736140891152 140736140891302 140736140891302 140736140898288 0
/proc/356426/statm: 163396 123698 852 745 0 162461 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 672176 KiB
Current children cumulated memory: 498532 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/264 357411
/proc/meminfo: memFree=127415448/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2728 CPUtime=1793.99 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 269 16253 0 0 0 0 178109 1290 20 0 1 0 64310632 10170368 682 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 682 592 264 0 134 0
[pid=356425] ppid=355460 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356425/stat : 356425 (timeout) S 355460 356425 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64490432 8867840 253 134679101440 94544214544384 94544214579400 140720402691376 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94544216676816 94544216678948 94544241143808 140720402695156 140720402695325 140720402695325 140720402702311 0
/proc/356425/statm: 2165 253 229 9 0 87 0
[pid=356426] ppid=356425 vsize=655864 memory=496936 CPUtime=1719.37 cores=5,7
/proc/356426/stat : 356426 (Exact) R 356425 356425 351952 0 -1 4194304 81876 0 0 0 171906 31 0 0 20 0 1 0 64490432 671604736 124234 134679101440 4194304 7243121 140736140887568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 19656704 140736140891152 140736140891302 140736140891302 140736140898288 0
/proc/356426/statm: 163966 124234 852 745 0 163031 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 674456 KiB
Current children cumulated memory: 500676 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/264 357421
/proc/meminfo: memFree=127413740/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2728 CPUtime=1793.99 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 269 16253 0 0 0 0 178109 1290 20 0 1 0 64310632 10170368 682 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 682 592 264 0 134 0
[pid=356425] ppid=355460 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356425/stat : 356425 (timeout) S 355460 356425 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64490432 8867840 253 134679101440 94544214544384 94544214579400 140720402691376 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94544216676816 94544216678948 94544241143808 140720402695156 140720402695325 140720402695325 140720402702311 0
/proc/356425/statm: 2165 253 229 9 0 87 0
[pid=356426] ppid=356425 vsize=657156 memory=498160 CPUtime=1779.22 cores=5,7
/proc/356426/stat : 356426 (Exact) R 356425 356425 351952 0 -1 4194304 82329 0 0 0 177891 31 0 0 20 0 1 0 64490432 672927744 124540 134679101440 4194304 7243121 140736140887568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 19656704 140736140891152 140736140891302 140736140891302 140736140898288 0
/proc/356426/statm: 164289 124540 852 745 0 163354 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 675748 KiB
Current children cumulated memory: 501900 KiB

[startup+3596.04 s]
# the end of solver process 355460 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3573.7 s, system=13.2363 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.13 4.13 4.10 5/264 357423
/proc/meminfo: memFree=127413368/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2728 CPUtime=1793.99 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 269 16253 0 0 0 0 178109 1290 20 0 1 0 64310632 10170368 682 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 682 592 264 0 134 0
[pid=356425] ppid=355460 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356425/stat : 356425 (timeout) S 355460 356425 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64490432 8867840 253 134679101440 94544214544384 94544214579400 140720402691376 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94544216676816 94544216678948 94544241143808 140720402695156 140720402695325 140720402695325 140720402702311 0
/proc/356425/statm: 2165 253 229 9 0 87 0
[pid=356426] ppid=356425 vsize=657652 memory=498620 CPUtime=1780.92 cores=5,7
/proc/356426/stat : 356426 (Exact) R 356425 356425 351952 0 -1 4194304 82455 0 0 0 178061 31 0 0 20 0 1 0 64490432 673435648 124655 134679101440 4194304 7243121 140736140887568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 19656704 140736140891152 140736140891302 140736140891302 140736140898288 0
/proc/356426/statm: 164413 124655 852 745 0 163478 0
Current children cumulated CPU time: 3574.91 s
Current children cumulated vsize: 676244 KiB
Current children cumulated memory: 502360 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 357423
/proc/meminfo: memFree=127413212/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2728 CPUtime=1793.99 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 269 16253 0 0 0 0 178109 1290 20 0 1 0 64310632 10170368 682 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 682 592 264 0 134 0
[pid=356425] ppid=355460 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356425/stat : 356425 (timeout) S 355460 356425 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64490432 8867840 253 134679101440 94544214544384 94544214579400 140720402691376 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94544216676816 94544216678948 94544241143808 140720402695156 140720402695325 140720402695325 140720402702311 0
/proc/356425/statm: 2165 253 229 9 0 87 0
[pid=356426] ppid=356425 vsize=657652 memory=498620 CPUtime=1787.3 cores=5,7
/proc/356426/stat : 356426 (Exact) R 356425 356425 351952 0 -1 4194304 82457 0 0 0 178699 31 0 0 20 0 1 0 64490432 673435648 124655 134679101440 4194304 7243121 140736140887568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 19656704 140736140891152 140736140891302 140736140891302 140736140898288 0
/proc/356426/statm: 164413 124655 852 745 0 163478 0
Current children cumulated CPU time: 3581.29 s
Current children cumulated vsize: 676244 KiB
Current children cumulated memory: 502360 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.13 4.10 5/265 357496
/proc/meminfo: memFree=128247984/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2728 CPUtime=1793.99 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 269 16253 0 0 0 0 178109 1290 20 0 1 0 64310632 10170368 682 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 682 592 264 0 134 0
[pid=356425] ppid=355460 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356425/stat : 356425 (timeout) S 355460 356425 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64490432 8867840 253 134679101440 94544214544384 94544214579400 140720402691376 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94544216676816 94544216678948 94544241143808 140720402695156 140720402695325 140720402695325 140720402702311 0
/proc/356425/statm: 2165 253 229 9 0 87 0
[pid=356426] ppid=356425 vsize=657652 memory=498620 CPUtime=1790.49 cores=5,7
/proc/356426/stat : 356426 (Exact) R 356425 356425 351952 0 -1 4194304 82457 0 0 0 179018 31 0 0 20 0 1 0 64490432 673435648 124655 134679101440 4194304 7243121 140736140887568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 19656704 140736140891152 140736140891302 140736140891302 140736140898288 0
/proc/356426/statm: 164413 124655 852 745 0 163478 0
Current children cumulated CPU time: 3584.48 s
Current children cumulated vsize: 676244 KiB
Current children cumulated memory: 502360 KiB

[startup+3595.2 s]
/proc/loadavg: 4.27 4.16 4.11 5/265 357496
/proc/meminfo: memFree=127681972/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2728 CPUtime=1793.99 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 269 16253 0 0 0 0 178109 1290 20 0 1 0 64310632 10170368 682 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 682 592 264 0 134 0
[pid=356425] ppid=355460 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356425/stat : 356425 (timeout) S 355460 356425 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64490432 8867840 253 134679101440 94544214544384 94544214579400 140720402691376 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94544216676816 94544216678948 94544241143808 140720402695156 140720402695325 140720402695325 140720402702311 0
/proc/356425/statm: 2165 253 229 9 0 87 0
[pid=356426] ppid=356425 vsize=657652 memory=498620 CPUtime=1792.09 cores=5,7
/proc/356426/stat : 356426 (Exact) R 356425 356425 351952 0 -1 4194304 82457 0 0 0 179178 31 0 0 20 0 1 0 64490432 673435648 124655 134679101440 4194304 7243121 140736140887568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 19656704 140736140891152 140736140891302 140736140891302 140736140898288 0
/proc/356426/statm: 164413 124655 852 745 0 163478 0
Current children cumulated CPU time: 3586.08 s
Current children cumulated vsize: 676244 KiB
Current children cumulated memory: 502360 KiB

[startup+3595.6 s]
/proc/loadavg: 4.27 4.16 4.11 5/265 357496
/proc/meminfo: memFree=127681972/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2728 CPUtime=1793.99 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 269 16253 0 0 0 0 178109 1290 20 0 1 0 64310632 10170368 682 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 682 592 264 0 134 0
[pid=356425] ppid=355460 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356425/stat : 356425 (timeout) S 355460 356425 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64490432 8867840 253 134679101440 94544214544384 94544214579400 140720402691376 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94544216676816 94544216678948 94544241143808 140720402695156 140720402695325 140720402695325 140720402702311 0
/proc/356425/statm: 2165 253 229 9 0 87 0
[pid=356426] ppid=356425 vsize=657652 memory=498620 CPUtime=1792.49 cores=5,7
/proc/356426/stat : 356426 (Exact) R 356425 356425 351952 0 -1 4194304 82457 0 0 0 179218 31 0 0 20 0 1 0 64490432 673435648 124655 134679101440 4194304 7243121 140736140887568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 19656704 140736140891152 140736140891302 140736140891302 140736140898288 0
/proc/356426/statm: 164413 124655 852 745 0 163478 0
Current children cumulated CPU time: 3586.48 s
Current children cumulated vsize: 676244 KiB
Current children cumulated memory: 502360 KiB

[startup+3596 s]*
/proc/loadavg: 4.27 4.16 4.11 5/265 357496
/proc/meminfo: memFree=127272024/131524600 swapFree=131071996/131071996
[pid=355460] ppid=355457 vsize=9932 memory=2728 CPUtime=1793.99 cores=5,7
/proc/355460/stat : 355460 (Hybrid-LSMabP+E) S 355457 355460 351952 0 -1 4194304 269 16253 0 0 0 0 178109 1290 20 0 1 0 64310632 10170368 682 134679101440 94488318152704 94488319232024 140721776780064 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94488321330480 94488321377668 94488341913600 140721776784362 140721776784507 140721776784507 140721776791522 0
/proc/355460/statm: 2483 682 592 264 0 134 0
[pid=356425] ppid=355460 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356425/stat : 356425 (timeout) S 355460 356425 351952 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64490432 8867840 253 134679101440 94544214544384 94544214579400 140720402691376 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94544216676816 94544216678948 94544241143808 140720402695156 140720402695325 140720402695325 140720402702311 0
/proc/356425/statm: 2165 253 229 9 0 87 0
[pid=356426] ppid=356425 vsize=657652 memory=498620 CPUtime=1792.89 cores=5,7
/proc/356426/stat : 356426 (Exact) R 356425 356425 351952 0 -1 4194304 82457 0 0 0 179258 31 0 0 20 0 1 0 64490432 673435648 124655 134679101440 4194304 7243121 140736140887568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 19656704 140736140891152 140736140891302 140736140891302 140736140898288 0
/proc/356426/statm: 164413 124655 852 745 0 163478 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 676244 KiB
Current children cumulated memory: 502360 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3586.94
CPU user time (s): 3573.7
CPU system time (s): 13.2363
CPU usage (%): 99.747
Max. virtual memory (cumulated for all children) (KiB): 676244
Max. memory (cumulated for all children) (KiB): 502360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.7
system time used= 13.2363
maximum resident set size= 498620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102170
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161
involuntary context switches= 3572


# summary of solver processes directly reported to runsolver:
#   pid: 355460
#   total CPU time (s): 3586.94
#   total CPU user time (s): 3573.7
#   total CPU system time (s): 13.2363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84221 second user time and 17.4297 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-08-06 22:44:43
IDJOB=4437705
IDBENCH=155605
IDSOLVER=3071
FILE ID=nodeC033/4437705-1722977083
RUNJOBID= nodeC033-1722971683-351965
SLURM_JOB_ID= 8259072
Free space on /tmp= 890016 MiB

SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437705-1722977083/watcher-4437705-1722977083 -o /tmp/evaluation-result-4437705-1722977083/solver-4437705-1722977083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722971683-351965 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437705-1722977083.opb 3600 HOME 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=350714615

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3667.262
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
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		: 3669.886
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.312
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
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.392
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3667.311
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
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		: 3669.312
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.476
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
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		: 3665.581
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129116280 kB
MemAvailable:   129439300 kB
Buffers:          343804 kB
Cached:           825208 kB
SwapCached:            0 kB
Active:           625956 kB
Inactive:        1258656 kB
Active(anon):       1592 kB
Inactive(anon):   751732 kB
Active(file):     624364 kB
Inactive(file):   506924 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             49200 kB
Writeback:             0 kB
AnonPages:        715284 kB
Mapped:           113324 kB
Shmem:             37720 kB
KReclaimable:      63108 kB
Slab:             157024 kB
SReclaimable:      63108 kB
SUnreclaim:        93916 kB
KernelStack:        4272 kB
PageTables:        11004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1073088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            29824 kB
HardwareCorrupted:     0 kB
AnonHugePages:    337920 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      320212 kB
DirectMap2M:     9938944 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 889984 MiB
End job on nodeC033 at 2024-08-06 23:44:39