Trace number 4436999

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-LSMabSP+Exact 2024-07-11SAT5190656 3588.83 3596.09

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.74/3596.08	o 35091656
3588.74/3596.08	o 10355310
3588.74/3596.08	o 10235502
3588.74/3596.08	o 10115694
3588.74/3596.08	o 10018414
3588.74/3596.08	o 9906798
3588.74/3596.08	o 9835118
3588.74/3596.08	o 9753198
3588.74/3596.08	o 9627246
3588.74/3596.08	o 9539182
3588.74/3596.08	o 9467502
3588.74/3596.08	o 9369198
3588.74/3596.08	o 9249390
3588.74/3596.08	o 9115246
3588.74/3596.08	o 8982126
3588.74/3596.08	o 8877678
3588.74/3596.08	o 8749678
3588.74/3596.08	o 8671854
3588.74/3596.08	o 8543854
3588.74/3596.08	o 8430190
3588.74/3596.08	o 8356462
3588.74/3596.08	o 8267374
3588.74/3596.08	o 8155758
3588.74/3596.08	o 8056430
3588.74/3596.08	o 7946862
3588.74/3596.08	o 7828078
3588.74/3596.08	o 7752302
3588.74/3596.08	o 7618158
3588.74/3596.08	o 7485038
3588.74/3596.08	o 7363182
3588.74/3596.08	o 7363175
3588.74/3596.08	o 7356519
3588.74/3596.08	o 7356511
3588.74/3596.08	o 7356507
3588.74/3596.08	o 7356505
3588.74/3596.08	o 7356501
3588.74/3596.08	o 7356453
3588.74/3596.08	o 7356433
3588.74/3596.08	o 7356423
3588.74/3596.08	o 7356415
3588.74/3596.08	o 7356359
3588.74/3596.08	o 7356351
3588.74/3596.08	o 7356350
3588.74/3596.08	o 7337918
3588.74/3596.08	o 7337914
3588.74/3596.08	o 7264618
3588.74/3596.08	o 7264610
3588.74/3596.08	o 7264606
3588.74/3596.08	o 7264603
3588.74/3596.08	o 7264601
3588.74/3596.08	o 7170437
3588.74/3596.08	o 7165317
3588.74/3596.08	o 7164721
3588.74/3596.08	o 7157046
3588.74/3596.08	o 7157041
3588.74/3596.08	o 7156721
3588.74/3596.08	o 7156566
3588.74/3596.08	o 7156561
3588.74/3596.08	o 7072438
3588.74/3596.08	o 7072431
3588.74/3596.08	o 7060226
3588.74/3596.08	o 7060194
3588.74/3596.08	o 7060186
3588.74/3596.08	o 7060184
3588.74/3596.08	o 6934232
3588.74/3596.08	o 6934214
3588.74/3596.08	o 6934199
3588.74/3596.08	o 6934186
3588.74/3596.08	o 6934181
3588.74/3596.08	o 6934176
3588.74/3596.08	o 6931616
3588.74/3596.08	o 6931613
3588.74/3596.08	o 6931608
3588.74/3596.08	o 6931583
3588.74/3596.08	o 6931578
3588.74/3596.08	o 6931573
3588.74/3596.08	o 6931568
3588.74/3596.08	o 6931514
3588.74/3596.08	o 6931496
3588.74/3596.08	o 6931478
3588.74/3596.08	o 6931190
3588.74/3596.08	o 6931185
3588.74/3596.08	o 6931180
3588.74/3596.08	o 6931175
3588.74/3596.08	o 6931170
3588.74/3596.08	o 6840034
3588.74/3596.08	o 6839890
3588.74/3596.08	o 6839826
3588.74/3596.08	o 6839794
3588.74/3596.08	o 6741926
3588.74/3596.08	o 6741910
3588.74/3596.08	o 6741908
3588.74/3596.08	o 6741890
3588.74/3596.08	o 6741746
3588.74/3596.08	o 6741634
3588.74/3596.08	o 6741616
3588.74/3596.08	o 6741608
3588.74/3596.08	o 6741604
3588.74/3596.08	o 6741602
3588.74/3596.08	o 6740578
3588.74/3596.08	o 6740575
3588.74/3596.08	o 6740573
3588.74/3596.08	o 6740571
3588.74/3596.08	o 6740567
3588.74/3596.08	o 6740439
3588.74/3596.08	o 6740375
3588.74/3596.08	o 6740343
3588.74/3596.08	o 6740327
3588.74/3596.08	o 6740319
3588.74/3596.08	o 6740295
3588.74/3596.08	o 6740292
3588.74/3596.08	o 6727482
3588.74/3596.08	o 6727481
3588.74/3596.08	o 6727478
3588.74/3596.08	o 6727477
3588.74/3596.08	o 6727473
3588.74/3596.08	o 6635812
3588.74/3596.08	o 6635808
3588.74/3596.08	o 6617901
3588.74/3596.08	o 6617897
3588.74/3596.08	o 6617891
3588.74/3596.08	o 6617889
3588.74/3596.08	o 6617841
3588.74/3596.08	o 6537550
3588.74/3596.08	o 6530318
3588.74/3596.08	o 6530314
3588.74/3596.08	o 6530306
3588.74/3596.08	o 6530304
3588.74/3596.08	o 6530292
3588.74/3596.08	o 6530290
3588.74/3596.08	o 6530288
3588.74/3596.08	o 6530286
3588.74/3596.08	o 6530270
3588.74/3596.08	o 6530262
3588.74/3596.08	o 6530258
3588.74/3596.08	o 6530256
3588.74/3596.08	o 6530254
3588.74/3596.08	o 6530252
3588.74/3596.08	o 6530244
3588.74/3596.08	o 6530242
3588.74/3596.08	o 6530192
3588.74/3596.08	o 6530190
3588.74/3596.08	o 6527056
3588.74/3596.08	o 6527054
3588.74/3596.08	o 6526514
3588.74/3596.08	o 6526496
3588.74/3596.08	o 6526478
3588.74/3596.08	o 6526354
3588.74/3596.08	o 6526352
3588.74/3596.08	o 6526350
3588.74/3596.08	o 6526342
3588.74/3596.08	o 6526278
3588.74/3596.08	o 6526246
3588.74/3596.08	o 6526230
3588.74/3596.08	o 6525718
3588.74/3596.08	o 6525590
3588.74/3596.08	o 6525586
3588.74/3596.08	o 6525584
3588.74/3596.08	o 6525328
3588.74/3596.08	o 6525202
3588.74/3596.08	o 6525200
3588.74/3596.08	o 6525154
3588.74/3596.08	o 6525150
3588.74/3596.08	o 6525148
3588.74/3596.08	o 6525116
3588.74/3596.08	o 6525114
3588.74/3596.08	o 6525110
3588.74/3596.08	o 6525046
3588.74/3596.08	o 6525042
3588.74/3596.08	o 6525026
3588.74/3596.08	o 6525022
3588.74/3596.08	o 6525020
3588.74/3596.08	o 6523292
3588.74/3596.08	o 6523270
3588.74/3596.08	o 6523250
3588.74/3596.08	o 6523248
3588.74/3596.08	o 6523240
3588.74/3596.08	o 6523238
3588.74/3596.08	o 6523236
3588.74/3596.08	o 6523234
3588.74/3596.08	o 6523226
3588.74/3596.08	o 6523224
3588.74/3596.08	o 6523220
3588.74/3596.08	o 6523202
3588.74/3596.08	o 6523198
3588.74/3596.08	o 6523194
3588.74/3596.08	o 6523192
3588.74/3596.08	o 6523174
3588.74/3596.08	o 6523172
3588.74/3596.08	o 6523170
3588.74/3596.08	o 6523142
3588.74/3596.08	o 6523134
3588.74/3596.08	o 6523132
3588.74/3596.08	o 6523130
3588.74/3596.08	o 6523066
3588.74/3596.08	o 6523034
3588.74/3596.08	o 6523032
3588.74/3596.08	o 6523014
3588.74/3596.08	o 6523012
3588.74/3596.08	o 6523010
3588.74/3596.08	o 6523008
3588.74/3596.08	o 6523006
3588.74/3596.08	o 6523002
3588.74/3596.08	o 6523000
3588.74/3596.08	o 6522998
3588.74/3596.08	o 6522870
3588.74/3596.08	o 6522752
3588.74/3596.08	o 6522680
3588.74/3596.08	o 6522678
3588.74/3596.08	o 6506294
3588.74/3596.08	o 6498102
3588.74/3596.08	o 6498100
3588.74/3596.08	o 6498096
3588.74/3596.08	o 6498088
3588.74/3596.08	o 6498086
3588.74/3596.08	o 6498072
3588.74/3596.08	o 6498068
3588.74/3596.08	o 6497954
3588.74/3596.08	o 6497952
3588.74/3596.08	o 6497888
3588.74/3596.08	o 6497880
3588.74/3596.08	o 6497876
3588.74/3596.08	o 6497874
3588.74/3596.08	o 6497842
3588.74/3596.08	o 6497838
3588.74/3596.08	o 6497774
3588.74/3596.08	o 6459554
3588.74/3596.08	o 6459552
3588.74/3596.08	o 6459550
3588.74/3596.08	o 6459548
3588.74/3596.08	o 6459534
3588.74/3596.08	o 6459528
3588.74/3596.08	o 6459509
3588.74/3596.08	o 6459507
3588.74/3596.08	o 6459506
3588.74/3596.08	o 6459468
3588.74/3596.08	o 6459436
3588.74/3596.08	o 6459418
3588.74/3596.08	o 6459416
3588.74/3596.08	o 6459404
3588.74/3596.08	o 6459385
3588.74/3596.08	o 6459366
3588.74/3596.08	o 6459364
3588.74/3596.08	o 6459360
3588.74/3596.08	o 6459326
3588.74/3596.08	o 6459307
3588.74/3596.08	o 6459288
3588.74/3596.08	o 6459250
3588.74/3596.08	o 6459231
3588.74/3596.08	o 6459212
3588.74/3596.08	o 6459206
3588.74/3596.08	o 6459202
3588.74/3596.08	o 6459198
3588.74/3596.08	o 6459194
3588.74/3596.08	o 6459178
3588.74/3596.08	o 6442006
3588.74/3596.08	o 6442005
3588.74/3596.08	o 6442001
3588.74/3596.08	o 6441999
3588.74/3596.08	o 6441967
3588.74/3596.08	o 6385247
3588.74/3596.08	o 6385243
3588.74/3596.08	o 6385241
3588.74/3596.08	o 6385240
3588.74/3596.08	o 6385238
3588.74/3596.08	o 6385236
3588.74/3596.08	o 6385232
3588.74/3596.08	o 6385228
3588.74/3596.08	o 6385226
3588.74/3596.08	o 6384970
3588.74/3596.08	o 6384458
3588.74/3596.08	o 6384452
3588.74/3596.08	o 6384440
3588.74/3596.08	o 6384434
3588.74/3596.08	o 6376220
3588.74/3596.08	o 6376198
3588.74/3596.08	o 6376196
3588.74/3596.08	o 6376190
3588.74/3596.08	o 6376166
3588.74/3596.08	o 6376162
3588.74/3596.08	o 6376160
3588.74/3596.08	o 6376148
3588.74/3596.08	o 6376144
3588.74/3596.08	o 6376136
3588.74/3596.08	o 6376128
3588.74/3596.08	o 6376101
3588.74/3596.08	o 6376098
3588.74/3596.08	o 6376096
3588.74/3596.08	o 6376080
3588.74/3596.08	o 6376078
3588.74/3596.08	o 6376076
3588.74/3596.08	o 6376072
3588.74/3596.08	o 6376064
3588.74/3596.08	o 6375968
3588.74/3596.08	o 6375952
3588.74/3596.08	o 6375951
3588.74/3596.08	o 6375949
3588.74/3596.08	o 6375947
3588.74/3596.08	o 6375939
3588.74/3596.08	o 6349315
3588.74/3596.08	o 6349311
3588.74/3596.08	o 6348287
3588.74/3596.08	o 6348285
3588.74/3596.08	o 6348253
3588.74/3596.08	o 6348239
3588.74/3596.08	o 6348237
3588.74/3596.08	o 6348163
3588.74/3596.08	o 6348159
3588.74/3596.08	o 6348143
3588.74/3596.08	o 6348109
3588.74/3596.08	o 6348093
3588.74/3596.08	o 6348083
3588.74/3596.08	o 6348079
3588.74/3596.08	o 6348047
3588.74/3596.08	o 6345999
3588.74/3596.08	o 6345996
3588.74/3596.08	o 6345994
3588.74/3596.08	o 6345482
3588.74/3596.08	o 6345481
3588.74/3596.08	o 6345480
3588.74/3596.08	o 6345476
3588.74/3596.08	o 6330629
3588.74/3596.08	o 6330501
3588.74/3596.08	o 6330437
3588.74/3596.08	o 6330405
3588.74/3596.08	o 6330389
3588.74/3596.08	o 6289429
3588.74/3596.08	o 6289427
3588.74/3596.08	o 6289419
3588.74/3596.08	o 6289417
3588.74/3596.08	o 6289401
3588.74/3596.08	o 6289393
3588.74/3596.08	o 6289377
3588.74/3596.08	o 6289376
3588.74/3596.08	o 6289374
3588.74/3596.08	o 6289373
3588.74/3596.08	o 6176236
3588.74/3596.08	o 6176212
3588.74/3596.08	o 6176208
3588.74/3596.08	o 6176207
3588.74/3596.08	o 6176193
3588.74/3596.08	o 6176192
3588.74/3596.08	o 6176178
3588.74/3596.08	o 6176177
3588.74/3596.08	o 6176055
3588.74/3596.08	o 6176054
3588.74/3596.08	o 6176053
3588.74/3596.08	o 6176052
3588.74/3596.08	o 6175914
3588.74/3596.08	o 6175913
3588.74/3596.08	o 6146692
3588.74/3596.08	o 6146676
3588.74/3596.08	o 6074996
3588.74/3596.08	o 6074995
3588.74/3596.08	o 6074993
3588.74/3596.08	o 6074988
3588.74/3596.08	o 6074980
3588.74/3596.08	o 6074954
3588.74/3596.08	o 6074946
3588.74/3596.08	o 6070256
3588.74/3596.08	o 6011020
3588.74/3596.08	o 6005952
3588.74/3596.08	o 6005948
3588.74/3596.08	o 6005940
3588.74/3596.08	o 6005938
3588.74/3596.08	o 6005936
3588.74/3596.08	o 6003888
3588.74/3596.08	o 6003760
3588.74/3596.08	o 6003728
3588.74/3596.08	o 6003716
3588.74/3596.08	o 6003714
3588.74/3596.08	o 6003706
3588.74/3596.08	o 6003702
3588.74/3596.08	o 6003698
3588.74/3596.08	o 6003686
3588.74/3596.08	o 6003654
3588.74/3596.08	o 5903302
3588.74/3596.08	o 5903294
3588.74/3596.08	o 5903286
3588.74/3596.08	o 5903278
3588.74/3596.08	o 5902254
3588.74/3596.08	o 5901750
3588.74/3596.08	o 5901710
3588.74/3596.08	o 5901678
3588.74/3596.08	o 5901646
3588.74/3596.08	o 5901642
3588.74/3596.08	o 5901634
3588.74/3596.08	o 5901632
3588.74/3596.08	o 5901620
3588.74/3596.08	o 5901572
3588.74/3596.08	o 5825796
3588.74/3596.08	o 5825772
3588.74/3596.08	o 5825740
3588.74/3596.08	o 5825736
3588.74/3596.08	o 5825544
3588.74/3596.08	o 5823500
3588.74/3596.08	o 5823496
3588.74/3596.08	o 5823464
3588.74/3596.08	o 5823456
3588.74/3596.08	o 5755872
3588.74/3596.08	o 5755864
3588.74/3596.08	o 5755848
3588.74/3596.08	o 5755840
3588.74/3596.08	o 5755824
3588.74/3596.08	o 5755816
3588.74/3596.08	o 5755808
3588.74/3596.08	o 5755800
3588.74/3596.08	o 5755768
3588.74/3596.08	o 5755752
3588.74/3596.08	o 5755744
3588.74/3596.08	o 5755736
3588.74/3596.08	o 5755704
3588.74/3596.08	o 5755688
3588.74/3596.08	o 5658616
3588.74/3596.08	o 5658608
3588.74/3596.08	o 5658604
3588.74/3596.08	o 5658592
3588.74/3596.08	o 5657100
3588.74/3596.08	o 5657096
3588.74/3596.08	o 5657072
3588.74/3596.08	o 5657060
3588.74/3596.08	o 5656996
3588.74/3596.08	o 5656964
3588.74/3596.08	o 5656836
3588.74/3596.08	o 5656580
3588.74/3596.08	o 5627261
3588.74/3596.08	o 5627213
3588.74/3596.08	o 5627189
3588.74/3596.08	o 5627177
3588.74/3596.08	o 5627081
3588.74/3596.08	o 5626901
3588.74/3596.08	o 5626889
3588.74/3596.08	o 5626883
3588.74/3596.08	o 5626880
3588.74/3596.08	o 5626784
3588.74/3596.08	o 5626736
3588.74/3596.08	o 5626712
3588.74/3596.08	o 5626520
3588.74/3596.08	o 5626136
3588.74/3596.08	o 5626130
3588.74/3596.08	o 5626124
3588.74/3596.08	o 5626118
3588.74/3596.08	o 5626115
3588.74/3596.08	o 5626112
3588.74/3596.08	o 5561344
3588.74/3596.08	o 5489664
3588.74/3596.08	o 5489640
3588.74/3596.08	o 5489592
3588.74/3596.08	o 5489580
3588.74/3596.08	o 5489484
3588.74/3596.08	o 5464908
3588.74/3596.08	o 5441356
3588.74/3596.08	o 5439820
3588.74/3596.08	o 5433676
3588.74/3596.08	o 5432908
3588.74/3596.08	o 5432896
3588.74/3596.08	o 5432848
3588.74/3596.08	o 5432752
3588.74/3596.08	o 5432728
3588.74/3596.08	o 5432704
3588.74/3596.08	o 5432512
3588.74/3596.08	o 5432416
3588.74/3596.08	o 5432368
3588.74/3596.08	o 5432332
3588.74/3596.08	o 5432320
3588.74/3596.08	o 5354496
3588.74/3596.08	o 5317632
3588.74/3596.08	o 5277696
3588.74/3596.08	o 5273600
3588.74/3596.08	o 5213184
3588.74/3596.08	o 5190656
3588.74/3596.08	c Program interrupted by user.
3588.74/3596.08	s SATISFIABLE
3588.74/3596.08	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	5190656

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60864 MiB free)
  memory of node 1: 64473 MiB (63327 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100088 s]*
