Trace number 4435929

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-02SAT (TO)939 3600.04 3609.42

DiagnosticValue
AM1LB2404
LOWERBOUND936
NAM1S622
NCORES114
NEXHAUSTED3
NPBCORES3
NPBREFORM2
NTRIMMED22

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.63488
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.11/0.12	c [STEP] solving
0.11/0.12	c #variables 8405 #constraints 11367
0.11/0.12	c SMALL=int, LARGE=long long
0.11/0.12	c bounds - >= -2545 @ 0.095408
0.11/0.12	c stratification level: 1
1.38/1.47	c bounds - >= -42 @ 0.224016
1.38/1.47	c bounds - >= 58 @ 0.255829
1.38/1.47	c bounds - >= 158 @ 0.257278
1.38/1.47	c bounds - >= 258 @ 0.260695
1.38/1.47	c bounds - >= 358 @ 0.26331
1.38/1.47	c bounds - >= 359 @ 0.267133
1.38/1.47	c bounds - >= 459 @ 0.272164
1.38/1.47	c bounds - >= 559 @ 0.277215
1.38/1.47	c bounds - >= 659 @ 0.282302
1.38/1.47	c bounds - >= 759 @ 0.288099
1.38/1.47	c bounds - >= 760 @ 0.292876
1.38/1.47	c bounds - >= 761 @ 0.299107
1.38/1.47	c bounds - >= 830 @ 0.305009
1.38/1.47	c bounds - >= 831 @ 0.310713
1.38/1.47	c bounds - >= 832 @ 0.313441
1.38/1.47	c bounds - >= 834 @ 0.318338
1.38/1.47	c bounds - >= 835 @ 0.321369
1.38/1.47	c bounds - >= 836 @ 0.323016
1.38/1.47	c bounds - >= 837 @ 0.328238
1.38/1.47	c bounds - >= 838 @ 0.33339
1.38/1.47	c bounds - >= 839 @ 0.337981
1.38/1.47	c bounds - >= 840 @ 0.343771
1.38/1.47	c bounds - >= 841 @ 0.348664
1.38/1.47	c bounds - >= 842 @ 0.353312
1.38/1.47	c bounds - >= 843 @ 0.357952
1.38/1.47	c bounds - >= 844 @ 0.362162
1.38/1.47	c bounds - >= 845 @ 0.364496
1.38/1.47	c bounds - >= 846 @ 0.372383
1.38/1.47	c bounds - >= 847 @ 0.37626
1.38/1.47	c bounds - >= 848 @ 0.378438
1.38/1.47	c bounds - >= 849 @ 0.385778
1.38/1.47	c bounds - >= 850 @ 0.39415
1.38/1.47	c bounds - >= 851 @ 0.397974
1.38/1.47	c bounds - >= 852 @ 0.402525
1.38/1.47	c bounds - >= 853 @ 0.408859
1.38/1.47	c bounds - >= 854 @ 0.41405
1.38/1.47	c bounds - >= 855 @ 0.423723
1.38/1.47	c bounds - >= 856 @ 0.428438
1.38/1.47	c bounds - >= 857 @ 0.434347
1.38/1.47	c bounds - >= 858 @ 0.441256
1.38/1.47	c bounds - >= 859 @ 0.461268
1.38/1.47	c bounds - >= 860 @ 0.471522
1.38/1.47	c bounds - >= 861 @ 0.477587
1.38/1.47	c bounds - >= 862 @ 0.482746
1.38/1.47	c bounds - >= 863 @ 0.504632
1.38/1.47	c bounds - >= 864 @ 0.508957
1.38/1.47	c bounds - >= 865 @ 0.51659
1.38/1.47	c bounds - >= 866 @ 0.525593
1.38/1.47	c bounds - >= 867 @ 0.532049
1.38/1.47	c bounds - >= 868 @ 0.553771
1.38/1.47	c bounds - >= 869 @ 0.591116
1.38/1.47	c bounds - >= 870 @ 0.598573
1.38/1.47	c bounds - >= 871 @ 0.603169
1.38/1.47	c bounds - >= 872 @ 0.609081
1.38/1.47	c bounds - >= 873 @ 0.613212
1.38/1.47	c bounds - >= 874 @ 0.619799
1.38/1.47	c bounds - >= 875 @ 0.624047
1.38/1.47	c bounds - >= 876 @ 0.627548
1.38/1.47	c bounds - >= 877 @ 0.634347
1.38/1.47	c bounds - >= 878 @ 0.641986
1.38/1.47	c bounds - >= 879 @ 0.647963
1.38/1.47	c bounds - >= 880 @ 0.653255
1.38/1.47	c bounds - >= 881 @ 0.659936
1.38/1.47	c bounds - >= 882 @ 0.664881
1.38/1.47	c bounds - >= 883 @ 0.669909
1.38/1.47	c bounds - >= 884 @ 0.674464
1.38/1.47	c bounds - >= 885 @ 0.678765
1.38/1.47	c bounds - >= 886 @ 0.686759
1.38/1.47	c bounds - >= 887 @ 0.691571
1.38/1.47	c bounds - >= 888 @ 0.696783
1.38/1.47	c bounds - >= 889 @ 0.699826
1.38/1.47	c bounds - >= 890 @ 0.70433
1.38/1.47	c bounds - >= 891 @ 0.710142
1.38/1.47	c bounds - >= 892 @ 0.715777
1.38/1.47	c bounds - >= 893 @ 0.722269
1.38/1.47	c bounds - >= 894 @ 0.727166
1.38/1.47	c bounds - >= 895 @ 0.746593
1.38/1.47	c bounds - >= 896 @ 0.762017
1.38/1.47	c bounds - >= 897 @ 0.768114
1.38/1.47	c finalizing WCE round: reformulating cores
599.44/601.06	c #Conflicts:       1000 | #Constraints:      13098
599.44/601.06	c #Conflicts:       2000 | #Constraints:      14100
599.44/601.06	c INPROCESSING
599.44/601.06	c GARBAGE COLLECT
599.44/601.06	c #Conflicts:       3000 | #Constraints:      14056
599.44/601.06	c #Conflicts:       4000 | #Constraints:      15058
599.44/601.06	c INPROCESSING
599.44/601.06	c GARBAGE COLLECT
599.44/601.06	c #Conflicts:       5000 | #Constraints:      14510
599.44/601.06	c #Conflicts:       6000 | #Constraints:      15512
599.44/601.06	c INPROCESSING
599.44/601.06	c GARBAGE COLLECT
599.44/601.06	c #Conflicts:       7000 | #Constraints:      14551
599.44/601.06	c #Conflicts:       8000 | #Constraints:      15553
599.44/601.06	c #Conflicts:       9000 | #Constraints:      16557
599.44/601.06	c INPROCESSING
599.44/601.06	c GARBAGE COLLECT
599.44/601.06	c #Conflicts:      10000 | #Constraints:      15270
599.44/601.06	c #Conflicts:      11000 | #Constraints:      16272
599.44/601.06	c #Conflicts:      12000 | #Constraints:      17274
599.44/601.06	c INPROCESSING
599.44/601.06	c GARBAGE COLLECT
599.44/601.06	c #Conflicts:      13000 | #Constraints:      15736
599.44/601.06	c #Conflicts:      14000 | #Constraints:      16738
599.44/601.06	c #Conflicts:      15000 | #Constraints:      17740
599.44/601.06	c INPROCESSING
599.44/601.06	c GARBAGE COLLECT
599.44/601.06	c #Conflicts:      16000 | #Constraints:      16010
599.44/601.07	c #Conflicts:      17000 | #Constraints:      17016
599.44/601.07	c #Conflicts:      18000 | #Constraints:      18020
599.44/601.07	c INPROCESSING
599.44/601.07	c GARBAGE COLLECT
599.44/601.07	c #Conflicts:      19000 | #Constraints:      15994
599.44/601.07	c #Conflicts:      20000 | #Constraints:      16996
599.44/601.07	c #Conflicts:      21000 | #Constraints:      17998
599.44/601.07	c INPROCESSING
599.44/601.07	c GARBAGE COLLECT
599.44/601.07	c #Conflicts:      22000 | #Constraints:      15805
599.44/601.07	c #Conflicts:      23000 | #Constraints:      16807
599.44/601.07	c #Conflicts:      24000 | #Constraints:      17811
599.44/601.07	c #Conflicts:      25000 | #Constraints:      18813
599.44/601.07	c INPROCESSING
599.44/601.07	c GARBAGE COLLECT
599.44/601.07	c #Conflicts:      26000 | #Constraints:      16418
599.44/601.07	c #Conflicts:      27000 | #Constraints:      17420
599.44/601.07	c #Conflicts:      28000 | #Constraints:      18422
599.44/601.07	c #Conflicts:      29000 | #Constraints:      19426
599.44/601.07	c INPROCESSING
599.44/601.07	c GARBAGE COLLECT
599.44/601.07	c #Conflicts:      30000 | #Constraints:      16821
599.44/601.07	c #Conflicts:      31000 | #Constraints:      17823
599.44/601.07	c #Conflicts:      32000 | #Constraints:      18825
599.44/601.07	c #Conflicts:      33000 | #Constraints:      19829
599.44/601.07	c INPROCESSING
599.44/601.07	c GARBAGE COLLECT
599.44/601.07	c #Conflicts:      34000 | #Constraints:      17007
599.44/601.07	c #Conflicts:      35000 | #Constraints:      18009
599.44/601.07	c #Conflicts:      36000 | #Constraints:      19011
599.44/601.07	c #Conflicts:      37000 | #Constraints:      20015
599.44/601.07	c INPROCESSING
599.44/601.07	c GARBAGE COLLECT
599.44/601.07	c #Conflicts:      38000 | #Constraints:      17032
599.44/601.07	c #Conflicts:      39000 | #Constraints:      18034
599.44/601.07	c #Conflicts:      40000 | #Constraints:      19036
599.44/601.07	c #Conflicts:      41000 | #Constraints:      20040
599.44/601.07	c INPROCESSING
599.44/601.07	c GARBAGE COLLECT
599.44/601.07	c #Conflicts:      42000 | #Constraints:      16898
599.44/601.07	c #Conflicts:      43000 | #Constraints:      17900
599.44/601.07	c #Conflicts:      44000 | #Constraints:      18904
599.44/601.07	c #Conflicts:      45000 | #Constraints:      19906
599.44/601.07	c #Conflicts:      46000 | #Constraints:      20908
599.44/601.07	c INPROCESSING
599.44/601.07	c GARBAGE COLLECT
599.44/601.07	c #Conflicts:      47000 | #Constraints:      17538
599.44/601.07	c #Conflicts:      48000 | #Constraints:      18540
599.44/601.07	c #Conflicts:      49000 | #Constraints:      19542
599.44/601.07	c #Conflicts:      50000 | #Constraints:      20546
599.44/601.07	c #Conflicts:      51000 | #Constraints:      21548
599.44/601.07	c INPROCESSING
599.44/601.07	c GARBAGE COLLECT
599.44/601.07	c #Conflicts:      52000 | #Constraints:      17911
599.44/601.07	c #Conflicts:      53000 | #Constraints:      18913
599.44/601.07	c #Conflicts:      54000 | #Constraints:      19915
599.44/601.07	c #Conflicts:      55000 | #Constraints:      20919
599.44/601.07	c #Conflicts:      56000 | #Constraints:      21921
599.44/601.07	c INPROCESSING
599.44/601.07	c GARBAGE COLLECT
599.44/601.07	c #Conflicts:      57000 | #Constraints:      18124
599.44/601.07	c #Conflicts:      58000 | #Constraints:      19126
599.44/601.07	c #Conflicts:      59000 | #Constraints:      20128
599.44/601.07	c bounds 958 >= 897 @ 591.836
599.44/601.07	c bounds 958 >= 899 @ 591.84
599.44/601.07	c bounds 958 >= 900 @ 591.847
599.44/601.07	c bounds 958 >= 901 @ 591.85
599.44/601.07	c bounds 958 >= 902 @ 591.851
599.44/601.07	c bounds 958 >= 903 @ 591.868
599.44/601.07	c bounds 958 >= 904 @ 591.897
599.44/601.07	c bounds 958 >= 905 @ 591.917
599.44/601.07	c bounds 958 >= 906 @ 591.945
599.44/601.07	c bounds 958 >= 907 @ 591.95
599.44/601.07	c bounds 958 >= 908 @ 591.988
599.44/601.07	c bounds 958 >= 909 @ 592.017
599.44/601.07	c bounds 958 >= 910 @ 592.049
599.44/601.07	c bounds 958 >= 911 @ 592.153
599.44/601.07	c bounds 958 >= 912 @ 592.203
599.44/601.07	c bounds 958 >= 913 @ 592.301
599.44/601.07	c bounds 958 >= 914 @ 592.608
601.91/603.52	c #Conflicts:      60000 | #Constraints:      24779
601.91/603.52	c bounds 958 >= 915 @ 593.754
601.91/603.52	c finalizing WCE round: reformulating cores
675.61/677.43	c #Conflicts:      61000 | #Constraints:      25810
675.61/677.43	c INPROCESSING
675.61/677.43	c GARBAGE COLLECT
675.61/677.43	c #Conflicts:      62000 | #Constraints:      16276
675.61/677.43	c #Conflicts:      63000 | #Constraints:      17278
675.61/677.43	c #Conflicts:      64000 | #Constraints:      18280
675.61/677.43	c #Conflicts:      65000 | #Constraints:      19284
675.61/677.43	c #Conflicts:      66000 | #Constraints:      20286
675.61/677.43	c INPROCESSING
675.61/677.43	c GARBAGE COLLECT
675.61/677.43	c #Conflicts:      67000 | #Constraints:      16611
675.61/677.43	c #Conflicts:      68000 | #Constraints:      17613
675.61/677.43	c #Conflicts:      69000 | #Constraints:      18617
675.61/677.43	c #Conflicts:      70000 | #Constraints:      19619
675.61/677.43	c #Conflicts:      71000 | #Constraints:      20621
675.61/677.43	c bounds 952 >= 915 @ 666.618
675.61/677.43	c bounds 952 >= 916 @ 666.624
675.61/677.43	c bounds 952 >= 917 @ 666.625
675.61/677.43	c bounds 952 >= 918 @ 666.631
675.61/677.43	c bounds 952 >= 919 @ 666.644
675.61/677.43	c #Conflicts:      72000 | #Constraints:      21686
675.61/677.43	c bounds 952 >= 920 @ 666.894
675.61/677.43	c INPROCESSING
675.61/677.43	c GARBAGE COLLECT
675.61/677.43	c finalizing WCE round: reformulating cores
703.92/705.84	c #Conflicts:      73000 | #Constraints:      17599
703.92/705.84	c bounds 949 >= 918 @ 674.072
703.92/705.84	c #Conflicts:      74000 | #Constraints:      18605
703.92/705.84	c #Conflicts:      75000 | #Constraints:      19607
703.92/705.84	c #Conflicts:      76000 | #Constraints:      20609
703.92/705.84	c bounds 949 >= 921 @ 693.496
703.92/705.84	c bounds 949 >= 922 @ 693.502
703.92/705.84	c bounds 949 >= 923 @ 693.52
703.92/705.84	c bounds 949 >= 924 @ 693.585
703.92/705.84	c #Conflicts:      77000 | #Constraints:      21687
703.92/705.84	c bounds 949 >= 925 @ 694.357
703.92/705.84	c finalizing WCE round: reformulating cores
918.41/920.97	c #Conflicts:      78000 | #Constraints:      22724
918.41/920.97	c INPROCESSING
918.41/920.97	c GARBAGE COLLECT
918.41/920.97	c #Conflicts:      79000 | #Constraints:      18210
918.41/920.97	c bounds 944 >= 924 @ 697.317
918.41/920.97	c bounds 944 >= 924 @ 697.475
918.41/920.97	c #Conflicts:      80000 | #Constraints:      19216
918.41/920.97	c #Conflicts:      81000 | #Constraints:      20218
918.41/920.97	c bounds 944 >= 927 @ 704.063
918.41/920.97	c bounds 944 >= 928 @ 704.092
918.41/920.97	c bounds 944 >= 929 @ 704.426
918.41/920.97	c #Conflicts:      82000 | #Constraints:      21277
918.41/920.97	c #Conflicts:      83000 | #Constraints:      22277
918.41/920.97	c #Conflicts:      84000 | #Constraints:      23277
918.41/920.97	c INPROCESSING
918.41/920.97	c GARBAGE COLLECT
918.41/920.97	c #Conflicts:      85000 | #Constraints:      18457
918.41/920.97	c #Conflicts:      86000 | #Constraints:      19457
918.41/920.97	c #Conflicts:      87000 | #Constraints:      20457
918.41/920.97	c #Conflicts:      88000 | #Constraints:      21457
918.41/920.97	c bounds 944 >= 930 @ 716.307
918.41/920.97	c #Conflicts:      89000 | #Constraints:      22479
918.41/920.97	c #Conflicts:      90000 | #Constraints:      23479
918.41/920.97	c INPROCESSING
918.41/920.97	c GARBAGE COLLECT
918.41/920.97	c #Conflicts:      91000 | #Constraints:      18527
918.41/920.97	c #Conflicts:      92000 | #Constraints:      19527
918.41/920.97	c #Conflicts:      93000 | #Constraints:      20527
918.41/920.97	c #Conflicts:      94000 | #Constraints:      21527
918.41/920.97	c #Conflicts:      95000 | #Constraints:      22527
918.41/920.97	c #Conflicts:      96000 | #Constraints:      23527
918.41/920.97	c INPROCESSING
918.41/920.97	c GARBAGE COLLECT
918.41/920.97	c #Conflicts:      97000 | #Constraints:      18382
918.41/920.97	c #Conflicts:      98000 | #Constraints:      19382
918.41/920.97	c #Conflicts:      99000 | #Constraints:      20382
918.41/920.97	c #Conflicts:     100000 | #Constraints:      21382
918.41/920.97	c #Conflicts:     101000 | #Constraints:      22382
918.41/920.97	c #Conflicts:     102000 | #Constraints:      23382
918.41/920.97	c #Conflicts:     103000 | #Constraints:      24382
918.41/920.97	c INPROCESSING
918.41/920.97	c GARBAGE COLLECT
918.41/920.97	c #Conflicts:     104000 | #Constraints:      18995
918.41/920.97	c #Conflicts:     105000 | #Constraints:      19995
918.41/920.97	c #Conflicts:     106000 | #Constraints:      20995
918.41/920.97	c #Conflicts:     107000 | #Constraints:      21995
918.41/920.97	c #Conflicts:     108000 | #Constraints:      22995
918.41/920.97	c #Conflicts:     109000 | #Constraints:      23995
918.41/920.97	c #Conflicts:     110000 | #Constraints:      24995
918.41/920.97	c INPROCESSING
918.41/920.97	c GARBAGE COLLECT
918.41/920.97	c #Conflicts:     111000 | #Constraints:      19411
918.41/920.97	c #Conflicts:     112000 | #Constraints:      20411
918.41/920.97	c #Conflicts:     113000 | #Constraints:      21411
918.41/920.97	c #Conflicts:     114000 | #Constraints:      22411
918.41/920.97	c finalizing WCE round: reformulating cores
1001.58/1004.37	c #Conflicts:     115000 | #Constraints:      23416
1001.58/1004.37	c #Conflicts:     116000 | #Constraints:      24418
1001.58/1004.37	c bounds 943 >= 930 @ 980.644
1001.58/1004.37	c bounds 943 >= 931 @ 981.272
1001.58/1004.37	c #Conflicts:     117000 | #Constraints:      25464
1001.58/1004.37	c INPROCESSING
1001.58/1004.37	c GARBAGE COLLECT
1001.58/1004.37	c #Conflicts:     118000 | #Constraints:      19666
1001.58/1004.37	c #Conflicts:     119000 | #Constraints:      20666
1001.58/1004.37	c #Conflicts:     120000 | #Constraints:      21666
1001.58/1004.37	c #Conflicts:     121000 | #Constraints:      22666
1001.58/1004.37	c bounds 943 >= 932 @ 989.133
1001.58/1004.37	c #Conflicts:     122000 | #Constraints:      23700
1001.58/1004.37	c finalizing WCE round: reformulating cores
1289.92/1293.57	c #Conflicts:     123000 | #Constraints:      24703
1289.92/1293.57	c bounds 940 >= 932 @ 994.328
1289.92/1293.57	c #Conflicts:     124000 | #Constraints:      25705
1289.92/1293.57	c INPROCESSING
1289.92/1293.57	c GARBAGE COLLECT
1289.92/1293.57	c #Conflicts:     125000 | #Constraints:      19693
1289.92/1293.57	c bounds 940 >= 933 @ 996.586
1289.92/1293.57	c #Conflicts:     126000 | #Constraints:      20727
1289.92/1293.57	c #Conflicts:     127000 | #Constraints:      21727
1289.92/1293.57	c #Conflicts:     128000 | #Constraints:      22727
1289.92/1293.57	c #Conflicts:     129000 | #Constraints:      23727
1289.92/1293.57	c #Conflicts:     130000 | #Constraints:      24727
1289.92/1293.57	c #Conflicts:     131000 | #Constraints:      25727
1289.92/1293.57	c INPROCESSING
1289.92/1293.57	c GARBAGE COLLECT
1289.92/1293.57	c #Conflicts:     132000 | #Constraints:      19496
1289.92/1293.57	c #Conflicts:     133000 | #Constraints:      20496
1289.92/1293.57	c #Conflicts:     134000 | #Constraints:      21496
1289.92/1293.57	c #Conflicts:     135000 | #Constraints:      22496
1289.92/1293.57	c #Conflicts:     136000 | #Constraints:      23496
1289.92/1293.57	c #Conflicts:     137000 | #Constraints:      24496
1289.92/1293.57	c #Conflicts:     138000 | #Constraints:      25496
1289.92/1293.57	c #Conflicts:     139000 | #Constraints:      26496
1289.92/1293.57	c INPROCESSING
1289.92/1293.57	c GARBAGE COLLECT
1289.92/1293.57	c #Conflicts:     140000 | #Constraints:      20086
1289.92/1293.57	c #Conflicts:     141000 | #Constraints:      21086
1289.92/1293.57	c #Conflicts:     142000 | #Constraints:      22086
1289.92/1293.57	c #Conflicts:     143000 | #Constraints:      23086
1289.92/1293.57	c #Conflicts:     144000 | #Constraints:      24086
1289.92/1293.57	c #Conflicts:     145000 | #Constraints:      25086
1289.92/1293.57	c #Conflicts:     146000 | #Constraints:      26086
1289.92/1293.57	c #Conflicts:     147000 | #Constraints:      27086
1289.92/1293.57	c INPROCESSING
1289.92/1293.57	c GARBAGE COLLECT
1289.92/1293.57	c #Conflicts:     148000 | #Constraints:      20482
1289.92/1293.57	c #Conflicts:     149000 | #Constraints:      21482
1289.92/1293.57	c #Conflicts:     150000 | #Constraints:      22482
1289.92/1293.57	c #Conflicts:     151000 | #Constraints:      23482
1289.92/1293.57	c #Conflicts:     152000 | #Constraints:      24482
1289.92/1293.57	c #Conflicts:     153000 | #Constraints:      25482
1289.92/1293.57	c #Conflicts:     154000 | #Constraints:      26482
1289.92/1293.57	c #Conflicts:     155000 | #Constraints:      27482
1289.92/1293.57	c INPROCESSING
1289.92/1293.57	c GARBAGE COLLECT
1289.92/1293.57	c #Conflicts:     156000 | #Constraints:      20690
1289.92/1293.57	c #Conflicts:     157000 | #Constraints:      21690
1289.92/1293.57	c #Conflicts:     158000 | #Constraints:      22690
1289.92/1293.57	c #Conflicts:     159000 | #Constraints:      23690
1289.92/1293.57	c #Conflicts:     160000 | #Constraints:      24690
1289.92/1293.57	c #Conflicts:     161000 | #Constraints:      25690
1289.92/1293.57	c #Conflicts:     162000 | #Constraints:      26690
1289.92/1293.57	c #Conflicts:     163000 | #Constraints:      27690
1289.92/1293.57	c INPROCESSING
1289.92/1293.57	c GARBAGE COLLECT
1289.92/1293.57	c #Conflicts:     164000 | #Constraints:      20687
1289.92/1293.57	c #Conflicts:     165000 | #Constraints:      21687
1289.92/1293.57	c #Conflicts:     166000 | #Constraints:      22687
1289.92/1293.57	c #Conflicts:     167000 | #Constraints:      23687
1289.92/1293.57	c #Conflicts:     168000 | #Constraints:      24687
1289.92/1293.57	c #Conflicts:     169000 | #Constraints:      25687
1289.92/1293.57	c #Conflicts:     170000 | #Constraints:      26687
1289.92/1293.57	c #Conflicts:     171000 | #Constraints:      27687
1289.92/1293.57	c INPROCESSING
1289.92/1293.57	c GARBAGE COLLECT
1289.92/1293.57	c #Conflicts:     172000 | #Constraints:      20483
1289.92/1293.57	c #Conflicts:     173000 | #Constraints:      21483
1289.92/1293.57	c #Conflicts:     174000 | #Constraints:      22483
1289.92/1293.57	c #Conflicts:     175000 | #Constraints:      23483
1289.92/1293.57	c #Conflicts:     176000 | #Constraints:      24483
1289.92/1293.57	c bounds 940 >= 934 @ 1152.82
1289.92/1293.57	c #Conflicts:     177000 | #Constraints:      25520
1289.92/1293.57	c #Conflicts:     178000 | #Constraints:      26520
1289.92/1293.57	c #Conflicts:     179000 | #Constraints:      27520
1289.92/1293.57	c #Conflicts:     180000 | #Constraints:      28520
1289.92/1293.57	c INPROCESSING
1289.92/1293.57	c GARBAGE COLLECT
1289.92/1293.57	c #Conflicts:     181000 | #Constraints:      21064
1289.92/1293.57	c #Conflicts:     182000 | #Constraints:      22064
1289.92/1293.57	c #Conflicts:     183000 | #Constraints:      23064
1289.92/1293.57	c #Conflicts:     184000 | #Constraints:      24064
1289.92/1293.57	c #Conflicts:     185000 | #Constraints:      25064
1289.92/1293.57	c #Conflicts:     186000 | #Constraints:      26064
1289.92/1293.57	c #Conflicts:     187000 | #Constraints:      27064
1289.92/1293.57	c #Conflicts:     188000 | #Constraints:      28064
1289.92/1293.57	c #Conflicts:     189000 | #Constraints:      29064
1289.92/1293.57	c INPROCESSING
1289.92/1293.57	c GARBAGE COLLECT
1289.92/1293.57	c #Conflicts:     190000 | #Constraints:      21480
1289.92/1293.57	c #Conflicts:     191000 | #Constraints:      22480
1289.92/1293.57	c #Conflicts:     192000 | #Constraints:      23480
1289.92/1293.57	c #Conflicts:     193000 | #Constraints:      24480
1289.92/1293.57	c #Conflicts:     194000 | #Constraints:      25480
1913.55/1918.90	c #Conflicts:     195000 | #Constraints:      26480
1913.55/1918.90	c #Conflicts:     196000 | #Constraints:      27480
1913.55/1918.90	c #Conflicts:     197000 | #Constraints:      28480
1913.55/1918.90	c #Conflicts:     198000 | #Constraints:      29480
1913.55/1918.90	c INPROCESSING
1913.55/1918.90	c GARBAGE COLLECT
1913.55/1918.90	c #Conflicts:     199000 | #Constraints:      21704
1913.55/1918.90	c #Conflicts:     200000 | #Constraints:      22704
1913.55/1918.90	c #Conflicts:     201000 | #Constraints:      23704
1913.55/1918.90	c #Conflicts:     202000 | #Constraints:      24704
1913.55/1918.90	c #Conflicts:     203000 | #Constraints:      25704
1913.55/1918.90	c #Conflicts:     204000 | #Constraints:      26704
1913.55/1918.90	c #Conflicts:     205000 | #Constraints:      27704
1913.55/1918.90	c #Conflicts:     206000 | #Constraints:      28704
1913.55/1918.90	c #Conflicts:     207000 | #Constraints:      29704
1913.55/1918.90	c INPROCESSING
1913.55/1918.90	c GARBAGE COLLECT
1913.55/1918.90	c #Conflicts:     208000 | #Constraints:      21699
1913.55/1918.90	c #Conflicts:     209000 | #Constraints:      22699
1913.55/1918.90	c #Conflicts:     210000 | #Constraints:      23699
1913.55/1918.90	c #Conflicts:     211000 | #Constraints:      24699
1913.55/1918.90	c #Conflicts:     212000 | #Constraints:      25699
1913.55/1918.90	c #Conflicts:     213000 | #Constraints:      26699
1913.55/1918.90	c #Conflicts:     214000 | #Constraints:      27699
1913.55/1918.90	c #Conflicts:     215000 | #Constraints:      28699
1913.55/1918.90	c #Conflicts:     216000 | #Constraints:      29699
1913.55/1918.90	c INPROCESSING
1913.55/1918.90	c GARBAGE COLLECT
1913.55/1918.90	c #Conflicts:     217000 | #Constraints:      21523
1913.55/1918.90	c #Conflicts:     218000 | #Constraints:      22523
1913.55/1918.90	c #Conflicts:     219000 | #Constraints:      23523
1913.55/1918.90	c #Conflicts:     220000 | #Constraints:      24523
1913.55/1918.90	c #Conflicts:     221000 | #Constraints:      25523
1913.55/1918.90	c #Conflicts:     222000 | #Constraints:      26523
1913.55/1918.90	c #Conflicts:     223000 | #Constraints:      27523
1913.55/1918.90	c #Conflicts:     224000 | #Constraints:      28523
1913.55/1918.90	c #Conflicts:     225000 | #Constraints:      29523
1913.55/1918.90	c #Conflicts:     226000 | #Constraints:      30523
1913.55/1918.90	c INPROCESSING
1913.55/1918.90	c GARBAGE COLLECT
1913.55/1918.90	c #Conflicts:     227000 | #Constraints:      22125
1913.55/1918.90	c #Conflicts:     228000 | #Constraints:      23125
1913.55/1918.90	c #Conflicts:     229000 | #Constraints:      24125
1913.55/1918.90	c #Conflicts:     230000 | #Constraints:      25125
1913.55/1918.90	c #Conflicts:     231000 | #Constraints:      26125
1913.55/1918.90	c #Conflicts:     232000 | #Constraints:      27125
1913.55/1918.90	c #Conflicts:     233000 | #Constraints:      28125
1913.55/1918.90	c #Conflicts:     234000 | #Constraints:      29125
1913.55/1918.90	c #Conflicts:     235000 | #Constraints:      30125
1913.55/1918.90	c #Conflicts:     236000 | #Constraints:      31125
1913.55/1918.90	c INPROCESSING
1913.55/1918.90	c GARBAGE COLLECT
1913.55/1918.90	c #Conflicts:     237000 | #Constraints:      22531
1913.55/1918.90	c #Conflicts:     238000 | #Constraints:      23531
1913.55/1918.90	c #Conflicts:     239000 | #Constraints:      24531
1913.55/1918.90	c #Conflicts:     240000 | #Constraints:      25531
1913.55/1918.90	c #Conflicts:     241000 | #Constraints:      26531
1913.55/1918.90	c #Conflicts:     242000 | #Constraints:      27531
1913.55/1918.90	c #Conflicts:     243000 | #Constraints:      28531
1913.55/1918.90	c #Conflicts:     244000 | #Constraints:      29531
1913.55/1918.90	c #Conflicts:     245000 | #Constraints:      30531
1913.55/1918.90	c #Conflicts:     246000 | #Constraints:      31531
1913.55/1918.90	c INPROCESSING
1913.55/1918.90	c GARBAGE COLLECT
1913.55/1918.90	c #Conflicts:     247000 | #Constraints:      22710
1913.55/1918.90	c #Conflicts:     248000 | #Constraints:      23710
1913.55/1918.90	c #Conflicts:     249000 | #Constraints:      24710
1913.55/1918.90	c #Conflicts:     250000 | #Constraints:      25710
1913.55/1918.90	c #Conflicts:     251000 | #Constraints:      26710
1913.55/1918.90	c #Conflicts:     252000 | #Constraints:      27710
1913.55/1918.90	c #Conflicts:     253000 | #Constraints:      28710
1913.55/1918.90	c #Conflicts:     254000 | #Constraints:      29710
1913.55/1918.90	c #Conflicts:     255000 | #Constraints:      30710
1913.55/1918.90	c #Conflicts:     256000 | #Constraints:      31710
1913.55/1918.90	c INPROCESSING
1913.55/1918.90	c GARBAGE COLLECT
1913.55/1918.90	c #Conflicts:     257000 | #Constraints:      22709
1913.55/1918.90	c finalizing WCE round: reformulating cores
2316.83/2323.25	c #Conflicts:     258000 | #Constraints:      23712
2316.83/2323.25	c #Conflicts:     259000 | #Constraints:      24714
2316.83/2323.25	c bounds 939 >= 934 @ 1900.16
2316.83/2323.25	c #Conflicts:     260000 | #Constraints:      25714
2316.83/2323.25	c #Conflicts:     261000 | #Constraints:      26714
2316.83/2323.25	c #Conflicts:     262000 | #Constraints:      27714
2316.83/2323.25	c #Conflicts:     263000 | #Constraints:      28714
2316.83/2323.25	c #Conflicts:     264000 | #Constraints:      29714
2316.83/2323.25	c #Conflicts:     265000 | #Constraints:      30714
2316.83/2323.25	c bounds 939 >= 935 @ 1919.66
2316.83/2323.25	c #Conflicts:     266000 | #Constraints:      31760
2316.83/2323.25	c INPROCESSING
2316.83/2323.25	c GARBAGE COLLECT
2316.83/2323.25	c #Conflicts:     267000 | #Constraints:      22547
2316.83/2323.25	c #Conflicts:     268000 | #Constraints:      23547
2316.83/2323.25	c #Conflicts:     269000 | #Constraints:      24547
2316.83/2323.25	c #Conflicts:     270000 | #Constraints:      25547
2316.83/2323.25	c #Conflicts:     271000 | #Constraints:      26547
2316.83/2323.25	c #Conflicts:     272000 | #Constraints:      27547
2316.83/2323.25	c #Conflicts:     273000 | #Constraints:      28547
2316.83/2323.25	c #Conflicts:     274000 | #Constraints:      29547
2316.83/2323.25	c #Conflicts:     275000 | #Constraints:      30547
2316.83/2323.25	c #Conflicts:     276000 | #Constraints:      31547
2316.83/2323.25	c #Conflicts:     277000 | #Constraints:      32547
2316.83/2323.25	c INPROCESSING
2316.83/2323.25	c GARBAGE COLLECT
2316.83/2323.25	c #Conflicts:     278000 | #Constraints:      23143
2316.83/2323.25	c #Conflicts:     279000 | #Constraints:      24143
2316.83/2323.25	c #Conflicts:     280000 | #Constraints:      25143
2316.83/2323.25	c #Conflicts:     281000 | #Constraints:      26143
2316.83/2323.25	c #Conflicts:     282000 | #Constraints:      27143
2316.83/2323.25	c #Conflicts:     283000 | #Constraints:      28143
2316.83/2323.25	c #Conflicts:     284000 | #Constraints:      29143
2316.83/2323.25	c #Conflicts:     285000 | #Constraints:      30143
2316.83/2323.25	c #Conflicts:     286000 | #Constraints:      31143
2316.83/2323.25	c #Conflicts:     287000 | #Constraints:      32143
2316.83/2323.25	c #Conflicts:     288000 | #Constraints:      33143
2316.83/2323.25	c INPROCESSING
2316.83/2323.25	c GARBAGE COLLECT
2316.83/2323.25	c #Conflicts:     289000 | #Constraints:      23526
2316.83/2323.25	c #Conflicts:     290000 | #Constraints:      24526
2316.83/2323.25	c #Conflicts:     291000 | #Constraints:      25526
2316.83/2323.25	c #Conflicts:     292000 | #Constraints:      26526
2316.83/2323.25	c #Conflicts:     293000 | #Constraints:      27526
2316.83/2323.25	c #Conflicts:     294000 | #Constraints:      28526
2316.83/2323.25	c #Conflicts:     295000 | #Constraints:      29526
2316.83/2323.25	c #Conflicts:     296000 | #Constraints:      30526
2316.83/2323.25	c #Conflicts:     297000 | #Constraints:      31526
2316.83/2323.25	c #Conflicts:     298000 | #Constraints:      32526
2316.83/2323.25	c #Conflicts:     299000 | #Constraints:      33526
2316.83/2323.25	c INPROCESSING
2316.83/2323.25	c GARBAGE COLLECT
2316.83/2323.25	c #Conflicts:     300000 | #Constraints:      23721
2316.83/2323.25	c #Conflicts:     301000 | #Constraints:      24721
2316.83/2323.25	c #Conflicts:     302000 | #Constraints:      25721
2316.83/2323.25	c #Conflicts:     303000 | #Constraints:      26721
2316.83/2323.25	c #Conflicts:     304000 | #Constraints:      27721
2316.83/2323.25	c #Conflicts:     305000 | #Constraints:      28721
2316.83/2323.25	c #Conflicts:     306000 | #Constraints:      29721
2316.83/2323.25	c #Conflicts:     307000 | #Constraints:      30721
2316.83/2323.25	c #Conflicts:     308000 | #Constraints:      31721
2316.83/2323.25	c #Conflicts:     309000 | #Constraints:      32721
2316.83/2323.25	c #Conflicts:     310000 | #Constraints:      33721
2316.83/2323.25	c #Conflicts:     311000 | #Constraints:      34721
2316.83/2323.25	c #Conflicts:     312000 | #Constraints:      35721
2316.83/2323.25	c #Conflicts:     313000 | #Constraints:      36721
2316.83/2323.25	c #Conflicts:     314000 | #Constraints:      37721
2316.83/2323.25	c #Conflicts:     315000 | #Constraints:      38721
2316.83/2323.25	c #Conflicts:     316000 | #Constraints:      39721
2316.83/2323.25	c #Conflicts:     317000 | #Constraints:      40721
2316.83/2323.25	c #Conflicts:     318000 | #Constraints:      41721
2316.83/2323.25	c #Conflicts:     319000 | #Constraints:      42721
2316.83/2323.25	c #Conflicts:     320000 | #Constraints:      43721
2316.83/2323.25	c #Conflicts:     321000 | #Constraints:      44721
2316.83/2323.25	c #Conflicts:     322000 | #Constraints:      45721
2316.83/2323.25	c #Conflicts:     323000 | #Constraints:      46721
2316.83/2323.25	c #Conflicts:     324000 | #Constraints:      47721
2316.83/2323.25	c #Conflicts:     325000 | #Constraints:      48721
2316.83/2323.25	c #Conflicts:     326000 | #Constraints:      49721
2316.83/2323.25	c bounds 939 >= 936 @ 2288.78
2316.83/2323.25	c #Conflicts:     327000 | #Constraints:      50749
2316.83/2323.25	c #Conflicts:     328000 | #Constraints:      51749
2316.83/2323.25	c #Conflicts:     329000 | #Constraints:      52749
2316.83/2323.25	c #Conflicts:     330000 | #Constraints:      53749
2316.83/2323.25	c #Conflicts:     331000 | #Constraints:      54749
2316.83/2323.25	c #Conflicts:     332000 | #Constraints:      55749
3210.83/3219.32	c #Conflicts:     333000 | #Constraints:      56749
3210.83/3219.32	c #Conflicts:     334000 | #Constraints:      57749
3210.83/3219.32	c #Conflicts:     335000 | #Constraints:      58749
3210.83/3219.32	c #Conflicts:     336000 | #Constraints:      59749
3210.83/3219.32	c #Conflicts:     337000 | #Constraints:      60749
3210.83/3219.32	c #Conflicts:     338000 | #Constraints:      61749
3210.83/3219.32	c #Conflicts:     339000 | #Constraints:      62749
3210.83/3219.32	c #Conflicts:     340000 | #Constraints:      63749
3210.83/3219.32	c #Conflicts:     341000 | #Constraints:      64749
3210.83/3219.32	c #Conflicts:     342000 | #Constraints:      65749
3210.83/3219.32	c #Conflicts:     343000 | #Constraints:      66749
3210.83/3219.32	c #Conflicts:     344000 | #Constraints:      67749
3210.83/3219.32	c #Conflicts:     345000 | #Constraints:      68749
3210.83/3219.32	c #Conflicts:     346000 | #Constraints:      69749
3210.83/3219.32	c #Conflicts:     347000 | #Constraints:      70749
3210.83/3219.32	c #Conflicts:     348000 | #Constraints:      71749
3210.83/3219.32	c #Conflicts:     349000 | #Constraints:      72749
3210.83/3219.32	c #Conflicts:     350000 | #Constraints:      73749
3210.83/3219.32	c #Conflicts:     351000 | #Constraints:      74749
3210.83/3219.32	c #Conflicts:     352000 | #Constraints:      75749
3210.83/3219.32	c INPROCESSING
3210.83/3219.32	c GARBAGE COLLECT
3210.83/3219.32	c #Conflicts:     353000 | #Constraints:      44616
3210.83/3219.32	c #Conflicts:     354000 | #Constraints:      45616
3210.83/3219.32	c #Conflicts:     355000 | #Constraints:      46616
3210.83/3219.32	c #Conflicts:     356000 | #Constraints:      47616
3210.83/3219.32	c #Conflicts:     357000 | #Constraints:      48616
3210.83/3219.32	c #Conflicts:     358000 | #Constraints:      49616
3210.83/3219.32	c #Conflicts:     359000 | #Constraints:      50616
3210.83/3219.32	c #Conflicts:     360000 | #Constraints:      51616
3210.83/3219.32	c #Conflicts:     361000 | #Constraints:      52616
3210.83/3219.32	c #Conflicts:     362000 | #Constraints:      53616
3210.83/3219.32	c #Conflicts:     363000 | #Constraints:      54616
3210.83/3219.32	c #Conflicts:     364000 | #Constraints:      55616
3210.83/3219.32	c INPROCESSING
3210.83/3219.32	c GARBAGE COLLECT
3210.83/3219.32	c #Conflicts:     365000 | #Constraints:      34388
3210.83/3219.32	c #Conflicts:     366000 | #Constraints:      35388
3210.83/3219.32	c #Conflicts:     367000 | #Constraints:      36388
3210.83/3219.32	c #Conflicts:     368000 | #Constraints:      37388
3210.83/3219.32	c #Conflicts:     369000 | #Constraints:      38388
3210.83/3219.32	c #Conflicts:     370000 | #Constraints:      39388
3210.83/3219.32	c #Conflicts:     371000 | #Constraints:      40388
3210.83/3219.32	c #Conflicts:     372000 | #Constraints:      41388
3210.83/3219.32	c #Conflicts:     373000 | #Constraints:      42388
3210.83/3219.32	c #Conflicts:     374000 | #Constraints:      43388
3210.83/3219.32	c #Conflicts:     375000 | #Constraints:      44388
3210.83/3219.32	c #Conflicts:     376000 | #Constraints:      45388
3210.83/3219.32	c #Conflicts:     377000 | #Constraints:      46388
3210.83/3219.32	c INPROCESSING
3210.83/3219.32	c GARBAGE COLLECT
3210.83/3219.32	c #Conflicts:     378000 | #Constraints:      30040
3210.83/3219.32	c #Conflicts:     379000 | #Constraints:      31040
3210.83/3219.32	c #Conflicts:     380000 | #Constraints:      32040
3210.83/3219.32	c #Conflicts:     381000 | #Constraints:      33040
3210.83/3219.32	c #Conflicts:     382000 | #Constraints:      34040
3210.83/3219.32	c #Conflicts:     383000 | #Constraints:      35040
3210.83/3219.32	c #Conflicts:     384000 | #Constraints:      36040
3210.83/3219.32	c #Conflicts:     385000 | #Constraints:      37040
3210.83/3219.32	c #Conflicts:     386000 | #Constraints:      38040
3210.83/3219.32	c #Conflicts:     387000 | #Constraints:      39040
3210.83/3219.32	c #Conflicts:     388000 | #Constraints:      40040
3210.83/3219.32	c #Conflicts:     389000 | #Constraints:      41040
3210.83/3219.32	c #Conflicts:     390000 | #Constraints:      42040
3210.83/3219.32	c INPROCESSING
3210.83/3219.32	c GARBAGE COLLECT
3210.83/3219.32	c #Conflicts:     391000 | #Constraints:      28008
3210.83/3219.32	c #Conflicts:     392000 | #Constraints:      29008
3210.83/3219.32	c #Conflicts:     393000 | #Constraints:      30008
3210.83/3219.32	c #Conflicts:     394000 | #Constraints:      31008
3210.83/3219.32	c #Conflicts:     395000 | #Constraints:      32008
3210.83/3219.32	c #Conflicts:     396000 | #Constraints:      33008
3210.83/3219.32	c #Conflicts:     397000 | #Constraints:      34008
3210.83/3219.32	c #Conflicts:     398000 | #Constraints:      35008
3210.83/3219.32	c #Conflicts:     399000 | #Constraints:      36008
3210.83/3219.32	c #Conflicts:     400000 | #Constraints:      37008
3210.83/3219.32	c #Conflicts:     401000 | #Constraints:      38008
3210.83/3219.32	c #Conflicts:     402000 | #Constraints:      39008
3210.83/3219.32	c INPROCESSING
3210.83/3219.32	c GARBAGE COLLECT
3210.83/3219.32	c #Conflicts:     403000 | #Constraints:      26038
3210.83/3219.32	c #Conflicts:     404000 | #Constraints:      27038
3210.83/3219.32	c #Conflicts:     405000 | #Constraints:      28038
3210.83/3219.32	c #Conflicts:     406000 | #Constraints:      29038
3210.83/3219.32	c #Conflicts:     407000 | #Constraints:      30038
3210.83/3219.32	c #Conflicts:     408000 | #Constraints:      31038
3600.01/3609.40	c #Conflicts:     409000 | #Constraints:      32038
3600.01/3609.40	c #Conflicts:     410000 | #Constraints:      33038
3600.01/3609.40	c #Conflicts:     411000 | #Constraints:      34038
3600.01/3609.40	c #Conflicts:     412000 | #Constraints:      35038
3600.01/3609.40	c #Conflicts:     413000 | #Constraints:      36038
3600.01/3609.40	c #Conflicts:     414000 | #Constraints:      37038
3600.01/3609.40	c #Conflicts:     415000 | #Constraints:      38038
3600.01/3609.40	c #Conflicts:     416000 | #Constraints:      39038
3600.01/3609.40	c #Conflicts:     417000 | #Constraints:      40038
3600.01/3609.40	c #Conflicts:     418000 | #Constraints:      41038
3600.01/3609.40	c #Conflicts:     419000 | #Constraints:      42038
3600.01/3609.40	c #Conflicts:     420000 | #Constraints:      43038
3600.01/3609.40	c #Conflicts:     421000 | #Constraints:      44038
3600.01/3609.40	c #Conflicts:     422000 | #Constraints:      45038
3600.01/3609.40	c #Conflicts:     423000 | #Constraints:      46038
3600.01/3609.40	c #Conflicts:     424000 | #Constraints:      47038
3600.01/3609.40	c #Conflicts:     425000 | #Constraints:      48038
3600.01/3609.40	c #Conflicts:     426000 | #Constraints:      49038
3600.01/3609.40	c #Conflicts:     427000 | #Constraints:      50038
3600.01/3609.40	c #Conflicts:     428000 | #Constraints:      51038
3600.01/3609.40	c #Conflicts:     429000 | #Constraints:      52038
3600.01/3609.40	c #Conflicts:     430000 | #Constraints:      53038
3600.01/3609.40	c #Conflicts:     431000 | #Constraints:      54038
3600.01/3609.40	c #Conflicts:     432000 | #Constraints:      55038
3600.01/3609.40	c #Conflicts:     433000 | #Constraints:      56038
3600.01/3609.40	c #Conflicts:     434000 | #Constraints:      57038
3600.01/3609.40	c #Conflicts:     435000 | #Constraints:      58038
3600.01/3609.40	c #Conflicts:     436000 | #Constraints:      59038
3600.01/3609.40	c #Conflicts:     437000 | #Constraints:      60038
3600.01/3609.40	c #Conflicts:     438000 | #Constraints:      61038
3600.01/3609.40	c #Conflicts:     439000 | #Constraints:      62038
3600.01/3609.40	c #Conflicts:     440000 | #Constraints:      63038
3600.01/3609.40	c #Conflicts:     441000 | #Constraints:      64038
3600.01/3609.40	c #Conflicts:     442000 | #Constraints:      65038
3600.01/3609.40	c Program interrupted by user.
3600.01/3609.40	c cpu time 3576.6 s
3600.01/3609.40	c deterministic time 671430496781 6.71e+11
3600.01/3609.40	c optimization time 1179.76 s
3600.01/3609.40	c total solve time 2396.75 s
3600.01/3609.40	c core-guided solve time 2396.75 s
3600.01/3609.40	c propagation time 3325.11 s
3600.01/3609.40	c conflict analysis time 190.347 s
3600.01/3609.40	c propagations 183041372
3600.01/3609.40	c resolve steps 2688557
3600.01/3609.40	c decisions 23583696
3600.01/3609.40	c conflicts 442382
3600.01/3609.40	c restarts 1021
3600.01/3609.40	c inprocessing phases 51
3600.01/3609.40	c input clauses 14995
3600.01/3609.40	c input cardinalities 1067
3600.01/3609.40	c input general constraints 429
3600.01/3609.40	c input average constraint length 49.94
3600.01/3609.40	c input average constraint degree 255.15
3600.01/3609.40	c learned clauses 79782
3600.01/3609.40	c learned cardinalities 27993
3600.01/3609.40	c learned general constraints 334635
3600.01/3609.40	c learned average constraint length 1271.14
3600.01/3609.40	c learned average constraint degree 22492584.13
3600.01/3609.40	c watched constraints 263006
3600.01/3609.40	c counting constraints 72058
3600.01/3609.40	c gcd simplifications 11308
3600.01/3609.40	c detected cardinalities 1888
3600.01/3609.40	c weakened non-implied lits 57145501
3600.01/3609.40	c weakened non-implying lits 18216
3600.01/3609.40	c original variables 8405
3600.01/3609.40	c clausal propagations 24804025
3600.01/3609.40	c cardinality propagations 41493433
3600.01/3609.40	c watched propagations 41629702
3600.01/3609.40	c counting propagations 70666677
3600.01/3609.40	c watch lookups 40489263192
3600.01/3609.40	c watch backjump lookups 38519527651
3600.01/3609.40	c watch checks 378587950102
3600.01/3609.40	c propagation checks 212425577455
3600.01/3609.40	c constraint additions 994492208
3600.01/3609.40	c trail pops 207061104
3600.01/3609.40	c formula constraints 11367
3600.01/3609.40	c learned constraints 442410
3600.01/3609.40	c bound constraints 3681
3600.01/3609.40	c core-guided constraints 1443
3600.01/3609.40	c encountered formula constraints 487111
3600.01/3609.40	c encountered learned constraints 1741511
3600.01/3609.40	c encountered bound constraints 143
3600.01/3609.40	c encountered core-guided constraints 902174
3600.01/3609.40	c LP total time 0 s
3600.01/3609.40	c LP solve time 0 s
3600.01/3609.40	c LP constraints added 0
3600.01/3609.40	c LP constraints removed 0
3600.01/3609.40	c LP pivots internal 0
3600.01/3609.40	c LP pivots root 0
3600.01/3609.40	c LP calls 0
3600.01/3609.40	c LP optimalities 0
3600.01/3609.40	c LP no pivot count 0
3600.01/3609.40	c LP infeasibilities 0
3600.01/3609.40	c LP valid Farkas constraints 0
3600.01/3609.40	c LP learned Farkas constraints 0
3600.01/3609.40	c LP basis resets 0
3600.01/3609.40	c LP cycling count 0
3600.01/3609.40	c LP singular count 0
3600.01/3609.40	c LP no primal count 0
3600.01/3609.40	c LP no farkas count 0
3600.01/3609.40	c LP other issue count 0
3600.01/3609.40	c LP Gomory cuts 0
3600.01/3609.40	c LP learned cuts 0
3600.01/3609.40	c LP deleted cuts 0
3600.01/3609.40	c LP encountered Gomory constraints 0
3600.01/3609.40	c LP encountered Farkas constraints 0
3600.01/3609.40	c LP encountered learned Farkas constraints 0
3600.01/3609.40	c CG auxiliary variables introduced 933
3600.01/3609.40	c CG solutions found 7
3600.01/3609.40	c CG cores constructed 114
3600.01/3609.40	c CG core cardinality constraints returned 2
3600.01/3609.40	c CG unit cores 1
3600.01/3609.40	c CG single cores 112
3600.01/3609.40	c CG blocks removed during cardinality reduction 0
3600.01/3609.40	c CG first core best 0
3600.01/3609.40	c CG decision core best 0
3600.01/3609.40	c CG core reduction tie 1
3600.01/3609.40	c CG core degree average 1.61
3600.01/3609.40	c CG core slack average 7.65
3600.01/3609.40	c CG exhausted 3
3600.01/3609.40	c CG exhaust time 775.72 s
3600.01/3609.40	c CG trimmed 22
3600.01/3609.40	c CG trim time 0.02767 s
3600.01/3609.40	c CG minimized 0
3600.01/3609.40	c CG minimize time 0 s
3600.01/3609.40	c CG am1 prop time 0.062114 s
3600.01/3609.40	c CG # am1s reformulated 622
3600.01/3609.40	c CG lower bound derived from am1s 2404
3600.01/3609.40	c CG # clausal cores 108
3600.01/3609.40	c CG # cardinality cores 3
3600.01/3609.40	c CG # pb cores 3
3600.01/3609.40	c CG # pb reforms 2
3600.01/3609.40	c CG # cores discarded because of pb reform 0
3600.01/3609.40	d LOWERBOUND 936
3600.01/3609.40	d NCORES 114
3600.01/3609.40	d NPBCORES 3
3600.01/3609.40	d NPBREFORM 2
3600.01/3609.40	d NTRIMMED 22
3600.01/3609.40	d NEXHAUSTED 3
3600.01/3609.40	d NAM1S 622
3600.01/3609.40	d AM1LB 2404
3600.01/3609.40	o 939
3600.01/3609.40	s SATISFIABLE
3600.01/3609.40	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: 64059 MiB (61904 MiB free)
  memory of node 1: 64510 MiB (63600 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435929-1721061224/watcher-4435929-1721061224 -o /tmp/evaluation-result-4435929-1721061224/solver-4435929-1721061224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721061236-800992 --watchdog 3760 pb-oll-rs HOME/instance-4435929-1721061224.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100089 s]*
