Trace number 4454731

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-07-19SAT (TO)318 3600.16 3613.41

DiagnosticValue
AM1LB0
LOWERBOUND5
NAM1S0
NCORES1
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB494315

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM890f6157e6331f3256b55d88c2fb39bb
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 benchmark241
Best CPU time to get the best result obtained on this benchmark3558.03
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 494314
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 494314
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
1.28/1.37	c [STEP] preprocessing with Papilo
3.67/3.72	c Papilo could not simplify the problem
3.67/3.72	c [STEP] solving with SCIP
303.69/305.68	c [STEP] preprocessing done, loading into solver
304.79/306.74	c [STEP] solving
304.79/306.74	c #variables 10001 #constraints 656900
304.79/306.74	c SMALL=int, LARGE=long long
304.79/306.74	d SCIPUB 494315
304.79/306.74	c bounds - >= 0 @ 303.198
304.79/306.74	c stratification level: 98
305.10/307.07	c bounds 6831 >= 0 @ 303.508
305.10/307.07	c stratification level: 97
305.10/307.08	c bounds 6723 >= 0 @ 303.514
305.10/307.08	c stratification level: 96
305.10/307.09	c bounds 6525 >= 0 @ 303.519
305.10/307.09	c stratification level: 95
305.10/307.10	c bounds 6489 >= 0 @ 303.527
305.10/307.10	c stratification level: 94
305.19/307.11	c bounds 6448 >= 0 @ 303.532
305.19/307.11	c stratification level: 93
305.19/307.12	c bounds 6294 >= 0 @ 303.538
305.19/307.12	c stratification level: 92
305.19/307.13	c bounds 6134 >= 0 @ 303.544
305.19/307.13	c stratification level: 91
305.19/307.14	c bounds 5547 >= 0 @ 303.549
305.19/307.14	c stratification level: 90
305.19/307.15	c bounds 5043 >= 0 @ 303.554
305.19/307.15	c stratification level: 89
305.19/307.16	c bounds 4876 >= 0 @ 303.56
305.19/307.16	c stratification level: 88
305.19/307.16	c bounds 4643 >= 0 @ 303.566
305.19/307.16	c stratification level: 87
305.29/307.20	c bounds 4632 >= 0 @ 303.596
305.29/307.20	c stratification level: 86
305.29/307.22	c bounds 4626 >= 0 @ 303.617
305.29/307.22	c stratification level: 85
305.29/307.23	c bounds 4623 >= 0 @ 303.628
305.29/307.23	c stratification level: 84
305.29/307.24	c bounds 4597 >= 0 @ 303.633
305.29/307.24	c stratification level: 83
305.29/307.25	c bounds 4513 >= 0 @ 303.638
305.29/307.25	c stratification level: 82
305.29/307.29	c bounds 4507 >= 0 @ 303.677
305.29/307.29	c stratification level: 81
305.39/307.30	c bounds 4493 >= 0 @ 303.682
305.39/307.30	c stratification level: 80
305.39/307.31	c bounds 4485 >= 0 @ 303.692
305.39/307.31	c stratification level: 79
305.39/307.31	c bounds 4480 >= 0 @ 303.698
305.39/307.31	c stratification level: 78
305.39/307.32	c bounds 4443 >= 0 @ 303.703
305.39/307.32	c stratification level: 77
305.49/307.41	c bounds 4434 >= 0 @ 303.788
305.49/307.41	c stratification level: 76
305.49/307.42	c bounds 4314 >= 0 @ 303.792
305.49/307.42	c stratification level: 75
305.49/307.42	c bounds 4249 >= 0 @ 303.797
305.49/307.42	c stratification level: 74
305.49/307.43	c bounds 4195 >= 0 @ 303.804
305.49/307.43	c stratification level: 73
305.49/307.44	c bounds 4097 >= 0 @ 303.81
305.49/307.44	c stratification level: 72
305.59/307.52	c bounds 4072 >= 0 @ 303.888
305.59/307.52	c stratification level: 71
305.59/307.53	c bounds 4041 >= 0 @ 303.895
305.59/307.53	c stratification level: 70
305.59/307.59	c bounds 4022 >= 0 @ 303.948
305.59/307.59	c stratification level: 69
305.69/307.61	c bounds 4017 >= 0 @ 303.973
305.69/307.61	c stratification level: 68
305.69/307.62	c bounds 3962 >= 0 @ 303.978
305.69/307.62	c stratification level: 67
305.69/307.63	c bounds 3895 >= 0 @ 303.984
305.69/307.63	c stratification level: 66
305.69/307.64	c bounds 3886 >= 0 @ 303.992
305.69/307.64	c stratification level: 65
305.69/307.67	c bounds 3881 >= 0 @ 304.016
305.69/307.67	c stratification level: 64
305.69/307.68	c bounds 3738 >= 0 @ 304.024
305.69/307.68	c stratification level: 63
305.79/307.71	c bounds 3736 >= 0 @ 304.05
305.79/307.71	c stratification level: 62
305.79/307.72	c bounds 3703 >= 0 @ 304.058
305.79/307.72	c stratification level: 61
305.79/307.72	c bounds 3571 >= 0 @ 304.062
305.79/307.72	c stratification level: 60
305.79/307.74	c bounds 3557 >= 0 @ 304.07
305.79/307.74	c stratification level: 59
305.79/307.75	c bounds 3438 >= 0 @ 304.074
305.79/307.75	c stratification level: 58
305.79/307.76	c bounds 3392 >= 0 @ 304.08
305.79/307.76	c stratification level: 57
305.79/307.79	c bounds 3381 >= 0 @ 304.108
305.79/307.79	c stratification level: 56
305.89/307.80	c bounds 3371 >= 0 @ 304.119
305.89/307.80	c stratification level: 55
305.89/307.81	c bounds 3362 >= 0 @ 304.128
305.89/307.81	c stratification level: 54
305.89/307.82	c bounds 3348 >= 0 @ 304.137
305.89/307.82	c stratification level: 53
305.89/307.84	c bounds 3336 >= 0 @ 304.151
305.89/307.84	c stratification level: 52
305.89/307.87	c bounds 3331 >= 0 @ 304.179
305.89/307.87	c stratification level: 51
305.99/307.90	c #Conflicts:       1000 | #Constraints:     657946
305.99/307.90	c bounds 3315 >= 0 @ 304.203
305.99/307.90	c stratification level: 50
305.99/307.91	c bounds 3206 >= 0 @ 304.213
305.99/307.91	c stratification level: 49
305.99/307.92	c bounds 3125 >= 0 @ 304.22
305.99/307.92	c stratification level: 48
305.99/307.95	c bounds 3119 >= 0 @ 304.235
305.99/307.95	c stratification level: 47
305.99/307.96	c bounds 3108 >= 0 @ 304.243
305.99/307.96	c stratification level: 46
305.99/307.97	c bounds 3062 >= 0 @ 304.25
305.99/307.97	c stratification level: 45
305.99/307.98	c bounds 2886 >= 0 @ 304.255
305.99/307.98	c stratification level: 44
305.99/307.99	c bounds 2765 >= 0 @ 304.26
305.99/307.99	c stratification level: 43
306.09/308.01	c bounds 2741 >= 0 @ 304.272
306.09/308.01	c stratification level: 42
306.09/308.02	c bounds 2661 >= 0 @ 304.279
306.09/308.02	c stratification level: 41
306.09/308.03	c bounds 2622 >= 0 @ 304.288
306.09/308.03	c stratification level: 40
306.09/308.04	c bounds 2600 >= 0 @ 304.293
306.09/308.04	c stratification level: 39
306.09/308.06	c bounds 2552 >= 0 @ 304.301
306.09/308.06	c stratification level: 38
306.09/308.07	c bounds 2439 >= 0 @ 304.312
306.09/308.07	c stratification level: 37
306.09/308.08	c bounds 2325 >= 0 @ 304.319
306.09/308.08	c stratification level: 36
306.09/308.09	c bounds 2183 >= 0 @ 304.326
306.09/308.09	c stratification level: 35
306.20/308.11	c bounds 2144 >= 0 @ 304.335
306.20/308.11	c stratification level: 34
306.20/308.12	c bounds 2138 >= 0 @ 304.345
306.20/308.12	c stratification level: 33
306.20/308.13	c bounds 1918 >= 0 @ 304.353
306.20/308.13	c stratification level: 32
306.20/308.14	c bounds 1916 >= 0 @ 304.363
306.20/308.14	c stratification level: 31
306.20/308.16	c bounds 1769 >= 0 @ 304.375
306.20/308.16	c stratification level: 30
306.20/308.17	c bounds 1604 >= 0 @ 304.383
306.20/308.17	c stratification level: 29
306.20/308.19	c bounds 1602 >= 0 @ 304.389
306.20/308.19	c stratification level: 28
306.29/308.20	c bounds 1506 >= 0 @ 304.4
306.29/308.20	c stratification level: 27
306.29/308.27	c bounds 1482 >= 0 @ 304.456
306.29/308.27	c stratification level: 26
306.39/308.31	c bounds 1478 >= 0 @ 304.489
306.39/308.31	c stratification level: 25
306.39/308.33	c bounds 1375 >= 0 @ 304.498
306.39/308.33	c stratification level: 24
306.39/308.34	c bounds 1263 >= 0 @ 304.503
306.39/308.34	c stratification level: 23
306.39/308.35	c bounds 1255 >= 0 @ 304.51
306.39/308.35	c stratification level: 22
306.39/308.37	c bounds 1169 >= 0 @ 304.52
306.39/308.37	c stratification level: 21
306.39/308.38	c bounds 1140 >= 0 @ 304.532
306.39/308.38	c stratification level: 20
306.49/308.40	c bounds 1110 >= 0 @ 304.539
306.49/308.40	c stratification level: 19
306.58/308.55	c bounds 1098 >= 0 @ 304.679
306.58/308.55	c stratification level: 18
306.58/308.56	c bounds 1059 >= 0 @ 304.688
306.58/308.56	c stratification level: 17
306.58/308.59	c bounds 961 >= 0 @ 304.71
306.58/308.59	c stratification level: 16
306.69/308.60	c bounds 906 >= 0 @ 304.718
306.69/308.60	c stratification level: 15
306.79/308.78	c bounds 829 >= 0 @ 304.87
306.79/308.78	c stratification level: 14
306.88/308.80	c bounds 777 >= 0 @ 304.885
306.88/308.80	c stratification level: 13
306.88/308.82	c bounds 675 >= 0 @ 304.893
306.88/308.82	c stratification level: 12
307.39/309.34	c #Conflicts:       2000 | #Constraints:     658985
307.39/309.34	c INPROCESSING
307.39/309.34	c GARBAGE COLLECT
307.39/309.34	c bounds 669 >= 0 @ 305.379
307.39/309.34	c stratification level: 11
308.58/310.51	c #Conflicts:       3000 | #Constraints:     658909
308.58/310.51	c bounds 601 >= 0 @ 306.519
308.58/310.51	c stratification level: 10
308.88/310.81	c bounds 597 >= 0 @ 306.788
308.88/310.81	c stratification level: 9
309.09/311.04	c #Conflicts:       4000 | #Constraints:     659911
309.09/311.04	c bounds 456 >= 0 @ 307.005
309.09/311.04	c stratification level: 8
314.76/316.70	c INPROCESSING
314.76/316.70	c GARBAGE COLLECT
314.76/316.70	c #Conflicts:       5000 | #Constraints:     659314
314.76/316.70	c #Conflicts:       6000 | #Constraints:     660314
314.76/316.70	c INPROCESSING
314.76/316.70	c GARBAGE COLLECT
314.76/316.70	c #Conflicts:       7000 | #Constraints:     659322
314.76/316.70	c #Conflicts:       8000 | #Constraints:     660322
314.76/316.70	c #Conflicts:       9000 | #Constraints:     661322
314.76/316.70	c INPROCESSING
314.76/316.70	c GARBAGE COLLECT
314.76/316.70	c bounds 419 >= 0 @ 312.493
314.76/316.70	c stratification level: 7
344.37/346.45	c #Conflicts:      10000 | #Constraints:     660026
344.37/346.45	c #Conflicts:      11000 | #Constraints:     661026
344.37/346.45	c #Conflicts:      12000 | #Constraints:     662026
344.37/346.45	c INPROCESSING
344.37/346.45	c GARBAGE COLLECT
344.37/346.45	c #Conflicts:      13000 | #Constraints:     660478
344.37/346.45	c #Conflicts:      14000 | #Constraints:     661478
344.37/346.45	c #Conflicts:      15000 | #Constraints:     662478
344.37/346.45	c INPROCESSING
344.37/346.45	c GARBAGE COLLECT
344.37/346.45	c #Conflicts:      16000 | #Constraints:     660714
344.37/346.45	c #Conflicts:      17000 | #Constraints:     661714
344.37/346.45	c #Conflicts:      18000 | #Constraints:     662714
344.37/346.45	c INPROCESSING
344.37/346.45	c GARBAGE COLLECT
344.37/346.45	c #Conflicts:      19000 | #Constraints:     660729
344.37/346.45	c #Conflicts:      20000 | #Constraints:     661729
344.37/346.45	c #Conflicts:      21000 | #Constraints:     662729
344.37/346.45	c INPROCESSING
344.37/346.45	c GARBAGE COLLECT
344.37/346.45	c #Conflicts:      22000 | #Constraints:     660536
344.37/346.45	c #Conflicts:      23000 | #Constraints:     661536
344.37/346.45	c #Conflicts:      24000 | #Constraints:     662536
344.37/346.45	c #Conflicts:      25000 | #Constraints:     663536
344.37/346.45	c INPROCESSING
344.37/346.45	c GARBAGE COLLECT
344.37/346.45	c #Conflicts:      26000 | #Constraints:     661144
344.37/346.45	c #Conflicts:      27000 | #Constraints:     662144
344.37/346.45	c #Conflicts:      28000 | #Constraints:     663144
344.37/346.45	c #Conflicts:      29000 | #Constraints:     664144
344.37/346.45	c INPROCESSING
344.37/346.45	c GARBAGE COLLECT
344.37/346.45	c #Conflicts:      30000 | #Constraints:     661538
344.37/346.45	c #Conflicts:      31000 | #Constraints:     662538
344.37/346.45	c #Conflicts:      32000 | #Constraints:     663538
344.37/346.45	c #Conflicts:      33000 | #Constraints:     664538
344.37/346.45	c INPROCESSING
344.37/346.45	c GARBAGE COLLECT
344.37/346.45	c #Conflicts:      34000 | #Constraints:     661741
344.37/346.45	c bounds 374 >= 0 @ 341.458
344.37/346.45	c stratification level: 6
438.98/441.30	c #Conflicts:      35000 | #Constraints:     662742
438.98/441.30	c #Conflicts:      36000 | #Constraints:     663742
438.98/441.30	c #Conflicts:      37000 | #Constraints:     664742
438.98/441.30	c INPROCESSING
438.98/441.30	c GARBAGE COLLECT
438.98/441.30	c #Conflicts:      38000 | #Constraints:     661747
438.98/441.30	c #Conflicts:      39000 | #Constraints:     662747
438.98/441.30	c #Conflicts:      40000 | #Constraints:     663747
438.98/441.30	c #Conflicts:      41000 | #Constraints:     664747
438.98/441.30	c INPROCESSING
438.98/441.30	c GARBAGE COLLECT
438.98/441.30	c #Conflicts:      42000 | #Constraints:     661550
438.98/441.30	c #Conflicts:      43000 | #Constraints:     662550
438.98/441.30	c #Conflicts:      44000 | #Constraints:     663550
438.98/441.30	c #Conflicts:      45000 | #Constraints:     664550
438.98/441.30	c #Conflicts:      46000 | #Constraints:     665550
438.98/441.30	c INPROCESSING
438.98/441.30	c GARBAGE COLLECT
438.98/441.30	c #Conflicts:      47000 | #Constraints:     662149
438.98/441.30	c #Conflicts:      48000 | #Constraints:     663149
438.98/441.30	c #Conflicts:      49000 | #Constraints:     664149
438.98/441.30	c #Conflicts:      50000 | #Constraints:     665149
438.98/441.30	c #Conflicts:      51000 | #Constraints:     666149
438.98/441.30	c INPROCESSING
438.98/441.30	c GARBAGE COLLECT
438.98/441.30	c #Conflicts:      52000 | #Constraints:     662551
438.98/441.30	c #Conflicts:      53000 | #Constraints:     663551
438.98/441.30	c #Conflicts:      54000 | #Constraints:     664551
438.98/441.30	c #Conflicts:      55000 | #Constraints:     665551
438.98/441.30	c #Conflicts:      56000 | #Constraints:     666551
438.98/441.30	c INPROCESSING
438.98/441.30	c GARBAGE COLLECT
438.98/441.30	c #Conflicts:      57000 | #Constraints:     662765
438.98/441.30	c #Conflicts:      58000 | #Constraints:     663765
438.98/441.30	c #Conflicts:      59000 | #Constraints:     664765
438.98/441.30	c #Conflicts:      60000 | #Constraints:     665765
438.98/441.30	c #Conflicts:      61000 | #Constraints:     666765
438.98/441.30	c INPROCESSING
438.98/441.30	c GARBAGE COLLECT
438.98/441.30	c #Conflicts:      62000 | #Constraints:     662768
438.98/441.30	c #Conflicts:      63000 | #Constraints:     663768
438.98/441.30	c #Conflicts:      64000 | #Constraints:     664768
438.98/441.30	c #Conflicts:      65000 | #Constraints:     665768
438.98/441.30	c #Conflicts:      66000 | #Constraints:     666768
438.98/441.30	c INPROCESSING
438.98/441.30	c GARBAGE COLLECT
438.98/441.30	c #Conflicts:      67000 | #Constraints:     662571
438.98/441.30	c #Conflicts:      68000 | #Constraints:     663571
438.98/441.30	c #Conflicts:      69000 | #Constraints:     664571
438.98/441.30	c #Conflicts:      70000 | #Constraints:     665571
438.98/441.30	c #Conflicts:      71000 | #Constraints:     666571
438.98/441.30	c #Conflicts:      72000 | #Constraints:     667571
438.98/441.30	c INPROCESSING
438.98/441.30	c GARBAGE COLLECT
438.98/441.30	c #Conflicts:      73000 | #Constraints:     663171
438.98/441.30	c #Conflicts:      74000 | #Constraints:     664171
438.98/441.30	c #Conflicts:      75000 | #Constraints:     665171
438.98/441.30	c #Conflicts:      76000 | #Constraints:     666171
438.98/441.30	c #Conflicts:      77000 | #Constraints:     667171
438.98/441.30	c #Conflicts:      78000 | #Constraints:     668171
438.98/441.30	c INPROCESSING
438.98/441.30	c GARBAGE COLLECT
438.98/441.30	c #Conflicts:      79000 | #Constraints:     663581
438.98/441.30	c #Conflicts:      80000 | #Constraints:     664581
438.98/441.30	c #Conflicts:      81000 | #Constraints:     665581
438.98/441.30	c #Conflicts:      82000 | #Constraints:     666581
438.98/441.30	c #Conflicts:      83000 | #Constraints:     667581
438.98/441.30	c #Conflicts:      84000 | #Constraints:     668581
438.98/441.30	c INPROCESSING
438.98/441.30	c GARBAGE COLLECT
438.98/441.30	c #Conflicts:      85000 | #Constraints:     663781
438.98/441.30	c #Conflicts:      86000 | #Constraints:     664781
438.98/441.30	c #Conflicts:      87000 | #Constraints:     665781
438.98/441.30	c #Conflicts:      88000 | #Constraints:     666781
438.98/441.30	c #Conflicts:      89000 | #Constraints:     667781
438.98/441.30	c #Conflicts:      90000 | #Constraints:     668781
438.98/441.30	c INPROCESSING
438.98/441.30	c GARBAGE COLLECT
438.98/441.30	c #Conflicts:      91000 | #Constraints:     663779
438.98/441.30	c #Conflicts:      92000 | #Constraints:     664779
438.98/441.30	c #Conflicts:      93000 | #Constraints:     665779
438.98/441.30	c #Conflicts:      94000 | #Constraints:     666779
438.98/441.30	c #Conflicts:      95000 | #Constraints:     667779
438.98/441.30	c #Conflicts:      96000 | #Constraints:     668779
438.98/441.30	c INPROCESSING
438.98/441.30	c GARBAGE COLLECT
438.98/441.30	c #Conflicts:      97000 | #Constraints:     663578
438.98/441.30	c #Conflicts:      98000 | #Constraints:     664578
438.98/441.30	c #Conflicts:      99000 | #Constraints:     665578
438.98/441.30	c #Conflicts:     100000 | #Constraints:     666578
438.98/441.30	c #Conflicts:     101000 | #Constraints:     667578
438.98/441.30	c #Conflicts:     102000 | #Constraints:     668578
438.98/441.30	c #Conflicts:     103000 | #Constraints:     669578
438.98/441.30	c INPROCESSING
438.98/441.30	c GARBAGE COLLECT
438.98/441.30	c #Conflicts:     104000 | #Constraints:     664177
438.98/441.30	c #Conflicts:     105000 | #Constraints:     665177
540.35/543.02	c #Conflicts:     106000 | #Constraints:     666177
540.35/543.02	c #Conflicts:     107000 | #Constraints:     667177
540.35/543.02	c #Conflicts:     108000 | #Constraints:     668177
540.35/543.02	c #Conflicts:     109000 | #Constraints:     669177
540.35/543.02	c #Conflicts:     110000 | #Constraints:     670177
540.35/543.02	c INPROCESSING
540.35/543.02	c GARBAGE COLLECT
540.35/543.02	c #Conflicts:     111000 | #Constraints:     664578
540.35/543.02	c #Conflicts:     112000 | #Constraints:     665578
540.35/543.02	c #Conflicts:     113000 | #Constraints:     666578
540.35/543.02	c #Conflicts:     114000 | #Constraints:     667578
540.35/543.02	c #Conflicts:     115000 | #Constraints:     668578
540.35/543.02	c #Conflicts:     116000 | #Constraints:     669578
540.35/543.02	c #Conflicts:     117000 | #Constraints:     670578
540.35/543.02	c INPROCESSING
540.35/543.02	c GARBAGE COLLECT
540.35/543.02	c #Conflicts:     118000 | #Constraints:     664780
540.35/543.02	c #Conflicts:     119000 | #Constraints:     665780
540.35/543.02	c #Conflicts:     120000 | #Constraints:     666780
540.35/543.02	c #Conflicts:     121000 | #Constraints:     667780
540.35/543.02	c #Conflicts:     122000 | #Constraints:     668780
540.35/543.02	c #Conflicts:     123000 | #Constraints:     669780
540.35/543.02	c #Conflicts:     124000 | #Constraints:     670780
540.35/543.02	c INPROCESSING
540.35/543.02	c GARBAGE COLLECT
540.35/543.02	c #Conflicts:     125000 | #Constraints:     664782
540.35/543.02	c #Conflicts:     126000 | #Constraints:     665782
540.35/543.02	c #Conflicts:     127000 | #Constraints:     666782
540.35/543.02	c #Conflicts:     128000 | #Constraints:     667782
540.35/543.02	c #Conflicts:     129000 | #Constraints:     668782
540.35/543.02	c #Conflicts:     130000 | #Constraints:     669782
540.35/543.02	c #Conflicts:     131000 | #Constraints:     670782
540.35/543.02	c INPROCESSING
540.35/543.02	c GARBAGE COLLECT
540.35/543.02	c #Conflicts:     132000 | #Constraints:     664577
540.35/543.02	c #Conflicts:     133000 | #Constraints:     665577
540.35/543.02	c #Conflicts:     134000 | #Constraints:     666577
540.35/543.02	c #Conflicts:     135000 | #Constraints:     667577
540.35/543.02	c #Conflicts:     136000 | #Constraints:     668577
540.35/543.02	c #Conflicts:     137000 | #Constraints:     669577
540.35/543.02	c #Conflicts:     138000 | #Constraints:     670577
540.35/543.02	c #Conflicts:     139000 | #Constraints:     671577
540.35/543.02	c INPROCESSING
540.35/543.02	c GARBAGE COLLECT
540.35/543.02	c #Conflicts:     140000 | #Constraints:     665193
540.35/543.02	c #Conflicts:     141000 | #Constraints:     666193
540.35/543.02	c #Conflicts:     142000 | #Constraints:     667193
540.35/543.02	c #Conflicts:     143000 | #Constraints:     668193
540.35/543.02	c #Conflicts:     144000 | #Constraints:     669193
540.35/543.02	c #Conflicts:     145000 | #Constraints:     670193
540.35/543.02	c #Conflicts:     146000 | #Constraints:     671193
540.35/543.02	c #Conflicts:     147000 | #Constraints:     672193
540.35/543.02	c INPROCESSING
540.35/543.02	c GARBAGE COLLECT
540.35/543.02	c #Conflicts:     148000 | #Constraints:     665592
540.35/543.02	c #Conflicts:     149000 | #Constraints:     666592
540.35/543.02	c #Conflicts:     150000 | #Constraints:     667592
540.35/543.02	c #Conflicts:     151000 | #Constraints:     668592
540.35/543.02	c #Conflicts:     152000 | #Constraints:     669592
540.35/543.02	c #Conflicts:     153000 | #Constraints:     670592
540.35/543.02	c #Conflicts:     154000 | #Constraints:     671592
540.35/543.02	c #Conflicts:     155000 | #Constraints:     672592
540.35/543.02	c INPROCESSING
540.35/543.02	c GARBAGE COLLECT
540.35/543.02	c #Conflicts:     156000 | #Constraints:     665796
540.35/543.02	c #Conflicts:     157000 | #Constraints:     666796
540.35/543.02	c #Conflicts:     158000 | #Constraints:     667796
540.35/543.02	c #Conflicts:     159000 | #Constraints:     668796
540.35/543.02	c #Conflicts:     160000 | #Constraints:     669796
540.35/543.02	c #Conflicts:     161000 | #Constraints:     670796
540.35/543.02	c #Conflicts:     162000 | #Constraints:     671796
540.35/543.02	c #Conflicts:     163000 | #Constraints:     672796
540.35/543.02	c INPROCESSING
540.35/543.02	c GARBAGE COLLECT
540.35/543.02	c #Conflicts:     164000 | #Constraints:     665793
540.35/543.02	c #Conflicts:     165000 | #Constraints:     666793
540.35/543.02	c #Conflicts:     166000 | #Constraints:     667793
540.35/543.02	c #Conflicts:     167000 | #Constraints:     668793
540.35/543.02	c #Conflicts:     168000 | #Constraints:     669793
540.35/543.02	c #Conflicts:     169000 | #Constraints:     670793
540.35/543.02	c #Conflicts:     170000 | #Constraints:     671793
540.35/543.02	c #Conflicts:     171000 | #Constraints:     672793
540.35/543.02	c INPROCESSING
540.35/543.02	c GARBAGE COLLECT
540.35/543.02	c #Conflicts:     172000 | #Constraints:     665598
540.35/543.02	c #Conflicts:     173000 | #Constraints:     666598
540.35/543.02	c #Conflicts:     174000 | #Constraints:     667598
540.35/543.02	c #Conflicts:     175000 | #Constraints:     668598
540.35/543.02	c #Conflicts:     176000 | #Constraints:     669598
540.35/543.02	c #Conflicts:     177000 | #Constraints:     670598
540.35/543.02	c #Conflicts:     178000 | #Constraints:     671598
648.60/651.65	c #Conflicts:     179000 | #Constraints:     672598
648.60/651.65	c #Conflicts:     180000 | #Constraints:     673598
648.60/651.65	c INPROCESSING
648.60/651.65	c GARBAGE COLLECT
648.60/651.65	c #Conflicts:     181000 | #Constraints:     666192
648.60/651.65	c #Conflicts:     182000 | #Constraints:     667192
648.60/651.65	c #Conflicts:     183000 | #Constraints:     668192
648.60/651.65	c #Conflicts:     184000 | #Constraints:     669192
648.60/651.65	c #Conflicts:     185000 | #Constraints:     670192
648.60/651.65	c #Conflicts:     186000 | #Constraints:     671192
648.60/651.65	c #Conflicts:     187000 | #Constraints:     672192
648.60/651.65	c #Conflicts:     188000 | #Constraints:     673192
648.60/651.65	c #Conflicts:     189000 | #Constraints:     674192
648.60/651.65	c INPROCESSING
648.60/651.65	c GARBAGE COLLECT
648.60/651.65	c #Conflicts:     190000 | #Constraints:     666600
648.60/651.65	c #Conflicts:     191000 | #Constraints:     667600
648.60/651.65	c #Conflicts:     192000 | #Constraints:     668600
648.60/651.65	c #Conflicts:     193000 | #Constraints:     669600
648.60/651.65	c #Conflicts:     194000 | #Constraints:     670600
648.60/651.65	c #Conflicts:     195000 | #Constraints:     671600
648.60/651.65	c #Conflicts:     196000 | #Constraints:     672600
648.60/651.65	c #Conflicts:     197000 | #Constraints:     673600
648.60/651.65	c #Conflicts:     198000 | #Constraints:     674600
648.60/651.65	c INPROCESSING
648.60/651.65	c GARBAGE COLLECT
648.60/651.65	c #Conflicts:     199000 | #Constraints:     666791
648.60/651.65	c #Conflicts:     200000 | #Constraints:     667791
648.60/651.65	c #Conflicts:     201000 | #Constraints:     668791
648.60/651.65	c #Conflicts:     202000 | #Constraints:     669791
648.60/651.65	c #Conflicts:     203000 | #Constraints:     670791
648.60/651.65	c #Conflicts:     204000 | #Constraints:     671791
648.60/651.65	c #Conflicts:     205000 | #Constraints:     672791
648.60/651.65	c #Conflicts:     206000 | #Constraints:     673791
648.60/651.65	c #Conflicts:     207000 | #Constraints:     674791
648.60/651.65	c INPROCESSING
648.60/651.65	c GARBAGE COLLECT
648.60/651.65	c #Conflicts:     208000 | #Constraints:     666787
648.60/651.65	c #Conflicts:     209000 | #Constraints:     667787
648.60/651.65	c #Conflicts:     210000 | #Constraints:     668787
648.60/651.65	c #Conflicts:     211000 | #Constraints:     669787
648.60/651.65	c #Conflicts:     212000 | #Constraints:     670787
648.60/651.65	c #Conflicts:     213000 | #Constraints:     671787
648.60/651.65	c #Conflicts:     214000 | #Constraints:     672787
648.60/651.65	c #Conflicts:     215000 | #Constraints:     673787
648.60/651.65	c #Conflicts:     216000 | #Constraints:     674787
648.60/651.65	c INPROCESSING
648.60/651.65	c GARBAGE COLLECT
648.60/651.65	c #Conflicts:     217000 | #Constraints:     666593
648.60/651.65	c #Conflicts:     218000 | #Constraints:     667593
648.60/651.65	c #Conflicts:     219000 | #Constraints:     668593
648.60/651.65	c #Conflicts:     220000 | #Constraints:     669593
648.60/651.65	c #Conflicts:     221000 | #Constraints:     670593
648.60/651.65	c #Conflicts:     222000 | #Constraints:     671593
648.60/651.65	c #Conflicts:     223000 | #Constraints:     672593
648.60/651.65	c #Conflicts:     224000 | #Constraints:     673593
648.60/651.65	c #Conflicts:     225000 | #Constraints:     674593
648.60/651.65	c #Conflicts:     226000 | #Constraints:     675593
648.60/651.65	c INPROCESSING
648.60/651.65	c GARBAGE COLLECT
648.60/651.65	c #Conflicts:     227000 | #Constraints:     667191
648.60/651.65	c #Conflicts:     228000 | #Constraints:     668191
648.60/651.65	c #Conflicts:     229000 | #Constraints:     669191
648.60/651.65	c #Conflicts:     230000 | #Constraints:     670191
648.60/651.65	c #Conflicts:     231000 | #Constraints:     671191
648.60/651.65	c #Conflicts:     232000 | #Constraints:     672191
648.60/651.65	c #Conflicts:     233000 | #Constraints:     673191
648.60/651.65	c #Conflicts:     234000 | #Constraints:     674191
648.60/651.65	c #Conflicts:     235000 | #Constraints:     675191
648.60/651.65	c #Conflicts:     236000 | #Constraints:     676191
648.60/651.65	c INPROCESSING
648.60/651.65	c GARBAGE COLLECT
648.60/651.65	c #Conflicts:     237000 | #Constraints:     667596
648.60/651.65	c #Conflicts:     238000 | #Constraints:     668596
648.60/651.65	c #Conflicts:     239000 | #Constraints:     669596
648.60/651.65	c #Conflicts:     240000 | #Constraints:     670596
648.60/651.65	c #Conflicts:     241000 | #Constraints:     671596
648.60/651.65	c #Conflicts:     242000 | #Constraints:     672596
648.60/651.65	c #Conflicts:     243000 | #Constraints:     673596
648.60/651.65	c #Conflicts:     244000 | #Constraints:     674596
648.60/651.65	c #Conflicts:     245000 | #Constraints:     675596
648.60/651.65	c #Conflicts:     246000 | #Constraints:     676596
648.60/651.65	c INPROCESSING
648.60/651.65	c GARBAGE COLLECT
648.60/651.65	c #Conflicts:     247000 | #Constraints:     667799
648.60/651.65	c #Conflicts:     248000 | #Constraints:     668799
648.60/651.65	c #Conflicts:     249000 | #Constraints:     669799
648.60/651.65	c #Conflicts:     250000 | #Constraints:     670799
648.60/651.65	c #Conflicts:     251000 | #Constraints:     671799
648.60/651.65	c #Conflicts:     252000 | #Constraints:     672799
755.67/759.08	c #Conflicts:     253000 | #Constraints:     673799
755.67/759.08	c #Conflicts:     254000 | #Constraints:     674799
755.67/759.08	c #Conflicts:     255000 | #Constraints:     675799
755.67/759.08	c #Conflicts:     256000 | #Constraints:     676799
755.67/759.08	c INPROCESSING
755.67/759.08	c GARBAGE COLLECT
755.67/759.08	c #Conflicts:     257000 | #Constraints:     667801
755.67/759.08	c #Conflicts:     258000 | #Constraints:     668801
755.67/759.08	c #Conflicts:     259000 | #Constraints:     669801
755.67/759.08	c #Conflicts:     260000 | #Constraints:     670801
755.67/759.08	c #Conflicts:     261000 | #Constraints:     671801
755.67/759.08	c #Conflicts:     262000 | #Constraints:     672801
755.67/759.08	c #Conflicts:     263000 | #Constraints:     673801
755.67/759.08	c #Conflicts:     264000 | #Constraints:     674801
755.67/759.08	c #Conflicts:     265000 | #Constraints:     675801
755.67/759.08	c #Conflicts:     266000 | #Constraints:     676801
755.67/759.08	c INPROCESSING
755.67/759.08	c GARBAGE COLLECT
755.67/759.08	c #Conflicts:     267000 | #Constraints:     667596
755.67/759.08	c #Conflicts:     268000 | #Constraints:     668596
755.67/759.08	c #Conflicts:     269000 | #Constraints:     669596
755.67/759.08	c #Conflicts:     270000 | #Constraints:     670596
755.67/759.08	c #Conflicts:     271000 | #Constraints:     671596
755.67/759.08	c #Conflicts:     272000 | #Constraints:     672596
755.67/759.08	c #Conflicts:     273000 | #Constraints:     673596
755.67/759.08	c #Conflicts:     274000 | #Constraints:     674596
755.67/759.08	c #Conflicts:     275000 | #Constraints:     675596
755.67/759.08	c #Conflicts:     276000 | #Constraints:     676596
755.67/759.08	c #Conflicts:     277000 | #Constraints:     677596
755.67/759.08	c INPROCESSING
755.67/759.08	c GARBAGE COLLECT
755.67/759.08	c #Conflicts:     278000 | #Constraints:     668201
755.67/759.08	c #Conflicts:     279000 | #Constraints:     669201
755.67/759.08	c #Conflicts:     280000 | #Constraints:     670201
755.67/759.08	c #Conflicts:     281000 | #Constraints:     671201
755.67/759.08	c #Conflicts:     282000 | #Constraints:     672201
755.67/759.08	c #Conflicts:     283000 | #Constraints:     673201
755.67/759.08	c #Conflicts:     284000 | #Constraints:     674201
755.67/759.08	c #Conflicts:     285000 | #Constraints:     675201
755.67/759.08	c #Conflicts:     286000 | #Constraints:     676201
755.67/759.08	c #Conflicts:     287000 | #Constraints:     677201
755.67/759.08	c #Conflicts:     288000 | #Constraints:     678201
755.67/759.08	c INPROCESSING
755.67/759.08	c GARBAGE COLLECT
755.67/759.08	c #Conflicts:     289000 | #Constraints:     668596
755.67/759.08	c #Conflicts:     290000 | #Constraints:     669596
755.67/759.08	c #Conflicts:     291000 | #Constraints:     670596
755.67/759.08	c #Conflicts:     292000 | #Constraints:     671596
755.67/759.08	c #Conflicts:     293000 | #Constraints:     672596
755.67/759.08	c #Conflicts:     294000 | #Constraints:     673596
755.67/759.08	c #Conflicts:     295000 | #Constraints:     674596
755.67/759.08	c #Conflicts:     296000 | #Constraints:     675596
755.67/759.08	c #Conflicts:     297000 | #Constraints:     676596
755.67/759.08	c #Conflicts:     298000 | #Constraints:     677596
755.67/759.08	c #Conflicts:     299000 | #Constraints:     678596
755.67/759.08	c INPROCESSING
755.67/759.08	c GARBAGE COLLECT
755.67/759.08	c #Conflicts:     300000 | #Constraints:     668790
755.67/759.08	c #Conflicts:     301000 | #Constraints:     669790
755.67/759.08	c #Conflicts:     302000 | #Constraints:     670790
755.67/759.08	c #Conflicts:     303000 | #Constraints:     671790
755.67/759.08	c #Conflicts:     304000 | #Constraints:     672790
755.67/759.08	c #Conflicts:     305000 | #Constraints:     673790
755.67/759.08	c #Conflicts:     306000 | #Constraints:     674790
755.67/759.08	c #Conflicts:     307000 | #Constraints:     675790
755.67/759.08	c #Conflicts:     308000 | #Constraints:     676790
755.67/759.08	c #Conflicts:     309000 | #Constraints:     677790
755.67/759.08	c #Conflicts:     310000 | #Constraints:     678790
755.67/759.08	c INPROCESSING
755.67/759.08	c GARBAGE COLLECT
755.67/759.08	c #Conflicts:     311000 | #Constraints:     668795
755.67/759.08	c #Conflicts:     312000 | #Constraints:     669795
755.67/759.08	c #Conflicts:     313000 | #Constraints:     670795
755.67/759.08	c #Conflicts:     314000 | #Constraints:     671795
755.67/759.08	c #Conflicts:     315000 | #Constraints:     672795
755.67/759.08	c #Conflicts:     316000 | #Constraints:     673795
755.67/759.08	c #Conflicts:     317000 | #Constraints:     674795
755.67/759.08	c #Conflicts:     318000 | #Constraints:     675795
755.67/759.08	c #Conflicts:     319000 | #Constraints:     676795
755.67/759.08	c #Conflicts:     320000 | #Constraints:     677795
755.67/759.08	c #Conflicts:     321000 | #Constraints:     678795
755.67/759.08	c INPROCESSING
755.67/759.08	c GARBAGE COLLECT
755.67/759.08	c #Conflicts:     322000 | #Constraints:     668599
755.67/759.08	c #Conflicts:     323000 | #Constraints:     669599
755.67/759.08	c #Conflicts:     324000 | #Constraints:     670599
755.67/759.08	c #Conflicts:     325000 | #Constraints:     671599
755.67/759.08	c #Conflicts:     326000 | #Constraints:     672599
865.01/868.79	c #Conflicts:     327000 | #Constraints:     673599
865.01/868.79	c #Conflicts:     328000 | #Constraints:     674599
865.01/868.79	c #Conflicts:     329000 | #Constraints:     675599
865.01/868.79	c #Conflicts:     330000 | #Constraints:     676599
865.01/868.79	c #Conflicts:     331000 | #Constraints:     677599
865.01/868.79	c #Conflicts:     332000 | #Constraints:     678599
865.01/868.79	c #Conflicts:     333000 | #Constraints:     679599
865.01/868.79	c INPROCESSING
865.01/868.79	c GARBAGE COLLECT
865.01/868.79	c #Conflicts:     334000 | #Constraints:     669201
865.01/868.79	c #Conflicts:     335000 | #Constraints:     670201
865.01/868.79	c #Conflicts:     336000 | #Constraints:     671201
865.01/868.79	c #Conflicts:     337000 | #Constraints:     672201
865.01/868.79	c #Conflicts:     338000 | #Constraints:     673201
865.01/868.79	c #Conflicts:     339000 | #Constraints:     674201
865.01/868.79	c #Conflicts:     340000 | #Constraints:     675201
865.01/868.79	c #Conflicts:     341000 | #Constraints:     676201
865.01/868.79	c #Conflicts:     342000 | #Constraints:     677201
865.01/868.79	c #Conflicts:     343000 | #Constraints:     678201
865.01/868.79	c #Conflicts:     344000 | #Constraints:     679201
865.01/868.79	c #Conflicts:     345000 | #Constraints:     680201
865.01/868.79	c INPROCESSING
865.01/868.79	c GARBAGE COLLECT
865.01/868.79	c #Conflicts:     346000 | #Constraints:     669614
865.01/868.79	c #Conflicts:     347000 | #Constraints:     670614
865.01/868.79	c #Conflicts:     348000 | #Constraints:     671614
865.01/868.79	c #Conflicts:     349000 | #Constraints:     672614
865.01/868.79	c #Conflicts:     350000 | #Constraints:     673614
865.01/868.79	c #Conflicts:     351000 | #Constraints:     674614
865.01/868.79	c #Conflicts:     352000 | #Constraints:     675614
865.01/868.79	c #Conflicts:     353000 | #Constraints:     676614
865.01/868.79	c #Conflicts:     354000 | #Constraints:     677614
865.01/868.79	c #Conflicts:     355000 | #Constraints:     678614
865.01/868.79	c #Conflicts:     356000 | #Constraints:     679614
865.01/868.79	c #Conflicts:     357000 | #Constraints:     680614
865.01/868.79	c INPROCESSING
865.01/868.79	c GARBAGE COLLECT
865.01/868.79	c #Conflicts:     358000 | #Constraints:     669803
865.01/868.79	c #Conflicts:     359000 | #Constraints:     670803
865.01/868.79	c #Conflicts:     360000 | #Constraints:     671803
865.01/868.79	c #Conflicts:     361000 | #Constraints:     672803
865.01/868.79	c #Conflicts:     362000 | #Constraints:     673803
865.01/868.79	c #Conflicts:     363000 | #Constraints:     674803
865.01/868.79	c #Conflicts:     364000 | #Constraints:     675803
865.01/868.79	c #Conflicts:     365000 | #Constraints:     676803
865.01/868.79	c #Conflicts:     366000 | #Constraints:     677803
865.01/868.79	c #Conflicts:     367000 | #Constraints:     678803
865.01/868.79	c #Conflicts:     368000 | #Constraints:     679803
865.01/868.79	c #Conflicts:     369000 | #Constraints:     680803
865.01/868.79	c INPROCESSING
865.01/868.79	c GARBAGE COLLECT
865.01/868.79	c #Conflicts:     370000 | #Constraints:     669802
865.01/868.79	c #Conflicts:     371000 | #Constraints:     670802
865.01/868.79	c #Conflicts:     372000 | #Constraints:     671802
865.01/868.79	c #Conflicts:     373000 | #Constraints:     672802
865.01/868.79	c #Conflicts:     374000 | #Constraints:     673802
865.01/868.79	c #Conflicts:     375000 | #Constraints:     674802
865.01/868.79	c #Conflicts:     376000 | #Constraints:     675802
865.01/868.79	c #Conflicts:     377000 | #Constraints:     676802
865.01/868.79	c #Conflicts:     378000 | #Constraints:     677802
865.01/868.79	c #Conflicts:     379000 | #Constraints:     678802
865.01/868.79	c #Conflicts:     380000 | #Constraints:     679802
865.01/868.79	c #Conflicts:     381000 | #Constraints:     680802
865.01/868.79	c INPROCESSING
865.01/868.79	c GARBAGE COLLECT
865.01/868.79	c #Conflicts:     382000 | #Constraints:     669610
865.01/868.79	c #Conflicts:     383000 | #Constraints:     670610
865.01/868.79	c #Conflicts:     384000 | #Constraints:     671610
865.01/868.79	c #Conflicts:     385000 | #Constraints:     672610
865.01/868.79	c #Conflicts:     386000 | #Constraints:     673610
865.01/868.79	c #Conflicts:     387000 | #Constraints:     674610
865.01/868.79	c #Conflicts:     388000 | #Constraints:     675610
865.01/868.79	c #Conflicts:     389000 | #Constraints:     676610
865.01/868.79	c #Conflicts:     390000 | #Constraints:     677610
865.01/868.79	c #Conflicts:     391000 | #Constraints:     678610
865.01/868.79	c #Conflicts:     392000 | #Constraints:     679610
865.01/868.79	c #Conflicts:     393000 | #Constraints:     680610
865.01/868.79	c #Conflicts:     394000 | #Constraints:     681610
865.01/868.79	c INPROCESSING
865.01/868.79	c GARBAGE COLLECT
865.01/868.79	c #Conflicts:     395000 | #Constraints:     670206
865.01/868.79	c #Conflicts:     396000 | #Constraints:     671206
865.01/868.79	c #Conflicts:     397000 | #Constraints:     672206
865.01/868.79	c #Conflicts:     398000 | #Constraints:     673206
865.01/868.79	c #Conflicts:     399000 | #Constraints:     674206
865.01/868.79	c #Conflicts:     400000 | #Constraints:     675206
865.01/868.79	c #Conflicts:     401000 | #Constraints:     676206
986.43/990.56	c #Conflicts:     402000 | #Constraints:     677206
986.43/990.56	c #Conflicts:     403000 | #Constraints:     678206
986.43/990.56	c #Conflicts:     404000 | #Constraints:     679206
986.43/990.56	c #Conflicts:     405000 | #Constraints:     680206
986.43/990.56	c #Conflicts:     406000 | #Constraints:     681206
986.43/990.56	c #Conflicts:     407000 | #Constraints:     682206
986.43/990.56	c INPROCESSING
986.43/990.56	c GARBAGE COLLECT
986.43/990.56	c #Conflicts:     408000 | #Constraints:     670608
986.43/990.56	c #Conflicts:     409000 | #Constraints:     671608
986.43/990.56	c #Conflicts:     410000 | #Constraints:     672608
986.43/990.56	c #Conflicts:     411000 | #Constraints:     673608
986.43/990.56	c #Conflicts:     412000 | #Constraints:     674608
986.43/990.56	c #Conflicts:     413000 | #Constraints:     675608
986.43/990.56	c #Conflicts:     414000 | #Constraints:     676608
986.43/990.56	c #Conflicts:     415000 | #Constraints:     677608
986.43/990.56	c #Conflicts:     416000 | #Constraints:     678608
986.43/990.56	c #Conflicts:     417000 | #Constraints:     679608
986.43/990.56	c #Conflicts:     418000 | #Constraints:     680608
986.43/990.56	c #Conflicts:     419000 | #Constraints:     681608
986.43/990.56	c #Conflicts:     420000 | #Constraints:     682608
986.43/990.56	c INPROCESSING
986.43/990.56	c GARBAGE COLLECT
986.43/990.56	c #Conflicts:     421000 | #Constraints:     670811
986.43/990.56	c #Conflicts:     422000 | #Constraints:     671811
986.43/990.56	c #Conflicts:     423000 | #Constraints:     672811
986.43/990.56	c #Conflicts:     424000 | #Constraints:     673811
986.43/990.56	c #Conflicts:     425000 | #Constraints:     674811
986.43/990.56	c #Conflicts:     426000 | #Constraints:     675811
986.43/990.56	c #Conflicts:     427000 | #Constraints:     676811
986.43/990.56	c #Conflicts:     428000 | #Constraints:     677811
986.43/990.56	c #Conflicts:     429000 | #Constraints:     678811
986.43/990.56	c #Conflicts:     430000 | #Constraints:     679811
986.43/990.56	c #Conflicts:     431000 | #Constraints:     680811
986.43/990.56	c #Conflicts:     432000 | #Constraints:     681811
986.43/990.56	c #Conflicts:     433000 | #Constraints:     682811
986.43/990.56	c INPROCESSING
986.43/990.56	c GARBAGE COLLECT
986.43/990.56	c #Conflicts:     434000 | #Constraints:     670816
986.43/990.56	c #Conflicts:     435000 | #Constraints:     671816
986.43/990.56	c #Conflicts:     436000 | #Constraints:     672816
986.43/990.56	c #Conflicts:     437000 | #Constraints:     673816
986.43/990.56	c #Conflicts:     438000 | #Constraints:     674816
986.43/990.56	c #Conflicts:     439000 | #Constraints:     675816
986.43/990.56	c #Conflicts:     440000 | #Constraints:     676816
986.43/990.56	c #Conflicts:     441000 | #Constraints:     677816
986.43/990.56	c #Conflicts:     442000 | #Constraints:     678816
986.43/990.56	c #Conflicts:     443000 | #Constraints:     679816
986.43/990.56	c #Conflicts:     444000 | #Constraints:     680816
986.43/990.56	c #Conflicts:     445000 | #Constraints:     681816
986.43/990.56	c #Conflicts:     446000 | #Constraints:     682816
986.43/990.56	c INPROCESSING
986.43/990.56	c GARBAGE COLLECT
986.43/990.56	c #Conflicts:     447000 | #Constraints:     670619
986.43/990.56	c #Conflicts:     448000 | #Constraints:     671619
986.43/990.56	c #Conflicts:     449000 | #Constraints:     672619
986.43/990.56	c #Conflicts:     450000 | #Constraints:     673619
986.43/990.56	c #Conflicts:     451000 | #Constraints:     674619
986.43/990.56	c #Conflicts:     452000 | #Constraints:     675619
986.43/990.56	c #Conflicts:     453000 | #Constraints:     676619
986.43/990.56	c #Conflicts:     454000 | #Constraints:     677619
986.43/990.56	c #Conflicts:     455000 | #Constraints:     678619
986.43/990.56	c #Conflicts:     456000 | #Constraints:     679619
986.43/990.56	c #Conflicts:     457000 | #Constraints:     680619
986.43/990.56	c #Conflicts:     458000 | #Constraints:     681619
986.43/990.56	c #Conflicts:     459000 | #Constraints:     682619
986.43/990.56	c #Conflicts:     460000 | #Constraints:     683619
986.43/990.56	c INPROCESSING
986.43/990.56	c GARBAGE COLLECT
986.43/990.56	c #Conflicts:     461000 | #Constraints:     671222
986.43/990.56	c #Conflicts:     462000 | #Constraints:     672222
986.43/990.56	c #Conflicts:     463000 | #Constraints:     673222
986.43/990.56	c #Conflicts:     464000 | #Constraints:     674222
986.43/990.56	c #Conflicts:     465000 | #Constraints:     675222
986.43/990.56	c #Conflicts:     466000 | #Constraints:     676222
986.43/990.56	c #Conflicts:     467000 | #Constraints:     677222
986.43/990.56	c #Conflicts:     468000 | #Constraints:     678222
986.43/990.56	c #Conflicts:     469000 | #Constraints:     679222
986.43/990.56	c #Conflicts:     470000 | #Constraints:     680222
986.43/990.56	c #Conflicts:     471000 | #Constraints:     681222
986.43/990.56	c #Conflicts:     472000 | #Constraints:     682222
986.43/990.56	c #Conflicts:     473000 | #Constraints:     683222
986.43/990.56	c #Conflicts:     474000 | #Constraints:     684222
986.43/990.56	c INPROCESSING
986.43/990.56	c GARBAGE COLLECT
986.43/990.56	c #Conflicts:     475000 | #Constraints:     671612
986.43/990.56	c #Conflicts:     476000 | #Constraints:     672612
1103.56/1108.05	c #Conflicts:     477000 | #Constraints:     673612
1103.56/1108.05	c #Conflicts:     478000 | #Constraints:     674612
1103.56/1108.05	c #Conflicts:     479000 | #Constraints:     675612
1103.56/1108.05	c #Conflicts:     480000 | #Constraints:     676612
1103.56/1108.05	c #Conflicts:     481000 | #Constraints:     677612
1103.56/1108.05	c #Conflicts:     482000 | #Constraints:     678612
1103.56/1108.05	c #Conflicts:     483000 | #Constraints:     679612
1103.56/1108.05	c #Conflicts:     484000 | #Constraints:     680612
1103.56/1108.05	c #Conflicts:     485000 | #Constraints:     681612
1103.56/1108.05	c #Conflicts:     486000 | #Constraints:     682612
1103.56/1108.05	c #Conflicts:     487000 | #Constraints:     683612
1103.56/1108.05	c #Conflicts:     488000 | #Constraints:     684612
1103.56/1108.05	c INPROCESSING
1103.56/1108.05	c GARBAGE COLLECT
1103.56/1108.05	c #Conflicts:     489000 | #Constraints:     671815
1103.56/1108.05	c #Conflicts:     490000 | #Constraints:     672815
1103.56/1108.05	c #Conflicts:     491000 | #Constraints:     673815
1103.56/1108.05	c #Conflicts:     492000 | #Constraints:     674815
1103.56/1108.05	c #Conflicts:     493000 | #Constraints:     675815
1103.56/1108.05	c #Conflicts:     494000 | #Constraints:     676815
1103.56/1108.05	c #Conflicts:     495000 | #Constraints:     677815
1103.56/1108.05	c #Conflicts:     496000 | #Constraints:     678815
1103.56/1108.05	c #Conflicts:     497000 | #Constraints:     679815
1103.56/1108.05	c #Conflicts:     498000 | #Constraints:     680815
1103.56/1108.05	c #Conflicts:     499000 | #Constraints:     681815
1103.56/1108.05	c #Conflicts:     500000 | #Constraints:     682815
1103.56/1108.05	c #Conflicts:     501000 | #Constraints:     683815
1103.56/1108.05	c #Conflicts:     502000 | #Constraints:     684815
1103.56/1108.05	c INPROCESSING
1103.56/1108.05	c GARBAGE COLLECT
1103.56/1108.05	c #Conflicts:     503000 | #Constraints:     671808
1103.56/1108.05	c #Conflicts:     504000 | #Constraints:     672808
1103.56/1108.05	c #Conflicts:     505000 | #Constraints:     673808
1103.56/1108.05	c #Conflicts:     506000 | #Constraints:     674808
1103.56/1108.05	c #Conflicts:     507000 | #Constraints:     675808
1103.56/1108.05	c #Conflicts:     508000 | #Constraints:     676808
1103.56/1108.05	c #Conflicts:     509000 | #Constraints:     677808
1103.56/1108.05	c #Conflicts:     510000 | #Constraints:     678808
1103.56/1108.05	c #Conflicts:     511000 | #Constraints:     679808
1103.56/1108.05	c #Conflicts:     512000 | #Constraints:     680808
1103.56/1108.05	c #Conflicts:     513000 | #Constraints:     681808
1103.56/1108.05	c #Conflicts:     514000 | #Constraints:     682808
1103.56/1108.05	c #Conflicts:     515000 | #Constraints:     683808
1103.56/1108.05	c #Conflicts:     516000 | #Constraints:     684808
1103.56/1108.05	c INPROCESSING
1103.56/1108.05	c GARBAGE COLLECT
1103.56/1108.05	c #Conflicts:     517000 | #Constraints:     671617
1103.56/1108.05	c #Conflicts:     518000 | #Constraints:     672617
1103.56/1108.05	c #Conflicts:     519000 | #Constraints:     673617
1103.56/1108.05	c #Conflicts:     520000 | #Constraints:     674617
1103.56/1108.05	c #Conflicts:     521000 | #Constraints:     675617
1103.56/1108.05	c #Conflicts:     522000 | #Constraints:     676617
1103.56/1108.05	c #Conflicts:     523000 | #Constraints:     677617
1103.56/1108.05	c #Conflicts:     524000 | #Constraints:     678617
1103.56/1108.05	c #Conflicts:     525000 | #Constraints:     679617
1103.56/1108.05	c #Conflicts:     526000 | #Constraints:     680617
1103.56/1108.05	c #Conflicts:     527000 | #Constraints:     681617
1103.56/1108.05	c #Conflicts:     528000 | #Constraints:     682617
1103.56/1108.05	c #Conflicts:     529000 | #Constraints:     683617
1103.56/1108.05	c #Conflicts:     530000 | #Constraints:     684617
1103.56/1108.05	c #Conflicts:     531000 | #Constraints:     685617
1103.56/1108.05	c INPROCESSING
1103.56/1108.05	c GARBAGE COLLECT
1103.56/1108.05	c #Conflicts:     532000 | #Constraints:     672214
1103.56/1108.05	c #Conflicts:     533000 | #Constraints:     673214
1103.56/1108.05	c #Conflicts:     534000 | #Constraints:     674214
1103.56/1108.05	c #Conflicts:     535000 | #Constraints:     675214
1103.56/1108.05	c #Conflicts:     536000 | #Constraints:     676214
1103.56/1108.05	c #Conflicts:     537000 | #Constraints:     677214
1103.56/1108.05	c #Conflicts:     538000 | #Constraints:     678214
1103.56/1108.05	c #Conflicts:     539000 | #Constraints:     679214
1103.56/1108.05	c #Conflicts:     540000 | #Constraints:     680214
1103.56/1108.05	c #Conflicts:     541000 | #Constraints:     681214
1103.56/1108.05	c #Conflicts:     542000 | #Constraints:     682214
1103.56/1108.05	c #Conflicts:     543000 | #Constraints:     683214
1103.56/1108.05	c #Conflicts:     544000 | #Constraints:     684214
1103.56/1108.05	c #Conflicts:     545000 | #Constraints:     685214
1103.56/1108.05	c #Conflicts:     546000 | #Constraints:     686214
1103.56/1108.05	c INPROCESSING
1103.56/1108.05	c GARBAGE COLLECT
1103.56/1108.05	c #Conflicts:     547000 | #Constraints:     672619
1103.56/1108.05	c #Conflicts:     548000 | #Constraints:     673619
1103.56/1108.05	c #Conflicts:     549000 | #Constraints:     674619
1103.56/1108.05	c #Conflicts:     550000 | #Constraints:     675619
1103.56/1108.05	c #Conflicts:     551000 | #Constraints:     676619
1103.56/1108.05	c #Conflicts:     552000 | #Constraints:     677619
1134.85/1139.48	c #Conflicts:     553000 | #Constraints:     678619
1134.85/1139.48	c #Conflicts:     554000 | #Constraints:     679619
1134.85/1139.48	c #Conflicts:     555000 | #Constraints:     680619
1134.85/1139.48	c #Conflicts:     556000 | #Constraints:     681619
1134.85/1139.48	c #Conflicts:     557000 | #Constraints:     682619
1134.85/1139.48	c #Conflicts:     558000 | #Constraints:     683619
1134.85/1139.48	c #Conflicts:     559000 | #Constraints:     684619
1134.85/1139.48	c #Conflicts:     560000 | #Constraints:     685619
1134.85/1139.48	c #Conflicts:     561000 | #Constraints:     686619
1134.85/1139.48	c INPROCESSING
1134.85/1139.48	c GARBAGE COLLECT
1134.85/1139.48	c #Conflicts:     562000 | #Constraints:     672813
1134.85/1139.48	c #Conflicts:     563000 | #Constraints:     673813
1134.85/1139.48	c #Conflicts:     564000 | #Constraints:     674813
1134.85/1139.48	c #Conflicts:     565000 | #Constraints:     675813
1134.85/1139.48	c #Conflicts:     566000 | #Constraints:     676813
1134.85/1139.48	c #Conflicts:     567000 | #Constraints:     677813
1134.85/1139.48	c #Conflicts:     568000 | #Constraints:     678813
1134.85/1139.48	c #Conflicts:     569000 | #Constraints:     679813
1134.85/1139.48	c #Conflicts:     570000 | #Constraints:     680813
1134.85/1139.48	c #Conflicts:     571000 | #Constraints:     681813
1134.85/1139.48	c #Conflicts:     572000 | #Constraints:     682813
1134.85/1139.48	c #Conflicts:     573000 | #Constraints:     683813
1134.85/1139.48	c bounds 318 >= 0 @ 1122.22
1134.85/1139.48	c stratification level: 5
1809.49/1816.46	c bounds 318 >= 5 @ 1122.42
1809.49/1816.46	c #Conflicts:     574000 | #Constraints:     684815
1809.49/1816.46	c #Conflicts:     575000 | #Constraints:     685815
1809.49/1816.46	c #Conflicts:     576000 | #Constraints:     686815
1809.49/1816.46	c INPROCESSING
1809.49/1816.46	c GARBAGE COLLECT
1809.49/1816.46	c #Conflicts:     577000 | #Constraints:     672796
1809.49/1816.46	c #Conflicts:     578000 | #Constraints:     673796
1809.49/1816.46	c #Conflicts:     579000 | #Constraints:     674796
1809.49/1816.46	c #Conflicts:     580000 | #Constraints:     675796
1809.49/1816.46	c #Conflicts:     581000 | #Constraints:     676796
1809.49/1816.46	c #Conflicts:     582000 | #Constraints:     677796
1809.49/1816.46	c #Conflicts:     583000 | #Constraints:     678796
1809.49/1816.46	c #Conflicts:     584000 | #Constraints:     679796
1809.49/1816.46	c #Conflicts:     585000 | #Constraints:     680796
1809.49/1816.46	c #Conflicts:     586000 | #Constraints:     681796
1809.49/1816.46	c #Conflicts:     587000 | #Constraints:     682796
1809.49/1816.46	c #Conflicts:     588000 | #Constraints:     683796
1809.49/1816.46	c #Conflicts:     589000 | #Constraints:     684796
1809.49/1816.46	c #Conflicts:     590000 | #Constraints:     685796
1809.49/1816.46	c #Conflicts:     591000 | #Constraints:     686796
1809.49/1816.46	c INPROCESSING
1809.49/1816.46	c GARBAGE COLLECT
1809.49/1816.46	c #Conflicts:     592000 | #Constraints:     672559
1809.49/1816.46	c #Conflicts:     593000 | #Constraints:     673559
1809.49/1816.46	c #Conflicts:     594000 | #Constraints:     674559
1809.49/1816.46	c #Conflicts:     595000 | #Constraints:     675559
1809.49/1816.46	c #Conflicts:     596000 | #Constraints:     676559
1809.49/1816.46	c #Conflicts:     597000 | #Constraints:     677559
1809.49/1816.46	c #Conflicts:     598000 | #Constraints:     678559
1809.49/1816.46	c #Conflicts:     599000 | #Constraints:     679559
1809.49/1816.46	c #Conflicts:     600000 | #Constraints:     680559
1809.49/1816.46	c #Conflicts:     601000 | #Constraints:     681559
1809.49/1816.46	c #Conflicts:     602000 | #Constraints:     682559
1809.49/1816.46	c #Conflicts:     603000 | #Constraints:     683559
1809.49/1816.46	c #Conflicts:     604000 | #Constraints:     684559
1809.49/1816.46	c #Conflicts:     605000 | #Constraints:     685559
1809.49/1816.46	c #Conflicts:     606000 | #Constraints:     686559
1809.49/1816.46	c #Conflicts:     607000 | #Constraints:     687559
1809.49/1816.46	c INPROCESSING
1809.49/1816.46	c #Conflicts:     608000 | #Constraints:     673162
1809.49/1816.46	c #Conflicts:     609000 | #Constraints:     674162
1809.49/1816.46	c #Conflicts:     610000 | #Constraints:     675162
1809.49/1816.46	c #Conflicts:     611000 | #Constraints:     676162
1809.49/1816.46	c #Conflicts:     612000 | #Constraints:     677162
1809.49/1816.46	c #Conflicts:     613000 | #Constraints:     678162
1809.49/1816.46	c #Conflicts:     614000 | #Constraints:     679162
1809.49/1816.46	c #Conflicts:     615000 | #Constraints:     680162
1809.49/1816.46	c #Conflicts:     616000 | #Constraints:     681162
1809.49/1816.46	c #Conflicts:     617000 | #Constraints:     682162
1809.49/1816.46	c #Conflicts:     618000 | #Constraints:     683162
1809.49/1816.46	c #Conflicts:     619000 | #Constraints:     684162
1809.49/1816.46	c #Conflicts:     620000 | #Constraints:     685162
1809.49/1816.46	c #Conflicts:     621000 | #Constraints:     686162
1809.49/1816.46	c #Conflicts:     622000 | #Constraints:     687162
1809.49/1816.46	c #Conflicts:     623000 | #Constraints:     688162
1809.49/1816.46	c INPROCESSING
1809.49/1816.46	c GARBAGE COLLECT
1809.49/1816.46	c #Conflicts:     624000 | #Constraints:     673552
1809.49/1816.46	c #Conflicts:     625000 | #Constraints:     674552
1809.49/1816.46	c #Conflicts:     626000 | #Constraints:     675552
1809.49/1816.46	c #Conflicts:     627000 | #Constraints:     676552
1809.49/1816.46	c #Conflicts:     628000 | #Constraints:     677552
1809.49/1816.46	c #Conflicts:     629000 | #Constraints:     678552
1809.49/1816.46	c #Conflicts:     630000 | #Constraints:     679552
1809.49/1816.46	c #Conflicts:     631000 | #Constraints:     680552
1809.49/1816.46	c #Conflicts:     632000 | #Constraints:     681552
1809.49/1816.46	c #Conflicts:     633000 | #Constraints:     682552
1809.49/1816.46	c #Conflicts:     634000 | #Constraints:     683552
1809.49/1816.46	c #Conflicts:     635000 | #Constraints:     684552
1809.49/1816.46	c #Conflicts:     636000 | #Constraints:     685552
1809.49/1816.46	c #Conflicts:     637000 | #Constraints:     686552
1809.49/1816.46	c #Conflicts:     638000 | #Constraints:     687552
1809.49/1816.46	c #Conflicts:     639000 | #Constraints:     688552
1809.49/1816.46	c INPROCESSING
1809.49/1816.46	c GARBAGE COLLECT
1809.49/1816.46	c #Conflicts:     640000 | #Constraints:     673738
1809.49/1816.46	c #Conflicts:     641000 | #Constraints:     674738
1809.49/1816.46	c #Conflicts:     642000 | #Constraints:     675738
1809.49/1816.46	c #Conflicts:     643000 | #Constraints:     676738
1809.49/1816.46	c #Conflicts:     644000 | #Constraints:     677738
1809.49/1816.46	c #Conflicts:     645000 | #Constraints:     678738
1809.49/1816.46	c #Conflicts:     646000 | #Constraints:     679738
1809.49/1816.46	c #Conflicts:     647000 | #Constraints:     680738
1809.49/1816.46	c #Conflicts:     648000 | #Constraints:     681738
1809.49/1816.46	c #Conflicts:     649000 | #Constraints:     682738
3115.14/3126.79	c #Conflicts:     650000 | #Constraints:     683738
3115.14/3126.79	c #Conflicts:     651000 | #Constraints:     684738
3115.14/3126.79	c #Conflicts:     652000 | #Constraints:     685738
3115.14/3126.79	c #Conflicts:     653000 | #Constraints:     686738
3115.14/3126.79	c #Conflicts:     654000 | #Constraints:     687738
3115.14/3126.79	c #Conflicts:     655000 | #Constraints:     688738
3115.14/3126.79	c INPROCESSING
3115.14/3126.79	c GARBAGE COLLECT
3115.14/3126.79	c #Conflicts:     656000 | #Constraints:     673742
3115.14/3126.79	c #Conflicts:     657000 | #Constraints:     674742
3115.14/3126.79	c #Conflicts:     658000 | #Constraints:     675742
3115.14/3126.79	c #Conflicts:     659000 | #Constraints:     676742
3115.14/3126.79	c #Conflicts:     660000 | #Constraints:     677742
3115.14/3126.79	c #Conflicts:     661000 | #Constraints:     678742
3115.14/3126.79	c #Conflicts:     662000 | #Constraints:     679742
3115.14/3126.79	c #Conflicts:     663000 | #Constraints:     680742
3115.14/3126.79	c #Conflicts:     664000 | #Constraints:     681742
3115.14/3126.79	c #Conflicts:     665000 | #Constraints:     682742
3115.14/3126.79	c #Conflicts:     666000 | #Constraints:     683742
3115.14/3126.79	c #Conflicts:     667000 | #Constraints:     684742
3115.14/3126.79	c #Conflicts:     668000 | #Constraints:     685742
3115.14/3126.79	c #Conflicts:     669000 | #Constraints:     686742
3115.14/3126.79	c #Conflicts:     670000 | #Constraints:     687742
3115.14/3126.79	c #Conflicts:     671000 | #Constraints:     688742
3115.14/3126.79	c INPROCESSING
3115.14/3126.79	c GARBAGE COLLECT
3115.14/3126.79	c #Conflicts:     672000 | #Constraints:     673536
3115.14/3126.79	c #Conflicts:     673000 | #Constraints:     674536
3115.14/3126.79	c #Conflicts:     674000 | #Constraints:     675536
3115.14/3126.79	c #Conflicts:     675000 | #Constraints:     676536
3115.14/3126.79	c #Conflicts:     676000 | #Constraints:     677536
3115.14/3126.79	c #Conflicts:     677000 | #Constraints:     678536
3115.14/3126.79	c #Conflicts:     678000 | #Constraints:     679536
3115.14/3126.79	c #Conflicts:     679000 | #Constraints:     680536
3115.14/3126.79	c #Conflicts:     680000 | #Constraints:     681536
3115.14/3126.79	c #Conflicts:     681000 | #Constraints:     682536
3115.14/3126.79	c #Conflicts:     682000 | #Constraints:     683536
3115.14/3126.79	c #Conflicts:     683000 | #Constraints:     684536
3115.14/3126.79	c #Conflicts:     684000 | #Constraints:     685536
3115.14/3126.79	c #Conflicts:     685000 | #Constraints:     686536
3115.14/3126.79	c #Conflicts:     686000 | #Constraints:     687536
3115.14/3126.79	c #Conflicts:     687000 | #Constraints:     688536
3115.14/3126.79	c #Conflicts:     688000 | #Constraints:     689536
3115.14/3126.79	c INPROCESSING
3115.14/3126.79	c GARBAGE COLLECT
3115.14/3126.79	c #Conflicts:     689000 | #Constraints:     674128
3115.14/3126.79	c #Conflicts:     690000 | #Constraints:     675128
3115.14/3126.79	c #Conflicts:     691000 | #Constraints:     676128
3115.14/3126.79	c #Conflicts:     692000 | #Constraints:     677128
3115.14/3126.79	c #Conflicts:     693000 | #Constraints:     678128
3115.14/3126.79	c #Conflicts:     694000 | #Constraints:     679128
3115.14/3126.79	c #Conflicts:     695000 | #Constraints:     680128
3115.14/3126.79	c #Conflicts:     696000 | #Constraints:     681128
3115.14/3126.79	c #Conflicts:     697000 | #Constraints:     682128
3115.14/3126.79	c #Conflicts:     698000 | #Constraints:     683128
3115.14/3126.79	c #Conflicts:     699000 | #Constraints:     684128
3115.14/3126.79	c #Conflicts:     700000 | #Constraints:     685128
3115.14/3126.79	c #Conflicts:     701000 | #Constraints:     686128
3115.14/3126.79	c #Conflicts:     702000 | #Constraints:     687128
3115.14/3126.79	c #Conflicts:     703000 | #Constraints:     688128
3115.14/3126.79	c #Conflicts:     704000 | #Constraints:     689128
3115.14/3126.79	c #Conflicts:     705000 | #Constraints:     690128
3115.14/3126.79	c INPROCESSING
3115.14/3126.79	c GARBAGE COLLECT
3115.14/3126.79	c #Conflicts:     706000 | #Constraints:     674534
3115.14/3126.79	c #Conflicts:     707000 | #Constraints:     675534
3115.14/3126.79	c #Conflicts:     708000 | #Constraints:     676534
3115.14/3126.79	c #Conflicts:     709000 | #Constraints:     677534
3115.14/3126.79	c #Conflicts:     710000 | #Constraints:     678534
3115.14/3126.79	c #Conflicts:     711000 | #Constraints:     679534
3115.14/3126.79	c #Conflicts:     712000 | #Constraints:     680534
3115.14/3126.79	c #Conflicts:     713000 | #Constraints:     681534
3115.14/3126.79	c #Conflicts:     714000 | #Constraints:     682534
3115.14/3126.79	c #Conflicts:     715000 | #Constraints:     683534
3115.14/3126.79	c #Conflicts:     716000 | #Constraints:     684534
3115.14/3126.79	c #Conflicts:     717000 | #Constraints:     685534
3115.14/3126.79	c #Conflicts:     718000 | #Constraints:     686534
3115.14/3126.79	c #Conflicts:     719000 | #Constraints:     687534
3115.14/3126.79	c #Conflicts:     720000 | #Constraints:     688534
3115.14/3126.79	c #Conflicts:     721000 | #Constraints:     689534
3115.14/3126.79	c #Conflicts:     722000 | #Constraints:     690534
3115.14/3126.79	c INPROCESSING
3115.14/3126.79	c GARBAGE COLLECT
3115.14/3126.79	c #Conflicts:     723000 | #Constraints:     674737
3115.14/3126.79	c #Conflicts:     724000 | #Constraints:     675737
3600.06/3613.30	c #Conflicts:     725000 | #Constraints:     676737
3600.06/3613.30	c #Conflicts:     726000 | #Constraints:     677737
3600.06/3613.30	c #Conflicts:     727000 | #Constraints:     678737
3600.06/3613.30	c #Conflicts:     728000 | #Constraints:     679737
3600.06/3613.30	c #Conflicts:     729000 | #Constraints:     680737
3600.06/3613.30	c #Conflicts:     730000 | #Constraints:     681737
3600.06/3613.30	c #Conflicts:     731000 | #Constraints:     682737
3600.06/3613.30	c #Conflicts:     732000 | #Constraints:     683737
3600.06/3613.30	c #Conflicts:     733000 | #Constraints:     684737
3600.06/3613.30	c #Conflicts:     734000 | #Constraints:     685737
3600.06/3613.30	c #Conflicts:     735000 | #Constraints:     686737
3600.06/3613.30	c #Conflicts:     736000 | #Constraints:     687737
3600.06/3613.30	c #Conflicts:     737000 | #Constraints:     688737
3600.06/3613.30	c #Conflicts:     738000 | #Constraints:     689737
3600.06/3613.30	c #Conflicts:     739000 | #Constraints:     690737
3600.06/3613.30	c INPROCESSING
3600.06/3613.30	c GARBAGE COLLECT
3600.06/3613.30	c #Conflicts:     740000 | #Constraints:     674743
3600.06/3613.30	c #Conflicts:     741000 | #Constraints:     675743
3600.06/3613.30	c #Conflicts:     742000 | #Constraints:     676743
3600.06/3613.30	c #Conflicts:     743000 | #Constraints:     677743
3600.06/3613.30	c #Conflicts:     744000 | #Constraints:     678743
3600.06/3613.30	c #Conflicts:     745000 | #Constraints:     679743
3600.06/3613.30	c #Conflicts:     746000 | #Constraints:     680743
3600.06/3613.30	c #Conflicts:     747000 | #Constraints:     681743
3600.06/3613.30	c Program interrupted by user.
3600.06/3613.30	c cpu time 3581.79 s
3600.06/3613.30	c deterministic time 432688557816 4.33e+11
3600.06/3613.30	c optimization time 154.517 s
3600.06/3613.30	c total solve time 3124.08 s
3600.06/3613.30	c core-guided solve time 3124.08 s
3600.06/3613.30	c propagation time 1825.56 s
3600.06/3613.30	c conflict analysis time 1292.21 s
3600.06/3613.30	c propagations 91082120
3600.06/3613.30	c resolve steps 17295247
3600.06/3613.30	c decisions 16934248
3600.06/3613.30	c conflicts 747579
3600.06/3613.30	c restarts 1555
3600.06/3613.30	c inprocessing phases 77
3600.06/3613.30	c input clauses 656900
3600.06/3613.30	c input cardinalities 0
3600.06/3613.30	c input general constraints 94
3600.06/3613.30	c input average constraint length 3.46
3600.06/3613.30	c input average constraint degree 70.53
3600.06/3613.30	c learned clauses 642985
3600.06/3613.30	c learned cardinalities 0
3600.06/3613.30	c learned general constraints 104593
3600.06/3613.30	c learned average constraint length 3667.51
3600.06/3613.30	c learned average constraint degree 340959.97
3600.06/3613.30	c watched constraints 3307
3600.06/3613.30	c counting constraints 101380
3600.06/3613.30	c gcd simplifications 3948
3600.06/3613.30	c detected cardinalities 0
3600.06/3613.30	c weakened non-implied lits 416320374
3600.06/3613.30	c weakened non-implying lits 121420
3600.06/3613.30	c original variables 10000
3600.06/3613.30	c clausal propagations 74720585
3600.06/3613.30	c cardinality propagations 0
3600.06/3613.30	c watched propagations 13437
3600.06/3613.30	c counting propagations 15287706
3600.06/3613.30	c watch lookups 17130062427
3600.06/3613.30	c watch backjump lookups 16565705495
3600.06/3613.30	c watch checks 20992763378
3600.06/3613.30	c propagation checks 371554288974
3600.06/3613.30	c constraint additions 6228967062
3600.06/3613.30	c trail pops 108754111
3600.06/3613.30	c formula constraints 656900
3600.06/3613.30	c learned constraints 747578
3600.06/3613.30	c bound constraints 94
3600.06/3613.30	c core-guided constraints 0
3600.06/3613.30	c encountered formula constraints 12709905
3600.06/3613.30	c encountered learned constraints 5322185
3600.06/3613.30	c encountered bound constraints 10736
3600.06/3613.30	c encountered core-guided constraints 0
3600.06/3613.30	c LP total time 0 s
3600.06/3613.30	c LP solve time 0 s
3600.06/3613.30	c LP constraints added 0
3600.06/3613.30	c LP constraints removed 0
3600.06/3613.30	c LP pivots internal 0
3600.06/3613.30	c LP pivots root 0
3600.06/3613.30	c LP calls 0
3600.06/3613.30	c LP optimalities 0
3600.06/3613.30	c LP no pivot count 0
3600.06/3613.30	c LP infeasibilities 0
3600.06/3613.30	c LP valid Farkas constraints 0
3600.06/3613.30	c LP learned Farkas constraints 0
3600.06/3613.30	c LP basis resets 0
3600.06/3613.30	c LP cycling count 0
3600.06/3613.30	c LP singular count 0
3600.06/3613.30	c LP no primal count 0
3600.06/3613.30	c LP no farkas count 0
3600.06/3613.30	c LP other issue count 0
3600.06/3613.30	c LP Gomory cuts 0
3600.06/3613.30	c LP learned cuts 0
3600.06/3613.30	c LP deleted cuts 0
3600.06/3613.30	c LP encountered Gomory constraints 0
3600.06/3613.30	c LP encountered Farkas constraints 0
3600.06/3613.30	c LP encountered learned Farkas constraints 0
3600.06/3613.30	c CG auxiliary variables introduced 0
3600.06/3613.30	c CG solutions found 93
3600.06/3613.30	c CG cores constructed 1
3600.06/3613.30	c CG core cardinality constraints returned 0
3600.06/3613.30	c CG unit cores 0
3600.06/3613.30	c CG single cores 1
3600.06/3613.30	c CG blocks removed during cardinality reduction 0
3600.06/3613.30	c CG first core best 0
3600.06/3613.30	c CG decision core best 0
3600.06/3613.30	c CG core reduction tie 0
3600.06/3613.30	c CG core degree average 1.00
3600.06/3613.30	c CG core slack average 8504.00
3600.06/3613.30	c CG exhausted 0
3600.06/3613.30	c CG exhaust time 0 s
3600.06/3613.30	c CG trimmed 0
3600.06/3613.30	c CG trim time 0.00544 s
3600.06/3613.30	c CG minimized 0
3600.06/3613.30	c CG minimize time 0 s
3600.06/3613.30	c CG am1 prop time 0.014683 s
3600.06/3613.30	c CG # am1s reformulated 0
3600.06/3613.30	c CG lower bound derived from am1s 0
3600.06/3613.30	c CG # clausal cores 1
3600.06/3613.30	c CG # cardinality cores 0
3600.06/3613.30	c CG # pb cores 0
3600.06/3613.30	c CG # pb reforms 0
3600.06/3613.30	c CG # cores discarded because of pb reform 0
3600.06/3613.30	d LOWERBOUND 5
3600.06/3613.30	d NCORES 1
3600.06/3613.30	d NPBCORES 0
3600.06/3613.30	d NPBREFORM 0
3600.06/3613.30	d NTRIMMED 0
3600.06/3613.30	d NEXHAUSTED 0
3600.06/3613.30	d NAM1S 0
3600.06/3613.30	d AM1LB 0
3600.06/3613.30	c [Papilo Statistics]
3600.06/3613.30	c prepro time 2.34763s
3600.06/3613.30	c # tsx applied 0
3600.06/3613.30	c # tsx conflicts 0
3600.06/3613.30	c # bound changes 0
3600.06/3613.30	c # side changes 0
3600.06/3613.30	c # coef changes 0
3600.06/3613.30	c # rounds 1
3600.06/3613.30	c # deted vars 0
3600.06/3613.30	c # deted constrs 0
3600.06/3613.30	c # consecutive rounds of only bound changes 0
3600.06/3613.30	c [STEP] postprocessing with Papilo
3600.06/3613.33	o 318
3600.06/3613.33	s SATISFIABLE
3600.06/3613.33	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	318

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454731-1721470086/watcher-4454731-1721470086 -o /tmp/evaluation-result-4454731-1721470086/solver-4454731-1721470086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721470098-1062221 --watchdog 3760 mixed-bag HOME/instance-4454731-1721470086.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=1062272, runsolver pid=1062263

