Trace number 4437402

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-LSMabP+Exact 2024-07-11SAT5235712 3588.08 3596.07

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
MD5SUM6ea30ee5c980a208725b42ec6ced88d1
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 benchmark4372480
Best CPU time to get the best result obtained on this benchmark2892.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8060
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint31
Maximum length of a constraint780
Number of terms in the objective function 8060
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1599918681646
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1599918681646
Number of bits of the biggest sum of numbers41
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 

3588.00/3596.07	o 35091656
3588.00/3596.07	o 35091656
3588.00/3596.07	o 10355310
3588.00/3596.07	o 10235502
3588.00/3596.07	o 10115694
3588.00/3596.07	o 10018414
3588.00/3596.07	o 9906798
3588.00/3596.07	o 9835118
3588.00/3596.07	o 9753198
3588.00/3596.07	o 9627246
3588.00/3596.07	o 9539182
3588.00/3596.07	o 9467502
3588.00/3596.07	o 9369198
3588.00/3596.07	o 9249390
3588.00/3596.07	o 9115246
3588.00/3596.07	o 8982126
3588.00/3596.07	o 8877678
3588.00/3596.07	o 8749678
3588.00/3596.07	o 8671854
3588.00/3596.07	o 8543854
3588.00/3596.07	o 8430190
3588.00/3596.07	o 8356462
3588.00/3596.07	o 8267374
3588.00/3596.07	o 8155758
3588.00/3596.07	o 8056430
3588.00/3596.07	o 7946862
3588.00/3596.07	o 7828078
3588.00/3596.07	o 7752302
3588.00/3596.07	o 7618158
3588.00/3596.07	o 7485038
3588.00/3596.07	o 7363182
3588.00/3596.07	o 7363175
3588.00/3596.07	o 7356519
3588.00/3596.07	o 7356511
3588.00/3596.07	o 7356507
3588.00/3596.07	o 7356505
3588.00/3596.07	o 7356501
3588.00/3596.07	o 7356453
3588.00/3596.07	o 7356391
3588.00/3596.07	o 7356390
3588.00/3596.07	o 7263206
3588.00/3596.07	o 7263194
3588.00/3596.07	o 7263190
3588.00/3596.07	o 7263183
3588.00/3596.07	o 7263182
3588.00/3596.07	o 7263181
3588.00/3596.07	o 7262186
3588.00/3596.07	o 7262185
3588.00/3596.07	o 7262089
3588.00/3596.07	o 7262086
3588.00/3596.07	o 7262085
3588.00/3596.07	o 7254277
3588.00/3596.07	o 7254263
3588.00/3596.07	o 7254262
3588.00/3596.07	o 7249169
3588.00/3596.07	o 7249142
3588.00/3596.07	o 7249093
3588.00/3596.07	o 7249084
3588.00/3596.07	o 7249082
3588.00/3596.07	o 7249075
3588.00/3596.07	o 7249074
3588.00/3596.07	o 7249072
3588.00/3596.07	o 7248816
3588.00/3596.07	o 7248815
3588.00/3596.07	o 7247903
3588.00/3596.07	o 7247839
3588.00/3596.07	o 7138271
3588.00/3596.07	o 7138255
3588.00/3596.07	o 7138175
3588.00/3596.07	o 7138135
3588.00/3596.07	o 7138115
3588.00/3596.07	o 7138035
3588.00/3596.07	o 7137715
3588.00/3596.07	o 7137555
3588.00/3596.07	o 7137545
3588.00/3596.07	o 7137534
3588.00/3596.07	o 7137524
3588.00/3596.07	o 7137504
3588.00/3596.07	o 7137494
3588.00/3596.07	o 7134934
3588.00/3596.07	o 7130838
3588.00/3596.07	o 7130837
3588.00/3596.07	o 7130835
3588.00/3596.07	o 7130834
3588.00/3596.07	o 7130833
3588.00/3596.07	o 7130832
3588.00/3596.07	o 7130831
3588.00/3596.07	o 7130830
3588.00/3596.07	o 7130829
3588.00/3596.07	o 7130826
3588.00/3596.07	o 7130823
3588.00/3596.07	o 7130818
3588.00/3596.07	o 7127708
3588.00/3596.07	o 7045788
3588.00/3596.07	o 7045782
3588.00/3596.07	o 7045776
3588.00/3596.07	o 7045762
3588.00/3596.07	o 7045760
3588.00/3596.07	o 7045756
3588.00/3596.07	o 7045754
3588.00/3596.07	o 7045753
3588.00/3596.07	o 7045752
3588.00/3596.07	o 7045720
3588.00/3596.07	o 7045713
3588.00/3596.07	o 7045709
3588.00/3596.07	o 7045240
3588.00/3596.07	o 7045233
3588.00/3596.07	o 7045227
3588.00/3596.07	o 7045212
3588.00/3596.07	o 7045210
3588.00/3596.07	o 7045208
3588.00/3596.07	o 7045206
3588.00/3596.07	o 7045199
3588.00/3596.07	o 7038159
3588.00/3596.07	o 7038145
3588.00/3596.07	o 7038131
3588.00/3596.07	o 7038121
3588.00/3596.07	o 7038117
3588.00/3596.07	o 7037925
3588.00/3596.07	o 7037877
3588.00/3596.07	o 7037853
3588.00/3596.07	o 7037841
3588.00/3596.07	o 7037827
3588.00/3596.07	o 7037821
3588.00/3596.07	o 7031677
3588.00/3596.07	o 7031674
3588.00/3596.07	o 7031670
3588.00/3596.07	o 7031649
3588.00/3596.07	o 7031644
3588.00/3596.07	o 7031642
3588.00/3596.07	o 7031636
3588.00/3596.07	o 7031624
3588.00/3596.07	o 7031618
3588.00/3596.07	o 7031615
3588.00/3596.07	o 7031611
3588.00/3596.07	o 7031599
3588.00/3596.07	o 7031595
3588.00/3596.07	o 7031591
3588.00/3596.07	o 7031589
3588.00/3596.07	o 7031588
3588.00/3596.07	o 7031583
3588.00/3596.07	o 7031570
3588.00/3596.07	o 7031568
3588.00/3596.07	o 7031564
3588.00/3596.07	o 7031560
3588.00/3596.07	o 7031558
3588.00/3596.07	o 7031556
3588.00/3596.07	o 7031554
3588.00/3596.07	o 7031550
3588.00/3596.07	o 7031543
3588.00/3596.07	o 7031536
3588.00/3596.07	o 7031534
3588.00/3596.07	o 7031526
3588.00/3596.07	o 7031525
3588.00/3596.07	o 7031519
3588.00/3596.07	o 7031513
3588.00/3596.07	o 7031499
3588.00/3596.07	o 7031494
3588.00/3596.07	o 7031492
3588.00/3596.07	o 7031485
3588.00/3596.07	o 7031481
3588.00/3596.07	o 7031465
3588.00/3596.07	o 7031457
3588.00/3596.07	o 7031377
3588.00/3596.07	o 7031363
3588.00/3596.07	o 7031351
3588.00/3596.07	o 7031349
3588.00/3596.07	o 7031345
3588.00/3596.07	o 7031339
3588.00/3596.07	o 7031332
3588.00/3596.07	o 7031330
3588.00/3596.07	o 7031329
3588.00/3596.07	o 7031323
3588.00/3596.07	o 7031318
3588.00/3596.07	o 7031308
3588.00/3596.07	o 7031299
3588.00/3596.07	o 7031294
3588.00/3596.07	o 6938110
3588.00/3596.07	o 6938104
3588.00/3596.07	o 6938092
3588.00/3596.07	o 6938068
3588.00/3596.07	o 6938058
3588.00/3596.07	o 6938018
3588.00/3596.07	o 6937978
3588.00/3596.07	o 6937946
3588.00/3596.07	o 6937930
3588.00/3596.07	o 6937927
3588.00/3596.07	o 6937925
3588.00/3596.07	o 6937922
3588.00/3596.07	o 6937915
3588.00/3596.07	o 6937906
3588.00/3596.07	o 6937897
3588.00/3596.07	o 6937890
3588.00/3596.07	o 6905122
3588.00/3596.07	o 6905115
3588.00/3596.07	o 6905109
3588.00/3596.07	o 6902031
3588.00/3596.07	o 6810895
3588.00/3596.07	o 6810893
3588.00/3596.07	o 6810877
3588.00/3596.07	o 6810869
3588.00/3596.07	o 6798565
3588.00/3596.07	o 6704373
3588.00/3596.07	o 6704313
3588.00/3596.07	o 6704309
3588.00/3596.07	o 6704293
3588.00/3596.07	o 6704292
3588.00/3596.07	o 6704291
3588.00/3596.07	o 6704290
3588.00/3596.07	o 6593698
3588.00/3596.07	o 6593697
3588.00/3596.07	o 6526113
3588.00/3596.07	o 6526097
3588.00/3596.07	o 6526033
3588.00/3596.07	o 6508625
3588.00/3596.07	o 6508621
3588.00/3596.07	o 6508619
3588.00/3596.07	o 6508618
3588.00/3596.07	o 6508617
3588.00/3596.07	o 6508597
3588.00/3596.07	o 6508596
3588.00/3596.07	o 6508468
3588.00/3596.07	o 6508467
3588.00/3596.07	o 6508459
3588.00/3596.07	o 6494123
3588.00/3596.07	o 6494109
3588.00/3596.07	o 6494077
3588.00/3596.07	o 6494067
3588.00/3596.07	o 6494063
3588.00/3596.07	o 6494061
3588.00/3596.07	o 6494042
3588.00/3596.07	o 6494039
3588.00/3596.07	o 6494031
3588.00/3596.07	o 6493775
3588.00/3596.07	o 6493774
3588.00/3596.07	o 6493773
3588.00/3596.07	o 6493771
3588.00/3596.07	o 6493643
3588.00/3596.07	o 6493547
3588.00/3596.07	o 6493543
3588.00/3596.07	o 6493495
3588.00/3596.07	o 6493492
3588.00/3596.07	o 6493491
3588.00/3596.07	o 6493490
3588.00/3596.07	o 6411698
3588.00/3596.07	o 6411570
3588.00/3596.07	o 6411510
3588.00/3596.07	o 6411504
3588.00/3596.07	o 6411488
3588.00/3596.07	o 6411456
3588.00/3596.07	o 6411392
3588.00/3596.07	o 6411376
3588.00/3596.07	o 6411375
3588.00/3596.07	o 6411372
3588.00/3596.07	o 6411356
3588.00/3596.07	o 6411352
3588.00/3596.07	o 6411350
3588.00/3596.07	o 6411344
3588.00/3596.07	o 6411340
3588.00/3596.07	o 6411332
3588.00/3596.07	o 6411328
3588.00/3596.07	o 6411327
3588.00/3596.07	o 6411326
3588.00/3596.07	o 6407246
3588.00/3596.07	o 6407242
3588.00/3596.07	o 6407233
3588.00/3596.07	o 6407229
3588.00/3596.07	o 6407225
3588.00/3596.07	o 6407213
3588.00/3596.07	o 6407210
3588.00/3596.07	o 6407198
3588.00/3596.07	o 6407195
3588.00/3596.07	o 6407189
3588.00/3596.07	o 6403605
3588.00/3596.07	o 6403597
3588.00/3596.07	o 6403581
3588.00/3596.07	o 6403577
3588.00/3596.07	o 6403575
3588.00/3596.07	o 6403574
3588.00/3596.07	o 6403573
3588.00/3596.07	o 6403571
3588.00/3596.07	o 6403570
3588.00/3596.07	o 6403569
3588.00/3596.07	o 6388465
3588.00/3596.07	o 6388464
3588.00/3596.07	o 6388462
3588.00/3596.07	o 6388460
3588.00/3596.07	o 6374700
3588.00/3596.07	o 6374698
3588.00/3596.07	o 6374696
3588.00/3596.07	o 6374682
3588.00/3596.07	o 6374680
3588.00/3596.07	o 6374650
3588.00/3596.07	o 6267707
3588.00/3596.07	o 6267704
3588.00/3596.07	o 6267698
3588.00/3596.07	o 6267692
3588.00/3596.07	o 6267564
3588.00/3596.07	o 6267516
3588.00/3596.07	o 6267515
3588.00/3596.07	o 6267512
3588.00/3596.07	o 6267384
3588.00/3596.07	o 6221187
3588.00/3596.07	o 6221184
3588.00/3596.07	o 6221183
3588.00/3596.07	o 6221181
3588.00/3596.07	o 6221180
3588.00/3596.07	o 6221122
3588.00/3596.07	o 6208614
3588.00/3596.07	o 6114406
3588.00/3596.07	o 6114378
3588.00/3596.07	o 6114371
3588.00/3596.07	o 6114364
3588.00/3596.07	o 6114360
3588.00/3596.07	o 6114232
3588.00/3596.07	o 6114224
3588.00/3596.07	o 6114222
3588.00/3596.07	o 6114221
3588.00/3596.07	o 6114213
3588.00/3596.07	o 6114211
3588.00/3596.07	o 6114205
3588.00/3596.07	o 6114197
3588.00/3596.07	o 6114195
3588.00/3596.07	o 6114171
3588.00/3596.07	o 6110075
3588.00/3596.07	o 6110067
3588.00/3596.07	o 6110065
3588.00/3596.07	o 6110064
3588.00/3596.07	o 6026096
3588.00/3596.07	o 6026095
3588.00/3596.07	o 6026094
3588.00/3596.07	o 6026088
3588.00/3596.07	o 6026087
3588.00/3596.07	o 6023455
3588.00/3596.07	o 6023447
3588.00/3596.07	o 6023415
3588.00/3596.07	o 6023351
3588.00/3596.07	o 6023031
3588.00/3596.07	o 6023015
3588.00/3596.07	o 6023013
3588.00/3596.07	o 6022949
3588.00/3596.07	o 6022501
3588.00/3596.07	o 6022213
3588.00/3596.07	o 6022181
3588.00/3596.07	o 5987365
3588.00/3596.07	o 5987358
3588.00/3596.07	o 5987351
3588.00/3596.07	o 5987323
3588.00/3596.07	o 5987316
3588.00/3596.07	o 5987312
3588.00/3596.07	o 5983216
3588.00/3596.07	o 5978608
3588.00/3596.07	o 5978601
3588.00/3596.07	o 5978589
3588.00/3596.07	o 5978587
3588.00/3596.07	o 5978566
3588.00/3596.07	o 5978559
3588.00/3596.07	o 5978545
3588.00/3596.07	o 5978529
3588.00/3596.07	o 5978522
3588.00/3596.07	o 5978489
3588.00/3596.07	o 5978475
3588.00/3596.07	o 5978473
3588.00/3596.07	o 5978468
3588.00/3596.07	o 5978464
3588.00/3596.07	o 5978462
3588.00/3596.07	o 5978460
3588.00/3596.07	o 5978450
3588.00/3596.07	o 5978422
3588.00/3596.07	o 5977940
3588.00/3596.07	o 5977938
3588.00/3596.07	o 5977934
3588.00/3596.07	o 5977932
3588.00/3596.07	o 5977930
3588.00/3596.07	o 5977928
3588.00/3596.07	o 5977912
3588.00/3596.07	o 5977905
3588.00/3596.07	o 5977899
3588.00/3596.07	o 5977891
3588.00/3596.07	o 5886755
3588.00/3596.07	o 5886357
3588.00/3596.07	o 5886356
3588.00/3596.07	o 5886352
3588.00/3596.07	o 5886351
3588.00/3596.07	o 5886350
3588.00/3596.07	o 5886348
3588.00/3596.07	o 5886324
3588.00/3596.07	o 5886321
3588.00/3596.07	o 5886320
3588.00/3596.07	o 5886318
3588.00/3596.07	o 5886302
3588.00/3596.07	o 5886294
3588.00/3596.07	o 5886290
3588.00/3596.07	o 5886276
3588.00/3596.07	o 5886275
3588.00/3596.07	o 5846544
3588.00/3596.07	o 5846532
3588.00/3596.07	o 5846530
3588.00/3596.07	o 5846528
3588.00/3596.07	o 5846526
3588.00/3596.07	o 5846522
3588.00/3596.07	o 5846512
3588.00/3596.07	o 5846480
3588.00/3596.07	o 5846476
3588.00/3596.07	o 5846474
3588.00/3596.07	o 5846466
3588.00/3596.07	o 5824962
3588.00/3596.07	o 5824960
3588.00/3596.07	o 5824832
3588.00/3596.07	o 5824804
3588.00/3596.07	o 5824802
3588.00/3596.07	o 5824546
3588.00/3596.07	o 5824544
3588.00/3596.07	o 5824542
3588.00/3596.07	o 5824526
3588.00/3596.07	o 5824518
3588.00/3596.07	o 5824514
3588.00/3596.07	o 5822466
3588.00/3596.07	o 5821442
3588.00/3596.07	o 5792770
3588.00/3596.07	o 5792258
3588.00/3596.07	o 5792256
3588.00/3596.07	o 5780992
3588.00/3596.07	o 5759488
3588.00/3596.07	o 5758720
3588.00/3596.07	o 5757952
3588.00/3596.07	o 5741568
3588.00/3596.07	o 5732352
3588.00/3596.07	o 5729280
3588.00/3596.07	o 5653504
3588.00/3596.07	o 5595136
3588.00/3596.07	o 5470208
3588.00/3596.07	o 5465088
3588.00/3596.07	o 5431296
3588.00/3596.07	o 5380096
3588.00/3596.07	o 5378048
3588.00/3596.07	o 5376016
3588.00/3596.07	o 5376008
3588.00/3596.07	o 5376004
3588.00/3596.07	o 5367812
3588.00/3596.07	o 5362692
3588.00/3596.07	o 5319680
3588.00/3596.07	o 5317632
3588.00/3596.07	o 5313536
3588.00/3596.07	o 5235712
3588.00/3596.07	c Program interrupted by user.
3588.00/3596.07	s SATISFIABLE
3588.00/3596.07	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

