Trace number 4528938

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
mixed-bag-2024 2025-07-10SAT (TO)325 3600.21 3613.12

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
MD5SUM502d6e212fd4e38a31cb5eb2ff64d408
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 benchmark242
Best CPU time to get the best result obtained on this benchmark3584.86
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 491651
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 491651
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.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
2.17/2.25	c [STEP] preprocessing with Papilo
4.15/4.21	c Papilo could not simplify the problem
4.15/4.21	c [STEP] solving with SCIP
303.94/306.24	c [STEP] preprocessing done, loading into solver
305.04/307.33	c [STEP] solving
305.04/307.33	c #variables 10001 #constraints 656900
305.04/307.33	c SMALL=int, LARGE=long long
305.04/307.33	d SCIPUB 491652
305.04/307.33	c bounds - >= 0 @ 303.376
305.04/307.33	c stratification level: 98
305.23/307.51	c bounds 7310 >= 0 @ 303.534
305.23/307.51	c stratification level: 97
305.23/307.52	c bounds 7245 >= 0 @ 303.541
305.23/307.52	c stratification level: 96
305.23/307.52	c bounds 7010 >= 0 @ 303.545
305.23/307.52	c stratification level: 95
305.23/307.53	c bounds 6671 >= 0 @ 303.55
305.23/307.53	c stratification level: 94
305.23/307.56	c bounds 6664 >= 0 @ 303.578
305.23/307.56	c stratification level: 93
305.23/307.57	c bounds 6604 >= 0 @ 303.583
305.23/307.57	c stratification level: 92
305.23/307.58	c bounds 6541 >= 0 @ 303.588
305.23/307.58	c stratification level: 91
305.23/307.58	c bounds 6371 >= 0 @ 303.593
305.23/307.58	c stratification level: 90
305.43/307.70	c bounds 6369 >= 0 @ 303.705
305.43/307.70	c stratification level: 89
305.43/307.70	c bounds 6280 >= 0 @ 303.711
305.43/307.70	c stratification level: 88
305.43/307.71	c bounds 6128 >= 0 @ 303.716
305.43/307.71	c stratification level: 87
305.43/307.72	c bounds 6098 >= 0 @ 303.721
305.43/307.72	c stratification level: 86
305.43/307.73	c bounds 6087 >= 0 @ 303.736
305.43/307.73	c stratification level: 85
305.43/307.74	c bounds 6031 >= 0 @ 303.741
305.43/307.74	c stratification level: 84
305.43/307.75	c bounds 5995 >= 0 @ 303.747
305.43/307.75	c stratification level: 83
305.43/307.79	c bounds 5940 >= 0 @ 303.793
305.43/307.79	c stratification level: 82
305.53/307.80	c bounds 5887 >= 0 @ 303.799
305.53/307.80	c stratification level: 81
305.53/307.81	c bounds 5883 >= 0 @ 303.804
305.53/307.81	c stratification level: 80
305.53/307.81	c bounds 5730 >= 0 @ 303.808
305.53/307.81	c stratification level: 79
305.53/307.82	c bounds 5679 >= 0 @ 303.815
305.53/307.82	c stratification level: 78
305.53/307.83	c bounds 5653 >= 0 @ 303.824
305.53/307.83	c stratification level: 77
305.53/307.84	c bounds 5563 >= 0 @ 303.829
305.53/307.84	c stratification level: 76
305.53/307.85	c bounds 5427 >= 0 @ 303.836
305.53/307.85	c stratification level: 75
305.53/307.86	c bounds 5352 >= 0 @ 303.84
305.53/307.86	c stratification level: 74
305.53/307.86	c bounds 5313 >= 0 @ 303.846
305.53/307.86	c stratification level: 73
305.53/307.87	c bounds 5245 >= 0 @ 303.852
305.53/307.87	c stratification level: 72
305.53/307.88	c bounds 5142 >= 0 @ 303.858
305.53/307.88	c stratification level: 71
305.53/307.89	c bounds 5097 >= 0 @ 303.863
305.53/307.89	c stratification level: 70
305.53/307.89	c bounds 4940 >= 0 @ 303.868
305.53/307.89	c stratification level: 69
305.64/307.90	c bounds 4932 >= 0 @ 303.874
305.64/307.90	c stratification level: 68
305.64/307.91	c bounds 4660 >= 0 @ 303.879
305.64/307.91	c stratification level: 67
305.64/307.92	c bounds 4543 >= 0 @ 303.886
305.64/307.92	c stratification level: 66
305.64/307.95	c bounds 4521 >= 0 @ 303.912
305.64/307.95	c stratification level: 65
305.64/307.96	c bounds 4416 >= 0 @ 303.919
305.64/307.96	c stratification level: 64
305.64/307.97	c bounds 4402 >= 0 @ 303.927
305.64/307.97	c stratification level: 63
305.64/307.98	c bounds 4330 >= 0 @ 303.931
305.64/307.98	c stratification level: 62
305.64/307.99	c bounds 4192 >= 0 @ 303.936
305.64/307.99	c stratification level: 61
305.64/308.00	c bounds 4185 >= 0 @ 303.951
305.64/308.00	c stratification level: 60
305.74/308.01	c bounds 4086 >= 0 @ 303.957
305.74/308.01	c stratification level: 59
305.74/308.02	c bounds 4027 >= 0 @ 303.961
305.74/308.02	c stratification level: 58
305.74/308.03	c bounds 3983 >= 0 @ 303.966
305.74/308.03	c stratification level: 57
305.74/308.04	c bounds 3942 >= 0 @ 303.974
305.74/308.04	c stratification level: 56
305.74/308.05	c bounds 3890 >= 0 @ 303.98
305.74/308.05	c stratification level: 55
305.74/308.06	c bounds 3835 >= 0 @ 303.986
305.74/308.06	c stratification level: 54
305.74/308.07	c bounds 3797 >= 0 @ 303.993
305.74/308.07	c stratification level: 53
305.74/308.08	c bounds 3744 >= 0 @ 303.999
305.74/308.08	c stratification level: 52
305.74/308.09	c bounds 3437 >= 0 @ 304.005
305.74/308.09	c stratification level: 51
305.74/308.10	c bounds 3269 >= 0 @ 304.011
305.74/308.10	c stratification level: 50
305.85/308.11	c bounds 3260 >= 0 @ 304.018
305.85/308.11	c stratification level: 49
305.85/308.12	c bounds 3247 >= 0 @ 304.023
305.85/308.12	c stratification level: 48
305.85/308.13	c bounds 3215 >= 0 @ 304.03
305.85/308.13	c stratification level: 47
305.85/308.14	c bounds 3164 >= 0 @ 304.038
305.85/308.14	c stratification level: 46
305.85/308.15	c bounds 3052 >= 0 @ 304.044
305.85/308.15	c stratification level: 45
305.85/308.16	c bounds 2911 >= 0 @ 304.049
305.85/308.16	c stratification level: 44
305.85/308.17	c bounds 2736 >= 0 @ 304.056
305.85/308.17	c stratification level: 43
305.85/308.18	c bounds 2683 >= 0 @ 304.061
305.85/308.18	c stratification level: 42
305.85/308.19	c bounds 2599 >= 0 @ 304.068
305.85/308.19	c stratification level: 41
305.94/308.20	c bounds 2585 >= 0 @ 304.073
305.94/308.20	c stratification level: 40
305.94/308.22	c bounds 2547 >= 0 @ 304.079
305.94/308.22	c stratification level: 39
305.94/308.23	c bounds 2544 >= 0 @ 304.083
305.94/308.23	c stratification level: 38
305.94/308.24	c bounds 2494 >= 0 @ 304.09
305.94/308.24	c stratification level: 37
305.94/308.25	c bounds 2447 >= 0 @ 304.097
305.94/308.25	c stratification level: 36
305.94/308.26	c bounds 2282 >= 0 @ 304.103
305.94/308.26	c stratification level: 35
305.94/308.28	c bounds 2055 >= 0 @ 304.113
305.94/308.28	c stratification level: 34
305.94/308.29	c bounds 2037 >= 0 @ 304.121
305.94/308.29	c stratification level: 33
306.04/308.30	c bounds 2002 >= 0 @ 304.131
306.04/308.30	c stratification level: 32
306.04/308.37	c bounds 1875 >= 0 @ 304.195
306.04/308.37	c stratification level: 31
306.04/308.38	c bounds 1782 >= 0 @ 304.202
306.04/308.38	c stratification level: 30
306.14/308.40	c bounds 1711 >= 0 @ 304.21
306.14/308.40	c stratification level: 29
306.14/308.41	c bounds 1623 >= 0 @ 304.215
306.14/308.41	c stratification level: 28
306.14/308.42	c bounds 1554 >= 0 @ 304.224
306.14/308.42	c stratification level: 27
306.14/308.45	c bounds 1549 >= 0 @ 304.246
306.14/308.45	c stratification level: 26
306.14/308.46	c bounds 1471 >= 0 @ 304.254
306.14/308.46	c stratification level: 25
306.14/308.47	c bounds 1407 >= 0 @ 304.262
306.14/308.47	c stratification level: 24
306.24/308.50	c bounds 1406 >= 0 @ 304.286
306.24/308.50	c stratification level: 23
306.24/308.52	c bounds 1382 >= 0 @ 304.292
306.24/308.52	c stratification level: 22
306.24/308.53	c bounds 1283 >= 0 @ 304.3
306.24/308.53	c stratification level: 21
306.24/308.55	c bounds 1241 >= 0 @ 304.308
306.24/308.55	c stratification level: 20
306.24/308.57	c bounds 1141 >= 0 @ 304.327
306.24/308.57	c stratification level: 19
306.24/308.59	c bounds 1061 >= 0 @ 304.337
306.24/308.59	c stratification level: 18
306.53/308.89	c #Conflicts:       1000 | #Constraints:     657979
306.53/308.89	c bounds 1057 >= 0 @ 304.623
306.53/308.89	c stratification level: 17
306.64/308.90	c bounds 1013 >= 0 @ 304.63
306.64/308.90	c stratification level: 16
306.84/309.15	c bounds 896 >= 0 @ 304.852
306.84/309.15	c stratification level: 15
306.84/309.18	c bounds 894 >= 0 @ 304.876
306.84/309.18	c stratification level: 14
306.93/309.25	c bounds 893 >= 0 @ 304.935
306.93/309.25	c stratification level: 13
306.93/309.28	c bounds 833 >= 0 @ 304.955
306.93/309.28	c stratification level: 12
306.93/309.29	c bounds 696 >= 0 @ 304.966
306.93/309.29	c stratification level: 11
307.23/309.52	c bounds 604 >= 0 @ 305.171
307.23/309.52	c stratification level: 10
307.74/310.04	c #Conflicts:       2000 | #Constraints:     658987
307.74/310.04	c INPROCESSING
307.74/310.04	c GARBAGE COLLECT
307.74/310.04	c bounds 546 >= 0 @ 305.674
307.74/310.04	c stratification level: 9
309.12/311.47	c #Conflicts:       3000 | #Constraints:     658910
309.12/311.47	c bounds 460 >= 0 @ 307.043
309.12/311.47	c stratification level: 8
313.31/315.67	c bounds 460 >= 8 @ 307.048
313.31/315.67	c #Conflicts:       4000 | #Constraints:     659912
313.31/315.67	c INPROCESSING
313.31/315.67	c GARBAGE COLLECT
313.31/315.67	c #Conflicts:       5000 | #Constraints:     659314
313.31/315.67	c #Conflicts:       6000 | #Constraints:     660314
313.31/315.67	c INPROCESSING
313.31/315.67	c GARBAGE COLLECT
313.31/315.67	c #Conflicts:       7000 | #Constraints:     659323
313.31/315.67	c finalizing WCE round: reformulating cores
313.31/315.69	c bounds 412 >= 8 @ 311.144
313.31/315.69	c bounds 411 >= 8 @ 311.15
313.31/315.69	c stratification level: 7
317.60/319.90	c #Conflicts:       8000 | #Constraints:     660328
317.60/319.90	c #Conflicts:       9000 | #Constraints:     661328
317.60/319.90	c INPROCESSING
317.60/319.90	c GARBAGE COLLECT
317.60/319.90	c #Conflicts:      10000 | #Constraints:     660023
317.60/319.90	c #Conflicts:      11000 | #Constraints:     661023
317.60/319.90	c bounds 405 >= 8 @ 315.208
317.60/319.90	c stratification level: 6
416.00/418.68	c #Conflicts:      12000 | #Constraints:     662024
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      13000 | #Constraints:     660479
416.00/418.68	c #Conflicts:      14000 | #Constraints:     661479
416.00/418.68	c #Conflicts:      15000 | #Constraints:     662479
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      16000 | #Constraints:     660715
416.00/418.68	c #Conflicts:      17000 | #Constraints:     661715
416.00/418.68	c #Conflicts:      18000 | #Constraints:     662715
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      19000 | #Constraints:     660732
416.00/418.68	c #Conflicts:      20000 | #Constraints:     661732
416.00/418.68	c #Conflicts:      21000 | #Constraints:     662732
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      22000 | #Constraints:     660546
416.00/418.68	c #Conflicts:      23000 | #Constraints:     661546
416.00/418.68	c #Conflicts:      24000 | #Constraints:     662546
416.00/418.68	c #Conflicts:      25000 | #Constraints:     663546
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      26000 | #Constraints:     661152
416.00/418.68	c #Conflicts:      27000 | #Constraints:     662152
416.00/418.68	c #Conflicts:      28000 | #Constraints:     663152
416.00/418.68	c #Conflicts:      29000 | #Constraints:     664152
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      30000 | #Constraints:     661557
416.00/418.68	c #Conflicts:      31000 | #Constraints:     662557
416.00/418.68	c #Conflicts:      32000 | #Constraints:     663557
416.00/418.68	c #Conflicts:      33000 | #Constraints:     664557
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      34000 | #Constraints:     661764
416.00/418.68	c #Conflicts:      35000 | #Constraints:     662764
416.00/418.68	c #Conflicts:      36000 | #Constraints:     663764
416.00/418.68	c #Conflicts:      37000 | #Constraints:     664764
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      38000 | #Constraints:     661762
416.00/418.68	c #Conflicts:      39000 | #Constraints:     662762
416.00/418.68	c #Conflicts:      40000 | #Constraints:     663762
416.00/418.68	c #Conflicts:      41000 | #Constraints:     664762
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      42000 | #Constraints:     661579
416.00/418.68	c #Conflicts:      43000 | #Constraints:     662579
416.00/418.68	c #Conflicts:      44000 | #Constraints:     663579
416.00/418.68	c #Conflicts:      45000 | #Constraints:     664579
416.00/418.68	c #Conflicts:      46000 | #Constraints:     665579
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      47000 | #Constraints:     662176
416.00/418.68	c #Conflicts:      48000 | #Constraints:     663176
416.00/418.68	c #Conflicts:      49000 | #Constraints:     664176
416.00/418.68	c #Conflicts:      50000 | #Constraints:     665176
416.00/418.68	c #Conflicts:      51000 | #Constraints:     666176
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      52000 | #Constraints:     662577
416.00/418.68	c #Conflicts:      53000 | #Constraints:     663577
416.00/418.68	c #Conflicts:      54000 | #Constraints:     664577
416.00/418.68	c #Conflicts:      55000 | #Constraints:     665577
416.00/418.68	c #Conflicts:      56000 | #Constraints:     666577
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      57000 | #Constraints:     662777
416.00/418.68	c #Conflicts:      58000 | #Constraints:     663777
416.00/418.68	c #Conflicts:      59000 | #Constraints:     664777
416.00/418.68	c #Conflicts:      60000 | #Constraints:     665777
416.00/418.68	c #Conflicts:      61000 | #Constraints:     666777
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      62000 | #Constraints:     662787
416.00/418.68	c #Conflicts:      63000 | #Constraints:     663787
416.00/418.68	c #Conflicts:      64000 | #Constraints:     664787
416.00/418.68	c #Conflicts:      65000 | #Constraints:     665787
416.00/418.68	c #Conflicts:      66000 | #Constraints:     666787
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      67000 | #Constraints:     662582
416.00/418.68	c #Conflicts:      68000 | #Constraints:     663582
416.00/418.68	c #Conflicts:      69000 | #Constraints:     664582
416.00/418.68	c #Conflicts:      70000 | #Constraints:     665582
416.00/418.68	c #Conflicts:      71000 | #Constraints:     666582
416.00/418.68	c #Conflicts:      72000 | #Constraints:     667582
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      73000 | #Constraints:     663172
416.00/418.68	c #Conflicts:      74000 | #Constraints:     664172
416.00/418.68	c #Conflicts:      75000 | #Constraints:     665172
416.00/418.68	c #Conflicts:      76000 | #Constraints:     666172
416.00/418.68	c #Conflicts:      77000 | #Constraints:     667172
416.00/418.68	c #Conflicts:      78000 | #Constraints:     668172
416.00/418.68	c INPROCESSING
416.00/418.68	c GARBAGE COLLECT
416.00/418.68	c #Conflicts:      79000 | #Constraints:     663586
416.00/418.68	c #Conflicts:      80000 | #Constraints:     664586
530.35/533.34	c #Conflicts:      81000 | #Constraints:     665586
530.35/533.34	c #Conflicts:      82000 | #Constraints:     666586
530.35/533.34	c #Conflicts:      83000 | #Constraints:     667586
530.35/533.34	c #Conflicts:      84000 | #Constraints:     668586
530.35/533.34	c INPROCESSING
530.35/533.34	c GARBAGE COLLECT
530.35/533.34	c #Conflicts:      85000 | #Constraints:     663785
530.35/533.34	c #Conflicts:      86000 | #Constraints:     664785
530.35/533.34	c #Conflicts:      87000 | #Constraints:     665785
530.35/533.34	c #Conflicts:      88000 | #Constraints:     666785
530.35/533.34	c #Conflicts:      89000 | #Constraints:     667785
530.35/533.34	c #Conflicts:      90000 | #Constraints:     668785
530.35/533.34	c INPROCESSING
530.35/533.34	c GARBAGE COLLECT
530.35/533.34	c #Conflicts:      91000 | #Constraints:     663781
530.35/533.34	c #Conflicts:      92000 | #Constraints:     664781
530.35/533.34	c #Conflicts:      93000 | #Constraints:     665781
530.35/533.34	c #Conflicts:      94000 | #Constraints:     666781
530.35/533.34	c #Conflicts:      95000 | #Constraints:     667781
530.35/533.34	c #Conflicts:      96000 | #Constraints:     668781
530.35/533.34	c INPROCESSING
530.35/533.34	c GARBAGE COLLECT
530.35/533.34	c #Conflicts:      97000 | #Constraints:     663596
530.35/533.34	c #Conflicts:      98000 | #Constraints:     664596
530.35/533.34	c #Conflicts:      99000 | #Constraints:     665596
530.35/533.34	c #Conflicts:     100000 | #Constraints:     666596
530.35/533.34	c #Conflicts:     101000 | #Constraints:     667596
530.35/533.34	c #Conflicts:     102000 | #Constraints:     668596
530.35/533.34	c #Conflicts:     103000 | #Constraints:     669596
530.35/533.34	c INPROCESSING
530.35/533.34	c GARBAGE COLLECT
530.35/533.34	c #Conflicts:     104000 | #Constraints:     664187
530.35/533.34	c #Conflicts:     105000 | #Constraints:     665187
530.35/533.34	c #Conflicts:     106000 | #Constraints:     666187
530.35/533.34	c #Conflicts:     107000 | #Constraints:     667187
530.35/533.34	c #Conflicts:     108000 | #Constraints:     668187
530.35/533.34	c #Conflicts:     109000 | #Constraints:     669187
530.35/533.34	c #Conflicts:     110000 | #Constraints:     670187
530.35/533.34	c INPROCESSING
530.35/533.34	c GARBAGE COLLECT
530.35/533.34	c #Conflicts:     111000 | #Constraints:     664608
530.35/533.34	c #Conflicts:     112000 | #Constraints:     665608
530.35/533.34	c #Conflicts:     113000 | #Constraints:     666608
530.35/533.34	c #Conflicts:     114000 | #Constraints:     667608
530.35/533.34	c #Conflicts:     115000 | #Constraints:     668608
530.35/533.34	c #Conflicts:     116000 | #Constraints:     669608
530.35/533.34	c #Conflicts:     117000 | #Constraints:     670608
530.35/533.34	c INPROCESSING
530.35/533.34	c GARBAGE COLLECT
530.35/533.34	c #Conflicts:     118000 | #Constraints:     664800
530.35/533.34	c #Conflicts:     119000 | #Constraints:     665800
530.35/533.34	c #Conflicts:     120000 | #Constraints:     666800
530.35/533.34	c #Conflicts:     121000 | #Constraints:     667800
530.35/533.34	c #Conflicts:     122000 | #Constraints:     668800
530.35/533.34	c #Conflicts:     123000 | #Constraints:     669800
530.35/533.34	c #Conflicts:     124000 | #Constraints:     670800
530.35/533.34	c INPROCESSING
530.35/533.34	c GARBAGE COLLECT
530.35/533.34	c #Conflicts:     125000 | #Constraints:     664791
530.35/533.34	c #Conflicts:     126000 | #Constraints:     665791
530.35/533.34	c #Conflicts:     127000 | #Constraints:     666791
530.35/533.34	c #Conflicts:     128000 | #Constraints:     667791
530.35/533.34	c #Conflicts:     129000 | #Constraints:     668791
530.35/533.34	c #Conflicts:     130000 | #Constraints:     669791
530.35/533.34	c #Conflicts:     131000 | #Constraints:     670791
530.35/533.34	c INPROCESSING
530.35/533.34	c GARBAGE COLLECT
530.35/533.34	c #Conflicts:     132000 | #Constraints:     664587
530.35/533.34	c #Conflicts:     133000 | #Constraints:     665587
530.35/533.34	c #Conflicts:     134000 | #Constraints:     666587
530.35/533.34	c #Conflicts:     135000 | #Constraints:     667587
530.35/533.34	c #Conflicts:     136000 | #Constraints:     668587
530.35/533.34	c #Conflicts:     137000 | #Constraints:     669587
530.35/533.34	c #Conflicts:     138000 | #Constraints:     670587
530.35/533.34	c #Conflicts:     139000 | #Constraints:     671587
530.35/533.34	c INPROCESSING
530.35/533.34	c GARBAGE COLLECT
530.35/533.34	c #Conflicts:     140000 | #Constraints:     665184
530.35/533.34	c #Conflicts:     141000 | #Constraints:     666184
530.35/533.34	c #Conflicts:     142000 | #Constraints:     667184
530.35/533.34	c #Conflicts:     143000 | #Constraints:     668184
530.35/533.34	c #Conflicts:     144000 | #Constraints:     669184
530.35/533.34	c #Conflicts:     145000 | #Constraints:     670184
530.35/533.34	c #Conflicts:     146000 | #Constraints:     671184
530.35/533.34	c #Conflicts:     147000 | #Constraints:     672184
530.35/533.34	c INPROCESSING
530.35/533.34	c GARBAGE COLLECT
530.35/533.34	c #Conflicts:     148000 | #Constraints:     665597
530.35/533.34	c #Conflicts:     149000 | #Constraints:     666597
530.35/533.34	c #Conflicts:     150000 | #Constraints:     667597
530.35/533.34	c #Conflicts:     151000 | #Constraints:     668597
530.35/533.34	c #Conflicts:     152000 | #Constraints:     669597
530.35/533.34	c #Conflicts:     153000 | #Constraints:     670597
650.98/654.39	c #Conflicts:     154000 | #Constraints:     671597
650.98/654.39	c #Conflicts:     155000 | #Constraints:     672597
650.98/654.39	c INPROCESSING
650.98/654.39	c GARBAGE COLLECT
650.98/654.39	c #Conflicts:     156000 | #Constraints:     665787
650.98/654.39	c #Conflicts:     157000 | #Constraints:     666787
650.98/654.39	c #Conflicts:     158000 | #Constraints:     667787
650.98/654.39	c #Conflicts:     159000 | #Constraints:     668787
650.98/654.39	c #Conflicts:     160000 | #Constraints:     669787
650.98/654.39	c #Conflicts:     161000 | #Constraints:     670787
650.98/654.39	c #Conflicts:     162000 | #Constraints:     671787
650.98/654.39	c #Conflicts:     163000 | #Constraints:     672787
650.98/654.39	c INPROCESSING
650.98/654.39	c GARBAGE COLLECT
650.98/654.39	c #Conflicts:     164000 | #Constraints:     665788
650.98/654.39	c #Conflicts:     165000 | #Constraints:     666788
650.98/654.39	c #Conflicts:     166000 | #Constraints:     667788
650.98/654.39	c #Conflicts:     167000 | #Constraints:     668788
650.98/654.39	c #Conflicts:     168000 | #Constraints:     669788
650.98/654.39	c #Conflicts:     169000 | #Constraints:     670788
650.98/654.39	c #Conflicts:     170000 | #Constraints:     671788
650.98/654.39	c #Conflicts:     171000 | #Constraints:     672788
650.98/654.39	c INPROCESSING
650.98/654.39	c GARBAGE COLLECT
650.98/654.39	c #Conflicts:     172000 | #Constraints:     665605
650.98/654.39	c #Conflicts:     173000 | #Constraints:     666605
650.98/654.39	c #Conflicts:     174000 | #Constraints:     667605
650.98/654.39	c #Conflicts:     175000 | #Constraints:     668605
650.98/654.39	c #Conflicts:     176000 | #Constraints:     669605
650.98/654.39	c #Conflicts:     177000 | #Constraints:     670605
650.98/654.39	c #Conflicts:     178000 | #Constraints:     671605
650.98/654.39	c #Conflicts:     179000 | #Constraints:     672605
650.98/654.39	c #Conflicts:     180000 | #Constraints:     673605
650.98/654.39	c INPROCESSING
650.98/654.39	c GARBAGE COLLECT
650.98/654.39	c #Conflicts:     181000 | #Constraints:     666201
650.98/654.39	c #Conflicts:     182000 | #Constraints:     667201
650.98/654.39	c #Conflicts:     183000 | #Constraints:     668201
650.98/654.39	c #Conflicts:     184000 | #Constraints:     669201
650.98/654.39	c #Conflicts:     185000 | #Constraints:     670201
650.98/654.39	c #Conflicts:     186000 | #Constraints:     671201
650.98/654.39	c #Conflicts:     187000 | #Constraints:     672201
650.98/654.39	c #Conflicts:     188000 | #Constraints:     673201
650.98/654.39	c #Conflicts:     189000 | #Constraints:     674201
650.98/654.39	c INPROCESSING
650.98/654.39	c GARBAGE COLLECT
650.98/654.39	c #Conflicts:     190000 | #Constraints:     666606
650.98/654.39	c #Conflicts:     191000 | #Constraints:     667606
650.98/654.39	c #Conflicts:     192000 | #Constraints:     668606
650.98/654.39	c #Conflicts:     193000 | #Constraints:     669606
650.98/654.39	c #Conflicts:     194000 | #Constraints:     670606
650.98/654.39	c #Conflicts:     195000 | #Constraints:     671606
650.98/654.39	c #Conflicts:     196000 | #Constraints:     672606
650.98/654.39	c #Conflicts:     197000 | #Constraints:     673606
650.98/654.39	c #Conflicts:     198000 | #Constraints:     674606
650.98/654.39	c INPROCESSING
650.98/654.39	c GARBAGE COLLECT
650.98/654.39	c #Conflicts:     199000 | #Constraints:     666799
650.98/654.39	c #Conflicts:     200000 | #Constraints:     667799
650.98/654.39	c #Conflicts:     201000 | #Constraints:     668799
650.98/654.39	c #Conflicts:     202000 | #Constraints:     669799
650.98/654.39	c #Conflicts:     203000 | #Constraints:     670799
650.98/654.39	c #Conflicts:     204000 | #Constraints:     671799
650.98/654.39	c #Conflicts:     205000 | #Constraints:     672799
650.98/654.39	c #Conflicts:     206000 | #Constraints:     673799
650.98/654.39	c #Conflicts:     207000 | #Constraints:     674799
650.98/654.39	c INPROCESSING
650.98/654.39	c GARBAGE COLLECT
650.98/654.40	c #Conflicts:     208000 | #Constraints:     666802
650.98/654.40	c #Conflicts:     209000 | #Constraints:     667802
650.98/654.40	c #Conflicts:     210000 | #Constraints:     668802
650.98/654.40	c #Conflicts:     211000 | #Constraints:     669802
650.98/654.40	c #Conflicts:     212000 | #Constraints:     670802
650.98/654.40	c #Conflicts:     213000 | #Constraints:     671802
650.98/654.40	c #Conflicts:     214000 | #Constraints:     672802
650.98/654.40	c #Conflicts:     215000 | #Constraints:     673802
650.98/654.40	c #Conflicts:     216000 | #Constraints:     674802
650.98/654.40	c INPROCESSING
650.98/654.40	c GARBAGE COLLECT
650.98/654.40	c #Conflicts:     217000 | #Constraints:     666615
650.98/654.40	c #Conflicts:     218000 | #Constraints:     667615
650.98/654.40	c #Conflicts:     219000 | #Constraints:     668615
650.98/654.40	c #Conflicts:     220000 | #Constraints:     669615
650.98/654.40	c #Conflicts:     221000 | #Constraints:     670615
650.98/654.40	c #Conflicts:     222000 | #Constraints:     671615
650.98/654.40	c #Conflicts:     223000 | #Constraints:     672615
650.98/654.40	c #Conflicts:     224000 | #Constraints:     673615
650.98/654.40	c #Conflicts:     225000 | #Constraints:     674615
650.98/654.40	c #Conflicts:     226000 | #Constraints:     675615
775.19/778.92	c INPROCESSING
775.19/778.92	c GARBAGE COLLECT
775.19/778.92	c #Conflicts:     227000 | #Constraints:     667204
775.19/778.92	c #Conflicts:     228000 | #Constraints:     668204
775.19/778.92	c #Conflicts:     229000 | #Constraints:     669204
775.19/778.92	c #Conflicts:     230000 | #Constraints:     670204
775.19/778.92	c #Conflicts:     231000 | #Constraints:     671204
775.19/778.92	c #Conflicts:     232000 | #Constraints:     672204
775.19/778.92	c #Conflicts:     233000 | #Constraints:     673204
775.19/778.92	c #Conflicts:     234000 | #Constraints:     674204
775.19/778.92	c #Conflicts:     235000 | #Constraints:     675204
775.19/778.92	c #Conflicts:     236000 | #Constraints:     676204
775.19/778.92	c INPROCESSING
775.19/778.92	c GARBAGE COLLECT
775.19/778.92	c #Conflicts:     237000 | #Constraints:     667605
775.19/778.92	c #Conflicts:     238000 | #Constraints:     668605
775.19/778.92	c #Conflicts:     239000 | #Constraints:     669605
775.19/778.92	c #Conflicts:     240000 | #Constraints:     670605
775.19/778.92	c #Conflicts:     241000 | #Constraints:     671605
775.19/778.92	c #Conflicts:     242000 | #Constraints:     672605
775.19/778.92	c #Conflicts:     243000 | #Constraints:     673605
775.19/778.92	c #Conflicts:     244000 | #Constraints:     674605
775.19/778.92	c #Conflicts:     245000 | #Constraints:     675605
775.19/778.92	c #Conflicts:     246000 | #Constraints:     676605
775.19/778.92	c INPROCESSING
775.19/778.92	c GARBAGE COLLECT
775.19/778.92	c #Conflicts:     247000 | #Constraints:     667804
775.19/778.92	c #Conflicts:     248000 | #Constraints:     668804
775.19/778.92	c #Conflicts:     249000 | #Constraints:     669804
775.19/778.92	c #Conflicts:     250000 | #Constraints:     670804
775.19/778.92	c #Conflicts:     251000 | #Constraints:     671804
775.19/778.92	c #Conflicts:     252000 | #Constraints:     672804
775.19/778.92	c #Conflicts:     253000 | #Constraints:     673804
775.19/778.92	c #Conflicts:     254000 | #Constraints:     674804
775.19/778.92	c #Conflicts:     255000 | #Constraints:     675804
775.19/778.92	c #Conflicts:     256000 | #Constraints:     676804
775.19/778.92	c INPROCESSING
775.19/778.92	c GARBAGE COLLECT
775.19/778.92	c #Conflicts:     257000 | #Constraints:     667791
775.19/778.92	c #Conflicts:     258000 | #Constraints:     668791
775.19/778.92	c #Conflicts:     259000 | #Constraints:     669791
775.19/778.92	c #Conflicts:     260000 | #Constraints:     670791
775.19/778.92	c #Conflicts:     261000 | #Constraints:     671791
775.19/778.92	c #Conflicts:     262000 | #Constraints:     672791
775.19/778.92	c #Conflicts:     263000 | #Constraints:     673791
775.19/778.92	c #Conflicts:     264000 | #Constraints:     674791
775.19/778.92	c #Conflicts:     265000 | #Constraints:     675791
775.19/778.92	c #Conflicts:     266000 | #Constraints:     676791
775.19/778.92	c INPROCESSING
775.19/778.92	c GARBAGE COLLECT
775.19/778.92	c #Conflicts:     267000 | #Constraints:     667586
775.19/778.92	c #Conflicts:     268000 | #Constraints:     668586
775.19/778.92	c #Conflicts:     269000 | #Constraints:     669586
775.19/778.92	c #Conflicts:     270000 | #Constraints:     670586
775.19/778.92	c #Conflicts:     271000 | #Constraints:     671586
775.19/778.92	c #Conflicts:     272000 | #Constraints:     672586
775.19/778.92	c #Conflicts:     273000 | #Constraints:     673586
775.19/778.92	c #Conflicts:     274000 | #Constraints:     674586
775.19/778.92	c #Conflicts:     275000 | #Constraints:     675586
775.19/778.92	c #Conflicts:     276000 | #Constraints:     676586
775.19/778.92	c #Conflicts:     277000 | #Constraints:     677586
775.19/778.92	c INPROCESSING
775.19/778.92	c GARBAGE COLLECT
775.19/778.92	c #Conflicts:     278000 | #Constraints:     668189
775.19/778.92	c #Conflicts:     279000 | #Constraints:     669189
775.19/778.92	c #Conflicts:     280000 | #Constraints:     670189
775.19/778.92	c #Conflicts:     281000 | #Constraints:     671189
775.19/778.92	c #Conflicts:     282000 | #Constraints:     672189
775.19/778.92	c #Conflicts:     283000 | #Constraints:     673189
775.19/778.92	c #Conflicts:     284000 | #Constraints:     674189
775.19/778.92	c #Conflicts:     285000 | #Constraints:     675189
775.19/778.92	c #Conflicts:     286000 | #Constraints:     676189
775.19/778.92	c #Conflicts:     287000 | #Constraints:     677189
775.19/778.92	c #Conflicts:     288000 | #Constraints:     678189
775.19/778.92	c INPROCESSING
775.19/778.92	c GARBAGE COLLECT
775.19/778.92	c #Conflicts:     289000 | #Constraints:     668593
775.19/778.92	c #Conflicts:     290000 | #Constraints:     669593
775.19/778.92	c #Conflicts:     291000 | #Constraints:     670593
775.19/778.92	c #Conflicts:     292000 | #Constraints:     671593
775.19/778.92	c #Conflicts:     293000 | #Constraints:     672593
775.19/778.92	c #Conflicts:     294000 | #Constraints:     673593
775.19/778.92	c #Conflicts:     295000 | #Constraints:     674593
775.19/778.92	c #Conflicts:     296000 | #Constraints:     675593
775.19/778.92	c #Conflicts:     297000 | #Constraints:     676593
775.19/778.92	c #Conflicts:     298000 | #Constraints:     677593
775.19/778.92	c #Conflicts:     299000 | #Constraints:     678593
775.19/778.92	c INPROCESSING
775.19/778.92	c GARBAGE COLLECT
775.19/778.92	c #Conflicts:     300000 | #Constraints:     668795
902.40/906.50	c #Conflicts:     301000 | #Constraints:     669795
902.40/906.50	c #Conflicts:     302000 | #Constraints:     670795
902.40/906.50	c #Conflicts:     303000 | #Constraints:     671795
902.40/906.50	c #Conflicts:     304000 | #Constraints:     672795
902.40/906.50	c #Conflicts:     305000 | #Constraints:     673795
902.40/906.50	c #Conflicts:     306000 | #Constraints:     674795
902.40/906.50	c #Conflicts:     307000 | #Constraints:     675795
902.40/906.50	c #Conflicts:     308000 | #Constraints:     676795
902.40/906.50	c #Conflicts:     309000 | #Constraints:     677795
902.40/906.50	c #Conflicts:     310000 | #Constraints:     678795
902.40/906.50	c INPROCESSING
902.40/906.50	c GARBAGE COLLECT
902.40/906.50	c #Conflicts:     311000 | #Constraints:     668792
902.40/906.50	c #Conflicts:     312000 | #Constraints:     669792
902.40/906.50	c #Conflicts:     313000 | #Constraints:     670792
902.40/906.50	c #Conflicts:     314000 | #Constraints:     671792
902.40/906.50	c #Conflicts:     315000 | #Constraints:     672792
902.40/906.50	c #Conflicts:     316000 | #Constraints:     673792
902.40/906.50	c #Conflicts:     317000 | #Constraints:     674792
902.40/906.50	c #Conflicts:     318000 | #Constraints:     675792
902.40/906.50	c #Conflicts:     319000 | #Constraints:     676792
902.40/906.50	c #Conflicts:     320000 | #Constraints:     677792
902.40/906.50	c #Conflicts:     321000 | #Constraints:     678792
902.40/906.50	c INPROCESSING
902.40/906.50	c GARBAGE COLLECT
902.40/906.50	c #Conflicts:     322000 | #Constraints:     668607
902.40/906.50	c #Conflicts:     323000 | #Constraints:     669607
902.40/906.50	c #Conflicts:     324000 | #Constraints:     670607
902.40/906.50	c #Conflicts:     325000 | #Constraints:     671607
902.40/906.50	c #Conflicts:     326000 | #Constraints:     672607
902.40/906.50	c #Conflicts:     327000 | #Constraints:     673607
902.40/906.50	c #Conflicts:     328000 | #Constraints:     674607
902.40/906.50	c #Conflicts:     329000 | #Constraints:     675607
902.40/906.50	c #Conflicts:     330000 | #Constraints:     676607
902.40/906.50	c #Conflicts:     331000 | #Constraints:     677607
902.40/906.50	c #Conflicts:     332000 | #Constraints:     678607
902.40/906.50	c #Conflicts:     333000 | #Constraints:     679607
902.40/906.50	c INPROCESSING
902.40/906.50	c GARBAGE COLLECT
902.40/906.50	c #Conflicts:     334000 | #Constraints:     669214
902.40/906.50	c #Conflicts:     335000 | #Constraints:     670214
902.40/906.50	c #Conflicts:     336000 | #Constraints:     671214
902.40/906.50	c #Conflicts:     337000 | #Constraints:     672214
902.40/906.50	c #Conflicts:     338000 | #Constraints:     673214
902.40/906.50	c #Conflicts:     339000 | #Constraints:     674214
902.40/906.50	c #Conflicts:     340000 | #Constraints:     675214
902.40/906.50	c #Conflicts:     341000 | #Constraints:     676214
902.40/906.50	c #Conflicts:     342000 | #Constraints:     677214
902.40/906.50	c #Conflicts:     343000 | #Constraints:     678214
902.40/906.50	c #Conflicts:     344000 | #Constraints:     679214
902.40/906.50	c #Conflicts:     345000 | #Constraints:     680214
902.40/906.50	c INPROCESSING
902.40/906.50	c GARBAGE COLLECT
902.40/906.50	c #Conflicts:     346000 | #Constraints:     669607
902.40/906.50	c #Conflicts:     347000 | #Constraints:     670607
902.40/906.50	c #Conflicts:     348000 | #Constraints:     671607
902.40/906.50	c #Conflicts:     349000 | #Constraints:     672607
902.40/906.50	c #Conflicts:     350000 | #Constraints:     673607
902.40/906.50	c #Conflicts:     351000 | #Constraints:     674607
902.40/906.50	c #Conflicts:     352000 | #Constraints:     675607
902.40/906.50	c #Conflicts:     353000 | #Constraints:     676607
902.40/906.50	c #Conflicts:     354000 | #Constraints:     677607
902.40/906.50	c #Conflicts:     355000 | #Constraints:     678607
902.40/906.50	c #Conflicts:     356000 | #Constraints:     679607
902.40/906.50	c #Conflicts:     357000 | #Constraints:     680607
902.40/906.50	c INPROCESSING
902.40/906.50	c GARBAGE COLLECT
902.40/906.50	c #Conflicts:     358000 | #Constraints:     669813
902.40/906.50	c #Conflicts:     359000 | #Constraints:     670813
902.40/906.50	c #Conflicts:     360000 | #Constraints:     671813
902.40/906.50	c #Conflicts:     361000 | #Constraints:     672813
902.40/906.50	c #Conflicts:     362000 | #Constraints:     673813
902.40/906.50	c #Conflicts:     363000 | #Constraints:     674813
902.40/906.50	c #Conflicts:     364000 | #Constraints:     675813
902.40/906.50	c #Conflicts:     365000 | #Constraints:     676813
902.40/906.50	c #Conflicts:     366000 | #Constraints:     677813
902.40/906.50	c #Conflicts:     367000 | #Constraints:     678813
902.40/906.50	c #Conflicts:     368000 | #Constraints:     679813
902.40/906.50	c #Conflicts:     369000 | #Constraints:     680813
902.40/906.50	c INPROCESSING
902.40/906.50	c GARBAGE COLLECT
902.40/906.50	c #Conflicts:     370000 | #Constraints:     669813
902.40/906.50	c #Conflicts:     371000 | #Constraints:     670813
902.40/906.50	c #Conflicts:     372000 | #Constraints:     671813
902.40/906.50	c #Conflicts:     373000 | #Constraints:     672813
902.40/906.50	c #Conflicts:     374000 | #Constraints:     673813
902.40/906.50	c #Conflicts:     375000 | #Constraints:     674813
1032.30/1036.81	c #Conflicts:     376000 | #Constraints:     675813
1032.30/1036.81	c #Conflicts:     377000 | #Constraints:     676813
1032.30/1036.81	c #Conflicts:     378000 | #Constraints:     677813
1032.30/1036.81	c #Conflicts:     379000 | #Constraints:     678813
1032.30/1036.81	c #Conflicts:     380000 | #Constraints:     679813
1032.30/1036.81	c #Conflicts:     381000 | #Constraints:     680813
1032.30/1036.81	c INPROCESSING
1032.30/1036.81	c GARBAGE COLLECT
1032.30/1036.81	c #Conflicts:     382000 | #Constraints:     669602
1032.30/1036.81	c #Conflicts:     383000 | #Constraints:     670602
1032.30/1036.81	c #Conflicts:     384000 | #Constraints:     671602
1032.30/1036.81	c #Conflicts:     385000 | #Constraints:     672602
1032.30/1036.81	c #Conflicts:     386000 | #Constraints:     673602
1032.30/1036.81	c #Conflicts:     387000 | #Constraints:     674602
1032.30/1036.81	c #Conflicts:     388000 | #Constraints:     675602
1032.30/1036.81	c #Conflicts:     389000 | #Constraints:     676602
1032.30/1036.81	c #Conflicts:     390000 | #Constraints:     677602
1032.30/1036.81	c #Conflicts:     391000 | #Constraints:     678602
1032.30/1036.81	c #Conflicts:     392000 | #Constraints:     679602
1032.30/1036.81	c #Conflicts:     393000 | #Constraints:     680602
1032.30/1036.81	c #Conflicts:     394000 | #Constraints:     681602
1032.30/1036.81	c INPROCESSING
1032.30/1036.81	c GARBAGE COLLECT
1032.30/1036.81	c #Conflicts:     395000 | #Constraints:     670191
1032.30/1036.81	c #Conflicts:     396000 | #Constraints:     671191
1032.30/1036.81	c #Conflicts:     397000 | #Constraints:     672191
1032.30/1036.81	c #Conflicts:     398000 | #Constraints:     673191
1032.30/1036.81	c #Conflicts:     399000 | #Constraints:     674191
1032.30/1036.81	c #Conflicts:     400000 | #Constraints:     675191
1032.30/1036.81	c #Conflicts:     401000 | #Constraints:     676191
1032.30/1036.81	c #Conflicts:     402000 | #Constraints:     677191
1032.30/1036.81	c #Conflicts:     403000 | #Constraints:     678191
1032.30/1036.81	c #Conflicts:     404000 | #Constraints:     679191
1032.30/1036.81	c #Conflicts:     405000 | #Constraints:     680191
1032.30/1036.81	c #Conflicts:     406000 | #Constraints:     681191
1032.30/1036.81	c #Conflicts:     407000 | #Constraints:     682191
1032.30/1036.81	c INPROCESSING
1032.30/1036.81	c GARBAGE COLLECT
1032.30/1036.81	c #Conflicts:     408000 | #Constraints:     670610
1032.30/1036.81	c #Conflicts:     409000 | #Constraints:     671610
1032.30/1036.81	c #Conflicts:     410000 | #Constraints:     672610
1032.30/1036.81	c #Conflicts:     411000 | #Constraints:     673610
1032.30/1036.81	c #Conflicts:     412000 | #Constraints:     674610
1032.30/1036.81	c #Conflicts:     413000 | #Constraints:     675610
1032.30/1036.81	c #Conflicts:     414000 | #Constraints:     676610
1032.30/1036.81	c #Conflicts:     415000 | #Constraints:     677610
1032.30/1036.81	c #Conflicts:     416000 | #Constraints:     678610
1032.30/1036.81	c #Conflicts:     417000 | #Constraints:     679610
1032.30/1036.81	c #Conflicts:     418000 | #Constraints:     680610
1032.30/1036.81	c #Conflicts:     419000 | #Constraints:     681610
1032.30/1036.81	c #Conflicts:     420000 | #Constraints:     682610
1032.30/1036.81	c INPROCESSING
1032.30/1036.81	c GARBAGE COLLECT
1032.30/1036.81	c #Conflicts:     421000 | #Constraints:     670826
1032.30/1036.81	c #Conflicts:     422000 | #Constraints:     671826
1032.30/1036.81	c #Conflicts:     423000 | #Constraints:     672826
1032.30/1036.81	c #Conflicts:     424000 | #Constraints:     673826
1032.30/1036.81	c #Conflicts:     425000 | #Constraints:     674826
1032.30/1036.81	c #Conflicts:     426000 | #Constraints:     675826
1032.30/1036.81	c #Conflicts:     427000 | #Constraints:     676826
1032.30/1036.81	c #Conflicts:     428000 | #Constraints:     677826
1032.30/1036.81	c #Conflicts:     429000 | #Constraints:     678826
1032.30/1036.81	c #Conflicts:     430000 | #Constraints:     679826
1032.30/1036.81	c #Conflicts:     431000 | #Constraints:     680826
1032.30/1036.81	c #Conflicts:     432000 | #Constraints:     681826
1032.30/1036.81	c #Conflicts:     433000 | #Constraints:     682826
1032.30/1036.81	c INPROCESSING
1032.30/1036.81	c GARBAGE COLLECT
1032.30/1036.81	c #Conflicts:     434000 | #Constraints:     670803
1032.30/1036.81	c #Conflicts:     435000 | #Constraints:     671803
1032.30/1036.81	c #Conflicts:     436000 | #Constraints:     672803
1032.30/1036.81	c #Conflicts:     437000 | #Constraints:     673803
1032.30/1036.81	c #Conflicts:     438000 | #Constraints:     674803
1032.30/1036.81	c #Conflicts:     439000 | #Constraints:     675803
1032.30/1036.81	c #Conflicts:     440000 | #Constraints:     676803
1032.30/1036.81	c #Conflicts:     441000 | #Constraints:     677803
1032.30/1036.81	c #Conflicts:     442000 | #Constraints:     678803
1032.30/1036.81	c #Conflicts:     443000 | #Constraints:     679803
1032.30/1036.81	c #Conflicts:     444000 | #Constraints:     680803
1032.30/1036.81	c #Conflicts:     445000 | #Constraints:     681803
1032.30/1036.81	c #Conflicts:     446000 | #Constraints:     682803
1032.30/1036.81	c INPROCESSING
1032.30/1036.81	c GARBAGE COLLECT
1032.30/1036.81	c #Conflicts:     447000 | #Constraints:     670600
1032.30/1036.81	c #Conflicts:     448000 | #Constraints:     671600
1032.30/1036.81	c #Conflicts:     449000 | #Constraints:     672600
1032.30/1036.81	c #Conflicts:     450000 | #Constraints:     673600
1130.69/1135.52	c #Conflicts:     451000 | #Constraints:     674600
1130.69/1135.52	c #Conflicts:     452000 | #Constraints:     675600
1130.69/1135.52	c #Conflicts:     453000 | #Constraints:     676600
1130.69/1135.52	c #Conflicts:     454000 | #Constraints:     677600
1130.69/1135.52	c #Conflicts:     455000 | #Constraints:     678600
1130.69/1135.52	c #Conflicts:     456000 | #Constraints:     679600
1130.69/1135.52	c #Conflicts:     457000 | #Constraints:     680600
1130.69/1135.52	c #Conflicts:     458000 | #Constraints:     681600
1130.69/1135.52	c #Conflicts:     459000 | #Constraints:     682600
1130.69/1135.52	c #Conflicts:     460000 | #Constraints:     683600
1130.69/1135.52	c INPROCESSING
1130.69/1135.52	c GARBAGE COLLECT
1130.69/1135.52	c #Conflicts:     461000 | #Constraints:     671203
1130.69/1135.52	c #Conflicts:     462000 | #Constraints:     672203
1130.69/1135.52	c #Conflicts:     463000 | #Constraints:     673203
1130.69/1135.52	c #Conflicts:     464000 | #Constraints:     674203
1130.69/1135.52	c #Conflicts:     465000 | #Constraints:     675203
1130.69/1135.52	c #Conflicts:     466000 | #Constraints:     676203
1130.69/1135.52	c #Conflicts:     467000 | #Constraints:     677203
1130.69/1135.52	c #Conflicts:     468000 | #Constraints:     678203
1130.69/1135.52	c #Conflicts:     469000 | #Constraints:     679203
1130.69/1135.52	c #Conflicts:     470000 | #Constraints:     680203
1130.69/1135.52	c #Conflicts:     471000 | #Constraints:     681203
1130.69/1135.52	c #Conflicts:     472000 | #Constraints:     682203
1130.69/1135.52	c #Conflicts:     473000 | #Constraints:     683203
1130.69/1135.52	c #Conflicts:     474000 | #Constraints:     684203
1130.69/1135.52	c INPROCESSING
1130.69/1135.52	c GARBAGE COLLECT
1130.69/1135.52	c #Conflicts:     475000 | #Constraints:     671611
1130.69/1135.52	c #Conflicts:     476000 | #Constraints:     672611
1130.69/1135.52	c #Conflicts:     477000 | #Constraints:     673611
1130.69/1135.52	c #Conflicts:     478000 | #Constraints:     674611
1130.69/1135.52	c #Conflicts:     479000 | #Constraints:     675611
1130.69/1135.52	c #Conflicts:     480000 | #Constraints:     676611
1130.69/1135.52	c #Conflicts:     481000 | #Constraints:     677611
1130.69/1135.52	c #Conflicts:     482000 | #Constraints:     678611
1130.69/1135.52	c #Conflicts:     483000 | #Constraints:     679611
1130.69/1135.52	c #Conflicts:     484000 | #Constraints:     680611
1130.69/1135.52	c #Conflicts:     485000 | #Constraints:     681611
1130.69/1135.52	c #Conflicts:     486000 | #Constraints:     682611
1130.69/1135.52	c #Conflicts:     487000 | #Constraints:     683611
1130.69/1135.52	c #Conflicts:     488000 | #Constraints:     684611
1130.69/1135.52	c INPROCESSING
1130.69/1135.52	c GARBAGE COLLECT
1130.69/1135.52	c #Conflicts:     489000 | #Constraints:     671820
1130.69/1135.52	c #Conflicts:     490000 | #Constraints:     672820
1130.69/1135.52	c #Conflicts:     491000 | #Constraints:     673820
1130.69/1135.52	c #Conflicts:     492000 | #Constraints:     674820
1130.69/1135.52	c #Conflicts:     493000 | #Constraints:     675820
1130.69/1135.52	c #Conflicts:     494000 | #Constraints:     676820
1130.69/1135.52	c #Conflicts:     495000 | #Constraints:     677820
1130.69/1135.52	c #Conflicts:     496000 | #Constraints:     678820
1130.69/1135.52	c #Conflicts:     497000 | #Constraints:     679820
1130.69/1135.52	c #Conflicts:     498000 | #Constraints:     680820
1130.69/1135.52	c #Conflicts:     499000 | #Constraints:     681820
1130.69/1135.52	c #Conflicts:     500000 | #Constraints:     682820
1130.69/1135.52	c #Conflicts:     501000 | #Constraints:     683820
1130.69/1135.52	c #Conflicts:     502000 | #Constraints:     684820
1130.69/1135.52	c INPROCESSING
1130.69/1135.52	c GARBAGE COLLECT
1130.69/1135.52	c #Conflicts:     503000 | #Constraints:     671816
1130.69/1135.52	c #Conflicts:     504000 | #Constraints:     672816
1130.69/1135.52	c bounds 325 >= 8 @ 1120
1130.69/1135.52	c stratification level: 5
1540.46/1546.60	c bounds 325 >= 13 @ 1120.01
1540.46/1546.60	c bounds 325 >= 18 @ 1120.08
1540.46/1546.60	c #Conflicts:     505000 | #Constraints:     673819
1540.46/1546.60	c #Conflicts:     506000 | #Constraints:     674819
1540.46/1546.60	c #Conflicts:     507000 | #Constraints:     675819
1540.46/1546.60	c #Conflicts:     508000 | #Constraints:     676819
1540.46/1546.60	c #Conflicts:     509000 | #Constraints:     677819
1540.46/1546.60	c #Conflicts:     510000 | #Constraints:     678819
1540.46/1546.60	c #Conflicts:     511000 | #Constraints:     679819
1540.46/1546.60	c #Conflicts:     512000 | #Constraints:     680819
1540.46/1546.60	c #Conflicts:     513000 | #Constraints:     681819
1540.46/1546.60	c #Conflicts:     514000 | #Constraints:     682819
1540.46/1546.60	c #Conflicts:     515000 | #Constraints:     683819
1540.46/1546.60	c #Conflicts:     516000 | #Constraints:     684819
1540.46/1546.60	c INPROCESSING
1540.46/1546.60	c GARBAGE COLLECT
1540.46/1546.60	c #Conflicts:     517000 | #Constraints:     671580
1540.46/1546.60	c #Conflicts:     518000 | #Constraints:     672580
1540.46/1546.60	c #Conflicts:     519000 | #Constraints:     673580
1540.46/1546.60	c #Conflicts:     520000 | #Constraints:     674580
1540.46/1546.60	c #Conflicts:     521000 | #Constraints:     675580
1540.46/1546.60	c #Conflicts:     522000 | #Constraints:     676580
1540.46/1546.60	c #Conflicts:     523000 | #Constraints:     677580
1540.46/1546.60	c #Conflicts:     524000 | #Constraints:     678580
1540.46/1546.60	c #Conflicts:     525000 | #Constraints:     679580
1540.46/1546.60	c #Conflicts:     526000 | #Constraints:     680580
1540.46/1546.60	c #Conflicts:     527000 | #Constraints:     681580
1540.46/1546.60	c #Conflicts:     528000 | #Constraints:     682580
1540.46/1546.60	c #Conflicts:     529000 | #Constraints:     683580
1540.46/1546.60	c #Conflicts:     530000 | #Constraints:     684580
1540.46/1546.60	c #Conflicts:     531000 | #Constraints:     685580
1540.46/1546.60	c INPROCESSING
1540.46/1546.60	c GARBAGE COLLECT
1540.46/1546.60	c #Conflicts:     532000 | #Constraints:     672164
1540.46/1546.60	c #Conflicts:     533000 | #Constraints:     673164
1540.46/1546.60	c #Conflicts:     534000 | #Constraints:     674164
1540.46/1546.60	c #Conflicts:     535000 | #Constraints:     675164
1540.46/1546.60	c #Conflicts:     536000 | #Constraints:     676164
1540.46/1546.60	c #Conflicts:     537000 | #Constraints:     677164
1540.46/1546.60	c #Conflicts:     538000 | #Constraints:     678164
1540.46/1546.60	c #Conflicts:     539000 | #Constraints:     679164
1540.46/1546.60	c #Conflicts:     540000 | #Constraints:     680164
1540.46/1546.60	c #Conflicts:     541000 | #Constraints:     681164
1540.46/1546.60	c #Conflicts:     542000 | #Constraints:     682164
1540.46/1546.60	c #Conflicts:     543000 | #Constraints:     683164
1540.46/1546.60	c #Conflicts:     544000 | #Constraints:     684164
1540.46/1546.60	c #Conflicts:     545000 | #Constraints:     685164
1540.46/1546.60	c #Conflicts:     546000 | #Constraints:     686164
1540.46/1546.60	c INPROCESSING
1540.46/1546.60	c GARBAGE COLLECT
1540.46/1546.60	c #Conflicts:     547000 | #Constraints:     672560
1540.46/1546.60	c #Conflicts:     548000 | #Constraints:     673560
1540.46/1546.60	c #Conflicts:     549000 | #Constraints:     674560
1540.46/1546.60	c #Conflicts:     550000 | #Constraints:     675560
1540.46/1546.60	c #Conflicts:     551000 | #Constraints:     676560
1540.46/1546.60	c #Conflicts:     552000 | #Constraints:     677560
1540.46/1546.60	c #Conflicts:     553000 | #Constraints:     678560
1540.46/1546.60	c #Conflicts:     554000 | #Constraints:     679560
1540.46/1546.60	c #Conflicts:     555000 | #Constraints:     680560
1540.46/1546.60	c #Conflicts:     556000 | #Constraints:     681560
1540.46/1546.60	c #Conflicts:     557000 | #Constraints:     682560
1540.46/1546.60	c #Conflicts:     558000 | #Constraints:     683560
1540.46/1546.60	c #Conflicts:     559000 | #Constraints:     684560
1540.46/1546.60	c #Conflicts:     560000 | #Constraints:     685560
1540.46/1546.60	c #Conflicts:     561000 | #Constraints:     686560
1540.46/1546.60	c INPROCESSING
1540.46/1546.60	c GARBAGE COLLECT
1540.46/1546.60	c #Conflicts:     562000 | #Constraints:     672752
1540.46/1546.60	c #Conflicts:     563000 | #Constraints:     673752
1540.46/1546.60	c #Conflicts:     564000 | #Constraints:     674752
1540.46/1546.60	c #Conflicts:     565000 | #Constraints:     675752
1540.46/1546.60	c #Conflicts:     566000 | #Constraints:     676752
1540.46/1546.60	c #Conflicts:     567000 | #Constraints:     677752
1540.46/1546.60	c #Conflicts:     568000 | #Constraints:     678752
1540.46/1546.60	c #Conflicts:     569000 | #Constraints:     679752
1540.46/1546.60	c #Conflicts:     570000 | #Constraints:     680752
1540.46/1546.60	c #Conflicts:     571000 | #Constraints:     681752
1540.46/1546.60	c #Conflicts:     572000 | #Constraints:     682752
1540.46/1546.60	c #Conflicts:     573000 | #Constraints:     683752
1540.46/1546.60	c #Conflicts:     574000 | #Constraints:     684752
1540.46/1546.60	c #Conflicts:     575000 | #Constraints:     685752
1540.46/1546.60	c #Conflicts:     576000 | #Constraints:     686752
1540.46/1546.60	c INPROCESSING
1540.46/1546.60	c #Conflicts:     577000 | #Constraints:     672744
1540.46/1546.60	c #Conflicts:     578000 | #Constraints:     673744
1540.46/1546.60	c #Conflicts:     579000 | #Constraints:     674744
2521.28/2530.71	c #Conflicts:     580000 | #Constraints:     675744
2521.28/2530.71	c #Conflicts:     581000 | #Constraints:     676744
2521.28/2530.71	c #Conflicts:     582000 | #Constraints:     677744
2521.28/2530.71	c #Conflicts:     583000 | #Constraints:     678744
2521.28/2530.71	c #Conflicts:     584000 | #Constraints:     679744
2521.28/2530.71	c #Conflicts:     585000 | #Constraints:     680744
2521.28/2530.71	c #Conflicts:     586000 | #Constraints:     681744
2521.28/2530.71	c #Conflicts:     587000 | #Constraints:     682744
2521.28/2530.71	c #Conflicts:     588000 | #Constraints:     683744
2521.28/2530.71	c #Conflicts:     589000 | #Constraints:     684744
2521.28/2530.71	c #Conflicts:     590000 | #Constraints:     685744
2521.28/2530.71	c #Conflicts:     591000 | #Constraints:     686744
2521.28/2530.71	c INPROCESSING
2521.28/2530.71	c GARBAGE COLLECT
2521.28/2530.71	c #Conflicts:     592000 | #Constraints:     672538
2521.28/2530.71	c #Conflicts:     593000 | #Constraints:     673538
2521.28/2530.71	c #Conflicts:     594000 | #Constraints:     674538
2521.28/2530.71	c #Conflicts:     595000 | #Constraints:     675538
2521.28/2530.71	c #Conflicts:     596000 | #Constraints:     676538
2521.28/2530.71	c #Conflicts:     597000 | #Constraints:     677538
2521.28/2530.71	c #Conflicts:     598000 | #Constraints:     678538
2521.28/2530.71	c #Conflicts:     599000 | #Constraints:     679538
2521.28/2530.71	c #Conflicts:     600000 | #Constraints:     680538
2521.28/2530.71	c #Conflicts:     601000 | #Constraints:     681538
2521.28/2530.71	c #Conflicts:     602000 | #Constraints:     682538
2521.28/2530.71	c #Conflicts:     603000 | #Constraints:     683538
2521.28/2530.71	c #Conflicts:     604000 | #Constraints:     684538
2521.28/2530.71	c #Conflicts:     605000 | #Constraints:     685538
2521.28/2530.71	c #Conflicts:     606000 | #Constraints:     686538
2521.28/2530.71	c #Conflicts:     607000 | #Constraints:     687538
2521.28/2530.71	c INPROCESSING
2521.28/2530.71	c #Conflicts:     608000 | #Constraints:     673150
2521.28/2530.71	c #Conflicts:     609000 | #Constraints:     674150
2521.28/2530.71	c #Conflicts:     610000 | #Constraints:     675150
2521.28/2530.71	c #Conflicts:     611000 | #Constraints:     676150
2521.28/2530.71	c #Conflicts:     612000 | #Constraints:     677150
2521.28/2530.71	c #Conflicts:     613000 | #Constraints:     678150
2521.28/2530.71	c #Conflicts:     614000 | #Constraints:     679150
2521.28/2530.71	c #Conflicts:     615000 | #Constraints:     680150
2521.28/2530.71	c #Conflicts:     616000 | #Constraints:     681150
2521.28/2530.71	c #Conflicts:     617000 | #Constraints:     682150
2521.28/2530.71	c #Conflicts:     618000 | #Constraints:     683150
2521.28/2530.71	c #Conflicts:     619000 | #Constraints:     684150
2521.28/2530.71	c #Conflicts:     620000 | #Constraints:     685150
2521.28/2530.71	c #Conflicts:     621000 | #Constraints:     686150
2521.28/2530.71	c #Conflicts:     622000 | #Constraints:     687150
2521.28/2530.71	c #Conflicts:     623000 | #Constraints:     688150
2521.28/2530.71	c INPROCESSING
2521.28/2530.71	c GARBAGE COLLECT
2521.28/2530.71	c #Conflicts:     624000 | #Constraints:     673536
2521.28/2530.71	c #Conflicts:     625000 | #Constraints:     674536
2521.28/2530.71	c #Conflicts:     626000 | #Constraints:     675536
2521.28/2530.71	c #Conflicts:     627000 | #Constraints:     676536
2521.28/2530.71	c #Conflicts:     628000 | #Constraints:     677536
2521.28/2530.71	c #Conflicts:     629000 | #Constraints:     678536
2521.28/2530.71	c #Conflicts:     630000 | #Constraints:     679536
2521.28/2530.71	c #Conflicts:     631000 | #Constraints:     680536
2521.28/2530.71	c #Conflicts:     632000 | #Constraints:     681536
2521.28/2530.71	c #Conflicts:     633000 | #Constraints:     682536
2521.28/2530.71	c #Conflicts:     634000 | #Constraints:     683536
2521.28/2530.71	c #Conflicts:     635000 | #Constraints:     684536
2521.28/2530.71	c #Conflicts:     636000 | #Constraints:     685536
2521.28/2530.71	c #Conflicts:     637000 | #Constraints:     686536
2521.28/2530.71	c #Conflicts:     638000 | #Constraints:     687536
2521.28/2530.71	c #Conflicts:     639000 | #Constraints:     688536
2521.28/2530.71	c INPROCESSING
2521.28/2530.71	c GARBAGE COLLECT
2521.28/2530.71	c #Conflicts:     640000 | #Constraints:     673734
2521.28/2530.71	c #Conflicts:     641000 | #Constraints:     674734
2521.28/2530.71	c #Conflicts:     642000 | #Constraints:     675734
2521.28/2530.71	c #Conflicts:     643000 | #Constraints:     676734
2521.28/2530.71	c #Conflicts:     644000 | #Constraints:     677734
2521.28/2530.71	c #Conflicts:     645000 | #Constraints:     678734
2521.28/2530.71	c #Conflicts:     646000 | #Constraints:     679734
2521.28/2530.71	c #Conflicts:     647000 | #Constraints:     680734
2521.28/2530.71	c #Conflicts:     648000 | #Constraints:     681734
2521.28/2530.71	c #Conflicts:     649000 | #Constraints:     682734
2521.28/2530.71	c #Conflicts:     650000 | #Constraints:     683734
2521.28/2530.71	c #Conflicts:     651000 | #Constraints:     684734
2521.28/2530.71	c #Conflicts:     652000 | #Constraints:     685734
2521.28/2530.71	c #Conflicts:     653000 | #Constraints:     686734
2521.28/2530.71	c #Conflicts:     654000 | #Constraints:     687734
2521.28/2530.71	c #Conflicts:     655000 | #Constraints:     688734
2521.28/2530.71	c INPROCESSING
2521.28/2530.71	c GARBAGE COLLECT
3600.09/3613.01	c #Conflicts:     656000 | #Constraints:     673745
3600.09/3613.01	c #Conflicts:     657000 | #Constraints:     674745
3600.09/3613.01	c #Conflicts:     658000 | #Constraints:     675745
3600.09/3613.01	c #Conflicts:     659000 | #Constraints:     676745
3600.09/3613.01	c #Conflicts:     660000 | #Constraints:     677745
3600.09/3613.01	c #Conflicts:     661000 | #Constraints:     678745
3600.09/3613.01	c #Conflicts:     662000 | #Constraints:     679745
3600.09/3613.01	c #Conflicts:     663000 | #Constraints:     680745
3600.09/3613.01	c #Conflicts:     664000 | #Constraints:     681745
3600.09/3613.01	c #Conflicts:     665000 | #Constraints:     682745
3600.09/3613.01	c #Conflicts:     666000 | #Constraints:     683745
3600.09/3613.01	c #Conflicts:     667000 | #Constraints:     684745
3600.09/3613.01	c #Conflicts:     668000 | #Constraints:     685745
3600.09/3613.01	c #Conflicts:     669000 | #Constraints:     686745
3600.09/3613.01	c #Conflicts:     670000 | #Constraints:     687745
3600.09/3613.01	c #Conflicts:     671000 | #Constraints:     688745
3600.09/3613.01	c INPROCESSING
3600.09/3613.01	c GARBAGE COLLECT
3600.09/3613.01	c #Conflicts:     672000 | #Constraints:     673540
3600.09/3613.01	c #Conflicts:     673000 | #Constraints:     674540
3600.09/3613.01	c #Conflicts:     674000 | #Constraints:     675540
3600.09/3613.01	c #Conflicts:     675000 | #Constraints:     676540
3600.09/3613.01	c #Conflicts:     676000 | #Constraints:     677540
3600.09/3613.01	c #Conflicts:     677000 | #Constraints:     678540
3600.09/3613.01	c #Conflicts:     678000 | #Constraints:     679540
3600.09/3613.01	c #Conflicts:     679000 | #Constraints:     680540
3600.09/3613.01	c #Conflicts:     680000 | #Constraints:     681540
3600.09/3613.01	c #Conflicts:     681000 | #Constraints:     682540
3600.09/3613.01	c #Conflicts:     682000 | #Constraints:     683540
3600.09/3613.01	c #Conflicts:     683000 | #Constraints:     684540
3600.09/3613.01	c #Conflicts:     684000 | #Constraints:     685540
3600.09/3613.01	c #Conflicts:     685000 | #Constraints:     686540
3600.09/3613.01	c #Conflicts:     686000 | #Constraints:     687540
3600.09/3613.01	c #Conflicts:     687000 | #Constraints:     688540
3600.09/3613.01	c #Conflicts:     688000 | #Constraints:     689540
3600.09/3613.01	c INPROCESSING
3600.09/3613.01	c GARBAGE COLLECT
3600.09/3613.01	c #Conflicts:     689000 | #Constraints:     674128
3600.09/3613.01	c #Conflicts:     690000 | #Constraints:     675128
3600.09/3613.01	c #Conflicts:     691000 | #Constraints:     676128
3600.09/3613.01	c #Conflicts:     692000 | #Constraints:     677128
3600.09/3613.01	c #Conflicts:     693000 | #Constraints:     678128
3600.09/3613.01	c #Conflicts:     694000 | #Constraints:     679128
3600.09/3613.01	c #Conflicts:     695000 | #Constraints:     680128
3600.09/3613.01	c #Conflicts:     696000 | #Constraints:     681128
3600.09/3613.01	c #Conflicts:     697000 | #Constraints:     682128
3600.09/3613.01	c #Conflicts:     698000 | #Constraints:     683128
3600.09/3613.01	c #Conflicts:     699000 | #Constraints:     684128
3600.09/3613.01	c #Conflicts:     700000 | #Constraints:     685128
3600.09/3613.01	c #Conflicts:     701000 | #Constraints:     686128
3600.09/3613.01	c #Conflicts:     702000 | #Constraints:     687128
3600.09/3613.01	c #Conflicts:     703000 | #Constraints:     688128
3600.09/3613.01	c #Conflicts:     704000 | #Constraints:     689128
3600.09/3613.01	c #Conflicts:     705000 | #Constraints:     690128
3600.09/3613.01	c INPROCESSING
3600.09/3613.01	c GARBAGE COLLECT
3600.09/3613.01	c #Conflicts:     706000 | #Constraints:     674528
3600.09/3613.01	c #Conflicts:     707000 | #Constraints:     675528
3600.09/3613.01	c #Conflicts:     708000 | #Constraints:     676528
3600.09/3613.01	c #Conflicts:     709000 | #Constraints:     677528
3600.09/3613.01	c #Conflicts:     710000 | #Constraints:     678528
3600.09/3613.01	c #Conflicts:     711000 | #Constraints:     679528
3600.09/3613.01	c #Conflicts:     712000 | #Constraints:     680528
3600.09/3613.01	c #Conflicts:     713000 | #Constraints:     681528
3600.09/3613.01	c #Conflicts:     714000 | #Constraints:     682528
3600.09/3613.01	c #Conflicts:     715000 | #Constraints:     683528
3600.09/3613.01	c #Conflicts:     716000 | #Constraints:     684528
3600.09/3613.01	c #Conflicts:     717000 | #Constraints:     685528
3600.09/3613.01	c #Conflicts:     718000 | #Constraints:     686528
3600.09/3613.01	c #Conflicts:     719000 | #Constraints:     687528
3600.09/3613.01	c #Conflicts:     720000 | #Constraints:     688528
3600.09/3613.01	c #Conflicts:     721000 | #Constraints:     689528
3600.09/3613.01	c #Conflicts:     722000 | #Constraints:     690528
3600.09/3613.01	c INPROCESSING
3600.09/3613.01	c #Conflicts:     723000 | #Constraints:     674734
3600.09/3613.01	c #Conflicts:     724000 | #Constraints:     675734
3600.09/3613.01	c #Conflicts:     725000 | #Constraints:     676734
3600.09/3613.01	c #Conflicts:     726000 | #Constraints:     677734
3600.09/3613.01	c #Conflicts:     727000 | #Constraints:     678734
3600.09/3613.01	c Program interrupted by user.
3600.09/3613.01	c cpu time 3583.47 s
3600.09/3613.01	c deterministic time 265155229767 2.65e+11
3600.09/3613.01	c optimization time 70.2649 s
3600.09/3613.01	c total solve time 3209.83 s
3600.09/3613.01	c core-guided solve time 3209.83 s
3600.09/3613.01	c propagation time 1591.33 s
3600.09/3613.01	c conflict analysis time 1515.71 s
3600.09/3613.01	c propagations 89764826
3600.09/3613.01	c resolve steps 18252151
3600.09/3613.01	c decisions 16699290
3600.09/3613.01	c conflicts 727369
3600.09/3613.01	c restarts 1533
3600.09/3613.01	c inprocessing phases 76
3600.09/3613.01	c input clauses 656900
3600.09/3613.01	c input cardinalities 1
3600.09/3613.01	c input general constraints 99
3600.09/3613.01	c input average constraint length 3.52
3600.09/3613.01	c input average constraint degree 71.59
3600.09/3613.01	c learned clauses 652585
3600.09/3613.01	c learned cardinalities 0
3600.09/3613.01	c learned general constraints 74784
3600.09/3613.01	c learned average constraint length 3506.23
3600.09/3613.01	c learned average constraint degree 90354.28
3600.09/3613.01	c watched constraints 6046
3600.09/3613.01	c counting constraints 68837
3600.09/3613.01	c gcd simplifications 5189
3600.09/3613.01	c detected cardinalities 0
3600.09/3613.01	c weakened non-implied lits 491971529
3600.09/3613.01	c weakened non-implying lits 194829
3600.09/3613.01	c original variables 10000
3600.09/3613.01	c clausal propagations 78203157
3600.09/3613.01	c cardinality propagations 16455
3600.09/3613.01	c watched propagations 33098
3600.09/3613.01	c counting propagations 10607649
3600.09/3613.01	c watch lookups 19842577718
3600.09/3613.01	c watch backjump lookups 19274493818
3600.09/3613.01	c watch checks 27216788609
3600.09/3613.01	c propagation checks 192565333741
3600.09/3613.01	c constraint additions 6042390027
3600.09/3613.01	c trail pops 107181737
3600.09/3613.01	c formula constraints 656900
3600.09/3613.01	c learned constraints 727369
3600.09/3613.01	c bound constraints 98
3600.09/3613.01	c core-guided constraints 2
3600.09/3613.01	c encountered formula constraints 13453680
3600.09/3613.01	c encountered learned constraints 5509984
3600.09/3613.01	c encountered bound constraints 7000
3600.09/3613.01	c encountered core-guided constraints 8856
3600.09/3613.01	c LP total time 0 s
3600.09/3613.01	c LP solve time 0 s
3600.09/3613.01	c LP constraints added 0
3600.09/3613.01	c LP constraints removed 0
3600.09/3613.01	c LP pivots internal 0
3600.09/3613.01	c LP pivots root 0
3600.09/3613.01	c LP calls 0
3600.09/3613.01	c LP optimalities 0
3600.09/3613.01	c LP no pivot count 0
3600.09/3613.01	c LP infeasibilities 0
3600.09/3613.01	c LP valid Farkas constraints 0
3600.09/3613.01	c LP learned Farkas constraints 0
3600.09/3613.01	c LP basis resets 0
3600.09/3613.01	c LP cycling count 0
3600.09/3613.01	c LP singular count 0
3600.09/3613.01	c LP no primal count 0
3600.09/3613.01	c LP no farkas count 0
3600.09/3613.01	c LP other issue count 0
3600.09/3613.01	c LP Gomory cuts 0
3600.09/3613.01	c LP learned cuts 0
3600.09/3613.01	c LP deleted cuts 0
3600.09/3613.01	c LP encountered Gomory constraints 0
3600.09/3613.01	c LP encountered Farkas constraints 0
3600.09/3613.01	c LP encountered learned Farkas constraints 0
3600.09/3613.01	c CG auxiliary variables introduced 1
3600.09/3613.01	c CG solutions found 94
3600.09/3613.01	c CG cores constructed 3
3600.09/3613.01	c CG core cardinality constraints returned 0
3600.09/3613.01	c CG unit cores 0
3600.09/3613.01	c CG single cores 3
3600.09/3613.02	c CG blocks removed during cardinality reduction 0
3600.09/3613.02	c CG first core best 0
3600.09/3613.02	c CG decision core best 0
3600.09/3613.02	c CG core reduction tie 0
3600.09/3613.02	c CG core degree average 1.00
3600.09/3613.02	c CG core slack average 2493.67
3600.09/3613.02	c CG exhausted 0
3600.09/3613.02	c CG exhaust time 0.003174 s
3600.09/3613.02	c CG trimmed 1
3600.09/3613.02	c CG trim time 0.009314 s
3600.09/3613.02	c CG minimized 0
3600.09/3613.02	c CG minimize time 0 s
3600.09/3613.02	c CG am1 prop time 0.015003 s
3600.09/3613.02	c CG # am1s reformulated 0
3600.09/3613.02	c CG lower bound derived from am1s 0
3600.09/3613.02	c CG # clausal cores 3
3600.09/3613.02	c CG # cardinality cores 0
3600.09/3613.02	c CG # pb cores 0
3600.09/3613.02	c CG # pb reforms 0
3600.09/3613.02	c CG # cores discarded because of pb reform 0
3600.09/3613.02	d LOWERBOUND 18
3600.09/3613.02	d NCORES 3
3600.09/3613.02	d NPBCORES 0
3600.09/3613.02	d NPBREFORM 0
3600.09/3613.02	d NTRIMMED 1
3600.09/3613.02	d NEXHAUSTED 0
3600.09/3613.02	d NAM1S 0
3600.09/3613.02	d AM1LB 0
3600.09/3613.02	c [Papilo Statistics]
3600.09/3613.02	c prepro time 1.9569s
3600.09/3613.02	c # tsx applied 0
3600.09/3613.02	c # tsx conflicts 0
3600.09/3613.02	c # bound changes 0
3600.09/3613.02	c # side changes 0
3600.09/3613.02	c # coef changes 0
3600.09/3613.02	c # rounds 1
3600.09/3613.02	c # deted vars 0
3600.09/3613.02	c # deted constrs 0
3600.09/3613.02	c # consecutive rounds of only bound changes 0
3600.09/3613.02	c [STEP] postprocessing with Papilo
3600.09/3613.05	o 325
3600.09/3613.05	s SATISFIABLE
3600.09/3613.05	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	325

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (59028 MiB free)
  memory of node 1: 64507 MiB (61482 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528938-1752256869/watcher-4528938-1752256869 -o /tmp/evaluation-result-4528938-1752256869/solver-4528938-1752256869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752256869-124647 --watchdog 3760 mixed-bag HOME/instance-4528938-1752256869.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100072 s]*
