Trace number 4484212

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs-2024 2025-05-06SAT (TO)939 3600.12 3610.73

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMb97b9bf3767749854a32fccedb37d823
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark4.83735
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.10/0.13	c [STEP] solving
0.10/0.13	c #variables 8405 #constraints 11367
0.10/0.13	c SMALL=int, LARGE=long long
0.10/0.13	c bounds - >= -2545 @ 0.089309
0.10/0.13	c stratification level: 1
1.48/1.51	c bounds - >= -42 @ 0.224818
1.48/1.51	c bounds - >= 58 @ 0.254745
1.48/1.51	c bounds - >= 158 @ 0.257118
1.48/1.51	c bounds - >= 258 @ 0.259724
1.48/1.51	c bounds - >= 358 @ 0.262422
1.48/1.51	c bounds - >= 359 @ 0.264438
1.48/1.51	c bounds - >= 459 @ 0.267473
1.48/1.51	c bounds - >= 559 @ 0.273473
1.48/1.51	c bounds - >= 659 @ 0.277351
1.48/1.51	c bounds - >= 759 @ 0.282208
1.48/1.51	c bounds - >= 760 @ 0.287161
1.48/1.51	c bounds - >= 761 @ 0.290344
1.48/1.51	c bounds - >= 830 @ 0.299104
1.48/1.51	c bounds - >= 831 @ 0.303991
1.48/1.51	c bounds - >= 832 @ 0.310086
1.48/1.51	c bounds - >= 834 @ 0.314884
1.48/1.51	c bounds - >= 835 @ 0.320881
1.48/1.51	c bounds - >= 836 @ 0.32697
1.48/1.51	c bounds - >= 837 @ 0.329346
1.48/1.51	c bounds - >= 838 @ 0.333314
1.48/1.51	c bounds - >= 839 @ 0.337851
1.48/1.51	c bounds - >= 840 @ 0.343466
1.48/1.51	c bounds - >= 841 @ 0.34913
1.48/1.51	c bounds - >= 842 @ 0.356447
1.48/1.51	c bounds - >= 843 @ 0.362965
1.48/1.51	c bounds - >= 844 @ 0.366622
1.48/1.51	c bounds - >= 845 @ 0.373247
1.48/1.51	c bounds - >= 846 @ 0.380668
1.48/1.51	c bounds - >= 847 @ 0.383295
1.48/1.51	c bounds - >= 848 @ 0.387519
1.48/1.51	c bounds - >= 849 @ 0.393753
1.48/1.51	c bounds - >= 850 @ 0.401663
1.48/1.51	c bounds - >= 851 @ 0.406201
1.48/1.51	c bounds - >= 852 @ 0.409982
1.48/1.51	c bounds - >= 853 @ 0.416564
1.48/1.51	c bounds - >= 854 @ 0.423287
1.48/1.51	c bounds - >= 855 @ 0.430591
1.48/1.51	c bounds - >= 856 @ 0.435578
1.48/1.51	c bounds - >= 857 @ 0.442647
1.48/1.51	c bounds - >= 858 @ 0.450668
1.48/1.51	c bounds - >= 859 @ 0.46933
1.48/1.51	c bounds - >= 860 @ 0.480331
1.48/1.51	c bounds - >= 861 @ 0.486369
1.48/1.51	c bounds - >= 862 @ 0.494106
1.48/1.51	c bounds - >= 863 @ 0.518461
1.48/1.51	c bounds - >= 864 @ 0.521664
1.48/1.51	c bounds - >= 865 @ 0.528885
1.48/1.51	c bounds - >= 866 @ 0.540383
1.48/1.51	c bounds - >= 867 @ 0.544111
1.48/1.51	c bounds - >= 868 @ 0.558196
1.48/1.51	c bounds - >= 869 @ 0.606167
1.48/1.51	c bounds - >= 870 @ 0.611985
1.48/1.51	c bounds - >= 871 @ 0.622345
1.48/1.51	c bounds - >= 872 @ 0.631489
1.48/1.51	c bounds - >= 873 @ 0.638022
1.48/1.51	c bounds - >= 874 @ 0.643531
1.48/1.51	c bounds - >= 875 @ 0.649594
1.48/1.51	c bounds - >= 876 @ 0.653334
1.48/1.51	c bounds - >= 877 @ 0.658021
1.48/1.51	c bounds - >= 878 @ 0.666933
1.48/1.51	c bounds - >= 879 @ 0.672524
1.48/1.51	c bounds - >= 880 @ 0.679153
1.48/1.51	c bounds - >= 881 @ 0.686775
1.48/1.51	c bounds - >= 882 @ 0.696957
1.48/1.51	c bounds - >= 883 @ 0.700403
1.48/1.51	c bounds - >= 884 @ 0.708083
1.48/1.51	c bounds - >= 885 @ 0.712113
1.48/1.51	c bounds - >= 886 @ 0.716915
1.48/1.51	c bounds - >= 887 @ 0.72473
1.48/1.51	c bounds - >= 888 @ 0.730798
1.48/1.51	c bounds - >= 889 @ 0.737626
1.48/1.51	c bounds - >= 890 @ 0.744537
1.48/1.51	c bounds - >= 891 @ 0.750488
1.48/1.51	c bounds - >= 892 @ 0.757755
1.48/1.51	c bounds - >= 893 @ 0.762886
1.48/1.51	c bounds - >= 894 @ 0.769084
1.48/1.51	c bounds - >= 895 @ 0.790662
1.48/1.51	c bounds - >= 896 @ 0.806194
1.48/1.51	c bounds - >= 897 @ 0.811231
1.48/1.51	c finalizing WCE round: reformulating cores
642.52/644.48	c #Conflicts:       1000 | #Constraints:      13098
642.52/644.48	c #Conflicts:       2000 | #Constraints:      14100
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:       3000 | #Constraints:      14056
642.52/644.48	c #Conflicts:       4000 | #Constraints:      15058
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:       5000 | #Constraints:      14510
642.52/644.48	c #Conflicts:       6000 | #Constraints:      15512
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:       7000 | #Constraints:      14551
642.52/644.48	c #Conflicts:       8000 | #Constraints:      15553
642.52/644.48	c #Conflicts:       9000 | #Constraints:      16557
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:      10000 | #Constraints:      15270
642.52/644.48	c #Conflicts:      11000 | #Constraints:      16272
642.52/644.48	c #Conflicts:      12000 | #Constraints:      17274
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:      13000 | #Constraints:      15736
642.52/644.48	c #Conflicts:      14000 | #Constraints:      16738
642.52/644.48	c #Conflicts:      15000 | #Constraints:      17740
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:      16000 | #Constraints:      16010
642.52/644.48	c #Conflicts:      17000 | #Constraints:      17016
642.52/644.48	c #Conflicts:      18000 | #Constraints:      18020
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:      19000 | #Constraints:      15994
642.52/644.48	c #Conflicts:      20000 | #Constraints:      16996
642.52/644.48	c #Conflicts:      21000 | #Constraints:      17998
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:      22000 | #Constraints:      15805
642.52/644.48	c #Conflicts:      23000 | #Constraints:      16807
642.52/644.48	c #Conflicts:      24000 | #Constraints:      17811
642.52/644.48	c #Conflicts:      25000 | #Constraints:      18813
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:      26000 | #Constraints:      16418
642.52/644.48	c #Conflicts:      27000 | #Constraints:      17420
642.52/644.48	c #Conflicts:      28000 | #Constraints:      18422
642.52/644.48	c #Conflicts:      29000 | #Constraints:      19426
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:      30000 | #Constraints:      16821
642.52/644.48	c #Conflicts:      31000 | #Constraints:      17823
642.52/644.48	c #Conflicts:      32000 | #Constraints:      18825
642.52/644.48	c #Conflicts:      33000 | #Constraints:      19829
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:      34000 | #Constraints:      17007
642.52/644.48	c #Conflicts:      35000 | #Constraints:      18009
642.52/644.48	c #Conflicts:      36000 | #Constraints:      19011
642.52/644.48	c #Conflicts:      37000 | #Constraints:      20015
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:      38000 | #Constraints:      17032
642.52/644.48	c #Conflicts:      39000 | #Constraints:      18034
642.52/644.48	c #Conflicts:      40000 | #Constraints:      19036
642.52/644.48	c #Conflicts:      41000 | #Constraints:      20040
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:      42000 | #Constraints:      16898
642.52/644.48	c #Conflicts:      43000 | #Constraints:      17900
642.52/644.48	c #Conflicts:      44000 | #Constraints:      18904
642.52/644.48	c #Conflicts:      45000 | #Constraints:      19906
642.52/644.48	c #Conflicts:      46000 | #Constraints:      20908
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:      47000 | #Constraints:      17538
642.52/644.48	c #Conflicts:      48000 | #Constraints:      18540
642.52/644.48	c #Conflicts:      49000 | #Constraints:      19542
642.52/644.48	c #Conflicts:      50000 | #Constraints:      20546
642.52/644.48	c #Conflicts:      51000 | #Constraints:      21548
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:      52000 | #Constraints:      17911
642.52/644.48	c #Conflicts:      53000 | #Constraints:      18913
642.52/644.48	c #Conflicts:      54000 | #Constraints:      19915
642.52/644.48	c #Conflicts:      55000 | #Constraints:      20919
642.52/644.48	c #Conflicts:      56000 | #Constraints:      21921
642.52/644.48	c INPROCESSING
642.52/644.48	c GARBAGE COLLECT
642.52/644.48	c #Conflicts:      57000 | #Constraints:      18124
642.52/644.48	c #Conflicts:      58000 | #Constraints:      19126
642.52/644.48	c #Conflicts:      59000 | #Constraints:      20128
642.52/644.48	c bounds 958 >= 897 @ 634.397
642.52/644.48	c bounds 958 >= 899 @ 634.403
642.52/644.48	c bounds 958 >= 900 @ 634.413
642.52/644.48	c bounds 958 >= 901 @ 634.415
642.52/644.48	c bounds 958 >= 902 @ 634.417
642.52/644.48	c bounds 958 >= 903 @ 634.44
642.52/644.48	c bounds 958 >= 904 @ 634.481
642.52/644.48	c bounds 958 >= 905 @ 634.507
642.52/644.48	c bounds 958 >= 906 @ 634.543
642.52/644.48	c bounds 958 >= 907 @ 634.55
642.52/644.48	c bounds 958 >= 908 @ 634.604
642.52/644.48	c bounds 958 >= 909 @ 634.642
642.52/644.48	c bounds 958 >= 910 @ 634.682
642.52/644.48	c bounds 958 >= 911 @ 634.815
642.52/644.48	c bounds 958 >= 912 @ 634.883
642.52/644.48	c bounds 958 >= 913 @ 635.019
642.52/644.48	c bounds 958 >= 914 @ 635.409
645.91/647.80	c #Conflicts:      60000 | #Constraints:      24779
645.91/647.80	c bounds 958 >= 915 @ 637.055
645.91/647.80	c finalizing WCE round: reformulating cores
727.14/729.35	c #Conflicts:      61000 | #Constraints:      25810
727.14/729.35	c INPROCESSING
727.14/729.35	c GARBAGE COLLECT
727.14/729.35	c #Conflicts:      62000 | #Constraints:      16276
727.14/729.35	c #Conflicts:      63000 | #Constraints:      17278
727.14/729.35	c #Conflicts:      64000 | #Constraints:      18280
727.14/729.35	c #Conflicts:      65000 | #Constraints:      19284
727.14/729.35	c #Conflicts:      66000 | #Constraints:      20286
727.14/729.35	c INPROCESSING
727.14/729.35	c GARBAGE COLLECT
727.14/729.35	c #Conflicts:      67000 | #Constraints:      16611
727.14/729.35	c #Conflicts:      68000 | #Constraints:      17613
727.14/729.35	c #Conflicts:      69000 | #Constraints:      18617
727.14/729.35	c #Conflicts:      70000 | #Constraints:      19619
727.14/729.35	c #Conflicts:      71000 | #Constraints:      20621
727.14/729.35	c bounds 952 >= 915 @ 717.626
727.14/729.35	c bounds 952 >= 916 @ 717.634
727.14/729.35	c bounds 952 >= 917 @ 717.634
727.14/729.35	c bounds 952 >= 918 @ 717.642
727.14/729.35	c bounds 952 >= 919 @ 717.656
727.14/729.35	c #Conflicts:      72000 | #Constraints:      21686
727.14/729.35	c bounds 952 >= 920 @ 717.948
727.14/729.35	c INPROCESSING
727.14/729.35	c GARBAGE COLLECT
727.14/729.35	c finalizing WCE round: reformulating cores
758.33/760.61	c #Conflicts:      73000 | #Constraints:      17599
758.33/760.61	c bounds 949 >= 918 @ 725.985
758.33/760.61	c #Conflicts:      74000 | #Constraints:      18605
758.33/760.61	c #Conflicts:      75000 | #Constraints:      19607
758.33/760.61	c #Conflicts:      76000 | #Constraints:      20609
758.33/760.61	c bounds 949 >= 921 @ 746.993
758.33/760.61	c bounds 949 >= 922 @ 747.001
758.33/760.61	c bounds 949 >= 923 @ 747.023
758.33/760.61	c bounds 949 >= 924 @ 747.1
758.33/760.61	c #Conflicts:      77000 | #Constraints:      21687
758.33/760.61	c bounds 949 >= 925 @ 748.085
758.33/760.61	c finalizing WCE round: reformulating cores
995.32/998.37	c #Conflicts:      78000 | #Constraints:      22724
995.32/998.37	c INPROCESSING
995.32/998.37	c GARBAGE COLLECT
995.32/998.37	c #Conflicts:      79000 | #Constraints:      18210
995.32/998.37	c bounds 944 >= 924 @ 751.614
995.32/998.37	c bounds 944 >= 924 @ 751.801
995.32/998.37	c #Conflicts:      80000 | #Constraints:      19216
995.32/998.37	c #Conflicts:      81000 | #Constraints:      20218
995.32/998.37	c bounds 944 >= 927 @ 759.114
995.32/998.37	c bounds 944 >= 928 @ 759.153
995.32/998.37	c bounds 944 >= 929 @ 759.548
995.32/998.37	c #Conflicts:      82000 | #Constraints:      21277
995.32/998.37	c #Conflicts:      83000 | #Constraints:      22277
995.32/998.37	c #Conflicts:      84000 | #Constraints:      23277
995.32/998.37	c INPROCESSING
995.32/998.37	c GARBAGE COLLECT
995.32/998.37	c #Conflicts:      85000 | #Constraints:      18457
995.32/998.37	c #Conflicts:      86000 | #Constraints:      19457
995.32/998.37	c #Conflicts:      87000 | #Constraints:      20457
995.32/998.37	c #Conflicts:      88000 | #Constraints:      21457
995.32/998.37	c bounds 944 >= 930 @ 774.059
995.32/998.37	c #Conflicts:      89000 | #Constraints:      22479
995.32/998.37	c #Conflicts:      90000 | #Constraints:      23479
995.32/998.37	c INPROCESSING
995.32/998.37	c GARBAGE COLLECT
995.32/998.37	c #Conflicts:      91000 | #Constraints:      18527
995.32/998.37	c #Conflicts:      92000 | #Constraints:      19527
995.32/998.37	c #Conflicts:      93000 | #Constraints:      20527
995.32/998.37	c #Conflicts:      94000 | #Constraints:      21527
995.32/998.37	c #Conflicts:      95000 | #Constraints:      22527
995.32/998.37	c #Conflicts:      96000 | #Constraints:      23527
995.32/998.37	c INPROCESSING
995.32/998.37	c GARBAGE COLLECT
995.32/998.37	c #Conflicts:      97000 | #Constraints:      18382
995.32/998.37	c #Conflicts:      98000 | #Constraints:      19382
995.32/998.37	c #Conflicts:      99000 | #Constraints:      20382
995.32/998.37	c #Conflicts:     100000 | #Constraints:      21382
995.32/998.37	c #Conflicts:     101000 | #Constraints:      22382
995.32/998.37	c #Conflicts:     102000 | #Constraints:      23382
995.32/998.37	c #Conflicts:     103000 | #Constraints:      24382
995.32/998.37	c INPROCESSING
995.32/998.37	c GARBAGE COLLECT
995.32/998.37	c #Conflicts:     104000 | #Constraints:      18995
995.32/998.37	c #Conflicts:     105000 | #Constraints:      19995
995.32/998.37	c #Conflicts:     106000 | #Constraints:      20995
995.32/998.37	c #Conflicts:     107000 | #Constraints:      21995
995.32/998.37	c #Conflicts:     108000 | #Constraints:      22995
995.32/998.37	c #Conflicts:     109000 | #Constraints:      23995
995.32/998.37	c #Conflicts:     110000 | #Constraints:      24995
995.32/998.37	c INPROCESSING
995.32/998.37	c GARBAGE COLLECT
995.32/998.37	c #Conflicts:     111000 | #Constraints:      19411
995.32/998.37	c #Conflicts:     112000 | #Constraints:      20411
995.32/998.37	c #Conflicts:     113000 | #Constraints:      21411
995.32/998.37	c #Conflicts:     114000 | #Constraints:      22411
995.32/998.37	c finalizing WCE round: reformulating cores
1088.25/1091.54	c #Conflicts:     115000 | #Constraints:      23416
1088.25/1091.54	c #Conflicts:     116000 | #Constraints:      24418
1088.25/1091.54	c bounds 943 >= 930 @ 1064.5
1088.25/1091.54	c bounds 943 >= 931 @ 1065.28
1088.25/1091.54	c #Conflicts:     117000 | #Constraints:      25464
1088.25/1091.54	c INPROCESSING
1088.25/1091.54	c GARBAGE COLLECT
1088.25/1091.54	c #Conflicts:     118000 | #Constraints:      19666
1088.25/1091.54	c #Conflicts:     119000 | #Constraints:      20666
1088.25/1091.54	c #Conflicts:     120000 | #Constraints:      21666
1088.25/1091.54	c #Conflicts:     121000 | #Constraints:      22666
1088.25/1091.54	c bounds 943 >= 932 @ 1074.75
1088.25/1091.54	c #Conflicts:     122000 | #Constraints:      23700
1088.25/1091.54	c finalizing WCE round: reformulating cores
1388.69/1392.85	c #Conflicts:     123000 | #Constraints:      24703
1388.69/1392.85	c bounds 940 >= 932 @ 1080.66
1388.69/1392.85	c #Conflicts:     124000 | #Constraints:      25705
1388.69/1392.85	c INPROCESSING
1388.69/1392.85	c GARBAGE COLLECT
1388.69/1392.85	c #Conflicts:     125000 | #Constraints:      19693
1388.69/1392.85	c bounds 940 >= 933 @ 1083.34
1388.69/1392.85	c #Conflicts:     126000 | #Constraints:      20727
1388.69/1392.85	c #Conflicts:     127000 | #Constraints:      21727
1388.69/1392.85	c #Conflicts:     128000 | #Constraints:      22727
1388.69/1392.85	c #Conflicts:     129000 | #Constraints:      23727
1388.69/1392.85	c #Conflicts:     130000 | #Constraints:      24727
1388.69/1392.85	c #Conflicts:     131000 | #Constraints:      25727
1388.69/1392.85	c INPROCESSING
1388.69/1392.85	c GARBAGE COLLECT
1388.69/1392.85	c #Conflicts:     132000 | #Constraints:      19496
1388.69/1392.85	c #Conflicts:     133000 | #Constraints:      20496
1388.69/1392.85	c #Conflicts:     134000 | #Constraints:      21496
1388.69/1392.85	c #Conflicts:     135000 | #Constraints:      22496
1388.69/1392.85	c #Conflicts:     136000 | #Constraints:      23496
1388.69/1392.85	c #Conflicts:     137000 | #Constraints:      24496
1388.69/1392.85	c #Conflicts:     138000 | #Constraints:      25496
1388.69/1392.85	c #Conflicts:     139000 | #Constraints:      26496
1388.69/1392.85	c INPROCESSING
1388.69/1392.85	c GARBAGE COLLECT
1388.69/1392.85	c #Conflicts:     140000 | #Constraints:      20086
1388.69/1392.85	c #Conflicts:     141000 | #Constraints:      21086
1388.69/1392.85	c #Conflicts:     142000 | #Constraints:      22086
1388.69/1392.85	c #Conflicts:     143000 | #Constraints:      23086
1388.69/1392.85	c #Conflicts:     144000 | #Constraints:      24086
1388.69/1392.85	c #Conflicts:     145000 | #Constraints:      25086
1388.69/1392.85	c #Conflicts:     146000 | #Constraints:      26086
1388.69/1392.85	c #Conflicts:     147000 | #Constraints:      27086
1388.69/1392.85	c INPROCESSING
1388.69/1392.85	c GARBAGE COLLECT
1388.69/1392.85	c #Conflicts:     148000 | #Constraints:      20482
1388.69/1392.85	c #Conflicts:     149000 | #Constraints:      21482
1388.69/1392.85	c #Conflicts:     150000 | #Constraints:      22482
1388.69/1392.85	c #Conflicts:     151000 | #Constraints:      23482
1388.69/1392.85	c #Conflicts:     152000 | #Constraints:      24482
1388.69/1392.85	c #Conflicts:     153000 | #Constraints:      25482
1388.69/1392.85	c #Conflicts:     154000 | #Constraints:      26482
1388.69/1392.85	c #Conflicts:     155000 | #Constraints:      27482
1388.69/1392.85	c INPROCESSING
1388.69/1392.85	c GARBAGE COLLECT
1388.69/1392.85	c #Conflicts:     156000 | #Constraints:      20690
1388.69/1392.85	c #Conflicts:     157000 | #Constraints:      21690
1388.69/1392.85	c #Conflicts:     158000 | #Constraints:      22690
1388.69/1392.85	c #Conflicts:     159000 | #Constraints:      23690
1388.69/1392.85	c #Conflicts:     160000 | #Constraints:      24690
1388.69/1392.85	c #Conflicts:     161000 | #Constraints:      25690
1388.69/1392.85	c #Conflicts:     162000 | #Constraints:      26690
1388.69/1392.85	c #Conflicts:     163000 | #Constraints:      27690
1388.69/1392.85	c INPROCESSING
1388.69/1392.85	c GARBAGE COLLECT
1388.69/1392.85	c #Conflicts:     164000 | #Constraints:      20687
1388.69/1392.85	c #Conflicts:     165000 | #Constraints:      21687
1388.69/1392.85	c #Conflicts:     166000 | #Constraints:      22687
1388.69/1392.85	c #Conflicts:     167000 | #Constraints:      23687
1388.69/1392.85	c #Conflicts:     168000 | #Constraints:      24687
1388.69/1392.85	c #Conflicts:     169000 | #Constraints:      25687
1388.69/1392.85	c #Conflicts:     170000 | #Constraints:      26687
1388.69/1392.85	c #Conflicts:     171000 | #Constraints:      27687
1388.69/1392.85	c INPROCESSING
1388.69/1392.85	c GARBAGE COLLECT
1388.69/1392.85	c #Conflicts:     172000 | #Constraints:      20483
1388.69/1392.85	c #Conflicts:     173000 | #Constraints:      21483
1388.69/1392.85	c #Conflicts:     174000 | #Constraints:      22483
1388.69/1392.85	c #Conflicts:     175000 | #Constraints:      23483
1388.69/1392.85	c #Conflicts:     176000 | #Constraints:      24483
1388.69/1392.85	c bounds 940 >= 934 @ 1249.4
1388.69/1392.85	c #Conflicts:     177000 | #Constraints:      25520
1388.69/1392.85	c #Conflicts:     178000 | #Constraints:      26520
1388.69/1392.85	c #Conflicts:     179000 | #Constraints:      27520
1388.69/1392.85	c #Conflicts:     180000 | #Constraints:      28520
1388.69/1392.85	c INPROCESSING
1388.69/1392.85	c GARBAGE COLLECT
1388.69/1392.85	c #Conflicts:     181000 | #Constraints:      21064
1388.69/1392.85	c #Conflicts:     182000 | #Constraints:      22064
1388.69/1392.85	c #Conflicts:     183000 | #Constraints:      23064
1388.69/1392.85	c #Conflicts:     184000 | #Constraints:      24064
1388.69/1392.85	c #Conflicts:     185000 | #Constraints:      25064
1388.69/1392.85	c #Conflicts:     186000 | #Constraints:      26064
1388.69/1392.85	c #Conflicts:     187000 | #Constraints:      27064
1388.69/1392.85	c #Conflicts:     188000 | #Constraints:      28064
1388.69/1392.85	c #Conflicts:     189000 | #Constraints:      29064
1388.69/1392.85	c INPROCESSING
1388.69/1392.85	c GARBAGE COLLECT
1388.69/1392.85	c #Conflicts:     190000 | #Constraints:      21480
1388.69/1392.85	c #Conflicts:     191000 | #Constraints:      22480
1388.69/1392.85	c #Conflicts:     192000 | #Constraints:      23480
1388.69/1392.85	c #Conflicts:     193000 | #Constraints:      24480
1388.69/1392.85	c #Conflicts:     194000 | #Constraints:      25480
2006.99/2012.88	c #Conflicts:     195000 | #Constraints:      26480
2006.99/2012.88	c #Conflicts:     196000 | #Constraints:      27480
2006.99/2012.88	c #Conflicts:     197000 | #Constraints:      28480
2006.99/2012.88	c #Conflicts:     198000 | #Constraints:      29480
2006.99/2012.88	c INPROCESSING
2006.99/2012.88	c GARBAGE COLLECT
2006.99/2012.88	c #Conflicts:     199000 | #Constraints:      21704
2006.99/2012.88	c #Conflicts:     200000 | #Constraints:      22704
2006.99/2012.88	c #Conflicts:     201000 | #Constraints:      23704
2006.99/2012.88	c #Conflicts:     202000 | #Constraints:      24704
2006.99/2012.88	c #Conflicts:     203000 | #Constraints:      25704
2006.99/2012.88	c #Conflicts:     204000 | #Constraints:      26704
2006.99/2012.88	c #Conflicts:     205000 | #Constraints:      27704
2006.99/2012.88	c #Conflicts:     206000 | #Constraints:      28704
2006.99/2012.88	c #Conflicts:     207000 | #Constraints:      29704
2006.99/2012.88	c INPROCESSING
2006.99/2012.88	c GARBAGE COLLECT
2006.99/2012.88	c #Conflicts:     208000 | #Constraints:      21699
2006.99/2012.88	c #Conflicts:     209000 | #Constraints:      22699
2006.99/2012.88	c #Conflicts:     210000 | #Constraints:      23699
2006.99/2012.88	c #Conflicts:     211000 | #Constraints:      24699
2006.99/2012.88	c #Conflicts:     212000 | #Constraints:      25699
2006.99/2012.88	c #Conflicts:     213000 | #Constraints:      26699
2006.99/2012.88	c #Conflicts:     214000 | #Constraints:      27699
2006.99/2012.88	c #Conflicts:     215000 | #Constraints:      28699
2006.99/2012.88	c #Conflicts:     216000 | #Constraints:      29699
2006.99/2012.88	c INPROCESSING
2006.99/2012.88	c GARBAGE COLLECT
2006.99/2012.88	c #Conflicts:     217000 | #Constraints:      21523
2006.99/2012.88	c #Conflicts:     218000 | #Constraints:      22523
2006.99/2012.88	c #Conflicts:     219000 | #Constraints:      23523
2006.99/2012.88	c #Conflicts:     220000 | #Constraints:      24523
2006.99/2012.88	c #Conflicts:     221000 | #Constraints:      25523
2006.99/2012.88	c #Conflicts:     222000 | #Constraints:      26523
2006.99/2012.88	c #Conflicts:     223000 | #Constraints:      27523
2006.99/2012.88	c #Conflicts:     224000 | #Constraints:      28523
2006.99/2012.88	c #Conflicts:     225000 | #Constraints:      29523
2006.99/2012.88	c #Conflicts:     226000 | #Constraints:      30523
2006.99/2012.88	c INPROCESSING
2006.99/2012.88	c GARBAGE COLLECT
2006.99/2012.88	c #Conflicts:     227000 | #Constraints:      22125
2006.99/2012.88	c #Conflicts:     228000 | #Constraints:      23125
2006.99/2012.88	c #Conflicts:     229000 | #Constraints:      24125
2006.99/2012.88	c #Conflicts:     230000 | #Constraints:      25125
2006.99/2012.88	c #Conflicts:     231000 | #Constraints:      26125
2006.99/2012.88	c #Conflicts:     232000 | #Constraints:      27125
2006.99/2012.88	c #Conflicts:     233000 | #Constraints:      28125
2006.99/2012.88	c #Conflicts:     234000 | #Constraints:      29125
2006.99/2012.88	c #Conflicts:     235000 | #Constraints:      30125
2006.99/2012.88	c #Conflicts:     236000 | #Constraints:      31125
2006.99/2012.88	c INPROCESSING
2006.99/2012.88	c GARBAGE COLLECT
2006.99/2012.88	c #Conflicts:     237000 | #Constraints:      22531
2006.99/2012.88	c #Conflicts:     238000 | #Constraints:      23531
2006.99/2012.88	c #Conflicts:     239000 | #Constraints:      24531
2006.99/2012.88	c #Conflicts:     240000 | #Constraints:      25531
2006.99/2012.88	c #Conflicts:     241000 | #Constraints:      26531
2006.99/2012.88	c #Conflicts:     242000 | #Constraints:      27531
2006.99/2012.88	c #Conflicts:     243000 | #Constraints:      28531
2006.99/2012.88	c #Conflicts:     244000 | #Constraints:      29531
2006.99/2012.88	c #Conflicts:     245000 | #Constraints:      30531
2006.99/2012.88	c #Conflicts:     246000 | #Constraints:      31531
2006.99/2012.88	c INPROCESSING
2006.99/2012.88	c GARBAGE COLLECT
2006.99/2012.88	c #Conflicts:     247000 | #Constraints:      22710
2006.99/2012.88	c #Conflicts:     248000 | #Constraints:      23710
2006.99/2012.88	c #Conflicts:     249000 | #Constraints:      24710
2006.99/2012.88	c #Conflicts:     250000 | #Constraints:      25710
2006.99/2012.88	c #Conflicts:     251000 | #Constraints:      26710
2006.99/2012.88	c #Conflicts:     252000 | #Constraints:      27710
2006.99/2012.88	c #Conflicts:     253000 | #Constraints:      28710
2006.99/2012.88	c #Conflicts:     254000 | #Constraints:      29710
2006.99/2012.88	c #Conflicts:     255000 | #Constraints:      30710
2006.99/2012.88	c #Conflicts:     256000 | #Constraints:      31710
2006.99/2012.88	c INPROCESSING
2006.99/2012.88	c GARBAGE COLLECT
2006.99/2012.88	c #Conflicts:     257000 | #Constraints:      22709
2006.99/2012.88	c finalizing WCE round: reformulating cores
2412.89/2419.95	c #Conflicts:     258000 | #Constraints:      23712
2412.89/2419.95	c #Conflicts:     259000 | #Constraints:      24714
2412.89/2419.95	c bounds 939 >= 934 @ 1993
2412.89/2419.95	c #Conflicts:     260000 | #Constraints:      25714
2412.89/2419.95	c #Conflicts:     261000 | #Constraints:      26714
2412.89/2419.95	c #Conflicts:     262000 | #Constraints:      27714
2412.89/2419.95	c #Conflicts:     263000 | #Constraints:      28714
2412.89/2419.95	c #Conflicts:     264000 | #Constraints:      29714
2412.89/2419.95	c #Conflicts:     265000 | #Constraints:      30714
2412.89/2419.95	c bounds 939 >= 935 @ 2012.5
2412.89/2419.95	c #Conflicts:     266000 | #Constraints:      31760
2412.89/2419.95	c INPROCESSING
2412.89/2419.95	c GARBAGE COLLECT
2412.89/2419.95	c #Conflicts:     267000 | #Constraints:      22547
2412.89/2419.95	c #Conflicts:     268000 | #Constraints:      23547
2412.89/2419.95	c #Conflicts:     269000 | #Constraints:      24547
2412.89/2419.95	c #Conflicts:     270000 | #Constraints:      25547
2412.89/2419.95	c #Conflicts:     271000 | #Constraints:      26547
2412.89/2419.95	c #Conflicts:     272000 | #Constraints:      27547
2412.89/2419.95	c #Conflicts:     273000 | #Constraints:      28547
2412.89/2419.95	c #Conflicts:     274000 | #Constraints:      29547
2412.89/2419.95	c #Conflicts:     275000 | #Constraints:      30547
2412.89/2419.95	c #Conflicts:     276000 | #Constraints:      31547
2412.89/2419.95	c #Conflicts:     277000 | #Constraints:      32547
2412.89/2419.95	c INPROCESSING
2412.89/2419.95	c GARBAGE COLLECT
2412.89/2419.95	c #Conflicts:     278000 | #Constraints:      23143
2412.89/2419.95	c #Conflicts:     279000 | #Constraints:      24143
2412.89/2419.95	c #Conflicts:     280000 | #Constraints:      25143
2412.89/2419.95	c #Conflicts:     281000 | #Constraints:      26143
2412.89/2419.95	c #Conflicts:     282000 | #Constraints:      27143
2412.89/2419.95	c #Conflicts:     283000 | #Constraints:      28143
2412.89/2419.95	c #Conflicts:     284000 | #Constraints:      29143
2412.89/2419.95	c #Conflicts:     285000 | #Constraints:      30143
2412.89/2419.95	c #Conflicts:     286000 | #Constraints:      31143
2412.89/2419.95	c #Conflicts:     287000 | #Constraints:      32143
2412.89/2419.95	c #Conflicts:     288000 | #Constraints:      33143
2412.89/2419.95	c INPROCESSING
2412.89/2419.95	c GARBAGE COLLECT
2412.89/2419.95	c #Conflicts:     289000 | #Constraints:      23526
2412.89/2419.95	c #Conflicts:     290000 | #Constraints:      24526
2412.89/2419.95	c #Conflicts:     291000 | #Constraints:      25526
2412.89/2419.95	c #Conflicts:     292000 | #Constraints:      26526
2412.89/2419.95	c #Conflicts:     293000 | #Constraints:      27526
2412.89/2419.95	c #Conflicts:     294000 | #Constraints:      28526
2412.89/2419.95	c #Conflicts:     295000 | #Constraints:      29526
2412.89/2419.95	c #Conflicts:     296000 | #Constraints:      30526
2412.89/2419.95	c #Conflicts:     297000 | #Constraints:      31526
2412.89/2419.95	c #Conflicts:     298000 | #Constraints:      32526
2412.89/2419.95	c #Conflicts:     299000 | #Constraints:      33526
2412.89/2419.95	c INPROCESSING
2412.89/2419.95	c GARBAGE COLLECT
2412.89/2419.95	c #Conflicts:     300000 | #Constraints:      23721
2412.89/2419.95	c #Conflicts:     301000 | #Constraints:      24721
2412.89/2419.95	c #Conflicts:     302000 | #Constraints:      25721
2412.89/2419.95	c #Conflicts:     303000 | #Constraints:      26721
2412.89/2419.95	c #Conflicts:     304000 | #Constraints:      27721
2412.89/2419.95	c #Conflicts:     305000 | #Constraints:      28721
2412.89/2419.95	c #Conflicts:     306000 | #Constraints:      29721
2412.89/2419.95	c #Conflicts:     307000 | #Constraints:      30721
2412.89/2419.95	c #Conflicts:     308000 | #Constraints:      31721
2412.89/2419.95	c #Conflicts:     309000 | #Constraints:      32721
2412.89/2419.95	c #Conflicts:     310000 | #Constraints:      33721
2412.89/2419.95	c #Conflicts:     311000 | #Constraints:      34721
2412.89/2419.95	c #Conflicts:     312000 | #Constraints:      35721
2412.89/2419.95	c #Conflicts:     313000 | #Constraints:      36721
2412.89/2419.95	c #Conflicts:     314000 | #Constraints:      37721
2412.89/2419.95	c #Conflicts:     315000 | #Constraints:      38721
2412.89/2419.95	c #Conflicts:     316000 | #Constraints:      39721
2412.89/2419.95	c #Conflicts:     317000 | #Constraints:      40721
2412.89/2419.95	c #Conflicts:     318000 | #Constraints:      41721
2412.89/2419.95	c #Conflicts:     319000 | #Constraints:      42721
2412.89/2419.95	c #Conflicts:     320000 | #Constraints:      43721
2412.89/2419.95	c #Conflicts:     321000 | #Constraints:      44721
2412.89/2419.95	c #Conflicts:     322000 | #Constraints:      45721
2412.89/2419.95	c #Conflicts:     323000 | #Constraints:      46721
2412.89/2419.95	c #Conflicts:     324000 | #Constraints:      47721
2412.89/2419.95	c #Conflicts:     325000 | #Constraints:      48721
2412.89/2419.95	c #Conflicts:     326000 | #Constraints:      49721
2412.89/2419.95	c bounds 939 >= 936 @ 2384.34
2412.89/2419.95	c #Conflicts:     327000 | #Constraints:      50749
2412.89/2419.95	c #Conflicts:     328000 | #Constraints:      51749
2412.89/2419.95	c #Conflicts:     329000 | #Constraints:      52749
2412.89/2419.95	c #Conflicts:     330000 | #Constraints:      53749
2412.89/2419.95	c #Conflicts:     331000 | #Constraints:      54749
2412.89/2419.95	c #Conflicts:     332000 | #Constraints:      55749
3279.41/3289.16	c #Conflicts:     333000 | #Constraints:      56749
3279.41/3289.16	c #Conflicts:     334000 | #Constraints:      57749
3279.41/3289.16	c #Conflicts:     335000 | #Constraints:      58749
3279.41/3289.16	c #Conflicts:     336000 | #Constraints:      59749
3279.41/3289.16	c #Conflicts:     337000 | #Constraints:      60749
3279.41/3289.16	c #Conflicts:     338000 | #Constraints:      61749
3279.41/3289.16	c #Conflicts:     339000 | #Constraints:      62749
3279.41/3289.16	c #Conflicts:     340000 | #Constraints:      63749
3279.41/3289.16	c #Conflicts:     341000 | #Constraints:      64749
3279.41/3289.16	c #Conflicts:     342000 | #Constraints:      65749
3279.41/3289.16	c #Conflicts:     343000 | #Constraints:      66749
3279.41/3289.16	c #Conflicts:     344000 | #Constraints:      67749
3279.41/3289.16	c #Conflicts:     345000 | #Constraints:      68749
3279.41/3289.16	c #Conflicts:     346000 | #Constraints:      69749
3279.41/3289.16	c #Conflicts:     347000 | #Constraints:      70749
3279.41/3289.16	c #Conflicts:     348000 | #Constraints:      71749
3279.41/3289.16	c #Conflicts:     349000 | #Constraints:      72749
3279.41/3289.16	c #Conflicts:     350000 | #Constraints:      73749
3279.41/3289.16	c #Conflicts:     351000 | #Constraints:      74749
3279.41/3289.16	c #Conflicts:     352000 | #Constraints:      75749
3279.41/3289.16	c INPROCESSING
3279.41/3289.16	c GARBAGE COLLECT
3279.41/3289.16	c #Conflicts:     353000 | #Constraints:      44616
3279.41/3289.16	c #Conflicts:     354000 | #Constraints:      45616
3279.41/3289.16	c #Conflicts:     355000 | #Constraints:      46616
3279.41/3289.16	c #Conflicts:     356000 | #Constraints:      47616
3279.41/3289.16	c #Conflicts:     357000 | #Constraints:      48616
3279.41/3289.16	c #Conflicts:     358000 | #Constraints:      49616
3279.41/3289.16	c #Conflicts:     359000 | #Constraints:      50616
3279.41/3289.16	c #Conflicts:     360000 | #Constraints:      51616
3279.41/3289.16	c #Conflicts:     361000 | #Constraints:      52616
3279.41/3289.16	c #Conflicts:     362000 | #Constraints:      53616
3279.41/3289.16	c #Conflicts:     363000 | #Constraints:      54616
3279.41/3289.16	c #Conflicts:     364000 | #Constraints:      55616
3279.41/3289.16	c INPROCESSING
3279.41/3289.16	c GARBAGE COLLECT
3279.41/3289.16	c #Conflicts:     365000 | #Constraints:      34388
3279.41/3289.16	c #Conflicts:     366000 | #Constraints:      35388
3279.41/3289.16	c #Conflicts:     367000 | #Constraints:      36388
3279.41/3289.16	c #Conflicts:     368000 | #Constraints:      37388
3279.41/3289.16	c #Conflicts:     369000 | #Constraints:      38388
3279.41/3289.16	c #Conflicts:     370000 | #Constraints:      39388
3279.41/3289.16	c #Conflicts:     371000 | #Constraints:      40388
3279.41/3289.16	c #Conflicts:     372000 | #Constraints:      41388
3279.41/3289.16	c #Conflicts:     373000 | #Constraints:      42388
3279.41/3289.16	c #Conflicts:     374000 | #Constraints:      43388
3279.41/3289.16	c #Conflicts:     375000 | #Constraints:      44388
3279.41/3289.16	c #Conflicts:     376000 | #Constraints:      45388
3279.41/3289.16	c #Conflicts:     377000 | #Constraints:      46388
3279.41/3289.16	c INPROCESSING
3279.41/3289.16	c GARBAGE COLLECT
3279.41/3289.16	c #Conflicts:     378000 | #Constraints:      30040
3279.41/3289.16	c #Conflicts:     379000 | #Constraints:      31040
3279.41/3289.16	c #Conflicts:     380000 | #Constraints:      32040
3279.41/3289.16	c #Conflicts:     381000 | #Constraints:      33040
3279.41/3289.16	c #Conflicts:     382000 | #Constraints:      34040
3279.41/3289.16	c #Conflicts:     383000 | #Constraints:      35040
3279.41/3289.16	c #Conflicts:     384000 | #Constraints:      36040
3279.41/3289.16	c #Conflicts:     385000 | #Constraints:      37040
3279.41/3289.16	c #Conflicts:     386000 | #Constraints:      38040
3279.41/3289.16	c #Conflicts:     387000 | #Constraints:      39040
3279.41/3289.16	c #Conflicts:     388000 | #Constraints:      40040
3279.41/3289.16	c #Conflicts:     389000 | #Constraints:      41040
3279.41/3289.16	c #Conflicts:     390000 | #Constraints:      42040
3279.41/3289.16	c INPROCESSING
3279.41/3289.16	c GARBAGE COLLECT
3279.41/3289.16	c #Conflicts:     391000 | #Constraints:      28008
3279.41/3289.16	c #Conflicts:     392000 | #Constraints:      29008
3279.41/3289.16	c #Conflicts:     393000 | #Constraints:      30008
3279.41/3289.16	c #Conflicts:     394000 | #Constraints:      31008
3279.41/3289.16	c #Conflicts:     395000 | #Constraints:      32008
3279.41/3289.16	c #Conflicts:     396000 | #Constraints:      33008
3279.41/3289.16	c #Conflicts:     397000 | #Constraints:      34008
3279.41/3289.16	c #Conflicts:     398000 | #Constraints:      35008
3279.41/3289.16	c #Conflicts:     399000 | #Constraints:      36008
3279.41/3289.16	c #Conflicts:     400000 | #Constraints:      37008
3279.41/3289.16	c #Conflicts:     401000 | #Constraints:      38008
3279.41/3289.16	c #Conflicts:     402000 | #Constraints:      39008
3279.41/3289.16	c INPROCESSING
3279.41/3289.16	c GARBAGE COLLECT
3279.41/3289.16	c #Conflicts:     403000 | #Constraints:      26038
3279.41/3289.16	c #Conflicts:     404000 | #Constraints:      27038
3279.41/3289.16	c #Conflicts:     405000 | #Constraints:      28038
3279.41/3289.16	c #Conflicts:     406000 | #Constraints:      29038
3279.41/3289.16	c #Conflicts:     407000 | #Constraints:      30038
3279.41/3289.16	c #Conflicts:     408000 | #Constraints:      31038
3600.07/3610.72	c #Conflicts:     409000 | #Constraints:      32038
3600.07/3610.72	c #Conflicts:     410000 | #Constraints:      33038
3600.07/3610.72	c #Conflicts:     411000 | #Constraints:      34038
3600.07/3610.72	c #Conflicts:     412000 | #Constraints:      35038
3600.07/3610.72	c #Conflicts:     413000 | #Constraints:      36038
3600.07/3610.72	c #Conflicts:     414000 | #Constraints:      37038
3600.07/3610.72	c #Conflicts:     415000 | #Constraints:      38038
3600.07/3610.72	c #Conflicts:     416000 | #Constraints:      39038
3600.07/3610.72	c #Conflicts:     417000 | #Constraints:      40038
3600.07/3610.72	c #Conflicts:     418000 | #Constraints:      41038
3600.07/3610.72	c #Conflicts:     419000 | #Constraints:      42038
3600.07/3610.72	c #Conflicts:     420000 | #Constraints:      43038
3600.07/3610.72	c #Conflicts:     421000 | #Constraints:      44038
3600.07/3610.72	c #Conflicts:     422000 | #Constraints:      45038
3600.07/3610.72	c #Conflicts:     423000 | #Constraints:      46038
3600.07/3610.72	c #Conflicts:     424000 | #Constraints:      47038
3600.07/3610.72	c #Conflicts:     425000 | #Constraints:      48038
3600.07/3610.72	c #Conflicts:     426000 | #Constraints:      49038
3600.07/3610.72	c #Conflicts:     427000 | #Constraints:      50038
3600.07/3610.72	c #Conflicts:     428000 | #Constraints:      51038
3600.07/3610.72	c #Conflicts:     429000 | #Constraints:      52038
3600.07/3610.72	c #Conflicts:     430000 | #Constraints:      53038
3600.07/3610.72	c #Conflicts:     431000 | #Constraints:      54038
3600.07/3610.72	c #Conflicts:     432000 | #Constraints:      55038
3600.07/3610.72	c #Conflicts:     433000 | #Constraints:      56038
3600.07/3610.72	c #Conflicts:     434000 | #Constraints:      57038
3600.07/3610.72	c #Conflicts:     435000 | #Constraints:      58038
3600.07/3610.72	c #Conflicts:     436000 | #Constraints:      59038
3600.07/3610.72	c #Conflicts:     437000 | #Constraints:      60038
3600.07/3610.72	c #Conflicts:     438000 | #Constraints:      61038
3600.07/3610.72	c #Conflicts:     439000 | #Constraints:      62038
3600.07/3610.72	c Program interrupted by user.
3600.07/3610.72	c cpu time 3576.62 s
3600.07/3610.72	c deterministic time 651778411148 6.52e+11
3600.07/3610.72	c optimization time 1170.69 s
3600.07/3610.72	c total solve time 2405.84 s
3600.07/3610.72	c core-guided solve time 2405.84 s
3600.07/3610.72	c propagation time 3300.7 s
3600.07/3610.72	c conflict analysis time 210.93 s
3600.07/3610.72	c propagations 182680861
3600.07/3610.72	c resolve steps 2671826
3600.07/3610.72	c decisions 23573189
3600.07/3610.72	c conflicts 439291
3600.07/3610.72	c restarts 1021
3600.07/3610.72	c inprocessing phases 51
3600.07/3610.72	c input clauses 14995
3600.07/3610.72	c input cardinalities 1067
3600.07/3610.72	c input general constraints 429
3600.07/3610.72	c input average constraint length 49.94
3600.07/3610.72	c input average constraint degree 255.15
3600.07/3610.72	c learned clauses 79152
3600.07/3610.72	c learned cardinalities 27711
3600.07/3610.72	c learned general constraints 332456
3600.07/3610.72	c learned average constraint length 1275.77
3600.07/3610.72	c learned average constraint degree 22527719.58
3600.07/3610.72	c watched constraints 260874
3600.07/3610.72	c counting constraints 72011
3600.07/3610.72	c gcd simplifications 11288
3600.07/3610.72	c detected cardinalities 1873
3600.07/3610.72	c weakened non-implied lits 56358733
3600.07/3610.72	c weakened non-implying lits 18166
3600.07/3610.72	c original variables 8405
3600.07/3610.72	c clausal propagations 24778040
3600.07/3610.72	c cardinality propagations 41454937
3600.07/3610.72	c watched propagations 41340953
3600.07/3610.72	c counting propagations 70665559
3600.07/3610.72	c watch lookups 40315336255
3600.07/3610.72	c watch backjump lookups 38388057379
3600.07/3610.72	c watch checks 362131510119
3600.07/3610.72	c propagation checks 209544449340
3600.07/3610.72	c constraint additions 986117011
3600.07/3610.72	c trail pops 206686993
3600.07/3610.72	c formula constraints 11367
3600.07/3610.72	c learned constraints 439319
3600.07/3610.72	c bound constraints 3681
3600.07/3610.72	c core-guided constraints 1443
3600.07/3610.72	c encountered formula constraints 479462
3600.07/3610.72	c encountered learned constraints 1730130
3600.07/3610.72	c encountered bound constraints 143
3600.07/3610.72	c encountered core-guided constraints 901382
3600.07/3610.72	c LP total time 0 s
3600.07/3610.72	c LP solve time 0 s
3600.07/3610.72	c LP constraints added 0
3600.07/3610.72	c LP constraints removed 0
3600.07/3610.72	c LP pivots internal 0
3600.07/3610.72	c LP pivots root 0
3600.07/3610.72	c LP calls 0
3600.07/3610.72	c LP optimalities 0
3600.07/3610.72	c LP no pivot count 0
3600.07/3610.72	c LP infeasibilities 0
3600.07/3610.72	c LP valid Farkas constraints 0
3600.07/3610.72	c LP learned Farkas constraints 0
3600.07/3610.72	c LP basis resets 0
3600.07/3610.72	c LP cycling count 0
3600.07/3610.72	c LP singular count 0
3600.07/3610.72	c LP no primal count 0
3600.07/3610.72	c LP no farkas count 0
3600.07/3610.72	c LP other issue count 0
3600.07/3610.72	c LP Gomory cuts 0
3600.07/3610.72	c LP learned cuts 0
3600.07/3610.72	c LP deleted cuts 0
3600.07/3610.72	c LP encountered Gomory constraints 0
3600.07/3610.72	c LP encountered Farkas constraints 0
3600.07/3610.72	c LP encountered learned Farkas constraints 0
3600.07/3610.72	c CG auxiliary variables introduced 933
3600.07/3610.72	c CG solutions found 7
3600.07/3610.72	c CG cores constructed 114
3600.07/3610.72	c CG core cardinality constraints returned 2
3600.07/3610.72	c CG unit cores 1
3600.07/3610.72	c CG single cores 112
3600.07/3610.72	c CG blocks removed during cardinality reduction 0
3600.07/3610.72	c CG first core best 0
3600.07/3610.72	c CG decision core best 0
3600.07/3610.72	c CG core reduction tie 1
3600.07/3610.72	c CG core degree average 1.61
3600.07/3610.72	c CG core slack average 7.65
3600.07/3610.72	c CG exhausted 3
3600.07/3610.72	c CG exhaust time 836.958 s
3600.07/3610.72	c CG trimmed 22
3600.07/3610.72	c CG trim time 0.034711 s
3600.07/3610.72	c CG minimized 0
3600.07/3610.72	c CG minimize time 0 s
3600.07/3610.72	c CG am1 prop time 0.069958 s
3600.07/3610.72	c CG # am1s reformulated 622
3600.07/3610.72	c CG lower bound derived from am1s 2404
3600.07/3610.72	c CG # clausal cores 108
3600.07/3610.72	c CG # cardinality cores 3
3600.07/3610.72	c CG # pb cores 3
3600.07/3610.72	c CG # pb reforms 2
3600.07/3610.72	c CG # cores discarded because of pb reform 0
3600.07/3610.72	d LOWERBOUND 936
3600.07/3610.72	d NCORES 114
3600.07/3610.72	d NPBCORES 3
3600.07/3610.72	d NPBREFORM 2
3600.07/3610.72	d NTRIMMED 22
3600.07/3610.72	d NEXHAUSTED 3
3600.07/3610.72	d NAM1S 622
3600.07/3610.72	d AM1LB 2404
3600.07/3610.72	o 939
3600.07/3610.72	s SATISFIABLE
3600.07/3610.72	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

