Trace number 4454317

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
pb-oll-rs 2024-07-19SAT (TO)310 3600.1 3608.12

DiagnosticValue
AM1LB0
LOWERBOUND10
NAM1S0
NCORES2
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
MD5SUMa599905096c946af5176c07959aa4b57
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark225
Best CPU time to get the best result obtained on this benchmark3558.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 488873
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 488873
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
1.48/1.50	c [STEP] solving
1.48/1.50	c #variables 10000 #constraints 656900
1.48/1.50	c SMALL=int, LARGE=long long
1.48/1.51	c bounds - >= 0 @ 1.07554
1.48/1.51	c stratification level: 98
1.59/1.69	c bounds 7268 >= 0 @ 1.25411
1.59/1.69	c stratification level: 97
1.68/1.70	c bounds 7188 >= 0 @ 1.26095
1.68/1.70	c stratification level: 96
1.68/1.71	c bounds 6984 >= 0 @ 1.26628
1.68/1.71	c stratification level: 95
1.68/1.74	c bounds 6963 >= 0 @ 1.28613
1.68/1.74	c stratification level: 94
1.68/1.74	c bounds 6684 >= 0 @ 1.29121
1.68/1.74	c stratification level: 93
1.68/1.75	c bounds 6645 >= 0 @ 1.29695
1.68/1.75	c stratification level: 92
1.68/1.76	c bounds 6594 >= 0 @ 1.3009
1.68/1.76	c stratification level: 91
1.68/1.76	c bounds 6529 >= 0 @ 1.30505
1.68/1.76	c stratification level: 90
1.68/1.79	c bounds 6517 >= 0 @ 1.3218
1.68/1.79	c stratification level: 89
1.68/1.79	c bounds 6431 >= 0 @ 1.32779
1.68/1.79	c stratification level: 88
1.78/1.80	c bounds 6384 >= 0 @ 1.33124
1.78/1.80	c stratification level: 87
1.78/1.81	c bounds 6094 >= 0 @ 1.33455
1.78/1.81	c stratification level: 86
1.78/1.82	c bounds 6024 >= 0 @ 1.33876
1.78/1.82	c stratification level: 85
1.78/1.83	c bounds 6019 >= 0 @ 1.34479
1.78/1.83	c stratification level: 84
1.78/1.83	c bounds 6010 >= 0 @ 1.35446
1.78/1.83	c stratification level: 83
1.78/1.87	c bounds 5859 >= 0 @ 1.38804
1.78/1.87	c stratification level: 82
1.78/1.88	c bounds 5493 >= 0 @ 1.39287
1.78/1.88	c stratification level: 81
1.78/1.89	c bounds 5468 >= 0 @ 1.3998
1.78/1.89	c stratification level: 80
1.89/1.90	c bounds 5349 >= 0 @ 1.40448
1.89/1.90	c stratification level: 79
1.89/1.91	c bounds 5284 >= 0 @ 1.40911
1.89/1.91	c stratification level: 78
1.89/1.92	c bounds 5138 >= 0 @ 1.41571
1.89/1.92	c stratification level: 77
1.89/1.93	c bounds 5021 >= 0 @ 1.41889
1.89/1.93	c stratification level: 76
1.89/1.93	c bounds 4800 >= 0 @ 1.42568
1.89/1.93	c stratification level: 75
1.89/1.94	c bounds 4725 >= 0 @ 1.43162
1.89/1.94	c stratification level: 74
1.89/1.95	c bounds 4427 >= 0 @ 1.43738
1.89/1.95	c stratification level: 73
1.89/1.96	c bounds 4268 >= 0 @ 1.44566
1.89/1.96	c stratification level: 72
1.89/1.97	c bounds 4174 >= 0 @ 1.45087
1.89/1.97	c stratification level: 71
1.89/1.98	c bounds 4118 >= 0 @ 1.45683
1.89/1.98	c stratification level: 70
1.89/1.99	c bounds 4074 >= 0 @ 1.46102
1.89/1.99	c stratification level: 69
1.89/2.00	c bounds 3744 >= 0 @ 1.46856
1.89/2.00	c stratification level: 68
1.99/2.01	c bounds 3742 >= 0 @ 1.47466
1.99/2.01	c stratification level: 67
1.99/2.02	c bounds 3675 >= 0 @ 1.47914
1.99/2.02	c stratification level: 66
1.99/2.03	c bounds 3448 >= 0 @ 1.48408
1.99/2.03	c stratification level: 65
1.99/2.04	c bounds 3223 >= 0 @ 1.48953
1.99/2.04	c stratification level: 64
1.99/2.05	c bounds 3193 >= 0 @ 1.49432
1.99/2.05	c stratification level: 63
1.99/2.06	c bounds 3149 >= 0 @ 1.49903
1.99/2.06	c stratification level: 62
1.99/2.07	c bounds 3146 >= 0 @ 1.50684
1.99/2.07	c stratification level: 61
1.99/2.08	c bounds 3102 >= 0 @ 1.51452
1.99/2.08	c stratification level: 60
1.99/2.09	c bounds 2737 >= 0 @ 1.52049
1.99/2.09	c stratification level: 59
1.99/2.10	c bounds 2675 >= 0 @ 1.5262
1.99/2.10	c stratification level: 58
2.09/2.11	c bounds 2674 >= 0 @ 1.53428
2.09/2.11	c stratification level: 57
2.09/2.12	c bounds 2652 >= 0 @ 1.53995
2.09/2.12	c stratification level: 56
2.09/2.13	c bounds 2644 >= 0 @ 1.54813
2.09/2.13	c stratification level: 55
2.09/2.15	c bounds 2594 >= 0 @ 1.55453
2.09/2.15	c stratification level: 54
2.09/2.16	c bounds 2509 >= 0 @ 1.56204
2.09/2.16	c stratification level: 53
2.09/2.17	c bounds 2481 >= 0 @ 1.57112
2.09/2.17	c stratification level: 52
2.09/2.18	c bounds 2436 >= 0 @ 1.57519
2.09/2.18	c stratification level: 51
2.09/2.19	c bounds 2419 >= 0 @ 1.58205
2.09/2.19	c stratification level: 50
2.18/2.20	c bounds 2373 >= 0 @ 1.58632
2.18/2.20	c stratification level: 49
2.18/2.21	c bounds 2307 >= 0 @ 1.59392
2.18/2.21	c stratification level: 48
2.18/2.22	c bounds 2249 >= 0 @ 1.59893
2.18/2.22	c stratification level: 47
2.18/2.23	c bounds 2228 >= 0 @ 1.60571
2.18/2.23	c stratification level: 46
2.18/2.24	c bounds 2227 >= 0 @ 1.61105
2.18/2.24	c stratification level: 45
2.18/2.25	c bounds 2132 >= 0 @ 1.61752
2.18/2.25	c stratification level: 44
2.18/2.27	c bounds 2108 >= 0 @ 1.62499
2.18/2.27	c stratification level: 43
2.18/2.28	c bounds 2024 >= 0 @ 1.63359
2.18/2.28	c stratification level: 42
2.28/2.30	c bounds 2013 >= 0 @ 1.6486
2.28/2.30	c stratification level: 41
2.48/2.50	c bounds 1990 >= 0 @ 1.84365
2.48/2.50	c stratification level: 40
2.48/2.51	c bounds 1950 >= 0 @ 1.84844
2.48/2.51	c stratification level: 39
2.48/2.54	c bounds 1943 >= 0 @ 1.86821
2.48/2.54	c stratification level: 38
2.48/2.55	c bounds 1940 >= 0 @ 1.87693
2.48/2.55	c stratification level: 37
2.48/2.57	c bounds 1938 >= 0 @ 1.88748
2.48/2.57	c stratification level: 36
2.48/2.58	c bounds 1896 >= 0 @ 1.8923
2.48/2.58	c stratification level: 35
2.48/2.59	c bounds 1894 >= 0 @ 1.89711
2.48/2.59	c stratification level: 34
2.59/2.60	c bounds 1871 >= 0 @ 1.90501
2.59/2.60	c stratification level: 33
2.59/2.61	c bounds 1851 >= 0 @ 1.91541
2.59/2.61	c stratification level: 32
2.59/2.62	c bounds 1759 >= 0 @ 1.92014
2.59/2.62	c stratification level: 31
2.59/2.65	c bounds 1754 >= 0 @ 1.94587
2.59/2.65	c stratification level: 30
2.59/2.66	c bounds 1655 >= 0 @ 1.95312
2.59/2.66	c stratification level: 29
2.59/2.68	c bounds 1531 >= 0 @ 1.96024
2.59/2.68	c stratification level: 28
2.59/2.69	c bounds 1522 >= 0 @ 1.96745
2.59/2.69	c stratification level: 27
2.69/2.70	c bounds 1476 >= 0 @ 1.97487
2.69/2.70	c stratification level: 26
2.69/2.71	c bounds 1464 >= 0 @ 1.98255
2.69/2.71	c stratification level: 25
2.69/2.72	c bounds 1408 >= 0 @ 1.99215
2.69/2.72	c stratification level: 24
2.69/2.74	c bounds 1361 >= 0 @ 1.99836
2.69/2.74	c stratification level: 23
2.69/2.75	c bounds 1350 >= 0 @ 2.00608
2.69/2.75	c stratification level: 22
2.88/2.91	c #Conflicts:       1000 | #Constraints:     657975
2.88/2.91	c bounds 1278 >= 0 @ 2.15997
2.88/2.91	c stratification level: 21
2.88/2.93	c bounds 1239 >= 0 @ 2.16877
2.88/2.93	c stratification level: 20
2.88/2.94	c bounds 1212 >= 0 @ 2.17544
2.88/2.94	c stratification level: 19
2.88/2.95	c bounds 1082 >= 0 @ 2.18364
2.88/2.95	c stratification level: 18
2.88/2.96	c bounds 1043 >= 0 @ 2.19232
2.88/2.96	c stratification level: 17
2.88/2.98	c bounds 931 >= 0 @ 2.19922
2.88/2.98	c stratification level: 16
2.98/3.05	c bounds 925 >= 0 @ 2.26515
2.98/3.05	c stratification level: 15
3.28/3.30	c bounds 849 >= 0 @ 2.48938
3.28/3.30	c stratification level: 14
3.28/3.35	c bounds 842 >= 0 @ 2.52458
3.28/3.35	c stratification level: 13
3.28/3.36	c bounds 724 >= 0 @ 2.53401
3.28/3.36	c stratification level: 12
3.68/3.71	c bounds 660 >= 0 @ 2.85483
3.68/3.71	c stratification level: 11
3.88/3.95	c #Conflicts:       2000 | #Constraints:     658986
3.88/3.95	c INPROCESSING
3.88/3.95	c GARBAGE COLLECT
3.88/3.95	c bounds 591 >= 0 @ 3.0733
3.88/3.95	c stratification level: 10
3.88/3.97	c bounds 536 >= 0 @ 3.08329
3.88/3.97	c stratification level: 9
3.99/4.06	c bounds 506 >= 0 @ 3.16516
3.99/4.06	c stratification level: 8
5.98/6.02	c #Conflicts:       3000 | #Constraints:     658909
5.98/6.02	c bounds 437 >= 0 @ 5.05798
5.98/6.02	c stratification level: 7
6.57/6.60	c #Conflicts:       4000 | #Constraints:     659910
6.57/6.60	c INPROCESSING
6.57/6.60	c GARBAGE COLLECT
6.57/6.60	c bounds 364 >= 0 @ 5.61278
6.57/6.60	c stratification level: 6
97.14/97.43	c #Conflicts:       5000 | #Constraints:     659318
97.14/97.43	c #Conflicts:       6000 | #Constraints:     660318
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:       7000 | #Constraints:     659323
97.14/97.43	c #Conflicts:       8000 | #Constraints:     660323
97.14/97.43	c #Conflicts:       9000 | #Constraints:     661323
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      10000 | #Constraints:     660029
97.14/97.43	c #Conflicts:      11000 | #Constraints:     661029
97.14/97.43	c #Conflicts:      12000 | #Constraints:     662029
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      13000 | #Constraints:     660488
97.14/97.43	c #Conflicts:      14000 | #Constraints:     661488
97.14/97.43	c #Conflicts:      15000 | #Constraints:     662488
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      16000 | #Constraints:     660721
97.14/97.43	c #Conflicts:      17000 | #Constraints:     661721
97.14/97.43	c #Conflicts:      18000 | #Constraints:     662721
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      19000 | #Constraints:     660740
97.14/97.43	c #Conflicts:      20000 | #Constraints:     661740
97.14/97.43	c #Conflicts:      21000 | #Constraints:     662740
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      22000 | #Constraints:     660551
97.14/97.43	c #Conflicts:      23000 | #Constraints:     661551
97.14/97.43	c #Conflicts:      24000 | #Constraints:     662551
97.14/97.43	c #Conflicts:      25000 | #Constraints:     663551
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      26000 | #Constraints:     661160
97.14/97.43	c #Conflicts:      27000 | #Constraints:     662160
97.14/97.43	c #Conflicts:      28000 | #Constraints:     663160
97.14/97.43	c #Conflicts:      29000 | #Constraints:     664160
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      30000 | #Constraints:     661567
97.14/97.43	c #Conflicts:      31000 | #Constraints:     662567
97.14/97.43	c #Conflicts:      32000 | #Constraints:     663567
97.14/97.43	c #Conflicts:      33000 | #Constraints:     664567
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      34000 | #Constraints:     661774
97.14/97.43	c #Conflicts:      35000 | #Constraints:     662774
97.14/97.43	c #Conflicts:      36000 | #Constraints:     663774
97.14/97.43	c #Conflicts:      37000 | #Constraints:     664774
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      38000 | #Constraints:     661767
97.14/97.43	c #Conflicts:      39000 | #Constraints:     662767
97.14/97.43	c #Conflicts:      40000 | #Constraints:     663767
97.14/97.43	c #Conflicts:      41000 | #Constraints:     664767
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      42000 | #Constraints:     661570
97.14/97.43	c #Conflicts:      43000 | #Constraints:     662570
97.14/97.43	c #Conflicts:      44000 | #Constraints:     663570
97.14/97.43	c #Conflicts:      45000 | #Constraints:     664570
97.14/97.43	c #Conflicts:      46000 | #Constraints:     665570
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      47000 | #Constraints:     662166
97.14/97.43	c #Conflicts:      48000 | #Constraints:     663166
97.14/97.43	c #Conflicts:      49000 | #Constraints:     664166
97.14/97.43	c #Conflicts:      50000 | #Constraints:     665166
97.14/97.43	c #Conflicts:      51000 | #Constraints:     666166
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      52000 | #Constraints:     662565
97.14/97.43	c #Conflicts:      53000 | #Constraints:     663565
97.14/97.43	c #Conflicts:      54000 | #Constraints:     664565
97.14/97.43	c #Conflicts:      55000 | #Constraints:     665565
97.14/97.43	c #Conflicts:      56000 | #Constraints:     666565
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      57000 | #Constraints:     662771
97.14/97.43	c #Conflicts:      58000 | #Constraints:     663771
97.14/97.43	c #Conflicts:      59000 | #Constraints:     664771
97.14/97.43	c #Conflicts:      60000 | #Constraints:     665771
97.14/97.43	c #Conflicts:      61000 | #Constraints:     666771
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      62000 | #Constraints:     662779
97.14/97.43	c #Conflicts:      63000 | #Constraints:     663779
97.14/97.43	c #Conflicts:      64000 | #Constraints:     664779
97.14/97.43	c #Conflicts:      65000 | #Constraints:     665779
97.14/97.43	c #Conflicts:      66000 | #Constraints:     666779
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
97.14/97.43	c #Conflicts:      67000 | #Constraints:     662579
97.14/97.43	c #Conflicts:      68000 | #Constraints:     663579
97.14/97.43	c #Conflicts:      69000 | #Constraints:     664579
97.14/97.43	c #Conflicts:      70000 | #Constraints:     665579
97.14/97.43	c #Conflicts:      71000 | #Constraints:     666579
97.14/97.43	c #Conflicts:      72000 | #Constraints:     667579
97.14/97.43	c INPROCESSING
97.14/97.43	c GARBAGE COLLECT
159.59/160.08	c #Conflicts:      73000 | #Constraints:     663179
159.59/160.08	c #Conflicts:      74000 | #Constraints:     664179
159.59/160.08	c #Conflicts:      75000 | #Constraints:     665179
159.59/160.08	c #Conflicts:      76000 | #Constraints:     666179
159.59/160.08	c #Conflicts:      77000 | #Constraints:     667179
159.59/160.08	c #Conflicts:      78000 | #Constraints:     668179
159.59/160.08	c INPROCESSING
159.59/160.08	c GARBAGE COLLECT
159.59/160.08	c #Conflicts:      79000 | #Constraints:     663574
159.59/160.08	c #Conflicts:      80000 | #Constraints:     664574
159.59/160.08	c #Conflicts:      81000 | #Constraints:     665574
159.59/160.08	c #Conflicts:      82000 | #Constraints:     666574
159.59/160.08	c #Conflicts:      83000 | #Constraints:     667574
159.59/160.08	c #Conflicts:      84000 | #Constraints:     668574
159.59/160.08	c INPROCESSING
159.59/160.08	c GARBAGE COLLECT
159.59/160.08	c #Conflicts:      85000 | #Constraints:     663780
159.59/160.08	c #Conflicts:      86000 | #Constraints:     664780
159.59/160.08	c #Conflicts:      87000 | #Constraints:     665780
159.59/160.08	c #Conflicts:      88000 | #Constraints:     666780
159.59/160.08	c #Conflicts:      89000 | #Constraints:     667780
159.59/160.08	c #Conflicts:      90000 | #Constraints:     668780
159.59/160.08	c INPROCESSING
159.59/160.08	c GARBAGE COLLECT
159.59/160.08	c #Conflicts:      91000 | #Constraints:     663779
159.59/160.08	c #Conflicts:      92000 | #Constraints:     664779
159.59/160.08	c #Conflicts:      93000 | #Constraints:     665779
159.59/160.08	c #Conflicts:      94000 | #Constraints:     666779
159.59/160.08	c #Conflicts:      95000 | #Constraints:     667779
159.59/160.08	c #Conflicts:      96000 | #Constraints:     668779
159.59/160.08	c INPROCESSING
159.59/160.08	c GARBAGE COLLECT
159.59/160.08	c #Conflicts:      97000 | #Constraints:     663582
159.59/160.08	c #Conflicts:      98000 | #Constraints:     664582
159.59/160.08	c #Conflicts:      99000 | #Constraints:     665582
159.59/160.08	c #Conflicts:     100000 | #Constraints:     666582
159.59/160.08	c #Conflicts:     101000 | #Constraints:     667582
159.59/160.08	c #Conflicts:     102000 | #Constraints:     668582
159.59/160.08	c #Conflicts:     103000 | #Constraints:     669582
159.59/160.08	c INPROCESSING
159.59/160.08	c GARBAGE COLLECT
159.59/160.08	c #Conflicts:     104000 | #Constraints:     664171
159.59/160.08	c #Conflicts:     105000 | #Constraints:     665171
159.59/160.08	c #Conflicts:     106000 | #Constraints:     666171
159.59/160.08	c #Conflicts:     107000 | #Constraints:     667171
159.59/160.08	c #Conflicts:     108000 | #Constraints:     668171
159.59/160.08	c #Conflicts:     109000 | #Constraints:     669171
159.59/160.08	c #Conflicts:     110000 | #Constraints:     670171
159.59/160.08	c INPROCESSING
159.59/160.08	c GARBAGE COLLECT
159.59/160.08	c #Conflicts:     111000 | #Constraints:     664577
159.59/160.08	c #Conflicts:     112000 | #Constraints:     665577
159.59/160.08	c #Conflicts:     113000 | #Constraints:     666577
159.59/160.08	c bounds 310 >= 0 @ 156.33
159.59/160.08	c stratification level: 5
820.58/822.73	c bounds 310 >= 5 @ 156.333
820.58/822.73	c #Conflicts:     114000 | #Constraints:     667581
820.58/822.73	c #Conflicts:     115000 | #Constraints:     668581
820.58/822.73	c #Conflicts:     116000 | #Constraints:     669581
820.58/822.73	c #Conflicts:     117000 | #Constraints:     670581
820.58/822.73	c INPROCESSING
820.58/822.73	c GARBAGE COLLECT
820.58/822.73	c bounds 310 >= 10 @ 165.192
820.58/822.73	c #Conflicts:     118000 | #Constraints:     664783
820.58/822.73	c #Conflicts:     119000 | #Constraints:     665783
820.58/822.73	c #Conflicts:     120000 | #Constraints:     666783
820.58/822.73	c #Conflicts:     121000 | #Constraints:     667783
820.58/822.73	c #Conflicts:     122000 | #Constraints:     668783
820.58/822.73	c #Conflicts:     123000 | #Constraints:     669783
820.58/822.73	c #Conflicts:     124000 | #Constraints:     670783
820.58/822.73	c INPROCESSING
820.58/822.73	c GARBAGE COLLECT
820.58/822.73	c #Conflicts:     125000 | #Constraints:     664755
820.58/822.73	c #Conflicts:     126000 | #Constraints:     665755
820.58/822.73	c #Conflicts:     127000 | #Constraints:     666755
820.58/822.73	c #Conflicts:     128000 | #Constraints:     667755
820.58/822.73	c #Conflicts:     129000 | #Constraints:     668755
820.58/822.73	c #Conflicts:     130000 | #Constraints:     669755
820.58/822.73	c #Conflicts:     131000 | #Constraints:     670755
820.58/822.73	c INPROCESSING
820.58/822.73	c GARBAGE COLLECT
820.58/822.73	c #Conflicts:     132000 | #Constraints:     664539
820.58/822.73	c #Conflicts:     133000 | #Constraints:     665539
820.58/822.73	c #Conflicts:     134000 | #Constraints:     666539
820.58/822.73	c #Conflicts:     135000 | #Constraints:     667539
820.58/822.73	c #Conflicts:     136000 | #Constraints:     668539
820.58/822.73	c #Conflicts:     137000 | #Constraints:     669539
820.58/822.73	c #Conflicts:     138000 | #Constraints:     670539
820.58/822.73	c #Conflicts:     139000 | #Constraints:     671539
820.58/822.73	c INPROCESSING
820.58/822.73	c GARBAGE COLLECT
820.58/822.73	c #Conflicts:     140000 | #Constraints:     665136
820.58/822.73	c #Conflicts:     141000 | #Constraints:     666136
820.58/822.73	c #Conflicts:     142000 | #Constraints:     667136
820.58/822.73	c #Conflicts:     143000 | #Constraints:     668136
820.58/822.73	c #Conflicts:     144000 | #Constraints:     669136
820.58/822.73	c #Conflicts:     145000 | #Constraints:     670136
820.58/822.73	c #Conflicts:     146000 | #Constraints:     671136
820.58/822.73	c #Conflicts:     147000 | #Constraints:     672136
820.58/822.73	c INPROCESSING
820.58/822.73	c GARBAGE COLLECT
820.58/822.73	c #Conflicts:     148000 | #Constraints:     665537
820.58/822.73	c #Conflicts:     149000 | #Constraints:     666537
820.58/822.73	c #Conflicts:     150000 | #Constraints:     667537
820.58/822.73	c #Conflicts:     151000 | #Constraints:     668537
820.58/822.73	c #Conflicts:     152000 | #Constraints:     669537
820.58/822.73	c #Conflicts:     153000 | #Constraints:     670537
820.58/822.73	c #Conflicts:     154000 | #Constraints:     671537
820.58/822.73	c #Conflicts:     155000 | #Constraints:     672537
820.58/822.73	c INPROCESSING
820.58/822.73	c GARBAGE COLLECT
820.58/822.73	c #Conflicts:     156000 | #Constraints:     665729
820.58/822.73	c #Conflicts:     157000 | #Constraints:     666729
820.58/822.73	c #Conflicts:     158000 | #Constraints:     667729
820.58/822.73	c #Conflicts:     159000 | #Constraints:     668729
820.58/822.73	c #Conflicts:     160000 | #Constraints:     669729
820.58/822.73	c #Conflicts:     161000 | #Constraints:     670729
820.58/822.73	c #Conflicts:     162000 | #Constraints:     671729
820.58/822.73	c #Conflicts:     163000 | #Constraints:     672729
820.58/822.73	c INPROCESSING
820.58/822.73	c GARBAGE COLLECT
820.58/822.73	c #Conflicts:     164000 | #Constraints:     665728
820.58/822.73	c #Conflicts:     165000 | #Constraints:     666728
820.58/822.73	c #Conflicts:     166000 | #Constraints:     667728
820.58/822.73	c #Conflicts:     167000 | #Constraints:     668728
820.58/822.73	c #Conflicts:     168000 | #Constraints:     669728
820.58/822.73	c #Conflicts:     169000 | #Constraints:     670728
820.58/822.73	c #Conflicts:     170000 | #Constraints:     671728
820.58/822.73	c #Conflicts:     171000 | #Constraints:     672728
820.58/822.73	c INPROCESSING
820.58/822.73	c GARBAGE COLLECT
820.58/822.73	c #Conflicts:     172000 | #Constraints:     665523
820.58/822.73	c #Conflicts:     173000 | #Constraints:     666523
820.58/822.73	c #Conflicts:     174000 | #Constraints:     667523
820.58/822.73	c #Conflicts:     175000 | #Constraints:     668523
820.58/822.73	c #Conflicts:     176000 | #Constraints:     669523
820.58/822.73	c #Conflicts:     177000 | #Constraints:     670523
820.58/822.73	c #Conflicts:     178000 | #Constraints:     671523
820.58/822.73	c #Conflicts:     179000 | #Constraints:     672523
820.58/822.73	c #Conflicts:     180000 | #Constraints:     673523
820.58/822.73	c INPROCESSING
820.58/822.73	c GARBAGE COLLECT
820.58/822.73	c #Conflicts:     181000 | #Constraints:     666126
820.58/822.73	c #Conflicts:     182000 | #Constraints:     667126
820.58/822.73	c #Conflicts:     183000 | #Constraints:     668126
820.58/822.73	c #Conflicts:     184000 | #Constraints:     669126
820.58/822.73	c #Conflicts:     185000 | #Constraints:     670126
1778.73/1783.07	c #Conflicts:     186000 | #Constraints:     671126
1778.73/1783.07	c #Conflicts:     187000 | #Constraints:     672126
1778.73/1783.07	c #Conflicts:     188000 | #Constraints:     673126
1778.73/1783.07	c #Conflicts:     189000 | #Constraints:     674126
1778.73/1783.07	c INPROCESSING
1778.73/1783.07	c GARBAGE COLLECT
1778.73/1783.07	c #Conflicts:     190000 | #Constraints:     666538
1778.73/1783.07	c #Conflicts:     191000 | #Constraints:     667538
1778.73/1783.07	c #Conflicts:     192000 | #Constraints:     668538
1778.73/1783.07	c #Conflicts:     193000 | #Constraints:     669538
1778.73/1783.07	c #Conflicts:     194000 | #Constraints:     670538
1778.73/1783.07	c #Conflicts:     195000 | #Constraints:     671538
1778.73/1783.07	c #Conflicts:     196000 | #Constraints:     672538
1778.73/1783.07	c #Conflicts:     197000 | #Constraints:     673538
1778.73/1783.07	c #Conflicts:     198000 | #Constraints:     674538
1778.73/1783.07	c INPROCESSING
1778.73/1783.07	c GARBAGE COLLECT
1778.73/1783.07	c #Conflicts:     199000 | #Constraints:     666736
1778.73/1783.07	c #Conflicts:     200000 | #Constraints:     667736
1778.73/1783.07	c #Conflicts:     201000 | #Constraints:     668736
1778.73/1783.07	c #Conflicts:     202000 | #Constraints:     669736
1778.73/1783.07	c #Conflicts:     203000 | #Constraints:     670736
1778.73/1783.07	c #Conflicts:     204000 | #Constraints:     671736
1778.73/1783.07	c #Conflicts:     205000 | #Constraints:     672736
1778.73/1783.07	c #Conflicts:     206000 | #Constraints:     673736
1778.73/1783.07	c #Conflicts:     207000 | #Constraints:     674736
1778.73/1783.07	c INPROCESSING
1778.73/1783.07	c GARBAGE COLLECT
1778.73/1783.07	c #Conflicts:     208000 | #Constraints:     666729
1778.73/1783.07	c #Conflicts:     209000 | #Constraints:     667729
1778.73/1783.07	c #Conflicts:     210000 | #Constraints:     668729
1778.73/1783.07	c #Conflicts:     211000 | #Constraints:     669729
1778.73/1783.07	c #Conflicts:     212000 | #Constraints:     670729
1778.73/1783.07	c #Conflicts:     213000 | #Constraints:     671729
1778.73/1783.07	c #Conflicts:     214000 | #Constraints:     672729
1778.73/1783.07	c #Conflicts:     215000 | #Constraints:     673729
1778.73/1783.07	c #Conflicts:     216000 | #Constraints:     674729
1778.73/1783.07	c INPROCESSING
1778.73/1783.07	c GARBAGE COLLECT
1778.73/1783.07	c #Conflicts:     217000 | #Constraints:     666525
1778.73/1783.07	c #Conflicts:     218000 | #Constraints:     667525
1778.73/1783.07	c #Conflicts:     219000 | #Constraints:     668525
1778.73/1783.07	c #Conflicts:     220000 | #Constraints:     669525
1778.73/1783.07	c #Conflicts:     221000 | #Constraints:     670525
1778.73/1783.07	c #Conflicts:     222000 | #Constraints:     671525
1778.73/1783.07	c #Conflicts:     223000 | #Constraints:     672525
1778.73/1783.07	c #Conflicts:     224000 | #Constraints:     673525
1778.73/1783.07	c #Conflicts:     225000 | #Constraints:     674525
1778.73/1783.07	c #Conflicts:     226000 | #Constraints:     675525
1778.73/1783.07	c INPROCESSING
1778.73/1783.07	c GARBAGE COLLECT
1778.73/1783.07	c #Conflicts:     227000 | #Constraints:     667128
1778.73/1783.07	c #Conflicts:     228000 | #Constraints:     668128
1778.73/1783.07	c #Conflicts:     229000 | #Constraints:     669128
1778.73/1783.07	c #Conflicts:     230000 | #Constraints:     670128
1778.73/1783.07	c #Conflicts:     231000 | #Constraints:     671128
1778.73/1783.07	c #Conflicts:     232000 | #Constraints:     672128
1778.73/1783.07	c #Conflicts:     233000 | #Constraints:     673128
1778.73/1783.07	c #Conflicts:     234000 | #Constraints:     674128
1778.73/1783.07	c #Conflicts:     235000 | #Constraints:     675128
1778.73/1783.07	c #Conflicts:     236000 | #Constraints:     676128
1778.73/1783.07	c INPROCESSING
1778.73/1783.07	c GARBAGE COLLECT
1778.73/1783.07	c #Conflicts:     237000 | #Constraints:     667522
1778.73/1783.07	c #Conflicts:     238000 | #Constraints:     668522
1778.73/1783.07	c #Conflicts:     239000 | #Constraints:     669522
1778.73/1783.07	c #Conflicts:     240000 | #Constraints:     670522
1778.73/1783.07	c #Conflicts:     241000 | #Constraints:     671522
1778.73/1783.07	c #Conflicts:     242000 | #Constraints:     672522
1778.73/1783.07	c #Conflicts:     243000 | #Constraints:     673522
1778.73/1783.07	c #Conflicts:     244000 | #Constraints:     674522
1778.73/1783.07	c #Conflicts:     245000 | #Constraints:     675522
1778.73/1783.07	c #Conflicts:     246000 | #Constraints:     676522
1778.73/1783.07	c INPROCESSING
1778.73/1783.07	c GARBAGE COLLECT
1778.73/1783.07	c #Conflicts:     247000 | #Constraints:     667722
1778.73/1783.07	c #Conflicts:     248000 | #Constraints:     668722
1778.73/1783.07	c #Conflicts:     249000 | #Constraints:     669722
1778.73/1783.07	c #Conflicts:     250000 | #Constraints:     670722
1778.73/1783.07	c #Conflicts:     251000 | #Constraints:     671722
1778.73/1783.07	c #Conflicts:     252000 | #Constraints:     672722
1778.73/1783.07	c #Conflicts:     253000 | #Constraints:     673722
1778.73/1783.07	c #Conflicts:     254000 | #Constraints:     674722
1778.73/1783.07	c #Conflicts:     255000 | #Constraints:     675722
1778.73/1783.07	c #Conflicts:     256000 | #Constraints:     676722
1778.73/1783.07	c INPROCESSING
1778.73/1783.07	c GARBAGE COLLECT
1778.73/1783.07	c #Conflicts:     257000 | #Constraints:     667719
1778.73/1783.07	c #Conflicts:     258000 | #Constraints:     668719
1778.73/1783.07	c #Conflicts:     259000 | #Constraints:     669719
3145.58/3152.74	c #Conflicts:     260000 | #Constraints:     670719
3145.58/3152.74	c #Conflicts:     261000 | #Constraints:     671719
3145.58/3152.74	c #Conflicts:     262000 | #Constraints:     672719
3145.58/3152.74	c #Conflicts:     263000 | #Constraints:     673719
3145.58/3152.74	c #Conflicts:     264000 | #Constraints:     674719
3145.58/3152.74	c #Conflicts:     265000 | #Constraints:     675719
3145.58/3152.74	c #Conflicts:     266000 | #Constraints:     676719
3145.58/3152.74	c INPROCESSING
3145.58/3152.74	c GARBAGE COLLECT
3145.58/3152.74	c #Conflicts:     267000 | #Constraints:     667520
3145.58/3152.74	c #Conflicts:     268000 | #Constraints:     668520
3145.58/3152.74	c #Conflicts:     269000 | #Constraints:     669520
3145.58/3152.74	c #Conflicts:     270000 | #Constraints:     670520
3145.58/3152.74	c #Conflicts:     271000 | #Constraints:     671520
3145.58/3152.74	c #Conflicts:     272000 | #Constraints:     672520
3145.58/3152.74	c #Conflicts:     273000 | #Constraints:     673520
3145.58/3152.74	c #Conflicts:     274000 | #Constraints:     674520
3145.58/3152.74	c #Conflicts:     275000 | #Constraints:     675520
3145.58/3152.74	c #Conflicts:     276000 | #Constraints:     676520
3145.58/3152.74	c #Conflicts:     277000 | #Constraints:     677520
3145.58/3152.74	c INPROCESSING
3145.58/3152.74	c GARBAGE COLLECT
3145.58/3152.74	c #Conflicts:     278000 | #Constraints:     668118
3145.58/3152.74	c #Conflicts:     279000 | #Constraints:     669118
3145.58/3152.74	c #Conflicts:     280000 | #Constraints:     670118
3145.58/3152.74	c #Conflicts:     281000 | #Constraints:     671118
3145.58/3152.74	c #Conflicts:     282000 | #Constraints:     672118
3145.58/3152.74	c #Conflicts:     283000 | #Constraints:     673118
3145.58/3152.74	c #Conflicts:     284000 | #Constraints:     674118
3145.58/3152.74	c #Conflicts:     285000 | #Constraints:     675118
3145.58/3152.74	c #Conflicts:     286000 | #Constraints:     676118
3145.58/3152.74	c #Conflicts:     287000 | #Constraints:     677118
3145.58/3152.74	c #Conflicts:     288000 | #Constraints:     678118
3145.58/3152.74	c INPROCESSING
3145.58/3152.74	c GARBAGE COLLECT
3145.58/3152.74	c #Conflicts:     289000 | #Constraints:     668518
3145.58/3152.74	c #Conflicts:     290000 | #Constraints:     669518
3145.58/3152.74	c #Conflicts:     291000 | #Constraints:     670518
3145.58/3152.74	c #Conflicts:     292000 | #Constraints:     671518
3145.58/3152.74	c #Conflicts:     293000 | #Constraints:     672518
3145.58/3152.74	c #Conflicts:     294000 | #Constraints:     673518
3145.58/3152.74	c #Conflicts:     295000 | #Constraints:     674518
3145.58/3152.74	c #Conflicts:     296000 | #Constraints:     675518
3145.58/3152.74	c #Conflicts:     297000 | #Constraints:     676518
3145.58/3152.74	c #Conflicts:     298000 | #Constraints:     677518
3145.58/3152.74	c #Conflicts:     299000 | #Constraints:     678518
3145.58/3152.74	c INPROCESSING
3145.58/3152.74	c GARBAGE COLLECT
3145.58/3152.74	c #Conflicts:     300000 | #Constraints:     668716
3145.58/3152.74	c #Conflicts:     301000 | #Constraints:     669716
3145.58/3152.74	c #Conflicts:     302000 | #Constraints:     670716
3145.58/3152.74	c #Conflicts:     303000 | #Constraints:     671716
3145.58/3152.74	c #Conflicts:     304000 | #Constraints:     672716
3145.58/3152.74	c #Conflicts:     305000 | #Constraints:     673716
3145.58/3152.74	c #Conflicts:     306000 | #Constraints:     674716
3145.58/3152.74	c #Conflicts:     307000 | #Constraints:     675716
3145.58/3152.74	c #Conflicts:     308000 | #Constraints:     676716
3145.58/3152.74	c #Conflicts:     309000 | #Constraints:     677716
3145.58/3152.74	c #Conflicts:     310000 | #Constraints:     678716
3145.58/3152.74	c INPROCESSING
3145.58/3152.74	c GARBAGE COLLECT
3145.58/3152.74	c #Conflicts:     311000 | #Constraints:     668717
3145.58/3152.74	c #Conflicts:     312000 | #Constraints:     669717
3145.58/3152.74	c #Conflicts:     313000 | #Constraints:     670717
3145.58/3152.74	c #Conflicts:     314000 | #Constraints:     671717
3145.58/3152.74	c #Conflicts:     315000 | #Constraints:     672717
3145.58/3152.74	c #Conflicts:     316000 | #Constraints:     673717
3145.58/3152.74	c #Conflicts:     317000 | #Constraints:     674717
3145.58/3152.74	c #Conflicts:     318000 | #Constraints:     675717
3145.58/3152.74	c #Conflicts:     319000 | #Constraints:     676717
3145.58/3152.74	c #Conflicts:     320000 | #Constraints:     677717
3145.58/3152.74	c #Conflicts:     321000 | #Constraints:     678717
3145.58/3152.74	c INPROCESSING
3145.58/3152.74	c GARBAGE COLLECT
3145.58/3152.74	c #Conflicts:     322000 | #Constraints:     668519
3145.58/3152.74	c #Conflicts:     323000 | #Constraints:     669519
3145.58/3152.74	c #Conflicts:     324000 | #Constraints:     670519
3145.58/3152.74	c #Conflicts:     325000 | #Constraints:     671519
3145.58/3152.74	c #Conflicts:     326000 | #Constraints:     672519
3145.58/3152.74	c #Conflicts:     327000 | #Constraints:     673519
3145.58/3152.74	c #Conflicts:     328000 | #Constraints:     674519
3145.58/3152.74	c #Conflicts:     329000 | #Constraints:     675519
3145.58/3152.74	c #Conflicts:     330000 | #Constraints:     676519
3145.58/3152.74	c #Conflicts:     331000 | #Constraints:     677519
3145.58/3152.74	c #Conflicts:     332000 | #Constraints:     678519
3145.58/3152.74	c #Conflicts:     333000 | #Constraints:     679519
3145.58/3152.74	c INPROCESSING
3145.58/3152.74	c GARBAGE COLLECT
3600.07/3608.10	c #Conflicts:     334000 | #Constraints:     669125
3600.07/3608.10	c #Conflicts:     335000 | #Constraints:     670125
3600.07/3608.10	c #Conflicts:     336000 | #Constraints:     671125
3600.07/3608.10	c #Conflicts:     337000 | #Constraints:     672125
3600.07/3608.10	c #Conflicts:     338000 | #Constraints:     673125
3600.07/3608.10	c #Conflicts:     339000 | #Constraints:     674125
3600.07/3608.10	c #Conflicts:     340000 | #Constraints:     675125
3600.07/3608.10	c #Conflicts:     341000 | #Constraints:     676125
3600.07/3608.10	c #Conflicts:     342000 | #Constraints:     677125
3600.07/3608.10	c #Conflicts:     343000 | #Constraints:     678125
3600.07/3608.10	c #Conflicts:     344000 | #Constraints:     679125
3600.07/3608.10	c #Conflicts:     345000 | #Constraints:     680125
3600.07/3608.10	c INPROCESSING
3600.07/3608.10	c GARBAGE COLLECT
3600.07/3608.10	c #Conflicts:     346000 | #Constraints:     669521
3600.07/3608.10	c #Conflicts:     347000 | #Constraints:     670521
3600.07/3608.10	c #Conflicts:     348000 | #Constraints:     671521
3600.07/3608.10	c #Conflicts:     349000 | #Constraints:     672521
3600.07/3608.10	c #Conflicts:     350000 | #Constraints:     673521
3600.07/3608.10	c #Conflicts:     351000 | #Constraints:     674521
3600.07/3608.10	c #Conflicts:     352000 | #Constraints:     675521
3600.07/3608.10	c #Conflicts:     353000 | #Constraints:     676521
3600.07/3608.10	c #Conflicts:     354000 | #Constraints:     677521
3600.07/3608.10	c #Conflicts:     355000 | #Constraints:     678521
3600.07/3608.10	c #Conflicts:     356000 | #Constraints:     679521
3600.07/3608.10	c #Conflicts:     357000 | #Constraints:     680521
3600.07/3608.10	c INPROCESSING
3600.07/3608.10	c GARBAGE COLLECT
3600.07/3608.10	c #Conflicts:     358000 | #Constraints:     669719
3600.07/3608.10	c #Conflicts:     359000 | #Constraints:     670719
3600.07/3608.10	c #Conflicts:     360000 | #Constraints:     671719
3600.07/3608.10	c #Conflicts:     361000 | #Constraints:     672719
3600.07/3608.10	c #Conflicts:     362000 | #Constraints:     673719
3600.07/3608.10	c #Conflicts:     363000 | #Constraints:     674719
3600.07/3608.10	c #Conflicts:     364000 | #Constraints:     675719
3600.07/3608.10	c #Conflicts:     365000 | #Constraints:     676719
3600.07/3608.10	c #Conflicts:     366000 | #Constraints:     677719
3600.07/3608.10	c #Conflicts:     367000 | #Constraints:     678719
3600.07/3608.10	c #Conflicts:     368000 | #Constraints:     679719
3600.07/3608.10	c #Conflicts:     369000 | #Constraints:     680719
3600.07/3608.10	c INPROCESSING
3600.07/3608.10	c GARBAGE COLLECT
3600.07/3608.10	c #Conflicts:     370000 | #Constraints:     669718
3600.07/3608.10	c Program interrupted by user.
3600.07/3608.10	c cpu time 3588.27 s
3600.07/3608.10	c deterministic time 1083519464907 1.08e+12
3600.07/3608.10	c optimization time 15.8524 s
3600.07/3608.10	c total solve time 3571.34 s
3600.07/3608.10	c core-guided solve time 3571.34 s
3600.07/3608.10	c propagation time 2533.6 s
3600.07/3608.10	c conflict analysis time 878.073 s
3600.07/3608.10	c propagations 67244795
3600.07/3608.10	c resolve steps 5457847
3600.07/3608.10	c decisions 10538431
3600.07/3608.10	c conflicts 370664
3600.07/3608.10	c restarts 891
3600.07/3608.10	c inprocessing phases 52
3600.07/3608.10	c input clauses 656900
3600.07/3608.10	c input cardinalities 0
3600.07/3608.10	c input general constraints 95
3600.07/3608.10	c input average constraint length 3.48
3600.07/3608.10	c input average constraint degree 69.76
3600.07/3608.10	c learned clauses 141798
3600.07/3608.10	c learned cardinalities 0
3600.07/3608.10	c learned general constraints 228867
3600.07/3608.10	c learned average constraint length 6120.14
3600.07/3608.10	c learned average constraint degree 20675602.09
3600.07/3608.10	c watched constraints 1490
3600.07/3608.10	c counting constraints 227472
3600.07/3608.10	c gcd simplifications 2271
3600.07/3608.10	c detected cardinalities 0
3600.07/3608.10	c weakened non-implied lits 434237421
3600.07/3608.10	c weakened non-implying lits 86887
3600.07/3608.10	c original variables 10000
3600.07/3608.10	c clausal propagations 24775986
3600.07/3608.10	c cardinality propagations 0
3600.07/3608.10	c watched propagations 7124
3600.07/3608.10	c counting propagations 40946479
3600.07/3608.10	c watch lookups 13905810325
3600.07/3608.10	c watch backjump lookups 13836762700
3600.07/3608.10	c watch checks 4126946629
3600.07/3608.10	c propagation checks 1045970925486
3600.07/3608.10	c constraint additions 5523092237
3600.07/3608.10	c trail pops 78144303
3600.07/3608.10	c formula constraints 656900
3600.07/3608.10	c learned constraints 370665
3600.07/3608.10	c bound constraints 95
3600.07/3608.10	c core-guided constraints 0
3600.07/3608.10	c encountered formula constraints 4399344
3600.07/3608.10	c encountered learned constraints 1427249
3600.07/3608.10	c encountered bound constraints 1918
3600.07/3608.10	c encountered core-guided constraints 0
3600.07/3608.10	c LP total time 0 s
3600.07/3608.10	c LP solve time 0 s
3600.07/3608.10	c LP constraints added 0
3600.07/3608.10	c LP constraints removed 0
3600.07/3608.10	c LP pivots internal 0
3600.07/3608.10	c LP pivots root 0
3600.07/3608.10	c LP calls 0
3600.07/3608.10	c LP optimalities 0
3600.07/3608.10	c LP no pivot count 0
3600.07/3608.10	c LP infeasibilities 0
3600.07/3608.10	c LP valid Farkas constraints 0
3600.07/3608.10	c LP learned Farkas constraints 0
3600.07/3608.10	c LP basis resets 0
3600.07/3608.10	c LP cycling count 0
3600.07/3608.10	c LP singular count 0
3600.07/3608.10	c LP no primal count 0
3600.07/3608.10	c LP no farkas count 0
3600.07/3608.10	c LP other issue count 0
3600.07/3608.10	c LP Gomory cuts 0
3600.07/3608.10	c LP learned cuts 0
3600.07/3608.10	c LP deleted cuts 0
3600.07/3608.10	c LP encountered Gomory constraints 0
3600.07/3608.10	c LP encountered Farkas constraints 0
3600.07/3608.10	c LP encountered learned Farkas constraints 0
3600.07/3608.10	c CG auxiliary variables introduced 0
3600.07/3608.10	c CG solutions found 93
3600.07/3608.10	c CG cores constructed 2
3600.07/3608.10	c CG core cardinality constraints returned 0
3600.07/3608.10	c CG unit cores 0
3600.07/3608.10	c CG single cores 2
3600.07/3608.10	c CG blocks removed during cardinality reduction 0
3600.07/3608.10	c CG first core best 0
3600.07/3608.10	c CG decision core best 0
3600.07/3608.10	c CG core reduction tie 0
3600.07/3608.10	c CG core degree average 1.00
3600.07/3608.10	c CG core slack average 4799.00
3600.07/3608.10	c CG exhausted 0
3600.07/3608.10	c CG exhaust time 0 s
3600.07/3608.10	c CG trimmed 0
3600.07/3608.10	c CG trim time 0.004705 s
3600.07/3608.10	c CG minimized 0
3600.07/3608.10	c CG minimize time 0 s
3600.07/3608.10	c CG am1 prop time 0.013074 s
3600.07/3608.10	c CG # am1s reformulated 0
3600.07/3608.10	c CG lower bound derived from am1s 0
3600.07/3608.10	c CG # clausal cores 2
3600.07/3608.10	c CG # cardinality cores 0
3600.07/3608.10	c CG # pb cores 0
3600.07/3608.10	c CG # pb reforms 0
3600.07/3608.10	c CG # cores discarded because of pb reform 0
3600.07/3608.10	d LOWERBOUND 10
3600.07/3608.10	d NCORES 2
3600.07/3608.10	d NPBCORES 0
3600.07/3608.10	d NPBREFORM 0
3600.07/3608.10	d NTRIMMED 0
3600.07/3608.10	d NEXHAUSTED 0
3600.07/3608.10	d NAM1S 0
3600.07/3608.10	d AM1LB 0
3600.07/3608.10	o 310
3600.07/3608.10	s SATISFIABLE
3600.07/3608.10	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 x8983 -x8984 -x8985 -x8986 x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000