[startup+0.100739 s]*
/proc/loadavg: 1.11 1.16 1.85 7/257 1062286
/proc/meminfo: memFree=125720160/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=110980 memory=18004 CPUtime=0.09 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 2876 0 0 0 9 0 0 0 20 0 1 0 199179451 113643520 4501 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 27745 4501 1699 3002 0 12033 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 110980 KiB
Current children cumulated memory: 18004 KiB

[startup+0.205333 s]*
/proc/loadavg: 1.11 1.16 1.85 8/257 1062286
/proc/meminfo: memFree=125690228/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=115076 memory=24432 CPUtime=0.19 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 3448 0 0 0 19 0 0 0 20 0 1 0 199179451 117837824 6108 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 28769 6108 1699 3002 0 13057 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 115076 KiB
Current children cumulated memory: 24432 KiB

[startup+0.306028 s]*
/proc/loadavg: 1.11 1.16 1.85 7/257 1062286
/proc/meminfo: memFree=125659804/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=123268 memory=34208 CPUtime=0.3 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 3853 0 0 0 29 1 0 0 20 0 1 0 199179451 126226432 8552 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 30817 8552 1699 3002 0 15105 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 123268 KiB
Current children cumulated memory: 34208 KiB

[startup+0.700219 s]
/proc/loadavg: 1.11 1.16 1.85 7/257 1062286
/proc/meminfo: memFree=125607948/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=139652 memory=54944 CPUtime=0.68 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 4438 0 0 0 66 2 0 0 20 0 1 0 199179451 143003648 13736 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 34913 13736 1699 3002 0 19201 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 139652 KiB
Current children cumulated memory: 54944 KiB

