Trace number 4503819

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-02SAT4451479 3586.33 3596.16

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

3586.30/3596.14	c 24510 constraints
3586.30/3596.14	c after presolve  24512
3586.30/3596.14	o 203376635
3586.30/3596.14	o 126259053
3586.30/3596.14	o 93604999
3586.30/3596.14	o 93530253
3586.30/3596.14	o 61666843
3586.30/3596.14	o 61612717
3586.30/3596.14	o 61492643
3586.30/3596.14	o 61445299
3586.30/3596.14	o 61383083
3586.30/3596.14	o 61375985
3586.30/3596.14	o 61269089
3586.30/3596.14	o 61254893
3586.30/3596.14	o 61215795
3586.30/3596.14	o 61188859
3586.30/3596.14	o 61138637
3586.30/3596.14	o 61099569
3586.30/3596.14	o 61067741
3586.30/3596.14	o 61016857
3586.30/3596.14	o 58810397
3586.30/3596.14	o 58482031
3586.30/3596.14	o 58249925
3586.30/3596.14	o 58161725
3586.30/3596.14	o 58024645
3586.30/3596.14	o 57985577
3586.30/3596.14	o 57877321
3586.30/3596.14	o 57862181
3586.30/3596.14	o 57762803
3586.30/3596.14	o 57708643
3586.30/3596.14	o 57636219
3586.30/3596.14	o 57460671
3586.30/3596.14	o 57419487
3586.30/3596.14	o 56190481
3586.30/3596.14	o 56169905
3586.30/3596.14	o 56115697
3586.30/3596.14	o 56065475
3586.30/3596.14	o 55891797
3586.30/3596.14	o 55882767
3586.30/3596.14	o 55816951
3586.30/3596.14	o 55676845
3586.30/3596.14	o 55633671
3586.30/3596.14	o 55631679
3586.30/3596.14	o 55543049
3586.30/3596.14	o 55454857
3586.30/3596.14	o 55422817
3586.30/3596.14	o 55369817
3586.30/3596.14	o 55148481
3586.30/3596.14	o 55136853
3586.30/3596.14	o 55130759
3586.30/3596.14	o 55091919
3586.30/3596.14	o 55085075
3586.30/3596.14	o 55041799
3586.30/3596.14	o 55025245
3586.30/3596.14	o 55017997
3586.30/3596.14	o 54925165
3586.30/3596.14	o 54917077
3586.30/3596.14	o 54887231
3586.30/3596.14	o 54855357
3586.30/3596.14	o 54841719
3586.30/3596.14	o 54651941
3586.30/3596.14	o 54649755
3586.30/3596.14	o 54638097
3586.30/3596.14	o 54611885
3586.30/3596.14	o 54603405
3586.30/3596.14	o 54579039
3586.30/3596.14	o 54556415
3586.30/3596.14	o 54524831
3586.30/3596.14	o 54519839
3586.30/3596.14	o 54517215
3586.30/3596.14	o 54387735
3586.30/3596.14	o 54386471
3586.30/3596.14	o 54368237
3586.30/3596.14	o 54363245
3586.30/3596.14	o 54362141
3586.30/3596.14	o 54349267
3586.30/3596.14	o 54323891
3586.30/3596.14	o 54321983
3586.30/3596.14	o 54295909
3586.30/3596.14	o 54257877
3586.30/3596.14	o 54205079
3586.30/3596.14	o 54202765
3586.30/3596.14	o 54154067
3586.30/3596.14	o 54117491
3586.30/3596.14	o 54093139
3586.30/3596.14	o 54082611
3586.30/3596.14	o 54070485
3586.30/3596.14	o 54032827
3586.30/3596.14	o 54014525
3586.30/3596.14	o 53986623
3586.30/3596.14	o 53979429
3586.30/3596.14	o 53973173
3586.30/3596.14	o 53966297
3586.30/3596.14	o 53936329
3586.30/3596.14	o 53936011
3586.30/3596.14	o 53861265
3586.30/3596.14	o 53848145
3586.30/3596.14	o 53698563
3586.30/3596.14	o 53630465
3586.30/3596.14	o 53608221
3586.30/3596.14	o 53595735
3586.30/3596.14	o 53557069
3586.30/3596.14	o 53546893
3586.30/3596.14	o 53498757
3586.30/3596.14	o 53421519
3586.30/3596.14	o 32646643
3586.30/3596.14	o 32581385
3586.30/3596.14	o 32404361
3586.30/3596.14	o 32382291
3586.30/3596.14	o 32330767
3586.30/3596.14	o 32174479
3586.30/3596.14	o 32165231
3586.30/3596.14	o 31992423
3586.30/3596.14	o 31904237
3586.30/3596.14	o 31902947
3586.30/3596.14	o 31831533
3586.30/3596.14	o 31752791
3586.30/3596.14	o 31719277
3586.30/3596.14	o 25656477
3586.30/3596.14	o 25599357
3586.30/3596.14	o 25515901
3586.30/3596.14	o 25508887
3586.30/3596.14	o 25455087
3586.30/3596.14	o 25442895
3586.30/3596.14	o 25404221
3586.30/3596.14	o 25402515
3586.30/3596.14	o 25371987
3586.30/3596.14	o 25367781
3586.30/3596.14	o 24608235
3586.30/3596.14	o 24521355
3586.30/3596.14	o 24505675
3586.30/3596.14	o 24481035
3586.30/3596.14	o 24345753
3586.30/3596.14	o 24321421
3586.30/3596.14	o 24190737
3586.30/3596.14	o 24188891
3586.30/3596.14	o 24024383
3586.30/3596.14	o 24016103
3586.30/3596.14	o 24009149
3586.30/3596.14	o 23966025
3586.30/3596.14	o 23899995
3586.30/3596.14	o 23861011
3586.30/3596.14	o 23815435
3586.30/3596.14	o 23764875
3586.30/3596.14	o 23714305
3586.30/3596.14	o 23700011
3586.30/3596.14	o 23698839
3586.30/3596.14	o 23648353
3586.30/3596.14	o 23642689
3586.30/3596.14	o 23635675
3586.30/3596.14	o 23624843
3586.30/3596.14	o 23574283
3586.30/3596.14	o 23567905
3586.30/3596.14	o 23451395
3586.30/3596.14	o 23432001
3586.30/3596.14	o 23378713
3586.30/3596.14	o 23375151
3586.30/3596.14	o 23332227
3586.30/3596.14	o 23326583
3586.30/3596.14	o 23287347
3586.30/3596.14	o 23261581
3586.30/3596.14	o 23249267
3586.30/3596.14	o 23227337
3586.30/3596.14	o 23217609
3586.30/3596.14	o 23210889
3586.30/3596.14	o 23169181
3586.30/3596.14	o 23110095
3586.30/3596.14	o 23070903
3586.30/3596.14	o 23021583
3586.30/3596.14	o 23006007
3586.30/3596.14	o 22943293
3586.30/3596.14	o 22922161
3586.30/3596.14	o 22909435
3586.30/3596.14	o 22896095
3586.30/3596.14	o 22870969
3586.30/3596.14	o 20015075
3586.30/3596.14	o 20007857
3586.30/3596.14	o 19966293
3586.30/3596.14	o 19941037
3586.30/3596.14	o 19940125
3586.30/3596.14	o 19668117
3586.30/3596.14	o 19610407
3586.30/3596.14	o 19529323
3586.30/3596.14	o 19528353
3586.30/3596.14	o 19474875
3586.30/3596.14	o 17953949
3586.30/3596.14	o 17912271
3586.30/3596.14	o 17797821
3586.30/3596.14	o 17797191
3586.30/3596.14	o 17779763
3586.30/3596.14	o 14205615
3586.30/3596.14	o 14192655
3586.30/3596.14	o 14190561
3586.30/3596.14	o 14184011
3586.30/3596.14	o 14176977
3586.30/3596.14	o 14159549
3586.30/3596.14	o 14122753
3586.30/3596.14	o 14088523
3586.30/3596.14	o 14018737
3586.30/3596.14	o 13962611
3586.30/3596.14	o 13912573
3586.30/3596.14	o 13903081
3586.30/3596.14	o 13883055
3586.30/3596.14	o 13843447
3586.30/3596.14	o 13842531
3586.30/3596.14	o 13839563
3586.30/3596.14	o 13839203
3586.30/3596.14	o 13829253
3586.30/3596.14	o 13825729
3586.30/3596.14	o 13824373
3586.30/3596.14	o 13818351
3586.30/3596.14	o 13792989
3586.30/3596.14	o 13768433
3586.30/3596.14	o 13175831
3586.30/3596.14	o 13165291
3586.30/3596.14	o 13149219
3586.30/3596.14	o 13139285
3586.30/3596.14	o 13105163
3586.30/3596.14	o 13096171
3586.30/3596.14	o 13086819
3586.30/3596.14	o 13023919
3586.30/3596.14	o 13021345
3586.30/3596.14	o 13009089
3586.30/3596.14	o 12999179
3586.30/3596.14	o 12995531
3586.30/3596.14	o 12987641
3586.30/3596.14	o 12979135
3586.30/3596.14	o 12962497
3586.30/3596.14	o 12943537
3586.30/3596.14	o 12927857
3586.30/3596.14	o 12927801
3586.30/3596.14	o 12914631
3586.30/3596.14	o 12901311
3586.30/3596.14	o 12894731
3586.30/3596.14	o 12890559
3586.30/3596.14	o 12890503
3586.30/3596.14	o 12879963
3586.30/3596.14	o 12856139
3586.30/3596.14	o 12844351
3586.30/3596.14	o 12837771
3586.30/3596.14	o 12828279
3586.30/3596.14	o 12820345
3586.30/3596.14	o 12814847
3586.30/3596.14	o 12812085
3586.30/3596.14	o 12801545
3586.30/3596.14	o 12793115
3586.30/3596.14	o 12742041
3586.30/3596.14	o 12741411
3586.30/3596.14	o 12732281
3586.30/3596.14	o 12723915
3586.30/3596.14	o 12709085
3586.30/3596.14	o 12703765
3586.30/3596.14	o 12702773
3586.30/3596.14	o 12686701
3586.30/3596.14	o 12656607
3586.30/3596.14	o 12656509
3586.30/3596.14	o 12640437
3586.30/3596.14	o 12638263
3586.30/3596.14	o 12626007
3586.30/3596.14	o 12620433
3586.30/3596.14	o 12558509
3586.30/3596.14	o 12491889
3586.30/3596.14	o 12489393
3586.30/3596.14	o 12488763
3586.30/3596.14	o 12485105
3586.30/3596.14	o 12479443
3586.30/3596.14	o 12476083
3586.30/3596.14	o 12473509
3586.30/3596.14	o 12471045
3586.30/3596.14	o 9315741
3586.30/3596.14	o 9277953
3586.30/3596.14	o 9274985
3586.30/3596.14	o 9202465
3586.30/3596.14	o 9172423
3586.30/3596.14	o 9171571
3586.30/3596.14	o 9151907
3586.30/3596.14	o 9136937
3586.30/3596.14	o 9107879
3586.30/3596.14	o 9096407
3586.30/3596.14	o 9091041
3586.30/3596.14	o 9084179
3586.30/3596.14	o 9062137
3586.30/3596.14	o 9051843
3586.30/3596.14	o 9045021
3586.30/3596.14	o 9012373
3586.30/3596.14	o 8974149
3586.30/3596.14	o 8974147
3586.30/3596.14	o 8971069
3586.30/3596.14	o 8930639
3586.30/3596.14	o 8891453
3586.30/3596.14	o 8610663
3586.30/3596.14	o 8601687
3586.30/3596.14	o 8559041
3586.30/3596.14	o 8390801
3586.30/3596.14	o 8383235
3586.30/3596.14	o 8382539
3586.30/3596.14	o 8332773
3586.30/3596.14	o 8320563
3586.30/3596.14	o 8168567
3586.30/3596.14	o 8128757
3586.30/3596.14	o 8113467
3586.30/3596.14	o 8005187
3586.30/3596.14	o 7947987
3586.30/3596.14	o 7900709
3586.30/3596.14	o 7893425
3586.30/3596.14	o 7892237
3586.30/3596.14	o 7878095
3586.30/3596.14	o 7870811
3586.30/3596.14	o 7839791
3586.30/3596.14	o 7756095
3586.30/3596.14	o 7661273
3586.30/3596.14	o 7656903
3586.30/3596.14	o 7651601
3586.30/3596.14	o 7553053
3586.30/3596.14	o 7551505
3586.30/3596.14	o 7549151
3586.30/3596.14	o 7547489
3586.30/3596.14	o 7541475
3586.30/3596.14	o 7530295
3586.30/3596.14	o 7492641
3586.30/3596.14	o 7473555
3586.30/3596.14	o 7461555
3586.30/3596.14	o 7441509
3586.30/3596.14	o 7424693
3586.30/3596.14	o 6350875
3586.30/3596.14	o 6346795
3586.30/3596.14	o 6318085
3586.30/3596.14	o 5694549
3586.30/3596.14	o 5011269
3586.30/3596.14	o 5007789
3586.30/3596.14	o 4987635
3586.30/3596.14	o 4971273
3586.30/3596.14	o 4966911
3586.30/3596.14	o 4965823
3586.30/3596.14	o 4940737
3586.30/3596.14	o 4937489
3586.30/3596.14	o 4928975
3586.30/3596.14	o 4919629
3586.30/3596.14	o 4913053
3586.30/3596.14	o 4908771
3586.30/3596.14	o 4905211
3586.30/3596.14	o 4894891
3586.30/3596.14	o 4890323
3586.30/3596.14	o 4873389
3586.30/3596.14	o 4870835
3586.30/3596.14	o 4867267
3586.30/3596.14	o 4833229
3586.30/3596.14	o 4829283
3586.30/3596.14	o 4828275
3586.30/3596.14	o 4826461
3586.30/3596.14	o 4825767
3586.30/3596.14	o 4820813
3586.30/3596.14	o 4820157
3586.30/3596.14	o 4807063
3586.30/3596.14	o 4802109
3586.30/3596.14	o 4792525
3586.30/3596.14	o 4785383
3586.30/3596.14	o 4782265
3586.30/3596.14	o 4781257
3586.30/3596.14	o 4780513
3586.30/3596.14	o 4776567
3586.30/3596.14	o 4776017
3586.30/3596.14	o 4774097
3586.30/3596.14	o 4773585
3586.30/3596.14	o 4757105
3586.30/3596.14	o 4756375
3586.30/3596.14	o 4749647
3586.30/3596.14	o 4747705
3586.30/3596.14	o 4745079
3586.30/3596.14	o 4742429
3586.30/3596.14	o 4740807
3586.30/3596.14	o 4739979
3586.30/3596.14	o 4736861
3586.30/3596.14	o 4735525
3586.30/3596.14	o 4732837
3586.30/3596.14	o 4723809
3586.30/3596.14	o 4722235
3586.30/3596.14	o 4722067
3586.30/3596.14	o 4721151
3586.30/3596.14	o 4720735
3586.30/3596.14	o 4716369
3586.30/3596.14	o 4714545
3586.30/3596.14	o 4700763
3586.30/3596.14	o 4693977
3586.30/3596.14	o 4659151
3586.30/3596.14	o 4649823
3586.30/3596.14	o 4642743
3586.30/3596.14	o 4626567
3586.30/3596.14	o 4620513
3586.30/3596.14	o 4617395
3586.30/3596.14	o 4616103
3586.30/3596.14	o 4615409
3586.30/3596.14	o 4610455
3586.30/3596.14	o 4609711
3586.30/3596.14	o 4604897
3586.30/3596.14	o 4604375
3586.30/3596.14	o 4597673
3586.30/3596.14	o 4596665
3586.30/3596.14	o 4593547
3586.30/3596.14	o 4592521
3586.30/3596.14	o 4591777
3586.30/3596.14	o 4590949
3586.30/3596.14	o 4590465
3586.30/3596.14	o 4589771
3586.30/3596.14	o 4588745
3586.30/3596.14	o 4587953
3586.30/3596.14	o 4575167
3586.30/3596.14	o 4568591
3586.30/3596.14	o 4565841
3586.30/3596.14	o 4561569
3586.30/3596.14	o 4556615
3586.30/3596.14	o 4555921
3586.30/3596.14	o 4555093
3586.30/3596.14	o 4553279
3586.30/3596.14	o 4549153
3586.30/3596.14	o 4548409
3586.30/3596.14	o 4543925
3586.30/3596.14	o 4538825
3586.30/3596.14	o 4518803
3586.30/3596.14	o 4517743
3586.30/3596.14	o 4516221
3586.30/3596.14	o 4515813
3586.30/3596.14	o 4508127
3586.30/3596.14	o 4507299
3586.30/3596.14	o 4504677
3586.30/3596.14	o 4497789
3586.30/3596.14	o 4497095
3586.30/3596.14	o 4494903
3586.30/3596.14	o 4494555
3586.30/3596.14	o 4486685
3586.30/3596.14	o 4475157
3586.30/3596.14	o 4474891
3586.30/3596.14	o 4473269
3586.30/3596.14	o 4468003
3586.30/3596.14	o 4462679
3586.30/3596.14	o 4458039
3586.30/3596.14	o 4457767
3586.30/3596.14	o 4457717
3586.30/3596.14	o 4453589
3586.30/3596.14	o 4452301
3586.30/3596.14	o 4451479
3586.30/3596.14	c Program interrupted by user.
3586.30/3596.14	s SATISFIABLE
3586.30/3596.14	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	4451479

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: 63665 MiB (61591 MiB free)
  memory of node 1: 64507 MiB (59428 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503819-1751449919/watcher-4503819-1751449919 -o /tmp/evaluation-result-4503819-1751449919/solver-4503819-1751449919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751442705-64447 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4503819-1751449919.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=65375, runsolver pid=65372

[startup+0.100063 s]*
/proc/loadavg: 4.11 4.09 4.09 5/272 65379
/proc/meminfo: memFree=123908192/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65378] ppid=65375 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65378/stat : 65378 (timeout) S 65375 65378 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60669650 2723840 320 18446744073709551615 93928378392576 93928378409089 140722705248624 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93928378423856 93928378425944 93928397950976 140722705254832 140722705254946 140722705254946 140722705260519 0
/proc/65378/statm: 665 320 320 5 0 90 0
[pid=65379] ppid=65378 vsize=48860 memory=28672 CPUtime=0.08 cores=0,2
/proc/65379/stat : 65379 (NuPBO-DeepOptS+) R 65378 65378 64437 0 -1 4194304 6262 0 0 0 7 1 0 0 20 0 1 0 60669651 50032640 7168 18446744073709551615 4198400 15468185 140727057112336 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27815936 140727057115580 140727057115681 140727057115681 140727057121254 0
/proc/65379/statm: 12215 7168 1056 2752 0 8868 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 55844 KiB
Current children cumulated memory: 32896 KiB

