Trace number 4504187

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-NuPBODeepOptS-ExactPRnols 2025-06-02SAT4912603 3587.19 3596.19

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_0.opb
MD5SUM26289d562a21d461fc03dcfb0c556d93
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 benchmark4241631
Best CPU time to get the best result obtained on this benchmark686.735
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 134217728
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 100330219838
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 134217728
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 100330219838
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 

3587.14/3596.17	c 24510 constraints
3587.14/3596.17	c after presolve  24512
3587.14/3596.17	o 220231917
3587.14/3596.17	o 209867719
3587.14/3596.17	o 209800821
3587.14/3596.17	o 209782703
3587.14/3596.17	o 18104329
3587.14/3596.17	o 16404691
3587.14/3596.17	o 13039197
3587.14/3596.17	o 13017267
3587.14/3596.17	o 12990675
3587.14/3596.17	o 12985539
3587.14/3596.17	o 12964749
3587.14/3596.17	o 12945307
3587.14/3596.17	o 12941425
3587.14/3596.17	o 12901711
3587.14/3596.17	o 12879267
3587.14/3596.17	o 12879027
3587.14/3596.17	o 12876513
3587.14/3596.17	o 12814575
3587.14/3596.17	o 12810161
3587.14/3596.17	o 12807987
3587.14/3596.17	o 12766113
3587.14/3596.17	o 12764171
3587.14/3596.17	o 12715969
3587.14/3596.17	o 12692431
3587.14/3596.17	o 12669103
3587.14/3596.17	o 12640863
3587.14/3596.17	o 12185309
3587.14/3596.17	o 12181191
3587.14/3596.17	o 12149523
3587.14/3596.17	o 12138201
3587.14/3596.17	o 12120183
3587.14/3596.17	o 11577933
3587.14/3596.17	o 11550871
3587.14/3596.17	o 11482479
3587.14/3596.17	o 11458737
3587.14/3596.17	o 11431503
3587.14/3596.17	o 11403767
3587.14/3596.17	o 11385083
3587.14/3596.17	o 11366449
3587.14/3596.17	o 11330599
3587.14/3596.17	o 11304847
3587.14/3596.17	o 11293401
3587.14/3596.17	o 11108215
3587.14/3596.17	o 10703309
3587.14/3596.17	o 10700127
3587.14/3596.17	o 10698031
3587.14/3596.17	o 8662213
3587.14/3596.17	o 8635093
3587.14/3596.17	o 8634485
3587.14/3596.17	o 8614493
3587.14/3596.17	o 8613151
3587.14/3596.17	o 8596873
3587.14/3596.17	o 8423137
3587.14/3596.17	o 8422069
3587.14/3596.17	o 8418845
3587.14/3596.17	o 8418351
3587.14/3596.17	o 8357751
3587.14/3596.17	o 8353655
3587.14/3596.17	o 8353461
3587.14/3596.17	o 8336623
3587.14/3596.17	o 8332527
3587.14/3596.17	o 8309121
3587.14/3596.17	o 8269029
3587.14/3596.17	o 8266845
3587.14/3596.17	o 8250567
3587.14/3596.17	o 8247711
3587.14/3596.17	o 8241649
3587.14/3596.17	o 8229955
3587.14/3596.17	o 8226225
3587.14/3596.17	o 8225353
3587.14/3596.17	o 8221185
3587.14/3596.17	o 8217585
3587.14/3596.17	o 8213793
3587.14/3596.17	o 8199991
3587.14/3596.17	o 8199127
3587.14/3596.17	o 8189945
3587.14/3596.17	o 8150663
3587.14/3596.17	o 8147063
3587.14/3596.17	o 8135549
3587.14/3596.17	o 8130277
3587.14/3596.17	o 8123789
3587.14/3596.17	o 8122917
3587.14/3596.17	o 8122837
3587.14/3596.17	o 8119781
3587.14/3596.17	o 8119771
3587.14/3596.17	o 8118051
3587.14/3596.17	o 8116353
3587.14/3596.17	o 8115481
3587.14/3596.17	o 8113761
3587.14/3596.17	o 8112491
3587.14/3596.17	o 8111619
3587.14/3596.17	o 8102171
3587.14/3596.17	o 8101299
3587.14/3596.17	o 8100835
3587.14/3596.17	o 8092369
3587.14/3596.17	o 8084479
3587.14/3596.17	o 8082481
3587.14/3596.17	o 8080761
3587.14/3596.17	o 8075031
3587.14/3596.17	o 8074731
3587.14/3596.17	o 8071473
3587.14/3596.17	o 8067189
3587.14/3596.17	o 8066889
3587.14/3596.17	o 8066695
3587.14/3596.17	o 8063991
3587.14/3596.17	o 8055665
3587.14/3596.17	o 8055171
3587.14/3596.17	o 8046609
3587.14/3596.17	o 8040123
3587.14/3596.17	o 8034563
3587.14/3596.17	o 8034099
3587.14/3596.17	o 8029509
3587.14/3596.17	o 8020859
3587.14/3596.17	o 8019663
3587.14/3596.17	o 8019411
3587.14/3596.17	o 8018585
3587.14/3596.17	o 8015993
3587.14/3596.17	o 8015895
3587.14/3596.17	o 8013303
3587.14/3596.17	o 8008039
3587.14/3596.17	o 8007167
3587.14/3596.17	o 8006703
3587.14/3596.17	o 7999823
3587.14/3596.17	o 7998381
3587.14/3596.17	o 7997275
3587.14/3596.17	o 7995771
3587.14/3596.17	o 7993917
3587.14/3596.17	o 7991325
3587.14/3596.17	o 7991163
3587.14/3596.17	o 7988379
3587.14/3596.17	o 7987863
3587.14/3596.17	o 7986991
3587.14/3596.17	o 7978989
3587.14/3596.17	o 7978895
3587.14/3596.17	o 7976799
3587.14/3596.17	o 7972943
3587.14/3596.17	o 7972463
3587.14/3596.17	o 7954029
3587.14/3596.17	o 7945245
3587.14/3596.17	o 7943621
3587.14/3596.17	o 7942749
3587.14/3596.17	o 7939973
3587.14/3596.17	o 7939525
3587.14/3596.17	o 7936749
3587.14/3596.17	o 7934409
3587.14/3596.17	o 7934109
3587.14/3596.17	o 7933915
3587.14/3596.17	o 7930853
3587.14/3596.17	o 7930103
3587.14/3596.17	o 7927327
3587.14/3596.17	o 7926197
3587.14/3596.17	o 7748243
3587.14/3596.17	o 7744597
3587.14/3596.17	o 7694217
3587.14/3596.17	o 7679031
3587.14/3596.17	o 7662513
3587.14/3596.17	o 7646133
3587.14/3596.17	o 7607043
3587.14/3596.17	o 7605613
3587.14/3596.17	o 7602133
3587.14/3596.17	o 7601331
3587.14/3596.17	o 7565061
3587.14/3596.17	o 7562579
3587.14/3596.17	o 7558933
3587.14/3596.17	o 7525091
3587.14/3596.17	o 7521849
3587.14/3596.17	o 7519699
3587.14/3596.17	o 7508857
3587.14/3596.17	o 7507011
3587.14/3596.17	o 7504731
3587.14/3596.17	o 7497603
3587.14/3596.17	o 7477131
3587.14/3596.17	o 7461411
3587.14/3596.17	o 7455347
3587.14/3596.17	o 7441827
3587.14/3596.17	o 7437477
3587.14/3596.17	o 7425311
3587.14/3596.17	o 7414275
3587.14/3596.17	o 7408211
3587.14/3596.17	o 7394691
3587.14/3596.17	o 7390341
3587.14/3596.17	o 7382117
3587.14/3596.17	o 7369557
3587.14/3596.17	o 7353449
3587.14/3596.17	o 7330919
3587.14/3596.17	o 7317399
3587.14/3596.17	o 7315461
3587.14/3596.17	o 7315365
3587.14/3596.17	o 7313361
3587.14/3596.17	o 7297961
3587.14/3596.17	o 7293611
3587.14/3596.17	o 7288681
3587.14/3596.17	o 7285387
3587.14/3596.17	o 7283449
3587.14/3596.17	o 7247719
3587.14/3596.17	o 7234199
3587.14/3596.17	o 7186463
3587.14/3596.17	o 7176285
3587.14/3596.17	o 7161963
3587.14/3596.17	o 7155951
3587.14/3596.17	o 7120513
3587.14/3596.17	o 7110939
3587.14/3596.17	o 7106425
3587.14/3596.17	o 7086609
3587.14/3596.17	o 7070003
3587.14/3596.17	o 7056351
3587.14/3596.17	o 7046325
3587.14/3596.17	o 7031133
3587.14/3596.17	o 7022429
3587.14/3596.17	o 7000923
3587.14/3596.17	o 6990509
3587.14/3596.17	o 6977319
3587.14/3596.17	o 6968765
3587.14/3596.17	o 6965517
3587.14/3596.17	o 6957297
3587.14/3596.17	o 6929227
3587.14/3596.17	o 6917633
3587.14/3596.17	o 6911667
3587.14/3596.17	o 6909165
3587.14/3596.17	o 6904235
3587.14/3596.17	o 6899183
3587.14/3596.17	o 6898359
3587.14/3596.17	o 6892031
3587.14/3596.17	o 6888737
3587.14/3596.17	o 6888671
3587.14/3596.17	o 6885149
3587.14/3596.17	o 6862421
3587.14/3596.17	o 6849461
3587.14/3596.17	o 6835955
3587.14/3596.17	o 6833099
3587.14/3596.17	o 6818907
3587.14/3596.17	o 6811821
3587.14/3596.17	o 6803353
3587.14/3596.17	o 6802453
3587.14/3596.17	o 6801559
3587.14/3596.17	o 6792391
3587.14/3596.17	o 6788449
3587.14/3596.17	o 6785089
3587.14/3596.17	o 6769647
3587.14/3596.17	o 6766605
3587.14/3596.17	o 6765679
3587.14/3596.17	o 6764205
3587.14/3596.17	o 6761901
3587.14/3596.17	o 6744077
3587.14/3596.17	o 6741221
3587.14/3596.17	o 6736757
3587.14/3596.17	o 6736341
3587.14/3596.17	o 6733485
3587.14/3596.17	o 6729149
3587.14/3596.17	o 6721163
3587.14/3596.17	o 6721013
3587.14/3596.17	o 6719805
3587.14/3596.17	o 6717749
3587.14/3596.17	o 6689549
3587.14/3596.17	o 6688493
3587.14/3596.17	o 6666791
3587.14/3596.17	o 6643157
3587.14/3596.17	o 6642101
3587.14/3596.17	o 6638615
3587.14/3596.17	o 6635297
3587.14/3596.17	o 6633417
3587.14/3596.17	o 6633143
3587.14/3596.17	o 6633047
3587.14/3596.17	o 6628583
3587.14/3596.17	o 6597973
3587.14/3596.17	o 6592201
3587.14/3596.17	o 6589505
3587.14/3596.17	o 6586257
3587.14/3596.17	o 6585983
3587.14/3596.17	o 6584605
3587.14/3596.17	o 6583823
3587.14/3596.17	o 6583549
3587.14/3596.17	o 6363507
3587.14/3596.17	o 6354907
3587.14/3596.17	o 6341989
3587.14/3596.17	o 6299475
3587.14/3596.17	o 6280953
3587.14/3596.17	o 6259001
3587.14/3596.17	o 6255669
3587.14/3596.17	o 6249409
3587.14/3596.17	o 6247393
3587.14/3596.17	o 6231763
3587.14/3596.17	o 6226603
3587.14/3596.17	o 6207009
3587.14/3596.17	o 6193369
3587.14/3596.17	o 6174551
3587.14/3596.17	o 6143601
3587.14/3596.17	o 6135509
3587.14/3596.17	o 6128549
3587.14/3596.17	o 6122357
3587.14/3596.17	o 6114915
3587.14/3596.17	o 6099285
3587.14/3596.17	o 6095517
3587.14/3596.17	o 6087725
3587.14/3596.17	o 6080829
3587.14/3596.17	o 6071861
3587.14/3596.17	o 6048541
3587.14/3596.17	o 6041863
3587.14/3596.17	o 6038133
3587.14/3596.17	o 6034631
3587.14/3596.17	o 6024325
3587.14/3596.17	o 5992117
3587.14/3596.17	o 5978897
3587.14/3596.17	o 5963267
3587.14/3596.17	o 5959707
3587.14/3596.17	o 5949237
3587.14/3596.17	o 5924483
3587.14/3596.17	o 5914559
3587.14/3596.17	o 5910829
3587.14/3596.17	o 5904609
3587.14/3596.17	o 5899845
3587.14/3596.17	o 5894685
3587.14/3596.17	o 5890955
3587.14/3596.17	o 5878799
3587.14/3596.17	o 5874641
3587.14/3596.17	o 5871971
3587.14/3596.17	o 5851931
3587.14/3596.17	o 5836213
3587.14/3596.17	o 5834759
3587.14/3596.17	o 5831029
3587.14/3596.17	o 5829995
3587.14/3596.17	o 5826265
3587.14/3596.17	o 5821105
3587.14/3596.17	o 5811987
3587.14/3596.17	o 5808257
3587.14/3596.17	o 5803283
3587.14/3596.17	o 5801501
3587.14/3596.17	o 5790713
3587.14/3596.17	o 5767793
3587.14/3596.17	o 5766759
3587.14/3596.17	o 5763029
3587.14/3596.17	o 5757869
3587.14/3596.17	o 5749499
3587.14/3596.17	o 5748579
3587.14/3596.17	o 5748115
3587.14/3596.17	o 5742955
3587.14/3596.17	o 5741437
3587.14/3596.17	o 5739779
3587.14/3596.17	o 5735257
3587.14/3596.17	o 5729101
3587.14/3596.17	o 5724579
3587.14/3596.17	o 5712309
3587.14/3596.17	o 5693381
3587.14/3596.17	o 5690019
3587.14/3596.17	o 5689143
3587.14/3596.17	o 5675085
3587.14/3596.17	o 5673255
3587.14/3596.17	o 5671737
3587.14/3596.17	o 5657631
3587.14/3596.17	o 5656479
3587.14/3596.17	o 5646071
3587.14/3596.17	o 5644791
3587.14/3596.17	o 5641281
3587.14/3596.17	o 5637837
3587.14/3596.17	o 5636759
3587.14/3596.17	o 5636537
3587.14/3596.17	o 5632949
3587.14/3596.17	o 5619029
3587.14/3596.17	o 5588837
3587.14/3596.17	o 5552687
3587.14/3596.17	o 5540679
3587.14/3596.17	o 5533725
3587.14/3596.17	o 5466129
3587.14/3596.17	o 5464557
3587.14/3596.17	o 5464413
3587.14/3596.17	o 5463075
3587.14/3596.17	o 5430415
3587.14/3596.17	o 5430055
3587.14/3596.17	o 5424439
3587.14/3596.17	o 5410241
3587.14/3596.17	o 5390761
3587.14/3596.17	o 5381499
3587.14/3596.17	o 5380083
3587.14/3596.17	o 5376721
3587.14/3596.17	o 5369635
3587.14/3596.17	o 5364475
3587.14/3596.17	o 5360745
3587.14/3596.17	o 5359825
3587.14/3596.17	o 5359465
3587.14/3596.17	o 5348773
3587.14/3596.17	o 5339323
3587.14/3596.17	o 5325461
3587.14/3596.17	o 5316811
3587.14/3596.17	o 5314239
3587.14/3596.17	o 5308635
3587.14/3596.17	o 5307997
3587.14/3596.17	o 5305501
3587.14/3596.17	o 5304163
3587.14/3596.17	o 5295505
3587.14/3596.17	o 5289889
3587.14/3596.17	o 5265817
3587.14/3596.17	o 5254595
3587.14/3596.17	o 5252683
3587.14/3596.17	o 5246497
3587.14/3596.17	o 5245047
3587.14/3596.17	o 5241363
3587.14/3596.17	o 5227147
3587.14/3596.17	o 5224465
3587.14/3596.17	o 5087075
3587.14/3596.17	o 5069039
3587.14/3596.17	o 5066285
3587.14/3596.17	o 5042377
3587.14/3596.17	o 5039481
3587.14/3596.17	o 5026511
3587.14/3596.17	o 5018301
3587.14/3596.17	o 5014821
3587.14/3596.17	o 5001851
3587.14/3596.17	o 4999563
3587.14/3596.17	o 4998773
3587.14/3596.17	o 4998053
3587.14/3596.17	o 4992593
3587.14/3596.17	o 4990013
3587.14/3596.17	o 4985741
3587.14/3596.17	o 4976387
3587.14/3596.17	o 4976259
3587.14/3596.17	o 4974909
3587.14/3596.17	o 4969869
3587.14/3596.17	o 4966739
3587.14/3596.17	o 4951919
3587.14/3596.17	o 4951613
3587.14/3596.17	o 4950565
3587.14/3596.17	o 4949643
3587.14/3596.17	o 4949055
3587.14/3596.17	o 4948975
3587.14/3596.17	o 4945845
3587.14/3596.17	o 4944495
3587.14/3596.17	o 4942813
3587.14/3596.17	o 4913553
3587.14/3596.17	o 4912603
3587.14/3596.17	c Program interrupted by user.
3587.14/3596.17	s SATISFIABLE
3587.14/3596.17	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	4912603

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: 63794 MiB (62771 MiB free)
  memory of node 1: 64507 MiB (62858 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504187-1751458249/watcher-4504187-1751458249 -o /tmp/evaluation-result-4504187-1751458249/solver-4504187-1751458249 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751458249-61047 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4504187-1751458249.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=61085, runsolver pid=61081
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 1.43 3.39 3.89 4/253 61105
/proc/meminfo: memFree=128634632/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61094] ppid=61085 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/61094/stat : 61094 (timeout) S 61085 61094 61035 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61504659 2723840 352 18446744073709551615 94068867969024 94068867985537 140729272913504 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94068868000304 94068868002392 94068893806592 140729272916400 140729272916514 140729272916514 140729272922087 0
/proc/61094/statm: 665 352 352 5 0 90 0
[pid=61100] ppid=61094 vsize=30140 memory=9344 CPUtime=0.06 cores=1,3
/proc/61100/stat : 61100 (NuPBO-DeepOptS+) R 61094 61094 61035 0 -1 4194304 1418 0 0 0 6 0 0 0 20 0 1 0 61504660 30863360 2336 18446744073709551615 4198400 15468185 140728537291216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49647616 140728537295292 140728537295393 140728537295393 140728537300966 0
/proc/61100/statm: 7535 2336 1056 2752 0 4188 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 37124 KiB
Current children cumulated memory: 13696 KiB