[startup+1.50022 s]
/proc/loadavg: 1.11 1.16 1.85 7/257 1062286
/proc/meminfo: memFree=125485148/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=394456 memory=298384 CPUtime=1.48 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 17321 0 0 0 136 12 0 0 20 0 1 0 199179451 403922944 74596 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 98614 74596 1806 3002 0 82363 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 394456 KiB
Current children cumulated memory: 298384 KiB

[startup+3.10638 s]
/proc/loadavg: 1.11 1.16 1.85 7/257 1062288
/proc/meminfo: memFree=124364308/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=429052 memory=333568 CPUtime=3.08 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 25047 0 0 0 295 13 0 0 20 0 1 0 199179451 439349248 83392 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 107263 83392 1901 3002 0 91012 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 429052 KiB
Current children cumulated memory: 333568 KiB

[startup+6.30019 s]
/proc/loadavg: 1.34 1.21 1.86 7/257 1062288
/proc/meminfo: memFree=122226476/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=1093680 memory=1002288 CPUtime=6.27 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 198017 0 0 0 586 41 0 0 20 0 1 0 199179451 1119928320 250572 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 273420 250572 3819 3002 0 257169 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1093680 KiB
Current children cumulated memory: 1002288 KiB

[startup+12.7002 s]
/proc/loadavg: 1.55 1.26 1.87 7/257 1062288
/proc/meminfo: memFree=120736800/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=1506488 memory=1410916 CPUtime=12.64 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 254193 0 0 0 1208 56 0 0 20 0 1 0 199179451 1542643712 352729 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 376622 352729 3819 3002 0 360371 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1506488 KiB
Current children cumulated memory: 1410916 KiB