/proc/loadavg: 1.15 1.19 1.87 5/242 801058
/proc/meminfo: memFree=128508700/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=41524 memory=10180 CPUtime=0.11 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 1250 0 0 0 9 2 0 0 20 0 1 0 158281992 42520576 2545 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 10381 2545 1180 291 0 1915 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 41524 KiB
Current children cumulated memory: 10180 KiB

[startup+0.212757 s]*
/proc/loadavg: 1.15 1.19 1.87 4/242 801068
/proc/meminfo: memFree=128500660/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=43540 memory=12640 CPUtime=0.21 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 1769 0 0 0 17 4 0 0 20 0 1 0 158281992 44584960 3160 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 10885 3160 1274 291 0 2419 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43540 KiB
Current children cumulated memory: 12640 KiB

[startup+0.311876 s]*
/proc/loadavg: 1.15 1.19 1.87 5/240 801072
/proc/meminfo: memFree=128497792/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=45264 memory=13960 CPUtime=0.31 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 2154 0 0 0 25 6 0 0 20 0 1 0 158281992 46350336 3490 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 11316 3490 1337 291 0 2850 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45264 KiB
Current children cumulated memory: 13960 KiB

[startup+0.700265 s]
/proc/loadavg: 1.15 1.19 1.87 5/241 801096
/proc/meminfo: memFree=128492900/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=46156 memory=15076 CPUtime=0.69 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 2407 0 0 0 41 28 0 0 20 0 1 0 158281992 47263744 3769 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 11539 3769 1353 291 0 3073 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46156 KiB
Current children cumulated memory: 15076 KiB