[startup+0.217121 s]*
/proc/loadavg: 1.43 3.39 3.89 6/252 61105
/proc/meminfo: memFree=128587276/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61094] ppid=61085 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/61094/stat : 61094 (timeout) S 61085 61094 61035 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61504659 2723840 352 18446744073709551615 94068867969024 94068867985537 140729272913504 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94068868000304 94068868002392 94068893806592 140729272916400 140729272916514 140729272916514 140729272922087 0
/proc/61094/statm: 665 352 352 5 0 90 0
[pid=61100] ppid=61094 vsize=42964 memory=22784 CPUtime=0.18 cores=1,3
/proc/61100/stat : 61100 (NuPBO-DeepOptS+) R 61094 61094 61035 0 -1 4194304 4787 0 0 0 16 2 0 0 20 0 1 0 61504660 43995136 5696 18446744073709551615 4198400 15468185 140728537291216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49647616 140728537295292 140728537295393 140728537295393 140728537300966 0
/proc/61100/statm: 10741 5696 1056 2752 0 7394 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 49948 KiB
Current children cumulated memory: 27136 KiB

[startup+0.314636 s]*
/proc/loadavg: 1.43 3.39 3.89 5/255 61109
/proc/meminfo: memFree=128575372/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61094] ppid=61085 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/61094/stat : 61094 (timeout) S 61085 61094 61035 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61504659 2723840 352 18446744073709551615 94068867969024 94068867985537 140729272913504 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94068868000304 94068868002392 94068893806592 140729272916400 140729272916514 140729272916514 140729272922087 0
/proc/61094/statm: 665 352 352 5 0 90 0
[pid=61100] ppid=61094 vsize=52896 memory=32640 CPUtime=0.27 cores=1,3
/proc/61100/stat : 61100 (NuPBO-DeepOptS+) R 61094 61094 61035 0 -1 4194304 7248 0 0 0 24 3 0 0 20 0 1 0 61504660 54165504 8160 18446744073709551615 4198400 15468185 140728537291216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49647616 140728537295292 140728537295393 140728537295393 140728537300966 0
/proc/61100/statm: 13224 8160 1056 2752 0 9877 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 59880 KiB
Current children cumulated memory: 36992 KiB