[startup+25.5002 s]
/proc/loadavg: 2.18 1.41 1.91 7/257 1062291
/proc/meminfo: memFree=116192888/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=3228248 memory=2888264 CPUtime=25.37 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 267074 0 0 0 2452 85 0 0 20 0 1 0 199179451 3305725952 722066 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 807062 722066 3851 3002 0 790811 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 3228248 KiB
Current children cumulated memory: 2888264 KiB

[startup+51.1066 s]
/proc/loadavg: 2.86 1.63 1.97 7/257 1062294
/proc/meminfo: memFree=114181224/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=3942940 memory=3580412 CPUtime=50.86 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 376223 0 0 0 4978 108 0 0 20 0 1 0 199179451 4037570560 895103 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 985735 895103 4075 3002 0 969484 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 3942940 KiB
Current children cumulated memory: 3580412 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.01 2.09 7/257 1062303
/proc/meminfo: memFree=113966900/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=4140704 memory=3679240 CPUtime=101.74 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 386168 0 0 0 10062 112 0 0 20 0 1 0 199179451 4240080896 919810 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1035176 919810 4075 3002 0 1018925 0
Current children cumulated CPU time: 101.74 s
Current children cumulated vsize: 4140704 KiB
Current children cumulated memory: 3679240 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.41 2.22 7/259 1062319
/proc/meminfo: memFree=113832704/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=4215120 memory=3694632 CPUtime=161.32 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 388228 0 0 0 16018 114 0 0 20 0 1 0 199179451 4316282880 923658 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1053780 923658 4075 3002 0 1037529 0
Current children cumulated CPU time: 161.32 s
Current children cumulated vsize: 4215120 KiB
Current children cumulated memory: 3694632 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.72 2.34 7/259 1062329
/proc/meminfo: memFree=113788968/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=4215120 memory=3694632 CPUtime=220.95 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 388291 0 0 0 21980 115 0 0 20 0 1 0 199179451 4316282880 923658 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1053780 923658 4075 3002 0 1037529 0
Current children cumulated CPU time: 220.95 s
Current children cumulated vsize: 4215120 KiB
Current children cumulated memory: 3694632 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 2.98 2.46 7/259 1062340
/proc/meminfo: memFree=113752384/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=4291772 memory=3709708 CPUtime=280.54 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 389625 0 0 0 27937 117 0 0 20 0 1 0 199179451 4394774528 927427 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1072943 927427 4075 3002 0 1056692 0
Current children cumulated CPU time: 280.54 s
Current children cumulated vsize: 4291772 KiB
Current children cumulated memory: 3709708 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.19 2.56 7/257 1062396
/proc/meminfo: memFree=119363184/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=2129128 memory=2048680 CPUtime=340.29 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 393791 0 0 0 33738 291 0 0 20 0 1 0 199179451 2180227072 512170 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 532282 512170 4206 3002 0 516031 0
Current children cumulated CPU time: 340.29 s
Current children cumulated vsize: 2129128 KiB
Current children cumulated memory: 2048680 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.35 2.66 7/257 1062407
/proc/meminfo: memFree=119103572/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=2179216 memory=2075304 CPUtime=400.09 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 394418 0 0 0 39610 399 0 0 20 0 1 0 199179451 2231517184 518826 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 544804 518826 4206 3002 0 528553 0
Current children cumulated CPU time: 400.09 s
Current children cumulated vsize: 2179216 KiB
Current children cumulated memory: 2075304 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.50 2.76 7/255 1062417
/proc/meminfo: memFree=118885636/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=2179216 memory=2097832 CPUtime=459.91 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 394497 0 0 0 45528 463 0 0 20 0 1 0 199179451 2231517184 524458 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 544804 524458 4206 3002 0 528553 0

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