/proc/loadavg: 0.43 0.16 0.11 8/268 334581
/proc/meminfo: memFree=127115660/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 241 98 0 1 0 0 0 0 20 0 1 0 61417433 10170368 702 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 702 625 264 0 134 0
[pid=334575] ppid=334565 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334575/stat : 334575 (timeout) S 334565 334575 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61417436 8867840 256 134679101440 94325236236288 94325236271304 140732460031648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325238368720 94325238370852 94325259472896 140732460037161 140732460037277 140732460037277 140732460044263 0
/proc/334575/statm: 2165 256 231 9 0 87 0
[pid=334580] ppid=334575 vsize=39928 memory=25760 CPUtime=0.05 cores=5,7
/proc/334580/stat : 334580 (LS-MabSP) R 334575 334575 334493 0 -1 4194304 4965 0 0 0 5 0 0 0 20 0 1 0 61417437 40886272 6440 134679101440 4194304 15467897 140730625599104 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39264256 140730625602620 140730625602723 140730625602723 140730625609709 0
/proc/334580/statm: 9982 6440 1057 2753 0 6635 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 58520 KiB
Current children cumulated memory: 29592 KiB

[startup+0.206878 s]*
/proc/loadavg: 0.43 0.16 0.11 7/268 334581
/proc/meminfo: memFree=127060952/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 241 98 0 1 0 0 0 0 20 0 1 0 61417433 10170368 702 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 702 625 264 0 134 0
[pid=334575] ppid=334565 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334575/stat : 334575 (timeout) S 334565 334575 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61417436 8867840 256 134679101440 94325236236288 94325236271304 140732460031648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325238368720 94325238370852 94325259472896 140732460037161 140732460037277 140732460037277 140732460044263 0
/proc/334575/statm: 2165 256 231 9 0 87 0
[pid=334580] ppid=334575 vsize=56708 memory=43508 CPUtime=0.16 cores=5,7
/proc/334580/stat : 334580 (LS-MabSP) R 334575 334575 334493 0 -1 4194304 9387 0 0 0 15 1 0 0 20 0 1 0 61417437 58068992 10877 134679101440 4194304 15467897 140730625599104 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39264256 140730625602620 140730625602723 140730625602723 140730625609709 0
/proc/334580/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47340 KiB