[startup+0.205851 s]*
/proc/loadavg: 4.11 4.09 4.09 5/272 65379
/proc/meminfo: memFree=123875936/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65378] ppid=65375 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65378/stat : 65378 (timeout) S 65375 65378 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60669650 2723840 320 18446744073709551615 93928378392576 93928378409089 140722705248624 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93928378423856 93928378425944 93928397950976 140722705254832 140722705254946 140722705254946 140722705260519 0
/proc/65378/statm: 665 320 320 5 0 90 0
[pid=65379] ppid=65378 vsize=79492 memory=59392 CPUtime=0.18 cores=0,2
/proc/65379/stat : 65379 (NuPBO-DeepOptS+) R 65378 65378 64437 0 -1 4194304 13926 0 0 0 17 1 0 0 20 0 1 0 60669651 81399808 14848 18446744073709551615 4198400 15468185 140727057112336 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27815936 140727057115580 140727057115681 140727057115681 140727057121254 0
/proc/65379/statm: 19906 14848 1056 2752 0 16559 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 86476 KiB
Current children cumulated memory: 63616 KiB

[startup+0.305789 s]*
/proc/loadavg: 4.11 4.09 4.09 5/272 65379
/proc/meminfo: memFree=123872156/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65378] ppid=65375 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65378/stat : 65378 (timeout) S 65375 65378 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60669650 2723840 320 18446744073709551615 93928378392576 93928378409089 140722705248624 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93928378423856 93928378425944 93928397950976 140722705254832 140722705254946 140722705254946 140722705260519 0
/proc/65378/statm: 665 320 320 5 0 90 0
[pid=65379] ppid=65378 vsize=80840 memory=64640 CPUtime=0.29 cores=0,2
/proc/65379/stat : 65379 (NuPBO-DeepOptS+) R 65378 65378 64437 0 -1 4194304 15231 0 0 0 27 2 0 0 20 0 1 0 60669651 82780160 16160 18446744073709551615 4198400 15468185 140727057112336 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27815936 140727057115580 140727057115681 140727057115681 140727057121254 0
/proc/65379/statm: 20210 16160 1088 2752 0 16863 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 68864 KiB