/proc/loadavg: 1.16 3.15 3.74 7/254 124708
/proc/meminfo: memFree=123390316/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=114968 memory=14316 CPUtime=0.09 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 2073 0 0 0 8 1 0 0 20 0 1 0 141366665 117727232 3579 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 28742 3579 2144 2834 0 11494 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 114968 KiB
Current children cumulated memory: 14316 KiB

[startup+0.213135 s]*
/proc/loadavg: 1.16 3.15 3.74 7/254 124708
/proc/meminfo: memFree=123377292/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=117084 memory=20300 CPUtime=0.2 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 3007 0 0 0 19 1 0 0 20 0 1 0 141366665 119894016 5075 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 29271 5075 2144 2834 0 12023 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 117084 KiB
Current children cumulated memory: 20300 KiB

[startup+0.313813 s]*
/proc/loadavg: 1.16 3.15 3.74 7/254 124708
/proc/meminfo: memFree=123373196/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=117084 memory=21196 CPUtime=0.3 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 3223 0 0 0 29 1 0 0 20 0 1 0 141366665 119894016 5299 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 29271 5299 2144 2834 0 12023 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 117084 KiB
Current children cumulated memory: 21196 KiB

[startup+0.700246 s]
/proc/loadavg: 1.16 3.15 3.74 7/254 124708
/proc/meminfo: memFree=123352716/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=129372 memory=29364 CPUtime=0.68 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 4274 0 0 0 65 3 0 0 20 0 1 0 141366665 132476928 7341 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 32343 7341 2144 2834 0 15095 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 129372 KiB
Current children cumulated memory: 29364 KiB