[startup+0.30691 s]*
/proc/loadavg: 0.43 0.16 0.11 8/268 334583
/proc/meminfo: memFree=127027672/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 241 98 0 1 0 0 0 0 20 0 1 0 61417433 10170368 702 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 702 625 264 0 134 0
[pid=334575] ppid=334565 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334575/stat : 334575 (timeout) S 334565 334575 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61417436 8867840 256 134679101440 94325236236288 94325236271304 140732460031648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325238368720 94325238370852 94325259472896 140732460037161 140732460037277 140732460037277 140732460044263 0
/proc/334575/statm: 2165 256 231 9 0 87 0
[pid=334580] ppid=334575 vsize=56708 memory=43508 CPUtime=0.26 cores=5,7
/proc/334580/stat : 334580 (LS-MabSP) R 334575 334575 334493 0 -1 4194304 9387 0 0 0 25 1 0 0 20 0 1 0 61417437 58068992 10877 134679101440 4194304 15467897 140730625599104 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39264256 140730625602620 140730625602723 140730625602723 140730625609709 0
/proc/334580/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47340 KiB

[startup+0.700243 s]
/proc/loadavg: 0.43 0.16 0.11 8/268 334583
/proc/meminfo: memFree=127025804/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 241 98 0 1 0 0 0 0 20 0 1 0 61417433 10170368 702 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 702 625 264 0 134 0
[pid=334575] ppid=334565 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334575/stat : 334575 (timeout) S 334565 334575 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61417436 8867840 256 134679101440 94325236236288 94325236271304 140732460031648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325238368720 94325238370852 94325259472896 140732460037161 140732460037277 140732460037277 140732460044263 0
/proc/334575/statm: 2165 256 231 9 0 87 0
[pid=334580] ppid=334575 vsize=56708 memory=43508 CPUtime=0.64 cores=5,7
/proc/334580/stat : 334580 (LS-MabSP) R 334575 334575 334493 0 -1 4194304 9387 0 0 0 63 1 0 0 20 0 1 0 61417437 58068992 10877 134679101440 4194304 15467897 140730625599104 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39264256 140730625602620 140730625602723 140730625602723 140730625609709 0
/proc/334580/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47340 KiB