[startup+0.700239 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 65379
/proc/meminfo: memFree=123872180/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65378] ppid=65375 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65378/stat : 65378 (timeout) S 65375 65378 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60669650 2723840 320 18446744073709551615 93928378392576 93928378409089 140722705248624 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93928378423856 93928378425944 93928397950976 140722705254832 140722705254946 140722705254946 140722705260519 0
/proc/65378/statm: 665 320 320 5 0 90 0
[pid=65379] ppid=65378 vsize=80840 memory=64640 CPUtime=0.67 cores=0,2
/proc/65379/stat : 65379 (NuPBO-DeepOptS+) R 65378 65378 64437 0 -1 4194304 15235 0 0 0 65 2 0 0 20 0 1 0 60669651 82780160 16160 18446744073709551615 4198400 15468185 140727057112336 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27815936 140727057115580 140727057115681 140727057115681 140727057121254 0
/proc/65379/statm: 20210 16160 1088 2752 0 16863 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 68864 KiB

[startup+1.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 65379
/proc/meminfo: memFree=123872180/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65378] ppid=65375 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65378/stat : 65378 (timeout) S 65375 65378 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60669650 2723840 320 18446744073709551615 93928378392576 93928378409089 140722705248624 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93928378423856 93928378425944 93928397950976 140722705254832 140722705254946 140722705254946 140722705260519 0
/proc/65378/statm: 665 320 320 5 0 90 0
[pid=65379] ppid=65378 vsize=80840 memory=64640 CPUtime=1.47 cores=0,2
/proc/65379/stat : 65379 (NuPBO-DeepOptS+) R 65378 65378 64437 0 -1 4194304 15235 0 0 0 145 2 0 0 20 0 1 0 60669651 82780160 16160 18446744073709551615 4198400 15468185 140727057112336 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27815936 140727057115580 140727057115681 140727057115681 140727057121254 0
/proc/65379/statm: 20210 16160 1088 2752 0 16863 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 68864 KiB