[startup+0.700519 s]
/proc/loadavg: 1.43 3.39 3.89 5/259 61117
/proc/meminfo: memFree=128501976/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61094] ppid=61085 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/61094/stat : 61094 (timeout) S 61085 61094 61035 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61504659 2723840 352 18446744073709551615 94068867969024 94068867985537 140729272913504 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94068868000304 94068868002392 94068893806592 140729272916400 140729272916514 140729272916514 140729272922087 0
/proc/61094/statm: 665 352 352 5 0 90 0
[pid=61100] ppid=61094 vsize=80840 memory=64640 CPUtime=0.64 cores=1,3
/proc/61100/stat : 61100 (NuPBO-DeepOptS+) R 61094 61094 61035 0 -1 4194304 15231 0 0 0 58 6 0 0 20 0 1 0 61504660 82780160 16160 18446744073709551615 4198400 15468185 140728537291216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49647616 140728537295292 140728537295393 140728537295393 140728537300966 0
/proc/61100/statm: 20210 16160 1088 2752 0 16863 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 68992 KiB

[startup+1.50046 s]
/proc/loadavg: 1.43 3.39 3.89 5/259 61117
/proc/meminfo: memFree=128429840/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61094] ppid=61085 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/61094/stat : 61094 (timeout) S 61085 61094 61035 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61504659 2723840 352 18446744073709551615 94068867969024 94068867985537 140729272913504 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94068868000304 94068868002392 94068893806592 140729272916400 140729272916514 140729272916514 140729272922087 0
/proc/61094/statm: 665 352 352 5 0 90 0
[pid=61100] ppid=61094 vsize=80840 memory=64640 CPUtime=1.44 cores=1,3
/proc/61100/stat : 61100 (NuPBO-DeepOptS+) R 61094 61094 61035 0 -1 4194304 15235 0 0 0 138 6 0 0 20 0 1 0 61504660 82780160 16160 18446744073709551615 4198400 15468185 140728537291216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49647616 140728537295292 140728537295393 140728537295393 140728537300966 0
/proc/61100/statm: 20210 16160 1088 2752 0 16863 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 68992 KiB