Verifier Data 

OK	310

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: 63931 MiB (62511 MiB free)
  memory of node 1: 64510 MiB (63095 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454317-1721470186/watcher-4454317-1721470186 -o /tmp/evaluation-result-4454317-1721470186/solver-4454317-1721470186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721470199-1075351 --watchdog 3760 pb-oll-rs HOME/instance-4454317-1721470186.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1075408, runsolver pid=1075395

[startup+0.100622 s]*
/proc/loadavg: 1.10 1.21 2.14 8/256 1075414
/proc/meminfo: memFree=128593324/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=44968 memory=11744 CPUtime=0.11 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 1792 0 0 0 8 3 0 0 20 0 1 0 199186043 46047232 2936 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 11242 2936 1178 291 0 2776 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 44968 KiB
Current children cumulated memory: 11744 KiB

[startup+0.215647 s]*
/proc/loadavg: 1.10 1.21 2.14 5/256 1075414
/proc/meminfo: memFree=128584564/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=46156 memory=13592 CPUtime=0.21 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 2301 0 0 0 15 6 0 0 20 0 1 0 199186043 47263744 3398 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 11539 3398 1178 291 0 3073 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46156 KiB
Current children cumulated memory: 13592 KiB

[startup+0.304577 s]*
/proc/loadavg: 1.10 1.21 2.14 6/256 1075414
/proc/meminfo: memFree=128573676/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=49008 memory=15564 CPUtime=0.3 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 2790 0 0 0 22 8 0 0 20 0 1 0 199186043 50184192 3891 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 12252 3891 1178 291 0 3786 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49008 KiB
Current children cumulated memory: 15564 KiB

[startup+0.700161 s]
/proc/loadavg: 1.10 1.21 2.14 6/256 1075414
/proc/meminfo: memFree=128550964/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=65624 memory=28168 CPUtime=0.69 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 5387 0 0 0 52 17 0 0 20 0 1 0 199186043 67198976 7042 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 16406 7042 1178 291 0 7940 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65624 KiB
Current children cumulated memory: 28168 KiB

[startup+1.50017 s]
/proc/loadavg: 1.10 1.21 2.14 8/256 1075414
/proc/meminfo: memFree=128493880/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=86144 memory=52576 CPUtime=1.48 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 8449 0 0 0 106 42 0 0 20 0 1 0 199186043 88211456 13144 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 21536 13144 1178 291 0 13070 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86144 KiB
Current children cumulated memory: 52576 KiB

[startup+3.10624 s]
/proc/loadavg: 1.34 1.26 2.15 8/256 1075414
/proc/meminfo: memFree=128301556/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=129744 memory=93716 CPUtime=3.09 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 14609 0 0 0 230 79 0 0 20 0 1 0 199186043 132857856 23429 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 32436 23429 1367 291 0 23970 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 129744 KiB
Current children cumulated memory: 93716 KiB

[startup+6.30017 s]
/proc/loadavg: 1.34 1.26 2.15 8/256 1075416
/proc/meminfo: memFree=128179528/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=178960 memory=121676 CPUtime=6.27 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 21042 0 0 0 532 95 0 0 20 0 1 0 199186043 183255040 30419 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 44740 30419 1421 291 0 36274 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 178960 KiB
Current children cumulated memory: 121676 KiB

[startup+12.7002 s]
/proc/loadavg: 1.55 1.30 2.16 8/256 1075416
/proc/meminfo: memFree=128126676/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=184900 memory=136896 CPUtime=12.66 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 22846 0 0 0 1153 113 0 0 20 0 1 0 199186043 189337600 34224 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 46225 34224 1421 291 0 37759 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 184900 KiB
Current children cumulated memory: 136896 KiB

[startup+25.5002 s]
/proc/loadavg: 2.09 1.43 2.19 8/258 1075423
/proc/meminfo: memFree=128070084/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=185032 memory=151392 CPUtime=25.43 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 22924 0 0 0 2410 133 0 0 20 0 1 0 199186043 189472768 37848 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 46258 37848 1421 291 0 37792 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 185032 KiB
Current children cumulated memory: 151392 KiB

[startup+51.1063 s]
/proc/loadavg: 2.80 1.66 2.25 8/258 1075426
/proc/meminfo: memFree=128003732/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=235384 memory=161020 CPUtime=50.96 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 23332 0 0 0 4915 181 0 0 20 0 1 0 199186043 241033216 40255 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 58846 40255 1421 291 0 50380 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 235384 KiB
Current children cumulated memory: 161020 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.04 2.34 8/258 1075434
/proc/meminfo: memFree=127920676/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=235648 memory=181696 CPUtime=102.03 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 23447 0 0 0 9926 277 0 0 20 0 1 0 199186043 241303552 45424 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 58912 45424 1421 291 0 50446 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 235648 KiB
Current children cumulated memory: 181696 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.41 2.46 8/258 1075445
/proc/meminfo: memFree=127843276/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=236176 memory=202752 CPUtime=161.87 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 23604 0 0 0 15846 341 0 0 20 0 1 0 199186043 241844224 50688 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 59044 50688 1421 291 0 50578 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 236176 KiB
Current children cumulated memory: 202752 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.72 2.56 8/258 1075456
/proc/meminfo: memFree=126950652/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=1242212 memory=1047268 CPUtime=221.71 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 160374 0 0 0 21765 406 0 0 20 0 1 0 199186043 1272025088 261817 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 310553 261817 1421 291 0 302087 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1242212 KiB
Current children cumulated memory: 1047268 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 2.99 2.66 8/257 1075466
/proc/meminfo: memFree=126238348/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=2149792 memory=1681180 CPUtime=281.55 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 261254 0 0 0 27700 455 0 0 20 0 1 0 199186043 2201387008 420295 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 537448 420295 1421 291 0 528982 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 2149792 KiB
Current children cumulated memory: 1681180 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.19 2.76 8/254 1075476
/proc/meminfo: memFree=125772160/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=2807188 memory=2111228 CPUtime=341.39 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 307816 0 0 0 33653 486 0 0 20 0 1 0 199186043 2874560512 527807 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 701797 527807 1421 291 0 693331 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 2807188 KiB
Current children cumulated memory: 2111228 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.37 2.85 8/254 1075487
/proc/meminfo: memFree=125732452/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=2807188 memory=2111228 CPUtime=401.22 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 309434 0 0 0 39627 495 0 0 20 0 1 0 199186043 2874560512 527807 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 701797 527807 1421 291 0 693331 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 2807188 KiB
Current children cumulated memory: 2111228 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 3.52 2.93 8/254 1075497
/proc/meminfo: memFree=125651424/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=2813076 memory=2170476 CPUtime=461.05 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 315724 0 0 0 45578 527 0 0 20 0 1 0 199186043 2880589824 542619 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0

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

Current children cumulated memory: 4114696 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.05 8/258 1077111
/proc/meminfo: memFree=118953904/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5026272 memory=4126528 CPUtime=2915.62 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 602462 0 0 0 290510 1052 0 0 20 0 1 0 199186043 5146902528 1031632 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1256568 1031632 1421 291 0 1248102 0
Current children cumulated CPU time: 2915.62 s
Current children cumulated vsize: 5026272 KiB
Current children cumulated memory: 4126528 KiB

[startup+2982.3 s]
/proc/loadavg: 4.05 4.09 4.05 8/258 1077121
/proc/meminfo: memFree=118951340/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5026272 memory=4126528 CPUtime=2975.5 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 604409 0 0 0 296495 1055 0 0 20 0 1 0 199186043 5146902528 1031632 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1256568 1031632 1421 291 0 1248102 0
Current children cumulated CPU time: 2975.5 s
Current children cumulated vsize: 5026272 KiB
Current children cumulated memory: 4126528 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.05 8/258 1077133
/proc/meminfo: memFree=118951172/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5026272 memory=4126528 CPUtime=3035.39 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 606299 0 0 0 302482 1057 0 0 20 0 1 0 199186043 5146902528 1031632 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1256568 1031632 1421 291 0 1248102 0
Current children cumulated CPU time: 3035.39 s
Current children cumulated vsize: 5026272 KiB
Current children cumulated memory: 4126528 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.05 8/257 1077155
/proc/meminfo: memFree=118932060/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5026272 memory=4126528 CPUtime=3095.27 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 608235 0 0 0 308468 1059 0 0 20 0 1 0 199186043 5146902528 1031632 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1256568 1031632 1421 291 0 1248102 0
Current children cumulated CPU time: 3095.27 s
Current children cumulated vsize: 5026272 KiB
Current children cumulated memory: 4126528 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.05 8/257 1077165
/proc/meminfo: memFree=118921512/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5026272 memory=4126528 CPUtime=3155.16 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 611144 0 0 0 314450 1066 0 0 20 0 1 0 199186043 5146902528 1031632 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1256568 1031632 1421 291 0 1248102 0
Current children cumulated CPU time: 3155.16 s
Current children cumulated vsize: 5026272 KiB
Current children cumulated memory: 4126528 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.05 8/255 1077176
/proc/meminfo: memFree=118898068/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5026272 memory=4126528 CPUtime=3215.03 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 612861 0 0 0 320418 1085 0 0 20 0 1 0 199186043 5146902528 1031632 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1256568 1031632 1421 291 0 1248102 0
Current children cumulated CPU time: 3215.03 s
Current children cumulated vsize: 5026272 KiB
Current children cumulated memory: 4126528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.05 8/255 1077188
/proc/meminfo: memFree=118894788/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5026272 memory=4126528 CPUtime=3274.92 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 614773 0 0 0 326389 1103 0 0 20 0 1 0 199186043 5146902528 1031632 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1256568 1031632 1421 291 0 1248102 0
Current children cumulated CPU time: 3274.92 s
Current children cumulated vsize: 5026272 KiB
Current children cumulated memory: 4126528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.05 8/254 1077198
/proc/meminfo: memFree=118892424/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5026272 memory=4126544 CPUtime=3334.8 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 617507 0 0 0 332364 1116 0 0 20 0 1 0 199186043 5146902528 1031636 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1256568 1031636 1421 291 0 1248102 0
Current children cumulated CPU time: 3334.8 s
Current children cumulated vsize: 5026272 KiB
Current children cumulated memory: 4126544 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.05 8/254 1077208
/proc/meminfo: memFree=118861124/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5026272 memory=4126544 CPUtime=3394.68 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 619495 0 0 0 338340 1128 0 0 20 0 1 0 199186043 5146902528 1031636 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1256568 1031636 1421 291 0 1248102 0
Current children cumulated CPU time: 3394.68 s
Current children cumulated vsize: 5026272 KiB
Current children cumulated memory: 4126544 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.05 8/254 1077219
/proc/meminfo: memFree=118829728/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5026272 memory=4136796 CPUtime=3454.56 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 622404 0 0 0 344311 1145 0 0 20 0 1 0 199186043 5146902528 1034199 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1256568 1034199 1421 291 0 1248102 0
Current children cumulated CPU time: 3454.56 s
Current children cumulated vsize: 5026272 KiB
Current children cumulated memory: 4136796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.11 4.07 8/254 1077229
/proc/meminfo: memFree=118798100/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5026272 memory=4136796 CPUtime=3514.44 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 624283 0 0 0 350281 1163 0 0 20 0 1 0 199186043 5146902528 1034199 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1256568 1034199 1421 291 0 1248102 0
Current children cumulated CPU time: 3514.44 s
Current children cumulated vsize: 5026272 KiB
Current children cumulated memory: 4136796 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.07 8/254 1077239
/proc/meminfo: memFree=118748576/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5029600 memory=4173364 CPUtime=3574.32 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 626761 0 0 0 356255 1177 0 0 20 0 1 0 199186043 5150310400 1043341 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1257400 1043341 1421 291 0 1248934 0
Current children cumulated CPU time: 3574.32 s
Current children cumulated vsize: 5029600 KiB
Current children cumulated memory: 4173364 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.11 s]
/proc/loadavg: 4.08 4.09 4.06 8/254 1077244
/proc/meminfo: memFree=118706748/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5033696 memory=4204696 CPUtime=3600.07 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 629914 0 0 0 358826 1181 0 0 20 0 1 0 199186043 5154504704 1051174 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1258424 1051174 1421 291 0 1249958 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5033696 KiB
Current children cumulated memory: 4204696 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3588.27 s, system=11.8299 s

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