[startup+1.5003 s]
/proc/loadavg: 1.15 1.19 1.87 5/245 801100
/proc/meminfo: memFree=128472036/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=52156 memory=21792 CPUtime=1.49 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 4072 0 0 0 82 67 0 0 20 0 1 0 158281992 53407744 5448 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 13039 5448 1353 291 0 4573 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 52156 KiB
Current children cumulated memory: 21792 KiB

[startup+3.11289 s]
/proc/loadavg: 1.38 1.24 1.88 5/245 801102
/proc/meminfo: memFree=128322812/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=131788 memory=85692 CPUtime=3.09 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 15474 0 0 0 236 73 0 0 20 0 1 0 158281992 134950912 21423 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 32947 21423 1353 291 0 24481 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 131788 KiB
Current children cumulated memory: 85692 KiB

[startup+6.30031 s]
/proc/loadavg: 1.38 1.24 1.88 5/245 801102
/proc/meminfo: memFree=128198804/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=184660 memory=130496 CPUtime=6.27 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 21573 0 0 0 547 80 0 0 20 0 1 0 158281992 189091840 32624 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 46165 32624 1353 291 0 37699 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 184660 KiB
Current children cumulated memory: 130496 KiB

[startup+12.7003 s]
/proc/loadavg: 1.78 1.33 1.90 5/244 801103
/proc/meminfo: memFree=128046752/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=241812 memory=200036 CPUtime=12.65 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 34267 0 0 0 1176 89 0 0 20 0 1 0 158281992 247615488 50009 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 60453 50009 1414 291 0 51987 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 241812 KiB
Current children cumulated memory: 200036 KiB