/proc/1062272/statm: 1282336 1157039 4206 3002 0 1266085 0
Current children cumulated CPU time: 2851.67 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628156 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.15 4.06 7/257 1063865
/proc/meminfo: memFree=115406316/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=5129344 memory=4628156 CPUtime=2911.46 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 577676 0 0 0 289391 1755 0 0 20 0 1 0 199179451 5252448256 1157039 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1282336 1157039 4206 3002 0 1266085 0
Current children cumulated CPU time: 2911.46 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628156 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.14 4.06 7/257 1063876
/proc/meminfo: memFree=115406148/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=5129344 memory=4628156 CPUtime=2971.25 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 579249 0 0 0 295364 1761 0 0 20 0 1 0 199179451 5252448256 1157039 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1282336 1157039 4206 3002 0 1266085 0
Current children cumulated CPU time: 2971.25 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628156 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.07 7/258 1064056
/proc/meminfo: memFree=115405528/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=5129344 memory=4628160 CPUtime=3031.04 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 580884 0 0 0 301337 1767 0 0 20 0 1 0 199179451 5252448256 1157040 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1282336 1157040 4206 3002 0 1266085 0
Current children cumulated CPU time: 3031.04 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628160 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.07 7/258 1064066
/proc/meminfo: memFree=115405324/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=5129344 memory=4628188 CPUtime=3090.83 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 582375 0 0 0 307311 1772 0 0 20 0 1 0 199179451 5252448256 1157047 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1282336 1157047 4206 3002 0 1266085 0
Current children cumulated CPU time: 3090.83 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628188 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.16 4.08 7/259 1064082
/proc/meminfo: memFree=115396312/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=5129344 memory=4628188 CPUtime=3150.61 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 583897 0 0 0 313282 1779 0 0 20 0 1 0 199179451 5252448256 1157047 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1282336 1157047 4206 3002 0 1266085 0
Current children cumulated CPU time: 3150.61 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628188 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.08 7/259 1064104
/proc/meminfo: memFree=115387056/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=5129344 memory=4628188 CPUtime=3210.41 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 585576 0 0 0 319258 1783 0 0 20 0 1 0 199179451 5252448256 1157047 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1282336 1157047 4206 3002 0 1266085 0
Current children cumulated CPU time: 3210.41 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628188 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.08 7/259 1064115
/proc/meminfo: memFree=115386112/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=5129344 memory=4628188 CPUtime=3270.21 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 586871 0 0 0 325233 1788 0 0 20 0 1 0 199179451 5252448256 1157047 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1282336 1157047 4206 3002 0 1266085 0
Current children cumulated CPU time: 3270.21 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.09 7/257 1064126
/proc/meminfo: memFree=115352532/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=5129344 memory=4628188 CPUtime=3329.99 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 588686 0 0 0 331208 1791 0 0 20 0 1 0 199179451 5252448256 1157047 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1282336 1157047 4206 3002 0 1266085 0
Current children cumulated CPU time: 3329.99 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628188 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 7/257 1064138
/proc/meminfo: memFree=115322916/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=5129344 memory=4628192 CPUtime=3389.78 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 590156 0 0 0 337182 1796 0 0 20 0 1 0 199179451 5252448256 1157048 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1282336 1157048 4206 3002 0 1266085 0
Current children cumulated CPU time: 3389.78 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628192 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 7/254 1064148
/proc/meminfo: memFree=115321292/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=5129344 memory=4628200 CPUtime=3449.57 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 591921 0 0 0 343158 1799 0 0 20 0 1 0 199179451 5252448256 1157050 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1282336 1157050 4206 3002 0 1266085 0
Current children cumulated CPU time: 3449.57 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628200 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 7/254 1064158
/proc/meminfo: memFree=115320424/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=5129344 memory=4628200 CPUtime=3509.36 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 593188 0 0 0 349131 1805 0 0 20 0 1 0 199179451 5252448256 1157050 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1282336 1157050 4206 3002 0 1266085 0
Current children cumulated CPU time: 3509.36 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628200 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 7/254 1064170
/proc/meminfo: memFree=115289100/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=5129344 memory=4628200 CPUtime=3569.16 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 595019 0 0 0 355098 1818 0 0 20 0 1 0 199179451 5252448256 1157050 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1282336 1157050 4206 3002 0 1266085 0
Current children cumulated CPU time: 3569.16 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628200 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/252 1064236
/proc/meminfo: memFree=120756744/131524600 swapFree=131071996/131071996
[pid=1062272] ppid=1062263 vsize=5129344 memory=4628200 CPUtime=3600.06 cores=0,2
/proc/1062272/stat : 1062272 (mixed-bag) R 1062263 1062272 1062211 0 -1 4194304 595660 0 0 0 358179 1827 0 0 20 0 1 0 199179451 5252448256 1157050 134679101440 4194304 16488053 140737203430704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 34222080 140737203438613 140737203438690 140737203438690 140737203445707 0
/proc/1062272/statm: 1282336 1157050 4206 3002 0 1266085 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5129344 KiB
Current children cumulated memory: 4628200 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.81 s, system=18.3479 s

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