Verifier Data 

OK	5235712

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: 64096 MiB (55271 MiB free)
  memory of node 1: 64473 MiB (61343 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100112 s]*
/proc/loadavg: 0.14 0.09 0.09 7/256 330678
/proc/meminfo: memFree=119383268/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 61418051 10170368 688 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 688 610 264 0 134 0
[pid=330669] ppid=330659 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/330669/stat : 330669 (timeout) S 330659 330669 330588 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 260 134679101440 94128315363328 94128315398344 140729291806416 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 94128317495760 94128317497892 94128350072832 140729291813923 140729291814045 140729291814045 140729291821031 0
/proc/330669/statm: 2165 260 236 9 0 87 0
[pid=330675] ppid=330669 vsize=30416 memory=15992 CPUtime=0.09 cores=4,6
/proc/330675/stat : 330675 (LS-MabP) R 330669 330669 330588 0 -1 4194304 2576 0 0 0 8 1 0 0 20 0 1 0 61418053 31145984 3998 134679101440 4194304 15467897 140735435225424 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35827712 140735435232311 140735435232420 140735435232420 140735435239406 0
/proc/330675/statm: 7604 3998 1057 2753 0 4257 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49008 KiB
Current children cumulated memory: 19784 KiB

[startup+0.216812 s]*
/proc/loadavg: 0.14 0.09 0.09 6/256 330678
/proc/meminfo: memFree=119358212/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 61418051 10170368 688 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 688 610 264 0 134 0
[pid=330669] ppid=330659 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/330669/stat : 330669 (timeout) S 330659 330669 330588 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 260 134679101440 94128315363328 94128315398344 140729291806416 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 94128317495760 94128317497892 94128350072832 140729291813923 140729291814045 140729291814045 140729291821031 0
/proc/330669/statm: 2165 260 236 9 0 87 0
[pid=330675] ppid=330669 vsize=42172 memory=27872 CPUtime=0.2 cores=4,6
/proc/330675/stat : 330675 (LS-MabP) R 330669 330669 330588 0 -1 4194304 5535 0 0 0 19 1 0 0 20 0 1 0 61418053 43184128 6968 134679101440 4194304 15467897 140735435225424 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35827712 140735435232311 140735435232420 140735435232420 140735435239406 0
/proc/330675/statm: 10543 6968 1057 2753 0 7196 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60764 KiB
Current children cumulated memory: 31664 KiB