[startup+25.5003 s]
/proc/loadavg: 2.12 1.42 1.93 5/244 801106
/proc/meminfo: memFree=127899704/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=309948 memory=235104 CPUtime=25.42 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 39351 0 0 0 2429 113 0 0 20 0 1 0 158281992 317386752 58776 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 77487 58776 1414 291 0 69021 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 309948 KiB
Current children cumulated memory: 235104 KiB

[startup+51.1127 s]
/proc/loadavg: 2.77 1.63 1.98 5/244 801109
/proc/meminfo: memFree=127695536/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=377340 memory=300104 CPUtime=50.96 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 53105 0 0 0 4937 159 0 0 20 0 1 0 158281992 386396160 75026 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 94335 75026 1414 291 0 85869 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 377340 KiB
Current children cumulated memory: 300104 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 2.04 2.11 5/244 801119
/proc/meminfo: memFree=127525680/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=490936 memory=390112 CPUtime=102.02 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 65059 0 0 0 9985 217 0 0 20 0 1 0 158281992 502718464 97528 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 122734 97528 1414 291 0 114268 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 490936 KiB
Current children cumulated memory: 390112 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.42 2.23 5/241 801132
/proc/meminfo: memFree=127395216/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=583920 memory=482308 CPUtime=161.85 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 80133 0 0 0 15909 276 0 0 20 0 1 0 158281992 597934080 120577 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 145980 120577 1414 291 0 137514 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 583920 KiB
Current children cumulated memory: 482308 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.74 2.36 5/241 801142
/proc/meminfo: memFree=127039588/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=657948 memory=585592 CPUtime=221.7 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 92877 0 0 0 21837 333 0 0 20 0 1 0 158281992 673738752 146398 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 164487 146398 1414 291 0 156021 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 657948 KiB
Current children cumulated memory: 585592 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 2.98 2.47 5/241 801152
/proc/meminfo: memFree=126905364/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=666784 memory=635932 CPUtime=281.54 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 95012 0 0 0 27765 389 0 0 20 0 1 0 158281992 682786816 158983 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 166696 158983 1414 291 0 158230 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 666784 KiB
Current children cumulated memory: 635932 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.20 2.58 5/241 801163
/proc/meminfo: memFree=126846996/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=669740 memory=637644 CPUtime=341.37 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 95812 0 0 0 33699 438 0 0 20 0 1 0 158281992 685813760 159411 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 167435 159411 1414 291 0 158969 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 669740 KiB
Current children cumulated memory: 637644 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.36 2.67 5/245 801179
/proc/meminfo: memFree=126814676/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=809668 memory=658872 CPUtime=401.23 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 97761 0 0 0 39613 510 0 0 20 0 1 0 158281992 829100032 164718 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 202417 164718 1414 291 0 193951 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 809668 KiB
Current children cumulated memory: 658872 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 3.53 2.77 5/245 801189
/proc/meminfo: memFree=126805360/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=809668 memory=658880 CPUtime=461.1 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 98063 0 0 0 45545 565 0 0 20 0 1 0 158281992 829100032 164720 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 202417 164720 1414 291 0 193951 0

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