[startup+1.50026 s]
/proc/loadavg: 1.16 3.15 3.74 7/254 124708
/proc/meminfo: memFree=123294112/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=145756 memory=60544 CPUtime=1.47 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 4901 0 0 0 143 4 0 0 20 0 1 0 141366665 149254144 15136 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 36439 15136 2144 2834 0 19191 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 145756 KiB
Current children cumulated memory: 60544 KiB

[startup+3.11327 s]
/proc/loadavg: 1.39 3.17 3.74 7/254 124708
/proc/meminfo: memFree=121962824/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=435192 memory=333840 CPUtime=3.07 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 26295 0 0 0 290 17 0 0 20 0 1 0 141366665 445636608 83460 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 108798 83460 2304 2834 0 91003 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 435192 KiB
Current children cumulated memory: 333840 KiB

[startup+6.30023 s]
/proc/loadavg: 1.39 3.17 3.74 7/254 124708
/proc/meminfo: memFree=119394492/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=1098028 memory=999580 CPUtime=6.25 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 199260 0 0 0 578 47 0 0 20 0 1 0 141366665 1124380672 249895 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 274507 249895 3968 2834 0 256712 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1098028 KiB
Current children cumulated memory: 999580 KiB

[startup+12.7003 s]
/proc/loadavg: 1.86 3.21 3.75 7/254 124708
/proc/meminfo: memFree=117272692/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=1512596 memory=1408140 CPUtime=12.63 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 262994 0 0 0 1198 65 0 0 20 0 1 0 141366665 1548898304 352035 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 378149 352035 4000 2834 0 360354 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1512596 KiB
Current children cumulated memory: 1408140 KiB