[startup+0.316196 s]*
/proc/loadavg: 0.14 0.09 0.09 7/256 330678
/proc/meminfo: memFree=119334300/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 61418051 10170368 688 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 688 610 264 0 134 0
[pid=330669] ppid=330659 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/330669/stat : 330669 (timeout) S 330659 330669 330588 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 260 134679101440 94128315363328 94128315398344 140729291806416 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 94128317495760 94128317497892 94128350072832 140729291813923 140729291814045 140729291814045 140729291821031 0
/proc/330669/statm: 2165 260 236 9 0 87 0
[pid=330675] ppid=330669 vsize=52480 memory=38168 CPUtime=0.3 cores=4,6
/proc/330675/stat : 330675 (LS-MabP) R 330669 330669 330588 0 -1 4194304 8087 0 0 0 27 3 0 0 20 0 1 0 61418053 53739520 9542 134679101440 4194304 15467897 140735435225424 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35827712 140735435232311 140735435232420 140735435232420 140735435239406 0
/proc/330675/statm: 13120 9542 1057 2753 0 9773 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71072 KiB
Current children cumulated memory: 41960 KiB

[startup+0.700461 s]
/proc/loadavg: 0.14 0.09 0.09 8/256 330678
/proc/meminfo: memFree=119324672/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 61418051 10170368 688 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 688 610 264 0 134 0
[pid=330669] ppid=330659 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/330669/stat : 330669 (timeout) S 330659 330669 330588 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 260 134679101440 94128315363328 94128315398344 140729291806416 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 94128317495760 94128317497892 94128350072832 140729291813923 140729291814045 140729291814045 140729291821031 0
/proc/330669/statm: 2165 260 236 9 0 87 0
[pid=330675] ppid=330669 vsize=56708 memory=43244 CPUtime=0.67 cores=4,6
/proc/330675/stat : 330675 (LS-MabP) R 330669 330669 330588 0 -1 4194304 9386 0 0 0 63 4 0 0 20 0 1 0 61418053 58068992 10811 134679101440 4194304 15467897 140735435225424 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35827712 140735435232311 140735435232420 140735435232420 140735435239406 0
/proc/330675/statm: 14177 10811 1073 2753 0 10830 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47036 KiB