Current children cumulated memory: 966104 KiB

[startup+2862.3 s]
/proc/loadavg: 4.18 4.17 4.13 5/244 802189
/proc/meminfo: memFree=125699060/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1094668 memory=970060 CPUtime=2854.67 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 159663 0 0 0 283357 2110 0 0 20 0 1 0 158281992 1120940032 242515 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 273667 242515 1414 291 0 265201 0
Current children cumulated CPU time: 2854.67 s
Current children cumulated vsize: 1094668 KiB
Current children cumulated memory: 970060 KiB

[startup+2922.3 s]
/proc/loadavg: 4.18 4.17 4.13 5/244 802200
/proc/meminfo: memFree=125626308/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1117964 memory=982948 CPUtime=2914.53 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 163180 0 0 0 289326 2127 0 0 20 0 1 0 158281992 1144795136 245737 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 279491 245737 1414 291 0 271025 0
Current children cumulated CPU time: 2914.53 s
Current children cumulated vsize: 1117964 KiB
Current children cumulated memory: 982948 KiB

[startup+2982.3 s]
/proc/loadavg: 4.41 4.23 4.15 5/243 802210
/proc/meminfo: memFree=125580832/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1123120 memory=986496 CPUtime=2974.38 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 164329 0 0 0 295269 2169 0 0 20 0 1 0 158281992 1150074880 246624 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 280780 246624 1414 291 0 272314 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 1123120 KiB
Current children cumulated memory: 986496 KiB