[startup+25.5003 s]
/proc/loadavg: 2.19 3.24 3.75 7/254 124708
/proc/meminfo: memFree=111896452/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=3234356 memory=2884052 CPUtime=25.37 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 274828 0 0 0 2442 95 0 0 20 0 1 0 141366665 3311980544 721013 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 808589 721013 4064 2834 0 790794 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 3234356 KiB
Current children cumulated memory: 2884052 KiB

[startup+51.1132 s]
/proc/loadavg: 2.87 3.32 3.76 7/255 124710
/proc/meminfo: memFree=108562852/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=3950832 memory=3568524 CPUtime=50.86 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 394507 0 0 0 4967 119 0 0 20 0 1 0 141366665 4045651968 892131 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 987708 892131 4256 2834 0 969913 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 3950832 KiB
Current children cumulated memory: 3568524 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 3.45 3.79 7/254 124712
/proc/meminfo: memFree=108488776/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=3950832 memory=3570996 CPUtime=101.64 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 394628 0 0 0 10045 119 0 0 20 0 1 0 141366665 4045651968 892749 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 987708 892749 4256 2834 0 969913 0
Current children cumulated CPU time: 101.64 s
Current children cumulated vsize: 3950832 KiB
Current children cumulated memory: 3570996 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 3.58 3.81 7/255 124714
/proc/meminfo: memFree=108283548/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=4138352 memory=3678164 CPUtime=161.1 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 403687 0 0 0 15988 122 0 0 20 0 1 0 141366665 4237672448 919541 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1034588 919541 4256 2834 0 1016793 0
Current children cumulated CPU time: 161.1 s
Current children cumulated vsize: 4138352 KiB
Current children cumulated memory: 3678164 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.69 3.84 7/255 124716
/proc/meminfo: memFree=108237764/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=4223624 memory=3695056 CPUtime=220.62 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 405147 0 0 0 21939 123 0 0 20 0 1 0 141366665 4324990976 923764 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1055906 923764 4256 2834 0 1038111 0
Current children cumulated CPU time: 220.62 s
Current children cumulated vsize: 4223624 KiB
Current children cumulated memory: 3695056 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.77 3.85 7/254 124718
/proc/meminfo: memFree=108184712/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=4300276 memory=3710420 CPUtime=280.22 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 406456 0 0 0 27898 124 0 0 20 0 1 0 141366665 4403482624 927605 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1075069 927605 4256 2834 0 1057274 0
Current children cumulated CPU time: 280.22 s
Current children cumulated vsize: 4300276 KiB
Current children cumulated memory: 3710420 KiB