[startup+1.50023 s]
/proc/loadavg: 0.43 0.16 0.11 8/268 334583
/proc/meminfo: memFree=126930924/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 241 98 0 1 0 0 0 0 20 0 1 0 61417433 10170368 702 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 702 625 264 0 134 0
[pid=334575] ppid=334565 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334575/stat : 334575 (timeout) S 334565 334575 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61417436 8867840 256 134679101440 94325236236288 94325236271304 140732460031648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325238368720 94325238370852 94325259472896 140732460037161 140732460037277 140732460037277 140732460044263 0
/proc/334575/statm: 2165 256 231 9 0 87 0
[pid=334580] ppid=334575 vsize=56708 memory=43508 CPUtime=1.44 cores=5,7
/proc/334580/stat : 334580 (LS-MabSP) R 334575 334575 334493 0 -1 4194304 9394 0 0 0 142 2 0 0 20 0 1 0 61417437 58068992 10877 134679101440 4194304 15467897 140730625599104 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39264256 140730625602620 140730625602723 140730625602723 140730625609709 0
/proc/334580/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47340 KiB

[startup+3.10679 s]
/proc/loadavg: 0.43 0.16 0.11 8/268 334583
/proc/meminfo: memFree=126784516/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 241 98 0 1 0 0 0 0 20 0 1 0 61417433 10170368 702 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 702 625 264 0 134 0
[pid=334575] ppid=334565 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334575/stat : 334575 (timeout) S 334565 334575 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61417436 8867840 256 134679101440 94325236236288 94325236271304 140732460031648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325238368720 94325238370852 94325259472896 140732460037161 140732460037277 140732460037277 140732460044263 0
/proc/334575/statm: 2165 256 231 9 0 87 0
[pid=334580] ppid=334575 vsize=56708 memory=43508 CPUtime=3.05 cores=5,7
/proc/334580/stat : 334580 (LS-MabSP) R 334575 334575 334493 0 -1 4194304 9394 0 0 0 301 4 0 0 20 0 1 0 61417437 58068992 10877 134679101440 4194304 15467897 140730625599104 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39264256 140730625602620 140730625602723 140730625602723 140730625609709 0
/proc/334580/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47340 KiB