[startup+3042.3 s]
/proc/loadavg: 4.23 4.22 4.15 5/243 802221
/proc/meminfo: memFree=125537388/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1123120 memory=986496 CPUtime=3034.25 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 164567 0 0 0 301234 2191 0 0 20 0 1 0 158281992 1150074880 246624 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 280780 246624 1414 291 0 272314 0
Current children cumulated CPU time: 3034.25 s
Current children cumulated vsize: 1123120 KiB
Current children cumulated memory: 986496 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.21 4.15 5/244 802614
/proc/meminfo: memFree=125493360/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1125240 memory=987904 CPUtime=3094.11 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 165191 0 0 0 307188 2223 0 0 20 0 1 0 158281992 1152245760 246976 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 281310 246976 1414 291 0 272844 0
Current children cumulated CPU time: 3094.11 s
Current children cumulated vsize: 1125240 KiB
Current children cumulated memory: 987904 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.20 4.15 5/243 802625
/proc/meminfo: memFree=125455304/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1125240 memory=987904 CPUtime=3153.96 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 165535 0 0 0 313153 2243 0 0 20 0 1 0 158281992 1152245760 246976 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 281310 246976 1414 291 0 272844 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 1125240 KiB
Current children cumulated memory: 987904 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/243 802635
/proc/meminfo: memFree=125427348/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1128568 memory=989912 CPUtime=3213.82 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 166380 0 0 0 319106 2276 0 0 20 0 1 0 158281992 1155653632 247478 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 282142 247478 1414 291 0 273676 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 1128568 KiB
Current children cumulated memory: 989912 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.17 4.15 5/246 802816
/proc/meminfo: memFree=125425320/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1128568 memory=989912 CPUtime=3273.68 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 166582 0 0 0 325063 2305 0 0 20 0 1 0 158281992 1155653632 247478 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 282142 247478 1414 291 0 273676 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 1128568 KiB
Current children cumulated memory: 989912 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.14 4.13 5/246 802827
/proc/meminfo: memFree=125419788/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1130768 memory=991148 CPUtime=3333.54 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 167155 0 0 0 331036 2318 0 0 20 0 1 0 158281992 1157906432 247787 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 282692 247787 1414 291 0 274226 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 1130768 KiB
Current children cumulated memory: 991148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/247 802894
/proc/meminfo: memFree=125411672/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1136144 memory=994520 CPUtime=3393.4 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 168282 0 0 0 337015 2325 0 0 20 0 1 0 158281992 1163411456 248630 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 284036 248630 1414 291 0 275570 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 1136144 KiB
Current children cumulated memory: 994520 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.17 4.15 5/245 802904
/proc/meminfo: memFree=125403368/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1147152 memory=1001356 CPUtime=3453.26 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 170300 0 0 0 342996 2330 0 0 20 0 1 0 158281992 1174683648 250339 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 286788 250339 1414 291 0 278322 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 1147152 KiB
Current children cumulated memory: 1001356 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/245 802915
/proc/meminfo: memFree=125363696/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1152272 memory=1006564 CPUtime=3513.12 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 171949 0 0 0 348974 2338 0 0 20 0 1 0 158281992 1179926528 251641 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 288068 251641 1414 291 0 279602 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 1152272 KiB
Current children cumulated memory: 1006564 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/246 802926
/proc/meminfo: memFree=125330468/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1154832 memory=1009580 CPUtime=3572.98 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 172923 0 0 0 354958 2340 0 0 20 0 1 0 158281992 1182547968 252395 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 288708 252395 1414 291 0 280242 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 1154832 KiB
Current children cumulated memory: 1009580 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.15 4.14 4.13 5/245 802930
/proc/meminfo: memFree=125322772/131655788 swapFree=131071996/131071996
[pid=801053] ppid=801050 vsize=1159952 memory=1013364 CPUtime=3600.01 cores=4,6
/proc/801053/stat : 801053 (pb-oll-rs) R 801050 801053 800981 0 -1 4194304 173990 0 0 0 357659 2342 0 0 20 0 1 0 158281992 1187790848 253341 134679101440 4194304 5384005 140732328314688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 12664832 140732328322071 140732328322148 140732328322148 140732328329163 0
/proc/801053/statm: 289988 253341 1414 291 0 281522 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1159952 KiB
Current children cumulated memory: 1013364 KiB

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

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