[startup+3.10565 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 65379
/proc/meminfo: memFree=123872180/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65378] ppid=65375 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65378/stat : 65378 (timeout) S 65375 65378 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60669650 2723840 320 18446744073709551615 93928378392576 93928378409089 140722705248624 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93928378423856 93928378425944 93928397950976 140722705254832 140722705254946 140722705254946 140722705260519 0
/proc/65378/statm: 665 320 320 5 0 90 0
[pid=65379] ppid=65378 vsize=80840 memory=64640 CPUtime=3.07 cores=0,2
/proc/65379/stat : 65379 (NuPBO-DeepOptS+) R 65378 65378 64437 0 -1 4194304 15245 0 0 0 305 2 0 0 20 0 1 0 60669651 82780160 16160 18446744073709551615 4198400 15468185 140727057112336 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27815936 140727057115580 140727057115681 140727057115681 140727057121254 0
/proc/65379/statm: 20210 16160 1088 2752 0 16863 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 68864 KiB

[startup+6.30018 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 65379
/proc/meminfo: memFree=123872432/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65378] ppid=65375 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65378/stat : 65378 (timeout) S 65375 65378 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60669650 2723840 320 18446744073709551615 93928378392576 93928378409089 140722705248624 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93928378423856 93928378425944 93928397950976 140722705254832 140722705254946 140722705254946 140722705260519 0
/proc/65378/statm: 665 320 320 5 0 90 0
[pid=65379] ppid=65378 vsize=80840 memory=64640 CPUtime=6.26 cores=0,2
/proc/65379/stat : 65379 (NuPBO-DeepOptS+) R 65378 65378 64437 0 -1 4194304 15245 0 0 0 624 2 0 0 20 0 1 0 60669651 82780160 16160 18446744073709551615 4198400 15468185 140727057112336 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27815936 140727057115580 140727057115681 140727057115681 140727057121254 0
/proc/65379/statm: 20210 16160 1088 2752 0 16863 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 68864 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.08 4.09 5/272 65380
/proc/meminfo: memFree=126172124/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65378] ppid=65375 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65378/stat : 65378 (timeout) S 65375 65378 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60669650 2723840 320 18446744073709551615 93928378392576 93928378409089 140722705248624 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93928378423856 93928378425944 93928397950976 140722705254832 140722705254946 140722705254946 140722705260519 0
/proc/65378/statm: 665 320 320 5 0 90 0
[pid=65379] ppid=65378 vsize=80840 memory=64640 CPUtime=12.64 cores=0,2
/proc/65379/stat : 65379 (NuPBO-DeepOptS+) R 65378 65378 64437 0 -1 4194304 15245 0 0 0 1262 2 0 0 20 0 1 0 60669651 82780160 16160 18446744073709551615 4198400 15468185 140727057112336 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27815936 140727057115580 140727057115681 140727057115681 140727057121254 0
/proc/65379/statm: 20210 16160 1088 2752 0 16863 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 68864 KiB