[startup+1.50044 s]
/proc/loadavg: 0.14 0.09 0.09 7/256 330678
/proc/meminfo: memFree=119250032/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 61418051 10170368 688 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 688 610 264 0 134 0
[pid=330669] ppid=330659 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/330669/stat : 330669 (timeout) S 330659 330669 330588 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 260 134679101440 94128315363328 94128315398344 140729291806416 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 94128317495760 94128317497892 94128350072832 140729291813923 140729291814045 140729291814045 140729291821031 0
/proc/330669/statm: 2165 260 236 9 0 87 0
[pid=330675] ppid=330669 vsize=56708 memory=43244 CPUtime=1.47 cores=4,6
/proc/330675/stat : 330675 (LS-MabP) R 330669 330669 330588 0 -1 4194304 9386 0 0 0 142 5 0 0 20 0 1 0 61418053 58068992 10811 134679101440 4194304 15467897 140735435225424 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35827712 140735435232311 140735435232420 140735435232420 140735435239406 0
/proc/330675/statm: 14177 10811 1073 2753 0 10830 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47036 KiB

[startup+3.1145 s]
/proc/loadavg: 0.53 0.17 0.12 7/256 330680
/proc/meminfo: memFree=118877200/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 61418051 10170368 688 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 688 610 264 0 134 0
[pid=330669] ppid=330659 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/330669/stat : 330669 (timeout) S 330659 330669 330588 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 260 134679101440 94128315363328 94128315398344 140729291806416 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 94128317495760 94128317497892 94128350072832 140729291813923 140729291814045 140729291814045 140729291821031 0
/proc/330669/statm: 2165 260 236 9 0 87 0
[pid=330675] ppid=330669 vsize=56708 memory=43508 CPUtime=3.08 cores=4,6
/proc/330675/stat : 330675 (LS-MabP) R 330669 330669 330588 0 -1 4194304 9393 0 0 0 301 7 0 0 20 0 1 0 61418053 58068992 10877 134679101440 4194304 15467897 140735435225424 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35827712 140735435232311 140735435232420 140735435232420 140735435239406 0
/proc/330675/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47300 KiB