[startup+3613.4 s]*
/proc/loadavg: 4.11 4.12 4.09 5/254 1064268
/proc/meminfo: memFree=125154856/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3613.41
CPU time (s): 3600.16
CPU user time (s): 3581.81
CPU system time (s): 18.3479
CPU usage (%): 99.6335
Max. virtual memory (cumulated for all children) (KiB): 5129344
Max. memory (cumulated for all children) (KiB): 4628200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.81
system time used= 18.3479
maximum resident set size= 4690724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 599504
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= 166
involuntary context switches= 24715


# summary of solver processes directly reported to runsolver:
#   pid: 1062272
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3581.81
#   total CPU system time (s): 18.3479

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44824 second user time and 18.9971 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-20 12:08:18
IDJOB=4454731
IDBENCH=147563
IDSOLVER=3083
FILE ID=nodeC035/4454731-1721470086
RUNJOBID= nodeC035-1721470098-1062221
SLURM_JOB_ID= 7545732
Free space on /tmp= 889984 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454731-1721470086/watcher-4454731-1721470086 -o /tmp/evaluation-result-4454731-1721470086/solver-4454731-1721470086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721470098-1062221 --watchdog 3760  mixed-bag HOME/instance-4454731-1721470086.opb

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=780360440

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125780764 kB
MemAvailable:   129638076 kB
Buffers:          575916 kB
Cached:          4085848 kB
SwapCached:            0 kB
Active:          1085760 kB
Inactive:        3949844 kB
Active(anon):       1444 kB
Inactive(anon):   419016 kB
Active(file):    1084316 kB
Inactive(file):  3530828 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            141852 kB
Writeback:            12 kB
AnonPages:        372552 kB
Mapped:           107600 kB
Shmem:             45916 kB
KReclaimable:     163980 kB
Slab:             284288 kB
SReclaimable:     163980 kB
SUnreclaim:       120308 kB
KernelStack:        3808 kB
PageTables:         9180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     822232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            74464 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      209620 kB
DirectMap2M:    19486720 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 889984 MiB
End job on nodeC035 at 2024-07-20 13:08:32