[startup+25.5002 s]
/proc/loadavg: 4.00 4.06 4.08 5/272 65428
/proc/meminfo: memFree=127170672/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65378] ppid=65375 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65378/stat : 65378 (timeout) S 65375 65378 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60669650 2723840 320 18446744073709551615 93928378392576 93928378409089 140722705248624 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93928378423856 93928378425944 93928397950976 140722705254832 140722705254946 140722705254946 140722705260519 0
/proc/65378/statm: 665 320 320 5 0 90 0
[pid=65379] ppid=65378 vsize=80840 memory=64640 CPUtime=25.39 cores=0,2
/proc/65379/stat : 65379 (NuPBO-DeepOptS+) R 65378 65378 64437 0 -1 4194304 15245 0 0 0 2535 4 0 0 20 0 1 0 60669651 82780160 16160 18446744073709551615 4198400 15468185 140727057112336 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27815936 140727057115580 140727057115681 140727057115681 140727057121254 0
/proc/65379/statm: 20210 16160 1088 2752 0 16863 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 68864 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 65429
/proc/meminfo: memFree=127152544/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65378] ppid=65375 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65378/stat : 65378 (timeout) S 65375 65378 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60669650 2723840 320 18446744073709551615 93928378392576 93928378409089 140722705248624 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93928378423856 93928378425944 93928397950976 140722705254832 140722705254946 140722705254946 140722705260519 0
/proc/65378/statm: 665 320 320 5 0 90 0
[pid=65379] ppid=65378 vsize=80840 memory=65024 CPUtime=50.94 cores=0,2
/proc/65379/stat : 65379 (NuPBO-DeepOptS+) R 65378 65378 64437 0 -1 4194304 15329 0 0 0 5090 4 0 0 20 0 1 0 60669651 82780160 16256 18446744073709551615 4198400 15468185 140727057112336 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27815936 140727057115580 140727057115681 140727057115681 140727057121254 0
/proc/65379/statm: 20210 16256 1088 2752 0 16863 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 87824 KiB
Current children cumulated memory: 69248 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 65430
/proc/meminfo: memFree=127152616/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65378] ppid=65375 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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

