Trace number 4456762

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
RoundingSat log (1)SAT (TO)293 3600.2 3609.73

General information on the benchmark

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

Verifier Data 

OK	293

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456762-1721772461/watcher-4456762-1721772461 -o /tmp/evaluation-result-4456762-1721772461/solver-4456762-1721772461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126871 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456762-1721772461 --lp-cut-gomory=0 HOME/instance-4456762-1721772461.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=131515, runsolver pid=131512
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 4.14 4.10 4.11 5/262 131516
/proc/meminfo: memFree=19931836/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=40828 memory=9684 CPUtime=0.1 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 1612 0 1 0 8 2 0 0 20 0 1 0 13235178 41807872 2421 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 10207 2421 1354 992 0 2065 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9684 KiB

[startup+0.214443 s]*
/proc/loadavg: 4.14 4.10 4.11 5/262 131516
/proc/meminfo: memFree=19929324/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=41216 memory=11004 CPUtime=0.22 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 1958 0 1 0 17 5 0 0 20 0 1 0 13235178 42205184 2751 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 10304 2751 1354 992 0 2162 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 41216 KiB
Current children cumulated memory: 11004 KiB

[startup+0.314269 s]*
/proc/loadavg: 4.14 4.10 4.11 5/262 131516
/proc/meminfo: memFree=19926324/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=42000 memory=13576 CPUtime=0.32 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 2127 0 1 0 24 8 0 0 20 0 1 0 13235178 43008000 3394 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 10500 3394 1354 992 0 2358 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 42000 KiB
Current children cumulated memory: 13576 KiB

[startup+0.700343 s]
/proc/loadavg: 4.14 4.10 4.11 5/262 131516
/proc/meminfo: memFree=19923160/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=47812 memory=19668 CPUtime=0.69 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 3108 0 1 0 51 18 0 0 20 0 1 0 13235178 48959488 4917 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 11953 4917 1354 992 0 3811 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47812 KiB
Current children cumulated memory: 19668 KiB

[startup+1.50032 s]
/proc/loadavg: 4.14 4.10 4.11 5/262 131516
/proc/meminfo: memFree=19908416/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=66084 memory=38004 CPUtime=1.49 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 5631 0 1 0 109 40 0 0 20 0 1 0 13235178 67670016 9501 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 16521 9501 1354 992 0 8379 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 66084 KiB
Current children cumulated memory: 38004 KiB

[startup+3.11486 s]
/proc/loadavg: 4.14 4.10 4.11 5/262 131516
/proc/meminfo: memFree=19593476/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=361148 memory=330064 CPUtime=3.09 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 58219 0 1 0 243 66 0 0 20 0 1 0 13235178 369815552 82516 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 90287 82516 1704 992 0 82145 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 361148 KiB
Current children cumulated memory: 330064 KiB

[startup+6.30031 s]
/proc/loadavg: 4.13 4.10 4.11 5/262 131518
/proc/meminfo: memFree=19554492/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=380116 memory=338568 CPUtime=6.27 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 58822 0 1 0 531 96 0 0 20 0 1 0 13235178 389238784 84642 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 95029 84642 1800 992 0 86887 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 380116 KiB
Current children cumulated memory: 338568 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.10 4.11 5/262 131518
/proc/meminfo: memFree=19436432/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=427284 memory=376776 CPUtime=12.65 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 61665 0 1 0 1117 148 0 0 20 0 1 0 13235178 437538816 94194 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 106821 94194 1877 992 0 98679 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 427284 KiB
Current children cumulated memory: 376776 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.09 4.11 5/264 131747
/proc/meminfo: memFree=19298824/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=437672 memory=392492 CPUtime=25.41 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 62042 0 1 0 2367 174 0 0 20 0 1 0 13235178 448176128 98123 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 109418 98123 1877 992 0 101276 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 437672 KiB
Current children cumulated memory: 392492 KiB

[startup+51.1149 s]
/proc/loadavg: 4.20 4.12 4.11 5/265 131751
/proc/meminfo: memFree=18808984/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=624720 memory=502004 CPUtime=50.94 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 71497 0 1 0 4880 214 0 0 20 0 1 0 13235178 639713280 125501 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 156180 125501 1877 992 0 148038 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 624720 KiB
Current children cumulated memory: 502004 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/265 131759
/proc/meminfo: memFree=18159912/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=767812 memory=626692 CPUtime=101.96 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 81366 0 1 0 9925 271 0 0 20 0 1 0 13235178 786239488 156673 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 191953 156673 1877 992 0 183811 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 767812 KiB
Current children cumulated memory: 626692 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/270 132068
/proc/meminfo: memFree=16713388/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=1177036 memory=1029100 CPUtime=161.78 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 138107 0 1 0 15839 339 0 0 20 0 1 0 13235178 1205284864 257275 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 294259 257275 1877 992 0 286117 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1177036 KiB
Current children cumulated memory: 1029100 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/258 132078
/proc/meminfo: memFree=16051920/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=1258124 memory=1138476 CPUtime=221.6 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 146703 0 1 0 21735 425 0 0 20 0 1 0 13235178 1288318976 284619 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 314531 284619 1893 992 0 306389 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1258124 KiB
Current children cumulated memory: 1138476 KiB