[startup+6.30028 s]
/proc/loadavg: 0.72 0.22 0.13 8/268 334583
/proc/meminfo: memFree=126732484/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 241 98 0 1 0 0 0 0 20 0 1 0 61417433 10170368 702 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 702 625 264 0 134 0
[pid=334575] ppid=334565 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334575/stat : 334575 (timeout) S 334565 334575 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61417436 8867840 256 134679101440 94325236236288 94325236271304 140732460031648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325238368720 94325238370852 94325259472896 140732460037161 140732460037277 140732460037277 140732460044263 0
/proc/334575/statm: 2165 256 231 9 0 87 0
[pid=334580] ppid=334575 vsize=56708 memory=43508 CPUtime=6.23 cores=5,7
/proc/334580/stat : 334580 (LS-MabSP) R 334575 334575 334493 0 -1 4194304 9422 0 0 0 616 7 0 0 20 0 1 0 61417437 58068992 10877 134679101440 4194304 15467897 140730625599104 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39264256 140730625602620 140730625602723 140730625602723 140730625609709 0
/proc/334580/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47340 KiB

[startup+12.7002 s]
/proc/loadavg: 0.98 0.28 0.15 8/268 334584
/proc/meminfo: memFree=126666452/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 241 98 0 1 0 0 0 0 20 0 1 0 61417433 10170368 702 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 702 625 264 0 134 0
[pid=334575] ppid=334565 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334575/stat : 334575 (timeout) S 334565 334575 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61417436 8867840 256 134679101440 94325236236288 94325236271304 140732460031648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325238368720 94325238370852 94325259472896 140732460037161 140732460037277 140732460037277 140732460044263 0
/proc/334575/statm: 2165 256 231 9 0 87 0
[pid=334580] ppid=334575 vsize=56708 memory=43508 CPUtime=12.62 cores=5,7
/proc/334580/stat : 334580 (LS-MabSP) R 334575 334575 334493 0 -1 4194304 9423 0 0 0 1247 15 0 0 20 0 1 0 61417437 58068992 10877 134679101440 4194304 15467897 140730625599104 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39264256 140730625602620 140730625602723 140730625602723 140730625609709 0
/proc/334580/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47340 KiB