/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65613] ppid=65375 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/65613/stat : 65613 (timeout) S 65375 65613 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60909451 2723840 352 18446744073709551615 94363665637376 94363665653889 140733634082560 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94363665668656 94363665670744 94363677102080 140733634087299 140733634087458 140733634087458 140733634093031 0
/proc/65613/statm: 665 352 352 5 0 90 0
[pid=65614] ppid=65613 vsize=876472 memory=825528 CPUtime=1061.31 cores=0,2
/proc/65614/stat : 65614 (ExactPR-nols) R 65613 65613 64437 0 -1 4194304 122296 0 0 0 106005 126 0 0 20 0 1 0 60909452 897507328 206382 18446744073709551615 93978833379328 93978842678981 140732785183440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93978844465472 93978844504552 93978858082304 140732785187224 140732785187364 140732785187364 140732785192937 0
/proc/65614/statm: 219118 206382 1856 2271 0 213756 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 883456 KiB
Current children cumulated memory: 829880 KiB

[startup+3522.3 s]
/proc/loadavg: 3.14 3.26 3.65 4/263 65754
/proc/meminfo: memFree=128343696/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=2391.56 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 283 15930 0 0 0 0 239152 4 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65613] ppid=65375 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/65613/stat : 65613 (timeout) S 65375 65613 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60909451 2723840 352 18446744073709551615 94363665637376 94363665653889 140733634082560 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94363665668656 94363665670744 94363677102080 140733634087299 140733634087458 140733634087458 140733634093031 0
/proc/65613/statm: 665 352 352 5 0 90 0
[pid=65614] ppid=65613 vsize=877384 memory=850360 CPUtime=1121.16 cores=0,2
/proc/65614/stat : 65614 (ExactPR-nols) R 65613 65613 64437 0 -1 4194304 122542 0 0 0 111979 137 0 0 20 0 1 0 60909452 898441216 212590 18446744073709551615 93978833379328 93978842678981 140732785183440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93978844465472 93978844504552 93978858082304 140732785187224 140732785187364 140732785187364 140732785192937 0
/proc/65614/statm: 219346 212590 1856 2271 0 213984 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 884368 KiB
Current children cumulated memory: 854712 KiB

[startup+3582.3 s]
/proc/loadavg: 3.11 3.23 3.62 4/264 65759
/proc/meminfo: memFree=128344192/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=2391.56 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 283 15930 0 0 0 0 239152 4 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65613] ppid=65375 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/65613/stat : 65613 (timeout) S 65375 65613 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60909451 2723840 352 18446744073709551615 94363665637376 94363665653889 140733634082560 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94363665668656 94363665670744 94363677102080 140733634087299 140733634087458 140733634087458 140733634093031 0
/proc/65613/statm: 665 352 352 5 0 90 0
[pid=65614] ppid=65613 vsize=877384 memory=851128 CPUtime=1181 cores=0,2
/proc/65614/stat : 65614 (ExactPR-nols) R 65613 65613 64437 0 -1 4194304 122542 0 0 0 117963 137 0 0 20 0 1 0 60909452 898441216 212782 18446744073709551615 93978833379328 93978842678981 140732785183440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93978844465472 93978844504552 93978858082304 140732785187224 140732785187364 140732785187364 140732785192937 0
/proc/65614/statm: 219346 212782 1856 2271 0 213984 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 884368 KiB
Current children cumulated memory: 855480 KiB

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