[startup+3.11342 s]
/proc/loadavg: 1.63 3.40 3.89 5/259 61118
/proc/meminfo: memFree=127865756/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61094] ppid=61085 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/61094/stat : 61094 (timeout) S 61085 61094 61035 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61504659 2723840 352 18446744073709551615 94068867969024 94068867985537 140729272913504 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94068868000304 94068868002392 94068893806592 140729272916400 140729272916514 140729272916514 140729272922087 0
/proc/61094/statm: 665 352 352 5 0 90 0
[pid=61100] ppid=61094 vsize=80840 memory=64640 CPUtime=3.05 cores=1,3
/proc/61100/stat : 61100 (NuPBO-DeepOptS+) R 61094 61094 61035 0 -1 4194304 15289 0 0 0 299 6 0 0 20 0 1 0 61504660 82780160 16160 18446744073709551615 4198400 15468185 140728537291216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49647616 140728537295292 140728537295393 140728537295393 140728537300966 0
/proc/61100/statm: 20210 16160 1088 2752 0 16863 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 68992 KiB

[startup+6.30044 s]
/proc/loadavg: 1.63 3.40 3.89 5/259 61118
/proc/meminfo: memFree=126878328/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61094] ppid=61085 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/61094/stat : 61094 (timeout) S 61085 61094 61035 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61504659 2723840 352 18446744073709551615 94068867969024 94068867985537 140729272913504 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94068868000304 94068868002392 94068893806592 140729272916400 140729272916514 140729272916514 140729272922087 0
/proc/61094/statm: 665 352 352 5 0 90 0
[pid=61100] ppid=61094 vsize=80840 memory=64640 CPUtime=6.23 cores=1,3
/proc/61100/stat : 61100 (NuPBO-DeepOptS+) R 61094 61094 61035 0 -1 4194304 15748 0 0 0 617 6 0 0 20 0 1 0 61504660 82780160 16160 18446744073709551615 4198400 15468185 140728537291216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49647616 140728537295292 140728537295393 140728537295393 140728537300966 0
/proc/61100/statm: 20210 16160 1088 2752 0 16863 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 68992 KiB