[startup+282.3 s]
/proc/loadavg: 4.47 4.19 4.13 5/257 132089
/proc/meminfo: memFree=15266428/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=1329080 memory=1233688 CPUtime=281.43 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 163518 0 1 0 27626 517 0 0 20 0 1 0 13235178 1360977920 308422 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 332270 308422 1893 992 0 324128 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1329080 KiB
Current children cumulated memory: 1233688 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/257 132101
/proc/meminfo: memFree=14350072/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=1574168 memory=1268320 CPUtime=341.25 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 168748 0 1 0 33533 592 0 0 20 0 1 0 13235178 1611948032 317080 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 393542 317080 1893 992 0 385400 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 1574168 KiB
Current children cumulated memory: 1268320 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/257 132298
/proc/meminfo: memFree=18321328/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=1619808 memory=1396332 CPUtime=401.08 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 176911 0 1 0 39445 663 0 0 20 0 1 0 13235178 1658683392 349083 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 404952 349083 1893 992 0 396810 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1619808 KiB
Current children cumulated memory: 1396332 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/253 132311
/proc/meminfo: memFree=17664908/131655788 swapFree=131071472/131071996
[pid=131515] ppid=131512 vsize=1631440 memory=1420472 CPUtime=460.89 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 178919 0 1 0 45412 677 0 0 20 0 1 0 13235178 1670594560 355118 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 407860 355118 1893 992 0 399718 0

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

Current children cumulated memory: 2486624 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/253 134546
/proc/meminfo: memFree=667884/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2701340 memory=2486732 CPUtime=2974.61 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 334172 0 1 0 292575 4886 0 0 20 0 1 0 13235178 2766172160 621683 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 675335 621683 1893 992 0 667193 0
Current children cumulated CPU time: 2974.61 s
Current children cumulated vsize: 2701340 KiB
Current children cumulated memory: 2486732 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/248 134726
/proc/meminfo: memFree=576180/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2725828 memory=2512400 CPUtime=3034.48 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 341637 0 1 0 298520 4928 0 0 20 0 1 0 13235178 2791247872 628100 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 681457 628100 1893 992 0 673315 0
Current children cumulated CPU time: 3034.48 s
Current children cumulated vsize: 2725828 KiB
Current children cumulated memory: 2512400 KiB

[startup+3102.3 s]
/proc/loadavg: 4.27 4.19 4.18 5/248 134737
/proc/meminfo: memFree=589036/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2762240 memory=2648368 CPUtime=3094.34 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 380054 0 1 0 304454 4980 0 0 20 0 1 0 13235178 2828533760 662092 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 690560 662092 1893 992 0 682418 0
Current children cumulated CPU time: 3094.34 s
Current children cumulated vsize: 2762240 KiB
Current children cumulated memory: 2648368 KiB

[startup+3162.3 s]
/proc/loadavg: 4.30 4.21 4.19 5/247 134749
/proc/meminfo: memFree=677316/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2790544 memory=2709696 CPUtime=3154.2 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 402623 0 1 0 310404 5016 0 0 20 0 1 0 13235178 2857517056 677424 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 697636 677424 1893 992 0 689494 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2709696 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/254 134779
/proc/meminfo: memFree=688160/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2790544 memory=2709696 CPUtime=3214.06 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 405749 0 1 0 316283 5123 0 0 20 0 1 0 13235178 2857517056 677424 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 697636 677424 1893 992 0 689494 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2709696 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/254 134791
/proc/meminfo: memFree=585508/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2790544 memory=2711752 CPUtime=3273.92 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 410111 0 1 0 322168 5224 0 0 20 0 1 0 13235178 2857517056 677938 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 697636 677938 1893 992 0 689494 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2711752 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/270 134817
/proc/meminfo: memFree=665600/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2790544 memory=2711752 CPUtime=3333.79 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 412501 0 1 0 328032 5347 0 0 20 0 1 0 13235178 2857517056 677938 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 697636 677938 1893 992 0 689494 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2711752 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/270 134828
/proc/meminfo: memFree=523068/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2790544 memory=2711752 CPUtime=3393.65 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 414308 0 1 0 333918 5447 0 0 20 0 1 0 13235178 2857517056 677938 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 697636 677938 1893 992 0 689494 0
Current children cumulated CPU time: 3393.65 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2711752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/270 134839
/proc/meminfo: memFree=692784/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2790544 memory=2711752 CPUtime=3453.52 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 416232 0 1 0 339799 5553 0 0 20 0 1 0 13235178 2857517056 677938 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 697636 677938 1893 992 0 689494 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2711752 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/264 134853
/proc/meminfo: memFree=661748/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2790544 memory=2711752 CPUtime=3513.39 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 418563 0 1 0 345682 5657 0 0 20 0 1 0 13235178 2857517056 677938 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 697636 677938 1893 992 0 689494 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2711752 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/276 134875
/proc/meminfo: memFree=677360/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2790544 memory=2711752 CPUtime=3573.24 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 420116 0 1 0 351552 5772 0 0 20 0 1 0 13235178 2857517056 677938 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 697636 677938 1893 992 0 689494 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2711752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.09 4.13 4.16 5/265 134880
/proc/meminfo: memFree=546776/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2790544 memory=2711756 CPUtime=3600.08 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 421131 0 1 0 354201 5807 0 0 20 0 1 0 13235178 2857517056 677939 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 697636 677939 1893 992 0 689494 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2711756 KiB

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

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