# cumulated CPU time of all completed processes:  user=3584.88 s, system=1.45012 s

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

[startup+3584 s]*
/proc/loadavg: 3.11 3.23 3.62 4/264 65759
/proc/meminfo: memFree=128344444/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=2391.56 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 283 15930 0 0 0 0 239152 4 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65613] ppid=65375 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/65613/stat : 65613 (timeout) S 65375 65613 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60909451 2723840 352 18446744073709551615 94363665637376 94363665653889 140733634082560 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94363665668656 94363665670744 94363677102080 140733634087299 140733634087458 140733634087458 140733634093031 0
/proc/65613/statm: 665 352 352 5 0 90 0
[pid=65614] ppid=65613 vsize=877384 memory=851128 CPUtime=1182.7 cores=0,2
/proc/65614/stat : 65614 (ExactPR-nols) R 65613 65613 64437 0 -1 4194304 122542 0 0 0 118133 137 0 0 20 0 1 0 60909452 898441216 212782 18446744073709551615 93978833379328 93978842678981 140732785183440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93978844465472 93978844504552 93978858082304 140732785187224 140732785187364 140732785187364 140732785192937 0
/proc/65614/statm: 219346 212782 1856 2271 0 213984 0
Current children cumulated CPU time: 3574.26 s
Current children cumulated vsize: 884368 KiB
Current children cumulated memory: 855480 KiB

[startup+3590.4 s]
/proc/loadavg: 3.10 3.23 3.61 4/264 65759
/proc/meminfo: memFree=128344696/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=2391.56 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 283 15930 0 0 0 0 239152 4 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65613] ppid=65375 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/65613/stat : 65613 (timeout) S 65375 65613 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60909451 2723840 352 18446744073709551615 94363665637376 94363665653889 140733634082560 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94363665668656 94363665670744 94363677102080 140733634087299 140733634087458 140733634087458 140733634093031 0
/proc/65613/statm: 665 352 352 5 0 90 0
[pid=65614] ppid=65613 vsize=877384 memory=851128 CPUtime=1189.08 cores=0,2
/proc/65614/stat : 65614 (ExactPR-nols) R 65613 65613 64437 0 -1 4194304 122542 0 0 0 118771 137 0 0 20 0 1 0 60909452 898441216 212782 18446744073709551615 93978833379328 93978842678981 140732785183440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93978844465472 93978844504552 93978858082304 140732785187224 140732785187364 140732785187364 140732785192937 0
/proc/65614/statm: 219346 212782 1856 2271 0 213984 0
Current children cumulated CPU time: 3580.64 s
Current children cumulated vsize: 884368 KiB
Current children cumulated memory: 855480 KiB

[startup+3593.6 s]
/proc/loadavg: 3.10 3.22 3.61 4/264 65759
/proc/meminfo: memFree=128344696/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=2391.56 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 283 15930 0 0 0 0 239152 4 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65613] ppid=65375 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/65613/stat : 65613 (timeout) S 65375 65613 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60909451 2723840 352 18446744073709551615 94363665637376 94363665653889 140733634082560 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94363665668656 94363665670744 94363677102080 140733634087299 140733634087458 140733634087458 140733634093031 0
/proc/65613/statm: 665 352 352 5 0 90 0
[pid=65614] ppid=65613 vsize=877384 memory=851256 CPUtime=1192.27 cores=0,2
/proc/65614/stat : 65614 (ExactPR-nols) R 65613 65613 64437 0 -1 4194304 122570 0 0 0 119090 137 0 0 20 0 1 0 60909452 898441216 212814 18446744073709551615 93978833379328 93978842678981 140732785183440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93978844465472 93978844504552 93978858082304 140732785187224 140732785187364 140732785187364 140732785192937 0
/proc/65614/statm: 219346 212814 1856 2271 0 213984 0
Current children cumulated CPU time: 3583.83 s
Current children cumulated vsize: 884368 KiB
Current children cumulated memory: 855608 KiB

[startup+3595.2 s]
/proc/loadavg: 3.10 3.22 3.61 4/264 65759
/proc/meminfo: memFree=128344696/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=2391.56 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 283 15930 0 0 0 0 239152 4 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65613] ppid=65375 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/65613/stat : 65613 (timeout) S 65375 65613 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60909451 2723840 352 18446744073709551615 94363665637376 94363665653889 140733634082560 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94363665668656 94363665670744 94363677102080 140733634087299 140733634087458 140733634087458 140733634093031 0
/proc/65613/statm: 665 352 352 5 0 90 0
[pid=65614] ppid=65613 vsize=877384 memory=851256 CPUtime=1193.87 cores=0,2
/proc/65614/stat : 65614 (ExactPR-nols) R 65613 65613 64437 0 -1 4194304 122570 0 0 0 119250 137 0 0 20 0 1 0 60909452 898441216 212814 18446744073709551615 93978833379328 93978842678981 140732785183440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93978844465472 93978844504552 93978858082304 140732785187224 140732785187364 140732785187364 140732785192937 0
/proc/65614/statm: 219346 212814 1856 2271 0 213984 0
Current children cumulated CPU time: 3585.43 s
Current children cumulated vsize: 884368 KiB
Current children cumulated memory: 855608 KiB