[startup+12.7005 s]
/proc/loadavg: 2.00 3.42 3.89 5/259 61118
/proc/meminfo: memFree=126862200/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61094] ppid=61085 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/61094/stat : 61094 (timeout) S 61085 61094 61035 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61504659 2723840 352 18446744073709551615 94068867969024 94068867985537 140729272913504 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94068868000304 94068868002392 94068893806592 140729272916400 140729272916514 140729272916514 140729272922087 0
/proc/61094/statm: 665 352 352 5 0 90 0
[pid=61100] ppid=61094 vsize=80840 memory=64640 CPUtime=12.61 cores=1,3
/proc/61100/stat : 61100 (NuPBO-DeepOptS+) R 61094 61094 61035 0 -1 4194304 15757 0 0 0 1255 6 0 0 20 0 1 0 61504660 82780160 16160 18446744073709551615 4198400 15468185 140728537291216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49647616 140728537295292 140728537295393 140728537295393 140728537300966 0
/proc/61100/statm: 20210 16160 1088 2752 0 16863 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 68992 KiB

[startup+25.5005 s]
/proc/loadavg: 2.46 3.48 3.90 5/259 61118
/proc/meminfo: memFree=126862232/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61094] ppid=61085 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/61094/stat : 61094 (timeout) S 61085 61094 61035 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61504659 2723840 352 18446744073709551615 94068867969024 94068867985537 140729272913504 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94068868000304 94068868002392 94068893806592 140729272916400 140729272916514 140729272916514 140729272922087 0
/proc/61094/statm: 665 352 352 5 0 90 0
[pid=61100] ppid=61094 vsize=80840 memory=65024 CPUtime=25.38 cores=1,3
/proc/61100/stat : 61100 (NuPBO-DeepOptS+) R 61094 61094 61035 0 -1 4194304 15841 0 0 0 2532 6 0 0 20 0 1 0 61504660 82780160 16256 18446744073709551615 4198400 15468185 140728537291216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49647616 140728537295292 140728537295393 140728537295393 140728537300966 0
/proc/61100/statm: 20210 16256 1088 2752 0 16863 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 69376 KiB