[startup+342.3 s]
/proc/loadavg: 4.03 3.81 3.87 7/252 124720
/proc/meminfo: memFree=114667060/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=2134852 memory=2042820 CPUtime=339.94 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 409040 0 0 0 33709 285 0 0 20 0 1 0 141366665 2186088448 510705 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 533713 510705 4448 2834 0 515918 0
Current children cumulated CPU time: 339.94 s
Current children cumulated vsize: 2134852 KiB
Current children cumulated memory: 2042820 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.88 3.89 7/251 124724
/proc/meminfo: memFree=114546904/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=2184940 memory=2071492 CPUtime=399.75 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 409565 0 0 0 39598 377 0 0 20 0 1 0 141366665 2237378560 517873 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 546235 517873 4448 2834 0 528440 0
Current children cumulated CPU time: 399.75 s
Current children cumulated vsize: 2184940 KiB
Current children cumulated memory: 2071492 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.92 3.91 7/249 124726
/proc/meminfo: memFree=114455484/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=2184940 memory=2094020 CPUtime=459.57 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 409581 0 0 0 45522 435 0 0 20 0 1 0 141366665 2237378560 523505 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 546235 523505 4448 2834 0 528440 0
Current children cumulated CPU time: 459.57 s

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

Current children cumulated memory: 3910048 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.11 4.06 7/251 124845
/proc/meminfo: memFree=108735760/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=4963148 memory=3910048 CPUtime=2851.75 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 499433 0 0 0 283612 1563 0 0 20 0 1 0 141366665 5082263552 977512 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1240787 977512 4448 2834 0 1222992 0
Current children cumulated CPU time: 2851.75 s
Current children cumulated vsize: 4963148 KiB
Current children cumulated memory: 3910048 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.06 7/251 124847
/proc/meminfo: memFree=108740184/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=4963148 memory=3910048 CPUtime=2911.55 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 499433 0 0 0 289583 1572 0 0 20 0 1 0 141366665 5082263552 977512 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1240787 977512 4448 2834 0 1222992 0
Current children cumulated CPU time: 2911.55 s
Current children cumulated vsize: 4963148 KiB
Current children cumulated memory: 3910048 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.11 4.07 7/251 124853
/proc/meminfo: memFree=108650088/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=4964460 memory=3912608 CPUtime=2971.34 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 500216 0 0 0 295545 1589 0 0 20 0 1 0 141366665 5083607040 978152 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1241115 978152 4448 2834 0 1223320 0
Current children cumulated CPU time: 2971.34 s
Current children cumulated vsize: 4964460 KiB
Current children cumulated memory: 3912608 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.12 4.07 7/251 124855
/proc/meminfo: memFree=108412264/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=4996016 memory=3994752 CPUtime=3031.15 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 511211 0 0 0 301509 1606 0 0 20 0 1 0 141366665 5115920384 998688 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1249004 998688 4448 2834 0 1231209 0
Current children cumulated CPU time: 3031.15 s
Current children cumulated vsize: 4996016 KiB
Current children cumulated memory: 3994752 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.07 7/250 124857
/proc/meminfo: memFree=108224336/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=5006672 memory=4005328 CPUtime=3090.96 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 512859 0 0 0 307473 1623 0 0 20 0 1 0 141366665 5126832128 1001332 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1251668 1001332 4448 2834 0 1233873 0
Current children cumulated CPU time: 3090.96 s
Current children cumulated vsize: 5006672 KiB
Current children cumulated memory: 4005328 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.07 7/250 124860
/proc/meminfo: memFree=108121456/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=5006672 memory=4005328 CPUtime=3150.78 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 512957 0 0 0 313447 1631 0 0 20 0 1 0 141366665 5126832128 1001332 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1251668 1001332 4448 2834 0 1233873 0
Current children cumulated CPU time: 3150.78 s
Current children cumulated vsize: 5006672 KiB
Current children cumulated memory: 4005328 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.07 7/250 124862
/proc/meminfo: memFree=107998396/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=5006672 memory=4005328 CPUtime=3210.59 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 513200 0 0 0 319422 1637 0 0 20 0 1 0 141366665 5126832128 1001332 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1251668 1001332 4448 2834 0 1233873 0
Current children cumulated CPU time: 3210.59 s
Current children cumulated vsize: 5006672 KiB
Current children cumulated memory: 4005328 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.08 7/250 124864
/proc/meminfo: memFree=107978216/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=5006672 memory=4005328 CPUtime=3270.4 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 513260 0 0 0 325400 1640 0 0 20 0 1 0 141366665 5126832128 1001332 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1251668 1001332 4448 2834 0 1233873 0
Current children cumulated CPU time: 3270.4 s
Current children cumulated vsize: 5006672 KiB
Current children cumulated memory: 4005328 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.08 7/251 124867
/proc/meminfo: memFree=107977832/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=5006672 memory=4005328 CPUtime=3330.21 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 513384 0 0 0 331376 1645 0 0 20 0 1 0 141366665 5126832128 1001332 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1251668 1001332 4448 2834 0 1233873 0
Current children cumulated CPU time: 3330.21 s
Current children cumulated vsize: 5006672 KiB
Current children cumulated memory: 4005328 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.08 7/252 124872
/proc/meminfo: memFree=107965300/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=5006672 memory=4005328 CPUtime=3390.02 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 513757 0 0 0 337354 1648 0 0 20 0 1 0 141366665 5126832128 1001332 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1251668 1001332 4448 2834 0 1233873 0
Current children cumulated CPU time: 3390.02 s
Current children cumulated vsize: 5006672 KiB
Current children cumulated memory: 4005328 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.08 7/251 124874
/proc/meminfo: memFree=107984276/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=5006672 memory=4005328 CPUtime=3449.84 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 513757 0 0 0 343333 1651 0 0 20 0 1 0 141366665 5126832128 1001332 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1251668 1001332 4448 2834 0 1233873 0
Current children cumulated CPU time: 3449.84 s
Current children cumulated vsize: 5006672 KiB
Current children cumulated memory: 4005328 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.08 7/251 124876
/proc/meminfo: memFree=107965924/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=5006672 memory=4005328 CPUtime=3509.65 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 513764 0 0 0 349310 1655 0 0 20 0 1 0 141366665 5126832128 1001332 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1251668 1001332 4448 2834 0 1233873 0
Current children cumulated CPU time: 3509.65 s
Current children cumulated vsize: 5006672 KiB
Current children cumulated memory: 4005328 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/251 124882
/proc/meminfo: memFree=107905228/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=5006672 memory=4005328 CPUtime=3569.47 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 514380 0 0 0 355287 1660 0 0 20 0 1 0 141366665 5126832128 1001332 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1251668 1001332 4448 2834 0 1233873 0
Current children cumulated CPU time: 3569.47 s
Current children cumulated vsize: 5006672 KiB
Current children cumulated memory: 4005328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613 s]*
/proc/loadavg: 4.06 4.09 4.08 5/248 124937
/proc/meminfo: memFree=119332300/131382116 swapFree=33010684/33010684
[pid=124703] ppid=124691 vsize=5006672 memory=4005328 CPUtime=3600.09 cores=0,2
/proc/124703/stat : 124703 (mixed-bag) R 124691 124703 124637 0 -1 4194304 514425 0 0 0 358346 1663 0 0 20 0 1 0 141366665 5126832128 1001332 18446744073709551615 4235264 15840557 140736527557680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 26173440 140736527563162 140736527563239 140736527563239 140736527568843 0
/proc/124703/statm: 1251668 1001332 4448 2834 0 1233873 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 5006672 KiB
Current children cumulated memory: 4005328 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.49 s, system=16.7122 s

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