[startup+3595.6 s]
/proc/loadavg: 3.10 3.22 3.61 4/264 65759
/proc/meminfo: memFree=128344696/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=2391.56 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 283 15930 0 0 0 0 239152 4 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65613] ppid=65375 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/65613/stat : 65613 (timeout) S 65375 65613 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60909451 2723840 352 18446744073709551615 94363665637376 94363665653889 140733634082560 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94363665668656 94363665670744 94363677102080 140733634087299 140733634087458 140733634087458 140733634093031 0
/proc/65613/statm: 665 352 352 5 0 90 0
[pid=65614] ppid=65613 vsize=877384 memory=851256 CPUtime=1194.27 cores=0,2
/proc/65614/stat : 65614 (ExactPR-nols) R 65613 65613 64437 0 -1 4194304 122570 0 0 0 119290 137 0 0 20 0 1 0 60909452 898441216 212814 18446744073709551615 93978833379328 93978842678981 140732785183440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93978844465472 93978844504552 93978858082304 140732785187224 140732785187364 140732785187364 140732785192937 0
/proc/65614/statm: 219346 212814 1856 2271 0 213984 0
Current children cumulated CPU time: 3585.83 s
Current children cumulated vsize: 884368 KiB
Current children cumulated memory: 855608 KiB

[startup+3596 s]*
/proc/loadavg: 3.09 3.22 3.60 4/264 65759
/proc/meminfo: memFree=128344696/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=2391.56 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 283 15930 0 0 0 0 239152 4 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
[pid=65613] ppid=65375 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/65613/stat : 65613 (timeout) S 65375 65613 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60909451 2723840 352 18446744073709551615 94363665637376 94363665653889 140733634082560 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94363665668656 94363665670744 94363677102080 140733634087299 140733634087458 140733634087458 140733634093031 0
/proc/65613/statm: 665 352 352 5 0 90 0
[pid=65614] ppid=65613 vsize=877384 memory=851256 CPUtime=1194.67 cores=0,2
/proc/65614/stat : 65614 (ExactPR-nols) R 65613 65613 64437 0 -1 4194304 122570 0 0 0 119330 137 0 0 20 0 1 0 60909452 898441216 212814 18446744073709551615 93978833379328 93978842678981 140732785183440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93978844465472 93978844504552 93978858082304 140732785187224 140732785187364 140732785187364 140732785192937 0
/proc/65614/statm: 219346 212814 1856 2271 0 213984 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 884368 KiB
Current children cumulated memory: 855608 KiB

[startup+3596.11 s]
/proc/loadavg: 3.09 3.22 3.60 4/264 65759
/proc/meminfo: memFree=128344696/131249996 swapFree=33010416/33010684
[pid=65375] ppid=65372 vsize=4324 memory=2944 CPUtime=3586.3 cores=0,2
/proc/65375/stat : 65375 (Hybrid-NuPBODee) S 65372 65375 64437 0 -1 4194304 365 139842 0 0 0 0 358487 143 20 0 1 0 60669649 4427776 736 18446744073709551615 94301501829120 94301502723653 140722925649024 0 0 0 2 4 65536 1 0 0 17 0 0 0 0 0 0 94301502962704 94301503010448 94301505515520 140722925656411 140722925656563 140722925656563 140722925662165 0
/proc/65375/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.3 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.16
CPU time (s): 3586.33
CPU user time (s): 3584.88
CPU system time (s): 1.45012
CPU usage (%): 99.7269
Max. virtual memory (cumulated for all children) (KiB): 884368
Max. memory (cumulated for all children) (KiB): 855608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.88
system time used= 1.45012
maximum resident set size= 851896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142142
page faults= 0
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2010
involuntary context switches= 7890


# summary of solver processes directly reported to runsolver:
#   pid: 65375
#   total CPU time (s): 3586.33
#   total CPU user time (s): 3584.88
#   total CPU system time (s): 1.45012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.11933 second user time and 14.6789 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-02 11:51:59
IDJOB=4503819
IDBENCH=155605
IDSOLVER=3332
FILE ID=nodeC022/4503819-1751449919
RUNJOBID= nodeC022-1751442705-64447
SLURM_JOB_ID= 9598414
Free space on /tmp= 432240 MiB

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

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

MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=1289183844

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.717
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.717
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.122
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.008
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.697
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.713
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.825
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.698
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123924308 kB
MemAvailable:   124252824 kB
Buffers:            2128 kB
Cached:          1113276 kB
SwapCached:           32 kB
Active:          6063380 kB
Inactive:         570928 kB
Active(anon):    5532776 kB
Inactive(anon):     4176 kB
Active(file):     530604 kB
Inactive(file):   566752 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29076 kB
Writeback:            36 kB
AnonPages:       5521784 kB
Mapped:           122728 kB
Shmem:             18028 kB
KReclaimable:     140400 kB
Slab:             230588 kB
SReclaimable:     140400 kB
SUnreclaim:        90188 kB
KernelStack:        4384 kB
PageTables:        14292 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6400876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2545664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432304 MiB
End job on nodeC022 at 2025-07-02 12:51:55