[startup+51.1135 s]
/proc/loadavg: 3.05 3.53 3.91 5/260 61119
/proc/meminfo: memFree=126862300/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61094] ppid=61085 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/61094/stat : 61094 (timeout) S 61085 61094 61035 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61504659 2723840 352 18446744073709551615 94068867969024 94068867985537 140729272913504 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94068868000304 94068868002392 94068893806592 140729272916400 140729272916514 140729272916514 140729272922087 0
/proc/61094/statm: 665 352 352 5 0 90 0
[pid=61100] ppid=61094 vsize=80840 memory=65024 CPUtime=50.93 cores=1,3
/proc/61100/stat : 61100 (NuPBO-DeepOptS+) R 61094 61094 61035 0 -1 4194304 15841 0 0 0 5087 6 0 0 20 0 1 0 61504660 82780160 16256 18446744073709551615 4198400 15468185 140728537291216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 49647616 140728537295292 140728537295393 140728537295393 140728537300966 0
/proc/61100/statm: 20210 16256 1088 2752 0 16863 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 69376 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 3.64 3.93 5/261 61126
/proc/meminfo: memFree=126845560/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61094] ppid=61085 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61230] ppid=61085 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/61230/stat : 61230 (timeout) S 61085 61230 61035 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61744460 2723840 320 18446744073709551615 94206501371904 94206501388417 140732825712080 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94206501403184 94206501405272 94206505451520 140732825721219 140732825721378 140732825721378 140732825726951 0
/proc/61230/statm: 665 320 320 5 0 90 0
[pid=61232] ppid=61230 vsize=712000 memory=630840 CPUtime=1061.22 cores=1,3
/proc/61232/stat : 61232 (ExactPR-nols) R 61230 61230 61035 0 -1 4194304 92950 0 0 0 105997 125 0 0 20 0 1 0 61744461 729088000 157710 18446744073709551615 94747597004800 94747606304453 140723813965984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94747608090944 94747608130024 94747620917248 140723813968280 140723813968420 140723813968420 140723813973993 0
/proc/61232/statm: 178000 157710 1824 2271 0 172638 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 718984 KiB
Current children cumulated memory: 635064 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.19 5/258 61355
/proc/meminfo: memFree=118128184/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=2392.5 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 282 16553 0 0 0 0 239242 8 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61230] ppid=61085 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/61230/stat : 61230 (timeout) S 61085 61230 61035 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61744460 2723840 320 18446744073709551615 94206501371904 94206501388417 140732825712080 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94206501403184 94206501405272 94206505451520 140732825721219 140732825721378 140732825721378 140732825726951 0
/proc/61230/statm: 665 320 320 5 0 90 0
[pid=61232] ppid=61230 vsize=716404 memory=635448 CPUtime=1121.04 cores=1,3
/proc/61232/stat : 61232 (ExactPR-nols) R 61230 61230 61035 0 -1 4194304 94100 0 0 0 111971 133 0 0 20 0 1 0 61744461 733597696 158862 18446744073709551615 94747597004800 94747606304453 140723813965984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94747608090944 94747608130024 94747620917248 140723813968280 140723813968420 140723813968420 140723813973993 0
/proc/61232/statm: 179101 158862 1824 2271 0 173739 0
Current children cumulated CPU time: 3513.54 s
Current children cumulated vsize: 723388 KiB
Current children cumulated memory: 639672 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.18 4.19 5/258 61359
/proc/meminfo: memFree=117890852/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=2392.5 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 282 16553 0 0 0 0 239242 8 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61230] ppid=61085 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/61230/stat : 61230 (timeout) S 61085 61230 61035 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61744460 2723840 320 18446744073709551615 94206501371904 94206501388417 140732825712080 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94206501403184 94206501405272 94206505451520 140732825721219 140732825721378 140732825721378 140732825726951 0
/proc/61230/statm: 665 320 320 5 0 90 0
[pid=61232] ppid=61230 vsize=739908 memory=671244 CPUtime=1180.87 cores=1,3
/proc/61232/stat : 61232 (ExactPR-nols) R 61230 61230 61035 0 -1 4194304 97984 0 0 0 117950 137 0 0 20 0 1 0 61744461 757665792 167811 18446744073709551615 94747597004800 94747606304453 140723813965984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94747608090944 94747608130024 94747620917248 140723813968280 140723813968420 140723813968420 140723813973993 0
/proc/61232/statm: 184977 167811 1824 2271 0 179615 0
Current children cumulated CPU time: 3573.37 s
Current children cumulated vsize: 746892 KiB
Current children cumulated memory: 675468 KiB

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