[startup+6.30042 s]
/proc/loadavg: 0.53 0.17 0.12 7/256 330680
/proc/meminfo: memFree=117663480/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 61418051 10170368 688 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 688 610 264 0 134 0
[pid=330669] ppid=330659 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/330669/stat : 330669 (timeout) S 330659 330669 330588 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 260 134679101440 94128315363328 94128315398344 140729291806416 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 94128317495760 94128317497892 94128350072832 140729291813923 140729291814045 140729291814045 140729291821031 0
/proc/330669/statm: 2165 260 236 9 0 87 0
[pid=330675] ppid=330669 vsize=56708 memory=43508 CPUtime=6.25 cores=4,6
/proc/330675/stat : 330675 (LS-MabP) R 330669 330669 330588 0 -1 4194304 9421 0 0 0 614 11 0 0 20 0 1 0 61418053 58068992 10877 134679101440 4194304 15467897 140735435225424 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35827712 140735435232311 140735435232420 140735435232420 140735435239406 0
/proc/330675/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47300 KiB

[startup+12.7004 s]
/proc/loadavg: 0.81 0.24 0.14 7/256 330680
/proc/meminfo: memFree=115222468/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 61418051 10170368 688 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 688 610 264 0 134 0
[pid=330669] ppid=330659 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/330669/stat : 330669 (timeout) S 330659 330669 330588 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 260 134679101440 94128315363328 94128315398344 140729291806416 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 94128317495760 94128317497892 94128350072832 140729291813923 140729291814045 140729291814045 140729291821031 0
/proc/330669/statm: 2165 260 236 9 0 87 0
[pid=330675] ppid=330669 vsize=56708 memory=43508 CPUtime=12.64 cores=4,6
/proc/330675/stat : 330675 (LS-MabP) R 330669 330669 330588 0 -1 4194304 9421 0 0 0 1242 22 0 0 20 0 1 0 61418053 58068992 10877 134679101440 4194304 15467897 140735435225424 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35827712 140735435232311 140735435232420 140735435232420 140735435239406 0
/proc/330675/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47300 KiB

[startup+25.5005 s]
/proc/loadavg: 1.51 0.42 0.20 7/256 330683
/proc/meminfo: memFree=109925700/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 61418051 10170368 688 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 688 610 264 0 134 0
[pid=330669] ppid=330659 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/330669/stat : 330669 (timeout) S 330659 330669 330588 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 260 134679101440 94128315363328 94128315398344 140729291806416 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 94128317495760 94128317497892 94128350072832 140729291813923 140729291814045 140729291814045 140729291821031 0
/proc/330669/statm: 2165 260 236 9 0 87 0
[pid=330675] ppid=330669 vsize=56708 memory=43508 CPUtime=25.42 cores=4,6
/proc/330675/stat : 330675 (LS-MabP) R 330669 330669 330588 0 -1 4194304 9422 0 0 0 2504 38 0 0 20 0 1 0 61418053 58068992 10877 134679101440 4194304 15467897 140735435225424 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35827712 140735435232311 140735435232420 140735435232420 140735435239406 0
/proc/330675/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47300 KiB