[startup+25.5002 s]
/proc/loadavg: 1.65 0.47 0.22 7/268 334586
/proc/meminfo: memFree=126702208/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 241 98 0 1 0 0 0 0 20 0 1 0 61417433 10170368 702 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 702 625 264 0 134 0
[pid=334575] ppid=334565 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334575/stat : 334575 (timeout) S 334565 334575 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61417436 8867840 256 134679101440 94325236236288 94325236271304 140732460031648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325238368720 94325238370852 94325259472896 140732460037161 140732460037277 140732460037277 140732460044263 0
/proc/334575/statm: 2165 256 231 9 0 87 0
[pid=334580] ppid=334575 vsize=56708 memory=43508 CPUtime=25.4 cores=5,7
/proc/334580/stat : 334580 (LS-MabSP) R 334575 334575 334493 0 -1 4194304 9423 0 0 0 2509 31 0 0 20 0 1 0 61417437 58068992 10877 134679101440 4194304 15467897 140730625599104 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39264256 140730625602620 140730625602723 140730625602723 140730625609709 0
/proc/334580/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47340 KiB

[startup+51.1074 s]
/proc/loadavg: 2.51 0.77 0.32 7/268 334590
/proc/meminfo: memFree=126668824/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 241 98 0 1 0 0 0 0 20 0 1 0 61417433 10170368 702 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 702 625 264 0 134 0
[pid=334575] ppid=334565 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334575/stat : 334575 (timeout) S 334565 334575 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61417436 8867840 256 134679101440 94325236236288 94325236271304 140732460031648 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325238368720 94325238370852 94325259472896 140732460037161 140732460037277 140732460037277 140732460044263 0
/proc/334575/statm: 2165 256 231 9 0 87 0
[pid=334580] ppid=334575 vsize=56708 memory=43508 CPUtime=50.96 cores=5,7
/proc/334580/stat : 334580 (LS-MabSP) R 334575 334575 334493 0 -1 4194304 9428 0 0 0 5033 63 0 0 20 0 1 0 61417437 58068992 10877 134679101440 4194304 15467897 140730625599104 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39264256 140730625602620 140730625602723 140730625602723 140730625609709 0
/proc/334580/statm: 14177 10877 1073 2753 0 10830 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 47340 KiB

[startup+102.3 s]
/proc/loadavg: 3.35 1.27 0.52 7/268 334600
/proc/meminfo: memFree=126594068/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 241 98 0 1 0 0 0 0 20 0 1 0 61417433 10170368 702 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0

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

/proc/335486/statm: 69183 57087 764 737 0 68271 0
Current children cumulated CPU time: 3395.47 s
Current children cumulated vsize: 295324 KiB
Current children cumulated memory: 232224 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.09 8/265 336412
/proc/meminfo: memFree=125827120/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2856 CPUtime=1794.91 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 273 10038 0 1 0 0 177187 2304 20 0 1 0 61417433 10170368 714 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 714 625 264 0 134 0
[pid=335484] ppid=334565 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/335484/stat : 335484 (timeout) S 334565 335484 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 255 134679101440 94756778909696 94756778944712 140734846879888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94756781042128 94756781044260 94756801544192 140734846886900 140734846887069 140734846887069 140734846894055 0
/proc/335484/statm: 2165 255 231 9 0 87 0
[pid=335486] ppid=335484 vsize=277516 memory=228904 CPUtime=1660.43 cores=5,7
/proc/335486/stat : 335486 (Exact) R 335484 335484 334493 0 -1 4194304 30984 0 0 0 166030 13 0 0 20 0 1 0 61597237 284176384 57226 134679101440 4194304 7210733 140731303745872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 14356480 140731303752720 140731303752870 140731303752870 140731303759856 0
/proc/335486/statm: 69379 57226 764 737 0 68467 0
Current children cumulated CPU time: 3455.34 s
Current children cumulated vsize: 296108 KiB
Current children cumulated memory: 232780 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 8/265 336424
/proc/meminfo: memFree=125822580/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2856 CPUtime=1794.91 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 273 10038 0 1 0 0 177187 2304 20 0 1 0 61417433 10170368 714 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 714 625 264 0 134 0
[pid=335484] ppid=334565 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/335484/stat : 335484 (timeout) S 334565 335484 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 255 134679101440 94756778909696 94756778944712 140734846879888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94756781042128 94756781044260 94756801544192 140734846886900 140734846887069 140734846887069 140734846894055 0
/proc/335484/statm: 2165 255 231 9 0 87 0
[pid=335486] ppid=335484 vsize=278964 memory=230492 CPUtime=1720.29 cores=5,7
/proc/335486/stat : 335486 (Exact) R 335484 335484 334493 0 -1 4194304 31402 0 0 0 172016 13 0 0 20 0 1 0 61597237 285659136 57623 134679101440 4194304 7210733 140731303745872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 14356480 140731303752720 140731303752870 140731303752870 140731303759856 0
/proc/335486/statm: 69741 57623 764 737 0 68829 0
Current children cumulated CPU time: 3515.2 s
Current children cumulated vsize: 297556 KiB
Current children cumulated memory: 234368 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 8/266 336435
/proc/meminfo: memFree=125821476/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2856 CPUtime=1794.91 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 273 10038 0 1 0 0 177187 2304 20 0 1 0 61417433 10170368 714 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 714 625 264 0 134 0
[pid=335484] ppid=334565 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/335484/stat : 335484 (timeout) S 334565 335484 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 255 134679101440 94756778909696 94756778944712 140734846879888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94756781042128 94756781044260 94756801544192 140734846886900 140734846887069 140734846887069 140734846894055 0
/proc/335484/statm: 2165 255 231 9 0 87 0
[pid=335486] ppid=335484 vsize=278964 memory=230492 CPUtime=1780.15 cores=5,7
/proc/335486/stat : 335486 (Exact) R 335484 335484 334493 0 -1 4194304 31431 0 0 0 178002 13 0 0 20 0 1 0 61597237 285659136 57623 134679101440 4194304 7210733 140731303745872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 14356480 140731303752720 140731303752870 140731303752870 140731303759856 0
/proc/335486/statm: 69741 57623 764 737 0 68829 0
Current children cumulated CPU time: 3575.06 s
Current children cumulated vsize: 297556 KiB
Current children cumulated memory: 234368 KiB

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