# cumulated CPU time of all completed processes:  user=3585.67 s, system=1.51676 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.17 4.19 5/258 61359
/proc/meminfo: memFree=117876912/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=2392.5 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 282 16553 0 0 0 0 239242 8 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61230] ppid=61085 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/61230/stat : 61230 (timeout) S 61085 61230 61035 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61744460 2723840 320 18446744073709551615 94206501371904 94206501388417 140732825712080 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94206501403184 94206501405272 94206505451520 140732825721219 140732825721378 140732825721378 140732825726951 0
/proc/61230/statm: 665 320 320 5 0 90 0
[pid=61232] ppid=61230 vsize=739908 memory=671372 CPUtime=1182.58 cores=1,3
/proc/61232/stat : 61232 (ExactPR-nols) R 61230 61230 61035 0 -1 4194304 97999 0 0 0 118121 137 0 0 20 0 1 0 61744461 757665792 167843 18446744073709551615 94747597004800 94747606304453 140723813965984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94747608090944 94747608130024 94747620917248 140723813968280 140723813968420 140723813968420 140723813973993 0
/proc/61232/statm: 184977 167843 1824 2271 0 179615 0
Current children cumulated CPU time: 3575.08 s
Current children cumulated vsize: 746892 KiB
Current children cumulated memory: 675596 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.17 4.19 5/257 61359
/proc/meminfo: memFree=117860908/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=2392.5 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 282 16553 0 0 0 0 239242 8 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61230] ppid=61085 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/61230/stat : 61230 (timeout) S 61085 61230 61035 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61744460 2723840 320 18446744073709551615 94206501371904 94206501388417 140732825712080 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94206501403184 94206501405272 94206505451520 140732825721219 140732825721378 140732825721378 140732825726951 0
/proc/61230/statm: 665 320 320 5 0 90 0
[pid=61232] ppid=61230 vsize=739908 memory=671372 CPUtime=1188.95 cores=1,3
/proc/61232/stat : 61232 (ExactPR-nols) R 61230 61230 61035 0 -1 4194304 98017 0 0 0 118757 138 0 0 20 0 1 0 61744461 757665792 167843 18446744073709551615 94747597004800 94747606304453 140723813965984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94747608090944 94747608130024 94747620917248 140723813968280 140723813968420 140723813968420 140723813973993 0
/proc/61232/statm: 184977 167843 1824 2271 0 179615 0
Current children cumulated CPU time: 3581.45 s
Current children cumulated vsize: 746892 KiB
Current children cumulated memory: 675596 KiB

[startup+3593.6 s]
/proc/loadavg: 4.18 4.18 4.19 5/257 61359
/proc/meminfo: memFree=117856812/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=2392.5 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 282 16553 0 0 0 0 239242 8 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61230] ppid=61085 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/61230/stat : 61230 (timeout) S 61085 61230 61035 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61744460 2723840 320 18446744073709551615 94206501371904 94206501388417 140732825712080 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94206501403184 94206501405272 94206505451520 140732825721219 140732825721378 140732825721378 140732825726951 0
/proc/61230/statm: 665 320 320 5 0 90 0
[pid=61232] ppid=61230 vsize=739908 memory=671372 CPUtime=1192.14 cores=1,3
/proc/61232/stat : 61232 (ExactPR-nols) R 61230 61230 61035 0 -1 4194304 98017 0 0 0 119076 138 0 0 20 0 1 0 61744461 757665792 167843 18446744073709551615 94747597004800 94747606304453 140723813965984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94747608090944 94747608130024 94747620917248 140723813968280 140723813968420 140723813968420 140723813973993 0
/proc/61232/statm: 184977 167843 1824 2271 0 179615 0
Current children cumulated CPU time: 3584.64 s
Current children cumulated vsize: 746892 KiB
Current children cumulated memory: 675596 KiB

[startup+3595.2 s]
/proc/loadavg: 4.18 4.18 4.19 5/257 61359
/proc/meminfo: memFree=117844616/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=2392.5 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 282 16553 0 0 0 0 239242 8 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61230] ppid=61085 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/61230/stat : 61230 (timeout) S 61085 61230 61035 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61744460 2723840 320 18446744073709551615 94206501371904 94206501388417 140732825712080 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94206501403184 94206501405272 94206505451520 140732825721219 140732825721378 140732825721378 140732825726951 0
/proc/61230/statm: 665 320 320 5 0 90 0
[pid=61232] ppid=61230 vsize=739908 memory=671372 CPUtime=1193.74 cores=1,3
/proc/61232/stat : 61232 (ExactPR-nols) R 61230 61230 61035 0 -1 4194304 98017 0 0 0 119236 138 0 0 20 0 1 0 61744461 757665792 167843 18446744073709551615 94747597004800 94747606304453 140723813965984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94747608090944 94747608130024 94747620917248 140723813968280 140723813968420 140723813968420 140723813973993 0
/proc/61232/statm: 184977 167843 1824 2271 0 179615 0
Current children cumulated CPU time: 3586.24 s
Current children cumulated vsize: 746892 KiB
Current children cumulated memory: 675596 KiB