[startup+51.1144 s]
/proc/loadavg: 2.44 0.73 0.31 7/256 330686
/proc/meminfo: memFree=101825256/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 61418051 10170368 688 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 688 610 264 0 134 0
[pid=330669] ppid=330659 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/330669/stat : 330669 (timeout) S 330659 330669 330588 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 260 134679101440 94128315363328 94128315398344 140729291806416 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 94128317495760 94128317497892 94128350072832 140729291813923 140729291814045 140729291814045 140729291821031 0
/proc/330669/statm: 2165 260 236 9 0 87 0
[pid=330675] ppid=330669 vsize=56708 memory=43508 CPUtime=50.99 cores=4,6
/proc/330675/stat : 330675 (LS-MabP) R 330669 330669 330588 0 -1 4194304 9427 0 0 0 5027 72 0 0 20 0 1 0 61418053 58068992 10877 134679101440 4194304 15467897 140735435225424 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35827712 140735435232311 140735435232420 140735435232420 140735435239406 0
/proc/330675/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47300 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.27 0.52 7/256 330695
/proc/meminfo: memFree=101824540/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 61418051 10170368 688 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0

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

/proc/331583/statm: 66622 51680 852 745 0 65687 0
Current children cumulated CPU time: 3394.75 s
Current children cumulated vsize: 285080 KiB
Current children cumulated memory: 210428 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.03 7/252 332560
/proc/meminfo: memFree=97407184/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2800 CPUtime=1794.27 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 271 10142 0 1 0 0 177154 2273 20 0 1 0 61418051 10170368 700 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 700 610 264 0 134 0
[pid=331580] ppid=330659 vsize=8660 memory=908 CPUtime=0 cores=4,6
/proc/331580/stat : 331580 (timeout) S 330659 331580 330588 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 227 134679101440 94516968816640 94516968851656 140722022722736 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94516970949072 94516970951204 94516991688704 140722022724596 140722022724765 140722022724765 140722022731751 0
/proc/331580/statm: 2165 227 203 9 0 87 0
[pid=331583] ppid=331580 vsize=266984 memory=207412 CPUtime=1660.34 cores=4,6
/proc/331583/stat : 331583 (Exact) R 331580 331580 330588 0 -1 4194304 27558 0 0 0 166021 13 0 0 20 0 1 0 61597853 273391616 51853 134679101440 4194304 7243121 140736792859856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 14032896 140736792867856 140736792868006 140736792868006 140736792874992 0
/proc/331583/statm: 66746 51853 852 745 0 65811 0
Current children cumulated CPU time: 3454.61 s
Current children cumulated vsize: 285576 KiB
Current children cumulated memory: 211120 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.03 7/250 332570
/proc/meminfo: memFree=97406164/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2800 CPUtime=1794.27 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 271 10142 0 1 0 0 177154 2273 20 0 1 0 61418051 10170368 700 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 700 610 264 0 134 0
[pid=331580] ppid=330659 vsize=8660 memory=908 CPUtime=0 cores=4,6
/proc/331580/stat : 331580 (timeout) S 330659 331580 330588 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 227 134679101440 94516968816640 94516968851656 140722022722736 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94516970949072 94516970951204 94516991688704 140722022724596 140722022724765 140722022724765 140722022731751 0
/proc/331580/statm: 2165 227 203 9 0 87 0
[pid=331583] ppid=331580 vsize=267280 memory=207756 CPUtime=1720.19 cores=4,6
/proc/331583/stat : 331583 (Exact) R 331580 331580 330588 0 -1 4194304 27700 0 0 0 172006 13 0 0 20 0 1 0 61597853 273694720 51939 134679101440 4194304 7243121 140736792859856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 14032896 140736792867856 140736792868006 140736792868006 140736792874992 0
/proc/331583/statm: 66820 51939 852 745 0 65885 0
Current children cumulated CPU time: 3514.46 s
Current children cumulated vsize: 285872 KiB
Current children cumulated memory: 211464 KiB

[startup+3582.3 s]
/proc/loadavg: 6.03 4.65 4.22 7/250 332582
/proc/meminfo: memFree=97403552/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2800 CPUtime=1794.27 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 271 10142 0 1 0 0 177154 2273 20 0 1 0 61418051 10170368 700 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 700 610 264 0 134 0
[pid=331580] ppid=330659 vsize=8660 memory=908 CPUtime=0 cores=4,6
/proc/331580/stat : 331580 (timeout) S 330659 331580 330588 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 227 134679101440 94516968816640 94516968851656 140722022722736 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94516970949072 94516970951204 94516991688704 140722022724596 140722022724765 140722022724765 140722022731751 0
/proc/331580/statm: 2165 227 203 9 0 87 0
[pid=331583] ppid=331580 vsize=268720 memory=208940 CPUtime=1780.05 cores=4,6
/proc/331583/stat : 331583 (Exact) R 331580 331580 330588 0 -1 4194304 28098 0 0 0 177992 13 0 0 20 0 1 0 61597853 275169280 52235 134679101440 4194304 7243121 140736792859856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 14032896 140736792867856 140736792868006 140736792868006 140736792874992 0
/proc/331583/statm: 67180 52235 852 745 0 66245 0
Current children cumulated CPU time: 3574.32 s
Current children cumulated vsize: 287312 KiB
Current children cumulated memory: 212648 KiB

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