[startup+3608.11 s]
/proc/loadavg: 4.08 4.09 4.06 8/254 1077244
/proc/meminfo: memFree=118706748/131524600 swapFree=131071996/131071996
[pid=1075408] ppid=1075395 vsize=5033696 memory=4204696 CPUtime=3600.07 cores=4,6
/proc/1075408/stat : 1075408 (pb-oll-rs) R 1075395 1075408 1075340 0 -1 4194304 629914 0 0 0 358826 1181 0 0 20 0 1 0 199186043 5154504704 1051174 134679101440 4194304 5384485 140733961463712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 27074560 140733961470997 140733961471074 140733961471074 140733961478091 0
/proc/1075408/statm: 1258424 1051174 1421 291 0 1249958 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5033696 KiB
Current children cumulated memory: 4204696 KiB

Child status: 0

Real time (s): 3608.12
CPU time (s): 3600.1
CPU user time (s): 3588.27
CPU system time (s): 11.8299
CPU usage (%): 99.7777
Max. virtual memory (cumulated for all children) (KiB): 5045684
Max. memory (cumulated for all children) (KiB): 4215356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.27
system time used= 11.8299
maximum resident set size= 4215356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 629930
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 320
involuntary context switches= 1806


# summary of solver processes directly reported to runsolver:
#   pid: 1075408
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3588.27
#   total CPU system time (s): 11.8299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89073 second user time and 19.3669 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-20 12:09:59
IDJOB=4454317
IDBENCH=147556
IDSOLVER=3082
FILE ID=nodeC029/4454317-1721470186
RUNJOBID= nodeC029-1721470199-1075351
SLURM_JOB_ID= 7545733
Free space on /tmp= 890000 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454317-1721470186/watcher-4454317-1721470186 -o /tmp/evaluation-result-4454317-1721470186/solver-4454317-1721470186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721470199-1075351 --watchdog 3760  pb-oll-rs HOME/instance-4454317-1721470186.opb

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

MD5SUM BENCH= a599905096c946af5176c07959aa4b57
RANDOM SEED=1504453240

nodeC029.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		: 3534.277
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	: 7000.09
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		: 3682.001
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	: 7006.98
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		: 3670.785
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	: 7000.09
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		: 3615.331
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	: 7006.98
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		: 3466.886
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	: 7000.09
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		: 3492.823
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	: 7006.98
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		: 3676.707
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	: 7000.09
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		: 3677.112
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	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128623580 kB
MemAvailable:   129717788 kB
Buffers:          555444 kB
Cached:          1379624 kB
SwapCached:            0 kB
Active:          1073452 kB
Inactive:        1198052 kB
Active(anon):       1352 kB
Inactive(anon):   381636 kB
Active(file):    1072100 kB
Inactive(file):   816416 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             74548 kB
Writeback:            12 kB
AnonPages:        337132 kB
Mapped:           107272 kB
Shmem:             45912 kB
KReclaimable:      90676 kB
Slab:             203424 kB
SReclaimable:      90676 kB
SUnreclaim:       112748 kB
KernelStack:        3760 kB
PageTables:         9280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     688568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72512 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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:      281300 kB
DirectMap2M:    36192256 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC029 at 2024-07-20 13:10:08