# cumulated CPU time of all completed processes:  user=3565.64 s, system=23.1942 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 8/266 336435
/proc/meminfo: memFree=125821468/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2856 CPUtime=1794.91 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 273 10038 0 1 0 0 177187 2304 20 0 1 0 61417433 10170368 714 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 714 625 264 0 134 0
[pid=335484] ppid=334565 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/335484/stat : 335484 (timeout) S 334565 335484 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 255 134679101440 94756778909696 94756778944712 140734846879888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94756781042128 94756781044260 94756801544192 140734846886900 140734846887069 140734846887069 140734846894055 0
/proc/335484/statm: 2165 255 231 9 0 87 0
[pid=335486] ppid=335484 vsize=278964 memory=230492 CPUtime=1781.86 cores=5,7
/proc/335486/stat : 335486 (Exact) R 335484 335484 334493 0 -1 4194304 31431 0 0 0 178173 13 0 0 20 0 1 0 61597237 285659136 57623 134679101440 4194304 7210733 140731303745872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 14356480 140731303752720 140731303752870 140731303752870 140731303759856 0
/proc/335486/statm: 69741 57623 764 737 0 68829 0
Current children cumulated CPU time: 3576.77 s
Current children cumulated vsize: 297556 KiB
Current children cumulated memory: 234368 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.09 8/266 336435
/proc/meminfo: memFree=125821432/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2856 CPUtime=1794.91 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 273 10038 0 1 0 0 177187 2304 20 0 1 0 61417433 10170368 714 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 714 625 264 0 134 0
[pid=335484] ppid=334565 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/335484/stat : 335484 (timeout) S 334565 335484 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 255 134679101440 94756778909696 94756778944712 140734846879888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94756781042128 94756781044260 94756801544192 140734846886900 140734846887069 140734846887069 140734846894055 0
/proc/335484/statm: 2165 255 231 9 0 87 0
[pid=335486] ppid=335484 vsize=278964 memory=230492 CPUtime=1788.24 cores=5,7
/proc/335486/stat : 335486 (Exact) R 335484 335484 334493 0 -1 4194304 31431 0 0 0 178811 13 0 0 20 0 1 0 61597237 285659136 57623 134679101440 4194304 7210733 140731303745872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 14356480 140731303752720 140731303752870 140731303752870 140731303759856 0
/proc/335486/statm: 69741 57623 764 737 0 68829 0
Current children cumulated CPU time: 3583.15 s
Current children cumulated vsize: 297556 KiB
Current children cumulated memory: 234368 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.11 4.09 8/266 336437
/proc/meminfo: memFree=125821276/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2856 CPUtime=1794.91 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 273 10038 0 1 0 0 177187 2304 20 0 1 0 61417433 10170368 714 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 714 625 264 0 134 0
[pid=335484] ppid=334565 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/335484/stat : 335484 (timeout) S 334565 335484 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 255 134679101440 94756778909696 94756778944712 140734846879888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94756781042128 94756781044260 94756801544192 140734846886900 140734846887069 140734846887069 140734846894055 0
/proc/335484/statm: 2165 255 231 9 0 87 0
[pid=335486] ppid=335484 vsize=278964 memory=230492 CPUtime=1791.43 cores=5,7
/proc/335486/stat : 335486 (Exact) R 335484 335484 334493 0 -1 4194304 31431 0 0 0 179130 13 0 0 20 0 1 0 61597237 285659136 57623 134679101440 4194304 7210733 140731303745872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 14356480 140731303752720 140731303752870 140731303752870 140731303759856 0
/proc/335486/statm: 69741 57623 764 737 0 68829 0
Current children cumulated CPU time: 3586.34 s
Current children cumulated vsize: 297556 KiB
Current children cumulated memory: 234368 KiB

[startup+3595.2 s]
/proc/loadavg: 4.16 4.13 4.09 8/266 336437
/proc/meminfo: memFree=125821284/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2856 CPUtime=1794.91 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 273 10038 0 1 0 0 177187 2304 20 0 1 0 61417433 10170368 714 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 714 625 264 0 134 0
[pid=335484] ppid=334565 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/335484/stat : 335484 (timeout) S 334565 335484 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 255 134679101440 94756778909696 94756778944712 140734846879888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94756781042128 94756781044260 94756801544192 140734846886900 140734846887069 140734846887069 140734846894055 0
/proc/335484/statm: 2165 255 231 9 0 87 0
[pid=335486] ppid=335484 vsize=278964 memory=230492 CPUtime=1793.02 cores=5,7
/proc/335486/stat : 335486 (Exact) R 335484 335484 334493 0 -1 4194304 31431 0 0 0 179289 13 0 0 20 0 1 0 61597237 285659136 57623 134679101440 4194304 7210733 140731303745872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 14356480 140731303752720 140731303752870 140731303752870 140731303759856 0
/proc/335486/statm: 69741 57623 764 737 0 68829 0
Current children cumulated CPU time: 3587.93 s
Current children cumulated vsize: 297556 KiB
Current children cumulated memory: 234368 KiB