# cumulated CPU time of all completed processes:  user=3565.18 s, system=22.892 s

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

[startup+3584 s]*
/proc/loadavg: 6.35 4.74 4.25 7/250 332583
/proc/meminfo: memFree=97403480/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2800 CPUtime=1794.27 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 271 10142 0 1 0 0 177154 2273 20 0 1 0 61418051 10170368 700 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 700 610 264 0 134 0
[pid=331580] ppid=330659 vsize=8660 memory=908 CPUtime=0 cores=4,6
/proc/331580/stat : 331580 (timeout) S 330659 331580 330588 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 227 134679101440 94516968816640 94516968851656 140722022722736 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94516970949072 94516970951204 94516991688704 140722022724596 140722022724765 140722022724765 140722022731751 0
/proc/331580/statm: 2165 227 203 9 0 87 0
[pid=331583] ppid=331580 vsize=268720 memory=208940 CPUtime=1781.76 cores=4,6
/proc/331583/stat : 331583 (Exact) R 331580 331580 330588 0 -1 4194304 28098 0 0 0 178163 13 0 0 20 0 1 0 61597853 275169280 52235 134679101440 4194304 7243121 140736792859856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 14032896 140736792867856 140736792868006 140736792868006 140736792874992 0
/proc/331583/statm: 67180 52235 852 745 0 66245 0
Current children cumulated CPU time: 3576.03 s
Current children cumulated vsize: 287312 KiB
Current children cumulated memory: 212648 KiB

[startup+3590.4 s]
/proc/loadavg: 6.40 4.77 4.27 7/250 332583
/proc/meminfo: memFree=97403312/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2800 CPUtime=1794.27 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 271 10142 0 1 0 0 177154 2273 20 0 1 0 61418051 10170368 700 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 700 610 264 0 134 0
[pid=331580] ppid=330659 vsize=8660 memory=908 CPUtime=0 cores=4,6
/proc/331580/stat : 331580 (timeout) S 330659 331580 330588 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 227 134679101440 94516968816640 94516968851656 140722022722736 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94516970949072 94516970951204 94516991688704 140722022724596 140722022724765 140722022724765 140722022731751 0
/proc/331580/statm: 2165 227 203 9 0 87 0
[pid=331583] ppid=331580 vsize=268864 memory=209204 CPUtime=1788.13 cores=4,6
/proc/331583/stat : 331583 (Exact) R 331580 331580 330588 0 -1 4194304 28134 0 0 0 178800 13 0 0 20 0 1 0 61597853 275316736 52301 134679101440 4194304 7243121 140736792859856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 14032896 140736792867856 140736792868006 140736792868006 140736792874992 0
/proc/331583/statm: 67216 52301 852 745 0 66281 0
Current children cumulated CPU time: 3582.4 s
Current children cumulated vsize: 287456 KiB
Current children cumulated memory: 212912 KiB

[startup+3593.6 s]
/proc/loadavg: 6.40 4.77 4.27 7/250 332585
/proc/meminfo: memFree=97403248/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2800 CPUtime=1794.27 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 271 10142 0 1 0 0 177154 2273 20 0 1 0 61418051 10170368 700 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 700 610 264 0 134 0
[pid=331580] ppid=330659 vsize=8660 memory=908 CPUtime=0 cores=4,6
/proc/331580/stat : 331580 (timeout) S 330659 331580 330588 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 227 134679101440 94516968816640 94516968851656 140722022722736 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94516970949072 94516970951204 94516991688704 140722022724596 140722022724765 140722022724765 140722022731751 0
/proc/331580/statm: 2165 227 203 9 0 87 0
[pid=331583] ppid=331580 vsize=268864 memory=209204 CPUtime=1791.33 cores=4,6
/proc/331583/stat : 331583 (Exact) R 331580 331580 330588 0 -1 4194304 28134 0 0 0 179120 13 0 0 20 0 1 0 61597853 275316736 52301 134679101440 4194304 7243121 140736792859856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 14032896 140736792867856 140736792868006 140736792868006 140736792874992 0
/proc/331583/statm: 67216 52301 852 745 0 66281 0
Current children cumulated CPU time: 3585.6 s
Current children cumulated vsize: 287456 KiB
Current children cumulated memory: 212912 KiB

[startup+3595.2 s]
/proc/loadavg: 6.37 4.79 4.28 7/250 332585
/proc/meminfo: memFree=97403224/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2800 CPUtime=1794.27 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 271 10142 0 1 0 0 177154 2273 20 0 1 0 61418051 10170368 700 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 700 610 264 0 134 0
[pid=331580] ppid=330659 vsize=8660 memory=908 CPUtime=0 cores=4,6
/proc/331580/stat : 331580 (timeout) S 330659 331580 330588 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 227 134679101440 94516968816640 94516968851656 140722022722736 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94516970949072 94516970951204 94516991688704 140722022724596 140722022724765 140722022724765 140722022731751 0
/proc/331580/statm: 2165 227 203 9 0 87 0
[pid=331583] ppid=331580 vsize=268864 memory=209204 CPUtime=1792.92 cores=4,6
/proc/331583/stat : 331583 (Exact) R 331580 331580 330588 0 -1 4194304 28134 0 0 0 179279 13 0 0 20 0 1 0 61597853 275316736 52301 134679101440 4194304 7243121 140736792859856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 14032896 140736792867856 140736792868006 140736792868006 140736792874992 0
/proc/331583/statm: 67216 52301 852 745 0 66281 0
Current children cumulated CPU time: 3587.19 s
Current children cumulated vsize: 287456 KiB
Current children cumulated memory: 212912 KiB