# cumulated CPU time of all completed processes:  user=3542.02 s, system=58.1851 s

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

[startup+3609.6 s]
/proc/loadavg: 4.09 4.13 4.16 5/265 134880
/proc/meminfo: memFree=546776/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2790544 memory=2711756 CPUtime=3600.15 cores=1,3
/proc/131515/stat : 131515 (roundingsat) D 131512 131515 126859 0 -1 4194304 421139 0 1 0 354201 5814 0 0 20 0 1 0 13235178 2857517056 677939 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 1 0 0 44 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 697636 677939 1893 992 0 689494 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2711756 KiB

[startup+3609.71 s]
/proc/loadavg: 4.09 4.13 4.16 5/265 134880
/proc/meminfo: memFree=546776/131655788 swapFree=131068388/131071996
[pid=131515] ppid=131512 vsize=2689452 memory=2530584 CPUtime=3600.17 cores=1,3
/proc/131515/stat : 131515 (roundingsat) R 131512 131515 126859 0 -1 4194304 421147 0 1 0 354201 5816 0 0 20 0 1 0 13235178 2753998848 632646 134679101440 4194304 8254037 140731395020576 0 0 0 0 0 25182210 0 0 0 17 3 0 0 50 0 0 9037040 9046032 30785536 140731395027804 140731395028066 140731395028066 140731395035081 0
/proc/131515/statm: 672363 632646 2007 992 0 664221 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 2689452 KiB
Current children cumulated memory: 2530584 KiB

Child status: 0

Real time (s): 3609.73
CPU time (s): 3600.2
CPU user time (s): 3542.02
CPU system time (s): 58.1851
CPU usage (%): 99.736
Max. virtual memory (cumulated for all children) (KiB): 2790544
Max. memory (cumulated for all children) (KiB): 2711756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3542.02
system time used= 58.1851
maximum resident set size= 2711756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 421155
page faults= 1
swaps= 0
block input operations= 96
block output operations= 89279296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11707
involuntary context switches= 4631


# summary of solver processes directly reported to runsolver:
#   pid: 131515
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3542.02
#   total CPU system time (s): 58.1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9178 second user time and 38.5271 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-24 00:07:41
IDJOB=4456762
IDBENCH=147555
IDSOLVER=3085
FILE ID=nodeC003/4456762-1721772461
RUNJOBID= nodeC003-1721765593-126871
SLURM_JOB_ID= 7770666
Free space on /tmp= 723748 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456762-1721772461/watcher-4456762-1721772461 -o /tmp/evaluation-result-4456762-1721772461/solver-4456762-1721772461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126871 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456762-1721772461 --lp-cut-gomory=0 HOME/instance-4456762-1721772461.opb

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=803708897

nodeC003.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		: 3504.471
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.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.274
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.31
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.345
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.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1597.726
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.31
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		: 3627.433
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.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3507.589
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.31
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.478
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.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.304
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        19937556 kB
MemAvailable:   123895256 kB
Buffers:          188120 kB
Cached:         104361560 kB
SwapCached:           24 kB
Active:          1264180 kB
Inactive:       109500996 kB
Active(anon):       1608 kB
Inactive(anon):  6259820 kB
Active(file):    1262572 kB
Inactive(file): 103241176 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             89212 kB
Writeback:             0 kB
AnonPages:       6211008 kB
Mapped:           116244 kB
Shmem:             45872 kB
KReclaimable:     515696 kB
Slab:             625004 kB
SReclaimable:     515696 kB
SUnreclaim:       109308 kB
KernelStack:        4208 kB
PageTables:        21992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7175464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19040 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4270080 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:      267080 kB
DirectMap2M:    27949056 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723740 MiB
End job on nodeC003 at 2024-07-24 01:07:51