[startup+3595.6 s]
/proc/loadavg: 4.16 4.13 4.09 8/266 336437
/proc/meminfo: memFree=125821284/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2856 CPUtime=1794.91 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 273 10038 0 1 0 0 177187 2304 20 0 1 0 61417433 10170368 714 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 714 625 264 0 134 0
[pid=335484] ppid=334565 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/335484/stat : 335484 (timeout) S 334565 335484 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 255 134679101440 94756778909696 94756778944712 140734846879888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94756781042128 94756781044260 94756801544192 140734846886900 140734846887069 140734846887069 140734846894055 0
/proc/335484/statm: 2165 255 231 9 0 87 0
[pid=335486] ppid=335484 vsize=278964 memory=230492 CPUtime=1793.42 cores=5,7
/proc/335486/stat : 335486 (Exact) R 335484 335484 334493 0 -1 4194304 31431 0 0 0 179329 13 0 0 20 0 1 0 61597237 285659136 57623 134679101440 4194304 7210733 140731303745872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 14356480 140731303752720 140731303752870 140731303752870 140731303759856 0
/proc/335486/statm: 69741 57623 764 737 0 68829 0
Current children cumulated CPU time: 3588.33 s
Current children cumulated vsize: 297556 KiB
Current children cumulated memory: 234368 KiB

[startup+3596 s]*
/proc/loadavg: 4.16 4.13 4.09 8/266 336437
/proc/meminfo: memFree=125821320/131524600 swapFree=131071216/131071996
[pid=334565] ppid=334550 vsize=9932 memory=2856 CPUtime=1794.91 cores=5,7
/proc/334565/stat : 334565 (Hybrid-LSMabSP+) S 334550 334565 334493 0 -1 4194304 273 10038 0 1 0 0 177187 2304 20 0 1 0 61417433 10170368 714 134679101440 94096881885184 94096882964504 140736270146448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94096885062960 94096885110148 94096902692864 140736270148584 140736270148730 140736270148730 140736270155745 0
/proc/334565/statm: 2483 714 625 264 0 134 0
[pid=335484] ppid=334565 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/335484/stat : 335484 (timeout) S 334565 335484 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 255 134679101440 94756778909696 94756778944712 140734846879888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94756781042128 94756781044260 94756801544192 140734846886900 140734846887069 140734846887069 140734846894055 0
/proc/335484/statm: 2165 255 231 9 0 87 0
[pid=335486] ppid=335484 vsize=278964 memory=230492 CPUtime=1793.83 cores=5,7
/proc/335486/stat : 335486 (Exact) R 335484 335484 334493 0 -1 4194304 31431 0 0 0 179370 13 0 0 20 0 1 0 61597237 285659136 57623 134679101440 4194304 7210733 140731303745872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 14356480 140731303752720 140731303752870 140731303752870 140731303759856 0
/proc/335486/statm: 69741 57623 764 737 0 68829 0
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 297556 KiB
Current children cumulated memory: 234368 KiB

Child status: 0

Real time (s): 3596.09
CPU time (s): 3588.83
CPU user time (s): 3565.64
CPU system time (s): 23.1942
CPU usage (%): 99.7982
Max. virtual memory (cumulated for all children) (KiB): 297556
Max. memory (cumulated for all children) (KiB): 234368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.64
system time used= 23.1942
maximum resident set size= 260684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44925
page faults= 3
swaps= 0
block input operations= 504
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139
involuntary context switches= 1663


# summary of solver processes directly reported to runsolver:
#   pid: 334565
#   total CPU time (s): 3588.83
#   total CPU user time (s): 3565.64
#   total CPU system time (s): 23.1942

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.65195 second user time and 20.8345 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-08-06 14:43:23
IDJOB=4436999
IDBENCH=146743
IDSOLVER=3070
FILE ID=nodeC017/4436999-1722948202
RUNJOBID= nodeC017-1722948202-334506
SLURM_JOB_ID= 8258988
Free space on /tmp= 890076 MiB

SOLVER NAME= Hybrid-LSMabSP+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-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436999-1722948202/watcher-4436999-1722948202 -o /tmp/evaluation-result-4436999-1722948202/solver-4436999-1722948202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722948202-334506 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4436999-1722948202.opb 3600 HOME 31000

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

MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1
RANDOM SEED=1395330820

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127173452 kB
MemAvailable:   129747980 kB
Buffers:          334764 kB
Cached:          3081848 kB
SwapCached:           52 kB
Active:           794120 kB
Inactive:        3030056 kB
Active(anon):       1360 kB
Inactive(anon):   443732 kB
Active(file):     792760 kB
Inactive(file):  2586324 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             84888 kB
Writeback:            12 kB
AnonPages:        406976 kB
Mapped:            97468 kB
Shmem:             37520 kB
KReclaimable:      70536 kB
Slab:             163692 kB
SReclaimable:      70536 kB
SUnreclaim:        93156 kB
KernelStack:        3888 kB
PageTables:         9556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     714044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            28544 kB
HardwareCorrupted:     0 kB
AnonHugePages:    284672 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:      277204 kB
DirectMap2M:    14176256 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC017 at 2024-08-06 15:43:20