[startup+3595.6 s]
/proc/loadavg: 6.37 4.79 4.28 7/250 332585
/proc/meminfo: memFree=97403224/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2800 CPUtime=1794.27 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 271 10142 0 1 0 0 177154 2273 20 0 1 0 61418051 10170368 700 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 700 610 264 0 134 0
[pid=331580] ppid=330659 vsize=8660 memory=908 CPUtime=0 cores=4,6
/proc/331580/stat : 331580 (timeout) S 330659 331580 330588 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 227 134679101440 94516968816640 94516968851656 140722022722736 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94516970949072 94516970951204 94516991688704 140722022724596 140722022724765 140722022724765 140722022731751 0
/proc/331580/statm: 2165 227 203 9 0 87 0
[pid=331583] ppid=331580 vsize=268864 memory=209204 CPUtime=1793.32 cores=4,6
/proc/331583/stat : 331583 (Exact) R 331580 331580 330588 0 -1 4194304 28134 0 0 0 179319 13 0 0 20 0 1 0 61597853 275316736 52301 134679101440 4194304 7243121 140736792859856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 14032896 140736792867856 140736792868006 140736792868006 140736792874992 0
/proc/331583/statm: 67216 52301 852 745 0 66281 0
Current children cumulated CPU time: 3587.59 s
Current children cumulated vsize: 287456 KiB
Current children cumulated memory: 212912 KiB

[startup+3596 s]*
/proc/loadavg: 6.37 4.79 4.28 7/250 332585
/proc/meminfo: memFree=97403196/131655788 swapFree=131071996/131071996
[pid=330659] ppid=330647 vsize=9932 memory=2800 CPUtime=1794.27 cores=4,6
/proc/330659/stat : 330659 (Hybrid-LSMabP+E) S 330647 330659 330588 0 -1 4194304 271 10142 0 1 0 0 177154 2273 20 0 1 0 61418051 10170368 700 134679101440 94135287660544 94135288739864 140731942839040 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94135290838320 94135290885508 94135321604096 140731942847466 140731942847611 140731942847611 140731942854626 0
/proc/330659/statm: 2483 700 610 264 0 134 0
[pid=331580] ppid=330659 vsize=8660 memory=908 CPUtime=0 cores=4,6
/proc/331580/stat : 331580 (timeout) S 330659 331580 330588 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 227 134679101440 94516968816640 94516968851656 140722022722736 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94516970949072 94516970951204 94516991688704 140722022724596 140722022724765 140722022724765 140722022731751 0
/proc/331580/statm: 2165 227 203 9 0 87 0
[pid=331583] ppid=331580 vsize=268864 memory=209204 CPUtime=1793.73 cores=4,6
/proc/331583/stat : 331583 (Exact) R 331580 331580 330588 0 -1 4194304 28134 0 0 0 179360 13 0 0 20 0 1 0 61597853 275316736 52301 134679101440 4194304 7243121 140736792859856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 14032896 140736792867856 140736792868006 140736792868006 140736792874992 0
/proc/331583/statm: 67216 52301 852 745 0 66281 0
Current children cumulated CPU time: 3588 s
Current children cumulated vsize: 287456 KiB
Current children cumulated memory: 212912 KiB

Child status: 0

Real time (s): 3596.07
CPU time (s): 3588.08
CPU user time (s): 3565.18
CPU system time (s): 22.892
CPU usage (%): 99.7776
Max. virtual memory (cumulated for all children) (KiB): 287456
Max. memory (cumulated for all children) (KiB): 212912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.18
system time used= 22.892
maximum resident set size= 258796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41701
page faults= 3
swaps= 0
block input operations= 128
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124
involuntary context switches= 1944


# summary of solver processes directly reported to runsolver:
#   pid: 330659
#   total CPU time (s): 3588.08
#   total CPU user time (s): 3565.18
#   total CPU system time (s): 22.892

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4624 second user time and 39.9315 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-08-06 14:43:23
IDJOB=4437402
IDBENCH=146743
IDSOLVER=3071
FILE ID=nodeC009/4437402-1722948203
RUNJOBID= nodeC009-1722948202-330599
SLURM_JOB_ID= 8258997
Free space on /tmp= 723780 MiB

SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437402-1722948203/watcher-4437402-1722948203 -o /tmp/evaluation-result-4437402-1722948203/solver-4437402-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722948202-330599 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437402-1722948203.opb 3600 HOME 31000

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

MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1
RANDOM SEED=18592742

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        119416516 kB
MemAvailable:   129957392 kB
Buffers:          334100 kB
Cached:         11044292 kB
SwapCached:            0 kB
Active:           592716 kB
Inactive:       11154912 kB
Active(anon):       1396 kB
Inactive(anon):   405632 kB
Active(file):     591320 kB
Inactive(file): 10749280 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             90296 kB
Writeback:             4 kB
AnonPages:        368736 kB
Mapped:            98008 kB
Shmem:             37704 kB
KReclaimable:      80948 kB
Slab:             166792 kB
SReclaimable:      80948 kB
SUnreclaim:        85844 kB
KernelStack:        3696 kB
PageTables:         9536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     785072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            24096 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      314184 kB
DirectMap2M:    23707648 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 723688 MiB
End job on nodeC009 at 2024-08-06 15:43:21