Verifier Data 

OK	939

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: 63837 MiB (63121 MiB free)
  memory of node 1: 64465 MiB (62652 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484212-1751284155/watcher-4484212-1751284155 -o /tmp/evaluation-result-4484212-1751284155/solver-4484212-1751284155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751279994-35758 --watchdog 3760 pb-oll-rs HOME/instance-4484212-1751284155.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=36336, runsolver pid=36333

[startup+0.100078 s]*
/proc/loadavg: 4.08 4.12 4.09 5/250 36337
/proc/meminfo: memFree=128788716/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=22556 memory=7888 CPUtime=0.1 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 1303 0 0 0 7 3 0 0 20 0 1 0 44094310 23097344 1972 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 5639 1972 1120 243 0 1888 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22556 KiB
Current children cumulated memory: 7888 KiB

[startup+0.213103 s]*
/proc/loadavg: 4.07 4.12 4.09 5/250 36337
/proc/meminfo: memFree=128788716/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=24704 memory=10448 CPUtime=0.21 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 1847 0 0 0 16 5 0 0 20 0 1 0 44094310 25296896 2612 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 6176 2612 1248 243 0 2425 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 24704 KiB
Current children cumulated memory: 10448 KiB

[startup+0.312971 s]*
/proc/loadavg: 4.07 4.12 4.09 5/250 36337
/proc/meminfo: memFree=128788716/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=26428 memory=12108 CPUtime=0.3 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 2289 0 0 0 24 6 0 0 20 0 1 0 44094310 27062272 3027 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 6607 3027 1312 243 0 2856 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26428 KiB
Current children cumulated memory: 12108 KiB

[startup+0.70025 s]
/proc/loadavg: 4.07 4.12 4.09 5/250 36337
/proc/meminfo: memFree=128788716/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=27320 memory=15740 CPUtime=0.68 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 2698 0 0 0 40 28 0 0 20 0 1 0 44094310 27975680 3935 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 6830 3935 1312 243 0 3079 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27320 KiB
Current children cumulated memory: 15740 KiB

[startup+1.5003 s]
/proc/loadavg: 4.07 4.12 4.09 5/250 36337
/proc/meminfo: memFree=128787960/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=32000 memory=20476 CPUtime=1.48 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 3847 0 0 0 83 65 0 0 20 0 1 0 44094310 32768000 5119 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 8000 5119 1344 243 0 4249 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32000 KiB
Current children cumulated memory: 20476 KiB

[startup+3.11289 s]
/proc/loadavg: 4.07 4.12 4.09 5/250 36337
/proc/meminfo: memFree=128725732/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=85528 memory=73960 CPUtime=3.08 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 13654 0 0 0 235 73 0 0 20 0 1 0 44094310 87580672 18490 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 21382 18490 1344 243 0 17631 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 85528 KiB
Current children cumulated memory: 73960 KiB

[startup+6.30029 s]
/proc/loadavg: 4.15 4.13 4.09 5/250 36337
/proc/meminfo: memFree=128665348/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=165272 memory=126568 CPUtime=6.27 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 22198 0 0 0 548 79 0 0 20 0 1 0 44094310 169238528 31642 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 41318 31642 1344 243 0 37567 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 165272 KiB
Current children cumulated memory: 126568 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.13 4.09 5/250 36337
/proc/meminfo: memFree=128582308/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=222588 memory=200076 CPUtime=12.64 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 34957 0 0 0 1176 88 0 0 20 0 1 0 44094310 227930112 50019 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 55647 50019 1344 243 0 51896 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 222588 KiB
Current children cumulated memory: 200076 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.12 4.09 5/249 36337
/proc/meminfo: memFree=128517408/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=291200 memory=233752 CPUtime=25.41 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 39818 0 0 0 2432 109 0 0 20 0 1 0 44094310 298188800 58438 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 72800 58438 1344 243 0 69049 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 291200 KiB
Current children cumulated memory: 233752 KiB

[startup+51.1129 s]
/proc/loadavg: 4.07 4.11 4.09 5/249 36338
/proc/meminfo: memFree=128426864/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=358576 memory=298824 CPUtime=50.95 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 53512 0 0 0 4942 153 0 0 20 0 1 0 44094310 367181824 74706 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 89644 74706 1344 243 0 85893 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 358576 KiB
Current children cumulated memory: 298824 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/249 36340
/proc/meminfo: memFree=128335188/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=471344 memory=387728 CPUtime=101.99 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 65025 0 0 0 9986 213 0 0 20 0 1 0 44094310 482656256 96932 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 117836 96932 1344 243 0 114085 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 471344 KiB
Current children cumulated memory: 387728 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/249 36342
/proc/meminfo: memFree=128221804/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=565156 memory=477940 CPUtime=161.82 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 80472 0 0 0 15915 267 0 0 20 0 1 0 44094310 578719744 119485 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 141289 119485 1344 243 0 137538 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 565156 KiB
Current children cumulated memory: 477940 KiB

[startup+222.3 s]
/proc/loadavg: 4.49 4.20 4.12 5/249 36344
/proc/meminfo: memFree=128168508/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=639188 memory=555304 CPUtime=221.65 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 93698 0 0 0 21834 331 0 0 20 0 1 0 44094310 654528512 138826 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 159797 138826 1344 243 0 156046 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 639188 KiB
Current children cumulated memory: 555304 KiB

[startup+282.3 s]
/proc/loadavg: 4.51 4.28 4.15 5/249 36345
/proc/meminfo: memFree=128132880/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=647636 memory=577536 CPUtime=281.47 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 96715 0 0 0 27761 386 0 0 20 0 1 0 44094310 663179264 144384 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 161909 144384 1344 243 0 158158 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 647636 KiB
Current children cumulated memory: 577536 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 4.24 4.15 5/249 36347
/proc/meminfo: memFree=128113768/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=648932 memory=579200 CPUtime=341.31 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 97209 0 0 0 33695 436 0 0 20 0 1 0 44094310 664506368 144800 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 162233 144800 1344 243 0 158482 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 648932 KiB
Current children cumulated memory: 579200 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.22 4.15 5/249 36349
/proc/meminfo: memFree=128047000/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=790140 memory=606936 CPUtime=401.13 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 100550 0 0 0 39611 502 0 0 20 0 1 0 44094310 809103360 151734 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 197535 151734 1344 243 0 193784 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 790140 KiB
Current children cumulated memory: 606936 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.20 4.14 5/250 36352
/proc/meminfo: memFree=127996704/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=790140 memory=609112 CPUtime=460.95 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 101102 0 0 0 45536 559 0 0 20 0 1 0 44094310 809103360 152278 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 197535 152278 1344 243 0 193784 0

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

Current children cumulated memory: 965304 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/251 36527
/proc/meminfo: memFree=128466176/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1073536 memory=968504 CPUtime=2913.75 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 154964 0 0 0 289240 2135 0 0 20 0 1 0 44094310 1099300864 242126 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 268384 242126 1344 243 0 264633 0
Current children cumulated CPU time: 2913.75 s
Current children cumulated vsize: 1073536 KiB
Current children cumulated memory: 968504 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/250 36529
/proc/meminfo: memFree=128458796/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1084160 memory=974392 CPUtime=2973.56 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 156462 0 0 0 295206 2150 0 0 20 0 1 0 44094310 1110179840 243598 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 271040 243598 1344 243 0 267289 0
Current children cumulated CPU time: 2973.56 s
Current children cumulated vsize: 1084160 KiB
Current children cumulated memory: 974392 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/250 36531
/proc/meminfo: memFree=128453576/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1101860 memory=984632 CPUtime=3033.37 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 159057 0 0 0 301162 2175 0 0 20 0 1 0 44094310 1128304640 246158 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 275465 246158 1344 243 0 271714 0
Current children cumulated CPU time: 3033.37 s
Current children cumulated vsize: 1101860 KiB
Current children cumulated memory: 984632 KiB

[startup+3102.3 s]
/proc/loadavg: 4.00 4.09 4.13 5/247 36612
/proc/meminfo: memFree=128744064/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1101860 memory=984632 CPUtime=3093.19 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 159268 0 0 0 307111 2208 0 0 20 0 1 0 44094310 1128304640 246158 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 275465 246158 1344 243 0 271714 0
Current children cumulated CPU time: 3093.19 s
Current children cumulated vsize: 1101860 KiB
Current children cumulated memory: 984632 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.12 5/251 36624
/proc/meminfo: memFree=127954320/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1103980 memory=986040 CPUtime=3153 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 160245 0 0 0 313062 2238 0 0 20 0 1 0 44094310 1130475520 246510 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 275995 246510 1344 243 0 272244 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 1103980 KiB
Current children cumulated memory: 986040 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.12 5/250 36625
/proc/meminfo: memFree=127664264/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1103980 memory=986040 CPUtime=3212.81 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 160245 0 0 0 319024 2257 0 0 20 0 1 0 44094310 1130475520 246510 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 275995 246510 1344 243 0 272244 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 1103980 KiB
Current children cumulated memory: 986040 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.12 5/250 36627
/proc/meminfo: memFree=127284972/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1107440 memory=988216 CPUtime=3272.62 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 160770 0 0 0 324982 2280 0 0 20 0 1 0 44094310 1134018560 247054 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 276860 247054 1344 243 0 273109 0
Current children cumulated CPU time: 3272.62 s
Current children cumulated vsize: 1107440 KiB
Current children cumulated memory: 988216 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.10 5/250 36629
/proc/meminfo: memFree=127175400/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1107440 memory=988216 CPUtime=3332.43 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 160770 0 0 0 330926 2317 0 0 20 0 1 0 44094310 1134018560 247054 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 276860 247054 1344 243 0 273109 0
Current children cumulated CPU time: 3332.43 s
Current children cumulated vsize: 1107440 KiB
Current children cumulated memory: 988216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.11 4.11 5/250 36631
/proc/meminfo: memFree=127120080/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1110148 memory=989624 CPUtime=3392.24 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 161138 0 0 0 336891 2333 0 0 20 0 1 0 44094310 1136791552 247406 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 277537 247406 1344 243 0 273786 0
Current children cumulated CPU time: 3392.24 s
Current children cumulated vsize: 1110148 KiB
Current children cumulated memory: 989624 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/250 36633
/proc/meminfo: memFree=126977984/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1114884 memory=1019960 CPUtime=3452.05 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 161968 0 0 0 342867 2338 0 0 20 0 1 0 44094310 1141641216 254990 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 278721 254990 1344 243 0 274970 0
Current children cumulated CPU time: 3452.05 s
Current children cumulated vsize: 1114884 KiB
Current children cumulated memory: 1019960 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.10 5/251 36636
/proc/meminfo: memFree=126851308/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1126532 memory=1042104 CPUtime=3511.9 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 163899 0 0 0 348850 2340 0 0 20 0 1 0 44094310 1153568768 260526 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 281633 260526 1344 243 0 277882 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 1126532 KiB
Current children cumulated memory: 1042104 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/250 36644
/proc/meminfo: memFree=126422848/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1131652 memory=1045432 CPUtime=3571.75 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 164796 0 0 0 354828 2347 0 0 20 0 1 0 44094310 1158811648 261358 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 282913 261358 1344 243 0 279162 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 1131652 KiB
Current children cumulated memory: 1045432 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 36646
/proc/meminfo: memFree=126422344/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1132164 memory=1045816 CPUtime=3600.07 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 164907 0 0 0 357659 2348 0 0 20 0 1 0 44094310 1159335936 261454 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 283041 261454 1344 243 0 279290 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1132164 KiB
Current children cumulated memory: 1045816 KiB

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

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

# cumulated CPU time of all completed processes:  user=3576.63 s, system=23.4904 s

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

[startup+3610.7 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 36646
/proc/meminfo: memFree=126422344/131382120 swapFree=33010684/33010684
[pid=36336] ppid=36333 vsize=1132164 memory=1045816 CPUtime=3600.07 cores=0,2
/proc/36336/stat : 36336 (pb-oll-rs) R 36333 36336 35748 0 -1 4194304 164907 0 0 0 357659 2348 0 0 20 0 1 0 44094310 1159335936 261454 18446744073709551615 4218880 5211445 140727033525776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34021376 140727033534876 140727033534953 140727033534953 140727033540555 0
/proc/36336/statm: 283041 261454 1344 243 0 279290 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1132164 KiB
Current children cumulated memory: 1045816 KiB

Child status: 0

Real time (s): 3610.73
CPU time (s): 3600.12
CPU user time (s): 3576.63
CPU system time (s): 23.4904
CPU usage (%): 99.706
Max. virtual memory (cumulated for all children) (KiB): 1132164
Max. memory (cumulated for all children) (KiB): 1045816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.63
system time used= 23.4904
maximum resident set size= 1046200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164977
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= 143
involuntary context switches= 8377


# summary of solver processes directly reported to runsolver:
#   pid: 36336
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3576.63
#   total CPU system time (s): 23.4904

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2796 second user time and 34.6668 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-06-30 13:49:15
IDJOB=4484212
IDBENCH=146652
IDSOLVER=3345
FILE ID=nodeC002/4484212-1751284155
RUNJOBID= nodeC002-1751279994-35758
SLURM_JOB_ID= 9594221
Free space on /tmp= 433052 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484212-1751284155/watcher-4484212-1751284155 -o /tmp/evaluation-result-4484212-1751284155/solver-4484212-1751284155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751279994-35758 --watchdog 3760  pb-oll-rs HOME/instance-4484212-1751284155.opb

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1120197272

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128792732 kB
MemAvailable:   128584080 kB
Buffers:            3280 kB
Cached:           600680 kB
SwapCached:            0 kB
Active:          1740332 kB
Inactive:         351932 kB
Active(anon):    1506264 kB
Inactive(anon):        0 kB
Active(file):     234068 kB
Inactive(file):   351932 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2188 kB
Writeback:             0 kB
AnonPages:       1491500 kB
Mapped:           106712 kB
Shmem:             17960 kB
KReclaimable:      89952 kB
Slab:             172432 kB
SReclaimable:      89952 kB
SUnreclaim:        82480 kB
KernelStack:        4064 kB
PageTables:         6192 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    2074336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149352 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    274432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC002 at 2025-06-30 14:49:26