Child status: 0

Real time (s): 3613.12
CPU time (s): 3600.21
CPU user time (s): 3583.49
CPU system time (s): 16.7122
CPU usage (%): 99.6425
Max. virtual memory (cumulated for all children) (KiB): 5006672
Max. memory (cumulated for all children) (KiB): 4005328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.49
system time used= 16.7122
maximum resident set size= 4068240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519806
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= 176
involuntary context switches= 7915


# summary of solver processes directly reported to runsolver:
#   pid: 124703
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3583.49
#   total CPU system time (s): 16.7122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5618 second user time and 33.8728 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-11 20:01:09
IDJOB=4528938
IDBENCH=147562
IDSOLVER=3386
FILE ID=nodeC011/4528938-1752256869
RUNJOBID= nodeC011-1752256869-124647
SLURM_JOB_ID= 9682605
Free space on /tmp= 430080 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528938-1752256869/watcher-4528938-1752256869 -o /tmp/evaluation-result-4528938-1752256869/solver-4528938-1752256869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752256869-124647 --watchdog 3760  mixed-bag HOME/instance-4528938-1752256869.opb

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

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=593451326

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        123407220 kB
MemAvailable:   129928504 kB
Buffers:            3276 kB
Cached:          7291364 kB
SwapCached:            0 kB
Active:           517268 kB
Inactive:        6845876 kB
Active(anon):      84396 kB
Inactive(anon):     2076 kB
Active(file):     432872 kB
Inactive(file):  6843800 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            129200 kB
Writeback:             8 kB
AnonPages:         71548 kB
Mapped:           106240 kB
Shmem:             17960 kB
KReclaimable:     168096 kB
Slab:             257848 kB
SReclaimable:     168096 kB
SUnreclaim:        89752 kB
KernelStack:        3824 kB
PageTables:         2788 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     335344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430020 MiB
End job on nodeC011 at 2025-07-11 21:01:23