# cumulated CPU time of all completed processes:  user=3576.61 s, system=23.4323 s

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

Child status: 0

Real time (s): 3609.42
CPU time (s): 3600.04
CPU user time (s): 3576.61
CPU system time (s): 23.4323
CPU usage (%): 99.7402
Max. virtual memory (cumulated for all children) (KiB): 1159952
Max. memory (cumulated for all children) (KiB): 1013364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.61
system time used= 23.4323
maximum resident set size= 1013776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174085
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= 135
involuntary context switches= 3137


# summary of solver processes directly reported to runsolver:
#   pid: 801053
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3576.61
#   total CPU system time (s): 23.4323

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4965 second user time and 34.1366 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-15 18:33:56
IDJOB=4435929
IDBENCH=146652
IDSOLVER=3067
FILE ID=nodeC009/4435929-1721061224
RUNJOBID= nodeC009-1721061236-800992
SLURM_JOB_ID= 7505510
Free space on /tmp= 723764 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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 --file-size-limit 102400 -w /tmp/evaluation-result-4435929-1721061224/watcher-4435929-1721061224 -o /tmp/evaluation-result-4435929-1721061224/solver-4435929-1721061224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721061236-800992 --watchdog 3760  pb-oll-rs HOME/instance-4435929-1721061224.opb

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1108231342

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.330
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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		: 3492.173
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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.317
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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.329
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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		: 1197.334
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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		: 1197.329
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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.318
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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.318
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128505544 kB
MemAvailable:   129908432 kB
Buffers:          371104 kB
Cached:          1860352 kB
SwapCached:            0 kB
Active:           597384 kB
Inactive:        2000036 kB
Active(anon):       1364 kB
Inactive(anon):   402296 kB
Active(file):     596020 kB
Inactive(file):  1597740 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              8320 kB
Writeback:             0 kB
AnonPages:        365556 kB
Mapped:           103472 kB
Shmem:             37700 kB
KReclaimable:      98320 kB
Slab:             195108 kB
SReclaimable:      98320 kB
SUnreclaim:        96788 kB
KernelStack:        3876 kB
PageTables:        10440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     726236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC009 at 2024-07-15 19:34:05