[startup+3595.6 s]
/proc/loadavg: 4.18 4.18 4.19 5/257 61359
/proc/meminfo: memFree=117844616/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=2392.5 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 282 16553 0 0 0 0 239242 8 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61230] ppid=61085 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/61230/stat : 61230 (timeout) S 61085 61230 61035 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61744460 2723840 320 18446744073709551615 94206501371904 94206501388417 140732825712080 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94206501403184 94206501405272 94206505451520 140732825721219 140732825721378 140732825721378 140732825726951 0
/proc/61230/statm: 665 320 320 5 0 90 0
[pid=61232] ppid=61230 vsize=739908 memory=671372 CPUtime=1194.13 cores=1,3
/proc/61232/stat : 61232 (ExactPR-nols) R 61230 61230 61035 0 -1 4194304 98017 0 0 0 119275 138 0 0 20 0 1 0 61744461 757665792 167843 18446744073709551615 94747597004800 94747606304453 140723813965984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94747608090944 94747608130024 94747620917248 140723813968280 140723813968420 140723813968420 140723813973993 0
/proc/61232/statm: 184977 167843 1824 2271 0 179615 0
Current children cumulated CPU time: 3586.63 s
Current children cumulated vsize: 746892 KiB
Current children cumulated memory: 675596 KiB

[startup+3596 s]*
/proc/loadavg: 4.18 4.18 4.19 5/257 61359
/proc/meminfo: memFree=117832708/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=2392.5 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 282 16553 0 0 0 0 239242 8 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
[pid=61230] ppid=61085 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/61230/stat : 61230 (timeout) S 61085 61230 61035 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61744460 2723840 320 18446744073709551615 94206501371904 94206501388417 140732825712080 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94206501403184 94206501405272 94206505451520 140732825721219 140732825721378 140732825721378 140732825726951 0
/proc/61230/statm: 665 320 320 5 0 90 0
[pid=61232] ppid=61230 vsize=739908 memory=671372 CPUtime=1194.54 cores=1,3
/proc/61232/stat : 61232 (ExactPR-nols) R 61230 61230 61035 0 -1 4194304 98017 0 0 0 119316 138 0 0 20 0 1 0 61744461 757665792 167843 18446744073709551615 94747597004800 94747606304453 140723813965984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94747608090944 94747608130024 94747620917248 140723813968280 140723813968420 140723813968420 140723813973993 0
/proc/61232/statm: 184977 167843 1824 2271 0 179615 0
Current children cumulated CPU time: 3587.04 s
Current children cumulated vsize: 746892 KiB
Current children cumulated memory: 675596 KiB

[startup+3596.11 s]
/proc/loadavg: 4.18 4.18 4.19 5/257 61359
/proc/meminfo: memFree=117832708/131382112 swapFree=33010684/33010684
[pid=61085] ppid=61081 vsize=4324 memory=2944 CPUtime=3587.14 cores=1,3
/proc/61085/stat : 61085 (Hybrid-NuPBODee) S 61081 61085 61035 0 -1 4194304 337 115280 0 0 0 0 358566 148 20 0 1 0 61504656 4427776 736 18446744073709551615 93882421698560 93882422593093 140731735119696 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 93882422832144 93882422879888 93882427977728 140731735128411 140731735128563 140731735128563 140731735134165 0
/proc/61085/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.19
CPU time (s): 3587.19
CPU user time (s): 3585.67
CPU system time (s): 1.51676
CPU usage (%): 99.7498
Max. virtual memory (cumulated for all children) (KiB): 746892
Max. memory (cumulated for all children) (KiB): 675596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.67
system time used= 1.51676
maximum resident set size= 672012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118158
page faults= 0
swaps= 0
block input operations= 0
block output operations= 688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2080
involuntary context switches= 2001


# summary of solver processes directly reported to runsolver:
#   pid: 61085
#   total CPU time (s): 3587.19
#   total CPU user time (s): 3585.67
#   total CPU system time (s): 1.51676

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0863 second user time and 38.1589 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-02 14:10:49
IDJOB=4504187
IDBENCH=155636
IDSOLVER=3332
FILE ID=nodeC012/4504187-1751458249
RUNJOBID= nodeC012-1751458249-61047
SLURM_JOB_ID= 9598458
Free space on /tmp= 432164 MiB

SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb
COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504187-1751458249/watcher-4504187-1751458249 -o /tmp/evaluation-result-4504187-1751458249/solver-4504187-1751458249 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751458249-61047 --watchdog 3760  ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4504187-1751458249.opb 3600 HOME

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

MD5SUM BENCH= 26289d562a21d461fc03dcfb0c556d93
RANDOM SEED=153056344

nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.418
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.154
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.152
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.417
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.124
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.161
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128634388 kB
MemAvailable:   129930084 kB
Buffers:            3280 kB
Cached:          2101004 kB
SwapCached:            0 kB
Active:           387392 kB
Inactive:        1789240 kB
Active(anon):      90308 kB
Inactive(anon):        0 kB
Active(file):     297084 kB
Inactive(file):  1789240 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            105988 kB
Writeback:             0 kB
AnonPages:         75456 kB
Mapped:           102476 kB
Shmem:             17960 kB
KReclaimable:      97612 kB
Slab:             181224 kB
SReclaimable:      97612 kB
SUnreclaim:        83612 kB
KernelStack:        3840 kB
PageTables:         2824 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     338048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432024 MiB
End job on nodeC012 at 2025-07-02 15:10:46